user=mdettweiler
[2013-04-04 00:07:12]
923*2^1243898-1 is not prime.  Res64: CB753521DB6EC003  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:07:13]
957*2^1243898-1 is not prime.  Res64: 4CDC88F16CAE12FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:07:14]
945*2^1243898-1 is not prime.  Res64: 12265D62953DE489  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:07:15]
723*2^1243899-1 is not prime.  Res64: B9BFEA65D5C2CA0B  Time : 0.0 sec.
user=vaughan
[2013-04-04 00:21:18]
791*2^1243898-1 is not prime.  Res64: AA7728594911BFED  Time : 0.0 sec.
user=juhehe
[2013-04-04 00:23:53]
633*2^1243898-1 is not prime.  Res64: D988147411ACE284  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:24:55]
751*2^1243899-1 is not prime.  Res64: 2B6ABA1562B2E234  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:24:56]
903*2^1243899-1 is not prime.  Res64: 788124CBD80F875A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:24:58]
943*2^1243899-1 is not prime.  Res64: 966378C427E17BE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:24:59]
979*2^1243899-1 is not prime.  Res64: ADF1E8370FF74133  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:42:31]
699*2^1243900-1 is not prime.  Res64: 36D6E1DD25B5EB6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:42:32]
773*2^1243900-1 is not prime.  Res64: 82EFCABE748C762F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:42:34]
819*2^1243900-1 is not prime.  Res64: 69B1FFD7580DB021  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 00:42:34]
833*2^1243900-1 is not prime.  Res64: 668055C4D5C2FDAE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:00:07]
889*2^1243901-1 is not prime.  Res64: 437E782D74464F1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:00:07]
607*2^1243901-1 is not prime.  Res64: 6FCCAC1A2112616A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:00:08]
903*2^1243902-1 is not prime.  Res64: 6203567848DEFF72  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:00:08]
829*2^1243901-1 is not prime.  Res64: F33E979EBCB98046  Time : 0.0 sec.
user=vaughan
[2013-04-04 01:04:14]
999*2^1243899-1 is not prime.  Res64: 21E7BC379FFC47C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:17:42]
681*2^1243903-1 is not prime.  Res64: F608951DAA3E8551  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:17:43]
705*2^1243903-1 is not prime.  Res64: B9EB479AEDE73339  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:17:44]
819*2^1243903-1 is not prime.  Res64: E169333E8602641A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:17:44]
853*2^1243903-1 is not prime.  Res64: 26C46C0BE20C2630  Time : 0.0 sec.
user=juhehe
[2013-04-04 01:27:41]
863*2^1243900-1 is not prime.  Res64: B881FF2F21B9335F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:35:27]
617*2^1243904-1 is not prime.  Res64: B9D478D8D86D9641  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:35:28]
657*2^1243904-1 is not prime.  Res64: 9189131D157DDD91  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:35:28]
659*2^1243904-1 is not prime.  Res64: FF57FF63D2802C34  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:35:29]
743*2^1243904-1 is not prime.  Res64: 868D8AC8F4BBBD52  Time : 0.0 sec.
user=vaughan
[2013-04-04 01:42:03]
855*2^1243903-1 is not prime.  Res64: 6F896252CBF1ECC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:53:01]
755*2^1243904-1 is not prime.  Res64: 2513EBCC5805983F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:53:01]
869*2^1243904-1 is not prime.  Res64: 5023FC3BFC66FFA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:53:02]
843*2^1243904-1 is not prime.  Res64: 4EA95C308DF979B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 01:53:02]
923*2^1243904-1 is not prime.  Res64: 79ED1CAD9CD2039A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:10:33]
691*2^1243905-1 is not prime.  Res64: 46B2B1FC0CA25B1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:10:34]
617*2^1243906-1 is not prime.  Res64: 109221A6970541CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:10:34]
789*2^1243905-1 is not prime.  Res64: B807ECF486E28787  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:10:35]
623*2^1243906-1 is not prime.  Res64: 0690C584CACF622E  Time : 0.0 sec.
user=vaughan
[2013-04-04 02:19:57]
649*2^1243905-1 is not prime.  Res64: EBB8CB08245F3211  Time : 0.0 sec.
user=juhehe
[2013-04-04 02:26:22]
753*2^1243904-1 is not prime.  Res64: 0DA12F2E96C5FCCB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:28:07]
773*2^1243906-1 is not prime.  Res64: 88A848DD6CFB95A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:28:08]
843*2^1243906-1 is not prime.  Res64: 578E985984CFB405  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:28:10]
911*2^1243906-1 is not prime.  Res64: 27A2BD20C7225E70  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:28:11]
649*2^1243907-1 is not prime.  Res64: 2D09E7A260A31E32  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:45:43]
801*2^1243907-1 is not prime.  Res64: 4DC7090AB5CFCD0C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:45:44]
841*2^1243907-1 is not prime.  Res64: 5EB033A031896046  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:45:45]
903*2^1243907-1 is not prime.  Res64: 24D325EC8292F79E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 02:45:47]
963*2^1243907-1 is not prime.  Res64: 22D5B6A2B0C3E202  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:03:21]
633*2^1243908-1 is not prime.  Res64: 15D2C573501FFD30  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:03:22]
773*2^1243908-1 is not prime.  Res64: 098E196E60200086  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:03:24]
809*2^1243908-1 is not prime.  Res64: 8AE30E7F45DD87BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:03:27]
887*2^1243908-1 is not prime.  Res64: 5B314B0DECD375F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:21:01]
959*2^1243908-1 is not prime.  Res64: 8FEE3C1C2BB7DC10  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:21:02]
977*2^1243908-1 is not prime.  Res64: F9BD43946C801306  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:21:02]
615*2^1243909-1 is not prime.  Res64: 4F03908DCE81BD7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:21:03]
855*2^1243909-1 is not prime.  Res64: 95C225E8C2FA3400  Time : 0.0 sec.
user=juhehe
[2013-04-04 03:29:38]
759*2^1243907-1 is not prime.  Res64: 662ED10BFABBAB3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:38:35]
677*2^1243910-1 is not prime.  Res64: 37D1B12196E05543  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:38:36]
711*2^1243910-1 is not prime.  Res64: 49181731196A0EF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:38:36]
741*2^1243910-1 is not prime.  Res64: C9779313E8A8E154  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:38:37]
861*2^1243910-1 is not prime.  Res64: 49A7C64B5A6F565C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:56:12]
921*2^1243910-1 is not prime.  Res64: 07577988F517E893  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:56:12]
691*2^1243911-1 is not prime.  Res64: 4D2577B56444FA0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:56:14]
793*2^1243911-1 is not prime.  Res64: 544CCBE8A80A9014  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 03:56:15]
795*2^1243911-1 is not prime.  Res64: 890AC89B01D9F7A4  Time : 0.0 sec.
user=vaughan
[2013-04-04 04:00:48]
675*2^1243907-1 is not prime.  Res64: 07A7B94AF44982B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:13:44]
861*2^1243911-1 is not prime.  Res64: 1875C2711792BEF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:13:45]
975*2^1243911-1 is not prime.  Res64: BD55CF871CB51875  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:13:46]
687*2^1243912-1 is not prime.  Res64: CC318C771339A493  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:13:46]
833*2^1243912-1 is not prime.  Res64: E127CD3373F5EB36  Time : 0.0 sec.
user=juhehe
[2013-04-04 04:28:32]
893*2^1243910-1 is not prime.  Res64: BA1E85E1808B46F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:31:18]
855*2^1243912-1 is not prime.  Res64: 387A4747DF57B2DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:31:19]
903*2^1243912-1 is not prime.  Res64: 6E07A62F0CEF11ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:31:20]
915*2^1243912-1 is not prime.  Res64: 24C36296F09A18D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:31:22]
917*2^1243912-1 is not prime.  Res64: 55732879A637658F  Time : 0.0 sec.
user=vaughan
[2013-04-04 04:38:45]
849*2^1243912-1 is not prime.  Res64: 307F74B0756A6B59  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:48:54]
979*2^1243913-1 is not prime.  Res64: 89DAD5F382AB2C6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:48:55]
641*2^1243914-1 is not prime.  Res64: 8CB1FC53131DBD4B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:49:00]
681*2^1243914-1 is not prime.  Res64: 046C04F99AAF356A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 04:49:00]
717*2^1243914-1 is not prime.  Res64: 26FDE0FB1F12044B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:06:26]
645*2^1243915-1 is not prime.  Res64: 4D255B6CA1FEFB98  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:06:27]
735*2^1243915-1 is not prime.  Res64: A18998A3263FF802  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:06:32]
861*2^1243915-1 is not prime.  Res64: DA201D7DCD1BAA6D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:06:33]
891*2^1243915-1 is not prime.  Res64: 13D3FE58A009D006  Time : 0.0 sec.
user=vaughan
[2013-04-04 05:16:40]
891*2^1243914-1 is not prime.  Res64: 3FF09D079D5C3F6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:23:59]
943*2^1243915-1 is not prime.  Res64: A704A5C8355CE350  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:23:59]
609*2^1243916-1 is not prime.  Res64: A8318223B50BAFE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:24:06]
717*2^1243916-1 is not prime.  Res64: 4D0F1314D200AD3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:24:07]
767*2^1243916-1 is not prime.  Res64: 45BA4572AC572BA3  Time : 0.0 sec.
user=juhehe
[2013-04-04 05:32:16]
741*2^1243913-1 is not prime.  Res64: C1774ADAB479AC3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:41:31]
857*2^1243916-1 is not prime.  Res64: EE5B33920D0DFD49  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:41:32]
987*2^1243916-1 is not prime.  Res64: 0256FD62AAE29789  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:41:37]
615*2^1243917-1 is not prime.  Res64: A548CE026823C6A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:41:37]
735*2^1243917-1 is not prime.  Res64: 1AD0FA6739FCB5F5  Time : 0.0 sec.
user=vaughan
[2013-04-04 05:54:38]
825*2^1243916-1 is not prime.  Res64: F07DA7E60E27DF3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:59:02]
817*2^1243917-1 is not prime.  Res64: 4889EA13C7DCA6BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:59:03]
829*2^1243917-1 is not prime.  Res64: 2FDF5F7F2C882B3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:59:09]
847*2^1243917-1 is not prime.  Res64: 1A8EF7C0532F5D4B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 05:59:09]
865*2^1243917-1 is not prime.  Res64: 20D02B06F86CCE6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:16:33]
761*2^1243918-1 is not prime.  Res64: 8D92D30D8661DFA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:16:34]
831*2^1243918-1 is not prime.  Res64: 01813FFBF91930B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:16:41]
833*2^1243918-1 is not prime.  Res64: 7992754BEBDEE05A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:16:42]
861*2^1243918-1 is not prime.  Res64: C028CC55568A1E14  Time : 0.0 sec.
user=juhehe
[2013-04-04 06:30:25]
765*2^1243917-1 is not prime.  Res64: 47337092365D7A5B  Time : 0.0 sec.
user=vaughan
[2013-04-04 06:32:31]
889*2^1243917-1 is not prime.  Res64: 03E9CC6DED0D2D44  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:34:05]
863*2^1243918-1 is not prime.  Res64: 8CF311F654975EF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:34:06]
885*2^1243918-1 is not prime.  Res64: 262C25CFCFA4AFAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:34:13]
957*2^1243918-1 is not prime.  Res64: A63C2476072203EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:34:13]
621*2^1243919-1 is not prime.  Res64: 3033F4EE5D0EB9B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:51:35]
693*2^1243919-1 is not prime.  Res64: 47563789D42BDED4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:51:36]
705*2^1243919-1 is not prime.  Res64: 413D0748957CE1B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:51:45]
721*2^1243919-1 is not prime.  Res64: E3F829E3C5B744B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 06:51:46]
819*2^1243919-1 is not prime.  Res64: 9AD379E9E6108CF6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:09:07]
939*2^1243919-1 is not prime.  Res64: 9A901F18E4F889F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:09:08]
943*2^1243919-1 is not prime.  Res64: FA89729E74A71DFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:09:19]
973*2^1243919-1 is not prime.  Res64: ACF88091F7E8FF8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:09:20]
723*2^1243920-1 is not prime.  Res64: 1FFE16D4555715BA  Time : 0.0 sec.
user=vaughan
[2013-04-04 07:10:23]
669*2^1243919-1 is not prime.  Res64: 9F695217A1848B78  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:26:42]
765*2^1243920-1 is not prime.  Res64: 68AE49BA68D2F482  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:26:43]
795*2^1243920-1 is not prime.  Res64: 08B4868E3D1FA0D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:26:52]
819*2^1243920-1 is not prime.  Res64: D3B917844E14B4AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:26:53]
927*2^1243920-1 is not prime.  Res64: 7ABB4166303364BC  Time : 0.0 sec.
user=juhehe
[2013-04-04 07:35:08]
633*2^1243919-1 is not prime.  Res64: A879181DAE67C11F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:44:14]
637*2^1243921-1 is not prime.  Res64: FB8ABCC0132F3F30  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:44:15]
651*2^1243921-1 is not prime.  Res64: DEC386A4B53E703F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:44:24]
817*2^1243921-1 is not prime.  Res64: 2E47C25B769F566A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 07:44:24]
867*2^1243921-1 is not prime.  Res64: 5F7FCF359253966A  Time : 0.0 sec.
user=vaughan
[2013-04-04 07:53:17]
945*2^1243920-1 is not prime.  Res64: A8A64F5A425C59A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:01:47]
909*2^1243921-1 is not prime.  Res64: BAEC8200FB9DB2E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:01:50]
975*2^1243921-1 is not prime.  Res64: A533B2F1D6214FA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:01:55]
705*2^1243922-1 is not prime.  Res64: 4D2BCA8637E1D15D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:01:56]
711*2^1243922-1 is not prime.  Res64: 1214882F26CF9D80  Time : 0.0 sec.
user=juhehe
[2013-04-04 08:18:18]
791*2^1243922-1 is not prime.  Res64: D1CCB44DE3E743AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:19:24]
903*2^1243922-1 is not prime.  Res64: F8E3881547160626  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:19:25]
915*2^1243922-1 is not prime.  Res64: 30BF40BE3B815F71  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:19:28]
921*2^1243922-1 is not prime.  Res64: D5E8011FB046527D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:19:28]
951*2^1243922-1 is not prime.  Res64: 8C0982326CBB742F  Time : 0.0 sec.
user=vaughan
[2013-04-04 08:31:08]
771*2^1243922-1 is not prime.  Res64: 5E3498CA779BF08D  Time : 0.0 sec.
user=juhehe
[2013-04-04 08:32:05]
901*2^1243921-1 is not prime.  Res64: 916EE4899FEF9395  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:36:56]
635*2^1243924-1 is not prime.  Res64: 64B37416778CD51C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:36:57]
719*2^1243924-1 is not prime.  Res64: 1A95F0E06B648CEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:36:59]
723*2^1243924-1 is not prime.  Res64: B72D990197157DEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:37:00]
813*2^1243924-1 is not prime.  Res64: EA2A9C797B1BA8B0  Time : 0.0 sec.
user=juhehe
[2013-04-04 08:37:24]
649*2^1243923-1 is not prime.  Res64: 3F5086D3E137AE99  Time : 0.0 sec.
user=juhehe
[2013-04-04 08:39:58]
801*2^1243923-1 is not prime.  Res64: 82476E455C432073  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:54:28]
903*2^1243924-1 is not prime.  Res64: 364EF3DDD1620DAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:54:29]
939*2^1243924-1 is not prime.  Res64: EB2B87FDC97A73F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:54:29]
619*2^1243925-1 is not prime.  Res64: B5C0D1472141DD87  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 08:54:30]
657*2^1243925-1 is not prime.  Res64: 6E1684F2220D4A3F  Time : 0.0 sec.
user=juhehe
[2013-04-04 08:59:13]
691*2^1243925-1 is not prime.  Res64: 25BFCB0DF51623D3  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:01:47]
715*2^1243925-1 is not prime.  Res64: B527285EC118AA10  Time : 0.0 sec.
user=vaughan
[2013-04-04 09:09:00]
863*2^1243924-1 is not prime.  Res64: 3358E6A38AA114F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:11:59]
721*2^1243925-1 is not prime.  Res64: A9BD16510A1A6B25  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:12:00]
777*2^1243925-1 is not prime.  Res64: 104A3448569479DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:12:00]
861*2^1243925-1 is not prime.  Res64: 4B324AB177889AF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:12:01]
885*2^1243925-1 is not prime.  Res64: 420E8B780D8C4B6A  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:23:38]
747*2^1243926-1 is not prime.  Res64: 5BC7FE3E47BA8EC2  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:24:15]
969*2^1243925-1 is not prime.  Res64: AAF03C25D621DA09  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:29:36]
873*2^1243926-1 is not prime.  Res64: 48AF4D5409042547  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:29:37]
923*2^1243926-1 is not prime.  Res64: C1B5AA91CFF13B18  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:29:38]
983*2^1243926-1 is not prime.  Res64: 7163E4A831832F83  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:29:39]
673*2^1243927-1 is not prime.  Res64: BBA14E80D11C12F7  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:37:48]
869*2^1243924-1 is not prime.  Res64: 7EF9D7F5182A6EC5  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:45:25]
763*2^1243927-1 is not prime.  Res64: D4F24745F2688B5A  Time : 0.0 sec.
user=vaughan
[2013-04-04 09:46:53]
783*2^1243926-1 is not prime.  Res64: B4F50BF4EE8AC4EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:47:09]
633*2^1243928-1 is not prime.  Res64: 9B4728519C7500BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:47:09]
659*2^1243928-1 is not prime.  Res64: 661382E21BB36545  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:47:10]
665*2^1243928-1 is not prime.  Res64: A5E4DE3BDB5C53DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 09:47:11]
699*2^1243928-1 is not prime.  Res64: 06BCAE39384377A7  Time : 0.0 sec.
user=juhehe
[2013-04-04 09:49:16]
933*2^1243927-1 is not prime.  Res64: FAF2E172367363D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:04:42]
837*2^1243928-1 is not prime.  Res64: BB23D4D19E399F03  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:04:43]
839*2^1243928-1 is not prime.  Res64: B71F189737642400  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:04:43]
867*2^1243928-1 is not prime.  Res64: B771B91AC148DABF  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:04:44]
869*2^1243928-1 is not prime.  Res64: 272875E9978D1CB2  Time : 0.0 sec.
user=juhehe
[2013-04-04 10:07:13]
735*2^1243928-1 is not prime.  Res64: 433418CEC30F232A  Time : 0.0 sec.
user=juhehe
[2013-04-04 10:11:02]
893*2^1243928-1 is not prime.  Res64: D0E337AB3BC6F725  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:22:35]
915*2^1243928-1 is not prime.  Res64: 03D3C4FB2E064024  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:22:36]
963*2^1243928-1 is not prime.  Res64: 2E49515DF0EAA6F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:22:37]
705*2^1243929-1 is not prime.  Res64: 30ED24B8036CBBE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:22:39]
747*2^1243929-1 is not prime.  Res64: 3F623D68723A9F8B  Time : 0.0 sec.
user=vaughan
[2013-04-04 10:24:47]
777*2^1243928-1 is not prime.  Res64: A2C3C2EB81BABF1F  Time : 0.0 sec.
user=juhehe
[2013-04-04 10:29:09]
781*2^1243929-1 is not prime.  Res64: CB1BA4D51FAC6963  Time : 0.0 sec.
user=juhehe
[2013-04-04 10:34:08]
713*2^1243928-1 is not prime.  Res64: 1CEB5905E3C3471C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:40:36]
835*2^1243929-1 is not prime.  Res64: CB76EBA8BBF46EB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:40:37]
861*2^1243929-1 is not prime.  Res64: 3139B8B2A72ECF1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:40:38]
611*2^1243930-1 is not prime.  Res64: 371EFBA5AD200BC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:40:39]
687*2^1243930-1 is not prime.  Res64: 13967344C4E30C63  Time : 0.0 sec.
user=juhehe
[2013-04-04 10:50:51]
701*2^1243930-1 is not prime.  Res64: 2541987A8ECD444D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:58:15]
755*2^1243930-1 is not prime.  Res64: EAFA571024F933CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:58:16]
777*2^1243930-1 is not prime.  Res64: DBD1107B6360C133  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:58:17]
783*2^1243930-1 is not prime.  Res64: 2464CD1B309FEE1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 10:58:17]
873*2^1243930-1 is not prime.  Res64: 9F57CD9988E27A89  Time : 0.0 sec.
user=vaughan
[2013-04-04 11:02:42]
695*2^1243930-1 is not prime.  Res64: D2E34D3DC85A789F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:15:53]
631*2^1243931-1 is not prime.  Res64: 9BF0E42A5AB7B61C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:15:54]
733*2^1243931-1 is not prime.  Res64: CCA102795891BDAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:15:55]
949*2^1243931-1 is not prime.  Res64: 00EAD6A1952F03F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:15:55]
777*2^1243932-1 is not prime.  Res64: A8DEE3D1D9F42F74  Time : 0.0 sec.
user=juhehe
[2013-04-04 11:16:01]
995*2^1243930-1 is not prime.  Res64: 6AEFD60DA9BAC77A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:33:32]
873*2^1243932-1 is not prime.  Res64: 780E960168E54CF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:33:33]
929*2^1243932-1 is not prime.  Res64: 56F155BC295B72BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:33:35]
745*2^1243933-1 is not prime.  Res64: A3B87BBBFB4D1E56  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:33:35]
769*2^1243933-1 is not prime.  Res64: 0BC2C04F1E589862  Time : 0.0 sec.
user=juhehe
[2013-04-04 11:38:37]
811*2^1243933-1 is not prime.  Res64: 2DCC1685A7404213  Time : 0.0 sec.
user=juhehe
[2013-04-04 11:40:03]
723*2^1243930-1 is not prime.  Res64: 2656EF85DD7C4C72  Time : 0.0 sec.
user=vaughan
[2013-04-04 11:41:00]
867*2^1243932-1 is not prime.  Res64: 949325BBBAAB2D0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:51:14]
847*2^1243933-1 is not prime.  Res64: 801EE124EF674904  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:51:15]
859*2^1243933-1 is not prime.  Res64: CD1F564871885C78  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:51:16]
919*2^1243933-1 is not prime.  Res64: 7059FC4C79BD3872  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 11:51:16]
741*2^1243934-1 is not prime.  Res64: CFAFBAC4BE8FE2A2  Time : 0.0 sec.
user=juhehe
[2013-04-04 12:00:40]
797*2^1243934-1 is not prime.  Res64: E8DEB4D6C4F56ACD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:08:53]
685*2^1243935-1 is not prime.  Res64: 44282F87AF7F83B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:08:54]
819*2^1243935-1 is not prime.  Res64: 2BCAC28C8F6B984C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:08:55]
849*2^1243935-1 is not prime.  Res64: C9831FB9D8C935E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:08:56]
677*2^1243936-1 is not prime.  Res64: 8DF27DF840855DBE  Time : 0.0 sec.
user=vaughan
[2013-04-04 12:18:49]
921*2^1243934-1 is not prime.  Res64: 766A1CDD852591BE  Time : 0.0 sec.
user=juhehe
[2013-04-04 12:23:59]
897*2^1243936-1 is not prime.  Res64: FB2F7B6AF1441E73  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:26:34]
903*2^1243936-1 is not prime.  Res64: E4003FEEA5EE1F04  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:26:35]
993*2^1243936-1 is not prime.  Res64: 9DA4284D3513E1D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:26:35]
923*2^1243936-1 is not prime.  Res64: B67143B24B5101A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:26:35]
801*2^1243937-1 is not prime.  Res64: 0031B22C0997D52A  Time : 0.0 sec.
user=juhehe
[2013-04-04 12:36:37]
773*2^1243934-1 is not prime.  Res64: BC408789FFDE4A80  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:44:12]
663*2^1243938-1 is not prime.  Res64: 3FF10975587E2698  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:44:13]
671*2^1243938-1 is not prime.  Res64: 1A93301A62F259D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:44:14]
815*2^1243938-1 is not prime.  Res64: AAC88EB6867361CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 12:44:14]
885*2^1243938-1 is not prime.  Res64: AEFFE2A2342500CB  Time : 0.0 sec.
user=juhehe
[2013-04-04 12:47:02]
915*2^1243937-1 is not prime.  Res64: 352AB52942B2DA96  Time : 0.0 sec.
user=vaughan
[2013-04-04 12:56:45]
837*2^1243937-1 is not prime.  Res64: 2EFC884BB3C1D2E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:01:50]
927*2^1243938-1 is not prime.  Res64: DA16B9EBF180B3D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:01:51]
609*2^1243939-1 is not prime.  Res64: 784E4A8A595DF0BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:01:53]
663*2^1243939-1 is not prime.  Res64: E1FDDEDCFD7D1F7A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:01:54]
861*2^1243939-1 is not prime.  Res64: 359FD6334432A926  Time : 0.0 sec.
user=juhehe
[2013-04-04 13:08:58]
889*2^1243939-1 is not prime.  Res64: CE514A762AD64EA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:19:28]
603*2^1243940-1 is not prime.  Res64: EB743B402D777C32  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:19:28]
615*2^1243940-1 is not prime.  Res64: E48A0B15B87F754E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:19:31]
669*2^1243940-1 is not prime.  Res64: CAF7D1F199FA91FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:19:32]
999*2^1243940-1 is not prime.  Res64: 5D31657AF01C4D9C  Time : 0.0 sec.
user=juhehe
[2013-04-04 13:30:55]
627*2^1243941-1 is not prime.  Res64: 33B43B29879D1D86  Time : 0.0 sec.
user=vaughan
[2013-04-04 13:34:36]
913*2^1243939-1 is not prime.  Res64: E83819D2BE3E8E21  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:37:09]
679*2^1243941-1 is not prime.  Res64: 2F9E757B15133C28  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:37:09]
717*2^1243941-1 is not prime.  Res64: C8E347E9FDC80D77  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:37:10]
727*2^1243941-1 is not prime.  Res64: B7AC8A9351592E1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:37:11]
747*2^1243941-1 is not prime.  Res64: A4BD72667D745ECD  Time : 0.0 sec.
user=juhehe
[2013-04-04 13:42:23]
893*2^1243938-1 is not prime.  Res64: E82BB792048B2939  Time : 0.0 sec.
user=juhehe
[2013-04-04 13:52:57]
623*2^1243942-1 is not prime.  Res64: 07A0C448CDEFF7D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:54:56]
911*2^1243942-1 is not prime.  Res64: 26C07E77D761DC08  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:54:57]
923*2^1243942-1 is not prime.  Res64: D5BE19A0AD250851  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:54:58]
951*2^1243942-1 is not prime.  Res64: 4D6206A30574B4A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 13:54:58]
987*2^1243942-1 is not prime.  Res64: E4697406F6405FBB  Time : 0.0 sec.
user=vaughan
[2013-04-04 14:12:26]
723*2^1243942-1 is not prime.  Res64: 3197AEF637B99B5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:12:50]
715*2^1243943-1 is not prime.  Res64: F74AE4386072B22D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:12:51]
829*2^1243943-1 is not prime.  Res64: CB7EB5FF77D9E54E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:12:52]
901*2^1243943-1 is not prime.  Res64: C3B7233CCA3879CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:12:53]
943*2^1243943-1 is not prime.  Res64: 87235A3BFC328768  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:30:29]
707*2^1243944-1 is not prime.  Res64: 551C8D18BF246E6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:30:29]
903*2^1243944-1 is not prime.  Res64: 8459E913ECA9AA61  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:30:31]
923*2^1243944-1 is not prime.  Res64: 8232732300904B05  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:30:32]
927*2^1243944-1 is not prime.  Res64: 668961BAED57664A  Time : 0.0 sec.
user=juhehe
[2013-04-04 14:38:30]
831*2^1243942-1 is not prime.  Res64: 657A0257DA0497E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:48:11]
691*2^1243945-1 is not prime.  Res64: FB82DD3C3E390238  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:48:12]
729*2^1243945-1 is not prime.  Res64: 87205C4AF9EC5F05  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:48:12]
633*2^1243946-1 is not prime.  Res64: BE91422239A3ADE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 14:48:13]
641*2^1243946-1 is not prime.  Res64: 29A51EF37372D096  Time : 0.0 sec.
user=vaughan
[2013-04-04 14:50:23]
693*2^1243944-1 is not prime.  Res64: F725D9632D416CDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:06:00]
743*2^1243946-1 is not prime.  Res64: C7D87F3117A638A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:06:01]
831*2^1243946-1 is not prime.  Res64: 31C67B04357390E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:06:03]
887*2^1243946-1 is not prime.  Res64: 5390577F1A68CC7E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:06:04]
983*2^1243946-1 is not prime.  Res64: 062D7D28EAE877FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:23:57]
675*2^1243947-1 is not prime.  Res64: 2D5DB652A456E311  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:23:57]
705*2^1243947-1 is not prime.  Res64: 453636E3711E14DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:23:58]
781*2^1243947-1 is not prime.  Res64: 1D7B5C865C46EC9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:23:59]
825*2^1243947-1 is not prime.  Res64: EB26EA884BDC781A  Time : 0.0 sec.
user=vaughan
[2013-04-04 15:33:10]
987*2^1243946-1 is not prime.  Res64: 04BDC758FE2E8ECA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:41:39]
951*2^1243947-1 is not prime.  Res64: 8CD3DF312D13E164  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:41:40]
603*2^1243948-1 is not prime.  Res64: 4085B1C87368B791  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:41:43]
843*2^1243948-1 is not prime.  Res64: 5BFB9ABDB84CEADA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:41:44]
615*2^1243949-1 is not prime.  Res64: DE84858D48796931  Time : 0.0 sec.
user=juhehe
[2013-04-04 15:44:47]
741*2^1243946-1 is not prime.  Res64: A7FEA349887E264B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:59:18]
829*2^1243949-1 is not prime.  Res64: 621B7060D203A0B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:59:19]
931*2^1243949-1 is not prime.  Res64: 983C19BBD83F614C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:59:21]
635*2^1243950-1 is not prime.  Res64: D6E0C772B10DCEF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 15:59:22]
713*2^1243950-1 is not prime.  Res64: F00792DD3640251A  Time : 0.0 sec.
user=vaughan
[2013-04-04 16:11:03]
699*2^1243949-1 is not prime.  Res64: 1ACD7F2B34CCE982  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:16:56]
801*2^1243950-1 is not prime.  Res64: C3BF6B667167FC3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:16:57]
843*2^1243950-1 is not prime.  Res64: 2E407198D9BAE50A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:16:59]
861*2^1243950-1 is not prime.  Res64: CD47C29C09A6D434  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:17:00]
915*2^1243950-1 is not prime.  Res64: 40052F276B6053B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:34:39]
693*2^1243951-1 is not prime.  Res64: 0D5E26FC5D120098  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:34:40]
999*2^1243951-1 is not prime.  Res64: CD5A4FD393BB96FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:34:42]
623*2^1243952-1 is not prime.  Res64: CD03812D0BD90D7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:34:43]
629*2^1243952-1 is not prime.  Res64: 243743318EF9176F  Time : 0.0 sec.
user=juhehe
[2013-04-04 16:40:36]
825*2^1243949-1 is not prime.  Res64: 8ECE16CFD04214D2  Time : 0.0 sec.
user=vaughan
[2013-04-04 16:48:58]
921*2^1243950-1 is not prime.  Res64: 6AFDD35562672AB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:52:20]
635*2^1243952-1 is not prime.  Res64: DB75BA45FA7835FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:52:21]
767*2^1243952-1 is not prime.  Res64: A9DC4E44092B5793  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:52:22]
873*2^1243952-1 is not prime.  Res64: 9033260DC1462B8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 16:52:22]
903*2^1243952-1 is not prime.  Res64: 4F4F50DCB1793216  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:10:36]
829*2^1243953-1 is not prime.  Res64: 57558EBC1B112395  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:10:37]
861*2^1243953-1 is not prime.  Res64: F04380FA1823192F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:10:38]
885*2^1243953-1 is not prime.  Res64: E30836AF0C0E0B1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:10:39]
895*2^1243953-1 is not prime.  Res64: 651BB4EE3D1975AB  Time : 0.0 sec.
user=vaughan
[2013-04-04 17:26:50]
769*2^1243953-1 is not prime.  Res64: 05A56B6F8C786286  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:28:51]
663*2^1243954-1 is not prime.  Res64: 4DAAAF2E788A2301  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:28:51]
645*2^1243954-1 is not prime.  Res64: 4FA4EC283EE20EC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:28:51]
723*2^1243954-1 is not prime.  Res64: D2CAEA3DF795C8F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:28:51]
657*2^1243954-1 is not prime.  Res64: 9ACC881ADC56C09C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:46:27]
971*2^1243954-1 is not prime.  Res64: E23F3DC771EF8F54  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:46:27]
975*2^1243954-1 is not prime.  Res64: 429BF1A04F95F49B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:46:28]
619*2^1243955-1 is not prime.  Res64: A95389DF6B61859D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 17:46:29]
643*2^1243955-1 is not prime.  Res64: 90C505E7405553AB  Time : 0.0 sec.
user=juhehe
[2013-04-04 17:46:30]
691*2^1243953-1 is not prime.  Res64: 3A74861B3AE25B77  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:04:02]
693*2^1243955-1 is not prime.  Res64: 432089DBF59BE66E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:04:03]
735*2^1243955-1 is not prime.  Res64: DEE50D02931FBA4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:04:04]
861*2^1243955-1 is not prime.  Res64: 2008029D4141B00A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:04:05]
915*2^1243955-1 is not prime.  Res64: DF1A2DB5EFFDC57D  Time : 0.0 sec.
user=vaughan
[2013-04-04 18:04:43]
783*2^1243954-1 is not prime.  Res64: 171C4C6ED38F112C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:21:58]
939*2^1243955-1 is not prime.  Res64: 3C446CC05D319118  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:21:59]
985*2^1243955-1 is not prime.  Res64: 803093866178CA58  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:22:00]
633*2^1243956-1 is not prime.  Res64: B7D56893DA42EF18  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:22:01]
705*2^1243956-1 is not prime.  Res64: 18200F1C3030E65D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:39:50]
837*2^1243956-1 is not prime.  Res64: 9CF21E8CC7DD32E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:39:50]
927*2^1243956-1 is not prime.  Res64: 047A9A705BB1E87A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:39:51]
845*2^1243956-1 is not prime.  Res64: 072E597CB2815C1E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:39:51]
983*2^1243956-1 is not prime.  Res64: 38712CE14E1FB7FE  Time : 0.0 sec.
user=vaughan
[2013-04-04 18:42:36]
825*2^1243956-1 is not prime.  Res64: 1513871461613E45  Time : 0.0 sec.
user=juhehe
[2013-04-04 18:43:05]
685*2^1243955-1 is not prime.  Res64: CE3F257768E52A72  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:57:35]
993*2^1243956-1 is not prime.  Res64: A067A20BFB949941  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:57:36]
601*2^1243957-1 is not prime.  Res64: E688D1584DA15DE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:57:37]
625*2^1243957-1 is not prime.  Res64: 09D7960524730CAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 18:57:37]
751*2^1243957-1 is not prime.  Res64: 0DCE294C1061DF4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:15:18]
895*2^1243957-1 is not prime.  Res64: 4C14BD116A23B8BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:15:19]
919*2^1243957-1 is not prime.  Res64: 087E396D3BAFB44A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:15:19]
939*2^1243957-1 is not prime.  Res64: 787F96D6B9F33F3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:15:20]
975*2^1243957-1 is not prime.  Res64: 0E465AC97F6AC570  Time : 0.0 sec.
user=vaughan
[2013-04-04 19:20:29]
799*2^1243957-1 is not prime.  Res64: CB1F48AA59C84AD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:33:07]
635*2^1243958-1 is not prime.  Res64: B22DDCCD5435C4D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:33:08]
645*2^1243958-1 is not prime.  Res64: 3D6E536DD6BD5FA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:33:10]
705*2^1243958-1 is not prime.  Res64: 6F6D329B4CADE0E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:33:11]
755*2^1243958-1 is not prime.  Res64: 09CF7EDEE1E78D93  Time : 0.0 sec.
user=juhehe
[2013-04-04 19:48:52]
889*2^1243957-1 is not prime.  Res64: 259F9E00F1640A43  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:50:50]
815*2^1243958-1 is not prime.  Res64: 59C6B5E39C12A7F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:50:51]
861*2^1243958-1 is not prime.  Res64: 9EA0F6D22031D988  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:50:56]
897*2^1243958-1 is not prime.  Res64: 859D389037E66642  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 19:50:57]
915*2^1243958-1 is not prime.  Res64: 0EF194E1AB87BB0B  Time : 0.0 sec.
user=vaughan
[2013-04-04 19:58:21]
773*2^1243958-1 is not prime.  Res64: D0899830695B048B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:08:49]
745*2^1243959-1 is not prime.  Res64: 55C74D7D219E3442  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:08:50]
879*2^1243959-1 is not prime.  Res64: D6679FF8B1D1CF91  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:08:54]
895*2^1243959-1 is not prime.  Res64: 5C926DA514BCAA90  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:08:54]
605*2^1243960-1 is not prime.  Res64: C3FB5C19EBC0C23D  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:27:05]
863*2^1243960-1 is not prime.  Res64: C029AA629179E72E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:27:06]
917*2^1243960-1 is not prime.  Res64: 6EDAFF25BEE4D033  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:27:10]
989*2^1243960-1 is not prime.  Res64: 8A424EF7DC3593C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:27:11]
645*2^1243961-1 is not prime.  Res64: D300DC6E5BC6DE65  Time : 0.0 sec.
user=vaughan
[2013-04-04 20:36:15]
717*2^1243960-1 is not prime.  Res64: 48C86F4732E48AF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:44:48]
649*2^1243961-1 is not prime.  Res64: 260D8503BC419BDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:44:48]
861*2^1243961-1 is not prime.  Res64: 0C05C62860E7A807  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:44:50]
925*2^1243961-1 is not prime.  Res64: 961A4507B61348E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 20:44:51]
677*2^1243962-1 is not prime.  Res64: B5387103ABB83412  Time : 0.0 sec.
user=juhehe
[2013-04-04 20:51:20]
995*2^1243958-1 is not prime.  Res64: FB30714907654A05  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:02:29]
791*2^1243962-1 is not prime.  Res64: C4308B55393B1856  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:02:30]
691*2^1243963-1 is not prime.  Res64: 56BEE5841AB8A7F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:02:31]
977*2^1243962-1 is not prime.  Res64: 27E941E22526A19C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:02:31]
853*2^1243963-1 is not prime.  Res64: C691927BE692FEB3  Time : 0.0 sec.
user=vaughan
[2013-04-04 21:14:08]
683*2^1243962-1 is not prime.  Res64: 5564EA863F8C738F  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:20:33]
665*2^1243964-1 is not prime.  Res64: 2F1E6F5E459C96D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:20:33]
687*2^1243964-1 is not prime.  Res64: C9031CCD83E7A103  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:20:35]
743*2^1243964-1 is not prime.  Res64: 1B1CCC99D9ADD4A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:20:35]
767*2^1243964-1 is not prime.  Res64: 67B94404F604562E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:38:12]
843*2^1243964-1 is not prime.  Res64: 2AF6C66F32DBC2A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:38:13]
855*2^1243964-1 is not prime.  Res64: E06A0C620773DCE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:38:14]
935*2^1243964-1 is not prime.  Res64: 73A5C7503F8735D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:38:15]
945*2^1243964-1 is not prime.  Res64: 3D9624F070ADF5C8  Time : 0.0 sec.
user=juhehe
[2013-04-04 21:51:50]
885*2^1243963-1 is not prime.  Res64: 48D9D0B8546AD27B  Time : 0.0 sec.
user=vaughan
[2013-04-04 21:52:05]
813*2^1243964-1 is not prime.  Res64: D962636A33E15218  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:55:55]
627*2^1243965-1 is not prime.  Res64: CC8EF881EFC0C5A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:55:55]
709*2^1243965-1 is not prime.  Res64: D6E14C0EB2124C9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:55:55]
669*2^1243965-1 is not prime.  Res64: 50E719406F09A222  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 21:55:56]
889*2^1243965-1 is not prime.  Res64: 31BDD2EFCF9D3B1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:13:37]
675*2^1243966-1 is not prime.  Res64: FE9FB103703B17CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:13:37]
887*2^1243966-1 is not prime.  Res64: 6E33A1BDA0C9667E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:13:38]
903*2^1243966-1 is not prime.  Res64: 3B15B23BFA159C8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:13:38]
897*2^1243966-1 is not prime.  Res64: 5EE06630AD01AA63  Time : 0.0 sec.
user=vaughan
[2013-04-04 22:29:59]
617*2^1243966-1 is not prime.  Res64: 671D46E01157B7A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:31:33]
911*2^1243966-1 is not prime.  Res64: DEBC3011AD7EEC4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:31:33]
957*2^1243966-1 is not prime.  Res64: CD7A3AABA3C85FDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:31:34]
603*2^1243967-1 is not prime.  Res64: 894429082E7D1B11  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:31:35]
823*2^1243967-1 is not prime.  Res64: 2925B2629B3CADC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:49:10]
939*2^1243967-1 is not prime.  Res64: 5216F581DA153C70  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:49:11]
979*2^1243967-1 is not prime.  Res64: E068E9C145729D96  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:49:12]
699*2^1243968-1 is not prime.  Res64: DC326496D38ECAA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 22:49:12]
723*2^1243968-1 is not prime.  Res64: C4CF4A524F04EE45  Time : 0.0 sec.
user=juhehe
[2013-04-04 22:53:19]
603*2^1243966-1 is not prime.  Res64: 2E3BEC5A04A9D48B  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:06:50]
867*2^1243968-1 is not prime.  Res64: B437F41FCBB38B62  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:06:51]
619*2^1243969-1 is not prime.  Res64: 28F76239FCB33750  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:06:52]
601*2^1243969-1 is not prime.  Res64: 14E356F9583BBEAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:06:52]
639*2^1243969-1 is not prime.  Res64: 9B6F9C1D24580B0F  Time : 0.0 sec.
user=vaughan
[2013-04-04 23:07:54]
831*2^1243967-1 is not prime.  Res64: DC34545D310A7259  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:24:40]
945*2^1243969-1 is not prime.  Res64: 8C3EFFE3450DCAFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:24:40]
957*2^1243969-1 is not prime.  Res64: 57C1B0B9A3CE08BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:24:41]
987*2^1243969-1 is not prime.  Res64: FE0F4F05E97C977C  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:24:42]
641*2^1243970-1 is not prime.  Res64: 4DD5D7BBCBAB2365  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:42:24]
885*2^1243970-1 is not prime.  Res64: A1D8799F11C32ADA  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:42:24]
945*2^1243970-1 is not prime.  Res64: 768285CAA279956A  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:42:25]
709*2^1243971-1 is not prime.  Res64: EF0B290F20012732  Time : 0.0 sec.
user=mdettweiler
[2013-04-04 23:42:26]
891*2^1243971-1 is not prime.  Res64: D8C88F3661A1549F  Time : 0.0 sec.
user=vaughan
[2013-04-04 23:45:46]
875*2^1243970-1 is not prime.  Res64: BDAC7F408CA14545  Time : 0.0 sec.
user=juhehe
[2013-04-04 23:55:02]
811*2^1243969-1 is not prime.  Res64: 08E2DAC018E64BC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:00:04]
931*2^1243971-1 is not prime.  Res64: 9921174433582B2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:00:05]
955*2^1243971-1 is not prime.  Res64: B73797A069BACC9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:00:05]
909*2^1243971-1 is not prime.  Res64: 9993C27D9291096A  Time : 0.0 sec.
user=mdettweiler
[2013-04-05 00:00:06]
635*2^1243972-1 is not prime.  Res64: 7B10807F42488482  Time : 0.0 sec.