user=mdettweiler [2016-03-20 00:01:17] 735*2^1423635-1 is not prime. Res64: 8AD3FDD1BFF7F708 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:01:18] 781*2^1423635-1 is not prime. Res64: D05067B566EF9871 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:01:18] 789*2^1423635-1 is not prime. Res64: 4D0C49F9CA3BE0E7 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:01:18] 873*2^1423635-1 is not prime. Res64: 88B50545D6C5857C Time : 0.0 sec. user=mdettweiler [2016-03-20 00:01:18] 919*2^1423635-1 is not prime. Res64: DA5F40E60DD3282D Time : 0.0 sec. user=mdettweiler [2016-03-20 00:07:34] 825*2^1423636-1 is not prime. Res64: 6E4F6FE1B53BE0EC Time : 0.0 sec. user=mdettweiler [2016-03-20 00:07:35] 857*2^1423636-1 is not prime. Res64: 3CE788660C0B49C4 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:07:36] 947*2^1423636-1 is not prime. Res64: 6990C64E373ADF5D Time : 0.0 sec. user=mdettweiler [2016-03-20 00:07:37] 615*2^1423637-1 is not prime. Res64: 31A92628383B4756 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:07:37] 651*2^1423637-1 is not prime. Res64: 2D4D3423D5FF5119 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:10:49] 675*2^1423637-1 is not prime. Res64: 939A53700ABF92DB Time : 0.0 sec. user=mdettweiler [2016-03-20 00:10:49] 747*2^1423637-1 is not prime. Res64: 9326894D69BDE8DF Time : 0.0 sec. user=mdettweiler [2016-03-20 00:10:50] 825*2^1423637-1 is not prime. Res64: 895CEE0E23F45298 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:10:50] 847*2^1423637-1 is not prime. Res64: 4E4BA9104D312ABD Time : 0.0 sec. user=mdettweiler [2016-03-20 00:10:51] 871*2^1423637-1 is not prime. Res64: C666997A5B877999 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:31:04] 741*2^1423641-1 is not prime. Res64: 786204415E9E7F59 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:50:44] 879*2^1423637-1 is not prime. Res64: F7ABA1670B065041 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:50:45] 885*2^1423637-1 is not prime. Res64: 91284761641D4503 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:50:45] 927*2^1423637-1 is not prime. Res64: 2ADCE47D076CA975 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:50:45] 931*2^1423637-1 is not prime. Res64: 1155917E4CE5A1C2 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:50:45] 937*2^1423637-1 is not prime. Res64: 4D757D3C4429D069 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:51:21] 949*2^1423637-1 is not prime. Res64: 54246BD682BBFA9B Time : 0.0 sec. user=mdettweiler [2016-03-20 00:51:21] 955*2^1423637-1 is not prime. Res64: 380BC85030D44A18 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:51:21] 981*2^1423637-1 is not prime. Res64: 4E1BF17EA2992B38 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:51:21] 671*2^1423638-1 is not prime. Res64: 4C64C4D38D5A51F5 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:51:22] 971*2^1423638-1 is not prime. Res64: C6BDE7E6DE6832EA Time : 0.0 sec. user=mdettweiler [2016-03-20 00:57:47] 603*2^1423639-1 is not prime. Res64: 1EB9BDF51A10D87E Time : 0.0 sec. user=mdettweiler [2016-03-20 00:57:47] 609*2^1423639-1 is not prime. Res64: 22EFCF9CE186A9B7 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:57:47] 625*2^1423639-1 is not prime. Res64: 69F27ED9FAA09857 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:57:48] 811*2^1423639-1 is not prime. Res64: 7223F4789411C37D Time : 0.0 sec. user=mdettweiler [2016-03-20 00:57:48] 831*2^1423639-1 is not prime. Res64: 50AC23EE1510638C Time : 0.0 sec. user=mdettweiler [2016-03-20 01:01:07] 843*2^1423639-1 is not prime. Res64: 474C3602D1676F48 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:01:08] 635*2^1423640-1 is not prime. Res64: 0EEDA43FF6FBF22B Time : 0.0 sec. user=mdettweiler [2016-03-20 01:01:09] 665*2^1423640-1 is not prime. Res64: 10D5A6E85127C10C Time : 0.0 sec. user=mdettweiler [2016-03-20 01:01:10] 675*2^1423641-1 is not prime. Res64: AB1AC4F1806DEA0A Time : 0.0 sec. user=mdettweiler [2016-03-20 01:01:10] 711*2^1423641-1 is not prime. Res64: 55CEC1D16DB5802C Time : 0.0 sec. user=mdettweiler [2016-03-20 01:06:21] 987*2^1423644-1 is not prime. Res64: 4B451FA781E2258D Time : 0.0 sec. user=mdettweiler [2016-03-20 01:07:02] 805*2^1423645-1 is not prime. Res64: E03497763E4AC746 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:36:52] 895*2^1423641-1 is not prime. Res64: 123A35711C1C8A57 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:36:53] 969*2^1423641-1 is not prime. Res64: C697B0995625B498 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:36:53] 657*2^1423642-1 is not prime. Res64: 22A2DA75C54872FB Time : 0.0 sec. user=mdettweiler [2016-03-20 01:36:54] 827*2^1423642-1 is not prime. Res64: 0787744F583B018B Time : 0.0 sec. user=mdettweiler [2016-03-20 01:36:54] 915*2^1423642-1 is not prime. Res64: 0F52BAA584AF9CC8 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:37:22] 619*2^1423643-1 is not prime. Res64: DC56F3633CA38357 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:37:22] 735*2^1423643-1 is not prime. Res64: 5F7F12A5C39F3685 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:37:23] 753*2^1423643-1 is not prime. Res64: 4DF9C61AEB637E74 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:37:23] 853*2^1423643-1 is not prime. Res64: 091A29F8DC35E96B Time : 0.0 sec. user=mdettweiler [2016-03-20 01:37:24] 913*2^1423643-1 is not prime. Res64: 8CC0491B579D1D51 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:41:40] 825*2^1423646-1 is not prime. Res64: 17F0D2E5CF091A2D Time : 0.0 sec. user=mdettweiler [2016-03-20 01:43:18] 635*2^1423644-1 is not prime. Res64: A129F303DA9FF288 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:43:19] 749*2^1423644-1 is not prime. Res64: 2AA81D984788971C Time : 0.0 sec. user=mdettweiler [2016-03-20 01:43:19] 795*2^1423644-1 is not prime. Res64: 47725C9C4BF553C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:43:20] 899*2^1423644-1 is not prime. Res64: 9062E4DB30394330 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:43:20] 909*2^1423644-1 is not prime. Res64: 4B266075C35F4CE3 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:46:32] 811*2^1423645-1 is not prime. Res64: 3D0D78E5E2361436 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:46:33] 641*2^1423646-1 is not prime. Res64: 0ACC9259F7194AF2 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:46:34] 671*2^1423646-1 is not prime. Res64: 2D9A2670DA8A7878 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:46:35] 741*2^1423646-1 is not prime. Res64: BC850D10F38C83D1 Time : 0.0 sec. user=mdettweiler [2016-03-20 01:46:35] 767*2^1423646-1 is not prime. Res64: D0B0B8E6C9C76BDE Time : 0.0 sec. user=mdettweiler [2016-03-20 01:59:16] 681*2^1423650-1 is not prime. Res64: 50268A1B6A58E92A Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:02] 873*2^1423646-1 is not prime. Res64: 71E65DF19338FCA5 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:03] 917*2^1423646-1 is not prime. Res64: AB3741D61D11FA72 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:05] 633*2^1423647-1 is not prime. Res64: 0036212749E82245 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:05] 775*2^1423647-1 is not prime. Res64: F280C63E92EB57DD Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:06] 909*2^1423647-1 is not prime. Res64: 720E3BBAE8C7C6BB Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:30] 975*2^1423647-1 is not prime. Res64: D7A2EDAF3C99D40A Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:30] 635*2^1423648-1 is not prime. Res64: A87199880443EAA4 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:31] 665*2^1423648-1 is not prime. Res64: 805ED3AD045D6D59 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:32] 695*2^1423648-1 is not prime. Res64: 8A0B33E4566E7412 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:22:33] 723*2^1423648-1 is not prime. Res64: 1C02E58564EA79F2 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:28:27] 743*2^1423648-1 is not prime. Res64: C52F475B48B61795 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:28:28] 869*2^1423648-1 is not prime. Res64: 226AB9743856A9C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:28:29] 989*2^1423648-1 is not prime. Res64: 8EC4D705726FBF27 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:28:31] 995*2^1423648-1 is not prime. Res64: 10E4E13081E2AF58 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:28:32] 615*2^1423649-1 is not prime. Res64: 3EB5A686A8C8580D Time : 0.0 sec. user=mdettweiler [2016-03-20 02:31:49] 691*2^1423649-1 is not prime. Res64: 39E5BC0C4F31006D Time : 0.0 sec. user=mdettweiler [2016-03-20 02:31:50] 787*2^1423649-1 is not prime. Res64: 9F458AABF15AF84B Time : 0.0 sec. user=mdettweiler [2016-03-20 02:31:51] 795*2^1423649-1 is not prime. Res64: F34F716E9E9A63C9 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:31:52] 889*2^1423649-1 is not prime. Res64: F18B2780B3FC91B3 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:31:53] 657*2^1423650-1 is not prime. Res64: BA07E1A608291AD7 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:35:20] 875*2^1423652-1 is not prime. Res64: 3F2E48D843FC95C1 Time : 0.0 sec. user=mdettweiler [2016-03-20 02:53:09] 791*2^1423654-1 is not prime. Res64: 7E34D171011A20D3 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:08:03] 797*2^1423650-1 is not prime. Res64: 4D2AD6A2CF061EAC Time : 0.0 sec. user=mdettweiler [2016-03-20 03:08:04] 977*2^1423650-1 is not prime. Res64: 7E82330EEAF37189 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:08:04] 681*2^1423651-1 is not prime. Res64: 38818648DF9F69D0 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:08:05] 693*2^1423651-1 is not prime. Res64: E2FD509B21305C87 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:08:05] 703*2^1423651-1 is not prime. Res64: 488C4301871E2AC6 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:09:10] 759*2^1423651-1 is not prime. Res64: B77ACB214B2E70C9 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:09:10] 771*2^1423651-1 is not prime. Res64: 9D59DC3B19137824 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:09:11] 829*2^1423651-1 is not prime. Res64: 18B68DF528E4E94C Time : 0.0 sec. user=mdettweiler [2016-03-20 03:09:11] 873*2^1423651-1 is not prime. Res64: FF1B8A61953589A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:09:11] 999*2^1423651-1 is not prime. Res64: B11C26A8118BC967 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:14:23] 903*2^1423652-1 is not prime. Res64: 027C14DB456E7F94 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:14:24] 651*2^1423653-1 is not prime. Res64: 4BEF71EFE993FF54 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:14:24] 681*2^1423653-1 is not prime. Res64: E8AD6AB9F6FE4DAC Time : 0.0 sec. user=mdettweiler [2016-03-20 03:14:24] 765*2^1423653-1 is not prime. Res64: 0A834FCF3A9DE270 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:14:25] 789*2^1423653-1 is not prime. Res64: 832F4D2DD7F85332 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:17:36] 861*2^1423653-1 is not prime. Res64: FE30EB3EE9996B04 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:17:36] 915*2^1423653-1 is not prime. Res64: E9AAB3B670CEAF30 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:17:37] 987*2^1423653-1 is not prime. Res64: CF4B2551B6C80535 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:17:37] 717*2^1423654-1 is not prime. Res64: 34D054A70D324B0B Time : 0.0 sec. user=mdettweiler [2016-03-20 03:17:37] 747*2^1423654-1 is not prime. Res64: 81999D3E74F49533 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:28:12] 957*2^1423657-1 is not prime. Res64: 3F5981A6149D7DB0 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:28:29] 915*2^1423657-1 is not prime. Res64: 80654C236262BCAF Time : 0.0 sec. user=mdettweiler [2016-03-20 03:53:38] 891*2^1423654-1 is not prime. Res64: AF07253B246BA1AF Time : 0.0 sec. user=mdettweiler [2016-03-20 03:59:41] 675*2^1423656-1 is not prime. Res64: 5E96DFAD7F5D9AE6 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:59:41] 735*2^1423656-1 is not prime. Res64: BC8933B7AC74D51F Time : 0.0 sec. user=mdettweiler [2016-03-20 03:59:42] 765*2^1423656-1 is not prime. Res64: 28A30F178E1C3C08 Time : 0.0 sec. user=mdettweiler [2016-03-20 03:59:42] 803*2^1423656-1 is not prime. Res64: BF8721B3A0EE592D Time : 0.0 sec. user=mdettweiler [2016-03-20 03:59:43] 903*2^1423656-1 is not prime. Res64: E99D1E4D0C48439B Time : 0.0 sec. user=mdettweiler [2016-03-20 04:03:17] 917*2^1423656-1 is not prime. Res64: 796D1A5FB18381A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:03:18] 639*2^1423657-1 is not prime. Res64: 61B23E0C84DDE83E Time : 0.0 sec. user=mdettweiler [2016-03-20 04:03:18] 717*2^1423657-1 is not prime. Res64: 2E7573C10357F5A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:03:19] 829*2^1423657-1 is not prime. Res64: 4B5ACB4108913A67 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:03:20] 831*2^1423657-1 is not prime. Res64: 7CAD0D879F1EDE94 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:49:40] 665*2^1423658-1 is not prime. Res64: 71FD9BBECE6C22CC Time : 0.0 sec. user=mdettweiler [2016-03-20 04:49:41] 771*2^1423658-1 is not prime. Res64: 7AE9479DD8BC561A Time : 0.0 sec. user=mdettweiler [2016-03-20 04:49:41] 813*2^1423658-1 is not prime. Res64: 54547BF431487237 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:49:42] 825*2^1423658-1 is not prime. Res64: EA03D811A322FCE4 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:49:42] 857*2^1423658-1 is not prime. Res64: B14F7D201A33981C Time : 0.0 sec. user=mdettweiler [2016-03-20 04:53:43] 885*2^1423658-1 is not prime. Res64: 3A2FD4386501DBFD Time : 0.0 sec. user=mdettweiler [2016-03-20 04:53:44] 951*2^1423658-1 is not prime. Res64: 81228428E3F8F6A9 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:53:44] 963*2^1423658-1 is not prime. Res64: 6983F6EC6460C572 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:53:44] 977*2^1423658-1 is not prime. Res64: F3A85DDB6A578724 Time : 0.0 sec. user=mdettweiler [2016-03-20 04:53:45] 619*2^1423659-1 is not prime. Res64: D226EEAA75DA1888 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:15:36] 983*2^1423660-1 is not prime. Res64: F6DD1CC33A4CF6F9 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:37:40] 625*2^1423659-1 is not prime. Res64: 51B8949095B8BE59 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:37:40] 633*2^1423659-1 is not prime. Res64: 40983FC39709783C Time : 0.0 sec. user=mdettweiler [2016-03-20 05:37:41] 775*2^1423659-1 is not prime. Res64: FB434F5BCCD55282 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:37:41] 903*2^1423659-1 is not prime. Res64: 4A5AF1A598EE9585 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:37:41] 955*2^1423659-1 is not prime. Res64: 435E8C04426B2949 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:41:19] 999*2^1423659-1 is not prime. Res64: 39170DD61393D687 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:41:20] 759*2^1423660-1 is not prime. Res64: A033A5AB6A0BF909 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:41:20] 875*2^1423660-1 is not prime. Res64: 6A8361A9957590A7 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:41:20] 897*2^1423660-1 is not prime. Res64: 321AFF8D91CE967D Time : 0.0 sec. user=mdettweiler [2016-03-20 05:41:21] 909*2^1423660-1 is not prime. Res64: 47EE8D76FAC2CB6B Time : 0.0 sec. user=mdettweiler [2016-03-20 05:45:46] 739*2^1423655-1 is not prime. Res64: 19F59480F8C6BD3F Time : 0.0 sec. user=mdettweiler [2016-03-20 05:45:47] 943*2^1423655-1 is not prime. Res64: D3C4EF2D9F97B843 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:45:47] 963*2^1423655-1 is not prime. Res64: D85D8213E0701A2D Time : 0.0 sec. user=mdettweiler [2016-03-20 05:45:47] 979*2^1423655-1 is not prime. Res64: A2D62DF78EBB4A9E Time : 0.0 sec. user=mdettweiler [2016-03-20 05:45:48] 635*2^1423656-1 is not prime. Res64: 896B17C9012A55C2 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:46:29] 993*2^1423654-1 is not prime. Res64: DBE896F16C2FED51 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:46:29] 619*2^1423655-1 is not prime. Res64: F03DA17F95F84DF7 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:46:30] 669*2^1423655-1 is not prime. Res64: D8D7F9B704C5A1F8 Time : 0.0 sec. user=mdettweiler [2016-03-20 05:46:30] 675*2^1423655-1 is not prime. Res64: E11019CA7B89573A Time : 0.0 sec. user=mdettweiler [2016-03-20 06:08:06] 849*2^1423663-1 is not prime. Res64: 17717B16228204DF Time : 0.0 sec. user=mdettweiler [2016-03-20 06:22:52] 795*2^1423661-1 is not prime. Res64: 3DD0603F376727CD Time : 0.0 sec. user=mdettweiler [2016-03-20 06:22:53] 811*2^1423661-1 is not prime. Res64: 8849A3058734AEB0 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:22:53] 825*2^1423661-1 is not prime. Res64: EEE8DB9ECD2EC63B Time : 0.0 sec. user=mdettweiler [2016-03-20 06:22:54] 867*2^1423661-1 is not prime. Res64: B3A0DCC24DB84642 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:22:54] 937*2^1423661-1 is not prime. Res64: CEA750BFDD70282F Time : 0.0 sec. user=mdettweiler [2016-03-20 06:25:56] 993*2^1423663-1 is not prime. Res64: ACF95FDBB3E6314F Time : 0.0 sec. user=mdettweiler [2016-03-20 06:26:11] 967*2^1423661-1 is not prime. Res64: D3BB409DAF6ADBF4 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:26:11] 979*2^1423661-1 is not prime. Res64: E7249FE58F196671 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:26:12] 611*2^1423662-1 is not prime. Res64: 276E1A1E3FDA753C Time : 0.0 sec. user=mdettweiler [2016-03-20 06:26:12] 621*2^1423662-1 is not prime. Res64: CC5ADB293B8E102D Time : 0.0 sec. user=mdettweiler [2016-03-20 06:26:12] 635*2^1423662-1 is not prime. Res64: 656081C16CAE8F97 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:30:30] 791*2^1423662-1 is not prime. Res64: 4A657202CFD4794C Time : 0.0 sec. user=mdettweiler [2016-03-20 06:30:31] 797*2^1423662-1 is not prime. Res64: 4C3B7A7953AE8FB8 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:30:31] 821*2^1423662-1 is not prime. Res64: FEF7F15C4496BC73 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:30:31] 873*2^1423662-1 is not prime. Res64: 3B401FB6B33145CC Time : 0.0 sec. user=mdettweiler [2016-03-20 06:30:32] 903*2^1423662-1 is not prime. Res64: 16435A9EC86B06E8 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:31:13] 1001*2^1423662-1 is not prime. Res64: 7A6C985432AC6404 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:31:13] 663*2^1423663-1 is not prime. Res64: F2199C14FBADA1B4 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:31:14] 679*2^1423663-1 is not prime. Res64: C85389A8B71278CD Time : 0.0 sec. user=mdettweiler [2016-03-20 06:31:14] 709*2^1423663-1 is not prime. Res64: EE6966E5754FEA18 Time : 0.0 sec. user=mdettweiler [2016-03-20 06:31:15] 831*2^1423663-1 is not prime. Res64: DDB244932F080B97 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:07:42] 825*2^1423664-1 is not prime. Res64: 83D44F34708F96A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:07:42] 945*2^1423664-1 is not prime. Res64: 1CAD6B30EB7F3069 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:07:43] 959*2^1423664-1 is not prime. Res64: 4003B24A971A423F Time : 0.0 sec. user=mdettweiler [2016-03-20 07:07:43] 983*2^1423664-1 is not prime. Res64: A82B5BF03CF913EA Time : 0.0 sec. user=mdettweiler [2016-03-20 07:07:43] 691*2^1423665-1 is not prime. Res64: E3C5A29634B356A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:11:02] 699*2^1423665-1 is not prime. Res64: DB6C30AEE9847DDC Time : 0.0 sec. user=mdettweiler [2016-03-20 07:11:02] 787*2^1423665-1 is not prime. Res64: 7A626F30A1A4BDEE Time : 0.0 sec. user=mdettweiler [2016-03-20 07:11:02] 805*2^1423665-1 is not prime. Res64: 38154805A0A241BC Time : 0.0 sec. user=mdettweiler [2016-03-20 07:11:03] 895*2^1423665-1 is not prime. Res64: 648238C4FE02D59C Time : 0.0 sec. user=mdettweiler [2016-03-20 07:11:03] 651*2^1423666-1 is not prime. Res64: B2F1453FC6C87E70 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:15:18] 657*2^1423666-1 is not prime. Res64: DF46332F9D81571D Time : 0.0 sec. user=mdettweiler [2016-03-20 07:15:19] 717*2^1423666-1 is not prime. Res64: E7DDFA29BCAC0825 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:15:19] 747*2^1423666-1 is not prime. Res64: 4E70CCE7102840CA Time : 0.0 sec. user=mdettweiler [2016-03-20 07:15:19] 801*2^1423666-1 is not prime. Res64: 57596494DEA27D06 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:15:20] 825*2^1423666-1 is not prime. Res64: ADF98102CBC4F63A Time : 0.0 sec. user=mdettweiler [2016-03-20 07:16:14] 861*2^1423666-1 is not prime. Res64: 2883D7B6D1854A12 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:16:15] 609*2^1423667-1 is not prime. Res64: A26C8ECB48810D81 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:16:15] 631*2^1423667-1 is not prime. Res64: A0ECD30DEB219721 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:16:16] 669*2^1423667-1 is not prime. Res64: D8CF44F0FED3FB0A Time : 0.0 sec. user=mdettweiler [2016-03-20 07:16:16] 813*2^1423667-1 is not prime. Res64: BD6EBC8F73930D59 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:36:54] 741*2^1423670-1 is not prime. Res64: A36F90B0AD5C55A0 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:52:53] 823*2^1423667-1 is not prime. Res64: EB2E77B856DF08F2 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:52:53] 825*2^1423667-1 is not prime. Res64: 978F0DEB00CFDD1D Time : 0.0 sec. user=mdettweiler [2016-03-20 07:52:53] 841*2^1423667-1 is not prime. Res64: D17C98A290B4EBAA Time : 0.0 sec. user=mdettweiler [2016-03-20 07:52:54] 915*2^1423667-1 is not prime. Res64: AB9E41671AF93E36 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:52:54] 949*2^1423667-1 is not prime. Res64: EB932CB42459B122 Time : 0.0 sec. user=mdettweiler [2016-03-20 07:54:45] 773*2^1423670-1 is not prime. Res64: E6CF47766DB47A5D Time : 0.0 sec. user=mdettweiler [2016-03-20 07:56:09] 973*2^1423667-1 is not prime. Res64: CD3703FB14B5639B Time : 0.0 sec. user=mdettweiler [2016-03-20 07:56:09] 981*2^1423667-1 is not prime. Res64: 929C916F5F4C321C Time : 0.0 sec. user=mdettweiler [2016-03-20 07:56:10] 665*2^1423668-1 is not prime. Res64: 2B6B578699DB8DAE Time : 0.0 sec. user=mdettweiler [2016-03-20 07:56:10] 695*2^1423668-1 is not prime. Res64: 37587E54D33EFB7C Time : 0.0 sec. user=mdettweiler [2016-03-20 07:56:10] 909*2^1423668-1 is not prime. Res64: 3A457FF28B76ECD0 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:00:13] 601*2^1423669-1 is not prime. Res64: C9424BCC1D4BF395 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:00:14] 691*2^1423669-1 is not prime. Res64: 19416EF1C9CA790B Time : 0.0 sec. user=mdettweiler [2016-03-20 08:00:15] 699*2^1423669-1 is not prime. Res64: E32EE67B5C0544B7 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:00:16] 769*2^1423669-1 is not prime. Res64: 0C2EC73E29830EED Time : 0.0 sec. user=mdettweiler [2016-03-20 08:00:16] 789*2^1423669-1 is not prime. Res64: 8496E0F5A3C76937 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:01:11] 801*2^1423669-1 is not prime. Res64: E049165B3CDC7899 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:01:12] 877*2^1423669-1 is not prime. Res64: F73310AF7D94C922 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:01:13] 927*2^1423669-1 is not prime. Res64: 18F0997FD01CAA35 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:01:14] 657*2^1423670-1 is not prime. Res64: 8E56B924A170A0D5 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:01:15] 675*2^1423670-1 is not prime. Res64: BF75A24AB959ED09 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:37:59] 885*2^1423670-1 is not prime. Res64: 535E4C4EB8A9E9E2 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:37:59] 917*2^1423670-1 is not prime. Res64: 02CCF8074007C70B Time : 0.0 sec. user=mdettweiler [2016-03-20 08:38:00] 977*2^1423670-1 is not prime. Res64: C1AA0CD143FE418C Time : 0.0 sec. user=mdettweiler [2016-03-20 08:38:00] 723*2^1423671-1 is not prime. Res64: 303906F58416FE0D Time : 0.0 sec. user=mdettweiler [2016-03-20 08:38:00] 741*2^1423671-1 is not prime. Res64: 9CD576B65F3644BB Time : 0.0 sec. user=mdettweiler [2016-03-20 08:41:26] 751*2^1423671-1 is not prime. Res64: 5740AF1CA7992D04 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:41:27] 861*2^1423671-1 is not prime. Res64: 547469DE1CD239BB Time : 0.0 sec. user=mdettweiler [2016-03-20 08:41:27] 885*2^1423671-1 is not prime. Res64: F7EAA967F29DB2F2 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:41:28] 665*2^1423672-1 is not prime. Res64: BC2FDDA47700A774 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:41:28] 843*2^1423672-1 is not prime. Res64: 9CD64683B3D5142F Time : 0.0 sec. user=mdettweiler [2016-03-20 08:45:16] 965*2^1423672-1 is not prime. Res64: 18B195E10942B33D Time : 0.0 sec. user=mdettweiler [2016-03-20 08:45:16] 975*2^1423672-1 is not prime. Res64: 4B3D237DE899911D Time : 0.0 sec. user=mdettweiler [2016-03-20 08:45:16] 999*2^1423672-1 is not prime. Res64: 2EAB2F1ACF2DD9A7 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:45:17] 691*2^1423673-1 is not prime. Res64: D1B6251AC301CFE8 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:45:17] 697*2^1423673-1 is not prime. Res64: 7BBD0CFF5C60E044 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:46:27] 727*2^1423673-1 is not prime. Res64: 276BD0A4C294FFC7 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:46:27] 605*2^1423674-1 is not prime. Res64: 27247F53AB1BA13D Time : 0.0 sec. user=mdettweiler [2016-03-20 08:46:28] 621*2^1423674-1 is not prime. Res64: 3A7E50EC380805D9 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:46:28] 641*2^1423674-1 is not prime. Res64: C3819A5256A50818 Time : 0.0 sec. user=mdettweiler [2016-03-20 08:46:28] 741*2^1423674-1 is not prime. Res64: 9BCC08339392577A Time : 0.0 sec. user=mdettweiler [2016-03-20 08:47:37] 617*2^1423676-1 is not prime. Res64: A77F1836FD44B7A5 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:46] 609*2^1423675-1 is not prime. Res64: 57C0182C5DC7035A Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:46] 631*2^1423675-1 is not prime. Res64: 659562946603BEED Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:47] 765*2^1423675-1 is not prime. Res64: CC167420A9E1BEB8 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:47] 819*2^1423675-1 is not prime. Res64: 22B5776E4734C1BB Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:47] 849*2^1423675-1 is not prime. Res64: 04770737EEDDE269 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:22:53] 921*2^1423679-1 is not prime. Res64: B1490D63F2D58C22 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:23:15] 913*2^1423679-1 is not prime. Res64: E3A07184CE08641C Time : 0.0 sec. user=mdettweiler [2016-03-20 09:26:28] 623*2^1423676-1 is not prime. Res64: 6111B84555C58DE1 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:26:28] 717*2^1423676-1 is not prime. Res64: 0669699559657216 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:26:29] 875*2^1423676-1 is not prime. Res64: FE1D43937DC64C12 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:26:29] 999*2^1423676-1 is not prime. Res64: 4F35943765914604 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:26:29] 625*2^1423677-1 is not prime. Res64: E42C6CADEB8A2AED Time : 0.0 sec. user=mdettweiler [2016-03-20 09:30:08] 655*2^1423677-1 is not prime. Res64: 619020A8555FE4B3 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:30:08] 691*2^1423677-1 is not prime. Res64: 1AB50B6B3BA6EA68 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:30:09] 795*2^1423677-1 is not prime. Res64: B70510086B420B8F Time : 0.0 sec. user=mdettweiler [2016-03-20 09:30:09] 885*2^1423677-1 is not prime. Res64: E063BE4D5F8BD491 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:30:10] 603*2^1423678-1 is not prime. Res64: C230508AAA0F4C3E Time : 0.0 sec. user=mdettweiler [2016-03-20 09:31:29] 833*2^1423678-1 is not prime. Res64: 080E58389601F96B Time : 0.0 sec. user=mdettweiler [2016-03-20 09:31:30] 679*2^1423679-1 is not prime. Res64: 8661CD3EFD1105CA Time : 0.0 sec. user=mdettweiler [2016-03-20 09:31:30] 759*2^1423679-1 is not prime. Res64: 98EF623F2CC44362 Time : 0.0 sec. user=mdettweiler [2016-03-20 09:31:31] 885*2^1423679-1 is not prime. Res64: 8C0866766B602F2C Time : 0.0 sec. user=mdettweiler [2016-03-20 09:31:31] 895*2^1423679-1 is not prime. Res64: C0E7FBA828F5B172 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:07:38] 931*2^1423679-1 is not prime. Res64: 24E2D790E1997C6D Time : 0.0 sec. user=mdettweiler [2016-03-20 10:07:38] 623*2^1423680-1 is not prime. Res64: 0F393F27D2E0E3F1 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:07:39] 669*2^1423680-1 is not prime. Res64: 4CADAE96531F09FD Time : 0.0 sec. user=mdettweiler [2016-03-20 10:07:39] 719*2^1423680-1 is not prime. Res64: 112569969A8E5951 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:07:39] 737*2^1423680-1 is not prime. Res64: 1CA937C05CA37FB3 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:11:15] 759*2^1423680-1 is not prime. Res64: 538097C61159D374 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:11:15] 839*2^1423680-1 is not prime. Res64: B5ADC3E7662519DE Time : 0.0 sec. user=mdettweiler [2016-03-20 10:11:15] 867*2^1423680-1 is not prime. Res64: FE8354CF1F1E358F Time : 0.0 sec. user=mdettweiler [2016-03-20 10:11:16] 861*2^1423681-1 is not prime. Res64: C37CA5BCE2F0F48E Time : 0.0 sec. user=mdettweiler [2016-03-20 10:11:16] 909*2^1423681-1 is not prime. Res64: 71A7869AD85C7EE9 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:15:10] 665*2^1423682-1 is not prime. Res64: 47AB7AD903D51CD5 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:15:10] 713*2^1423682-1 is not prime. Res64: 85E0AC6897F1AA8F Time : 0.0 sec. user=mdettweiler [2016-03-20 10:15:11] 735*2^1423682-1 is not prime. Res64: 16B406D0F0CE244F Time : 0.0 sec. user=mdettweiler [2016-03-20 10:15:11] 791*2^1423682-1 is not prime. Res64: BC3F6EC000B52429 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:15:11] 801*2^1423682-1 is not prime. Res64: 4283BB7481A5DBE9 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:16:20] 825*2^1423682-1 is not prime. Res64: 753FCAD6398904EE Time : 0.0 sec. user=mdettweiler [2016-03-20 10:16:20] 945*2^1423682-1 is not prime. Res64: 01F9E237F5D87541 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:16:21] 643*2^1423683-1 is not prime. Res64: 7859EBCE25E1C2C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:16:21] 709*2^1423683-1 is not prime. Res64: 97776709591F0A5D Time : 0.0 sec. user=mdettweiler [2016-03-20 10:16:22] 795*2^1423683-1 is not prime. Res64: 80E82E1A06F883C9 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:53:12] 819*2^1423683-1 is not prime. Res64: 96C5914CB42A08CA Time : 0.0 sec. user=mdettweiler [2016-03-20 10:53:12] 895*2^1423683-1 is not prime. Res64: 666A0481B427C4CD Time : 0.0 sec. user=mdettweiler [2016-03-20 10:53:12] 955*2^1423683-1 is not prime. Res64: 7E4F870BECEEEA77 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:53:13] 963*2^1423683-1 is not prime. Res64: BE3AC4C0CEAD8A24 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:53:13] 635*2^1423684-1 is not prime. Res64: 9170B1FCC2913CDF Time : 0.0 sec. user=mdettweiler [2016-03-20 10:56:36] 657*2^1423684-1 is not prime. Res64: FFA6D47B89F8E964 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:56:37] 743*2^1423684-1 is not prime. Res64: 89E96EE614B57B9D Time : 0.0 sec. user=mdettweiler [2016-03-20 10:56:37] 783*2^1423684-1 is not prime. Res64: 721AA2C4CB665B8A Time : 0.0 sec. user=mdettweiler [2016-03-20 10:56:37] 803*2^1423684-1 is not prime. Res64: 2EECDAFEC44B62F5 Time : 0.0 sec. user=mdettweiler [2016-03-20 10:56:38] 903*2^1423684-1 is not prime. Res64: E6E667E71112784E Time : 0.0 sec. user=mdettweiler [2016-03-20 11:00:25] 939*2^1423684-1 is not prime. Res64: 55306F76C66A55CA Time : 0.0 sec. user=mdettweiler [2016-03-20 11:00:26] 989*2^1423684-1 is not prime. Res64: 6DBB0D8A1411E6BD Time : 0.0 sec. user=mdettweiler [2016-03-20 11:00:27] 627*2^1423685-1 is not prime. Res64: 383944BBC8961A3F Time : 0.0 sec. user=mdettweiler [2016-03-20 11:00:28] 741*2^1423685-1 is not prime. Res64: 6A4986E90520A471 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:00:29] 777*2^1423685-1 is not prime. Res64: 82A9C6EEA4353472 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:01:29] 819*2^1423685-1 is not prime. Res64: DBEE16414D1FB905 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:01:30] 889*2^1423685-1 is not prime. Res64: 6CBEDCA5E01B3194 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:01:31] 761*2^1423686-1 is not prime. Res64: C5D10B031263F5FD Time : 0.0 sec. user=mdettweiler [2016-03-20 11:01:31] 873*2^1423686-1 is not prime. Res64: 4A1CFDC2FD2CE0FA Time : 0.0 sec. user=mdettweiler [2016-03-20 11:01:32] 963*2^1423686-1 is not prime. Res64: EACC96747F39A66F Time : 0.0 sec. user=mdettweiler [2016-03-20 11:38:05] 975*2^1423686-1 is not prime. Res64: 9C0BD99E5E48E654 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:38:06] 639*2^1423687-1 is not prime. Res64: DEADEAD579E7CACF Time : 0.0 sec. user=mdettweiler [2016-03-20 11:38:06] 715*2^1423687-1 is not prime. Res64: CECB2B8EB4D9D152 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:38:06] 939*2^1423687-1 is not prime. Res64: 588FC97B16EF6E5E Time : 0.0 sec. user=mdettweiler [2016-03-20 11:38:07] 973*2^1423687-1 is not prime. Res64: 8C9B5C553B1EE215 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:41:25] 663*2^1423688-1 is not prime. Res64: 87C482BA41D86A9F Time : 0.0 sec. user=mdettweiler [2016-03-20 11:41:26] 743*2^1423688-1 is not prime. Res64: 3B2E83254E49A180 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:41:26] 803*2^1423688-1 is not prime. Res64: EBDB8408491D3585 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:41:26] 827*2^1423688-1 is not prime. Res64: 39588F1203BA352F Time : 0.0 sec. user=mdettweiler [2016-03-20 11:41:27] 935*2^1423688-1 is not prime. Res64: 9B8031E43B6136D6 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:45:12] 661*2^1423689-1 is not prime. Res64: BACFB927CB67BB41 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:45:13] 681*2^1423689-1 is not prime. Res64: DFEEAA2A05A5172F Time : 0.0 sec. user=mdettweiler [2016-03-20 11:45:13] 721*2^1423689-1 is not prime. Res64: CF61B4EDC7E7A9C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:45:13] 745*2^1423689-1 is not prime. Res64: 1A09B9174846C9AD Time : 0.0 sec. user=mdettweiler [2016-03-20 11:45:14] 985*2^1423689-1 is not prime. Res64: 6BC673CA6B830496 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:46:19] 653*2^1423690-1 is not prime. Res64: BF4EF455D759BFA0 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:46:19] 701*2^1423690-1 is not prime. Res64: B131B7D51BE2D063 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:46:19] 741*2^1423690-1 is not prime. Res64: CDA20A8756FF3FDE Time : 0.0 sec. user=mdettweiler [2016-03-20 11:46:20] 777*2^1423690-1 is not prime. Res64: 2BDE89A1774EE141 Time : 0.0 sec. user=mdettweiler [2016-03-20 11:46:20] 905*2^1423690-1 is not prime. Res64: 694AE226A1736743 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:19:40] 677*2^1423694-1 is not prime. Res64: AFD3AA5499165B56 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:23:09] 995*2^1423690-1 is not prime. Res64: 09BB1FC356405096 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:23:10] 693*2^1423691-1 is not prime. Res64: 49DC836E9547E640 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:23:10] 711*2^1423691-1 is not prime. Res64: 8AD1F0784CE5F27D Time : 0.0 sec. user=mdettweiler [2016-03-20 12:23:10] 811*2^1423691-1 is not prime. Res64: A87F6EEFE70EA8BD Time : 0.0 sec. user=mdettweiler [2016-03-20 12:23:11] 813*2^1423691-1 is not prime. Res64: 0A47DA846CE8BCFD Time : 0.0 sec. user=mdettweiler [2016-03-20 12:26:14] 871*2^1423691-1 is not prime. Res64: B0E486D02CAE4800 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:26:15] 909*2^1423691-1 is not prime. Res64: 59FFCDE1EB5E8E22 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:26:15] 627*2^1423692-1 is not prime. Res64: 0CCCDDEEBDF91862 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:26:15] 675*2^1423692-1 is not prime. Res64: 9598E28D02EC0E96 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:26:16] 777*2^1423692-1 is not prime. Res64: CD53CB494F5EE651 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:30:04] 899*2^1423692-1 is not prime. Res64: 4D18347778F2FCC1 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:30:04] 983*2^1423692-1 is not prime. Res64: 25E87B320A07835E Time : 0.0 sec. user=mdettweiler [2016-03-20 12:30:04] 999*2^1423692-1 is not prime. Res64: 7A7DDF358984E498 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:30:05] 699*2^1423693-1 is not prime. Res64: 12B811A19EE9A3DF Time : 0.0 sec. user=mdettweiler [2016-03-20 12:30:05] 805*2^1423693-1 is not prime. Res64: 3B4CB14DEFF0FDB8 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:31:43] 829*2^1423693-1 is not prime. Res64: 67873D03D4614F5D Time : 0.0 sec. user=mdettweiler [2016-03-20 12:31:43] 849*2^1423693-1 is not prime. Res64: 2AADF98A7D7F4836 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:31:44] 855*2^1423693-1 is not prime. Res64: DFCAFFAD25044546 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:31:44] 901*2^1423693-1 is not prime. Res64: E46F9BBC1A7E7A89 Time : 0.0 sec. user=mdettweiler [2016-03-20 12:31:44] 671*2^1423694-1 is not prime. Res64: 51AB236F55CFA5E3 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:12:11] 711*2^1423694-1 is not prime. Res64: A918F26C644F5A2C Time : 0.0 sec. user=mdettweiler [2016-03-20 13:12:12] 741*2^1423694-1 is not prime. Res64: BFBD604C9B8B419E Time : 0.0 sec. user=mdettweiler [2016-03-20 13:12:12] 873*2^1423694-1 is not prime. Res64: FC6D559075193F0D Time : 0.0 sec. user=mdettweiler [2016-03-20 13:12:12] 941*2^1423694-1 is not prime. Res64: ABE8B4CE11E708EF Time : 0.0 sec. user=mdettweiler [2016-03-20 13:12:13] 945*2^1423694-1 is not prime. Res64: E3BD504F0868C3C1 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:15:24] 965*2^1423694-1 is not prime. Res64: C6024FA9235DD82A Time : 0.0 sec. user=mdettweiler [2016-03-20 13:15:25] 983*2^1423694-1 is not prime. Res64: 487BEF5FE6A437CC Time : 0.0 sec. user=mdettweiler [2016-03-20 13:15:25] 609*2^1423695-1 is not prime. Res64: A119A5A96BBEF697 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:15:25] 669*2^1423695-1 is not prime. Res64: 55CD4288BAFB10B4 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:15:26] 823*2^1423695-1 is not prime. Res64: 50B80B260724155D Time : 0.0 sec. user=mdettweiler [2016-03-20 13:20:18] 885*2^1423695-1 is not prime. Res64: 2975240107AC8337 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:20:19] 895*2^1423695-1 is not prime. Res64: 77208B934D1E13BC Time : 0.0 sec. user=mdettweiler [2016-03-20 13:20:19] 629*2^1423696-1 is not prime. Res64: 11C8D20A7454D005 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:20:19] 693*2^1423696-1 is not prime. Res64: 5357B303E2300EF8 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:20:20] 905*2^1423696-1 is not prime. Res64: B134C4CCC5C52938 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:21:58] 927*2^1423696-1 is not prime. Res64: AB59A22064D24533 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:21:58] 729*2^1423697-1 is not prime. Res64: 4FA9C356DA6305DF Time : 0.0 sec. user=mdettweiler [2016-03-20 13:21:59] 741*2^1423697-1 is not prime. Res64: D645F318747F6432 Time : 0.0 sec. user=mdettweiler [2016-03-20 13:21:59] 861*2^1423697-1 is not prime. Res64: 051D9A585875F7BE Time : 0.0 sec. user=mdettweiler [2016-03-20 13:21:59] 647*2^1423698-1 is not prime. Res64: 769C346BF4181573 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:02:27] 681*2^1423698-1 is not prime. Res64: 9834E773349FA6A0 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:02:28] 705*2^1423698-1 is not prime. Res64: C89A12732C79B158 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:02:28] 765*2^1423698-1 is not prime. Res64: 3FBCDDCDB3703D43 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:02:29] 821*2^1423698-1 is not prime. Res64: 0089F23FF5108365 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:02:32] 945*2^1423698-1 is not prime. Res64: B4C004AC2E3339E9 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:06:03] 619*2^1423699-1 is not prime. Res64: D4BE3C1165B33200 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:06:04] 621*2^1423699-1 is not prime. Res64: C759FAABA5E8C87D Time : 0.0 sec. user=mdettweiler [2016-03-20 14:06:05] 639*2^1423699-1 is not prime. Res64: 7BCB24BD09BEA15D Time : 0.0 sec. user=mdettweiler [2016-03-20 14:06:06] 885*2^1423699-1 is not prime. Res64: C0A09F0A6F603846 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:06:07] 961*2^1423699-1 is not prime. Res64: 70952D35BE622BB1 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:10:33] 927*2^1423700-1 is not prime. Res64: C3F3486F56738824 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:10:33] 983*2^1423700-1 is not prime. Res64: 08E17C141A1C8B7F Time : 0.0 sec. user=mdettweiler [2016-03-20 14:10:34] 615*2^1423701-1 is not prime. Res64: 87F9D7633E4231F5 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:10:34] 621*2^1423701-1 is not prime. Res64: E6CAD403794C2C1B Time : 0.0 sec. user=mdettweiler [2016-03-20 14:10:34] 685*2^1423701-1 is not prime. Res64: 6BD134E7DF77192D Time : 0.0 sec. user=mdettweiler [2016-03-20 14:12:42] 745*2^1423701-1 is not prime. Res64: 3537243C778B30CA Time : 0.0 sec. user=mdettweiler [2016-03-20 14:12:43] 777*2^1423701-1 is not prime. Res64: B44796252FED569B Time : 0.0 sec. user=mdettweiler [2016-03-20 14:12:43] 871*2^1423701-1 is not prime. Res64: C0C26864F5F7CEAC Time : 0.0 sec. user=mdettweiler [2016-03-20 14:12:44] 895*2^1423701-1 is not prime. Res64: AFB51AE0FC0B5C25 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:12:44] 951*2^1423701-1 is not prime. Res64: 330C92CE1271A729 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:23:26] 699*2^1423705-1 is not prime. Res64: 0BB612EE8ECC8989 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:23:44] 957*2^1423705-1 is not prime. Res64: C0631D98A8253752 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:41:52] 985*2^1423705-1 is not prime. Res64: 645C188328A31A58 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:42:11] 683*2^1423706-1 is not prime. Res64: 9A60B405EC406609 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:52:30] 975*2^1423701-1 is not prime. Res64: E210D4A22BEF38F9 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:52:31] 723*2^1423702-1 is not prime. Res64: 4225CA8FCE0012DB Time : 0.0 sec. user=mdettweiler [2016-03-20 14:52:31] 785*2^1423702-1 is not prime. Res64: C95A43D9E15479CF Time : 0.0 sec. user=mdettweiler [2016-03-20 14:52:31] 957*2^1423702-1 is not prime. Res64: 4AF4ADD04FAE61EF Time : 0.0 sec. user=mdettweiler [2016-03-20 14:52:32] 781*2^1423703-1 is not prime. Res64: 32A72B8961008F82 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:56:06] 859*2^1423703-1 is not prime. Res64: 2A12DD48209E0204 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:56:06] 885*2^1423703-1 is not prime. Res64: 64D55C932806A9C9 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:56:07] 895*2^1423703-1 is not prime. Res64: 9286FEBC0284C760 Time : 0.0 sec. user=mdettweiler [2016-03-20 14:56:07] 921*2^1423703-1 is not prime. Res64: E35A8296F34DCE8E Time : 0.0 sec. user=mdettweiler [2016-03-20 14:56:08] 629*2^1423704-1 is not prime. Res64: 67C0BCEA1B01183E Time : 0.0 sec. user=mdettweiler [2016-03-20 15:00:17] 663*2^1423704-1 is not prime. Res64: 0FCF851D431C5AF4 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:00:18] 689*2^1423704-1 is not prime. Res64: 5AB14567EDCF6E20 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:00:18] 717*2^1423704-1 is not prime. Res64: AD3433D02C652F6A Time : 0.0 sec. user=mdettweiler [2016-03-20 15:00:19] 795*2^1423704-1 is not prime. Res64: 91E6317EF6FB0ABE Time : 0.0 sec. user=mdettweiler [2016-03-20 15:00:19] 857*2^1423704-1 is not prime. Res64: 614AF415C293FF09 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:03:18] 909*2^1423704-1 is not prime. Res64: 3159118C8DC9E5FF Time : 0.0 sec. user=mdettweiler [2016-03-20 15:03:20] 915*2^1423704-1 is not prime. Res64: 1C97D0710ECFC468 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:03:21] 947*2^1423704-1 is not prime. Res64: BDE140A3C869C58B Time : 0.0 sec. user=mdettweiler [2016-03-20 15:03:22] 983*2^1423704-1 is not prime. Res64: 478784482415A96C Time : 0.0 sec. user=mdettweiler [2016-03-20 15:03:23] 687*2^1423705-1 is not prime. Res64: 74F4DC9741A5EA73 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:17:35] 677*2^1423710-1 is not prime. Res64: B44CEB7FCC823DE4 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:43:36] 743*2^1423706-1 is not prime. Res64: 6CA2E6D55EB60690 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:43:36] 773*2^1423706-1 is not prime. Res64: F4DAC9A8CA4FE286 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:43:36] 813*2^1423706-1 is not prime. Res64: 2C9F5D0C092478A5 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:43:37] 903*2^1423706-1 is not prime. Res64: 8A19F4BC123AC0A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:43:37] 923*2^1423706-1 is not prime. Res64: FF0EF1E8915D2DF2 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:46:43] 957*2^1423706-1 is not prime. Res64: CCA39DB2AC9AFEDD Time : 0.0 sec. user=mdettweiler [2016-03-20 15:46:43] 601*2^1423707-1 is not prime. Res64: 2F2E8A611569EBAE Time : 0.0 sec. user=mdettweiler [2016-03-20 15:46:43] 633*2^1423707-1 is not prime. Res64: 7911E2CD587A267F Time : 0.0 sec. user=mdettweiler [2016-03-20 15:46:44] 793*2^1423707-1 is not prime. Res64: 8AB6694CD868594F Time : 0.0 sec. user=mdettweiler [2016-03-20 15:46:44] 859*2^1423707-1 is not prime. Res64: 6BA9D79DA497B264 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:50:52] 961*2^1423707-1 is not prime. Res64: D8C611FB313CEE43 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:50:53] 605*2^1423708-1 is not prime. Res64: 7F3E2D04ADCEFAFC Time : 0.0 sec. user=mdettweiler [2016-03-20 15:50:53] 615*2^1423708-1 is not prime. Res64: 7BECBEFA3362D70A Time : 0.0 sec. user=mdettweiler [2016-03-20 15:50:54] 663*2^1423708-1 is not prime. Res64: 6297647C2E2F8EE5 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:50:54] 695*2^1423708-1 is not prime. Res64: AE94CBDC3DBECB01 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:53:26] 825*2^1423708-1 is not prime. Res64: 0EEBA57F5199C0EA Time : 0.0 sec. user=mdettweiler [2016-03-20 15:53:27] 843*2^1423708-1 is not prime. Res64: F21B61F0DB787DAE Time : 0.0 sec. user=mdettweiler [2016-03-20 15:53:27] 993*2^1423708-1 is not prime. Res64: EF927A5B5F1BFC87 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:53:27] 759*2^1423709-1 is not prime. Res64: 58FBB715FF583E87 Time : 0.0 sec. user=mdettweiler [2016-03-20 15:53:28] 787*2^1423709-1 is not prime. Res64: 13774E0F2B8570ED Time : 0.0 sec. user=mdettweiler [2016-03-20 16:28:53] 725*2^1423710-1 is not prime. Res64: 3373F5F80C913999 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:28:53] 767*2^1423710-1 is not prime. Res64: 31F3F631A3A3A83C Time : 0.0 sec. user=mdettweiler [2016-03-20 16:28:54] 821*2^1423710-1 is not prime. Res64: BFE1B3ABDC9CB1CA Time : 0.0 sec. user=mdettweiler [2016-03-20 16:28:54] 845*2^1423710-1 is not prime. Res64: B2E66A1B9287544B Time : 0.0 sec. user=mdettweiler [2016-03-20 16:28:55] 933*2^1423710-1 is not prime. Res64: 9D943BD8C3B62A67 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:31:39] 977*2^1423710-1 is not prime. Res64: 1D0395E76C54B18C Time : 0.0 sec. user=mdettweiler [2016-03-20 16:31:40] 645*2^1423711-1 is not prime. Res64: 7E45C9CCB840EB79 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:31:40] 679*2^1423711-1 is not prime. Res64: 638FE88BB031E83F Time : 0.0 sec. user=mdettweiler [2016-03-20 16:31:40] 703*2^1423711-1 is not prime. Res64: 99982A3C7DFC797A Time : 0.0 sec. user=mdettweiler [2016-03-20 16:31:41] 769*2^1423711-1 is not prime. Res64: 77846FEDE1EEBA6E Time : 0.0 sec. user=mdettweiler [2016-03-20 16:35:52] 889*2^1423711-1 is not prime. Res64: 91C95646690FC9FD Time : 0.0 sec. user=mdettweiler [2016-03-20 16:35:52] 933*2^1423711-1 is not prime. Res64: 49BE7C07C8A251B0 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:35:52] 623*2^1423712-1 is not prime. Res64: 740F59D84D6CCBD5 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:35:53] 677*2^1423712-1 is not prime. Res64: 669D3D0185CA8B61 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:35:53] 815*2^1423712-1 is not prime. Res64: 0C8D5C14F3038409 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:38:18] 875*2^1423712-1 is not prime. Res64: 58231E9AF8EB89AB Time : 0.0 sec. user=mdettweiler [2016-03-20 16:38:18] 957*2^1423712-1 is not prime. Res64: AA5CFD05FCBB6483 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:38:18] 625*2^1423713-1 is not prime. Res64: B131729A5879D9E1 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:38:19] 649*2^1423713-1 is not prime. Res64: AAD30E25F83B8D74 Time : 0.0 sec. user=mdettweiler [2016-03-20 16:38:19] 679*2^1423713-1 is not prime. Res64: 7E8A55499C3EB861 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:03:53] 749*2^1423716-1 is not prime. Res64: 96D6F9A49BC775CF Time : 0.0 sec. user=mdettweiler [2016-03-20 17:14:03] 691*2^1423713-1 is not prime. Res64: DCDA259E97D01ECD Time : 0.0 sec. user=mdettweiler [2016-03-20 17:14:04] 741*2^1423713-1 is not prime. Res64: 1A33115C3AEB46E0 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:14:04] 759*2^1423713-1 is not prime. Res64: 986B5B21330B8270 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:14:05] 769*2^1423713-1 is not prime. Res64: C1E624C61CFFC3E9 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:14:05] 811*2^1423713-1 is not prime. Res64: 90DACA18517C48A1 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:17:00] 835*2^1423713-1 is not prime. Res64: 33A64A96C78A51F4 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:17:00] 871*2^1423713-1 is not prime. Res64: E3F5730498604547 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:17:00] 675*2^1423714-1 is not prime. Res64: 6EE7BE8D8E811721 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:17:01] 701*2^1423714-1 is not prime. Res64: 73DD3BC954B0F438 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:17:01] 773*2^1423714-1 is not prime. Res64: 2C3144D39E3167BF Time : 0.0 sec. user=mdettweiler [2016-03-20 17:21:04] 887*2^1423714-1 is not prime. Res64: 02308295750EC2F3 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:21:04] 915*2^1423714-1 is not prime. Res64: C0A243DD2BA33DFA Time : 0.0 sec. user=mdettweiler [2016-03-20 17:21:04] 609*2^1423715-1 is not prime. Res64: 42455E3D2AB55813 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:21:05] 663*2^1423715-1 is not prime. Res64: 35A33DFCA90EF60B Time : 0.0 sec. user=mdettweiler [2016-03-20 17:21:05] 685*2^1423715-1 is not prime. Res64: 5871D4AD51566559 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:23:21] 759*2^1423715-1 is not prime. Res64: 7C9544CB840C3B05 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:23:21] 859*2^1423715-1 is not prime. Res64: 168D02EE63C2BCB9 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:23:21] 963*2^1423715-1 is not prime. Res64: 390FEB0F8EE8525D Time : 0.0 sec. user=mdettweiler [2016-03-20 17:23:21] 669*2^1423716-1 is not prime. Res64: F51D77578CC5F146 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:23:22] 725*2^1423716-1 is not prime. Res64: 3C820A53C8213C6A Time : 0.0 sec. user=mdettweiler [2016-03-20 17:56:26] 975*2^1423719-1 is not prime. Res64: 3B3A6BA454969F51 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:58:47] 615*2^1423717-1 is not prime. Res64: 4DF913CCB612D5CA Time : 0.0 sec. user=mdettweiler [2016-03-20 17:58:47] 649*2^1423717-1 is not prime. Res64: 38E26523DB783403 Time : 0.0 sec. user=mdettweiler [2016-03-20 17:58:47] 741*2^1423717-1 is not prime. Res64: 6A2D5082D9C5E36A Time : 0.0 sec. user=mdettweiler [2016-03-20 17:58:48] 825*2^1423717-1 is not prime. Res64: FE0AFEA5C74FE36F Time : 0.0 sec. user=mdettweiler [2016-03-20 17:58:48] 871*2^1423717-1 is not prime. Res64: EA2FE1AF99DAA64D Time : 0.0 sec. user=mdettweiler [2016-03-20 18:02:03] 945*2^1423717-1 is not prime. Res64: 5B4A0B6E0013CFBC Time : 0.0 sec. user=mdettweiler [2016-03-20 18:02:04] 693*2^1423718-1 is not prime. Res64: A50DF953C204DD59 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:02:04] 731*2^1423718-1 is not prime. Res64: 9D44362390119538 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:02:05] 755*2^1423718-1 is not prime. Res64: 1E285F09185582BA Time : 0.0 sec. user=mdettweiler [2016-03-20 18:02:06] 791*2^1423718-1 is not prime. Res64: 0CD42C64C6DDFFA7 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:05:53] 813*2^1423718-1 is not prime. Res64: 82FE4DD9FC2A6F8C Time : 0.0 sec. user=mdettweiler [2016-03-20 18:05:55] 861*2^1423718-1 is not prime. Res64: 0170DD962FFD014A Time : 0.0 sec. user=mdettweiler [2016-03-20 18:05:56] 893*2^1423718-1 is not prime. Res64: 2E347656651A7379 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:05:56] 923*2^1423718-1 is not prime. Res64: 80B770A2CA40C126 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:05:57] 941*2^1423718-1 is not prime. Res64: ABA01E66D4122847 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:08:08] 619*2^1423719-1 is not prime. Res64: 206AACC3BF06C619 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:08:09] 705*2^1423719-1 is not prime. Res64: 68061CE0F3990968 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:08:09] 745*2^1423719-1 is not prime. Res64: 0A250E79B0B5F7A4 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:08:09] 831*2^1423719-1 is not prime. Res64: C4F8BDB05E4A8F0F Time : 0.0 sec. user=mdettweiler [2016-03-20 18:08:09] 961*2^1423719-1 is not prime. Res64: D54431308C6651E4 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:43:39] 999*2^1423719-1 is not prime. Res64: C95F5ED4A5193664 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:43:39] 603*2^1423720-1 is not prime. Res64: 6CEEDEF54596217F Time : 0.0 sec. user=mdettweiler [2016-03-20 18:43:39] 609*2^1423720-1 is not prime. Res64: 9DCA55140D4225B7 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:43:40] 615*2^1423720-1 is not prime. Res64: 9CE9380D0250C51B Time : 0.0 sec. user=mdettweiler [2016-03-20 18:43:40] 623*2^1423720-1 is not prime. Res64: 9707548B942B19E9 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:46:59] 665*2^1423720-1 is not prime. Res64: 24A2F140EB747219 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:46:59] 759*2^1423720-1 is not prime. Res64: E637D27F122D08A2 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:46:59] 825*2^1423720-1 is not prime. Res64: 0AE540065BB7E524 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:47:00] 873*2^1423720-1 is not prime. Res64: 0879D0C138681AC6 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:47:00] 905*2^1423720-1 is not prime. Res64: 4984F077DD22970C Time : 0.0 sec. user=mdettweiler [2016-03-20 18:49:42] 983*2^1423722-1 is not prime. Res64: 197507861E66E1FE Time : 0.0 sec. user=mdettweiler [2016-03-20 18:50:59] 933*2^1423720-1 is not prime. Res64: 41F6ED6371BB80FE Time : 0.0 sec. user=mdettweiler [2016-03-20 18:50:59] 965*2^1423720-1 is not prime. Res64: 34BA49D242EEA5A5 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:50:59] 649*2^1423721-1 is not prime. Res64: CA1F7CC079B4E0A1 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:51:00] 657*2^1423721-1 is not prime. Res64: 060AECA634F13FF5 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:51:00] 861*2^1423721-1 is not prime. Res64: C237F9B3EAAAD0AA Time : 0.0 sec. user=mdettweiler [2016-03-20 18:52:50] 711*2^1423722-1 is not prime. Res64: 6E24B99BC986F4D0 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:52:50] 725*2^1423722-1 is not prime. Res64: 38C0A8F7C5F7CE1B Time : 0.0 sec. user=mdettweiler [2016-03-20 18:52:50] 747*2^1423722-1 is not prime. Res64: CC2F7D192F50EA73 Time : 0.0 sec. user=mdettweiler [2016-03-20 18:52:51] 797*2^1423722-1 is not prime. Res64: 0A3CC457884B0ABA Time : 0.0 sec. user=mdettweiler [2016-03-20 18:52:51] 893*2^1423722-1 is not prime. Res64: B4AEEEC32BD226AB Time : 0.0 sec. user=mdettweiler [2016-03-20 19:07:31] 947*2^1423726-1 is not prime. Res64: 02D6243F12A983C4 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:29:09] 679*2^1423723-1 is not prime. Res64: AC26B4D9302A8687 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:29:09] 699*2^1423723-1 is not prime. Res64: 2566477B5CEF8C60 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:29:09] 789*2^1423723-1 is not prime. Res64: E2B7640EE21DEC57 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:29:10] 819*2^1423723-1 is not prime. Res64: 045B3F517991EAE5 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:29:10] 861*2^1423723-1 is not prime. Res64: 1700323CDAD780F4 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:32:38] 873*2^1423723-1 is not prime. Res64: 2916FDA087A246E0 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:32:38] 939*2^1423723-1 is not prime. Res64: B3368047109192BD Time : 0.0 sec. user=mdettweiler [2016-03-20 19:32:38] 943*2^1423723-1 is not prime. Res64: 05975569FF5798D4 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:32:39] 609*2^1423724-1 is not prime. Res64: C22E8335A2EE1BBB Time : 0.0 sec. user=mdettweiler [2016-03-20 19:32:39] 683*2^1423724-1 is not prime. Res64: 9D0C4684FA623C85 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:36:36] 803*2^1423724-1 is not prime. Res64: 7BB4720BCC35FEFD Time : 0.0 sec. user=mdettweiler [2016-03-20 19:36:36] 935*2^1423724-1 is not prime. Res64: ACEC187753A68ED5 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:36:36] 675*2^1423725-1 is not prime. Res64: A676307AEDF48FF7 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:36:37] 685*2^1423725-1 is not prime. Res64: 3448662B0F3F16C9 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:36:37] 861*2^1423725-1 is not prime. Res64: 170AC68169F5B23B Time : 0.0 sec. user=mdettweiler [2016-03-20 19:38:17] 937*2^1423725-1 is not prime. Res64: 60C2B05D387C16AD Time : 0.0 sec. user=mdettweiler [2016-03-20 19:38:17] 663*2^1423726-1 is not prime. Res64: D66D421D01DD5C29 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:38:18] 713*2^1423726-1 is not prime. Res64: 75101BD6E453677E Time : 0.0 sec. user=mdettweiler [2016-03-20 19:38:18] 887*2^1423726-1 is not prime. Res64: 5425897713AD8862 Time : 0.0 sec. user=mdettweiler [2016-03-20 19:38:18] 911*2^1423726-1 is not prime. Res64: 372B8F57FB2CFABC Time : 0.0 sec. user=mdettweiler [2016-03-20 20:15:09] 753*2^1423727-1 is not prime. Res64: 2C71010BBFE038A2 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:15:10] 799*2^1423727-1 is not prime. Res64: ADD4F0A7F93B4F32 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:15:10] 841*2^1423727-1 is not prime. Res64: 2CDB0676C7072D32 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:15:10] 747*2^1423728-1 is not prime. Res64: 36A9BAF21263E55A Time : 0.0 sec. user=mdettweiler [2016-03-20 20:15:11] 759*2^1423728-1 is not prime. Res64: 9290570264247520 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:18:51] 767*2^1423728-1 is not prime. Res64: CDE92B65FAFD0942 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:18:52] 797*2^1423728-1 is not prime. Res64: D990C3DBB68DE2FB Time : 0.0 sec. user=mdettweiler [2016-03-20 20:18:52] 803*2^1423728-1 is not prime. Res64: A728E1D14FA98B61 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:18:52] 839*2^1423728-1 is not prime. Res64: F6C61082EC44E70A Time : 0.0 sec. user=mdettweiler [2016-03-20 20:18:52] 879*2^1423728-1 is not prime. Res64: 53804F1D7727ACA6 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:22:56] 909*2^1423728-1 is not prime. Res64: 918DAEEF4FCC3731 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:22:56] 915*2^1423728-1 is not prime. Res64: 54A9DFF567D8321D Time : 0.0 sec. user=mdettweiler [2016-03-20 20:22:56] 615*2^1423729-1 is not prime. Res64: 23D3DA5165D7AC36 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:22:57] 639*2^1423729-1 is not prime. Res64: 818CE357A77D4C25 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:22:57] 687*2^1423729-1 is not prime. Res64: 53BA34ED50187FCA Time : 0.0 sec. user=mdettweiler [2016-03-20 20:24:25] 861*2^1423729-1 is not prime. Res64: 59EDC12690013CCD Time : 0.0 sec. user=mdettweiler [2016-03-20 20:24:25] 877*2^1423729-1 is not prime. Res64: 6D95A69DD8CDA37F Time : 0.0 sec. user=mdettweiler [2016-03-20 20:24:26] 951*2^1423729-1 is not prime. Res64: A28A49E10124B109 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:24:26] 987*2^1423729-1 is not prime. Res64: 54170F990712A542 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:24:26] 999*2^1423729-1 is not prime. Res64: 293D7BE83E11AB1C Time : 0.0 sec. user=mdettweiler [2016-03-20 20:35:47] 893*2^1423734-1 is not prime. Res64: C61A8692233D81B0 Time : 0.0 sec. user=mdettweiler [2016-03-20 20:53:22] 971*2^1423734-1 is not prime. Res64: A4BEF0109D8B7532 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:01:12] 635*2^1423730-1 is not prime. Res64: 11AE44BC822341A9 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:01:13] 671*2^1423730-1 is not prime. Res64: DB606A72E348EDA3 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:01:14] 675*2^1423730-1 is not prime. Res64: 934C51BD320D1D42 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:01:15] 767*2^1423730-1 is not prime. Res64: B1B791C395A9DAB7 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:01:15] 851*2^1423730-1 is not prime. Res64: BD71CDDF08561709 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:04:55] 935*2^1423730-1 is not prime. Res64: 740D805BDAD3EFD8 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:04:58] 769*2^1423731-1 is not prime. Res64: 7DCC76A06E78DEC3 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:04:59] 885*2^1423731-1 is not prime. Res64: 69209D197F64588C Time : 0.0 sec. user=mdettweiler [2016-03-20 21:05:00] 945*2^1423731-1 is not prime. Res64: B6D486F21609CC71 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:05:03] 969*2^1423731-1 is not prime. Res64: 0F013E77E9DC9CF4 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:08:39] 617*2^1423732-1 is not prime. Res64: 658283B23B9492C6 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:08:39] 647*2^1423732-1 is not prime. Res64: 78840DE8C2BE44E0 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:08:39] 687*2^1423732-1 is not prime. Res64: FAD6A5F8F013A2F4 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:08:39] 869*2^1423732-1 is not prime. Res64: A6482D0195671512 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:08:40] 775*2^1423733-1 is not prime. Res64: D6D8D78E9B97D993 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:09:59] 781*2^1423733-1 is not prime. Res64: 1D8B33DA03C2E4B6 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:09:59] 795*2^1423733-1 is not prime. Res64: 22E79B909BC41687 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:09:59] 889*2^1423733-1 is not prime. Res64: AE4DC17D9971E7E7 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:09:59] 987*2^1423733-1 is not prime. Res64: C9362A77EC14C9BB Time : 0.0 sec. user=mdettweiler [2016-03-20 21:10:00] 881*2^1423734-1 is not prime. Res64: 8CF31E34D48B69C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:11:10] 673*2^1423735-1 is not prime. Res64: DDF9049B9F7833C4 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:11:26] 819*2^1423735-1 is not prime. Res64: 26398EEF0434383C Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:31] 983*2^1423734-1 is not prime. Res64: B56BC5C2EBD93C41 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:31] 601*2^1423735-1 is not prime. Res64: 8935DE442C836864 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:31] 603*2^1423735-1 is not prime. Res64: 9FB8C5703B8E82DF Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:32] 633*2^1423735-1 is not prime. Res64: C1ADB0AE74473B38 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:32] 649*2^1423735-1 is not prime. Res64: 7C3B090F604B5EE0 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:46:38] 861*2^1423738-1 is not prime. Res64: F06DA0E93CDB071B Time : 0.0 sec. user=mdettweiler [2016-03-20 21:50:31] 883*2^1423735-1 is not prime. Res64: ED57A5C2E61CF99E Time : 0.0 sec. user=mdettweiler [2016-03-20 21:50:31] 919*2^1423735-1 is not prime. Res64: B1E0CF8C0DE1539F Time : 0.0 sec. user=mdettweiler [2016-03-20 21:50:31] 933*2^1423735-1 is not prime. Res64: 99D1D0AF3F22E8C8 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:50:32] 669*2^1423736-1 is not prime. Res64: BFBE41E6B5395B86 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:50:32] 717*2^1423736-1 is not prime. Res64: E6EC7D09C2327113 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:53:57] 735*2^1423736-1 is not prime. Res64: FBC0F1AD473065EC Time : 0.0 sec. user=mdettweiler [2016-03-20 21:53:58] 855*2^1423736-1 is not prime. Res64: E9BC0A88E23CA5DD Time : 0.0 sec. user=mdettweiler [2016-03-20 21:53:58] 649*2^1423737-1 is not prime. Res64: 7122A520FF06FE28 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:53:58] 955*2^1423737-1 is not prime. Res64: D85FB65FBBC70283 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:53:59] 979*2^1423737-1 is not prime. Res64: 096F8641D36B106D Time : 0.0 sec. user=mdettweiler [2016-03-20 21:55:06] 991*2^1423737-1 is not prime. Res64: CDC6781EB72E1507 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:55:07] 681*2^1423738-1 is not prime. Res64: 232757B28BB79BEE Time : 0.0 sec. user=mdettweiler [2016-03-20 21:55:07] 695*2^1423738-1 is not prime. Res64: 2A92AC9ECD72DA60 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:55:08] 803*2^1423738-1 is not prime. Res64: D034D172AC0C6A80 Time : 0.0 sec. user=mdettweiler [2016-03-20 21:55:08] 831*2^1423738-1 is not prime. Res64: 70D94CE22188F187 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:21:50] 981*2^1423742-1 is not prime. Res64: 5449B84CC537CB17 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:35:35] 723*2^1423740-1 is not prime. Res64: 70B0F26E0499583E Time : 0.0 sec. user=mdettweiler [2016-03-20 22:35:35] 753*2^1423740-1 is not prime. Res64: 8126B70DE54C6FDC Time : 0.0 sec. user=mdettweiler [2016-03-20 22:35:35] 789*2^1423740-1 is not prime. Res64: 0714909AD295D764 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:35:36] 825*2^1423740-1 is not prime. Res64: 09C3612A25F627A5 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:35:36] 927*2^1423740-1 is not prime. Res64: 6C7C58CA05185316 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:39:39] 735*2^1423743-1 is not prime. Res64: 6D8949226D04274B Time : 0.0 sec. user=mdettweiler [2016-03-20 22:41:31] 929*2^1423740-1 is not prime. Res64: 1315644D691CF8FF Time : 0.0 sec. user=mdettweiler [2016-03-20 22:41:31] 687*2^1423741-1 is not prime. Res64: 5BAA0F1408DBA5F8 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:41:32] 789*2^1423741-1 is not prime. Res64: F4B49114698C44D1 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:41:32] 817*2^1423741-1 is not prime. Res64: 04C29C877DD4BD7E Time : 0.0 sec. user=mdettweiler [2016-03-20 22:41:32] 859*2^1423741-1 is not prime. Res64: 59E83295D909F792 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:44:24] 999*2^1423741-1 is not prime. Res64: E459E384A097421F Time : 0.0 sec. user=mdettweiler [2016-03-20 22:44:24] 603*2^1423742-1 is not prime. Res64: D9A0662F13935D22 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:44:25] 887*2^1423742-1 is not prime. Res64: E9D95082F738383F Time : 0.0 sec. user=mdettweiler [2016-03-20 22:44:25] 921*2^1423742-1 is not prime. Res64: 36634651B25D1B55 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:44:25] 945*2^1423742-1 is not prime. Res64: BC7E8945AA54F196 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:45:15] 937*2^1423741-1 is not prime. Res64: 7B85386A891C2ABD Time : 0.0 sec. user=mdettweiler [2016-03-20 22:45:15] 939*2^1423741-1 is not prime. Res64: 1FE76F96C567364C Time : 0.0 sec. user=mdettweiler [2016-03-20 22:45:15] 945*2^1423741-1 is not prime. Res64: 6EB9D7E3BC88457C Time : 0.0 sec. user=mdettweiler [2016-03-20 22:45:16] 955*2^1423741-1 is not prime. Res64: E64A32F4175CB750 Time : 0.0 sec. user=mdettweiler [2016-03-20 22:45:16] 975*2^1423741-1 is not prime. Res64: 43EF8B22738DBCB5 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:25:52] 775*2^1423743-1 is not prime. Res64: 36EAB2754E281053 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:25:52] 859*2^1423743-1 is not prime. Res64: A364615E5298BF51 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:25:53] 951*2^1423743-1 is not prime. Res64: BFB23990B024CD67 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:25:53] 969*2^1423743-1 is not prime. Res64: 1B86FC844393DFA6 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:25:53] 635*2^1423744-1 is not prime. Res64: F248701B81957356 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:30:25] 663*2^1423744-1 is not prime. Res64: 41CB1C0FB7D937B9 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:30:25] 705*2^1423744-1 is not prime. Res64: 6DA24CC1A2C1EE3B Time : 0.0 sec. user=mdettweiler [2016-03-20 23:30:25] 723*2^1423744-1 is not prime. Res64: DD6DD0E8124D20C8 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:30:26] 849*2^1423744-1 is not prime. Res64: DA8C2B1F516F907E Time : 0.0 sec. user=mdettweiler [2016-03-20 23:30:26] 857*2^1423744-1 is not prime. Res64: C54A17F4B89AA754 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:58] 959*2^1423744-1 is not prime. Res64: 29AA74288CAB4012 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:58] 611*2^1423746-1 is not prime. Res64: F4474F95C13EEAC6 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:58] 975*2^1423744-1 is not prime. Res64: AE74F0504594EE21 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:58] 627*2^1423746-1 is not prime. Res64: CECE8D8E0F6848BB Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 871*2^1423745-1 is not prime. Res64: 3144F375E7F233C0 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 657*2^1423746-1 is not prime. Res64: 7DD9F65998332C84 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 937*2^1423745-1 is not prime. Res64: 3BC89F7C7CDBF172 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 735*2^1423746-1 is not prime. Res64: 11182F7E8A75672B Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 955*2^1423745-1 is not prime. Res64: A3CF87BB268AFFC9 Time : 0.0 sec. user=mdettweiler [2016-03-20 23:32:59] 755*2^1423746-1 is not prime. Res64: 927E8809060E41DE Time : 0.0 sec.