user=mdettweiler [2017-05-24 00:06:24] 945*2^1454821-1 is not prime. Res64: 255CB4CDFB65609C Time : 0.0 sec. user=mdettweiler [2017-05-24 00:06:28] 957*2^1454821-1 is not prime. Res64: F5C664F0FAF17C40 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:06:31] 813*2^1454822-1 is not prime. Res64: 287971B7433AE418 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:06:32] 873*2^1454822-1 is not prime. Res64: AFF30F55F1756E9D Time : 0.0 sec. user=mdettweiler [2017-05-24 00:06:34] 885*2^1454822-1 is not prime. Res64: 56DFB0A75E5AF15C Time : 0.0 sec. user=mdettweiler [2017-05-24 00:24:39] 917*2^1454822-1 is not prime. Res64: 97BBECC21DDD9060 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:24:40] 935*2^1454822-1 is not prime. Res64: 4D11609D6C565222 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:24:40] 953*2^1454822-1 is not prime. Res64: CE1EFF039AD8DF7B Time : 0.0 sec. user=mdettweiler [2017-05-24 00:24:40] 957*2^1454822-1 is not prime. Res64: 3CD07F451124123F Time : 0.0 sec. user=mdettweiler [2017-05-24 00:24:40] 613*2^1454823-1 is not prime. Res64: 64347242C36EDD8D Time : 0.0 sec. user=mdettweiler [2017-05-24 00:40:38] 691*2^1454823-1 is not prime. Res64: E4901FC1077FEC63 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:40:39] 677*2^1454824-1 is not prime. Res64: 42B9B1A26E684898 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:40:39] 743*2^1454824-1 is not prime. Res64: 284C568B4B52A40D Time : 0.0 sec. user=mdettweiler [2017-05-24 00:40:39] 875*2^1454824-1 is not prime. Res64: 378E739396089B19 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:40:39] 939*2^1454824-1 is not prime. Res64: 9486BDBCBCB45F9E Time : 0.0 sec. user=mdettweiler [2017-05-24 00:42:11] 983*2^1454824-1 is not prime. Res64: BBDBF62EC21C780D Time : 0.0 sec. user=mdettweiler [2017-05-24 00:42:12] 995*2^1454824-1 is not prime. Res64: 758A3676180B62FB Time : 0.0 sec. user=mdettweiler [2017-05-24 00:42:12] 645*2^1454825-1 is not prime. Res64: FFE78560496E5225 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:42:12] 777*2^1454825-1 is not prime. Res64: 17CD202014782B65 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:42:12] 811*2^1454825-1 is not prime. Res64: 675F0B34D29CF8CD Time : 0.0 sec. user=mdettweiler [2017-05-24 00:53:41] 861*2^1454825-1 is not prime. Res64: 702AF6B40520C75E Time : 0.0 sec. user=mdettweiler [2017-05-24 00:53:41] 867*2^1454825-1 is not prime. Res64: 8BD9526A837E14A6 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:53:41] 683*2^1454826-1 is not prime. Res64: 0E383379E2DA2697 Time : 0.0 sec. user=mdettweiler [2017-05-24 00:53:42] 717*2^1454826-1 is not prime. Res64: C579E25AC9F85CDF Time : 0.0 sec. user=mdettweiler [2017-05-24 00:53:42] 833*2^1454826-1 is not prime. Res64: 4C8E18F5ED01ADBD Time : 0.0 sec. user=mdettweiler [2017-05-24 01:11:24] 875*2^1454826-1 is not prime. Res64: CEFB19848BAB53D0 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:11:24] 601*2^1454827-1 is not prime. Res64: CEA1D5E92DC08CAD Time : 0.0 sec. user=mdettweiler [2017-05-24 01:11:24] 685*2^1454827-1 is not prime. Res64: 17162CFD86E4EA2F Time : 0.0 sec. user=mdettweiler [2017-05-24 01:11:25] 615*2^1454828-1 is not prime. Res64: 210F22FADE404921 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:11:25] 635*2^1454828-1 is not prime. Res64: 3A8C7A608B6F1634 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:27:38] 735*2^1454828-1 is not prime. Res64: 81A52020EDC073E1 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:27:39] 893*2^1454828-1 is not prime. Res64: 471EF5305C03BAB1 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:27:40] 923*2^1454828-1 is not prime. Res64: 7AB65986F9495524 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:27:40] 963*2^1454828-1 is not prime. Res64: F8B30583285FD928 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:27:41] 621*2^1454829-1 is not prime. Res64: E7D8A5C7DEBEA377 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:29:10] 669*2^1454829-1 is not prime. Res64: B5029CA9CC8B0F1E Time : 0.0 sec. user=mdettweiler [2017-05-24 01:29:11] 745*2^1454829-1 is not prime. Res64: 45506EE55D06C804 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:29:11] 751*2^1454829-1 is not prime. Res64: 97A58843168BFAF2 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:29:12] 769*2^1454829-1 is not prime. Res64: 956CBE7BC6DBA36F Time : 0.0 sec. user=mdettweiler [2017-05-24 01:29:12] 829*2^1454829-1 is not prime. Res64: 6D567B7E38052E21 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:40:31] 831*2^1454829-1 is not prime. Res64: F041A2DAB911D4F2 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:40:31] 835*2^1454829-1 is not prime. Res64: 8AE238E44368FDB4 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:40:31] 861*2^1454829-1 is not prime. Res64: 2112E8345C3D8CCC Time : 0.0 sec. user=mdettweiler [2017-05-24 01:40:32] 885*2^1454829-1 is not prime. Res64: 717BAFF82F4FE8EE Time : 0.0 sec. user=mdettweiler [2017-05-24 01:40:32] 927*2^1454829-1 is not prime. Res64: 5488065A453FB029 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:58:10] 951*2^1454829-1 is not prime. Res64: F0AF9E133BE0AFEB Time : 0.0 sec. user=mdettweiler [2017-05-24 01:58:11] 657*2^1454830-1 is not prime. Res64: 5CC8FFD181FF2522 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:58:11] 663*2^1454830-1 is not prime. Res64: B57EA157EFD282E7 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:58:11] 861*2^1454830-1 is not prime. Res64: 59D244B0EE542388 Time : 0.0 sec. user=mdettweiler [2017-05-24 01:58:11] 887*2^1454830-1 is not prime. Res64: 012DBEF17D11E0FE Time : 0.0 sec. user=mdettweiler [2017-05-24 02:14:40] 981*2^1454830-1 is not prime. Res64: F52339FA0396E96F Time : 0.0 sec. user=mdettweiler [2017-05-24 02:14:40] 621*2^1454831-1 is not prime. Res64: 15CD3C75E7D4CAA0 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:14:40] 651*2^1454831-1 is not prime. Res64: A77092393E9B6B7F Time : 0.0 sec. user=mdettweiler [2017-05-24 02:14:41] 753*2^1454831-1 is not prime. Res64: 0189778DE0ABD8CE Time : 0.0 sec. user=mdettweiler [2017-05-24 02:14:41] 871*2^1454831-1 is not prime. Res64: 51D652A2976DCAF6 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:15:38] 909*2^1454831-1 is not prime. Res64: C0BCF1840D453006 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:15:38] 605*2^1454832-1 is not prime. Res64: 3E53534B792A778D Time : 0.0 sec. user=mdettweiler [2017-05-24 02:15:38] 779*2^1454832-1 is not prime. Res64: C816BE47E5212E5F Time : 0.0 sec. user=mdettweiler [2017-05-24 02:15:39] 863*2^1454832-1 is not prime. Res64: 6726DE85DF76AB8B Time : 0.0 sec. user=mdettweiler [2017-05-24 02:15:39] 933*2^1454832-1 is not prime. Res64: C5DBEDC451CC2D65 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:28:44] 615*2^1454833-1 is not prime. Res64: F88F7E09E3DD38B4 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:28:45] 727*2^1454833-1 is not prime. Res64: A9B969AA5144B32D Time : 0.0 sec. user=mdettweiler [2017-05-24 02:28:45] 807*2^1454833-1 is not prime. Res64: 770CAFD0E989C473 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:28:45] 819*2^1454833-1 is not prime. Res64: B16FB7B3324009E9 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:28:46] 889*2^1454833-1 is not prime. Res64: D4B35F66F78940EE Time : 0.0 sec. user=mdettweiler [2017-05-24 02:46:27] 951*2^1454833-1 is not prime. Res64: A9F0DE4962387770 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:46:28] 955*2^1454833-1 is not prime. Res64: 2BEF67BE6F0A02D0 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:46:28] 783*2^1454834-1 is not prime. Res64: C87F96C0AC656E06 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:46:28] 923*2^1454834-1 is not prime. Res64: 194BFF853174A2A1 Time : 0.0 sec. user=mdettweiler [2017-05-24 02:46:29] 781*2^1454835-1 is not prime. Res64: 7A11B58690554CD0 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:17] 801*2^1454835-1 is not prime. Res64: 02D64EF27A4FA50C Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:18] 805*2^1454835-1 is not prime. Res64: 693312B71569FCBB Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:19] 919*2^1454835-1 is not prime. Res64: 1F7C21973C9D85D3 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:20] 629*2^1454836-1 is not prime. Res64: 062A2A84D0C50DE7 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:21] 647*2^1454836-1 is not prime. Res64: 2889F806A6DDB05B Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:53] 695*2^1454836-1 is not prime. Res64: 2E87FDD4CAFA7DED Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:54] 749*2^1454836-1 is not prime. Res64: CA8FD88EB5682B58 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:55] 759*2^1454836-1 is not prime. Res64: 98EE23516FD9A339 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:55] 813*2^1454836-1 is not prime. Res64: FF0BA069DBC9FAE4 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:03:56] 927*2^1454836-1 is not prime. Res64: 5377B5D2BEA0B671 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:16:19] 711*2^1454837-1 is not prime. Res64: 60A352F2AA0C8CBD Time : 0.0 sec. user=mdettweiler [2017-05-24 03:16:19] 741*2^1454837-1 is not prime. Res64: D89C21F043473DD7 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:16:19] 747*2^1454837-1 is not prime. Res64: 46F9D482A0AA432A Time : 0.0 sec. user=mdettweiler [2017-05-24 03:16:20] 757*2^1454837-1 is not prime. Res64: 9081DACB400CA610 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:16:20] 865*2^1454837-1 is not prime. Res64: 6253862408A663A6 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:33:18] 605*2^1454838-1 is not prime. Res64: DAA2730F66003162 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:33:19] 621*2^1454838-1 is not prime. Res64: 8738E7A268A19A12 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:33:20] 705*2^1454838-1 is not prime. Res64: F7989904C62655C7 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:33:21] 945*2^1454838-1 is not prime. Res64: EE040F8E0C7727F1 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:33:22] 963*2^1454838-1 is not prime. Res64: A2352DE4889A25E6 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:07] 841*2^1454839-1 is not prime. Res64: 9141DEEBAB2B3483 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:08] 969*2^1454839-1 is not prime. Res64: 32F78E4705B40A96 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:09] 975*2^1454839-1 is not prime. Res64: 8D00683959E45D4C Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:10] 753*2^1454840-1 is not prime. Res64: 65E25771F3607293 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:10] 825*2^1454840-1 is not prime. Res64: FB3158B683C742EB Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:51] 975*2^1454838-1 is not prime. Res64: 4CB1CC2E4DD44F9E Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:52] 625*2^1454839-1 is not prime. Res64: EEB5F6D293889EA7 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:52] 675*2^1454839-1 is not prime. Res64: A0658E72AD0B6277 Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:53] 709*2^1454839-1 is not prime. Res64: 82A0A0FDFD1A111E Time : 0.0 sec. user=mdettweiler [2017-05-24 03:50:53] 765*2^1454839-1 is not prime. Res64: E4B29B39CF433897 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:02:59] 843*2^1454840-1 is not prime. Res64: D5C2205CBF2F1AB3 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:03:00] 727*2^1454841-1 is not prime. Res64: E33C47E6431B2CBC Time : 0.0 sec. user=mdettweiler [2017-05-24 04:03:01] 745*2^1454841-1 is not prime. Res64: 3D91D9DB54F3543B Time : 0.0 sec. user=mdettweiler [2017-05-24 04:03:02] 807*2^1454841-1 is not prime. Res64: 0D2144A8D7447DC2 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:03:03] 817*2^1454841-1 is not prime. Res64: 4C7179A8242CEA7F Time : 0.0 sec. user=mdettweiler [2017-05-24 04:20:43] 937*2^1454841-1 is not prime. Res64: 16AE22731408A2B1 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:20:43] 991*2^1454841-1 is not prime. Res64: 2338FEC46DB5CED8 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:20:44] 603*2^1454842-1 is not prime. Res64: CD74CAF440878587 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:20:44] 645*2^1454842-1 is not prime. Res64: 4904A6AEC6349268 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:20:44] 693*2^1454843-1 is not prime. Res64: A388AA3386B49649 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:36:46] 735*2^1454843-1 is not prime. Res64: B82F263548F97DE3 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:36:47] 753*2^1454843-1 is not prime. Res64: 9D02B985BD4DAA8E Time : 0.0 sec. user=mdettweiler [2017-05-24 04:36:47] 805*2^1454843-1 is not prime. Res64: 2DD2BAFB0D01FD7A Time : 0.0 sec. user=mdettweiler [2017-05-24 04:36:47] 861*2^1454843-1 is not prime. Res64: 5E5D439FEA274E20 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:36:47] 895*2^1454843-1 is not prime. Res64: 080EAD444323CD9D Time : 0.0 sec. user=mdettweiler [2017-05-24 04:37:58] 921*2^1454843-1 is not prime. Res64: 1842364850014A0A Time : 0.0 sec. user=mdettweiler [2017-05-24 04:37:58] 991*2^1454843-1 is not prime. Res64: 96B65924A0EC6291 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:37:59] 675*2^1454844-1 is not prime. Res64: 0C6DF1820514FFD0 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:37:59] 945*2^1454844-1 is not prime. Res64: 62AFC3E01A157D57 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:37:59] 651*2^1454845-1 is not prime. Res64: A9D989AD4F3DFC9C Time : 0.0 sec. user=mdettweiler [2017-05-24 04:49:47] 715*2^1454845-1 is not prime. Res64: A53BB574373F95CC Time : 0.0 sec. user=mdettweiler [2017-05-24 04:49:47] 751*2^1454845-1 is not prime. Res64: E1D7C35072BDDA36 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:49:48] 757*2^1454845-1 is not prime. Res64: 4D68911E6FCC1A2E Time : 0.0 sec. user=mdettweiler [2017-05-24 04:49:48] 777*2^1454845-1 is not prime. Res64: 7B01EA6E8B02DC06 Time : 0.0 sec. user=mdettweiler [2017-05-24 04:49:48] 801*2^1454845-1 is not prime. Res64: 648B8E060CC49978 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:07:32] 825*2^1454845-1 is not prime. Res64: B60F1879DBCC7D14 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:07:33] 885*2^1454845-1 is not prime. Res64: 78F51D48B40922C9 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:07:33] 937*2^1454845-1 is not prime. Res64: B6835BF4597FA6EA Time : 0.0 sec. user=mdettweiler [2017-05-24 05:07:33] 939*2^1454845-1 is not prime. Res64: 72735A884D0AA3A4 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:07:34] 713*2^1454846-1 is not prime. Res64: 1C61E516DE84B401 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:23:56] 785*2^1454846-1 is not prime. Res64: BD838AECE233CB27 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:23:56] 827*2^1454846-1 is not prime. Res64: ACDA0653645DC51B Time : 0.0 sec. user=mdettweiler [2017-05-24 05:23:57] 887*2^1454846-1 is not prime. Res64: 926276E3EB339638 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:23:57] 911*2^1454846-1 is not prime. Res64: 1A6A91A431C171BE Time : 0.0 sec. user=mdettweiler [2017-05-24 05:23:57] 917*2^1454846-1 is not prime. Res64: 9BAF8FD6E64BB56D Time : 0.0 sec. user=mdettweiler [2017-05-24 05:24:50] 981*2^1454846-1 is not prime. Res64: 3513023D9185DAE0 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:24:50] 661*2^1454847-1 is not prime. Res64: CC235CBC32B4BEBB Time : 0.0 sec. user=mdettweiler [2017-05-24 05:24:50] 775*2^1454847-1 is not prime. Res64: A2B6F8DA9596B21A Time : 0.0 sec. user=mdettweiler [2017-05-24 05:24:51] 781*2^1454847-1 is not prime. Res64: F5C7D6F5B1198455 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:24:51] 951*2^1454847-1 is not prime. Res64: 352652B97E29D4BF Time : 0.0 sec. user=mdettweiler [2017-05-24 05:36:50] 975*2^1454847-1 is not prime. Res64: C7198E9EB4544904 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:36:50] 677*2^1454848-1 is not prime. Res64: 594305FFEBF8AB5A Time : 0.0 sec. user=mdettweiler [2017-05-24 05:36:50] 765*2^1454848-1 is not prime. Res64: A9B66CBC6C7D8064 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:36:50] 825*2^1454848-1 is not prime. Res64: D2607D0ACE7383CF Time : 0.0 sec. user=mdettweiler [2017-05-24 05:36:51] 845*2^1454848-1 is not prime. Res64: A7B2B71BE7A8C83B Time : 0.0 sec. user=mdettweiler [2017-05-24 05:54:07] 863*2^1454848-1 is not prime. Res64: 75AAE668C0D9602C Time : 0.0 sec. user=mdettweiler [2017-05-24 05:54:07] 957*2^1454848-1 is not prime. Res64: 413AABF079FBE07A Time : 0.0 sec. user=mdettweiler [2017-05-24 05:54:07] 969*2^1454848-1 is not prime. Res64: 99FCA76E92ADBE12 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:54:08] 615*2^1454849-1 is not prime. Res64: ED79182247712121 Time : 0.0 sec. user=mdettweiler [2017-05-24 05:54:08] 657*2^1454849-1 is not prime. Res64: EC74587C7F6BE3B9 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:06] 885*2^1454849-1 is not prime. Res64: 3A2F1469D997B773 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:06] 909*2^1454849-1 is not prime. Res64: 1F0C3320123051B7 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:06] 957*2^1454849-1 is not prime. Res64: 39E2BF2CC9A36295 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:07] 713*2^1454850-1 is not prime. Res64: D29357335494EE14 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:07] 747*2^1454850-1 is not prime. Res64: 018455A05BC1B463 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:14] 765*2^1454850-1 is not prime. Res64: C12F79D33B6DBBD3 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:14] 803*2^1454850-1 is not prime. Res64: F60A570C81A9F755 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:14] 693*2^1454851-1 is not prime. Res64: 9347F8AE5AFA82BF Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:15] 775*2^1454851-1 is not prime. Res64: 649C4C483E674247 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:11:15] 801*2^1454851-1 is not prime. Res64: 035519D3DDA5129B Time : 0.0 sec. user=mdettweiler [2017-05-24 06:23:35] 861*2^1454851-1 is not prime. Res64: 46402CE7C5D648CF Time : 0.0 sec. user=mdettweiler [2017-05-24 06:23:35] 615*2^1454852-1 is not prime. Res64: C130766ED1D4C581 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:23:35] 683*2^1454852-1 is not prime. Res64: F1049388FB8110A8 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:23:36] 867*2^1454852-1 is not prime. Res64: A0B5DA540E2581B6 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:23:36] 945*2^1454852-1 is not prime. Res64: D79EC70379628863 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:41:12] 977*2^1454852-1 is not prime. Res64: CD2C14214137CF12 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:41:12] 983*2^1454852-1 is not prime. Res64: F8304EB1EC0AAE07 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:41:12] 685*2^1454853-1 is not prime. Res64: 2DA5E11200AD18E8 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:41:12] 861*2^1454853-1 is not prime. Res64: E49C631FF2CE8C0E Time : 0.0 sec. user=mdettweiler [2017-05-24 06:41:12] 621*2^1454854-1 is not prime. Res64: 353D858D3AD815C8 Time : 0.0 sec. user=FritzsHero [2017-05-24 06:53:27] 643*2^1454711-1 is not prime. Res64: 67B46F0A41A4E90F Time : 0.0 sec. user=FritzsHero [2017-05-24 06:53:27] 659*2^1454708-1 is not prime. Res64: 8AC385FF09DC5AD2 Time : 0.0 sec. user=FritzsHero [2017-05-24 06:53:27] 769*2^1454709-1 is not prime. Res64: 09E796D8CA2DB44C Time : 0.0 sec. user=FritzsHero [2017-05-24 06:53:28] 707*2^1454708-1 is not prime. Res64: 1C2343C4DEA24D3E Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:48] 623*2^1454854-1 is not prime. Res64: B5A8CC18CB2F5E79 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:48] 635*2^1454854-1 is not prime. Res64: FCA0CE171F0B6E45 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:48] 657*2^1454854-1 is not prime. Res64: 4CC32E2C477B8CBC Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:48] 665*2^1454854-1 is not prime. Res64: A97E7B95367B2B36 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:49] 705*2^1454854-1 is not prime. Res64: EC513C7703F4AA35 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:50] 741*2^1454854-1 is not prime. Res64: 29823044FFA51C59 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:50] 765*2^1454854-1 is not prime. Res64: 0548ADD34F00D855 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:51] 825*2^1454854-1 is not prime. Res64: 533D1000E0A3510A Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:51] 675*2^1454855-1 is not prime. Res64: 228C0D1D197425E7 Time : 0.0 sec. user=mdettweiler [2017-05-24 06:57:51] 921*2^1454855-1 is not prime. Res64: 3617D1F7B2D1E35F Time : 0.0 sec. user=mdettweiler [2017-05-24 07:10:15] 887*2^1454856-1 is not prime. Res64: 617EB0E9EBBB65C1 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:10:16] 609*2^1454857-1 is not prime. Res64: 8D0EC914F5C181CB Time : 0.0 sec. user=mdettweiler [2017-05-24 07:10:16] 687*2^1454857-1 is not prime. Res64: 89F4AC2C054446CC Time : 0.0 sec. user=mdettweiler [2017-05-24 07:10:16] 759*2^1454857-1 is not prime. Res64: DBAED35276A7CDDB Time : 0.0 sec. user=mdettweiler [2017-05-24 07:10:17] 805*2^1454857-1 is not prime. Res64: 02DD39252FCA8F7A Time : 0.0 sec. user=mdettweiler [2017-05-24 07:27:57] 829*2^1454857-1 is not prime. Res64: 293C7C68BEC37BC7 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:27:57] 747*2^1454858-1 is not prime. Res64: 3B1848A25A840666 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:27:57] 857*2^1454858-1 is not prime. Res64: 9C0C78B7B1FF7A23 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:27:57] 971*2^1454858-1 is not prime. Res64: E6DD6A6064428DA4 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:27:58] 613*2^1454859-1 is not prime. Res64: 48143B9675D45A8F Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:04] 615*2^1454861-1 is not prime. Res64: 09588FD526625B20 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:04] 645*2^1454861-1 is not prime. Res64: 6D417A23C7552521 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:04] 745*2^1454861-1 is not prime. Res64: 4AD62FE4712D71D7 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:05] 777*2^1454861-1 is not prime. Res64: E1053E96A5673C08 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:05] 811*2^1454861-1 is not prime. Res64: E8D6D3885A68E3F5 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:56] 665*2^1454860-1 is not prime. Res64: 594B1128D92F17BE Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:57] 735*2^1454860-1 is not prime. Res64: 16027DEAF20E8470 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:57] 863*2^1454860-1 is not prime. Res64: A3B9AC9CA8CDA17F Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:57] 905*2^1454860-1 is not prime. Res64: E3731D6DFF1CB9EC Time : 0.0 sec. user=mdettweiler [2017-05-24 07:44:57] 933*2^1454860-1 is not prime. Res64: C17AB9A6F7B4A1EA Time : 0.0 sec. user=mdettweiler [2017-05-24 07:56:51] 837*2^1454861-1 is not prime. Res64: 35853398284D8B4F Time : 0.0 sec. user=mdettweiler [2017-05-24 07:56:51] 885*2^1454861-1 is not prime. Res64: 3BA13518C054A240 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:56:51] 939*2^1454861-1 is not prime. Res64: 03902C3C73DC7A86 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:56:51] 967*2^1454861-1 is not prime. Res64: 61D409D978F08A39 Time : 0.0 sec. user=mdettweiler [2017-05-24 07:56:51] 997*2^1454861-1 is not prime. Res64: 72D3107CEC6D7380 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:14:56] 815*2^1454862-1 is not prime. Res64: B35FF2BC93E03796 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:14:56] 885*2^1454862-1 is not prime. Res64: FAB92FEDDAE10E23 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:14:57] 977*2^1454862-1 is not prime. Res64: 5E9E93E2C44656A0 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:14:57] 663*2^1454863-1 is not prime. Res64: 4396CA1CC3D2A514 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:14:58] 679*2^1454863-1 is not prime. Res64: 4A1AC967007AFC38 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:30:47] 751*2^1454863-1 is not prime. Res64: 0FDA81574626367A Time : 0.0 sec. user=mdettweiler [2017-05-24 08:30:47] 873*2^1454863-1 is not prime. Res64: 68A3035846695797 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:30:48] 895*2^1454863-1 is not prime. Res64: CF05D153B1B9A708 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:30:48] 945*2^1454863-1 is not prime. Res64: F66C90D4AE079AD6 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:30:48] 617*2^1454864-1 is not prime. Res64: 3343FC508AE87A1B Time : 0.0 sec. user=mdettweiler [2017-05-24 08:31:59] 623*2^1454864-1 is not prime. Res64: D943F4A75837A8EF Time : 0.0 sec. user=mdettweiler [2017-05-24 08:32:00] 677*2^1454864-1 is not prime. Res64: 95C73535975014E2 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:32:00] 767*2^1454864-1 is not prime. Res64: 7BC3C48961AFEE65 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:32:00] 935*2^1454864-1 is not prime. Res64: 1E8202D9BC48243F Time : 0.0 sec. user=mdettweiler [2017-05-24 08:32:00] 959*2^1454864-1 is not prime. Res64: 8F741052A2B786E0 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:43:28] 691*2^1454865-1 is not prime. Res64: 28A9E7DC0308A3E1 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:43:28] 709*2^1454865-1 is not prime. Res64: 5017F87ADF24D07C Time : 0.0 sec. user=mdettweiler [2017-05-24 08:43:28] 805*2^1454865-1 is not prime. Res64: CF9977A205E08666 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:43:28] 817*2^1454865-1 is not prime. Res64: 6A717B1CA5172CA7 Time : 0.0 sec. user=mdettweiler [2017-05-24 08:43:29] 837*2^1454865-1 is not prime. Res64: D9633CAB7432C080 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:01:56] 871*2^1454865-1 is not prime. Res64: A8AA79E712828257 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:01:57] 909*2^1454865-1 is not prime. Res64: F34350742911E344 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:01:57] 937*2^1454865-1 is not prime. Res64: 64E9E7F5CA821888 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:01:57] 979*2^1454865-1 is not prime. Res64: 4234A12A56691907 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:01:58] 985*2^1454865-1 is not prime. Res64: A8A5D834C8EF55C6 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:17:35] 617*2^1454866-1 is not prime. Res64: 26C92DC8C81A9D94 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:17:35] 717*2^1454866-1 is not prime. Res64: 00C2DC199918B06E Time : 0.0 sec. user=mdettweiler [2017-05-24 09:17:35] 825*2^1454866-1 is not prime. Res64: BA0AE7EF053B9221 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:17:36] 857*2^1454866-1 is not prime. Res64: E740B2BF06D79F54 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:17:36] 867*2^1454866-1 is not prime. Res64: 68F0D2FD06FDD02D Time : 0.0 sec. user=mdettweiler [2017-05-24 09:18:58] 911*2^1454866-1 is not prime. Res64: 3A3AFF95AAB76C81 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:18:58] 889*2^1454867-1 is not prime. Res64: 4C6C8159A4DA7AF9 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:18:58] 901*2^1454867-1 is not prime. Res64: 8986970E8618F813 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:18:58] 903*2^1454867-1 is not prime. Res64: A41429BB379C2248 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:18:59] 909*2^1454867-1 is not prime. Res64: EAC4CB4EECCD46F3 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:30:45] 981*2^1454867-1 is not prime. Res64: 8B663EAB3D2AA8A8 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:30:45] 627*2^1454868-1 is not prime. Res64: BA39A3A0E30E6C8A Time : 0.0 sec. user=mdettweiler [2017-05-24 09:30:46] 737*2^1454868-1 is not prime. Res64: B66D4DF7C8D6CC59 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:30:46] 777*2^1454868-1 is not prime. Res64: 9E8705542D960769 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:30:46] 789*2^1454868-1 is not prime. Res64: B4C489C1BB517581 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:49:14] 867*2^1454868-1 is not prime. Res64: 3CCA74F919C8014D Time : 0.0 sec. user=mdettweiler [2017-05-24 09:49:14] 969*2^1454868-1 is not prime. Res64: C665A8D9A0138308 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:49:15] 639*2^1454869-1 is not prime. Res64: 20B1F21912DCE483 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:49:15] 919*2^1454869-1 is not prime. Res64: 88DBB936E509F860 Time : 0.0 sec. user=mdettweiler [2017-05-24 09:49:15] 967*2^1454869-1 is not prime. Res64: 9745E7C828D7F394 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:04:32] 987*2^1454869-1 is not prime. Res64: AEE8E19EDF11A612 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:04:33] 997*2^1454869-1 is not prime. Res64: 3F3FAC0A8AA5A3CE Time : 0.0 sec. user=mdettweiler [2017-05-24 10:04:34] 615*2^1454870-1 is not prime. Res64: 290490964937A313 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:04:35] 747*2^1454870-1 is not prime. Res64: F822462E50276A83 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:04:36] 861*2^1454870-1 is not prime. Res64: 3B30E1DEDD1A3D67 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:05:42] 893*2^1454870-1 is not prime. Res64: B75B79D4A8FB5DFA Time : 0.0 sec. user=mdettweiler [2017-05-24 10:05:44] 987*2^1454870-1 is not prime. Res64: EADC83AAF697682B Time : 0.0 sec. user=mdettweiler [2017-05-24 10:05:45] 693*2^1454871-1 is not prime. Res64: F1E050BE08CAB90A Time : 0.0 sec. user=mdettweiler [2017-05-24 10:05:46] 709*2^1454871-1 is not prime. Res64: B7CB10344FCC8589 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:05:48] 751*2^1454871-1 is not prime. Res64: 8DA3B9A03840E957 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:17:25] 763*2^1454871-1 is not prime. Res64: E5F0B7DE88B031C3 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:17:25] 789*2^1454871-1 is not prime. Res64: B5DAA646D345A651 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:17:25] 859*2^1454871-1 is not prime. Res64: 80373E971D46C544 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:17:26] 615*2^1454872-1 is not prime. Res64: B71AC65B47FCBD6F Time : 0.0 sec. user=mdettweiler [2017-05-24 10:17:26] 645*2^1454872-1 is not prime. Res64: CB6832F8F235383A Time : 0.0 sec. user=mdettweiler [2017-05-24 10:36:30] 687*2^1454872-1 is not prime. Res64: 79F588EA691A8D8A Time : 0.0 sec. user=mdettweiler [2017-05-24 10:36:31] 777*2^1454872-1 is not prime. Res64: D12A597BAD7BEDBE Time : 0.0 sec. user=mdettweiler [2017-05-24 10:36:31] 779*2^1454872-1 is not prime. Res64: 4A8347CC0E49BEAA Time : 0.0 sec. user=mdettweiler [2017-05-24 10:36:31] 797*2^1454872-1 is not prime. Res64: 27D258FDE94C973B Time : 0.0 sec. user=mdettweiler [2017-05-24 10:36:31] 917*2^1454872-1 is not prime. Res64: 9CD45968CED96D31 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:52:11] 983*2^1454872-1 is not prime. Res64: 011EE8069C0315F9 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:52:11] 669*2^1454873-1 is not prime. Res64: 42643AF8C94435BB Time : 0.0 sec. user=mdettweiler [2017-05-24 10:52:12] 781*2^1454873-1 is not prime. Res64: 109B301877DCAE12 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:52:12] 879*2^1454873-1 is not prime. Res64: 5F64D075C99459E1 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:52:12] 717*2^1454874-1 is not prime. Res64: 260E3E9821456473 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:53:10] 747*2^1454874-1 is not prime. Res64: 04F7A40609025B9F Time : 0.0 sec. user=mdettweiler [2017-05-24 10:53:10] 765*2^1454874-1 is not prime. Res64: 6844BFF1CC3BC377 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:53:11] 767*2^1454874-1 is not prime. Res64: 6ABF0C1A09682B2A Time : 0.0 sec. user=mdettweiler [2017-05-24 10:53:11] 815*2^1454874-1 is not prime. Res64: C68CFF3C24850F14 Time : 0.0 sec. user=mdettweiler [2017-05-24 10:53:11] 971*2^1454874-1 is not prime. Res64: F8370F25A0664DDC Time : 0.0 sec. user=mdettweiler [2017-05-24 11:04:16] 633*2^1454875-1 is not prime. Res64: 6D46288C5F8AF9CB Time : 0.0 sec. user=mdettweiler [2017-05-24 11:04:18] 645*2^1454875-1 is not prime. Res64: 11D7783562246F77 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:04:18] 771*2^1454875-1 is not prime. Res64: 26894AD0539D9919 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:04:19] 855*2^1454875-1 is not prime. Res64: 9487DDFB33FE9792 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:04:20] 859*2^1454875-1 is not prime. Res64: A4AB8EB540EBD23B Time : 0.0 sec. user=mdettweiler [2017-05-24 11:23:32] 609*2^1454876-1 is not prime. Res64: CA593536519DE818 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:23:32] 617*2^1454876-1 is not prime. Res64: 50BBC9A7A19A7903 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:23:32] 735*2^1454876-1 is not prime. Res64: 40435FCBA49EBC8F Time : 0.0 sec. user=mdettweiler [2017-05-24 11:23:32] 785*2^1454876-1 is not prime. Res64: 79735246E2D4ED4A Time : 0.0 sec. user=mdettweiler [2017-05-24 11:23:33] 875*2^1454876-1 is not prime. Res64: B1DDAB63266A33BF Time : 0.0 sec. user=mdettweiler [2017-05-24 11:39:01] 945*2^1454876-1 is not prime. Res64: 2A92EEDCC189C625 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:39:01] 627*2^1454877-1 is not prime. Res64: 7851EB861D2ADA12 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:39:01] 661*2^1454877-1 is not prime. Res64: 78F5B3388160277C Time : 0.0 sec. user=mdettweiler [2017-05-24 11:39:01] 819*2^1454877-1 is not prime. Res64: 4A1D6994E068DFE2 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:39:02] 867*2^1454877-1 is not prime. Res64: 2EECF303D83B824F Time : 0.0 sec. user=mdettweiler [2017-05-24 11:40:05] 605*2^1454878-1 is not prime. Res64: 62BC87AA8CE26F98 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:40:05] 687*2^1454878-1 is not prime. Res64: C03ACC939A2777BB Time : 0.0 sec. user=mdettweiler [2017-05-24 11:40:05] 705*2^1454878-1 is not prime. Res64: 5B5645003FCF35B4 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:40:05] 723*2^1454878-1 is not prime. Res64: 5300F49D87EA6538 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:40:06] 777*2^1454878-1 is not prime. Res64: E80304AB018BE350 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:51:34] 825*2^1454878-1 is not prime. Res64: 775CA05466AFFF5B Time : 0.0 sec. user=mdettweiler [2017-05-24 11:51:34] 843*2^1454878-1 is not prime. Res64: 4AD7F195B3A7CB70 Time : 0.0 sec. user=mdettweiler [2017-05-24 11:51:35] 855*2^1454878-1 is not prime. Res64: 601F656EDE6CD62C Time : 0.0 sec. user=mdettweiler [2017-05-24 11:51:35] 857*2^1454878-1 is not prime. Res64: 198C40FEADD9EE0C Time : 0.0 sec. user=mdettweiler [2017-05-24 11:51:35] 861*2^1454878-1 is not prime. Res64: BD7DCA7EC11C8FD2 Time : 0.0 sec. user=juhehe [2017-05-24 11:53:36] 971*2^1454878-1 is not prime. Res64: 9F0537410C9794A7 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:10:05] 609*2^1454879-1 is not prime. Res64: B3C3C9C44A782F40 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:10:05] 729*2^1454879-1 is not prime. Res64: C7A12E3D6CADCAC1 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:10:06] 745*2^1454879-1 is not prime. Res64: 209CB056B63D93AB Time : 0.0 sec. user=mdettweiler [2017-05-24 12:10:06] 753*2^1454879-1 is not prime. Res64: 71DFD68010F77305 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:10:06] 759*2^1454879-1 is not prime. Res64: C3B967F7A2E89895 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:25:43] 823*2^1454879-1 is not prime. Res64: 600573E4EAA7A7F6 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:25:44] 889*2^1454879-1 is not prime. Res64: F7C7872C70CDD616 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:25:44] 633*2^1454880-1 is not prime. Res64: 0AD30F6A9BE9F587 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:25:44] 753*2^1454880-1 is not prime. Res64: 404D7A213075D4ED Time : 0.0 sec. user=mdettweiler [2017-05-24 12:25:44] 789*2^1454880-1 is not prime. Res64: E81FAA18627FE912 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:26:59] 803*2^1454880-1 is not prime. Res64: 6FC353A234FAFBD5 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:26:59] 893*2^1454880-1 is not prime. Res64: D9B8B59F3FAEABE8 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:27:00] 705*2^1454881-1 is not prime. Res64: EB12513F7665ECCD Time : 0.0 sec. user=mdettweiler [2017-05-24 12:27:00] 747*2^1454881-1 is not prime. Res64: BE31E77F7DBAF5A4 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:27:00] 799*2^1454881-1 is not prime. Res64: 3800913D50D5DBD1 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:38:51] 955*2^1454881-1 is not prime. Res64: 04C78B936DC3DE36 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:38:51] 999*2^1454881-1 is not prime. Res64: 620D9DC9C051EEAA Time : 0.0 sec. user=mdettweiler [2017-05-24 12:38:52] 615*2^1454882-1 is not prime. Res64: 577E00FC4AD5DC5D Time : 0.0 sec. user=mdettweiler [2017-05-24 12:38:52] 677*2^1454882-1 is not prime. Res64: 3E4F8D5EA5D4D6F4 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:38:52] 767*2^1454882-1 is not prime. Res64: F9932BD6D1A03CE5 Time : 0.0 sec. user=juhehe [2017-05-24 12:39:05] 771*2^1454882-1 is not prime. Res64: 4A2AAC9634C52F84 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:56:57] 825*2^1454882-1 is not prime. Res64: 242F2860411B8921 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:56:57] 831*2^1454882-1 is not prime. Res64: 92B5E20B253CA7C2 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:56:57] 923*2^1454882-1 is not prime. Res64: 42EAD0AB43234CD1 Time : 0.0 sec. user=mdettweiler [2017-05-24 12:56:57] 945*2^1454882-1 is not prime. Res64: C3528DA50CFE3ABE Time : 0.0 sec. user=mdettweiler [2017-05-24 12:56:58] 741*2^1454883-1 is not prime. Res64: 9A95DE0646835E63 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:12:29] 805*2^1454883-1 is not prime. Res64: E97A3F9F0F5B98FD Time : 0.0 sec. user=mdettweiler [2017-05-24 13:12:29] 859*2^1454883-1 is not prime. Res64: F6DADD21CFC8AEC4 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:12:30] 609*2^1454884-1 is not prime. Res64: 40B6D19BDF75C2F8 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:12:30] 717*2^1454884-1 is not prime. Res64: 0CA7485F664B1126 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:12:30] 819*2^1454884-1 is not prime. Res64: 7F8D9E142DF42762 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:14:00] 875*2^1454884-1 is not prime. Res64: C4D32EC35D822018 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:14:01] 885*2^1454884-1 is not prime. Res64: 354BC7A882C3AA01 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:14:01] 927*2^1454884-1 is not prime. Res64: 01995E22B46CB04D Time : 0.0 sec. user=mdettweiler [2017-05-24 13:14:01] 929*2^1454884-1 is not prime. Res64: 94B7326767105C16 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:14:01] 993*2^1454884-1 is not prime. Res64: 8DDC62753C056513 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:25:43] 685*2^1454885-1 is not prime. Res64: F750FBF90B7D05E1 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:25:44] 697*2^1454885-1 is not prime. Res64: 746ED0719C77EF54 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:25:44] 715*2^1454885-1 is not prime. Res64: 4123493583EFA7D3 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:25:44] 837*2^1454885-1 is not prime. Res64: 57B37BDBD57DAAC5 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:25:44] 855*2^1454885-1 is not prime. Res64: EEDA9C37D2657249 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:43:34] 861*2^1454885-1 is not prime. Res64: 1EDF122A3C64295B Time : 0.0 sec. user=mdettweiler [2017-05-24 13:43:34] 885*2^1454885-1 is not prime. Res64: 4EC385EAA34F3A03 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:43:34] 889*2^1454885-1 is not prime. Res64: F1FCA7B85EADA3BB Time : 0.0 sec. user=mdettweiler [2017-05-24 13:43:35] 955*2^1454885-1 is not prime. Res64: 73FA76F94B0E5731 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:43:35] 683*2^1454886-1 is not prime. Res64: 3F1CAB9AC51D2883 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:59:19] 725*2^1454886-1 is not prime. Res64: AD937A13DF149471 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:59:19] 821*2^1454886-1 is not prime. Res64: 0BEF25A9A2BCA1C1 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:59:19] 843*2^1454886-1 is not prime. Res64: 1E224D63BBDEF2EC Time : 0.0 sec. user=mdettweiler [2017-05-24 13:59:20] 893*2^1454886-1 is not prime. Res64: CCEBD435D01F9C89 Time : 0.0 sec. user=mdettweiler [2017-05-24 13:59:20] 941*2^1454886-1 is not prime. Res64: 33B353A4D8A1CEFC Time : 0.0 sec. user=mdettweiler [2017-05-24 14:00:56] 963*2^1454886-1 is not prime. Res64: 161A410508E33B88 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:00:56] 993*2^1454886-1 is not prime. Res64: A1F36C84E908D6EE Time : 0.0 sec. user=mdettweiler [2017-05-24 14:00:57] 615*2^1454887-1 is not prime. Res64: 5260BC0D61F339D4 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:00:57] 843*2^1454888-1 is not prime. Res64: 20BEC8276834CC11 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:00:57] 923*2^1454888-1 is not prime. Res64: 995F4C94E8F3107C Time : 0.0 sec. user=mdettweiler [2017-05-24 14:12:28] 957*2^1454888-1 is not prime. Res64: E3A78E13D5072348 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:12:29] 625*2^1454889-1 is not prime. Res64: 5D10B23E16BC6C92 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:12:29] 661*2^1454889-1 is not prime. Res64: 45FA153E6B710DA4 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:12:29] 679*2^1454889-1 is not prime. Res64: F0D8305BC499699A Time : 0.0 sec. user=mdettweiler [2017-05-24 14:12:30] 681*2^1454889-1 is not prime. Res64: 9F447D57F994EC04 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:30:29] 691*2^1454889-1 is not prime. Res64: D3FE6E3B1458EF76 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:30:29] 781*2^1454889-1 is not prime. Res64: CB4869D98117F5A4 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:30:30] 949*2^1454889-1 is not prime. Res64: 196A12BE71FC6340 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:30:30] 665*2^1454890-1 is not prime. Res64: D71AA106867CF20E Time : 0.0 sec. user=mdettweiler [2017-05-24 14:30:30] 681*2^1454890-1 is not prime. Res64: 81DA1FC92FBF6CD6 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:46:17] 701*2^1454890-1 is not prime. Res64: FA08F84FE98C480D Time : 0.0 sec. user=mdettweiler [2017-05-24 14:46:17] 723*2^1454890-1 is not prime. Res64: 25CC5ABA0F8309ED Time : 0.0 sec. user=mdettweiler [2017-05-24 14:46:17] 645*2^1454891-1 is not prime. Res64: DBD8E8E53C2F3522 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:46:17] 753*2^1454891-1 is not prime. Res64: 827B0A38E6FBC2C0 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:46:18] 879*2^1454891-1 is not prime. Res64: A267D53BD71AD862 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:47:51] 955*2^1454891-1 is not prime. Res64: 6ACAED44174F470D Time : 0.0 sec. user=mdettweiler [2017-05-24 14:47:51] 999*2^1454891-1 is not prime. Res64: 26DD48A14767800D Time : 0.0 sec. user=mdettweiler [2017-05-24 14:47:52] 609*2^1454893-1 is not prime. Res64: 1C117E2205FC04CF Time : 0.0 sec. user=mdettweiler [2017-05-24 14:47:52] 801*2^1454893-1 is not prime. Res64: 1841EED81B473814 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:47:52] 925*2^1454893-1 is not prime. Res64: 43BB3E8F17094E2B Time : 0.0 sec. user=mdettweiler [2017-05-24 14:59:46] 937*2^1454893-1 is not prime. Res64: F2141E885ABA67B2 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:59:46] 605*2^1454894-1 is not prime. Res64: 432ED14E447F0ED8 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:59:47] 615*2^1454894-1 is not prime. Res64: 7F6CB1EC426AA1F3 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:59:47] 623*2^1454894-1 is not prime. Res64: 99EDE8EFB721C9E0 Time : 0.0 sec. user=mdettweiler [2017-05-24 14:59:47] 635*2^1454894-1 is not prime. Res64: 812AB1BA71AC0EEE Time : 0.0 sec. user=mdettweiler [2017-05-24 15:17:24] 743*2^1454894-1 is not prime. Res64: C3BDFC0760E54375 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:17:24] 813*2^1454894-1 is not prime. Res64: 5C98EC58A2BD49F9 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:17:25] 885*2^1454894-1 is not prime. Res64: 5DD6F0D3F6E4B4E4 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:17:25] 921*2^1454894-1 is not prime. Res64: 19FC5C8823249555 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:17:25] 983*2^1454894-1 is not prime. Res64: 0C4E0449087C3E05 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:32:48] 679*2^1454895-1 is not prime. Res64: DFA5BD87EBC623DB Time : 0.0 sec. user=mdettweiler [2017-05-24 15:32:48] 735*2^1454895-1 is not prime. Res64: E7BCCBD8C01C3623 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:32:48] 741*2^1454895-1 is not prime. Res64: FB7CC1634C6AF5AC Time : 0.0 sec. user=mdettweiler [2017-05-24 15:32:49] 775*2^1454895-1 is not prime. Res64: 3932E8265DB6EC4F Time : 0.0 sec. user=mdettweiler [2017-05-24 15:32:49] 781*2^1454895-1 is not prime. Res64: 8547936AE4A6441E Time : 0.0 sec. user=mdettweiler [2017-05-24 15:35:01] 795*2^1454895-1 is not prime. Res64: 998C391791B65378 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:35:01] 831*2^1454895-1 is not prime. Res64: C9E3C872DFA94BFD Time : 0.0 sec. user=mdettweiler [2017-05-24 15:35:02] 859*2^1454895-1 is not prime. Res64: 32CCC73CC306D184 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:35:03] 861*2^1454895-1 is not prime. Res64: CF3104FC922CF0B6 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:35:03] 985*2^1454895-1 is not prime. Res64: 5D6F871E9EEA4162 Time : 0.0 sec. user=FritzsHero [2017-05-24 15:36:24] 873*2^1454712-1 is not prime. Res64: AE0DC615E5362D79 Time : 0.0 sec. user=FritzsHero [2017-05-24 15:36:25] 959*2^1454712-1 is not prime. Res64: 9D627C577B8EF6EA Time : 0.0 sec. user=FritzsHero [2017-05-24 15:36:44] 917*2^1454712-1 is not prime. Res64: B11B6C3E5557E60A Time : 0.0 sec. user=mdettweiler [2017-05-24 15:46:34] 615*2^1454896-1 is not prime. Res64: 6D71EDBE62DEB725 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:46:35] 639*2^1454896-1 is not prime. Res64: 0276D550A4AFBE03 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:46:35] 707*2^1454896-1 is not prime. Res64: 3474C7652595C47F Time : 0.0 sec. user=mdettweiler [2017-05-24 15:46:35] 717*2^1454896-1 is not prime. Res64: AB83A8868050EAE6 Time : 0.0 sec. user=mdettweiler [2017-05-24 15:46:36] 743*2^1454896-1 is not prime. Res64: 36B86AF824A4C876 Time : 0.0 sec. user=mdettweiler [2017-05-24 16:04:20] 607*2^1454897-1 is not prime. Res64: C686E1205F942B06 Time : 0.0 sec. user=mdettweiler [2017-05-24 16:04:23] 631*2^1454897-1 is not prime. Res64: 55B841C0538031DB Time : 0.0 sec. user=mdettweiler [2017-05-24 16:04:24] 675*2^1454897-1 is not prime. Res64: 6A3A24BF03047D76 Time : 0.0 sec. user=mdettweiler [2017-05-24 16:04:25] 729*2^1454897-1 is not prime. Res64: 4C64F7CA6DB75DA2 Time : 0.0 sec. user=mdettweiler [2017-05-24 16:04:27] 741*2^1454897-1 is not prime. Res64: 6E3E78033F7E703C Time : 0.0 sec. user=mdettweiler [2017-05-24 22:17:41] 737*2^1454898-1 is not prime. Res64: 47F36131F0378265 Time : 0.0 sec. user=mdettweiler [2017-05-24 22:17:41] 797*2^1454898-1 is not prime. Res64: 0AE4CFDC72B4180F Time : 0.0 sec. user=mdettweiler [2017-05-24 22:17:41] 861*2^1454898-1 is not prime. Res64: AEEB7B7792F2E18D Time : 0.0 sec. user=mdettweiler [2017-05-24 22:17:42] 875*2^1454898-1 is not prime. Res64: 77C77DF329A58941 Time : 0.0 sec. user=mdettweiler [2017-05-24 22:17:42] 887*2^1454898-1 is not prime. Res64: 750A91BB875D9101 Time : 0.0 sec. user=mdettweiler [2017-05-24 23:07:25] 991*2^1454901-1 is not prime. Res64: B7614AACAAC5D3D1 Time : 0.0 sec. user=mdettweiler [2017-05-24 23:07:25] 657*2^1454902-1 is not prime. Res64: 5A274A999649022C Time : 0.0 sec. user=mdettweiler [2017-05-24 23:07:26] 713*2^1454902-1 is not prime. Res64: 51D3AD8F9E7ED25A Time : 0.0 sec. user=mdettweiler [2017-05-24 23:07:26] 755*2^1454902-1 is not prime. Res64: 7F943D6AC302536C Time : 0.0 sec. user=mdettweiler [2017-05-24 23:07:26] 825*2^1454902-1 is not prime. Res64: 602D22D3EEF02B16 Time : 0.0 sec. user=mdettweiler [2017-05-24 23:56:25] 887*2^1454902-1 is not prime. Res64: 76D75D2BD6A0F8DF Time : 0.0 sec. user=mdettweiler [2017-05-24 23:56:25] 633*2^1454903-1 is not prime. Res64: D9B72936E54C37BB Time : 0.0 sec. user=mdettweiler [2017-05-24 23:56:25] 663*2^1454903-1 is not prime. Res64: CC0E10E23F6655C2 Time : 0.0 sec. user=mdettweiler [2017-05-24 23:56:26] 771*2^1454903-1 is not prime. Res64: 43BEF449B98D6B92 Time : 0.0 sec. user=mdettweiler [2017-05-24 23:56:26] 789*2^1454903-1 is not prime. Res64: DE9FF8F44F4C47A5 Time : 0.0 sec.