user=mdettweiler [2016-11-09 00:40:15] 919*2^1445335-1 is not prime. Res64: E105C2576FE19DD3 Time : 0.0 sec. user=mdettweiler [2016-11-09 00:40:15] 999*2^1445335-1 is not prime. Res64: 7B2CB3670DB628AB Time : 0.0 sec. user=mdettweiler [2016-11-09 00:40:16] 609*2^1445336-1 is not prime. Res64: DB4EF97EF52374C5 Time : 0.0 sec. user=mdettweiler [2016-11-09 00:40:16] 669*2^1445336-1 is not prime. Res64: 020F6C35546979A5 Time : 0.0 sec. user=mdettweiler [2016-11-09 00:40:16] 717*2^1445336-1 is not prime. Res64: F93F94A3C684AF74 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:05:02] 785*2^1445336-1 is not prime. Res64: 4344E5E2CA6E71AA Time : 0.0 sec. user=mdettweiler [2016-11-09 01:05:04] 867*2^1445336-1 is not prime. Res64: 0950602067D8DC89 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:05:05] 875*2^1445336-1 is not prime. Res64: FFB293F025283D7E Time : 0.0 sec. user=mdettweiler [2016-11-09 01:05:06] 685*2^1445337-1 is not prime. Res64: 6C5D6A8CD35C1026 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:05:07] 717*2^1445337-1 is not prime. Res64: BCDD93253940BFCE Time : 0.0 sec. user=mdettweiler [2016-11-09 01:49:36] 805*2^1445337-1 is not prime. Res64: 0B19C867B88DC4EF Time : 0.0 sec. user=mdettweiler [2016-11-09 01:49:37] 817*2^1445337-1 is not prime. Res64: BF90DB14701DFBA4 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:49:37] 901*2^1445337-1 is not prime. Res64: BE3B6C9E76C1DF43 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:49:37] 937*2^1445337-1 is not prime. Res64: 63D6E74D4FED2CA4 Time : 0.0 sec. user=mdettweiler [2016-11-09 01:49:37] 605*2^1445338-1 is not prime. Res64: 9A8D52B18691296E Time : 0.0 sec. user=mdettweiler [2016-11-09 02:15:15] 671*2^1445338-1 is not prime. Res64: 86621AC5CF2190F7 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:15:17] 677*2^1445338-1 is not prime. Res64: 3C9AB09CE9BD20C5 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:15:17] 705*2^1445338-1 is not prime. Res64: D604344D53EB45A3 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:15:18] 747*2^1445338-1 is not prime. Res64: 2E515E975D25B864 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:15:19] 791*2^1445338-1 is not prime. Res64: 53E5BC8B9BAA4AF3 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:39:34] 727*2^1445333-1 is not prime. Res64: C55FD57B6578FCDA Time : 0.0 sec. user=mdettweiler [2016-11-09 02:39:35] 759*2^1445333-1 is not prime. Res64: 4BAB0776ED094839 Time : 0.0 sec. user=mdettweiler [2016-11-09 02:39:35] 787*2^1445333-1 is not prime. Res64: B0A7C51DA2AF87E7 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:00:49] 803*2^1445338-1 is not prime. Res64: BD2225FDDC58AF71 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:00:50] 813*2^1445338-1 is not prime. Res64: 532E390251079DC4 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:00:51] 945*2^1445338-1 is not prime. Res64: 4B25A0740C18D3BA Time : 0.0 sec. user=mdettweiler [2016-11-09 03:00:54] 1001*2^1445338-1 is not prime. Res64: 556CAC974AFAFABD Time : 0.0 sec. user=mdettweiler [2016-11-09 03:00:56] 745*2^1445339-1 is not prime. Res64: 1C19AFFAAA47A0AE Time : 0.0 sec. user=mdettweiler [2016-11-09 03:21:51] 753*2^1445339-1 is not prime. Res64: 205F460DE93BBEEC Time : 0.0 sec. user=mdettweiler [2016-11-09 03:21:51] 789*2^1445339-1 is not prime. Res64: 7F2A5A7EDAC0F3BF Time : 0.0 sec. user=mdettweiler [2016-11-09 03:21:52] 825*2^1445339-1 is not prime. Res64: C561060A930403BD Time : 0.0 sec. user=mdettweiler [2016-11-09 03:21:52] 913*2^1445339-1 is not prime. Res64: 9C0CB2BC40BC63C9 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:21:53] 723*2^1445340-1 is not prime. Res64: 56251A4BE250B496 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:48:39] 725*2^1445340-1 is not prime. Res64: 6CA5A58889E239F0 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:48:40] 797*2^1445340-1 is not prime. Res64: A9468C10B1679D1C Time : 0.0 sec. user=mdettweiler [2016-11-09 03:48:41] 839*2^1445340-1 is not prime. Res64: 99B28790562881FC Time : 0.0 sec. user=mdettweiler [2016-11-09 03:48:41] 845*2^1445340-1 is not prime. Res64: 44E01EFA0916FDE8 Time : 0.0 sec. user=mdettweiler [2016-11-09 03:48:42] 899*2^1445340-1 is not prime. Res64: 398FCDB8D1895C8B Time : 0.0 sec. user=mdettweiler [2016-11-09 04:04:10] 905*2^1445340-1 is not prime. Res64: F88623B22EC89101 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:04:11] 687*2^1445341-1 is not prime. Res64: 28EF17B068A0AE82 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:04:13] 777*2^1445341-1 is not prime. Res64: 88631470F094466E Time : 0.0 sec. user=mdettweiler [2016-11-09 04:04:14] 789*2^1445341-1 is not prime. Res64: 4D256EB94A3A65E7 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:04:15] 847*2^1445341-1 is not prime. Res64: 0896DFD50F4F423E Time : 0.0 sec. user=mdettweiler [2016-11-09 04:07:36] 855*2^1445341-1 is not prime. Res64: DA4036B5C58EB94D Time : 0.0 sec. user=mdettweiler [2016-11-09 04:07:38] 657*2^1445342-1 is not prime. Res64: 3E1BA0123C944D19 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:07:42] 791*2^1445342-1 is not prime. Res64: 2CC1E24E9EC02A36 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:07:44] 893*2^1445342-1 is not prime. Res64: B3C33561A7FC8E35 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:07:46] 911*2^1445342-1 is not prime. Res64: 9078D59569C7BE04 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:22:58] 945*2^1445342-1 is not prime. Res64: B5FE6016D6357148 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:22:58] 669*2^1445343-1 is not prime. Res64: 09E50EA5DA0956C6 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:22:59] 693*2^1445343-1 is not prime. Res64: 45A3B4CCF0A93938 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:22:59] 919*2^1445343-1 is not prime. Res64: A721F6C33ADD126E Time : 0.0 sec. user=mdettweiler [2016-11-09 04:23:00] 719*2^1445344-1 is not prime. Res64: 1CF0E685D8EEB787 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:33:22] 743*2^1445344-1 is not prime. Res64: C907F20D4C8C8B3A Time : 0.0 sec. user=mdettweiler [2016-11-09 04:33:23] 765*2^1445344-1 is not prime. Res64: E22EE8BC74FE78AA Time : 0.0 sec. user=mdettweiler [2016-11-09 04:33:23] 785*2^1445344-1 is not prime. Res64: 062F295F189D69E2 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:33:24] 843*2^1445344-1 is not prime. Res64: 32F3804E9D0E75E2 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:33:24] 875*2^1445344-1 is not prime. Res64: 5658D16E27E9C390 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:48:45] 959*2^1445344-1 is not prime. Res64: 33B80C0D48B67CF0 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:48:46] 669*2^1445345-1 is not prime. Res64: 75EF4DB7BE4AAC19 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:48:46] 697*2^1445345-1 is not prime. Res64: 82EEE86BEBD2AF5E Time : 0.0 sec. user=mdettweiler [2016-11-09 04:48:47] 787*2^1445345-1 is not prime. Res64: 789664384CB90C67 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:48:47] 937*2^1445345-1 is not prime. Res64: CD9F6463531E4523 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:52:42] 949*2^1445345-1 is not prime. Res64: AC6FF4E65C62D051 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:52:43] 985*2^1445345-1 is not prime. Res64: A72007B5C8DA195E Time : 0.0 sec. user=mdettweiler [2016-11-09 04:52:43] 987*2^1445345-1 is not prime. Res64: D44E32C6B09FB3E6 Time : 0.0 sec. user=mdettweiler [2016-11-09 04:52:44] 671*2^1445346-1 is not prime. Res64: 6D2428EAFFF40BCA Time : 0.0 sec. user=mdettweiler [2016-11-09 04:52:44] 821*2^1445346-1 is not prime. Res64: F25C89C9AD4781C6 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:08:05] 851*2^1445346-1 is not prime. Res64: 7BE0AF51623CF362 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:08:05] 891*2^1445346-1 is not prime. Res64: D4CA74E54A0EDC40 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:08:06] 615*2^1445347-1 is not prime. Res64: 1D4F459CB3797E88 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:08:06] 741*2^1445347-1 is not prime. Res64: 043EC675F16A3D03 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:08:07] 759*2^1445347-1 is not prime. Res64: 3F0B521FFFE8DDA9 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:18:36] 819*2^1445347-1 is not prime. Res64: 6F902568264D0215 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:18:36] 861*2^1445347-1 is not prime. Res64: D735CA6675BDE0BB Time : 0.0 sec. user=mdettweiler [2016-11-09 05:18:37] 603*2^1445348-1 is not prime. Res64: 83EA1E8950606CCA Time : 0.0 sec. user=mdettweiler [2016-11-09 05:18:37] 629*2^1445348-1 is not prime. Res64: B68AE08ED1FB6C29 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:18:38] 773*2^1445348-1 is not prime. Res64: 80B05A9FC6B1071D Time : 0.0 sec. user=mdettweiler [2016-11-09 05:34:15] 797*2^1445348-1 is not prime. Res64: BB1F5921BE6CDB6B Time : 0.0 sec. user=mdettweiler [2016-11-09 05:34:16] 813*2^1445348-1 is not prime. Res64: E9BEF8A685C012A7 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:34:16] 875*2^1445348-1 is not prime. Res64: 094D643C35E747ED Time : 0.0 sec. user=mdettweiler [2016-11-09 05:34:17] 999*2^1445348-1 is not prime. Res64: BEE77B1F9E95B87B Time : 0.0 sec. user=mdettweiler [2016-11-09 05:34:17] 649*2^1445349-1 is not prime. Res64: 675CD34F95EE51FE Time : 0.0 sec. user=mdettweiler [2016-11-09 05:37:44] 727*2^1445349-1 is not prime. Res64: 6B77AE80D08CDB12 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:37:44] 765*2^1445349-1 is not prime. Res64: 1EF996B3BF2D8772 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:37:44] 877*2^1445349-1 is not prime. Res64: F11291ADAECC001B Time : 0.0 sec. user=mdettweiler [2016-11-09 05:37:45] 891*2^1445349-1 is not prime. Res64: F42EBC2B99DA4F3E Time : 0.0 sec. user=mdettweiler [2016-11-09 05:37:45] 991*2^1445349-1 is not prime. Res64: 6D20826C70EBCF46 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:52:49] 999*2^1445349-1 is not prime. Res64: DF105003DD3A372C Time : 0.0 sec. user=mdettweiler [2016-11-09 05:52:50] 619*2^1445351-1 is not prime. Res64: 6D049A977789D297 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:52:50] 621*2^1445351-1 is not prime. Res64: 8EBA972A3FA75192 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:52:51] 663*2^1445351-1 is not prime. Res64: D3083786B636DAD4 Time : 0.0 sec. user=mdettweiler [2016-11-09 05:52:51] 759*2^1445351-1 is not prime. Res64: 6409D58CA8BAF633 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:03:27] 783*2^1445351-1 is not prime. Res64: 8E7EE6AC41A0BBEF Time : 0.0 sec. user=mdettweiler [2016-11-09 06:03:28] 811*2^1445351-1 is not prime. Res64: A6796F05DA93CD52 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:03:29] 823*2^1445351-1 is not prime. Res64: BA90F2574A486EDC Time : 0.0 sec. user=mdettweiler [2016-11-09 06:03:30] 843*2^1445351-1 is not prime. Res64: BF58465F388B7772 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:03:30] 909*2^1445351-1 is not prime. Res64: A62ECC1F355BBC7D Time : 0.0 sec. user=mdettweiler [2016-11-09 06:18:48] 921*2^1445351-1 is not prime. Res64: 3E8280162CB32AEB Time : 0.0 sec. user=mdettweiler [2016-11-09 06:18:48] 759*2^1445352-1 is not prime. Res64: DEED288EECA20530 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:18:49] 765*2^1445352-1 is not prime. Res64: 2CF9C6F8164A0744 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:18:49] 797*2^1445352-1 is not prime. Res64: D4F93B2EB9EC9429 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:18:50] 825*2^1445352-1 is not prime. Res64: 047DB3409DF7D877 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:22:18] 929*2^1445352-1 is not prime. Res64: 8DA2E0DD9AF75246 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:22:18] 747*2^1445353-1 is not prime. Res64: 56987D3B1F0951A7 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:22:19] 789*2^1445353-1 is not prime. Res64: 389D9125CB76F898 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:22:19] 801*2^1445353-1 is not prime. Res64: 280D4BD39313AB42 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:22:20] 847*2^1445353-1 is not prime. Res64: 8E0596280EFA2479 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:37:26] 861*2^1445353-1 is not prime. Res64: AC6A996CBBBD2A36 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:37:27] 867*2^1445353-1 is not prime. Res64: 589EF2B7856F3785 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:37:27] 939*2^1445353-1 is not prime. Res64: 26A8C5BA326EBD43 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:37:28] 957*2^1445353-1 is not prime. Res64: 8993BEF1CCAC2366 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:37:28] 605*2^1445354-1 is not prime. Res64: 8B024B59F577F1D0 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:48:05] 657*2^1445354-1 is not prime. Res64: 3170BCACF70D412C Time : 0.0 sec. user=mdettweiler [2016-11-09 06:48:06] 813*2^1445354-1 is not prime. Res64: F7B388807691B3D8 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:48:06] 827*2^1445354-1 is not prime. Res64: A5F40E57A06DE373 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:48:07] 857*2^1445354-1 is not prime. Res64: 567EA5AD2C59D833 Time : 0.0 sec. user=mdettweiler [2016-11-09 06:48:07] 971*2^1445354-1 is not prime. Res64: 3B966968D10A6EED Time : 0.0 sec. user=mdettweiler [2016-11-09 07:04:02] 711*2^1445355-1 is not prime. Res64: 05F28D742ED1FF13 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:04:03] 753*2^1445355-1 is not prime. Res64: 84FDBA5063681C5C Time : 0.0 sec. user=mdettweiler [2016-11-09 07:04:05] 775*2^1445355-1 is not prime. Res64: F70B3EE6A35405AA Time : 0.0 sec. user=mdettweiler [2016-11-09 07:04:07] 781*2^1445355-1 is not prime. Res64: 7362BBA07DA8409F Time : 0.0 sec. user=mdettweiler [2016-11-09 07:04:08] 805*2^1445355-1 is not prime. Res64: FD85D20807EF02DA Time : 0.0 sec. user=mdettweiler [2016-11-09 07:07:39] 951*2^1445355-1 is not prime. Res64: 7A9ECC2E25F6512F Time : 0.0 sec. user=mdettweiler [2016-11-09 07:07:41] 603*2^1445356-1 is not prime. Res64: 68C51E1EADB5031E Time : 0.0 sec. user=mdettweiler [2016-11-09 07:07:44] 639*2^1445356-1 is not prime. Res64: 109B2EAB050E01D3 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:07:47] 785*2^1445356-1 is not prime. Res64: 4E9FF013263CFA8C Time : 0.0 sec. user=mdettweiler [2016-11-09 07:07:50] 873*2^1445356-1 is not prime. Res64: 8DF215D0710559C8 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:22:41] 965*2^1445356-1 is not prime. Res64: 1E57DAF52AB547B8 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:22:41] 669*2^1445357-1 is not prime. Res64: 8457E49C1D211195 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:22:42] 699*2^1445357-1 is not prime. Res64: 9E100B0A2D856557 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:22:42] 741*2^1445357-1 is not prime. Res64: 9ACE15B1FDA9E362 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:22:43] 759*2^1445357-1 is not prime. Res64: 10C1E897356CCF19 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:33:31] 819*2^1445357-1 is not prime. Res64: 3A4819224A30A593 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:33:32] 847*2^1445357-1 is not prime. Res64: 8639A9FC58EF8C95 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:33:32] 925*2^1445357-1 is not prime. Res64: D6BA3E03EA608763 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:33:33] 927*2^1445357-1 is not prime. Res64: BB8D0C90C17C13A1 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:33:33] 949*2^1445357-1 is not prime. Res64: 0622E29BF590586A Time : 0.0 sec. user=mdettweiler [2016-11-09 07:48:48] 985*2^1445357-1 is not prime. Res64: 2DE89816F02A68E0 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:48:49] 651*2^1445358-1 is not prime. Res64: C191994FBD2F1817 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:48:49] 663*2^1445358-1 is not prime. Res64: 63A92F5C913CE71E Time : 0.0 sec. user=mdettweiler [2016-11-09 07:48:50] 683*2^1445358-1 is not prime. Res64: 23F29E7A4A6FA2B0 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:48:51] 777*2^1445358-1 is not prime. Res64: 93993DB4799EF1E5 Time : 0.0 sec. user=mdettweiler [2016-11-09 07:52:44] 797*2^1445358-1 is not prime. Res64: 5D6AC34CD339502A Time : 0.0 sec. user=mdettweiler [2016-11-09 07:52:44] 951*2^1445358-1 is not prime. Res64: FA09A7E68772948D Time : 0.0 sec. user=mdettweiler [2016-11-09 07:52:45] 971*2^1445358-1 is not prime. Res64: 42F943D8B050C77E Time : 0.0 sec. user=mdettweiler [2016-11-09 07:52:45] 609*2^1445359-1 is not prime. Res64: 400A32F231B4B62E Time : 0.0 sec. user=mdettweiler [2016-11-09 07:52:46] 625*2^1445359-1 is not prime. Res64: 2D1852EBDC2CE9DB Time : 0.0 sec. user=mdettweiler [2016-11-09 08:07:19] 685*2^1445359-1 is not prime. Res64: C8B194685D254685 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:07:21] 829*2^1445359-1 is not prime. Res64: 4C935A889FF9780E Time : 0.0 sec. user=mdettweiler [2016-11-09 08:07:22] 841*2^1445359-1 is not prime. Res64: 10E225AC6DB25DF5 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:07:23] 855*2^1445359-1 is not prime. Res64: 929B6F41858DC6B0 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:07:25] 747*2^1445360-1 is not prime. Res64: 7080BDE673360DE9 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:18:16] 843*2^1445360-1 is not prime. Res64: 942015CF89357730 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:18:16] 879*2^1445360-1 is not prime. Res64: E596E73CD37AA997 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:18:17] 923*2^1445360-1 is not prime. Res64: ACA60283A02D6260 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:18:17] 977*2^1445360-1 is not prime. Res64: EC1A8E577E086191 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:18:18] 747*2^1445361-1 is not prime. Res64: 763D83550F96A202 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:33:26] 789*2^1445361-1 is not prime. Res64: D289AE3F34DB3083 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:33:26] 877*2^1445361-1 is not prime. Res64: 790A00A84C891FCD Time : 0.0 sec. user=mdettweiler [2016-11-09 08:33:27] 945*2^1445361-1 is not prime. Res64: E05D732A622FAFBD Time : 0.0 sec. user=mdettweiler [2016-11-09 08:33:27] 621*2^1445362-1 is not prime. Res64: 9598098DA695E723 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:33:28] 645*2^1445362-1 is not prime. Res64: 48C88DF49D9C3792 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:37:21] 677*2^1445362-1 is not prime. Res64: D723F703E218E646 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:37:22] 813*2^1445362-1 is not prime. Res64: FD2FDF547027DED6 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:37:22] 843*2^1445362-1 is not prime. Res64: 35F30E28E1F79322 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:37:23] 983*2^1445362-1 is not prime. Res64: 4B035A95E3131E63 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:37:23] 621*2^1445363-1 is not prime. Res64: 0374D1E2F9C5D738 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:52:11] 735*2^1445363-1 is not prime. Res64: D193A589921C6074 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:52:12] 771*2^1445363-1 is not prime. Res64: 73AB83E491E430D1 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:52:12] 871*2^1445363-1 is not prime. Res64: 4DC44FF3928B9008 Time : 0.0 sec. user=mdettweiler [2016-11-09 08:52:13] 949*2^1445363-1 is not prime. Res64: 3DC642E5EB5AB7FB Time : 0.0 sec. user=mdettweiler [2016-11-09 08:52:13] 985*2^1445363-1 is not prime. Res64: C26AEDD188C1DDC9 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:03:34] 639*2^1445364-1 is not prime. Res64: F9E6847448E0C4A1 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:03:38] 717*2^1445364-1 is not prime. Res64: 61D41F012E2B38B9 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:03:41] 737*2^1445364-1 is not prime. Res64: C662091A7988EF6D Time : 0.0 sec. user=mdettweiler [2016-11-09 09:03:45] 759*2^1445364-1 is not prime. Res64: B2BE52F0C018D187 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:03:48] 843*2^1445364-1 is not prime. Res64: EBA28784E15A8E33 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:18:30] 915*2^1445364-1 is not prime. Res64: 10EF299164B3ADA8 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:18:31] 773*2^1445366-1 is not prime. Res64: B1B02B7C0CC13FA5 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:18:31] 851*2^1445366-1 is not prime. Res64: 243B9E2275994CFD Time : 0.0 sec. user=mdettweiler [2016-11-09 09:18:32] 857*2^1445366-1 is not prime. Res64: 7AE7DA9596F49CAF Time : 0.0 sec. user=mdettweiler [2016-11-09 09:18:32] 991*2^1445367-1 is not prime. Res64: 616711CA0DE6F29D Time : 0.0 sec. user=mdettweiler [2016-11-09 09:22:44] 833*2^1445368-1 is not prime. Res64: 68C4A6BD003DB305 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:22:44] 869*2^1445368-1 is not prime. Res64: 7373A8A36FBC9E49 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:22:45] 933*2^1445368-1 is not prime. Res64: 632ABC54D37B75FE Time : 0.0 sec. user=mdettweiler [2016-11-09 09:22:45] 995*2^1445368-1 is not prime. Res64: 16D65690F04A45CB Time : 0.0 sec. user=mdettweiler [2016-11-09 09:22:46] 909*2^1445369-1 is not prime. Res64: 7A243BF0D9784DD4 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:37:02] 967*2^1445369-1 is not prime. Res64: 18C9B23353D37AB4 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:37:03] 735*2^1445370-1 is not prime. Res64: 7560AA82AB980CFC Time : 0.0 sec. user=mdettweiler [2016-11-09 09:37:03] 765*2^1445370-1 is not prime. Res64: 2785BF7C0140B474 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:37:04] 777*2^1445370-1 is not prime. Res64: 5490721A05CF21D7 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:37:04] 915*2^1445370-1 is not prime. Res64: B6B36BC4C64EF9BA Time : 0.0 sec. user=mdettweiler [2016-11-09 09:48:34] 927*2^1445370-1 is not prime. Res64: D19759A31F48C50A Time : 0.0 sec. user=mdettweiler [2016-11-09 09:48:35] 609*2^1445371-1 is not prime. Res64: 5D2DAADC683C932A Time : 0.0 sec. user=mdettweiler [2016-11-09 09:48:35] 639*2^1445371-1 is not prime. Res64: 4508A0EEF37D4965 Time : 0.0 sec. user=mdettweiler [2016-11-09 09:48:36] 663*2^1445371-1 is not prime. Res64: 917C54320C6C2C4B Time : 0.0 sec. user=mdettweiler [2016-11-09 09:48:36] 693*2^1445371-1 is not prime. Res64: 5DA237058A2DA0D2 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:03:09] 769*2^1445371-1 is not prime. Res64: 6A4019CB8C29636F Time : 0.0 sec. user=mdettweiler [2016-11-09 10:03:11] 993*2^1445371-1 is not prime. Res64: A71EB824D949B2D8 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:03:12] 717*2^1445372-1 is not prime. Res64: 85FFF3F1212A4F90 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:03:13] 719*2^1445372-1 is not prime. Res64: D8A7FEED1777352C Time : 0.0 sec. user=mdettweiler [2016-11-09 10:03:14] 753*2^1445372-1 is not prime. Res64: 4D32CA5091DEDF38 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:07:29] 855*2^1445372-1 is not prime. Res64: 4B5AB52AE97CD9F9 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:07:35] 867*2^1445372-1 is not prime. Res64: 553AABA3D482B44A Time : 0.0 sec. user=mdettweiler [2016-11-09 10:07:35] 957*2^1445372-1 is not prime. Res64: F8B7E9CA030FC9C6 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:07:36] 657*2^1445373-1 is not prime. Res64: 7F0C85D01F8361B4 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:07:37] 679*2^1445373-1 is not prime. Res64: FFE56EEEDE411511 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:21:41] 847*2^1445373-1 is not prime. Res64: 9ACA24447451B197 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:21:42] 889*2^1445373-1 is not prime. Res64: 0F661847A0EB0AFB Time : 0.0 sec. user=mdettweiler [2016-11-09 10:21:42] 737*2^1445374-1 is not prime. Res64: 98519ABB55C87293 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:21:43] 741*2^1445374-1 is not prime. Res64: F245BBF98DFCC86C Time : 0.0 sec. user=mdettweiler [2016-11-09 10:21:43] 783*2^1445374-1 is not prime. Res64: C13E3C4B4B7F41D9 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:33:10] 815*2^1445374-1 is not prime. Res64: 47E79872A25CD0A8 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:33:11] 831*2^1445374-1 is not prime. Res64: 9F40F59EB1848C11 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:33:11] 857*2^1445374-1 is not prime. Res64: 6605C77C84109927 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:33:12] 885*2^1445374-1 is not prime. Res64: 368582B8F09D7403 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:33:12] 917*2^1445374-1 is not prime. Res64: 2E46F36432555923 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:47:47] 923*2^1445374-1 is not prime. Res64: 3A7AC9163C6D40FA Time : 0.0 sec. user=mdettweiler [2016-11-09 10:47:48] 941*2^1445374-1 is not prime. Res64: A233B33AC96E3189 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:47:48] 981*2^1445374-1 is not prime. Res64: AEEDBB65AF6B2959 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:47:49] 685*2^1445375-1 is not prime. Res64: 950E02B84C95F90B Time : 0.0 sec. user=mdettweiler [2016-11-09 10:47:49] 741*2^1445375-1 is not prime. Res64: 9327432EB5012A2B Time : 0.0 sec. user=mdettweiler [2016-11-09 10:52:14] 775*2^1445375-1 is not prime. Res64: 622584FD40587611 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:52:14] 865*2^1445375-1 is not prime. Res64: D8FE229D676C3DE4 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:52:15] 943*2^1445375-1 is not prime. Res64: D8B3486A52C98C82 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:52:15] 981*2^1445375-1 is not prime. Res64: 9589009C09BDC246 Time : 0.0 sec. user=mdettweiler [2016-11-09 10:52:16] 985*2^1445375-1 is not prime. Res64: 602CFD391EE675EE Time : 0.0 sec. user=mdettweiler [2016-11-09 11:06:57] 633*2^1445376-1 is not prime. Res64: 5C1D07E286E49308 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:06:59] 669*2^1445376-1 is not prime. Res64: 52FCF4EE32FA605C Time : 0.0 sec. user=mdettweiler [2016-11-09 11:07:02] 689*2^1445376-1 is not prime. Res64: E56BFC4110299BCA Time : 0.0 sec. user=mdettweiler [2016-11-09 11:07:04] 737*2^1445376-1 is not prime. Res64: 2DE7C181BD993280 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:07:06] 759*2^1445376-1 is not prime. Res64: A555A73B7E3A2C51 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:18:16] 765*2^1445376-1 is not prime. Res64: A152F6B407BAC88D Time : 0.0 sec. user=mdettweiler [2016-11-09 11:18:17] 803*2^1445376-1 is not prime. Res64: 9B31A794C5853E1C Time : 0.0 sec. user=mdettweiler [2016-11-09 11:18:17] 845*2^1445376-1 is not prime. Res64: 2B404EDB712690B6 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:18:18] 849*2^1445376-1 is not prime. Res64: 6232C378DD8F2601 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:18:18] 873*2^1445376-1 is not prime. Res64: D52DE21AA2B9E1E6 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:34:54] 879*2^1445376-1 is not prime. Res64: 68AF1845E5D8B66D Time : 0.0 sec. user=mdettweiler [2016-11-09 11:34:54] 649*2^1445377-1 is not prime. Res64: F6F9349A51E3625F Time : 0.0 sec. user=mdettweiler [2016-11-09 11:34:55] 675*2^1445377-1 is not prime. Res64: 52036D24B22588F5 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:34:55] 889*2^1445377-1 is not prime. Res64: 157E35F1F01D0F5C Time : 0.0 sec. user=mdettweiler [2016-11-09 11:34:55] 979*2^1445377-1 is not prime. Res64: B25BDE737A5267EF Time : 0.0 sec. user=mdettweiler [2016-11-09 11:38:40] 641*2^1445378-1 is not prime. Res64: 7DA2C40E7E6634F6 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:38:41] 671*2^1445378-1 is not prime. Res64: 0BDE68796CC7EDD3 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:38:41] 677*2^1445378-1 is not prime. Res64: 3E4A5F641FE82750 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:38:41] 753*2^1445378-1 is not prime. Res64: B49F4B3F3CA49F24 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:38:41] 771*2^1445378-1 is not prime. Res64: FF2C3E9F9DF272C0 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:55:50] 951*2^1445378-1 is not prime. Res64: B4223B181BAB5CCC Time : 0.0 sec. user=mdettweiler [2016-11-09 11:55:50] 957*2^1445378-1 is not prime. Res64: 7E0B196D6EA2E2F3 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:55:51] 703*2^1445379-1 is not prime. Res64: A35AA73172ADC449 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:55:51] 823*2^1445379-1 is not prime. Res64: 3EFA23DE9A20FC29 Time : 0.0 sec. user=mdettweiler [2016-11-09 11:55:51] 951*2^1445379-1 is not prime. Res64: 5DFEC4E1EE25B47F Time : 0.0 sec. user=mdettweiler [2016-11-09 12:07:04] 695*2^1445380-1 is not prime. Res64: B2483C8C22D0EE2E Time : 0.0 sec. user=mdettweiler [2016-11-09 12:07:06] 717*2^1445380-1 is not prime. Res64: 3847C43CAF80E36A Time : 0.0 sec. user=mdettweiler [2016-11-09 12:07:07] 839*2^1445380-1 is not prime. Res64: FA90825A56672E63 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:07:08] 927*2^1445380-1 is not prime. Res64: CDC1FED4BE076CE0 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:07:10] 959*2^1445380-1 is not prime. Res64: 59D7CF32F9B35D73 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:23:54] 799*2^1445381-1 is not prime. Res64: FA6D84328EC74EA2 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:23:54] 861*2^1445381-1 is not prime. Res64: 499C79C319B02878 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:23:55] 931*2^1445381-1 is not prime. Res64: 3182D13D29196B4A Time : 0.0 sec. user=mdettweiler [2016-11-09 12:23:55] 621*2^1445382-1 is not prime. Res64: 2FF4E046F1282CAD Time : 0.0 sec. user=mdettweiler [2016-11-09 12:23:56] 693*2^1445382-1 is not prime. Res64: 1DB1194223B2A8AC Time : 0.0 sec. user=mdettweiler [2016-11-09 12:26:53] 717*2^1445382-1 is not prime. Res64: 33AEAE9CC290C875 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:26:53] 725*2^1445382-1 is not prime. Res64: 0CEE7EF2D2DACD7E Time : 0.0 sec. user=mdettweiler [2016-11-09 12:26:54] 747*2^1445382-1 is not prime. Res64: 738E8B13FC30A707 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:26:54] 765*2^1445382-1 is not prime. Res64: 4DCFB5350015CE46 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:26:54] 873*2^1445382-1 is not prime. Res64: 98905904044872DE Time : 0.0 sec. user=mdettweiler [2016-11-09 12:48:45] 893*2^1445382-1 is not prime. Res64: BD0B43C069A6CFA1 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:48:45] 625*2^1445383-1 is not prime. Res64: 503364D4C74080E7 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:48:45] 729*2^1445383-1 is not prime. Res64: 88BE3AC7EE76C18F Time : 0.0 sec. user=mdettweiler [2016-11-09 12:48:45] 745*2^1445383-1 is not prime. Res64: 631BAC462E29BB80 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:48:45] 859*2^1445383-1 is not prime. Res64: DCE819F304E71B2C Time : 0.0 sec. user=mdettweiler [2016-11-09 12:59:58] 925*2^1445383-1 is not prime. Res64: 7B353DCB997FA0CE Time : 0.0 sec. user=mdettweiler [2016-11-09 12:59:59] 719*2^1445384-1 is not prime. Res64: 4D1E7C5AB7F85BD6 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:59:59] 725*2^1445384-1 is not prime. Res64: 203BF2824EDA7086 Time : 0.0 sec. user=mdettweiler [2016-11-09 12:59:59] 875*2^1445384-1 is not prime. Res64: BF0A4B128FE6597F Time : 0.0 sec. user=mdettweiler [2016-11-09 13:00:00] 903*2^1445384-1 is not prime. Res64: 2CFC3E1A2979C41B Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:19] 609*2^1445385-1 is not prime. Res64: 592371341D776B60 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:20] 709*2^1445385-1 is not prime. Res64: 4B4C26BDD8D14CA3 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:21] 803*2^1445386-1 is not prime. Res64: C1D8390B13E5C1B7 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:21] 857*2^1445386-1 is not prime. Res64: 3BB2E8764FA9DC59 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:21] 971*2^1445386-1 is not prime. Res64: C8E72BD76133293D Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:57] 601*2^1445387-1 is not prime. Res64: 3FF6BD0BABA80F2B Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:57] 609*2^1445387-1 is not prime. Res64: 28339F83DE128F85 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:58] 711*2^1445387-1 is not prime. Res64: 14319B51486448C4 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:58] 931*2^1445387-1 is not prime. Res64: D6AE249B0BB19D82 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:19:59] 949*2^1445387-1 is not prime. Res64: AAF51F9FFDB76801 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:39:05] 979*2^1445387-1 is not prime. Res64: 4EEB01D586427ADC Time : 0.0 sec. user=mdettweiler [2016-11-09 13:39:05] 985*2^1445387-1 is not prime. Res64: FD2C69FF9AD044FC Time : 0.0 sec. user=mdettweiler [2016-11-09 13:39:05] 825*2^1445388-1 is not prime. Res64: 59606AF705825EFA Time : 0.0 sec. user=mdettweiler [2016-11-09 13:39:06] 839*2^1445388-1 is not prime. Res64: 648718D368966546 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:39:06] 887*2^1445388-1 is not prime. Res64: 7369FF9A76DC1620 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:50:15] 915*2^1445388-1 is not prime. Res64: 11AA72A851EE5DA0 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:50:15] 993*2^1445388-1 is not prime. Res64: E6494EE10D3E5BC0 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:50:15] 625*2^1445389-1 is not prime. Res64: 0019D226BB5B95B6 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:50:16] 687*2^1445389-1 is not prime. Res64: BCF94154F5B37109 Time : 0.0 sec. user=mdettweiler [2016-11-09 13:50:16] 741*2^1445389-1 is not prime. Res64: 13CF2E5D0F61CF44 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:07:55] 757*2^1445389-1 is not prime. Res64: 9593CE29D0F031D2 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:07:57] 817*2^1445389-1 is not prime. Res64: DF0B3F76B910B407 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:00] 819*2^1445389-1 is not prime. Res64: 6FE9796B47409ED4 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:02] 861*2^1445389-1 is not prime. Res64: 139F91417FB98E35 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:05] 919*2^1445389-1 is not prime. Res64: 9023D4E8AFBDE9E3 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:33] 605*2^1445390-1 is not prime. Res64: B9285CA47A8E6D36 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:38] 713*2^1445390-1 is not prime. Res64: 4CA5F2BFABA61CC2 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:41] 755*2^1445390-1 is not prime. Res64: CDE9EFE06584B64A Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:42] 761*2^1445390-1 is not prime. Res64: 4DDACF9806CC4F9C Time : 0.0 sec. user=mdettweiler [2016-11-09 14:08:44] 857*2^1445390-1 is not prime. Res64: 83EE75CA740F1195 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:25:05] 887*2^1445390-1 is not prime. Res64: 713490CAF45382D9 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:25:06] 911*2^1445390-1 is not prime. Res64: FC4128995D8AE4A8 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:25:06] 945*2^1445390-1 is not prime. Res64: FE1B0CA861744440 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:25:07] 625*2^1445391-1 is not prime. Res64: E5424FB9607855A8 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:25:07] 661*2^1445391-1 is not prime. Res64: 9B38AD02DA30EDBD Time : 0.0 sec. user=mdettweiler [2016-11-09 14:35:08] 751*2^1445391-1 is not prime. Res64: 617DB3B7D560B707 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:35:09] 793*2^1445391-1 is not prime. Res64: 493CC217ECEA8E42 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:35:09] 871*2^1445391-1 is not prime. Res64: DD0D3F8417393F4E Time : 0.0 sec. user=mdettweiler [2016-11-09 14:35:10] 891*2^1445391-1 is not prime. Res64: 813D8B29448E4D66 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:35:10] 639*2^1445392-1 is not prime. Res64: 78EA5C2DD060B265 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:11] 665*2^1445392-1 is not prime. Res64: 3DD0719C1DA619DF Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:12] 797*2^1445392-1 is not prime. Res64: AED5D703A625E647 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:12] 819*2^1445392-1 is not prime. Res64: D1167B7FCB0A8F68 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:12] 873*2^1445392-1 is not prime. Res64: 04636F598B1355A8 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:13] 909*2^1445392-1 is not prime. Res64: F070A22C097493F2 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:53:59] 929*2^1445392-1 is not prime. Res64: 436F3F6B4DF8EC76 Time : 0.0 sec. user=mdettweiler [2016-11-09 14:54:00] 947*2^1445392-1 is not prime. Res64: 130CD102B246B99A Time : 0.0 sec. user=mdettweiler [2016-11-09 14:54:00] 989*2^1445392-1 is not prime. Res64: E1F400027D41A41E Time : 0.0 sec. user=mdettweiler [2016-11-09 14:54:00] 649*2^1445393-1 is not prime. Res64: 00EAFAC55ABFC42E Time : 0.0 sec. user=mdettweiler [2016-11-09 14:54:01] 651*2^1445393-1 is not prime. Res64: D6C57A7EE370E14E Time : 0.0 sec. user=mdettweiler [2016-11-09 15:10:26] 669*2^1445393-1 is not prime. Res64: 491110135DF5E8ED Time : 0.0 sec. user=mdettweiler [2016-11-09 15:10:28] 879*2^1445393-1 is not prime. Res64: 34742EDD88496016 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:10:28] 889*2^1445393-1 is not prime. Res64: BCF78C1F705753BC Time : 0.0 sec. user=mdettweiler [2016-11-09 15:10:29] 901*2^1445393-1 is not prime. Res64: 4177EA638FF9F41D Time : 0.0 sec. user=mdettweiler [2016-11-09 15:10:30] 949*2^1445393-1 is not prime. Res64: 0F98FD36F73BF873 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:20:35] 969*2^1445393-1 is not prime. Res64: C9A95EAFF1524BBA Time : 0.0 sec. user=mdettweiler [2016-11-09 15:20:35] 611*2^1445394-1 is not prime. Res64: B95C2A9C5719E244 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:20:35] 791*2^1445394-1 is not prime. Res64: BADC0D2D6DC8A790 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:20:36] 821*2^1445394-1 is not prime. Res64: F6C801CA4C75774F Time : 0.0 sec. user=mdettweiler [2016-11-09 15:20:36] 951*2^1445394-1 is not prime. Res64: 97B4567FE0F28F2F Time : 0.0 sec. user=mdettweiler [2016-11-09 15:38:58] 975*2^1445394-1 is not prime. Res64: 054C595EFD674506 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:38:58] 993*2^1445394-1 is not prime. Res64: 3DD1DBA0C0D57252 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:38:59] 609*2^1445395-1 is not prime. Res64: 034B63B28A057ADE Time : 0.0 sec. user=mdettweiler [2016-11-09 15:38:59] 631*2^1445395-1 is not prime. Res64: 54493C54C37FB1B6 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:38:59] 723*2^1445395-1 is not prime. Res64: 9FDF04DBA165E110 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:39:41] 819*2^1445395-1 is not prime. Res64: 429FC739CDEF5E05 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:39:43] 861*2^1445395-1 is not prime. Res64: F73EBC36E7A21E07 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:39:43] 919*2^1445395-1 is not prime. Res64: 7CCA1983893DC47E Time : 0.0 sec. user=mdettweiler [2016-11-09 15:39:44] 939*2^1445395-1 is not prime. Res64: C4FFD6F28D943480 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:39:45] 961*2^1445395-1 is not prime. Res64: 042E821619CAB280 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:55:56] 635*2^1445396-1 is not prime. Res64: A0C10C1245141BD0 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:55:56] 707*2^1445396-1 is not prime. Res64: 6834961F6418B035 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:55:56] 749*2^1445396-1 is not prime. Res64: 6DB9D438B925617A Time : 0.0 sec. user=mdettweiler [2016-11-09 15:55:57] 759*2^1445396-1 is not prime. Res64: B54B9085483AEDB3 Time : 0.0 sec. user=mdettweiler [2016-11-09 15:55:57] 785*2^1445396-1 is not prime. Res64: 8AD49D1F0085CCF0 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:06:02] 601*2^1445397-1 is not prime. Res64: 39AE69FA548779F0 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:06:04] 625*2^1445397-1 is not prime. Res64: E87A5052D45BB78C Time : 0.0 sec. user=mdettweiler [2016-11-09 16:06:05] 627*2^1445397-1 is not prime. Res64: 8400232C083D5AF9 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:06:06] 709*2^1445397-1 is not prime. Res64: E8CA6F7CD784CFE4 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:06:08] 781*2^1445397-1 is not prime. Res64: 02EBDC6418D7FA50 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:23:23] 805*2^1445397-1 is not prime. Res64: 44FD66543FA5D8EE Time : 0.0 sec. user=mdettweiler [2016-11-09 16:23:24] 837*2^1445397-1 is not prime. Res64: E034434E491B4997 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:23:24] 861*2^1445397-1 is not prime. Res64: 662F86D5583D642F Time : 0.0 sec. user=mdettweiler [2016-11-09 16:23:25] 919*2^1445397-1 is not prime. Res64: 43A585CF85639581 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:23:25] 961*2^1445397-1 is not prime. Res64: CDA852C145F8C3C8 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:24:23] 603*2^1445398-1 is not prime. Res64: A89B67C96BD43DB1 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:24:24] 657*2^1445398-1 is not prime. Res64: 2E75D10255E9DC98 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:24:24] 681*2^1445398-1 is not prime. Res64: DEB54A736211B370 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:24:24] 815*2^1445398-1 is not prime. Res64: FE8BB056275FA654 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:24:25] 843*2^1445398-1 is not prime. Res64: 2CC92CA6CD8494FD Time : 0.0 sec. user=mdettweiler [2016-11-09 16:40:38] 675*2^1445399-1 is not prime. Res64: F741C37DF283157C Time : 0.0 sec. user=mdettweiler [2016-11-09 16:40:38] 745*2^1445399-1 is not prime. Res64: 8155F968F9FFDA0B Time : 0.0 sec. user=mdettweiler [2016-11-09 16:40:39] 759*2^1445399-1 is not prime. Res64: 0314955E1C3B6EB6 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:40:39] 811*2^1445399-1 is not prime. Res64: 44F3B6978A4B3F4F Time : 0.0 sec. user=mdettweiler [2016-11-09 16:40:40] 675*2^1445400-1 is not prime. Res64: CC82ECF5C898E41C Time : 0.0 sec. user=mdettweiler [2016-11-09 16:51:08] 695*2^1445400-1 is not prime. Res64: F097247B000CC9E6 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:51:09] 767*2^1445400-1 is not prime. Res64: EA925FB581830B8A Time : 0.0 sec. user=mdettweiler [2016-11-09 16:51:09] 843*2^1445400-1 is not prime. Res64: 6E875A868CD69861 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:51:09] 905*2^1445400-1 is not prime. Res64: D960705A03B793E3 Time : 0.0 sec. user=mdettweiler [2016-11-09 16:51:10] 933*2^1445400-1 is not prime. Res64: 1CB61F3289B0C6CF Time : 0.0 sec. user=mdettweiler [2016-11-09 17:08:34] 957*2^1445400-1 is not prime. Res64: 9946D351E7E05B73 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:08:38] 983*2^1445400-1 is not prime. Res64: 4B7B54B41C85B4DF Time : 0.0 sec. user=mdettweiler [2016-11-09 17:08:42] 999*2^1445400-1 is not prime. Res64: 341F9D68F61DC350 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:08:45] 615*2^1445401-1 is not prime. Res64: 0216A92FAF33F9F3 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:08:49] 717*2^1445401-1 is not prime. Res64: 8303F6A33E31D0FE Time : 0.0 sec. user=mdettweiler [2016-11-09 17:09:33] 769*2^1445401-1 is not prime. Res64: 86EB9AAE0CB8CD79 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:09:40] 777*2^1445401-1 is not prime. Res64: 5E0079499050265C Time : 0.0 sec. user=mdettweiler [2016-11-09 17:09:43] 867*2^1445401-1 is not prime. Res64: C6C424E8CBFC372D Time : 0.0 sec. user=mdettweiler [2016-11-09 17:09:45] 895*2^1445401-1 is not prime. Res64: D264CA98B58E6CDC Time : 0.0 sec. user=mdettweiler [2016-11-09 17:09:48] 937*2^1445401-1 is not prime. Res64: 3892C468E8CA9E6B Time : 0.0 sec. user=mdettweiler [2016-11-09 17:25:58] 635*2^1445402-1 is not prime. Res64: F65D1DCFD617DF20 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:25:59] 815*2^1445402-1 is not prime. Res64: D50E2649808491F3 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:25:59] 827*2^1445402-1 is not prime. Res64: AE3A424F9BF2AEF3 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:25:59] 893*2^1445402-1 is not prime. Res64: 94DC26787BE4DB60 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:26:00] 915*2^1445402-1 is not prime. Res64: 862AE3679EEC42C7 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:37:24] 951*2^1445402-1 is not prime. Res64: 42B53FF8573CEA3C Time : 0.0 sec. user=mdettweiler [2016-11-09 17:37:25] 625*2^1445403-1 is not prime. Res64: B3EB26A390A985FD Time : 0.0 sec. user=mdettweiler [2016-11-09 17:37:25] 765*2^1445403-1 is not prime. Res64: 3BE08CD42EFD691F Time : 0.0 sec. user=mdettweiler [2016-11-09 17:37:26] 775*2^1445403-1 is not prime. Res64: 92452484A047374D Time : 0.0 sec. user=mdettweiler [2016-11-09 17:37:26] 853*2^1445403-1 is not prime. Res64: 31F3E874EB191207 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:59:10] 945*2^1445403-1 is not prime. Res64: C4987361CF2D57B0 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:59:10] 949*2^1445403-1 is not prime. Res64: D391BFE5A4C0D72B Time : 0.0 sec. user=mdettweiler [2016-11-09 17:59:11] 617*2^1445404-1 is not prime. Res64: 15BB99ABC19BC459 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:59:11] 635*2^1445404-1 is not prime. Res64: 67530858E3257092 Time : 0.0 sec. user=mdettweiler [2016-11-09 17:59:12] 693*2^1445404-1 is not prime. Res64: 26F03800232C8EC4 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:01:04] 705*2^1445404-1 is not prime. Res64: 8AC017D1692C954F Time : 0.0 sec. user=mdettweiler [2016-11-09 18:01:05] 869*2^1445404-1 is not prime. Res64: 2F9E5BA0889B9688 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:01:06] 875*2^1445404-1 is not prime. Res64: 6FEE873F9614B054 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:01:07] 601*2^1445405-1 is not prime. Res64: DEEB4FB8EEA06EC1 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:01:07] 679*2^1445405-1 is not prime. Res64: DCFCEF29B8711BFF Time : 0.0 sec. user=mdettweiler [2016-11-09 18:20:15] 721*2^1445405-1 is not prime. Res64: 08F74E01E7F85D26 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:20:15] 775*2^1445405-1 is not prime. Res64: 19A92BC8AFA62105 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:20:16] 981*2^1445405-1 is not prime. Res64: C36E629EAE764527 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:20:16] 635*2^1445406-1 is not prime. Res64: 7DD7F1A58008D8DF Time : 0.0 sec. user=mdettweiler [2016-11-09 18:20:17] 713*2^1445406-1 is not prime. Res64: 21F0F16DCE3C3633 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:32:09] 783*2^1445406-1 is not prime. Res64: 0AB76D45E8AABE9E Time : 0.0 sec. user=mdettweiler [2016-11-09 18:32:09] 795*2^1445406-1 is not prime. Res64: 3F02D8582750190A Time : 0.0 sec. user=mdettweiler [2016-11-09 18:32:10] 867*2^1445406-1 is not prime. Res64: 2AB03062547FFADD Time : 0.0 sec. user=mdettweiler [2016-11-09 18:32:10] 873*2^1445406-1 is not prime. Res64: B4AF7CD8DFEDC1F2 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:32:10] 875*2^1445406-1 is not prime. Res64: 9B4FC6FBABD10146 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:51:31] 887*2^1445406-1 is not prime. Res64: 91D04938DFD2E0BC Time : 0.0 sec. user=mdettweiler [2016-11-09 18:51:32] 829*2^1445407-1 is not prime. Res64: C7502B0B39B0F67B Time : 0.0 sec. user=mdettweiler [2016-11-09 18:51:32] 861*2^1445407-1 is not prime. Res64: 1274FB88E5DA4DB3 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:51:32] 951*2^1445407-1 is not prime. Res64: C9E1420D892587F7 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:51:32] 617*2^1445408-1 is not prime. Res64: 846D68D5F4078E0E Time : 0.0 sec. user=mdettweiler [2016-11-09 18:53:53] 623*2^1445408-1 is not prime. Res64: 3EEB00644B975482 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:53:53] 635*2^1445408-1 is not prime. Res64: 37CA93D20232A414 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:53:54] 657*2^1445408-1 is not prime. Res64: DE29C8225265A830 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:53:54] 665*2^1445408-1 is not prime. Res64: 7AA7A015E3EB6609 Time : 0.0 sec. user=mdettweiler [2016-11-09 18:53:54] 699*2^1445408-1 is not prime. Res64: 59C5C7E57DB876D9 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:12:15] 743*2^1445408-1 is not prime. Res64: DE70A904C0861F96 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:12:15] 795*2^1445408-1 is not prime. Res64: 79908A29AB47E41E Time : 0.0 sec. user=mdettweiler [2016-11-09 19:12:15] 819*2^1445408-1 is not prime. Res64: E01BB6EF815D9190 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:12:16] 867*2^1445408-1 is not prime. Res64: 3B8C31213EC074B6 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:12:16] 869*2^1445408-1 is not prime. Res64: EF93C4BE2E6D0BC8 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:24:14] 893*2^1445408-1 is not prime. Res64: F171AADC92C51F31 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:24:14] 959*2^1445408-1 is not prime. Res64: C00B5EB1FECDF016 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:24:14] 995*2^1445408-1 is not prime. Res64: 26BB398B55E03E56 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:24:15] 639*2^1445409-1 is not prime. Res64: 89D8BA8CACD2BE98 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:24:15] 667*2^1445409-1 is not prime. Res64: F2D488C9E9C26A0E Time : 0.0 sec. user=mdettweiler [2016-11-09 19:40:39] 705*2^1445409-1 is not prime. Res64: B3E5FBB192315459 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:40:40] 811*2^1445409-1 is not prime. Res64: 1CCF1D384C8FC590 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:40:40] 817*2^1445409-1 is not prime. Res64: F4E08B136EBBABE6 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:40:40] 831*2^1445409-1 is not prime. Res64: F9872F97FFC2506D Time : 0.0 sec. user=mdettweiler [2016-11-09 19:40:41] 885*2^1445409-1 is not prime. Res64: DFEC93F495D8B7B6 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:42:35] 997*2^1445409-1 is not prime. Res64: 1BD2A7F7DBD1D597 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:42:35] 999*2^1445409-1 is not prime. Res64: 2CECD9A72BD1B388 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:42:36] 603*2^1445410-1 is not prime. Res64: 325913EC43CF55FA Time : 0.0 sec. user=mdettweiler [2016-11-09 19:42:36] 605*2^1445410-1 is not prime. Res64: 18AD76CB8BC59BC0 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:42:37] 633*2^1445410-1 is not prime. Res64: 7D02B2257DB33399 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:58:14] 647*2^1445410-1 is not prime. Res64: A2E2324B8C01C216 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:58:14] 821*2^1445410-1 is not prime. Res64: 0A8B905FB3C647AA Time : 0.0 sec. user=mdettweiler [2016-11-09 19:58:15] 825*2^1445410-1 is not prime. Res64: 6C12E41C9076C351 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:58:15] 975*2^1445410-1 is not prime. Res64: 5C32E6568C70F008 Time : 0.0 sec. user=mdettweiler [2016-11-09 19:58:16] 609*2^1445411-1 is not prime. Res64: D572055F75F6E75F Time : 0.0 sec. user=mdettweiler [2016-11-09 20:09:18] 631*2^1445411-1 is not prime. Res64: E0FA495739BF4A51 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:09:21] 745*2^1445411-1 is not prime. Res64: 0689A86EC6A1D6CE Time : 0.0 sec. user=mdettweiler [2016-11-09 20:09:26] 813*2^1445411-1 is not prime. Res64: 037F03D7DB49C5DE Time : 0.0 sec. user=mdettweiler [2016-11-09 20:09:28] 939*2^1445411-1 is not prime. Res64: D921DCC9E41D0E33 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:09:32] 623*2^1445412-1 is not prime. Res64: B16F3159A84A9CE7 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:25:45] 647*2^1445412-1 is not prime. Res64: 8977EC61F56C5DF3 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:25:46] 657*2^1445412-1 is not prime. Res64: B33F3AB97378DA12 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:25:46] 669*2^1445412-1 is not prime. Res64: FBE46E8772539B0D Time : 0.0 sec. user=mdettweiler [2016-11-09 20:25:47] 689*2^1445412-1 is not prime. Res64: 97BDA7E1E05EA181 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:25:47] 717*2^1445412-1 is not prime. Res64: EF924C1E48D18CD4 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:27:54] 777*2^1445412-1 is not prime. Res64: E36B73A423A19A1B Time : 0.0 sec. user=mdettweiler [2016-11-09 20:27:55] 779*2^1445412-1 is not prime. Res64: CA6DAB8344CBE991 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:27:55] 825*2^1445412-1 is not prime. Res64: 3260368EC29A4719 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:27:55] 959*2^1445412-1 is not prime. Res64: 7028066B60AD217E Time : 0.0 sec. user=mdettweiler [2016-11-09 20:27:56] 625*2^1445413-1 is not prime. Res64: 6F61BA8296348252 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:43:13] 691*2^1445413-1 is not prime. Res64: B2058F15FC723A5F Time : 0.0 sec. user=mdettweiler [2016-11-09 20:43:14] 721*2^1445413-1 is not prime. Res64: 38996CFFEDE8B216 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:43:14] 727*2^1445413-1 is not prime. Res64: 8708EC816F301DEE Time : 0.0 sec. user=mdettweiler [2016-11-09 20:43:14] 945*2^1445413-1 is not prime. Res64: A1645DBE5FFE8937 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:43:15] 961*2^1445413-1 is not prime. Res64: FBBA0BDBCE6AB59C Time : 0.0 sec. user=mdettweiler [2016-11-09 20:54:48] 635*2^1445414-1 is not prime. Res64: 31CADA6B1016DF2E Time : 0.0 sec. user=mdettweiler [2016-11-09 20:54:49] 663*2^1445414-1 is not prime. Res64: A3DA4AFB9B75B290 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:54:49] 813*2^1445414-1 is not prime. Res64: 7AA9275DA86FB07F Time : 0.0 sec. user=mdettweiler [2016-11-09 20:54:49] 851*2^1445414-1 is not prime. Res64: E2CB66829922A3D8 Time : 0.0 sec. user=mdettweiler [2016-11-09 20:54:50] 897*2^1445414-1 is not prime. Res64: E061F9F598AB4951 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:10:39] 619*2^1445415-1 is not prime. Res64: AEBCE30A5E9D5A71 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:10:40] 625*2^1445415-1 is not prime. Res64: 761A1F4CC724962B Time : 0.0 sec. user=mdettweiler [2016-11-09 21:10:42] 633*2^1445415-1 is not prime. Res64: 8006C8B2E135DA15 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:10:43] 685*2^1445415-1 is not prime. Res64: F73A7ACB2781F7F0 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:10:45] 781*2^1445415-1 is not prime. Res64: C1FD1CDADB4C8BA0 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:12:55] 873*2^1445415-1 is not prime. Res64: 480B785341624A9E Time : 0.0 sec. user=mdettweiler [2016-11-09 21:12:55] 943*2^1445415-1 is not prime. Res64: 7639F33E82DC857A Time : 0.0 sec. user=mdettweiler [2016-11-09 21:12:56] 675*2^1445416-1 is not prime. Res64: F735A6B8B2018907 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:12:56] 903*2^1445416-1 is not prime. Res64: F6E751CEA9F0A5E5 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:12:56] 993*2^1445416-1 is not prime. Res64: 861A919722AD2FA1 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:27:57] 645*2^1445417-1 is not prime. Res64: D0F9AD26CD8F31CD Time : 0.0 sec. user=mdettweiler [2016-11-09 21:27:58] 685*2^1445417-1 is not prime. Res64: 57C4AD2463EE5248 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:27:58] 741*2^1445417-1 is not prime. Res64: 0BF092BF7536AFBD Time : 0.0 sec. user=mdettweiler [2016-11-09 21:27:58] 747*2^1445417-1 is not prime. Res64: 262678934D4EC381 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:27:59] 909*2^1445417-1 is not prime. Res64: 74CD951FD4A7D24C Time : 0.0 sec. user=mdettweiler [2016-11-09 21:39:42] 915*2^1445417-1 is not prime. Res64: 087CBCA157DA85C7 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:39:42] 955*2^1445417-1 is not prime. Res64: F9CD3492E1A31FE2 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:39:42] 651*2^1445418-1 is not prime. Res64: AFC23FF350201196 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:39:43] 777*2^1445418-1 is not prime. Res64: CB1D1AAB7C90DCBF Time : 0.0 sec. user=mdettweiler [2016-11-09 21:39:43] 843*2^1445418-1 is not prime. Res64: 9A810E1A9D80C7E8 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:55:36] 891*2^1445418-1 is not prime. Res64: BBA3BE102548A6B1 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:55:37] 905*2^1445418-1 is not prime. Res64: DB2217EE997276D6 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:55:37] 963*2^1445418-1 is not prime. Res64: 8FC877FAB8216720 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:55:37] 603*2^1445419-1 is not prime. Res64: 537ED9685906532F Time : 0.0 sec. user=mdettweiler [2016-11-09 21:55:38] 625*2^1445419-1 is not prime. Res64: ABE8A759C39B8B5A Time : 0.0 sec. user=mdettweiler [2016-11-09 21:57:50] 735*2^1445419-1 is not prime. Res64: E5BC3DE5486C2E9A Time : 0.0 sec. user=mdettweiler [2016-11-09 21:57:50] 741*2^1445419-1 is not prime. Res64: 1821EA6BFE0FFF78 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:57:51] 811*2^1445419-1 is not prime. Res64: 7394CF2779520784 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:57:51] 889*2^1445419-1 is not prime. Res64: 01C5B3031DE42898 Time : 0.0 sec. user=mdettweiler [2016-11-09 21:57:51] 999*2^1445419-1 is not prime. Res64: 0BB2D9E47A7BD3DD Time : 0.0 sec. user=mdettweiler [2016-11-09 22:12:36] 609*2^1445420-1 is not prime. Res64: 23F2B980B31C9855 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:12:37] 707*2^1445420-1 is not prime. Res64: 4BEBA196EAECAE6D Time : 0.0 sec. user=mdettweiler [2016-11-09 22:12:37] 797*2^1445420-1 is not prime. Res64: 0B27D685740C9748 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:12:38] 819*2^1445420-1 is not prime. Res64: 2A3C47E3E5C289A1 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:12:38] 885*2^1445420-1 is not prime. Res64: C0D072EA908A5495 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:24:21] 893*2^1445420-1 is not prime. Res64: 4098C61727E5F754 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:24:21] 915*2^1445420-1 is not prime. Res64: 12D03F21106F310B Time : 0.0 sec. user=mdettweiler [2016-11-09 22:24:22] 607*2^1445421-1 is not prime. Res64: 3699735D61ED9AD2 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:24:22] 691*2^1445421-1 is not prime. Res64: 7607CE5240ED8F8A Time : 0.0 sec. user=mdettweiler [2016-11-09 22:24:23] 871*2^1445421-1 is not prime. Res64: 224C749BF752175D Time : 0.0 sec. user=mdettweiler [2016-11-09 22:40:17] 907*2^1445421-1 is not prime. Res64: 542E17F103E8627F Time : 0.0 sec. user=mdettweiler [2016-11-09 22:40:18] 949*2^1445421-1 is not prime. Res64: 1C26B1DB610953FE Time : 0.0 sec. user=mdettweiler [2016-11-09 22:40:18] 969*2^1445421-1 is not prime. Res64: 7E459A6FBC42337E Time : 0.0 sec. user=mdettweiler [2016-11-09 22:40:18] 617*2^1445422-1 is not prime. Res64: AA2A99687C3C41F9 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:40:19] 731*2^1445422-1 is not prime. Res64: 795DFDE0D8C89E7A Time : 0.0 sec. user=mdettweiler [2016-11-09 22:42:37] 765*2^1445422-1 is not prime. Res64: F02A813A605C58B0 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:42:38] 885*2^1445422-1 is not prime. Res64: E28A8F58AACB03BF Time : 0.0 sec. user=mdettweiler [2016-11-09 22:42:38] 957*2^1445422-1 is not prime. Res64: AA048A6A0BD8EAAA Time : 0.0 sec. user=mdettweiler [2016-11-09 22:42:39] 703*2^1445423-1 is not prime. Res64: DEA36035785F27D4 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:42:39] 715*2^1445423-1 is not prime. Res64: 7D43CCD35E2C67BD Time : 0.0 sec. user=mdettweiler [2016-11-09 22:57:28] 805*2^1445423-1 is not prime. Res64: C7EA2EEC4961B566 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:57:29] 753*2^1445424-1 is not prime. Res64: 5FA9B808AB39DE58 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:57:29] 899*2^1445424-1 is not prime. Res64: 51491EE2BA78EEB7 Time : 0.0 sec. user=mdettweiler [2016-11-09 22:57:29] 945*2^1445424-1 is not prime. Res64: 2B5F6D45E3E9F47E Time : 0.0 sec. user=mdettweiler [2016-11-09 22:57:30] 625*2^1445425-1 is not prime. Res64: AFE927E59C2AC16D Time : 0.0 sec. user=mdettweiler [2016-11-09 23:09:05] 715*2^1445425-1 is not prime. Res64: 9A086BD70DFF3470 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:09:11] 805*2^1445425-1 is not prime. Res64: E886FCCBD6B888CA Time : 0.0 sec. user=mdettweiler [2016-11-09 23:09:17] 871*2^1445425-1 is not prime. Res64: BB12437A5A18DE3E Time : 0.0 sec. user=mdettweiler [2016-11-09 23:09:19] 909*2^1445425-1 is not prime. Res64: 85A5DADBD14D1475 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:09:23] 987*2^1445425-1 is not prime. Res64: C7B9EA93037A1F2A Time : 0.0 sec. user=mdettweiler [2016-11-09 23:25:06] 999*2^1445425-1 is not prime. Res64: F1F7AA70B444F72C Time : 0.0 sec. user=mdettweiler [2016-11-09 23:25:06] 645*2^1445426-1 is not prime. Res64: 1FF4025F4EBF844C Time : 0.0 sec. user=mdettweiler [2016-11-09 23:25:07] 675*2^1445426-1 is not prime. Res64: 12923E0D2C861DBA Time : 0.0 sec. user=mdettweiler [2016-11-09 23:25:07] 783*2^1445426-1 is not prime. Res64: 7C199C276E7AED26 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:25:07] 785*2^1445426-1 is not prime. Res64: 9B5ED2FC36ED4082 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:27:20] 837*2^1445426-1 is not prime. Res64: E7108211896073D2 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:27:20] 923*2^1445426-1 is not prime. Res64: FCBFECD9DFB2FE38 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:27:21] 699*2^1445427-1 is not prime. Res64: 2AF274A69BEB007A Time : 0.0 sec. user=mdettweiler [2016-11-09 23:27:21] 709*2^1445427-1 is not prime. Res64: 48B0FD56C41BC73E Time : 0.0 sec. user=mdettweiler [2016-11-09 23:27:22] 711*2^1445427-1 is not prime. Res64: 90EBE3595EC4FF2D Time : 0.0 sec. user=mdettweiler [2016-11-09 23:42:16] 769*2^1445427-1 is not prime. Res64: D9F94611958254F6 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:42:16] 805*2^1445427-1 is not prime. Res64: E53A39AF94B6274F Time : 0.0 sec. user=mdettweiler [2016-11-09 23:42:16] 895*2^1445427-1 is not prime. Res64: EDDE522F9E103120 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:42:17] 963*2^1445427-1 is not prime. Res64: BDEB15B0546E15D6 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:42:17] 973*2^1445427-1 is not prime. Res64: 67D1EA6DBE0FED52 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:54:47] 615*2^1445428-1 is not prime. Res64: 107352A873FC02EE Time : 0.0 sec. user=mdettweiler [2016-11-09 23:54:47] 623*2^1445428-1 is not prime. Res64: 2EF78AE894D04F12 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:54:47] 687*2^1445428-1 is not prime. Res64: 6BB22FDE22BC3EA4 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:54:48] 723*2^1445428-1 is not prime. Res64: EA48C0A9A93F3E05 Time : 0.0 sec. user=mdettweiler [2016-11-09 23:54:48] 923*2^1445428-1 is not prime. Res64: C3B9DBCB79BC7A69 Time : 0.0 sec.