user=mdettweiler
[2013-03-04 00:06:05]
843*2^1241975-1 is not prime.  Res64: D6724F2B1E2461FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:06:07]
979*2^1241975-1 is not prime.  Res64: 6C578D026BCDFAB6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:06:10]
635*2^1241976-1 is not prime.  Res64: 6D1619F82F06AC30  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:06:11]
717*2^1241976-1 is not prime.  Res64: 008B2AF7474E3D8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:23:33]
725*2^1241976-1 is not prime.  Res64: A7082539399B5CD7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:23:34]
735*2^1241976-1 is not prime.  Res64: 7410FDA0903160AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:23:37]
815*2^1241976-1 is not prime.  Res64: 3CCF56FA5F4136E5  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:23:38]
903*2^1241976-1 is not prime.  Res64: D060C6A25A8A7CC6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:41:01]
747*2^1241977-1 is not prime.  Res64: 692FB305F5C0C0CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:41:01]
805*2^1241977-1 is not prime.  Res64: 0CEF30106F39BF05  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:41:02]
817*2^1241977-1 is not prime.  Res64: 161726D5C204C43F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:41:02]
885*2^1241977-1 is not prime.  Res64: C23D20B70513F6C9  Time : 0.0 sec.
user=juhehe
[2013-03-04 00:44:32]
615*2^1241977-1 is not prime.  Res64: 750A15A74BFE6EED  Time : 0.0 sec.
user=juhehe
[2013-03-04 00:47:57]
775*2^1241975-1 is not prime.  Res64: 873B3CF27C5AA43B  Time : 0.0 sec.
user=juhehe
[2013-03-04 00:50:54]
999*2^1241976-1 is not prime.  Res64: 29EE0F8EC58E6F30  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:58:26]
753*2^1241978-1 is not prime.  Res64: FC8B83EDEF9F6334  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:58:27]
975*2^1241977-1 is not prime.  Res64: 24D85A75F1A3A278  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:58:27]
815*2^1241978-1 is not prime.  Res64: 3C03A12F4DECEF1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 00:58:27]
603*2^1241978-1 is not prime.  Res64: E42D2D9013755F8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:15:51]
921*2^1241978-1 is not prime.  Res64: B45B4285BDBBF393  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:15:52]
945*2^1241978-1 is not prime.  Res64: F8682AA9859C22AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:15:52]
709*2^1241979-1 is not prime.  Res64: ECCC36E585C57D85  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:15:53]
795*2^1241979-1 is not prime.  Res64: 9C5210F764077212  Time : 0.0 sec.
user=juhehe
[2013-03-04 01:26:59]
827*2^1241978-1 is not prime.  Res64: BC95033A320F5C81  Time : 0.0 sec.
user=juhehe
[2013-03-04 01:27:14]
911*2^1241978-1 is not prime.  Res64: F85181C88DB7135A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:33:21]
859*2^1241979-1 is not prime.  Res64: DB8A7904101FD2AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:33:21]
975*2^1241979-1 is not prime.  Res64: 58E6E8F07BF07778  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:33:22]
603*2^1241980-1 is not prime.  Res64: 43A179699A9F3FD6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:33:22]
623*2^1241980-1 is not prime.  Res64: E54363AABD700D10  Time : 0.0 sec.
user=juhehe
[2013-03-04 01:35:32]
895*2^1241977-1 is not prime.  Res64: 69676A31E2D25523  Time : 0.0 sec.
user=vaughan
[2013-03-04 01:38:43]
735*2^1241956-1 is not prime.  Res64: 4EAF8849DAFD64CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:50:45]
743*2^1241980-1 is not prime.  Res64: 2275D9A42E4A837C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:50:46]
755*2^1241980-1 is not prime.  Res64: AF6117097F36A804  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:50:47]
833*2^1241980-1 is not prime.  Res64: 0C54AD8C7EDE0F2E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 01:50:47]
839*2^1241980-1 is not prime.  Res64: A49717A5B8CDE22D  Time : 0.0 sec.
user=juhehe
[2013-03-04 02:04:35]
695*2^1241980-1 is not prime.  Res64: 8681D42B828EDEF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:08:09]
885*2^1241980-1 is not prime.  Res64: F80B5A763A492725  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:08:10]
957*2^1241980-1 is not prime.  Res64: 74D7C732D7B562BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:08:11]
987*2^1241980-1 is not prime.  Res64: 93623094C2095EE8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:08:12]
601*2^1241981-1 is not prime.  Res64: ED59B9F544B25096  Time : 0.0 sec.
user=vaughan
[2013-03-04 02:16:44]
845*2^1241980-1 is not prime.  Res64: 5FF4A59FAB1506A7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:25:35]
679*2^1241981-1 is not prime.  Res64: 4926E47FD17C0A5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:25:35]
901*2^1241981-1 is not prime.  Res64: C09E7A2DB3F4FAED  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:25:36]
611*2^1241982-1 is not prime.  Res64: 682F5BFE617E8787  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:25:37]
627*2^1241982-1 is not prime.  Res64: 64790387BE6BC299  Time : 0.0 sec.
user=juhehe
[2013-03-04 02:37:52]
615*2^1241981-1 is not prime.  Res64: C3D35FCB7DD997A0  Time : 0.0 sec.
user=juhehe
[2013-03-04 02:42:15]
631*2^1241981-1 is not prime.  Res64: 0363ED48E0B125E7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:43:01]
657*2^1241982-1 is not prime.  Res64: A5DA7EF3274C2FED  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:43:02]
711*2^1241982-1 is not prime.  Res64: 6ED7247F1054523A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:43:03]
713*2^1241982-1 is not prime.  Res64: 98A9F9938D355255  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 02:43:04]
717*2^1241982-1 is not prime.  Res64: B8E9A41481869DCA  Time : 0.0 sec.
user=juhehe
[2013-03-04 02:48:24]
875*2^1241980-1 is not prime.  Res64: 1F4B88C89661F6DC  Time : 0.0 sec.
user=vaughan
[2013-03-04 02:54:43]
651*2^1241982-1 is not prime.  Res64: 3823BFEF31171B43  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:00:27]
729*2^1241983-1 is not prime.  Res64: EC6D003C8F4778EF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:00:28]
765*2^1241983-1 is not prime.  Res64: 495D96529E20E5DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:00:29]
853*2^1241983-1 is not prime.  Res64: 87E83FCB9DEC597D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:00:30]
859*2^1241983-1 is not prime.  Res64: 622DF06AD47DEBE6  Time : 0.0 sec.
user=juhehe
[2013-03-04 03:14:09]
625*2^1241983-1 is not prime.  Res64: 1E0E082995DC3A1A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:17:54]
895*2^1241983-1 is not prime.  Res64: 8ED6C241581DEC1F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:17:54]
659*2^1241984-1 is not prime.  Res64: 740FD153DB8BEA34  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:17:55]
677*2^1241984-1 is not prime.  Res64: BF17D6A370788E1A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:17:56]
755*2^1241984-1 is not prime.  Res64: 855128DB7572FF58  Time : 0.0 sec.
user=juhehe
[2013-03-04 03:19:53]
861*2^1241983-1 is not prime.  Res64: B7E7F1B59BEE16D5  Time : 0.0 sec.
user=vaughan
[2013-03-04 03:32:45]
891*2^1241983-1 is not prime.  Res64: 56F1F67C6B5389EC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:35:22]
869*2^1241984-1 is not prime.  Res64: 9A4962712C81D40B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:35:23]
915*2^1241984-1 is not prime.  Res64: 0840D31CBE0ABA93  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:35:24]
909*2^1241984-1 is not prime.  Res64: F77CB4B39951D8EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:35:24]
609*2^1241985-1 is not prime.  Res64: CA6AE21B838C35E0  Time : 0.0 sec.
user=juhehe
[2013-03-04 03:36:05]
815*2^1241982-1 is not prime.  Res64: 4866E46009E7DE97  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:52:48]
759*2^1241985-1 is not prime.  Res64: 06F4194ABCB00A17  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:52:49]
765*2^1241985-1 is not prime.  Res64: 48D71C5AAFFFAB8C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:52:49]
781*2^1241985-1 is not prime.  Res64: 36407D0853849D8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 03:52:50]
871*2^1241985-1 is not prime.  Res64: C1C800BF4D4CFD48  Time : 0.0 sec.
user=juhehe
[2013-03-04 03:57:35]
679*2^1241985-1 is not prime.  Res64: 8C02FE6B6F7BE997  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:10:13]
735*2^1241986-1 is not prime.  Res64: E59FA41309925422  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:10:13]
933*2^1241986-1 is not prime.  Res64: C5603E4542083E41  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:10:14]
945*2^1241986-1 is not prime.  Res64: 831BA98BE54A16F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:10:15]
609*2^1241987-1 is not prime.  Res64: 3AF159A6221240D8  Time : 0.0 sec.
user=vaughan
[2013-03-04 04:10:57]
709*2^1241985-1 is not prime.  Res64: A0F4B8F2DD97792C  Time : 0.0 sec.
user=juhehe
[2013-03-04 04:24:26]
713*2^1241986-1 is not prime.  Res64: B0794DE021EDDBB8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:27:37]
645*2^1241987-1 is not prime.  Res64: 90FA33D3B8137BEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:27:38]
663*2^1241987-1 is not prime.  Res64: E3263C8E64F7267E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:27:39]
705*2^1241987-1 is not prime.  Res64: 7D87D63D5512FBB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:27:39]
735*2^1241987-1 is not prime.  Res64: 2F3D6860473D9F2A  Time : 0.0 sec.
user=juhehe
[2013-03-04 04:35:11]
643*2^1241987-1 is not prime.  Res64: 16AB49B323527E50  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:45:02]
615*2^1241988-1 is not prime.  Res64: 698DE7F0556F00D3  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:45:03]
629*2^1241988-1 is not prime.  Res64: 9D0F2CBBACA36A87  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:45:03]
663*2^1241988-1 is not prime.  Res64: BF9004044ADDAB79  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 04:45:03]
699*2^1241988-1 is not prime.  Res64: 52FE5A590F5D3A44  Time : 0.0 sec.
user=vaughan
[2013-03-04 04:48:56]
759*2^1241987-1 is not prime.  Res64: 15770487448EAC10  Time : 0.0 sec.
user=juhehe
[2013-03-04 04:50:02]
675*2^1241986-1 is not prime.  Res64: DC87B87F9DCAF466  Time : 0.0 sec.
user=juhehe
[2013-03-04 05:00:41]
843*2^1241987-1 is not prime.  Res64: 0F6DAEA073BAB691  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:02:26]
909*2^1241988-1 is not prime.  Res64: 574AB73D0D4CD4DF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:02:27]
729*2^1241989-1 is not prime.  Res64: DC652F91ECA30030  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:02:27]
675*2^1241989-1 is not prime.  Res64: F492DA151A2AFE24  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:02:28]
747*2^1241989-1 is not prime.  Res64: 0AF464629CD86C76  Time : 0.0 sec.
user=juhehe
[2013-03-04 05:12:47]
797*2^1241988-1 is not prime.  Res64: BC4BCC270D81B7AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:20:05]
755*2^1241990-1 is not prime.  Res64: 3D278EBA0337EC85  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:20:05]
645*2^1241990-1 is not prime.  Res64: B6F02E9361F1286B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:20:06]
827*2^1241990-1 is not prime.  Res64: B103E1BDF9E5D439  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:20:06]
707*2^1241990-1 is not prime.  Res64: 69E9301A4E649C10  Time : 0.0 sec.
user=vaughan
[2013-03-04 05:31:55]
979*2^1241989-1 is not prime.  Res64: 2DE0B7785C96B490  Time : 0.0 sec.
user=juhehe
[2013-03-04 05:37:12]
723*2^1241988-1 is not prime.  Res64: A64138A80F3BCB8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:37:31]
921*2^1241990-1 is not prime.  Res64: 708A825ECF86FABA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:37:31]
935*2^1241990-1 is not prime.  Res64: 47AD1FBDC82B191A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:37:32]
1001*2^1241990-1 is not prime.  Res64: D54D6E4397C7AE30  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:37:32]
669*2^1241991-1 is not prime.  Res64: 34110E642DFBC7B9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:54:55]
775*2^1241991-1 is not prime.  Res64: D3111B4D0694B1E8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:54:56]
885*2^1241991-1 is not prime.  Res64: 50A26CD98FFB2CC4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:54:56]
891*2^1241991-1 is not prime.  Res64: 32DCAEE7D171218F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 05:54:57]
909*2^1241991-1 is not prime.  Res64: 3FAC4BBA43B3AA35  Time : 0.0 sec.
user=vaughan
[2013-03-04 06:09:53]
685*2^1241991-1 is not prime.  Res64: 75A5F3468ACC7D5F  Time : 0.0 sec.
user=juhehe
[2013-03-04 06:11:10]
741*2^1241991-1 is not prime.  Res64: F529EADD5D5454FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:12:19]
699*2^1241992-1 is not prime.  Res64: 8AE0C1E668ED09CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:12:20]
705*2^1241992-1 is not prime.  Res64: 6C3E6A643C97E3B3  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:12:23]
759*2^1241992-1 is not prime.  Res64: 06BBA1A4A9D1643F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:12:24]
785*2^1241992-1 is not prime.  Res64: 65A83B6D96F010A5  Time : 0.0 sec.
user=juhehe
[2013-03-04 06:27:37]
615*2^1241992-1 is not prime.  Res64: 263FCEA4C3C5B6CF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:29:43]
899*2^1241992-1 is not prime.  Res64: 0B6492FE1B0DD69A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:29:44]
909*2^1241992-1 is not prime.  Res64: B6FF278466D14A6B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:29:51]
965*2^1241992-1 is not prime.  Res64: 87AD8CF53325A1F4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:29:51]
721*2^1241993-1 is not prime.  Res64: DB4CDB9CBCD39E0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:47:08]
805*2^1241993-1 is not prime.  Res64: 7B1CBF8C059C8228  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:47:09]
867*2^1241993-1 is not prime.  Res64: F4EFDEAC2F478BE4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:47:15]
949*2^1241993-1 is not prime.  Res64: 97C890166A723E45  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 06:47:16]
707*2^1241994-1 is not prime.  Res64: 8F2F86CFE9CB0BA2  Time : 0.0 sec.
user=vaughan
[2013-03-04 06:47:54]
855*2^1241992-1 is not prime.  Res64: 71F42474B9D9B8AC  Time : 0.0 sec.
user=juhehe
[2013-03-04 06:50:39]
933*2^1241991-1 is not prime.  Res64: 4CD5C9BC26DB68B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:04:33]
891*2^1241994-1 is not prime.  Res64: B3663B135AB444AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:04:35]
905*2^1241994-1 is not prime.  Res64: 51673A1FDC634888  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:04:40]
927*2^1241994-1 is not prime.  Res64: EEA743F352F5BC7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:04:41]
649*2^1241995-1 is not prime.  Res64: 6038E80FF0C3D35A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:22:01]
759*2^1241995-1 is not prime.  Res64: 6B66CAADB12BA2D7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:22:01]
853*2^1241995-1 is not prime.  Res64: 6A9DA6CC480DC22D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:22:06]
873*2^1241995-1 is not prime.  Res64: E760ABD3A68CACB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:22:06]
919*2^1241995-1 is not prime.  Res64: B0E21FA0BD1E5BE8  Time : 0.0 sec.
user=vaughan
[2013-03-04 07:25:51]
699*2^1241995-1 is not prime.  Res64: 1475150D9077E5BE  Time : 0.0 sec.
user=juhehe
[2013-03-04 07:38:27]
807*2^1241994-1 is not prime.  Res64: 451AFC66673317A0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:39:25]
939*2^1241995-1 is not prime.  Res64: D02A7EB9A2823FBB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:39:26]
743*2^1241996-1 is not prime.  Res64: BF82B38DFADADAEC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:39:30]
837*2^1241996-1 is not prime.  Res64: 69E2DB0BB0F484E7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:39:31]
993*2^1241996-1 is not prime.  Res64: 2584F08AB18C763F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:56:51]
829*2^1241997-1 is not prime.  Res64: 23C2CB88DFB03494  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:56:51]
891*2^1241997-1 is not prime.  Res64: 42560B78EA8B1D35  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:56:55]
915*2^1241997-1 is not prime.  Res64: 2054C48E5C0F9CB7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 07:56:56]
955*2^1241997-1 is not prime.  Res64: 756AFBFE3B8120BA  Time : 0.0 sec.
user=vaughan
[2013-03-04 08:03:57]
661*2^1241997-1 is not prime.  Res64: 79E0831E725571DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:14:15]
713*2^1241998-1 is not prime.  Res64: A96B1EBD20F7CA6F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:14:16]
731*2^1241998-1 is not prime.  Res64: F9228502A4493151  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:14:19]
777*2^1241998-1 is not prime.  Res64: 4B2C4AF95C346A73  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:14:20]
825*2^1241998-1 is not prime.  Res64: 9C85390CC0882CF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:31:40]
857*2^1241998-1 is not prime.  Res64: 90B2B8FA7DF98189  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:31:41]
993*2^1241998-1 is not prime.  Res64: A4435FB0AC4DD557  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:31:44]
619*2^1241999-1 is not prime.  Res64: 2B34E960B6A1FDAF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:31:44]
703*2^1241999-1 is not prime.  Res64: 1F212432CEECFDFA  Time : 0.0 sec.
user=vaughan
[2013-03-04 08:41:56]
845*2^1241998-1 is not prime.  Res64: 11543289D386CC79  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:49:09]
711*2^1241999-1 is not prime.  Res64: 8B99EDD41B3D1DA2  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:49:10]
729*2^1241999-1 is not prime.  Res64: 908735DCCDB90330  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:49:12]
735*2^1241999-1 is not prime.  Res64: F7BE68B2E9240A87  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 08:49:13]
999*2^1241999-1 is not prime.  Res64: 0CB2FB0CE1C2F118  Time : 0.0 sec.
user=juhehe
[2013-03-04 08:58:30]
985*2^1241997-1 is not prime.  Res64: CA08A7870184A3D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:06:42]
717*2^1242000-1 is not prime.  Res64: 3C7D0EF55CBCE9AD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:06:43]
747*2^1242000-1 is not prime.  Res64: 7C3CFD3801FD1867  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:06:45]
789*2^1242000-1 is not prime.  Res64: E2139FECA4DF8978  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:06:46]
927*2^1242000-1 is not prime.  Res64: 2C38863442F7DE01  Time : 0.0 sec.
user=vaughan
[2013-03-04 09:19:52]
675*2^1242000-1 is not prime.  Res64: 16BBAD45A52F6EEA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:24:26]
625*2^1242001-1 is not prime.  Res64: 61E8A322363E845D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:24:27]
649*2^1242001-1 is not prime.  Res64: 07D8822C7F7664BF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:24:31]
705*2^1242001-1 is not prime.  Res64: 8C82DC2D915B5494  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:24:31]
777*2^1242001-1 is not prime.  Res64: FAB7F7BB643A212F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:42:02]
835*2^1242001-1 is not prime.  Res64: 130FBA8CEA1E2F5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:42:03]
975*2^1242001-1 is not prime.  Res64: 6DE2FEFFC4C28B1A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:42:05]
997*2^1242001-1 is not prime.  Res64: AF5AE4E5BED21DBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:42:06]
615*2^1242002-1 is not prime.  Res64: 5B62E1150821E731  Time : 0.0 sec.
user=vaughan
[2013-03-04 09:57:52]
805*2^1242001-1 is not prime.  Res64: B182A3557380DFAE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:59:36]
645*2^1242002-1 is not prime.  Res64: 60D8A8D009B7F499  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:59:36]
705*2^1242002-1 is not prime.  Res64: 4068C78CD894F043  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:59:37]
711*2^1242002-1 is not prime.  Res64: C63A40F1C9EE8743  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 09:59:37]
713*2^1242002-1 is not prime.  Res64: A8224044011A6CC8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:17:03]
915*2^1242002-1 is not prime.  Res64: 9A47AEEED7B0CCD0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:17:03]
921*2^1242002-1 is not prime.  Res64: 8693144EC9856FD1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:17:03]
963*2^1242002-1 is not prime.  Res64: 550878D732FA29D5  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:17:04]
981*2^1242002-1 is not prime.  Res64: B9256CDEE1AE87CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:34:31]
995*2^1242002-1 is not prime.  Res64: 5605E39526FD6D31  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:34:31]
649*2^1242003-1 is not prime.  Res64: 5979B804C7EF3E8D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:34:33]
735*2^1242003-1 is not prime.  Res64: FB9A27D2C41757B2  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:34:33]
781*2^1242003-1 is not prime.  Res64: A744A053D4D77A32  Time : 0.0 sec.
user=vaughan
[2013-03-04 10:35:49]
833*2^1242002-1 is not prime.  Res64: CBB2C4A31B99842F  Time : 0.0 sec.
user=juhehe
[2013-03-04 10:37:36]
635*2^1242002-1 is not prime.  Res64: B656610A2CF37F93  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:51:57]
801*2^1242003-1 is not prime.  Res64: 9A691762BCA2750B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:51:58]
823*2^1242003-1 is not prime.  Res64: 60D19E6060C8D285  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:51:59]
849*2^1242003-1 is not prime.  Res64: 4B48109E59B98D29  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 10:52:00]
955*2^1242003-1 is not prime.  Res64: 084B92BD8CCC81A3  Time : 0.0 sec.
user=juhehe
[2013-03-04 10:59:47]
767*2^1242002-1 is not prime.  Res64: 0B29E8C2D1242C67  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:09:24]
615*2^1242004-1 is not prime.  Res64: 005519A5E785C090  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:09:25]
629*2^1242004-1 is not prime.  Res64: B8EA2FB97063E3A5  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:09:26]
873*2^1242004-1 is not prime.  Res64: 428499F3FE60244F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:09:27]
909*2^1242004-1 is not prime.  Res64: 7D4C186DC3B8A674  Time : 0.0 sec.
user=vaughan
[2013-03-04 11:13:47]
961*2^1242003-1 is not prime.  Res64: B94C6D737CAFB8FB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:26:53]
781*2^1242005-1 is not prime.  Res64: A4254E29AA4A3E23  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:26:54]
865*2^1242005-1 is not prime.  Res64: 735DE79A7CB386CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:26:55]
885*2^1242005-1 is not prime.  Res64: 1B4923126748F589  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:26:56]
939*2^1242005-1 is not prime.  Res64: 1B3B0C486DC49E7D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:44:19]
635*2^1242006-1 is not prime.  Res64: 484D98D3F51616F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:44:20]
653*2^1242006-1 is not prime.  Res64: 1D8D0B2A080F00AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:44:22]
707*2^1242006-1 is not prime.  Res64: 2CA4D38498F081D9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 11:44:22]
725*2^1242006-1 is not prime.  Res64: B2752D0583AA3362  Time : 0.0 sec.
user=vaughan
[2013-03-04 11:56:47]
981*2^1242005-1 is not prime.  Res64: 91600D2F1CD63291  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:01:47]
815*2^1242006-1 is not prime.  Res64: 46A36C747CCA1FD7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:01:50]
945*2^1242006-1 is not prime.  Res64: CDB992BD10E0D8B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:01:51]
947*2^1242006-1 is not prime.  Res64: 16DBC8FD647FE41C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:01:53]
615*2^1242007-1 is not prime.  Res64: 46BBEEAD70F57E73  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:19:51]
617*2^1242008-1 is not prime.  Res64: A2887BF9DA79B346  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:19:51]
755*2^1242008-1 is not prime.  Res64: 076B71CFEFC4340D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:19:52]
843*2^1242008-1 is not prime.  Res64: 4BC09E160278AE4C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:19:52]
897*2^1242008-1 is not prime.  Res64: F6B234D5B446DD3D  Time : 0.0 sec.
user=vaughan
[2013-03-04 12:34:48]
763*2^1242007-1 is not prime.  Res64: BF4685AE1BE0832F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:37:18]
609*2^1242009-1 is not prime.  Res64: 4B968F9E02F145CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:37:19]
649*2^1242009-1 is not prime.  Res64: 9D17B59B4F102926  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:37:19]
747*2^1242009-1 is not prime.  Res64: 6828E27A9AA6526A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:37:20]
847*2^1242009-1 is not prime.  Res64: 6E52E6FB2D6C8196  Time : 0.0 sec.
user=juhehe
[2013-03-04 12:39:06]
755*2^1242006-1 is not prime.  Res64: 30E6E25F61301171  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:54:46]
895*2^1242009-1 is not prime.  Res64: 8FD495F9506004B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:54:46]
735*2^1242010-1 is not prime.  Res64: 9366E29EA3F23D08  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:54:48]
755*2^1242010-1 is not prime.  Res64: 7A9B62BBA71C0BFF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 12:54:48]
773*2^1242010-1 is not prime.  Res64: 5FD78FA8C4DE267E  Time : 0.0 sec.
user=juhehe
[2013-03-04 13:00:25]
819*2^1242007-1 is not prime.  Res64: 534C0C8C091470F3  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:12:14]
803*2^1242010-1 is not prime.  Res64: 091C91E8B7B54E68  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:12:15]
957*2^1242010-1 is not prime.  Res64: 26A389A0DAA01426  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:12:15]
825*2^1242010-1 is not prime.  Res64: 190551A654E6936C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:12:15]
663*2^1242011-1 is not prime.  Res64: 4ACB2FDCE03477C8  Time : 0.0 sec.
user=vaughan
[2013-03-04 13:12:45]
889*2^1242009-1 is not prime.  Res64: 9D6DB4415BFA7706  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:29:42]
783*2^1242011-1 is not prime.  Res64: ADC6B3DE28DE75EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:29:42]
813*2^1242011-1 is not prime.  Res64: A34CF21B5D841F56  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:29:42]
879*2^1242011-1 is not prime.  Res64: 37072A95486652B9  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:29:43]
885*2^1242011-1 is not prime.  Res64: D92C517950DDD36B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:47:08]
981*2^1242011-1 is not prime.  Res64: 5806EA2696BEA770  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:47:09]
647*2^1242012-1 is not prime.  Res64: 071E29849365C4EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:47:09]
695*2^1242012-1 is not prime.  Res64: 56781E0D5C4FA292  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 13:47:10]
725*2^1242012-1 is not prime.  Res64: 91E1F25D87EAA797  Time : 0.0 sec.
user=vaughan
[2013-03-04 13:50:42]
895*2^1242011-1 is not prime.  Res64: D90FB604A86FA2FD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:04:36]
759*2^1242012-1 is not prime.  Res64: EA6F734AAACF58D1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:04:37]
837*2^1242012-1 is not prime.  Res64: 406A0CF8D7426B78  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:04:38]
875*2^1242012-1 is not prime.  Res64: 39A9A82527DFDDC4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:04:39]
607*2^1242013-1 is not prime.  Res64: 25960B69E9652466  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:22:05]
847*2^1242013-1 is not prime.  Res64: A67CD75540CC462F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:22:06]
945*2^1242013-1 is not prime.  Res64: 0BC91E6C81918152  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:22:07]
961*2^1242013-1 is not prime.  Res64: 8198BA0AA8CC68FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:22:07]
985*2^1242013-1 is not prime.  Res64: 87C4219E42CA572F  Time : 0.0 sec.
user=vaughan
[2013-03-04 14:28:40]
625*2^1242013-1 is not prime.  Res64: C5A675A08291649A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:39:42]
741*2^1242014-1 is not prime.  Res64: 47240DBAB756E41C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:39:43]
815*2^1242014-1 is not prime.  Res64: 3EFCB01CDAAA040B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:39:43]
825*2^1242014-1 is not prime.  Res64: C7F8559A0C1E4AB2  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:39:44]
873*2^1242014-1 is not prime.  Res64: 1AFBA01C94F67EE3  Time : 0.0 sec.
user=juhehe
[2013-03-04 14:40:04]
749*2^1242012-1 is not prime.  Res64: 9E3BE0905B023121  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:57:11]
1001*2^1242014-1 is not prime.  Res64: 782ACA591931328C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:57:11]
669*2^1242015-1 is not prime.  Res64: 078B75716D6D7FE3  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:57:12]
691*2^1242015-1 is not prime.  Res64: 309680A36D32F801  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 14:57:13]
709*2^1242015-1 is not prime.  Res64: 620FDE7B7380EC46  Time : 0.0 sec.
user=juhehe
[2013-03-04 15:01:31]
757*2^1242013-1 is not prime.  Res64: 6B50309BEBCC0C9D  Time : 0.0 sec.
user=vaughan
[2013-03-04 15:06:34]
927*2^1242014-1 is not prime.  Res64: 60B7254612317868  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:14:40]
735*2^1242015-1 is not prime.  Res64: B591199A9C24CE7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:14:40]
739*2^1242015-1 is not prime.  Res64: 5A83ABD4277C9AB8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:14:41]
859*2^1242015-1 is not prime.  Res64: 33F670A031AD73A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:14:42]
963*2^1242015-1 is not prime.  Res64: 4A18F592061C01C7  Time : 0.0 sec.
user=juhehe
[2013-03-04 15:25:51]
971*2^1242014-1 is not prime.  Res64: 63E18BE332D02D2E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:32:08]
657*2^1242016-1 is not prime.  Res64: B7551B4A40E8B80A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:32:08]
693*2^1242016-1 is not prime.  Res64: 164B68B3DDF274F0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:32:09]
875*2^1242016-1 is not prime.  Res64: 7AB5658A4A443F01  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:32:10]
903*2^1242016-1 is not prime.  Res64: E316EA78FAD5BA87  Time : 0.0 sec.
user=vaughan
[2013-03-04 15:44:36]
615*2^1242016-1 is not prime.  Res64: A134AE119FDA523C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:49:38]
999*2^1242016-1 is not prime.  Res64: 6B22AB842688C8EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:49:39]
619*2^1242017-1 is not prime.  Res64: 64793EC2BE0BFB07  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:49:40]
717*2^1242017-1 is not prime.  Res64: F35543C2433B9234  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 15:49:41]
831*2^1242017-1 is not prime.  Res64: F1D77A6D4E97492A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:07:06]
633*2^1242018-1 is not prime.  Res64: BF68DE486A9431C8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:07:07]
815*2^1242018-1 is not prime.  Res64: E0209FC08EF25F4A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:07:09]
821*2^1242018-1 is not prime.  Res64: EBE525EED54B10A1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:07:10]
861*2^1242018-1 is not prime.  Res64: 8EBFE089678CB0C5  Time : 0.0 sec.
user=vaughan
[2013-03-04 16:22:34]
621*2^1242018-1 is not prime.  Res64: 101FD21CA6B215D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:24:35]
927*2^1242018-1 is not prime.  Res64: 4A4FD4D1450E4005  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:24:35]
945*2^1242018-1 is not prime.  Res64: D12D5FF12C03C347  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:24:38]
971*2^1242018-1 is not prime.  Res64: 2C537A0A40D0B7BB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:24:39]
975*2^1242018-1 is not prime.  Res64: 1DF8BE32AE1BFB25  Time : 0.0 sec.
user=juhehe
[2013-03-04 16:41:28]
865*2^1242017-1 is not prime.  Res64: 0D83A428960BCD53  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:43:09]
631*2^1242019-1 is not prime.  Res64: C4DB9BE96067D588  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:43:10]
723*2^1242019-1 is not prime.  Res64: 1A77957BA67C3335  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:43:11]
759*2^1242019-1 is not prime.  Res64: 4652B89EA9C84FA7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 16:43:12]
765*2^1242019-1 is not prime.  Res64: E309A42119F05528  Time : 0.0 sec.
user=vaughan
[2013-03-04 17:00:35]
603*2^1242019-1 is not prime.  Res64: 8A5342568E00D765  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:01:06]
843*2^1242019-1 is not prime.  Res64: 416F7D1B1570D9AD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:01:08]
859*2^1242019-1 is not prime.  Res64: 8DDD25318731FCD6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:01:08]
775*2^1242019-1 is not prime.  Res64: 0C85D1DBE303C2A1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:01:10]
829*2^1242019-1 is not prime.  Res64: 9F0E07F9C4D0FE59  Time : 0.0 sec.
user=juhehe
[2013-03-04 17:02:28]
893*2^1242018-1 is not prime.  Res64: 37D02A450887878D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:18:40]
889*2^1242019-1 is not prime.  Res64: 8FD0DB3F09171904  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:18:41]
895*2^1242019-1 is not prime.  Res64: F28D83982B431615  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:18:42]
615*2^1242020-1 is not prime.  Res64: 12803CCA473505D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:18:43]
797*2^1242020-1 is not prime.  Res64: C7D4AAF5E349749B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:36:15]
825*2^1242020-1 is not prime.  Res64: EE6BBB6CE2396453  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:36:16]
855*2^1242020-1 is not prime.  Res64: 3021E7DF1E7FD654  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:36:16]
885*2^1242020-1 is not prime.  Res64: D3712C3A1974832D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:36:16]
923*2^1242020-1 is not prime.  Res64: DB8C36805278456B  Time : 0.0 sec.
user=vaughan
[2013-03-04 17:38:51]
861*2^1242019-1 is not prime.  Res64: 54726852FB43CCDB  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:53:46]
723*2^1242022-1 is not prime.  Res64: 423A675C038774DA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:53:46]
855*2^1242022-1 is not prime.  Res64: 5E7A94BF5876B378  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:53:46]
857*2^1242022-1 is not prime.  Res64: 7FBBF9FDC2246EB6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 17:53:47]
891*2^1242022-1 is not prime.  Res64: 820EADD17DA35F6D  Time : 0.0 sec.
user=Mini-Geek
[2013-03-04 17:54:21]
885*2^1242021-1 is not prime.  Res64: 616A7EB6E3459E5C  Time : 0.0 sec.
user=Mini-Geek
[2013-03-04 17:55:21]
621*2^1242022-1 is not prime.  Res64: B3A3BDD8DFB51269  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:11:16]
721*2^1242023-1 is not prime.  Res64: 7F339AD0C58D2601  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:11:17]
853*2^1242023-1 is not prime.  Res64: 4A0A714FF9C4A725  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:11:17]
985*2^1242023-1 is not prime.  Res64: 0BE31FB33988B60B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:11:18]
723*2^1242024-1 is not prime.  Res64: 9E5875DE39093B57  Time : 0.0 sec.
user=juhehe
[2013-03-04 18:20:52]
999*2^1242021-1 is not prime.  Res64: 85BEB6A6F62E364D  Time : 0.0 sec.
user=vaughan
[2013-03-04 18:21:48]
965*2^1242022-1 is not prime.  Res64: D5290D60F90495BD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:28:48]
863*2^1242024-1 is not prime.  Res64: 2049FED24C6E7C98  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:28:49]
875*2^1242024-1 is not prime.  Res64: 7AD95213D2B6D7C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:28:49]
959*2^1242024-1 is not prime.  Res64: 3337A25B7F815F2F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:28:50]
619*2^1242025-1 is not prime.  Res64: 0FD6BA95E41C3AE1  Time : 0.0 sec.
user=juhehe
[2013-03-04 18:42:45]
693*2^1242023-1 is not prime.  Res64: 11DB9E0D42C01226  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:46:40]
789*2^1242025-1 is not prime.  Res64: 8455634EEB6B5F61  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:46:40]
799*2^1242025-1 is not prime.  Res64: 0F80363B4152AD0C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:46:41]
805*2^1242025-1 is not prime.  Res64: 1E019DE15F916F35  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 18:46:41]
615*2^1242026-1 is not prime.  Res64: 4BB27E0FC63E8B64  Time : 0.0 sec.
user=vaughan
[2013-03-04 18:59:48]
759*2^1242025-1 is not prime.  Res64: 4975235C321D0217  Time : 0.0 sec.
user=juhehe
[2013-03-04 19:03:05]
837*2^1242024-1 is not prime.  Res64: 4BCC1486C25CED2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:04:49]
635*2^1242026-1 is not prime.  Res64: 757A6A752C2E6213  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:04:50]
735*2^1242026-1 is not prime.  Res64: 8F0A25AD21FE5395  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:04:50]
783*2^1242026-1 is not prime.  Res64: B840AA2871534C8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:04:51]
833*2^1242026-1 is not prime.  Res64: D67E879ABEA2DEE6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:22:57]
917*2^1242026-1 is not prime.  Res64: 1B2BFF881E27E8DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:22:58]
935*2^1242026-1 is not prime.  Res64: E90837FD3F0FD68E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:22:59]
615*2^1242027-1 is not prime.  Res64: 09062B87ED8DAEAC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:23:00]
741*2^1242027-1 is not prime.  Res64: 14F29E077F8F8D7F  Time : 0.0 sec.
user=vaughan
[2013-03-04 19:37:44]
875*2^1242026-1 is not prime.  Res64: 138D5DFA26F36C22  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:41:07]
829*2^1242027-1 is not prime.  Res64: B9A517B8973295E6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:41:08]
909*2^1242027-1 is not prime.  Res64: 54CCAEC509521078  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:41:08]
913*2^1242027-1 is not prime.  Res64: C3DECDE9C92FE263  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:41:09]
985*2^1242027-1 is not prime.  Res64: 9653E5A91E33D6EC  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:59:15]
705*2^1242028-1 is not prime.  Res64: 4064C46360FD18ED  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:59:16]
635*2^1242028-1 is not prime.  Res64: 6195176C4B01F470  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:59:16]
735*2^1242028-1 is not prime.  Res64: 16AFA91ABFFF389D  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 19:59:16]
677*2^1242028-1 is not prime.  Res64: DE974FA7701C0EF7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:17:24]
993*2^1242028-1 is not prime.  Res64: 31F6C8A00CF7E2BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:17:24]
621*2^1242029-1 is not prime.  Res64: 2F6597FB3E693B89  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:17:25]
729*2^1242029-1 is not prime.  Res64: 226B0D537C94C48B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:17:25]
771*2^1242029-1 is not prime.  Res64: B0BB31A604EB742C  Time : 0.0 sec.
user=juhehe
[2013-03-04 20:20:06]
869*2^1242028-1 is not prime.  Res64: AA16DCE582E0082D  Time : 0.0 sec.
user=vaughan
[2013-03-04 20:20:45]
999*2^1242027-1 is not prime.  Res64: 7B76B008AB6A870F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:35:26]
837*2^1242029-1 is not prime.  Res64: 35F31368C9039990  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:35:27]
847*2^1242029-1 is not prime.  Res64: 4F55EAC03AFD1EB7  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:35:27]
647*2^1242030-1 is not prime.  Res64: ECF7A5D59AF0B4A8  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:35:28]
887*2^1242030-1 is not prime.  Res64: 7198A890B75F63E6  Time : 0.0 sec.
user=juhehe
[2013-03-04 20:44:08]
749*2^1242028-1 is not prime.  Res64: 2FBFC5E41018A630  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:52:59]
927*2^1242030-1 is not prime.  Res64: C28508A90918A169  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:53:00]
951*2^1242030-1 is not prime.  Res64: 5F9650D8DE65BAEA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:53:01]
615*2^1242031-1 is not prime.  Res64: 7D3DD7BC37E94048  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 20:53:02]
709*2^1242031-1 is not prime.  Res64: 4B4A4F5329EE0270  Time : 0.0 sec.
user=juhehe
[2013-03-04 20:56:28]
917*2^1242030-1 is not prime.  Res64: B21378C45993C69B  Time : 0.0 sec.
user=vaughan
[2013-03-04 20:58:41]
921*2^1242030-1 is not prime.  Res64: 6F312923696E1194  Time : 0.0 sec.
user=juhehe
[2013-03-04 21:03:50]
819*2^1242029-1 is not prime.  Res64: BC3B07B2CDB7C984  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:10:31]
767*2^1242032-1 is not prime.  Res64: 535BAC79C987A3BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:10:32]
825*2^1242032-1 is not prime.  Res64: 69CA1745F9FF22AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:10:32]
923*2^1242032-1 is not prime.  Res64: 49262370ED1DC96B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:10:32]
959*2^1242032-1 is not prime.  Res64: 6A64553CB76AFD0F  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:28:03]
675*2^1242033-1 is not prime.  Res64: A838E2D06E5FF884  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:28:04]
795*2^1242033-1 is not prime.  Res64: 526C02444F8AE822  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:28:04]
937*2^1242033-1 is not prime.  Res64: 2E90CA091DF14222  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:28:05]
969*2^1242033-1 is not prime.  Res64: A687720AA075D35D  Time : 0.0 sec.
user=vaughan
[2013-03-04 21:36:39]
669*2^1242033-1 is not prime.  Res64: 857E17D8C7B80A38  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:45:35]
605*2^1242034-1 is not prime.  Res64: 777BA6A1F3D3983B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:45:36]
623*2^1242034-1 is not prime.  Res64: 55C01594F3928704  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:45:37]
675*2^1242034-1 is not prime.  Res64: 3FD650663A81D861  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 21:45:38]
831*2^1242034-1 is not prime.  Res64: 970021C66EE36CFF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:03:05]
633*2^1242035-1 is not prime.  Res64: 09AC3D4B998EE39E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:03:06]
673*2^1242035-1 is not prime.  Res64: D199E2832950D018  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:03:07]
675*2^1242035-1 is not prime.  Res64: 59BE2037ABBFAF9C  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:03:08]
699*2^1242035-1 is not prime.  Res64: BEB7DB562D05D25A  Time : 0.0 sec.
user=vaughan
[2013-03-04 22:14:36]
861*2^1242034-1 is not prime.  Res64: 91BA2048EA315BF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:20:36]
871*2^1242035-1 is not prime.  Res64: 687D8CBDF21B0678  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:20:36]
903*2^1242035-1 is not prime.  Res64: 6B92F1D3BE9A5948  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:20:40]
629*2^1242036-1 is not prime.  Res64: BD5EFBB257802DF6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:20:41]
825*2^1242036-1 is not prime.  Res64: 9754DEAE7A408611  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:38:08]
909*2^1242036-1 is not prime.  Res64: 8494B798AF2D67FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:38:08]
923*2^1242036-1 is not prime.  Res64: 68BE86D8CA9F6972  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:38:10]
927*2^1242036-1 is not prime.  Res64: B2BB94858CF38B8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:38:11]
691*2^1242037-1 is not prime.  Res64: DB80CE6DD7A4D26B  Time : 0.0 sec.
user=juhehe
[2013-03-04 22:45:12]
603*2^1242035-1 is not prime.  Res64: DE5B4678F65C1D52  Time : 0.0 sec.
user=vaughan
[2013-03-04 22:52:37]
839*2^1242036-1 is not prime.  Res64: C35CB0E44DBE64FA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:55:37]
801*2^1242037-1 is not prime.  Res64: F19399467114653B  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:55:38]
829*2^1242037-1 is not prime.  Res64: E6D9DB736801F0BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:55:39]
939*2^1242037-1 is not prime.  Res64: D70D239E71CFD6E6  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 22:55:39]
795*2^1242038-1 is not prime.  Res64: B77B384FFDA508EC  Time : 0.0 sec.
user=juhehe
[2013-03-04 23:04:44]
861*2^1242035-1 is not prime.  Res64: 3B02D90B0B263D37  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:13:12]
921*2^1242038-1 is not prime.  Res64: 7D7B4718C64A6136  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:13:13]
625*2^1242039-1 is not prime.  Res64: D420BC77DB775509  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:13:14]
669*2^1242039-1 is not prime.  Res64: 3C2EF2B5B939DBBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:13:15]
693*2^1242039-1 is not prime.  Res64: 3F56F38A0B14187C  Time : 0.0 sec.
user=vaughan
[2013-03-04 23:30:39]
875*2^1242038-1 is not prime.  Res64: 201F9B6D011693EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:30:42]
891*2^1242039-1 is not prime.  Res64: D0F239C6CA685EE1  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:30:43]
615*2^1242040-1 is not prime.  Res64: 4FCB8A627F626686  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:30:43]
605*2^1242040-1 is not prime.  Res64: 81A3F14360E76C5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:30:43]
635*2^1242040-1 is not prime.  Res64: 1B8C0C42B5973CA0  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:48:09]
707*2^1242040-1 is not prime.  Res64: 54A255D912959144  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:48:10]
989*2^1242040-1 is not prime.  Res64: 387215DC15BF102A  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:48:10]
675*2^1242041-1 is not prime.  Res64: D02FC1AD94ED4E5E  Time : 0.0 sec.
user=mdettweiler
[2013-03-04 23:48:11]
691*2^1242041-1 is not prime.  Res64: 0208E394ADD3D5A0  Time : 0.0 sec.