user=mdettweiler [2020-07-17 00:29:48] 741*2^1563370-1 is not prime. Res64: 6C4E349E63B8F5B4 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:29:48] 933*2^1563370-1 is not prime. Res64: CD09B2831C8F1115 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:29:49] 649*2^1563371-1 is not prime. Res64: 176EE1143BE1F287 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:29:49] 651*2^1563371-1 is not prime. Res64: 7CE3A484FDA51E45 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:29:49] 733*2^1563371-1 is not prime. Res64: 9481A6253B40ED89 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:24] 845*2^1563368-1 is not prime. Res64: 1DDA645EA1C9092E Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:24] 869*2^1563368-1 is not prime. Res64: DD77DE66A5B5F746 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:24] 615*2^1563369-1 is not prime. Res64: 8522F0E136A69471 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:25] 867*2^1563369-1 is not prime. Res64: 4AADE5AB90B47EB3 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:25] 895*2^1563369-1 is not prime. Res64: 6614C678845F46F1 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:53] 907*2^1563369-1 is not prime. Res64: B47FBA25F2BF40DA Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:53] 987*2^1563369-1 is not prime. Res64: 758DCD55644AA27E Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:53] 665*2^1563370-1 is not prime. Res64: C0264C56F53D35B9 Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:53] 695*2^1563370-1 is not prime. Res64: 4552F0BAAFBAC7BB Time : 0.0 sec. user=mdettweiler [2020-07-17 00:30:54] 701*2^1563370-1 is not prime. Res64: 551C8FB942A68BBD Time : 0.0 sec. user=mdettweiler [2020-07-17 01:25:26] 977*2^1563372-1 is not prime. Res64: 16E24B3FE7DAAAA8 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:25:27] 999*2^1563372-1 is not prime. Res64: 8B0E7A220DFC217C Time : 0.0 sec. user=mdettweiler [2020-07-17 01:25:28] 609*2^1563373-1 is not prime. Res64: 320AABFD5A9428A7 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:25:29] 651*2^1563373-1 is not prime. Res64: EEB97BD8E94E77B4 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:25:29] 721*2^1563373-1 is not prime. Res64: 33288A1D530041F9 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:26:38] 993*2^1563371-1 is not prime. Res64: C020A2FC5819F789 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:26:40] 689*2^1563372-1 is not prime. Res64: 6E2CA4A33C43F151 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:26:42] 693*2^1563372-1 is not prime. Res64: 62583D28E802BBFA Time : 0.0 sec. user=mdettweiler [2020-07-17 01:26:43] 819*2^1563372-1 is not prime. Res64: 840739FB32251EF2 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:26:45] 857*2^1563372-1 is not prime. Res64: 2C5CAC9D2D506AEB Time : 0.0 sec. user=mdettweiler [2020-07-17 01:28:18] 801*2^1563371-1 is not prime. Res64: 10A37D1E23C74913 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:28:20] 859*2^1563371-1 is not prime. Res64: 8266AC5B0D05F5EC Time : 0.0 sec. user=mdettweiler [2020-07-17 01:28:21] 885*2^1563371-1 is not prime. Res64: 41D55D1218193F93 Time : 0.0 sec. user=mdettweiler [2020-07-17 01:28:23] 921*2^1563371-1 is not prime. Res64: 15C087472E024B2C Time : 0.0 sec. user=mdettweiler [2020-07-17 01:28:25] 949*2^1563371-1 is not prime. Res64: 0060445ECA86C066 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:21:07] 801*2^1563373-1 is not prime. Res64: 00B2F6F49F3FEB3E Time : 0.0 sec. user=mdettweiler [2020-07-17 02:21:09] 831*2^1563373-1 is not prime. Res64: 754074DD7E778913 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:21:10] 861*2^1563373-1 is not prime. Res64: 212E4A5BDB9DD72F Time : 0.0 sec. user=mdettweiler [2020-07-17 02:21:12] 605*2^1563374-1 is not prime. Res64: A9AB45CE9C3313BA Time : 0.0 sec. user=mdettweiler [2020-07-17 02:21:12] 617*2^1563374-1 is not prime. Res64: 39116DA3C675F8C1 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:22:25] 1001*2^1563374-1 is not prime. Res64: 995959258DAFDF8B Time : 0.0 sec. user=mdettweiler [2020-07-17 02:22:25] 663*2^1563375-1 is not prime. Res64: 5451FACE537183EC Time : 0.0 sec. user=mdettweiler [2020-07-17 02:22:26] 675*2^1563375-1 is not prime. Res64: 5E3907A0B3D5AAD8 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:22:26] 705*2^1563375-1 is not prime. Res64: 9C1EEC992700239E Time : 0.0 sec. user=mdettweiler [2020-07-17 02:22:27] 735*2^1563375-1 is not prime. Res64: E84D664AD038C454 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:23:03] 683*2^1563374-1 is not prime. Res64: 0D27A3E0DFFA5755 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:23:03] 773*2^1563374-1 is not prime. Res64: 1B399A5A38C6943B Time : 0.0 sec. user=mdettweiler [2020-07-17 02:23:04] 873*2^1563374-1 is not prime. Res64: 5B9D0E8C1DD6B034 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:23:04] 957*2^1563374-1 is not prime. Res64: 19DBA47C5C338B17 Time : 0.0 sec. user=mdettweiler [2020-07-17 02:23:04] 971*2^1563374-1 is not prime. Res64: 96FBC6E7C759A9C2 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:13:52] 623*2^1563376-1 is not prime. Res64: B06558FA3FB8EDDB Time : 0.0 sec. user=mdettweiler [2020-07-17 03:13:53] 677*2^1563376-1 is not prime. Res64: 9BADF074BC2F6D26 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:13:53] 693*2^1563376-1 is not prime. Res64: DC20E85939B702BB Time : 0.0 sec. user=mdettweiler [2020-07-17 03:13:53] 735*2^1563376-1 is not prime. Res64: 2E74B5DFDC7BDC1F Time : 0.0 sec. user=mdettweiler [2020-07-17 03:13:54] 777*2^1563376-1 is not prime. Res64: BA1A0B1BF0C481D4 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:18:39] 841*2^1563377-1 is not prime. Res64: 720F1872EEE2A575 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:18:40] 867*2^1563377-1 is not prime. Res64: 98539A5276DD228B Time : 0.0 sec. user=mdettweiler [2020-07-17 03:18:40] 945*2^1563377-1 is not prime. Res64: 167CE323EFA73D3C Time : 0.0 sec. user=mdettweiler [2020-07-17 03:18:40] 651*2^1563378-1 is not prime. Res64: 7BD1565869025D76 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:18:40] 663*2^1563378-1 is not prime. Res64: 78335E4AF5F97970 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:19:42] 843*2^1563376-1 is not prime. Res64: 9A527D2DBCA51951 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:19:42] 873*2^1563376-1 is not prime. Res64: 62762856E1177348 Time : 0.0 sec. user=mdettweiler [2020-07-17 03:19:42] 887*2^1563376-1 is not prime. Res64: 2E55EC41BD87423E Time : 0.0 sec. user=mdettweiler [2020-07-17 03:19:42] 717*2^1563377-1 is not prime. Res64: 6CBCDF377313345D Time : 0.0 sec. user=mdettweiler [2020-07-17 03:19:43] 837*2^1563377-1 is not prime. Res64: CEFF3CE6E846C20E Time : 0.0 sec. user=mdettweiler [2020-07-17 04:07:59] 711*2^1563378-1 is not prime. Res64: 35F5EBD84A595F27 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:08:02] 755*2^1563378-1 is not prime. Res64: 4B4E37BEAC15B762 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:08:04] 765*2^1563378-1 is not prime. Res64: 6281C1D49A9CDCA4 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:08:06] 767*2^1563378-1 is not prime. Res64: 78BE870850F84E88 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:08:09] 843*2^1563378-1 is not prime. Res64: 6F793634019FA3B0 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:11:02] 619*2^1563379-1 is not prime. Res64: FC0345EDE86D85AB Time : 0.0 sec. user=mdettweiler [2020-07-17 04:11:07] 631*2^1563379-1 is not prime. Res64: DEF2D30FC934F5DD Time : 0.0 sec. user=mdettweiler [2020-07-17 04:11:13] 709*2^1563379-1 is not prime. Res64: C67A4C029F8F3FAF Time : 0.0 sec. user=mdettweiler [2020-07-17 04:11:17] 723*2^1563379-1 is not prime. Res64: 616BD2CC4575183D Time : 0.0 sec. user=mdettweiler [2020-07-17 04:11:22] 765*2^1563379-1 is not prime. Res64: 39C505D5557AC91F Time : 0.0 sec. user=mdettweiler [2020-07-17 04:16:49] 829*2^1563379-1 is not prime. Res64: EEBB2208F5059688 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:16:53] 885*2^1563379-1 is not prime. Res64: 5DA2D6BAAD96D466 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:16:56] 647*2^1563380-1 is not prime. Res64: 373AA56D9AB0038C Time : 0.0 sec. user=mdettweiler [2020-07-17 04:17:00] 839*2^1563380-1 is not prime. Res64: FECDB22B9B76DD52 Time : 0.0 sec. user=mdettweiler [2020-07-17 04:17:05] 875*2^1563380-1 is not prime. Res64: F928F9C279B8FC5C Time : 0.0 sec. user=mdettweiler [2020-07-17 05:04:43] 959*2^1563380-1 is not prime. Res64: 78E65880165827DE Time : 0.0 sec. user=mdettweiler [2020-07-17 05:04:44] 681*2^1563381-1 is not prime. Res64: DA0ACF2305383CFD Time : 0.0 sec. user=mdettweiler [2020-07-17 05:04:47] 685*2^1563381-1 is not prime. Res64: 244DA43A5400EE86 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:04:48] 825*2^1563381-1 is not prime. Res64: FE99B6866CA15920 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:04:50] 847*2^1563381-1 is not prime. Res64: E40AB7325F0BD1CC Time : 0.0 sec. user=mdettweiler [2020-07-17 05:08:12] 867*2^1563381-1 is not prime. Res64: C407F1FE6726279C Time : 0.0 sec. user=mdettweiler [2020-07-17 05:08:14] 765*2^1563382-1 is not prime. Res64: F83424C2A152BCDA Time : 0.0 sec. user=mdettweiler [2020-07-17 05:08:15] 881*2^1563382-1 is not prime. Res64: 045E0CEAB3D3FC03 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:08:15] 923*2^1563382-1 is not prime. Res64: 4F64E24DB8EB7F7F Time : 0.0 sec. user=mdettweiler [2020-07-17 05:08:16] 609*2^1563383-1 is not prime. Res64: A7721190B48E3D2A Time : 0.0 sec. user=mdettweiler [2020-07-17 05:12:41] 633*2^1563383-1 is not prime. Res64: 8056BBCC67C70BAF Time : 0.0 sec. user=mdettweiler [2020-07-17 05:12:41] 781*2^1563383-1 is not prime. Res64: 76A7D11E8455D9FB Time : 0.0 sec. user=mdettweiler [2020-07-17 05:12:41] 825*2^1563383-1 is not prime. Res64: C89774997F733B6A Time : 0.0 sec. user=mdettweiler [2020-07-17 05:12:42] 915*2^1563383-1 is not prime. Res64: 7101D536DBB44ED3 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:12:42] 609*2^1563384-1 is not prime. Res64: 86806EA8B7754848 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:57:56] 623*2^1563384-1 is not prime. Res64: 4D8EED2FFAF0EC30 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:57:57] 705*2^1563384-1 is not prime. Res64: 8B0CC2166E85E657 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:57:57] 737*2^1563384-1 is not prime. Res64: 5802679AAD52ADE4 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:57:57] 759*2^1563384-1 is not prime. Res64: 71D2F3230D195520 Time : 0.0 sec. user=mdettweiler [2020-07-17 05:57:57] 789*2^1563384-1 is not prime. Res64: 9B010754AC2D39DE Time : 0.0 sec. user=mdettweiler [2020-07-17 06:05:16] 875*2^1563384-1 is not prime. Res64: 0574B52C294E40E4 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:05:18] 887*2^1563384-1 is not prime. Res64: FB9509C9F2307E87 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:05:18] 927*2^1563384-1 is not prime. Res64: B82C5F21C5C07526 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:05:19] 945*2^1563384-1 is not prime. Res64: EDDFB5F9B07D8915 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:05:20] 607*2^1563385-1 is not prime. Res64: 629D9159B369DAE1 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:08:39] 691*2^1563385-1 is not prime. Res64: F953238AFDAE2449 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:08:39] 847*2^1563385-1 is not prime. Res64: 75845D890812A50B Time : 0.0 sec. user=mdettweiler [2020-07-17 06:08:39] 919*2^1563385-1 is not prime. Res64: 9374860F8D5011B3 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:08:39] 999*2^1563385-1 is not prime. Res64: 072426178E7D0C68 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:08:40] 615*2^1563386-1 is not prime. Res64: 73C5EC65B4D24CE9 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:52:11] 635*2^1563386-1 is not prime. Res64: 130784CE53CDEA38 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:52:12] 651*2^1563386-1 is not prime. Res64: 8051011A52438611 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:52:12] 657*2^1563386-1 is not prime. Res64: 7BFCEAB67B05811E Time : 0.0 sec. user=mdettweiler [2020-07-17 06:52:12] 801*2^1563386-1 is not prime. Res64: A3DDE8F611E948B1 Time : 0.0 sec. user=mdettweiler [2020-07-17 06:52:12] 827*2^1563386-1 is not prime. Res64: 8605ECA0E5068006 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:00:57] 903*2^1563386-1 is not prime. Res64: B3A962D083F8062E Time : 0.0 sec. user=mdettweiler [2020-07-17 07:00:58] 625*2^1563387-1 is not prime. Res64: BB821671A7DEF9D1 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:00:59] 643*2^1563387-1 is not prime. Res64: F320D62D2263B7D5 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:01:00] 805*2^1563387-1 is not prime. Res64: 8FE3308F045011B6 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:01:02] 835*2^1563387-1 is not prime. Res64: 5D37C5B7D5E48F20 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:04:35] 963*2^1563387-1 is not prime. Res64: FAFDBDBD0569C724 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:04:36] 617*2^1563388-1 is not prime. Res64: EF15D3C782AD12E3 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:04:36] 797*2^1563388-1 is not prime. Res64: 63E121AE314950C6 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:04:37] 845*2^1563388-1 is not prime. Res64: 2E75A1FCF1853029 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:04:38] 905*2^1563388-1 is not prime. Res64: 36B8AF91E0EC98A2 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:49:09] 929*2^1563388-1 is not prime. Res64: C1B914B1964C4E87 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:49:09] 933*2^1563388-1 is not prime. Res64: 42D55208D468C482 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:49:10] 987*2^1563388-1 is not prime. Res64: FDAEDB44580D19D2 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:49:10] 993*2^1563388-1 is not prime. Res64: E1B91AD1816B1A1D Time : 0.0 sec. user=mdettweiler [2020-07-17 07:49:10] 621*2^1563389-1 is not prime. Res64: 7050CA7328EBF653 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:57:09] 685*2^1563389-1 is not prime. Res64: DE96DD78C18CE461 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:57:09] 691*2^1563389-1 is not prime. Res64: 4F813FE53BE7BFA3 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:57:09] 811*2^1563389-1 is not prime. Res64: 274996DD5BBCC994 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:57:10] 837*2^1563389-1 is not prime. Res64: 3979F222802E75F6 Time : 0.0 sec. user=mdettweiler [2020-07-17 07:57:10] 931*2^1563389-1 is not prime. Res64: BCF2DF5F861FA36B Time : 0.0 sec. user=mdettweiler [2020-07-17 08:00:50] 693*2^1563390-1 is not prime. Res64: 789022C5476569AB Time : 0.0 sec. user=mdettweiler [2020-07-17 08:00:51] 717*2^1563390-1 is not prime. Res64: 99EE9464CAEFA08D Time : 0.0 sec. user=mdettweiler [2020-07-17 08:00:52] 861*2^1563390-1 is not prime. Res64: 2AFA99C4DE88B864 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:00:53] 867*2^1563390-1 is not prime. Res64: AB06904BE1E283E7 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:00:53] 885*2^1563390-1 is not prime. Res64: 32A5F7BDEDD1675A Time : 0.0 sec. user=mdettweiler [2020-07-17 08:43:57] 891*2^1563390-1 is not prime. Res64: 91ADE9A5EF9C6C56 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:43:58] 927*2^1563390-1 is not prime. Res64: 4489E6244A420CBD Time : 0.0 sec. user=mdettweiler [2020-07-17 08:43:58] 615*2^1563391-1 is not prime. Res64: 9751495A76100593 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:43:58] 693*2^1563391-1 is not prime. Res64: 54C68BD5C3F67F20 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:43:58] 771*2^1563391-1 is not prime. Res64: BACF8CC9A9FA7127 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:53:32] 669*2^1563392-1 is not prime. Res64: 168932EA0B8F5C6B Time : 0.0 sec. user=mdettweiler [2020-07-17 08:53:32] 677*2^1563392-1 is not prime. Res64: 1B3DE1FF05559B34 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:53:32] 717*2^1563392-1 is not prime. Res64: DE543B161D6F76CF Time : 0.0 sec. user=mdettweiler [2020-07-17 08:53:33] 719*2^1563392-1 is not prime. Res64: 7169918FAFF50B64 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:53:33] 743*2^1563392-1 is not prime. Res64: E4CB3368464387FA Time : 0.0 sec. user=mdettweiler [2020-07-17 08:54:30] 793*2^1563391-1 is not prime. Res64: 914295C611B67E19 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:54:30] 843*2^1563391-1 is not prime. Res64: D48046A6BB7D3B5A Time : 0.0 sec. user=mdettweiler [2020-07-17 08:54:30] 889*2^1563391-1 is not prime. Res64: BA615F868A70E0BE Time : 0.0 sec. user=mdettweiler [2020-07-17 08:54:31] 951*2^1563391-1 is not prime. Res64: 00C05C5EAE216EC0 Time : 0.0 sec. user=mdettweiler [2020-07-17 08:54:31] 973*2^1563391-1 is not prime. Res64: F657EB3F665F7FF4 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:39:02] 755*2^1563392-1 is not prime. Res64: 8FAA0A78FE933AEC Time : 0.0 sec. user=mdettweiler [2020-07-17 09:39:02] 759*2^1563392-1 is not prime. Res64: AC5D33E687AB8E9F Time : 0.0 sec. user=mdettweiler [2020-07-17 09:39:02] 797*2^1563392-1 is not prime. Res64: 3EE22C974DB3419D Time : 0.0 sec. user=mdettweiler [2020-07-17 09:39:03] 935*2^1563392-1 is not prime. Res64: B5F417BB47BC1B91 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:39:03] 995*2^1563392-1 is not prime. Res64: D78943257B6453C3 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:48:17] 657*2^1563393-1 is not prime. Res64: A205DCE7C616BC3E Time : 0.0 sec. user=mdettweiler [2020-07-17 09:48:17] 679*2^1563393-1 is not prime. Res64: FAC12D93B08E838F Time : 0.0 sec. user=mdettweiler [2020-07-17 09:48:18] 795*2^1563393-1 is not prime. Res64: 9962943C8F28DC92 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:48:18] 811*2^1563393-1 is not prime. Res64: 7CB1E50A3F0D16C1 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:48:18] 951*2^1563393-1 is not prime. Res64: 6106D3A4B308AA94 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:50:37] 681*2^1563394-1 is not prime. Res64: E31D8125A06C5C87 Time : 0.0 sec. user=mdettweiler [2020-07-17 09:50:37] 705*2^1563394-1 is not prime. Res64: C4930808FFCF17AC Time : 0.0 sec. user=mdettweiler [2020-07-17 09:50:37] 803*2^1563394-1 is not prime. Res64: B48ED0E1176BEA2F Time : 0.0 sec. user=mdettweiler [2020-07-17 09:50:38] 825*2^1563394-1 is not prime. Res64: B31C4E44600B218C Time : 0.0 sec. user=mdettweiler [2020-07-17 09:50:38] 887*2^1563394-1 is not prime. Res64: 35F3FA41ADDFD605 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:31:56] 957*2^1563394-1 is not prime. Res64: 30D24669244CB1EA Time : 0.0 sec. user=mdettweiler [2020-07-17 10:31:57] 603*2^1563395-1 is not prime. Res64: 7BBBF49F8E67BCD8 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:31:57] 643*2^1563395-1 is not prime. Res64: 7A89F915360DB867 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:31:57] 651*2^1563395-1 is not prime. Res64: F160EC140F03AADA Time : 0.0 sec. user=mdettweiler [2020-07-17 10:31:57] 669*2^1563395-1 is not prime. Res64: 50D221026E372CAA Time : 0.0 sec. user=mdettweiler [2020-07-17 10:42:20] 685*2^1563395-1 is not prime. Res64: 3C7BA728D16CEE3A Time : 0.0 sec. user=mdettweiler [2020-07-17 10:42:20] 705*2^1563395-1 is not prime. Res64: 56242979CD4C65AC Time : 0.0 sec. user=mdettweiler [2020-07-17 10:42:20] 733*2^1563395-1 is not prime. Res64: 73E33BBD6B04F9B0 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:42:20] 781*2^1563395-1 is not prime. Res64: EB217606FB516A13 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:42:21] 843*2^1563395-1 is not prime. Res64: 1D5EADDDEB2C6693 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:46:13] 871*2^1563395-1 is not prime. Res64: A2AE16C82B14F6A5 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:46:13] 939*2^1563395-1 is not prime. Res64: A3D853DD0EC1F495 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:46:14] 963*2^1563395-1 is not prime. Res64: F273FFFDCEF4E843 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:46:14] 627*2^1563396-1 is not prime. Res64: C902651FC8938308 Time : 0.0 sec. user=mdettweiler [2020-07-17 10:46:14] 635*2^1563396-1 is not prime. Res64: D0455D23B38C3941 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:24:21] 647*2^1563396-1 is not prime. Res64: A8918A0DCA497AA4 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:24:21] 683*2^1563396-1 is not prime. Res64: C987C064766799C2 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:24:21] 693*2^1563396-1 is not prime. Res64: E1CD993CD3001859 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:24:22] 639*2^1563397-1 is not prime. Res64: DF251340D732D334 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:24:22] 741*2^1563397-1 is not prime. Res64: 1EA429F6C8C15DB9 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:37:25] 895*2^1563397-1 is not prime. Res64: 950F8059E8E63573 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:37:25] 939*2^1563397-1 is not prime. Res64: 09838C15A0CA131C Time : 0.0 sec. user=mdettweiler [2020-07-17 11:37:25] 677*2^1563398-1 is not prime. Res64: E083F8E064F6F6AD Time : 0.0 sec. user=mdettweiler [2020-07-17 11:37:26] 693*2^1563398-1 is not prime. Res64: B93FB710F8233A9F Time : 0.0 sec. user=mdettweiler [2020-07-17 11:37:26] 707*2^1563398-1 is not prime. Res64: 50D2943C263647EF Time : 0.0 sec. user=mdettweiler [2020-07-17 11:40:59] 755*2^1563398-1 is not prime. Res64: D8D77FE05F031736 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:40:59] 833*2^1563398-1 is not prime. Res64: 578FE7D6C84B828C Time : 0.0 sec. user=mdettweiler [2020-07-17 11:40:59] 887*2^1563398-1 is not prime. Res64: 197456E8099346E5 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:40:59] 633*2^1563399-1 is not prime. Res64: 5991CA0DFB14CCA6 Time : 0.0 sec. user=mdettweiler [2020-07-17 11:41:00] 691*2^1563399-1 is not prime. Res64: D72CAAFB8A3F6AFE Time : 0.0 sec. user=mdettweiler [2020-07-17 12:19:31] 705*2^1563399-1 is not prime. Res64: E9C3E395E03C6F4C Time : 0.0 sec. user=mdettweiler [2020-07-17 12:19:32] 745*2^1563399-1 is not prime. Res64: 8BEC611FC864FD30 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:19:32] 999*2^1563399-1 is not prime. Res64: 6D9D4C5801609046 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:19:32] 717*2^1563400-1 is not prime. Res64: F86FD42BE2871C78 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:19:33] 825*2^1563400-1 is not prime. Res64: DB0D7E0C0D898583 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:32:37] 839*2^1563400-1 is not prime. Res64: DCB47B427DD787D1 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:32:38] 735*2^1563401-1 is not prime. Res64: 37616EF7662B3A59 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:32:38] 777*2^1563401-1 is not prime. Res64: 378C018A7273D605 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:32:38] 781*2^1563401-1 is not prime. Res64: D033114DBC2593E2 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:32:39] 867*2^1563401-1 is not prime. Res64: C1031A3EE2178AE3 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:35:15] 889*2^1563401-1 is not prime. Res64: 4CBF5E39888E548E Time : 0.0 sec. user=mdettweiler [2020-07-17 12:35:16] 967*2^1563401-1 is not prime. Res64: 648FA27C05A76725 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:35:16] 635*2^1563402-1 is not prime. Res64: 3084061DA535A360 Time : 0.0 sec. user=mdettweiler [2020-07-17 12:35:16] 647*2^1563402-1 is not prime. Res64: 646EC5F6895D6D48 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:15:06] 711*2^1563402-1 is not prime. Res64: 66CEC2195C93CD65 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:15:06] 741*2^1563402-1 is not prime. Res64: 27538637BA855E93 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:15:07] 797*2^1563402-1 is not prime. Res64: AB5E0D2B6CB75EBD Time : 0.0 sec. user=mdettweiler [2020-07-17 13:15:07] 807*2^1563402-1 is not prime. Res64: 9BA194C9141FDBF5 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:15:08] 887*2^1563402-1 is not prime. Res64: 68B6372C3C142030 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:26:48] 983*2^1563402-1 is not prime. Res64: DE2491329DD0AAEB Time : 0.0 sec. user=mdettweiler [2020-07-17 13:26:49] 663*2^1563403-1 is not prime. Res64: 32608B6C8BD9E2EA Time : 0.0 sec. user=mdettweiler [2020-07-17 13:26:55] 675*2^1563403-1 is not prime. Res64: 1D6691C571D5FA69 Time : 0.0 sec. user=mdettweiler [2020-07-17 13:26:57] 693*2^1563403-1 is not prime. Res64: 634B7CAF9BA9507A Time : 0.0 sec. user=mdettweiler [2020-07-17 13:26:58] 775*2^1563403-1 is not prime. Res64: 6F9ECD6A891EA2FA Time : 0.0 sec. user=mdettweiler [2020-07-17 14:13:02] 783*2^1563403-1 is not prime. Res64: 43B2381AD5708332 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:13:04] 805*2^1563403-1 is not prime. Res64: 2B97284B6C8D602C Time : 0.0 sec. user=mdettweiler [2020-07-17 14:13:05] 861*2^1563403-1 is not prime. Res64: 73DAB1E6EAAD50B0 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:13:06] 961*2^1563403-1 is not prime. Res64: 6ACAA6615791FEE0 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:13:08] 985*2^1563403-1 is not prime. Res64: 95A4AF98D835A997 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:24:33] 825*2^1563404-1 is not prime. Res64: 4D7D91DFE5D57AE0 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:24:34] 935*2^1563404-1 is not prime. Res64: 453A53662EE465B4 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:24:34] 655*2^1563405-1 is not prime. Res64: 45D86652028E96EC Time : 0.0 sec. user=mdettweiler [2020-07-17 14:24:34] 847*2^1563405-1 is not prime. Res64: 680E24B052C969B4 Time : 0.0 sec. user=mdettweiler [2020-07-17 14:24:35] 891*2^1563405-1 is not prime. Res64: A1A81E9D4DAEE6BF Time : 0.0 sec. user=mdettweiler [2020-07-17 15:08:19] 895*2^1563405-1 is not prime. Res64: C34286864DC3D7C3 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:08:20] 623*2^1563406-1 is not prime. Res64: FABEE202DB3AAB8D Time : 0.0 sec. user=mdettweiler [2020-07-17 15:08:20] 647*2^1563406-1 is not prime. Res64: 7BE2D54DEA861C75 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:08:21] 705*2^1563406-1 is not prime. Res64: DEC945678B5E66E3 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:08:21] 857*2^1563406-1 is not prime. Res64: FB2A45D85B92CD01 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:21:59] 891*2^1563406-1 is not prime. Res64: 88CCD4183DFD168A Time : 0.0 sec. user=mdettweiler [2020-07-17 15:21:59] 911*2^1563406-1 is not prime. Res64: 3A85561D12E809D6 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:22:00] 987*2^1563406-1 is not prime. Res64: 541559ECEE4DA49B Time : 0.0 sec. user=mdettweiler [2020-07-17 15:22:00] 1001*2^1563406-1 is not prime. Res64: 2DB4DC8734E952B6 Time : 0.0 sec. user=mdettweiler [2020-07-17 15:22:01] 633*2^1563407-1 is not prime. Res64: 3404F72C31BEE904 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:02:26] 663*2^1563407-1 is not prime. Res64: 3D4953C302C00A79 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:02:29] 931*2^1563407-1 is not prime. Res64: A7C7B1A0C0A55C16 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:02:31] 699*2^1563408-1 is not prime. Res64: 4EFC157237026463 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:02:33] 735*2^1563408-1 is not prime. Res64: 7BA2362883B3A694 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:02:34] 747*2^1563408-1 is not prime. Res64: 87116A1760C2F4BC Time : 0.0 sec. user=mdettweiler [2020-07-17 16:19:27] 819*2^1563408-1 is not prime. Res64: F18649D489943FE1 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:19:27] 825*2^1563408-1 is not prime. Res64: 32914098EE3B657D Time : 0.0 sec. user=mdettweiler [2020-07-17 16:19:28] 899*2^1563408-1 is not prime. Res64: 676885AAB2855A11 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:19:28] 993*2^1563408-1 is not prime. Res64: 462782D490044BC6 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:19:29] 619*2^1563409-1 is not prime. Res64: E60E0868C4A89C77 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:59:28] 729*2^1563409-1 is not prime. Res64: 6D20A30698456BAF Time : 0.0 sec. user=mdettweiler [2020-07-17 16:59:28] 957*2^1563409-1 is not prime. Res64: EAAEF9E7E402B301 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:59:28] 967*2^1563409-1 is not prime. Res64: C48F476D7CFA2EF4 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:59:29] 975*2^1563409-1 is not prime. Res64: 31B5015C5E4401B8 Time : 0.0 sec. user=mdettweiler [2020-07-17 16:59:29] 623*2^1563410-1 is not prime. Res64: 5A9C60294C4122B3 Time : 0.0 sec. user=mdettweiler [2020-07-17 17:16:02] 645*2^1563410-1 is not prime. Res64: 0A32A6FCA402F2AB Time : 0.0 sec. user=mdettweiler [2020-07-17 17:16:04] 675*2^1563410-1 is not prime. Res64: 3C56036F12875E22 Time : 0.0 sec. user=mdettweiler [2020-07-17 17:16:05] 827*2^1563410-1 is not prime. Res64: 67B57EE62EBB5A49 Time : 0.0 sec. user=mdettweiler [2020-07-17 17:16:06] 935*2^1563410-1 is not prime. Res64: A8C7C5D9AA97A27D Time : 0.0 sec. user=mdettweiler [2020-07-17 17:16:08] 977*2^1563410-1 is not prime. Res64: 638DFBB40AAF19CA Time : 0.0 sec. user=mdettweiler [2020-07-17 17:37:32] 651*2^1563402-1 is not prime. Res64: 720C6ADE64C7AF8A Time : 0.0 sec. user=mdettweiler [2020-07-17 17:51:42] 609*2^1563411-1 is not prime. Res64: 186C7C672FD59F2C Time : 0.0 sec. user=mdettweiler [2020-07-17 17:51:43] 613*2^1563411-1 is not prime. Res64: EF3C0E697218B66D Time : 0.0 sec. user=mdettweiler [2020-07-17 17:51:43] 621*2^1563411-1 is not prime. Res64: 0066D615EC2B5863 Time : 0.0 sec. user=mdettweiler [2020-07-17 17:51:43] 625*2^1563411-1 is not prime. Res64: 5D8D2F5CAC4839DA Time : 0.0 sec. user=mdettweiler [2020-07-17 17:51:45] 709*2^1563411-1 is not prime. Res64: FAF9E880E50B5AA3 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:11:18] 775*2^1563411-1 is not prime. Res64: C35BEFCEE2F39F51 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:11:18] 783*2^1563411-1 is not prime. Res64: CE4CF2E3B36EF98B Time : 0.0 sec. user=mdettweiler [2020-07-17 18:11:19] 805*2^1563411-1 is not prime. Res64: A516779296FFB9C2 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:11:19] 859*2^1563411-1 is not prime. Res64: 32FC8C7A8611EB5A Time : 0.0 sec. user=mdettweiler [2020-07-17 18:11:19] 605*2^1563412-1 is not prime. Res64: 09E274D725BCF901 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:31:01] 695*2^1563412-1 is not prime. Res64: A4574669369B6EBA Time : 0.0 sec. user=mdettweiler [2020-07-17 18:31:01] 735*2^1563412-1 is not prime. Res64: 7FEAE8885165A2A3 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:31:02] 833*2^1563412-1 is not prime. Res64: BA427ACB68202ED2 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:31:02] 615*2^1563413-1 is not prime. Res64: 79E82E60794555D6 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:31:02] 627*2^1563413-1 is not prime. Res64: BD7FE1C53457D01F Time : 0.0 sec. user=mdettweiler [2020-07-17 18:47:36] 829*2^1563413-1 is not prime. Res64: 3FA1EBD5F471674F Time : 0.0 sec. user=mdettweiler [2020-07-17 18:47:36] 897*2^1563413-1 is not prime. Res64: 98BA73D675690791 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:47:36] 969*2^1563413-1 is not prime. Res64: AD75280723AD9FBA Time : 0.0 sec. user=mdettweiler [2020-07-17 18:47:37] 621*2^1563414-1 is not prime. Res64: 5C376FAF8317B633 Time : 0.0 sec. user=mdettweiler [2020-07-17 18:47:37] 671*2^1563414-1 is not prime. Res64: 53AFF2A956F724C6 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:05:26] 747*2^1563414-1 is not prime. Res64: 67EE948BCEEE068C Time : 0.0 sec. user=mdettweiler [2020-07-17 19:05:28] 797*2^1563414-1 is not prime. Res64: 2379399A508CDF2A Time : 0.0 sec. user=mdettweiler [2020-07-17 19:05:29] 861*2^1563414-1 is not prime. Res64: 50AC91B65CD0BA79 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:05:31] 679*2^1563415-1 is not prime. Res64: E07B851049B3C802 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:05:32] 723*2^1563415-1 is not prime. Res64: 7368C9B47127FAAA Time : 0.0 sec. user=mdettweiler [2020-07-17 19:26:58] 925*2^1563415-1 is not prime. Res64: 0485F708BDA6F9D9 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:26:59] 969*2^1563415-1 is not prime. Res64: 04C674BDBCF5404F Time : 0.0 sec. user=mdettweiler [2020-07-17 19:26:59] 973*2^1563415-1 is not prime. Res64: A3FBAA1F21447939 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:26:59] 617*2^1563416-1 is not prime. Res64: A046D68DD951D248 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:27:00] 785*2^1563416-1 is not prime. Res64: 8F9A1EEC8957602B Time : 0.0 sec. user=mdettweiler [2020-07-17 19:46:00] 827*2^1563416-1 is not prime. Res64: CC88CA2668F8CEE4 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:46:00] 855*2^1563416-1 is not prime. Res64: 3000C6FC70A7ED7A Time : 0.0 sec. user=mdettweiler [2020-07-17 19:46:00] 875*2^1563416-1 is not prime. Res64: 2E047B76B34526FF Time : 0.0 sec. user=mdettweiler [2020-07-17 19:46:01] 917*2^1563416-1 is not prime. Res64: 993A6CC30E57B28E Time : 0.0 sec. user=mdettweiler [2020-07-17 19:46:01] 957*2^1563416-1 is not prime. Res64: FBC7F0AFACB93973 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:59:24] 969*2^1563416-1 is not prime. Res64: BE6DAF609C8B57A6 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:59:24] 661*2^1563417-1 is not prime. Res64: 834D78911DB29720 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:59:25] 681*2^1563417-1 is not prime. Res64: D064FFAD83CE0360 Time : 0.0 sec. user=mdettweiler [2020-07-17 19:59:25] 699*2^1563417-1 is not prime. Res64: 469C9BF9ABE972FC Time : 0.0 sec. user=mdettweiler [2020-07-17 19:59:25] 611*2^1563418-1 is not prime. Res64: 27C606807BE94E71 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:21:54] 657*2^1563418-1 is not prime. Res64: 921A35B3E6F57796 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:21:54] 777*2^1563418-1 is not prime. Res64: 21BB499ABF364A47 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:21:55] 791*2^1563418-1 is not prime. Res64: F8F2D13D6C871B24 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:21:56] 813*2^1563418-1 is not prime. Res64: CB35F23CA14CEADC Time : 0.0 sec. user=mdettweiler [2020-07-17 20:21:57] 831*2^1563418-1 is not prime. Res64: 3FAA8C201D09BDED Time : 0.0 sec. user=mdettweiler [2020-07-17 20:39:33] 975*2^1563418-1 is not prime. Res64: 44B4A7C8C798DD1F Time : 0.0 sec. user=mdettweiler [2020-07-17 20:39:33] 615*2^1563419-1 is not prime. Res64: 91B6CBCF37B6C356 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:39:34] 631*2^1563419-1 is not prime. Res64: 4A2B0BCE70C04CE7 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:39:34] 741*2^1563419-1 is not prime. Res64: 46503A76C7ABA203 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:39:34] 789*2^1563419-1 is not prime. Res64: ABE8C901095EF3D5 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:54:13] 823*2^1563419-1 is not prime. Res64: D0A632BF7666E2BD Time : 0.0 sec. user=mdettweiler [2020-07-17 20:54:13] 889*2^1563419-1 is not prime. Res64: 4E29D0BB9F57D044 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:54:13] 635*2^1563420-1 is not prime. Res64: CE59B5446970EFB5 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:54:14] 689*2^1563420-1 is not prime. Res64: 81E7E98D8274A591 Time : 0.0 sec. user=mdettweiler [2020-07-17 20:54:14] 765*2^1563420-1 is not prime. Res64: CD9249BB9F907F53 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:17:20] 777*2^1563420-1 is not prime. Res64: 181E49FB7DBC9153 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:17:20] 803*2^1563420-1 is not prime. Res64: 7EACE5C087BB29DA Time : 0.0 sec. user=mdettweiler [2020-07-17 21:17:21] 999*2^1563420-1 is not prime. Res64: 6C14410C1FA92B21 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:17:21] 771*2^1563421-1 is not prime. Res64: D71DF1F2015D142D Time : 0.0 sec. user=mdettweiler [2020-07-17 21:17:21] 775*2^1563421-1 is not prime. Res64: 3019A1868339B8D7 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:36:48] 859*2^1563421-1 is not prime. Res64: 3CD4B32F5A2B91E0 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:36:48] 867*2^1563421-1 is not prime. Res64: 7FE8734A833A0DB3 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:36:49] 945*2^1563421-1 is not prime. Res64: E2511AEF1916399D Time : 0.0 sec. user=mdettweiler [2020-07-17 21:36:49] 961*2^1563421-1 is not prime. Res64: 1B8FBF0367E6C4E4 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:36:49] 755*2^1563422-1 is not prime. Res64: 0CE2B5E83990C2CE Time : 0.0 sec. user=mdettweiler [2020-07-17 21:51:08] 815*2^1563422-1 is not prime. Res64: 50FB128276ECF375 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:51:08] 941*2^1563422-1 is not prime. Res64: 5A0C9EF0AFC4ED1D Time : 0.0 sec. user=mdettweiler [2020-07-17 21:51:09] 953*2^1563422-1 is not prime. Res64: F2CF5DD352058532 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:51:09] 963*2^1563422-1 is not prime. Res64: CD7E7171E46D8BE2 Time : 0.0 sec. user=mdettweiler [2020-07-17 21:51:09] 609*2^1563423-1 is not prime. Res64: DDEED40A697A7E42 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:09:47] 661*2^1563423-1 is not prime. Res64: E2E577D1818841D0 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:09:47] 663*2^1563423-1 is not prime. Res64: 6815E512C21B96A2 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:09:50] 685*2^1563423-1 is prime! Time : 0.0 sec. user=mdettweiler [2020-07-17 22:09:51] 693*2^1563423-1 is not prime. Res64: C84DD9807690C800 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:09:51] 723*2^1563423-1 is not prime. Res64: 4B4EFEA3B40F12AD Time : 0.0 sec. user=mdettweiler [2020-07-17 22:31:45] 745*2^1563423-1 is not prime. Res64: 96A04E03F816E8A9 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:31:45] 763*2^1563423-1 is not prime. Res64: E5B2231DC18CC00A Time : 0.0 sec. user=mdettweiler [2020-07-17 22:31:45] 945*2^1563423-1 is not prime. Res64: 1858674858FFA157 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:31:45] 609*2^1563424-1 is not prime. Res64: 6BF4F558122E79F4 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:31:46] 803*2^1563424-1 is not prime. Res64: 7DDCA81C76192145 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:47:27] 857*2^1563424-1 is not prime. Res64: DA74D3CACE6C0896 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:47:27] 975*2^1563424-1 is not prime. Res64: 495C4BC18A81AC9A Time : 0.0 sec. user=mdettweiler [2020-07-17 22:47:28] 679*2^1563425-1 is not prime. Res64: 888CB4E979170165 Time : 0.0 sec. user=mdettweiler [2020-07-17 22:47:28] 795*2^1563425-1 is not prime. Res64: 3C2A681512520FFB Time : 0.0 sec. user=mdettweiler [2020-07-17 22:47:28] 811*2^1563425-1 is not prime. Res64: 53F7DA3A106DD5BC Time : 0.0 sec. user=mdettweiler [2020-07-17 23:06:52] 909*2^1563425-1 is not prime. Res64: D6CC5754D9576536 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:06:53] 657*2^1563426-1 is not prime. Res64: 84F95DDFACE8B44A Time : 0.0 sec. user=mdettweiler [2020-07-17 23:06:54] 843*2^1563426-1 is not prime. Res64: 16383997A5B29902 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:06:55] 873*2^1563426-1 is not prime. Res64: C22AF6DD0C49B7A6 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:06:56] 993*2^1563426-1 is not prime. Res64: F2084F6B9E6AAF31 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:26:45] 619*2^1563427-1 is not prime. Res64: CBA53D12E785A83B Time : 0.0 sec. user=mdettweiler [2020-07-17 23:26:45] 673*2^1563427-1 is not prime. Res64: 0AFED06710E9AA31 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:26:46] 733*2^1563427-1 is not prime. Res64: C55E273A987622EE Time : 0.0 sec. user=mdettweiler [2020-07-17 23:26:46] 829*2^1563427-1 is not prime. Res64: DC198B6061561F96 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:26:46] 861*2^1563427-1 is not prime. Res64: 49D93F0758FF86E0 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:43:03] 871*2^1563427-1 is not prime. Res64: 39A5A2F4F4E8878E Time : 0.0 sec. user=mdettweiler [2020-07-17 23:43:03] 895*2^1563427-1 is not prime. Res64: C2B7C509F7042148 Time : 0.0 sec. user=mdettweiler [2020-07-17 23:43:03] 659*2^1563428-1 is not prime. Res64: DB8E8EE0798B9CBA Time : 0.0 sec. user=mdettweiler [2020-07-17 23:43:04] 665*2^1563428-1 is not prime. Res64: 08FEF442866EFF4F Time : 0.0 sec. user=mdettweiler [2020-07-17 23:43:04] 825*2^1563428-1 is not prime. Res64: C5128BFABD73AD59 Time : 0.0 sec.