user=mdettweiler
[2016-12-12 00:07:22]
867*2^1448350-1 is not prime.  Res64: 09D737F70B139119  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:07:25]
887*2^1448350-1 is not prime.  Res64: 80E823FB80754CAF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:07:25]
891*2^1448350-1 is not prime.  Res64: 579029C9D743AA90  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:07:27]
661*2^1448351-1 is not prime.  Res64: EE5DAF7C6223AA77  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:07:27]
673*2^1448351-1 is not prime.  Res64: 231D9EA10458C0AE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:26:27]
715*2^1448351-1 is not prime.  Res64: A1CC8580079710B4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:26:27]
889*2^1448351-1 is not prime.  Res64: 32226F16238E6763  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:26:28]
909*2^1448351-1 is not prime.  Res64: BC3D68E38CE62E89  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:26:28]
949*2^1448351-1 is not prime.  Res64: 36356319FC160FA3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:26:28]
981*2^1448351-1 is not prime.  Res64: 0086D60C033FEE93  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:44:56]
633*2^1448352-1 is not prime.  Res64: 331970EC9845114A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:44:57]
635*2^1448352-1 is not prime.  Res64: 28236922676DA1BE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:44:57]
653*2^1448352-1 is not prime.  Res64: A87A6F90A51F4F41  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:44:58]
669*2^1448352-1 is not prime.  Res64: 87B650E76C685230  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:44:58]
947*2^1448352-1 is not prime.  Res64: 9CE766F32B11E3D8  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:51:56]
959*2^1448352-1 is not prime.  Res64: E67AA7F50A7A6712  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:51:57]
615*2^1448353-1 is not prime.  Res64: 3CFCA3415609BD35  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:51:57]
705*2^1448353-1 is not prime.  Res64: A089878FB8DBE528  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:51:58]
729*2^1448353-1 is not prime.  Res64: 3E2F080B4FED2BED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 00:51:58]
771*2^1448353-1 is not prime.  Res64: CAA5CF8DD70091EE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:10:49]
801*2^1448353-1 is not prime.  Res64: E9774DE85DD3B11E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:10:50]
831*2^1448353-1 is not prime.  Res64: 17E0E097D44E544C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:10:50]
957*2^1448353-1 is not prime.  Res64: F08E8185A289042A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:10:51]
641*2^1448354-1 is not prime.  Res64: D51B3E05A10D8251  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:10:51]
815*2^1448354-1 is not prime.  Res64: 5A19DC5BCD87667F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:29:19]
935*2^1448354-1 is not prime.  Res64: 652C5667112C2C79  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:29:20]
951*2^1448354-1 is not prime.  Res64: 37E18B370FCB5675  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:29:21]
1001*2^1448354-1 is not prime.  Res64: 342669C93AA726CB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:29:21]
723*2^1448355-1 is not prime.  Res64: A0CC2BD5ECA6F6B6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:29:22]
921*2^1448355-1 is not prime.  Res64: A9CAA077EF13E8A6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:36:18]
951*2^1448355-1 is not prime.  Res64: 8880CCA2B1F6F89E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:36:20]
963*2^1448355-1 is not prime.  Res64: 8A668FE7496CC374  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:36:21]
705*2^1448356-1 is not prime.  Res64: 9062EC516D2FA751  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:36:22]
843*2^1448356-1 is not prime.  Res64: 774F32F915889C17  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:36:23]
845*2^1448356-1 is not prime.  Res64: FB898F2184406AC7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:55:10]
869*2^1448356-1 is not prime.  Res64: 0175ACD02D644E61  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:55:11]
999*2^1448356-1 is not prime.  Res64: A4EC88F89368A868  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:55:11]
697*2^1448357-1 is not prime.  Res64: 66DCFE7DC1598B1A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:55:11]
777*2^1448357-1 is not prime.  Res64: 27790E6BE6E4FD72  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 01:55:12]
847*2^1448357-1 is not prime.  Res64: 0451A805B819DA90  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:13:51]
871*2^1448357-1 is not prime.  Res64: 594AACB993596140  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:13:52]
949*2^1448357-1 is not prime.  Res64: FAEE1284A76A2826  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:13:52]
979*2^1448357-1 is not prime.  Res64: 83A207E43D7C3163  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:13:53]
635*2^1448358-1 is not prime.  Res64: 75145CC6E83611D6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:13:53]
647*2^1448358-1 is not prime.  Res64: 750D1F7062FE72E7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:20:46]
737*2^1448358-1 is not prime.  Res64: 459C274DD67EC13C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:20:47]
773*2^1448358-1 is not prime.  Res64: 2FD25AB565825038  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:20:47]
777*2^1448358-1 is not prime.  Res64: EA481A1F0B924985  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:20:48]
963*2^1448358-1 is not prime.  Res64: F5E48E9998B3F5DB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:20:48]
609*2^1448359-1 is not prime.  Res64: 8D7F2622B99B265A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:39:30]
675*2^1448359-1 is not prime.  Res64: 30779E83E7C49D22  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:39:31]
703*2^1448359-1 is not prime.  Res64: 5F8F31669E8DB78F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:39:31]
771*2^1448359-1 is not prime.  Res64: 475F4C7C2EADC64A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:39:32]
885*2^1448359-1 is not prime.  Res64: 4EFC91720A58C731  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:39:32]
913*2^1448359-1 is not prime.  Res64: 70CEA0D0C58BE76D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:58:13]
933*2^1448359-1 is not prime.  Res64: 3DE60DA98504F86E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:58:13]
635*2^1448360-1 is not prime.  Res64: 88B33E812BEF05EF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:58:14]
773*2^1448360-1 is not prime.  Res64: 57BA758E582E1E21  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:58:14]
963*2^1448360-1 is not prime.  Res64: A21832474A3D21E8  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 02:58:15]
681*2^1448361-1 is not prime.  Res64: 37CDF1D85FE94F26  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:05:11]
739*2^1448361-1 is not prime.  Res64: 96945194A5D82458  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:05:12]
819*2^1448361-1 is not prime.  Res64: AB2BC6E443ED7053  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:05:14]
861*2^1448361-1 is not prime.  Res64: A5A675BB215B4A01  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:05:15]
865*2^1448361-1 is not prime.  Res64: 7A6F0AB619E09117  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:05:16]
951*2^1448361-1 is not prime.  Res64: DC71CA279CA77DAF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:23:52]
979*2^1448361-1 is not prime.  Res64: 9EFA15FF8360AF9B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:23:52]
997*2^1448361-1 is not prime.  Res64: 071F5DCF212E3153  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:23:53]
645*2^1448362-1 is not prime.  Res64: 392AB2A1C85F2B10  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:23:53]
705*2^1448362-1 is not prime.  Res64: 553CDC2C9C301463  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:23:54]
737*2^1448362-1 is not prime.  Res64: EDE20775FA31C34F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:42:35]
747*2^1448362-1 is not prime.  Res64: 3209B6EAA0D7D82F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:42:37]
755*2^1448362-1 is not prime.  Res64: 276085E1D830AD8F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:42:37]
843*2^1448362-1 is not prime.  Res64: 566AC930BF7B50DC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:42:40]
855*2^1448362-1 is not prime.  Res64: 0023DCA6832B0B27  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:42:42]
881*2^1448362-1 is not prime.  Res64: 0EF298DCC5DFE030  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:49:48]
917*2^1448362-1 is not prime.  Res64: 5D2A5FDD8A00F9F2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:49:49]
951*2^1448362-1 is not prime.  Res64: 97DB6EA263E0EB51  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:49:50]
975*2^1448362-1 is not prime.  Res64: 5732202046E8BBD2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:49:51]
619*2^1448363-1 is not prime.  Res64: 9C7E67325B1F5425  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 03:49:51]
675*2^1448363-1 is not prime.  Res64: 4CF7C24048CEE37A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:08:16]
753*2^1448363-1 is not prime.  Res64: B17DF94A0915252B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:08:16]
805*2^1448363-1 is not prime.  Res64: 8A3A99F063856A14  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:08:17]
813*2^1448363-1 is not prime.  Res64: CC9C802CFB449A15  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:08:17]
823*2^1448363-1 is not prime.  Res64: C4F68A593FCA0670  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:08:17]
985*2^1448363-1 is not prime.  Res64: 397A94C93EF6AB6B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:27:17]
663*2^1448364-1 is not prime.  Res64: 30788380D14A77A6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:27:18]
783*2^1448364-1 is not prime.  Res64: B67404F8FD48D975  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:27:18]
863*2^1448364-1 is not prime.  Res64: 4913F9CD4F6000A8  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:27:19]
903*2^1448364-1 is not prime.  Res64: 200E597B4876A542  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:27:19]
923*2^1448364-1 is not prime.  Res64: 59B4DBF567680802  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:34:15]
947*2^1448364-1 is not prime.  Res64: C7AB35D3D962BAA2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:34:16]
661*2^1448365-1 is not prime.  Res64: 0030FFD382C32522  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:34:16]
687*2^1448365-1 is not prime.  Res64: F96F7C2B9EA6AD6C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:34:17]
757*2^1448365-1 is not prime.  Res64: 16E4C830229ACBDF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:34:17]
775*2^1448365-1 is not prime.  Res64: 040CABA5AA6DCB52  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:52:38]
877*2^1448365-1 is not prime.  Res64: 22A4BC4BFE7C214A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:52:38]
889*2^1448365-1 is not prime.  Res64: 976FDF7A5C5EB4AE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:52:39]
895*2^1448365-1 is not prime.  Res64: 75BD7EF4150CAB51  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:52:39]
897*2^1448365-1 is not prime.  Res64: 358BB125CC363AD6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 04:52:39]
635*2^1448366-1 is not prime.  Res64: BD80C14043BFB4DE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:11:41]
707*2^1448366-1 is not prime.  Res64: 6508876E73AE6F3F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:11:42]
711*2^1448366-1 is not prime.  Res64: EC4ECF4EEE9ED9D6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:11:42]
857*2^1448366-1 is not prime.  Res64: E451DAA9A8AC5C56  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:11:43]
861*2^1448366-1 is not prime.  Res64: 5750AABDF471DC8A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:11:43]
911*2^1448366-1 is not prime.  Res64: 872A1EE53DC37B0B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:18:34]
633*2^1448367-1 is not prime.  Res64: 8DDC067EAA2DBEFD  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:18:35]
651*2^1448367-1 is not prime.  Res64: 755352A1FB87F31B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:18:35]
765*2^1448367-1 is not prime.  Res64: 10158D5AF8FA82BE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:18:35]
831*2^1448367-1 is not prime.  Res64: 60483E2910BDEE6F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:18:36]
961*2^1448367-1 is not prime.  Res64: 3C315B1A70C74725  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:36:58]
975*2^1448367-1 is not prime.  Res64: 48E24CE44DEDC79F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:36:59]
603*2^1448368-1 is not prime.  Res64: ED98EA5C1F9EDB7D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:36:59]
623*2^1448368-1 is not prime.  Res64: 06DE6EDACA23478A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:36:59]
705*2^1448368-1 is not prime.  Res64: 9E6DD285B80E49D3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:37:00]
649*2^1448369-1 is not prime.  Res64: 2BB3CA05EAC2CAE1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:56:01]
679*2^1448369-1 is not prime.  Res64: C4569E64313C14F0  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:56:01]
721*2^1448369-1 is not prime.  Res64: EFE533D8FEB489BB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:56:02]
771*2^1448369-1 is not prime.  Res64: 6730FC2D2C3D11E7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:56:02]
787*2^1448369-1 is not prime.  Res64: 57AEDA917883B1DD  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 05:56:02]
841*2^1448369-1 is not prime.  Res64: 8DFCC4ADE38624B2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:02:55]
867*2^1448369-1 is not prime.  Res64: ACDE43719E864B46  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:02:57]
879*2^1448369-1 is not prime.  Res64: 86CE8A9D82261BBE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:02:57]
627*2^1448370-1 is not prime.  Res64: D4E5D5DF075EC480  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:02:58]
735*2^1448370-1 is not prime.  Res64: 53B62C05329F5F41  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:03:00]
923*2^1448370-1 is not prime.  Res64: 6CFF4FB3D82757D7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:21:19]
957*2^1448370-1 is not prime.  Res64: 8222EE1BAEB22534  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:21:20]
977*2^1448370-1 is not prime.  Res64: 8A460855D12B6A3A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:21:20]
1001*2^1448370-1 is not prime.  Res64: AEEE260C46EE00E0  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:21:21]
603*2^1448371-1 is not prime.  Res64: 8339A8ABEB23B953  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:21:21]
615*2^1448371-1 is not prime.  Res64: 95BAEEF92683782A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:40:18]
715*2^1448371-1 is not prime.  Res64: D9E9F3B7E8BF059C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:40:19]
723*2^1448371-1 is not prime.  Res64: 7781B9800AEEB8F7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:40:19]
741*2^1448371-1 is not prime.  Res64: F8B9C733B2539587  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:40:19]
859*2^1448371-1 is not prime.  Res64: DBA4E8326892921F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:40:20]
873*2^1448371-1 is not prime.  Res64: 37E7AF3E06FF5B15  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:47:27]
617*2^1448372-1 is not prime.  Res64: 8E483473671C65DA  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:47:27]
693*2^1448372-1 is not prime.  Res64: D6C5A37393406957  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:47:28]
767*2^1448372-1 is not prime.  Res64: 427F977B545E0C89  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:47:28]
797*2^1448372-1 is not prime.  Res64: BA21AFB02D6F6EA0  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 06:47:28]
837*2^1448372-1 is not prime.  Res64: B243C00D8465B322  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:05:37]
929*2^1448372-1 is not prime.  Res64: A1A140D151D74D0D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:05:39]
625*2^1448373-1 is not prime.  Res64: 0B197448030323F1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:05:40]
759*2^1448373-1 is not prime.  Res64: 5A19DDE409E0FE6E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:05:42]
787*2^1448373-1 is not prime.  Res64: 00AD6BC99CD3C844  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:05:43]
811*2^1448373-1 is not prime.  Res64: E9ED0D360729B9BC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:24:36]
987*2^1448373-1 is not prime.  Res64: E64C5E8B4983C045  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:24:36]
605*2^1448374-1 is not prime.  Res64: BDC11B87BD02F937  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:24:36]
665*2^1448374-1 is not prime.  Res64: C857D0D22F8E99A3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:24:37]
707*2^1448374-1 is not prime.  Res64: 3E8AEED27B8CCD74  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:24:37]
885*2^1448374-1 is not prime.  Res64: 3195EA04CD09B4ED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:31:46]
891*2^1448374-1 is not prime.  Res64: CDE3B42774D24ECE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:31:46]
947*2^1448374-1 is not prime.  Res64: 3940529EF7CEF9ED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:31:47]
957*2^1448374-1 is not prime.  Res64: 5660E7DE928FA424  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:31:47]
675*2^1448375-1 is not prime.  Res64: CF7699000E3843C8  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:31:47]
759*2^1448375-1 is not prime.  Res64: AA302A01B68C7565  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:50:09]
789*2^1448375-1 is not prime.  Res64: 4D43F0637AA30FA1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:50:09]
861*2^1448375-1 is not prime.  Res64: B19E81B95D6A3C9A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:50:10]
623*2^1448376-1 is not prime.  Res64: 5E1C78402CCE3B1D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:50:10]
773*2^1448376-1 is not prime.  Res64: 8E9717DF1D731590  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 07:50:10]
899*2^1448376-1 is not prime.  Res64: 99BD80CD833FF2EB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:08:58]
609*2^1448377-1 is not prime.  Res64: 3F8A230CD36AAEEF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:08:59]
717*2^1448377-1 is not prime.  Res64: 674D06CE1B1DB18C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:08:59]
841*2^1448377-1 is not prime.  Res64: A1C0608A33FD2D1C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:09:00]
895*2^1448377-1 is not prime.  Res64: DE18A62FF6D186BE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:09:00]
955*2^1448377-1 is not prime.  Res64: F7C3D9B5363AA00F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:16:08]
657*2^1448378-1 is not prime.  Res64: 1E912CCB519E80FF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:16:09]
755*2^1448378-1 is not prime.  Res64: B8961D66942F4DFA  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:16:09]
833*2^1448378-1 is not prime.  Res64: F94F9002A6B0347A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:16:09]
911*2^1448378-1 is not prime.  Res64: DFC60FE21A2D1A8D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:16:10]
921*2^1448378-1 is not prime.  Res64: 5148CCCE178F9302  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:34:29]
609*2^1448379-1 is not prime.  Res64: D9F0415CE1D0E479  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:34:29]
639*2^1448379-1 is not prime.  Res64: 443D2FAA103D7A1E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:34:30]
769*2^1448379-1 is not prime.  Res64: 4282ADA294814AC2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:34:30]
895*2^1448379-1 is not prime.  Res64: 0D7C4282EC682E22  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:34:30]
955*2^1448379-1 is not prime.  Res64: 7F1899EECB355D2D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:53:22]
653*2^1448380-1 is not prime.  Res64: 64AF330750BCCC92  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:53:23]
735*2^1448380-1 is not prime.  Res64: EDBF1BFC26B8E68A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:53:24]
819*2^1448380-1 is not prime.  Res64: 78C0103B9F773CA4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:53:25]
827*2^1448380-1 is not prime.  Res64: B1F632B8050C02FC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 08:53:25]
909*2^1448380-1 is not prime.  Res64: 106A7B7BBD388896  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:00:28]
923*2^1448380-1 is not prime.  Res64: C581CDFBE5B1F516  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:00:29]
983*2^1448380-1 is not prime.  Res64: 61476F22BA5564DD  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:00:30]
607*2^1448381-1 is not prime.  Res64: 8D7725E69C73D162  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:00:31]
627*2^1448381-1 is not prime.  Res64: 1AE87E3E572413FC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:00:32]
631*2^1448381-1 is not prime.  Res64: 36CB8DC161725AF9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:18:52]
657*2^1448381-1 is not prime.  Res64: 870F5E9115EDE845  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:18:52]
781*2^1448381-1 is not prime.  Res64: 84779A24C041F560  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:18:52]
837*2^1448381-1 is not prime.  Res64: C45D8B31E960DCAB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:18:53]
957*2^1448381-1 is not prime.  Res64: C2A6808A2D4706B9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:18:53]
695*2^1448382-1 is not prime.  Res64: B0FBCD25A2619D39  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:37:46]
713*2^1448382-1 is not prime.  Res64: C270176D45864F21  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:37:46]
723*2^1448382-1 is not prime.  Res64: 2049C846506CBEA9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:37:47]
755*2^1448382-1 is not prime.  Res64: 9DE093B2C28E3EF2  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:37:47]
761*2^1448382-1 is not prime.  Res64: 7D154F11C6CAF603  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:37:47]
777*2^1448382-1 is not prime.  Res64: 0183096A47ECFABA  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:44:53]
705*2^1448383-1 is not prime.  Res64: 1EA1EAD051A68140  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:44:53]
783*2^1448383-1 is not prime.  Res64: 91FB1F951AA65C45  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:44:53]
853*2^1448383-1 is not prime.  Res64: 791F046603E86FF8  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:44:54]
873*2^1448383-1 is not prime.  Res64: 3986E55511DB27FB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 09:44:54]
895*2^1448383-1 is not prime.  Res64: 80AC649E19BC4257  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:03:18]
913*2^1448383-1 is not prime.  Res64: 9D8115B35D3FD759  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:03:19]
915*2^1448383-1 is not prime.  Res64: 20FEDD66A9ADFF25  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:03:21]
945*2^1448383-1 is not prime.  Res64: 99C2973927DDF95D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:03:22]
961*2^1448383-1 is not prime.  Res64: F01E1A98CA116CD6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:03:23]
659*2^1448384-1 is not prime.  Res64: C386E372E67B58EF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:22:09]
875*2^1448384-1 is not prime.  Res64: 41734640F1497E4E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:22:09]
903*2^1448384-1 is not prime.  Res64: AEE031007740122A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:22:10]
915*2^1448384-1 is not prime.  Res64: 7CFD75D5EF5D8920  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:22:10]
917*2^1448384-1 is not prime.  Res64: 29D84F3CF814AC23  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:22:11]
935*2^1448384-1 is not prime.  Res64: 5AFEE2097222E80C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:50:23]
959*2^1448384-1 is not prime.  Res64: C1AFD312FA41EDFC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:50:23]
639*2^1448385-1 is not prime.  Res64: EA7DE8F71CDB76EE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:50:23]
717*2^1448385-1 is not prime.  Res64: B3AEAB57D0C98829  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:50:24]
871*2^1448385-1 is not prime.  Res64: C0FC430CAC0DEB84  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 10:50:25]
909*2^1448385-1 is not prime.  Res64: DEA83F23A871CFC5  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:09:03]
951*2^1448385-1 is not prime.  Res64: 66F8EF2168C1B9A7  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:09:03]
997*2^1448385-1 is not prime.  Res64: 2C0162159211AA0A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:09:03]
713*2^1448386-1 is not prime.  Res64: FD839A8085619C47  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:09:03]
803*2^1448386-1 is not prime.  Res64: 6A9394EB0DBD58DB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:09:04]
833*2^1448386-1 is not prime.  Res64: 8A91B6B45F5D4136  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:28:51]
861*2^1448386-1 is not prime.  Res64: 8EB040C3F9C571C1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:28:52]
971*2^1448386-1 is not prime.  Res64: 36D4B9E9C37928F4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:28:52]
1001*2^1448386-1 is not prime.  Res64: 5D771937042941C0  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:28:52]
633*2^1448387-1 is not prime.  Res64: B085CBCF03783B8A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:28:52]
645*2^1448387-1 is not prime.  Res64: 8BDC4E60E7E11BF3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:38:07]
663*2^1448387-1 is not prime.  Res64: FE8307E9038F131C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:38:07]
685*2^1448387-1 is not prime.  Res64: 94A40098EF2FB9B3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:38:07]
759*2^1448387-1 is not prime.  Res64: 908E0BD735587C4A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:38:07]
799*2^1448387-1 is not prime.  Res64: A89AE6E6ED834BAD  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:38:07]
859*2^1448387-1 is not prime.  Res64: D6C1BF52C2716026  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:57:29]
901*2^1448387-1 is not prime.  Res64: A63CF1E043F92FED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:57:29]
955*2^1448387-1 is not prime.  Res64: 372AA8467F1ADE1B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:57:30]
845*2^1448388-1 is not prime.  Res64: 971099C92D746F2A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:57:30]
893*2^1448388-1 is not prime.  Res64: D52038E5136E52ED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 11:57:30]
999*2^1448388-1 is not prime.  Res64: 98EAFF815BF43314  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:15:08]
699*2^1448389-1 is not prime.  Res64: 9D2EA34412F3266F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:15:09]
757*2^1448389-1 is not prime.  Res64: C0DA437373C1CAD4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:15:09]
775*2^1448389-1 is not prime.  Res64: 18D1640698845141  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:15:09]
799*2^1448389-1 is not prime.  Res64: B194D62B0308BEB6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:15:10]
819*2^1448389-1 is not prime.  Res64: 00934CA18845179B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:23:43]
603*2^1448390-1 is not prime.  Res64: 77BC38521E5A1AF4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:23:44]
645*2^1448390-1 is not prime.  Res64: 2CDDD8B602D43BCD  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:23:44]
663*2^1448390-1 is not prime.  Res64: 027FA883FCC8402E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:23:45]
711*2^1448390-1 is not prime.  Res64: 9627865B6D74A580  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:23:45]
753*2^1448390-1 is not prime.  Res64: 12B5BF28EC612F1A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:41:48]
795*2^1448390-1 is not prime.  Res64: 0BD507E755C33A3E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:41:49]
833*2^1448390-1 is not prime.  Res64: F9DD7B6996731F75  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:41:49]
893*2^1448390-1 is not prime.  Res64: 9950443BBA4CD76D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:41:50]
941*2^1448390-1 is not prime.  Res64: B43B5C06CFB45EC4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:41:50]
995*2^1448390-1 is not prime.  Res64: 41DB75274C9D8D08  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:59:23]
619*2^1448391-1 is not prime.  Res64: B41DD897D62FB46E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:59:24]
703*2^1448391-1 is not prime.  Res64: 741DEBE344A4F6F6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:59:24]
711*2^1448391-1 is not prime.  Res64: 3B534337B2D8A62F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:59:24]
849*2^1448391-1 is not prime.  Res64: D9AB1681E24331EE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 12:59:25]
861*2^1448391-1 is not prime.  Res64: 94EBDF5970F28827  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:08:03]
973*2^1448391-1 is not prime.  Res64: 2B9D45F83D2E687D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:08:06]
693*2^1448392-1 is not prime.  Res64: 1DA9181AE933DAF5  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:08:08]
797*2^1448392-1 is not prime.  Res64: 376DA570F15574C3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:08:11]
813*2^1448392-1 is not prime.  Res64: 4C16468E328FD996  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:08:14]
827*2^1448392-1 is not prime.  Res64: F8E28FC87997660B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:26:01]
669*2^1448393-1 is not prime.  Res64: DCD2F9883A9A95A1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:26:02]
705*2^1448393-1 is not prime.  Res64: B17812D88DBC8542  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:26:02]
781*2^1448393-1 is not prime.  Res64: 8B18BF79DC43FF5F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:26:02]
795*2^1448393-1 is not prime.  Res64: E4443E3354C32EF9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:26:03]
831*2^1448393-1 is not prime.  Res64: 376C110B9D38CE1D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:43:40]
871*2^1448393-1 is not prime.  Res64: BCD8E27C07716367  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:43:40]
889*2^1448393-1 is not prime.  Res64: 0066F44AC5209AD9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:43:40]
939*2^1448393-1 is not prime.  Res64: DDEBCE544CDF2BC1  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:43:41]
951*2^1448393-1 is not prime.  Res64: BC455E5FED8F85CC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:43:41]
641*2^1448394-1 is not prime.  Res64: 851191CE912D8890  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:52:43]
731*2^1448394-1 is not prime.  Res64: 7DA5CEB9D32E6C1C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:52:43]
851*2^1448394-1 is not prime.  Res64: C94438A8AEC8FB4F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:52:43]
875*2^1448394-1 is not prime.  Res64: 8173E7F5C861CF39  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:52:44]
891*2^1448394-1 is not prime.  Res64: FC9FCB86A076EA28  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 13:52:44]
927*2^1448394-1 is not prime.  Res64: EBE792E5BC5AE673  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:10:15]
651*2^1448395-1 is not prime.  Res64: C2ECD29784D71837  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:10:16]
675*2^1448395-1 is not prime.  Res64: 1A26E85872BD90BF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:10:17]
679*2^1448395-1 is not prime.  Res64: 2ED5D1895907075A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:10:18]
691*2^1448395-1 is not prime.  Res64: 70E18A0AAA4E3311  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:10:19]
829*2^1448395-1 is not prime.  Res64: 3DB26F6E23F532BF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:27:52]
853*2^1448395-1 is not prime.  Res64: 2BDE311F60E6C490  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:27:53]
909*2^1448395-1 is not prime.  Res64: FDC833848062229E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:27:53]
615*2^1448396-1 is not prime.  Res64: 10A8C66ADAF1FD52  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:27:53]
629*2^1448396-1 is not prime.  Res64: 0A116E4C8CFD0B8D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:27:54]
677*2^1448396-1 is not prime.  Res64: F532575A9E73013F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:36:55]
707*2^1448396-1 is not prime.  Res64: 233AB2FB59DC9473  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:36:56]
759*2^1448396-1 is not prime.  Res64: 4BB30D1D92137CC6  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:36:56]
825*2^1448396-1 is not prime.  Res64: 608F2DC3179B1C53  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:36:56]
927*2^1448396-1 is not prime.  Res64: A1910844C20CF83D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:36:57]
983*2^1448396-1 is not prime.  Res64: 4BD33FE0EFAA2C8C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:54:35]
625*2^1448397-1 is not prime.  Res64: F738ADB3344342F3  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:54:35]
735*2^1448397-1 is not prime.  Res64: FA9D607AA0259ACF  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:54:36]
999*2^1448397-1 is not prime.  Res64: BC03E4B7AF523EDB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:54:36]
623*2^1448398-1 is not prime.  Res64: 0DB1C8BCC6B8063A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 14:54:36]
645*2^1448398-1 is not prime.  Res64: 368F152C50B4C34D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:24:46]
671*2^1448398-1 is not prime.  Res64: 8A0E10DAC325509B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:24:47]
707*2^1448398-1 is not prime.  Res64: 29E7451837D39540  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:24:48]
765*2^1448398-1 is not prime.  Res64: A885E3B9EA56859E  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:24:49]
777*2^1448398-1 is not prime.  Res64: 6AF56A5E0058E432  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:24:49]
813*2^1448398-1 is not prime.  Res64: 10290CE2DF094960  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:33:44]
821*2^1448398-1 is not prime.  Res64: C48A89D46008F559  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:33:45]
863*2^1448398-1 is not prime.  Res64: F0CF406634486CDC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:33:45]
885*2^1448398-1 is not prime.  Res64: 120E8F191E3F4EC9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:33:45]
897*2^1448398-1 is not prime.  Res64: 88BC2F892BF2D5ED  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:33:46]
981*2^1448398-1 is not prime.  Res64: DFDF16849D2275CC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:52:05]
609*2^1448399-1 is not prime.  Res64: 60B31121F7038A8B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:52:06]
705*2^1448399-1 is not prime.  Res64: A38C2A25E0907C87  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:52:06]
799*2^1448399-1 is not prime.  Res64: 93F9EAD8928A2B1F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:52:06]
843*2^1448399-1 is not prime.  Res64: 2C89EEBC5D088CD5  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 15:52:07]
859*2^1448399-1 is not prime.  Res64: 72504BA02B8A73F4  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:09:22]
861*2^1448399-1 is not prime.  Res64: 783EC42AE0D79D0C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:09:23]
999*2^1448399-1 is not prime.  Res64: 676287E60695586D  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:09:24]
689*2^1448400-1 is not prime.  Res64: 7190064F6D90D99B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:09:25]
693*2^1448400-1 is not prime.  Res64: 22206C8571B7E172  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:09:26]
695*2^1448400-1 is not prime.  Res64: F3AE4010FD77EF56  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:18:09]
725*2^1448400-1 is not prime.  Res64: C2688574EB429115  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:18:10]
923*2^1448400-1 is not prime.  Res64: ECCEB793170A7812  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:18:10]
929*2^1448400-1 is not prime.  Res64: 926190475CBB3F3F  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:18:11]
999*2^1448400-1 is not prime.  Res64: 611B234F9B623776  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:18:11]
615*2^1448401-1 is not prime.  Res64: C8875E7A3B8CCA5B  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:36:31]
705*2^1448401-1 is not prime.  Res64: EE7C3244032F8E39  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:36:31]
861*2^1448401-1 is not prime.  Res64: 177C2555C16ED3C9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:36:31]
931*2^1448401-1 is not prime.  Res64: 353C79271CBC5FEC  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:36:32]
997*2^1448401-1 is not prime.  Res64: C7EBFE1C544F0CCA  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:36:32]
657*2^1448402-1 is not prime.  Res64: DE0065D0026564C5  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:53:57]
701*2^1448402-1 is not prime.  Res64: BA1283478AF08E71  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:53:57]
713*2^1448402-1 is not prime.  Res64: 027C472FFF12CD6A  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:53:58]
935*2^1448402-1 is not prime.  Res64: 4B02FA6F23115F57  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:53:58]
977*2^1448402-1 is not prime.  Res64: A796B2022CEE6615  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 16:53:58]
663*2^1448403-1 is not prime.  Res64: B1EBC2DC8B2DE76C  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 17:02:38]
679*2^1448403-1 is not prime.  Res64: 44E7B10126E90ECE  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 17:02:39]
705*2^1448403-1 is not prime.  Res64: 3B2DB839B79024EA  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 17:02:40]
709*2^1448403-1 is not prime.  Res64: D2A75DB9ECBD36FB  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 17:02:41]
735*2^1448403-1 is not prime.  Res64: 15239F46E27F65B9  Time : 0.0 sec.
user=mdettweiler
[2016-12-12 17:02:42]
751*2^1448403-1 is not prime.  Res64: DD546E030E8D1BE3  Time : 0.0 sec.