user=mdettweiler [2018-11-16 00:07:25] 957*2^1531430-1 is not prime. Res64: 126BD2E1A1405F21 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:07:26] 965*2^1531430-1 is not prime. Res64: C677B49B42756EFD Time : 0.0 sec. user=mdettweiler [2018-11-16 00:07:27] 639*2^1531431-1 is not prime. Res64: 4679C2B8A02DC55F Time : 0.0 sec. user=mdettweiler [2018-11-16 00:07:28] 763*2^1531431-1 is not prime. Res64: 2D50946A84C502FC Time : 0.0 sec. user=mdettweiler [2018-11-16 00:07:30] 865*2^1531431-1 is not prime. Res64: C1539C3AD093AEAF Time : 0.0 sec. user=mdettweiler [2018-11-16 00:23:58] 909*2^1531431-1 is not prime. Res64: 7B0EB6FF6B92D658 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:23:58] 913*2^1531431-1 is not prime. Res64: 2257A20530CE18B8 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:23:59] 699*2^1531432-1 is not prime. Res64: A6F1F2D957A3B06E Time : 0.0 sec. user=mdettweiler [2018-11-16 00:23:59] 765*2^1531432-1 is not prime. Res64: 4628626700717F5E Time : 0.0 sec. user=mdettweiler [2018-11-16 00:24:00] 825*2^1531432-1 is not prime. Res64: 7B93857C8E125564 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:35:04] 975*2^1531432-1 is not prime. Res64: D82B545C7B10040A Time : 0.0 sec. user=mdettweiler [2018-11-16 00:35:04] 651*2^1531433-1 is not prime. Res64: 58FBD52A172D022D Time : 0.0 sec. user=mdettweiler [2018-11-16 00:35:05] 691*2^1531433-1 is not prime. Res64: AD14B4DCFFD3D3D1 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:35:05] 747*2^1531433-1 is not prime. Res64: 3AAC33C9DC8B51A3 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:35:06] 795*2^1531433-1 is not prime. Res64: 6A241ABAE700D8CA Time : 0.0 sec. user=mdettweiler [2018-11-16 00:44:24] 805*2^1531433-1 is not prime. Res64: 7169D878D0E5C297 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:44:24] 871*2^1531433-1 is not prime. Res64: D8B60C8F9850E428 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:44:25] 897*2^1531433-1 is not prime. Res64: AC8C33081D46ED62 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:44:25] 937*2^1531433-1 is not prime. Res64: C7EB9DB7E2D2D791 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:44:26] 611*2^1531434-1 is not prime. Res64: 6D5A9D59AA2D1B07 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:59:10] 635*2^1531434-1 is not prime. Res64: 04A07A247EA52050 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:59:10] 677*2^1531434-1 is not prime. Res64: B51437E2583FA660 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:59:11] 797*2^1531434-1 is not prime. Res64: 7C189814BA9EAA00 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:59:11] 903*2^1531434-1 is not prime. Res64: D03DEF2F4D7ECC03 Time : 0.0 sec. user=mdettweiler [2018-11-16 00:59:11] 971*2^1531434-1 is not prime. Res64: 57D3F67D6B5732E7 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:15:10] 601*2^1531435-1 is not prime. Res64: C67993D43CB869FD Time : 0.0 sec. user=mdettweiler [2018-11-16 01:15:11] 675*2^1531435-1 is not prime. Res64: F31EA4A3622637FA Time : 0.0 sec. user=mdettweiler [2018-11-16 01:15:11] 733*2^1531435-1 is not prime. Res64: 52824A034E0FD00F Time : 0.0 sec. user=mdettweiler [2018-11-16 01:15:12] 771*2^1531435-1 is not prime. Res64: E0163E5E8FCB2103 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:15:12] 909*2^1531435-1 is not prime. Res64: 3A894841EC9A1EE3 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:26:12] 657*2^1531436-1 is not prime. Res64: 74FA2279BB3AD35F Time : 0.0 sec. user=mdettweiler [2018-11-16 01:26:13] 873*2^1531436-1 is not prime. Res64: 23BD91EA27731444 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:26:14] 903*2^1531436-1 is not prime. Res64: 870806DA329CE082 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:26:15] 923*2^1531436-1 is not prime. Res64: C2519AE2C45D82F5 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:26:15] 969*2^1531436-1 is not prime. Res64: 177A5E6944BA8800 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:35:33] 609*2^1531437-1 is not prime. Res64: FB8A7906BB92F496 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:35:33] 765*2^1531437-1 is not prime. Res64: F6FA2FDA0EF8BB55 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:35:34] 979*2^1531437-1 is not prime. Res64: EFF054EFAFB86A02 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:35:35] 603*2^1531438-1 is not prime. Res64: CB71BB0BE7792EBA Time : 0.0 sec. user=mdettweiler [2018-11-16 01:35:35] 671*2^1531438-1 is not prime. Res64: 53550956B638B511 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:50:23] 777*2^1531438-1 is not prime. Res64: 7674E23286CF9F72 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:50:24] 843*2^1531438-1 is not prime. Res64: 4B3F86956A729A78 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:50:26] 881*2^1531438-1 is not prime. Res64: E66A349A9877B0C4 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:50:26] 887*2^1531438-1 is not prime. Res64: 1E46A38427BE0DD2 Time : 0.0 sec. user=mdettweiler [2018-11-16 01:50:27] 923*2^1531438-1 is not prime. Res64: E57A4C95FA0B13D6 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:06:52] 951*2^1531438-1 is not prime. Res64: 14E9AD4A627F7E3E Time : 0.0 sec. user=mdettweiler [2018-11-16 02:06:54] 957*2^1531438-1 is not prime. Res64: 51BF1E353D0FA1AA Time : 0.0 sec. user=mdettweiler [2018-11-16 02:06:56] 603*2^1531439-1 is not prime. Res64: F3FACA329700ED25 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:06:58] 615*2^1531439-1 is not prime. Res64: 0A9BB961209018A6 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:06:59] 789*2^1531439-1 is not prime. Res64: F3373F43528E8E4F Time : 0.0 sec. user=mdettweiler [2018-11-16 02:18:23] 823*2^1531439-1 is not prime. Res64: 0738627C0992DF8A Time : 0.0 sec. user=mdettweiler [2018-11-16 02:18:23] 843*2^1531439-1 is not prime. Res64: 054D289B37C66F07 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:18:24] 999*2^1531439-1 is not prime. Res64: 05386557B6596534 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:18:24] 665*2^1531440-1 is not prime. Res64: 51E2EB20924A1CCC Time : 0.0 sec. user=mdettweiler [2018-11-16 02:18:25] 669*2^1531440-1 is not prime. Res64: 78D29C27C20C5621 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:27:02] 707*2^1531440-1 is not prime. Res64: 60E09CAC80719480 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:27:02] 803*2^1531440-1 is not prime. Res64: 20FC54621C0B8005 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:27:03] 819*2^1531440-1 is not prime. Res64: 6F590471B7A161CB Time : 0.0 sec. user=mdettweiler [2018-11-16 02:27:03] 905*2^1531440-1 is not prime. Res64: BE2EC38D33272A3D Time : 0.0 sec. user=mdettweiler [2018-11-16 02:27:04] 929*2^1531440-1 is not prime. Res64: 5471AEC9896F9E25 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:42:55] 945*2^1531440-1 is not prime. Res64: 6ED5C54B1D230694 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:42:56] 645*2^1531441-1 is not prime. Res64: 57D29DEDF3196EAB Time : 0.0 sec. user=mdettweiler [2018-11-16 02:42:57] 649*2^1531441-1 is not prime. Res64: F7F5484423A01822 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:42:57] 651*2^1531441-1 is not prime. Res64: 0D0F0E54E1BDC744 Time : 0.0 sec. user=mdettweiler [2018-11-16 02:42:58] 717*2^1531441-1 is not prime. Res64: 5F8F2F1F25C459EC Time : 0.0 sec. user=mdettweiler [2018-11-16 03:00:12] 889*2^1531441-1 is not prime. Res64: 51BC43E0C912F585 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:00:13] 909*2^1531441-1 is not prime. Res64: A8ADE594F6C1B463 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:00:14] 603*2^1531442-1 is not prime. Res64: 1BE5CDD8AAC1E424 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:00:20] 735*2^1531442-1 is not prime. Res64: 15285E230C20F663 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:00:26] 983*2^1531442-1 is not prime. Res64: 8C12632393D5FFF2 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:10:47] 625*2^1531443-1 is not prime. Res64: 16BD8A109F8A599D Time : 0.0 sec. user=mdettweiler [2018-11-16 03:10:48] 663*2^1531443-1 is not prime. Res64: 5D64625ADB4AED54 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:10:48] 801*2^1531443-1 is not prime. Res64: EAC2462BF50B37A4 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:10:49] 805*2^1531443-1 is not prime. Res64: AC5BB9ABEF783371 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:10:49] 835*2^1531443-1 is not prime. Res64: 818773070407610E Time : 0.0 sec. user=mdettweiler [2018-11-16 03:19:31] 963*2^1531443-1 is not prime. Res64: 7E5A0765528EDCBE Time : 0.0 sec. user=mdettweiler [2018-11-16 03:19:33] 623*2^1531444-1 is not prime. Res64: 088919D593BBFB75 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:19:34] 707*2^1531444-1 is not prime. Res64: A3AD38F17DBECC46 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:19:35] 773*2^1531444-1 is not prime. Res64: 4308D9F1DA558304 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:19:36] 875*2^1531444-1 is not prime. Res64: 61A32B1DC1413EB4 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:35:24] 885*2^1531444-1 is not prime. Res64: 78930C9815EB8855 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:35:26] 669*2^1531445-1 is not prime. Res64: 1266FA200173A981 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:35:28] 775*2^1531445-1 is not prime. Res64: BCC66E6265EB3202 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:35:30] 787*2^1531445-1 is not prime. Res64: DA7019C8515321A4 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:35:31] 927*2^1531445-1 is not prime. Res64: C96BC4550EC9FFA8 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:51:58] 937*2^1531445-1 is not prime. Res64: 1A700AAFC782B9D6 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:52:00] 707*2^1531446-1 is not prime. Res64: 8D4602F581756784 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:52:02] 941*2^1531446-1 is not prime. Res64: F0424681A6D8D560 Time : 0.0 sec. user=mdettweiler [2018-11-16 03:52:04] 945*2^1531446-1 is not prime. Res64: 7EFB3ED71F1B78AC Time : 0.0 sec. user=mdettweiler [2018-11-16 03:52:07] 625*2^1531447-1 is not prime. Res64: 44C989ADB63F932D Time : 0.0 sec. user=mdettweiler [2018-11-16 04:02:17] 705*2^1531447-1 is not prime. Res64: 31F62565039FC52E Time : 0.0 sec. user=mdettweiler [2018-11-16 04:02:20] 859*2^1531447-1 is not prime. Res64: CC9CA8BA7F0A4E07 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:02:25] 973*2^1531447-1 is not prime. Res64: 1E4767B601C15421 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:02:28] 979*2^1531447-1 is not prime. Res64: FF9A9AEDF38841EC Time : 0.0 sec. user=mdettweiler [2018-11-16 04:02:32] 999*2^1531447-1 is not prime. Res64: A95D4E5337059463 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:10:57] 615*2^1531448-1 is not prime. Res64: A32E1C18DF5B617E Time : 0.0 sec. user=mdettweiler [2018-11-16 04:27:23] 681*2^1531449-1 is not prime. Res64: 8B6E4571DD4891CD Time : 0.0 sec. user=mdettweiler [2018-11-16 04:27:24] 691*2^1531449-1 is not prime. Res64: 7ADD653E2D460814 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:27:24] 735*2^1531449-1 is not prime. Res64: FB7076DCF6D79540 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:27:25] 781*2^1531449-1 is not prime. Res64: F807926066D3A7AE Time : 0.0 sec. user=mdettweiler [2018-11-16 04:27:25] 657*2^1531450-1 is not prime. Res64: 427B83F86DA89397 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:44:41] 671*2^1531450-1 is not prime. Res64: BB26DE07F5917AC5 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:44:41] 717*2^1531450-1 is not prime. Res64: 5BA7DCF6A7C53D40 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:44:42] 765*2^1531450-1 is not prime. Res64: C29FBF4D3B26AABE Time : 0.0 sec. user=mdettweiler [2018-11-16 04:44:43] 861*2^1531450-1 is not prime. Res64: 0AF601E869478144 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:44:43] 971*2^1531450-1 is not prime. Res64: 49CAE032CC3E3C0F Time : 0.0 sec. user=mdettweiler [2018-11-16 04:57:46] 895*2^1531451-1 is not prime. Res64: 05E1974F60CA411D Time : 0.0 sec. user=mdettweiler [2018-11-16 04:57:47] 949*2^1531451-1 is not prime. Res64: 918DA6AE4A0051AA Time : 0.0 sec. user=mdettweiler [2018-11-16 04:57:47] 981*2^1531451-1 is not prime. Res64: 83F3D2863ED14FC2 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:57:48] 719*2^1531452-1 is not prime. Res64: 1E15A142AF014866 Time : 0.0 sec. user=mdettweiler [2018-11-16 04:57:48] 723*2^1531452-1 is not prime. Res64: DE3DC78BB2E8E085 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:19:19] 745*2^1531451-1 is not prime. Res64: E50421828FFD0A6D Time : 0.0 sec. user=mdettweiler [2018-11-16 05:19:20] 841*2^1531451-1 is not prime. Res64: 438F69AB9984268B Time : 0.0 sec. user=mdettweiler [2018-11-16 05:19:21] 837*2^1531452-1 is not prime. Res64: B377FA71C80C1B69 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:19:21] 915*2^1531452-1 is not prime. Res64: 17722E22715A4901 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:19:22] 933*2^1531452-1 is not prime. Res64: 1C2FA91B6F330F37 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:37:01] 675*2^1531453-1 is not prime. Res64: 0FC82E1E226ED873 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:37:02] 805*2^1531453-1 is not prime. Res64: D74C8C89D2F63060 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:37:02] 877*2^1531453-1 is not prime. Res64: 4336389A99B66E76 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:37:03] 901*2^1531453-1 is not prime. Res64: B0458E97D0B3FFF3 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:37:03] 927*2^1531453-1 is not prime. Res64: BA39E865D2F642A5 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:49:52] 937*2^1531453-1 is not prime. Res64: 7274B26950DE6443 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:49:52] 951*2^1531453-1 is not prime. Res64: E0C5061B77A0BD02 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:49:53] 985*2^1531453-1 is not prime. Res64: ED14CBB8FBD6A746 Time : 0.0 sec. user=mdettweiler [2018-11-16 05:49:53] 987*2^1531453-1 is not prime. Res64: 49EDB197D46FE06B Time : 0.0 sec. user=mdettweiler [2018-11-16 05:49:54] 657*2^1531454-1 is not prime. Res64: 982F6F94292ED3FF Time : 0.0 sec. user=mdettweiler [2018-11-16 06:11:05] 663*2^1531454-1 is not prime. Res64: 6FBB3E758C9A2BB9 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:11:06] 711*2^1531454-1 is not prime. Res64: 7ACD1C5C804D8ABC Time : 0.0 sec. user=mdettweiler [2018-11-16 06:11:06] 785*2^1531454-1 is not prime. Res64: 4C1D72EB3AC584A5 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:11:07] 797*2^1531454-1 is not prime. Res64: 6FF21D560AC32DA4 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:11:07] 873*2^1531454-1 is not prime. Res64: 16B05AD21E26C773 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:28:58] 921*2^1531454-1 is not prime. Res64: 342F4CAF02BF0136 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:28:59] 613*2^1531455-1 is not prime. Res64: D037CF86F662B4C9 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:28:59] 669*2^1531455-1 is not prime. Res64: 9631918D09A7BCBB Time : 0.0 sec. user=mdettweiler [2018-11-16 06:29:00] 675*2^1531455-1 is not prime. Res64: 8BE3F0FF38CAAF9C Time : 0.0 sec. user=mdettweiler [2018-11-16 06:29:00] 723*2^1531455-1 is not prime. Res64: 67DB525392125D62 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:41:42] 895*2^1531455-1 is not prime. Res64: 13F1C9828BD6FC88 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:41:43] 961*2^1531455-1 is not prime. Res64: D5681CE901EB3495 Time : 0.0 sec. user=mdettweiler [2018-11-16 06:41:44] 689*2^1531456-1 is not prime. Res64: F6E8EF134A4AD4AA Time : 0.0 sec. user=mdettweiler [2018-11-16 06:41:45] 755*2^1531456-1 is not prime. Res64: B5D6DB58E8A097EF Time : 0.0 sec. user=mdettweiler [2018-11-16 06:41:45] 989*2^1531456-1 is not prime. Res64: A903ABF144638041 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:02:54] 607*2^1531457-1 is not prime. Res64: 8D19A5BF1E6494B5 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:02:55] 619*2^1531457-1 is not prime. Res64: FDD7F53C23D88A0F Time : 0.0 sec. user=mdettweiler [2018-11-16 07:02:57] 645*2^1531457-1 is not prime. Res64: F96A4CB527ED1C80 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:02:59] 699*2^1531457-1 is not prime. Res64: 69168744E8341825 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:03:00] 711*2^1531457-1 is not prime. Res64: A4C03B9EE3CB7087 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:21:01] 727*2^1531457-1 is not prime. Res64: DAAAC95F2F1D1A90 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:21:01] 741*2^1531457-1 is not prime. Res64: 53383E145973A7B0 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:21:02] 829*2^1531457-1 is not prime. Res64: 66DB8EF423E29504 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:21:02] 945*2^1531457-1 is not prime. Res64: A221C351AE2237B9 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:21:03] 651*2^1531458-1 is not prime. Res64: F3310C58C17DC440 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:33:41] 755*2^1531458-1 is not prime. Res64: FECDBFB45E01C34A Time : 0.0 sec. user=mdettweiler [2018-11-16 07:33:42] 867*2^1531458-1 is not prime. Res64: 253CDF5A2F430F31 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:33:42] 921*2^1531458-1 is not prime. Res64: D2AADADDD8771305 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:33:43] 725*2^1531460-1 is not prime. Res64: C12EADC196765490 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:33:43] 735*2^1531460-1 is not prime. Res64: E7F8130FAD0C962A Time : 0.0 sec. user=mdettweiler [2018-11-16 07:54:50] 633*2^1531448-1 is not prime. Res64: 1E0DDD7406338FD2 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:54:50] 677*2^1531448-1 is not prime. Res64: BE989B2BB984F636 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:54:51] 767*2^1531448-1 is not prime. Res64: 4BF63432DEEC8127 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:54:51] 843*2^1531448-1 is not prime. Res64: 5F6179411840B396 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:55:00] 845*2^1531460-1 is not prime. Res64: 48025FD7BDE59842 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:55:01] 983*2^1531460-1 is not prime. Res64: 73840E590B6E6C02 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:55:01] 709*2^1531461-1 is not prime. Res64: 2F45AF7649F60E91 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:55:01] 727*2^1531461-1 is not prime. Res64: E68D0CC99C2282B6 Time : 0.0 sec. user=mdettweiler [2018-11-16 07:55:02] 781*2^1531461-1 is not prime. Res64: 2B8A912A004C34F7 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:14:15] 847*2^1531461-1 is not prime. Res64: C80DE479BD58A1A4 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:14:15] 991*2^1531461-1 is not prime. Res64: C71EE142F7F0407E Time : 0.0 sec. user=mdettweiler [2018-11-16 08:14:16] 815*2^1531462-1 is not prime. Res64: E80532D5BD24B6DB Time : 0.0 sec. user=mdettweiler [2018-11-16 08:14:16] 831*2^1531462-1 is not prime. Res64: B38F39B87855F967 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:14:16] 843*2^1531462-1 is not prime. Res64: 092A0EACFDFC38A3 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:25:26] 917*2^1531462-1 is not prime. Res64: 7427864DEBC81D33 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:25:27] 951*2^1531462-1 is not prime. Res64: 79F0E8266818A86D Time : 0.0 sec. user=mdettweiler [2018-11-16 08:25:27] 1001*2^1531462-1 is not prime. Res64: CCCB5246E0A59F95 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:25:27] 603*2^1531463-1 is not prime. Res64: 90966D1650819BC2 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:25:28] 663*2^1531463-1 is not prime. Res64: 8D243915DF2BF3E8 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:47:34] 679*2^1531463-1 is not prime. Res64: 2BC807759929E73B Time : 0.0 sec. user=mdettweiler [2018-11-16 08:47:34] 813*2^1531463-1 is not prime. Res64: 91D3D69D0C10DCFD Time : 0.0 sec. user=mdettweiler [2018-11-16 08:47:34] 663*2^1531464-1 is not prime. Res64: 8F9D9D5855FA6877 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:47:35] 815*2^1531464-1 is not prime. Res64: F8F8C1B2A5F362F8 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:47:36] 825*2^1531464-1 is not prime. Res64: 6407BA9C39D08253 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:48:04] 905*2^1531464-1 is not prime. Res64: 703448E907C50937 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:48:05] 929*2^1531464-1 is not prime. Res64: 8572CE0127B09330 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:48:05] 607*2^1531465-1 is not prime. Res64: 7C3735BBDF343ED9 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:48:05] 651*2^1531465-1 is not prime. Res64: D4DA8A38E97FFA78 Time : 0.0 sec. user=mdettweiler [2018-11-16 08:48:06] 687*2^1531465-1 is not prime. Res64: F44BCEC8646D3519 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:06:48] 691*2^1531465-1 is not prime. Res64: EC2B1781E1C700F0 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:06:50] 751*2^1531465-1 is not prime. Res64: 4FC5653501B2F33E Time : 0.0 sec. user=mdettweiler [2018-11-16 09:17:42] 675*2^1531466-1 is not prime. Res64: EAAC078068F93484 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:17:42] 717*2^1531466-1 is not prime. Res64: 9437B1FF88821553 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:17:43] 825*2^1531466-1 is not prime. Res64: 76227A86ADB7E2D0 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:17:43] 917*2^1531466-1 is not prime. Res64: 9E893BBF2D19CDC3 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:17:44] 921*2^1531466-1 is not prime. Res64: 3B271C08086737DB Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:06] 981*2^1531466-1 is not prime. Res64: 32808244001C7A4B Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:06] 775*2^1531467-1 is not prime. Res64: 64B8366737C3AA26 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:07] 781*2^1531467-1 is not prime. Res64: 7ABE1A72E47CBBD4 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:07] 861*2^1531467-1 is not prime. Res64: E0B64BF9DE29F42B Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:07] 951*2^1531467-1 is not prime. Res64: 66DB3A7DF11B7972 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:29] 955*2^1531467-1 is not prime. Res64: 5E599CFA5ED6158B Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:29] 689*2^1531468-1 is not prime. Res64: 0D0C9D8E0EFE818A Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:30] 773*2^1531468-1 is not prime. Res64: F5109989ABA61047 Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:30] 839*2^1531468-1 is not prime. Res64: CC75E1A2ED581A8A Time : 0.0 sec. user=mdettweiler [2018-11-16 09:39:30] 897*2^1531468-1 is not prime. Res64: 2B2749E9B73B6A31 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:09:47] 899*2^1531468-1 is not prime. Res64: C2CAF5C43DCB5AE8 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:09:47] 995*2^1531468-1 is not prime. Res64: AEA5F8B52888DCFD Time : 0.0 sec. user=mdettweiler [2018-11-16 10:09:48] 615*2^1531469-1 is not prime. Res64: 4A7878A9D6F47673 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:09:48] 645*2^1531469-1 is not prime. Res64: 24EAB9AD19367C0A Time : 0.0 sec. user=mdettweiler [2018-11-16 10:09:49] 855*2^1531469-1 is not prime. Res64: 39FAC85EE0A6D31B Time : 0.0 sec. user=mdettweiler [2018-11-16 10:31:14] 885*2^1531469-1 is not prime. Res64: 98E9C490EE809BB0 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:31:15] 957*2^1531469-1 is not prime. Res64: 68976C5CEB846D12 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:31:16] 657*2^1531470-1 is not prime. Res64: 484B34C973D11998 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:31:17] 797*2^1531470-1 is not prime. Res64: 593596721F3811E9 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:31:17] 873*2^1531470-1 is not prime. Res64: 1BD41F9968B30397 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:32:02] 945*2^1531470-1 is not prime. Res64: 4A43236025516ADF Time : 0.0 sec. user=mdettweiler [2018-11-16 10:32:03] 951*2^1531470-1 is not prime. Res64: 454FE4BC9CF4C4C7 Time : 0.0 sec. user=mdettweiler [2018-11-16 10:32:03] 965*2^1531470-1 is not prime. Res64: B79B3D673E3EFA3C Time : 0.0 sec. user=mdettweiler [2018-11-16 10:32:04] 971*2^1531470-1 is not prime. Res64: BD6DC6B4622FF86C Time : 0.0 sec. user=mdettweiler [2018-11-16 10:32:04] 709*2^1531471-1 is not prime. Res64: CFE2CC40A3D21BB4 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:09:56] 763*2^1531471-1 is not prime. Res64: B55733AACB058ECB Time : 0.0 sec. user=mdettweiler [2018-11-16 11:09:57] 793*2^1531471-1 is not prime. Res64: FB7DCBA123CA21BD Time : 0.0 sec. user=mdettweiler [2018-11-16 11:09:57] 871*2^1531471-1 is not prime. Res64: 524095313177EB37 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:09:58] 889*2^1531471-1 is not prime. Res64: 3D804E42CBE30BA5 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:09:58] 961*2^1531471-1 is not prime. Res64: 197B4DCB65DAB139 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:22] 969*2^1531471-1 is not prime. Res64: 9B07D4378B037273 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:23] 623*2^1531472-1 is not prime. Res64: AFD23052E0D7D14D Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:23] 635*2^1531472-1 is not prime. Res64: 909571D23ED649F9 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:24] 683*2^1531472-1 is not prime. Res64: 3D9109DC255CC65D Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:25] 945*2^1531472-1 is not prime. Res64: EC8CF1D530232009 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:54] 649*2^1531473-1 is not prime. Res64: 428EEC648BACFDBF Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:55] 721*2^1531473-1 is not prime. Res64: F4FE8DA3B17ECE5F Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:55] 979*2^1531473-1 is not prime. Res64: E85C2A4192BB12DE Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:56] 611*2^1531474-1 is not prime. Res64: 67C4CE35612E14A3 Time : 0.0 sec. user=mdettweiler [2018-11-16 11:24:56] 621*2^1531474-1 is not prime. Res64: 49286E01CE634189 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:04:56] 645*2^1531474-1 is not prime. Res64: 6EC022744895F41D Time : 0.0 sec. user=mdettweiler [2018-11-16 12:04:59] 723*2^1531474-1 is not prime. Res64: E9DE9EBCC3B83D65 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:05:00] 831*2^1531474-1 is not prime. Res64: 902249B81988EFF7 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:05:02] 603*2^1531475-1 is not prime. Res64: 408A2548B9CD6094 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:05:04] 649*2^1531475-1 is not prime. Res64: 44D097053F40CB3F Time : 0.0 sec. user=mdettweiler [2018-11-16 12:22:37] 825*2^1531475-1 is not prime. Res64: E69B28498963AD7B Time : 0.0 sec. user=mdettweiler [2018-11-16 12:22:38] 885*2^1531475-1 is not prime. Res64: F57043968FE6B99B Time : 0.0 sec. user=mdettweiler [2018-11-16 12:22:38] 969*2^1531475-1 is not prime. Res64: 1522C8693734DA3E Time : 0.0 sec. user=mdettweiler [2018-11-16 12:22:39] 653*2^1531476-1 is not prime. Res64: 83ACB09A58F21823 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:22:40] 689*2^1531476-1 is not prime. Res64: B6844D3256B3ECC2 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:23:41] 705*2^1531476-1 is not prime. Res64: 73B267141FED615F Time : 0.0 sec. user=mdettweiler [2018-11-16 12:23:41] 765*2^1531476-1 is not prime. Res64: 1276E40624D67E73 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:23:42] 789*2^1531476-1 is not prime. Res64: 037B19150F68D361 Time : 0.0 sec. user=mdettweiler [2018-11-16 12:23:42] 845*2^1531476-1 is not prime. Res64: 784F88E7EF30CBCC Time : 0.0 sec. user=mdettweiler [2018-11-16 12:23:42] 899*2^1531476-1 is not prime. Res64: 6C0149E4C1418683 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:01:41] 903*2^1531476-1 is not prime. Res64: 19E8CD7D990AFA8D Time : 0.0 sec. user=mdettweiler [2018-11-16 13:01:45] 927*2^1531476-1 is not prime. Res64: 5EBDEACAD8570E44 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:01:48] 987*2^1531476-1 is not prime. Res64: BEAF9CC17A4FBDC2 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:01:51] 639*2^1531477-1 is not prime. Res64: 6264AF0ABEEF5277 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:01:55] 645*2^1531477-1 is not prime. Res64: DDD91BEE9F36B33B Time : 0.0 sec. user=mdettweiler [2018-11-16 13:15:35] 667*2^1531477-1 is not prime. Res64: DA8377EE9B08D983 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:15:37] 717*2^1531477-1 is not prime. Res64: 03ECCCA16CC7BA3B Time : 0.0 sec. user=mdettweiler [2018-11-16 13:15:38] 835*2^1531477-1 is not prime. Res64: 70A188D19CE42E56 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:15:38] 901*2^1531477-1 is not prime. Res64: 9BCEA64FF3D974E9 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:15:40] 761*2^1531478-1 is not prime. Res64: 6A03D2818DFDAB63 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:16:10] 987*2^1531478-1 is not prime. Res64: 2CAEBAC0769278D0 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:16:11] 661*2^1531479-1 is not prime. Res64: 19AEB173E2A81B56 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:16:12] 693*2^1531479-1 is not prime. Res64: 45CD3F49DBB2BAA0 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:16:13] 793*2^1531479-1 is not prime. Res64: 15D0C3F1DEB8B784 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:16:14] 885*2^1531479-1 is not prime. Res64: 7C92F9232ABBFEBD Time : 0.0 sec. user=mdettweiler [2018-11-16 13:36:40] 789*2^1531465-1 is not prime. Res64: 62BD769816467FAA Time : 0.0 sec. user=mdettweiler [2018-11-16 13:36:40] 939*2^1531465-1 is not prime. Res64: E73E5977E4AB4D38 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:36:41] 979*2^1531465-1 is not prime. Res64: 222BBD0EDB6E4567 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:55:00] 845*2^1531480-1 is not prime. Res64: 35A72415A465579E Time : 0.0 sec. user=mdettweiler [2018-11-16 13:55:01] 857*2^1531480-1 is not prime. Res64: 54D419C6378E1E6F Time : 0.0 sec. user=mdettweiler [2018-11-16 13:55:01] 875*2^1531480-1 is not prime. Res64: 6EA81FF90AF036DA Time : 0.0 sec. user=mdettweiler [2018-11-16 13:55:02] 897*2^1531480-1 is not prime. Res64: 453F66FF5E01F182 Time : 0.0 sec. user=mdettweiler [2018-11-16 13:55:02] 927*2^1531480-1 is not prime. Res64: 3EEE346F296B046A Time : 0.0 sec. user=mdettweiler [2018-11-16 14:09:05] 781*2^1531481-1 is not prime. Res64: 7DCB10241D64C50A Time : 0.0 sec. user=mdettweiler [2018-11-16 14:09:05] 907*2^1531481-1 is not prime. Res64: 5A484C1F8911853C Time : 0.0 sec. user=mdettweiler [2018-11-16 14:09:06] 949*2^1531481-1 is not prime. Res64: 82596D1E629C9D5C Time : 0.0 sec. user=mdettweiler [2018-11-16 14:09:06] 611*2^1531482-1 is not prime. Res64: 1CA93F34978954AC Time : 0.0 sec. user=mdettweiler [2018-11-16 14:09:07] 627*2^1531482-1 is not prime. Res64: AC202EEAC1D11EA6 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:12:47] 657*2^1531481-1 is not prime. Res64: EE7FCC752E144B39 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:12:48] 675*2^1531481-1 is not prime. Res64: 77BCF6866500DE15 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:12:48] 691*2^1531481-1 is not prime. Res64: E2CBE10E3CD2C50F Time : 0.0 sec. user=mdettweiler [2018-11-16 14:12:49] 741*2^1531481-1 is not prime. Res64: D1DF22779E3F0D4D Time : 0.0 sec. user=mdettweiler [2018-11-16 14:12:50] 777*2^1531481-1 is not prime. Res64: ADD9632E4A8FD9F4 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:28:15] 803*2^1531482-1 is not prime. Res64: DCFCE197CE3967CF Time : 0.0 sec. user=mdettweiler [2018-11-16 14:28:15] 833*2^1531482-1 is not prime. Res64: FF86FF55B90037E7 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:28:16] 843*2^1531482-1 is not prime. Res64: 6825F899D433E1B3 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:28:16] 893*2^1531482-1 is not prime. Res64: 31A130509BFBE6EE Time : 0.0 sec. user=mdettweiler [2018-11-16 14:28:17] 977*2^1531482-1 is not prime. Res64: CC630DE31E715D99 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:48:18] 615*2^1531483-1 is not prime. Res64: ECCB298E89B53694 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:48:18] 621*2^1531483-1 is not prime. Res64: 2F0FA4F6310E95C2 Time : 0.0 sec. user=mdettweiler [2018-11-16 14:48:19] 639*2^1531483-1 is not prime. Res64: 0FE4F172FDB81DAC Time : 0.0 sec. user=mdettweiler [2018-11-16 14:48:19] 673*2^1531483-1 is not prime. Res64: 54C0BD834726739A Time : 0.0 sec. user=mdettweiler [2018-11-16 14:48:20] 709*2^1531483-1 is not prime. Res64: 1CD3CC4E9C7EBD91 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:03:35] 885*2^1531483-1 is not prime. Res64: 131FA73ED030BF7F Time : 0.0 sec. user=mdettweiler [2018-11-16 15:03:38] 891*2^1531483-1 is not prime. Res64: 41E1E5CD93802A26 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:03:39] 919*2^1531483-1 is not prime. Res64: 54724FEBA0FF3C19 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:03:41] 925*2^1531483-1 is not prime. Res64: CE3E701CE1FD402E Time : 0.0 sec. user=mdettweiler [2018-11-16 15:03:42] 615*2^1531484-1 is not prime. Res64: 787A673F1349C089 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:05:39] 623*2^1531484-1 is not prime. Res64: 7BAEC1769EAE2038 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:05:40] 743*2^1531484-1 is not prime. Res64: F21D9A2AD93C1BB7 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:05:42] 843*2^1531484-1 is not prime. Res64: 978922A874C8084E Time : 0.0 sec. user=mdettweiler [2018-11-16 15:05:44] 923*2^1531484-1 is not prime. Res64: 426BB26E8D072C6F Time : 0.0 sec. user=mdettweiler [2018-11-16 15:05:46] 699*2^1531485-1 is not prime. Res64: 33E64EEB4241FC83 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:23:41] 889*2^1531485-1 is not prime. Res64: BD860E8808F0E938 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:23:42] 969*2^1531485-1 is not prime. Res64: 63505DD18772E51D Time : 0.0 sec. user=mdettweiler [2018-11-16 15:23:42] 979*2^1531485-1 is not prime. Res64: F8D3CADD399DC0A1 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:23:43] 635*2^1531486-1 is not prime. Res64: 24432447F2AC69D5 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:23:44] 717*2^1531486-1 is not prime. Res64: 034A51CDC3AA3A28 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:41:19] 755*2^1531486-1 is not prime. Res64: 6451A7DC01F7011D Time : 0.0 sec. user=mdettweiler [2018-11-16 15:41:20] 777*2^1531486-1 is not prime. Res64: F99DF1DCB0FA0D1C Time : 0.0 sec. user=mdettweiler [2018-11-16 15:41:21] 825*2^1531486-1 is not prime. Res64: 5A8CC6A729E09585 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:41:22] 861*2^1531486-1 is not prime. Res64: 55E010737F37A7E3 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:41:23] 663*2^1531487-1 is not prime. Res64: B4677036B9A31C82 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:58:23] 981*2^1531487-1 is not prime. Res64: 655219079BD616B8 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:58:24] 657*2^1531488-1 is not prime. Res64: FA67DC1C084A91E2 Time : 0.0 sec. user=mdettweiler [2018-11-16 15:58:24] 665*2^1531488-1 is not prime. Res64: 2030EB0AF1C06FEF Time : 0.0 sec. user=mdettweiler [2018-11-16 15:58:24] 669*2^1531488-1 is not prime. Res64: 89E3FD87C831113F Time : 0.0 sec. user=mdettweiler [2018-11-16 15:58:25] 683*2^1531488-1 is not prime. Res64: 1AB2519DBCF5B653 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:00:27] 753*2^1531488-1 is not prime. Res64: 113E4D849D4DD2EF Time : 0.0 sec. user=mdettweiler [2018-11-16 16:00:29] 875*2^1531488-1 is not prime. Res64: E1664D9BB41D8CEA Time : 0.0 sec. user=mdettweiler [2018-11-16 16:00:30] 879*2^1531488-1 is not prime. Res64: BDA524608A0BA42B Time : 0.0 sec. user=mdettweiler [2018-11-16 16:00:32] 959*2^1531488-1 is not prime. Res64: F61EA692BC62F416 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:00:33] 969*2^1531488-1 is not prime. Res64: CCEC60D19FEC1D1C Time : 0.0 sec. user=mdettweiler [2018-11-16 16:18:07] 661*2^1531489-1 is not prime. Res64: E5A1AB52EA78EABD Time : 0.0 sec. user=mdettweiler [2018-11-16 16:18:07] 741*2^1531489-1 is not prime. Res64: 4D372690CEF4BD00 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:18:08] 945*2^1531489-1 is not prime. Res64: 97C36534323D8AFF Time : 0.0 sec. user=mdettweiler [2018-11-16 16:18:08] 951*2^1531489-1 is not prime. Res64: 9D620E0CEB6204F6 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:18:09] 999*2^1531489-1 is not prime. Res64: 918A2BC7C1DF6979 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:34:58] 603*2^1531490-1 is not prime. Res64: BF6DB6C84FEAD673 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:34:59] 665*2^1531490-1 is not prime. Res64: 17A1C98B4B6AE26F Time : 0.0 sec. user=mdettweiler [2018-11-16 16:35:01] 717*2^1531490-1 is not prime. Res64: E55E997C6D31600A Time : 0.0 sec. user=mdettweiler [2018-11-16 16:35:01] 731*2^1531490-1 is not prime. Res64: 2D18284316BC94D6 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:35:02] 791*2^1531490-1 is not prime. Res64: C413FD7FC954ABAB Time : 0.0 sec. user=mdettweiler [2018-11-16 16:50:22] 609*2^1531491-1 is not prime. Res64: A706F00B8364FAC3 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:50:23] 675*2^1531491-1 is not prime. Res64: 764E91A8F25257EF Time : 0.0 sec. user=mdettweiler [2018-11-16 16:50:23] 703*2^1531491-1 is not prime. Res64: 1D9E7F8B63CECA83 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:50:23] 723*2^1531491-1 is not prime. Res64: 2AD214A82C2CAA31 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:50:24] 909*2^1531491-1 is not prime. Res64: 388AA4CF6E06C114 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:52:34] 975*2^1531491-1 is not prime. Res64: 9D37E7115FEF43F8 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:52:35] 603*2^1531492-1 is not prime. Res64: 55CFCDA8D033060D Time : 0.0 sec. user=mdettweiler [2018-11-16 16:52:35] 635*2^1531492-1 is not prime. Res64: 1114DC288DF28D08 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:52:36] 677*2^1531492-1 is not prime. Res64: 641E3323A58A7D68 Time : 0.0 sec. user=mdettweiler [2018-11-16 16:52:36] 717*2^1531492-1 is not prime. Res64: 22D057904AC50413 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:09:57] 765*2^1531492-1 is not prime. Res64: 3174226C77EC7C50 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:09:58] 819*2^1531492-1 is not prime. Res64: 0E2B24C18BEB22B4 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:09:58] 899*2^1531492-1 is not prime. Res64: 94DA51F9705E5B64 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:09:59] 923*2^1531492-1 is not prime. Res64: 41F66B6FBBEB2CCD Time : 0.0 sec. user=mdettweiler [2018-11-16 17:09:59] 649*2^1531493-1 is not prime. Res64: 96A9BECD1CBDED9A Time : 0.0 sec. user=mdettweiler [2018-11-16 17:27:09] 651*2^1531493-1 is not prime. Res64: 0EAD0AD9BC4BE104 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:27:09] 675*2^1531493-1 is not prime. Res64: E668E3A97CBB4AFF Time : 0.0 sec. user=mdettweiler [2018-11-16 17:27:09] 685*2^1531493-1 is not prime. Res64: 708AB636A04F9BB7 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:27:10] 801*2^1531493-1 is not prime. Res64: EF2B4A7CBE5432F1 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:27:10] 861*2^1531493-1 is not prime. Res64: 0D768D1FF0638CD1 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:42:29] 991*2^1531493-1 is not prime. Res64: 88B8988877484658 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:42:29] 611*2^1531494-1 is not prime. Res64: 90C86E669300F2F2 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:42:29] 627*2^1531494-1 is not prime. Res64: 410FF8986253EE56 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:42:30] 695*2^1531494-1 is not prime. Res64: 40D8984AD287F9BD Time : 0.0 sec. user=mdettweiler [2018-11-16 17:42:30] 707*2^1531494-1 is not prime. Res64: 5B9D75A3D59C2A17 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:45:08] 717*2^1531494-1 is not prime. Res64: D7CDF9C4FDAD5769 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:45:08] 993*2^1531494-1 is not prime. Res64: 6546BDA14BF78988 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:45:09] 843*2^1531495-1 is not prime. Res64: 661FA50484F5C1EF Time : 0.0 sec. user=mdettweiler [2018-11-16 17:45:09] 873*2^1531495-1 is not prime. Res64: FC856935251F9BF4 Time : 0.0 sec. user=mdettweiler [2018-11-16 17:45:09] 999*2^1531495-1 is not prime. Res64: 3191586C2F160E33 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:04:07] 615*2^1531496-1 is not prime. Res64: 5504AB24BEC1F522 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:04:08] 633*2^1531496-1 is not prime. Res64: D34611A5AA3E9BB9 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:04:10] 645*2^1531496-1 is not prime. Res64: 690E8B76EBE75834 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:04:11] 759*2^1531496-1 is not prime. Res64: C941F5DB27C4C20C Time : 0.0 sec. user=mdettweiler [2018-11-16 18:04:12] 789*2^1531496-1 is not prime. Res64: EE1D5B7AC8334560 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:23:06] 825*2^1531496-1 is not prime. Res64: 6FABAD87417ABD88 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:23:07] 857*2^1531496-1 is not prime. Res64: D5A6DF2B1AD78A26 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:23:08] 867*2^1531496-1 is not prime. Res64: 9858E066FCC632D2 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:23:09] 999*2^1531496-1 is not prime. Res64: A85E511BF9FDB4E5 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:23:10] 607*2^1531497-1 is not prime. Res64: 7DEE3B75DA85040B Time : 0.0 sec. user=mdettweiler [2018-11-16 18:39:07] 661*2^1531497-1 is not prime. Res64: A168ABCB67882A43 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:39:08] 777*2^1531497-1 is not prime. Res64: B1F01345E9325147 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:39:08] 885*2^1531497-1 is not prime. Res64: 03C4A451A50BD4B9 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:39:08] 617*2^1531498-1 is not prime. Res64: 4A192B5C16912AE6 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:39:09] 663*2^1531498-1 is not prime. Res64: 4E306DF9CEE5BE3B Time : 0.0 sec. user=mdettweiler [2018-11-16 18:41:39] 665*2^1531498-1 is not prime. Res64: 92AF5DB47010900B Time : 0.0 sec. user=mdettweiler [2018-11-16 18:41:39] 677*2^1531498-1 is not prime. Res64: 7C308E777BEC59F8 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:41:39] 731*2^1531498-1 is not prime. Res64: 1047F0EB081B7B8F Time : 0.0 sec. user=mdettweiler [2018-11-16 18:41:40] 791*2^1531498-1 is not prime. Res64: 737C0F69724A1F86 Time : 0.0 sec. user=mdettweiler [2018-11-16 18:41:40] 857*2^1531498-1 is not prime. Res64: F85B0E0FC731E369 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:02:59] 891*2^1531498-1 is not prime. Res64: F073F8D46FCEEA37 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:03:01] 923*2^1531498-1 is not prime. Res64: 8C7C687EF09E850B Time : 0.0 sec. user=mdettweiler [2018-11-16 19:03:02] 933*2^1531498-1 is not prime. Res64: B3268395A696E9C4 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:03:03] 945*2^1531498-1 is not prime. Res64: EEA45A68FCC090CF Time : 0.0 sec. user=mdettweiler [2018-11-16 19:03:04] 987*2^1531498-1 is not prime. Res64: E30BFA618AFBCADF Time : 0.0 sec. user=mdettweiler [2018-11-16 19:22:37] 931*2^1531499-1 is not prime. Res64: 6178AD90036C3A69 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:22:38] 985*2^1531499-1 is not prime. Res64: DF42F77C755EBF08 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:22:38] 993*2^1531499-1 is not prime. Res64: 6D5F68AD34F66D79 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:22:39] 669*2^1531500-1 is not prime. Res64: 98F911E0726DFFCB Time : 0.0 sec. user=mdettweiler [2018-11-16 19:22:40] 765*2^1531500-1 is not prime. Res64: DDAC018CF7C16B87 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:36:51] 873*2^1531500-1 is not prime. Res64: 320E2C67EC3B6484 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:36:52] 875*2^1531500-1 is not prime. Res64: 65BC803B2ABA5D0E Time : 0.0 sec. user=mdettweiler [2018-11-16 19:36:52] 915*2^1531500-1 is not prime. Res64: D4DA497F6FE592A1 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:36:52] 625*2^1531501-1 is not prime. Res64: 921145614206C073 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:36:53] 687*2^1531501-1 is not prime. Res64: 7CE36F7E49E89554 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:41:47] 855*2^1531501-1 is not prime. Res64: CD75231A9986E57E Time : 0.0 sec. user=mdettweiler [2018-11-16 19:41:48] 967*2^1531501-1 is not prime. Res64: FE58A347D713F6F1 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:41:48] 981*2^1531501-1 is not prime. Res64: 6F6B96F9F1BE2148 Time : 0.0 sec. user=mdettweiler [2018-11-16 19:41:48] 627*2^1531502-1 is not prime. Res64: 6702CA3338E6844D Time : 0.0 sec. user=mdettweiler [2018-11-16 19:41:49] 671*2^1531502-1 is not prime. Res64: 7EC256EC67159463 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:00:35] 683*2^1531502-1 is not prime. Res64: 720114F883BB71D8 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:00:40] 705*2^1531502-1 is not prime. Res64: 94903EDC2209D403 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:00:41] 755*2^1531502-1 is not prime. Res64: 91EC6BA8E49E8003 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:00:42] 771*2^1531502-1 is not prime. Res64: 74BEC51B03D96546 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:00:43] 785*2^1531502-1 is not prime. Res64: C9E87370BC564B99 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:16:31] 893*2^1531502-1 is not prime. Res64: DD3EDA62B973A8F0 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:16:34] 609*2^1531503-1 is not prime. Res64: 31CDCDB8EE918EDF Time : 0.0 sec. user=mdettweiler [2018-11-16 20:16:35] 613*2^1531503-1 is not prime. Res64: B1AF97D0A03548FD Time : 0.0 sec. user=mdettweiler [2018-11-16 20:16:37] 625*2^1531503-1 is not prime. Res64: 866F9838E9E961E4 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:16:38] 661*2^1531503-1 is not prime. Res64: 3A1A6DD8EE4E7C2B Time : 0.0 sec. user=mdettweiler [2018-11-16 20:29:21] 685*2^1531503-1 is not prime. Res64: 3C56237423DBA1FD Time : 0.0 sec. user=mdettweiler [2018-11-16 20:29:22] 703*2^1531503-1 is not prime. Res64: C64AEA8698556DE2 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:29:22] 769*2^1531503-1 is not prime. Res64: 6F161D75FFB912DA Time : 0.0 sec. user=mdettweiler [2018-11-16 20:29:22] 795*2^1531503-1 is not prime. Res64: 6F465C8A39315BD4 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:29:23] 805*2^1531503-1 is not prime. Res64: 1ADD1A8DEE9C9BB4 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:33:50] 933*2^1531503-1 is not prime. Res64: 323ED0529A681A33 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:33:50] 955*2^1531503-1 is not prime. Res64: ECD310FF1CB1D06B Time : 0.0 sec. user=mdettweiler [2018-11-16 20:33:51] 717*2^1531504-1 is not prime. Res64: B43BA36EAD59CC97 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:33:51] 897*2^1531504-1 is not prime. Res64: F05EEAC9603BC27B Time : 0.0 sec. user=mdettweiler [2018-11-16 20:33:51] 929*2^1531504-1 is not prime. Res64: 3B82DC5621676BFC Time : 0.0 sec. user=mdettweiler [2018-11-16 20:52:31] 939*2^1531504-1 is not prime. Res64: D034A4467C6DE87E Time : 0.0 sec. user=mdettweiler [2018-11-16 20:52:32] 669*2^1531505-1 is not prime. Res64: 7CE757BA653622C8 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:52:32] 735*2^1531505-1 is not prime. Res64: 4CC7C36DD0010037 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:52:33] 759*2^1531505-1 is not prime. Res64: 8974AE4EAED0AEE7 Time : 0.0 sec. user=mdettweiler [2018-11-16 20:52:33] 799*2^1531505-1 is not prime. Res64: C4C8384A8E24AF70 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:10:10] 915*2^1531505-1 is not prime. Res64: 68C60F1858CB3140 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:10:11] 957*2^1531505-1 is not prime. Res64: C2D464DA2149A689 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:10:11] 635*2^1531506-1 is not prime. Res64: 091CE9543CB226B8 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:10:12] 783*2^1531506-1 is not prime. Res64: FF1004E40A54EDF4 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:10:12] 801*2^1531506-1 is not prime. Res64: 306A06A30FFFB649 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:21:29] 893*2^1531506-1 is not prime. Res64: 4F844DE77DFF199C Time : 0.0 sec. user=mdettweiler [2018-11-16 21:21:30] 1001*2^1531506-1 is not prime. Res64: 84994156736F280C Time : 0.0 sec. user=mdettweiler [2018-11-16 21:21:30] 705*2^1531507-1 is not prime. Res64: 7A87EB6643E1C45E Time : 0.0 sec. user=mdettweiler [2018-11-16 21:21:30] 775*2^1531507-1 is not prime. Res64: 10AEA7CD54153010 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:21:31] 891*2^1531507-1 is not prime. Res64: 76DCE7CB3A407C26 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:26:07] 961*2^1531507-1 is not prime. Res64: 1E231B82E021DE87 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:26:07] 635*2^1531508-1 is not prime. Res64: 7FE091242817DFE0 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:26:07] 735*2^1531508-1 is not prime. Res64: 0FE57468C20B01F6 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:26:08] 759*2^1531508-1 is not prime. Res64: C648D8D239EC7E97 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:26:08] 803*2^1531508-1 is not prime. Res64: 08773AEDED1F319C Time : 0.0 sec. user=mdettweiler [2018-11-16 21:44:26] 825*2^1531508-1 is not prime. Res64: 68A70019EDADFF4F Time : 0.0 sec. user=mdettweiler [2018-11-16 21:44:27] 957*2^1531508-1 is not prime. Res64: 1C0ED6CC40612580 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:44:27] 615*2^1531509-1 is not prime. Res64: 92CB1535F1DAD263 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:44:28] 625*2^1531509-1 is not prime. Res64: C001CBAC5EBBB4A5 Time : 0.0 sec. user=mdettweiler [2018-11-16 21:44:28] 657*2^1531509-1 is not prime. Res64: DEA73C08BDB4CFD9 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:01:52] 669*2^1531509-1 is not prime. Res64: 9B3834945540556A Time : 0.0 sec. user=mdettweiler [2018-11-16 22:01:54] 765*2^1531509-1 is not prime. Res64: F0F33C45B08CFF68 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:01:55] 861*2^1531509-1 is not prime. Res64: E72204B0F41051EA Time : 0.0 sec. user=mdettweiler [2018-11-16 22:01:56] 907*2^1531509-1 is not prime. Res64: 5F491490BC857CF9 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:01:58] 927*2^1531509-1 is not prime. Res64: 1E51AA387AE7337C Time : 0.0 sec. user=mdettweiler [2018-11-16 22:13:03] 985*2^1531509-1 is not prime. Res64: D4DC665C2E70ACAF Time : 0.0 sec. user=mdettweiler [2018-11-16 22:13:04] 997*2^1531509-1 is not prime. Res64: DF373507A598AAFD Time : 0.0 sec. user=mdettweiler [2018-11-16 22:13:04] 635*2^1531510-1 is not prime. Res64: 8210E2CEE4C9F34F Time : 0.0 sec. user=mdettweiler [2018-11-16 22:13:05] 651*2^1531510-1 is not prime. Res64: 42F3EF92E67DA9A3 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:13:05] 713*2^1531510-1 is not prime. Res64: 13D3114902E7ACC4 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:17:36] 773*2^1531510-1 is not prime. Res64: FF324E3EAF0A2EE7 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:17:36] 965*2^1531510-1 is not prime. Res64: 55B89E959341DF5C Time : 0.0 sec. user=mdettweiler [2018-11-16 22:17:37] 987*2^1531510-1 is not prime. Res64: F384741B8B22F116 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:17:37] 1001*2^1531510-1 is not prime. Res64: 6F8865B84C5B440E Time : 0.0 sec. user=mdettweiler [2018-11-16 22:17:38] 651*2^1531511-1 is not prime. Res64: E4BC26E09B35BFC4 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:35:45] 685*2^1531511-1 is not prime. Res64: 95C5EF2E6FC5D6F9 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:35:45] 843*2^1531511-1 is not prime. Res64: 924536EC80370053 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:35:46] 883*2^1531511-1 is not prime. Res64: A585BDF91098E3A4 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:35:46] 979*2^1531511-1 is not prime. Res64: 96D5368B92CF9076 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:35:46] 615*2^1531512-1 is not prime. Res64: 0FAD9D93E61CFF56 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:53:37] 653*2^1531512-1 is not prime. Res64: 43F5E77DD5068203 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:53:37] 669*2^1531512-1 is not prime. Res64: 2016258BC1E81674 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:53:38] 689*2^1531512-1 is not prime. Res64: 9023F18A0275CB1C Time : 0.0 sec. user=mdettweiler [2018-11-16 22:53:38] 695*2^1531512-1 is not prime. Res64: 4BE7752A79DD27E1 Time : 0.0 sec. user=mdettweiler [2018-11-16 22:53:38] 699*2^1531512-1 is not prime. Res64: 9282A2F8120B4C0D Time : 0.0 sec. user=mdettweiler [2018-11-16 23:05:20] 753*2^1531512-1 is not prime. Res64: B8997EFA6925A475 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:05:23] 765*2^1531512-1 is not prime. Res64: 51B2699308A088BE Time : 0.0 sec. user=mdettweiler [2018-11-16 23:05:25] 893*2^1531512-1 is not prime. Res64: D9D7E1FA3ED23A2A Time : 0.0 sec. user=mdettweiler [2018-11-16 23:05:26] 909*2^1531512-1 is not prime. Res64: 68018D32B7C96BF8 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:05:28] 957*2^1531512-1 is not prime. Res64: 0BB67FDEC4C92268 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:14:58] 625*2^1531513-1 is not prime. Res64: 4DF23E89675EA32D Time : 0.0 sec. user=mdettweiler [2018-11-16 23:14:58] 649*2^1531513-1 is not prime. Res64: 09E78CAE8D92B994 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:14:59] 729*2^1531513-1 is not prime. Res64: F68F365815A7B9DB Time : 0.0 sec. user=mdettweiler [2018-11-16 23:14:59] 775*2^1531513-1 is not prime. Res64: 3262D4E762CCD09B Time : 0.0 sec. user=mdettweiler [2018-11-16 23:14:59] 861*2^1531513-1 is not prime. Res64: 66D1E08960BA3528 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:27:35] 987*2^1531513-1 is not prime. Res64: 350ED30E722FBE26 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:27:36] 615*2^1531514-1 is not prime. Res64: B99DA45C16910BE5 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:27:36] 633*2^1531514-1 is not prime. Res64: 88B03D5574C52C05 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:27:36] 675*2^1531514-1 is not prime. Res64: 16DD01DE81CE4388 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:27:37] 701*2^1531514-1 is not prime. Res64: 830F9EDED6E3DA8F Time : 0.0 sec. user=mdettweiler [2018-11-16 23:45:15] 815*2^1531514-1 is not prime. Res64: 6B44CB718C86816D Time : 0.0 sec. user=mdettweiler [2018-11-16 23:45:16] 823*2^1531515-1 is not prime. Res64: 935D82BA3F7B9FBD Time : 0.0 sec. user=mdettweiler [2018-11-16 23:45:16] 909*2^1531515-1 is not prime. Res64: E4F1843A5436A7CC Time : 0.0 sec. user=mdettweiler [2018-11-16 23:45:16] 921*2^1531515-1 is not prime. Res64: 4E5171EA3F50C9B1 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:45:17] 653*2^1531516-1 is not prime. Res64: A773A5673CC920A1 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:57:20] 749*2^1531516-1 is not prime. Res64: 2F8240B9B1E54FD0 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:57:20] 777*2^1531516-1 is not prime. Res64: 408BE4EAABE25DF9 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:57:21] 833*2^1531516-1 is not prime. Res64: E6F6B326B74D5D76 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:57:21] 855*2^1531516-1 is not prime. Res64: 14AF6F2B71C0FF45 Time : 0.0 sec. user=mdettweiler [2018-11-16 23:57:21] 965*2^1531516-1 is not prime. Res64: 05CCAA368DA66996 Time : 0.0 sec.