user=mdettweiler [2015-08-11 00:12:33] 969*2^1405975-1 is not prime. Res64: 58691EF3308E9F18 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:12:34] 615*2^1405976-1 is not prime. Res64: 9D101A1EE55F8C21 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:12:35] 923*2^1405976-1 is not prime. Res64: C270671306D5B33D Time : 0.0 sec. user=mdettweiler [2015-08-11 00:12:36] 945*2^1405976-1 is not prime. Res64: 83177623DB30B124 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:12:48] 601*2^1405977-1 is not prime. Res64: 04C5A95FCDFFA29C Time : 0.0 sec. user=mdettweiler [2015-08-11 00:12:48] 649*2^1405977-1 is not prime. Res64: 07299CE1298BAE6C Time : 0.0 sec. user=mdettweiler [2015-08-11 00:17:44] 667*2^1405977-1 is not prime. Res64: 16C5C01EFB3A8DBB Time : 0.0 sec. user=mdettweiler [2015-08-11 00:17:44] 709*2^1405977-1 is not prime. Res64: 15D89755DA41FB3E Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:46] 727*2^1405977-1 is not prime. Res64: 27A30EB46C9496AA Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:46] 795*2^1405977-1 is not prime. Res64: 5B8905F2BD9C5359 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:46] 735*2^1405977-1 is not prime. Res64: D47008CB47F26018 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:46] 805*2^1405977-1 is not prime. Res64: 530A359A2B425574 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:59] 831*2^1405977-1 is not prime. Res64: 4BCF8C5E1457589C Time : 0.0 sec. user=mdettweiler [2015-08-11 00:31:59] 837*2^1405977-1 is not prime. Res64: E2155A603D289EF9 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:36:49] 871*2^1405977-1 is not prime. Res64: FD8DABF8C3643A6C Time : 0.0 sec. user=mdettweiler [2015-08-11 00:36:49] 915*2^1405977-1 is not prime. Res64: 5801B9A6C4392DD0 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:50:51] 985*2^1405977-1 is not prime. Res64: 39738662F68E6E51 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:50:51] 687*2^1405978-1 is not prime. Res64: 9370249163D5066C Time : 0.0 sec. user=mdettweiler [2015-08-11 00:50:53] 773*2^1405978-1 is not prime. Res64: B08C675238476206 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:50:53] 843*2^1405978-1 is not prime. Res64: D7B82BB08503AF6A Time : 0.0 sec. user=mdettweiler [2015-08-11 00:51:07] 735*2^1405978-1 is not prime. Res64: 8625C81845E4D1E8 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:51:08] 737*2^1405978-1 is not prime. Res64: 23E72F2526C0A866 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:56:12] 905*2^1405978-1 is not prime. Res64: 9970000F494EC7E4 Time : 0.0 sec. user=mdettweiler [2015-08-11 00:56:12] 981*2^1405978-1 is not prime. Res64: 383BFC94D4A11D9D Time : 0.0 sec. user=mdettweiler [2015-08-11 01:09:37] 741*2^1405979-1 is not prime. Res64: 98F60FB9F04BD4AF Time : 0.0 sec. user=mdettweiler [2015-08-11 01:09:37] 813*2^1405979-1 is not prime. Res64: F21575F3DE3F5D81 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:09:43] 987*2^1405978-1 is not prime. Res64: D1BC1BBDF14129AE Time : 0.0 sec. user=mdettweiler [2015-08-11 01:09:43] 649*2^1405979-1 is not prime. Res64: 8599FA9342D7B773 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:10:10] 779*2^1405980-1 is not prime. Res64: 7E6386DD8813D6E2 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:10:10] 783*2^1405980-1 is not prime. Res64: 10582BD3B3E44D14 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:14:58] 843*2^1405980-1 is not prime. Res64: 6BCC956BA941A4CD Time : 0.0 sec. user=mdettweiler [2015-08-11 01:14:58] 845*2^1405980-1 is not prime. Res64: 56408EED7D79060B Time : 0.0 sec. user=mdettweiler [2015-08-11 01:28:29] 999*2^1405980-1 is not prime. Res64: 4CFE6EE81D464B71 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:28:30] 601*2^1405981-1 is not prime. Res64: FB77021E23812C8F Time : 0.0 sec. user=mdettweiler [2015-08-11 01:28:46] 679*2^1405981-1 is not prime. Res64: 1419E211E96F2BE1 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:28:47] 811*2^1405981-1 is not prime. Res64: 74B0109B4B3CAFED Time : 0.0 sec. user=mdettweiler [2015-08-11 01:29:08] 937*2^1405981-1 is not prime. Res64: 696DE45837D86EB2 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:29:09] 945*2^1405981-1 is not prime. Res64: A3C441041CEC4E80 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:33:47] 623*2^1405982-1 is not prime. Res64: 820777EBAA8C35D7 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:33:47] 963*2^1405982-1 is not prime. Res64: DC90C7E6DA569C79 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:00] 723*2^1405983-1 is not prime. Res64: 28F6C8ECD8599A9C Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:00] 741*2^1405983-1 is not prime. Res64: 786E5C2C0807FFF1 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:01] 977*2^1405982-1 is not prime. Res64: 182D738E2EF92F20 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:02] 649*2^1405983-1 is not prime. Res64: B6DCE6A37F3D3490 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:06] 765*2^1405983-1 is not prime. Res64: 8D1064034C94C82F Time : 0.0 sec. user=mdettweiler [2015-08-11 01:47:06] 805*2^1405983-1 is not prime. Res64: BF06B3EE770D6255 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:52:24] 919*2^1405983-1 is not prime. Res64: D318C1CA4094C236 Time : 0.0 sec. user=mdettweiler [2015-08-11 01:52:25] 949*2^1405983-1 is not prime. Res64: 0F5ADD02699FC359 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:05:55] 963*2^1405983-1 is not prime. Res64: BC4405E35D2094D9 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:05:55] 717*2^1405984-1 is not prime. Res64: 5A88FFD586C29E91 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:05:57] 833*2^1405984-1 is not prime. Res64: 89A7222D3A852E5C Time : 0.0 sec. user=mdettweiler [2015-08-11 02:05:58] 849*2^1405984-1 is not prime. Res64: 4D0D9F7DC2AA5EE0 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:06:00] 909*2^1405984-1 is not prime. Res64: 5F48B8A8261E74F6 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:06:00] 959*2^1405984-1 is not prime. Res64: 08213F180EB2BEB3 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:11:39] 669*2^1405985-1 is not prime. Res64: 9DE8A0D94CE20994 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:11:39] 685*2^1405985-1 is not prime. Res64: 7C00CB6B06A4123B Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:43] 691*2^1405985-1 is not prime. Res64: 3EFD5B3DA241B793 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:43] 715*2^1405985-1 is not prime. Res64: F5BD4ABB6BDFF01D Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:45] 705*2^1405986-1 is not prime. Res64: 340C1743EFBC5C57 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:45] 725*2^1405986-1 is not prime. Res64: C5697F717217FB68 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:50] 789*2^1405985-1 is not prime. Res64: 5712BA7B8831B6FF Time : 0.0 sec. user=mdettweiler [2015-08-11 02:23:50] 865*2^1405985-1 is not prime. Res64: A172F559E8F40677 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:29:32] 921*2^1405986-1 is not prime. Res64: AC8539F2A66D6E9E Time : 0.0 sec. user=mdettweiler [2015-08-11 02:29:33] 1001*2^1405986-1 is not prime. Res64: E65A95E41D92AE0E Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:29] 609*2^1405987-1 is not prime. Res64: 4EE60D20B3EC91F9 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:29] 633*2^1405987-1 is not prime. Res64: 8368F62708F12C88 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:29] 663*2^1405987-1 is not prime. Res64: B9303097022C1C2A Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:30] 769*2^1405987-1 is not prime. Res64: 63FAC7A94A30FCA3 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:36] 793*2^1405987-1 is not prime. Res64: 5E1C30DE6E29466F Time : 0.0 sec. user=mdettweiler [2015-08-11 02:41:37] 915*2^1405987-1 is not prime. Res64: D6DBA19090EC844A Time : 0.0 sec. user=mdettweiler [2015-08-11 02:47:27] 925*2^1405987-1 is not prime. Res64: 460C78AA6CC4EC2F Time : 0.0 sec. user=mdettweiler [2015-08-11 02:47:28] 961*2^1405987-1 is not prime. Res64: 7D51B6CF327BFA9A Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:12] 699*2^1405988-1 is not prime. Res64: 5A59C003C475791E Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:12] 749*2^1405988-1 is not prime. Res64: 13911D0A832339E6 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:16] 979*2^1405987-1 is not prime. Res64: 21E4D90542E21879 Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:17] 665*2^1405988-1 is not prime. Res64: 6DF03925D6D2E78C Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:27] 843*2^1405988-1 is not prime. Res64: 031C599C8ABFAFFD Time : 0.0 sec. user=mdettweiler [2015-08-11 02:59:27] 867*2^1405988-1 is not prime. Res64: 7239A2E8EB2EAE64 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:05:12] 923*2^1405988-1 is not prime. Res64: 7B7658371419B517 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:05:13] 945*2^1405988-1 is not prime. Res64: FF1181FE6056855A Time : 0.0 sec. user=mdettweiler [2015-08-11 03:16:56] 999*2^1405988-1 is not prime. Res64: 02D02A9BFB327B8C Time : 0.0 sec. user=mdettweiler [2015-08-11 03:16:57] 609*2^1405989-1 is not prime. Res64: 8C156E8B150778CF Time : 0.0 sec. user=mdettweiler [2015-08-11 03:17:01] 625*2^1405989-1 is not prime. Res64: E479C215DD9DB27E Time : 0.0 sec. user=mdettweiler [2015-08-11 03:17:01] 649*2^1405989-1 is not prime. Res64: 57E6859AB48602BB Time : 0.0 sec. user=mdettweiler [2015-08-11 03:17:09] 921*2^1405989-1 is not prime. Res64: FC5F13938EE80E20 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:17:09] 611*2^1405990-1 is not prime. Res64: BFB61561167D52B6 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:23:21] 677*2^1405990-1 is not prime. Res64: A23229B298ECCE80 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:23:21] 765*2^1405990-1 is not prime. Res64: EFBB0AB86B6EA9DC Time : 0.0 sec. user=mdettweiler [2015-08-11 03:34:41] 951*2^1405990-1 is not prime. Res64: FF59F22C7347ACAF Time : 0.0 sec. user=mdettweiler [2015-08-11 03:34:43] 957*2^1405990-1 is not prime. Res64: 5753A8E2251749DA Time : 0.0 sec. user=mdettweiler [2015-08-11 03:34:51] 873*2^1405990-1 is not prime. Res64: 4B8A1DE953DDCBD9 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:34:52] 933*2^1405990-1 is not prime. Res64: B3ED41AC3219F3EC Time : 0.0 sec. user=mdettweiler [2015-08-11 03:34:59] 981*2^1405990-1 is not prime. Res64: A5DD1813DE28A3C9 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:35:00] 601*2^1405991-1 is not prime. Res64: 5BAC7D12D6ADC52C Time : 0.0 sec. user=mdettweiler [2015-08-11 03:41:18] 673*2^1405991-1 is not prime. Res64: 9CB3AEB944071850 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:41:20] 715*2^1405991-1 is not prime. Res64: C5F46C092027A47E Time : 0.0 sec. user=mdettweiler [2015-08-11 03:52:40] 921*2^1405991-1 is not prime. Res64: 8AC2FFDA61E4A6A7 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:52:40] 635*2^1405992-1 is not prime. Res64: 2BA390D6036B7C81 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:52:50] 753*2^1405991-1 is not prime. Res64: DAC0FB68930E09EA Time : 0.0 sec. user=mdettweiler [2015-08-11 03:52:50] 783*2^1405991-1 is not prime. Res64: 227120FD53AB8BF8 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:52:59] 693*2^1405992-1 is not prime. Res64: 07CAA0822F3DA53F Time : 0.0 sec. user=mdettweiler [2015-08-11 03:53:00] 759*2^1405992-1 is not prime. Res64: 4D2C2D35343072E2 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:59:40] 815*2^1405992-1 is not prime. Res64: 7BF13472E26991A2 Time : 0.0 sec. user=mdettweiler [2015-08-11 03:59:40] 741*2^1405993-1 is not prime. Res64: 4FAC1C5FBC30A740 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:10:39] 741*2^1405994-1 is not prime. Res64: 86907052C2A9A542 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:10:39] 767*2^1405994-1 is not prime. Res64: E501D1359A49F795 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:10:46] 747*2^1405993-1 is not prime. Res64: 0E36DCC8C4C352E6 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:10:47] 615*2^1405994-1 is not prime. Res64: A2099E3396C35E25 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:11:02] 861*2^1405994-1 is not prime. Res64: 1FD7490036DCECA4 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:11:02] 619*2^1405995-1 is not prime. Res64: C21CF13FACC1CFC0 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:17:28] 643*2^1405995-1 is not prime. Res64: 378FB982023AD3D9 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:17:28] 709*2^1405995-1 is not prime. Res64: 03711A8832AAA510 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:18] 781*2^1405995-1 is not prime. Res64: CC83D5D2B090C44B Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:18] 849*2^1405995-1 is not prime. Res64: 5DAEF3B08F7CCF48 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:33] 949*2^1405995-1 is not prime. Res64: 0C50B8050128EC9B Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:33] 963*2^1405995-1 is not prime. Res64: AEC343E482BD21B9 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:43] 663*2^1405996-1 is not prime. Res64: C6C46A929D6B2083 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:28:43] 705*2^1405996-1 is not prime. Res64: C100684FA7FD3B3A Time : 0.0 sec. user=mdettweiler [2015-08-11 04:35:11] 873*2^1405996-1 is not prime. Res64: 3C12D99031A7847D Time : 0.0 sec. user=mdettweiler [2015-08-11 04:35:12] 975*2^1405996-1 is not prime. Res64: 6651E0A0C2907441 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:00] 631*2^1405997-1 is not prime. Res64: 5356BC53DBBE27B0 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:00] 741*2^1405997-1 is not prime. Res64: 6A225E36E14950FB Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:18] 759*2^1405997-1 is not prime. Res64: 9606E0C61C0B2E99 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:18] 777*2^1405997-1 is not prime. Res64: BDFCB9E06A7C4974 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:22] 825*2^1405997-1 is not prime. Res64: CC8FC1B5D2001E98 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:46:22] 829*2^1405997-1 is not prime. Res64: CCBBB974C5FDD210 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:53:00] 931*2^1405997-1 is not prime. Res64: 2559E525BE3732E9 Time : 0.0 sec. user=mdettweiler [2015-08-11 04:53:00] 611*2^1405998-1 is not prime. Res64: 84F2947044771E06 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:03:43] 663*2^1405998-1 is not prime. Res64: 30D0A7BDB361C456 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:03:44] 677*2^1405998-1 is not prime. Res64: A02099604DDB6BDD Time : 0.0 sec. user=mdettweiler [2015-08-11 05:04:09] 725*2^1405998-1 is not prime. Res64: A156CACECEF94024 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:04:09] 825*2^1405998-1 is not prime. Res64: B69767BA897ACE7F Time : 0.0 sec. user=mdettweiler [2015-08-11 05:04:09] 777*2^1405998-1 is not prime. Res64: 12E8973535EC28F0 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:04:10] 915*2^1405998-1 is not prime. Res64: F4EFE10C6AE67589 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:10:57] 927*2^1405998-1 is not prime. Res64: D5E25B46A0495F00 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:10:57] 945*2^1405998-1 is not prime. Res64: 3FDBB9B621D0C0B2 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:44] 957*2^1405998-1 is not prime. Res64: A74F175CCEF10DD8 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:44] 1001*2^1405998-1 is not prime. Res64: BE5F56C114FA9B8A Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:52] 813*2^1405999-1 is not prime. Res64: 37963274027AC649 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:52] 831*2^1405999-1 is not prime. Res64: D36335A0C3F826AC Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:59] 861*2^1405999-1 is not prime. Res64: D856C0B95836C8FE Time : 0.0 sec. user=mdettweiler [2015-08-11 05:21:59] 873*2^1405999-1 is not prime. Res64: 947CD43AD14FC367 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:28:46] 919*2^1405999-1 is not prime. Res64: 709B6F8A0E216594 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:28:47] 931*2^1405999-1 is not prime. Res64: 99E4ED12E18F9BB6 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:32] 629*2^1406000-1 is not prime. Res64: 690E1313DE33E656 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:33] 635*2^1406000-1 is not prime. Res64: 2812956F60E110F9 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:40] 839*2^1406000-1 is not prime. Res64: E959B9C9D007DB2E Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:41] 845*2^1406000-1 is not prime. Res64: FF683820B3EA961C Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:43] 681*2^1406001-1 is not prime. Res64: 5C20C079429A394B Time : 0.0 sec. user=mdettweiler [2015-08-11 05:39:43] 727*2^1406001-1 is not prime. Res64: D54A62124610D81A Time : 0.0 sec. user=mdettweiler [2015-08-11 05:46:26] 735*2^1406001-1 is not prime. Res64: 87F515EC2829570A Time : 0.0 sec. user=mdettweiler [2015-08-11 05:46:27] 811*2^1406001-1 is not prime. Res64: 3B1CE9A12D63A37B Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:22] 817*2^1406001-1 is not prime. Res64: 56165A5FA37F1C79 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:22] 871*2^1406001-1 is not prime. Res64: 37058111542C54E7 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:26] 909*2^1406001-1 is not prime. Res64: EBD7418AAFC06181 Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:26] 979*2^1406001-1 is not prime. Res64: F39FD23C3AF2624F Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:33] 713*2^1406002-1 is not prime. Res64: 7D4F35FDD2BCEE9A Time : 0.0 sec. user=mdettweiler [2015-08-11 05:57:33] 717*2^1406002-1 is not prime. Res64: E5C786CAFC9C4F33 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:04:14] 723*2^1406002-1 is not prime. Res64: CA4AF60C734ED3DF Time : 0.0 sec. user=mdettweiler [2015-08-11 06:04:15] 915*2^1406002-1 is not prime. Res64: 3EE872123A341BB2 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:08] 703*2^1406003-1 is not prime. Res64: AFFB611B4DACBA64 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:08] 741*2^1406003-1 is not prime. Res64: 30715AF60F540347 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:10] 913*2^1406003-1 is not prime. Res64: 6EAA2F0CDC7EE38F Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:10] 675*2^1406004-1 is not prime. Res64: 2E3EC877615E7969 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:28] 737*2^1406004-1 is not prime. Res64: A2796F3E864E8FCE Time : 0.0 sec. user=mdettweiler [2015-08-11 06:15:29] 789*2^1406004-1 is not prime. Res64: 3BD4C929A4D54BF7 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:22:14] 857*2^1406004-1 is not prime. Res64: 7EFF08BAC502BC2E Time : 0.0 sec. user=mdettweiler [2015-08-11 06:22:15] 927*2^1406004-1 is not prime. Res64: 40B867F2793744D3 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:32:50] 805*2^1406005-1 is not prime. Res64: ADBF7A998B9B6802 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:32:51] 859*2^1406005-1 is not prime. Res64: 37C119F90A876FC4 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:32:56] 727*2^1406005-1 is not prime. Res64: C6CDC800D95321F1 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:32:56] 757*2^1406005-1 is not prime. Res64: B27BB24E88E118C3 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:33:09] 951*2^1406005-1 is not prime. Res64: 9B4E8F9112170FA3 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:33:10] 627*2^1406006-1 is not prime. Res64: AAA6CFD5951A216F Time : 0.0 sec. user=mdettweiler [2015-08-11 06:40:19] 641*2^1406006-1 is not prime. Res64: 63B76251649C4512 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:40:20] 657*2^1406006-1 is not prime. Res64: BCD16928BA66E9A1 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:38] 761*2^1406006-1 is not prime. Res64: 757831C3A3BE19C5 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:38] 825*2^1406006-1 is not prime. Res64: 4E687CC7EFE39363 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:41] 705*2^1406006-1 is not prime. Res64: E87380A5D2236FAE Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:41] 713*2^1406006-1 is not prime. Res64: 68770F217877A73D Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:55] 827*2^1406006-1 is not prime. Res64: E291D904E840B604 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:50:55] 873*2^1406006-1 is not prime. Res64: 4135FB1FC6C8632A Time : 0.0 sec. user=mdettweiler [2015-08-11 06:58:04] 897*2^1406006-1 is not prime. Res64: F4DB443514D08798 Time : 0.0 sec. user=mdettweiler [2015-08-11 06:58:04] 953*2^1406006-1 is not prime. Res64: B204846CDCC68694 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:20] 643*2^1406007-1 is not prime. Res64: 041C45F9F438DB2C Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:20] 781*2^1406007-1 is not prime. Res64: BCA56CA1AB03BDE9 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:28] 819*2^1406007-1 is not prime. Res64: FDEDDA6988D68560 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:28] 829*2^1406007-1 is not prime. Res64: C6173F738DD6F448 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:52] 891*2^1406007-1 is not prime. Res64: A7F4855D1279C3A3 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:08:52] 931*2^1406007-1 is not prime. Res64: D462F18035F5DD1F Time : 0.0 sec. user=mdettweiler [2015-08-11 07:16:04] 951*2^1406007-1 is not prime. Res64: 90830BFDCD9D4531 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:16:05] 755*2^1406008-1 is not prime. Res64: F239DF87CD4BA4EE Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:00] 869*2^1406008-1 is not prime. Res64: 38B9AC9323437A85 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:01] 975*2^1406008-1 is not prime. Res64: F627E6CE13C0DD04 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:18] 657*2^1406009-1 is not prime. Res64: E05EEA9245A8CF45 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:18] 727*2^1406009-1 is not prime. Res64: 88D05A07575A5900 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:30] 925*2^1406009-1 is not prime. Res64: 1C28228B4A3E035E Time : 0.0 sec. user=mdettweiler [2015-08-11 07:26:30] 939*2^1406009-1 is not prime. Res64: 75FFF13B74F0D6C8 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:33:44] 951*2^1406009-1 is not prime. Res64: C1712D7182024D37 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:33:44] 987*2^1406009-1 is not prime. Res64: 9E1827A6FF894C98 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:43:46] 707*2^1406010-1 is not prime. Res64: 039E9DD78FEEA1A1 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:43:46] 711*2^1406010-1 is not prime. Res64: E9A721B9A2181492 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:43:58] 717*2^1406010-1 is not prime. Res64: EA9884ADA94D05C6 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:43:58] 845*2^1406010-1 is not prime. Res64: F8FC22EA47BFA0FC Time : 0.0 sec. user=mdettweiler [2015-08-11 07:44:15] 861*2^1406010-1 is not prime. Res64: 0048244DD5A11ECF Time : 0.0 sec. user=mdettweiler [2015-08-11 07:44:15] 917*2^1406010-1 is not prime. Res64: 8A7418B104B34C5F Time : 0.0 sec. user=mdettweiler [2015-08-11 07:51:30] 963*2^1406010-1 is not prime. Res64: F7220A6437802713 Time : 0.0 sec. user=mdettweiler [2015-08-11 07:51:30] 631*2^1406011-1 is not prime. Res64: 5E38446B0389D343 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:01:39] 859*2^1406011-1 is not prime. Res64: 092C352B8299B7D1 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:01:40] 861*2^1406011-1 is not prime. Res64: 2855699D1193874F Time : 0.0 sec. user=mdettweiler [2015-08-11 08:01:42] 723*2^1406011-1 is not prime. Res64: 6C13D59A60B49DB3 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:01:44] 855*2^1406011-1 is not prime. Res64: 2A300A736AF13151 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:02:03] 885*2^1406011-1 is not prime. Res64: 0AC437877137B0BE Time : 0.0 sec. user=mdettweiler [2015-08-11 08:02:04] 951*2^1406011-1 is not prime. Res64: 72CDE705F7555982 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:09:20] 603*2^1406012-1 is not prime. Res64: FB3B193F882D5666 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:09:21] 609*2^1406012-1 is not prime. Res64: 2A2681AEBB03BE71 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:19:54] 629*2^1406012-1 is not prime. Res64: E43BC499F57FB610 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:19:54] 935*2^1406012-1 is not prime. Res64: 1897B102C94115B9 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:19:55] 957*2^1406012-1 is not prime. Res64: 01D18FC6D2850198 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:19:55] 635*2^1406012-1 is not prime. Res64: B550BBDD505D9B28 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:20:09] 687*2^1406012-1 is not prime. Res64: E4E324C7025C44C6 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:20:09] 899*2^1406012-1 is not prime. Res64: 6063AEC43AFE0FC1 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:27:09] 735*2^1406013-1 is not prime. Res64: A7423ECA87CEA2F1 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:27:10] 889*2^1406013-1 is not prime. Res64: 552DA39EB5A66602 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:35] 921*2^1406013-1 is not prime. Res64: 22A2B0B000FA7FD7 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:36] 927*2^1406013-1 is not prime. Res64: B1B8DD35452A750F Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:42] 949*2^1406013-1 is not prime. Res64: 6DE8E4732CBE2F6C Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:42] 671*2^1406014-1 is not prime. Res64: 06BA8F0DD683502D Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:54] 825*2^1406014-1 is not prime. Res64: 01A0AF49710BEACB Time : 0.0 sec. user=mdettweiler [2015-08-11 08:37:54] 971*2^1406014-1 is not prime. Res64: 9770276993362DA4 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:45:03] 651*2^1406015-1 is not prime. Res64: 177CB821038BF24C Time : 0.0 sec. user=mdettweiler [2015-08-11 08:45:04] 679*2^1406015-1 is not prime. Res64: 19832263349D67F4 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:15] 859*2^1406015-1 is not prime. Res64: 92ED7B793C91C9D1 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:15] 865*2^1406015-1 is not prime. Res64: A10382449E54B550 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:26] 885*2^1406015-1 is not prime. Res64: FF1F95D162E56BDB Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:27] 623*2^1406016-1 is not prime. Res64: DEF68CDFA83DEC11 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:37] 629*2^1406016-1 is not prime. Res64: 721669CCE47A9A00 Time : 0.0 sec. user=mdettweiler [2015-08-11 08:55:37] 767*2^1406016-1 is not prime. Res64: 68097880DECB7756 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:02:51] 945*2^1406016-1 is not prime. Res64: 6AE8C5CC423F1EC8 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:02:52] 667*2^1406017-1 is not prime. Res64: 24CAD8CF0B3BE92C Time : 0.0 sec. user=mdettweiler [2015-08-11 09:12:58] 729*2^1406017-1 is not prime. Res64: 2BDC75E091B66A4D Time : 0.0 sec. user=mdettweiler [2015-08-11 09:12:58] 765*2^1406017-1 is not prime. Res64: 190EF15B5C190D56 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:13:13] 847*2^1406017-1 is not prime. Res64: 73F45D0569FD2F2B Time : 0.0 sec. user=mdettweiler [2015-08-11 09:13:14] 861*2^1406017-1 is not prime. Res64: 8440FAE05405AD0F Time : 0.0 sec. user=mdettweiler [2015-08-11 09:13:19] 867*2^1406017-1 is not prime. Res64: D060C7626A7ADE03 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:13:20] 605*2^1406018-1 is not prime. Res64: 5BBBB7634E17BF7F Time : 0.0 sec. user=mdettweiler [2015-08-11 09:20:38] 755*2^1406018-1 is not prime. Res64: 398F7FC6D19B540D Time : 0.0 sec. user=mdettweiler [2015-08-11 09:20:39] 773*2^1406018-1 is not prime. Res64: D64164E6FF559EC8 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:30:45] 857*2^1406018-1 is not prime. Res64: 30B936BAA32B9D91 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:30:45] 921*2^1406018-1 is not prime. Res64: 6D615D86B183A027 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:30:59] 923*2^1406018-1 is not prime. Res64: 9452B72FBD7F42B0 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:31:00] 609*2^1406019-1 is not prime. Res64: 8480A4769D771D91 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:31:07] 621*2^1406019-1 is not prime. Res64: 30F531097A9016AC Time : 0.0 sec. user=mdettweiler [2015-08-11 09:31:07] 633*2^1406019-1 is not prime. Res64: 651CEDE5083D9803 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:38:35] 691*2^1406019-1 is not prime. Res64: EA177A67BB2741F0 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:38:35] 735*2^1406019-1 is not prime. Res64: B321AEB1E8D9741F Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:28] 885*2^1406019-1 is not prime. Res64: C6B0A88ACFE5835A Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:28] 955*2^1406019-1 is not prime. Res64: EFC5A891387F23F0 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:41] 635*2^1406020-1 is not prime. Res64: B44A957A58978E09 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:41] 687*2^1406020-1 is not prime. Res64: 4267812EE6F49FEF Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:51] 717*2^1406020-1 is not prime. Res64: FD7D282D6ACCB4F4 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:48:51] 827*2^1406020-1 is not prime. Res64: D0D3AA64B3D79FF7 Time : 0.0 sec. user=mdettweiler [2015-08-11 09:56:27] 855*2^1406020-1 is not prime. Res64: D5DF1C4648330EDC Time : 0.0 sec. user=mdettweiler [2015-08-11 09:56:28] 873*2^1406020-1 is not prime. Res64: 2EA16BA2372E9DB5 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:09] 909*2^1406020-1 is not prime. Res64: E63A69BFD6D9C937 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:11] 657*2^1406021-1 is not prime. Res64: D70C44406BE6DCE3 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:31] 837*2^1406021-1 is not prime. Res64: 6292FC9C9BCE0F4C Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:31] 861*2^1406021-1 is not prime. Res64: F50DDB9A623C6EFB Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:34] 889*2^1406021-1 is not prime. Res64: C40156D1532F3DDA Time : 0.0 sec. user=mdettweiler [2015-08-11 10:06:36] 945*2^1406021-1 is not prime. Res64: 54DF6A33AAA81D12 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:14:25] 621*2^1406022-1 is not prime. Res64: B88EC6B3A80C2877 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:14:25] 651*2^1406022-1 is not prime. Res64: C876B1C81196D59B Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:14] 693*2^1406022-1 is not prime. Res64: 1DD0F125EC68BE93 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:14] 711*2^1406022-1 is not prime. Res64: 158B6732CD24E183 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:32] 713*2^1406022-1 is not prime. Res64: 7D61473BF00A95BE Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:32] 801*2^1406022-1 is not prime. Res64: C4636596609DBCDA Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:37] 807*2^1406022-1 is not prime. Res64: 6366B6E9D33265A7 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:24:38] 833*2^1406022-1 is not prime. Res64: F25EF266B7BC438E Time : 0.0 sec. user=mdettweiler [2015-08-11 10:32:45] 843*2^1406022-1 is not prime. Res64: 67B5BA71AD1377F7 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:32:46] 887*2^1406022-1 is not prime. Res64: 30C1766B0A2AA4E7 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:16] 945*2^1406022-1 is not prime. Res64: 14DF5E2503E606A0 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:16] 947*2^1406022-1 is not prime. Res64: C5FE49936D048E4A Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:43] 723*2^1406023-1 is not prime. Res64: C8364A82E73C9158 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:43] 805*2^1406023-1 is not prime. Res64: F136743C863B80B4 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:47] 829*2^1406023-1 is not prime. Res64: E0588E0DE77C8956 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:42:47] 915*2^1406023-1 is not prime. Res64: F5E842D74817685D Time : 0.0 sec. user=mdettweiler [2015-08-11 10:51:19] 725*2^1406024-1 is not prime. Res64: B0D7F3D9D178A3C0 Time : 0.0 sec. user=mdettweiler [2015-08-11 10:51:19] 825*2^1406024-1 is not prime. Res64: 676184260E3A645E Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:16] 837*2^1406024-1 is not prime. Res64: 282B045F6EC7A765 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:18] 893*2^1406024-1 is not prime. Res64: 21060D8C2B8DE19D Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:31] 899*2^1406024-1 is not prime. Res64: 42FA4F18CC6A98D7 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:32] 781*2^1406025-1 is not prime. Res64: 1F3EE4DB9F377FB0 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:39] 805*2^1406025-1 is not prime. Res64: BB7D23C7142596C1 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:01:40] 921*2^1406025-1 is not prime. Res64: 0E805B022910D81F Time : 0.0 sec. user=mdettweiler [2015-08-11 11:09:51] 997*2^1406025-1 is not prime. Res64: E22F2D3D81F64C14 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:09:52] 675*2^1406026-1 is not prime. Res64: 278B94BD38E3B728 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:19] 911*2^1406026-1 is not prime. Res64: CCEFA7D57D740FB6 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:19] 621*2^1406027-1 is not prime. Res64: 8FAD54C79E860AEA Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:19] 881*2^1406026-1 is not prime. Res64: 1E204ED38156F864 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:20] 903*2^1406026-1 is not prime. Res64: CB45457BAD23A6F4 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:34] 741*2^1406026-1 is not prime. Res64: 706D0CF429E56984 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:21:34] 773*2^1406026-1 is not prime. Res64: B6C4B91506B3F7AF Time : 0.0 sec. user=mdettweiler [2015-08-11 11:29:41] 631*2^1406027-1 is not prime. Res64: DD57BEFD7FAEE827 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:29:41] 651*2^1406027-1 is not prime. Res64: A2400AC8D692AECE Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:21] 693*2^1406027-1 is not prime. Res64: 94A73FB977D07105 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:21] 705*2^1406027-1 is not prime. Res64: 79028783373A2284 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:24] 813*2^1406027-1 is not prime. Res64: 71CB3A3AC6C49312 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:25] 663*2^1406028-1 is not prime. Res64: C9C8EBFCCFD5FCE9 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:42] 789*2^1406028-1 is not prime. Res64: CF523BDAE2E450B6 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:39:42] 839*2^1406028-1 is not prime. Res64: 22F562B48F00584D Time : 0.0 sec. user=mdettweiler [2015-08-11 11:47:32] 977*2^1406028-1 is not prime. Res64: 1EC30ADEBF92AE7A Time : 0.0 sec. user=mdettweiler [2015-08-11 11:47:32] 699*2^1406029-1 is not prime. Res64: D7F89961C7C94582 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:09] 789*2^1406029-1 is not prime. Res64: EE48109068E8A834 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:09] 897*2^1406029-1 is not prime. Res64: 4B33F818280A0157 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:13] 931*2^1406029-1 is not prime. Res64: 79F0735BAAF731B5 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:14] 951*2^1406029-1 is not prime. Res64: D70487905EF06BDB Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:26] 627*2^1406030-1 is not prime. Res64: 16441075A74DFF26 Time : 0.0 sec. user=mdettweiler [2015-08-11 11:57:26] 741*2^1406030-1 is not prime. Res64: D049BB2086C9E4CF Time : 0.0 sec. user=mdettweiler [2015-08-11 12:05:32] 791*2^1406030-1 is not prime. Res64: 126C049634C3C53F Time : 0.0 sec. user=mdettweiler [2015-08-11 12:05:33] 851*2^1406030-1 is not prime. Res64: 0F8D2688A00C5E09 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:11] 867*2^1406030-1 is not prime. Res64: D15D2C380C254F7C Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:12] 661*2^1406031-1 is not prime. Res64: A72CB5AE517D2D39 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:12] 823*2^1406031-1 is not prime. Res64: 5BDADB2B982A9B21 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:12] 873*2^1406031-1 is not prime. Res64: 5A7A74AB956E3510 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:31] 713*2^1406032-1 is not prime. Res64: 1E2DA468C3BE12A8 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:15:31] 743*2^1406032-1 is not prime. Res64: FA25C6734A719EBE Time : 0.0 sec. user=mdettweiler [2015-08-11 12:23:45] 755*2^1406032-1 is not prime. Res64: 0E8F9569C01A31DB Time : 0.0 sec. user=mdettweiler [2015-08-11 12:23:45] 785*2^1406032-1 is not prime. Res64: 142D0BB722795A49 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:32:54] 843*2^1406032-1 is not prime. Res64: 5659DB5A60A534CD Time : 0.0 sec. user=mdettweiler [2015-08-11 12:32:55] 887*2^1406032-1 is not prime. Res64: AB5A08594B0AF68A Time : 0.0 sec. user=mdettweiler [2015-08-11 12:33:00] 939*2^1406032-1 is not prime. Res64: D8B6C76E588F7413 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:33:01] 965*2^1406032-1 is not prime. Res64: 62A5DA43F994486A Time : 0.0 sec. user=mdettweiler [2015-08-11 12:33:21] 741*2^1406033-1 is not prime. Res64: 0BA43EF2540D140E Time : 0.0 sec. user=mdettweiler [2015-08-11 12:33:21] 885*2^1406033-1 is not prime. Res64: B8D91AC5581CC2EA Time : 0.0 sec. user=mdettweiler [2015-08-11 12:41:42] 611*2^1406034-1 is not prime. Res64: 462CE6014CF0C635 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:41:42] 621*2^1406034-1 is not prime. Res64: 5E1D01F8E67E0190 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:50:49] 657*2^1406034-1 is not prime. Res64: 43F02A37ADAE85B8 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:50:49] 717*2^1406034-1 is not prime. Res64: 50CE371818446D45 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:50:55] 633*2^1406035-1 is not prime. Res64: EBD2CC4C74CD3028 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:50:55] 759*2^1406035-1 is not prime. Res64: B9CD3993EEDB528F Time : 0.0 sec. user=mdettweiler [2015-08-11 12:51:13] 859*2^1406035-1 is not prime. Res64: 5537BE70892B33C4 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:51:13] 883*2^1406035-1 is not prime. Res64: 8A4DA20C18CED4F2 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:59:33] 617*2^1406036-1 is not prime. Res64: 23593D272BAD4914 Time : 0.0 sec. user=mdettweiler [2015-08-11 12:59:34] 629*2^1406036-1 is not prime. Res64: 0715EDC18D9B3CAB Time : 0.0 sec. user=mdettweiler [2015-08-11 13:08:38] 825*2^1406036-1 is not prime. Res64: 014A1748EB72AB25 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:08:38] 681*2^1406037-1 is not prime. Res64: EAFCBDA29CD00A9C Time : 0.0 sec. user=mdettweiler [2015-08-11 13:08:45] 711*2^1406037-1 is not prime. Res64: A879C53CF871635F Time : 0.0 sec. user=mdettweiler [2015-08-11 13:08:45] 717*2^1406037-1 is not prime. Res64: C70CCA662CEFBBD8 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:09:09] 747*2^1406037-1 is not prime. Res64: 29973B1724BF0596 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:09:09] 765*2^1406037-1 is not prime. Res64: FC11F9E709845788 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:17:25] 769*2^1406037-1 is not prime. Res64: 3A79B046E4FD7DF0 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:17:26] 795*2^1406037-1 is not prime. Res64: 92BE78F69769F4E9 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:31] 895*2^1406037-1 is not prime. Res64: 6D5B8D064859CAE3 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:31] 611*2^1406038-1 is not prime. Res64: F783212E6B0E5B14 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:34] 621*2^1406038-1 is not prime. Res64: A9A32E99D989EF91 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:34] 687*2^1406038-1 is not prime. Res64: 76E8E8678AB18BAE Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:53] 743*2^1406038-1 is not prime. Res64: A604726D625993B3 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:26:54] 761*2^1406038-1 is not prime. Res64: A0BF3A9D36323269 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:35:52] 765*2^1406038-1 is not prime. Res64: C7205FFA1F47771F Time : 0.0 sec. user=mdettweiler [2015-08-11 13:35:52] 831*2^1406038-1 is not prime. Res64: CE96CD878A5A72D6 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:19] 843*2^1406038-1 is not prime. Res64: 9111D15CED99D799 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:19] 857*2^1406038-1 is not prime. Res64: 07883F2231DF1CAC Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:25] 863*2^1406038-1 is not prime. Res64: 2581D38FA749D998 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:25] 891*2^1406038-1 is not prime. Res64: 4EC6C858457931F6 Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:51] 941*2^1406038-1 is not prime. Res64: 97C8D3BB99D6AA4F Time : 0.0 sec. user=mdettweiler [2015-08-11 13:45:51] 945*2^1406038-1 is not prime. Res64: DAF34E066E4F120F Time : 0.0 sec. user=mdettweiler [2015-08-11 13:54:04] 663*2^1406039-1 is not prime. Res64: C36F8B71A3B6845D Time : 0.0 sec. user=mdettweiler [2015-08-11 13:54:05] 669*2^1406039-1 is not prime. Res64: A2B7DB0071E0821E Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:16] 913*2^1406039-1 is not prime. Res64: 9B8E0B1B3A3073D6 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:17] 921*2^1406039-1 is not prime. Res64: BA942F4AF1C5D742 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:26] 999*2^1406039-1 is not prime. Res64: 9DD8A850B6349FF4 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:26] 713*2^1406040-1 is not prime. Res64: 53E9E0D73D9D2D1A Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:47] 719*2^1406040-1 is not prime. Res64: 4E0CBC211801D6BE Time : 0.0 sec. user=mdettweiler [2015-08-11 14:03:48] 819*2^1406040-1 is not prime. Res64: 2BB3D8EC8D973843 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:12:23] 607*2^1406041-1 is not prime. Res64: EBAD038975767189 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:12:23] 619*2^1406041-1 is not prime. Res64: B3F49EF56E78BD3C Time : 0.0 sec. user=mdettweiler [2015-08-11 14:21:37] 675*2^1406042-1 is not prime. Res64: 4112E34DE5B14AD4 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:21:38] 767*2^1406042-1 is not prime. Res64: EEB63144D93F441B Time : 0.0 sec. user=mdettweiler [2015-08-11 14:21:48] 747*2^1406041-1 is not prime. Res64: 85ADD2E11A13BFEC Time : 0.0 sec. user=mdettweiler [2015-08-11 14:21:48] 999*2^1406041-1 is not prime. Res64: B40798FE5B878971 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:22:04] 801*2^1406042-1 is not prime. Res64: A140FD8C718C1734 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:22:04] 831*2^1406042-1 is not prime. Res64: E22E64E0C85F605C Time : 0.0 sec. user=mdettweiler [2015-08-11 14:30:15] 843*2^1406042-1 is not prime. Res64: 112B55956F720C2C Time : 0.0 sec. user=mdettweiler [2015-08-11 14:30:15] 903*2^1406042-1 is not prime. Res64: D4949047E5B8B65B Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:17] 945*2^1406042-1 is not prime. Res64: 91D189D0D25C6360 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:17] 613*2^1406043-1 is not prime. Res64: 49C08E2E85DB54AB Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:30] 649*2^1406043-1 is not prime. Res64: 648EAD1B5C3CB159 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:30] 669*2^1406043-1 is not prime. Res64: 907B838294949483 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:47] 739*2^1406043-1 is not prime. Res64: 8617D53D8E3AC11A Time : 0.0 sec. user=mdettweiler [2015-08-11 14:39:48] 775*2^1406043-1 is not prime. Res64: E0ECEEE9EAB8AD4B Time : 0.0 sec. user=mdettweiler [2015-08-11 14:47:58] 801*2^1406043-1 is not prime. Res64: A87934AD5B76913F Time : 0.0 sec. user=mdettweiler [2015-08-11 14:47:58] 853*2^1406043-1 is not prime. Res64: 0368F38F42E70253 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:56:59] 961*2^1406043-1 is not prime. Res64: 990B005295ADC529 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:56:59] 991*2^1406043-1 is not prime. Res64: 961AC1072A5CB050 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:57:20] 677*2^1406044-1 is not prime. Res64: 86153E1AF8A403CC Time : 0.0 sec. user=mdettweiler [2015-08-11 14:57:20] 869*2^1406044-1 is not prime. Res64: F50E24B17ED38360 Time : 0.0 sec. user=mdettweiler [2015-08-11 14:57:33] 929*2^1406044-1 is not prime. Res64: 354FC632323A1E1F Time : 0.0 sec. user=mdettweiler [2015-08-11 14:57:33] 953*2^1406044-1 is not prime. Res64: F9E491555A8B2B4D Time : 0.0 sec. user=mdettweiler [2015-08-11 15:05:50] 975*2^1406044-1 is not prime. Res64: 04416AD301AB2B51 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:05:51] 607*2^1406045-1 is not prime. Res64: 5F941CC4B9956989 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:14:44] 651*2^1406045-1 is not prime. Res64: 9679FADD9AFC42FF Time : 0.0 sec. user=mdettweiler [2015-08-11 15:14:45] 939*2^1406045-1 is not prime. Res64: 59DB9FC3AD33BA16 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:15:05] 985*2^1406045-1 is not prime. Res64: DA8825154F89B537 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:15:05] 627*2^1406046-1 is not prime. Res64: 20F62067CEA26029 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:15:20] 723*2^1406046-1 is not prime. Res64: CCCA4753B9534FF4 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:15:20] 741*2^1406046-1 is not prime. Res64: 7A2C70D84302319A Time : 0.0 sec. user=mdettweiler [2015-08-11 15:23:51] 807*2^1406046-1 is not prime. Res64: D24D4BE61B2837A2 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:23:51] 833*2^1406046-1 is not prime. Res64: 2C3B1C7688AD90CD Time : 0.0 sec. user=mdettweiler [2015-08-11 15:32:25] 851*2^1406046-1 is not prime. Res64: D873B45243CFC45F Time : 0.0 sec. user=mdettweiler [2015-08-11 15:32:25] 673*2^1406047-1 is not prime. Res64: F24B8D9EA5612EDF Time : 0.0 sec. user=mdettweiler [2015-08-11 15:32:52] 805*2^1406047-1 is not prime. Res64: B05065BFB0727DEA Time : 0.0 sec. user=mdettweiler [2015-08-11 15:32:52] 913*2^1406047-1 is not prime. Res64: A526DFEAAACFCDA3 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:33:08] 931*2^1406047-1 is not prime. Res64: 4EECD7CF2D056B62 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:33:08] 623*2^1406048-1 is not prime. Res64: 0D5524AA23E8DB9F Time : 0.0 sec. user=mdettweiler [2015-08-11 15:41:39] 635*2^1406048-1 is not prime. Res64: 7E957D8E24AE3AC5 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:41:39] 815*2^1406048-1 is not prime. Res64: C9A42745E1D25FEA Time : 0.0 sec. user=mdettweiler [2015-08-11 15:50:14] 879*2^1406048-1 is not prime. Res64: A6005463D8535542 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:50:15] 999*2^1406048-1 is not prime. Res64: C41BF882600F540E Time : 0.0 sec. user=mdettweiler [2015-08-11 15:50:40] 615*2^1406049-1 is not prime. Res64: DB8F911FB17F7952 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:50:40] 709*2^1406049-1 is not prime. Res64: 6CDFF56D40C7AE26 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:50:59] 751*2^1406049-1 is not prime. Res64: 98894BCE511CB8CC Time : 0.0 sec. user=mdettweiler [2015-08-11 15:51:00] 807*2^1406049-1 is not prime. Res64: CA56A141125BAF96 Time : 0.0 sec. user=mdettweiler [2015-08-11 15:59:41] 835*2^1406049-1 is not prime. Res64: 9DFAB2CDAA9A912E Time : 0.0 sec. user=mdettweiler [2015-08-11 15:59:41] 969*2^1406049-1 is not prime. Res64: 08BD99CA78C4315A Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:07] 603*2^1406050-1 is not prime. Res64: 2BFC6CBD2DFF15D1 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:08] 651*2^1406050-1 is not prime. Res64: 6055A078D13F25DF Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:26] 657*2^1406050-1 is not prime. Res64: 7C960600B0D3B231 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:26] 665*2^1406050-1 is not prime. Res64: BD572D75E181D6AA Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:52] 687*2^1406050-1 is not prime. Res64: EFD5EDD033E74E80 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:08:52] 695*2^1406050-1 is not prime. Res64: B6E93F125AB442B4 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:17:30] 741*2^1406050-1 is not prime. Res64: 6248DFAB013A6DCA Time : 0.0 sec. user=mdettweiler [2015-08-11 16:17:30] 777*2^1406050-1 is not prime. Res64: 52C16CAB8304016A Time : 0.0 sec. user=mdettweiler [2015-08-11 16:25:50] 857*2^1406050-1 is not prime. Res64: 5AFEB6D78A5E9319 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:25:51] 867*2^1406050-1 is not prime. Res64: 38E3385015DEBABE Time : 0.0 sec. user=mdettweiler [2015-08-11 16:26:12] 975*2^1406050-1 is not prime. Res64: 06BA077CD5E9F674 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:26:12] 615*2^1406051-1 is not prime. Res64: 377025055E8BC00A Time : 0.0 sec. user=mdettweiler [2015-08-11 16:26:40] 669*2^1406051-1 is not prime. Res64: DFB97149BDC2432C Time : 0.0 sec. user=mdettweiler [2015-08-11 16:26:40] 703*2^1406051-1 is not prime. Res64: EE4EEC1AF319680D Time : 0.0 sec. user=mdettweiler [2015-08-11 16:35:12] 735*2^1406051-1 is not prime. Res64: 23E237B156CA3B32 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:35:13] 775*2^1406051-1 is not prime. Res64: B4604658A0DD129C Time : 0.0 sec. user=mdettweiler [2015-08-11 16:43:32] 943*2^1406051-1 is not prime. Res64: D3C3E11B183078D6 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:43:32] 675*2^1406052-1 is not prime. Res64: BDBD62AC775323B0 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:43:55] 683*2^1406052-1 is not prime. Res64: 77504D9669C1BD52 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:43:55] 749*2^1406052-1 is not prime. Res64: E8216D6C3AA2028F Time : 0.0 sec. user=mdettweiler [2015-08-11 16:44:36] 767*2^1406052-1 is not prime. Res64: C436B23E497F8730 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:44:37] 923*2^1406052-1 is not prime. Res64: 5DFDB27DA9FC92E0 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:52:59] 957*2^1406052-1 is not prime. Res64: 75DA50478B053DF3 Time : 0.0 sec. user=mdettweiler [2015-08-11 16:53:00] 817*2^1406053-1 is not prime. Res64: E86F1DC57735DC65 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:01:19] 835*2^1406053-1 is not prime. Res64: 4239AA1656FE08BC Time : 0.0 sec. user=mdettweiler [2015-08-11 17:01:20] 889*2^1406053-1 is not prime. Res64: D449CA78316B0DE8 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:01:43] 939*2^1406053-1 is not prime. Res64: A7B2D6EDA6844C65 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:01:43] 645*2^1406054-1 is not prime. Res64: C67ACD4F5FFB575E Time : 0.0 sec. user=mdettweiler [2015-08-11 17:02:25] 693*2^1406054-1 is not prime. Res64: 9C80E631BA97FBAA Time : 0.0 sec. user=mdettweiler [2015-08-11 17:02:26] 705*2^1406054-1 is not prime. Res64: 4EC724FB4EC07990 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:10:41] 707*2^1406054-1 is not prime. Res64: FEC8CB58F426CB93 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:10:41] 747*2^1406054-1 is not prime. Res64: 3463988344BEA6B7 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:19:13] 773*2^1406054-1 is not prime. Res64: 404A105F5344DADB Time : 0.0 sec. user=mdettweiler [2015-08-11 17:19:14] 887*2^1406054-1 is not prime. Res64: 80E3922D4748F2BE Time : 0.0 sec. user=mdettweiler [2015-08-11 17:19:28] 915*2^1406054-1 is not prime. Res64: 342891BD7979F73B Time : 0.0 sec. user=mdettweiler [2015-08-11 17:19:29] 951*2^1406054-1 is not prime. Res64: 005369604D1CDC6C Time : 0.0 sec. user=mdettweiler [2015-08-11 17:20:13] 981*2^1406054-1 is not prime. Res64: A710B933B7165141 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:20:14] 625*2^1406055-1 is not prime. Res64: BE56C4A52F594B23 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:28:33] 795*2^1406055-1 is not prime. Res64: BA34EF930EC34D20 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:28:33] 861*2^1406055-1 is not prime. Res64: B26BCE8F94FFE883 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:00] 873*2^1406055-1 is not prime. Res64: 3FF3E1C87908A71D Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:01] 921*2^1406055-1 is not prime. Res64: D3A183F660CFFA2D Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:15] 961*2^1406055-1 is not prime. Res64: 5F5C99D683E56FAA Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:15] 963*2^1406055-1 is not prime. Res64: 9C9BEBC443C97294 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:55] 723*2^1406056-1 is not prime. Res64: 42A33EB0C7EE0C79 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:37:55] 825*2^1406056-1 is not prime. Res64: 17AC2EFF42E4E767 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:46:16] 897*2^1406056-1 is not prime. Res64: 854FA07123F966A3 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:46:16] 631*2^1406057-1 is not prime. Res64: FCD702A1564BC4AE Time : 0.0 sec. user=mdettweiler [2015-08-11 17:54:42] 717*2^1406057-1 is not prime. Res64: 780746C531304E1E Time : 0.0 sec. user=mdettweiler [2015-08-11 17:54:42] 729*2^1406057-1 is not prime. Res64: 160323E7E37D697D Time : 0.0 sec. user=mdettweiler [2015-08-11 17:55:03] 735*2^1406057-1 is not prime. Res64: E96B878FA4B00FB2 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:55:04] 641*2^1406058-1 is not prime. Res64: 4F40CC0AA633C225 Time : 0.0 sec. user=mdettweiler [2015-08-11 17:55:41] 663*2^1406058-1 is not prime. Res64: 9048AE1C28296FCD Time : 0.0 sec. user=mdettweiler [2015-08-11 17:55:41] 927*2^1406058-1 is not prime. Res64: 18C8CEEE4BD5EAF8 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:04:00] 961*2^1406059-1 is not prime. Res64: CF23478B1C4CCA5C Time : 0.0 sec. user=mdettweiler [2015-08-11 18:04:01] 609*2^1406060-1 is not prime. Res64: 387B80D97FE71353 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:12:30] 665*2^1406060-1 is not prime. Res64: 1A1473E0A84604C6 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:12:30] 827*2^1406060-1 is not prime. Res64: 92D120D675BA48D7 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:12:46] 843*2^1406060-1 is not prime. Res64: 2C31C7DBB19A86F6 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:12:47] 855*2^1406060-1 is not prime. Res64: 9C952ABDF2E21F35 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:13:35] 897*2^1406060-1 is not prime. Res64: B0D7C204B8C112BF Time : 0.0 sec. user=mdettweiler [2015-08-11 18:13:35] 987*2^1406060-1 is not prime. Res64: A0AB299A8C34925B Time : 0.0 sec. user=mdettweiler [2015-08-11 18:21:47] 679*2^1406061-1 is not prime. Res64: F3BD48FE2ADAFE82 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:21:48] 885*2^1406061-1 is not prime. Res64: 0925B3A429C0AD88 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:30:17] 901*2^1406061-1 is not prime. Res64: A03BC97DA6F31AE5 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:30:17] 945*2^1406061-1 is not prime. Res64: D37B5301A4D2EBE4 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:30:32] 651*2^1406062-1 is not prime. Res64: 4B645731C04995CE Time : 0.0 sec. user=mdettweiler [2015-08-11 18:30:33] 675*2^1406062-1 is not prime. Res64: 16CBF632985A6571 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:31:23] 815*2^1406062-1 is not prime. Res64: 96550BE148F3D8F8 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:31:24] 843*2^1406062-1 is not prime. Res64: FB831ED0114988E0 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:39:32] 915*2^1406062-1 is not prime. Res64: B0376C3CFC5E325E Time : 0.0 sec. user=mdettweiler [2015-08-11 18:39:33] 941*2^1406062-1 is not prime. Res64: 7232A2859F73A209 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:48:07] 663*2^1406063-1 is not prime. Res64: 27FB082D672051F6 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:48:08] 629*2^1406064-1 is not prime. Res64: 0F17DBC7A7C7D627 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:48:12] 899*2^1406064-1 is not prime. Res64: 859AFDD03BA176C6 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:48:13] 945*2^1406064-1 is not prime. Res64: 65694D5D5F4B8C74 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:49:08] 721*2^1406065-1 is not prime. Res64: 4D16BE00818E0BD8 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:49:08] 727*2^1406065-1 is not prime. Res64: 4BBD0FA217F94BD4 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:57:18] 777*2^1406065-1 is not prime. Res64: 52105EE8725829B4 Time : 0.0 sec. user=mdettweiler [2015-08-11 18:57:19] 603*2^1406066-1 is not prime. Res64: E4ACD7CBFFBE3CED Time : 0.0 sec. user=mdettweiler [2015-08-11 19:05:58] 701*2^1406066-1 is not prime. Res64: 126B86F7AE46EE94 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:05:59] 711*2^1406066-1 is not prime. Res64: 7892AB062D13838C Time : 0.0 sec. user=mdettweiler [2015-08-11 19:06:00] 735*2^1406066-1 is not prime. Res64: B05C12E42D0BC73B Time : 0.0 sec. user=mdettweiler [2015-08-11 19:06:01] 741*2^1406066-1 is not prime. Res64: 31502C14D903DF05 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:06:53] 755*2^1406066-1 is not prime. Res64: EAEBBFE0480875F2 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:06:54] 917*2^1406066-1 is not prime. Res64: 5CDBF7EB4F61CB0C Time : 0.0 sec. user=mdettweiler [2015-08-11 19:15:34] 921*2^1406066-1 is not prime. Res64: E5A57F40E5ADB563 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:15:34] 923*2^1406066-1 is not prime. Res64: B16D405DA9A48ED2 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:24:43] 953*2^1406066-1 is not prime. Res64: 31209C79192426F6 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:24:43] 823*2^1406067-1 is not prime. Res64: 46AEA016C8B6A080 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:25:03] 835*2^1406067-1 is not prime. Res64: 9567CFCD888A1D54 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:25:03] 885*2^1406067-1 is not prime. Res64: 347F03E3B85D43A2 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:25:21] 975*2^1406067-1 is not prime. Res64: 6B4E3AAF13E8E322 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:25:22] 617*2^1406068-1 is not prime. Res64: AD6B3587C747D6A9 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:34:15] 687*2^1406068-1 is not prime. Res64: 2327A40C1F5DB5D2 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:34:15] 735*2^1406068-1 is not prime. Res64: C32EEE07341FF99E Time : 0.0 sec. user=mdettweiler [2015-08-11 19:43:20] 845*2^1406068-1 is not prime. Res64: E7A4C165C81C2BB3 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:43:21] 999*2^1406068-1 is not prime. Res64: DE645FE935CE94D7 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:43:41] 657*2^1406069-1 is not prime. Res64: E715B58EDC8680AA Time : 0.0 sec. user=mdettweiler [2015-08-11 19:43:41] 721*2^1406069-1 is not prime. Res64: 54264F32C0DD85D7 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:44:02] 831*2^1406069-1 is not prime. Res64: C4B24F1DF12C94CB Time : 0.0 sec. user=mdettweiler [2015-08-11 19:44:02] 627*2^1406070-1 is not prime. Res64: A863DB2E1818772B Time : 0.0 sec. user=mdettweiler [2015-08-11 19:53:15] 695*2^1406070-1 is not prime. Res64: B0D408B8E61C7BD2 Time : 0.0 sec. user=mdettweiler [2015-08-11 19:53:15] 741*2^1406070-1 is not prime. Res64: 1A5659D7B25D7206 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:22] 773*2^1406070-1 is not prime. Res64: 114A6DECA6238A57 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:24] 885*2^1406070-1 is not prime. Res64: F820B576725A1687 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:46] 933*2^1406070-1 is not prime. Res64: 67B180D0097F5B2D Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:47] 649*2^1406071-1 is not prime. Res64: DBBD4FBE043E561B Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:58] 651*2^1406071-1 is not prime. Res64: B72EF53C95CC3064 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:02:59] 709*2^1406071-1 is not prime. Res64: 9A5E8330F6AF4D32 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:11:44] 741*2^1406071-1 is not prime. Res64: F1BFFF6924713CEF Time : 0.0 sec. user=mdettweiler [2015-08-11 20:11:45] 811*2^1406071-1 is not prime. Res64: F1302E13EC0B65D0 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:01] 909*2^1406071-1 is not prime. Res64: 993F6D8B69B2CD98 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:01] 969*2^1406071-1 is not prime. Res64: F51554EA09DD6F59 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:36] 699*2^1406073-1 is not prime. Res64: B7ECDCAA8DAEF022 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:36] 735*2^1406073-1 is not prime. Res64: B6AB8ACD3EBC35F7 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:38] 855*2^1406072-1 is not prime. Res64: 94CC26E895AE6DE0 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:22:39] 681*2^1406073-1 is not prime. Res64: 9798BF97E0F1B582 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:32:46] 741*2^1406073-1 is not prime. Res64: 515AE346499513C2 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:32:47] 835*2^1406073-1 is not prime. Res64: 9869811519FB859D Time : 0.0 sec. user=mdettweiler [2015-08-11 20:42:25] 687*2^1406074-1 is not prime. Res64: 4040B4F9DED03ED7 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:42:25] 791*2^1406074-1 is not prime. Res64: 4C76BD97EF75CD82 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:43:01] 971*2^1406074-1 is not prime. Res64: 4E531838F5E7264D Time : 0.0 sec. user=mdettweiler [2015-08-11 20:43:02] 675*2^1406075-1 is not prime. Res64: 7AA0A27519972844 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:44:02] 609*2^1406076-1 is not prime. Res64: AA46CA5E1E3A2AB0 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:44:02] 629*2^1406076-1 is not prime. Res64: 568D72379011A2F0 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:52:18] 839*2^1406076-1 is not prime. Res64: BB193264FB927CA1 Time : 0.0 sec. user=mdettweiler [2015-08-11 20:52:19] 843*2^1406076-1 is not prime. Res64: D711E0A2A86714D8 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:02:11] 857*2^1406076-1 is not prime. Res64: 39722EEE4447F5CD Time : 0.0 sec. user=mdettweiler [2015-08-11 21:02:12] 621*2^1406077-1 is not prime. Res64: E7E71E6C99128C1C Time : 0.0 sec. user=mdettweiler [2015-08-11 21:02:39] 759*2^1406077-1 is not prime. Res64: 0143F5325FC5031C Time : 0.0 sec. user=mdettweiler [2015-08-11 21:02:40] 931*2^1406077-1 is not prime. Res64: 75A6253AD6766A02 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:03:37] 605*2^1406078-1 is not prime. Res64: 3698B221979F348F Time : 0.0 sec. user=mdettweiler [2015-08-11 21:03:38] 641*2^1406078-1 is not prime. Res64: 110AF1593B81AA90 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:11:38] 677*2^1406078-1 is not prime. Res64: E19D8AEFB752041D Time : 0.0 sec. user=mdettweiler [2015-08-11 21:11:39] 753*2^1406078-1 is not prime. Res64: D564D1A3B5A37183 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:21:42] 761*2^1406078-1 is not prime. Res64: 7057B74735A27532 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:21:42] 773*2^1406078-1 is not prime. Res64: 91ADC1EC688EC99E Time : 0.0 sec. user=mdettweiler [2015-08-11 21:22:11] 825*2^1406078-1 is not prime. Res64: 4466C493CDB755CD Time : 0.0 sec. user=mdettweiler [2015-08-11 21:22:11] 887*2^1406078-1 is not prime. Res64: 3780E88FE64B6D4F Time : 0.0 sec. user=mdettweiler [2015-08-11 21:23:04] 893*2^1406078-1 is not prime. Res64: BD9781B3983B1F59 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:23:04] 953*2^1406078-1 is not prime. Res64: 930A98DF72CE4EC1 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:31:10] 723*2^1406079-1 is not prime. Res64: 231BEED6C2C780A9 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:31:11] 789*2^1406079-1 is not prime. Res64: 6FD61DD75A5AA18B Time : 0.0 sec. user=mdettweiler [2015-08-11 21:41:02] 931*2^1406079-1 is not prime. Res64: 6A5CD8C72A0D0486 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:41:03] 695*2^1406080-1 is not prime. Res64: 803C399D4D92EA96 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:41:18] 735*2^1406080-1 is not prime. Res64: E495083D96683CD5 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:41:18] 759*2^1406080-1 is not prime. Res64: 35C3FF4233D1B33E Time : 0.0 sec. user=mdettweiler [2015-08-11 21:42:30] 819*2^1406080-1 is not prime. Res64: F49F1EA9618FC4C7 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:42:30] 825*2^1406080-1 is not prime. Res64: 35F7B7E02CA65096 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:49:51] 929*2^1406080-1 is not prime. Res64: 2614FB777AEBD4FB Time : 0.0 sec. user=mdettweiler [2015-08-11 21:49:51] 957*2^1406080-1 is not prime. Res64: 2022E9DCACB8E2A4 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:59:31] 983*2^1406080-1 is not prime. Res64: DF612EFEA2CC8D7D Time : 0.0 sec. user=mdettweiler [2015-08-11 21:59:31] 685*2^1406081-1 is not prime. Res64: 8A684D3C0B54F85A Time : 0.0 sec. user=mdettweiler [2015-08-11 21:59:43] 711*2^1406081-1 is not prime. Res64: F140E7ECD3FE1C30 Time : 0.0 sec. user=mdettweiler [2015-08-11 21:59:43] 633*2^1406082-1 is not prime. Res64: 7151658FB756EFBE Time : 0.0 sec. user=mdettweiler [2015-08-11 22:00:52] 677*2^1406082-1 is not prime. Res64: D1494FF193E7F03E Time : 0.0 sec. user=mdettweiler [2015-08-11 22:00:52] 695*2^1406082-1 is not prime. Res64: C2104B13546B92A7 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:08:45] 723*2^1406082-1 is not prime. Res64: B5BDFFBD92579795 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:08:45] 747*2^1406082-1 is not prime. Res64: 51E3F8AF834DAD14 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:18:43] 807*2^1406082-1 is not prime. Res64: AE37B7D25CB14A64 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:18:44] 837*2^1406082-1 is not prime. Res64: AC61529E61CDC826 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:19:02] 947*2^1406082-1 is not prime. Res64: 01B620EE155431D2 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:19:03] 951*2^1406082-1 is not prime. Res64: 93EE30B49D594C60 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:19:57] 983*2^1406082-1 is not prime. Res64: 7A6070984C9DBA58 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:19:57] 693*2^1406083-1 is not prime. Res64: 56FFFBB856E007F9 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:28:13] 751*2^1406083-1 is not prime. Res64: 1A1180F25A8DACFB Time : 0.0 sec. user=mdettweiler [2015-08-11 22:28:13] 793*2^1406083-1 is not prime. Res64: 69D828BA08EB1746 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:37:56] 885*2^1406083-1 is not prime. Res64: B776BD6AAF1CC142 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:37:56] 895*2^1406083-1 is not prime. Res64: 2ADACD5BD8955439 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:38:19] 943*2^1406083-1 is not prime. Res64: 1243CBA209D6C2C7 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:38:20] 993*2^1406083-1 is not prime. Res64: 7BB3847EF73B56C9 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:39:26] 683*2^1406084-1 is not prime. Res64: 74F9BAEE90EFFFF6 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:39:26] 759*2^1406084-1 is not prime. Res64: 532BD88EDCBF0467 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:47:46] 903*2^1406084-1 is not prime. Res64: 6F88610E39ED7146 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:47:47] 957*2^1406084-1 is not prime. Res64: C3046D11984DD0F8 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:57:07] 609*2^1406085-1 is not prime. Res64: 19AE2D43DEFDB881 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:57:07] 817*2^1406085-1 is not prime. Res64: 151474F99C43395D Time : 0.0 sec. user=mdettweiler [2015-08-11 22:57:35] 831*2^1406085-1 is not prime. Res64: 18AA47A2DF0D5361 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:57:35] 889*2^1406085-1 is not prime. Res64: A0134434B0A1412A Time : 0.0 sec. user=mdettweiler [2015-08-11 22:58:19] 623*2^1406086-1 is not prime. Res64: 3F2AB5F9FE884003 Time : 0.0 sec. user=mdettweiler [2015-08-11 22:58:19] 635*2^1406086-1 is not prime. Res64: 840228A60D61BEC2 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:06:37] 653*2^1406086-1 is not prime. Res64: 4D094E25E3F57854 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:06:37] 657*2^1406086-1 is not prime. Res64: EC4C50B2ABFE12DF Time : 0.0 sec. user=mdettweiler [2015-08-11 23:15:53] 743*2^1406086-1 is not prime. Res64: F640D06E787D7069 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:15:54] 761*2^1406086-1 is not prime. Res64: B9C8FBC9D7166A67 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:16:30] 881*2^1406086-1 is not prime. Res64: 8AF9536CCC7FF3F1 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:16:31] 945*2^1406086-1 is not prime. Res64: AEE0ED2F71AD730F Time : 0.0 sec. user=mdettweiler [2015-08-11 23:17:18] 993*2^1406086-1 is not prime. Res64: 21227A08D80DA6D4 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:17:19] 621*2^1406087-1 is not prime. Res64: B389F4646EF45DA3 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:25:39] 685*2^1406087-1 is not prime. Res64: 242309D55DDF91F1 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:25:40] 741*2^1406087-1 is not prime. Res64: 20DEEC02E043CFB5 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:34:37] 813*2^1406087-1 is not prime. Res64: 90856304A2FA9D53 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:34:37] 843*2^1406087-1 is not prime. Res64: AEBD304A290C0812 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:35:12] 859*2^1406087-1 is not prime. Res64: 0B575B7B74230938 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:35:12] 861*2^1406087-1 is not prime. Res64: E11A53BD0B32DBE0 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:36:03] 885*2^1406087-1 is not prime. Res64: C7311C0E3140F0D1 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:36:03] 839*2^1406088-1 is not prime. Res64: A00C8A979D39ABF9 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:43:57] 843*2^1406088-1 is not prime. Res64: 5BBA8EAFBE2908DB Time : 0.0 sec. user=mdettweiler [2015-08-11 23:43:58] 845*2^1406088-1 is not prime. Res64: D797C979EBE1AC6F Time : 0.0 sec. user=mdettweiler [2015-08-11 23:53:24] 935*2^1406088-1 is not prime. Res64: B69FB3D9F9F9F4AF Time : 0.0 sec. user=mdettweiler [2015-08-11 23:53:25] 945*2^1406088-1 is not prime. Res64: 9961039203C8CBA2 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:53:53] 977*2^1406088-1 is not prime. Res64: FC3A74BF10BA128D Time : 0.0 sec. user=mdettweiler [2015-08-11 23:53:53] 999*2^1406088-1 is not prime. Res64: 70707C84E60E4ED5 Time : 0.0 sec. user=mdettweiler [2015-08-11 23:54:50] 661*2^1406089-1 is not prime. Res64: 44B65714CE0F91FB Time : 0.0 sec. user=mdettweiler [2015-08-11 23:54:50] 667*2^1406089-1 is not prime. Res64: 4A1B8C6A78B17FDA Time : 0.0 sec.