user=mdettweiler
[2012-12-29 00:07:51]
797*2^1238240-1 is not prime.  Res64: A1B3478ACB4F3D5E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:07:54]
959*2^1238240-1 is not prime.  Res64: FBBD500A46C1BA2A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:16:40]
717*2^1238241-1 is not prime.  Res64: D2AF0A84DF00A330  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:16:41]
817*2^1238241-1 is not prime.  Res64: 3B793BEDE2234E0E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:25:25]
895*2^1238241-1 is not prime.  Res64: 9C645F8BD60F5C1B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:25:26]
611*2^1238242-1 is not prime.  Res64: A69F3D9324408471  Time : 0.0 sec.
user=vaughan
[2012-12-29 00:33:40]
681*2^1238241-1 is not prime.  Res64: 98B9DC87C7BB5406  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:34:02]
657*2^1238242-1 is not prime.  Res64: 750F4E9972C05E41  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:34:02]
665*2^1238242-1 is not prime.  Res64: F3B80088BAAA3DFB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:42:46]
701*2^1238242-1 is not prime.  Res64: F4388DCADB7C685B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:42:46]
755*2^1238242-1 is not prime.  Res64: DA4B9CF8726B1C74  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:51:21]
735*2^1238243-1 is not prime.  Res64: 85EDC59B456D86D2  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 00:51:21]
859*2^1238243-1 is not prime.  Res64: 2C1B20F81A99BEAB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:08:31]
993*2^1238243-1 is not prime.  Res64: A153C3204FCC1CFA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:08:33]
753*2^1238244-1 is not prime.  Res64: 8351A3A248C397A5  Time : 0.0 sec.
user=vaughan
[2012-12-29 01:11:28]
675*2^1238243-1 is not prime.  Res64: 705B2E3278AFF8E1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:26:03]
783*2^1238244-1 is not prime.  Res64: 4C3AF7F9DB2A3B5C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:26:03]
795*2^1238244-1 is not prime.  Res64: CF13958F1F5269FF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:28:47]
939*2^1238243-1 is not prime.  Res64: 6B97DA227CCE5777  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:28:49]
949*2^1238243-1 is not prime.  Res64: 7D42C790EAE82E01  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:43:25]
601*2^1238245-1 is not prime.  Res64: 663630C885789A30  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:43:26]
645*2^1238245-1 is not prime.  Res64: 496C85A55A1DA1C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:46:18]
685*2^1238245-1 is not prime.  Res64: 27B37199A1D788DB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 01:46:19]
855*2^1238245-1 is not prime.  Res64: D44ADF328B2FF957  Time : 0.0 sec.
user=vaughan
[2012-12-29 01:49:17]
969*2^1238244-1 is not prime.  Res64: 186B46683C47A395  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:00:50]
955*2^1238245-1 is not prime.  Res64: D733507B7D539571  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:00:51]
615*2^1238246-1 is not prime.  Res64: 0B5E8A97A761BA73  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:12:43]
641*2^1238246-1 is not prime.  Res64: 359518D6C442EFD8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:12:45]
677*2^1238246-1 is not prime.  Res64: 50E531F598A523E8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:18:16]
867*2^1238246-1 is not prime.  Res64: DF22357DD5708104  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:18:16]
873*2^1238246-1 is not prime.  Res64: CB360DA321B9C6E2  Time : 0.0 sec.
user=vaughan
[2012-12-29 02:27:04]
635*2^1238246-1 is not prime.  Res64: 21178E047CA9B4FE  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:35:36]
953*2^1238246-1 is not prime.  Res64: 58B5EE0A8898C9FD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:35:38]
675*2^1238247-1 is not prime.  Res64: 7D502880E356E236  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:51:05]
897*2^1238246-1 is not prime.  Res64: FCC28FD10CBD9692  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:51:06]
917*2^1238246-1 is not prime.  Res64: 02EC1F83F0EB0336  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:53:05]
859*2^1238247-1 is not prime.  Res64: DE3A9BAF14F66D0F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 02:53:05]
861*2^1238247-1 is not prime.  Res64: 8963817CDFD4B1E3  Time : 0.0 sec.
user=vaughan
[2012-12-29 03:04:51]
709*2^1238247-1 is not prime.  Res64: 7DD1C62B8650DF19  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:08:29]
885*2^1238247-1 is not prime.  Res64: 4D4B2671979BFCB3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:08:30]
955*2^1238247-1 is not prime.  Res64: 857ECFF66DE7524D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:10:26]
963*2^1238247-1 is not prime.  Res64: 35025898A74F80C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:10:27]
985*2^1238247-1 is not prime.  Res64: 3169D4310E0662C9  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:25:56]
743*2^1238248-1 is not prime.  Res64: 8F29B2DE4DED9BFC  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:25:57]
773*2^1238248-1 is not prime.  Res64: FA2C048BF37FC0F5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:27:47]
777*2^1238248-1 is not prime.  Res64: 730DF9A96BD57B83  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:27:48]
923*2^1238248-1 is not prime.  Res64: 0E2B587E9222DCE8  Time : 0.0 sec.
user=vaughan
[2012-12-29 03:42:59]
705*2^1238248-1 is not prime.  Res64: 0CDAE1810899A9FF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:43:18]
933*2^1238248-1 is not prime.  Res64: CFD578E44D0A1B14  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:43:19]
947*2^1238248-1 is not prime.  Res64: 4D9B7422BC5390AD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:45:14]
631*2^1238249-1 is not prime.  Res64: 230E23896E1D3B26  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 03:45:14]
637*2^1238249-1 is not prime.  Res64: C8226CADDDBD7F9E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:00:42]
795*2^1238249-1 is not prime.  Res64: 29D825BA80FA79D0  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:00:43]
925*2^1238249-1 is not prime.  Res64: D074F5176B12B4CD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:02:34]
717*2^1238250-1 is not prime.  Res64: 73875444A18C1EC6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:02:35]
735*2^1238250-1 is not prime.  Res64: 29A9B412859BF613  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:18:15]
783*2^1238250-1 is not prime.  Res64: 9088D34FDEBF3EEB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:18:15]
803*2^1238250-1 is not prime.  Res64: 7680136B952AC270  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:19:58]
825*2^1238250-1 is not prime.  Res64: C79FD92F488C0606  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:19:59]
833*2^1238250-1 is not prime.  Res64: B6CC293B10E6DA76  Time : 0.0 sec.
user=vaughan
[2012-12-29 04:20:53]
781*2^1238249-1 is not prime.  Res64: 303B824389D39025  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:35:42]
873*2^1238250-1 is not prime.  Res64: 06E0714B1AC262BE  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:35:43]
885*2^1238250-1 is not prime.  Res64: B53DE1C0C92C671F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:37:18]
893*2^1238250-1 is not prime.  Res64: 264353EBDF49E61E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:37:19]
923*2^1238250-1 is not prime.  Res64: 619E2395759AA6C6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:53:04]
685*2^1238251-1 is not prime.  Res64: 712BF2F79A024865  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:53:05]
691*2^1238251-1 is not prime.  Res64: 15E25E8BE12351FB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:54:39]
745*2^1238251-1 is not prime.  Res64: 65FEC529FD6F43A8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 04:54:40]
841*2^1238251-1 is not prime.  Res64: C04E8F731F543CDE  Time : 0.0 sec.
user=vaughan
[2012-12-29 04:58:37]
963*2^1238250-1 is not prime.  Res64: F7F7F91D861E1CA6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:10:29]
855*2^1238251-1 is not prime.  Res64: 6B93D19653A9D635  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:10:37]
979*2^1238251-1 is not prime.  Res64: 58FF1729951CFB6E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:12:02]
999*2^1238251-1 is not prime.  Res64: 7D5DB1007B3BB7A3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:12:03]
615*2^1238252-1 is not prime.  Res64: B073BA01B41C4306  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:27:59]
647*2^1238252-1 is not prime.  Res64: 6E4F595E9E7EBB4A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:28:00]
669*2^1238252-1 is not prime.  Res64: 2D9E98DCC422A924  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:29:27]
725*2^1238252-1 is not prime.  Res64: E7D3EF525BEE7083  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:29:29]
759*2^1238252-1 is not prime.  Res64: 7451CB3291C3A4FD  Time : 0.0 sec.
user=vaughan
[2012-12-29 05:36:24]
633*2^1238252-1 is not prime.  Res64: 5019DC085C7BE58A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:45:28]
803*2^1238252-1 is not prime.  Res64: BACC2FBF767C502C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:45:30]
837*2^1238252-1 is not prime.  Res64: 844BCD7EA319243E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:46:52]
977*2^1238252-1 is not prime.  Res64: 5CAED1A493F99058  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 05:46:53]
679*2^1238253-1 is not prime.  Res64: 9832B22E532BB311  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:02:50]
837*2^1238253-1 is not prime.  Res64: F242EA6AD43AA117  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:02:51]
979*2^1238253-1 is not prime.  Res64: CCB91BD28D031566  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:04:14]
605*2^1238254-1 is not prime.  Res64: 1BA4FD595544A2BF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:04:15]
773*2^1238254-1 is not prime.  Res64: C597AE6E3215DF60  Time : 0.0 sec.
user=vaughan
[2012-12-29 06:14:14]
741*2^1238253-1 is not prime.  Res64: 264CD12B3BEEDFE5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:20:26]
831*2^1238254-1 is not prime.  Res64: E108E38A9749BE6E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:20:27]
857*2^1238254-1 is not prime.  Res64: 2233EB01DA101885  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:21:50]
885*2^1238254-1 is not prime.  Res64: 58CB02EB530F2ED7  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:21:51]
903*2^1238254-1 is not prime.  Res64: B02A78201EC699F0  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:37:50]
917*2^1238254-1 is not prime.  Res64: 1906A9F08AE6D378  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:37:51]
945*2^1238254-1 is not prime.  Res64: E083E4DE3BD5D3D4  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:48:04]
971*2^1238254-1 is not prime.  Res64: C686FCD97061AA36  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:48:05]
619*2^1238255-1 is not prime.  Res64: C4726C3256DBB712  Time : 0.0 sec.
user=vaughan
[2012-12-29 06:52:05]
915*2^1238254-1 is not prime.  Res64: F7044BCA589B936F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:55:14]
655*2^1238255-1 is not prime.  Res64: 3AA67C877BD9496F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 06:55:14]
685*2^1238255-1 is not prime.  Res64: F1143DB30E01D94C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:05:25]
715*2^1238255-1 is not prime.  Res64: 1E51C9E9459FADDA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:05:29]
759*2^1238255-1 is not prime.  Res64: 53A760505AA8EE1C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:12:45]
859*2^1238255-1 is not prime.  Res64: FCBE40891C2239E6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:12:47]
861*2^1238255-1 is not prime.  Res64: 3322B4A96CED840F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:23:08]
705*2^1238256-1 is not prime.  Res64: F12D5C5F593EC80E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:23:08]
615*2^1238257-1 is not prime.  Res64: 5FC79E0A1475F717  Time : 0.0 sec.
user=vaughan
[2012-12-29 07:29:53]
829*2^1238255-1 is not prime.  Res64: 49C2942BBE20F4AF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:40:01]
747*2^1238257-1 is not prime.  Res64: C709FA808B524105  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:40:01]
885*2^1238257-1 is not prime.  Res64: F67E8DD86ABE98FD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:40:33]
909*2^1238257-1 is not prime.  Res64: 4E55C025C229180F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:40:33]
915*2^1238257-1 is not prime.  Res64: 361B04D9D042E7C5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:57:24]
857*2^1238258-1 is not prime.  Res64: 990797112FEEE9B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:57:24]
875*2^1238258-1 is not prime.  Res64: C49E521152FEAC52  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:57:54]
887*2^1238258-1 is not prime.  Res64: 3D246D5F0880AECD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 07:57:55]
1001*2^1238258-1 is not prime.  Res64: A008C6B0FED8DD69  Time : 0.0 sec.
user=vaughan
[2012-12-29 08:07:41]
791*2^1238258-1 is not prime.  Res64: 4D93D42903F56336  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:14:44]
633*2^1238259-1 is not prime.  Res64: 64ED89638D992260  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:14:45]
709*2^1238259-1 is not prime.  Res64: 8CE746A51716B097  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:15:21]
823*2^1238259-1 is not prime.  Res64: DC656F70B01EAD2C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:15:22]
931*2^1238259-1 is not prime.  Res64: 81E85699660479C2  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:32:05]
687*2^1238260-1 is not prime.  Res64: 1CC506BA2E3CA176  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:32:06]
773*2^1238260-1 is not prime.  Res64: 029C6F28E861A875  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:32:46]
777*2^1238260-1 is not prime.  Res64: 756E10C59015AB93  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:32:47]
797*2^1238260-1 is not prime.  Res64: 01C8C4D0BCE5DB35  Time : 0.0 sec.
user=vaughan
[2012-12-29 08:45:47]
975*2^1238259-1 is not prime.  Res64: 20EA706923E75C39  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:49:30]
845*2^1238260-1 is not prime.  Res64: 39257477CAB3F0AF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:49:32]
897*2^1238260-1 is not prime.  Res64: CBD69643D592310D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:50:07]
923*2^1238260-1 is not prime.  Res64: 18FF5E88D4DF86D1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 08:50:07]
669*2^1238261-1 is not prime.  Res64: 8E2B4746255A847E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:06:53]
747*2^1238261-1 is not prime.  Res64: D4FCA7C40422AE0D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:06:55]
829*2^1238261-1 is not prime.  Res64: 6BCF76F9BB9A804E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:07:29]
681*2^1238262-1 is not prime.  Res64: 6A507C704A591F27  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:07:29]
755*2^1238262-1 is not prime.  Res64: 5712552BD04C9AC8  Time : 0.0 sec.
user=vaughan
[2012-12-29 09:23:34]
675*2^1238261-1 is not prime.  Res64: 755E852BCD427995  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:24:22]
761*2^1238262-1 is not prime.  Res64: DED3BD370D93D285  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:24:22]
903*2^1238262-1 is not prime.  Res64: 3DDF51DD270B2F1D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:24:53]
917*2^1238262-1 is not prime.  Res64: 44EF8656E4E56C3D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:24:54]
945*2^1238262-1 is not prime.  Res64: A13E5925F58FEF16  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:41:48]
789*2^1238263-1 is not prime.  Res64: 483AEEC25B4E6012  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:41:48]
849*2^1238263-1 is not prime.  Res64: 67DBBAFAE1A8412A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:42:14]
609*2^1238264-1 is not prime.  Res64: 65587A9A9534E95D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:42:15]
615*2^1238264-1 is not prime.  Res64: 5B627E72CF11335B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:59:09]
623*2^1238264-1 is not prime.  Res64: BFEFE82130236472  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:59:09]
629*2^1238264-1 is not prime.  Res64: 0DF9AF0381852B4F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:59:38]
717*2^1238264-1 is not prime.  Res64: 9F88FD9DF31B7AB1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 09:59:39]
803*2^1238264-1 is not prime.  Res64: 4BA564F3A5E5027B  Time : 0.0 sec.
user=vaughan
[2012-12-29 10:01:24]
681*2^1238263-1 is not prime.  Res64: 225A6F41771BC947  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:16:41]
837*2^1238264-1 is not prime.  Res64: D5127DE0D3D5A668  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:16:41]
843*2^1238264-1 is not prime.  Res64: 2E1BC2521DA9C18C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:17:02]
935*2^1238264-1 is not prime.  Res64: 1C6DF33902C1ED26  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:34:03]
871*2^1238265-1 is not prime.  Res64: FC4D76111932D5FC  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:34:04]
895*2^1238265-1 is not prime.  Res64: 9BE153C634409911  Time : 0.0 sec.
user=vaughan
[2012-12-29 10:39:18]
691*2^1238265-1 is not prime.  Res64: A3DF4B17D6C13756  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:41:50]
669*2^1238265-1 is not prime.  Res64: 95BE3305E78EC91E  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:51:24]
909*2^1238265-1 is not prime.  Res64: 9EBE30C614A8B324  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:51:25]
915*2^1238265-1 is not prime.  Res64: E5E0369B03B2B13B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:59:12]
645*2^1238266-1 is not prime.  Res64: 0C34368BC44E7AB3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 10:59:13]
651*2^1238266-1 is not prime.  Res64: 5C63B3CFD8443B39  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:08:50]
695*2^1238266-1 is not prime.  Res64: 861845EA6CC52E91  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:08:51]
723*2^1238266-1 is not prime.  Res64: B42E23FEEC48019D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:16:33]
801*2^1238266-1 is not prime.  Res64: 8DCFED8644438598  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:16:34]
815*2^1238266-1 is not prime.  Res64: 3C2CB20D71322145  Time : 0.0 sec.
user=vaughan
[2012-12-29 11:17:06]
603*2^1238266-1 is not prime.  Res64: D0D8CD4CCE1AEA00  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:26:19]
923*2^1238266-1 is not prime.  Res64: 522BE90DDEE41E50  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:26:20]
987*2^1238266-1 is not prime.  Res64: 6ACEB46A3AB7B8DA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:33:54]
655*2^1238267-1 is not prime.  Res64: 0CD16A5A36A58FF8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:33:55]
685*2^1238267-1 is not prime.  Res64: 2018402EFFB39892  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:43:43]
801*2^1238267-1 is not prime.  Res64: BD5A633468B7483C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:43:45]
909*2^1238267-1 is not prime.  Res64: E2FB2AC915A985A7  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:51:17]
993*2^1238267-1 is not prime.  Res64: 016B4026979AA7F1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 11:51:18]
783*2^1238268-1 is not prime.  Res64: 0ACC172908B1DD32  Time : 0.0 sec.
user=vaughan
[2012-12-29 11:54:52]
711*2^1238267-1 is not prime.  Res64: 6CDEF59EA7F870FF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:01:07]
845*2^1238268-1 is not prime.  Res64: 2703C7FF12C414DB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:01:08]
893*2^1238268-1 is not prime.  Res64: 6F81DB4CAC2C4CC2  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:08:41]
609*2^1238269-1 is not prime.  Res64: 9706203376BF7F49  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:08:43]
847*2^1238269-1 is not prime.  Res64: 59BA86ED2DD062C3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:18:30]
885*2^1238269-1 is not prime.  Res64: ADDB6302D9C2E214  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 12:18:31]
731*2^1238270-1 is not prime.  Res64: 48C1D07958B7B279  Time : 0.0 sec.
user=vaughan
[2012-12-29 12:32:40]
855*2^1238269-1 is not prime.  Res64: 7E1BCB1B1251A5D5  Time : 0.0 sec.
user=vaughan
[2012-12-29 13:10:29]
601*2^1238271-1 is not prime.  Res64: 507F92712FBBD0A5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:22:28]
923*2^1238270-1 is not prime.  Res64: 4363E506B0A66EB8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:22:29]
945*2^1238270-1 is not prime.  Res64: BD7226DAF0E38224  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:39:55]
675*2^1238271-1 is not prime.  Res64: A2449786F4DB2AD1  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:39:56]
763*2^1238271-1 is not prime.  Res64: 8EEF768FD2181E62  Time : 0.0 sec.
user=vaughan
[2012-12-29 13:48:23]
613*2^1238271-1 is not prime.  Res64: A005D3E32375457D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:57:22]
781*2^1238271-1 is not prime.  Res64: E5AF0BAD3678B419  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 13:57:25]
829*2^1238271-1 is not prime.  Res64: 6F119A475A2098EC  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:14:50]
913*2^1238271-1 is not prime.  Res64: 1F3655D3FCC7B995  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:14:50]
975*2^1238271-1 is not prime.  Res64: DB2DB8D727262D47  Time : 0.0 sec.
user=vaughan
[2012-12-29 14:26:08]
879*2^1238271-1 is not prime.  Res64: 0FDEB7137286642C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:31:26]
743*2^1238270-1 is not prime.  Res64: 2AB04F740BC35847  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:31:28]
773*2^1238270-1 is not prime.  Res64: AAD343AABF9266CD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:32:22]
979*2^1238271-1 is not prime.  Res64: 416928E0E23339ED  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:32:22]
999*2^1238271-1 is not prime.  Res64: 345664F52C18B02A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:48:57]
677*2^1238272-1 is not prime.  Res64: 69775902FA406B33  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:48:57]
909*2^1238272-1 is not prime.  Res64: D7FDF6A34DB33ECD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:58:40]
631*2^1238273-1 is not prime.  Res64: F1547BD47C85D896  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 14:58:41]
649*2^1238273-1 is not prime.  Res64: 362AC2BA3690ADA3  Time : 0.0 sec.
user=vaughan
[2012-12-29 15:03:56]
635*2^1238272-1 is not prime.  Res64: 10D902CF4A9F258A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:06:22]
675*2^1238273-1 is not prime.  Res64: 48A42A19C495D458  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:06:24]
679*2^1238273-1 is not prime.  Res64: D3DA8E15933234A4  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:16:06]
685*2^1238273-1 is not prime.  Res64: 55F1A434B7A41C98  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:16:07]
741*2^1238273-1 is not prime.  Res64: 06BFF2BF4202967A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:23:52]
605*2^1238274-1 is not prime.  Res64: BABEC19606E9BDC9  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:23:53]
621*2^1238274-1 is not prime.  Res64: 3EB748E1635CD503  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:33:37]
677*2^1238274-1 is not prime.  Res64: 9CEE3A804A5C8CA7  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:33:38]
683*2^1238274-1 is not prime.  Res64: B9003C29D6FF963B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:41:16]
711*2^1238274-1 is not prime.  Res64: 3171434ED1452292  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:41:17]
717*2^1238274-1 is not prime.  Res64: 14CDB5C62ED02695  Time : 0.0 sec.
user=vaughan
[2012-12-29 15:41:46]
861*2^1238273-1 is not prime.  Res64: 11A9730BD6ED52C8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:51:02]
741*2^1238274-1 is not prime.  Res64: 111AE4C93EF50689  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:51:03]
783*2^1238274-1 is not prime.  Res64: D52183AC71268410  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:58:43]
833*2^1238274-1 is not prime.  Res64: DD037C20FA6F06FE  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 15:58:43]
927*2^1238274-1 is not prime.  Res64: 7FED78BF284DCCF9  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:08:24]
1001*2^1238274-1 is not prime.  Res64: 831232DA9F7AAA29  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:08:25]
705*2^1238275-1 is not prime.  Res64: 91095731AA865569  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:16:07]
871*2^1238275-1 is not prime.  Res64: C1B8136D29DE0B54  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:16:08]
633*2^1238276-1 is not prime.  Res64: 751627A8A8EB3AF8  Time : 0.0 sec.
user=vaughan
[2012-12-29 16:19:29]
971*2^1238274-1 is not prime.  Res64: 5F9C9F9C8F6B3037  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:25:49]
659*2^1238276-1 is not prime.  Res64: 0716DFF1FE078A2C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:25:50]
903*2^1238276-1 is not prime.  Res64: 628FBEFFB1BDB6E5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:33:30]
963*2^1238276-1 is not prime.  Res64: F5FDC7581CBD4167  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:33:30]
987*2^1238276-1 is not prime.  Res64: 5AACDA669113CFF7  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:43:14]
741*2^1238277-1 is not prime.  Res64: FF4BE600685C9428  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:43:14]
825*2^1238277-1 is not prime.  Res64: F729910D340D46F7  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:50:56]
847*2^1238277-1 is not prime.  Res64: F5AE19DBDC604432  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 16:50:56]
901*2^1238277-1 is not prime.  Res64: 95FED3A5B731D128  Time : 0.0 sec.
user=vaughan
[2012-12-29 16:57:21]
627*2^1238277-1 is not prime.  Res64: CF2C23A94646E038  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:00:42]
919*2^1238277-1 is not prime.  Res64: 2EDC61479109E60A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:00:44]
955*2^1238277-1 is not prime.  Res64: 727F644BE9678537  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:08:19]
723*2^1238278-1 is not prime.  Res64: 5600FD9C60E4D345  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:08:21]
737*2^1238278-1 is not prime.  Res64: 493633C33DC4D0FA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:18:11]
827*2^1238278-1 is not prime.  Res64: CDC850DA85FF3F45  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:18:11]
615*2^1238279-1 is not prime.  Res64: 4F639A4C2B526674  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:25:58]
741*2^1238279-1 is not prime.  Res64: 66AD68B64AFC26EF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:25:59]
799*2^1238279-1 is not prime.  Res64: 8C12BB825AA1EA51  Time : 0.0 sec.
user=vaughan
[2012-12-29 17:35:05]
825*2^1238278-1 is not prime.  Res64: CBB3D23F72DD3FDA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:35:38]
825*2^1238279-1 is not prime.  Res64: C47A1E791492FFB0  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:35:38]
931*2^1238279-1 is not prime.  Res64: A8E252937AD15056  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:43:21]
973*2^1238279-1 is not prime.  Res64: 546E37AE67B4DD8D  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:43:22]
627*2^1238280-1 is not prime.  Res64: 719E2192960C9701  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 17:53:12]
693*2^1238280-1 is not prime.  Res64: 472350B35DEA4B92  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 18:00:42]
773*2^1238280-1 is not prime.  Res64: 60788BE27B4F8750  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 18:00:44]
867*2^1238280-1 is not prime.  Res64: D4E802A6B71DB2A5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 18:10:33]
879*2^1238280-1 is not prime.  Res64: 12F32B680AADA945  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 18:10:36]
915*2^1238280-1 is not prime.  Res64: A292F45DBBF35902  Time : 0.0 sec.
user=vaughan
[2012-12-29 18:12:53]
635*2^1238280-1 is not prime.  Res64: 4058E25DD1154B91  Time : 0.0 sec.
user=vaughan
[2012-12-29 18:50:41]
777*2^1238281-1 is not prime.  Res64: 79631B47B2EA502E  Time : 0.0 sec.
user=vaughan
[2012-12-29 19:28:30]
819*2^1238281-1 is not prime.  Res64: 18C0D094C36DB6A8  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:32:00]
983*2^1238280-1 is not prime.  Res64: 81AD378B5650517A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:32:01]
625*2^1238281-1 is not prime.  Res64: 5E1546C318F1AC52  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:32:05]
687*2^1238281-1 is not prime.  Res64: B740D194C3C92329  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:32:05]
745*2^1238281-1 is not prime.  Res64: 7BAA9B2601858999  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:49:24]
895*2^1238281-1 is not prime.  Res64: 25BDC458B2A4AC72  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:49:25]
931*2^1238281-1 is not prime.  Res64: B100C1518FF6B8E3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:49:26]
981*2^1238281-1 is not prime.  Res64: DA66A9B815C1D799  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 19:49:27]
987*2^1238281-1 is not prime.  Res64: F5012AFE84995874  Time : 0.0 sec.
user=vaughan
[2012-12-29 20:06:25]
861*2^1238281-1 is not prime.  Res64: B09074A8F15406FD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:06:45]
875*2^1238282-1 is not prime.  Res64: 513B83640A040321  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:06:47]
887*2^1238282-1 is not prime.  Res64: EE3D308AD651A6AD  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:06:51]
819*2^1238283-1 is not prime.  Res64: 07E59C7F8CFC05BB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:06:54]
829*2^1238283-1 is not prime.  Res64: 7018D7CC77A9D611  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:24:11]
901*2^1238283-1 is not prime.  Res64: EDFD39543E354DDC  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:24:12]
951*2^1238283-1 is not prime.  Res64: 6C974120B5921E23  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:24:17]
675*2^1238284-1 is not prime.  Res64: D9DFC10F08447DCF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:24:17]
705*2^1238284-1 is not prime.  Res64: 5032288797B1D490  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:41:39]
773*2^1238284-1 is not prime.  Res64: E012BDABD5C2AA57  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:41:39]
843*2^1238284-1 is not prime.  Res64: 8E189114CA649033  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:41:43]
869*2^1238284-1 is not prime.  Res64: 23FE68499A890FC5  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:41:44]
873*2^1238284-1 is not prime.  Res64: D0C91EBD9470078F  Time : 0.0 sec.
user=vaughan
[2012-12-29 20:44:21]
849*2^1238283-1 is not prime.  Res64: D2742C1118F4A594  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:59:03]
909*2^1238284-1 is not prime.  Res64: 9ED885AE919D69AA  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:59:04]
669*2^1238285-1 is not prime.  Res64: E671E0EB037B9231  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:59:10]
675*2^1238285-1 is not prime.  Res64: A847FF27BEE1FA32  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 20:59:10]
777*2^1238285-1 is not prime.  Res64: F63BDBD4F5267B12  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:16:31]
647*2^1238286-1 is not prime.  Res64: 8A97B86BABEBEC40  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:16:31]
717*2^1238286-1 is not prime.  Res64: B0F10D253C12D6D9  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:16:36]
765*2^1238286-1 is not prime.  Res64: A2CBA124D25959CF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:16:37]
891*2^1238286-1 is not prime.  Res64: 27BA0B5CF05F0688  Time : 0.0 sec.
user=vaughan
[2012-12-29 21:22:10]
939*2^1238285-1 is not prime.  Res64: D529DFC5F81580B3  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:34:07]
1001*2^1238286-1 is not prime.  Res64: 8DC186DCA14330A2  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:34:07]
609*2^1238287-1 is not prime.  Res64: 5F9BC68E3A57E309  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:34:11]
615*2^1238287-1 is not prime.  Res64: 7AC26B3EC1FAC9C6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:34:12]
633*2^1238287-1 is not prime.  Res64: 999FBF037FB77A2C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:52:05]
645*2^1238287-1 is not prime.  Res64: 15144C7879C502EE  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:52:06]
685*2^1238287-1 is not prime.  Res64: 6BD504A041EA8B75  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:52:18]
729*2^1238287-1 is not prime.  Res64: 852D9ACD166F8376  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 21:52:19]
751*2^1238287-1 is not prime.  Res64: 5739C318926A8FAB  Time : 0.0 sec.
user=vaughan
[2012-12-29 21:59:58]
639*2^1238287-1 is not prime.  Res64: B8FB4944CA747B47  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:09:31]
763*2^1238287-1 is not prime.  Res64: 9E449DA61818D182  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:09:34]
841*2^1238287-1 is not prime.  Res64: 33FA7BE97F6EB581  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:09:43]
859*2^1238287-1 is not prime.  Res64: 371D33272351C769  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:09:44]
985*2^1238287-1 is not prime.  Res64: BCB6A23B4BD1B8E4  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:27:01]
689*2^1238288-1 is not prime.  Res64: BFB2C6B874926624  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:27:02]
773*2^1238288-1 is not prime.  Res64: E4069CD68ADEE3C2  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:27:06]
813*2^1238288-1 is not prime.  Res64: C9CCB9E0154D984A  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:27:08]
827*2^1238288-1 is not prime.  Res64: B2A5CD59CEA393BE  Time : 0.0 sec.
user=vaughan
[2012-12-29 22:37:47]
603*2^1238288-1 is not prime.  Res64: 1856025A41BD8B68  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:44:28]
897*2^1238288-1 is not prime.  Res64: BBA4DC8C91D40EBB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:44:29]
649*2^1238289-1 is not prime.  Res64: 195464E49FC11255  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:44:29]
667*2^1238289-1 is not prime.  Res64: ABA4D352224A5213  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 22:44:30]
709*2^1238289-1 is not prime.  Res64: AC5E155139AF4BDB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:01:50]
835*2^1238289-1 is not prime.  Res64: 22FAD26C152CF594  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:01:52]
837*2^1238289-1 is not prime.  Res64: 3425BA88E207B72B  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:01:53]
885*2^1238289-1 is not prime.  Res64: 25EA50297245238C  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:01:55]
919*2^1238289-1 is not prime.  Res64: C705CFCEBF2BBF6E  Time : 0.0 sec.
user=vaughan
[2012-12-29 23:15:35]
727*2^1238289-1 is not prime.  Res64: 5272FE40AE34BE90  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:19:22]
955*2^1238289-1 is not prime.  Res64: 7AD67C681B5E47BF  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:19:22]
985*2^1238289-1 is not prime.  Res64: C82BF29133EDC8DB  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:19:23]
999*2^1238289-1 is not prime.  Res64: ABA777AF205D6617  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:19:23]
623*2^1238290-1 is not prime.  Res64: 5FB77513199A7A71  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:36:43]
845*2^1238290-1 is not prime.  Res64: DD1E37034D1AB489  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:36:44]
857*2^1238290-1 is not prime.  Res64: AF339DBBFDF5605F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:36:46]
933*2^1238290-1 is not prime.  Res64: 8A753E25BBBC8AB6  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:36:46]
941*2^1238290-1 is not prime.  Res64: F44A37E4302EEECD  Time : 0.0 sec.
user=vaughan
[2012-12-29 23:53:23]
755*2^1238290-1 is not prime.  Res64: EEB49AC360B1F92F  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:54:05]
741*2^1238291-1 is not prime.  Res64: 7D95264A8584C860  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:54:06]
775*2^1238291-1 is not prime.  Res64: 427E3AF86DB52C73  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:54:07]
783*2^1238291-1 is not prime.  Res64: 19330D30B3768513  Time : 0.0 sec.
user=mdettweiler
[2012-12-29 23:54:07]
801*2^1238291-1 is not prime.  Res64: EE357B5770578BED  Time : 0.0 sec.