user=mdettweiler [2015-08-17 00:05:26] 993*2^1406603-1 is not prime. Res64: D1BE3A1D6EF463CB Time : 0.0 sec. user=mdettweiler [2015-08-17 00:05:27] 735*2^1406603-1 is not prime. Res64: C055A2D1146842E2 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:05:28] 719*2^1406604-1 is not prime. Res64: F408353B863CE724 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:05:28] 949*2^1406603-1 is not prime. Res64: 30197E44D961C45C Time : 0.0 sec. user=mdettweiler [2015-08-17 00:13:40] 753*2^1406604-1 is not prime. Res64: 86A1DCEC3CE4385B Time : 0.0 sec. user=mdettweiler [2015-08-17 00:13:41] 773*2^1406604-1 is not prime. Res64: AA739305BE0A91D4 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:13:45] 795*2^1406604-1 is not prime. Res64: 2FEFAAFFFFD8243E Time : 0.0 sec. user=mdettweiler [2015-08-17 00:13:47] 929*2^1406604-1 is not prime. Res64: 83F852443C86D33F Time : 0.0 sec. user=mdettweiler [2015-08-17 00:23:26] 685*2^1406605-1 is not prime. Res64: BF9EDE752C2BF96F Time : 0.0 sec. user=mdettweiler [2015-08-17 00:23:27] 715*2^1406605-1 is not prime. Res64: CD5120124C475D0A Time : 0.0 sec. user=mdettweiler [2015-08-17 00:23:28] 623*2^1406606-1 is not prime. Res64: 5FF9AE53464567B1 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:23:29] 635*2^1406606-1 is not prime. Res64: 0BD9295DCE60783A Time : 0.0 sec. user=mdettweiler [2015-08-17 00:31:17] 677*2^1406606-1 is not prime. Res64: 73A8646DE90A0905 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:31:18] 767*2^1406606-1 is not prime. Res64: 8041F35B65A7DEBB Time : 0.0 sec. user=mdettweiler [2015-08-17 00:31:22] 645*2^1406606-1 is not prime. Res64: B7E268EE6F3BB322 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:31:23] 663*2^1406606-1 is not prime. Res64: C7782CB7ABB784F6 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:40:50] 825*2^1406606-1 is not prime. Res64: 36CC2199A734A8A9 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:40:50] 897*2^1406606-1 is not prime. Res64: 69B45500B3CBBF85 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:40:53] 813*2^1406606-1 is not prime. Res64: EB33303F436C7397 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:40:54] 815*2^1406606-1 is not prime. Res64: FABE6C1F47CE3A3B Time : 0.0 sec. user=mdettweiler [2015-08-17 00:48:43] 917*2^1406606-1 is not prime. Res64: EFD288EB32A3E609 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:48:43] 945*2^1406606-1 is not prime. Res64: B0CBFC1F2B18DDE7 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:48:48] 1001*2^1406606-1 is not prime. Res64: 7CD48E42542D60FB Time : 0.0 sec. user=mdettweiler [2015-08-17 00:48:48] 615*2^1406607-1 is not prime. Res64: D94CCA227BBA267E Time : 0.0 sec. user=mdettweiler [2015-08-17 00:58:14] 649*2^1406607-1 is not prime. Res64: 7CD76836DB8181FC Time : 0.0 sec. user=mdettweiler [2015-08-17 00:58:15] 781*2^1406607-1 is not prime. Res64: D4A86529DBC6AD48 Time : 0.0 sec. user=mdettweiler [2015-08-17 00:58:19] 931*2^1406607-1 is not prime. Res64: 3A8E0C93A5D52BAC Time : 0.0 sec. user=mdettweiler [2015-08-17 00:58:19] 955*2^1406607-1 is not prime. Res64: 9431D88CC0547C67 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:06:11] 827*2^1406608-1 is not prime. Res64: 1F1EC6D1F06800FF Time : 0.0 sec. user=mdettweiler [2015-08-17 01:06:12] 839*2^1406608-1 is not prime. Res64: 3AFDC0033798C7AF Time : 0.0 sec. user=mdettweiler [2015-08-17 01:06:17] 863*2^1406608-1 is not prime. Res64: BB3C42F0D6EC1D14 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:06:17] 927*2^1406608-1 is not prime. Res64: FB55F04C866359D3 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:15:38] 959*2^1406608-1 is not prime. Res64: 19AF5A429078EA27 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:15:38] 631*2^1406609-1 is not prime. Res64: 2ED14658C0DBBEDF Time : 0.0 sec. user=mdettweiler [2015-08-17 01:15:43] 649*2^1406609-1 is not prime. Res64: 9EBCF0EE7A44A72E Time : 0.0 sec. user=mdettweiler [2015-08-17 01:15:44] 789*2^1406609-1 is not prime. Res64: A80E7F1E1A56FFE1 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:23:36] 829*2^1406609-1 is not prime. Res64: 6C475D106B4EEAE1 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:23:37] 967*2^1406609-1 is not prime. Res64: 666EEB5E8891B3F9 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:23:42] 627*2^1406610-1 is not prime. Res64: 97A1619FCC222A28 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:23:42] 677*2^1406610-1 is not prime. Res64: 54C1F2F648EDC75D Time : 0.0 sec. user=mdettweiler [2015-08-17 01:33:10] 927*2^1406610-1 is not prime. Res64: C0C8AFE6C1FE50B9 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:33:10] 1001*2^1406610-1 is not prime. Res64: BCA9C3B5402D240B Time : 0.0 sec. user=mdettweiler [2015-08-17 01:33:12] 783*2^1406610-1 is not prime. Res64: 047E1325DAA28DDA Time : 0.0 sec. user=mdettweiler [2015-08-17 01:33:12] 845*2^1406610-1 is not prime. Res64: E98204E75AE47AFB Time : 0.0 sec. user=mdettweiler [2015-08-17 01:41:01] 601*2^1406611-1 is not prime. Res64: ED242BDE1B23E7CE Time : 0.0 sec. user=mdettweiler [2015-08-17 01:41:02] 639*2^1406611-1 is not prime. Res64: 04049E601DE777A6 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:41:05] 645*2^1406611-1 is not prime. Res64: 1EB9129E5EC06D2E Time : 0.0 sec. user=mdettweiler [2015-08-17 01:41:06] 703*2^1406611-1 is not prime. Res64: 2FE67CA0814BDE11 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:50:35] 723*2^1406611-1 is not prime. Res64: 96B68EDF3477A10A Time : 0.0 sec. user=mdettweiler [2015-08-17 01:50:36] 735*2^1406611-1 is not prime. Res64: ED9669ACDED3039B Time : 0.0 sec. user=mdettweiler [2015-08-17 01:50:37] 775*2^1406611-1 is not prime. Res64: A585ED2BE4F291F3 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:50:37] 843*2^1406611-1 is not prime. Res64: A16ECFADC4CAE384 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:58:36] 889*2^1406611-1 is not prime. Res64: D0A870702C357FAB Time : 0.0 sec. user=mdettweiler [2015-08-17 01:58:36] 961*2^1406611-1 is not prime. Res64: D5BF742E1935B828 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:58:37] 861*2^1406611-1 is not prime. Res64: 2B2F7878A1CF2277 Time : 0.0 sec. user=mdettweiler [2015-08-17 01:58:37] 871*2^1406611-1 is not prime. Res64: CFE9886113ECBD07 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:08:01] 693*2^1406612-1 is not prime. Res64: B8302C1A7604D520 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:08:03] 609*2^1406612-1 is not prime. Res64: 620E71C585190D83 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:08:04] 699*2^1406612-1 is not prime. Res64: 7AAB204017B04DA7 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:08:04] 623*2^1406612-1 is not prime. Res64: A7D1227BB87A15A6 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:15:58] 957*2^1406612-1 is not prime. Res64: F8A2D887E93D3AD7 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:15:59] 741*2^1406613-1 is not prime. Res64: 013255ACB354FBF0 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:15:59] 819*2^1406612-1 is not prime. Res64: A4CB6A0B678DEF15 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:16:00] 885*2^1406612-1 is not prime. Res64: 839C4FE9B06080EE Time : 0.0 sec. user=mdettweiler [2015-08-17 02:26:28] 919*2^1406613-1 is not prime. Res64: 4E240279CCA7F18D Time : 0.0 sec. user=mdettweiler [2015-08-17 02:26:28] 657*2^1406614-1 is not prime. Res64: 72C061C7F2B0F4CA Time : 0.0 sec. user=mdettweiler [2015-08-17 02:26:36] 741*2^1406614-1 is not prime. Res64: 582C3383DFF875E1 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:26:37] 855*2^1406614-1 is not prime. Res64: EF1B53A5FCA2FBCC Time : 0.0 sec. user=mdettweiler [2015-08-17 02:33:22] 887*2^1406614-1 is not prime. Res64: 5EAD37A6B583BBB5 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:33:22] 669*2^1406615-1 is not prime. Res64: 1AEB557B3CDB70A9 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:33:23] 799*2^1406615-1 is not prime. Res64: 2C691D0CC888F5EF Time : 0.0 sec. user=mdettweiler [2015-08-17 02:33:23] 971*2^1406614-1 is not prime. Res64: 4A690DF47605D67C Time : 0.0 sec. user=mdettweiler [2015-08-17 02:44:02] 825*2^1406615-1 is not prime. Res64: EA9E2D7B3BEE0EB6 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:44:03] 861*2^1406615-1 is not prime. Res64: 7E8AE701B7BDFFD1 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:44:06] 913*2^1406615-1 is not prime. Res64: F6F8C8AEBD0453E2 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:44:07] 969*2^1406615-1 is not prime. Res64: 4DC285260F46B907 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:50:45] 849*2^1406616-1 is not prime. Res64: DDA3E8EC3E795F38 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:50:46] 899*2^1406616-1 is not prime. Res64: 5F7C00C6561BA336 Time : 0.0 sec. user=mdettweiler [2015-08-17 02:50:50] 705*2^1406616-1 is not prime. Res64: E90715CA51D74E3C Time : 0.0 sec. user=mdettweiler [2015-08-17 02:50:51] 773*2^1406616-1 is not prime. Res64: 2A4458D4BC938A4C Time : 0.0 sec. user=mdettweiler [2015-08-17 03:01:32] 909*2^1406616-1 is not prime. Res64: 78DFBA0E478A1C58 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:01:33] 917*2^1406616-1 is not prime. Res64: AC18D6E74D421EC5 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:01:39] 609*2^1406617-1 is not prime. Res64: BE0445CDE131AD9C Time : 0.0 sec. user=mdettweiler [2015-08-17 03:01:40] 729*2^1406617-1 is not prime. Res64: 25C40D0F46F83D83 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:08:13] 861*2^1406617-1 is not prime. Res64: 511936E606CBFEFC Time : 0.0 sec. user=mdettweiler [2015-08-17 03:08:13] 937*2^1406617-1 is not prime. Res64: 4EADD48B878F8257 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:08:25] 957*2^1406617-1 is not prime. Res64: 360E7E4530E9395B Time : 0.0 sec. user=mdettweiler [2015-08-17 03:08:25] 665*2^1406618-1 is not prime. Res64: 4F5B6A7569DF912D Time : 0.0 sec. user=S_K_ [2015-08-17 03:08:50] 639*2^1406616-1 is not prime. Res64: 2BBF55FDF7E55C28 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:19:08] 735*2^1406618-1 is not prime. Res64: 06B979EF256CEFCF Time : 0.0 sec. user=mdettweiler [2015-08-17 03:19:09] 791*2^1406618-1 is not prime. Res64: 398C682AD9B48EE4 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:19:10] 801*2^1406618-1 is not prime. Res64: DA4D096662FD4619 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:19:11] 893*2^1406618-1 is not prime. Res64: 5BEF9494C29D76BD Time : 0.0 sec. user=mdettweiler [2015-08-17 03:25:41] 663*2^1406619-1 is not prime. Res64: 471DA3F3D983066C Time : 0.0 sec. user=mdettweiler [2015-08-17 03:25:42] 669*2^1406619-1 is not prime. Res64: 5298A6195FA79E35 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:25:48] 705*2^1406619-1 is not prime. Res64: CC646FF4E004167C Time : 0.0 sec. user=mdettweiler [2015-08-17 03:25:49] 711*2^1406619-1 is not prime. Res64: 9B808F67C94B4287 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:36:33] 609*2^1406620-1 is not prime. Res64: 346DA8CEC58A1B35 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:36:34] 601*2^1406621-1 is not prime. Res64: 87A84AEA2B3A9770 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:36:36] 665*2^1406620-1 is not prime. Res64: E413CBF7EEE184A8 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:36:37] 615*2^1406621-1 is not prime. Res64: 7954CCEC3F9E5E62 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:43:11] 691*2^1406621-1 is not prime. Res64: 62D5C96A1192D980 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:43:12] 727*2^1406621-1 is not prime. Res64: 2EA5FC500436CFA1 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:43:14] 741*2^1406621-1 is not prime. Res64: B179367A715F67D5 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:43:16] 747*2^1406621-1 is not prime. Res64: 79B2D3FA38D88815 Time : 0.0 sec. user=S_K_ [2015-08-17 03:46:01] 931*2^1406619-1 is not prime. Res64: 2CFF618DDEC6F9D2 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:54:12] 769*2^1406621-1 is not prime. Res64: 8E372FF7A57355CE Time : 0.0 sec. user=mdettweiler [2015-08-17 03:54:13] 871*2^1406621-1 is not prime. Res64: DE235CE2AC3ACCDB Time : 0.0 sec. user=mdettweiler [2015-08-17 03:54:16] 879*2^1406621-1 is not prime. Res64: 270A9C972B308281 Time : 0.0 sec. user=mdettweiler [2015-08-17 03:54:16] 741*2^1406622-1 is not prime. Res64: F1AF5E3B8683EBCF Time : 0.0 sec. user=mdettweiler [2015-08-17 04:00:50] 747*2^1406622-1 is not prime. Res64: 00F958B85A33CC8B Time : 0.0 sec. user=mdettweiler [2015-08-17 04:00:51] 983*2^1406622-1 is not prime. Res64: ECB132A915825910 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:00:52] 603*2^1406623-1 is not prime. Res64: C2577D2E5E8D71F9 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:00:53] 615*2^1406623-1 is not prime. Res64: E1627712B100A14F Time : 0.0 sec. user=mdettweiler [2015-08-17 04:11:38] 769*2^1406623-1 is not prime. Res64: A2859D91D9AE52BC Time : 0.0 sec. user=mdettweiler [2015-08-17 04:11:39] 775*2^1406623-1 is not prime. Res64: 6DA7B980210F4147 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:11:46] 705*2^1406623-1 is not prime. Res64: 8A090719CA14B654 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:11:46] 751*2^1406623-1 is not prime. Res64: 98B657DEF6AEF7CD Time : 0.0 sec. user=mdettweiler [2015-08-17 04:18:15] 829*2^1406623-1 is not prime. Res64: ADA623F5E5297F04 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:18:15] 871*2^1406623-1 is not prime. Res64: 568D6209651F0597 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:18:22] 973*2^1406623-1 is not prime. Res64: CB9862CB5FE0981D Time : 0.0 sec. user=mdettweiler [2015-08-17 04:18:22] 609*2^1406624-1 is not prime. Res64: FF886ABB6070C36E Time : 0.0 sec. user=mdettweiler [2015-08-17 04:29:55] 617*2^1406624-1 is not prime. Res64: 61ECA31220D19BE5 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:29:55] 659*2^1406624-1 is not prime. Res64: 1CE0F1873B92350F Time : 0.0 sec. user=mdettweiler [2015-08-17 04:30:06] 689*2^1406624-1 is not prime. Res64: 650669B206C01D6E Time : 0.0 sec. user=mdettweiler [2015-08-17 04:30:06] 759*2^1406624-1 is not prime. Res64: 5FB6C2D45AEF6738 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:36:27] 813*2^1406624-1 is not prime. Res64: 3040C555A092FB05 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:36:28] 875*2^1406624-1 is not prime. Res64: 295EF58E12162BFB Time : 0.0 sec. user=mdettweiler [2015-08-17 04:36:33] 995*2^1406624-1 is not prime. Res64: 3030E49E043E5DBC Time : 0.0 sec. user=mdettweiler [2015-08-17 04:36:33] 625*2^1406625-1 is not prime. Res64: 7CA56DDB72A6B650 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:47:21] 727*2^1406625-1 is not prime. Res64: BA347A5762B26FFC Time : 0.0 sec. user=mdettweiler [2015-08-17 04:47:21] 735*2^1406625-1 is not prime. Res64: 0F4C008DB2F53587 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:47:34] 751*2^1406625-1 is not prime. Res64: BD1C51B8776A9389 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:47:34] 759*2^1406625-1 is not prime. Res64: B5896B9313012395 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:53:55] 849*2^1406625-1 is not prime. Res64: 73E60B35B76A50CE Time : 0.0 sec. user=mdettweiler [2015-08-17 04:53:55] 611*2^1406626-1 is not prime. Res64: 831B68B1791131BA Time : 0.0 sec. user=mdettweiler [2015-08-17 04:54:04] 645*2^1406626-1 is not prime. Res64: AEF4A6F46255D3F5 Time : 0.0 sec. user=mdettweiler [2015-08-17 04:54:05] 675*2^1406626-1 is not prime. Res64: FFD95C1B4E80AD60 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:04:52] 833*2^1406626-1 is not prime. Res64: FA028E1BCE1C2BEA Time : 0.0 sec. user=mdettweiler [2015-08-17 05:04:54] 873*2^1406626-1 is not prime. Res64: CD8B878C3EAE0E37 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:05:01] 891*2^1406626-1 is not prime. Res64: FA02D5E3876A6AC6 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:05:03] 947*2^1406626-1 is not prime. Res64: 2E699FE473A222DB Time : 0.0 sec. user=mdettweiler [2015-08-17 05:11:29] 669*2^1406627-1 is not prime. Res64: 03464DF718384AA2 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:11:29] 685*2^1406627-1 is not prime. Res64: D533ABDFD68CEDFC Time : 0.0 sec. user=mdettweiler [2015-08-17 05:11:34] 801*2^1406627-1 is not prime. Res64: 032BCD6BFAAF10D0 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:11:35] 829*2^1406627-1 is not prime. Res64: 5FEE8514895F3D77 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:22:37] 979*2^1406627-1 is not prime. Res64: BE13FC388E9DB24A Time : 0.0 sec. user=mdettweiler [2015-08-17 05:22:38] 639*2^1406628-1 is not prime. Res64: 6EFFE8548E545815 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:22:39] 669*2^1406628-1 is not prime. Res64: E793D404C22C042A Time : 0.0 sec. user=mdettweiler [2015-08-17 05:22:39] 725*2^1406628-1 is not prime. Res64: 5C0E6F3D41BA25D4 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:28:53] 777*2^1406628-1 is not prime. Res64: AC8CF87C9BF23073 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:28:53] 839*2^1406628-1 is not prime. Res64: 51F2AF8AADF1E808 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:28:56] 929*2^1406628-1 is not prime. Res64: 92F5FBB83BF9D767 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:28:56] 993*2^1406628-1 is not prime. Res64: 0BEA3341DA333FEF Time : 0.0 sec. user=mdettweiler [2015-08-17 05:40:03] 825*2^1406629-1 is not prime. Res64: 3DDBC295C4598948 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:40:04] 717*2^1406630-1 is not prime. Res64: 52F04CB8B7CDCCC6 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:40:07] 741*2^1406629-1 is not prime. Res64: 496AEDD0D1AE3D0B Time : 0.0 sec. user=mdettweiler [2015-08-17 05:40:08] 819*2^1406629-1 is not prime. Res64: A7F188221768ABB0 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:46:26] 691*2^1406631-1 is not prime. Res64: BA42A3CF8D081E9B Time : 0.0 sec. user=mdettweiler [2015-08-17 05:46:26] 693*2^1406631-1 is not prime. Res64: FA73B2C3A28E068A Time : 0.0 sec. user=mdettweiler [2015-08-17 05:46:27] 867*2^1406630-1 is not prime. Res64: 4DD4C3CF53EF5772 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:46:28] 897*2^1406630-1 is not prime. Res64: 0FF03007A727EA52 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:57:28] 709*2^1406631-1 is not prime. Res64: B7F7FE230353FD9E Time : 0.0 sec. user=mdettweiler [2015-08-17 05:57:28] 739*2^1406631-1 is not prime. Res64: 962E2D9D940EC9DB Time : 0.0 sec. user=mdettweiler [2015-08-17 05:57:35] 859*2^1406631-1 is not prime. Res64: 60CF211FB5DC6203 Time : 0.0 sec. user=mdettweiler [2015-08-17 05:57:35] 891*2^1406631-1 is not prime. Res64: C167F3ED66347A31 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:03:53] 657*2^1406632-1 is not prime. Res64: 871E9AD37289F712 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:03:54] 675*2^1406632-1 is not prime. Res64: 9392448B49D79A59 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:03:55] 951*2^1406631-1 is not prime. Res64: E9D493B6610A483D Time : 0.0 sec. user=mdettweiler [2015-08-17 06:03:57] 961*2^1406631-1 is not prime. Res64: B6D894E2AD894D99 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:14:53] 755*2^1406632-1 is not prime. Res64: 81EA232E1C69EE4D Time : 0.0 sec. user=mdettweiler [2015-08-17 06:14:54] 779*2^1406632-1 is not prime. Res64: 4D36A9BA28536176 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:15:26] 705*2^1406633-1 is not prime. Res64: A1D22CDCED336779 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:15:27] 759*2^1406633-1 is not prime. Res64: B78C3B404749E2C0 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:21:59] 805*2^1406633-1 is not prime. Res64: E1C969CF9A68BDED Time : 0.0 sec. user=mdettweiler [2015-08-17 06:21:59] 889*2^1406633-1 is not prime. Res64: E338A0FCD564895A Time : 0.0 sec. user=mdettweiler [2015-08-17 06:22:08] 939*2^1406633-1 is not prime. Res64: 62C3D0AF76ECE2F5 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:22:08] 945*2^1406633-1 is not prime. Res64: C57BA555AAB07B02 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:32:41] 681*2^1406634-1 is not prime. Res64: CF916A171D3F6F6E Time : 0.0 sec. user=mdettweiler [2015-08-17 06:32:42] 741*2^1406634-1 is not prime. Res64: 3F214C76584AAE22 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:32:52] 905*2^1406634-1 is not prime. Res64: CBBEB640C7086599 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:32:53] 917*2^1406634-1 is not prime. Res64: 5627EDC1E7AF4460 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:39:21] 927*2^1406634-1 is not prime. Res64: 0ED2E43989604C24 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:39:22] 645*2^1406635-1 is not prime. Res64: C533DB52AAA882C9 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:39:34] 649*2^1406635-1 is not prime. Res64: C3703A2F22B029D7 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:39:35] 693*2^1406635-1 is not prime. Res64: 627F1248CD32E5EE Time : 0.0 sec. user=mdettweiler [2015-08-17 06:50:10] 723*2^1406635-1 is not prime. Res64: 852A2E5DD68F1585 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:50:11] 741*2^1406635-1 is not prime. Res64: 28637DF2AC4B8A5A Time : 0.0 sec. user=mdettweiler [2015-08-17 06:50:21] 873*2^1406635-1 is not prime. Res64: 106B6F819898B79D Time : 0.0 sec. user=mdettweiler [2015-08-17 06:50:21] 939*2^1406635-1 is not prime. Res64: 9AB6C06ABC6A453C Time : 0.0 sec. user=mdettweiler [2015-08-17 06:56:50] 973*2^1406635-1 is not prime. Res64: AFF6E5E1523A73AA Time : 0.0 sec. user=mdettweiler [2015-08-17 06:56:50] 657*2^1406636-1 is not prime. Res64: DB22C1DD275D4F11 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:57:02] 683*2^1406636-1 is not prime. Res64: A68696DC3F204088 Time : 0.0 sec. user=mdettweiler [2015-08-17 06:57:02] 749*2^1406636-1 is not prime. Res64: AF6DA966B35CA858 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:07:32] 827*2^1406636-1 is not prime. Res64: 3B6DC0B91B35BFFC Time : 0.0 sec. user=mdettweiler [2015-08-17 07:07:32] 843*2^1406636-1 is not prime. Res64: C93E9C6FF4B9E02A Time : 0.0 sec. user=mdettweiler [2015-08-17 07:07:57] 855*2^1406636-1 is not prime. Res64: 7AE9398E7D7E24AB Time : 0.0 sec. user=mdettweiler [2015-08-17 07:07:57] 909*2^1406636-1 is not prime. Res64: FB55811B2C527D8A Time : 0.0 sec. user=mdettweiler [2015-08-17 07:14:22] 927*2^1406636-1 is not prime. Res64: 107991FE89DC637B Time : 0.0 sec. user=mdettweiler [2015-08-17 07:14:22] 621*2^1406637-1 is not prime. Res64: 96B8C7D53FEC04AA Time : 0.0 sec. user=mdettweiler [2015-08-17 07:14:35] 751*2^1406637-1 is not prime. Res64: D500D2031AB90634 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:14:36] 765*2^1406637-1 is not prime. Res64: 7CD7476D2066B2A8 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:24:56] 777*2^1406637-1 is not prime. Res64: 07BCF245C7BEFE7F Time : 0.0 sec. user=mdettweiler [2015-08-17 07:24:56] 861*2^1406637-1 is not prime. Res64: 1E31F1DCDC451CBB Time : 0.0 sec. user=mdettweiler [2015-08-17 07:25:22] 901*2^1406637-1 is not prime. Res64: B4A4441A4774842B Time : 0.0 sec. user=mdettweiler [2015-08-17 07:25:23] 937*2^1406637-1 is not prime. Res64: 089F6EE5AE3AB5D7 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:31:46] 945*2^1406637-1 is not prime. Res64: E2D654692289C8DC Time : 0.0 sec. user=mdettweiler [2015-08-17 07:31:47] 985*2^1406637-1 is not prime. Res64: BC3A4BFF8569C9F0 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:32:03] 991*2^1406637-1 is not prime. Res64: 0E6F8A1A071A8342 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:32:04] 603*2^1406638-1 is not prime. Res64: D2078803543AFDD8 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:42:23] 831*2^1406638-1 is not prime. Res64: 7D8DC3BA9100F6E3 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:42:24] 645*2^1406639-1 is not prime. Res64: 1EDA02483E433CBB Time : 0.0 sec. user=mdettweiler [2015-08-17 07:42:46] 819*2^1406639-1 is not prime. Res64: 8BD796A4E4F44E6E Time : 0.0 sec. user=mdettweiler [2015-08-17 07:42:46] 843*2^1406639-1 is not prime. Res64: CC1C210805EBFFCB Time : 0.0 sec. user=mdettweiler [2015-08-17 07:49:15] 855*2^1406639-1 is not prime. Res64: 6A594020723C9749 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:49:16] 695*2^1406640-1 is not prime. Res64: 6873AE2D5AF12487 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:49:25] 719*2^1406640-1 is not prime. Res64: F9E86A0B587E6FBF Time : 0.0 sec. user=mdettweiler [2015-08-17 07:49:26] 725*2^1406640-1 is not prime. Res64: 1654F46B69109B70 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:59:45] 759*2^1406640-1 is not prime. Res64: 1426B704834F5E52 Time : 0.0 sec. user=mdettweiler [2015-08-17 07:59:46] 765*2^1406640-1 is not prime. Res64: 8F66538B4B00471C Time : 0.0 sec. user=mdettweiler [2015-08-17 08:00:18] 779*2^1406640-1 is not prime. Res64: F7201099F05C5CAE Time : 0.0 sec. user=mdettweiler [2015-08-17 08:00:19] 819*2^1406640-1 is not prime. Res64: 06E004D5E65AE546 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:06:42] 651*2^1406641-1 is not prime. Res64: 555359A38DF5EC1E Time : 0.0 sec. user=mdettweiler [2015-08-17 08:06:44] 855*2^1406641-1 is not prime. Res64: 7E14546683260B74 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:06:49] 861*2^1406641-1 is not prime. Res64: 8F812F3AC288D1CC Time : 0.0 sec. user=mdettweiler [2015-08-17 08:06:51] 889*2^1406641-1 is not prime. Res64: EDA18A055C72491C Time : 0.0 sec. user=mdettweiler [2015-08-17 08:17:13] 939*2^1406641-1 is not prime. Res64: 15A11273425CBA60 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:17:13] 675*2^1406642-1 is not prime. Res64: 57EBFD196B86BC8A Time : 0.0 sec. user=mdettweiler [2015-08-17 08:17:44] 741*2^1406642-1 is not prime. Res64: ED7AE6FB6556AB7F Time : 0.0 sec. user=mdettweiler [2015-08-17 08:17:45] 755*2^1406642-1 is not prime. Res64: EB6692B7B39AA080 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:24:11] 785*2^1406642-1 is not prime. Res64: CAD2F9C4FF55606D Time : 0.0 sec. user=mdettweiler [2015-08-17 08:24:11] 941*2^1406642-1 is not prime. Res64: E879F75A1F780D8C Time : 0.0 sec. user=mdettweiler [2015-08-17 08:24:14] 1001*2^1406642-1 is not prime. Res64: 2818839C08F03F3B Time : 0.0 sec. user=mdettweiler [2015-08-17 08:24:15] 615*2^1406643-1 is not prime. Res64: 9385383D5045692E Time : 0.0 sec. user=mdettweiler [2015-08-17 08:34:53] 685*2^1406643-1 is not prime. Res64: 32D8FFF6C2C8F7A6 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:34:54] 795*2^1406643-1 is not prime. Res64: E19DF9DC2C8D4B37 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:35:13] 853*2^1406643-1 is not prime. Res64: 363AC8269262D0C5 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:35:14] 919*2^1406643-1 is not prime. Res64: B1087137D7BBF498 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:41:44] 651*2^1406645-1 is not prime. Res64: 8E4E52509533B21B Time : 0.0 sec. user=mdettweiler [2015-08-17 08:41:45] 771*2^1406645-1 is not prime. Res64: 4C179ED1DFBE0DA5 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:41:45] 955*2^1406643-1 is not prime. Res64: 5B582F7A621268F0 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:41:46] 989*2^1406644-1 is not prime. Res64: C25DCC27D73840F9 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:52:22] 861*2^1406645-1 is not prime. Res64: BD4B409D2D250063 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:52:23] 885*2^1406645-1 is not prime. Res64: A3E07686A0FE9237 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:52:39] 683*2^1406646-1 is not prime. Res64: B42BCA39D47F9ACF Time : 0.0 sec. user=mdettweiler [2015-08-17 08:52:40] 693*2^1406646-1 is not prime. Res64: 909DF6E165409FEB Time : 0.0 sec. user=mdettweiler [2015-08-17 08:59:09] 923*2^1406646-1 is not prime. Res64: 1C33FA2F7A6DBD4A Time : 0.0 sec. user=mdettweiler [2015-08-17 08:59:10] 603*2^1406647-1 is not prime. Res64: 85E7B1C86ABCA7AC Time : 0.0 sec. user=mdettweiler [2015-08-17 08:59:15] 717*2^1406646-1 is not prime. Res64: 2660A6CEEBE17768 Time : 0.0 sec. user=mdettweiler [2015-08-17 08:59:16] 795*2^1406646-1 is not prime. Res64: C429E0DF97C38B50 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:09:49] 625*2^1406647-1 is not prime. Res64: 928CCF0AAFCE3FB8 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:09:49] 651*2^1406647-1 is not prime. Res64: 4AB5CCE8AB37E812 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:10:20] 715*2^1406647-1 is not prime. Res64: D1919EE1EDD1B46C Time : 0.0 sec. user=mdettweiler [2015-08-17 09:10:20] 841*2^1406647-1 is not prime. Res64: 5720F25B40312020 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:16:35] 939*2^1406647-1 is not prime. Res64: BD5D68B21790A62A Time : 0.0 sec. user=mdettweiler [2015-08-17 09:16:36] 615*2^1406648-1 is not prime. Res64: 069A97C0237A38AA Time : 0.0 sec. user=mdettweiler [2015-08-17 09:16:40] 629*2^1406648-1 is not prime. Res64: 331B6D05AED4C6F5 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:16:41] 827*2^1406648-1 is not prime. Res64: 11850F9FA174F9CA Time : 0.0 sec. user=mdettweiler [2015-08-17 09:27:18] 977*2^1406648-1 is not prime. Res64: 6E0A50662CF46E66 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:27:19] 625*2^1406649-1 is not prime. Res64: 5CE83EF971BB9CE3 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:27:47] 649*2^1406649-1 is not prime. Res64: 0D174ECD88A12E87 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:27:47] 669*2^1406649-1 is not prime. Res64: EB73E16CAEEABA93 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:34:01] 675*2^1406649-1 is not prime. Res64: B78F114D7E119BAE Time : 0.0 sec. user=mdettweiler [2015-08-17 09:34:02] 795*2^1406649-1 is not prime. Res64: AFF5FFCB90477D35 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:34:15] 807*2^1406649-1 is not prime. Res64: 4172AF4913BA1091 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:34:16] 657*2^1406650-1 is not prime. Res64: 4560888603523697 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:44:49] 791*2^1406650-1 is not prime. Res64: 7827506E49134666 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:44:49] 813*2^1406650-1 is not prime. Res64: 8BC12CC1467D2F94 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:45:21] 821*2^1406650-1 is not prime. Res64: 1E996FF2B5C68E84 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:45:22] 825*2^1406650-1 is not prime. Res64: 641D555C68B9B8C0 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:51:45] 911*2^1406650-1 is not prime. Res64: 9D6C4574DD800552 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:51:46] 945*2^1406650-1 is not prime. Res64: 0D03297C82780D19 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:51:52] 827*2^1406650-1 is not prime. Res64: 1A1090548B382683 Time : 0.0 sec. user=mdettweiler [2015-08-17 09:51:52] 843*2^1406650-1 is not prime. Res64: A8E64915136729C6 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:02:25] 987*2^1406650-1 is not prime. Res64: A836F5F7F8E1DABB Time : 0.0 sec. user=mdettweiler [2015-08-17 10:02:26] 1001*2^1406650-1 is not prime. Res64: 785509BFCF2B587D Time : 0.0 sec. user=mdettweiler [2015-08-17 10:02:55] 643*2^1406651-1 is not prime. Res64: F1489D377B36459A Time : 0.0 sec. user=mdettweiler [2015-08-17 10:02:57] 711*2^1406651-1 is not prime. Res64: 5B86F87BA47CF6B5 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:09:11] 735*2^1406651-1 is not prime. Res64: 00D0A6F4FD25535B Time : 0.0 sec. user=mdettweiler [2015-08-17 10:09:12] 741*2^1406651-1 is not prime. Res64: A2CE01DEC1B47F5B Time : 0.0 sec. user=mdettweiler [2015-08-17 10:09:15] 825*2^1406651-1 is not prime. Res64: 8CF52107A433793B Time : 0.0 sec. user=mdettweiler [2015-08-17 10:09:15] 843*2^1406651-1 is not prime. Res64: AA261AD85CD623FA Time : 0.0 sec. user=mdettweiler [2015-08-17 10:20:16] 969*2^1406651-1 is not prime. Res64: F8C3FDF2E1BCF271 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:20:17] 767*2^1406652-1 is not prime. Res64: A2DA44E6B07A3CFF Time : 0.0 sec. user=mdettweiler [2015-08-17 10:20:24] 779*2^1406652-1 is not prime. Res64: 81332BF535ECC6E5 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:20:25] 837*2^1406652-1 is not prime. Res64: B3D5CF804461F08B Time : 0.0 sec. user=mdettweiler [2015-08-17 10:26:51] 691*2^1406653-1 is not prime. Res64: DEDFC3BA08D593BD Time : 0.0 sec. user=mdettweiler [2015-08-17 10:26:51] 729*2^1406653-1 is not prime. Res64: 267B1440AD557A97 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:26:53] 983*2^1406652-1 is not prime. Res64: EF791E18AAAE10FF Time : 0.0 sec. user=mdettweiler [2015-08-17 10:26:54] 987*2^1406652-1 is not prime. Res64: 4D59FC1F2AC41355 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:37:41] 771*2^1406653-1 is not prime. Res64: 815CCFA5925DE884 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:37:41] 867*2^1406653-1 is not prime. Res64: A847148AC2D8BD69 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:38:19] 919*2^1406653-1 is not prime. Res64: 97841E0D1CDC6C0D Time : 0.0 sec. user=mdettweiler [2015-08-17 10:38:19] 627*2^1406654-1 is not prime. Res64: E0F1FBF622F00377 Time : 0.0 sec. user=S_K_ [2015-08-17 10:40:47] 933*2^1406652-1 is not prime. Res64: 26E09571E4A7A642 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:44:15] 717*2^1406654-1 is not prime. Res64: C233FD4DB53EFC42 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:44:15] 747*2^1406654-1 is not prime. Res64: 5731A96F8F5FF12E Time : 0.0 sec. user=mdettweiler [2015-08-17 10:44:29] 785*2^1406654-1 is not prime. Res64: AF72D9CCFABF2B42 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:44:30] 825*2^1406654-1 is not prime. Res64: 4B76AD4E77ED3839 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:55:11] 827*2^1406654-1 is not prime. Res64: D5C7237C9B2CBB71 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:55:11] 917*2^1406654-1 is not prime. Res64: 39A81C7B208F730C Time : 0.0 sec. user=mdettweiler [2015-08-17 10:55:48] 927*2^1406654-1 is not prime. Res64: 066B4AE9285BE403 Time : 0.0 sec. user=mdettweiler [2015-08-17 10:55:49] 945*2^1406654-1 is not prime. Res64: 7B05D08D5610BD72 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:01:40] 825*2^1406655-1 is not prime. Res64: 2C10855377BE7CD7 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:01:41] 865*2^1406655-1 is not prime. Res64: 4590DF56FFB9578C Time : 0.0 sec. user=mdettweiler [2015-08-17 11:01:52] 895*2^1406655-1 is not prime. Res64: F8643F01A2809899 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:01:53] 609*2^1406656-1 is not prime. Res64: 89599E21FE0AE01A Time : 0.0 sec. user=mdettweiler [2015-08-17 11:12:55] 777*2^1406656-1 is not prime. Res64: 5A74C695CBB85501 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:12:56] 803*2^1406656-1 is not prime. Res64: BC875C3C6B496C9C Time : 0.0 sec. user=mdettweiler [2015-08-17 11:13:22] 887*2^1406656-1 is not prime. Res64: 29CB10EF989E4CA6 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:13:23] 899*2^1406656-1 is not prime. Res64: EDB46B40F88646D1 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:19:23] 905*2^1406656-1 is not prime. Res64: F97F9D6BB6BDCAE3 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:19:24] 939*2^1406656-1 is not prime. Res64: 0DC8EE6E9F628405 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:19:52] 957*2^1406656-1 is not prime. Res64: 8DAFC7E981A8A742 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:19:53] 619*2^1406657-1 is not prime. Res64: 2D4AE29A2EC3E577 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:30:21] 727*2^1406657-1 is not prime. Res64: 43F4C286BA459B5C Time : 0.0 sec. user=mdettweiler [2015-08-17 11:30:21] 759*2^1406657-1 is not prime. Res64: 451EF541E5D99287 Time : 0.0 sec. user=S_K_ [2015-08-17 11:30:39] 669*2^1406655-1 is not prime. Res64: 369BB066F226AB22 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:30:51] 777*2^1406657-1 is not prime. Res64: 46ACF1D3640DBD46 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:30:52] 925*2^1406657-1 is not prime. Res64: 3C695F0E801445D7 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:36:52] 955*2^1406657-1 is not prime. Res64: 185D54BC49C17B21 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:36:53] 735*2^1406658-1 is not prime. Res64: 7F8C928F1BAE6981 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:37:20] 815*2^1406658-1 is not prime. Res64: 25AE2942EA65ADD0 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:37:21] 861*2^1406658-1 is not prime. Res64: 367E1209F919ED52 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:47:49] 927*2^1406658-1 is not prime. Res64: DEA5614B61011A8A Time : 0.0 sec. user=mdettweiler [2015-08-17 11:47:50] 945*2^1406658-1 is not prime. Res64: 255880E931588242 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:48:15] 615*2^1406659-1 is not prime. Res64: 9AAEA55B6BC83F13 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:48:15] 645*2^1406659-1 is not prime. Res64: B38A0D91F70D5AAA Time : 0.0 sec. user=mdettweiler [2015-08-17 11:54:25] 691*2^1406659-1 is not prime. Res64: 5A9535454898E8A3 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:54:26] 723*2^1406659-1 is not prime. Res64: 224F34CF614DC666 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:54:47] 733*2^1406659-1 is not prime. Res64: 5B8389A9CA76A6A2 Time : 0.0 sec. user=mdettweiler [2015-08-17 11:54:48] 891*2^1406659-1 is not prime. Res64: D7B60C15C610D962 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:05:27] 603*2^1406660-1 is not prime. Res64: 6B947E19698D1905 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:05:29] 633*2^1406660-1 is not prime. Res64: 5FEDF3AE49652160 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:05:57] 699*2^1406660-1 is not prime. Res64: 57768B4BD963FC51 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:05:58] 959*2^1406660-1 is not prime. Res64: EFBBA7491B6A6F74 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:11:59] 781*2^1406661-1 is not prime. Res64: 1BFB4FB89B51C31D Time : 0.0 sec. user=mdettweiler [2015-08-17 12:11:59] 991*2^1406661-1 is not prime. Res64: D91F8272A506F224 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:12:25] 917*2^1406662-1 is not prime. Res64: 94811530178CB7EB Time : 0.0 sec. user=mdettweiler [2015-08-17 12:12:25] 945*2^1406662-1 is not prime. Res64: 92D7731FD029169B Time : 0.0 sec. user=mdettweiler [2015-08-17 12:23:17] 975*2^1406662-1 is not prime. Res64: 2696029319C5E235 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:23:18] 643*2^1406663-1 is not prime. Res64: FE364C474B634933 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:23:37] 715*2^1406663-1 is not prime. Res64: DABA8F6C5B532229 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:23:37] 735*2^1406663-1 is not prime. Res64: E8296B7306D82CCD Time : 0.0 sec. user=mdettweiler [2015-08-17 12:29:21] 753*2^1406663-1 is not prime. Res64: DE758269CFBB4035 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:29:21] 861*2^1406663-1 is not prime. Res64: DB00CD6FC4E5E76B Time : 0.0 sec. user=mdettweiler [2015-08-17 12:29:52] 623*2^1406664-1 is not prime. Res64: 4F57ABC39B390BDA Time : 0.0 sec. user=mdettweiler [2015-08-17 12:29:52] 663*2^1406664-1 is not prime. Res64: 63A3711522A63080 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:40:43] 719*2^1406664-1 is not prime. Res64: 34716927BD6566E3 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:40:44] 737*2^1406664-1 is not prime. Res64: 557024FAF6459B55 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:41:04] 765*2^1406664-1 is not prime. Res64: F803D3D35E087371 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:41:04] 983*2^1406664-1 is not prime. Res64: 13C90FDADA69DC47 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:46:48] 993*2^1406664-1 is not prime. Res64: 2F9F648024BFCD40 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:46:49] 625*2^1406665-1 is not prime. Res64: CBE8E8D98187E65F Time : 0.0 sec. user=mdettweiler [2015-08-17 12:47:24] 649*2^1406665-1 is not prime. Res64: DB462A33705568E0 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:47:24] 811*2^1406665-1 is not prime. Res64: B82FFC67A910D6CF Time : 0.0 sec. user=mdettweiler [2015-08-17 12:58:06] 841*2^1406665-1 is not prime. Res64: 1F285A7890D6925A Time : 0.0 sec. user=mdettweiler [2015-08-17 12:58:07] 877*2^1406665-1 is not prime. Res64: D2F6AF4EB3433284 Time : 0.0 sec. user=mdettweiler [2015-08-17 12:58:28] 735*2^1406666-1 is not prime. Res64: 2C9B55D19EC79AEE Time : 0.0 sec. user=mdettweiler [2015-08-17 12:58:29] 861*2^1406666-1 is not prime. Res64: AD1ACCF3629C8216 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:04:18] 887*2^1406666-1 is not prime. Res64: B3D8E8D4F017FDBF Time : 0.0 sec. user=mdettweiler [2015-08-17 13:04:20] 935*2^1406666-1 is not prime. Res64: EB3BDCA83045C35D Time : 0.0 sec. user=mdettweiler [2015-08-17 13:04:52] 945*2^1406666-1 is not prime. Res64: C71137F2E8CE7A5E Time : 0.0 sec. user=mdettweiler [2015-08-17 13:04:54] 705*2^1406667-1 is not prime. Res64: 20559BB8DDDB39E4 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:15:57] 711*2^1406667-1 is not prime. Res64: 088D54C2D63B777B Time : 0.0 sec. user=mdettweiler [2015-08-17 13:15:58] 795*2^1406667-1 is not prime. Res64: 5ABD132D396A68C8 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:16:18] 743*2^1406668-1 is not prime. Res64: 815A4106073DD2A4 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:16:18] 845*2^1406668-1 is not prime. Res64: B954F993D843FFD6 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:22:25] 863*2^1406668-1 is not prime. Res64: 7D181961315CFDA2 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:22:26] 875*2^1406668-1 is not prime. Res64: E427C446442E90D4 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:22:49] 989*2^1406668-1 is not prime. Res64: F93F3775FCD4A0D0 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:22:50] 999*2^1406668-1 is not prime. Res64: 9D6D0F1D987237D2 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:33:32] 615*2^1406669-1 is not prime. Res64: C5C0A2B7DF9984CC Time : 0.0 sec. user=mdettweiler [2015-08-17 13:33:32] 627*2^1406669-1 is not prime. Res64: E1E3C7A435FA32C9 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:33:46] 825*2^1406669-1 is not prime. Res64: D2B555C6B83D2F30 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:33:47] 897*2^1406669-1 is not prime. Res64: 79A72E2F8879DB18 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:39:52] 611*2^1406670-1 is not prime. Res64: 6C85BACA0C978A06 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:39:52] 653*2^1406670-1 is not prime. Res64: 9008EA3E3615D641 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:40:17] 755*2^1406670-1 is not prime. Res64: B7C8ADE92BD99841 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:40:18] 797*2^1406670-1 is not prime. Res64: 17F66C8E8BF9131F Time : 0.0 sec. user=mdettweiler [2015-08-17 13:50:56] 801*2^1406670-1 is not prime. Res64: 8CBD7B98456E6DD1 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:50:56] 951*2^1406670-1 is not prime. Res64: 560CE26C5C204969 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:51:16] 971*2^1406670-1 is not prime. Res64: 4DAB4565EE593FB5 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:51:16] 645*2^1406671-1 is not prime. Res64: CA6DE298CCB81647 Time : 0.0 sec. user=mdettweiler [2015-08-17 13:57:22] 679*2^1406671-1 is not prime. Res64: D25C236DDB5D33DF Time : 0.0 sec. user=mdettweiler [2015-08-17 13:57:22] 715*2^1406671-1 is not prime. Res64: AD7E0C19643FF9CF Time : 0.0 sec. user=mdettweiler [2015-08-17 13:57:43] 885*2^1406671-1 is not prime. Res64: ACDEB41AEB0FBADC Time : 0.0 sec. user=mdettweiler [2015-08-17 13:57:43] 925*2^1406671-1 is not prime. Res64: B574B580659B1048 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:08:18] 669*2^1406672-1 is not prime. Res64: 148FB604FFE2BA51 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:08:19] 677*2^1406672-1 is not prime. Res64: 8B1217E2A8433373 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:08:44] 687*2^1406672-1 is not prime. Res64: 75E234330C74958F Time : 0.0 sec. user=mdettweiler [2015-08-17 14:08:45] 689*2^1406672-1 is not prime. Res64: 4117B4727D154E5B Time : 0.0 sec. user=mdettweiler [2015-08-17 14:14:57] 725*2^1406672-1 is not prime. Res64: F1753FE438813DAC Time : 0.0 sec. user=mdettweiler [2015-08-17 14:14:58] 743*2^1406672-1 is not prime. Res64: 8B140068DBFFE6B0 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:15:09] 827*2^1406672-1 is not prime. Res64: 29837937F61A55EC Time : 0.0 sec. user=mdettweiler [2015-08-17 14:15:10] 857*2^1406672-1 is not prime. Res64: A356116B9E6EF6E9 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:25:54] 875*2^1406672-1 is not prime. Res64: 212899C58B1D14E7 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:25:55] 935*2^1406672-1 is not prime. Res64: 3ED0A17A60EBCCDC Time : 0.0 sec. user=mdettweiler [2015-08-17 14:26:14] 963*2^1406672-1 is not prime. Res64: C22EFFDF18E0B550 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:26:15] 609*2^1406673-1 is not prime. Res64: E037774C3C60E5D0 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:32:21] 745*2^1406673-1 is not prime. Res64: EA1B192B12F0E3CE Time : 0.0 sec. user=mdettweiler [2015-08-17 14:32:21] 765*2^1406673-1 is not prime. Res64: 6E25F47FA1F616DA Time : 0.0 sec. user=mdettweiler [2015-08-17 14:32:33] 787*2^1406673-1 is not prime. Res64: E3E08461BD6F09EA Time : 0.0 sec. user=mdettweiler [2015-08-17 14:32:34] 805*2^1406673-1 is not prime. Res64: 3B9453BBDB960BD4 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:43:17] 951*2^1406673-1 is not prime. Res64: E95DF1802518CB7A Time : 0.0 sec. user=mdettweiler [2015-08-17 14:43:17] 969*2^1406673-1 is not prime. Res64: 71E4E466103BD947 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:43:40] 605*2^1406674-1 is not prime. Res64: AD5AE5D7B24957C4 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:43:40] 663*2^1406674-1 is not prime. Res64: 963ACB0170263583 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:49:44] 677*2^1406674-1 is not prime. Res64: C8F004FD42C21903 Time : 0.0 sec. user=mdettweiler [2015-08-17 14:49:44] 681*2^1406674-1 is not prime. Res64: 91607991876290EF Time : 0.0 sec. user=mdettweiler [2015-08-17 14:49:58] 783*2^1406674-1 is not prime. Res64: BF6DEFBA5C4AD1BA Time : 0.0 sec. user=mdettweiler [2015-08-17 14:49:58] 785*2^1406674-1 is not prime. Res64: 174B96D6E2709770 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:00:43] 861*2^1406674-1 is not prime. Res64: 35C421DD8C8A4237 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:00:44] 975*2^1406674-1 is not prime. Res64: D519E47ED72F442F Time : 0.0 sec. user=mdettweiler [2015-08-17 15:01:07] 987*2^1406674-1 is not prime. Res64: E21A7B62252A9511 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:01:08] 645*2^1406675-1 is not prime. Res64: 711C9F31ED151E41 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:07:25] 799*2^1406675-1 is not prime. Res64: 7408B70462FEEE63 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:07:28] 693*2^1406675-1 is not prime. Res64: ABB62959E7DBFC10 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:07:30] 843*2^1406675-1 is not prime. Res64: 06266E5002CD89A4 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:07:35] 753*2^1406675-1 is not prime. Res64: 8BC2C457EA73046D Time : 0.0 sec. user=mdettweiler [2015-08-17 15:18:10] 921*2^1406675-1 is not prime. Res64: 64319D55E03E5508 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:18:10] 963*2^1406675-1 is not prime. Res64: DDD33AC6CEE62A00 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:18:40] 979*2^1406675-1 is not prime. Res64: 128CF9CF1F283B4D Time : 0.0 sec. user=mdettweiler [2015-08-17 15:18:40] 985*2^1406675-1 is not prime. Res64: 4F2BA66BD9E6D70A Time : 0.0 sec. user=mdettweiler [2015-08-17 15:25:52] 633*2^1406676-1 is not prime. Res64: E63E07B3832689D1 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:25:53] 669*2^1406676-1 is not prime. Res64: 1A8A7686FAA4F233 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:26:02] 675*2^1406676-1 is not prime. Res64: 4A6234C49B842BF5 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:26:03] 689*2^1406676-1 is not prime. Res64: DD00DF612E10104C Time : 0.0 sec. user=mdettweiler [2015-08-17 15:35:35] 719*2^1406676-1 is not prime. Res64: 2BE8FF75EB595D7A Time : 0.0 sec. user=mdettweiler [2015-08-17 15:35:35] 759*2^1406676-1 is not prime. Res64: 02F74B672BF0E048 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:36:08] 839*2^1406676-1 is not prime. Res64: 484BA44DDDB22EA5 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:36:09] 927*2^1406676-1 is not prime. Res64: AD6F5071F928FED3 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:43:36] 615*2^1406677-1 is not prime. Res64: 79C5159B909A02BA Time : 0.0 sec. user=mdettweiler [2015-08-17 15:43:36] 717*2^1406677-1 is not prime. Res64: 3D907AB04CCE4E3E Time : 0.0 sec. user=mdettweiler [2015-08-17 15:43:43] 747*2^1406677-1 is not prime. Res64: BFAA8C879AC8F015 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:43:43] 765*2^1406677-1 is not prime. Res64: 52678FDA3A055246 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:53:45] 937*2^1406677-1 is not prime. Res64: 2F774E8FD6B62A14 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:53:45] 985*2^1406677-1 is not prime. Res64: F08195E4C91F38F1 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:54:10] 657*2^1406678-1 is not prime. Res64: C0835B86E0E08365 Time : 0.0 sec. user=mdettweiler [2015-08-17 15:54:10] 663*2^1406678-1 is not prime. Res64: 65FA82F1D960CBC8 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:01:35] 693*2^1406678-1 is not prime. Res64: BCE5CB3116311827 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:01:36] 705*2^1406678-1 is not prime. Res64: 2BF1DFC61534A712 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:01:41] 825*2^1406678-1 is not prime. Res64: 16B068FB8F6BB2E8 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:01:41] 827*2^1406678-1 is not prime. Res64: C531074DB67145AA Time : 0.0 sec. user=mdettweiler [2015-08-17 16:11:30] 1001*2^1406678-1 is not prime. Res64: 1E04E7842EBC515D Time : 0.0 sec. user=mdettweiler [2015-08-17 16:11:31] 601*2^1406679-1 is not prime. Res64: 6A69797D7981BDC2 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:12:01] 663*2^1406679-1 is not prime. Res64: 5C4F727286EA12E2 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:12:01] 679*2^1406679-1 is not prime. Res64: 626FB25688D0A644 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:19:17] 865*2^1406679-1 is not prime. Res64: 1756D3AD21E586A2 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:19:17] 873*2^1406679-1 is not prime. Res64: FAE0932C648085DB Time : 0.0 sec. user=mdettweiler [2015-08-17 16:19:20] 975*2^1406679-1 is not prime. Res64: 438F0C7223CCEEF8 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:19:20] 663*2^1406680-1 is not prime. Res64: BB780D3EFC38E827 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:29:04] 689*2^1406680-1 is not prime. Res64: C460DDDF239A79EA Time : 0.0 sec. user=mdettweiler [2015-08-17 16:29:05] 803*2^1406680-1 is not prime. Res64: 0799309F72F9881E Time : 0.0 sec. user=mdettweiler [2015-08-17 16:29:35] 845*2^1406680-1 is not prime. Res64: 695C4EF4FBD5DE2D Time : 0.0 sec. user=mdettweiler [2015-08-17 16:29:35] 645*2^1406681-1 is not prime. Res64: 2C5307843C6944B9 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:36:54] 657*2^1406681-1 is not prime. Res64: 318502DA597EFE17 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:36:54] 967*2^1406681-1 is not prime. Res64: 976DD85284864C07 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:36:57] 635*2^1406682-1 is not prime. Res64: FB937A16838A6E78 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:36:58] 657*2^1406682-1 is not prime. Res64: 13A8945BF9A1B44B Time : 0.0 sec. user=mdettweiler [2015-08-17 16:46:43] 755*2^1406682-1 is not prime. Res64: 1159630C8C3A74CC Time : 0.0 sec. user=mdettweiler [2015-08-17 16:46:43] 917*2^1406682-1 is not prime. Res64: 068F94D9471464C5 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:47:12] 921*2^1406682-1 is not prime. Res64: 75859A01F2E3F6B2 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:47:13] 983*2^1406682-1 is not prime. Res64: 07AA2F2BF28CC99D Time : 0.0 sec. user=mdettweiler [2015-08-17 16:54:40] 723*2^1406683-1 is not prime. Res64: 6EB67581D3CDACB3 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:54:40] 819*2^1406683-1 is not prime. Res64: F0F4BB5D042B7240 Time : 0.0 sec. user=mdettweiler [2015-08-17 16:54:43] 885*2^1406683-1 is not prime. Res64: 2DB59490A2E7EFBF Time : 0.0 sec. user=mdettweiler [2015-08-17 16:54:44] 925*2^1406683-1 is not prime. Res64: 3636FA36117D206F Time : 0.0 sec. user=mdettweiler [2015-08-17 17:04:34] 623*2^1406684-1 is not prime. Res64: 598AC6F6B235674E Time : 0.0 sec. user=mdettweiler [2015-08-17 17:04:36] 717*2^1406684-1 is not prime. Res64: CDDC4BDFD792AB18 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:04:55] 773*2^1406684-1 is not prime. Res64: 5181694C26177E5F Time : 0.0 sec. user=mdettweiler [2015-08-17 17:04:57] 825*2^1406684-1 is not prime. Res64: B3D00B6E674321C0 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:12:39] 855*2^1406684-1 is not prime. Res64: 5CF2675C7874C7C5 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:12:39] 857*2^1406684-1 is not prime. Res64: 97D05889B6EDBF0F Time : 0.0 sec. user=mdettweiler [2015-08-17 17:12:40] 903*2^1406684-1 is not prime. Res64: 91BBA9C1B3C1B3B8 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:12:41] 927*2^1406684-1 is not prime. Res64: D024F587381D6C9A Time : 0.0 sec. user=mdettweiler [2015-08-17 17:23:09] 945*2^1406684-1 is not prime. Res64: 421ADA88E039C553 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:23:09] 727*2^1406685-1 is not prime. Res64: 5EB76D6A275B1A23 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:23:10] 789*2^1406685-1 is not prime. Res64: 0174D9CB3240DBA5 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:23:11] 825*2^1406685-1 is not prime. Res64: E5E4C8A237762F79 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:30:53] 635*2^1406686-1 is not prime. Res64: 66E7D622E1D6E3F9 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:30:53] 645*2^1406686-1 is not prime. Res64: 4278CFE36B77B0E7 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:31:01] 895*2^1406685-1 is not prime. Res64: 373D8A3499545F40 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:31:01] 611*2^1406686-1 is not prime. Res64: C5EBC305BF853D84 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:41:45] 867*2^1406686-1 is not prime. Res64: 4E4E27D512C35DC6 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:41:45] 873*2^1406686-1 is not prime. Res64: C1DBA3C5E84F117E Time : 0.0 sec. user=mdettweiler [2015-08-17 17:42:08] 713*2^1406686-1 is not prime. Res64: 0F73AA37564B22D6 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:42:08] 857*2^1406686-1 is not prime. Res64: 2A7E0511A470333F Time : 0.0 sec. user=mdettweiler [2015-08-17 17:49:35] 669*2^1406687-1 is not prime. Res64: BF7AE075E94D1455 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:49:35] 705*2^1406687-1 is not prime. Res64: FB081C7046BEAA27 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:49:47] 887*2^1406686-1 is not prime. Res64: BAB7A5F50D9D5762 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:49:48] 619*2^1406687-1 is not prime. Res64: 21E578378EFEDD02 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:59:40] 841*2^1406687-1 is not prime. Res64: 00E142A780B22673 Time : 0.0 sec. user=mdettweiler [2015-08-17 17:59:41] 909*2^1406687-1 is not prime. Res64: B87A4F7829BAC2A4 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:00:12] 945*2^1406687-1 is not prime. Res64: 8CF3EA6FA1FF49B8 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:00:13] 999*2^1406687-1 is not prime. Res64: 368167CA26F52629 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:07:09] 639*2^1406688-1 is not prime. Res64: FAF8E3CA5A8C6711 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:07:10] 669*2^1406688-1 is not prime. Res64: 8E17F689310CAB13 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:07:24] 713*2^1406688-1 is not prime. Res64: B941F0C8389E1A28 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:07:24] 737*2^1406688-1 is not prime. Res64: 7151D9F0A68B4EAB Time : 0.0 sec. user=S_K_ [2015-08-17 18:12:48] 951*2^1406658-1 is not prime. Res64: 5FEB1EC5FF8D0848 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:17:14] 789*2^1406688-1 is not prime. Res64: 5B2D6BAEEAB051CC Time : 0.0 sec. user=mdettweiler [2015-08-17 18:17:14] 797*2^1406688-1 is not prime. Res64: 1331696E4CCB0678 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:17:46] 845*2^1406688-1 is not prime. Res64: 69E820D906906BC2 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:17:47] 745*2^1406689-1 is not prime. Res64: 3CC7D3FF707DB46C Time : 0.0 sec. user=mdettweiler [2015-08-17 18:24:46] 789*2^1406689-1 is not prime. Res64: 88AB2677DA1BE74B Time : 0.0 sec. user=mdettweiler [2015-08-17 18:24:46] 801*2^1406689-1 is not prime. Res64: C9062F4E2D3FEE9A Time : 0.0 sec. user=mdettweiler [2015-08-17 18:25:04] 831*2^1406689-1 is not prime. Res64: 9F3727B571D66770 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:25:05] 841*2^1406689-1 is not prime. Res64: A35DBDF2B917D4CE Time : 0.0 sec. user=mdettweiler [2015-08-17 18:34:50] 885*2^1406689-1 is not prime. Res64: 8010D2B298C65F30 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:34:51] 633*2^1406690-1 is not prime. Res64: 868493ABA8F5F555 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:35:16] 677*2^1406690-1 is not prime. Res64: 30C127479CEA89C2 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:35:16] 619*2^1406691-1 is not prime. Res64: 071D6761843359F5 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:42:16] 685*2^1406691-1 is not prime. Res64: 40074B1CBE71ABBD Time : 0.0 sec. user=mdettweiler [2015-08-17 18:42:16] 795*2^1406691-1 is not prime. Res64: 026D1E7E6E23151C Time : 0.0 sec. user=mdettweiler [2015-08-17 18:42:34] 895*2^1406691-1 is not prime. Res64: BBA2EF5885AAE191 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:42:35] 951*2^1406691-1 is not prime. Res64: 421E3D04DD87E648 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:52:37] 955*2^1406691-1 is not prime. Res64: A1930BD8C16544A9 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:52:38] 975*2^1406691-1 is not prime. Res64: E965799FF0BF4268 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:53:05] 699*2^1406692-1 is not prime. Res64: 13137555DFFF719B Time : 0.0 sec. user=mdettweiler [2015-08-17 18:53:05] 749*2^1406692-1 is not prime. Res64: 3FB039E5BAC40412 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:59:57] 819*2^1406692-1 is not prime. Res64: 18B215CEC8653F06 Time : 0.0 sec. user=mdettweiler [2015-08-17 18:59:57] 825*2^1406692-1 is not prime. Res64: C0B1D903E7B78535 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:00:14] 897*2^1406692-1 is not prime. Res64: 1F1FA0C4EB6A5711 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:00:15] 899*2^1406692-1 is not prime. Res64: BB5A8966D5F437E8 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:10:10] 995*2^1406692-1 is not prime. Res64: AC59C89FDF012B5B Time : 0.0 sec. user=mdettweiler [2015-08-17 19:10:11] 619*2^1406693-1 is not prime. Res64: 800AC994BFBE4895 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:10:43] 657*2^1406693-1 is not prime. Res64: 55959AB233C3A05F Time : 0.0 sec. user=mdettweiler [2015-08-17 19:10:44] 771*2^1406693-1 is not prime. Res64: 1DCF4C1B71A88F19 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:17:34] 795*2^1406693-1 is not prime. Res64: B4E4B0F645F115E1 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:17:35] 867*2^1406693-1 is not prime. Res64: 15B3F4BF2EF3DF96 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:17:44] 621*2^1406694-1 is not prime. Res64: FC78894DC64F6908 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:17:44] 825*2^1406694-1 is not prime. Res64: 21C9EE415A188963 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:27:42] 983*2^1406694-1 is not prime. Res64: 36ECFFEB1F1B08AD Time : 0.0 sec. user=mdettweiler [2015-08-17 19:27:42] 1001*2^1406694-1 is not prime. Res64: EBC6CEF7A6BEB2CE Time : 0.0 sec. user=mdettweiler [2015-08-17 19:28:09] 673*2^1406695-1 is not prime. Res64: EE682C19AF17616C Time : 0.0 sec. user=mdettweiler [2015-08-17 19:28:09] 675*2^1406695-1 is not prime. Res64: EC44A7A49298160C Time : 0.0 sec. user=mdettweiler [2015-08-17 19:35:04] 723*2^1406695-1 is not prime. Res64: 26686AE5C65409C2 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:35:04] 819*2^1406695-1 is not prime. Res64: D7748E8C91E21516 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:35:14] 855*2^1406695-1 is not prime. Res64: 0F74F111B10AA782 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:35:14] 889*2^1406695-1 is not prime. Res64: B32B640AF4B50234 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:45:10] 909*2^1406695-1 is not prime. Res64: 6E98DABC3CB4ED41 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:45:10] 609*2^1406696-1 is not prime. Res64: E313BD01504EC56C Time : 0.0 sec. user=mdettweiler [2015-08-17 19:45:42] 623*2^1406696-1 is not prime. Res64: 6D843267D5C6F5FD Time : 0.0 sec. user=mdettweiler [2015-08-17 19:45:42] 699*2^1406696-1 is not prime. Res64: 50B5E113ACA9F09C Time : 0.0 sec. user=mdettweiler [2015-08-17 19:52:43] 855*2^1406696-1 is not prime. Res64: 06B5E1B80D0BB10E Time : 0.0 sec. user=mdettweiler [2015-08-17 19:52:43] 649*2^1406697-1 is not prime. Res64: F74050332D5E34E8 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:52:47] 717*2^1406696-1 is not prime. Res64: 16504EEAEA229627 Time : 0.0 sec. user=mdettweiler [2015-08-17 19:52:48] 735*2^1406696-1 is not prime. Res64: 9EA12003355A7196 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:02:45] 691*2^1406697-1 is not prime. Res64: ACA5999DAEF2A8EA Time : 0.0 sec. user=mdettweiler [2015-08-17 20:02:46] 717*2^1406697-1 is not prime. Res64: A4FE3EA332962A39 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:03:13] 747*2^1406697-1 is not prime. Res64: 7CB5496E81E6AD21 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:03:14] 765*2^1406697-1 is not prime. Res64: 32833A556D9F139F Time : 0.0 sec. user=mdettweiler [2015-08-17 20:10:13] 885*2^1406697-1 is not prime. Res64: C6900A75CE644DE8 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:10:14] 949*2^1406697-1 is not prime. Res64: 9F0D73DBDC12B6D1 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:10:17] 677*2^1406698-1 is not prime. Res64: 586591BD06FB109E Time : 0.0 sec. user=mdettweiler [2015-08-17 20:10:17] 713*2^1406698-1 is not prime. Res64: 859911DF6CA06421 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:20:29] 723*2^1406698-1 is not prime. Res64: 4EE85754C3E16CA9 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:20:29] 765*2^1406698-1 is not prime. Res64: 03883D1BB359A70C Time : 0.0 sec. user=mdettweiler [2015-08-17 20:20:40] 845*2^1406698-1 is not prime. Res64: 0CF7BD940435FED5 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:20:40] 881*2^1406698-1 is not prime. Res64: 44A068FE8EC03F7B Time : 0.0 sec. user=mdettweiler [2015-08-17 20:27:41] 951*2^1406698-1 is not prime. Res64: 0EDC74DE18522E79 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:27:42] 621*2^1406699-1 is not prime. Res64: C37C7886771F996F Time : 0.0 sec. user=mdettweiler [2015-08-17 20:27:55] 693*2^1406699-1 is not prime. Res64: 1F8D72E4F6414E1F Time : 0.0 sec. user=mdettweiler [2015-08-17 20:27:56] 745*2^1406699-1 is not prime. Res64: 131129650CBF6FDF Time : 0.0 sec. user=mdettweiler [2015-08-17 20:38:00] 825*2^1406699-1 is not prime. Res64: 41250B01D08FCAC3 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:38:01] 861*2^1406699-1 is not prime. Res64: FA9054CC9FE4CF8F Time : 0.0 sec. user=mdettweiler [2015-08-17 20:38:11] 883*2^1406699-1 is not prime. Res64: 55B4B46332B22D50 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:38:11] 943*2^1406699-1 is not prime. Res64: 408B9A16060C63F2 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:45:07] 695*2^1406700-1 is not prime. Res64: F89692A611554FB9 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:45:08] 959*2^1406700-1 is not prime. Res64: 1D766A04F2A41724 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:45:25] 747*2^1406701-1 is not prime. Res64: 64F2A950074A4B59 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:45:26] 769*2^1406701-1 is not prime. Res64: D972FF6611B5D8A5 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:55:35] 829*2^1406701-1 is not prime. Res64: 1C5B8F3870302206 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:55:35] 889*2^1406701-1 is not prime. Res64: F6D25A6D110FAC42 Time : 0.0 sec. user=mdettweiler [2015-08-17 20:55:50] 957*2^1406701-1 is not prime. Res64: 0FE5BC790EB3340C Time : 0.0 sec. user=mdettweiler [2015-08-17 20:55:50] 987*2^1406701-1 is not prime. Res64: 181ED76ECB3A1687 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:02:42] 603*2^1406702-1 is not prime. Res64: 6CCF870B22FCDD91 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:02:44] 683*2^1406702-1 is not prime. Res64: EBA1BF6573BB6A59 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:02:58] 843*2^1406702-1 is not prime. Res64: 13E9A66821C40751 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:02:59] 885*2^1406702-1 is not prime. Res64: 2B01982B4AB16839 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:13:04] 893*2^1406702-1 is not prime. Res64: BAE4E39487EA282B Time : 0.0 sec. user=mdettweiler [2015-08-17 21:13:05] 613*2^1406703-1 is not prime. Res64: C5935B0A4387C2C1 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:13:22] 685*2^1406703-1 is not prime. Res64: AC2A745A2ECD21F7 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:13:22] 963*2^1406703-1 is not prime. Res64: D8868E3669A1D218 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:20:26] 773*2^1406704-1 is not prime. Res64: 0626F917C79FFFB7 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:20:26] 863*2^1406704-1 is not prime. Res64: 3FB24B39C1823DE3 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:20:30] 905*2^1406704-1 is not prime. Res64: 6F8CF9FB8F821730 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:20:31] 657*2^1406705-1 is not prime. Res64: 3BCC9C9D77DB07FB Time : 0.0 sec. user=mdettweiler [2015-08-17 21:30:37] 697*2^1406705-1 is not prime. Res64: 3582CCEC7447C36B Time : 0.0 sec. user=mdettweiler [2015-08-17 21:30:38] 711*2^1406705-1 is not prime. Res64: 32B30297841DEDD0 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:30:58] 867*2^1406705-1 is not prime. Res64: CCAB2FB79155962E Time : 0.0 sec. user=mdettweiler [2015-08-17 21:30:58] 937*2^1406705-1 is not prime. Res64: EDDDE364B30F636A Time : 0.0 sec. user=mdettweiler [2015-08-17 21:38:05] 987*2^1406705-1 is not prime. Res64: FF28FDD2D3E6346F Time : 0.0 sec. user=mdettweiler [2015-08-17 21:38:05] 653*2^1406706-1 is not prime. Res64: D8553E16F54F0FC0 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:38:06] 705*2^1406706-1 is not prime. Res64: 401E1B1A59AAA95F Time : 0.0 sec. user=mdettweiler [2015-08-17 21:38:06] 717*2^1406706-1 is not prime. Res64: 2190F1E59B26A9F4 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:48:09] 741*2^1406706-1 is not prime. Res64: 6281BB366EDF4EFF Time : 0.0 sec. user=mdettweiler [2015-08-17 21:48:09] 767*2^1406706-1 is not prime. Res64: 5420B0030FFBA6D4 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:48:31] 783*2^1406706-1 is not prime. Res64: 1F376796095EF499 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:48:32] 843*2^1406706-1 is not prime. Res64: 665BCBAD5D860133 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:55:36] 673*2^1406707-1 is not prime. Res64: FAAD6A3C24E1E29E Time : 0.0 sec. user=mdettweiler [2015-08-17 21:55:37] 805*2^1406707-1 is not prime. Res64: FC580E621EE38711 Time : 0.0 sec. user=mdettweiler [2015-08-17 21:55:37] 835*2^1406707-1 is not prime. Res64: E092E1A6773271AF Time : 0.0 sec. user=mdettweiler [2015-08-17 21:55:38] 861*2^1406707-1 is not prime. Res64: D6D694D520394E3B Time : 0.0 sec. user=mdettweiler [2015-08-17 22:05:55] 873*2^1406707-1 is not prime. Res64: 8E23486AAB6469EC Time : 0.0 sec. user=mdettweiler [2015-08-17 22:05:56] 939*2^1406707-1 is not prime. Res64: D0A5448D1E0970BC Time : 0.0 sec. user=mdettweiler [2015-08-17 22:06:03] 973*2^1406707-1 is not prime. Res64: 4F985CBF32C97EE5 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:06:05] 707*2^1406708-1 is not prime. Res64: 0C57388DCE275D8B Time : 0.0 sec. user=mdettweiler [2015-08-17 22:13:07] 915*2^1406708-1 is not prime. Res64: 8B6A44455117CBD5 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:13:07] 977*2^1406708-1 is not prime. Res64: 3988C100ABE932F3 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:13:16] 987*2^1406708-1 is not prime. Res64: D24C4A342447B033 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:13:16] 657*2^1406709-1 is not prime. Res64: 2D4D097DE6333608 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:24:06] 769*2^1406709-1 is not prime. Res64: E1EE948ECBE1C47B Time : 0.0 sec. user=mdettweiler [2015-08-17 22:24:07] 781*2^1406709-1 is not prime. Res64: 31A8849153A73688 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:24:11] 635*2^1406710-1 is not prime. Res64: 6D55EEC88B356E29 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:24:11] 663*2^1406710-1 is not prime. Res64: E8E48791836F16B0 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:30:46] 777*2^1406710-1 is not prime. Res64: DF3D4F774AB08411 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:30:46] 885*2^1406710-1 is not prime. Res64: 8248763DB5D0B446 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:30:46] 971*2^1406710-1 is not prime. Res64: 859ECBB8C71B4CA1 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:30:47] 645*2^1406711-1 is not prime. Res64: 19AFF0C220F98C30 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:41:52] 651*2^1406711-1 is not prime. Res64: C930E91732F341A2 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:41:52] 669*2^1406711-1 is not prime. Res64: 6146762BEE2BAD45 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:41:58] 745*2^1406711-1 is not prime. Res64: A67E3ED4901B59BE Time : 0.0 sec. user=mdettweiler [2015-08-17 22:41:58] 921*2^1406711-1 is not prime. Res64: D0CB172A92FEFC52 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:49:08] 849*2^1406712-1 is not prime. Res64: 046439F023260476 Time : 0.0 sec. user=mdettweiler [2015-08-17 22:49:08] 657*2^1406712-1 is not prime. Res64: 11A8E2D1EF88055E Time : 0.0 sec. user=mdettweiler [2015-08-17 22:49:08] 857*2^1406712-1 is not prime. Res64: 5FF4BFE87BAE1F6E Time : 0.0 sec. user=mdettweiler [2015-08-17 22:49:08] 737*2^1406712-1 is not prime. Res64: 1AE66C76EAAC0732 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:00:15] 875*2^1406712-1 is not prime. Res64: D43A695A9C15068C Time : 0.0 sec. user=mdettweiler [2015-08-17 23:00:16] 959*2^1406712-1 is not prime. Res64: 29AF5D9C13CAE37A Time : 0.0 sec. user=mdettweiler [2015-08-17 23:00:40] 619*2^1406713-1 is not prime. Res64: FC3468473901C87C Time : 0.0 sec. user=mdettweiler [2015-08-17 23:00:41] 675*2^1406713-1 is not prime. Res64: FDD9A39582E50F05 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:07:17] 867*2^1406713-1 is not prime. Res64: C7508040A111736C Time : 0.0 sec. user=mdettweiler [2015-08-17 23:07:17] 877*2^1406713-1 is not prime. Res64: BEDE8E7D778047DF Time : 0.0 sec. user=mdettweiler [2015-08-17 23:07:32] 685*2^1406713-1 is not prime. Res64: C16AB966C26CE2A6 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:07:33] 729*2^1406713-1 is not prime. Res64: C350F865C9A93ED7 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:18:02] 915*2^1406713-1 is not prime. Res64: 3F9392C8C9B427A1 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:18:02] 617*2^1406714-1 is not prime. Res64: BD173B77AC3E43C9 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:18:41] 635*2^1406714-1 is not prime. Res64: 4A19CB1B428EBECA Time : 0.0 sec. user=mdettweiler [2015-08-17 23:18:41] 707*2^1406714-1 is not prime. Res64: B6FB769CFBDC7C1F Time : 0.0 sec. user=mdettweiler [2015-08-17 23:24:48] 711*2^1406714-1 is not prime. Res64: C7BD278BA73B1C5B Time : 0.0 sec. user=mdettweiler [2015-08-17 23:24:49] 785*2^1406714-1 is not prime. Res64: 088107B1D8933438 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:25:04] 825*2^1406714-1 is not prime. Res64: C10F391D0CA2F9BA Time : 0.0 sec. user=mdettweiler [2015-08-17 23:25:05] 625*2^1406715-1 is not prime. Res64: B878C4916E0128D3 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:35:31] 793*2^1406715-1 is not prime. Res64: 21BC639C3A052BF1 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:35:31] 639*2^1406716-1 is not prime. Res64: F75F62C8C6601F02 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:36:13] 677*2^1406716-1 is not prime. Res64: FF253D6AA7DB69E2 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:36:13] 749*2^1406716-1 is not prime. Res64: 7BCA5DA3035D524B Time : 0.0 sec. user=mdettweiler [2015-08-17 23:42:25] 755*2^1406716-1 is not prime. Res64: F4F087A8A417592E Time : 0.0 sec. user=mdettweiler [2015-08-17 23:42:25] 869*2^1406716-1 is not prime. Res64: 32A2357619BEDD57 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:42:38] 873*2^1406716-1 is not prime. Res64: 768B9BD180624476 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:42:38] 875*2^1406716-1 is not prime. Res64: A2E604B536E716F1 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:53:15] 975*2^1406716-1 is not prime. Res64: 138AE78F86E69190 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:53:15] 987*2^1406716-1 is not prime. Res64: C820999864EA6B3F Time : 0.0 sec. user=mdettweiler [2015-08-17 23:53:46] 711*2^1406717-1 is not prime. Res64: 847457C8707EEC86 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:53:47] 777*2^1406717-1 is not prime. Res64: E36889DA97CC7800 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:59:56] 915*2^1406717-1 is not prime. Res64: 701672641991C5C9 Time : 0.0 sec. user=mdettweiler [2015-08-17 23:59:57] 945*2^1406717-1 is not prime. Res64: 32E79282E8BB958B Time : 0.0 sec. user=mdettweiler [2015-08-18 00:00:12] 605*2^1406718-1 is not prime. Res64: D078C1781F59727D Time : 0.0 sec. user=mdettweiler [2015-08-18 00:00:12] 611*2^1406718-1 is not prime. Res64: FB2D332CCCCF4CC0 Time : 0.0 sec.