user=mdettweiler
[2015-09-29 00:16:28]
907*2^1410489-1 is not prime.  Res64: BA40F9FDD87C38C4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:16:28]
909*2^1410489-1 is not prime.  Res64: FF73DBC32BEA63B5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:16:58]
605*2^1410490-1 is not prime.  Res64: 233A4B39547F25D2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:16:58]
687*2^1410490-1 is not prime.  Res64: 6AD7E5F5A7F1EEC2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:21:12]
669*2^1410488-1 is not prime.  Res64: C21DD39F15176396  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:33:59]
701*2^1410490-1 is not prime.  Res64: 6CFFE90CE8A26110  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:33:59]
803*2^1410490-1 is not prime.  Res64: A565F949E439E74A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:34:29]
917*2^1410490-1 is not prime.  Res64: A850BA46B11E0FBB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:34:29]
711*2^1410491-1 is not prime.  Res64: 388282A23C1B3B06  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:38:39]
745*2^1410491-1 is not prime.  Res64: 988381BE6D481B67  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:38:39]
805*2^1410491-1 is not prime.  Res64: EF0030B528737D03  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:51:27]
819*2^1410491-1 is not prime.  Res64: 636C8B0397F0B76B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:51:28]
921*2^1410491-1 is not prime.  Res64: C2A3C988ADD460EC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:51:57]
999*2^1410491-1 is not prime.  Res64: FC55FBBA3DB808D9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:51:57]
693*2^1410492-1 is not prime.  Res64: 6420776A09E70A80  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:56:04]
879*2^1410492-1 is not prime.  Res64: 91EDE45F715390CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 00:56:05]
983*2^1410492-1 is not prime.  Res64: 9C9E214B646B22B6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:08:54]
685*2^1410493-1 is not prime.  Res64: DBA172B277A994E6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:08:54]
721*2^1410493-1 is not prime.  Res64: BBB2987C29586A77  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:09:25]
741*2^1410493-1 is not prime.  Res64: 21EDC73AEA0E9A83  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:09:26]
877*2^1410493-1 is not prime.  Res64: 2482D7B8D59618C7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:13:30]
885*2^1410493-1 is not prime.  Res64: 11C58BE5F0290977  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:13:31]
987*2^1410493-1 is not prime.  Res64: 79C4E755F04ABA2D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:26:24]
683*2^1410494-1 is not prime.  Res64: 4F6E312D0F5D295C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:26:26]
693*2^1410494-1 is not prime.  Res64: 75F61D543801BEB0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:26:51]
791*2^1410494-1 is not prime.  Res64: 0CA943CA3DB52931  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:26:52]
825*2^1410494-1 is not prime.  Res64: 298DAFA45FBA08DE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:30:58]
827*2^1410494-1 is not prime.  Res64: 1945F2ABF1197866  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:30:59]
857*2^1410494-1 is not prime.  Res64: A8F0D21D5DAA7DCB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:44:00]
861*2^1410494-1 is not prime.  Res64: DC6970515F4F771F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:44:00]
873*2^1410494-1 is not prime.  Res64: 103FF9D9C0D98C2C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:44:19]
705*2^1410495-1 is not prime.  Res64: 1FFDDD8182D95CAA  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:44:20]
783*2^1410495-1 is not prime.  Res64: 26089E90D230C2FD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:48:26]
793*2^1410495-1 is not prime.  Res64: BED4D9761ACC9B4C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 01:48:27]
853*2^1410495-1 is not prime.  Res64: 03FB33D66204A859  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:01:30]
985*2^1410495-1 is not prime.  Res64: E1A30155AC175E12  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:01:32]
675*2^1410496-1 is not prime.  Res64: 668B512822187660  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:01:45]
887*2^1410496-1 is not prime.  Res64: D40FE82A7873052A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:01:46]
957*2^1410496-1 is not prime.  Res64: DEF586D4B3336633  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:05:53]
711*2^1410497-1 is not prime.  Res64: B21C2848D2730788  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:05:54]
769*2^1410497-1 is not prime.  Res64: 6B95A906D75524D0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:19:16]
945*2^1410497-1 is not prime.  Res64: AEB2067B8A2D1CAD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:19:16]
641*2^1410498-1 is not prime.  Res64: E0AEE4C2FB88E1A3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:19:21]
663*2^1410498-1 is not prime.  Res64: F17983B17E7533E0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:19:21]
681*2^1410498-1 is not prime.  Res64: 5555AA197D1EFFBC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:23:34]
797*2^1410498-1 is not prime.  Res64: 003E8339B85EB0F6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:23:34]
815*2^1410498-1 is not prime.  Res64: C80922B1065CD3B1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:36:45]
843*2^1410498-1 is not prime.  Res64: 261F5E92F77AB072  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:36:45]
923*2^1410498-1 is not prime.  Res64: C3169FE2FCBD61D4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:36:47]
609*2^1410499-1 is not prime.  Res64: BC2131EF6B27538C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:36:48]
615*2^1410499-1 is not prime.  Res64: 56F0803AA3DE46F6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:41:01]
625*2^1410499-1 is not prime.  Res64: AC23C5B4534EF6A0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:41:01]
679*2^1410499-1 is not prime.  Res64: 2580B1FD6F1AFA29  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:54:13]
853*2^1410499-1 is not prime.  Res64: 1A5A5479E4108193  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:54:13]
931*2^1410499-1 is not prime.  Res64: 629695D6EC162EF3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:54:13]
635*2^1410500-1 is not prime.  Res64: 838CE731CE36D73B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:54:14]
707*2^1410500-1 is not prime.  Res64: 40070707E36668FB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:58:29]
719*2^1410500-1 is not prime.  Res64: A9775E384B70399E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 02:58:30]
725*2^1410500-1 is not prime.  Res64: 9944AB80E3D58378  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:11:43]
953*2^1410500-1 is not prime.  Res64: D87EB4F079586794  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:11:43]
625*2^1410501-1 is not prime.  Res64: 86754D92585A0B40  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:11:44]
893*2^1410500-1 is not prime.  Res64: C779EE22AE412770  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:11:44]
935*2^1410500-1 is not prime.  Res64: 7B619044D5B76A99  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:15:56]
747*2^1410501-1 is not prime.  Res64: 844602AC9FA5E3CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:15:56]
955*2^1410501-1 is not prime.  Res64: 76E146D590A8B63C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:29:15]
665*2^1410502-1 is not prime.  Res64: B0372262414CF325  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:29:17]
723*2^1410502-1 is not prime.  Res64: 5586F10ACC711F8F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:29:22]
825*2^1410502-1 is not prime.  Res64: 0CDC046715DEF291  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:29:24]
633*2^1410503-1 is not prime.  Res64: BC7069CDC264C8BC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:33:28]
813*2^1410503-1 is not prime.  Res64: 33F4DD896CF4CC73  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:33:30]
859*2^1410503-1 is not prime.  Res64: 57F768E747E7062A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:46:57]
689*2^1410504-1 is not prime.  Res64: 0DEBEF2D8D57D8E4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:46:58]
747*2^1410504-1 is not prime.  Res64: 9501DED2F58EB041  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:46:59]
765*2^1410504-1 is not prime.  Res64: D81C2606F2CA5C40  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:47:01]
795*2^1410504-1 is not prime.  Res64: 6A5FE58541C832C5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:51:00]
849*2^1410504-1 is not prime.  Res64: 3D92CA07F06AAE05  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 03:51:01]
899*2^1410504-1 is not prime.  Res64: F4774C2905C00A7C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:04:40]
905*2^1410504-1 is not prime.  Res64: 5D77D879069EE17B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:04:41]
805*2^1410505-1 is not prime.  Res64: 8E76AB2B57720B3B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:04:42]
705*2^1410505-1 is not prime.  Res64: D7A37653E1D10E21  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:04:42]
955*2^1410505-1 is not prime.  Res64: 14B94572DBDFFDB9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:08:27]
683*2^1410506-1 is not prime.  Res64: E0BFF19B5A86F292  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:08:28]
825*2^1410506-1 is not prime.  Res64: 469A6EF430B54F58  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:22:35]
831*2^1410506-1 is not prime.  Res64: F8F25D47FA353EFB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:22:36]
837*2^1410506-1 is not prime.  Res64: 3AFE6620552DCED3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:22:38]
649*2^1410507-1 is not prime.  Res64: 861A5AADE8C056B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:22:39]
765*2^1410507-1 is not prime.  Res64: C9480306C9B34F8C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:26:03]
793*2^1410507-1 is not prime.  Res64: 944B44D33360CAE6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:26:04]
805*2^1410507-1 is not prime.  Res64: 12023B4BA50B87F0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:40:01]
861*2^1410507-1 is not prime.  Res64: 0EE0A929B7BA7AFB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:40:02]
871*2^1410507-1 is not prime.  Res64: DDE721D2259497AD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:40:04]
891*2^1410507-1 is not prime.  Res64: EE4485CBB5AB2D39  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:40:04]
951*2^1410507-1 is not prime.  Res64: 0CE3531E68AF8277  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:43:31]
657*2^1410508-1 is not prime.  Res64: 08E6CB0A1AC28AB8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:43:32]
687*2^1410508-1 is not prime.  Res64: D13FF645B85A3F59  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:57:28]
695*2^1410508-1 is not prime.  Res64: 9B6F4798FF443228  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:57:28]
707*2^1410508-1 is not prime.  Res64: CE08C422CC6772D2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:57:29]
899*2^1410508-1 is not prime.  Res64: 71E53323F1F50F78  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 04:57:30]
927*2^1410508-1 is not prime.  Res64: 17DED5359312EF7B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:00:59]
933*2^1410508-1 is not prime.  Res64: E892AE43B64E764B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:01:00]
993*2^1410508-1 is not prime.  Res64: 2A9BB481C023829B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:14:53]
735*2^1410509-1 is not prime.  Res64: A89551FB8D10AAB1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:14:53]
741*2^1410509-1 is not prime.  Res64: 3F9E604B69B9422F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:14:55]
789*2^1410509-1 is not prime.  Res64: 0AF9D4984AB41DF0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:14:55]
799*2^1410509-1 is not prime.  Res64: C348B976BB7B7FD3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:18:25]
801*2^1410509-1 is not prime.  Res64: 4116BCDD6B8EE9F1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:18:25]
811*2^1410509-1 is not prime.  Res64: C06A1E2A26B3DC7B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:32:19]
825*2^1410509-1 is not prime.  Res64: E717211A7CB926EA  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:32:20]
865*2^1410509-1 is not prime.  Res64: 74B868F00AF90109  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:32:20]
897*2^1410509-1 is not prime.  Res64: 2E99EBD89AF0A991  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:32:21]
949*2^1410509-1 is not prime.  Res64: E9F1F724FBA5ED80  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:35:50]
791*2^1410510-1 is not prime.  Res64: A38BB8C9FD5E6968  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:35:50]
795*2^1410510-1 is not prime.  Res64: 7F270BBEC34CCEA9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:49:45]
797*2^1410510-1 is not prime.  Res64: 6862E87BDA41C8C1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:49:46]
821*2^1410510-1 is not prime.  Res64: ECA1318C253B1D49  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:49:47]
927*2^1410510-1 is not prime.  Res64: 6DE93BB8DB3B1A58  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:49:47]
965*2^1410510-1 is not prime.  Res64: 4A2A3987C7CAC199  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:53:15]
625*2^1410511-1 is not prime.  Res64: F2127CA02735BE73  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 05:53:15]
859*2^1410511-1 is not prime.  Res64: 7CB3AC07DD541863  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:07:12]
909*2^1410511-1 is not prime.  Res64: 47299F7D9202252D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:07:13]
675*2^1410512-1 is not prime.  Res64: 8030001DF6F3C79C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:07:14]
939*2^1410511-1 is not prime.  Res64: 1D3619135174D880  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:07:15]
693*2^1410512-1 is not prime.  Res64: 29F9095BFA84D9A4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:10:40]
825*2^1410512-1 is not prime.  Res64: 224600B6F08F03D9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:10:42]
897*2^1410512-1 is not prime.  Res64: CC38FD49A8DCD110  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:25:30]
615*2^1410513-1 is not prime.  Res64: F95355F5B3EE801F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:25:30]
625*2^1410513-1 is not prime.  Res64: 47A80A597A841B2A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:25:32]
691*2^1410513-1 is not prime.  Res64: 464A7CF402F5A061  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:25:33]
921*2^1410513-1 is not prime.  Res64: 5CCA9DAAFD4FF613  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:28:09]
999*2^1410513-1 is not prime.  Res64: 783662D0A648D916  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:28:09]
799*2^1410515-1 is not prime.  Res64: 9CDDCC8BBE45F268  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:42:56]
871*2^1410515-1 is not prime.  Res64: 42AF036C434F7998  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:42:56]
909*2^1410515-1 is not prime.  Res64: 2598E488DE6CDAD9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:42:58]
921*2^1410515-1 is not prime.  Res64: 20AFF5A8B98B1F6D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:42:58]
939*2^1410515-1 is not prime.  Res64: 87BEC84D4754AE4F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:45:34]
943*2^1410515-1 is not prime.  Res64: 0F636C73CDE36AE3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 06:45:35]
949*2^1410515-1 is not prime.  Res64: 1D5F05592212EF40  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:00:22]
981*2^1410515-1 is not prime.  Res64: B52BE0B5802080C1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:00:23]
683*2^1410516-1 is not prime.  Res64: 300759A6611D19BC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:00:26]
693*2^1410516-1 is not prime.  Res64: 1FD7A2A04F43E7B5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:00:27]
695*2^1410516-1 is not prime.  Res64: 9770177A96D67118  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:03:00]
825*2^1410516-1 is not prime.  Res64: 18FEC2BB217B8CB1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:03:01]
887*2^1410516-1 is not prime.  Res64: 93ECE9ACBC526120  Time : 0.0 sec.
user=juhehe
[2015-09-29 07:06:53]
781*2^1410449-1 is not prime.  Res64: F466D1663166420C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:17:50]
899*2^1410516-1 is not prime.  Res64: A594B8EFC075DC90  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:17:51]
909*2^1410516-1 is not prime.  Res64: 35BEBC39CB9EA2DE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:17:55]
927*2^1410516-1 is not prime.  Res64: 916A8E44EF110E18  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:17:55]
945*2^1410516-1 is not prime.  Res64: 97A94E3CDD416627  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:20:35]
983*2^1410516-1 is not prime.  Res64: 1A072B3CB1FC87C7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:20:36]
609*2^1410517-1 is not prime.  Res64: 49050790123E201C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:35:16]
799*2^1410517-1 is not prime.  Res64: 79B2546CD4129D15  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:35:17]
847*2^1410517-1 is not prime.  Res64: B58D684DCB8F39C7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:35:20]
603*2^1410518-1 is not prime.  Res64: C5759F2664CFC2DD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:35:21]
747*2^1410518-1 is not prime.  Res64: FDBEAFD27993DE17  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:38:00]
813*2^1410518-1 is not prime.  Res64: 8FFAFFC0321359FB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:38:01]
935*2^1410518-1 is not prime.  Res64: 04A0391499906736  Time : 0.0 sec.
user=juhehe
[2015-09-29 07:44:56]
727*2^1410517-1 is not prime.  Res64: 73ABFDF35717A949  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:52:44]
613*2^1410519-1 is not prime.  Res64: 31162903618B81EC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:52:44]
703*2^1410519-1 is not prime.  Res64: 5F521E3E8C88732D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:52:45]
853*2^1410519-1 is not prime.  Res64: 781028560C764DFA  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:52:46]
955*2^1410519-1 is not prime.  Res64: AD9C5DC5863FA776  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:55:25]
615*2^1410520-1 is not prime.  Res64: 1A1AEC2F9D868C1C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 07:55:26]
699*2^1410520-1 is not prime.  Res64: 943B4F45CB533520  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:10:10]
723*2^1410520-1 is not prime.  Res64: C0A92C8203E1BA98  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:10:11]
765*2^1410520-1 is not prime.  Res64: 034F932495D9945F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:10:11]
803*2^1410520-1 is not prime.  Res64: 7E09AD0BD17F8960  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:10:11]
939*2^1410520-1 is not prime.  Res64: 0D066CAFC3E7A87D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:12:51]
959*2^1410520-1 is not prime.  Res64: ADC9545EB4AB21CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:12:51]
675*2^1410521-1 is not prime.  Res64: 67230CB759844303  Time : 0.0 sec.
user=juhehe
[2015-09-29 08:22:54]
717*2^1410520-1 is not prime.  Res64: EE5A78B387781E67  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:27:40]
715*2^1410521-1 is not prime.  Res64: 617FFDB90D1BBE1D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:27:40]
747*2^1410521-1 is not prime.  Res64: 833E4AFCB58542A3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:27:42]
789*2^1410521-1 is not prime.  Res64: 61560074D333E817  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:27:42]
987*2^1410521-1 is not prime.  Res64: A4636CED4C540F03  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:30:17]
681*2^1410522-1 is not prime.  Res64: CE5DB7026A27F036  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:30:17]
741*2^1410522-1 is not prime.  Res64: 5FD6C16A2CDB5B14  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:45:05]
797*2^1410522-1 is not prime.  Res64: 34DA48C1D543FF91  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:45:05]
875*2^1410522-1 is not prime.  Res64: 4F6F26CE48207205  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:45:07]
903*2^1410522-1 is not prime.  Res64: 4F57718888A34C40  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:45:07]
945*2^1410522-1 is not prime.  Res64: 44809A3B98EF6972  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:47:42]
951*2^1410522-1 is not prime.  Res64: 0FF4C56A67B7F16D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 08:47:42]
975*2^1410522-1 is not prime.  Res64: D3272999729D3CA2  Time : 0.0 sec.
user=juhehe
[2015-09-29 09:00:31]
777*2^1410522-1 is not prime.  Res64: 56DCAA8A851D6818  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:02:32]
861*2^1410523-1 is not prime.  Res64: 03CD91BFA0D29A24  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:02:33]
883*2^1410523-1 is not prime.  Res64: FDE793069CF8F110  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:02:39]
603*2^1410523-1 is not prime.  Res64: 59DC9DC956C1E4FA  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:02:40]
789*2^1410523-1 is not prime.  Res64: D2D9E2387C524814  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:05:09]
891*2^1410523-1 is not prime.  Res64: BE11359E2DEFECD6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:05:10]
943*2^1410523-1 is not prime.  Res64: DA2833E65241E17B  Time : 0.0 sec.
user=juhehe
[2015-09-29 09:17:01]
1001*2^1410522-1 is not prime.  Res64: ECE4E65B0ED365CE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:20:14]
855*2^1410524-1 is not prime.  Res64: BC6C77F33F6F1829  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:20:14]
753*2^1410524-1 is not prime.  Res64: F34A885898A2155A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:20:14]
873*2^1410524-1 is not prime.  Res64: 4602962C569ADE25  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:20:15]
813*2^1410524-1 is not prime.  Res64: E381F81EE06487E0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:22:38]
909*2^1410524-1 is not prime.  Res64: 2DEEBACC136766D0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:22:39]
627*2^1410525-1 is not prime.  Res64: 1219AD258FCC314D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:37:44]
685*2^1410525-1 is not prime.  Res64: 83B800AE0140B011  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:37:44]
789*2^1410525-1 is not prime.  Res64: 4FFE2EC4580BC9F0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:37:46]
861*2^1410525-1 is not prime.  Res64: 8933E172AAE84775  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:37:47]
871*2^1410525-1 is not prime.  Res64: 01660FD971B6588A  Time : 0.0 sec.
user=juhehe
[2015-09-29 09:37:52]
719*2^1410524-1 is not prime.  Res64: 166D848AD914A925  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:40:06]
919*2^1410525-1 is not prime.  Res64: 23AE451926856A3E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:40:07]
955*2^1410525-1 is not prime.  Res64: 8E4D30DE8C7AE8E9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:55:10]
961*2^1410525-1 is not prime.  Res64: 021488729B148B64  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:55:11]
979*2^1410525-1 is not prime.  Res64: A1652168C9DDE9C8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:55:13]
623*2^1410526-1 is not prime.  Res64: 5480714D5BB8AEA1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:55:14]
661*2^1410527-1 is not prime.  Res64: 293FE36607AD2FEE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:57:33]
861*2^1410527-1 is not prime.  Res64: 674A0F1C1D007B14  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 09:57:33]
879*2^1410527-1 is not prime.  Res64: 770B4E03C2F7658D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:12:38]
915*2^1410527-1 is not prime.  Res64: 221C1605BBB051D0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:12:39]
605*2^1410528-1 is not prime.  Res64: 453EEBBA08022685  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:12:39]
635*2^1410528-1 is not prime.  Res64: 8C8CC9A8DE2C98E0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:12:39]
695*2^1410528-1 is not prime.  Res64: 39DBEEC158DB7F0A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:15:01]
747*2^1410528-1 is not prime.  Res64: 4B011EC2D00DA830  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:15:01]
875*2^1410528-1 is not prime.  Res64: CA1C719E3A37A7E5  Time : 0.0 sec.
user=juhehe
[2015-09-29 10:15:13]
823*2^1410527-1 is not prime.  Res64: F58A999ABFCEEA97  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:30:08]
959*2^1410528-1 is not prime.  Res64: A436F15AD67DD80D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:30:11]
639*2^1410529-1 is not prime.  Res64: A04D8798FBDBE1E5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:30:13]
969*2^1410528-1 is not prime.  Res64: 205543EA46A72C4D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:30:14]
801*2^1410529-1 is not prime.  Res64: 740F19EC28EBA082  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:32:27]
897*2^1410529-1 is not prime.  Res64: C465777CA3E4E50B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:32:27]
931*2^1410529-1 is not prime.  Res64: E84972D992207B52  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:47:55]
731*2^1410530-1 is not prime.  Res64: B03FAC2AB94E8431  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:47:56]
825*2^1410530-1 is not prime.  Res64: D42D06DDFB770A45  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:47:59]
843*2^1410530-1 is not prime.  Res64: 0FEA857D888E43F7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:47:59]
861*2^1410530-1 is not prime.  Res64: 383FAD0E76FD3985  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:49:53]
887*2^1410530-1 is not prime.  Res64: F0290E10AA70A43B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 10:49:54]
723*2^1410531-1 is not prime.  Res64: A0150E6BB1293FD0  Time : 0.0 sec.
user=juhehe
[2015-09-29 10:52:54]
665*2^1410530-1 is not prime.  Res64: 13EA331BA3A34A98  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:05:23]
741*2^1410531-1 is not prime.  Res64: 34834155B5C06215  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:05:25]
745*2^1410531-1 is not prime.  Res64: 82D3CC1714454003  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:05:27]
753*2^1410531-1 is not prime.  Res64: 98EBADE70D76C313  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:05:29]
945*2^1410531-1 is not prime.  Res64: 42C44FD1E9DA01E5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:07:20]
975*2^1410531-1 is not prime.  Res64: E7977B888FB56692  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:07:20]
827*2^1410532-1 is not prime.  Res64: CEFC5A71A65ECB49  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:23:13]
715*2^1410533-1 is not prime.  Res64: F56138D95603AAC8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:23:13]
925*2^1410533-1 is not prime.  Res64: E7A7FC7DD5DBDA16  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:23:14]
859*2^1410533-1 is not prime.  Res64: EF07BCDD0FA66A6B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:23:15]
949*2^1410533-1 is not prime.  Res64: EEC80FBD5B1055E8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:24:46]
955*2^1410533-1 is not prime.  Res64: F95D9A6667DE8663  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:24:47]
635*2^1410534-1 is not prime.  Res64: 5337FFC4CDDFAAEC  Time : 0.0 sec.
user=juhehe
[2015-09-29 11:30:41]
699*2^1410533-1 is not prime.  Res64: CD48920C621D699E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:40:45]
705*2^1410534-1 is not prime.  Res64: 20FE333201B4063B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:40:45]
725*2^1410534-1 is not prime.  Res64: 02029144764FC5D3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:40:51]
797*2^1410534-1 is not prime.  Res64: A7A21CB3BE1C7D63  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:40:51]
923*2^1410534-1 is not prime.  Res64: 512D6EACBBBDF76A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:42:17]
993*2^1410534-1 is not prime.  Res64: DE47BE1772D9BBC0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:42:18]
645*2^1410535-1 is not prime.  Res64: 7B50A62CBA983070  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:58:11]
873*2^1410535-1 is not prime.  Res64: 837D5F5C14327D52  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:58:11]
663*2^1410536-1 is not prime.  Res64: ED3A7944D549EDD2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:58:16]
683*2^1410536-1 is not prime.  Res64: 5DE31C46441F4DAC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:58:16]
815*2^1410536-1 is not prime.  Res64: C7A47EE1A89D2DD5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:59:43]
827*2^1410536-1 is not prime.  Res64: 77D03B8E0892D858  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 11:59:43]
903*2^1410536-1 is not prime.  Res64: 1EFEFADA72FE36D8  Time : 0.0 sec.
user=juhehe
[2015-09-29 12:08:24]
819*2^1410535-1 is not prime.  Res64: 764BAD7B91EC205A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:15:55]
927*2^1410536-1 is not prime.  Res64: 2522A6B258AA23B4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:15:55]
607*2^1410537-1 is not prime.  Res64: D8180EC694412961  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:16:01]
691*2^1410537-1 is not prime.  Res64: 36E0134905F5D090  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:16:02]
769*2^1410537-1 is not prime.  Res64: 0004F0144A7E3623  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:17:33]
807*2^1410537-1 is not prime.  Res64: 06E94FA7EEC2906D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:17:34]
861*2^1410537-1 is not prime.  Res64: BEA47A86A29EEEE0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:33:41]
889*2^1410537-1 is not prime.  Res64: 703D41C63B4FD196  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:33:41]
895*2^1410537-1 is not prime.  Res64: CC41F4BD58F9BB29  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:33:49]
901*2^1410537-1 is not prime.  Res64: 9DB2EC0CF83E24EC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:33:49]
621*2^1410538-1 is not prime.  Res64: E0DE8471D7F99D0E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:35:20]
623*2^1410538-1 is not prime.  Res64: 87C6C0507DBBEA30  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:35:21]
687*2^1410538-1 is not prime.  Res64: 5785114CADACF597  Time : 0.0 sec.
user=juhehe
[2015-09-29 12:46:06]
885*2^1410537-1 is not prime.  Res64: 99F9EC133F2A1294  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:51:18]
695*2^1410538-1 is not prime.  Res64: C553DA09513EB15A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:51:18]
731*2^1410538-1 is not prime.  Res64: 93A1AAC3B75FCE0D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:51:26]
743*2^1410538-1 is not prime.  Res64: 047123BE303F1F8D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:51:26]
831*2^1410538-1 is not prime.  Res64: 9D85E35186C1F350  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:52:54]
857*2^1410538-1 is not prime.  Res64: F4C62AAEFFD6C904  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 12:52:54]
891*2^1410538-1 is not prime.  Res64: 274CA9842CAA1590  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:08:51]
745*2^1410539-1 is not prime.  Res64: B48E00BE913ADD5F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:08:52]
843*2^1410539-1 is not prime.  Res64: 4D3789E824B0CEEB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:09:01]
861*2^1410539-1 is not prime.  Res64: 9D8B2E99800CF71F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:09:01]
765*2^1410540-1 is not prime.  Res64: 1A59189710DC2C0C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:10:29]
845*2^1410540-1 is not prime.  Res64: 9C8512CA7AB56C8B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:10:30]
741*2^1410541-1 is not prime.  Res64: F7E65221237CF703  Time : 0.0 sec.
user=juhehe
[2015-09-29 13:23:28]
685*2^1410539-1 is not prime.  Res64: E3AE753B86CDFC8C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:26:29]
769*2^1410541-1 is not prime.  Res64: 1C0A5E7AA2FBC159  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:26:29]
835*2^1410541-1 is not prime.  Res64: 6BFE8C7137B0DE71  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:26:36]
979*2^1410541-1 is not prime.  Res64: 533B5CF2AD1FF6AE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:26:36]
657*2^1410542-1 is not prime.  Res64: 8B255AA15CC3468C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:28:05]
813*2^1410542-1 is not prime.  Res64: 79C86307E927DC98  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:28:06]
911*2^1410542-1 is not prime.  Res64: E5C901FDBE353037  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:44:20]
963*2^1410542-1 is not prime.  Res64: 75B346D5D8736CCA  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:44:20]
675*2^1410543-1 is not prime.  Res64: 1E2D0218B9FD9D54  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:44:27]
679*2^1410543-1 is not prime.  Res64: BEED798AACAAAD23  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:44:27]
793*2^1410543-1 is not prime.  Res64: 56D1E09B7F4A3337  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:45:57]
973*2^1410543-1 is not prime.  Res64: 32E10E29FD2B4F70  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 13:45:58]
605*2^1410544-1 is not prime.  Res64: F4743C56D9413045  Time : 0.0 sec.
user=juhehe
[2015-09-29 14:00:50]
921*2^1410542-1 is not prime.  Res64: D6856A52D978ED42  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:02:00]
675*2^1410544-1 is not prime.  Res64: 52F497AD502D146E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:02:01]
719*2^1410544-1 is not prime.  Res64: E29FCD32CDB61D11  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:02:03]
755*2^1410544-1 is not prime.  Res64: 57F6F781DE415509  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:02:04]
773*2^1410544-1 is not prime.  Res64: 78B51BB3E1D8088E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:03:32]
803*2^1410544-1 is not prime.  Res64: 3AEA66701E2DAF2A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:03:33]
825*2^1410544-1 is not prime.  Res64: B0DEBA7F70AF0E6D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:19:39]
983*2^1410544-1 is not prime.  Res64: 547A87370CE54492  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:19:40]
889*2^1410545-1 is not prime.  Res64: 5A353510103CFBAC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:19:43]
915*2^1410545-1 is not prime.  Res64: BCE3B1D94AB970DD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:19:43]
981*2^1410545-1 is not prime.  Res64: D5A3CB784050BF9B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:21:15]
657*2^1410546-1 is not prime.  Res64: 6B1F26F53D9A91D1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:21:15]
695*2^1410546-1 is not prime.  Res64: 1682D4E93808474B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:37:33]
975*2^1410546-1 is not prime.  Res64: 032075B0A19E04E5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:37:33]
619*2^1410547-1 is not prime.  Res64: D12C41A6CBD13377  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:37:36]
645*2^1410547-1 is not prime.  Res64: 5B3BD411F00A0C6E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:37:37]
663*2^1410547-1 is not prime.  Res64: 9F9A2732AD32D464  Time : 0.0 sec.
user=juhehe
[2015-09-29 14:38:39]
875*2^1410544-1 is not prime.  Res64: 3E30DD73BDFE24CC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:39:03]
681*2^1410547-1 is not prime.  Res64: DE0483BC063E59BD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:39:03]
801*2^1410547-1 is not prime.  Res64: 1231DFA56FDCF158  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:56:45]
873*2^1410547-1 is not prime.  Res64: 813D0F88C4D794D5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:56:45]
973*2^1410547-1 is not prime.  Res64: E9E7A6F1E7C3D258  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:56:46]
617*2^1410548-1 is not prime.  Res64: 9752235B55042CDB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:56:46]
869*2^1410548-1 is not prime.  Res64: 79C029976650710D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:58:18]
661*2^1410549-1 is not prime.  Res64: 70DF1AEDEDFF015C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 14:58:18]
747*2^1410549-1 is not prime.  Res64: AC294595ACE17DE7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:14:38]
837*2^1410549-1 is not prime.  Res64: E32E2D11F5A7E978  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:14:38]
847*2^1410549-1 is not prime.  Res64: BA803B2096B6DCE1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:14:40]
759*2^1410549-1 is not prime.  Res64: 7B9DD70BB14ED82E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:14:40]
835*2^1410549-1 is not prime.  Res64: 2609868C8553E470  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:16:07]
861*2^1410549-1 is not prime.  Res64: 3A634552DA9C955A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:16:07]
653*2^1410550-1 is not prime.  Res64: 4788CEF3F3D659D6  Time : 0.0 sec.
user=juhehe
[2015-09-29 15:16:56]
915*2^1410548-1 is not prime.  Res64: FF4F5D12CFB98FBC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:32:19]
765*2^1410550-1 is not prime.  Res64: BE626921EE9DD595  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:32:19]
723*2^1410550-1 is not prime.  Res64: 5F77B99822E89A81  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:32:19]
777*2^1410550-1 is not prime.  Res64: 4A6564C3D10C23F0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:32:20]
761*2^1410550-1 is not prime.  Res64: BE2CB3DED4DA8239  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:33:51]
785*2^1410550-1 is not prime.  Res64: 0DE87D2C7C093CB9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:33:52]
813*2^1410550-1 is not prime.  Res64: 3029DC9B9B5C92D1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:50:20]
621*2^1410551-1 is not prime.  Res64: 720A01B41D725C3A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:50:21]
645*2^1410551-1 is not prime.  Res64: A7D0590C0C86741E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:50:23]
649*2^1410551-1 is not prime.  Res64: 29B0FA1BA13754D5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:50:23]
711*2^1410551-1 is not prime.  Res64: AD99C002BF8DEFE9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:51:54]
775*2^1410551-1 is not prime.  Res64: E677745D91F8ED7F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 15:51:54]
789*2^1410551-1 is not prime.  Res64: B98587D5258DBC1E  Time : 0.0 sec.
user=juhehe
[2015-09-29 15:55:16]
619*2^1410551-1 is not prime.  Res64: 9E44F85CDA88C420  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:08:16]
885*2^1410551-1 is not prime.  Res64: 770A0D5F73D1B133  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:08:17]
943*2^1410551-1 is not prime.  Res64: 9B832CFDECDD619E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:08:18]
913*2^1410551-1 is not prime.  Res64: FC2F94B9F131F228  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:08:19]
979*2^1410551-1 is not prime.  Res64: C5E8A044295149F6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:09:43]
653*2^1410552-1 is not prime.  Res64: 4D607D69BD4BB166  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:09:45]
657*2^1410552-1 is not prime.  Res64: 17CB4ED52010A908  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:26:40]
725*2^1410552-1 is not prime.  Res64: 393AFAB23FA21394  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:26:41]
753*2^1410552-1 is not prime.  Res64: B36D0E073656D692  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:26:49]
893*2^1410552-1 is not prime.  Res64: 2178D71829F6DCA4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:26:49]
691*2^1410553-1 is not prime.  Res64: 251CF0C3712B1B94  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:27:24]
705*2^1410553-1 is not prime.  Res64: 43EFC6BD6285D036  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:27:24]
747*2^1410553-1 is not prime.  Res64: 6D6AF262702C2B3B  Time : 0.0 sec.
user=juhehe
[2015-09-29 16:33:36]
689*2^1410552-1 is not prime.  Res64: 1566AE2806C2992F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:15]
765*2^1410553-1 is not prime.  Res64: A0285FDAF7CE8C3D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:15]
801*2^1410553-1 is not prime.  Res64: F15C56CF75725179  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:21]
855*2^1410553-1 is not prime.  Res64: B9F5D6A931901901  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:22]
999*2^1410553-1 is not prime.  Res64: 8DB14B0D2EC9EB4D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:58]
645*2^1410554-1 is not prime.  Res64: F193B5842D1E34C6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 16:44:58]
747*2^1410554-1 is not prime.  Res64: 4CD6E436A04AA433  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:01:51]
773*2^1410554-1 is not prime.  Res64: 2454E72575E42FE1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:01:52]
923*2^1410554-1 is not prime.  Res64: F048B3CADC235FF3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:01:57]
723*2^1410555-1 is not prime.  Res64: 21F93A1FE3C7D616  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:01:58]
751*2^1410555-1 is not prime.  Res64: 743E1D1038B63D8F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:02:34]
781*2^1410555-1 is not prime.  Res64: 962B2EC8C1588012  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:02:35]
705*2^1410556-1 is not prime.  Res64: 9C2C8CF0F8E3A483  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:19:34]
735*2^1410556-1 is not prime.  Res64: 7B845F6875FA4CE8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:19:35]
903*2^1410556-1 is not prime.  Res64: 32AC1DA7C30D3494  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:19:35]
909*2^1410556-1 is not prime.  Res64: 279E28AF0F9F04BB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:19:36]
957*2^1410556-1 is not prime.  Res64: FA17F84CEFE27292  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:20:08]
993*2^1410556-1 is not prime.  Res64: 509200B8E3E7E749  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:20:08]
631*2^1410557-1 is not prime.  Res64: DED4D896D17C8EF3  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:09]
675*2^1410557-1 is not prime.  Res64: 6A34472DDA5F9A90  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:09]
771*2^1410557-1 is not prime.  Res64: C2DF44A0E735A04C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:09]
795*2^1410557-1 is not prime.  Res64: 2BEC8DE80B0371BD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:10]
847*2^1410557-1 is not prime.  Res64: B41204C574836CD5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:40]
939*2^1410557-1 is not prime.  Res64: 73BF7C427A5994D9  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:37:41]
945*2^1410557-1 is not prime.  Res64: 1CA60D5EAC6A9C61  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:54:42]
647*2^1410558-1 is not prime.  Res64: 7FBE05E571217B0E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:54:43]
761*2^1410558-1 is not prime.  Res64: BE1785A255353511  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:54:43]
713*2^1410558-1 is not prime.  Res64: 374F6FB9AC98D433  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:54:43]
861*2^1410558-1 is not prime.  Res64: 762E8B79E62D7106  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:55:12]
945*2^1410558-1 is not prime.  Res64: F712096B5911A9B8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 17:55:12]
633*2^1410559-1 is not prime.  Res64: DF293F926344C586  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:21]
675*2^1410559-1 is not prime.  Res64: EAABEC251F22F8FD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:22]
685*2^1410559-1 is not prime.  Res64: 4A2D60A4CC66292D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:23]
789*2^1410559-1 is not prime.  Res64: 98B913FD9E553F90  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:25]
829*2^1410559-1 is not prime.  Res64: BE4645B5764FF261  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:48]
831*2^1410559-1 is not prime.  Res64: A5BF06C5B71AE4E1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:12:48]
843*2^1410559-1 is not prime.  Res64: 1F0A2414415E17A0  Time : 0.0 sec.
user=juhehe
[2015-09-29 18:26:36]
663*2^1410559-1 is not prime.  Res64: 36E58B442870E6C0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:06]
909*2^1410559-1 is not prime.  Res64: 57E7611B3D2ABC58  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:07]
933*2^1410559-1 is not prime.  Res64: 8D62AF4558F8B363  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:07]
999*2^1410559-1 is not prime.  Res64: E867249312D8C493  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:07]
925*2^1410559-1 is not prime.  Res64: FF63AA2E9B8D1F00  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:20]
603*2^1410560-1 is not prime.  Res64: 1EFCE34910B049AF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:30:20]
665*2^1410560-1 is not prime.  Res64: 4456B0F3ED7F77E1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:37]
713*2^1410560-1 is not prime.  Res64: 068E48A119E08BEB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:38]
753*2^1410560-1 is not prime.  Res64: 88119AAC114BDB22  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:40]
795*2^1410560-1 is not prime.  Res64: DAF6DC7B5E8157A5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:40]
681*2^1410561-1 is not prime.  Res64: 6939BD03C8B358C6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:56]
685*2^1410561-1 is not prime.  Res64: 39C1B18C46A36727  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 18:47:56]
745*2^1410561-1 is not prime.  Res64: D469F78387DC3527  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:14]
895*2^1410561-1 is not prime.  Res64: A5108F60D5654543  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:14]
817*2^1410561-1 is not prime.  Res64: 376A4AFA7D988C65  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:17]
635*2^1410562-1 is not prime.  Res64: D6B707E2639C4294  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:18]
829*2^1410561-1 is not prime.  Res64: 3DD1F50E7191BF10  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:31]
671*2^1410562-1 is not prime.  Res64: AB7DAB0BC92CF83C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:05:33]
705*2^1410562-1 is not prime.  Res64: A0529B3AC2468252  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:19]
741*2^1410562-1 is not prime.  Res64: 997C5EA19180D4C2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:20]
813*2^1410562-1 is not prime.  Res64: 105F5EA0E5C9730D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:22]
755*2^1410562-1 is not prime.  Res64: 3F62037587693B50  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:23]
983*2^1410562-1 is not prime.  Res64: D9BEB5E4FECF9C66  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:31]
619*2^1410563-1 is not prime.  Res64: FC30F4B1AAF8140F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:23:31]
669*2^1410563-1 is not prime.  Res64: 448D446852D45A6D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:00]
703*2^1410563-1 is not prime.  Res64: C801049770F49A60  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:01]
955*2^1410563-1 is not prime.  Res64: 6A64B85E3FFF8F7D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:05]
605*2^1410564-1 is not prime.  Res64: 99388077BB125122  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:06]
707*2^1410564-1 is not prime.  Res64: 6C7A76465E07D2B5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:15]
737*2^1410564-1 is not prime.  Res64: 4532C140175E537B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:41:15]
759*2^1410564-1 is not prime.  Res64: D0508B528DF62688  Time : 0.0 sec.
user=juhehe
[2015-09-29 19:44:35]
699*2^1410563-1 is not prime.  Res64: 711C368058914BD0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:44]
765*2^1410564-1 is not prime.  Res64: 325B24F58AD9DDF5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:45]
773*2^1410564-1 is not prime.  Res64: DCC9F587A1F3AC16  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:48]
969*2^1410564-1 is not prime.  Res64: FB3857BC32C33109  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:48]
661*2^1410565-1 is not prime.  Res64: 884D9F06CA87BB22  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:58]
721*2^1410565-1 is not prime.  Res64: D86DBE53A895AEC1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 19:58:58]
801*2^1410565-1 is not prime.  Res64: 0B15800C0119DF65  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:25]
927*2^1410565-1 is not prime.  Res64: FAEF228B2FB20A1C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:26]
645*2^1410566-1 is not prime.  Res64: 78D5385E25E6B130  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:27]
677*2^1410566-1 is not prime.  Res64: 6A2F3240B4FC4C1F  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:27]
815*2^1410566-1 is not prime.  Res64: 1C154EB60A6168C1  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:37]
857*2^1410566-1 is not prime.  Res64: 29C7D144EF8F9CA8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:16:37]
963*2^1410566-1 is not prime.  Res64: EDBDC57249053DC5  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:07]
675*2^1410567-1 is not prime.  Res64: FE10EB9CE2FC87F2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:07]
945*2^1410567-1 is not prime.  Res64: 0D0F3E9525FF9C4C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:10]
625*2^1410567-1 is not prime.  Res64: 4D9102AAB9B5FD28  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:11]
661*2^1410567-1 is not prime.  Res64: E29283844831D79B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:18]
629*2^1410568-1 is not prime.  Res64: 8C47B19833697E0B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:34:18]
819*2^1410568-1 is not prime.  Res64: B3D3706A0BA1EAA7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:35]
833*2^1410568-1 is not prime.  Res64: 6669D48B748A6D72  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:36]
849*2^1410568-1 is not prime.  Res64: 1072AE565C38F762  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:42]
975*2^1410568-1 is not prime.  Res64: C2D5873127D4EDBB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:42]
989*2^1410568-1 is not prime.  Res64: 986054CB7C5835CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:45]
679*2^1410569-1 is not prime.  Res64: 8F7B4F16F50AD5E8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 20:51:46]
711*2^1410569-1 is not prime.  Res64: C144E04190CEC10E  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:00]
909*2^1410569-1 is not prime.  Res64: CE0F2B876B9262C6  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:04]
931*2^1410569-1 is not prime.  Res64: 9945DE5E6C213773  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:08]
783*2^1410570-1 is not prime.  Res64: E53C809439D61A1A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:11]
915*2^1410570-1 is not prime.  Res64: CA45C1439D0A362D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:15]
693*2^1410571-1 is not prime.  Res64: 33759F42B1A83290  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:09:19]
769*2^1410571-1 is not prime.  Res64: 28FA140220C8A0D7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:38]
901*2^1410571-1 is not prime.  Res64: 4C200206198B1E78  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:39]
975*2^1410571-1 is not prime.  Res64: 54E0510D002626FF  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:40]
617*2^1410572-1 is not prime.  Res64: 7610BA3C610D2EC0  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:41]
629*2^1410572-1 is not prime.  Res64: 215DDEF4566ECB2A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:47]
893*2^1410572-1 is not prime.  Res64: 598DCB2335BD633D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:26:47]
929*2^1410572-1 is not prime.  Res64: 395FCD124A384ACF  Time : 0.0 sec.
user=juhehe
[2015-09-29 21:40:22]
811*2^1410571-1 is not prime.  Res64: C5D070B55E3B203D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:01]
945*2^1410572-1 is not prime.  Res64: 8A38741630F4E4CB  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:02]
959*2^1410572-1 is not prime.  Res64: 83FEE4D299D491B8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:02]
679*2^1410573-1 is not prime.  Res64: E186D25971EDA58B  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:03]
735*2^1410573-1 is not prime.  Res64: C84158D48636CA58  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:08]
847*2^1410573-1 is not prime.  Res64: 8B071BD079BC4BD4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 21:44:09]
849*2^1410573-1 is not prime.  Res64: 3F9AB585B2C3C8C0  Time : 0.0 sec.
user=juhehe
[2015-09-29 21:45:32]
889*2^1410571-1 is not prime.  Res64: 6136027640B44D6D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:25]
937*2^1410573-1 is not prime.  Res64: A6454EE7D6A19888  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:26]
675*2^1410574-1 is not prime.  Res64: 336160C0A9419CE8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:27]
657*2^1410574-1 is not prime.  Res64: C9040F212D1748BD  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:27]
825*2^1410574-1 is not prime.  Res64: E7B0C11116B69B9D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:32]
855*2^1410574-1 is not prime.  Res64: FD1FC1ACE603D1A7  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:01:33]
887*2^1410574-1 is not prime.  Res64: F72D7E6659E9880C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:10]
603*2^1410575-1 is not prime.  Res64: FA1E636BFFC5CC4C  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:10]
947*2^1410574-1 is not prime.  Res64: F1C922F1B3C2E613  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:10]
693*2^1410575-1 is not prime.  Res64: C7CF9066B14BD474  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:10]
1001*2^1410574-1 is not prime.  Res64: 8627E43206A2909D  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:11]
705*2^1410575-1 is not prime.  Res64: BFEDBCD377A9E159  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:19:11]
775*2^1410575-1 is not prime.  Res64: 40D17E338FDD2353  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:35]
913*2^1410575-1 is not prime.  Res64: 980B73B7C15EBFED  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:35]
979*2^1410575-1 is not prime.  Res64: E4BA2E8D3772B8DC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:36]
861*2^1410575-1 is not prime.  Res64: 9617D2B672218609  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:37]
865*2^1410575-1 is not prime.  Res64: 1792FF40C8902D88  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:39]
871*2^1410575-1 is not prime.  Res64: CF664FB43B3D94D2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:36:40]
895*2^1410575-1 is not prime.  Res64: C20FD881504F7586  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:02]
629*2^1410576-1 is not prime.  Res64: 77DDAC1202A817BC  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:02]
699*2^1410576-1 is not prime.  Res64: A9CA080AC19DB293  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:05]
707*2^1410576-1 is not prime.  Res64: 25B27A71341D0AED  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:05]
789*2^1410576-1 is not prime.  Res64: 2F989AED4D2A5966  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:09]
839*2^1410576-1 is not prime.  Res64: 3438B68A63553A49  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 22:54:09]
873*2^1410576-1 is not prime.  Res64: 557EE9A77804E3AE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:26]
983*2^1410576-1 is not prime.  Res64: CB0CE77884519979  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:28]
667*2^1410577-1 is not prime.  Res64: FD881BD4AB440E33  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:29]
727*2^1410577-1 is not prime.  Res64: 38A9A2D5BB25A96A  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:30]
769*2^1410577-1 is not prime.  Res64: 8AD73AFBCFCDE4EE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:34]
819*2^1410577-1 is not prime.  Res64: 76830854B45A68D4  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:11:35]
885*2^1410577-1 is not prime.  Res64: 666E652D229B5364  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:12]
997*2^1410577-1 is not prime.  Res64: FC2A138CFCEB3944  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:13]
767*2^1410578-1 is not prime.  Res64: 8A8E88C4FF852CB2  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:13]
893*2^1410578-1 is not prime.  Res64: 99E8CD7E94AC9BE8  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:13]
911*2^1410578-1 is not prime.  Res64: 61376F83EB8542BE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:13]
935*2^1410578-1 is not prime.  Res64: F7A9716CA6FAAE58  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:29:14]
977*2^1410578-1 is not prime.  Res64: A95CD1E1D8AA755A  Time : 0.0 sec.
user=juhehe
[2015-09-29 23:35:55]
915*2^1410577-1 is not prime.  Res64: 8C4C7CC04673B365  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:38]
969*2^1410579-1 is not prime.  Res64: 34CACA324A3AB365  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:38]
625*2^1410579-1 is not prime.  Res64: FB177E1C3E90F477  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:38]
975*2^1410579-1 is not prime.  Res64: 229575C22E34CA12  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:38]
801*2^1410579-1 is not prime.  Res64: EB184048112E48CE  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:38]
795*2^1410579-1 is not prime.  Res64: EA2C425DC4E10C26  Time : 0.0 sec.
user=mdettweiler
[2015-09-29 23:46:39]
829*2^1410579-1 is not prime.  Res64: 2FAED712556A1552  Time : 0.0 sec.