user=mdettweiler
[2013-09-05 10:41:20]
743*2^1252400-1 is not prime.  Res64: 17748A8654CF23AF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:41:21]
893*2^1252400-1 is not prime.  Res64: 9D48C9A3ECE6BDA1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:50:08]
963*2^1252400-1 is not prime.  Res64: E894D3216AD0BDF8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:50:09]
649*2^1252401-1 is not prime.  Res64: 832E79833E4CF551  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:56:48]
745*2^1252401-1 is not prime.  Res64: EB8CAF290084A40A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:56:49]
837*2^1252401-1 is not prime.  Res64: 9A6A78213E9744A9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:58:24]
861*2^1252401-1 is not prime.  Res64: 5288DB637454BEB3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 10:58:24]
921*2^1252401-1 is not prime.  Res64: FCB7C307F7CCC969  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:03:21]
949*2^1252401-1 is not prime.  Res64: EE6CE415C36F46B4  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:03:23]
955*2^1252401-1 is not prime.  Res64: 8A9D38E4E6F9CAE8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:12:07]
979*2^1252401-1 is not prime.  Res64: 470273202686E903  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:12:08]
999*2^1252401-1 is not prime.  Res64: 30F95EE7B0DF4AF5  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:16:50]
651*2^1252402-1 is not prime.  Res64: F091D3E6733F1078  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:16:51]
717*2^1252402-1 is not prime.  Res64: 40D9B98AD28D4513  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:19:28]
731*2^1252402-1 is not prime.  Res64: 0D86D24B94252BA7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:19:29]
887*2^1252402-1 is not prime.  Res64: 10C65064D24E5905  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:24:23]
957*2^1252402-1 is not prime.  Res64: CA45A981A8BF822B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:24:23]
675*2^1252403-1 is not prime.  Res64: 04A13ABE5FE9B4C8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:32:07]
693*2^1252403-1 is not prime.  Res64: 5D29E342E37961DF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:32:08]
741*2^1252403-1 is not prime.  Res64: 3427B13B4EF598BE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:36:48]
759*2^1252403-1 is not prime.  Res64: 3E279835A0285640  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:36:49]
627*2^1252404-1 is not prime.  Res64: 3C8F591B6068E143  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:39:21]
705*2^1252404-1 is not prime.  Res64: 45B1AEA3DAC75213  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:39:22]
773*2^1252404-1 is not prime.  Res64: 28561213B770451D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:45:13]
909*2^1252404-1 is not prime.  Res64: FD40160DB753B4FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:45:13]
625*2^1252405-1 is not prime.  Res64: FF604179E910F9A8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:51:55]
777*2^1252405-1 is not prime.  Res64: EA794E87BC6A57B3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:51:56]
805*2^1252405-1 is not prime.  Res64: 793E89C536353F28  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:56:38]
871*2^1252405-1 is not prime.  Res64: 9C8D01149B7DF2D9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 11:56:39]
877*2^1252405-1 is not prime.  Res64: 6CD5CFF2D6FFF31D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:01:02]
955*2^1252405-1 is not prime.  Res64: 677A9994E2DFC6E1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:01:03]
957*2^1252405-1 is not prime.  Res64: 8281D77E919E0BD3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:05:57]
975*2^1252405-1 is not prime.  Res64: 3967A36446218339  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:05:58]
617*2^1252406-1 is not prime.  Res64: F874208F0BEF5F83  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:12:45]
755*2^1252406-1 is not prime.  Res64: 6882B3F04DB5627A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:12:46]
887*2^1252406-1 is not prime.  Res64: 48528DC5E0357E08  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:16:33]
669*2^1252407-1 is not prime.  Res64: BB987EA11A293182  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:16:34]
693*2^1252407-1 is not prime.  Res64: 2DC74D3C783820FA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:20:55]
739*2^1252407-1 is not prime.  Res64: B8F833702E29DA74  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:20:55]
775*2^1252407-1 is not prime.  Res64: 867253A1DE1FEC69  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:26:04]
781*2^1252407-1 is not prime.  Res64: 2C8881B68351EA5B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:26:05]
843*2^1252407-1 is not prime.  Res64: 1A5BC42B51021822  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:33:42]
871*2^1252407-1 is not prime.  Res64: 44AFC26D16C04677  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:33:42]
973*2^1252407-1 is not prime.  Res64: 3211EA648BB79AAB  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:37:28]
991*2^1252407-1 is not prime.  Res64: 28DC82DF2D52BF7C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:37:28]
623*2^1252408-1 is not prime.  Res64: F280CEB63063DCB0  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:40:58]
713*2^1252408-1 is not prime.  Res64: C911FE5422AF2FBB  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:40:58]
813*2^1252408-1 is not prime.  Res64: E1308B9C9F734195  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:46:09]
849*2^1252408-1 is not prime.  Res64: 99A9E467097C0121  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:46:10]
869*2^1252408-1 is not prime.  Res64: 7EDF63A0946F4BEE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:53:51]
875*2^1252408-1 is not prime.  Res64: 4A86307EE273B64C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:53:51]
619*2^1252409-1 is not prime.  Res64: 6FF701D6C210F38C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:57:26]
691*2^1252409-1 is not prime.  Res64: 20F9B1ECBC772C08  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 12:57:26]
721*2^1252409-1 is not prime.  Res64: 5891295A3FA44357  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:00:50]
729*2^1252409-1 is not prime.  Res64: EEFF8F5C4BF631F7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:00:52]
745*2^1252409-1 is not prime.  Res64: 68C85EDD9BE74BE8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:07:52]
885*2^1252409-1 is not prime.  Res64: 5D5F7B7CEC5245DA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:07:53]
969*2^1252409-1 is not prime.  Res64: AEEA392C160B1367  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:13:44]
635*2^1252410-1 is not prime.  Res64: 0C73BDBA93F9E5E1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:13:44]
647*2^1252410-1 is not prime.  Res64: 7444C5E2C1EC293C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:17:20]
725*2^1252410-1 is not prime.  Res64: B38BAA5E823CDCEA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:17:21]
767*2^1252410-1 is not prime.  Res64: D82A24E70692869C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:20:48]
783*2^1252410-1 is not prime.  Res64: 8FE57DBDA2807490  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:20:49]
797*2^1252410-1 is not prime.  Res64: 2F6D3C1EA80F3D4D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:28:40]
875*2^1252410-1 is not prime.  Res64: 63CEEA506995491E  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:28:40]
887*2^1252410-1 is not prime.  Res64: B556B3C71F93D670  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:35:28]
933*2^1252410-1 is not prime.  Res64: 2978413663C9B52C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:35:29]
941*2^1252410-1 is not prime.  Res64: FE249F4C3B61318F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:38:11]
977*2^1252410-1 is not prime.  Res64: 5B392CD361AD6E42  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:38:11]
619*2^1252411-1 is not prime.  Res64: 2BB9D05A32E215C6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:40:36]
709*2^1252411-1 is not prime.  Res64: E66FFAF46C496495  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:40:36]
735*2^1252411-1 is not prime.  Res64: 12AB707FC7230073  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:48:24]
741*2^1252411-1 is not prime.  Res64: 175275D18208A09D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:48:24]
873*2^1252411-1 is not prime.  Res64: 9EFC9BD5308EBE50  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:56:14]
885*2^1252411-1 is not prime.  Res64: E7AF324B39B6375B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:56:14]
615*2^1252412-1 is not prime.  Res64: B1D233D1642E9E99  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:58:01]
669*2^1252412-1 is not prime.  Res64: F661BB398C3C6577  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 13:58:01]
693*2^1252412-1 is not prime.  Res64: 307647E82C354DE2  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:00:24]
717*2^1252412-1 is not prime.  Res64: AE4D168419FA1202  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:00:25]
749*2^1252412-1 is not prime.  Res64: A1EBDC84BFEC5F42  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:09:26]
819*2^1252412-1 is not prime.  Res64: 148203C69F5E29AE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:09:27]
915*2^1252412-1 is not prime.  Res64: 2DA5BC8434AFF6FA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:16:29]
627*2^1252413-1 is not prime.  Res64: AA9F076A757B7CFE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:16:29]
679*2^1252413-1 is not prime.  Res64: 042DFC28359D8B45  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:20:16]
741*2^1252413-1 is not prime.  Res64: 9BF69C00CC3135D7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:20:17]
927*2^1252413-1 is not prime.  Res64: 7400EA398935C7A3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:21:41]
675*2^1252414-1 is not prime.  Res64: 40B9814E4E61C973  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:21:41]
705*2^1252414-1 is not prime.  Res64: 91F83C54F9B14AF6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:33:01]
987*2^1252414-1 is not prime.  Res64: E851897B9C95CDC4  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:33:02]
655*2^1252415-1 is not prime.  Res64: F64DF6282778186A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:40:02]
735*2^1252415-1 is not prime.  Res64: BFEDA3746B22D20A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:40:02]
843*2^1252415-1 is not prime.  Res64: 3EDF51DB8CB6360B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:44:06]
623*2^1252416-1 is not prime.  Res64: 8C7AAE88A2A4AE93  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:44:06]
675*2^1252416-1 is not prime.  Res64: 7616855A3577EFA6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:44:12]
861*2^1252415-1 is not prime.  Res64: 82422B95274EBC23  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:44:13]
963*2^1252415-1 is not prime.  Res64: 4E51ED77734D7E17  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:54:00]
725*2^1252416-1 is not prime.  Res64: 132D6A6FA38522E5  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 14:54:00]
837*2^1252416-1 is not prime.  Res64: CB926F2E8F02B659  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:02:53]
909*2^1252416-1 is not prime.  Res64: 263FC0E1DF422B68  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:02:54]
923*2^1252416-1 is not prime.  Res64: 30AB5735DADEFA5C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:05:53]
999*2^1252416-1 is not prime.  Res64: 33022F05AAE6AFEF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:05:54]
609*2^1252417-1 is not prime.  Res64: B028CB08D251938B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:06:44]
947*2^1252416-1 is not prime.  Res64: 2C11C00315DA1847  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:06:45]
969*2^1252416-1 is not prime.  Res64: 306E64E3C31306FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:14:33]
687*2^1252417-1 is not prime.  Res64: 2F4520BD7B585612  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:14:33]
867*2^1252417-1 is not prime.  Res64: CD865F85E268A1B9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:24:27]
889*2^1252417-1 is not prime.  Res64: 94E6C289B37F48D1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:24:27]
623*2^1252418-1 is not prime.  Res64: DA6278B4A2794ECC  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:26:23]
771*2^1252418-1 is not prime.  Res64: C1EF26F3B7901070  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:26:24]
843*2^1252418-1 is not prime.  Res64: D9C84F2A425E4682  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:28:03]
887*2^1252418-1 is not prime.  Res64: 795244C33EE9D7B4  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:28:03]
615*2^1252419-1 is not prime.  Res64: 15D2C824E79B914F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:36:59]
955*2^1252419-1 is not prime.  Res64: 1BFAEBC89FF48CDF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:37:00]
961*2^1252419-1 is not prime.  Res64: 7021F1005193F678  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:45:51]
975*2^1252419-1 is not prime.  Res64: EEA335A364983806  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:45:52]
675*2^1252420-1 is not prime.  Res64: 8D329B8305BD1B8C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:46:36]
797*2^1252420-1 is not prime.  Res64: C4F6934330AD1FBE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:46:37]
827*2^1252420-1 is not prime.  Res64: 8799199533BE1D5C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:49:19]
845*2^1252420-1 is not prime.  Res64: 06E34BD395A05971  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:49:19]
989*2^1252420-1 is not prime.  Res64: CA1744B062D5E7D2  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:58:05]
999*2^1252420-1 is not prime.  Res64: 1C4DA5EBB5281752  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 15:58:05]
697*2^1252421-1 is not prime.  Res64: 89C5CE8A36BCC531  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:06:07]
711*2^1252421-1 is not prime.  Res64: 8BE8F36552DB6CCE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:06:07]
801*2^1252421-1 is not prime.  Res64: B58BDBC31308CEEE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:07:40]
855*2^1252421-1 is not prime.  Res64: 4995A811DB55E511  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:07:41]
907*2^1252421-1 is not prime.  Res64: 0FBA4A7E58FFA576  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:11:26]
945*2^1252421-1 is not prime.  Res64: 5144EEE717AE1EBE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:11:27]
955*2^1252421-1 is not prime.  Res64: E0D1A9A0236C6674  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:18:17]
635*2^1252422-1 is not prime.  Res64: 83CD0795511694C1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:18:17]
777*2^1252422-1 is not prime.  Res64: 06EE419BF6B4D4A4  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:27:19]
947*2^1252422-1 is not prime.  Res64: 2E5D6EAB3263F522  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:27:19]
673*2^1252423-1 is not prime.  Res64: B9559FA43163D717  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:31:26]
657*2^1252424-1 is not prime.  Res64: CB514831534CE219  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:31:26]
659*2^1252424-1 is not prime.  Res64: 9AF96FBAA716967A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:38:23]
755*2^1252424-1 is not prime.  Res64: 4A42A49253046D7C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:38:23]
795*2^1252424-1 is not prime.  Res64: C6BEAE2A926C11F1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:42:16]
883*2^1252423-1 is not prime.  Res64: A6961F62270A0A6B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:42:16]
973*2^1252423-1 is not prime.  Res64: F706B30F0413B459  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:49:55]
935*2^1252424-1 is not prime.  Res64: 4C285C73E3E47C5A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:49:55]
957*2^1252424-1 is not prime.  Res64: 0AED361163B8441A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:52:11]
669*2^1252425-1 is not prime.  Res64: 2BD0AD39196F2CCA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:52:11]
685*2^1252425-1 is not prime.  Res64: 46A4C055D24744FD  Time : 0.0 sec.
user=juhehe
[2013-09-05 16:56:18]
615*2^1252424-1 is not prime.  Res64: 012B6C6F0BDD2C64  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:59:19]
699*2^1252425-1 is not prime.  Res64: 9612C50FF3239FF2  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 16:59:19]
711*2^1252425-1 is not prime.  Res64: C2D3605E79740D67  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:03:07]
735*2^1252425-1 is not prime.  Res64: 943B728A75AA3B95  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:03:08]
877*2^1252425-1 is not prime.  Res64: 8AF65318922FFD58  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:12:44]
951*2^1252425-1 is not prime.  Res64: 2E239CB46B91344A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:12:44]
999*2^1252425-1 is not prime.  Res64: 69B993ACFA206B9C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:12:59]
611*2^1252426-1 is not prime.  Res64: 4C8F09DE9281DA37  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:13:00]
675*2^1252426-1 is not prime.  Res64: F0F696B5A73A7A8F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:20:07]
737*2^1252426-1 is not prime.  Res64: 09AE0EE4CD8E5E62  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:20:07]
773*2^1252426-1 is not prime.  Res64: A5FB2A987B5858FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:24:09]
867*2^1252426-1 is not prime.  Res64: AD6F7E2822DB4ACF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:24:09]
651*2^1252427-1 is not prime.  Res64: 9C7126FDE43BE731  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:33:40]
733*2^1252427-1 is not prime.  Res64: 5185A14A19BC63B3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:33:40]
859*2^1252427-1 is not prime.  Res64: BCEB8DBE67F4BA8D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:35:37]
931*2^1252427-1 is not prime.  Res64: 11F1C7F71AB61543  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:35:37]
999*2^1252427-1 is not prime.  Res64: 3D51CE591B6222E0  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:41:45]
663*2^1252428-1 is not prime.  Res64: 688160415793845C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:41:45]
879*2^1252428-1 is not prime.  Res64: C7256AF5CF03CB87  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:45:42]
893*2^1252428-1 is not prime.  Res64: 1242006056E74C57  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:45:42]
621*2^1252429-1 is not prime.  Res64: 4F7C02BB114094FF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:54:20]
741*2^1252429-1 is not prime.  Res64: 0CC48395FAB38780  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:54:20]
829*2^1252429-1 is not prime.  Res64: BE086994AD095A37  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:57:12]
867*2^1252429-1 is not prime.  Res64: D01C1287969A2122  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 17:57:12]
885*2^1252429-1 is not prime.  Res64: A65525E590BC1957  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:02:17]
605*2^1252430-1 is not prime.  Res64: 3E402CF32C8364EB  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:02:19]
711*2^1252430-1 is not prime.  Res64: 7F6FFB6143421217  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:06:27]
747*2^1252430-1 is not prime.  Res64: 0F0479DDEB3BCC92  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:06:28]
801*2^1252430-1 is not prime.  Res64: 881847E533137D98  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:16:28]
833*2^1252430-1 is not prime.  Res64: 3A7E0D4C34F4DD0D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:16:29]
851*2^1252430-1 is not prime.  Res64: 4B8C909ABD43512B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:21:48]
867*2^1252430-1 is not prime.  Res64: 54FA6D790E0C1875  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:21:49]
885*2^1252430-1 is not prime.  Res64: 3AADA17A6F462176  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:27:26]
893*2^1252430-1 is not prime.  Res64: 3204CD9BF1A391B9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:27:27]
735*2^1252431-1 is not prime.  Res64: B5601D34C41853AA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:29:47]
861*2^1252431-1 is not prime.  Res64: FB710FDE9F5FDC1F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:29:47]
865*2^1252431-1 is not prime.  Res64: 5D574009C0A11F23  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:41:44]
913*2^1252431-1 is not prime.  Res64: 4EB4952CBEBC3516  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:41:45]
951*2^1252431-1 is not prime.  Res64: 46A2BF7AB32F4681  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:44:42]
975*2^1252431-1 is not prime.  Res64: 29A816C8B4004E24  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:44:43]
699*2^1252432-1 is not prime.  Res64: E7D3BDB126273B53  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:49:14]
719*2^1252432-1 is not prime.  Res64: 9A54243A82C0BAED  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:49:15]
843*2^1252432-1 is not prime.  Res64: BB1C75DCA356567C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:52:46]
995*2^1252432-1 is not prime.  Res64: 2454E1E62B5EE645  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 18:52:47]
649*2^1252433-1 is not prime.  Res64: 9A8DFD271C5E7444  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:03:58]
657*2^1252433-1 is not prime.  Res64: A2C327E5E3481260  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:03:59]
669*2^1252433-1 is not prime.  Res64: F550B3CB8F2C5AE3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:06:18]
691*2^1252433-1 is not prime.  Res64: B5EFD72C122F7E27  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:06:18]
789*2^1252433-1 is not prime.  Res64: A850ED77056C9231  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:11:54]
937*2^1252433-1 is not prime.  Res64: 6ECD0DD0FEF8E051  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:11:54]
635*2^1252434-1 is not prime.  Res64: DBAC0AD12FA24304  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:13:51]
663*2^1252434-1 is not prime.  Res64: 26AEC47E89E9EE20  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:13:51]
681*2^1252434-1 is not prime.  Res64: 1D09900F45E7D8FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:24:12]
725*2^1252434-1 is not prime.  Res64: 8FDA86B9E9AD47A3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:24:13]
783*2^1252434-1 is not prime.  Res64: 4C97D47E1C979596  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:26:23]
797*2^1252434-1 is not prime.  Res64: 345E11B6B2F7C50B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:26:24]
861*2^1252434-1 is not prime.  Res64: DFA9CFA695C754ED  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:32:57]
873*2^1252434-1 is not prime.  Res64: C049B18760FAA1F6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:32:58]
891*2^1252434-1 is not prime.  Res64: D9B6D7869B1552D2  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:33:55]
783*2^1252435-1 is not prime.  Res64: BDEC3E33D6780F75  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:33:55]
793*2^1252435-1 is not prime.  Res64: E3FB05DF0D79A3DA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:44:17]
819*2^1252435-1 is not prime.  Res64: 6C4B3E2E65718DC8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:44:18]
829*2^1252435-1 is not prime.  Res64: EDE2F32F49DC991D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:47:24]
853*2^1252435-1 is not prime.  Res64: EAA06090866D9532  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:47:25]
943*2^1252435-1 is not prime.  Res64: C9C3EEE5033DAA83  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:53:55]
961*2^1252435-1 is not prime.  Res64: 570C4D605F1C98B5  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:53:55]
677*2^1252436-1 is not prime.  Res64: E1029D2A823C7027  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:54:00]
693*2^1252436-1 is not prime.  Res64: 2EB1547057C83F74  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 19:54:00]
735*2^1252436-1 is not prime.  Res64: 8A3911E38F4E7ECE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:04:22]
743*2^1252436-1 is not prime.  Res64: CCA916DAE5C752FD  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:04:23]
785*2^1252436-1 is not prime.  Res64: 9328836BF483E229  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:07:52]
825*2^1252436-1 is not prime.  Res64: EF696DF8CB6C205A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:07:52]
839*2^1252436-1 is not prime.  Res64: 06EAF2FA6F3390E7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:14:40]
651*2^1252437-1 is not prime.  Res64: 15B84B26AB168221  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:14:40]
777*2^1252437-1 is not prime.  Res64: 4241C9CB7453B6DC  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:15:40]
875*2^1252436-1 is not prime.  Res64: C228D097DB9DE504  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:15:40]
923*2^1252436-1 is not prime.  Res64: A3814E6FEA7984F7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:26:23]
817*2^1252437-1 is not prime.  Res64: B6D9F01AA129574A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:26:24]
885*2^1252437-1 is not prime.  Res64: 5B3F9F721298477D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:30:30]
927*2^1252437-1 is not prime.  Res64: C712D2C2317FD795  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:30:30]
961*2^1252437-1 is not prime.  Res64: F32DC0F292C1F4E9  Time : 0.0 sec.
user=juhehe
[2013-09-05 20:35:42]
705*2^1252427-1 is not prime.  Res64: 4955F8A3072FB6CE  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:36:01]
731*2^1252438-1 is not prime.  Res64: 60D361DA11D38F3F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:36:01]
765*2^1252438-1 is not prime.  Res64: 3ACF707CB4349BE0  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:36:07]
975*2^1252437-1 is not prime.  Res64: BB839F6CFF361E0F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:36:07]
647*2^1252438-1 is not prime.  Res64: 36B2A5F0FC318997  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:46:44]
827*2^1252438-1 is not prime.  Res64: DA5BBF228E25F493  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:46:44]
861*2^1252438-1 is not prime.  Res64: EE194983C6152441  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:52:32]
863*2^1252438-1 is not prime.  Res64: 3A85249A8F2ADF8F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:52:32]
951*2^1252438-1 is not prime.  Res64: DF14D0540799D784  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:57:39]
711*2^1252439-1 is not prime.  Res64: BB6A1C75417C0852  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:57:40]
735*2^1252439-1 is not prime.  Res64: B8F5683151E04F1F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:58:19]
987*2^1252438-1 is not prime.  Res64: AF2FFAA67337DD58  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 20:58:20]
615*2^1252439-1 is not prime.  Res64: E88ED377F7D12B93  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:07:54]
789*2^1252439-1 is not prime.  Res64: 038CEF113F2D5080  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:07:56]
813*2^1252439-1 is not prime.  Res64: 766B42FBAF75FE78  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:12:41]
831*2^1252439-1 is not prime.  Res64: E2B003DFBE340967  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:12:42]
859*2^1252439-1 is not prime.  Res64: 97E079514B64C45B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:17:46]
861*2^1252439-1 is not prime.  Res64: 2B701865BC87A50B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:17:47]
865*2^1252439-1 is not prime.  Res64: 99BBD063F39B1301  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:20:20]
883*2^1252439-1 is not prime.  Res64: 666F20D6A5D82902  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:20:21]
999*2^1252439-1 is not prime.  Res64: 0FAD6861C386275C  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:27:50]
707*2^1252440-1 is not prime.  Res64: 4824B82FBBCC384B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:27:50]
747*2^1252440-1 is not prime.  Res64: 91E1988363528C67  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:32:32]
753*2^1252440-1 is not prime.  Res64: 5A50BB271B3867F6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:32:32]
825*2^1252440-1 is not prime.  Res64: 9A39584404D822CA  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:38:34]
917*2^1252440-1 is not prime.  Res64: E9D3BC97B8A9E14F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:38:35]
607*2^1252441-1 is not prime.  Res64: 5C151E6E9A0910F1  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:40:08]
717*2^1252441-1 is not prime.  Res64: 17642A6191ADB920  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:40:09]
741*2^1252441-1 is not prime.  Res64: 3191320D5620E656  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:48:36]
747*2^1252441-1 is not prime.  Res64: 9096DBD07F0FE9C8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:48:37]
957*2^1252441-1 is not prime.  Res64: 2C3296D69B567F57  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:53:19]
967*2^1252441-1 is not prime.  Res64: 7FA83F1230C117D8  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:53:20]
617*2^1252442-1 is not prime.  Res64: 23B8D3188E8CC81E  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:58:31]
671*2^1252442-1 is not prime.  Res64: 28BC7A1AB9D58406  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 21:58:32]
701*2^1252442-1 is not prime.  Res64: C8204C71F7736652  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:00:12]
713*2^1252442-1 is not prime.  Res64: 3CBE6D8EFA499D23  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:00:13]
741*2^1252442-1 is not prime.  Res64: 2B471A3F7C26B391  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:08:54]
767*2^1252442-1 is not prime.  Res64: 86A5D26242D546F6  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:08:55]
827*2^1252442-1 is not prime.  Res64: A99D3AF51730AC0F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:16:05]
935*2^1252442-1 is not prime.  Res64: 2AE4A642FD8D8967  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:16:05]
945*2^1252442-1 is not prime.  Res64: FB02EB8A69F78DC7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:21:10]
963*2^1252442-1 is not prime.  Res64: 39964F255CD27E21  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:21:10]
981*2^1252442-1 is not prime.  Res64: 462CEF2187AE0604  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:22:37]
983*2^1252442-1 is not prime.  Res64: DF690A7550FD4CD7  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:22:37]
995*2^1252442-1 is not prime.  Res64: 577BF3F21138774A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:29:13]
613*2^1252443-1 is not prime.  Res64: 2B47F247D09C7CD3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:29:14]
615*2^1252443-1 is not prime.  Res64: B7FBD3704CF348B3  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:36:17]
703*2^1252443-1 is not prime.  Res64: 727B0B73DE1B3993  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:36:18]
819*2^1252443-1 is not prime.  Res64: A438CBC071502E86  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:43:41]
609*2^1252444-1 is not prime.  Res64: E59899F8AEB4315E  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:43:42]
707*2^1252444-1 is not prime.  Res64: 377125603060B793  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:44:21]
955*2^1252443-1 is not prime.  Res64: 04F4243BAB70FB4A  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:44:21]
985*2^1252443-1 is not prime.  Res64: D86C3E781EFD7ADF  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:49:55]
755*2^1252444-1 is not prime.  Res64: 8E7C75D71F3A7FC9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:49:55]
783*2^1252444-1 is not prime.  Res64: 0B1E27F9FA20787E  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:57:50]
827*2^1252444-1 is not prime.  Res64: 621E5336C0256D20  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 22:57:50]
857*2^1252444-1 is not prime.  Res64: A5D20D34BAFB529F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:05:20]
669*2^1252445-1 is not prime.  Res64: 3B6E387CC176CB23  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:05:20]
757*2^1252445-1 is not prime.  Res64: 2C7C9E15B33F88FD  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:05:45]
995*2^1252444-1 is not prime.  Res64: B1EBB5D7CDC30F25  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:05:46]
607*2^1252445-1 is not prime.  Res64: C9E88B28E8F7D2B9  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:10:37]
789*2^1252445-1 is not prime.  Res64: AE80FC905FB35D58  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:10:38]
831*2^1252445-1 is not prime.  Res64: 174755BDE304DB2F  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:20:40]
885*2^1252445-1 is not prime.  Res64: 2BFED869A71ED0F4  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:20:41]
907*2^1252445-1 is not prime.  Res64: 1873C936F787C264  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:26:08]
707*2^1252446-1 is not prime.  Res64: 7BDDE048CB0EF992  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:26:09]
783*2^1252446-1 is not prime.  Res64: 93A94193A3F82E46  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:28:22]
881*2^1252446-1 is not prime.  Res64: 2B579CF0B0D9E35E  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:28:22]
971*2^1252446-1 is not prime.  Res64: 9A00BC79F15D68F0  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:32:02]
843*2^1252447-1 is not prime.  Res64: 2511C3DC17438417  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:32:03]
883*2^1252447-1 is not prime.  Res64: EC54E4B0D28C7DE0  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:42:36]
885*2^1252447-1 is not prime.  Res64: FFF1A96DCC7BCEDB  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:42:36]
913*2^1252447-1 is not prime.  Res64: A867CA43AC1FB0E9  Time : 0.0 sec.
user=juhehe
[2013-09-05 23:46:59]
615*2^1252447-1 is not prime.  Res64: 56AB4366F18BC57D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:48:00]
919*2^1252447-1 is not prime.  Res64: 9E225B1ED63CF303  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:48:00]
931*2^1252447-1 is not prime.  Res64: FBFA98B89C7E6D5B  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:50:16]
939*2^1252447-1 is not prime.  Res64: D1D99305C23866EC  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:50:17]
979*2^1252447-1 is not prime.  Res64: 5E09369870CA9565  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:52:04]
615*2^1252448-1 is not prime.  Res64: ABE438819741750D  Time : 0.0 sec.
user=mdettweiler
[2013-09-05 23:52:05]
633*2^1252448-1 is not prime.  Res64: 5FB4DB64B6FF92A8  Time : 0.0 sec.