user=mdettweiler [2015-07-21 00:03:00] 983*2^1403714-1 is not prime. Res64: E2A6DD012A8F240B Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:01] 987*2^1403714-1 is not prime. Res64: 289893EB85953162 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:02] 633*2^1403715-1 is not prime. Res64: D1F00548B95BAB8D Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:02] 705*2^1403715-1 is not prime. Res64: 8C5EAE266A2F436C Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:46] 765*2^1403716-1 is not prime. Res64: E499FEA93B0AC5C8 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:46] 869*2^1403716-1 is not prime. Res64: 80352D9B16CB2601 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:47] 845*2^1403716-1 is not prime. Res64: 381BC3D0B21D7586 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:03:48] 887*2^1403716-1 is not prime. Res64: 359093AA6F047348 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:15] 699*2^1403717-1 is not prime. Res64: 54FDA72859AED00E Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:16] 871*2^1403717-1 is not prime. Res64: 24B10AAD03FBC7AC Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:23] 957*2^1403716-1 is not prime. Res64: 6C096F5E13B3DE7D Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:23] 631*2^1403717-1 is not prime. Res64: F49FF9032EB85BDB Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:46] 937*2^1403717-1 is not prime. Res64: B97791CC766ADE20 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:47] 985*2^1403717-1 is not prime. Res64: 6252396A0A035E3B Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:53] 925*2^1403717-1 is not prime. Res64: 5230D7FFD294C258 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:22:53] 927*2^1403717-1 is not prime. Res64: 4DD1C4B5EB1740A7 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:41:36] 867*2^1403718-1 is not prime. Res64: 3AF002AB3328E98F Time : 0.0 sec. user=mdettweiler [2015-07-21 00:41:36] 887*2^1403718-1 is not prime. Res64: 1E2D42715DDAA657 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:41:47] 647*2^1403718-1 is not prime. Res64: A2BB9E2F465A609E Time : 0.0 sec. user=mdettweiler [2015-07-21 00:41:47] 801*2^1403718-1 is not prime. Res64: E7CD42F2895E4EB1 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:42:13] 853*2^1403719-1 is not prime. Res64: 3AB96B56B6ABB110 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:42:14] 919*2^1403719-1 is not prime. Res64: 01AB5F1DF02429C8 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:42:20] 975*2^1403718-1 is not prime. Res64: 24BAD3991AA09073 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:42:21] 621*2^1403719-1 is not prime. Res64: 647DCFE4C43D469A Time : 0.0 sec. user=mdettweiler [2015-07-21 00:59:46] 665*2^1403720-1 is not prime. Res64: EAC90F31D2D27229 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:59:46] 625*2^1403721-1 is not prime. Res64: C23A2C50BDFD7C8E Time : 0.0 sec. user=mdettweiler [2015-07-21 00:59:52] 679*2^1403721-1 is not prime. Res64: 5CAA743059592FE2 Time : 0.0 sec. user=mdettweiler [2015-07-21 00:59:53] 705*2^1403721-1 is not prime. Res64: 2756F05548DBC2D1 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:00:21] 741*2^1403721-1 is not prime. Res64: A8D6DD2A90BA4D67 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:00:22] 805*2^1403721-1 is not prime. Res64: 38C76079C543FCAD Time : 0.0 sec. user=mdettweiler [2015-07-21 01:00:25] 819*2^1403721-1 is not prime. Res64: 1F5ABB58B63ED0AA Time : 0.0 sec. user=mdettweiler [2015-07-21 01:00:27] 623*2^1403722-1 is not prime. Res64: DD58E15D0FEA284C Time : 0.0 sec. user=mdettweiler [2015-07-21 01:17:39] 645*2^1403722-1 is not prime. Res64: EE2A51094BD0E506 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:17:39] 713*2^1403722-1 is not prime. Res64: 48D33E216F1877AF Time : 0.0 sec. user=mdettweiler [2015-07-21 01:17:46] 717*2^1403722-1 is not prime. Res64: 69378B003E4F8CBA Time : 0.0 sec. user=mdettweiler [2015-07-21 01:17:47] 831*2^1403722-1 is not prime. Res64: 6929FD2A118142A0 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:18:13] 855*2^1403722-1 is not prime. Res64: D24F9E6B33F337A7 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:18:13] 923*2^1403722-1 is not prime. Res64: F86D77841BF4666A Time : 0.0 sec. user=mdettweiler [2015-07-21 01:18:15] 987*2^1403722-1 is not prime. Res64: B9BA1A90E26F7169 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:18:15] 995*2^1403722-1 is not prime. Res64: 54E7039A62DF4AC2 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:05] 621*2^1403723-1 is not prime. Res64: 46C1554BCEB5CFF5 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:06] 753*2^1403723-1 is not prime. Res64: E8653802D8748060 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:08] 771*2^1403723-1 is not prime. Res64: B3EBC5AB5211110F Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:09] 781*2^1403723-1 is not prime. Res64: BE4065D57F60C665 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:31] 861*2^1403723-1 is not prime. Res64: 998B4A02CF2D4B28 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:32] 623*2^1403724-1 is not prime. Res64: ECB00CA8B37B8A8C Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:44] 783*2^1403723-1 is not prime. Res64: D386E5E361482ADD Time : 0.0 sec. user=mdettweiler [2015-07-21 01:36:44] 805*2^1403723-1 is not prime. Res64: 8A19084C01C75211 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:15] 629*2^1403724-1 is not prime. Res64: AF936FF797F5CBE2 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:16] 993*2^1403724-1 is not prime. Res64: 4482DA66883158E5 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:35] 805*2^1403725-1 is not prime. Res64: A92423C877EF77EC Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:35] 895*2^1403725-1 is not prime. Res64: 862B2FD53A86BC9C Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:45] 615*2^1403726-1 is not prime. Res64: FA7BE9444430AFC6 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:45] 677*2^1403726-1 is not prime. Res64: 6D4DCB8E340C2D4E Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:50] 707*2^1403726-1 is not prime. Res64: D6F44B064E3AD7A3 Time : 0.0 sec. user=mdettweiler [2015-07-21 01:54:51] 867*2^1403726-1 is not prime. Res64: 6A0897B910C68FC9 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:24] 941*2^1403726-1 is not prime. Res64: B7D2834A970DF1BF Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:24] 945*2^1403726-1 is not prime. Res64: E9F1C81774056828 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:46] 971*2^1403726-1 is not prime. Res64: 01A247D53B41B69C Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:46] 859*2^1403727-1 is not prime. Res64: 51DA7F4139CF350D Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:56] 985*2^1403727-1 is not prime. Res64: 85360B0B42A65A94 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:12:56] 833*2^1403728-1 is not prime. Res64: C0707D13309C1E62 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:13:04] 845*2^1403728-1 is not prime. Res64: C19C166454581F7C Time : 0.0 sec. user=mdettweiler [2015-07-21 02:13:04] 849*2^1403728-1 is not prime. Res64: 69CA62AB0F758E54 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:38:52] 897*2^1403729-1 is not prime. Res64: 7DDDD8D395B7309A Time : 0.0 sec. user=mdettweiler [2015-07-21 02:38:52] 907*2^1403729-1 is not prime. Res64: 3290BE8D11C00A88 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:04] 633*2^1403730-1 is not prime. Res64: DBADC6EDAB448AA7 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:04] 851*2^1403730-1 is not prime. Res64: 00BBCB03F98B5DB5 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:05] 787*2^1403729-1 is not prime. Res64: DFA6AE44C90DB39F Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:06] 801*2^1403729-1 is not prime. Res64: 9FE7F31CE565DE00 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:07] 915*2^1403728-1 is not prime. Res64: 5D4195913793684E Time : 0.0 sec. user=mdettweiler [2015-07-21 02:39:08] 769*2^1403729-1 is not prime. Res64: 54994B508D49FF89 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:16] 645*2^1403731-1 is not prime. Res64: F2F30848F74E8025 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:17] 843*2^1403731-1 is not prime. Res64: A042481A811EC17D Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:26] 871*2^1403731-1 is not prime. Res64: A2961962E763C606 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:27] 605*2^1403732-1 is not prime. Res64: 6116B10F3B8ED1ED Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:30] 669*2^1403732-1 is not prime. Res64: 47E9095FB591B496 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:31] 683*2^1403732-1 is not prime. Res64: 08111D2BD4D1555D Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:35] 743*2^1403732-1 is not prime. Res64: 8055CEC8FABCBA95 Time : 0.0 sec. user=mdettweiler [2015-07-21 02:56:35] 959*2^1403732-1 is not prime. Res64: C72E1879805D4014 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:47] 609*2^1403733-1 is not prime. Res64: 980073EADD526147 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:47] 621*2^1403733-1 is not prime. Res64: A055479CB181EC25 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:50] 685*2^1403733-1 is not prime. Res64: 4F97737B05124DC0 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:50] 699*2^1403733-1 is not prime. Res64: 824E11A6927F558F Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:58] 727*2^1403733-1 is not prime. Res64: 503FF48584834A37 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:13:58] 747*2^1403733-1 is not prime. Res64: ED15657F14C63B4E Time : 0.0 sec. user=mdettweiler [2015-07-21 03:14:00] 781*2^1403733-1 is not prime. Res64: E632EA8E2058C7F2 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:14:00] 795*2^1403733-1 is not prime. Res64: 3185F9F2CB2E4E8A Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:26] 945*2^1403733-1 is not prime. Res64: 874FEA04AB59FF2C Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:27] 999*2^1403733-1 is not prime. Res64: C35864A2A2BF301E Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:39] 657*2^1403734-1 is not prime. Res64: 50D8F293A65FA90E Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:40] 723*2^1403734-1 is not prime. Res64: 6B129F9EA5C7E569 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:46] 737*2^1403734-1 is not prime. Res64: 459A3EFFE5509FFD Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:47] 855*2^1403734-1 is not prime. Res64: 169ADE765321E83C Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:58] 619*2^1403735-1 is not prime. Res64: 290C11BE48E725F4 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:31:59] 633*2^1403735-1 is not prime. Res64: EADDEE998F38D538 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:17] 675*2^1403735-1 is not prime. Res64: 58B72A24063D9967 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:18] 841*2^1403735-1 is not prime. Res64: BCDF523AA1987479 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:32] 719*2^1403736-1 is not prime. Res64: 886791FE60EE7D12 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:34] 765*2^1403736-1 is not prime. Res64: 88D5573BA86041BF Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:34] 615*2^1403737-1 is not prime. Res64: 29EC87D2102F65D6 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:49:36] 861*2^1403737-1 is not prime. Res64: 90608C157BCFE1C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:50:03] 939*2^1403737-1 is not prime. Res64: D95E2CF69B06D471 Time : 0.0 sec. user=mdettweiler [2015-07-21 03:50:06] 945*2^1403737-1 is not prime. Res64: 92AE2A6B79031681 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:06:56] 967*2^1403737-1 is not prime. Res64: 15F91C08774D7E86 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:06:56] 633*2^1403738-1 is not prime. Res64: 39BA0166E4A7538F Time : 0.0 sec. user=mdettweiler [2015-07-21 04:06:58] 635*2^1403738-1 is not prime. Res64: AC5D6C46A88A3D08 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:06:59] 683*2^1403738-1 is not prime. Res64: 675D20126E8C25DC Time : 0.0 sec. user=mdettweiler [2015-07-21 04:07:03] 687*2^1403738-1 is not prime. Res64: 90A0CF79A91A27AD Time : 0.0 sec. user=mdettweiler [2015-07-21 04:07:04] 825*2^1403738-1 is not prime. Res64: 5BCBED122491C66C Time : 0.0 sec. user=mdettweiler [2015-07-21 04:07:37] 995*2^1403738-1 is not prime. Res64: EAFC7B4A621BD4E9 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:07:37] 625*2^1403739-1 is not prime. Res64: 903BCF5AEA26177F Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:28] 789*2^1403739-1 is not prime. Res64: 0E1ACC2DB43D995F Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:28] 909*2^1403739-1 is not prime. Res64: 6A51F5F3E92C5CB7 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:36] 961*2^1403739-1 is not prime. Res64: 3A88E2B4B83E6416 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:37] 635*2^1403740-1 is not prime. Res64: 751E944574B537F2 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:40] 705*2^1403739-1 is not prime. Res64: 0DC250D66B7A4E44 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:24:40] 735*2^1403739-1 is not prime. Res64: 89EF5ED7501E118A Time : 0.0 sec. user=mdettweiler [2015-07-21 04:25:10] 665*2^1403740-1 is not prime. Res64: 0413357B66E29841 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:25:10] 695*2^1403740-1 is not prime. Res64: A060DE6E9A3D7C07 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:11] 833*2^1403740-1 is not prime. Res64: 872E970821F055C6 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:11] 843*2^1403740-1 is not prime. Res64: A14B07701F39C83D Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:16] 707*2^1403740-1 is not prime. Res64: AAB9FF5B919F8804 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:16] 717*2^1403740-1 is not prime. Res64: 312FCBB7802EDB61 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:17] 897*2^1403740-1 is not prime. Res64: 3C79BC5B3CDBFEF9 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:17] 899*2^1403740-1 is not prime. Res64: 89C8B3C3C86A92CA Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:34] 923*2^1403740-1 is not prime. Res64: 26CAB211A0FF8574 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:42:35] 645*2^1403741-1 is not prime. Res64: 68488C4E82D9A4FF Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:48] 879*2^1403741-1 is not prime. Res64: 4A17A5E7EF63CFBE Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:48] 609*2^1403743-1 is not prime. Res64: 545C5BF2C673276A Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:49] 741*2^1403741-1 is not prime. Res64: E0FBD4A94130AE1C Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:49] 745*2^1403741-1 is not prime. Res64: 4256F5F1BEE58C83 Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:56] 649*2^1403741-1 is not prime. Res64: 62CB7AD6AD7E297D Time : 0.0 sec. user=mdettweiler [2015-07-21 04:59:56] 697*2^1403741-1 is not prime. Res64: B4A9C7CDEE9FA177 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:00:11] 633*2^1403743-1 is not prime. Res64: 7445B07D3BC258F3 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:00:11] 819*2^1403743-1 is not prime. Res64: BEB32F0020348FCF Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:12] 961*2^1403743-1 is not prime. Res64: 39D8B6D0DF1C35BE Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:12] 859*2^1403743-1 is not prime. Res64: 33DF63875DBB61C1 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:13] 629*2^1403744-1 is not prime. Res64: 969775AEF1C58D23 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:13] 945*2^1403743-1 is not prime. Res64: 56D318B0D7794050 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:34] 899*2^1403744-1 is not prime. Res64: 5687F6E815D7073C Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:34] 915*2^1403744-1 is not prime. Res64: 8E9DBA28869F89C0 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:50] 607*2^1403745-1 is not prime. Res64: F18DF3FDE438C6FB Time : 0.0 sec. user=mdettweiler [2015-07-21 05:17:50] 669*2^1403745-1 is not prime. Res64: 4AC475E076143457 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:34:43] 781*2^1403745-1 is not prime. Res64: D6A44336F50EC8AF Time : 0.0 sec. user=mdettweiler [2015-07-21 05:34:43] 889*2^1403745-1 is not prime. Res64: 0DCA5EAE37B9EC9D Time : 0.0 sec. user=mdettweiler [2015-07-21 05:34:54] 937*2^1403745-1 is not prime. Res64: D45D8D2D3633E9B6 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:34:55] 991*2^1403745-1 is not prime. Res64: 89FBF896BBB52F77 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:35:27] 997*2^1403745-1 is not prime. Res64: 3EF21BDED1624C27 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:35:28] 999*2^1403745-1 is not prime. Res64: 4DA7751D84D30895 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:35:33] 635*2^1403746-1 is not prime. Res64: F031BEE10A72E5DC Time : 0.0 sec. user=mdettweiler [2015-07-21 05:35:34] 755*2^1403746-1 is not prime. Res64: BCDADCC9E2AA9890 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:08] 765*2^1403746-1 is not prime. Res64: D826DAE4EC94444F Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:09] 773*2^1403746-1 is not prime. Res64: ECA9A61278372C04 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:21] 945*2^1403746-1 is not prime. Res64: 71C57D857B657848 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:22] 621*2^1403747-1 is not prime. Res64: 4CFB75E7FFFDDA97 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:53] 861*2^1403747-1 is not prime. Res64: 243BD628D9D590B7 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:52:53] 903*2^1403747-1 is not prime. Res64: C7065FF37FA2F9F7 Time : 0.0 sec. user=mdettweiler [2015-07-21 05:53:02] 909*2^1403747-1 is not prime. Res64: 2732307A93C9C18E Time : 0.0 sec. user=mdettweiler [2015-07-21 05:53:03] 981*2^1403747-1 is not prime. Res64: 3EBFCCDDF979E1BB Time : 0.0 sec. user=mdettweiler [2015-07-21 06:09:29] 657*2^1403748-1 is not prime. Res64: 3FE8672D5F9805C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:09:29] 669*2^1403748-1 is not prime. Res64: C6561AA03ED56C45 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:09:49] 737*2^1403748-1 is not prime. Res64: FD1BBB59E1AE5561 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:09:50] 753*2^1403748-1 is not prime. Res64: 78B97E60F5911F82 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:10:19] 783*2^1403748-1 is not prime. Res64: FE4884ADD037FB8C Time : 0.0 sec. user=mdettweiler [2015-07-21 06:10:20] 893*2^1403748-1 is not prime. Res64: 81AEEC73FD4C7098 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:10:32] 933*2^1403748-1 is not prime. Res64: 427E1FC094808215 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:10:32] 959*2^1403748-1 is not prime. Res64: 4C44269695173DCA Time : 0.0 sec. user=mdettweiler [2015-07-21 06:26:59] 975*2^1403748-1 is not prime. Res64: AB5D2F64D11844FE Time : 0.0 sec. user=mdettweiler [2015-07-21 06:27:00] 999*2^1403748-1 is not prime. Res64: 763761985D2C346D Time : 0.0 sec. user=mdettweiler [2015-07-21 06:27:19] 687*2^1403749-1 is not prime. Res64: 500799AFFA68D756 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:27:19] 729*2^1403749-1 is not prime. Res64: 5F3CE4B43BDA03D6 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:27:45] 835*2^1403749-1 is not prime. Res64: C717E741C52D3DB6 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:27:45] 877*2^1403749-1 is not prime. Res64: 099B0A0A893CB22A Time : 0.0 sec. user=mdettweiler [2015-07-21 06:28:03] 919*2^1403749-1 is not prime. Res64: 94CCAD9623EEEFA0 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:28:03] 603*2^1403750-1 is not prime. Res64: 58B041D2C660EAC8 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:44:22] 635*2^1403750-1 is not prime. Res64: D5566CB874C2E57C Time : 0.0 sec. user=mdettweiler [2015-07-21 06:44:23] 687*2^1403750-1 is not prime. Res64: 7120B82B9A3EC268 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:44:39] 741*2^1403750-1 is not prime. Res64: 0B0B406C2D9DA879 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:44:39] 761*2^1403750-1 is not prime. Res64: B338E851DC5BE893 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:45:09] 851*2^1403750-1 is not prime. Res64: 2438E7DC1C24EDE5 Time : 0.0 sec. user=mdettweiler [2015-07-21 06:45:09] 625*2^1403751-1 is not prime. Res64: 616A7DEF02D0B38F Time : 0.0 sec. user=mdettweiler [2015-07-21 06:45:22] 703*2^1403751-1 is not prime. Res64: 4AC1BD401160089A Time : 0.0 sec. user=mdettweiler [2015-07-21 06:45:23] 763*2^1403751-1 is not prime. Res64: D0040585BE5825D3 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:01:55] 975*2^1403751-1 is not prime. Res64: F99A69A24C6FBD5C Time : 0.0 sec. user=mdettweiler [2015-07-21 07:01:56] 605*2^1403752-1 is not prime. Res64: CF3BA683808534C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:03] 699*2^1403752-1 is not prime. Res64: 6B3C7741C1492DD4 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:04] 719*2^1403752-1 is not prime. Res64: 756F359C1F517DD1 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:44] 939*2^1403752-1 is not prime. Res64: 00F52B34188C9B51 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:45] 759*2^1403752-1 is not prime. Res64: 0B29BD0379E5F06E Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:45] 965*2^1403752-1 is not prime. Res64: FD092ADBA5331155 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:02:45] 827*2^1403752-1 is not prime. Res64: 29171B52D77C6CDE Time : 0.0 sec. user=mdettweiler [2015-07-21 07:19:38] 615*2^1403753-1 is not prime. Res64: D9F6001473539588 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:19:38] 861*2^1403753-1 is not prime. Res64: 7C211F33CB6FEF88 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:19:38] 759*2^1403753-1 is not prime. Res64: 2C3237A79CDB3A78 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:19:39] 867*2^1403753-1 is not prime. Res64: 4447F7DFE8F7AB5A Time : 0.0 sec. user=mdettweiler [2015-07-21 07:20:11] 939*2^1403753-1 is not prime. Res64: 94DBCE4B50BE4A3B Time : 0.0 sec. user=mdettweiler [2015-07-21 07:20:11] 615*2^1403754-1 is not prime. Res64: A37CB4331AAB7F36 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:20:15] 633*2^1403754-1 is not prime. Res64: 0B322854F7E20C1E Time : 0.0 sec. user=mdettweiler [2015-07-21 07:20:16] 651*2^1403754-1 is not prime. Res64: 91179973ACC0A00A Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:05] 873*2^1403754-1 is not prime. Res64: 6FB30C6BEE4441C7 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:06] 893*2^1403754-1 is not prime. Res64: 2B0E42BE50F61DDA Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:12] 915*2^1403754-1 is not prime. Res64: 8FFD2846B945B37E Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:13] 971*2^1403754-1 is not prime. Res64: 8043E03D12B95927 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:32] 619*2^1403755-1 is not prime. Res64: 1DE7B52F392C7C26 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:32] 759*2^1403755-1 is not prime. Res64: 1643F79CA560F92B Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:46] 783*2^1403755-1 is not prime. Res64: 9EE58C0AD047709D Time : 0.0 sec. user=mdettweiler [2015-07-21 07:37:46] 793*2^1403755-1 is not prime. Res64: C1ED81E0C1AC8C18 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:40] 805*2^1403755-1 is not prime. Res64: 0DFC579F63A2495D Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:41] 843*2^1403755-1 is not prime. Res64: 13F4EBFE5EC632AE Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:46] 853*2^1403755-1 is not prime. Res64: 3BAA1DC866F66187 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:46] 985*2^1403755-1 is not prime. Res64: DDF36FA992BEBA65 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:58] 623*2^1403756-1 is not prime. Res64: F0CB755F7B808C87 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:54:59] 749*2^1403756-1 is not prime. Res64: C7E5AB78B50E97B2 Time : 0.0 sec. user=mdettweiler [2015-07-21 07:55:12] 759*2^1403756-1 is not prime. Res64: C5FDD1954F3D075A Time : 0.0 sec. user=mdettweiler [2015-07-21 07:55:12] 869*2^1403756-1 is not prime. Res64: 40A3C1E1F6D38AFB Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:04] 899*2^1403756-1 is not prime. Res64: 27CEF06E475E2452 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:04] 953*2^1403756-1 is not prime. Res64: A32C1A223529D6D3 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:11] 661*2^1403757-1 is not prime. Res64: A79C11C68FB3BB9A Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:11] 691*2^1403757-1 is not prime. Res64: 7B43E6CC7B12A70A Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:21] 817*2^1403757-1 is not prime. Res64: 488C72C78ED09E79 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:22] 861*2^1403757-1 is not prime. Res64: 57816DC92C438BB8 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:29] 937*2^1403757-1 is not prime. Res64: 477C8AFA021182A6 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:12:30] 979*2^1403757-1 is not prime. Res64: 9A44A92573063988 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:27] 663*2^1403758-1 is not prime. Res64: 9A8582F3AB7A2EEA Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:27] 713*2^1403758-1 is not prime. Res64: D1B5F994A388A845 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:31] 911*2^1403758-1 is not prime. Res64: C0A0D47DAC0C638A Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:32] 957*2^1403758-1 is not prime. Res64: 27E3167077E8B89B Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:42] 981*2^1403758-1 is not prime. Res64: BE9E7114B14DC173 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:43] 609*2^1403759-1 is not prime. Res64: 7DF888610FE27CB6 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:53] 741*2^1403759-1 is not prime. Res64: 889CEA5F16A3F238 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:29:54] 745*2^1403759-1 is not prime. Res64: 04ADD82CDE87CD1A Time : 0.0 sec. user=mdettweiler [2015-07-21 08:46:48] 885*2^1403759-1 is not prime. Res64: 98836B2700F272EA Time : 0.0 sec. user=mdettweiler [2015-07-21 08:46:48] 973*2^1403759-1 is not prime. Res64: 93B2243C23A243E8 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:46:55] 633*2^1403760-1 is not prime. Res64: 9C5BC8BD3C257892 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:46:56] 839*2^1403760-1 is not prime. Res64: AA253B333F93CF02 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:47:02] 679*2^1403761-1 is not prime. Res64: CDF1D7355A6EF835 Time : 0.0 sec. user=mdettweiler [2015-07-21 08:47:03] 687*2^1403761-1 is not prime. Res64: B5ED87DB51274E4F Time : 0.0 sec. user=mdettweiler [2015-07-21 08:47:13] 715*2^1403761-1 is not prime. Res64: 85CD5DCCAE37155D Time : 0.0 sec. user=mdettweiler [2015-07-21 08:47:13] 909*2^1403761-1 is not prime. Res64: 43D21AEAB2C4E84E Time : 0.0 sec. user=mdettweiler [2015-07-21 09:04:37] 979*2^1403761-1 is not prime. Res64: 6D3E26EDC70E7AEC Time : 0.0 sec. user=mdettweiler [2015-07-21 09:04:39] 623*2^1403762-1 is not prime. Res64: DAD0E6C3A24239C4 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:05:00] 741*2^1403762-1 is not prime. Res64: 93306E4C1EF46ACD Time : 0.0 sec. user=mdettweiler [2015-07-21 09:05:01] 785*2^1403762-1 is not prime. Res64: CBB8D33DC327C8A2 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:05:03] 713*2^1403762-1 is not prime. Res64: 78444E2542E2304B Time : 0.0 sec. user=mdettweiler [2015-07-21 09:05:04] 731*2^1403762-1 is not prime. Res64: F797BF7B3A22FC09 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:06:36] 801*2^1403762-1 is not prime. Res64: 1FAFA5A0F03F6D00 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:06:39] 837*2^1403762-1 is not prime. Res64: C4D3852BD87214C6 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:26] 887*2^1403762-1 is not prime. Res64: 6DBAC692A814F29E Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:27] 921*2^1403762-1 is not prime. Res64: B67E78D06B17F97E Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:27] 663*2^1403763-1 is not prime. Res64: BC33173A890C0DE1 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:27] 675*2^1403763-1 is not prime. Res64: 9B0BC7ED44B89F70 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:32] 823*2^1403763-1 is not prime. Res64: 89FEE954D1AF6B0D Time : 0.0 sec. user=mdettweiler [2015-07-21 09:22:32] 873*2^1403763-1 is not prime. Res64: 9DC4C4D22A9E0A1C Time : 0.0 sec. user=mdettweiler [2015-07-21 09:24:28] 913*2^1403763-1 is not prime. Res64: C08FDB1F326372F2 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:24:28] 985*2^1403763-1 is not prime. Res64: CB316E78E8844A1B Time : 0.0 sec. user=mdettweiler [2015-07-21 09:40:10] 657*2^1403764-1 is not prime. Res64: 0BF5AE10342AF2C9 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:40:11] 719*2^1403764-1 is not prime. Res64: 0C4905B052199BF5 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:40:17] 863*2^1403764-1 is not prime. Res64: 7CDD12AA94C5B121 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:40:17] 887*2^1403764-1 is not prime. Res64: 63D31E3A2CAAC3A9 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:42:17] 649*2^1403765-1 is not prime. Res64: C0F45A15EFE23B2F Time : 0.0 sec. user=mdettweiler [2015-07-21 09:42:17] 757*2^1403765-1 is not prime. Res64: 424B9B95B1B4147D Time : 0.0 sec. user=mdettweiler [2015-07-21 09:42:41] 947*2^1403764-1 is not prime. Res64: FE437B9C7BF62444 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:42:42] 983*2^1403764-1 is not prime. Res64: 36B019DD4ECAA430 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:57:39] 859*2^1403765-1 is not prime. Res64: F902CB115CC3E322 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:57:40] 969*2^1403765-1 is not prime. Res64: D42A0A73C13F95FA Time : 0.0 sec. user=mdettweiler [2015-07-21 09:57:51] 707*2^1403766-1 is not prime. Res64: F1DED22316B55EE0 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:57:52] 755*2^1403766-1 is not prime. Res64: 7CEFD97CAB054687 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:59:39] 825*2^1403766-1 is not prime. Res64: 86039AB95CC29129 Time : 0.0 sec. user=mdettweiler [2015-07-21 09:59:40] 833*2^1403766-1 is not prime. Res64: BD24D774FAC81DA1 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:00:14] 873*2^1403766-1 is not prime. Res64: 0E7FD091D2DB4190 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:00:15] 923*2^1403766-1 is not prime. Res64: 8ACA26671B9796CE Time : 0.0 sec. user=mdettweiler [2015-07-21 10:15:10] 651*2^1403767-1 is not prime. Res64: 2AF1EE1DA902DB4D Time : 0.0 sec. user=mdettweiler [2015-07-21 10:15:11] 703*2^1403767-1 is not prime. Res64: 75984C5164978C25 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:15:21] 729*2^1403767-1 is not prime. Res64: CCCEEB657E4F47E4 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:15:21] 763*2^1403767-1 is not prime. Res64: 0D310BCFC74E4D9D Time : 0.0 sec. user=mdettweiler [2015-07-21 10:17:50] 873*2^1403767-1 is not prime. Res64: C39C1D250D309EFD Time : 0.0 sec. user=mdettweiler [2015-07-21 10:17:50] 885*2^1403767-1 is not prime. Res64: 9E6D6EEF8D7C7A92 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:17:50] 883*2^1403767-1 is not prime. Res64: BE3D0CE9F9C393E4 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:17:50] 931*2^1403767-1 is not prime. Res64: 6DC6E1023C5E4FA6 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:32:48] 629*2^1403768-1 is not prime. Res64: 77D249CDA68036A7 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:32:48] 797*2^1403768-1 is not prime. Res64: 091A0500C74C50ED Time : 0.0 sec. user=mdettweiler [2015-07-21 10:34:07] 845*2^1403768-1 is not prime. Res64: 9375BEAA2B7AE6BE Time : 0.0 sec. user=mdettweiler [2015-07-21 10:34:08] 875*2^1403768-1 is not prime. Res64: 0900F5A9AEDAD9C4 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:35:28] 649*2^1403769-1 is not prime. Res64: 9B9782F9D5504BFE Time : 0.0 sec. user=mdettweiler [2015-07-21 10:35:29] 661*2^1403769-1 is not prime. Res64: DE74CBD94E8EF270 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:35:29] 747*2^1403769-1 is not prime. Res64: EBCAAE026B3A31EE Time : 0.0 sec. user=mdettweiler [2015-07-21 10:35:29] 921*2^1403769-1 is not prime. Res64: 4B6CEF26853B8618 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:50:21] 955*2^1403769-1 is not prime. Res64: E528B7806EC8664F Time : 0.0 sec. user=mdettweiler [2015-07-21 10:50:21] 713*2^1403770-1 is not prime. Res64: E650DC937567B51C Time : 0.0 sec. user=mdettweiler [2015-07-21 10:51:34] 735*2^1403770-1 is not prime. Res64: 99B1CB5BD19FC348 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:51:35] 755*2^1403770-1 is not prime. Res64: 6F31343041634CF9 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:52:52] 857*2^1403770-1 is not prime. Res64: 38CFCC35341DB59E Time : 0.0 sec. user=mdettweiler [2015-07-21 10:52:52] 873*2^1403770-1 is not prime. Res64: 2D19F65760FB6184 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:52:57] 905*2^1403770-1 is not prime. Res64: D8093808E5B789D7 Time : 0.0 sec. user=mdettweiler [2015-07-21 10:52:58] 941*2^1403770-1 is not prime. Res64: 529427E781727777 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:07:49] 663*2^1403771-1 is not prime. Res64: 4F5B8518AD96102D Time : 0.0 sec. user=mdettweiler [2015-07-21 11:07:49] 781*2^1403771-1 is not prime. Res64: 4B35850764232D02 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:09:02] 823*2^1403771-1 is not prime. Res64: E0291E6FF33BA7D4 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:09:02] 895*2^1403771-1 is not prime. Res64: 0CE3C3822DB96A9A Time : 0.0 sec. user=mdettweiler [2015-07-21 11:10:19] 931*2^1403771-1 is not prime. Res64: 3E7491A6C03F5FD6 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:10:19] 945*2^1403771-1 is not prime. Res64: 98ADDFC2CF6412FC Time : 0.0 sec. user=mdettweiler [2015-07-21 11:10:31] 981*2^1403771-1 is not prime. Res64: 33BA312484C7C101 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:10:31] 993*2^1403771-1 is not prime. Res64: 7D6E208DA9568EA6 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:25:24] 605*2^1403772-1 is not prime. Res64: 7D1D1FA0C0F57E3D Time : 0.0 sec. user=mdettweiler [2015-07-21 11:25:24] 623*2^1403772-1 is not prime. Res64: 33155091ABDFA58A Time : 0.0 sec. user=mdettweiler [2015-07-21 11:26:43] 647*2^1403772-1 is not prime. Res64: 244B11627E9A372F Time : 0.0 sec. user=mdettweiler [2015-07-21 11:26:44] 759*2^1403772-1 is not prime. Res64: 9789D60E088E2E29 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:27:44] 767*2^1403772-1 is not prime. Res64: 147AD4A5E8B14A35 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:27:44] 779*2^1403772-1 is not prime. Res64: FD3A419DE27A5825 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:27:58] 837*2^1403772-1 is not prime. Res64: 71168528CF898EA7 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:27:58] 899*2^1403772-1 is not prime. Res64: 887E62F42DAB7B5A Time : 0.0 sec. user=mdettweiler [2015-07-21 11:42:52] 965*2^1403772-1 is not prime. Res64: 3A9966C223CEFFEB Time : 0.0 sec. user=mdettweiler [2015-07-21 11:42:52] 975*2^1403772-1 is not prime. Res64: 9A3FCE3CE2821076 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:44:13] 607*2^1403773-1 is not prime. Res64: 86AE94C39ABD1190 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:44:13] 619*2^1403773-1 is not prime. Res64: F1EC0F54AA565FC0 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:45:07] 685*2^1403773-1 is not prime. Res64: 878BE39FB1221727 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:45:07] 805*2^1403773-1 is not prime. Res64: 55116639178A3D90 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:45:24] 817*2^1403773-1 is not prime. Res64: 348F63883BB2F153 Time : 0.0 sec. user=mdettweiler [2015-07-21 11:45:24] 831*2^1403773-1 is not prime. Res64: BE2F7E928D82F331 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:00:20] 847*2^1403773-1 is not prime. Res64: 99B0A7FD6CD017EE Time : 0.0 sec. user=mdettweiler [2015-07-21 12:00:22] 915*2^1403773-1 is not prime. Res64: 4D9A01BF4F89C715 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:01:38] 937*2^1403773-1 is not prime. Res64: A9816D09F872D878 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:01:39] 939*2^1403773-1 is not prime. Res64: 640ABCCDE94AA294 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:02:33] 955*2^1403773-1 is not prime. Res64: ACDC3235D503F03A Time : 0.0 sec. user=mdettweiler [2015-07-21 12:02:34] 981*2^1403773-1 is not prime. Res64: A23536FD276486BF Time : 0.0 sec. user=mdettweiler [2015-07-21 12:02:51] 785*2^1403774-1 is not prime. Res64: 79777C1E0BFB7DF0 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:02:52] 791*2^1403774-1 is not prime. Res64: 38BF96A96299D58A Time : 0.0 sec. user=mdettweiler [2015-07-21 12:17:45] 833*2^1403774-1 is not prime. Res64: 547EA6E17B50A087 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:17:45] 873*2^1403774-1 is not prime. Res64: 39A48830D16CAC34 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:19:04] 971*2^1403774-1 is not prime. Res64: BC21782122747DA6 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:19:04] 1001*2^1403774-1 is not prime. Res64: 29DF50BA5910269D Time : 0.0 sec. user=mdettweiler [2015-07-21 12:19:57] 601*2^1403775-1 is not prime. Res64: 520548FC03A0FF82 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:19:57] 829*2^1403775-1 is not prime. Res64: 89A25085B6767FB4 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:20:14] 899*2^1403776-1 is not prime. Res64: 4AC55B69A3040B03 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:20:15] 909*2^1403776-1 is not prime. Res64: 4FFE519B799403D5 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:35:20] 917*2^1403776-1 is not prime. Res64: 857FFA3557A79B6B Time : 0.0 sec. user=mdettweiler [2015-07-21 12:35:21] 923*2^1403776-1 is not prime. Res64: E694D7CF795ED914 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:36:45] 969*2^1403776-1 is not prime. Res64: 1802A5AC026DEE6D Time : 0.0 sec. user=mdettweiler [2015-07-21 12:36:45] 983*2^1403776-1 is not prime. Res64: D149D988C6B11941 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:37:26] 691*2^1403777-1 is not prime. Res64: CC0AA09221AACAF3 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:37:26] 759*2^1403777-1 is not prime. Res64: 4FA70791595834FD Time : 0.0 sec. user=mdettweiler [2015-07-21 12:37:46] 781*2^1403777-1 is not prime. Res64: 9B99500F19ADF5E4 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:37:47] 985*2^1403777-1 is not prime. Res64: EF34AC9FF267F569 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:52:46] 711*2^1403778-1 is not prime. Res64: FC5EBFF641732703 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:52:47] 825*2^1403778-1 is not prime. Res64: B94A13B5D040B80B Time : 0.0 sec. user=mdettweiler [2015-07-21 12:54:14] 681*2^1403779-1 is not prime. Res64: EA2FC71051E031D9 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:54:14] 885*2^1403779-1 is not prime. Res64: F0AF0387626DF193 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:54:47] 889*2^1403779-1 is not prime. Res64: 3B17F9BC9541AA42 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:54:47] 961*2^1403779-1 is not prime. Res64: 8EDF6A90E28A3137 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:55:12] 973*2^1403779-1 is not prime. Res64: 6E07319CA3B13B66 Time : 0.0 sec. user=mdettweiler [2015-07-21 12:55:13] 633*2^1403780-1 is not prime. Res64: FB5E4F3E19C4ED0F Time : 0.0 sec. user=mdettweiler [2015-07-21 13:10:15] 665*2^1403780-1 is not prime. Res64: 1043E3E9E9D0FCFD Time : 0.0 sec. user=mdettweiler [2015-07-21 13:10:16] 753*2^1403780-1 is not prime. Res64: 6E6C8049C7176A6F Time : 0.0 sec. user=mdettweiler [2015-07-21 13:11:38] 885*2^1403780-1 is not prime. Res64: E2F805D9642416D8 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:11:38] 649*2^1403781-1 is not prime. Res64: 92D80F8744DC1D72 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:12:08] 657*2^1403781-1 is not prime. Res64: 233FB1C4316C0FDD Time : 0.0 sec. user=mdettweiler [2015-07-21 13:12:09] 679*2^1403781-1 is not prime. Res64: 3483D981A282F9C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:12:39] 745*2^1403781-1 is not prime. Res64: 9E9E994FC224CB44 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:12:39] 835*2^1403781-1 is not prime. Res64: D8FE690FF9FFA4D3 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:27:45] 991*2^1403781-1 is not prime. Res64: 4729D9ADDC771B04 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:27:45] 647*2^1403782-1 is not prime. Res64: AB20B7E60F1E47A9 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:29:16] 743*2^1403782-1 is not prime. Res64: 57D72B63C42C89F2 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:29:16] 761*2^1403782-1 is not prime. Res64: AD8C7C4B033B9574 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:29:51] 923*2^1403782-1 is not prime. Res64: DDBB7778E281BCD3 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:29:51] 983*2^1403782-1 is not prime. Res64: C446E8DBA4A1F90B Time : 0.0 sec. user=mdettweiler [2015-07-21 13:30:21] 609*2^1403783-1 is not prime. Res64: AE7030E92E435733 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:30:21] 619*2^1403783-1 is not prime. Res64: 86EB8CB0C48D8036 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:46:03] 679*2^1403783-1 is not prime. Res64: EE87DAD1AF12EEDD Time : 0.0 sec. user=mdettweiler [2015-07-21 13:46:04] 735*2^1403783-1 is not prime. Res64: 7914E7EB5BD846F1 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:47:24] 745*2^1403783-1 is not prime. Res64: 4DBD2A53B2726381 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:47:24] 753*2^1403783-1 is not prime. Res64: F6AE30C4A55DF8E2 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:47:58] 759*2^1403783-1 is not prime. Res64: 538CBD1BD782F9BA Time : 0.0 sec. user=mdettweiler [2015-07-21 13:47:59] 825*2^1403783-1 is not prime. Res64: 418C0EED6DF827C6 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:48:31] 859*2^1403783-1 is not prime. Res64: D001F4624EA372E7 Time : 0.0 sec. user=mdettweiler [2015-07-21 13:48:31] 921*2^1403783-1 is not prime. Res64: DCAE40D5630910AB Time : 0.0 sec. user=mdettweiler [2015-07-21 14:04:10] 985*2^1403783-1 is not prime. Res64: A3FB9CBBF57B6117 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:04:12] 663*2^1403784-1 is not prime. Res64: CCC04949C10A3FCA Time : 0.0 sec. user=mdettweiler [2015-07-21 14:05:24] 665*2^1403784-1 is not prime. Res64: 8A4BAD4669863915 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:05:25] 707*2^1403784-1 is not prime. Res64: 7478C70E61E2D740 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:06:09] 747*2^1403784-1 is not prime. Res64: 563630B46924DED8 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:06:10] 759*2^1403784-1 is not prime. Res64: A9E51FF1DBC6A5AF Time : 0.0 sec. user=mdettweiler [2015-07-21 14:06:34] 843*2^1403784-1 is not prime. Res64: 7E01EE08A2733FF4 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:06:37] 915*2^1403784-1 is not prime. Res64: 33568B12C9C36406 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:22:02] 957*2^1403784-1 is not prime. Res64: EAA6D9B38B89CF55 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:22:03] 609*2^1403785-1 is not prime. Res64: 3BD4AD3771E6029E Time : 0.0 sec. user=mdettweiler [2015-07-21 14:23:14] 811*2^1403785-1 is not prime. Res64: C661E62E68700F44 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:23:14] 849*2^1403785-1 is not prime. Res64: 4648798E3F2A0F23 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:23:58] 889*2^1403785-1 is not prime. Res64: 36C5FE45A4E976AF Time : 0.0 sec. user=mdettweiler [2015-07-21 14:23:58] 633*2^1403786-1 is not prime. Res64: D408D99A270D8F94 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:24:18] 743*2^1403786-1 is not prime. Res64: 5F06131AFF674D19 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:24:18] 831*2^1403786-1 is not prime. Res64: 6D12A832CCB57323 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:40:16] 857*2^1403786-1 is not prime. Res64: BDDDB40C14639417 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:40:16] 873*2^1403786-1 is not prime. Res64: 1005B7AC75819790 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:41:22] 893*2^1403786-1 is not prime. Res64: 9C0DBEFBA08FC29B Time : 0.0 sec. user=mdettweiler [2015-07-21 14:41:23] 941*2^1403786-1 is not prime. Res64: FE56E40CE160C830 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:42:16] 957*2^1403786-1 is not prime. Res64: B0A95FF29074B403 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:42:16] 685*2^1403787-1 is not prime. Res64: 1FD5BB96D2051321 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:42:37] 765*2^1403787-1 is not prime. Res64: 61AC644B6F21EC3E Time : 0.0 sec. user=mdettweiler [2015-07-21 14:42:37] 849*2^1403787-1 is not prime. Res64: FD88E932E5AC672E Time : 0.0 sec. user=mdettweiler [2015-07-21 14:58:10] 861*2^1403787-1 is not prime. Res64: A260608ABF53E56A Time : 0.0 sec. user=mdettweiler [2015-07-21 14:58:11] 951*2^1403787-1 is not prime. Res64: 645EE5E6E7A46AC5 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:59:11] 973*2^1403787-1 is not prime. Res64: B2783448B0A57380 Time : 0.0 sec. user=mdettweiler [2015-07-21 14:59:11] 663*2^1403788-1 is not prime. Res64: CE3D500CA12F981F Time : 0.0 sec. user=mdettweiler [2015-07-21 15:00:24] 687*2^1403788-1 is not prime. Res64: B68A4417DDADACF1 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:00:26] 743*2^1403788-1 is not prime. Res64: 9377568F7265F14C Time : 0.0 sec. user=mdettweiler [2015-07-21 15:00:29] 755*2^1403788-1 is not prime. Res64: BC1B405461B8BF11 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:00:29] 765*2^1403788-1 is not prime. Res64: FD35CA22576098DD Time : 0.0 sec. user=mdettweiler [2015-07-21 15:16:20] 887*2^1403788-1 is not prime. Res64: 1021F231778946EC Time : 0.0 sec. user=mdettweiler [2015-07-21 15:16:21] 989*2^1403788-1 is not prime. Res64: 635176613DE81569 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:17:30] 775*2^1403789-1 is not prime. Res64: 6D6F0B18F9E4B120 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:17:30] 931*2^1403789-1 is not prime. Res64: 64B52554DF63254F Time : 0.0 sec. user=mdettweiler [2015-07-21 15:18:43] 969*2^1403789-1 is not prime. Res64: 70329832E1C99B2F Time : 0.0 sec. user=mdettweiler [2015-07-21 15:18:43] 987*2^1403789-1 is not prime. Res64: 1F6CDB39745CA823 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:18:50] 611*2^1403790-1 is not prime. Res64: 6E3AC9E2BDE36027 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:18:50] 741*2^1403790-1 is not prime. Res64: FDE422582D4276FC Time : 0.0 sec. user=mdettweiler [2015-07-21 15:35:08] 777*2^1403790-1 is not prime. Res64: 9A2718A9ADB27AA7 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:35:08] 783*2^1403790-1 is not prime. Res64: BDEC2D0C51AD5640 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:36:11] 801*2^1403790-1 is not prime. Res64: 714261CABCA8E178 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:36:11] 917*2^1403790-1 is not prime. Res64: E773C40250B92140 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:37:33] 651*2^1403791-1 is not prime. Res64: 5F70DAB6B0B42BF9 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:37:33] 693*2^1403791-1 is not prime. Res64: 36E0B78CA13DA1D2 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:37:46] 769*2^1403791-1 is not prime. Res64: 771A246015FE7C4E Time : 0.0 sec. user=mdettweiler [2015-07-21 15:37:47] 883*2^1403791-1 is not prime. Res64: CDDF2099671CBCB0 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:53:39] 901*2^1403791-1 is not prime. Res64: EA3923C40FB1F981 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:53:40] 975*2^1403791-1 is not prime. Res64: D797CF5C6F73EB1D Time : 0.0 sec. user=mdettweiler [2015-07-21 15:54:44] 603*2^1403792-1 is not prime. Res64: 0071729900BB79BD Time : 0.0 sec. user=mdettweiler [2015-07-21 15:54:44] 617*2^1403792-1 is not prime. Res64: FCEAD3FC268E535C Time : 0.0 sec. user=mdettweiler [2015-07-21 15:55:57] 675*2^1403792-1 is not prime. Res64: FA09D8F2C3EA92CE Time : 0.0 sec. user=mdettweiler [2015-07-21 15:55:57] 755*2^1403792-1 is not prime. Res64: B2FDA1D5C4F960B9 Time : 0.0 sec. user=mdettweiler [2015-07-21 15:56:12] 959*2^1403792-1 is not prime. Res64: 4548FC49E9DF56EB Time : 0.0 sec. user=mdettweiler [2015-07-21 15:56:12] 627*2^1403793-1 is not prime. Res64: 021A6EE0930022DE Time : 0.0 sec. user=mdettweiler [2015-07-21 16:11:14] 657*2^1403793-1 is not prime. Res64: 4D5411755822B9BC Time : 0.0 sec. user=mdettweiler [2015-07-21 16:11:14] 685*2^1403793-1 is not prime. Res64: 51824C2A4413B421 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:12:37] 705*2^1403793-1 is not prime. Res64: CF0F47B74B5B5284 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:12:37] 747*2^1403793-1 is not prime. Res64: D494EC08F69CC106 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:13:44] 817*2^1403793-1 is not prime. Res64: 88CB368E6ADDCE61 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:13:45] 937*2^1403793-1 is not prime. Res64: 313BE7BD6687B12E Time : 0.0 sec. user=mdettweiler [2015-07-21 16:13:55] 951*2^1403793-1 is not prime. Res64: F0CAB3FB1FE8F86B Time : 0.0 sec. user=mdettweiler [2015-07-21 16:13:55] 611*2^1403794-1 is not prime. Res64: 119ABD1D7F23F815 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:29:00] 671*2^1403794-1 is not prime. Res64: 4F2F808C710B7D85 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:29:01] 675*2^1403794-1 is not prime. Res64: A0D887CDE5B4B009 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:30:18] 717*2^1403794-1 is not prime. Res64: 23D8321C42FA08A2 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:30:18] 741*2^1403794-1 is not prime. Res64: 50CDA8708E9AFF71 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:31:24] 783*2^1403794-1 is not prime. Res64: 8E73A3C377E1CAB2 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:31:25] 815*2^1403794-1 is not prime. Res64: E1853CB3CC9727A7 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:31:28] 827*2^1403794-1 is not prime. Res64: 8FF0C8E039C502D2 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:31:28] 855*2^1403794-1 is not prime. Res64: 795C34A6DB31AE62 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:46:39] 885*2^1403794-1 is not prime. Res64: D432589F05B785BC Time : 0.0 sec. user=mdettweiler [2015-07-21 16:46:40] 993*2^1403794-1 is not prime. Res64: 44A8CB2A8C647D6B Time : 0.0 sec. user=mdettweiler [2015-07-21 16:48:01] 643*2^1403795-1 is not prime. Res64: E393F544DC82AE86 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:48:01] 685*2^1403795-1 is not prime. Res64: 220201595B713F3E Time : 0.0 sec. user=mdettweiler [2015-07-21 16:49:03] 973*2^1403795-1 is not prime. Res64: 76A05E470C45B688 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:49:04] 981*2^1403795-1 is not prime. Res64: 2658088E42971550 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:49:10] 915*2^1403795-1 is not prime. Res64: 296B7C2054B4DBF7 Time : 0.0 sec. user=mdettweiler [2015-07-21 16:49:11] 939*2^1403795-1 is not prime. Res64: 61DA8F0D5BA84401 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:04:22] 719*2^1403796-1 is not prime. Res64: BA475634F1BD85E1 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:04:23] 773*2^1403796-1 is not prime. Res64: 0EF387874F45D835 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:05:38] 779*2^1403796-1 is not prime. Res64: F0DD9EF9A8098523 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:05:40] 845*2^1403796-1 is not prime. Res64: 1CF6748DEE504457 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:06:44] 857*2^1403796-1 is not prime. Res64: F806B86463D3FE65 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:06:45] 923*2^1403796-1 is not prime. Res64: 42D1F492DCBB1E75 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:06:53] 975*2^1403796-1 is not prime. Res64: 32CD596C7F0E5B90 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:06:53] 999*2^1403796-1 is not prime. Res64: 68C62C0EF52926D0 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:22:23] 649*2^1403797-1 is not prime. Res64: D05A8EC2F552BC7D Time : 0.0 sec. user=mdettweiler [2015-07-21 17:22:24] 769*2^1403797-1 is not prime. Res64: 29441F3080C7ECEE Time : 0.0 sec. user=mdettweiler [2015-07-21 17:23:32] 817*2^1403797-1 is not prime. Res64: FB6940E71EAD6705 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:23:32] 831*2^1403797-1 is not prime. Res64: DFC3964ED075CB4B Time : 0.0 sec. user=mdettweiler [2015-07-21 17:24:25] 603*2^1403798-1 is not prime. Res64: DBD9FCDCCA31FC56 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:24:26] 627*2^1403798-1 is not prime. Res64: 78D95AE7AE5A8CD4 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:24:35] 635*2^1403798-1 is not prime. Res64: 3BBB80B4404EEE8C Time : 0.0 sec. user=mdettweiler [2015-07-21 17:24:35] 663*2^1403798-1 is not prime. Res64: CF52BD2D249B2E40 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:40:10] 813*2^1403798-1 is not prime. Res64: B60B21FFF666C2E3 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:40:11] 861*2^1403798-1 is not prime. Res64: 7B3FBC21D194CC0E Time : 0.0 sec. user=mdettweiler [2015-07-21 17:41:16] 885*2^1403798-1 is not prime. Res64: 93006351B3C08B8D Time : 0.0 sec. user=mdettweiler [2015-07-21 17:41:17] 977*2^1403798-1 is not prime. Res64: 731C2B48BB5D075F Time : 0.0 sec. user=mdettweiler [2015-07-21 17:42:07] 615*2^1403799-1 is not prime. Res64: A7285B50881A4CAA Time : 0.0 sec. user=mdettweiler [2015-07-21 17:42:08] 619*2^1403799-1 is not prime. Res64: BCB32117D4F096C6 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:42:24] 723*2^1403799-1 is not prime. Res64: 9A9EC007D1ABAD56 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:42:24] 763*2^1403799-1 is not prime. Res64: C63977480EC32BFF Time : 0.0 sec. user=mdettweiler [2015-07-21 17:57:53] 891*2^1403799-1 is not prime. Res64: 99D252E485F53698 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:57:54] 919*2^1403799-1 is not prime. Res64: 2961A19C6721634E Time : 0.0 sec. user=mdettweiler [2015-07-21 17:59:06] 689*2^1403800-1 is not prime. Res64: 53AC7B39FA2878B4 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:59:07] 693*2^1403800-1 is not prime. Res64: E729CE4BA8CA54AE Time : 0.0 sec. user=mdettweiler [2015-07-21 17:59:53] 827*2^1403800-1 is not prime. Res64: 0AF6FD84849DAA53 Time : 0.0 sec. user=mdettweiler [2015-07-21 17:59:53] 833*2^1403800-1 is not prime. Res64: 61D0723D8F2F8FD8 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:00:12] 839*2^1403800-1 is not prime. Res64: 296B8C9D9041B675 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:00:13] 849*2^1403800-1 is not prime. Res64: 042F480F52E39AAA Time : 0.0 sec. user=mdettweiler [2015-07-21 18:15:31] 863*2^1403800-1 is not prime. Res64: B1D52802C7D4850F Time : 0.0 sec. user=mdettweiler [2015-07-21 18:15:32] 927*2^1403800-1 is not prime. Res64: 2D3062AB8EA5B73F Time : 0.0 sec. user=mdettweiler [2015-07-21 18:16:47] 619*2^1403801-1 is not prime. Res64: AA778A79CA9CEFEC Time : 0.0 sec. user=mdettweiler [2015-07-21 18:16:47] 691*2^1403801-1 is not prime. Res64: 9FA31B41E2F7F8FE Time : 0.0 sec. user=mdettweiler [2015-07-21 18:17:32] 711*2^1403801-1 is not prime. Res64: 30160DC6757D0E3D Time : 0.0 sec. user=mdettweiler [2015-07-21 18:17:33] 747*2^1403801-1 is not prime. Res64: DCB73DEDEDD39D7A Time : 0.0 sec. user=mdettweiler [2015-07-21 18:17:58] 861*2^1403801-1 is not prime. Res64: 6E0487DC63CAC91C Time : 0.0 sec. user=mdettweiler [2015-07-21 18:17:59] 939*2^1403801-1 is not prime. Res64: 854DDC69DA79BC68 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:33:13] 949*2^1403801-1 is not prime. Res64: 7869AA4C956D3608 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:33:14] 987*2^1403801-1 is not prime. Res64: 50446D2BBF41945C Time : 0.0 sec. user=mdettweiler [2015-07-21 18:34:21] 621*2^1403802-1 is not prime. Res64: 186D1E600FA86E29 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:34:21] 651*2^1403802-1 is not prime. Res64: 760AC39155440028 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:35:10] 977*2^1403802-1 is not prime. Res64: 6830CFDBD3089F5F Time : 0.0 sec. user=mdettweiler [2015-07-21 18:35:11] 765*2^1403803-1 is not prime. Res64: 490E9D8943E8DE01 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:35:43] 769*2^1403803-1 is not prime. Res64: 27C3EDB8F1EAD3F5 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:35:43] 835*2^1403803-1 is not prime. Res64: 2BA6656089EE911F Time : 0.0 sec. user=mdettweiler [2015-07-21 18:51:01] 919*2^1403803-1 is not prime. Res64: EF10476DA538C3CB Time : 0.0 sec. user=mdettweiler [2015-07-21 18:51:02] 945*2^1403803-1 is not prime. Res64: 26BBB958FA47F667 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:51:56] 985*2^1403803-1 is not prime. Res64: 2019A632CC1E6A40 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:51:56] 605*2^1403804-1 is not prime. Res64: 4CB2741613C47CBF Time : 0.0 sec. user=mdettweiler [2015-07-21 18:52:54] 617*2^1403804-1 is not prime. Res64: EA05EB4599F41801 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:52:54] 635*2^1403804-1 is not prime. Res64: 0D9CFAD2A024051B Time : 0.0 sec. user=mdettweiler [2015-07-21 18:53:27] 717*2^1403804-1 is not prime. Res64: 3FCFF75DE3436116 Time : 0.0 sec. user=mdettweiler [2015-07-21 18:53:27] 743*2^1403804-1 is not prime. Res64: 3AEF9BC025825B76 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:08:33] 753*2^1403804-1 is not prime. Res64: F9964281A4A0E60C Time : 0.0 sec. user=mdettweiler [2015-07-21 19:08:34] 625*2^1403805-1 is not prime. Res64: 958B86298490B586 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:09:35] 611*2^1403806-1 is not prime. Res64: 4C3A0DA550E4E96C Time : 0.0 sec. user=mdettweiler [2015-07-21 19:09:35] 647*2^1403806-1 is not prime. Res64: 7807A43940B63FEF Time : 0.0 sec. user=mdettweiler [2015-07-21 19:10:37] 651*2^1403806-1 is not prime. Res64: 16D439C7017101B9 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:10:37] 755*2^1403806-1 is not prime. Res64: F70DBEEF1E454895 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:11:02] 843*2^1403806-1 is not prime. Res64: 59BB5110C414105A Time : 0.0 sec. user=mdettweiler [2015-07-21 19:11:02] 923*2^1403806-1 is not prime. Res64: FD4243BED0774CCE Time : 0.0 sec. user=mdettweiler [2015-07-21 19:26:17] 971*2^1403806-1 is not prime. Res64: D7FDBB9B37CE815B Time : 0.0 sec. user=mdettweiler [2015-07-21 19:26:17] 1001*2^1403806-1 is not prime. Res64: 7A39B622F669DACE Time : 0.0 sec. user=mdettweiler [2015-07-21 19:27:21] 609*2^1403807-1 is not prime. Res64: 8437304EA2E1D8B5 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:27:21] 643*2^1403807-1 is not prime. Res64: EAEE27E0C6D551EB Time : 0.0 sec. user=mdettweiler [2015-07-21 19:28:16] 705*2^1403807-1 is not prime. Res64: 5BF1420769DB29D4 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:28:17] 909*2^1403807-1 is not prime. Res64: 2CBC31833EFFE825 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:28:45] 913*2^1403807-1 is not prime. Res64: 81CFB3B147F54A3A Time : 0.0 sec. user=mdettweiler [2015-07-21 19:28:45] 949*2^1403807-1 is not prime. Res64: 8E1B95FA4C1C6C60 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:43:51] 985*2^1403807-1 is not prime. Res64: E93BCAE06FF07090 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:43:52] 663*2^1403808-1 is not prime. Res64: C63A85765AB951BD Time : 0.0 sec. user=mdettweiler [2015-07-21 19:45:05] 845*2^1403808-1 is not prime. Res64: B09374BDB0C9436F Time : 0.0 sec. user=mdettweiler [2015-07-21 19:45:06] 849*2^1403808-1 is not prime. Res64: 5DD6CBE61B6D9960 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:45:55] 867*2^1403808-1 is not prime. Res64: 6539FC13000CDF30 Time : 0.0 sec. user=mdettweiler [2015-07-21 19:45:56] 619*2^1403809-1 is not prime. Res64: 325A0B9DB472D71D Time : 0.0 sec. user=mdettweiler [2015-07-21 19:46:23] 625*2^1403809-1 is not prime. Res64: 24208A02741D2C5A Time : 0.0 sec. user=mdettweiler [2015-07-21 19:46:23] 639*2^1403809-1 is not prime. Res64: 9DB11EC8B3FB9F6E Time : 0.0 sec. user=mdettweiler [2015-07-21 20:01:37] 649*2^1403809-1 is not prime. Res64: 27C3706C91A23411 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:01:38] 729*2^1403809-1 is not prime. Res64: A9AE7AABDE68419B Time : 0.0 sec. user=mdettweiler [2015-07-21 20:02:41] 771*2^1403809-1 is not prime. Res64: 6B645DF50665D611 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:02:42] 855*2^1403809-1 is not prime. Res64: 05BE4669731F5B11 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:03:30] 623*2^1403810-1 is not prime. Res64: B4A674681A052D93 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:03:31] 641*2^1403810-1 is not prime. Res64: C2D742409843525A Time : 0.0 sec. user=mdettweiler [2015-07-21 20:03:57] 687*2^1403810-1 is not prime. Res64: 78040F71B25B404E Time : 0.0 sec. user=mdettweiler [2015-07-21 20:03:58] 717*2^1403810-1 is not prime. Res64: CD144B0276CC4743 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:19:26] 735*2^1403810-1 is not prime. Res64: 257AA4920AFDB625 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:19:27] 833*2^1403810-1 is not prime. Res64: 9DB6113FF0595286 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:20:32] 851*2^1403810-1 is not prime. Res64: AB5CE5DC60D3420C Time : 0.0 sec. user=mdettweiler [2015-07-21 20:20:33] 875*2^1403810-1 is not prime. Res64: AF0AEE70C941F593 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:21:10] 615*2^1403811-1 is not prime. Res64: B8EE3652BBA47DCA Time : 0.0 sec. user=mdettweiler [2015-07-21 20:21:10] 745*2^1403811-1 is not prime. Res64: 763B1650EC66C594 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:21:42] 789*2^1403811-1 is not prime. Res64: C9743BF3B6264022 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:21:43] 825*2^1403811-1 is not prime. Res64: C0C2A526B32095DF Time : 0.0 sec. user=mdettweiler [2015-07-21 20:37:04] 885*2^1403811-1 is not prime. Res64: DF2787A37C2D1F64 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:37:04] 913*2^1403811-1 is not prime. Res64: 10F63F62AAB89437 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:38:14] 931*2^1403811-1 is not prime. Res64: C817409E9CAA253F Time : 0.0 sec. user=mdettweiler [2015-07-21 20:38:14] 961*2^1403811-1 is not prime. Res64: B541264D558F4AAC Time : 0.0 sec. user=mdettweiler [2015-07-21 20:38:44] 609*2^1403812-1 is not prime. Res64: 734D8866370D8BB0 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:38:44] 615*2^1403812-1 is not prime. Res64: E7368E08F9835554 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:39:26] 623*2^1403812-1 is not prime. Res64: 9CFD29DB330F4A54 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:39:26] 665*2^1403812-1 is not prime. Res64: 7DBDBB96E176EDA7 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:54:41] 777*2^1403812-1 is not prime. Res64: 77090B09DF46B0B9 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:54:41] 779*2^1403812-1 is not prime. Res64: 066E7AED59FCE616 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:55:51] 843*2^1403812-1 is not prime. Res64: 96228031F0B43708 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:55:51] 863*2^1403812-1 is not prime. Res64: 2052A94C5DB6B12C Time : 0.0 sec. user=mdettweiler [2015-07-21 20:56:24] 933*2^1403812-1 is not prime. Res64: F77F9C924E1CE480 Time : 0.0 sec. user=mdettweiler [2015-07-21 20:56:24] 957*2^1403812-1 is not prime. Res64: A4D4AC85AFCBC60C Time : 0.0 sec. user=mdettweiler [2015-07-21 20:57:04] 975*2^1403812-1 is not prime. Res64: 4195FDC7145DCB8D Time : 0.0 sec. user=mdettweiler [2015-07-21 20:57:04] 607*2^1403813-1 is not prime. Res64: D1B5E053D9797B39 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:12:26] 741*2^1403813-1 is not prime. Res64: 0E58755877B6133E Time : 0.0 sec. user=mdettweiler [2015-07-21 21:12:27] 769*2^1403813-1 is not prime. Res64: 35C5DE8DF6A13282 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:13:30] 819*2^1403813-1 is not prime. Res64: B1BF04AFE271291A Time : 0.0 sec. user=mdettweiler [2015-07-21 21:13:31] 871*2^1403813-1 is not prime. Res64: 571273193673DD73 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:14:07] 889*2^1403813-1 is not prime. Res64: 246647F1D8BCD9C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:14:07] 969*2^1403813-1 is not prime. Res64: 4414F032D26BF578 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:14:57] 981*2^1403813-1 is not prime. Res64: 1DA1FE084A0012C4 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:14:57] 627*2^1403814-1 is not prime. Res64: 00AE79590D967B8D Time : 0.0 sec. user=mdettweiler [2015-07-21 21:30:16] 707*2^1403814-1 is not prime. Res64: F81DF8F25839FC61 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:30:16] 741*2^1403814-1 is not prime. Res64: 89F7139896987862 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:31:19] 927*2^1403814-1 is not prime. Res64: B063C9A6E5D93FB3 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:31:20] 1001*2^1403814-1 is not prime. Res64: A495EA6789D34B0E Time : 0.0 sec. user=mdettweiler [2015-07-21 21:32:02] 633*2^1403815-1 is not prime. Res64: E1843953FCA3DC64 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:32:02] 789*2^1403815-1 is not prime. Res64: 683D6ED8103A50F3 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:32:45] 873*2^1403815-1 is not prime. Res64: 21A7579547F3A41D Time : 0.0 sec. user=mdettweiler [2015-07-21 21:32:45] 973*2^1403815-1 is not prime. Res64: E532A0A2964D82D3 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:48:05] 985*2^1403815-1 is not prime. Res64: EB8AD85FFC9E4B45 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:48:05] 635*2^1403816-1 is not prime. Res64: AC3AC4721A716333 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:49:00] 755*2^1403816-1 is not prime. Res64: 4579C213367242EA Time : 0.0 sec. user=mdettweiler [2015-07-21 21:49:01] 815*2^1403816-1 is not prime. Res64: 25B7CF93C819AFC9 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:49:38] 879*2^1403816-1 is not prime. Res64: EC20162D5528290C Time : 0.0 sec. user=mdettweiler [2015-07-21 21:49:38] 903*2^1403816-1 is not prime. Res64: 0F8A7B1171C7D9C5 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:50:29] 969*2^1403816-1 is not prime. Res64: 3896C5C849FD9720 Time : 0.0 sec. user=mdettweiler [2015-07-21 21:50:29] 993*2^1403816-1 is not prime. Res64: E75F7D0F818EDBC2 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:05:53] 741*2^1403817-1 is not prime. Res64: 5EBF2405D9AE30C4 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:05:54] 837*2^1403817-1 is not prime. Res64: BEBC7C438122719B Time : 0.0 sec. user=mdettweiler [2015-07-21 22:06:53] 865*2^1403817-1 is not prime. Res64: B4D92DA5F336F8B0 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:06:53] 623*2^1403818-1 is not prime. Res64: 0EFFE415CC03B26E Time : 0.0 sec. user=mdettweiler [2015-07-21 22:07:23] 755*2^1403818-1 is not prime. Res64: 91BF6B5ACE56B7C9 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:07:23] 857*2^1403818-1 is not prime. Res64: EAFD90D3BE3FE2D1 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:08:18] 891*2^1403818-1 is not prime. Res64: A90E4D7B0A27BC9A Time : 0.0 sec. user=mdettweiler [2015-07-21 22:08:18] 951*2^1403818-1 is not prime. Res64: 3E5AFC2A83F1E36A Time : 0.0 sec. user=mdettweiler [2015-07-21 22:23:36] 981*2^1403818-1 is not prime. Res64: 23C0887D65C774D0 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:23:37] 615*2^1403819-1 is not prime. Res64: CAD830327E369F5F Time : 0.0 sec. user=mdettweiler [2015-07-21 22:24:30] 771*2^1403819-1 is not prime. Res64: 6017C78B5BC85644 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:24:30] 823*2^1403819-1 is not prime. Res64: 76F6B5B9267664BB Time : 0.0 sec. user=mdettweiler [2015-07-21 22:25:05] 885*2^1403819-1 is not prime. Res64: DDFB36E05DA47457 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:25:05] 909*2^1403819-1 is not prime. Res64: A950DC4254D5C99D Time : 0.0 sec. user=mdettweiler [2015-07-21 22:25:51] 979*2^1403819-1 is not prime. Res64: 3BCEBDECB178184B Time : 0.0 sec. user=mdettweiler [2015-07-21 22:25:52] 789*2^1403820-1 is not prime. Res64: C6E6F200D0A83214 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:41:09] 809*2^1403820-1 is not prime. Res64: 5E9B04FF52DEA918 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:41:09] 819*2^1403820-1 is not prime. Res64: DD864EA356BF157D Time : 0.0 sec. user=mdettweiler [2015-07-21 22:42:09] 857*2^1403820-1 is not prime. Res64: 9F6716205824ADB9 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:42:10] 879*2^1403820-1 is not prime. Res64: E28A19F03BD19E7A Time : 0.0 sec. user=mdettweiler [2015-07-21 22:42:43] 915*2^1403820-1 is not prime. Res64: 5646B61295CE294A Time : 0.0 sec. user=mdettweiler [2015-07-21 22:42:43] 987*2^1403820-1 is not prime. Res64: A63BBCD3AB084DF0 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:43:38] 681*2^1403821-1 is not prime. Res64: 1E132CAE115D92C0 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:43:38] 717*2^1403821-1 is not prime. Res64: CE653BA0CAD188DC Time : 0.0 sec. user=mdettweiler [2015-07-21 22:58:53] 727*2^1403821-1 is not prime. Res64: DA55498D9B54CD5B Time : 0.0 sec. user=mdettweiler [2015-07-21 22:58:54] 747*2^1403821-1 is not prime. Res64: 190963BCC0AAA706 Time : 0.0 sec. user=mdettweiler [2015-07-21 22:59:51] 811*2^1403821-1 is not prime. Res64: 925BD9962099C54E Time : 0.0 sec. user=mdettweiler [2015-07-21 22:59:52] 847*2^1403821-1 is not prime. Res64: E3B4EF400263AED6 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:00:26] 855*2^1403821-1 is not prime. Res64: 981048A8FF94F6FC Time : 0.0 sec. user=mdettweiler [2015-07-21 23:00:27] 889*2^1403821-1 is not prime. Res64: 207BD8907D2815BD Time : 0.0 sec. user=mdettweiler [2015-07-21 23:01:22] 901*2^1403821-1 is not prime. Res64: 162EE6A536E1703D Time : 0.0 sec. user=mdettweiler [2015-07-21 23:01:22] 997*2^1403821-1 is not prime. Res64: 1FE56D727C2B66DA Time : 0.0 sec. user=mdettweiler [2015-07-21 23:16:32] 635*2^1403822-1 is not prime. Res64: 2FF658FD7D8DF311 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:16:32] 645*2^1403822-1 is not prime. Res64: 9E954FADB8A4DC25 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:17:28] 671*2^1403822-1 is not prime. Res64: 1F107D9B298F187B Time : 0.0 sec. user=mdettweiler [2015-07-21 23:17:29] 693*2^1403822-1 is not prime. Res64: 460B9BE9CC9D629B Time : 0.0 sec. user=mdettweiler [2015-07-21 23:18:03] 761*2^1403822-1 is not prime. Res64: 87DFF49E656F3FDC Time : 0.0 sec. user=mdettweiler [2015-07-21 23:18:04] 813*2^1403822-1 is not prime. Res64: 71A4596F51CDFA64 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:18:59] 833*2^1403822-1 is not prime. Res64: CF90B901187839C9 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:18:59] 873*2^1403822-1 is not prime. Res64: 90338AEB4283ECBD Time : 0.0 sec. user=mdettweiler [2015-07-21 23:34:31] 893*2^1403822-1 is not prime. Res64: 5D74BB5CAEE03FE7 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:34:32] 941*2^1403822-1 is not prime. Res64: 40E2D780D39E0B49 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:35:23] 945*2^1403822-1 is not prime. Res64: 098942B01B1E9FCB Time : 0.0 sec. user=mdettweiler [2015-07-21 23:35:23] 963*2^1403822-1 is not prime. Res64: 51F9B94FC2102F43 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:36:00] 615*2^1403823-1 is not prime. Res64: 89F97F967F0107F1 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:36:00] 661*2^1403823-1 is not prime. Res64: E25D27FCC51D4ED0 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:37:01] 751*2^1403823-1 is not prime. Res64: D96E72F82CB1DCB5 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:37:02] 763*2^1403823-1 is not prime. Res64: 6DD10A1F588CD591 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:52:50] 769*2^1403823-1 is not prime. Res64: 35EA6566D871C912 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:52:50] 795*2^1403823-1 is not prime. Res64: BE46546CCFD7237F Time : 0.0 sec. user=mdettweiler [2015-07-21 23:53:22] 853*2^1403823-1 is not prime. Res64: B236F0407F2F6B41 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:53:22] 891*2^1403823-1 is not prime. Res64: 3714F94430A445BF Time : 0.0 sec. user=mdettweiler [2015-07-21 23:54:13] 609*2^1403824-1 is not prime. Res64: 52FEBF3FF91B4D23 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:54:13] 623*2^1403824-1 is not prime. Res64: 7B9C7CCDEDB982D6 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:55:20] 719*2^1403824-1 is not prime. Res64: 83191E0373FFCF41 Time : 0.0 sec. user=mdettweiler [2015-07-21 23:55:21] 743*2^1403824-1 is not prime. Res64: 7530D75EFD0D1A6E Time : 0.0 sec.