user=mdettweiler [2016-11-22 00:02:32] 871*2^1446541-1 is not prime. Res64: 0F962D2D81BACD08 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:02:33] 895*2^1446541-1 is not prime. Res64: 831DC06F1AF167F9 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:02:33] 945*2^1446541-1 is not prime. Res64: 022A93DD2AD41B8D Time : 0.0 sec. user=mdettweiler [2016-11-22 00:02:34] 873*2^1446542-1 is not prime. Res64: 2B2F0B3C13036C94 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:02:35] 893*2^1446542-1 is not prime. Res64: 47BBA5755F4345AE Time : 0.0 sec. user=mdettweiler [2016-11-22 00:14:30] 953*2^1446542-1 is not prime. Res64: A1C42DBC040693E0 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:14:30] 691*2^1446543-1 is not prime. Res64: 2169CAE7A8DF5DCF Time : 0.0 sec. user=mdettweiler [2016-11-22 00:14:30] 789*2^1446543-1 is not prime. Res64: 0B2B80F2D08F2CF8 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:14:30] 805*2^1446543-1 is not prime. Res64: 10E1DD82A7B4AEF1 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:14:31] 885*2^1446543-1 is not prime. Res64: 2A468D214E8895A3 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:31:35] 891*2^1446543-1 is not prime. Res64: F2B5945D3D24CA51 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:31:35] 969*2^1446543-1 is not prime. Res64: 34E33CAD35532729 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:31:35] 605*2^1446544-1 is not prime. Res64: A63EAFC65800BFDB Time : 0.0 sec. user=mdettweiler [2016-11-22 00:31:35] 827*2^1446544-1 is not prime. Res64: 15EC65CBF7837546 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:31:36] 863*2^1446544-1 is not prime. Res64: AC163FBBF57C8193 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:32:13] 873*2^1446544-1 is not prime. Res64: 369044D51AD01962 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:32:13] 645*2^1446545-1 is not prime. Res64: 0A27E290CCDA6B45 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:32:13] 691*2^1446545-1 is not prime. Res64: EC7A60202F89F7D3 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:32:13] 699*2^1446545-1 is not prime. Res64: CDE0E4F8AC89FCDD Time : 0.0 sec. user=mdettweiler [2016-11-22 00:32:14] 729*2^1446545-1 is not prime. Res64: C4C0DEBF2B6D8986 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:51:55] 969*2^1446545-1 is not prime. Res64: D7442877E95773CB Time : 0.0 sec. user=mdettweiler [2016-11-22 00:51:56] 735*2^1446546-1 is not prime. Res64: 927CEB8BC8F25566 Time : 0.0 sec. user=mdettweiler [2016-11-22 00:51:56] 741*2^1446546-1 is not prime. Res64: 8058F46157A1B97A Time : 0.0 sec. user=mdettweiler [2016-11-22 00:51:56] 777*2^1446546-1 is not prime. Res64: 89BBAA414F9EDB0C Time : 0.0 sec. user=mdettweiler [2016-11-22 00:51:56] 933*2^1446546-1 is not prime. Res64: 2464691234AC0EAE Time : 0.0 sec. user=mdettweiler [2016-11-22 01:04:34] 631*2^1446547-1 is not prime. Res64: A69AA7AFB6602782 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:04:36] 915*2^1446547-1 is not prime. Res64: D14AB693E21852D5 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:04:37] 985*2^1446547-1 is not prime. Res64: BC2D097D5E52F0C6 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:04:38] 677*2^1446548-1 is not prime. Res64: 017C71FB0D2940C9 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:04:39] 797*2^1446548-1 is not prime. Res64: 90D1CCA400369256 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:23] 681*2^1446549-1 is not prime. Res64: 237E084EE6EB877B Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:23] 721*2^1446549-1 is not prime. Res64: FABCAD92135B19A6 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:24] 745*2^1446549-1 is not prime. Res64: 38D246FCC2A733C9 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:24] 837*2^1446549-1 is not prime. Res64: BEB53308D3C78D87 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:24] 985*2^1446549-1 is not prime. Res64: E675C4D680314CEB Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:42] 843*2^1446548-1 is not prime. Res64: B2F65E2DDF77632B Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:42] 875*2^1446548-1 is not prime. Res64: C5507E3D20056C32 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:42] 615*2^1446549-1 is not prime. Res64: FA147FBF0EC927B6 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:42] 655*2^1446549-1 is not prime. Res64: B26CC33E059A9416 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:23:43] 657*2^1446549-1 is not prime. Res64: 95571F76AB0C565F Time : 0.0 sec. user=mdettweiler [2016-11-22 01:42:26] 773*2^1446550-1 is not prime. Res64: E1F44DD00F15160F Time : 0.0 sec. user=mdettweiler [2016-11-22 01:42:26] 891*2^1446550-1 is not prime. Res64: 4FBBFB5202D52A11 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:42:26] 945*2^1446550-1 is not prime. Res64: AF7E78F2FE911339 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:42:27] 651*2^1446551-1 is not prime. Res64: 1DFB17F28057B5AE Time : 0.0 sec. user=mdettweiler [2016-11-22 01:42:27] 661*2^1446551-1 is not prime. Res64: 2D5855D01C522E45 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:52:46] 909*2^1446551-1 is not prime. Res64: 91E8E79D7178AD46 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:52:47] 939*2^1446551-1 is not prime. Res64: B3FC215EB7CE45DE Time : 0.0 sec. user=mdettweiler [2016-11-22 01:52:47] 993*2^1446551-1 is not prime. Res64: 1E6DB79113C1DAA8 Time : 0.0 sec. user=mdettweiler [2016-11-22 01:52:47] 639*2^1446552-1 is not prime. Res64: 8577B6E286249D1B Time : 0.0 sec. user=mdettweiler [2016-11-22 01:52:48] 665*2^1446552-1 is not prime. Res64: 3C3D16CA05BBECD4 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:23] 669*2^1446552-1 is not prime. Res64: A35F6B7B59DD2618 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:23] 759*2^1446552-1 is not prime. Res64: DA7AD0E9D7B482F5 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:23] 947*2^1446552-1 is not prime. Res64: 8D94FCB52D5E4A46 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:24] 607*2^1446553-1 is not prime. Res64: 69D3B56BB55B4464 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:24] 649*2^1446553-1 is not prime. Res64: 89CDFABAA040B65E Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:57] 847*2^1446553-1 is not prime. Res64: 5D33653FF521334C Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:58] 897*2^1446553-1 is not prime. Res64: 474AA398E4DCEC7A Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:58] 677*2^1446554-1 is not prime. Res64: 254837A01D7AE976 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:58] 741*2^1446554-1 is not prime. Res64: E5A0687F395AFAF1 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:09:59] 747*2^1446554-1 is not prime. Res64: 2B8549BC54E9A42A Time : 0.0 sec. user=mdettweiler [2016-11-22 02:28:19] 797*2^1446554-1 is not prime. Res64: 346383C5DFE06E0F Time : 0.0 sec. user=mdettweiler [2016-11-22 02:28:21] 873*2^1446554-1 is not prime. Res64: F76E0CB37468651A Time : 0.0 sec. user=mdettweiler [2016-11-22 02:28:22] 651*2^1446555-1 is not prime. Res64: 556B5C5E5E63BCF7 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:28:22] 675*2^1446555-1 is not prime. Res64: 2D5E25A749393EE2 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:28:23] 685*2^1446555-1 is not prime. Res64: 85E836E91670BB96 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:38:51] 765*2^1446555-1 is not prime. Res64: 2CA3DAF35CCA35AC Time : 0.0 sec. user=mdettweiler [2016-11-22 02:38:52] 775*2^1446555-1 is not prime. Res64: 1046F461D062B148 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:38:52] 805*2^1446555-1 is not prime. Res64: EA98A5B0FFC79474 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:38:53] 895*2^1446555-1 is not prime. Res64: 52A0C1553A9E4C6B Time : 0.0 sec. user=mdettweiler [2016-11-22 02:38:53] 973*2^1446555-1 is not prime. Res64: 63E02586934038E7 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:55:15] 623*2^1446556-1 is not prime. Res64: 0D4D64069F47F3C7 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:55:15] 657*2^1446556-1 is not prime. Res64: B6D0B2DD7362B920 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:55:15] 705*2^1446556-1 is not prime. Res64: 8D4B0C2B0BEBB0EA Time : 0.0 sec. user=mdettweiler [2016-11-22 02:55:15] 717*2^1446556-1 is not prime. Res64: 4247DF359C1FE3A4 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:55:16] 735*2^1446556-1 is not prime. Res64: 42F7CBCECFF062C2 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:56:00] 833*2^1446556-1 is not prime. Res64: 6DC528AC0A901D54 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:56:00] 869*2^1446556-1 is not prime. Res64: 84B5D9EDFB1C35F4 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:56:00] 619*2^1446557-1 is not prime. Res64: ACA475D54C871296 Time : 0.0 sec. user=mdettweiler [2016-11-22 02:56:00] 699*2^1446557-1 is not prime. Res64: 499BCBA18DBC414D Time : 0.0 sec. user=mdettweiler [2016-11-22 02:56:01] 771*2^1446557-1 is not prime. Res64: 1B65A351BC3074BE Time : 0.0 sec. user=mdettweiler [2016-11-22 03:14:49] 901*2^1446557-1 is not prime. Res64: 0EB50583FB3D292C Time : 0.0 sec. user=mdettweiler [2016-11-22 03:14:49] 641*2^1446558-1 is not prime. Res64: B35D851BABB81EA3 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:14:50] 737*2^1446558-1 is not prime. Res64: E036DE8FE64BAE0A Time : 0.0 sec. user=mdettweiler [2016-11-22 03:14:50] 761*2^1446558-1 is not prime. Res64: 0CE4CCBF58E2B85D Time : 0.0 sec. user=mdettweiler [2016-11-22 03:14:51] 773*2^1446558-1 is not prime. Res64: 78CFFFFA33722C16 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:25:45] 867*2^1446558-1 is not prime. Res64: F56794F84717C39C Time : 0.0 sec. user=mdettweiler [2016-11-22 03:25:49] 927*2^1446558-1 is not prime. Res64: 8607858934993ABE Time : 0.0 sec. user=mdettweiler [2016-11-22 03:25:49] 971*2^1446558-1 is not prime. Res64: 8D3D35C9F2B51E86 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:25:51] 723*2^1446559-1 is not prime. Res64: 8DB4E9979563BD80 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:25:51] 735*2^1446559-1 is not prime. Res64: ECD3EE16C7B15D48 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:03] 843*2^1446559-1 is not prime. Res64: FE111F888B04BD1A Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:04] 853*2^1446559-1 is not prime. Res64: 5083A0A143218B6C Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:05] 913*2^1446559-1 is not prime. Res64: 880561B085CD5F93 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:06] 633*2^1446560-1 is not prime. Res64: 1857F11144CBCB86 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:07] 669*2^1446560-1 is not prime. Res64: F6EDFE38FD87DE27 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:52] 689*2^1446560-1 is not prime. Res64: B5AE4ECA7EFCB92E Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:52] 717*2^1446560-1 is not prime. Res64: 94A5C02480F52FF0 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:53] 813*2^1446560-1 is not prime. Res64: A87BD12A1C8D2A57 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:54] 879*2^1446560-1 is not prime. Res64: 54EF52D2DA1E13F4 Time : 0.0 sec. user=mdettweiler [2016-11-22 03:42:54] 959*2^1446560-1 is not prime. Res64: 11548E5297B99CB7 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:03:01] 983*2^1446560-1 is not prime. Res64: BCF02BDFFE0AC9C8 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:03:05] 999*2^1446560-1 is not prime. Res64: E27FD24920AF2DF0 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:03:08] 651*2^1446561-1 is not prime. Res64: 12DB8FDEE6E1315D Time : 0.0 sec. user=mdettweiler [2016-11-22 04:03:09] 685*2^1446561-1 is not prime. Res64: 35E41B0E64DC5B40 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:03:13] 717*2^1446561-1 is not prime. Res64: 6902455C7C511547 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:12:36] 847*2^1446561-1 is not prime. Res64: 25A38387A8FD23EE Time : 0.0 sec. user=mdettweiler [2016-11-22 04:12:41] 861*2^1446561-1 is not prime. Res64: F85798CB723278F2 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:12:42] 909*2^1446561-1 is not prime. Res64: 2C7D10F526372462 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:12:45] 999*2^1446561-1 is not prime. Res64: CE3628BF2E432500 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:12:47] 603*2^1446562-1 is not prime. Res64: 3736333098F0238B Time : 0.0 sec. user=mdettweiler [2016-11-22 04:28:45] 855*2^1446562-1 is not prime. Res64: 997FF541EA9943E5 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:28:51] 857*2^1446562-1 is not prime. Res64: EE27D026C3B1E93E Time : 0.0 sec. user=mdettweiler [2016-11-22 04:28:51] 643*2^1446563-1 is not prime. Res64: DE986D326D19EA2A Time : 0.0 sec. user=mdettweiler [2016-11-22 04:28:52] 699*2^1446563-1 is not prime. Res64: 13AE96610516329D Time : 0.0 sec. user=mdettweiler [2016-11-22 04:28:52] 705*2^1446563-1 is not prime. Res64: 15221ABD90E7A7E0 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:29:15] 885*2^1446563-1 is not prime. Res64: 80D03F687D1987A4 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:29:16] 939*2^1446563-1 is not prime. Res64: EFA7DDA3AEDFA69D Time : 0.0 sec. user=mdettweiler [2016-11-22 04:29:16] 705*2^1446564-1 is not prime. Res64: 51E067DAC360E509 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:29:16] 723*2^1446564-1 is not prime. Res64: A947AAEA3989DDBA Time : 0.0 sec. user=mdettweiler [2016-11-22 04:29:16] 753*2^1446564-1 is not prime. Res64: 9665041627C9D588 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:49:20] 759*2^1446564-1 is not prime. Res64: CA5831B8C0DCF755 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:49:20] 923*2^1446564-1 is not prime. Res64: F7D3D9A1E39899FE Time : 0.0 sec. user=mdettweiler [2016-11-22 04:49:20] 777*2^1446565-1 is not prime. Res64: 084C0F6C1C4A3CF1 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:49:20] 801*2^1446565-1 is not prime. Res64: C813DD71705305A2 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:49:21] 867*2^1446565-1 is not prime. Res64: 249A6EB33A9F16AF Time : 0.0 sec. user=mdettweiler [2016-11-22 04:59:01] 915*2^1446565-1 is not prime. Res64: 0686F2B98036EBBE Time : 0.0 sec. user=mdettweiler [2016-11-22 04:59:01] 919*2^1446565-1 is not prime. Res64: 53D1D389E667CEFF Time : 0.0 sec. user=mdettweiler [2016-11-22 04:59:02] 927*2^1446565-1 is not prime. Res64: 0CC95ED9D04FBE4F Time : 0.0 sec. user=mdettweiler [2016-11-22 04:59:02] 937*2^1446565-1 is not prime. Res64: 62841F8141109DF6 Time : 0.0 sec. user=mdettweiler [2016-11-22 04:59:02] 951*2^1446565-1 is not prime. Res64: 3998C4176E279127 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:14:53] 975*2^1446565-1 is not prime. Res64: C8A6952424564C3B Time : 0.0 sec. user=mdettweiler [2016-11-22 05:14:53] 985*2^1446565-1 is not prime. Res64: AE481D04F1E25131 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:14:53] 603*2^1446566-1 is not prime. Res64: 18AFD975687D52CC Time : 0.0 sec. user=mdettweiler [2016-11-22 05:14:54] 635*2^1446566-1 is not prime. Res64: 49E2674891C889D9 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:14:54] 693*2^1446566-1 is not prime. Res64: 3163AF994ED8046D Time : 0.0 sec. user=mdettweiler [2016-11-22 05:15:22] 705*2^1446566-1 is not prime. Res64: 4B0502C2B437A1F7 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:15:22] 857*2^1446566-1 is not prime. Res64: 51213676B168D8C0 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:15:22] 867*2^1446566-1 is not prime. Res64: 227DEEB00B51D455 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:15:22] 903*2^1446566-1 is not prime. Res64: 9FBD46A6ADAB23D0 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:15:23] 923*2^1446566-1 is not prime. Res64: F76E425AE181EBB1 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:34:50] 935*2^1446566-1 is not prime. Res64: B9D0C9F132EB44EA Time : 0.0 sec. user=mdettweiler [2016-11-22 05:34:50] 981*2^1446566-1 is not prime. Res64: 6DA5DAEB3AB03F28 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:34:50] 643*2^1446567-1 is not prime. Res64: 3BFBDC0695CC82B7 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:34:50] 735*2^1446567-1 is not prime. Res64: 23866FA6BC816B57 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:34:50] 859*2^1446567-1 is not prime. Res64: E93DCE6A3657C975 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:44:38] 873*2^1446567-1 is not prime. Res64: 8CEBA6604DAC5097 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:44:39] 919*2^1446567-1 is not prime. Res64: 24449D71D715965B Time : 0.0 sec. user=mdettweiler [2016-11-22 05:44:39] 933*2^1446567-1 is not prime. Res64: 3F97E9220DD19264 Time : 0.0 sec. user=mdettweiler [2016-11-22 05:44:39] 951*2^1446567-1 is not prime. Res64: 2E73EDF3C323E6EC Time : 0.0 sec. user=mdettweiler [2016-11-22 05:44:39] 975*2^1446567-1 is not prime. Res64: D1B326D3B1A2A785 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:33] 677*2^1446568-1 is not prime. Res64: 3877694A7E51B37D Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:39] 689*2^1446568-1 is not prime. Res64: D339F625C011B758 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:40] 705*2^1446568-1 is not prime. Res64: D695899CDC2FA642 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:41] 735*2^1446568-1 is not prime. Res64: CBBD4F094BC7914A Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:42] 849*2^1446568-1 is not prime. Res64: B0A323344149FE91 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:53] 863*2^1446568-1 is not prime. Res64: 62F7ED29309FA82E Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:54] 875*2^1446568-1 is not prime. Res64: 8946E6DDAE3BCE92 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:00:55] 899*2^1446568-1 is not prime. Res64: 8A63F7DA91239541 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:01:01] 947*2^1446568-1 is not prime. Res64: 454860E80A23A574 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:01:02] 993*2^1446568-1 is not prime. Res64: CF191EF05DA1AF0E Time : 0.0 sec. user=mdettweiler [2016-11-22 06:20:13] 999*2^1446568-1 is not prime. Res64: 628CB6B841F40087 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:20:13] 679*2^1446569-1 is not prime. Res64: A918280041FEE1DE Time : 0.0 sec. user=mdettweiler [2016-11-22 06:20:13] 829*2^1446569-1 is not prime. Res64: 9D77D3743795F451 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:20:14] 889*2^1446569-1 is not prime. Res64: BF8D7E61D39410D3 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:20:14] 797*2^1446570-1 is not prime. Res64: 139829FB7068BE62 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:30:19] 915*2^1446570-1 is not prime. Res64: A079D1B5068DCAA2 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:30:20] 615*2^1446571-1 is not prime. Res64: FDD46C8ACF712204 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:30:20] 691*2^1446571-1 is not prime. Res64: 366667FBDB3E0CA6 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:30:20] 723*2^1446571-1 is not prime. Res64: 9EC6615D0C1BFE95 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:30:21] 735*2^1446571-1 is not prime. Res64: FB64B3ECFECADACD Time : 0.0 sec. user=mdettweiler [2016-11-22 06:46:36] 769*2^1446571-1 is not prime. Res64: 2DB9A0CF5436EC46 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:46:37] 793*2^1446571-1 is not prime. Res64: 82B73CDC6ABDF015 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:46:37] 841*2^1446571-1 is not prime. Res64: 9734D4D325AE21E8 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:46:37] 843*2^1446571-1 is not prime. Res64: FC8A5930B030FA1E Time : 0.0 sec. user=mdettweiler [2016-11-22 06:46:37] 861*2^1446571-1 is not prime. Res64: 2684B49682DA4815 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:47:00] 951*2^1446571-1 is not prime. Res64: 7AD4D2A324C70A13 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:47:00] 973*2^1446571-1 is not prime. Res64: A5AB2436B52EEB0A Time : 0.0 sec. user=mdettweiler [2016-11-22 06:47:00] 819*2^1446572-1 is not prime. Res64: BEFA76199E5F68D7 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:47:01] 855*2^1446572-1 is not prime. Res64: 15609893601E6681 Time : 0.0 sec. user=mdettweiler [2016-11-22 06:47:01] 875*2^1446572-1 is not prime. Res64: 73CAD1F68F579CE4 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:05:55] 657*2^1446573-1 is not prime. Res64: E77ECCF98D2F78A7 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:05:56] 691*2^1446573-1 is not prime. Res64: F16AD29BE4C43C66 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:05:57] 795*2^1446573-1 is not prime. Res64: 0A6FEC0814643AEB Time : 0.0 sec. user=mdettweiler [2016-11-22 07:05:58] 835*2^1446573-1 is not prime. Res64: 3E4B1E40F039FC55 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:05:59] 937*2^1446573-1 is not prime. Res64: 16336F60382BAA37 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:15:58] 979*2^1446573-1 is not prime. Res64: E62832D859EC08AC Time : 0.0 sec. user=mdettweiler [2016-11-22 07:15:59] 617*2^1446574-1 is not prime. Res64: 71F8E15670A65E97 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:15:59] 705*2^1446574-1 is not prime. Res64: 041FE84985E28726 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:15:59] 737*2^1446574-1 is not prime. Res64: BDA0419608F30DC5 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:15:59] 741*2^1446574-1 is not prime. Res64: 32ACD2454518DF72 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:11] 765*2^1446574-1 is not prime. Res64: 6A7042E004BE79EC Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:12] 903*2^1446574-1 is not prime. Res64: D7CCB8E6DE5ADFE8 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:12] 619*2^1446575-1 is not prime. Res64: 31A8CE93B841A715 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:12] 771*2^1446575-1 is not prime. Res64: B85B2AED3B208331 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:13] 831*2^1446575-1 is not prime. Res64: A78ABD725C7393AA Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:31] 909*2^1446575-1 is not prime. Res64: A35F69C20B8A8D16 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:32] 629*2^1446576-1 is not prime. Res64: D55A98FDD2BCE7F2 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:32] 815*2^1446576-1 is not prime. Res64: DB18F45579A154B8 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:32] 839*2^1446576-1 is not prime. Res64: FE7D5A48AD3560CD Time : 0.0 sec. user=mdettweiler [2016-11-22 07:32:32] 845*2^1446576-1 is not prime. Res64: 03270D05C59EFA62 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:51:41] 927*2^1446576-1 is not prime. Res64: DCA66814841A3859 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:51:41] 609*2^1446577-1 is not prime. Res64: F8DB2FD728C13871 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:51:42] 615*2^1446577-1 is not prime. Res64: 1CDC7C17A3DDE47C Time : 0.0 sec. user=mdettweiler [2016-11-22 07:51:42] 747*2^1446577-1 is not prime. Res64: 73C12D91467095E5 Time : 0.0 sec. user=mdettweiler [2016-11-22 07:51:42] 871*2^1446577-1 is not prime. Res64: 65C7D3D20D86FA2A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:01:45] 997*2^1446577-1 is not prime. Res64: 326193037B368963 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:01:46] 623*2^1446578-1 is not prime. Res64: 2F0A884188C3F88E Time : 0.0 sec. user=mdettweiler [2016-11-22 08:01:47] 735*2^1446578-1 is not prime. Res64: 22DBE56FB70FE0DE Time : 0.0 sec. user=mdettweiler [2016-11-22 08:01:52] 743*2^1446578-1 is not prime. Res64: FF38A3452850A36F Time : 0.0 sec. user=mdettweiler [2016-11-22 08:01:53] 797*2^1446578-1 is not prime. Res64: 38E48CF988E6233F Time : 0.0 sec. user=mdettweiler [2016-11-22 08:17:54] 953*2^1446578-1 is not prime. Res64: A4D22F88E196D94A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:17:55] 977*2^1446578-1 is not prime. Res64: AE4459DE62F2365F Time : 0.0 sec. user=mdettweiler [2016-11-22 08:17:56] 995*2^1446578-1 is not prime. Res64: E7B45E071E8A0D6C Time : 0.0 sec. user=mdettweiler [2016-11-22 08:17:56] 609*2^1446579-1 is not prime. Res64: A7463EE252B0435A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:17:57] 649*2^1446579-1 is not prime. Res64: FCC74A76517FE18B Time : 0.0 sec. user=mdettweiler [2016-11-22 08:18:31] 663*2^1446579-1 is not prime. Res64: 130329C3B3F71E30 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:18:31] 891*2^1446579-1 is not prime. Res64: 1D28426AF865AA18 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:18:32] 973*2^1446579-1 is not prime. Res64: F9B8602613244657 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:18:32] 623*2^1446580-1 is not prime. Res64: 1641E7E29A9BFAD2 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:18:32] 677*2^1446580-1 is not prime. Res64: BDD416EEFDE36C4A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:37:16] 719*2^1446580-1 is not prime. Res64: C9DF6C5AC0902139 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:37:16] 765*2^1446580-1 is not prime. Res64: 806DD720F850BD9A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:37:16] 825*2^1446580-1 is not prime. Res64: 207AE2246D3C4812 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:37:16] 697*2^1446581-1 is not prime. Res64: 86293832A1EC7EBD Time : 0.0 sec. user=mdettweiler [2016-11-22 08:37:17] 879*2^1446581-1 is not prime. Res64: E0EF7580F344C359 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:47:34] 949*2^1446581-1 is not prime. Res64: 9E4219CECF513749 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:47:34] 991*2^1446581-1 is not prime. Res64: 378EE93D5DF372B0 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:47:39] 657*2^1446582-1 is not prime. Res64: 041B25C286C50D0A Time : 0.0 sec. user=mdettweiler [2016-11-22 08:47:39] 677*2^1446582-1 is not prime. Res64: 8562D8B985067B56 Time : 0.0 sec. user=mdettweiler [2016-11-22 08:47:39] 695*2^1446582-1 is not prime. Res64: 45B638668F1F477D Time : 0.0 sec. user=mdettweiler [2016-11-22 09:03:18] 917*2^1446582-1 is not prime. Res64: D3016A112447F2B4 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:03:19] 941*2^1446582-1 is not prime. Res64: F97CFB318A9FFE6A Time : 0.0 sec. user=mdettweiler [2016-11-22 09:03:20] 963*2^1446582-1 is not prime. Res64: 9A31C582D7650D2B Time : 0.0 sec. user=mdettweiler [2016-11-22 09:03:20] 675*2^1446583-1 is not prime. Res64: EE038587A7C448AE Time : 0.0 sec. user=mdettweiler [2016-11-22 09:03:25] 771*2^1446583-1 is not prime. Res64: A87FC264243BBF60 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:04:26] 775*2^1446583-1 is not prime. Res64: AD82EE7E5144B029 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:04:27] 829*2^1446583-1 is not prime. Res64: 104E76B53D528D59 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:04:32] 871*2^1446583-1 is not prime. Res64: 211F9FF5BFA26907 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:04:33] 895*2^1446583-1 is not prime. Res64: B517CD3F4F8750C5 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:04:33] 615*2^1446584-1 is not prime. Res64: 5872AF4C72AE9B7F Time : 0.0 sec. user=mdettweiler [2016-11-22 09:22:34] 659*2^1446584-1 is not prime. Res64: 5919D6764C2E0283 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:22:35] 675*2^1446584-1 is not prime. Res64: 6A17A679A45A62EB Time : 0.0 sec. user=mdettweiler [2016-11-22 09:22:35] 677*2^1446584-1 is not prime. Res64: F78C6084D06C1C40 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:22:35] 899*2^1446584-1 is not prime. Res64: A3A0973B53447D37 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:22:35] 625*2^1446585-1 is not prime. Res64: 3B3DA2CB1D58D071 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:33:18] 657*2^1446585-1 is not prime. Res64: BB3594D5F9D14F46 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:33:18] 669*2^1446585-1 is not prime. Res64: B5E8E75291BE36EA Time : 0.0 sec. user=mdettweiler [2016-11-22 09:33:19] 699*2^1446585-1 is not prime. Res64: B2599A7676B9DF59 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:33:19] 735*2^1446585-1 is not prime. Res64: 223D7ED9C0759E1F Time : 0.0 sec. user=mdettweiler [2016-11-22 09:33:19] 777*2^1446585-1 is not prime. Res64: 89AAB6DFBF1ADEF3 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:49:17] 831*2^1446585-1 is not prime. Res64: EED4CA5741A8181D Time : 0.0 sec. user=mdettweiler [2016-11-22 09:49:17] 849*2^1446585-1 is not prime. Res64: 39F5704A8678FF88 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:49:18] 895*2^1446585-1 is not prime. Res64: A8FAD1F6C0B41A1B Time : 0.0 sec. user=mdettweiler [2016-11-22 09:49:18] 937*2^1446585-1 is not prime. Res64: 909A42D047B784AB Time : 0.0 sec. user=mdettweiler [2016-11-22 09:49:18] 949*2^1446585-1 is not prime. Res64: 0E8670F99EF7D666 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:50:31] 955*2^1446585-1 is not prime. Res64: F18541F9BC1B72C3 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:50:31] 999*2^1446585-1 is not prime. Res64: 29928371010C8A98 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:50:31] 657*2^1446586-1 is not prime. Res64: 725D89C80A69EEFD Time : 0.0 sec. user=mdettweiler [2016-11-22 09:50:31] 773*2^1446586-1 is not prime. Res64: 4E8401052B0B54F9 Time : 0.0 sec. user=mdettweiler [2016-11-22 09:50:32] 857*2^1446586-1 is not prime. Res64: DA3834953EB71C71 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:08:04] 733*2^1446587-1 is not prime. Res64: 7F7B3029F597F980 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:08:04] 813*2^1446587-1 is not prime. Res64: CDCDC298CCCFAE87 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:08:05] 843*2^1446587-1 is not prime. Res64: 71CAB6873B719C1A Time : 0.0 sec. user=mdettweiler [2016-11-22 10:08:05] 605*2^1446588-1 is not prime. Res64: 13A68A370D30AC18 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:08:05] 639*2^1446588-1 is not prime. Res64: E6DF79244C80E91A Time : 0.0 sec. user=mdettweiler [2016-11-22 10:18:39] 689*2^1446588-1 is not prime. Res64: 849AFA7A38AC1776 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:18:39] 789*2^1446588-1 is not prime. Res64: FE90308FB743F18E Time : 0.0 sec. user=mdettweiler [2016-11-22 10:18:40] 809*2^1446588-1 is not prime. Res64: 941A806E3AB8EA9B Time : 0.0 sec. user=mdettweiler [2016-11-22 10:18:40] 839*2^1446588-1 is not prime. Res64: 274A6574AA849624 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:18:40] 879*2^1446588-1 is not prime. Res64: 407310B861BDBFEA Time : 0.0 sec. user=mdettweiler [2016-11-22 10:35:03] 945*2^1446588-1 is not prime. Res64: 8722C44109212FE3 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:35:04] 861*2^1446589-1 is not prime. Res64: 406E5652CEBBC531 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:35:04] 665*2^1446590-1 is not prime. Res64: 04565DE24262B2A6 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:35:04] 677*2^1446590-1 is not prime. Res64: 2B69908D701B0E23 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:35:04] 707*2^1446590-1 is not prime. Res64: 426B62440E64729B Time : 0.0 sec. user=mdettweiler [2016-11-22 10:36:27] 713*2^1446590-1 is not prime. Res64: EEE9C06C5E62C27E Time : 0.0 sec. user=mdettweiler [2016-11-22 10:36:27] 717*2^1446590-1 is not prime. Res64: AA1F59B330D4DF89 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:36:31] 741*2^1446590-1 is not prime. Res64: 875F5E0FB7091A90 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:36:31] 761*2^1446590-1 is not prime. Res64: D65EFBFA2F384034 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:36:32] 813*2^1446590-1 is not prime. Res64: 6BD9923BC3ABC399 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:53:52] 875*2^1446590-1 is not prime. Res64: D132CAB5C8B738D7 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:53:52] 685*2^1446591-1 is not prime. Res64: A3956ADA218DED7F Time : 0.0 sec. user=mdettweiler [2016-11-22 10:53:52] 783*2^1446591-1 is not prime. Res64: 90A845344D5C81E1 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:53:52] 789*2^1446591-1 is not prime. Res64: EE016AB699F53C13 Time : 0.0 sec. user=mdettweiler [2016-11-22 10:53:52] 861*2^1446591-1 is not prime. Res64: CB0C448C0AE293A9 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:04:20] 979*2^1446591-1 is not prime. Res64: A761D73B97BB1E99 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:04:26] 605*2^1446592-1 is not prime. Res64: D938594452EE098A Time : 0.0 sec. user=mdettweiler [2016-11-22 11:04:27] 623*2^1446592-1 is not prime. Res64: 95C22ABE6845FBF0 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:04:33] 695*2^1446592-1 is not prime. Res64: 7147BD2846933040 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:04:34] 819*2^1446592-1 is not prime. Res64: C7C7932F21DC2BD9 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:20:34] 657*2^1446593-1 is not prime. Res64: E74843904150FBDC Time : 0.0 sec. user=mdettweiler [2016-11-22 11:20:35] 669*2^1446593-1 is not prime. Res64: 216559D247E719C3 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:20:35] 675*2^1446593-1 is not prime. Res64: 2720AC3116AE5241 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:20:35] 715*2^1446593-1 is not prime. Res64: FFCD99C7A1D18CE0 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:20:36] 831*2^1446593-1 is not prime. Res64: B8E66158EDEE35F8 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:22:08] 847*2^1446593-1 is not prime. Res64: 5F33225C3B458CCF Time : 0.0 sec. user=mdettweiler [2016-11-22 11:22:08] 861*2^1446593-1 is not prime. Res64: 45D72868D13B9209 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:22:08] 867*2^1446593-1 is not prime. Res64: 504CCA971435C12A Time : 0.0 sec. user=mdettweiler [2016-11-22 11:22:09] 981*2^1446593-1 is not prime. Res64: 0890C13F47D335A0 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:22:09] 663*2^1446594-1 is not prime. Res64: 8728DC9C2249CEA1 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:39:42] 705*2^1446594-1 is not prime. Res64: 947B189A3292F0AC Time : 0.0 sec. user=mdettweiler [2016-11-22 11:39:42] 723*2^1446594-1 is not prime. Res64: 01CF95DAD4862450 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:39:42] 797*2^1446594-1 is not prime. Res64: A062A46420F6C07F Time : 0.0 sec. user=mdettweiler [2016-11-22 11:39:43] 927*2^1446594-1 is not prime. Res64: BAB01755A9EFB9CF Time : 0.0 sec. user=mdettweiler [2016-11-22 11:39:44] 1001*2^1446594-1 is not prime. Res64: 082F0FE3CFCC773F Time : 0.0 sec. user=mdettweiler [2016-11-22 11:50:38] 619*2^1446595-1 is not prime. Res64: 3965E4B2FBDF074A Time : 0.0 sec. user=mdettweiler [2016-11-22 11:50:38] 793*2^1446595-1 is not prime. Res64: 11D249DD859C4E6E Time : 0.0 sec. user=mdettweiler [2016-11-22 11:50:38] 843*2^1446595-1 is not prime. Res64: 85E3267A208A3636 Time : 0.0 sec. user=mdettweiler [2016-11-22 11:50:39] 873*2^1446595-1 is not prime. Res64: 19C2FC2EAC0A64EE Time : 0.0 sec. user=mdettweiler [2016-11-22 11:50:39] 883*2^1446595-1 is not prime. Res64: 6BE1F239BD76096A Time : 0.0 sec. user=mdettweiler [2016-11-22 12:06:22] 925*2^1446595-1 is not prime. Res64: CEC87A00045AA9E0 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:06:23] 623*2^1446596-1 is not prime. Res64: 73F726C2886A7C8C Time : 0.0 sec. user=mdettweiler [2016-11-22 12:06:24] 743*2^1446596-1 is not prime. Res64: 377BFC5536F7C78D Time : 0.0 sec. user=mdettweiler [2016-11-22 12:06:26] 867*2^1446596-1 is not prime. Res64: 56832541C14234CB Time : 0.0 sec. user=mdettweiler [2016-11-22 12:06:27] 963*2^1446596-1 is not prime. Res64: BCCF5DDD2D393586 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:07:48] 649*2^1446597-1 is not prime. Res64: FD4AD388B80D3BCD Time : 0.0 sec. user=mdettweiler [2016-11-22 12:07:48] 681*2^1446597-1 is not prime. Res64: DBEAAE46ECAFFDBB Time : 0.0 sec. user=mdettweiler [2016-11-22 12:07:48] 747*2^1446597-1 is not prime. Res64: 15940348DCCEDDD8 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:07:48] 831*2^1446597-1 is not prime. Res64: 9316138A1C0E2A7D Time : 0.0 sec. user=mdettweiler [2016-11-22 12:07:49] 645*2^1446598-1 is not prime. Res64: 6BCEE919A72DA77F Time : 0.0 sec. user=mdettweiler [2016-11-22 12:25:22] 791*2^1446598-1 is not prime. Res64: BCB66E4511982A12 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:25:23] 861*2^1446598-1 is not prime. Res64: C515D02E29F15BC4 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:25:23] 863*2^1446598-1 is not prime. Res64: 9E27DA103A14FCB1 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:25:24] 867*2^1446598-1 is not prime. Res64: E661AA5A5B849DD3 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:25:24] 915*2^1446598-1 is not prime. Res64: 17A487FD79F4C7A9 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:37:27] 975*2^1446598-1 is not prime. Res64: 22D4DAF38D910FC0 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:37:27] 995*2^1446598-1 is not prime. Res64: 0FBA3C34857226B7 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:37:27] 1001*2^1446598-1 is not prime. Res64: 713807054773C2F6 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:37:28] 615*2^1446599-1 is not prime. Res64: E6DA4BAFDB46C2C9 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:37:28] 705*2^1446599-1 is not prime. Res64: 6F793ECF1DBA7732 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:54:08] 741*2^1446599-1 is not prime. Res64: 22664727838364AE Time : 0.0 sec. user=mdettweiler [2016-11-22 12:54:09] 799*2^1446599-1 is not prime. Res64: 41E81F1822F7733A Time : 0.0 sec. user=mdettweiler [2016-11-22 12:54:09] 813*2^1446599-1 is not prime. Res64: 7733BA2BD53AE968 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:54:09] 819*2^1446599-1 is not prime. Res64: 88AF1FF10618874F Time : 0.0 sec. user=mdettweiler [2016-11-22 12:54:09] 825*2^1446599-1 is not prime. Res64: 0E50A3A83A0D83C7 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:55:23] 665*2^1446600-1 is not prime. Res64: 4DB2BE18B8383233 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:55:23] 669*2^1446600-1 is not prime. Res64: D76934FCF258DC1F Time : 0.0 sec. user=mdettweiler [2016-11-22 12:55:24] 707*2^1446600-1 is not prime. Res64: 5E61FAE34B6FAA98 Time : 0.0 sec. user=mdettweiler [2016-11-22 12:55:24] 717*2^1446600-1 is not prime. Res64: 43CAC65DF1E89F2C Time : 0.0 sec. user=mdettweiler [2016-11-22 12:55:24] 753*2^1446600-1 is not prime. Res64: AF517AC8280ACEC6 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:13:15] 825*2^1446600-1 is not prime. Res64: E6E54640E21727A8 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:13:17] 887*2^1446600-1 is not prime. Res64: C1CB837C3028F711 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:13:18] 651*2^1446601-1 is not prime. Res64: 0DB96DDA007C6341 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:13:20] 789*2^1446601-1 is not prime. Res64: 6A3751B64799519A Time : 0.0 sec. user=mdettweiler [2016-11-22 13:13:22] 877*2^1446601-1 is not prime. Res64: 8A5F777B96230635 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:25:40] 937*2^1446601-1 is not prime. Res64: C5BDC3BC4C8A91A5 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:25:40] 997*2^1446601-1 is not prime. Res64: 57F9AF28DE33D333 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:25:40] 671*2^1446602-1 is not prime. Res64: 9B94EDAA2C97C283 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:25:41] 815*2^1446602-1 is not prime. Res64: 1067D96885407CC5 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:25:41] 837*2^1446602-1 is not prime. Res64: DAF69922619B8F1B Time : 0.0 sec. user=mdettweiler [2016-11-22 13:41:55] 857*2^1446602-1 is not prime. Res64: 15762B7096B174D7 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:41:56] 963*2^1446602-1 is not prime. Res64: 91B38BB4F9144A0E Time : 0.0 sec. user=mdettweiler [2016-11-22 13:41:56] 981*2^1446602-1 is not prime. Res64: 7D7239916396427B Time : 0.0 sec. user=mdettweiler [2016-11-22 13:41:56] 741*2^1446603-1 is not prime. Res64: 3658497E9415520C Time : 0.0 sec. user=mdettweiler [2016-11-22 13:41:57] 849*2^1446603-1 is not prime. Res64: C1F4089E249974A6 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:43:14] 859*2^1446603-1 is not prime. Res64: 9FD6B5AC6F10E6E7 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:43:15] 871*2^1446603-1 is not prime. Res64: 20661425218A58F5 Time : 0.0 sec. user=mdettweiler [2016-11-22 13:43:15] 921*2^1446603-1 is not prime. Res64: 243ADF45EAD0E40E Time : 0.0 sec. user=mdettweiler [2016-11-22 13:43:15] 961*2^1446603-1 is not prime. Res64: CDB2F040396468DE Time : 0.0 sec. user=mdettweiler [2016-11-22 13:43:16] 635*2^1446604-1 is not prime. Res64: FE583185707FC4CB Time : 0.0 sec. user=mdettweiler [2016-11-22 14:01:49] 677*2^1446604-1 is not prime. Res64: 6EAF33ACF2F27A8A Time : 0.0 sec. user=mdettweiler [2016-11-22 14:01:54] 765*2^1446604-1 is not prime. Res64: 09342CFCAE584CEB Time : 0.0 sec. user=mdettweiler [2016-11-22 14:01:56] 887*2^1446604-1 is not prime. Res64: 415A626C82CCBB40 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:01:57] 975*2^1446604-1 is not prime. Res64: C7305EC3B76963FA Time : 0.0 sec. user=mdettweiler [2016-11-22 14:02:01] 717*2^1446605-1 is not prime. Res64: 5157EB37543E9143 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:12:55] 735*2^1446605-1 is not prime. Res64: C862BFA549EB1094 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:12:56] 787*2^1446605-1 is not prime. Res64: 5136AD56234BFA83 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:12:56] 847*2^1446605-1 is not prime. Res64: 5637E1251A2355CA Time : 0.0 sec. user=mdettweiler [2016-11-22 14:12:57] 859*2^1446605-1 is not prime. Res64: C351A7E9CC9DAB05 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:12:57] 927*2^1446605-1 is not prime. Res64: 6BEE8D9AC5A23142 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:27:35] 657*2^1446606-1 is not prime. Res64: B835B67B7C38DC11 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:27:35] 767*2^1446606-1 is not prime. Res64: 3EB060AE84C025AD Time : 0.0 sec. user=mdettweiler [2016-11-22 14:27:36] 807*2^1446606-1 is not prime. Res64: 4597E4510B231B37 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:27:36] 957*2^1446606-1 is not prime. Res64: D3A61CCB6607C16D Time : 0.0 sec. user=mdettweiler [2016-11-22 14:27:36] 625*2^1446607-1 is not prime. Res64: DCA0BEF60865EE73 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:28:53] 663*2^1446607-1 is not prime. Res64: 164D703804DCA19D Time : 0.0 sec. user=mdettweiler [2016-11-22 14:28:53] 693*2^1446607-1 is not prime. Res64: 7A37E0E57A835B89 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:28:53] 729*2^1446607-1 is not prime. Res64: 4A3BA94EC79CCB6D Time : 0.0 sec. user=mdettweiler [2016-11-22 14:28:54] 765*2^1446607-1 is not prime. Res64: D348B42B34EC69C5 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:28:54] 775*2^1446607-1 is not prime. Res64: F1DD42A3A4245838 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:47:04] 793*2^1446607-1 is not prime. Res64: FF2F4BA79CBB2D80 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:47:04] 891*2^1446607-1 is not prime. Res64: C747CE1ABA4253D5 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:47:04] 919*2^1446607-1 is not prime. Res64: 76B22A38E21A514F Time : 0.0 sec. user=mdettweiler [2016-11-22 14:47:05] 633*2^1446608-1 is not prime. Res64: AF3C0507F5B3A52E Time : 0.0 sec. user=mdettweiler [2016-11-22 14:47:05] 665*2^1446608-1 is not prime. Res64: 4CBF50F8EDB3F281 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:58:03] 683*2^1446608-1 is not prime. Res64: 86A3EE1B4D609015 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:58:04] 713*2^1446608-1 is not prime. Res64: D4A2B19F6D16B196 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:58:04] 773*2^1446608-1 is not prime. Res64: BFB0A8EBDCC30F73 Time : 0.0 sec. user=mdettweiler [2016-11-22 14:58:04] 789*2^1446608-1 is not prime. Res64: 3229D5D7C310577A Time : 0.0 sec. user=mdettweiler [2016-11-22 14:58:05] 827*2^1446608-1 is not prime. Res64: 7C02A23A43E25BFC Time : 0.0 sec. user=mdettweiler [2016-11-22 15:12:26] 845*2^1446608-1 is not prime. Res64: 4F3AE52B49A426B9 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:12:27] 909*2^1446608-1 is not prime. Res64: F052EEBD659875DA Time : 0.0 sec. user=mdettweiler [2016-11-22 15:12:27] 929*2^1446608-1 is not prime. Res64: EE6B3F2839ADD8FD Time : 0.0 sec. user=mdettweiler [2016-11-22 15:12:28] 675*2^1446609-1 is not prime. Res64: C390DD897DE76AD1 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:12:28] 727*2^1446609-1 is not prime. Res64: 4E7AC206D4E6338A Time : 0.0 sec. user=mdettweiler [2016-11-22 15:13:50] 745*2^1446609-1 is not prime. Res64: 5F1A365519F42D2E Time : 0.0 sec. user=mdettweiler [2016-11-22 15:13:50] 769*2^1446609-1 is not prime. Res64: 5434FF824CD1EDEE Time : 0.0 sec. user=mdettweiler [2016-11-22 15:13:50] 789*2^1446609-1 is not prime. Res64: 58D5BE238A869B8B Time : 0.0 sec. user=mdettweiler [2016-11-22 15:13:51] 835*2^1446609-1 is not prime. Res64: B0D06D3D3EDA21B7 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:13:51] 921*2^1446609-1 is not prime. Res64: 1FF262BE8A37E501 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:32:00] 949*2^1446609-1 is not prime. Res64: CDFBBE5993A0A5B3 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:32:01] 611*2^1446610-1 is not prime. Res64: DE9C6E1F17FE9DAA Time : 0.0 sec. user=mdettweiler [2016-11-22 15:32:01] 731*2^1446610-1 is not prime. Res64: E1C2BF2192B3BF9E Time : 0.0 sec. user=mdettweiler [2016-11-22 15:32:01] 777*2^1446610-1 is not prime. Res64: C234C67C637BCE2B Time : 0.0 sec. user=mdettweiler [2016-11-22 15:32:02] 855*2^1446610-1 is not prime. Res64: B0F71CAB54A6EB87 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:42:53] 857*2^1446610-1 is not prime. Res64: FA74B8A72571C6BF Time : 0.0 sec. user=mdettweiler [2016-11-22 15:42:54] 987*2^1446610-1 is not prime. Res64: A267F75C083FB2A3 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:42:54] 619*2^1446611-1 is not prime. Res64: 63682C69EF6D2571 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:42:54] 733*2^1446611-1 is not prime. Res64: 5906E6C7234140C4 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:42:55] 811*2^1446611-1 is not prime. Res64: 49D9E96E8DB4644D Time : 0.0 sec. user=mdettweiler [2016-11-22 15:57:18] 981*2^1446611-1 is not prime. Res64: 4B1E8EB0F7EAA03C Time : 0.0 sec. user=mdettweiler [2016-11-22 15:57:18] 623*2^1446612-1 is not prime. Res64: 29E87422D7CE03FC Time : 0.0 sec. user=mdettweiler [2016-11-22 15:57:19] 635*2^1446612-1 is not prime. Res64: 2A4942B0660A0EB3 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:57:19] 647*2^1446612-1 is not prime. Res64: 37CA05F3F0A83BBD Time : 0.0 sec. user=mdettweiler [2016-11-22 15:57:19] 675*2^1446612-1 is not prime. Res64: 02B7899B371A1843 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:58:42] 769*2^1446613-1 is not prime. Res64: A219C0440101703D Time : 0.0 sec. user=mdettweiler [2016-11-22 15:58:42] 801*2^1446613-1 is not prime. Res64: B99E1B5A2F6B18ED Time : 0.0 sec. user=mdettweiler [2016-11-22 15:58:42] 819*2^1446613-1 is not prime. Res64: 8A96D337EAD8B7C7 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:58:43] 987*2^1446613-1 is not prime. Res64: F09330FEDAE921A2 Time : 0.0 sec. user=mdettweiler [2016-11-22 15:58:43] 651*2^1446614-1 is not prime. Res64: 48F95EC837D2AD78 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:16:57] 711*2^1446614-1 is not prime. Res64: EE1B40338C71397B Time : 0.0 sec. user=mdettweiler [2016-11-22 16:16:58] 747*2^1446614-1 is not prime. Res64: 8856739BAB2A1962 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:16:58] 785*2^1446614-1 is not prime. Res64: F5C2CEB4C71DE8C2 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:16:58] 861*2^1446614-1 is not prime. Res64: 0A37B0135294B27C Time : 0.0 sec. user=mdettweiler [2016-11-22 16:16:59] 873*2^1446614-1 is not prime. Res64: 2438CE1C2E59A7FC Time : 0.0 sec. user=mdettweiler [2016-11-22 16:28:02] 917*2^1446614-1 is not prime. Res64: AB7A6ACE58415FC8 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:28:02] 669*2^1446615-1 is not prime. Res64: 0E1E90611A945DEB Time : 0.0 sec. user=mdettweiler [2016-11-22 16:28:03] 853*2^1446615-1 is not prime. Res64: 4E4220F139BFBEAF Time : 0.0 sec. user=mdettweiler [2016-11-22 16:28:03] 859*2^1446615-1 is not prime. Res64: F7C9BBEF34793C9B Time : 0.0 sec. user=mdettweiler [2016-11-22 16:28:03] 871*2^1446615-1 is not prime. Res64: 440F6961F317AA18 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:42:07] 951*2^1446615-1 is not prime. Res64: F063E887FE34605F Time : 0.0 sec. user=mdettweiler [2016-11-22 16:42:08] 963*2^1446615-1 is not prime. Res64: B3AB2FD8BCE98A5A Time : 0.0 sec. user=mdettweiler [2016-11-22 16:42:08] 969*2^1446615-1 is not prime. Res64: 2EF78F5F32716A0E Time : 0.0 sec. user=mdettweiler [2016-11-22 16:42:08] 639*2^1446616-1 is not prime. Res64: C639F9ABF245B21C Time : 0.0 sec. user=mdettweiler [2016-11-22 16:42:09] 657*2^1446616-1 is not prime. Res64: E4721C22E357B031 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:43:35] 707*2^1446616-1 is not prime. Res64: F64756FE1E8A1424 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:43:36] 719*2^1446616-1 is not prime. Res64: BBF5EEDA6911C874 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:43:36] 777*2^1446616-1 is not prime. Res64: 08D6F10CE443982D Time : 0.0 sec. user=mdettweiler [2016-11-22 16:43:36] 803*2^1446616-1 is not prime. Res64: 96D76CA14F4366B0 Time : 0.0 sec. user=mdettweiler [2016-11-22 16:43:37] 909*2^1446616-1 is not prime. Res64: B845F331473B8994 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:01:51] 983*2^1446616-1 is not prime. Res64: C83967FF8350627E Time : 0.0 sec. user=mdettweiler [2016-11-22 17:01:52] 651*2^1446617-1 is not prime. Res64: 8B4B19C1EEA9B56D Time : 0.0 sec. user=mdettweiler [2016-11-22 17:01:53] 685*2^1446617-1 is not prime. Res64: E17483B30E5E87B4 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:01:57] 691*2^1446617-1 is not prime. Res64: E8F16137C751D706 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:01:58] 759*2^1446617-1 is not prime. Res64: 8E9BA68430E28BC8 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:12:59] 795*2^1446617-1 is not prime. Res64: 30FE7464AFFCEAA9 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:12:59] 949*2^1446617-1 is not prime. Res64: 735F92F711BA5602 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:13:00] 647*2^1446618-1 is not prime. Res64: 92BBC2F24F90789C Time : 0.0 sec. user=mdettweiler [2016-11-22 17:13:00] 711*2^1446618-1 is not prime. Res64: DA77BF4549375CD3 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:13:00] 773*2^1446618-1 is not prime. Res64: E8CD31C943DA4AAC Time : 0.0 sec. user=mdettweiler [2016-11-22 17:26:57] 777*2^1446618-1 is not prime. Res64: 6EBE9A67BB5B3946 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:26:57] 797*2^1446618-1 is not prime. Res64: F0D91071B4FB9836 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:26:57] 639*2^1446619-1 is not prime. Res64: E90B33439EF5CC8F Time : 0.0 sec. user=mdettweiler [2016-11-22 17:26:58] 681*2^1446619-1 is not prime. Res64: 92EEE429AB29B3B8 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:26:58] 691*2^1446619-1 is not prime. Res64: 23439DF0F97FABCE Time : 0.0 sec. user=mdettweiler [2016-11-22 17:28:20] 771*2^1446619-1 is not prime. Res64: 727B39599827EDFC Time : 0.0 sec. user=mdettweiler [2016-11-22 17:28:21] 813*2^1446619-1 is not prime. Res64: 7942614CC6710D5D Time : 0.0 sec. user=mdettweiler [2016-11-22 17:28:21] 909*2^1446619-1 is not prime. Res64: 91E96DBB56106A6E Time : 0.0 sec. user=mdettweiler [2016-11-22 17:28:21] 999*2^1446619-1 is not prime. Res64: CE8F212C2328D65B Time : 0.0 sec. user=mdettweiler [2016-11-22 17:28:22] 635*2^1446620-1 is not prime. Res64: 65E112D56E056180 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:46:47] 797*2^1446620-1 is not prime. Res64: DE2E49D4AAD0DF62 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:46:47] 825*2^1446620-1 is not prime. Res64: 4392216F7B9E254F Time : 0.0 sec. user=mdettweiler [2016-11-22 17:46:48] 885*2^1446620-1 is not prime. Res64: 1D56C26DF0BA09E7 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:46:49] 953*2^1446620-1 is not prime. Res64: 530E37A526ECF29F Time : 0.0 sec. user=mdettweiler [2016-11-22 17:46:49] 625*2^1446621-1 is not prime. Res64: 48CFC816BDEA0DC0 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:57:52] 679*2^1446621-1 is not prime. Res64: 241B96731BF37CA6 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:57:52] 717*2^1446621-1 is not prime. Res64: 8E04431B010EEC1A Time : 0.0 sec. user=mdettweiler [2016-11-22 17:57:53] 945*2^1446621-1 is not prime. Res64: 13721514EF09F283 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:57:53] 949*2^1446621-1 is not prime. Res64: 6B6107DCFD4D1E77 Time : 0.0 sec. user=mdettweiler [2016-11-22 17:57:54] 987*2^1446621-1 is not prime. Res64: B7AB2E81271DB8CB Time : 0.0 sec. user=mdettweiler [2016-11-22 18:11:40] 623*2^1446622-1 is not prime. Res64: 85F15BDA8F3B7FC7 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:11:40] 665*2^1446622-1 is not prime. Res64: 8CA53D30441D8282 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:11:41] 723*2^1446622-1 is not prime. Res64: 61E03FD8F5B0328D Time : 0.0 sec. user=mdettweiler [2016-11-22 18:11:41] 981*2^1446622-1 is not prime. Res64: 93A02EBD651F95EB Time : 0.0 sec. user=mdettweiler [2016-11-22 18:11:42] 729*2^1446623-1 is not prime. Res64: 94537ADB161A0EDA Time : 0.0 sec. user=mdettweiler [2016-11-22 18:13:10] 735*2^1446623-1 is not prime. Res64: 64DB5FF5A60C4055 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:13:10] 753*2^1446623-1 is not prime. Res64: F3CA6C3CC8CE11A0 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:13:10] 831*2^1446623-1 is not prime. Res64: 24EA3254C9E96B40 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:13:11] 855*2^1446623-1 is not prime. Res64: 6A43835F0B1AFEDB Time : 0.0 sec. user=mdettweiler [2016-11-22 18:13:11] 999*2^1446623-1 is not prime. Res64: 2164E8783873871D Time : 0.0 sec. user=mdettweiler [2016-11-22 18:31:51] 657*2^1446624-1 is not prime. Res64: BD2D283704A5B264 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:31:58] 707*2^1446624-1 is not prime. Res64: FBDE4ECF7CDB9E6F Time : 0.0 sec. user=mdettweiler [2016-11-22 18:31:58] 767*2^1446624-1 is not prime. Res64: 9B986DF12DE80865 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:31:58] 825*2^1446624-1 is not prime. Res64: 3AD3710BEFC36B12 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:31:59] 903*2^1446624-1 is not prime. Res64: 2391BCC2DF30B6DB Time : 0.0 sec. user=mdettweiler [2016-11-22 18:42:50] 915*2^1446624-1 is not prime. Res64: 385705C43BBFAAA6 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:42:50] 983*2^1446624-1 is not prime. Res64: 8035FEE40FA4F94B Time : 0.0 sec. user=mdettweiler [2016-11-22 18:42:51] 993*2^1446624-1 is not prime. Res64: 72E2328440C35699 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:42:51] 775*2^1446625-1 is not prime. Res64: DEE399892C4CB1E6 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:42:51] 805*2^1446625-1 is not prime. Res64: A207DDED5529850C Time : 0.0 sec. user=mdettweiler [2016-11-22 18:56:24] 849*2^1446625-1 is not prime. Res64: 93B65F14C90EEAE9 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:56:24] 925*2^1446625-1 is not prime. Res64: 3B8DE51FFC63CFAF Time : 0.0 sec. user=mdettweiler [2016-11-22 18:56:24] 617*2^1446626-1 is not prime. Res64: 56983B2C1BC11531 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:56:25] 735*2^1446626-1 is not prime. Res64: 77430A1E599CD247 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:56:25] 767*2^1446626-1 is not prime. Res64: C6002216F7EF3EF6 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:57:54] 773*2^1446626-1 is not prime. Res64: 864566D31720F33D Time : 0.0 sec. user=mdettweiler [2016-11-22 18:57:55] 981*2^1446626-1 is not prime. Res64: 0A273AF55FEF2028 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:57:55] 703*2^1446627-1 is not prime. Res64: 0607674054D72756 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:57:56] 801*2^1446627-1 is not prime. Res64: 237A71EE48B45F57 Time : 0.0 sec. user=mdettweiler [2016-11-22 18:57:56] 919*2^1446627-1 is not prime. Res64: 5142A047842862BC Time : 0.0 sec. user=mdettweiler [2016-11-22 19:16:41] 647*2^1446628-1 is not prime. Res64: 83E11FBC4D3B50DC Time : 0.0 sec. user=mdettweiler [2016-11-22 19:16:41] 665*2^1446628-1 is not prime. Res64: 778779B029498E66 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:16:42] 783*2^1446628-1 is not prime. Res64: C301105BE2B7EF06 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:16:42] 813*2^1446628-1 is not prime. Res64: 5BBA2D0523C3F9A0 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:16:42] 833*2^1446628-1 is not prime. Res64: D0E9BF84F791AAE0 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:27:40] 845*2^1446628-1 is not prime. Res64: 603C9DC7BB6168D3 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:27:40] 619*2^1446629-1 is not prime. Res64: C8FC6F7DA2059D43 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:27:40] 831*2^1446629-1 is not prime. Res64: EDA6A3E987166F14 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:27:41] 931*2^1446629-1 is not prime. Res64: 58A465C17B5AACA3 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:27:41] 945*2^1446629-1 is not prime. Res64: B074E1120AEA8B53 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:41:14] 955*2^1446629-1 is not prime. Res64: BAA3EAA9F531BC5E Time : 0.0 sec. user=mdettweiler [2016-11-22 19:41:14] 777*2^1446630-1 is not prime. Res64: 2F04313F388F1181 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:41:15] 861*2^1446630-1 is not prime. Res64: B1D257D9232BD8E4 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:41:15] 921*2^1446630-1 is not prime. Res64: DEE8F8C1D3D45955 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:41:16] 705*2^1446631-1 is not prime. Res64: 89CDB12A007D1609 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:42:41] 763*2^1446631-1 is not prime. Res64: 78B0F9B19D7C34A2 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:42:41] 819*2^1446631-1 is not prime. Res64: 3C710FDC76EAA740 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:42:41] 855*2^1446631-1 is not prime. Res64: 1BCE2A97531FC39F Time : 0.0 sec. user=mdettweiler [2016-11-22 19:42:42] 939*2^1446631-1 is not prime. Res64: 357E58DD7BB9D292 Time : 0.0 sec. user=mdettweiler [2016-11-22 19:42:42] 993*2^1446631-1 is not prime. Res64: A17C814E407C9F31 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:01:36] 609*2^1446632-1 is not prime. Res64: F2C44BD4AFC8FC6F Time : 0.0 sec. user=mdettweiler [2016-11-22 20:01:37] 687*2^1446632-1 is not prime. Res64: DF0C9EF9563C61E6 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:01:38] 717*2^1446632-1 is not prime. Res64: 1ED42E2FED0132CC Time : 0.0 sec. user=mdettweiler [2016-11-22 20:01:42] 819*2^1446632-1 is not prime. Res64: ABFBC2F723C00AC2 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:01:43] 827*2^1446632-1 is not prime. Res64: 5A31CDFF22AB8BEB Time : 0.0 sec. user=mdettweiler [2016-11-22 20:12:38] 873*2^1446632-1 is not prime. Res64: D71C5254647E9DC6 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:12:39] 959*2^1446632-1 is not prime. Res64: 8FAC5009B3BF4B66 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:12:39] 963*2^1446632-1 is not prime. Res64: 68BC2EA7DE824755 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:12:40] 625*2^1446633-1 is not prime. Res64: 1248D925C63C32E9 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:12:40] 627*2^1446633-1 is not prime. Res64: 3445EA19A303E7C6 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:25:58] 639*2^1446633-1 is not prime. Res64: FF8780EF16FBD992 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:25:59] 681*2^1446633-1 is not prime. Res64: 18A655245C14E1B4 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:25:59] 735*2^1446633-1 is not prime. Res64: 0368C3965A9E14B6 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:25:59] 739*2^1446633-1 is not prime. Res64: 55907D28B7D9CD1B Time : 0.0 sec. user=mdettweiler [2016-11-22 20:26:00] 915*2^1446633-1 is not prime. Res64: 7D7911B03E788A65 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:27:31] 635*2^1446634-1 is not prime. Res64: 1F07451278D172D6 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:27:31] 645*2^1446634-1 is not prime. Res64: C25838F0408F2C0B Time : 0.0 sec. user=mdettweiler [2016-11-22 20:27:32] 773*2^1446634-1 is not prime. Res64: AB1491ECF2C4D081 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:27:32] 815*2^1446634-1 is not prime. Res64: A31B76BC12DD15C8 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:27:33] 825*2^1446634-1 is not prime. Res64: 06A441A3AF69C117 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:46:50] 831*2^1446634-1 is not prime. Res64: 8C6369F82B1C26A2 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:46:51] 881*2^1446634-1 is not prime. Res64: 7CD796FF6E210836 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:46:51] 917*2^1446634-1 is not prime. Res64: E9E777EAA41E9BCC Time : 0.0 sec. user=mdettweiler [2016-11-22 20:46:52] 945*2^1446634-1 is not prime. Res64: 64ED5B752CF5A2B1 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:46:52] 975*2^1446634-1 is not prime. Res64: 612BEF5FC032F4FD Time : 0.0 sec. user=mdettweiler [2016-11-22 20:57:23] 669*2^1446635-1 is not prime. Res64: 10D22862142735A0 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:57:23] 799*2^1446635-1 is not prime. Res64: C28649C03F509BA4 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:57:23] 841*2^1446635-1 is not prime. Res64: 352A61C02A5D687C Time : 0.0 sec. user=mdettweiler [2016-11-22 20:57:24] 861*2^1446635-1 is not prime. Res64: F787DD97041596D2 Time : 0.0 sec. user=mdettweiler [2016-11-22 20:57:24] 633*2^1446636-1 is not prime. Res64: E778AC09F7B89992 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:10:41] 635*2^1446636-1 is not prime. Res64: CD8F60FF3A649E8F Time : 0.0 sec. user=mdettweiler [2016-11-22 21:10:42] 675*2^1446636-1 is not prime. Res64: 1C90105949CE86AB Time : 0.0 sec. user=mdettweiler [2016-11-22 21:10:42] 707*2^1446636-1 is not prime. Res64: 2531E46CAE029524 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:10:43] 903*2^1446636-1 is not prime. Res64: 6141C55F0B34FF8B Time : 0.0 sec. user=mdettweiler [2016-11-22 21:10:43] 601*2^1446637-1 is not prime. Res64: B8EB8677F28E46C9 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:12:17] 649*2^1446637-1 is not prime. Res64: 8D22C840815AD2BC Time : 0.0 sec. user=mdettweiler [2016-11-22 21:12:18] 717*2^1446637-1 is not prime. Res64: 9B3E0B1B049945E8 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:12:18] 747*2^1446637-1 is not prime. Res64: 257069BA0FAF251E Time : 0.0 sec. user=mdettweiler [2016-11-22 21:12:18] 825*2^1446637-1 is not prime. Res64: 7CC9D48F1A9BB4BD Time : 0.0 sec. user=mdettweiler [2016-11-22 21:12:19] 831*2^1446637-1 is not prime. Res64: 6DF1BA1BFD1265A3 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:31:39] 867*2^1446637-1 is not prime. Res64: AE87501CEF55632C Time : 0.0 sec. user=mdettweiler [2016-11-22 21:31:40] 901*2^1446637-1 is not prime. Res64: 24EF9C04813A584B Time : 0.0 sec. user=mdettweiler [2016-11-22 21:31:40] 997*2^1446637-1 is not prime. Res64: F6A9BE92CA47CA28 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:31:41] 657*2^1446638-1 is not prime. Res64: BB2D1971285918F1 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:31:45] 677*2^1446638-1 is not prime. Res64: 51474F636FB81FF7 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:42:22] 731*2^1446638-1 is not prime. Res64: DB5677755ABEB48A Time : 0.0 sec. user=mdettweiler [2016-11-22 21:42:23] 801*2^1446638-1 is not prime. Res64: 5D435A2727952335 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:42:23] 963*2^1446638-1 is not prime. Res64: 83B69C238505C467 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:42:23] 669*2^1446639-1 is not prime. Res64: 70513932C3B7B01E Time : 0.0 sec. user=mdettweiler [2016-11-22 21:42:24] 709*2^1446639-1 is not prime. Res64: 24EF15CC2A6CBC28 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:55:44] 735*2^1446639-1 is not prime. Res64: F4F16CA670EBC60D Time : 0.0 sec. user=mdettweiler [2016-11-22 21:55:45] 763*2^1446639-1 is not prime. Res64: 47473B86FCC25165 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:55:45] 891*2^1446639-1 is not prime. Res64: 29982C8FD81C473A Time : 0.0 sec. user=mdettweiler [2016-11-22 21:55:45] 969*2^1446639-1 is not prime. Res64: 420D5E4E42B56FB5 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:55:46] 999*2^1446639-1 is not prime. Res64: 2FC66F177268DA28 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:57:22] 717*2^1446640-1 is not prime. Res64: 223967C92C67BF8E Time : 0.0 sec. user=mdettweiler [2016-11-22 21:57:23] 785*2^1446640-1 is not prime. Res64: F400253658CD2610 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:57:23] 845*2^1446640-1 is not prime. Res64: D6492E5FAE69CCF5 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:57:24] 989*2^1446640-1 is not prime. Res64: 542920E0432E8275 Time : 0.0 sec. user=mdettweiler [2016-11-22 21:57:24] 607*2^1446641-1 is not prime. Res64: AE496B35EBD83F90 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:16:47] 657*2^1446641-1 is not prime. Res64: B6AD0756B4BCF64A Time : 0.0 sec. user=mdettweiler [2016-11-22 22:16:47] 685*2^1446641-1 is not prime. Res64: 4D4A35A986443F00 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:16:48] 651*2^1446642-1 is not prime. Res64: 2D8D171AF53DF09D Time : 0.0 sec. user=mdettweiler [2016-11-22 22:16:52] 741*2^1446642-1 is not prime. Res64: ECBCCC63BBFB7D5D Time : 0.0 sec. user=mdettweiler [2016-11-22 22:16:52] 821*2^1446642-1 is not prime. Res64: DA99B44F01F557BE Time : 0.0 sec. user=mdettweiler [2016-11-22 22:27:14] 825*2^1446642-1 is not prime. Res64: 1AC05F4D4CD749C2 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:27:15] 891*2^1446642-1 is not prime. Res64: 4E316081244E7C14 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:27:15] 893*2^1446642-1 is not prime. Res64: 8498E63861262DC8 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:27:20] 639*2^1446643-1 is not prime. Res64: F674454974B39E53 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:27:20] 673*2^1446643-1 is not prime. Res64: BE10AFD356190C31 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:40:24] 679*2^1446643-1 is not prime. Res64: 95DD776C71A42C67 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:40:24] 871*2^1446643-1 is not prime. Res64: 713321FBC20E9A8F Time : 0.0 sec. user=mdettweiler [2016-11-22 22:40:24] 635*2^1446644-1 is not prime. Res64: BAE6DF9B796F4602 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:40:25] 707*2^1446644-1 is not prime. Res64: FCC74EEE260275B3 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:40:25] 719*2^1446644-1 is not prime. Res64: BFBB9016A00CE75B Time : 0.0 sec. user=mdettweiler [2016-11-22 22:42:12] 759*2^1446644-1 is not prime. Res64: 5E33A6ED3EDA2E09 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:42:12] 873*2^1446644-1 is not prime. Res64: 6AAB4CF193206312 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:42:13] 903*2^1446644-1 is not prime. Res64: 5CD1D0501546A555 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:42:13] 709*2^1446645-1 is not prime. Res64: E4F704B469586841 Time : 0.0 sec. user=mdettweiler [2016-11-22 22:42:14] 781*2^1446645-1 is not prime. Res64: DDDAA71973E67DB7 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:01:39] 805*2^1446645-1 is not prime. Res64: 79C6D3F87476270E Time : 0.0 sec. user=mdettweiler [2016-11-22 23:01:40] 859*2^1446645-1 is not prime. Res64: 8DE4BC80CF875916 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:01:41] 891*2^1446645-1 is not prime. Res64: 23333EC29ACBAF05 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:01:42] 961*2^1446645-1 is not prime. Res64: A0512E2BEB005662 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:01:47] 979*2^1446645-1 is not prime. Res64: 7960B4C7A88DCFC3 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:12:11] 623*2^1446646-1 is not prime. Res64: 9928CE65789793BD Time : 0.0 sec. user=mdettweiler [2016-11-22 23:12:12] 653*2^1446646-1 is not prime. Res64: 6C5E003E4BDAAD36 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:12:12] 657*2^1446646-1 is not prime. Res64: C042D15E6528A490 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:12:13] 741*2^1446646-1 is not prime. Res64: 3A9569E49CA08B7C Time : 0.0 sec. user=mdettweiler [2016-11-22 23:12:13] 777*2^1446646-1 is not prime. Res64: 6806269DCC42AE55 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:25:03] 815*2^1446646-1 is not prime. Res64: F3C53F3D72ED0AF6 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:25:04] 897*2^1446646-1 is not prime. Res64: 44AB437DB5C16CA7 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:25:04] 987*2^1446646-1 is not prime. Res64: 27DAF0BE2F930FE5 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:25:05] 603*2^1446647-1 is not prime. Res64: 91AD29287ED4C124 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:25:05] 615*2^1446647-1 is not prime. Res64: 85A89E591CEFD6C0 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:26:55] 619*2^1446647-1 is not prime. Res64: C2FE6BC77E739BBC Time : 0.0 sec. user=mdettweiler [2016-11-22 23:26:55] 705*2^1446647-1 is not prime. Res64: DAAFAB4E9B34FBF1 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:26:56] 715*2^1446647-1 is not prime. Res64: 1B1C8D8739CBE8B8 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:26:56] 759*2^1446647-1 is not prime. Res64: 4AADF31F65832D0B Time : 0.0 sec. user=mdettweiler [2016-11-22 23:26:57] 859*2^1446647-1 is not prime. Res64: 2A2ACF3230CAA5F0 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:46:48] 949*2^1446647-1 is not prime. Res64: D46AFF4A1F6DC2DB Time : 0.0 sec. user=mdettweiler [2016-11-22 23:46:48] 973*2^1446647-1 is not prime. Res64: 06597FA9CB8D711F Time : 0.0 sec. user=mdettweiler [2016-11-22 23:46:48] 981*2^1446647-1 is not prime. Res64: 299D7EDAE05B9F9E Time : 0.0 sec. user=mdettweiler [2016-11-22 23:46:54] 669*2^1446648-1 is not prime. Res64: DE161F1DCE4655CC Time : 0.0 sec. user=mdettweiler [2016-11-22 23:46:55] 839*2^1446648-1 is not prime. Res64: B1C6C209B4855AC2 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:56:58] 875*2^1446648-1 is not prime. Res64: AD8D4EBF5CB258D3 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:56:59] 759*2^1446649-1 is not prime. Res64: 06B4B1109D97387C Time : 0.0 sec. user=mdettweiler [2016-11-22 23:56:59] 765*2^1446649-1 is not prime. Res64: 2B6E158CE5D04318 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:57:05] 847*2^1446649-1 is not prime. Res64: 15BB3B22D1467439 Time : 0.0 sec. user=mdettweiler [2016-11-22 23:57:06] 867*2^1446649-1 is not prime. Res64: 5A62355238F1DC2A Time : 0.0 sec.