user=mdettweiler [2016-11-15 00:18:23] 865*2^1445837-1 is not prime. Res64: 2EB57A48E3502542 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:18:24] 927*2^1445837-1 is not prime. Res64: 73039B669BB8A930 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:18:25] 641*2^1445838-1 is not prime. Res64: F9AAB7E0F6471582 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:18:25] 663*2^1445838-1 is not prime. Res64: 78C2EDDF3582D8AE Time : 0.0 sec. user=mdettweiler [2016-11-15 00:18:26] 683*2^1445838-1 is not prime. Res64: 8BE2D999D56E5559 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:44:27] 693*2^1445838-1 is not prime. Res64: AF2DB60349429B89 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:44:28] 705*2^1445838-1 is not prime. Res64: 43C41A160A3786AD Time : 0.0 sec. user=mdettweiler [2016-11-15 00:44:28] 945*2^1445838-1 is not prime. Res64: F49BDF9611CAC12A Time : 0.0 sec. user=mdettweiler [2016-11-15 00:44:28] 951*2^1445838-1 is not prime. Res64: D63625FA9B4BBFCA Time : 0.0 sec. user=mdettweiler [2016-11-15 00:44:29] 975*2^1445838-1 is not prime. Res64: 037006ADDB19A5BA Time : 0.0 sec. user=mdettweiler [2016-11-15 00:45:17] 615*2^1445839-1 is not prime. Res64: 8021A39056B2C647 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:45:17] 639*2^1445839-1 is not prime. Res64: B55E6968EF9ACD6C Time : 0.0 sec. user=mdettweiler [2016-11-15 00:45:17] 681*2^1445839-1 is not prime. Res64: 2D3C1D8CDA1B0F28 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:45:18] 769*2^1445839-1 is not prime. Res64: 2D0B33E683B437F5 Time : 0.0 sec. user=mdettweiler [2016-11-15 00:45:18] 943*2^1445839-1 is not prime. Res64: 173F7C2349D4E069 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:04:55] 961*2^1445839-1 is not prime. Res64: CC6C1CCC9406E27C Time : 0.0 sec. user=mdettweiler [2016-11-15 01:04:59] 985*2^1445839-1 is not prime. Res64: 3BB52D27C32C095E Time : 0.0 sec. user=mdettweiler [2016-11-15 01:05:02] 665*2^1445840-1 is not prime. Res64: 0C9406C8981AA2E9 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:05:05] 689*2^1445840-1 is not prime. Res64: 81E4CA28B170A7EE Time : 0.0 sec. user=mdettweiler [2016-11-15 01:05:06] 719*2^1445840-1 is not prime. Res64: FE1B6F8145DA1936 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:30:33] 797*2^1445840-1 is not prime. Res64: C08B6E7043C83D0E Time : 0.0 sec. user=mdettweiler [2016-11-15 01:30:35] 827*2^1445840-1 is not prime. Res64: 2205A145352788F3 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:30:35] 843*2^1445840-1 is not prime. Res64: C0AD9D3D3B089C96 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:30:36] 945*2^1445840-1 is not prime. Res64: A94760A083F02D1B Time : 0.0 sec. user=mdettweiler [2016-11-15 01:30:37] 627*2^1445841-1 is not prime. Res64: 1D75896F435FF200 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:31:36] 691*2^1445841-1 is not prime. Res64: D8C6FB717B66381A Time : 0.0 sec. user=mdettweiler [2016-11-15 01:31:37] 745*2^1445841-1 is not prime. Res64: B01D15127C024C7F Time : 0.0 sec. user=mdettweiler [2016-11-15 01:31:38] 829*2^1445841-1 is not prime. Res64: D2292BE7C5EDB89F Time : 0.0 sec. user=mdettweiler [2016-11-15 01:31:39] 945*2^1445841-1 is not prime. Res64: 39DC50A67F071C8E Time : 0.0 sec. user=mdettweiler [2016-11-15 01:31:40] 951*2^1445841-1 is not prime. Res64: 05883B8C2FAF9D33 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:51:13] 603*2^1445842-1 is not prime. Res64: A5B86941B89807C6 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:51:13] 867*2^1445842-1 is not prime. Res64: 82CF2600688E4D2C Time : 0.0 sec. user=mdettweiler [2016-11-15 01:51:14] 947*2^1445842-1 is not prime. Res64: E30B88A5C77CF3A1 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:51:14] 621*2^1445843-1 is not prime. Res64: 5561CD1D845AF871 Time : 0.0 sec. user=mdettweiler [2016-11-15 01:51:14] 699*2^1445843-1 is not prime. Res64: AFB9DB9E9FF10A2C Time : 0.0 sec. user=mdettweiler [2016-11-15 02:16:51] 811*2^1445843-1 is not prime. Res64: 5E948E8EE6160CEA Time : 0.0 sec. user=mdettweiler [2016-11-15 02:16:52] 823*2^1445843-1 is not prime. Res64: 53DCDB8F0E14C11C Time : 0.0 sec. user=mdettweiler [2016-11-15 02:16:52] 895*2^1445843-1 is not prime. Res64: 53ADD4A4350CDA38 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:16:52] 949*2^1445843-1 is not prime. Res64: DF10E8459B6316D1 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:16:53] 675*2^1445844-1 is not prime. Res64: 0ED65B0CEB667ED3 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:18:03] 789*2^1445844-1 is not prime. Res64: 0963E4F561E1A615 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:18:04] 649*2^1445845-1 is not prime. Res64: B4A53089567ED09F Time : 0.0 sec. user=mdettweiler [2016-11-15 02:18:05] 711*2^1445846-1 is not prime. Res64: E3DA02F973414A49 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:18:06] 743*2^1445846-1 is not prime. Res64: 701014D0CD6DAEC9 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:18:07] 755*2^1445846-1 is not prime. Res64: 893865D72BE08ECD Time : 0.0 sec. user=mdettweiler [2016-11-15 02:37:40] 843*2^1445846-1 is not prime. Res64: E8696AF53DB5A284 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:37:41] 911*2^1445846-1 is not prime. Res64: 394812A2E3529DBC Time : 0.0 sec. user=mdettweiler [2016-11-15 02:37:42] 945*2^1445846-1 is not prime. Res64: 97BD34D41E720E26 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:37:42] 953*2^1445846-1 is not prime. Res64: 88CAD23309605042 Time : 0.0 sec. user=mdettweiler [2016-11-15 02:37:43] 661*2^1445847-1 is not prime. Res64: 54B959814A8DFFC3 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:03:20] 691*2^1445847-1 is not prime. Res64: 62EDCFB26F03F163 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:03:22] 741*2^1445847-1 is not prime. Res64: 9758FB0CA55C8805 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:03:23] 751*2^1445847-1 is not prime. Res64: B2E984493AEFA4E4 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:03:25] 795*2^1445847-1 is not prime. Res64: 49295AEFD48FBFCF Time : 0.0 sec. user=mdettweiler [2016-11-15 03:03:26] 975*2^1445847-1 is not prime. Res64: 66F0FDC6E0FC83A0 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:04:25] 665*2^1445848-1 is not prime. Res64: 808600C3DECB5F12 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:04:26] 777*2^1445848-1 is not prime. Res64: 42FCD481D176A444 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:04:27] 887*2^1445848-1 is not prime. Res64: EE560B8862B6C487 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:04:28] 899*2^1445848-1 is not prime. Res64: 7A9E84252E0CE647 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:04:29] 631*2^1445849-1 is not prime. Res64: 3E2F96E0B87D2253 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:22] 653*2^1445836-1 is not prime. Res64: A7C80C50558B88FF Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:56] 649*2^1445849-1 is not prime. Res64: 21CEE67E162B55A4 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:57] 675*2^1445849-1 is not prime. Res64: 43202A1B49F562BB Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:58] 811*2^1445849-1 is not prime. Res64: E767615E470329C9 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:58] 861*2^1445849-1 is not prime. Res64: AF90860730D47B76 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:23:59] 945*2^1445849-1 is not prime. Res64: CC03F25D2AAFC4E9 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:49:10] 969*2^1445849-1 is not prime. Res64: 4AFB2C07F487DFBE Time : 0.0 sec. user=mdettweiler [2016-11-15 03:49:14] 843*2^1445850-1 is not prime. Res64: C82C6AC29516CAD5 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:49:21] 923*2^1445850-1 is not prime. Res64: A4540D951B57B2E1 Time : 0.0 sec. user=mdettweiler [2016-11-15 03:49:27] 619*2^1445851-1 is not prime. Res64: 2CE3DCA66486F21A Time : 0.0 sec. user=mdettweiler [2016-11-15 03:49:31] 673*2^1445851-1 is not prime. Res64: 1574C6D48E3DB0EB Time : 0.0 sec. user=mdettweiler [2016-11-15 03:50:15] 819*2^1445851-1 is not prime. Res64: D633BC390F1CCB43 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:09:05] 867*2^1445852-1 is not prime. Res64: 2273E4733C2AC790 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:09:06] 959*2^1445852-1 is not prime. Res64: F9A381700557D9E1 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:09:06] 963*2^1445852-1 is not prime. Res64: 8C79D20E30D40AEA Time : 0.0 sec. user=mdettweiler [2016-11-15 04:09:07] 977*2^1445852-1 is not prime. Res64: 93C35CBA1E6CC6D9 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:09:07] 987*2^1445852-1 is not prime. Res64: 21E7159416D642C7 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:10:13] 741*2^1445853-1 is not prime. Res64: F2EC2C682DCE7468 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:10:13] 745*2^1445853-1 is not prime. Res64: 48B3F307284A8D32 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:10:13] 781*2^1445853-1 is not prime. Res64: EB167E8C54F26756 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:10:14] 789*2^1445853-1 is not prime. Res64: 29B0603FFAFFF718 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:10:14] 927*2^1445853-1 is not prime. Res64: 8621066ED52A8CB6 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:37:07] 951*2^1445853-1 is not prime. Res64: 4E1793B140F0F49D Time : 0.0 sec. user=mdettweiler [2016-11-15 04:37:07] 991*2^1445853-1 is not prime. Res64: 759979DEBE69B802 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:37:07] 621*2^1445854-1 is not prime. Res64: 23A777652885DAA2 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:37:08] 813*2^1445854-1 is not prime. Res64: CEF7E2E50DB3786F Time : 0.0 sec. user=mdettweiler [2016-11-15 04:37:08] 885*2^1445854-1 is not prime. Res64: 826B905310471C12 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:54:46] 753*2^1445855-1 is not prime. Res64: 2B40186229997869 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:54:46] 771*2^1445855-1 is not prime. Res64: 4D893C36A4D196A4 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:54:47] 775*2^1445855-1 is not prime. Res64: 7BE04FDE05AA6D26 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:54:47] 825*2^1445855-1 is not prime. Res64: 3DDDE7D0094A10C8 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:54:48] 859*2^1445855-1 is not prime. Res64: CC3DBACE8639C191 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:55:44] 871*2^1445855-1 is not prime. Res64: 682D85A13330A76A Time : 0.0 sec. user=mdettweiler [2016-11-15 04:55:44] 669*2^1445856-1 is not prime. Res64: 751F453142082ABD Time : 0.0 sec. user=mdettweiler [2016-11-15 04:55:45] 683*2^1445856-1 is not prime. Res64: 91826F42032CAA6A Time : 0.0 sec. user=mdettweiler [2016-11-15 04:55:45] 735*2^1445856-1 is not prime. Res64: 37E6FAAB1F585C31 Time : 0.0 sec. user=mdettweiler [2016-11-15 04:55:46] 759*2^1445856-1 is not prime. Res64: 74A60CFECE8469CA Time : 0.0 sec. user=mdettweiler [2016-11-15 05:22:43] 857*2^1445856-1 is not prime. Res64: 9C8E730E3386A1A2 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:22:44] 909*2^1445856-1 is not prime. Res64: F63ADCF4F3FBFDF9 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:22:44] 649*2^1445857-1 is not prime. Res64: 5232307B326C0EF3 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:22:45] 717*2^1445857-1 is not prime. Res64: F68E8EFF480AA1F0 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:22:45] 729*2^1445857-1 is not prime. Res64: 60F325B6607D12D9 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:40:31] 759*2^1445857-1 is not prime. Res64: FC071567B9A5DC93 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:40:31] 885*2^1445857-1 is not prime. Res64: B76B50A902C3ACA7 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:40:32] 897*2^1445857-1 is not prime. Res64: D2E49D5B14E8FB09 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:40:32] 657*2^1445858-1 is not prime. Res64: AE31990ECAF3446F Time : 0.0 sec. user=mdettweiler [2016-11-15 05:40:33] 813*2^1445858-1 is not prime. Res64: 2CF1552860907867 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:41:33] 843*2^1445858-1 is not prime. Res64: E461D1E48C19ECE1 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:41:34] 941*2^1445858-1 is not prime. Res64: 2ACAC33AE58EBB8D Time : 0.0 sec. user=mdettweiler [2016-11-15 05:41:34] 609*2^1445859-1 is not prime. Res64: 97CC999CF41EE30F Time : 0.0 sec. user=mdettweiler [2016-11-15 05:41:34] 789*2^1445859-1 is not prime. Res64: 44E8192D1CD2C6F5 Time : 0.0 sec. user=mdettweiler [2016-11-15 05:41:35] 943*2^1445859-1 is not prime. Res64: D597308211895B2C Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:23] 975*2^1445851-1 is not prime. Res64: E19DE7779C089206 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:24] 687*2^1445852-1 is not prime. Res64: 57ADF55DD02A2125 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:25] 837*2^1445852-1 is not prime. Res64: 2D910D0FCEBFD809 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:25] 843*2^1445852-1 is not prime. Res64: 509544EE4E5B4673 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:42] 653*2^1445860-1 is not prime. Res64: 9FC38729D05140F8 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:42] 719*2^1445860-1 is not prime. Res64: C9F828C4C55B5CB2 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:43] 773*2^1445860-1 is not prime. Res64: 544D987EC34EE625 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:44] 777*2^1445860-1 is not prime. Res64: 5BFC8B4362B57E72 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:08:45] 933*2^1445860-1 is not prime. Res64: 968D5AEBF0D27A5C Time : 0.0 sec. user=mdettweiler [2016-11-15 06:25:54] 657*2^1445861-1 is not prime. Res64: 898F85510AE319E1 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:25:54] 777*2^1445861-1 is not prime. Res64: FB1784F9C4E36458 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:25:54] 829*2^1445861-1 is not prime. Res64: BF7C631507A2B691 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:25:55] 837*2^1445861-1 is not prime. Res64: 8DE7FD577D2660C2 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:25:55] 951*2^1445861-1 is not prime. Res64: C08F6A1B8B625322 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:26:56] 627*2^1445862-1 is not prime. Res64: 7D13843F3E9BA00D Time : 0.0 sec. user=mdettweiler [2016-11-15 06:26:56] 705*2^1445862-1 is not prime. Res64: 5204BCA88B3CCF66 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:26:57] 711*2^1445862-1 is not prime. Res64: 370F645948898C1E Time : 0.0 sec. user=mdettweiler [2016-11-15 06:26:57] 755*2^1445862-1 is not prime. Res64: DA676AD6627147F5 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:26:57] 815*2^1445862-1 is not prime. Res64: 8B54D631284CA59C Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:29] 615*2^1445863-1 is not prime. Res64: 65BFE933D3FCE8F1 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:30] 741*2^1445863-1 is not prime. Res64: 83579D690E7BB6D3 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:30] 961*2^1445863-1 is not prime. Res64: 68D85AB006ACDCA3 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:30] 659*2^1445864-1 is not prime. Res64: 2A54E62B8579439C Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:31] 675*2^1445864-1 is not prime. Res64: 3E789921817E133A Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:35] 855*2^1445864-1 is not prime. Res64: 949587F1BC98FF4E Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:36] 927*2^1445864-1 is not prime. Res64: 8131232611328E5D Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:36] 609*2^1445865-1 is not prime. Res64: 7C607D220DAA6808 Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:36] 679*2^1445865-1 is not prime. Res64: 200CB3B70CD3628E Time : 0.0 sec. user=mdettweiler [2016-11-15 06:53:37] 709*2^1445865-1 is not prime. Res64: 9C7B8A2F94450875 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:10:48] 717*2^1445865-1 is not prime. Res64: E026EA8A1BE053B4 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:10:48] 721*2^1445865-1 is not prime. Res64: EC58A5911F8BAA8F Time : 0.0 sec. user=mdettweiler [2016-11-15 07:10:49] 805*2^1445865-1 is not prime. Res64: DDCE88A9A2581BE9 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:10:49] 955*2^1445865-1 is not prime. Res64: 4C5E865274170AB0 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:10:50] 651*2^1445866-1 is not prime. Res64: 81393FC33B1E7289 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:11:57] 677*2^1445866-1 is not prime. Res64: 94E77E5F78BAE13E Time : 0.0 sec. user=mdettweiler [2016-11-15 07:11:58] 713*2^1445866-1 is not prime. Res64: 09D656F149097AEA Time : 0.0 sec. user=mdettweiler [2016-11-15 07:11:58] 755*2^1445866-1 is not prime. Res64: C3CBE14262ACE112 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:11:59] 773*2^1445866-1 is not prime. Res64: FA2FA133086C2EB0 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:11:59] 843*2^1445866-1 is not prime. Res64: E713B9FA3DD88E16 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:18] 857*2^1445866-1 is not prime. Res64: 9BF8D64563926CF2 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:18] 993*2^1445866-1 is not prime. Res64: 3FA4A04D49864634 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:19] 633*2^1445867-1 is not prime. Res64: 4B4E56E88F0FFC6F Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:19] 841*2^1445867-1 is not prime. Res64: DCADBB65896043CA Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:19] 859*2^1445867-1 is not prime. Res64: ED3949F781439939 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:37] 901*2^1445867-1 is not prime. Res64: C72D568E6CFB6E86 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:37] 979*2^1445867-1 is not prime. Res64: 4A60CC73C211B7D5 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:37] 981*2^1445867-1 is not prime. Res64: 3EADD599784534F5 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:38] 639*2^1445868-1 is not prime. Res64: 70DF32C345A2D9BB Time : 0.0 sec. user=mdettweiler [2016-11-15 07:38:38] 663*2^1445868-1 is not prime. Res64: 2A884EFBB7E8EC12 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:55:53] 737*2^1445868-1 is not prime. Res64: B2A33D72A6D4B610 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:55:54] 777*2^1445868-1 is not prime. Res64: AB610B13DC8B6EAD Time : 0.0 sec. user=mdettweiler [2016-11-15 07:55:54] 819*2^1445868-1 is not prime. Res64: F381DA7C4062A284 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:55:54] 609*2^1445869-1 is not prime. Res64: D5002D33439103EB Time : 0.0 sec. user=mdettweiler [2016-11-15 07:55:55] 975*2^1445869-1 is not prime. Res64: D68370A55624DB91 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:57:02] 687*2^1445870-1 is not prime. Res64: 03B97F0550C3C8EF Time : 0.0 sec. user=mdettweiler [2016-11-15 07:57:02] 717*2^1445870-1 is not prime. Res64: B54577FC12213BED Time : 0.0 sec. user=mdettweiler [2016-11-15 07:57:03] 831*2^1445870-1 is not prime. Res64: 6C9FD69CCE4898E9 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:57:03] 857*2^1445870-1 is not prime. Res64: 9243113C20897359 Time : 0.0 sec. user=mdettweiler [2016-11-15 07:57:04] 893*2^1445870-1 is not prime. Res64: 13C177E2271ED64F Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:05] 927*2^1445870-1 is not prime. Res64: 5ED6FA4C2909330F Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:06] 621*2^1445871-1 is not prime. Res64: 08FAE46CC19F68E6 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:06] 661*2^1445871-1 is not prime. Res64: 69FCD5CB14BFFA29 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:07] 709*2^1445871-1 is not prime. Res64: 29E6CA20956185A8 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:07] 741*2^1445871-1 is not prime. Res64: AC7A23759D1D48E5 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:28] 795*2^1445871-1 is not prime. Res64: 0E15AAF07EF15E52 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:28] 823*2^1445871-1 is not prime. Res64: B41968F26341A159 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:29] 825*2^1445871-1 is not prime. Res64: CDF1404A3F98074E Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:29] 849*2^1445871-1 is not prime. Res64: B9FDE23EA136FA88 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:23:29] 909*2^1445871-1 is not prime. Res64: CACB0C3FA3962659 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:40:44] 933*2^1445871-1 is not prime. Res64: BD418C3406397F85 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:40:44] 973*2^1445871-1 is not prime. Res64: 24ADD0DDA51A3745 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:40:44] 693*2^1445872-1 is not prime. Res64: 71BA749FEA91D68B Time : 0.0 sec. user=mdettweiler [2016-11-15 08:40:45] 765*2^1445872-1 is not prime. Res64: BF66257614F9CDEA Time : 0.0 sec. user=mdettweiler [2016-11-15 08:40:45] 855*2^1445872-1 is not prime. Res64: ADC6B0D0D15C68EE Time : 0.0 sec. user=mdettweiler [2016-11-15 08:41:52] 929*2^1445872-1 is not prime. Res64: 06C23F0C7E96EA63 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:41:52] 959*2^1445872-1 is not prime. Res64: 652190F6A827A589 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:41:52] 627*2^1445873-1 is not prime. Res64: 8D2E5C53273B1F78 Time : 0.0 sec. user=mdettweiler [2016-11-15 08:41:53] 697*2^1445873-1 is not prime. Res64: 2AD7F291A2A910AB Time : 0.0 sec. user=mdettweiler [2016-11-15 08:41:53] 699*2^1445873-1 is not prime. Res64: F2EE2D4C1F6DF18D Time : 0.0 sec. user=mdettweiler [2016-11-15 09:07:56] 771*2^1445873-1 is not prime. Res64: 5B90CE5902BE6DD0 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:07:59] 831*2^1445873-1 is not prime. Res64: 1876BD0833FF4301 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:02] 861*2^1445873-1 is not prime. Res64: CFF6EC0DFB54B33D Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:05] 671*2^1445874-1 is not prime. Res64: 1CB1B598D1A1F82C Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:07] 755*2^1445874-1 is not prime. Res64: 06F912F23D4EAE50 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:16] 807*2^1445874-1 is not prime. Res64: 3EF87B72B771D4E4 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:20] 873*2^1445874-1 is not prime. Res64: C50E9B06CB627233 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:08:30] 903*2^1445874-1 is not prime. Res64: E30F637E1A6E6AB7 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:26:05] 691*2^1445875-1 is not prime. Res64: 61996FC521D95EB5 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:26:05] 843*2^1445875-1 is not prime. Res64: 1C1483F1BC0301A5 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:26:06] 999*2^1445875-1 is not prime. Res64: 5E02E6E961C744B0 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:26:06] 609*2^1445876-1 is not prime. Res64: BC2DBB06A8EAAE4B Time : 0.0 sec. user=mdettweiler [2016-11-15 09:26:06] 677*2^1445876-1 is not prime. Res64: 605C9B54E5190920 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:27:04] 699*2^1445876-1 is not prime. Res64: BA8419D100763791 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:27:04] 869*2^1445876-1 is not prime. Res64: 288A9332925EE5AC Time : 0.0 sec. user=mdettweiler [2016-11-15 09:27:05] 875*2^1445876-1 is not prime. Res64: 937B9E8EFF4ABAB3 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:27:05] 903*2^1445876-1 is not prime. Res64: C422032EF0AC537D Time : 0.0 sec. user=mdettweiler [2016-11-15 09:27:05] 661*2^1445877-1 is not prime. Res64: 225508BB78BDE098 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:54:11] 667*2^1445877-1 is not prime. Res64: 10650205D4388EAA Time : 0.0 sec. user=mdettweiler [2016-11-15 09:54:11] 805*2^1445877-1 is not prime. Res64: 00329340C90320A8 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:54:12] 849*2^1445877-1 is not prime. Res64: 786AFF2F403014DD Time : 0.0 sec. user=mdettweiler [2016-11-15 09:54:12] 867*2^1445877-1 is not prime. Res64: 416178C359B83A75 Time : 0.0 sec. user=mdettweiler [2016-11-15 09:54:13] 961*2^1445877-1 is not prime. Res64: 6C20FF92FD1067F0 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:00] 605*2^1445878-1 is not prime. Res64: A41A2E1C08369443 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:00] 611*2^1445878-1 is not prime. Res64: 28388DD114DC6513 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:01] 663*2^1445878-1 is not prime. Res64: BCA1CCD4673C82DB Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:01] 681*2^1445878-1 is not prime. Res64: 39DC008BEFBAE1A0 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:02] 737*2^1445878-1 is not prime. Res64: EE50BBA72781F68F Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:40] 801*2^1445878-1 is not prime. Res64: F0DBC770586C3BEF Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:41] 815*2^1445878-1 is not prime. Res64: 7B444EEE867A0FD8 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:41] 867*2^1445878-1 is not prime. Res64: 28CB414657CD849F Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:42] 881*2^1445878-1 is not prime. Res64: AE7FC247F8B697B3 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:12:42] 951*2^1445878-1 is not prime. Res64: 73A91FBC10C0E86E Time : 0.0 sec. user=mdettweiler [2016-11-15 10:40:07] 975*2^1445878-1 is not prime. Res64: 8C4E650E8E7A155A Time : 0.0 sec. user=mdettweiler [2016-11-15 10:40:08] 1001*2^1445878-1 is not prime. Res64: B398F2DFDACAB9FD Time : 0.0 sec. user=mdettweiler [2016-11-15 10:40:08] 609*2^1445879-1 is not prime. Res64: A234D8337119ABBE Time : 0.0 sec. user=mdettweiler [2016-11-15 10:40:08] 643*2^1445879-1 is not prime. Res64: 2EEA2FF8FCBFBCE2 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:40:09] 675*2^1445879-1 is not prime. Res64: 76BA53713C12035A Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:05] 685*2^1445879-1 is not prime. Res64: FA601024EBDB21FB Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:05] 693*2^1445879-1 is not prime. Res64: 5EEF3290BA4B8798 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:05] 819*2^1445879-1 is not prime. Res64: 53CEC08761D6AF0F Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:06] 841*2^1445879-1 is not prime. Res64: DE48651AED400FCB Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:06] 895*2^1445879-1 is not prime. Res64: 1130CFE90C5EEDB1 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:32] 921*2^1445879-1 is not prime. Res64: 57957B5DB9A9DFB4 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:32] 993*2^1445879-1 is not prime. Res64: B963FF23A70F2DA6 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:32] 623*2^1445880-1 is not prime. Res64: 558260CE6C79C44D Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:33] 635*2^1445880-1 is not prime. Res64: 4B4176C340498445 Time : 0.0 sec. user=mdettweiler [2016-11-15 10:58:33] 695*2^1445880-1 is not prime. Res64: 4643061DBB737D57 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:25:55] 779*2^1445880-1 is not prime. Res64: 9600FD318293820E Time : 0.0 sec. user=mdettweiler [2016-11-15 11:25:55] 795*2^1445880-1 is not prime. Res64: 7640CA2AD79D9D7B Time : 0.0 sec. user=mdettweiler [2016-11-15 11:25:55] 839*2^1445880-1 is not prime. Res64: B12A33B620B52712 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:25:56] 863*2^1445880-1 is not prime. Res64: C1146F6CD40AEFB6 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:25:56] 899*2^1445880-1 is not prime. Res64: 51AFE33FC4F9551E Time : 0.0 sec. user=mdettweiler [2016-11-15 11:43:51] 717*2^1445881-1 is not prime. Res64: 16ED26DC135D5F28 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:43:51] 807*2^1445881-1 is not prime. Res64: 4C5491D1636B7CF7 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:43:52] 877*2^1445881-1 is not prime. Res64: A4AB703C0393BBFA Time : 0.0 sec. user=mdettweiler [2016-11-15 11:43:52] 945*2^1445881-1 is not prime. Res64: 0AD2EE08BE9CFBE4 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:43:52] 603*2^1445882-1 is not prime. Res64: F7AFC15DBB7332DA Time : 0.0 sec. user=mdettweiler [2016-11-15 11:44:20] 633*2^1445882-1 is not prime. Res64: 018D60F74FD50407 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:44:20] 677*2^1445882-1 is not prime. Res64: 4F46B0882A49DB87 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:44:21] 701*2^1445882-1 is not prime. Res64: ADDEA6F841B403D2 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:44:21] 797*2^1445882-1 is not prime. Res64: 1918C5E2CD0C6092 Time : 0.0 sec. user=mdettweiler [2016-11-15 11:44:22] 825*2^1445882-1 is not prime. Res64: 2ABC5D7C431FBD90 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:12:58] 867*2^1445882-1 is not prime. Res64: 37885967E666886C Time : 0.0 sec. user=mdettweiler [2016-11-15 12:12:58] 887*2^1445882-1 is not prime. Res64: 68F3D290A4659A5F Time : 0.0 sec. user=mdettweiler [2016-11-15 12:12:59] 903*2^1445882-1 is not prime. Res64: 3F370F6B8EE0FAF9 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:12:59] 977*2^1445882-1 is not prime. Res64: 8458B04BF85A9508 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:12:59] 949*2^1445883-1 is not prime. Res64: 335435099A48628A Time : 0.0 sec. user=mdettweiler [2016-11-15 12:15:08] 947*2^1445874-1 is not prime. Res64: AD50B8077CD87A2E Time : 0.0 sec. user=mdettweiler [2016-11-15 12:15:09] 633*2^1445875-1 is not prime. Res64: 6EE9E5A8681487E7 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:28] 609*2^1445884-1 is not prime. Res64: 2DDAE0066656D28F Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:29] 869*2^1445884-1 is not prime. Res64: 10E5C5DFDF030FAD Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:29] 993*2^1445884-1 is not prime. Res64: E00A23332D1E72B8 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:29] 899*2^1445884-1 is not prime. Res64: 5AAC4AD660FC9C7C Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:29] 697*2^1445885-1 is not prime. Res64: 254B53A5146EE9F2 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:29] 905*2^1445884-1 is not prime. Res64: E0BB8FB49BA8138D Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:30] 729*2^1445885-1 is not prime. Res64: D40147CC05D47355 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:30] 947*2^1445884-1 is not prime. Res64: F5E36843BDDD8953 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:30] 801*2^1445885-1 is not prime. Res64: 07B4B63576A38BE9 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:30:31] 693*2^1445886-1 is not prime. Res64: 6246B60F0BAF38BA Time : 0.0 sec. user=mdettweiler [2016-11-15 12:58:50] 755*2^1445886-1 is not prime. Res64: 37001F028A986BDE Time : 0.0 sec. user=mdettweiler [2016-11-15 12:58:50] 807*2^1445886-1 is not prime. Res64: 7621473683C0AC56 Time : 0.0 sec. user=mdettweiler [2016-11-15 12:58:50] 821*2^1445886-1 is not prime. Res64: 040C754545CE246F Time : 0.0 sec. user=mdettweiler [2016-11-15 12:58:51] 651*2^1445887-1 is not prime. Res64: E4D24F963D5ACE4A Time : 0.0 sec. user=mdettweiler [2016-11-15 12:58:51] 703*2^1445887-1 is not prime. Res64: FBB0BAC8634B2C67 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:00:50] 729*2^1445887-1 is not prime. Res64: 0E07BB46E101FC32 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:00:51] 793*2^1445887-1 is not prime. Res64: 8FA5B8C892CC021D Time : 0.0 sec. user=mdettweiler [2016-11-15 13:00:52] 813*2^1445887-1 is not prime. Res64: C758AA42EA1C4914 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:00:53] 861*2^1445887-1 is not prime. Res64: C79F48B15B5A02B3 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:00:53] 915*2^1445887-1 is not prime. Res64: 2A093B90F2BE166B Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:02] 999*2^1445888-1 is not prime. Res64: B35AFDA32A05977A Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:04] 945*2^1445887-1 is not prime. Res64: BB41F7AFC813F59C Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:05] 649*2^1445889-1 is not prime. Res64: 235580B6C90196B4 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:06] 729*2^1445888-1 is not prime. Res64: 68827BACDC01A915 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:06] 657*2^1445889-1 is not prime. Res64: DA5BEB5D66E9F6CA Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:09] 753*2^1445888-1 is not prime. Res64: 45F33E1D10129707 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:12] 691*2^1445889-1 is not prime. Res64: 61B585953AA203DA Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:13] 789*2^1445888-1 is not prime. Res64: FE1BAA460A164395 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:14] 787*2^1445889-1 is not prime. Res64: 7CF82AC238FCFF9C Time : 0.0 sec. user=mdettweiler [2016-11-15 13:16:15] 945*2^1445888-1 is not prime. Res64: 45067C1B29B8AE82 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:43:47] 789*2^1445889-1 is not prime. Res64: 17105147B7BA7D4C Time : 0.0 sec. user=mdettweiler [2016-11-15 13:43:48] 795*2^1445889-1 is not prime. Res64: D9A3D239F676FB83 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:43:48] 847*2^1445889-1 is not prime. Res64: 6AA6590F1DA56EDA Time : 0.0 sec. user=mdettweiler [2016-11-15 13:43:48] 861*2^1445889-1 is not prime. Res64: 94A86770600B1F83 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:43:49] 951*2^1445889-1 is not prime. Res64: F8114400445A7A89 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:45:41] 999*2^1445889-1 is not prime. Res64: FE315D5B02C2721E Time : 0.0 sec. user=mdettweiler [2016-11-15 13:45:41] 675*2^1445890-1 is not prime. Res64: 6F98988A0B63B42B Time : 0.0 sec. user=mdettweiler [2016-11-15 13:45:42] 695*2^1445890-1 is not prime. Res64: 9DC1B32675DF71D9 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:45:42] 743*2^1445890-1 is not prime. Res64: 3E8965424A535246 Time : 0.0 sec. user=mdettweiler [2016-11-15 13:45:42] 827*2^1445890-1 is not prime. Res64: 6BCB658177F4FC0F Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:10] 939*2^1445891-1 is not prime. Res64: F9C94841159CD3A4 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:11] 873*2^1445890-1 is not prime. Res64: 456F376167185383 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:13] 957*2^1445890-1 is not prime. Res64: 973A5B7E1D85934D Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:14] 987*2^1445890-1 is not prime. Res64: D30054858CB3346A Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:15] 693*2^1445891-1 is not prime. Res64: 7E41377D96E5AE26 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:16] 981*2^1445891-1 is not prime. Res64: C55BCD96DACADB50 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:16] 811*2^1445891-1 is not prime. Res64: 304347B643BDA4F2 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:19] 609*2^1445892-1 is not prime. Res64: 622A9E31D51E2ECD Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:22] 765*2^1445892-1 is not prime. Res64: 8213CCE7A673C67C Time : 0.0 sec. user=mdettweiler [2016-11-15 14:01:24] 893*2^1445892-1 is not prime. Res64: D51F657E33488EE1 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:28:34] 675*2^1445893-1 is not prime. Res64: 0C3981C7B5E4532E Time : 0.0 sec. user=mdettweiler [2016-11-15 14:28:35] 685*2^1445893-1 is not prime. Res64: 25F9E99107705B35 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:28:35] 955*2^1445893-1 is not prime. Res64: BC2F4F3453C2849C Time : 0.0 sec. user=mdettweiler [2016-11-15 14:28:35] 967*2^1445893-1 is not prime. Res64: 8A3E769DACC425AF Time : 0.0 sec. user=mdettweiler [2016-11-15 14:28:36] 683*2^1445894-1 is not prime. Res64: 9AEC04C76649DFC3 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:30:31] 711*2^1445894-1 is not prime. Res64: 15FD51B3855BD411 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:30:31] 731*2^1445894-1 is not prime. Res64: F09B31B6BDA94318 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:30:31] 741*2^1445894-1 is not prime. Res64: E5F4FD58F1727165 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:30:32] 743*2^1445894-1 is not prime. Res64: 496E977C0DA978EA Time : 0.0 sec. user=mdettweiler [2016-11-15 14:30:32] 791*2^1445894-1 is not prime. Res64: AAD4962FD69642E0 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:05] 797*2^1445894-1 is not prime. Res64: 061B85D2C744D5CA Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:06] 885*2^1445894-1 is not prime. Res64: 4FE0E2E2B2FD2D56 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:06] 953*2^1445894-1 is not prime. Res64: FFC02A7BD42A7F1A Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:06] 711*2^1445895-1 is not prime. Res64: C2A8D1F3D8DA3851 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:07] 723*2^1445895-1 is not prime. Res64: 2E0D4551FD695D10 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:11] 735*2^1445895-1 is not prime. Res64: 43CE475DA305853E Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:11] 741*2^1445895-1 is not prime. Res64: 0F197BE70CE9827C Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:12] 781*2^1445895-1 is not prime. Res64: 103779A7EADFAEE1 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:12] 865*2^1445895-1 is not prime. Res64: 8D0DA3E72146B6C5 Time : 0.0 sec. user=mdettweiler [2016-11-15 14:46:12] 885*2^1445895-1 is not prime. Res64: 569C017406595B14 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:13:33] 909*2^1445895-1 is not prime. Res64: 8A3FA27F04873D25 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:13:33] 943*2^1445895-1 is not prime. Res64: 5FC3EA76A89B9B0D Time : 0.0 sec. user=mdettweiler [2016-11-15 15:13:34] 955*2^1445895-1 is not prime. Res64: 05198EF9E85B2E7D Time : 0.0 sec. user=mdettweiler [2016-11-15 15:13:34] 963*2^1445895-1 is not prime. Res64: 054C861D4E9D27F3 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:13:34] 645*2^1445896-1 is not prime. Res64: 7B9E7BD2EC0F21E7 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:15:17] 699*2^1445896-1 is not prime. Res64: E602A539FEBEF992 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:15:17] 719*2^1445896-1 is not prime. Res64: 24046D13F0F8F228 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:15:17] 899*2^1445896-1 is not prime. Res64: A53F7A954B1808D0 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:15:18] 905*2^1445896-1 is not prime. Res64: 4673EA9248DFCAEA Time : 0.0 sec. user=mdettweiler [2016-11-15 15:15:18] 969*2^1445896-1 is not prime. Res64: 3848B25326E7F083 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:30:51] 989*2^1445896-1 is not prime. Res64: 6ACA27817C2C9FC7 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:30:51] 607*2^1445897-1 is not prime. Res64: 3B4116ED1371C686 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:30:52] 631*2^1445897-1 is not prime. Res64: AA2644CC6508FFAF Time : 0.0 sec. user=mdettweiler [2016-11-15 15:30:52] 685*2^1445897-1 is not prime. Res64: C0F3213036C0A943 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:30:53] 747*2^1445897-1 is not prime. Res64: 84AEAB8E4A89A15A Time : 0.0 sec. user=mdettweiler [2016-11-15 15:31:09] 759*2^1445897-1 is not prime. Res64: ABFA912D92B45139 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:31:09] 841*2^1445897-1 is not prime. Res64: A6E5ACDD570F22F0 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:31:10] 861*2^1445897-1 is not prime. Res64: 9756A1EAED1090A5 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:31:10] 901*2^1445897-1 is not prime. Res64: 18F9C426A20167CB Time : 0.0 sec. user=mdettweiler [2016-11-15 15:31:10] 937*2^1445897-1 is not prime. Res64: 7B909F57A718228C Time : 0.0 sec. user=mdettweiler [2016-11-15 15:58:33] 939*2^1445897-1 is not prime. Res64: C375FF0425F81B5C Time : 0.0 sec. user=mdettweiler [2016-11-15 15:58:33] 833*2^1445898-1 is not prime. Res64: 66733611633F3402 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:58:34] 639*2^1445899-1 is not prime. Res64: 27FE3D18C5689211 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:58:34] 681*2^1445899-1 is not prime. Res64: 2DE11746B0F12741 Time : 0.0 sec. user=mdettweiler [2016-11-15 15:58:34] 723*2^1445899-1 is not prime. Res64: 4BB5A3D91FED9201 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:00:14] 873*2^1445899-1 is not prime. Res64: 50A65F31EE4FF6C2 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:00:15] 961*2^1445899-1 is not prime. Res64: 41173741F36D398E Time : 0.0 sec. user=mdettweiler [2016-11-15 16:00:16] 975*2^1445899-1 is not prime. Res64: 555CB7B4213581CD Time : 0.0 sec. user=mdettweiler [2016-11-15 16:00:17] 663*2^1445900-1 is not prime. Res64: B0B9C7A20581295E Time : 0.0 sec. user=mdettweiler [2016-11-15 16:00:18] 665*2^1445900-1 is not prime. Res64: 389D890B1BC68A34 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:15:43] 753*2^1445900-1 is not prime. Res64: 4ACA9836F1708DE8 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:15:43] 773*2^1445900-1 is not prime. Res64: 63DAB1284D692C01 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:15:44] 785*2^1445900-1 is not prime. Res64: 85A38C720249B8CF Time : 0.0 sec. user=mdettweiler [2016-11-15 16:15:44] 845*2^1445900-1 is not prime. Res64: 729C8A0F637E62F5 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:15:45] 885*2^1445900-1 is not prime. Res64: 3D88C7E0B7C9C6BA Time : 0.0 sec. user=mdettweiler [2016-11-15 16:16:12] 899*2^1445900-1 is not prime. Res64: AB19B73607BB1298 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:16:12] 685*2^1445901-1 is not prime. Res64: 934E294FF6097C13 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:16:12] 781*2^1445901-1 is not prime. Res64: 5C3131149B791171 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:16:13] 795*2^1445901-1 is not prime. Res64: 999C191E03F4E249 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:16:13] 817*2^1445901-1 is not prime. Res64: 263021201A2545EF Time : 0.0 sec. user=mdettweiler [2016-11-15 16:43:36] 889*2^1445901-1 is not prime. Res64: 63969C8B11BF2917 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:43:36] 937*2^1445901-1 is not prime. Res64: 60925B9B5BC1386E Time : 0.0 sec. user=mdettweiler [2016-11-15 16:43:37] 997*2^1445901-1 is not prime. Res64: 1EA504F5AB45ABA1 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:43:37] 671*2^1445902-1 is not prime. Res64: 73E1DDEB2A3D700E Time : 0.0 sec. user=mdettweiler [2016-11-15 16:43:38] 675*2^1445902-1 is not prime. Res64: 46BBE808B80C3CCF Time : 0.0 sec. user=mdettweiler [2016-11-15 16:45:17] 801*2^1445902-1 is not prime. Res64: BAE8A2117310422E Time : 0.0 sec. user=mdettweiler [2016-11-15 16:45:17] 915*2^1445902-1 is not prime. Res64: 93DD4F36E3BAE183 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:45:18] 945*2^1445902-1 is not prime. Res64: 92041E321C45750D Time : 0.0 sec. user=mdettweiler [2016-11-15 16:45:18] 633*2^1445903-1 is not prime. Res64: A79C03CB3A4F1ED0 Time : 0.0 sec. user=mdettweiler [2016-11-15 16:45:18] 663*2^1445903-1 is not prime. Res64: 413C71A238140400 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:01:31] 679*2^1445903-1 is not prime. Res64: 775482D7C4542C2A Time : 0.0 sec. user=mdettweiler [2016-11-15 17:01:32] 703*2^1445903-1 is not prime. Res64: FF74F9043FDF5755 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:01:32] 729*2^1445903-1 is not prime. Res64: CD7CE29595746F13 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:01:33] 735*2^1445903-1 is not prime. Res64: A7635F116464E223 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:01:34] 753*2^1445903-1 is not prime. Res64: 289AB6B9F893C39B Time : 0.0 sec. user=mdettweiler [2016-11-15 17:02:06] 829*2^1445903-1 is not prime. Res64: C7CDE3102AA786D7 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:02:07] 675*2^1445904-1 is not prime. Res64: 4B4CD46A69F05D59 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:02:08] 695*2^1445904-1 is not prime. Res64: 53705E6E5C3DCDCF Time : 0.0 sec. user=mdettweiler [2016-11-15 17:02:09] 747*2^1445904-1 is not prime. Res64: C70374014A28C718 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:02:09] 759*2^1445904-1 is not prime. Res64: C53E0F8648A0C15F Time : 0.0 sec. user=mdettweiler [2016-11-15 17:29:18] 903*2^1445904-1 is not prime. Res64: 24734E5D1D17365B Time : 0.0 sec. user=mdettweiler [2016-11-15 17:29:19] 923*2^1445904-1 is not prime. Res64: 2DFB4E7106D8BEC8 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:29:19] 927*2^1445904-1 is not prime. Res64: B8BE664A1620697C Time : 0.0 sec. user=mdettweiler [2016-11-15 17:29:20] 609*2^1445905-1 is not prime. Res64: 5DB37ACF01EE0956 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:29:20] 649*2^1445905-1 is not prime. Res64: 57BB5F05628AC4C0 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:31:03] 661*2^1445905-1 is not prime. Res64: 145732292F7EEC6F Time : 0.0 sec. user=mdettweiler [2016-11-15 17:31:03] 801*2^1445905-1 is not prime. Res64: 0CCD291D99475043 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:31:04] 885*2^1445905-1 is not prime. Res64: F4012372A8D542AB Time : 0.0 sec. user=mdettweiler [2016-11-15 17:31:04] 641*2^1445906-1 is not prime. Res64: 6AEB174F8A75EBE3 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:31:04] 705*2^1445906-1 is not prime. Res64: 577579809B1B4E00 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:46:55] 813*2^1445906-1 is not prime. Res64: F17A87BD2A6539BF Time : 0.0 sec. user=mdettweiler [2016-11-15 17:46:56] 815*2^1445906-1 is not prime. Res64: 1E893853CB7C20D0 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:46:56] 837*2^1445906-1 is not prime. Res64: 42DFE92B93E79A7A Time : 0.0 sec. user=mdettweiler [2016-11-15 17:46:56] 867*2^1445906-1 is not prime. Res64: 613FE14D770C6BFE Time : 0.0 sec. user=mdettweiler [2016-11-15 17:46:57] 887*2^1445906-1 is not prime. Res64: 51404B94156EC065 Time : 0.0 sec. user=mdettweiler [2016-11-15 17:47:37] 945*2^1445906-1 is not prime. Res64: 4E9A0D1833FDF10D Time : 0.0 sec. user=mdettweiler [2016-11-15 17:47:37] 981*2^1445906-1 is not prime. Res64: 0BE587F597F8510E Time : 0.0 sec. user=mdettweiler [2016-11-15 17:47:37] 781*2^1445907-1 is not prime. Res64: A70F4D5C517C879E Time : 0.0 sec. user=mdettweiler [2016-11-15 17:47:38] 835*2^1445907-1 is not prime. Res64: 7121351313AEAB6E Time : 0.0 sec. user=mdettweiler [2016-11-15 17:47:38] 985*2^1445907-1 is not prime. Res64: 1BED6FBEFE13E61D Time : 0.0 sec. user=mdettweiler [2016-11-15 18:14:11] 631*2^1445909-1 is not prime. Res64: 2BE409A329798307 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:14:15] 657*2^1445909-1 is not prime. Res64: 8531113088FBC1FD Time : 0.0 sec. user=mdettweiler [2016-11-15 18:14:17] 679*2^1445909-1 is not prime. Res64: 67ACF4D0F64352E5 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:14:20] 691*2^1445909-1 is not prime. Res64: C2EEB8CC6AAFED8C Time : 0.0 sec. user=mdettweiler [2016-11-15 18:14:22] 781*2^1445909-1 is not prime. Res64: F1DDA18304940FB9 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:15:57] 829*2^1445909-1 is not prime. Res64: 96DD9A3437781016 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:31:51] 801*2^1445910-1 is not prime. Res64: DAA1446675C70237 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:31:52] 927*2^1445910-1 is not prime. Res64: 94425FFED16698DB Time : 0.0 sec. user=mdettweiler [2016-11-15 18:31:52] 965*2^1445910-1 is not prime. Res64: 35C42B71E4E0388E Time : 0.0 sec. user=mdettweiler [2016-11-15 18:31:53] 601*2^1445911-1 is not prime. Res64: 2AED5E0DB1655487 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:31:54] 651*2^1445911-1 is not prime. Res64: 8FB59A052FB2C912 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:32:37] 679*2^1445911-1 is not prime. Res64: 692CE0F3FF5F91D6 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:32:38] 709*2^1445911-1 is not prime. Res64: BDB0B79E43639226 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:32:38] 759*2^1445911-1 is not prime. Res64: E313D43929C3FB92 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:32:38] 763*2^1445911-1 is not prime. Res64: 90E9B57ABA7F0044 Time : 0.0 sec. user=mdettweiler [2016-11-15 18:32:39] 855*2^1445911-1 is not prime. Res64: 1134458CA217F43B Time : 0.0 sec. user=mdettweiler [2016-11-15 19:00:49] 873*2^1445911-1 is not prime. Res64: 461131307185F562 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:00:50] 939*2^1445911-1 is not prime. Res64: 978B849E8E253855 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:00:51] 689*2^1445912-1 is not prime. Res64: EE982F62FC36ADF8 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:00:52] 759*2^1445912-1 is not prime. Res64: EFD5877DEF91A8EE Time : 0.0 sec. user=mdettweiler [2016-11-15 19:00:52] 797*2^1445912-1 is not prime. Res64: BC67CE7937E12D88 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:17:39] 873*2^1445912-1 is not prime. Res64: C06E99D41C67AACF Time : 0.0 sec. user=mdettweiler [2016-11-15 19:17:40] 917*2^1445912-1 is not prime. Res64: 1F3E1F1A3E8F85F1 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:17:41] 739*2^1445913-1 is not prime. Res64: 50209997949C205F Time : 0.0 sec. user=mdettweiler [2016-11-15 19:17:42] 741*2^1445913-1 is not prime. Res64: 3F742258536B6AA8 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:17:42] 849*2^1445913-1 is not prime. Res64: 686336E627E4D206 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:18:36] 885*2^1445913-1 is not prime. Res64: 04BE8013536DDC12 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:18:36] 951*2^1445913-1 is not prime. Res64: 4E927AC666386EA2 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:18:37] 605*2^1445914-1 is not prime. Res64: 0DB45EFA7A12DF77 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:18:38] 651*2^1445914-1 is not prime. Res64: 36C3712B8D853B96 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:18:39] 681*2^1445914-1 is not prime. Res64: 40938B93E5BECDBF Time : 0.0 sec. user=mdettweiler [2016-11-15 19:47:00] 707*2^1445914-1 is not prime. Res64: 82F068B0F2CAE4D8 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:47:00] 783*2^1445914-1 is not prime. Res64: 0C97A3E2F52D1D7C Time : 0.0 sec. user=mdettweiler [2016-11-15 19:47:01] 821*2^1445914-1 is not prime. Res64: C95D3561298D6C0B Time : 0.0 sec. user=mdettweiler [2016-11-15 19:47:01] 915*2^1445914-1 is not prime. Res64: F9E9DD1B2F430B44 Time : 0.0 sec. user=mdettweiler [2016-11-15 19:47:01] 981*2^1445914-1 is not prime. Res64: AD154F070A06E190 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:03:50] 775*2^1445915-1 is not prime. Res64: DB0A3EE7EACB5D57 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:03:52] 885*2^1445915-1 is not prime. Res64: F0A77FC039E58797 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:03:53] 973*2^1445915-1 is not prime. Res64: 3C28F869C19F8873 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:03:55] 999*2^1445915-1 is not prime. Res64: 5D17B6309866F452 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:03:56] 705*2^1445916-1 is not prime. Res64: CD2B105719ADE04C Time : 0.0 sec. user=mdettweiler [2016-11-15 20:05:09] 707*2^1445916-1 is not prime. Res64: 11F66AD422D165E3 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:05:11] 759*2^1445916-1 is not prime. Res64: 26A11D9B4AD7FE4E Time : 0.0 sec. user=mdettweiler [2016-11-15 20:05:12] 845*2^1445916-1 is not prime. Res64: BCA6CA70DF35A494 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:05:14] 601*2^1445917-1 is not prime. Res64: 95B732D5CF104C0E Time : 0.0 sec. user=mdettweiler [2016-11-15 20:05:16] 687*2^1445917-1 is not prime. Res64: 9ACA28567DC4E68D Time : 0.0 sec. user=mdettweiler [2016-11-15 20:33:32] 751*2^1445917-1 is not prime. Res64: 0627D7E40BED34C8 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:33:32] 859*2^1445917-1 is not prime. Res64: D94FE5516C8B35AF Time : 0.0 sec. user=mdettweiler [2016-11-15 20:33:33] 915*2^1445917-1 is not prime. Res64: 1E47B82C18FA78D5 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:33:33] 919*2^1445917-1 is not prime. Res64: ECC6E64A5CE6DB77 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:33:34] 939*2^1445917-1 is not prime. Res64: D6D1D67B9CB812B9 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:50:14] 985*2^1445917-1 is not prime. Res64: 14A7A2AE9567F8E3 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:50:14] 677*2^1445918-1 is not prime. Res64: CBC22A334D4B8EAB Time : 0.0 sec. user=mdettweiler [2016-11-15 20:50:15] 713*2^1445918-1 is not prime. Res64: 02450AC445694877 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:50:15] 755*2^1445918-1 is not prime. Res64: B54B6BC7F1C536E0 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:50:15] 813*2^1445918-1 is not prime. Res64: C855359EEABBCACC Time : 0.0 sec. user=mdettweiler [2016-11-15 20:51:40] 861*2^1445918-1 is not prime. Res64: 3C6FE12F8B0D305A Time : 0.0 sec. user=mdettweiler [2016-11-15 20:51:41] 875*2^1445918-1 is not prime. Res64: BE39D30629192E49 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:51:41] 921*2^1445918-1 is not prime. Res64: 8196BBADC7553699 Time : 0.0 sec. user=mdettweiler [2016-11-15 20:51:41] 951*2^1445918-1 is not prime. Res64: A8B01B3E50F57DDC Time : 0.0 sec. user=mdettweiler [2016-11-15 20:51:42] 987*2^1445918-1 is not prime. Res64: C056E668D534FC66 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:19:27] 609*2^1445919-1 is not prime. Res64: 4851B3D853C006C2 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:19:27] 615*2^1445919-1 is not prime. Res64: D8BA1E6A0017ACFD Time : 0.0 sec. user=mdettweiler [2016-11-15 21:19:28] 625*2^1445919-1 is not prime. Res64: 7FD2EE0E2B5E55A6 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:19:28] 831*2^1445919-1 is not prime. Res64: D527DBE353B9D4CB Time : 0.0 sec. user=mdettweiler [2016-11-15 21:19:29] 859*2^1445919-1 is not prime. Res64: 64E9E0784C47DDBF Time : 0.0 sec. user=mdettweiler [2016-11-15 21:36:09] 919*2^1445919-1 is not prime. Res64: 9CA4D023D7A87F6E Time : 0.0 sec. user=mdettweiler [2016-11-15 21:36:10] 921*2^1445919-1 is not prime. Res64: CEAADCA05011D005 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:36:11] 961*2^1445919-1 is not prime. Res64: B3BDA015E23C819E Time : 0.0 sec. user=mdettweiler [2016-11-15 21:36:12] 985*2^1445919-1 is not prime. Res64: F09986CF679BEEAE Time : 0.0 sec. user=mdettweiler [2016-11-15 21:36:12] 605*2^1445920-1 is not prime. Res64: 41A9B94E0DA69FBB Time : 0.0 sec. user=mdettweiler [2016-11-15 21:37:45] 663*2^1445920-1 is not prime. Res64: 33FCFE02AC3A037D Time : 0.0 sec. user=mdettweiler [2016-11-15 21:37:45] 803*2^1445920-1 is not prime. Res64: A9EE82D9E1F3B3B2 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:37:46] 827*2^1445920-1 is not prime. Res64: 6683E0A9128826FE Time : 0.0 sec. user=mdettweiler [2016-11-15 21:37:47] 845*2^1445920-1 is not prime. Res64: B486E4AF56ADEBE8 Time : 0.0 sec. user=mdettweiler [2016-11-15 21:37:47] 849*2^1445920-1 is not prime. Res64: 67AD22FAA3C24CCC Time : 0.0 sec. user=mdettweiler [2016-11-15 22:05:27] 909*2^1445920-1 is not prime. Res64: 430D1C8FB1A8D480 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:05:29] 983*2^1445920-1 is not prime. Res64: AC5C257DD8234386 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:05:30] 649*2^1445921-1 is not prime. Res64: 1D9EE112A572B69C Time : 0.0 sec. user=mdettweiler [2016-11-15 22:05:32] 871*2^1445921-1 is not prime. Res64: 531E71705270CD6F Time : 0.0 sec. user=mdettweiler [2016-11-15 22:05:33] 681*2^1445922-1 is not prime. Res64: 08F158804E435733 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:11:13] 635*2^1445910-1 is not prime. Res64: 1BA0C58078AC6AF2 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:11:14] 711*2^1445910-1 is not prime. Res64: A9BAE08FF6BD31F4 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:11:15] 725*2^1445910-1 is not prime. Res64: 26463A9719BF65F0 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:11:16] 741*2^1445910-1 is not prime. Res64: 5159A9CF187C2332 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:21:53] 609*2^1445923-1 is not prime. Res64: 85673D8455AD10B9 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:21:54] 691*2^1445923-1 is not prime. Res64: 8467DACB15606580 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:21:55] 813*2^1445923-1 is not prime. Res64: 42D888B15E24D891 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:21:55] 969*2^1445923-1 is not prime. Res64: C0D2D579A08E71C2 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:21:56] 605*2^1445924-1 is not prime. Res64: CE91140D97F6E4D6 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:23:27] 759*2^1445924-1 is not prime. Res64: E96A35FEB2E5D806 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:23:27] 825*2^1445924-1 is not prime. Res64: 0821D2D14BBE272E Time : 0.0 sec. user=mdettweiler [2016-11-15 22:23:27] 855*2^1445924-1 is not prime. Res64: 597D3560D6D674A8 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:23:28] 909*2^1445924-1 is not prime. Res64: 9BE28526BFDD35BE Time : 0.0 sec. user=mdettweiler [2016-11-15 22:23:28] 657*2^1445925-1 is not prime. Res64: CFBFAD6D99B984D2 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:50:39] 669*2^1445925-1 is not prime. Res64: 1F5FD5920C5492AA Time : 0.0 sec. user=mdettweiler [2016-11-15 22:50:39] 679*2^1445925-1 is not prime. Res64: 46D14B9A54BEDF73 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:50:40] 777*2^1445925-1 is not prime. Res64: C2B55DAB3C6C1FA8 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:50:40] 891*2^1445925-1 is not prime. Res64: 99E707A9379ED726 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:50:40] 765*2^1445926-1 is not prime. Res64: 21BBD319FC3EF234 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:56:14] 777*2^1445926-1 is not prime. Res64: ADFBDD318C35089C Time : 0.0 sec. user=mdettweiler [2016-11-15 22:56:14] 825*2^1445926-1 is not prime. Res64: 4632074FA0FF1081 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:56:14] 843*2^1445926-1 is not prime. Res64: F02370209E338E52 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:56:15] 911*2^1445926-1 is not prime. Res64: 3B4FBF6AEC180577 Time : 0.0 sec. user=mdettweiler [2016-11-15 22:56:15] 917*2^1445926-1 is not prime. Res64: F08E8D32CC888321 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:06:48] 645*2^1445927-1 is not prime. Res64: 71FC2AA8E83A55EE Time : 0.0 sec. user=mdettweiler [2016-11-15 23:06:50] 693*2^1445927-1 is not prime. Res64: 9C7A379DBD9EEF0F Time : 0.0 sec. user=mdettweiler [2016-11-15 23:06:52] 805*2^1445927-1 is not prime. Res64: F19DF66CC9A064E8 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:06:53] 841*2^1445927-1 is not prime. Res64: A81151AFB9D50C0D Time : 0.0 sec. user=mdettweiler [2016-11-15 23:06:54] 865*2^1445927-1 is not prime. Res64: 4A873C2DE5755C75 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:08:20] 909*2^1445927-1 is not prime. Res64: 6FAE94B75E7D5230 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:08:21] 993*2^1445927-1 is not prime. Res64: 1414697F3275ECE9 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:08:22] 629*2^1445928-1 is not prime. Res64: 99C3C166078BEE5F Time : 0.0 sec. user=mdettweiler [2016-11-15 23:08:24] 663*2^1445928-1 is not prime. Res64: 723867DEA9773FE2 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:08:26] 723*2^1445928-1 is not prime. Res64: 7694E3E41D640CBD Time : 0.0 sec. user=mdettweiler [2016-11-15 23:35:38] 839*2^1445928-1 is not prime. Res64: 00B65F7F2DEA7278 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:35:38] 915*2^1445928-1 is not prime. Res64: 3FD6D8E6F6EDD273 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:35:39] 927*2^1445928-1 is not prime. Res64: 3ED5A60E812A0E54 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:35:39] 977*2^1445928-1 is not prime. Res64: A36A2441CE56C313 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:35:39] 747*2^1445929-1 is not prime. Res64: 9F02C97C3097F4AF Time : 0.0 sec. user=mdettweiler [2016-11-15 23:41:07] 877*2^1445929-1 is not prime. Res64: 8C0BA1271A9DF7AE Time : 0.0 sec. user=mdettweiler [2016-11-15 23:41:08] 605*2^1445930-1 is not prime. Res64: E6DD9D1123448907 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:41:08] 623*2^1445930-1 is not prime. Res64: AB06CB2309C48E28 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:41:08] 635*2^1445930-1 is not prime. Res64: FCBB20DB8B46DFDB Time : 0.0 sec. user=mdettweiler [2016-11-15 23:41:09] 717*2^1445930-1 is not prime. Res64: 29D445E25D594EBD Time : 0.0 sec. user=mdettweiler [2016-11-15 23:51:58] 743*2^1445930-1 is not prime. Res64: 158CA4293E97B773 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:51:59] 773*2^1445930-1 is not prime. Res64: 180CE27264342076 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:51:59] 927*2^1445930-1 is not prime. Res64: 0107B0667939B6CB Time : 0.0 sec. user=mdettweiler [2016-11-15 23:51:59] 675*2^1445931-1 is not prime. Res64: 4A34C728CB976C6E Time : 0.0 sec. user=mdettweiler [2016-11-15 23:52:00] 723*2^1445931-1 is not prime. Res64: 863666B1ABA312C2 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:53:23] 795*2^1445931-1 is not prime. Res64: 2E301B6040912761 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:53:23] 805*2^1445931-1 is not prime. Res64: 49082FB5D1FA86AC Time : 0.0 sec. user=mdettweiler [2016-11-15 23:53:23] 895*2^1445931-1 is not prime. Res64: B8704DB3567F8AB1 Time : 0.0 sec. user=mdettweiler [2016-11-15 23:53:24] 901*2^1445931-1 is not prime. Res64: ACDF5C11542FB82E Time : 0.0 sec. user=mdettweiler [2016-11-15 23:53:24] 973*2^1445931-1 is not prime. Res64: E7ACF223019D249B Time : 0.0 sec.