user=mdettweiler [2018-06-18 00:12:24] 621*2^1513638-1 is not prime. Res64: C8692A0D53CCF285 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:12:25] 681*2^1513638-1 is not prime. Res64: 092C4D1F9BDD29EB Time : 0.0 sec. user=mdettweiler [2018-06-18 00:12:26] 693*2^1513638-1 is not prime. Res64: 62F14118B88FA375 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:12:27] 705*2^1513638-1 is not prime. Res64: EA4D64984D941F5F Time : 0.0 sec. user=mdettweiler [2018-06-18 00:12:28] 711*2^1513638-1 is not prime. Res64: 836CC6FB43373501 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:25:05] 795*2^1513638-1 is not prime. Res64: 56E5F8F18576087A Time : 0.0 sec. user=mdettweiler [2018-06-18 00:25:06] 893*2^1513638-1 is not prime. Res64: D07D22EC445CAFE7 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:25:12] 945*2^1513638-1 is not prime. Res64: 699D6777D0703133 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:25:13] 1001*2^1513638-1 is not prime. Res64: 04C7A667F9F0BE88 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:25:13] 615*2^1513639-1 is not prime. Res64: 39800B556A5A0DAB Time : 0.0 sec. user=mdettweiler [2018-06-18 00:27:32] 685*2^1513639-1 is not prime. Res64: 2765C8EEFB353952 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:27:32] 765*2^1513639-1 is not prime. Res64: 6788DF4E64E79235 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:27:33] 931*2^1513639-1 is not prime. Res64: 16B7800F75B7A3B1 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:27:33] 939*2^1513639-1 is not prime. Res64: 711E9E7333467816 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:27:33] 951*2^1513639-1 is not prime. Res64: 5AF22BF14A6F84B3 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:35:30] 961*2^1513639-1 is not prime. Res64: 5BA1BFCE534D0028 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:35:31] 993*2^1513639-1 is not prime. Res64: DDE30FCEB73657AF Time : 0.0 sec. user=mdettweiler [2018-06-18 00:35:32] 609*2^1513640-1 is not prime. Res64: 504AA1274314A99A Time : 0.0 sec. user=mdettweiler [2018-06-18 00:35:33] 725*2^1513640-1 is not prime. Res64: CCF4E026A8567516 Time : 0.0 sec. user=mdettweiler [2018-06-18 00:35:34] 735*2^1513640-1 is not prime. Res64: 34CC05009C9DCCCA Time : 0.0 sec. user=mdettweiler [2018-06-18 01:04:29] 743*2^1513640-1 is not prime. Res64: BD488150C82DCE87 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:04:31] 833*2^1513640-1 is not prime. Res64: D6E5E1F32ED67502 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:04:32] 839*2^1513640-1 is not prime. Res64: E6DE52C61194832D Time : 0.0 sec. user=mdettweiler [2018-06-18 01:04:33] 855*2^1513640-1 is not prime. Res64: 81241ECD5E26F267 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:04:34] 711*2^1513641-1 is not prime. Res64: 4C5B321CE273F7F1 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:15:42] 727*2^1513641-1 is not prime. Res64: 09F596B0B655AAEC Time : 0.0 sec. user=mdettweiler [2018-06-18 01:15:43] 789*2^1513641-1 is not prime. Res64: 5DEEC186A4C9DAB9 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:15:43] 861*2^1513641-1 is not prime. Res64: 219AE63BEEEF441E Time : 0.0 sec. user=mdettweiler [2018-06-18 01:15:44] 871*2^1513641-1 is not prime. Res64: 0BF6349EBEEF326E Time : 0.0 sec. user=mdettweiler [2018-06-18 01:15:44] 889*2^1513641-1 is not prime. Res64: 506E80AD46A86A55 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:17:28] 909*2^1513641-1 is not prime. Res64: DA5F62112DAFBD35 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:17:28] 645*2^1513642-1 is not prime. Res64: CF4C6908CC60C38B Time : 0.0 sec. user=mdettweiler [2018-06-18 01:17:29] 665*2^1513642-1 is not prime. Res64: C5407774CA0E0E6B Time : 0.0 sec. user=mdettweiler [2018-06-18 01:17:29] 677*2^1513642-1 is not prime. Res64: 99999F8EBE0EDF57 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:17:29] 743*2^1513642-1 is not prime. Res64: DAE9BFB0B1AF9754 Time : 0.0 sec. user=juhehe [2018-06-18 01:18:00] 803*2^1513642-1 is not prime. Res64: 9FB47CB5C79532D1 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:26:36] 827*2^1513642-1 is not prime. Res64: F75BC88A35FC9CA8 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:26:38] 831*2^1513642-1 is not prime. Res64: F008174404759B6F Time : 0.0 sec. user=mdettweiler [2018-06-18 01:26:42] 867*2^1513642-1 is not prime. Res64: E12B394BA2074FD8 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:26:44] 887*2^1513642-1 is not prime. Res64: CD57FD6C29C4A596 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:26:46] 957*2^1513642-1 is not prime. Res64: DC0A706D7890DC31 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:54:53] 619*2^1513643-1 is not prime. Res64: 165FFE9139447734 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:54:55] 775*2^1513643-1 is not prime. Res64: B719F3705F0D36FA Time : 0.0 sec. user=mdettweiler [2018-06-18 01:54:56] 811*2^1513643-1 is not prime. Res64: BD57E0364FA070BB Time : 0.0 sec. user=mdettweiler [2018-06-18 01:54:57] 635*2^1513644-1 is not prime. Res64: C25458021467BB57 Time : 0.0 sec. user=mdettweiler [2018-06-18 01:54:58] 639*2^1513644-1 is not prime. Res64: AC5BE3A333E746B8 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:06:40] 689*2^1513644-1 is not prime. Res64: 9B63C15F6FB8C2AD Time : 0.0 sec. user=mdettweiler [2018-06-18 02:06:48] 723*2^1513644-1 is not prime. Res64: 224AE670C8E4552B Time : 0.0 sec. user=mdettweiler [2018-06-18 02:06:52] 789*2^1513644-1 is not prime. Res64: BBC75138AFD7F71E Time : 0.0 sec. user=mdettweiler [2018-06-18 02:06:57] 863*2^1513644-1 is not prime. Res64: CDD4F159962E3876 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:07:03] 899*2^1513644-1 is not prime. Res64: C1CA4F22AC3156E7 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:07:46] 645*2^1513645-1 is not prime. Res64: 03CAF1374217F18C Time : 0.0 sec. user=mdettweiler [2018-06-18 02:07:52] 819*2^1513645-1 is not prime. Res64: C8C9F79947C6BCE2 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:07:57] 855*2^1513645-1 is not prime. Res64: 4E45185644679695 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:07:58] 895*2^1513645-1 is not prime. Res64: 7FDB414185137444 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:08:04] 939*2^1513645-1 is not prime. Res64: 8D8B44FFD1796DFD Time : 0.0 sec. user=mdettweiler [2018-06-18 02:17:23] 683*2^1513646-1 is not prime. Res64: 5591D08E1EBDCCF6 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:17:24] 851*2^1513646-1 is not prime. Res64: E0FF3BAC118858EE Time : 0.0 sec. user=mdettweiler [2018-06-18 02:17:25] 923*2^1513646-1 is not prime. Res64: D10FF596EB50CC46 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:17:25] 649*2^1513647-1 is not prime. Res64: 9F16F22D4CBBD5ED Time : 0.0 sec. user=mdettweiler [2018-06-18 02:17:26] 711*2^1513647-1 is not prime. Res64: 07CC21EA8A548279 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:46:58] 793*2^1513647-1 is not prime. Res64: 59C6029F9A05D864 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:46:59] 825*2^1513647-1 is not prime. Res64: 68C6535672920B13 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:46:59] 979*2^1513647-1 is not prime. Res64: 6E98CC5DAA10A83F Time : 0.0 sec. user=mdettweiler [2018-06-18 02:47:00] 777*2^1513648-1 is not prime. Res64: 3783A4A8A8E0BB1E Time : 0.0 sec. user=mdettweiler [2018-06-18 02:47:01] 855*2^1513648-1 is not prime. Res64: 1A2FAF2CDF01FEAD Time : 0.0 sec. user=juhehe [2018-06-18 02:52:05] 899*2^1513648-1 is not prime. Res64: C2C5B3BAC271070C Time : 0.0 sec. user=mdettweiler [2018-06-18 02:58:37] 909*2^1513648-1 is not prime. Res64: 031ADC6C8F118964 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:58:38] 969*2^1513648-1 is not prime. Res64: B910848EC77FA3BF Time : 0.0 sec. user=mdettweiler [2018-06-18 02:58:38] 601*2^1513649-1 is not prime. Res64: 198204A534F711B0 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:58:39] 711*2^1513649-1 is not prime. Res64: 462971D71EB35163 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:58:39] 727*2^1513649-1 is not prime. Res64: BEAE1E70D45CC07B Time : 0.0 sec. user=mdettweiler [2018-06-18 02:59:21] 837*2^1513649-1 is not prime. Res64: 935121B9876FC102 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:59:21] 611*2^1513650-1 is not prime. Res64: 4207026BAA2C7F18 Time : 0.0 sec. user=mdettweiler [2018-06-18 02:59:22] 657*2^1513650-1 is not prime. Res64: FB5DABB7E387E89B Time : 0.0 sec. user=mdettweiler [2018-06-18 02:59:22] 665*2^1513650-1 is not prime. Res64: 94921B7B7C18630F Time : 0.0 sec. user=mdettweiler [2018-06-18 02:59:22] 861*2^1513650-1 is not prime. Res64: EB3C2EDA23A33495 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:09:24] 941*2^1513650-1 is not prime. Res64: F1FC61108B4FE5C1 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:09:25] 945*2^1513650-1 is not prime. Res64: 702D2CA2FE7A2C28 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:09:25] 693*2^1513651-1 is not prime. Res64: 0D3E92C1E91963FC Time : 0.0 sec. user=mdettweiler [2018-06-18 03:09:26] 769*2^1513651-1 is not prime. Res64: ECFEC1B12D3331D2 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:09:26] 859*2^1513651-1 is not prime. Res64: 78772C42CFBB1707 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:37:12] 871*2^1513651-1 is not prime. Res64: 19FA81C07B53615D Time : 0.0 sec. user=mdettweiler [2018-06-18 03:37:14] 961*2^1513651-1 is not prime. Res64: FB28D237F982FE56 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:37:15] 975*2^1513651-1 is not prime. Res64: 5B2C07D32BA95AE7 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:37:16] 633*2^1513652-1 is not prime. Res64: FAB4DFB286B7A8CE Time : 0.0 sec. user=mdettweiler [2018-06-18 03:37:17] 777*2^1513652-1 is not prime. Res64: B1BD972EF346DABE Time : 0.0 sec. user=mdettweiler [2018-06-18 03:48:30] 899*2^1513652-1 is not prime. Res64: E4756E3EE5F864E0 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:48:31] 963*2^1513652-1 is not prime. Res64: 5D8D5E887A0D4274 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:48:32] 639*2^1513653-1 is not prime. Res64: 5E6406D3FA16FCB7 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:48:33] 657*2^1513653-1 is not prime. Res64: 9401B3280CAEC78F Time : 0.0 sec. user=mdettweiler [2018-06-18 03:48:34] 751*2^1513653-1 is not prime. Res64: FB28CAAEC5A61457 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:49:36] 765*2^1513653-1 is not prime. Res64: FDB97E3076C225A4 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:49:37] 919*2^1513653-1 is not prime. Res64: C3D58350DF01EA32 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:49:42] 955*2^1513653-1 is not prime. Res64: 1F43D9819520FAF4 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:49:43] 611*2^1513654-1 is not prime. Res64: F3B30287ADCD9972 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:49:44] 687*2^1513654-1 is not prime. Res64: 7B0536D8A2BD55C4 Time : 0.0 sec. user=mdettweiler [2018-06-18 03:59:56] 731*2^1513654-1 is not prime. Res64: 0014FDB2B2889DFC Time : 0.0 sec. user=mdettweiler [2018-06-18 03:59:58] 773*2^1513654-1 is not prime. Res64: 36DF21E9B708D04D Time : 0.0 sec. user=mdettweiler [2018-06-18 03:59:59] 815*2^1513654-1 is not prime. Res64: DC9808CF05BD826C Time : 0.0 sec. user=mdettweiler [2018-06-18 04:00:00] 861*2^1513654-1 is not prime. Res64: 6A774D5EAD1D2923 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:00:02] 885*2^1513654-1 is not prime. Res64: 346D171B2A3B861B Time : 0.0 sec. user=mdettweiler [2018-06-18 04:27:55] 941*2^1513654-1 is not prime. Res64: 265D51C0D8D27A51 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:27:56] 951*2^1513654-1 is not prime. Res64: 1D63FA0D5047E038 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:27:57] 971*2^1513654-1 is not prime. Res64: 86A98F414132C0B7 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:27:58] 655*2^1513655-1 is not prime. Res64: BA8207E40E96CE49 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:28:00] 679*2^1513655-1 is not prime. Res64: 84CB3698C8F25A4C Time : 0.0 sec. user=mdettweiler [2018-06-18 04:39:03] 721*2^1513655-1 is not prime. Res64: 8AA60036C459D837 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:39:04] 771*2^1513655-1 is not prime. Res64: 3B00D0DD145E20DC Time : 0.0 sec. user=mdettweiler [2018-06-18 04:39:05] 789*2^1513655-1 is not prime. Res64: 703FCA9FFD709A56 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:39:06] 909*2^1513655-1 is not prime. Res64: F2E41481514C2048 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:39:06] 969*2^1513655-1 is not prime. Res64: 7D58D728C3CFCA65 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:40:39] 981*2^1513655-1 is not prime. Res64: 17416E0B9545C468 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:40:39] 693*2^1513656-1 is not prime. Res64: 806EDE4FD80D14E6 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:40:40] 705*2^1513656-1 is not prime. Res64: 13BF4371B09C1EA7 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:40:40] 773*2^1513656-1 is not prime. Res64: DBC42D13E2F64A8B Time : 0.0 sec. user=mdettweiler [2018-06-18 04:40:41] 999*2^1513656-1 is not prime. Res64: 9094BAC55F4E45E8 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:51:34] 667*2^1513657-1 is not prime. Res64: 5AC812BFA12AB795 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:51:35] 699*2^1513657-1 is not prime. Res64: 0CE9CCEA4F6751EE Time : 0.0 sec. user=mdettweiler [2018-06-18 04:51:35] 717*2^1513657-1 is not prime. Res64: FFA7CAE1007F5DFE Time : 0.0 sec. user=mdettweiler [2018-06-18 04:51:36] 775*2^1513657-1 is not prime. Res64: 8749C667D00573D4 Time : 0.0 sec. user=mdettweiler [2018-06-18 04:51:36] 819*2^1513657-1 is not prime. Res64: 9D3570542C57E161 Time : 0.0 sec. user=juhehe [2018-06-18 05:12:43] 847*2^1513657-1 is not prime. Res64: 09188BD35E9D1133 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:18:22] 867*2^1513657-1 is not prime. Res64: 92C06C0918DAEE44 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:18:22] 871*2^1513657-1 is not prime. Res64: FCD2FB0CEDAAEB16 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:18:23] 889*2^1513657-1 is not prime. Res64: 32C5E165411C20E5 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:18:23] 937*2^1513657-1 is not prime. Res64: D277CCA6B92B2F25 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:18:24] 617*2^1513658-1 is not prime. Res64: C45EAB9A1C397339 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:29:37] 635*2^1513658-1 is not prime. Res64: 3357234737FADCDA Time : 0.0 sec. user=mdettweiler [2018-06-18 05:29:38] 797*2^1513658-1 is not prime. Res64: 037558793E67CCB8 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:29:40] 921*2^1513658-1 is not prime. Res64: 09A025DD3AC2FE36 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:29:41] 679*2^1513659-1 is not prime. Res64: F61541B72D756F16 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:29:41] 789*2^1513659-1 is not prime. Res64: 34455237F5CEDE22 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:31:03] 931*2^1513659-1 is not prime. Res64: 459E6FC30ACBE9C7 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:31:03] 605*2^1513660-1 is not prime. Res64: D4FAC73016543F55 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:31:04] 857*2^1513660-1 is not prime. Res64: 63B75A643928C58B Time : 0.0 sec. user=mdettweiler [2018-06-18 05:31:04] 875*2^1513660-1 is not prime. Res64: 1D7D656D5993CC87 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:31:05] 669*2^1513661-1 is not prime. Res64: BF968CB7F163C526 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:42:08] 825*2^1513661-1 is not prime. Res64: 69EE1E9E13EED23A Time : 0.0 sec. user=mdettweiler [2018-06-18 05:42:08] 987*2^1513661-1 is not prime. Res64: 5692249BF6784432 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:42:09] 725*2^1513662-1 is not prime. Res64: 5E5173CB4D0C53FF Time : 0.0 sec. user=mdettweiler [2018-06-18 05:42:09] 797*2^1513662-1 is not prime. Res64: F4B482F491250C32 Time : 0.0 sec. user=mdettweiler [2018-06-18 05:42:09] 951*2^1513662-1 is not prime. Res64: FD8300F925DE062C Time : 0.0 sec. user=mdettweiler [2018-06-18 06:08:50] 963*2^1513662-1 is not prime. Res64: 0E479A8529933946 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:08:51] 633*2^1513663-1 is not prime. Res64: E87B362D4C53A682 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:08:51] 735*2^1513663-1 is not prime. Res64: C09F64009A0164CA Time : 0.0 sec. user=mdettweiler [2018-06-18 06:08:52] 763*2^1513663-1 is not prime. Res64: 8629462E4B0C5FB8 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:08:52] 811*2^1513663-1 is not prime. Res64: 15131AC62D14D572 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:20:02] 849*2^1513663-1 is not prime. Res64: 17CE50DB1D46AD4A Time : 0.0 sec. user=mdettweiler [2018-06-18 06:20:03] 855*2^1513663-1 is not prime. Res64: DD499E706F39DB14 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:20:03] 973*2^1513663-1 is not prime. Res64: 289A1794079B5558 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:20:04] 615*2^1513664-1 is not prime. Res64: ECE1A538DC6B6049 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:20:04] 675*2^1513664-1 is not prime. Res64: D4B8AA807E770A7E Time : 0.0 sec. user=mdettweiler [2018-06-18 06:21:06] 683*2^1513664-1 is not prime. Res64: 47FC79EED8D13469 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:21:06] 747*2^1513664-1 is not prime. Res64: EA36B9312B1AE9CC Time : 0.0 sec. user=mdettweiler [2018-06-18 06:21:07] 843*2^1513664-1 is not prime. Res64: D9B1BFE5699610BC Time : 0.0 sec. user=mdettweiler [2018-06-18 06:21:07] 995*2^1513664-1 is not prime. Res64: 947F80F447B3C17D Time : 0.0 sec. user=mdettweiler [2018-06-18 06:21:07] 601*2^1513665-1 is not prime. Res64: 769660E69ED5197C Time : 0.0 sec. user=mdettweiler [2018-06-18 06:31:43] 639*2^1513665-1 is not prime. Res64: 7878A9E2F8F4722C Time : 0.0 sec. user=mdettweiler [2018-06-18 06:31:44] 817*2^1513665-1 is not prime. Res64: B27CB21A26EFDD5B Time : 0.0 sec. user=mdettweiler [2018-06-18 06:31:44] 831*2^1513665-1 is not prime. Res64: 80E2B06FF79B1EE3 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:31:44] 651*2^1513666-1 is not prime. Res64: 9A60670B9A0422F4 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:31:45] 653*2^1513666-1 is not prime. Res64: 339F846F396BA148 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:59:51] 671*2^1513666-1 is not prime. Res64: 0A3C255BB6A34D1C Time : 0.0 sec. user=mdettweiler [2018-06-18 06:59:52] 717*2^1513666-1 is not prime. Res64: FFE56A0E89782F5B Time : 0.0 sec. user=mdettweiler [2018-06-18 06:59:52] 723*2^1513666-1 is not prime. Res64: 74624EC96A1889B0 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:59:52] 785*2^1513666-1 is not prime. Res64: 6772555D61BB76E9 Time : 0.0 sec. user=mdettweiler [2018-06-18 06:59:53] 813*2^1513666-1 is not prime. Res64: E65A07BEAD39BCDE Time : 0.0 sec. user=mdettweiler [2018-06-18 07:10:30] 945*2^1513666-1 is not prime. Res64: 619D8CFCD84109AF Time : 0.0 sec. user=mdettweiler [2018-06-18 07:10:31] 675*2^1513667-1 is not prime. Res64: D4FD0A172CC92D3E Time : 0.0 sec. user=mdettweiler [2018-06-18 07:10:33] 885*2^1513667-1 is not prime. Res64: 6189A239AA14E7BD Time : 0.0 sec. user=mdettweiler [2018-06-18 07:10:33] 889*2^1513667-1 is not prime. Res64: ECB5865E0CD11106 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:10:34] 991*2^1513667-1 is not prime. Res64: 91F35729A0B1AF01 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:11:43] 803*2^1513668-1 is not prime. Res64: BF33B6C8EB28E697 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:11:44] 899*2^1513668-1 is not prime. Res64: AC58A32D5AAD5019 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:11:45] 947*2^1513668-1 is not prime. Res64: C174FB07C46EEAD7 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:11:46] 729*2^1513669-1 is not prime. Res64: 598BBEAC07C1A664 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:11:47] 757*2^1513669-1 is not prime. Res64: 22BEDFC76008F90E Time : 0.0 sec. user=mdettweiler [2018-06-18 07:21:32] 939*2^1513669-1 is not prime. Res64: 9102E28906A13918 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:21:32] 961*2^1513669-1 is not prime. Res64: 526AB34596E1A318 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:21:33] 651*2^1513670-1 is not prime. Res64: BEA5A11A304FB635 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:21:33] 665*2^1513670-1 is not prime. Res64: 3BEB28659A27E9B2 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:21:34] 741*2^1513670-1 is not prime. Res64: B2B04946A6F87F9B Time : 0.0 sec. user=juhehe [2018-06-18 07:33:45] 753*2^1513670-1 is not prime. Res64: 5687C7EEC87060E2 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:50:04] 857*2^1513670-1 is not prime. Res64: 33CAB45758366056 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:50:04] 923*2^1513670-1 is not prime. Res64: E4110B7B97C3A05E Time : 0.0 sec. user=mdettweiler [2018-06-18 07:50:05] 935*2^1513670-1 is not prime. Res64: 283370A8984637C1 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:50:05] 613*2^1513671-1 is not prime. Res64: 01033796E6DA5E54 Time : 0.0 sec. user=mdettweiler [2018-06-18 07:50:05] 705*2^1513671-1 is not prime. Res64: A84DF04659B49982 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:01:36] 735*2^1513671-1 is not prime. Res64: C51B9D04A8CE435E Time : 0.0 sec. user=mdettweiler [2018-06-18 08:01:37] 739*2^1513671-1 is not prime. Res64: 9C20C36C0F014AE7 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:01:39] 805*2^1513671-1 is not prime. Res64: 90C8281C9F6D7BC9 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:01:40] 861*2^1513671-1 is not prime. Res64: 8D81BF83BF2E99BC Time : 0.0 sec. user=mdettweiler [2018-06-18 08:01:41] 909*2^1513671-1 is not prime. Res64: D2129DF8EA826FB8 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:02:35] 949*2^1513671-1 is not prime. Res64: 7FADD8A0247844BB Time : 0.0 sec. user=mdettweiler [2018-06-18 08:02:36] 955*2^1513671-1 is not prime. Res64: 8838938D35BB4EFF Time : 0.0 sec. user=mdettweiler [2018-06-18 08:02:40] 717*2^1513672-1 is not prime. Res64: 9A6E4A0379FB5163 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:02:41] 735*2^1513672-1 is not prime. Res64: E82FDD6485841C34 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:02:43] 779*2^1513672-1 is not prime. Res64: 83F066AA4BF64FE1 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:12:07] 803*2^1513672-1 is not prime. Res64: AD5E52B8246E744E Time : 0.0 sec. user=mdettweiler [2018-06-18 08:12:08] 843*2^1513672-1 is not prime. Res64: CC3338BE94AEBC8F Time : 0.0 sec. user=mdettweiler [2018-06-18 08:12:09] 855*2^1513672-1 is not prime. Res64: DA4C139879A9F9A6 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:12:10] 863*2^1513672-1 is not prime. Res64: 105A479DA8BA2651 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:12:10] 903*2^1513672-1 is not prime. Res64: D509FE9D0674A8F8 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:40:48] 915*2^1513672-1 is not prime. Res64: 8BEB392B3ED4C679 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:40:49] 933*2^1513672-1 is not prime. Res64: 138B1EC6FA14171A Time : 0.0 sec. user=mdettweiler [2018-06-18 08:40:49] 939*2^1513672-1 is not prime. Res64: 5F90E0ABDD71D58D Time : 0.0 sec. user=mdettweiler [2018-06-18 08:40:49] 957*2^1513672-1 is not prime. Res64: 2CD745C92F21C1CE Time : 0.0 sec. user=mdettweiler [2018-06-18 08:40:50] 983*2^1513672-1 is not prime. Res64: 8E5236EC24222825 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:51:50] 741*2^1513673-1 is not prime. Res64: E354A1757303CAA7 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:51:51] 937*2^1513673-1 is not prime. Res64: 3816CB069E17403E Time : 0.0 sec. user=mdettweiler [2018-06-18 08:51:51] 985*2^1513673-1 is not prime. Res64: 8A82CBA43647C83E Time : 0.0 sec. user=mdettweiler [2018-06-18 08:51:52] 641*2^1513674-1 is not prime. Res64: 4696D9E0297B4E03 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:51:52] 651*2^1513674-1 is not prime. Res64: 687811B22778FB08 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:53:32] 695*2^1513674-1 is not prime. Res64: DADF568C9437AD86 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:53:32] 705*2^1513674-1 is not prime. Res64: 02663D59DEE1FD06 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:53:33] 747*2^1513674-1 is not prime. Res64: D96E8ED24E53889D Time : 0.0 sec. user=mdettweiler [2018-06-18 08:53:33] 885*2^1513674-1 is not prime. Res64: 7FE8E69B79CC3942 Time : 0.0 sec. user=mdettweiler [2018-06-18 08:53:33] 923*2^1513674-1 is not prime. Res64: 9F0E0736C1AE7258 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:03:12] 927*2^1513674-1 is not prime. Res64: 969CFC29F706895B Time : 0.0 sec. user=mdettweiler [2018-06-18 09:03:13] 735*2^1513675-1 is not prime. Res64: 5E0B68E489C06D20 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:03:14] 829*2^1513675-1 is not prime. Res64: 76A83EE87C22F971 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:03:14] 973*2^1513675-1 is not prime. Res64: 7D64659398CA5295 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:03:15] 999*2^1513675-1 is not prime. Res64: 273A7503E3C16709 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:31:40] 677*2^1513676-1 is not prime. Res64: 5AFFDD12C17B7B40 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:31:41] 773*2^1513676-1 is not prime. Res64: DD6FB18D730F2417 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:31:41] 909*2^1513676-1 is not prime. Res64: E65FA85F2362A9C6 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:31:42] 923*2^1513676-1 is not prime. Res64: 0BE79A30807A4517 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:31:42] 957*2^1513676-1 is not prime. Res64: 2CFF10100E264076 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:41:31] 607*2^1513677-1 is not prime. Res64: A969DC1CB65D15D1 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:41:31] 795*2^1513677-1 is not prime. Res64: E55532606D2614EF Time : 0.0 sec. user=mdettweiler [2018-06-18 09:41:31] 819*2^1513677-1 is not prime. Res64: DE1F0DBEA32190FC Time : 0.0 sec. user=mdettweiler [2018-06-18 09:41:32] 603*2^1513678-1 is not prime. Res64: F2E46F68D73DEEA7 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:41:32] 605*2^1513678-1 is not prime. Res64: D85740E81981E7FE Time : 0.0 sec. user=mdettweiler [2018-06-18 09:43:21] 651*2^1513678-1 is not prime. Res64: F33F8616467D7122 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:43:22] 657*2^1513678-1 is not prime. Res64: 70E07FAE51DFFC54 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:43:22] 743*2^1513678-1 is not prime. Res64: 5D17893970F684FB Time : 0.0 sec. user=mdettweiler [2018-06-18 09:43:22] 801*2^1513678-1 is not prime. Res64: EF51C2E1ABE4C21E Time : 0.0 sec. user=mdettweiler [2018-06-18 09:43:23] 827*2^1513678-1 is not prime. Res64: EE7A1CFC0B7FE2EF Time : 0.0 sec. user=mdettweiler [2018-06-18 09:53:32] 867*2^1513678-1 is not prime. Res64: 8DE24EA03D088A75 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:53:32] 933*2^1513678-1 is not prime. Res64: CC269490205AFAF5 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:53:32] 995*2^1513678-1 is not prime. Res64: DA85327BF0958079 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:53:33] 609*2^1513679-1 is not prime. Res64: 968D809AA52B2D68 Time : 0.0 sec. user=mdettweiler [2018-06-18 09:53:33] 661*2^1513679-1 is not prime. Res64: 245C0322EB918975 Time : 0.0 sec. user=juhehe [2018-06-18 09:53:50] 685*2^1513679-1 is not prime. Res64: A37E8562EB5FDA81 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:22:13] 705*2^1513679-1 is not prime. Res64: 94BDCACA70878FE2 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:22:13] 999*2^1513679-1 is not prime. Res64: DBA04FB7E13C5EDD Time : 0.0 sec. user=mdettweiler [2018-06-18 10:22:14] 627*2^1513680-1 is not prime. Res64: B748C7B4243AFFDB Time : 0.0 sec. user=mdettweiler [2018-06-18 10:22:14] 699*2^1513680-1 is not prime. Res64: 8F5646AC2C24F294 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:22:14] 737*2^1513680-1 is not prime. Res64: 9F37A0F56F09E444 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:32:03] 753*2^1513680-1 is not prime. Res64: FEC76AAD7A224F18 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:32:03] 759*2^1513680-1 is not prime. Res64: 89C4B6A7F3A3EAE2 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:32:04] 795*2^1513680-1 is not prime. Res64: F195A245138569B8 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:32:04] 875*2^1513680-1 is not prime. Res64: 76AF35A05E80ED4C Time : 0.0 sec. user=mdettweiler [2018-06-18 10:32:04] 975*2^1513680-1 is not prime. Res64: 1FD022CEFBAAE9A3 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:33:45] 625*2^1513681-1 is not prime. Res64: 16941E8E127BFA66 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:33:45] 705*2^1513681-1 is not prime. Res64: F5BCCE52D501634A Time : 0.0 sec. user=mdettweiler [2018-06-18 10:33:46] 829*2^1513681-1 is not prime. Res64: 30E103F1DB0B91C9 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:33:46] 877*2^1513681-1 is not prime. Res64: 3C0C5647E12DE674 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:33:46] 981*2^1513681-1 is not prime. Res64: F0F9F00F65DA7AFA Time : 0.0 sec. user=mdettweiler [2018-06-18 10:43:58] 635*2^1513682-1 is not prime. Res64: 279E56B2E04C5546 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:43:58] 713*2^1513682-1 is not prime. Res64: B4ECD2A9AA9DECF7 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:43:59] 791*2^1513682-1 is not prime. Res64: AD15977AEB50E608 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:43:59] 867*2^1513682-1 is not prime. Res64: A76EF7F026090822 Time : 0.0 sec. user=mdettweiler [2018-06-18 10:43:59] 873*2^1513682-1 is not prime. Res64: C16073901A59E933 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:13:12] 935*2^1513682-1 is not prime. Res64: A7771E0DD95330D2 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:13:13] 1001*2^1513682-1 is not prime. Res64: 798DDE57A0908B45 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:13:13] 685*2^1513683-1 is not prime. Res64: 1E1FD484DF6DBBD0 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:13:13] 895*2^1513683-1 is not prime. Res64: 6D9F09BFAE2D84BC Time : 0.0 sec. user=mdettweiler [2018-06-18 11:13:14] 913*2^1513683-1 is not prime. Res64: 82B324B0C3F500FF Time : 0.0 sec. user=mdettweiler [2018-06-18 11:22:23] 955*2^1513683-1 is not prime. Res64: 3DE7052C443D1321 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:22:24] 963*2^1513683-1 is not prime. Res64: 1C18B045D97060D0 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:22:24] 605*2^1513684-1 is not prime. Res64: D9CD05EE694DE0F6 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:22:25] 717*2^1513684-1 is not prime. Res64: 45497062DBD9ACAE Time : 0.0 sec. user=mdettweiler [2018-06-18 11:22:25] 743*2^1513684-1 is not prime. Res64: 888CECADDFD19CAC Time : 0.0 sec. user=mdettweiler [2018-06-18 11:24:31] 843*2^1513684-1 is not prime. Res64: 36ADA2D9E109219F Time : 0.0 sec. user=mdettweiler [2018-06-18 11:24:31] 863*2^1513684-1 is not prime. Res64: 277B8A4F879CB566 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:24:31] 929*2^1513684-1 is not prime. Res64: 78BC56CBD8255B6C Time : 0.0 sec. user=mdettweiler [2018-06-18 11:24:32] 947*2^1513684-1 is not prime. Res64: 8DB0146BA42A4005 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:24:32] 825*2^1513685-1 is not prime. Res64: 63A52F860150058A Time : 0.0 sec. user=mdettweiler [2018-06-18 11:34:37] 861*2^1513685-1 is not prime. Res64: 2A95051F8779AEE3 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:34:38] 885*2^1513685-1 is not prime. Res64: 02A9EBB3D47DD644 Time : 0.0 sec. user=mdettweiler [2018-06-18 11:34:38] 925*2^1513685-1 is not prime. Res64: FB30D3E70B4C831C Time : 0.0 sec. user=mdettweiler [2018-06-18 11:34:39] 611*2^1513686-1 is not prime. Res64: 7D1CE95A2106D05B Time : 0.0 sec. user=mdettweiler [2018-06-18 11:34:39] 873*2^1513686-1 is not prime. Res64: 7C102B8FF6C3D843 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:04:45] 893*2^1513686-1 is not prime. Res64: 8ACEC15DCC0BED96 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:04:47] 903*2^1513686-1 is not prime. Res64: 2CB48A7D1C4C45F5 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:04:48] 917*2^1513686-1 is not prime. Res64: 2413F6AEE39CB91A Time : 0.0 sec. user=mdettweiler [2018-06-18 12:04:51] 971*2^1513686-1 is not prime. Res64: 832AEAED9C7BBFA4 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:04:52] 645*2^1513687-1 is not prime. Res64: C9312AED3DB044D7 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:13:19] 895*2^1513687-1 is not prime. Res64: 499B6E7B974D4914 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:13:20] 659*2^1513688-1 is not prime. Res64: 2F3EE6B46DF29F9A Time : 0.0 sec. user=mdettweiler [2018-06-18 12:13:20] 663*2^1513688-1 is not prime. Res64: 896BADE49D88D2C4 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:13:21] 725*2^1513688-1 is not prime. Res64: 4D4CEAB03D6CFD38 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:13:21] 767*2^1513688-1 is not prime. Res64: D5273D6F99C2C162 Time : 0.0 sec. user=juhehe [2018-06-18 12:13:49] 969*2^1513688-1 is not prime. Res64: CBB23519A539C229 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:16:06] 813*2^1513688-1 is not prime. Res64: 5BD7739AEBE4FB91 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:16:06] 825*2^1513688-1 is not prime. Res64: E454E2E5D686B7C9 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:16:07] 897*2^1513688-1 is not prime. Res64: 7724E061E948E8B5 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:16:07] 923*2^1513688-1 is not prime. Res64: 80463D296F09DFF7 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:16:07] 945*2^1513688-1 is not prime. Res64: 0DBDFB39B143980F Time : 0.0 sec. user=mdettweiler [2018-06-18 12:26:10] 675*2^1513689-1 is not prime. Res64: 2E91A4F03D142702 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:26:10] 681*2^1513689-1 is not prime. Res64: 9FE463B31A9DCB12 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:26:10] 685*2^1513689-1 is not prime. Res64: F5FF80F65C772368 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:26:11] 865*2^1513689-1 is not prime. Res64: 0957DD0720AAE231 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:26:11] 889*2^1513689-1 is not prime. Res64: F7D80A704BEEE329 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:55:18] 919*2^1513689-1 is not prime. Res64: 482307BB0680FC3D Time : 0.0 sec. user=mdettweiler [2018-06-18 12:55:18] 603*2^1513690-1 is not prime. Res64: 04CF3CE403B12D39 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:55:19] 657*2^1513690-1 is not prime. Res64: F5441A46C8089272 Time : 0.0 sec. user=mdettweiler [2018-06-18 12:55:19] 843*2^1513690-1 is not prime. Res64: 5FFAE572BB3CEFEC Time : 0.0 sec. user=mdettweiler [2018-06-18 12:55:19] 861*2^1513690-1 is not prime. Res64: C1163636DC85F39B Time : 0.0 sec. user=mdettweiler [2018-06-18 13:03:55] 887*2^1513690-1 is not prime. Res64: 61AE03435782F796 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:03:56] 715*2^1513691-1 is not prime. Res64: 2CE7C2A0C91E9FBC Time : 0.0 sec. user=mdettweiler [2018-06-18 13:03:59] 741*2^1513691-1 is not prime. Res64: D0D60B8332219C6C Time : 0.0 sec. user=mdettweiler [2018-06-18 13:04:01] 789*2^1513691-1 is not prime. Res64: FE5CA3E4EC580B36 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:04:02] 801*2^1513691-1 is not prime. Res64: 9C28E12555E727A1 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:06:42] 811*2^1513691-1 is not prime. Res64: 296F4B822035C345 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:06:44] 813*2^1513691-1 is not prime. Res64: 411D2A5B849602C5 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:06:46] 903*2^1513691-1 is not prime. Res64: B01693A5852859AE Time : 0.0 sec. user=mdettweiler [2018-06-18 13:06:48] 955*2^1513691-1 is not prime. Res64: CF7E41AD4EB627CE Time : 0.0 sec. user=mdettweiler [2018-06-18 13:06:50] 991*2^1513691-1 is not prime. Res64: F9276AFF5ACB5200 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:16:15] 653*2^1513692-1 is not prime. Res64: AC869955B9EB3632 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:16:15] 693*2^1513692-1 is not prime. Res64: 86C6768E91E23789 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:16:15] 717*2^1513692-1 is not prime. Res64: 3AE7357E9EC1651D Time : 0.0 sec. user=mdettweiler [2018-06-18 13:16:16] 753*2^1513692-1 is not prime. Res64: 8AF174402184086F Time : 0.0 sec. user=mdettweiler [2018-06-18 13:16:16] 809*2^1513692-1 is not prime. Res64: 42CBE91B549B255E Time : 0.0 sec. user=mdettweiler [2018-06-18 13:45:58] 825*2^1513692-1 is not prime. Res64: 549647E5CCA2225A Time : 0.0 sec. user=mdettweiler [2018-06-18 13:45:58] 899*2^1513692-1 is not prime. Res64: 95F3B73D4410A7D8 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:45:58] 679*2^1513693-1 is not prime. Res64: 5DA0871DA18EE521 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:45:59] 691*2^1513693-1 is not prime. Res64: C9F9B1B51E8C7134 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:45:59] 715*2^1513693-1 is not prime. Res64: D9860E3D7B3F783E Time : 0.0 sec. user=juhehe [2018-06-18 13:46:47] 919*2^1513693-1 is not prime. Res64: C2D3E5635279C359 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:55:11] 925*2^1513693-1 is not prime. Res64: 7B3408384C30B003 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:55:11] 987*2^1513693-1 is not prime. Res64: B1DCDFE3974B8CB5 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:55:12] 617*2^1513694-1 is not prime. Res64: 19B49E8A323C7344 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:55:12] 711*2^1513694-1 is not prime. Res64: F52FFA70BBED03F4 Time : 0.0 sec. user=mdettweiler [2018-06-18 13:55:12] 795*2^1513694-1 is not prime. Res64: A4D64D5E46C09723 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:00:00] 797*2^1513694-1 is not prime. Res64: 43543B0576CCB67D Time : 0.0 sec. user=mdettweiler [2018-06-18 14:00:01] 873*2^1513694-1 is not prime. Res64: F5961641E73A05E0 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:00:01] 921*2^1513694-1 is not prime. Res64: 2F64B75C54F72543 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:00:01] 685*2^1513695-1 is not prime. Res64: C6AB84973DC29172 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:00:02] 705*2^1513695-1 is not prime. Res64: 1A376CD2206056F4 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:08:39] 781*2^1513695-1 is not prime. Res64: BDB9A68B60088C74 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:08:39] 853*2^1513695-1 is not prime. Res64: 9C3E396C4AC2DF6F Time : 0.0 sec. user=mdettweiler [2018-06-18 14:08:40] 859*2^1513695-1 is not prime. Res64: C7C6297EDC8E0C9F Time : 0.0 sec. user=mdettweiler [2018-06-18 14:08:40] 873*2^1513695-1 is not prime. Res64: 96BAD60CFCAC0EB0 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:08:41] 919*2^1513695-1 is not prime. Res64: EEE4F869C9ADF204 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:37:31] 933*2^1513695-1 is not prime. Res64: A9F2E261BBC0B2F1 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:37:31] 969*2^1513695-1 is not prime. Res64: 5EF251ABD420CA07 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:37:32] 909*2^1513696-1 is not prime. Res64: B498675FC736205D Time : 0.0 sec. user=mdettweiler [2018-06-18 14:37:32] 939*2^1513696-1 is not prime. Res64: 15413D86AE635A97 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:37:33] 607*2^1513697-1 is not prime. Res64: F3B15723B9E6450A Time : 0.0 sec. user=mdettweiler [2018-06-18 14:46:13] 925*2^1513697-1 is not prime. Res64: DF6831DC4DA3FB9D Time : 0.0 sec. user=mdettweiler [2018-06-18 14:46:14] 949*2^1513697-1 is not prime. Res64: 4F5F7CEB9FC515B3 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:46:14] 955*2^1513697-1 is not prime. Res64: 7B51A6D9D4B3C5D8 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:46:15] 967*2^1513697-1 is not prime. Res64: 6916B13B494CE39D Time : 0.0 sec. user=mdettweiler [2018-06-18 14:46:15] 981*2^1513697-1 is not prime. Res64: FC1A6BB12389C07E Time : 0.0 sec. user=mdettweiler [2018-06-18 14:50:22] 651*2^1513698-1 is not prime. Res64: E8FC1DA79F534EC2 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:50:22] 747*2^1513698-1 is not prime. Res64: 48D747C50DFF552F Time : 0.0 sec. user=mdettweiler [2018-06-18 14:50:23] 837*2^1513698-1 is not prime. Res64: FE836D7A2DAEE7ED Time : 0.0 sec. user=mdettweiler [2018-06-18 14:50:23] 875*2^1513698-1 is not prime. Res64: 035DFF8394FD7639 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:50:23] 927*2^1513698-1 is not prime. Res64: AB72CF9E073C3AB7 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:58:41] 975*2^1513698-1 is not prime. Res64: 13F6975CE3FF17B3 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:58:42] 601*2^1513699-1 is not prime. Res64: 25642563E3BCD213 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:58:42] 609*2^1513699-1 is not prime. Res64: B95CD79779EF6576 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:58:43] 745*2^1513699-1 is not prime. Res64: 0302AAF9D39A60F8 Time : 0.0 sec. user=mdettweiler [2018-06-18 14:58:43] 793*2^1513699-1 is not prime. Res64: 33BDBEB7AB175600 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:28:30] 961*2^1513699-1 is not prime. Res64: 91FCD3EA46A297FD Time : 0.0 sec. user=mdettweiler [2018-06-18 15:28:31] 993*2^1513699-1 is not prime. Res64: E9C8459810D685A7 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:28:31] 669*2^1513700-1 is not prime. Res64: C182F9E8E870D6B1 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:28:32] 677*2^1513700-1 is not prime. Res64: 2972FF43C2AB4366 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:28:32] 687*2^1513700-1 is not prime. Res64: E9790A0144D9757F Time : 0.0 sec. user=mdettweiler [2018-06-18 15:37:09] 833*2^1513700-1 is not prime. Res64: 50DBFCE0D737E96A Time : 0.0 sec. user=mdettweiler [2018-06-18 15:37:09] 879*2^1513700-1 is not prime. Res64: 729BBACCE38A45E4 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:37:10] 977*2^1513700-1 is not prime. Res64: 62719B7E9FC727A0 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:37:10] 999*2^1513700-1 is not prime. Res64: FB7255FFB48FBFEE Time : 0.0 sec. user=mdettweiler [2018-06-18 15:37:10] 691*2^1513701-1 is not prime. Res64: ED5FBCBF57AEC536 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:41:27] 781*2^1513701-1 is not prime. Res64: 0218CE5850DF9EDE Time : 0.0 sec. user=mdettweiler [2018-06-18 15:41:28] 907*2^1513701-1 is not prime. Res64: 747E9FFB2D4D3A00 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:41:28] 885*2^1513702-1 is not prime. Res64: 402A2048F878F912 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:41:28] 915*2^1513702-1 is not prime. Res64: 1C700E4B689F396F Time : 0.0 sec. user=mdettweiler [2018-06-18 15:41:29] 941*2^1513702-1 is not prime. Res64: FFFB5346E35C4324 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:49:11] 643*2^1513703-1 is not prime. Res64: EEA622523244F990 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:49:11] 669*2^1513703-1 is not prime. Res64: E2B3161728DFA269 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:49:12] 889*2^1513703-1 is not prime. Res64: FCE78A45402E4275 Time : 0.0 sec. user=mdettweiler [2018-06-18 15:49:12] 913*2^1513703-1 is not prime. Res64: CF1468494276C72F Time : 0.0 sec. user=mdettweiler [2018-06-18 15:49:12] 949*2^1513703-1 is not prime. Res64: C58346AE15CDA72D Time : 0.0 sec. user=juhehe [2018-06-18 16:06:57] 955*2^1513703-1 is not prime. Res64: 1664A5A1B88AF018 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:17:31] 629*2^1513704-1 is not prime. Res64: EA1CE1272D041C32 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:17:31] 635*2^1513704-1 is not prime. Res64: B61FB1FF9F53D86C Time : 0.0 sec. user=mdettweiler [2018-06-18 16:17:32] 663*2^1513704-1 is not prime. Res64: 54959D6EBB4669B3 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:17:32] 665*2^1513704-1 is not prime. Res64: 69174B339CF70A0B Time : 0.0 sec. user=mdettweiler [2018-06-18 16:17:33] 753*2^1513704-1 is not prime. Res64: FA0E2A426BD6951F Time : 0.0 sec. user=mdettweiler [2018-06-18 16:27:20] 795*2^1513704-1 is not prime. Res64: 34FE33AAA56042F4 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:27:20] 837*2^1513704-1 is not prime. Res64: 9DC49B71531257DA Time : 0.0 sec. user=mdettweiler [2018-06-18 16:27:21] 947*2^1513704-1 is not prime. Res64: 9139F61441EA096D Time : 0.0 sec. user=mdettweiler [2018-06-18 16:27:21] 645*2^1513705-1 is not prime. Res64: F26D4ECD9287D909 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:27:22] 679*2^1513705-1 is not prime. Res64: 57CC750E9F395CFC Time : 0.0 sec. user=mdettweiler [2018-06-18 16:32:07] 775*2^1513705-1 is not prime. Res64: 0F664B71527E9067 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:32:08] 871*2^1513705-1 is not prime. Res64: DD0C1DABFD6F2BAB Time : 0.0 sec. user=mdettweiler [2018-06-18 16:32:08] 705*2^1513706-1 is not prime. Res64: 2FB102644BF2C0E7 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:32:09] 767*2^1513706-1 is not prime. Res64: 6ACF9C9C3E57B09B Time : 0.0 sec. user=mdettweiler [2018-06-18 16:32:09] 813*2^1513706-1 is not prime. Res64: 2B5DB8FA069D2A2A Time : 0.0 sec. user=mdettweiler [2018-06-18 16:39:51] 815*2^1513706-1 is not prime. Res64: D4D026B80F72B413 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:39:51] 851*2^1513706-1 is not prime. Res64: 714DBD11A3D63623 Time : 0.0 sec. user=mdettweiler [2018-06-18 16:39:52] 873*2^1513706-1 is not prime. Res64: 83D53BEB85E13C2E Time : 0.0 sec. user=mdettweiler [2018-06-18 16:39:52] 923*2^1513706-1 is not prime. Res64: 5A6A00970C82E24E Time : 0.0 sec. user=mdettweiler [2018-06-18 16:39:53] 971*2^1513706-1 is not prime. Res64: 2413901FB2D547F2 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:08:02] 1001*2^1513706-1 is not prime. Res64: 6CEAB45010B32A33 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:08:04] 619*2^1513707-1 is not prime. Res64: D177B11CEE2216F5 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:08:05] 829*2^1513707-1 is not prime. Res64: 34409F31DDF9DC63 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:08:06] 871*2^1513707-1 is not prime. Res64: 31BBFCD258919596 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:08:07] 873*2^1513707-1 is not prime. Res64: B0585F274793B49E Time : 0.0 sec. user=mdettweiler [2018-06-18 17:17:37] 945*2^1513707-1 is not prime. Res64: 24E904CCB9EC51EC Time : 0.0 sec. user=mdettweiler [2018-06-18 17:17:37] 955*2^1513707-1 is not prime. Res64: 0A734308CF906B18 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:17:38] 963*2^1513707-1 is not prime. Res64: 6C3EF08795F479ED Time : 0.0 sec. user=mdettweiler [2018-06-18 17:17:38] 615*2^1513708-1 is not prime. Res64: 7AC352FE5E62F867 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:17:38] 729*2^1513708-1 is not prime. Res64: 9CD05C2D4AF82B0B Time : 0.0 sec. user=mdettweiler [2018-06-18 17:22:23] 743*2^1513708-1 is not prime. Res64: 387080BDF9EC6855 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:22:24] 825*2^1513708-1 is not prime. Res64: B7C4DB1F99CD0FB6 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:22:24] 923*2^1513708-1 is not prime. Res64: BDD614F2EA60CC8A Time : 0.0 sec. user=mdettweiler [2018-06-18 17:22:25] 959*2^1513708-1 is not prime. Res64: 871759E6AE0A1762 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:22:25] 655*2^1513709-1 is not prime. Res64: 15C73417594C4868 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:30:43] 789*2^1513709-1 is not prime. Res64: 184F019F242EAB64 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:30:44] 801*2^1513709-1 is not prime. Res64: 39BAFC0A46B06EC7 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:30:44] 811*2^1513709-1 is not prime. Res64: AD770842706E2BC5 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:30:45] 931*2^1513709-1 is not prime. Res64: 2C33E180384D04F0 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:30:45] 955*2^1513709-1 is not prime. Res64: D5D851E0B4BE7AD6 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:58:54] 985*2^1513709-1 is not prime. Res64: 18C74684DCC92A0A Time : 0.0 sec. user=mdettweiler [2018-06-18 17:58:54] 611*2^1513710-1 is not prime. Res64: 98E0F6ED8BD1A10C Time : 0.0 sec. user=mdettweiler [2018-06-18 17:58:54] 635*2^1513710-1 is not prime. Res64: E1EB4C8F80B0AAD7 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:58:55] 755*2^1513710-1 is not prime. Res64: B7AAC64E52315139 Time : 0.0 sec. user=mdettweiler [2018-06-18 17:58:55] 765*2^1513710-1 is not prime. Res64: 99BFE3A1054D9BEB Time : 0.0 sec. user=mdettweiler [2018-06-18 18:07:52] 825*2^1513710-1 is not prime. Res64: 12EB6B6E2DB6774E Time : 0.0 sec. user=mdettweiler [2018-06-18 18:07:53] 861*2^1513710-1 is not prime. Res64: AD4CB70CCFAFE8B0 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:07:54] 885*2^1513710-1 is not prime. Res64: 5806C2B1D4C4B5E1 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:07:54] 927*2^1513710-1 is not prime. Res64: 683057FCB5A9DCCE Time : 0.0 sec. user=mdettweiler [2018-06-18 18:07:55] 619*2^1513711-1 is not prime. Res64: FBBE8FA691F36336 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:12:38] 625*2^1513711-1 is not prime. Res64: 3AFD39A6B999986F Time : 0.0 sec. user=mdettweiler [2018-06-18 18:12:38] 775*2^1513711-1 is not prime. Res64: 642D1C19EFACEB0B Time : 0.0 sec. user=mdettweiler [2018-06-18 18:12:39] 793*2^1513711-1 is not prime. Res64: 4309EDC08033D731 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:12:39] 811*2^1513711-1 is not prime. Res64: F695D1072DC0F5BD Time : 0.0 sec. user=mdettweiler [2018-06-18 18:12:40] 859*2^1513711-1 is not prime. Res64: 988F792E39C7C9BB Time : 0.0 sec. user=mdettweiler [2018-06-18 18:20:56] 885*2^1513711-1 is not prime. Res64: E225D31FA9FA2389 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:20:57] 603*2^1513712-1 is not prime. Res64: 8847CABA1FC5EC1B Time : 0.0 sec. user=mdettweiler [2018-06-18 18:20:57] 735*2^1513712-1 is not prime. Res64: 669A2FD019CF5F1A Time : 0.0 sec. user=mdettweiler [2018-06-18 18:20:57] 923*2^1513712-1 is not prime. Res64: 7D95047C497485CE Time : 0.0 sec. user=mdettweiler [2018-06-18 18:20:58] 935*2^1513712-1 is not prime. Res64: F4FB833B31EC530B Time : 0.0 sec. user=juhehe [2018-06-18 18:27:16] 685*2^1513713-1 is not prime. Res64: 1E08B4BEAD3AF810 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:49:11] 759*2^1513713-1 is not prime. Res64: 3C87E1F677240B84 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:49:11] 945*2^1513713-1 is not prime. Res64: 93265CA685AB202D Time : 0.0 sec. user=mdettweiler [2018-06-18 18:49:11] 617*2^1513714-1 is not prime. Res64: 221741E58844242A Time : 0.0 sec. user=mdettweiler [2018-06-18 18:49:12] 675*2^1513714-1 is not prime. Res64: 22B89F63079BD9B1 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:49:12] 833*2^1513714-1 is not prime. Res64: AFCE4ACE722974E0 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:58:07] 947*2^1513714-1 is not prime. Res64: 1038551FE9AAB0BC Time : 0.0 sec. user=mdettweiler [2018-06-18 18:58:07] 603*2^1513715-1 is not prime. Res64: 77469D0C7B140538 Time : 0.0 sec. user=mdettweiler [2018-06-18 18:58:07] 981*2^1513715-1 is not prime. Res64: 971DABFA1C516A5C Time : 0.0 sec. user=mdettweiler [2018-06-18 18:58:08] 635*2^1513716-1 is not prime. Res64: 58EADFC5A391430C Time : 0.0 sec. user=mdettweiler [2018-06-18 18:58:08] 689*2^1513716-1 is not prime. Res64: 2649DFA8B7D00DF5 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:02:55] 707*2^1513716-1 is not prime. Res64: 5EEFF0C78F63B5BE Time : 0.0 sec. user=mdettweiler [2018-06-18 19:02:56] 737*2^1513716-1 is not prime. Res64: 1209F2067416AF57 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:02:57] 843*2^1513716-1 is not prime. Res64: A63ADF00E6A1C837 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:02:57] 947*2^1513716-1 is not prime. Res64: 2F7F134AFA9E5A3B Time : 0.0 sec. user=mdettweiler [2018-06-18 19:02:58] 607*2^1513717-1 is not prime. Res64: A8304C2FD9571677 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:11:46] 675*2^1513717-1 is not prime. Res64: D758267423697D92 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:11:47] 687*2^1513717-1 is not prime. Res64: 850072357485DFEB Time : 0.0 sec. user=mdettweiler [2018-06-18 19:11:47] 741*2^1513717-1 is not prime. Res64: FC4DBEBF6C4A1D14 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:11:48] 747*2^1513717-1 is not prime. Res64: 306202FACA50D652 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:11:48] 897*2^1513717-1 is not prime. Res64: B05BDA3CDBA03041 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:39:07] 931*2^1513717-1 is not prime. Res64: 287101244129CA02 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:39:08] 623*2^1513718-1 is not prime. Res64: 71F9ED4E25E596FB Time : 0.0 sec. user=mdettweiler [2018-06-18 19:39:08] 657*2^1513718-1 is not prime. Res64: 0DB49403BFC27B9A Time : 0.0 sec. user=mdettweiler [2018-06-18 19:39:08] 671*2^1513718-1 is not prime. Res64: F289F164375C6934 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:39:09] 707*2^1513718-1 is not prime. Res64: 2A4E26C5F077A57E Time : 0.0 sec. user=mdettweiler [2018-06-18 19:48:45] 845*2^1513718-1 is not prime. Res64: C8212825FFA648EE Time : 0.0 sec. user=mdettweiler [2018-06-18 19:48:45] 935*2^1513718-1 is not prime. Res64: DD1DC4C02377B87B Time : 0.0 sec. user=mdettweiler [2018-06-18 19:48:46] 945*2^1513718-1 is not prime. Res64: F811FF088AC39397 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:48:46] 795*2^1513719-1 is not prime. Res64: 4B08B0E482D35068 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:48:47] 831*2^1513719-1 is not prime. Res64: 8BC4982E1261625C Time : 0.0 sec. user=mdettweiler [2018-06-18 19:53:05] 853*2^1513719-1 is not prime. Res64: C0AD6AE54B1CFDE4 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:53:06] 729*2^1513720-1 is not prime. Res64: E62B9B2792D6524D Time : 0.0 sec. user=mdettweiler [2018-06-18 19:53:06] 819*2^1513720-1 is not prime. Res64: EF4B9C370E2DD2C2 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:53:07] 923*2^1513720-1 is not prime. Res64: F1E978B01D6C3CC3 Time : 0.0 sec. user=mdettweiler [2018-06-18 19:53:07] 627*2^1513721-1 is not prime. Res64: E5B7C14C8A916E5E Time : 0.0 sec. user=mdettweiler [2018-06-18 20:02:31] 741*2^1513721-1 is not prime. Res64: 9F2E9F2970CD9200 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:02:31] 745*2^1513721-1 is not prime. Res64: E95EE467788A595C Time : 0.0 sec. user=mdettweiler [2018-06-18 20:02:32] 855*2^1513721-1 is not prime. Res64: 601DC2F06EBD08EB Time : 0.0 sec. user=mdettweiler [2018-06-18 20:02:33] 871*2^1513721-1 is not prime. Res64: 055EACB22A32F7A7 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:02:33] 879*2^1513721-1 is not prime. Res64: AF78E7D74AEDABA8 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:29:05] 885*2^1513721-1 is not prime. Res64: BEF361E0A71B42C9 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:29:06] 937*2^1513721-1 is not prime. Res64: 7ED4C3FEFBF456FA Time : 0.0 sec. user=mdettweiler [2018-06-18 20:29:06] 651*2^1513722-1 is not prime. Res64: BD719ECF0E23E3EF Time : 0.0 sec. user=mdettweiler [2018-06-18 20:29:06] 657*2^1513722-1 is not prime. Res64: 6175B480F3421FC5 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:29:07] 681*2^1513722-1 is not prime. Res64: 0B6A9EE62D599B13 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:39:07] 713*2^1513722-1 is not prime. Res64: 92E30CBC94F41C9B Time : 0.0 sec. user=mdettweiler [2018-06-18 20:39:07] 797*2^1513722-1 is not prime. Res64: 334AF8808E89BDCA Time : 0.0 sec. user=mdettweiler [2018-06-18 20:39:07] 885*2^1513722-1 is not prime. Res64: 96509F71C1972967 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:39:08] 615*2^1513723-1 is not prime. Res64: 7982E6A93BA4AF84 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:39:08] 745*2^1513723-1 is not prime. Res64: E27CBD65370B8A4F Time : 0.0 sec. user=mdettweiler [2018-06-18 20:43:55] 789*2^1513723-1 is not prime. Res64: 98B6C52F403673C5 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:43:55] 901*2^1513723-1 is not prime. Res64: 6E1F688D8D1D59BB Time : 0.0 sec. user=mdettweiler [2018-06-18 20:43:55] 915*2^1513723-1 is not prime. Res64: 0ED11D60021E101C Time : 0.0 sec. user=mdettweiler [2018-06-18 20:43:56] 707*2^1513724-1 is not prime. Res64: 054B79BE0BBBDED0 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:43:56] 743*2^1513724-1 is not prime. Res64: 94755DE11DD33DB0 Time : 0.0 sec. user=juhehe [2018-06-18 20:47:41] 679*2^1513725-1 is not prime. Res64: 5F6421D9AC6C0FA6 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:52:58] 759*2^1513724-1 is not prime. Res64: CA3771823908F4F6 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:52:59] 825*2^1513724-1 is not prime. Res64: AF4477FC6426B273 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:52:59] 945*2^1513724-1 is not prime. Res64: 9D639F814DB91CAE Time : 0.0 sec. user=mdettweiler [2018-06-18 20:52:59] 983*2^1513724-1 is not prime. Res64: 7996CD40CB275C32 Time : 0.0 sec. user=mdettweiler [2018-06-18 20:53:00] 639*2^1513725-1 is not prime. Res64: 1B4E177E8A91D96B Time : 0.0 sec. user=mdettweiler [2018-06-18 21:19:37] 699*2^1513725-1 is not prime. Res64: 95653EB8B5EA128C Time : 0.0 sec. user=mdettweiler [2018-06-18 21:19:37] 817*2^1513725-1 is not prime. Res64: E7C01BB4A20877CD Time : 0.0 sec. user=mdettweiler [2018-06-18 21:19:38] 867*2^1513725-1 is not prime. Res64: B2A341F250AF7DF1 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:19:38] 949*2^1513725-1 is not prime. Res64: 93886B4B4CACCA71 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:19:39] 961*2^1513725-1 is not prime. Res64: 3416A3F6F9797868 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:29:25] 999*2^1513725-1 is not prime. Res64: 3CC0607E837AB830 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:29:26] 611*2^1513726-1 is not prime. Res64: A915DBD225ECF8E4 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:29:26] 737*2^1513726-1 is not prime. Res64: B56828C3C1EEB02C Time : 0.0 sec. user=mdettweiler [2018-06-18 21:29:27] 815*2^1513726-1 is not prime. Res64: 9FCFECA54A147F88 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:29:27] 857*2^1513726-1 is not prime. Res64: 42EBF5B38165123F Time : 0.0 sec. user=mdettweiler [2018-06-18 21:34:05] 941*2^1513726-1 is not prime. Res64: 3119518CCE85360F Time : 0.0 sec. user=mdettweiler [2018-06-18 21:34:06] 615*2^1513727-1 is not prime. Res64: DF4D2D90D0551884 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:34:06] 673*2^1513727-1 is not prime. Res64: 50B7AF3779C6E0AC Time : 0.0 sec. user=mdettweiler [2018-06-18 21:34:07] 711*2^1513727-1 is not prime. Res64: DAC32304E0083783 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:34:07] 823*2^1513727-1 is not prime. Res64: C6E18501B9E79514 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:43:32] 843*2^1513727-1 is not prime. Res64: ED5D575D9D3C2F73 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:43:32] 901*2^1513727-1 is not prime. Res64: A98E1B17850F642A Time : 0.0 sec. user=mdettweiler [2018-06-18 21:43:33] 973*2^1513727-1 is not prime. Res64: 5C30F1FF78551E80 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:43:33] 979*2^1513727-1 is not prime. Res64: 437F5D53A1957F90 Time : 0.0 sec. user=mdettweiler [2018-06-18 21:43:34] 991*2^1513727-1 is not prime. Res64: 97EB60333952B90D Time : 0.0 sec. user=mdettweiler [2018-06-18 22:10:11] 705*2^1513728-1 is not prime. Res64: C5CC15E814CBD56D Time : 0.0 sec. user=mdettweiler [2018-06-18 22:10:12] 765*2^1513728-1 is not prime. Res64: DB4869518C6F2808 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:10:13] 767*2^1513728-1 is not prime. Res64: CF7B653D965401E4 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:10:13] 845*2^1513728-1 is not prime. Res64: 11EEC3CB8EB63F30 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:10:14] 741*2^1513729-1 is not prime. Res64: BFE70ABAEC136895 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:19:41] 819*2^1513729-1 is not prime. Res64: 90B956A1E143333F Time : 0.0 sec. user=mdettweiler [2018-06-18 22:19:41] 975*2^1513729-1 is not prime. Res64: A014936977723B60 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:19:42] 605*2^1513730-1 is not prime. Res64: 46258E67643F4504 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:19:42] 735*2^1513730-1 is not prime. Res64: C9AE618AFB5891D4 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:19:43] 783*2^1513730-1 is not prime. Res64: 03CC105CF1439E08 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:24:27] 801*2^1513730-1 is not prime. Res64: 2A09CA9B4394D61E Time : 0.0 sec. user=mdettweiler [2018-06-18 22:24:27] 813*2^1513730-1 is not prime. Res64: AD7EE5B0093B5169 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:24:27] 827*2^1513730-1 is not prime. Res64: B2D7D9E150C113D3 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:24:28] 843*2^1513730-1 is not prime. Res64: 7790C0A5FA234370 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:24:28] 651*2^1513731-1 is not prime. Res64: 5529CD27EA6312DF Time : 0.0 sec. user=mdettweiler [2018-06-18 22:33:40] 705*2^1513731-1 is not prime. Res64: B13C1DF72DA1E868 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:33:40] 903*2^1513731-1 is not prime. Res64: 1206EFE4739B5A54 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:33:40] 605*2^1513732-1 is not prime. Res64: 0AE891166ACF8E24 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:33:41] 749*2^1513732-1 is not prime. Res64: C22D030F51CA3445 Time : 0.0 sec. user=mdettweiler [2018-06-18 22:33:41] 797*2^1513732-1 is not prime. Res64: BEC1D640177D0172 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:00:52] 869*2^1513732-1 is not prime. Res64: E0A0B4B45C082E26 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:00:53] 873*2^1513732-1 is not prime. Res64: 5C47743D48369BF6 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:00:54] 897*2^1513732-1 is not prime. Res64: 444331A7B16C5098 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:00:54] 903*2^1513732-1 is not prime. Res64: BF0C8D64F73C6DA0 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:00:55] 929*2^1513732-1 is not prime. Res64: 02E6FC94032E1CC0 Time : 0.0 sec. user=juhehe [2018-06-18 23:07:53] 949*2^1513733-1 is not prime. Res64: BB06B9456F43AE59 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:09:54] 959*2^1513732-1 is not prime. Res64: C9EAB5D43668CC2B Time : 0.0 sec. user=mdettweiler [2018-06-18 23:09:55] 995*2^1513732-1 is not prime. Res64: C1BB679D26DB1A17 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:09:56] 657*2^1513733-1 is not prime. Res64: 3EB2A10FFD96860B Time : 0.0 sec. user=mdettweiler [2018-06-18 23:09:57] 789*2^1513733-1 is not prime. Res64: C58965B619D38FFF Time : 0.0 sec. user=mdettweiler [2018-06-18 23:09:57] 927*2^1513733-1 is not prime. Res64: 7A33CDC4534B7980 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:14:57] 985*2^1513733-1 is not prime. Res64: 276D6D447E725058 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:14:57] 683*2^1513734-1 is not prime. Res64: BF4F361B57397674 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:14:57] 693*2^1513734-1 is not prime. Res64: 8ED7071DBB2C672C Time : 0.0 sec. user=mdettweiler [2018-06-18 23:14:58] 705*2^1513734-1 is not prime. Res64: F698AF182D9106A4 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:14:58] 711*2^1513734-1 is not prime. Res64: 567197A250E9A951 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:24:11] 723*2^1513734-1 is not prime. Res64: 1BD1783AD64B6578 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:24:11] 737*2^1513734-1 is not prime. Res64: FD36A072CECCCF79 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:24:11] 747*2^1513734-1 is not prime. Res64: B204D7F2CA06BA83 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:24:12] 773*2^1513734-1 is not prime. Res64: 4F611CDA8C645152 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:24:12] 783*2^1513734-1 is not prime. Res64: 594DD71413EE3750 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:50:45] 951*2^1513734-1 is not prime. Res64: FCE9B98FCEB4FAC7 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:50:46] 1001*2^1513734-1 is not prime. Res64: E0FED85ABC310DF0 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:50:46] 625*2^1513735-1 is not prime. Res64: 8F5D8D592D7F9B2C Time : 0.0 sec. user=mdettweiler [2018-06-18 23:50:47] 651*2^1513735-1 is not prime. Res64: 104665A5F694F459 Time : 0.0 sec. user=mdettweiler [2018-06-18 23:50:47] 709*2^1513735-1 is not prime. Res64: A494BC10FFE24672 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:00:31] 741*2^1513735-1 is not prime. Res64: BA38BF99DE921C2F Time : 0.0 sec. user=mdettweiler [2018-06-19 00:00:32] 771*2^1513735-1 is not prime. Res64: EC613CF0E3E3EC30 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:00:32] 855*2^1513735-1 is not prime. Res64: F569855498A15A75 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:00:32] 623*2^1513736-1 is not prime. Res64: 0CA5739023653624 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:00:33] 677*2^1513736-1 is not prime. Res64: 3FFFDB7350994C76 Time : 0.0 sec.