user=mdettweiler [2017-04-16 00:04:07] 655*2^1451757-1 is not prime. Res64: 5794E0A17AE8F93F Time : 0.0 sec. user=mdettweiler [2017-04-16 00:04:08] 769*2^1451757-1 is not prime. Res64: 7E90C8DE35E5044A Time : 0.0 sec. user=mdettweiler [2017-04-16 00:04:09] 817*2^1451757-1 is not prime. Res64: EED743C9DD4F6EC3 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:04:10] 871*2^1451757-1 is not prime. Res64: A8F2450F84DFF9B2 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:04:11] 617*2^1451758-1 is not prime. Res64: 12098D01FCB3FFEB Time : 0.0 sec. user=mdettweiler [2017-04-16 00:15:42] 705*2^1451758-1 is not prime. Res64: 39828DA015152077 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:15:43] 707*2^1451758-1 is not prime. Res64: 4043F9C6DD0869EA Time : 0.0 sec. user=mdettweiler [2017-04-16 00:15:43] 777*2^1451758-1 is not prime. Res64: 44FCC3A1254ED714 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:15:43] 791*2^1451758-1 is not prime. Res64: 08714A45F964A497 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:15:44] 915*2^1451758-1 is not prime. Res64: 30EE6855AF841930 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:24:28] 923*2^1451758-1 is not prime. Res64: 8AFEEF009675C33D Time : 0.0 sec. user=mdettweiler [2017-04-16 00:24:28] 995*2^1451758-1 is not prime. Res64: FE52E208920F47CB Time : 0.0 sec. user=mdettweiler [2017-04-16 00:24:29] 645*2^1451759-1 is not prime. Res64: DCBA17AF39E8DF0A Time : 0.0 sec. user=mdettweiler [2017-04-16 00:24:29] 661*2^1451759-1 is not prime. Res64: CBDA803ADC16A6F2 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:24:29] 705*2^1451759-1 is not prime. Res64: 46CAFA4E32D1D356 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:25:01] 745*2^1451759-1 is not prime. Res64: 1E78FFF9C7F2B1B2 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:25:02] 859*2^1451759-1 is not prime. Res64: 051799872CA0D340 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:25:05] 883*2^1451759-1 is not prime. Res64: F4F753966FF440D2 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:25:07] 921*2^1451759-1 is not prime. Res64: 0508060AB7FFEB34 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:25:07] 629*2^1451760-1 is not prime. Res64: EE11C2B9CB47751E Time : 0.0 sec. user=juhehe [2017-04-16 00:40:03] 867*2^1451760-1 is not prime. Res64: A4E06377EAA045A7 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:49:14] 929*2^1451760-1 is not prime. Res64: 3FDB345AE47A62F0 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:49:14] 959*2^1451760-1 is not prime. Res64: 06DE884EF0E41C94 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:49:15] 957*2^1451761-1 is not prime. Res64: 77218182A00FB728 Time : 0.0 sec. user=mdettweiler [2017-04-16 00:49:15] 967*2^1451761-1 is not prime. Res64: 05EA313463990A5F Time : 0.0 sec. user=mdettweiler [2017-04-16 00:49:15] 651*2^1451762-1 is not prime. Res64: 150C478224495741 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:02:34] 675*2^1451762-1 is not prime. Res64: E70A2682D7892FD7 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:02:35] 683*2^1451762-1 is not prime. Res64: CF4E5AE9992493B8 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:02:36] 731*2^1451762-1 is not prime. Res64: E1DB814B79F96842 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:02:38] 747*2^1451762-1 is not prime. Res64: FF9CD205015A0FC8 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:02:39] 857*2^1451762-1 is not prime. Res64: 09BF280DCE6293BC Time : 0.0 sec. user=juhehe [2017-04-16 01:09:09] 605*2^1451764-1 is not prime. Res64: 69EC4434D4887EB2 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:10:48] 885*2^1451762-1 is not prime. Res64: 217F645034445245 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:10:48] 923*2^1451762-1 is not prime. Res64: FAD832B6B7303B4F Time : 0.0 sec. user=mdettweiler [2017-04-16 01:10:49] 669*2^1451763-1 is not prime. Res64: 800D9249C50C601E Time : 0.0 sec. user=mdettweiler [2017-04-16 01:10:49] 705*2^1451763-1 is not prime. Res64: 68ED1CBB88D48E0E Time : 0.0 sec. user=mdettweiler [2017-04-16 01:10:50] 735*2^1451763-1 is not prime. Res64: 2FFD14562CE60481 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:11:28] 781*2^1451763-1 is not prime. Res64: 778FC5EBFF2126E6 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:11:29] 783*2^1451763-1 is not prime. Res64: 983FC9AFAC0D500A Time : 0.0 sec. user=mdettweiler [2017-04-16 01:11:29] 859*2^1451763-1 is not prime. Res64: 52DBFB8636587EF2 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:11:29] 943*2^1451763-1 is not prime. Res64: 3B5B23F725B73320 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:11:30] 991*2^1451763-1 is not prime. Res64: 844EE85D6CE02BD7 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:35:37] 665*2^1451764-1 is not prime. Res64: EF5E7C8AEB470F3F Time : 0.0 sec. user=mdettweiler [2017-04-16 01:35:38] 719*2^1451764-1 is not prime. Res64: B103A8B97BD775C3 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:35:38] 903*2^1451764-1 is not prime. Res64: 1370E200DC34DDC1 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:35:39] 939*2^1451764-1 is not prime. Res64: 94E4A66C33F7BBAD Time : 0.0 sec. user=mdettweiler [2017-04-16 01:35:39] 969*2^1451764-1 is not prime. Res64: 13742CCE88889D53 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:47:56] 989*2^1451764-1 is not prime. Res64: A9B16FFEB3E15CB8 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:47:57] 627*2^1451765-1 is not prime. Res64: 93D9222BA18CFB04 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:47:57] 651*2^1451765-1 is not prime. Res64: C7C352D14A2F5387 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:47:58] 655*2^1451765-1 is not prime. Res64: B3E9111BD7570512 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:47:58] 691*2^1451765-1 is not prime. Res64: 8BCECD31CF4019D6 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:55:55] 801*2^1451765-1 is not prime. Res64: DD34AD2430C3FCEA Time : 0.0 sec. user=mdettweiler [2017-04-16 01:55:56] 825*2^1451765-1 is not prime. Res64: 3B00EFFE9472E38B Time : 0.0 sec. user=mdettweiler [2017-04-16 01:55:56] 861*2^1451765-1 is not prime. Res64: CE7CD8BFF27CF982 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:55:56] 949*2^1451765-1 is not prime. Res64: F3CAB127195B7B6D Time : 0.0 sec. user=mdettweiler [2017-04-16 01:55:57] 955*2^1451765-1 is not prime. Res64: 9A929EEE055372E9 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:56:39] 627*2^1451766-1 is not prime. Res64: 0721ED192B8EB341 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:56:39] 705*2^1451766-1 is not prime. Res64: 19992A96801989D8 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:56:40] 725*2^1451766-1 is not prime. Res64: 7321272A36F5A235 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:56:40] 783*2^1451766-1 is not prime. Res64: 0888BD6891A19604 Time : 0.0 sec. user=mdettweiler [2017-04-16 01:56:40] 801*2^1451766-1 is not prime. Res64: AFFEB293FC63D021 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:20:38] 851*2^1451766-1 is not prime. Res64: 134B2EC2687B489E Time : 0.0 sec. user=mdettweiler [2017-04-16 02:20:38] 923*2^1451766-1 is not prime. Res64: 9A3CE62DF5773524 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:20:38] 975*2^1451766-1 is not prime. Res64: C4D094677A872ED0 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:20:39] 993*2^1451766-1 is not prime. Res64: D10EE3FA546B0EB5 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:20:39] 639*2^1451767-1 is not prime. Res64: 1A9BCACD6C20C7E2 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:32:50] 741*2^1451767-1 is not prime. Res64: 0A9A346789537B30 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:32:51] 819*2^1451767-1 is not prime. Res64: E8E09AC8EF41BC27 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:32:51] 871*2^1451767-1 is not prime. Res64: BD6EE76A2D6AF0A6 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:32:52] 961*2^1451767-1 is not prime. Res64: 3A4AEDC85E671E9C Time : 0.0 sec. user=mdettweiler [2017-04-16 02:32:52] 615*2^1451768-1 is not prime. Res64: F0AFF2880EA1569F Time : 0.0 sec. user=juhehe [2017-04-16 02:39:03] 681*2^1451769-1 is not prime. Res64: 2DE4DB1AC6CFAC66 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:02] 677*2^1451768-1 is not prime. Res64: 18206F9E861F5333 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:02] 773*2^1451768-1 is not prime. Res64: 59E5E286D9982B1B Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:03] 837*2^1451768-1 is not prime. Res64: F70A56B333AC40BA Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:03] 929*2^1451768-1 is not prime. Res64: 77BA334D3B1F1CB4 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:04] 935*2^1451768-1 is not prime. Res64: 6417CFDA51DF90B2 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:53] 957*2^1451768-1 is not prime. Res64: DED2E56A4DD36C23 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:54] 999*2^1451768-1 is not prime. Res64: F6AE298DA5D0F0E7 Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:54] 601*2^1451769-1 is not prime. Res64: 5F298CD8AC5F7B6A Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:54] 625*2^1451769-1 is not prime. Res64: BC521A3EC487A3FB Time : 0.0 sec. user=mdettweiler [2017-04-16 02:41:54] 667*2^1451769-1 is not prime. Res64: 627361395B28D252 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:06:26] 765*2^1451769-1 is not prime. Res64: CB6AF03E1C82159A Time : 0.0 sec. user=mdettweiler [2017-04-16 03:06:27] 835*2^1451769-1 is not prime. Res64: 9B9D21676B6AD8E1 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:06:27] 861*2^1451769-1 is not prime. Res64: 16FBD18DA0EE638B Time : 0.0 sec. user=mdettweiler [2017-04-16 03:06:28] 919*2^1451769-1 is not prime. Res64: 81417CCC260E95D0 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:06:28] 991*2^1451769-1 is not prime. Res64: 301EC5AF4BA9B2F4 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:18:46] 687*2^1451770-1 is not prime. Res64: 06CCC0982E6E2F5F Time : 0.0 sec. user=mdettweiler [2017-04-16 03:18:47] 755*2^1451770-1 is not prime. Res64: 352E7805284965D2 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:18:47] 981*2^1451770-1 is not prime. Res64: 373F316EF4114960 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:18:48] 621*2^1451771-1 is not prime. Res64: D137A256A58ECA73 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:18:48] 645*2^1451771-1 is not prime. Res64: 1EC0A8B7463AED7B Time : 0.0 sec. user=mdettweiler [2017-04-16 03:26:36] 789*2^1451771-1 is not prime. Res64: F1E428D4790B18B0 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:26:37] 981*2^1451771-1 is not prime. Res64: 7FBD68685DE053AB Time : 0.0 sec. user=mdettweiler [2017-04-16 03:26:38] 669*2^1451772-1 is not prime. Res64: 2B8B7F177687F35E Time : 0.0 sec. user=mdettweiler [2017-04-16 03:26:38] 899*2^1451772-1 is not prime. Res64: 6F4D705A3C26FD74 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:26:39] 957*2^1451772-1 is not prime. Res64: F67BF6EDE6D21D9B Time : 0.0 sec. user=mdettweiler [2017-04-16 03:27:30] 615*2^1451773-1 is not prime. Res64: B24038FC79EAF28B Time : 0.0 sec. user=mdettweiler [2017-04-16 03:27:31] 775*2^1451773-1 is not prime. Res64: 3071FB05FF7FC476 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:27:33] 829*2^1451773-1 is not prime. Res64: C688B03F8FCC2DF8 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:27:33] 895*2^1451773-1 is not prime. Res64: 8C536538B45FF751 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:27:34] 919*2^1451773-1 is not prime. Res64: 0ADB3747D597EDE7 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:51:37] 937*2^1451773-1 is not prime. Res64: 0DF7DA2E75B7B682 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:51:38] 987*2^1451773-1 is not prime. Res64: 830F922A0C19A603 Time : 0.0 sec. user=mdettweiler [2017-04-16 03:51:39] 999*2^1451773-1 is not prime. Res64: F6416AFD2168EE2C Time : 0.0 sec. user=mdettweiler [2017-04-16 03:51:40] 705*2^1451774-1 is not prime. Res64: D01485EBEE8A1D5C Time : 0.0 sec. user=mdettweiler [2017-04-16 03:51:41] 741*2^1451774-1 is not prime. Res64: C66C6B177FEBDE3A Time : 0.0 sec. user=mdettweiler [2017-04-16 04:04:08] 797*2^1451774-1 is not prime. Res64: 979C85CF4560B436 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:04:09] 825*2^1451774-1 is not prime. Res64: E6CA447F8A88BDFE Time : 0.0 sec. user=mdettweiler [2017-04-16 04:04:10] 875*2^1451774-1 is not prime. Res64: 8CE036241E799B3B Time : 0.0 sec. user=mdettweiler [2017-04-16 04:04:11] 887*2^1451774-1 is not prime. Res64: 066F7046833D9A22 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:04:12] 971*2^1451774-1 is not prime. Res64: EB50FFAE34DBC732 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:12:37] 685*2^1451775-1 is not prime. Res64: 2C58266CC864A95E Time : 0.0 sec. user=mdettweiler [2017-04-16 04:12:37] 933*2^1451775-1 is not prime. Res64: 25EF30FD8A00A602 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:12:38] 999*2^1451775-1 is not prime. Res64: D8D1FC4BACA110B3 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:12:38] 657*2^1451776-1 is not prime. Res64: 41E226E236AB2ABF Time : 0.0 sec. user=mdettweiler [2017-04-16 04:12:39] 777*2^1451776-1 is not prime. Res64: B967A720C531ADB0 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:13:48] 807*2^1451776-1 is not prime. Res64: BB774DE7D1A9CCB6 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:13:48] 989*2^1451776-1 is not prime. Res64: 9BE322448B0F5A23 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:13:48] 615*2^1451777-1 is not prime. Res64: EDF8155EF63FC6D8 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:13:49] 715*2^1451777-1 is not prime. Res64: 839A9E4439FEF141 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:13:49] 717*2^1451777-1 is not prime. Res64: DBD62B5CA9D169C5 Time : 0.0 sec. user=juhehe [2017-04-16 04:40:48] 861*2^1451778-1 is not prime. Res64: 16A4911AAB52FA70 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:41:52] 777*2^1451777-1 is not prime. Res64: 5DD6F865F43AEC57 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:41:52] 795*2^1451777-1 is not prime. Res64: C60103AE7A21E21F Time : 0.0 sec. user=mdettweiler [2017-04-16 04:41:53] 847*2^1451777-1 is not prime. Res64: 378004499F3510BD Time : 0.0 sec. user=mdettweiler [2017-04-16 04:41:53] 879*2^1451777-1 is not prime. Res64: 25483EA95E6DACE0 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:41:53] 731*2^1451778-1 is not prime. Res64: 1109910FFB63B86A Time : 0.0 sec. user=mdettweiler [2017-04-16 04:55:49] 887*2^1451778-1 is not prime. Res64: CD18AFB5221C4254 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:55:50] 921*2^1451778-1 is not prime. Res64: A87714D58AAFEBBF Time : 0.0 sec. user=mdettweiler [2017-04-16 04:55:50] 631*2^1451779-1 is not prime. Res64: 533A27A7E5937D95 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:55:50] 679*2^1451779-1 is not prime. Res64: 3B1E7773924F0E07 Time : 0.0 sec. user=mdettweiler [2017-04-16 04:55:51] 681*2^1451779-1 is not prime. Res64: 0B837EF4543FB258 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:04:33] 669*2^1451780-1 is not prime. Res64: 97172D81F75ACB07 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:04:35] 689*2^1451780-1 is not prime. Res64: D88E686591125BB8 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:04:36] 743*2^1451780-1 is not prime. Res64: 39BE693E2A0DF152 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:04:37] 797*2^1451780-1 is not prime. Res64: FCA9806AFC63D842 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:04:38] 825*2^1451780-1 is not prime. Res64: 9BC237E1092CF852 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:05:14] 759*2^1451779-1 is not prime. Res64: 61EC2B23C0612C3E Time : 0.0 sec. user=mdettweiler [2017-04-16 05:05:15] 843*2^1451779-1 is not prime. Res64: A65923FE9403C002 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:05:16] 855*2^1451779-1 is not prime. Res64: 421A2BC61D932B64 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:05:17] 891*2^1451779-1 is not prime. Res64: EAAC07C234A15133 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:05:18] 979*2^1451779-1 is not prime. Res64: BB8305308CB9E6DC Time : 0.0 sec. user=mdettweiler [2017-04-16 05:33:49] 915*2^1451780-1 is not prime. Res64: 60A6232A8D67C25A Time : 0.0 sec. user=mdettweiler [2017-04-16 05:33:50] 977*2^1451780-1 is not prime. Res64: C2AC567FC67D255F Time : 0.0 sec. user=mdettweiler [2017-04-16 05:33:50] 651*2^1451781-1 is not prime. Res64: E8C0ED40838AC77D Time : 0.0 sec. user=mdettweiler [2017-04-16 05:33:51] 777*2^1451781-1 is not prime. Res64: 2D00A42E214EC443 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:33:51] 837*2^1451781-1 is not prime. Res64: 4E7BE0EB5E15702D Time : 0.0 sec. user=mdettweiler [2017-04-16 05:46:12] 927*2^1451781-1 is not prime. Res64: 4ECAA5334D379487 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:46:12] 961*2^1451781-1 is not prime. Res64: 17D574F1BEEA6830 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:46:13] 975*2^1451781-1 is not prime. Res64: FE6C05C4A26E6B0C Time : 0.0 sec. user=mdettweiler [2017-04-16 05:46:13] 785*2^1451782-1 is not prime. Res64: 79F4D6A35830E22A Time : 0.0 sec. user=mdettweiler [2017-04-16 05:46:13] 815*2^1451782-1 is not prime. Res64: A70017293F5DD048 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:07] 843*2^1451782-1 is not prime. Res64: 146E5D7940C88812 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:07] 867*2^1451782-1 is not prime. Res64: 1BD30D616C90F12A Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:08] 947*2^1451782-1 is not prime. Res64: 09A48CF1DE32B224 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:08] 621*2^1451783-1 is not prime. Res64: B23D6BF93F765E2B Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:08] 673*2^1451783-1 is not prime. Res64: 013CBAF355719457 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:37] 715*2^1451783-1 is not prime. Res64: 6EF00477C43F9C2D Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:37] 741*2^1451783-1 is not prime. Res64: CC0533912FF87F81 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:37] 805*2^1451783-1 is not prime. Res64: 7F5EFF035211EAE7 Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:38] 813*2^1451783-1 is not prime. Res64: 05CB991D34ECBCCC Time : 0.0 sec. user=mdettweiler [2017-04-16 05:53:38] 855*2^1451783-1 is not prime. Res64: E6EC18F54F6378C0 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:20:00] 863*2^1451784-1 is not prime. Res64: AC68C02A375D7980 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:20:01] 899*2^1451784-1 is not prime. Res64: FB1458DE1DF360C8 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:20:01] 909*2^1451784-1 is not prime. Res64: 6A853E024E8DC9B6 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:20:02] 915*2^1451784-1 is not prime. Res64: FEF62967E5A09E14 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:20:02] 927*2^1451784-1 is not prime. Res64: 22FC797013FAF4F9 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:31:27] 945*2^1451784-1 is not prime. Res64: D54370E49A25537D Time : 0.0 sec. user=mdettweiler [2017-04-16 06:31:28] 667*2^1451785-1 is not prime. Res64: 440413B2B8EB1D84 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:31:28] 675*2^1451785-1 is not prime. Res64: 965641A58773E04D Time : 0.0 sec. user=mdettweiler [2017-04-16 06:31:29] 705*2^1451785-1 is not prime. Res64: 22162A5070036523 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:31:29] 985*2^1451785-1 is not prime. Res64: B80D5B6D87C55723 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:26] 641*2^1451786-1 is not prime. Res64: 9144DB86011E6B20 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:27] 657*2^1451786-1 is not prime. Res64: 96102F9DD4442851 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:27] 713*2^1451786-1 is not prime. Res64: EDE92580D84A66B2 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:27] 813*2^1451786-1 is not prime. Res64: 89351B5B42A4BD58 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:28] 815*2^1451786-1 is not prime. Res64: 0843C8507B661B72 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:41] 867*2^1451786-1 is not prime. Res64: FAD6BAD1ED2F84BA Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:42] 921*2^1451786-1 is not prime. Res64: D93937D4DCCA7492 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:42] 963*2^1451786-1 is not prime. Res64: EBAF3DBBF6CDBAD2 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:42] 1001*2^1451786-1 is not prime. Res64: AC4185D05DEB34C2 Time : 0.0 sec. user=mdettweiler [2017-04-16 06:38:43] 615*2^1451787-1 is not prime. Res64: 0EFC00E3F5986331 Time : 0.0 sec. user=juhehe [2017-04-16 06:39:04] 625*2^1451787-1 is not prime. Res64: 334F7D80332C5AE4 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:05:10] 795*2^1451787-1 is not prime. Res64: B013E88823499F0F Time : 0.0 sec. user=mdettweiler [2017-04-16 07:05:11] 949*2^1451787-1 is not prime. Res64: 813E69A6BB982E6D Time : 0.0 sec. user=mdettweiler [2017-04-16 07:05:13] 961*2^1451787-1 is not prime. Res64: 440AEB409C3D9B25 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:05:13] 603*2^1451788-1 is not prime. Res64: ECBB7ECBA65B3FAC Time : 0.0 sec. user=mdettweiler [2017-04-16 07:05:14] 623*2^1451788-1 is not prime. Res64: DFCEEB35A4A017FC Time : 0.0 sec. user=mdettweiler [2017-04-16 07:16:43] 677*2^1451788-1 is not prime. Res64: 9B6C1BFC16BF0FB9 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:16:43] 689*2^1451788-1 is not prime. Res64: 572797F538A19639 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:16:44] 749*2^1451788-1 is not prime. Res64: 23E9D75F46C9527E Time : 0.0 sec. user=mdettweiler [2017-04-16 07:16:44] 845*2^1451788-1 is not prime. Res64: FB3DA47BA96FE131 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:16:44] 885*2^1451788-1 is not prime. Res64: 100BB2BAF9EE18DA Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:37] 909*2^1451788-1 is not prime. Res64: 6FED1145B9672630 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:37] 657*2^1451789-1 is not prime. Res64: 2F3519E005938BC8 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:38] 865*2^1451789-1 is not prime. Res64: 5C12465653147A7E Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:38] 867*2^1451789-1 is not prime. Res64: 075F99498F04F687 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:38] 615*2^1451790-1 is not prime. Res64: 174BC39624A9C9D0 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:38] 945*2^1451789-1 is not prime. Res64: 5A648571B5EC9C14 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:39] 671*2^1451790-1 is not prime. Res64: 7A65D0D9AF3F13A0 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:39] 677*2^1451790-1 is not prime. Res64: 4FC90A0501687DD7 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:39] 861*2^1451790-1 is not prime. Res64: 63750D29D4ABF1A9 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:23:40] 873*2^1451790-1 is not prime. Res64: E37DBDD2F2616EC2 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:50:14] 933*2^1451790-1 is not prime. Res64: 57087AAC81CA19AC Time : 0.0 sec. user=mdettweiler [2017-04-16 07:50:15] 673*2^1451791-1 is not prime. Res64: DF8DE82FEFD69CCE Time : 0.0 sec. user=mdettweiler [2017-04-16 07:50:15] 735*2^1451791-1 is not prime. Res64: 04C5B5D421D745E1 Time : 0.0 sec. user=mdettweiler [2017-04-16 07:50:15] 745*2^1451791-1 is not prime. Res64: 8D6E3DC628ED5D8D Time : 0.0 sec. user=mdettweiler [2017-04-16 07:50:16] 769*2^1451791-1 is not prime. Res64: DC66D2D9924D7C54 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:01:41] 805*2^1451791-1 is not prime. Res64: 170C63E3B4107329 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:01:42] 843*2^1451791-1 is not prime. Res64: 8D16DFDBAD125AE6 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:01:43] 849*2^1451791-1 is not prime. Res64: 92BBF31953F07207 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:01:44] 901*2^1451791-1 is not prime. Res64: 107F3CD16C65A067 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:01:45] 951*2^1451791-1 is not prime. Res64: 5E0A6C9476E07577 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:33] 657*2^1451793-1 is not prime. Res64: C8E790BE313A0EF6 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:34] 789*2^1451793-1 is not prime. Res64: 1E904DFAC5478229 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:34] 817*2^1451793-1 is not prime. Res64: 3A69B1DE0BBF0216 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:34] 937*2^1451793-1 is not prime. Res64: 4A5413566A03462B Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:35] 955*2^1451793-1 is not prime. Res64: B6ACD01816CC0A50 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:43] 609*2^1451792-1 is not prime. Res64: 642EF7434809229F Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:44] 623*2^1451792-1 is not prime. Res64: B0ADC67FF39AAB70 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:44] 629*2^1451792-1 is not prime. Res64: B0FA1CF99B6D4CD3 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:44] 669*2^1451792-1 is not prime. Res64: 41419E2C4CFAB9AC Time : 0.0 sec. user=mdettweiler [2017-04-16 08:08:45] 797*2^1451792-1 is not prime. Res64: 9ED4BFE0FD1CFFF4 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:35:38] 999*2^1451793-1 is not prime. Res64: 5F956FB19FEEE725 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:35:39] 617*2^1451794-1 is not prime. Res64: C5FD514DDE4E67D9 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:35:39] 635*2^1451794-1 is not prime. Res64: 7B018417BC4C7C22 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:35:39] 675*2^1451794-1 is not prime. Res64: A84B09E352B8261D Time : 0.0 sec. user=mdettweiler [2017-04-16 08:35:39] 755*2^1451794-1 is not prime. Res64: 4109FCF359666275 Time : 0.0 sec. user=juhehe [2017-04-16 08:36:27] 773*2^1451794-1 is not prime. Res64: 2C625C78B5180EB2 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:47:11] 601*2^1451795-1 is not prime. Res64: 19412D1DB51015D2 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:47:11] 663*2^1451795-1 is not prime. Res64: B9B6EB9E4800090E Time : 0.0 sec. user=mdettweiler [2017-04-16 08:47:12] 679*2^1451795-1 is not prime. Res64: B438A236EDFC3C48 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:47:12] 759*2^1451795-1 is not prime. Res64: AAB27BBE37637513 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:47:13] 825*2^1451795-1 is not prime. Res64: 26A390F1FEEEC3A8 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:53:39] 853*2^1451795-1 is not prime. Res64: D0508280B4A69105 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:53:39] 949*2^1451795-1 is not prime. Res64: D3005B175D6B6E79 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:53:39] 627*2^1451796-1 is not prime. Res64: 67BAE988C5AFAED9 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:53:40] 737*2^1451796-1 is not prime. Res64: B2098683CF0ABB3D Time : 0.0 sec. user=mdettweiler [2017-04-16 08:53:40] 783*2^1451796-1 is not prime. Res64: 491F7A538579E456 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:54:03] 825*2^1451796-1 is not prime. Res64: 3B1774962DDC88F4 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:54:04] 845*2^1451796-1 is not prime. Res64: 40AE6655AD4CFFA8 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:54:04] 899*2^1451796-1 is not prime. Res64: 616007498DE8D47F Time : 0.0 sec. user=mdettweiler [2017-04-16 08:54:05] 945*2^1451796-1 is not prime. Res64: CCA267667D987990 Time : 0.0 sec. user=mdettweiler [2017-04-16 08:54:05] 947*2^1451796-1 is not prime. Res64: 26C3E284E839C33B Time : 0.0 sec. user=mdettweiler [2017-04-16 09:20:36] 619*2^1451797-1 is not prime. Res64: 4344C8A9DF7262AA Time : 0.0 sec. user=mdettweiler [2017-04-16 09:20:36] 625*2^1451797-1 is not prime. Res64: 44ECEDAC958DE811 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:20:37] 687*2^1451797-1 is not prime. Res64: 764BFCE4E6E16CD6 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:20:37] 759*2^1451797-1 is not prime. Res64: A96B5B6F06A49D8B Time : 0.0 sec. user=mdettweiler [2017-04-16 09:20:38] 817*2^1451797-1 is not prime. Res64: 2F7F4FC63009ACF3 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:32:21] 847*2^1451797-1 is not prime. Res64: 3CE3B9A41B3EAAF0 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:32:21] 867*2^1451797-1 is not prime. Res64: 8238E2A06044C0E6 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:32:21] 871*2^1451797-1 is not prime. Res64: 6D8AE04FAFE26209 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:32:22] 919*2^1451797-1 is not prime. Res64: D714806AEBDE5D27 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:32:22] 937*2^1451797-1 is not prime. Res64: 287851BF69371146 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:38:45] 945*2^1451797-1 is not prime. Res64: CF99B9BD3146AEFF Time : 0.0 sec. user=mdettweiler [2017-04-16 09:38:45] 957*2^1451797-1 is not prime. Res64: 1DAA843C17821044 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:38:46] 641*2^1451798-1 is not prime. Res64: 81FDBBACD4FD43C5 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:38:46] 747*2^1451798-1 is not prime. Res64: C528D87C41317C7D Time : 0.0 sec. user=mdettweiler [2017-04-16 09:38:47] 771*2^1451798-1 is not prime. Res64: 71E0B19331E52F35 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:39:04] 857*2^1451798-1 is not prime. Res64: 25C585DF7B9F1673 Time : 0.0 sec. user=mdettweiler [2017-04-16 09:39:05] 897*2^1451798-1 is not prime. Res64: 420654E89D72726C Time : 0.0 sec. user=mdettweiler [2017-04-16 09:39:05] 977*2^1451798-1 is not prime. Res64: 6C0FF126671EF85A Time : 0.0 sec. user=mdettweiler [2017-04-16 09:39:06] 633*2^1451799-1 is not prime. Res64: 01B19FF71EBFFC9C Time : 0.0 sec. user=mdettweiler [2017-04-16 09:39:06] 685*2^1451799-1 is not prime. Res64: BC5E05FDDD23B02A Time : 0.0 sec. user=mdettweiler [2017-04-16 10:05:42] 751*2^1451799-1 is not prime. Res64: 9CD6A0E963535E14 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:05:43] 763*2^1451799-1 is not prime. Res64: B3AFBC258F6F71B0 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:05:45] 973*2^1451799-1 is not prime. Res64: 4CA5BF7247D5E7FC Time : 0.0 sec. user=mdettweiler [2017-04-16 10:05:46] 999*2^1451799-1 is not prime. Res64: 7FB015CFE1DE4DEA Time : 0.0 sec. user=mdettweiler [2017-04-16 10:05:46] 719*2^1451800-1 is not prime. Res64: 330F046E893193E0 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:17:34] 827*2^1451800-1 is not prime. Res64: BCD44F5405BD6232 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:17:35] 899*2^1451800-1 is not prime. Res64: BC082F3FBCAE78DD Time : 0.0 sec. user=mdettweiler [2017-04-16 10:17:35] 615*2^1451801-1 is not prime. Res64: 22C28E2B783AC295 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:17:35] 645*2^1451801-1 is not prime. Res64: DA0DFCB03970897B Time : 0.0 sec. user=mdettweiler [2017-04-16 10:17:36] 747*2^1451801-1 is not prime. Res64: FB130C1DB409BD85 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:00] 939*2^1451801-1 is not prime. Res64: 118ADF7CCAD28917 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:00] 681*2^1451802-1 is not prime. Res64: 185BF637759AAB0D Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:01] 723*2^1451802-1 is not prime. Res64: 702CE04606267FC1 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:01] 803*2^1451802-1 is not prime. Res64: 5813BAA92304805F Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:02] 885*2^1451802-1 is not prime. Res64: 8E9947F1334AD9A3 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:04] 903*2^1451802-1 is not prime. Res64: 7ABB417268F48FF1 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:04] 963*2^1451802-1 is not prime. Res64: 442B551D72514354 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:05] 983*2^1451802-1 is not prime. Res64: A56CABE84B2686B4 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:05] 639*2^1451803-1 is not prime. Res64: A03F14DFA92D612E Time : 0.0 sec. user=mdettweiler [2017-04-16 10:24:05] 675*2^1451803-1 is not prime. Res64: B2EE6F4852221D7C Time : 0.0 sec. user=juhehe [2017-04-16 10:33:58] 681*2^1451803-1 is not prime. Res64: 41666791CA16A8CF Time : 0.0 sec. user=mdettweiler [2017-04-16 10:50:52] 961*2^1451803-1 is not prime. Res64: B09303CFA849A020 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:50:53] 999*2^1451803-1 is not prime. Res64: C571AE47865C0FEA Time : 0.0 sec. user=mdettweiler [2017-04-16 10:50:53] 663*2^1451804-1 is not prime. Res64: 8D4920F4ABB43CDD Time : 0.0 sec. user=mdettweiler [2017-04-16 10:50:53] 677*2^1451804-1 is not prime. Res64: CFEDD6D974F50F66 Time : 0.0 sec. user=mdettweiler [2017-04-16 10:50:54] 759*2^1451804-1 is not prime. Res64: BBA3AAFE1786320B Time : 0.0 sec. user=mdettweiler [2017-04-16 11:02:41] 773*2^1451804-1 is not prime. Res64: 44A5D1989377E3AF Time : 0.0 sec. user=mdettweiler [2017-04-16 11:02:43] 785*2^1451804-1 is not prime. Res64: AAA1EECD1896796D Time : 0.0 sec. user=mdettweiler [2017-04-16 11:02:45] 837*2^1451804-1 is not prime. Res64: 81E630BE13A4D7C6 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:02:46] 885*2^1451804-1 is not prime. Res64: A2070B16F9A1C939 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:02:47] 953*2^1451804-1 is not prime. Res64: 7839F3520F2A894D Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:02] 607*2^1451805-1 is not prime. Res64: 116C4A8C080A9831 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:03] 649*2^1451805-1 is not prime. Res64: 98F1343D965332BD Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:03] 657*2^1451805-1 is not prime. Res64: 026AC09452A31CA0 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:03] 667*2^1451805-1 is not prime. Res64: 3B36B14313C3AD83 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:04] 885*2^1451805-1 is not prime. Res64: 2052E991C5DFC39F Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:04] 751*2^1451805-1 is not prime. Res64: 3546566207C159D0 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:04] 949*2^1451805-1 is not prime. Res64: F0959D60D9F00187 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:05] 951*2^1451805-1 is not prime. Res64: A0ACFAC86B49F8EF Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:05] 975*2^1451805-1 is not prime. Res64: 1FFA53DD48E32DB2 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:09:05] 979*2^1451805-1 is not prime. Res64: 2A5A9FE9EFDA20B9 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:38:18] 623*2^1451806-1 is not prime. Res64: 2CA08544567319CA Time : 0.0 sec. user=mdettweiler [2017-04-16 11:38:18] 785*2^1451806-1 is not prime. Res64: A417EA81EE798894 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:38:18] 873*2^1451806-1 is not prime. Res64: AEE484E5675C3D10 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:38:18] 903*2^1451806-1 is not prime. Res64: 87500E8CBECB0C94 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:38:19] 945*2^1451806-1 is not prime. Res64: B741C88ECF4FA042 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:51:26] 615*2^1451807-1 is not prime. Res64: E409714994DE1916 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:51:26] 669*2^1451807-1 is not prime. Res64: 3783A8E49B8F570E Time : 0.0 sec. user=mdettweiler [2017-04-16 11:51:26] 871*2^1451807-1 is not prime. Res64: 2FC59F68B81E5369 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:51:26] 901*2^1451807-1 is not prime. Res64: 9099D7DA4955DA10 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:51:27] 909*2^1451807-1 is not prime. Res64: B8EF5AA1F751F8C9 Time : 0.0 sec. user=juhehe [2017-04-16 11:53:18] 915*2^1451808-1 is not prime. Res64: 9CDD8690C1BA7C99 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:57:53] 931*2^1451807-1 is not prime. Res64: 7F0F11EFBE4A3A89 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:57:53] 949*2^1451807-1 is not prime. Res64: 333582B5E95DBED1 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:57:53] 955*2^1451807-1 is not prime. Res64: FBAE41DD4BA55E75 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:57:54] 991*2^1451807-1 is not prime. Res64: 576AF448EB8EC09E Time : 0.0 sec. user=mdettweiler [2017-04-16 11:57:54] 663*2^1451808-1 is not prime. Res64: 5A0744CD3F6BDAD9 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:58:55] 695*2^1451808-1 is not prime. Res64: 8AC4EB13654248F2 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:58:56] 735*2^1451808-1 is not prime. Res64: FD99A75BA91C5A01 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:58:56] 789*2^1451808-1 is not prime. Res64: 0ACF6F7FCE08DDB6 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:58:56] 809*2^1451808-1 is not prime. Res64: B7AF66040BED03A2 Time : 0.0 sec. user=mdettweiler [2017-04-16 11:58:57] 879*2^1451808-1 is not prime. Res64: DE2684110066E8AF Time : 0.0 sec. user=mdettweiler [2017-04-16 12:24:40] 935*2^1451808-1 is not prime. Res64: 08D8D80A7E44EB00 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:24:41] 945*2^1451808-1 is not prime. Res64: B118E15E2E5F51D6 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:24:41] 615*2^1451809-1 is not prime. Res64: CC1C1D00C728EE81 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:24:42] 705*2^1451809-1 is not prime. Res64: 1DBD5F0B0E6CD97B Time : 0.0 sec. user=mdettweiler [2017-04-16 12:24:42] 747*2^1451809-1 is not prime. Res64: 74A2146038431CFC Time : 0.0 sec. user=mdettweiler [2017-04-16 12:36:37] 765*2^1451809-1 is not prime. Res64: C0E271AC47C8F8C3 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:36:37] 799*2^1451809-1 is not prime. Res64: 7EBC3F8EB80D7B93 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:36:37] 801*2^1451809-1 is not prime. Res64: 258363C3469E196D Time : 0.0 sec. user=mdettweiler [2017-04-16 12:36:38] 855*2^1451809-1 is not prime. Res64: 19305F282037A06D Time : 0.0 sec. user=mdettweiler [2017-04-16 12:36:38] 919*2^1451809-1 is not prime. Res64: 92DD9CDBAE4074DD Time : 0.0 sec. user=mdettweiler [2017-04-16 12:42:54] 623*2^1451810-1 is not prime. Res64: 0959E7F190F905B1 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:42:54] 633*2^1451810-1 is not prime. Res64: E958EDADCD23A480 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:42:54] 701*2^1451810-1 is not prime. Res64: 2DADB318CE69CAC9 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:42:55] 797*2^1451810-1 is not prime. Res64: E3E269B06F78D3DF Time : 0.0 sec. user=mdettweiler [2017-04-16 12:42:55] 887*2^1451810-1 is not prime. Res64: F63FD1A7AD3CF747 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:44:11] 893*2^1451810-1 is not prime. Res64: C436565DC1635185 Time : 0.0 sec. user=mdettweiler [2017-04-16 12:44:11] 935*2^1451810-1 is not prime. Res64: B05536EA1304EC5C Time : 0.0 sec. user=mdettweiler [2017-04-16 12:44:12] 823*2^1451811-1 is not prime. Res64: 98730AF76376F7CB Time : 0.0 sec. user=mdettweiler [2017-04-16 12:44:12] 849*2^1451811-1 is not prime. Res64: 857CBAE533C9FF9F Time : 0.0 sec. user=mdettweiler [2017-04-16 12:44:13] 873*2^1451811-1 is not prime. Res64: A116344A5DD37035 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:09:41] 909*2^1451811-1 is not prime. Res64: 15D4A3E8D3334722 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:09:42] 951*2^1451811-1 is not prime. Res64: 95B5B1FE8A018D13 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:09:42] 961*2^1451811-1 is not prime. Res64: 9330EBD94CC74EB0 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:09:43] 617*2^1451812-1 is not prime. Res64: 9EC3BC0912C05B01 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:09:43] 635*2^1451812-1 is not prime. Res64: 3FB4A4DD53D189F1 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:21:33] 695*2^1451812-1 is not prime. Res64: 9EC7B4CC7E478C3A Time : 0.0 sec. user=mdettweiler [2017-04-16 13:21:34] 699*2^1451812-1 is not prime. Res64: 5AC33421ECA5CA61 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:21:34] 743*2^1451812-1 is not prime. Res64: EB96F63AC0AB8780 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:21:35] 903*2^1451812-1 is not prime. Res64: BB5EE54A5B847860 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:21:35] 987*2^1451812-1 is not prime. Res64: EED1DEA75B00DE05 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:28:00] 989*2^1451812-1 is not prime. Res64: 44D3EB99C6EBB64E Time : 0.0 sec. user=mdettweiler [2017-04-16 13:28:01] 715*2^1451813-1 is not prime. Res64: D9D6BA2CF1490418 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:28:01] 769*2^1451813-1 is not prime. Res64: 3F0D3CA7725A26CD Time : 0.0 sec. user=mdettweiler [2017-04-16 13:28:01] 949*2^1451813-1 is not prime. Res64: 5D1718AE916D96DA Time : 0.0 sec. user=mdettweiler [2017-04-16 13:28:02] 611*2^1451814-1 is not prime. Res64: E7F52A612B714A64 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:29:18] 615*2^1451814-1 is not prime. Res64: 1CD68663B9D3990F Time : 0.0 sec. user=mdettweiler [2017-04-16 13:29:18] 621*2^1451814-1 is not prime. Res64: 83B7D364A6DB91D9 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:29:18] 663*2^1451814-1 is not prime. Res64: 6D6F33AF7CF4EDB8 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:29:19] 681*2^1451814-1 is not prime. Res64: 7D3B820226A8760B Time : 0.0 sec. user=mdettweiler [2017-04-16 13:29:19] 711*2^1451814-1 is not prime. Res64: 90E7D76E568EE4DD Time : 0.0 sec. user=juhehe [2017-04-16 13:52:21] 849*2^1451815-1 is not prime. Res64: 6DA346B142CA13F9 Time : 0.0 sec. user=juhehe [2017-04-16 13:53:24] 633*2^1451816-1 is not prime. Res64: 17DA3FC00F4A4E43 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:55:06] 755*2^1451814-1 is not prime. Res64: E2BF049DF609ECB6 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:55:06] 875*2^1451814-1 is not prime. Res64: 067EEA01490EBE22 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:55:07] 917*2^1451814-1 is not prime. Res64: DD207C1F05EF74D5 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:55:07] 603*2^1451815-1 is not prime. Res64: 00BB25D240F2D7D9 Time : 0.0 sec. user=mdettweiler [2017-04-16 13:55:08] 783*2^1451815-1 is not prime. Res64: D78D6326839596D6 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:06:49] 773*2^1451816-1 is not prime. Res64: BA7A6519AE7613B4 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:06:49] 803*2^1451816-1 is not prime. Res64: 32E70537781A7F62 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:06:50] 833*2^1451816-1 is not prime. Res64: 72A0DA26B7D44270 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:06:50] 869*2^1451816-1 is not prime. Res64: F344F36D39274020 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:06:51] 875*2^1451816-1 is not prime. Res64: 23B52B5CC6861FAE Time : 0.0 sec. user=mdettweiler [2017-04-16 14:13:11] 893*2^1451816-1 is not prime. Res64: 9863D272972F2AB1 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:13:11] 601*2^1451817-1 is not prime. Res64: C250A5EBAACF405D Time : 0.0 sec. user=mdettweiler [2017-04-16 14:13:12] 681*2^1451817-1 is not prime. Res64: 4EC102384530C6FE Time : 0.0 sec. user=mdettweiler [2017-04-16 14:13:12] 739*2^1451817-1 is not prime. Res64: 611DC2F578EE7911 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:13:12] 741*2^1451817-1 is not prime. Res64: 0D6CABCE22B11599 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:14:29] 781*2^1451817-1 is not prime. Res64: EBD7D91818198096 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:14:30] 819*2^1451817-1 is not prime. Res64: 974CCC81D47E63D5 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:14:30] 919*2^1451817-1 is not prime. Res64: 50D95EB127ECC356 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:14:31] 663*2^1451818-1 is not prime. Res64: 2BF681354A7CA653 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:14:31] 713*2^1451818-1 is not prime. Res64: F04D182B7DA28EE9 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:40:12] 765*2^1451818-1 is not prime. Res64: 54FDC6DBE6EC039B Time : 0.0 sec. user=mdettweiler [2017-04-16 14:40:13] 813*2^1451818-1 is not prime. Res64: 0293926A03DF0504 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:40:13] 827*2^1451818-1 is not prime. Res64: E9B4D36BE1DCB311 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:40:14] 881*2^1451818-1 is not prime. Res64: 10D040B1A234B8CB Time : 0.0 sec. user=mdettweiler [2017-04-16 14:40:14] 887*2^1451818-1 is not prime. Res64: 09B6EEF196EC3529 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:51:56] 905*2^1451818-1 is not prime. Res64: 4143429C4DBD36F1 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:51:56] 957*2^1451818-1 is not prime. Res64: 1EDDD3695168493A Time : 0.0 sec. user=mdettweiler [2017-04-16 14:51:57] 693*2^1451819-1 is not prime. Res64: 5EFCA49668EB6951 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:51:57] 771*2^1451819-1 is not prime. Res64: 3DDCBA4164C2F79A Time : 0.0 sec. user=mdettweiler [2017-04-16 14:51:58] 811*2^1451819-1 is not prime. Res64: 3F0503E37BD4B6C4 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:58:14] 635*2^1451820-1 is not prime. Res64: 95A6A13FDF9E7C5E Time : 0.0 sec. user=mdettweiler [2017-04-16 14:58:14] 675*2^1451820-1 is not prime. Res64: 9539FDC6298C8615 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:58:15] 717*2^1451820-1 is not prime. Res64: 39CD90481B03BE04 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:58:15] 779*2^1451820-1 is not prime. Res64: 3C9E34A7717FD463 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:58:15] 809*2^1451820-1 is not prime. Res64: 138AB068FCA734AC Time : 0.0 sec. user=mdettweiler [2017-04-16 14:59:31] 607*2^1451821-1 is not prime. Res64: F297179D2AA0651F Time : 0.0 sec. user=mdettweiler [2017-04-16 14:59:32] 649*2^1451821-1 is not prime. Res64: 001EF510111D7777 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:59:32] 747*2^1451821-1 is not prime. Res64: 978AFDC1134DDE40 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:59:33] 751*2^1451821-1 is not prime. Res64: 925C696C7E9E3B41 Time : 0.0 sec. user=mdettweiler [2017-04-16 14:59:33] 771*2^1451821-1 is not prime. Res64: E917BFE5E6E67CB3 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:25:09] 799*2^1451821-1 is not prime. Res64: A4261FF67CC4C057 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:25:09] 855*2^1451821-1 is not prime. Res64: 8A00CEBEA434ABD3 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:25:10] 861*2^1451821-1 is not prime. Res64: 9E40D46AC4F7F30A Time : 0.0 sec. user=mdettweiler [2017-04-16 15:25:10] 895*2^1451821-1 is not prime. Res64: 99027A48FD87BEB1 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:25:10] 931*2^1451821-1 is not prime. Res64: 32E1DB30B6375920 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:37:02] 635*2^1451822-1 is not prime. Res64: 241C2CD17C9F91B5 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:37:02] 785*2^1451822-1 is not prime. Res64: D066C3C4980B56BC Time : 0.0 sec. user=mdettweiler [2017-04-16 15:37:03] 935*2^1451822-1 is not prime. Res64: F5C9340490AEA82D Time : 0.0 sec. user=mdettweiler [2017-04-16 15:37:03] 941*2^1451822-1 is not prime. Res64: 156AA15D35F37E8F Time : 0.0 sec. user=mdettweiler [2017-04-16 15:37:03] 977*2^1451822-1 is not prime. Res64: CF1080D056E9BAFF Time : 0.0 sec. user=mdettweiler [2017-04-16 15:43:33] 703*2^1451823-1 is not prime. Res64: 817BFDCA27440A43 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:43:34] 723*2^1451823-1 is not prime. Res64: FED330BE9E89039D Time : 0.0 sec. user=mdettweiler [2017-04-16 15:43:34] 781*2^1451823-1 is not prime. Res64: EA7A21BBBE57BB72 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:43:35] 783*2^1451823-1 is not prime. Res64: 0DCAFE129C3D2AC1 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:43:35] 913*2^1451823-1 is not prime. Res64: F7831158479920A7 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:44:32] 955*2^1451823-1 is not prime. Res64: 999D67AF7B0474A6 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:44:33] 969*2^1451823-1 is not prime. Res64: E1E15413EC2BD599 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:44:33] 623*2^1451824-1 is not prime. Res64: B5B4B064B1633B46 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:44:34] 629*2^1451824-1 is not prime. Res64: 685B8B85BCB35394 Time : 0.0 sec. user=mdettweiler [2017-04-16 15:44:34] 675*2^1451824-1 is not prime. Res64: FEDF71BAF230F957 Time : 0.0 sec. user=juhehe [2017-04-16 15:50:24] 927*2^1451824-1 is not prime. Res64: 65EAC6DD36CE546F Time : 0.0 sec. user=mdettweiler [2017-04-16 16:10:56] 947*2^1451824-1 is not prime. Res64: D528114DA2A50F87 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:10:56] 601*2^1451825-1 is not prime. Res64: 8306CDB2B85DB931 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:10:57] 607*2^1451825-1 is not prime. Res64: 8C238ADF3C2A8948 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:10:57] 691*2^1451825-1 is not prime. Res64: 1DAC041E5A9BEB99 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:10:58] 717*2^1451825-1 is not prime. Res64: 3FB6697E4F9CB2E3 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:22:50] 759*2^1451825-1 is not prime. Res64: DE6478ED708C3839 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:22:50] 777*2^1451825-1 is not prime. Res64: D4EF70D2D7226124 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:22:51] 837*2^1451825-1 is not prime. Res64: F08F97FE718EC1B2 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:22:51] 867*2^1451825-1 is not prime. Res64: 52CFE873E3978F6A Time : 0.0 sec. user=mdettweiler [2017-04-16 16:22:51] 991*2^1451825-1 is not prime. Res64: 58740D297CFB2218 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:29:18] 657*2^1451826-1 is not prime. Res64: 057805E3D2817CB4 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:29:18] 717*2^1451826-1 is not prime. Res64: 0E734D226CF3D46C Time : 0.0 sec. user=mdettweiler [2017-04-16 16:29:19] 815*2^1451826-1 is not prime. Res64: B24613165DCD610D Time : 0.0 sec. user=mdettweiler [2017-04-16 16:29:19] 861*2^1451826-1 is not prime. Res64: 18A6E20D64017AFA Time : 0.0 sec. user=mdettweiler [2017-04-16 16:29:19] 921*2^1451826-1 is not prime. Res64: 3A26598B3D374E2F Time : 0.0 sec. user=mdettweiler [2017-04-16 16:30:13] 741*2^1451827-1 is not prime. Res64: CEEB27079E02364B Time : 0.0 sec. user=mdettweiler [2017-04-16 16:30:14] 759*2^1451827-1 is not prime. Res64: B99A969637963B54 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:30:14] 915*2^1451827-1 is not prime. Res64: B87D2A3A1D24DE9D Time : 0.0 sec. user=mdettweiler [2017-04-16 16:30:14] 925*2^1451827-1 is not prime. Res64: 21D15E3BB7351520 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:30:15] 951*2^1451827-1 is not prime. Res64: A946F8C63231E9ED Time : 0.0 sec. user=mdettweiler [2017-04-16 16:56:07] 635*2^1451828-1 is not prime. Res64: A41152E43FCFD9B3 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:56:07] 687*2^1451828-1 is not prime. Res64: B992E8810EFC70B5 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:56:07] 773*2^1451828-1 is not prime. Res64: 25AF99BD771A66E6 Time : 0.0 sec. user=mdettweiler [2017-04-16 16:56:08] 777*2^1451828-1 is not prime. Res64: 8882BA4F201A66FD Time : 0.0 sec. user=mdettweiler [2017-04-16 16:56:08] 843*2^1451828-1 is not prime. Res64: 86C6CD2620652B28 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:07:56] 867*2^1451828-1 is not prime. Res64: F1B2618B946F7D78 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:07:57] 959*2^1451828-1 is not prime. Res64: 313038EB34F8B7A2 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:07:57] 625*2^1451829-1 is not prime. Res64: 6E107792284E3EDB Time : 0.0 sec. user=mdettweiler [2017-04-16 17:07:58] 675*2^1451829-1 is not prime. Res64: 2F604415590697F3 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:07:58] 681*2^1451829-1 is not prime. Res64: CDB61F4ABDE7D29C Time : 0.0 sec. user=mdettweiler [2017-04-16 17:14:29] 825*2^1451829-1 is not prime. Res64: EC8D9D46166EAF96 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:14:29] 835*2^1451829-1 is not prime. Res64: A3B3260F472CCF8C Time : 0.0 sec. user=mdettweiler [2017-04-16 17:14:30] 861*2^1451829-1 is not prime. Res64: 6F0582377A82AA48 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:14:30] 877*2^1451829-1 is not prime. Res64: D25AA6D670378939 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:14:31] 955*2^1451829-1 is not prime. Res64: 7C9AF255CF9CD637 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:15:23] 647*2^1451830-1 is not prime. Res64: 93D1E8D2B3BD2EE0 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:15:23] 665*2^1451830-1 is not prime. Res64: 261CF45DA2885CCF Time : 0.0 sec. user=mdettweiler [2017-04-16 17:15:24] 677*2^1451830-1 is not prime. Res64: 957D2892A05FFF57 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:15:24] 681*2^1451830-1 is not prime. Res64: 2787AB88084735AC Time : 0.0 sec. user=mdettweiler [2017-04-16 17:15:24] 707*2^1451830-1 is not prime. Res64: D2B3370E130076A5 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:41:11] 743*2^1451830-1 is not prime. Res64: BA2B1BDBB11432EB Time : 0.0 sec. user=mdettweiler [2017-04-16 17:41:12] 827*2^1451830-1 is not prime. Res64: C6DAC17A7C90C78F Time : 0.0 sec. user=mdettweiler [2017-04-16 17:41:12] 885*2^1451830-1 is not prime. Res64: 61C1EAE5447130C5 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:41:12] 951*2^1451830-1 is not prime. Res64: 5BA5071405247CD3 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:41:13] 995*2^1451830-1 is not prime. Res64: E1C02271D0449A99 Time : 0.0 sec. user=juhehe [2017-04-16 17:47:48] 931*2^1451831-1 is not prime. Res64: 5388D0F6D89555D2 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:53:07] 705*2^1451831-1 is not prime. Res64: 69882036C0F03079 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:53:07] 759*2^1451831-1 is not prime. Res64: 4EDDC0CA6250772E Time : 0.0 sec. user=mdettweiler [2017-04-16 17:53:08] 781*2^1451831-1 is not prime. Res64: D6A8477E926B7A28 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:53:08] 865*2^1451831-1 is not prime. Res64: 58E09F8ACB182E63 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:53:08] 879*2^1451831-1 is not prime. Res64: 77A1B84D767E94D3 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:59:39] 943*2^1451831-1 is not prime. Res64: A07E83198D24CE78 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:59:39] 969*2^1451831-1 is not prime. Res64: 67EAB39D7C13E604 Time : 0.0 sec. user=mdettweiler [2017-04-16 17:59:40] 993*2^1451831-1 is not prime. Res64: CA8FA315A774450D Time : 0.0 sec. user=mdettweiler [2017-04-16 17:59:40] 633*2^1451832-1 is not prime. Res64: EDC8A90DA130BBBA Time : 0.0 sec. user=mdettweiler [2017-04-16 17:59:41] 693*2^1451832-1 is not prime. Res64: 4D0E61BD03A96BCE Time : 0.0 sec. user=mdettweiler [2017-04-16 18:00:38] 857*2^1451832-1 is not prime. Res64: AFC5354E63B75895 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:00:39] 867*2^1451832-1 is not prime. Res64: 2F73E3EC3D293E7A Time : 0.0 sec. user=mdettweiler [2017-04-16 18:00:40] 915*2^1451832-1 is not prime. Res64: 7E15DF83249E4D17 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:00:41] 615*2^1451833-1 is not prime. Res64: 31EEF0E105E31BF0 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:00:42] 675*2^1451833-1 is not prime. Res64: 416ABE05570BC52E Time : 0.0 sec. user=mdettweiler [2017-04-16 18:27:13] 747*2^1451833-1 is not prime. Res64: 14D04887F16F9E7C Time : 0.0 sec. user=mdettweiler [2017-04-16 18:27:13] 765*2^1451833-1 is not prime. Res64: 0FCC827D3E380A2E Time : 0.0 sec. user=mdettweiler [2017-04-16 18:27:14] 877*2^1451833-1 is not prime. Res64: 22AD840F878ABE9B Time : 0.0 sec. user=mdettweiler [2017-04-16 18:27:14] 919*2^1451833-1 is not prime. Res64: C05FB01B279B70FC Time : 0.0 sec. user=mdettweiler [2017-04-16 18:27:14] 635*2^1451834-1 is not prime. Res64: C045EC09C2D6EE32 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:39:28] 671*2^1451834-1 is not prime. Res64: D12FD96DF5640A54 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:39:28] 677*2^1451834-1 is not prime. Res64: 24D529DA39E84AB4 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:39:28] 687*2^1451834-1 is not prime. Res64: D88A083680CFC44D Time : 0.0 sec. user=mdettweiler [2017-04-16 18:39:29] 857*2^1451834-1 is not prime. Res64: AAF3A626B7BD1E55 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:39:29] 873*2^1451834-1 is not prime. Res64: 0BE351272F570C80 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:45:58] 971*2^1451834-1 is not prime. Res64: 91C4BEEABCA75490 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:45:59] 613*2^1451835-1 is not prime. Res64: 88560D3B1EDA74CC Time : 0.0 sec. user=mdettweiler [2017-04-16 18:45:59] 639*2^1451835-1 is not prime. Res64: CA2419F12B7DD352 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:45:59] 679*2^1451835-1 is not prime. Res64: B5DCA4E976042D0C Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:00] 735*2^1451835-1 is not prime. Res64: BF53D6200B5A3D55 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:49] 801*2^1451835-1 is not prime. Res64: 2243F38A9E5D44B8 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:49] 825*2^1451835-1 is not prime. Res64: 081819ECD0388684 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:50] 849*2^1451835-1 is not prime. Res64: 024FDAD7B0A19C63 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:50] 903*2^1451835-1 is not prime. Res64: 16BB111D3E587008 Time : 0.0 sec. user=mdettweiler [2017-04-16 18:46:50] 955*2^1451835-1 is not prime. Res64: 6552BAB32B48457D Time : 0.0 sec. user=mdettweiler [2017-04-16 19:12:23] 689*2^1451836-1 is not prime. Res64: A0A284207DB1C844 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:12:24] 773*2^1451836-1 is not prime. Res64: 627B2C5F9390AC1F Time : 0.0 sec. user=mdettweiler [2017-04-16 19:12:24] 783*2^1451836-1 is not prime. Res64: AFBB6C3DFD0FAFE3 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:12:25] 803*2^1451836-1 is not prime. Res64: 4D35AC66EE5A3049 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:12:25] 813*2^1451836-1 is not prime. Res64: CA7E666191AFD89E Time : 0.0 sec. user=mdettweiler [2017-04-16 19:24:36] 875*2^1451836-1 is not prime. Res64: 8A438467B9F08D19 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:24:36] 923*2^1451836-1 is not prime. Res64: 1B2B394EDF2A2F67 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:24:37] 969*2^1451836-1 is not prime. Res64: C40D6C4F1717ECA7 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:24:37] 615*2^1451837-1 is not prime. Res64: 4F0D752F2325151C Time : 0.0 sec. user=mdettweiler [2017-04-16 19:24:37] 727*2^1451837-1 is not prime. Res64: E387768F2BE10A99 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:30] 861*2^1451837-1 is not prime. Res64: 9E8B8709B6E400FB Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:30] 871*2^1451837-1 is not prime. Res64: 40CD43129C8770DF Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:31] 879*2^1451837-1 is not prime. Res64: 5AF903E2C420D4B0 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:31] 955*2^1451837-1 is not prime. Res64: BC6758FE0A1AA50D Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:32] 967*2^1451837-1 is not prime. Res64: 6745505CC88B6930 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:54] 627*2^1451838-1 is not prime. Res64: 27BEB1B72DF2DEF0 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:55] 683*2^1451838-1 is not prime. Res64: CD5FFC2FEAC73637 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:55] 707*2^1451838-1 is not prime. Res64: 7655DDE76BDC1C01 Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:55] 885*2^1451838-1 is not prime. Res64: FCF54E9BF037E9DE Time : 0.0 sec. user=mdettweiler [2017-04-16 19:31:56] 639*2^1451839-1 is not prime. Res64: B743B775CB1EEEE5 Time : 0.0 sec. user=juhehe [2017-04-16 19:46:45] 853*2^1451839-1 is not prime. Res64: FC4FE978DF97956B Time : 0.0 sec. user=mdettweiler [2017-04-16 20:00:06] 961*2^1451839-1 is not prime. Res64: EB8F2F961F306572 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:00:07] 975*2^1451839-1 is not prime. Res64: 881DAA1558FBEDEA Time : 0.0 sec. user=mdettweiler [2017-04-16 20:00:07] 985*2^1451839-1 is not prime. Res64: 7DA7DC0064E72FA8 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:00:07] 633*2^1451840-1 is not prime. Res64: 344521AD117B3C70 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:00:07] 669*2^1451840-1 is not prime. Res64: 6163308A8818920F Time : 0.0 sec. user=mdettweiler [2017-04-16 20:14:26] 675*2^1451840-1 is not prime. Res64: 93640D7F02D9BA21 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:14:26] 713*2^1451840-1 is not prime. Res64: 4A19DA6884C28777 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:14:26] 717*2^1451840-1 is not prime. Res64: 43F5886295FDF06E Time : 0.0 sec. user=mdettweiler [2017-04-16 20:14:27] 725*2^1451840-1 is not prime. Res64: 98854A4B2EC54C1D Time : 0.0 sec. user=mdettweiler [2017-04-16 20:14:27] 789*2^1451840-1 is not prime. Res64: 0570A61009429509 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:20] 843*2^1451840-1 is not prime. Res64: 76166D27408C4870 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:20] 875*2^1451840-1 is not prime. Res64: ED63701209E4DC23 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:20] 879*2^1451840-1 is not prime. Res64: 3CB28D5A244A3E84 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:21] 927*2^1451840-1 is not prime. Res64: 368711656546D4EB Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:21] 983*2^1451840-1 is not prime. Res64: 6B30CCCCFACA76E9 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:34] 601*2^1451841-1 is not prime. Res64: 68B8CDAC1A1057D8 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:34] 679*2^1451841-1 is not prime. Res64: BB440F1E06A0BD83 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:34] 681*2^1451841-1 is not prime. Res64: 8E43F51717826131 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:35] 741*2^1451841-1 is not prime. Res64: CCD9C3CA29B4686A Time : 0.0 sec. user=mdettweiler [2017-04-16 20:23:35] 747*2^1451841-1 is not prime. Res64: 990AB9C8D9054A99 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:55:23] 861*2^1451841-1 is not prime. Res64: 0437FDC41D853433 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:55:23] 997*2^1451841-1 is not prime. Res64: 3D6968CE2E24F4FF Time : 0.0 sec. user=mdettweiler [2017-04-16 20:55:23] 617*2^1451842-1 is not prime. Res64: CFD67368734AA2B0 Time : 0.0 sec. user=mdettweiler [2017-04-16 20:55:23] 645*2^1451842-1 is not prime. Res64: D0636359D381A68F Time : 0.0 sec. user=mdettweiler [2017-04-16 20:55:24] 743*2^1451842-1 is not prime. Res64: D307027DD8102A05 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:10:10] 765*2^1451842-1 is not prime. Res64: AAE4937FEBB3570A Time : 0.0 sec. user=mdettweiler [2017-04-16 21:10:10] 777*2^1451842-1 is not prime. Res64: AAE8CAE4912E8247 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:10:10] 831*2^1451842-1 is not prime. Res64: 75219E9304915D28 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:10:10] 843*2^1451842-1 is not prime. Res64: CA4CCFC012EBE756 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:10:11] 887*2^1451842-1 is not prime. Res64: 68736487A4A2E30C Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:11] 915*2^1451842-1 is not prime. Res64: 7D11691E5F229248 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:11] 957*2^1451842-1 is not prime. Res64: 63B3458B5E6405EE Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:11] 981*2^1451842-1 is not prime. Res64: 66782086C3517795 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:12] 987*2^1451842-1 is not prime. Res64: 1DDF447618143871 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:12] 663*2^1451843-1 is not prime. Res64: 9B8CCC802B979083 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:15] 715*2^1451843-1 is not prime. Res64: 0D78AD3FFB059E50 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:15] 775*2^1451843-1 is not prime. Res64: 4BC266F8ACC835A8 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:15] 889*2^1451843-1 is not prime. Res64: BA67D0C05E643BAE Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:16] 915*2^1451843-1 is not prime. Res64: 4A8CCE5500F2E4A8 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:19:16] 993*2^1451843-1 is not prime. Res64: 6731BFB103B7BF6F Time : 0.0 sec. user=juhehe [2017-04-16 21:44:15] 727*2^1451845-1 is not prime. Res64: 34B27F0FD15EDA7A Time : 0.0 sec. user=mdettweiler [2017-04-16 21:50:13] 683*2^1451844-1 is not prime. Res64: 5310DDF16A8C6525 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:50:13] 789*2^1451844-1 is not prime. Res64: 8BE1FC4D3EF58105 Time : 0.0 sec. user=mdettweiler [2017-04-16 21:50:13] 795*2^1451844-1 is not prime. Res64: 0BB98853543E600D Time : 0.0 sec. user=mdettweiler [2017-04-16 21:50:13] 929*2^1451844-1 is not prime. Res64: 7581445FB019629C Time : 0.0 sec. user=mdettweiler [2017-04-16 21:50:14] 687*2^1451845-1 is not prime. Res64: A3A6C060D401B287 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:07:24] 819*2^1451845-1 is not prime. Res64: 5EED3532A9FB9B2D Time : 0.0 sec. user=mdettweiler [2017-04-16 22:07:24] 895*2^1451845-1 is not prime. Res64: B794BBD2B3B1A07A Time : 0.0 sec. user=mdettweiler [2017-04-16 22:07:25] 951*2^1451845-1 is not prime. Res64: 5CBEFCFC093E7620 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:07:25] 957*2^1451845-1 is not prime. Res64: EBCB39BDD02B585F Time : 0.0 sec. user=mdettweiler [2017-04-16 22:07:25] 635*2^1451846-1 is not prime. Res64: B96E99886B1B6721 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:14:41] 685*2^1451847-1 is not prime. Res64: 100034E1F3B504F6 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:14:41] 711*2^1451847-1 is not prime. Res64: AFD6D029D8D728FC Time : 0.0 sec. user=mdettweiler [2017-04-16 22:14:42] 751*2^1451847-1 is not prime. Res64: 454AD76E0B6FDE19 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:14:42] 781*2^1451847-1 is not prime. Res64: 162C8D27C8EFB4C1 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:14:42] 973*2^1451847-1 is not prime. Res64: 93522E8B5EABB4AB Time : 0.0 sec. user=mdettweiler [2017-04-16 22:16:36] 743*2^1451846-1 is not prime. Res64: 311947F3A257B846 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:16:36] 801*2^1451846-1 is not prime. Res64: D112A5E6D5C31428 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:16:36] 867*2^1451846-1 is not prime. Res64: 49DBB0B8346372A8 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:16:37] 945*2^1451846-1 is not prime. Res64: 2BC225BDB9A7D932 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:16:37] 669*2^1451847-1 is not prime. Res64: E017C22F8AEB045D Time : 0.0 sec. user=mdettweiler [2017-04-16 22:49:13] 979*2^1451847-1 is not prime. Res64: C6E8F1B08803A564 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:49:13] 603*2^1451848-1 is not prime. Res64: 1356581E57A6252B Time : 0.0 sec. user=mdettweiler [2017-04-16 22:49:14] 735*2^1451848-1 is not prime. Res64: 9F2072EDEAECFAA6 Time : 0.0 sec. user=mdettweiler [2017-04-16 22:49:14] 755*2^1451848-1 is not prime. Res64: C7E102AB747086BC Time : 0.0 sec. user=mdettweiler [2017-04-16 22:49:14] 869*2^1451848-1 is not prime. Res64: 93BF4D9125FE7299 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:01:28] 887*2^1451848-1 is not prime. Res64: 30029157BB480BF4 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:01:29] 691*2^1451849-1 is not prime. Res64: 1F0327897906F720 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:01:30] 711*2^1451849-1 is not prime. Res64: 3769EB66B02C0A00 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:01:30] 939*2^1451849-1 is not prime. Res64: 514A258DE383C8A7 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:01:31] 967*2^1451849-1 is not prime. Res64: E812D4774EF77AD1 Time : 0.0 sec. user=juhehe [2017-04-16 23:03:03] 605*2^1451852-1 is not prime. Res64: 59D5245A891E2983 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:08:27] 725*2^1451850-1 is not prime. Res64: D03EECA0470D3FF7 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:08:27] 915*2^1451850-1 is not prime. Res64: B0642D391A0D3260 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:08:28] 941*2^1451850-1 is not prime. Res64: 67458563B56BB484 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:08:28] 1001*2^1451850-1 is not prime. Res64: CDC9461B590C6D8A Time : 0.0 sec. user=mdettweiler [2017-04-16 23:08:29] 645*2^1451851-1 is not prime. Res64: 4974F39EEA3B9354 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:09:24] 759*2^1451851-1 is not prime. Res64: 7CC239F578C275C5 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:09:25] 789*2^1451851-1 is not prime. Res64: B81E31A41795DBF9 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:09:25] 871*2^1451851-1 is not prime. Res64: 42AC50D566A03A98 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:09:25] 939*2^1451851-1 is not prime. Res64: 17368869F8D4236C Time : 0.0 sec. user=mdettweiler [2017-04-16 23:09:26] 943*2^1451851-1 is not prime. Res64: 4A4CCDDE7088ABEF Time : 0.0 sec. user=mdettweiler [2017-04-16 23:34:40] 623*2^1451852-1 is not prime. Res64: 4FD5EA56B71E59A4 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:34:40] 657*2^1451852-1 is not prime. Res64: 2B7119B9DFC9E917 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:34:41] 717*2^1451852-1 is not prime. Res64: A3331F934B82A063 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:34:41] 873*2^1451852-1 is not prime. Res64: 36A0ED24CB164762 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:34:41] 909*2^1451852-1 is not prime. Res64: F88AE77B53202072 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:46:52] 999*2^1451852-1 is not prime. Res64: 0BE9A0D3527E9EFB Time : 0.0 sec. user=mdettweiler [2017-04-16 23:46:53] 699*2^1451853-1 is not prime. Res64: EBF206C37BCDF890 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:46:53] 811*2^1451853-1 is not prime. Res64: 0310BCCF41B0C72D Time : 0.0 sec. user=mdettweiler [2017-04-16 23:46:54] 951*2^1451853-1 is not prime. Res64: FA84CA7797F0DC83 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:46:54] 705*2^1451854-1 is not prime. Res64: 949DA1650AC85895 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:53:38] 741*2^1451854-1 is not prime. Res64: AE08FB5018DF2705 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:53:39] 783*2^1451854-1 is not prime. Res64: 97187DA5CDF7E2EB Time : 0.0 sec. user=mdettweiler [2017-04-16 23:53:39] 917*2^1451854-1 is not prime. Res64: 086D30D579C5811E Time : 0.0 sec. user=mdettweiler [2017-04-16 23:53:40] 945*2^1451854-1 is not prime. Res64: 229847701EEA4536 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:53:40] 947*2^1451854-1 is not prime. Res64: 96761E9B903692D8 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:54:28] 981*2^1451854-1 is not prime. Res64: 22DC79A5BEDD31E6 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:54:28] 619*2^1451855-1 is not prime. Res64: AD7E74A0BF7545A6 Time : 0.0 sec. user=mdettweiler [2017-04-16 23:54:29] 685*2^1451855-1 is not prime. Res64: 15E1ADEB7F0E2CAD Time : 0.0 sec. user=mdettweiler [2017-04-16 23:54:29] 759*2^1451855-1 is not prime. Res64: 4E1F0323815F3B1E Time : 0.0 sec. user=mdettweiler [2017-04-16 23:54:30] 783*2^1451855-1 is not prime. Res64: 8568F1348109C340 Time : 0.0 sec.