user=mdettweiler
[2013-04-05 00:17:44]
803*2^1243972-1 is not prime.  Res64: 2C1CF21D0A348889  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:17:45]
729*2^1243973-1 is not prime.  Res64: A145725AB59042D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:17:46]
745*2^1243973-1 is not prime.  Res64: 9AD5300971DB64A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:17:47]
789*2^1243973-1 is not prime.  Res64: F034E26556B195F1  Time : 0.0 sec.
user=vaughan
[2013-04-05 00:23:39]
759*2^1243972-1 is not prime.  Res64: A9C141516D707CF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:35:46]
871*2^1243973-1 is not prime.  Res64: DC6D83AA4D9C10F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:35:46]
939*2^1243973-1 is not prime.  Res64: A9F27A9FE3C90037  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:35:47]
901*2^1243973-1 is not prime.  Res64: E4C67FB856882CEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:35:47]
605*2^1243974-1 is not prime.  Res64: F03B0E52F1A1B808  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:53:22]
851*2^1243974-1 is not prime.  Res64: 4D9C831961B020BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:53:22]
875*2^1243974-1 is not prime.  Res64: CC309B5862555BA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:53:22]
825*2^1243974-1 is not prime.  Res64: B5969F0FF27362BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:53:23]
941*2^1243974-1 is not prime.  Res64: 976AD36E8D0C0A72  Time : 0.0 sec.
user=juhehe
[2013-04-05 00:54:44]
777*2^1243972-1 is not prime.  Res64: 9DF2269C20486724  Time : 0.0 sec.
user=vaughan
[2013-04-05 01:01:33]
663*2^1243974-1 is not prime.  Res64: B8EB6083DF83F5FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:10:57]
945*2^1243974-1 is not prime.  Res64: 469FC620007E70AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:10:58]
633*2^1243975-1 is not prime.  Res64: F3191B7A5E76E14B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:10:59]
763*2^1243975-1 is not prime.  Res64: 70F0B38CF5F0B09E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:11:01]
783*2^1243975-1 is not prime.  Res64: 7535EF46B97C385E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:28:34]
725*2^1243976-1 is not prime.  Res64: 766B58958B30F0BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:28:34]
777*2^1243976-1 is not prime.  Res64: A623CA4677B75058  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:28:35]
899*2^1243976-1 is not prime.  Res64: D816567FD0A6651A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:28:36]
927*2^1243976-1 is not prime.  Res64: 0100DFAEF277068B  Time : 0.0 sec.
user=vaughan
[2013-04-05 01:44:41]
973*2^1243975-1 is not prime.  Res64: BE55D0A53F1A199F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:46:09]
999*2^1243976-1 is not prime.  Res64: 5EC5F299C0AEF31E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:46:09]
945*2^1243976-1 is not prime.  Res64: FEBFCFF8CB9F3B58  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:46:09]
607*2^1243977-1 is not prime.  Res64: 244A6414A2C29A31  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 01:46:09]
993*2^1243976-1 is not prime.  Res64: 895F4F77078CB9EB  Time : 0.0 sec.
user=juhehe
[2013-04-05 01:57:20]
895*2^1243975-1 is not prime.  Res64: 379003BF5325B4EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:03:41]
699*2^1243977-1 is not prime.  Res64: 26DB19CD69D4C609  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:03:42]
709*2^1243977-1 is not prime.  Res64: 2969776E2C5B4BCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:03:42]
765*2^1243977-1 is not prime.  Res64: 50C19C2F4F7B8657  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:03:43]
831*2^1243977-1 is not prime.  Res64: DE34865906B5BCD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:21:17]
665*2^1243978-1 is not prime.  Res64: 1C44AC86ACD3B1B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:21:17]
687*2^1243978-1 is not prime.  Res64: 0C8D045F287C9D51  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:21:19]
747*2^1243978-1 is not prime.  Res64: C87C1538DC37725C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:21:20]
825*2^1243978-1 is not prime.  Res64: 394AD848907FFB0D  Time : 0.0 sec.
user=vaughan
[2013-04-05 02:22:34]
681*2^1243977-1 is not prime.  Res64: 4DA1A7C776CB9E73  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:38:57]
615*2^1243979-1 is not prime.  Res64: AAC066E6EF19CDA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:38:58]
693*2^1243979-1 is not prime.  Res64: 7B53424A7F63D2C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:38:59]
679*2^1243979-1 is not prime.  Res64: 3B91670EC79A08B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:38:59]
741*2^1243979-1 is not prime.  Res64: 561B5716C8466487  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:57:12]
859*2^1243979-1 is not prime.  Res64: 647078AA424D03A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:57:12]
903*2^1243979-1 is not prime.  Res64: 65801EE396FDD9BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:57:13]
949*2^1243979-1 is not prime.  Res64: FDE0859F4084E344  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 02:57:14]
979*2^1243979-1 is not prime.  Res64: 57A4CCCB0C5C2B9B  Time : 0.0 sec.
user=vaughan
[2013-04-05 03:00:27]
825*2^1243979-1 is not prime.  Res64: B32F313C5B2BB773  Time : 0.0 sec.
user=juhehe
[2013-04-05 03:02:50]
975*2^1243977-1 is not prime.  Res64: 1EC426A6604A5AC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:14:45]
693*2^1243980-1 is not prime.  Res64: 271F695CB9D4C32C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:14:46]
845*2^1243980-1 is not prime.  Res64: A2880A9702790A56  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:14:48]
893*2^1243980-1 is not prime.  Res64: DEA276449C3B11E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:14:48]
923*2^1243980-1 is not prime.  Res64: 5081AB77C8464C60  Time : 0.0 sec.
user=juhehe
[2013-04-05 03:23:24]
685*2^1243943-1 is not prime.  Res64: 87F4A80C1D7168CF  Time : 0.0 sec.
user=juhehe
[2013-04-05 03:32:16]
991*2^1243943-1 is not prime.  Res64: C280E60532978A4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:32:24]
651*2^1243981-1 is not prime.  Res64: 0C7D9410CE3B682A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:32:26]
741*2^1243981-1 is not prime.  Res64: 014CD153C54B146E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:32:26]
877*2^1243981-1 is not prime.  Res64: 52E3D92E714F1B45  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:32:27]
925*2^1243981-1 is not prime.  Res64: 774EB3BBE0CA9AED  Time : 0.0 sec.
user=vaughan
[2013-04-05 03:43:21]
965*2^1243980-1 is not prime.  Res64: 1DFF4F5740785E6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:50:37]
951*2^1243981-1 is not prime.  Res64: 23EEC1C0578A5C5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:50:37]
741*2^1243982-1 is not prime.  Res64: 729AD222ABCB4336  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:50:38]
867*2^1243982-1 is not prime.  Res64: 11F7F55ABE31207B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 03:50:39]
885*2^1243982-1 is not prime.  Res64: 149E14B4240DC504  Time : 0.0 sec.
user=juhehe
[2013-04-05 04:05:02]
991*2^1243979-1 is not prime.  Res64: 17E418A05B936B91  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:08:11]
983*2^1243982-1 is not prime.  Res64: E6A62BD14046BAA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:08:12]
661*2^1243983-1 is not prime.  Res64: 8D817C917C3AF44E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:08:12]
625*2^1243983-1 is not prime.  Res64: F9B2766395901669  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:08:13]
693*2^1243983-1 is not prime.  Res64: 87148C414E8F70A6  Time : 0.0 sec.
user=vaughan
[2013-04-05 04:21:13]
897*2^1243982-1 is not prime.  Res64: 7CD103E85237AC94  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:25:54]
775*2^1243983-1 is not prime.  Res64: 9A18414C7614A40A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:25:55]
635*2^1243984-1 is not prime.  Res64: C938C7ADA3490BCB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:25:55]
879*2^1243983-1 is not prime.  Res64: 3C4ED624EB5836C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:25:55]
645*2^1243984-1 is not prime.  Res64: 224D3DB2D0C7AC36  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:43:29]
705*2^1243984-1 is not prime.  Res64: DA5BBE723FAB87A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:43:29]
765*2^1243984-1 is not prime.  Res64: C7761ACB425A30FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:43:30]
825*2^1243984-1 is not prime.  Res64: C44481D899F1FC41  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 04:43:31]
959*2^1243984-1 is not prime.  Res64: 1D8F326805083555  Time : 0.0 sec.
user=vaughan
[2013-04-05 04:59:07]
699*2^1243984-1 is not prime.  Res64: F3CC83899B25DCF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:01:07]
995*2^1243984-1 is not prime.  Res64: C01B614DD9336600  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:01:08]
619*2^1243985-1 is not prime.  Res64: 78B2A29F7FBE31F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:01:10]
705*2^1243985-1 is not prime.  Res64: 2A1FE197C7D8BB18  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:01:11]
795*2^1243985-1 is not prime.  Res64: E72CE8301814DDCE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:18:42]
951*2^1243985-1 is not prime.  Res64: 9159521425531C07  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:18:43]
647*2^1243986-1 is not prime.  Res64: 733CE40A02E1C363  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:18:44]
717*2^1243986-1 is not prime.  Res64: C6838531D71B113C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:18:44]
755*2^1243986-1 is not prime.  Res64: 5EDD6FD5AA73E322  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:36:19]
941*2^1243986-1 is not prime.  Res64: AAE2F1EFAFE60031  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:36:19]
603*2^1243987-1 is not prime.  Res64: F01AC67094AB443D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:36:20]
905*2^1243986-1 is not prime.  Res64: C8743401DCCEB5AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:36:21]
663*2^1243987-1 is not prime.  Res64: 65CB0192801A4041  Time : 0.0 sec.
user=vaughan
[2013-04-05 05:37:00]
831*2^1243985-1 is not prime.  Res64: 57933A7DD3D4E174  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:53:54]
759*2^1243987-1 is not prime.  Res64: A0C0689FFA668E6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:53:55]
769*2^1243987-1 is not prime.  Res64: 70435FD5E149873F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:53:57]
861*2^1243987-1 is not prime.  Res64: A50AFC3EF912E51D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 05:53:57]
885*2^1243987-1 is not prime.  Res64: DFF3D9BD65ED1173  Time : 0.0 sec.
user=juhehe
[2013-04-05 06:05:07]
815*2^1243986-1 is not prime.  Res64: BCE0E53A405DF953  Time : 0.0 sec.
user=juhehe
[2013-04-05 06:07:17]
837*2^1243986-1 is not prime.  Res64: 2A8E2217EEE8CDA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:11:30]
623*2^1243988-1 is not prime.  Res64: E05446DB6A484D41  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:11:31]
875*2^1243988-1 is not prime.  Res64: 47F7D374A8054C5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:11:31]
767*2^1243988-1 is not prime.  Res64: 97A63E657D6E9C85  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:11:32]
879*2^1243988-1 is not prime.  Res64: 3DC0902FC7A15292  Time : 0.0 sec.
user=vaughan
[2013-04-05 06:14:53]
909*2^1243987-1 is not prime.  Res64: C695B8EEA1042C07  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:29:12]
915*2^1243988-1 is not prime.  Res64: 9163C250A5C5CD65  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:29:12]
953*2^1243988-1 is not prime.  Res64: 1046F2600F334D8D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:29:14]
995*2^1243988-1 is not prime.  Res64: E440C2316297029F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:29:15]
999*2^1243988-1 is not prime.  Res64: 72B62C7502868A6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:46:49]
741*2^1243989-1 is not prime.  Res64: 7A35784FEDB70493  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:46:50]
747*2^1243989-1 is not prime.  Res64: E4C1A0E78C420FDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:46:50]
789*2^1243989-1 is not prime.  Res64: D3D8488D70858200  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 06:46:51]
829*2^1243989-1 is not prime.  Res64: 2C217E9D5C0959D8  Time : 0.0 sec.
user=vaughan
[2013-04-05 06:52:45]
609*2^1243989-1 is not prime.  Res64: 102C79192608DA94  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:04:26]
885*2^1243989-1 is not prime.  Res64: 10FD2F8BA5D41E01  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:04:27]
889*2^1243989-1 is not prime.  Res64: 06F3522FD278C9EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:04:28]
951*2^1243989-1 is not prime.  Res64: FBBF9138071DBFEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:04:29]
665*2^1243990-1 is not prime.  Res64: A55756E25A4273D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:22:08]
995*2^1243990-1 is not prime.  Res64: C29C04623659156F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:22:08]
619*2^1243991-1 is not prime.  Res64: CED6834C35C6A065  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:22:13]
645*2^1243991-1 is not prime.  Res64: DA2409E18EE3E521  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:22:15]
675*2^1243991-1 is not prime.  Res64: 943A458A9FFD7065  Time : 0.0 sec.
user=vaughan
[2013-04-05 07:30:37]
801*2^1243990-1 is not prime.  Res64: 1544E6D6171A78E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:39:48]
811*2^1243991-1 is not prime.  Res64: 11594A5A49A7FC5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:39:49]
843*2^1243991-1 is not prime.  Res64: 227AE9559EFA49D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:39:50]
855*2^1243991-1 is not prime.  Res64: 005C0C25571AA3F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:39:51]
899*2^1243992-1 is not prime.  Res64: C1D48AAFC716303E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:57:24]
945*2^1243992-1 is not prime.  Res64: 429218DB55279D2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:57:25]
625*2^1243993-1 is not prime.  Res64: 371EE2802E0757AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:57:27]
685*2^1243993-1 is not prime.  Res64: BE14181853CDE6D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 07:57:28]
801*2^1243993-1 is not prime.  Res64: AC9A22008EC29D05  Time : 0.0 sec.
user=juhehe
[2013-04-05 08:07:44]
703*2^1243991-1 is not prime.  Res64: 044F34FE2BD3164A  Time : 0.0 sec.
user=juhehe
[2013-04-05 08:09:24]
775*2^1243991-1 is not prime.  Res64: E099066F897E930E  Time : 0.0 sec.
user=vaughan
[2013-04-05 08:13:25]
933*2^1243992-1 is not prime.  Res64: 79681E68864DC87F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:15:00]
807*2^1243993-1 is not prime.  Res64: C34AF8A8F4416984  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:15:01]
627*2^1243994-1 is not prime.  Res64: 3BCC60141EF65432  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:15:03]
675*2^1243994-1 is not prime.  Res64: 44BD3A0872258187  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:15:04]
813*2^1243994-1 is not prime.  Res64: A9D2FC81310A56E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:32:34]
915*2^1243994-1 is not prime.  Res64: 14C8EF379F63CBB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:32:34]
951*2^1243994-1 is not prime.  Res64: 253DE959C7E949B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:32:37]
993*2^1243994-1 is not prime.  Res64: B2FF265220A3D5F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:32:37]
651*2^1243995-1 is not prime.  Res64: 9E6F7C2955499CF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:50:07]
663*2^1243995-1 is not prime.  Res64: 7C5C886E361949CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:50:08]
699*2^1243995-1 is not prime.  Res64: 9D0B32B60321C627  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:50:10]
751*2^1243995-1 is not prime.  Res64: 1679EEA9C3C832BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 08:50:11]
789*2^1243995-1 is not prime.  Res64: ABB7C902443677E3  Time : 0.0 sec.
user=vaughan
[2013-04-05 08:51:27]
815*2^1243994-1 is not prime.  Res64: AF055EAABC2685A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:07:42]
795*2^1243995-1 is not prime.  Res64: A63CA62495702248  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:07:43]
871*2^1243995-1 is not prime.  Res64: 45F7B14CBB38224E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:07:45]
873*2^1243995-1 is not prime.  Res64: CB2387ED4CCC54CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:07:46]
919*2^1243995-1 is not prime.  Res64: 8B092845381533A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:25:16]
869*2^1243996-1 is not prime.  Res64: B5CEEDE3487A9B44  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:25:16]
947*2^1243996-1 is not prime.  Res64: 3556875DA79B386C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:25:20]
631*2^1243997-1 is not prime.  Res64: 755A6B823F1E3FA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:25:20]
735*2^1243997-1 is not prime.  Res64: 58567186FA699497  Time : 0.0 sec.
user=vaughan
[2013-04-05 09:34:13]
955*2^1243995-1 is not prime.  Res64: 38C24A2DCA2930B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:42:49]
837*2^1243997-1 is not prime.  Res64: AAFBC201F55083E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:42:50]
879*2^1243997-1 is not prime.  Res64: 25EC452DD1D1DDB6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:42:52]
621*2^1243998-1 is not prime.  Res64: 4135EA7C1E51D1FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 09:42:53]
627*2^1243998-1 is not prime.  Res64: 3B60FA5E3D258F0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:00:25]
797*2^1243998-1 is not prime.  Res64: AEFA7B4C79F9F542  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:00:26]
885*2^1243998-1 is not prime.  Res64: 20BB347620EB7AB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:00:28]
971*2^1243998-1 is not prime.  Res64: 923090382942B2E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:00:29]
1001*2^1243998-1 is not prime.  Res64: 8C4297B1690F8D48  Time : 0.0 sec.
user=juhehe
[2013-04-05 10:09:57]
857*2^1243996-1 is not prime.  Res64: 81C92AB51CE06F99  Time : 0.0 sec.
user=juhehe
[2013-04-05 10:11:29]
741*2^1243997-1 is not prime.  Res64: 5EA996CA14C963EA  Time : 0.0 sec.
user=vaughan
[2013-04-05 10:12:05]
725*2^1243998-1 is not prime.  Res64: 582EF13351DBFEBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:18:01]
645*2^1243999-1 is not prime.  Res64: 6305C3EA39D0203D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:18:02]
685*2^1243999-1 is not prime.  Res64: 2186A9C5521C3EDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:18:03]
693*2^1243999-1 is not prime.  Res64: F3E64B539BF3AF00  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:18:04]
705*2^1243999-1 is not prime.  Res64: 2E161995B8DF87D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:35:42]
741*2^1243999-1 is not prime.  Res64: D43082E26FC128B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:35:43]
769*2^1243999-1 is not prime.  Res64: F46143768F8D62B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:35:44]
873*2^1243999-1 is not prime.  Res64: 26B2BBBD4654D91C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:35:45]
883*2^1243999-1 is not prime.  Res64: C3051347EDBDEEAD  Time : 0.0 sec.
user=vaughan
[2013-04-05 10:49:57]
735*2^1243999-1 is not prime.  Res64: E31D60A73181DBFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:53:18]
677*2^1244000-1 is not prime.  Res64: BCC149676E59FB1D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:53:19]
725*2^1244000-1 is not prime.  Res64: A5466BDF694C4FE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:53:19]
759*2^1244000-1 is not prime.  Res64: F7B91291B2D26289  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 10:53:20]
777*2^1244000-1 is not prime.  Res64: 16023274CEAA521B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:10:55]
857*2^1244000-1 is not prime.  Res64: 120C31E83F934B58  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:10:56]
909*2^1244000-1 is not prime.  Res64: CAFE24F3E7370153  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:10:57]
675*2^1244001-1 is not prime.  Res64: 06F0E5383228F3CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:10:58]
751*2^1244001-1 is not prime.  Res64: DE0FB74A847D53DB  Time : 0.0 sec.
user=vaughan
[2013-04-05 11:27:49]
845*2^1244000-1 is not prime.  Res64: CBA29801AC5C2936  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:28:29]
877*2^1244001-1 is not prime.  Res64: C3831164BA0203BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:28:30]
885*2^1244001-1 is not prime.  Res64: 4790D977251CA56F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:28:33]
997*2^1244001-1 is not prime.  Res64: CD421C42C9379B9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:28:33]
651*2^1244002-1 is not prime.  Res64: 4C92B382E5F144B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:46:00]
923*2^1244002-1 is not prime.  Res64: 206B0FE04421C9D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:46:01]
947*2^1244002-1 is not prime.  Res64: F9298AB8AB89DD74  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:46:03]
603*2^1244003-1 is not prime.  Res64: 4CA76FDCC16582D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 11:46:03]
609*2^1244003-1 is not prime.  Res64: 3FAD7823C24D6C73  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:03:31]
633*2^1244003-1 is not prime.  Res64: A5FADBC551C2F8AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:03:33]
741*2^1244003-1 is not prime.  Res64: 43EEA84C856190AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:03:36]
969*2^1244003-1 is not prime.  Res64: 9309D1E358A3737C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:03:37]
627*2^1244004-1 is not prime.  Res64: 2C3B7B240918F637  Time : 0.0 sec.
user=vaughan
[2013-04-05 12:05:42]
857*2^1244002-1 is not prime.  Res64: 17B93662C8A6FF6B  Time : 0.0 sec.
user=juhehe
[2013-04-05 12:12:44]
777*2^1244001-1 is not prime.  Res64: 0B2EE8CD9106E8BF  Time : 0.0 sec.
user=juhehe
[2013-04-05 12:13:59]
737*2^1244002-1 is not prime.  Res64: F1502A049283DBE6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:21:35]
759*2^1244004-1 is not prime.  Res64: 835CFC20F183E242  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:21:36]
843*2^1244004-1 is not prime.  Res64: CF51D33E94C65AE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:21:37]
893*2^1244004-1 is not prime.  Res64: 8CB292E1A57D47B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:21:37]
915*2^1244004-1 is not prime.  Res64: 9A5D10A44EBF3946  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:39:08]
717*2^1244005-1 is not prime.  Res64: F478316D47374D02  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:39:09]
771*2^1244005-1 is not prime.  Res64: F30398D3B3F68C52  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:39:09]
939*2^1244005-1 is not prime.  Res64: D30DAF2A50614783  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:39:10]
635*2^1244006-1 is not prime.  Res64: E5C1F9187104AAAB  Time : 0.0 sec.
user=vaughan
[2013-04-05 12:48:34]
983*2^1244004-1 is not prime.  Res64: 2ACCB47337CF5918  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:56:40]
671*2^1244006-1 is not prime.  Res64: A9CFB1188C3677EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:56:41]
741*2^1244006-1 is not prime.  Res64: 712E5CE5EE6DD004  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:56:42]
897*2^1244006-1 is not prime.  Res64: 9F8C7290A175795E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 12:56:42]
911*2^1244006-1 is not prime.  Res64: 6F11654AB8CE5B41  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:14:23]
935*2^1244006-1 is not prime.  Res64: F86AB4AB005B4737  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:14:24]
739*2^1244007-1 is not prime.  Res64: BCA1DDF7D323AB86  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:14:24]
625*2^1244007-1 is not prime.  Res64: EA36F7E17B940BF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:14:25]
751*2^1244007-1 is not prime.  Res64: F2ED5D82A2B9226B  Time : 0.0 sec.
user=vaughan
[2013-04-05 13:26:26]
921*2^1244006-1 is not prime.  Res64: 06CDEEAA8644B6E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:32:07]
605*2^1244008-1 is not prime.  Res64: 2581A99039064778  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:32:08]
635*2^1244008-1 is not prime.  Res64: 3B6004EBEA039C14  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:32:08]
677*2^1244008-1 is not prime.  Res64: 07CCF2B042421EAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:32:09]
743*2^1244008-1 is not prime.  Res64: A05F5FB0B0A31E06  Time : 0.0 sec.
user=juhehe
[2013-04-05 13:46:08]
777*2^1244008-1 is not prime.  Res64: B7207C123BEB58DA  Time : 0.0 sec.
user=juhehe
[2013-04-05 13:47:38]
803*2^1244008-1 is not prime.  Res64: 14DD4C0AD8B7098F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:49:54]
923*2^1244008-1 is not prime.  Res64: 0376980CCA896D1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:49:54]
649*2^1244009-1 is not prime.  Res64: BEADD799F1C5D228  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:49:55]
657*2^1244009-1 is not prime.  Res64: 799EE2F86F6DA3E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 13:49:56]
747*2^1244009-1 is not prime.  Res64: A2BC19311D614519  Time : 0.0 sec.
user=vaughan
[2013-04-05 14:04:17]
849*2^1244008-1 is not prime.  Res64: BE25CF1933EA8AEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:07:47]
841*2^1244009-1 is not prime.  Res64: 6086852D4C335266  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:07:47]
985*2^1244009-1 is not prime.  Res64: 2E831124590E220E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:07:48]
969*2^1244009-1 is not prime.  Res64: F9CD9BB1E025FC12  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:07:48]
783*2^1244010-1 is not prime.  Res64: 6E9294346FE9AC69  Time : 0.0 sec.
user=juhehe
[2013-04-05 14:14:37]
765*2^1244007-1 is not prime.  Res64: 8C29218A86DD8D2D  Time : 0.0 sec.
user=juhehe
[2013-04-05 14:16:09]
879*2^1244007-1 is not prime.  Res64: 21EEC50228E8F0D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:25:29]
891*2^1244010-1 is not prime.  Res64: 0E9B933DD9C186CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:25:29]
905*2^1244010-1 is not prime.  Res64: B27073F753B657CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:25:31]
945*2^1244010-1 is not prime.  Res64: FF0BEE8C6A1BAC32  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:25:31]
603*2^1244011-1 is not prime.  Res64: CEABABA5AD04017D  Time : 0.0 sec.
user=vaughan
[2013-04-05 14:42:11]
791*2^1244010-1 is not prime.  Res64: 617857B5F24AB3F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:43:13]
709*2^1244011-1 is not prime.  Res64: 7D8E7E61586085C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:43:13]
895*2^1244011-1 is not prime.  Res64: 4E579584D0E70648  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:43:14]
801*2^1244011-1 is not prime.  Res64: 8FD75BFFEF37248D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 14:43:14]
979*2^1244011-1 is not prime.  Res64: 6A1E5C3A63952250  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:01:16]
657*2^1244012-1 is not prime.  Res64: 45C59D1B004B5E26  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:01:18]
717*2^1244012-1 is not prime.  Res64: EE0E6729D8D93613  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:01:18]
675*2^1244012-1 is not prime.  Res64: 6CF9B9B0FE0E3A40  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:01:19]
753*2^1244012-1 is not prime.  Res64: ED2A00A558ED654B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:19:06]
885*2^1244012-1 is not prime.  Res64: 7F32D9FC82B5C1A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:19:06]
923*2^1244012-1 is not prime.  Res64: 4D250360E860A8D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:19:07]
903*2^1244012-1 is not prime.  Res64: FDEEE14BE97976EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:19:07]
959*2^1244012-1 is not prime.  Res64: E0A2DA932441F46E  Time : 0.0 sec.
user=vaughan
[2013-04-05 15:20:03]
633*2^1244012-1 is not prime.  Res64: 23BF1DB12E255803  Time : 0.0 sec.
user=juhehe
[2013-04-05 15:33:21]
963*2^1244012-1 is not prime.  Res64: D019CA65F500FD24  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:36:50]
639*2^1244013-1 is not prime.  Res64: 064AF29B1589C96A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:36:50]
649*2^1244013-1 is not prime.  Res64: 9F595F30142285BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:36:51]
651*2^1244013-1 is not prime.  Res64: 51B936D763265BC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:36:51]
669*2^1244013-1 is not prime.  Res64: 942E3371A866BFDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:54:32]
717*2^1244014-1 is not prime.  Res64: 47B3A7CED213F9E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:54:32]
741*2^1244014-1 is not prime.  Res64: E8B7F96DA01C5941  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:54:33]
773*2^1244014-1 is not prime.  Res64: CF70960C61A432E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 15:54:33]
861*2^1244014-1 is not prime.  Res64: 3B2A0CDDB0E34000  Time : 0.0 sec.
user=vaughan
[2013-04-05 15:57:55]
745*2^1244013-1 is not prime.  Res64: 02ADFFEA55650645  Time : 0.0 sec.
user=juhehe
[2013-04-05 16:02:32]
951*2^1244013-1 is not prime.  Res64: 6F3F592D67F8FB4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:12:15]
915*2^1244014-1 is not prime.  Res64: 4ECF5B1C0B63C94B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:12:15]
971*2^1244014-1 is not prime.  Res64: 67C37BEDF23BF1E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:12:16]
981*2^1244014-1 is not prime.  Res64: 4710C3133A4359FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:12:17]
983*2^1244014-1 is not prime.  Res64: CBEB0469129B8273  Time : 0.0 sec.
user=juhehe
[2013-04-05 16:19:22]
609*2^1244013-1 is not prime.  Res64: 9CD2C565FB0ADB89  Time : 0.0 sec.
user=juhehe
[2013-04-05 16:22:37]
983*2^1244012-1 is not prime.  Res64: D75D5ED1C280E549  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:29:59]
913*2^1244015-1 is not prime.  Res64: 7E89CCFD703184EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:30:00]
759*2^1244015-1 is not prime.  Res64: 193B6AEB39EDD983  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:30:00]
991*2^1244015-1 is not prime.  Res64: 44CF9C444F0B63F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:30:00]
763*2^1244015-1 is not prime.  Res64: 3A29D6107512DB1B  Time : 0.0 sec.
user=vaughan
[2013-04-05 16:35:49]
619*2^1244015-1 is not prime.  Res64: 10A56834D3B1B69B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:47:45]
999*2^1244015-1 is not prime.  Res64: 76C79C1BE372441D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:47:46]
675*2^1244016-1 is not prime.  Res64: 5C54D8E21D951FFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:47:46]
683*2^1244016-1 is not prime.  Res64: 7C1AA28CDE6CBCD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 16:47:47]
693*2^1244016-1 is not prime.  Res64: 11B98CE34B9DCE95  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:05:29]
899*2^1244016-1 is not prime.  Res64: 0264C503F0FDDFF3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:05:30]
993*2^1244016-1 is not prime.  Res64: 6000AC2DB16DD926  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:05:30]
983*2^1244016-1 is not prime.  Res64: DADAA0AAF35AC74F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:05:31]
661*2^1244017-1 is not prime.  Res64: 70FDF6A772EEDA82  Time : 0.0 sec.
user=vaughan
[2013-04-05 17:13:42]
879*2^1244016-1 is not prime.  Res64: 6CF90592FF14F0A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:23:14]
765*2^1244017-1 is not prime.  Res64: EB613985171BDD3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:23:15]
799*2^1244017-1 is not prime.  Res64: 097D4AC595AACE6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:23:15]
805*2^1244017-1 is not prime.  Res64: 1F574B08C04C0D50  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:23:15]
889*2^1244017-1 is not prime.  Res64: E97E3B6A80C357B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:40:56]
939*2^1244017-1 is not prime.  Res64: 989A6C7117D2270B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:40:57]
605*2^1244018-1 is not prime.  Res64: 2701EADF22D7449A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:40:57]
617*2^1244018-1 is not prime.  Res64: AD926534478EBBEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:40:58]
687*2^1244018-1 is not prime.  Res64: 163F40F8F0CED754  Time : 0.0 sec.
user=vaughan
[2013-04-05 17:51:32]
919*2^1244017-1 is not prime.  Res64: 7DF602A8C76D37B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:58:45]
801*2^1244018-1 is not prime.  Res64: 4F757305C922F028  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:58:46]
813*2^1244018-1 is not prime.  Res64: 413631C10B3E11CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:58:50]
857*2^1244018-1 is not prime.  Res64: E9F4545F386C753F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 17:58:50]
867*2^1244018-1 is not prime.  Res64: DFA38119254C5707  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:16:22]
615*2^1244019-1 is not prime.  Res64: DEFD73A7CA970130  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:16:23]
649*2^1244019-1 is not prime.  Res64: E2CBBB4D61A74759  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:16:26]
685*2^1244019-1 is not prime.  Res64: EB8D89488FD04102  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:16:27]
691*2^1244019-1 is not prime.  Res64: D331F602DDCF3456  Time : 0.0 sec.
user=vaughan
[2013-04-05 18:29:22]
921*2^1244018-1 is not prime.  Res64: 5888357933B35014  Time : 0.0 sec.
user=juhehe
[2013-04-05 18:31:33]
931*2^1244017-1 is not prime.  Res64: F86E9F99704B5A03  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:34:45]
903*2^1244019-1 is not prime.  Res64: F31F41CB15842E32  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:34:46]
909*2^1244019-1 is not prime.  Res64: 4009DAD1E2DA2A2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:34:46]
703*2^1244019-1 is not prime.  Res64: F56D1494463B2864  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:34:46]
745*2^1244019-1 is not prime.  Res64: F7AD741110286A7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:52:56]
653*2^1244020-1 is not prime.  Res64: 2BC0642E59FA740F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:52:57]
695*2^1244020-1 is not prime.  Res64: 1AC77B66ABF62869  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:52:58]
717*2^1244020-1 is not prime.  Res64: 63234A285B4F3686  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 18:52:59]
759*2^1244020-1 is not prime.  Res64: 16699845E8ACCBE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:10:40]
765*2^1244020-1 is not prime.  Res64: 9A332DD358DB53FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:10:41]
819*2^1244020-1 is not prime.  Res64: 76CF4CA71F9830A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:10:41]
825*2^1244020-1 is not prime.  Res64: 277879E6C75D02C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:10:42]
915*2^1244020-1 is not prime.  Res64: ED126E0C8318BB96  Time : 0.0 sec.
user=vaughan
[2013-04-05 19:12:12]
961*2^1244019-1 is not prime.  Res64: A2BEEBA426861C44  Time : 0.0 sec.
user=juhehe
[2013-04-05 19:27:43]
949*2^1244019-1 is not prime.  Res64: EB973ED95AF9A2D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:28:31]
757*2^1244021-1 is not prime.  Res64: 37E39AB82B096144  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:28:32]
879*2^1244021-1 is not prime.  Res64: 78B8AABF141CCD52  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:28:34]
945*2^1244021-1 is not prime.  Res64: A60ED8C106235708  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:28:34]
987*2^1244021-1 is not prime.  Res64: B58CB74A65D8105A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:46:11]
705*2^1244022-1 is not prime.  Res64: B870C378A285A729  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:46:11]
723*2^1244022-1 is not prime.  Res64: 2F1EF200438432A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:46:13]
731*2^1244022-1 is not prime.  Res64: 9140F9F800DEC7E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 19:46:14]
867*2^1244022-1 is not prime.  Res64: 5859A019F51C50F0  Time : 0.0 sec.
user=vaughan
[2013-04-05 19:50:05]
621*2^1244022-1 is not prime.  Res64: CCBD1301A1567866  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:03:51]
915*2^1244022-1 is not prime.  Res64: 8B7B143BDC2D5DBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:03:52]
951*2^1244022-1 is not prime.  Res64: E32B9C457C01FC8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:03:53]
977*2^1244022-1 is not prime.  Res64: BB43359802E11C27  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:03:54]
675*2^1244023-1 is not prime.  Res64: C951D581F043D97D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:22:00]
805*2^1244023-1 is not prime.  Res64: 00847684C525CFE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:22:01]
853*2^1244023-1 is not prime.  Res64: 0C0DA7381E1F1435  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:22:02]
873*2^1244023-1 is not prime.  Res64: 156257B2356CA453  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:22:03]
919*2^1244023-1 is not prime.  Res64: C91E925258C574B8  Time : 0.0 sec.
user=vaughan
[2013-04-05 20:27:59]
709*2^1244023-1 is not prime.  Res64: 8F1321B6C52F43E1  Time : 0.0 sec.
user=juhehe
[2013-04-05 20:34:09]
873*2^1244022-1 is not prime.  Res64: DFC445477C258868  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:39:41]
933*2^1244023-1 is not prime.  Res64: 9196C2468BF3CC21  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:39:42]
943*2^1244023-1 is not prime.  Res64: 2AF9BBDBC23EA61B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:39:42]
973*2^1244023-1 is not prime.  Res64: 6F669779A3237C92  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:39:43]
993*2^1244023-1 is not prime.  Res64: C9CBB0FCE6EB01C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:57:17]
773*2^1244024-1 is not prime.  Res64: 8A93B48CBF8E1956  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:57:17]
785*2^1244024-1 is not prime.  Res64: 2734207762E7FDE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:57:18]
873*2^1244024-1 is not prime.  Res64: 598874579CAAAC1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 20:57:18]
875*2^1244024-1 is not prime.  Res64: F1AE765EEB1207E6  Time : 0.0 sec.
user=vaughan
[2013-04-05 21:05:52]
699*2^1244024-1 is not prime.  Res64: 42E21AFC90BCBD57  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:14:51]
899*2^1244024-1 is not prime.  Res64: 410F74D3A131890C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:14:53]
639*2^1244025-1 is not prime.  Res64: FB296559B197AF2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:14:53]
685*2^1244025-1 is not prime.  Res64: 7E1125504A5FB983  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:14:53]
717*2^1244025-1 is not prime.  Res64: 89558BF9B78D36CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:32:28]
751*2^1244025-1 is not prime.  Res64: 5FDFD37FFFF8D316  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:32:29]
831*2^1244025-1 is not prime.  Res64: 3CCCBB0A9CA9DAE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:32:31]
937*2^1244025-1 is not prime.  Res64: BE7BED6B49F14B85  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:32:32]
713*2^1244026-1 is not prime.  Res64: 3C41E53853B8AFA4  Time : 0.0 sec.
user=juhehe
[2013-04-05 21:37:06]
999*2^1244023-1 is not prime.  Res64: 866111A17CFDC3D2  Time : 0.0 sec.
user=vaughan
[2013-04-05 21:43:50]
727*2^1244025-1 is not prime.  Res64: 55DE100E01723342  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:50:03]
735*2^1244026-1 is not prime.  Res64: 3794F573F6DD30BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:50:04]
755*2^1244026-1 is not prime.  Res64: 716048DDFC7C913A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:50:07]
911*2^1244026-1 is not prime.  Res64: 21BFAFA79536FEC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 21:50:08]
941*2^1244026-1 is not prime.  Res64: 17CFE238DA59DDC0  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:07:36]
669*2^1244027-1 is not prime.  Res64: A60879809B2EE5AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:07:37]
675*2^1244027-1 is not prime.  Res64: 9C0021DA5EB22679  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:07:39]
685*2^1244027-1 is not prime.  Res64: 8D9409C1B2812350  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:07:39]
735*2^1244027-1 is not prime.  Res64: DB7BAC58FC727D21  Time : 0.0 sec.
user=vaughan
[2013-04-05 22:21:45]
643*2^1244027-1 is not prime.  Res64: 0B3768C36DDE2777  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:25:07]
861*2^1244027-1 is not prime.  Res64: D8B3CDF63083319D  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:25:08]
883*2^1244027-1 is not prime.  Res64: 09355196D3739BE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:25:10]
909*2^1244027-1 is not prime.  Res64: 1B242050BAB6FDF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:25:11]
939*2^1244027-1 is not prime.  Res64: 54B6D9D01AA87731  Time : 0.0 sec.
user=juhehe
[2013-04-05 22:36:36]
609*2^1244027-1 is not prime.  Res64: CAC15707A5F472B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:42:38]
723*2^1244028-1 is not prime.  Res64: 3708AAA72976616C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:42:38]
797*2^1244028-1 is not prime.  Res64: B806F014194C66C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:42:41]
893*2^1244028-1 is not prime.  Res64: 770358EFA5AA24BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 22:42:42]
959*2^1244028-1 is not prime.  Res64: 079E6FD05D85E9D9  Time : 0.0 sec.
user=vaughan
[2013-04-05 22:59:40]
627*2^1244028-1 is not prime.  Res64: 3032F9B77C6D3DCE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:00:07]
675*2^1244029-1 is not prime.  Res64: F285FCAF468277EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:00:07]
681*2^1244029-1 is not prime.  Res64: 72B0855F85996587  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:00:09]
687*2^1244029-1 is not prime.  Res64: 74E38EA4626203CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:00:11]
741*2^1244029-1 is not prime.  Res64: 3CE6D1FF09ABB56E  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:17:43]
759*2^1244029-1 is not prime.  Res64: B3C6199C0B039E6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:17:44]
825*2^1244029-1 is not prime.  Res64: B1AB3F17767E8ACA  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:17:46]
897*2^1244029-1 is not prime.  Res64: DDC4898D982389C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:17:46]
931*2^1244029-1 is not prime.  Res64: ED9F782F63996C5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:35:31]
957*2^1244029-1 is not prime.  Res64: 2A9BA7469F925D45  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:35:32]
677*2^1244030-1 is not prime.  Res64: 0FD33090255710C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:35:33]
773*2^1244030-1 is not prime.  Res64: 6FDDB8718C9BEECB  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:35:34]
785*2^1244030-1 is not prime.  Res64: 0BEEBE35B4765F5E  Time : 0.0 sec.
user=vaughan
[2013-04-05 23:37:32]
751*2^1244029-1 is not prime.  Res64: A63731978FA7E9E2  Time : 0.0 sec.
user=juhehe
[2013-04-05 23:39:13]
609*2^1244029-1 is not prime.  Res64: 4080D6F7842CD6D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:53:18]
791*2^1244030-1 is not prime.  Res64: 9ECAC850A5581867  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:53:18]
923*2^1244030-1 is not prime.  Res64: 32981592D1C0C186  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:53:20]
619*2^1244031-1 is not prime.  Res64: 492F119A5230D10F  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 23:53:20]
739*2^1244031-1 is not prime.  Res64: ACB4F12AB9F961AB  Time : 0.0 sec.