user=mdettweiler [2016-04-07 00:07:30] 875*2^1425504-1 is not prime. Res64: 43355A6492B96E42 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:07:31] 975*2^1425504-1 is not prime. Res64: 79604FAD4495D760 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:07:32] 699*2^1425505-1 is not prime. Res64: 4E8260948581BF2C Time : 0.0 sec. user=mdettweiler [2016-04-07 00:07:33] 741*2^1425505-1 is not prime. Res64: D19E722AE659047D Time : 0.0 sec. user=mdettweiler [2016-04-07 00:07:33] 847*2^1425505-1 is not prime. Res64: 0480F8DB170D9254 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:16:48] 915*2^1425505-1 is not prime. Res64: 497AAF2F99820FE1 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:16:49] 919*2^1425505-1 is not prime. Res64: DA21D4B0F3BAFA5B Time : 0.0 sec. user=mdettweiler [2016-04-07 00:16:49] 937*2^1425505-1 is not prime. Res64: 072B053EE66A46A2 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:16:49] 603*2^1425506-1 is not prime. Res64: 11015F5826A668EE Time : 0.0 sec. user=mdettweiler [2016-04-07 00:16:49] 741*2^1425506-1 is not prime. Res64: F797C71DCA9200BD Time : 0.0 sec. user=mdettweiler [2016-04-07 00:17:49] 815*2^1425506-1 is not prime. Res64: 8156AED4FE793C6A Time : 0.0 sec. user=mdettweiler [2016-04-07 00:17:49] 825*2^1425506-1 is not prime. Res64: 925EF6EAFBDFB824 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:17:49] 837*2^1425506-1 is not prime. Res64: 1067F0D1FA2E2429 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:17:50] 843*2^1425506-1 is not prime. Res64: FD4119D8EE340AE4 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:17:50] 851*2^1425506-1 is not prime. Res64: AD15310D27889904 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:24:03] 921*2^1425506-1 is not prime. Res64: DD3F02B583393742 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:24:03] 1001*2^1425506-1 is not prime. Res64: 97A150D33B096323 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:24:04] 775*2^1425507-1 is not prime. Res64: 459BC86DF0A6B090 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:24:04] 871*2^1425507-1 is not prime. Res64: A67794D3CE39316B Time : 0.0 sec. user=mdettweiler [2016-04-07 00:24:04] 945*2^1425507-1 is not prime. Res64: 12F650339E4FFFAA Time : 0.0 sec. user=mdettweiler [2016-04-07 00:52:41] 845*2^1425508-1 is not prime. Res64: 798B9C9ED32E6855 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:52:41] 923*2^1425508-1 is not prime. Res64: B5838A152226E0C7 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:52:41] 993*2^1425508-1 is not prime. Res64: F475EDAE9FC5CA50 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:52:41] 601*2^1425509-1 is not prime. Res64: 62F5C70CDC90A421 Time : 0.0 sec. user=mdettweiler [2016-04-07 00:52:42] 615*2^1425509-1 is not prime. Res64: 4ECE22FADC2F2F4E Time : 0.0 sec. user=mdettweiler [2016-04-07 01:01:45] 657*2^1425509-1 is not prime. Res64: 78195BFD91DCE6EA Time : 0.0 sec. user=mdettweiler [2016-04-07 01:01:46] 745*2^1425509-1 is not prime. Res64: DE8B7864065C02A1 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:01:47] 759*2^1425509-1 is not prime. Res64: AF283900A4DD88FB Time : 0.0 sec. user=mdettweiler [2016-04-07 01:01:47] 811*2^1425509-1 is not prime. Res64: 307FA48EF5AABD57 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:01:48] 927*2^1425509-1 is not prime. Res64: 3B67A71B66688C8B Time : 0.0 sec. user=mdettweiler [2016-04-07 01:02:48] 945*2^1425509-1 is not prime. Res64: 1AADBB41FAAE80B4 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:02:49] 707*2^1425510-1 is not prime. Res64: B45A428CE08B81C7 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:02:50] 725*2^1425510-1 is not prime. Res64: B888C157FD82F690 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:02:51] 861*2^1425510-1 is not prime. Res64: 93813AC3926BA992 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:02:52] 1001*2^1425510-1 is not prime. Res64: D959744BAE139153 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:09:00] 601*2^1425511-1 is not prime. Res64: 25FAD52985EC6E0B Time : 0.0 sec. user=mdettweiler [2016-04-07 01:09:01] 681*2^1425511-1 is not prime. Res64: CB769CEA4C85258C Time : 0.0 sec. user=mdettweiler [2016-04-07 01:09:01] 723*2^1425511-1 is not prime. Res64: F44776F1CC0E9B78 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:09:01] 763*2^1425511-1 is not prime. Res64: 6DF41692FCF0A694 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:09:02] 805*2^1425511-1 is not prime. Res64: D5F1AF407AC6E3B9 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:37:58] 813*2^1425511-1 is not prime. Res64: D1D63DDF526325B0 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:37:58] 931*2^1425511-1 is not prime. Res64: 818D0992560BF496 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:37:59] 993*2^1425511-1 is not prime. Res64: E01400595852D4F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:37:59] 669*2^1425512-1 is not prime. Res64: E9D619AAD0051B3B Time : 0.0 sec. user=mdettweiler [2016-04-07 01:37:59] 759*2^1425512-1 is not prime. Res64: 3EA51F597A582E34 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:46:48] 837*2^1425512-1 is not prime. Res64: 3953057F81C1FDF6 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:46:48] 855*2^1425512-1 is not prime. Res64: 1E70D70245FE53A5 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:46:48] 675*2^1425513-1 is not prime. Res64: FA993F70CFC78656 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:46:49] 685*2^1425513-1 is not prime. Res64: 117BC2742ABEB9CD Time : 0.0 sec. user=mdettweiler [2016-04-07 01:46:49] 739*2^1425513-1 is not prime. Res64: CD3A3A23BB20F3D1 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:47:53] 741*2^1425513-1 is not prime. Res64: 22844E102FC684F9 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:47:53] 847*2^1425513-1 is not prime. Res64: 32C0FD86D9A44F62 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:47:54] 877*2^1425513-1 is not prime. Res64: 832A63935425F0F5 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:47:54] 895*2^1425513-1 is not prime. Res64: 7B517005B2ABB382 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:47:54] 623*2^1425514-1 is not prime. Res64: 054D8499157BB08E Time : 0.0 sec. user=mdettweiler [2016-04-07 01:54:01] 665*2^1425514-1 is not prime. Res64: 3A9A73C46AD77ED3 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:54:01] 675*2^1425514-1 is not prime. Res64: 5F387FDD711CDCA2 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:54:01] 705*2^1425514-1 is not prime. Res64: 4272C9EFF342A1A3 Time : 0.0 sec. user=mdettweiler [2016-04-07 01:54:02] 947*2^1425514-1 is not prime. Res64: 5DF2B0C7F14BFD1F Time : 0.0 sec. user=mdettweiler [2016-04-07 01:54:02] 705*2^1425515-1 is not prime. Res64: 0A6001299B9E6FD7 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:23:06] 627*2^1425516-1 is not prime. Res64: 147458E4E0C8D75F Time : 0.0 sec. user=mdettweiler [2016-04-07 02:23:06] 633*2^1425516-1 is not prime. Res64: 891E83DCBF0DD4E3 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:23:06] 683*2^1425516-1 is not prime. Res64: 8BC91FA75EA9F101 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:23:06] 759*2^1425516-1 is not prime. Res64: 4C57A881302DDF72 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:23:07] 779*2^1425516-1 is not prime. Res64: F7E098F5CA99F031 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:32:02] 927*2^1425516-1 is not prime. Res64: 68B53B602218F138 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:32:02] 645*2^1425517-1 is not prime. Res64: 241220C8DF38A9E0 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:32:03] 649*2^1425517-1 is not prime. Res64: 3E03497F96FC6E86 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:32:03] 691*2^1425517-1 is not prime. Res64: 3BE58175B6E4D3ED Time : 0.0 sec. user=mdettweiler [2016-04-07 02:32:04] 747*2^1425517-1 is not prime. Res64: 2E54A99D08ECC50A Time : 0.0 sec. user=mdettweiler [2016-04-07 02:33:09] 769*2^1425517-1 is not prime. Res64: 6C6AF95822F84C06 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:33:10] 871*2^1425517-1 is not prime. Res64: A1C5FD5D5B663809 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:33:10] 843*2^1425518-1 is not prime. Res64: 925548548E9A3F42 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:33:10] 709*2^1425519-1 is not prime. Res64: 72D5818D050ED950 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:33:11] 735*2^1425519-1 is not prime. Res64: C40A249939F5259E Time : 0.0 sec. user=mdettweiler [2016-04-07 02:39:30] 741*2^1425519-1 is not prime. Res64: 2DA1D407B8F65BB7 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:39:31] 831*2^1425519-1 is not prime. Res64: BC921C84C47AD9E2 Time : 0.0 sec. user=mdettweiler [2016-04-07 02:39:31] 895*2^1425519-1 is not prime. Res64: ABFFC201A7F559EC Time : 0.0 sec. user=mdettweiler [2016-04-07 02:39:31] 961*2^1425519-1 is not prime. Res64: 65B9E6C423A89BDC Time : 0.0 sec. user=mdettweiler [2016-04-07 02:39:31] 991*2^1425519-1 is not prime. Res64: A3E5A44897933F09 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:08:04] 713*2^1425520-1 is not prime. Res64: 6BC2FDA1441FBD45 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:08:05] 759*2^1425520-1 is not prime. Res64: DD12851068FEF9AA Time : 0.0 sec. user=mdettweiler [2016-04-07 03:08:05] 765*2^1425520-1 is not prime. Res64: 53ADF5C7FCF1A6B0 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:08:05] 825*2^1425520-1 is not prime. Res64: B79285280FC95285 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:08:06] 873*2^1425520-1 is not prime. Res64: 7DB7BB369E38D63B Time : 0.0 sec. user=mdettweiler [2016-04-07 03:17:26] 909*2^1425520-1 is not prime. Res64: 5F50ECA6316D561F Time : 0.0 sec. user=mdettweiler [2016-04-07 03:17:27] 923*2^1425520-1 is not prime. Res64: 2B9AF2D1248B3BCA Time : 0.0 sec. user=mdettweiler [2016-04-07 03:17:27] 939*2^1425520-1 is not prime. Res64: D9084DBEA9896445 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:17:27] 651*2^1425521-1 is not prime. Res64: 8CBF1C0DBEB6C34D Time : 0.0 sec. user=mdettweiler [2016-04-07 03:17:27] 669*2^1425521-1 is not prime. Res64: 768BD5F466C024B7 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:18:18] 727*2^1425521-1 is not prime. Res64: F27394CFA77DBFC6 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:18:19] 657*2^1425522-1 is not prime. Res64: 4CDE724E1F878211 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:18:19] 797*2^1425522-1 is not prime. Res64: A78CA861311419E6 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:18:19] 801*2^1425522-1 is not prime. Res64: AB1B83BC580CB598 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:18:20] 885*2^1425522-1 is not prime. Res64: BF6777D4A7ACCC70 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:24:41] 887*2^1425522-1 is not prime. Res64: 29EE81E481A62F71 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:24:41] 889*2^1425523-1 is not prime. Res64: 7DEC7ADB90B9FB0C Time : 0.0 sec. user=mdettweiler [2016-04-07 03:24:42] 973*2^1425523-1 is not prime. Res64: B1C03F493EB8B1E6 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:24:42] 609*2^1425524-1 is not prime. Res64: E308AE0B1E1AC790 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:24:42] 635*2^1425524-1 is not prime. Res64: 5E04D0FAE7951699 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:53:23] 659*2^1425524-1 is not prime. Res64: FFB8C6CFFCAA8889 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:53:24] 753*2^1425524-1 is not prime. Res64: BE5A9014E1EAFC17 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:53:24] 875*2^1425524-1 is not prime. Res64: 27AA65B0738C2CCF Time : 0.0 sec. user=mdettweiler [2016-04-07 03:53:24] 607*2^1425525-1 is not prime. Res64: F73C7BE5D718A039 Time : 0.0 sec. user=mdettweiler [2016-04-07 03:53:25] 649*2^1425525-1 is not prime. Res64: FF506F056384FBA6 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:02:42] 675*2^1425525-1 is not prime. Res64: A42F53706B658467 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:02:42] 735*2^1425525-1 is not prime. Res64: 3B5D081A8D33BE16 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:02:42] 849*2^1425525-1 is not prime. Res64: 4827F0B18916B78C Time : 0.0 sec. user=mdettweiler [2016-04-07 04:02:43] 889*2^1425525-1 is not prime. Res64: 7462F12D1BBD9930 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:02:43] 891*2^1425525-1 is not prime. Res64: 421CA8BA137C2348 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:03:42] 603*2^1425526-1 is not prime. Res64: 59B267FDDA772CE0 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:03:44] 635*2^1425526-1 is not prime. Res64: 588E72BC620EB219 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:03:45] 645*2^1425526-1 is not prime. Res64: F49F2C7BEA2219F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:03:47] 671*2^1425526-1 is not prime. Res64: 578CB07D6D826F38 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:03:48] 755*2^1425526-1 is not prime. Res64: 8D4BD1CB4FA79D3A Time : 0.0 sec. user=mdettweiler [2016-04-07 04:10:05] 761*2^1425526-1 is not prime. Res64: D0A1524AF47D0D05 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:10:05] 773*2^1425526-1 is not prime. Res64: F4DF4B4340E41E08 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:10:06] 815*2^1425526-1 is not prime. Res64: 25250EB003922F6B Time : 0.0 sec. user=mdettweiler [2016-04-07 04:10:06] 891*2^1425526-1 is not prime. Res64: 2E22C76CE0918FA8 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:10:06] 609*2^1425527-1 is not prime. Res64: F3C25B941F5CEBB0 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:38:43] 651*2^1425527-1 is not prime. Res64: B93EA93046EFC059 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:38:43] 763*2^1425527-1 is not prime. Res64: 7746AD441D502B57 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:38:43] 955*2^1425527-1 is not prime. Res64: 0E99D7F513E219DF Time : 0.0 sec. user=mdettweiler [2016-04-07 04:38:43] 991*2^1425527-1 is not prime. Res64: AC150653EB15184C Time : 0.0 sec. user=mdettweiler [2016-04-07 04:38:44] 663*2^1425528-1 is not prime. Res64: 3D3D46836101D94C Time : 0.0 sec. user=mdettweiler [2016-04-07 04:47:46] 725*2^1425528-1 is not prime. Res64: 587040BB95CE3F37 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:47:47] 735*2^1425528-1 is not prime. Res64: FA8FF76C99E40A02 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:47:47] 767*2^1425528-1 is not prime. Res64: 43CF814295E916B3 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:47:47] 809*2^1425528-1 is not prime. Res64: 96C6BF442ED27351 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:47:47] 887*2^1425528-1 is not prime. Res64: 5CF841B805247959 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:48:57] 993*2^1425528-1 is not prime. Res64: 70B9E7FFB633CC6A Time : 0.0 sec. user=mdettweiler [2016-04-07 04:48:57] 691*2^1425529-1 is not prime. Res64: 3B65B6DB6CBC487B Time : 0.0 sec. user=mdettweiler [2016-04-07 04:48:58] 747*2^1425529-1 is not prime. Res64: 11D4196218DE218C Time : 0.0 sec. user=mdettweiler [2016-04-07 04:48:58] 775*2^1425529-1 is not prime. Res64: F25CCAF4EE9EDCDF Time : 0.0 sec. user=mdettweiler [2016-04-07 04:48:58] 925*2^1425529-1 is not prime. Res64: C784E423A9CFB6CF Time : 0.0 sec. user=mdettweiler [2016-04-07 04:55:22] 931*2^1425529-1 is not prime. Res64: 12F7376B3C33C761 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:55:22] 957*2^1425529-1 is not prime. Res64: 5F4A25A1D2C22E5C Time : 0.0 sec. user=mdettweiler [2016-04-07 04:55:22] 641*2^1425530-1 is not prime. Res64: D4553364950B4FD6 Time : 0.0 sec. user=mdettweiler [2016-04-07 04:55:23] 743*2^1425530-1 is not prime. Res64: CB23D82C9B2B200F Time : 0.0 sec. user=mdettweiler [2016-04-07 04:55:23] 783*2^1425530-1 is not prime. Res64: 489365D67095AC48 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:24:57] 851*2^1425530-1 is not prime. Res64: 749F6C20AA15543A Time : 0.0 sec. user=mdettweiler [2016-04-07 05:24:57] 893*2^1425530-1 is not prime. Res64: B3EE05746A1343BB Time : 0.0 sec. user=mdettweiler [2016-04-07 05:24:57] 741*2^1425531-1 is not prime. Res64: C9499B052CBF6CE5 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:24:57] 781*2^1425531-1 is not prime. Res64: 3B79DC5C2F0D3749 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:24:58] 605*2^1425532-1 is not prime. Res64: 5612BF84804221BD Time : 0.0 sec. user=mdettweiler [2016-04-07 05:34:10] 735*2^1425532-1 is not prime. Res64: 8D4A2EE25B98B6B9 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:34:10] 887*2^1425532-1 is not prime. Res64: DF3FBF7BCBA2AF7F Time : 0.0 sec. user=mdettweiler [2016-04-07 05:34:10] 903*2^1425532-1 is not prime. Res64: 67CA5F97EF3DAEB5 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:34:11] 989*2^1425532-1 is not prime. Res64: 43B38E0605A788D9 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:34:11] 699*2^1425533-1 is not prime. Res64: DE8C1622869F4D2A Time : 0.0 sec. user=mdettweiler [2016-04-07 05:35:12] 741*2^1425533-1 is not prime. Res64: 12ACC46E9DE31934 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:35:12] 759*2^1425533-1 is not prime. Res64: E12A12C0E17BD95F Time : 0.0 sec. user=mdettweiler [2016-04-07 05:35:12] 769*2^1425533-1 is not prime. Res64: CBB3384CDF9F3C20 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:35:12] 781*2^1425533-1 is not prime. Res64: AD2C4848DC489260 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:35:13] 861*2^1425533-1 is not prime. Res64: 9F59BAC88CF0391D Time : 0.0 sec. user=mdettweiler [2016-04-07 05:41:42] 889*2^1425533-1 is not prime. Res64: 2577E6AB7933C3C1 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:41:42] 615*2^1425534-1 is not prime. Res64: 48221EECB5AACC07 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:41:43] 693*2^1425534-1 is not prime. Res64: B1F86EF536D30673 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:41:43] 705*2^1425534-1 is not prime. Res64: 5815685E899CB364 Time : 0.0 sec. user=mdettweiler [2016-04-07 05:41:43] 609*2^1425535-1 is not prime. Res64: AA1EE24D9546D759 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:09:58] 625*2^1425535-1 is not prime. Res64: 08C38775C52742A9 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:09:59] 709*2^1425535-1 is not prime. Res64: 46A0DD3506BB3E0A Time : 0.0 sec. user=mdettweiler [2016-04-07 06:09:59] 715*2^1425535-1 is not prime. Res64: C77F376200B3906C Time : 0.0 sec. user=mdettweiler [2016-04-07 06:09:59] 853*2^1425535-1 is not prime. Res64: 83BD73973B3AADD2 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:10:00] 855*2^1425535-1 is not prime. Res64: 1B9750754D360C2D Time : 0.0 sec. user=mdettweiler [2016-04-07 06:19:08] 859*2^1425535-1 is not prime. Res64: FEF99096C2D6DC72 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:19:08] 861*2^1425535-1 is not prime. Res64: 6B07AE8E2A817A52 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:19:09] 885*2^1425535-1 is not prime. Res64: EC25DEE41A0EA425 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:19:09] 943*2^1425535-1 is not prime. Res64: 1C57E8023FE722ED Time : 0.0 sec. user=mdettweiler [2016-04-07 06:19:09] 725*2^1425536-1 is not prime. Res64: E64D39ECD2E8BCEC Time : 0.0 sec. user=mdettweiler [2016-04-07 06:20:12] 767*2^1425536-1 is not prime. Res64: C82F2CF33BAF510B Time : 0.0 sec. user=mdettweiler [2016-04-07 06:20:12] 839*2^1425536-1 is not prime. Res64: 87F192B637714617 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:20:12] 923*2^1425536-1 is not prime. Res64: C5A06BF8BC82D076 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:20:12] 627*2^1425537-1 is not prime. Res64: 4E9320C84D75BD05 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:20:13] 675*2^1425537-1 is not prime. Res64: DE74E9D968F95A69 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:26:34] 681*2^1425537-1 is not prime. Res64: CF1B5E8D1D3FB555 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:26:35] 829*2^1425537-1 is not prime. Res64: 4F157AA33416A4A6 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:26:35] 919*2^1425537-1 is not prime. Res64: 400BC68B78DCB0D7 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:26:35] 975*2^1425537-1 is not prime. Res64: 4EEEEB60FA723171 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:26:35] 705*2^1425538-1 is not prime. Res64: 24D9D855CBC277F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:55:06] 723*2^1425538-1 is not prime. Res64: B39C7136B3249647 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:55:06] 813*2^1425538-1 is not prime. Res64: 1C10718EB335DEE5 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:55:06] 815*2^1425538-1 is not prime. Res64: 9EEDF05786584649 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:55:07] 915*2^1425538-1 is not prime. Res64: CDDB0E13533245F5 Time : 0.0 sec. user=mdettweiler [2016-04-07 06:55:07] 941*2^1425538-1 is not prime. Res64: C7D1830EA173A498 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:04:30] 987*2^1425538-1 is not prime. Res64: AF213ADE327521EC Time : 0.0 sec. user=mdettweiler [2016-04-07 07:04:30] 993*2^1425538-1 is not prime. Res64: 9951B98D385BE06B Time : 0.0 sec. user=mdettweiler [2016-04-07 07:04:31] 631*2^1425539-1 is not prime. Res64: 2B30A55670906E69 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:04:31] 703*2^1425539-1 is not prime. Res64: 9A95664FBBC17D7C Time : 0.0 sec. user=mdettweiler [2016-04-07 07:04:32] 753*2^1425539-1 is not prime. Res64: CA2490078C6F96B3 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:05:29] 799*2^1425539-1 is not prime. Res64: C651DBC4D0F417C2 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:05:30] 859*2^1425539-1 is not prime. Res64: 8E6600FC56E96370 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:05:31] 913*2^1425539-1 is not prime. Res64: 17480336D80968B0 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:05:31] 635*2^1425540-1 is not prime. Res64: 63C4AADD6CF8CCCC Time : 0.0 sec. user=mdettweiler [2016-04-07 07:05:32] 737*2^1425540-1 is not prime. Res64: 311487676C514F05 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:11:45] 887*2^1425540-1 is not prime. Res64: 7667F97B216A8740 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:11:46] 987*2^1425540-1 is not prime. Res64: 8240146AFB2823C6 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:11:46] 651*2^1425541-1 is not prime. Res64: 5A76086749EA16CC Time : 0.0 sec. user=mdettweiler [2016-04-07 07:11:47] 687*2^1425541-1 is not prime. Res64: 07727FF4641DD27A Time : 0.0 sec. user=mdettweiler [2016-04-07 07:11:47] 861*2^1425541-1 is not prime. Res64: 357A271EF16E8102 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:40:25] 877*2^1425541-1 is not prime. Res64: F739CD3CF38EE965 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:40:26] 927*2^1425541-1 is not prime. Res64: 1592A0827EF05A97 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:40:26] 975*2^1425541-1 is not prime. Res64: 84EEA6876EBEA4C5 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:40:26] 999*2^1425541-1 is not prime. Res64: 821DD8D8FDCF5EA0 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:40:26] 627*2^1425542-1 is not prime. Res64: 62F7FD4B0ED1B13C Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:00] 677*2^1425542-1 is not prime. Res64: E85122CD6499F1AE Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:00] 801*2^1425542-1 is not prime. Res64: 54A1912259DD6074 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:00] 827*2^1425542-1 is not prime. Res64: 7E942893303A2BC6 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:00] 893*2^1425542-1 is not prime. Res64: 3B7C4A21D1074F42 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:01] 793*2^1425543-1 is not prime. Res64: 714F14F827DC52FB Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:57] 853*2^1425543-1 is not prime. Res64: 4358910D8E0D1B61 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:57] 861*2^1425543-1 is not prime. Res64: BF61FA0F38457F1F Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:58] 919*2^1425543-1 is not prime. Res64: 0E2F634BFCE92225 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:58] 943*2^1425543-1 is not prime. Res64: D961F958BBFD152B Time : 0.0 sec. user=mdettweiler [2016-04-07 07:50:58] 969*2^1425543-1 is not prime. Res64: 2D9E5878EB249CC7 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:57:03] 629*2^1425544-1 is not prime. Res64: 684024C6046405EC Time : 0.0 sec. user=mdettweiler [2016-04-07 07:57:04] 657*2^1425544-1 is not prime. Res64: E87597B19F21F39C Time : 0.0 sec. user=mdettweiler [2016-04-07 07:57:04] 857*2^1425544-1 is not prime. Res64: A892033FFF864AE8 Time : 0.0 sec. user=mdettweiler [2016-04-07 07:57:04] 873*2^1425544-1 is not prime. Res64: 15560C667087837E Time : 0.0 sec. user=mdettweiler [2016-04-07 07:57:04] 875*2^1425544-1 is not prime. Res64: 7D3D833605318884 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:25:29] 989*2^1425544-1 is not prime. Res64: FDC37CE3F9C0DC94 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:25:30] 657*2^1425545-1 is not prime. Res64: 07CF31B5D9120A24 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:25:30] 735*2^1425545-1 is not prime. Res64: 969AC5EBF1B2BD01 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:25:30] 713*2^1425546-1 is not prime. Res64: D65DE88AEA8BEEB9 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:25:31] 735*2^1425546-1 is not prime. Res64: 022D4C29BACC32C5 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:35:13] 765*2^1425546-1 is not prime. Res64: 808507DB90CA24C9 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:35:13] 903*2^1425546-1 is not prime. Res64: 2B1D1DE32F935CF0 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:35:13] 945*2^1425546-1 is not prime. Res64: D71EE3215AB41ED4 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:35:14] 947*2^1425546-1 is not prime. Res64: D81F1E4BB3609132 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:35:14] 983*2^1425546-1 is not prime. Res64: 7B64C39BFCDCD421 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:36:05] 645*2^1425547-1 is not prime. Res64: 37D2133BF8A3CEB4 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:36:05] 715*2^1425547-1 is not prime. Res64: BF6BFBDAB265D358 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:36:06] 735*2^1425547-1 is not prime. Res64: 572FE3A6248E5290 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:36:06] 741*2^1425547-1 is not prime. Res64: 7F48BEFDC8888E0D Time : 0.0 sec. user=mdettweiler [2016-04-07 08:36:06] 819*2^1425547-1 is not prime. Res64: 529421AE0FEA274E Time : 0.0 sec. user=mdettweiler [2016-04-07 08:42:36] 829*2^1425547-1 is not prime. Res64: 4DFBEFCC912D2C40 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:42:37] 859*2^1425547-1 is not prime. Res64: 6A7D6924D4A9F153 Time : 0.0 sec. user=mdettweiler [2016-04-07 08:42:37] 919*2^1425547-1 is not prime. Res64: 6D1D1C904E05DCEA Time : 0.0 sec. user=mdettweiler [2016-04-07 08:42:37] 999*2^1425547-1 is not prime. Res64: B25901525F74822C Time : 0.0 sec. user=mdettweiler [2016-04-07 08:42:37] 725*2^1425548-1 is not prime. Res64: 6740A85166B21F82 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:10:52] 839*2^1425548-1 is not prime. Res64: BDD267006DA5D0B6 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:10:53] 867*2^1425548-1 is not prime. Res64: DF1B65B29318ED36 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:10:53] 915*2^1425548-1 is not prime. Res64: 011DD60CEFA8E388 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:10:53] 667*2^1425549-1 is not prime. Res64: 032A5CE2058C95EC Time : 0.0 sec. user=mdettweiler [2016-04-07 09:10:54] 735*2^1425549-1 is not prime. Res64: FE0C44A13A6F1D6E Time : 0.0 sec. user=mdettweiler [2016-04-07 09:20:27] 745*2^1425549-1 is not prime. Res64: 3238D8129813BD31 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:20:28] 835*2^1425549-1 is not prime. Res64: 27EBDAD8E25EFDEF Time : 0.0 sec. user=mdettweiler [2016-04-07 09:20:28] 877*2^1425549-1 is not prime. Res64: C3620C2ECEE75BBD Time : 0.0 sec. user=mdettweiler [2016-04-07 09:20:28] 945*2^1425549-1 is not prime. Res64: 7B20297FAE9F4602 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:20:28] 951*2^1425549-1 is not prime. Res64: 55DCDDEE141933DB Time : 0.0 sec. user=mdettweiler [2016-04-07 09:21:40] 997*2^1425549-1 is not prime. Res64: 58100332AED68830 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:21:41] 645*2^1425550-1 is not prime. Res64: 01DB3BD181F073A7 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:21:41] 653*2^1425550-1 is not prime. Res64: D65227093F61FC6A Time : 0.0 sec. user=mdettweiler [2016-04-07 09:21:41] 723*2^1425550-1 is not prime. Res64: 02AEE665257047E4 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:21:41] 755*2^1425550-1 is not prime. Res64: CA12D198975E8BC5 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:28:02] 773*2^1425550-1 is not prime. Res64: 01024F2C412CF81D Time : 0.0 sec. user=mdettweiler [2016-04-07 09:28:02] 911*2^1425550-1 is not prime. Res64: 663F38E0107D23DE Time : 0.0 sec. user=mdettweiler [2016-04-07 09:28:02] 971*2^1425550-1 is not prime. Res64: 500FCD28C7FAAA88 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:28:02] 619*2^1425551-1 is not prime. Res64: B6D7CBD4745BB084 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:28:03] 661*2^1425551-1 is not prime. Res64: D540ED8EB93B4745 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:56:04] 685*2^1425551-1 is not prime. Res64: 5D7C194CD8B8F554 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:56:05] 711*2^1425551-1 is not prime. Res64: EF9D4815D8BCF961 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:56:05] 871*2^1425551-1 is not prime. Res64: BE03F93CA76054B7 Time : 0.0 sec. user=mdettweiler [2016-04-07 09:56:05] 945*2^1425551-1 is not prime. Res64: 2A33EFC2C7ACD97F Time : 0.0 sec. user=mdettweiler [2016-04-07 09:56:05] 969*2^1425551-1 is not prime. Res64: 9060B9F06EF59485 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:05:33] 767*2^1425552-1 is not prime. Res64: 22FFC4C42A1FC2BB Time : 0.0 sec. user=mdettweiler [2016-04-07 10:05:34] 815*2^1425552-1 is not prime. Res64: 912151D237BCEDBE Time : 0.0 sec. user=mdettweiler [2016-04-07 10:05:36] 857*2^1425552-1 is not prime. Res64: 4986EBB1BBE003FB Time : 0.0 sec. user=mdettweiler [2016-04-07 10:05:37] 915*2^1425552-1 is not prime. Res64: 1AE7553D0141A480 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:05:37] 917*2^1425552-1 is not prime. Res64: 5C542304B35D3893 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:06:49] 615*2^1425553-1 is not prime. Res64: 2E3101F9F6E0086B Time : 0.0 sec. user=mdettweiler [2016-04-07 10:06:50] 637*2^1425553-1 is not prime. Res64: A6C2FCB7233311AD Time : 0.0 sec. user=mdettweiler [2016-04-07 10:06:51] 639*2^1425553-1 is not prime. Res64: 94BA5275E1FE9A6F Time : 0.0 sec. user=mdettweiler [2016-04-07 10:06:52] 741*2^1425553-1 is not prime. Res64: 19D50D3CDB232D4F Time : 0.0 sec. user=mdettweiler [2016-04-07 10:06:52] 751*2^1425553-1 is not prime. Res64: 785E2CB522666245 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:13:00] 847*2^1425553-1 is not prime. Res64: 1E266BBE683CEA26 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:13:00] 919*2^1425553-1 is not prime. Res64: D529CED802F519BB Time : 0.0 sec. user=mdettweiler [2016-04-07 10:13:01] 937*2^1425553-1 is not prime. Res64: CDC66E19402760D3 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:13:01] 743*2^1425554-1 is not prime. Res64: 979F4FB4493215BA Time : 0.0 sec. user=mdettweiler [2016-04-07 10:13:01] 773*2^1425554-1 is not prime. Res64: DC2EC2586F96F727 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:41:05] 797*2^1425554-1 is not prime. Res64: AD3F27F393DE6290 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:41:06] 813*2^1425554-1 is not prime. Res64: 7019D41A646E2EF9 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:41:06] 765*2^1425555-1 is not prime. Res64: 2D15300C753BB7C2 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:41:06] 775*2^1425555-1 is not prime. Res64: B30A98CE0F4D21B8 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:41:06] 903*2^1425555-1 is not prime. Res64: 6207EC9D8A0C2252 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:50:59] 913*2^1425555-1 is not prime. Res64: 613E91DC33C282CF Time : 0.0 sec. user=mdettweiler [2016-04-07 10:51:00] 707*2^1425556-1 is not prime. Res64: 1EFFD7BBF3CFF577 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:51:00] 765*2^1425556-1 is not prime. Res64: 3597DF016FC31E17 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:51:00] 785*2^1425556-1 is not prime. Res64: 10DA41C54960CA34 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:51:00] 855*2^1425556-1 is not prime. Res64: AF6C55AD39B81B62 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:52:02] 887*2^1425556-1 is not prime. Res64: 424739E5F9C4902C Time : 0.0 sec. user=mdettweiler [2016-04-07 10:52:02] 939*2^1425556-1 is not prime. Res64: A8A33AC5D7DE176C Time : 0.0 sec. user=mdettweiler [2016-04-07 10:52:02] 631*2^1425557-1 is not prime. Res64: B26BED783C024DDB Time : 0.0 sec. user=mdettweiler [2016-04-07 10:52:02] 759*2^1425557-1 is not prime. Res64: D69209EAAE7CC475 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:52:02] 879*2^1425557-1 is not prime. Res64: F8917E243363872F Time : 0.0 sec. user=mdettweiler [2016-04-07 10:58:11] 949*2^1425557-1 is not prime. Res64: D0099B4D67902422 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:58:11] 641*2^1425558-1 is not prime. Res64: D87C248367A15EA4 Time : 0.0 sec. user=mdettweiler [2016-04-07 10:58:11] 663*2^1425558-1 is not prime. Res64: 54932F54F8AF05BE Time : 0.0 sec. user=mdettweiler [2016-04-07 10:58:11] 683*2^1425558-1 is not prime. Res64: 3477E96BA833CB2A Time : 0.0 sec. user=mdettweiler [2016-04-07 10:58:12] 705*2^1425558-1 is not prime. Res64: 62CE8AFEF0742EB4 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:26:49] 747*2^1425558-1 is not prime. Res64: 6B96CFFB165F6B43 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:26:49] 801*2^1425558-1 is not prime. Res64: D2B6CA0C6C1CD321 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:26:49] 815*2^1425558-1 is not prime. Res64: 335DA13A4E8BA1AD Time : 0.0 sec. user=mdettweiler [2016-04-07 11:26:50] 927*2^1425558-1 is not prime. Res64: 51E5C2706EFB49C9 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:26:50] 951*2^1425558-1 is not prime. Res64: E6157417E5115014 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:36:08] 645*2^1425559-1 is not prime. Res64: 3ED26F328436E39D Time : 0.0 sec. user=mdettweiler [2016-04-07 11:36:08] 679*2^1425559-1 is not prime. Res64: 87071C57BC867D2D Time : 0.0 sec. user=mdettweiler [2016-04-07 11:36:08] 709*2^1425559-1 is not prime. Res64: 367CB1AA189F1CB3 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:36:08] 765*2^1425559-1 is not prime. Res64: 04F6B765E3CC4F7E Time : 0.0 sec. user=mdettweiler [2016-04-07 11:36:09] 855*2^1425559-1 is not prime. Res64: 012A38DE45C93468 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:37:20] 859*2^1425559-1 is not prime. Res64: 2CAEF86D495BD2A5 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:37:20] 913*2^1425559-1 is not prime. Res64: 767778099E9A06AB Time : 0.0 sec. user=mdettweiler [2016-04-07 11:37:21] 951*2^1425559-1 is not prime. Res64: AC1601137EB10EA8 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:37:21] 975*2^1425559-1 is not prime. Res64: 8BF5D68C582B0C21 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:37:21] 603*2^1425560-1 is not prime. Res64: 1A7B3E5DD86172A1 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:43:32] 753*2^1425560-1 is not prime. Res64: C9834C5452DDCC4B Time : 0.0 sec. user=mdettweiler [2016-04-07 11:43:32] 767*2^1425560-1 is not prime. Res64: 891F326A7C9181AE Time : 0.0 sec. user=mdettweiler [2016-04-07 11:43:33] 813*2^1425560-1 is not prime. Res64: 623F8622C39DAE19 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:43:33] 917*2^1425560-1 is not prime. Res64: 775E101ADFA0FA24 Time : 0.0 sec. user=mdettweiler [2016-04-07 11:43:33] 999*2^1425560-1 is not prime. Res64: 25146DB36458B2DE Time : 0.0 sec. user=mdettweiler [2016-04-07 12:11:41] 601*2^1425561-1 is not prime. Res64: 1AD83051FF89304F Time : 0.0 sec. user=mdettweiler [2016-04-07 12:11:42] 651*2^1425561-1 is not prime. Res64: B0F27835B7FE477F Time : 0.0 sec. user=mdettweiler [2016-04-07 12:11:42] 657*2^1425561-1 is not prime. Res64: D43424B8D3DE5BAA Time : 0.0 sec. user=mdettweiler [2016-04-07 12:11:42] 669*2^1425561-1 is not prime. Res64: 946C4FA777A593E5 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:11:42] 781*2^1425561-1 is not prime. Res64: A96460C2DB3D4544 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:21:05] 837*2^1425561-1 is not prime. Res64: 3E8595AAD9980D59 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:21:06] 877*2^1425561-1 is not prime. Res64: 4B972D0515CE1627 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:21:07] 951*2^1425561-1 is not prime. Res64: 959015D094BE39D1 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:21:07] 955*2^1425561-1 is not prime. Res64: 67515B9E852359EF Time : 0.0 sec. user=mdettweiler [2016-04-07 12:21:08] 975*2^1425561-1 is not prime. Res64: B782969F83509244 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:22:24] 621*2^1425562-1 is not prime. Res64: D0B6D86DBFD85212 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:22:24] 665*2^1425562-1 is not prime. Res64: 565ABCB037AF1AF6 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:22:25] 717*2^1425562-1 is not prime. Res64: 7F987A2D5DADE467 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:22:25] 831*2^1425562-1 is not prime. Res64: 3861A3711A57CE9A Time : 0.0 sec. user=mdettweiler [2016-04-07 12:22:25] 945*2^1425562-1 is not prime. Res64: 5A6C4C65E2E70FA7 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:28:33] 957*2^1425562-1 is not prime. Res64: 62AECE53A1B3FA98 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:28:33] 649*2^1425563-1 is not prime. Res64: FDAB1AD8AA584E5B Time : 0.0 sec. user=mdettweiler [2016-04-07 12:28:33] 771*2^1425563-1 is not prime. Res64: 87A42E26E8F6A51E Time : 0.0 sec. user=mdettweiler [2016-04-07 12:28:33] 813*2^1425563-1 is not prime. Res64: 6173B4A5B2396800 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:28:34] 921*2^1425563-1 is not prime. Res64: 8AC10099C7285252 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:56:58] 939*2^1425563-1 is not prime. Res64: 1E53ED7553372769 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:56:58] 605*2^1425564-1 is not prime. Res64: 9ED87393EBA6CA52 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:56:58] 665*2^1425564-1 is not prime. Res64: 00C5BBBD58C06C19 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:56:58] 707*2^1425564-1 is not prime. Res64: 6EB81E59392BDF00 Time : 0.0 sec. user=mdettweiler [2016-04-07 12:56:58] 983*2^1425564-1 is not prime. Res64: A10272615C0F1E9C Time : 0.0 sec. user=mdettweiler [2016-04-07 13:06:37] 601*2^1425565-1 is not prime. Res64: EEF550B91C98A18C Time : 0.0 sec. user=mdettweiler [2016-04-07 13:06:38] 651*2^1425565-1 is not prime. Res64: 9DFDDD100549B1F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:06:39] 691*2^1425565-1 is not prime. Res64: B5E2C4314FECBA57 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:06:39] 777*2^1425565-1 is not prime. Res64: 75A761B2043E9531 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:06:39] 877*2^1425565-1 is not prime. Res64: E45CF423A8D91D46 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:07:48] 951*2^1425565-1 is not prime. Res64: B9851DCDD7CACBF7 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:07:49] 997*2^1425565-1 is not prime. Res64: 311E77BA9891E5BC Time : 0.0 sec. user=mdettweiler [2016-04-07 13:07:49] 641*2^1425566-1 is not prime. Res64: 62F765A3D8741D49 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:07:49] 815*2^1425566-1 is not prime. Res64: A8B5F27B73111CDA Time : 0.0 sec. user=mdettweiler [2016-04-07 13:07:49] 827*2^1425566-1 is not prime. Res64: F47A91A0E206EB86 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:13:56] 851*2^1425566-1 is not prime. Res64: E8DBF4E715ECF4A5 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:13:57] 923*2^1425566-1 is not prime. Res64: F2FEB27C1DC08958 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:13:57] 703*2^1425567-1 is not prime. Res64: 76006FCC9D61C698 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:13:57] 805*2^1425567-1 is not prime. Res64: A7F23F4D226830B2 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:13:57] 885*2^1425567-1 is not prime. Res64: 53367AC677B66771 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:43:29] 895*2^1425567-1 is not prime. Res64: 3465A3844ACB062E Time : 0.0 sec. user=mdettweiler [2016-04-07 13:43:29] 615*2^1425568-1 is not prime. Res64: 8A0BCE14C15016A2 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:43:29] 707*2^1425568-1 is not prime. Res64: 1CB329BD2EA9CCA2 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:43:30] 827*2^1425568-1 is not prime. Res64: 4B78A968AD70FE3D Time : 0.0 sec. user=mdettweiler [2016-04-07 13:43:30] 855*2^1425568-1 is not prime. Res64: 9789EC78DB12B2CC Time : 0.0 sec. user=mdettweiler [2016-04-07 13:53:21] 993*2^1425568-1 is not prime. Res64: 0DC9C118A3AA5C6B Time : 0.0 sec. user=mdettweiler [2016-04-07 13:53:21] 631*2^1425569-1 is not prime. Res64: 6AB04F0DFCD6AD8A Time : 0.0 sec. user=mdettweiler [2016-04-07 13:53:22] 705*2^1425569-1 is not prime. Res64: 49E93C71C5428220 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:53:22] 831*2^1425569-1 is not prime. Res64: 3D7D902064D380B2 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:53:22] 885*2^1425569-1 is not prime. Res64: 769D930BBDCF140F Time : 0.0 sec. user=mdettweiler [2016-04-07 13:54:01] 611*2^1425570-1 is not prime. Res64: 797D65727BD382C0 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:54:01] 777*2^1425570-1 is not prime. Res64: 9933D78B0AF57E11 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:54:01] 797*2^1425570-1 is not prime. Res64: C87BD71C00EDF181 Time : 0.0 sec. user=mdettweiler [2016-04-07 13:54:01] 861*2^1425570-1 is not prime. Res64: 31FB5BC12506275A Time : 0.0 sec. user=mdettweiler [2016-04-07 13:54:01] 887*2^1425570-1 is not prime. Res64: 8CC6D060843FE315 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:00:06] 941*2^1425570-1 is not prime. Res64: D9006A9E3360AEC1 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:00:06] 951*2^1425570-1 is not prime. Res64: 5A70C90AFEF0C8E4 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:00:06] 977*2^1425570-1 is not prime. Res64: BFF7B458CE0F03DF Time : 0.0 sec. user=mdettweiler [2016-04-07 14:00:07] 603*2^1425571-1 is not prime. Res64: 4CC407EC4089E3A6 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:00:07] 645*2^1425571-1 is not prime. Res64: FBDAC9278AD63AAA Time : 0.0 sec. user=mdettweiler [2016-04-07 14:28:46] 715*2^1425571-1 is not prime. Res64: 8AA1662433D5789E Time : 0.0 sec. user=mdettweiler [2016-04-07 14:28:46] 805*2^1425571-1 is not prime. Res64: F79F4D203912CD9C Time : 0.0 sec. user=mdettweiler [2016-04-07 14:28:46] 891*2^1425571-1 is not prime. Res64: 21A833DD8D2B2093 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:28:47] 605*2^1425572-1 is not prime. Res64: 8126E1669C6D28BA Time : 0.0 sec. user=mdettweiler [2016-04-07 14:28:47] 615*2^1425572-1 is not prime. Res64: 8507A1481A504710 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:07] 677*2^1425572-1 is not prime. Res64: F7E67657777D5D8A Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:07] 717*2^1425572-1 is not prime. Res64: CE573D3DAB70627C Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:07] 803*2^1425572-1 is not prime. Res64: 30B464B0E1AFCC52 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:07] 855*2^1425572-1 is not prime. Res64: F220DDC75E38539C Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:08] 873*2^1425572-1 is not prime. Res64: 6C557E51D951B8FB Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:43] 885*2^1425572-1 is not prime. Res64: F3C241CB8AC4F440 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:43] 657*2^1425573-1 is not prime. Res64: 7DDB9FE400EB86A7 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:43] 781*2^1425573-1 is not prime. Res64: 73DEA23F9CFBE7BD Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:43] 951*2^1425573-1 is not prime. Res64: DCAFA064A68370AF Time : 0.0 sec. user=mdettweiler [2016-04-07 14:39:44] 991*2^1425573-1 is not prime. Res64: D419493B2D6D1EFF Time : 0.0 sec. user=mdettweiler [2016-04-07 14:45:37] 611*2^1425574-1 is not prime. Res64: 1C09BDF8EB99F54A Time : 0.0 sec. user=mdettweiler [2016-04-07 14:45:37] 677*2^1425574-1 is not prime. Res64: 75C9BE2CC4B89A7C Time : 0.0 sec. user=mdettweiler [2016-04-07 14:45:37] 681*2^1425574-1 is not prime. Res64: B44750F2675D1963 Time : 0.0 sec. user=mdettweiler [2016-04-07 14:45:38] 723*2^1425574-1 is not prime. Res64: E24344CC6478D33F Time : 0.0 sec. user=mdettweiler [2016-04-07 14:45:38] 741*2^1425574-1 is not prime. Res64: BE11DE72786BC1DC Time : 0.0 sec. user=mdettweiler [2016-04-07 15:15:22] 765*2^1425574-1 is not prime. Res64: 0D7AC94F216708A3 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:15:23] 945*2^1425574-1 is not prime. Res64: D257B5C5AA36AFA4 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:15:23] 735*2^1425575-1 is not prime. Res64: 55999FD5A66248AD Time : 0.0 sec. user=mdettweiler [2016-04-07 15:15:23] 781*2^1425575-1 is not prime. Res64: BA008CC06CA5F339 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:15:24] 799*2^1425575-1 is not prime. Res64: 772DFC39E26CF65E Time : 0.0 sec. user=mdettweiler [2016-04-07 15:26:37] 841*2^1425575-1 is not prime. Res64: 76730489DC74F825 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:26:38] 909*2^1425575-1 is not prime. Res64: 16135AF37D0B1D8F Time : 0.0 sec. user=mdettweiler [2016-04-07 15:26:38] 635*2^1425576-1 is not prime. Res64: A7F15C40E78E5F6D Time : 0.0 sec. user=mdettweiler [2016-04-07 15:26:38] 723*2^1425576-1 is not prime. Res64: 0B74E79F759E21A4 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:26:39] 815*2^1425576-1 is not prime. Res64: 50C99AD63FDAA53A Time : 0.0 sec. user=mdettweiler [2016-04-07 15:27:12] 875*2^1425576-1 is not prime. Res64: 91E4C066B403F4E0 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:27:13] 999*2^1425576-1 is not prime. Res64: 3485E09A6E02DD9D Time : 0.0 sec. user=mdettweiler [2016-04-07 15:27:13] 609*2^1425577-1 is not prime. Res64: DDA34D6F2E37471D Time : 0.0 sec. user=mdettweiler [2016-04-07 15:27:13] 645*2^1425577-1 is not prime. Res64: FBA5E87A163A91B5 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:27:14] 651*2^1425577-1 is not prime. Res64: 465C731EEF674F15 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:33:57] 661*2^1425577-1 is not prime. Res64: CF6ABCFC14E6E560 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:33:57] 675*2^1425577-1 is not prime. Res64: 458D27D5F138C5C0 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:33:57] 699*2^1425577-1 is not prime. Res64: A3CD57B68253910F Time : 0.0 sec. user=mdettweiler [2016-04-07 15:33:57] 729*2^1425577-1 is not prime. Res64: 32ED998B28C9A908 Time : 0.0 sec. user=mdettweiler [2016-04-07 15:33:58] 617*2^1425578-1 is not prime. Res64: EDA8FFC724DC36AD Time : 0.0 sec. user=mdettweiler [2016-04-07 16:03:32] 627*2^1425578-1 is not prime. Res64: 18984359ADCF3EAA Time : 0.0 sec. user=mdettweiler [2016-04-07 16:03:33] 815*2^1425578-1 is not prime. Res64: 7357DBF41D9D47A5 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:03:34] 845*2^1425578-1 is not prime. Res64: 66F4B1B1A34AFDA3 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:03:34] 957*2^1425578-1 is not prime. Res64: 6FBA7BD61D7B0AB0 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:03:35] 615*2^1425579-1 is not prime. Res64: 84565AA90E2ABC45 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:13:56] 619*2^1425579-1 is not prime. Res64: C50D972CBA4255AA Time : 0.0 sec. user=mdettweiler [2016-04-07 16:13:57] 649*2^1425579-1 is not prime. Res64: AD6DAD79C44561BC Time : 0.0 sec. user=mdettweiler [2016-04-07 16:13:57] 709*2^1425579-1 is not prime. Res64: EFFD110EC37564A3 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:13:57] 853*2^1425579-1 is not prime. Res64: 550909B5AA7C2788 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:13:57] 879*2^1425579-1 is not prime. Res64: E5DFC926A206F3CB Time : 0.0 sec. user=mdettweiler [2016-04-07 16:14:12] 943*2^1425579-1 is not prime. Res64: 950AEB979DBDECCD Time : 0.0 sec. user=mdettweiler [2016-04-07 16:14:12] 961*2^1425579-1 is not prime. Res64: 52E08E58D32C0C9E Time : 0.0 sec. user=mdettweiler [2016-04-07 16:14:13] 605*2^1425580-1 is not prime. Res64: 79BA44BEFE24E452 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:14:13] 875*2^1425580-1 is not prime. Res64: 3FDB351FD0600579 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:14:14] 691*2^1425581-1 is not prime. Res64: 300AA981F69AA959 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:20:02] 711*2^1425581-1 is not prime. Res64: C855D8FAA41C820D Time : 0.0 sec. user=mdettweiler [2016-04-07 16:20:03] 741*2^1425581-1 is not prime. Res64: 04C0985B70C70C64 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:20:03] 855*2^1425581-1 is not prime. Res64: 6B81E36818774050 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:20:03] 861*2^1425581-1 is not prime. Res64: 0CC7E8E00C0C5F11 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:20:03] 931*2^1425581-1 is not prime. Res64: 6DE8604E19F3C7A7 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:49:23] 635*2^1425582-1 is not prime. Res64: 1D83935F814AC9F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:49:23] 651*2^1425582-1 is not prime. Res64: 78AD910B9FCE37AE Time : 0.0 sec. user=mdettweiler [2016-04-07 16:49:23] 797*2^1425582-1 is not prime. Res64: EA07B429590BA0B6 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:49:24] 947*2^1425582-1 is not prime. Res64: 0F0489B2BF1B6427 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:49:24] 963*2^1425582-1 is not prime. Res64: C50E82A76A11F4B7 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:36] 693*2^1425583-1 is not prime. Res64: 81B3E1F942903A17 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:36] 703*2^1425583-1 is not prime. Res64: 55FFC71F410BB0B2 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:36] 765*2^1425583-1 is not prime. Res64: 891AB2AD4FAC9DE5 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:37] 793*2^1425583-1 is not prime. Res64: 12CB4FD0FF17B254 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:37] 805*2^1425583-1 is not prime. Res64: FFA6E826EB3E2847 Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:43] 687*2^1425584-1 is not prime. Res64: CBED6ECA232DDDDF Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:43] 753*2^1425584-1 is not prime. Res64: 0B70044FE3DCCC6E Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:43] 869*2^1425584-1 is not prime. Res64: 37C647A900739F8D Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:43] 915*2^1425584-1 is not prime. Res64: 313D797511F2B59A Time : 0.0 sec. user=mdettweiler [2016-04-07 16:59:44] 927*2^1425584-1 is not prime. Res64: E685739860C3CFA3 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:05:40] 995*2^1425584-1 is not prime. Res64: C83696050F7B4AE1 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:05:41] 651*2^1425585-1 is not prime. Res64: 26924E1EB0FFC489 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:05:41] 819*2^1425585-1 is not prime. Res64: CB6390E30767ADC9 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:05:42] 909*2^1425585-1 is not prime. Res64: 362A1EB77DACB6E5 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:05:42] 603*2^1425586-1 is not prime. Res64: 8877D651E8B73A8D Time : 0.0 sec. user=mdettweiler [2016-04-07 17:34:20] 701*2^1425586-1 is not prime. Res64: 2E6A1CF6073BFDD3 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:34:20] 717*2^1425586-1 is not prime. Res64: 8EDB3AAE188289B6 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:34:21] 873*2^1425586-1 is not prime. Res64: C7A1AF6200076FB3 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:34:21] 645*2^1425587-1 is not prime. Res64: B0DE13C3AB922B23 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:34:21] 675*2^1425587-1 is not prime. Res64: AF625453476E0409 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:44:57] 711*2^1425587-1 is not prime. Res64: CF26759DC7C0488B Time : 0.0 sec. user=mdettweiler [2016-04-07 17:44:57] 885*2^1425587-1 is not prime. Res64: 748957FEE6C8F3E1 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:44:57] 939*2^1425587-1 is not prime. Res64: CC3D44E36022263B Time : 0.0 sec. user=mdettweiler [2016-04-07 17:44:58] 945*2^1425587-1 is not prime. Res64: DF465B8419192448 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:44:58] 963*2^1425587-1 is not prime. Res64: 7F4C354CCA1BE341 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:45:00] 605*2^1425588-1 is not prime. Res64: CBFCAAB6BDB067D8 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:45:01] 615*2^1425588-1 is not prime. Res64: C0E6D29823455E23 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:45:01] 629*2^1425588-1 is not prime. Res64: 7B42CCAE5F98135B Time : 0.0 sec. user=mdettweiler [2016-04-07 17:45:01] 647*2^1425588-1 is not prime. Res64: 7F4E6F6BDCE616FC Time : 0.0 sec. user=mdettweiler [2016-04-07 17:45:01] 663*2^1425588-1 is not prime. Res64: 99F64603CC7799C4 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:51:06] 797*2^1425588-1 is not prime. Res64: A6684C5462736FB7 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:51:06] 819*2^1425588-1 is not prime. Res64: C3E816C73D6565EA Time : 0.0 sec. user=mdettweiler [2016-04-07 17:51:06] 845*2^1425588-1 is not prime. Res64: 6AD6C3481571DB80 Time : 0.0 sec. user=mdettweiler [2016-04-07 17:51:06] 879*2^1425588-1 is not prime. Res64: AC9742169B010B6B Time : 0.0 sec. user=mdettweiler [2016-04-07 17:51:07] 887*2^1425588-1 is not prime. Res64: 3A74CBC10496C47B Time : 0.0 sec. user=mdettweiler [2016-04-07 18:19:20] 929*2^1425588-1 is not prime. Res64: AC01A6D065EF2426 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:19:20] 933*2^1425588-1 is not prime. Res64: 44A9D4300A1E6966 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:19:21] 811*2^1425589-1 is not prime. Res64: 5A93EC29CB39B510 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:19:21] 861*2^1425589-1 is not prime. Res64: 7C3690C4CAC5A19C Time : 0.0 sec. user=mdettweiler [2016-04-07 18:19:22] 867*2^1425589-1 is not prime. Res64: A7BDE8CE71B789F8 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:29:55] 885*2^1425589-1 is not prime. Res64: 644B6E17128B4C7E Time : 0.0 sec. user=mdettweiler [2016-04-07 18:29:56] 939*2^1425589-1 is not prime. Res64: 7C4AFBC4C32DACB5 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:29:56] 945*2^1425589-1 is not prime. Res64: 8547AB5A3DA26F31 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:29:56] 961*2^1425589-1 is not prime. Res64: CF832F3A1FA27ACA Time : 0.0 sec. user=mdettweiler [2016-04-07 18:29:56] 665*2^1425590-1 is not prime. Res64: A43EA04497B77621 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:30:12] 675*2^1425590-1 is not prime. Res64: 1A6FCF2C078C8AF4 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:30:13] 731*2^1425590-1 is not prime. Res64: 8491480B075FDE7C Time : 0.0 sec. user=mdettweiler [2016-04-07 18:30:13] 743*2^1425590-1 is not prime. Res64: 34FB286AC1E2FFB5 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:30:13] 761*2^1425590-1 is not prime. Res64: 5E015229A7FF1371 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:30:13] 897*2^1425590-1 is not prime. Res64: 398509EB0BAB174A Time : 0.0 sec. user=mdettweiler [2016-04-07 18:36:04] 625*2^1425591-1 is not prime. Res64: B628DD75D24B8F8C Time : 0.0 sec. user=mdettweiler [2016-04-07 18:36:04] 661*2^1425591-1 is not prime. Res64: 793B4554926D6CD5 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:36:05] 825*2^1425591-1 is not prime. Res64: 4F2B4BB35680EC70 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:36:05] 951*2^1425591-1 is not prime. Res64: F6CC4DF63F74BFC9 Time : 0.0 sec. user=mdettweiler [2016-04-07 18:36:05] 961*2^1425591-1 is not prime. Res64: E730DC4EB973607F Time : 0.0 sec. user=mdettweiler [2016-04-07 19:04:20] 973*2^1425591-1 is not prime. Res64: A8AD5F3965E38D76 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:04:21] 623*2^1425592-1 is not prime. Res64: E4775FA2925AED6A Time : 0.0 sec. user=mdettweiler [2016-04-07 19:04:22] 699*2^1425592-1 is not prime. Res64: 29CB2A2634536B0F Time : 0.0 sec. user=mdettweiler [2016-04-07 19:04:23] 719*2^1425592-1 is not prime. Res64: BF6CC6FA4B45A3A7 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:04:24] 777*2^1425592-1 is not prime. Res64: 67DEEFE83B2F3D6B Time : 0.0 sec. user=mdettweiler [2016-04-07 19:14:52] 843*2^1425592-1 is not prime. Res64: 7393CFC12FE7FD6A Time : 0.0 sec. user=mdettweiler [2016-04-07 19:14:52] 849*2^1425592-1 is not prime. Res64: 91171D0AA09BCBE0 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:14:52] 863*2^1425592-1 is not prime. Res64: D47C45DFEF644AA3 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:14:52] 869*2^1425592-1 is not prime. Res64: AD2B8414FA1FAC98 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:14:53] 873*2^1425592-1 is not prime. Res64: 1478D44985DBA4CE Time : 0.0 sec. user=mdettweiler [2016-04-07 19:15:10] 627*2^1425593-1 is not prime. Res64: 602608A4CC475EEF Time : 0.0 sec. user=mdettweiler [2016-04-07 19:15:10] 741*2^1425593-1 is not prime. Res64: F8E399364D413722 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:15:11] 787*2^1425593-1 is not prime. Res64: 06549F1D402B58DF Time : 0.0 sec. user=mdettweiler [2016-04-07 19:15:11] 949*2^1425593-1 is not prime. Res64: BBE42B482C87CD5A Time : 0.0 sec. user=mdettweiler [2016-04-07 19:15:11] 969*2^1425593-1 is not prime. Res64: E16C60D865951F88 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:21:01] 991*2^1425593-1 is not prime. Res64: 00C760DC0655BC72 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:21:01] 633*2^1425594-1 is not prime. Res64: 6F3AA15357EDCB8B Time : 0.0 sec. user=mdettweiler [2016-04-07 19:21:01] 683*2^1425594-1 is not prime. Res64: 0CC7D25746897296 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:21:02] 797*2^1425594-1 is not prime. Res64: C706203A056E6CEC Time : 0.0 sec. user=mdettweiler [2016-04-07 19:21:02] 891*2^1425594-1 is not prime. Res64: 9F4D477D01887065 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:49:19] 905*2^1425594-1 is not prime. Res64: A42BB309D54A26FB Time : 0.0 sec. user=mdettweiler [2016-04-07 19:49:19] 993*2^1425594-1 is not prime. Res64: 80BBC9341534D5FF Time : 0.0 sec. user=mdettweiler [2016-04-07 19:49:20] 1001*2^1425594-1 is not prime. Res64: 37C1CE05EA6C9354 Time : 0.0 sec. user=mdettweiler [2016-04-07 19:49:20] 675*2^1425595-1 is not prime. Res64: C8336158107CD7EA Time : 0.0 sec. user=mdettweiler [2016-04-07 19:49:20] 685*2^1425595-1 is not prime. Res64: AE63947AC3069F1A Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:04] 775*2^1425595-1 is not prime. Res64: 523C329AA1BD1DF0 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:04] 841*2^1425595-1 is not prime. Res64: AEDBC786E82ADCB9 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:04] 861*2^1425595-1 is not prime. Res64: F8C03228C9E50AF0 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:05] 909*2^1425595-1 is not prime. Res64: 1F3CABCDC6989452 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:05] 985*2^1425595-1 is not prime. Res64: 97D973C3FEEB08E2 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:32] 999*2^1425595-1 is not prime. Res64: 1A24FE840D5BFE45 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:33] 635*2^1425596-1 is not prime. Res64: 574AE7EC650E035C Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:34] 663*2^1425596-1 is not prime. Res64: 5BDF4B471510D338 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:34] 717*2^1425596-1 is not prime. Res64: 1E093B4A2644FC00 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:00:34] 743*2^1425596-1 is not prime. Res64: 4F00E39D6F8B7E45 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:06:07] 755*2^1425596-1 is not prime. Res64: 1BFEF4A74E292611 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:06:08] 857*2^1425596-1 is not prime. Res64: D7B740A9A33BC41A Time : 0.0 sec. user=mdettweiler [2016-04-07 20:06:08] 873*2^1425596-1 is not prime. Res64: AAB48E77515274C0 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:06:08] 681*2^1425598-1 is not prime. Res64: 591265B84881DB38 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:06:09] 777*2^1425598-1 is not prime. Res64: 9474429345391F24 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:34:15] 791*2^1425598-1 is not prime. Res64: D79B0E624F3DE34A Time : 0.0 sec. user=mdettweiler [2016-04-07 20:34:15] 801*2^1425598-1 is not prime. Res64: 53841F35B726C516 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:34:16] 863*2^1425598-1 is not prime. Res64: 6BFCCECDFBABB5ED Time : 0.0 sec. user=mdettweiler [2016-04-07 20:34:16] 649*2^1425599-1 is not prime. Res64: 5F25B4A2293A2B79 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:34:16] 729*2^1425599-1 is not prime. Res64: 6B7C6E7C986E78D3 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:06] 745*2^1425599-1 is not prime. Res64: 77F2D9FD10339F8E Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:06] 843*2^1425599-1 is not prime. Res64: 165CB0365418D97C Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:06] 627*2^1425600-1 is not prime. Res64: 67027093D66A69A6 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:06] 693*2^1425600-1 is not prime. Res64: 38D40381D3CED32B Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:07] 695*2^1425600-1 is not prime. Res64: 910E88D4701219C1 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:42] 879*2^1425600-1 is not prime. Res64: 7BEB6EAB88479D13 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:42] 887*2^1425600-1 is not prime. Res64: DE3A952797AB0058 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:42] 927*2^1425600-1 is not prime. Res64: 237AAB53E2F0F7C8 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:42] 807*2^1425601-1 is not prime. Res64: C43CB47E902640B8 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:45:43] 835*2^1425601-1 is not prime. Res64: BE0A19683C65F30F Time : 0.0 sec. user=mdettweiler [2016-04-07 20:51:14] 889*2^1425601-1 is not prime. Res64: 09FA561210F4D150 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:51:14] 945*2^1425601-1 is not prime. Res64: BACF0E487334FCE2 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:51:14] 987*2^1425601-1 is not prime. Res64: 3B2EF60F2676817B Time : 0.0 sec. user=mdettweiler [2016-04-07 20:51:14] 713*2^1425602-1 is not prime. Res64: 8BE7AA837B565B78 Time : 0.0 sec. user=mdettweiler [2016-04-07 20:51:15] 797*2^1425602-1 is not prime. Res64: 83B667213709B67B Time : 0.0 sec. user=mdettweiler [2016-04-07 21:19:15] 887*2^1425602-1 is not prime. Res64: 517A913A6CAC438E Time : 0.0 sec. user=mdettweiler [2016-04-07 21:19:15] 893*2^1425602-1 is not prime. Res64: 0BB15E601590EF90 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:19:15] 981*2^1425602-1 is not prime. Res64: 6BC6505D56644D00 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:19:16] 615*2^1425603-1 is not prime. Res64: 0F6D6293409E74B3 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:19:16] 621*2^1425603-1 is not prime. Res64: 92C2E2572A5CA4F8 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:15] 709*2^1425603-1 is not prime. Res64: 129AAA0F454E4885 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:15] 805*2^1425603-1 is not prime. Res64: 1FDCDEFB56481B5B Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:15] 895*2^1425603-1 is not prime. Res64: 6859AC9CB5AF40A2 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:15] 677*2^1425604-1 is not prime. Res64: 740C440E160A3CAC Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:16] 719*2^1425604-1 is not prime. Res64: 973104169EEF2165 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:54] 759*2^1425604-1 is not prime. Res64: 847DC3CC4461C423 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:54] 909*2^1425604-1 is not prime. Res64: 148E4B3C95B66FF8 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:54] 983*2^1425604-1 is not prime. Res64: 77E6948F96FA1398 Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:55] 995*2^1425604-1 is not prime. Res64: A8F3A49DF632E68C Time : 0.0 sec. user=mdettweiler [2016-04-07 21:30:55] 645*2^1425605-1 is not prime. Res64: F27FAA82C1E0BF0A Time : 0.0 sec. user=mdettweiler [2016-04-07 21:36:08] 699*2^1425605-1 is not prime. Res64: 1FEF3BE956CFE42B Time : 0.0 sec. user=mdettweiler [2016-04-07 21:36:08] 711*2^1425605-1 is not prime. Res64: 3426AB56ACDA036C Time : 0.0 sec. user=mdettweiler [2016-04-07 21:36:08] 717*2^1425605-1 is not prime. Res64: A2202C50A4A10B8B Time : 0.0 sec. user=mdettweiler [2016-04-07 21:36:09] 787*2^1425605-1 is not prime. Res64: 959FEF03497224AB Time : 0.0 sec. user=mdettweiler [2016-04-07 21:36:09] 615*2^1425606-1 is not prime. Res64: 4A052FD03BCE5AD0 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:04:09] 683*2^1425606-1 is not prime. Res64: 95F0EF8E8964231A Time : 0.0 sec. user=mdettweiler [2016-04-07 22:04:10] 843*2^1425606-1 is not prime. Res64: BEB8679681304A65 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:04:12] 917*2^1425606-1 is not prime. Res64: 23BE39733778F57B Time : 0.0 sec. user=mdettweiler [2016-04-07 22:04:12] 945*2^1425606-1 is not prime. Res64: 25E999A2A208BA55 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:04:13] 663*2^1425607-1 is not prime. Res64: A44D30FE70DFB323 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:09] 693*2^1425607-1 is not prime. Res64: DF541E221B4AEB52 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:09] 831*2^1425607-1 is not prime. Res64: D583FD028462AF43 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:10] 873*2^1425607-1 is not prime. Res64: F4B1073493FE8946 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:10] 883*2^1425607-1 is not prime. Res64: AA15C99F0843858A Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:10] 891*2^1425607-1 is not prime. Res64: 4F8EBE95505CFC9E Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:44] 933*2^1425607-1 is not prime. Res64: 1E81101D80A7629E Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:44] 961*2^1425607-1 is not prime. Res64: A97BBC34C2A67D57 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:45] 603*2^1425608-1 is not prime. Res64: 8C9D3AA690949A49 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:45] 747*2^1425608-1 is not prime. Res64: 5A90E791C34F2E04 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:15:45] 963*2^1425608-1 is not prime. Res64: DB1B3096BD2CEC7D Time : 0.0 sec. user=mdettweiler [2016-04-07 22:20:56] 615*2^1425609-1 is not prime. Res64: 33C641086C7AEAE9 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:20:56] 649*2^1425609-1 is not prime. Res64: C31A0EE86C0720F3 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:20:56] 769*2^1425609-1 is not prime. Res64: 95DCDF76662B8940 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:20:57] 921*2^1425609-1 is not prime. Res64: 3176B050B835AE75 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:20:57] 985*2^1425609-1 is not prime. Res64: 52B798B6E3E8C8EA Time : 0.0 sec. user=mdettweiler [2016-04-07 22:49:29] 997*2^1425609-1 is not prime. Res64: 408C32F2AFFEFD81 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:49:29] 687*2^1425610-1 is not prime. Res64: F6E6052BB964BAC7 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:49:30] 695*2^1425610-1 is not prime. Res64: CBC92C0E57888312 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:49:30] 777*2^1425610-1 is not prime. Res64: 67A7C7182A1B80F2 Time : 0.0 sec. user=mdettweiler [2016-04-07 22:49:31] 783*2^1425610-1 is not prime. Res64: FCACB5FF9F7C1454 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:13] 791*2^1425610-1 is not prime. Res64: F655A15A475EB92F Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:14] 843*2^1425610-1 is not prime. Res64: 49668B8862B97153 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:15] 885*2^1425610-1 is not prime. Res64: 16AFE6C505F03B43 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:15] 971*2^1425610-1 is not prime. Res64: 35C485F952ECBE4A Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:16] 975*2^1425610-1 is not prime. Res64: 4EC3A9E2AE82D181 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:42] 601*2^1425611-1 is not prime. Res64: 279CA45C9D4ED2BB Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:42] 651*2^1425611-1 is not prime. Res64: 877F3AA023B6F96D Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:43] 693*2^1425611-1 is not prime. Res64: 23420FE4F6D350D6 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:43] 735*2^1425611-1 is not prime. Res64: 38CDD682DA6E6A4A Time : 0.0 sec. user=mdettweiler [2016-04-07 23:00:44] 855*2^1425611-1 is not prime. Res64: A55852E155B35064 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:06:13] 859*2^1425611-1 is not prime. Res64: 25EDBA156758753D Time : 0.0 sec. user=mdettweiler [2016-04-07 23:06:14] 885*2^1425611-1 is not prime. Res64: C7AD967FDFF61DE1 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:06:15] 895*2^1425611-1 is not prime. Res64: 620C431AE1863349 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:06:16] 979*2^1425611-1 is not prime. Res64: 55D3FCC3D78DDAD6 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:06:16] 609*2^1425612-1 is not prime. Res64: 80BE5B69336A2E16 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:34:19] 759*2^1425612-1 is not prime. Res64: 64F6DDA38088CD63 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:34:19] 779*2^1425612-1 is not prime. Res64: E50DF1B9EDE471DD Time : 0.0 sec. user=mdettweiler [2016-04-07 23:34:19] 875*2^1425612-1 is not prime. Res64: 1D230BF5826D1683 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:34:20] 887*2^1425612-1 is not prime. Res64: E10258FDD680ABF4 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:34:20] 977*2^1425612-1 is not prime. Res64: D2580F58759D7669 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:18] 639*2^1425613-1 is not prime. Res64: F00155874DEFE7EE Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:19] 651*2^1425613-1 is not prime. Res64: 03BD19A622A53868 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:19] 751*2^1425613-1 is not prime. Res64: 4D8D87959BF96648 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:19] 769*2^1425613-1 is not prime. Res64: 8587696AC8E6B95D Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:19] 801*2^1425613-1 is not prime. Res64: DE90EED6BF8BD06F Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:49] 867*2^1425613-1 is not prime. Res64: 450618A01320ACD7 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:49] 895*2^1425613-1 is not prime. Res64: A76D93B233EC5C96 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:49] 645*2^1425614-1 is not prime. Res64: 30DE593ED4E18921 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:50] 705*2^1425614-1 is not prime. Res64: 6601C061F0AF5B31 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:45:50] 941*2^1425614-1 is not prime. Res64: D0F7F1BCDDED4A36 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:51:23] 993*2^1425614-1 is not prime. Res64: 4AE300E290D498BA Time : 0.0 sec. user=mdettweiler [2016-04-07 23:51:24] 643*2^1425615-1 is not prime. Res64: 6303963B0F97ED8A Time : 0.0 sec. user=mdettweiler [2016-04-07 23:51:24] 649*2^1425615-1 is not prime. Res64: 685C81C008E46DAC Time : 0.0 sec. user=mdettweiler [2016-04-07 23:51:24] 675*2^1425615-1 is not prime. Res64: 71C60E2CA29BBAD7 Time : 0.0 sec. user=mdettweiler [2016-04-07 23:51:24] 691*2^1425615-1 is not prime. Res64: D24BCE761E159107 Time : 0.0 sec.