user=mdettweiler [2016-01-08 00:10:27] 945*2^1418840-1 is not prime. Res64: 60BC8A6F4BA7EA8A Time : 0.0 sec. user=mdettweiler [2016-01-08 00:10:27] 797*2^1418840-1 is not prime. Res64: 4564AE67EC794FB3 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:10:28] 609*2^1418841-1 is not prime. Res64: 859D4BE404A60749 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:10:28] 825*2^1418840-1 is not prime. Res64: 000E1105B2331D80 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:28:20] 727*2^1418841-1 is not prime. Res64: 302A53D25E467B43 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:28:21] 735*2^1418841-1 is not prime. Res64: 8E8677BE648CDB82 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:28:21] 615*2^1418841-1 is not prime. Res64: 1120F3DCEDD229CC Time : 0.0 sec. user=mdettweiler [2016-01-08 00:28:21] 717*2^1418841-1 is not prime. Res64: DB1796910BD55D06 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:45:53] 865*2^1418841-1 is not prime. Res64: 9D6AE1B6AAD8193B Time : 0.0 sec. user=mdettweiler [2016-01-08 00:45:53] 717*2^1418842-1 is not prime. Res64: 6A3C4B9B84CABDC3 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:45:54] 705*2^1418842-1 is not prime. Res64: 1392E502A5A09B69 Time : 0.0 sec. user=mdettweiler [2016-01-08 00:45:54] 833*2^1418842-1 is not prime. Res64: 10EBB0916E6647B2 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:03:27] 915*2^1418842-1 is not prime. Res64: 54C8D638E350D592 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:03:29] 843*2^1418842-1 is not prime. Res64: 5E5A26B4630F2C5C Time : 0.0 sec. user=mdettweiler [2016-01-08 01:03:29] 923*2^1418842-1 is not prime. Res64: 416660526EB13925 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:03:30] 911*2^1418842-1 is not prime. Res64: 7CA30212937EC1A2 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:21:26] 805*2^1418843-1 is not prime. Res64: 236CEEC1D6813F15 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:21:26] 955*2^1418843-1 is not prime. Res64: BD0C1EF178192AB3 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:21:27] 983*2^1418842-1 is not prime. Res64: 44AE72DABF67996E Time : 0.0 sec. user=mdettweiler [2016-01-08 01:21:27] 621*2^1418843-1 is not prime. Res64: 883099E8FDCB6BF9 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:39:00] 893*2^1418844-1 is not prime. Res64: 0B592B72B53D5D79 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:39:00] 693*2^1418844-1 is not prime. Res64: 1D9B655CE3417375 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:39:01] 969*2^1418844-1 is not prime. Res64: 71780BD16BDCD81D Time : 0.0 sec. user=mdettweiler [2016-01-08 01:39:01] 783*2^1418844-1 is not prime. Res64: B20A894007343524 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:56:36] 805*2^1418845-1 is not prime. Res64: 27B6E76CA39CDAD0 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:56:36] 867*2^1418845-1 is not prime. Res64: 044946562535C762 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:56:47] 641*2^1418846-1 is not prime. Res64: 9957D14A858A0020 Time : 0.0 sec. user=mdettweiler [2016-01-08 01:56:47] 671*2^1418846-1 is not prime. Res64: E7634D7BC07114F8 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:14:11] 711*2^1418846-1 is not prime. Res64: 3D02AC0BDB59EDD4 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:14:11] 861*2^1418846-1 is not prime. Res64: 9F8213462207EAD2 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:14:23] 873*2^1418846-1 is not prime. Res64: 21AD73BD94021D87 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:14:23] 887*2^1418846-1 is not prime. Res64: D01FF308E9F6F6C4 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:31:46] 981*2^1418846-1 is not prime. Res64: 9AE4622154A890FD Time : 0.0 sec. user=mdettweiler [2016-01-08 02:31:47] 685*2^1418847-1 is not prime. Res64: 75528FA46E6D87A8 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:31:56] 859*2^1418847-1 is not prime. Res64: 12FA41A5D229677F Time : 0.0 sec. user=mdettweiler [2016-01-08 02:31:57] 665*2^1418848-1 is not prime. Res64: 2F3446520943678C Time : 0.0 sec. user=mdettweiler [2016-01-08 02:49:30] 695*2^1418848-1 is not prime. Res64: F5B144922A8369A0 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:49:31] 747*2^1418848-1 is not prime. Res64: 4BF0696E63547AC4 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:49:34] 827*2^1418848-1 is not prime. Res64: B14A9921AC136788 Time : 0.0 sec. user=mdettweiler [2016-01-08 02:49:35] 833*2^1418848-1 is not prime. Res64: CBD064912A1E61A0 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:07:11] 875*2^1418848-1 is not prime. Res64: 2D53330EC8AAFC36 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:07:12] 923*2^1418848-1 is not prime. Res64: B2DC3E85FA637823 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:07:13] 915*2^1418848-1 is not prime. Res64: AE0E328B0A3AC883 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:07:15] 993*2^1418848-1 is not prime. Res64: 35422896BA4473F4 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:25:07] 729*2^1418849-1 is not prime. Res64: 82E23B7223508B7F Time : 0.0 sec. user=mdettweiler [2016-01-08 03:25:11] 801*2^1418849-1 is not prime. Res64: 79B2F02AD4205DD5 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:25:12] 861*2^1418849-1 is not prime. Res64: D755437223BF2213 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:25:13] 885*2^1418849-1 is not prime. Res64: A4303B9B69FB43BB Time : 0.0 sec. user=mdettweiler [2016-01-08 03:42:56] 1001*2^1418850-1 is not prime. Res64: C62232DD55AB6D2A Time : 0.0 sec. user=mdettweiler [2016-01-08 03:42:58] 713*2^1418850-1 is not prime. Res64: A2ED86E75B1D24D4 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:43:00] 625*2^1418851-1 is not prime. Res64: 90B803A3CBD2FCC0 Time : 0.0 sec. user=mdettweiler [2016-01-08 03:43:01] 735*2^1418850-1 is not prime. Res64: F0881D17B814F9AA Time : 0.0 sec. user=mdettweiler [2016-01-08 04:11:39] 861*2^1418851-1 is not prime. Res64: CC49284798D62F39 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:11:40] 645*2^1418851-1 is not prime. Res64: 97EC134BA10D98E0 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:11:40] 925*2^1418851-1 is not prime. Res64: 78793FE3ED8C4AFC Time : 0.0 sec. user=mdettweiler [2016-01-08 04:11:41] 793*2^1418851-1 is not prime. Res64: C45876349F415780 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:29:21] 931*2^1418851-1 is not prime. Res64: FF940059975EED9D Time : 0.0 sec. user=mdettweiler [2016-01-08 04:29:22] 669*2^1418852-1 is not prime. Res64: 1125A2A45A00F126 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:29:23] 717*2^1418852-1 is not prime. Res64: 81C0E86D810618A4 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:29:25] 743*2^1418852-1 is not prime. Res64: 0F4A216764B851D3 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:47:07] 855*2^1418852-1 is not prime. Res64: 2F8E71116309A262 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:47:08] 873*2^1418852-1 is not prime. Res64: 51D60C40B64A759A Time : 0.0 sec. user=mdettweiler [2016-01-08 04:47:08] 903*2^1418852-1 is not prime. Res64: AC551BF9E40A48A7 Time : 0.0 sec. user=mdettweiler [2016-01-08 04:47:09] 995*2^1418852-1 is not prime. Res64: 0C3D640EA79EC1B8 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:04:56] 621*2^1418853-1 is not prime. Res64: 78DADCA91D98C918 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:04:57] 949*2^1418853-1 is not prime. Res64: 60BC1B35F94CDC80 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:04:58] 649*2^1418853-1 is not prime. Res64: E731D00E5643D000 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:04:59] 645*2^1418854-1 is not prime. Res64: EE778010B27D80AE Time : 0.0 sec. user=mdettweiler [2016-01-08 05:22:54] 705*2^1418854-1 is not prime. Res64: 6DD113077BC0009D Time : 0.0 sec. user=mdettweiler [2016-01-08 05:22:55] 783*2^1418854-1 is not prime. Res64: FAF5E08ED143893C Time : 0.0 sec. user=mdettweiler [2016-01-08 05:22:55] 731*2^1418854-1 is not prime. Res64: 3D113E668600FD2D Time : 0.0 sec. user=mdettweiler [2016-01-08 05:22:56] 831*2^1418854-1 is not prime. Res64: C961AE8E6BA5D32E Time : 0.0 sec. user=mdettweiler [2016-01-08 05:40:39] 903*2^1418854-1 is not prime. Res64: B2836114027959F0 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:40:39] 855*2^1418854-1 is not prime. Res64: C599A4081AB7BBE7 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:40:40] 923*2^1418854-1 is not prime. Res64: A533C76E072B3A88 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:40:40] 857*2^1418854-1 is not prime. Res64: AE7E1B99401B2AD1 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:58:19] 645*2^1418855-1 is not prime. Res64: 9C787426F842DAF0 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:58:19] 609*2^1418855-1 is not prime. Res64: 380EB478DF7A4324 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:58:20] 759*2^1418855-1 is not prime. Res64: 80F08320C385A294 Time : 0.0 sec. user=mdettweiler [2016-01-08 05:58:20] 619*2^1418855-1 is not prime. Res64: ECFEC8DACAA95ACA Time : 0.0 sec. user=mdettweiler [2016-01-08 06:16:00] 823*2^1418855-1 is not prime. Res64: 6123A9EDD569381C Time : 0.0 sec. user=mdettweiler [2016-01-08 06:16:01] 861*2^1418855-1 is not prime. Res64: B8B69DBA3587A567 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:16:01] 843*2^1418855-1 is not prime. Res64: 477E297DCE923448 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:16:01] 747*2^1418856-1 is not prime. Res64: ABF1E085AAEE4CE1 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:33:44] 767*2^1418856-1 is not prime. Res64: FD762AD11D271227 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:33:45] 903*2^1418856-1 is not prime. Res64: 161CCB26963FF418 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:33:45] 857*2^1418856-1 is not prime. Res64: 481BE88CCA138321 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:33:46] 639*2^1418857-1 is not prime. Res64: 5E82651D0526F411 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:51:25] 651*2^1418857-1 is not prime. Res64: EF733AAFB0FDF171 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:51:26] 675*2^1418857-1 is not prime. Res64: CFDFD9F067CCFF59 Time : 0.0 sec. user=mdettweiler [2016-01-08 06:51:28] 751*2^1418857-1 is not prime. Res64: 2D29FF0A4494469C Time : 0.0 sec. user=mdettweiler [2016-01-08 06:51:29] 801*2^1418857-1 is not prime. Res64: BF4A55B2042F52E9 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:09:11] 841*2^1418857-1 is not prime. Res64: DE3FDD29AB1040E4 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:09:12] 861*2^1418857-1 is not prime. Res64: E250BA2377D16DF9 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:09:14] 885*2^1418857-1 is not prime. Res64: 157189CF260D42A5 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:09:15] 657*2^1418858-1 is not prime. Res64: C5872935064EF03A Time : 0.0 sec. user=mdettweiler [2016-01-08 07:26:54] 963*2^1418858-1 is not prime. Res64: 1D5E8C4EB6A6E6F5 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:26:55] 995*2^1418858-1 is not prime. Res64: D03BD35256234CC7 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:26:56] 801*2^1418859-1 is not prime. Res64: 5EC92CAE2154E922 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:26:57] 843*2^1418859-1 is not prime. Res64: 822FEEBBA1B9823D Time : 0.0 sec. user=mdettweiler [2016-01-08 07:44:36] 675*2^1418860-1 is not prime. Res64: 6977BF3F8371CC28 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:44:37] 735*2^1418860-1 is not prime. Res64: C4A38B12985B6C00 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:44:39] 773*2^1418860-1 is not prime. Res64: 4A6F5A62775BFA33 Time : 0.0 sec. user=mdettweiler [2016-01-08 07:44:40] 843*2^1418860-1 is not prime. Res64: 4D1D4DE81089B1F1 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:02:18] 873*2^1418860-1 is not prime. Res64: A39C38A22B7851C9 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:02:19] 995*2^1418860-1 is not prime. Res64: 661EC59FA626BD5B Time : 0.0 sec. user=mdettweiler [2016-01-08 08:02:20] 727*2^1418861-1 is not prime. Res64: CAC28ED9EB593892 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:02:22] 741*2^1418861-1 is not prime. Res64: 9DD4CCD6E66FC4F9 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:20:06] 769*2^1418861-1 is not prime. Res64: D6C9002DAEB9DA12 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:20:07] 777*2^1418861-1 is not prime. Res64: 37F00D61418B9E51 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:20:10] 781*2^1418861-1 is not prime. Res64: ACC9A5BA69901E47 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:20:11] 825*2^1418861-1 is not prime. Res64: D3C22C43364293EB Time : 0.0 sec. user=mdettweiler [2016-01-08 08:37:46] 987*2^1418861-1 is not prime. Res64: 8C15A84E03898138 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:37:47] 997*2^1418861-1 is not prime. Res64: 62F5BB62FBBA74D6 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:37:52] 611*2^1418862-1 is not prime. Res64: 85234BA0FB0D3265 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:37:53] 765*2^1418862-1 is not prime. Res64: C43260121BEDB702 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:55:29] 963*2^1418862-1 is not prime. Res64: EBFF710CDD6806C4 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:55:31] 619*2^1418863-1 is not prime. Res64: 7BCF59DCA73839A8 Time : 0.0 sec. user=mdettweiler [2016-01-08 08:55:33] 663*2^1418863-1 is not prime. Res64: 860FA2DBDC5BDACE Time : 0.0 sec. user=mdettweiler [2016-01-08 08:55:34] 681*2^1418863-1 is not prime. Res64: 891E71075E6DF4C9 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:13:12] 763*2^1418863-1 is not prime. Res64: 3049E993CE7468F1 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:13:13] 915*2^1418863-1 is not prime. Res64: 6364D33A51C81F0A Time : 0.0 sec. user=mdettweiler [2016-01-08 09:13:15] 919*2^1418863-1 is not prime. Res64: 51927CD9EA1EBBCA Time : 0.0 sec. user=mdettweiler [2016-01-08 09:13:16] 943*2^1418863-1 is not prime. Res64: 27266A396DD66E3B Time : 0.0 sec. user=mdettweiler [2016-01-08 09:30:53] 961*2^1418863-1 is not prime. Res64: BCDDF530281A8BA2 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:30:53] 999*2^1418863-1 is not prime. Res64: CF36F478A29D051A Time : 0.0 sec. user=mdettweiler [2016-01-08 09:30:54] 629*2^1418864-1 is not prime. Res64: 5E422A8C53DBD569 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:30:55] 663*2^1418864-1 is not prime. Res64: B9E187BA0C1674C7 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:48:33] 687*2^1418864-1 is not prime. Res64: 780AFB0BC79856B9 Time : 0.0 sec. user=mdettweiler [2016-01-08 09:48:33] 789*2^1418864-1 is not prime. Res64: 8B2FE169DECE94EE Time : 0.0 sec. user=mdettweiler [2016-01-08 09:48:36] 827*2^1418864-1 is not prime. Res64: 57D0890870DE839C Time : 0.0 sec. user=mdettweiler [2016-01-08 09:48:37] 897*2^1418864-1 is not prime. Res64: 91249CBAD390E9D3 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:06:09] 915*2^1418864-1 is not prime. Res64: 3367C51F227C0BF4 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:06:11] 917*2^1418864-1 is not prime. Res64: 2AECD15435D90E09 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:06:15] 927*2^1418864-1 is not prime. Res64: 21A76F7E829EAB07 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:06:16] 935*2^1418864-1 is not prime. Res64: 146F1BF9043F4813 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:23:55] 657*2^1418865-1 is not prime. Res64: F2CD577A2118424E Time : 0.0 sec. user=mdettweiler [2016-01-08 10:23:55] 705*2^1418865-1 is not prime. Res64: EDCEBE200D593923 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:23:56] 805*2^1418865-1 is not prime. Res64: 2D9B9A9F004206E3 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:23:57] 915*2^1418865-1 is not prime. Res64: 14A1BF675E9A1082 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:41:27] 999*2^1418865-1 is not prime. Res64: 9CF8E65281A37B7D Time : 0.0 sec. user=mdettweiler [2016-01-08 10:41:27] 737*2^1418866-1 is not prime. Res64: 411A8002715746C8 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:41:27] 651*2^1418866-1 is not prime. Res64: B21E75824250A69B Time : 0.0 sec. user=mdettweiler [2016-01-08 10:41:27] 747*2^1418866-1 is not prime. Res64: 7E7292A44BC04A1E Time : 0.0 sec. user=mdettweiler [2016-01-08 10:58:59] 765*2^1418866-1 is not prime. Res64: 3B547D200B7A5BAA Time : 0.0 sec. user=mdettweiler [2016-01-08 10:58:59] 867*2^1418866-1 is not prime. Res64: 4559FC993D83B616 Time : 0.0 sec. user=mdettweiler [2016-01-08 10:58:59] 803*2^1418866-1 is not prime. Res64: 7C11D17D2551EEBC Time : 0.0 sec. user=mdettweiler [2016-01-08 10:58:59] 887*2^1418866-1 is not prime. Res64: 0E09172CD9427972 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:16:31] 957*2^1418866-1 is not prime. Res64: DADE0593304425AA Time : 0.0 sec. user=mdettweiler [2016-01-08 11:16:31] 859*2^1418867-1 is not prime. Res64: 91ED771340A73D07 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:16:32] 609*2^1418867-1 is not prime. Res64: 99596D5233D7C5A3 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:16:32] 861*2^1418867-1 is not prime. Res64: DAC74255AC039CE0 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:34:04] 889*2^1418867-1 is not prime. Res64: 84D95C0D82301D67 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:34:05] 789*2^1418868-1 is not prime. Res64: 1B2250A46286ACB2 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:34:05] 879*2^1418868-1 is not prime. Res64: B621CCE444B2F442 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:34:05] 625*2^1418869-1 is not prime. Res64: F57E3286EFE82810 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:51:47] 877*2^1418869-1 is not prime. Res64: 6E5D52E9A356A108 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:51:47] 957*2^1418869-1 is not prime. Res64: B410E2930FE9C583 Time : 0.0 sec. user=mdettweiler [2016-01-08 11:52:35] 639*2^1418869-1 is not prime. Res64: 5AC60A7BA61044AC Time : 0.0 sec. user=mdettweiler [2016-01-08 11:52:35] 769*2^1418869-1 is not prime. Res64: AE0D4490C3470290 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:09:20] 605*2^1418870-1 is not prime. Res64: 9094201A279AC248 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:09:22] 741*2^1418870-1 is not prime. Res64: 1D2ACC0F705ADA2E Time : 0.0 sec. user=mdettweiler [2016-01-08 12:10:06] 875*2^1418870-1 is not prime. Res64: 973D2AD5E40C0910 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:10:08] 651*2^1418871-1 is not prime. Res64: 2C96C76959A8D5E5 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:27:04] 783*2^1418871-1 is not prime. Res64: 49FCCA364F649EFD Time : 0.0 sec. user=mdettweiler [2016-01-08 12:27:08] 805*2^1418871-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-01-08 12:27:42] 961*2^1418871-1 is not prime. Res64: 42B1D102EE5D7229 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:27:42] 645*2^1418872-1 is not prime. Res64: 410B7408D9568549 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:44:42] 653*2^1418872-1 is not prime. Res64: 9CB7E7147A35C930 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:44:43] 665*2^1418872-1 is not prime. Res64: 5FE1D90315AE05CF Time : 0.0 sec. user=mdettweiler [2016-01-08 12:45:14] 777*2^1418872-1 is not prime. Res64: 702457C64CA2A990 Time : 0.0 sec. user=mdettweiler [2016-01-08 12:45:14] 819*2^1418872-1 is not prime. Res64: A8D80CF93B2AC37E Time : 0.0 sec. user=mdettweiler [2016-01-08 13:02:21] 909*2^1418872-1 is not prime. Res64: 625F4F68F6150A74 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:02:22] 939*2^1418872-1 is not prime. Res64: 27839D7AE69AAD1A Time : 0.0 sec. user=mdettweiler [2016-01-08 13:02:51] 675*2^1418873-1 is not prime. Res64: B40E04AFB6DDD9F2 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:02:51] 679*2^1418873-1 is not prime. Res64: 22F0772641393105 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:21:10] 867*2^1418873-1 is not prime. Res64: E1AFA1660149519B Time : 0.0 sec. user=mdettweiler [2016-01-08 13:21:10] 889*2^1418873-1 is not prime. Res64: D1D5A60B82FEA63F Time : 0.0 sec. user=mdettweiler [2016-01-08 13:21:25] 945*2^1418873-1 is not prime. Res64: 713BE12AC175314C Time : 0.0 sec. user=mdettweiler [2016-01-08 13:21:26] 979*2^1418873-1 is not prime. Res64: 946200458B18813B Time : 0.0 sec. user=mdettweiler [2016-01-08 13:39:04] 641*2^1418874-1 is not prime. Res64: 2639519759C21428 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:39:04] 971*2^1418874-1 is not prime. Res64: 583BBF5A0A1A2CAE Time : 0.0 sec. user=mdettweiler [2016-01-08 13:39:20] 619*2^1418875-1 is not prime. Res64: CFBC9C3ECC42A99B Time : 0.0 sec. user=mdettweiler [2016-01-08 13:39:21] 685*2^1418875-1 is not prime. Res64: 6D86E7504F16E515 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:56:58] 741*2^1418875-1 is not prime. Res64: 22ADA2E510FB19D6 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:56:58] 771*2^1418875-1 is not prime. Res64: EDC2F5C70BFF9DC7 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:57:14] 873*2^1418875-1 is not prime. Res64: D180EFE7CB5122E5 Time : 0.0 sec. user=mdettweiler [2016-01-08 13:57:14] 951*2^1418875-1 is not prime. Res64: D1D7BB64BC2FED32 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:14:52] 635*2^1418876-1 is not prime. Res64: D4113AA3C87FC782 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:14:53] 669*2^1418876-1 is not prime. Res64: 2B57AAB51182E190 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:15:06] 749*2^1418876-1 is not prime. Res64: 30135121801F7384 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:15:06] 867*2^1418876-1 is not prime. Res64: 85B8F40EBCA4A29F Time : 0.0 sec. user=mdettweiler [2016-01-08 14:33:14] 999*2^1418876-1 is not prime. Res64: 2AF3B83D18A093D1 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:33:15] 741*2^1418877-1 is not prime. Res64: 08D0E0211CE7FEA4 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:33:30] 751*2^1418877-1 is not prime. Res64: 371161EAED798497 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:33:30] 795*2^1418877-1 is not prime. Res64: B1E54A9FB37CDAF3 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:50:59] 829*2^1418877-1 is not prime. Res64: 50254B0D51510E5A Time : 0.0 sec. user=mdettweiler [2016-01-08 14:51:00] 961*2^1418877-1 is not prime. Res64: 430CFCD8B138018F Time : 0.0 sec. user=mdettweiler [2016-01-08 14:51:13] 999*2^1418877-1 is not prime. Res64: CF665C4A9D654E77 Time : 0.0 sec. user=mdettweiler [2016-01-08 14:51:14] 603*2^1418878-1 is not prime. Res64: E64878D1BBB4825C Time : 0.0 sec. user=mdettweiler [2016-01-08 15:09:32] 825*2^1418878-1 is not prime. Res64: 2F8B7483DAD48180 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:09:33] 827*2^1418878-1 is not prime. Res64: CCA193E481A0A7C8 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:09:46] 669*2^1418879-1 is not prime. Res64: C67AEA18D210E332 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:09:50] 703*2^1418879-1 is not prime. Res64: 6DB0D00296890A93 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:28:03] 705*2^1418879-1 is not prime. Res64: C72E790FD021FF34 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:28:04] 721*2^1418879-1 is not prime. Res64: ED40057F71F9E00E Time : 0.0 sec. user=mdettweiler [2016-01-08 15:28:11] 745*2^1418879-1 is not prime. Res64: 2905F33234A06298 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:28:11] 753*2^1418879-1 is not prime. Res64: A2A47BF0E88F4520 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:46:23] 799*2^1418879-1 is not prime. Res64: 8FE9B2F1592B92E0 Time : 0.0 sec. user=mdettweiler [2016-01-08 15:46:24] 943*2^1418879-1 is not prime. Res64: 1CB8052A3D91F7CB Time : 0.0 sec. user=mdettweiler [2016-01-08 15:46:30] 985*2^1418879-1 is not prime. Res64: C24DDBA3CFB9569B Time : 0.0 sec. user=mdettweiler [2016-01-08 15:46:30] 999*2^1418879-1 is not prime. Res64: C8C60567D59994E3 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:03:57] 609*2^1418880-1 is not prime. Res64: E5439464BCB89140 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:03:59] 627*2^1418880-1 is not prime. Res64: 14C772F47C0EFFDF Time : 0.0 sec. user=mdettweiler [2016-01-08 16:04:02] 635*2^1418880-1 is not prime. Res64: 23817EB1F6DE6210 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:04:04] 693*2^1418880-1 is not prime. Res64: 639A37C4E88E72B9 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:21:53] 737*2^1418880-1 is not prime. Res64: D603EFC733E80AC7 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:21:53] 797*2^1418880-1 is not prime. Res64: D6FA0282BD3069D1 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:21:54] 873*2^1418880-1 is not prime. Res64: F82CE14D7B94883E Time : 0.0 sec. user=mdettweiler [2016-01-08 16:21:54] 875*2^1418880-1 is not prime. Res64: 26C56BF81D9E4CCB Time : 0.0 sec. user=mdettweiler [2016-01-08 16:39:37] 789*2^1418881-1 is not prime. Res64: D737C77832742627 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:39:37] 799*2^1418881-1 is not prime. Res64: D733F6FBB14BEE9A Time : 0.0 sec. user=mdettweiler [2016-01-08 16:39:38] 649*2^1418881-1 is not prime. Res64: C38871CEEE7AC74C Time : 0.0 sec. user=mdettweiler [2016-01-08 16:39:38] 675*2^1418881-1 is not prime. Res64: 701EDE121B04A39E Time : 0.0 sec. user=mdettweiler [2016-01-08 16:57:22] 877*2^1418881-1 is not prime. Res64: 81719097D170FA37 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:57:22] 931*2^1418881-1 is not prime. Res64: 2A89810ABFC58AEA Time : 0.0 sec. user=mdettweiler [2016-01-08 16:57:23] 909*2^1418881-1 is not prime. Res64: C96D5B5F4D5A8F86 Time : 0.0 sec. user=mdettweiler [2016-01-08 16:57:23] 675*2^1418882-1 is not prime. Res64: 71E1936A5A4D6117 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:15:00] 743*2^1418882-1 is not prime. Res64: E36B4F33431136E0 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:15:01] 801*2^1418882-1 is not prime. Res64: 9C642F976183D331 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:15:01] 735*2^1418882-1 is not prime. Res64: 2C008AD5B0AFC839 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:15:02] 741*2^1418882-1 is not prime. Res64: 4967CCED84D964FA Time : 0.0 sec. user=mdettweiler [2016-01-08 17:32:38] 815*2^1418882-1 is not prime. Res64: E55583D09B95A322 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:32:38] 827*2^1418882-1 is not prime. Res64: 10593B5B0B4C4A18 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:32:40] 887*2^1418882-1 is not prime. Res64: 20028871BBDF6EE6 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:32:41] 663*2^1418883-1 is not prime. Res64: 1F90694E969BEC7E Time : 0.0 sec. user=mdettweiler [2016-01-08 17:50:11] 669*2^1418883-1 is not prime. Res64: 7F5DA64E6525284F Time : 0.0 sec. user=mdettweiler [2016-01-08 17:50:11] 679*2^1418883-1 is not prime. Res64: F7F2E12B60B95333 Time : 0.0 sec. user=mdettweiler [2016-01-08 17:50:13] 741*2^1418883-1 is not prime. Res64: 80C591737AF59C3B Time : 0.0 sec. user=mdettweiler [2016-01-08 17:50:13] 819*2^1418883-1 is not prime. Res64: 56437C08BCD6CF31 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:07:46] 871*2^1418883-1 is not prime. Res64: C6CB59EBC2C44769 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:07:46] 919*2^1418883-1 is not prime. Res64: 6C73623281023B6B Time : 0.0 sec. user=mdettweiler [2016-01-08 18:07:50] 945*2^1418883-1 is not prime. Res64: 349FE6E72B3F7DF3 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:07:51] 895*2^1418883-1 is not prime. Res64: 343616FC9D15D5B8 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:26:01] 623*2^1418884-1 is not prime. Res64: FA21228E76AA00D4 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:26:02] 743*2^1418884-1 is not prime. Res64: 6E735DB8F9F81AA1 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:26:03] 749*2^1418884-1 is not prime. Res64: A59013E0E11B26E8 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:26:03] 765*2^1418884-1 is not prime. Res64: 56B2625168686C43 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:43:35] 785*2^1418884-1 is not prime. Res64: 8110FBF1BCD20ADC Time : 0.0 sec. user=mdettweiler [2016-01-08 18:43:35] 819*2^1418884-1 is not prime. Res64: 063B6B68C21FF6B6 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:43:36] 813*2^1418884-1 is not prime. Res64: D2B1E35F8173F795 Time : 0.0 sec. user=mdettweiler [2016-01-08 18:43:36] 833*2^1418884-1 is not prime. Res64: 01800051621E79EB Time : 0.0 sec. user=mdettweiler [2016-01-08 19:01:07] 909*2^1418884-1 is not prime. Res64: 79FD81A5872A864A Time : 0.0 sec. user=mdettweiler [2016-01-08 19:01:08] 863*2^1418884-1 is not prime. Res64: C98B95D7EC8282FE Time : 0.0 sec. user=mdettweiler [2016-01-08 19:01:09] 675*2^1418885-1 is not prime. Res64: 4DEFE6F5C09712E3 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:01:09] 903*2^1418884-1 is not prime. Res64: 83B13F30944D25EC Time : 0.0 sec. user=mdettweiler [2016-01-08 19:18:55] 711*2^1418885-1 is not prime. Res64: 88C3E9249E902D5C Time : 0.0 sec. user=mdettweiler [2016-01-08 19:18:55] 713*2^1418886-1 is not prime. Res64: 54211768F61C5989 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:18:56] 771*2^1418885-1 is not prime. Res64: C40104B5B7F6A40F Time : 0.0 sec. user=mdettweiler [2016-01-08 19:18:56] 717*2^1418886-1 is not prime. Res64: 8FB6CD79962B461B Time : 0.0 sec. user=mdettweiler [2016-01-08 19:36:29] 801*2^1418886-1 is not prime. Res64: CD5D8F384D16797C Time : 0.0 sec. user=mdettweiler [2016-01-08 19:36:30] 825*2^1418886-1 is not prime. Res64: B70236BAA1A8C398 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:36:30] 843*2^1418886-1 is not prime. Res64: 9E57117FA462CF42 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:36:30] 891*2^1418886-1 is not prime. Res64: D9DE4D620021D1F3 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:54:03] 915*2^1418887-1 is not prime. Res64: 4BA9EA21C01FAA47 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:54:03] 975*2^1418887-1 is not prime. Res64: 64B4CEF5B0FB2968 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:54:03] 993*2^1418886-1 is not prime. Res64: 68D3EBF3B6C5A5D7 Time : 0.0 sec. user=mdettweiler [2016-01-08 19:54:03] 895*2^1418887-1 is not prime. Res64: 57410B933ABDA727 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:11:35] 999*2^1418887-1 is not prime. Res64: ADBE280A37FBC2BE Time : 0.0 sec. user=mdettweiler [2016-01-08 20:11:35] 633*2^1418888-1 is not prime. Res64: 646E9CD1A086A486 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:11:36] 683*2^1418888-1 is not prime. Res64: FE44B7C9EB8A3503 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:11:36] 713*2^1418888-1 is not prime. Res64: 91D9B53EFCB650B6 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:29:08] 963*2^1418888-1 is not prime. Res64: EA0FD756C06B5197 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:29:09] 995*2^1418888-1 is not prime. Res64: 3168DDE767F0F7D2 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:29:09] 735*2^1418888-1 is not prime. Res64: 9BF7AD6330451BAC Time : 0.0 sec. user=mdettweiler [2016-01-08 20:29:11] 825*2^1418888-1 is not prime. Res64: 105CD95BA2B27956 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:46:43] 681*2^1418889-1 is not prime. Res64: 5CC4A2D7EBEA4E29 Time : 0.0 sec. user=mdettweiler [2016-01-08 20:46:43] 781*2^1418889-1 is not prime. Res64: F16309068FC0F25A Time : 0.0 sec. user=mdettweiler [2016-01-08 20:46:43] 789*2^1418889-1 is not prime. Res64: 1AF449886BF4743E Time : 0.0 sec. user=mdettweiler [2016-01-08 20:46:44] 835*2^1418889-1 is not prime. Res64: FDFA8A16178F7319 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:04:15] 951*2^1418889-1 is not prime. Res64: 3190E920ED4EBEB6 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:04:15] 701*2^1418890-1 is not prime. Res64: 731400C1FB61C21B Time : 0.0 sec. user=mdettweiler [2016-01-08 21:04:17] 665*2^1418890-1 is not prime. Res64: 93F61E5E08CFFAE9 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:04:17] 813*2^1418890-1 is not prime. Res64: 4358C4D24ACE792B Time : 0.0 sec. user=mdettweiler [2016-01-08 21:21:57] 827*2^1418890-1 is not prime. Res64: F05F3BA8067E5081 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:21:58] 941*2^1418890-1 is not prime. Res64: B60031535EEDEB17 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:21:58] 945*2^1418890-1 is not prime. Res64: A97DF312DA6A1101 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:21:59] 753*2^1418891-1 is not prime. Res64: B33EA59455356692 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:39:33] 759*2^1418891-1 is not prime. Res64: EA1191E3FD945F21 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:39:33] 913*2^1418891-1 is not prime. Res64: 0CFC2837CF165306 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:39:34] 647*2^1418892-1 is not prime. Res64: 0177BCD4EF93BE19 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:39:34] 675*2^1418892-1 is not prime. Res64: 13930BEEEBC47966 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:57:05] 723*2^1418892-1 is not prime. Res64: E8D139A03E3C6E6C Time : 0.0 sec. user=mdettweiler [2016-01-08 21:57:05] 909*2^1418892-1 is not prime. Res64: 648A403709375581 Time : 0.0 sec. user=mdettweiler [2016-01-08 21:57:05] 777*2^1418892-1 is not prime. Res64: AB7B848BF6C83C0E Time : 0.0 sec. user=mdettweiler [2016-01-08 21:57:05] 929*2^1418892-1 is not prime. Res64: 2C282D4C41E70EB6 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:14:36] 959*2^1418892-1 is not prime. Res64: F49462FDA1CDD19A Time : 0.0 sec. user=mdettweiler [2016-01-08 22:14:36] 975*2^1418892-1 is not prime. Res64: 8719BCB3086A0947 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:14:37] 675*2^1418893-1 is not prime. Res64: 5229A0645051DB2D Time : 0.0 sec. user=mdettweiler [2016-01-08 22:14:37] 757*2^1418893-1 is not prime. Res64: B1B15BF1348FECCC Time : 0.0 sec. user=mdettweiler [2016-01-08 22:32:10] 951*2^1418893-1 is not prime. Res64: D3901C3F3CAC9F95 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:32:11] 955*2^1418893-1 is not prime. Res64: FE00D6BCBF0C0A45 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:32:13] 957*2^1418893-1 is not prime. Res64: 909F5D394572AFCE Time : 0.0 sec. user=mdettweiler [2016-01-08 22:32:14] 677*2^1418894-1 is not prime. Res64: 2FF48552CDFE9E48 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:49:43] 693*2^1418894-1 is not prime. Res64: 415400481396C7BF Time : 0.0 sec. user=mdettweiler [2016-01-08 22:49:44] 717*2^1418894-1 is not prime. Res64: E117AACC7F7FB488 Time : 0.0 sec. user=mdettweiler [2016-01-08 22:49:45] 785*2^1418894-1 is not prime. Res64: B498DCA5FDA3A5EE Time : 0.0 sec. user=mdettweiler [2016-01-08 22:49:45] 861*2^1418894-1 is not prime. Res64: 223E5232DDEEC582 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:07:16] 903*2^1418894-1 is not prime. Res64: 00857B8A965F92CD Time : 0.0 sec. user=mdettweiler [2016-01-08 23:07:16] 927*2^1418894-1 is not prime. Res64: 176FB6F6F321757F Time : 0.0 sec. user=mdettweiler [2016-01-08 23:07:17] 625*2^1418895-1 is not prime. Res64: 336FBC6923DC61CB Time : 0.0 sec. user=mdettweiler [2016-01-08 23:07:17] 775*2^1418895-1 is not prime. Res64: 2741EA587E042342 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:24:52] 871*2^1418895-1 is not prime. Res64: FCDE4F61B2D02B1A Time : 0.0 sec. user=mdettweiler [2016-01-08 23:24:52] 645*2^1418896-1 is not prime. Res64: 5E1A47449FEB9A03 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:24:52] 735*2^1418896-1 is not prime. Res64: D6B10E1C0EA9A118 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:24:52] 743*2^1418896-1 is not prime. Res64: F045CEE734CB7735 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:42:23] 779*2^1418896-1 is not prime. Res64: 8CD8EE44F860614A Time : 0.0 sec. user=mdettweiler [2016-01-08 23:42:23] 909*2^1418896-1 is not prime. Res64: B6B6DE8D1C125A70 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:42:24] 855*2^1418896-1 is not prime. Res64: E9729F868C4A2EAA Time : 0.0 sec. user=mdettweiler [2016-01-08 23:42:24] 917*2^1418896-1 is not prime. Res64: 14C66CD142B03480 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:59:56] 619*2^1418897-1 is not prime. Res64: 5B8EF6756536108A Time : 0.0 sec. user=mdettweiler [2016-01-08 23:59:56] 969*2^1418896-1 is not prime. Res64: 6C141E8B39604F77 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:59:56] 691*2^1418897-1 is not prime. Res64: A72ACF349F958339 Time : 0.0 sec. user=mdettweiler [2016-01-08 23:59:56] 615*2^1418897-1 is not prime. Res64: 1C62B97F1674F094 Time : 0.0 sec.