user=mdettweiler [2019-06-13 00:23:53] 993*2^1539983-1 is not prime. Res64: 7838F73053B1A5B4 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:23:54] 675*2^1539984-1 is not prime. Res64: 1F389F9572F39A0C Time : 0.0 sec. user=mdettweiler [2019-06-13 00:23:55] 747*2^1539984-1 is not prime. Res64: 1818FA9FE024544C Time : 0.0 sec. user=mdettweiler [2019-06-13 00:23:55] 773*2^1539984-1 is not prime. Res64: 090F538E23F61565 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:23:56] 803*2^1539984-1 is not prime. Res64: B23A7067014D1307 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:24:52] 983*2^1539984-1 is not prime. Res64: DCB1D06705E9233E Time : 0.0 sec. user=mdettweiler [2019-06-13 00:24:52] 687*2^1539985-1 is not prime. Res64: 411B276E7C678830 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:24:52] 691*2^1539985-1 is not prime. Res64: CB1B0198D306D740 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:24:53] 699*2^1539985-1 is not prime. Res64: F192F0BF1EC2C240 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:24:53] 777*2^1539985-1 is not prime. Res64: BE83AEED27D2C419 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:42:03] 801*2^1539985-1 is not prime. Res64: 6624779266DD60C8 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:42:04] 831*2^1539985-1 is not prime. Res64: D2EBE1F3C0BFBD62 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:42:04] 985*2^1539985-1 is not prime. Res64: 56066B737AF6F094 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:42:05] 711*2^1539986-1 is not prime. Res64: 6DFAE798233573CC Time : 0.0 sec. user=mdettweiler [2019-06-13 00:42:06] 713*2^1539986-1 is not prime. Res64: AB01F49CE1F02BD2 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:46:06] 743*2^1539986-1 is not prime. Res64: 1D25D70E073DA26B Time : 0.0 sec. user=mdettweiler [2019-06-13 00:46:06] 867*2^1539986-1 is not prime. Res64: 50B9EECA7E083E56 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:46:07] 935*2^1539986-1 is not prime. Res64: CA429FC6FCE399B0 Time : 0.0 sec. user=mdettweiler [2019-06-13 00:46:07] 691*2^1539987-1 is not prime. Res64: C210D7865AE1229D Time : 0.0 sec. user=mdettweiler [2019-06-13 00:46:07] 751*2^1539987-1 is not prime. Res64: 927EFEDDB3E03519 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:12] 829*2^1539987-1 is not prime. Res64: BB19080D542BE965 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:18] 891*2^1539987-1 is not prime. Res64: 35D8E3D79D5C28A8 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:22] 955*2^1539987-1 is not prime. Res64: 85662F68911E72D0 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:22] 605*2^1539988-1 is not prime. Res64: E2330F859A455C67 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:29] 647*2^1539988-1 is not prime. Res64: 53FAA8BB2B5F66CF Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:31] 985*2^1539987-1 is not prime. Res64: 8E6A16DFD04AE410 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:35] 603*2^1539988-1 is not prime. Res64: 246C163DD9807032 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:37] 657*2^1539988-1 is not prime. Res64: CE209E210215BCAD Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:42] 813*2^1539988-1 is not prime. Res64: 02EC3AD5BD9671E2 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:16:47] 827*2^1539988-1 is not prime. Res64: 7EA3D0C2E7A797E6 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:34:28] 839*2^1539988-1 is not prime. Res64: 3A42DA14D6DAADB1 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:34:30] 887*2^1539988-1 is not prime. Res64: 28C5729D7B816913 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:34:32] 927*2^1539988-1 is not prime. Res64: D7E22E40D753E4BF Time : 0.0 sec. user=mdettweiler [2019-06-13 01:34:33] 933*2^1539988-1 is not prime. Res64: 00F4A48B722E54DB Time : 0.0 sec. user=mdettweiler [2019-06-13 01:34:35] 969*2^1539988-1 is not prime. Res64: 694ECBC92D4ED08F Time : 0.0 sec. user=mdettweiler [2019-06-13 01:37:52] 989*2^1539988-1 is not prime. Res64: 530B98B4B82038E4 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:37:56] 621*2^1539989-1 is not prime. Res64: 2690401091DC09C6 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:38:00] 657*2^1539989-1 is not prime. Res64: 50089835E67B67D3 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:38:05] 759*2^1539989-1 is not prime. Res64: 06650E631D628087 Time : 0.0 sec. user=mdettweiler [2019-06-13 01:38:11] 789*2^1539989-1 is not prime. Res64: 8562EDBA493A9B11 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:09:19] 657*2^1539990-1 is not prime. Res64: 78D80B73312D076D Time : 0.0 sec. user=mdettweiler [2019-06-13 02:09:29] 695*2^1539990-1 is not prime. Res64: D82F8ACF0C72D054 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:09:37] 707*2^1539990-1 is not prime. Res64: 8FD747DBFF190CE0 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:09:46] 711*2^1539990-1 is not prime. Res64: E68EA5B618F3A57F Time : 0.0 sec. user=mdettweiler [2019-06-13 02:09:48] 831*2^1539989-1 is not prime. Res64: 8340CAE86F31EE82 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:27:04] 681*2^1539991-1 is not prime. Res64: 65A5A53519FD602F Time : 0.0 sec. user=mdettweiler [2019-06-13 02:27:07] 759*2^1539991-1 is not prime. Res64: 6E07029489E46CC1 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:27:08] 819*2^1539991-1 is not prime. Res64: 3C7C6CD627A1E908 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:27:11] 843*2^1539991-1 is not prime. Res64: 0E6F1DBE917AB197 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:27:12] 849*2^1539991-1 is not prime. Res64: D6FC421696C56E5B Time : 0.0 sec. user=mdettweiler [2019-06-13 02:31:15] 891*2^1539991-1 is not prime. Res64: CC5735DDEA1D9510 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:31:19] 623*2^1539992-1 is not prime. Res64: 57CC9134426505D1 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:31:22] 645*2^1539992-1 is not prime. Res64: C398BD2E91A3D831 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:31:23] 719*2^1539992-1 is not prime. Res64: A8235D1D64B5F9A0 Time : 0.0 sec. user=mdettweiler [2019-06-13 02:31:27] 837*2^1539992-1 is not prime. Res64: 09840524F23606FF Time : 0.0 sec. user=mdettweiler [2019-06-13 03:20:46] 867*2^1539992-1 is not prime. Res64: DB185318E42AF250 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:20:47] 875*2^1539992-1 is not prime. Res64: BDE2677BFA9E42AB Time : 0.0 sec. user=mdettweiler [2019-06-13 03:20:47] 607*2^1539993-1 is not prime. Res64: 6672D3BD8694EC7C Time : 0.0 sec. user=mdettweiler [2019-06-13 03:20:48] 669*2^1539993-1 is not prime. Res64: 503E275335074405 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:20:49] 769*2^1539993-1 is not prime. Res64: 887D17FA04550E50 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:26:29] 915*2^1539993-1 is not prime. Res64: 107A715BC847CE3F Time : 0.0 sec. user=mdettweiler [2019-06-13 03:26:30] 937*2^1539993-1 is not prime. Res64: F855A1FA2FB10771 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:26:31] 987*2^1539993-1 is not prime. Res64: 51495E2BD9C18E95 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:26:31] 605*2^1539994-1 is not prime. Res64: FBDC25582022A1C9 Time : 0.0 sec. user=mdettweiler [2019-06-13 03:26:33] 723*2^1539994-1 is not prime. Res64: B2013B133DE92B38 Time : 0.0 sec. user=mdettweiler [2019-06-13 04:13:18] 783*2^1539994-1 is not prime. Res64: 781963B7F2049DE8 Time : 0.0 sec. user=mdettweiler [2019-06-13 04:19:29] 1001*2^1539994-1 is not prime. Res64: 4CD1DD30CB7CE769 Time : 0.0 sec. user=mdettweiler [2019-06-13 07:05:33] 801*2^1539990-1 is not prime. Res64: CFAE5C2AFA144B06 Time : 0.0 sec. user=mdettweiler [2019-06-13 07:05:36] 845*2^1539990-1 is not prime. Res64: 1CC281A6F82FACCC Time : 0.0 sec. user=mdettweiler [2019-06-13 07:05:38] 915*2^1539990-1 is not prime. Res64: 73275A4AFB1D05C9 Time : 0.0 sec. user=mdettweiler [2019-06-13 07:05:40] 963*2^1539990-1 is not prime. Res64: 3B7AB14730407300 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:00:25] 949*2^1539995-1 is not prime. Res64: 633BC47AADE3BB84 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:00:27] 969*2^1539995-1 is not prime. Res64: ABA9EA6F777C8100 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:00:30] 999*2^1539995-1 is not prime. Res64: 46419881CC7EF417 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:00:32] 623*2^1539996-1 is not prime. Res64: 9AF26581348CBDD5 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:00:35] 669*2^1539996-1 is not prime. Res64: 896A5D1FFE4C21AF Time : 0.0 sec. user=mdettweiler [2019-06-13 08:02:53] 747*2^1539990-1 is not prime. Res64: 9E77160F7A62DFDD Time : 0.0 sec. user=mdettweiler [2019-06-13 08:53:18] 779*2^1539996-1 is not prime. Res64: C6395FD1F86631D2 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:53:19] 783*2^1539996-1 is not prime. Res64: C99164BE437B7EFA Time : 0.0 sec. user=mdettweiler [2019-06-13 08:53:20] 975*2^1539996-1 is not prime. Res64: 8F0E4AF3E71826AF Time : 0.0 sec. user=mdettweiler [2019-06-13 08:53:20] 615*2^1539997-1 is not prime. Res64: 0A5409B85ABB56A8 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:53:21] 621*2^1539997-1 is not prime. Res64: F509BC4B291920AE Time : 0.0 sec. user=mdettweiler [2019-06-13 08:56:27] 645*2^1539997-1 is not prime. Res64: 71A88AFFFA4E0FA0 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:56:28] 939*2^1539997-1 is not prime. Res64: A63F779DFF25C5C3 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:56:28] 957*2^1539997-1 is not prime. Res64: 37F625187611FC3B Time : 0.0 sec. user=mdettweiler [2019-06-13 08:56:29] 985*2^1539997-1 is not prime. Res64: AD6344650FE3A3A7 Time : 0.0 sec. user=mdettweiler [2019-06-13 08:56:30] 999*2^1539997-1 is not prime. Res64: AE2F4E8E62E549C6 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:43] 843*2^1539995-1 is not prime. Res64: ABFC06533491C7B7 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:44] 855*2^1539995-1 is not prime. Res64: 88DE784ED6B257E3 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:45] 885*2^1539995-1 is not prime. Res64: 656C0D419CBC6F76 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:46] 895*2^1539995-1 is not prime. Res64: 0A7369D6C9F3B354 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:46] 641*2^1539998-1 is not prime. Res64: C8A59A9832B13106 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:47] 683*2^1539998-1 is not prime. Res64: C6D2CB7E0BF2A87D Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:48] 791*2^1539998-1 is not prime. Res64: A56E01C5F9D99C05 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:49] 827*2^1539998-1 is not prime. Res64: A1E2BD6F1EBD5B96 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:46:49] 601*2^1539999-1 is not prime. Res64: A8BC3B12A4C29147 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:49:37] 829*2^1539999-1 is not prime. Res64: E9A9D9BBA70344E4 Time : 0.0 sec. user=mdettweiler [2019-06-13 09:49:37] 961*2^1539999-1 is not prime. Res64: CCCFF5398C15128D Time : 0.0 sec. user=mdettweiler [2019-06-13 09:49:38] 623*2^1540000-1 is not prime. Res64: EF88389443564BDE Time : 0.0 sec. user=mdettweiler [2019-06-13 09:49:39] 635*2^1540000-1 is not prime. Res64: 0F317C6B76A9A4EF Time : 0.0 sec. user=mdettweiler [2019-06-13 09:49:39] 677*2^1540000-1 is not prime. Res64: 875877E9A4C2AC93 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:05:54] 813*2^1539994-1 is not prime. Res64: DA0C44C4239166A3 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:06:09] 827*2^1539994-1 is not prime. Res64: B05BA3308400596A Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:19] 999*2^1540000-1 is not prime. Res64: 2E1E4921CEB8C225 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:19] 799*2^1540001-1 is not prime. Res64: BE77CD462F46C6AD Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:20] 865*2^1540001-1 is not prime. Res64: 7D12AF7DF20FEF8C Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:21] 867*2^1540001-1 is not prime. Res64: F714F1815ECCF8EC Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:22] 917*2^1540002-1 is not prime. Res64: 2DFAF057C20A84BB Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:42] 743*2^1540000-1 is not prime. Res64: C4FB8AE8455F3262 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:43] 827*2^1540000-1 is not prime. Res64: 4D335485189352C2 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:43] 909*2^1540000-1 is not prime. Res64: C8A5B3C186BE5434 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:44] 939*2^1540000-1 is not prime. Res64: 768C3712C6497CAC Time : 0.0 sec. user=mdettweiler [2019-06-13 10:40:45] 957*2^1540000-1 is not prime. Res64: B33A8A849E93A161 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:42:55] 977*2^1540002-1 is not prime. Res64: BB7EE28DF2C326FD Time : 0.0 sec. user=mdettweiler [2019-06-13 10:42:56] 625*2^1540003-1 is not prime. Res64: 7307351AED2D8853 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:42:57] 675*2^1540003-1 is not prime. Res64: C5B9975A0CFD26E1 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:42:57] 813*2^1540003-1 is not prime. Res64: E64B57C7EF867E86 Time : 0.0 sec. user=mdettweiler [2019-06-13 10:42:58] 683*2^1540004-1 is not prime. Res64: FBA25C00F341ACAE Time : 0.0 sec. user=mdettweiler [2019-06-13 11:32:11] 689*2^1540004-1 is not prime. Res64: A446E29D8535CDDD Time : 0.0 sec. user=mdettweiler [2019-06-13 11:32:12] 707*2^1540004-1 is not prime. Res64: A11A9EB284AD69C0 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:32:13] 773*2^1540004-1 is not prime. Res64: 84A041876B76A654 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:32:13] 813*2^1540004-1 is not prime. Res64: C160DBB66F752040 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:32:14] 915*2^1540004-1 is not prime. Res64: 81F6175636C5A21A Time : 0.0 sec. user=mdettweiler [2019-06-13 11:33:36] 923*2^1540004-1 is not prime. Res64: 06D25E87F7392052 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:33:36] 945*2^1540004-1 is not prime. Res64: 6BF1DA4DA3B04073 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:33:37] 953*2^1540004-1 is not prime. Res64: 5831D11FC3A046D7 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:33:38] 655*2^1540005-1 is not prime. Res64: E1BEB843078A03F0 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:33:38] 657*2^1540005-1 is not prime. Res64: 66C9922212D9A470 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:35:05] 699*2^1540005-1 is not prime. Res64: 20BAED0D6C5FCF36 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:35:05] 751*2^1540005-1 is not prime. Res64: 032B92E28A367001 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:35:06] 795*2^1540005-1 is not prime. Res64: C7BD1186A5B76F69 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:35:06] 837*2^1540005-1 is not prime. Res64: 0F3C116F211CD5F8 Time : 0.0 sec. user=mdettweiler [2019-06-13 11:35:07] 861*2^1540005-1 is not prime. Res64: 800E522FD37BA9BE Time : 0.0 sec. user=mdettweiler [2019-06-13 12:25:38] 891*2^1540005-1 is not prime. Res64: B3BEFDAA1FA21581 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:25:39] 949*2^1540005-1 is not prime. Res64: F46023A585680670 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:25:39] 617*2^1540006-1 is not prime. Res64: EBA4BBD49B927BA0 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:25:40] 623*2^1540006-1 is not prime. Res64: 42F113FC6A939A5C Time : 0.0 sec. user=mdettweiler [2019-06-13 12:25:41] 677*2^1540006-1 is not prime. Res64: 66D399F79EDF2FAE Time : 0.0 sec. user=mdettweiler [2019-06-13 12:26:51] 747*2^1540006-1 is not prime. Res64: 7FA0BA40D7F8E7A2 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:26:52] 873*2^1540006-1 is not prime. Res64: 13D4994FFFCE4D96 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:26:52] 1001*2^1540006-1 is not prime. Res64: 369E6EA44E7DFCA7 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:26:53] 603*2^1540007-1 is not prime. Res64: E2D42F6E055C79DE Time : 0.0 sec. user=mdettweiler [2019-06-13 12:26:53] 649*2^1540007-1 is not prime. Res64: 618DAD73BF1F12BA Time : 0.0 sec. user=mdettweiler [2019-06-13 12:29:28] 661*2^1540007-1 is not prime. Res64: 4641A6301BB06661 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:29:28] 703*2^1540007-1 is not prime. Res64: EDF84CA4A05F6834 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:29:29] 939*2^1540007-1 is not prime. Res64: F4BD20928B0050F5 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:29:29] 963*2^1540007-1 is not prime. Res64: 0745B30A09932778 Time : 0.0 sec. user=mdettweiler [2019-06-13 12:29:30] 991*2^1540007-1 is not prime. Res64: B829CA59440BCE30 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:20:55] 605*2^1540008-1 is not prime. Res64: 10CA8C513C92581B Time : 0.0 sec. user=mdettweiler [2019-06-13 13:20:56] 657*2^1540008-1 is not prime. Res64: 5FF1CE8D10C08DD1 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:20:56] 663*2^1540008-1 is not prime. Res64: 5067DC996AF604A9 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:20:57] 887*2^1540008-1 is not prime. Res64: 916862347BCBE088 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:20:58] 915*2^1540008-1 is not prime. Res64: 173198C8A425C521 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:21:54] 927*2^1540008-1 is not prime. Res64: B1289C15EFC79143 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:21:55] 993*2^1540008-1 is not prime. Res64: 851C63BA823E6862 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:21:55] 619*2^1540009-1 is not prime. Res64: D9146C51D1E9CB0F Time : 0.0 sec. user=mdettweiler [2019-06-13 13:21:56] 721*2^1540009-1 is not prime. Res64: 7EE93B055AACCB44 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:21:57] 817*2^1540009-1 is not prime. Res64: 31DB5187966C2C00 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:25:51] 931*2^1540009-1 is not prime. Res64: 829A25DC0C867E54 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:25:51] 945*2^1540009-1 is not prime. Res64: FD1236D8BD2EC461 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:25:52] 957*2^1540009-1 is not prime. Res64: 5B7D07240420D675 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:25:52] 635*2^1540010-1 is not prime. Res64: 771AF66EA09778E0 Time : 0.0 sec. user=mdettweiler [2019-06-13 13:25:53] 813*2^1540010-1 is not prime. Res64: 665DCBD51D7613A9 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:16:07] 609*2^1540011-1 is not prime. Res64: BD8A674E8BB80D19 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:16:09] 685*2^1540011-1 is not prime. Res64: 946360AE77E74F1F Time : 0.0 sec. user=mdettweiler [2019-06-13 14:16:10] 723*2^1540011-1 is not prime. Res64: 92979A36081669CD Time : 0.0 sec. user=mdettweiler [2019-06-13 14:16:11] 849*2^1540011-1 is not prime. Res64: 808853F95E05F075 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:16:12] 859*2^1540011-1 is not prime. Res64: FFC82999C617BE8B Time : 0.0 sec. user=mdettweiler [2019-06-13 14:17:44] 861*2^1540011-1 is not prime. Res64: BD8366712C03B745 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:17:45] 873*2^1540011-1 is not prime. Res64: 4D40B890EA9343D8 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:17:46] 879*2^1540011-1 is not prime. Res64: 6D2E4B843170D5FE Time : 0.0 sec. user=mdettweiler [2019-06-13 14:17:47] 945*2^1540011-1 is not prime. Res64: 42B3CA73B77288AA Time : 0.0 sec. user=mdettweiler [2019-06-13 14:17:47] 975*2^1540011-1 is not prime. Res64: BE67E463EC1CFA66 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:22:13] 615*2^1540012-1 is not prime. Res64: C5D750DF3AA87E47 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:22:14] 677*2^1540012-1 is not prime. Res64: CC63B281E2144D4F Time : 0.0 sec. user=mdettweiler [2019-06-13 14:22:14] 833*2^1540012-1 is not prime. Res64: 86DF03B48726D0D4 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:22:15] 873*2^1540012-1 is not prime. Res64: 82537CFF3BFF4882 Time : 0.0 sec. user=mdettweiler [2019-06-13 14:22:15] 897*2^1540012-1 is not prime. Res64: 91F882DF5B4000CB Time : 0.0 sec. user=mdettweiler [2019-06-13 14:28:56] 857*2^1539994-1 is not prime. Res64: B478B7092CC5D57F Time : 0.0 sec. user=mdettweiler [2019-06-13 14:28:57] 891*2^1539994-1 is not prime. Res64: 525C4DD4A74A9CBA Time : 0.0 sec. user=mdettweiler [2019-06-13 15:11:25] 615*2^1540013-1 is not prime. Res64: 45DFAE91F48512DF Time : 0.0 sec. user=mdettweiler [2019-06-13 15:11:26] 829*2^1540013-1 is not prime. Res64: DCDA8F5EC41D2DC0 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:11:27] 885*2^1540013-1 is not prime. Res64: D399F8C69FE14FAA Time : 0.0 sec. user=mdettweiler [2019-06-13 15:11:29] 985*2^1540013-1 is not prime. Res64: 8F735E571CF5B0BE Time : 0.0 sec. user=mdettweiler [2019-06-13 15:11:30] 987*2^1540013-1 is not prime. Res64: ACD7909FD23CA6A6 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:12:24] 737*2^1540014-1 is not prime. Res64: 31CF16D6D29DE8C0 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:12:25] 881*2^1540014-1 is not prime. Res64: 7BDC33A420466947 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:12:25] 965*2^1540014-1 is not prime. Res64: D19004D2D989D004 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:12:26] 1001*2^1540014-1 is not prime. Res64: 2ED0613574BA0784 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:12:27] 603*2^1540015-1 is not prime. Res64: B9A7520EA628D794 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:16:41] 619*2^1540015-1 is not prime. Res64: 2A580D4AC20C9760 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:16:41] 663*2^1540015-1 is not prime. Res64: F1060079F584529E Time : 0.0 sec. user=mdettweiler [2019-06-13 15:16:42] 705*2^1540015-1 is not prime. Res64: B5949E725A79606B Time : 0.0 sec. user=mdettweiler [2019-06-13 15:16:43] 759*2^1540015-1 is not prime. Res64: 97FF64D005795FFD Time : 0.0 sec. user=mdettweiler [2019-06-13 15:16:43] 765*2^1540015-1 is not prime. Res64: A14BAC435139AA78 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:23:32] 771*2^1540015-1 is not prime. Res64: 0F9D7F9E4D87C87A Time : 0.0 sec. user=mdettweiler [2019-06-13 15:23:32] 793*2^1540015-1 is not prime. Res64: FAF994D643130DE6 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:23:33] 831*2^1540015-1 is not prime. Res64: 3B824D8AD41FBF6F Time : 0.0 sec. user=mdettweiler [2019-06-13 15:23:34] 853*2^1540015-1 is not prime. Res64: 1024C21FAB6DDC75 Time : 0.0 sec. user=mdettweiler [2019-06-13 15:23:34] 861*2^1540015-1 is not prime. Res64: 64AEB083332F3EDE Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:09] 969*2^1540015-1 is not prime. Res64: 0B52716657F54E0E Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:11] 623*2^1540016-1 is not prime. Res64: CBB443562C805A06 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:13] 669*2^1540016-1 is not prime. Res64: 188D9726823C48B0 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:14] 855*2^1540016-1 is not prime. Res64: 3B3039CF13D478DB Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:15] 601*2^1540017-1 is not prime. Res64: 7BC5538C6E972523 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:30] 795*2^1540017-1 is not prime. Res64: 94C8DAFDE6663789 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:31] 901*2^1540017-1 is not prime. Res64: 87F27C4F7D809879 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:32] 909*2^1540017-1 is not prime. Res64: D7E8425B2A9ACE3C Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:33] 985*2^1540017-1 is not prime. Res64: 300A32047D9F8C0A Time : 0.0 sec. user=mdettweiler [2019-06-13 16:06:34] 611*2^1540018-1 is not prime. Res64: 650FF282680D52E0 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:10:12] 623*2^1540018-1 is not prime. Res64: ABF48ADEB15A9D5B Time : 0.0 sec. user=mdettweiler [2019-06-13 16:10:13] 737*2^1540018-1 is not prime. Res64: 9DE273921064C894 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:10:13] 755*2^1540018-1 is not prime. Res64: 8245393FE93AC8BC Time : 0.0 sec. user=mdettweiler [2019-06-13 16:10:14] 773*2^1540018-1 is not prime. Res64: 791E090CE4A5210F Time : 0.0 sec. user=mdettweiler [2019-06-13 16:10:14] 753*2^1540019-1 is not prime. Res64: 6658236B268CB5C5 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:16:47] 841*2^1540019-1 is not prime. Res64: 4B043F5E447FAB39 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:16:48] 879*2^1540019-1 is not prime. Res64: 6B701D6F59BF6DD8 Time : 0.0 sec. user=mdettweiler [2019-06-13 16:16:49] 647*2^1540020-1 is not prime. Res64: 1AE13E6B0A60C10C Time : 0.0 sec. user=mdettweiler [2019-06-13 16:16:49] 675*2^1540020-1 is not prime. Res64: 7F5CB102E43B0D5E Time : 0.0 sec. user=mdettweiler [2019-06-13 16:16:50] 803*2^1540020-1 is not prime. Res64: BA72DD380F80454F Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:18] 651*2^1540021-1 is not prime. Res64: 34B3A2E9B57031C6 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:20] 777*2^1540021-1 is not prime. Res64: 5EE78DEF36A1505F Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:21] 617*2^1540022-1 is not prime. Res64: 8783A25F22BA2F9E Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:23] 693*2^1540022-1 is not prime. Res64: 1B955B16B74A2146 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:25] 801*2^1540022-1 is not prime. Res64: 06824B8B78C99448 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:56] 839*2^1540020-1 is not prime. Res64: 7FAAD469A6B1D24B Time : 0.0 sec. user=mdettweiler [2019-06-13 17:03:59] 875*2^1540020-1 is not prime. Res64: 238AF294290B0297 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:04:00] 959*2^1540020-1 is not prime. Res64: 344E40EC5F66BD15 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:04:02] 639*2^1540021-1 is not prime. Res64: 02A8F05288381A54 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:04:03] 645*2^1540021-1 is not prime. Res64: 1889DB043F6F5861 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:06:55] 915*2^1540022-1 is not prime. Res64: 001E4448AE628E7E Time : 0.0 sec. user=mdettweiler [2019-06-13 17:06:56] 951*2^1540022-1 is not prime. Res64: 4D874068AE1606D8 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:06:58] 957*2^1540022-1 is not prime. Res64: D1918610E2DBCFFE Time : 0.0 sec. user=mdettweiler [2019-06-13 17:06:59] 675*2^1540023-1 is not prime. Res64: 772DEDC1B6E96505 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:07:01] 703*2^1540023-1 is not prime. Res64: 4CC823863B0E90CE Time : 0.0 sec. user=mdettweiler [2019-06-13 17:14:24] 721*2^1540023-1 is not prime. Res64: E2CB3B5A4357E552 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:14:25] 745*2^1540023-1 is not prime. Res64: 6024DAE8BEC4EF49 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:14:25] 951*2^1540023-1 is not prime. Res64: 4BC0165AB2A3D736 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:14:26] 961*2^1540023-1 is not prime. Res64: 55C0D3BB8B74E129 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:14:26] 963*2^1540023-1 is not prime. Res64: 4DC3D8ED64CCDD43 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:10] 615*2^1540024-1 is not prime. Res64: BF698C414AEEA45F Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:11] 623*2^1540024-1 is not prime. Res64: F52CABC8DEE08E62 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:11] 635*2^1540024-1 is not prime. Res64: 4B23FB2A528B3E2D Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:12] 723*2^1540024-1 is not prime. Res64: 08A815BF18B51C9F Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:12] 785*2^1540024-1 is not prime. Res64: DF941226D2B4C0B0 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:52] 827*2^1540024-1 is not prime. Res64: 935FA17105DFEE0B Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:52] 899*2^1540024-1 is not prime. Res64: FA99C90DDCE779D9 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:53] 989*2^1540024-1 is not prime. Res64: 390C4320952EF5F2 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:53] 651*2^1540025-1 is not prime. Res64: 387EFEAE544FDF56 Time : 0.0 sec. user=mdettweiler [2019-06-13 17:57:54] 871*2^1540025-1 is not prime. Res64: 8D3C1E7094D6EBCA Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:38] 985*2^1540025-1 is not prime. Res64: 9A281EF17CEA1F08 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:40] 641*2^1540026-1 is not prime. Res64: C6D945871A4F828F Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:41] 881*2^1540026-1 is not prime. Res64: 8631E15FE3F284B2 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:42] 947*2^1540026-1 is not prime. Res64: AD9A81D0995B9010 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:43] 601*2^1540027-1 is not prime. Res64: B60CA4016EE42917 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:00:58] 617*2^1540028-1 is not prime. Res64: C71312E628E56FDD Time : 0.0 sec. user=mdettweiler [2019-06-13 18:08:48] 663*2^1540027-1 is not prime. Res64: 543B070CEA1D95DD Time : 0.0 sec. user=mdettweiler [2019-06-13 18:08:52] 841*2^1540027-1 is not prime. Res64: DBA52B4476CA8BDE Time : 0.0 sec. user=mdettweiler [2019-06-13 18:08:56] 873*2^1540027-1 is not prime. Res64: BC4D0D0417D56941 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:08:59] 973*2^1540027-1 is not prime. Res64: 99BB94A4F438F96E Time : 0.0 sec. user=mdettweiler [2019-06-13 18:09:01] 975*2^1540027-1 is not prime. Res64: 26DCC9AF4D36FC9B Time : 0.0 sec. user=mdettweiler [2019-06-13 18:50:45] 623*2^1540028-1 is not prime. Res64: 3D6DF594E5A88DBD Time : 0.0 sec. user=mdettweiler [2019-06-13 18:50:46] 635*2^1540028-1 is not prime. Res64: ADCBF687D5AA9633 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:50:46] 773*2^1540028-1 is not prime. Res64: 69CFCECA5644F054 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:50:47] 777*2^1540028-1 is not prime. Res64: 777BD665F088F5F4 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:50:47] 625*2^1540029-1 is not prime. Res64: 1668BFD7722DEC0C Time : 0.0 sec. user=mdettweiler [2019-06-13 18:52:22] 685*2^1540029-1 is not prime. Res64: E0BB7380402E0AB8 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:52:23] 751*2^1540029-1 is not prime. Res64: EF67342231F59688 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:52:23] 781*2^1540029-1 is not prime. Res64: 14498E5BDF080EBD Time : 0.0 sec. user=mdettweiler [2019-06-13 18:52:24] 825*2^1540029-1 is not prime. Res64: BDB4334B0424BFF5 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:52:24] 997*2^1540029-1 is not prime. Res64: 7C5475AAFA94945A Time : 0.0 sec. user=mdettweiler [2019-06-13 18:54:41] 603*2^1540030-1 is not prime. Res64: 42A6022EA9569542 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:54:42] 605*2^1540030-1 is not prime. Res64: BFB62BD29485DE71 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:54:42] 707*2^1540030-1 is not prime. Res64: AD08B21C52B7D2B6 Time : 0.0 sec. user=mdettweiler [2019-06-13 18:54:43] 761*2^1540030-1 is not prime. Res64: AA93BE7D208A30EA Time : 0.0 sec. user=mdettweiler [2019-06-13 18:54:43] 791*2^1540030-1 is not prime. Res64: 61C1E8EAA262B83E Time : 0.0 sec. user=mdettweiler [2019-06-13 19:03:48] 831*2^1540030-1 is not prime. Res64: 69609545844F5C74 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:03:50] 995*2^1540030-1 is not prime. Res64: 117C151A73160FEF Time : 0.0 sec. user=mdettweiler [2019-06-13 19:03:51] 741*2^1540031-1 is not prime. Res64: 14A19D5E2DCD5569 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:03:52] 783*2^1540031-1 is not prime. Res64: B213C85D146764FE Time : 0.0 sec. user=mdettweiler [2019-06-13 19:03:53] 765*2^1540032-1 is not prime. Res64: 5923CF9B1865EA85 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:43:02] 797*2^1540032-1 is not prime. Res64: 2626A30ED9178759 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:43:03] 825*2^1540032-1 is not prime. Res64: 9C5553CFA5E3F027 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:43:03] 933*2^1540032-1 is not prime. Res64: 0AC789DA35AD021F Time : 0.0 sec. user=mdettweiler [2019-06-13 19:43:04] 651*2^1540033-1 is not prime. Res64: B7AC53EE47DB0E95 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:43:05] 729*2^1540033-1 is not prime. Res64: 116D78CF647C912C Time : 0.0 sec. user=mdettweiler [2019-06-13 19:44:53] 747*2^1540033-1 is not prime. Res64: 113FBDA65892139E Time : 0.0 sec. user=mdettweiler [2019-06-13 19:44:53] 861*2^1540033-1 is not prime. Res64: 9B1F8DF86996F1A2 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:44:54] 885*2^1540033-1 is not prime. Res64: D067AFA8A43F7D98 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:44:54] 951*2^1540033-1 is not prime. Res64: B646E565BD592C99 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:44:55] 657*2^1540034-1 is not prime. Res64: AD0D31DB56B15639 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:46:55] 677*2^1540034-1 is not prime. Res64: 532631D6DD406956 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:46:56] 767*2^1540034-1 is not prime. Res64: 3C3E4F411D4D78F9 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:46:56] 797*2^1540034-1 is not prime. Res64: 2AFE6CB6D1F5FF87 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:46:56] 813*2^1540034-1 is not prime. Res64: 28291AA479ADCC85 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:46:57] 827*2^1540034-1 is not prime. Res64: 74924D12094D1F43 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:56:32] 873*2^1540034-1 is not prime. Res64: 779319CCA6FEB7B3 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:56:32] 923*2^1540034-1 is not prime. Res64: 3B3D86BE88AFE8CC Time : 0.0 sec. user=mdettweiler [2019-06-13 19:56:32] 639*2^1540035-1 is not prime. Res64: 513297210DD80D07 Time : 0.0 sec. user=mdettweiler [2019-06-13 19:56:33] 649*2^1540035-1 is not prime. Res64: 5BD9509132D8F72F Time : 0.0 sec. user=mdettweiler [2019-06-13 19:56:34] 669*2^1540035-1 is not prime. Res64: 75B254C1C57C6A3D Time : 0.0 sec. user=mdettweiler [2019-06-13 20:35:04] 691*2^1540035-1 is not prime. Res64: FDC22298C752A236 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:35:05] 699*2^1540035-1 is not prime. Res64: 5A34BCC238663DC1 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:35:06] 741*2^1540035-1 is not prime. Res64: 1B261C67C23D5293 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:35:06] 781*2^1540035-1 is not prime. Res64: 807263E5CDDA3E66 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:35:07] 849*2^1540035-1 is not prime. Res64: C5806D2D3DB45DB4 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:37:57] 913*2^1540035-1 is not prime. Res64: 0D7358F239415CB9 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:37:57] 961*2^1540035-1 is not prime. Res64: BF2F9C1D7287663C Time : 0.0 sec. user=mdettweiler [2019-06-13 20:37:58] 999*2^1540035-1 is not prime. Res64: 18EDA2C4AF4302B9 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:37:58] 707*2^1540036-1 is not prime. Res64: 4DD24A9D3B34C304 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:37:59] 749*2^1540036-1 is not prime. Res64: 7D9F7FD9A1EE102F Time : 0.0 sec. user=mdettweiler [2019-06-13 20:39:41] 855*2^1540036-1 is not prime. Res64: D93EC7E823600336 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:39:42] 957*2^1540036-1 is not prime. Res64: 14AAE3E577A6C157 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:39:42] 601*2^1540037-1 is not prime. Res64: 801226DFFC318841 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:39:43] 615*2^1540037-1 is not prime. Res64: 072DEBE08BD1E863 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:39:43] 649*2^1540037-1 is not prime. Res64: 3DB05BA7B16487A5 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:48:38] 651*2^1540037-1 is not prime. Res64: DB732B0A630727E2 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:48:39] 699*2^1540037-1 is not prime. Res64: BE2385764CC24A00 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:48:39] 729*2^1540037-1 is not prime. Res64: C0DDBD7CCD85D5D0 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:48:40] 781*2^1540037-1 is not prime. Res64: C08F602ED329C333 Time : 0.0 sec. user=mdettweiler [2019-06-13 20:48:40] 861*2^1540037-1 is not prime. Res64: 48D9EF36FF5F81A2 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:27:39] 871*2^1540037-1 is not prime. Res64: DEA51F6D427C97F7 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:27:39] 889*2^1540037-1 is not prime. Res64: E8C731AD6AE0A8CE Time : 0.0 sec. user=mdettweiler [2019-06-13 21:27:40] 937*2^1540037-1 is not prime. Res64: D0A66E464232BD87 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:27:41] 671*2^1540038-1 is not prime. Res64: 5229C222CCC7B179 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:27:42] 773*2^1540038-1 is not prime. Res64: 18F60575E69AD115 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:30:13] 791*2^1540038-1 is not prime. Res64: FA856C44E34CF6AE Time : 0.0 sec. user=mdettweiler [2019-06-13 21:30:14] 795*2^1540038-1 is not prime. Res64: 741C50084B04962B Time : 0.0 sec. user=mdettweiler [2019-06-13 21:30:14] 863*2^1540038-1 is not prime. Res64: E53EED211AA58702 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:30:15] 891*2^1540038-1 is not prime. Res64: CFD3D9B25191D7F9 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:30:15] 663*2^1540039-1 is not prime. Res64: 8A00142C9BAFAB20 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:31:56] 685*2^1540039-1 is not prime. Res64: FED8BF33EB1B1BF4 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:31:56] 705*2^1540039-1 is not prime. Res64: 8774E91797980610 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:31:57] 859*2^1540039-1 is not prime. Res64: D7D30ECE021BA431 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:31:58] 861*2^1540039-1 is not prime. Res64: 9354E4C9177449B7 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:31:58] 931*2^1540039-1 is not prime. Res64: AF22A779A656B221 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:40:42] 675*2^1540040-1 is not prime. Res64: 462381F0FF6875C5 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:40:42] 767*2^1540040-1 is not prime. Res64: BAF1459C07A5BD7F Time : 0.0 sec. user=mdettweiler [2019-06-13 21:40:43] 845*2^1540040-1 is not prime. Res64: 805D2AF4CB964016 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:40:43] 897*2^1540040-1 is not prime. Res64: D4DAD55C79AA4289 Time : 0.0 sec. user=mdettweiler [2019-06-13 21:40:44] 915*2^1540040-1 is not prime. Res64: 957FA0AEFB58D8D6 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:20:10] 601*2^1540041-1 is not prime. Res64: 708EB61BAE9BD6A2 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:20:13] 849*2^1540041-1 is not prime. Res64: 6E5A8760B1DC1B3F Time : 0.0 sec. user=mdettweiler [2019-06-13 22:20:14] 861*2^1540041-1 is not prime. Res64: 0DB7ADEF22E2F2DC Time : 0.0 sec. user=mdettweiler [2019-06-13 22:20:16] 611*2^1540042-1 is not prime. Res64: 3CC7D0CAAE554360 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:20:18] 645*2^1540042-1 is not prime. Res64: 09F317006CB853B6 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:22:23] 731*2^1540042-1 is not prime. Res64: 8218E5AC49534D75 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:22:23] 743*2^1540042-1 is not prime. Res64: E2CA8EFE3FEDC42D Time : 0.0 sec. user=mdettweiler [2019-06-13 22:22:24] 815*2^1540042-1 is not prime. Res64: 9D1D3B5757370C69 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:22:25] 891*2^1540042-1 is not prime. Res64: 338E929C560C99F3 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:22:25] 911*2^1540042-1 is not prime. Res64: ADEE03CE1194A620 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:24:26] 987*2^1540042-1 is not prime. Res64: 4E0806990365FB18 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:24:27] 615*2^1540043-1 is not prime. Res64: A1D3241556671D20 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:24:27] 619*2^1540043-1 is not prime. Res64: 7CC6BA81E08AA2BE Time : 0.0 sec. user=mdettweiler [2019-06-13 22:24:28] 643*2^1540043-1 is not prime. Res64: E0E83DEFCF4F25BD Time : 0.0 sec. user=mdettweiler [2019-06-13 22:24:29] 813*2^1540043-1 is not prime. Res64: 0A672F467E8C5391 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:33:56] 823*2^1540043-1 is not prime. Res64: 973C6122549EB0C5 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:33:57] 949*2^1540043-1 is not prime. Res64: 861CDD1D554BD122 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:33:57] 969*2^1540043-1 is not prime. Res64: B2AC3DE8BCD4093A Time : 0.0 sec. user=mdettweiler [2019-06-13 22:33:58] 973*2^1540043-1 is not prime. Res64: D7645CB723D6A8D2 Time : 0.0 sec. user=mdettweiler [2019-06-13 22:33:58] 601*2^1540045-1 is not prime. Res64: BEB088993BFB31B9 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:12:37] 609*2^1540045-1 is not prime. Res64: 8E03944E80416795 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:12:40] 699*2^1540045-1 is not prime. Res64: EA5AB0BF10B8B32F Time : 0.0 sec. user=mdettweiler [2019-06-13 23:12:43] 741*2^1540045-1 is not prime. Res64: 923F2B5C3F739946 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:12:44] 895*2^1540045-1 is not prime. Res64: 1CBF92FE70B7DCCC Time : 0.0 sec. user=mdettweiler [2019-06-13 23:12:45] 915*2^1540045-1 is not prime. Res64: 9AA7D77E2A7DF3D6 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:15:04] 999*2^1540045-1 is not prime. Res64: 4091B6A0075D6A82 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:15:05] 767*2^1540046-1 is not prime. Res64: BEF04DF8A1835286 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:15:05] 795*2^1540046-1 is not prime. Res64: A0B6EADCFEF9B9BF Time : 0.0 sec. user=mdettweiler [2019-06-13 23:15:06] 887*2^1540046-1 is not prime. Res64: B25E6CE3FA54CC3A Time : 0.0 sec. user=mdettweiler [2019-06-13 23:15:06] 921*2^1540046-1 is not prime. Res64: CE585B925F6E5176 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:16:52] 983*2^1540046-1 is not prime. Res64: 271C41B9886BF790 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:16:52] 615*2^1540047-1 is not prime. Res64: E2749B5B299FDD2A Time : 0.0 sec. user=mdettweiler [2019-06-13 23:16:53] 805*2^1540047-1 is not prime. Res64: 3AECDA98FE98347D Time : 0.0 sec. user=mdettweiler [2019-06-13 23:16:53] 873*2^1540047-1 is not prime. Res64: 46ECADA1652059E7 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:16:54] 639*2^1540048-1 is not prime. Res64: 6701FE52492699A7 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:26:15] 705*2^1540048-1 is not prime. Res64: 6B18BD451108EBD7 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:26:16] 849*2^1540048-1 is not prime. Res64: 802161747B509A81 Time : 0.0 sec. user=mdettweiler [2019-06-13 23:26:16] 863*2^1540048-1 is not prime. Res64: 47BCD47073DFD00A Time : 0.0 sec. user=mdettweiler [2019-06-13 23:26:17] 897*2^1540048-1 is not prime. Res64: 3CE10FC2CB688FAA Time : 0.0 sec. user=mdettweiler [2019-06-13 23:26:18] 909*2^1540048-1 is not prime. Res64: 95C2417A08FD0B2E Time : 0.0 sec.