user=mdettweiler [2019-12-30 00:03:21] 923*2^1551952-1 is not prime. Res64: 4F52B54326270E00 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:03:22] 957*2^1551952-1 is not prime. Res64: 153EA401B0C70B6C Time : 0.0 sec. user=mdettweiler [2019-12-30 00:03:23] 965*2^1551952-1 is not prime. Res64: 45C62CF975AA77EB Time : 0.0 sec. user=mdettweiler [2019-12-30 00:03:24] 649*2^1551953-1 is not prime. Res64: 51B3EE50D27399D3 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:03:25] 699*2^1551953-1 is not prime. Res64: D9DC18FFE28548B0 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:28:34] 727*2^1551953-1 is not prime. Res64: 1237474FDBBE9870 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:28:35] 747*2^1551953-1 is not prime. Res64: 0F1A40D81EEA80FE Time : 0.0 sec. user=mdettweiler [2019-12-30 00:28:35] 769*2^1551953-1 is not prime. Res64: 6BC049C3B9862901 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:28:36] 795*2^1551953-1 is not prime. Res64: 43DA6F8239D6C34F Time : 0.0 sec. user=mdettweiler [2019-12-30 00:28:36] 819*2^1551953-1 is not prime. Res64: 628D672084368139 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:30:18] 957*2^1551953-1 is not prime. Res64: 9D6A675C9A932155 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:30:18] 651*2^1551954-1 is not prime. Res64: 4BDAE546C4F8D488 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:30:19] 705*2^1551954-1 is not prime. Res64: 1B12BFF9FBECCC8D Time : 0.0 sec. user=mdettweiler [2019-12-30 00:30:19] 731*2^1551954-1 is not prime. Res64: 61AD6CBA943C7763 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:30:19] 755*2^1551954-1 is not prime. Res64: 1E6AFEAE96C292FF Time : 0.0 sec. user=mdettweiler [2019-12-30 00:55:16] 803*2^1551954-1 is not prime. Res64: 9BEF7A1BC6863290 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:55:16] 921*2^1551954-1 is not prime. Res64: 9E3CA799ACC7F92A Time : 0.0 sec. user=mdettweiler [2019-12-30 00:55:17] 693*2^1551955-1 is not prime. Res64: 8084A153E8F2298F Time : 0.0 sec. user=mdettweiler [2019-12-30 00:55:17] 709*2^1551955-1 is not prime. Res64: 00E7B684398D2EC7 Time : 0.0 sec. user=mdettweiler [2019-12-30 00:55:17] 909*2^1551955-1 is not prime. Res64: FDB6B941376EA619 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:24:20] 961*2^1551955-1 is not prime. Res64: BCCB18474A9A1E31 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:24:21] 985*2^1551955-1 is not prime. Res64: 625D57EA9F2EA3DD Time : 0.0 sec. user=mdettweiler [2019-12-30 01:24:21] 999*2^1551955-1 is not prime. Res64: 6CF2876D6325DEA2 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:24:22] 893*2^1551956-1 is not prime. Res64: 2F8EAA68548FBE93 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:24:22] 927*2^1551956-1 is not prime. Res64: B3349CA906993E69 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:26:00] 935*2^1551956-1 is not prime. Res64: F7228A576B1CA780 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:26:00] 957*2^1551956-1 is not prime. Res64: 5FB3423F2C79DFD6 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:26:01] 993*2^1551956-1 is not prime. Res64: D41A161EBAD0225B Time : 0.0 sec. user=mdettweiler [2019-12-30 01:26:02] 805*2^1551957-1 is not prime. Res64: 110C76DEA309CA5E Time : 0.0 sec. user=mdettweiler [2019-12-30 01:26:03] 817*2^1551957-1 is not prime. Res64: 9F90C35E95A38EFA Time : 0.0 sec. user=mdettweiler [2019-12-30 01:48:13] 831*2^1551957-1 is not prime. Res64: 7081911BF8970ED4 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:48:14] 871*2^1551957-1 is not prime. Res64: B898DE84D3437304 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:48:14] 979*2^1551957-1 is not prime. Res64: 2C89689B61B146C1 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:48:15] 623*2^1551958-1 is not prime. Res64: EB86218479DA5FF1 Time : 0.0 sec. user=mdettweiler [2019-12-30 01:48:15] 677*2^1551958-1 is not prime. Res64: 6D898843082745E3 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:17:05] 619*2^1551959-1 is not prime. Res64: 17397EC8D349D667 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:17:09] 621*2^1551959-1 is not prime. Res64: 0FB052068E0988F2 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:17:10] 669*2^1551959-1 is not prime. Res64: 2F1F125D19163647 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:17:12] 675*2^1551959-1 is not prime. Res64: BC34F207EB1FB7F3 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:17:14] 679*2^1551959-1 is not prime. Res64: 8B71055819163CDC Time : 0.0 sec. user=mdettweiler [2019-12-30 02:18:42] 761*2^1551958-1 is not prime. Res64: E23EA9F948041E40 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:18:44] 791*2^1551958-1 is not prime. Res64: EDCE8B1562819F68 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:18:45] 887*2^1551958-1 is not prime. Res64: CC20D74365A57C8F Time : 0.0 sec. user=mdettweiler [2019-12-30 02:18:48] 933*2^1551958-1 is not prime. Res64: 1D957BC37519864F Time : 0.0 sec. user=mdettweiler [2019-12-30 02:18:50] 975*2^1551958-1 is not prime. Res64: 40FDBAC104D1305C Time : 0.0 sec. user=mdettweiler [2019-12-30 02:39:53] 693*2^1551959-1 is not prime. Res64: 08796F1F9E3439D1 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:39:53] 721*2^1551959-1 is not prime. Res64: C77BBAF6F120CE84 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:39:53] 753*2^1551959-1 is not prime. Res64: CA0CE29BF3ABDB8A Time : 0.0 sec. user=mdettweiler [2019-12-30 02:39:54] 829*2^1551959-1 is not prime. Res64: 078F1F7D3FA9A5C3 Time : 0.0 sec. user=mdettweiler [2019-12-30 02:39:54] 931*2^1551959-1 is not prime. Res64: B91A84CC927274AF Time : 0.0 sec. user=mdettweiler [2019-12-30 03:09:10] 627*2^1551960-1 is not prime. Res64: A0016EA4B2197FC9 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:09:15] 735*2^1551960-1 is not prime. Res64: CEDF906A5AC97AE3 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:09:18] 765*2^1551960-1 is not prime. Res64: 258315E8EFFD36D3 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:09:21] 767*2^1551960-1 is not prime. Res64: D643FCEE2AD1AA57 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:09:23] 773*2^1551960-1 is not prime. Res64: EF59950EC0E3555B Time : 0.0 sec. user=mdettweiler [2019-12-30 03:11:05] 789*2^1551960-1 is not prime. Res64: 77004D03AAB53FD4 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:11:07] 819*2^1551960-1 is not prime. Res64: 406DD7C5AEE5372D Time : 0.0 sec. user=mdettweiler [2019-12-30 03:11:08] 857*2^1551960-1 is not prime. Res64: E9775B91D0820AD4 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:11:10] 615*2^1551961-1 is not prime. Res64: 1821C702820A6004 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:11:11] 805*2^1551961-1 is not prime. Res64: 21F9A93811928865 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:31:18] 633*2^1551962-1 is not prime. Res64: 45A18DFAB066F19A Time : 0.0 sec. user=mdettweiler [2019-12-30 03:31:20] 645*2^1551962-1 is not prime. Res64: 300DA6148755C338 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:31:21] 735*2^1551962-1 is not prime. Res64: D82F106E29EB943A Time : 0.0 sec. user=mdettweiler [2019-12-30 03:31:21] 743*2^1551962-1 is not prime. Res64: 21BAFA677E60E778 Time : 0.0 sec. user=mdettweiler [2019-12-30 03:31:22] 837*2^1551962-1 is not prime. Res64: 8276549A7805D733 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:12] 1001*2^1551962-1 is not prime. Res64: 9DAF531925F8C834 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:17] 613*2^1551963-1 is not prime. Res64: B7E2555073621632 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:21] 723*2^1551963-1 is not prime. Res64: 039D8C67486B478F Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:26] 781*2^1551963-1 is not prime. Res64: 0E89613E0A1C092B Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:31] 825*2^1551963-1 is not prime. Res64: 38C013181A4F4170 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:03:53] 879*2^1551963-1 is not prime. Res64: 8E362CE75CD166B9 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:04:01] 949*2^1551963-1 is not prime. Res64: D31411541A229613 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:04:07] 693*2^1551964-1 is not prime. Res64: 2E62F4921195C36A Time : 0.0 sec. user=mdettweiler [2019-12-30 04:04:27] 705*2^1551964-1 is not prime. Res64: 7FC354725BBDB7EC Time : 0.0 sec. user=mdettweiler [2019-12-30 04:25:23] 903*2^1551964-1 is not prime. Res64: 65679B94BC0BA970 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:25:29] 915*2^1551964-1 is not prime. Res64: 246D5DA1B91A3ADA Time : 0.0 sec. user=mdettweiler [2019-12-30 04:37:07] 867*2^1551966-1 is not prime. Res64: 1904C8D47E992343 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:57:35] 907*2^1551965-1 is not prime. Res64: 1ACBAC174EE516C5 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:57:36] 725*2^1551966-1 is not prime. Res64: 8728FD01BD181FAF Time : 0.0 sec. user=mdettweiler [2019-12-30 04:57:37] 755*2^1551966-1 is not prime. Res64: E898066DFDE48305 Time : 0.0 sec. user=mdettweiler [2019-12-30 04:57:37] 761*2^1551966-1 is not prime. Res64: F37E13858C35324E Time : 0.0 sec. user=mdettweiler [2019-12-30 04:57:38] 821*2^1551966-1 is not prime. Res64: 687A837358ABF60A Time : 0.0 sec. user=mdettweiler [2019-12-30 05:27:55] 939*2^1551967-1 is not prime. Res64: BE0B649A094A2A1D Time : 0.0 sec. user=mdettweiler [2019-12-30 05:50:38] 603*2^1551967-1 is not prime. Res64: ED55B6F0FBB8FD4D Time : 0.0 sec. user=mdettweiler [2019-12-30 05:50:38] 829*2^1551967-1 is not prime. Res64: 02DDF7AB1E3F7DDE Time : 0.0 sec. user=mdettweiler [2019-12-30 05:50:39] 871*2^1551967-1 is not prime. Res64: F0000E7CD2998D60 Time : 0.0 sec. user=mdettweiler [2019-12-30 05:50:39] 883*2^1551967-1 is not prime. Res64: ECA07C6184A49DA2 Time : 0.0 sec. user=mdettweiler [2019-12-30 05:50:40] 913*2^1551967-1 is not prime. Res64: A1C752B6A8E2B0E2 Time : 0.0 sec. user=mdettweiler [2019-12-30 06:44:04] 961*2^1551967-1 is not prime. Res64: EAEF34F93EB17687 Time : 0.0 sec. user=mdettweiler [2019-12-30 06:44:05] 657*2^1551968-1 is not prime. Res64: 1344E62A4631BD4C Time : 0.0 sec. user=mdettweiler [2019-12-30 06:44:05] 725*2^1551968-1 is not prime. Res64: A101AAACE623B2A7 Time : 0.0 sec. user=mdettweiler [2019-12-30 06:44:06] 797*2^1551968-1 is not prime. Res64: 2E88797A49C0036B Time : 0.0 sec. user=mdettweiler [2019-12-30 06:44:06] 855*2^1551968-1 is not prime. Res64: F4726DDDE2980086 Time : 0.0 sec. user=mdettweiler [2019-12-30 07:39:14] 867*2^1551968-1 is not prime. Res64: EF0CAFAB03A1900B Time : 0.0 sec. user=mdettweiler [2019-12-30 07:39:14] 899*2^1551968-1 is not prime. Res64: 34675AD42FC73F0A Time : 0.0 sec. user=mdettweiler [2019-12-30 07:39:15] 909*2^1551968-1 is not prime. Res64: B784E87575830CEC Time : 0.0 sec. user=mdettweiler [2019-12-30 07:39:15] 935*2^1551968-1 is not prime. Res64: 173333C6F98FDBC0 Time : 0.0 sec. user=mdettweiler [2019-12-30 07:39:15] 959*2^1551968-1 is not prime. Res64: F2FB3822FA9454D1 Time : 0.0 sec. user=mdettweiler [2019-12-30 08:31:32] 727*2^1551969-1 is not prime. Res64: 43F15197882939F8 Time : 0.0 sec. user=mdettweiler [2019-12-30 08:31:33] 765*2^1551969-1 is not prime. Res64: C623892061697D87 Time : 0.0 sec. user=mdettweiler [2019-12-30 08:31:33] 795*2^1551969-1 is not prime. Res64: 0F228EF964AFE2A0 Time : 0.0 sec. user=mdettweiler [2019-12-30 08:31:33] 847*2^1551969-1 is not prime. Res64: 63D894AD8A0074F1 Time : 0.0 sec. user=mdettweiler [2019-12-30 08:31:34] 889*2^1551969-1 is not prime. Res64: C0E8F4CFF93582FD Time : 0.0 sec. user=mdettweiler [2019-12-30 08:56:33] 773*2^1551964-1 is not prime. Res64: 0C776607D2A7A663 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:17:03] 993*2^1551964-1 is not prime. Res64: 3C3041F096BC9BD2 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:17:04] 861*2^1551965-1 is not prime. Res64: 37A68DA36163F179 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:17:04] 897*2^1551965-1 is not prime. Res64: 488679D1A2065520 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:23:24] 611*2^1551970-1 is not prime. Res64: 723D285E6C366279 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:23:25] 675*2^1551970-1 is not prime. Res64: 2EE274E0B3AA4611 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:23:25] 735*2^1551970-1 is not prime. Res64: 164CD62FED0DE1DD Time : 0.0 sec. user=mdettweiler [2019-12-30 09:23:26] 833*2^1551970-1 is not prime. Res64: EA0B07F88166F641 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:23:26] 867*2^1551970-1 is not prime. Res64: 86499EA06F45C8D0 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:47:53] 669*2^1551971-1 is not prime. Res64: A05A43D5C9D926F9 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:47:53] 705*2^1551971-1 is not prime. Res64: 6C84C34C71F875EE Time : 0.0 sec. user=mdettweiler [2019-12-30 09:47:53] 823*2^1551971-1 is not prime. Res64: 8C7D1F305589C7B5 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:47:54] 627*2^1551972-1 is not prime. Res64: 4296ADA28223FAB1 Time : 0.0 sec. user=mdettweiler [2019-12-30 09:47:54] 669*2^1551972-1 is not prime. Res64: D5309BFADCCDB353 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:11:07] 693*2^1551972-1 is not prime. Res64: 2E1794287F1916F6 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:11:10] 737*2^1551972-1 is not prime. Res64: C74C29EDAD04EF1B Time : 0.0 sec. user=mdettweiler [2019-12-30 10:11:14] 863*2^1551972-1 is not prime. Res64: FF295BD3DE965145 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:11:18] 977*2^1551972-1 is not prime. Res64: C097016479485589 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:11:20] 999*2^1551972-1 is not prime. Res64: A3111B9F5870317C Time : 0.0 sec. user=mdettweiler [2019-12-30 10:18:27] 625*2^1551973-1 is not prime. Res64: 9EC8FA6CD5CFB203 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:18:28] 945*2^1551973-1 is not prime. Res64: F454172739D7CA71 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:18:28] 951*2^1551973-1 is not prime. Res64: 54E1F9735681C930 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:18:28] 987*2^1551973-1 is prime! Time : 0.0 sec. user=mdettweiler [2019-12-30 10:18:34] 677*2^1551974-1 is not prime. Res64: A83F7D23B535A9BC Time : 0.0 sec. user=mdettweiler [2019-12-30 10:41:46] 707*2^1551974-1 is not prime. Res64: 0C9D0D82A0D2F90F Time : 0.0 sec. user=mdettweiler [2019-12-30 10:41:46] 731*2^1551974-1 is not prime. Res64: 3AFF7E15628215B0 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:41:46] 887*2^1551974-1 is not prime. Res64: EACE64F5E975EA4E Time : 0.0 sec. user=mdettweiler [2019-12-30 10:41:47] 935*2^1551974-1 is not prime. Res64: D191B06ED599CBE6 Time : 0.0 sec. user=mdettweiler [2019-12-30 10:41:47] 951*2^1551974-1 is not prime. Res64: 9416045F871C2F51 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:04:34] 685*2^1551975-1 is not prime. Res64: EBBABD71004E3672 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:04:36] 859*2^1551975-1 is not prime. Res64: 28A102301D22305D Time : 0.0 sec. user=mdettweiler [2019-12-30 11:04:37] 871*2^1551975-1 is not prime. Res64: 56C028DED334682C Time : 0.0 sec. user=mdettweiler [2019-12-30 11:04:38] 895*2^1551975-1 is not prime. Res64: 93E04D0CCE8FC81B Time : 0.0 sec. user=mdettweiler [2019-12-30 11:04:38] 909*2^1551975-1 is not prime. Res64: 1B5447B4E2F31529 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:13:40] 955*2^1551975-1 is not prime. Res64: DADD2F8E6A4A890B Time : 0.0 sec. user=mdettweiler [2019-12-30 11:13:40] 969*2^1551975-1 is not prime. Res64: 01479E71524AEDC8 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:13:40] 979*2^1551975-1 is not prime. Res64: 17433AAE0E348C18 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:13:41] 609*2^1551976-1 is not prime. Res64: A94130E933FD74F1 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:13:41] 623*2^1551976-1 is not prime. Res64: A30FF229CEC55709 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:34:40] 873*2^1551976-1 is not prime. Res64: 0A4B9729974C7796 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:34:41] 899*2^1551976-1 is not prime. Res64: A32AEB42C8B0A1FA Time : 0.0 sec. user=mdettweiler [2019-12-30 11:34:41] 983*2^1551976-1 is not prime. Res64: 75FC8FB76A341B7C Time : 0.0 sec. user=mdettweiler [2019-12-30 11:34:41] 615*2^1551977-1 is not prime. Res64: D5C151E91D5B9FBF Time : 0.0 sec. user=mdettweiler [2019-12-30 11:34:42] 649*2^1551977-1 is not prime. Res64: A646A519C2EA9B36 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:56:11] 651*2^1551977-1 is not prime. Res64: C96432029E6B668E Time : 0.0 sec. user=mdettweiler [2019-12-30 11:56:11] 669*2^1551977-1 is not prime. Res64: 6AA37059EBECA1AE Time : 0.0 sec. user=mdettweiler [2019-12-30 11:56:12] 685*2^1551977-1 is not prime. Res64: E7F199857F625A04 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:56:12] 697*2^1551977-1 is not prime. Res64: 066D4C0AE2A96414 Time : 0.0 sec. user=mdettweiler [2019-12-30 11:56:12] 727*2^1551977-1 is not prime. Res64: 20F6675169F37B2D Time : 0.0 sec. user=mdettweiler [2019-12-30 12:09:19] 831*2^1551977-1 is not prime. Res64: EE2E65712311B1CE Time : 0.0 sec. user=mdettweiler [2019-12-30 12:09:19] 931*2^1551977-1 is not prime. Res64: 510960C7BC79B509 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:09:20] 955*2^1551977-1 is not prime. Res64: 22B3C6483CAB9168 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:09:20] 981*2^1551977-1 is not prime. Res64: 63CDBB85D171DED6 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:09:21] 985*2^1551977-1 is not prime. Res64: F8A8998C611BEF3D Time : 0.0 sec. user=mdettweiler [2019-12-30 12:25:38] 633*2^1551978-1 is not prime. Res64: 4399AC7A45F45177 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:25:39] 663*2^1551978-1 is not prime. Res64: 5F8FE515B267E6C4 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:25:39] 695*2^1551978-1 is not prime. Res64: 1C3399166EAC1004 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:25:40] 713*2^1551978-1 is not prime. Res64: 6F7C0DF287DEE91B Time : 0.0 sec. user=mdettweiler [2019-12-30 12:25:40] 747*2^1551978-1 is not prime. Res64: BA43C2741F83E33C Time : 0.0 sec. user=mdettweiler [2019-12-30 12:48:51] 767*2^1551978-1 is not prime. Res64: B72D28B745DF817F Time : 0.0 sec. user=mdettweiler [2019-12-30 12:48:51] 773*2^1551978-1 is not prime. Res64: B4BDC99E2E7D702F Time : 0.0 sec. user=mdettweiler [2019-12-30 12:48:51] 777*2^1551978-1 is not prime. Res64: 09786341DADDCF91 Time : 0.0 sec. user=mdettweiler [2019-12-30 12:48:52] 801*2^1551978-1 is not prime. Res64: 90EEF2F5A5CFBD4B Time : 0.0 sec. user=mdettweiler [2019-12-30 12:48:52] 957*2^1551978-1 is not prime. Res64: C783DA72A13C3B55 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:02:24] 971*2^1551978-1 is not prime. Res64: E538929B87CDDD91 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:02:26] 679*2^1551979-1 is not prime. Res64: 2BBD0B3D84894C5D Time : 0.0 sec. user=mdettweiler [2019-12-30 13:02:27] 745*2^1551979-1 is not prime. Res64: 5F493B63A3A2561F Time : 0.0 sec. user=mdettweiler [2019-12-30 13:02:27] 793*2^1551979-1 is not prime. Res64: 612130AFC2E3E7C8 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:02:28] 811*2^1551979-1 is not prime. Res64: 314FB523CA57AF53 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:19:38] 895*2^1551979-1 is not prime. Res64: 11C64088C4D0DCFF Time : 0.0 sec. user=mdettweiler [2019-12-30 13:19:39] 969*2^1551979-1 is not prime. Res64: 7243FD8B1C2FD0E6 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:19:40] 973*2^1551979-1 is not prime. Res64: 3FCDC3A971339609 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:19:41] 609*2^1551980-1 is not prime. Res64: 2BEACC13E165A497 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:19:42] 647*2^1551980-1 is not prime. Res64: 5135F763572B9249 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:40:45] 663*2^1551980-1 is not prime. Res64: 40E84A0AE9993289 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:40:46] 735*2^1551980-1 is not prime. Res64: 357C28ADE028AA11 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:40:46] 795*2^1551980-1 is not prime. Res64: 3814FC4521E3B31F Time : 0.0 sec. user=mdettweiler [2019-12-30 13:40:47] 813*2^1551980-1 is not prime. Res64: 214F49E19A58B3D1 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:40:47] 845*2^1551980-1 is not prime. Res64: 611F7BD4991C7CC4 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:56:55] 987*2^1551980-1 is not prime. Res64: DDD598D40AC3DEE2 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:56:55] 711*2^1551981-1 is not prime. Res64: B97CD3C8141A97E1 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:56:56] 745*2^1551981-1 is not prime. Res64: 631D58C01AC972C3 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:56:56] 861*2^1551981-1 is not prime. Res64: 9EDA88ADBF409750 Time : 0.0 sec. user=mdettweiler [2019-12-30 13:56:56] 979*2^1551981-1 is not prime. Res64: 02B8C59BD96350D7 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:11:35] 621*2^1551982-1 is not prime. Res64: F621A7FCAFEFAB7F Time : 0.0 sec. user=mdettweiler [2019-12-30 14:11:39] 623*2^1551982-1 is not prime. Res64: 1EEB3E8EB9E25FBB Time : 0.0 sec. user=mdettweiler [2019-12-30 14:11:41] 705*2^1551982-1 is not prime. Res64: 3DA08400D2BD5619 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:11:45] 827*2^1551982-1 is not prime. Res64: 3A4CC56E743EDBD2 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:11:51] 833*2^1551982-1 is not prime. Res64: B1CF3AF4AE0968D5 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:34:51] 995*2^1551982-1 is not prime. Res64: 53CFA5E0F170D0BC Time : 0.0 sec. user=mdettweiler [2019-12-30 14:34:52] 621*2^1551983-1 is not prime. Res64: 60758FEA54DE4D23 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:34:52] 663*2^1551983-1 is not prime. Res64: 7B791CC77CA6CB70 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:34:53] 853*2^1551983-1 is not prime. Res64: 9C549FD596861788 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:34:53] 945*2^1551983-1 is not prime. Res64: EA1E3F5CAE2BAA0C Time : 0.0 sec. user=mdettweiler [2019-12-30 14:48:16] 615*2^1551984-1 is not prime. Res64: CBA1487FC17AAF64 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:48:17] 623*2^1551984-1 is not prime. Res64: 5327EF4964C4949C Time : 0.0 sec. user=mdettweiler [2019-12-30 14:48:17] 719*2^1551984-1 is not prime. Res64: 824D3954EC0B94CD Time : 0.0 sec. user=mdettweiler [2019-12-30 14:48:18] 825*2^1551984-1 is not prime. Res64: 7C0CFB077F7DA411 Time : 0.0 sec. user=mdettweiler [2019-12-30 14:48:18] 645*2^1551985-1 is not prime. Res64: C5E411460AAE2ACC Time : 0.0 sec. user=mdettweiler [2019-12-30 15:04:32] 651*2^1551985-1 is not prime. Res64: BB04207BB6D7508B Time : 0.0 sec. user=mdettweiler [2019-12-30 15:04:34] 721*2^1551985-1 is not prime. Res64: F66670955FB854A2 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:04:35] 847*2^1551985-1 is not prime. Res64: 30B54A6CE12097EB Time : 0.0 sec. user=mdettweiler [2019-12-30 15:04:36] 919*2^1551985-1 is not prime. Res64: 9794217943E3A7C3 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:04:37] 603*2^1551986-1 is not prime. Res64: 880857760CFAA539 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:26:11] 623*2^1551986-1 is not prime. Res64: F2F69D01017FA195 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:26:11] 657*2^1551986-1 is not prime. Res64: 4AC8C386DACB266B Time : 0.0 sec. user=mdettweiler [2019-12-30 15:26:11] 713*2^1551986-1 is not prime. Res64: E16434EACA835BD4 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:26:12] 767*2^1551986-1 is not prime. Res64: 2ED1F2496707E6EF Time : 0.0 sec. user=mdettweiler [2019-12-30 15:26:12] 857*2^1551986-1 is not prime. Res64: E8FBFCAB74D6E3ED Time : 0.0 sec. user=mdettweiler [2019-12-30 15:42:21] 911*2^1551986-1 is not prime. Res64: EC751AC2B5E92EF2 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:42:21] 941*2^1551986-1 is not prime. Res64: 40CB6DB5705F99CC Time : 0.0 sec. user=mdettweiler [2019-12-30 15:42:22] 1001*2^1551986-1 is not prime. Res64: 06C3102D5B6B8971 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:42:22] 685*2^1551987-1 is not prime. Res64: D2637E9163EDC86B Time : 0.0 sec. user=mdettweiler [2019-12-30 15:42:22] 735*2^1551987-1 is not prime. Res64: FD4310F9A18019E7 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:58:26] 843*2^1551987-1 is not prime. Res64: 1C376FBD4911C855 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:58:27] 849*2^1551987-1 is not prime. Res64: E04E698BA6E42800 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:58:27] 903*2^1551987-1 is not prime. Res64: 2A416BFE6D74C79D Time : 0.0 sec. user=mdettweiler [2019-12-30 15:58:27] 975*2^1551987-1 is not prime. Res64: 9DD84FE03E367F42 Time : 0.0 sec. user=mdettweiler [2019-12-30 15:58:28] 605*2^1551988-1 is not prime. Res64: 5BEEF6B1B69B631E Time : 0.0 sec. user=mdettweiler [2019-12-30 16:17:24] 797*2^1551988-1 is not prime. Res64: D7E1023921882538 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:17:25] 675*2^1551989-1 is not prime. Res64: DAE792CE4449C9B6 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:17:25] 691*2^1551989-1 is not prime. Res64: AE5AC27C188048A4 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:17:25] 729*2^1551989-1 is not prime. Res64: 2ACF35D3BA9F9D06 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:17:26] 745*2^1551989-1 is not prime. Res64: B573E6E5A0E6F253 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:34:11] 759*2^1551989-1 is not prime. Res64: 2BB6870D57C89611 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:34:12] 801*2^1551989-1 is not prime. Res64: 088AF0D18427E908 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:34:12] 867*2^1551989-1 is not prime. Res64: E7D20A06308E1553 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:34:12] 885*2^1551989-1 is not prime. Res64: 02DD282D5D90D32E Time : 0.0 sec. user=mdettweiler [2019-12-30 16:34:13] 741*2^1551990-1 is not prime. Res64: 9BC3D4FE2C7B244F Time : 0.0 sec. user=mdettweiler [2019-12-30 16:51:00] 791*2^1551990-1 is not prime. Res64: 90568CA2D9333106 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:51:01] 825*2^1551990-1 is not prime. Res64: 018F6159D81AF78B Time : 0.0 sec. user=mdettweiler [2019-12-30 16:51:01] 861*2^1551990-1 is not prime. Res64: C2C3FAFB43F39452 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:51:01] 893*2^1551990-1 is not prime. Res64: E61C809A05E95587 Time : 0.0 sec. user=mdettweiler [2019-12-30 16:51:02] 917*2^1551990-1 is not prime. Res64: C4855C057E3719E3 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:11:09] 941*2^1551990-1 is not prime. Res64: 4121E27B9193D5C0 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:11:12] 1001*2^1551990-1 is not prime. Res64: 856D82977CBBFD36 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:11:14] 651*2^1551991-1 is not prime. Res64: D8A17E878977A8E0 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:11:17] 705*2^1551991-1 is not prime. Res64: E404E281F2AEDCFC Time : 0.0 sec. user=mdettweiler [2019-12-30 17:11:19] 709*2^1551991-1 is not prime. Res64: 18BA96BAAA8860C0 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:26:22] 741*2^1551991-1 is not prime. Res64: 2054224C63E57052 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:26:22] 819*2^1551991-1 is not prime. Res64: BD377B1F39336493 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:26:22] 855*2^1551991-1 is not prime. Res64: 84001C5DCAFA6114 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:26:23] 873*2^1551991-1 is not prime. Res64: 4E1D8BD039B052FD Time : 0.0 sec. user=mdettweiler [2019-12-30 17:26:23] 885*2^1551991-1 is not prime. Res64: 756870D5F1032AFF Time : 0.0 sec. user=mdettweiler [2019-12-30 17:43:41] 725*2^1551992-1 is not prime. Res64: 1188E72F6DEC38A3 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:43:42] 923*2^1551992-1 is not prime. Res64: 39BCE66F99FF3AB2 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:43:42] 977*2^1551992-1 is not prime. Res64: ED91DCBB0664E034 Time : 0.0 sec. user=mdettweiler [2019-12-30 17:43:42] 627*2^1551993-1 is not prime. Res64: 626E65DF6C3B81FF Time : 0.0 sec. user=mdettweiler [2019-12-30 17:43:43] 639*2^1551993-1 is not prime. Res64: 28D672D1D2CEE59C Time : 0.0 sec. user=mdettweiler [2019-12-30 18:04:10] 747*2^1551993-1 is not prime. Res64: 2E67535ECACB356C Time : 0.0 sec. user=mdettweiler [2019-12-30 18:04:11] 795*2^1551993-1 is not prime. Res64: 4D9B6AC689C8C9E0 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:04:11] 805*2^1551993-1 is not prime. Res64: 55A771D123AF6238 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:04:12] 861*2^1551993-1 is not prime. Res64: B38ADAE7435A0840 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:04:12] 871*2^1551993-1 is not prime. Res64: 7CAB28F4E5BD68EC Time : 0.0 sec. user=mdettweiler [2019-12-30 18:21:34] 945*2^1551993-1 is not prime. Res64: 8D6EE880C58D30D5 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:21:35] 991*2^1551993-1 is not prime. Res64: EFD6BC0F994288CA Time : 0.0 sec. user=mdettweiler [2019-12-30 18:21:35] 999*2^1551993-1 is not prime. Res64: B62F0EA1D4CDED2D Time : 0.0 sec. user=mdettweiler [2019-12-30 18:21:35] 663*2^1551994-1 is not prime. Res64: C9B5E1FDF0A8DCD5 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:21:36] 675*2^1551994-1 is not prime. Res64: EA1CF4A83709260B Time : 0.0 sec. user=mdettweiler [2019-12-30 18:35:36] 755*2^1551994-1 is not prime. Res64: E32FC83B857E6A7B Time : 0.0 sec. user=mdettweiler [2019-12-30 18:35:36] 765*2^1551994-1 is not prime. Res64: AFDDB1A831EE8B9D Time : 0.0 sec. user=mdettweiler [2019-12-30 18:35:37] 791*2^1551994-1 is not prime. Res64: 9DDD58AB4FE0BBA5 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:35:37] 813*2^1551994-1 is not prime. Res64: 983513F16DB17B1E Time : 0.0 sec. user=mdettweiler [2019-12-30 18:35:37] 861*2^1551994-1 is not prime. Res64: A206D741A8C16AB3 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:57:01] 649*2^1551995-1 is not prime. Res64: D7AF73BFFAA94618 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:57:01] 655*2^1551995-1 is not prime. Res64: AD4FA09E929209C2 Time : 0.0 sec. user=mdettweiler [2019-12-30 18:57:02] 735*2^1551995-1 is not prime. Res64: 2E04234E5DBE0DCF Time : 0.0 sec. user=mdettweiler [2019-12-30 18:57:02] 991*2^1551995-1 is not prime. Res64: C51027CA7DE973BC Time : 0.0 sec. user=mdettweiler [2019-12-30 18:57:02] 627*2^1551996-1 is not prime. Res64: 6966C55DBD195282 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:13:53] 675*2^1551996-1 is not prime. Res64: 6FC9A2918D92A6B5 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:13:56] 707*2^1551996-1 is not prime. Res64: 0CE0A1D48CC94B20 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:13:59] 773*2^1551996-1 is not prime. Res64: 65DAFD09B87273A8 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:14:02] 969*2^1551996-1 is not prime. Res64: 5DBE53B42A8D9350 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:14:05] 615*2^1551997-1 is not prime. Res64: 97687FAE0B9BB35B Time : 0.0 sec. user=mdettweiler [2019-12-30 19:28:47] 741*2^1551997-1 is not prime. Res64: 091419C3F0D459BE Time : 0.0 sec. user=mdettweiler [2019-12-30 19:28:47] 831*2^1551997-1 is not prime. Res64: B2D924B49541B84C Time : 0.0 sec. user=mdettweiler [2019-12-30 19:28:47] 835*2^1551997-1 is not prime. Res64: 4448177C0221D643 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:28:48] 919*2^1551997-1 is not prime. Res64: 39BE7E1040589D6B Time : 0.0 sec. user=mdettweiler [2019-12-30 19:28:48] 961*2^1551997-1 is not prime. Res64: 833FECD23897E64E Time : 0.0 sec. user=mdettweiler [2019-12-30 19:49:07] 687*2^1551998-1 is not prime. Res64: 336DD04443AB0506 Time : 0.0 sec. user=mdettweiler [2019-12-30 19:49:08] 795*2^1551998-1 is not prime. Res64: 5629C17D941688BF Time : 0.0 sec. user=mdettweiler [2019-12-30 19:49:08] 801*2^1551998-1 is not prime. Res64: 74C26C58C8A5A9BC Time : 0.0 sec. user=mdettweiler [2019-12-30 19:49:08] 825*2^1551998-1 is not prime. Res64: 8A89F39D65CA41EF Time : 0.0 sec. user=mdettweiler [2019-12-30 19:49:09] 875*2^1551998-1 is not prime. Res64: BC9DFB79FDE65BD5 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:08:22] 685*2^1551999-1 is not prime. Res64: FBA981E83700543F Time : 0.0 sec. user=mdettweiler [2019-12-30 20:08:23] 825*2^1551999-1 is not prime. Res64: 4F586F6C9181EF33 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:08:23] 999*2^1551999-1 is not prime. Res64: 7D6550BA9D002463 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:08:23] 605*2^1552000-1 is not prime. Res64: 90CEBC5673738695 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:08:24] 723*2^1552000-1 is not prime. Res64: 14B36E7038F86FA8 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:21:18] 843*2^1552000-1 is not prime. Res64: 510773E9693DC5F1 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:21:19] 873*2^1552000-1 is not prime. Res64: 9548FAE325D617F4 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:21:19] 897*2^1552000-1 is not prime. Res64: BC605BA8FECC4B37 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:21:19] 915*2^1552000-1 is not prime. Res64: 2E375BED48C50BE7 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:21:20] 917*2^1552000-1 is not prime. Res64: 455F4C6F1FD63CE7 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:43:45] 927*2^1552000-1 is not prime. Res64: DB837EF2C5507E8F Time : 0.0 sec. user=mdettweiler [2019-12-30 20:43:45] 995*2^1552000-1 is not prime. Res64: A3417688E4F9C991 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:43:45] 789*2^1552001-1 is not prime. Res64: 26846301F9062E37 Time : 0.0 sec. user=mdettweiler [2019-12-30 20:43:46] 861*2^1552001-1 is not prime. Res64: 35F33D85A4D12BEF Time : 0.0 sec. user=mdettweiler [2019-12-30 20:43:46] 955*2^1552001-1 is not prime. Res64: 137E2DA671BE806E Time : 0.0 sec. user=mdettweiler [2019-12-30 21:03:36] 979*2^1552001-1 is not prime. Res64: 65E3075481C4557A Time : 0.0 sec. user=mdettweiler [2019-12-30 21:03:40] 981*2^1552001-1 is not prime. Res64: D826FC47093119BE Time : 0.0 sec. user=mdettweiler [2019-12-30 21:03:41] 997*2^1552001-1 is not prime. Res64: 69438683827DB68A Time : 0.0 sec. user=mdettweiler [2019-12-30 21:03:44] 635*2^1552002-1 is not prime. Res64: 2F321DC5D24A8DFC Time : 0.0 sec. user=mdettweiler [2019-12-30 21:03:47] 737*2^1552002-1 is not prime. Res64: 35796CA514B91AB1 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:16:09] 807*2^1552002-1 is not prime. Res64: 8BDF0C08266EFDF8 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:16:12] 891*2^1552002-1 is not prime. Res64: 6138E936C478FFFB Time : 0.0 sec. user=mdettweiler [2019-12-30 21:16:14] 903*2^1552002-1 is not prime. Res64: FB0AB6E5430BC79F Time : 0.0 sec. user=mdettweiler [2019-12-30 21:16:18] 947*2^1552002-1 is not prime. Res64: 90EB8D9B1426D3CE Time : 0.0 sec. user=mdettweiler [2019-12-30 21:16:21] 951*2^1552002-1 is not prime. Res64: 2451B24934657A45 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:36:14] 709*2^1552003-1 is not prime. Res64: 8F7113A08B35994A Time : 0.0 sec. user=mdettweiler [2019-12-30 21:36:14] 829*2^1552003-1 is not prime. Res64: B1001B0E5FB7CBE0 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:36:15] 855*2^1552003-1 is not prime. Res64: E407F2855C4A4CCA Time : 0.0 sec. user=mdettweiler [2019-12-30 21:36:15] 883*2^1552003-1 is not prime. Res64: 3A198234E9DA44DC Time : 0.0 sec. user=mdettweiler [2019-12-30 21:36:15] 885*2^1552003-1 is not prime. Res64: 0E90644948899891 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:57:31] 925*2^1552003-1 is not prime. Res64: 61DE23C7FB6BC04C Time : 0.0 sec. user=mdettweiler [2019-12-30 21:57:31] 689*2^1552004-1 is not prime. Res64: FC6F377E885E0F36 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:57:32] 773*2^1552004-1 is not prime. Res64: 08F5366F6E16F123 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:57:32] 627*2^1552005-1 is not prime. Res64: A57868D16008E1C6 Time : 0.0 sec. user=mdettweiler [2019-12-30 21:57:32] 639*2^1552005-1 is not prime. Res64: 11125B1DE41FC80C Time : 0.0 sec. user=mdettweiler [2019-12-30 22:10:28] 649*2^1552005-1 is not prime. Res64: E413360B1511B96B Time : 0.0 sec. user=mdettweiler [2019-12-30 22:10:28] 735*2^1552005-1 is not prime. Res64: 2784FEDBFE9A72F5 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:10:29] 789*2^1552005-1 is not prime. Res64: 9B99FC435C675488 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:10:29] 837*2^1552005-1 is not prime. Res64: FA2FEC67514A53ED Time : 0.0 sec. user=mdettweiler [2019-12-30 22:10:29] 961*2^1552005-1 is not prime. Res64: 3539DE7741491221 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:29:31] 991*2^1552005-1 is not prime. Res64: EB3CCA8D579B14C4 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:29:32] 705*2^1552006-1 is not prime. Res64: 65D414A14CFD3EFD Time : 0.0 sec. user=mdettweiler [2019-12-30 22:29:32] 773*2^1552006-1 is not prime. Res64: 7F44053A0BDEAC08 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:29:33] 785*2^1552006-1 is not prime. Res64: CD8AA82875B4A5E5 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:29:33] 887*2^1552006-1 is not prime. Res64: E58CA3C3FF1C79F3 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:50:49] 923*2^1552006-1 is not prime. Res64: EE2408F24828BB3F Time : 0.0 sec. user=mdettweiler [2019-12-30 22:50:49] 957*2^1552006-1 is not prime. Res64: 8BE6BE162A18DAD0 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:50:50] 619*2^1552007-1 is not prime. Res64: 93A3EB60EF44F8FB Time : 0.0 sec. user=mdettweiler [2019-12-30 22:50:50] 661*2^1552007-1 is not prime. Res64: DE3FB0DD4A105F13 Time : 0.0 sec. user=mdettweiler [2019-12-30 22:50:50] 673*2^1552007-1 is not prime. Res64: 883ED11ACDE36CCA Time : 0.0 sec. user=mdettweiler [2019-12-30 23:02:32] 705*2^1552007-1 is not prime. Res64: 7279844F11FFD2C3 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:02:35] 711*2^1552007-1 is not prime. Res64: E6D4CE2836A361A7 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:02:38] 759*2^1552007-1 is not prime. Res64: 802BD8BC465E52C0 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:02:40] 895*2^1552007-1 is not prime. Res64: 8403A422E090E7CA Time : 0.0 sec. user=mdettweiler [2019-12-30 23:02:41] 901*2^1552007-1 is not prime. Res64: 30883A936DC4ABCE Time : 0.0 sec. user=mdettweiler [2019-12-30 23:24:12] 939*2^1552007-1 is not prime. Res64: BF17A0CD1A7CA86E Time : 0.0 sec. user=mdettweiler [2019-12-30 23:24:13] 963*2^1552007-1 is not prime. Res64: AEC1B0DE4FE6CA3D Time : 0.0 sec. user=mdettweiler [2019-12-30 23:24:13] 707*2^1552008-1 is not prime. Res64: 9CB5E1857F078DEA Time : 0.0 sec. user=mdettweiler [2019-12-30 23:24:14] 789*2^1552008-1 is not prime. Res64: 79ED81E6947E507E Time : 0.0 sec. user=mdettweiler [2019-12-30 23:24:14] 797*2^1552008-1 is not prime. Res64: 840E20645A8B3271 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:43:02] 809*2^1552008-1 is not prime. Res64: 76AE3A3B7769210B Time : 0.0 sec. user=mdettweiler [2019-12-30 23:43:02] 845*2^1552008-1 is not prime. Res64: 8E576D2BFFDEED6D Time : 0.0 sec. user=mdettweiler [2019-12-30 23:43:03] 849*2^1552008-1 is not prime. Res64: 6FC50E5917596698 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:43:03] 909*2^1552008-1 is not prime. Res64: 95B4A60DC1D54AB9 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:43:04] 705*2^1552009-1 is not prime. Res64: 7F202D1760EB883A Time : 0.0 sec. user=mdettweiler [2019-12-30 23:56:37] 829*2^1552009-1 is not prime. Res64: 28E94AF02311751D Time : 0.0 sec. user=mdettweiler [2019-12-30 23:56:37] 831*2^1552009-1 is not prime. Res64: F2581B3ED80E6663 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:56:38] 841*2^1552009-1 is not prime. Res64: E438DCF2C3C34688 Time : 0.0 sec. user=mdettweiler [2019-12-30 23:56:38] 861*2^1552009-1 is not prime. Res64: A1628B9B96BF5C6D Time : 0.0 sec. user=mdettweiler [2019-12-30 23:56:39] 877*2^1552009-1 is not prime. Res64: A8867CAC76C2ACED Time : 0.0 sec.