user=mdettweiler
[2012-09-03 00:07:08]
605*2^1228068-1 is not prime.  Res64: E95B5576AC54FC8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:07:09]
795*2^1228068-1 is not prime.  Res64: F07C3480E26072E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:17:21]
899*2^1228068-1 is not prime.  Res64: 8E5951F2AA6BDEC3  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:17:21]
927*2^1228068-1 is not prime.  Res64: 6704B3A981AFE97C  Time : 0.0 sec.
user=vaughan
[2012-09-03 00:27:12]
803*2^1228068-1 is not prime.  Res64: B3511CC94595C989  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:28:36]
625*2^1228069-1 is not prime.  Res64: 7A97BE7E79BBB1CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:28:36]
765*2^1228069-1 is not prime.  Res64: C03DB685AEAE079C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:38:18]
769*2^1228069-1 is not prime.  Res64: C51CC7B233DB8C16  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:38:18]
819*2^1228069-1 is not prime.  Res64: 39AD549E711BB823  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:49:29]
635*2^1228070-1 is not prime.  Res64: 0BDAF5426204598D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:49:29]
663*2^1228070-1 is not prime.  Res64: 2510BF9701973394  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:59:11]
753*2^1228070-1 is not prime.  Res64: 981053DEE574A10C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 00:59:11]
885*2^1228070-1 is not prime.  Res64: 90DBAA45FF70BDF5  Time : 0.0 sec.
user=vaughan
[2012-09-03 01:04:38]
829*2^1228069-1 is not prime.  Res64: E353FE39A4F04B3F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:10:23]
935*2^1228070-1 is not prime.  Res64: 878F3A359D497B15  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:10:26]
965*2^1228070-1 is not prime.  Res64: B2C832042F0346C6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:20:05]
739*2^1228071-1 is not prime.  Res64: BD894AFA3106FC79  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:20:05]
775*2^1228071-1 is not prime.  Res64: 0E1F6D191144437E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:31:27]
975*2^1228071-1 is not prime.  Res64: 641F0BACE4942276  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:31:28]
979*2^1228071-1 is not prime.  Res64: D2ED402CDD88855D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:41:00]
999*2^1228071-1 is not prime.  Res64: AAC6EF5D8855BF69  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:41:01]
617*2^1228072-1 is not prime.  Res64: 12C3A2EBE86403AB  Time : 0.0 sec.
user=vaughan
[2012-09-03 01:41:56]
969*2^1228071-1 is not prime.  Res64: 7EAA32347A70E30D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:52:26]
635*2^1228072-1 is not prime.  Res64: 6A0E83E100EC0857  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 01:52:26]
645*2^1228072-1 is not prime.  Res64: FD205A08A3126BBE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:01:54]
723*2^1228072-1 is not prime.  Res64: 6973F9AD4EB0A5CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:01:55]
743*2^1228072-1 is not prime.  Res64: BA371F43759CA232  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:13:20]
759*2^1228072-1 is not prime.  Res64: 2FE1A2A6ABA19D94  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:13:20]
825*2^1228072-1 is not prime.  Res64: A7EC9F7012600497  Time : 0.0 sec.
user=vaughan
[2012-09-03 02:19:15]
755*2^1228072-1 is not prime.  Res64: 7321DC8AE3D9DF02  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:22:49]
959*2^1228072-1 is not prime.  Res64: 25D3829647018688  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:22:50]
965*2^1228072-1 is not prime.  Res64: 40FAD833B85BAC04  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:34:19]
727*2^1228073-1 is not prime.  Res64: EEF4E5408C7B786C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:34:20]
771*2^1228073-1 is not prime.  Res64: ED4D63CF31100C27  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:43:43]
937*2^1228073-1 is not prime.  Res64: 582C111EAC0A7B64  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:43:44]
663*2^1228074-1 is not prime.  Res64: DA59D6A01B88C408  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:55:22]
683*2^1228074-1 is not prime.  Res64: 88170B34F6F227FF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 02:55:22]
941*2^1228074-1 is not prime.  Res64: CB5427E9B4982129  Time : 0.0 sec.
user=vaughan
[2012-09-03 02:56:37]
867*2^1228073-1 is not prime.  Res64: 814717A93316F727  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:04:39]
603*2^1228075-1 is not prime.  Res64: 576633B0FED1AD5B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:04:41]
625*2^1228075-1 is not prime.  Res64: F6DC4BF965091784  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:16:18]
685*2^1228075-1 is not prime.  Res64: C3242BB8B00E53F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:16:18]
871*2^1228075-1 is not prime.  Res64: 1956291BADF18EE2  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:25:43]
615*2^1228076-1 is not prime.  Res64: DA4C30982844B763  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:25:43]
623*2^1228076-1 is not prime.  Res64: F9046FE5149AAAE7  Time : 0.0 sec.
user=vaughan
[2012-09-03 03:33:54]
925*2^1228075-1 is not prime.  Res64: 2B146387BB206B63  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:37:21]
629*2^1228076-1 is not prime.  Res64: A744A67CC978C8BC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:37:22]
677*2^1228076-1 is not prime.  Res64: 8C4EACD3E7B73C81  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:46:37]
759*2^1228076-1 is not prime.  Res64: 4AF826A2D6DAB59B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:46:37]
773*2^1228076-1 is not prime.  Res64: 0A9154AAEE0BC6BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:58:37]
667*2^1228077-1 is not prime.  Res64: D59C2B11F172BAC1  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 03:58:38]
685*2^1228077-1 is not prime.  Res64: E1922760433DE869  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:07:33]
747*2^1228077-1 is not prime.  Res64: D8728A1023E576D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:07:33]
769*2^1228077-1 is not prime.  Res64: B276AEF0DB7CB171  Time : 0.0 sec.
user=vaughan
[2012-09-03 04:11:20]
615*2^1228077-1 is not prime.  Res64: 0756A37C1D6B98F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:19:33]
805*2^1228077-1 is not prime.  Res64: 7DC88CA1CFD1F953  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:19:34]
895*2^1228077-1 is not prime.  Res64: BBB8B82B486AA681  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:28:36]
975*2^1228077-1 is not prime.  Res64: 0E06C7F86BF28094  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:28:36]
991*2^1228077-1 is not prime.  Res64: F1187E930B11B87E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:40:32]
665*2^1228078-1 is not prime.  Res64: B449E8942E696239  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:40:33]
705*2^1228078-1 is not prime.  Res64: 3031A6DB8DCD68E2  Time : 0.0 sec.
user=vaughan
[2012-09-03 04:48:38]
611*2^1228078-1 is not prime.  Res64: E900796FA8A71E9D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:49:29]
791*2^1228078-1 is not prime.  Res64: 76FA8DD1DBE0CA06  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 04:49:29]
843*2^1228078-1 is not prime.  Res64: 3D50C8C8184C3AEF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:01:32]
971*2^1228078-1 is not prime.  Res64: 8B37B19EAEE91E14  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:01:33]
685*2^1228079-1 is not prime.  Res64: 5C2C501CE10501AE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:10:23]
759*2^1228079-1 is not prime.  Res64: 9B854019E2B03100  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:10:23]
825*2^1228079-1 is not prime.  Res64: 1BC9D2A8D58D220B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:22:41]
889*2^1228079-1 is not prime.  Res64: 710FF3DCFC81B731  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:22:41]
921*2^1228079-1 is not prime.  Res64: DC7B56FF23B7D366  Time : 0.0 sec.
user=vaughan
[2012-09-03 05:25:54]
703*2^1228079-1 is not prime.  Res64: 56B8FEB618FE15A9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:31:23]
943*2^1228079-1 is not prime.  Res64: 609B443382593F46  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:31:23]
993*2^1228079-1 is not prime.  Res64: 08B997BA5205155C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:43:38]
623*2^1228080-1 is not prime.  Res64: DF11F101317F78E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:43:38]
695*2^1228080-1 is not prime.  Res64: 5998308AF4C41830  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:52:17]
849*2^1228080-1 is not prime.  Res64: 2912B95D9ACEBA4B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 05:52:17]
857*2^1228080-1 is not prime.  Res64: 2CDB4692DA607D27  Time : 0.0 sec.
user=vaughan
[2012-09-03 06:03:12]
747*2^1228080-1 is not prime.  Res64: B02888C20A558444  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:04:32]
873*2^1228080-1 is not prime.  Res64: 637DE6676C46A39A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:04:35]
909*2^1228080-1 is not prime.  Res64: 6AD549AEBCF1D948  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:13:11]
975*2^1228080-1 is not prime.  Res64: 109F89A584736B46  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:13:14]
685*2^1228081-1 is not prime.  Res64: 39AC5180A0618AA8  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:25:30]
867*2^1228081-1 is not prime.  Res64: 5B9D700C79EFEF73  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:25:30]
603*2^1228082-1 is not prime.  Res64: 9114C57823BC495D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:34:37]
677*2^1228082-1 is not prime.  Res64: 610ACC711CC38160  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:34:37]
705*2^1228082-1 is not prime.  Res64: AA75F41E6E138C24  Time : 0.0 sec.
user=vaughan
[2012-09-03 06:40:37]
717*2^1228081-1 is not prime.  Res64: 1F002C14DE07ECB9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:46:26]
767*2^1228082-1 is not prime.  Res64: 1E829B8975CBE6CC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:46:26]
827*2^1228082-1 is not prime.  Res64: EAA2FD75390D3606  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:55:30]
945*2^1228082-1 is not prime.  Res64: B29770D7D71ABAEA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 06:55:31]
643*2^1228083-1 is not prime.  Res64: 5BDEB4A544F390F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:07:20]
835*2^1228083-1 is not prime.  Res64: F9744519FA617747  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:07:20]
677*2^1228084-1 is not prime.  Res64: 7654FD6587747EBB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:16:24]
717*2^1228084-1 is not prime.  Res64: 8DA5F849EAA924DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:16:25]
749*2^1228084-1 is not prime.  Res64: 82D5FB3D99FC4905  Time : 0.0 sec.
user=vaughan
[2012-09-03 07:17:54]
819*2^1228083-1 is not prime.  Res64: 90737F09F5A55FB0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:28:17]
785*2^1228084-1 is not prime.  Res64: 111CBDF1A96CCACA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:28:18]
857*2^1228084-1 is not prime.  Res64: 1C9CCFAD953EBBC0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:37:27]
863*2^1228084-1 is not prime.  Res64: 839B0E800F123769  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:37:27]
869*2^1228084-1 is not prime.  Res64: B589A5DC75E657FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:49:12]
657*2^1228085-1 is not prime.  Res64: 2644764B6CB3C2EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:49:13]
799*2^1228085-1 is not prime.  Res64: 6FAACD4A4677A9B2  Time : 0.0 sec.
user=vaughan
[2012-09-03 07:55:11]
649*2^1228085-1 is not prime.  Res64: E20FAA15A8FF836D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:58:21]
865*2^1228085-1 is not prime.  Res64: 3F1DF40A3EAE3907  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 07:58:21]
991*2^1228085-1 is not prime.  Res64: 664A2080EB5DE143  Time : 0.0 sec.
user=juhehe
[2012-09-03 08:03:44]
861*2^1228085-1 is not prime.  Res64: E29F893E7835EF77  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:10:06]
657*2^1228086-1 is not prime.  Res64: E9528B7B55887A57  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:10:09]
677*2^1228086-1 is not prime.  Res64: 4B5C4625A93807A3  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:19:15]
795*2^1228086-1 is not prime.  Res64: E1F2381ECC6EB5D9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:19:15]
851*2^1228086-1 is not prime.  Res64: 63241E3257C9DF8B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:31:10]
867*2^1228086-1 is not prime.  Res64: 608123053FC10F8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:31:10]
881*2^1228086-1 is not prime.  Res64: 4AB075863B82154F  Time : 0.0 sec.
user=vaughan
[2012-09-03 08:32:29]
747*2^1228086-1 is not prime.  Res64: 91943B8BC6FAA4DF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:40:18]
921*2^1228086-1 is not prime.  Res64: 97B4124A7A23A7C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:40:18]
735*2^1228087-1 is not prime.  Res64: 084BC80C9253BA55  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:52:04]
775*2^1228087-1 is not prime.  Res64: 604E0E9313A348FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 08:52:04]
841*2^1228087-1 is not prime.  Res64: 4BCFE3090E0E88EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:01:12]
919*2^1228087-1 is not prime.  Res64: EB39FDE6D0F35D76  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:01:13]
931*2^1228087-1 is not prime.  Res64: D59FAF98CE443871  Time : 0.0 sec.
user=vaughan
[2012-09-03 09:09:49]
915*2^1228087-1 is not prime.  Res64: 998145A20B14CE22  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:12:58]
939*2^1228087-1 is not prime.  Res64: E27AB8E848B457BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:12:58]
615*2^1228088-1 is not prime.  Res64: F647354D349ADE35  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:22:07]
663*2^1228088-1 is not prime.  Res64: 15ACBF5D134D39A6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:22:07]
813*2^1228088-1 is not prime.  Res64: 4BEA37B9C2993EA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:33:54]
867*2^1228088-1 is not prime.  Res64: 5877E372669FE164  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:33:54]
869*2^1228088-1 is not prime.  Res64: A66D4F85A6E1599F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:43:01]
963*2^1228088-1 is not prime.  Res64: CEE80D78AA5EBA3B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:43:02]
977*2^1228088-1 is not prime.  Res64: 4B5E0761A02CEDD4  Time : 0.0 sec.
user=vaughan
[2012-09-03 09:47:34]
845*2^1228088-1 is not prime.  Res64: 910139A3A8BBC9FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:54:50]
609*2^1228089-1 is not prime.  Res64: 931D7D22D65EB79C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 09:54:50]
637*2^1228089-1 is not prime.  Res64: 82081E7F44E242D9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:03:56]
691*2^1228089-1 is not prime.  Res64: 32444156348C2409  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:03:57]
705*2^1228089-1 is not prime.  Res64: 5728744292E091AE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:15:44]
847*2^1228089-1 is not prime.  Res64: 8B3A1CBE6CAD12B3  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:15:45]
885*2^1228089-1 is not prime.  Res64: F99F0512530C76AF  Time : 0.0 sec.
user=vaughan
[2012-09-03 10:24:53]
765*2^1228089-1 is not prime.  Res64: D3A4ECFB9DF533A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:24:57]
907*2^1228089-1 is not prime.  Res64: 3F09AF4B6D68F090  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:24:57]
987*2^1228089-1 is not prime.  Res64: E5EB72A015010DDE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:36:46]
701*2^1228090-1 is not prime.  Res64: CC975EA9B65AA977  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:36:46]
945*2^1228090-1 is not prime.  Res64: E582C4C48210F2FF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:45:56]
603*2^1228091-1 is not prime.  Res64: 5C935F635F6A6771  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:45:56]
669*2^1228091-1 is not prime.  Res64: FE43B25A10CFD6FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:57:43]
703*2^1228091-1 is not prime.  Res64: A23115686F4901A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 10:57:44]
909*2^1228091-1 is not prime.  Res64: 3957203DC172FA02  Time : 0.0 sec.
user=vaughan
[2012-09-03 11:02:09]
995*2^1228090-1 is not prime.  Res64: A76F14DB25D316C5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:06:54]
931*2^1228091-1 is not prime.  Res64: 161E4A4A45CEF727  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:06:56]
955*2^1228091-1 is not prime.  Res64: D00F8E88E63FF970  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:18:42]
993*2^1228091-1 is not prime.  Res64: 27054A39AE3CCC56  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:18:42]
999*2^1228091-1 is not prime.  Res64: 532E9E69577BD0AA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:28:01]
899*2^1228092-1 is not prime.  Res64: 81548F573F9C3790  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:28:02]
929*2^1228092-1 is not prime.  Res64: E43100E8A3E051B9  Time : 0.0 sec.
user=vaughan
[2012-09-03 11:39:28]
825*2^1228092-1 is not prime.  Res64: 815171502CD0010B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:39:47]
615*2^1228093-1 is not prime.  Res64: 7CB675F674E32BE9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:39:47]
619*2^1228093-1 is not prime.  Res64: 90BAA23E1F23D17E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:49:06]
687*2^1228093-1 is not prime.  Res64: 5BE97D756DD41E4A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 11:49:07]
751*2^1228093-1 is not prime.  Res64: 94FB2FD1A566F202  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:00:50]
847*2^1228093-1 is not prime.  Res64: B6F541E7D2F2DE87  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:00:51]
615*2^1228094-1 is not prime.  Res64: 6B2EDE690F85223B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:10:10]
657*2^1228094-1 is not prime.  Res64: 27CE995D3455F240  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:10:11]
671*2^1228094-1 is not prime.  Res64: CF1EA0CA93318837  Time : 0.0 sec.
user=vaughan
[2012-09-03 12:16:46]
769*2^1228093-1 is not prime.  Res64: 1FB359C31FA419E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:22:06]
683*2^1228094-1 is not prime.  Res64: FA8E9616B6D8AAE1  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:22:07]
741*2^1228094-1 is not prime.  Res64: 5336F5F980F3EBA4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:31:30]
785*2^1228094-1 is not prime.  Res64: 043B840B4469DE28  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:31:31]
957*2^1228094-1 is not prime.  Res64: 7F22EF955646A955  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:43:13]
971*2^1228094-1 is not prime.  Res64: 39D070205323ED30  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:43:14]
639*2^1228095-1 is not prime.  Res64: BA1CC6824E18F4BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:52:40]
685*2^1228095-1 is not prime.  Res64: 4385B91B487B100F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 12:52:41]
741*2^1228095-1 is not prime.  Res64: 6B85E5BCE145D457  Time : 0.0 sec.
user=vaughan
[2012-09-03 12:54:05]
965*2^1228094-1 is not prime.  Res64: 7BA2E56F21E7C6D7  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:04:21]
805*2^1228095-1 is not prime.  Res64: 03BC8B34551E1080  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:04:21]
909*2^1228095-1 is not prime.  Res64: D1A0EAC83149561A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:13:46]
979*2^1228095-1 is not prime.  Res64: A01FF22CBD69F2B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:13:47]
657*2^1228096-1 is not prime.  Res64: E3F17935B09C69EB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:25:30]
773*2^1228096-1 is not prime.  Res64: 75929DAB25546EF8  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:25:31]
833*2^1228096-1 is not prime.  Res64: 8A624428CBA51A91  Time : 0.0 sec.
user=vaughan
[2012-09-03 13:31:25]
717*2^1228096-1 is not prime.  Res64: 26FFA5A26E7DA15C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:34:59]
905*2^1228096-1 is not prime.  Res64: 8BD912C55D07619F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:34:59]
607*2^1228097-1 is not prime.  Res64: 90A722C64EF05E6C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:46:39]
769*2^1228097-1 is not prime.  Res64: 00780E8DF44DBC26  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:46:39]
781*2^1228097-1 is not prime.  Res64: 06DA51B86DDB4BEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:56:09]
861*2^1228097-1 is not prime.  Res64: 6130B88779A95235  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 13:56:10]
901*2^1228097-1 is not prime.  Res64: F4EE22E5AD632FDB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:07:42]
937*2^1228097-1 is not prime.  Res64: A256CC50389E6FB8  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:07:45]
633*2^1228098-1 is not prime.  Res64: 873166ACACFB64FE  Time : 0.0 sec.
user=vaughan
[2012-09-03 14:08:46]
799*2^1228097-1 is not prime.  Res64: EF0127F777D7E4E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:17:18]
663*2^1228098-1 is not prime.  Res64: 299DA3F53AF5D9B2  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:17:20]
765*2^1228098-1 is not prime.  Res64: 67793519DD83FB43  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:29:09]
905*2^1228098-1 is not prime.  Res64: 083221EB2FF688BA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:29:10]
971*2^1228098-1 is not prime.  Res64: 77159752445593AC  Time : 0.0 sec.
user=juhehe
[2012-09-03 14:30:33]
797*2^1228098-1 is not prime.  Res64: 789CEDC9D9774446  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:38:28]
675*2^1228099-1 is not prime.  Res64: 9E2140068B22CCB0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:38:29]
679*2^1228099-1 is not prime.  Res64: CD3FB304DA6C2BF9  Time : 0.0 sec.
user=vaughan
[2012-09-03 14:46:04]
609*2^1228099-1 is not prime.  Res64: 77CDC1D9A8F999DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:50:17]
741*2^1228099-1 is not prime.  Res64: CB3A112EC02592C3  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:50:18]
843*2^1228099-1 is not prime.  Res64: 4E3ED4510086041A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:59:32]
909*2^1228099-1 is not prime.  Res64: 38A7F42AE71E5A90  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 14:59:32]
813*2^1228100-1 is not prime.  Res64: 286D4132BC9B8C65  Time : 0.0 sec.
user=juhehe
[2012-09-03 15:04:53]
859*2^1228099-1 is not prime.  Res64: A6F0740B9C765964  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:11:21]
929*2^1228100-1 is not prime.  Res64: FE11217FF7D9FEE1  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:11:22]
615*2^1228101-1 is not prime.  Res64: 3E67E88481478107  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:20:35]
781*2^1228101-1 is not prime.  Res64: EEDA64440BF2A160  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:20:35]
819*2^1228101-1 is not prime.  Res64: 6824EDCAB6BB8611  Time : 0.0 sec.
user=vaughan
[2012-09-03 15:23:22]
839*2^1228100-1 is not prime.  Res64: 06171CD191424DBC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:32:32]
877*2^1228101-1 is not prime.  Res64: 99825E99BDC01CB1  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:32:32]
949*2^1228101-1 is not prime.  Res64: 5CB4C8A9B2DF30E8  Time : 0.0 sec.
user=juhehe
[2012-09-03 15:39:17]
871*2^1228101-1 is not prime.  Res64: 8A953505CE4386D6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:41:37]
617*2^1228102-1 is not prime.  Res64: 0B9C9CADA9B29DF5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:41:38]
801*2^1228102-1 is not prime.  Res64: 2FCA7F1C45F82D4B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:53:40]
831*2^1228102-1 is not prime.  Res64: 0172EAF768A9EA06  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 15:53:40]
943*2^1228103-1 is not prime.  Res64: FB6716C1B69273E9  Time : 0.0 sec.
user=vaughan
[2012-09-03 16:00:38]
827*2^1228102-1 is not prime.  Res64: 87991D10A1D1E140  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:02:40]
705*2^1228104-1 is not prime.  Res64: B8C8040C89838683  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:02:41]
789*2^1228104-1 is not prime.  Res64: 7356B05C4117F4D6  Time : 0.0 sec.
user=juhehe
[2012-09-03 16:13:45]
689*2^1228104-1 is not prime.  Res64: FCB55B74694DDFF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:14:42]
863*2^1228104-1 is not prime.  Res64: 0C7C4F2D15DFB325  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:14:43]
841*2^1228105-1 is not prime.  Res64: 884471EFE99DB230  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:23:45]
939*2^1228105-1 is not prime.  Res64: 483E55F7AA77F9E6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:23:45]
625*2^1228107-1 is not prime.  Res64: C2918F105EEE79A9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:35:48]
699*2^1228107-1 is not prime.  Res64: DF178A02F4EDEC5E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:35:48]
765*2^1228107-1 is not prime.  Res64: 690C10B2845FA25C  Time : 0.0 sec.
user=vaughan
[2012-09-03 16:37:57]
895*2^1228105-1 is not prime.  Res64: E91CE3C29D53950E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:44:48]
835*2^1228107-1 is not prime.  Res64: F0779DA375833E39  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:44:49]
635*2^1228108-1 is not prime.  Res64: DCE53B7EDA82FCE8  Time : 0.0 sec.
user=juhehe
[2012-09-03 16:48:36]
651*2^1228107-1 is not prime.  Res64: B68DE6023BDC9ED6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:56:52]
663*2^1228108-1 is not prime.  Res64: 538FC67BF7B49F0D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 16:56:52]
705*2^1228108-1 is not prime.  Res64: B942D6BA04CA4931  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:05:53]
869*2^1228108-1 is not prime.  Res64: AFFF93630EBF319D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:05:57]
999*2^1228108-1 is not prime.  Res64: 0C9E4B3D7BD96335  Time : 0.0 sec.
user=vaughan
[2012-09-03 17:15:15]
797*2^1228108-1 is not prime.  Res64: E19BAAE3FFD12F1D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:17:56]
675*2^1228109-1 is not prime.  Res64: 2DD0A91C648A1063  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:17:57]
727*2^1228109-1 is not prime.  Res64: EA20C3290CB4EFFD  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:27:10]
795*2^1228109-1 is not prime.  Res64: 44B813068857E954  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:27:10]
825*2^1228109-1 is not prime.  Res64: 1E36299C016A66F7  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:39:01]
681*2^1228110-1 is not prime.  Res64: 894C368A283BC28C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:39:01]
707*2^1228110-1 is not prime.  Res64: B69EB79D5340EA15  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:48:13]
845*2^1228110-1 is not prime.  Res64: EE617388181C0394  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 17:48:14]
917*2^1228110-1 is not prime.  Res64: C50F8DDF447DDA1F  Time : 0.0 sec.
user=vaughan
[2012-09-03 17:52:35]
861*2^1228109-1 is not prime.  Res64: E469230D15EDE794  Time : 0.0 sec.
user=juhehe
[2012-09-03 17:54:09]
755*2^1228110-1 is not prime.  Res64: D69184D57B046271  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:00:08]
951*2^1228110-1 is not prime.  Res64: B21090400055D0EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:00:09]
1001*2^1228110-1 is not prime.  Res64: 956AEC0E585C43D6  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:09:27]
601*2^1228111-1 is not prime.  Res64: DE0657B352AB1E5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:09:28]
819*2^1228111-1 is not prime.  Res64: 8726B274F57F562F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:21:22]
859*2^1228111-1 is not prime.  Res64: B3242F06B4B76064  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:21:23]
925*2^1228111-1 is not prime.  Res64: 49D4A682178B40D4  Time : 0.0 sec.
user=vaughan
[2012-09-03 18:29:53]
855*2^1228111-1 is not prime.  Res64: A807365D2BD3AD2C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:30:47]
931*2^1228111-1 is not prime.  Res64: FCD2F8AADFDB5959  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:30:48]
969*2^1228111-1 is not prime.  Res64: 40072255BC3532BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:42:34]
623*2^1228112-1 is not prime.  Res64: EF8AD10C2CD405CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:42:34]
657*2^1228112-1 is not prime.  Res64: 1FCFCA0E4CBAD393  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:51:58]
903*2^1228112-1 is not prime.  Res64: 6200E44079F67AF4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 18:51:58]
909*2^1228112-1 is not prime.  Res64: AEAFC86E48886998  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:03:45]
609*2^1228113-1 is not prime.  Res64: B09F348151271EEA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:03:47]
625*2^1228113-1 is not prime.  Res64: 79B16AD952EF96F4  Time : 0.0 sec.
user=vaughan
[2012-09-03 19:07:11]
717*2^1228112-1 is not prime.  Res64: 8D6613893ED639FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:13:08]
651*2^1228113-1 is not prime.  Res64: 779DB95AF9877563  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:13:09]
657*2^1228113-1 is not prime.  Res64: 583F9CFC2CE30A59  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:25:15]
685*2^1228113-1 is not prime.  Res64: 4665B7237EC8FAC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:25:16]
741*2^1228113-1 is not prime.  Res64: 955510D87D0089CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:34:22]
861*2^1228113-1 is not prime.  Res64: C549AE736DC65C97  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:34:23]
889*2^1228113-1 is not prime.  Res64: 77B62D6009408987  Time : 0.0 sec.
user=vaughan
[2012-09-03 19:44:35]
819*2^1228113-1 is not prime.  Res64: 2058AB6442A269DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:46:23]
611*2^1228114-1 is not prime.  Res64: 784F14993022A427  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:46:24]
633*2^1228114-1 is not prime.  Res64: 5C3405F738CE625B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:55:34]
747*2^1228114-1 is not prime.  Res64: C51BD5E0545AB2CC  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 19:55:35]
975*2^1228114-1 is not prime.  Res64: 32878CC7442B598E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:07:33]
651*2^1228115-1 is not prime.  Res64: 16ADEBCB658DC890  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:07:35]
675*2^1228115-1 is not prime.  Res64: 74B9DA41B172F59E  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:16:44]
759*2^1228115-1 is not prime.  Res64: 57C2B72B2E66C168  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:16:44]
825*2^1228115-1 is not prime.  Res64: D3283FF5E1532D33  Time : 0.0 sec.
user=vaughan
[2012-09-03 20:21:51]
645*2^1228115-1 is not prime.  Res64: F47C76E947663460  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:29:13]
841*2^1228115-1 is not prime.  Res64: C66E58802B3CFC1B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:29:13]
657*2^1228116-1 is not prime.  Res64: F0749882FB22931A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:38:05]
689*2^1228116-1 is not prime.  Res64: A5330C1E2203823A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:38:05]
779*2^1228116-1 is not prime.  Res64: CD76CB24C5D83974  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:50:13]
923*2^1228116-1 is not prime.  Res64: DB38B5BE112EFE06  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:50:13]
651*2^1228117-1 is not prime.  Res64: 5F10A538855E7CC7  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:59:02]
727*2^1228117-1 is not prime.  Res64: EC35C515FED0892A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 20:59:02]
747*2^1228117-1 is not prime.  Res64: 930ED69F4F39997E  Time : 0.0 sec.
user=vaughan
[2012-09-03 20:59:18]
875*2^1228116-1 is not prime.  Res64: 17300A2AEDACD4C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:11:10]
885*2^1228117-1 is not prime.  Res64: E59B2CFE32C6B904  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:11:13]
997*2^1228117-1 is not prime.  Res64: B816AE187C4ABD78  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:19:58]
645*2^1228118-1 is not prime.  Res64: A31792B734125F39  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:19:58]
677*2^1228118-1 is not prime.  Res64: 0B53195A2F1F5032  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:32:11]
875*2^1228118-1 is not prime.  Res64: D4A4DD017F1D97F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:32:12]
971*2^1228118-1 is not prime.  Res64: C6D6BDA323E440DB  Time : 0.0 sec.
user=vaughan
[2012-09-03 21:36:37]
867*2^1228118-1 is not prime.  Res64: 689D5954CBFAD9C4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:40:57]
977*2^1228118-1 is not prime.  Res64: 811052DF2254D03A  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:40:57]
829*2^1228119-1 is not prime.  Res64: AC45C429C250F7E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:53:10]
861*2^1228119-1 is not prime.  Res64: 45F1AC2C0CFA59D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 21:53:10]
603*2^1228120-1 is not prime.  Res64: D8215F7941A381B5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:01:54]
743*2^1228120-1 is not prime.  Res64: D19B5DC533A27D62  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:01:55]
839*2^1228120-1 is not prime.  Res64: 0384251DF3E9F817  Time : 0.0 sec.
user=vaughan
[2012-09-03 22:13:56]
677*2^1228120-1 is not prime.  Res64: 5014FADB682EB7DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:14:09]
845*2^1228120-1 is not prime.  Res64: 2CA0BA6EF610775D  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:14:09]
965*2^1228120-1 is not prime.  Res64: 9983254C860CD290  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:22:53]
989*2^1228120-1 is not prime.  Res64: E26AD8F74532461B  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:22:53]
651*2^1228121-1 is not prime.  Res64: 8158667957C422A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:35:11]
861*2^1228121-1 is not prime.  Res64: 049DF2F172417A01  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:35:12]
871*2^1228121-1 is not prime.  Res64: 9440793FB12EDAB4  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:43:56]
879*2^1228121-1 is not prime.  Res64: E8CCB9B5290A1E76  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:43:56]
889*2^1228121-1 is not prime.  Res64: 36FFC3D83757D618  Time : 0.0 sec.
user=vaughan
[2012-09-03 22:51:25]
747*2^1228121-1 is not prime.  Res64: 5383A4182E19E8BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:56:09]
987*2^1228121-1 is not prime.  Res64: C404658AA9AC19F9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 22:56:10]
681*2^1228122-1 is not prime.  Res64: 49E66BDD7E5BBEC5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:04:53]
725*2^1228122-1 is not prime.  Res64: 75D3B200CCED77E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:04:54]
945*2^1228122-1 is not prime.  Res64: 836A2342CE4EF454  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:17:08]
723*2^1228123-1 is not prime.  Res64: DF00FEA27EFD12C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:17:09]
835*2^1228123-1 is not prime.  Res64: 06710AF50779C8C9  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:26:12]
853*2^1228123-1 is not prime.  Res64: 73E1944451EDEDCB  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:26:14]
861*2^1228123-1 is not prime.  Res64: 561E3DBA7D685743  Time : 0.0 sec.
user=vaughan
[2012-09-03 23:28:42]
963*2^1228122-1 is not prime.  Res64: 71C12A5D2F8CF9FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:38:19]
885*2^1228123-1 is not prime.  Res64: BB95DB5573266D98  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:38:20]
901*2^1228123-1 is not prime.  Res64: 6EC78AEA6D72E031  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:47:25]
915*2^1228123-1 is not prime.  Res64: CF43817002065B7C  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:47:26]
629*2^1228124-1 is not prime.  Res64: F4037DDA81850E67  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:59:26]
759*2^1228124-1 is not prime.  Res64: BFC4948F67FC455F  Time : 0.0 sec.
user=mdettweiler
[2012-09-03 23:59:27]
767*2^1228124-1 is not prime.  Res64: 68E890360D159066  Time : 0.0 sec.