user=mdettweiler [2016-03-26 00:32:10] 789*2^1424300-1 is not prime. Res64: A0DCD70847911302 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:32:11] 875*2^1424300-1 is not prime. Res64: 8FE3328B428CC159 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:32:11] 899*2^1424300-1 is not prime. Res64: 2A6BA53D906638AD Time : 0.0 sec. user=mdettweiler [2016-03-26 00:32:12] 945*2^1424300-1 is not prime. Res64: 16DB92B648A32256 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:32:12] 963*2^1424300-1 is not prime. Res64: FEDB21CF907A81CC Time : 0.0 sec. user=mdettweiler [2016-03-26 00:35:09] 709*2^1424301-1 is not prime. Res64: 09C05A8E71FBEC1D Time : 0.0 sec. user=mdettweiler [2016-03-26 00:35:09] 717*2^1424301-1 is not prime. Res64: 31D4C82D50A9ECDC Time : 0.0 sec. user=mdettweiler [2016-03-26 00:35:10] 747*2^1424301-1 is not prime. Res64: 6F06BA85A5B8D7CB Time : 0.0 sec. user=mdettweiler [2016-03-26 00:35:10] 751*2^1424301-1 is not prime. Res64: 7EAE03BF337C9804 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:35:11] 817*2^1424301-1 is not prime. Res64: C437C881808DC139 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:36:38] 877*2^1424301-1 is not prime. Res64: 53A19096A928CBBA Time : 0.0 sec. user=mdettweiler [2016-03-26 00:36:38] 955*2^1424301-1 is not prime. Res64: BF9A56394ADC54D5 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:36:39] 961*2^1424301-1 is not prime. Res64: 532DF37C4DA076CD Time : 0.0 sec. user=mdettweiler [2016-03-26 00:36:39] 987*2^1424301-1 is not prime. Res64: 8F3A3E55382C4EE8 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:36:40] 617*2^1424302-1 is not prime. Res64: 8B1DB3DBC792322E Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:39] 663*2^1424304-1 is not prime. Res64: 3EC940D99BA9F0D1 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:50] 681*2^1424302-1 is not prime. Res64: F59DD631AF749ACC Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:51] 717*2^1424302-1 is not prime. Res64: 39177943021F4E7B Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:51] 827*2^1424302-1 is not prime. Res64: A5B6287D956485BC Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:52] 863*2^1424302-1 is not prime. Res64: D2F4841DB1508970 Time : 0.0 sec. user=mdettweiler [2016-03-26 00:41:52] 911*2^1424302-1 is not prime. Res64: 314E91B13F247904 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:36] 923*2^1424302-1 is not prime. Res64: A6FAA13BD175E77F Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:37] 673*2^1424303-1 is not prime. Res64: 29C06A5BF887F7D1 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:37] 739*2^1424303-1 is not prime. Res64: 874D60593B7DAFE2 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:38] 763*2^1424303-1 is not prime. Res64: 4C7B4FD09922B0B1 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:38] 945*2^1424303-1 is not prime. Res64: AE027DF052BA1036 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:50] 699*2^1424304-1 is not prime. Res64: 72B58FE596AB2668 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:50] 789*2^1424304-1 is not prime. Res64: 146674B448463981 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:51] 803*2^1424304-1 is not prime. Res64: BA7CBBF751554AEC Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:51] 825*2^1424304-1 is not prime. Res64: 2BCE0443121EAAAA Time : 0.0 sec. user=mdettweiler [2016-03-26 01:46:52] 935*2^1424304-1 is not prime. Res64: 20B1A8DDF38F3BD3 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:47] 623*2^1424306-1 is not prime. Res64: 61921632DA137479 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:48] 993*2^1424304-1 is not prime. Res64: F1C2FC1C1FC3DCDF Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:48] 767*2^1424306-1 is not prime. Res64: A0D2CFC4B865114B Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:48] 705*2^1424305-1 is not prime. Res64: 77010B0AD1B37E4C Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:48] 813*2^1424306-1 is not prime. Res64: 11330E6D4F4FF8C5 Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:48] 811*2^1424305-1 is not prime. Res64: F7767303383D75FF Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:49] 923*2^1424306-1 is not prime. Res64: C614AE2077A043BE Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:49] 909*2^1424305-1 is not prime. Res64: FEE89BE1EF36DAFA Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:49] 935*2^1424306-1 is not prime. Res64: F39735922E87385D Time : 0.0 sec. user=mdettweiler [2016-03-26 01:55:49] 937*2^1424305-1 is not prime. Res64: 4732542408043F79 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:27:51] 783*2^1424310-1 is not prime. Res64: FEB385A71AC724BE Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:33] 971*2^1424306-1 is not prime. Res64: 8B7F8619CCF9FA7C Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:34] 983*2^1424306-1 is not prime. Res64: 01EA7154DAA44A5F Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:35] 1001*2^1424306-1 is not prime. Res64: BC5D12995BBCE570 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:35] 675*2^1424307-1 is not prime. Res64: C960E84A1A58E3E0 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:36] 781*2^1424307-1 is not prime. Res64: 72600494B64937AE Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:38] 843*2^1424307-1 is not prime. Res64: D9996B08B827C76F Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:39] 859*2^1424307-1 is not prime. Res64: 97AD51530ED08B85 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:41] 895*2^1424307-1 is not prime. Res64: AE0B44DBE23FDB21 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:44] 919*2^1424307-1 is not prime. Res64: 955F7700B74C2EE7 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:32:45] 979*2^1424307-1 is not prime. Res64: 23F73B1FA4187B63 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:19] 685*2^1424309-1 is not prime. Res64: 7923525FA0FA355C Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:19] 831*2^1424309-1 is not prime. Res64: 140665AB2BD20018 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:19] 889*2^1424309-1 is not prime. Res64: 2BDB45F3C57129C3 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:20] 897*2^1424309-1 is not prime. Res64: 8A9AD994E30065B7 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:20] 651*2^1424310-1 is not prime. Res64: 39319788C8F5FBC9 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:28] 707*2^1424308-1 is not prime. Res64: 6A4F8BB535185AAD Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:29] 735*2^1424308-1 is not prime. Res64: 9CFBA37B03F05976 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:29] 933*2^1424308-1 is not prime. Res64: D3B1074C493F1447 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:29] 953*2^1424308-1 is not prime. Res64: D9A4EE8D8C4D7A36 Time : 0.0 sec. user=mdettweiler [2016-03-26 02:41:30] 999*2^1424308-1 is not prime. Res64: 4BE746853E50467A Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:09] 939*2^1424311-1 is not prime. Res64: BF3789A87C0274BF Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:10] 687*2^1424312-1 is not prime. Res64: 0B503C6780E79F80 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:10] 689*2^1424312-1 is not prime. Res64: D49BA51D9E78A32B Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:10] 693*2^1424312-1 is not prime. Res64: 9D4D6523742CD359 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:11] 753*2^1424312-1 is not prime. Res64: 48F7B8470AE49EF9 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:16] 797*2^1424310-1 is not prime. Res64: 579771A7394DF371 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:17] 861*2^1424310-1 is not prime. Res64: FE2CE0BAE3016442 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:17] 705*2^1424311-1 is not prime. Res64: 55B0AEBD01EACE03 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:17] 741*2^1424311-1 is not prime. Res64: F1F5D72F9E653AC1 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:17:18] 745*2^1424311-1 is not prime. Res64: 9A7E8C1B975D01C1 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:29] 797*2^1424312-1 is not prime. Res64: 98056DB4FFFAD279 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:30] 819*2^1424313-1 is not prime. Res64: 2402E8FFEAC3A67E Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:31] 827*2^1424312-1 is not prime. Res64: 210A1F9F4A942DB3 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:33] 855*2^1424312-1 is not prime. Res64: 4A744E4E69242CF3 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:35] 873*2^1424312-1 is not prime. Res64: 6D52E3B8EFC4EC23 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:36] 875*2^1424312-1 is not prime. Res64: 0D9F7F88E5444646 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:49] 957*2^1424312-1 is not prime. Res64: 2CBF44418B4620EE Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:51] 609*2^1424313-1 is not prime. Res64: 67DA91A0D83C03D6 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:52] 657*2^1424313-1 is not prime. Res64: CA102A1215925B86 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:54] 727*2^1424313-1 is not prime. Res64: 921331D7FE2EF61E Time : 0.0 sec. user=mdettweiler [2016-03-26 03:25:56] 781*2^1424313-1 is not prime. Res64: 8899700E2D431984 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:36:30] 655*2^1424279-1 is not prime. Res64: A35E2ABDF9B47C16 Time : 0.0 sec. user=mdettweiler [2016-03-26 03:38:38] 899*2^1424316-1 is not prime. Res64: 2C7D65675D70891F Time : 0.0 sec. user=mdettweiler [2016-03-26 03:56:41] 999*2^1424316-1 is not prime. Res64: 8EA7551751CC2F29 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:38] 871*2^1424313-1 is not prime. Res64: 63AF4668CC6BA30E Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:40] 885*2^1424313-1 is not prime. Res64: F292355784B25A66 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:41] 889*2^1424313-1 is not prime. Res64: BFB10266F74013B1 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:42] 969*2^1424313-1 is not prime. Res64: F7BBB09A85FA04A7 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:44] 991*2^1424313-1 is not prime. Res64: 99F9632EB4353461 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:49] 623*2^1424314-1 is not prime. Res64: 221978CE5C93B17A Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:50] 675*2^1424314-1 is not prime. Res64: 0DD8C6D4F5762B0D Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:51] 783*2^1424314-1 is not prime. Res64: 2C5E46A0C9BD05D6 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:52] 881*2^1424314-1 is not prime. Res64: 81760E8A801B92CD Time : 0.0 sec. user=mdettweiler [2016-03-26 04:01:53] 915*2^1424314-1 is not prime. Res64: 2555A311B939A8E6 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:17] 923*2^1424314-1 is not prime. Res64: FB346A6A26CE16F1 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:17] 693*2^1424315-1 is not prime. Res64: 009E002018FDBC2D Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:18] 715*2^1424315-1 is not prime. Res64: B9E1373988683B6B Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:18] 889*2^1424315-1 is not prime. Res64: 49D1DB46679AE2BC Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:19] 963*2^1424315-1 is not prime. Res64: 8AB0A7E1EBB57113 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:26] 969*2^1424315-1 is not prime. Res64: F625183FB84B0B6F Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:26] 985*2^1424315-1 is not prime. Res64: AFF653DC41CAF837 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:27] 633*2^1424316-1 is not prime. Res64: 856937390C039832 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:27] 765*2^1424316-1 is not prime. Res64: FBD2FA5BEB11CDD3 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:10:28] 773*2^1424316-1 is not prime. Res64: 33413F8AA428DED9 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:32:16] 695*2^1424320-1 is not prime. Res64: 58144FD23012B7D8 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:12] 657*2^1424318-1 is not prime. Res64: 76959ACD66EAD894 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:12] 755*2^1424318-1 is not prime. Res64: 0CB3155A0A1B77C9 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:12] 773*2^1424318-1 is not prime. Res64: 3B26E1E3AD3DE3C7 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:13] 791*2^1424318-1 is not prime. Res64: 5B13643A876B036C Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:13] 815*2^1424318-1 is not prime. Res64: 9B0BC13B1506164F Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:17] 625*2^1424317-1 is not prime. Res64: 1C63DE23F80E99FC Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:17] 699*2^1424317-1 is not prime. Res64: 733D62ECC89C5441 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:18] 769*2^1424317-1 is not prime. Res64: ADB036AE882EAACC Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:18] 777*2^1424317-1 is not prime. Res64: 90F5E1AD16569F99 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:46:19] 847*2^1424317-1 is not prime. Res64: 8324C98B15584A24 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:49] 885*2^1424318-1 is not prime. Res64: 2FFF3339C7855586 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:49] 951*2^1424318-1 is not prime. Res64: C828454262B4A51A Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:50] 639*2^1424319-1 is not prime. Res64: 58614C6BB1A9F831 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:50] 741*2^1424319-1 is not prime. Res64: ECBD1C75AAD571A9 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:50] 775*2^1424319-1 is not prime. Res64: DA8BC5DCE5F631C8 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:53] 859*2^1424319-1 is not prime. Res64: 5F523E57C03E9CE6 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:54] 879*2^1424319-1 is not prime. Res64: 4B0CECA775578BE8 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:54] 999*2^1424319-1 is not prime. Res64: 273F4F94DC47C053 Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:55] 623*2^1424320-1 is not prime. Res64: 2AACD99C9591018F Time : 0.0 sec. user=mdettweiler [2016-03-26 04:54:55] 629*2^1424320-1 is not prime. Res64: 51B9843DE740F1F8 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:08:31] 767*2^1424322-1 is not prime. Res64: 0E9EAB3230417B2D Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:28] 857*2^1424320-1 is not prime. Res64: E129A9FAA42B1BB6 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:29] 887*2^1424320-1 is not prime. Res64: 1F742E933A9946DD Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:29] 905*2^1424320-1 is not prime. Res64: 1A31C87C053B2185 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:29] 933*2^1424320-1 is not prime. Res64: 27B794517FA8F153 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:30] 965*2^1424320-1 is not prime. Res64: A47333B5B0C7DCBB Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:37] 743*2^1424320-1 is not prime. Res64: E99556E22489DDE4 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:38] 755*2^1424320-1 is not prime. Res64: 19025ACE6C155431 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:38] 765*2^1424320-1 is not prime. Res64: 92C2A1DCA4E81DB3 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:38] 797*2^1424320-1 is not prime. Res64: 38B17F01CB75D54E Time : 0.0 sec. user=mdettweiler [2016-03-26 05:31:39] 839*2^1424320-1 is not prime. Res64: 8E1E5917DE6AF60D Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:15] 651*2^1424322-1 is not prime. Res64: B082C0AD95342C3A Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:16] 681*2^1424322-1 is not prime. Res64: 7CE306B907AD8859 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:16] 695*2^1424322-1 is not prime. Res64: 0031201FE4FBA887 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:16] 737*2^1424322-1 is not prime. Res64: 7A381A5FBB0E3E9A Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:17] 765*2^1424322-1 is not prime. Res64: CD57D62367D6FD4D Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:21] 999*2^1424320-1 is not prime. Res64: 39B5DCFCEF0A1923 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:21] 679*2^1424321-1 is not prime. Res64: 837F020D48EB994A Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:21] 741*2^1424321-1 is not prime. Res64: EE15C81B4CBC668D Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:22] 811*2^1424321-1 is not prime. Res64: D869CF8F826082C2 Time : 0.0 sec. user=mdettweiler [2016-03-26 05:40:22] 633*2^1424322-1 is not prime. Res64: DAB88F6F7541A776 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:15:56] 825*2^1424322-1 is not prime. Res64: D848956847145677 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:15:57] 921*2^1424322-1 is not prime. Res64: 3E915A574958422A Time : 0.0 sec. user=mdettweiler [2016-03-26 06:15:57] 941*2^1424322-1 is not prime. Res64: F1047686F2275547 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:15:57] 649*2^1424323-1 is not prime. Res64: 23A780D63BC2323C Time : 0.0 sec. user=mdettweiler [2016-03-26 06:15:58] 735*2^1424323-1 is not prime. Res64: 120E3CAA9E5E77E8 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:16:09] 895*2^1424323-1 is not prime. Res64: 4995B1FF29BD9505 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:16:10] 915*2^1424323-1 is not prime. Res64: C7F5B501D242A7FC Time : 0.0 sec. user=mdettweiler [2016-03-26 06:16:10] 969*2^1424323-1 is not prime. Res64: 02CDD84FE05BDE55 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:16:10] 973*2^1424323-1 is not prime. Res64: 751C75B717EF52C5 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:16:11] 615*2^1424324-1 is not prime. Res64: FFB22931D11C21D2 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:26] 657*2^1424326-1 is not prime. Res64: 1A6ECFCD83A08E10 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:27] 743*2^1424326-1 is not prime. Res64: 71BCC2A64EB1D8C6 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:27] 821*2^1424326-1 is not prime. Res64: C803EF696E6678D3 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:27] 621*2^1424327-1 is not prime. Res64: 628E36DC76D53E59 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:28] 711*2^1424327-1 is not prime. Res64: FDCABEF9832E7B9A Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:35] 665*2^1424324-1 is not prime. Res64: 768902C80E8D4D88 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:35] 929*2^1424324-1 is not prime. Res64: AB03F917899D9250 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:36] 607*2^1424325-1 is not prime. Res64: 39B10C8AD268B3F2 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:36] 885*2^1424325-1 is not prime. Res64: 5719F44CD0ADB817 Time : 0.0 sec. user=mdettweiler [2016-03-26 06:24:37] 653*2^1424326-1 is not prime. Res64: 95DC779CB3C14737 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:16] 753*2^1424327-1 is not prime. Res64: 41BBA9D402BDF876 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:17] 993*2^1424327-1 is not prime. Res64: 3FAD43BDD42A7EA2 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:17] 689*2^1424328-1 is not prime. Res64: E7059382A9A4127D Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:17] 699*2^1424328-1 is not prime. Res64: 64B40CB313706883 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:18] 767*2^1424328-1 is not prime. Res64: 17DC8E314953279F Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:32] 681*2^1424329-1 is not prime. Res64: 3CFA64483411D227 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:33] 765*2^1424329-1 is not prime. Res64: 4FE4F960179E9B6C Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:34] 801*2^1424329-1 is not prime. Res64: 3A26F0A2C969430A Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:35] 811*2^1424329-1 is not prime. Res64: 7111D6CAC6553F78 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:00:36] 831*2^1424329-1 is not prime. Res64: CCB72FD18C5725E7 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:08:39] 847*2^1424329-1 is not prime. Res64: F30D1D22A56BDFFD Time : 0.0 sec. user=mdettweiler [2016-03-26 07:08:43] 877*2^1424329-1 is not prime. Res64: 579E502E208B1580 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:08:46] 603*2^1424330-1 is not prime. Res64: E8F14B9224EE3CD1 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:08:48] 665*2^1424330-1 is not prime. Res64: C1EF1730AE4AC9E3 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:08:50] 677*2^1424330-1 is not prime. Res64: 8398FDD78FCBBD51 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:09:05] 711*2^1424330-1 is not prime. Res64: 48DD4187C6FD81DC Time : 0.0 sec. user=mdettweiler [2016-03-26 07:09:10] 741*2^1424330-1 is not prime. Res64: F58083461DAADEF3 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:09:13] 783*2^1424330-1 is not prime. Res64: D8CF2984C03B958D Time : 0.0 sec. user=mdettweiler [2016-03-26 07:09:14] 875*2^1424330-1 is not prime. Res64: 5B20C1C92B41F0E3 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:09:18] 887*2^1424330-1 is not prime. Res64: EF80D785DD252EA3 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:29:46] 693*2^1424335-1 is not prime. Res64: A8658638E838ADEB Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:04] 911*2^1424330-1 is not prime. Res64: 7EBA418D42FBBD69 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:04] 957*2^1424330-1 is not prime. Res64: 8422E24A9CBF2AEF Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:05] 651*2^1424331-1 is not prime. Res64: 3EBBC5F3B7B174FD Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:05] 783*2^1424331-1 is not prime. Res64: 5E3BBCF45EC613DD Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:06] 961*2^1424331-1 is not prime. Res64: 49B8A1F9A1437E54 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:27] 969*2^1424331-1 is not prime. Res64: 8F0B6366837BB9E5 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:27] 623*2^1424332-1 is not prime. Res64: 4076DF4EA3701643 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:28] 657*2^1424332-1 is not prime. Res64: 8F3382663C9B6216 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:28] 803*2^1424332-1 is not prime. Res64: C27CE81FADDF3A12 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:45:28] 833*2^1424332-1 is not prime. Res64: E0738BE1EF6FC0EE Time : 0.0 sec. user=mdettweiler [2016-03-26 07:47:12] 763*2^1424335-1 is not prime. Res64: 0E1F8975026ED1FD Time : 0.0 sec. user=mdettweiler [2016-03-26 07:53:30] 745*2^1424333-1 is not prime. Res64: 3A2280592ED1A9C0 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:53:31] 775*2^1424333-1 is not prime. Res64: 4F6BF060E8130EBD Time : 0.0 sec. user=mdettweiler [2016-03-26 07:53:31] 915*2^1424333-1 is not prime. Res64: 5FECF87A95E74F7E Time : 0.0 sec. user=mdettweiler [2016-03-26 07:53:32] 955*2^1424333-1 is not prime. Res64: 817BCEC1B626F2DE Time : 0.0 sec. user=mdettweiler [2016-03-26 07:53:32] 657*2^1424334-1 is not prime. Res64: C41BDE40AEB63C30 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:54:14] 665*2^1424334-1 is not prime. Res64: 9D268215A4991716 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:54:14] 711*2^1424334-1 is not prime. Res64: 29E727EAF63A6709 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:54:15] 731*2^1424334-1 is not prime. Res64: 4DEA1CF814377CAE Time : 0.0 sec. user=mdettweiler [2016-03-26 07:54:15] 851*2^1424334-1 is not prime. Res64: 61A521D91BE88B92 Time : 0.0 sec. user=mdettweiler [2016-03-26 07:54:15] 609*2^1424335-1 is not prime. Res64: 9E417E7E9A90C293 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:29:38] 819*2^1424335-1 is not prime. Res64: 7D4071366789479D Time : 0.0 sec. user=mdettweiler [2016-03-26 08:29:39] 855*2^1424335-1 is not prime. Res64: 85294750ED1DFC20 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:29:39] 859*2^1424335-1 is not prime. Res64: 5EC6A7057D0D4671 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:29:40] 913*2^1424335-1 is not prime. Res64: CD92EF0B7F3B77BC Time : 0.0 sec. user=mdettweiler [2016-03-26 08:29:40] 919*2^1424335-1 is not prime. Res64: 96804E0DB00AAB36 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:30:13] 677*2^1424336-1 is not prime. Res64: 6797B272C1EAC767 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:30:13] 857*2^1424336-1 is not prime. Res64: 61BE43CB00EFB704 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:30:14] 675*2^1424337-1 is not prime. Res64: 6385D23C4A447BBD Time : 0.0 sec. user=mdettweiler [2016-03-26 08:30:14] 709*2^1424337-1 is not prime. Res64: E6965B0992759996 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:30:15] 795*2^1424337-1 is not prime. Res64: 2CF596AFAF9083D8 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:37:36] 807*2^1424337-1 is not prime. Res64: 9DAEEC4A79AF7AA2 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:37:37] 835*2^1424337-1 is not prime. Res64: 7F289A621CBD17F9 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:37:37] 837*2^1424337-1 is not prime. Res64: E4F98650139B2A6D Time : 0.0 sec. user=mdettweiler [2016-03-26 08:37:38] 885*2^1424337-1 is not prime. Res64: F0AB32FAC6104F29 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:37:38] 895*2^1424337-1 is not prime. Res64: 7EC5A17A9FFD02D0 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:38:51] 813*2^1424338-1 is not prime. Res64: 6E7EFC1F170FFCE2 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:38:52] 827*2^1424338-1 is not prime. Res64: 947E139F61EF60BB Time : 0.0 sec. user=mdettweiler [2016-03-26 08:38:52] 975*2^1424338-1 is not prime. Res64: 567789995C9119C5 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:38:52] 603*2^1424339-1 is not prime. Res64: 1CB88CAB187F0288 Time : 0.0 sec. user=mdettweiler [2016-03-26 08:38:53] 669*2^1424339-1 is not prime. Res64: CB92ECB6227538C9 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:13:56] 685*2^1424339-1 is not prime. Res64: DE2CF0D3EDDD8B0E Time : 0.0 sec. user=mdettweiler [2016-03-26 09:13:57] 991*2^1424339-1 is not prime. Res64: 9861D908D0FB2E73 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:13:57] 675*2^1424340-1 is not prime. Res64: 4020F8C087FA8D0F Time : 0.0 sec. user=mdettweiler [2016-03-26 09:13:58] 695*2^1424340-1 is not prime. Res64: 576C223C3E0B327E Time : 0.0 sec. user=mdettweiler [2016-03-26 09:13:58] 825*2^1424340-1 is not prime. Res64: 1852834B4ED26BCE Time : 0.0 sec. user=mdettweiler [2016-03-26 09:14:33] 839*2^1424340-1 is not prime. Res64: 5DDCCF828EA947A4 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:14:34] 927*2^1424340-1 is not prime. Res64: CEBF5A7D13C3CD7F Time : 0.0 sec. user=mdettweiler [2016-03-26 09:14:34] 965*2^1424340-1 is not prime. Res64: 14E4306B6D9B0DD4 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:14:35] 999*2^1424340-1 is not prime. Res64: 05BF4F566E8F4546 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:14:35] 609*2^1424341-1 is not prime. Res64: D40B84E8C1C5D1D7 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:16:39] 807*2^1424344-1 is not prime. Res64: 123D7D2F6175BF34 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:17:18] 869*2^1424344-1 is not prime. Res64: E61624C8DBF9BCF5 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:21:45] 747*2^1424341-1 is not prime. Res64: 90629DDE214A63E8 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:21:46] 757*2^1424341-1 is not prime. Res64: 91449AE3C8001233 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:21:46] 799*2^1424341-1 is not prime. Res64: 539B0AD45C69747C Time : 0.0 sec. user=mdettweiler [2016-03-26 09:21:47] 877*2^1424341-1 is not prime. Res64: F1C4862DA867CA46 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:21:47] 635*2^1424342-1 is not prime. Res64: A3276A31035C54AA Time : 0.0 sec. user=mdettweiler [2016-03-26 09:23:08] 755*2^1424342-1 is not prime. Res64: DB825065D16263ED Time : 0.0 sec. user=mdettweiler [2016-03-26 09:23:09] 679*2^1424343-1 is not prime. Res64: 238417D2858B1D1D Time : 0.0 sec. user=mdettweiler [2016-03-26 09:23:09] 609*2^1424344-1 is not prime. Res64: B7E1D0EEAD9F70BA Time : 0.0 sec. user=mdettweiler [2016-03-26 09:23:10] 675*2^1424344-1 is not prime. Res64: D7F16C7975423951 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:23:10] 723*2^1424344-1 is not prime. Res64: 0DD4571C44FACCCC Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:19] 887*2^1424344-1 is not prime. Res64: A5013A27A2D831F8 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:20] 903*2^1424344-1 is not prime. Res64: 4E479A919C693542 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:20] 959*2^1424344-1 is not prime. Res64: CDFC1D99A32CA6A0 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:20] 601*2^1424345-1 is not prime. Res64: F58169226A124E6A Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:21] 717*2^1424345-1 is not prime. Res64: CEAD65B6AE453308 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:53] 957*2^1424345-1 is not prime. Res64: 8568D2501CA86B54 Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:53] 653*2^1424346-1 is not prime. Res64: C655ADDD8A73D6CE Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:54] 723*2^1424346-1 is not prime. Res64: 787495EF5052316D Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:54] 765*2^1424346-1 is not prime. Res64: 75DA8F19F51D61CB Time : 0.0 sec. user=mdettweiler [2016-03-26 09:58:55] 867*2^1424346-1 is not prime. Res64: 34EF706FF4C76D4C Time : 0.0 sec. user=mdettweiler [2016-03-26 10:05:45] 873*2^1424346-1 is not prime. Res64: AF57724142DACDE6 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:05:47] 971*2^1424346-1 is not prime. Res64: 6175FDB11E4C284C Time : 0.0 sec. user=mdettweiler [2016-03-26 10:05:48] 993*2^1424346-1 is not prime. Res64: D8EA6CE481A4ABDD Time : 0.0 sec. user=mdettweiler [2016-03-26 10:05:49] 651*2^1424347-1 is not prime. Res64: 25D720CD0B8512E8 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:05:50] 765*2^1424347-1 is not prime. Res64: 0CAD7A3256DD5911 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:07:20] 793*2^1424347-1 is not prime. Res64: BA1079DA343C5174 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:07:20] 829*2^1424347-1 is not prime. Res64: FDE94C7CBD1188AB Time : 0.0 sec. user=mdettweiler [2016-03-26 10:07:21] 885*2^1424347-1 is not prime. Res64: F31AE5D8D0B25593 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:07:21] 975*2^1424347-1 is not prime. Res64: 206F03AECF3608E7 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:07:21] 615*2^1424348-1 is not prime. Res64: 0F796F4B22C3DD62 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:09:29] 751*2^1424349-1 is not prime. Res64: AB11825F8362D92C Time : 0.0 sec. user=mdettweiler [2016-03-26 10:09:55] 865*2^1424349-1 is not prime. Res64: E94B1B5A849AC68B Time : 0.0 sec. user=mdettweiler [2016-03-26 10:27:07] 775*2^1424351-1 is not prime. Res64: A89B3120E0F0FB85 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:42:40] 657*2^1424348-1 is not prime. Res64: CED5F96C113C6999 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:42:40] 669*2^1424348-1 is not prime. Res64: 598B525500152378 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:42:41] 683*2^1424348-1 is not prime. Res64: AED60EB290C6993D Time : 0.0 sec. user=mdettweiler [2016-03-26 10:42:41] 743*2^1424348-1 is not prime. Res64: 4FE93C6CB680F323 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:42:41] 897*2^1424348-1 is not prime. Res64: 9D5936ED76DC3F07 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:43:15] 963*2^1424348-1 is not prime. Res64: C2BAAA4D3843D0C2 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:43:15] 999*2^1424348-1 is not prime. Res64: 120860BB608D278D Time : 0.0 sec. user=mdettweiler [2016-03-26 10:43:16] 639*2^1424349-1 is not prime. Res64: A4E1E90710EBA722 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:43:16] 657*2^1424349-1 is not prime. Res64: 7D7CDD4D20A6D0D6 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:43:16] 735*2^1424349-1 is not prime. Res64: C162123675964DE6 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:50:32] 885*2^1424349-1 is not prime. Res64: E808628E77C45A5B Time : 0.0 sec. user=mdettweiler [2016-03-26 10:50:32] 945*2^1424349-1 is not prime. Res64: 0BC18E48683176C6 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:50:33] 961*2^1424349-1 is not prime. Res64: 6CC444CBC45FA2B6 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:50:33] 623*2^1424350-1 is not prime. Res64: 7477FE2C3FE77C0B Time : 0.0 sec. user=mdettweiler [2016-03-26 10:50:34] 675*2^1424350-1 is not prime. Res64: CEA877D6FA0E2EA8 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:51:51] 747*2^1424350-1 is not prime. Res64: 43655DE652B697EF Time : 0.0 sec. user=mdettweiler [2016-03-26 10:51:51] 923*2^1424350-1 is not prime. Res64: 0F64D68658B9E2FB Time : 0.0 sec. user=mdettweiler [2016-03-26 10:51:52] 621*2^1424351-1 is not prime. Res64: 9629537C2DB06A28 Time : 0.0 sec. user=mdettweiler [2016-03-26 10:51:52] 651*2^1424351-1 is not prime. Res64: F9C75D2AACCED9FC Time : 0.0 sec. user=mdettweiler [2016-03-26 10:51:53] 711*2^1424351-1 is not prime. Res64: 67BC7658BE8150D6 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:20:21] 831*2^1424354-1 is not prime. Res64: 125CBE01C3851366 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:05] 885*2^1424351-1 is not prime. Res64: 1ED76AF093367928 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:06] 949*2^1424351-1 is not prime. Res64: 736F7DBAC45B0484 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:06] 665*2^1424352-1 is not prime. Res64: EC10D9D359262B62 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:07] 717*2^1424352-1 is not prime. Res64: 2029104980BEC697 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:07] 719*2^1424352-1 is not prime. Res64: 9458C9365D3D3E91 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:41] 747*2^1424352-1 is not prime. Res64: 473DC621C078686A Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:41] 849*2^1424352-1 is not prime. Res64: 9FB3EFC7BB75E0CE Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:41] 903*2^1424352-1 is not prime. Res64: 74E8CC5BE1A20A5D Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:42] 947*2^1424352-1 is not prime. Res64: 29FF0BCB423B19A4 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:27:42] 959*2^1424352-1 is not prime. Res64: 639C7FD8B4DB7C22 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:34:42] 615*2^1424353-1 is not prime. Res64: 79CA88AC6CCFF382 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:34:42] 751*2^1424353-1 is not prime. Res64: E83A932080676AB7 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:34:42] 789*2^1424353-1 is not prime. Res64: EE974FEC609A26FD Time : 0.0 sec. user=mdettweiler [2016-03-26 11:34:43] 807*2^1424353-1 is not prime. Res64: 16AA876B4A5F5045 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:34:43] 633*2^1424354-1 is not prime. Res64: D8A1AF89084B3AC8 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:36:02] 635*2^1424354-1 is not prime. Res64: F5913DDAED224057 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:36:03] 665*2^1424354-1 is not prime. Res64: 69C6757A87043180 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:36:03] 671*2^1424354-1 is not prime. Res64: 2CE2E069BA0386D1 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:36:03] 705*2^1424354-1 is not prime. Res64: D48AAEF790E2B47E Time : 0.0 sec. user=mdettweiler [2016-03-26 11:36:04] 753*2^1424354-1 is not prime. Res64: 5559FA8426938EB0 Time : 0.0 sec. user=mdettweiler [2016-03-26 11:55:03] 963*2^1424358-1 is not prime. Res64: E5822CCAA8233DCA Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:20] 851*2^1424354-1 is not prime. Res64: C7F3AAD83D0687AB Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:20] 861*2^1424354-1 is not prime. Res64: 7C38005E7CAC95BF Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:20] 875*2^1424354-1 is not prime. Res64: F9E9E2A3CF3EF9EB Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:21] 609*2^1424355-1 is not prime. Res64: 1D58E9490D4B96DC Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:21] 765*2^1424355-1 is not prime. Res64: 00F217626CF8CCDD Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:49] 789*2^1424355-1 is not prime. Res64: C3524A8A8994C47C Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:49] 859*2^1424355-1 is not prime. Res64: 6D1342B8913CC213 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:50] 903*2^1424355-1 is not prime. Res64: C1CEA41DD6749184 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:50] 919*2^1424355-1 is not prime. Res64: ACB745336951F8F8 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:11:50] 615*2^1424356-1 is not prime. Res64: 2801450B4011CB19 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:13:24] 685*2^1424359-1 is not prime. Res64: 39BE3441FF8BA286 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:13:39] 693*2^1424359-1 is not prime. Res64: C096EBA198AEAC23 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:18:41] 705*2^1424356-1 is not prime. Res64: B33D131F2DE55D6D Time : 0.0 sec. user=mdettweiler [2016-03-26 12:18:41] 947*2^1424356-1 is not prime. Res64: 45D17F8A101EF914 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:18:42] 989*2^1424356-1 is not prime. Res64: 1F7A0483D2552EA5 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:18:42] 757*2^1424357-1 is not prime. Res64: CDBFB8D299A85181 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:18:42] 801*2^1424357-1 is not prime. Res64: 2BD0031D499DE464 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:20:10] 981*2^1424357-1 is not prime. Res64: 031330BE29442F50 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:20:10] 991*2^1424357-1 is not prime. Res64: F017585130F6AEF3 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:20:10] 615*2^1424358-1 is not prime. Res64: 0BF1E88232BC73DA Time : 0.0 sec. user=mdettweiler [2016-03-26 12:20:11] 707*2^1424358-1 is not prime. Res64: 2ABFB1B62671C3DD Time : 0.0 sec. user=mdettweiler [2016-03-26 12:20:11] 843*2^1424358-1 is not prime. Res64: A183D28EEB41A567 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:31:22] 803*2^1424362-1 is not prime. Res64: 23AFB5F708A50829 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:55:40] 735*2^1424359-1 is not prime. Res64: FC54ABC792E21401 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:55:40] 813*2^1424359-1 is not prime. Res64: 1FD50A1A1A2DA237 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:55:40] 873*2^1424359-1 is not prime. Res64: 7254E72241C4B4E2 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:55:41] 889*2^1424359-1 is not prime. Res64: C57B613359A2D940 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:55:41] 895*2^1424359-1 is not prime. Res64: 252436180243FC9B Time : 0.0 sec. user=mdettweiler [2016-03-26 12:56:17] 969*2^1424359-1 is not prime. Res64: 9FB909BA995F9737 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:56:18] 605*2^1424360-1 is not prime. Res64: FE9A96ED7E648E16 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:56:18] 633*2^1424360-1 is not prime. Res64: 137442F6DE156218 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:56:19] 669*2^1424360-1 is not prime. Res64: 4471B70C502FA713 Time : 0.0 sec. user=mdettweiler [2016-03-26 12:56:19] 753*2^1424360-1 is not prime. Res64: 0EB907ECEF848AE7 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:02:56] 825*2^1424360-1 is not prime. Res64: E0E5F5F55D1A800B Time : 0.0 sec. user=mdettweiler [2016-03-26 13:02:57] 977*2^1424360-1 is not prime. Res64: F9C7163FC80408E6 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:02:59] 625*2^1424361-1 is not prime. Res64: E1A6FD4F6263AECF Time : 0.0 sec. user=mdettweiler [2016-03-26 13:02:59] 679*2^1424361-1 is not prime. Res64: 69E12BE0FC2468E0 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:03:00] 685*2^1424361-1 is not prime. Res64: A96D155ED0464977 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:04:31] 705*2^1424361-1 is not prime. Res64: C863CDE540A5E52E Time : 0.0 sec. user=mdettweiler [2016-03-26 13:04:33] 877*2^1424361-1 is not prime. Res64: FAA903FCB2BC770C Time : 0.0 sec. user=mdettweiler [2016-03-26 13:04:34] 999*2^1424361-1 is not prime. Res64: D8FFE9144362DC8C Time : 0.0 sec. user=mdettweiler [2016-03-26 13:04:35] 623*2^1424362-1 is not prime. Res64: 4E96E7BB10FD101D Time : 0.0 sec. user=mdettweiler [2016-03-26 13:04:36] 635*2^1424362-1 is not prime. Res64: D8BEB4BD84E0F3FE Time : 0.0 sec. user=mdettweiler [2016-03-26 13:06:30] 725*2^1424364-1 is not prime. Res64: 52D8C28A7EE45D9A Time : 0.0 sec. user=mdettweiler [2016-03-26 13:23:58] 705*2^1424366-1 is not prime. Res64: 3B1B1FA523BF528B Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:11] 813*2^1424362-1 is not prime. Res64: E9A5D00106C19499 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:11] 633*2^1424363-1 is not prime. Res64: 6384C1FAE1D15F34 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:12] 663*2^1424363-1 is not prime. Res64: 8AD0DF949C83CA48 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:12] 675*2^1424363-1 is not prime. Res64: 9EBB7DF366079B48 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:13] 775*2^1424363-1 is not prime. Res64: 52FC90752026EE2D Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:37] 853*2^1424363-1 is not prime. Res64: DA1A872BFC082CDA Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:37] 943*2^1424363-1 is not prime. Res64: 94B29FEA482589C8 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:37] 945*2^1424363-1 is not prime. Res64: 24267D606DA1A708 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:38] 963*2^1424363-1 is not prime. Res64: 18A9B6DBB23CD441 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:40:38] 689*2^1424364-1 is not prime. Res64: 8AD464EFA8F2A13B Time : 0.0 sec. user=mdettweiler [2016-03-26 13:41:49] 785*2^1424366-1 is not prime. Res64: A597B5BF61741793 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:47:28] 789*2^1424364-1 is not prime. Res64: E00E2622323408F7 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:47:28] 903*2^1424364-1 is not prime. Res64: 7B496AB00C233591 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:47:28] 927*2^1424364-1 is not prime. Res64: 06F9BBE394B53FB5 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:47:29] 929*2^1424364-1 is not prime. Res64: F6D84AD40A75700B Time : 0.0 sec. user=mdettweiler [2016-03-26 13:47:29] 651*2^1424365-1 is not prime. Res64: E0DF3810C738B575 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:49:03] 717*2^1424365-1 is not prime. Res64: 247E89B1CAA08634 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:49:03] 741*2^1424365-1 is not prime. Res64: 25CE75AA1B8C54B3 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:49:04] 759*2^1424365-1 is not prime. Res64: 2E249FD8692E2C33 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:49:04] 861*2^1424365-1 is not prime. Res64: 15844771E67EEA8B Time : 0.0 sec. user=mdettweiler [2016-03-26 13:49:05] 937*2^1424365-1 is not prime. Res64: B8770D080F976565 Time : 0.0 sec. user=mdettweiler [2016-03-26 13:59:23] 987*2^1424369-1 is not prime. Res64: 5C86D5F032317F64 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:24:43] 825*2^1424366-1 is not prime. Res64: C0C3ECB2FEE403E6 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:24:43] 827*2^1424366-1 is not prime. Res64: B864AF909E6F2631 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:24:44] 843*2^1424366-1 is not prime. Res64: 35210B22F578DE5E Time : 0.0 sec. user=mdettweiler [2016-03-26 14:24:44] 857*2^1424366-1 is not prime. Res64: CC2DF09D8BD9FC33 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:24:45] 921*2^1424366-1 is not prime. Res64: 6D0B3796E43CA29F Time : 0.0 sec. user=mdettweiler [2016-03-26 14:25:05] 945*2^1424366-1 is not prime. Res64: F2BFC81C8A9F718F Time : 0.0 sec. user=mdettweiler [2016-03-26 14:25:05] 649*2^1424367-1 is not prime. Res64: 5DBA161073D3D3AF Time : 0.0 sec. user=mdettweiler [2016-03-26 14:25:06] 735*2^1424367-1 is not prime. Res64: 892E02067388C772 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:25:06] 793*2^1424367-1 is not prime. Res64: B91EA08C1C4256EB Time : 0.0 sec. user=mdettweiler [2016-03-26 14:25:06] 895*2^1424367-1 is not prime. Res64: B9BDFFCFC73172F7 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:31:46] 639*2^1424368-1 is not prime. Res64: F59E96F4036ACD28 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:31:47] 743*2^1424368-1 is not prime. Res64: 189FE226FAB1661B Time : 0.0 sec. user=mdettweiler [2016-03-26 14:31:47] 827*2^1424368-1 is not prime. Res64: 0A6C7F0C104614A8 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:31:47] 909*2^1424368-1 is not prime. Res64: 44EDA8A641D2EF21 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:31:48] 957*2^1424368-1 is not prime. Res64: FF84BA39A9DDF59C Time : 0.0 sec. user=mdettweiler [2016-03-26 14:33:29] 657*2^1424369-1 is not prime. Res64: 5C2740E1A941BEA4 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:33:30] 697*2^1424369-1 is not prime. Res64: 73C422BFDF3B2246 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:33:30] 727*2^1424369-1 is not prime. Res64: 01234333585C1CF7 Time : 0.0 sec. user=mdettweiler [2016-03-26 14:33:30] 735*2^1424369-1 is not prime. Res64: 12E63ED50DF20BFF Time : 0.0 sec. user=mdettweiler [2016-03-26 14:33:31] 847*2^1424369-1 is not prime. Res64: B11DB3BB21506694 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:10:41] 611*2^1424374-1 is not prime. Res64: 538A49B6778C2487 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:02] 871*2^1424371-1 is not prime. Res64: E7A6A8370B6937DC Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:02] 973*2^1424371-1 is not prime. Res64: 4062E0D9DAB72A56 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:03] 979*2^1424371-1 is not prime. Res64: 09A88C1BAE619210 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:03] 635*2^1424372-1 is not prime. Res64: 46BCF4D1CC2C9BCF Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:04] 677*2^1424372-1 is not prime. Res64: 938C61F9AE04C918 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:46] 801*2^1424370-1 is not prime. Res64: 02E6AE73E179CB67 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:46] 649*2^1424371-1 is not prime. Res64: 799256A0E5CF8F77 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:47] 673*2^1424371-1 is not prime. Res64: 6834B0509CBE0425 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:47] 759*2^1424371-1 is not prime. Res64: 683491385E8EC462 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:16:47] 819*2^1424371-1 is not prime. Res64: 3AEBFCC7EC56EB8F Time : 0.0 sec. user=mdettweiler [2016-03-26 15:24:09] 689*2^1424372-1 is not prime. Res64: EFCBDB40E60CA05B Time : 0.0 sec. user=mdettweiler [2016-03-26 15:24:10] 725*2^1424372-1 is not prime. Res64: CB518228864C3729 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:24:10] 785*2^1424372-1 is not prime. Res64: 25F8DF46ED325152 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:24:10] 885*2^1424372-1 is not prime. Res64: 494456317F160A40 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:24:11] 959*2^1424372-1 is not prime. Res64: BDE5519E4340B065 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:28:12] 681*2^1424373-1 is not prime. Res64: 9B230FCEE0A9CF84 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:28:12] 735*2^1424373-1 is not prime. Res64: 525AB1D64674981C Time : 0.0 sec. user=mdettweiler [2016-03-26 15:28:12] 867*2^1424373-1 is not prime. Res64: 0570DBFC4E16A707 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:28:13] 951*2^1424373-1 is not prime. Res64: 98BC51646C365903 Time : 0.0 sec. user=mdettweiler [2016-03-26 15:28:13] 999*2^1424373-1 is not prime. Res64: 7FC2B1172B56735A Time : 0.0 sec. user=mdettweiler [2016-03-26 16:17:25] 621*2^1424374-1 is not prime. Res64: B716B78593847268 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:17:25] 645*2^1424374-1 is not prime. Res64: 6B2E24AB1EC5C1C5 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:17:26] 663*2^1424374-1 is not prime. Res64: 68E2F4B248649A36 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:17:26] 815*2^1424374-1 is not prime. Res64: 9D411B8C90FD7B25 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:17:27] 885*2^1424374-1 is not prime. Res64: 40F391C49EAFA806 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:19:19] 887*2^1424374-1 is not prime. Res64: 34C49B7BA0C6FFF0 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:19:20] 915*2^1424374-1 is not prime. Res64: 212805BA9AA938C1 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:19:21] 957*2^1424374-1 is not prime. Res64: 4798AE69D586E9CC Time : 0.0 sec. user=mdettweiler [2016-03-26 16:19:21] 981*2^1424374-1 is not prime. Res64: B22DA4F7609AF5DC Time : 0.0 sec. user=mdettweiler [2016-03-26 16:19:22] 983*2^1424374-1 is not prime. Res64: 10607B168F6E08AC Time : 0.0 sec. user=mdettweiler [2016-03-26 16:25:13] 609*2^1424375-1 is not prime. Res64: 016AE7C15D9BB90D Time : 0.0 sec. user=mdettweiler [2016-03-26 16:25:13] 649*2^1424375-1 is not prime. Res64: 4EE6A6141FF674C9 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:25:13] 655*2^1424375-1 is not prime. Res64: 5179134D95C1F72C Time : 0.0 sec. user=mdettweiler [2016-03-26 16:25:14] 673*2^1424375-1 is not prime. Res64: 31E2DE0CD630A6A2 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:25:14] 675*2^1424375-1 is not prime. Res64: 0CADE21E0E2AE7BE Time : 0.0 sec. user=mdettweiler [2016-03-26 16:29:16] 735*2^1424375-1 is not prime. Res64: E827CD9CD3821F19 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:29:16] 759*2^1424375-1 is not prime. Res64: 6A70E65CAFB4E601 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:29:17] 763*2^1424375-1 is not prime. Res64: 4068648132947ABF Time : 0.0 sec. user=mdettweiler [2016-03-26 16:29:17] 889*2^1424375-1 is not prime. Res64: FAEF31470DFE0B32 Time : 0.0 sec. user=mdettweiler [2016-03-26 16:29:18] 981*2^1424375-1 is not prime. Res64: 5C3C0A874EEA947C Time : 0.0 sec. user=mdettweiler [2016-03-26 16:56:06] 919*2^1424379-1 is not prime. Res64: 7F2F5B147D6CE3AA Time : 0.0 sec. user=mdettweiler [2016-03-26 17:11:14] 609*2^1424377-1 is not prime. Res64: F9FEB1F6C13CCBCF Time : 0.0 sec. user=mdettweiler [2016-03-26 17:11:14] 661*2^1424377-1 is not prime. Res64: 553D3DD0D8171786 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:11:15] 667*2^1424377-1 is not prime. Res64: 51453209B80AF567 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:11:15] 871*2^1424377-1 is not prime. Res64: 3E2DA9B63E7BDAD2 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:11:16] 945*2^1424377-1 is not prime. Res64: E9D216844EBBAED1 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:13:42] 717*2^1424376-1 is not prime. Res64: B44C60AF219C4FF4 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:13:42] 849*2^1424376-1 is not prime. Res64: 358FBF4739C8678C Time : 0.0 sec. user=mdettweiler [2016-03-26 17:13:42] 917*2^1424376-1 is not prime. Res64: D24B92D9D1F0A40A Time : 0.0 sec. user=mdettweiler [2016-03-26 17:13:43] 927*2^1424376-1 is not prime. Res64: B87AD3239DF42CFD Time : 0.0 sec. user=mdettweiler [2016-03-26 17:13:43] 983*2^1424376-1 is not prime. Res64: 4ADE1533CE4B1B00 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:19:29] 633*2^1424378-1 is not prime. Res64: 28F7932C31676EAE Time : 0.0 sec. user=mdettweiler [2016-03-26 17:19:29] 635*2^1424378-1 is not prime. Res64: AA24C9128B016BD4 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:19:29] 711*2^1424378-1 is not prime. Res64: 3A8A95200650E666 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:19:30] 747*2^1424378-1 is not prime. Res64: 5154BC2BA717A1DC Time : 0.0 sec. user=mdettweiler [2016-03-26 17:19:30] 815*2^1424378-1 is not prime. Res64: 164F1F6DF25802D1 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:24:49] 837*2^1424378-1 is not prime. Res64: FAB5983B84DB6FC8 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:24:49] 971*2^1424378-1 is not prime. Res64: 73F2D75F9929B5B4 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:24:49] 609*2^1424379-1 is not prime. Res64: 8BF201A2D137511F Time : 0.0 sec. user=mdettweiler [2016-03-26 17:24:50] 663*2^1424379-1 is not prime. Res64: 3FDD43C7F784FC1C Time : 0.0 sec. user=mdettweiler [2016-03-26 17:24:50] 789*2^1424379-1 is not prime. Res64: 51B154EAF008A285 Time : 0.0 sec. user=mdettweiler [2016-03-26 17:32:09] 627*2^1424382-1 is not prime. Res64: BDB3B11952C0E972 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:08:00] 623*2^1424384-1 is not prime. Res64: 2CE5A69922242989 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:09:09] 949*2^1424379-1 is not prime. Res64: EBD79A58B5A718B7 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:09:10] 955*2^1424379-1 is not prime. Res64: 5C369D1EAD46E23E Time : 0.0 sec. user=mdettweiler [2016-03-26 18:09:10] 675*2^1424380-1 is not prime. Res64: 77F023ADB8216241 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:09:10] 833*2^1424380-1 is not prime. Res64: 36CC878F22FA1E5E Time : 0.0 sec. user=mdettweiler [2016-03-26 18:09:11] 857*2^1424380-1 is not prime. Res64: 04398159CD72548B Time : 0.0 sec. user=mdettweiler [2016-03-26 18:15:41] 905*2^1424380-1 is not prime. Res64: 9FC911F9CAB7D9A7 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:15:41] 957*2^1424380-1 is not prime. Res64: AC2A8D9554CB0B84 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:15:42] 711*2^1424381-1 is not prime. Res64: 44F663DB7A1CFC31 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:15:42] 715*2^1424381-1 is not prime. Res64: 879C8C089FB2A483 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:15:42] 735*2^1424381-1 is not prime. Res64: 1B103CCAEAA48543 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:19:47] 741*2^1424381-1 is not prime. Res64: 657F60747370A327 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:19:47] 777*2^1424381-1 is not prime. Res64: EA725E1A8CF93BE2 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:19:47] 867*2^1424381-1 is not prime. Res64: 8F1C2184C58DFC72 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:19:48] 939*2^1424381-1 is not prime. Res64: B87CEDFD25BFB645 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:19:48] 967*2^1424381-1 is not prime. Res64: 404362066111750D Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:32] 611*2^1424386-1 is not prime. Res64: 392840296AE08DF8 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:46] 683*2^1424382-1 is not prime. Res64: 4BB41AF51F5D0F20 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:46] 801*2^1424382-1 is not prime. Res64: 0CCD02791FB6F827 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:46] 891*2^1424382-1 is not prime. Res64: 84F293F79736AE54 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:47] 769*2^1424383-1 is not prime. Res64: 79283607E4CB2239 Time : 0.0 sec. user=mdettweiler [2016-03-26 18:25:47] 925*2^1424383-1 is not prime. Res64: 3A069320DA23AA1E Time : 0.0 sec. user=mdettweiler [2016-03-26 19:00:42] 705*2^1424387-1 is not prime. Res64: BE22EEB89BB9B7DB Time : 0.0 sec. user=mdettweiler [2016-03-26 19:10:20] 665*2^1424384-1 is not prime. Res64: 9021E915040A5A81 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:10:20] 819*2^1424384-1 is not prime. Res64: CB608B686E991BB2 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:10:21] 899*2^1424384-1 is not prime. Res64: 38141E20F22B93D7 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:10:21] 927*2^1424384-1 is not prime. Res64: 9F1CCF342C83387E Time : 0.0 sec. user=mdettweiler [2016-03-26 19:10:21] 627*2^1424385-1 is not prime. Res64: F71391AA1F7EF9EA Time : 0.0 sec. user=mdettweiler [2016-03-26 19:17:36] 657*2^1424385-1 is not prime. Res64: 27CF48017FB4A76B Time : 0.0 sec. user=mdettweiler [2016-03-26 19:17:36] 735*2^1424385-1 is not prime. Res64: 6964AC8452FB1C82 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:17:36] 781*2^1424385-1 is not prime. Res64: E063FA519489E3DD Time : 0.0 sec. user=mdettweiler [2016-03-26 19:17:37] 817*2^1424385-1 is not prime. Res64: 0B5C3FB0785E9E7D Time : 0.0 sec. user=mdettweiler [2016-03-26 19:17:37] 847*2^1424385-1 is not prime. Res64: 332A5ED85C48D3C4 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:19:50] 675*2^1424386-1 is not prime. Res64: 1AF3D62F2898D06B Time : 0.0 sec. user=mdettweiler [2016-03-26 19:19:51] 747*2^1424386-1 is not prime. Res64: E4AE5B53442C6F71 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:19:51] 755*2^1424386-1 is not prime. Res64: 21DDF88549252AE9 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:19:51] 773*2^1424386-1 is not prime. Res64: A1F5D113632F926A Time : 0.0 sec. user=mdettweiler [2016-03-26 19:19:52] 783*2^1424386-1 is not prime. Res64: D5288E1A9B561F19 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:28:03] 981*2^1424386-1 is not prime. Res64: 8A9CBF88982C5811 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:28:04] 643*2^1424387-1 is not prime. Res64: D425E3FC7DA6FE6A Time : 0.0 sec. user=mdettweiler [2016-03-26 19:28:04] 651*2^1424387-1 is not prime. Res64: 45616053A363837B Time : 0.0 sec. user=mdettweiler [2016-03-26 19:28:04] 663*2^1424387-1 is not prime. Res64: A9DAF2519B503002 Time : 0.0 sec. user=mdettweiler [2016-03-26 19:28:05] 685*2^1424387-1 is not prime. Res64: 3F018CBD78F42254 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:09:10] 885*2^1424387-1 is not prime. Res64: F2038ED4E72304F8 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:09:11] 979*2^1424387-1 is not prime. Res64: F08D88EF8EDE777E Time : 0.0 sec. user=mdettweiler [2016-03-26 20:09:11] 981*2^1424387-1 is not prime. Res64: EBEF954D48E9633F Time : 0.0 sec. user=mdettweiler [2016-03-26 20:09:12] 993*2^1424387-1 is not prime. Res64: 39C9FB914EF928C8 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:09:12] 629*2^1424388-1 is not prime. Res64: EFEDB0BE67D56615 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:11:41] 951*2^1424391-1 is not prime. Res64: 2DF4EBBC107E599F Time : 0.0 sec. user=mdettweiler [2016-03-26 20:18:07] 675*2^1424389-1 is not prime. Res64: 4E1B8550370D1506 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:18:07] 687*2^1424389-1 is not prime. Res64: 5093C297EF783FA5 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:18:07] 831*2^1424389-1 is not prime. Res64: 50E9457615A007A5 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:18:07] 951*2^1424389-1 is not prime. Res64: 2F129C41670F0FE7 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:18:08] 955*2^1424389-1 is not prime. Res64: 5687E783E70A968B Time : 0.0 sec. user=mdettweiler [2016-03-26 20:20:23] 759*2^1424388-1 is not prime. Res64: 83191D395451E895 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:20:24] 825*2^1424388-1 is not prime. Res64: CD87D1E58B908037 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:20:24] 837*2^1424388-1 is not prime. Res64: 7B75363300F5674F Time : 0.0 sec. user=mdettweiler [2016-03-26 20:20:25] 839*2^1424388-1 is not prime. Res64: E31FB12B0CFD9C07 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:20:25] 661*2^1424389-1 is not prime. Res64: 15C6DB9C890DF736 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:28:12] 711*2^1424390-1 is not prime. Res64: 65B91EA74F05DA98 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:28:13] 843*2^1424390-1 is not prime. Res64: ACCB06F65B4C10C4 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:28:13] 861*2^1424390-1 is not prime. Res64: 8C482CA177CD1E6A Time : 0.0 sec. user=mdettweiler [2016-03-26 20:28:14] 735*2^1424391-1 is not prime. Res64: 222B75C7DFA44B68 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:28:14] 865*2^1424391-1 is not prime. Res64: C299658E5089120C Time : 0.0 sec. user=mdettweiler [2016-03-26 20:56:57] 975*2^1424391-1 is not prime. Res64: 909115192906DE68 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:56:57] 603*2^1424392-1 is not prime. Res64: DB2ADB32C892B459 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:56:58] 609*2^1424392-1 is not prime. Res64: 106AB18F488C2DB5 Time : 0.0 sec. user=mdettweiler [2016-03-26 20:56:58] 675*2^1424392-1 is not prime. Res64: D5F95ED739DB731D Time : 0.0 sec. user=mdettweiler [2016-03-26 20:56:58] 843*2^1424392-1 is not prime. Res64: 5DFB87B6207086A4 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:03:26] 855*2^1424392-1 is not prime. Res64: 160C6BAD16A17DEE Time : 0.0 sec. user=mdettweiler [2016-03-26 21:03:27] 923*2^1424392-1 is not prime. Res64: 0C11930CBABDD07F Time : 0.0 sec. user=mdettweiler [2016-03-26 21:03:29] 631*2^1424393-1 is not prime. Res64: 78E88874926BC1B4 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:03:30] 691*2^1424393-1 is not prime. Res64: 282604FCBA78312F Time : 0.0 sec. user=mdettweiler [2016-03-26 21:03:31] 697*2^1424393-1 is not prime. Res64: 6FA88209CF51A4EF Time : 0.0 sec. user=mdettweiler [2016-03-26 21:05:06] 789*2^1424393-1 is not prime. Res64: A12835AB4ABC073C Time : 0.0 sec. user=mdettweiler [2016-03-26 21:05:07] 829*2^1424393-1 is not prime. Res64: 26D033B98E984148 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:05:08] 847*2^1424393-1 is not prime. Res64: 484C8F6A6B2B3CBB Time : 0.0 sec. user=mdettweiler [2016-03-26 21:05:10] 855*2^1424393-1 is not prime. Res64: BF7D9B9E9D566640 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:05:11] 939*2^1424393-1 is not prime. Res64: 6A73FDC721871FE9 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:12:55] 949*2^1424393-1 is not prime. Res64: 9F17FE67CE25DADF Time : 0.0 sec. user=mdettweiler [2016-03-26 21:12:55] 991*2^1424393-1 is not prime. Res64: 761E11AF41F96BC1 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:12:56] 635*2^1424394-1 is not prime. Res64: DDF6813AB6D339D2 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:12:56] 681*2^1424394-1 is not prime. Res64: 27E97C9FE84773BD Time : 0.0 sec. user=mdettweiler [2016-03-26 21:12:57] 947*2^1424394-1 is not prime. Res64: D3BB67031857CED0 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:22:08] 687*2^1424398-1 is not prime. Res64: C696EE6AB5FF3031 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:41:43] 971*2^1424394-1 is not prime. Res64: FE426590CD8027C9 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:41:43] 993*2^1424394-1 is not prime. Res64: 425CE362584542BD Time : 0.0 sec. user=mdettweiler [2016-03-26 21:41:44] 679*2^1424395-1 is not prime. Res64: 893695D123BE2F3C Time : 0.0 sec. user=mdettweiler [2016-03-26 21:41:44] 723*2^1424395-1 is not prime. Res64: 547A7496292F7132 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:41:45] 775*2^1424395-1 is not prime. Res64: 54E9F1C3EF4A25C8 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:47:59] 973*2^1424395-1 is not prime. Res64: A0D20876236D0F66 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:48:00] 609*2^1424396-1 is not prime. Res64: 858E3909F6FF76C5 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:48:00] 669*2^1424396-1 is not prime. Res64: 30AB2C047105B26D Time : 0.0 sec. user=mdettweiler [2016-03-26 21:48:00] 677*2^1424396-1 is not prime. Res64: E7552CEB809D1C01 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:48:01] 683*2^1424396-1 is not prime. Res64: 604202EA8D1081CF Time : 0.0 sec. user=mdettweiler [2016-03-26 21:49:59] 707*2^1424396-1 is not prime. Res64: 273B2139DABB1354 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:49:59] 923*2^1424396-1 is not prime. Res64: C5C97AA8FEDEE775 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:50:00] 963*2^1424396-1 is not prime. Res64: 2B5C331BE352855A Time : 0.0 sec. user=mdettweiler [2016-03-26 21:50:00] 649*2^1424397-1 is not prime. Res64: 7E318B287CB28441 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:50:00] 699*2^1424397-1 is not prime. Res64: FFFA569CEA058495 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:57:23] 825*2^1424397-1 is not prime. Res64: FBD7BC041C02B796 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:57:23] 885*2^1424397-1 is not prime. Res64: 812FE6FFEBCF16B8 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:57:24] 889*2^1424397-1 is not prime. Res64: 16017B3731CEA0D3 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:57:24] 999*2^1424397-1 is not prime. Res64: EACDBE6DE7028582 Time : 0.0 sec. user=mdettweiler [2016-03-26 21:57:24] 645*2^1424398-1 is not prime. Res64: 5EB275C1939F7FFA Time : 0.0 sec. user=mdettweiler [2016-03-26 22:26:20] 705*2^1424398-1 is not prime. Res64: 805E857826E32FC9 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:26:20] 801*2^1424398-1 is not prime. Res64: BF8039AF42BC3CFC Time : 0.0 sec. user=mdettweiler [2016-03-26 22:26:21] 843*2^1424398-1 is not prime. Res64: 40E62365174FA16C Time : 0.0 sec. user=mdettweiler [2016-03-26 22:26:21] 703*2^1424399-1 is not prime. Res64: A531D51953032183 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:26:21] 729*2^1424399-1 is not prime. Res64: 9E575A75706589F9 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:02] 609*2^1424403-1 is not prime. Res64: FE9C434B69A9FB0A Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:28] 759*2^1424399-1 is not prime. Res64: 8887036159B8819C Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:28] 811*2^1424399-1 is not prime. Res64: 59081D1BFF874BFB Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:29] 859*2^1424399-1 is not prime. Res64: D5023B785793D8F4 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:29] 883*2^1424399-1 is not prime. Res64: 9D29F6AFB6FE7DB7 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:33:29] 693*2^1424400-1 is not prime. Res64: C5C66C36A9C433B3 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:35:46] 825*2^1424400-1 is not prime. Res64: 5C928623B1E835E6 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:35:46] 747*2^1424401-1 is not prime. Res64: 472E69B62D763D45 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:35:46] 751*2^1424401-1 is not prime. Res64: 244C2E88F42AF868 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:35:46] 925*2^1424401-1 is not prime. Res64: F3E28983CD4A9E07 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:35:47] 675*2^1424402-1 is not prime. Res64: 35E9EF69FD90A1FD Time : 0.0 sec. user=mdettweiler [2016-03-26 22:47:40] 683*2^1424402-1 is not prime. Res64: FCE3B577405C4DA2 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:47:40] 731*2^1424402-1 is not prime. Res64: E2A8685F40684E43 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:47:41] 735*2^1424402-1 is not prime. Res64: 03CAFFEAFA520C6E Time : 0.0 sec. user=mdettweiler [2016-03-26 22:47:41] 917*2^1424402-1 is not prime. Res64: DED44C6FB7F25E78 Time : 0.0 sec. user=mdettweiler [2016-03-26 22:47:41] 983*2^1424402-1 is not prime. Res64: 05BED96D1A0A79E2 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:23:31] 643*2^1424403-1 is not prime. Res64: 65DE6AA64FEA83F7 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:23:31] 675*2^1424403-1 is not prime. Res64: E632C824C1FF1CA2 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:23:31] 823*2^1424403-1 is not prime. Res64: 2F84222BD836E20B Time : 0.0 sec. user=mdettweiler [2016-03-26 23:23:32] 951*2^1424403-1 is not prime. Res64: E512CDF60FD33602 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:23:32] 955*2^1424403-1 is not prime. Res64: 8CC8B3794B6582A5 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:29:00] 609*2^1424404-1 is not prime. Res64: 24F966EBFD846030 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:29:00] 635*2^1424404-1 is not prime. Res64: A3184A88EF5648DC Time : 0.0 sec. user=mdettweiler [2016-03-26 23:29:00] 705*2^1424404-1 is not prime. Res64: D65EC99CF4D93C3F Time : 0.0 sec. user=mdettweiler [2016-03-26 23:29:01] 645*2^1424405-1 is not prime. Res64: B2B94F7FEE78B003 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:29:01] 669*2^1424405-1 is not prime. Res64: A93E3E6599FE2A5B Time : 0.0 sec. user=mdettweiler [2016-03-26 23:31:25] 675*2^1424405-1 is not prime. Res64: 78BF69C99F56B9F0 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:31:25] 711*2^1424405-1 is not prime. Res64: 8748B52C329DE672 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:31:26] 993*2^1424406-1 is not prime. Res64: AEFDCA7D0BB0776A Time : 0.0 sec. user=mdettweiler [2016-03-26 23:31:26] 1001*2^1424406-1 is not prime. Res64: 5D118DCAE18F2EAA Time : 0.0 sec. user=mdettweiler [2016-03-26 23:31:26] 603*2^1424407-1 is not prime. Res64: 86E8E76E97CB6D47 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:42:24] 615*2^1424407-1 is not prime. Res64: EA8824DAA9033986 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:42:25] 703*2^1424407-1 is not prime. Res64: ECBB487FC8870CAE Time : 0.0 sec. user=mdettweiler [2016-03-26 23:42:25] 805*2^1424407-1 is not prime. Res64: EF7B96FDF8696FE5 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:42:26] 819*2^1424407-1 is not prime. Res64: BE24FF102DDDEC11 Time : 0.0 sec. user=mdettweiler [2016-03-26 23:42:27] 873*2^1424407-1 is not prime. Res64: 4BEF10F987AE37EF Time : 0.0 sec.