user=mdettweiler
[2015-12-06 00:09:27]
855*2^1416925-1 is not prime.  Res64: C0C747A8962119A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:09:28]
877*2^1416925-1 is not prime.  Res64: 310C4A814FC42C25  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:09:31]
895*2^1416925-1 is not prime.  Res64: 8D916A0503978ACA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:09:33]
707*2^1416926-1 is not prime.  Res64: BDBE75F1340EAD11  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:20:06]
741*2^1416926-1 is not prime.  Res64: 28EFEEE3996D7FAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:20:07]
813*2^1416926-1 is not prime.  Res64: 5A18DA1B697F249F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:32:28]
857*2^1416926-1 is not prime.  Res64: 81917C12CE5FD24F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:32:28]
873*2^1416926-1 is not prime.  Res64: 7F68BC9FDFA16E7C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:32:31]
911*2^1416926-1 is not prime.  Res64: 43CBB13A8B726A63  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:32:32]
793*2^1416927-1 is not prime.  Res64: 771CA87491A5C37D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:40:11]
891*2^1416927-1 is not prime.  Res64: 0DE7C0663FA9EE6F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:40:12]
707*2^1416928-1 is not prime.  Res64: 680701E4F35AA73E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:51:08]
723*2^1416928-1 is not prime.  Res64: 47FF45DA1ABB0BF3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:51:09]
989*2^1416928-1 is not prime.  Res64: EC3D3A713321AEDC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:51:10]
999*2^1416928-1 is not prime.  Res64: 84376C0254A0B382  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:51:10]
601*2^1416929-1 is not prime.  Res64: 802062C69677F073  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:58:35]
657*2^1416929-1 is not prime.  Res64: 69E6426AC4B1FA98  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 00:58:36]
771*2^1416929-1 is not prime.  Res64: B87AB8F11462502D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:09:04]
865*2^1416929-1 is not prime.  Res64: 078FA8395025E873  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:09:04]
741*2^1416930-1 is not prime.  Res64: D890E20EB5735908  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:09:05]
955*2^1416929-1 is not prime.  Res64: C57D89CFEC2847E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:09:06]
777*2^1416930-1 is not prime.  Res64: 64F4ACF0F64D1B66  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:16:33]
783*2^1416930-1 is not prime.  Res64: 8D1DC4B570F18293  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:16:33]
951*2^1416930-1 is not prime.  Res64: 3261753324A05645  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:27:12]
663*2^1416931-1 is not prime.  Res64: 0FE567EB1C38333D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:27:14]
759*2^1416931-1 is not prime.  Res64: B779E211690DFA29  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:27:14]
829*2^1416931-1 is not prime.  Res64: 55BBC8BF30EADE7B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:27:15]
873*2^1416931-1 is not prime.  Res64: CF95B98457A47336  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:34:34]
883*2^1416931-1 is not prime.  Res64: E4D6CCD64B187DF2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:34:34]
913*2^1416931-1 is not prime.  Res64: 5F5696A74AE28259  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:45:12]
973*2^1416931-1 is not prime.  Res64: F0D20AC4683B7F28  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:45:14]
975*2^1416931-1 is not prime.  Res64: 5D63F197A2B90357  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:45:14]
939*2^1416931-1 is not prime.  Res64: 65B011698C513740  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:45:15]
999*2^1416931-1 is not prime.  Res64: BB1038D2AE1FB740  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:52:11]
605*2^1416932-1 is not prime.  Res64: 8816BD212B5FEB7A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 01:52:12]
623*2^1416932-1 is not prime.  Res64: EAE4A7EB26DFDA0E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:03:02]
629*2^1416932-1 is not prime.  Res64: 115E7C50F254B1B0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:03:03]
893*2^1416932-1 is not prime.  Res64: 5F1F02F23A0DE80A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:03:04]
963*2^1416932-1 is not prime.  Res64: C321738767549C0F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:03:05]
635*2^1416932-1 is not prime.  Res64: 984F0DAB64B2AAAA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:09:48]
983*2^1416932-1 is not prime.  Res64: 8DEA9CCDB8EC8F4E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:09:49]
609*2^1416933-1 is not prime.  Res64: 2F0A1599095D98CA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:21:08]
951*2^1416933-1 is not prime.  Res64: 2C3EF633CD21BF1D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:21:09]
991*2^1416933-1 is not prime.  Res64: 4524A4B361BBA1B4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:21:09]
871*2^1416933-1 is not prime.  Res64: D928F4C84D0915BF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:21:10]
921*2^1416933-1 is not prime.  Res64: 07B751D70E668C2E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:27:25]
677*2^1416934-1 is not prime.  Res64: 5EBE0235A7EEA275  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:27:26]
681*2^1416934-1 is not prime.  Res64: C7F110AD9F8C7036  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:38:46]
717*2^1416934-1 is not prime.  Res64: 9A1CDEAABF22ACA1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:38:46]
813*2^1416934-1 is not prime.  Res64: D866D4A75A6076EE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:38:47]
827*2^1416934-1 is not prime.  Res64: AE1750319FE1DE9E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:38:47]
885*2^1416934-1 is not prime.  Res64: 8CA2161EC7F8E7D5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:45:05]
981*2^1416934-1 is not prime.  Res64: 554F0B8A49FC5211  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:45:05]
1001*2^1416934-1 is not prime.  Res64: 224B6AF8101C4524  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:56:27]
805*2^1416935-1 is not prime.  Res64: 081CC57C5E1FEDC1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:56:28]
855*2^1416935-1 is not prime.  Res64: 42976FA0E68BEE38  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:56:31]
753*2^1416935-1 is not prime.  Res64: 74CF79B578D74033  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 02:56:31]
789*2^1416935-1 is not prime.  Res64: D483ECFD5ADBC89A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:02:42]
963*2^1416935-1 is not prime.  Res64: F6C8B8CF48FFCED3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:02:43]
737*2^1416936-1 is not prime.  Res64: B6DE6B08DED3C6F8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:14:06]
779*2^1416936-1 is not prime.  Res64: 05B0EF79E7BE4AC6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:14:07]
809*2^1416936-1 is not prime.  Res64: B6A2C80E88859A92  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:14:10]
849*2^1416936-1 is not prime.  Res64: 252F33FDC1603FEB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:14:10]
993*2^1416936-1 is not prime.  Res64: 89FC3DC05CC368C0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:20:29]
807*2^1416937-1 is not prime.  Res64: 6FC3433349602D14  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:20:29]
831*2^1416937-1 is not prime.  Res64: 0B9049F72D3D7C3F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:31:48]
871*2^1416937-1 is not prime.  Res64: DD67BDC5A1BBFF80  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:31:50]
939*2^1416937-1 is not prime.  Res64: B4E783CA6A88DDFD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:31:53]
979*2^1416937-1 is not prime.  Res64: 4B3B307FE7F0883D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:31:54]
641*2^1416938-1 is not prime.  Res64: 54F888671114815D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:38:05]
683*2^1416938-1 is not prime.  Res64: 7B491B962C847C36  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:38:06]
707*2^1416938-1 is not prime.  Res64: 16BEFC4989650826  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:49:37]
767*2^1416938-1 is not prime.  Res64: FA4133C4F58012FB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:49:38]
813*2^1416938-1 is not prime.  Res64: 8135324333C049FB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:49:39]
827*2^1416938-1 is not prime.  Res64: 0189B01E498A3C98  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:49:40]
923*2^1416938-1 is not prime.  Res64: 11505C3B51D6CA92  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:55:50]
977*2^1416938-1 is not prime.  Res64: D83E5460CE3F11CF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 03:55:50]
741*2^1416939-1 is not prime.  Res64: 6B90DC718E3BBD42  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:07:33]
921*2^1416939-1 is not prime.  Res64: E67E58DF1A6A0264  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:07:35]
635*2^1416940-1 is not prime.  Res64: BBE14624A8AC4228  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:07:35]
789*2^1416939-1 is not prime.  Res64: 81BE7C1A4FB74171  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:07:37]
879*2^1416939-1 is not prime.  Res64: E8A3FBC593491A07  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:13:32]
695*2^1416940-1 is not prime.  Res64: 4DA84AFA17A3209D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:13:33]
873*2^1416940-1 is not prime.  Res64: 9854B2520A964DDD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:25:51]
975*2^1416940-1 is not prime.  Res64: 7456535F39BE715A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:25:51]
649*2^1416941-1 is not prime.  Res64: A7D93C4151F15FD5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:25:53]
915*2^1416940-1 is not prime.  Res64: 1AF134036C3B08F1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:25:54]
965*2^1416940-1 is not prime.  Res64: 7A506CE127B4B33F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:31:29]
651*2^1416941-1 is not prime.  Res64: AFA87CD3F919D489  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:31:29]
741*2^1416941-1 is not prime.  Res64: D97307DF8BC6CA7D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:43:38]
757*2^1416941-1 is not prime.  Res64: D21323BA680C6BAA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:43:38]
865*2^1416941-1 is not prime.  Res64: 4C9FA3BC0B1C6477  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:43:45]
867*2^1416941-1 is not prime.  Res64: 4BD903A1F83BBEBA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:43:45]
937*2^1416941-1 is not prime.  Res64: E4F296EB7FB355BF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:49:16]
693*2^1416942-1 is not prime.  Res64: 4705960707E601C1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 04:49:16]
705*2^1416942-1 is not prime.  Res64: 21562126D8B669BC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:01:21]
713*2^1416942-1 is not prime.  Res64: 75EBEA2D5F3BAC7A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:01:23]
797*2^1416942-1 is not prime.  Res64: ED6622E81B46ED85  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:01:31]
975*2^1416942-1 is not prime.  Res64: 75EB084D8987A5F1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:01:36]
663*2^1416943-1 is not prime.  Res64: 1126106493F308A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:06:57]
685*2^1416943-1 is not prime.  Res64: D9A3A15539D2F01D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:06:58]
693*2^1416943-1 is not prime.  Res64: C423CC9536349863  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:19:09]
709*2^1416943-1 is not prime.  Res64: 818AF7005935B185  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:19:10]
811*2^1416943-1 is not prime.  Res64: FEA95362A9DC0296  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:19:18]
859*2^1416943-1 is not prime.  Res64: CD883A6ED9D6FC58  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:19:19]
969*2^1416943-1 is not prime.  Res64: 6D06937452666F52  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:24:43]
985*2^1416943-1 is not prime.  Res64: 990E455CB1B2EA3D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:24:43]
993*2^1416943-1 is not prime.  Res64: 89009E646DEE02FF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:36:48]
999*2^1416943-1 is not prime.  Res64: 1CDBC62B6D7CAFAE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:36:48]
717*2^1416944-1 is not prime.  Res64: 6A2DAD1FAAF6C32A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:36:56]
819*2^1416944-1 is not prime.  Res64: 5705F16F30A0AD91  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:36:56]
825*2^1416944-1 is not prime.  Res64: 42CE0C150CDC0076  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:42:21]
857*2^1416944-1 is not prime.  Res64: 8A1D8FED84F823E6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:42:21]
893*2^1416944-1 is not prime.  Res64: 30D38B4C144E06B6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:54:24]
685*2^1416945-1 is not prime.  Res64: 20EDE80334BE887D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:54:25]
699*2^1416945-1 is not prime.  Res64: F737AA63346153ED  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:54:34]
759*2^1416945-1 is not prime.  Res64: 8B501F37B3564D61  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:54:34]
861*2^1416945-1 is not prime.  Res64: C6C7CFDF04AD23E8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:59:59]
891*2^1416945-1 is not prime.  Res64: 3E3783B88E82AB7D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 05:59:59]
937*2^1416945-1 is not prime.  Res64: 07AEF23322470B5B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:12:01]
603*2^1416946-1 is not prime.  Res64: 1D65E78110ADDAB6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:12:01]
611*2^1416946-1 is not prime.  Res64: 61E7DB3B1A2BD65B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:12:12]
755*2^1416946-1 is not prime.  Res64: FBAF97B8CAE03F80  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:12:12]
783*2^1416946-1 is not prime.  Res64: 8485F6F684F096AD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:17:39]
801*2^1416946-1 is not prime.  Res64: 852FECF5832B79CC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:17:39]
821*2^1416946-1 is not prime.  Res64: EC7D9CE6C9B0642E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:29:39]
1001*2^1416946-1 is not prime.  Res64: CFCFB87C3327E60C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:29:40]
651*2^1416947-1 is not prime.  Res64: A2E3C1AACCE8FBBC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:29:47]
685*2^1416947-1 is not prime.  Res64: 9D53816A61C00BDD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:29:47]
705*2^1416947-1 is not prime.  Res64: 989D2BEE50FB8C04  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:35:15]
735*2^1416947-1 is not prime.  Res64: AC8C67F9C3265AFA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:35:15]
843*2^1416947-1 is not prime.  Res64: 0C11CFC3D8ADF60C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:47:15]
885*2^1416947-1 is not prime.  Res64: 66DEC5EDB74D7735  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:47:15]
955*2^1416947-1 is not prime.  Res64: 64E97D8588346443  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:47:25]
973*2^1416947-1 is not prime.  Res64: ADB160F6E6FB4D90  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:47:26]
981*2^1416947-1 is not prime.  Res64: A877F153BEE5E0A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:52:53]
993*2^1416947-1 is not prime.  Res64: 599259CF1FDD8BB6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 06:52:54]
647*2^1416948-1 is not prime.  Res64: 833DA9B9C19838F1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:04:51]
683*2^1416948-1 is not prime.  Res64: 6AA248F92593F422  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:04:52]
759*2^1416948-1 is not prime.  Res64: 2E7E3B4B4DF7C481  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:05:01]
765*2^1416948-1 is not prime.  Res64: F1FF2947205B312D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:05:02]
773*2^1416948-1 is not prime.  Res64: 7C4F72FF74D99829  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:10:31]
933*2^1416948-1 is not prime.  Res64: 7E99D9A877896F32  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:10:32]
969*2^1416948-1 is not prime.  Res64: 2A2D495A3E3230FF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:22:40]
691*2^1416949-1 is not prime.  Res64: 37A6AB6DC257EE38  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:22:40]
771*2^1416949-1 is not prime.  Res64: 73CAD2698EDAA7CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:22:44]
993*2^1416948-1 is not prime.  Res64: 0E56A5D15CEC75BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:22:44]
615*2^1416949-1 is not prime.  Res64: 1E1873C72F9AF500  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:28:10]
799*2^1416949-1 is not prime.  Res64: 48D586862E140E9A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:28:10]
811*2^1416949-1 is not prime.  Res64: 1F4E97735A6CFDD5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:40:17]
825*2^1416949-1 is not prime.  Res64: FDEA5E46F428E593  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:40:17]
831*2^1416949-1 is not prime.  Res64: 6473FB8F23C11108  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:40:22]
855*2^1416949-1 is not prime.  Res64: 6857F287827EFFD8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:40:22]
931*2^1416949-1 is not prime.  Res64: A7D37D0EB6AFA400  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:45:47]
945*2^1416949-1 is not prime.  Res64: 7DE38A8236FDC607  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:45:48]
967*2^1416949-1 is not prime.  Res64: 8DB9C7AC12E5E60A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:57:52]
603*2^1416950-1 is not prime.  Res64: 9EE621E12AECB957  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:57:52]
711*2^1416950-1 is not prime.  Res64: 89D83B2048BC9F2F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:57:58]
911*2^1416950-1 is not prime.  Res64: F471A861BEEBC86C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 07:57:58]
917*2^1416950-1 is not prime.  Res64: F3A624AB3F1A7874  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:03:26]
921*2^1416950-1 is not prime.  Res64: 727F8422426E35E0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:03:27]
971*2^1416950-1 is not prime.  Res64: A824C7FE8FD6BE32  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:15:31]
615*2^1416951-1 is not prime.  Res64: C7BE4F15F641AC81  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:15:32]
619*2^1416951-1 is not prime.  Res64: 0E1C9FBCFC609074  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:15:38]
679*2^1416951-1 is not prime.  Res64: 6530CD8B739F78CC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:15:38]
795*2^1416951-1 is not prime.  Res64: 31C55D07228EA1B2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:21:04]
805*2^1416951-1 is not prime.  Res64: E7AABFFF57505962  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:21:05]
823*2^1416951-1 is not prime.  Res64: FFF283AED186BD71  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:33:10]
861*2^1416951-1 is not prime.  Res64: AAB948A66025B9E4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:33:10]
943*2^1416951-1 is not prime.  Res64: 29D78EF3F38DFE8D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:33:13]
961*2^1416951-1 is not prime.  Res64: 61861643DCE160FB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:33:13]
975*2^1416951-1 is not prime.  Res64: 56035F47F92FA43D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:38:40]
645*2^1416952-1 is not prime.  Res64: 5148F4E083015C66  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:38:40]
657*2^1416952-1 is not prime.  Res64: BA87087EF72F9259  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:50:45]
723*2^1416952-1 is not prime.  Res64: 657EF80B7A348DF4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:50:46]
765*2^1416952-1 is not prime.  Res64: 9E1AB601468601C1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:50:50]
863*2^1416952-1 is not prime.  Res64: A228E647D627E613  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:50:50]
899*2^1416952-1 is not prime.  Res64: A3E1E146BEB00F84  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:56:17]
903*2^1416952-1 is not prime.  Res64: B454C932173B9020  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 08:56:17]
917*2^1416952-1 is not prime.  Res64: 8855841D93D1A3ED  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:08:19]
923*2^1416952-1 is not prime.  Res64: C756F974CFACBDD3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:08:20]
741*2^1416953-1 is not prime.  Res64: ED6FC51275DEB628  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:08:25]
771*2^1416953-1 is not prime.  Res64: 372578905378900F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:08:27]
879*2^1416953-1 is not prime.  Res64: D29D7A582D8232DD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:13:51]
621*2^1416954-1 is not prime.  Res64: 93381E547B48529B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:13:51]
663*2^1416954-1 is not prime.  Res64: 170CB6DBE285717F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:25:59]
683*2^1416954-1 is not prime.  Res64: 32633FE3839740EA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:25:59]
723*2^1416954-1 is not prime.  Res64: C389C18E32425FA3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:26:02]
797*2^1416954-1 is not prime.  Res64: 932D2674D116FF4E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:26:02]
601*2^1416955-1 is not prime.  Res64: 31D8BAA0906403F1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:31:28]
733*2^1416955-1 is not prime.  Res64: 627035DEB589982D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:31:28]
805*2^1416955-1 is not prime.  Res64: 5ED4CC92F9FA448B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:43:34]
859*2^1416955-1 is not prime.  Res64: EACE400D17DFDA6E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:43:34]
861*2^1416955-1 is not prime.  Res64: 9FAD62DE61075185  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:43:39]
895*2^1416955-1 is not prime.  Res64: B56D4F3E646819B2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:43:39]
961*2^1416955-1 is not prime.  Res64: 653BA42F66092F39  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:49:04]
999*2^1416955-1 is not prime.  Res64: 27935EEB6844B6FB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 09:49:04]
623*2^1416956-1 is not prime.  Res64: 5091137A93986561  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:01:10]
633*2^1416956-1 is not prime.  Res64: DE60835A1ED40880  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:01:11]
675*2^1416956-1 is not prime.  Res64: 695D347A95EA581B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:01:14]
693*2^1416956-1 is not prime.  Res64: B570B8F4D5A7BC81  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:01:15]
923*2^1416956-1 is not prime.  Res64: E7FC9EE14374B35A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:06:38]
945*2^1416956-1 is not prime.  Res64: 4F7DF6A2F6C0E39A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:06:39]
983*2^1416956-1 is not prime.  Res64: 15410A370A0F9FA3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:18:59]
661*2^1416957-1 is not prime.  Res64: CFC7D6D51E2A283A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:18:59]
727*2^1416957-1 is not prime.  Res64: 664FE0DF006018CA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:19:00]
741*2^1416957-1 is not prime.  Res64: E8E17F709F6524BC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:19:01]
765*2^1416957-1 is not prime.  Res64: 563F70274BF34D6A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:24:12]
769*2^1416957-1 is not prime.  Res64: 2A4B79922C565A85  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:24:13]
795*2^1416957-1 is not prime.  Res64: E13C6B8C1683F286  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:36:37]
817*2^1416957-1 is not prime.  Res64: AD18856E82800A0A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:36:37]
915*2^1416957-1 is not prime.  Res64: 247061D2023D29F5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:36:37]
867*2^1416957-1 is not prime.  Res64: 1D461F3404B8D51B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:36:37]
949*2^1416957-1 is not prime.  Res64: 62D51EFC41EBE2EC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:41:48]
961*2^1416957-1 is not prime.  Res64: D3576E237B0D8BDC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:41:48]
605*2^1416958-1 is not prime.  Res64: 2EF60ABF7E641105  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:54:11]
863*2^1416958-1 is not prime.  Res64: 979ABEBCCC03A6E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:54:11]
923*2^1416958-1 is not prime.  Res64: 681A34C608FAF19E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:54:14]
665*2^1416958-1 is not prime.  Res64: 689BAF23ECE1E8A7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:54:15]
831*2^1416958-1 is not prime.  Res64: 62D1ECE6AE9E9F2A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:59:23]
971*2^1416958-1 is not prime.  Res64: 53589823858FDC84  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 10:59:24]
1001*2^1416958-1 is not prime.  Res64: 781423CCFD1DD392  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:11:47]
663*2^1416959-1 is not prime.  Res64: AC128A64541C3557  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:11:48]
669*2^1416959-1 is not prime.  Res64: 1B24953EA6D6839F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:11:50]
703*2^1416959-1 is not prime.  Res64: 3F99499895FD8015  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:11:50]
775*2^1416959-1 is not prime.  Res64: CE101166AC9A7EC2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:17:00]
829*2^1416959-1 is not prime.  Res64: DEBA15A81BA6CDFF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:17:01]
841*2^1416959-1 is not prime.  Res64: 3FC7E369A4C59790  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:29:26]
803*2^1416960-1 is not prime.  Res64: 1F33B8348F332080  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:29:26]
843*2^1416960-1 is not prime.  Res64: 9E98649473A42C33  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:29:27]
943*2^1416959-1 is not prime.  Res64: CA8B783C1A3707F0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:29:28]
695*2^1416960-1 is not prime.  Res64: 92E905DF669991A8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:34:35]
887*2^1416960-1 is not prime.  Res64: 464CDF5C219E5A9C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:34:36]
705*2^1416961-1 is not prime.  Res64: F11D27ABA6125C2B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:47:02]
877*2^1416961-1 is not prime.  Res64: C25890D68861E84B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:47:03]
777*2^1416961-1 is not prime.  Res64: B885F1E3D3B7D8EE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:47:03]
633*2^1416962-1 is not prime.  Res64: 6F85FCBF6F85C2AB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:47:03]
819*2^1416961-1 is not prime.  Res64: 4387F9A1BEA86E99  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:52:11]
665*2^1416962-1 is not prime.  Res64: BD8170AF60C7FDD8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 11:52:12]
677*2^1416962-1 is not prime.  Res64: 5EC60708758CD268  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:04:39]
735*2^1416962-1 is not prime.  Res64: AD05F42757D3E1D3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:04:40]
815*2^1416962-1 is not prime.  Res64: 81A1D989DCD16CB7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:04:41]
741*2^1416962-1 is not prime.  Res64: C0AF7CACD4577D74  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:04:42]
957*2^1416962-1 is not prime.  Res64: BADEA388D5D2237B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:09:47]
619*2^1416963-1 is not prime.  Res64: 5A4F13BDF8083B17  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:09:47]
669*2^1416963-1 is not prime.  Res64: D7355FB01BFDE48B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:22:40]
705*2^1416963-1 is not prime.  Res64: 241DC4F998DCB2CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:22:40]
709*2^1416963-1 is not prime.  Res64: 3B81233A260D3440  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:22:40]
769*2^1416963-1 is not prime.  Res64: AA3EE6188D7BD5D4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:22:41]
781*2^1416963-1 is not prime.  Res64: D5E6CB61900809CE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:27:24]
945*2^1416963-1 is not prime.  Res64: D5771283A87ED4BE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:27:24]
949*2^1416963-1 is not prime.  Res64: 0D54E1FEF38C225E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:40:18]
687*2^1416964-1 is not prime.  Res64: F3FBFC69F8F3C349  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:40:18]
629*2^1416964-1 is not prime.  Res64: 49834F950C029FF8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:40:18]
749*2^1416964-1 is not prime.  Res64: E69BA6753428CD25  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:40:19]
665*2^1416964-1 is not prime.  Res64: 75A2094DD443684F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:45:00]
995*2^1416964-1 is not prime.  Res64: AE5C10D920F75B8A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:45:00]
955*2^1416965-1 is not prime.  Res64: 49A7D5BF3670DCB8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:57:54]
615*2^1416967-1 is not prime.  Res64: 404F67FC0D75A24B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:57:54]
969*2^1416965-1 is not prime.  Res64: 4884F64E7037BA88  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:57:54]
619*2^1416967-1 is not prime.  Res64: D57B9523CD61C67B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 12:57:54]
875*2^1416966-1 is not prime.  Res64: 4B70ABC9EDEE1908  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:02:36]
639*2^1416967-1 is not prime.  Res64: 347E1B7FCA0D0356  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:02:37]
675*2^1416967-1 is not prime.  Res64: 19A30D105C4439A1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:15:30]
753*2^1416968-1 is not prime.  Res64: 2EAE56C91751A93C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:15:30]
805*2^1416967-1 is not prime.  Res64: FE8309F9EFA257AD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:15:30]
795*2^1416968-1 is not prime.  Res64: A5671407B89608CE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:15:30]
725*2^1416968-1 is not prime.  Res64: 1B7BCFB71F91B821  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:20:21]
803*2^1416968-1 is not prime.  Res64: 14EE7C92AC99FF05  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:20:22]
825*2^1416968-1 is not prime.  Res64: 06BD5AE8CE172EA9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:33:10]
915*2^1416968-1 is not prime.  Res64: EDD36F19FBA40725  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:33:10]
963*2^1416968-1 is not prime.  Res64: 667E48816BB424B5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:33:11]
827*2^1416968-1 is not prime.  Res64: 02EC9ADE4225CF8D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:33:12]
845*2^1416968-1 is not prime.  Res64: B73AE166385146AB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:37:58]
625*2^1416969-1 is not prime.  Res64: 18400946728A3EB4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:37:59]
637*2^1416969-1 is not prime.  Res64: 6C8EC952099758AA  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:50:46]
661*2^1416969-1 is not prime.  Res64: 8BDFD79733B1A31E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:50:46]
675*2^1416969-1 is not prime.  Res64: 8C9DD1F1E6EF1EAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:50:47]
681*2^1416969-1 is not prime.  Res64: B08F6F82CCB51916  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:50:47]
747*2^1416969-1 is not prime.  Res64: EADCB25E17B03947  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:55:35]
765*2^1416969-1 is not prime.  Res64: 6306C7C38C600488  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 13:55:36]
787*2^1416969-1 is not prime.  Res64: F9E9F50C49896D84  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:08:22]
921*2^1416969-1 is not prime.  Res64: FDFD715B1587D644  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:08:23]
945*2^1416969-1 is not prime.  Res64: 10A48BA0BEBF1CF3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:08:23]
807*2^1416969-1 is not prime.  Res64: 9960C51746EBFD48  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:08:24]
861*2^1416969-1 is not prime.  Res64: 7EE7A7230B0EB51A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:13:10]
653*2^1416970-1 is not prime.  Res64: 8B16CE674547F5ED  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:13:11]
665*2^1416970-1 is not prime.  Res64: F6F1410607DBDBA8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:26:01]
765*2^1416970-1 is not prime.  Res64: F1BE92C95B0F9A35  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:26:02]
905*2^1416970-1 is not prime.  Res64: 15D1D695F6647F80  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:26:02]
933*2^1416970-1 is not prime.  Res64: FD87D96C06764D18  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:26:02]
945*2^1416970-1 is not prime.  Res64: 7954644697C19EE9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:30:46]
981*2^1416970-1 is not prime.  Res64: CC43E8EA9977DB62  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:30:46]
619*2^1416971-1 is not prime.  Res64: 17274111014CE837  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:43:40]
627*2^1416972-1 is not prime.  Res64: 3A32A7DE72C31B99  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:43:40]
631*2^1416971-1 is not prime.  Res64: 2A6779B67DCD9582  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:43:40]
943*2^1416971-1 is not prime.  Res64: 4A50E954FC0F32C5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:43:40]
797*2^1416972-1 is not prime.  Res64: B16FF1A1E04340A7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:48:24]
837*2^1416972-1 is not prime.  Res64: 3EC89CA6F5908433  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 14:48:24]
929*2^1416972-1 is not prime.  Res64: 9507B621F02F6585  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:01:18]
965*2^1416972-1 is not prime.  Res64: 525A2DA0886E3E73  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:01:19]
651*2^1416973-1 is not prime.  Res64: 1FD2BF058F02B043  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:01:19]
615*2^1416973-1 is not prime.  Res64: 587EDFC2ABE8C6B9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:01:20]
805*2^1416973-1 is not prime.  Res64: AA0DE0A7039AAF93  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:06:01]
861*2^1416973-1 is not prime.  Res64: 230AC374E25046C8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:06:03]
889*2^1416973-1 is not prime.  Res64: 88A67BE1EB51F2A5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:19:16]
919*2^1416973-1 is not prime.  Res64: 41C5F511E921D5F4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:19:17]
999*2^1416973-1 is not prime.  Res64: 683C545A30E4720B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:19:17]
677*2^1416974-1 is not prime.  Res64: 6AA3FA7BDD48E759  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:19:17]
731*2^1416974-1 is not prime.  Res64: A5B08A53FFB0ACC4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:23:54]
753*2^1416974-1 is not prime.  Res64: 7ABDE734E63F5E57  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:23:54]
773*2^1416974-1 is not prime.  Res64: 9AA1DE15B1A3F0DE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:36:56]
831*2^1416974-1 is not prime.  Res64: 56F8C43DF456DD89  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:36:56]
873*2^1416974-1 is not prime.  Res64: CA18CA52478CA388  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:36:58]
785*2^1416974-1 is not prime.  Res64: F75785D19E063E5C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:36:59]
797*2^1416974-1 is not prime.  Res64: 3A9C034BA5EAA74F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:41:31]
917*2^1416974-1 is not prime.  Res64: 19B2CCC7806DF80C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:41:31]
923*2^1416974-1 is not prime.  Res64: F56D948C7A426431  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:54:33]
691*2^1416975-1 is not prime.  Res64: A17AFF688E2B8966  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:54:33]
949*2^1416975-1 is not prime.  Res64: D013807554B6A502  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:54:36]
723*2^1416976-1 is not prime.  Res64: 6F91BDFEE076789F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:54:37]
765*2^1416976-1 is not prime.  Res64: 06E49A720836A5D8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:59:07]
785*2^1416976-1 is not prime.  Res64: 7172BC5E3A7A4BAE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 15:59:07]
803*2^1416976-1 is not prime.  Res64: 6E0F643EDA58883A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:12:09]
923*2^1416976-1 is not prime.  Res64: EFCCA050CC7F0693  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:12:10]
927*2^1416976-1 is not prime.  Res64: F9BB81DAA02EEF2D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:12:12]
969*2^1416976-1 is not prime.  Res64: 3823CEC3C7D86C9C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:12:13]
711*2^1416977-1 is not prime.  Res64: 470343110515D7EF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:16:45]
829*2^1416977-1 is not prime.  Res64: EF0713D0BC46A8E6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:16:45]
831*2^1416977-1 is not prime.  Res64: AB1C9DFD4ED1AE66  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:29:48]
871*2^1416977-1 is not prime.  Res64: 37A29DEABE20DC8D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:29:48]
957*2^1416977-1 is not prime.  Res64: 54A339A28B3E762D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:29:48]
889*2^1416977-1 is not prime.  Res64: AB98ECC668E9AFE4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:29:48]
967*2^1416977-1 is not prime.  Res64: 6961C49F72F4C10C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:34:21]
991*2^1416977-1 is not prime.  Res64: F87488643B1789F3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:34:21]
605*2^1416978-1 is not prime.  Res64: AEA8983788E361F2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:47:29]
633*2^1416979-1 is not prime.  Res64: 5360F30D60563B2E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:47:29]
639*2^1416979-1 is not prime.  Res64: 54071C4C6779DB21  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:47:30]
881*2^1416978-1 is not prime.  Res64: 67B4B7CAFB2F7263  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:47:30]
893*2^1416978-1 is not prime.  Res64: 6CE8152FBF67953B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:51:59]
649*2^1416979-1 is not prime.  Res64: 9E2D95B5F7E14C78  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 16:51:59]
681*2^1416979-1 is not prime.  Res64: D11B3841DEA440D1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:05:07]
885*2^1416979-1 is not prime.  Res64: 652928E1855DEDBE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:05:08]
709*2^1416979-1 is not prime.  Res64: 5C68B973BC654416  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:05:10]
769*2^1416979-1 is not prime.  Res64: 8C761CF372DD9F53  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:05:10]
615*2^1416980-1 is not prime.  Res64: 022E357A66C3504F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:09:38]
719*2^1416980-1 is not prime.  Res64: 70FCA4A5F48C6F77  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:09:38]
759*2^1416980-1 is not prime.  Res64: 6908D0A8533417B3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:22:54]
959*2^1416980-1 is not prime.  Res64: 9B6CA074A7BDA0E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:22:54]
963*2^1416980-1 is not prime.  Res64: 1AEE65FB939AB6BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:22:56]
669*2^1416981-1 is not prime.  Res64: 50AA83AB6839BD7A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:22:57]
675*2^1416981-1 is not prime.  Res64: 3F5C29BF722CB329  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:27:14]
691*2^1416981-1 is not prime.  Res64: 6AA2606E982D2287  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:27:14]
895*2^1416981-1 is not prime.  Res64: 08BA4C241D746E14  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:40:35]
979*2^1416981-1 is not prime.  Res64: 96D8CC8362089952  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:40:35]
937*2^1416981-1 is not prime.  Res64: A384F8C2325E926E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:40:35]
997*2^1416981-1 is not prime.  Res64: 3E321233128D6488  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:40:35]
975*2^1416981-1 is not prime.  Res64: B67311318AE8BF81  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:44:50]
617*2^1416982-1 is not prime.  Res64: 9E054E8579A06991  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:44:51]
635*2^1416982-1 is not prime.  Res64: CE43CAD172D2FBA9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:58:11]
647*2^1416982-1 is not prime.  Res64: EB35F5D46DA289B9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:58:11]
741*2^1416982-1 is not prime.  Res64: BBD72588B4CBC4A8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:58:12]
731*2^1416982-1 is not prime.  Res64: 9535A0C7A409A7DB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 17:58:12]
761*2^1416982-1 is not prime.  Res64: B564BC45ECCCEBE5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:02:28]
825*2^1416982-1 is not prime.  Res64: C64F7AA0AF7F7CAE  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:02:29]
887*2^1416982-1 is not prime.  Res64: 71FC2803910D03F7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:15:47]
703*2^1416983-1 is not prime.  Res64: CB97AAA61AD88F82  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:15:48]
951*2^1416982-1 is not prime.  Res64: 25C7FE30C41AB9F7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:15:48]
705*2^1416983-1 is not prime.  Res64: 67B2D6F51E14699E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:15:48]
1001*2^1416982-1 is not prime.  Res64: 927251792F8A2268  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:20:07]
811*2^1416983-1 is not prime.  Res64: BD6A04CC6023A0C6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:20:07]
823*2^1416983-1 is not prime.  Res64: 690E4476414E4671  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:33:25]
949*2^1416983-1 is not prime.  Res64: C1589B995E68DB64  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:33:25]
639*2^1416984-1 is not prime.  Res64: 40EAE36DDE629A29  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:33:25]
609*2^1416984-1 is not prime.  Res64: 6D9845BD4A5191FC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:33:25]
693*2^1416984-1 is not prime.  Res64: F607DB99ED7A1285  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:37:42]
705*2^1416984-1 is not prime.  Res64: 3C6D334E9FB092A6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:37:43]
707*2^1416984-1 is not prime.  Res64: 3D6474BD7CCB648D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:51:02]
737*2^1416984-1 is not prime.  Res64: 31552D2AE44D354A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:51:02]
873*2^1416984-1 is not prime.  Res64: B00A355DF15208D0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:51:03]
983*2^1416984-1 is not prime.  Res64: 678935EF5FBFB490  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:51:03]
687*2^1416985-1 is not prime.  Res64: BE92038E52BD1476  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:55:19]
955*2^1416985-1 is not prime.  Res64: ECB9232BE3F16148  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 18:55:20]
875*2^1416986-1 is not prime.  Res64: 746297BAFF69F57B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:08:39]
887*2^1416986-1 is not prime.  Res64: BBE72027DA44D482  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:08:39]
921*2^1416986-1 is not prime.  Res64: 982194CA3C55FCE7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:08:40]
893*2^1416986-1 is not prime.  Res64: 0F2726C51733D7C1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:08:40]
705*2^1416987-1 is not prime.  Res64: F6B2AF452A55E95D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:12:59]
765*2^1416987-1 is not prime.  Res64: FF913957403CE940  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:12:59]
775*2^1416987-1 is not prime.  Res64: 44A2F204F10837E7  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:26:20]
859*2^1416987-1 is not prime.  Res64: 3D75DB8F13F29DF3  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:26:20]
657*2^1416988-1 is not prime.  Res64: C434A8095EE09CBC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:26:20]
603*2^1416988-1 is not prime.  Res64: EE4B7D581F24464D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:26:20]
687*2^1416988-1 is not prime.  Res64: DE75C6832CC5418A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:30:37]
705*2^1416988-1 is not prime.  Res64: B0927487CD562811  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:30:37]
875*2^1416988-1 is not prime.  Res64: B14709D6E4BE8306  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:43:56]
975*2^1416988-1 is not prime.  Res64: 218F6C73685A5E7B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:43:56]
899*2^1416988-1 is not prime.  Res64: 0EF3730BD4785F02  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:43:57]
697*2^1416989-1 is not prime.  Res64: 15EEA8A6390C2AD6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:43:57]
915*2^1416988-1 is not prime.  Res64: D6E2FC38F015050E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:48:13]
799*2^1416989-1 is not prime.  Res64: 757424730E184CC9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 19:48:13]
837*2^1416989-1 is not prime.  Res64: 922C3CE7BE7F3DB6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:01:33]
897*2^1416989-1 is not prime.  Res64: 282D6FC0AB0CC5EF  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:01:34]
671*2^1416990-1 is not prime.  Res64: 5E6CF528E5745A5A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:01:35]
611*2^1416990-1 is not prime.  Res64: 7B837B67067B0C8A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:01:35]
677*2^1416990-1 is not prime.  Res64: 528E33F901BAE440  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:05:49]
713*2^1416990-1 is not prime.  Res64: 0626EC900384CB80  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:05:50]
717*2^1416990-1 is not prime.  Res64: 5936A2C012A5C2C8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:19:20]
723*2^1416990-1 is not prime.  Res64: 2134523ACF1059CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:19:20]
747*2^1416990-1 is not prime.  Res64: 678822D9C0A09EDC  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:19:21]
797*2^1416990-1 is not prime.  Res64: 85EA5D04DD2E1B5F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:19:21]
887*2^1416990-1 is not prime.  Res64: 50F9FA77CACE9D00  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:23:39]
921*2^1416990-1 is not prime.  Res64: 113B80E6011DBF4F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:23:39]
941*2^1416990-1 is not prime.  Res64: A674B4F22FA965CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:36:56]
673*2^1416991-1 is not prime.  Res64: 90C25806A6897484  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:36:56]
741*2^1416991-1 is not prime.  Res64: 4D767CA59EEED822  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:36:57]
859*2^1416991-1 is not prime.  Res64: A16FD48D64CAED54  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:36:57]
871*2^1416991-1 is not prime.  Res64: 1D24582B1C0F39E6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:41:17]
999*2^1416991-1 is not prime.  Res64: AEDEC3737EBF68BD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:41:17]
629*2^1416992-1 is not prime.  Res64: 198D95E3268053E4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:54:37]
751*2^1416993-1 is not prime.  Res64: 202CA949D5B54D92  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:54:38]
795*2^1416993-1 is not prime.  Res64: 9C58AB3B79818E13  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:54:39]
897*2^1416992-1 is not prime.  Res64: 26F06443EBFF421A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:54:40]
705*2^1416993-1 is not prime.  Res64: 46F23F0FB455044A  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:58:53]
807*2^1416993-1 is not prime.  Res64: 1DF38A955E3A3190  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 20:58:54]
871*2^1416993-1 is not prime.  Res64: 2A0596D7D9F47645  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:12:14]
987*2^1416993-1 is not prime.  Res64: 6A7E79D2FC6943F4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:12:15]
663*2^1416994-1 is not prime.  Res64: A898EE222A0D715C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:12:15]
675*2^1416994-1 is not prime.  Res64: 0B6FA2CFA6D51420  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:12:15]
681*2^1416994-1 is not prime.  Res64: CADB58A1D0FF80F4  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:16:31]
705*2^1416994-1 is not prime.  Res64: 1FD8A2FB618E68C9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:16:31]
815*2^1416994-1 is not prime.  Res64: E66B6F27DDEF01E1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:29:51]
891*2^1416994-1 is not prime.  Res64: 1CC1BBA2A1F346C5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:29:52]
945*2^1416994-1 is not prime.  Res64: 0138FDEB16445F88  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:29:52]
799*2^1416995-1 is not prime.  Res64: 19EE91F8DC173D18  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:29:52]
669*2^1416996-1 is not prime.  Res64: CFAE1A20C934E30F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:34:08]
735*2^1416996-1 is not prime.  Res64: 7625A08048C5D62E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:34:09]
765*2^1416996-1 is not prime.  Res64: 9E40E02134BB3C76  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:47:29]
767*2^1416996-1 is not prime.  Res64: 1A31FF34D90B3B1B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:47:29]
969*2^1416996-1 is not prime.  Res64: 112DE651A6D0A31C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:47:30]
645*2^1416997-1 is not prime.  Res64: 82156687CC79E041  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:47:30]
789*2^1416996-1 is not prime.  Res64: D79C94397064F567  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:51:47]
687*2^1416997-1 is not prime.  Res64: 300AA7B0EDDC6BE8  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 21:51:48]
691*2^1416997-1 is not prime.  Res64: ACA928613E21DB3D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:05:07]
831*2^1416997-1 is not prime.  Res64: DD691CDAE891CB13  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:05:08]
765*2^1416997-1 is not prime.  Res64: 4FF4B9357BFF1F97  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:05:08]
859*2^1416997-1 is not prime.  Res64: 7533A6397726F4E1  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:05:09]
819*2^1416997-1 is not prime.  Res64: 120ED65F12EF73B5  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:09:24]
671*2^1416998-1 is not prime.  Res64: 10EBC087190C7D3F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:09:25]
761*2^1416998-1 is not prime.  Res64: F1DA3C64EFB4AA86  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:22:54]
797*2^1416998-1 is not prime.  Res64: 91822A07D9B450A0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:22:55]
813*2^1416998-1 is not prime.  Res64: B830FF78951CC666  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:22:56]
815*2^1416998-1 is not prime.  Res64: 42E934062A675C6D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:22:56]
833*2^1416998-1 is not prime.  Res64: 3306DD6904B35536  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:27:04]
923*2^1416998-1 is not prime.  Res64: 86FF92A86CF7AC37  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:27:04]
1001*2^1416998-1 is not prime.  Res64: 85A173AD30DB42EB  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:40:31]
615*2^1416999-1 is not prime.  Res64: A315FEE0103A114F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:40:31]
661*2^1416999-1 is not prime.  Res64: D41B449C410CA932  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:40:33]
705*2^1416999-1 is not prime.  Res64: 55E5C9597A681DD2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:40:34]
763*2^1416999-1 is not prime.  Res64: 87BF46C79BC3D4E6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:44:40]
879*2^1416999-1 is not prime.  Res64: 6986DBD0A79DF782  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:44:41]
921*2^1416999-1 is not prime.  Res64: B1B654AB75CC2AAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:58:08]
951*2^1416999-1 is not prime.  Res64: 8B85852B6D66F25C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:58:09]
975*2^1416999-1 is not prime.  Res64: AADA2B038DF7CDF6  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:58:13]
991*2^1416999-1 is not prime.  Res64: CE2F88462A39F378  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 22:58:13]
603*2^1417000-1 is not prime.  Res64: BDF018EF1A0B1DB2  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:02:16]
699*2^1417000-1 is not prime.  Res64: 891026EC4EC43052  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:02:17]
717*2^1417000-1 is not prime.  Res64: 12789767D8CD6522  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:15:44]
827*2^1417000-1 is not prime.  Res64: 9399DC3B5257547B  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:15:44]
863*2^1417000-1 is not prime.  Res64: 3AB3827291E9A43D  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:15:48]
933*2^1417000-1 is not prime.  Res64: 2777531C226B6437  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:15:49]
939*2^1417000-1 is not prime.  Res64: 3A99B181863CC138  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:19:54]
983*2^1417000-1 is not prime.  Res64: 108E9F3BDD01BB37  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:19:55]
607*2^1417001-1 is not prime.  Res64: 19A631F328DD9710  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:33:24]
805*2^1417001-1 is not prime.  Res64: 732C63734979DAF0  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:33:24]
811*2^1417001-1 is not prime.  Res64: 83A9FF5788EC49A9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:33:25]
889*2^1417001-1 is not prime.  Res64: D651A0EDD2772A26  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:33:26]
987*2^1417001-1 is not prime.  Res64: 246BEC7AEFDECC3E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:37:31]
997*2^1417001-1 is not prime.  Res64: 920305478D88B8B9  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:37:32]
621*2^1417002-1 is not prime.  Res64: F1391E14BB9A027F  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:51:02]
837*2^1417002-1 is not prime.  Res64: C70B324488F02197  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:51:02]
963*2^1417002-1 is not prime.  Res64: 2498FF619E5A9B22  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:51:03]
627*2^1417002-1 is not prime.  Res64: CDD84B947F5E693C  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:51:03]
821*2^1417002-1 is not prime.  Res64: 2B5FCD5393E61F4E  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:55:08]
983*2^1417002-1 is not prime.  Res64: A5E2A73A452A5B44  Time : 0.0 sec.
user=mdettweiler
[2015-12-06 23:55:08]
679*2^1417003-1 is not prime.  Res64: 18D8F60F5B30D767  Time : 0.0 sec.