user=mdettweiler [2018-05-15 00:01:16] 787*2^1509749-1 is not prime. Res64: 6FEA59F532A309E9 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:01:16] 829*2^1509749-1 is not prime. Res64: 16B10EA83E21FEF2 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:01:17] 855*2^1509749-1 is not prime. Res64: DAD0D9494E93D411 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:01:17] 641*2^1509750-1 is not prime. Res64: B2AF2348CD068226 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:01:17] 717*2^1509750-1 is not prime. Res64: 5B19E481CAAA4847 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:08:08] 825*2^1509750-1 is not prime. Res64: DAC85D3DDC2114D0 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:08:11] 833*2^1509750-1 is not prime. Res64: D622076FE3C7A130 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:08:13] 965*2^1509750-1 is not prime. Res64: 7D51899F53687A19 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:08:16] 651*2^1509751-1 is not prime. Res64: D47EB7A9FEB29772 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:08:17] 723*2^1509751-1 is not prime. Res64: 4B476C83394457BC Time : 0.0 sec. user=mdettweiler [2018-05-15 00:41:19] 783*2^1509751-1 is not prime. Res64: 3385908E32BB354C Time : 0.0 sec. user=mdettweiler [2018-05-15 00:41:20] 925*2^1509751-1 is not prime. Res64: 908E2658922DAF3B Time : 0.0 sec. user=mdettweiler [2018-05-15 00:41:20] 669*2^1509752-1 is not prime. Res64: B9E04B47FB0D3229 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:41:21] 797*2^1509752-1 is not prime. Res64: 8640D79A90892E84 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:41:21] 945*2^1509752-1 is not prime. Res64: B713A4B19209FE6E Time : 0.0 sec. user=mdettweiler [2018-05-15 00:45:20] 963*2^1509752-1 is not prime. Res64: 44FD5E422A3E7800 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:45:20] 999*2^1509752-1 is not prime. Res64: 1F48AB5F35C0F837 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:45:21] 657*2^1509753-1 is not prime. Res64: A47335B14A942866 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:45:21] 789*2^1509753-1 is not prime. Res64: 755B0E845619F232 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:45:22] 805*2^1509753-1 is not prime. Res64: FF3F35000CCEE9B1 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:51:08] 819*2^1509753-1 is not prime. Res64: 7D9CA7EC114A6BD3 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:51:09] 651*2^1509754-1 is not prime. Res64: B9F14EF8803C8339 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:51:09] 677*2^1509754-1 is not prime. Res64: ED5953C47EC590E8 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:51:10] 695*2^1509754-1 is not prime. Res64: E30642BE80FC02C9 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:51:10] 791*2^1509754-1 is not prime. Res64: A347135846460773 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:59:38] 857*2^1509754-1 is not prime. Res64: 8E3EEA5706307A1E Time : 0.0 sec. user=mdettweiler [2018-05-15 00:59:39] 917*2^1509754-1 is not prime. Res64: 665B139CB7D0DAA1 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:59:39] 951*2^1509754-1 is not prime. Res64: 4DBCBB98F199989D Time : 0.0 sec. user=mdettweiler [2018-05-15 00:59:39] 643*2^1509755-1 is not prime. Res64: 60854DEAAC907303 Time : 0.0 sec. user=mdettweiler [2018-05-15 00:59:40] 705*2^1509755-1 is not prime. Res64: 7CEEF7A759345685 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:31:43] 759*2^1509755-1 is not prime. Res64: 07109C82995A51D7 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:31:45] 783*2^1509755-1 is not prime. Res64: 336B5015C1E98D80 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:31:47] 843*2^1509755-1 is not prime. Res64: 866B7E7D24F810D1 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:31:48] 861*2^1509755-1 is not prime. Res64: 4549ABD1102F1F26 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:31:49] 609*2^1509756-1 is not prime. Res64: 6838C6871ABFF5F1 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:35:00] 639*2^1509756-1 is not prime. Res64: 5B22398BBF2A13C1 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:35:01] 689*2^1509756-1 is not prime. Res64: E605F09B05C0B61C Time : 0.0 sec. user=mdettweiler [2018-05-15 01:35:02] 707*2^1509756-1 is not prime. Res64: 1BD5F81B92F60F67 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:35:02] 909*2^1509756-1 is not prime. Res64: C01CFCD23FBEF8AA Time : 0.0 sec. user=mdettweiler [2018-05-15 01:35:03] 607*2^1509757-1 is not prime. Res64: 9BDB88BE196C6602 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:41:33] 715*2^1509757-1 is not prime. Res64: 307D92B7D5103F91 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:41:34] 939*2^1509757-1 is not prime. Res64: 9451856A61CC5691 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:41:34] 955*2^1509757-1 is not prime. Res64: C26454DD30281088 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:41:35] 743*2^1509758-1 is not prime. Res64: B6DECA0DF13C6647 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:41:36] 753*2^1509758-1 is not prime. Res64: 1FFDB827B06F7723 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:50:21] 801*2^1509758-1 is not prime. Res64: A8944D97BC567446 Time : 0.0 sec. user=mdettweiler [2018-05-15 01:50:22] 825*2^1509758-1 is not prime. Res64: 67BB7AA7F04A05DF Time : 0.0 sec. user=mdettweiler [2018-05-15 01:50:23] 831*2^1509758-1 is not prime. Res64: CA1BABCCB89584AA Time : 0.0 sec. user=mdettweiler [2018-05-15 01:50:23] 897*2^1509758-1 is not prime. Res64: 09F0DE8FCF0FFCFC Time : 0.0 sec. user=mdettweiler [2018-05-15 01:50:24] 921*2^1509758-1 is not prime. Res64: 5ACECECA020302CE Time : 0.0 sec. user=mdettweiler [2018-05-15 02:23:11] 953*2^1509758-1 is not prime. Res64: AAE9857BC4881845 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:23:11] 963*2^1509758-1 is not prime. Res64: 372C7A3C03B9F513 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:23:12] 1001*2^1509758-1 is not prime. Res64: CD1B75377BD83335 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:23:12] 709*2^1509759-1 is not prime. Res64: D6B94A6A6A2DE316 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:23:13] 741*2^1509759-1 is not prime. Res64: 9995BB28876D1391 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:25:51] 751*2^1509759-1 is not prime. Res64: EDE9FF5611A074B1 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:25:52] 913*2^1509759-1 is not prime. Res64: 140BA7C2B0226E63 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:25:53] 921*2^1509759-1 is not prime. Res64: AF6117EC84D701C2 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:25:53] 933*2^1509759-1 is not prime. Res64: 7662E3B1513B64F5 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:25:54] 985*2^1509759-1 is not prime. Res64: DD3796572DDF59F0 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:31:43] 707*2^1509760-1 is not prime. Res64: 6700F82FDB04BE10 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:31:43] 983*2^1509760-1 is not prime. Res64: EC4C9615F2462B8E Time : 0.0 sec. user=mdettweiler [2018-05-15 02:31:44] 631*2^1509761-1 is not prime. Res64: 84D9EF8C80EDA50C Time : 0.0 sec. user=mdettweiler [2018-05-15 02:31:44] 637*2^1509761-1 is not prime. Res64: C3AE7B99DA7256EB Time : 0.0 sec. user=mdettweiler [2018-05-15 02:31:45] 805*2^1509761-1 is not prime. Res64: 1DBF45975252DDD1 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:40:59] 819*2^1509761-1 is not prime. Res64: B1785EB54D2A723D Time : 0.0 sec. user=mdettweiler [2018-05-15 02:41:00] 797*2^1509762-1 is not prime. Res64: A92ACC8A509F4B53 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:41:03] 807*2^1509762-1 is not prime. Res64: 2E349BF81A5E0FF8 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:41:09] 821*2^1509762-1 is not prime. Res64: 465FA63D648B0213 Time : 0.0 sec. user=mdettweiler [2018-05-15 02:41:09] 885*2^1509762-1 is not prime. Res64: 2597F6BBA3365090 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:13:02] 633*2^1509763-1 is not prime. Res64: 1D85F3C799655C3D Time : 0.0 sec. user=mdettweiler [2018-05-15 03:13:03] 639*2^1509763-1 is not prime. Res64: CB317065AA8E40D7 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:13:03] 675*2^1509763-1 is not prime. Res64: 08414F513E6B1665 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:13:04] 679*2^1509763-1 is not prime. Res64: ED6E8A651C03808B Time : 0.0 sec. user=mdettweiler [2018-05-15 03:13:04] 681*2^1509763-1 is not prime. Res64: 80ABCFD40D323B60 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:17:17] 705*2^1509763-1 is not prime. Res64: D7975F940C092024 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:17:17] 775*2^1509763-1 is not prime. Res64: 0DB13E52B9918D9F Time : 0.0 sec. user=mdettweiler [2018-05-15 03:17:18] 885*2^1509763-1 is not prime. Res64: 6F83FA769385F943 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:17:18] 945*2^1509763-1 is not prime. Res64: E3AD4DA92EAC143A Time : 0.0 sec. user=mdettweiler [2018-05-15 03:17:19] 725*2^1509764-1 is not prime. Res64: 44BF82171D2613E1 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:22:49] 825*2^1509764-1 is not prime. Res64: 3D625BFE27E8F32F Time : 0.0 sec. user=mdettweiler [2018-05-15 03:22:50] 869*2^1509764-1 is not prime. Res64: F8E400A28A6A842B Time : 0.0 sec. user=mdettweiler [2018-05-15 03:22:50] 915*2^1509764-1 is not prime. Res64: 7D461D003079AA09 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:22:51] 929*2^1509764-1 is not prime. Res64: 8195C171E164B58D Time : 0.0 sec. user=mdettweiler [2018-05-15 03:22:51] 627*2^1509765-1 is not prime. Res64: E31396A97CFB5DD3 Time : 0.0 sec. user=mdettweiler [2018-05-15 03:31:54] 759*2^1509765-1 is not prime. Res64: 185DB72EB7062BDE Time : 0.0 sec. user=mdettweiler [2018-05-15 03:31:59] 617*2^1509766-1 is not prime. Res64: 972D1188715F1CEB Time : 0.0 sec. user=mdettweiler [2018-05-15 03:32:01] 635*2^1509766-1 is not prime. Res64: 01FB611304CB0DEC Time : 0.0 sec. user=mdettweiler [2018-05-15 03:32:17] 645*2^1509766-1 is not prime. Res64: 9A4932EB957995CC Time : 0.0 sec. user=mdettweiler [2018-05-15 04:03:07] 947*2^1509766-1 is not prime. Res64: 522DB5292E21B585 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:03:11] 609*2^1509767-1 is not prime. Res64: 8B8B47131BE8E10F Time : 0.0 sec. user=mdettweiler [2018-05-15 04:03:12] 669*2^1509767-1 is not prime. Res64: 3963F7102A726650 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:03:14] 673*2^1509767-1 is not prime. Res64: 26D134D1A3995EBB Time : 0.0 sec. user=mdettweiler [2018-05-15 04:03:17] 885*2^1509767-1 is not prime. Res64: 0C19144BF8A678ED Time : 0.0 sec. user=mdettweiler [2018-05-15 04:07:33] 963*2^1509767-1 is not prime. Res64: 96486E2EE9C68E03 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:07:35] 695*2^1509768-1 is not prime. Res64: 5E4F280E2637DEA2 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:07:37] 803*2^1509768-1 is not prime. Res64: 3859BEE6FC358DE9 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:07:39] 649*2^1509769-1 is not prime. Res64: 4A11952A0B29EE3E Time : 0.0 sec. user=mdettweiler [2018-05-15 04:07:41] 661*2^1509769-1 is not prime. Res64: 52E64754AA98E8D1 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:13:44] 679*2^1509769-1 is not prime. Res64: 72528469CFBEFB85 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:13:49] 705*2^1509769-1 is not prime. Res64: 76146F6167AAD7BE Time : 0.0 sec. user=mdettweiler [2018-05-15 04:13:53] 919*2^1509769-1 is not prime. Res64: 961F019259610D7D Time : 0.0 sec. user=mdettweiler [2018-05-15 04:13:56] 931*2^1509769-1 is not prime. Res64: 9D233B95599B92FB Time : 0.0 sec. user=mdettweiler [2018-05-15 04:13:59] 967*2^1509769-1 is not prime. Res64: C4932A3AD6DFD98D Time : 0.0 sec. user=mdettweiler [2018-05-15 04:55:54] 615*2^1509770-1 is not prime. Res64: B28B25D2001DC971 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:55:54] 713*2^1509770-1 is not prime. Res64: 3909DA4F8DA97D75 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:55:55] 893*2^1509770-1 is not prime. Res64: 0BAF58BECCA8A6C6 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:55:55] 951*2^1509770-1 is not prime. Res64: 17F80A2D7A565992 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:55:56] 957*2^1509770-1 is not prime. Res64: 947C42B642C523B6 Time : 0.0 sec. user=mdettweiler [2018-05-15 04:59:06] 609*2^1509771-1 is not prime. Res64: 2C4A8E0BE8A87B9E Time : 0.0 sec. user=mdettweiler [2018-05-15 04:59:07] 613*2^1509771-1 is not prime. Res64: A97069101576E19F Time : 0.0 sec. user=mdettweiler [2018-05-15 04:59:07] 973*2^1509771-1 is not prime. Res64: 8CDC47E9EA34966B Time : 0.0 sec. user=mdettweiler [2018-05-15 04:59:08] 975*2^1509771-1 is not prime. Res64: FEB9BAEBEB1375FD Time : 0.0 sec. user=mdettweiler [2018-05-15 04:59:09] 615*2^1509772-1 is not prime. Res64: 0DC59B6D55F64878 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:05:37] 629*2^1509772-1 is not prime. Res64: 45851C8A78E1EC01 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:05:39] 657*2^1509772-1 is not prime. Res64: 5FCDED8142E24B8F Time : 0.0 sec. user=mdettweiler [2018-05-15 05:05:40] 755*2^1509772-1 is not prime. Res64: E669813481EE008F Time : 0.0 sec. user=mdettweiler [2018-05-15 05:05:41] 819*2^1509772-1 is not prime. Res64: 25BDDBDD4E5C6CD9 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:05:43] 825*2^1509772-1 is not prime. Res64: C292AE5100EA24E4 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:47:26] 869*2^1509772-1 is not prime. Res64: 972AB8A2251FC1C5 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:47:27] 915*2^1509772-1 is not prime. Res64: FAF73F95491D99E7 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:47:27] 923*2^1509772-1 is not prime. Res64: 2AD3E34D263E943E Time : 0.0 sec. user=mdettweiler [2018-05-15 05:47:28] 959*2^1509772-1 is not prime. Res64: ECB3166A08A63731 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:47:28] 995*2^1509772-1 is not prime. Res64: AD6526C93BD1653B Time : 0.0 sec. user=mdettweiler [2018-05-15 05:50:33] 669*2^1509773-1 is not prime. Res64: 0C3361E8D422A42F Time : 0.0 sec. user=mdettweiler [2018-05-15 05:50:34] 805*2^1509773-1 is not prime. Res64: 5ECE40985A83E728 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:50:34] 867*2^1509773-1 is not prime. Res64: 82D12F1C7980C1F7 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:50:35] 981*2^1509773-1 is not prime. Res64: 3CE6C0AC62A5EEA7 Time : 0.0 sec. user=mdettweiler [2018-05-15 05:50:35] 707*2^1509774-1 is not prime. Res64: A2BB91D005424ED1 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:01:10] 737*2^1509774-1 is not prime. Res64: 2C3CC133F16C8C64 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:01:11] 773*2^1509774-1 is not prime. Res64: 9A89CEB22F69113A Time : 0.0 sec. user=mdettweiler [2018-05-15 06:01:12] 783*2^1509774-1 is not prime. Res64: 3B91D1196A4A00F3 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:01:13] 795*2^1509774-1 is not prime. Res64: 90767AD4B211474E Time : 0.0 sec. user=mdettweiler [2018-05-15 06:01:14] 851*2^1509774-1 is not prime. Res64: 5A049F149EA1E299 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:29] 603*2^1509776-1 is not prime. Res64: 9C6B71079E7EF048 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:30] 675*2^1509776-1 is not prime. Res64: 6ED25E89A5C631D7 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:30] 839*2^1509776-1 is not prime. Res64: 467BE1E6068FEE0A Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:31] 845*2^1509776-1 is not prime. Res64: 947B2A72D6BD80A7 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:31] 983*2^1509776-1 is not prime. Res64: F8C8EC68AB5C8768 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:57] 751*2^1509775-1 is not prime. Res64: 771B68CBCB5D52D2 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:58] 763*2^1509775-1 is not prime. Res64: 4CC89614E96B17E0 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:58] 793*2^1509775-1 is not prime. Res64: F3958C1FC43D50CD Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:59] 859*2^1509775-1 is not prime. Res64: FB9384771CC6BD64 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:42:59] 939*2^1509775-1 is not prime. Res64: C373379F9D00DA24 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:54:31] 727*2^1509777-1 is not prime. Res64: 876D0857C7AD4CA8 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:54:32] 741*2^1509777-1 is not prime. Res64: 5FE086AA20AAE39A Time : 0.0 sec. user=mdettweiler [2018-05-15 06:54:32] 817*2^1509777-1 is not prime. Res64: 7E720D6CD706CC16 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:54:32] 819*2^1509777-1 is not prime. Res64: 05DC44B972465D8D Time : 0.0 sec. user=mdettweiler [2018-05-15 06:54:33] 901*2^1509777-1 is not prime. Res64: 31EACFC1E41639E6 Time : 0.0 sec. user=mdettweiler [2018-05-15 06:55:55] 945*2^1509766-1 is not prime. Res64: 8B3EC794C898E6C7 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:35:56] 919*2^1509777-1 is not prime. Res64: 3E9B136E9512EEFE Time : 0.0 sec. user=mdettweiler [2018-05-15 07:35:56] 945*2^1509777-1 is not prime. Res64: 40C1C2CF74C67FDE Time : 0.0 sec. user=mdettweiler [2018-05-15 07:35:56] 979*2^1509777-1 is not prime. Res64: 4DCC9D9741E76929 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:35:57] 997*2^1509777-1 is not prime. Res64: 38CCBB08802F85AE Time : 0.0 sec. user=mdettweiler [2018-05-15 07:35:57] 663*2^1509778-1 is not prime. Res64: 6E99E17129B364C7 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:37:40] 687*2^1509778-1 is not prime. Res64: 1B4365AD06DB7BC9 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:37:41] 831*2^1509778-1 is not prime. Res64: E6C3E7F94A2842DA Time : 0.0 sec. user=mdettweiler [2018-05-15 07:37:41] 1001*2^1509778-1 is not prime. Res64: FB6CA48EA05481A5 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:37:42] 703*2^1509779-1 is not prime. Res64: 368A3C93469D35A3 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:37:42] 711*2^1509779-1 is not prime. Res64: 4C759EAD89E083CA Time : 0.0 sec. user=mdettweiler [2018-05-15 07:45:35] 745*2^1509779-1 is not prime. Res64: C6588466082E28FF Time : 0.0 sec. user=mdettweiler [2018-05-15 07:45:35] 759*2^1509779-1 is not prime. Res64: F5F7DC078BA4C498 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:45:36] 895*2^1509779-1 is not prime. Res64: 62AEDD2C62800335 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:45:37] 669*2^1509780-1 is not prime. Res64: AFE5F3316B0A4DCB Time : 0.0 sec. user=mdettweiler [2018-05-15 07:45:37] 777*2^1509780-1 is not prime. Res64: 21CBE844918BD8C7 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:46:52] 779*2^1509780-1 is not prime. Res64: 4F8E3D21F91C00F4 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:46:53] 875*2^1509780-1 is not prime. Res64: BCC3A1DC3471A01E Time : 0.0 sec. user=mdettweiler [2018-05-15 07:46:53] 879*2^1509780-1 is not prime. Res64: E1E301EB8ECE5B54 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:46:54] 887*2^1509780-1 is not prime. Res64: AF298908F07279F4 Time : 0.0 sec. user=mdettweiler [2018-05-15 07:46:54] 927*2^1509780-1 is not prime. Res64: 7C7F09BCEF2700AB Time : 0.0 sec. user=mdettweiler [2018-05-15 08:25:38] 975*2^1509780-1 is not prime. Res64: 6912E1DCEA9252D5 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:25:39] 607*2^1509781-1 is not prime. Res64: E1BD5642A3D9C1C3 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:25:39] 801*2^1509781-1 is not prime. Res64: B4CE62454253684D Time : 0.0 sec. user=mdettweiler [2018-05-15 08:25:40] 635*2^1509782-1 is not prime. Res64: 2D5FA6B44137BB21 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:25:41] 665*2^1509782-1 is not prime. Res64: 9DCB603FA9061756 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:27:46] 705*2^1509782-1 is not prime. Res64: C035AA2DECA65789 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:27:46] 893*2^1509782-1 is not prime. Res64: 0845B4A082FB6F3C Time : 0.0 sec. user=mdettweiler [2018-05-15 08:27:47] 951*2^1509782-1 is not prime. Res64: A79E352A64E13DD8 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:27:47] 987*2^1509782-1 is not prime. Res64: 2471E6D92C564903 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:27:48] 615*2^1509783-1 is not prime. Res64: 596FC289ADD5D383 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:36:41] 619*2^1509783-1 is not prime. Res64: 02E616382A38E635 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:36:41] 739*2^1509783-1 is not prime. Res64: 717DBB50517F0F36 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:36:42] 741*2^1509783-1 is not prime. Res64: D4B5A158297CD90E Time : 0.0 sec. user=mdettweiler [2018-05-15 08:36:42] 933*2^1509783-1 is not prime. Res64: 7EFEE9B95ECF847E Time : 0.0 sec. user=mdettweiler [2018-05-15 08:36:43] 961*2^1509783-1 is not prime. Res64: E58F431F03B69AB8 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:37:16] 969*2^1509783-1 is not prime. Res64: 2DCC448B66F59D1D Time : 0.0 sec. user=mdettweiler [2018-05-15 08:37:16] 675*2^1509784-1 is not prime. Res64: C875D50847C870E2 Time : 0.0 sec. user=mdettweiler [2018-05-15 08:37:17] 903*2^1509784-1 is not prime. Res64: 69CA1DED58BAF4DF Time : 0.0 sec. user=mdettweiler [2018-05-15 08:37:17] 923*2^1509784-1 is not prime. Res64: 9ADB2C847C1502BA Time : 0.0 sec. user=mdettweiler [2018-05-15 08:37:18] 947*2^1509784-1 is not prime. Res64: 1D05BBD0C12E5E17 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:19:24] 965*2^1509784-1 is not prime. Res64: 697EF37726681141 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:19:25] 837*2^1509785-1 is not prime. Res64: DDDEDCA232D16E4D Time : 0.0 sec. user=mdettweiler [2018-05-15 09:19:25] 847*2^1509785-1 is not prime. Res64: B687BD4FA754A826 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:19:26] 937*2^1509785-1 is not prime. Res64: 9A727F1F307E3568 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:19:26] 981*2^1509785-1 is not prime. Res64: 92E7D93579426CE3 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:23:30] 985*2^1509785-1 is not prime. Res64: BFFA631299A33A67 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:23:30] 987*2^1509785-1 is not prime. Res64: D16ABC9F010EB65B Time : 0.0 sec. user=mdettweiler [2018-05-15 09:23:31] 707*2^1509786-1 is not prime. Res64: 7757B4558ED3DCB0 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:23:31] 777*2^1509786-1 is not prime. Res64: FB9AB89E3F28C0DA Time : 0.0 sec. user=mdettweiler [2018-05-15 09:23:32] 873*2^1509786-1 is not prime. Res64: A808114BD51A5082 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:28:44] 961*2^1509787-1 is not prime. Res64: A04CCE5554791D9F Time : 0.0 sec. user=mdettweiler [2018-05-15 09:28:44] 999*2^1509788-1 is not prime. Res64: 3D6DEA4C0324E8BC Time : 0.0 sec. user=mdettweiler [2018-05-15 09:28:44] 679*2^1509789-1 is not prime. Res64: 528DC5B536CD3053 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:28:45] 741*2^1509789-1 is not prime. Res64: 225D108A651FE130 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:28:45] 835*2^1509789-1 is not prime. Res64: BBBF333D5825CF16 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:29:30] 947*2^1509786-1 is not prime. Res64: 99BC22923167C8E6 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:29:31] 975*2^1509786-1 is not prime. Res64: CED12D5EEAB35A85 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:29:31] 983*2^1509786-1 is not prime. Res64: D1CE4D37C9A19BA6 Time : 0.0 sec. user=mdettweiler [2018-05-15 09:29:33] 1001*2^1509786-1 is not prime. Res64: 9C89788370F5DB8F Time : 0.0 sec. user=mdettweiler [2018-05-15 09:29:34] 849*2^1509787-1 is not prime. Res64: E062FF4257AC60AD Time : 0.0 sec. user=mdettweiler [2018-05-15 10:13:36] 865*2^1509789-1 is not prime. Res64: 462B5E5E9E068493 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:13:37] 921*2^1509789-1 is not prime. Res64: 8772C34E5F67EBED Time : 0.0 sec. user=mdettweiler [2018-05-15 10:13:37] 945*2^1509789-1 is not prime. Res64: 64515343B6D9A976 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:13:38] 999*2^1509789-1 is not prime. Res64: AF3E1DF7DB402287 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:13:38] 611*2^1509790-1 is not prime. Res64: D429E35ACF902202 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:14:21] 681*2^1509790-1 is not prime. Res64: 657D15FD9CB52B7F Time : 0.0 sec. user=mdettweiler [2018-05-15 10:14:21] 731*2^1509790-1 is not prime. Res64: E0F8B4A7925D576B Time : 0.0 sec. user=mdettweiler [2018-05-15 10:14:22] 741*2^1509790-1 is not prime. Res64: 8EFD807E9B60CEF2 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:14:22] 777*2^1509790-1 is not prime. Res64: 146A9084BF610580 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:14:23] 971*2^1509790-1 is not prime. Res64: 6F3D686CBAE30A7B Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:09] 987*2^1509790-1 is not prime. Res64: 96498715BD5B508C Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:09] 703*2^1509791-1 is not prime. Res64: DA79A884FCA74B4A Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:10] 843*2^1509791-1 is not prime. Res64: 0D0171C2B0A9AD56 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:10] 855*2^1509791-1 is not prime. Res64: 336169A651907B90 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:11] 623*2^1509792-1 is not prime. Res64: 4F14C3D7B040FBB6 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:37] 635*2^1509792-1 is not prime. Res64: AAD545E83F8594FE Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:38] 675*2^1509792-1 is not prime. Res64: 81222BFA79705DEF Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:38] 689*2^1509792-1 is not prime. Res64: F000819C0ADFCFCE Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:39] 779*2^1509792-1 is not prime. Res64: 83526C8D38A09A82 Time : 0.0 sec. user=mdettweiler [2018-05-15 10:19:39] 815*2^1509792-1 is not prime. Res64: CCA690A0BDB889F1 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:03:58] 849*2^1509792-1 is not prime. Res64: 761A109408237A83 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:00] 873*2^1509792-1 is not prime. Res64: A7650D4D6CAEADBF Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:02] 933*2^1509792-1 is not prime. Res64: 6829429A15F832E0 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:04] 637*2^1509793-1 is not prime. Res64: F588E4B8D1D9360E Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:05] 649*2^1509793-1 is not prime. Res64: CB65C0D193D1F884 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:39] 831*2^1509793-1 is not prime. Res64: 38F5A39E90FCF000 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:42] 847*2^1509793-1 is not prime. Res64: 8A244E370DF93F0F Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:44] 897*2^1509793-1 is not prime. Res64: 39801564A86B63C2 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:45] 937*2^1509793-1 is not prime. Res64: 15248C4FD2B7E430 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:04:46] 623*2^1509794-1 is not prime. Res64: 6BC6A18E15D767AB Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:22] 851*2^1509794-1 is not prime. Res64: 832E5762C5487AFD Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:23] 903*2^1509794-1 is not prime. Res64: 630B177D6C6BB484 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:23] 691*2^1509795-1 is not prime. Res64: 2F51A48E48988727 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:24] 709*2^1509795-1 is not prime. Res64: 16199462B1039C9E Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:24] 707*2^1509796-1 is not prime. Res64: 07CAB60C195905D8 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:38] 651*2^1509794-1 is not prime. Res64: 0BB64CFBFC6F51EA Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:38] 731*2^1509794-1 is not prime. Res64: 348BF4E29774F3DF Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:39] 747*2^1509794-1 is not prime. Res64: AF5F213FE2CAFE97 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:39] 753*2^1509794-1 is not prime. Res64: 8631B6F32FAC4C8B Time : 0.0 sec. user=mdettweiler [2018-05-15 11:10:39] 831*2^1509794-1 is not prime. Res64: E29FF81C1D82B376 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:54:48] 649*2^1509797-1 is not prime. Res64: 9EB50F2A889C2BB7 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:54:49] 675*2^1509797-1 is not prime. Res64: 971569749F4643FC Time : 0.0 sec. user=mdettweiler [2018-05-15 11:54:49] 699*2^1509797-1 is not prime. Res64: CF5D0CFB46034217 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:54:50] 727*2^1509797-1 is not prime. Res64: A50718DB97862A08 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:54:50] 829*2^1509797-1 is not prime. Res64: A2CB1F3C6C03F915 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:55:33] 847*2^1509797-1 is not prime. Res64: 085AFE49C44BE7B3 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:55:33] 861*2^1509797-1 is not prime. Res64: 14CE58A908830B39 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:55:34] 683*2^1509798-1 is not prime. Res64: 0698223932E4B261 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:55:34] 773*2^1509798-1 is not prime. Res64: 8A6505E9CEC61CC9 Time : 0.0 sec. user=mdettweiler [2018-05-15 11:55:35] 791*2^1509798-1 is not prime. Res64: 41E7D316445E3E3F Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:11] 815*2^1509798-1 is not prime. Res64: 3940049F296B7A3B Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:12] 927*2^1509798-1 is not prime. Res64: A3FF96718C823EA0 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:12] 963*2^1509798-1 is not prime. Res64: 39694756906FCD90 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:13] 765*2^1509799-1 is not prime. Res64: 88EE826AA53D3DA9 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:13] 793*2^1509799-1 is not prime. Res64: BAEDD3FE1A2B1153 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:27] 841*2^1509799-1 is not prime. Res64: 7F2985E4712E7099 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:27] 979*2^1509799-1 is not prime. Res64: B7F3428A19CDDB90 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:28] 999*2^1509799-1 is not prime. Res64: 20D4951DF9EF61B2 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:28] 687*2^1509800-1 is not prime. Res64: FF8691456C375451 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:02:29] 813*2^1509800-1 is not prime. Res64: 7FE2A525DDD70974 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:45:32] 875*2^1509800-1 is not prime. Res64: 1B57EC203ED2A522 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:45:33] 879*2^1509800-1 is not prime. Res64: 93FA114EB1969CDE Time : 0.0 sec. user=mdettweiler [2018-05-15 12:45:33] 899*2^1509800-1 is not prime. Res64: 865A37AD67CD3F0B Time : 0.0 sec. user=mdettweiler [2018-05-15 12:45:33] 957*2^1509800-1 is not prime. Res64: 4798B4D0F43EC81A Time : 0.0 sec. user=mdettweiler [2018-05-15 12:45:34] 829*2^1509801-1 is not prime. Res64: 6DEE182BF1999AEF Time : 0.0 sec. user=mdettweiler [2018-05-15 12:46:15] 837*2^1509801-1 is not prime. Res64: 928E05D7E34AC9A9 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:46:15] 611*2^1509802-1 is not prime. Res64: 5085E607E7A6CFDF Time : 0.0 sec. user=mdettweiler [2018-05-15 12:46:16] 741*2^1509802-1 is not prime. Res64: 0ACC1B3626654C71 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:46:16] 833*2^1509802-1 is not prime. Res64: B6757D8640AFBE81 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:46:17] 873*2^1509802-1 is not prime. Res64: 68133F52EB6F2EC0 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:39] 885*2^1509802-1 is not prime. Res64: 3497A70B61D91DC8 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:40] 915*2^1509802-1 is not prime. Res64: B68D5C4C45471E40 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:40] 941*2^1509802-1 is not prime. Res64: 245259C8471D24A1 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:40] 945*2^1509802-1 is not prime. Res64: F64D8B740411623B Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:41] 663*2^1509803-1 is not prime. Res64: B60BC400A79C88FA Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:53] 811*2^1509803-1 is not prime. Res64: 4995BD7CD59C65D5 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:53] 861*2^1509803-1 is not prime. Res64: E913F7E50EE59E26 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:53] 943*2^1509803-1 is not prime. Res64: BEEEBFA8AC74C3F7 Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:54] 945*2^1509803-1 is not prime. Res64: 23A09F590642D93F Time : 0.0 sec. user=mdettweiler [2018-05-15 12:52:54] 627*2^1509804-1 is not prime. Res64: 22B384010C2BEFCF Time : 0.0 sec. user=mdettweiler [2018-05-15 13:38:04] 635*2^1509804-1 is not prime. Res64: 12B47DC7A2BCEC29 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:38:04] 675*2^1509804-1 is not prime. Res64: 4FAFE1C7A458E095 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:38:05] 893*2^1509804-1 is not prime. Res64: C27DCEC49130CF01 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:38:05] 915*2^1509804-1 is not prime. Res64: 150798624DAFE890 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:38:05] 965*2^1509804-1 is not prime. Res64: 6C9AA976855F3E2C Time : 0.0 sec. user=mdettweiler [2018-05-15 13:39:10] 661*2^1509805-1 is not prime. Res64: 2060C2AC7F9E6558 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:39:11] 727*2^1509805-1 is not prime. Res64: D3BBC70950812897 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:39:11] 741*2^1509805-1 is not prime. Res64: D630C3E7C4F856F7 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:39:11] 799*2^1509805-1 is not prime. Res64: D9B1BD6F7724AF54 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:39:12] 847*2^1509805-1 is not prime. Res64: 7977E73609BD55CA Time : 0.0 sec. user=mdettweiler [2018-05-15 13:46:43] 677*2^1509806-1 is not prime. Res64: 306D527EF30C61DF Time : 0.0 sec. user=mdettweiler [2018-05-15 13:46:43] 833*2^1509806-1 is not prime. Res64: B4675F044773D49C Time : 0.0 sec. user=mdettweiler [2018-05-15 13:46:44] 983*2^1509806-1 is not prime. Res64: 300EFDC8DCF55DEB Time : 0.0 sec. user=mdettweiler [2018-05-15 13:46:44] 781*2^1509807-1 is not prime. Res64: 07FD669ADFF8F75D Time : 0.0 sec. user=mdettweiler [2018-05-15 13:46:45] 793*2^1509807-1 is not prime. Res64: B47454B8D738A5EA Time : 0.0 sec. user=mdettweiler [2018-05-15 13:47:06] 859*2^1509807-1 is not prime. Res64: C3C0B101B02DEA11 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:47:06] 861*2^1509807-1 is not prime. Res64: B314C5ACF3E0A289 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:47:06] 885*2^1509807-1 is not prime. Res64: 71AC66CEE4306BD7 Time : 0.0 sec. user=mdettweiler [2018-05-15 13:47:07] 891*2^1509807-1 is not prime. Res64: 7B3A3DD8B6D3849C Time : 0.0 sec. user=mdettweiler [2018-05-15 13:47:07] 901*2^1509807-1 is not prime. Res64: 68FCC1B9EE0B8D8B Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:19] 955*2^1509807-1 is not prime. Res64: 116F5D194801694F Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:20] 979*2^1509807-1 is not prime. Res64: 076AABD0D22A6853 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:20] 603*2^1509808-1 is not prime. Res64: 9982269397CF7D38 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:21] 639*2^1509808-1 is not prime. Res64: 465B80FAD45B4DFC Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:21] 645*2^1509808-1 is not prime. Res64: C8521721B22586E8 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:51] 657*2^1509808-1 is not prime. Res64: 6E88B812BAFAE584 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:52] 773*2^1509808-1 is not prime. Res64: 01EA24999A53603F Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:52] 957*2^1509808-1 is not prime. Res64: D6DCC77E69CF847C Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:53] 959*2^1509808-1 is not prime. Res64: 11033CE80A8204FE Time : 0.0 sec. user=mdettweiler [2018-05-15 14:33:53] 705*2^1509809-1 is not prime. Res64: BF5C6A19431F2870 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:42:06] 727*2^1509809-1 is not prime. Res64: 0304B8A10242F671 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:42:07] 847*2^1509809-1 is not prime. Res64: EC0B08C88BCD640A Time : 0.0 sec. user=mdettweiler [2018-05-15 14:42:07] 879*2^1509809-1 is not prime. Res64: 2017481E1A3D33B4 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:42:08] 957*2^1509809-1 is not prime. Res64: E2166FE418907538 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:42:08] 713*2^1509810-1 is not prime. Res64: 7C803993A16FDC9D Time : 0.0 sec. user=mdettweiler [2018-05-15 14:43:11] 725*2^1509810-1 is not prime. Res64: 34B50A80D296DF71 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:43:11] 735*2^1509810-1 is not prime. Res64: E0E5D515D4EF5F99 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:43:12] 755*2^1509810-1 is not prime. Res64: 030C1296D7247A04 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:43:12] 783*2^1509810-1 is not prime. Res64: 104B03B7C0C50510 Time : 0.0 sec. user=mdettweiler [2018-05-15 14:43:13] 797*2^1509810-1 is not prime. Res64: 0F9D602C5381CB8F Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:34] 811*2^1509811-1 is not prime. Res64: BE308411BC4E0F20 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:34] 835*2^1509811-1 is not prime. Res64: C663B64EFC8E323A Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:34] 951*2^1509811-1 is not prime. Res64: B03BBD26E96EDA42 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:35] 969*2^1509811-1 is not prime. Res64: ECFA85368913016D Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:35] 749*2^1509812-1 is not prime. Res64: 88D16171A2628CDB Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:39] 833*2^1509810-1 is not prime. Res64: 95C7CB379BCF7504 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:39] 619*2^1509811-1 is not prime. Res64: C6E2F5154E1BC0FD Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:40] 645*2^1509811-1 is not prime. Res64: 9AA19B4B8CB9F63F Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:40] 751*2^1509811-1 is not prime. Res64: BB6E4BA64283E6EF Time : 0.0 sec. user=mdettweiler [2018-05-15 15:30:40] 771*2^1509811-1 is not prime. Res64: 28A75DFB8F6BD532 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:06] 785*2^1509812-1 is not prime. Res64: D2F723078DD44229 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:06] 819*2^1509812-1 is not prime. Res64: E17B93A41F2B3B90 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:07] 827*2^1509812-1 is not prime. Res64: C05B2E4C89DFFB63 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:07] 893*2^1509812-1 is not prime. Res64: 2EAD85B4CB18F94C Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:07] 899*2^1509812-1 is not prime. Res64: 3D779E08FFDC4400 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:35] 923*2^1509812-1 is not prime. Res64: ECFB885FA50F8B25 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:35] 983*2^1509812-1 is not prime. Res64: FC35D8315103542C Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:36] 781*2^1509813-1 is not prime. Res64: 71E564C0EBB4AFC4 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:36] 819*2^1509813-1 is not prime. Res64: F6BB816F62FB2A00 Time : 0.0 sec. user=mdettweiler [2018-05-15 15:38:36] 681*2^1509814-1 is not prime. Res64: 4B3889679FE09AFD Time : 0.0 sec. user=mdettweiler [2018-05-15 16:26:27] 753*2^1509815-1 is not prime. Res64: 444343228D76D2E6 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:26:28] 823*2^1509815-1 is not prime. Res64: 5B77F8B54F0C1739 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:26:28] 909*2^1509815-1 is not prime. Res64: DA554BE3DACD66F1 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:26:29] 609*2^1509816-1 is not prime. Res64: A985A591B3BD6D15 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:26:29] 657*2^1509816-1 is not prime. Res64: 88297ECD7E300849 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:27:04] 755*2^1509814-1 is not prime. Res64: 508C78F48763AAE9 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:27:04] 765*2^1509814-1 is not prime. Res64: 03D169780829FA98 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:27:04] 887*2^1509814-1 is not prime. Res64: 0CFEE4A1335B7857 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:27:05] 987*2^1509814-1 is not prime. Res64: EDE5E46BC583555D Time : 0.0 sec. user=mdettweiler [2018-05-15 16:27:05] 693*2^1509815-1 is not prime. Res64: E130ADC528388A88 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:34:34] 607*2^1509817-1 is not prime. Res64: 6C99E45D33A9FB7D Time : 0.0 sec. user=mdettweiler [2018-05-15 16:34:35] 615*2^1509817-1 is not prime. Res64: B172E4D0218BEAD6 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:34:35] 801*2^1509817-1 is not prime. Res64: 7E98514693CCFF4D Time : 0.0 sec. user=mdettweiler [2018-05-15 16:34:35] 847*2^1509817-1 is not prime. Res64: E868928FA86DE1E4 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:34:36] 633*2^1509818-1 is not prime. Res64: 0CF51ACDAA5524AA Time : 0.0 sec. user=mdettweiler [2018-05-15 16:35:37] 717*2^1509816-1 is not prime. Res64: 340678C65822514E Time : 0.0 sec. user=mdettweiler [2018-05-15 16:35:37] 723*2^1509816-1 is not prime. Res64: FFADE712BBA154F4 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:35:38] 765*2^1509816-1 is not prime. Res64: F81B4333D7FD24FA Time : 0.0 sec. user=mdettweiler [2018-05-15 16:35:38] 803*2^1509816-1 is not prime. Res64: 9BCD11E6FB48D141 Time : 0.0 sec. user=mdettweiler [2018-05-15 16:35:38] 873*2^1509816-1 is not prime. Res64: 8E5BC787172AA728 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:23:51] 665*2^1509818-1 is not prime. Res64: 42101FA4CB67F281 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:23:52] 683*2^1509818-1 is not prime. Res64: A5152515CD3C4B52 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:23:52] 713*2^1509818-1 is not prime. Res64: 49D4F2C6CFFF423B Time : 0.0 sec. user=mdettweiler [2018-05-15 17:23:53] 923*2^1509818-1 is not prime. Res64: D0D21E38DAFE92D4 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:23:53] 941*2^1509818-1 is not prime. Res64: 907C08A546793E56 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:24:33] 949*2^1509819-1 is not prime. Res64: 8FDFE9B95D46C6F3 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:24:33] 961*2^1509819-1 is not prime. Res64: 357B55B8ECCAE4C9 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:24:34] 603*2^1509820-1 is not prime. Res64: 242546A73202BD72 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:24:34] 605*2^1509820-1 is not prime. Res64: 6C0BC9344E8E8F77 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:24:34] 665*2^1509820-1 is not prime. Res64: 2BE433C9DEB99FEA Time : 0.0 sec. user=mdettweiler [2018-05-15 17:30:56] 689*2^1509820-1 is not prime. Res64: 373E5F1076B3FEEE Time : 0.0 sec. user=mdettweiler [2018-05-15 17:30:57] 735*2^1509820-1 is not prime. Res64: 035BF0227CBDBA6B Time : 0.0 sec. user=mdettweiler [2018-05-15 17:30:57] 833*2^1509820-1 is not prime. Res64: 25794945E32BA40D Time : 0.0 sec. user=mdettweiler [2018-05-15 17:30:58] 857*2^1509820-1 is not prime. Res64: F0C56C89D07F8A7B Time : 0.0 sec. user=mdettweiler [2018-05-15 17:30:58] 863*2^1509820-1 is not prime. Res64: E86E20D70CF08B42 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:31:34] 905*2^1509820-1 is not prime. Res64: 827F70CF0FF2025F Time : 0.0 sec. user=mdettweiler [2018-05-15 17:31:35] 909*2^1509820-1 is not prime. Res64: E4655B77158FA075 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:31:35] 615*2^1509821-1 is not prime. Res64: 911816DB161133A9 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:31:35] 651*2^1509821-1 is not prime. Res64: 384B9ADAEE32C1D0 Time : 0.0 sec. user=mdettweiler [2018-05-15 17:31:36] 795*2^1509821-1 is not prime. Res64: 65AF3AFAE0720D0E Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:36] 615*2^1509822-1 is not prime. Res64: 87B3AA7C7FBA29F0 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:37] 677*2^1509822-1 is not prime. Res64: 25EB67D53F1668B3 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:37] 725*2^1509822-1 is not prime. Res64: D46C330240837944 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:38] 843*2^1509822-1 is not prime. Res64: F0B98E870EFE8013 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:38] 863*2^1509822-1 is not prime. Res64: 22640FD354ACA593 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:58] 873*2^1509822-1 is not prime. Res64: 890B9FB8D1D720C9 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:58] 957*2^1509822-1 is not prime. Res64: 7451E0D68C65B8E6 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:59] 609*2^1509823-1 is not prime. Res64: 9338CE4F9DCA64DE Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:59] 703*2^1509823-1 is not prime. Res64: FF980D2A5006E292 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:16:59] 855*2^1509823-1 is not prime. Res64: 7DB9507ECE734EC3 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:12] 901*2^1509823-1 is not prime. Res64: 0D1AF79961A2ABEF Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:12] 969*2^1509823-1 is not prime. Res64: 66012ABCEC976A42 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:12] 615*2^1509824-1 is not prime. Res64: 433B5D35CFE2C18F Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:13] 665*2^1509824-1 is not prime. Res64: 5AA65DAB712C005A Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:13] 875*2^1509824-1 is not prime. Res64: 43A0A638B63AA3D1 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:33] 927*2^1509824-1 is not prime. Res64: DABD2206DBDE1A9E Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:33] 651*2^1509825-1 is not prime. Res64: 2B63A4A979859B0D Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:33] 861*2^1509825-1 is not prime. Res64: C6E197FAE5794A8A Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:34] 877*2^1509825-1 is not prime. Res64: 98ACE55E40386465 Time : 0.0 sec. user=mdettweiler [2018-05-15 18:25:34] 889*2^1509825-1 is not prime. Res64: A57EDBAEADC6FF9D Time : 0.0 sec. user=mdettweiler [2018-05-15 19:12:31] 895*2^1509825-1 is not prime. Res64: 9E4BFDA6F3E02C3E Time : 0.0 sec. user=mdettweiler [2018-05-15 19:12:31] 915*2^1509825-1 is not prime. Res64: 7AF5FCFFAEC988A4 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:12:32] 949*2^1509825-1 is not prime. Res64: 17C3C5A5F49A4AB9 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:12:32] 611*2^1509826-1 is not prime. Res64: FC5B6E2D9FD4AD33 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:12:33] 723*2^1509826-1 is not prime. Res64: D310CE4E0FF6B032 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:14:10] 777*2^1509826-1 is not prime. Res64: 68065D9873D32CA3 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:14:11] 609*2^1509827-1 is not prime. Res64: A53F135F04FA709C Time : 0.0 sec. user=mdettweiler [2018-05-15 19:14:11] 631*2^1509827-1 is not prime. Res64: CB017D5B9C7368C8 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:14:12] 705*2^1509827-1 is not prime. Res64: 2DC01992B1650C73 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:14:12] 841*2^1509827-1 is not prime. Res64: 3F8B8F3FEE7D9748 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:20:57] 691*2^1509829-1 is not prime. Res64: 8DA85869BC28ABAF Time : 0.0 sec. user=mdettweiler [2018-05-15 19:20:58] 729*2^1509829-1 is not prime. Res64: 56F415E5E831D080 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:20:58] 757*2^1509829-1 is not prime. Res64: EA2927B76954DFCF Time : 0.0 sec. user=mdettweiler [2018-05-15 19:20:59] 817*2^1509829-1 is not prime. Res64: D437B234743E6B2C Time : 0.0 sec. user=mdettweiler [2018-05-15 19:20:59] 831*2^1509829-1 is not prime. Res64: 9E57DD17AB70868F Time : 0.0 sec. user=mdettweiler [2018-05-15 19:21:01] 859*2^1509827-1 is not prime. Res64: 40995614A76F91BD Time : 0.0 sec. user=mdettweiler [2018-05-15 19:21:01] 963*2^1509827-1 is not prime. Res64: 6C99F87B13040CD8 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:21:01] 905*2^1509828-1 is not prime. Res64: 4BAD5CC05F5CD48E Time : 0.0 sec. user=mdettweiler [2018-05-15 19:21:02] 945*2^1509828-1 is not prime. Res64: 9A119E93A3D74B85 Time : 0.0 sec. user=mdettweiler [2018-05-15 19:21:02] 681*2^1509829-1 is not prime. Res64: 832C403BF7C27F45 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:04:47] 885*2^1509829-1 is not prime. Res64: C83B30DE7BACABBF Time : 0.0 sec. user=mdettweiler [2018-05-15 20:04:49] 687*2^1509830-1 is not prime. Res64: B93E66E2251AF51D Time : 0.0 sec. user=mdettweiler [2018-05-15 20:04:50] 755*2^1509830-1 is not prime. Res64: F3C1220EE331F5BE Time : 0.0 sec. user=mdettweiler [2018-05-15 20:04:51] 801*2^1509830-1 is not prime. Res64: 605220D1147EE210 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:04:53] 845*2^1509830-1 is not prime. Res64: EEFBCA89F0D0A7A5 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:06:10] 885*2^1509830-1 is not prime. Res64: 0DAF6E71D61FCA0B Time : 0.0 sec. user=mdettweiler [2018-05-15 20:06:12] 887*2^1509830-1 is not prime. Res64: 652F09FB5438431C Time : 0.0 sec. user=mdettweiler [2018-05-15 20:06:14] 649*2^1509831-1 is not prime. Res64: 5DE1D394DBD9D006 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:06:15] 741*2^1509831-1 is not prime. Res64: A6C6145A1406E0E7 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:06:17] 763*2^1509831-1 is not prime. Res64: 67892906D6F63F7F Time : 0.0 sec. user=mdettweiler [2018-05-15 20:11:52] 609*2^1509832-1 is not prime. Res64: AD63788D95F0E8E7 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:11:52] 623*2^1509832-1 is not prime. Res64: A22773D588CB45EF Time : 0.0 sec. user=mdettweiler [2018-05-15 20:11:53] 719*2^1509832-1 is not prime. Res64: 70C845A1F811AE3B Time : 0.0 sec. user=mdettweiler [2018-05-15 20:11:53] 755*2^1509832-1 is not prime. Res64: E589AE3F08B6B577 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:11:53] 855*2^1509832-1 is not prime. Res64: 492009B14DC60F51 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:12:26] 775*2^1509831-1 is not prime. Res64: 3D67EA1C98AF2A99 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:12:26] 849*2^1509831-1 is not prime. Res64: 3378060ABBDFEDDA Time : 0.0 sec. user=mdettweiler [2018-05-15 20:12:26] 859*2^1509831-1 is not prime. Res64: 3FF582CE402B18AE Time : 0.0 sec. user=mdettweiler [2018-05-15 20:12:27] 879*2^1509831-1 is not prime. Res64: 60619F6787AD2D7A Time : 0.0 sec. user=mdettweiler [2018-05-15 20:12:27] 991*2^1509831-1 is not prime. Res64: 7BE338CBC768568A Time : 0.0 sec. user=mdettweiler [2018-05-15 20:58:52] 903*2^1509832-1 is not prime. Res64: 189275089BE9D91A Time : 0.0 sec. user=mdettweiler [2018-05-15 20:58:52] 965*2^1509832-1 is not prime. Res64: E535789669688D28 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:58:53] 619*2^1509833-1 is not prime. Res64: 26A454BA49B9D3FB Time : 0.0 sec. user=mdettweiler [2018-05-15 20:58:53] 649*2^1509833-1 is not prime. Res64: 9874B15E43ECCEA9 Time : 0.0 sec. user=mdettweiler [2018-05-15 20:58:54] 889*2^1509833-1 is not prime. Res64: 58A35130DFF24C07 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:00:20] 755*2^1509834-1 is not prime. Res64: F878C67A699E3C73 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:00:24] 837*2^1509834-1 is not prime. Res64: 86F2513EFC2229E6 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:00:24] 903*2^1509834-1 is not prime. Res64: 571700FC1D99D0C3 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:00:26] 921*2^1509834-1 is not prime. Res64: B82457A177928ABF Time : 0.0 sec. user=mdettweiler [2018-05-15 21:00:27] 941*2^1509834-1 is not prime. Res64: 555C52C2F351BE40 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:05:55] 939*2^1509835-1 is not prime. Res64: 5E4E4C2F4E5DB931 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:05:57] 999*2^1509835-1 is not prime. Res64: 4596D9D43EFA2049 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:05:58] 617*2^1509836-1 is not prime. Res64: 86485BBD68F643B9 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:05:59] 707*2^1509836-1 is not prime. Res64: 2AAAB8537649CD0E Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:02] 789*2^1509836-1 is not prime. Res64: 45AF1716F22C0384 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:16] 1001*2^1509834-1 is not prime. Res64: 60DD7A2967EB07BE Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:17] 633*2^1509835-1 is not prime. Res64: DBB117DC3232EC6C Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:17] 759*2^1509835-1 is not prime. Res64: 3DA5B2F88A19455F Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:18] 871*2^1509835-1 is not prime. Res64: E6868C3F38C038B4 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:06:19] 885*2^1509835-1 is not prime. Res64: 692A61637B6D5D87 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:50:23] 927*2^1509836-1 is not prime. Res64: D8FB0D5A510149C8 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:50:24] 609*2^1509837-1 is not prime. Res64: C9FA78E04B57FEA0 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:50:24] 655*2^1509837-1 is not prime. Res64: F375E0D8BA6262FE Time : 0.0 sec. user=mdettweiler [2018-05-15 21:50:25] 759*2^1509837-1 is not prime. Res64: 38BCEDF380171851 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:50:25] 777*2^1509837-1 is not prime. Res64: 07C145D647AB2D70 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:52:13] 835*2^1509837-1 is not prime. Res64: FB00A853E6927DFD Time : 0.0 sec. user=mdettweiler [2018-05-15 21:52:13] 891*2^1509837-1 is not prime. Res64: 2304FF2068086A61 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:52:14] 927*2^1509837-1 is not prime. Res64: 0E43AC140D2FF5DC Time : 0.0 sec. user=mdettweiler [2018-05-15 21:52:14] 695*2^1509838-1 is not prime. Res64: FD68FF81E584A67B Time : 0.0 sec. user=mdettweiler [2018-05-15 21:52:14] 743*2^1509838-1 is not prime. Res64: 90C2D3CEBB5B1AB7 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:56:56] 801*2^1509838-1 is not prime. Res64: 42F3B1A11AC96D29 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:56:56] 813*2^1509838-1 is not prime. Res64: 8148E3B0A2F9DA4D Time : 0.0 sec. user=mdettweiler [2018-05-15 21:56:57] 957*2^1509838-1 is not prime. Res64: 83A1A103C299CD0C Time : 0.0 sec. user=mdettweiler [2018-05-15 21:56:57] 643*2^1509839-1 is not prime. Res64: C4E7145CD4ECBA3C Time : 0.0 sec. user=mdettweiler [2018-05-15 21:56:58] 663*2^1509839-1 is not prime. Res64: 8DE0BA4DB4BAF0AA Time : 0.0 sec. user=mdettweiler [2018-05-15 21:57:33] 721*2^1509839-1 is not prime. Res64: A7C9305C15CECB26 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:57:33] 789*2^1509839-1 is not prime. Res64: E06BCFDA8480151B Time : 0.0 sec. user=mdettweiler [2018-05-15 21:57:34] 843*2^1509839-1 is not prime. Res64: F0AF91FCBB14036A Time : 0.0 sec. user=mdettweiler [2018-05-15 21:57:34] 889*2^1509839-1 is not prime. Res64: 2534AF6D963844C8 Time : 0.0 sec. user=mdettweiler [2018-05-15 21:57:35] 949*2^1509839-1 is not prime. Res64: A39C14203AF29434 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:40:22] 969*2^1509839-1 is not prime. Res64: D8D173CE8D617B00 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:40:23] 615*2^1509840-1 is not prime. Res64: 3F445EA96C19C887 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:40:23] 635*2^1509840-1 is not prime. Res64: C97EE0F3ADF8F455 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:40:24] 665*2^1509840-1 is not prime. Res64: 22D94345DDA7E5CA Time : 0.0 sec. user=mdettweiler [2018-05-15 22:40:24] 699*2^1509840-1 is not prime. Res64: 7B616F9E17BDE8AF Time : 0.0 sec. user=mdettweiler [2018-05-15 22:45:26] 767*2^1509840-1 is not prime. Res64: 345ADDEB69AEC513 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:45:26] 789*2^1509840-1 is not prime. Res64: 1C0DCAF6B6FF3272 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:45:27] 803*2^1509840-1 is not prime. Res64: 0CB598CD83EE6F0D Time : 0.0 sec. user=mdettweiler [2018-05-15 22:45:27] 825*2^1509840-1 is not prime. Res64: F8BC67C4C9E91C84 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:45:28] 845*2^1509840-1 is not prime. Res64: 1ED95F5EB868D7B0 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:48:50] 957*2^1509841-1 is not prime. Res64: 37A47833D0F80F05 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:48:51] 999*2^1509841-1 is not prime. Res64: FE9ADFBE03A44022 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:48:51] 677*2^1509842-1 is not prime. Res64: 4833182CA1360D9A Time : 0.0 sec. user=mdettweiler [2018-05-15 22:48:51] 767*2^1509842-1 is not prime. Res64: 4C739B6CF24E35B0 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:48:52] 801*2^1509842-1 is not prime. Res64: BCEB1A1BB260740D Time : 0.0 sec. user=mdettweiler [2018-05-15 22:50:01] 879*2^1509840-1 is not prime. Res64: 948D9DDD5EA65DC1 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:50:01] 899*2^1509840-1 is not prime. Res64: 19F9E6730DF3C51F Time : 0.0 sec. user=mdettweiler [2018-05-15 22:50:01] 691*2^1509841-1 is not prime. Res64: BEB237E8DC93F5AF Time : 0.0 sec. user=mdettweiler [2018-05-15 22:50:02] 861*2^1509841-1 is not prime. Res64: B846B7A2FD02FC26 Time : 0.0 sec. user=mdettweiler [2018-05-15 22:50:02] 909*2^1509841-1 is not prime. Res64: C9857E339920500C Time : 0.0 sec. user=mdettweiler [2018-05-15 23:31:40] 831*2^1509842-1 is not prime. Res64: EE7F7E7C954769A6 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:31:40] 935*2^1509842-1 is not prime. Res64: 709036A007CAAB54 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:31:41] 987*2^1509842-1 is not prime. Res64: 696C941BB67CF445 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:31:41] 625*2^1509843-1 is not prime. Res64: 779B464CE8122D3C Time : 0.0 sec. user=mdettweiler [2018-05-15 23:31:42] 691*2^1509843-1 is not prime. Res64: 6ADE945BDB678BBC Time : 0.0 sec. user=mdettweiler [2018-05-15 23:39:32] 709*2^1509843-1 is not prime. Res64: 65D89184CAD659DB Time : 0.0 sec. user=mdettweiler [2018-05-15 23:39:32] 765*2^1509843-1 is not prime. Res64: 929FAA6281E534AB Time : 0.0 sec. user=mdettweiler [2018-05-15 23:39:33] 801*2^1509843-1 is not prime. Res64: B165CBDAD3B0996C Time : 0.0 sec. user=mdettweiler [2018-05-15 23:39:33] 835*2^1509843-1 is not prime. Res64: F13014B734B24C73 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:39:34] 849*2^1509843-1 is not prime. Res64: 2402928629088FF2 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:42:13] 945*2^1509843-1 is not prime. Res64: 791B6576588A95CC Time : 0.0 sec. user=mdettweiler [2018-05-15 23:42:13] 951*2^1509843-1 is not prime. Res64: 51F9AF0F00A7E988 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:42:13] 617*2^1509844-1 is not prime. Res64: 3C9BF16C5B3EA120 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:42:14] 723*2^1509844-1 is not prime. Res64: B86429555F7E66AC Time : 0.0 sec. user=mdettweiler [2018-05-15 23:42:14] 765*2^1509844-1 is not prime. Res64: 3B9201E0D2AE2841 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:45:13] 843*2^1509844-1 is not prime. Res64: 070739FD38FF1801 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:45:14] 885*2^1509844-1 is not prime. Res64: 05C5825256862A20 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:45:14] 909*2^1509844-1 is not prime. Res64: BC7BC8FA8DCFB3B5 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:45:15] 959*2^1509844-1 is not prime. Res64: EE0FC04242BC83F3 Time : 0.0 sec. user=mdettweiler [2018-05-15 23:45:15] 679*2^1509845-1 is not prime. Res64: EED4CC960B1656D9 Time : 0.0 sec.