user=mdettweiler [2016-08-22 00:03:40] 849*2^1438041-1 is not prime. Res64: 1E595E593EE9A793 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:03:41] 831*2^1438042-1 is not prime. Res64: 645B854D2AEC35B0 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:03:44] 843*2^1438042-1 is not prime. Res64: 364D7CB6EE9F71BC Time : 0.0 sec. user=mdettweiler [2016-08-22 00:03:45] 867*2^1438042-1 is not prime. Res64: 146E64602D5BAD34 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:03:46] 923*2^1438042-1 is not prime. Res64: FB392DDB2E9508B7 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:14] 983*2^1438042-1 is not prime. Res64: B89AAF1012E8369B Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:14] 987*2^1438042-1 is not prime. Res64: F894D057360FCDC6 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:15] 619*2^1438043-1 is not prime. Res64: 91EE51A8D67707D9 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:15] 621*2^1438043-1 is not prime. Res64: D812D8E3CD442AF0 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:16] 775*2^1438043-1 is not prime. Res64: AA2EC4FAFEAA4A04 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:43] 805*2^1438043-1 is not prime. Res64: 2F16F5A1F6DFC364 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:44] 861*2^1438043-1 is not prime. Res64: EEB44EB3D9711D9F Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:44] 879*2^1438043-1 is not prime. Res64: 38A21902259B42E3 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:45] 609*2^1438044-1 is not prime. Res64: 81A8E08D8F4FB68B Time : 0.0 sec. user=mdettweiler [2016-08-22 00:21:46] 689*2^1438044-1 is not prime. Res64: DDE870197090354C Time : 0.0 sec. user=mdettweiler [2016-08-22 00:35:39] 789*2^1438044-1 is not prime. Res64: CE764AC6F2DDD2AF Time : 0.0 sec. user=mdettweiler [2016-08-22 00:35:40] 795*2^1438044-1 is not prime. Res64: 49F9522750642138 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:35:40] 837*2^1438044-1 is not prime. Res64: DB1FF2F5ED10F35A Time : 0.0 sec. user=mdettweiler [2016-08-22 00:35:40] 875*2^1438044-1 is not prime. Res64: 02B85475B758883D Time : 0.0 sec. user=mdettweiler [2016-08-22 00:35:40] 975*2^1438044-1 is not prime. Res64: DFEE247FA27E6F1D Time : 0.0 sec. user=mdettweiler [2016-08-22 00:49:11] 717*2^1438045-1 is not prime. Res64: 2CBA1A10EEE60564 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:49:12] 825*2^1438045-1 is not prime. Res64: 3D757F1FF209E96A Time : 0.0 sec. user=mdettweiler [2016-08-22 00:49:12] 867*2^1438045-1 is not prime. Res64: A1FA7B76B5EA5E7C Time : 0.0 sec. user=mdettweiler [2016-08-22 00:49:13] 641*2^1438046-1 is not prime. Res64: 92EBC644B69D2857 Time : 0.0 sec. user=mdettweiler [2016-08-22 00:49:13] 651*2^1438046-1 is not prime. Res64: 54C9367859091C3C Time : 0.0 sec. user=mdettweiler [2016-08-22 01:06:47] 755*2^1438046-1 is not prime. Res64: 037156153C5E0953 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:06:48] 873*2^1438046-1 is not prime. Res64: 8C111766D4813C5F Time : 0.0 sec. user=mdettweiler [2016-08-22 01:06:49] 911*2^1438046-1 is not prime. Res64: 3695AF90D0ACA489 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:06:50] 625*2^1438047-1 is not prime. Res64: 3118EDE32F70A06A Time : 0.0 sec. user=mdettweiler [2016-08-22 01:06:51] 775*2^1438047-1 is not prime. Res64: 6A368BD319DA4389 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:07:34] 781*2^1438047-1 is not prime. Res64: EFA2E876E923AD14 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:07:35] 895*2^1438047-1 is not prime. Res64: 21A13D4B5E96F43F Time : 0.0 sec. user=mdettweiler [2016-08-22 01:07:36] 961*2^1438047-1 is not prime. Res64: B8E8E61560B3786F Time : 0.0 sec. user=mdettweiler [2016-08-22 01:07:37] 963*2^1438047-1 is not prime. Res64: 13A6DD49C3658447 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:07:39] 603*2^1438048-1 is not prime. Res64: 1C849852DA577D91 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:21:04] 677*2^1438048-1 is not prime. Res64: D198FD6E690AF25A Time : 0.0 sec. user=mdettweiler [2016-08-22 01:21:04] 707*2^1438048-1 is not prime. Res64: F777A52902DDE082 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:21:05] 743*2^1438048-1 is not prime. Res64: 9A8AB49D75E717D2 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:21:06] 819*2^1438048-1 is not prime. Res64: FDFFE417A38E8309 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:21:07] 923*2^1438048-1 is not prime. Res64: 536C1E65DF825F61 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:34:13] 645*2^1438049-1 is not prime. Res64: 3F8807C79C990382 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:34:18] 729*2^1438049-1 is not prime. Res64: A55C8608ABEDC4A5 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:34:25] 801*2^1438049-1 is not prime. Res64: 59FD1BFA8FD887C1 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:34:28] 909*2^1438049-1 is not prime. Res64: 9FACDD777B7C2609 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:34:30] 955*2^1438049-1 is not prime. Res64: 111650731C83F84F Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:14] 985*2^1438049-1 is not prime. Res64: C413B8C69BD48EA5 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:15] 681*2^1438050-1 is not prime. Res64: BE8CBBB47440DA58 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:15] 777*2^1438050-1 is not prime. Res64: C43E784FCDB28DA5 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:15] 791*2^1438050-1 is not prime. Res64: 32968E024412C918 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:16] 861*2^1438050-1 is not prime. Res64: 8EEDFF6089959A9D Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:36] 921*2^1438050-1 is not prime. Res64: B532DC7A9CDB82F1 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:36] 927*2^1438050-1 is not prime. Res64: D74967240379B038 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:36] 963*2^1438050-1 is not prime. Res64: 06ABCC3A718E2BF9 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:37] 645*2^1438051-1 is not prime. Res64: F9930830D89166D9 Time : 0.0 sec. user=mdettweiler [2016-08-22 01:52:37] 663*2^1438051-1 is not prime. Res64: CFAD622533B0D8D7 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:06:27] 679*2^1438051-1 is not prime. Res64: C20895793C53CFFD Time : 0.0 sec. user=mdettweiler [2016-08-22 02:06:30] 703*2^1438051-1 is not prime. Res64: 772796E1AE07451A Time : 0.0 sec. user=mdettweiler [2016-08-22 02:06:33] 723*2^1438051-1 is not prime. Res64: 8616DD3EC5EFE387 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:06:34] 741*2^1438051-1 is not prime. Res64: C840BC24B3EE6514 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:06:37] 751*2^1438051-1 is not prime. Res64: 60F644E548A392E6 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:20:07] 759*2^1438051-1 is not prime. Res64: 76D65D7BC8A631DE Time : 0.0 sec. user=mdettweiler [2016-08-22 02:20:07] 805*2^1438051-1 is not prime. Res64: A94437BC4D7AA44C Time : 0.0 sec. user=mdettweiler [2016-08-22 02:20:07] 871*2^1438051-1 is not prime. Res64: 9D4C9AB0DB281244 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:20:08] 909*2^1438051-1 is not prime. Res64: 7A694BD3088B3FB9 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:20:08] 939*2^1438051-1 is not prime. Res64: 2C92F121D2B3BB3F Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:21] 725*2^1438052-1 is not prime. Res64: 9D2AD2D458A5D545 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:22] 897*2^1438052-1 is not prime. Res64: 7589C7367E459E22 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:22] 915*2^1438052-1 is not prime. Res64: 79F641E05BD8F508 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:22] 615*2^1438053-1 is not prime. Res64: 81E1CCD38E80F325 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:23] 625*2^1438053-1 is not prime. Res64: 98A56B808F2F104F Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:36] 741*2^1438053-1 is not prime. Res64: F283C20E7B487064 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:36] 795*2^1438053-1 is not prime. Res64: C9ED68097B92D58E Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:37] 991*2^1438053-1 is not prime. Res64: 4D0C77218AD99217 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:37] 611*2^1438054-1 is not prime. Res64: C492803F404279A0 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:37:37] 635*2^1438054-1 is not prime. Res64: E214FCD1DE79522B Time : 0.0 sec. user=mdettweiler [2016-08-22 02:51:39] 665*2^1438054-1 is not prime. Res64: E9A4CD753D1E82E1 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:51:40] 681*2^1438054-1 is not prime. Res64: FACBECFE098B8923 Time : 0.0 sec. user=mdettweiler [2016-08-22 02:51:41] 705*2^1438054-1 is not prime. Res64: 99EF3082BAFD04CF Time : 0.0 sec. user=mdettweiler [2016-08-22 02:51:41] 831*2^1438054-1 is not prime. Res64: 13E47EAF49A6494C Time : 0.0 sec. user=mdettweiler [2016-08-22 02:51:42] 833*2^1438054-1 is not prime. Res64: 79FCE29E2D0E0992 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:05:10] 891*2^1438054-1 is not prime. Res64: 3568534D22AFCD51 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:05:11] 923*2^1438054-1 is not prime. Res64: 4468DB36897CAA71 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:05:12] 951*2^1438054-1 is not prime. Res64: 96FCB09E6E9CAAC5 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:05:13] 993*2^1438054-1 is not prime. Res64: 26A0E48BCFE5DC13 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:05:13] 741*2^1438055-1 is not prime. Res64: B08AE17FA0983F80 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:22:58] 753*2^1438055-1 is not prime. Res64: 52C9AD8E2D5ED9A1 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:22:58] 623*2^1438056-1 is not prime. Res64: 7A2CA1B26C3533F9 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:22:59] 633*2^1438056-1 is not prime. Res64: 20CDC881AC8DE0DC Time : 0.0 sec. user=mdettweiler [2016-08-22 03:22:59] 635*2^1438056-1 is not prime. Res64: D179A3087DF8A05F Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:00] 695*2^1438056-1 is not prime. Res64: EC2D91B09108414C Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:04] 735*2^1438056-1 is not prime. Res64: A19EEEF222B89877 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:05] 737*2^1438056-1 is not prime. Res64: 43025DB8892D8A09 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:06] 747*2^1438056-1 is not prime. Res64: D11B1BD03718D685 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:06] 759*2^1438056-1 is not prime. Res64: 0FBEA1F86F0DDEB9 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:23:07] 845*2^1438056-1 is not prime. Res64: B424774D4B0E6E52 Time : 0.0 sec. user=juhehe [2016-08-22 03:35:06] 889*2^1438057-1 is not prime. Res64: F79EBFDCE1956DAA Time : 0.0 sec. user=mdettweiler [2016-08-22 03:37:28] 957*2^1438056-1 is not prime. Res64: A3EB53B73E23DD1A Time : 0.0 sec. user=mdettweiler [2016-08-22 03:37:30] 609*2^1438057-1 is not prime. Res64: D398D58560391AAD Time : 0.0 sec. user=mdettweiler [2016-08-22 03:37:32] 661*2^1438057-1 is not prime. Res64: 846FD3E3232166D2 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:37:33] 747*2^1438057-1 is not prime. Res64: E1741E9985634608 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:37:35] 775*2^1438057-1 is not prime. Res64: 13BB0D3FBCC967A0 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:50:38] 919*2^1438057-1 is not prime. Res64: E8928EFEA98D22F3 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:50:41] 931*2^1438057-1 is not prime. Res64: 0414C081CAE11331 Time : 0.0 sec. user=mdettweiler [2016-08-22 03:50:44] 955*2^1438057-1 is not prime. Res64: 2AC67559EBD1FCBD Time : 0.0 sec. user=mdettweiler [2016-08-22 03:50:46] 975*2^1438057-1 is not prime. Res64: A34DC7CD0A55467F Time : 0.0 sec. user=mdettweiler [2016-08-22 03:50:47] 635*2^1438058-1 is not prime. Res64: A9B9A561A94C8E16 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:08:04] 963*2^1438058-1 is not prime. Res64: 184F71FD8772F819 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:08:05] 641*2^1438058-1 is not prime. Res64: 2B3DD737A74D79FD Time : 0.0 sec. user=mdettweiler [2016-08-22 04:08:17] 971*2^1438058-1 is not prime. Res64: 4604B69BDD1958C6 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:24:06] 653*2^1438060-1 is not prime. Res64: 9958F9EDFAE9EE01 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:24:06] 693*2^1438060-1 is not prime. Res64: 3CB02FFAB57CD656 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:24:06] 845*2^1438060-1 is not prime. Res64: 24C1DA5E385349EE Time : 0.0 sec. user=mdettweiler [2016-08-22 04:24:07] 875*2^1438060-1 is not prime. Res64: 6FD9B15FA3B44E92 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:24:07] 989*2^1438060-1 is not prime. Res64: 14A50954F4D72039 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:41:50] 995*2^1438060-1 is not prime. Res64: 6848F8A3FDB52D0A Time : 0.0 sec. user=mdettweiler [2016-08-22 04:41:51] 607*2^1438061-1 is not prime. Res64: 8AE7ED19A4488062 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:41:51] 669*2^1438061-1 is not prime. Res64: 7398ABA124802C54 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:41:52] 745*2^1438061-1 is not prime. Res64: 8DD555BB1BA89361 Time : 0.0 sec. user=mdettweiler [2016-08-22 04:41:52] 865*2^1438061-1 is not prime. Res64: B9AE5CBAAD778210 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:15:13] 871*2^1438061-1 is not prime. Res64: A5530741F6795FB6 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:15:14] 931*2^1438061-1 is not prime. Res64: C7520EDC189343C9 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:15:14] 979*2^1438061-1 is not prime. Res64: 30CDA96D89D2D5A2 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:15:15] 671*2^1438062-1 is not prime. Res64: 3E2E2EF478FE91F3 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:15:15] 723*2^1438062-1 is not prime. Res64: 8836EA9BA03741CA Time : 0.0 sec. user=mdettweiler [2016-08-22 05:31:17] 863*2^1438062-1 is not prime. Res64: C57DB0FA3B65EE2E Time : 0.0 sec. user=mdettweiler [2016-08-22 05:31:18] 873*2^1438062-1 is not prime. Res64: 17F89729AF3F446F Time : 0.0 sec. user=mdettweiler [2016-08-22 05:31:18] 983*2^1438062-1 is not prime. Res64: F820C72F583C1076 Time : 0.0 sec. user=mdettweiler [2016-08-22 05:31:19] 855*2^1438063-1 is not prime. Res64: B53F5BDF07B17C6A Time : 0.0 sec. user=mdettweiler [2016-08-22 05:31:19] 901*2^1438063-1 is not prime. Res64: C43DA6FDBFCA9C26 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:04:04] 919*2^1438063-1 is not prime. Res64: FBDA8B1E7EA99C90 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:04:06] 945*2^1438063-1 is not prime. Res64: 79924D63262EA87C Time : 0.0 sec. user=mdettweiler [2016-08-22 06:04:07] 945*2^1438064-1 is not prime. Res64: C7652E5C7DB5E023 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:04:08] 667*2^1438065-1 is not prime. Res64: F4D9585868399CA8 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:04:10] 691*2^1438065-1 is not prime. Res64: 9D5149B80E701EA8 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:20:02] 817*2^1438065-1 is not prime. Res64: DEEDEE50B9772CB0 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:20:03] 635*2^1438066-1 is not prime. Res64: 586818844980C2BD Time : 0.0 sec. user=mdettweiler [2016-08-22 06:20:04] 657*2^1438066-1 is not prime. Res64: 2D6CF78D2FA96DC3 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:20:05] 705*2^1438066-1 is not prime. Res64: 4700B23541BF50E3 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:20:06] 741*2^1438066-1 is not prime. Res64: 1908FF8DE7DAA480 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:52:35] 773*2^1438066-1 is not prime. Res64: 294432400C2487AF Time : 0.0 sec. user=mdettweiler [2016-08-22 06:52:36] 821*2^1438066-1 is not prime. Res64: 0A33C3255B363B68 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:52:36] 941*2^1438066-1 is not prime. Res64: 141F19F87C90FA6C Time : 0.0 sec. user=mdettweiler [2016-08-22 06:52:37] 1001*2^1438066-1 is not prime. Res64: 4973D1AC7D124752 Time : 0.0 sec. user=mdettweiler [2016-08-22 06:52:37] 819*2^1438067-1 is not prime. Res64: AEBE485B90EA5317 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:08:37] 885*2^1438067-1 is not prime. Res64: 105150E1B17FED8D Time : 0.0 sec. user=mdettweiler [2016-08-22 07:08:40] 991*2^1438067-1 is not prime. Res64: 747AF7CED2C8745E Time : 0.0 sec. user=mdettweiler [2016-08-22 07:08:41] 657*2^1438068-1 is not prime. Res64: 3062E1117A05486B Time : 0.0 sec. user=mdettweiler [2016-08-22 07:08:45] 783*2^1438068-1 is not prime. Res64: C22252E15146192F Time : 0.0 sec. user=mdettweiler [2016-08-22 07:08:47] 809*2^1438068-1 is not prime. Res64: 6216A3483BCEA31D Time : 0.0 sec. user=mdettweiler [2016-08-22 07:40:49] 837*2^1438068-1 is not prime. Res64: 54182E7C3511EF01 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:40:49] 839*2^1438068-1 is not prime. Res64: 28B22C8CF649E496 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:40:50] 959*2^1438068-1 is not prime. Res64: 74A4B5EC57D83506 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:40:50] 615*2^1438069-1 is not prime. Res64: 6F9BD971165697B3 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:40:51] 679*2^1438069-1 is not prime. Res64: 55577DA4AA0C5C7F Time : 0.0 sec. user=mdettweiler [2016-08-22 07:57:16] 789*2^1438069-1 is not prime. Res64: EE5B6D98D7A51C75 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:57:17] 931*2^1438069-1 is not prime. Res64: ABD6992DABC24C7E Time : 0.0 sec. user=mdettweiler [2016-08-22 07:57:17] 955*2^1438069-1 is not prime. Res64: 282B94134C930719 Time : 0.0 sec. user=mdettweiler [2016-08-22 07:57:18] 731*2^1438070-1 is not prime. Res64: C1F35C08C13591FC Time : 0.0 sec. user=mdettweiler [2016-08-22 07:57:18] 845*2^1438070-1 is not prime. Res64: 6804DDA971F9BB8B Time : 0.0 sec. user=mdettweiler [2016-08-22 08:18:55] 613*2^1438059-1 is not prime. Res64: 27B1E858149A2A06 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:18:57] 619*2^1438059-1 is not prime. Res64: 58881760AD4BB57F Time : 0.0 sec. user=mdettweiler [2016-08-22 08:18:59] 685*2^1438059-1 is not prime. Res64: CE88F693FAB441FC Time : 0.0 sec. user=mdettweiler [2016-08-22 08:22:31] 665*2^1438058-1 is not prime. Res64: A7C0155FBA93BE51 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:22:31] 743*2^1438058-1 is not prime. Res64: 1A1DB932292BAA97 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:22:32] 767*2^1438058-1 is not prime. Res64: 62A0285529C350F4 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:22:32] 773*2^1438058-1 is not prime. Res64: 4D15E886C622657F Time : 0.0 sec. user=mdettweiler [2016-08-22 08:28:37] 857*2^1438070-1 is not prime. Res64: 74278DC844103008 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:28:38] 923*2^1438070-1 is not prime. Res64: E2AD57BD76E76A54 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:28:38] 971*2^1438070-1 is not prime. Res64: 91CB9A72B76F0708 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:28:39] 651*2^1438071-1 is not prime. Res64: B6B45E1E4E48CE78 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:28:39] 679*2^1438071-1 is not prime. Res64: 641E5C9D227EECC9 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:44:15] 739*2^1438071-1 is not prime. Res64: 398811FD83B27A11 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:44:15] 871*2^1438071-1 is not prime. Res64: 41B3352E3574C38E Time : 0.0 sec. user=mdettweiler [2016-08-22 08:44:16] 979*2^1438071-1 is not prime. Res64: 80B04466F9C68BDF Time : 0.0 sec. user=mdettweiler [2016-08-22 08:44:16] 635*2^1438072-1 is not prime. Res64: 9CB1D87B6924BBD8 Time : 0.0 sec. user=mdettweiler [2016-08-22 08:44:17] 645*2^1438072-1 is not prime. Res64: D18F2A05BAF895A1 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:04:13] 695*2^1438072-1 is not prime. Res64: 59ECBD1C28F70520 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:04:16] 719*2^1438072-1 is not prime. Res64: C3B5856AB213650A Time : 0.0 sec. user=mdettweiler [2016-08-22 09:04:18] 755*2^1438072-1 is not prime. Res64: C80EF1B4D793FD77 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:04:19] 619*2^1438073-1 is not prime. Res64: A34A20A6BAE1B442 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:04:21] 631*2^1438073-1 is not prime. Res64: 43E53074AB735F43 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:07:38] 657*2^1438073-1 is not prime. Res64: F057090F6C088032 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:07:39] 675*2^1438073-1 is not prime. Res64: 29638DA0689CF9E5 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:07:40] 691*2^1438073-1 is not prime. Res64: FF40FA9DD47C25AE Time : 0.0 sec. user=mdettweiler [2016-08-22 09:07:41] 727*2^1438073-1 is not prime. Res64: 7337BBBD6530CAE2 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:07:42] 889*2^1438073-1 is not prime. Res64: E29AF584C11D3586 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:13:55] 901*2^1438073-1 is not prime. Res64: 50D8B4AEB4834F6F Time : 0.0 sec. user=mdettweiler [2016-08-22 09:13:56] 925*2^1438073-1 is not prime. Res64: C3E6A4507348373A Time : 0.0 sec. user=mdettweiler [2016-08-22 09:13:56] 605*2^1438074-1 is not prime. Res64: B10AB7851FAF7F19 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:13:56] 651*2^1438074-1 is not prime. Res64: 19AC864013F67798 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:13:56] 657*2^1438074-1 is not prime. Res64: C63833188DA2A144 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:30:47] 861*2^1438074-1 is not prime. Res64: FD15447AD047296A Time : 0.0 sec. user=mdettweiler [2016-08-22 09:30:48] 903*2^1438074-1 is not prime. Res64: 9D4CE757A95803E4 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:30:48] 927*2^1438074-1 is not prime. Res64: D588B52A7F8C870D Time : 0.0 sec. user=mdettweiler [2016-08-22 09:30:48] 957*2^1438074-1 is not prime. Res64: BBD47BCD19FCC9BD Time : 0.0 sec. user=mdettweiler [2016-08-22 09:30:49] 625*2^1438075-1 is not prime. Res64: C86EB2E979B29711 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:52:40] 723*2^1438075-1 is not prime. Res64: 6F4C9DBE47967640 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:52:41] 741*2^1438075-1 is not prime. Res64: A91B1EA99B405168 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:52:41] 843*2^1438075-1 is not prime. Res64: 29B12E3F8A2C33D0 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:52:41] 871*2^1438075-1 is not prime. Res64: 7A221F369ED1029E Time : 0.0 sec. user=mdettweiler [2016-08-22 09:52:41] 743*2^1438076-1 is not prime. Res64: 07CA9E61577F6666 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:56:09] 777*2^1438076-1 is not prime. Res64: 3BC8A3CBAC33C8E5 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:56:09] 789*2^1438076-1 is not prime. Res64: 63D1061B11E8B2FC Time : 0.0 sec. user=mdettweiler [2016-08-22 09:56:09] 839*2^1438076-1 is not prime. Res64: 89F6709D1FC73791 Time : 0.0 sec. user=mdettweiler [2016-08-22 09:56:09] 855*2^1438076-1 is not prime. Res64: F76C4F8CCB7ACBBC Time : 0.0 sec. user=mdettweiler [2016-08-22 09:56:10] 987*2^1438076-1 is not prime. Res64: EE15FD8E0075C8CD Time : 0.0 sec. user=mdettweiler [2016-08-22 10:01:58] 621*2^1438077-1 is not prime. Res64: 197280E4106F8588 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:01:59] 655*2^1438077-1 is not prime. Res64: 9119AB4F1C1BDBC4 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:01:59] 685*2^1438077-1 is not prime. Res64: 1543B0C187AC2106 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:02:00] 805*2^1438077-1 is not prime. Res64: 210418AD797A8214 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:02:01] 819*2^1438077-1 is not prime. Res64: D6B9C6CCD54E86C4 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:17:49] 847*2^1438077-1 is not prime. Res64: 2F0AFC3E18DBDB51 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:17:49] 915*2^1438077-1 is not prime. Res64: C9AE434281B184E7 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:17:49] 979*2^1438077-1 is not prime. Res64: 110C35B0640C28AA Time : 0.0 sec. user=mdettweiler [2016-08-22 10:17:50] 681*2^1438078-1 is not prime. Res64: 75FDDA48F717D2DD Time : 0.0 sec. user=mdettweiler [2016-08-22 10:17:50] 713*2^1438078-1 is not prime. Res64: 5FA2BE4B896D5052 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:39:14] 737*2^1438078-1 is not prime. Res64: 4780E4F11F82A4F4 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:39:15] 743*2^1438078-1 is not prime. Res64: 036363D6BC184C6B Time : 0.0 sec. user=mdettweiler [2016-08-22 10:39:15] 801*2^1438078-1 is not prime. Res64: D3D18F8674EABC92 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:39:15] 945*2^1438078-1 is not prime. Res64: E700E1460FF14D66 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:39:16] 633*2^1438079-1 is not prime. Res64: 534A56AFAA8C0A42 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:43:10] 705*2^1438079-1 is not prime. Res64: 2177C4D395F496D3 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:43:10] 745*2^1438079-1 is not prime. Res64: 0522BC50D21AB298 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:43:12] 883*2^1438079-1 is not prime. Res64: E0E42587588377FB Time : 0.0 sec. user=mdettweiler [2016-08-22 10:43:12] 895*2^1438079-1 is not prime. Res64: C4F83980115CECD6 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:43:13] 921*2^1438079-1 is not prime. Res64: 291A03D322CE99D1 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:49:05] 955*2^1438079-1 is not prime. Res64: 9EA0F6215DE1CC1D Time : 0.0 sec. user=mdettweiler [2016-08-22 10:49:06] 615*2^1438080-1 is not prime. Res64: C1F089AC1A20C08C Time : 0.0 sec. user=mdettweiler [2016-08-22 10:49:06] 633*2^1438080-1 is not prime. Res64: 101145932D7979FB Time : 0.0 sec. user=mdettweiler [2016-08-22 10:49:06] 669*2^1438080-1 is not prime. Res64: CEDD3C873C2B33F5 Time : 0.0 sec. user=mdettweiler [2016-08-22 10:49:06] 735*2^1438080-1 is not prime. Res64: 460963D8BB0BBF6C Time : 0.0 sec. user=mdettweiler [2016-08-22 11:05:52] 737*2^1438080-1 is not prime. Res64: F4453B3A301B63B4 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:05:55] 767*2^1438080-1 is not prime. Res64: 5F57E9B1A541AFEE Time : 0.0 sec. user=mdettweiler [2016-08-22 11:05:56] 857*2^1438080-1 is not prime. Res64: D50E2856E03602F3 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:05:58] 649*2^1438081-1 is not prime. Res64: 92607AB09DDD9989 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:05:59] 745*2^1438081-1 is not prime. Res64: 23F9CE5D186BB15E Time : 0.0 sec. user=mdettweiler [2016-08-22 11:26:56] 789*2^1438081-1 is not prime. Res64: 809844A360067189 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:26:57] 819*2^1438081-1 is not prime. Res64: C5817DF5DE376CD9 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:26:58] 861*2^1438081-1 is not prime. Res64: 78145E96A215D493 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:26:59] 895*2^1438081-1 is not prime. Res64: B3CDA9E891A2697B Time : 0.0 sec. user=mdettweiler [2016-08-22 11:27:00] 939*2^1438081-1 is not prime. Res64: 1B39103CBA6DFF19 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:31:01] 979*2^1438081-1 is not prime. Res64: A0D046502F2F9F5F Time : 0.0 sec. user=mdettweiler [2016-08-22 11:31:01] 705*2^1438082-1 is not prime. Res64: 551E7C6C4010B9C9 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:31:02] 791*2^1438082-1 is not prime. Res64: FADD861AAB0F21D1 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:31:02] 995*2^1438082-1 is not prime. Res64: B9DEF1EC731654C3 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:31:02] 669*2^1438083-1 is not prime. Res64: 9D202E3E2362BB37 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:37:02] 703*2^1438083-1 is not prime. Res64: 20AF986A752F8E38 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:37:03] 745*2^1438083-1 is not prime. Res64: AF72CB796D72E5A6 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:37:03] 793*2^1438083-1 is not prime. Res64: FDCE7BED61994F48 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:37:03] 849*2^1438083-1 is not prime. Res64: 7C5026E7AAF8E8A6 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:37:04] 853*2^1438083-1 is not prime. Res64: B59D963F38E3E70B Time : 0.0 sec. user=mdettweiler [2016-08-22 11:52:21] 615*2^1438084-1 is not prime. Res64: 7E665C8E88E412DA Time : 0.0 sec. user=mdettweiler [2016-08-22 11:52:21] 705*2^1438084-1 is not prime. Res64: 64170C2B0999F355 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:52:22] 717*2^1438084-1 is not prime. Res64: 62F20BCA3ED85237 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:52:22] 719*2^1438084-1 is not prime. Res64: 0599BA26C63629D9 Time : 0.0 sec. user=mdettweiler [2016-08-22 11:52:22] 759*2^1438084-1 is not prime. Res64: 4D80A90690AD1C52 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:12:26] 765*2^1438084-1 is not prime. Res64: 4FAD493B358AD5DC Time : 0.0 sec. user=mdettweiler [2016-08-22 12:12:27] 813*2^1438084-1 is not prime. Res64: 7D4B95A28C087204 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:12:29] 819*2^1438084-1 is not prime. Res64: A39D211A84297AA2 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:12:29] 887*2^1438084-1 is not prime. Res64: 1239D42D15E3F7DA Time : 0.0 sec. user=mdettweiler [2016-08-22 12:12:31] 909*2^1438084-1 is not prime. Res64: 75DF1E8EE45EB557 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:16:26] 975*2^1438084-1 is not prime. Res64: BD78133ABE5239F4 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:16:26] 983*2^1438084-1 is not prime. Res64: C978CDCECBE6301A Time : 0.0 sec. user=mdettweiler [2016-08-22 12:16:26] 987*2^1438084-1 is not prime. Res64: AE884A6BF09B259D Time : 0.0 sec. user=mdettweiler [2016-08-22 12:16:27] 649*2^1438085-1 is not prime. Res64: 277CD26B201E7E3B Time : 0.0 sec. user=mdettweiler [2016-08-22 12:16:27] 685*2^1438085-1 is not prime. Res64: DEE2CF08F01A94F5 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:22:23] 715*2^1438085-1 is not prime. Res64: 86E4AF7EA367BE80 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:22:23] 741*2^1438085-1 is not prime. Res64: 55C76F535D0BF31B Time : 0.0 sec. user=mdettweiler [2016-08-22 12:22:24] 777*2^1438085-1 is not prime. Res64: 8FC4968E1049941B Time : 0.0 sec. user=mdettweiler [2016-08-22 12:22:24] 811*2^1438085-1 is not prime. Res64: 3D4943A6C43FFA43 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:22:25] 865*2^1438085-1 is not prime. Res64: 3AAD2B997AC5ED07 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:37:39] 707*2^1438086-1 is not prime. Res64: AC69D19C28EE1D54 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:37:42] 723*2^1438086-1 is not prime. Res64: D3D332ED9A88EBA4 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:37:44] 737*2^1438086-1 is not prime. Res64: 8A7FD621C2907BA6 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:37:45] 921*2^1438086-1 is not prime. Res64: FA6ACB3F854EB01B Time : 0.0 sec. user=mdettweiler [2016-08-22 12:37:47] 951*2^1438087-1 is not prime. Res64: 262A07EB9C7657B9 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:58:46] 975*2^1438087-1 is not prime. Res64: CE29CFC90255E410 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:58:47] 993*2^1438087-1 is not prime. Res64: 63EF02336AC2ABA6 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:58:47] 635*2^1438088-1 is not prime. Res64: 31AC9C5DF5AE2FA2 Time : 0.0 sec. user=mdettweiler [2016-08-22 12:58:48] 663*2^1438088-1 is not prime. Res64: 613E5588E5F89B5B Time : 0.0 sec. user=mdettweiler [2016-08-22 12:58:48] 669*2^1438088-1 is not prime. Res64: E55E88822CF13AAA Time : 0.0 sec. user=mdettweiler [2016-08-22 13:02:17] 813*2^1438088-1 is not prime. Res64: 31FD9799030F94A0 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:02:18] 815*2^1438088-1 is not prime. Res64: A9F1F0B1FB2F5B0E Time : 0.0 sec. user=mdettweiler [2016-08-22 13:02:18] 827*2^1438088-1 is not prime. Res64: 6E17D9F2F83687E4 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:02:19] 875*2^1438088-1 is not prime. Res64: 34D2EAD8506C0849 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:02:20] 601*2^1438089-1 is not prime. Res64: 44C142EECC5051EB Time : 0.0 sec. user=mdettweiler [2016-08-22 13:08:09] 765*2^1438089-1 is not prime. Res64: 792EE1DFD7F9B741 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:08:11] 807*2^1438089-1 is not prime. Res64: B24DC22BCB3F9788 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:08:12] 817*2^1438089-1 is not prime. Res64: 8B8CE89ED79FB15B Time : 0.0 sec. user=mdettweiler [2016-08-22 13:08:13] 847*2^1438089-1 is not prime. Res64: 1619339311D80064 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:08:14] 865*2^1438089-1 is not prime. Res64: 262D384549BF93F7 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:23:40] 907*2^1438089-1 is not prime. Res64: 5619DF461E718E75 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:23:41] 955*2^1438089-1 is not prime. Res64: 5078B3B5CCC0C211 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:23:42] 997*2^1438089-1 is not prime. Res64: 92AC642FD81AC0AF Time : 0.0 sec. user=mdettweiler [2016-08-22 13:23:42] 741*2^1438090-1 is not prime. Res64: D956E252B0D895B7 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:23:43] 813*2^1438090-1 is not prime. Res64: E79C930D9F3889EC Time : 0.0 sec. user=mdettweiler [2016-08-22 13:47:37] 735*2^1438091-1 is not prime. Res64: 1B1D8F04BBDCA0F7 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:47:38] 811*2^1438091-1 is not prime. Res64: 16CD4E078F8CEA8A Time : 0.0 sec. user=mdettweiler [2016-08-22 13:47:38] 855*2^1438091-1 is not prime. Res64: 69821F1F565B69CA Time : 0.0 sec. user=mdettweiler [2016-08-22 13:47:38] 943*2^1438091-1 is not prime. Res64: 44F06687F783C5C0 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:47:39] 955*2^1438091-1 is not prime. Res64: ACBE1A95484315CB Time : 0.0 sec. user=mdettweiler [2016-08-22 13:53:39] 689*2^1438092-1 is not prime. Res64: 3CB12605D2514E81 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:53:39] 719*2^1438092-1 is not prime. Res64: BCE2AB275E455100 Time : 0.0 sec. user=mdettweiler [2016-08-22 13:53:39] 803*2^1438092-1 is not prime. Res64: AD1AFE133F2AD80E Time : 0.0 sec. user=mdettweiler [2016-08-22 13:53:40] 809*2^1438092-1 is not prime. Res64: 54D906C24B341D0A Time : 0.0 sec. user=mdettweiler [2016-08-22 13:53:40] 879*2^1438092-1 is not prime. Res64: 27E0C7F0D94369E2 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:46] 929*2^1438092-1 is not prime. Res64: 3CF4F588403C0240 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:47] 625*2^1438093-1 is not prime. Res64: 9E80773D8F51CEB3 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:48] 679*2^1438093-1 is not prime. Res64: CE83DD9088CA95E5 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:48] 681*2^1438093-1 is not prime. Res64: 2DFE1E0D3BA127DA Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:48] 829*2^1438093-1 is not prime. Res64: 7EE04AE640AE4D33 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:49] 827*2^1438090-1 is not prime. Res64: 6D90A7F6D6BF5C2C Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:50] 911*2^1438090-1 is not prime. Res64: 845D2456F091286A Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:51] 917*2^1438090-1 is not prime. Res64: F46815401ED82D24 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:51] 987*2^1438090-1 is not prime. Res64: EA2CE967760F30A9 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:08:52] 621*2^1438091-1 is not prime. Res64: FFB3AD931F626E7D Time : 0.0 sec. user=mdettweiler [2016-08-22 14:33:14] 889*2^1438093-1 is not prime. Res64: 06436242D4D25FDE Time : 0.0 sec. user=mdettweiler [2016-08-22 14:33:15] 895*2^1438093-1 is not prime. Res64: 594AB6833C0C6E06 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:33:15] 615*2^1438094-1 is not prime. Res64: 333179350B01A561 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:33:15] 623*2^1438094-1 is not prime. Res64: CAE20804D4E27DBA Time : 0.0 sec. user=mdettweiler [2016-08-22 14:33:16] 795*2^1438094-1 is not prime. Res64: 601D6998CA0A66C8 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:39:07] 831*2^1438094-1 is not prime. Res64: AFF3B64087B50634 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:39:07] 875*2^1438094-1 is not prime. Res64: D59133CE0556FC95 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:39:08] 965*2^1438094-1 is not prime. Res64: 3A937C4BEF1F2F53 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:39:08] 971*2^1438094-1 is not prime. Res64: 93763EB88494BD79 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:39:08] 981*2^1438094-1 is not prime. Res64: D64488E3214D5D63 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:05] 709*2^1438095-1 is not prime. Res64: 7FCCEB6AD347CD5A Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:05] 741*2^1438095-1 is not prime. Res64: 23C60528ECC96D90 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:05] 751*2^1438095-1 is not prime. Res64: 676015149C6F3CDA Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:06] 765*2^1438095-1 is not prime. Res64: D5CF59E8315D440D Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:06] 805*2^1438095-1 is not prime. Res64: 487EB783392CF26D Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:17] 973*2^1438095-1 is not prime. Res64: 217DBE3EE5CDC7B8 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:18] 999*2^1438095-1 is not prime. Res64: 2544C14FE0A2DB79 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:18] 743*2^1438096-1 is not prime. Res64: D26B3767D1C9C73C Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:19] 759*2^1438096-1 is not prime. Res64: 3E9CB6A876AF34A8 Time : 0.0 sec. user=mdettweiler [2016-08-22 14:54:19] 923*2^1438096-1 is not prime. Res64: A4630D3648F51445 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:19:12] 939*2^1438096-1 is not prime. Res64: 411D272B39B5665D Time : 0.0 sec. user=mdettweiler [2016-08-22 15:19:12] 601*2^1438097-1 is not prime. Res64: 77B50E0ABE6E0EEF Time : 0.0 sec. user=mdettweiler [2016-08-22 15:19:13] 619*2^1438097-1 is not prime. Res64: 7B4CC8DF39FE6F4E Time : 0.0 sec. user=mdettweiler [2016-08-22 15:19:13] 729*2^1438097-1 is not prime. Res64: 9EC79FE62FB103A4 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:19:14] 735*2^1438097-1 is not prime. Res64: 2431253FF20E1FA5 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:25:05] 777*2^1438097-1 is not prime. Res64: C950EE99FDACFF1D Time : 0.0 sec. user=mdettweiler [2016-08-22 15:25:05] 831*2^1438097-1 is not prime. Res64: E286AA84E5A82E65 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:25:05] 847*2^1438097-1 is not prime. Res64: DFEBAE8690AE9503 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:25:05] 865*2^1438097-1 is not prime. Res64: 77EBB6D71B2CCB92 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:25:06] 945*2^1438097-1 is not prime. Res64: 4D02E6B0BB19347E Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:11] 963*2^1438098-1 is not prime. Res64: E6FD71C05A5844F3 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:11] 1001*2^1438098-1 is not prime. Res64: 472576BB6EAA189E Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:12] 663*2^1438099-1 is not prime. Res64: E30C6A52D9334E72 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:12] 681*2^1438099-1 is not prime. Res64: BD302B0659689169 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:12] 741*2^1438099-1 is not prime. Res64: 6D64F8E3A5114D03 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:16] 949*2^1438097-1 is not prime. Res64: CC42F5D1195A9C2B Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:16] 801*2^1438098-1 is not prime. Res64: AF762B89CB8923E9 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:16] 887*2^1438098-1 is not prime. Res64: D1B21BADBFEEC849 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:17] 905*2^1438098-1 is not prime. Res64: F918A3622489CCF3 Time : 0.0 sec. user=mdettweiler [2016-08-22 15:40:18] 927*2^1438098-1 is not prime. Res64: 2A298FE5938F5931 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:05:03] 793*2^1438099-1 is not prime. Res64: 20717558BC7AF00C Time : 0.0 sec. user=mdettweiler [2016-08-22 16:05:05] 843*2^1438099-1 is not prime. Res64: FFF0E23615E509B9 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:05:06] 853*2^1438099-1 is not prime. Res64: 81E4980E27167A2A Time : 0.0 sec. user=mdettweiler [2016-08-22 16:05:07] 859*2^1438099-1 is not prime. Res64: B8B6CAF54423E4B8 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:05:08] 913*2^1438099-1 is not prime. Res64: E3990392BB55D681 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:10:28] 925*2^1438099-1 is not prime. Res64: 62B4E9251FC4493C Time : 0.0 sec. user=mdettweiler [2016-08-22 16:10:28] 699*2^1438100-1 is not prime. Res64: 873C8BAED6A6B4F7 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:10:29] 785*2^1438100-1 is not prime. Res64: 2DB138E153EE545B Time : 0.0 sec. user=mdettweiler [2016-08-22 16:10:29] 875*2^1438100-1 is not prime. Res64: B9AACE6D432DFE40 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:10:29] 927*2^1438100-1 is not prime. Res64: D22CAB24CF76AFE4 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:36] 671*2^1438102-1 is not prime. Res64: BCADC755FC744794 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:36] 717*2^1438102-1 is not prime. Res64: 123543A7791D235A Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:37] 747*2^1438102-1 is not prime. Res64: ADD42F8CE3583554 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:37] 777*2^1438102-1 is not prime. Res64: AC2D7B5AFB287830 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:38] 821*2^1438102-1 is not prime. Res64: 2878F6A4C35A7D13 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:47] 977*2^1438100-1 is not prime. Res64: 39AEFBEF80A50FB0 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:47] 691*2^1438101-1 is not prime. Res64: AB5810D9134B1231 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:47] 847*2^1438101-1 is not prime. Res64: 763A6C309F295D0C Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:48] 611*2^1438102-1 is not prime. Res64: 927C105244466BBB Time : 0.0 sec. user=mdettweiler [2016-08-22 16:25:48] 635*2^1438102-1 is not prime. Res64: 442D2F38086080BA Time : 0.0 sec. user=juhehe [2016-08-22 16:36:33] 983*2^1438102-1 is not prime. Res64: A2ABAD8A9534B330 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:50:43] 1001*2^1438102-1 is not prime. Res64: 37621E72AC975FEC Time : 0.0 sec. user=mdettweiler [2016-08-22 16:50:43] 643*2^1438103-1 is not prime. Res64: B9DC26FC5F27ABBA Time : 0.0 sec. user=mdettweiler [2016-08-22 16:50:44] 739*2^1438103-1 is not prime. Res64: 1601F6759F3B414A Time : 0.0 sec. user=mdettweiler [2016-08-22 16:50:45] 943*2^1438103-1 is not prime. Res64: C8A0B867AD309BB9 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:50:45] 973*2^1438103-1 is not prime. Res64: 038B8A65DA37350D Time : 0.0 sec. user=mdettweiler [2016-08-22 16:56:13] 993*2^1438103-1 is not prime. Res64: 1C51352D721F27AF Time : 0.0 sec. user=mdettweiler [2016-08-22 16:56:13] 689*2^1438104-1 is not prime. Res64: 9B90B73D98ED92BC Time : 0.0 sec. user=mdettweiler [2016-08-22 16:56:14] 789*2^1438104-1 is not prime. Res64: 60928FCB2F5EF434 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:56:14] 927*2^1438104-1 is not prime. Res64: 6F81EE1A1605DC29 Time : 0.0 sec. user=mdettweiler [2016-08-22 16:56:14] 649*2^1438105-1 is not prime. Res64: 066625C66A91931B Time : 0.0 sec. user=mdettweiler [2016-08-22 17:10:56] 661*2^1438105-1 is not prime. Res64: 3213FA7357F7A1AF Time : 0.0 sec. user=mdettweiler [2016-08-22 17:10:57] 687*2^1438105-1 is not prime. Res64: 391A1C435D419C14 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:10:57] 699*2^1438105-1 is not prime. Res64: A546DA36B6F0BDA8 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:10:58] 721*2^1438105-1 is not prime. Res64: 9441B807FF1ED636 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:10:58] 937*2^1438105-1 is not prime. Res64: 8A66EEA6A0A506DA Time : 0.0 sec. user=mdettweiler [2016-08-22 17:11:29] 985*2^1438105-1 is not prime. Res64: 43F947F2BEC42D11 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:11:30] 999*2^1438105-1 is not prime. Res64: 9A3935854FB849FD Time : 0.0 sec. user=mdettweiler [2016-08-22 17:11:30] 615*2^1438106-1 is not prime. Res64: 9F8425D3029BF6DA Time : 0.0 sec. user=mdettweiler [2016-08-22 17:11:31] 651*2^1438106-1 is not prime. Res64: DE820D7A4F5D2E85 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:11:31] 923*2^1438106-1 is not prime. Res64: 4F5BEE797B568323 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:36:21] 963*2^1438106-1 is not prime. Res64: 85E1F6F45DCB7F98 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:36:21] 601*2^1438107-1 is not prime. Res64: B9DA1D7EB9565F2C Time : 0.0 sec. user=mdettweiler [2016-08-22 17:36:22] 633*2^1438107-1 is not prime. Res64: E849076C3C226B53 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:36:22] 751*2^1438107-1 is not prime. Res64: F8FC5DA23F875306 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:36:22] 849*2^1438107-1 is not prime. Res64: 16005B8720624AAB Time : 0.0 sec. user=mdettweiler [2016-08-22 17:41:57] 873*2^1438107-1 is not prime. Res64: A779948F1870E17B Time : 0.0 sec. user=mdettweiler [2016-08-22 17:41:58] 931*2^1438107-1 is not prime. Res64: 8C7026D6DE4B1D64 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:41:58] 985*2^1438107-1 is not prime. Res64: 79D5C9F5A4D33CCE Time : 0.0 sec. user=mdettweiler [2016-08-22 17:41:59] 605*2^1438108-1 is not prime. Res64: 9874CD32D7016552 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:41:59] 623*2^1438108-1 is not prime. Res64: A2EECE7D1520EF96 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:23] 647*2^1438108-1 is not prime. Res64: 2677B7E19C4A821B Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:24] 665*2^1438108-1 is not prime. Res64: D88AF75390EC8B15 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:24] 677*2^1438108-1 is not prime. Res64: 1D68DDBABCD08834 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:24] 687*2^1438108-1 is not prime. Res64: CA7DF703A513192A Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:25] 695*2^1438108-1 is not prime. Res64: F3E1CFCEC43EE49B Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:57] 749*2^1438108-1 is not prime. Res64: 581C624B6C21FFF1 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:58] 833*2^1438108-1 is not prime. Res64: 3BEB0CA8F8113599 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:58] 855*2^1438108-1 is not prime. Res64: 4C14D6187E37F169 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:59] 869*2^1438108-1 is not prime. Res64: 6694BA36CD64B933 Time : 0.0 sec. user=mdettweiler [2016-08-22 17:56:59] 957*2^1438108-1 is not prime. Res64: 7DC0A63841E9F936 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:21:43] 655*2^1438109-1 is not prime. Res64: ABF838B03DDC0667 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:21:44] 657*2^1438109-1 is not prime. Res64: AE3C8D4B3D5C0F16 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:21:44] 729*2^1438109-1 is not prime. Res64: 46EFDE514E43E304 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:21:45] 747*2^1438109-1 is not prime. Res64: 53CA9B60652E4489 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:21:45] 771*2^1438109-1 is not prime. Res64: 04939CE6A82F0534 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:27:21] 795*2^1438109-1 is not prime. Res64: A650F14E3BF6D5B5 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:27:22] 801*2^1438109-1 is not prime. Res64: B62ED7EEF534698F Time : 0.0 sec. user=mdettweiler [2016-08-22 18:27:22] 879*2^1438109-1 is not prime. Res64: 91B0AB501A70A47D Time : 0.0 sec. user=mdettweiler [2016-08-22 18:27:22] 889*2^1438109-1 is not prime. Res64: BFE5F70FD2847E47 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:27:23] 927*2^1438109-1 is not prime. Res64: 56E6E23EC4207FCA Time : 0.0 sec. user=mdettweiler [2016-08-22 18:41:36] 945*2^1438109-1 is not prime. Res64: CDD96AA19A54AC5B Time : 0.0 sec. user=mdettweiler [2016-08-22 18:41:36] 969*2^1438109-1 is not prime. Res64: BB0604AD3BDE4B80 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:41:37] 985*2^1438109-1 is not prime. Res64: E26D520D06ED8C0F Time : 0.0 sec. user=mdettweiler [2016-08-22 18:41:37] 711*2^1438110-1 is not prime. Res64: A7CF2985B3C7BDC6 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:41:38] 713*2^1438110-1 is not prime. Res64: 69DB8E0F44D35947 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:42:12] 717*2^1438110-1 is not prime. Res64: FD20CB9C00B02192 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:42:13] 767*2^1438110-1 is not prime. Res64: 05F2C0655459BA71 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:42:13] 843*2^1438110-1 is not prime. Res64: B2FB90F5953AF080 Time : 0.0 sec. user=mdettweiler [2016-08-22 18:42:13] 851*2^1438110-1 is not prime. Res64: 3B805A86BCAC1EDA Time : 0.0 sec. user=mdettweiler [2016-08-22 18:42:14] 891*2^1438110-1 is not prime. Res64: A0B89734A545EBC9 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:07:25] 917*2^1438110-1 is not prime. Res64: 347F27DD1A1418C8 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:07:28] 965*2^1438110-1 is not prime. Res64: 75B5629FD6BC1C0B Time : 0.0 sec. user=mdettweiler [2016-08-22 19:07:33] 615*2^1438111-1 is not prime. Res64: 901E78B7FD7DF1B9 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:07:35] 793*2^1438111-1 is not prime. Res64: 7CA8FCD4340382E6 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:07:36] 951*2^1438111-1 is not prime. Res64: 7D77B477B4FF6044 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:12:56] 969*2^1438111-1 is not prime. Res64: A198DB04898FDEA8 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:12:57] 645*2^1438112-1 is not prime. Res64: 5C3C35489EA94C46 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:12:58] 873*2^1438112-1 is not prime. Res64: CE65F28C6B018762 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:12:59] 945*2^1438112-1 is not prime. Res64: 3FF7E6058AAE80CE Time : 0.0 sec. user=mdettweiler [2016-08-22 19:13:00] 957*2^1438112-1 is not prime. Res64: F7F8C519008D81AF Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:08] 995*2^1438112-1 is not prime. Res64: 879C03DF63A84403 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:08] 789*2^1438113-1 is not prime. Res64: 1B76F562317D8F4E Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:09] 891*2^1438113-1 is not prime. Res64: FD81B46141F15FA3 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:10] 901*2^1438113-1 is not prime. Res64: 6B16DC1D386141F1 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:14] 919*2^1438113-1 is not prime. Res64: 93455081136ABF8B Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:31] 969*2^1438113-1 is not prime. Res64: 3ABF1F691E556D9F Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:31] 605*2^1438114-1 is not prime. Res64: 0FCEE5A9EF9EB606 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:32] 617*2^1438114-1 is not prime. Res64: 3318EAB8B6A2AFA4 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:32] 635*2^1438114-1 is not prime. Res64: 758D98DBFDE55073 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:27:32] 695*2^1438114-1 is not prime. Res64: DED08182B51DF6D8 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:53:30] 737*2^1438114-1 is not prime. Res64: FDE5AD1F8B63469C Time : 0.0 sec. user=mdettweiler [2016-08-22 19:53:32] 755*2^1438114-1 is not prime. Res64: DC1FC2DBF8E6A8A2 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:53:33] 773*2^1438114-1 is not prime. Res64: 6EF34F3C64041A11 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:53:34] 947*2^1438114-1 is not prime. Res64: 0AEA2EECBB832496 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:53:35] 993*2^1438114-1 is not prime. Res64: EB423ACF9A20AAFE Time : 0.0 sec. user=mdettweiler [2016-08-22 19:58:34] 609*2^1438115-1 is not prime. Res64: 64BC67341B803037 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:58:34] 619*2^1438115-1 is not prime. Res64: 2A6075153B2F861D Time : 0.0 sec. user=mdettweiler [2016-08-22 19:58:35] 685*2^1438115-1 is not prime. Res64: EE9A2C2816C6CE2B Time : 0.0 sec. user=mdettweiler [2016-08-22 19:58:38] 693*2^1438115-1 is not prime. Res64: 326E68B8C7CC46A7 Time : 0.0 sec. user=mdettweiler [2016-08-22 19:58:38] 715*2^1438115-1 is not prime. Res64: B97A5FF79ED6DB07 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:12:43] 775*2^1438115-1 is not prime. Res64: 571C624EF277AE75 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:12:45] 653*2^1438116-1 is not prime. Res64: 5FBAFF5A2F05FA3D Time : 0.0 sec. user=mdettweiler [2016-08-22 20:12:48] 689*2^1438116-1 is not prime. Res64: 3611909FC0AEBB60 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:12:49] 765*2^1438116-1 is not prime. Res64: BBDF92CB670D7B86 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:12:50] 825*2^1438116-1 is not prime. Res64: 801682AAAE879819 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:13:05] 843*2^1438116-1 is not prime. Res64: 84215CD21334D13C Time : 0.0 sec. user=mdettweiler [2016-08-22 20:13:06] 905*2^1438116-1 is not prime. Res64: 89A916064561FD2E Time : 0.0 sec. user=mdettweiler [2016-08-22 20:13:06] 817*2^1438117-1 is not prime. Res64: FCE81A5D90E9BAF6 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:13:07] 859*2^1438117-1 is not prime. Res64: 1751CFF0B7D136E6 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:13:10] 919*2^1438117-1 is not prime. Res64: 40D52D245160C6AE Time : 0.0 sec. user=mdettweiler [2016-08-22 20:39:09] 627*2^1438118-1 is not prime. Res64: EE9ED1BBAEE2E5F7 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:39:11] 731*2^1438118-1 is not prime. Res64: 007BC3EC7B2C27FA Time : 0.0 sec. user=mdettweiler [2016-08-22 20:39:13] 887*2^1438118-1 is not prime. Res64: 298BC01ACBFF5715 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:39:15] 953*2^1438118-1 is not prime. Res64: BBEE4E83646ED501 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:39:16] 977*2^1438118-1 is not prime. Res64: 7BFD5667040EB55C Time : 0.0 sec. user=mdettweiler [2016-08-22 20:44:10] 613*2^1438119-1 is not prime. Res64: 17B1C0DE18ED8541 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:44:11] 619*2^1438119-1 is not prime. Res64: 467F19DBFF4FC3A4 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:44:11] 649*2^1438119-1 is not prime. Res64: 240764642CBD2996 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:44:15] 703*2^1438119-1 is not prime. Res64: F15D97A2449A1238 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:44:16] 723*2^1438119-1 is not prime. Res64: 84BC0272A89F3DED Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:15] 873*2^1438120-1 is not prime. Res64: 44D9DF87A247AA9B Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:15] 927*2^1438120-1 is not prime. Res64: 2CF964EDD145DD86 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:18] 933*2^1438120-1 is not prime. Res64: AA88AA6236E1ECC4 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:18] 711*2^1438121-1 is not prime. Res64: F57C1A0B59BCBE1D Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:18] 735*2^1438121-1 is not prime. Res64: D6A008F61DC8DD78 Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:43] 747*2^1438121-1 is not prime. Res64: 7A2C9259F385A41E Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:44] 957*2^1438121-1 is not prime. Res64: 673D5247BED3127E Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:44] 981*2^1438121-1 is not prime. Res64: 60A6B23FEDF3206B Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:46] 987*2^1438121-1 is not prime. Res64: C8E8CBB8726A40EE Time : 0.0 sec. user=mdettweiler [2016-08-22 20:58:46] 651*2^1438122-1 is not prime. Res64: F6745CEBF3B5E973 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:25:24] 665*2^1438122-1 is not prime. Res64: AD5154D0FE95992F Time : 0.0 sec. user=mdettweiler [2016-08-22 21:25:24] 683*2^1438122-1 is not prime. Res64: CE8AC90F45B6647A Time : 0.0 sec. user=mdettweiler [2016-08-22 21:25:28] 725*2^1438122-1 is not prime. Res64: CC05F3102A764710 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:25:28] 741*2^1438122-1 is not prime. Res64: C48A486A1B33A1C5 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:25:29] 755*2^1438122-1 is not prime. Res64: D5FD0BCD5624BFE9 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:29:45] 807*2^1438122-1 is not prime. Res64: 66872BEE3D63D54E Time : 0.0 sec. user=mdettweiler [2016-08-22 21:29:45] 815*2^1438122-1 is not prime. Res64: 55AA0832BF230D9C Time : 0.0 sec. user=mdettweiler [2016-08-22 21:29:46] 945*2^1438122-1 is not prime. Res64: 08F3AD530CBAB697 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:29:46] 679*2^1438123-1 is not prime. Res64: 384F8101B4BA4DDE Time : 0.0 sec. user=mdettweiler [2016-08-22 21:29:46] 709*2^1438123-1 is not prime. Res64: 0B3620DB0BECFAD8 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:43:49] 741*2^1438123-1 is not prime. Res64: 1DDA22BEA085E13D Time : 0.0 sec. user=mdettweiler [2016-08-22 21:43:50] 751*2^1438123-1 is not prime. Res64: 00253AAAB8A7E972 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:43:50] 783*2^1438123-1 is not prime. Res64: 9E7A25A735EBF872 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:43:50] 861*2^1438123-1 is not prime. Res64: 75823E53AB013F7A Time : 0.0 sec. user=mdettweiler [2016-08-22 21:43:51] 943*2^1438123-1 is not prime. Res64: A057A62546D5E8D9 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:44:12] 945*2^1438123-1 is not prime. Res64: 7495C1CB04ABA3E7 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:44:13] 659*2^1438124-1 is not prime. Res64: 40F6C03E19B6F8C4 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:44:13] 663*2^1438124-1 is not prime. Res64: 34341FDB8BF13239 Time : 0.0 sec. user=mdettweiler [2016-08-22 21:44:14] 675*2^1438124-1 is not prime. Res64: BFA34548953E56DE Time : 0.0 sec. user=mdettweiler [2016-08-22 21:44:14] 743*2^1438124-1 is not prime. Res64: 6054436B4C52A3B9 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:10:34] 873*2^1438124-1 is not prime. Res64: FE7A425475D6268C Time : 0.0 sec. user=mdettweiler [2016-08-22 22:15:25] 877*2^1438125-1 is not prime. Res64: 68AD0B51A276A682 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:26] 945*2^1438126-1 is not prime. Res64: E2884D66DFD85675 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:26] 759*2^1438127-1 is not prime. Res64: E7F3EC46F00F2CA5 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:28] 823*2^1438127-1 is not prime. Res64: 7B6276C22665844C Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:30] 999*2^1438127-1 is not prime. Res64: 73909F4058CE7AE3 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:30] 605*2^1438128-1 is not prime. Res64: FBFF8ED05509833E Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:38] 627*2^1438128-1 is not prime. Res64: D8DE8871EAE8993C Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:39] 957*2^1438128-1 is not prime. Res64: 0D49E42AB38A1AB2 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:39] 959*2^1438128-1 is not prime. Res64: 0BB548A400F8DD10 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:40] 977*2^1438128-1 is not prime. Res64: 4D3BA78EA88B9426 Time : 0.0 sec. user=mdettweiler [2016-08-22 22:29:40] 699*2^1438129-1 is not prime. Res64: 04ABD615916DF886 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:32] 721*2^1438129-1 is not prime. Res64: 78A39A388D46D759 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:32] 799*2^1438129-1 is not prime. Res64: 1A75EB5685763359 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:33] 819*2^1438129-1 is not prime. Res64: B6D561D566D38F75 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:34] 885*2^1438129-1 is not prime. Res64: 53C3C9991EE21A79 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:34] 985*2^1438129-1 is not prime. Res64: 60C3CCE1BC097B72 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:34] 939*2^1438129-1 is not prime. Res64: 405D11E7E2138836 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:35] 997*2^1438129-1 is not prime. Res64: 59AD9BB8355E4EE7 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:36] 671*2^1438130-1 is not prime. Res64: 4F810ED229E7C2D1 Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:37] 767*2^1438130-1 is not prime. Res64: 916705548EF5972C Time : 0.0 sec. user=mdettweiler [2016-08-22 23:16:38] 887*2^1438130-1 is not prime. Res64: 21BBEE5DC5E0E10E Time : 0.0 sec.