user=mdettweiler [2020-01-18 00:31:58] 777*2^1552805-1 is not prime. Res64: 3426A3BB2A8790E0 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:31:58] 907*2^1552805-1 is not prime. Res64: 7BF3EBB30B325FB6 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:31:58] 949*2^1552805-1 is not prime. Res64: 3CCFC2A0B50C0F18 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:31:59] 707*2^1552806-1 is not prime. Res64: 7D109179A8662969 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:31:59] 713*2^1552806-1 is not prime. Res64: 5542DD41E2284B6B Time : 0.0 sec. user=mdettweiler [2020-01-18 00:47:35] 783*2^1552806-1 is not prime. Res64: 5E8A90004BB89406 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:47:35] 821*2^1552806-1 is not prime. Res64: 203EFB0FCFA81309 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:47:36] 843*2^1552806-1 is not prime. Res64: DB18B7DA2B5D9CC0 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:47:36] 867*2^1552806-1 is not prime. Res64: 96669D23594DA330 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:47:36] 893*2^1552806-1 is not prime. Res64: 0DC826A85A7ED4E2 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:48:12] 947*2^1552806-1 is not prime. Res64: AF6748C32DB0DAC1 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:48:12] 649*2^1552807-1 is not prime. Res64: A056AA5865F02B66 Time : 0.0 sec. user=mdettweiler [2020-01-18 00:48:12] 703*2^1552807-1 is not prime. Res64: 2CA8B13CE3620C5A Time : 0.0 sec. user=mdettweiler [2020-01-18 00:48:12] 741*2^1552807-1 is not prime. Res64: 1403B69AF88453EC Time : 0.0 sec. user=mdettweiler [2020-01-18 00:48:13] 793*2^1552807-1 is not prime. Res64: 8A6BDE9E010C4A13 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:28:45] 901*2^1552807-1 is not prime. Res64: 01406D636355C2B7 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:28:48] 925*2^1552807-1 is not prime. Res64: 02B039704622659B Time : 0.0 sec. user=mdettweiler [2020-01-18 01:28:50] 933*2^1552807-1 is not prime. Res64: 7FB6B4E1EA465BD6 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:28:53] 939*2^1552807-1 is not prime. Res64: 236FC65B430C2723 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:28:55] 973*2^1552807-1 is not prime. Res64: 4C907A906778AD54 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:40:35] 623*2^1552808-1 is not prime. Res64: C194822E8165672A Time : 0.0 sec. user=mdettweiler [2020-01-18 01:40:36] 923*2^1552808-1 is not prime. Res64: 95024425242BCBC5 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:40:37] 649*2^1552809-1 is not prime. Res64: 87F70413F754D43A Time : 0.0 sec. user=mdettweiler [2020-01-18 01:40:38] 817*2^1552809-1 is not prime. Res64: C13E8AD5BEDC6192 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:40:38] 877*2^1552809-1 is not prime. Res64: A51F8C938A01E247 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:41:32] 919*2^1552809-1 is not prime. Res64: EFCAC5F1CA49C0FD Time : 0.0 sec. user=mdettweiler [2020-01-18 01:41:33] 987*2^1552809-1 is not prime. Res64: 834D69D070DC3F58 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:41:34] 765*2^1552810-1 is not prime. Res64: AAE9854D73AE8FC0 Time : 0.0 sec. user=mdettweiler [2020-01-18 01:41:34] 783*2^1552810-1 is not prime. Res64: 62F12D4D8046AE2C Time : 0.0 sec. user=mdettweiler [2020-01-18 01:41:35] 825*2^1552810-1 is not prime. Res64: 4CA369886C4B3821 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:16] 893*2^1552812-1 is not prime. Res64: 6EFBEA950CD8684B Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:46] 843*2^1552810-1 is not prime. Res64: 56D913F16D84BF06 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:47] 917*2^1552810-1 is not prime. Res64: 43C12FB1A30DBA5E Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:47] 971*2^1552810-1 is not prime. Res64: C243360DD64A8B49 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:47] 987*2^1552810-1 is not prime. Res64: 9CD7742658C7B36F Time : 0.0 sec. user=mdettweiler [2020-01-18 02:23:48] 663*2^1552811-1 is not prime. Res64: 9B784B62962CD2E9 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:32:55] 623*2^1552812-1 is not prime. Res64: 3DCFF3769D0F07C8 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:32:56] 627*2^1552812-1 is not prime. Res64: 7EB1231ED423A364 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:32:56] 669*2^1552812-1 is not prime. Res64: A2EA4D43C38B1C3E Time : 0.0 sec. user=mdettweiler [2020-01-18 02:32:57] 725*2^1552812-1 is not prime. Res64: 0F20DF819677C59A Time : 0.0 sec. user=mdettweiler [2020-01-18 02:32:58] 825*2^1552812-1 is not prime. Res64: 35ABCF12EDF9F599 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:34:12] 735*2^1552811-1 is not prime. Res64: 86C5B8DD02B3C293 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:34:13] 859*2^1552811-1 is not prime. Res64: FBE656E3EC15747B Time : 0.0 sec. user=mdettweiler [2020-01-18 02:34:14] 885*2^1552811-1 is not prime. Res64: 6470262787166543 Time : 0.0 sec. user=mdettweiler [2020-01-18 02:34:15] 895*2^1552811-1 is not prime. Res64: 13E4578857054D1E Time : 0.0 sec. user=mdettweiler [2020-01-18 02:34:16] 949*2^1552811-1 is not prime. Res64: 4914F580655991CF Time : 0.0 sec. user=mdettweiler [2020-01-18 03:17:55] 909*2^1552812-1 is not prime. Res64: 80CF46B715403EF1 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:17:56] 933*2^1552812-1 is not prime. Res64: AF24AC6B4E72DF48 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:17:56] 675*2^1552813-1 is not prime. Res64: DAAC73A3E7F18A5A Time : 0.0 sec. user=mdettweiler [2020-01-18 03:17:57] 721*2^1552813-1 is not prime. Res64: 3F7E766529554DD3 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:17:57] 925*2^1552813-1 is not prime. Res64: BC11777C3AFBEBC1 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:26:17] 967*2^1552813-1 is not prime. Res64: 6ACC21815F39EF5C Time : 0.0 sec. user=mdettweiler [2020-01-18 03:26:18] 657*2^1552814-1 is not prime. Res64: BD3933BA1FC49D13 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:26:20] 753*2^1552814-1 is not prime. Res64: 250C85BF55E429A7 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:26:20] 825*2^1552814-1 is not prime. Res64: FFAF10AD1EAE2827 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:26:21] 885*2^1552814-1 is not prime. Res64: F6218EA6DC1327EF Time : 0.0 sec. user=mdettweiler [2020-01-18 03:29:51] 921*2^1552814-1 is not prime. Res64: A391E7732BADB370 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:29:53] 923*2^1552814-1 is not prime. Res64: D72CD396238AB607 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:29:54] 953*2^1552814-1 is not prime. Res64: 47074411343EF644 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:29:55] 965*2^1552814-1 is not prime. Res64: B3D196793C4DF873 Time : 0.0 sec. user=mdettweiler [2020-01-18 03:29:56] 751*2^1552815-1 is not prime. Res64: AEC8D982C455EC7D Time : 0.0 sec. user=mdettweiler [2020-01-18 04:11:04] 765*2^1552815-1 is not prime. Res64: 1E407CC0BDBD81B2 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:11:09] 775*2^1552815-1 is not prime. Res64: 78D55FA14F861147 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:11:12] 865*2^1552815-1 is not prime. Res64: 14A76AF61D0FC020 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:11:23] 963*2^1552815-1 is not prime. Res64: 2460C3AFC9E95975 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:11:26] 645*2^1552816-1 is not prime. Res64: 8ED60614AD8B1143 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:17:23] 717*2^1552816-1 is not prime. Res64: 3A4D40CE91EEF730 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:17:27] 723*2^1552816-1 is not prime. Res64: 788D8CD2A6713BDF Time : 0.0 sec. user=mdettweiler [2020-01-18 04:17:30] 759*2^1552816-1 is not prime. Res64: CDE665EFF39AE982 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:17:35] 765*2^1552816-1 is not prime. Res64: E7CB8FF79B7D8348 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:17:39] 773*2^1552816-1 is not prime. Res64: 8354FF9726ACF4B6 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:24:04] 813*2^1552816-1 is not prime. Res64: 7B76693D29B0AEE8 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:24:05] 849*2^1552816-1 is not prime. Res64: 8DC144A56757A09F Time : 0.0 sec. user=mdettweiler [2020-01-18 04:24:06] 917*2^1552816-1 is not prime. Res64: 3C482DCADFC71F97 Time : 0.0 sec. user=mdettweiler [2020-01-18 04:24:07] 999*2^1552816-1 is not prime. Res64: ADA0F6F11654A8FE Time : 0.0 sec. user=mdettweiler [2020-01-18 04:24:08] 819*2^1552817-1 is not prime. Res64: 0B81EE7D3DDD241A Time : 0.0 sec. user=mdettweiler [2020-01-18 05:07:01] 829*2^1552817-1 is not prime. Res64: D0650D49C4C08481 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:07:03] 837*2^1552817-1 is not prime. Res64: 7CB4FEF1E4CC89DE Time : 0.0 sec. user=mdettweiler [2020-01-18 05:07:05] 861*2^1552817-1 is not prime. Res64: 17659734BB15BBDE Time : 0.0 sec. user=mdettweiler [2020-01-18 05:07:08] 967*2^1552817-1 is not prime. Res64: 6B11EA53BCC3B47C Time : 0.0 sec. user=mdettweiler [2020-01-18 05:07:10] 991*2^1552817-1 is not prime. Res64: E9A9F5A7996B01B0 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:10:17] 633*2^1552818-1 is not prime. Res64: 19C7E47E26F251C9 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:10:21] 651*2^1552818-1 is not prime. Res64: 385352C94C9176D7 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:10:24] 681*2^1552818-1 is not prime. Res64: 7164616FB7EBA987 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:10:26] 683*2^1552818-1 is not prime. Res64: A7C3DB642FF60B2E Time : 0.0 sec. user=mdettweiler [2020-01-18 05:10:30] 797*2^1552818-1 is not prime. Res64: CE0BAEB263386C06 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:16:40] 825*2^1552818-1 is not prime. Res64: 4F53D0B26CED8E34 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:16:40] 875*2^1552818-1 is not prime. Res64: 41C7F6C68210B6E9 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:16:41] 921*2^1552818-1 is not prime. Res64: 153B80B78F4DFFC6 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:16:41] 663*2^1552819-1 is not prime. Res64: 082617ACCB951C13 Time : 0.0 sec. user=mdettweiler [2020-01-18 05:16:41] 829*2^1552819-1 is not prime. Res64: A477420CC765B71B Time : 0.0 sec. user=mdettweiler [2020-01-18 06:01:08] 853*2^1552819-1 is not prime. Res64: 6A4D4D1AAA00DA29 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:01:09] 885*2^1552819-1 is not prime. Res64: 6D820A92FEDC94E2 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:01:09] 895*2^1552819-1 is not prime. Res64: DEB51981F44F9128 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:01:09] 951*2^1552819-1 is not prime. Res64: 8ED7C353B27B09D4 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:01:10] 659*2^1552820-1 is not prime. Res64: D9F3600E0DBEA18B Time : 0.0 sec. user=mdettweiler [2020-01-18 06:04:03] 677*2^1552820-1 is not prime. Res64: 8D37CD523D83B2D6 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:04:04] 707*2^1552820-1 is not prime. Res64: 29DFCBF6B81CC8DD Time : 0.0 sec. user=mdettweiler [2020-01-18 06:04:05] 759*2^1552820-1 is not prime. Res64: C3583C5E5E60985A Time : 0.0 sec. user=mdettweiler [2020-01-18 06:04:06] 813*2^1552820-1 is not prime. Res64: D1F02011964912F0 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:04:07] 935*2^1552820-1 is not prime. Res64: 8D78363152159F33 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:10:35] 963*2^1552820-1 is not prime. Res64: 17E5D15CF7EBD723 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:10:36] 977*2^1552820-1 is not prime. Res64: DD88B7BC1B0EA8B6 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:10:36] 615*2^1552821-1 is not prime. Res64: 27662E1F09FABA5C Time : 0.0 sec. user=mdettweiler [2020-01-18 06:10:36] 657*2^1552821-1 is not prime. Res64: 87842DE60E936AC4 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:10:37] 661*2^1552821-1 is not prime. Res64: E929FA1EFCF77FA9 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:53:08] 691*2^1552821-1 is not prime. Res64: F9ED756640D81017 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:53:08] 727*2^1552821-1 is not prime. Res64: FA64369E05985361 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:53:08] 781*2^1552821-1 is not prime. Res64: A274CA5084C14780 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:53:09] 847*2^1552821-1 is not prime. Res64: 8493D035422FAAD9 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:53:09] 867*2^1552821-1 is not prime. Res64: DC501C0DB5F64C25 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:56:31] 987*2^1552821-1 is not prime. Res64: 5ADC3ED59F07B8B3 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:56:31] 677*2^1552822-1 is not prime. Res64: 89C46727911088EC Time : 0.0 sec. user=mdettweiler [2020-01-18 06:56:32] 681*2^1552822-1 is not prime. Res64: 69CF13282984AB26 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:56:32] 695*2^1552822-1 is not prime. Res64: D073083419D14C66 Time : 0.0 sec. user=mdettweiler [2020-01-18 06:56:32] 713*2^1552822-1 is not prime. Res64: 7225E67FCA36A6A4 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:04:54] 741*2^1552822-1 is not prime. Res64: 45857FA3C113D19C Time : 0.0 sec. user=mdettweiler [2020-01-18 07:04:56] 863*2^1552822-1 is not prime. Res64: 51403C4C3F332C63 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:04:57] 911*2^1552822-1 is not prime. Res64: D2F80A67384C4F3B Time : 0.0 sec. user=mdettweiler [2020-01-18 07:04:57] 945*2^1552822-1 is not prime. Res64: 73BA21CF732BE175 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:04:58] 957*2^1552822-1 is not prime. Res64: 0CB987124CC3A7AC Time : 0.0 sec. user=mdettweiler [2020-01-18 07:44:08] 619*2^1552823-1 is not prime. Res64: 4A4FFB40BC01563E Time : 0.0 sec. user=mdettweiler [2020-01-18 07:44:08] 643*2^1552823-1 is not prime. Res64: E780C47392A0CC2E Time : 0.0 sec. user=mdettweiler [2020-01-18 07:44:09] 679*2^1552823-1 is not prime. Res64: B670C7645FEE940D Time : 0.0 sec. user=mdettweiler [2020-01-18 07:44:09] 735*2^1552823-1 is not prime. Res64: 89DA1BB723F025C5 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:44:09] 763*2^1552823-1 is not prime. Res64: 6CDC90635095CEBC Time : 0.0 sec. user=mdettweiler [2020-01-18 07:50:16] 943*2^1552823-1 is not prime. Res64: DB24262191DA0E00 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:50:17] 999*2^1552823-1 is not prime. Res64: BF2615484084ED24 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:50:17] 657*2^1552824-1 is not prime. Res64: 18E70DBBCFFFC1DA Time : 0.0 sec. user=mdettweiler [2020-01-18 07:50:17] 707*2^1552824-1 is not prime. Res64: A4AA9BE63E249B2E Time : 0.0 sec. user=mdettweiler [2020-01-18 07:50:17] 737*2^1552824-1 is not prime. Res64: 03C9C5BC29983420 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:57:13] 753*2^1552824-1 is not prime. Res64: 637DB69637B4DD06 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:57:14] 767*2^1552824-1 is not prime. Res64: E2FDD0F369DAD7C3 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:57:14] 825*2^1552824-1 is not prime. Res64: 3977520964E7FAC1 Time : 0.0 sec. user=mdettweiler [2020-01-18 07:57:14] 843*2^1552824-1 is not prime. Res64: 710548FB94ACADAD Time : 0.0 sec. user=mdettweiler [2020-01-18 07:57:14] 863*2^1552824-1 is not prime. Res64: 47B6E730E11C1FB0 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:38:07] 887*2^1552824-1 is not prime. Res64: D6AC36201894F0B7 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:38:08] 935*2^1552824-1 is not prime. Res64: 2BC5E64F5B19F6EA Time : 0.0 sec. user=mdettweiler [2020-01-18 08:38:08] 957*2^1552824-1 is not prime. Res64: 08D044AAEBFC0099 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:38:08] 601*2^1552825-1 is not prime. Res64: A12E32B895002381 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:38:09] 609*2^1552825-1 is not prime. Res64: 687DE3DD27833F65 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:41:47] 661*2^1552825-1 is not prime. Res64: 864E2437A9422175 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:41:48] 705*2^1552825-1 is not prime. Res64: E851827BE2960946 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:41:48] 801*2^1552825-1 is not prime. Res64: 3C87083CB33D1877 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:41:48] 915*2^1552825-1 is not prime. Res64: F1DBDFD850D88908 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:41:49] 675*2^1552826-1 is not prime. Res64: A5B1BED7A10A8FD7 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:50:08] 711*2^1552826-1 is not prime. Res64: 0FBEB3D68995ED7E Time : 0.0 sec. user=mdettweiler [2020-01-18 08:50:08] 773*2^1552826-1 is not prime. Res64: 984CE0D864253B96 Time : 0.0 sec. user=mdettweiler [2020-01-18 08:50:08] 815*2^1552826-1 is not prime. Res64: 8083183C9617F1AC Time : 0.0 sec. user=mdettweiler [2020-01-18 08:50:08] 873*2^1552826-1 is not prime. Res64: 433C4D872C1E22FE Time : 0.0 sec. user=mdettweiler [2020-01-18 08:50:09] 935*2^1552826-1 is not prime. Res64: C82A04CFEAF1B8FF Time : 0.0 sec. user=mdettweiler [2020-01-18 09:31:57] 945*2^1552826-1 is not prime. Res64: 519586ADC0022D07 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:31:57] 981*2^1552826-1 is not prime. Res64: 41BF136B46777FED Time : 0.0 sec. user=mdettweiler [2020-01-18 09:31:58] 625*2^1552827-1 is not prime. Res64: 736F9EA39383DAC9 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:31:58] 675*2^1552827-1 is not prime. Res64: EA716CD378583665 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:31:58] 741*2^1552827-1 is not prime. Res64: 6442FA4595F5CA35 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:34:13] 775*2^1552827-1 is not prime. Res64: 773BBF5C6D96AAE4 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:34:13] 835*2^1552827-1 is not prime. Res64: 746D3C1D26CC33D1 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:34:13] 901*2^1552827-1 is not prime. Res64: EB51F073D165AC4A Time : 0.0 sec. user=mdettweiler [2020-01-18 09:34:14] 919*2^1552827-1 is not prime. Res64: 8CE694744B70801D Time : 0.0 sec. user=mdettweiler [2020-01-18 09:34:14] 777*2^1552828-1 is not prime. Res64: 5FA764363B49882E Time : 0.0 sec. user=mdettweiler [2020-01-18 09:43:06] 855*2^1552828-1 is not prime. Res64: B73DC9EDCB937821 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:43:06] 999*2^1552828-1 is not prime. Res64: 7911347CA7009F44 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:43:07] 679*2^1552829-1 is not prime. Res64: C16DFA2609B588BE Time : 0.0 sec. user=mdettweiler [2020-01-18 09:43:07] 745*2^1552829-1 is not prime. Res64: DC13A1511F4D2540 Time : 0.0 sec. user=mdettweiler [2020-01-18 09:43:07] 867*2^1552829-1 is not prime. Res64: A8A7D394AFD305D6 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:06] 615*2^1552831-1 is not prime. Res64: 8C1A6A6A68D5AF28 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:06] 651*2^1552831-1 is not prime. Res64: 098FF099AA2B50A1 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:06] 751*2^1552831-1 is not prime. Res64: 997C337A8C85D3EF Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:07] 793*2^1552831-1 is not prime. Res64: 2A9AD3E5E85FC9DA Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:07] 841*2^1552831-1 is not prime. Res64: 71ADEAF98AC51808 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:37] 885*2^1552829-1 is not prime. Res64: 950B9119F8B38250 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:37] 897*2^1552829-1 is not prime. Res64: AE18CE1FEDFD5447 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:37] 987*2^1552829-1 is not prime. Res64: 42E37273D5C4E429 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:38] 615*2^1552830-1 is not prime. Res64: D42E3AC71C6C18BD Time : 0.0 sec. user=mdettweiler [2020-01-18 10:26:38] 951*2^1552830-1 is not prime. Res64: 916E6D607618AAB6 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:37:23] 861*2^1552831-1 is not prime. Res64: 3088BDE418471880 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:37:23] 873*2^1552831-1 is not prime. Res64: A8FB571D8F337ACA Time : 0.0 sec. user=mdettweiler [2020-01-18 10:37:23] 901*2^1552831-1 is not prime. Res64: EF2ECF1A1B6E4C7A Time : 0.0 sec. user=mdettweiler [2020-01-18 10:37:24] 913*2^1552831-1 is not prime. Res64: 0E2DA77450BD5354 Time : 0.0 sec. user=mdettweiler [2020-01-18 10:37:24] 979*2^1552831-1 is not prime. Res64: AEEB62D4D36A4374 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:21:16] 617*2^1552832-1 is not prime. Res64: 1DFC91CC61F498B9 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:21:17] 713*2^1552832-1 is not prime. Res64: 2B30ACE325FB0DB4 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:21:17] 785*2^1552832-1 is not prime. Res64: 365357A9DAF670AF Time : 0.0 sec. user=mdettweiler [2020-01-18 11:21:17] 803*2^1552832-1 is not prime. Res64: 149C35C0D746A58D Time : 0.0 sec. user=mdettweiler [2020-01-18 11:21:18] 857*2^1552832-1 is not prime. Res64: 0F152862F32AB6A2 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:22:44] 649*2^1552833-1 is not prime. Res64: 50FE0C732747DF1C Time : 0.0 sec. user=mdettweiler [2020-01-18 11:22:44] 705*2^1552833-1 is not prime. Res64: AA871CEA9F47996F Time : 0.0 sec. user=mdettweiler [2020-01-18 11:22:44] 787*2^1552833-1 is not prime. Res64: BB72EE8B58B1C202 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:22:45] 819*2^1552833-1 is not prime. Res64: 8F01702D53A24FB6 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:22:45] 991*2^1552833-1 is not prime. Res64: F00C2CEE1BD399DD Time : 0.0 sec. user=mdettweiler [2020-01-18 11:33:11] 999*2^1552833-1 is not prime. Res64: 13D7C0AD8A345E43 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:33:12] 605*2^1552834-1 is not prime. Res64: F138DC21C4E5D100 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:33:12] 635*2^1552834-1 is not prime. Res64: 1618EB6B2346FD49 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:33:12] 645*2^1552834-1 is not prime. Res64: 4243C452644C5FB4 Time : 0.0 sec. user=mdettweiler [2020-01-18 11:33:12] 791*2^1552834-1 is not prime. Res64: 3B08658E20E0F4C4 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:15] 635*2^1552836-1 is not prime. Res64: 38C2A38B2BBD41EA Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:16] 707*2^1552836-1 is not prime. Res64: 7DB8FBD64D91AFD1 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:16] 839*2^1552836-1 is not prime. Res64: E5AA43E3A8A20D35 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:16] 609*2^1552837-1 is not prime. Res64: 54BA8AF5B7092545 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:17] 729*2^1552837-1 is not prime. Res64: A5C85AC43D5C7E83 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:51] 861*2^1552834-1 is not prime. Res64: 0FCDC6CEBFC4E0B2 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:51] 753*2^1552835-1 is not prime. Res64: B303BE566DF1F1DC Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:52] 801*2^1552835-1 is not prime. Res64: 91177AED76EFDBD9 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:52] 823*2^1552835-1 is not prime. Res64: 3B5356A50E285538 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:15:52] 921*2^1552835-1 is not prime. Res64: DF2DABD37A3E7F0A Time : 0.0 sec. user=mdettweiler [2020-01-18 12:26:53] 747*2^1552837-1 is not prime. Res64: 6C41BDCA3A62D653 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:26:53] 759*2^1552837-1 is not prime. Res64: F286AC13DD9C1229 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:26:53] 901*2^1552837-1 is not prime. Res64: 59391EB8B1BDE357 Time : 0.0 sec. user=mdettweiler [2020-01-18 12:26:53] 931*2^1552837-1 is not prime. Res64: 80E12B83746DFB7D Time : 0.0 sec. user=mdettweiler [2020-01-18 12:26:54] 617*2^1552838-1 is not prime. Res64: 53C6732A8469B685 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:08:23] 745*2^1552839-1 is not prime. Res64: 6E0D7D25ACE81A0D Time : 0.0 sec. user=mdettweiler [2020-01-18 13:08:24] 853*2^1552839-1 is not prime. Res64: 85B21F319795A3AE Time : 0.0 sec. user=mdettweiler [2020-01-18 13:08:24] 861*2^1552839-1 is not prime. Res64: 93D34D7477E5A6BF Time : 0.0 sec. user=mdettweiler [2020-01-18 13:08:24] 873*2^1552839-1 is not prime. Res64: 8EC32BAC9CD50C6F Time : 0.0 sec. user=mdettweiler [2020-01-18 13:08:25] 895*2^1552839-1 is not prime. Res64: B7D635B02ACB12C4 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:10:03] 825*2^1552838-1 is not prime. Res64: 187C336E2DE6FF64 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:10:03] 831*2^1552838-1 is not prime. Res64: 484A7A1DB7968365 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:10:03] 987*2^1552838-1 is not prime. Res64: 04D751D3D5EE2288 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:10:04] 993*2^1552838-1 is not prime. Res64: DEDC524D0ED91F3E Time : 0.0 sec. user=mdettweiler [2020-01-18 13:10:04] 735*2^1552839-1 is not prime. Res64: ED7F4D2D0D014792 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:22:19] 951*2^1552839-1 is not prime. Res64: B10B5E58D63CD1BA Time : 0.0 sec. user=mdettweiler [2020-01-18 13:22:20] 969*2^1552839-1 is not prime. Res64: 9B0E069E6AB3669D Time : 0.0 sec. user=mdettweiler [2020-01-18 13:22:20] 975*2^1552839-1 is not prime. Res64: 2F153194FDAF26E0 Time : 0.0 sec. user=mdettweiler [2020-01-18 13:22:20] 635*2^1552840-1 is not prime. Res64: FE476F8BC02715CF Time : 0.0 sec. user=mdettweiler [2020-01-18 13:22:21] 713*2^1552840-1 is not prime. Res64: 8D2F136F19BB591A Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:01] 743*2^1552840-1 is not prime. Res64: 8887D9CA57359378 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:02] 989*2^1552840-1 is not prime. Res64: 6DFA9D709B31C10E Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:02] 631*2^1552841-1 is not prime. Res64: 19E4240B7C40B22C Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:03] 691*2^1552841-1 is not prime. Res64: 67469FA504C4A313 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:03] 697*2^1552841-1 is not prime. Res64: FE0A818074155722 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:50] 711*2^1552841-1 is not prime. Res64: CC1567ED69A7E293 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:51] 735*2^1552841-1 is not prime. Res64: DF78A30ECBBAD58A Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:52] 745*2^1552841-1 is not prime. Res64: 0344C023DF3288B4 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:53] 861*2^1552841-1 is not prime. Res64: 4CF9354C9A89EB28 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:01:53] 867*2^1552841-1 is not prime. Res64: 086BB6B3272F5615 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:15:02] 949*2^1552841-1 is not prime. Res64: 022A89A6877A2341 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:15:03] 611*2^1552842-1 is not prime. Res64: 4B14FFB9B4C4073A Time : 0.0 sec. user=mdettweiler [2020-01-18 14:15:03] 633*2^1552842-1 is not prime. Res64: 2049C1B93ECA70B9 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:15:04] 671*2^1552842-1 is not prime. Res64: 6DC6B4C6E9B75AF6 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:15:04] 677*2^1552842-1 is not prime. Res64: 086FB27C7A3E0C59 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:53:56] 681*2^1552842-1 is not prime. Res64: EF88571E68828E84 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:53:57] 695*2^1552842-1 is not prime. Res64: 8DBE1C4DD435F645 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:53:57] 735*2^1552842-1 is not prime. Res64: 87E7392DBE3CB6DA Time : 0.0 sec. user=mdettweiler [2020-01-18 14:53:57] 833*2^1552842-1 is not prime. Res64: 2620FFD42BE3B8AA Time : 0.0 sec. user=mdettweiler [2020-01-18 14:53:57] 873*2^1552842-1 is not prime. Res64: D3B1D1705FF7AB19 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:55:44] 957*2^1552842-1 is not prime. Res64: 5FBB263429D8369E Time : 0.0 sec. user=mdettweiler [2020-01-18 14:55:44] 631*2^1552843-1 is not prime. Res64: D03586E15F02794B Time : 0.0 sec. user=mdettweiler [2020-01-18 14:55:45] 673*2^1552843-1 is not prime. Res64: 301964DF8E902F25 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:55:45] 765*2^1552843-1 is not prime. Res64: DC08D8A2A5740346 Time : 0.0 sec. user=mdettweiler [2020-01-18 14:55:45] 811*2^1552843-1 is not prime. Res64: 5B2B36290E122EEF Time : 0.0 sec. user=mdettweiler [2020-01-18 15:08:40] 945*2^1552843-1 is not prime. Res64: 18A28F5443BF39BC Time : 0.0 sec. user=mdettweiler [2020-01-18 15:08:41] 605*2^1552844-1 is not prime. Res64: 4D827BA38E737652 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:08:41] 629*2^1552844-1 is not prime. Res64: D2E43BE7AA3C52A4 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:08:41] 657*2^1552844-1 is not prime. Res64: A370F549C1ABC8D2 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:08:42] 767*2^1552844-1 is not prime. Res64: 1CE5E50BE3603EEA Time : 0.0 sec. user=mdettweiler [2020-01-18 15:48:59] 903*2^1552844-1 is not prime. Res64: A3EB8154839CFB27 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:48:59] 953*2^1552844-1 is not prime. Res64: 64FA8D494872BCE4 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:00] 957*2^1552844-1 is not prime. Res64: 4D94FB2EF668D54E Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:00] 609*2^1552845-1 is not prime. Res64: 1030127CD0BADB7E Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:00] 625*2^1552845-1 is not prime. Res64: B56E0BB7965DF9DC Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:46] 627*2^1552845-1 is not prime. Res64: BA20D2156711D314 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:46] 717*2^1552845-1 is not prime. Res64: 6445815C87F356D1 Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:47] 777*2^1552845-1 is not prime. Res64: F30EFB46AC02D2EB Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:47] 817*2^1552845-1 is not prime. Res64: 24370C007BF0F00C Time : 0.0 sec. user=mdettweiler [2020-01-18 15:49:47] 979*2^1552845-1 is not prime. Res64: 7E1C9AED82177129 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:03:40] 663*2^1552846-1 is not prime. Res64: 0BBEF906C556835C Time : 0.0 sec. user=mdettweiler [2020-01-18 16:03:41] 777*2^1552846-1 is not prime. Res64: 19F795865040754C Time : 0.0 sec. user=mdettweiler [2020-01-18 16:03:42] 941*2^1552846-1 is not prime. Res64: 7584382C2C4766A6 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:03:43] 945*2^1552846-1 is not prime. Res64: BDECC161671346A5 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:03:44] 693*2^1552847-1 is not prime. Res64: 0F9E48BB9202362B Time : 0.0 sec. user=mdettweiler [2020-01-18 16:43:52] 705*2^1552848-1 is not prime. Res64: 5B9C9DAF7205BE28 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:43:52] 753*2^1552848-1 is not prime. Res64: 1F0D66F22CA49C51 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:43:52] 845*2^1552848-1 is not prime. Res64: 72CE669F6E4C500F Time : 0.0 sec. user=mdettweiler [2020-01-18 16:43:53] 849*2^1552848-1 is not prime. Res64: 7FECD53E08712E14 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:43:53] 933*2^1552848-1 is not prime. Res64: 9EA3FDF2B2ADD224 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:44:09] 753*2^1552847-1 is not prime. Res64: C62B9E135209DBCF Time : 0.0 sec. user=mdettweiler [2020-01-18 16:44:09] 775*2^1552847-1 is not prime. Res64: 976BFA5DFBC62054 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:44:10] 939*2^1552847-1 is not prime. Res64: 05885FB75EF15857 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:44:10] 949*2^1552847-1 is not prime. Res64: 77E1B671F494CFE6 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:44:10] 639*2^1552848-1 is not prime. Res64: 178B8ADF34E471B8 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:58:17] 947*2^1552848-1 is not prime. Res64: B3B33A82FE8F6E01 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:58:18] 609*2^1552849-1 is not prime. Res64: 16B148C739AEF445 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:58:18] 649*2^1552849-1 is not prime. Res64: 368FB595558F3AF2 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:58:18] 835*2^1552849-1 is not prime. Res64: 2E345E8AC4969798 Time : 0.0 sec. user=mdettweiler [2020-01-18 16:58:19] 885*2^1552849-1 is not prime. Res64: F10F00BC3C49EBE5 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:37:45] 1001*2^1552850-1 is not prime. Res64: 6DFFDE687F92136B Time : 0.0 sec. user=mdettweiler [2020-01-18 17:37:45] 625*2^1552851-1 is not prime. Res64: 95153A1AC090F913 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:37:46] 643*2^1552851-1 is not prime. Res64: 1EEF0313AE4FE8A6 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:37:46] 705*2^1552851-1 is not prime. Res64: FAA14A1F03ED715A Time : 0.0 sec. user=mdettweiler [2020-01-18 17:37:46] 775*2^1552851-1 is not prime. Res64: 1A563F8F6B63A962 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:38:52] 985*2^1552849-1 is not prime. Res64: E8BAB302D66A1008 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:38:52] 615*2^1552850-1 is not prime. Res64: 825D777A4B12916D Time : 0.0 sec. user=mdettweiler [2020-01-18 17:38:52] 755*2^1552850-1 is not prime. Res64: FE0DC5E0FFD6CFFF Time : 0.0 sec. user=mdettweiler [2020-01-18 17:38:52] 783*2^1552850-1 is not prime. Res64: 0244F2E5BC2BF188 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:38:53] 935*2^1552850-1 is not prime. Res64: EFED09492C0ED089 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:51:00] 783*2^1552851-1 is not prime. Res64: DA6709CEBC545965 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:51:00] 825*2^1552851-1 is not prime. Res64: 5038E3DF87AA6CB2 Time : 0.0 sec. user=mdettweiler [2020-01-18 17:51:01] 909*2^1552851-1 is not prime. Res64: AB7A510E4AF9776F Time : 0.0 sec. user=mdettweiler [2020-01-18 17:51:01] 623*2^1552852-1 is not prime. Res64: 7B99576C612E16FB Time : 0.0 sec. user=mdettweiler [2020-01-18 17:51:01] 647*2^1552852-1 is not prime. Res64: 61BB3776591F26D6 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:29:47] 653*2^1552852-1 is not prime. Res64: 0BE628BAE9376AAA Time : 0.0 sec. user=mdettweiler [2020-01-18 18:29:47] 717*2^1552852-1 is not prime. Res64: 58B6189E0F03B392 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:29:48] 651*2^1552853-1 is not prime. Res64: 9E49649A75E486E3 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:29:48] 745*2^1552853-1 is not prime. Res64: E326030C13B8CFFE Time : 0.0 sec. user=mdettweiler [2020-01-18 18:29:48] 801*2^1552853-1 is not prime. Res64: 473FF55391B60393 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:32:19] 897*2^1552853-1 is not prime. Res64: 89C4CCBD8E5A8D1D Time : 0.0 sec. user=mdettweiler [2020-01-18 18:32:20] 939*2^1552853-1 is not prime. Res64: 911ADDF2E3F7BB44 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:32:20] 681*2^1552854-1 is not prime. Res64: 6209A3B01487967A Time : 0.0 sec. user=mdettweiler [2020-01-18 18:32:20] 711*2^1552854-1 is not prime. Res64: 76DF8D3A6BA51C8A Time : 0.0 sec. user=mdettweiler [2020-01-18 18:32:21] 765*2^1552854-1 is not prime. Res64: E28AA5A3CA3FCB87 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:47:39] 807*2^1552854-1 is not prime. Res64: 7F70DBD5E4B41328 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:47:39] 815*2^1552854-1 is not prime. Res64: A47A378BFF45A775 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:47:39] 927*2^1552854-1 is not prime. Res64: E1A6830C5DB939B2 Time : 0.0 sec. user=mdettweiler [2020-01-18 18:47:40] 947*2^1552854-1 is not prime. Res64: 3179A5293849578B Time : 0.0 sec. user=mdettweiler [2020-01-18 18:47:40] 1001*2^1552854-1 is not prime. Res64: 7D9C904570B18A45 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:13:36] 817*2^1552857-1 is not prime. Res64: 58656BCF80456762 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:23:34] 723*2^1552855-1 is not prime. Res64: 3C3C99EBDBAD6C58 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:23:34] 763*2^1552855-1 is not prime. Res64: FB0296EA1D69695F Time : 0.0 sec. user=mdettweiler [2020-01-18 19:23:34] 873*2^1552855-1 is not prime. Res64: 74DCFF197BC07160 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:23:34] 915*2^1552855-1 is not prime. Res64: 61787C179668A1FB Time : 0.0 sec. user=mdettweiler [2020-01-18 19:23:35] 985*2^1552855-1 is not prime. Res64: CD613B45717F82A9 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:25:57] 999*2^1552855-1 is not prime. Res64: E795F4F522F6E1B4 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:25:57] 635*2^1552856-1 is not prime. Res64: BA1A93AA2267A36E Time : 0.0 sec. user=mdettweiler [2020-01-18 19:25:57] 669*2^1552856-1 is not prime. Res64: C0C34EB786B91A1D Time : 0.0 sec. user=mdettweiler [2020-01-18 19:25:58] 747*2^1552856-1 is not prime. Res64: 01B98747E168F6A1 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:25:58] 777*2^1552856-1 is not prime. Res64: 28126129E13EAEC1 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:43:12] 855*2^1552856-1 is not prime. Res64: 4CC9F032676BCA06 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:43:12] 923*2^1552856-1 is not prime. Res64: 37F989AED9E88C6D Time : 0.0 sec. user=mdettweiler [2020-01-18 19:43:13] 945*2^1552856-1 is not prime. Res64: 16E3CDECFC38B19F Time : 0.0 sec. user=mdettweiler [2020-01-18 19:43:13] 615*2^1552857-1 is not prime. Res64: DC491D6CC48CDCA2 Time : 0.0 sec. user=mdettweiler [2020-01-18 19:43:13] 759*2^1552857-1 is not prime. Res64: 308B391B5A4E58D0 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:16:58] 861*2^1552857-1 is not prime. Res64: 9B0DEA1443DEC245 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:16:59] 885*2^1552857-1 is not prime. Res64: 5CD45F3B15DA739C Time : 0.0 sec. user=mdettweiler [2020-01-18 20:17:00] 915*2^1552857-1 is not prime. Res64: E2CA56F849E367EF Time : 0.0 sec. user=mdettweiler [2020-01-18 20:17:00] 919*2^1552857-1 is not prime. Res64: 20F9D18065DD3637 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:17:01] 603*2^1552858-1 is not prime. Res64: 26F735097E5984C9 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:18:50] 647*2^1552858-1 is not prime. Res64: 7F2E517A509737D6 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:18:51] 657*2^1552858-1 is not prime. Res64: AEC723A79AF2328B Time : 0.0 sec. user=mdettweiler [2020-01-18 20:18:51] 777*2^1552858-1 is not prime. Res64: 8D8634FC0F22B547 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:18:51] 861*2^1552858-1 is not prime. Res64: 4F377D98B6273EC7 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:18:52] 885*2^1552858-1 is not prime. Res64: 66CCA940D0F40761 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:36:14] 915*2^1552858-1 is not prime. Res64: 0D1348911B2B5794 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:36:15] 951*2^1552858-1 is not prime. Res64: B93EAA5934CDFBD4 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:36:15] 603*2^1552859-1 is not prime. Res64: 50DA13E2CE31719F Time : 0.0 sec. user=mdettweiler [2020-01-18 20:36:15] 669*2^1552859-1 is not prime. Res64: E89FDC6AA7DD47A9 Time : 0.0 sec. user=mdettweiler [2020-01-18 20:36:15] 685*2^1552859-1 is not prime. Res64: 79151BDFFB9FBA61 Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:53] 823*2^1552859-1 is not prime. Res64: 18F60B7A1416E6AD Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:54] 913*2^1552859-1 is not prime. Res64: 773BB276498F50FF Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:54] 939*2^1552859-1 is not prime. Res64: 9BC726C15AF3BBD8 Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:55] 949*2^1552859-1 is not prime. Res64: BE17D48B8583B4F6 Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:55] 693*2^1552860-1 is not prime. Res64: B82200717B3F840B Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:56] 735*2^1552860-1 is not prime. Res64: D72CAE2016EC8C2E Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:57] 797*2^1552860-1 is not prime. Res64: 396B8EE1BE0DADC1 Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:57] 983*2^1552860-1 is not prime. Res64: B459B02B7F40BB6F Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:58] 639*2^1552861-1 is not prime. Res64: 301446510542ADF2 Time : 0.0 sec. user=mdettweiler [2020-01-18 21:11:58] 741*2^1552861-1 is not prime. Res64: D4B60D48C57844DD Time : 0.0 sec. user=mdettweiler [2020-01-18 21:31:57] 769*2^1552861-1 is not prime. Res64: 87DD49095CBC869C Time : 0.0 sec. user=mdettweiler [2020-01-18 21:31:58] 861*2^1552861-1 is not prime. Res64: F5A3CFA038E49F6E Time : 0.0 sec. user=mdettweiler [2020-01-18 21:31:58] 937*2^1552861-1 is not prime. Res64: 62F849B82A0C530D Time : 0.0 sec. user=mdettweiler [2020-01-18 21:31:58] 951*2^1552861-1 is not prime. Res64: 0A6640075B8637AD Time : 0.0 sec. user=mdettweiler [2020-01-18 21:31:59] 975*2^1552861-1 is not prime. Res64: 698168DD9F74BCE7 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:03:48] 685*2^1552863-1 is not prime. Res64: 73EEBC954016AC8C Time : 0.0 sec. user=mdettweiler [2020-01-18 22:03:49] 723*2^1552863-1 is not prime. Res64: B0A8EE69C584FC99 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:03:51] 745*2^1552863-1 is not prime. Res64: 22F73EFDC220CCA4 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:03:52] 765*2^1552863-1 is not prime. Res64: 100EEE3B36D65D5B Time : 0.0 sec. user=mdettweiler [2020-01-18 22:03:53] 805*2^1552863-1 is not prime. Res64: 41A7DC8FDCE2B1E8 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:05:24] 665*2^1552862-1 is not prime. Res64: 58749C94B90A0365 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:05:25] 771*2^1552862-1 is not prime. Res64: 3BF1BEBB1949BDA2 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:05:27] 873*2^1552862-1 is not prime. Res64: B81C6E51B35FCEDD Time : 0.0 sec. user=mdettweiler [2020-01-18 22:05:28] 885*2^1552862-1 is not prime. Res64: 9E1956DE4F714599 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:05:29] 977*2^1552862-1 is not prime. Res64: 6114455213775776 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:24:20] 901*2^1552863-1 is not prime. Res64: AA31EEB0DB416EE3 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:24:20] 645*2^1552864-1 is not prime. Res64: C1EBF890CE9A6C8E Time : 0.0 sec. user=mdettweiler [2020-01-18 22:24:21] 677*2^1552864-1 is not prime. Res64: A0E9B84F7DDAC9D3 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:24:21] 707*2^1552864-1 is not prime. Res64: D06339D74ED2FC3D Time : 0.0 sec. user=mdettweiler [2020-01-18 22:24:21] 849*2^1552864-1 is not prime. Res64: B4EFA52B34410EC5 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:57:58] 717*2^1552865-1 is not prime. Res64: 533276DFFD3EEB61 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:57:58] 771*2^1552865-1 is not prime. Res64: A2FA3C2F48573264 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:57:59] 795*2^1552865-1 is not prime. Res64: FDEF9DC4294BBE51 Time : 0.0 sec. user=mdettweiler [2020-01-18 22:57:59] 805*2^1552865-1 is not prime. Res64: FFC8ECF8B765B63A Time : 0.0 sec. user=mdettweiler [2020-01-18 22:57:59] 841*2^1552865-1 is not prime. Res64: 65B0672A31BE0CBC Time : 0.0 sec. user=mdettweiler [2020-01-18 23:02:43] 871*2^1552865-1 is not prime. Res64: 7EBC44A144B98F6F Time : 0.0 sec. user=mdettweiler [2020-01-18 23:02:44] 937*2^1552865-1 is not prime. Res64: 5EDE4CC26807530C Time : 0.0 sec. user=mdettweiler [2020-01-18 23:02:45] 951*2^1552865-1 is not prime. Res64: F21724F52157F2E6 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:02:45] 979*2^1552865-1 is not prime. Res64: F09F7426CC231AC6 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:02:46] 725*2^1552866-1 is not prime. Res64: D767DD6056327697 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:17:54] 741*2^1552866-1 is not prime. Res64: 647292C0A283F30A Time : 0.0 sec. user=mdettweiler [2020-01-18 23:17:55] 747*2^1552866-1 is not prime. Res64: AFA1BC3B20AF519A Time : 0.0 sec. user=mdettweiler [2020-01-18 23:17:55] 815*2^1552866-1 is not prime. Res64: 4145CCA04386F1FA Time : 0.0 sec. user=mdettweiler [2020-01-18 23:17:56] 833*2^1552866-1 is not prime. Res64: 70409381E8C51A87 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:17:56] 851*2^1552866-1 is not prime. Res64: CD486B6674A6A594 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:52:22] 887*2^1552866-1 is not prime. Res64: 4AB9D224B893C704 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:52:22] 993*2^1552866-1 is not prime. Res64: 685ECA90E93A53D0 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:52:22] 1001*2^1552866-1 is not prime. Res64: D70B7B8850CB3443 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:52:23] 615*2^1552867-1 is not prime. Res64: 0496F02CB6C9D291 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:52:23] 633*2^1552867-1 is not prime. Res64: 80F0B84231754EAF Time : 0.0 sec. user=mdettweiler [2020-01-18 23:54:10] 639*2^1552867-1 is not prime. Res64: F522FDCFF8F60842 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:54:11] 715*2^1552867-1 is not prime. Res64: FD6F60358FE33601 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:54:11] 735*2^1552867-1 is not prime. Res64: EF9B00444B1C0972 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:54:11] 759*2^1552867-1 is not prime. Res64: DEE8EFF79C86A577 Time : 0.0 sec. user=mdettweiler [2020-01-18 23:54:12] 805*2^1552867-1 is not prime. Res64: BDB89F722056EAA1 Time : 0.0 sec.