user=mdettweiler [2016-05-26 00:17:56] 657*2^1430381-1 is not prime. Res64: 11FB8CEA75F13094 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:17:56] 697*2^1430381-1 is not prime. Res64: C2164191A7A34ECA Time : 0.0 sec. user=mdettweiler [2016-05-26 00:17:57] 715*2^1430381-1 is not prime. Res64: BFFE82FF84B65726 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:17:57] 801*2^1430381-1 is not prime. Res64: 5A489CBF88B694A4 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:17:58] 859*2^1430381-1 is not prime. Res64: D553B0D65F40B714 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:26] 889*2^1430381-1 is not prime. Res64: AB6EC623F4A22F39 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:26] 949*2^1430381-1 is not prime. Res64: DCDF309CC33CB6E1 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:26] 635*2^1430382-1 is not prime. Res64: B2CE54EE56822ED1 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:27] 647*2^1430382-1 is not prime. Res64: FDC0B92E4FC6AD21 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:27] 681*2^1430382-1 is not prime. Res64: 78B08CD1007C3BA5 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:34] 717*2^1430382-1 is not prime. Res64: 4AD8AEC0FA8B5CD7 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:35] 723*2^1430382-1 is not prime. Res64: 8CAFA663D953F36A Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:35] 737*2^1430382-1 is not prime. Res64: AFA9741E144277DF Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:36] 615*2^1430383-1 is not prime. Res64: CA3C327B927FE6C2 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:18:36] 619*2^1430383-1 is not prime. Res64: 9D76613C63A86E51 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:41:42] 685*2^1430383-1 is not prime. Res64: 08C95967330B7DC6 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:41:42] 751*2^1430383-1 is not prime. Res64: 23E7B7503A0CB550 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:41:43] 871*2^1430383-1 is not prime. Res64: A9B8E04842C25752 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:41:43] 919*2^1430383-1 is not prime. Res64: 2395C152A13A1407 Time : 0.0 sec. user=mdettweiler [2016-05-26 00:41:43] 657*2^1430384-1 is not prime. Res64: D2B405D35D160165 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:13] 959*2^1430384-1 is not prime. Res64: 57208CFF8489FA11 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:14] 993*2^1430384-1 is not prime. Res64: E49F692CE0F1D79D Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:15] 627*2^1430385-1 is not prime. Res64: CC1F5EC00179DC2C Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:16] 699*2^1430385-1 is not prime. Res64: 0952DD9F461AC73D Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:17] 717*2^1430385-1 is not prime. Res64: 9F218E7B7D0F35A0 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:19] 665*2^1430384-1 is not prime. Res64: AB55F3D33A68E7C0 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:20] 677*2^1430384-1 is not prime. Res64: D98F57CEDC21B038 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:22] 689*2^1430384-1 is not prime. Res64: 941BE701DD8A2F93 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:23] 813*2^1430384-1 is not prime. Res64: CBFAE655FB487193 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:24] 825*2^1430384-1 is not prime. Res64: D4AAEA1826A3FD64 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:48] 741*2^1430385-1 is not prime. Res64: 9BB6565E8B96918A Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:49] 759*2^1430385-1 is not prime. Res64: C8E26FF3BF843572 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:49] 919*2^1430385-1 is not prime. Res64: 4559894F488E3AEF Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:50] 999*2^1430385-1 is not prime. Res64: AB880DC56DE11BB5 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:03:52] 657*2^1430386-1 is not prime. Res64: AF255073D5C937A1 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:26:59] 677*2^1430386-1 is not prime. Res64: 27E6541183D38C0A Time : 0.0 sec. user=mdettweiler [2016-05-26 01:27:01] 695*2^1430386-1 is not prime. Res64: ED11304B71A09154 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:27:01] 705*2^1430386-1 is not prime. Res64: C0F4F30C4650538F Time : 0.0 sec. user=mdettweiler [2016-05-26 01:27:02] 717*2^1430386-1 is not prime. Res64: A966D9583C83048E Time : 0.0 sec. user=mdettweiler [2016-05-26 01:27:03] 755*2^1430386-1 is not prime. Res64: 81A4E7BADB2B6FF3 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:33] 773*2^1430386-1 is not prime. Res64: 04E62B0C99D5BD27 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:34] 825*2^1430386-1 is not prime. Res64: 90747009F1351307 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:35] 861*2^1430386-1 is not prime. Res64: 09FCB98F207D699B Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:36] 867*2^1430386-1 is not prime. Res64: 0EA9A00DFD6D23A9 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:36] 873*2^1430386-1 is not prime. Res64: F1444FD41AE39B56 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:39] 923*2^1430386-1 is not prime. Res64: 8D87BE8D4AF602D9 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:41] 957*2^1430386-1 is not prime. Res64: 19F30AB98C07169F Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:42] 603*2^1430387-1 is not prime. Res64: A0D2BD394218B5E1 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:43] 619*2^1430387-1 is not prime. Res64: 69CB7D0EFECD6EB8 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:45] 735*2^1430387-1 is not prime. Res64: 59D54AD9CA054638 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:48:59] 823*2^1430387-1 is not prime. Res64: 8265F896122F1DE9 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:49:00] 879*2^1430387-1 is not prime. Res64: 28C7ED2B752BE1A1 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:49:01] 963*2^1430387-1 is not prime. Res64: AA5F14EE589D1FBD Time : 0.0 sec. user=mdettweiler [2016-05-26 01:49:01] 973*2^1430387-1 is not prime. Res64: 9F84FE0E4E2669E1 Time : 0.0 sec. user=mdettweiler [2016-05-26 01:49:02] 629*2^1430388-1 is not prime. Res64: 367FD4C88A2FCECE Time : 0.0 sec. user=mdettweiler [2016-05-26 02:13:57] 633*2^1430388-1 is not prime. Res64: D9766B2773DADA78 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:13:58] 639*2^1430388-1 is not prime. Res64: AC688E9485D4F9BB Time : 0.0 sec. user=mdettweiler [2016-05-26 02:13:58] 657*2^1430388-1 is not prime. Res64: C3A91FB5506A5715 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:13:59] 707*2^1430388-1 is not prime. Res64: E7D62F3380E1657C Time : 0.0 sec. user=mdettweiler [2016-05-26 02:13:59] 735*2^1430388-1 is not prime. Res64: 9D6CE26AD5695BCB Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:08] 767*2^1430388-1 is not prime. Res64: 2B00577147E24FEC Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:09] 915*2^1430388-1 is not prime. Res64: B8EDFA0E9C52E881 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:10] 999*2^1430388-1 is not prime. Res64: C69F7F9DD9AF6B7C Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:10] 747*2^1430389-1 is not prime. Res64: EBD65A344CA9AE37 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:11] 769*2^1430389-1 is not prime. Res64: BB09FE72E7E13389 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:18] 987*2^1430389-1 is not prime. Res64: 9F446F1333869639 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:19] 707*2^1430390-1 is not prime. Res64: 9C4D5092216491EE Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:19] 711*2^1430390-1 is not prime. Res64: C83DBADDE8892A1C Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:20] 743*2^1430390-1 is not prime. Res64: B25D7A056B5EEF7E Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:20] 843*2^1430390-1 is not prime. Res64: 5D2B5F876303ED79 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:36] 893*2^1430390-1 is not prime. Res64: 9A529A1324BF1FA7 Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:36] 703*2^1430391-1 is not prime. Res64: ACDA9D9C2DA3810E Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:37] 711*2^1430391-1 is not prime. Res64: 2B2072609C69259A Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:37] 723*2^1430391-1 is not prime. Res64: D42FDCE4E6F606DF Time : 0.0 sec. user=mdettweiler [2016-05-26 02:41:38] 741*2^1430391-1 is not prime. Res64: B14D5530A63DB189 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:08:08] 955*2^1430391-1 is not prime. Res64: 171CB62D1BB830DB Time : 0.0 sec. user=mdettweiler [2016-05-26 03:08:08] 617*2^1430392-1 is not prime. Res64: 3D800EAFA80EF44E Time : 0.0 sec. user=mdettweiler [2016-05-26 03:08:09] 635*2^1430392-1 is not prime. Res64: CD9060F1E1583E3A Time : 0.0 sec. user=mdettweiler [2016-05-26 03:08:09] 695*2^1430392-1 is not prime. Res64: 4F6DF317C8587E0D Time : 0.0 sec. user=mdettweiler [2016-05-26 03:08:10] 777*2^1430392-1 is not prime. Res64: A38C9489743851B7 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:21] 827*2^1430392-1 is not prime. Res64: BC57E9E7A8E9C89E Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:23] 983*2^1430392-1 is not prime. Res64: 0E4B2CEC23EFE9FC Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:24] 685*2^1430393-1 is not prime. Res64: C540C7CCAA801E11 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:25] 697*2^1430393-1 is not prime. Res64: 23E2A3AD441B4510 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:26] 829*2^1430393-1 is not prime. Res64: 1B3D6B7A633FCF82 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:42] 621*2^1430394-1 is not prime. Res64: 5C921516294FBDD5 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:44] 633*2^1430394-1 is not prime. Res64: 4549D22C97AF825A Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:45] 723*2^1430394-1 is not prime. Res64: D574DBB448C92A23 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:47] 741*2^1430394-1 is not prime. Res64: C091AF73045FBF35 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:26:48] 765*2^1430394-1 is not prime. Res64: 173A8B39FBC9001B Time : 0.0 sec. user=mdettweiler [2016-05-26 03:27:31] 837*2^1430393-1 is not prime. Res64: 92350CFC2D6A467B Time : 0.0 sec. user=mdettweiler [2016-05-26 03:27:32] 925*2^1430393-1 is not prime. Res64: 1CC0BF6F45E1EC9A Time : 0.0 sec. user=mdettweiler [2016-05-26 03:27:33] 939*2^1430393-1 is not prime. Res64: F8419CB21EF5D9AE Time : 0.0 sec. user=mdettweiler [2016-05-26 03:27:34] 967*2^1430393-1 is not prime. Res64: 901673459E20E582 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:27:35] 969*2^1430393-1 is not prime. Res64: 41E9972329EAC766 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:52:18] 767*2^1430394-1 is not prime. Res64: 8021A90BBC2D54E2 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:52:19] 773*2^1430394-1 is not prime. Res64: D3B7812CE4AA8C2A Time : 0.0 sec. user=mdettweiler [2016-05-26 03:52:20] 803*2^1430394-1 is not prime. Res64: 7029850F2B165833 Time : 0.0 sec. user=mdettweiler [2016-05-26 03:52:21] 873*2^1430394-1 is not prime. Res64: 6222EB010F2A803B Time : 0.0 sec. user=mdettweiler [2016-05-26 03:52:22] 915*2^1430394-1 is not prime. Res64: B3D7BD5498DB9D18 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:10:42] 609*2^1430395-1 is not prime. Res64: 12E97B384FE15EAA Time : 0.0 sec. user=mdettweiler [2016-05-26 04:10:42] 619*2^1430395-1 is not prime. Res64: 80D729D281779E56 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:10:43] 723*2^1430395-1 is not prime. Res64: 60E4016031BFA3B4 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:10:43] 759*2^1430395-1 is not prime. Res64: BAEA4B56680F0102 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:10:44] 793*2^1430395-1 is not prime. Res64: ACF342A4E70DC344 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:03] 841*2^1430395-1 is not prime. Res64: 7FB2CDC4161BF1EB Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:03] 961*2^1430395-1 is not prime. Res64: F5E4BAD0A95D1266 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:04] 609*2^1430396-1 is not prime. Res64: 0A62B898F0F7A01B Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:04] 635*2^1430396-1 is not prime. Res64: 0D85556AA780F7C8 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:05] 677*2^1430396-1 is not prime. Res64: B38FBB3B2A2C8DB5 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:53] 755*2^1430396-1 is not prime. Res64: C4D601BB84308CBE Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:54] 843*2^1430396-1 is not prime. Res64: 2DE452C60F2C94DB Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:54] 857*2^1430396-1 is not prime. Res64: D07C1611817F3F84 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:55] 867*2^1430396-1 is not prime. Res64: D022EC7EF938C044 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:11:55] 893*2^1430396-1 is not prime. Res64: BB67E92ACF631BBF Time : 0.0 sec. user=mdettweiler [2016-05-26 04:36:43] 667*2^1430397-1 is not prime. Res64: FA3B844695A52892 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:36:44] 735*2^1430397-1 is not prime. Res64: CB8158CAF1071D25 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:36:44] 741*2^1430397-1 is not prime. Res64: A8F3426EC72FF558 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:36:45] 819*2^1430397-1 is not prime. Res64: 4F096938660036CA Time : 0.0 sec. user=mdettweiler [2016-05-26 04:36:45] 831*2^1430397-1 is not prime. Res64: E25A8115B64B4995 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:54:51] 865*2^1430397-1 is not prime. Res64: 7183DD9E41F568BE Time : 0.0 sec. user=mdettweiler [2016-05-26 04:54:52] 919*2^1430397-1 is not prime. Res64: 58C7A170FBAEAA68 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:54:52] 985*2^1430397-1 is not prime. Res64: 7F7EBA8F6002C2FB Time : 0.0 sec. user=mdettweiler [2016-05-26 04:54:53] 665*2^1430398-1 is not prime. Res64: 28E5824134C43B2E Time : 0.0 sec. user=mdettweiler [2016-05-26 04:54:53] 681*2^1430398-1 is not prime. Res64: 59679C8F110AEFF2 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:55:05] 843*2^1430398-1 is not prime. Res64: 4AB462F40C9E93FA Time : 0.0 sec. user=mdettweiler [2016-05-26 04:55:06] 863*2^1430398-1 is not prime. Res64: 8C5203EA576187D6 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:55:06] 885*2^1430398-1 is not prime. Res64: B20D8FDD8117BE0F Time : 0.0 sec. user=mdettweiler [2016-05-26 04:55:06] 915*2^1430398-1 is not prime. Res64: BAEFF067719406BB Time : 0.0 sec. user=mdettweiler [2016-05-26 04:55:07] 951*2^1430398-1 is not prime. Res64: 0E8F792C2A9F1C1C Time : 0.0 sec. user=mdettweiler [2016-05-26 04:56:00] 711*2^1430399-1 is not prime. Res64: BFB0D4E396FB58E3 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:56:01] 789*2^1430399-1 is not prime. Res64: 6726625F262A40A0 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:56:01] 819*2^1430399-1 is not prime. Res64: 070FF2841BCE90B4 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:56:02] 825*2^1430399-1 is not prime. Res64: ABFE9240AE3BDEC9 Time : 0.0 sec. user=mdettweiler [2016-05-26 04:56:02] 859*2^1430399-1 is not prime. Res64: 92ACCBAA5EEC2E2B Time : 0.0 sec. user=mdettweiler [2016-05-26 05:20:48] 909*2^1430399-1 is not prime. Res64: 9EC177711182A096 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:20:48] 921*2^1430399-1 is not prime. Res64: CE15D30A13B85119 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:20:49] 949*2^1430399-1 is not prime. Res64: 68D2534DCAB167AE Time : 0.0 sec. user=mdettweiler [2016-05-26 05:20:50] 693*2^1430400-1 is not prime. Res64: DE8A11356686B8BC Time : 0.0 sec. user=mdettweiler [2016-05-26 05:20:50] 759*2^1430400-1 is not prime. Res64: A88F3F93E3E449DF Time : 0.0 sec. user=mdettweiler [2016-05-26 05:38:54] 797*2^1430400-1 is not prime. Res64: 184B9D05A9E36C76 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:38:55] 849*2^1430400-1 is not prime. Res64: BD6062B6D6B2E72A Time : 0.0 sec. user=mdettweiler [2016-05-26 05:38:55] 857*2^1430400-1 is not prime. Res64: 38B8A9F97972DFE1 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:38:56] 873*2^1430400-1 is not prime. Res64: D1E67165A1A81F36 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:38:56] 649*2^1430401-1 is not prime. Res64: 5ACBDB7FF2D13C3C Time : 0.0 sec. user=mdettweiler [2016-05-26 05:39:11] 675*2^1430401-1 is not prime. Res64: 8F51BEA11C71FC8C Time : 0.0 sec. user=mdettweiler [2016-05-26 05:39:11] 817*2^1430401-1 is not prime. Res64: 706E16054065A1FB Time : 0.0 sec. user=mdettweiler [2016-05-26 05:39:12] 997*2^1430401-1 is not prime. Res64: C812DE16719D2C2E Time : 0.0 sec. user=mdettweiler [2016-05-26 05:39:12] 771*2^1430402-1 is not prime. Res64: FE77D5A0AF1F8216 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:39:13] 885*2^1430402-1 is not prime. Res64: BD97A5E57FFD48CF Time : 0.0 sec. user=mdettweiler [2016-05-26 05:40:15] 887*2^1430402-1 is not prime. Res64: 18937E5B912B7F8E Time : 0.0 sec. user=mdettweiler [2016-05-26 05:40:15] 941*2^1430402-1 is not prime. Res64: 0055102A2620ECC5 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:40:16] 945*2^1430402-1 is not prime. Res64: DFCA21821F2FCEBE Time : 0.0 sec. user=mdettweiler [2016-05-26 05:40:16] 649*2^1430403-1 is not prime. Res64: A320659F936F2221 Time : 0.0 sec. user=mdettweiler [2016-05-26 05:40:17] 741*2^1430403-1 is not prime. Res64: 7505F6A02700B657 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:04:57] 663*2^1430404-1 is not prime. Res64: 31287464CEF71505 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:04:58] 677*2^1430404-1 is not prime. Res64: CA50502ABAFA3401 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:04:59] 727*2^1430405-1 is not prime. Res64: 8DA7B4E98F92EB9E Time : 0.0 sec. user=mdettweiler [2016-05-26 06:05:01] 741*2^1430405-1 is not prime. Res64: 98CAF81F0E40AB3B Time : 0.0 sec. user=mdettweiler [2016-05-26 06:05:02] 757*2^1430405-1 is not prime. Res64: F1F27CA85AF5BCD0 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:22:55] 867*2^1430405-1 is not prime. Res64: 7B44EDB0116701C5 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:22:56] 937*2^1430405-1 is not prime. Res64: 646E208FFEC6A4C2 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:22:56] 987*2^1430405-1 is not prime. Res64: 5FAED1872C9078BB Time : 0.0 sec. user=mdettweiler [2016-05-26 06:22:57] 717*2^1430406-1 is not prime. Res64: 85E842A561EDE0F3 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:22:57] 765*2^1430406-1 is not prime. Res64: 306A79EB13B1D788 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:23:13] 851*2^1430406-1 is not prime. Res64: 1093105BB0544940 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:23:14] 923*2^1430406-1 is not prime. Res64: B8F3EBF25A78D1AF Time : 0.0 sec. user=mdettweiler [2016-05-26 06:23:14] 963*2^1430406-1 is not prime. Res64: 0448D457CC523A19 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:23:15] 715*2^1430407-1 is not prime. Res64: 10510E3A796D9557 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:23:15] 873*2^1430407-1 is not prime. Res64: 7A8A802CE5FA313A Time : 0.0 sec. user=mdettweiler [2016-05-26 06:24:24] 889*2^1430407-1 is not prime. Res64: E22081BFE9B0A4D4 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:24:25] 961*2^1430407-1 is not prime. Res64: 0786E8184FBCC80B Time : 0.0 sec. user=mdettweiler [2016-05-26 06:24:25] 993*2^1430407-1 is not prime. Res64: 50043B1BDD4A6F03 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:24:26] 617*2^1430408-1 is not prime. Res64: C13AC69B32218945 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:24:26] 657*2^1430408-1 is not prime. Res64: D3C9131743914DDA Time : 0.0 sec. user=mdettweiler [2016-05-26 06:49:24] 663*2^1430408-1 is not prime. Res64: 48E163F00D246E6E Time : 0.0 sec. user=mdettweiler [2016-05-26 06:49:24] 687*2^1430408-1 is not prime. Res64: B7A5E3AA1419D83C Time : 0.0 sec. user=mdettweiler [2016-05-26 06:49:25] 743*2^1430408-1 is not prime. Res64: 98C3A7EBEC3C5474 Time : 0.0 sec. user=mdettweiler [2016-05-26 06:49:25] 923*2^1430408-1 is not prime. Res64: D8AFEC69CE7839FA Time : 0.0 sec. user=mdettweiler [2016-05-26 06:49:26] 995*2^1430408-1 is not prime. Res64: 82A270F4E07DD977 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:10] 649*2^1430409-1 is not prime. Res64: 5AA33C916D633739 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:10] 681*2^1430409-1 is not prime. Res64: 6116AAAF462A824E Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:11] 685*2^1430409-1 is not prime. Res64: 3C931C4AED66A944 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:11] 745*2^1430409-1 is not prime. Res64: 8B70A952757A8576 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:12] 759*2^1430409-1 is not prime. Res64: 6A26BEC125B1A6F2 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:21] 861*2^1430409-1 is not prime. Res64: 9F9BFFA2A8E8262A Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:22] 895*2^1430409-1 is not prime. Res64: F5912831BE4BF343 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:22] 713*2^1430410-1 is not prime. Res64: 655369FF5CEFAE36 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:23] 765*2^1430410-1 is not prime. Res64: 715804D791532F98 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:07:23] 783*2^1430410-1 is not prime. Res64: ED611F266BBD2D5B Time : 0.0 sec. user=mdettweiler [2016-05-26 07:08:26] 833*2^1430410-1 is not prime. Res64: A189D181AAA531D3 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:08:27] 843*2^1430410-1 is not prime. Res64: 944309CA3BE8B6F2 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:08:27] 941*2^1430410-1 is not prime. Res64: 57AFAAEECD2C0D14 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:08:28] 945*2^1430410-1 is not prime. Res64: C2AC8FFEC78DB595 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:08:28] 971*2^1430410-1 is not prime. Res64: B823954FDE713682 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:33:49] 705*2^1430411-1 is not prime. Res64: F578B7EB94CBC8D9 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:33:50] 741*2^1430411-1 is not prime. Res64: B2A396975C5C044F Time : 0.0 sec. user=mdettweiler [2016-05-26 07:33:50] 931*2^1430411-1 is not prime. Res64: A818445CFCB67040 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:33:51] 609*2^1430412-1 is not prime. Res64: 3E918FC5AF2C5FCD Time : 0.0 sec. user=mdettweiler [2016-05-26 07:33:51] 719*2^1430412-1 is not prime. Res64: 05D53F8D65B739D7 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:28] 737*2^1430412-1 is not prime. Res64: BC5098B76B735C8C Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:29] 797*2^1430412-1 is not prime. Res64: 591F3D6C86D58879 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:29] 819*2^1430412-1 is not prime. Res64: D263EB64985F0109 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:30] 879*2^1430412-1 is not prime. Res64: 967AA019C236C0EC Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:30] 899*2^1430412-1 is not prime. Res64: DEA657329CDEF2A9 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:41] 975*2^1430412-1 is not prime. Res64: 0D307EB89B3158E7 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:42] 987*2^1430412-1 is not prime. Res64: 93636BAEEF370157 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:42] 621*2^1430413-1 is not prime. Res64: 3838E07C0A5BB532 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:43] 649*2^1430413-1 is not prime. Res64: 008B1143A77B335A Time : 0.0 sec. user=mdettweiler [2016-05-26 07:51:43] 747*2^1430413-1 is not prime. Res64: D39A06A2C3AC62DD Time : 0.0 sec. user=mdettweiler [2016-05-26 07:52:42] 835*2^1430413-1 is not prime. Res64: 4CABD678E7F9D537 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:52:43] 847*2^1430413-1 is not prime. Res64: 00C4A4944AE2CBCF Time : 0.0 sec. user=mdettweiler [2016-05-26 07:52:43] 937*2^1430413-1 is not prime. Res64: 7ADA6B347A07E3F6 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:52:44] 635*2^1430414-1 is not prime. Res64: 42CDBFA218F5D044 Time : 0.0 sec. user=mdettweiler [2016-05-26 07:52:44] 731*2^1430414-1 is not prime. Res64: 4E39C9028543F77B Time : 0.0 sec. user=mdettweiler [2016-05-26 08:17:59] 743*2^1430414-1 is not prime. Res64: 47D8233E65C4AACD Time : 0.0 sec. user=mdettweiler [2016-05-26 08:18:00] 785*2^1430414-1 is not prime. Res64: AE976A18CB806D11 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:18:00] 1001*2^1430414-1 is not prime. Res64: 473B0DFB03262DEB Time : 0.0 sec. user=mdettweiler [2016-05-26 08:18:01] 609*2^1430415-1 is not prime. Res64: FF0DFB53EA4E9998 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:18:01] 639*2^1430415-1 is not prime. Res64: C2F1C4B7A2BDA7CD Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:40] 751*2^1430415-1 is not prime. Res64: 7C088B8C77A6FA87 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:40] 831*2^1430415-1 is not prime. Res64: 880438849F011DDE Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:40] 775*2^1430415-1 is not prime. Res64: 1FFC22F20EDAFF84 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:41] 861*2^1430415-1 is not prime. Res64: 325DE104158441D3 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:41] 783*2^1430415-1 is not prime. Res64: FB6E62913D3BF818 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:41] 913*2^1430415-1 is not prime. Res64: B2C9F7335007DEC1 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:41] 819*2^1430415-1 is not prime. Res64: BF6A94A565AB8AE2 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:42] 991*2^1430415-1 is not prime. Res64: D5F74FBC5658A494 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:42] 825*2^1430415-1 is not prime. Res64: 25011FE3555E73C1 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:35:42] 615*2^1430416-1 is not prime. Res64: 933B31BD914B5F40 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:36:46] 657*2^1430416-1 is not prime. Res64: 00EF9D343E63188B Time : 0.0 sec. user=mdettweiler [2016-05-26 08:36:47] 707*2^1430416-1 is not prime. Res64: 64D163C4830802CD Time : 0.0 sec. user=mdettweiler [2016-05-26 08:36:47] 755*2^1430416-1 is not prime. Res64: 6BA67B02C769D966 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:36:48] 765*2^1430416-1 is not prime. Res64: CB5B63F478390A40 Time : 0.0 sec. user=mdettweiler [2016-05-26 08:36:48] 785*2^1430416-1 is not prime. Res64: DB8AFF6F003BE4DB Time : 0.0 sec. user=mdettweiler [2016-05-26 09:02:14] 923*2^1430416-1 is not prime. Res64: 9E841CD12B6C4727 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:02:16] 615*2^1430417-1 is not prime. Res64: 42999D20E9A888C9 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:02:16] 619*2^1430417-1 is not prime. Res64: 1523756E58FC046D Time : 0.0 sec. user=mdettweiler [2016-05-26 09:02:17] 631*2^1430417-1 is not prime. Res64: D16B9632193ED1B8 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:02:18] 651*2^1430417-1 is not prime. Res64: 90859881946AFBF5 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:19:58] 957*2^1430417-1 is not prime. Res64: 370E9BAC834EBC8D Time : 0.0 sec. user=mdettweiler [2016-05-26 09:19:59] 621*2^1430418-1 is not prime. Res64: 66037B0E466813DB Time : 0.0 sec. user=mdettweiler [2016-05-26 09:19:59] 677*2^1430418-1 is not prime. Res64: 8D55F30D78600391 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:00] 725*2^1430418-1 is not prime. Res64: B9280E767686DE91 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:00] 631*2^1430419-1 is not prime. Res64: DD67E92B6A3BD1CA Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:06] 801*2^1430417-1 is not prime. Res64: FF35784A1F62BE66 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:06] 805*2^1430417-1 is not prime. Res64: 3F807D346168EED1 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:07] 861*2^1430417-1 is not prime. Res64: 7D2AA20379AA575D Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:07] 889*2^1430417-1 is not prime. Res64: 35EB696C918286E2 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:08] 915*2^1430417-1 is not prime. Res64: 14B2D0B439704117 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:56] 663*2^1430419-1 is not prime. Res64: 891C65F9D14CD920 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:57] 801*2^1430419-1 is not prime. Res64: 523B16EF0E6A4079 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:57] 913*2^1430419-1 is not prime. Res64: FAB4425DE0E6D373 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:58] 969*2^1430419-1 is not prime. Res64: 49B67419496A574B Time : 0.0 sec. user=mdettweiler [2016-05-26 09:20:58] 973*2^1430419-1 is not prime. Res64: 73BD675B02243E12 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:46:42] 759*2^1430420-1 is not prime. Res64: FE7F1014095A18C5 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:46:42] 785*2^1430420-1 is not prime. Res64: 4346784FEB81FE95 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:46:43] 813*2^1430420-1 is not prime. Res64: D73E5D7653A7D4FF Time : 0.0 sec. user=mdettweiler [2016-05-26 09:46:43] 827*2^1430420-1 is not prime. Res64: F905ACFB837012F9 Time : 0.0 sec. user=mdettweiler [2016-05-26 09:46:44] 915*2^1430420-1 is not prime. Res64: 3C5F46B1A43339DA Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:14] 983*2^1430420-1 is not prime. Res64: 9B4F00016B373983 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:15] 615*2^1430421-1 is not prime. Res64: B43AAA5B8641222B Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:16] 681*2^1430421-1 is not prime. Res64: C6D44393AC802540 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:17] 691*2^1430421-1 is not prime. Res64: E4E9A419B9FAAF3B Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:19] 735*2^1430421-1 is not prime. Res64: E4409000037D4C85 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:24] 795*2^1430421-1 is not prime. Res64: 715FCCC75CB139FF Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:25] 805*2^1430421-1 is not prime. Res64: 18A4F6790FD30392 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:27] 817*2^1430421-1 is not prime. Res64: EB4CA54780D3DD59 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:28] 829*2^1430421-1 is not prime. Res64: 867425A5CCF6CC2F Time : 0.0 sec. user=mdettweiler [2016-05-26 10:04:29] 949*2^1430421-1 is not prime. Res64: 1BFB36A1985C8B78 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:05:06] 999*2^1430421-1 is not prime. Res64: 283BD4692B3BFFAE Time : 0.0 sec. user=mdettweiler [2016-05-26 10:05:08] 623*2^1430422-1 is not prime. Res64: 88B7523CA019170D Time : 0.0 sec. user=mdettweiler [2016-05-26 10:05:09] 635*2^1430422-1 is not prime. Res64: E3B7A04B428DA4BC Time : 0.0 sec. user=mdettweiler [2016-05-26 10:05:10] 801*2^1430422-1 is not prime. Res64: 3C13C5680BB91432 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:05:11] 873*2^1430422-1 is not prime. Res64: 98E786D460EA3038 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:30:59] 885*2^1430422-1 is not prime. Res64: 08FB79DB1547DCCC Time : 0.0 sec. user=mdettweiler [2016-05-26 10:30:59] 941*2^1430422-1 is not prime. Res64: 5C33401230CAAABF Time : 0.0 sec. user=mdettweiler [2016-05-26 10:31:00] 1001*2^1430422-1 is not prime. Res64: 11813545C579A58D Time : 0.0 sec. user=mdettweiler [2016-05-26 10:31:00] 643*2^1430423-1 is not prime. Res64: 8E0B755634DA9B97 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:31:01] 693*2^1430423-1 is not prime. Res64: 702413D92B3F9974 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:43] 721*2^1430423-1 is not prime. Res64: 89B9FAFC73BEE45F Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:44] 759*2^1430423-1 is not prime. Res64: 00022BD1CEC245AA Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:44] 879*2^1430423-1 is not prime. Res64: 70E36205B70828CE Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:45] 627*2^1430424-1 is not prime. Res64: 86843CD11290B85E Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:45] 635*2^1430424-1 is not prime. Res64: C066A81BEA418D09 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:49] 639*2^1430424-1 is not prime. Res64: D7AAB2FC352FA373 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:50] 663*2^1430424-1 is not prime. Res64: A0BB21130FCC9C50 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:50] 753*2^1430424-1 is not prime. Res64: FAD8BDCA1454DDBB Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:50] 795*2^1430424-1 is not prime. Res64: FF20AB87A1A41894 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:48:51] 863*2^1430424-1 is not prime. Res64: 6D2AC5AEC5B2BF44 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:49:25] 923*2^1430424-1 is not prime. Res64: 2290A554CCCA8A40 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:49:25] 607*2^1430425-1 is not prime. Res64: D67F5938F38560F7 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:49:26] 717*2^1430425-1 is not prime. Res64: 009D64485BB74790 Time : 0.0 sec. user=mdettweiler [2016-05-26 10:49:26] 831*2^1430425-1 is not prime. Res64: 1583D7E1A354B10F Time : 0.0 sec. user=mdettweiler [2016-05-26 10:49:27] 861*2^1430425-1 is not prime. Res64: F15BF9A8587D47F6 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:15:42] 877*2^1430425-1 is not prime. Res64: 0B8B158DC98A2B21 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:15:42] 671*2^1430426-1 is not prime. Res64: D04E67C94C0EA465 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:15:43] 717*2^1430426-1 is not prime. Res64: B35CE3FDB3F4158A Time : 0.0 sec. user=mdettweiler [2016-05-26 11:15:43] 703*2^1430427-1 is not prime. Res64: A6F356C23E50F968 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:15:44] 741*2^1430427-1 is not prime. Res64: 031EA181819C525D Time : 0.0 sec. user=mdettweiler [2016-05-26 11:33:51] 775*2^1430427-1 is not prime. Res64: 684F5F5A1AEE9C42 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:33:51] 657*2^1430428-1 is not prime. Res64: 6DF18023B0BFA269 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:33:52] 665*2^1430428-1 is not prime. Res64: 96780AE545ABB875 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:33:52] 687*2^1430428-1 is not prime. Res64: 4A6B1C8E3DDE9B79 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:33:52] 707*2^1430428-1 is not prime. Res64: 53FDD1316DB5F7C9 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:10] 743*2^1430428-1 is not prime. Res64: 8F185FFC359BEE3E Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:11] 783*2^1430428-1 is not prime. Res64: 10182F03FC609F4E Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:11] 833*2^1430428-1 is not prime. Res64: D84DBE1D83DCAB7E Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:11] 845*2^1430428-1 is not prime. Res64: 9248443621F50015 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:12] 855*2^1430428-1 is not prime. Res64: 33EDB111EC3F1D97 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:36] 885*2^1430428-1 is not prime. Res64: 2C75E36E2F040418 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:36] 887*2^1430428-1 is not prime. Res64: 0F9AF39C735F4FD1 Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:37] 953*2^1430428-1 is not prime. Res64: 75FA82C56F84726E Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:37] 999*2^1430428-1 is not prime. Res64: D541465AE86D101C Time : 0.0 sec. user=mdettweiler [2016-05-26 11:34:37] 631*2^1430429-1 is not prime. Res64: 495E12B3F0D46B51 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:01:12] 711*2^1430429-1 is not prime. Res64: 35D4ABD962F8C2EC Time : 0.0 sec. user=mdettweiler [2016-05-26 12:01:13] 759*2^1430429-1 is not prime. Res64: BBF6396C269DA1C1 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:01:14] 825*2^1430429-1 is not prime. Res64: 82C0D71176C9F0D6 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:01:14] 927*2^1430429-1 is not prime. Res64: 80DC020CEB56DE68 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:01:15] 641*2^1430430-1 is not prime. Res64: 076F85AAAF914D25 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:00] 681*2^1430430-1 is not prime. Res64: B771EAA2CD3E13C3 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:00] 723*2^1430430-1 is not prime. Res64: C3A5EAE6573D1B30 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:01] 845*2^1430430-1 is not prime. Res64: 56362830F95EBE95 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:01] 851*2^1430430-1 is not prime. Res64: FC31CBEF602892D3 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:01] 917*2^1430430-1 is not prime. Res64: 34198527D32B8235 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:23] 933*2^1430430-1 is not prime. Res64: 816B860822CB36A3 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:23] 945*2^1430430-1 is not prime. Res64: 2243265B4F55EA3C Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:23] 615*2^1430431-1 is not prime. Res64: 035795B729B131BE Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:24] 625*2^1430431-1 is not prime. Res64: E630050077875023 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:24] 649*2^1430431-1 is not prime. Res64: 9361815F96B75200 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:55] 723*2^1430431-1 is not prime. Res64: 6E6D5DDB9FBF5B53 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:55] 829*2^1430431-1 is not prime. Res64: 32200C379B930DD2 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:55] 891*2^1430431-1 is not prime. Res64: 9AA463256F41548B Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:56] 825*2^1430432-1 is not prime. Res64: 714AD581686C5746 Time : 0.0 sec. user=mdettweiler [2016-05-26 12:19:56] 963*2^1430432-1 is not prime. Res64: 3F040A622F19C92A Time : 0.0 sec. user=mdettweiler [2016-05-26 12:46:44] 625*2^1430433-1 is not prime. Res64: CBEB8A6C2BDC77BD Time : 0.0 sec. user=mdettweiler [2016-05-26 12:46:45] 681*2^1430433-1 is not prime. Res64: 2EDE3878E83E9BCC Time : 0.0 sec. user=mdettweiler [2016-05-26 12:46:45] 805*2^1430433-1 is not prime. Res64: 0D1572EEFF6EC2DF Time : 0.0 sec. user=mdettweiler [2016-05-26 12:46:46] 867*2^1430433-1 is not prime. Res64: 4B268C9B6FABAE9F Time : 0.0 sec. user=mdettweiler [2016-05-26 12:46:46] 871*2^1430433-1 is not prime. Res64: 0929628971BA006D Time : 0.0 sec. user=mdettweiler [2016-05-26 13:04:28] 891*2^1430433-1 is not prime. Res64: 79BEC5F0E6FA5A38 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:04:29] 937*2^1430433-1 is not prime. Res64: FAA130DC3697705C Time : 0.0 sec. user=mdettweiler [2016-05-26 13:04:30] 791*2^1430434-1 is not prime. Res64: 8D6536C8B96AC3FF Time : 0.0 sec. user=mdettweiler [2016-05-26 13:04:32] 885*2^1430434-1 is not prime. Res64: FD6E2EDC908DC544 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:04:33] 601*2^1430435-1 is not prime. Res64: EC0905F3084A1CC4 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:07] 799*2^1430435-1 is not prime. Res64: 46A44C91BB5DAF5B Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:08] 805*2^1430435-1 is not prime. Res64: 53069B8F9B42D859 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:09] 829*2^1430435-1 is not prime. Res64: 6F28EB744175E25E Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:10] 841*2^1430435-1 is not prime. Res64: 3B751E9BCA1D0063 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:11] 855*2^1430435-1 is not prime. Res64: FB04539AD7952D6E Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:26] 921*2^1430435-1 is not prime. Res64: 4365FA21966C86B7 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:28] 939*2^1430435-1 is not prime. Res64: 514AFD18BAE3228B Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:29] 705*2^1430436-1 is not prime. Res64: 96461FEEC56EA8E8 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:30] 717*2^1430436-1 is not prime. Res64: 20CB9D5FFF05CBDE Time : 0.0 sec. user=mdettweiler [2016-05-26 13:05:31] 723*2^1430436-1 is not prime. Res64: 9C508B48D0053675 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:32:10] 735*2^1430436-1 is not prime. Res64: 3531444E340EB76E Time : 0.0 sec. user=mdettweiler [2016-05-26 13:32:10] 773*2^1430436-1 is not prime. Res64: A26148202F83EAA0 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:32:11] 975*2^1430436-1 is not prime. Res64: B4282CF25A274718 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:32:11] 645*2^1430437-1 is not prime. Res64: CB629FC8DD6F5069 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:32:11] 757*2^1430437-1 is not prime. Res64: 7FF67535BC157854 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:08] 759*2^1430437-1 is not prime. Res64: 1C7663587C6992AC Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:08] 831*2^1430437-1 is not prime. Res64: 935F5999D97D1DF0 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:09] 871*2^1430437-1 is not prime. Res64: 5C6C0BB4C11DC000 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:09] 955*2^1430437-1 is not prime. Res64: 457C6232BD4087BD Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:09] 743*2^1430438-1 is not prime. Res64: B5B34E7BC033C47A Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:37] 753*2^1430438-1 is not prime. Res64: E01210A88FB1F360 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:37] 755*2^1430438-1 is not prime. Res64: E95BEEAEDAAF5D19 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:38] 831*2^1430438-1 is not prime. Res64: C7E2DD4D5D4D2F37 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:38] 935*2^1430438-1 is not prime. Res64: 13BD8EFDD74106F4 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:50:38] 963*2^1430438-1 is not prime. Res64: CFBD52E18292D174 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:51:06] 977*2^1430438-1 is not prime. Res64: 8DBBE2E82D26E8FA Time : 0.0 sec. user=mdettweiler [2016-05-26 13:51:07] 633*2^1430439-1 is not prime. Res64: 35266295710AFF51 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:51:07] 675*2^1430439-1 is not prime. Res64: 30625967FDC6AD8A Time : 0.0 sec. user=mdettweiler [2016-05-26 13:51:08] 705*2^1430439-1 is not prime. Res64: 518812DB5F9B9FF3 Time : 0.0 sec. user=mdettweiler [2016-05-26 13:51:08] 723*2^1430439-1 is not prime. Res64: 03178254104DD871 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:17:40] 751*2^1430439-1 is not prime. Res64: 3272E1EDCDFE33C9 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:17:40] 763*2^1430439-1 is not prime. Res64: ABDDA2A875D41831 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:17:41] 859*2^1430439-1 is not prime. Res64: 69C307E508552053 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:17:41] 895*2^1430439-1 is not prime. Res64: 9F7E9A1E1E3AA3D3 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:17:42] 913*2^1430439-1 is not prime. Res64: A5E947824B9E7893 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:25] 975*2^1430439-1 is not prime. Res64: CCB4880BE4592CE2 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:26] 663*2^1430440-1 is not prime. Res64: F2405619D215470D Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:26] 909*2^1430440-1 is not prime. Res64: C96570FCB6793575 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:27] 983*2^1430440-1 is not prime. Res64: 4A1EB2B3603173CE Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:27] 999*2^1430440-1 is not prime. Res64: 8951450FBFEE2063 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:54] 675*2^1430441-1 is not prime. Res64: F9FB17BA0A30A8F2 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:56] 691*2^1430441-1 is not prime. Res64: 80FA367E928802B5 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:57] 711*2^1430441-1 is not prime. Res64: 7430F6419D0A7CE0 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:57] 907*2^1430441-1 is not prime. Res64: 7CEDAA4367A0748C Time : 0.0 sec. user=mdettweiler [2016-05-26 14:35:58] 945*2^1430441-1 is not prime. Res64: 206B59FAF96387F6 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:36:30] 981*2^1430441-1 is not prime. Res64: 1A4401CD87DF3109 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:36:30] 777*2^1430442-1 is not prime. Res64: 883FCCC7A9FFD3A3 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:36:31] 801*2^1430442-1 is not prime. Res64: 639A2078ECFD718B Time : 0.0 sec. user=mdettweiler [2016-05-26 14:36:31] 885*2^1430442-1 is not prime. Res64: 97056E5DAA199FA0 Time : 0.0 sec. user=mdettweiler [2016-05-26 14:36:31] 915*2^1430442-1 is not prime. Res64: 9A2ADC9CBEFF1353 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:03:01] 963*2^1430442-1 is not prime. Res64: D2D586F668D805A4 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:03:03] 975*2^1430442-1 is not prime. Res64: 74DCB4924AB59398 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:03:04] 639*2^1430443-1 is not prime. Res64: 068A4C28CEB41806 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:03:05] 919*2^1430443-1 is not prime. Res64: 5F49C0F3BE5E4107 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:03:06] 925*2^1430443-1 is not prime. Res64: 2371978778D5ADD5 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:20:19] 659*2^1430444-1 is not prime. Res64: 3C5DB7BD1A4C5F65 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:20:20] 663*2^1430444-1 is not prime. Res64: AB03D8CAECA060DD Time : 0.0 sec. user=mdettweiler [2016-05-26 15:20:20] 687*2^1430444-1 is not prime. Res64: 2C2997654CA79B16 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:20:21] 707*2^1430444-1 is not prime. Res64: 6863A3E76651E1B9 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:20:21] 773*2^1430444-1 is not prime. Res64: 3CFC2095957B396F Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:07] 827*2^1430444-1 is not prime. Res64: 827BFF0A5B9953EA Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:07] 915*2^1430444-1 is not prime. Res64: C0B80470FF63CF57 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:07] 923*2^1430444-1 is not prime. Res64: 8CB3FB70E79693A8 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:08] 709*2^1430445-1 is not prime. Res64: 1D4A2C4E17A90492 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:08] 727*2^1430445-1 is not prime. Res64: F4F501EAF4F6E2B5 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:50] 871*2^1430445-1 is not prime. Res64: F40A8E4E4CC4AF96 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:50] 885*2^1430445-1 is not prime. Res64: 12BEC667B885A41E Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:51] 663*2^1430446-1 is not prime. Res64: 58EC38C8BBB97779 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:51] 855*2^1430446-1 is not prime. Res64: BFBA6A2640190D3B Time : 0.0 sec. user=mdettweiler [2016-05-26 15:21:51] 887*2^1430446-1 is not prime. Res64: C1BFFF3D4EA7672B Time : 0.0 sec. user=mdettweiler [2016-05-26 15:48:55] 897*2^1430446-1 is not prime. Res64: B1273A7F8252890B Time : 0.0 sec. user=mdettweiler [2016-05-26 15:48:55] 987*2^1430446-1 is not prime. Res64: 955ECBA70C230E09 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:48:55] 663*2^1430447-1 is not prime. Res64: 04C1E1ECA00D76A6 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:48:56] 981*2^1430447-1 is not prime. Res64: 0B6009E9D9550466 Time : 0.0 sec. user=mdettweiler [2016-05-26 15:48:56] 689*2^1430448-1 is not prime. Res64: 3559FE88C7043034 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:05:37] 947*2^1430448-1 is not prime. Res64: B90C95B59BE966F9 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:05:39] 609*2^1430449-1 is not prime. Res64: FB078E9D2F805888 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:05:40] 615*2^1430449-1 is not prime. Res64: 3839272493E45C49 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:05:41] 811*2^1430449-1 is not prime. Res64: 36CEB712534D97D1 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:05:42] 861*2^1430449-1 is not prime. Res64: C65D3497EA7AB116 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:06:24] 615*2^1430450-1 is not prime. Res64: 0B6709CF633AC0D1 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:06:25] 831*2^1430450-1 is not prime. Res64: 2068F6ABD5BA295C Time : 0.0 sec. user=mdettweiler [2016-05-26 16:06:26] 917*2^1430450-1 is not prime. Res64: 4A34B06931DE8302 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:06:27] 921*2^1430450-1 is not prime. Res64: ACC26C9239460054 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:06:27] 615*2^1430451-1 is not prime. Res64: 00C70DA97D3E7003 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:07:24] 619*2^1430451-1 is not prime. Res64: FB36FC601263B370 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:07:25] 625*2^1430451-1 is not prime. Res64: AB941B872762CDC2 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:07:25] 723*2^1430451-1 is not prime. Res64: 4174759C2091AC3F Time : 0.0 sec. user=mdettweiler [2016-05-26 16:07:26] 781*2^1430451-1 is not prime. Res64: 26B3DB0A9B60D1DF Time : 0.0 sec. user=mdettweiler [2016-05-26 16:07:26] 885*2^1430451-1 is not prime. Res64: CCB0151A6BCE55DF Time : 0.0 sec. user=mdettweiler [2016-05-26 16:34:16] 909*2^1430451-1 is not prime. Res64: 097044B2C9F638C8 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:34:16] 973*2^1430451-1 is not prime. Res64: 7C4859C6202A96A5 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:34:16] 615*2^1430452-1 is not prime. Res64: 757D7211916A6368 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:34:17] 623*2^1430452-1 is not prime. Res64: DFF1F9272BC4DBE7 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:34:17] 689*2^1430452-1 is not prime. Res64: 36742BDC9B8647A1 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:13] 765*2^1430452-1 is not prime. Res64: 4F9A8E24C36B88EA Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:13] 803*2^1430452-1 is not prime. Res64: 7B62C58C6E26E563 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:13] 813*2^1430452-1 is not prime. Res64: 2C2F8D4BB232F0D4 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:14] 899*2^1430452-1 is not prime. Res64: 4D35C985B111C425 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:14] 631*2^1430453-1 is not prime. Res64: DFFDD3A32A1C4AF5 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:48] 729*2^1430453-1 is not prime. Res64: A896CB98020ACD6F Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:48] 745*2^1430453-1 is not prime. Res64: 6497AD01C069CE64 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:48] 781*2^1430453-1 is not prime. Res64: F43A374DBCF1C535 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:49] 621*2^1430454-1 is not prime. Res64: DCCE6E0A57C84205 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:51:49] 657*2^1430454-1 is not prime. Res64: 38F847621B31137D Time : 0.0 sec. user=mdettweiler [2016-05-26 16:52:39] 707*2^1430454-1 is not prime. Res64: C7F12CCDF474BB4F Time : 0.0 sec. user=mdettweiler [2016-05-26 16:52:39] 737*2^1430454-1 is not prime. Res64: 1E5E9932C6C339C2 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:52:39] 783*2^1430454-1 is not prime. Res64: AD9882B664BCFBC7 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:52:40] 885*2^1430454-1 is not prime. Res64: 809274ED4E75E362 Time : 0.0 sec. user=mdettweiler [2016-05-26 16:52:40] 947*2^1430454-1 is not prime. Res64: D18E752285FFD57B Time : 0.0 sec. user=mdettweiler [2016-05-26 17:20:23] 793*2^1430455-1 is not prime. Res64: BFF21BEFA65B316F Time : 0.0 sec. user=mdettweiler [2016-05-26 17:20:23] 859*2^1430455-1 is not prime. Res64: 233B3701327682EE Time : 0.0 sec. user=mdettweiler [2016-05-26 17:20:24] 909*2^1430455-1 is not prime. Res64: A73C367D8FCB2B54 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:20:24] 913*2^1430455-1 is not prime. Res64: E8562539FA0E88AC Time : 0.0 sec. user=mdettweiler [2016-05-26 17:20:25] 609*2^1430456-1 is not prime. Res64: EAA331AAF9F48C36 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:24] 759*2^1430456-1 is not prime. Res64: 8BB8D0FE4AA5DA79 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:24] 825*2^1430456-1 is not prime. Res64: 61B14158A9119D60 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:25] 899*2^1430456-1 is not prime. Res64: 6D821F3FF854401F Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:25] 983*2^1430456-1 is not prime. Res64: F7FCCD002CD37423 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:26] 651*2^1430457-1 is not prime. Res64: C51BC20FEB8704F3 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:35] 717*2^1430457-1 is not prime. Res64: 8054D32FF399446A Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:35] 777*2^1430457-1 is not prime. Res64: E46A626174B48B7D Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:36] 781*2^1430457-1 is not prime. Res64: AFCA3D146073BBCE Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:36] 807*2^1430457-1 is not prime. Res64: B60D402874FF77A3 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:37:37] 885*2^1430457-1 is not prime. Res64: F34666A277FE5A6D Time : 0.0 sec. user=mdettweiler [2016-05-26 17:38:22] 985*2^1430457-1 is not prime. Res64: BCCDF025EBA99501 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:38:22] 665*2^1430458-1 is not prime. Res64: F295C19613474B09 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:38:22] 773*2^1430458-1 is not prime. Res64: 9FA888B5DF24B525 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:38:23] 915*2^1430458-1 is not prime. Res64: AE61F65A8FEEC806 Time : 0.0 sec. user=mdettweiler [2016-05-26 17:38:23] 951*2^1430458-1 is not prime. Res64: 95BB9D5810A9118E Time : 0.0 sec. user=mdettweiler [2016-05-26 18:06:29] 655*2^1430459-1 is not prime. Res64: 5E47133195F1F5D6 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:06:31] 703*2^1430459-1 is not prime. Res64: 399B74CDA051D674 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:06:31] 711*2^1430459-1 is not prime. Res64: 07E10AA4569497DB Time : 0.0 sec. user=mdettweiler [2016-05-26 18:06:32] 771*2^1430459-1 is not prime. Res64: 73E76F4CE6A72696 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:06:32] 789*2^1430459-1 is not prime. Res64: 9008A349F7C61B83 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:20] 767*2^1430460-1 is not prime. Res64: AEDED6947F50E267 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:20] 777*2^1430460-1 is not prime. Res64: BBE3C7F17677EB6C Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:21] 783*2^1430460-1 is not prime. Res64: EDB24A2E2424BFB7 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:21] 845*2^1430460-1 is not prime. Res64: 3E13D3C6AF62D3AB Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:21] 867*2^1430460-1 is not prime. Res64: 36C80939DBCE230A Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:38] 939*2^1430459-1 is not prime. Res64: 5BEC67FD05296619 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:39] 991*2^1430459-1 is not prime. Res64: AA4B3218AB8E37F1 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:39] 633*2^1430460-1 is not prime. Res64: 3D64605148625210 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:39] 635*2^1430460-1 is not prime. Res64: 98C4FBF22C2912C5 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:23:40] 669*2^1430460-1 is not prime. Res64: 6024F6A45D14A010 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:24:20] 923*2^1430460-1 is not prime. Res64: B04C00FFD236FA5F Time : 0.0 sec. user=mdettweiler [2016-05-26 18:24:20] 965*2^1430460-1 is not prime. Res64: D147FF6B6ACBCBA3 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:24:21] 717*2^1430461-1 is not prime. Res64: CB44949F937B3B61 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:24:21] 727*2^1430461-1 is not prime. Res64: 926C0A9116D6156C Time : 0.0 sec. user=mdettweiler [2016-05-26 18:24:22] 867*2^1430461-1 is not prime. Res64: BBFAE6714F487F93 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:52:39] 937*2^1430461-1 is not prime. Res64: E18DE0220A80DD58 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:52:39] 797*2^1430462-1 is not prime. Res64: 0556834A64733EF1 Time : 0.0 sec. user=mdettweiler [2016-05-26 18:52:40] 813*2^1430462-1 is not prime. Res64: 5E26D9566C366C1C Time : 0.0 sec. user=mdettweiler [2016-05-26 18:52:40] 885*2^1430462-1 is not prime. Res64: 972C4E9BF18E0E2D Time : 0.0 sec. user=mdettweiler [2016-05-26 18:52:40] 945*2^1430462-1 is not prime. Res64: 65E10F54C284AD6D Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:03] 987*2^1430462-1 is not prime. Res64: C4AAA77D875E47CF Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:03] 703*2^1430463-1 is not prime. Res64: 36803A3FBBA494B1 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:04] 735*2^1430463-1 is not prime. Res64: 36EC30FCD3971CB5 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:04] 885*2^1430463-1 is not prime. Res64: DB6BEFB0A413EE6A Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:05] 657*2^1430464-1 is not prime. Res64: 0C472FB68D246322 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:41] 807*2^1430464-1 is not prime. Res64: 1E54AB96F6480030 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:41] 863*2^1430464-1 is not prime. Res64: 074D27C8DA46259D Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:42] 869*2^1430464-1 is not prime. Res64: 59C893A990B35D20 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:42] 657*2^1430465-1 is not prime. Res64: 9685EDCEDE09549D Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:43] 685*2^1430465-1 is not prime. Res64: D3C55A444F6BFC4C Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:47] 729*2^1430465-1 is not prime. Res64: A1EADBBEA2BC5609 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:47] 777*2^1430465-1 is not prime. Res64: 91F8F01FD006F310 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:47] 811*2^1430465-1 is not prime. Res64: C670AAFCAD452521 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:48] 837*2^1430465-1 is not prime. Res64: 653C9869F5934842 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:10:48] 861*2^1430465-1 is not prime. Res64: 579757DEF32C4B0B Time : 0.0 sec. user=mdettweiler [2016-05-26 19:38:24] 889*2^1430465-1 is not prime. Res64: 424875BC5CF000E9 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:38:24] 981*2^1430465-1 is not prime. Res64: 837B0D7B61FE56C3 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:38:25] 647*2^1430466-1 is not prime. Res64: B487A63223959C85 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:38:25] 711*2^1430466-1 is not prime. Res64: EF37C207BE2CB967 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:38:25] 725*2^1430466-1 is not prime. Res64: FD8CB9DA1D767D7D Time : 0.0 sec. user=mdettweiler [2016-05-26 19:55:36] 741*2^1430466-1 is not prime. Res64: 639D349615E2CA4F Time : 0.0 sec. user=mdettweiler [2016-05-26 19:55:37] 807*2^1430466-1 is not prime. Res64: 0A0F8329B44C5C92 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:55:37] 815*2^1430466-1 is not prime. Res64: 7E9AC74E12F438D8 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:55:37] 843*2^1430466-1 is not prime. Res64: F68B7EE5DD4A22E8 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:55:38] 861*2^1430466-1 is not prime. Res64: AD6D9441AE284248 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:20] 909*2^1430467-1 is not prime. Res64: 63E58094E1752343 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:20] 951*2^1430467-1 is not prime. Res64: 075AD1B19ED56C15 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:20] 617*2^1430468-1 is not prime. Res64: 9889F919B3A924AA Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:21] 683*2^1430468-1 is not prime. Res64: D57CDD55F4159276 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:21] 689*2^1430468-1 is not prime. Res64: B1F39943F980DBA3 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:22] 881*2^1430466-1 is not prime. Res64: AA37995E8DC47CE9 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:22] 625*2^1430467-1 is not prime. Res64: 8B5A9428896D7F89 Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:23] 733*2^1430467-1 is not prime. Res64: 24AAE3A06932A2BB Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:23] 735*2^1430467-1 is not prime. Res64: 40BB42257DDDF57D Time : 0.0 sec. user=mdettweiler [2016-05-26 19:56:23] 829*2^1430467-1 is not prime. Res64: A6A5B26DC8681DAF Time : 0.0 sec. user=mdettweiler [2016-05-26 20:23:30] 735*2^1430468-1 is not prime. Res64: 4EE91DED5242CF9B Time : 0.0 sec. user=mdettweiler [2016-05-26 20:23:30] 867*2^1430468-1 is not prime. Res64: 3D38958C6A0FD902 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:23:31] 615*2^1430469-1 is not prime. Res64: 6F2CB044B86229C4 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:23:31] 627*2^1430469-1 is not prime. Res64: 7F68F4FD0FC14EC4 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:23:32] 811*2^1430469-1 is not prime. Res64: 30CA586FE7519DC7 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:00] 861*2^1430469-1 is not prime. Res64: 264BACF5BDE6F8F3 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:00] 919*2^1430469-1 is not prime. Res64: 7F4137B67271E5D7 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:01] 603*2^1430470-1 is not prime. Res64: 62E3E61A653CF5E9 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:01] 791*2^1430470-1 is not prime. Res64: 1103ADBFE92D8FC7 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:01] 843*2^1430470-1 is not prime. Res64: 157A9D7E4A347C03 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:41] 711*2^1430471-1 is not prime. Res64: 7E2D8ED655375DD4 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:41] 741*2^1430471-1 is not prime. Res64: 263D073AFFDF8837 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:41] 819*2^1430471-1 is not prime. Res64: F93F836DC4D34437 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:42] 841*2^1430471-1 is not prime. Res64: E79AE74B9B38C2E5 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:42] 885*2^1430471-1 is not prime. Res64: 101D7AA58B7EC8CC Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:45] 861*2^1430470-1 is not prime. Res64: 1E684D881C71A4ED Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:45] 887*2^1430470-1 is not prime. Res64: 39BCB6A68028F6BB Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:46] 911*2^1430470-1 is not prime. Res64: BC72C291F48D375B Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:46] 661*2^1430471-1 is not prime. Res64: 9715DE2BDCE628A5 Time : 0.0 sec. user=mdettweiler [2016-05-26 20:41:47] 669*2^1430471-1 is not prime. Res64: E7AC4BE9B51A7BF7 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:10:58] 999*2^1430471-1 is not prime. Res64: F33D83D3DBF1DE07 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:10:58] 629*2^1430472-1 is not prime. Res64: EBA7AC8CA2C6245C Time : 0.0 sec. user=mdettweiler [2016-05-26 21:10:59] 683*2^1430472-1 is not prime. Res64: CFB6E72AF071AB12 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:10:59] 819*2^1430472-1 is not prime. Res64: 643C2041467417AB Time : 0.0 sec. user=mdettweiler [2016-05-26 21:11:00] 909*2^1430472-1 is not prime. Res64: 6B333D349ACC56E1 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:27] 999*2^1430472-1 is not prime. Res64: DF5913278FE1A28A Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:27] 649*2^1430473-1 is not prime. Res64: A92769CD1FC4B1DB Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:28] 769*2^1430473-1 is not prime. Res64: 06D259B1217370C2 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:28] 831*2^1430473-1 is not prime. Res64: F9CA738189246C4B Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:28] 861*2^1430473-1 is not prime. Res64: 68784FF39F159F33 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:39] 979*2^1430473-1 is not prime. Res64: D46D04AB9530D630 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:39] 987*2^1430473-1 is not prime. Res64: 6C2D96B5B46D9619 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:39] 615*2^1430474-1 is not prime. Res64: 5F0545D13C7F41DA Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:39] 815*2^1430474-1 is not prime. Res64: D5991491BB40369B Time : 0.0 sec. user=mdettweiler [2016-05-26 21:29:40] 887*2^1430474-1 is not prime. Res64: F0688F1810E60258 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:30:22] 995*2^1430474-1 is not prime. Res64: 1946FA6F3A041685 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:30:22] 649*2^1430475-1 is not prime. Res64: B4F5FBAA639B8ED2 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:30:23] 651*2^1430475-1 is not prime. Res64: AA8A6BB54B251FDA Time : 0.0 sec. user=mdettweiler [2016-05-26 21:30:23] 663*2^1430475-1 is not prime. Res64: A4C92F5CBE802C67 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:30:23] 801*2^1430475-1 is not prime. Res64: C7A84B59B676D51E Time : 0.0 sec. user=mdettweiler [2016-05-26 21:59:46] 805*2^1430475-1 is not prime. Res64: 3CDD35471D9979E5 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:59:46] 871*2^1430475-1 is not prime. Res64: 3167B6C6D71F0F77 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:59:47] 963*2^1430475-1 is not prime. Res64: 4B235372E1F1F8D5 Time : 0.0 sec. user=mdettweiler [2016-05-26 21:59:47] 629*2^1430476-1 is not prime. Res64: 3887DB839E85D93F Time : 0.0 sec. user=mdettweiler [2016-05-26 21:59:48] 675*2^1430476-1 is not prime. Res64: 139CDDB0DE561F43 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:17:06] 845*2^1430476-1 is not prime. Res64: 9AF122BA102FC487 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:17:07] 645*2^1430477-1 is not prime. Res64: 6218BBBC5E570725 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:17:07] 711*2^1430477-1 is not prime. Res64: 204555FDCD06BC2C Time : 0.0 sec. user=mdettweiler [2016-05-26 22:17:07] 937*2^1430477-1 is not prime. Res64: 3D2E105FFA5EF17C Time : 0.0 sec. user=mdettweiler [2016-05-26 22:17:08] 985*2^1430477-1 is not prime. Res64: 2690DB4D644455BA Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:04] 615*2^1430479-1 is not prime. Res64: 5DB93869EB278347 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:04] 645*2^1430479-1 is not prime. Res64: D8F87047450FCFFE Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:05] 685*2^1430479-1 is not prime. Res64: 9C62C923DDA4B11D Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:05] 771*2^1430479-1 is not prime. Res64: 6F1AB6AA02A1B993 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:05] 793*2^1430479-1 is not prime. Res64: 998622E20F39DAEB Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:14] 621*2^1430478-1 is not prime. Res64: 57832124C87A7DE6 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:14] 821*2^1430478-1 is not prime. Res64: 350B9FE4AD00A99B Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:15] 941*2^1430478-1 is not prime. Res64: D45CBAB9E41A79BA Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:15] 957*2^1430478-1 is not prime. Res64: 2C56BA3445161625 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:18:15] 601*2^1430479-1 is not prime. Res64: E579992587FE8D45 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:44:51] 985*2^1430479-1 is not prime. Res64: 6C97FA9E45A14DF5 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:44:52] 755*2^1430480-1 is not prime. Res64: 1E93993980558BCA Time : 0.0 sec. user=mdettweiler [2016-05-26 22:44:52] 777*2^1430480-1 is not prime. Res64: C530F221F5DD44C1 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:44:52] 825*2^1430480-1 is not prime. Res64: 573567CC192A7E27 Time : 0.0 sec. user=mdettweiler [2016-05-26 22:44:53] 833*2^1430480-1 is not prime. Res64: 02EC0A3E8BDFC23F Time : 0.0 sec. user=mdettweiler [2016-05-26 23:02:17] 999*2^1430480-1 is not prime. Res64: 4998DC4041B86290 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:02:18] 739*2^1430481-1 is not prime. Res64: E01E0A2FFFCD46CB Time : 0.0 sec. user=mdettweiler [2016-05-26 23:02:19] 751*2^1430481-1 is not prime. Res64: 78F2403E25D886C3 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:02:19] 807*2^1430481-1 is not prime. Res64: C1DC18A7605D6E14 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:02:20] 847*2^1430481-1 is not prime. Res64: 1D83A6B849722960 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:12] 889*2^1430481-1 is not prime. Res64: 89AF75BD61527DE5 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:13] 937*2^1430481-1 is not prime. Res64: BE4F70E158B326DA Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:14] 991*2^1430481-1 is not prime. Res64: 613BDF5C932D865E Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:14] 665*2^1430482-1 is not prime. Res64: 5C0AB93513570DC0 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:15] 791*2^1430482-1 is not prime. Res64: 1289B566C960B7E2 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:19] 815*2^1430482-1 is not prime. Res64: 59715C9B473D7239 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:20] 825*2^1430482-1 is not prime. Res64: 8FE7C0E458ECDDBA Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:21] 987*2^1430482-1 is not prime. Res64: 4B77067A743CA0CE Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:22] 699*2^1430483-1 is not prime. Res64: 6E8D08456CC65D08 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:03:24] 741*2^1430483-1 is not prime. Res64: 0B1D5678748AC57A Time : 0.0 sec. user=mdettweiler [2016-05-26 23:29:49] 861*2^1430483-1 is not prime. Res64: 43BAB0394C6C9A63 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:29:50] 963*2^1430483-1 is not prime. Res64: 27D405533ACC3EC0 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:29:50] 609*2^1430484-1 is not prime. Res64: 4650949CC163C6BD Time : 0.0 sec. user=mdettweiler [2016-05-26 23:29:51] 767*2^1430484-1 is not prime. Res64: 3CF1E8ABBCC2D9E5 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:29:51] 837*2^1430484-1 is not prime. Res64: 8F982E2295A696D8 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:47:46] 843*2^1430484-1 is not prime. Res64: BFD27CF093A0D652 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:47:46] 857*2^1430484-1 is not prime. Res64: F7975C221BF69D29 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:47:46] 909*2^1430484-1 is not prime. Res64: FC80D5BDFC773C38 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:47:47] 945*2^1430484-1 is not prime. Res64: 1E8E406B6EF85855 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:47:47] 969*2^1430484-1 is not prime. Res64: 5D52BF076DB033D4 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:16] 975*2^1430484-1 is not prime. Res64: 41734E2ED93B7677 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:16] 983*2^1430484-1 is not prime. Res64: CFF9B9B464683B2A Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:17] 691*2^1430485-1 is not prime. Res64: 023C847C426E7938 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:17] 715*2^1430485-1 is not prime. Res64: 56516D8867785126 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:18] 729*2^1430485-1 is not prime. Res64: CD040A5417C422F2 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:18] 825*2^1430485-1 is not prime. Res64: 6CCED91E8FEA3492 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:18] 885*2^1430485-1 is not prime. Res64: EEDE7656C44FCC4B Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:18] 951*2^1430485-1 is not prime. Res64: B346E004E74DD32E Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:19] 957*2^1430485-1 is not prime. Res64: 276BAF41E47088C7 Time : 0.0 sec. user=mdettweiler [2016-05-26 23:48:19] 761*2^1430486-1 is not prime. Res64: FFAD520ED71D9FB4 Time : 0.0 sec.