user=mdettweiler [2015-08-03 00:01:13] 651*2^1405126-1 is not prime. Res64: 4FD15F8DEB317304 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:01:13] 671*2^1405126-1 is not prime. Res64: B3CEED3F2D803615 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:05:36] 713*2^1405126-1 is not prime. Res64: 2594D981468CCB13 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:05:37] 761*2^1405126-1 is not prime. Res64: 438865C5D28FCB55 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:08:36] 777*2^1405126-1 is not prime. Res64: 2E71E99A9BB5081D Time : 0.0 sec. user=mdettweiler [2015-08-03 00:08:37] 821*2^1405126-1 is not prime. Res64: 441989AF6E92F228 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:17:44] 855*2^1405126-1 is not prime. Res64: C93032434C4C568C Time : 0.0 sec. user=mdettweiler [2015-08-03 00:17:44] 861*2^1405126-1 is not prime. Res64: EAF01551BDB9A5C7 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:19:06] 601*2^1405127-1 is not prime. Res64: 8EA38FE746940737 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:19:06] 655*2^1405127-1 is not prime. Res64: 8503D11B344F030F Time : 0.0 sec. user=mdettweiler [2015-08-03 00:23:13] 663*2^1405127-1 is not prime. Res64: CADA274C934415D7 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:23:14] 673*2^1405127-1 is not prime. Res64: 57BFA6F33771700A Time : 0.0 sec. user=mdettweiler [2015-08-03 00:26:24] 693*2^1405127-1 is not prime. Res64: 6A1F8BF87881E02A Time : 0.0 sec. user=mdettweiler [2015-08-03 00:26:24] 819*2^1405127-1 is not prime. Res64: 8BDD63435D26660A Time : 0.0 sec. user=mdettweiler [2015-08-03 00:35:24] 861*2^1405127-1 is not prime. Res64: 9095D48599312284 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:35:24] 605*2^1405128-1 is not prime. Res64: E53AA2F55EA04951 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:36:55] 665*2^1405128-1 is not prime. Res64: 2519C9028C74E045 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:36:55] 689*2^1405128-1 is not prime. Res64: CEEA02A32750E593 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:41:07] 765*2^1405128-1 is not prime. Res64: 104D97B028A0DF56 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:41:07] 797*2^1405128-1 is not prime. Res64: 60E53CD0336D924E Time : 0.0 sec. user=mdettweiler [2015-08-03 00:44:20] 675*2^1405129-1 is not prime. Res64: B1FE292DC81E8E4F Time : 0.0 sec. user=mdettweiler [2015-08-03 00:44:20] 751*2^1405129-1 is not prime. Res64: DDFA27B2504FEA69 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:53:28] 841*2^1405129-1 is not prime. Res64: 2E3BFAE16E6C48FE Time : 0.0 sec. user=mdettweiler [2015-08-03 00:53:28] 867*2^1405129-1 is not prime. Res64: C426AAE562597087 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:55:10] 979*2^1405129-1 is not prime. Res64: 3C154E3B009FD4AB Time : 0.0 sec. user=mdettweiler [2015-08-03 00:55:11] 711*2^1405130-1 is not prime. Res64: FFBFE359CA600289 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:59:26] 717*2^1405130-1 is not prime. Res64: D715C5165378F277 Time : 0.0 sec. user=mdettweiler [2015-08-03 00:59:26] 773*2^1405130-1 is not prime. Res64: 851447B936757651 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:02:42] 971*2^1405130-1 is not prime. Res64: 63409A4FA96FBB1A Time : 0.0 sec. user=mdettweiler [2015-08-03 01:02:43] 995*2^1405130-1 is not prime. Res64: 49FA3B92E9FDDFB5 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:12:06] 625*2^1405131-1 is not prime. Res64: 9CCDE75D5672E1D1 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:12:06] 705*2^1405131-1 is not prime. Res64: C1BE95275A0C0596 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:13:41] 709*2^1405131-1 is not prime. Res64: 0A5507A12D5DA9F1 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:13:41] 745*2^1405131-1 is not prime. Res64: A4E8A05B3A9D8756 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:17:54] 871*2^1405131-1 is not prime. Res64: 5F96BFE26E01A263 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:17:55] 615*2^1405132-1 is not prime. Res64: F7D5E7614AD74DBC Time : 0.0 sec. user=mdettweiler [2015-08-03 01:21:15] 635*2^1405132-1 is not prime. Res64: 88A10545A46DA922 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:21:15] 705*2^1405132-1 is not prime. Res64: C095A1487F76C320 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:30:31] 723*2^1405132-1 is not prime. Res64: 6AE3825071069E74 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:30:32] 887*2^1405132-1 is not prime. Res64: 3CFEA06F5E0E2C54 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:32:15] 929*2^1405132-1 is not prime. Res64: 2674D1C8653E6AF5 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:32:15] 947*2^1405132-1 is not prime. Res64: 98E59F9FD3CE3288 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:36:29] 649*2^1405133-1 is not prime. Res64: B6BF0B7BCB690D8E Time : 0.0 sec. user=mdettweiler [2015-08-03 01:36:29] 735*2^1405133-1 is not prime. Res64: 5C176AE1CC775291 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:39:36] 969*2^1405133-1 is not prime. Res64: B486799B5FFA2B1A Time : 0.0 sec. user=mdettweiler [2015-08-03 01:39:36] 621*2^1405134-1 is not prime. Res64: 28625603DBFBF657 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:49:14] 671*2^1405134-1 is not prime. Res64: B58166883DD22C52 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:49:14] 677*2^1405134-1 is not prime. Res64: A0F882AA897A18D1 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:50:46] 705*2^1405134-1 is not prime. Res64: B064FADB5387AE07 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:50:47] 861*2^1405134-1 is not prime. Res64: 5C4BEE6A2B70CB02 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:55:12] 661*2^1405135-1 is not prime. Res64: 39558FDE4419917E Time : 0.0 sec. user=mdettweiler [2015-08-03 01:55:13] 765*2^1405135-1 is not prime. Res64: 657ED1E52649D540 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:58:01] 843*2^1405135-1 is not prime. Res64: EF4DB067941BE894 Time : 0.0 sec. user=mdettweiler [2015-08-03 01:58:02] 849*2^1405135-1 is not prime. Res64: E3FD4D16496F92B9 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:07:55] 669*2^1405136-1 is not prime. Res64: FBD2ACA74987E79D Time : 0.0 sec. user=mdettweiler [2015-08-03 02:07:55] 719*2^1405136-1 is not prime. Res64: 29376A9CCB9C7512 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:09:34] 747*2^1405136-1 is not prime. Res64: CDE5A4DC9DAFEA22 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:09:34] 815*2^1405136-1 is not prime. Res64: DF6871F7ECA08B4B Time : 0.0 sec. user=mdettweiler [2015-08-03 02:13:57] 825*2^1405136-1 is not prime. Res64: 8CE2DBFBC8FE5871 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:13:58] 699*2^1405137-1 is not prime. Res64: 205C7D87C94DE4D8 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:16:32] 611*2^1405138-1 is not prime. Res64: FE54A23F7C7E3F40 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:16:32] 635*2^1405138-1 is not prime. Res64: C320E22C67BE8D7F Time : 0.0 sec. user=mdettweiler [2015-08-03 02:26:28] 681*2^1405138-1 is not prime. Res64: A0289AE234586EFB Time : 0.0 sec. user=mdettweiler [2015-08-03 02:26:29] 705*2^1405138-1 is not prime. Res64: 4754479D649A7668 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:28:13] 743*2^1405138-1 is not prime. Res64: D86BD462123D658A Time : 0.0 sec. user=mdettweiler [2015-08-03 02:28:13] 777*2^1405138-1 is not prime. Res64: 7E763939DFA22FF2 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:32:43] 845*2^1405138-1 is not prime. Res64: B2F48E4C1F538706 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:32:43] 971*2^1405138-1 is not prime. Res64: 6B6A32E8F41BB387 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:34:57] 633*2^1405139-1 is not prime. Res64: 1FF18C6FF433CC70 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:34:58] 645*2^1405139-1 is not prime. Res64: 4BC096CEA1808D3C Time : 0.0 sec. user=mdettweiler [2015-08-03 02:44:57] 675*2^1405139-1 is not prime. Res64: 95239A06D6B0191C Time : 0.0 sec. user=mdettweiler [2015-08-03 02:44:57] 711*2^1405139-1 is not prime. Res64: D3810B36F7E8651A Time : 0.0 sec. user=mdettweiler [2015-08-03 02:46:35] 825*2^1405139-1 is not prime. Res64: 0D867E0C17AF9E5D Time : 0.0 sec. user=mdettweiler [2015-08-03 02:46:35] 615*2^1405140-1 is not prime. Res64: 666F58FA7548C294 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:51:11] 653*2^1405140-1 is not prime. Res64: 7E38B0C70F56FE3A Time : 0.0 sec. user=mdettweiler [2015-08-03 02:51:12] 669*2^1405140-1 is not prime. Res64: D6415B93E74AE2D3 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:53:33] 893*2^1405140-1 is not prime. Res64: 9E89120EC32EA008 Time : 0.0 sec. user=mdettweiler [2015-08-03 02:53:33] 933*2^1405140-1 is not prime. Res64: 59454BED6F1B9872 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:03:22] 615*2^1405141-1 is not prime. Res64: 1CED91D13D559D01 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:03:24] 645*2^1405141-1 is not prime. Res64: 2ADD49247090AFEF Time : 0.0 sec. user=mdettweiler [2015-08-03 03:05:07] 649*2^1405141-1 is not prime. Res64: 7761CDCEC4022DC1 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:05:08] 687*2^1405141-1 is not prime. Res64: CC70CE3F10DF4EB5 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:09:36] 745*2^1405141-1 is not prime. Res64: B560DBCC34C25E26 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:09:36] 861*2^1405141-1 is not prime. Res64: E61A1CA257E3C8DF Time : 0.0 sec. user=mdettweiler [2015-08-03 03:11:52] 979*2^1405141-1 is not prime. Res64: 9C7600F481C87DE0 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:11:52] 997*2^1405141-1 is not prime. Res64: 7F9DA8CF502D16B9 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:21:46] 603*2^1405142-1 is not prime. Res64: C05E174EA7117DA6 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:21:47] 651*2^1405142-1 is not prime. Res64: 97193594C6A6F0DC Time : 0.0 sec. user=mdettweiler [2015-08-03 03:22:54] 747*2^1405142-1 is not prime. Res64: 74F732C8F998B38A Time : 0.0 sec. user=mdettweiler [2015-08-03 03:22:55] 771*2^1405142-1 is not prime. Res64: 62B537A693541CBB Time : 0.0 sec. user=mdettweiler [2015-08-03 03:27:46] 843*2^1405142-1 is not prime. Res64: CEDEE56B21C4DCB7 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:27:47] 953*2^1405142-1 is not prime. Res64: 30209AEAEDC54ABC Time : 0.0 sec. user=mdettweiler [2015-08-03 03:30:42] 669*2^1405143-1 is not prime. Res64: 733E12DB84A76198 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:30:44] 703*2^1405143-1 is not prime. Res64: B2E7FAE117BCA56F Time : 0.0 sec. user=mdettweiler [2015-08-03 03:40:00] 763*2^1405143-1 is not prime. Res64: 03095E23803D8A35 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:40:01] 829*2^1405143-1 is not prime. Res64: A39ECAC53761A424 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:41:25] 891*2^1405143-1 is not prime. Res64: 4AD148A8492884C0 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:41:26] 605*2^1405144-1 is not prime. Res64: BD44DC117C93FA87 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:46:17] 623*2^1405144-1 is not prime. Res64: D549BBEFE26BB28E Time : 0.0 sec. user=mdettweiler [2015-08-03 03:46:18] 707*2^1405144-1 is not prime. Res64: 94F581DDF3BA0AC4 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:48:50] 843*2^1405144-1 is not prime. Res64: B252320CF07388E2 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:48:51] 873*2^1405144-1 is not prime. Res64: 8826943F54541DE6 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:58:07] 947*2^1405144-1 is not prime. Res64: 7A3DA879BB7026E8 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:58:07] 975*2^1405144-1 is not prime. Res64: 8305C1235CDABB4D Time : 0.0 sec. user=mdettweiler [2015-08-03 03:59:18] 627*2^1405145-1 is not prime. Res64: ABF9B0F26C220899 Time : 0.0 sec. user=mdettweiler [2015-08-03 03:59:19] 649*2^1405145-1 is not prime. Res64: 5DC7D00D9F7159E6 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:04:07] 799*2^1405145-1 is not prime. Res64: D3389FCA8B1B3EF7 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:04:08] 819*2^1405145-1 is not prime. Res64: 47767DA8C55DBB64 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:06:41] 847*2^1405145-1 is not prime. Res64: B4DDE87B98C4736C Time : 0.0 sec. user=mdettweiler [2015-08-03 04:06:42] 855*2^1405145-1 is not prime. Res64: 053AE447AA8FB16A Time : 0.0 sec. user=mdettweiler [2015-08-03 04:15:44] 955*2^1405145-1 is not prime. Res64: AF11CE59CFD88EF4 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:15:44] 987*2^1405145-1 is not prime. Res64: 11DAC85F40F759E4 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:17:06] 741*2^1405146-1 is not prime. Res64: 4A214C0DBB74B248 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:17:06] 675*2^1405147-1 is not prime. Res64: C0E7CCA2FDE32C92 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:21:51] 871*2^1405147-1 is not prime. Res64: 9F31DC6C08187847 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:21:52] 885*2^1405147-1 is not prime. Res64: 5AA7F6A70634F49B Time : 0.0 sec. user=mdettweiler [2015-08-03 04:24:17] 889*2^1405147-1 is not prime. Res64: 9D4E351C1E48A234 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:24:18] 909*2^1405147-1 is not prime. Res64: 6DFABF9587AF9666 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:33:24] 919*2^1405147-1 is not prime. Res64: AAF8A42424A55FF8 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:33:24] 973*2^1405147-1 is not prime. Res64: 92731FE68D96E31C Time : 0.0 sec. user=mdettweiler [2015-08-03 04:34:45] 635*2^1405148-1 is not prime. Res64: D0B8785A4D55E7FB Time : 0.0 sec. user=mdettweiler [2015-08-03 04:34:45] 993*2^1405148-1 is not prime. Res64: CB92EF59D60E951A Time : 0.0 sec. user=mdettweiler [2015-08-03 04:39:31] 995*2^1405148-1 is not prime. Res64: 3B91E0948C74C794 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:39:31] 609*2^1405149-1 is not prime. Res64: BDA2A2DC2ACFE67E Time : 0.0 sec. user=mdettweiler [2015-08-03 04:41:56] 975*2^1405149-1 is not prime. Res64: ECF5CE715D65E202 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:41:56] 611*2^1405150-1 is not prime. Res64: 0A3D0D383DA296A4 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:51:03] 731*2^1405150-1 is not prime. Res64: 10230C2B7EEC692C Time : 0.0 sec. user=mdettweiler [2015-08-03 04:51:04] 833*2^1405150-1 is not prime. Res64: F7F6DAE0974C5FC8 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:52:33] 857*2^1405150-1 is not prime. Res64: FCDE077C02CBFE80 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:52:33] 887*2^1405150-1 is not prime. Res64: 6C4925734C3C1F71 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:57:08] 933*2^1405150-1 is not prime. Res64: ECC042A6E3F2AA18 Time : 0.0 sec. user=mdettweiler [2015-08-03 04:57:09] 971*2^1405150-1 is not prime. Res64: D60203E6C9264B8C Time : 0.0 sec. user=mdettweiler [2015-08-03 04:59:37] 601*2^1405151-1 is not prime. Res64: 2C0F358F808FBA5D Time : 0.0 sec. user=mdettweiler [2015-08-03 04:59:37] 603*2^1405151-1 is not prime. Res64: 163770C88E4B6D46 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:08:45] 651*2^1405151-1 is not prime. Res64: 9865B4E189B5BC4F Time : 0.0 sec. user=mdettweiler [2015-08-03 05:08:45] 745*2^1405151-1 is not prime. Res64: 80B55983AFFCDAE4 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:10:24] 763*2^1405151-1 is not prime. Res64: 4D4B4A61D1927F92 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:10:25] 789*2^1405151-1 is not prime. Res64: EC470EFD6887E77C Time : 0.0 sec. user=mdettweiler [2015-08-03 05:14:48] 825*2^1405151-1 is not prime. Res64: B8E44DF1E6143C3D Time : 0.0 sec. user=mdettweiler [2015-08-03 05:14:49] 949*2^1405151-1 is not prime. Res64: A0FF32FB4B31E482 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:17:20] 973*2^1405151-1 is not prime. Res64: E9FF47D28CD8E902 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:17:20] 993*2^1405151-1 is not prime. Res64: 436F559B8981A8E7 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:26:23] 635*2^1405152-1 is not prime. Res64: B7E2DA9832F16B52 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:26:23] 699*2^1405152-1 is not prime. Res64: 56B56CA1FC694963 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:27:59] 615*2^1405153-1 is not prime. Res64: 62B0DE608A2C5AEB Time : 0.0 sec. user=mdettweiler [2015-08-03 05:27:59] 625*2^1405153-1 is not prime. Res64: 43C6D7AC422A47E6 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:32:35] 687*2^1405153-1 is not prime. Res64: BDB3291F66510013 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:32:36] 855*2^1405153-1 is not prime. Res64: 2AB8D68974BBE1FD Time : 0.0 sec. user=mdettweiler [2015-08-03 05:35:09] 889*2^1405153-1 is not prime. Res64: 9E6E3A59CB14C289 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:35:09] 895*2^1405153-1 is not prime. Res64: 41CA29A9F8F6A084 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:43:55] 897*2^1405153-1 is not prime. Res64: D294F695D9AA997E Time : 0.0 sec. user=mdettweiler [2015-08-03 05:43:56] 967*2^1405153-1 is not prime. Res64: A7431C6D84E4F603 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:45:38] 633*2^1405154-1 is not prime. Res64: 07C47D3F5BC68D1B Time : 0.0 sec. user=mdettweiler [2015-08-03 05:45:38] 783*2^1405154-1 is not prime. Res64: 2A4AA5AFAE77611F Time : 0.0 sec. user=mdettweiler [2015-08-03 05:50:15] 833*2^1405154-1 is not prime. Res64: 21A1B44E17163C97 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:50:15] 887*2^1405154-1 is not prime. Res64: 32099336B4B1B145 Time : 0.0 sec. user=mdettweiler [2015-08-03 05:52:49] 971*2^1405154-1 is not prime. Res64: 1FEE672C9F88278F Time : 0.0 sec. user=mdettweiler [2015-08-03 05:52:50] 983*2^1405154-1 is not prime. Res64: FC2D04619A070E0F Time : 0.0 sec. user=mdettweiler [2015-08-03 06:01:45] 783*2^1405155-1 is not prime. Res64: 06C4814A2CE7CA83 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:01:46] 871*2^1405155-1 is not prime. Res64: 13CAB4D51791465D Time : 0.0 sec. user=mdettweiler [2015-08-03 06:03:15] 961*2^1405155-1 is not prime. Res64: 221635CC5351282E Time : 0.0 sec. user=mdettweiler [2015-08-03 06:03:17] 999*2^1405155-1 is not prime. Res64: BB75DBAEB50E262D Time : 0.0 sec. user=mdettweiler [2015-08-03 06:07:50] 699*2^1405156-1 is not prime. Res64: 01814D47D54A9B7A Time : 0.0 sec. user=mdettweiler [2015-08-03 06:07:50] 813*2^1405156-1 is not prime. Res64: B68F6F0F6579C759 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:10:25] 825*2^1405156-1 is not prime. Res64: F03B6FC48AE44352 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:10:25] 909*2^1405156-1 is not prime. Res64: 0D3A874037A8A3AC Time : 0.0 sec. user=mdettweiler [2015-08-03 06:19:40] 999*2^1405156-1 is not prime. Res64: 234229697A2A822B Time : 0.0 sec. user=mdettweiler [2015-08-03 06:19:41] 631*2^1405157-1 is not prime. Res64: C0DF58F145E586E4 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:20:55] 645*2^1405157-1 is not prime. Res64: 3E490A7ACA07DE6A Time : 0.0 sec. user=mdettweiler [2015-08-03 06:20:55] 759*2^1405157-1 is not prime. Res64: 4C4AB0347AD09317 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:25:26] 777*2^1405157-1 is not prime. Res64: 1933FBE577C7A2B1 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:25:26] 945*2^1405157-1 is not prime. Res64: 8DCB3114978D2704 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:28:02] 955*2^1405157-1 is not prime. Res64: 485C3001AF58398D Time : 0.0 sec. user=mdettweiler [2015-08-03 06:28:02] 997*2^1405157-1 is not prime. Res64: 06A3CCFA0CEDD466 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:37:24] 647*2^1405158-1 is not prime. Res64: E6B7132D6E8F4D71 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:37:24] 671*2^1405158-1 is not prime. Res64: B2000F43448BE72D Time : 0.0 sec. user=mdettweiler [2015-08-03 06:38:41] 713*2^1405158-1 is not prime. Res64: 4BC66244F89FABEC Time : 0.0 sec. user=mdettweiler [2015-08-03 06:38:42] 725*2^1405158-1 is not prime. Res64: AEC00B1BF8B61956 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:43:08] 773*2^1405158-1 is not prime. Res64: E60930AEF0A89B43 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:43:08] 887*2^1405158-1 is not prime. Res64: 81695FBBE107129D Time : 0.0 sec. user=mdettweiler [2015-08-03 06:45:38] 915*2^1405158-1 is not prime. Res64: 638583A259DE2D5B Time : 0.0 sec. user=mdettweiler [2015-08-03 06:45:38] 971*2^1405158-1 is not prime. Res64: 74EA9363C29DC355 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:55:07] 615*2^1405159-1 is not prime. Res64: 74D20C4B6D126EC2 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:55:08] 679*2^1405159-1 is not prime. Res64: D962F4C8834D06E8 Time : 0.0 sec. user=mdettweiler [2015-08-03 06:56:14] 841*2^1405159-1 is not prime. Res64: BA7DC579E3C01D3F Time : 0.0 sec. user=mdettweiler [2015-08-03 06:56:15] 925*2^1405159-1 is not prime. Res64: DF80BBEDA225B828 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:00:46] 931*2^1405159-1 is not prime. Res64: 86B4B00C553CCF9D Time : 0.0 sec. user=mdettweiler [2015-08-03 07:00:46] 665*2^1405160-1 is not prime. Res64: D721EBF5C9117DC4 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:03:19] 797*2^1405160-1 is not prime. Res64: E96C529F9511F1D2 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:03:21] 825*2^1405160-1 is not prime. Res64: 6B8A1B6B8CBC2E0F Time : 0.0 sec. user=mdettweiler [2015-08-03 07:12:43] 833*2^1405160-1 is not prime. Res64: B0387266ABABA3DB Time : 0.0 sec. user=mdettweiler [2015-08-03 07:12:43] 899*2^1405160-1 is not prime. Res64: C49011B30198D1DE Time : 0.0 sec. user=mdettweiler [2015-08-03 07:13:54] 923*2^1405160-1 is not prime. Res64: E0BBB21274E85E0C Time : 0.0 sec. user=mdettweiler [2015-08-03 07:13:55] 679*2^1405161-1 is not prime. Res64: C9C4348C53D040EF Time : 0.0 sec. user=mdettweiler [2015-08-03 07:18:21] 691*2^1405161-1 is not prime. Res64: 02C435C526B46226 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:18:21] 745*2^1405161-1 is not prime. Res64: F27C1F62FC08CE69 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:21:18] 817*2^1405161-1 is not prime. Res64: CCC591F478E2BD6F Time : 0.0 sec. user=mdettweiler [2015-08-03 07:21:19] 979*2^1405161-1 is not prime. Res64: 28B76FDECD8B608B Time : 0.0 sec. user=mdettweiler [2015-08-03 07:30:25] 603*2^1405162-1 is not prime. Res64: 8EA02220FBF2D630 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:30:26] 647*2^1405162-1 is not prime. Res64: F3195BC286223721 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:31:39] 705*2^1405162-1 is not prime. Res64: A3FA93309EA2F0D5 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:31:39] 735*2^1405162-1 is not prime. Res64: F36E12D8815BFE98 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:36:04] 827*2^1405162-1 is not prime. Res64: 9EF9B1FFC8F52113 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:36:04] 881*2^1405162-1 is not prime. Res64: CF1B07F49F1BD5E3 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:39:03] 917*2^1405162-1 is not prime. Res64: 30F5986247543615 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:39:03] 923*2^1405162-1 is not prime. Res64: 96A31FE5800E705E Time : 0.0 sec. user=mdettweiler [2015-08-03 07:48:03] 981*2^1405162-1 is not prime. Res64: 2974E49CE63BF81E Time : 0.0 sec. user=mdettweiler [2015-08-03 07:48:03] 983*2^1405162-1 is not prime. Res64: DCB6E912D0D4C27F Time : 0.0 sec. user=mdettweiler [2015-08-03 07:49:33] 987*2^1405162-1 is not prime. Res64: 5B40F71DED876B1D Time : 0.0 sec. user=mdettweiler [2015-08-03 07:49:33] 735*2^1405163-1 is not prime. Res64: 88A3EA418B5BDBBF Time : 0.0 sec. user=mdettweiler [2015-08-03 07:53:46] 789*2^1405163-1 is not prime. Res64: 12648F5097F3E228 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:53:46] 819*2^1405163-1 is not prime. Res64: 1813C035094946B8 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:56:43] 889*2^1405163-1 is not prime. Res64: 3284FBE5A3974453 Time : 0.0 sec. user=mdettweiler [2015-08-03 07:56:43] 895*2^1405163-1 is not prime. Res64: BC1D026D49A791BA Time : 0.0 sec. user=mdettweiler [2015-08-03 08:05:40] 913*2^1405163-1 is not prime. Res64: D7EB4A26CFA591A3 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:05:40] 991*2^1405163-1 is not prime. Res64: 81B5FE2F3100E668 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:07:17] 675*2^1405164-1 is not prime. Res64: 72CBC6D6C6B3E7BC Time : 0.0 sec. user=mdettweiler [2015-08-03 08:07:17] 689*2^1405164-1 is not prime. Res64: 0B2731CEE2A3E55D Time : 0.0 sec. user=mdettweiler [2015-08-03 08:11:28] 723*2^1405164-1 is not prime. Res64: 09EE02606E6BC448 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:11:29] 725*2^1405164-1 is not prime. Res64: A3D019B89266C383 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:14:21] 863*2^1405164-1 is not prime. Res64: D6E722A80A21BE5B Time : 0.0 sec. user=mdettweiler [2015-08-03 08:14:22] 887*2^1405164-1 is not prime. Res64: C5850B587E249404 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:23:29] 983*2^1405164-1 is not prime. Res64: 0E9594021C187770 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:23:29] 699*2^1405165-1 is not prime. Res64: 7ACC0C0767713772 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:25:18] 721*2^1405165-1 is not prime. Res64: F8FB0497E4373212 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:25:19] 771*2^1405165-1 is not prime. Res64: A7CF5DD00FEE33F1 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:29:16] 683*2^1405166-1 is not prime. Res64: F6C13CD83E5E7B87 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:29:17] 893*2^1405166-1 is not prime. Res64: 1ACA20E35D1415CD Time : 0.0 sec. user=mdettweiler [2015-08-03 08:32:07] 917*2^1405166-1 is not prime. Res64: C87D717B71FFCE03 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:32:07] 693*2^1405167-1 is not prime. Res64: 4240C09CAC7C33B3 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:41:09] 735*2^1405167-1 is not prime. Res64: 66B7EBE9B2052CCB Time : 0.0 sec. user=mdettweiler [2015-08-03 08:41:09] 829*2^1405167-1 is not prime. Res64: 18A856AE6CF35D21 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:42:55] 849*2^1405167-1 is not prime. Res64: 20F64E90BABD153D Time : 0.0 sec. user=mdettweiler [2015-08-03 08:42:55] 615*2^1405168-1 is not prime. Res64: 640995655D68D46D Time : 0.0 sec. user=mdettweiler [2015-08-03 08:46:49] 743*2^1405168-1 is not prime. Res64: 4CC1B32A525272F5 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:46:50] 827*2^1405168-1 is not prime. Res64: 24C0795582496310 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:49:51] 923*2^1405168-1 is not prime. Res64: 69EED466951C4DE2 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:49:51] 947*2^1405168-1 is not prime. Res64: F6685A1EB93E525B Time : 0.0 sec. user=mdettweiler [2015-08-03 08:58:55] 697*2^1405169-1 is not prime. Res64: 37749AF9EF2213F5 Time : 0.0 sec. user=mdettweiler [2015-08-03 08:58:56] 811*2^1405169-1 is not prime. Res64: 488C729F3808444F Time : 0.0 sec. user=mdettweiler [2015-08-03 09:00:49] 831*2^1405169-1 is not prime. Res64: 1699AED6351147D3 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:00:50] 955*2^1405169-1 is not prime. Res64: 9D1B00CE005DED72 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:04:31] 969*2^1405169-1 is not prime. Res64: 45572C6DFFC3A6EB Time : 0.0 sec. user=mdettweiler [2015-08-03 09:04:33] 671*2^1405170-1 is not prime. Res64: CE9174A7F7E57880 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:07:31] 677*2^1405170-1 is not prime. Res64: C89BDCC9EE362C85 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:07:32] 773*2^1405170-1 is not prime. Res64: CCCCF4C55D70CF1B Time : 0.0 sec. user=mdettweiler [2015-08-03 09:16:39] 797*2^1405170-1 is not prime. Res64: 10BEA59235E7ACDC Time : 0.0 sec. user=mdettweiler [2015-08-03 09:16:39] 663*2^1405171-1 is not prime. Res64: 0018640D0AA75B03 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:18:34] 829*2^1405171-1 is not prime. Res64: 19F623C916B9A5F5 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:18:35] 883*2^1405171-1 is not prime. Res64: 516316AEA5C5219C Time : 0.0 sec. user=mdettweiler [2015-08-03 09:22:15] 647*2^1405172-1 is not prime. Res64: E44BD3F7D08BCF91 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:22:15] 767*2^1405172-1 is not prime. Res64: 7208A946F9DF5809 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:25:08] 827*2^1405172-1 is not prime. Res64: 057BEE4F0E7F40B7 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:25:09] 837*2^1405172-1 is not prime. Res64: 2CAB3ACAE5D75A90 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:34:14] 873*2^1405172-1 is not prime. Res64: 5608B23976C4E9EE Time : 0.0 sec. user=mdettweiler [2015-08-03 09:34:15] 893*2^1405172-1 is not prime. Res64: 7D57A4B06851682C Time : 0.0 sec. user=mdettweiler [2015-08-03 09:36:15] 959*2^1405172-1 is not prime. Res64: 4F118FFAA2523579 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:36:15] 995*2^1405172-1 is not prime. Res64: 530132085C3A6936 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:39:53] 745*2^1405173-1 is not prime. Res64: 89386FACD2DA6286 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:39:53] 765*2^1405173-1 is not prime. Res64: 396E16BC51E5E1BA Time : 0.0 sec. user=mdettweiler [2015-08-03 09:42:47] 849*2^1405173-1 is not prime. Res64: 48153B58B63D3752 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:42:47] 961*2^1405173-1 is not prime. Res64: 2288E3CCB06173B7 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:51:51] 663*2^1405174-1 is not prime. Res64: 87320166ADE45CAC Time : 0.0 sec. user=mdettweiler [2015-08-03 09:51:52] 705*2^1405174-1 is not prime. Res64: AC81C545EA5A24B1 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:53:53] 741*2^1405174-1 is not prime. Res64: 37134928C7CF8397 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:53:53] 773*2^1405174-1 is not prime. Res64: 0CCFD657AC372D36 Time : 0.0 sec. user=mdettweiler [2015-08-03 09:57:31] 815*2^1405174-1 is not prime. Res64: 0A4976921D2B8B9E Time : 0.0 sec. user=mdettweiler [2015-08-03 09:57:31] 833*2^1405174-1 is not prime. Res64: 1C766E2A2F42945B Time : 0.0 sec. user=mdettweiler [2015-08-03 10:00:22] 965*2^1405174-1 is not prime. Res64: CE29F0C261188863 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:00:24] 633*2^1405175-1 is not prime. Res64: D13956FF4DB4BA01 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:09:29] 735*2^1405175-1 is not prime. Res64: B282DC0B256B3112 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:09:29] 841*2^1405175-1 is not prime. Res64: 2E7F94503CBD5CAB Time : 0.0 sec. user=mdettweiler [2015-08-03 10:11:26] 859*2^1405175-1 is not prime. Res64: A045E3899A71D907 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:11:27] 939*2^1405175-1 is not prime. Res64: 99433D1B79FE746F Time : 0.0 sec. user=mdettweiler [2015-08-03 10:15:14] 973*2^1405175-1 is not prime. Res64: AE7EC205F2462A96 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:15:15] 629*2^1405176-1 is not prime. Res64: F321984F608009F3 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:18:02] 669*2^1405176-1 is not prime. Res64: 4FEEB07323AFE2D9 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:18:02] 773*2^1405176-1 is not prime. Res64: EE6BF9FFE31FEE37 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:27:01] 789*2^1405176-1 is not prime. Res64: 19E10B7D7EF47FB4 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:27:02] 875*2^1405176-1 is not prime. Res64: 2F1792A4E57D4069 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:29:05] 887*2^1405176-1 is not prime. Res64: 3527FFCD416690DE Time : 0.0 sec. user=mdettweiler [2015-08-03 10:29:06] 975*2^1405176-1 is not prime. Res64: 8426DEF1B36B3A5F Time : 0.0 sec. user=mdettweiler [2015-08-03 10:32:55] 645*2^1405177-1 is not prime. Res64: C09FE3BC3F9FAA63 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:32:55] 729*2^1405177-1 is not prime. Res64: E4217D1F9D40BC87 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:35:52] 771*2^1405177-1 is not prime. Res64: 1052680E666499AE Time : 0.0 sec. user=mdettweiler [2015-08-03 10:35:52] 801*2^1405177-1 is not prime. Res64: 88F12C46B38DD0BA Time : 0.0 sec. user=mdettweiler [2015-08-03 10:44:37] 817*2^1405177-1 is not prime. Res64: 58BBF7456DDBCA8E Time : 0.0 sec. user=mdettweiler [2015-08-03 10:44:37] 999*2^1405177-1 is not prime. Res64: 3FB41861174980D0 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:46:41] 651*2^1405178-1 is not prime. Res64: 07977BA3A84A8F3F Time : 0.0 sec. user=mdettweiler [2015-08-03 10:46:41] 711*2^1405178-1 is not prime. Res64: B7B5D3105AF26873 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:50:29] 771*2^1405178-1 is not prime. Res64: 3E64286DA15E6CC4 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:50:29] 773*2^1405178-1 is not prime. Res64: F5A9847FB0587876 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:53:28] 791*2^1405178-1 is not prime. Res64: CC502791FA12C9F7 Time : 0.0 sec. user=mdettweiler [2015-08-03 10:53:28] 935*2^1405178-1 is not prime. Res64: 6FD0E8B89882F7F6 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:03:00] 941*2^1405178-1 is not prime. Res64: 12CB98BA7C09D2FA Time : 0.0 sec. user=mdettweiler [2015-08-03 11:03:01] 1001*2^1405178-1 is not prime. Res64: 0515541F46831EC1 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:05:18] 615*2^1405179-1 is not prime. Res64: 8E5649419B95E97F Time : 0.0 sec. user=mdettweiler [2015-08-03 11:05:21] 663*2^1405179-1 is not prime. Res64: 1EE9EDE041EA2FE5 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:09:00] 703*2^1405179-1 is not prime. Res64: 095346F00D53F9B0 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:09:01] 741*2^1405179-1 is not prime. Res64: 4CF2944B85EFFA56 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:12:01] 801*2^1405179-1 is not prime. Res64: E424FAD897A213A7 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:12:01] 829*2^1405179-1 is not prime. Res64: E0EC0332E813CA18 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:21:51] 853*2^1405179-1 is not prime. Res64: F5CAA202DC4BC2F2 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:21:52] 969*2^1405179-1 is not prime. Res64: CEBD515E0A951438 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:24:15] 985*2^1405179-1 is not prime. Res64: 820B6E2AC308343C Time : 0.0 sec. user=mdettweiler [2015-08-03 11:24:15] 999*2^1405179-1 is not prime. Res64: CFE276C052A36A2B Time : 0.0 sec. user=mdettweiler [2015-08-03 11:27:40] 615*2^1405180-1 is not prime. Res64: 36B09BEB0CF42096 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:27:40] 687*2^1405180-1 is not prime. Res64: 7894A4205E920C87 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:30:19] 827*2^1405180-1 is not prime. Res64: 859195F03D8F3454 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:30:20] 839*2^1405180-1 is not prime. Res64: 1F96AEA8AD1D8A78 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:39:31] 965*2^1405180-1 is not prime. Res64: 60803CFA9ACC8F67 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:39:32] 657*2^1405181-1 is not prime. Res64: C22F26586D6ABBA5 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:45:22] 811*2^1405181-1 is not prime. Res64: E280F64A79A3A9BB Time : 0.0 sec. user=mdettweiler [2015-08-03 11:45:23] 825*2^1405181-1 is not prime. Res64: D85EBBD3D548A192 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:48:06] 855*2^1405181-1 is not prime. Res64: F31781CADEDC7A2C Time : 0.0 sec. user=mdettweiler [2015-08-03 11:48:07] 879*2^1405181-1 is not prime. Res64: 1AFC7B7D92744AEF Time : 0.0 sec. user=mdettweiler [2015-08-03 11:57:44] 981*2^1405181-1 is not prime. Res64: 9B8355F3B65F7F35 Time : 0.0 sec. user=mdettweiler [2015-08-03 11:57:44] 797*2^1405182-1 is not prime. Res64: CB504C97D43250FD Time : 0.0 sec. user=mdettweiler [2015-08-03 12:04:02] 917*2^1405182-1 is not prime. Res64: 669CCC620E2F5408 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:04:03] 977*2^1405182-1 is not prime. Res64: E61403D26AFC8878 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:06:53] 639*2^1405183-1 is not prime. Res64: B68B5FADB15E94C6 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:06:53] 673*2^1405183-1 is not prime. Res64: CAD3C6AE258F412A Time : 0.0 sec. user=mdettweiler [2015-08-03 12:16:09] 829*2^1405183-1 is not prime. Res64: FA559E12AFE1FC49 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:16:10] 873*2^1405183-1 is not prime. Res64: 7B38859AEECBAF70 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:22:40] 889*2^1405183-1 is not prime. Res64: CAE60C3C3F82E390 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:22:40] 915*2^1405183-1 is not prime. Res64: 6D2C600B39A83FF3 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:25:39] 961*2^1405183-1 is not prime. Res64: CA2A8D383B5DB746 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:25:40] 755*2^1405184-1 is not prime. Res64: 789A655A39DDC338 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:35:03] 827*2^1405184-1 is not prime. Res64: 0FC9B6AE69221EDB Time : 0.0 sec. user=mdettweiler [2015-08-03 12:35:03] 959*2^1405184-1 is not prime. Res64: 7813E3CF193D076A Time : 0.0 sec. user=mdettweiler [2015-08-03 12:41:23] 625*2^1405185-1 is not prime. Res64: E112A432A23340DA Time : 0.0 sec. user=mdettweiler [2015-08-03 12:41:23] 699*2^1405185-1 is not prime. Res64: ACC48D117E1E4585 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:44:26] 741*2^1405185-1 is not prime. Res64: F7120BB93C475381 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:44:26] 759*2^1405185-1 is not prime. Res64: 9CF83FE4369FBF16 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:53:31] 819*2^1405185-1 is not prime. Res64: CA18E2CCFAA1A8B9 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:53:32] 895*2^1405185-1 is not prime. Res64: A05F9E7F99262C23 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:59:49] 713*2^1405186-1 is not prime. Res64: 81D3387B42EF8009 Time : 0.0 sec. user=mdettweiler [2015-08-03 12:59:50] 923*2^1405186-1 is not prime. Res64: BC99E404FF1A1DAA Time : 0.0 sec. user=mdettweiler [2015-08-03 13:03:04] 711*2^1405187-1 is not prime. Res64: 8C32DE87DEBB7F8A Time : 0.0 sec. user=mdettweiler [2015-08-03 13:03:05] 801*2^1405187-1 is not prime. Res64: 700C550735BDBB1A Time : 0.0 sec. user=mdettweiler [2015-08-03 13:11:58] 813*2^1405187-1 is not prime. Res64: 634377B2D73ADC79 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:11:59] 825*2^1405187-1 is not prime. Res64: 787F194427D75708 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:18:26] 993*2^1405187-1 is not prime. Res64: 277C0C3F095EFF6D Time : 0.0 sec. user=mdettweiler [2015-08-03 13:18:26] 635*2^1405188-1 is not prime. Res64: 44F4299BA5BAACCC Time : 0.0 sec. user=mdettweiler [2015-08-03 13:22:33] 663*2^1405188-1 is not prime. Res64: F3966B4D069221B7 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:22:33] 789*2^1405188-1 is not prime. Res64: 77B178F0033BE02D Time : 0.0 sec. user=mdettweiler [2015-08-03 13:30:50] 867*2^1405188-1 is not prime. Res64: D28AACB414649D3E Time : 0.0 sec. user=mdettweiler [2015-08-03 13:30:51] 975*2^1405188-1 is not prime. Res64: 2D1DEC2E17935D32 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:37:20] 999*2^1405188-1 is not prime. Res64: 5375AF0C649978B1 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:37:20] 747*2^1405189-1 is not prime. Res64: 4490A07EE863D0C6 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:41:32] 825*2^1405189-1 is not prime. Res64: 46A9BD5B864F979D Time : 0.0 sec. user=mdettweiler [2015-08-03 13:41:33] 605*2^1405190-1 is not prime. Res64: 6E6AB3656DC54D65 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:49:28] 641*2^1405190-1 is not prime. Res64: DDDDD8D93DB92BC5 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:49:29] 663*2^1405190-1 is not prime. Res64: 61F91A1F3F7F31C0 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:55:53] 867*2^1405190-1 is not prime. Res64: 73B03C81422DCE08 Time : 0.0 sec. user=mdettweiler [2015-08-03 13:55:53] 875*2^1405190-1 is not prime. Res64: 784B9B12B97287FB Time : 0.0 sec. user=mdettweiler [2015-08-03 14:00:04] 885*2^1405190-1 is not prime. Res64: 08F7740F820431BE Time : 0.0 sec. user=mdettweiler [2015-08-03 14:00:05] 911*2^1405190-1 is not prime. Res64: 7218BE9E99B4EBBF Time : 0.0 sec. user=mdettweiler [2015-08-03 14:08:07] 945*2^1405190-1 is not prime. Res64: 1DCA39829081CA0E Time : 0.0 sec. user=mdettweiler [2015-08-03 14:08:08] 793*2^1405191-1 is not prime. Res64: E9AE5EE5AF72240E Time : 0.0 sec. user=S_K_ [2015-08-03 14:09:05] 857*2^1405190-1 is not prime. Res64: EBD3E4B18283FA52 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:14:22] 823*2^1405191-1 is not prime. Res64: 259BD101B54EC82D Time : 0.0 sec. user=mdettweiler [2015-08-03 14:14:23] 901*2^1405191-1 is not prime. Res64: CDCA790EC515490D Time : 0.0 sec. user=mdettweiler [2015-08-03 14:18:53] 973*2^1405191-1 is not prime. Res64: FBA3AD90E61C3101 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:18:54] 617*2^1405192-1 is not prime. Res64: F483279EA1828952 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:26:49] 665*2^1405192-1 is not prime. Res64: 71BFDF9E548353D9 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:26:49] 695*2^1405192-1 is not prime. Res64: F27D4792E95E44CD Time : 0.0 sec. user=mdettweiler [2015-08-03 14:33:17] 863*2^1405192-1 is not prime. Res64: EAE6F1631B9040D2 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:33:17] 981*2^1405193-1 is not prime. Res64: DA17DF174D6FCCEF Time : 0.0 sec. user=mdettweiler [2015-08-03 14:37:46] 717*2^1405194-1 is not prime. Res64: 4695E56D9735A491 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:37:46] 767*2^1405194-1 is not prime. Res64: A68B613B9AE065C0 Time : 0.0 sec. user=S_K_ [2015-08-03 14:44:47] 833*2^1405192-1 is not prime. Res64: DA72E3390CCE7FB9 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:45:55] 837*2^1405194-1 is not prime. Res64: C6A5B0273138C836 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:45:56] 851*2^1405194-1 is not prime. Res64: F29BA38037A8BB3E Time : 0.0 sec. user=mdettweiler [2015-08-03 14:51:49] 873*2^1405194-1 is not prime. Res64: 17CA88776342BE87 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:51:49] 875*2^1405194-1 is not prime. Res64: 90662BB90FB49330 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:56:31] 915*2^1405194-1 is not prime. Res64: 7D68BA57D414CD04 Time : 0.0 sec. user=mdettweiler [2015-08-03 14:56:31] 951*2^1405194-1 is not prime. Res64: 0F99EA51447CB6B9 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:04:58] 971*2^1405194-1 is not prime. Res64: 54C7E95F9F4F2298 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:04:59] 693*2^1405195-1 is not prime. Res64: 21CACE43743133A1 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:11:02] 723*2^1405195-1 is not prime. Res64: FF69A07D5B96E07C Time : 0.0 sec. user=mdettweiler [2015-08-03 15:11:02] 873*2^1405195-1 is not prime. Res64: 48BAE659060E61E5 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:16:04] 635*2^1405196-1 is not prime. Res64: F86D9A6F573A7633 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:16:05] 647*2^1405196-1 is not prime. Res64: 6DF0C8BDFC590414 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:25:14] 677*2^1405196-1 is not prime. Res64: 99B97E4E316A39C8 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:25:15] 683*2^1405196-1 is not prime. Res64: 38C0370B577AC091 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:30:26] 693*2^1405196-1 is not prime. Res64: 24CFE1B0D894E6AC Time : 0.0 sec. user=mdettweiler [2015-08-03 15:30:26] 735*2^1405196-1 is not prime. Res64: 19045E8183F61BCC Time : 0.0 sec. user=mdettweiler [2015-08-03 15:35:23] 865*2^1405197-1 is not prime. Res64: AD37A35DDAC77404 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:35:24] 891*2^1405197-1 is not prime. Res64: EABD00CFD9731769 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:43:43] 979*2^1405197-1 is not prime. Res64: A434682DE2A1C8CA Time : 0.0 sec. user=mdettweiler [2015-08-03 15:43:43] 999*2^1405197-1 is not prime. Res64: 9EAF2D10E3EE98EB Time : 0.0 sec. user=mdettweiler [2015-08-03 15:49:01] 657*2^1405198-1 is not prime. Res64: 38BCFF0CD9ABE64C Time : 0.0 sec. user=mdettweiler [2015-08-03 15:49:02] 707*2^1405198-1 is not prime. Res64: 54BC0A2BB836F070 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:53:52] 791*2^1405198-1 is not prime. Res64: 4C113F32CB8C6D75 Time : 0.0 sec. user=mdettweiler [2015-08-03 15:53:52] 801*2^1405198-1 is not prime. Res64: 9B9B673723B41186 Time : 0.0 sec. user=S_K_ [2015-08-03 15:58:24] 919*2^1405197-1 is not prime. Res64: 2A08866CF520732D Time : 0.0 sec. user=mdettweiler [2015-08-03 16:02:32] 855*2^1405198-1 is not prime. Res64: 53CE6F50F1EDD32C Time : 0.0 sec. user=mdettweiler [2015-08-03 16:02:33] 861*2^1405198-1 is not prime. Res64: 5F4C7A2D4A8E4A15 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:08:07] 867*2^1405198-1 is not prime. Res64: 14FBA52143B2AE68 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:08:07] 915*2^1405198-1 is not prime. Res64: 9760E5768BF21E14 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:12:43] 957*2^1405198-1 is not prime. Res64: 101E7604AA7FF36E Time : 0.0 sec. user=mdettweiler [2015-08-03 16:12:44] 609*2^1405199-1 is not prime. Res64: 73B0CDE0E6626134 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:21:40] 643*2^1405199-1 is not prime. Res64: B8AA8E208EA7AE3A Time : 0.0 sec. user=mdettweiler [2015-08-03 16:21:41] 645*2^1405199-1 is not prime. Res64: 60EBC557FEA0792E Time : 0.0 sec. user=mdettweiler [2015-08-03 16:27:25] 661*2^1405199-1 is not prime. Res64: 671B43D3AE5AEC86 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:27:26] 721*2^1405199-1 is not prime. Res64: 219ECA72739B30D0 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:32:54] 745*2^1405199-1 is not prime. Res64: F1DBD5D44DD1391D Time : 0.0 sec. user=mdettweiler [2015-08-03 16:32:55] 819*2^1405199-1 is not prime. Res64: 74FD9561B5FD5EA2 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:41:21] 843*2^1405199-1 is not prime. Res64: 4F71E1DE99E9F096 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:41:22] 895*2^1405199-1 is not prime. Res64: 84A17A75F3638A29 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:47:15] 629*2^1405200-1 is not prime. Res64: 2CFB559450661549 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:47:16] 665*2^1405200-1 is not prime. Res64: 661D8149E260DA60 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:52:22] 719*2^1405200-1 is not prime. Res64: 063C1F54C27EBC83 Time : 0.0 sec. user=mdettweiler [2015-08-03 16:52:22] 839*2^1405200-1 is not prime. Res64: D5D45E9F2BB79A81 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:01:38] 929*2^1405200-1 is not prime. Res64: B5099551DE2E0480 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:01:39] 933*2^1405200-1 is not prime. Res64: 92C577A48410CFCF Time : 0.0 sec. user=mdettweiler [2015-08-03 17:06:56] 959*2^1405200-1 is not prime. Res64: F28F5DEDC1B0B3C0 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:06:57] 717*2^1405201-1 is not prime. Res64: EA9BAF4A59B2566D Time : 0.0 sec. user=S_K_ [2015-08-03 17:10:36] 879*2^1405200-1 is not prime. Res64: 733E92ADF2067FF4 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:12:01] 867*2^1405201-1 is not prime. Res64: C6181D3DA81502A2 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:12:01] 877*2^1405201-1 is not prime. Res64: E104932B83857F9D Time : 0.0 sec. user=mdettweiler [2015-08-03 17:20:25] 603*2^1405202-1 is not prime. Res64: 602D5D7821AC994F Time : 0.0 sec. user=mdettweiler [2015-08-03 17:20:26] 617*2^1405202-1 is not prime. Res64: 7CA55EACBD1BDA8D Time : 0.0 sec. user=mdettweiler [2015-08-03 17:25:40] 635*2^1405202-1 is not prime. Res64: 95D5E324C988820D Time : 0.0 sec. user=mdettweiler [2015-08-03 17:25:40] 657*2^1405202-1 is not prime. Res64: 2229B6CC21C71BB4 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:30:46] 713*2^1405202-1 is not prime. Res64: CE40572536173CE8 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:30:47] 797*2^1405202-1 is not prime. Res64: 15B9DD98F9DE051C Time : 0.0 sec. user=mdettweiler [2015-08-03 17:38:51] 801*2^1405202-1 is not prime. Res64: FF01F68AF7B5C3EB Time : 0.0 sec. user=mdettweiler [2015-08-03 17:38:52] 615*2^1405203-1 is not prime. Res64: A3E506F40E9DE7CE Time : 0.0 sec. user=mdettweiler [2015-08-03 17:44:20] 723*2^1405203-1 is not prime. Res64: 4639845D997EAC21 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:44:21] 781*2^1405203-1 is not prime. Res64: D026908469B5D3FA Time : 0.0 sec. user=mdettweiler [2015-08-03 17:49:30] 819*2^1405203-1 is not prime. Res64: 5D486B5E24E01C4B Time : 0.0 sec. user=mdettweiler [2015-08-03 17:49:30] 853*2^1405203-1 is not prime. Res64: 167BB88BC0C3BE61 Time : 0.0 sec. user=mdettweiler [2015-08-03 17:57:32] 895*2^1405203-1 is not prime. Res64: 5350D323CC40963A Time : 0.0 sec. user=mdettweiler [2015-08-03 17:57:33] 919*2^1405203-1 is not prime. Res64: 0E48D47CCFC39E4E Time : 0.0 sec. user=mdettweiler [2015-08-03 18:02:59] 963*2^1405203-1 is not prime. Res64: DECD9102A108B867 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:03:00] 985*2^1405203-1 is not prime. Res64: FDFEFDBCE7B75ACB Time : 0.0 sec. user=mdettweiler [2015-08-03 18:08:20] 629*2^1405204-1 is not prime. Res64: 764DEAF849B03DBC Time : 0.0 sec. user=mdettweiler [2015-08-03 18:08:21] 639*2^1405204-1 is not prime. Res64: 283CD5EF90589875 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:16:22] 749*2^1405204-1 is not prime. Res64: 654DA61C3B7E30F0 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:16:22] 863*2^1405204-1 is not prime. Res64: 8FDE6A04552E0B5B Time : 0.0 sec. user=mdettweiler [2015-08-03 18:21:55] 885*2^1405204-1 is not prime. Res64: 788D6AF3AA5D5810 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:21:55] 929*2^1405204-1 is not prime. Res64: 6CE0DCBD4D8161B3 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:25:31] 727*2^1405181-1 is not prime. Res64: A39782CD76BB0256 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:25:32] 741*2^1405181-1 is not prime. Res64: 197ABB12C824A8FA Time : 0.0 sec. user=mdettweiler [2015-08-03 18:27:07] 959*2^1405204-1 is not prime. Res64: 5035FB2BEBAA5BC0 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:27:08] 645*2^1405205-1 is not prime. Res64: DEDB20A16458FEB2 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:34:33] 699*2^1405205-1 is not prime. Res64: 2290F25353F228A6 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:34:33] 865*2^1405205-1 is not prime. Res64: 42860BEE707AAE9B Time : 0.0 sec. user=mdettweiler [2015-08-03 18:39:43] 925*2^1405205-1 is not prime. Res64: 4BC51FAD994619FA Time : 0.0 sec. user=mdettweiler [2015-08-03 18:39:44] 937*2^1405205-1 is not prime. Res64: 62FF766AF6CD9473 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:43:16] 987*2^1405205-1 is not prime. Res64: E06F820A3A31DB85 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:43:17] 843*2^1405206-1 is not prime. Res64: E2BA6DC9F57568DC Time : 0.0 sec. user=mdettweiler [2015-08-03 18:44:49] 947*2^1405206-1 is not prime. Res64: 37E49193659F26A3 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:44:49] 975*2^1405206-1 is not prime. Res64: 3A50C261683CF607 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:52:16] 983*2^1405206-1 is not prime. Res64: 4215AEB80105092E Time : 0.0 sec. user=mdettweiler [2015-08-03 18:52:16] 601*2^1405207-1 is not prime. Res64: 3077AB21A03DE421 Time : 0.0 sec. user=mdettweiler [2015-08-03 18:57:46] 759*2^1405207-1 is not prime. Res64: 48B646CB344D355D Time : 0.0 sec. user=mdettweiler [2015-08-03 18:57:46] 829*2^1405207-1 is not prime. Res64: B966F48DDE9A1EBB Time : 0.0 sec. user=mdettweiler [2015-08-03 19:01:25] 831*2^1405207-1 is not prime. Res64: 91C826B1DA3B189A Time : 0.0 sec. user=mdettweiler [2015-08-03 19:01:25] 885*2^1405207-1 is not prime. Res64: E69F0A2365A065B3 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:03:25] 657*2^1405208-1 is not prime. Res64: 2217B58FF6FEFE5D Time : 0.0 sec. user=mdettweiler [2015-08-03 19:03:26] 837*2^1405208-1 is not prime. Res64: E8F19EA6082C8EEE Time : 0.0 sec. user=mdettweiler [2015-08-03 19:12:41] 875*2^1405208-1 is not prime. Res64: 6EAF0835B76DE322 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:12:42] 969*2^1405208-1 is not prime. Res64: C856AB8F80B4CF7D Time : 0.0 sec. user=mdettweiler [2015-08-03 19:18:45] 999*2^1405208-1 is not prime. Res64: 56B953CB4CB47FA5 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:18:45] 669*2^1405209-1 is not prime. Res64: 6E1CB6D3D245D8C7 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:22:38] 675*2^1405209-1 is not prime. Res64: 763CD0801AA887DA Time : 0.0 sec. user=mdettweiler [2015-08-03 19:22:39] 795*2^1405209-1 is not prime. Res64: 598F9D5418EB02DC Time : 0.0 sec. user=mdettweiler [2015-08-03 19:24:37] 975*2^1405209-1 is not prime. Res64: B6431E0D5142F71C Time : 0.0 sec. user=mdettweiler [2015-08-03 19:24:37] 765*2^1405210-1 is not prime. Res64: A0C596D9BBD0530E Time : 0.0 sec. user=mdettweiler [2015-08-03 19:31:36] 911*2^1405210-1 is not prime. Res64: 3F6E789605049AB1 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:31:36] 923*2^1405210-1 is not prime. Res64: 7FB2B74517CFD929 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:37:40] 971*2^1405210-1 is not prime. Res64: 0ECC3D3F519A9D38 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:37:41] 741*2^1405211-1 is not prime. Res64: 5BFE64F609B24A5A Time : 0.0 sec. user=mdettweiler [2015-08-03 19:40:36] 753*2^1405211-1 is not prime. Res64: 5E044D701D2B2A6F Time : 0.0 sec. user=mdettweiler [2015-08-03 19:40:36] 759*2^1405211-1 is not prime. Res64: A826BA1A8AC1926D Time : 0.0 sec. user=mdettweiler [2015-08-03 19:42:18] 813*2^1405211-1 is not prime. Res64: 5980F194EEA089A5 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:42:19] 909*2^1405211-1 is not prime. Res64: 3CDE4E6FB49A0589 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:49:16] 931*2^1405211-1 is not prime. Res64: 91E0A48BB180C8C5 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:49:17] 607*2^1405213-1 is not prime. Res64: 51E3B1CAFA7F0691 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:55:25] 609*2^1405213-1 is not prime. Res64: 5DFBB114763A56CB Time : 0.0 sec. user=mdettweiler [2015-08-03 19:55:25] 831*2^1405213-1 is not prime. Res64: 7D8C1444F36991E7 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:58:12] 877*2^1405213-1 is not prime. Res64: 0A68BCF34F799D07 Time : 0.0 sec. user=mdettweiler [2015-08-03 19:58:12] 951*2^1405213-1 is not prime. Res64: D9CEDA83F17BAE53 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:00:03] 705*2^1405214-1 is not prime. Res64: 88291A53A3E7F3A3 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:00:03] 717*2^1405214-1 is not prime. Res64: 6FACF25C5DB8ADBE Time : 0.0 sec. user=mdettweiler [2015-08-03 20:07:22] 755*2^1405214-1 is not prime. Res64: 0B83ABDA7A07E2CE Time : 0.0 sec. user=mdettweiler [2015-08-03 20:07:23] 785*2^1405214-1 is not prime. Res64: 3E7DA9BC84A7AB5A Time : 0.0 sec. user=mdettweiler [2015-08-03 20:13:39] 833*2^1405214-1 is not prime. Res64: CE081B4E9975CB9E Time : 0.0 sec. user=mdettweiler [2015-08-03 20:13:39] 887*2^1405214-1 is not prime. Res64: 88B8E257F867457E Time : 0.0 sec. user=mdettweiler [2015-08-03 20:17:13] 945*2^1405214-1 is not prime. Res64: C54AAD91AB9EA1B1 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:17:14] 971*2^1405214-1 is not prime. Res64: E9BEBA53EA71A6F4 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:18:35] 691*2^1405215-1 is not prime. Res64: E4737ACDF7BAE34B Time : 0.0 sec. user=mdettweiler [2015-08-03 20:18:36] 741*2^1405215-1 is not prime. Res64: 1685CAF06EF9D17E Time : 0.0 sec. user=mdettweiler [2015-08-03 20:26:12] 765*2^1405215-1 is not prime. Res64: 47C790932778AE01 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:26:12] 999*2^1405215-1 is not prime. Res64: 081301F6071B8C5B Time : 0.0 sec. user=mdettweiler [2015-08-03 20:32:19] 653*2^1405216-1 is not prime. Res64: 7C2B05374386ED21 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:32:19] 657*2^1405216-1 is not prime. Res64: 539134F21742D82B Time : 0.0 sec. user=mdettweiler [2015-08-03 20:36:13] 825*2^1405216-1 is not prime. Res64: 826135B29F90407A Time : 0.0 sec. user=mdettweiler [2015-08-03 20:36:13] 903*2^1405216-1 is not prime. Res64: 77E8EFA664B56885 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:37:37] 909*2^1405216-1 is not prime. Res64: 192DA87B33EFA264 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:37:37] 923*2^1405216-1 is not prime. Res64: F3B91488F5A07D12 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:45:18] 927*2^1405216-1 is not prime. Res64: 0ACFC9FDD3CF6E89 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:45:18] 939*2^1405216-1 is not prime. Res64: AC91427B31139900 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:51:27] 649*2^1405217-1 is not prime. Res64: 47865549A4FCAD0E Time : 0.0 sec. user=mdettweiler [2015-08-03 20:51:28] 771*2^1405217-1 is not prime. Res64: BB1A9972A6886CCF Time : 0.0 sec. user=mdettweiler [2015-08-03 20:55:22] 847*2^1405217-1 is not prime. Res64: EDF370B16DA7FABE Time : 0.0 sec. user=mdettweiler [2015-08-03 20:55:22] 861*2^1405217-1 is not prime. Res64: D411F5204007295D Time : 0.0 sec. user=mdettweiler [2015-08-03 20:56:12] 937*2^1405217-1 is not prime. Res64: B5F013DF499209F8 Time : 0.0 sec. user=mdettweiler [2015-08-03 20:56:12] 981*2^1405217-1 is not prime. Res64: 64CD269360CC0A5C Time : 0.0 sec. user=mdettweiler [2015-08-03 21:03:56] 663*2^1405218-1 is not prime. Res64: A28C4880F6402D2E Time : 0.0 sec. user=mdettweiler [2015-08-03 21:03:58] 755*2^1405218-1 is not prime. Res64: 963BC0486B65EA81 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:10:13] 777*2^1405218-1 is not prime. Res64: F4A1C56435638BD2 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:10:13] 791*2^1405218-1 is not prime. Res64: CD20EF55305F4602 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:14:11] 859*2^1405219-1 is not prime. Res64: 70B0F2D2FF59DA69 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:14:11] 943*2^1405219-1 is not prime. Res64: 5D1A4FC0B5A8741A Time : 0.0 sec. user=mdettweiler [2015-08-03 21:14:39] 699*2^1405220-1 is not prime. Res64: 190E435D7C65A6F9 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:14:40] 855*2^1405220-1 is not prime. Res64: E64C737D62DBE2B6 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:22:35] 875*2^1405220-1 is not prime. Res64: 53C01E0756DC2DD5 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:22:35] 927*2^1405220-1 is not prime. Res64: 85F8A0DF6A0C573C Time : 0.0 sec. user=mdettweiler [2015-08-03 21:28:40] 963*2^1405220-1 is not prime. Res64: 0D960541C5C9503D Time : 0.0 sec. user=mdettweiler [2015-08-03 21:28:40] 651*2^1405221-1 is not prime. Res64: 333C415E669F0C4C Time : 0.0 sec. user=mdettweiler [2015-08-03 21:32:52] 747*2^1405221-1 is not prime. Res64: 2C2C4112A0FF0C8D Time : 0.0 sec. user=mdettweiler [2015-08-03 21:32:52] 871*2^1405221-1 is not prime. Res64: 53E5B5460CDC01ED Time : 0.0 sec. user=mdettweiler [2015-08-03 21:33:22] 889*2^1405221-1 is not prime. Res64: 921269F5678B7C06 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:33:23] 907*2^1405221-1 is not prime. Res64: 5A8C01397CF7E7EB Time : 0.0 sec. user=mdettweiler [2015-08-03 21:41:12] 945*2^1405221-1 is not prime. Res64: 395B58778F38441A Time : 0.0 sec. user=mdettweiler [2015-08-03 21:41:12] 949*2^1405221-1 is not prime. Res64: BA86762B07DEDA7F Time : 0.0 sec. user=mdettweiler [2015-08-03 21:47:07] 987*2^1405221-1 is not prime. Res64: 51460A7FFDBED5CD Time : 0.0 sec. user=mdettweiler [2015-08-03 21:47:08] 999*2^1405221-1 is not prime. Res64: E49FFBBB85AE13EA Time : 0.0 sec. user=mdettweiler [2015-08-03 21:51:25] 801*2^1405222-1 is not prime. Res64: 8EDD197CC8DB41FE Time : 0.0 sec. user=mdettweiler [2015-08-03 21:51:26] 825*2^1405222-1 is not prime. Res64: FED42FDCE6B2937D Time : 0.0 sec. user=mdettweiler [2015-08-03 21:51:47] 843*2^1405222-1 is not prime. Res64: 2E722D5CB4C36B15 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:51:47] 917*2^1405222-1 is not prime. Res64: 8C6B3C19C89C4D16 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:59:34] 981*2^1405222-1 is not prime. Res64: 48D5B344F5300F16 Time : 0.0 sec. user=mdettweiler [2015-08-03 21:59:34] 813*2^1405223-1 is not prime. Res64: 2154B7AD098A3E7A Time : 0.0 sec. user=mdettweiler [2015-08-03 22:05:50] 829*2^1405223-1 is not prime. Res64: 04ED72BEBAC81ECD Time : 0.0 sec. user=mdettweiler [2015-08-03 22:05:50] 949*2^1405223-1 is not prime. Res64: 135D955D0DC2BFEF Time : 0.0 sec. user=mdettweiler [2015-08-03 22:10:31] 985*2^1405223-1 is not prime. Res64: DB154DA12C313711 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:10:31] 635*2^1405224-1 is not prime. Res64: 23033EF5DEBF1B03 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:10:37] 705*2^1405224-1 is not prime. Res64: 056D88CA5C43E9C0 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:10:38] 737*2^1405224-1 is not prime. Res64: AC0B3B1D2C83A5A8 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:18:47] 765*2^1405224-1 is not prime. Res64: A18A07357072D089 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:18:47] 803*2^1405224-1 is not prime. Res64: BF0C01C670796FF0 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:24:58] 843*2^1405224-1 is not prime. Res64: EE1DA371F6E73744 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:24:58] 863*2^1405224-1 is not prime. Res64: 2D85C055F4B98DB4 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:30:25] 893*2^1405224-1 is not prime. Res64: DCA7283B25E3AE66 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:30:25] 929*2^1405224-1 is not prime. Res64: 332E57014351F146 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:30:29] 601*2^1405225-1 is not prime. Res64: 2C848D2E9C127511 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:30:29] 705*2^1405225-1 is not prime. Res64: D790452CD2251066 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:38:22] 847*2^1405225-1 is not prime. Res64: B51C6091CDAFA4BA Time : 0.0 sec. user=mdettweiler [2015-08-03 22:38:22] 889*2^1405225-1 is not prime. Res64: 3E2155BF801BDFF9 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:43:33] 909*2^1405225-1 is not prime. Res64: 3A8F953A815A2553 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:43:33] 767*2^1405226-1 is not prime. Res64: 91867B0EBD4A281D Time : 0.0 sec. user=mdettweiler [2015-08-03 22:48:22] 833*2^1405226-1 is not prime. Res64: 827BD5F789742DD8 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:48:22] 1001*2^1405226-1 is not prime. Res64: 06C53ED4BC9FFA0D Time : 0.0 sec. user=mdettweiler [2015-08-03 22:48:31] 621*2^1405227-1 is not prime. Res64: 06AFDF183E55E32C Time : 0.0 sec. user=mdettweiler [2015-08-03 22:48:31] 633*2^1405227-1 is not prime. Res64: 86C640BBE74C6770 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:56:08] 699*2^1405227-1 is not prime. Res64: D1CCFBDF773F2E49 Time : 0.0 sec. user=mdettweiler [2015-08-03 22:56:08] 703*2^1405227-1 is not prime. Res64: 1E7A4F07F3E4FC6B Time : 0.0 sec. user=mdettweiler [2015-08-03 23:01:08] 735*2^1405227-1 is not prime. Res64: BFEAA3510564EBA1 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:01:09] 819*2^1405227-1 is not prime. Res64: 9DAD84900345B818 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:06:07] 859*2^1405227-1 is not prime. Res64: DD8668F224EB92AA Time : 0.0 sec. user=mdettweiler [2015-08-03 23:06:08] 615*2^1405228-1 is not prime. Res64: 7D5CE1BC20D96DB7 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:06:15] 663*2^1405228-1 is not prime. Res64: F7E5CA46E98235E7 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:06:15] 687*2^1405228-1 is not prime. Res64: 7E4698BE5028DC91 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:13:47] 707*2^1405228-1 is not prime. Res64: 875E0E5D6A6F0CCB Time : 0.0 sec. user=mdettweiler [2015-08-03 23:13:47] 927*2^1405228-1 is not prime. Res64: 7C69DE673EDD7EDD Time : 0.0 sec. user=mdettweiler [2015-08-03 23:18:51] 929*2^1405228-1 is not prime. Res64: F691303A1AC3C247 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:18:52] 999*2^1405228-1 is not prime. Res64: 2D553B0031448C0A Time : 0.0 sec. user=mdettweiler [2015-08-03 23:24:08] 925*2^1405229-1 is not prime. Res64: 7458C798792BE7AE Time : 0.0 sec. user=mdettweiler [2015-08-03 23:24:09] 979*2^1405229-1 is not prime. Res64: 1C8D2A04B0B2760E Time : 0.0 sec. user=mdettweiler [2015-08-03 23:24:10] 619*2^1405229-1 is not prime. Res64: E4E104BEF2C2B2DD Time : 0.0 sec. user=mdettweiler [2015-08-03 23:24:10] 727*2^1405229-1 is not prime. Res64: D95D82AC8DA0D0CF Time : 0.0 sec. user=mdettweiler [2015-08-03 23:31:57] 747*2^1405230-1 is not prime. Res64: 86EC230707986E5D Time : 0.0 sec. user=mdettweiler [2015-08-03 23:31:57] 873*2^1405230-1 is not prime. Res64: CC702D5C213AE6E8 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:37:08] 933*2^1405230-1 is not prime. Res64: 6BA35872AF0981D2 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:37:08] 759*2^1405231-1 is not prime. Res64: 3473CF4F6E6799F2 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:42:00] 771*2^1405231-1 is not prime. Res64: 571A0CFE045ED9FF Time : 0.0 sec. user=mdettweiler [2015-08-03 23:42:00] 885*2^1405231-1 is not prime. Res64: 47AF46137FCC0DF0 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:42:10] 951*2^1405231-1 is not prime. Res64: 34E5540B07B06C3F Time : 0.0 sec. user=mdettweiler [2015-08-03 23:42:10] 603*2^1405232-1 is not prime. Res64: FACFE856AE9B7067 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:49:41] 605*2^1405232-1 is not prime. Res64: 263243FB4E7E3276 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:49:41] 617*2^1405232-1 is not prime. Res64: 2A135EA4D8E5F664 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:54:56] 719*2^1405232-1 is not prime. Res64: 92CE8236666E03E5 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:54:57] 753*2^1405232-1 is not prime. Res64: EEF294CE17FE6FAD Time : 0.0 sec. user=mdettweiler [2015-08-03 23:59:52] 855*2^1405232-1 is not prime. Res64: B5A7410D9B860202 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:59:53] 873*2^1405232-1 is not prime. Res64: F5556B3046BAFCE4 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:59:56] 945*2^1405232-1 is not prime. Res64: 436884866F7DC446 Time : 0.0 sec. user=mdettweiler [2015-08-03 23:59:57] 959*2^1405232-1 is not prime. Res64: FAE10C83E2AA7003 Time : 0.0 sec.