user=mdettweiler [2015-09-03 00:05:24] 785*2^1408226-1 is not prime. Res64: 0E28C4EB487B289B Time : 0.0 sec. user=mdettweiler [2015-09-03 00:05:26] 861*2^1408226-1 is not prime. Res64: 9CC7F934B6DCAFEF Time : 0.0 sec. user=mdettweiler [2015-09-03 00:06:35] 873*2^1408226-1 is not prime. Res64: 1106A777BAF4E5D8 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:06:36] 993*2^1408226-1 is not prime. Res64: 9B54EFE4A2D9ED84 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:06:43] 1001*2^1408226-1 is not prime. Res64: C5ECCBE83198466D Time : 0.0 sec. user=mdettweiler [2015-09-03 00:06:44] 609*2^1408227-1 is not prime. Res64: 7089ED468F88C677 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:07:34] 619*2^1408227-1 is not prime. Res64: E1B80E1007021D22 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:07:35] 649*2^1408227-1 is not prime. Res64: 29CBB087BA219FAE Time : 0.0 sec. user=mdettweiler [2015-09-03 00:24:53] 751*2^1408227-1 is not prime. Res64: C884A8FEE8CA9698 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:24:53] 795*2^1408227-1 is not prime. Res64: 9AB21C970CEA06B1 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:25:42] 819*2^1408227-1 is not prime. Res64: EF5F74501F2846CA Time : 0.0 sec. user=mdettweiler [2015-09-03 00:25:43] 859*2^1408227-1 is not prime. Res64: 583965D35D6B51B1 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:26:00] 903*2^1408227-1 is not prime. Res64: D3A9FC4166793BA8 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:26:01] 979*2^1408227-1 is not prime. Res64: 90EE28C5B6D455D1 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:26:53] 819*2^1408228-1 is not prime. Res64: 97E41440EBF08A5F Time : 0.0 sec. user=mdettweiler [2015-09-03 00:26:53] 843*2^1408228-1 is not prime. Res64: 8E546721CAFF4977 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:43:28] 989*2^1408228-1 is not prime. Res64: 3D8F5F6928FCB353 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:43:29] 999*2^1408228-1 is not prime. Res64: 9443389D55BDD914 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:44:22] 615*2^1408229-1 is not prime. Res64: BFE279C0CA340064 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:44:23] 619*2^1408229-1 is not prime. Res64: 8BB1F461651044A6 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:44:23] 655*2^1408229-1 is not prime. Res64: ED17ECFA2AECBA1B Time : 0.0 sec. user=mdettweiler [2015-09-03 00:44:24] 861*2^1408229-1 is not prime. Res64: 7BA4FACC35FE69B0 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:45:39] 879*2^1408229-1 is not prime. Res64: 34AABE8E9F2D0157 Time : 0.0 sec. user=mdettweiler [2015-09-03 00:45:40] 987*2^1408229-1 is not prime. Res64: 763CA6C5E9A3AB7E Time : 0.0 sec. user=mdettweiler [2015-09-03 01:02:47] 677*2^1408230-1 is not prime. Res64: 4170774270719831 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:02:48] 711*2^1408230-1 is not prime. Res64: 9D4DDAA6FAF3920C Time : 0.0 sec. user=mdettweiler [2015-09-03 01:03:28] 717*2^1408230-1 is not prime. Res64: 8F7C97F6EBC26401 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:03:28] 923*2^1408230-1 is not prime. Res64: 994FF1CE64215143 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:03:37] 601*2^1408231-1 is not prime. Res64: 99E1423E39A618C2 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:03:37] 619*2^1408231-1 is not prime. Res64: FFF9547A6C7BCB36 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:04:53] 651*2^1408231-1 is not prime. Res64: D0A3B9948EDF5853 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:04:54] 661*2^1408231-1 is not prime. Res64: 65F547DE93929C1B Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:06] 741*2^1408231-1 is not prime. Res64: 25080E132D273D40 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:07] 861*2^1408231-1 is not prime. Res64: 1D028404FF0F1E4C Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:12] 973*2^1408231-1 is not prime. Res64: 241CA4A39585C783 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:12] 975*2^1408231-1 is not prime. Res64: 0F93B458D5EB00C3 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:23] 999*2^1408231-1 is not prime. Res64: 082AEF83484F186A Time : 0.0 sec. user=mdettweiler [2015-09-03 01:22:24] 609*2^1408232-1 is not prime. Res64: D17005595C98C572 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:23:39] 617*2^1408232-1 is not prime. Res64: B5FF640A964B1218 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:23:39] 753*2^1408232-1 is not prime. Res64: CFCB95B9485E56E6 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:40:58] 833*2^1408232-1 is not prime. Res64: 3829714232781DEE Time : 0.0 sec. user=mdettweiler [2015-09-03 01:40:58] 843*2^1408232-1 is not prime. Res64: BF7E8C421F11A92A Time : 0.0 sec. user=mdettweiler [2015-09-03 01:41:02] 797*2^1408232-1 is not prime. Res64: EE5C830475DAF7F2 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:41:03] 827*2^1408232-1 is not prime. Res64: D96772044AC74FDE Time : 0.0 sec. user=mdettweiler [2015-09-03 01:41:22] 875*2^1408232-1 is not prime. Res64: D39949961BA5636F Time : 0.0 sec. user=mdettweiler [2015-09-03 01:41:22] 903*2^1408232-1 is not prime. Res64: 86B0F28EB4475DDD Time : 0.0 sec. user=mdettweiler [2015-09-03 01:42:56] 609*2^1408233-1 is not prime. Res64: A13F222420549412 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:42:56] 681*2^1408233-1 is not prime. Res64: B96E4404C2074453 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:59:57] 691*2^1408233-1 is not prime. Res64: A815C93578405057 Time : 0.0 sec. user=mdettweiler [2015-09-03 01:59:58] 739*2^1408233-1 is not prime. Res64: AA540AC758537917 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:00:05] 955*2^1408233-1 is not prime. Res64: 0CD436CAE2F7FB91 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:00:05] 665*2^1408234-1 is not prime. Res64: AFA74BCBD91CC4BF Time : 0.0 sec. user=mdettweiler [2015-09-03 02:00:18] 705*2^1408234-1 is not prime. Res64: 42F4C19AEC45229C Time : 0.0 sec. user=mdettweiler [2015-09-03 02:00:19] 791*2^1408234-1 is not prime. Res64: 8549C1C97B90F4C9 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:01:44] 905*2^1408234-1 is not prime. Res64: AA0A95C989BAC7EB Time : 0.0 sec. user=mdettweiler [2015-09-03 02:01:45] 669*2^1408235-1 is not prime. Res64: C78A8A3A412DBF83 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:37] 705*2^1408235-1 is not prime. Res64: 9CBD42DB478371E0 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:38] 741*2^1408235-1 is not prime. Res64: 428AF79EC22ADCA1 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:39] 805*2^1408235-1 is not prime. Res64: 1E427D2FF869DCE6 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:40] 725*2^1408236-1 is not prime. Res64: E97EEF22BAF1E454 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:56] 765*2^1408236-1 is not prime. Res64: 3AC266F35A9ABDE8 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:17:56] 789*2^1408236-1 is not prime. Res64: A416167953554A13 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:19:25] 875*2^1408236-1 is not prime. Res64: 0AAF12E1599A41DC Time : 0.0 sec. user=mdettweiler [2015-09-03 02:19:26] 879*2^1408236-1 is not prime. Res64: 322FC93822361DBC Time : 0.0 sec. user=mdettweiler [2015-09-03 02:35:35] 909*2^1408236-1 is not prime. Res64: C18DEAAC0AED74F7 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:35:36] 969*2^1408236-1 is not prime. Res64: 5A2344F371887FD7 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:36:24] 615*2^1408237-1 is not prime. Res64: 56269163DA099D72 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:36:24] 741*2^1408237-1 is not prime. Res64: 2A1CE93C3C405C78 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:36:25] 747*2^1408237-1 is not prime. Res64: C6B533D5F8780896 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:36:27] 799*2^1408237-1 is not prime. Res64: 705D11024E6831E3 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:37:33] 829*2^1408237-1 is not prime. Res64: 85CEC471EFBBA9BD Time : 0.0 sec. user=mdettweiler [2015-09-03 02:37:34] 861*2^1408237-1 is not prime. Res64: F238E8AFC9F5CC1D Time : 0.0 sec. user=mdettweiler [2015-09-03 02:53:32] 867*2^1408237-1 is not prime. Res64: C1F28356C3823B86 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:53:33] 885*2^1408237-1 is not prime. Res64: 6896857EC503AD52 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:54:14] 955*2^1408237-1 is not prime. Res64: 8D50B186B347FA4F Time : 0.0 sec. user=mdettweiler [2015-09-03 02:54:15] 997*2^1408237-1 is not prime. Res64: 4DB031AF536F0997 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:54:15] 797*2^1408238-1 is not prime. Res64: B9BF0297B8E9DE45 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:54:15] 893*2^1408238-1 is not prime. Res64: 681374DB446DAB31 Time : 0.0 sec. user=mdettweiler [2015-09-03 02:55:11] 703*2^1408239-1 is not prime. Res64: 4F5948A95399A03A Time : 0.0 sec. user=mdettweiler [2015-09-03 02:55:12] 741*2^1408239-1 is not prime. Res64: F841F42F64D4353D Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:19] 843*2^1408239-1 is not prime. Res64: 2A696843C0370612 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:20] 865*2^1408239-1 is not prime. Res64: 63A1E8E9B99C5702 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:53] 975*2^1408239-1 is not prime. Res64: 35CDD4FE6E014FEC Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:53] 635*2^1408240-1 is not prime. Res64: 7F8DB434795AEA6E Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:58] 921*2^1408239-1 is not prime. Res64: CB7A73403259EEA6 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:11:58] 961*2^1408239-1 is not prime. Res64: E53B27F2C5E01D19 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:12:47] 713*2^1408240-1 is not prime. Res64: D192313852FFC6B7 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:12:48] 743*2^1408240-1 is not prime. Res64: 7CD794DAB6086F1F Time : 0.0 sec. user=mdettweiler [2015-09-03 03:29:52] 759*2^1408240-1 is not prime. Res64: 34F56A84E776D8E7 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:29:54] 825*2^1408240-1 is not prime. Res64: 161D1CE15CBA7504 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:30:23] 627*2^1408241-1 is not prime. Res64: 3CB6570697B3D04E Time : 0.0 sec. user=mdettweiler [2015-09-03 03:30:29] 657*2^1408241-1 is not prime. Res64: 1778737648F4642C Time : 0.0 sec. user=mdettweiler [2015-09-03 03:30:31] 989*2^1408240-1 is not prime. Res64: 49F0FED07ABA9AC8 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:30:32] 999*2^1408240-1 is not prime. Res64: 31BEC8942BC2726F Time : 0.0 sec. user=mdettweiler [2015-09-03 03:31:16] 675*2^1408241-1 is not prime. Res64: 9E86EA2A81BE724F Time : 0.0 sec. user=mdettweiler [2015-09-03 03:31:17] 705*2^1408241-1 is not prime. Res64: 75DB11F2736463DA Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:10] 711*2^1408241-1 is not prime. Res64: 412EDB1526FFD1A0 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:11] 799*2^1408241-1 is not prime. Res64: 96EF8C984DEEA1A9 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:26] 837*2^1408241-1 is not prime. Res64: AA90EFD2F2A5C31B Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:27] 871*2^1408241-1 is not prime. Res64: 61564FACD70804A4 Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:27] 889*2^1408241-1 is not prime. Res64: 62A0E9A54C9F7B8D Time : 0.0 sec. user=mdettweiler [2015-09-03 03:48:28] 937*2^1408241-1 is not prime. Res64: F4F364218198356E Time : 0.0 sec. user=mdettweiler [2015-09-03 03:49:13] 997*2^1408241-1 is not prime. Res64: EFAB4C4FD4697FAB Time : 0.0 sec. user=mdettweiler [2015-09-03 03:49:14] 683*2^1408242-1 is not prime. Res64: 6470F9F658E767F4 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:06] 711*2^1408242-1 is not prime. Res64: DFE5A266A91B26AE Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:07] 755*2^1408242-1 is not prime. Res64: 21CC0FA7DDBBEDD2 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:12] 615*2^1408243-1 is not prime. Res64: 79B19C85FB9A22A1 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:14] 675*2^1408243-1 is not prime. Res64: 38D2D631D22AEC18 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:16] 765*2^1408242-1 is not prime. Res64: FED938B8275DECA2 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:17] 777*2^1408242-1 is not prime. Res64: E7B8511A1FDCD98F Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:52] 751*2^1408243-1 is not prime. Res64: 18E68AF3272E67C2 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:06:52] 765*2^1408243-1 is not prime. Res64: 43C76E61C8521EC5 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:07] 859*2^1408243-1 is not prime. Res64: 32DFA4E134F79044 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:07] 871*2^1408243-1 is not prime. Res64: 0389813524B92AA2 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:07] 943*2^1408243-1 is not prime. Res64: 4557219D8E7EAE07 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:08] 961*2^1408243-1 is not prime. Res64: 615DFFD10A40856A Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:09] 985*2^1408243-1 is not prime. Res64: 0EFDCC228BAB6CFA Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:09] 689*2^1408244-1 is not prime. Res64: 3AD2B4C8DAE9CA81 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:26] 699*2^1408244-1 is not prime. Res64: 40FF6389526938F9 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:24:27] 785*2^1408244-1 is not prime. Res64: CE634FCC88FF0169 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:41:58] 861*2^1408245-1 is not prime. Res64: 681B9986EE014396 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:41:58] 961*2^1408245-1 is not prime. Res64: 55F19477E1E2FB9C Time : 0.0 sec. user=mdettweiler [2015-09-03 04:41:58] 795*2^1408245-1 is not prime. Res64: 1414B2833FCE0E08 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:41:59] 847*2^1408245-1 is not prime. Res64: 38008D79F3E0E903 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:42:02] 691*2^1408245-1 is not prime. Res64: FA841D3B6F7F7637 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:42:03] 777*2^1408245-1 is not prime. Res64: 7ED7083CA85884F3 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:42:18] 975*2^1408245-1 is not prime. Res64: E540F565812A972F Time : 0.0 sec. user=mdettweiler [2015-09-03 04:42:18] 997*2^1408245-1 is not prime. Res64: 2A3C7BF7427F832F Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:36] 635*2^1408246-1 is not prime. Res64: E6C1A727EFBD3E5B Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:36] 671*2^1408246-1 is not prime. Res64: 8229F756CAAEDEDF Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:43] 945*2^1408246-1 is not prime. Res64: 52C2E622CAC2480B Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:43] 971*2^1408246-1 is not prime. Res64: DC80A6ECBFD76204 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:43] 761*2^1408246-1 is not prime. Res64: AA98064D1D553913 Time : 0.0 sec. user=mdettweiler [2015-09-03 04:59:43] 911*2^1408246-1 is not prime. Res64: BCDF427F30A56284 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:00:07] 987*2^1408246-1 is not prime. Res64: 2312927EE575CDA7 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:00:08] 993*2^1408246-1 is not prime. Res64: 948931E651D74A5D Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:25] 603*2^1408247-1 is not prime. Res64: 0044332AB49657D5 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:25] 643*2^1408247-1 is not prime. Res64: F4F2EBBAC6C13960 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:33] 775*2^1408247-1 is not prime. Res64: 6BF7ED5DFBFC7BF0 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:33] 799*2^1408247-1 is not prime. Res64: 032E3A28AB28D2C9 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:39] 693*2^1408247-1 is not prime. Res64: 41E5247C5F39374F Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:39] 735*2^1408247-1 is not prime. Res64: 9F893E88CAE421DD Time : 0.0 sec. user=mdettweiler [2015-09-03 05:17:59] 861*2^1408247-1 is not prime. Res64: 34DC90A567BAA88C Time : 0.0 sec. user=mdettweiler [2015-09-03 05:18:00] 883*2^1408247-1 is not prime. Res64: 6B4F31EDCB60F0AE Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:00] 945*2^1408247-1 is not prime. Res64: 420E67EF27228A1C Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:01] 949*2^1408247-1 is not prime. Res64: F46A6A06D6BA0EA4 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:16] 981*2^1408247-1 is not prime. Res64: 2332A267D7C139C7 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:16] 707*2^1408248-1 is not prime. Res64: 4038D394C60BA0D8 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:19] 797*2^1408248-1 is not prime. Res64: BD1027CB13105DE0 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:19] 803*2^1408248-1 is not prime. Res64: F3D759E2A8BC5636 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:37] 909*2^1408248-1 is not prime. Res64: 46457DFB96D0C843 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:35:37] 977*2^1408248-1 is not prime. Res64: DB0434713F1BC181 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:52:40] 999*2^1408248-1 is not prime. Res64: DA674431DC290003 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:52:41] 661*2^1408249-1 is not prime. Res64: 4E70130450D9D05B Time : 0.0 sec. user=mdettweiler [2015-09-03 05:52:51] 687*2^1408249-1 is not prime. Res64: 99338793F8161EFB Time : 0.0 sec. user=mdettweiler [2015-09-03 05:52:51] 847*2^1408249-1 is not prime. Res64: DDACD1258ED90EE9 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:53:03] 877*2^1408249-1 is not prime. Res64: 3CF51474331ED7F2 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:53:03] 945*2^1408249-1 is not prime. Res64: A10394846CD2CF58 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:53:11] 967*2^1408249-1 is not prime. Res64: C0B11024831797E1 Time : 0.0 sec. user=mdettweiler [2015-09-03 05:53:11] 671*2^1408250-1 is not prime. Res64: 3D19EAA469B58740 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:25] 773*2^1408250-1 is not prime. Res64: 9026923BC16CA34B Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:26] 921*2^1408250-1 is not prime. Res64: A037A20967B7DA8B Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:28] 609*2^1408251-1 is not prime. Res64: 2085BD84862BF7EC Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:28] 675*2^1408251-1 is not prime. Res64: D4130C6BAA95DCD8 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:43] 775*2^1408251-1 is not prime. Res64: A01DA16D8921F595 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:43] 781*2^1408251-1 is not prime. Res64: 8AA077589A33144B Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:46] 783*2^1408251-1 is not prime. Res64: 3E4DF30481C2FB6F Time : 0.0 sec. user=mdettweiler [2015-09-03 06:10:46] 891*2^1408251-1 is not prime. Res64: CDD7AA837B6EBA10 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:07] 617*2^1408252-1 is not prime. Res64: 18D4924A45D1DEAC Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:08] 665*2^1408252-1 is not prime. Res64: 7627DC691F0F135D Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:09] 969*2^1408251-1 is not prime. Res64: 8B32589175EF2CBA Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:09] 605*2^1408252-1 is not prime. Res64: ED70B545EA302C7D Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:23] 819*2^1408252-1 is not prime. Res64: C377AEB0DE75993A Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:24] 843*2^1408252-1 is not prime. Res64: C2BF1B4177FC4EA7 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:27] 743*2^1408252-1 is not prime. Res64: 59B5FD04771DC8EF Time : 0.0 sec. user=mdettweiler [2015-09-03 06:28:28] 813*2^1408252-1 is not prime. Res64: C8B9B0AB4A0C65AE Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:45] 869*2^1408252-1 is not prime. Res64: AB29DF8E9E7AF1D5 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:45] 929*2^1408252-1 is not prime. Res64: FDF018651453D418 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:48] 811*2^1408253-1 is not prime. Res64: 8BF4B6B0A1F0000F Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:48] 847*2^1408253-1 is not prime. Res64: 279E189B4E5319D7 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:59] 867*2^1408253-1 is not prime. Res64: AF35D9E4C9F25980 Time : 0.0 sec. user=mdettweiler [2015-09-03 06:45:59] 925*2^1408253-1 is not prime. Res64: B137805361E1A56B Time : 0.0 sec. user=mdettweiler [2015-09-03 06:46:07] 707*2^1408254-1 is not prime. Res64: 4E07A2FDDD0DC88A Time : 0.0 sec. user=mdettweiler [2015-09-03 06:46:08] 755*2^1408254-1 is not prime. Res64: 4EB68AA4B364DC26 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:24] 783*2^1408254-1 is not prime. Res64: CED8E0D792A29267 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:26] 945*2^1408254-1 is not prime. Res64: 17502B8FDB2FA037 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:30] 947*2^1408254-1 is not prime. Res64: 730D006C70924FCE Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:32] 965*2^1408254-1 is not prime. Res64: A94DC418E43233D8 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:42] 819*2^1408255-1 is not prime. Res64: 872E01B1811ECCAA Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:42] 871*2^1408255-1 is not prime. Res64: 3B6CA2975ECBABF8 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:50] 891*2^1408255-1 is not prime. Res64: 8E180C3A74B7B30A Time : 0.0 sec. user=mdettweiler [2015-09-03 07:03:51] 915*2^1408255-1 is not prime. Res64: 85A6FD4697283472 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:32] 875*2^1408256-1 is not prime. Res64: 704ADCF7E6165126 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:32] 893*2^1408256-1 is not prime. Res64: BA0B3BAC7458D2ED Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:37] 925*2^1408255-1 is not prime. Res64: 6EF822A4C338984D Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:37] 933*2^1408255-1 is not prime. Res64: C749DB3C7CCB4801 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:40] 951*2^1408255-1 is not prime. Res64: AA73438B6E94CF3A Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:40] 803*2^1408256-1 is not prime. Res64: EFE399EC3B2B9E8F Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:46] 961*2^1408255-1 is not prime. Res64: 5566DE700C8518F4 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:21:47] 825*2^1408256-1 is not prime. Res64: 9C9B7EC63F6CD5D0 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:11] 625*2^1408257-1 is not prime. Res64: C7FBCD5B16D76273 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:11] 649*2^1408257-1 is not prime. Res64: 697E144334CA412D Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:18] 699*2^1408257-1 is not prime. Res64: 33F4D9EBB6C81C18 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:18] 781*2^1408257-1 is not prime. Res64: E2F97EA073E97331 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:23] 819*2^1408257-1 is not prime. Res64: 870ABA21E6EE29DA Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:23] 865*2^1408257-1 is not prime. Res64: 4F5D3A4660E0A099 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:24] 623*2^1408258-1 is not prime. Res64: 1332811F34F69832 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:39:24] 645*2^1408258-1 is not prime. Res64: C4BAA3AF0380350B Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:48] 677*2^1408258-1 is not prime. Res64: 9FF80189A76F2AFB Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:48] 705*2^1408258-1 is not prime. Res64: EA4A890EAD68123F Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:55] 755*2^1408258-1 is not prime. Res64: 7415689CA97605C4 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:56] 813*2^1408258-1 is not prime. Res64: B8375F5BED72D805 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:59] 741*2^1408259-1 is not prime. Res64: 7698F9BC905B9E80 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:59] 867*2^1408258-1 is not prime. Res64: FFBD30BC6BE80F44 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:59] 759*2^1408259-1 is not prime. Res64: 569B1D501B0DE603 Time : 0.0 sec. user=mdettweiler [2015-09-03 07:56:59] 643*2^1408259-1 is not prime. Res64: 7C6E6A67A8A68B23 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:33] 799*2^1408259-1 is not prime. Res64: 279D5761E410C862 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:33] 825*2^1408259-1 is not prime. Res64: C0D6AAEF3F882912 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:38] 829*2^1408259-1 is not prime. Res64: 96A9D3C2366ED06A Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:39] 623*2^1408260-1 is not prime. Res64: 3CBC690410D1C816 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:45] 783*2^1408260-1 is not prime. Res64: FF5C0C95841B9D94 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:45] 893*2^1408260-1 is not prime. Res64: 2F11BBF76DA45D2D Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:50] 707*2^1408260-1 is not prime. Res64: 812190306927E33B Time : 0.0 sec. user=mdettweiler [2015-09-03 08:14:50] 737*2^1408260-1 is not prime. Res64: C05B32D8EAA04745 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:15] 899*2^1408260-1 is not prime. Res64: 3F61C294304AE09B Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:16] 607*2^1408261-1 is not prime. Res64: D8111D0363B38144 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:21] 649*2^1408261-1 is not prime. Res64: 69C8ECE53CE1AB81 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:21] 727*2^1408261-1 is not prime. Res64: 8CF23E76DDF7AC1A Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:30] 741*2^1408261-1 is not prime. Res64: 48ED031A146989AB Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:31] 829*2^1408261-1 is not prime. Res64: E3BDA55168D25200 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:37] 603*2^1408262-1 is not prime. Res64: 80BD3C3EA3D5D46C Time : 0.0 sec. user=mdettweiler [2015-09-03 08:32:37] 677*2^1408262-1 is not prime. Res64: 482B564C70484BD1 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:49:54] 683*2^1408262-1 is not prime. Res64: 129AE0238442C3A3 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:49:54] 731*2^1408262-1 is not prime. Res64: 5A710FF8E3088F0E Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:05] 801*2^1408262-1 is not prime. Res64: 6DAAB815435CC342 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:05] 995*2^1408262-1 is not prime. Res64: EF530B5217E5B3F1 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:10] 643*2^1408263-1 is not prime. Res64: 67E9419C1D9C3393 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:10] 751*2^1408263-1 is not prime. Res64: 2EE62D6BB3F7F2C7 Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:23] 775*2^1408263-1 is not prime. Res64: 16A8C465CE936B1A Time : 0.0 sec. user=mdettweiler [2015-09-03 08:50:24] 819*2^1408263-1 is not prime. Res64: BE2884C6440303B5 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:07:39] 859*2^1408263-1 is not prime. Res64: 8B71C23D1B7725F9 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:07:40] 885*2^1408263-1 is not prime. Res64: 918300ADCAEB9B60 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:07:59] 919*2^1408263-1 is not prime. Res64: 7F98DA3C25922340 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:07:59] 765*2^1408264-1 is not prime. Res64: 20D76FAD1F696B0F Time : 0.0 sec. user=mdettweiler [2015-09-03 09:08:00] 939*2^1408264-1 is not prime. Res64: 2801E9ED6C7004EB Time : 0.0 sec. user=mdettweiler [2015-09-03 09:08:00] 975*2^1408264-1 is not prime. Res64: D306F91E2EA8BEF3 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:08:05] 993*2^1408264-1 is not prime. Res64: 77008B44085D497D Time : 0.0 sec. user=mdettweiler [2015-09-03 09:08:06] 601*2^1408265-1 is not prime. Res64: 354E1D2AAAA1C35E Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:26] 721*2^1408265-1 is not prime. Res64: 60A5F21235ABECCA Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:27] 795*2^1408265-1 is not prime. Res64: 59386DE68B15248C Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:43] 949*2^1408265-1 is not prime. Res64: AE12931FC6298B0A Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:44] 969*2^1408265-1 is not prime. Res64: 7C4C6784EE32492E Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:49] 893*2^1408266-1 is not prime. Res64: 619A2F6F24D9BDC7 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:50] 633*2^1408267-1 is not prime. Res64: AF00F49D2FBEC044 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:52] 747*2^1408266-1 is not prime. Res64: 54F4CD772910C16D Time : 0.0 sec. user=mdettweiler [2015-09-03 09:25:54] 867*2^1408266-1 is not prime. Res64: E33B0FB8A212F27B Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:14] 651*2^1408267-1 is not prime. Res64: 26594A118BBFB2EE Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:15] 685*2^1408267-1 is not prime. Res64: 5DB0AA063EB86F8D Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:27] 735*2^1408267-1 is not prime. Res64: CD101087158CA1ED Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:27] 755*2^1408268-1 is not prime. Res64: 38B7FF7DD4B92082 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:32] 867*2^1408268-1 is not prime. Res64: D596062DA81064EF Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:32] 923*2^1408268-1 is not prime. Res64: CEE5E9C9CF1A31C9 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:34] 843*2^1408268-1 is not prime. Res64: 6A33A72DFAF96074 Time : 0.0 sec. user=mdettweiler [2015-09-03 09:43:34] 855*2^1408268-1 is not prime. Res64: A9DECFA8C5379874 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:00:59] 927*2^1408268-1 is not prime. Res64: FA639A7679D18D14 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:00:59] 657*2^1408269-1 is not prime. Res64: 0E9B3951C2EFB54B Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:05] 835*2^1408269-1 is not prime. Res64: 069069A02CFBB06C Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:06] 891*2^1408269-1 is not prime. Res64: 6D508CD6B3C8BFDA Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:07] 669*2^1408269-1 is not prime. Res64: 4BE95383149A532A Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:08] 735*2^1408269-1 is not prime. Res64: 27E364C7DBF400F8 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:10] 605*2^1408270-1 is not prime. Res64: 844B401AD5B3DBBC Time : 0.0 sec. user=mdettweiler [2015-09-03 10:01:11] 723*2^1408270-1 is not prime. Res64: D3DF6CED1D4C7185 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:43] 743*2^1408270-1 is not prime. Res64: B300FA2971CE979E Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:44] 801*2^1408270-1 is not prime. Res64: 96BDCBB0E87CF42F Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:51] 619*2^1408271-1 is not prime. Res64: ABC53A16AC3716B6 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:52] 685*2^1408271-1 is not prime. Res64: 60DF654EC47A5759 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:52] 831*2^1408270-1 is not prime. Res64: 71CE1244055313F2 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:52] 885*2^1408270-1 is not prime. Res64: 9F0D354FF348F89A Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:52] 863*2^1408270-1 is not prime. Res64: 83AF3DF25B3A353B Time : 0.0 sec. user=mdettweiler [2015-09-03 10:18:53] 923*2^1408270-1 is not prime. Res64: 69370859CB42EE0A Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:29] 735*2^1408271-1 is not prime. Res64: 73ED9BAF0C793067 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:30] 805*2^1408271-1 is not prime. Res64: 18F2DB8AB06F5198 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:33] 797*2^1408272-1 is not prime. Res64: 8D1B302630BFBACC Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:33] 915*2^1408272-1 is not prime. Res64: 64F3A6AAE9A0480C Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:35] 955*2^1408271-1 is not prime. Res64: A5F412801EC6B65F Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:36] 871*2^1408271-1 is not prime. Res64: 3D3AA9BC36BE3D39 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:36] 627*2^1408272-1 is not prime. Res64: B08CFEFED2001E2D Time : 0.0 sec. user=mdettweiler [2015-09-03 10:36:36] 931*2^1408271-1 is not prime. Res64: F4AF0AA30F2F9B24 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:16] 917*2^1408272-1 is not prime. Res64: 3D6E247A44254124 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:17] 639*2^1408273-1 is not prime. Res64: C681C21A3E146B49 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:18] 615*2^1408274-1 is not prime. Res64: E57E0A8ACEA950D5 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:18] 641*2^1408274-1 is not prime. Res64: C360B6D81470B095 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:19] 769*2^1408273-1 is not prime. Res64: 48480B9E3AECAD07 Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:19] 861*2^1408273-1 is not prime. Res64: 6EC182E6785DAB8A Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:21] 895*2^1408273-1 is not prime. Res64: 9CF249579A15DEBE Time : 0.0 sec. user=mdettweiler [2015-09-03 10:54:21] 945*2^1408273-1 is not prime. Res64: 3D6A59A42FC96918 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:53] 797*2^1408274-1 is not prime. Res64: D16421068D2A62E3 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:53] 657*2^1408274-1 is not prime. Res64: 68C5FFA5BCC9E4C8 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:54] 833*2^1408274-1 is not prime. Res64: 5ECC668F8C6BD920 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:54] 741*2^1408274-1 is not prime. Res64: 0E292E1DD5453394 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:57] 857*2^1408274-1 is not prime. Res64: 3E3DD0F91B1D7BA0 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:58] 941*2^1408274-1 is not prime. Res64: 0062AA31B8E57100 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:11:59] 1001*2^1408274-1 is not prime. Res64: C6BAF3ED1021D3C2 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:12:00] 601*2^1408275-1 is not prime. Res64: FCFE7C8F8FD7DF01 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:29] 651*2^1408275-1 is not prime. Res64: A101A78CF21B3118 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:30] 735*2^1408275-1 is not prime. Res64: B781D456AD3BB9B2 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:33] 961*2^1408275-1 is not prime. Res64: 5B3559F693AE42C0 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:34] 969*2^1408275-1 is not prime. Res64: 32B15D17EE015334 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:34] 613*2^1408275-1 is not prime. Res64: 54A622C8497F13AF Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:34] 619*2^1408275-1 is not prime. Res64: 18797FD1887508A5 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:39] 895*2^1408275-1 is not prime. Res64: 424F4E0C19F077A9 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:29:40] 909*2^1408275-1 is not prime. Res64: 35E9B4D2D7AF6D48 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:07] 803*2^1408276-1 is not prime. Res64: 1E2F5A69CB6111B7 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:07] 647*2^1408276-1 is not prime. Res64: 4C0BF96AFD89377A Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:07] 607*2^1408277-1 is not prime. Res64: 10FDBBD5A08FBD6C Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:07] 689*2^1408276-1 is not prime. Res64: E066EE4A3276A5FA Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:12] 603*2^1408276-1 is not prime. Res64: 5EB5D5A8EE5EDF69 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:13] 615*2^1408276-1 is not prime. Res64: 97D04F6AC8B53888 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:23] 649*2^1408277-1 is not prime. Res64: EC07B055D9278C91 Time : 0.0 sec. user=mdettweiler [2015-09-03 11:47:23] 711*2^1408277-1 is not prime. Res64: AA76C182BF35D36C Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:17] 605*2^1408278-1 is not prime. Res64: FD44775C3DD61036 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:19] 635*2^1408278-1 is not prime. Res64: F47BF1CAEBF5D3F0 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:24] 887*2^1408278-1 is not prime. Res64: 8A3BCA000AFBC072 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:27] 1001*2^1408278-1 is not prime. Res64: 9838094C4CC10061 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:28] 837*2^1408277-1 is not prime. Res64: 70953E1538F1B197 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:32] 939*2^1408277-1 is not prime. Res64: E2875FB3D83456CD Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:41] 601*2^1408279-1 is not prime. Res64: 34F287CF7BE7B3B4 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:05:42] 693*2^1408279-1 is not prime. Res64: 4F877FE80F5CD178 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:24:48] 775*2^1408279-1 is not prime. Res64: 4BAA4FB56A59EC88 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:24:49] 939*2^1408279-1 is not prime. Res64: EBC670CDE3D98200 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:24:59] 857*2^1408280-1 is not prime. Res64: 99BC477C999C2E28 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:24:59] 705*2^1408281-1 is not prime. Res64: 32B24F73469E79F8 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:25:02] 771*2^1408279-1 is not prime. Res64: 68FD3B079D77C1C5 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:25:02] 931*2^1408279-1 is not prime. Res64: EA4A29BE26865B27 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:25:07] 993*2^1408279-1 is not prime. Res64: 50EE98A842CFBB85 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:25:08] 689*2^1408280-1 is not prime. Res64: 28BE4064C8E526A8 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:42:56] 861*2^1408281-1 is not prime. Res64: 2733FDA158D4F352 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:42:56] 885*2^1408281-1 is not prime. Res64: 31322C6D9B0A9139 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:42:58] 713*2^1408282-1 is not prime. Res64: E6E0EBDAA7EDE18A Time : 0.0 sec. user=mdettweiler [2015-09-03 12:42:59] 717*2^1408282-1 is not prime. Res64: F3EC23B2465B10B5 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:43:04] 735*2^1408281-1 is not prime. Res64: 3EF5C111D4CE3C4D Time : 0.0 sec. user=mdettweiler [2015-09-03 12:43:04] 819*2^1408281-1 is not prime. Res64: 8A013914ED57C2C2 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:43:24] 657*2^1408282-1 is not prime. Res64: 3FB212B3D7F95813 Time : 0.0 sec. user=mdettweiler [2015-09-03 12:43:25] 675*2^1408282-1 is not prime. Res64: 0C8ADB9106657B2A Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:10] 941*2^1408282-1 is not prime. Res64: 00ED0D59FC7BB948 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:12] 619*2^1408283-1 is not prime. Res64: 3727BF46CA6EF15C Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:19] 621*2^1408283-1 is not prime. Res64: 9C8C81D735934663 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:20] 827*2^1408282-1 is not prime. Res64: AA3EE49F25D562CB Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:21] 673*2^1408283-1 is not prime. Res64: 56F7BD67F9B815A8 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:21] 873*2^1408282-1 is not prime. Res64: 18D3659F89B14088 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:31] 693*2^1408283-1 is not prime. Res64: 390C64042CD520B5 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:02:32] 741*2^1408283-1 is not prime. Res64: 918791D0D4CFBA0A Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:39] 623*2^1408284-1 is not prime. Res64: DED06DFF68A61A85 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:40] 689*2^1408284-1 is not prime. Res64: AEC2082C9765C6A3 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:47] 607*2^1408285-1 is not prime. Res64: 670A3D553381CD49 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:47] 619*2^1408285-1 is not prime. Res64: 2569CB6A45EAC0D7 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:54] 889*2^1408283-1 is not prime. Res64: EA31E92CAA190BFC Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:54] 605*2^1408284-1 is not prime. Res64: 41332F8D2FBB9061 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:57] 745*2^1408283-1 is not prime. Res64: E2A75F8E948D961A Time : 0.0 sec. user=mdettweiler [2015-09-03 13:22:57] 801*2^1408283-1 is not prime. Res64: C500D3CC34FC03CD Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:41] 741*2^1408285-1 is not prime. Res64: 19566F72A8D12F1D Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:41] 775*2^1408285-1 is not prime. Res64: D4FF61F443842801 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:45] 847*2^1408285-1 is not prime. Res64: FAE10B9A26B45466 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:46] 867*2^1408285-1 is not prime. Res64: 22E07813586FC608 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:46] 871*2^1408285-1 is not prime. Res64: AEF1B215C28272E9 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:46] 987*2^1408285-1 is not prime. Res64: 3774EEFDA23C9C72 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:50] 741*2^1408286-1 is not prime. Res64: B7C71F07FCE0963C Time : 0.0 sec. user=mdettweiler [2015-09-03 13:40:50] 825*2^1408286-1 is not prime. Res64: C7D99EC400AC9959 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:20] 957*2^1408286-1 is not prime. Res64: 158A6A663E00E134 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:20] 609*2^1408287-1 is not prime. Res64: 7B4C0F9E178A426A Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:23] 685*2^1408287-1 is not prime. Res64: 5408F613B4387DCB Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:23] 693*2^1408287-1 is not prime. Res64: 55078AA38AFE8A20 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:27] 735*2^1408287-1 is not prime. Res64: 8829494E5D3F4DD1 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:28] 739*2^1408287-1 is not prime. Res64: 802A4264D4FC0F83 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:30] 751*2^1408287-1 is not prime. Res64: 8463DF2EE759F801 Time : 0.0 sec. user=mdettweiler [2015-09-03 13:58:31] 769*2^1408287-1 is not prime. Res64: D8E2FF158B15899F Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:02] 781*2^1408287-1 is not prime. Res64: 535E53AEEF1F5F5A Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:02] 825*2^1408287-1 is not prime. Res64: C968D5FF1C4B6682 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:06] 831*2^1408287-1 is not prime. Res64: C7462381D6460D35 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:06] 949*2^1408287-1 is not prime. Res64: 4808C98B5B827019 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:10] 825*2^1408288-1 is not prime. Res64: 7EB60BF1E1CCF357 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:10] 849*2^1408288-1 is not prime. Res64: 97E78F96FCD59F62 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:15] 605*2^1408288-1 is not prime. Res64: 7524CB420D127F91 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:16:15] 623*2^1408288-1 is not prime. Res64: 90603102FC43B996 Time : 0.0 sec. user=S_K_ [2015-09-03 14:19:21] 911*2^1408286-1 is not prime. Res64: 989936F2724CF890 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:48] 741*2^1408289-1 is not prime. Res64: BA1CA2141779E840 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:48] 907*2^1408289-1 is not prime. Res64: 271E6A9F34156543 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:54] 999*2^1408288-1 is not prime. Res64: 47E1BFE651933CCE Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:54] 727*2^1408289-1 is not prime. Res64: 160E8C28623D20DE Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:58] 717*2^1408290-1 is not prime. Res64: E03CDDD168853A43 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:58] 767*2^1408290-1 is not prime. Res64: EF6123681847D38E Time : 0.0 sec. user=mdettweiler [2015-09-03 14:33:59] 931*2^1408289-1 is not prime. Res64: 15D7FC129DE27A4D Time : 0.0 sec. user=mdettweiler [2015-09-03 14:34:00] 985*2^1408289-1 is not prime. Res64: 3D3DB4C71F006195 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:37] 971*2^1408290-1 is not prime. Res64: 39713679DFD5384E Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:37] 601*2^1408291-1 is not prime. Res64: 8FB3AB883E3C194F Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:41] 811*2^1408291-1 is not prime. Res64: 890967BB61447A84 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:41] 979*2^1408291-1 is not prime. Res64: 1411B9505A6C7947 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:43] 719*2^1408292-1 is not prime. Res64: 01EEDF350F1EA15B Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:43] 735*2^1408292-1 is not prime. Res64: 5118F494946A8E13 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:44] 621*2^1408291-1 is not prime. Res64: DDF0B31BCEFC4374 Time : 0.0 sec. user=mdettweiler [2015-09-03 14:51:45] 663*2^1408291-1 is not prime. Res64: 45D889F1C4460AC8 Time : 0.0 sec. user=S_K_ [2015-09-03 14:59:04] 843*2^1408290-1 is not prime. Res64: A8BAF734672862E0 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:23] 813*2^1408292-1 is not prime. Res64: 2F55AE12D216C253 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:24] 903*2^1408292-1 is not prime. Res64: A276AFF8D06CDFC0 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:29] 769*2^1408293-1 is not prime. Res64: 724E849C03C9FF61 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:29] 787*2^1408293-1 is not prime. Res64: F14CE467B72B23E6 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:35] 699*2^1408293-1 is not prime. Res64: 4AA0CFC7AF37112E Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:36] 765*2^1408293-1 is not prime. Res64: 13E9D9F7D1C04106 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:37] 657*2^1408293-1 is not prime. Res64: 22A89513421F9F11 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:09:37] 691*2^1408293-1 is not prime. Res64: 84BAC6187DDB5DB4 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:30:42] 955*2^1408293-1 is not prime. Res64: 9CFBA063850B7E9E Time : 0.0 sec. user=mdettweiler [2015-09-03 15:30:42] 695*2^1408294-1 is not prime. Res64: A337DC5E76A1A51B Time : 0.0 sec. user=mdettweiler [2015-09-03 15:30:47] 821*2^1408294-1 is not prime. Res64: 09BBE38DE5683185 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:30:47] 945*2^1408294-1 is not prime. Res64: 3CFDF48EF37A4BC2 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:31:20] 847*2^1408293-1 is not prime. Res64: D3AD99175A01529D Time : 0.0 sec. user=mdettweiler [2015-09-03 15:31:20] 937*2^1408293-1 is not prime. Res64: 3E50E4F93E0DB954 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:31:31] 737*2^1408294-1 is not prime. Res64: B66AEF4E6BEACBF7 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:31:31] 791*2^1408294-1 is not prime. Res64: 37354B6F174C64B4 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:49:45] 969*2^1408295-1 is not prime. Res64: 78EA2AF1301BF379 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:49:45] 973*2^1408295-1 is not prime. Res64: E081D9D1BA872DD6 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:49:58] 695*2^1408296-1 is not prime. Res64: 0892206E5A3BEB56 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:49:58] 707*2^1408296-1 is not prime. Res64: 93B6C00F9D18336C Time : 0.0 sec. user=mdettweiler [2015-09-03 15:50:05] 879*2^1408296-1 is not prime. Res64: 00E301D621D2C1A5 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:50:05] 933*2^1408296-1 is not prime. Res64: C6465983FA921E25 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:50:29] 601*2^1408297-1 is not prime. Res64: 16A786C252A765A5 Time : 0.0 sec. user=mdettweiler [2015-09-03 15:50:29] 639*2^1408297-1 is not prime. Res64: E73FD3AABB53613D Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:30] 885*2^1408297-1 is not prime. Res64: D67C0A29443398FE Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:30] 915*2^1408297-1 is not prime. Res64: C2FB26145AD1A124 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:41] 955*2^1408297-1 is not prime. Res64: 40F4885182710894 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:41] 603*2^1408298-1 is not prime. Res64: 393956BE1A8CA7B9 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:42] 731*2^1408298-1 is not prime. Res64: D3C5BFA69FDB06B4 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:07:42] 837*2^1408298-1 is not prime. Res64: AAB1C85932AB5F02 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:08:14] 867*2^1408298-1 is not prime. Res64: 90D16517167CCF94 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:08:14] 887*2^1408298-1 is not prime. Res64: 43E27C5648DE4D35 Time : 0.0 sec. user=S_K_ [2015-09-03 16:18:08] 675*2^1408297-1 is not prime. Res64: F77FB34BA5A0544C Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:12] 971*2^1408298-1 is not prime. Res64: C9A328679BE17063 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:12] 613*2^1408299-1 is not prime. Res64: A1E22E838E1373E7 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:28] 619*2^1408299-1 is not prime. Res64: 6CD0F70DB25169EF Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:28] 625*2^1408299-1 is not prime. Res64: 658FF50964CCE6F4 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:30] 751*2^1408299-1 is not prime. Res64: 909F048338467709 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:30] 789*2^1408299-1 is not prime. Res64: 0C7C31A2E2335CBF Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:57] 913*2^1408299-1 is not prime. Res64: 20E4A399DE486E3F Time : 0.0 sec. user=mdettweiler [2015-09-03 16:25:57] 615*2^1408300-1 is not prime. Res64: 2C16325989BF667D Time : 0.0 sec. user=mdettweiler [2015-09-03 16:42:57] 629*2^1408300-1 is not prime. Res64: F440B63A93C0729D Time : 0.0 sec. user=mdettweiler [2015-09-03 16:42:58] 885*2^1408300-1 is not prime. Res64: 9FA3FA5054077812 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:03] 905*2^1408300-1 is not prime. Res64: 4DABBBD6A5842EC0 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:03] 999*2^1408300-1 is not prime. Res64: 5A63F82565531EB5 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:05] 777*2^1408301-1 is not prime. Res64: 9EA6E5DC55DE34EC Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:06] 799*2^1408301-1 is not prime. Res64: 966D86A88643223A Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:36] 861*2^1408301-1 is not prime. Res64: 3B6599725C36A444 Time : 0.0 sec. user=mdettweiler [2015-09-03 16:43:36] 651*2^1408302-1 is not prime. Res64: 1B49B54E3CCAC571 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:43] 711*2^1408302-1 is not prime. Res64: 747C254D80462D5A Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:43] 755*2^1408302-1 is not prime. Res64: 883A2DC1678E6EBC Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:47] 921*2^1408302-1 is not prime. Res64: 663EC2EAAE74C098 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:48] 941*2^1408302-1 is not prime. Res64: 7C03EA5B810176DC Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:55] 983*2^1408302-1 is not prime. Res64: 4F40A8811BC8017D Time : 0.0 sec. user=mdettweiler [2015-09-03 17:00:56] 871*2^1408303-1 is not prime. Res64: CC41057A528AB5A5 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:01:27] 901*2^1408303-1 is not prime. Res64: E40E4697D8784FDC Time : 0.0 sec. user=mdettweiler [2015-09-03 17:01:27] 919*2^1408303-1 is not prime. Res64: 98AA54708B12692B Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:23] 605*2^1408304-1 is not prime. Res64: 877FB0E39388ECBC Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:24] 609*2^1408304-1 is not prime. Res64: B773700844BE5875 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:29] 951*2^1408303-1 is not prime. Res64: A077BA3758A15DCE Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:30] 999*2^1408303-1 is not prime. Res64: 8221B9B9CAEF334F Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:38] 617*2^1408304-1 is not prime. Res64: 8C0659CF2C775833 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:18:40] 833*2^1408304-1 is not prime. Res64: 5847CA9B24F3473B Time : 0.0 sec. user=mdettweiler [2015-09-03 17:19:08] 929*2^1408304-1 is not prime. Res64: CB0833F80CDDC126 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:19:09] 789*2^1408305-1 is not prime. Res64: 4F4D032A230B796A Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:17] 979*2^1408305-1 is not prime. Res64: 114F76FE7F5B9ABE Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:18] 663*2^1408306-1 is not prime. Res64: 35DCCCEEED234961 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:22] 847*2^1408305-1 is not prime. Res64: 483CF5B6C8F2F86B Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:22] 919*2^1408305-1 is not prime. Res64: A1018C7B5BACC255 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:27] 765*2^1408306-1 is not prime. Res64: 733979DE2113CDEA Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:28] 873*2^1408306-1 is not prime. Res64: 52C5CF4121A7CD7C Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:54] 1001*2^1408306-1 is not prime. Res64: 9FB55F9EB1ADFC42 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:36:54] 781*2^1408307-1 is not prime. Res64: 6787B79352BD3BD3 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:53:56] 871*2^1408307-1 is not prime. Res64: 448C88977CAA0234 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:53:56] 913*2^1408307-1 is not prime. Res64: 542A928B6B18D9A4 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:00] 931*2^1408307-1 is not prime. Res64: 7348DAFDAF55D161 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:00] 993*2^1408307-1 is not prime. Res64: 42C2BFB2E75737BF Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:04] 663*2^1408308-1 is not prime. Res64: 41529487B151B31D Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:04] 669*2^1408308-1 is not prime. Res64: 58495CDCDC247EF2 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:30] 843*2^1408308-1 is not prime. Res64: 07F136726B7157B1 Time : 0.0 sec. user=mdettweiler [2015-09-03 17:54:30] 899*2^1408308-1 is not prime. Res64: 365299B92F4C3344 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:09] 927*2^1408308-1 is not prime. Res64: 31463702DEDB5326 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:10] 977*2^1408308-1 is not prime. Res64: CB5CB6D120552157 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:21] 831*2^1408309-1 is not prime. Res64: AE117EED457C9E61 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:21] 885*2^1408309-1 is not prime. Res64: 3DA33DFF8F57DB25 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:21] 619*2^1408309-1 is not prime. Res64: C05F979C06B0B9C2 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:12:22] 759*2^1408309-1 is not prime. Res64: E99862717C8ACF19 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:13:01] 931*2^1408309-1 is not prime. Res64: 8003AFE7B12B7597 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:13:02] 961*2^1408309-1 is not prime. Res64: BE54569F51615A39 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:07] 677*2^1408310-1 is not prime. Res64: 5FECC5F0EA04985A Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:08] 743*2^1408310-1 is not prime. Res64: 87B86A1F9F4815A7 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:16] 833*2^1408310-1 is not prime. Res64: 20F1C844E9B7C692 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:16] 935*2^1408310-1 is not prime. Res64: E99E8B00C38BB145 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:19] 773*2^1408310-1 is not prime. Res64: 7F859FC049D12584 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:19] 791*2^1408310-1 is not prime. Res64: 90579E39662B891A Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:39] 977*2^1408310-1 is not prime. Res64: 7F8EEB5F533F329D Time : 0.0 sec. user=mdettweiler [2015-09-03 18:32:39] 613*2^1408311-1 is not prime. Res64: 7AB18DC3D9B405E1 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:49:48] 679*2^1408311-1 is not prime. Res64: 1579B16DC032AA18 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:49:48] 691*2^1408311-1 is not prime. Res64: 84F47C313BB8929B Time : 0.0 sec. user=mdettweiler [2015-09-03 18:49:56] 745*2^1408311-1 is not prime. Res64: 3D905C160B7D1A3F Time : 0.0 sec. user=mdettweiler [2015-09-03 18:49:56] 751*2^1408311-1 is not prime. Res64: 76BF498E1619BAF7 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:50:05] 789*2^1408311-1 is not prime. Res64: 623F7079048718EE Time : 0.0 sec. user=mdettweiler [2015-09-03 18:50:05] 795*2^1408311-1 is not prime. Res64: 78EA90931D2576CE Time : 0.0 sec. user=S_K_ [2015-09-03 18:50:19] 915*2^1408308-1 is not prime. Res64: F2F128C804E85458 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:50:23] 829*2^1408311-1 is not prime. Res64: 4DA4B1EFCCED1827 Time : 0.0 sec. user=mdettweiler [2015-09-03 18:50:24] 865*2^1408311-1 is not prime. Res64: 0011E45E1AD93174 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:37] 717*2^1408312-1 is not prime. Res64: 9B01B4486887CAC0 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:38] 819*2^1408312-1 is not prime. Res64: 5EE2FAC82D3D5CBF Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:41] 609*2^1408312-1 is not prime. Res64: 37B243628BAC8200 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:42] 699*2^1408312-1 is not prime. Res64: 14CD687A6539FA78 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:57] 957*2^1408312-1 is not prime. Res64: 33EE831873BDFB6E Time : 0.0 sec. user=mdettweiler [2015-09-03 19:07:57] 975*2^1408312-1 is not prime. Res64: 6C3874B5392A5AF9 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:08:05] 727*2^1408313-1 is not prime. Res64: 7D784A451398C4DA Time : 0.0 sec. user=mdettweiler [2015-09-03 19:08:06] 729*2^1408313-1 is not prime. Res64: 11FFD0E845797415 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:24] 677*2^1408314-1 is not prime. Res64: 7C6392EAFBFAAC17 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:24] 681*2^1408314-1 is not prime. Res64: DCF56D8EF11A7105 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:25] 855*2^1408313-1 is not prime. Res64: 9776141018BA4855 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:25] 867*2^1408313-1 is not prime. Res64: 4E809DA9E2C09AD3 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:42] 951*2^1408314-1 is not prime. Res64: 7BEE7D629E5B5BE5 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:25:42] 631*2^1408315-1 is not prime. Res64: E21AF4AABFA3E5B6 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:26:00] 765*2^1408315-1 is not prime. Res64: 51C212768F04DDAA Time : 0.0 sec. user=mdettweiler [2015-09-03 19:26:01] 871*2^1408315-1 is not prime. Res64: D3F37B476AB63E1F Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:06] 961*2^1408315-1 is not prime. Res64: 0EA9891E58C48537 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:06] 615*2^1408316-1 is not prime. Res64: 4BB92552426FA3EE Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:12] 749*2^1408316-1 is not prime. Res64: 3E09CB0191FB8C67 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:13] 759*2^1408316-1 is not prime. Res64: CA25F4CE10F75027 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:47] 935*2^1408316-1 is not prime. Res64: E3F5137E86D63609 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:48] 691*2^1408317-1 is not prime. Res64: 63C7E7C9B887406E Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:49] 727*2^1408317-1 is not prime. Res64: BD9979C6BAC51275 Time : 0.0 sec. user=mdettweiler [2015-09-03 19:43:49] 751*2^1408317-1 is not prime. Res64: 923A48514EE3F685 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:16] 847*2^1408317-1 is not prime. Res64: 40AAE9983EF353F6 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:16] 871*2^1408317-1 is not prime. Res64: 6717EAD331BB42E3 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:28] 777*2^1408317-1 is not prime. Res64: AFEE7A7D3AB9E791 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:28] 795*2^1408317-1 is not prime. Res64: AA16F528FCF6BFF1 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:52] 825*2^1408318-1 is not prime. Res64: 83C558A9CE3908F9 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:01:53] 885*2^1408318-1 is not prime. Res64: B9709426C74730EC Time : 0.0 sec. user=mdettweiler [2015-09-03 20:02:07] 945*2^1408317-1 is not prime. Res64: F06D650C78B6CAA0 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:02:08] 605*2^1408318-1 is not prime. Res64: 053FAE0FE94B9B62 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:20:46] 891*2^1408318-1 is not prime. Res64: 9C79027F6981747A Time : 0.0 sec. user=mdettweiler [2015-09-03 20:20:46] 615*2^1408319-1 is not prime. Res64: 628456DE22AC846A Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:11] 729*2^1408319-1 is not prime. Res64: 13CD0C035EDAAF43 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:11] 735*2^1408319-1 is not prime. Res64: A1571B4A476331F1 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:23] 883*2^1408319-1 is not prime. Res64: 910D2AA94224AB46 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:24] 885*2^1408319-1 is not prime. Res64: FEB997925C8EF5CB Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:53] 623*2^1408320-1 is not prime. Res64: 5F84FB2344F82559 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:21:53] 627*2^1408320-1 is not prime. Res64: D712AEE2019D9ECA Time : 0.0 sec. user=mdettweiler [2015-09-03 20:39:57] 839*2^1408320-1 is not prime. Res64: 417C62A809071345 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:39:58] 849*2^1408320-1 is not prime. Res64: C6FD1CF145E96488 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:04] 923*2^1408320-1 is not prime. Res64: F74295DF26228E0A Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:05] 957*2^1408320-1 is not prime. Res64: 3CE6904409B01AD5 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:07] 645*2^1408321-1 is not prime. Res64: F2F7BF96528E259B Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:08] 705*2^1408321-1 is not prime. Res64: 1A3390F94C8DF2E5 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:46] 769*2^1408321-1 is not prime. Res64: 0722E849EE3A0D3C Time : 0.0 sec. user=mdettweiler [2015-09-03 20:40:46] 807*2^1408321-1 is not prime. Res64: 4D320F500F05EAB9 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:58:54] 857*2^1408322-1 is not prime. Res64: 5E69DFFC3679A330 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:58:54] 887*2^1408322-1 is not prime. Res64: D752AF737CFF5423 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:04] 645*2^1408322-1 is not prime. Res64: 675B79E6D589A89B Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:04] 705*2^1408322-1 is not prime. Res64: BF5668429DA9A326 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:12] 813*2^1408322-1 is not prime. Res64: 391CB51DECC7EBB9 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:12] 837*2^1408322-1 is not prime. Res64: 20ACC1E355FD50F1 Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:41] 609*2^1408323-1 is not prime. Res64: 2BA6E47230E584AC Time : 0.0 sec. user=mdettweiler [2015-09-03 20:59:41] 619*2^1408323-1 is not prime. Res64: BD8C5D30ED79CD56 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:00] 685*2^1408323-1 is not prime. Res64: 279F921E8ED644C6 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:00] 849*2^1408323-1 is not prime. Res64: 41888DF1CACAD54C Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:10] 615*2^1408324-1 is not prime. Res64: 6C2E02752B314115 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:10] 677*2^1408324-1 is not prime. Res64: DE6AF6BCD02174D4 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:11] 879*2^1408323-1 is not prime. Res64: EE2B75E6C77506AA Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:12] 919*2^1408323-1 is not prime. Res64: EA4893100F32DA06 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:52] 807*2^1408324-1 is not prime. Res64: 205B846EB17E2055 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:18:53] 929*2^1408324-1 is not prime. Res64: E8A97E8BB487E4FD Time : 0.0 sec. user=S_K_ [2015-09-03 21:33:44] 649*2^1408323-1 is not prime. Res64: 9308B53DB14C7ECD Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:08] 965*2^1408324-1 is not prime. Res64: 5F3ED926D4962CC4 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:09] 711*2^1408325-1 is not prime. Res64: C5CE3CEB3890A013 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:13] 789*2^1408325-1 is not prime. Res64: 922D6C8366636EA2 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:13] 831*2^1408325-1 is not prime. Res64: DD3AD71E554B1174 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:40] 897*2^1408325-1 is not prime. Res64: 5C0522AF293D2026 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:41] 939*2^1408325-1 is not prime. Res64: F45B56FB454FE0F1 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:57] 671*2^1408326-1 is not prime. Res64: F4CC4CF4AC9C0717 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:37:57] 711*2^1408326-1 is not prime. Res64: EACAFA7631264077 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:04] 717*2^1408326-1 is not prime. Res64: 91A0AC5E1FB61799 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:04] 861*2^1408326-1 is not prime. Res64: B5D6A69302F88F3A Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:06] 971*2^1408326-1 is not prime. Res64: AB1C0D959E4FD87F Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:06] 615*2^1408327-1 is not prime. Res64: B7145C256BED3076 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:40] 621*2^1408327-1 is not prime. Res64: A004548666DC7DB3 Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:40] 651*2^1408327-1 is not prime. Res64: A341CE3E376B8E2C Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:59] 663*2^1408327-1 is not prime. Res64: 3160A9D9A85353DF Time : 0.0 sec. user=mdettweiler [2015-09-03 21:55:59] 645*2^1408328-1 is not prime. Res64: CF3570098B4B90DD Time : 0.0 sec. user=mdettweiler [2015-09-03 22:14:29] 753*2^1408328-1 is not prime. Res64: 18BEE02C0EA80C3B Time : 0.0 sec. user=mdettweiler [2015-09-03 22:14:30] 755*2^1408328-1 is not prime. Res64: 7368812CB50E042E Time : 0.0 sec. user=mdettweiler [2015-09-03 22:14:44] 699*2^1408328-1 is not prime. Res64: FAEEC49BF10D566A Time : 0.0 sec. user=mdettweiler [2015-09-03 22:14:44] 743*2^1408328-1 is not prime. Res64: 66C8F33EBC2BD893 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:15:04] 797*2^1408328-1 is not prime. Res64: 2F7F317E276D823F Time : 0.0 sec. user=mdettweiler [2015-09-03 22:15:06] 897*2^1408328-1 is not prime. Res64: 037040345324B71C Time : 0.0 sec. user=mdettweiler [2015-09-03 22:15:31] 923*2^1408328-1 is not prime. Res64: DCBC3701DC69446B Time : 0.0 sec. user=mdettweiler [2015-09-03 22:15:31] 615*2^1408329-1 is not prime. Res64: 8AEEB233582CFDA6 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:33:29] 727*2^1408329-1 is not prime. Res64: 16585EA919716C70 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:33:29] 889*2^1408329-1 is not prime. Res64: E5EFA66289228B73 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:33:40] 895*2^1408329-1 is not prime. Res64: 42010B771A1263E4 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:33:41] 909*2^1408329-1 is not prime. Res64: 251A51FCDF7A6F3B Time : 0.0 sec. user=mdettweiler [2015-09-03 22:34:00] 605*2^1408330-1 is not prime. Res64: 27417BAD88E9DE7D Time : 0.0 sec. user=mdettweiler [2015-09-03 22:34:00] 687*2^1408330-1 is not prime. Res64: 0CFFAAB7C4693F05 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:34:25] 707*2^1408330-1 is not prime. Res64: AF5FBEEC621FD9C6 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:34:25] 747*2^1408330-1 is not prime. Res64: 6FFAEFA4B92D22A4 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:06] 831*2^1408330-1 is not prime. Res64: ADD588308551D800 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:06] 905*2^1408330-1 is not prime. Res64: 10FB261D79814BDB Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:21] 663*2^1408331-1 is not prime. Res64: 09460872BFD55EAA Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:21] 745*2^1408331-1 is not prime. Res64: 120CF1D8AF189A84 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:40] 823*2^1408331-1 is not prime. Res64: A8CEE5E491566653 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:52:40] 981*2^1408331-1 is not prime. Res64: 479C186550CE9394 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:53:03] 605*2^1408332-1 is not prime. Res64: 7B672C57324C1D38 Time : 0.0 sec. user=mdettweiler [2015-09-03 22:53:03] 863*2^1408332-1 is not prime. Res64: 0D4C0225A73305CC Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:11] 899*2^1408332-1 is not prime. Res64: 24DD271643982AF9 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:11] 607*2^1408333-1 is not prime. Res64: 740274CED1032D91 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:29] 721*2^1408333-1 is not prime. Res64: C606E6A3F4061448 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:30] 829*2^1408333-1 is not prime. Res64: AEF859C46728FCF0 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:52] 889*2^1408333-1 is not prime. Res64: 02C5E27432DE262C Time : 0.0 sec. user=mdettweiler [2015-09-03 23:11:52] 897*2^1408333-1 is not prime. Res64: 1DB40B6099F5E01F Time : 0.0 sec. user=mdettweiler [2015-09-03 23:12:08] 915*2^1408333-1 is not prime. Res64: 44D708EE1E163054 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:12:08] 987*2^1408333-1 is not prime. Res64: 741293FD786A04A1 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:06] 641*2^1408334-1 is not prime. Res64: D2A47DDD7BC906DF Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:06] 651*2^1408334-1 is not prime. Res64: 676AFDF70572980A Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:33] 677*2^1408334-1 is not prime. Res64: FB15149282200A7E Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:33] 707*2^1408334-1 is not prime. Res64: 3C738E6F9C56BAA7 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:57] 785*2^1408334-1 is not prime. Res64: 8D301AF4086D8C26 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:30:57] 935*2^1408334-1 is not prime. Res64: B4DBEC1DEEB0BF66 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:31:31] 941*2^1408334-1 is not prime. Res64: E5BEEC5360CCABCD Time : 0.0 sec. user=mdettweiler [2015-09-03 23:31:31] 953*2^1408334-1 is not prime. Res64: 01E4B144FC661373 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:48:35] 971*2^1408334-1 is not prime. Res64: CE28E003F0DCC6B0 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:48:36] 601*2^1408335-1 is not prime. Res64: 6A8EBFFDDC23BC0E Time : 0.0 sec. user=mdettweiler [2015-09-03 23:49:24] 649*2^1408335-1 is not prime. Res64: 3EB14D27663E275A Time : 0.0 sec. user=mdettweiler [2015-09-03 23:49:25] 669*2^1408335-1 is not prime. Res64: 04735E6F263ED791 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:49:25] 693*2^1408335-1 is not prime. Res64: 54846E67182174FB Time : 0.0 sec. user=mdettweiler [2015-09-03 23:49:25] 795*2^1408335-1 is not prime. Res64: A66F1DB92E9FBDE4 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:50:15] 955*2^1408335-1 is not prime. Res64: 46A08F193042D781 Time : 0.0 sec. user=mdettweiler [2015-09-03 23:50:15] 999*2^1408335-1 is not prime. Res64: CC3B16186B0C0DCC Time : 0.0 sec.