user=mdettweiler [2018-07-27 00:12:46] 641*2^1519566-1 is not prime. Res64: 52E8065CFA607B1C Time : 0.0 sec. user=mdettweiler [2018-07-27 00:12:47] 683*2^1519566-1 is not prime. Res64: 55D277E26FD77A2B Time : 0.0 sec. user=mdettweiler [2018-07-27 00:12:47] 693*2^1519566-1 is not prime. Res64: 605E29413A786E6C Time : 0.0 sec. user=mdettweiler [2018-07-27 00:12:48] 705*2^1519566-1 is not prime. Res64: F15B2E78E0326109 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:12:48] 713*2^1519566-1 is not prime. Res64: CC02EC174F989F6B Time : 0.0 sec. user=mdettweiler [2018-07-27 00:24:08] 801*2^1519566-1 is not prime. Res64: DA4298340605B6F1 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:24:09] 851*2^1519566-1 is not prime. Res64: 61659A3E07308A1D Time : 0.0 sec. user=mdettweiler [2018-07-27 00:24:09] 861*2^1519566-1 is not prime. Res64: 632A8A48629B0801 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:24:10] 983*2^1519566-1 is not prime. Res64: 7BC76029A82B8A1D Time : 0.0 sec. user=mdettweiler [2018-07-27 00:24:10] 621*2^1519567-1 is not prime. Res64: 166C4D13024D9852 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:27:22] 649*2^1519567-1 is not prime. Res64: 8DDD31C24BEF705E Time : 0.0 sec. user=mdettweiler [2018-07-27 00:27:23] 693*2^1519567-1 is not prime. Res64: 5710BF4DB1C312E7 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:27:23] 705*2^1519567-1 is not prime. Res64: 87CDB95A75FBA3D8 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:27:23] 741*2^1519567-1 is not prime. Res64: A382E6F4FD28967A Time : 0.0 sec. user=mdettweiler [2018-07-27 00:27:24] 793*2^1519567-1 is not prime. Res64: BED2EACD4565E439 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:33:30] 873*2^1519567-1 is not prime. Res64: 4C4E89779388B836 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:33:31] 885*2^1519567-1 is not prime. Res64: FFDFED91F156D6FD Time : 0.0 sec. user=mdettweiler [2018-07-27 00:33:31] 901*2^1519567-1 is not prime. Res64: E1D7E56B52DB3E4C Time : 0.0 sec. user=mdettweiler [2018-07-27 00:33:32] 939*2^1519567-1 is not prime. Res64: 42160F7D1EF5BB98 Time : 0.0 sec. user=mdettweiler [2018-07-27 00:33:32] 951*2^1519567-1 is not prime. Res64: 018A4FBA5ACBA616 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:03:46] 617*2^1519568-1 is not prime. Res64: 42BB4A1D20E97CFC Time : 0.0 sec. user=mdettweiler [2018-07-27 01:03:47] 629*2^1519568-1 is not prime. Res64: 24E43DABF02EA18E Time : 0.0 sec. user=mdettweiler [2018-07-27 01:03:48] 665*2^1519568-1 is not prime. Res64: 0E9E9BCFB2BE15DD Time : 0.0 sec. user=mdettweiler [2018-07-27 01:03:49] 753*2^1519568-1 is not prime. Res64: 19DEE7CA3770658A Time : 0.0 sec. user=mdettweiler [2018-07-27 01:03:50] 957*2^1519568-1 is not prime. Res64: 2D8EDBC4DBF64538 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:15:07] 735*2^1519569-1 is not prime. Res64: 87A375625FF2DE63 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:15:07] 829*2^1519569-1 is not prime. Res64: D7079C20AD6CE33F Time : 0.0 sec. user=mdettweiler [2018-07-27 01:15:08] 847*2^1519569-1 is not prime. Res64: E55F1B09E786720C Time : 0.0 sec. user=mdettweiler [2018-07-27 01:15:08] 979*2^1519569-1 is not prime. Res64: 7FEA522892A01A34 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:15:09] 997*2^1519569-1 is not prime. Res64: 532E04B0272D6995 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:18:10] 821*2^1519570-1 is not prime. Res64: 96784BD8E55C5D4A Time : 0.0 sec. user=mdettweiler [2018-07-27 01:18:10] 867*2^1519570-1 is not prime. Res64: 1F2F19684F0D3041 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:18:11] 885*2^1519570-1 is not prime. Res64: A9598474C9F7806A Time : 0.0 sec. user=mdettweiler [2018-07-27 01:18:11] 911*2^1519570-1 is not prime. Res64: 8C15E310F1121705 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:18:12] 945*2^1519570-1 is not prime. Res64: 58B63A4B2F54AF74 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:24:15] 703*2^1519571-1 is not prime. Res64: 1DD6712B9E6868C1 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:24:15] 811*2^1519571-1 is not prime. Res64: E2ED24732A628957 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:24:16] 885*2^1519571-1 is not prime. Res64: E469802FA8E4CD76 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:24:16] 635*2^1519572-1 is not prime. Res64: 7619B7825B37CACB Time : 0.0 sec. user=mdettweiler [2018-07-27 01:24:16] 717*2^1519572-1 is not prime. Res64: 6AA90BE6843F1ADF Time : 0.0 sec. user=mdettweiler [2018-07-27 01:55:18] 753*2^1519572-1 is not prime. Res64: 1A84A6533AE876FC Time : 0.0 sec. user=mdettweiler [2018-07-27 01:55:18] 615*2^1519573-1 is not prime. Res64: E175E85722C86E4B Time : 0.0 sec. user=mdettweiler [2018-07-27 01:55:19] 685*2^1519573-1 is not prime. Res64: C6BEF1AD65F3A107 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:55:20] 751*2^1519573-1 is not prime. Res64: 0F71FABC16C18CB4 Time : 0.0 sec. user=mdettweiler [2018-07-27 01:55:20] 757*2^1519573-1 is not prime. Res64: F5DAB51E8C5151A0 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:06:15] 769*2^1519573-1 is not prime. Res64: 90492FC3107E4573 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:06:16] 805*2^1519573-1 is not prime. Res64: BC5E8AD81C6CBE0C Time : 0.0 sec. user=mdettweiler [2018-07-27 02:06:17] 847*2^1519573-1 is not prime. Res64: 71A96ED1EA3C3405 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:06:18] 877*2^1519573-1 is not prime. Res64: C522381300CAD7A2 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:06:19] 927*2^1519573-1 is not prime. Res64: 6D1E71B8849FF513 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:09:39] 617*2^1519574-1 is not prime. Res64: 2D8BF6941C8BBEC8 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:09:40] 635*2^1519574-1 is not prime. Res64: D2519BE82F9D4353 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:09:41] 641*2^1519574-1 is not prime. Res64: D85657BE067EC629 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:09:42] 675*2^1519574-1 is not prime. Res64: A238D124DA184170 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:09:42] 791*2^1519574-1 is not prime. Res64: 7804072CBAE05CBC Time : 0.0 sec. user=mdettweiler [2018-07-27 02:16:20] 897*2^1519574-1 is not prime. Res64: F19E396D312B12FE Time : 0.0 sec. user=mdettweiler [2018-07-27 02:16:21] 941*2^1519574-1 is not prime. Res64: AE32F5296772856D Time : 0.0 sec. user=mdettweiler [2018-07-27 02:16:21] 971*2^1519574-1 is not prime. Res64: 145FE183CFDC3D41 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:16:21] 633*2^1519575-1 is not prime. Res64: 95A4B149BB0CADC5 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:16:22] 651*2^1519575-1 is not prime. Res64: 2A25490EF70F399C Time : 0.0 sec. user=mdettweiler [2018-07-27 02:50:35] 669*2^1519575-1 is not prime. Res64: 79C94A63FE8E475C Time : 0.0 sec. user=mdettweiler [2018-07-27 02:50:36] 723*2^1519575-1 is not prime. Res64: A5CF01DF05671D83 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:50:36] 735*2^1519575-1 is not prime. Res64: D061C93D6A286AE5 Time : 0.0 sec. user=mdettweiler [2018-07-27 02:50:36] 871*2^1519575-1 is not prime. Res64: 97C5C6F0A749516E Time : 0.0 sec. user=mdettweiler [2018-07-27 02:50:37] 943*2^1519575-1 is not prime. Res64: 5BA38C473DE424E8 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:00:48] 629*2^1519576-1 is not prime. Res64: D44B3E5410FC94D6 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:00:49] 639*2^1519576-1 is not prime. Res64: 172D5F2D2818A96A Time : 0.0 sec. user=mdettweiler [2018-07-27 03:00:50] 705*2^1519576-1 is not prime. Res64: 73BDE2D64EB02F64 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:00:51] 849*2^1519576-1 is not prime. Res64: FD59CA082B3B6529 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:00:52] 619*2^1519577-1 is not prime. Res64: CFED5AA6B8A65ECB Time : 0.0 sec. user=mdettweiler [2018-07-27 03:10:33] 675*2^1519577-1 is not prime. Res64: 51047FF9492247C1 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:10:34] 699*2^1519577-1 is not prime. Res64: B275241D61F8C4D9 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:10:34] 759*2^1519577-1 is not prime. Res64: EF1AE18D83E1D18A Time : 0.0 sec. user=mdettweiler [2018-07-27 03:10:35] 831*2^1519577-1 is not prime. Res64: 2B10A88DDFF80774 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:10:35] 901*2^1519577-1 is not prime. Res64: 16E200D059559888 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:15:41] 955*2^1519577-1 is not prime. Res64: 2E1C7152569192B6 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:15:41] 985*2^1519577-1 is not prime. Res64: FAD54E04B95FD07B Time : 0.0 sec. user=mdettweiler [2018-07-27 03:15:42] 605*2^1519578-1 is not prime. Res64: 1533F8B4B11B670A Time : 0.0 sec. user=mdettweiler [2018-07-27 03:15:42] 681*2^1519578-1 is not prime. Res64: DFCE526114A15AD7 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:15:43] 941*2^1519578-1 is not prime. Res64: A63B48F95C4AEA51 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:42:30] 645*2^1519579-1 is not prime. Res64: 48E01D46B76BF508 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:42:31] 649*2^1519579-1 is not prime. Res64: 97E656346B9811BE Time : 0.0 sec. user=mdettweiler [2018-07-27 03:42:32] 685*2^1519579-1 is not prime. Res64: 581A8F6A291A0515 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:42:32] 723*2^1519579-1 is not prime. Res64: F8DFCFF3E9768151 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:42:33] 733*2^1519579-1 is not prime. Res64: BFEDD623F9D3669D Time : 0.0 sec. user=mdettweiler [2018-07-27 03:52:54] 735*2^1519579-1 is not prime. Res64: 3DAE9C0DBE7521E6 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:52:55] 759*2^1519579-1 is not prime. Res64: 26FCFDC70D34C88F Time : 0.0 sec. user=mdettweiler [2018-07-27 03:52:56] 765*2^1519579-1 is not prime. Res64: 41A1123DEC4E53E5 Time : 0.0 sec. user=mdettweiler [2018-07-27 03:52:57] 841*2^1519579-1 is not prime. Res64: 3355E6C9D26A04ED Time : 0.0 sec. user=mdettweiler [2018-07-27 03:52:59] 843*2^1519579-1 is not prime. Res64: D68F81A74D230B29 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:02:56] 973*2^1519579-1 is not prime. Res64: 5210B57833247524 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:09:07] 983*2^1519580-1 is not prime. Res64: 32A3653301EBD46F Time : 0.0 sec. user=mdettweiler [2018-07-27 04:09:11] 661*2^1519581-1 is not prime. Res64: 4260EB640D1936DB Time : 0.0 sec. user=mdettweiler [2018-07-27 04:09:12] 669*2^1519581-1 is not prime. Res64: C43750B0D010646F Time : 0.0 sec. user=mdettweiler [2018-07-27 04:09:14] 901*2^1519581-1 is not prime. Res64: 42785978D329AB8E Time : 0.0 sec. user=mdettweiler [2018-07-27 04:09:17] 617*2^1519582-1 is not prime. Res64: DE1CFEB26AA50C4C Time : 0.0 sec. user=mdettweiler [2018-07-27 04:36:08] 645*2^1519582-1 is not prime. Res64: DF2CE5B2DE3E0F1B Time : 0.0 sec. user=mdettweiler [2018-07-27 04:36:08] 657*2^1519582-1 is not prime. Res64: 3AA90C8213843DDB Time : 0.0 sec. user=mdettweiler [2018-07-27 04:36:09] 827*2^1519582-1 is not prime. Res64: AD1EF0006B1395A6 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:36:09] 887*2^1519582-1 is not prime. Res64: CDBBC676AFB2CD29 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:36:10] 923*2^1519582-1 is not prime. Res64: EDF04859EF32D474 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:45:53] 965*2^1519582-1 is not prime. Res64: 79448F85A2424CF9 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:45:54] 987*2^1519582-1 is not prime. Res64: C0C201494722A33A Time : 0.0 sec. user=mdettweiler [2018-07-27 04:45:55] 633*2^1519583-1 is not prime. Res64: FE2E140BCA9D86B4 Time : 0.0 sec. user=mdettweiler [2018-07-27 04:45:55] 729*2^1519583-1 is not prime. Res64: 1B6FE6EE2C6F262C Time : 0.0 sec. user=mdettweiler [2018-07-27 04:45:56] 745*2^1519583-1 is not prime. Res64: FBE39B4CD0000D91 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:01:39] 753*2^1519583-1 is not prime. Res64: BD35EE52B6BFE88A Time : 0.0 sec. user=mdettweiler [2018-07-27 05:01:40] 871*2^1519583-1 is not prime. Res64: 4D0E73962FEA3D5B Time : 0.0 sec. user=mdettweiler [2018-07-27 05:01:41] 955*2^1519583-1 is not prime. Res64: FC7F24DD331779E2 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:01:42] 963*2^1519583-1 is not prime. Res64: CA122CBEB1363C31 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:01:43] 969*2^1519583-1 is not prime. Res64: AEA2D6677552875D Time : 0.0 sec. user=mdettweiler [2018-07-27 05:27:30] 629*2^1519584-1 is not prime. Res64: 7B29283B1885F0F7 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:27:30] 689*2^1519584-1 is not prime. Res64: F152477FF30854DB Time : 0.0 sec. user=mdettweiler [2018-07-27 05:27:31] 759*2^1519584-1 is not prime. Res64: 3AC987CDBA4F62BD Time : 0.0 sec. user=mdettweiler [2018-07-27 05:27:31] 767*2^1519584-1 is not prime. Res64: C6471D6720022146 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:27:31] 837*2^1519584-1 is not prime. Res64: 6BD3A2C23D8341FB Time : 0.0 sec. user=mdettweiler [2018-07-27 05:37:23] 873*2^1519584-1 is not prime. Res64: 7FE08E82BAC5A0AF Time : 0.0 sec. user=mdettweiler [2018-07-27 05:37:24] 893*2^1519584-1 is not prime. Res64: C0ACBDB990404AA7 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:37:24] 685*2^1519585-1 is not prime. Res64: 1D9147E5915ABF92 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:37:25] 715*2^1519585-1 is not prime. Res64: 40033277BC69BE69 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:37:25] 727*2^1519585-1 is not prime. Res64: FD4321CCBB494144 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:53:21] 765*2^1519585-1 is not prime. Res64: F52593E070A56E30 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:53:22] 867*2^1519585-1 is not prime. Res64: F88B4F9CD80DC8AF Time : 0.0 sec. user=mdettweiler [2018-07-27 05:53:22] 919*2^1519585-1 is not prime. Res64: FB2089493B6B5E3D Time : 0.0 sec. user=mdettweiler [2018-07-27 05:53:22] 981*2^1519585-1 is not prime. Res64: D22EF2DA79931F87 Time : 0.0 sec. user=mdettweiler [2018-07-27 05:53:23] 623*2^1519586-1 is not prime. Res64: 197EB3BBF393AA2E Time : 0.0 sec. user=mdettweiler [2018-07-27 06:18:54] 713*2^1519586-1 is not prime. Res64: 759E45099861903C Time : 0.0 sec. user=mdettweiler [2018-07-27 06:18:55] 875*2^1519586-1 is not prime. Res64: 008B1F3C45F49D2C Time : 0.0 sec. user=mdettweiler [2018-07-27 06:18:55] 651*2^1519587-1 is not prime. Res64: 784C012FE247F551 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:18:55] 769*2^1519587-1 is not prime. Res64: 5BB18D4FC3B2D9D4 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:18:56] 775*2^1519587-1 is not prime. Res64: 0B3FAD05D8384A75 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:28:36] 801*2^1519587-1 is not prime. Res64: 001FDE544B206586 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:28:37] 823*2^1519587-1 is not prime. Res64: F47BFEABDAD0ADE0 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:28:37] 973*2^1519587-1 is not prime. Res64: EEAFF3C6DB7F2467 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:28:37] 979*2^1519587-1 is not prime. Res64: FF219874BD03669D Time : 0.0 sec. user=mdettweiler [2018-07-27 06:28:38] 605*2^1519588-1 is not prime. Res64: 34C4BAF03E1E40EE Time : 0.0 sec. user=mdettweiler [2018-07-27 06:44:31] 695*2^1519588-1 is not prime. Res64: B7FA5D9389FD4518 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:44:31] 783*2^1519588-1 is not prime. Res64: 0002EB2F55C1B0E1 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:44:31] 827*2^1519588-1 is not prime. Res64: FB154C001A07AE48 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:44:32] 843*2^1519588-1 is not prime. Res64: D61BD21A53F27B77 Time : 0.0 sec. user=mdettweiler [2018-07-27 06:44:32] 975*2^1519588-1 is not prime. Res64: 42B5A880E5D77CBB Time : 0.0 sec. user=mdettweiler [2018-07-27 07:10:26] 995*2^1519588-1 is not prime. Res64: D6545CB66E8BBDD0 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:10:26] 631*2^1519589-1 is not prime. Res64: BAE896BF66B9960C Time : 0.0 sec. user=mdettweiler [2018-07-27 07:10:27] 645*2^1519589-1 is not prime. Res64: 540B465FF775FF6F Time : 0.0 sec. user=mdettweiler [2018-07-27 07:10:27] 747*2^1519589-1 is not prime. Res64: 3A44611681C69750 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:10:28] 627*2^1519590-1 is not prime. Res64: CBF4AC258DDDFDBC Time : 0.0 sec. user=mdettweiler [2018-07-27 07:21:10] 641*2^1519590-1 is not prime. Res64: FF8446C1376B4AC8 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:21:10] 795*2^1519590-1 is not prime. Res64: 1D90C4F0977CCDB2 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:21:10] 797*2^1519590-1 is not prime. Res64: F0EAF3582A946CDF Time : 0.0 sec. user=mdettweiler [2018-07-27 07:21:11] 801*2^1519590-1 is not prime. Res64: 4A48EAEADB4A6180 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:21:11] 825*2^1519590-1 is not prime. Res64: 7AEB6BB7C5330681 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:36:15] 873*2^1519590-1 is not prime. Res64: B40687C91A8EE95A Time : 0.0 sec. user=mdettweiler [2018-07-27 07:36:15] 891*2^1519590-1 is not prime. Res64: ED75037387168CB4 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:36:16] 917*2^1519590-1 is not prime. Res64: 88F3C2750F3D3C2C Time : 0.0 sec. user=mdettweiler [2018-07-27 07:36:16] 679*2^1519591-1 is not prime. Res64: 23DA28B2757017AD Time : 0.0 sec. user=mdettweiler [2018-07-27 07:36:16] 705*2^1519591-1 is not prime. Res64: D4C41640B60E5977 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:40:54] 687*2^1519580-1 is not prime. Res64: A599815C3E04C2B8 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:40:55] 707*2^1519580-1 is not prime. Res64: E0895DA03647A428 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:40:55] 725*2^1519580-1 is not prime. Res64: 1B8D652617E4AC29 Time : 0.0 sec. user=mdettweiler [2018-07-27 07:40:55] 767*2^1519580-1 is not prime. Res64: 898EA85EF39C1EB8 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:01:59] 723*2^1519591-1 is not prime. Res64: F5A9E401C5406DD4 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:02:00] 805*2^1519591-1 is not prime. Res64: F287605C14077C40 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:02:01] 841*2^1519591-1 is not prime. Res64: 8B06416760DD6E5E Time : 0.0 sec. user=mdettweiler [2018-07-27 08:02:02] 861*2^1519591-1 is not prime. Res64: B32F9024745399B9 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:02:02] 931*2^1519591-1 is not prime. Res64: E5F632D962A8464E Time : 0.0 sec. user=mdettweiler [2018-07-27 08:11:45] 615*2^1519592-1 is not prime. Res64: 0B187B23119DC699 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:11:45] 635*2^1519592-1 is not prime. Res64: D1546AEF4A9E7F9E Time : 0.0 sec. user=mdettweiler [2018-07-27 08:11:46] 743*2^1519592-1 is not prime. Res64: 7E802846E7D468BC Time : 0.0 sec. user=mdettweiler [2018-07-27 08:11:47] 755*2^1519592-1 is not prime. Res64: 804CDA38FF072D99 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:11:47] 815*2^1519592-1 is not prime. Res64: 27CCE17C407EBEF5 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:27:30] 879*2^1519592-1 is not prime. Res64: 3B71EFA9F876A857 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:27:31] 915*2^1519592-1 is not prime. Res64: A03C5600CCE39F13 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:27:31] 959*2^1519592-1 is not prime. Res64: A12351B89FAD1EC6 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:27:31] 999*2^1519592-1 is not prime. Res64: BDE0A35B255B7C94 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:27:32] 607*2^1519593-1 is not prime. Res64: 33A0CDDFF8A216BB Time : 0.0 sec. user=mdettweiler [2018-07-27 08:32:14] 675*2^1519593-1 is not prime. Res64: 12AE4BCAFE07D62E Time : 0.0 sec. user=mdettweiler [2018-07-27 08:32:15] 681*2^1519593-1 is not prime. Res64: 2C3B9A77ACD8F19B Time : 0.0 sec. user=mdettweiler [2018-07-27 08:32:15] 829*2^1519593-1 is not prime. Res64: DAD36104EAA25C7D Time : 0.0 sec. user=mdettweiler [2018-07-27 08:32:15] 837*2^1519593-1 is not prime. Res64: E8313A4EDA15E9A9 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:32:16] 889*2^1519593-1 is not prime. Res64: 35320C513A4A2C84 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:53:32] 937*2^1519593-1 is not prime. Res64: E02389501888AA50 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:53:33] 773*2^1519594-1 is not prime. Res64: 0F7DD9A41369D9B0 Time : 0.0 sec. user=mdettweiler [2018-07-27 08:53:33] 833*2^1519594-1 is not prime. Res64: C034D19172F6AEAD Time : 0.0 sec. user=mdettweiler [2018-07-27 08:53:34] 917*2^1519594-1 is not prime. Res64: C6070CB5FD43511D Time : 0.0 sec. user=mdettweiler [2018-07-27 08:53:34] 971*2^1519594-1 is not prime. Res64: 6CC1F06566173EBB Time : 0.0 sec. user=mdettweiler [2018-07-27 09:03:09] 679*2^1519595-1 is not prime. Res64: F8226DBA049795D9 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:03:10] 733*2^1519595-1 is not prime. Res64: CC00B4597B54967A Time : 0.0 sec. user=mdettweiler [2018-07-27 09:03:11] 735*2^1519595-1 is not prime. Res64: DD1F93D90F45238C Time : 0.0 sec. user=mdettweiler [2018-07-27 09:03:11] 825*2^1519595-1 is not prime. Res64: 5BB46E66DF764916 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:03:12] 985*2^1519595-1 is not prime. Res64: 23CFDFF5E9BE6407 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:18:33] 669*2^1519596-1 is not prime. Res64: CA59CA92DC34E9B6 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:18:34] 689*2^1519596-1 is not prime. Res64: 1616CAB00AEDDA64 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:18:34] 735*2^1519596-1 is not prime. Res64: 7E8F2772C0AA245F Time : 0.0 sec. user=mdettweiler [2018-07-27 09:18:35] 803*2^1519596-1 is not prime. Res64: 87E744FA153B92F4 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:18:35] 845*2^1519596-1 is not prime. Res64: 37E3DDF07BFCFCFA Time : 0.0 sec. user=mdettweiler [2018-07-27 09:23:48] 993*2^1519596-1 is not prime. Res64: 2671964ACAAA5B8A Time : 0.0 sec. user=mdettweiler [2018-07-27 09:23:49] 687*2^1519597-1 is not prime. Res64: 847D184021D5D310 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:23:49] 741*2^1519597-1 is not prime. Res64: EC63B43AB69A916A Time : 0.0 sec. user=mdettweiler [2018-07-27 09:23:49] 819*2^1519597-1 is not prime. Res64: 1D7C1CFD0BB99ACC Time : 0.0 sec. user=mdettweiler [2018-07-27 09:23:50] 859*2^1519597-1 is not prime. Res64: 6F475BDEBAF5C067 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:44:37] 939*2^1519597-1 is not prime. Res64: 6749850580099DC1 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:44:38] 961*2^1519597-1 is not prime. Res64: 2010C2C137D557D6 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:44:38] 761*2^1519598-1 is not prime. Res64: E7E8542010532D5C Time : 0.0 sec. user=mdettweiler [2018-07-27 09:44:39] 773*2^1519598-1 is not prime. Res64: 6BC4AB60346693F3 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:44:39] 897*2^1519598-1 is not prime. Res64: A76450122E3FDEE6 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:54:58] 971*2^1519598-1 is not prime. Res64: F71241240AC16F49 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:54:59] 823*2^1519599-1 is not prime. Res64: 4ACEE06A610969C1 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:54:59] 895*2^1519599-1 is not prime. Res64: 67D2E26E726ED017 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:55:00] 919*2^1519599-1 is not prime. Res64: 519211EAA1BDDEA9 Time : 0.0 sec. user=mdettweiler [2018-07-27 09:55:00] 969*2^1519599-1 is not prime. Res64: 6064B9C1A475686D Time : 0.0 sec. user=mdettweiler [2018-07-27 10:10:26] 653*2^1519600-1 is not prime. Res64: AC3849D7B27EBC97 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:10:27] 693*2^1519600-1 is not prime. Res64: B391E9E424E09F9D Time : 0.0 sec. user=mdettweiler [2018-07-27 10:10:27] 719*2^1519600-1 is not prime. Res64: A5CA368C37D941B8 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:10:28] 875*2^1519600-1 is not prime. Res64: 52B8A71F54338EBC Time : 0.0 sec. user=mdettweiler [2018-07-27 10:10:28] 965*2^1519600-1 is not prime. Res64: C401428DDF3AF4E0 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:15:10] 615*2^1519601-1 is not prime. Res64: 6B7F47EBA6A3C852 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:15:10] 675*2^1519601-1 is not prime. Res64: 80701149FE4F5E2F Time : 0.0 sec. user=mdettweiler [2018-07-27 10:15:11] 611*2^1519602-1 is not prime. Res64: C64AC60B6D76FC35 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:15:11] 621*2^1519602-1 is not prime. Res64: 616B2AFE8BC280F5 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:15:12] 735*2^1519602-1 is not prime. Res64: F35A9149190D22A8 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:36:41] 767*2^1519602-1 is not prime. Res64: C1556360A0FB8244 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:36:41] 797*2^1519602-1 is not prime. Res64: 1BC956B9DDBD7B3F Time : 0.0 sec. user=mdettweiler [2018-07-27 10:36:42] 917*2^1519602-1 is not prime. Res64: F5AD901EAAEC8F65 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:36:42] 951*2^1519602-1 is not prime. Res64: 719F434AACEA8D19 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:36:42] 625*2^1519603-1 is not prime. Res64: F11A5E61E5F4CEBA Time : 0.0 sec. user=mdettweiler [2018-07-27 10:46:33] 649*2^1519603-1 is not prime. Res64: 3D5475C7AE111268 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:46:33] 663*2^1519603-1 is not prime. Res64: 5BAF3FDE123F5207 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:46:33] 673*2^1519603-1 is not prime. Res64: 70C2104CEF03F0F7 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:46:34] 939*2^1519603-1 is not prime. Res64: A3AD3A3ABDE2D220 Time : 0.0 sec. user=mdettweiler [2018-07-27 10:46:34] 943*2^1519603-1 is not prime. Res64: 3B6D97BEC077DAF2 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:01:43] 623*2^1519604-1 is not prime. Res64: 0C39230E788885FD Time : 0.0 sec. user=mdettweiler [2018-07-27 11:01:44] 665*2^1519604-1 is not prime. Res64: 597D8EB3DE4A6CD7 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:01:44] 813*2^1519604-1 is not prime. Res64: F0547A3F556207DF Time : 0.0 sec. user=mdettweiler [2018-07-27 11:01:45] 833*2^1519604-1 is not prime. Res64: 19346F58E1F58B60 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:01:45] 649*2^1519605-1 is not prime. Res64: C4A4997D1A155689 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:07:17] 667*2^1519605-1 is not prime. Res64: 2D08F32C88D37B4C Time : 0.0 sec. user=mdettweiler [2018-07-27 11:07:17] 691*2^1519605-1 is not prime. Res64: 89AA87F2D9168A38 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:07:18] 765*2^1519605-1 is not prime. Res64: 1FDB44B5280B28CC Time : 0.0 sec. user=mdettweiler [2018-07-27 11:07:18] 847*2^1519605-1 is not prime. Res64: E908E7DC8AA840BC Time : 0.0 sec. user=mdettweiler [2018-07-27 11:07:19] 861*2^1519605-1 is not prime. Res64: 6DD9C60633ACC5F3 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:27:27] 891*2^1519605-1 is not prime. Res64: 595C40CE6D22682D Time : 0.0 sec. user=mdettweiler [2018-07-27 11:27:28] 955*2^1519605-1 is not prime. Res64: E3E12745084D31C9 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:27:28] 985*2^1519605-1 is not prime. Res64: 48EEFE29801475EA Time : 0.0 sec. user=mdettweiler [2018-07-27 11:27:28] 603*2^1519606-1 is not prime. Res64: DEF64EBBD63D95E4 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:27:29] 857*2^1519606-1 is not prime. Res64: 38E79E3A51FA1614 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:37:38] 881*2^1519606-1 is not prime. Res64: F2CE5C61D01637B9 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:37:38] 975*2^1519606-1 is not prime. Res64: AFA1BD924C7EC397 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:37:39] 663*2^1519607-1 is not prime. Res64: 01DE949CA3CCF763 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:37:39] 775*2^1519607-1 is not prime. Res64: 60B9F49EE02DA6FE Time : 0.0 sec. user=mdettweiler [2018-07-27 11:37:39] 805*2^1519607-1 is not prime. Res64: 9CF18F72F111CDAC Time : 0.0 sec. user=mdettweiler [2018-07-27 11:53:05] 657*2^1519608-1 is not prime. Res64: 4CB00F1E0C5664FE Time : 0.0 sec. user=mdettweiler [2018-07-27 11:53:05] 663*2^1519608-1 is not prime. Res64: 20FD8AE3FB92BFC3 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:53:06] 725*2^1519608-1 is not prime. Res64: 17E7C882DA92914E Time : 0.0 sec. user=mdettweiler [2018-07-27 11:53:06] 819*2^1519608-1 is not prime. Res64: 35DB1D12FFC5E943 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:53:07] 825*2^1519608-1 is not prime. Res64: CD3D1C2C9A15F5F4 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:58:18] 845*2^1519608-1 is not prime. Res64: 8C46EE14C05C1996 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:58:19] 875*2^1519608-1 is not prime. Res64: FAA770C1DEC760A3 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:58:19] 933*2^1519608-1 is not prime. Res64: F68BC70D7FB17F1F Time : 0.0 sec. user=mdettweiler [2018-07-27 11:58:20] 975*2^1519608-1 is not prime. Res64: E291B4BD2C319BC7 Time : 0.0 sec. user=mdettweiler [2018-07-27 11:58:20] 637*2^1519609-1 is not prime. Res64: 37ACA97E290DA0ED Time : 0.0 sec. user=mdettweiler [2018-07-27 12:18:32] 649*2^1519609-1 is not prime. Res64: 8F99C584222AB042 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:18:33] 841*2^1519609-1 is not prime. Res64: 1C64C100F802BC44 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:18:34] 867*2^1519609-1 is not prime. Res64: CBC8D4DD739C899C Time : 0.0 sec. user=mdettweiler [2018-07-27 12:18:34] 999*2^1519609-1 is not prime. Res64: 6A9CF068D1570022 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:18:35] 773*2^1519610-1 is not prime. Res64: B011D33BA43DDB0C Time : 0.0 sec. user=mdettweiler [2018-07-27 12:29:51] 875*2^1519610-1 is not prime. Res64: B5934B180B34B618 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:29:52] 885*2^1519610-1 is not prime. Res64: 22F50E37A6851739 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:29:52] 945*2^1519610-1 is not prime. Res64: 82BEE78E1D9E47B3 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:29:52] 987*2^1519610-1 is not prime. Res64: B61E73107A157858 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:29:53] 615*2^1519611-1 is not prime. Res64: 578A181894304F4A Time : 0.0 sec. user=mdettweiler [2018-07-27 12:48:10] 723*2^1519611-1 is not prime. Res64: 988C7274A8074876 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:48:10] 745*2^1519611-1 is not prime. Res64: DD2619D2397547E6 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:48:10] 829*2^1519611-1 is not prime. Res64: 870B07676BD72D12 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:48:11] 879*2^1519611-1 is not prime. Res64: 883C3142405CCC76 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:48:11] 689*2^1519612-1 is not prime. Res64: 6F6A6D1EA1D505CC Time : 0.0 sec. user=mdettweiler [2018-07-27 12:53:26] 735*2^1519612-1 is not prime. Res64: E536736E4CFB6E17 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:53:27] 749*2^1519612-1 is not prime. Res64: 624D0E6405C62176 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:53:27] 803*2^1519612-1 is not prime. Res64: 7DC3FB9E109FBDE7 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:53:27] 873*2^1519612-1 is not prime. Res64: 68D71C32CC483BE3 Time : 0.0 sec. user=mdettweiler [2018-07-27 12:53:28] 875*2^1519612-1 is not prime. Res64: 49DFEEFF8E2A0621 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:13:09] 885*2^1519612-1 is not prime. Res64: 66B99576B415EF2F Time : 0.0 sec. user=mdettweiler [2018-07-27 13:13:10] 899*2^1519612-1 is not prime. Res64: 6C2B7F6145DD5F63 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:13:10] 741*2^1519613-1 is not prime. Res64: 9CB65E3D70B07EDB Time : 0.0 sec. user=mdettweiler [2018-07-27 13:13:11] 759*2^1519613-1 is not prime. Res64: D4A3936E32319D2A Time : 0.0 sec. user=mdettweiler [2018-07-27 13:13:11] 811*2^1519613-1 is not prime. Res64: 92203F4B07A77541 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:23:00] 987*2^1519613-1 is not prime. Res64: 4F69C2A9411A7524 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:23:00] 627*2^1519614-1 is not prime. Res64: 18B4FDD940287E29 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:23:01] 651*2^1519614-1 is not prime. Res64: 3A7DAC619AA2C7C0 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:23:01] 765*2^1519614-1 is not prime. Res64: 07A382DE02F584BD Time : 0.0 sec. user=mdettweiler [2018-07-27 13:23:02] 807*2^1519614-1 is not prime. Res64: AEEF60777BE5EED4 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:38:53] 815*2^1519614-1 is not prime. Res64: CF86703E190C6CF2 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:38:53] 723*2^1519615-1 is not prime. Res64: 2F3774714C10C750 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:38:54] 853*2^1519615-1 is not prime. Res64: C46C5F60342F6B42 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:38:54] 883*2^1519615-1 is not prime. Res64: C781B85757CE2A21 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:38:54] 919*2^1519615-1 is not prime. Res64: 325505B453DB8F15 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:43:43] 951*2^1519615-1 is not prime. Res64: 50E800A129379CAD Time : 0.0 sec. user=mdettweiler [2018-07-27 13:43:43] 961*2^1519615-1 is not prime. Res64: 3717B2BA15D91B63 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:43:44] 609*2^1519616-1 is not prime. Res64: 5F18DEA4A92D3258 Time : 0.0 sec. user=mdettweiler [2018-07-27 13:43:44] 659*2^1519616-1 is not prime. Res64: 3993A7BBC28BB68A Time : 0.0 sec. user=mdettweiler [2018-07-27 13:43:44] 719*2^1519616-1 is not prime. Res64: 36D1AB5716958E84 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:04:24] 827*2^1519616-1 is not prime. Res64: DCC26A239DBF5374 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:04:26] 875*2^1519616-1 is not prime. Res64: A528DDE45DFF20C9 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:04:27] 923*2^1519616-1 is not prime. Res64: C8D31C33090019DB Time : 0.0 sec. user=mdettweiler [2018-07-27 14:04:28] 957*2^1519616-1 is not prime. Res64: 6926AC9A340F9795 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:04:29] 983*2^1519616-1 is not prime. Res64: 76042586F0972FBC Time : 0.0 sec. user=mdettweiler [2018-07-27 14:14:06] 717*2^1519617-1 is not prime. Res64: 74F530B90CB55AF0 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:14:06] 727*2^1519617-1 is not prime. Res64: 7656352B15B82D1D Time : 0.0 sec. user=mdettweiler [2018-07-27 14:14:07] 741*2^1519617-1 is not prime. Res64: 4EAF5E2F68CBCCC5 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:14:07] 819*2^1519617-1 is not prime. Res64: 76B9F1F21BE0290D Time : 0.0 sec. user=mdettweiler [2018-07-27 14:14:07] 889*2^1519617-1 is not prime. Res64: EBD25D4B45FBF23F Time : 0.0 sec. user=mdettweiler [2018-07-27 14:29:34] 901*2^1519617-1 is not prime. Res64: 17A08277C70B47ED Time : 0.0 sec. user=mdettweiler [2018-07-27 14:29:34] 611*2^1519618-1 is not prime. Res64: 7130D91270FF3FC6 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:29:34] 657*2^1519618-1 is not prime. Res64: 60421D78C47975AC Time : 0.0 sec. user=mdettweiler [2018-07-27 14:29:35] 663*2^1519618-1 is not prime. Res64: 2E7A3CE153E26B07 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:29:35] 681*2^1519618-1 is not prime. Res64: 7FCDD182064FD639 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:34:18] 791*2^1519618-1 is not prime. Res64: 1AB59BAA3A7915A5 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:34:19] 821*2^1519618-1 is not prime. Res64: AD1D6E40CC281FE2 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:34:19] 833*2^1519618-1 is not prime. Res64: EC636D7D413EAF77 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:34:20] 933*2^1519618-1 is not prime. Res64: 2A43A99873A1FEC5 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:34:20] 615*2^1519619-1 is not prime. Res64: 9BE5EEC00702BFF9 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:55:21] 655*2^1519619-1 is not prime. Res64: 5D0F327C95DE3060 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:55:21] 669*2^1519619-1 is not prime. Res64: 10E1C109BDC083D5 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:55:21] 705*2^1519619-1 is not prime. Res64: 15D5DF60D2D22D7C Time : 0.0 sec. user=mdettweiler [2018-07-27 14:55:22] 735*2^1519619-1 is not prime. Res64: F05B2EB31970B1F9 Time : 0.0 sec. user=mdettweiler [2018-07-27 14:55:22] 759*2^1519619-1 is not prime. Res64: FC7D05AC0FFAA931 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:05:10] 771*2^1519619-1 is not prime. Res64: 5F209C4B5059BB60 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:05:11] 843*2^1519619-1 is not prime. Res64: 4472C053740633B7 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:05:12] 861*2^1519619-1 is not prime. Res64: B1620D41A8EA2EFE Time : 0.0 sec. user=mdettweiler [2018-07-27 15:05:12] 913*2^1519619-1 is not prime. Res64: D9CAA7FF6F0FD851 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:05:13] 825*2^1519620-1 is not prime. Res64: BAAF3A5AB17C72E2 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:21:04] 965*2^1519620-1 is not prime. Res64: DC06FBD10C7E5640 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:21:04] 615*2^1519621-1 is not prime. Res64: 9E8797F96ECA6A3C Time : 0.0 sec. user=mdettweiler [2018-07-27 15:21:04] 651*2^1519621-1 is not prime. Res64: 63DA849C4434DBD1 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:21:05] 757*2^1519621-1 is not prime. Res64: F342A6718D08237D Time : 0.0 sec. user=mdettweiler [2018-07-27 15:21:05] 801*2^1519621-1 is not prime. Res64: CEEA7451FD150827 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:25:23] 829*2^1519621-1 is not prime. Res64: 8691400882140E60 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:25:24] 895*2^1519621-1 is not prime. Res64: 09A1EC0B983CF134 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:25:24] 945*2^1519621-1 is not prime. Res64: 94EACD3BF31EE2AD Time : 0.0 sec. user=mdettweiler [2018-07-27 15:25:24] 987*2^1519621-1 is not prime. Res64: AA9BBCB1C23BBE18 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:25:25] 603*2^1519622-1 is not prime. Res64: A1A539F1D0636350 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:47:28] 623*2^1519622-1 is not prime. Res64: 8118516A350DA752 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:47:28] 665*2^1519622-1 is not prime. Res64: 57F6B2630FE80E0D Time : 0.0 sec. user=mdettweiler [2018-07-27 15:47:29] 671*2^1519622-1 is not prime. Res64: C0798AD919B0C350 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:47:29] 675*2^1519622-1 is not prime. Res64: 293102AD21F78E47 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:47:30] 705*2^1519622-1 is not prime. Res64: B0F21C2BE06762C9 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:58:29] 897*2^1519622-1 is not prime. Res64: 22D5ABD7117497E8 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:58:30] 903*2^1519622-1 is not prime. Res64: D22867725A4A1E40 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:58:30] 945*2^1519622-1 is not prime. Res64: 4035FA945FD3C2C1 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:58:30] 957*2^1519622-1 is not prime. Res64: F8EA40B83FDC0892 Time : 0.0 sec. user=mdettweiler [2018-07-27 15:58:31] 1001*2^1519622-1 is not prime. Res64: 40CE98B698C4A59F Time : 0.0 sec. user=mdettweiler [2018-07-27 16:14:31] 619*2^1519623-1 is not prime. Res64: 03ED4B6A37FD2419 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:14:31] 691*2^1519623-1 is not prime. Res64: 97216771F9C759FB Time : 0.0 sec. user=mdettweiler [2018-07-27 16:14:32] 709*2^1519623-1 is not prime. Res64: 1307F40F67FA27BB Time : 0.0 sec. user=mdettweiler [2018-07-27 16:14:32] 739*2^1519623-1 is not prime. Res64: AF5171B674138AA3 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:14:33] 783*2^1519623-1 is not prime. Res64: 1FE6BA3C499F39E2 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:19:06] 823*2^1519623-1 is not prime. Res64: 336710F5F1E1BB85 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:19:06] 891*2^1519623-1 is not prime. Res64: DF5E75AE3E2C29BA Time : 0.0 sec. user=mdettweiler [2018-07-27 16:19:07] 895*2^1519623-1 is not prime. Res64: 1F77C7DA4EA749F5 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:19:07] 933*2^1519623-1 is not prime. Res64: 6C024EED67BC5BBE Time : 0.0 sec. user=mdettweiler [2018-07-27 16:19:07] 609*2^1519624-1 is not prime. Res64: D3364D4285EC2D81 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:39:31] 695*2^1519624-1 is not prime. Res64: 437CE5B43AF47E91 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:39:31] 707*2^1519624-1 is not prime. Res64: 63F67CDF6D70A35E Time : 0.0 sec. user=mdettweiler [2018-07-27 16:39:32] 827*2^1519624-1 is not prime. Res64: 8D076BD6455EFE12 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:39:32] 855*2^1519624-1 is not prime. Res64: 0D3B29939787EA50 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:39:32] 857*2^1519624-1 is not prime. Res64: BAF58351F1899859 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:51:10] 873*2^1519624-1 is not prime. Res64: 59E493455D504769 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:51:11] 905*2^1519624-1 is not prime. Res64: 6ECEAD51A0997C11 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:51:11] 917*2^1519624-1 is not prime. Res64: 4825774A3A2D4E9F Time : 0.0 sec. user=mdettweiler [2018-07-27 16:51:11] 651*2^1519625-1 is not prime. Res64: 907CA5525D328924 Time : 0.0 sec. user=mdettweiler [2018-07-27 16:51:12] 727*2^1519625-1 is not prime. Res64: 984F35F7FE70108A Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:12] 933*2^1519626-1 is not prime. Res64: DDF5AB61A8157487 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:13] 681*2^1519627-1 is not prime. Res64: 4C6847E0090B119D Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:13] 859*2^1519627-1 is not prime. Res64: 0905858E9B3D04DC Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:14] 603*2^1519628-1 is not prime. Res64: 2EFDD0987688CE4B Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:14] 677*2^1519628-1 is not prime. Res64: 3FB1F29E447C17A9 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:18] 847*2^1519625-1 is not prime. Res64: 34ADDFB8FC0510A0 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:18] 855*2^1519625-1 is not prime. Res64: 2CCCD4B1A2805B22 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:19] 611*2^1519626-1 is not prime. Res64: BDEF2208109F38B1 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:19] 633*2^1519626-1 is not prime. Res64: 58C83F06451878CB Time : 0.0 sec. user=mdettweiler [2018-07-27 17:11:19] 683*2^1519626-1 is not prime. Res64: EC7EA0563512D200 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:32:42] 687*2^1519628-1 is not prime. Res64: 90FA8FCA52F5F98B Time : 0.0 sec. user=mdettweiler [2018-07-27 17:32:43] 725*2^1519628-1 is not prime. Res64: EEE34E0B0D100FEF Time : 0.0 sec. user=mdettweiler [2018-07-27 17:32:43] 767*2^1519628-1 is not prime. Res64: 6855BD14AB4A766A Time : 0.0 sec. user=mdettweiler [2018-07-27 17:32:43] 879*2^1519628-1 is not prime. Res64: AA3AED992FEFCA61 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:32:44] 897*2^1519628-1 is not prime. Res64: BB9E8B61651FC902 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:44:10] 969*2^1519628-1 is not prime. Res64: E6BF054266D127D8 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:44:10] 995*2^1519628-1 is not prime. Res64: AECB5AF967C73FD8 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:44:11] 609*2^1519629-1 is not prime. Res64: C885EB3EC99BC156 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:44:11] 657*2^1519629-1 is not prime. Res64: 0F6CA2085A002A29 Time : 0.0 sec. user=mdettweiler [2018-07-27 17:44:11] 669*2^1519629-1 is not prime. Res64: 0CD630414A953DA1 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:07:36] 835*2^1519629-1 is not prime. Res64: 8AF87D8EBF9E0A2D Time : 0.0 sec. user=mdettweiler [2018-07-27 18:07:37] 889*2^1519629-1 is not prime. Res64: E95A465BE6C727F4 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:07:38] 741*2^1519630-1 is not prime. Res64: 8F7D48D9407034FF Time : 0.0 sec. user=mdettweiler [2018-07-27 18:07:39] 773*2^1519630-1 is not prime. Res64: B155F52E1E2827F0 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:07:40] 813*2^1519630-1 is not prime. Res64: 0E653092D2A88219 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:12:03] 845*2^1519630-1 is not prime. Res64: 2DC581891135FBF8 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:12:03] 867*2^1519630-1 is not prime. Res64: F78823B051B42500 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:12:04] 891*2^1519630-1 is not prime. Res64: 82DCDC6478C55211 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:12:04] 917*2^1519630-1 is not prime. Res64: 4F7E6C7F8D5AB01F Time : 0.0 sec. user=mdettweiler [2018-07-27 18:12:05] 923*2^1519630-1 is not prime. Res64: FC596EA2A0B65414 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:28:59] 965*2^1519630-1 is not prime. Res64: 6D04699B33A67486 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:29:00] 975*2^1519630-1 is not prime. Res64: 14EB593E6DE4E13E Time : 0.0 sec. user=mdettweiler [2018-07-27 18:29:00] 1001*2^1519630-1 is not prime. Res64: 2F525022FF4D7F4B Time : 0.0 sec. user=mdettweiler [2018-07-27 18:29:00] 645*2^1519631-1 is not prime. Res64: 911E9C6901ADF2BD Time : 0.0 sec. user=mdettweiler [2018-07-27 18:29:01] 663*2^1519631-1 is not prime. Res64: 9E4069A0829E8E9F Time : 0.0 sec. user=mdettweiler [2018-07-27 18:38:44] 711*2^1519631-1 is not prime. Res64: 9810EB5ABA873A74 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:38:44] 763*2^1519631-1 is not prime. Res64: 3107BB2E0FF4BE96 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:38:45] 859*2^1519631-1 is not prime. Res64: 7CC2CACA573CFAC2 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:38:45] 883*2^1519631-1 is not prime. Res64: 0C3BED33682E6CC8 Time : 0.0 sec. user=mdettweiler [2018-07-27 18:38:46] 615*2^1519632-1 is not prime. Res64: 83C7B7FB8869D0F4 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:00:49] 627*2^1519632-1 is not prime. Res64: F0ED46490CBF2A27 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:00:50] 653*2^1519632-1 is not prime. Res64: EE7DCF93CB357540 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:00:51] 675*2^1519632-1 is not prime. Res64: 885AF245CC09C441 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:00:53] 809*2^1519632-1 is not prime. Res64: BCBF81619B533AFA Time : 0.0 sec. user=mdettweiler [2018-07-27 19:00:53] 863*2^1519632-1 is not prime. Res64: BBDB269F3835228E Time : 0.0 sec. user=mdettweiler [2018-07-27 19:03:19] 915*2^1519632-1 is not prime. Res64: 6098EEF845CEC1FE Time : 0.0 sec. user=mdettweiler [2018-07-27 19:03:20] 607*2^1519633-1 is not prime. Res64: 8A2D428E9219AA95 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:03:21] 679*2^1519633-1 is not prime. Res64: D96D1629B02110F6 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:03:22] 967*2^1519633-1 is not prime. Res64: BE2A8C9D591D3065 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:03:24] 675*2^1519634-1 is not prime. Res64: D6EC32D8FABF7F57 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:20:47] 683*2^1519634-1 is not prime. Res64: 103A0086DF76FF66 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:20:48] 767*2^1519634-1 is not prime. Res64: 925C9EEE44F1C1FC Time : 0.0 sec. user=mdettweiler [2018-07-27 19:20:48] 815*2^1519634-1 is not prime. Res64: 38A9F2F7CADACDA7 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:20:49] 705*2^1519635-1 is not prime. Res64: 81A901D501816B07 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:20:49] 793*2^1519635-1 is not prime. Res64: 01382D8A167E56C8 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:29:48] 871*2^1519635-1 is not prime. Res64: 2BFC8FFC829F488D Time : 0.0 sec. user=mdettweiler [2018-07-27 19:29:48] 973*2^1519635-1 is not prime. Res64: 78FC67C2BD0FAEF9 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:29:48] 603*2^1519636-1 is not prime. Res64: EE6F018F89637A8C Time : 0.0 sec. user=mdettweiler [2018-07-27 19:29:49] 657*2^1519636-1 is not prime. Res64: 8662B65F8783260A Time : 0.0 sec. user=mdettweiler [2018-07-27 19:29:49] 707*2^1519636-1 is not prime. Res64: CFB3907BF5739B40 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:51:47] 717*2^1519636-1 is not prime. Res64: 4B67FD278CDD0ABE Time : 0.0 sec. user=mdettweiler [2018-07-27 19:51:47] 803*2^1519636-1 is not prime. Res64: 86424F2596D36F97 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:51:48] 833*2^1519636-1 is not prime. Res64: DB34C2035E502298 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:51:48] 843*2^1519636-1 is not prime. Res64: 098993506629C1C8 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:51:48] 845*2^1519636-1 is not prime. Res64: A7749D9EA6D9E9E1 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:54:06] 855*2^1519636-1 is not prime. Res64: 0C89DF64EDC689BC Time : 0.0 sec. user=mdettweiler [2018-07-27 19:54:06] 873*2^1519636-1 is not prime. Res64: D1BCC6DB9111F8DA Time : 0.0 sec. user=mdettweiler [2018-07-27 19:54:06] 927*2^1519636-1 is not prime. Res64: 9E01312858E83176 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:54:07] 983*2^1519636-1 is not prime. Res64: 1310754D114AD174 Time : 0.0 sec. user=mdettweiler [2018-07-27 19:54:07] 631*2^1519637-1 is not prime. Res64: E598A4FFC87928BE Time : 0.0 sec. user=mdettweiler [2018-07-27 20:11:35] 931*2^1519637-1 is not prime. Res64: 94438AE1A004D9EB Time : 0.0 sec. user=mdettweiler [2018-07-27 20:11:35] 979*2^1519637-1 is not prime. Res64: 6DC633692ACB065A Time : 0.0 sec. user=mdettweiler [2018-07-27 20:11:35] 997*2^1519637-1 is not prime. Res64: 6AF3AE0573922538 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:11:36] 621*2^1519638-1 is not prime. Res64: 8711A4FE4B0F5796 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:11:36] 663*2^1519638-1 is not prime. Res64: 4D1890A33194336F Time : 0.0 sec. user=mdettweiler [2018-07-27 20:22:00] 711*2^1519638-1 is not prime. Res64: F33D9882C9F2DCB4 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:22:00] 755*2^1519638-1 is not prime. Res64: 9371537553F541BA Time : 0.0 sec. user=mdettweiler [2018-07-27 20:22:01] 843*2^1519638-1 is not prime. Res64: 0A9D31F32F87E2EB Time : 0.0 sec. user=mdettweiler [2018-07-27 20:22:01] 863*2^1519638-1 is not prime. Res64: 200B4891C70D0263 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:22:01] 951*2^1519638-1 is not prime. Res64: B523EF038560EBF7 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:43:09] 977*2^1519638-1 is not prime. Res64: C40841DD0E4646B4 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:43:09] 993*2^1519638-1 is not prime. Res64: 459BF7CE0BD6984A Time : 0.0 sec. user=mdettweiler [2018-07-27 20:43:10] 621*2^1519639-1 is not prime. Res64: 1FB54C07127EB4AD Time : 0.0 sec. user=mdettweiler [2018-07-27 20:43:10] 885*2^1519639-1 is not prime. Res64: A6AAA45BBA93BCEC Time : 0.0 sec. user=mdettweiler [2018-07-27 20:43:11] 925*2^1519639-1 is not prime. Res64: 02CC13A48E7E7804 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:45:33] 951*2^1519639-1 is not prime. Res64: A6B8B0ADE30C58C9 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:45:34] 665*2^1519640-1 is not prime. Res64: E966B2E7041CBE19 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:45:34] 669*2^1519640-1 is not prime. Res64: FAC15A770A47A42B Time : 0.0 sec. user=mdettweiler [2018-07-27 20:45:35] 803*2^1519640-1 is not prime. Res64: 625FFEB5E20826D0 Time : 0.0 sec. user=mdettweiler [2018-07-27 20:45:35] 843*2^1519640-1 is not prime. Res64: BFA4C777A7BF7FA0 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:03:12] 855*2^1519640-1 is not prime. Res64: 564BEAFFB31E3625 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:03:13] 923*2^1519640-1 is not prime. Res64: 0846AC5E3002A6AE Time : 0.0 sec. user=mdettweiler [2018-07-27 21:03:14] 999*2^1519640-1 is not prime. Res64: 1F19F17C7F9B33F4 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:03:15] 649*2^1519641-1 is not prime. Res64: 8F974D057C300153 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:03:16] 705*2^1519641-1 is not prime. Res64: 7505369F245AD7F5 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:12:58] 795*2^1519641-1 is not prime. Res64: 00FC1FA24B6118C9 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:12:58] 657*2^1519642-1 is not prime. Res64: E59CF10607B616AE Time : 0.0 sec. user=mdettweiler [2018-07-27 21:12:58] 665*2^1519642-1 is not prime. Res64: 428DE164CB547B53 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:12:59] 911*2^1519642-1 is not prime. Res64: B9BC8CB9C95361F3 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:12:59] 915*2^1519642-1 is not prime. Res64: AABC7EBFAF9E5512 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:34:08] 917*2^1519642-1 is not prime. Res64: BFE9270A6761F7DA Time : 0.0 sec. user=mdettweiler [2018-07-27 21:34:09] 941*2^1519642-1 is not prime. Res64: 9957BD50555F326F Time : 0.0 sec. user=mdettweiler [2018-07-27 21:34:09] 631*2^1519643-1 is not prime. Res64: 103AB5338FA1DFAB Time : 0.0 sec. user=mdettweiler [2018-07-27 21:34:10] 643*2^1519643-1 is not prime. Res64: 8ED8B79D9ADCA99D Time : 0.0 sec. user=mdettweiler [2018-07-27 21:34:10] 673*2^1519643-1 is not prime. Res64: 816596C17898D025 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:36:53] 753*2^1519643-1 is not prime. Res64: 81B92ADB3B65F86C Time : 0.0 sec. user=mdettweiler [2018-07-27 21:36:53] 855*2^1519643-1 is not prime. Res64: 31EEC037F7761016 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:36:53] 889*2^1519643-1 is not prime. Res64: A67DEE7B8F003228 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:36:54] 993*2^1519643-1 is not prime. Res64: B49D35B9B3124DDE Time : 0.0 sec. user=mdettweiler [2018-07-27 21:36:54] 857*2^1519644-1 is not prime. Res64: 17CFCAD7ADA92BC9 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:55:59] 619*2^1519645-1 is not prime. Res64: FF54C4D1823F046E Time : 0.0 sec. user=mdettweiler [2018-07-27 21:55:59] 759*2^1519645-1 is not prime. Res64: DE7F8BE442FF2783 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:56:00] 771*2^1519645-1 is not prime. Res64: 011A39B8D991E8A7 Time : 0.0 sec. user=mdettweiler [2018-07-27 21:56:00] 801*2^1519645-1 is not prime. Res64: 5D19B6756AA88C4C Time : 0.0 sec. user=mdettweiler [2018-07-27 21:56:00] 825*2^1519645-1 is not prime. Res64: BB76AB9485542EDF Time : 0.0 sec. user=mdettweiler [2018-07-27 22:06:15] 951*2^1519645-1 is not prime. Res64: 7E7582A906F5995C Time : 0.0 sec. user=mdettweiler [2018-07-27 22:06:18] 985*2^1519645-1 is not prime. Res64: 024317FB72E99772 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:06:20] 603*2^1519646-1 is not prime. Res64: 843869D85278436C Time : 0.0 sec. user=mdettweiler [2018-07-27 22:06:21] 671*2^1519646-1 is not prime. Res64: 98DC670A3C4505B6 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:06:24] 707*2^1519646-1 is not prime. Res64: 0A0D4BFDB23B6E78 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:26:42] 773*2^1519646-1 is not prime. Res64: CE48E980811AD0C4 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:26:43] 953*2^1519646-1 is not prime. Res64: 64C53ECB0CE5506E Time : 0.0 sec. user=mdettweiler [2018-07-27 22:26:43] 1001*2^1519646-1 is not prime. Res64: DBBEAF0F9E97041A Time : 0.0 sec. user=mdettweiler [2018-07-27 22:26:44] 685*2^1519647-1 is not prime. Res64: FA5DBE5A4B0B893E Time : 0.0 sec. user=mdettweiler [2018-07-27 22:26:44] 705*2^1519647-1 is not prime. Res64: 10C3139563947C34 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:28:41] 831*2^1519647-1 is not prime. Res64: E8CDDADAF6E23B53 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:28:41] 861*2^1519647-1 is not prime. Res64: 55358801BE551492 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:28:41] 891*2^1519647-1 is not prime. Res64: E3C2CA02DF18828F Time : 0.0 sec. user=mdettweiler [2018-07-27 22:28:42] 913*2^1519647-1 is not prime. Res64: 41D4BEEA9EDC66D8 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:28:42] 931*2^1519647-1 is not prime. Res64: 8301E650DEC12B7F Time : 0.0 sec. user=mdettweiler [2018-07-27 22:51:41] 961*2^1519647-1 is not prime. Res64: 62E9DA46D6F17A3C Time : 0.0 sec. user=mdettweiler [2018-07-27 22:51:41] 623*2^1519648-1 is not prime. Res64: A846EF42B9232790 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:51:42] 747*2^1519648-1 is not prime. Res64: 514C769053AF50C3 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:51:42] 819*2^1519648-1 is not prime. Res64: A4F04F22BC3180E1 Time : 0.0 sec. user=mdettweiler [2018-07-27 22:51:42] 843*2^1519648-1 is not prime. Res64: 1155B871145A1459 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:01:01] 863*2^1519648-1 is not prime. Res64: E5690E088DEC9E82 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:01:02] 969*2^1519648-1 is not prime. Res64: 45EE147DFEBAA7FB Time : 0.0 sec. user=mdettweiler [2018-07-27 23:01:03] 675*2^1519649-1 is not prime. Res64: 6E5F5098EC0655A3 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:01:04] 721*2^1519649-1 is not prime. Res64: 4D09CF853D03E436 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:01:04] 801*2^1519649-1 is not prime. Res64: 55AD3A82A7D618E3 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:19:48] 865*2^1519649-1 is not prime. Res64: 04CEEE5AC6B98F96 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:19:48] 897*2^1519649-1 is not prime. Res64: F27C86A2A6FCC84C Time : 0.0 sec. user=mdettweiler [2018-07-27 23:19:49] 931*2^1519649-1 is not prime. Res64: BB971C9D8B812DCE Time : 0.0 sec. user=mdettweiler [2018-07-27 23:19:49] 611*2^1519650-1 is not prime. Res64: 1779555B81C24CAC Time : 0.0 sec. user=mdettweiler [2018-07-27 23:19:50] 777*2^1519650-1 is not prime. Res64: 72EDBD7FED7ADAAE Time : 0.0 sec. user=mdettweiler [2018-07-27 23:23:41] 803*2^1519650-1 is not prime. Res64: 74BC80ED8AD72183 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:23:41] 821*2^1519650-1 is not prime. Res64: B85D992D45269631 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:23:41] 843*2^1519650-1 is not prime. Res64: 9B319F2CD742B789 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:23:42] 923*2^1519650-1 is not prime. Res64: BDC1E73C6A74AC74 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:23:42] 927*2^1519650-1 is not prime. Res64: C7B5BE84C2D75BAC Time : 0.0 sec. user=mdettweiler [2018-07-27 23:44:23] 681*2^1519651-1 is not prime. Res64: 2F02DBBA6EAEBBF9 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:44:23] 759*2^1519651-1 is not prime. Res64: 5656D40025075582 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:44:24] 849*2^1519651-1 is not prime. Res64: B582CD6E5115863F Time : 0.0 sec. user=mdettweiler [2018-07-27 23:44:24] 635*2^1519652-1 is not prime. Res64: F65A468E7D2E6E01 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:44:24] 693*2^1519652-1 is not prime. Res64: 326616E5BD9F1A54 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:54:22] 725*2^1519652-1 is not prime. Res64: BA73EFC290659B60 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:54:22] 813*2^1519652-1 is not prime. Res64: 4A2D705DA4DFFC99 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:54:22] 843*2^1519652-1 is not prime. Res64: FEFD0D50C7804204 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:54:23] 885*2^1519652-1 is not prime. Res64: 542CA18C5C96A671 Time : 0.0 sec. user=mdettweiler [2018-07-27 23:54:23] 935*2^1519652-1 is not prime. Res64: 0F544931C5D12136 Time : 0.0 sec.