user=mdettweiler [2018-08-12 00:27:00] 923*2^1521056-1 is not prime. Res64: E33832113CC0032A Time : 0.0 sec. user=mdettweiler [2018-08-12 00:27:00] 999*2^1521056-1 is not prime. Res64: BA9A9C9364D201B5 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:27:01] 699*2^1521057-1 is not prime. Res64: 0A64DE7B6C31DD5B Time : 0.0 sec. user=mdettweiler [2018-08-12 00:27:01] 759*2^1521057-1 is not prime. Res64: 2515CF865DF8DF4B Time : 0.0 sec. user=mdettweiler [2018-08-12 00:27:01] 765*2^1521057-1 is not prime. Res64: 3FB91D2A479ED4C3 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:31:49] 769*2^1521057-1 is not prime. Res64: 57710D877CA7B922 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:31:50] 777*2^1521057-1 is not prime. Res64: 782F85AC161FA79F Time : 0.0 sec. user=mdettweiler [2018-08-12 00:31:50] 805*2^1521057-1 is not prime. Res64: 158D4A0B72D2979B Time : 0.0 sec. user=mdettweiler [2018-08-12 00:31:50] 865*2^1521057-1 is not prime. Res64: 5E60FEE615054E22 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:31:51] 871*2^1521057-1 is not prime. Res64: 0C37B186EF35DAA6 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:37:38] 997*2^1521057-1 is not prime. Res64: 61C8408D296E6EF7 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:37:38] 705*2^1521058-1 is not prime. Res64: 1177137D6057AAA4 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:37:39] 825*2^1521058-1 is not prime. Res64: 2415ECAC99B07F38 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:37:39] 923*2^1521058-1 is not prime. Res64: AFFF773E9FB0C952 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:37:40] 1001*2^1521058-1 is not prime. Res64: BE13B71BF36ABFA4 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:42:11] 619*2^1521059-1 is not prime. Res64: F5314DDD1EAC67F0 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:42:11] 813*2^1521059-1 is not prime. Res64: DD87F7524A4BB661 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:42:11] 825*2^1521059-1 is not prime. Res64: 59CBFF48F64AE0C3 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:42:12] 883*2^1521059-1 is not prime. Res64: 1D8D7888F67E5965 Time : 0.0 sec. user=mdettweiler [2018-08-12 00:42:12] 943*2^1521059-1 is not prime. Res64: C91C6108223FB1B9 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:22:08] 629*2^1521060-1 is not prime. Res64: 3B844748661AA5EB Time : 0.0 sec. user=mdettweiler [2018-08-12 01:22:08] 669*2^1521060-1 is not prime. Res64: 27E24E081725DB8B Time : 0.0 sec. user=mdettweiler [2018-08-12 01:22:09] 767*2^1521060-1 is not prime. Res64: 973526851365C898 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:22:09] 839*2^1521060-1 is not prime. Res64: 615C89C1BD8B06E6 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:22:09] 975*2^1521060-1 is not prime. Res64: 5F3DAA0BADEFD942 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:26:23] 621*2^1521061-1 is not prime. Res64: 5AEC5384A9F07D34 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:26:24] 825*2^1521061-1 is not prime. Res64: 299DDCF597948EEE Time : 0.0 sec. user=mdettweiler [2018-08-12 01:26:24] 867*2^1521061-1 is not prime. Res64: EAF3E296C4863A60 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:26:25] 945*2^1521061-1 is not prime. Res64: 6A6B1DA38D635A80 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:26:25] 997*2^1521061-1 is not prime. Res64: F83D5E55C5690C70 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:35:28] 603*2^1521062-1 is not prime. Res64: 2F59DB38E1E0DB46 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:35:29] 671*2^1521062-1 is not prime. Res64: 9F52FA8157B0D168 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:35:29] 731*2^1521062-1 is not prime. Res64: D6275B14253936E1 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:35:30] 761*2^1521062-1 is not prime. Res64: 9B4DCB86CB2EBD28 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:35:31] 771*2^1521062-1 is not prime. Res64: FD7E5B455B5686F9 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:37:17] 843*2^1521062-1 is not prime. Res64: FF96D6D1808B08D2 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:37:18] 857*2^1521062-1 is not prime. Res64: F4123DAEE4BA53B7 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:37:18] 613*2^1521063-1 is not prime. Res64: C3371ED8C5721CA8 Time : 0.0 sec. user=mdettweiler [2018-08-12 01:37:19] 709*2^1521063-1 is not prime. Res64: 6A957E67010261CC Time : 0.0 sec. user=mdettweiler [2018-08-12 01:37:19] 739*2^1521063-1 is not prime. Res64: 120090B339124783 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:15:11] 783*2^1521063-1 is not prime. Res64: 7A61D2C7F6CAC100 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:15:11] 793*2^1521063-1 is not prime. Res64: A8BA23E64D1228AA Time : 0.0 sec. user=mdettweiler [2018-08-12 02:15:12] 819*2^1521063-1 is not prime. Res64: 028DDF5C37390D31 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:15:12] 825*2^1521063-1 is not prime. Res64: 8E0413B8F77A4670 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:15:13] 871*2^1521063-1 is not prime. Res64: 710892202DE1B704 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:19:18] 921*2^1521063-1 is not prime. Res64: 89D8CFEE56B2A88A Time : 0.0 sec. user=mdettweiler [2018-08-12 02:19:18] 969*2^1521063-1 is not prime. Res64: 2B7181182CE5032D Time : 0.0 sec. user=mdettweiler [2018-08-12 02:19:19] 615*2^1521064-1 is not prime. Res64: 3A62304D4D3D80E7 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:19:19] 675*2^1521064-1 is not prime. Res64: 08628C97F740EC6F Time : 0.0 sec. user=mdettweiler [2018-08-12 02:19:20] 717*2^1521064-1 is not prime. Res64: 4E216F724F30E245 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:27:05] 813*2^1521064-1 is not prime. Res64: F30B085C9E5654D1 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:27:05] 855*2^1521064-1 is not prime. Res64: 208EBE9092440DD7 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:27:06] 863*2^1521064-1 is not prime. Res64: 73AA0077A45BAB1D Time : 0.0 sec. user=mdettweiler [2018-08-12 02:27:06] 875*2^1521064-1 is not prime. Res64: 7B55BCB61999BA9B Time : 0.0 sec. user=mdettweiler [2018-08-12 02:27:07] 969*2^1521064-1 is not prime. Res64: D88706C03632D9DE Time : 0.0 sec. user=mdettweiler [2018-08-12 02:28:59] 627*2^1521065-1 is not prime. Res64: AD6A2D40BCB196DB Time : 0.0 sec. user=mdettweiler [2018-08-12 02:29:00] 771*2^1521065-1 is not prime. Res64: E9C4B90F6E849A5B Time : 0.0 sec. user=mdettweiler [2018-08-12 02:29:00] 777*2^1521065-1 is not prime. Res64: 012B308174EC626C Time : 0.0 sec. user=mdettweiler [2018-08-12 02:29:01] 889*2^1521065-1 is not prime. Res64: 450E7B6A7517C2B3 Time : 0.0 sec. user=mdettweiler [2018-08-12 02:29:01] 985*2^1521065-1 is not prime. Res64: 70AEB0C6A83599C1 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:08] 975*2^1521066-1 is not prime. Res64: EA011204B2FE84A2 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:09] 685*2^1521067-1 is not prime. Res64: 7A5DD3C8FB1A81B8 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:09] 819*2^1521067-1 is not prime. Res64: 968EF34F113379D9 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:10] 633*2^1521068-1 is not prime. Res64: 6EE8DBBAF60875E8 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:10] 665*2^1521068-1 is not prime. Res64: 07D1D41E03082F81 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:51] 635*2^1521066-1 is not prime. Res64: E5032EA54AE92D10 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:52] 671*2^1521066-1 is not prime. Res64: 166A4463D122EA8E Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:52] 713*2^1521066-1 is not prime. Res64: AA880F84883E450C Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:53] 807*2^1521066-1 is not prime. Res64: C0D1400F4C9A2967 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:13:53] 947*2^1521066-1 is not prime. Res64: 6D365EF5EBD52A2B Time : 0.0 sec. user=mdettweiler [2018-08-12 03:20:36] 709*2^1521069-1 is not prime. Res64: 89A69296A34B4259 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:20:37] 795*2^1521069-1 is not prime. Res64: 95E393903558A586 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:20:37] 611*2^1521070-1 is not prime. Res64: F3C74238A4BC43F3 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:20:37] 635*2^1521070-1 is not prime. Res64: 5CC52A07660C8597 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:20:38] 723*2^1521070-1 is not prime. Res64: 1AA29B1C4C83B0FC Time : 0.0 sec. user=mdettweiler [2018-08-12 03:22:40] 777*2^1521070-1 is not prime. Res64: 01EB6CE72BE7A238 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:22:40] 813*2^1521070-1 is not prime. Res64: D6FCFA8FC845EA1D Time : 0.0 sec. user=mdettweiler [2018-08-12 03:22:40] 833*2^1521070-1 is not prime. Res64: 02A58321834251F2 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:22:41] 933*2^1521070-1 is not prime. Res64: F5D0E7384B85F593 Time : 0.0 sec. user=mdettweiler [2018-08-12 03:22:41] 619*2^1521071-1 is not prime. Res64: DBE4411371868436 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:04:58] 703*2^1521071-1 is not prime. Res64: 4C7D9E7A46003176 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:02] 715*2^1521071-1 is not prime. Res64: 3563599FD0DEAE50 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:05] 753*2^1521071-1 is not prime. Res64: A2BDD0CB589854E8 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:07] 825*2^1521071-1 is not prime. Res64: 0DE41298D694ADB1 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:10] 669*2^1521072-1 is not prime. Res64: C3E76FE6C3C95075 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:38] 747*2^1521072-1 is not prime. Res64: 9CA8F297138CE2F3 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:40] 767*2^1521072-1 is not prime. Res64: 56817ABF86B17542 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:42] 893*2^1521072-1 is not prime. Res64: 0C427BCC578EE384 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:46] 903*2^1521072-1 is not prime. Res64: F91BEBEC2BD8A4EF Time : 0.0 sec. user=mdettweiler [2018-08-12 04:05:48] 975*2^1521072-1 is not prime. Res64: FEA19FA80E8C32D5 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:15:53] 945*2^1521073-1 is not prime. Res64: 1E5C2CAE74DB2F1C Time : 0.0 sec. user=mdettweiler [2018-08-12 04:15:53] 957*2^1521073-1 is not prime. Res64: 2F8184D076A9225E Time : 0.0 sec. user=mdettweiler [2018-08-12 04:15:54] 675*2^1521074-1 is not prime. Res64: 55D4343410FB7999 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:15:56] 741*2^1521074-1 is not prime. Res64: 425B63D50C0FC1DA Time : 0.0 sec. user=mdettweiler [2018-08-12 04:15:57] 837*2^1521074-1 is not prime. Res64: F2428113495C0D25 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:19:24] 687*2^1521073-1 is not prime. Res64: 0D79453A6109954C Time : 0.0 sec. user=mdettweiler [2018-08-12 04:19:24] 729*2^1521073-1 is not prime. Res64: AB8C2DCC6A096F4C Time : 0.0 sec. user=mdettweiler [2018-08-12 04:19:25] 775*2^1521073-1 is not prime. Res64: 1614B1D07A33D7CE Time : 0.0 sec. user=mdettweiler [2018-08-12 04:19:25] 829*2^1521073-1 is not prime. Res64: A90A7951F3748B59 Time : 0.0 sec. user=mdettweiler [2018-08-12 04:19:26] 897*2^1521073-1 is not prime. Res64: B2209514008FA0AA Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:14] 861*2^1521074-1 is not prime. Res64: 9E0ED13DFDD99296 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:16] 995*2^1521074-1 is not prime. Res64: D8D7DF291A46E363 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:18] 679*2^1521075-1 is not prime. Res64: 2C82FA86B6790D6C Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:21] 741*2^1521075-1 is not prime. Res64: 11B9A55EE4CBE85C Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:22] 805*2^1521075-1 is not prime. Res64: C6C99C66676EB812 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:51] 961*2^1521075-1 is not prime. Res64: 3A9039380E63A351 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:52] 979*2^1521075-1 is not prime. Res64: B32BAE0121B2BFF9 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:53] 985*2^1521075-1 is not prime. Res64: 9F47CD0E4D03077C Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:54] 663*2^1521076-1 is not prime. Res64: 47784C5FFF034014 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:01:56] 779*2^1521076-1 is not prime. Res64: BE38D45E259B471D Time : 0.0 sec. user=mdettweiler [2018-08-12 05:09:28] 909*2^1521076-1 is not prime. Res64: 2DECBA3B84529BB5 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:09:28] 999*2^1521076-1 is not prime. Res64: 6E06156E8990B52D Time : 0.0 sec. user=mdettweiler [2018-08-12 05:09:29] 601*2^1521077-1 is not prime. Res64: 24F04AA934949A8F Time : 0.0 sec. user=mdettweiler [2018-08-12 05:09:29] 607*2^1521077-1 is not prime. Res64: A492497BE4BFE08D Time : 0.0 sec. user=mdettweiler [2018-08-12 05:09:30] 669*2^1521077-1 is not prime. Res64: EB3FB9AD573A3471 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:13:12] 795*2^1521077-1 is not prime. Res64: 768A11F3E35063F7 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:13:12] 805*2^1521077-1 is not prime. Res64: 7FB6C69C71AF600F Time : 0.0 sec. user=mdettweiler [2018-08-12 05:13:13] 837*2^1521077-1 is not prime. Res64: BB927AE2F754C622 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:13:14] 865*2^1521077-1 is not prime. Res64: B41FF7235012E847 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:13:14] 901*2^1521077-1 is not prime. Res64: CE2263354D9C9C4A Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:04] 611*2^1521078-1 is not prime. Res64: D07A6FBABCB05A50 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:05] 705*2^1521078-1 is not prime. Res64: 2F0B8A4334F3B044 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:05] 707*2^1521078-1 is not prime. Res64: 2826B300A57D4214 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:05] 725*2^1521078-1 is not prime. Res64: 67B8261576162932 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:06] 747*2^1521078-1 is not prime. Res64: 3554007CA2CAD4E4 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:32] 801*2^1521078-1 is not prime. Res64: AA33543F7DCFC8AF Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:32] 861*2^1521078-1 is not prime. Res64: 3050FDC32B5E4976 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:33] 881*2^1521078-1 is not prime. Res64: 1E37D93C0FDA782C Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:33] 921*2^1521078-1 is not prime. Res64: D27A59E5E19452D9 Time : 0.0 sec. user=mdettweiler [2018-08-12 05:55:33] 945*2^1521078-1 is not prime. Res64: A4A459FB6BE4276E Time : 0.0 sec. user=mdettweiler [2018-08-12 06:03:21] 951*2^1521078-1 is not prime. Res64: 4A73641994436B64 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:03:22] 971*2^1521078-1 is not prime. Res64: 791DBD1924BB52E0 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:03:23] 639*2^1521079-1 is not prime. Res64: A433D0EDE488D2C4 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:03:25] 649*2^1521079-1 is not prime. Res64: 29DE2BFB336D596A Time : 0.0 sec. user=mdettweiler [2018-08-12 06:03:27] 703*2^1521079-1 is not prime. Res64: F423FE4B4C5230AD Time : 0.0 sec. user=mdettweiler [2018-08-12 06:06:41] 745*2^1521079-1 is not prime. Res64: 14500AB3AE641C48 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:06:43] 841*2^1521079-1 is not prime. Res64: 1D0217B5F1B528C6 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:06:44] 913*2^1521079-1 is not prime. Res64: D4A21BA78256C958 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:06:44] 635*2^1521080-1 is not prime. Res64: B4902C0F39116D7F Time : 0.0 sec. user=mdettweiler [2018-08-12 06:06:45] 689*2^1521080-1 is not prime. Res64: E97E882B2A9FEB7A Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:23] 637*2^1521081-1 is not prime. Res64: 49266743BBCD97DD Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:23] 685*2^1521081-1 is not prime. Res64: AFDEC06F2BACE516 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:24] 889*2^1521081-1 is not prime. Res64: 9173E9B5F729CCFC Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:24] 975*2^1521081-1 is not prime. Res64: EBF735CAD9254394 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:25] 713*2^1521082-1 is not prime. Res64: 81E44332B7619295 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:58] 753*2^1521080-1 is not prime. Res64: C470E45956FD36EA Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:58] 767*2^1521080-1 is not prime. Res64: 18A5A2D582529BE3 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:58] 857*2^1521080-1 is not prime. Res64: 33134CE87D5E5C57 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:59] 995*2^1521080-1 is not prime. Res64: 129095196E834958 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:49:59] 627*2^1521081-1 is not prime. Res64: 2EBDAA31C2591A40 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:59:12] 813*2^1521082-1 is not prime. Res64: A40BB6FBB8FF61CB Time : 0.0 sec. user=mdettweiler [2018-08-12 06:59:13] 911*2^1521082-1 is not prime. Res64: 85BC79D0142438AD Time : 0.0 sec. user=mdettweiler [2018-08-12 06:59:13] 917*2^1521082-1 is not prime. Res64: BC1F45207AE64269 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:59:14] 983*2^1521082-1 is not prime. Res64: AD6C9D3197B7B0D0 Time : 0.0 sec. user=mdettweiler [2018-08-12 06:59:14] 615*2^1521083-1 is not prime. Res64: BCD37EAF70B3F69A Time : 0.0 sec. user=mdettweiler [2018-08-12 07:04:41] 741*2^1521083-1 is not prime. Res64: 83A4CF7B7509F66C Time : 0.0 sec. user=mdettweiler [2018-08-12 07:04:43] 819*2^1521083-1 is not prime. Res64: D02F954B63D727BE Time : 0.0 sec. user=mdettweiler [2018-08-12 07:04:44] 859*2^1521083-1 is not prime. Res64: AACAF58EE1EA19C3 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:04:46] 861*2^1521083-1 is not prime. Res64: FD1B0A106A5979EB Time : 0.0 sec. user=mdettweiler [2018-08-12 07:04:48] 753*2^1521084-1 is not prime. Res64: 3DEC0957A0B206D4 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:42:21] 803*2^1521084-1 is not prime. Res64: C21899D0D52F436E Time : 0.0 sec. user=mdettweiler [2018-08-12 07:42:21] 825*2^1521084-1 is not prime. Res64: 9E5E7BFD97847807 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:42:21] 857*2^1521084-1 is not prime. Res64: AFCD8B0D87890E12 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:42:22] 863*2^1521084-1 is not prime. Res64: 9F01C5C3F3817E37 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:42:22] 651*2^1521085-1 is not prime. Res64: 05EACA2D8AE31CB3 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:43:12] 667*2^1521085-1 is not prime. Res64: 8E5D3A9CFA1B0CF3 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:43:12] 675*2^1521085-1 is not prime. Res64: F1010CA3A5D58114 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:43:12] 715*2^1521085-1 is not prime. Res64: C580152F141A077B Time : 0.0 sec. user=mdettweiler [2018-08-12 07:43:13] 799*2^1521085-1 is not prime. Res64: 9A0488B81704620F Time : 0.0 sec. user=mdettweiler [2018-08-12 07:43:13] 831*2^1521085-1 is not prime. Res64: FB2145CB1398A633 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:52:59] 951*2^1521085-1 is not prime. Res64: 26C4D32172A5B002 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:53:00] 975*2^1521085-1 is not prime. Res64: 1171D912561072C0 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:53:00] 987*2^1521085-1 is not prime. Res64: 00294E91164404A9 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:53:01] 635*2^1521086-1 is not prime. Res64: 118C4527FA7B1FB4 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:53:01] 717*2^1521086-1 is not prime. Res64: 0181CABDCAC6CD5B Time : 0.0 sec. user=mdettweiler [2018-08-12 07:58:58] 935*2^1521086-1 is not prime. Res64: B725E8E7D8535B0A Time : 0.0 sec. user=mdettweiler [2018-08-12 07:58:58] 981*2^1521086-1 is not prime. Res64: 6B63B8D3045A55C6 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:58:59] 609*2^1521087-1 is not prime. Res64: 93EAA8BCA6D4FA74 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:58:59] 661*2^1521087-1 is not prime. Res64: F752D4F60A985949 Time : 0.0 sec. user=mdettweiler [2018-08-12 07:58:59] 669*2^1521087-1 is not prime. Res64: 6671EAED8B4D3C6E Time : 0.0 sec. user=mdettweiler [2018-08-12 08:33:07] 735*2^1521087-1 is not prime. Res64: 51D4517DC95185DE Time : 0.0 sec. user=mdettweiler [2018-08-12 08:33:08] 741*2^1521087-1 is not prime. Res64: 17732839CD7EA990 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:33:08] 873*2^1521087-1 is not prime. Res64: 3E5E56DC797BBD65 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:33:09] 891*2^1521087-1 is not prime. Res64: 44B2ACE0BAC90699 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:33:09] 909*2^1521087-1 is not prime. Res64: 09D2C3A2867FEC3F Time : 0.0 sec. user=mdettweiler [2018-08-12 08:34:08] 933*2^1521087-1 is not prime. Res64: 5167C814545E842A Time : 0.0 sec. user=mdettweiler [2018-08-12 08:34:08] 689*2^1521088-1 is not prime. Res64: 6345C8E902C652CF Time : 0.0 sec. user=mdettweiler [2018-08-12 08:34:08] 705*2^1521088-1 is not prime. Res64: 7B7D5DA8B6BBE68F Time : 0.0 sec. user=mdettweiler [2018-08-12 08:34:09] 713*2^1521088-1 is not prime. Res64: B47EEA085A64460D Time : 0.0 sec. user=mdettweiler [2018-08-12 08:34:09] 845*2^1521088-1 is not prime. Res64: FE87F4D839085D77 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:44:06] 879*2^1521089-1 is not prime. Res64: 6F66E9BA881BA608 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:44:07] 611*2^1521090-1 is not prime. Res64: B5FEC51179DD9558 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:44:07] 627*2^1521090-1 is not prime. Res64: F2C4F897D05C09F6 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:44:08] 633*2^1521090-1 is not prime. Res64: B43A8AED873BA793 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:44:08] 651*2^1521090-1 is not prime. Res64: 05C39E34DCF23221 Time : 0.0 sec. user=mdettweiler [2018-08-12 08:49:56] 747*2^1521090-1 is not prime. Res64: A75BB98F262DAA0F Time : 0.0 sec. user=mdettweiler [2018-08-12 08:49:56] 755*2^1521090-1 is not prime. Res64: 18A45E8E987BF58B Time : 0.0 sec. user=mdettweiler [2018-08-12 08:49:57] 791*2^1521090-1 is not prime. Res64: AE17D36676D141BE Time : 0.0 sec. user=mdettweiler [2018-08-12 08:49:57] 861*2^1521090-1 is not prime. Res64: 0D771598DD7FE2CC Time : 0.0 sec. user=mdettweiler [2018-08-12 08:49:57] 603*2^1521091-1 is not prime. Res64: 518F7B0900A6A3C3 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:06] 999*2^1521091-1 is not prime. Res64: 743F408DBE4701B5 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:07] 623*2^1521092-1 is not prime. Res64: B0CD3A6E62A61D7F Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:07] 693*2^1521092-1 is not prime. Res64: 08503AD00F933355 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:08] 743*2^1521092-1 is not prime. Res64: F25AF741A6B6BC50 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:08] 855*2^1521092-1 is not prime. Res64: C717B151F747706B Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:26] 771*2^1521091-1 is not prime. Res64: 05B0F8D2DE2B53FB Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:27] 843*2^1521091-1 is not prime. Res64: 319F32765CEF0C96 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:27] 855*2^1521091-1 is not prime. Res64: 1953617A3EA0F671 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:28] 861*2^1521091-1 is not prime. Res64: BF139B3662849E15 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:25:28] 969*2^1521091-1 is not prime. Res64: 6F99290CDE13EDBA Time : 0.0 sec. user=mdettweiler [2018-08-12 09:35:43] 875*2^1521092-1 is not prime. Res64: 5CDDA395CEDF1FC4 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:35:43] 885*2^1521092-1 is not prime. Res64: E7F6EE015254992C Time : 0.0 sec. user=mdettweiler [2018-08-12 09:35:44] 893*2^1521092-1 is not prime. Res64: 042AC26497D49122 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:35:44] 929*2^1521092-1 is not prime. Res64: 7B653F71BCA1FA37 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:35:45] 945*2^1521092-1 is not prime. Res64: C2605F4C837E93B7 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:41:43] 685*2^1521093-1 is not prime. Res64: F4A88ECEA4E931BE Time : 0.0 sec. user=mdettweiler [2018-08-12 09:41:43] 735*2^1521093-1 is not prime. Res64: AAE694C1C374D410 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:41:44] 915*2^1521093-1 is not prime. Res64: A8F69EB1AD842FC8 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:41:44] 937*2^1521093-1 is not prime. Res64: 7B056FCD38463C28 Time : 0.0 sec. user=mdettweiler [2018-08-12 09:41:44] 951*2^1521093-1 is not prime. Res64: 95129EE70EF0D671 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:10] 657*2^1521094-1 is not prime. Res64: EDCC337688D0B97D Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:11] 857*2^1521094-1 is not prime. Res64: D103A77071CF3EC7 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:11] 903*2^1521094-1 is not prime. Res64: FDAAB2C32C8BB6A4 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:12] 947*2^1521094-1 is not prime. Res64: 98DDAD7FA65920F1 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:12] 825*2^1521095-1 is not prime. Res64: 729E7873A25A6A80 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:21] 909*2^1521095-1 is not prime. Res64: CE67BCCD72AFA475 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:21] 949*2^1521095-1 is not prime. Res64: EF0A7900F2E48B04 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:22] 981*2^1521095-1 is not prime. Res64: 6589AC7F78A6547C Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:22] 985*2^1521095-1 is not prime. Res64: 4D0E66A9B27DCA1B Time : 0.0 sec. user=mdettweiler [2018-08-12 10:16:22] 675*2^1521096-1 is not prime. Res64: 0483E8F64DFA56E9 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:26:26] 725*2^1521096-1 is not prime. Res64: BF3A492A9DDF4E70 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:26:26] 815*2^1521096-1 is not prime. Res64: 5BDA62E64E74E59F Time : 0.0 sec. user=mdettweiler [2018-08-12 10:26:26] 975*2^1521096-1 is not prime. Res64: 253E83C6DD1FAC79 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:26:27] 601*2^1521097-1 is not prime. Res64: DEF968AB9571DEFD Time : 0.0 sec. user=mdettweiler [2018-08-12 10:26:27] 729*2^1521097-1 is not prime. Res64: 9C48C54D98B5F8BF Time : 0.0 sec. user=mdettweiler [2018-08-12 10:32:42] 861*2^1521097-1 is not prime. Res64: 1BCB41F82B63A662 Time : 0.0 sec. user=mdettweiler [2018-08-12 10:32:43] 895*2^1521097-1 is not prime. Res64: A440F9F025BFFB9C Time : 0.0 sec. user=mdettweiler [2018-08-12 10:32:43] 937*2^1521097-1 is not prime. Res64: 23887978BD1BC23E Time : 0.0 sec. user=mdettweiler [2018-08-12 10:32:43] 981*2^1521097-1 is not prime. Res64: C7EA712ECF1666AC Time : 0.0 sec. user=mdettweiler [2018-08-12 10:32:44] 627*2^1521098-1 is not prime. Res64: B57F7BF014FBF603 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:07] 743*2^1521098-1 is not prime. Res64: 9766464A5122144B Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:07] 773*2^1521098-1 is not prime. Res64: 7BC014277B4A0313 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:08] 921*2^1521098-1 is not prime. Res64: 8EEA3D06CFFE3596 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:08] 941*2^1521098-1 is not prime. Res64: 0BEEE9088B94E07F Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:09] 963*2^1521098-1 is not prime. Res64: 22AFC25EBB674AE8 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:24] 971*2^1521098-1 is not prime. Res64: 3ECA19B10DE4121F Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:25] 613*2^1521099-1 is not prime. Res64: 7A49E61F0A66DC6B Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:25] 619*2^1521099-1 is not prime. Res64: D23EEFA3B682555F Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:26] 633*2^1521099-1 is not prime. Res64: 087551F1D953E530 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:07:26] 663*2^1521099-1 is not prime. Res64: EA67C21EA15EDCF0 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:17:07] 921*2^1521099-1 is not prime. Res64: 73F1F683607FF97C Time : 0.0 sec. user=mdettweiler [2018-08-12 11:17:07] 677*2^1521100-1 is not prime. Res64: FB0AD6FF076C516D Time : 0.0 sec. user=mdettweiler [2018-08-12 11:17:08] 923*2^1521100-1 is not prime. Res64: CEC1127C1521D8C2 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:17:08] 997*2^1521101-1 is not prime. Res64: D6724D9A2B46A5C7 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:17:08] 627*2^1521102-1 is not prime. Res64: B4EF4D571DF07DF9 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:23:32] 723*2^1521102-1 is not prime. Res64: 23B125B1E3ECF31B Time : 0.0 sec. user=mdettweiler [2018-08-12 11:23:32] 741*2^1521102-1 is not prime. Res64: 2DD16800A89E4B4C Time : 0.0 sec. user=mdettweiler [2018-08-12 11:23:33] 887*2^1521102-1 is not prime. Res64: 421FA69978F225F7 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:23:33] 951*2^1521102-1 is not prime. Res64: B709AFF4316A337F Time : 0.0 sec. user=mdettweiler [2018-08-12 11:23:33] 977*2^1521102-1 is not prime. Res64: F23CC53AC8B08928 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:57:56] 983*2^1521102-1 is not prime. Res64: 38DAFD8D47EA1F42 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:57:56] 625*2^1521103-1 is not prime. Res64: 3165BAF68430681E Time : 0.0 sec. user=mdettweiler [2018-08-12 11:57:57] 763*2^1521103-1 is not prime. Res64: 378484E5FC5779C7 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:57:57] 775*2^1521103-1 is not prime. Res64: D75D55F9352C0CCE Time : 0.0 sec. user=mdettweiler [2018-08-12 11:57:57] 859*2^1521103-1 is not prime. Res64: 4CF8E001877A7D49 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:58:13] 873*2^1521103-1 is not prime. Res64: 29A70E44B2D49B2E Time : 0.0 sec. user=mdettweiler [2018-08-12 11:58:13] 891*2^1521103-1 is not prime. Res64: 197A7E46CFA97A25 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:58:13] 943*2^1521103-1 is not prime. Res64: 9D7851FCB8FE4894 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:58:14] 813*2^1521104-1 is not prime. Res64: 0E3FD28BD3B79D03 Time : 0.0 sec. user=mdettweiler [2018-08-12 11:58:14] 915*2^1521104-1 is not prime. Res64: 606796C6A56D40AB Time : 0.0 sec. user=mdettweiler [2018-08-12 12:07:48] 959*2^1521104-1 is not prime. Res64: B73EB337EDD55EF4 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:07:48] 993*2^1521104-1 is not prime. Res64: 5F0C1C8000AE21D6 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:07:49] 627*2^1521105-1 is not prime. Res64: 9AE49B8EBD266DCB Time : 0.0 sec. user=mdettweiler [2018-08-12 12:07:49] 721*2^1521105-1 is not prime. Res64: F935157F94C89050 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:07:50] 759*2^1521105-1 is not prime. Res64: DB35754D03BE2029 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:14:27] 765*2^1521105-1 is not prime. Res64: 913760051383CE69 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:14:28] 777*2^1521105-1 is not prime. Res64: 1737A455637F81E1 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:14:28] 805*2^1521105-1 is not prime. Res64: D726D2F1D89D4569 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:14:29] 895*2^1521105-1 is not prime. Res64: 2E4FE805AD37C5EA Time : 0.0 sec. user=mdettweiler [2018-08-12 12:14:29] 951*2^1521105-1 is not prime. Res64: B08202674790554A Time : 0.0 sec. user=mdettweiler [2018-08-12 12:50:08] 955*2^1521105-1 is not prime. Res64: 0938595FB56E579F Time : 0.0 sec. user=mdettweiler [2018-08-12 12:50:08] 695*2^1521106-1 is not prime. Res64: AE294D1EAF9138E9 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:50:09] 741*2^1521106-1 is not prime. Res64: 8B695705F206153B Time : 0.0 sec. user=mdettweiler [2018-08-12 12:50:09] 857*2^1521106-1 is not prime. Res64: 06FD0024312E0E34 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:50:09] 775*2^1521107-1 is not prime. Res64: 1C43FEBE018F93A2 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:51:16] 843*2^1521107-1 is not prime. Res64: 146B59C9CA7E19B7 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:51:17] 885*2^1521107-1 is not prime. Res64: DBFD513B55CE80C6 Time : 0.0 sec. user=mdettweiler [2018-08-12 12:51:17] 903*2^1521107-1 is not prime. Res64: D7C5C8F1EF0F521F Time : 0.0 sec. user=mdettweiler [2018-08-12 12:51:17] 913*2^1521107-1 is not prime. Res64: C869B2F568F55C3D Time : 0.0 sec. user=mdettweiler [2018-08-12 12:51:18] 939*2^1521107-1 is not prime. Res64: 9FB0A82BD5CDA254 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:00:59] 949*2^1521107-1 is not prime. Res64: 28762F46C1CFFF33 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:01:00] 955*2^1521107-1 is not prime. Res64: 6AD52F4D55463292 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:01:01] 615*2^1521108-1 is not prime. Res64: 80BC280E3D52EA5E Time : 0.0 sec. user=mdettweiler [2018-08-12 13:01:02] 633*2^1521108-1 is not prime. Res64: 46CF4A15E5B60CFC Time : 0.0 sec. user=mdettweiler [2018-08-12 13:01:02] 707*2^1521108-1 is not prime. Res64: 245B07DCB9CD0562 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:07:01] 601*2^1521109-1 is not prime. Res64: A0D52E78C0DE585B Time : 0.0 sec. user=mdettweiler [2018-08-12 13:07:02] 945*2^1521109-1 is not prime. Res64: 7B03107801D391E9 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:07:04] 955*2^1521109-1 is not prime. Res64: 25157F0D22EF8971 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:07:05] 975*2^1521109-1 is not prime. Res64: C4991B50A49EE9A5 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:07:07] 795*2^1521110-1 is not prime. Res64: 9A175D7B70D7BE1A Time : 0.0 sec. user=mdettweiler [2018-08-12 13:43:32] 801*2^1521110-1 is not prime. Res64: 2FB6AB5A636E7917 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:43:33] 851*2^1521110-1 is not prime. Res64: 35A69FD77686CFFE Time : 0.0 sec. user=mdettweiler [2018-08-12 13:43:33] 885*2^1521110-1 is not prime. Res64: C07BE4F447C7C4AB Time : 0.0 sec. user=mdettweiler [2018-08-12 13:43:34] 945*2^1521110-1 is not prime. Res64: B4E9C7E54C56839D Time : 0.0 sec. user=mdettweiler [2018-08-12 13:43:34] 957*2^1521110-1 is not prime. Res64: 20F5A7766316AEA4 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:44:46] 981*2^1521110-1 is not prime. Res64: 5B5BBF35BCF67992 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:44:46] 995*2^1521110-1 is not prime. Res64: 65E5346867D213CC Time : 0.0 sec. user=mdettweiler [2018-08-12 13:44:47] 651*2^1521111-1 is not prime. Res64: 990692E3B274F2D9 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:44:47] 669*2^1521111-1 is not prime. Res64: 39DF1DEDF4602389 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:44:47] 675*2^1521111-1 is not prime. Res64: FC168D3C83C12170 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:55:15] 709*2^1521111-1 is not prime. Res64: 668D9B08394B1685 Time : 0.0 sec. user=mdettweiler [2018-08-12 13:55:16] 879*2^1521111-1 is not prime. Res64: 8BBB0CCB0C8D50BF Time : 0.0 sec. user=mdettweiler [2018-08-12 13:55:16] 999*2^1521111-1 is not prime. Res64: 3404CC11165B4C5D Time : 0.0 sec. user=mdettweiler [2018-08-12 13:55:16] 645*2^1521112-1 is not prime. Res64: EDFE789FD3E4B89B Time : 0.0 sec. user=mdettweiler [2018-08-12 13:55:17] 675*2^1521112-1 is not prime. Res64: 0BBCCB2330CF9C3E Time : 0.0 sec. user=mdettweiler [2018-08-12 14:01:46] 699*2^1521112-1 is not prime. Res64: E348FF89282B86FF Time : 0.0 sec. user=mdettweiler [2018-08-12 14:01:47] 755*2^1521112-1 is not prime. Res64: 157F7F2A8015ED5A Time : 0.0 sec. user=mdettweiler [2018-08-12 14:01:48] 765*2^1521112-1 is not prime. Res64: C58BE51D6E62C5D2 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:01:48] 777*2^1521112-1 is not prime. Res64: 8CB9D684019A65FE Time : 0.0 sec. user=mdettweiler [2018-08-12 14:01:49] 843*2^1521112-1 is not prime. Res64: EDE40C7B81648EF9 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:35:47] 869*2^1521112-1 is not prime. Res64: 934EA4BBDC57E6C5 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:35:48] 915*2^1521112-1 is not prime. Res64: 144A282CFB90B775 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:35:48] 917*2^1521112-1 is not prime. Res64: C618BF01339F2C4D Time : 0.0 sec. user=mdettweiler [2018-08-12 14:35:49] 631*2^1521113-1 is not prime. Res64: C9F125A01B66EB52 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:35:49] 925*2^1521113-1 is not prime. Res64: CAC673D718233602 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:36:44] 937*2^1521113-1 is not prime. Res64: 8FC08AFDC306249C Time : 0.0 sec. user=mdettweiler [2018-08-12 14:36:45] 981*2^1521113-1 is not prime. Res64: 7EF821C2C05CDC53 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:36:45] 985*2^1521113-1 is not prime. Res64: 55719272CCE48B44 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:36:45] 705*2^1521114-1 is not prime. Res64: F22CD788F2D4DBB6 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:36:46] 803*2^1521114-1 is not prime. Res64: 28A6A6DEE7374807 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:47:32] 851*2^1521114-1 is not prime. Res64: 28B3ED25522B2728 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:47:32] 881*2^1521114-1 is not prime. Res64: D0E7A23C15E0FF2C Time : 0.0 sec. user=mdettweiler [2018-08-12 14:47:32] 891*2^1521114-1 is not prime. Res64: FC7D0BA2929ED1EA Time : 0.0 sec. user=mdettweiler [2018-08-12 14:47:33] 915*2^1521114-1 is not prime. Res64: CFF08D98F229E418 Time : 0.0 sec. user=mdettweiler [2018-08-12 14:47:33] 633*2^1521115-1 is not prime. Res64: E09916721555CE82 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:13:08] 649*2^1521115-1 is not prime. Res64: CA2E4D434214AC7A Time : 0.0 sec. user=mdettweiler [2018-08-12 15:13:08] 751*2^1521115-1 is not prime. Res64: 8E207348E1F04890 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:13:09] 859*2^1521115-1 is not prime. Res64: 16A637F0FF22319C Time : 0.0 sec. user=mdettweiler [2018-08-12 15:13:09] 973*2^1521115-1 is not prime. Res64: 9E46FA0EA6A30E7D Time : 0.0 sec. user=mdettweiler [2018-08-12 15:13:10] 603*2^1521116-1 is not prime. Res64: D73C906CFD2E4672 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:41:28] 897*2^1521116-1 is not prime. Res64: F080E907DC6FAE9E Time : 0.0 sec. user=mdettweiler [2018-08-12 15:41:29] 953*2^1521116-1 is not prime. Res64: FD66843CE7A77D16 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:41:29] 639*2^1521117-1 is not prime. Res64: F6C3AFB9F51014FD Time : 0.0 sec. user=mdettweiler [2018-08-12 15:41:29] 747*2^1521117-1 is not prime. Res64: 8A5C6EE077DB6A00 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:41:30] 847*2^1521117-1 is not prime. Res64: 2B8DA5AF578A3DC4 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:45:10] 815*2^1521118-1 is not prime. Res64: 9A05E42E111BA1CD Time : 0.0 sec. user=mdettweiler [2018-08-12 15:45:10] 855*2^1521118-1 is not prime. Res64: 8C42EC92D7C0FE6A Time : 0.0 sec. user=mdettweiler [2018-08-12 15:45:11] 867*2^1521118-1 is not prime. Res64: 068100A17D1DA848 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:45:11] 941*2^1521118-1 is not prime. Res64: 40CA3BA00242CD77 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:45:11] 951*2^1521118-1 is not prime. Res64: EED4A022DF725F98 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:50:35] 885*2^1521117-1 is not prime. Res64: 01442BE227D64550 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:50:36] 891*2^1521117-1 is not prime. Res64: 020B040461A9BC8C Time : 0.0 sec. user=mdettweiler [2018-08-12 15:50:36] 657*2^1521118-1 is not prime. Res64: 7406BC52CFC53491 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:50:36] 665*2^1521118-1 is not prime. Res64: BDBFC1AECB7A1FF2 Time : 0.0 sec. user=mdettweiler [2018-08-12 15:50:37] 801*2^1521118-1 is not prime. Res64: 0429916482F0CAC9 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:23:12] 685*2^1521119-1 is not prime. Res64: A412FB72DD1F8F7D Time : 0.0 sec. user=mdettweiler [2018-08-12 16:23:12] 735*2^1521119-1 is not prime. Res64: 36F39EBA93842231 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:23:13] 741*2^1521119-1 is not prime. Res64: D213B0EDD7106B35 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:23:13] 753*2^1521119-1 is not prime. Res64: 381F534B46B5E6A0 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:23:14] 895*2^1521119-1 is not prime. Res64: 3A179BF3AEEE272F Time : 0.0 sec. user=mdettweiler [2018-08-12 16:34:34] 629*2^1521120-1 is not prime. Res64: 2AEFC0B304CE5BBA Time : 0.0 sec. user=mdettweiler [2018-08-12 16:34:34] 695*2^1521120-1 is not prime. Res64: AD543941E1BAAC2E Time : 0.0 sec. user=mdettweiler [2018-08-12 16:34:35] 803*2^1521120-1 is not prime. Res64: B1AB313004308B9D Time : 0.0 sec. user=mdettweiler [2018-08-12 16:34:35] 887*2^1521120-1 is not prime. Res64: A6CA4450E724E6D4 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:34:35] 927*2^1521120-1 is not prime. Res64: FA90237DCE8A5F96 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:37:50] 817*2^1521121-1 is not prime. Res64: C86318363275D72F Time : 0.0 sec. user=mdettweiler [2018-08-12 16:37:50] 829*2^1521121-1 is not prime. Res64: CA3B9DF98758BED6 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:37:50] 861*2^1521121-1 is not prime. Res64: 42422E87F605DC5C Time : 0.0 sec. user=mdettweiler [2018-08-12 16:37:51] 895*2^1521121-1 is not prime. Res64: C1364E8EE2A9A271 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:37:51] 603*2^1521122-1 is not prime. Res64: 87BDF29AB9A66517 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:42:02] 657*2^1521122-1 is not prime. Res64: C6C45A17FD4D09E3 Time : 0.0 sec. user=mdettweiler [2018-08-12 16:42:03] 741*2^1521122-1 is not prime. Res64: 0296A20D2239BB0D Time : 0.0 sec. user=mdettweiler [2018-08-12 16:42:03] 771*2^1521122-1 is not prime. Res64: 49E3EC04544066EA Time : 0.0 sec. user=mdettweiler [2018-08-12 16:42:03] 785*2^1521122-1 is not prime. Res64: 291A104FBD0F631F Time : 0.0 sec. user=mdettweiler [2018-08-12 16:42:04] 815*2^1521122-1 is not prime. Res64: D239380D315D1186 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:14:06] 887*2^1521122-1 is not prime. Res64: E7A2FB4DB84F3B39 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:14:07] 995*2^1521122-1 is not prime. Res64: 1E8E164DE49E2B3F Time : 0.0 sec. user=mdettweiler [2018-08-12 17:14:07] 609*2^1521123-1 is not prime. Res64: 4887E2B9B274AACF Time : 0.0 sec. user=mdettweiler [2018-08-12 17:14:08] 675*2^1521123-1 is not prime. Res64: 8D2C1FF0444C3A16 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:14:08] 735*2^1521123-1 is not prime. Res64: DC9B9E3FEA169F90 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:25:28] 765*2^1521123-1 is not prime. Res64: B6072019EEB0E222 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:25:28] 859*2^1521123-1 is not prime. Res64: 44DC0BEDF4DBA73A Time : 0.0 sec. user=mdettweiler [2018-08-12 17:25:29] 919*2^1521123-1 is not prime. Res64: 1DBE113E6D9CC677 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:25:29] 943*2^1521123-1 is not prime. Res64: 2EF28B2D9B2B48AD Time : 0.0 sec. user=mdettweiler [2018-08-12 17:25:30] 617*2^1521124-1 is not prime. Res64: 0B4F79031CF85193 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:28:56] 623*2^1521124-1 is not prime. Res64: 213C64E8FC7A5924 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:28:56] 675*2^1521124-1 is not prime. Res64: 57372659C4627109 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:28:57] 693*2^1521124-1 is not prime. Res64: C70ABBFFD90DDCFE Time : 0.0 sec. user=mdettweiler [2018-08-12 17:28:57] 827*2^1521124-1 is not prime. Res64: 976E6CA755A7B967 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:28:58] 863*2^1521124-1 is not prime. Res64: DF79BCBB81C23260 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:32:47] 899*2^1521124-1 is not prime. Res64: F06641343018CAA1 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:32:47] 729*2^1521125-1 is not prime. Res64: DAC0E3B13B7A27F0 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:32:48] 915*2^1521125-1 is not prime. Res64: 03ABB57597DB499A Time : 0.0 sec. user=mdettweiler [2018-08-12 17:32:48] 925*2^1521125-1 is not prime. Res64: 977C0CFBD5C35931 Time : 0.0 sec. user=mdettweiler [2018-08-12 17:32:49] 777*2^1521126-1 is not prime. Res64: 552EABEF1353B02E Time : 0.0 sec. user=mdettweiler [2018-08-12 18:05:04] 833*2^1521126-1 is not prime. Res64: E27FA7DDD6DA6D62 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:05:05] 891*2^1521126-1 is not prime. Res64: 959AA218387B04B0 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:05:06] 603*2^1521127-1 is not prime. Res64: C7DB3ADC450D768A Time : 0.0 sec. user=mdettweiler [2018-08-12 18:05:07] 619*2^1521127-1 is not prime. Res64: E4CAC1C2BE94BB32 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:05:08] 673*2^1521127-1 is not prime. Res64: BAF0A318C5C64A28 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:16:12] 715*2^1521127-1 is not prime. Res64: B8A2E85DD79D0B11 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:16:12] 765*2^1521127-1 is not prime. Res64: 986B72DB3685895D Time : 0.0 sec. user=mdettweiler [2018-08-12 18:16:13] 859*2^1521127-1 is not prime. Res64: 5BE640937F28B330 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:16:13] 623*2^1521128-1 is not prime. Res64: 566C4DE61A5B86BE Time : 0.0 sec. user=mdettweiler [2018-08-12 18:16:13] 629*2^1521128-1 is not prime. Res64: 290384164673CDF7 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:19:47] 669*2^1521128-1 is not prime. Res64: 66F30C9A384F048A Time : 0.0 sec. user=mdettweiler [2018-08-12 18:19:48] 735*2^1521128-1 is not prime. Res64: 5C02125AA6CB3896 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:19:48] 869*2^1521128-1 is not prime. Res64: E878943B09A5FBF7 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:19:49] 935*2^1521128-1 is not prime. Res64: 54B6444F31B3EEF4 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:19:49] 945*2^1521128-1 is not prime. Res64: 22747207CE3FCBC6 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:23:19] 609*2^1521129-1 is not prime. Res64: 352943FBCA97AE9D Time : 0.0 sec. user=mdettweiler [2018-08-12 18:23:19] 625*2^1521129-1 is not prime. Res64: 613BFCCBBD542127 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:23:20] 637*2^1521129-1 is not prime. Res64: 43E8C42F5807A136 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:23:20] 681*2^1521129-1 is not prime. Res64: 69427A07E1C5930F Time : 0.0 sec. user=mdettweiler [2018-08-12 18:23:21] 727*2^1521129-1 is not prime. Res64: 857B2713A52DFB86 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:56:43] 861*2^1521129-1 is not prime. Res64: 8CA71209B518FE39 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:56:44] 951*2^1521129-1 is not prime. Res64: 0827F1B3122D46F2 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:56:44] 605*2^1521130-1 is not prime. Res64: 8B61EDC1802D1C5F Time : 0.0 sec. user=mdettweiler [2018-08-12 18:56:44] 681*2^1521130-1 is not prime. Res64: 7869D850B9D6F894 Time : 0.0 sec. user=mdettweiler [2018-08-12 18:56:45] 821*2^1521130-1 is not prime. Res64: AA529EFEAD378C71 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:06:55] 885*2^1521130-1 is not prime. Res64: 6C243BB4F214A3D9 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:06:57] 917*2^1521130-1 is not prime. Res64: E0767AA515C916B4 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:06:58] 933*2^1521130-1 is not prime. Res64: FBDF5CF4726AF7B0 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:06:59] 951*2^1521130-1 is not prime. Res64: 7E576E073DFB9404 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:07:00] 619*2^1521131-1 is not prime. Res64: 3F6F178A7756B5DB Time : 0.0 sec. user=mdettweiler [2018-08-12 19:10:30] 949*2^1521131-1 is not prime. Res64: F7214FB54DC18B89 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:10:31] 633*2^1521132-1 is not prime. Res64: D2A1D85CF635D8EA Time : 0.0 sec. user=mdettweiler [2018-08-12 19:10:31] 719*2^1521132-1 is not prime. Res64: 9D676AD3F76C97EB Time : 0.0 sec. user=mdettweiler [2018-08-12 19:10:32] 779*2^1521132-1 is not prime. Res64: 1B9DA7BEA06C8B9D Time : 0.0 sec. user=mdettweiler [2018-08-12 19:10:32] 873*2^1521132-1 is not prime. Res64: 32F5A35AB453835E Time : 0.0 sec. user=mdettweiler [2018-08-12 19:14:26] 649*2^1521133-1 is not prime. Res64: F412F595607C8B6C Time : 0.0 sec. user=mdettweiler [2018-08-12 19:14:27] 831*2^1521133-1 is not prime. Res64: 71A2E5C3D2765347 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:14:27] 915*2^1521133-1 is not prime. Res64: BBD7BB314D650676 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:14:27] 919*2^1521133-1 is not prime. Res64: A20BA4F8DB4F6D7E Time : 0.0 sec. user=mdettweiler [2018-08-12 19:14:28] 951*2^1521133-1 is not prime. Res64: B9F5834312A7DEBF Time : 0.0 sec. user=mdettweiler [2018-08-12 19:47:56] 955*2^1521133-1 is not prime. Res64: F650049C4D70554C Time : 0.0 sec. user=mdettweiler [2018-08-12 19:47:56] 605*2^1521134-1 is not prime. Res64: F0F8BBA413F3D5B1 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:47:56] 731*2^1521134-1 is not prime. Res64: 7DA4C6E366D0ADC2 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:47:57] 753*2^1521134-1 is not prime. Res64: 077E808EBAE154DB Time : 0.0 sec. user=mdettweiler [2018-08-12 19:47:57] 897*2^1521134-1 is not prime. Res64: 444C3AF07DB492B6 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:58:06] 917*2^1521134-1 is not prime. Res64: F0E09DD5EDAC2FAC Time : 0.0 sec. user=mdettweiler [2018-08-12 19:58:06] 941*2^1521134-1 is not prime. Res64: BC6797163CC9E4EB Time : 0.0 sec. user=mdettweiler [2018-08-12 19:58:07] 983*2^1521134-1 is not prime. Res64: E9AAAF03BCBC8133 Time : 0.0 sec. user=mdettweiler [2018-08-12 19:58:07] 625*2^1521135-1 is not prime. Res64: B49297EC0A0D874E Time : 0.0 sec. user=mdettweiler [2018-08-12 19:58:08] 679*2^1521135-1 is not prime. Res64: 1CB655720066FE17 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:01:34] 781*2^1521135-1 is not prime. Res64: ED2A0C9ACB637944 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:01:35] 823*2^1521135-1 is not prime. Res64: F7FDA6E11307F94E Time : 0.0 sec. user=mdettweiler [2018-08-12 20:01:36] 913*2^1521135-1 is not prime. Res64: E2EFF5A407731D59 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:01:37] 639*2^1521136-1 is not prime. Res64: 520CE52E8727A187 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:01:38] 723*2^1521136-1 is not prime. Res64: C8F0239A48A78021 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:06:01] 743*2^1521136-1 is not prime. Res64: 76140D629B8E307D Time : 0.0 sec. user=mdettweiler [2018-08-12 20:06:02] 785*2^1521136-1 is not prime. Res64: 456EA7D21F306A2D Time : 0.0 sec. user=mdettweiler [2018-08-12 20:06:03] 839*2^1521136-1 is not prime. Res64: 212180A1B44BABDE Time : 0.0 sec. user=mdettweiler [2018-08-12 20:06:04] 875*2^1521136-1 is not prime. Res64: EF1DB319E952565B Time : 0.0 sec. user=mdettweiler [2018-08-12 20:06:05] 905*2^1521136-1 is not prime. Res64: 1721F510402A3A44 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:39:17] 927*2^1521136-1 is not prime. Res64: 89E2B1153CFECC68 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:39:17] 933*2^1521136-1 is not prime. Res64: 0E31E81646D0C1D9 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:39:18] 645*2^1521137-1 is not prime. Res64: 8A6DACA8FD5D5E73 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:39:18] 649*2^1521137-1 is not prime. Res64: 4468FD90EF5B84BC Time : 0.0 sec. user=mdettweiler [2018-08-12 20:39:18] 727*2^1521137-1 is not prime. Res64: ED68D4B92481731A Time : 0.0 sec. user=mdettweiler [2018-08-12 20:49:26] 729*2^1521137-1 is not prime. Res64: 3AF708841970FBD1 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:49:27] 777*2^1521137-1 is not prime. Res64: F31DE9D7AFABB5DE Time : 0.0 sec. user=mdettweiler [2018-08-12 20:49:27] 841*2^1521137-1 is not prime. Res64: 0A22C0C6F39C545D Time : 0.0 sec. user=mdettweiler [2018-08-12 20:49:28] 847*2^1521137-1 is not prime. Res64: 6234319F28851F06 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:49:28] 871*2^1521137-1 is not prime. Res64: B945BDB1B5856FE2 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:52:52] 967*2^1521137-1 is not prime. Res64: 70592A73F9534294 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:52:53] 981*2^1521137-1 is not prime. Res64: 864D6BE0E5587659 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:52:53] 683*2^1521138-1 is not prime. Res64: 04BDB3C805A16EBC Time : 0.0 sec. user=mdettweiler [2018-08-12 20:52:53] 777*2^1521138-1 is not prime. Res64: 02890CEDA1362A72 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:52:54] 887*2^1521138-1 is not prime. Res64: 8FC89763C99A768F Time : 0.0 sec. user=mdettweiler [2018-08-12 20:57:28] 933*2^1521138-1 is not prime. Res64: 44444395779FBFF8 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:57:28] 951*2^1521138-1 is not prime. Res64: DDA536BEFF4967D0 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:57:29] 977*2^1521138-1 is not prime. Res64: 9357D0490D7CD35C Time : 0.0 sec. user=mdettweiler [2018-08-12 20:57:29] 993*2^1521138-1 is not prime. Res64: 73741555DFF3EE35 Time : 0.0 sec. user=mdettweiler [2018-08-12 20:57:29] 619*2^1521139-1 is not prime. Res64: D15F5353AF2AAC0C Time : 0.0 sec. user=mdettweiler [2018-08-12 21:30:19] 631*2^1521139-1 is not prime. Res64: 37B8120B198D084C Time : 0.0 sec. user=mdettweiler [2018-08-12 21:30:19] 645*2^1521139-1 is not prime. Res64: E7644FF0474DF264 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:30:20] 681*2^1521139-1 is not prime. Res64: 080BDB8C7CAC4D6E Time : 0.0 sec. user=mdettweiler [2018-08-12 21:30:20] 765*2^1521139-1 is not prime. Res64: F3D2C342AC296A0C Time : 0.0 sec. user=mdettweiler [2018-08-12 21:30:20] 961*2^1521139-1 is not prime. Res64: 43E1A2BFC84B799B Time : 0.0 sec. user=mdettweiler [2018-08-12 21:40:18] 973*2^1521139-1 is not prime. Res64: 72B75A78702D0CA0 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:40:18] 999*2^1521139-1 is not prime. Res64: 2050D059C05D4B94 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:40:19] 845*2^1521140-1 is not prime. Res64: 382D7B86292CACEA Time : 0.0 sec. user=mdettweiler [2018-08-12 21:40:19] 945*2^1521140-1 is not prime. Res64: C616064BBEF067B7 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:40:19] 983*2^1521140-1 is not prime. Res64: 63259D76515B6595 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:43:40] 751*2^1521141-1 is not prime. Res64: F81922B50EB83EAB Time : 0.0 sec. user=mdettweiler [2018-08-12 21:43:40] 921*2^1521141-1 is not prime. Res64: 5727AA4E3C2FA7D6 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:43:40] 927*2^1521141-1 is not prime. Res64: CF30584260CD2723 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:43:41] 951*2^1521141-1 is not prime. Res64: C98B838B088D1840 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:43:41] 969*2^1521141-1 is not prime. Res64: 207BC66425A1D101 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:48:27] 999*2^1521141-1 is not prime. Res64: 842DCB1C5E2F282B Time : 0.0 sec. user=mdettweiler [2018-08-12 21:48:27] 635*2^1521142-1 is not prime. Res64: D6A33F1A550B52CB Time : 0.0 sec. user=mdettweiler [2018-08-12 21:48:27] 651*2^1521142-1 is not prime. Res64: 9A7AA2C83595375F Time : 0.0 sec. user=mdettweiler [2018-08-12 21:48:28] 681*2^1521142-1 is not prime. Res64: 5BEFB41C43350ED3 Time : 0.0 sec. user=mdettweiler [2018-08-12 21:48:28] 717*2^1521142-1 is not prime. Res64: 5012E6F7C49ACDA0 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:21:16] 815*2^1521142-1 is not prime. Res64: 64AB2E9B43415D1D Time : 0.0 sec. user=mdettweiler [2018-08-12 22:21:17] 827*2^1521142-1 is not prime. Res64: 21B9FB22A43F4AEA Time : 0.0 sec. user=mdettweiler [2018-08-12 22:21:17] 831*2^1521142-1 is not prime. Res64: E234184E9D59E16C Time : 0.0 sec. user=mdettweiler [2018-08-12 22:21:18] 887*2^1521142-1 is not prime. Res64: 8194BFC41F586130 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:21:18] 915*2^1521142-1 is not prime. Res64: BA6A124B14BDF944 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:31:14] 951*2^1521142-1 is not prime. Res64: CA5359704F9DEF9A Time : 0.0 sec. user=mdettweiler [2018-08-12 22:31:15] 603*2^1521143-1 is not prime. Res64: 89350EAF3C9178CA Time : 0.0 sec. user=mdettweiler [2018-08-12 22:31:15] 619*2^1521143-1 is not prime. Res64: C3CB41C19A6099F0 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:31:15] 703*2^1521143-1 is not prime. Res64: 68B9E2007BAFD8B8 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:31:16] 763*2^1521143-1 is not prime. Res64: 39251D3B544A1BF5 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:34:38] 969*2^1521143-1 is not prime. Res64: 5D22F383BB0426DA Time : 0.0 sec. user=mdettweiler [2018-08-12 22:34:38] 981*2^1521143-1 is not prime. Res64: F17E99E126F159C3 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:34:39] 985*2^1521143-1 is not prime. Res64: 0FB4E9E30F920AAF Time : 0.0 sec. user=mdettweiler [2018-08-12 22:34:39] 999*2^1521143-1 is not prime. Res64: B3769DB7EF991B1D Time : 0.0 sec. user=mdettweiler [2018-08-12 22:34:40] 683*2^1521144-1 is not prime. Res64: F56C85ED5D46F95B Time : 0.0 sec. user=mdettweiler [2018-08-12 22:39:18] 737*2^1521144-1 is not prime. Res64: ED721DD67572B1A7 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:39:19] 753*2^1521144-1 is not prime. Res64: 01381E6DA19F9A51 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:39:19] 849*2^1521144-1 is not prime. Res64: 337394CFEF6B2435 Time : 0.0 sec. user=mdettweiler [2018-08-12 22:39:20] 601*2^1521145-1 is not prime. Res64: 9AA56E63A245579A Time : 0.0 sec. user=mdettweiler [2018-08-12 22:39:20] 661*2^1521145-1 is not prime. Res64: E5D8611F2953750A Time : 0.0 sec. user=mdettweiler [2018-08-12 23:13:14] 667*2^1521145-1 is not prime. Res64: FDDF197A960D2E8E Time : 0.0 sec. user=mdettweiler [2018-08-12 23:13:15] 717*2^1521145-1 is not prime. Res64: C5C780707F8338E5 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:13:15] 925*2^1521145-1 is not prime. Res64: 1EEC503DC9727040 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:13:16] 635*2^1521146-1 is not prime. Res64: 7F9008222AF32204 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:13:16] 773*2^1521146-1 is not prime. Res64: 7FB2E7FE75C15C24 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:23:02] 769*2^1521147-1 is not prime. Res64: C7F9A3E08861F81A Time : 0.0 sec. user=mdettweiler [2018-08-12 23:23:02] 793*2^1521147-1 is not prime. Res64: 35B445FE9357B03F Time : 0.0 sec. user=mdettweiler [2018-08-12 23:23:02] 871*2^1521147-1 is not prime. Res64: 122BB58B1CABCD2B Time : 0.0 sec. user=mdettweiler [2018-08-12 23:23:03] 707*2^1521148-1 is not prime. Res64: 59C715D02F004445 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:23:03] 743*2^1521148-1 is not prime. Res64: 9245DD3765D7E778 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:26:26] 777*2^1521148-1 is not prime. Res64: FC49758860D86B84 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:26:26] 827*2^1521148-1 is not prime. Res64: B67CD0285145F05D Time : 0.0 sec. user=mdettweiler [2018-08-12 23:26:27] 855*2^1521148-1 is not prime. Res64: 2CD388838E41C88A Time : 0.0 sec. user=mdettweiler [2018-08-12 23:26:27] 875*2^1521148-1 is not prime. Res64: E7723612EAB07A15 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:26:27] 887*2^1521148-1 is not prime. Res64: 3B3D2845CCC5D255 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:31:17] 953*2^1521148-1 is not prime. Res64: 11A64CDA1BD70E36 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:31:17] 999*2^1521148-1 is not prime. Res64: C34A219999D6E649 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:31:18] 691*2^1521149-1 is not prime. Res64: 12E47E5D98B91E91 Time : 0.0 sec. user=mdettweiler [2018-08-12 23:31:18] 747*2^1521149-1 is not prime. Res64: 3B9932F6A25EEADD Time : 0.0 sec. user=mdettweiler [2018-08-12 23:31:18] 939*2^1521149-1 is not prime. Res64: 96331C7A4F2D0262 Time : 0.0 sec.