user=mdettweiler [2015-07-26 00:10:52] 663*2^1404159-1 is not prime. Res64: BEF4CEE780E9DD80 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:10:52] 691*2^1404159-1 is not prime. Res64: A895552E55CCC14C Time : 0.0 sec. user=mdettweiler [2015-07-26 00:11:58] 789*2^1404159-1 is not prime. Res64: 578411B4E9437583 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:11:59] 861*2^1404159-1 is not prime. Res64: 3D9F4FED20CCFC40 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:12:45] 865*2^1404159-1 is not prime. Res64: B4562EF9873F7C16 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:12:45] 999*2^1404159-1 is not prime. Res64: 4203806C35652794 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:14:18] 609*2^1404160-1 is not prime. Res64: 167ED5E6C03662E9 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:14:18] 713*2^1404160-1 is not prime. Res64: C22D929BD0892877 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:30:41] 735*2^1404160-1 is not prime. Res64: 6E41891F1FA7233E Time : 0.0 sec. user=mdettweiler [2015-07-26 00:30:42] 849*2^1404160-1 is not prime. Res64: D0477CC5ABC3664D Time : 0.0 sec. user=mdettweiler [2015-07-26 00:31:48] 965*2^1404160-1 is not prime. Res64: 1AE206C8EC661A51 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:31:49] 601*2^1404161-1 is not prime. Res64: 2C30565A31DCAA35 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:32:48] 607*2^1404161-1 is not prime. Res64: 0DDE914295A878B7 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:32:48] 619*2^1404161-1 is not prime. Res64: B8C191B38B35181B Time : 0.0 sec. user=mdettweiler [2015-07-26 00:34:20] 657*2^1404161-1 is not prime. Res64: 1ACC5F50E472B1BB Time : 0.0 sec. user=mdettweiler [2015-07-26 00:34:21] 741*2^1404161-1 is not prime. Res64: 46C13D43F851317B Time : 0.0 sec. user=mdettweiler [2015-07-26 00:50:10] 789*2^1404161-1 is not prime. Res64: F9FE8FC8C62F54D6 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:50:11] 837*2^1404161-1 is not prime. Res64: D4F460C953010EC3 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:51:09] 855*2^1404161-1 is not prime. Res64: 074A5C21D217C3EA Time : 0.0 sec. user=mdettweiler [2015-07-26 00:51:09] 991*2^1404161-1 is not prime. Res64: EF72AFD348A47B94 Time : 0.0 sec. user=mdettweiler [2015-07-26 00:52:14] 717*2^1404162-1 is not prime. Res64: 8721E210556B6CAA Time : 0.0 sec. user=mdettweiler [2015-07-26 00:52:14] 957*2^1404162-1 is not prime. Res64: 15263852520FA7FC Time : 0.0 sec. user=mdettweiler [2015-07-26 00:53:49] 679*2^1404163-1 is not prime. Res64: 95C3ED949B3FAC9B Time : 0.0 sec. user=mdettweiler [2015-07-26 00:53:49] 681*2^1404163-1 is not prime. Res64: 58A989FA51B659CA Time : 0.0 sec. user=mdettweiler [2015-07-26 01:09:47] 691*2^1404163-1 is not prime. Res64: 7D549F9B692CA570 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:09:47] 693*2^1404163-1 is not prime. Res64: 813E098BAD7037EB Time : 0.0 sec. user=mdettweiler [2015-07-26 01:10:47] 775*2^1404163-1 is not prime. Res64: 72F3E525C8081C27 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:10:47] 819*2^1404163-1 is not prime. Res64: 46D8B9A5BF348D64 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:11:59] 849*2^1404163-1 is not prime. Res64: E368769790AD0E69 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:12:00] 853*2^1404163-1 is not prime. Res64: E553D432E6FB1790 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:13:42] 969*2^1404163-1 is not prime. Res64: E4578363854418CA Time : 0.0 sec. user=mdettweiler [2015-07-26 01:13:43] 999*2^1404163-1 is not prime. Res64: 6417CC2C6630D1FD Time : 0.0 sec. user=mdettweiler [2015-07-26 01:28:51] 605*2^1404164-1 is not prime. Res64: 367AE9DF2E88552C Time : 0.0 sec. user=mdettweiler [2015-07-26 01:28:52] 717*2^1404164-1 is not prime. Res64: 9A945842D395543E Time : 0.0 sec. user=mdettweiler [2015-07-26 01:29:44] 819*2^1404164-1 is not prime. Res64: B77F34171FCF06B3 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:29:44] 837*2^1404164-1 is not prime. Res64: 0253EC7588DB2F01 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:31:10] 843*2^1404164-1 is not prime. Res64: 8038F2A65A5D8B8B Time : 0.0 sec. user=mdettweiler [2015-07-26 01:31:11] 953*2^1404164-1 is not prime. Res64: 3D6C468774B89068 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:32:37] 959*2^1404164-1 is not prime. Res64: 7C709F5E5FEB7710 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:32:37] 983*2^1404164-1 is not prime. Res64: 0E40D43AF0430707 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:47:56] 691*2^1404165-1 is not prime. Res64: 74C5A4B20BF2BD67 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:47:57] 741*2^1404165-1 is not prime. Res64: 597514B1B0BC942A Time : 0.0 sec. user=mdettweiler [2015-07-26 01:48:40] 825*2^1404165-1 is not prime. Res64: 26B9BF149400A503 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:48:41] 927*2^1404165-1 is not prime. Res64: 49D55DC000253E9C Time : 0.0 sec. user=mdettweiler [2015-07-26 01:50:12] 949*2^1404165-1 is not prime. Res64: 6A53F20E12191488 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:50:12] 611*2^1404166-1 is not prime. Res64: 6D347D9E308AE2F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:51:29] 635*2^1404166-1 is not prime. Res64: EF6DC84F94D90AC5 Time : 0.0 sec. user=mdettweiler [2015-07-26 01:51:30] 713*2^1404166-1 is not prime. Res64: 1B5A583F919622F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:05:39] 813*2^1404166-1 is not prime. Res64: DFB95B666885EEBA Time : 0.0 sec. user=mdettweiler [2015-07-26 02:05:42] 815*2^1404166-1 is not prime. Res64: 398F4BDE3E010E61 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:06:20] 891*2^1404166-1 is not prime. Res64: B995AD10CA7E6BD5 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:06:22] 911*2^1404166-1 is not prime. Res64: 67218A162277D376 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:07:52] 603*2^1404167-1 is not prime. Res64: 94C01E2C12409E9A Time : 0.0 sec. user=mdettweiler [2015-07-26 02:07:53] 621*2^1404167-1 is not prime. Res64: 1BF3FEF7D5400171 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:09:25] 633*2^1404167-1 is not prime. Res64: 051C8F39E8F572B7 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:09:26] 813*2^1404167-1 is not prime. Res64: FF196F7970E69736 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:23:50] 825*2^1404167-1 is not prime. Res64: B6FDD2E9D7AA8159 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:23:51] 831*2^1404167-1 is not prime. Res64: E7A09B5DF2FADD9E Time : 0.0 sec. user=mdettweiler [2015-07-26 02:24:09] 865*2^1404167-1 is not prime. Res64: D3F101D3DB412CF3 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:24:09] 663*2^1404168-1 is not prime. Res64: 25848B475A162652 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:25:52] 759*2^1404168-1 is not prime. Res64: 6372C167D4C51EDA Time : 0.0 sec. user=mdettweiler [2015-07-26 02:25:52] 777*2^1404168-1 is not prime. Res64: 9FEE211A6E46607A Time : 0.0 sec. user=mdettweiler [2015-07-26 02:27:29] 843*2^1404168-1 is not prime. Res64: 4B8C7F1DF460027F Time : 0.0 sec. user=mdettweiler [2015-07-26 02:27:30] 929*2^1404168-1 is not prime. Res64: A18CA8B4DF1C6FB2 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:41:36] 945*2^1404168-1 is not prime. Res64: 7AA67B0191D43778 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:41:37] 769*2^1404169-1 is not prime. Res64: 4D87126BFAEED633 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:41:57] 957*2^1404169-1 is not prime. Res64: 8B69A2B8F4633721 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:41:57] 967*2^1404169-1 is not prime. Res64: B82213833B4A8451 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:43:37] 985*2^1404169-1 is not prime. Res64: 8DFD6353C9671323 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:43:37] 615*2^1404170-1 is not prime. Res64: 488863708DB30C21 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:45:11] 651*2^1404170-1 is not prime. Res64: 4029FFFED6A2E7CC Time : 0.0 sec. user=mdettweiler [2015-07-26 02:45:12] 657*2^1404170-1 is not prime. Res64: 47F5B42D2F12261E Time : 0.0 sec. user=mdettweiler [2015-07-26 02:59:26] 665*2^1404170-1 is not prime. Res64: 5819AA0236D99588 Time : 0.0 sec. user=mdettweiler [2015-07-26 02:59:27] 677*2^1404170-1 is not prime. Res64: 6251BBCD59D0B43E Time : 0.0 sec. user=mdettweiler [2015-07-26 02:59:51] 753*2^1404170-1 is not prime. Res64: B08882EA97E34C9F Time : 0.0 sec. user=mdettweiler [2015-07-26 02:59:52] 783*2^1404170-1 is not prime. Res64: ADD271B8191B2F4A Time : 0.0 sec. user=mdettweiler [2015-07-26 03:01:30] 785*2^1404170-1 is not prime. Res64: 14967F18D4F1A7C9 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:01:31] 831*2^1404170-1 is not prime. Res64: 2450F00B98A74AE7 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:03:08] 945*2^1404170-1 is not prime. Res64: FB832F229E2593A6 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:03:09] 977*2^1404170-1 is not prime. Res64: 9198CE4DF23C97C0 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:17:04] 981*2^1404170-1 is not prime. Res64: CA87F0BADDA93754 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:17:04] 769*2^1404171-1 is not prime. Res64: 159226D45CA316B3 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:17:32] 975*2^1404171-1 is not prime. Res64: 90EBE6D54332D582 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:17:32] 615*2^1404172-1 is not prime. Res64: 9E916D1D752BD3D2 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:19:15] 653*2^1404172-1 is not prime. Res64: 6FEC9075CD30449F Time : 0.0 sec. user=mdettweiler [2015-07-26 03:19:15] 819*2^1404172-1 is not prime. Res64: 9697C5A3829083F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:21:02] 631*2^1404173-1 is not prime. Res64: 37807B01A0F678D7 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:21:02] 675*2^1404173-1 is not prime. Res64: 004FEA2FBD01BE50 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:35:31] 957*2^1404173-1 is not prime. Res64: 2DBCF5CBF5748118 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:35:32] 987*2^1404173-1 is not prime. Res64: 223FF36BF6B47560 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:36:00] 727*2^1404173-1 is not prime. Res64: 46E07BC24C6B866A Time : 0.0 sec. user=mdettweiler [2015-07-26 03:36:01] 879*2^1404173-1 is not prime. Res64: 726E756CE61BA7FF Time : 0.0 sec. user=mdettweiler [2015-07-26 03:37:27] 707*2^1404174-1 is not prime. Res64: 463AB0A00F5898F9 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:37:28] 711*2^1404174-1 is not prime. Res64: E9D74BDF2662E4FC Time : 0.0 sec. user=mdettweiler [2015-07-26 03:39:38] 783*2^1404174-1 is not prime. Res64: 90B076A20939D120 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:39:39] 861*2^1404174-1 is not prime. Res64: 0457E62F62C58402 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:53:25] 625*2^1404175-1 is not prime. Res64: 41ECBF7601AF5F41 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:53:25] 639*2^1404175-1 is not prime. Res64: 586599FB8B3546EC Time : 0.0 sec. user=mdettweiler [2015-07-26 03:53:42] 723*2^1404175-1 is not prime. Res64: 0A9009BC4BC2D86B Time : 0.0 sec. user=mdettweiler [2015-07-26 03:53:42] 741*2^1404175-1 is not prime. Res64: 598B6599B12C3F32 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:55:21] 789*2^1404175-1 is not prime. Res64: 9400DA286EFFCDDA Time : 0.0 sec. user=mdettweiler [2015-07-26 03:55:22] 841*2^1404175-1 is not prime. Res64: D8D03A39E46C41A1 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:57:21] 855*2^1404175-1 is not prime. Res64: 7D48C3B7E52B1544 Time : 0.0 sec. user=mdettweiler [2015-07-26 03:57:22] 885*2^1404175-1 is not prime. Res64: 0BFC56E378141995 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:11:29] 895*2^1404175-1 is not prime. Res64: 533EEF99A748AEBA Time : 0.0 sec. user=mdettweiler [2015-07-26 04:11:29] 623*2^1404176-1 is not prime. Res64: 8BB859BD3B1F009D Time : 0.0 sec. user=mdettweiler [2015-07-26 04:11:50] 873*2^1404176-1 is not prime. Res64: AF39895C096EDE53 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:11:51] 879*2^1404176-1 is not prime. Res64: F27CC43F61E21DF1 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:13:28] 893*2^1404176-1 is not prime. Res64: 129D149C3187D0C1 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:13:29] 935*2^1404176-1 is not prime. Res64: 16217C02DF705765 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:15:42] 759*2^1404177-1 is not prime. Res64: E13AFD505002D732 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:15:43] 819*2^1404177-1 is not prime. Res64: BD222C6EDAA8C681 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:29:41] 835*2^1404177-1 is not prime. Res64: C415A6A24C735608 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:29:41] 837*2^1404177-1 is not prime. Res64: 3AF84288644E5014 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:29:57] 647*2^1404178-1 is not prime. Res64: F5F480B0EB7E11F3 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:29:58] 657*2^1404178-1 is not prime. Res64: 33ED20999BDC48B6 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:31:33] 665*2^1404178-1 is not prime. Res64: C3E0EBCBF3A61650 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:31:34] 723*2^1404178-1 is not prime. Res64: C98E0D4777A21DD8 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:33:56] 643*2^1404179-1 is not prime. Res64: 7E2F3B170A3046AC Time : 0.0 sec. user=mdettweiler [2015-07-26 04:33:57] 645*2^1404179-1 is not prime. Res64: 9B663381FD0C0DAD Time : 0.0 sec. user=mdettweiler [2015-07-26 04:47:36] 669*2^1404179-1 is not prime. Res64: 91B8234D00A50E3F Time : 0.0 sec. user=mdettweiler [2015-07-26 04:47:36] 745*2^1404179-1 is not prime. Res64: 2BD7B327DAA31302 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:47:57] 801*2^1404179-1 is not prime. Res64: 241009E874982469 Time : 0.0 sec. user=mdettweiler [2015-07-26 04:47:58] 825*2^1404179-1 is not prime. Res64: 7494B168603EC3CF Time : 0.0 sec. user=mdettweiler [2015-07-26 04:49:27] 635*2^1404180-1 is not prime. Res64: BCF12EBE8C50EFDB Time : 0.0 sec. user=mdettweiler [2015-07-26 04:49:27] 717*2^1404180-1 is not prime. Res64: FE8E5B4E7C35061D Time : 0.0 sec. user=mdettweiler [2015-07-26 04:51:47] 879*2^1404180-1 is not prime. Res64: 50A393B3F0B583FF Time : 0.0 sec. user=mdettweiler [2015-07-26 04:51:47] 645*2^1404181-1 is not prime. Res64: 139FB0A8E20FB53C Time : 0.0 sec. user=mdettweiler [2015-07-26 05:05:27] 745*2^1404181-1 is not prime. Res64: 0DB0A362E49319D8 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:05:28] 769*2^1404181-1 is not prime. Res64: 2FD956042D346A90 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:05:47] 801*2^1404181-1 is not prime. Res64: FDAB14F620A8FEA6 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:05:48] 825*2^1404181-1 is not prime. Res64: 0EC944024335B5BE Time : 0.0 sec. user=mdettweiler [2015-07-26 05:07:15] 945*2^1404181-1 is not prime. Res64: A0999E62A1622D6C Time : 0.0 sec. user=mdettweiler [2015-07-26 05:07:15] 997*2^1404181-1 is not prime. Res64: 99D7BB23509838AE Time : 0.0 sec. user=mdettweiler [2015-07-26 05:09:41] 915*2^1404182-1 is not prime. Res64: C6C37781FD30BBDA Time : 0.0 sec. user=mdettweiler [2015-07-26 05:09:41] 951*2^1404182-1 is not prime. Res64: 98897323DB0A1B89 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:23:23] 963*2^1404182-1 is not prime. Res64: 379851A4711694E6 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:23:23] 621*2^1404183-1 is not prime. Res64: 38B8DAE7AC4A82AF Time : 0.0 sec. user=mdettweiler [2015-07-26 05:23:32] 895*2^1404183-1 is not prime. Res64: E3DAC845205A4D14 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:23:32] 629*2^1404184-1 is not prime. Res64: 321EEEE87E6381BB Time : 0.0 sec. user=mdettweiler [2015-07-26 05:24:59] 723*2^1404184-1 is not prime. Res64: 0F0D8FAA84B3E826 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:25:00] 827*2^1404184-1 is not prime. Res64: AB8CCB8202FAA72D Time : 0.0 sec. user=mdettweiler [2015-07-26 05:27:29] 849*2^1404184-1 is not prime. Res64: 63DE62499E667F7E Time : 0.0 sec. user=mdettweiler [2015-07-26 05:27:29] 869*2^1404184-1 is not prime. Res64: 75B76D9B3D4F4E8B Time : 0.0 sec. user=mdettweiler [2015-07-26 05:41:16] 759*2^1404185-1 is not prime. Res64: AC5991CFFEC97A55 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:41:17] 861*2^1404185-1 is not prime. Res64: 236EFB41C721A01D Time : 0.0 sec. user=mdettweiler [2015-07-26 05:41:22] 699*2^1404185-1 is not prime. Res64: 42EC0172ADB58E36 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:41:22] 727*2^1404185-1 is not prime. Res64: E4E3C76AAA8CBBE8 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:42:45] 871*2^1404185-1 is not prime. Res64: 6982A4E71D5BDDE7 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:42:45] 925*2^1404185-1 is not prime. Res64: D7E12A243E2BDF0C Time : 0.0 sec. user=mdettweiler [2015-07-26 05:45:12] 653*2^1404186-1 is not prime. Res64: E77C1BCC247CDCD3 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:45:13] 713*2^1404186-1 is not prime. Res64: 041B5C775E532B95 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:59:07] 717*2^1404186-1 is not prime. Res64: B514370D6C30DC90 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:59:07] 767*2^1404186-1 is not prime. Res64: BD5572CFD48BCF2D Time : 0.0 sec. user=mdettweiler [2015-07-26 05:59:10] 777*2^1404186-1 is not prime. Res64: 6DBB8077EAC12B30 Time : 0.0 sec. user=mdettweiler [2015-07-26 05:59:11] 873*2^1404187-1 is not prime. Res64: 3DD577FA777E6F3B Time : 0.0 sec. user=mdettweiler [2015-07-26 06:00:32] 939*2^1404187-1 is not prime. Res64: 929029F116F08FE6 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:00:33] 635*2^1404188-1 is not prime. Res64: 72AD7FDA219FB3F3 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:03:17] 749*2^1404188-1 is not prime. Res64: C01514EB2E41D79E Time : 0.0 sec. user=mdettweiler [2015-07-26 06:03:18] 797*2^1404188-1 is not prime. Res64: 23180197A7B526E0 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:16:57] 825*2^1404188-1 is not prime. Res64: C801840D35B56258 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:16:57] 837*2^1404188-1 is not prime. Res64: C3A7E4FB2CB32D8E Time : 0.0 sec. user=mdettweiler [2015-07-26 06:17:00] 845*2^1404188-1 is not prime. Res64: D5B491DD1A69DCF0 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:17:01] 953*2^1404188-1 is not prime. Res64: 1962AF2A7097FE02 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:18:15] 675*2^1404189-1 is not prime. Res64: 69CB237718E8EBCD Time : 0.0 sec. user=mdettweiler [2015-07-26 06:18:16] 691*2^1404189-1 is not prime. Res64: 92569F406F03C249 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:21:02] 741*2^1404189-1 is not prime. Res64: 18E4BCE2635AD2CB Time : 0.0 sec. user=mdettweiler [2015-07-26 06:21:03] 861*2^1404189-1 is not prime. Res64: 3B003FC0AC4E4A97 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:35:13] 707*2^1404190-1 is not prime. Res64: 0CEB8BD42E862255 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:35:13] 813*2^1404190-1 is not prime. Res64: 34E9629549E5173C Time : 0.0 sec. user=mdettweiler [2015-07-26 06:35:17] 919*2^1404189-1 is not prime. Res64: F907194B7EBACD75 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:35:18] 945*2^1404189-1 is not prime. Res64: AE983DF372B76313 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:36:16] 827*2^1404190-1 is not prime. Res64: 3D357082F9D83081 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:36:17] 951*2^1404190-1 is not prime. Res64: 492C2EA05B16B8D2 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:39:18] 621*2^1404191-1 is not prime. Res64: 08B8C90A77106642 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:39:19] 775*2^1404191-1 is not prime. Res64: 20DA0F0DC3820373 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:53:11] 825*2^1404191-1 is not prime. Res64: 22C60CC526AE76F8 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:53:11] 973*2^1404191-1 is not prime. Res64: F01B348AC5D67E76 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:53:48] 979*2^1404191-1 is not prime. Res64: D4383FD10ED9BFD0 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:53:49] 981*2^1404191-1 is not prime. Res64: CF6FFF678BE4A2CF Time : 0.0 sec. user=mdettweiler [2015-07-26 06:54:06] 837*2^1404192-1 is not prime. Res64: 30BA6917DE050751 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:54:06] 875*2^1404192-1 is not prime. Res64: 1F015EF20467ABB3 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:57:16] 977*2^1404192-1 is not prime. Res64: 5B1EBA642BC323D5 Time : 0.0 sec. user=mdettweiler [2015-07-26 06:57:16] 699*2^1404193-1 is not prime. Res64: 0DC213ECD715EF68 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:26] 705*2^1404193-1 is not prime. Res64: 64E4A1895AFD7C05 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:27] 751*2^1404193-1 is not prime. Res64: 80389A932F131F16 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:56] 855*2^1404193-1 is not prime. Res64: 4882E905CBCF6F2B Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:56] 939*2^1404193-1 is not prime. Res64: 58DDDE9A9C0DCC27 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:57] 657*2^1404194-1 is not prime. Res64: 3E64D26F66F73452 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:11:57] 683*2^1404194-1 is not prime. Res64: 9EFF1159B1D25F9E Time : 0.0 sec. user=mdettweiler [2015-07-26 07:15:09] 785*2^1404194-1 is not prime. Res64: 46A8B0CD495AFC38 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:15:10] 927*2^1404194-1 is not prime. Res64: 2F639E231E868746 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:16] 945*2^1404194-1 is not prime. Res64: 3DEA71D89D5E1111 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:16] 951*2^1404194-1 is not prime. Res64: 9F8508058CB444DA Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:44] 625*2^1404195-1 is not prime. Res64: 7598035ED9861846 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:45] 643*2^1404195-1 is not prime. Res64: 819E01AE766213B4 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:51] 669*2^1404195-1 is not prime. Res64: 050805F8180544C4 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:29:51] 675*2^1404195-1 is not prime. Res64: 336896A179DD5473 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:33:01] 705*2^1404195-1 is not prime. Res64: 070DD0BFE128B1EE Time : 0.0 sec. user=mdettweiler [2015-07-26 07:33:02] 723*2^1404195-1 is not prime. Res64: DE850B6E18BEAE03 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:08] 853*2^1404195-1 is not prime. Res64: 2093A94E8D6DCF96 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:09] 639*2^1404196-1 is not prime. Res64: 6419D4DB62D7C5F8 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:46] 803*2^1404196-1 is not prime. Res64: 8D08C226FCE3655D Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:46] 813*2^1404196-1 is not prime. Res64: D0060BA8B663F086 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:52] 695*2^1404196-1 is not prime. Res64: 62749EA7B0CE5391 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:47:53] 743*2^1404196-1 is not prime. Res64: 80F3462498679642 Time : 0.0 sec. user=mdettweiler [2015-07-26 07:50:51] 875*2^1404196-1 is not prime. Res64: B5F04D7F14BBA77D Time : 0.0 sec. user=mdettweiler [2015-07-26 07:50:52] 999*2^1404196-1 is not prime. Res64: CB7C9F3AE5AA01A8 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:07] 669*2^1404197-1 is not prime. Res64: 67B722D35B94ECC0 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:09] 691*2^1404197-1 is not prime. Res64: DC890DF1885FB015 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:30] 711*2^1404197-1 is not prime. Res64: 248AC2832C0B79CC Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:32] 747*2^1404197-1 is not prime. Res64: C641C105134DF8D4 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:41] 757*2^1404197-1 is not prime. Res64: 0C86B97F33806C1A Time : 0.0 sec. user=mdettweiler [2015-07-26 08:05:43] 759*2^1404197-1 is not prime. Res64: 5FB8A8708912D789 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:08:35] 859*2^1404197-1 is not prime. Res64: 89367D53B1720E74 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:08:36] 901*2^1404197-1 is not prime. Res64: B13E4B95743CD2D3 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:08] 693*2^1404198-1 is not prime. Res64: 29B02DBAD375C6FF Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:08] 765*2^1404198-1 is not prime. Res64: ADD144E28BA05127 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:29] 801*2^1404198-1 is not prime. Res64: 643A06692F387EBA Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:30] 921*2^1404198-1 is not prime. Res64: 83D80B988B777873 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:38] 759*2^1404199-1 is not prime. Res64: F2704235A3B61D6F Time : 0.0 sec. user=mdettweiler [2015-07-26 08:23:38] 853*2^1404199-1 is not prime. Res64: 31A2409A6AAA2860 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:26:29] 861*2^1404199-1 is not prime. Res64: EAC97E8EBFCCA7A5 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:26:29] 919*2^1404199-1 is not prime. Res64: 7AC2E0150A1C70CF Time : 0.0 sec. user=mdettweiler [2015-07-26 08:40:54] 931*2^1404199-1 is not prime. Res64: 7767D073341A2DEB Time : 0.0 sec. user=mdettweiler [2015-07-26 08:40:54] 951*2^1404199-1 is not prime. Res64: C8ABE0D0BEB464D7 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:41:25] 999*2^1404199-1 is not prime. Res64: A371C835E1BB1441 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:41:26] 719*2^1404200-1 is not prime. Res64: 67FC6CBBEE05EF94 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:41:26] 795*2^1404200-1 is not prime. Res64: 72842E4468B4C2B1 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:41:27] 923*2^1404200-1 is not prime. Res64: 0C0EE52BAEADA298 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:44:21] 627*2^1404201-1 is not prime. Res64: 33C53AA56C22ED2B Time : 0.0 sec. user=mdettweiler [2015-07-26 08:44:21] 649*2^1404201-1 is not prime. Res64: D2F635A43EB64A08 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:58:40] 781*2^1404201-1 is not prime. Res64: A2447A41B0B02EF3 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:58:40] 617*2^1404202-1 is not prime. Res64: DBBA217D1FE527A8 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:59:17] 621*2^1404202-1 is not prime. Res64: 736E100ED9066C69 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:59:18] 635*2^1404202-1 is not prime. Res64: AEAA42BC186741D4 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:59:20] 701*2^1404202-1 is not prime. Res64: 747B9E848C9786E2 Time : 0.0 sec. user=mdettweiler [2015-07-26 08:59:20] 737*2^1404202-1 is not prime. Res64: 15F7B434314E4CBD Time : 0.0 sec. user=mdettweiler [2015-07-26 09:02:17] 801*2^1404202-1 is not prime. Res64: 666BBDF684AC69C2 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:02:18] 821*2^1404202-1 is not prime. Res64: 64FA6BC198033658 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:16:28] 843*2^1404202-1 is not prime. Res64: D76B5241225FC9E8 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:16:29] 947*2^1404202-1 is not prime. Res64: DEE7364F9C0A885E Time : 0.0 sec. user=mdettweiler [2015-07-26 09:17:10] 643*2^1404203-1 is not prime. Res64: 884DB6638780AA96 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:17:10] 693*2^1404203-1 is not prime. Res64: CC4DCDE03C26F4F6 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:17:13] 983*2^1404202-1 is not prime. Res64: DA70A3FD9F32F7C7 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:17:14] 603*2^1404203-1 is not prime. Res64: 7087E62013381BE2 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:20:28] 741*2^1404203-1 is not prime. Res64: 95FAAA419E2D1987 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:20:29] 825*2^1404203-1 is not prime. Res64: 6D018F39D41B5816 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:36] 895*2^1404203-1 is not prime. Res64: 0B882FEBCBF9DFFB Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:37] 949*2^1404203-1 is not prime. Res64: 83C98182A9672201 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:55] 749*2^1404204-1 is not prime. Res64: A72655FE7CFB7E12 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:55] 783*2^1404204-1 is not prime. Res64: A44D90F568D35233 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:58] 963*2^1404203-1 is not prime. Res64: 6C5E8BDFA33A3B55 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:34:58] 981*2^1404203-1 is not prime. Res64: 8432DE1D5980BD77 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:38:36] 875*2^1404204-1 is not prime. Res64: 232FC3424419D78D Time : 0.0 sec. user=mdettweiler [2015-07-26 09:38:36] 959*2^1404204-1 is not prime. Res64: 3B015F78A7FD2EF0 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:33] 965*2^1404204-1 is not prime. Res64: CE3B33255065123D Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:33] 987*2^1404204-1 is not prime. Res64: 251FA02A88BBA869 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:44] 667*2^1404205-1 is not prime. Res64: D26B447BF84E5E09 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:44] 601*2^1404205-1 is not prime. Res64: 83A045D7B60D6B6B Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:44] 717*2^1404205-1 is not prime. Res64: 5A342C9CDA62B0B7 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:52:44] 625*2^1404205-1 is not prime. Res64: 3BBF7E26CB97D152 Time : 0.0 sec. user=mdettweiler [2015-07-26 09:56:26] 757*2^1404205-1 is not prime. Res64: 8442E0F87E871A8D Time : 0.0 sec. user=mdettweiler [2015-07-26 09:56:26] 777*2^1404205-1 is not prime. Res64: 19F79E2AD44B6805 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:31] 951*2^1404205-1 is not prime. Res64: 32D3079E42773CE5 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:32] 877*2^1404205-1 is not prime. Res64: 73803FFF0A822BD0 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:32] 615*2^1404206-1 is not prime. Res64: 813498B56B11DD1F Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:33] 915*2^1404205-1 is not prime. Res64: 8EA706976EFAB49E Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:34] 623*2^1404206-1 is not prime. Res64: 438DAF479BDF6156 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:10:34] 711*2^1404206-1 is not prime. Res64: 9604B5DCA81A1246 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:14:19] 743*2^1404206-1 is not prime. Res64: 964A897A57CFC258 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:14:20] 747*2^1404206-1 is not prime. Res64: 1690ED8D9B751F52 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:20] 857*2^1404206-1 is not prime. Res64: C04E6E5C12991F8C Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:20] 867*2^1404206-1 is not prime. Res64: 60341DA57C77DD7B Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:21] 827*2^1404206-1 is not prime. Res64: 40595ACC3F6D98A1 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:21] 831*2^1404206-1 is not prime. Res64: B2BEAAC2D962DA24 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:23] 643*2^1404207-1 is not prime. Res64: FE2FC31116EEA1A4 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:28:24] 795*2^1404207-1 is not prime. Res64: 9F86A5DA4FD6D3D9 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:32:13] 885*2^1404207-1 is not prime. Res64: F4AABA9DC4E18092 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:32:14] 931*2^1404207-1 is not prime. Res64: BB8B3C0A6B43F064 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:09] 635*2^1404208-1 is not prime. Res64: C85037FA389C910C Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:09] 797*2^1404208-1 is not prime. Res64: 7FFFEFCA68D39CA4 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:11] 839*2^1404208-1 is not prime. Res64: 6780824D1D2DB490 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:11] 909*2^1404208-1 is not prime. Res64: C669714E2F811BE5 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:12] 961*2^1404207-1 is not prime. Res64: B14B2265EBD351DC Time : 0.0 sec. user=mdettweiler [2015-07-26 10:46:13] 605*2^1404208-1 is not prime. Res64: 30F7CAEAC10B29C5 Time : 0.0 sec. user=mdettweiler [2015-07-26 10:50:05] 929*2^1404208-1 is not prime. Res64: C27292F90909892F Time : 0.0 sec. user=mdettweiler [2015-07-26 10:50:05] 615*2^1404209-1 is not prime. Res64: A4FE83D7437E9554 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:03:52] 735*2^1404209-1 is not prime. Res64: 0490B5509B20A651 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:03:54] 775*2^1404209-1 is not prime. Res64: A0DDA588DC3C717F Time : 0.0 sec. user=mdettweiler [2015-07-26 11:03:58] 861*2^1404209-1 is not prime. Res64: 798CD12697B413C0 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:03:59] 969*2^1404209-1 is not prime. Res64: 57BD2D74C4C190E6 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:04:10] 887*2^1404210-1 is not prime. Res64: A4EFA9D190B4B976 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:04:11] 933*2^1404210-1 is not prime. Res64: 8583829146776D2C Time : 0.0 sec. user=mdettweiler [2015-07-26 11:07:56] 945*2^1404210-1 is not prime. Res64: 1184E3B0D2E9E6C3 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:07:57] 971*2^1404210-1 is not prime. Res64: 5CFFF261BCF3A12E Time : 0.0 sec. user=mdettweiler [2015-07-26 11:21:57] 859*2^1404211-1 is not prime. Res64: C01A5073A9F9A1B9 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:21:57] 889*2^1404211-1 is not prime. Res64: 9FEC34237373D6E7 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:21:59] 793*2^1404211-1 is not prime. Res64: 8C493493069FBDBC Time : 0.0 sec. user=mdettweiler [2015-07-26 11:21:59] 843*2^1404211-1 is not prime. Res64: 3117492657841401 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:22:07] 951*2^1404211-1 is not prime. Res64: 1CB6D04B9D6926AA Time : 0.0 sec. user=mdettweiler [2015-07-26 11:22:07] 969*2^1404211-1 is not prime. Res64: F67B47FAB060FFD9 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:25:44] 973*2^1404211-1 is not prime. Res64: 4C05044F980D535A Time : 0.0 sec. user=mdettweiler [2015-07-26 11:25:45] 633*2^1404212-1 is not prime. Res64: 718775F7EB40DF01 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:36] 665*2^1404212-1 is not prime. Res64: 8C04E3EFE9DCD1C0 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:36] 687*2^1404212-1 is not prime. Res64: 229A1DA2ADB7AFC6 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:41] 693*2^1404212-1 is not prime. Res64: 45EB9462B2689926 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:41] 749*2^1404212-1 is not prime. Res64: B34075836F3B4D2F Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:46] 899*2^1404212-1 is not prime. Res64: 6403BBD720DAE367 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:39:46] 915*2^1404212-1 is not prime. Res64: 040A0035883D9EE0 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:43:25] 929*2^1404212-1 is not prime. Res64: 6506A7B7C3769C88 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:43:26] 639*2^1404213-1 is not prime. Res64: 3D0EA5E81E927E62 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:21] 735*2^1404213-1 is not prime. Res64: A9F199B24DED79BF Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:21] 867*2^1404213-1 is not prime. Res64: D3E905EF376BFF3B Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:23] 885*2^1404213-1 is not prime. Res64: E6D87BAE6E4CCE40 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:23] 895*2^1404213-1 is not prime. Res64: 361AAD038461C041 Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:28] 919*2^1404213-1 is not prime. Res64: 5218A310FADB944C Time : 0.0 sec. user=mdettweiler [2015-07-26 11:57:29] 617*2^1404214-1 is not prime. Res64: 3D24C509E0645915 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:01:06] 645*2^1404214-1 is not prime. Res64: 1F193EE9AC4E4C04 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:01:07] 723*2^1404214-1 is not prime. Res64: B41E4981C27AF450 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:03] 1001*2^1404214-1 is not prime. Res64: BA7C77645089537A Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:03] 601*2^1404215-1 is not prime. Res64: FF67E2A6962C280B Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:08] 651*2^1404215-1 is not prime. Res64: AFD268C4A5649C8E Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:08] 771*2^1404215-1 is not prime. Res64: FDC4D9001D20D8BA Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:11] 731*2^1404214-1 is not prime. Res64: F765EB26A4D55F3D Time : 0.0 sec. user=mdettweiler [2015-07-26 12:15:11] 917*2^1404214-1 is not prime. Res64: 31EAE2CCFC680A10 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:18:47] 885*2^1404215-1 is not prime. Res64: 4555367732F4290A Time : 0.0 sec. user=mdettweiler [2015-07-26 12:18:48] 969*2^1404215-1 is not prime. Res64: 144EA9AC255FF7DD Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:50] 615*2^1404216-1 is not prime. Res64: 5E34BBC9E5402A12 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:50] 735*2^1404216-1 is not prime. Res64: C32064F6C1F19228 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:50] 857*2^1404216-1 is not prime. Res64: 88CD0E6127BCDE0E Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:51] 903*2^1404216-1 is not prime. Res64: A257EE1310E2B62C Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:52] 803*2^1404216-1 is not prime. Res64: 2D065080BD34727E Time : 0.0 sec. user=mdettweiler [2015-07-26 12:32:52] 845*2^1404216-1 is not prime. Res64: 3D8E9160A32AEE7C Time : 0.0 sec. user=mdettweiler [2015-07-26 12:36:38] 661*2^1404217-1 is not prime. Res64: 8A1FA137F37F4586 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:36:38] 717*2^1404217-1 is not prime. Res64: 7F1F9460E92D3FC5 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:40] 849*2^1404217-1 is not prime. Res64: 8C66024826344367 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:40] 985*2^1404217-1 is not prime. Res64: FF481CC94FBC2117 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:42] 799*2^1404217-1 is not prime. Res64: 75E53FE7765B3D04 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:42] 807*2^1404217-1 is not prime. Res64: 924FE605A36C4EDA Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:45] 997*2^1404217-1 is not prime. Res64: 74C63766DE28297F Time : 0.0 sec. user=mdettweiler [2015-07-26 12:50:46] 773*2^1404218-1 is not prime. Res64: 0B7140EC4DB17D32 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:54:30] 797*2^1404218-1 is not prime. Res64: 45F0F39AC414C930 Time : 0.0 sec. user=mdettweiler [2015-07-26 12:54:31] 827*2^1404218-1 is not prime. Res64: 62C30A794556E111 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:20] 893*2^1404218-1 is not prime. Res64: 3A374E3D7F4FF9FA Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:21] 945*2^1404218-1 is not prime. Res64: 2110C601F7527F48 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:31] 963*2^1404218-1 is not prime. Res64: AD7E4E40D15E641A Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:31] 609*2^1404219-1 is not prime. Res64: 9FE83E10CD5AFE65 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:35] 679*2^1404219-1 is not prime. Res64: DC7D5FD6A0AEAC91 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:08:36] 685*2^1404219-1 is not prime. Res64: C777924381315D93 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:12:19] 709*2^1404219-1 is not prime. Res64: EFAAA3AB2FEA0AA5 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:12:20] 751*2^1404219-1 is not prime. Res64: ECCB449CB22B1EAA Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:09] 825*2^1404219-1 is not prime. Res64: 8ADAB4342E73D349 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:09] 919*2^1404219-1 is not prime. Res64: 486F0778219E1EA1 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:10] 921*2^1404219-1 is not prime. Res64: 1558D16F8DB36F20 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:10] 961*2^1404219-1 is not prime. Res64: 56E3D485224FC5C2 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:24] 999*2^1404219-1 is not prime. Res64: 0350A12D4C005887 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:26:25] 647*2^1404220-1 is not prime. Res64: 8BFD6BEA904A66B2 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:30:03] 905*2^1404220-1 is not prime. Res64: 5187E01632E1F7A0 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:30:04] 965*2^1404220-1 is not prime. Res64: 3B0CDA369982BA14 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:43:53] 711*2^1404221-1 is not prime. Res64: 99BF0652D4DAB3D5 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:43:54] 769*2^1404221-1 is not prime. Res64: AB7B5859937D54F0 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:43:55] 829*2^1404221-1 is not prime. Res64: 3D2B720A485F35BE Time : 0.0 sec. user=mdettweiler [2015-07-26 13:43:56] 837*2^1404221-1 is not prime. Res64: BA6F88DF415D30B7 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:44:10] 949*2^1404221-1 is not prime. Res64: 2914FF38F52060D9 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:44:11] 957*2^1404221-1 is not prime. Res64: 3E89750B36816300 Time : 0.0 sec. user=mdettweiler [2015-07-26 13:47:44] 967*2^1404221-1 is not prime. Res64: 37C7999E85EE279B Time : 0.0 sec. user=mdettweiler [2015-07-26 13:47:44] 981*2^1404221-1 is not prime. Res64: D4DE4C45EED0DA38 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:34] 671*2^1404222-1 is not prime. Res64: 12DDBAD90E2610A8 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:35] 683*2^1404222-1 is not prime. Res64: B188B796EED9740F Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:55] 921*2^1404222-1 is not prime. Res64: F7792CAED835C818 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:56] 741*2^1404223-1 is not prime. Res64: 704D47407335CB61 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:58] 863*2^1404222-1 is not prime. Res64: 976C689FDC1BEEBB Time : 0.0 sec. user=mdettweiler [2015-07-26 14:01:59] 873*2^1404222-1 is not prime. Res64: 39FC4F11D425A770 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:05:36] 831*2^1404223-1 is not prime. Res64: 52ABD26E1797DCDE Time : 0.0 sec. user=mdettweiler [2015-07-26 14:05:37] 961*2^1404223-1 is not prime. Res64: A2305B9365E6A3AA Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:21] 609*2^1404224-1 is not prime. Res64: 7510E98643A09C89 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:22] 623*2^1404224-1 is not prime. Res64: 8A20A6AD18290A50 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:44] 827*2^1404224-1 is not prime. Res64: 19E2DF231B265B80 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:44] 753*2^1404224-1 is not prime. Res64: C9964C16F04BF67B Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:44] 917*2^1404224-1 is not prime. Res64: 2DEDD34ACCA595A7 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:19:44] 755*2^1404224-1 is not prime. Res64: 789CB1150477D1DB Time : 0.0 sec. user=mdettweiler [2015-07-26 14:23:26] 995*2^1404224-1 is not prime. Res64: F7B7683100E79D53 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:23:26] 685*2^1404225-1 is not prime. Res64: B9356286578204D2 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:02] 891*2^1404225-1 is not prime. Res64: 97286832EF1E3E09 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:02] 909*2^1404225-1 is not prime. Res64: CF33DE4EADB3E5F6 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:29] 755*2^1404226-1 is not prime. Res64: 3569F0AFC78B8155 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:30] 855*2^1404226-1 is not prime. Res64: E2DDD71E4C777D43 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:30] 657*2^1404226-1 is not prime. Res64: 11E77EFD48177FBC Time : 0.0 sec. user=mdettweiler [2015-07-26 14:37:31] 701*2^1404226-1 is not prime. Res64: AF54E9D14C199E46 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:41:16] 933*2^1404226-1 is not prime. Res64: 7CC268BB17751EC9 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:41:16] 651*2^1404227-1 is not prime. Res64: 78AD5D71838CD22D Time : 0.0 sec. user=mdettweiler [2015-07-26 14:54:47] 915*2^1404227-1 is not prime. Res64: BD0633AF7F6E1F38 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:54:48] 627*2^1404228-1 is not prime. Res64: 93EE83D12240CF64 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:55:14] 735*2^1404228-1 is not prime. Res64: 34C9262978CC357A Time : 0.0 sec. user=mdettweiler [2015-07-26 14:55:15] 753*2^1404228-1 is not prime. Res64: AE0E4E6F846F357C Time : 0.0 sec. user=mdettweiler [2015-07-26 14:55:16] 783*2^1404228-1 is not prime. Res64: 1EB6B9FBB4A49093 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:55:16] 795*2^1404228-1 is not prime. Res64: 4EEEAECABD192B37 Time : 0.0 sec. user=mdettweiler [2015-07-26 14:59:03] 825*2^1404228-1 is not prime. Res64: F619647C8A616C6C Time : 0.0 sec. user=mdettweiler [2015-07-26 14:59:03] 959*2^1404228-1 is not prime. Res64: 7874364F50839B63 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:12:43] 975*2^1404228-1 is not prime. Res64: A95003AD20058D89 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:12:43] 609*2^1404229-1 is not prime. Res64: AFF0E08AFB7CA939 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:13:17] 741*2^1404229-1 is not prime. Res64: 11699719681A11BC Time : 0.0 sec. user=mdettweiler [2015-07-26 15:13:18] 789*2^1404229-1 is not prime. Res64: FF00BB236EA1F778 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:13:21] 639*2^1404229-1 is not prime. Res64: 0A7D65F6CF3FE9AF Time : 0.0 sec. user=mdettweiler [2015-07-26 15:13:21] 675*2^1404229-1 is not prime. Res64: 6B7373A83B49010B Time : 0.0 sec. user=mdettweiler [2015-07-26 15:17:20] 799*2^1404229-1 is not prime. Res64: 42C19DD9AFE1D66A Time : 0.0 sec. user=mdettweiler [2015-07-26 15:17:21] 829*2^1404229-1 is not prime. Res64: 50EA026F38C3AB53 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:30:47] 741*2^1404230-1 is not prime. Res64: CA9B32C578CF9C46 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:30:47] 755*2^1404230-1 is not prime. Res64: C7D8A680606C5B58 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:31:13] 797*2^1404230-1 is not prime. Res64: 7DBCE80B43D558F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:31:13] 843*2^1404230-1 is not prime. Res64: 012EC1AFCDA560EC Time : 0.0 sec. user=mdettweiler [2015-07-26 15:31:34] 981*2^1404230-1 is not prime. Res64: 3B5AFE59D6A63D85 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:31:34] 613*2^1404231-1 is not prime. Res64: FBE65586519F6956 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:35:08] 625*2^1404231-1 is not prime. Res64: 4EF6343CFBB7C0DC Time : 0.0 sec. user=mdettweiler [2015-07-26 15:35:08] 691*2^1404231-1 is not prime. Res64: A5A888F8A3FA5C25 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:49:35] 735*2^1404231-1 is not prime. Res64: 8EE0FD9A703D8952 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:49:36] 921*2^1404231-1 is not prime. Res64: 8089CF0D5C156D1B Time : 0.0 sec. user=mdettweiler [2015-07-26 15:50:21] 645*2^1404232-1 is not prime. Res64: 53766C2BCDD301AE Time : 0.0 sec. user=mdettweiler [2015-07-26 15:50:21] 735*2^1404232-1 is not prime. Res64: 66E8F9FD8B47EBC8 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:50:39] 779*2^1404232-1 is not prime. Res64: EBE9FFE325541DF5 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:50:40] 827*2^1404232-1 is not prime. Res64: 8D5C9BE9EA061035 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:54:19] 833*2^1404232-1 is not prime. Res64: 89FE5D3F65B52CB9 Time : 0.0 sec. user=mdettweiler [2015-07-26 15:54:19] 849*2^1404232-1 is not prime. Res64: 6FF834AB117DD44F Time : 0.0 sec. user=mdettweiler [2015-07-26 16:08:22] 863*2^1404232-1 is not prime. Res64: 2215D314BD7209E3 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:08:23] 899*2^1404232-1 is not prime. Res64: D2FF8189D4890336 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:08:56] 917*2^1404232-1 is not prime. Res64: 6650320100350B37 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:08:56] 989*2^1404232-1 is not prime. Res64: 14526330E5A21183 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:09:13] 675*2^1404233-1 is not prime. Res64: 38337F1BB975DECF Time : 0.0 sec. user=mdettweiler [2015-07-26 16:09:13] 759*2^1404233-1 is not prime. Res64: C423A41E84CA02EC Time : 0.0 sec. user=mdettweiler [2015-07-26 16:12:50] 829*2^1404233-1 is not prime. Res64: 5C7013B64400747C Time : 0.0 sec. user=mdettweiler [2015-07-26 16:12:50] 847*2^1404233-1 is not prime. Res64: 33EDF5DFD63B72EE Time : 0.0 sec. user=mdettweiler [2015-07-26 16:26:45] 889*2^1404233-1 is not prime. Res64: 23B5BC2FD02232D5 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:26:46] 987*2^1404233-1 is not prime. Res64: 22B8D03C0850CCC9 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:27:25] 611*2^1404234-1 is not prime. Res64: 6544F78D65EF7699 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:27:25] 681*2^1404234-1 is not prime. Res64: 2FDFC3F399AF4AE2 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:27:27] 707*2^1404234-1 is not prime. Res64: 701BE5151D1E56E6 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:27:28] 803*2^1404234-1 is not prime. Res64: 4943C51E4325A366 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:31:00] 923*2^1404234-1 is not prime. Res64: ADBBCE0A9987EE5E Time : 0.0 sec. user=mdettweiler [2015-07-26 16:31:00] 673*2^1404235-1 is not prime. Res64: 6AC04040ADA2F63D Time : 0.0 sec. user=mdettweiler [2015-07-26 16:44:47] 819*2^1404235-1 is not prime. Res64: 9947BF3707B4773C Time : 0.0 sec. user=mdettweiler [2015-07-26 16:44:48] 961*2^1404235-1 is not prime. Res64: 9DD5D2D199106FA3 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:45:21] 657*2^1404236-1 is not prime. Res64: 61D57B5E7CC05C9F Time : 0.0 sec. user=mdettweiler [2015-07-26 16:45:21] 663*2^1404236-1 is not prime. Res64: 9D3E8BD3840181FB Time : 0.0 sec. user=mdettweiler [2015-07-26 16:45:27] 693*2^1404236-1 is not prime. Res64: 5BBBF82051E602ED Time : 0.0 sec. user=mdettweiler [2015-07-26 16:45:28] 759*2^1404236-1 is not prime. Res64: C8896D83610D03CC Time : 0.0 sec. user=mdettweiler [2015-07-26 16:49:13] 675*2^1404237-1 is not prime. Res64: 55214C5D47D822C1 Time : 0.0 sec. user=mdettweiler [2015-07-26 16:49:13] 781*2^1404237-1 is not prime. Res64: 06C034795DD74E15 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:03:41] 825*2^1404237-1 is not prime. Res64: 80767232DF618089 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:03:43] 847*2^1404237-1 is not prime. Res64: 1553B3B8B78E9C0A Time : 0.0 sec. user=mdettweiler [2015-07-26 17:03:53] 859*2^1404237-1 is not prime. Res64: 31A7987A4035F1F9 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:03:54] 623*2^1404238-1 is not prime. Res64: 7964012EBCB527AB Time : 0.0 sec. user=mdettweiler [2015-07-26 17:04:05] 635*2^1404238-1 is not prime. Res64: C3A78D2271692D0A Time : 0.0 sec. user=mdettweiler [2015-07-26 17:04:06] 657*2^1404238-1 is not prime. Res64: D5C70AC05184C290 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:08:12] 721*2^1404239-1 is not prime. Res64: 2528FC2C5A24A779 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:08:13] 745*2^1404239-1 is not prime. Res64: B9197BD8A7102D6E Time : 0.0 sec. user=mdettweiler [2015-07-26 17:21:46] 841*2^1404239-1 is not prime. Res64: C1477DCBB8F9254D Time : 0.0 sec. user=mdettweiler [2015-07-26 17:21:46] 921*2^1404239-1 is not prime. Res64: 2E47093F771B8AF0 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:21:59] 767*2^1404240-1 is not prime. Res64: 76E1F180810A9111 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:22:00] 789*2^1404240-1 is not prime. Res64: C1BFA3218560D451 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:22:02] 623*2^1404240-1 is not prime. Res64: 9A9755B4A45739FC Time : 0.0 sec. user=mdettweiler [2015-07-26 17:22:02] 699*2^1404240-1 is not prime. Res64: E77BFCD92AAF655F Time : 0.0 sec. user=mdettweiler [2015-07-26 17:26:02] 795*2^1404240-1 is not prime. Res64: 423E6FC9F054E7E3 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:26:02] 825*2^1404240-1 is not prime. Res64: 4F2D13FDC73CA63E Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:31] 933*2^1404240-1 is not prime. Res64: 8820B34AD7019487 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:31] 727*2^1404241-1 is not prime. Res64: 0FBECD3E832A50AC Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:43] 909*2^1404241-1 is not prime. Res64: 090D2504F236CEC1 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:43] 979*2^1404241-1 is not prime. Res64: 79EAF9F33686B807 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:44] 999*2^1404241-1 is not prime. Res64: DEA811C8A428FB59 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:39:44] 675*2^1404242-1 is not prime. Res64: 2B13B326221457B1 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:43:53] 705*2^1404242-1 is not prime. Res64: FAA562787C9A4F9C Time : 0.0 sec. user=mdettweiler [2015-07-26 17:43:53] 711*2^1404242-1 is not prime. Res64: 90CC70FE791147DC Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:33] 875*2^1404242-1 is not prime. Res64: 0CCD4DB28CAC795E Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:33] 771*2^1404242-1 is not prime. Res64: 6CE4E62612642B7E Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:33] 885*2^1404242-1 is not prime. Res64: E336F6F27A62492C Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:33] 825*2^1404242-1 is not prime. Res64: 3EA180FEC00B4056 Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:36] 893*2^1404242-1 is not prime. Res64: 64C419B1EE0142EE Time : 0.0 sec. user=mdettweiler [2015-07-26 17:57:36] 963*2^1404242-1 is not prime. Res64: 5B8CE7BB203C0A7B Time : 0.0 sec. user=mdettweiler [2015-07-26 18:01:44] 789*2^1404243-1 is not prime. Res64: 0DD8A01A6D3E0C06 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:01:45] 891*2^1404243-1 is not prime. Res64: 7103545BA0B3CEE5 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:16] 901*2^1404243-1 is not prime. Res64: E677AA09A98BCB60 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:16] 657*2^1404244-1 is not prime. Res64: 9BD63BDB78B01A61 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:20] 803*2^1404244-1 is not prime. Res64: 0A931B56012FC51C Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:20] 899*2^1404244-1 is not prime. Res64: 79C4F78128B63DEF Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:27] 759*2^1404244-1 is not prime. Res64: 6383178C47A1B39F Time : 0.0 sec. user=mdettweiler [2015-07-26 18:15:27] 783*2^1404244-1 is not prime. Res64: 18A1D3C91CCDAD88 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:19:30] 909*2^1404244-1 is not prime. Res64: A5E24F460E053F3B Time : 0.0 sec. user=mdettweiler [2015-07-26 18:19:30] 983*2^1404244-1 is not prime. Res64: 51FC6B33F8C74FD2 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:07] 989*2^1404244-1 is not prime. Res64: 3956B2FD2F115B1A Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:08] 811*2^1404245-1 is not prime. Res64: A311CF8FCA6B0DCA Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:18] 819*2^1404245-1 is not prime. Res64: 5924A45D6A14D4AC Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:19] 861*2^1404245-1 is not prime. Res64: 83F5D6398E59CBDB Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:19] 939*2^1404245-1 is not prime. Res64: 873FFD1E3F9813EF Time : 0.0 sec. user=mdettweiler [2015-07-26 18:33:19] 957*2^1404245-1 is not prime. Res64: A2F204F14D50FCAA Time : 0.0 sec. user=mdettweiler [2015-07-26 18:37:23] 713*2^1404246-1 is not prime. Res64: 63BA0E1427BCB4FD Time : 0.0 sec. user=mdettweiler [2015-07-26 18:37:23] 891*2^1404246-1 is not prime. Res64: EF84289A674D35E5 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:50:58] 933*2^1404246-1 is not prime. Res64: 18A6AF89CFDD8942 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:50:59] 741*2^1404247-1 is not prime. Res64: 88571FE9E0648E1B Time : 0.0 sec. user=mdettweiler [2015-07-26 18:51:06] 819*2^1404247-1 is not prime. Res64: 9A2780822B2F64F4 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:51:07] 885*2^1404247-1 is not prime. Res64: 7DA40CBF8A780503 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:51:10] 891*2^1404247-1 is not prime. Res64: 4D3F6B11CC8E9AA6 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:51:10] 913*2^1404247-1 is not prime. Res64: AFAED3C7CCD679F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:55:17] 933*2^1404247-1 is not prime. Res64: B65C0BEE94007A74 Time : 0.0 sec. user=mdettweiler [2015-07-26 18:55:18] 813*2^1404248-1 is not prime. Res64: DB62C68BD1B48C04 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:09] 995*2^1404248-1 is not prime. Res64: 527F665E94DB07AE Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:10] 721*2^1404249-1 is not prime. Res64: 5450784E0825E2B7 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:12] 893*2^1404248-1 is not prime. Res64: CC001E16104D923F Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:13] 927*2^1404248-1 is not prime. Res64: E2608D8B0A314959 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:55] 781*2^1404249-1 is not prime. Res64: E0659383DF68BCF6 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:09:56] 807*2^1404249-1 is not prime. Res64: 94B4E31812BAAC44 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:13:53] 861*2^1404249-1 is not prime. Res64: D764CE740F7F11AF Time : 0.0 sec. user=mdettweiler [2015-07-26 19:13:53] 975*2^1404249-1 is not prime. Res64: B29F192823128086 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:00] 701*2^1404250-1 is not prime. Res64: A9C4543303BC4F04 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:00] 747*2^1404250-1 is not prime. Res64: DC8DB340A3745DF9 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:01] 603*2^1404250-1 is not prime. Res64: A241AD6577E41CD4 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:02] 657*2^1404250-1 is not prime. Res64: 66B09AA8C808E94A Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:36] 777*2^1404250-1 is not prime. Res64: 75603D230F91FB7C Time : 0.0 sec. user=mdettweiler [2015-07-26 19:27:37] 857*2^1404250-1 is not prime. Res64: E71ACC42AF680300 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:31:37] 917*2^1404250-1 is not prime. Res64: BCE4B5869E417FE5 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:31:38] 615*2^1404251-1 is not prime. Res64: 31B759F67C0EC42F Time : 0.0 sec. user=mdettweiler [2015-07-26 19:44:49] 715*2^1404251-1 is not prime. Res64: DC4A519D51D85AC5 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:44:49] 735*2^1404251-1 is not prime. Res64: 2E4409E9B0660930 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:44:52] 943*2^1404251-1 is not prime. Res64: F83BAD08819B7AF0 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:44:52] 635*2^1404252-1 is not prime. Res64: 92D4C46249ABE3B1 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:45:26] 675*2^1404252-1 is not prime. Res64: 8651328CB67EE056 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:45:26] 779*2^1404252-1 is not prime. Res64: B2C50D65206BF084 Time : 0.0 sec. user=mdettweiler [2015-07-26 19:49:38] 867*2^1404252-1 is not prime. Res64: 8913D99DCD4FDCDB Time : 0.0 sec. user=mdettweiler [2015-07-26 19:49:39] 609*2^1404253-1 is not prime. Res64: 316A528F9A49BD3A Time : 0.0 sec. user=mdettweiler [2015-07-26 20:02:41] 831*2^1404253-1 is not prime. Res64: 1EE783D5B290FD17 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:02:43] 867*2^1404253-1 is not prime. Res64: 91247AE37AF27A9C Time : 0.0 sec. user=mdettweiler [2015-07-26 20:02:45] 615*2^1404253-1 is not prime. Res64: 12212C401EECC70B Time : 0.0 sec. user=mdettweiler [2015-07-26 20:02:46] 829*2^1404253-1 is not prime. Res64: DE37AD4EFECE2A2C Time : 0.0 sec. user=mdettweiler [2015-07-26 20:03:17] 945*2^1404253-1 is not prime. Res64: 6C98DAF9F304E143 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:03:18] 985*2^1404253-1 is not prime. Res64: 37C81A41B88738B5 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:07:39] 987*2^1404253-1 is not prime. Res64: 9F2C8A8A04662C77 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:07:39] 623*2^1404254-1 is not prime. Res64: EFA14B45BAC91FAF Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:16] 645*2^1404254-1 is not prime. Res64: 52B6622F070ADA8B Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:17] 707*2^1404254-1 is not prime. Res64: F9B4CA4F848F7563 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:29] 861*2^1404254-1 is not prime. Res64: 21F1DF7BF276E2BE Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:29] 935*2^1404254-1 is not prime. Res64: E26AC7B830A99400 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:32] 941*2^1404254-1 is not prime. Res64: F9398A215DE8B064 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:21:32] 987*2^1404254-1 is not prime. Res64: 9EB3F153D3AD7B69 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:26:25] 613*2^1404255-1 is not prime. Res64: 068B5DC124DF5668 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:26:25] 649*2^1404255-1 is not prime. Res64: 382B82F37CB17BC2 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:48] 763*2^1404255-1 is not prime. Res64: E6595EA4799E097A Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:49] 675*2^1404255-1 is not prime. Res64: E4178F078C07F5E0 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:49] 823*2^1404255-1 is not prime. Res64: 5E0D72CA680B91DA Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:49] 739*2^1404255-1 is not prime. Res64: B9CE8D878AB8018F Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:52] 873*2^1404256-1 is not prime. Res64: 18481B39B5EEAF35 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:39:53] 601*2^1404257-1 is not prime. Res64: D5F9FEB0592A0AC3 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:44:45] 729*2^1404257-1 is not prime. Res64: 8727D71B7B48560B Time : 0.0 sec. user=mdettweiler [2015-07-26 20:44:46] 777*2^1404257-1 is not prime. Res64: 10B94876B155ED44 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:41] 829*2^1404257-1 is not prime. Res64: 6AEAAA2CB038A933 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:41] 837*2^1404257-1 is not prime. Res64: 5E3A4CD92E42F3B0 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:41] 831*2^1404257-1 is not prime. Res64: 6E63D23F77EDA471 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:41] 635*2^1404258-1 is not prime. Res64: 967BCA6F676254C1 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:45] 891*2^1404258-1 is not prime. Res64: 69226542793801F8 Time : 0.0 sec. user=mdettweiler [2015-07-26 20:57:45] 977*2^1404258-1 is not prime. Res64: 329D465845DB77C0 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:02:47] 619*2^1404259-1 is not prime. Res64: E123CE8278C11F85 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:02:48] 723*2^1404259-1 is not prime. Res64: 6251E1871BEBC933 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:00] 745*2^1404259-1 is not prime. Res64: D56E7698D6EC11ED Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:01] 603*2^1404260-1 is not prime. Res64: 40682FFF490EB03D Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:02] 633*2^1404260-1 is not prime. Res64: 8F4375180D2A9F1D Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:03] 699*2^1404260-1 is not prime. Res64: 617A4D458DECD44D Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:06] 751*2^1404259-1 is not prime. Res64: 66A3C7A6E7EF7659 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:16:06] 909*2^1404259-1 is not prime. Res64: 7C6350553206D80C Time : 0.0 sec. user=mdettweiler [2015-07-26 21:21:30] 729*2^1404260-1 is not prime. Res64: C6A7A6BFBF983C78 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:21:31] 797*2^1404260-1 is not prime. Res64: D283621BABD0640B Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:13] 621*2^1404261-1 is not prime. Res64: DE1D2077874E17E6 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:13] 847*2^1404261-1 is not prime. Res64: 7C275F1849DDCF11 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:19] 945*2^1404261-1 is not prime. Res64: 172C50EE17678062 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:20] 961*2^1404261-1 is not prime. Res64: B332E165E52D8168 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:27] 969*2^1404261-1 is not prime. Res64: 9CFA24F7B27FCF8A Time : 0.0 sec. user=mdettweiler [2015-07-26 21:35:27] 975*2^1404261-1 is not prime. Res64: 0F8F58241AA6D0DA Time : 0.0 sec. user=mdettweiler [2015-07-26 21:40:52] 991*2^1404261-1 is not prime. Res64: ACD24A93C4C141D1 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:40:53] 997*2^1404261-1 is not prime. Res64: B4517F925E2D74F7 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:53:58] 741*2^1404262-1 is not prime. Res64: A6C8DAF35732FE0E Time : 0.0 sec. user=mdettweiler [2015-07-26 21:53:59] 755*2^1404262-1 is not prime. Res64: EBB82C6148C34178 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:54:04] 785*2^1404262-1 is not prime. Res64: 71FB0A5DF4A7BB44 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:54:04] 791*2^1404262-1 is not prime. Res64: C98DE00CD211800B Time : 0.0 sec. user=mdettweiler [2015-07-26 21:54:23] 873*2^1404262-1 is not prime. Res64: 0671BC029676DB4F Time : 0.0 sec. user=mdettweiler [2015-07-26 21:54:23] 885*2^1404262-1 is not prime. Res64: F01C1E2B81A68982 Time : 0.0 sec. user=mdettweiler [2015-07-26 21:59:37] 947*2^1404262-1 is not prime. Res64: D4995021E2A24C1A Time : 0.0 sec. user=mdettweiler [2015-07-26 21:59:37] 951*2^1404262-1 is not prime. Res64: BFBC917FED274426 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:13] 745*2^1404263-1 is not prime. Res64: 4CC0DC56C471F288 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:14] 813*2^1404263-1 is not prime. Res64: 8DCA5AE754A73B0F Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:26] 609*2^1404264-1 is not prime. Res64: E8DC4C1E14921045 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:27] 627*2^1404264-1 is not prime. Res64: F1ED6DD1B696A567 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:40] 717*2^1404264-1 is not prime. Res64: CADFC186D6C7D23F Time : 0.0 sec. user=mdettweiler [2015-07-26 22:14:40] 773*2^1404264-1 is not prime. Res64: 44A21F069FFB4430 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:20:05] 837*2^1404264-1 is not prime. Res64: EAE3B96F0C1A4A9D Time : 0.0 sec. user=mdettweiler [2015-07-26 22:20:05] 915*2^1404264-1 is not prime. Res64: 55B4C3D58493A1A6 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:23] 817*2^1404265-1 is not prime. Res64: 77C8D1C34C2B4F0D Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:23] 987*2^1404265-1 is not prime. Res64: A33F543DE326C023 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:30] 947*2^1404264-1 is not prime. Res64: 133587875DEF5FE3 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:30] 601*2^1404265-1 is not prime. Res64: D6C7D46D6E4B9CD0 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:46] 627*2^1404266-1 is not prime. Res64: 8515B6F8476EF047 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:33:46] 773*2^1404266-1 is not prime. Res64: DFC44BB2516990AD Time : 0.0 sec. user=mdettweiler [2015-07-26 22:39:05] 785*2^1404266-1 is not prime. Res64: A68693A9AC25A8A0 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:39:05] 923*2^1404266-1 is not prime. Res64: A19BCC6B5504B599 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:17] 971*2^1404266-1 is not prime. Res64: AFCAEE4E51151322 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:17] 987*2^1404266-1 is not prime. Res64: 7E9E0D95603E23B8 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:17] 625*2^1404267-1 is not prime. Res64: EA3154140A53A815 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:17] 705*2^1404267-1 is not prime. Res64: A3CDD1587CEF6D1E Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:45] 849*2^1404267-1 is not prime. Res64: 9640900006F510D9 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:52:45] 861*2^1404267-1 is not prime. Res64: C406B3235B5A96F4 Time : 0.0 sec. user=mdettweiler [2015-07-26 22:57:55] 895*2^1404267-1 is not prime. Res64: 5061FE33C3DA93AA Time : 0.0 sec. user=mdettweiler [2015-07-26 22:57:55] 951*2^1404267-1 is not prime. Res64: 74B46E78BA40ED1C Time : 0.0 sec. user=mdettweiler [2015-07-26 23:10:32] 765*2^1404268-1 is not prime. Res64: 912039F14BD9D165 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:10:32] 839*2^1404268-1 is not prime. Res64: 3F8FE8D44E139683 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:10:33] 665*2^1404268-1 is not prime. Res64: 1240E05D04933A85 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:10:33] 695*2^1404268-1 is not prime. Res64: 8B93116C93BEDC7E Time : 0.0 sec. user=mdettweiler [2015-07-26 23:11:05] 957*2^1404268-1 is not prime. Res64: 9ED4EF00F1512C58 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:11:05] 975*2^1404268-1 is not prime. Res64: B3B7C52C7E71028B Time : 0.0 sec. user=mdettweiler [2015-07-26 23:17:17] 601*2^1404269-1 is not prime. Res64: F1537A3A9C333395 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:17:17] 631*2^1404269-1 is not prime. Res64: CA207CE96AE392C2 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:31:33] 879*2^1404269-1 is not prime. Res64: 20D399AD34F49F5A Time : 0.0 sec. user=mdettweiler [2015-07-26 23:31:33] 945*2^1404269-1 is not prime. Res64: 772BA6254ED83694 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:31:53] 985*2^1404269-1 is not prime. Res64: 8264E8F169DFDF4C Time : 0.0 sec. user=mdettweiler [2015-07-26 23:31:53] 635*2^1404270-1 is not prime. Res64: 27DFBB24830FBF4D Time : 0.0 sec. user=mdettweiler [2015-07-26 23:32:03] 713*2^1404270-1 is not prime. Res64: 72D11691CEA46BD3 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:32:03] 791*2^1404270-1 is not prime. Res64: 641FDAF8F279F528 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:37:49] 863*2^1404270-1 is not prime. Res64: FE1ACCD8D36E4966 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:37:50] 891*2^1404270-1 is not prime. Res64: D2BAE8BE826494A0 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:50:26] 609*2^1404271-1 is not prime. Res64: A4115ECB28C5F1FC Time : 0.0 sec. user=mdettweiler [2015-07-26 23:50:26] 651*2^1404271-1 is not prime. Res64: 338C3BFE65FB509E Time : 0.0 sec. user=mdettweiler [2015-07-26 23:50:47] 813*2^1404271-1 is not prime. Res64: DFFCA49A40001A5D Time : 0.0 sec. user=mdettweiler [2015-07-26 23:50:47] 849*2^1404271-1 is not prime. Res64: E77F2774C8DB4B84 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:51:02] 861*2^1404271-1 is not prime. Res64: E65D8291BCECF951 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:51:02] 931*2^1404271-1 is not prime. Res64: F7F42B8637026A50 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:56:41] 933*2^1404271-1 is not prime. Res64: 2D26B322CDD3BD92 Time : 0.0 sec. user=mdettweiler [2015-07-26 23:56:41] 617*2^1404272-1 is not prime. Res64: C418F00B5416D5D3 Time : 0.0 sec.