user=mdettweiler [2020-03-16 00:28:22] 825*2^1555518-1 is not prime. Res64: 1E4770DE0A6D25B1 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:28:23] 921*2^1555518-1 is not prime. Res64: E017557AB69919BA Time : 0.0 sec. user=mdettweiler [2020-03-16 00:28:23] 645*2^1555519-1 is not prime. Res64: 6503C242F1FCE294 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:28:24] 705*2^1555519-1 is not prime. Res64: 1E197C295B0CF456 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:28:24] 765*2^1555519-1 is not prime. Res64: 0A2A96A5B9E3E013 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:35:06] 913*2^1555519-1 is not prime. Res64: 28A7191A22CF232B Time : 0.0 sec. user=mdettweiler [2020-03-16 00:35:07] 939*2^1555519-1 is not prime. Res64: 8FBA4562C0B07536 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:35:07] 943*2^1555519-1 is not prime. Res64: C88DC60EB706A975 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:35:07] 985*2^1555519-1 is not prime. Res64: EFB611A793046615 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:35:08] 665*2^1555520-1 is not prime. Res64: 664C53CD56E12721 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:50:56] 675*2^1555520-1 is not prime. Res64: 5D1225902528D7D9 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:50:56] 677*2^1555520-1 is not prime. Res64: 6CC7CA7AD232FBE7 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:50:57] 689*2^1555520-1 is not prime. Res64: 29458A9B0E0DB663 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:50:57] 743*2^1555520-1 is not prime. Res64: CF7171DA19FD6156 Time : 0.0 sec. user=mdettweiler [2020-03-16 00:50:57] 747*2^1555520-1 is not prime. Res64: E30B7A81FFB1E765 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:22:04] 767*2^1555520-1 is not prime. Res64: 41464F9B5B3B0EC9 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:22:04] 785*2^1555520-1 is not prime. Res64: 055AE1029211FBAB Time : 0.0 sec. user=mdettweiler [2020-03-16 01:22:05] 797*2^1555520-1 is not prime. Res64: B26D90D5A92EC550 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:22:05] 845*2^1555520-1 is not prime. Res64: 132401C3CB7AF037 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:22:06] 935*2^1555520-1 is not prime. Res64: 2152F1FB54376862 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:28:57] 983*2^1555520-1 is not prime. Res64: 518EDD17D4624ADA Time : 0.0 sec. user=mdettweiler [2020-03-16 01:29:01] 999*2^1555520-1 is not prime. Res64: 3EA63D38CB4D5771 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:29:03] 615*2^1555521-1 is not prime. Res64: C10A86D03873F380 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:29:05] 625*2^1555521-1 is not prime. Res64: 723F50A4B4226797 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:29:07] 679*2^1555521-1 is not prime. Res64: B40B04F0F9276C05 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:43:59] 681*2^1555521-1 is not prime. Res64: 04A8D96E265919BF Time : 0.0 sec. user=mdettweiler [2020-03-16 01:44:00] 717*2^1555521-1 is not prime. Res64: A0038AC15361A068 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:44:01] 777*2^1555521-1 is not prime. Res64: D04C9FF5E09738AA Time : 0.0 sec. user=mdettweiler [2020-03-16 01:44:01] 847*2^1555521-1 is not prime. Res64: E107B245D32B3E60 Time : 0.0 sec. user=mdettweiler [2020-03-16 01:44:02] 889*2^1555521-1 is not prime. Res64: 56C4632A8F7A4733 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:18:48] 895*2^1555521-1 is not prime. Res64: 4BAA708CE2C7DFDB Time : 0.0 sec. user=mdettweiler [2020-03-16 02:18:49] 945*2^1555521-1 is not prime. Res64: 0CE1B5C1D4256B92 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:18:49] 955*2^1555521-1 is not prime. Res64: D1A3931D846C3D90 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:18:50] 997*2^1555521-1 is not prime. Res64: 37D9FFB4A61A15AB Time : 0.0 sec. user=mdettweiler [2020-03-16 02:18:50] 645*2^1555522-1 is not prime. Res64: 43A5B59182F03ABA Time : 0.0 sec. user=mdettweiler [2020-03-16 02:24:42] 713*2^1555522-1 is not prime. Res64: 18AA9077FA87F55B Time : 0.0 sec. user=mdettweiler [2020-03-16 02:24:42] 731*2^1555522-1 is not prime. Res64: 110D5557EA53BEC4 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:24:43] 911*2^1555522-1 is not prime. Res64: 0B9943367FEA93DB Time : 0.0 sec. user=mdettweiler [2020-03-16 02:24:43] 917*2^1555522-1 is not prime. Res64: 33EABABF0580466A Time : 0.0 sec. user=mdettweiler [2020-03-16 02:24:44] 981*2^1555522-1 is not prime. Res64: 606D15C131A03DCA Time : 0.0 sec. user=mdettweiler [2020-03-16 02:37:20] 983*2^1555522-1 is not prime. Res64: 364E421D5AB45656 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:37:21] 745*2^1555523-1 is not prime. Res64: E29AB84736DF01FD Time : 0.0 sec. user=mdettweiler [2020-03-16 02:37:21] 861*2^1555523-1 is not prime. Res64: 90758968A33799B0 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:37:22] 737*2^1555524-1 is not prime. Res64: 5DE21713E6CCEE71 Time : 0.0 sec. user=mdettweiler [2020-03-16 02:37:22] 753*2^1555524-1 is not prime. Res64: C1EE3AF3D969BD7E Time : 0.0 sec. user=mdettweiler [2020-03-16 03:13:41] 765*2^1555524-1 is not prime. Res64: E022D422A2D0CD1E Time : 0.0 sec. user=mdettweiler [2020-03-16 03:13:41] 767*2^1555524-1 is not prime. Res64: C6E879133533DFC9 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:13:42] 857*2^1555524-1 is not prime. Res64: C2C55571F4807A40 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:13:42] 909*2^1555524-1 is not prime. Res64: 45BC6B6A3B88F48B Time : 0.0 sec. user=mdettweiler [2020-03-16 03:13:43] 965*2^1555524-1 is not prime. Res64: 473B6EC90B419CF8 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:17:50] 987*2^1555524-1 is not prime. Res64: F636C71774B115A6 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:17:51] 645*2^1555525-1 is not prime. Res64: 7B9E135E42FB2362 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:17:51] 661*2^1555525-1 is not prime. Res64: DCF28546B0C20825 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:17:51] 775*2^1555525-1 is not prime. Res64: 44D2B4F88C719133 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:17:52] 817*2^1555525-1 is not prime. Res64: 897AAC17FFA2DFD6 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:33:23] 849*2^1555525-1 is not prime. Res64: 7195B1C648EAE7DA Time : 0.0 sec. user=mdettweiler [2020-03-16 03:33:25] 861*2^1555525-1 is not prime. Res64: 4F8540F3435F8897 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:33:25] 915*2^1555525-1 is not prime. Res64: F799DFE1F7300E4F Time : 0.0 sec. user=mdettweiler [2020-03-16 03:33:26] 919*2^1555525-1 is not prime. Res64: C58094587222E239 Time : 0.0 sec. user=mdettweiler [2020-03-16 03:33:27] 975*2^1555525-1 is not prime. Res64: 65E424761121C0BF Time : 0.0 sec. user=mdettweiler [2020-03-16 04:07:33] 773*2^1555526-1 is not prime. Res64: 72E31A2A533891D8 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:07:36] 795*2^1555526-1 is not prime. Res64: 7ACEC49077865DA7 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:07:39] 831*2^1555526-1 is not prime. Res64: 2A2223F478428536 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:07:40] 833*2^1555526-1 is not prime. Res64: A1C1BC982A316564 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:07:41] 957*2^1555526-1 is not prime. Res64: A271C2242028AAED Time : 0.0 sec. user=mdettweiler [2020-03-16 04:09:19] 615*2^1555527-1 is not prime. Res64: 3D145AB32D6832A4 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:09:25] 619*2^1555527-1 is not prime. Res64: F9B62F42690C6E0A Time : 0.0 sec. user=mdettweiler [2020-03-16 04:09:27] 661*2^1555527-1 is not prime. Res64: 1D582ED63C2165C5 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:09:30] 711*2^1555527-1 is not prime. Res64: 65BBC2EABC2083CC Time : 0.0 sec. user=mdettweiler [2020-03-16 04:09:32] 823*2^1555527-1 is not prime. Res64: 52ECBAE5972AE0DE Time : 0.0 sec. user=mdettweiler [2020-03-16 04:29:17] 859*2^1555527-1 is not prime. Res64: 18B1B7624356FC89 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:29:17] 919*2^1555527-1 is not prime. Res64: F00FCE7FE295FBC8 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:29:18] 961*2^1555527-1 is not prime. Res64: 112406D45D60396D Time : 0.0 sec. user=mdettweiler [2020-03-16 04:29:18] 991*2^1555527-1 is not prime. Res64: 78CAF4FD43E23136 Time : 0.0 sec. user=mdettweiler [2020-03-16 04:29:18] 605*2^1555528-1 is not prime. Res64: 66CBACBCCED3B0C3 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:00:51] 677*2^1555528-1 is not prime. Res64: 85F3C282F73DFF9D Time : 0.0 sec. user=mdettweiler [2020-03-16 05:00:52] 695*2^1555528-1 is not prime. Res64: 831F4060388D65C9 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:00:52] 989*2^1555528-1 is not prime. Res64: 488B681E4C9B179D Time : 0.0 sec. user=mdettweiler [2020-03-16 05:00:53] 619*2^1555529-1 is not prime. Res64: CD1B41B4588851C3 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:00:54] 679*2^1555529-1 is not prime. Res64: 664EE59560E50C68 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:01:20] 879*2^1555529-1 is not prime. Res64: C1689DB1824F7825 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:01:20] 611*2^1555530-1 is not prime. Res64: 3400605692335D72 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:01:21] 635*2^1555530-1 is not prime. Res64: 32761FE7972402F9 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:01:22] 653*2^1555530-1 is not prime. Res64: 51C942ABBD453817 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:01:23] 861*2^1555530-1 is not prime. Res64: 05DF013FB37A34B2 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:23:26] 891*2^1555530-1 is not prime. Res64: E5BA5110C439B506 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:23:26] 917*2^1555530-1 is not prime. Res64: C8A3FA3F87B0D0DF Time : 0.0 sec. user=mdettweiler [2020-03-16 05:23:27] 723*2^1555531-1 is not prime. Res64: 70DF85BAC1968CDF Time : 0.0 sec. user=mdettweiler [2020-03-16 05:23:27] 735*2^1555531-1 is not prime. Res64: 30EE17C666D9A4D4 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:23:28] 819*2^1555531-1 is not prime. Res64: D2952DE19F443F62 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:52:49] 615*2^1555532-1 is not prime. Res64: 460965B1FECBE4CC Time : 0.0 sec. user=mdettweiler [2020-03-16 05:52:50] 635*2^1555532-1 is not prime. Res64: A44A7AA56FB98BE5 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:52:50] 717*2^1555532-1 is not prime. Res64: 69236A413A1A96F8 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:52:50] 725*2^1555532-1 is not prime. Res64: 3E746AFFAA9D6ECB Time : 0.0 sec. user=mdettweiler [2020-03-16 05:52:51] 767*2^1555532-1 is not prime. Res64: 94D4498249B9B4BC Time : 0.0 sec. user=mdettweiler [2020-03-16 05:56:57] 829*2^1555531-1 is not prime. Res64: 9A6563952B6D1CE6 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:56:57] 873*2^1555531-1 is not prime. Res64: B714361FE9ABE1C9 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:56:57] 969*2^1555531-1 is not prime. Res64: 2EBBF448EED92E67 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:56:58] 973*2^1555531-1 is not prime. Res64: 3B066C396E162302 Time : 0.0 sec. user=mdettweiler [2020-03-16 05:56:58] 979*2^1555531-1 is not prime. Res64: A9FF6C8E780FF23E Time : 0.0 sec. user=mdettweiler [2020-03-16 06:19:02] 959*2^1555532-1 is not prime. Res64: 0CDA2B5F28C831BD Time : 0.0 sec. user=mdettweiler [2020-03-16 06:19:03] 977*2^1555532-1 is not prime. Res64: DFB26AE21AF73E71 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:19:03] 745*2^1555533-1 is not prime. Res64: 08837FF21B0DED09 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:19:04] 847*2^1555533-1 is not prime. Res64: 5F5BEE501151AD1D Time : 0.0 sec. user=mdettweiler [2020-03-16 06:19:04] 891*2^1555533-1 is not prime. Res64: 3BF843DD0A99D447 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:44:54] 675*2^1555534-1 is not prime. Res64: 81A19B5226E7D3D0 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:44:54] 707*2^1555534-1 is not prime. Res64: 8F4F00342D912071 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:44:54] 815*2^1555534-1 is not prime. Res64: F5B732127D1A7FCD Time : 0.0 sec. user=mdettweiler [2020-03-16 06:44:55] 825*2^1555534-1 is not prime. Res64: 1A385ABB3E7C7543 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:44:55] 861*2^1555534-1 is not prime. Res64: 568ED318DF8E7F9E Time : 0.0 sec. user=mdettweiler [2020-03-16 06:53:32] 915*2^1555534-1 is not prime. Res64: CFAEE2046F252C5B Time : 0.0 sec. user=mdettweiler [2020-03-16 06:53:32] 945*2^1555534-1 is not prime. Res64: 49D00B754BD7C0D7 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:53:32] 947*2^1555534-1 is not prime. Res64: 7C992CAEDF428E01 Time : 0.0 sec. user=mdettweiler [2020-03-16 06:53:33] 981*2^1555534-1 is not prime. Res64: 0E0E78987686131C Time : 0.0 sec. user=mdettweiler [2020-03-16 06:53:33] 633*2^1555535-1 is not prime. Res64: 7479B89F8A88CE89 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:12:15] 685*2^1555535-1 is not prime. Res64: F66E1FAD1249597B Time : 0.0 sec. user=mdettweiler [2020-03-16 07:12:16] 735*2^1555535-1 is not prime. Res64: 48054950E06AD21E Time : 0.0 sec. user=mdettweiler [2020-03-16 07:12:16] 759*2^1555535-1 is not prime. Res64: D9A825E958AF7557 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:12:17] 799*2^1555535-1 is not prime. Res64: 331341E87E215A1E Time : 0.0 sec. user=mdettweiler [2020-03-16 07:12:17] 939*2^1555535-1 is not prime. Res64: 53B2153DABC1F26F Time : 0.0 sec. user=mdettweiler [2020-03-16 07:37:23] 973*2^1555535-1 is not prime. Res64: 6E0A39EAC2C4D17B Time : 0.0 sec. user=mdettweiler [2020-03-16 07:37:23] 633*2^1555536-1 is not prime. Res64: 35A49E2527E8E5EC Time : 0.0 sec. user=mdettweiler [2020-03-16 07:37:24] 635*2^1555536-1 is not prime. Res64: F5AC44D17A568507 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:37:24] 705*2^1555536-1 is not prime. Res64: B8357890457FC297 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:37:24] 737*2^1555536-1 is not prime. Res64: 9349CEEC6418C298 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:46:59] 773*2^1555536-1 is not prime. Res64: FE64018DB172AE44 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:47:00] 849*2^1555536-1 is not prime. Res64: A7C6752C95AE294D Time : 0.0 sec. user=mdettweiler [2020-03-16 07:47:00] 999*2^1555536-1 is not prime. Res64: C4735510F61ADF66 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:47:00] 607*2^1555537-1 is not prime. Res64: 6A6DD4D9C0F9D884 Time : 0.0 sec. user=mdettweiler [2020-03-16 07:47:01] 759*2^1555537-1 is not prime. Res64: 7ED2959CB7A6AA85 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:05:51] 775*2^1555537-1 is not prime. Res64: BA7FF23EBCD9A943 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:05:52] 985*2^1555537-1 is not prime. Res64: 79A4AF2E5E5D57B9 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:05:53] 731*2^1555538-1 is not prime. Res64: C45AB0F988541689 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:05:55] 827*2^1555538-1 is not prime. Res64: 6F892FFC2BA400B7 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:05:55] 867*2^1555538-1 is not prime. Res64: 892651835107F124 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:32:50] 885*2^1555538-1 is not prime. Res64: 5A72BA32032AA5B1 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:32:50] 915*2^1555538-1 is not prime. Res64: C3CC06BE7E8AC8CA Time : 0.0 sec. user=mdettweiler [2020-03-16 08:32:51] 987*2^1555538-1 is not prime. Res64: C29B3D1DF98904CF Time : 0.0 sec. user=mdettweiler [2020-03-16 08:32:51] 995*2^1555538-1 is not prime. Res64: 987DF3BBFC66ED22 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:32:52] 619*2^1555539-1 is not prime. Res64: B155252D02FB3E87 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:40:51] 649*2^1555539-1 is not prime. Res64: 04EE69BD395922E7 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:40:51] 721*2^1555539-1 is not prime. Res64: EA3D647D4EBAE8D2 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:40:52] 745*2^1555539-1 is not prime. Res64: FF4247349A82801C Time : 0.0 sec. user=mdettweiler [2020-03-16 08:40:52] 909*2^1555539-1 is not prime. Res64: F7E74689535ADF72 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:40:52] 961*2^1555539-1 is not prime. Res64: 0F173F1EC8B33F51 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:58:35] 719*2^1555540-1 is not prime. Res64: 3CBC0508157DB264 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:58:36] 765*2^1555540-1 is not prime. Res64: 90DFA3959F24A5FB Time : 0.0 sec. user=mdettweiler [2020-03-16 08:58:36] 777*2^1555540-1 is not prime. Res64: 17FE99C7B81D0BBB Time : 0.0 sec. user=mdettweiler [2020-03-16 08:58:36] 803*2^1555540-1 is not prime. Res64: E8CF2295E3276C71 Time : 0.0 sec. user=mdettweiler [2020-03-16 08:58:37] 839*2^1555540-1 is not prime. Res64: 1DE75A7B678C7A04 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:25:59] 857*2^1555540-1 is not prime. Res64: 3E20010F0D73A973 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:26:00] 887*2^1555540-1 is not prime. Res64: D911370F691DEAE6 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:26:00] 983*2^1555540-1 is not prime. Res64: 9224225528325724 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:26:00] 631*2^1555541-1 is not prime. Res64: D5C2A2271336FB32 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:26:01] 685*2^1555541-1 is not prime. Res64: F5669BFE8CEC8B5E Time : 0.0 sec. user=mdettweiler [2020-03-16 09:33:54] 741*2^1555541-1 is not prime. Res64: B5ECB93694D8E676 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:33:55] 747*2^1555541-1 is not prime. Res64: F3B8D2834A0FFC8C Time : 0.0 sec. user=mdettweiler [2020-03-16 09:33:55] 859*2^1555541-1 is not prime. Res64: 532886737D84FAB0 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:33:55] 907*2^1555541-1 is not prime. Res64: F7A50C489A143995 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:33:56] 671*2^1555542-1 is not prime. Res64: A6CA1D41985C9DC3 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:51:41] 695*2^1555542-1 is not prime. Res64: 0A70368209FF83AE Time : 0.0 sec. user=mdettweiler [2020-03-16 09:51:42] 755*2^1555542-1 is not prime. Res64: 6732936C218F551C Time : 0.0 sec. user=mdettweiler [2020-03-16 09:51:42] 797*2^1555542-1 is not prime. Res64: 8198326A8639F7DC Time : 0.0 sec. user=mdettweiler [2020-03-16 09:51:42] 903*2^1555542-1 is not prime. Res64: D3671022CA480C88 Time : 0.0 sec. user=mdettweiler [2020-03-16 09:51:43] 639*2^1555543-1 is not prime. Res64: 799A6B506F945573 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:17:42] 661*2^1555543-1 is not prime. Res64: 10E655C30DA6559A Time : 0.0 sec. user=mdettweiler [2020-03-16 10:17:43] 763*2^1555543-1 is not prime. Res64: F0282E2A9B361B23 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:17:43] 885*2^1555543-1 is not prime. Res64: E15006272CDCF5E2 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:17:44] 635*2^1555544-1 is not prime. Res64: 9A34509EF17A8807 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:17:44] 657*2^1555544-1 is not prime. Res64: EF0181C408CDAD40 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:28:39] 759*2^1555544-1 is not prime. Res64: 0B4BCEA50ED54A61 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:28:39] 789*2^1555544-1 is not prime. Res64: 2C642F2E9A7875C5 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:28:40] 873*2^1555544-1 is not prime. Res64: BC4F3B274D4E59AF Time : 0.0 sec. user=mdettweiler [2020-03-16 10:28:40] 969*2^1555544-1 is not prime. Res64: B2C41FB0F58A4AEE Time : 0.0 sec. user=mdettweiler [2020-03-16 10:28:40] 983*2^1555544-1 is not prime. Res64: DB456773A1BBB31D Time : 0.0 sec. user=mdettweiler [2020-03-16 10:45:02] 609*2^1555545-1 is not prime. Res64: DEF70158CA3B67BC Time : 0.0 sec. user=mdettweiler [2020-03-16 10:45:02] 691*2^1555545-1 is not prime. Res64: 40ECE89F42690846 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:45:02] 951*2^1555545-1 is not prime. Res64: 0CE1373C3FCCD71F Time : 0.0 sec. user=mdettweiler [2020-03-16 10:45:03] 755*2^1555546-1 is not prime. Res64: B4D4B3C8285828E6 Time : 0.0 sec. user=mdettweiler [2020-03-16 10:45:03] 833*2^1555546-1 is not prime. Res64: 34A52A607FF160D0 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:12:39] 735*2^1555547-1 is not prime. Res64: 0DC634F991B7ED93 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:12:39] 739*2^1555547-1 is not prime. Res64: 726456FBE77C0487 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:12:40] 741*2^1555547-1 is not prime. Res64: D39F4166DF880256 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:12:40] 895*2^1555547-1 is not prime. Res64: 73F6974535ECBC4F Time : 0.0 sec. user=mdettweiler [2020-03-16 11:12:41] 909*2^1555547-1 is not prime. Res64: 290252E748FE2F47 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:24:06] 949*2^1555547-1 is not prime. Res64: 7DC75F113FEFD328 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:24:07] 963*2^1555547-1 is not prime. Res64: 50725CD93162193B Time : 0.0 sec. user=mdettweiler [2020-03-16 11:24:07] 669*2^1555548-1 is not prime. Res64: CB4EAC5E99FFD25D Time : 0.0 sec. user=mdettweiler [2020-03-16 11:24:08] 689*2^1555548-1 is not prime. Res64: 1DF2774D42AAB335 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:24:08] 749*2^1555548-1 is not prime. Res64: E2511DBD5A2AA582 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:40:49] 765*2^1555548-1 is not prime. Res64: 805E34A8E6E9E6A4 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:40:50] 825*2^1555548-1 is not prime. Res64: 4CCC1F3BE8E9C152 Time : 0.0 sec. user=mdettweiler [2020-03-16 11:40:50] 867*2^1555548-1 is not prime. Res64: BFB68BD8FA7751FC Time : 0.0 sec. user=mdettweiler [2020-03-16 11:40:50] 887*2^1555548-1 is not prime. Res64: 1269D64CD50E017C Time : 0.0 sec. user=mdettweiler [2020-03-16 11:40:51] 959*2^1555548-1 is not prime. Res64: 1A01FE1FC27FAC79 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:10:13] 977*2^1555548-1 is not prime. Res64: C618852FE4197FE1 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:10:13] 615*2^1555549-1 is not prime. Res64: 21B489B6EF91AFAE Time : 0.0 sec. user=mdettweiler [2020-03-16 12:10:14] 861*2^1555549-1 is not prime. Res64: 594AA6974E252DCA Time : 0.0 sec. user=mdettweiler [2020-03-16 12:10:14] 897*2^1555549-1 is not prime. Res64: 0D85170E917A1B14 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:10:15] 997*2^1555549-1 is not prime. Res64: 919ECA511498E807 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:17:28] 665*2^1555550-1 is not prime. Res64: B494EB262931B553 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:17:28] 677*2^1555550-1 is not prime. Res64: 38A7E7EF8AE804B8 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:17:29] 713*2^1555550-1 is not prime. Res64: EF56DA079806CA4D Time : 0.0 sec. user=mdettweiler [2020-03-16 12:17:29] 827*2^1555550-1 is not prime. Res64: B7A70B8DB357FAEE Time : 0.0 sec. user=mdettweiler [2020-03-16 12:17:30] 861*2^1555550-1 is not prime. Res64: 95578B2C218CDEBB Time : 0.0 sec. user=mdettweiler [2020-03-16 12:34:44] 971*2^1555550-1 is not prime. Res64: 83B17CB51AF19586 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:34:44] 609*2^1555551-1 is not prime. Res64: DB938A1F6F07630A Time : 0.0 sec. user=mdettweiler [2020-03-16 12:34:45] 741*2^1555551-1 is not prime. Res64: 289ED3011FBC0E59 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:34:45] 751*2^1555551-1 is not prime. Res64: 85A3A9D6DCFB7373 Time : 0.0 sec. user=mdettweiler [2020-03-16 12:34:46] 819*2^1555551-1 is not prime. Res64: 95DA64E0B0EF1D4E Time : 0.0 sec. user=mdettweiler [2020-03-16 13:04:23] 913*2^1555551-1 is not prime. Res64: 30C1DEA434E4F44F Time : 0.0 sec. user=mdettweiler [2020-03-16 13:04:24] 969*2^1555551-1 is not prime. Res64: E4627A58E83F7920 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:04:25] 635*2^1555552-1 is not prime. Res64: 8ACC6173B61B60A4 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:04:27] 653*2^1555552-1 is not prime. Res64: 8502CE176C618052 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:04:28] 803*2^1555552-1 is not prime. Res64: 9ED1AF93EB49640C Time : 0.0 sec. user=mdettweiler [2020-03-16 13:12:18] 813*2^1555552-1 is not prime. Res64: 428AE28EECF6705B Time : 0.0 sec. user=mdettweiler [2020-03-16 13:12:18] 827*2^1555552-1 is not prime. Res64: C2AA02F68E49BDB8 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:12:18] 843*2^1555552-1 is not prime. Res64: FAADF285C6089EA5 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:12:19] 909*2^1555552-1 is not prime. Res64: AA85EBE0E2D32B70 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:12:19] 923*2^1555552-1 is not prime. Res64: E06E64ED69F23307 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:30:23] 929*2^1555552-1 is not prime. Res64: 7AFC80948A37181B Time : 0.0 sec. user=mdettweiler [2020-03-16 13:30:23] 933*2^1555552-1 is not prime. Res64: FE662D1E1F840A2D Time : 0.0 sec. user=mdettweiler [2020-03-16 13:30:24] 995*2^1555552-1 is not prime. Res64: D1F9DAEBE22E3D99 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:30:24] 627*2^1555553-1 is not prime. Res64: B4D47B9202737208 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:30:24] 837*2^1555553-1 is not prime. Res64: D947C596F0E145B3 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:57:14] 611*2^1555554-1 is not prime. Res64: B9B9B9BE8AA22158 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:57:14] 705*2^1555554-1 is not prime. Res64: C1E9E182706B39F9 Time : 0.0 sec. user=mdettweiler [2020-03-16 13:57:15] 731*2^1555554-1 is not prime. Res64: 077054A79E941C1E Time : 0.0 sec. user=mdettweiler [2020-03-16 13:57:15] 765*2^1555554-1 is not prime. Res64: 7AC777D49ABFADAF Time : 0.0 sec. user=mdettweiler [2020-03-16 13:57:16] 885*2^1555554-1 is not prime. Res64: 086EEF3F24A7CD96 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:05:32] 983*2^1555554-1 is not prime. Res64: 012D7117FD7CAFAD Time : 0.0 sec. user=mdettweiler [2020-03-16 14:05:34] 639*2^1555555-1 is not prime. Res64: 4C4A4F896906E843 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:05:36] 673*2^1555555-1 is not prime. Res64: B23F3A9DEA331D9A Time : 0.0 sec. user=mdettweiler [2020-03-16 14:05:37] 705*2^1555555-1 is not prime. Res64: C0DA6A2CE6DB98D0 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:05:39] 723*2^1555555-1 is not prime. Res64: 9312BB96ABB66FF4 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:24:33] 733*2^1555555-1 is not prime. Res64: 89CB0030462E0E03 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:24:33] 759*2^1555555-1 is not prime. Res64: 6B9F1E26258B977B Time : 0.0 sec. user=mdettweiler [2020-03-16 14:24:34] 765*2^1555555-1 is not prime. Res64: 3017D54D6C9C8256 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:24:34] 885*2^1555555-1 is not prime. Res64: 02FEDF61EE4B0DF4 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:24:35] 939*2^1555555-1 is not prime. Res64: 2BC8D1B29B0BE477 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:52:26] 609*2^1555556-1 is not prime. Res64: 501D4A8ED6245E6C Time : 0.0 sec. user=mdettweiler [2020-03-16 14:52:27] 749*2^1555556-1 is not prime. Res64: BF11E93BF26B47A6 Time : 0.0 sec. user=mdettweiler [2020-03-16 14:52:27] 839*2^1555556-1 is not prime. Res64: 3D65A58B93A4ACAF Time : 0.0 sec. user=mdettweiler [2020-03-16 14:52:27] 923*2^1555556-1 is not prime. Res64: 4E81F272BDC55AAA Time : 0.0 sec. user=mdettweiler [2020-03-16 14:52:28] 987*2^1555556-1 is not prime. Res64: 45795B06AFE737BF Time : 0.0 sec. user=mdettweiler [2020-03-16 15:00:05] 609*2^1555557-1 is not prime. Res64: 0CE8AEA978C4464F Time : 0.0 sec. user=mdettweiler [2020-03-16 15:00:05] 717*2^1555557-1 is not prime. Res64: A2C35FD7F549EFB7 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:00:05] 795*2^1555557-1 is not prime. Res64: CEE3C753FDF8826A Time : 0.0 sec. user=mdettweiler [2020-03-16 15:00:06] 817*2^1555557-1 is not prime. Res64: F446339A0439F8B2 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:00:06] 915*2^1555557-1 is not prime. Res64: C5E95D39627AE8AF Time : 0.0 sec. user=mdettweiler [2020-03-16 15:18:12] 605*2^1555558-1 is not prime. Res64: 9F04F02856CFCAE9 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:18:13] 621*2^1555558-1 is not prime. Res64: 8F175DB3DD1D694E Time : 0.0 sec. user=mdettweiler [2020-03-16 15:18:14] 623*2^1555558-1 is not prime. Res64: 635925C9DE8990D3 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:18:14] 747*2^1555558-1 is not prime. Res64: AF3C6EDDE994D966 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:18:15] 791*2^1555558-1 is not prime. Res64: 9F390794876D24D3 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:48:45] 867*2^1555558-1 is not prime. Res64: D3FFDC04A172A20D Time : 0.0 sec. user=mdettweiler [2020-03-16 15:48:45] 885*2^1555558-1 is not prime. Res64: C73B84B4ACF6609D Time : 0.0 sec. user=mdettweiler [2020-03-16 15:48:46] 957*2^1555558-1 is not prime. Res64: DDF84667729DCB49 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:48:46] 975*2^1555558-1 is not prime. Res64: 09BAB2F28174FE8D Time : 0.0 sec. user=mdettweiler [2020-03-16 15:48:47] 643*2^1555559-1 is not prime. Res64: D3430F84CEDC5893 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:53:12] 645*2^1555559-1 is not prime. Res64: 464808EA6C39D320 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:53:13] 669*2^1555559-1 is not prime. Res64: 0080B5E94692FDDA Time : 0.0 sec. user=mdettweiler [2020-03-16 15:53:13] 711*2^1555559-1 is not prime. Res64: 1B19F5762A7E5458 Time : 0.0 sec. user=mdettweiler [2020-03-16 15:53:13] 775*2^1555559-1 is not prime. Res64: E9BCE2D03E03443F Time : 0.0 sec. user=mdettweiler [2020-03-16 15:53:14] 883*2^1555559-1 is not prime. Res64: DECF68154EE3F448 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:11:53] 993*2^1555559-1 is not prime. Res64: A375B20E5B83D97F Time : 0.0 sec. user=mdettweiler [2020-03-16 16:11:54] 689*2^1555560-1 is not prime. Res64: 574012B7598E1C25 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:11:54] 717*2^1555560-1 is not prime. Res64: B3724859E8854FAF Time : 0.0 sec. user=mdettweiler [2020-03-16 16:11:55] 765*2^1555560-1 is not prime. Res64: B92988F26B49F057 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:11:56] 779*2^1555560-1 is not prime. Res64: 780C73B7F094ABF3 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:44:23] 843*2^1555560-1 is not prime. Res64: 7AF46439A961466F Time : 0.0 sec. user=mdettweiler [2020-03-16 16:44:24] 905*2^1555560-1 is not prime. Res64: 9F0FB1892266D0CB Time : 0.0 sec. user=mdettweiler [2020-03-16 16:44:24] 957*2^1555560-1 is not prime. Res64: 45C8E1D261351E7E Time : 0.0 sec. user=mdettweiler [2020-03-16 16:44:25] 741*2^1555561-1 is not prime. Res64: 15074A3392E67805 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:44:25] 889*2^1555561-1 is not prime. Res64: A1182C7A3EEB5AD3 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:46:42] 975*2^1555561-1 is not prime. Res64: CD1F1171A878D073 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:46:42] 633*2^1555562-1 is not prime. Res64: E1D7653BDCB5C0C2 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:46:42] 747*2^1555562-1 is not prime. Res64: 30AD86A94F2AB859 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:46:43] 791*2^1555562-1 is not prime. Res64: 47F67437C24F0980 Time : 0.0 sec. user=mdettweiler [2020-03-16 16:46:43] 831*2^1555562-1 is not prime. Res64: 3FA2938D5DBF861F Time : 0.0 sec. user=mdettweiler [2020-03-16 17:05:00] 873*2^1555562-1 is not prime. Res64: 389B40DC7BB55E88 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:05:02] 663*2^1555563-1 is not prime. Res64: 1488CEC85E312A95 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:05:03] 685*2^1555563-1 is not prime. Res64: 45815FDC76B5F965 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:05:04] 741*2^1555563-1 is not prime. Res64: 32CE8412FAA7074D Time : 0.0 sec. user=mdettweiler [2020-03-16 17:05:05] 891*2^1555563-1 is not prime. Res64: 99107F5EE5F664C6 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:37:10] 951*2^1555563-1 is not prime. Res64: 8BA2F6F57D941DCF Time : 0.0 sec. user=mdettweiler [2020-03-16 17:37:10] 617*2^1555564-1 is not prime. Res64: 16E49CAC516D1B88 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:37:11] 629*2^1555564-1 is not prime. Res64: A264088553B120A1 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:37:11] 743*2^1555564-1 is not prime. Res64: 777DA079D6C67C5A Time : 0.0 sec. user=mdettweiler [2020-03-16 17:37:11] 827*2^1555564-1 is not prime. Res64: B15859C5729393EF Time : 0.0 sec. user=mdettweiler [2020-03-16 17:39:11] 995*2^1555564-1 is not prime. Res64: 0432852699FDB755 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:39:12] 601*2^1555565-1 is not prime. Res64: 52860165A4EBCCC4 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:39:12] 627*2^1555565-1 is not prime. Res64: 557B4FF85D8BED60 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:39:12] 657*2^1555565-1 is not prime. Res64: 4D4F329FF23A9B94 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:39:13] 699*2^1555565-1 is not prime. Res64: 5CF759AE4E7DDEAB Time : 0.0 sec. user=mdettweiler [2020-03-16 17:58:31] 711*2^1555565-1 is not prime. Res64: 4CCFEF6CD7479BB9 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:58:31] 717*2^1555565-1 is not prime. Res64: 3AE75F6711F0AA0E Time : 0.0 sec. user=mdettweiler [2020-03-16 17:58:31] 759*2^1555565-1 is not prime. Res64: 90A1BED850B584C7 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:58:32] 831*2^1555565-1 is not prime. Res64: 251D7274F8BD92B5 Time : 0.0 sec. user=mdettweiler [2020-03-16 17:58:32] 957*2^1555565-1 is not prime. Res64: 9F6FC6444AC83638 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:30:19] 635*2^1555566-1 is not prime. Res64: CFC8FB34AD7622C1 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:30:20] 653*2^1555566-1 is not prime. Res64: 6F352AE401A413BF Time : 0.0 sec. user=mdettweiler [2020-03-16 18:30:20] 807*2^1555566-1 is not prime. Res64: 8B2751EDB792A7C6 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:30:21] 815*2^1555566-1 is not prime. Res64: B552E8558FAEB269 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:30:21] 921*2^1555566-1 is not prime. Res64: F9C4EDD4C4147556 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:33:20] 947*2^1555566-1 is not prime. Res64: CA8C2CECAE0CC570 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:33:20] 975*2^1555566-1 is not prime. Res64: 830B020A1D18E841 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:33:21] 615*2^1555567-1 is not prime. Res64: 261C13BDAF525DEB Time : 0.0 sec. user=mdettweiler [2020-03-16 18:33:21] 675*2^1555567-1 is not prime. Res64: C1ECBA7229E70B16 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:33:21] 883*2^1555567-1 is not prime. Res64: D6B98F0F21B1B3FE Time : 0.0 sec. user=mdettweiler [2020-03-16 18:50:59] 945*2^1555567-1 is not prime. Res64: A97C172B7868BFB9 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:50:59] 633*2^1555568-1 is not prime. Res64: BE78EBAA41D031E9 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:50:59] 669*2^1555568-1 is not prime. Res64: 9A8DA36F6FE6ECB5 Time : 0.0 sec. user=mdettweiler [2020-03-16 18:51:00] 677*2^1555568-1 is not prime. Res64: 9BF0233576580E1C Time : 0.0 sec. user=mdettweiler [2020-03-16 18:51:00] 687*2^1555568-1 is not prime. Res64: 81BBF44ACAEAC159 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:22:24] 725*2^1555568-1 is not prime. Res64: 68FDFDEF85A39E14 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:22:25] 753*2^1555568-1 is not prime. Res64: 18CAFBF1AD84026F Time : 0.0 sec. user=mdettweiler [2020-03-16 19:22:25] 819*2^1555568-1 is not prime. Res64: B2E58E79435144C7 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:22:25] 825*2^1555568-1 is not prime. Res64: D56A9ED1A3704FE7 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:22:26] 745*2^1555569-1 is not prime. Res64: 04477AAD4DE2BE7F Time : 0.0 sec. user=mdettweiler [2020-03-16 19:30:07] 909*2^1555569-1 is not prime. Res64: 26E485C23BC57389 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:30:07] 945*2^1555569-1 is not prime. Res64: 4FCDD09FEC887ACC Time : 0.0 sec. user=mdettweiler [2020-03-16 19:30:07] 969*2^1555569-1 is not prime. Res64: 2B30EAA557657E00 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:30:08] 997*2^1555569-1 is not prime. Res64: 55183C1AAE146556 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:30:08] 657*2^1555570-1 is not prime. Res64: AE5C9C59D29778DB Time : 0.0 sec. user=mdettweiler [2020-03-16 19:43:12] 663*2^1555570-1 is not prime. Res64: 799FA929AAD88036 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:43:12] 701*2^1555570-1 is not prime. Res64: 4B22128EADA8304A Time : 0.0 sec. user=mdettweiler [2020-03-16 19:43:12] 773*2^1555570-1 is not prime. Res64: A1A933FF8E3E4D8E Time : 0.0 sec. user=mdettweiler [2020-03-16 19:43:13] 843*2^1555570-1 is not prime. Res64: E382D4AE988064D8 Time : 0.0 sec. user=mdettweiler [2020-03-16 19:43:13] 873*2^1555570-1 is not prime. Res64: 4E62C0E09D5D92B3 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:16:41] 951*2^1555570-1 is not prime. Res64: BE5ACDB9A18B9186 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:16:42] 975*2^1555570-1 is not prime. Res64: 5E00C63D1D29C814 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:16:42] 601*2^1555571-1 is not prime. Res64: C06AD301398D886D Time : 0.0 sec. user=mdettweiler [2020-03-16 20:16:43] 673*2^1555571-1 is not prime. Res64: 0376FEDAB6C2EC51 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:16:43] 675*2^1555571-1 is not prime. Res64: AFC41FAF7BCC272F Time : 0.0 sec. user=mdettweiler [2020-03-16 20:22:11] 841*2^1555571-1 is not prime. Res64: 1045A7C3A6ED6E90 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:22:11] 623*2^1555572-1 is not prime. Res64: 0D94D8D6E8C04679 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:22:12] 635*2^1555572-1 is not prime. Res64: 352B5A049281E553 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:22:12] 719*2^1555572-1 is not prime. Res64: 0E60E6A4A9377E32 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:22:12] 863*2^1555572-1 is not prime. Res64: E1D86D41E5AF9FFE Time : 0.0 sec. user=mdettweiler [2020-03-16 20:38:09] 983*2^1555572-1 is not prime. Res64: 48D8419B24D62F8C Time : 0.0 sec. user=mdettweiler [2020-03-16 20:38:09] 607*2^1555573-1 is not prime. Res64: ACEE31224C2DC178 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:38:10] 765*2^1555573-1 is not prime. Res64: 91B40DE6D5B8B53C Time : 0.0 sec. user=mdettweiler [2020-03-16 20:38:10] 855*2^1555573-1 is not prime. Res64: 8DB8CB237CD7F0F1 Time : 0.0 sec. user=mdettweiler [2020-03-16 20:38:10] 877*2^1555573-1 is not prime. Res64: 285B7D2DEEB2D80C Time : 0.0 sec. user=mdettweiler [2020-03-16 21:15:51] 885*2^1555573-1 is not prime. Res64: 2E326B1C6936FBBA Time : 0.0 sec. user=mdettweiler [2020-03-16 21:15:52] 895*2^1555573-1 is not prime. Res64: E90F4B2D8C19FFDE Time : 0.0 sec. user=mdettweiler [2020-03-16 21:15:52] 915*2^1555573-1 is not prime. Res64: BCFDD2290B243949 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:15:53] 955*2^1555573-1 is not prime. Res64: AFEC06A3B0C7D673 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:15:53] 635*2^1555574-1 is not prime. Res64: 4AE6AAC239E29011 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:18:59] 663*2^1555574-1 is not prime. Res64: 359F42E1B94A95BE Time : 0.0 sec. user=mdettweiler [2020-03-16 21:18:59] 683*2^1555574-1 is not prime. Res64: 0F78ACB97835D10F Time : 0.0 sec. user=mdettweiler [2020-03-16 21:19:00] 797*2^1555574-1 is not prime. Res64: A04A99C634372222 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:19:00] 851*2^1555574-1 is not prime. Res64: 24ADF3BC73DD8070 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:19:01] 897*2^1555574-1 is not prime. Res64: 572A9BB4058FD293 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:36:11] 935*2^1555574-1 is not prime. Res64: ED8BAB0582652481 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:36:11] 941*2^1555574-1 is not prime. Res64: FC64E2A00CCD5772 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:36:12] 1001*2^1555574-1 is not prime. Res64: 48F86CEBD58DD013 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:36:12] 613*2^1555575-1 is not prime. Res64: C6F963D06D922052 Time : 0.0 sec. user=mdettweiler [2020-03-16 21:36:12] 861*2^1555575-1 is not prime. Res64: ECC3A47731312317 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:07:35] 639*2^1555576-1 is not prime. Res64: 5022C782A5FE2A62 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:07:36] 747*2^1555576-1 is not prime. Res64: A4B81CFD15484F33 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:07:37] 779*2^1555576-1 is not prime. Res64: B104279EEFDA5930 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:07:37] 615*2^1555577-1 is not prime. Res64: DA3990439E939EA9 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:07:37] 675*2^1555577-1 is not prime. Res64: 9211D35B5634C81E Time : 0.0 sec. user=mdettweiler [2020-03-16 22:10:42] 717*2^1555577-1 is not prime. Res64: 01CEB4135F0D1559 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:10:43] 729*2^1555577-1 is not prime. Res64: 763BABC63EEA8511 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:10:43] 741*2^1555577-1 is not prime. Res64: 472C30D172A55D63 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:10:43] 777*2^1555577-1 is not prime. Res64: EA3128A1DEC05C15 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:10:44] 837*2^1555577-1 is not prime. Res64: 91477644B655B49B Time : 0.0 sec. user=mdettweiler [2020-03-16 22:28:10] 847*2^1555577-1 is not prime. Res64: 2F7FA96436AD8C4C Time : 0.0 sec. user=mdettweiler [2020-03-16 22:28:11] 879*2^1555577-1 is not prime. Res64: CC32F36CED2C373A Time : 0.0 sec. user=mdettweiler [2020-03-16 22:28:11] 885*2^1555577-1 is not prime. Res64: 5AE6BB8F6D8165C8 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:28:11] 611*2^1555578-1 is not prime. Res64: 88C881F6F4C91928 Time : 0.0 sec. user=mdettweiler [2020-03-16 22:28:12] 671*2^1555578-1 is not prime. Res64: EB6F8A7063907F60 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:00:23] 977*2^1555578-1 is not prime. Res64: 30F992F642F69661 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:00:25] 633*2^1555579-1 is not prime. Res64: 383B42AC68D719F7 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:00:26] 649*2^1555579-1 is not prime. Res64: E18D1C810AA6CE56 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:00:27] 709*2^1555579-1 is not prime. Res64: 47568D2B4E099899 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:00:28] 765*2^1555579-1 is not prime. Res64: 51A18ABA0BBBD850 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:04:48] 855*2^1555579-1 is not prime. Res64: 5892B3A0074C1D60 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:04:51] 951*2^1555579-1 is not prime. Res64: 988165840B3CE44B Time : 0.0 sec. user=mdettweiler [2020-03-16 23:04:52] 973*2^1555579-1 is not prime. Res64: 6208CE43F5D8556B Time : 0.0 sec. user=mdettweiler [2020-03-16 23:04:53] 647*2^1555580-1 is not prime. Res64: 78013C3BE65A3EC0 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:04:54] 665*2^1555580-1 is not prime. Res64: 67B9E281C40A3AB6 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:21:55] 767*2^1555580-1 is not prime. Res64: AD23FDDB8E9D9F43 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:21:56] 825*2^1555580-1 is not prime. Res64: 4CAC49649C9639BF Time : 0.0 sec. user=mdettweiler [2020-03-16 23:21:56] 855*2^1555580-1 is not prime. Res64: 6A273A71681D99C3 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:21:57] 885*2^1555580-1 is not prime. Res64: A0AFE8CD780A1105 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:21:57] 945*2^1555580-1 is not prime. Res64: 0FAE620B0BA55078 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:51:37] 621*2^1555581-1 is not prime. Res64: 403A9164228B3383 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:51:38] 627*2^1555581-1 is not prime. Res64: 41C5AC92D2115C8E Time : 0.0 sec. user=mdettweiler [2020-03-16 23:51:38] 691*2^1555581-1 is not prime. Res64: E4A5F259CC8FD9D3 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:51:38] 735*2^1555581-1 is not prime. Res64: 50E60EEB74602665 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:51:39] 745*2^1555581-1 is not prime. Res64: 57BDC8027ECA46C6 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:58:07] 811*2^1555581-1 is not prime. Res64: 99B41B574E8C9D37 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:58:07] 835*2^1555581-1 is not prime. Res64: 700FA0F33D281D7E Time : 0.0 sec. user=mdettweiler [2020-03-16 23:58:08] 859*2^1555581-1 is not prime. Res64: 6D0AD17B67093DDF Time : 0.0 sec. user=mdettweiler [2020-03-16 23:58:08] 877*2^1555581-1 is not prime. Res64: ECEDC6ADB35F8FE9 Time : 0.0 sec. user=mdettweiler [2020-03-16 23:58:09] 885*2^1555581-1 is not prime. Res64: 7C99EFB3039C3E97 Time : 0.0 sec.