user=mdettweiler [2018-05-19 00:19:23] 891*2^1510119-1 is not prime. Res64: 42E92630DF45B20F Time : 0.0 sec. user=mdettweiler [2018-05-19 00:19:24] 943*2^1510119-1 is not prime. Res64: 951DE14B94D3E4DF Time : 0.0 sec. user=mdettweiler [2018-05-19 00:19:25] 973*2^1510119-1 is not prime. Res64: DA1919B204257B5C Time : 0.0 sec. user=mdettweiler [2018-05-19 00:19:25] 979*2^1510119-1 is not prime. Res64: 69339D55E31059A2 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:19:26] 675*2^1510120-1 is not prime. Res64: E0225B70C4587039 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:20:48] 713*2^1510120-1 is not prime. Res64: B24B232E20AD7A6F Time : 0.0 sec. user=mdettweiler [2018-05-19 00:20:49] 723*2^1510120-1 is not prime. Res64: 87884255C3FAFF13 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:20:49] 735*2^1510120-1 is not prime. Res64: 04923E48F178F59E Time : 0.0 sec. user=mdettweiler [2018-05-19 00:20:51] 607*2^1510121-1 is not prime. Res64: D3EE4E677B3522AD Time : 0.0 sec. user=mdettweiler [2018-05-19 00:20:51] 657*2^1510121-1 is not prime. Res64: FAAE24AC4B8D47A8 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:31:46] 685*2^1510121-1 is not prime. Res64: AF6268E75715C599 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:31:47] 879*2^1510121-1 is not prime. Res64: EF6F156BA39329C1 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:31:47] 957*2^1510121-1 is not prime. Res64: CE4D644A19D30101 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:31:47] 657*2^1510122-1 is not prime. Res64: 2E9E075A3B3291AA Time : 0.0 sec. user=mdettweiler [2018-05-19 00:31:48] 681*2^1510122-1 is not prime. Res64: 7D04757AD1C930A5 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:41:51] 711*2^1510122-1 is not prime. Res64: 9079F8AA0371CA76 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:41:52] 723*2^1510122-1 is not prime. Res64: 9056743E7B3B34BC Time : 0.0 sec. user=mdettweiler [2018-05-19 00:41:52] 765*2^1510122-1 is not prime. Res64: F5E4982FFDE822E5 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:41:53] 801*2^1510122-1 is not prime. Res64: A4F41274E06D27E7 Time : 0.0 sec. user=mdettweiler [2018-05-19 00:41:53] 807*2^1510122-1 is not prime. Res64: B6BE61198154F633 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:32] 873*2^1510122-1 is not prime. Res64: 5BDAB355409F7771 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:32] 887*2^1510122-1 is not prime. Res64: D1DA91AE23B07E5F Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:33] 941*2^1510122-1 is not prime. Res64: 4755C88AC4BABF2F Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:33] 951*2^1510122-1 is not prime. Res64: 7F8320E1EEC507DC Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:33] 963*2^1510122-1 is not prime. Res64: D2194529FC5BD482 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:57] 977*2^1510122-1 is not prime. Res64: 421429B3A07C9C2C Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:57] 615*2^1510123-1 is not prime. Res64: D7CBC9F91B2AF269 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:57] 631*2^1510123-1 is not prime. Res64: 85BE1DA8B1B4FB41 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:58] 771*2^1510123-1 is not prime. Res64: 9ACEC43B438C6153 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:10:58] 783*2^1510123-1 is not prime. Res64: 1A76E93C850F6324 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:22:41] 855*2^1510123-1 is not prime. Res64: FA65A4E167F9A24D Time : 0.0 sec. user=mdettweiler [2018-05-19 01:22:41] 895*2^1510123-1 is not prime. Res64: D1996EE08F5BB86E Time : 0.0 sec. user=mdettweiler [2018-05-19 01:22:41] 725*2^1510124-1 is not prime. Res64: A4F420522FA9904A Time : 0.0 sec. user=mdettweiler [2018-05-19 01:22:42] 729*2^1510124-1 is not prime. Res64: 35FEA8683F149DB3 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:22:43] 785*2^1510124-1 is not prime. Res64: 09C5D8D9ED54C5C1 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:32:57] 803*2^1510124-1 is not prime. Res64: 39664A93911B318F Time : 0.0 sec. user=mdettweiler [2018-05-19 01:32:58] 827*2^1510124-1 is not prime. Res64: 94E79818061ECEDD Time : 0.0 sec. user=mdettweiler [2018-05-19 01:32:59] 873*2^1510124-1 is not prime. Res64: 1E85CA54AFB841B7 Time : 0.0 sec. user=mdettweiler [2018-05-19 01:33:00] 903*2^1510124-1 is not prime. Res64: 82EA5C47D5FD79DD Time : 0.0 sec. user=mdettweiler [2018-05-19 01:33:01] 995*2^1510124-1 is not prime. Res64: DD2C3536D85A4380 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:00:57] 609*2^1510125-1 is not prime. Res64: BEC53B1E35119B13 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:01:00] 625*2^1510125-1 is not prime. Res64: BD06011BDC43837C Time : 0.0 sec. user=mdettweiler [2018-05-19 02:01:03] 657*2^1510125-1 is not prime. Res64: 14EE8BBF8BA9B662 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:01:05] 777*2^1510125-1 is not prime. Res64: A004D45F564D2C29 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:01:06] 795*2^1510125-1 is not prime. Res64: 968446CBAE6EE120 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:02:21] 819*2^1510125-1 is not prime. Res64: 8E6EA7E8155E4B78 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:02:23] 847*2^1510125-1 is not prime. Res64: A80D67CA49C74B9B Time : 0.0 sec. user=mdettweiler [2018-05-19 02:02:25] 895*2^1510125-1 is not prime. Res64: BE61A43E877506C5 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:02:27] 927*2^1510125-1 is not prime. Res64: 7CF3B398401CB637 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:02:28] 991*2^1510125-1 is not prime. Res64: ABDD655AEEA51D2C Time : 0.0 sec. user=mdettweiler [2018-05-19 02:13:37] 623*2^1510126-1 is not prime. Res64: E203B54E29A343CF Time : 0.0 sec. user=mdettweiler [2018-05-19 02:13:38] 713*2^1510126-1 is not prime. Res64: A2CAFDE8C4BC2E12 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:13:39] 723*2^1510126-1 is not prime. Res64: A8067861082F82A8 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:13:39] 861*2^1510126-1 is not prime. Res64: A7E0ADAB53C45B52 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:13:39] 911*2^1510126-1 is not prime. Res64: 085037754A9330F8 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:23:30] 1001*2^1510126-1 is not prime. Res64: BE18FD452BB7C5E4 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:23:31] 669*2^1510127-1 is not prime. Res64: 9C16DC3103BC68BB Time : 0.0 sec. user=mdettweiler [2018-05-19 02:23:31] 729*2^1510127-1 is not prime. Res64: 033162CD9D765504 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:23:32] 763*2^1510127-1 is not prime. Res64: C7311CC30149AB54 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:23:32] 799*2^1510127-1 is not prime. Res64: 3376D176C52F1E5C Time : 0.0 sec. user=mdettweiler [2018-05-19 02:53:24] 669*2^1510128-1 is not prime. Res64: 13BF4EA98B004C7E Time : 0.0 sec. user=mdettweiler [2018-05-19 02:53:25] 683*2^1510128-1 is not prime. Res64: B8F69443B790A500 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:53:26] 689*2^1510128-1 is not prime. Res64: D1FC1685BA0694E1 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:53:26] 695*2^1510128-1 is not prime. Res64: AB5957CCECF302D8 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:53:27] 839*2^1510128-1 is not prime. Res64: 41FEE138A5CA0F83 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:54:19] 829*2^1510127-1 is not prime. Res64: A290416FFD5ECCC6 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:54:20] 883*2^1510127-1 is not prime. Res64: C97A80050250FC5B Time : 0.0 sec. user=mdettweiler [2018-05-19 02:54:20] 889*2^1510127-1 is not prime. Res64: 53F28CABA8B494F9 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:54:21] 915*2^1510127-1 is not prime. Res64: 285A54B9CF016A76 Time : 0.0 sec. user=mdettweiler [2018-05-19 02:54:22] 999*2^1510127-1 is not prime. Res64: 36DA7E6F2502B7CD Time : 0.0 sec. user=mdettweiler [2018-05-19 03:05:26] 935*2^1510128-1 is not prime. Res64: CC86472DCA71C373 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:05:27] 993*2^1510128-1 is not prime. Res64: B58224A96B20C4CC Time : 0.0 sec. user=mdettweiler [2018-05-19 03:05:28] 609*2^1510129-1 is not prime. Res64: 67E9062495640682 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:05:29] 661*2^1510129-1 is not prime. Res64: 2FD8F88B09410CF2 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:05:31] 801*2^1510129-1 is not prime. Res64: 330A9FEC55F90813 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:16:09] 829*2^1510129-1 is not prime. Res64: A106C64961A30879 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:16:10] 919*2^1510129-1 is not prime. Res64: 3A2A7ECA0C38C525 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:16:11] 987*2^1510129-1 is not prime. Res64: ABAD323091A6B237 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:16:11] 767*2^1510130-1 is not prime. Res64: B3F7B93390C61FAC Time : 0.0 sec. user=mdettweiler [2018-05-19 03:16:12] 831*2^1510130-1 is not prime. Res64: A006FD3B0A3719C1 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:03] 981*2^1510130-1 is not prime. Res64: C22BFF8930068531 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:11] 621*2^1510131-1 is not prime. Res64: 4A00CBCE355B0BF5 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:14] 979*2^1510131-1 is not prime. Res64: 275BB69D183C66AA Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:14] 745*2^1510131-1 is not prime. Res64: 07E3E98959743AE6 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:16] 635*2^1510132-1 is not prime. Res64: 374EF74ACE900046 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:16] 921*2^1510131-1 is not prime. Res64: 3B55BF5C74AE03D0 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:21] 951*2^1510131-1 is not prime. Res64: 377B07E1EB1789A2 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:23] 705*2^1510132-1 is not prime. Res64: F3B3D8D73C8ABD3F Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:27] 723*2^1510132-1 is not prime. Res64: B2187212A9484F99 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:45:29] 869*2^1510132-1 is not prime. Res64: DF8377759E2D4541 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:56:26] 619*2^1510133-1 is not prime. Res64: C3E57A872693108C Time : 0.0 sec. user=mdettweiler [2018-05-19 03:56:27] 631*2^1510133-1 is not prime. Res64: F88F0C0DDB72B3AF Time : 0.0 sec. user=mdettweiler [2018-05-19 03:56:28] 715*2^1510133-1 is not prime. Res64: 5319D59F88859650 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:56:29] 897*2^1510133-1 is not prime. Res64: C77E53CFA9C4F259 Time : 0.0 sec. user=mdettweiler [2018-05-19 03:56:30] 955*2^1510133-1 is not prime. Res64: F1085229D94E2A23 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:06:27] 635*2^1510134-1 is not prime. Res64: 999D4A1788946DB5 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:06:32] 725*2^1510134-1 is not prime. Res64: 3D996E52529BBC61 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:06:36] 815*2^1510134-1 is not prime. Res64: 85B196B1C36CFEAA Time : 0.0 sec. user=mdettweiler [2018-05-19 04:06:39] 891*2^1510134-1 is not prime. Res64: C623E60CD74C169A Time : 0.0 sec. user=mdettweiler [2018-05-19 04:06:42] 893*2^1510134-1 is not prime. Res64: A64A8F35C3491803 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:35:47] 917*2^1510134-1 is not prime. Res64: 85854AB36C4C43CB Time : 0.0 sec. user=mdettweiler [2018-05-19 04:35:48] 971*2^1510134-1 is not prime. Res64: 034B53B26B5E3510 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:35:50] 975*2^1510134-1 is not prime. Res64: 131B2B8CEF4C0DEB Time : 0.0 sec. user=mdettweiler [2018-05-19 04:36:14] 693*2^1510135-1 is not prime. Res64: 22D54585012AF51F Time : 0.0 sec. user=mdettweiler [2018-05-19 04:36:15] 741*2^1510135-1 is not prime. Res64: C5E7BEA281D21DD4 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:36:15] 763*2^1510135-1 is not prime. Res64: 7D06D7438C232782 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:36:16] 855*2^1510135-1 is not prime. Res64: 84EB6C1BA382F6B4 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:36:16] 885*2^1510135-1 is not prime. Res64: 894B44989E62D618 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:46:52] 913*2^1510135-1 is not prime. Res64: CCB7A29ECD23B69A Time : 0.0 sec. user=mdettweiler [2018-05-19 04:46:56] 683*2^1510136-1 is not prime. Res64: 59893CE3329CEC0D Time : 0.0 sec. user=mdettweiler [2018-05-19 04:46:57] 693*2^1510136-1 is not prime. Res64: FB913DB31E212AA7 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:46:58] 755*2^1510136-1 is not prime. Res64: FFABE03EF9401307 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:46:59] 827*2^1510136-1 is not prime. Res64: 811FB6DF92F04962 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:59:08] 855*2^1510136-1 is not prime. Res64: 0418F38BF85E1935 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:59:09] 969*2^1510136-1 is not prime. Res64: 5BD14FF9BA79FC76 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:59:10] 639*2^1510137-1 is not prime. Res64: 17D2B8482D25C8E8 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:59:10] 681*2^1510137-1 is not prime. Res64: 1D363095D98F60B2 Time : 0.0 sec. user=mdettweiler [2018-05-19 04:59:11] 751*2^1510137-1 is not prime. Res64: 26FFAEA9C6211752 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:27:25] 837*2^1510137-1 is not prime. Res64: 4D59E4D4B0B624B4 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:27:26] 889*2^1510137-1 is not prime. Res64: 966E63E984D05DBB Time : 0.0 sec. user=mdettweiler [2018-05-19 05:27:27] 937*2^1510137-1 is not prime. Res64: 233E983899DB2C97 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:27:27] 663*2^1510138-1 is not prime. Res64: AEBC25C6F608285A Time : 0.0 sec. user=mdettweiler [2018-05-19 05:27:28] 773*2^1510138-1 is not prime. Res64: 9146836E5B73FF97 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:38:43] 777*2^1510138-1 is not prime. Res64: AC3062B1B16F5A68 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:38:44] 813*2^1510138-1 is not prime. Res64: 4B3735E520840135 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:38:44] 827*2^1510138-1 is not prime. Res64: 2DBCAF06A0941412 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:38:45] 855*2^1510138-1 is not prime. Res64: 69C8D8FBB23CB9B3 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:38:46] 867*2^1510138-1 is not prime. Res64: CECEA9FD547BE98E Time : 0.0 sec. user=mdettweiler [2018-05-19 05:50:27] 945*2^1510138-1 is not prime. Res64: 4AB8BA2CCAA1991E Time : 0.0 sec. user=mdettweiler [2018-05-19 05:50:27] 615*2^1510139-1 is not prime. Res64: 3287D18B18E2A29E Time : 0.0 sec. user=mdettweiler [2018-05-19 05:50:28] 663*2^1510139-1 is not prime. Res64: D3E97FDDC60D73E9 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:50:28] 669*2^1510139-1 is not prime. Res64: 3FB1576C93B756B1 Time : 0.0 sec. user=mdettweiler [2018-05-19 05:50:29] 685*2^1510139-1 is not prime. Res64: B86B4DD006542844 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:19:06] 771*2^1510139-1 is not prime. Res64: DF44AC73034B4D11 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:19:06] 819*2^1510139-1 is not prime. Res64: AD561C82DC007111 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:19:07] 843*2^1510139-1 is not prime. Res64: 43E23E9634F63B22 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:19:07] 861*2^1510139-1 is not prime. Res64: 83C1AECA3C508A2D Time : 0.0 sec. user=mdettweiler [2018-05-19 06:19:07] 879*2^1510139-1 is not prime. Res64: 264FF2E8044FADE0 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:30:11] 633*2^1510140-1 is not prime. Res64: B77E2B0094F079C8 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:30:11] 753*2^1510140-1 is not prime. Res64: 366A1D8406C268B3 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:30:12] 795*2^1510140-1 is not prime. Res64: 433E462FA6A1AFD6 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:30:12] 863*2^1510140-1 is not prime. Res64: 851DF6281B7D4293 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:30:13] 887*2^1510140-1 is not prime. Res64: 318AAE1FF71F6F9F Time : 0.0 sec. user=mdettweiler [2018-05-19 06:42:07] 615*2^1510141-1 is not prime. Res64: A63ABC50483B4878 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:42:08] 741*2^1510141-1 is not prime. Res64: 019F9339E935552F Time : 0.0 sec. user=mdettweiler [2018-05-19 06:42:08] 777*2^1510141-1 is not prime. Res64: A0459C316C826663 Time : 0.0 sec. user=mdettweiler [2018-05-19 06:42:08] 789*2^1510141-1 is not prime. Res64: B4DD64FC3918721A Time : 0.0 sec. user=mdettweiler [2018-05-19 06:42:09] 855*2^1510141-1 is not prime. Res64: FDFAE5255C669028 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:09:42] 895*2^1510141-1 is not prime. Res64: E9A44423CF93A962 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:09:42] 955*2^1510141-1 is not prime. Res64: E3162BDC22C60F9D Time : 0.0 sec. user=mdettweiler [2018-05-19 07:09:43] 957*2^1510141-1 is not prime. Res64: 40D27104B09D0911 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:09:43] 603*2^1510142-1 is not prime. Res64: F6D39D061F3F0676 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:09:43] 623*2^1510142-1 is not prime. Res64: EEB34978BEC96D29 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:21:11] 657*2^1510142-1 is not prime. Res64: 1CEC668484A06E71 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:21:12] 743*2^1510142-1 is not prime. Res64: A3C2374300E05C28 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:21:12] 771*2^1510142-1 is not prime. Res64: 586F49C335C675F1 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:21:13] 797*2^1510142-1 is not prime. Res64: CB3ED0C58413E725 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:21:14] 923*2^1510142-1 is not prime. Res64: 42D9DF58C4E6CC07 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:33:17] 953*2^1510142-1 is not prime. Res64: 8A98FE58436106E9 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:33:18] 685*2^1510143-1 is not prime. Res64: D37A2563AA9ECCF3 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:33:18] 783*2^1510143-1 is not prime. Res64: EC4C14ECD6602091 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:33:19] 819*2^1510143-1 is not prime. Res64: 3887AA450EC68714 Time : 0.0 sec. user=mdettweiler [2018-05-19 07:33:19] 891*2^1510143-1 is not prime. Res64: F2D70625C6D0E864 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:00:59] 605*2^1510144-1 is not prime. Res64: 5AED444015618022 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:01:00] 657*2^1510144-1 is not prime. Res64: 8D2C8BE1A57C578C Time : 0.0 sec. user=mdettweiler [2018-05-19 08:01:02] 827*2^1510144-1 is not prime. Res64: AE457542E0D9D649 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:01:04] 843*2^1510144-1 is not prime. Res64: C3657C895E14315D Time : 0.0 sec. user=mdettweiler [2018-05-19 08:01:05] 857*2^1510144-1 is not prime. Res64: E94CAF72F5C1F48E Time : 0.0 sec. user=mdettweiler [2018-05-19 08:08:59] 639*2^1510135-1 is not prime. Res64: BF25773347C47B4D Time : 0.0 sec. user=mdettweiler [2018-05-19 08:08:59] 673*2^1510135-1 is not prime. Res64: CD880DD692C7DC2E Time : 0.0 sec. user=mdettweiler [2018-05-19 08:12:10] 905*2^1510144-1 is not prime. Res64: 628B604CE88E68BF Time : 0.0 sec. user=mdettweiler [2018-05-19 08:12:11] 909*2^1510144-1 is not prime. Res64: 68315DD664AC455B Time : 0.0 sec. user=mdettweiler [2018-05-19 08:12:12] 619*2^1510145-1 is not prime. Res64: AE0E2820503F05F0 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:12:12] 699*2^1510145-1 is not prime. Res64: 50023CF43CEE4FD9 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:12:13] 741*2^1510145-1 is not prime. Res64: 494EA339B602A0DA Time : 0.0 sec. user=mdettweiler [2018-05-19 08:25:18] 611*2^1510146-1 is not prime. Res64: 9C3E13DC48B373FF Time : 0.0 sec. user=mdettweiler [2018-05-19 08:25:18] 705*2^1510146-1 is not prime. Res64: D66EEB11A56851CD Time : 0.0 sec. user=mdettweiler [2018-05-19 08:25:19] 801*2^1510146-1 is not prime. Res64: 07BE6DA56758D638 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:25:20] 843*2^1510146-1 is not prime. Res64: D47EF197B0B7AF2C Time : 0.0 sec. user=mdettweiler [2018-05-19 08:25:21] 903*2^1510146-1 is not prime. Res64: 5C66A36AA7BB6341 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:51:10] 993*2^1510146-1 is not prime. Res64: BBF919E2DCE76274 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:51:11] 645*2^1510147-1 is not prime. Res64: 02B779F3F536E318 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:51:13] 651*2^1510147-1 is not prime. Res64: 6D5E0176FC481AF1 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:51:13] 663*2^1510147-1 is not prime. Res64: 280DA6602E4A63FD Time : 0.0 sec. user=mdettweiler [2018-05-19 08:51:14] 733*2^1510147-1 is not prime. Res64: 086D329F4FA294E5 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:59:29] 859*2^1510147-1 is not prime. Res64: 17006BCB7158BE19 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:59:29] 891*2^1510147-1 is not prime. Res64: 1B371CB22B651ECC Time : 0.0 sec. user=mdettweiler [2018-05-19 08:59:30] 975*2^1510147-1 is not prime. Res64: 8896A21E56ADC1FD Time : 0.0 sec. user=mdettweiler [2018-05-19 08:59:30] 699*2^1510148-1 is not prime. Res64: 1159654C841FE187 Time : 0.0 sec. user=mdettweiler [2018-05-19 08:59:31] 885*2^1510148-1 is not prime. Res64: C985A0ADBEA67137 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:03:32] 969*2^1510148-1 is not prime. Res64: 2361D3B5BF6373C3 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:03:33] 759*2^1510149-1 is not prime. Res64: 5920C75D7F61BE72 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:03:34] 765*2^1510149-1 is not prime. Res64: 384C00911435D220 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:03:35] 795*2^1510149-1 is not prime. Res64: 00199318916D10FF Time : 0.0 sec. user=mdettweiler [2018-05-19 09:03:36] 885*2^1510149-1 is not prime. Res64: 4AE32B937641AD4F Time : 0.0 sec. user=mdettweiler [2018-05-19 09:16:03] 889*2^1510149-1 is not prime. Res64: 8B831D73A22B397D Time : 0.0 sec. user=mdettweiler [2018-05-19 09:16:03] 927*2^1510149-1 is not prime. Res64: 6E1C256E653FB900 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:16:04] 949*2^1510149-1 is not prime. Res64: F82904B213A84C6E Time : 0.0 sec. user=mdettweiler [2018-05-19 09:16:04] 999*2^1510149-1 is not prime. Res64: 0E9DB669CE62428A Time : 0.0 sec. user=mdettweiler [2018-05-19 09:16:06] 647*2^1510150-1 is not prime. Res64: EBE76ECD662C4A88 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:41:03] 665*2^1510150-1 is not prime. Res64: 926D6A04B670C6A5 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:41:03] 687*2^1510150-1 is not prime. Res64: A816BF9948FED08D Time : 0.0 sec. user=mdettweiler [2018-05-19 09:41:03] 707*2^1510150-1 is not prime. Res64: 4CCBA5E5ACFA8D13 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:41:04] 923*2^1510150-1 is not prime. Res64: 7D8EF48E42AC3D7E Time : 0.0 sec. user=mdettweiler [2018-05-19 09:41:04] 621*2^1510151-1 is not prime. Res64: 091ED759D1F6433A Time : 0.0 sec. user=mdettweiler [2018-05-19 09:49:58] 663*2^1510151-1 is not prime. Res64: F73DBD43CA93424B Time : 0.0 sec. user=mdettweiler [2018-05-19 09:49:59] 759*2^1510151-1 is not prime. Res64: 79441249DD71BC59 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:49:59] 855*2^1510151-1 is not prime. Res64: 96630DE648E8E4A7 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:50:00] 885*2^1510151-1 is not prime. Res64: 197BC37FB29EC9AB Time : 0.0 sec. user=mdettweiler [2018-05-19 09:50:00] 955*2^1510151-1 is not prime. Res64: 2F0DD0E433E82140 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:54:14] 627*2^1510152-1 is not prime. Res64: 5522204E25DFBD31 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:54:14] 713*2^1510152-1 is not prime. Res64: F8D423E79BE397B1 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:54:15] 747*2^1510152-1 is not prime. Res64: B2D13312EF0859A6 Time : 0.0 sec. user=mdettweiler [2018-05-19 09:54:15] 797*2^1510152-1 is not prime. Res64: 294D02B2FB697EAB Time : 0.0 sec. user=mdettweiler [2018-05-19 09:54:16] 843*2^1510152-1 is not prime. Res64: E86B50E71CDBCEFF Time : 0.0 sec. user=mdettweiler [2018-05-19 10:06:08] 615*2^1510153-1 is not prime. Res64: 8AA90520FEE431D2 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:06:09] 619*2^1510153-1 is not prime. Res64: 43B49E714E759E16 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:06:10] 687*2^1510153-1 is not prime. Res64: 6E88AF75BFD0A370 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:06:12] 745*2^1510153-1 is not prime. Res64: CC90EF322EB61016 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:06:13] 765*2^1510153-1 is not prime. Res64: 7ACD982EA10791DA Time : 0.0 sec. user=mdettweiler [2018-05-19 10:32:14] 789*2^1510153-1 is not prime. Res64: 9E9108EEEBA2A3B7 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:32:14] 831*2^1510153-1 is not prime. Res64: F3B300C24E7A4B60 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:32:15] 835*2^1510153-1 is not prime. Res64: 83BB4946CA96DA95 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:32:15] 895*2^1510153-1 is not prime. Res64: C2A87D192527EF60 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:32:15] 919*2^1510153-1 is not prime. Res64: 71C9285D965499BD Time : 0.0 sec. user=mdettweiler [2018-05-19 10:40:50] 955*2^1510153-1 is not prime. Res64: 149C37D853673B6E Time : 0.0 sec. user=mdettweiler [2018-05-19 10:40:50] 999*2^1510153-1 is not prime. Res64: 6E03AC2987D9C7D8 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:40:50] 677*2^1510154-1 is not prime. Res64: F71D53B555082577 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:40:51] 783*2^1510154-1 is not prime. Res64: E5D76BFADFC523ED Time : 0.0 sec. user=mdettweiler [2018-05-19 10:40:51] 791*2^1510154-1 is not prime. Res64: 674CAE65AFF4E74E Time : 0.0 sec. user=mdettweiler [2018-05-19 10:45:04] 873*2^1510154-1 is not prime. Res64: DC53FAB9DBAF6E24 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:45:04] 981*2^1510154-1 is not prime. Res64: E6235DB618218502 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:45:05] 741*2^1510155-1 is not prime. Res64: 5D85B5F74C204813 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:45:05] 819*2^1510155-1 is not prime. Res64: 3835C12EACD11C61 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:45:06] 853*2^1510155-1 is not prime. Res64: 6A6E8F19228A57B9 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:57:42] 871*2^1510155-1 is not prime. Res64: 33DDE7C9CF1DE595 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:57:43] 895*2^1510155-1 is not prime. Res64: 69B74AB5B250F0F3 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:57:43] 909*2^1510155-1 is not prime. Res64: 857760C81165D9B3 Time : 0.0 sec. user=mdettweiler [2018-05-19 10:57:44] 755*2^1510156-1 is not prime. Res64: 53A67DAF7B49458E Time : 0.0 sec. user=mdettweiler [2018-05-19 10:57:44] 759*2^1510156-1 is not prime. Res64: 6E1ABC04953D663E Time : 0.0 sec. user=mdettweiler [2018-05-19 11:23:20] 825*2^1510156-1 is not prime. Res64: 485D079FC903865A Time : 0.0 sec. user=mdettweiler [2018-05-19 11:23:21] 833*2^1510156-1 is not prime. Res64: F535A96517D64BE7 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:23:21] 855*2^1510156-1 is not prime. Res64: BA80CEDA6E86120D Time : 0.0 sec. user=mdettweiler [2018-05-19 11:23:21] 875*2^1510156-1 is not prime. Res64: E8F24388327A0B12 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:23:22] 909*2^1510156-1 is not prime. Res64: 85263A22ACCF4A0E Time : 0.0 sec. user=mdettweiler [2018-05-19 11:31:07] 927*2^1510156-1 is not prime. Res64: 6E8986BDFA15635F Time : 0.0 sec. user=mdettweiler [2018-05-19 11:31:08] 999*2^1510156-1 is not prime. Res64: 6C0103D92418B810 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:31:08] 615*2^1510157-1 is not prime. Res64: 562660C7C54B612F Time : 0.0 sec. user=mdettweiler [2018-05-19 11:31:09] 669*2^1510157-1 is not prime. Res64: F32DC375D5936BEA Time : 0.0 sec. user=mdettweiler [2018-05-19 11:31:09] 715*2^1510157-1 is not prime. Res64: 8ABC73CC2C29A8DC Time : 0.0 sec. user=mdettweiler [2018-05-19 11:35:57] 741*2^1510157-1 is not prime. Res64: EA3504898E89BB5C Time : 0.0 sec. user=mdettweiler [2018-05-19 11:35:58] 747*2^1510157-1 is not prime. Res64: 7F6D55E12A809C22 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:35:58] 927*2^1510157-1 is not prime. Res64: 2EFE783B40C316BA Time : 0.0 sec. user=mdettweiler [2018-05-19 11:35:59] 955*2^1510157-1 is not prime. Res64: 9A057150983AE5BB Time : 0.0 sec. user=mdettweiler [2018-05-19 11:35:59] 861*2^1510158-1 is not prime. Res64: 581A775E025D30D0 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:48:02] 893*2^1510158-1 is not prime. Res64: 7FA10804431B3D6B Time : 0.0 sec. user=mdettweiler [2018-05-19 11:48:03] 921*2^1510158-1 is not prime. Res64: 6D284E8C6B73CB17 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:48:03] 675*2^1510159-1 is not prime. Res64: A099D625B1A5B12B Time : 0.0 sec. user=mdettweiler [2018-05-19 11:48:04] 679*2^1510159-1 is not prime. Res64: 7CF34B0044CFA032 Time : 0.0 sec. user=mdettweiler [2018-05-19 11:48:04] 709*2^1510159-1 is not prime. Res64: CAC75F2B255B264F Time : 0.0 sec. user=mdettweiler [2018-05-19 12:14:05] 729*2^1510159-1 is not prime. Res64: 0E7FE85AF75D8E48 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:14:05] 853*2^1510159-1 is not prime. Res64: F794D30FBFAEE071 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:14:06] 895*2^1510159-1 is not prime. Res64: 2D879C4898D64EBA Time : 0.0 sec. user=mdettweiler [2018-05-19 12:14:06] 919*2^1510159-1 is not prime. Res64: 0646CABF3CB318E1 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:14:07] 939*2^1510159-1 is not prime. Res64: 71E49FBCA95CC1F7 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:21:13] 973*2^1510159-1 is not prime. Res64: 827A5416ED3248D0 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:21:13] 975*2^1510159-1 is not prime. Res64: D8DF44E45E8A5C5E Time : 0.0 sec. user=mdettweiler [2018-05-19 12:21:13] 633*2^1510160-1 is not prime. Res64: CFF4C61924B2FB0F Time : 0.0 sec. user=mdettweiler [2018-05-19 12:21:14] 669*2^1510160-1 is not prime. Res64: 5AC7869C05F27289 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:21:14] 675*2^1510160-1 is not prime. Res64: 0664C95B7DBFB5ED Time : 0.0 sec. user=mdettweiler [2018-05-19 12:26:09] 689*2^1510160-1 is not prime. Res64: 8EBA7F6B49704035 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:26:09] 713*2^1510160-1 is not prime. Res64: 68672D5E5E4A18F2 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:26:10] 717*2^1510160-1 is not prime. Res64: 57FDFDA32D4AAA99 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:26:10] 843*2^1510160-1 is not prime. Res64: CFBB0DF575E3E2CA Time : 0.0 sec. user=mdettweiler [2018-05-19 12:26:10] 651*2^1510161-1 is not prime. Res64: 31A18F54C6A2ECBF Time : 0.0 sec. user=mdettweiler [2018-05-19 12:38:52] 789*2^1510161-1 is not prime. Res64: 06CE20A9F778D42E Time : 0.0 sec. user=mdettweiler [2018-05-19 12:38:52] 829*2^1510161-1 is not prime. Res64: E84A385E24BE48E1 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:38:52] 909*2^1510161-1 is not prime. Res64: 741FFC5D61D25F24 Time : 0.0 sec. user=mdettweiler [2018-05-19 12:38:53] 937*2^1510161-1 is not prime. Res64: 7F50C99BFC15F73C Time : 0.0 sec. user=mdettweiler [2018-05-19 12:38:53] 945*2^1510161-1 is not prime. Res64: C383676AF386E10E Time : 0.0 sec. user=mdettweiler [2018-05-19 13:03:54] 997*2^1510161-1 is not prime. Res64: F4DD8605153EF5D7 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:03:57] 623*2^1510162-1 is not prime. Res64: 35344C412F0D3692 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:03:58] 665*2^1510162-1 is not prime. Res64: 83D638AF35E90F72 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:03:59] 701*2^1510162-1 is not prime. Res64: 12FDDB96852FD0AF Time : 0.0 sec. user=mdettweiler [2018-05-19 13:04:00] 765*2^1510162-1 is not prime. Res64: E6177CD77E92EC25 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:12:13] 827*2^1510162-1 is not prime. Res64: D23A2696F0C5C331 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:12:13] 881*2^1510162-1 is not prime. Res64: A741D9ED7BAA874D Time : 0.0 sec. user=mdettweiler [2018-05-19 13:12:14] 947*2^1510162-1 is not prime. Res64: FBD1C21BA3A91305 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:12:14] 951*2^1510162-1 is not prime. Res64: BAD329607EAC11E6 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:12:15] 735*2^1510163-1 is not prime. Res64: 46180A2636D80962 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:17:03] 945*2^1510163-1 is not prime. Res64: 60CE3D72C60C409F Time : 0.0 sec. user=mdettweiler [2018-05-19 13:17:03] 809*2^1510164-1 is not prime. Res64: A6BAE6CDB5CAEEEF Time : 0.0 sec. user=mdettweiler [2018-05-19 13:17:04] 825*2^1510164-1 is not prime. Res64: B5E688630458C0C0 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:17:04] 903*2^1510164-1 is not prime. Res64: 66F8C652ECE49C5B Time : 0.0 sec. user=mdettweiler [2018-05-19 13:17:05] 947*2^1510164-1 is not prime. Res64: 49E90E4BF543589C Time : 0.0 sec. user=mdettweiler [2018-05-19 13:31:16] 619*2^1510165-1 is not prime. Res64: AFD5374324B35CC5 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:31:16] 625*2^1510165-1 is not prime. Res64: 74DCA27DEC069A79 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:31:17] 741*2^1510165-1 is not prime. Res64: 335CB811D7FC7B77 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:31:17] 765*2^1510165-1 is not prime. Res64: 4378DB08D9D4BA03 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:31:17] 877*2^1510165-1 is not prime. Res64: F1598C7CC7FAE193 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:56:27] 885*2^1510165-1 is not prime. Res64: E2C2759131A9B72F Time : 0.0 sec. user=mdettweiler [2018-05-19 13:56:27] 645*2^1510166-1 is not prime. Res64: F881A124C285497F Time : 0.0 sec. user=mdettweiler [2018-05-19 13:56:27] 683*2^1510166-1 is not prime. Res64: 8C36BBB194E54AB1 Time : 0.0 sec. user=mdettweiler [2018-05-19 13:56:28] 705*2^1510166-1 is not prime. Res64: 8418986F6AB741BB Time : 0.0 sec. user=mdettweiler [2018-05-19 13:56:28] 857*2^1510166-1 is not prime. Res64: F75923D2FC7117FB Time : 0.0 sec. user=mdettweiler [2018-05-19 14:04:28] 875*2^1510166-1 is not prime. Res64: FC7177F76C6A2882 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:04:29] 957*2^1510166-1 is not prime. Res64: 6D2636117BBF14C4 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:04:30] 691*2^1510167-1 is not prime. Res64: 7BD086D843F5B2C5 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:04:33] 741*2^1510167-1 is not prime. Res64: 64172C3D6B415C52 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:04:36] 751*2^1510167-1 is not prime. Res64: 79B7212DFD9DCED7 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:08:42] 891*2^1510167-1 is not prime. Res64: A934D8176FA878A6 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:08:43] 961*2^1510167-1 is not prime. Res64: FDFE3CF864395922 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:08:43] 979*2^1510167-1 is not prime. Res64: 57D0F2A298F11829 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:08:44] 657*2^1510168-1 is not prime. Res64: 1F2BEC837E22CABD Time : 0.0 sec. user=mdettweiler [2018-05-19 14:08:44] 677*2^1510168-1 is not prime. Res64: 1865D03DE7C98566 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:22:13] 797*2^1510168-1 is not prime. Res64: FFB015D4312DFB41 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:22:13] 843*2^1510168-1 is not prime. Res64: 71CFB90E506FB693 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:22:14] 705*2^1510169-1 is not prime. Res64: CC0D15106DACDF3F Time : 0.0 sec. user=mdettweiler [2018-05-19 14:22:15] 979*2^1510169-1 is not prime. Res64: 6613A0E0118C4C50 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:22:15] 791*2^1510170-1 is not prime. Res64: 0EC098DAB7B5D3D7 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:47:50] 801*2^1510170-1 is not prime. Res64: E05DAC7FCAFFBD6A Time : 0.0 sec. user=mdettweiler [2018-05-19 14:47:50] 845*2^1510170-1 is not prime. Res64: E602605079F381D6 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:47:51] 867*2^1510170-1 is not prime. Res64: C33CEA75A17AEB56 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:47:51] 921*2^1510170-1 is not prime. Res64: 91D7602AF79AB7A9 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:47:52] 927*2^1510170-1 is not prime. Res64: 71AC7BE382660A9E Time : 0.0 sec. user=mdettweiler [2018-05-19 14:55:18] 963*2^1510170-1 is not prime. Res64: 3B71B2CE42BA63EB Time : 0.0 sec. user=mdettweiler [2018-05-19 14:55:19] 645*2^1510171-1 is not prime. Res64: 25F1CD84417715DF Time : 0.0 sec. user=mdettweiler [2018-05-19 14:55:19] 681*2^1510171-1 is not prime. Res64: 0571AE6DBC1912D1 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:55:19] 843*2^1510171-1 is not prime. Res64: BB2697D0208228A3 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:55:20] 891*2^1510171-1 is not prime. Res64: CC069DFC302E39CD Time : 0.0 sec. user=mdettweiler [2018-05-19 14:59:12] 951*2^1510171-1 is not prime. Res64: 665A2518EE59930C Time : 0.0 sec. user=mdettweiler [2018-05-19 14:59:13] 961*2^1510171-1 is not prime. Res64: 5956AFDEB2D926CA Time : 0.0 sec. user=mdettweiler [2018-05-19 14:59:13] 647*2^1510172-1 is not prime. Res64: 9A3FA98759886D5A Time : 0.0 sec. user=mdettweiler [2018-05-19 14:59:14] 665*2^1510172-1 is not prime. Res64: C05F348F7C51B958 Time : 0.0 sec. user=mdettweiler [2018-05-19 14:59:14] 675*2^1510172-1 is not prime. Res64: 1C5905C12019DB6C Time : 0.0 sec. user=mdettweiler [2018-05-19 15:13:41] 797*2^1510172-1 is not prime. Res64: 0F05B100878F3E1E Time : 0.0 sec. user=mdettweiler [2018-05-19 15:13:42] 803*2^1510172-1 is not prime. Res64: E8F21A015013DD0C Time : 0.0 sec. user=mdettweiler [2018-05-19 15:13:42] 873*2^1510172-1 is not prime. Res64: 6333666ABA248C06 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:13:43] 959*2^1510172-1 is not prime. Res64: ABBB2F5D6B7E386E Time : 0.0 sec. user=mdettweiler [2018-05-19 15:13:43] 745*2^1510173-1 is not prime. Res64: 22FEF40C941D46D8 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:38:00] 849*2^1510173-1 is not prime. Res64: 69CEC74CD12D99CD Time : 0.0 sec. user=mdettweiler [2018-05-19 15:38:02] 657*2^1510174-1 is not prime. Res64: 640E62478D1791E5 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:38:02] 671*2^1510174-1 is not prime. Res64: 4D0338946C88B23B Time : 0.0 sec. user=mdettweiler [2018-05-19 15:38:03] 681*2^1510174-1 is not prime. Res64: C4B88C72A2952AC8 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:38:03] 717*2^1510174-1 is not prime. Res64: 32438F15A79F636B Time : 0.0 sec. user=mdettweiler [2018-05-19 15:45:51] 885*2^1510174-1 is not prime. Res64: 1F54D355FF9613DC Time : 0.0 sec. user=mdettweiler [2018-05-19 15:45:51] 983*2^1510174-1 is not prime. Res64: 7BBDC2EEC7753787 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:45:53] 601*2^1510175-1 is not prime. Res64: 72FE686D4E2A33F4 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:45:54] 655*2^1510175-1 is not prime. Res64: 3DA7233BF3816F59 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:45:54] 789*2^1510175-1 is not prime. Res64: 1FF257282961BDAD Time : 0.0 sec. user=mdettweiler [2018-05-19 15:51:01] 861*2^1510175-1 is not prime. Res64: F4E4990AEA291272 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:51:02] 999*2^1510175-1 is not prime. Res64: B569685464402D8A Time : 0.0 sec. user=mdettweiler [2018-05-19 15:51:02] 657*2^1510176-1 is not prime. Res64: 233B6213F537F87A Time : 0.0 sec. user=mdettweiler [2018-05-19 15:51:02] 789*2^1510176-1 is not prime. Res64: 538C0D432A889604 Time : 0.0 sec. user=mdettweiler [2018-05-19 15:51:03] 993*2^1510176-1 is not prime. Res64: 5EDE9BFE26EF6608 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:04:10] 649*2^1510177-1 is not prime. Res64: B868630D60E61443 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:04:11] 915*2^1510177-1 is not prime. Res64: B1343FA9FFA3417B Time : 0.0 sec. user=mdettweiler [2018-05-19 16:04:12] 985*2^1510177-1 is not prime. Res64: BC21AC58B51D0C6A Time : 0.0 sec. user=mdettweiler [2018-05-19 16:04:13] 677*2^1510178-1 is not prime. Res64: FAC00659123CB806 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:04:15] 711*2^1510178-1 is not prime. Res64: 731E961E8EB19530 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:29:54] 831*2^1510178-1 is not prime. Res64: CFD7437EE6E26161 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:29:55] 953*2^1510178-1 is not prime. Res64: 52C83ABC7B824B9F Time : 0.0 sec. user=mdettweiler [2018-05-19 16:29:55] 1001*2^1510178-1 is not prime. Res64: 7D5BC21EED50B5ED Time : 0.0 sec. user=mdettweiler [2018-05-19 16:29:56] 609*2^1510179-1 is not prime. Res64: 361A6150E6640DE2 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:29:56] 705*2^1510179-1 is not prime. Res64: 4657D15D97F02093 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:37:43] 741*2^1510179-1 is not prime. Res64: 617B8D1715A770DD Time : 0.0 sec. user=mdettweiler [2018-05-19 16:37:43] 903*2^1510179-1 is not prime. Res64: 6A2B08A11486DF07 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:37:44] 675*2^1510180-1 is not prime. Res64: 39E77D7ED278F947 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:37:44] 765*2^1510180-1 is not prime. Res64: 374BF867E0121D9C Time : 0.0 sec. user=mdettweiler [2018-05-19 16:37:44] 825*2^1510180-1 is not prime. Res64: 87FB756688F7CF40 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:43:24] 827*2^1510180-1 is not prime. Res64: 1BEAE9008F508A32 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:43:24] 839*2^1510180-1 is not prime. Res64: F45C20832EC1F77E Time : 0.0 sec. user=mdettweiler [2018-05-19 16:43:25] 873*2^1510180-1 is not prime. Res64: AE66C3CB100E993E Time : 0.0 sec. user=mdettweiler [2018-05-19 16:43:25] 875*2^1510180-1 is not prime. Res64: D3FB665F2E03CB9D Time : 0.0 sec. user=mdettweiler [2018-05-19 16:43:25] 885*2^1510180-1 is not prime. Res64: 79C9E541F9C72A99 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:56:40] 965*2^1510180-1 is not prime. Res64: EB395591666F56F8 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:56:40] 615*2^1510181-1 is not prime. Res64: 71102B4F68837167 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:56:41] 837*2^1510181-1 is not prime. Res64: 6D41AF53664FCD83 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:56:41] 901*2^1510181-1 is not prime. Res64: B2648C6D31CCDEB3 Time : 0.0 sec. user=mdettweiler [2018-05-19 16:56:41] 945*2^1510181-1 is not prime. Res64: F87EEAB0D119EFCA Time : 0.0 sec. user=mdettweiler [2018-05-19 17:20:27] 981*2^1510181-1 is not prime. Res64: BECBC3EA00015D0D Time : 0.0 sec. user=mdettweiler [2018-05-19 17:20:28] 635*2^1510182-1 is not prime. Res64: 3EFD9CFDB5686FFC Time : 0.0 sec. user=mdettweiler [2018-05-19 17:20:28] 725*2^1510182-1 is not prime. Res64: 093C6763B8673DBA Time : 0.0 sec. user=mdettweiler [2018-05-19 17:20:29] 755*2^1510182-1 is not prime. Res64: 76A3D434DF4AB60C Time : 0.0 sec. user=mdettweiler [2018-05-19 17:20:29] 885*2^1510182-1 is not prime. Res64: B59935C5237F2897 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:27:15] 619*2^1510183-1 is not prime. Res64: B6D91AA5CCCFD492 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:27:15] 625*2^1510183-1 is not prime. Res64: 1D5F77F1D03FA2EC Time : 0.0 sec. user=mdettweiler [2018-05-19 17:27:16] 853*2^1510183-1 is not prime. Res64: 79736DBE69AD7B8D Time : 0.0 sec. user=mdettweiler [2018-05-19 17:27:16] 635*2^1510184-1 is not prime. Res64: 80EA0BE69B4EDD3E Time : 0.0 sec. user=mdettweiler [2018-05-19 17:27:16] 659*2^1510184-1 is not prime. Res64: 49D150999F7C943C Time : 0.0 sec. user=mdettweiler [2018-05-19 17:33:40] 663*2^1510184-1 is not prime. Res64: 86BA2D1F09285B85 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:33:40] 683*2^1510184-1 is not prime. Res64: 5AE2EE2537D73F34 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:33:40] 759*2^1510184-1 is not prime. Res64: CC35ACDC64C458A1 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:33:41] 813*2^1510184-1 is not prime. Res64: 5F84C6F492141A30 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:33:41] 903*2^1510184-1 is not prime. Res64: 3D66757DA791B4D4 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:48:47] 927*2^1510184-1 is not prime. Res64: 11ABFC7EB1F596C0 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:48:47] 935*2^1510184-1 is not prime. Res64: C7F5DCA9183118E9 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:48:47] 959*2^1510184-1 is not prime. Res64: C38AFD1B9DB3CDDD Time : 0.0 sec. user=mdettweiler [2018-05-19 17:48:48] 741*2^1510185-1 is not prime. Res64: 36C70ED9591C4A66 Time : 0.0 sec. user=mdettweiler [2018-05-19 17:48:48] 759*2^1510185-1 is not prime. Res64: 2CFE41B12D61DD0B Time : 0.0 sec. user=mdettweiler [2018-05-19 18:13:29] 811*2^1510185-1 is not prime. Res64: 298585716E7F4E80 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:13:30] 817*2^1510185-1 is not prime. Res64: 003CBE20111E0516 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:13:30] 877*2^1510185-1 is not prime. Res64: 4F3CF1DF314A5411 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:13:31] 951*2^1510185-1 is not prime. Res64: C15602AA1BDC56FA Time : 0.0 sec. user=mdettweiler [2018-05-19 18:13:31] 603*2^1510186-1 is not prime. Res64: 871BCC34C75F2C29 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:19:33] 611*2^1510186-1 is not prime. Res64: 6BE6F6391C99C68F Time : 0.0 sec. user=mdettweiler [2018-05-19 18:19:34] 695*2^1510186-1 is not prime. Res64: 7C8BB063E126F204 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:19:34] 717*2^1510186-1 is not prime. Res64: 5D1D044029E13B0D Time : 0.0 sec. user=mdettweiler [2018-05-19 18:19:34] 765*2^1510186-1 is not prime. Res64: B78E9787EE7CF76B Time : 0.0 sec. user=mdettweiler [2018-05-19 18:19:35] 773*2^1510186-1 is not prime. Res64: DABE4492C2C15673 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:26:37] 905*2^1510186-1 is not prime. Res64: CCFB20A816CCF030 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:26:37] 947*2^1510186-1 is not prime. Res64: EB2AA1B6F033B9AE Time : 0.0 sec. user=mdettweiler [2018-05-19 18:26:37] 983*2^1510186-1 is not prime. Res64: 6DAB5DF8A66C7347 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:26:38] 615*2^1510187-1 is not prime. Res64: D212BBEAB49C923D Time : 0.0 sec. user=mdettweiler [2018-05-19 18:26:39] 759*2^1510187-1 is not prime. Res64: AC99B86EB5F750C5 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:40:26] 799*2^1510187-1 is not prime. Res64: 7E241A91B5F00147 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:40:27] 895*2^1510187-1 is not prime. Res64: 271C732F4819C712 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:40:27] 939*2^1510187-1 is not prime. Res64: EDD35060E1EBDB38 Time : 0.0 sec. user=mdettweiler [2018-05-19 18:40:27] 629*2^1510188-1 is not prime. Res64: 1F7F0CF99A1E6D7A Time : 0.0 sec. user=mdettweiler [2018-05-19 18:40:28] 725*2^1510188-1 is not prime. Res64: A689FA1EE3EFE0F1 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:03:50] 767*2^1510188-1 is not prime. Res64: DF1D608524490C8C Time : 0.0 sec. user=mdettweiler [2018-05-19 19:03:51] 867*2^1510188-1 is not prime. Res64: E07C77672A5C9A63 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:03:52] 915*2^1510188-1 is not prime. Res64: 91B4F7488CF8D39F Time : 0.0 sec. user=mdettweiler [2018-05-19 19:03:53] 621*2^1510189-1 is not prime. Res64: BA691938D702E273 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:03:54] 649*2^1510189-1 is not prime. Res64: DB53C2B09AD6BE80 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:10:38] 721*2^1510189-1 is not prime. Res64: 2B4532B20D38C6B4 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:10:39] 817*2^1510189-1 is not prime. Res64: A59D947CF8335D2E Time : 0.0 sec. user=mdettweiler [2018-05-19 19:10:39] 855*2^1510189-1 is not prime. Res64: 85923A444B9D8FE3 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:10:40] 895*2^1510189-1 is not prime. Res64: 7A0078604B925C0F Time : 0.0 sec. user=mdettweiler [2018-05-19 19:10:40] 957*2^1510189-1 is not prime. Res64: D08BB7EABA7DD923 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:16:30] 605*2^1510190-1 is not prime. Res64: 005D2273C4265C24 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:16:30] 641*2^1510190-1 is not prime. Res64: DE508EE58B26FE72 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:16:31] 671*2^1510190-1 is not prime. Res64: 5C8DD581657DEE8E Time : 0.0 sec. user=mdettweiler [2018-05-19 19:16:31] 675*2^1510190-1 is not prime. Res64: 8042A33475EA2931 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:16:32] 785*2^1510190-1 is not prime. Res64: B200A49A932732D2 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:31:15] 797*2^1510190-1 is not prime. Res64: F440F5CC8F1F1AF0 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:31:15] 971*2^1510190-1 is not prime. Res64: 248EB413AC8BDFB8 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:31:16] 981*2^1510190-1 is not prime. Res64: 9BD250C3D537F09E Time : 0.0 sec. user=mdettweiler [2018-05-19 19:31:16] 879*2^1510191-1 is not prime. Res64: C4C419B7716F3AE7 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:31:17] 979*2^1510191-1 is not prime. Res64: DC60DA764B3DBAF5 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:54:08] 623*2^1510192-1 is not prime. Res64: F02ED5E693CC08E5 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:54:09] 677*2^1510192-1 is not prime. Res64: B5D04BACB9ACB40E Time : 0.0 sec. user=mdettweiler [2018-05-19 19:54:09] 695*2^1510192-1 is not prime. Res64: 84F2AE6C823B7FC0 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:54:09] 797*2^1510192-1 is not prime. Res64: 1FC3C4B4A6D5B5B5 Time : 0.0 sec. user=mdettweiler [2018-05-19 19:54:10] 825*2^1510192-1 is not prime. Res64: B92701F98371B8A8 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:01:52] 827*2^1510192-1 is not prime. Res64: 4A2E5F9104409497 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:01:53] 947*2^1510192-1 is not prime. Res64: C4543E0A183BDB5E Time : 0.0 sec. user=mdettweiler [2018-05-19 20:01:54] 965*2^1510192-1 is not prime. Res64: 48AB463C3ECE9FD5 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:01:55] 705*2^1510193-1 is not prime. Res64: 949E20D7A6731CEF Time : 0.0 sec. user=mdettweiler [2018-05-19 20:01:56] 721*2^1510193-1 is not prime. Res64: D051C75C53B52680 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:07:37] 747*2^1510193-1 is not prime. Res64: A4006E75E1DF2168 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:07:39] 775*2^1510193-1 is not prime. Res64: C70CBA45EC5C95DE Time : 0.0 sec. user=mdettweiler [2018-05-19 20:07:41] 901*2^1510193-1 is not prime. Res64: C9798895E0C6F13A Time : 0.0 sec. user=mdettweiler [2018-05-19 20:07:42] 949*2^1510193-1 is not prime. Res64: 727D97CD4439FFC2 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:07:43] 711*2^1510194-1 is not prime. Res64: 39D340E3065DB837 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:22:40] 649*2^1510195-1 is not prime. Res64: B51FB05825E93B81 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:22:40] 765*2^1510195-1 is not prime. Res64: C131FCE6BB6DDDD1 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:22:40] 889*2^1510195-1 is not prime. Res64: C9EA5F5A413E2BFC Time : 0.0 sec. user=mdettweiler [2018-05-19 20:22:41] 979*2^1510195-1 is not prime. Res64: 02CD3080916A5DC5 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:22:43] 609*2^1510196-1 is not prime. Res64: 0778A93D5FB67865 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:46:07] 725*2^1510196-1 is not prime. Res64: 0FDE4AD70849CC6E Time : 0.0 sec. user=mdettweiler [2018-05-19 20:46:08] 743*2^1510196-1 is not prime. Res64: F8F02B35E50D8FF9 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:46:08] 767*2^1510196-1 is not prime. Res64: 153057CDCD14D482 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:46:09] 839*2^1510196-1 is not prime. Res64: E56C0A4E8D532506 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:46:09] 983*2^1510196-1 is not prime. Res64: E274D53F335C9296 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:52:56] 625*2^1510197-1 is not prime. Res64: 4EA9451DE276F7DF Time : 0.0 sec. user=mdettweiler [2018-05-19 20:52:57] 649*2^1510197-1 is not prime. Res64: 32CF6C8AECECDC04 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:52:57] 655*2^1510197-1 is not prime. Res64: B8737C1C7DF71601 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:52:58] 691*2^1510197-1 is not prime. Res64: EC88702E03A024F8 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:52:58] 831*2^1510197-1 is not prime. Res64: 38E5926D2060B849 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:59:04] 849*2^1510197-1 is not prime. Res64: FE5F9B581115C89C Time : 0.0 sec. user=mdettweiler [2018-05-19 20:59:04] 979*2^1510197-1 is not prime. Res64: 10B0605FD41269BB Time : 0.0 sec. user=mdettweiler [2018-05-19 20:59:04] 999*2^1510197-1 is not prime. Res64: 07F9654380D799F0 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:59:05] 617*2^1510198-1 is not prime. Res64: 953BAF2B284CED06 Time : 0.0 sec. user=mdettweiler [2018-05-19 20:59:05] 671*2^1510198-1 is not prime. Res64: 8CFA76F37638102C Time : 0.0 sec. user=mdettweiler [2018-05-19 21:13:18] 761*2^1510198-1 is not prime. Res64: 613820C768F44D6F Time : 0.0 sec. user=mdettweiler [2018-05-19 21:13:19] 765*2^1510198-1 is not prime. Res64: D9E3C2784BA22F8F Time : 0.0 sec. user=mdettweiler [2018-05-19 21:13:19] 857*2^1510198-1 is not prime. Res64: 9432434C184417A3 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:13:20] 975*2^1510198-1 is not prime. Res64: 7343DBBD05CDBC10 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:13:21] 643*2^1510199-1 is not prime. Res64: 5E1788FDE1D064BE Time : 0.0 sec. user=mdettweiler [2018-05-19 21:36:49] 661*2^1510199-1 is not prime. Res64: C053FF2683D71CEC Time : 0.0 sec. user=mdettweiler [2018-05-19 21:36:50] 753*2^1510199-1 is not prime. Res64: EE8AF632EFB23FF1 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:36:50] 759*2^1510199-1 is not prime. Res64: D26472983E56EA57 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:36:50] 811*2^1510199-1 is not prime. Res64: B78C4EEAD13230ED Time : 0.0 sec. user=mdettweiler [2018-05-19 21:36:51] 859*2^1510199-1 is not prime. Res64: 6E7B31F2D12693F0 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:43:29] 883*2^1510199-1 is not prime. Res64: 5C2A9702B27EBBEE Time : 0.0 sec. user=mdettweiler [2018-05-19 21:43:30] 921*2^1510199-1 is not prime. Res64: B435786796359194 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:43:32] 627*2^1510200-1 is not prime. Res64: 6BF69D14E239D6C6 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:43:32] 699*2^1510200-1 is not prime. Res64: BF0F35C65AB83775 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:43:33] 797*2^1510200-1 is not prime. Res64: 0EEA11431BD23EA2 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:50:17] 839*2^1510200-1 is not prime. Res64: 2672D730C285E582 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:50:17] 863*2^1510200-1 is not prime. Res64: E9A2C333F2AEFF79 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:50:17] 909*2^1510200-1 is not prime. Res64: C5C7021C4212F751 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:50:18] 705*2^1510201-1 is not prime. Res64: D947D2F80E267AE5 Time : 0.0 sec. user=mdettweiler [2018-05-19 21:50:18] 745*2^1510201-1 is not prime. Res64: 8FA440E172E502CC Time : 0.0 sec. user=mdettweiler [2018-05-19 22:04:13] 801*2^1510201-1 is not prime. Res64: F01DBEEC69A66170 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:04:15] 807*2^1510201-1 is not prime. Res64: A77F4E3DD7AEBD7C Time : 0.0 sec. user=mdettweiler [2018-05-19 22:04:17] 817*2^1510201-1 is not prime. Res64: D36EC0C82709DFC9 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:04:19] 871*2^1510201-1 is not prime. Res64: C84FBC75066A6CC4 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:04:22] 975*2^1510201-1 is not prime. Res64: 9188BF7B148D3F32 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:27:24] 987*2^1510201-1 is not prime. Res64: 73718E3D20B9A79F Time : 0.0 sec. user=mdettweiler [2018-05-19 22:27:25] 999*2^1510201-1 is not prime. Res64: A31811C80033343E Time : 0.0 sec. user=mdettweiler [2018-05-19 22:27:25] 797*2^1510202-1 is not prime. Res64: 75F3409443749288 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:27:26] 885*2^1510202-1 is not prime. Res64: 83D4FAF7113F58CE Time : 0.0 sec. user=mdettweiler [2018-05-19 22:27:26] 609*2^1510203-1 is not prime. Res64: B3AA7AF08B7577DE Time : 0.0 sec. user=mdettweiler [2018-05-19 22:34:07] 751*2^1510203-1 is not prime. Res64: 74EEB2F1FA91313D Time : 0.0 sec. user=mdettweiler [2018-05-19 22:34:07] 853*2^1510203-1 is not prime. Res64: BCFDC8E1075CB460 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:34:08] 783*2^1510204-1 is not prime. Res64: B3A6B50A3F49671C Time : 0.0 sec. user=mdettweiler [2018-05-19 22:34:08] 863*2^1510204-1 is not prime. Res64: AF0901D485CBFEC2 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:34:09] 627*2^1510205-1 is not prime. Res64: 527A8E9A5FF88513 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:41:01] 655*2^1510205-1 is not prime. Res64: 23C7A710EAA5A0F2 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:41:02] 711*2^1510205-1 is not prime. Res64: EA912AC04C5E5768 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:41:02] 721*2^1510205-1 is not prime. Res64: AD0C599D73CB027E Time : 0.0 sec. user=mdettweiler [2018-05-19 22:41:02] 735*2^1510205-1 is not prime. Res64: C635B3465D91A781 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:41:03] 775*2^1510205-1 is not prime. Res64: EFCF45599DB496C7 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:56:02] 781*2^1510205-1 is not prime. Res64: 9C53BAA48009DBFE Time : 0.0 sec. user=mdettweiler [2018-05-19 22:56:02] 847*2^1510205-1 is not prime. Res64: 24FD7D2079C39554 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:56:02] 981*2^1510205-1 is not prime. Res64: A20D365121DCB825 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:56:03] 815*2^1510206-1 is not prime. Res64: 6A2366162CC433B8 Time : 0.0 sec. user=mdettweiler [2018-05-19 22:56:04] 945*2^1510206-1 is not prime. Res64: 70D9F66161EB0F77 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:17:48] 625*2^1510207-1 is not prime. Res64: 84A3D978077AD856 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:17:49] 685*2^1510207-1 is not prime. Res64: C2AC94F0AB68DF58 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:17:49] 841*2^1510207-1 is not prime. Res64: ACD8BE149FA271AB Time : 0.0 sec. user=mdettweiler [2018-05-19 23:17:50] 951*2^1510207-1 is not prime. Res64: B4C91BC4E2F78163 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:17:50] 979*2^1510207-1 is not prime. Res64: 3D64C7C01B1D0DCD Time : 0.0 sec. user=mdettweiler [2018-05-19 23:24:23] 615*2^1510208-1 is not prime. Res64: 782995472600FA94 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:24:24] 687*2^1510208-1 is not prime. Res64: 97F9818AF4FE2571 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:24:24] 759*2^1510208-1 is not prime. Res64: BD350C38DAAB6E7A Time : 0.0 sec. user=mdettweiler [2018-05-19 23:24:25] 879*2^1510208-1 is not prime. Res64: C4FED3195B5279B9 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:24:25] 893*2^1510208-1 is not prime. Res64: B7BA03A6FDED7396 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:31:33] 935*2^1510208-1 is not prime. Res64: A7ABB2C87D9E6C52 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:31:34] 993*2^1510208-1 is not prime. Res64: AD3778A86F890404 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:31:34] 999*2^1510208-1 is not prime. Res64: F4C5697F8FF691D5 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:31:34] 601*2^1510209-1 is not prime. Res64: 75114613A2EEFB7F Time : 0.0 sec. user=mdettweiler [2018-05-19 23:31:36] 625*2^1510209-1 is not prime. Res64: 192EE97B5A9B98D7 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:46:53] 727*2^1510209-1 is not prime. Res64: 2AFCEADC74228DA2 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:46:53] 781*2^1510209-1 is not prime. Res64: 3B3FF75C27B6B701 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:46:54] 795*2^1510209-1 is not prime. Res64: F220E810AD1B6B10 Time : 0.0 sec. user=mdettweiler [2018-05-19 23:46:54] 811*2^1510209-1 is not prime. Res64: 4D02376DA25D6CAC Time : 0.0 sec. user=mdettweiler [2018-05-19 23:46:55] 975*2^1510209-1 is not prime. Res64: DC3A5AB2A53A8AD5 Time : 0.0 sec.