user=mdettweiler [2016-07-12 00:06:20] 833*2^1435054-1 is not prime. Res64: D5997BA1EC6B3E11 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:06:21] 971*2^1435054-1 is not prime. Res64: C0830172B62F2E8E Time : 0.0 sec. user=mdettweiler [2016-07-12 00:06:22] 601*2^1435055-1 is not prime. Res64: CF60806EA99E3197 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:06:22] 609*2^1435055-1 is not prime. Res64: A05E418DCBCA02A6 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:06:30] 661*2^1435055-1 is not prime. Res64: F37A006ACF226469 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:24] 859*2^1435055-1 is not prime. Res64: C77D6F48E6D1CDB1 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:25] 943*2^1435055-1 is not prime. Res64: A6CF305EC047A994 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:25] 653*2^1435056-1 is not prime. Res64: 4C56A7A96F94F69E Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:25] 789*2^1435056-1 is not prime. Res64: 92F37CC888CCDE54 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:26] 607*2^1435057-1 is not prime. Res64: 33734227FD6233B4 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:33] 639*2^1435057-1 is not prime. Res64: D3BFE46DE26E1511 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:33] 829*2^1435057-1 is not prime. Res64: 0DDA961C547B8C07 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:33] 841*2^1435057-1 is not prime. Res64: 6204108D4394FF38 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:39] 867*2^1435057-1 is not prime. Res64: A19F1D2E17B6CE65 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:36:40] 897*2^1435057-1 is not prime. Res64: F8BE6926EA35CC2B Time : 0.0 sec. user=mdettweiler [2016-07-12 00:38:18] 931*2^1435057-1 is not prime. Res64: D8A96BDD7947D17F Time : 0.0 sec. user=mdettweiler [2016-07-12 00:38:19] 645*2^1435058-1 is not prime. Res64: D338F09C416336EC Time : 0.0 sec. user=mdettweiler [2016-07-12 00:38:19] 665*2^1435058-1 is not prime. Res64: 65D63E3303D4774D Time : 0.0 sec. user=mdettweiler [2016-07-12 00:38:19] 705*2^1435058-1 is not prime. Res64: 418140695BE381BE Time : 0.0 sec. user=mdettweiler [2016-07-12 00:38:19] 791*2^1435058-1 is not prime. Res64: F19360C0C2D9ABD6 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:52:26] 893*2^1435058-1 is not prime. Res64: 9C4E7E69A41461D0 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:52:26] 639*2^1435059-1 is not prime. Res64: F5CF4D7AADF8B536 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:52:26] 723*2^1435059-1 is not prime. Res64: CB78096BBF294ED3 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:52:26] 745*2^1435059-1 is not prime. Res64: 92169092F6A9D155 Time : 0.0 sec. user=mdettweiler [2016-07-12 00:52:27] 999*2^1435059-1 is not prime. Res64: 391CFEB247AE2229 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:21:51] 605*2^1435060-1 is not prime. Res64: 8864674A2AEB6EB2 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:21:52] 717*2^1435060-1 is not prime. Res64: 63169F4B14906C3D Time : 0.0 sec. user=mdettweiler [2016-07-12 01:21:52] 843*2^1435060-1 is not prime. Res64: 69DB35139E0353A1 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:21:52] 863*2^1435060-1 is not prime. Res64: CF9B9930FF509CC6 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:21:52] 905*2^1435060-1 is not prime. Res64: 62A511BEAB45DD23 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:22:15] 939*2^1435060-1 is not prime. Res64: 45DC12173F19A060 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:22:15] 965*2^1435060-1 is not prime. Res64: B1E65E19976C03BE Time : 0.0 sec. user=mdettweiler [2016-07-12 01:22:16] 645*2^1435061-1 is not prime. Res64: C609C262D2EE9AB0 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:22:16] 657*2^1435061-1 is not prime. Res64: 49EA3C674858EDAA Time : 0.0 sec. user=mdettweiler [2016-07-12 01:22:16] 769*2^1435061-1 is not prime. Res64: E346C4CCF990D59A Time : 0.0 sec. user=mdettweiler [2016-07-12 01:23:57] 775*2^1435061-1 is not prime. Res64: DC3A4018188B0CB1 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:23:58] 799*2^1435061-1 is not prime. Res64: 8B05DBFC2AD2A931 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:23:58] 671*2^1435062-1 is not prime. Res64: 0A9EEF630DAA01E1 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:23:58] 683*2^1435062-1 is not prime. Res64: 864E7A3E59C636D3 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:24:02] 873*2^1435062-1 is not prime. Res64: 80CB175BDDDF6635 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:38:17] 921*2^1435062-1 is not prime. Res64: 3185844A33F7229D Time : 0.0 sec. user=mdettweiler [2016-07-12 01:38:18] 675*2^1435063-1 is not prime. Res64: FFC8EE8BE7F303EC Time : 0.0 sec. user=mdettweiler [2016-07-12 01:38:18] 775*2^1435063-1 is not prime. Res64: 70B909CE431CC622 Time : 0.0 sec. user=mdettweiler [2016-07-12 01:38:19] 789*2^1435063-1 is not prime. Res64: 5BB3CA53EB8D400D Time : 0.0 sec. user=mdettweiler [2016-07-12 01:38:19] 891*2^1435063-1 is not prime. Res64: F8F18B626E79153A Time : 0.0 sec. user=mdettweiler [2016-07-12 02:07:38] 919*2^1435063-1 is not prime. Res64: 46E62DC97B0A5866 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:07:39] 683*2^1435064-1 is not prime. Res64: BEEFB5C6789C5A0F Time : 0.0 sec. user=mdettweiler [2016-07-12 02:07:39] 789*2^1435064-1 is not prime. Res64: EC266AE5FA741467 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:07:39] 803*2^1435064-1 is not prime. Res64: 471C1BD59F614CB1 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:07:40] 813*2^1435064-1 is not prime. Res64: 36F5BEA4358B434A Time : 0.0 sec. user=mdettweiler [2016-07-12 02:08:10] 855*2^1435064-1 is not prime. Res64: F2187F52008F95F1 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:08:10] 857*2^1435064-1 is not prime. Res64: 192FF35DFC167B6C Time : 0.0 sec. user=mdettweiler [2016-07-12 02:08:11] 903*2^1435064-1 is not prime. Res64: 17EF9940F7717A25 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:08:11] 945*2^1435064-1 is not prime. Res64: 1CEB521F7F8B9A5D Time : 0.0 sec. user=mdettweiler [2016-07-12 02:08:11] 995*2^1435064-1 is not prime. Res64: 57D5F3B56BC7E3D1 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:09:46] 741*2^1435065-1 is not prime. Res64: B630FCCE3D4D5610 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:09:46] 895*2^1435065-1 is not prime. Res64: 4F52810116E19621 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:09:46] 909*2^1435065-1 is not prime. Res64: CFD7FC76B257EE17 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:09:50] 937*2^1435065-1 is not prime. Res64: C0DBCB543B6F24A4 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:09:51] 969*2^1435065-1 is not prime. Res64: 7AAD9C952B8A0A93 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:24:12] 617*2^1435066-1 is not prime. Res64: 2635235C05050655 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:24:12] 675*2^1435066-1 is not prime. Res64: E92D593D1EC72B37 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:24:12] 677*2^1435066-1 is not prime. Res64: F59D3D89AC7EF74D Time : 0.0 sec. user=mdettweiler [2016-07-12 02:24:12] 717*2^1435066-1 is not prime. Res64: 3F825273AEC6531E Time : 0.0 sec. user=mdettweiler [2016-07-12 02:24:13] 891*2^1435066-1 is not prime. Res64: 74E4BF763AE77D0D Time : 0.0 sec. user=mdettweiler [2016-07-12 02:53:10] 859*2^1435067-1 is not prime. Res64: 8797F02D123F8B20 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:53:11] 909*2^1435067-1 is not prime. Res64: B50B6AC128845EF5 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:53:16] 765*2^1435068-1 is not prime. Res64: D4C87BA0C036167C Time : 0.0 sec. user=mdettweiler [2016-07-12 02:53:16] 783*2^1435068-1 is not prime. Res64: 12F2652F10702C0B Time : 0.0 sec. user=mdettweiler [2016-07-12 02:53:16] 819*2^1435068-1 is not prime. Res64: FD40271065C24AE3 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:54:07] 867*2^1435068-1 is not prime. Res64: 1F7B973D2E3D5CDA Time : 0.0 sec. user=mdettweiler [2016-07-12 02:54:07] 945*2^1435068-1 is not prime. Res64: 7A9CA4DD0FEA0587 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:54:07] 615*2^1435069-1 is not prime. Res64: 47FEF6FD91C59E87 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:54:07] 681*2^1435069-1 is not prime. Res64: 2D93BB8E2D7BD2B1 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:54:08] 699*2^1435069-1 is not prime. Res64: 82790EF07A4BC03C Time : 0.0 sec. user=mdettweiler [2016-07-12 02:55:45] 771*2^1435069-1 is not prime. Res64: B00BF8199C3B8A7C Time : 0.0 sec. user=mdettweiler [2016-07-12 02:55:45] 831*2^1435069-1 is not prime. Res64: 011F0755C0E5E467 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:55:46] 861*2^1435069-1 is not prime. Res64: 1726478E5A0DB171 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:55:46] 663*2^1435070-1 is not prime. Res64: 412BE60E56E40BC2 Time : 0.0 sec. user=mdettweiler [2016-07-12 02:55:46] 665*2^1435070-1 is not prime. Res64: 61039E584440BF6E Time : 0.0 sec. user=mdettweiler [2016-07-12 03:10:05] 671*2^1435070-1 is not prime. Res64: 01BA2AA683472AD5 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:10:05] 675*2^1435070-1 is not prime. Res64: BFBDC50CBAE039C7 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:10:05] 747*2^1435070-1 is not prime. Res64: 254CD4D207300BD2 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:10:06] 773*2^1435070-1 is not prime. Res64: 0C5142ABA4E93863 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:10:06] 801*2^1435070-1 is not prime. Res64: 15CCDA191A47510A Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:20] 831*2^1435070-1 is not prime. Res64: A4539F014ACBE7CC Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:24] 935*2^1435070-1 is not prime. Res64: 2EF92683A5D84F0E Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:29] 615*2^1435071-1 is not prime. Res64: FFFD520D34035035 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:33] 705*2^1435071-1 is not prime. Res64: 2D715D8875761CE5 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:38] 711*2^1435071-1 is not prime. Res64: 93BF6550EA389302 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:48] 741*2^1435071-1 is not prime. Res64: C5D1CFAC26B0E7F1 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:52] 745*2^1435071-1 is not prime. Res64: 3D2C3199A7FC87ED Time : 0.0 sec. user=mdettweiler [2016-07-12 03:39:57] 769*2^1435071-1 is not prime. Res64: C3C3BCF95CD898CD Time : 0.0 sec. user=mdettweiler [2016-07-12 03:40:02] 805*2^1435071-1 is not prime. Res64: D028E527DD913C98 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:40:06] 885*2^1435071-1 is not prime. Res64: C8804CFA033FD690 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:41:12] 951*2^1435071-1 is not prime. Res64: 0B579F27DB8AB00B Time : 0.0 sec. user=mdettweiler [2016-07-12 03:41:17] 695*2^1435072-1 is not prime. Res64: EBA231D9D4C52112 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:41:21] 713*2^1435072-1 is not prime. Res64: 65C6EFDA0CB2D9DD Time : 0.0 sec. user=mdettweiler [2016-07-12 03:41:26] 869*2^1435072-1 is not prime. Res64: B8DFB4BCDB0B1E7D Time : 0.0 sec. user=mdettweiler [2016-07-12 03:41:31] 691*2^1435073-1 is not prime. Res64: 052A76F5D0EE85EA Time : 0.0 sec. user=mdettweiler [2016-07-12 03:55:58] 697*2^1435073-1 is not prime. Res64: 5E0462867B456758 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:55:58] 771*2^1435073-1 is not prime. Res64: 13E0D45330063173 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:55:58] 837*2^1435073-1 is not prime. Res64: 0F1DD2B09F672FBB Time : 0.0 sec. user=mdettweiler [2016-07-12 03:55:59] 969*2^1435073-1 is not prime. Res64: B7C1C15A73C747F5 Time : 0.0 sec. user=mdettweiler [2016-07-12 03:55:59] 635*2^1435074-1 is not prime. Res64: ECAB83015602271A Time : 0.0 sec. user=mdettweiler [2016-07-12 04:26:49] 803*2^1435074-1 is not prime. Res64: B2C646D4582DE32A Time : 0.0 sec. user=mdettweiler [2016-07-12 04:26:49] 833*2^1435074-1 is not prime. Res64: 3A4CC87A95D97B44 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:26:50] 893*2^1435074-1 is not prime. Res64: 39DAF969767FF37B Time : 0.0 sec. user=mdettweiler [2016-07-12 04:26:50] 971*2^1435074-1 is not prime. Res64: E48D0903551E0820 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:26:50] 1001*2^1435074-1 is not prime. Res64: 4306FC602620F589 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:27:48] 619*2^1435075-1 is not prime. Res64: 0C3ED7F444D33840 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:27:49] 733*2^1435075-1 is not prime. Res64: 73C51B4D75185FE8 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:27:49] 743*2^1435076-1 is not prime. Res64: A410C32FD184A44F Time : 0.0 sec. user=mdettweiler [2016-07-12 04:27:49] 825*2^1435076-1 is not prime. Res64: 20F44F7856C6E132 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:27:49] 897*2^1435076-1 is not prime. Res64: D5AE8019381A96D6 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:28:52] 903*2^1435076-1 is not prime. Res64: B3F64FBEAC7F4FB6 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:28:53] 953*2^1435076-1 is not prime. Res64: 238D6E4668975071 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:28:53] 963*2^1435076-1 is not prime. Res64: 1F8F1B944BBFD919 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:28:53] 983*2^1435076-1 is not prime. Res64: 6ECB2D477063D22D Time : 0.0 sec. user=mdettweiler [2016-07-12 04:28:53] 717*2^1435077-1 is not prime. Res64: C495532C86D664E1 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:43:12] 747*2^1435077-1 is not prime. Res64: D9CF8396BE68FE48 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:43:18] 751*2^1435077-1 is not prime. Res64: 030339C5D18982D8 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:43:26] 829*2^1435077-1 is not prime. Res64: 8E3C4C2D31E08001 Time : 0.0 sec. user=mdettweiler [2016-07-12 04:43:26] 871*2^1435077-1 is not prime. Res64: 18E1C40E44A1068A Time : 0.0 sec. user=mdettweiler [2016-07-12 04:43:26] 955*2^1435077-1 is not prime. Res64: 2946D0D13D2654F1 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:12:35] 991*2^1435077-1 is not prime. Res64: DB588A7ECA0FC948 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:12:41] 665*2^1435078-1 is not prime. Res64: BEF2C1BD55D3481D Time : 0.0 sec. user=mdettweiler [2016-07-12 05:12:47] 713*2^1435078-1 is not prime. Res64: 9A6C2FD1F6A81FA7 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:12:52] 831*2^1435078-1 is not prime. Res64: B017F0198B92E6F4 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:12:58] 887*2^1435078-1 is not prime. Res64: 898D787917D1575E Time : 0.0 sec. user=mdettweiler [2016-07-12 05:13:37] 951*2^1435078-1 is not prime. Res64: CC6FE86B8D501381 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:13:38] 971*2^1435078-1 is not prime. Res64: CDCA6629A8B6EB66 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:13:43] 615*2^1435079-1 is not prime. Res64: E140F695D3E83F60 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:13:49] 655*2^1435079-1 is not prime. Res64: 48722CEB66FC2AAC Time : 0.0 sec. user=mdettweiler [2016-07-12 05:13:54] 685*2^1435079-1 is not prime. Res64: 5AD13F16A5FEDFFC Time : 0.0 sec. user=mdettweiler [2016-07-12 05:14:26] 771*2^1435079-1 is not prime. Res64: 29C89B0027FDE2B0 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:14:32] 799*2^1435079-1 is not prime. Res64: 03CD86607E2E2B9E Time : 0.0 sec. user=mdettweiler [2016-07-12 05:14:32] 819*2^1435079-1 is not prime. Res64: FD5EBA95D25BC353 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:14:38] 825*2^1435079-1 is not prime. Res64: 51055EFCCA5AD87B Time : 0.0 sec. user=mdettweiler [2016-07-12 05:14:38] 985*2^1435079-1 is not prime. Res64: 15BCEA2B140B9435 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:29:16] 735*2^1435080-1 is not prime. Res64: 1B591E1215B19376 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:29:20] 759*2^1435080-1 is not prime. Res64: 74D048D92C381F7A Time : 0.0 sec. user=mdettweiler [2016-07-12 05:29:24] 779*2^1435080-1 is not prime. Res64: 749EFDE62326E81A Time : 0.0 sec. user=mdettweiler [2016-07-12 05:29:28] 803*2^1435080-1 is not prime. Res64: 9CAFC83C63A8B980 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:29:32] 945*2^1435080-1 is not prime. Res64: 3108D682426B7832 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:58:29] 679*2^1435081-1 is not prime. Res64: 8DD99F613BCC7B95 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:58:33] 717*2^1435081-1 is not prime. Res64: 4CB254DDDBDFEE11 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:58:34] 955*2^1435081-1 is not prime. Res64: D41A20AA92F69099 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:58:37] 617*2^1435082-1 is not prime. Res64: EAAE90C21AB66D03 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:58:41] 623*2^1435082-1 is not prime. Res64: F8BB58E918CA8637 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:59:17] 635*2^1435082-1 is not prime. Res64: ACDC7479EEBA1C11 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:59:21] 825*2^1435082-1 is not prime. Res64: B522FD5ED861C29B Time : 0.0 sec. user=mdettweiler [2016-07-12 05:59:25] 923*2^1435082-1 is not prime. Res64: C602A3391BC93F33 Time : 0.0 sec. user=mdettweiler [2016-07-12 05:59:25] 951*2^1435082-1 is not prime. Res64: 4CEE1626CE8B627C Time : 0.0 sec. user=mdettweiler [2016-07-12 05:59:29] 977*2^1435082-1 is not prime. Res64: BA1773E49F5CFB01 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:00:24] 987*2^1435082-1 is not prime. Res64: 3E8DFE1EEE506B62 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:00:29] 705*2^1435083-1 is not prime. Res64: 16FAB41A4B2F184A Time : 0.0 sec. user=mdettweiler [2016-07-12 06:00:34] 721*2^1435083-1 is not prime. Res64: 578B419F01231604 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:00:38] 765*2^1435083-1 is not prime. Res64: 988474E7D3700620 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:00:38] 823*2^1435083-1 is not prime. Res64: 2E5D54B754B6BE52 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:15:04] 879*2^1435083-1 is not prime. Res64: 18EA3CB05DA65EE2 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:15:04] 963*2^1435083-1 is not prime. Res64: AF904A8E0AC1EC3C Time : 0.0 sec. user=mdettweiler [2016-07-12 06:15:05] 615*2^1435084-1 is not prime. Res64: 56CA7C9A45184CFA Time : 0.0 sec. user=mdettweiler [2016-07-12 06:15:05] 677*2^1435084-1 is not prime. Res64: 9CE1C7A85620F45E Time : 0.0 sec. user=mdettweiler [2016-07-12 06:15:05] 843*2^1435084-1 is not prime. Res64: 33424D78CB1E7FA2 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:44:15] 887*2^1435084-1 is not prime. Res64: 52ED092C540873B3 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:44:15] 927*2^1435084-1 is not prime. Res64: A87147DC317CBD12 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:44:16] 939*2^1435084-1 is not prime. Res64: 5B7CD5634201C628 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:44:16] 993*2^1435084-1 is not prime. Res64: 550B9DBFECD0AACC Time : 0.0 sec. user=mdettweiler [2016-07-12 06:44:16] 607*2^1435085-1 is not prime. Res64: 260A0EAD4EB5BAE9 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:45:10] 721*2^1435085-1 is not prime. Res64: E8B7F855E19980BA Time : 0.0 sec. user=mdettweiler [2016-07-12 06:45:10] 801*2^1435085-1 is not prime. Res64: EA8A4BEE13B07ACB Time : 0.0 sec. user=mdettweiler [2016-07-12 06:45:10] 957*2^1435085-1 is not prime. Res64: 948E59423D60BBD6 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:45:10] 641*2^1435086-1 is not prime. Res64: 189830E3C0257DDF Time : 0.0 sec. user=mdettweiler [2016-07-12 06:45:11] 767*2^1435086-1 is not prime. Res64: BEE9EAD56DDE1F14 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:46:28] 821*2^1435086-1 is not prime. Res64: 70C8E8DF353F402F Time : 0.0 sec. user=mdettweiler [2016-07-12 06:46:28] 861*2^1435086-1 is not prime. Res64: C2E3BCA414EC7CCB Time : 0.0 sec. user=mdettweiler [2016-07-12 06:46:28] 903*2^1435086-1 is not prime. Res64: 83AA0459FD7C5F61 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:46:28] 945*2^1435086-1 is not prime. Res64: 5854F6C46B6E42A1 Time : 0.0 sec. user=mdettweiler [2016-07-12 06:46:29] 705*2^1435087-1 is not prime. Res64: 89C02B43FC8F7C3C Time : 0.0 sec. user=mdettweiler [2016-07-12 07:01:04] 775*2^1435087-1 is not prime. Res64: AEB501A3254DD66E Time : 0.0 sec. user=mdettweiler [2016-07-12 07:01:05] 859*2^1435087-1 is not prime. Res64: 538F94A44C999DCA Time : 0.0 sec. user=mdettweiler [2016-07-12 07:01:11] 925*2^1435087-1 is not prime. Res64: 70EB3B7BD9FE59EE Time : 0.0 sec. user=mdettweiler [2016-07-12 07:01:11] 945*2^1435087-1 is not prime. Res64: 6991602C47E26F96 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:01:19] 975*2^1435087-1 is not prime. Res64: B4CB9CB50CAD9957 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:29:56] 603*2^1435088-1 is not prime. Res64: 38A38A97F34AC793 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:29:57] 729*2^1435088-1 is not prime. Res64: A39A31B6884F5A29 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:29:57] 755*2^1435088-1 is not prime. Res64: 3572475558F0DBD1 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:29:57] 789*2^1435088-1 is not prime. Res64: 79E500B260363E67 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:29:58] 797*2^1435088-1 is not prime. Res64: ECB6713239ED7FB6 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:30:28] 843*2^1435088-1 is not prime. Res64: 75254C0865D65CD8 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:30:28] 875*2^1435088-1 is not prime. Res64: 4D892D9A8B567C9C Time : 0.0 sec. user=mdettweiler [2016-07-12 07:30:29] 959*2^1435088-1 is not prime. Res64: DCDB8D3F059FF362 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:30:29] 657*2^1435089-1 is not prime. Res64: 2E009B8656032316 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:30:29] 861*2^1435089-1 is not prime. Res64: 06110B03CD890B4C Time : 0.0 sec. user=mdettweiler [2016-07-12 07:32:13] 921*2^1435089-1 is not prime. Res64: E506AB9A0E543F2B Time : 0.0 sec. user=mdettweiler [2016-07-12 07:32:14] 955*2^1435089-1 is not prime. Res64: E7C1C7915AE5237F Time : 0.0 sec. user=mdettweiler [2016-07-12 07:32:20] 677*2^1435090-1 is not prime. Res64: A5FB2057AD9EBB44 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:32:26] 801*2^1435090-1 is not prime. Res64: 8CEC31D796599823 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:32:32] 833*2^1435090-1 is not prime. Res64: 4B652B6BAE6E14F6 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:46:53] 917*2^1435090-1 is not prime. Res64: AA4DB16B386AF379 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:46:57] 957*2^1435090-1 is not prime. Res64: 339E17159E52CB10 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:46:58] 1001*2^1435090-1 is not prime. Res64: 2A7C1DB46164CCAD Time : 0.0 sec. user=mdettweiler [2016-07-12 07:47:02] 603*2^1435091-1 is not prime. Res64: 4E2AF2C92CC322B3 Time : 0.0 sec. user=mdettweiler [2016-07-12 07:47:05] 705*2^1435091-1 is not prime. Res64: D25F91BEE0D6F6DA Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:37] 823*2^1435091-1 is not prime. Res64: 54524F1DC36CD735 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:41] 843*2^1435091-1 is not prime. Res64: D7A91A3CE4A5825B Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:45] 895*2^1435091-1 is not prime. Res64: 4859FC7EC9C0CE5D Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:49] 979*2^1435091-1 is not prime. Res64: 3E128307294412B7 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:49] 675*2^1435092-1 is not prime. Res64: 19142821AAE1384A Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:53] 627*2^1435092-1 is not prime. Res64: 4653854CCA11CA9C Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:53] 749*2^1435092-1 is not prime. Res64: E116FF3297F74D2D Time : 0.0 sec. user=mdettweiler [2016-07-12 08:15:57] 767*2^1435092-1 is not prime. Res64: 69F47A696E89EE8F Time : 0.0 sec. user=mdettweiler [2016-07-12 08:16:02] 779*2^1435092-1 is not prime. Res64: D4A7ABC2B02FBC59 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:16:02] 975*2^1435092-1 is not prime. Res64: E06298E447825AA3 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:18:13] 685*2^1435093-1 is not prime. Res64: C9D594F40E8D4B2B Time : 0.0 sec. user=mdettweiler [2016-07-12 08:18:17] 847*2^1435093-1 is not prime. Res64: 602F3AEFB42C4F58 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:18:22] 919*2^1435093-1 is not prime. Res64: 8AA972798DE380B2 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:18:22] 961*2^1435093-1 is not prime. Res64: FA11CF482BCCBB24 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:18:28] 635*2^1435094-1 is not prime. Res64: 406D85120EEA540E Time : 0.0 sec. user=mdettweiler [2016-07-12 08:32:45] 795*2^1435094-1 is not prime. Res64: 2FDEA03149D6670A Time : 0.0 sec. user=mdettweiler [2016-07-12 08:32:45] 903*2^1435094-1 is not prime. Res64: A438A3F046A2CAB1 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:32:45] 971*2^1435094-1 is not prime. Res64: DAC919D86DD45FD1 Time : 0.0 sec. user=mdettweiler [2016-07-12 08:32:45] 995*2^1435094-1 is not prime. Res64: 3B133407797FFA1D Time : 0.0 sec. user=mdettweiler [2016-07-12 08:32:46] 675*2^1435095-1 is not prime. Res64: 685134B651920B07 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:01:53] 723*2^1435095-1 is not prime. Res64: E06780F3E372E78E Time : 0.0 sec. user=mdettweiler [2016-07-12 09:01:54] 831*2^1435095-1 is not prime. Res64: E3B89F3E6391D5A3 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:01:55] 859*2^1435095-1 is not prime. Res64: 21FE2248266ECE0C Time : 0.0 sec. user=mdettweiler [2016-07-12 09:01:56] 885*2^1435095-1 is not prime. Res64: 767468AA0BEB13B5 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:01:57] 913*2^1435095-1 is not prime. Res64: ABFEC028DCC575AF Time : 0.0 sec. user=mdettweiler [2016-07-12 09:02:27] 777*2^1435096-1 is not prime. Res64: 24A26FA375AB048D Time : 0.0 sec. user=mdettweiler [2016-07-12 09:02:27] 651*2^1435097-1 is not prime. Res64: 356E7AFD1F41BA45 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:02:28] 805*2^1435097-1 is not prime. Res64: EA6BD606C23DA84D Time : 0.0 sec. user=mdettweiler [2016-07-12 09:02:29] 837*2^1435097-1 is not prime. Res64: 4D2A7052066EC23B Time : 0.0 sec. user=mdettweiler [2016-07-12 09:02:29] 867*2^1435097-1 is not prime. Res64: 0D19DB56D361C849 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:04:56] 879*2^1435097-1 is not prime. Res64: 2216AA8B0E398D85 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:04:57] 889*2^1435097-1 is not prime. Res64: A106E1F0F217EECE Time : 0.0 sec. user=mdettweiler [2016-07-12 09:04:57] 901*2^1435097-1 is not prime. Res64: D1E938AAACF34C07 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:04:57] 621*2^1435098-1 is not prime. Res64: 7E4DA20385F3F304 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:04:58] 647*2^1435098-1 is not prime. Res64: CD0B2B4A564A07F4 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:19:49] 681*2^1435098-1 is not prime. Res64: 34FD7F6859DF4071 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:19:54] 803*2^1435098-1 is not prime. Res64: 7454D4C64BCB6639 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:19:55] 893*2^1435098-1 is not prime. Res64: 7280A72C12282FEB Time : 0.0 sec. user=mdettweiler [2016-07-12 09:19:55] 945*2^1435098-1 is not prime. Res64: FB9BF7FC34EE0376 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:20:00] 601*2^1435099-1 is not prime. Res64: BCA6E30677995012 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:49:30] 645*2^1435099-1 is not prime. Res64: 2F058E2C985F22C2 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:49:30] 679*2^1435099-1 is not prime. Res64: F15DF8951AE1EF91 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:49:30] 685*2^1435099-1 is not prime. Res64: 87D1F3C5E2A91457 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:49:31] 759*2^1435099-1 is not prime. Res64: B601F284A43D32CC Time : 0.0 sec. user=mdettweiler [2016-07-12 09:49:31] 771*2^1435099-1 is not prime. Res64: D05F3CA0DCB1E0EC Time : 0.0 sec. user=mdettweiler [2016-07-12 09:50:05] 775*2^1435099-1 is not prime. Res64: 6AD1E1DDCE9188A0 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:50:09] 891*2^1435099-1 is not prime. Res64: 70B82CA570C83FD2 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:50:13] 895*2^1435099-1 is not prime. Res64: 6869A96540097CE3 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:50:14] 919*2^1435099-1 is not prime. Res64: AE7092A0BE61F924 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:50:18] 973*2^1435099-1 is not prime. Res64: 4EA8C094FB3FC9F9 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:52:08] 633*2^1435100-1 is not prime. Res64: 70921126C1523CD2 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:52:14] 647*2^1435100-1 is not prime. Res64: 213F01EC842A6731 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:52:21] 735*2^1435100-1 is not prime. Res64: A5E63326831A6409 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:52:21] 797*2^1435100-1 is not prime. Res64: CE7C7A9848013170 Time : 0.0 sec. user=mdettweiler [2016-07-12 09:52:28] 879*2^1435100-1 is not prime. Res64: F00E4FD8DAA0B30E Time : 0.0 sec. user=mdettweiler [2016-07-12 10:07:07] 621*2^1435101-1 is not prime. Res64: 16758222AAD012A4 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:07:08] 625*2^1435101-1 is not prime. Res64: 5A31310F5B467D98 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:07:08] 639*2^1435101-1 is not prime. Res64: 85CBE576528002BF Time : 0.0 sec. user=mdettweiler [2016-07-12 10:07:08] 777*2^1435101-1 is not prime. Res64: CFB78DB93B970282 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:07:09] 871*2^1435101-1 is not prime. Res64: 61FF353C4343FA38 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:35:10] 961*2^1435101-1 is not prime. Res64: 9B7C6E2F9EAEB071 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:35:11] 747*2^1435102-1 is not prime. Res64: 9577A2E11607AF82 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:35:16] 815*2^1435102-1 is not prime. Res64: 89671D18346A9EA5 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:35:17] 825*2^1435102-1 is not prime. Res64: 8341537E87CA6484 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:35:23] 923*2^1435102-1 is not prime. Res64: B2A16260FA5332DD Time : 0.0 sec. user=mdettweiler [2016-07-12 10:36:01] 673*2^1435103-1 is not prime. Res64: D86BACE8E71112FE Time : 0.0 sec. user=mdettweiler [2016-07-12 10:36:07] 693*2^1435103-1 is not prime. Res64: 68D845FAD6480B7F Time : 0.0 sec. user=mdettweiler [2016-07-12 10:36:13] 703*2^1435103-1 is not prime. Res64: 07A025924BAEF356 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:36:19] 729*2^1435103-1 is not prime. Res64: B2E3A3F6E9B84FA2 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:36:19] 735*2^1435103-1 is not prime. Res64: 103DF798800A861E Time : 0.0 sec. user=mdettweiler [2016-07-12 10:38:07] 789*2^1435103-1 is not prime. Res64: A20D03A9E6B258D2 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:38:07] 901*2^1435103-1 is not prime. Res64: 563FA42D618690FE Time : 0.0 sec. user=mdettweiler [2016-07-12 10:38:14] 915*2^1435103-1 is not prime. Res64: 38DD39CD75F162C2 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:38:14] 921*2^1435103-1 is not prime. Res64: 619D5F296B0E1AF5 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:38:21] 943*2^1435103-1 is not prime. Res64: 2F68411169B74DE0 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:52:28] 615*2^1435104-1 is not prime. Res64: A9F3EB9FBF76245B Time : 0.0 sec. user=mdettweiler [2016-07-12 10:52:28] 747*2^1435104-1 is not prime. Res64: 857B8DC31459079E Time : 0.0 sec. user=mdettweiler [2016-07-12 10:52:29] 803*2^1435104-1 is not prime. Res64: 34C122474E32E027 Time : 0.0 sec. user=mdettweiler [2016-07-12 10:52:29] 843*2^1435104-1 is not prime. Res64: F70B465ED6075E8F Time : 0.0 sec. user=mdettweiler [2016-07-12 10:52:29] 899*2^1435104-1 is not prime. Res64: 6EEAA97B8DEA24D2 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:02] 917*2^1435104-1 is not prime. Res64: BAD19E039FF378DF Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:02] 959*2^1435104-1 is not prime. Res64: 95A0B4A88EBE78FF Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:02] 715*2^1435105-1 is not prime. Res64: CABB79716EDBF62C Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:03] 777*2^1435105-1 is not prime. Res64: 972DB4598751DF65 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:03] 985*2^1435105-1 is not prime. Res64: 80290ED1CEEB9A27 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:59] 645*2^1435106-1 is not prime. Res64: 2CA2377FC96CB5FE Time : 0.0 sec. user=mdettweiler [2016-07-12 11:21:59] 671*2^1435106-1 is not prime. Res64: F8C2563F8C10F8FA Time : 0.0 sec. user=mdettweiler [2016-07-12 11:22:00] 741*2^1435106-1 is not prime. Res64: F4C8E83586C838FE Time : 0.0 sec. user=mdettweiler [2016-07-12 11:22:00] 783*2^1435106-1 is not prime. Res64: 6277A50D04CA4353 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:22:00] 887*2^1435106-1 is not prime. Res64: 23AEF40AF890E642 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:24:01] 1001*2^1435106-1 is not prime. Res64: 68C33F0DDC2C6830 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:24:01] 685*2^1435107-1 is not prime. Res64: 9C9BF8C3A562F860 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:24:02] 805*2^1435107-1 is not prime. Res64: 540BD6439C62C745 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:24:02] 903*2^1435107-1 is not prime. Res64: C79481AA19379779 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:24:02] 615*2^1435108-1 is not prime. Res64: BF5B7F69C0BDC999 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:37:54] 707*2^1435108-1 is not prime. Res64: 59290A6E880C458F Time : 0.0 sec. user=mdettweiler [2016-07-12 11:37:58] 897*2^1435108-1 is not prime. Res64: 0CF7B76C422B9AE3 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:38:02] 987*2^1435108-1 is not prime. Res64: 4F9830BC5EC6FA00 Time : 0.0 sec. user=mdettweiler [2016-07-12 11:38:02] 711*2^1435109-1 is not prime. Res64: 62B40CE2968B7D8F Time : 0.0 sec. user=mdettweiler [2016-07-12 11:38:06] 735*2^1435109-1 is not prime. Res64: CC6B5D7BAE4C9E35 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:06:30] 787*2^1435109-1 is not prime. Res64: C1EC4EDDD5D75684 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:06:30] 939*2^1435109-1 is not prime. Res64: 7E9017C370782ECA Time : 0.0 sec. user=mdettweiler [2016-07-12 12:06:31] 951*2^1435109-1 is not prime. Res64: 309AE840D35CE866 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:06:31] 647*2^1435110-1 is not prime. Res64: 9414C881EEA07986 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:06:31] 723*2^1435110-1 is not prime. Res64: 307C238D5C6AD60F Time : 0.0 sec. user=mdettweiler [2016-07-12 12:07:34] 725*2^1435110-1 is not prime. Res64: 995622075F46ED27 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:07:34] 747*2^1435110-1 is not prime. Res64: E83E0800205FCDC1 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:07:34] 891*2^1435110-1 is not prime. Res64: 05A45ACE229D9F71 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:07:34] 921*2^1435110-1 is not prime. Res64: FB0815FAA0A71077 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:07:35] 977*2^1435110-1 is not prime. Res64: 42158A1FFB231F66 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:09:39] 619*2^1435111-1 is not prime. Res64: AF6DD167CC0E58AC Time : 0.0 sec. user=mdettweiler [2016-07-12 12:09:40] 763*2^1435111-1 is not prime. Res64: CC2650220C0ECD0C Time : 0.0 sec. user=mdettweiler [2016-07-12 12:09:40] 783*2^1435111-1 is not prime. Res64: B0DAE1A40016ABBF Time : 0.0 sec. user=mdettweiler [2016-07-12 12:09:40] 789*2^1435111-1 is not prime. Res64: E98D1FC6437B2530 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:09:41] 811*2^1435111-1 is not prime. Res64: 195E77CD592FE8D6 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:23:39] 969*2^1435111-1 is not prime. Res64: 530F851A82E18FDD Time : 0.0 sec. user=mdettweiler [2016-07-12 12:23:39] 605*2^1435112-1 is not prime. Res64: 8D7E0F6FB1D5E779 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:23:45] 615*2^1435112-1 is not prime. Res64: 9AC4DFC5B1AF7389 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:23:51] 617*2^1435112-1 is not prime. Res64: 02C2695BFAE18D63 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:23:51] 855*2^1435112-1 is not prime. Res64: 8748E33168A37510 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:52:11] 935*2^1435112-1 is not prime. Res64: B3A56D22A0ADAB84 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:52:11] 995*2^1435112-1 is not prime. Res64: B29D8295ED5DF12F Time : 0.0 sec. user=mdettweiler [2016-07-12 12:52:18] 639*2^1435113-1 is not prime. Res64: 978C94CEF58FD750 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:52:24] 681*2^1435113-1 is not prime. Res64: 8F9ACA99A3FA866A Time : 0.0 sec. user=mdettweiler [2016-07-12 12:52:25] 685*2^1435113-1 is not prime. Res64: 367EF17AB19B7C45 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:53:13] 751*2^1435113-1 is not prime. Res64: D5ACE3D91115E5F5 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:53:13] 787*2^1435113-1 is not prime. Res64: 52051CFE65021868 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:53:20] 829*2^1435113-1 is not prime. Res64: 3E9A52940BA6BFA2 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:53:20] 921*2^1435113-1 is not prime. Res64: F51047E4CDDCCF57 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:53:27] 707*2^1435114-1 is not prime. Res64: 5D42EFD10E4C04F6 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:55:26] 971*2^1435114-1 is not prime. Res64: 036E0DEC233A26E1 Time : 0.0 sec. user=mdettweiler [2016-07-12 12:55:35] 655*2^1435115-1 is not prime. Res64: 77C590644F351EEC Time : 0.0 sec. user=mdettweiler [2016-07-12 13:09:56] 999*2^1435115-1 is not prime. Res64: 200740DE677358B1 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:09:57] 735*2^1435116-1 is not prime. Res64: 7EBF37CBD0AEEF25 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:09:57] 737*2^1435116-1 is not prime. Res64: EA0C795E5AD8F5F5 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:09:57] 749*2^1435116-1 is not prime. Res64: 8DA2B10E0E2884A9 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:09:58] 945*2^1435116-1 is not prime. Res64: 10CCB1D36676CB9F Time : 0.0 sec. user=mdettweiler [2016-07-12 13:58:43] 603*2^1435118-1 is not prime. Res64: E38431D0539B6D82 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:58:49] 623*2^1435118-1 is not prime. Res64: 4A37D31388EBDA50 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:58:55] 677*2^1435118-1 is not prime. Res64: F7918C565D1BAB47 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:59:02] 711*2^1435118-1 is not prime. Res64: 9029B4A74E25F922 Time : 0.0 sec. user=mdettweiler [2016-07-12 13:59:02] 755*2^1435118-1 is not prime. Res64: 90B2F7074881598B Time : 0.0 sec. user=mdettweiler [2016-07-12 14:53:17] 951*2^1435118-1 is not prime. Res64: D1D4EBFBA7AE4640 Time : 0.0 sec. user=mdettweiler [2016-07-12 14:53:17] 861*2^1435119-1 is not prime. Res64: 7731AB2A0C9E64F4 Time : 0.0 sec. user=mdettweiler [2016-07-12 14:53:18] 879*2^1435119-1 is not prime. Res64: 96862598CAF2A87D Time : 0.0 sec. user=mdettweiler [2016-07-12 14:53:18] 919*2^1435119-1 is not prime. Res64: B128998576A0C3E8 Time : 0.0 sec. user=mdettweiler [2016-07-12 14:53:18] 921*2^1435119-1 is not prime. Res64: 5A262DD4A606D09E Time : 0.0 sec. user=mdettweiler [2016-07-12 15:54:16] 955*2^1435119-1 is not prime. Res64: 08005A2A32CCF6AE Time : 0.0 sec. user=mdettweiler [2016-07-12 15:54:23] 961*2^1435119-1 is not prime. Res64: 7CC5C94DCF88292D Time : 0.0 sec. user=mdettweiler [2016-07-12 15:54:29] 665*2^1435120-1 is not prime. Res64: E7622A9EE8D6A1EB Time : 0.0 sec. user=mdettweiler [2016-07-12 15:54:36] 677*2^1435120-1 is not prime. Res64: FE0CACA3CE74A8A9 Time : 0.0 sec. user=mdettweiler [2016-07-12 15:54:36] 839*2^1435120-1 is not prime. Res64: C1D92C97F8FCA616 Time : 0.0 sec. user=mdettweiler [2016-07-12 16:58:47] 855*2^1435120-1 is not prime. Res64: 2C3663AD3952E6AC Time : 0.0 sec. user=mdettweiler [2016-07-12 16:58:48] 917*2^1435120-1 is not prime. Res64: EB70A466B247C84B Time : 0.0 sec. user=mdettweiler [2016-07-12 16:58:57] 983*2^1435120-1 is not prime. Res64: 76420109EE8D08A8 Time : 0.0 sec. user=mdettweiler [2016-07-12 16:59:06] 691*2^1435121-1 is not prime. Res64: C5438A9AF1BCC3D5 Time : 0.0 sec. user=mdettweiler [2016-07-12 16:59:15] 657*2^1435122-1 is not prime. Res64: 30A9E97C61AF4CB0 Time : 0.0 sec. user=mdettweiler [2016-07-12 17:56:06] 737*2^1435122-1 is not prime. Res64: A3D4E2BFFDD828DA Time : 0.0 sec. user=mdettweiler [2016-07-12 17:56:07] 797*2^1435122-1 is not prime. Res64: 18E2590EDC12E4BC Time : 0.0 sec. user=mdettweiler [2016-07-12 17:56:07] 807*2^1435122-1 is not prime. Res64: FE11251FF1F7B759 Time : 0.0 sec. user=mdettweiler [2016-07-12 17:56:07] 921*2^1435122-1 is not prime. Res64: 29FEC2C7D54945C7 Time : 0.0 sec. user=mdettweiler [2016-07-12 17:56:07] 923*2^1435122-1 is not prime. Res64: 373404682A7691D9 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:01:25] 859*2^1435115-1 is not prime. Res64: 40B3A71E1FA935AD Time : 0.0 sec. user=mdettweiler [2016-07-12 18:01:26] 889*2^1435115-1 is not prime. Res64: 16347EC12849801A Time : 0.0 sec. user=mdettweiler [2016-07-12 18:01:30] 915*2^1435115-1 is not prime. Res64: 4EDE9771DDEF940F Time : 0.0 sec. user=mdettweiler [2016-07-12 18:47:24] 615*2^1435123-1 is not prime. Res64: 2E69B6E2C5F7E901 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:47:28] 673*2^1435123-1 is not prime. Res64: 98D8752FDF7192E7 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:47:32] 681*2^1435123-1 is not prime. Res64: 8146BFEFB25D24D5 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:47:36] 793*2^1435123-1 is not prime. Res64: CADB8EC509DCFBC8 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:47:36] 901*2^1435123-1 is not prime. Res64: 206234562DCB92C5 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:55:10] 973*2^1435123-1 is not prime. Res64: B9F4D4EEDD8D6E0B Time : 0.0 sec. user=mdettweiler [2016-07-12 18:55:10] 985*2^1435123-1 is not prime. Res64: DF088E8D438A542A Time : 0.0 sec. user=mdettweiler [2016-07-12 18:55:10] 665*2^1435124-1 is not prime. Res64: 4CADB9D49DCB41A4 Time : 0.0 sec. user=mdettweiler [2016-07-12 18:55:10] 825*2^1435124-1 is not prime. Res64: 28A07AD3FC5E00ED Time : 0.0 sec. user=mdettweiler [2016-07-12 18:55:11] 827*2^1435124-1 is not prime. Res64: 024B8F3AF3F14764 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:38:52] 869*2^1435124-1 is not prime. Res64: 77E48939317C34B6 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:38:52] 875*2^1435124-1 is not prime. Res64: 8C0422F75F95798E Time : 0.0 sec. user=mdettweiler [2016-07-12 19:38:52] 657*2^1435125-1 is not prime. Res64: DF1B78B10FA635A3 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:38:53] 765*2^1435125-1 is not prime. Res64: C6E6763BE0AB7BD7 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:38:53] 895*2^1435125-1 is not prime. Res64: 3A40864F2E331741 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:46:09] 927*2^1435125-1 is not prime. Res64: 57359F3C579FBDC7 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:46:09] 937*2^1435125-1 is not prime. Res64: 195C27C92170150B Time : 0.0 sec. user=mdettweiler [2016-07-12 19:46:13] 961*2^1435125-1 is not prime. Res64: 6CC986F8BF20B882 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:46:17] 755*2^1435126-1 is not prime. Res64: E83AC7DFFC92AF19 Time : 0.0 sec. user=mdettweiler [2016-07-12 19:46:21] 813*2^1435126-1 is not prime. Res64: B25B215407E4368F Time : 0.0 sec. user=mdettweiler [2016-07-12 20:27:59] 843*2^1435126-1 is not prime. Res64: 8FB35A63E6ACC47E Time : 0.0 sec. user=mdettweiler [2016-07-12 20:28:05] 897*2^1435126-1 is not prime. Res64: E2D049EBA43AECE1 Time : 0.0 sec. user=mdettweiler [2016-07-12 20:28:11] 609*2^1435127-1 is not prime. Res64: CBAD09A0E3D645BD Time : 0.0 sec. user=mdettweiler [2016-07-12 20:28:17] 619*2^1435127-1 is not prime. Res64: CFD5B0CE4C17B4CA Time : 0.0 sec. user=mdettweiler [2016-07-12 20:28:22] 711*2^1435127-1 is not prime. Res64: D0DB3A3800C6FB01 Time : 0.0 sec. user=mdettweiler [2016-07-12 20:35:52] 715*2^1435127-1 is not prime. Res64: 2C20EE648979F589 Time : 0.0 sec. user=mdettweiler [2016-07-12 20:35:58] 895*2^1435127-1 is not prime. Res64: 4FABCE263CC38432 Time : 0.0 sec. user=mdettweiler [2016-07-12 20:35:58] 945*2^1435127-1 is not prime. Res64: 13BF6628BC2ED6CB Time : 0.0 sec. user=mdettweiler [2016-07-12 20:36:04] 963*2^1435127-1 is not prime. Res64: A0D1C604A3B8CD33 Time : 0.0 sec. user=mdettweiler [2016-07-12 20:36:09] 605*2^1435128-1 is not prime. Res64: 46ACB9B274B198B8 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:18:00] 629*2^1435128-1 is not prime. Res64: 02AAD1C85BAA478E Time : 0.0 sec. user=mdettweiler [2016-07-12 21:18:01] 705*2^1435128-1 is not prime. Res64: F5817292A727EB74 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:18:01] 849*2^1435128-1 is not prime. Res64: 2ED1B8FA8C719F15 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:18:01] 745*2^1435129-1 is not prime. Res64: 949E12E70B4AB980 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:18:02] 751*2^1435129-1 is not prime. Res64: 770B765122AB88C0 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:25:45] 765*2^1435129-1 is not prime. Res64: 8B75DF480A83AF2F Time : 0.0 sec. user=mdettweiler [2016-07-12 21:25:45] 771*2^1435129-1 is not prime. Res64: F07821FAAFF9F47A Time : 0.0 sec. user=mdettweiler [2016-07-12 21:25:45] 957*2^1435129-1 is not prime. Res64: 3A8D35F6AB9584C9 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:25:45] 999*2^1435129-1 is not prime. Res64: E8090B0886DA6F30 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:25:46] 635*2^1435130-1 is not prime. Res64: 459DBBA487D024B3 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:54:56] 999*2^1435116-1 is not prime. Res64: 3140A4450992C78E Time : 0.0 sec. user=mdettweiler [2016-07-12 21:54:57] 645*2^1435117-1 is not prime. Res64: 34D4516FD0CE2163 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:54:57] 651*2^1435117-1 is not prime. Res64: A42BD8C5F3632F7F Time : 0.0 sec. user=mdettweiler [2016-07-12 21:54:57] 759*2^1435117-1 is not prime. Res64: 3390A11EAA431B93 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:54:57] 769*2^1435117-1 is not prime. Res64: F97B878718A7ED54 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:55:46] 805*2^1435117-1 is not prime. Res64: 2973B43A40F5B3D3 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:55:46] 859*2^1435117-1 is not prime. Res64: B0B0C41360831704 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:55:46] 889*2^1435117-1 is not prime. Res64: A5135DFCFC1787D6 Time : 0.0 sec. user=mdettweiler [2016-07-12 21:55:46] 945*2^1435117-1 is not prime. Res64: B3B7827D172A85DE Time : 0.0 sec. user=mdettweiler [2016-07-12 21:55:47] 961*2^1435117-1 is not prime. Res64: 77C91EC80BD833D7 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:06:10] 773*2^1435130-1 is not prime. Res64: DD20C1A5A24BD3BA Time : 0.0 sec. user=mdettweiler [2016-07-12 22:06:11] 857*2^1435130-1 is not prime. Res64: 0832A6CA8AD93931 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:06:12] 941*2^1435130-1 is not prime. Res64: F8BFC35993F4903B Time : 0.0 sec. user=mdettweiler [2016-07-12 22:06:13] 669*2^1435131-1 is not prime. Res64: DB1288DF4A8BA39D Time : 0.0 sec. user=mdettweiler [2016-07-12 22:06:14] 703*2^1435131-1 is not prime. Res64: 9E807DD75BF2A1B0 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:14:02] 861*2^1435131-1 is not prime. Res64: 2D2BF2DE736964DC Time : 0.0 sec. user=mdettweiler [2016-07-12 22:14:02] 903*2^1435131-1 is not prime. Res64: EE14E5101377B260 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:14:09] 943*2^1435131-1 is not prime. Res64: 8D61DE0C878C2B4D Time : 0.0 sec. user=mdettweiler [2016-07-12 22:14:09] 969*2^1435131-1 is not prime. Res64: 89F3F0095224E630 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:14:16] 675*2^1435132-1 is not prime. Res64: 9A976A3DAD320ECC Time : 0.0 sec. user=mdettweiler [2016-07-12 22:40:31] 687*2^1435132-1 is not prime. Res64: 32BB6E0FB231C779 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:40:31] 735*2^1435132-1 is not prime. Res64: C7089EC0065A7D34 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:40:31] 755*2^1435132-1 is not prime. Res64: F277D636844D3B9D Time : 0.0 sec. user=mdettweiler [2016-07-12 22:40:32] 813*2^1435132-1 is not prime. Res64: 13305AA6856CACA8 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:40:32] 843*2^1435132-1 is not prime. Res64: E691C16C6650B14D Time : 0.0 sec. user=mdettweiler [2016-07-12 22:41:42] 933*2^1435132-1 is not prime. Res64: DD461AB62FFB75C2 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:41:42] 987*2^1435133-1 is not prime. Res64: D92B4214880F9D1C Time : 0.0 sec. user=mdettweiler [2016-07-12 22:41:43] 627*2^1435134-1 is not prime. Res64: DD03C5D35BCF37D0 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:41:43] 657*2^1435134-1 is not prime. Res64: 9D3F9A7F0D51BFE7 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:41:44] 723*2^1435134-1 is not prime. Res64: 4EB8678FF3466A85 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:51:44] 783*2^1435134-1 is not prime. Res64: CC82DC2F320BA2B5 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:51:48] 875*2^1435134-1 is not prime. Res64: DA03D1608598B8E3 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:51:52] 893*2^1435134-1 is not prime. Res64: 18C4EAEB62A76E23 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:51:55] 917*2^1435134-1 is not prime. Res64: AD013D7D15CC867D Time : 0.0 sec. user=mdettweiler [2016-07-12 22:52:00] 971*2^1435134-1 is not prime. Res64: E5F969AC609FB1B9 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:59:34] 609*2^1435135-1 is not prime. Res64: C8ED73AAE6E65795 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:59:40] 619*2^1435135-1 is not prime. Res64: B49973410E32A3A8 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:59:46] 673*2^1435135-1 is not prime. Res64: 7D52985E31887E80 Time : 0.0 sec. user=mdettweiler [2016-07-12 22:59:53] 759*2^1435135-1 is not prime. Res64: C45B7B41982D085C Time : 0.0 sec. user=mdettweiler [2016-07-12 22:59:53] 793*2^1435135-1 is not prime. Res64: 0EEB5111F1B5CE31 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:26:11] 841*2^1435135-1 is not prime. Res64: A1BEFD4CF96AB732 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:26:15] 889*2^1435135-1 is not prime. Res64: 6C85A41F9A3DCF62 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:26:19] 969*2^1435135-1 is not prime. Res64: A7148756A79FF60F Time : 0.0 sec. user=mdettweiler [2016-07-12 23:26:23] 785*2^1435136-1 is not prime. Res64: 00350B488D783468 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:26:23] 843*2^1435136-1 is not prime. Res64: A74C7DA29FFA95B5 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:27:23] 845*2^1435136-1 is not prime. Res64: 18C7EBA763CB1038 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:27:27] 607*2^1435137-1 is not prime. Res64: DCEB56ADD8A8F43A Time : 0.0 sec. user=mdettweiler [2016-07-12 23:27:31] 717*2^1435137-1 is not prime. Res64: 53893BEFA857B831 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:27:35] 979*2^1435137-1 is not prime. Res64: CE85190DE3DAC4BF Time : 0.0 sec. user=mdettweiler [2016-07-12 23:27:38] 647*2^1435138-1 is not prime. Res64: 05221A9A9358814A Time : 0.0 sec. user=mdettweiler [2016-07-12 23:37:30] 677*2^1435138-1 is not prime. Res64: 20303DDCDC2B9582 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:37:30] 681*2^1435138-1 is not prime. Res64: F5D85F2A92FDE588 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:37:30] 737*2^1435138-1 is not prime. Res64: 3F1B7E644FE66AD1 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:37:30] 755*2^1435138-1 is not prime. Res64: 5C3CE941F2083425 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:37:31] 765*2^1435138-1 is not prime. Res64: D109A7677CE643CF Time : 0.0 sec. user=mdettweiler [2016-07-12 23:45:47] 861*2^1435138-1 is not prime. Res64: A149D050EFBC48D0 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:45:47] 915*2^1435138-1 is not prime. Res64: 05DC89C6D0F54B6B Time : 0.0 sec. user=mdettweiler [2016-07-12 23:45:47] 609*2^1435139-1 is not prime. Res64: 0781E198AC1DD56B Time : 0.0 sec. user=mdettweiler [2016-07-12 23:45:48] 759*2^1435139-1 is not prime. Res64: 6F170C10BFB0B417 Time : 0.0 sec. user=mdettweiler [2016-07-12 23:45:48] 775*2^1435139-1 is not prime. Res64: 467FF91448BB9817 Time : 0.0 sec.