user=mdettweiler [2016-11-10 00:09:56] 969*2^1445428-1 is not prime. Res64: A988E08BB95515EA Time : 0.0 sec. user=mdettweiler [2016-11-10 00:10:02] 655*2^1445429-1 is not prime. Res64: 732BD5AC3809D937 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:10:09] 685*2^1445429-1 is not prime. Res64: BD1CBCBCFFEAA0B0 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:10:11] 691*2^1445429-1 is not prime. Res64: 2044B08946C7F461 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:10:15] 735*2^1445429-1 is not prime. Res64: 27B1669F8E60154C Time : 0.0 sec. user=mdettweiler [2016-11-10 00:12:18] 847*2^1445429-1 is not prime. Res64: 359718D64364771B Time : 0.0 sec. user=mdettweiler [2016-11-10 00:12:20] 927*2^1445429-1 is not prime. Res64: 9F25C7486BD6B5F4 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:12:22] 611*2^1445430-1 is not prime. Res64: D1A630882F863B9C Time : 0.0 sec. user=mdettweiler [2016-11-10 00:12:25] 635*2^1445430-1 is not prime. Res64: ECD9B392C67FCD44 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:12:27] 671*2^1445430-1 is not prime. Res64: 37D58BD3EE0494EE Time : 0.0 sec. user=mdettweiler [2016-11-10 00:27:07] 723*2^1445430-1 is not prime. Res64: 2DF0DC72AE3E210A Time : 0.0 sec. user=mdettweiler [2016-11-10 00:27:08] 801*2^1445430-1 is not prime. Res64: BDC8219BC21C6ED3 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:27:08] 833*2^1445430-1 is not prime. Res64: 59316D26362A8732 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:27:08] 923*2^1445430-1 is not prime. Res64: 0AEC76BA2817EDFF Time : 0.0 sec. user=mdettweiler [2016-11-10 00:27:09] 933*2^1445430-1 is not prime. Res64: 54667230DF343401 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:39:43] 945*2^1445430-1 is not prime. Res64: 3A2618FE0A652B58 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:39:43] 963*2^1445430-1 is not prime. Res64: D0339E493F63DEF3 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:39:44] 977*2^1445430-1 is not prime. Res64: 95F6B9C4C87AC967 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:39:44] 663*2^1445431-1 is not prime. Res64: 425FA13DA0886DB4 Time : 0.0 sec. user=mdettweiler [2016-11-10 00:39:45] 693*2^1445431-1 is not prime. Res64: 69053C3783D58B99 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:07:25] 607*2^1445433-1 is not prime. Res64: 8B9BCE9ACD9228EF Time : 0.0 sec. user=mdettweiler [2016-11-10 18:07:33] 639*2^1445433-1 is not prime. Res64: E2EA310672A8F944 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:07:39] 681*2^1445433-1 is not prime. Res64: 8992BE2108C87581 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:07:44] 741*2^1445433-1 is not prime. Res64: 7B032008983362F8 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:07:47] 837*2^1445433-1 is not prime. Res64: 71ED5BA423014B73 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:17:43] 741*2^1445431-1 is not prime. Res64: C7149BECC76FE94F Time : 0.0 sec. user=mdettweiler [2016-11-10 18:17:44] 841*2^1445431-1 is not prime. Res64: 1FBE8C19D0B03BA1 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:17:45] 873*2^1445431-1 is not prime. Res64: 8F84AC66BA00AA84 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:17:46] 961*2^1445431-1 is not prime. Res64: 552EB24C943A3D81 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:17:47] 603*2^1445432-1 is not prime. Res64: 0B174E6B2F495C09 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:33:58] 847*2^1445433-1 is not prime. Res64: 027B550D9594CF83 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:33:58] 919*2^1445433-1 is not prime. Res64: 88FD3B0DB4703064 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:33:59] 985*2^1445433-1 is not prime. Res64: BF3F60D1158D22C3 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:34:00] 999*2^1445433-1 is not prime. Res64: BA518F817FB9E7D1 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:34:00] 671*2^1445434-1 is not prime. Res64: 0176C46700C9511E Time : 0.0 sec. user=mdettweiler [2016-11-10 18:37:33] 825*2^1445434-1 is not prime. Res64: 4282B40DF446B386 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:37:34] 619*2^1445435-1 is not prime. Res64: E007A81D12D47C58 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:37:34] 699*2^1445435-1 is not prime. Res64: 2D2AE74D762019DA Time : 0.0 sec. user=mdettweiler [2016-11-10 18:37:35] 735*2^1445435-1 is not prime. Res64: 748776792D79CD6C Time : 0.0 sec. user=mdettweiler [2016-11-10 18:37:35] 739*2^1445435-1 is not prime. Res64: 935CF11CBE2E2EB5 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:55:58] 775*2^1445435-1 is not prime. Res64: F4F2C46EC9C5A5E2 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:55:59] 789*2^1445435-1 is not prime. Res64: 8372B8AA2D493C7D Time : 0.0 sec. user=mdettweiler [2016-11-10 18:55:59] 855*2^1445435-1 is not prime. Res64: F1AF6C19570DF827 Time : 0.0 sec. user=mdettweiler [2016-11-10 18:55:59] 885*2^1445435-1 is not prime. Res64: 156AB02992D2F0BB Time : 0.0 sec. user=mdettweiler [2016-11-10 18:56:00] 999*2^1445435-1 is not prime. Res64: 1CE6FB9798D5E853 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:03:44] 689*2^1445436-1 is not prime. Res64: D51CA2D458961BD0 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:03:47] 737*2^1445436-1 is not prime. Res64: 5646C45C3D67AB96 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:03:49] 777*2^1445436-1 is not prime. Res64: 50505DE3E2ABB033 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:03:50] 667*2^1445437-1 is not prime. Res64: 42753AB1BB821EF5 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:03:53] 691*2^1445437-1 is not prime. Res64: BAA43901CDCC45C8 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:18:54] 825*2^1445437-1 is not prime. Res64: 98E699FA0CBDCA85 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:18:54] 829*2^1445437-1 is not prime. Res64: 5A2D7E57F4FCF099 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:18:55] 847*2^1445437-1 is not prime. Res64: DC344906EC10DD2C Time : 0.0 sec. user=mdettweiler [2016-11-10 19:18:55] 937*2^1445437-1 is not prime. Res64: F2331EED4A0433E6 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:18:56] 635*2^1445438-1 is not prime. Res64: 2F8F30C2BB5E8B8A Time : 0.0 sec. user=mdettweiler [2016-11-10 19:22:17] 665*2^1445438-1 is not prime. Res64: 3518961752914B8D Time : 0.0 sec. user=mdettweiler [2016-11-10 19:22:17] 707*2^1445438-1 is not prime. Res64: 14F5A0D1EDFB0CD4 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:22:18] 797*2^1445438-1 is not prime. Res64: 41FEB2CEBA6F56B8 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:22:18] 825*2^1445438-1 is not prime. Res64: 0CE40F8EA81520DC Time : 0.0 sec. user=mdettweiler [2016-11-10 19:22:19] 831*2^1445438-1 is not prime. Res64: 95E31621152849D9 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:40:51] 857*2^1445438-1 is not prime. Res64: 8FFA62E707081D73 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:40:52] 893*2^1445438-1 is not prime. Res64: 245C0F7156ED4DC3 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:40:52] 927*2^1445438-1 is not prime. Res64: A320C75B0300D63E Time : 0.0 sec. user=mdettweiler [2016-11-10 19:40:53] 625*2^1445439-1 is not prime. Res64: BD79820C6B94C94B Time : 0.0 sec. user=mdettweiler [2016-11-10 19:40:53] 693*2^1445439-1 is not prime. Res64: CA604BB4A1D29B84 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:48:59] 885*2^1445439-1 is not prime. Res64: 90948BFC2315F0D8 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:48:59] 603*2^1445440-1 is not prime. Res64: 6D26FD2B2F7132C8 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:49:00] 623*2^1445440-1 is not prime. Res64: 13B0FB1B1032CEDC Time : 0.0 sec. user=mdettweiler [2016-11-10 19:49:00] 653*2^1445440-1 is not prime. Res64: DE11FFDCAA8AA3E6 Time : 0.0 sec. user=mdettweiler [2016-11-10 19:49:00] 677*2^1445440-1 is not prime. Res64: 7D96D62B9242259D Time : 0.0 sec. user=mdettweiler [2016-11-10 20:03:44] 719*2^1445440-1 is not prime. Res64: 4BC622547BFC4069 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:03:44] 723*2^1445440-1 is not prime. Res64: 112CE39B61A71C63 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:03:45] 797*2^1445440-1 is not prime. Res64: 4073F5404AEAE849 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:03:46] 819*2^1445440-1 is not prime. Res64: 3243EF76A0558C5D Time : 0.0 sec. user=mdettweiler [2016-11-10 20:03:46] 939*2^1445440-1 is not prime. Res64: BE0033DF25FDA057 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:07:03] 957*2^1445440-1 is not prime. Res64: C992162BB6E20839 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:07:04] 615*2^1445441-1 is not prime. Res64: C847D5C244E9CC09 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:07:05] 645*2^1445441-1 is not prime. Res64: 8936444733630476 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:07:06] 679*2^1445441-1 is not prime. Res64: 99666417825CD11C Time : 0.0 sec. user=mdettweiler [2016-11-10 20:07:07] 871*2^1445441-1 is not prime. Res64: C1E5EB6366D23BBE Time : 0.0 sec. user=mdettweiler [2016-11-10 20:25:45] 885*2^1445441-1 is not prime. Res64: EBD9E602F500E91E Time : 0.0 sec. user=mdettweiler [2016-11-10 20:25:45] 955*2^1445441-1 is not prime. Res64: A8C0C1AC026C800E Time : 0.0 sec. user=mdettweiler [2016-11-10 20:25:46] 681*2^1445442-1 is not prime. Res64: DED191723354711E Time : 0.0 sec. user=mdettweiler [2016-11-10 20:25:46] 683*2^1445442-1 is not prime. Res64: 3EAFD43463BCA8A0 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:25:46] 765*2^1445442-1 is not prime. Res64: 45C01FE2863CBB89 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:33:59] 801*2^1445442-1 is not prime. Res64: EFE6FDCAC1753F8A Time : 0.0 sec. user=mdettweiler [2016-11-10 20:34:00] 941*2^1445442-1 is not prime. Res64: 5EEC8D4ECB8665EA Time : 0.0 sec. user=mdettweiler [2016-11-10 20:34:00] 963*2^1445442-1 is not prime. Res64: 1D69B9E510E3411E Time : 0.0 sec. user=mdettweiler [2016-11-10 20:34:01] 649*2^1445443-1 is not prime. Res64: D2E455DC29D2D542 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:34:01] 789*2^1445443-1 is not prime. Res64: 00F57DF10F8FB676 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:48:50] 829*2^1445443-1 is not prime. Res64: 38A0E531BE2C6D62 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:48:50] 835*2^1445443-1 is not prime. Res64: 5FC77F37BA4E4751 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:48:50] 871*2^1445443-1 is not prime. Res64: 7FB9A56100F05653 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:48:51] 883*2^1445443-1 is not prime. Res64: CFC97EBEF712D39F Time : 0.0 sec. user=mdettweiler [2016-11-10 20:48:51] 919*2^1445443-1 is not prime. Res64: DFD3EF51AED476CB Time : 0.0 sec. user=mdettweiler [2016-11-10 20:52:11] 985*2^1445443-1 is not prime. Res64: 2B7CA43A7C38B90A Time : 0.0 sec. user=mdettweiler [2016-11-10 20:52:11] 993*2^1445443-1 is not prime. Res64: 72CFB0AE723680B5 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:52:11] 615*2^1445444-1 is not prime. Res64: 644F3799B050C6E9 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:52:12] 699*2^1445444-1 is not prime. Res64: 404678FFAC3EE2F6 Time : 0.0 sec. user=mdettweiler [2016-11-10 20:52:12] 749*2^1445444-1 is not prime. Res64: 5BEBDD5E1EDF0EAD Time : 0.0 sec. user=mdettweiler [2016-11-10 21:10:45] 609*2^1445445-1 is not prime. Res64: 99D30C4A2A9FEC72 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:10:46] 627*2^1445445-1 is not prime. Res64: 222EE5B1D3DCA4F0 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:10:46] 811*2^1445445-1 is not prime. Res64: 444AE9D7AD5AFCD3 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:10:47] 921*2^1445445-1 is not prime. Res64: 8410FFABC14E962E Time : 0.0 sec. user=mdettweiler [2016-11-10 21:10:47] 991*2^1445445-1 is not prime. Res64: 0E4B0FE566DAEAFC Time : 0.0 sec. user=mdettweiler [2016-11-10 21:18:58] 761*2^1445446-1 is not prime. Res64: DBD6B46DF4DADA7C Time : 0.0 sec. user=mdettweiler [2016-11-10 21:18:59] 813*2^1445446-1 is not prime. Res64: C1E58D79651B09E4 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:19:00] 821*2^1445446-1 is not prime. Res64: A14D26422EBF39BC Time : 0.0 sec. user=mdettweiler [2016-11-10 21:19:00] 917*2^1445446-1 is not prime. Res64: BE56DE15DAE6C2B6 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:19:01] 945*2^1445446-1 is not prime. Res64: BA2C8E85D127D0AC Time : 0.0 sec. user=mdettweiler [2016-11-10 21:33:39] 971*2^1445446-1 is not prime. Res64: A2685945DB3FA434 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:33:39] 981*2^1445446-1 is not prime. Res64: 4B08BE450B2BAB27 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:33:39] 621*2^1445447-1 is not prime. Res64: 323B583B9E3F67F3 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:33:40] 729*2^1445447-1 is not prime. Res64: 849898EE37CC179A Time : 0.0 sec. user=mdettweiler [2016-11-10 21:33:40] 781*2^1445447-1 is not prime. Res64: 6C0CD26A5F250346 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:37:02] 843*2^1445447-1 is not prime. Res64: 0A41433A41621E33 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:37:03] 861*2^1445447-1 is not prime. Res64: 185B0059CFB32F08 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:37:03] 663*2^1445448-1 is not prime. Res64: DCE33121764083B5 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:37:04] 725*2^1445448-1 is not prime. Res64: 086AE47377879E84 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:37:04] 819*2^1445448-1 is not prime. Res64: DDB80B12A5B8A692 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:55:40] 775*2^1445449-1 is not prime. Res64: 91B246AECD5EE9CA Time : 0.0 sec. user=mdettweiler [2016-11-10 21:55:41] 885*2^1445449-1 is not prime. Res64: 3088BC1E49614369 Time : 0.0 sec. user=mdettweiler [2016-11-10 21:55:41] 627*2^1445450-1 is not prime. Res64: A8CA8024B86AB3AA Time : 0.0 sec. user=mdettweiler [2016-11-10 21:55:41] 657*2^1445450-1 is not prime. Res64: CEC2242B72EA2B8F Time : 0.0 sec. user=mdettweiler [2016-11-10 21:55:42] 677*2^1445450-1 is not prime. Res64: B0E2C69927F83969 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:04:03] 741*2^1445450-1 is not prime. Res64: 8CE207C6BAD02799 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:04:04] 785*2^1445450-1 is not prime. Res64: 1DCCFE76BB1B6BE1 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:04:05] 851*2^1445450-1 is not prime. Res64: A003C4138D4969FE Time : 0.0 sec. user=mdettweiler [2016-11-10 22:04:06] 885*2^1445450-1 is not prime. Res64: 421856821A4D5151 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:04:08] 893*2^1445450-1 is not prime. Res64: 46759E424B797FB9 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:18:36] 923*2^1445450-1 is not prime. Res64: C8CBEF7B871257BB Time : 0.0 sec. user=mdettweiler [2016-11-10 22:18:36] 935*2^1445450-1 is not prime. Res64: 009D80A21944587D Time : 0.0 sec. user=mdettweiler [2016-11-10 22:18:37] 977*2^1445450-1 is not prime. Res64: 7C6222EF071E8F98 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:18:37] 609*2^1445451-1 is not prime. Res64: F28E9A0C461724E8 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:18:38] 735*2^1445451-1 is not prime. Res64: 16E3BFCBB40A5763 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:21:54] 753*2^1445451-1 is not prime. Res64: 4C057624642C7E4C Time : 0.0 sec. user=mdettweiler [2016-11-10 22:21:56] 871*2^1445451-1 is not prime. Res64: E3675FD5C6D2A614 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:21:57] 975*2^1445451-1 is not prime. Res64: FF8116AE6199B6D3 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:21:58] 609*2^1445452-1 is not prime. Res64: 9D5CA95BEC7CC24C Time : 0.0 sec. user=mdettweiler [2016-11-10 22:21:59] 647*2^1445452-1 is not prime. Res64: 10010E1B0492BBC3 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:40:33] 695*2^1445452-1 is not prime. Res64: 89412C6D67E1F31B Time : 0.0 sec. user=mdettweiler [2016-11-10 22:40:33] 705*2^1445452-1 is not prime. Res64: F596A1BD4254765F Time : 0.0 sec. user=mdettweiler [2016-11-10 22:40:34] 755*2^1445452-1 is not prime. Res64: 301234BBB3C9623C Time : 0.0 sec. user=mdettweiler [2016-11-10 22:40:34] 855*2^1445452-1 is not prime. Res64: 32EE91C3E0995DCD Time : 0.0 sec. user=mdettweiler [2016-11-10 22:40:34] 857*2^1445452-1 is not prime. Res64: 25AC884B855EAE62 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:48:58] 631*2^1445453-1 is not prime. Res64: D1A22060737B5AC7 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:48:59] 657*2^1445453-1 is not prime. Res64: 4F224CF07B91C3A9 Time : 0.0 sec. user=mdettweiler [2016-11-10 22:48:59] 879*2^1445453-1 is not prime. Res64: A0957853C4C094FF Time : 0.0 sec. user=mdettweiler [2016-11-10 22:49:00] 663*2^1445454-1 is not prime. Res64: A9CEBB70E533CF2A Time : 0.0 sec. user=mdettweiler [2016-11-10 22:49:00] 671*2^1445454-1 is not prime. Res64: 6995C74FADA5390C Time : 0.0 sec. user=mdettweiler [2016-11-10 23:03:30] 705*2^1445454-1 is not prime. Res64: B900C080CE90F4CE Time : 0.0 sec. user=mdettweiler [2016-11-10 23:03:32] 773*2^1445454-1 is not prime. Res64: EBDE2C7329CA2153 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:03:34] 861*2^1445454-1 is not prime. Res64: 93631A4223E76A9E Time : 0.0 sec. user=mdettweiler [2016-11-10 23:03:35] 917*2^1445454-1 is not prime. Res64: 9A8227EF2A09B614 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:03:36] 805*2^1445455-1 is not prime. Res64: D61E8D59823BFFC9 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:06:46] 819*2^1445455-1 is not prime. Res64: BBD4A62AB28C7D56 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:06:47] 853*2^1445455-1 is not prime. Res64: 5B85A286F62F5AA9 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:06:49] 885*2^1445455-1 is not prime. Res64: 47B4A854D52BA7EA Time : 0.0 sec. user=mdettweiler [2016-11-10 23:06:50] 951*2^1445455-1 is not prime. Res64: EB97F6A7060F5696 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:06:51] 603*2^1445456-1 is not prime. Res64: B09E82825AB3198D Time : 0.0 sec. user=mdettweiler [2016-11-10 23:25:20] 773*2^1445456-1 is not prime. Res64: 2C38A956DADCFAE1 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:25:20] 833*2^1445456-1 is not prime. Res64: 71ED13B497E27BBB Time : 0.0 sec. user=mdettweiler [2016-11-10 23:25:21] 857*2^1445456-1 is not prime. Res64: B3F35514ADC2C8BB Time : 0.0 sec. user=mdettweiler [2016-11-10 23:25:21] 873*2^1445456-1 is not prime. Res64: 4AD8E8549FDEBFD3 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:25:21] 625*2^1445457-1 is not prime. Res64: E9B53678F03690E4 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:33:40] 669*2^1445457-1 is not prime. Res64: 66FCE2BE9F7FA623 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:33:41] 795*2^1445457-1 is not prime. Res64: 3C9B60DB0C618791 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:33:41] 849*2^1445457-1 is not prime. Res64: 3180969529F6782B Time : 0.0 sec. user=mdettweiler [2016-11-10 23:33:42] 919*2^1445457-1 is not prime. Res64: 796F6D7D7B79C85D Time : 0.0 sec. user=mdettweiler [2016-11-10 23:33:42] 979*2^1445457-1 is not prime. Res64: DD382901E68D1164 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:48:33] 605*2^1445458-1 is not prime. Res64: CAB453BC9920052D Time : 0.0 sec. user=mdettweiler [2016-11-10 23:48:34] 681*2^1445458-1 is not prime. Res64: 8F4CBE2C037D5F0A Time : 0.0 sec. user=mdettweiler [2016-11-10 23:48:34] 713*2^1445458-1 is not prime. Res64: D4B1BF44F0F5F65A Time : 0.0 sec. user=mdettweiler [2016-11-10 23:48:34] 723*2^1445458-1 is not prime. Res64: 24E8D9A0649011BB Time : 0.0 sec. user=mdettweiler [2016-11-10 23:48:35] 731*2^1445458-1 is not prime. Res64: 29EF46BC96CAD6E9 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:51:39] 755*2^1445458-1 is not prime. Res64: 3F0CAF7381934F52 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:51:40] 815*2^1445458-1 is not prime. Res64: 8C786A485CCD5996 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:51:41] 843*2^1445458-1 is not prime. Res64: 56BE78FF5F8C4C07 Time : 0.0 sec. user=mdettweiler [2016-11-10 23:51:42] 867*2^1445458-1 is not prime. Res64: F584CBD657F17BDE Time : 0.0 sec. user=mdettweiler [2016-11-10 23:51:42] 891*2^1445458-1 is not prime. Res64: 468584C4233FA2E9 Time : 0.0 sec.