user=mdettweiler [2017-05-05 00:16:35] 861*2^1453113-1 is not prime. Res64: 7CEC410EA3D58EA2 Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:36] 919*2^1453113-1 is not prime. Res64: 547C6E2A10A2B4BD Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:36] 651*2^1453114-1 is not prime. Res64: 271F13B4AAE708B7 Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:36] 657*2^1453114-1 is not prime. Res64: 1FCA93F65DDE38BA Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:37] 717*2^1453114-1 is not prime. Res64: 5D6417161EB2CE29 Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:39] 947*2^1453114-1 is not prime. Res64: EC0BFECF2E424514 Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:40] 975*2^1453114-1 is not prime. Res64: 14C916E65EAA26AE Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:40] 643*2^1453115-1 is not prime. Res64: 7ADA2DF1EE9F7054 Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:41] 675*2^1453115-1 is not prime. Res64: 21E788AE2A41ACBD Time : 0.0 sec. user=mdettweiler [2017-05-05 00:16:42] 753*2^1453115-1 is not prime. Res64: 36D86C858EDFC18D Time : 0.0 sec. user=juhehe [2017-05-05 00:44:13] 759*2^1453115-1 is not prime. Res64: BF3EC43A01303CA1 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:11] 609*2^1453116-1 is not prime. Res64: 8B5EAE737314C82D Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:11] 781*2^1453115-1 is not prime. Res64: 9B65538ECD1E445C Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:14] 627*2^1453116-1 is not prime. Res64: CBB75BD0FBAD5B26 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:16] 855*2^1453115-1 is not prime. Res64: 01B469E5B59C7FBB Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:18] 705*2^1453116-1 is not prime. Res64: 858AF66F9CDA7FEA Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:18] 963*2^1453115-1 is not prime. Res64: CA49B7649BF3C2D3 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:20] 737*2^1453116-1 is not prime. Res64: 048FEC035FE62B5C Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:21] 973*2^1453115-1 is not prime. Res64: 02476C448CC782D7 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:22] 875*2^1453116-1 is not prime. Res64: EFF382BBD840DFC7 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:01:24] 985*2^1453115-1 is not prime. Res64: 8326858D10404B02 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:24] 993*2^1453116-1 is not prime. Res64: 0C21B9F5C9B7D758 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:24] 997*2^1453117-1 is not prime. Res64: 4F522CD9699D3E97 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:25] 757*2^1453117-1 is not prime. Res64: 718FF709410DD693 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:25] 663*2^1453118-1 is not prime. Res64: 2B2318927614967D Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:25] 777*2^1453117-1 is not prime. Res64: 2C2463E4B6BF6B2A Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:26] 713*2^1453118-1 is not prime. Res64: 02D48AA0CF997C37 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:26] 731*2^1453118-1 is not prime. Res64: 1C47016886CC5F84 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:26] 861*2^1453117-1 is not prime. Res64: 68F8042D5E2213F7 Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:27] 825*2^1453118-1 is not prime. Res64: F95257BD12AE9A3D Time : 0.0 sec. user=mdettweiler [2017-05-05 01:46:27] 919*2^1453117-1 is not prime. Res64: 71220DACB92B03B0 Time : 0.0 sec. user=juhehe [2017-05-05 02:07:28] 861*2^1453118-1 is not prime. Res64: 83C47D176447744A Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:56] 897*2^1453118-1 is not prime. Res64: 378FD43522FE37BE Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:57] 703*2^1453119-1 is not prime. Res64: F5FEC933252ED6FD Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:57] 911*2^1453118-1 is not prime. Res64: C056CF27F052259E Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:57] 909*2^1453119-1 is not prime. Res64: 412809B41C40787C Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:58] 935*2^1453118-1 is not prime. Res64: 46AA2B1C5F7244AE Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:58] 961*2^1453119-1 is not prime. Res64: 5D709DA695F5F837 Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:58] 951*2^1453118-1 is not prime. Res64: FDAECF9DC90649B1 Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:59] 975*2^1453119-1 is not prime. Res64: B4C0699DED803BE6 Time : 0.0 sec. user=mdettweiler [2017-05-05 02:30:59] 993*2^1453118-1 is not prime. Res64: 8CED240B1068651D Time : 0.0 sec. user=mdettweiler [2017-05-05 02:31:00] 979*2^1453119-1 is not prime. Res64: 96098254DC1EF908 Time : 0.0 sec. user=juhehe [2017-05-05 02:43:05] 623*2^1453120-1 is not prime. Res64: 8E9BBBBD844433B4 Time : 0.0 sec. user=odicin [2017-05-05 03:15:20] 1001*2^1453122-1 is not prime. Res64: 83A52B84094BA85B Time : 0.0 sec. user=mdettweiler [2017-05-05 03:15:51] 675*2^1453120-1 is not prime. Res64: EC1E43B5EE8B1E42 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:15:51] 825*2^1453120-1 is not prime. Res64: 9BB4E254831BCF79 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:15:52] 843*2^1453120-1 is not prime. Res64: 6FC28F99EF41C5A7 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:15:52] 923*2^1453120-1 is not prime. Res64: 1C78C38D37277C2E Time : 0.0 sec. user=mdettweiler [2017-05-05 03:15:53] 929*2^1453120-1 is not prime. Res64: 22C145C4570CC849 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:16:51] 645*2^1453121-1 is not prime. Res64: 50F0788B8AE5E330 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:16:51] 861*2^1453121-1 is not prime. Res64: 2C728388523FA93C Time : 0.0 sec. user=mdettweiler [2017-05-05 03:16:52] 807*2^1453122-1 is not prime. Res64: 00907EA036879FD8 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:16:52] 867*2^1453122-1 is not prime. Res64: 1D444F272CA328B2 Time : 0.0 sec. user=mdettweiler [2017-05-05 03:16:53] 977*2^1453122-1 is not prime. Res64: 983DD3D09EB72612 Time : 0.0 sec. user=odicin [2017-05-05 03:18:47] 615*2^1453123-1 is not prime. Res64: 6CFA22F3ACE7BEB9 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:00:30] 709*2^1453123-1 is not prime. Res64: 5C057F095461CBFF Time : 0.0 sec. user=mdettweiler [2017-05-05 04:00:33] 723*2^1453123-1 is not prime. Res64: 12A96238C313383A Time : 0.0 sec. user=mdettweiler [2017-05-05 04:00:34] 871*2^1453123-1 is not prime. Res64: 60C818194D4E36AE Time : 0.0 sec. user=mdettweiler [2017-05-05 04:00:35] 885*2^1453123-1 is not prime. Res64: CFB2FFF16E43F8B0 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:00:36] 999*2^1453123-1 is not prime. Res64: 08E9D1AF44A764EE Time : 0.0 sec. user=mdettweiler [2017-05-05 04:01:27] 665*2^1453124-1 is not prime. Res64: 4206472C867701BF Time : 0.0 sec. user=mdettweiler [2017-05-05 04:01:29] 855*2^1453124-1 is not prime. Res64: B6F408BA3A078862 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:01:30] 983*2^1453124-1 is not prime. Res64: C2268AE534AA1C8B Time : 0.0 sec. user=mdettweiler [2017-05-05 04:01:32] 625*2^1453125-1 is not prime. Res64: A6FFA0B2DC331FA8 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:01:33] 655*2^1453125-1 is not prime. Res64: F055931F8341199E Time : 0.0 sec. user=juhehe [2017-05-05 04:01:35] 699*2^1453125-1 is not prime. Res64: A5317B7EE91F76DB Time : 0.0 sec. user=mdettweiler [2017-05-05 04:45:21] 717*2^1453125-1 is not prime. Res64: 6BF8868DD2516D39 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:45:22] 727*2^1453125-1 is not prime. Res64: DF24F14DA69E81AD Time : 0.0 sec. user=mdettweiler [2017-05-05 04:45:22] 741*2^1453125-1 is not prime. Res64: BB90E5CE43E8A00D Time : 0.0 sec. user=mdettweiler [2017-05-05 04:45:23] 811*2^1453125-1 is not prime. Res64: 065060A674E71F9B Time : 0.0 sec. user=mdettweiler [2017-05-05 04:45:23] 861*2^1453125-1 is not prime. Res64: 3BF29712D576AABC Time : 0.0 sec. user=mdettweiler [2017-05-05 04:46:01] 623*2^1453126-1 is not prime. Res64: CC406542933BE8AE Time : 0.0 sec. user=mdettweiler [2017-05-05 04:46:01] 635*2^1453126-1 is not prime. Res64: 700E232508C44094 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:46:02] 645*2^1453126-1 is not prime. Res64: 4853B4B7A6618A46 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:46:02] 705*2^1453126-1 is not prime. Res64: 78481F0D68C06B06 Time : 0.0 sec. user=mdettweiler [2017-05-05 04:46:03] 717*2^1453126-1 is not prime. Res64: 688298AD5F65F6C3 Time : 0.0 sec. user=mdettweiler [2017-05-05 05:29:49] 873*2^1453126-1 is not prime. Res64: 31FC9B620D1D6D9D Time : 0.0 sec. user=mdettweiler [2017-05-05 05:29:49] 897*2^1453126-1 is not prime. Res64: 768ABB31B5DBEDAA Time : 0.0 sec. user=mdettweiler [2017-05-05 05:29:50] 923*2^1453126-1 is not prime. Res64: CF228C8682C6DB43 Time : 0.0 sec. user=mdettweiler [2017-05-05 05:29:50] 603*2^1453127-1 is not prime. Res64: C622A3D542B63896 Time : 0.0 sec. user=mdettweiler [2017-05-05 05:29:50] 609*2^1453127-1 is not prime. Res64: 5862AF8C577A5CFE Time : 0.0 sec. user=mdettweiler [2017-05-05 05:30:28] 759*2^1453127-1 is not prime. Res64: F732316A6207B1DC Time : 0.0 sec. user=mdettweiler [2017-05-05 05:30:28] 831*2^1453127-1 is not prime. Res64: 3526094D80060A4D Time : 0.0 sec. user=mdettweiler [2017-05-05 05:30:29] 627*2^1453128-1 is not prime. Res64: C39ACFE7FC471B39 Time : 0.0 sec. user=mdettweiler [2017-05-05 05:30:29] 705*2^1453128-1 is not prime. Res64: EF6CDE613DAB26B5 Time : 0.0 sec. user=mdettweiler [2017-05-05 05:30:29] 707*2^1453128-1 is not prime. Res64: 2FC4F17DD4FA3AA8 Time : 0.0 sec. user=juhehe [2017-05-05 05:58:54] 773*2^1453128-1 is not prime. Res64: 75A6194000F4B2E6 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:17] 777*2^1453128-1 is not prime. Res64: 6131D541EC5C7BAD Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:17] 867*2^1453128-1 is not prime. Res64: 24E8DC31CD46C0B0 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:18] 887*2^1453128-1 is not prime. Res64: 03A377FF5C08A086 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:18] 915*2^1453128-1 is not prime. Res64: EEDCF1158E1F2111 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:18] 977*2^1453128-1 is not prime. Res64: 4293969620EFC036 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:58] 675*2^1453129-1 is not prime. Res64: DDEC660A38A781F6 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:59] 687*2^1453129-1 is not prime. Res64: BBFC39EF7A35C17E Time : 0.0 sec. user=mdettweiler [2017-05-05 06:14:59] 721*2^1453129-1 is not prime. Res64: 43D11C45FC21047B Time : 0.0 sec. user=mdettweiler [2017-05-05 06:15:00] 801*2^1453129-1 is not prime. Res64: 8EE3C12EBA43EEB2 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:15:00] 835*2^1453129-1 is not prime. Res64: 95D40935CB0507B5 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:58:50] 861*2^1453129-1 is not prime. Res64: 510E22E224105EEE Time : 0.0 sec. user=mdettweiler [2017-05-05 06:58:50] 909*2^1453129-1 is not prime. Res64: 668039A6D0670BAD Time : 0.0 sec. user=mdettweiler [2017-05-05 06:58:50] 831*2^1453130-1 is not prime. Res64: DC0BB40E10D41694 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:58:51] 845*2^1453130-1 is not prime. Res64: 6E2F8125FD91D99B Time : 0.0 sec. user=mdettweiler [2017-05-05 06:58:51] 615*2^1453131-1 is not prime. Res64: F0D5F740C0D86F95 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:59:26] 711*2^1453131-1 is not prime. Res64: F15D563DF424EE94 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:59:27] 741*2^1453131-1 is not prime. Res64: 582D85089D131E94 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:59:27] 793*2^1453131-1 is not prime. Res64: 437C07C4D91782ED Time : 0.0 sec. user=mdettweiler [2017-05-05 06:59:28] 823*2^1453131-1 is not prime. Res64: DABCA29ADF0C83B7 Time : 0.0 sec. user=mdettweiler [2017-05-05 06:59:28] 909*2^1453131-1 is not prime. Res64: C65816545AF59241 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:43:17] 943*2^1453131-1 is not prime. Res64: EDDA7B86DAAAFC16 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:43:18] 975*2^1453131-1 is not prime. Res64: F3E7EAC27880EFA7 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:43:18] 615*2^1453132-1 is not prime. Res64: 4A59E04136322D05 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:43:18] 629*2^1453132-1 is not prime. Res64: 6A4452C66152BD66 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:43:19] 647*2^1453132-1 is not prime. Res64: F009148776DFE8B3 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:44:00] 689*2^1453132-1 is not prime. Res64: 7E12E97E93E2E571 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:44:00] 765*2^1453132-1 is not prime. Res64: DE4ECDB9261540D0 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:44:01] 843*2^1453132-1 is not prime. Res64: FA66DBF69F9220D2 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:44:01] 873*2^1453132-1 is not prime. Res64: 0FD96EEAD672B0A4 Time : 0.0 sec. user=mdettweiler [2017-05-05 07:44:02] 619*2^1453133-1 is not prime. Res64: 93A1B8D11C63AA79 Time : 0.0 sec. user=juhehe [2017-05-05 07:57:55] 741*2^1453133-1 is not prime. Res64: 67F20D948C81B5F0 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:27:46] 855*2^1453133-1 is not prime. Res64: 4CF0B8CE83BA9A41 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:27:47] 889*2^1453133-1 is not prime. Res64: 098601996A5E3684 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:27:47] 955*2^1453133-1 is not prime. Res64: 1B540A4586951133 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:27:47] 985*2^1453133-1 is not prime. Res64: 501711EDB350E7BC Time : 0.0 sec. user=mdettweiler [2017-05-05 08:27:48] 651*2^1453134-1 is not prime. Res64: 557EAFD030D6F886 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:28:27] 683*2^1453134-1 is not prime. Res64: 98B8CCB44C22077A Time : 0.0 sec. user=mdettweiler [2017-05-05 08:28:27] 741*2^1453134-1 is not prime. Res64: 6F311BEFD713FAA2 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:28:28] 773*2^1453134-1 is not prime. Res64: 4226BA6138E23E21 Time : 0.0 sec. user=mdettweiler [2017-05-05 08:28:28] 873*2^1453134-1 is not prime. Res64: FDEC9D19029D60DA Time : 0.0 sec. user=mdettweiler [2017-05-05 08:28:29] 651*2^1453135-1 is not prime. Res64: 78D1E8AA7BF16B2E Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:19] 675*2^1453135-1 is not prime. Res64: 171189A4C698BAF4 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:19] 741*2^1453135-1 is not prime. Res64: BC2E871C5350923D Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:20] 805*2^1453135-1 is not prime. Res64: 843CB83151996D82 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:20] 895*2^1453135-1 is not prime. Res64: 201FBD4E95901AAF Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:21] 603*2^1453136-1 is not prime. Res64: 17B7A706A6E21BE3 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:55] 683*2^1453136-1 is not prime. Res64: 43FBBC243042061B Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:55] 735*2^1453136-1 is not prime. Res64: EDA4CCB0586DAF47 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:56] 945*2^1453136-1 is not prime. Res64: BACDCAA538130F78 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:56] 999*2^1453136-1 is not prime. Res64: 3CD325A06A62095A Time : 0.0 sec. user=mdettweiler [2017-05-05 09:12:57] 669*2^1453137-1 is not prime. Res64: 98D855E2FC35696A Time : 0.0 sec. user=juhehe [2017-05-05 09:55:07] 981*2^1453138-1 is not prime. Res64: 4235F2F13BEE5DAB Time : 0.0 sec. user=mdettweiler [2017-05-05 09:56:53] 847*2^1453137-1 is not prime. Res64: 3C26A29ACF0B0BEB Time : 0.0 sec. user=mdettweiler [2017-05-05 09:56:53] 605*2^1453138-1 is not prime. Res64: 16C8BB12D4DF3E88 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:56:54] 617*2^1453138-1 is not prime. Res64: 18FE6F57F1337D12 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:56:54] 723*2^1453138-1 is not prime. Res64: 1977F690A0D9217F Time : 0.0 sec. user=mdettweiler [2017-05-05 09:56:55] 813*2^1453138-1 is not prime. Res64: 156DCC5D7E3131E5 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:57:24] 825*2^1453138-1 is not prime. Res64: 346DEB414C7F1A6A Time : 0.0 sec. user=mdettweiler [2017-05-05 09:57:24] 867*2^1453138-1 is not prime. Res64: 9F6069C269E92CC1 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:57:25] 911*2^1453138-1 is not prime. Res64: 0EC5C29FDB90F904 Time : 0.0 sec. user=mdettweiler [2017-05-05 09:57:25] 971*2^1453138-1 is not prime. Res64: A5A00CABCFA68AFF Time : 0.0 sec. user=mdettweiler [2017-05-05 09:57:26] 975*2^1453138-1 is not prime. Res64: 39A324A5D455D077 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:23] 995*2^1453138-1 is not prime. Res64: 2EF986A171687567 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:24] 603*2^1453139-1 is not prime. Res64: C5652FBC170516C9 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:24] 643*2^1453139-1 is not prime. Res64: 272CE5B4A0A4ABF1 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:25] 733*2^1453139-1 is not prime. Res64: 80533DE1117A8BC0 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:25] 811*2^1453139-1 is not prime. Res64: BD079D1AD8BAEE54 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:56] 615*2^1453140-1 is not prime. Res64: 989B883936CB0936 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:57] 635*2^1453140-1 is not prime. Res64: F8E57E58DF79E0CC Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:57] 789*2^1453140-1 is not prime. Res64: B22CEA24EFDDC633 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:58] 863*2^1453140-1 is not prime. Res64: D5D2189BC402BCF9 Time : 0.0 sec. user=mdettweiler [2017-05-05 10:41:58] 887*2^1453140-1 is not prime. Res64: 4734F86F8BBC9AF1 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:25:54] 615*2^1453141-1 is not prime. Res64: C6E5854D283D3431 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:25:55] 619*2^1453141-1 is not prime. Res64: 444451C517A39215 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:25:55] 717*2^1453141-1 is not prime. Res64: 8F7BC1889E60901F Time : 0.0 sec. user=mdettweiler [2017-05-05 11:25:56] 741*2^1453141-1 is not prime. Res64: 3052E44D572A1ED1 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:25:56] 777*2^1453141-1 is not prime. Res64: C43843DAF0BAA67C Time : 0.0 sec. user=mdettweiler [2017-05-05 11:26:26] 603*2^1453142-1 is not prime. Res64: 66DA03D532AE50C2 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:26:26] 677*2^1453142-1 is not prime. Res64: 98E14D1FA6376DF6 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:26:27] 705*2^1453142-1 is not prime. Res64: 3C85B9BBE8C437B4 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:26:27] 713*2^1453142-1 is not prime. Res64: 863735B26D6FCE89 Time : 0.0 sec. user=mdettweiler [2017-05-05 11:26:28] 755*2^1453142-1 is not prime. Res64: 977835CA1A41354B Time : 0.0 sec. user=juhehe [2017-05-05 11:53:52] 761*2^1453142-1 is not prime. Res64: 03C17C3BDC39269E Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:25] 797*2^1453142-1 is not prime. Res64: E78ACA2533F8F922 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:25] 813*2^1453142-1 is not prime. Res64: 077D2A9E1B7F1898 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:26] 833*2^1453142-1 is not prime. Res64: CFDA24DBEE27BD0E Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:26] 935*2^1453142-1 is not prime. Res64: C1F06F761F8031A6 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:27] 957*2^1453142-1 is not prime. Res64: 70C25DF02CF03D9A Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:56] 615*2^1453143-1 is not prime. Res64: E92B33F47A22B482 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:57] 621*2^1453143-1 is not prime. Res64: 3201A4D7457E220F Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:58] 679*2^1453143-1 is not prime. Res64: D74EACD5AB3B951C Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:58] 789*2^1453143-1 is not prime. Res64: 0EA9274EF872A391 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:10:59] 823*2^1453143-1 is not prime. Res64: 1FF824E80E6DE2F8 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:17] 623*2^1453144-1 is not prime. Res64: 0F76D81FC8A776F9 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:17] 989*2^1453144-1 is not prime. Res64: 7E43DEB5124DD635 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:18] 995*2^1453144-1 is not prime. Res64: 347AC5A3616BA1C2 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:18] 601*2^1453145-1 is not prime. Res64: CA9E260FE7195171 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:19] 775*2^1453145-1 is not prime. Res64: ABE67F8982C4C2BF Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:48] 781*2^1453145-1 is not prime. Res64: BBE78C251FC97BEC Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:48] 787*2^1453145-1 is not prime. Res64: DABD4FCE86EB8FE5 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:48] 633*2^1453146-1 is not prime. Res64: 364D4530385CEF7C Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:48] 705*2^1453146-1 is not prime. Res64: EF6805533D7CA136 Time : 0.0 sec. user=mdettweiler [2017-05-05 12:55:49] 807*2^1453146-1 is not prime. Res64: 8A20E99D168E14A3 Time : 0.0 sec. user=juhehe [2017-05-05 13:30:17] 821*2^1453146-1 is not prime. Res64: 9C02C62D83644EC7 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:24] 873*2^1453146-1 is not prime. Res64: 31663B07E023672E Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:24] 945*2^1453146-1 is not prime. Res64: BA26961851E40F6D Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:25] 631*2^1453147-1 is not prime. Res64: 82B6F2DB5F9003C9 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:25] 639*2^1453147-1 is not prime. Res64: 2B3B2ABA3BD28349 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:25] 691*2^1453147-1 is not prime. Res64: DC1B2F1EB38E96D9 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:57] 703*2^1453147-1 is not prime. Res64: 67F5D77B4A470A48 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:57] 805*2^1453147-1 is not prime. Res64: B77188CD3D6CBE29 Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:57] 909*2^1453147-1 is not prime. Res64: 2023E7500649EE6F Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:58] 915*2^1453147-1 is not prime. Res64: 1F494D01D6DB9A5E Time : 0.0 sec. user=mdettweiler [2017-05-05 13:40:58] 999*2^1453147-1 is not prime. Res64: 6B0B703FC30F073E Time : 0.0 sec. user=juhehe [2017-05-05 13:51:20] 603*2^1453148-1 is not prime. Res64: 673600D06548E438 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:09] 735*2^1453148-1 is not prime. Res64: 14964FEF8A067E3A Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:09] 797*2^1453148-1 is not prime. Res64: AD5AFF8A297711CE Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:10] 845*2^1453148-1 is not prime. Res64: D93831477DD27E1C Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:10] 867*2^1453148-1 is not prime. Res64: 68B3DF54A33EF316 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:11] 899*2^1453148-1 is not prime. Res64: CFC7558044A7FE70 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:41] 909*2^1453148-1 is not prime. Res64: DABB1130F78545F9 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:42] 915*2^1453148-1 is not prime. Res64: 5B2F068B224F809C Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:42] 621*2^1453149-1 is not prime. Res64: CD011E9E3046ACD9 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:42] 723*2^1453150-1 is not prime. Res64: 3BAE947A3E94F1E6 Time : 0.0 sec. user=mdettweiler [2017-05-05 14:25:43] 861*2^1453150-1 is not prime. Res64: 2A6E8C819703C53F Time : 0.0 sec. user=mdettweiler [2017-05-05 15:09:42] 863*2^1453150-1 is not prime. Res64: 2A6E650091059265 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:09:43] 897*2^1453150-1 is not prime. Res64: F09BB1C8C6C2CDAB Time : 0.0 sec. user=mdettweiler [2017-05-05 15:09:43] 941*2^1453150-1 is not prime. Res64: 8DA4476A8121BD92 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:09:44] 995*2^1453150-1 is not prime. Res64: BA690E4CBF9F2EB0 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:09:45] 651*2^1453151-1 is not prime. Res64: 67D34FBA01D849D5 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:10:13] 745*2^1453151-1 is not prime. Res64: D765DAE08911040D Time : 0.0 sec. user=mdettweiler [2017-05-05 15:10:14] 865*2^1453151-1 is not prime. Res64: EEEDAD8743F4A83C Time : 0.0 sec. user=mdettweiler [2017-05-05 15:10:14] 939*2^1453151-1 is not prime. Res64: CADB21C12E067640 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:10:15] 665*2^1453152-1 is not prime. Res64: 2EB521B6E4EE600E Time : 0.0 sec. user=mdettweiler [2017-05-05 15:10:15] 693*2^1453152-1 is not prime. Res64: 022383423CF5BA2C Time : 0.0 sec. user=juhehe [2017-05-05 15:50:20] 741*2^1453154-1 is not prime. Res64: 7815C78FD80E65DB Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:27] 725*2^1453152-1 is not prime. Res64: C163990EAB7B4268 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:27] 759*2^1453152-1 is not prime. Res64: 5BBB669AE6FE08F3 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:27] 933*2^1453152-1 is not prime. Res64: BCD151E9B7342FC7 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:28] 983*2^1453152-1 is not prime. Res64: 398D263C2326D8C0 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:28] 615*2^1453153-1 is not prime. Res64: 6CF814F04FD38E2C Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:45] 649*2^1453153-1 is not prime. Res64: 3CBAB5A16BFB9609 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:46] 651*2^1453153-1 is not prime. Res64: 6B57401ACF2FD0BB Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:46] 769*2^1453153-1 is not prime. Res64: 212B15B17E68CC4A Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:47] 831*2^1453153-1 is not prime. Res64: A3C39C1D69D2D1B6 Time : 0.0 sec. user=mdettweiler [2017-05-05 15:54:47] 641*2^1453154-1 is not prime. Res64: E8F54288D0581044 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:00] 873*2^1453154-1 is not prime. Res64: 02BF1BF9F5B909AA Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:00] 921*2^1453154-1 is not prime. Res64: BB071A14C8654B40 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:01] 649*2^1453155-1 is not prime. Res64: 479230DE5ABF1B40 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:01] 651*2^1453155-1 is not prime. Res64: E305D6201B34E9FA Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:02] 781*2^1453155-1 is not prime. Res64: 97E97D5F63AD8423 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:17] 789*2^1453155-1 is not prime. Res64: 5213BD79E075B1F5 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:17] 793*2^1453155-1 is not prime. Res64: 0615E45E84D6349D Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:18] 873*2^1453155-1 is not prime. Res64: 34E7B843134E58B4 Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:18] 723*2^1453156-1 is not prime. Res64: 155A15B60E1BDE8A Time : 0.0 sec. user=mdettweiler [2017-05-05 16:39:19] 743*2^1453156-1 is not prime. Res64: 16740DFB74D89608 Time : 0.0 sec. user=juhehe [2017-05-05 17:08:38] 983*2^1453156-1 is not prime. Res64: E3A00FED2F38A48D Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:40] 649*2^1453157-1 is not prime. Res64: 3C172772E76FFCDA Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:40] 691*2^1453157-1 is not prime. Res64: ED4B8C2AA0EBF3AB Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:41] 699*2^1453157-1 is not prime. Res64: F050E20077D979C8 Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:41] 735*2^1453157-1 is not prime. Res64: 5296D58265CC35BE Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:42] 757*2^1453157-1 is not prime. Res64: 98F1F90DAF73CA30 Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:55] 825*2^1453157-1 is not prime. Res64: 053488B6DCAC6AFB Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:55] 831*2^1453157-1 is not prime. Res64: 1BF0CEF4B4A8505E Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:56] 859*2^1453157-1 is not prime. Res64: EC37A27711C263FF Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:56] 985*2^1453157-1 is not prime. Res64: 2F8DC5829ABFC87B Time : 0.0 sec. user=mdettweiler [2017-05-05 17:23:56] 747*2^1453158-1 is not prime. Res64: 5E7294A1BD04581A Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:12] 777*2^1453158-1 is not prime. Res64: 1679519E8FE86CB0 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:13] 795*2^1453158-1 is not prime. Res64: 598F8117F388D9F9 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:13] 885*2^1453158-1 is not prime. Res64: CC9CE9735DDD32CC Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:14] 971*2^1453158-1 is not prime. Res64: F2598B063EC3CF9D Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:14] 601*2^1453159-1 is not prime. Res64: 4F5F7F37F7AFE012 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:25] 741*2^1453159-1 is not prime. Res64: 4A4D0E7CEE70FBF5 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:26] 759*2^1453159-1 is not prime. Res64: C5D1FC63C50647AE Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:26] 853*2^1453159-1 is not prime. Res64: 1D16D1424BF25A0D Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:26] 883*2^1453159-1 is not prime. Res64: 70BA82A73BC578DB Time : 0.0 sec. user=mdettweiler [2017-05-05 18:08:27] 891*2^1453159-1 is not prime. Res64: 925B559B5984A6B1 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:50] 717*2^1453160-1 is not prime. Res64: 8BB6ED0831576087 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:50] 735*2^1453160-1 is not prime. Res64: 90FDCB438CCB51ED Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:51] 789*2^1453160-1 is not prime. Res64: 3322ECD13EA7210E Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:51] 839*2^1453160-1 is not prime. Res64: 623414E99DFD2DA4 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:51] 843*2^1453160-1 is not prime. Res64: 19FB8B0E696255EF Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:55] 845*2^1453160-1 is not prime. Res64: 57B18E3FAF29F2B3 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:55] 959*2^1453160-1 is not prime. Res64: 2FCB9DA344453030 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:56] 963*2^1453160-1 is not prime. Res64: E749E16657E3B6DB Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:56] 977*2^1453160-1 is not prime. Res64: 802ADC6CC617D3D7 Time : 0.0 sec. user=mdettweiler [2017-05-05 18:52:57] 983*2^1453160-1 is not prime. Res64: BF3AF20D2B210CCA Time : 0.0 sec. user=juhehe [2017-05-05 19:06:57] 625*2^1453161-1 is not prime. Res64: 651988AF311A465C Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:22] 795*2^1453161-1 is not prime. Res64: 386A4A61A891F569 Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:22] 811*2^1453161-1 is not prime. Res64: 5E50F0B79172FB31 Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:23] 861*2^1453161-1 is not prime. Res64: 9C98D107B4CE8E6E Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:23] 871*2^1453161-1 is not prime. Res64: CC2FDA410E7A485D Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:24] 951*2^1453161-1 is not prime. Res64: 4EBE7F7A2A7DD1D1 Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:28] 955*2^1453161-1 is not prime. Res64: 154BCF06532E9ACD Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:28] 979*2^1453161-1 is not prime. Res64: DD0B03ADBE4CC20F Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:29] 987*2^1453161-1 is not prime. Res64: B1AB8EF1419FCD49 Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:29] 621*2^1453162-1 is not prime. Res64: 43E50DF103CE9861 Time : 0.0 sec. user=mdettweiler [2017-05-05 19:37:29] 675*2^1453162-1 is not prime. Res64: B00F6D13685D23E7 Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:00] 701*2^1453162-1 is not prime. Res64: DBD77BD42D0DBC0A Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:01] 713*2^1453162-1 is not prime. Res64: 390A592304B45F2C Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:02] 803*2^1453162-1 is not prime. Res64: B3AA5B44651C461D Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:02] 815*2^1453162-1 is not prime. Res64: B2D6BC4CB89AB9CC Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:03] 891*2^1453162-1 is not prime. Res64: B35B1314C2A88471 Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:04] 947*2^1453162-1 is not prime. Res64: 0CA6811D360BC212 Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:05] 983*2^1453162-1 is not prime. Res64: D95E10DB1F5536F5 Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:05] 621*2^1453163-1 is not prime. Res64: 6847CD68635C98DA Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:06] 705*2^1453163-1 is not prime. Res64: C998B1549984D901 Time : 0.0 sec. user=mdettweiler [2017-05-05 20:22:07] 885*2^1453163-1 is not prime. Res64: 83F13A2CB6A287D9 Time : 0.0 sec. user=juhehe [2017-05-05 21:06:22] 895*2^1453165-1 is not prime. Res64: 333C4DEE4F5DD882 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:38] 795*2^1453164-1 is not prime. Res64: 6D9CC024EB628721 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:38] 873*2^1453164-1 is not prime. Res64: 0AF7C8E1148A20BB Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:38] 895*2^1453163-1 is not prime. Res64: 41E62D131DD035CF Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:39] 899*2^1453164-1 is not prime. Res64: C540546F60E37409 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:39] 955*2^1453163-1 is not prime. Res64: 0281BD18B781C79C Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:39] 969*2^1453164-1 is not prime. Res64: 671863A108A37347 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:39] 639*2^1453164-1 is not prime. Res64: D933D46ADB9D4494 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:40] 607*2^1453165-1 is not prime. Res64: F073543BC89D41CC Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:40] 719*2^1453164-1 is not prime. Res64: E7F13A12327802D5 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:06:41] 725*2^1453164-1 is not prime. Res64: 634CA544D35D0CDD Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:16] 925*2^1453165-1 is not prime. Res64: 86621A253C09D380 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:16] 937*2^1453165-1 is not prime. Res64: C72AAC97CF0945B7 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:17] 957*2^1453165-1 is not prime. Res64: E0D27592A79C299B Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:17] 825*2^1453166-1 is not prime. Res64: 723C07B5CBCDFE19 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:17] 801*2^1453166-1 is not prime. Res64: E1F8DFFF96ACA045 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:18] 893*2^1453166-1 is not prime. Res64: F3E4CAB51FA8972E Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:18] 813*2^1453166-1 is not prime. Res64: 3A494795D30A7B15 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:18] 897*2^1453166-1 is not prime. Res64: 314E309174AEEF1B Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:19] 945*2^1453166-1 is not prime. Res64: 6C856C0ABD028855 Time : 0.0 sec. user=mdettweiler [2017-05-05 21:51:19] 957*2^1453166-1 is not prime. Res64: BBCE856C0587E558 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:48] 971*2^1453166-1 is not prime. Res64: B9B0156B267539B7 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:49] 693*2^1453167-1 is not prime. Res64: FF7187A078122541 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:49] 795*2^1453167-1 is not prime. Res64: 9E372A8F188B3877 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:49] 961*2^1453167-1 is not prime. Res64: 384233C065424257 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:50] 963*2^1453167-1 is not prime. Res64: 97ECAD88A38A65F6 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:53] 615*2^1453168-1 is not prime. Res64: E2474F552025CBB4 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:54] 623*2^1453168-1 is not prime. Res64: 5502E78317C9D44B Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:54] 999*2^1453168-1 is not prime. Res64: 5D95CB4028290212 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:55] 631*2^1453169-1 is not prime. Res64: BE6097E7F4A10EB1 Time : 0.0 sec. user=mdettweiler [2017-05-05 22:35:55] 685*2^1453169-1 is not prime. Res64: 70416BE812CEAA4C Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:22] 795*2^1453169-1 is not prime. Res64: B66242C67C00B312 Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:23] 837*2^1453169-1 is not prime. Res64: 843919B100839E5D Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:23] 985*2^1453169-1 is not prime. Res64: 77699270F522C352 Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:23] 713*2^1453170-1 is not prime. Res64: B4E23FAE9495414D Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:24] 765*2^1453170-1 is not prime. Res64: D2081119EAF03C9E Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:27] 791*2^1453170-1 is not prime. Res64: 93F57B427CB1F51B Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:27] 803*2^1453170-1 is not prime. Res64: 2D39BC4FB240A1FA Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:28] 1001*2^1453170-1 is not prime. Res64: 6D735665187E486B Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:28] 625*2^1453171-1 is not prime. Res64: 3EC0BCBC8EE6D817 Time : 0.0 sec. user=mdettweiler [2017-05-05 23:20:28] 645*2^1453171-1 is not prime. Res64: F6150903F8679AB2 Time : 0.0 sec. user=juhehe [2017-05-05 23:23:47] 751*2^1453171-1 is not prime. Res64: 94A6384365F0AF2F Time : 0.0 sec.