user=juhehe
[2013-04-12 00:10:00]
627*2^1244430-1 is not prime.  Res64: 1B338122CA7D9B3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:13:49]
639*2^1244431-1 is not prime.  Res64: C4F0E3CEFC75E6DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:13:50]
775*2^1244431-1 is not prime.  Res64: A40D34CCF6380BD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:13:51]
705*2^1244431-1 is not prime.  Res64: 7883590BE3270DFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:13:52]
841*2^1244431-1 is not prime.  Res64: 2673F618463BC8B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:31:35]
871*2^1244431-1 is not prime.  Res64: DA15B2B88760FED9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:31:35]
873*2^1244431-1 is not prime.  Res64: 8F30A9FDD25E2553  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:31:36]
925*2^1244431-1 is not prime.  Res64: 356CE405A8F76A9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:31:36]
931*2^1244431-1 is not prime.  Res64: 8C69D6873B149385  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:49:12]
605*2^1244432-1 is not prime.  Res64: 5697BFC772B0299E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:49:12]
797*2^1244432-1 is not prime.  Res64: C33A1B5DCCB47154  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:49:12]
973*2^1244431-1 is not prime.  Res64: 062992FF00DB3186  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 00:49:12]
993*2^1244431-1 is not prime.  Res64: 88A72CA1BAE28753  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:06:50]
873*2^1244432-1 is not prime.  Res64: C0EAB77178E5BE21  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:06:50]
681*2^1244433-1 is not prime.  Res64: D495BD652A97693A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:06:50]
983*2^1244432-1 is not prime.  Res64: 7B33228D52A93639  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:06:50]
745*2^1244433-1 is not prime.  Res64: BE8FD82E322C4CE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:24:33]
759*2^1244433-1 is not prime.  Res64: BB6BE5DFD7D46F49  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:24:33]
765*2^1244433-1 is not prime.  Res64: 923994D78F981E0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:24:36]
787*2^1244433-1 is not prime.  Res64: F518778FF1585D5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:24:36]
805*2^1244433-1 is not prime.  Res64: 56A8CAC2A740BCCE  Time : 0.0 sec.
user=juhehe
[2013-04-12 01:38:12]
819*2^1244432-1 is not prime.  Res64: A149ADF3C5B52758  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:42:11]
675*2^1244434-1 is not prime.  Res64: F74528A5A9F910FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:42:11]
695*2^1244434-1 is not prime.  Res64: 1562E3243E3114F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:42:13]
833*2^1244434-1 is not prime.  Res64: BC4269B94B91BBE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:42:13]
1001*2^1244434-1 is not prime.  Res64: 886F4659409B1B2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:59:47]
645*2^1244435-1 is not prime.  Res64: 79D3AC5A17769205  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:59:48]
669*2^1244435-1 is not prime.  Res64: 7740C1B44B2C692E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:59:49]
741*2^1244435-1 is not prime.  Res64: FEB2A41049FE5979  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 01:59:49]
759*2^1244435-1 is not prime.  Res64: 76447FB7A9246486  Time : 0.0 sec.
user=juhehe
[2013-04-12 02:13:32]
889*2^1244433-1 is not prime.  Res64: 5453702092D9A7CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:17:25]
805*2^1244435-1 is not prime.  Res64: F6B011FD19AB3813  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:17:25]
861*2^1244435-1 is not prime.  Res64: 5815E95FE8C27955  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:17:26]
841*2^1244435-1 is not prime.  Res64: 3E6459A49ECB8858  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:17:26]
669*2^1244436-1 is not prime.  Res64: E5B79D297922EE00  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:35:07]
843*2^1244436-1 is not prime.  Res64: 81D601BDBAEB2C5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:35:08]
741*2^1244437-1 is not prime.  Res64: C6313B32C4B539B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:35:08]
867*2^1244436-1 is not prime.  Res64: D04280D89A85E9A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:35:08]
799*2^1244437-1 is not prime.  Res64: 2D99FBAAB8D0484F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:52:56]
805*2^1244437-1 is not prime.  Res64: 56EED2B81F5B5A41  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:52:56]
847*2^1244437-1 is not prime.  Res64: 70D01763C05BFFD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:52:57]
861*2^1244437-1 is not prime.  Res64: BD6D1F6682335872  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 02:52:57]
919*2^1244437-1 is not prime.  Res64: 0FB81E3438921EFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:10:33]
603*2^1244438-1 is not prime.  Res64: 8C4449A0B72D5EDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:10:34]
683*2^1244438-1 is not prime.  Res64: 110FA0FB596C2E8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:10:34]
645*2^1244438-1 is not prime.  Res64: E4CD65B421D37B86  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:10:34]
773*2^1244438-1 is not prime.  Res64: DC336AFC7AE29A98  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:28:12]
801*2^1244438-1 is not prime.  Res64: 551E8B3B16AAFF29  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:28:12]
861*2^1244438-1 is not prime.  Res64: 2EACCF47D2D635E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:28:13]
935*2^1244438-1 is not prime.  Res64: 39359E996F160DAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:28:14]
615*2^1244439-1 is not prime.  Res64: 4599592C6DF03BA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:45:47]
885*2^1244439-1 is not prime.  Res64: 0815C0CAA40BA2D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:45:47]
891*2^1244439-1 is not prime.  Res64: C910B7F0CA5A6408  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:45:49]
909*2^1244439-1 is not prime.  Res64: 9C7C1F1D3E9B9ECD  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 03:45:49]
955*2^1244439-1 is not prime.  Res64: D86B91163155215B  Time : 0.0 sec.
user=juhehe
[2013-04-12 03:47:39]
955*2^1244437-1 is not prime.  Res64: ECFB4BCDE449C81D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:03:23]
875*2^1244440-1 is not prime.  Res64: 1E50DC02577F2006  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:03:24]
897*2^1244440-1 is not prime.  Res64: 68F4D7ED6E23595C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:03:25]
957*2^1244440-1 is not prime.  Res64: 021FBA096B6C5C5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:03:27]
989*2^1244440-1 is not prime.  Res64: B70FFF91AFF8D7A5  Time : 0.0 sec.
user=juhehe
[2013-04-12 04:15:56]
795*2^1244439-1 is not prime.  Res64: 7E57CDD1D7274DFB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:21:06]
607*2^1244441-1 is not prime.  Res64: C0E08534B882BF54  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:21:07]
615*2^1244441-1 is not prime.  Res64: 202CC652C2040B49  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:21:09]
675*2^1244441-1 is not prime.  Res64: 27F5B0C004B4A6F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:21:09]
837*2^1244441-1 is not prime.  Res64: 22F08E60BC06C9C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:38:43]
879*2^1244441-1 is not prime.  Res64: 827CF00AEDBBC239  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:38:43]
885*2^1244441-1 is not prime.  Res64: F94C19828ECDE99C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:38:45]
949*2^1244441-1 is not prime.  Res64: 49629BD975DFA46E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:38:45]
683*2^1244442-1 is not prime.  Res64: 0D0E722A69DEACD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:56:19]
711*2^1244442-1 is not prime.  Res64: A1A66DB706754CAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:56:19]
717*2^1244442-1 is not prime.  Res64: 6705EF3FFF30F9B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:56:20]
735*2^1244442-1 is not prime.  Res64: F954ECE8AACB53A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 04:56:20]
791*2^1244442-1 is not prime.  Res64: F2714F66A0163AEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:13:54]
923*2^1244442-1 is not prime.  Res64: B22931A8A02D4C9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:13:54]
951*2^1244442-1 is not prime.  Res64: 4EEF9BDD77875E3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:13:56]
603*2^1244443-1 is not prime.  Res64: 74DE59342215AB14  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:13:56]
615*2^1244443-1 is not prime.  Res64: 69D5F8308B93F737  Time : 0.0 sec.
user=juhehe
[2013-04-12 05:24:59]
917*2^1244442-1 is not prime.  Res64: 6A42991FE35B2808  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:31:30]
639*2^1244443-1 is not prime.  Res64: 707EFD5680D82712  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:31:30]
691*2^1244443-1 is not prime.  Res64: A7E0D2B38670F392  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:31:31]
693*2^1244443-1 is not prime.  Res64: 262FD32FECCD4062  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:31:32]
699*2^1244443-1 is not prime.  Res64: BE8A8E37D7772825  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:49:04]
789*2^1244443-1 is not prime.  Res64: 93B4F992512C267B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:49:05]
813*2^1244443-1 is not prime.  Res64: 61D26D2620E7A00B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:49:06]
853*2^1244443-1 is not prime.  Res64: 81812C3E45D97151  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 05:49:07]
861*2^1244443-1 is not prime.  Res64: B67569017FC3B3DA  Time : 0.0 sec.
user=juhehe
[2013-04-12 05:50:46]
801*2^1244442-1 is not prime.  Res64: 98B317D5BF7EFAF6  Time : 0.0 sec.
user=juhehe
[2013-04-12 05:52:56]
751*2^1244443-1 is not prime.  Res64: 10E5D198670AE60E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:06:40]
901*2^1244443-1 is not prime.  Res64: 24AF8EDEA39A3F07  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:06:41]
913*2^1244443-1 is not prime.  Res64: DD9C0C0F76365DA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:06:42]
973*2^1244443-1 is not prime.  Res64: C69F8C645875694A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:06:42]
993*2^1244443-1 is not prime.  Res64: 08858A5E6310BD6D  Time : 0.0 sec.
user=juhehe
[2013-04-12 06:18:44]
741*2^1244443-1 is not prime.  Res64: 71CE4CDC1FC2CA39  Time : 0.0 sec.
user=juhehe
[2013-04-12 06:20:13]
609*2^1244444-1 is not prime.  Res64: C25862D2B8A76D1E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:24:17]
675*2^1244444-1 is not prime.  Res64: A5E4C1BE43253AAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:24:17]
677*2^1244444-1 is not prime.  Res64: 09811F3CEE698A06  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:24:19]
773*2^1244444-1 is not prime.  Res64: 1C0EA64EF4C3D669  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:24:19]
897*2^1244444-1 is not prime.  Res64: 049584B8E0B7A056  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:41:54]
957*2^1244444-1 is not prime.  Res64: A9272A7331C30674  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:41:54]
805*2^1244445-1 is not prime.  Res64: E5B78B0546D8EA7A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:41:54]
995*2^1244444-1 is not prime.  Res64: 07DF4821E0197AA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:41:55]
927*2^1244445-1 is not prime.  Res64: 29528D89D5979CBE  Time : 0.0 sec.
user=juhehe
[2013-04-12 06:53:08]
927*2^1244444-1 is not prime.  Res64: 280AC1DA542780CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:59:31]
969*2^1244445-1 is not prime.  Res64: 648B7AE9EAE82786  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:59:31]
975*2^1244445-1 is not prime.  Res64: FD62D79ED95C0A8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:59:32]
671*2^1244446-1 is not prime.  Res64: 4C9106F95F4FB84B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 06:59:32]
737*2^1244446-1 is not prime.  Res64: A43083CF68DBB4A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:17:07]
917*2^1244446-1 is not prime.  Res64: FA219223EF478B3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:17:09]
923*2^1244446-1 is not prime.  Res64: F5C53629E921C472  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:17:10]
983*2^1244446-1 is not prime.  Res64: 98817918AC1C7A19  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:17:11]
603*2^1244447-1 is not prime.  Res64: E69C83470CD8D6A7  Time : 0.0 sec.
user=juhehe
[2013-04-12 07:20:22]
891*2^1244446-1 is not prime.  Res64: 80778202D65405A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:34:49]
825*2^1244447-1 is not prime.  Res64: E351B4756C6C5BA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:34:49]
841*2^1244447-1 is not prime.  Res64: 47E7FFA167D314F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:34:50]
985*2^1244447-1 is not prime.  Res64: ECE5C2CB0F2F553E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:34:50]
991*2^1244447-1 is not prime.  Res64: 2D3001514A442E57  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:52:24]
635*2^1244448-1 is not prime.  Res64: 6E4C4AFBC345C11D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:52:25]
705*2^1244448-1 is not prime.  Res64: A5B354D3BD8A7425  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:52:26]
767*2^1244448-1 is not prime.  Res64: F5BD749335095447  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 07:52:26]
789*2^1244448-1 is not prime.  Res64: 8AEEB4D1A9E3F802  Time : 0.0 sec.
user=juhehe
[2013-04-12 07:53:17]
843*2^1244446-1 is not prime.  Res64: AF2551351E2FC410  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:10:01]
797*2^1244448-1 is not prime.  Res64: BF3F2AAEFF78637A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:10:01]
843*2^1244448-1 is not prime.  Res64: 8E381CD70CDA4E0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:10:02]
887*2^1244448-1 is not prime.  Res64: 238E9A5B9A40D9F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:10:02]
915*2^1244448-1 is not prime.  Res64: 260E142E77901657  Time : 0.0 sec.
user=juhehe
[2013-04-12 08:21:40]
633*2^1244448-1 is not prime.  Res64: 4F458FD3626F6C11  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:27:40]
601*2^1244449-1 is not prime.  Res64: 1E05D494EC97B2F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:27:40]
639*2^1244449-1 is not prime.  Res64: A74B07F49EE76515  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:27:42]
741*2^1244449-1 is not prime.  Res64: 640DB235FBA7157E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:27:43]
799*2^1244449-1 is not prime.  Res64: 2B2B029627DEC0BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:45:17]
817*2^1244449-1 is not prime.  Res64: 94BF5B01E204C710  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:45:17]
831*2^1244449-1 is not prime.  Res64: 4D9959ED0F91BE6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:45:28]
877*2^1244449-1 is not prime.  Res64: C0B4554C14298167  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 08:45:28]
999*2^1244449-1 is not prime.  Res64: 7413DF95D0C2A4CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:03:08]
753*2^1244450-1 is not prime.  Res64: 06D5B9234B629EA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:03:09]
797*2^1244450-1 is not prime.  Res64: 68C4CE56F877F6C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:03:26]
623*2^1244450-1 is not prime.  Res64: 3D05052F2312DFA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:03:26]
701*2^1244450-1 is not prime.  Res64: 0AA647C95DBE33DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:21:01]
615*2^1244451-1 is not prime.  Res64: F077BDA71672B91D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:21:01]
649*2^1244451-1 is not prime.  Res64: 17D473DAE0F1AEA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:22:08]
651*2^1244451-1 is not prime.  Res64: 5911F880956E09AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:22:08]
703*2^1244451-1 is not prime.  Res64: 394EAC177E315FB9  Time : 0.0 sec.
user=juhehe
[2013-04-12 09:33:41]
945*2^1244450-1 is not prime.  Res64: 304E46759E4DDEE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:38:45]
735*2^1244451-1 is not prime.  Res64: 28F36B0494CB7577  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:38:45]
909*2^1244451-1 is not prime.  Res64: AFE7EE5E7A6FF468  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:40:20]
975*2^1244451-1 is not prime.  Res64: 709717EFE2E8EF63  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:40:20]
615*2^1244452-1 is not prime.  Res64: 7D53BF048B8715EB  Time : 0.0 sec.
user=juhehe
[2013-04-12 09:55:52]
887*2^1244450-1 is not prime.  Res64: DD83331E1FC88D86  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:57:29]
687*2^1244452-1 is not prime.  Res64: 9BE147614910E7AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:57:29]
887*2^1244452-1 is not prime.  Res64: E9F020452F78F97D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:59:44]
929*2^1244452-1 is not prime.  Res64: 0022FF2F11EE45EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 09:59:44]
759*2^1244453-1 is not prime.  Res64: 1A250F13FA4EFDE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:15:15]
781*2^1244453-1 is not prime.  Res64: 63FA2CAA80ACD3EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:15:15]
925*2^1244453-1 is not prime.  Res64: A56898347B9A3CC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:18:09]
987*2^1244453-1 is not prime.  Res64: 3002F0CE06D17DF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:18:09]
641*2^1244454-1 is not prime.  Res64: AF06BDA199FF6DB5  Time : 0.0 sec.
user=juhehe
[2013-04-12 10:30:32]
955*2^1244451-1 is not prime.  Res64: 836133467F9EFF0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:33:11]
663*2^1244454-1 is not prime.  Res64: EAFBE696E85F6A0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:33:11]
755*2^1244454-1 is not prime.  Res64: 8D1747EFA53DB1E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:36:47]
945*2^1244454-1 is not prime.  Res64: 3CD8EC8A46AE5A9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:36:47]
951*2^1244454-1 is not prime.  Res64: EA33B2CE4CC1B451  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:51:09]
649*2^1244455-1 is not prime.  Res64: 0ADB9C92D12BBA94  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:51:10]
735*2^1244455-1 is not prime.  Res64: B551EAAD2BCC5F83  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:54:44]
741*2^1244455-1 is not prime.  Res64: 421A169BCF425A3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 10:54:44]
871*2^1244455-1 is not prime.  Res64: ED419FBFB88A1230  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:08:54]
629*2^1244456-1 is not prime.  Res64: 1817FF9940726DAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:08:54]
755*2^1244456-1 is not prime.  Res64: 5DBF4D5EDF2F3AFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:13:36]
813*2^1244456-1 is not prime.  Res64: 7BF0BA11BB5FF081  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:13:36]
843*2^1244456-1 is not prime.  Res64: 36904DC8B1B777EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:26:43]
637*2^1244457-1 is not prime.  Res64: 8A4E7D2B8BA2FE68  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:26:43]
649*2^1244457-1 is not prime.  Res64: 8CFB9935BDAD759B  Time : 0.0 sec.
user=juhehe
[2013-04-12 11:32:24]
923*2^1244456-1 is not prime.  Res64: D9AD4CAE349533F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:32:33]
741*2^1244457-1 is not prime.  Res64: 8DBE0F2764F6221F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:32:34]
747*2^1244457-1 is not prime.  Res64: B8C8E8FD89BF67D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:44:54]
819*2^1244457-1 is not prime.  Res64: 0EA0C1E0C9EDE264  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:44:54]
605*2^1244458-1 is not prime.  Res64: 2B3D5CBF11445DB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:50:49]
695*2^1244458-1 is not prime.  Res64: 9618A380BB3D3961  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 11:50:49]
765*2^1244458-1 is not prime.  Res64: 4E2037C6EAB5B18C  Time : 0.0 sec.
user=juhehe
[2013-04-12 11:57:43]
845*2^1244456-1 is not prime.  Res64: CE99D1AABF880227  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:02:34]
813*2^1244458-1 is not prime.  Res64: E8AC91598213A7A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:02:35]
843*2^1244458-1 is not prime.  Res64: B31BF3194731BDBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:08:26]
971*2^1244458-1 is not prime.  Res64: 51F1407F8C1DBB09  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:08:26]
609*2^1244459-1 is not prime.  Res64: F25D54F43F72E586  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:20:14]
771*2^1244459-1 is not prime.  Res64: AF9544213E7F3217  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:20:14]
647*2^1244460-1 is not prime.  Res64: 69F7A88DFD98BD0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:26:04]
737*2^1244460-1 is not prime.  Res64: D9628569E42EE5B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:26:05]
803*2^1244460-1 is not prime.  Res64: DBE082B74A318C70  Time : 0.0 sec.
user=juhehe
[2013-04-12 12:33:40]
645*2^1244458-1 is not prime.  Res64: F2DDCDA1D7B83B63  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:37:51]
839*2^1244460-1 is not prime.  Res64: A5F64A95FA453798  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:37:52]
857*2^1244460-1 is not prime.  Res64: C65B7FB8B987D114  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:43:42]
873*2^1244460-1 is not prime.  Res64: 111B47639DCA8EF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:43:42]
879*2^1244460-1 is not prime.  Res64: 10E407471E61DDEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:55:29]
893*2^1244460-1 is not prime.  Res64: 24DFA4A6C0E14E6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 12:55:29]
899*2^1244460-1 is not prime.  Res64: 46B1DBBA0315B999  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:01:19]
909*2^1244460-1 is not prime.  Res64: 1EB523BADC708EEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:01:20]
687*2^1244461-1 is not prime.  Res64: 09E3C136C0E4C6DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:13:06]
751*2^1244461-1 is not prime.  Res64: E983B9B8A37AE4F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:13:07]
757*2^1244461-1 is not prime.  Res64: 31226499934D2373  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:18:58]
741*2^1244462-1 is not prime.  Res64: 66B51220EC03625A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:18:58]
755*2^1244462-1 is not prime.  Res64: 6356F073209C2EB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:30:48]
831*2^1244462-1 is not prime.  Res64: 6F1837A7FA53E404  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:30:48]
639*2^1244463-1 is not prime.  Res64: A7275F2C41437F91  Time : 0.0 sec.
user=juhehe
[2013-04-12 13:33:25]
767*2^1244462-1 is not prime.  Res64: 40080C5B1F336355  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:36:39]
663*2^1244463-1 is not prime.  Res64: CEEE4EAF84246465  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:36:39]
721*2^1244463-1 is not prime.  Res64: 197CA3D4C4A3426E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:48:26]
739*2^1244463-1 is not prime.  Res64: C52DEEE351E6F35C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:48:26]
789*2^1244463-1 is not prime.  Res64: 00EC57118F080125  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:54:15]
933*2^1244463-1 is not prime.  Res64: 4939404D37BE794B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 13:54:15]
609*2^1244464-1 is not prime.  Res64: 9ACC42E8BFDC4832  Time : 0.0 sec.
user=juhehe
[2013-04-12 14:03:02]
873*2^1244463-1 is not prime.  Res64: 287F12CD0FFD1821  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:06:04]
693*2^1244464-1 is not prime.  Res64: 1B4943E9A15E0EAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:06:04]
695*2^1244464-1 is not prime.  Res64: BED13EA6B7257886  Time : 0.0 sec.
user=juhehe
[2013-04-12 14:06:44]
955*2^1244461-1 is not prime.  Res64: B3B53E15C18E8079  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:11:53]
827*2^1244464-1 is not prime.  Res64: FB31D19AB905A6DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:11:53]
905*2^1244464-1 is not prime.  Res64: 604EC8FE22AD53B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:23:42]
927*2^1244464-1 is not prime.  Res64: 8958B4CEF3680A14  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:23:43]
651*2^1244465-1 is not prime.  Res64: F6C7228CBC4752A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:29:32]
855*2^1244465-1 is not prime.  Res64: 4AA62F397575A6D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:29:32]
867*2^1244465-1 is not prime.  Res64: B41EBAE0A2D86887  Time : 0.0 sec.
user=juhehe
[2013-04-12 14:36:35]
879*2^1244463-1 is not prime.  Res64: F796CEAFF577BC32  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:41:22]
871*2^1244465-1 is not prime.  Res64: 02F37AE0BEC8A740  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:41:23]
987*2^1244465-1 is not prime.  Res64: 581A2A88D656602C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:47:11]
765*2^1244466-1 is not prime.  Res64: 43141E9BF1FBE0F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:47:11]
821*2^1244466-1 is not prime.  Res64: B20F9F85973E0589  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:59:00]
833*2^1244466-1 is not prime.  Res64: 57F3A01BAE934BA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 14:59:00]
861*2^1244466-1 is not prime.  Res64: 0C6D25E3116CACE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:04:49]
993*2^1244466-1 is not prime.  Res64: E86925962531C5D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:04:50]
609*2^1244467-1 is not prime.  Res64: EECA0BAD24BC05B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:16:39]
733*2^1244467-1 is not prime.  Res64: 4F0BF6CFBB0E1124  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:16:39]
769*2^1244467-1 is not prime.  Res64: FDD31FBE5249628D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:22:33]
793*2^1244467-1 is not prime.  Res64: 809E22DC34E6603E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:22:34]
801*2^1244467-1 is not prime.  Res64: 6505FFAF95580726  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:34:17]
871*2^1244467-1 is not prime.  Res64: 62634AC9820AD839  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:34:17]
895*2^1244467-1 is not prime.  Res64: 62C898FC936BA74D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:40:12]
855*2^1244468-1 is not prime.  Res64: 144BDAC09C6DB837  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:40:12]
945*2^1244468-1 is not prime.  Res64: 8C2240E71791710C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:51:54]
987*2^1244468-1 is not prime.  Res64: 0DC63B504631696E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:51:55]
999*2^1244468-1 is not prime.  Res64: 2304EF2BFDAB3B08  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:57:49]
781*2^1244469-1 is not prime.  Res64: 330119371EB42789  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 15:57:49]
885*2^1244469-1 is not prime.  Res64: 1A28AA16340071D2  Time : 0.0 sec.
user=juhehe
[2013-04-12 16:04:01]
969*2^1244468-1 is not prime.  Res64: 7AE3FF9D0252E8D0  Time : 0.0 sec.
user=juhehe
[2013-04-12 16:09:19]
861*2^1244467-1 is not prime.  Res64: 7A769AE3ADD7E9AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:09:32]
951*2^1244469-1 is not prime.  Res64: F4AEE921D408CBF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:09:33]
987*2^1244469-1 is not prime.  Res64: D28297A9DBB6F801  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:15:26]
687*2^1244470-1 is not prime.  Res64: C4C7ABEE85210C0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:15:27]
731*2^1244470-1 is not prime.  Res64: C2DD27CBD0736848  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:27:16]
915*2^1244470-1 is not prime.  Res64: 1F622802D2A5A09B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:27:17]
645*2^1244471-1 is not prime.  Res64: 6691F4F7FE537C5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:33:16]
669*2^1244471-1 is not prime.  Res64: 62F4687438DD7C58  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:33:17]
753*2^1244471-1 is not prime.  Res64: 4C17CFC28293F7FB  Time : 0.0 sec.
user=juhehe
[2013-04-12 16:38:52]
675*2^1244469-1 is not prime.  Res64: C5E07C1B45E11DE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:45:08]
811*2^1244471-1 is not prime.  Res64: AC77B856E3B3FC8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:45:08]
843*2^1244471-1 is not prime.  Res64: BB141CB07C3BC9B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:51:17]
885*2^1244471-1 is not prime.  Res64: AA92EE853A836831  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 16:51:17]
921*2^1244471-1 is not prime.  Res64: DEF050A0306D5FBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:02:59]
635*2^1244472-1 is not prime.  Res64: 1299F82E9FEA5EAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:03:00]
653*2^1244472-1 is not prime.  Res64: 4929FAC4CD7FCB3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:09:07]
863*2^1244472-1 is not prime.  Res64: AF8DD6E80666A86F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:09:08]
875*2^1244472-1 is not prime.  Res64: 271AB6E81395E0A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:21:20]
705*2^1244473-1 is not prime.  Res64: E1D4F1013FD791CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:21:21]
957*2^1244473-1 is not prime.  Res64: 61AF779159F24EDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:27:18]
635*2^1244474-1 is not prime.  Res64: F48B6C138E62B841  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:27:19]
683*2^1244474-1 is not prime.  Res64: 8357EDFFA40DEF7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:39:26]
711*2^1244474-1 is not prime.  Res64: AA55B83CFE8ACA54  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:39:26]
743*2^1244474-1 is not prime.  Res64: 1FD45E622E9B909B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:45:25]
773*2^1244474-1 is not prime.  Res64: 8D71A4986A1EDA2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:45:26]
935*2^1244474-1 is not prime.  Res64: A19E5380E50038B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:57:15]
741*2^1244475-1 is not prime.  Res64: 81096A46127E58CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 17:57:16]
793*2^1244475-1 is not prime.  Res64: 4A65A9D1EDE0D267  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:03:15]
849*2^1244475-1 is not prime.  Res64: 349CDD1AAE5B555D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:03:16]
895*2^1244475-1 is not prime.  Res64: DC8F4BED0B4DC10C  Time : 0.0 sec.
user=juhehe
[2013-04-12 18:11:33]
687*2^1244474-1 is not prime.  Res64: 1A0F24031CA7D083  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:15:02]
921*2^1244475-1 is not prime.  Res64: E5A816DFF60F6929  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:15:03]
991*2^1244475-1 is not prime.  Res64: 7FEFB90166251402  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:21:03]
639*2^1244476-1 is not prime.  Res64: 17AFCC0DC9FEAC65  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:21:03]
803*2^1244476-1 is not prime.  Res64: 29B81ECA3A5FEF87  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:32:58]
833*2^1244476-1 is not prime.  Res64: 7F9844D56DD7B273  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:32:58]
927*2^1244476-1 is not prime.  Res64: 593BE0D0B6BE95CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:38:58]
953*2^1244476-1 is not prime.  Res64: B275C02EA98BC724  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:38:59]
989*2^1244476-1 is not prime.  Res64: D4CA8CE2D9D96E24  Time : 0.0 sec.
user=juhehe
[2013-04-12 18:41:37]
639*2^1244475-1 is not prime.  Res64: DABD5450D4CECAFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:50:45]
999*2^1244476-1 is not prime.  Res64: 60A960F4455C536B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:50:45]
607*2^1244477-1 is not prime.  Res64: AF705416A247AD0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:56:45]
669*2^1244477-1 is not prime.  Res64: E060991DBB4E5AA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 18:56:45]
675*2^1244477-1 is not prime.  Res64: 6629AA183442158F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:08:31]
699*2^1244477-1 is not prime.  Res64: 148A8ECA0E910A3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:08:32]
741*2^1244477-1 is not prime.  Res64: BF6E222E747B6B17  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:14:32]
769*2^1244477-1 is not prime.  Res64: 0F035C5120E58531  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:14:32]
847*2^1244477-1 is not prime.  Res64: 5AE6025CAB3865E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:26:20]
925*2^1244477-1 is not prime.  Res64: E7FEA511A931223E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:26:20]
991*2^1244477-1 is not prime.  Res64: BCD86CBDEBCB424E  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:32:19]
755*2^1244478-1 is not prime.  Res64: 686759CBACEF2079  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:32:20]
791*2^1244478-1 is not prime.  Res64: 3823844E5E6EC3F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:44:07]
921*2^1244478-1 is not prime.  Res64: E6EF24FBB69D483F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:44:07]
1001*2^1244478-1 is not prime.  Res64: CE0E0DB63E6900ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:50:06]
601*2^1244479-1 is not prime.  Res64: 55009AC78ECDE2D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 19:50:06]
759*2^1244479-1 is not prime.  Res64: 7EE41AC601B24983  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:01:54]
771*2^1244479-1 is not prime.  Res64: 14E57450ECF89F09  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:01:55]
859*2^1244479-1 is not prime.  Res64: 2597C39C559B70F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:07:53]
885*2^1244479-1 is not prime.  Res64: 342F2E8CC4793759  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:07:54]
909*2^1244479-1 is not prime.  Res64: 2282C938CC3F8111  Time : 0.0 sec.
user=juhehe
[2013-04-12 20:13:45]
713*2^1244478-1 is not prime.  Res64: F2DC7B41C96AF181  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:19:45]
931*2^1244479-1 is not prime.  Res64: 6EB6F3A00E5C8E55  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:19:45]
993*2^1244479-1 is not prime.  Res64: A2675DEFBF6BD7C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:25:43]
839*2^1244480-1 is not prime.  Res64: 16B123FA86A394D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:25:43]
843*2^1244480-1 is not prime.  Res64: 640C75A38ED779E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:37:30]
977*2^1244480-1 is not prime.  Res64: 1009E0CA65818C77  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:37:30]
685*2^1244481-1 is not prime.  Res64: CFEA19DFE6E15252  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:43:30]
739*2^1244481-1 is not prime.  Res64: A250A3F38E9786E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:43:30]
751*2^1244481-1 is not prime.  Res64: 1FF3341E2E753883  Time : 0.0 sec.
user=juhehe
[2013-04-12 20:43:55]
765*2^1244479-1 is not prime.  Res64: 0E7ED8B98DBB6A74  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:55:21]
991*2^1244481-1 is not prime.  Res64: FD04B5E39ECBFF67  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 20:55:21]
617*2^1244482-1 is not prime.  Res64: 5C3938075F428565  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:01:35]
681*2^1244482-1 is not prime.  Res64: 531E181C2943AB96  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:01:36]
747*2^1244482-1 is not prime.  Res64: 3916EB001AED0599  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:13:12]
867*2^1244482-1 is not prime.  Res64: 35465B707E0ECF43  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:13:12]
947*2^1244482-1 is not prime.  Res64: EF7655840CB33A69  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:19:25]
673*2^1244483-1 is not prime.  Res64: 577CEF0E83138F2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:19:26]
703*2^1244483-1 is not prime.  Res64: BCB04C995D688235  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:30:59]
775*2^1244483-1 is not prime.  Res64: 133F1BD41E0E0E82  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:31:00]
955*2^1244483-1 is not prime.  Res64: 6DE923BEC8B6194C  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:37:08]
657*2^1244484-1 is not prime.  Res64: 51A3A4E9E360341F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:37:08]
707*2^1244484-1 is not prime.  Res64: 1ADF27A1B7B1AA89  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:48:37]
767*2^1244484-1 is not prime.  Res64: BA450BBDF7E3809A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:48:37]
809*2^1244484-1 is not prime.  Res64: 77B9A628D82B093B  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:54:45]
893*2^1244484-1 is not prime.  Res64: 7E91DE5CC6AF99B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 21:54:46]
929*2^1244484-1 is not prime.  Res64: 0C0CFD78799CAB58  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:06:24]
679*2^1244485-1 is not prime.  Res64: B25E9028B9824237  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:06:25]
919*2^1244485-1 is not prime.  Res64: 2DEB9B5D6BD18177  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:12:32]
615*2^1244486-1 is not prime.  Res64: 4A00F622800BF552  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:12:33]
645*2^1244486-1 is not prime.  Res64: D8FDFB62F19EF944  Time : 0.0 sec.
user=juhehe
[2013-04-12 22:16:05]
615*2^1244484-1 is not prime.  Res64: D8585E4152937AAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:24:02]
663*2^1244486-1 is not prime.  Res64: CBBADE37C9E150FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:24:03]
683*2^1244486-1 is not prime.  Res64: 8D37E9BACBDC4D07  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:30:11]
747*2^1244486-1 is not prime.  Res64: 4C74E8DE916789ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:30:11]
773*2^1244486-1 is not prime.  Res64: 8831F9721A13128D  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:41:47]
831*2^1244486-1 is not prime.  Res64: 22B1F4F31D5478D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:41:47]
921*2^1244486-1 is not prime.  Res64: BA699D6B4903A6AD  Time : 0.0 sec.
user=juhehe
[2013-04-12 22:46:08]
651*2^1244485-1 is not prime.  Res64: EEAFAD62EAFCFB85  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:47:50]
963*2^1244486-1 is not prime.  Res64: B9E1E7260BF7B2C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:47:51]
981*2^1244486-1 is not prime.  Res64: DCD0187B6654A8C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:59:20]
987*2^1244486-1 is not prime.  Res64: 089544BA5DFB5005  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 22:59:20]
615*2^1244487-1 is not prime.  Res64: 19D969C3DE3D7FD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:05:26]
621*2^1244487-1 is not prime.  Res64: 90468F310D203828  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:05:27]
651*2^1244487-1 is not prime.  Res64: 525F33DC862F7B18  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:16:50]
705*2^1244487-1 is not prime.  Res64: BCAD4A7F3E10B1F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:16:50]
739*2^1244487-1 is not prime.  Res64: E500815F437C005A  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:22:58]
825*2^1244487-1 is not prime.  Res64: D7C8782FCC500235  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:22:59]
861*2^1244487-1 is not prime.  Res64: 6822D0941324A91F  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:34:21]
873*2^1244487-1 is not prime.  Res64: 8ED12759A2ACDFC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:34:22]
951*2^1244487-1 is not prime.  Res64: 3940BFB993C4A2D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:40:31]
961*2^1244487-1 is not prime.  Res64: 319EE4602C656881  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:40:32]
973*2^1244487-1 is not prime.  Res64: 499161E5FC753251  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:51:49]
979*2^1244487-1 is not prime.  Res64: 9274E0220C123979  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:51:50]
985*2^1244487-1 is not prime.  Res64: 6DF64B63B7B7D438  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:57:57]
623*2^1244488-1 is not prime.  Res64: E53ECDC6A5FFE3C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-12 23:57:58]
645*2^1244488-1 is not prime.  Res64: 7D45C80098EA66CC  Time : 0.0 sec.