user=mdettweiler [2016-01-11 00:06:55] 889*2^1419005-1 is not prime. Res64: 197CE76FC3809A54 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:06:55] 951*2^1419005-1 is not prime. Res64: 46F6A695E875338B Time : 0.0 sec. user=mdettweiler [2016-01-11 00:06:58] 949*2^1419005-1 is not prime. Res64: 0777C8F12498F84B Time : 0.0 sec. user=mdettweiler [2016-01-11 00:07:00] 713*2^1419006-1 is not prime. Res64: CC3799DB05F952BE Time : 0.0 sec. user=mdettweiler [2016-01-11 00:07:03] 695*2^1419006-1 is not prime. Res64: 80C3FA210CC17233 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:07:04] 717*2^1419006-1 is not prime. Res64: D1AC4214803D94F5 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:41] 725*2^1419006-1 is not prime. Res64: DFF85C71FA94FBE8 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:41] 861*2^1419006-1 is not prime. Res64: 3F26F637B1E2D595 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:44] 921*2^1419006-1 is not prime. Res64: 63D4F9341FA2CC12 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:44] 633*2^1419007-1 is not prime. Res64: ED83C27A010F866E Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:47] 759*2^1419007-1 is not prime. Res64: 35799964735187AC Time : 0.0 sec. user=mdettweiler [2016-01-11 00:24:48] 769*2^1419007-1 is not prime. Res64: 53D335110313F7A9 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:10] 871*2^1419007-1 is not prime. Res64: 0C2F4C255553C9A8 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:10] 885*2^1419007-1 is not prime. Res64: 8B9F3DD2A90A3E11 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:16] 635*2^1419008-1 is not prime. Res64: FC6DA28D610AF0FA Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:16] 665*2^1419008-1 is not prime. Res64: 3139DFD526ED793E Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:17] 901*2^1419007-1 is not prime. Res64: 698CDC97B7A9A555 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:42:17] 951*2^1419007-1 is not prime. Res64: 9C963652A129AA74 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:39] 969*2^1419008-1 is not prime. Res64: AAECF581E9A0B774 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:39] 877*2^1419009-1 is not prime. Res64: 08335E2EEB1E024C Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:45] 921*2^1419009-1 is not prime. Res64: 7646354FFA3D020D Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:45] 969*2^1419009-1 is not prime. Res64: B7D88597EFEEE376 Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:46] 987*2^1419009-1 is not prime. Res64: DE110E61C2DB198E Time : 0.0 sec. user=mdettweiler [2016-01-11 00:59:47] 645*2^1419010-1 is not prime. Res64: 0A77FCCF1292BEDD Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:10] 647*2^1419010-1 is not prime. Res64: 798BCC392975FF11 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:10] 653*2^1419010-1 is not prime. Res64: 0B74395EAFC92119 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:16] 923*2^1419010-1 is not prime. Res64: 73CA878E1D0DA2F1 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:16] 601*2^1419011-1 is not prime. Res64: 49EDD69827DBFEE8 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:17] 619*2^1419011-1 is not prime. Res64: 92F64A7FE6C6D509 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:17:18] 621*2^1419011-1 is not prime. Res64: 083F48DD61ADB009 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:42] 663*2^1419011-1 is not prime. Res64: B4A454D7502A7DB0 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:42] 735*2^1419011-1 is not prime. Res64: CE95F5480216E3B9 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:49] 823*2^1419011-1 is not prime. Res64: 06B8A3BA5237D627 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:49] 615*2^1419012-1 is not prime. Res64: 40F029BB4D7186E4 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:49] 949*2^1419011-1 is not prime. Res64: 18BD5EA6BEEC92AB Time : 0.0 sec. user=mdettweiler [2016-01-11 01:34:49] 665*2^1419012-1 is not prime. Res64: EBFF002524C8B3A8 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:17] 737*2^1419012-1 is not prime. Res64: F9797268B1C18B24 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:17] 749*2^1419012-1 is not prime. Res64: 268E0DE962249C7D Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:19] 803*2^1419012-1 is not prime. Res64: 22D30CF57BE8B929 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:19] 923*2^1419012-1 is not prime. Res64: 1E35E4AD9C7DDC94 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:22] 775*2^1419013-1 is not prime. Res64: 110546F2347ACF02 Time : 0.0 sec. user=mdettweiler [2016-01-11 01:52:22] 801*2^1419013-1 is not prime. Res64: 3C8162EABC9E91D0 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:48] 895*2^1419013-1 is not prime. Res64: 98BE1A0662AECE08 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:49] 945*2^1419013-1 is not prime. Res64: 428431554E5DB026 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:51] 825*2^1419014-1 is not prime. Res64: 9523C446239E6F78 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:51] 833*2^1419014-1 is not prime. Res64: 921865B37D932095 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:57] 861*2^1419014-1 is not prime. Res64: B77A5A798CE22B3D Time : 0.0 sec. user=mdettweiler [2016-01-11 02:09:58] 987*2^1419014-1 is not prime. Res64: 102F5F2B92C5EC2D Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:31] 849*2^1419015-1 is not prime. Res64: 2B238A648CE69FE5 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:32] 853*2^1419015-1 is not prime. Res64: F7CD31696B9EAC4A Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:33] 625*2^1419015-1 is not prime. Res64: 3C70EBAF8FC7E116 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:34] 783*2^1419015-1 is not prime. Res64: 2B7A0D8A9D281A56 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:36] 909*2^1419015-1 is not prime. Res64: 427C2C91C0A80474 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:27:37] 951*2^1419015-1 is not prime. Res64: 9831B55CCFDD1443 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:12] 735*2^1419016-1 is not prime. Res64: 5888111214C100DE Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:13] 985*2^1419015-1 is not prime. Res64: C3033611FAA92714 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:14] 773*2^1419016-1 is not prime. Res64: ACB72375F608458A Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:14] 843*2^1419016-1 is not prime. Res64: F1316A6A7977ABE4 Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:14] 663*2^1419016-1 is not prime. Res64: 1CB4BB601270D26E Time : 0.0 sec. user=mdettweiler [2016-01-11 02:45:15] 887*2^1419016-1 is not prime. Res64: ABEB7AF70E6D1A66 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:03] 729*2^1419017-1 is not prime. Res64: 2839E7DCCDAA0AAB Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:03] 933*2^1419016-1 is not prime. Res64: 5DFA53C88A8FC8FD Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:05] 981*2^1419017-1 is not prime. Res64: DE1990F90CC34CD7 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:05] 759*2^1419017-1 is not prime. Res64: C16D473F9248C3D0 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:05] 999*2^1419016-1 is not prime. Res64: CE735EB956658E59 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:03:06] 997*2^1419017-1 is not prime. Res64: BC9640125ACD8907 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:11] 633*2^1419018-1 is not prime. Res64: 146565F55B1AA4E1 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:11] 639*2^1419019-1 is not prime. Res64: 1CC69855C28AFBE8 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:11] 711*2^1419018-1 is not prime. Res64: DF089B087991ECD5 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:12] 731*2^1419018-1 is not prime. Res64: 5671E31285D921AD Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:12] 681*2^1419019-1 is not prime. Res64: B76AE36F0D67F586 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:21:13] 725*2^1419018-1 is not prime. Res64: D00281A87137EF93 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:38:52] 703*2^1419019-1 is not prime. Res64: 00DA7BE0B3911640 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:38:54] 765*2^1419019-1 is not prime. Res64: 061C59980B5D2728 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:38:57] 789*2^1419019-1 is not prime. Res64: E5B2D74AA5E326B6 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:39:00] 861*2^1419019-1 is not prime. Res64: 426C191D2D08786B Time : 0.0 sec. user=mdettweiler [2016-01-11 03:39:01] 793*2^1419019-1 is not prime. Res64: E6392B3E0EBE09B8 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:39:02] 999*2^1419019-1 is not prime. Res64: B2CB539F6F61AD79 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:15] 767*2^1419020-1 is not prime. Res64: 2E5822B91355B66A Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:16] 785*2^1419020-1 is not prime. Res64: 9354C61A83F3E226 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:17] 819*2^1419020-1 is not prime. Res64: 47CD2ED8D7210DC0 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:19] 897*2^1419020-1 is not prime. Res64: 73246E01701D4B91 Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:20] 845*2^1419020-1 is not prime. Res64: 693A70FF3D14D37A Time : 0.0 sec. user=mdettweiler [2016-01-11 03:57:21] 915*2^1419020-1 is not prime. Res64: 0A7B43C45DF8852C Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:05] 781*2^1419021-1 is not prime. Res64: 14FFF052266484FF Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:06] 995*2^1419020-1 is not prime. Res64: B998AC77FEB62D21 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:06] 837*2^1419021-1 is not prime. Res64: A73030CAF1AD41B5 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:07] 627*2^1419021-1 is not prime. Res64: 570DD38AC0A25F9F Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:08] 885*2^1419021-1 is not prime. Res64: 359F603CF3D42F4C Time : 0.0 sec. user=mdettweiler [2016-01-11 04:15:09] 955*2^1419021-1 is not prime. Res64: 3C008D5563EB611C Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:48] 979*2^1419021-1 is not prime. Res64: 77DABE627A68AF9E Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:49] 665*2^1419022-1 is not prime. Res64: 1CF8DA6C9621A2CD Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:50] 723*2^1419022-1 is not prime. Res64: CB976BB7760235A4 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:51] 765*2^1419022-1 is not prime. Res64: E6F536A96EB3A0CB Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:54] 671*2^1419022-1 is not prime. Res64: 7A1F31E7B5B5A7E5 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:32:54] 675*2^1419022-1 is not prime. Res64: 498ECC6F733BC627 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:45] 693*2^1419023-1 is not prime. Res64: A01E38B45F74E5C4 Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:46] 811*2^1419023-1 is not prime. Res64: BFBC2FA2F4D1D6EC Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:46] 715*2^1419023-1 is not prime. Res64: D0DB9541C20AE0BC Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:47] 813*2^1419023-1 is not prime. Res64: 32B3927EC11587FA Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:50] 827*2^1419022-1 is not prime. Res64: AB3BF4663736695E Time : 0.0 sec. user=mdettweiler [2016-01-11 04:50:50] 663*2^1419023-1 is not prime. Res64: EFE47586E1CD881D Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:24] 753*2^1419024-1 is not prime. Res64: 358C589FE5B58972 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:25] 795*2^1419024-1 is not prime. Res64: C52D993F45BE9DAF Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:25] 819*2^1419023-1 is not prime. Res64: 7E04D0B5A65AF634 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:26] 921*2^1419023-1 is not prime. Res64: F13AE060D345AB89 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:30] 875*2^1419024-1 is not prime. Res64: EBEEE88DB06C52FF Time : 0.0 sec. user=mdettweiler [2016-01-11 05:08:32] 915*2^1419024-1 is not prime. Res64: 2958D54044331A52 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:10] 661*2^1419025-1 is not prime. Res64: CBF9646656C95E8F Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:11] 801*2^1419025-1 is not prime. Res64: 5411260FE0A215DD Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:11] 699*2^1419025-1 is not prime. Res64: 736D4F248BEAB660 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:11] 855*2^1419025-1 is not prime. Res64: A75F1BD1C1297865 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:19] 945*2^1419024-1 is not prime. Res64: EA15050434928BFC Time : 0.0 sec. user=mdettweiler [2016-01-11 05:26:20] 959*2^1419024-1 is not prime. Res64: 6A10E4EA6FF5B985 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:50] 633*2^1419026-1 is not prime. Res64: 18CAA2CC1D8A6511 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:50] 843*2^1419026-1 is not prime. Res64: 8611B5FB43782380 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:51] 871*2^1419025-1 is not prime. Res64: 549B548D2DA58C41 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:52] 615*2^1419026-1 is not prime. Res64: DBADBACF7A0E7E41 Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:58] 917*2^1419026-1 is not prime. Res64: 40CE9A30BE2A9A3A Time : 0.0 sec. user=mdettweiler [2016-01-11 05:43:59] 945*2^1419026-1 is not prime. Res64: BDFD34DB76771120 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:33] 971*2^1419026-1 is not prime. Res64: 35EA9BF249D8AA10 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:33] 633*2^1419027-1 is not prime. Res64: 53F48D56CBBF827B Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:34] 625*2^1419027-1 is not prime. Res64: 222D99EF9E89AD2F Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:35] 735*2^1419027-1 is not prime. Res64: 398D2F7A0A79E177 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:37] 781*2^1419027-1 is not prime. Res64: 79175A5D9C408F95 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:01:39] 931*2^1419027-1 is not prime. Res64: EF91E77EE9497B52 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:37] 735*2^1419028-1 is not prime. Res64: 63AEFC699A0FEA46 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:38] 843*2^1419028-1 is not prime. Res64: 790BCA1080318C0C Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:38] 803*2^1419028-1 is not prime. Res64: FC71CD7FBA6B3C62 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:38] 947*2^1419028-1 is not prime. Res64: E8D7ABC2FD74BF9E Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:39] 975*2^1419027-1 is not prime. Res64: 13C5508A63F3BA18 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:19:40] 603*2^1419028-1 is not prime. Res64: FC586719734D8A7E Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:19] 925*2^1419029-1 is not prime. Res64: DB51C6B1F719B37C Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:19] 691*2^1419029-1 is not prime. Res64: 7EBF9C60F9760814 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:20] 615*2^1419030-1 is not prime. Res64: 1FF15BAD69E6B520 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:20] 741*2^1419029-1 is not prime. Res64: BB551547EA88B71F Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:21] 783*2^1419030-1 is not prime. Res64: 15DEBF1CFA9EB692 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:37:23] 795*2^1419030-1 is not prime. Res64: DFC8BEE0B0B0E3E2 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:54:59] 797*2^1419030-1 is not prime. Res64: E11E3EC65E9CFE55 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:54:59] 933*2^1419030-1 is not prime. Res64: A1E65F668B2D55F2 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:55:00] 977*2^1419030-1 is not prime. Res64: 0539BED7F942BE50 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:55:00] 873*2^1419030-1 is not prime. Res64: CC84B4054F675E14 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:55:00] 971*2^1419030-1 is not prime. Res64: 9E1CACE8F0D260F7 Time : 0.0 sec. user=mdettweiler [2016-01-11 06:55:01] 873*2^1419031-1 is not prime. Res64: B7256864D39782AB Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:39] 645*2^1419032-1 is not prime. Res64: 20525E89EFCD20F3 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:40] 833*2^1419032-1 is not prime. Res64: 60EAF9BEE321CF25 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:41] 609*2^1419032-1 is not prime. Res64: 39A768789C1A969C Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:42] 629*2^1419032-1 is not prime. Res64: 0EB97A38F861547E Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:45] 903*2^1419032-1 is not prime. Res64: 55730A9BC35FA6B8 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:12:47] 607*2^1419033-1 is not prime. Res64: E1ECBFFD11773607 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:24] 759*2^1419033-1 is not prime. Res64: 3C8EC82940431EEB Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:25] 835*2^1419033-1 is not prime. Res64: AB66208C982D073B Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:25] 871*2^1419033-1 is not prime. Res64: 7FFE740DE0248B0D Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:26] 885*2^1419033-1 is not prime. Res64: 9086965D2051ACEA Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:26] 681*2^1419033-1 is not prime. Res64: 24433BFDC67AE648 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:30:27] 735*2^1419033-1 is not prime. Res64: 4582ECB2C7AF9837 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:07] 951*2^1419033-1 is not prime. Res64: 2F30B5B823A2E4F3 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:07] 755*2^1419034-1 is not prime. Res64: 522216EBDD525DA8 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:08] 621*2^1419034-1 is not prime. Res64: B741CEFD34776C08 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:08] 833*2^1419034-1 is not prime. Res64: 3F88CF3CBC80DF50 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:08] 715*2^1419035-1 is not prime. Res64: 82208CAE9B23EF92 Time : 0.0 sec. user=mdettweiler [2016-01-11 07:48:09] 739*2^1419035-1 is not prime. Res64: A49CE069C9DA62B3 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:47] 753*2^1419035-1 is not prime. Res64: 6A9378D2EF4700BB Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:48] 767*2^1419036-1 is not prime. Res64: CE0C433577C93800 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:49] 855*2^1419035-1 is not prime. Res64: 2F66E6E10F48036B Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:50] 779*2^1419036-1 is not prime. Res64: 67D1BCB9E1C46F38 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:51] 963*2^1419035-1 is not prime. Res64: 5BFA43CC597080B4 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:05:53] 609*2^1419036-1 is not prime. Res64: BDB65774D821B4A8 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:38] 899*2^1419036-1 is not prime. Res64: 65E48EE6488B32AB Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:38] 993*2^1419036-1 is not prime. Res64: D0CFB2FA2E3EBFD5 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:39] 945*2^1419036-1 is not prime. Res64: 840278AEBA629F5A Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:39] 885*2^1419037-1 is not prime. Res64: 4DB7326059DD5D77 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:39] 777*2^1419037-1 is not prime. Res64: 0962C8A4204FED4D Time : 0.0 sec. user=mdettweiler [2016-01-11 08:23:40] 937*2^1419037-1 is not prime. Res64: A9A5BF87EFCFEAE0 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:15] 961*2^1419037-1 is not prime. Res64: A1B6067E3AA10976 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:15] 705*2^1419038-1 is not prime. Res64: C4037F3112746626 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:19] 867*2^1419038-1 is not prime. Res64: 8DCFEFB857C7396F Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:19] 887*2^1419038-1 is not prime. Res64: 932C98748FF800F9 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:19] 755*2^1419038-1 is not prime. Res64: B080F9A06BA387E7 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:41:20] 771*2^1419038-1 is not prime. Res64: D2B64ED37BA975FC Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:47] 897*2^1419038-1 is not prime. Res64: B8EC088DDC6D0E8C Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:47] 941*2^1419038-1 is not prime. Res64: 90F08D235B56B4A7 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:50] 1001*2^1419038-1 is not prime. Res64: 51E3ADBB042CB9F2 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:51] 861*2^1419039-1 is not prime. Res64: CE48A1612AF8099F Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:51] 615*2^1419040-1 is not prime. Res64: E3E3F8B236E72F69 Time : 0.0 sec. user=mdettweiler [2016-01-11 08:58:52] 933*2^1419040-1 is not prime. Res64: 03333F357EC875B0 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:21] 601*2^1419041-1 is not prime. Res64: 563F6B03D606A951 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:22] 685*2^1419041-1 is not prime. Res64: D2FC9C8A509E569E Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:23] 837*2^1419041-1 is not prime. Res64: 8E2C954F8094C299 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:23] 677*2^1419042-1 is not prime. Res64: 95A910C5B27E6539 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:23] 861*2^1419041-1 is not prime. Res64: 7B7B87C88537EBB9 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:16:23] 711*2^1419042-1 is not prime. Res64: CA34BD6071CB4469 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:55] 777*2^1419042-1 is not prime. Res64: D1EA31E879F01173 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:56] 675*2^1419043-1 is not prime. Res64: 84DD10CC15858CB0 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:56] 603*2^1419043-1 is not prime. Res64: B7BF62AB5F4E9341 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:56] 737*2^1419042-1 is not prime. Res64: 5E7D35333B1E1949 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:56] 703*2^1419043-1 is not prime. Res64: E30394A3D829673A Time : 0.0 sec. user=mdettweiler [2016-01-11 09:33:56] 755*2^1419042-1 is not prime. Res64: 8BFB3F42E1AFC3AF Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:27] 891*2^1419043-1 is not prime. Res64: 67F9D103247D10AD Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:27] 855*2^1419043-1 is not prime. Res64: 87252F780E00B96E Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:28] 985*2^1419043-1 is not prime. Res64: 67B4C28F58413A37 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:28] 871*2^1419043-1 is not prime. Res64: 6667EF2B5D1A9C22 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:28] 615*2^1419044-1 is not prime. Res64: 38D9694AFEFC8D76 Time : 0.0 sec. user=mdettweiler [2016-01-11 09:51:28] 683*2^1419044-1 is not prime. Res64: BC1896FD13D80616 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:00] 957*2^1419044-1 is not prime. Res64: 1EAA382C1024C902 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:02] 903*2^1419044-1 is not prime. Res64: 22D36789A9FA3F2A Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:02] 607*2^1419045-1 is not prime. Res64: 105F2EC8B05161DE Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:04] 983*2^1419044-1 is not prime. Res64: CCD1C3463B570921 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:04] 741*2^1419045-1 is not prime. Res64: F6F64C52F08EC020 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:09:05] 927*2^1419044-1 is not prime. Res64: A159753E52687F60 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:26:58] 895*2^1419045-1 is not prime. Res64: C625BE46CE989EE8 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:26:58] 961*2^1419045-1 is not prime. Res64: 11B06CDFD3C40DF1 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:26:59] 831*2^1419045-1 is not prime. Res64: 352C4D3C3952D9C9 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:26:59] 891*2^1419045-1 is not prime. Res64: E5EE4806EBA3CB82 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:27:00] 603*2^1419046-1 is not prime. Res64: B5A15604FDE78E55 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:27:01] 647*2^1419046-1 is not prime. Res64: 7666CB766621F474 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:30] 747*2^1419046-1 is not prime. Res64: 98CEEEA0E1FF0720 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:30] 801*2^1419046-1 is not prime. Res64: 56FBFE7FA1F763F8 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:31] 965*2^1419046-1 is not prime. Res64: BEDE3729F43308A2 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:32] 615*2^1419047-1 is not prime. Res64: 612A12B5666376B2 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:34] 735*2^1419047-1 is not prime. Res64: C7DD685EC0CB32D0 Time : 0.0 sec. user=mdettweiler [2016-01-11 10:44:34] 775*2^1419047-1 is not prime. Res64: B51509D15CA33D76 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:06] 861*2^1419047-1 is not prime. Res64: 6AD1637DD5843C24 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:07] 955*2^1419047-1 is not prime. Res64: 092E380EFB597F49 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:08] 931*2^1419047-1 is not prime. Res64: 6DF1E65E86291379 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:08] 627*2^1419048-1 is not prime. Res64: B881C095F5A829C4 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:12] 669*2^1419048-1 is not prime. Res64: 605FD6A5720FE5A9 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:02:13] 707*2^1419048-1 is not prime. Res64: D63598B7DEFE2E3B Time : 0.0 sec. user=mdettweiler [2016-01-11 11:19:58] 753*2^1419048-1 is not prime. Res64: 8C62B510A7C01A84 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:19:59] 923*2^1419048-1 is not prime. Res64: 418A4474B0C0924E Time : 0.0 sec. user=mdettweiler [2016-01-11 11:19:59] 725*2^1419048-1 is not prime. Res64: F6309B826B598E29 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:19:59] 835*2^1419049-1 is not prime. Res64: 95B5BCD80F4389FE Time : 0.0 sec. user=mdettweiler [2016-01-11 11:20:00] 885*2^1419049-1 is not prime. Res64: 5853266A541A8EB6 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:20:00] 735*2^1419048-1 is not prime. Res64: 70D1025CAE402522 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:34] 675*2^1419050-1 is not prime. Res64: 3E8FE0A347C9B1B1 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:34] 743*2^1419050-1 is not prime. Res64: 24A22EA6C0079F9A Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:34] 707*2^1419050-1 is not prime. Res64: 74F1E9D1E100C247 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:34] 773*2^1419050-1 is not prime. Res64: 93322A40E3319770 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:36] 831*2^1419050-1 is not prime. Res64: 81DAC3A350C0C38D Time : 0.0 sec. user=mdettweiler [2016-01-11 11:37:36] 867*2^1419050-1 is not prime. Res64: 51E207EE2F06A595 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:06] 887*2^1419050-1 is not prime. Res64: C57622DC0BFEC6D2 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:07] 915*2^1419050-1 is not prime. Res64: 38B04BB987C42905 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:08] 921*2^1419051-1 is not prime. Res64: 98A9F1442D097AD1 Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:08] 955*2^1419051-1 is not prime. Res64: 6ED883376D81324D Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:09] 795*2^1419051-1 is not prime. Res64: BC32A712359E68BE Time : 0.0 sec. user=mdettweiler [2016-01-11 11:55:10] 849*2^1419051-1 is not prime. Res64: 7217FE64FCA9BA17 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:39] 991*2^1419051-1 is not prime. Res64: 132005249B57B629 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:40] 635*2^1419052-1 is not prime. Res64: 6C21ABFE5BCB9715 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:40] 723*2^1419052-1 is not prime. Res64: 0ADFE8A5EFC500FB Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:41] 755*2^1419052-1 is not prime. Res64: 751EC878AF690828 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:42] 961*2^1419051-1 is not prime. Res64: 5A66B16F5F901ACA Time : 0.0 sec. user=mdettweiler [2016-01-11 12:12:43] 969*2^1419051-1 is not prime. Res64: CC8F8787916CA817 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:14] 759*2^1419052-1 is not prime. Res64: B49E3B9857301085 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:14] 825*2^1419052-1 is not prime. Res64: CA810692E6A1CDD0 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:15] 675*2^1419053-1 is not prime. Res64: 1489A4634CC1B0B3 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:16] 837*2^1419053-1 is not prime. Res64: FAF8E9B8FE85A0E9 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:20] 855*2^1419052-1 is not prime. Res64: D6FE7F765C2A9C20 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:30:21] 857*2^1419052-1 is not prime. Res64: B2B851393058C639 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:00] 949*2^1419053-1 is not prime. Res64: A20997AC81A264FD Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:00] 859*2^1419053-1 is not prime. Res64: 3410D34E7B92FBF6 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:00] 957*2^1419053-1 is not prime. Res64: 7AD4B97C82903883 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:01] 861*2^1419053-1 is not prime. Res64: 78F126D52578E6D8 Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:08] 967*2^1419053-1 is not prime. Res64: 9086E20744D061FC Time : 0.0 sec. user=mdettweiler [2016-01-11 12:48:08] 723*2^1419054-1 is not prime. Res64: 3679FE98E87DBE77 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:05:58] 795*2^1419054-1 is not prime. Res64: 8558DA1F75B31D84 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:05:59] 685*2^1419055-1 is not prime. Res64: 7D82CD591BF12FC1 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:06:00] 983*2^1419054-1 is not prime. Res64: FBCCB41FF9B6D03D Time : 0.0 sec. user=mdettweiler [2016-01-11 13:06:01] 709*2^1419055-1 is not prime. Res64: C21BB9444AA4B454 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:06:06] 789*2^1419055-1 is not prime. Res64: 35AB543A942F16B6 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:06:08] 831*2^1419055-1 is not prime. Res64: 07E622A62CC9802C Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:19] 841*2^1419055-1 is not prime. Res64: AE6AA622E53B0A99 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:19] 939*2^1419055-1 is not prime. Res64: 595A8728ED5C5C8F Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:23] 961*2^1419055-1 is not prime. Res64: 55D010EC6C8027CD Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:23] 767*2^1419056-1 is not prime. Res64: 0EE8EF6733BC9A48 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:24] 839*2^1419056-1 is not prime. Res64: 69C40D75F55D090D Time : 0.0 sec. user=mdettweiler [2016-01-11 13:24:24] 897*2^1419056-1 is not prime. Res64: 15A6AE776B1F2035 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:37] 903*2^1419056-1 is not prime. Res64: 23D1022413FC2DE2 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:37] 807*2^1419057-1 is not prime. Res64: 66E5B80CCDEB0CE3 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:41] 837*2^1419057-1 is not prime. Res64: 59C9A73BC781B627 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:41] 895*2^1419057-1 is not prime. Res64: 9029ED4AD96A7A35 Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:46] 901*2^1419057-1 is not prime. Res64: 539CF22BCDD921AA Time : 0.0 sec. user=mdettweiler [2016-01-11 13:42:47] 603*2^1419058-1 is not prime. Res64: 219922E7165B2217 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:38] 671*2^1419058-1 is not prime. Res64: 89EC21CE0206C818 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:38] 623*2^1419058-1 is not prime. Res64: FA8C25F41502882A Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:39] 681*2^1419058-1 is not prime. Res64: 13B7D0D4E3539A99 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:39] 651*2^1419058-1 is not prime. Res64: D5BA0EA998E9EA6C Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:45] 747*2^1419058-1 is not prime. Res64: 89D870FE1F17605D Time : 0.0 sec. user=mdettweiler [2016-01-11 14:00:46] 861*2^1419058-1 is not prime. Res64: 8393491455807C58 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:52] 957*2^1419058-1 is not prime. Res64: C7086648E276D6B5 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:52] 1001*2^1419058-1 is not prime. Res64: FA538CF4AD894FE0 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:54] 601*2^1419059-1 is not prime. Res64: B052466E728B35EF Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:54] 619*2^1419059-1 is not prime. Res64: F5690D10449BFF81 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:55] 881*2^1419058-1 is not prime. Res64: BE372FA3C59C1C8B Time : 0.0 sec. user=mdettweiler [2016-01-11 14:18:55] 915*2^1419058-1 is not prime. Res64: B555A9ACD86C881B Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:01] 825*2^1419059-1 is not prime. Res64: 1E6FFC59E1CEF3E1 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:02] 829*2^1419059-1 is not prime. Res64: 24E02D08AE948B1F Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:04] 685*2^1419059-1 is not prime. Res64: 662D919B53FD606F Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:05] 741*2^1419059-1 is not prime. Res64: 4E4EB30DA43366E6 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:05] 913*2^1419059-1 is not prime. Res64: 101704814B65DD3E Time : 0.0 sec. user=mdettweiler [2016-01-11 14:37:06] 629*2^1419060-1 is not prime. Res64: 97D562364C719237 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:00] 693*2^1419060-1 is not prime. Res64: 3A87A24B1903B292 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:01] 773*2^1419060-1 is not prime. Res64: D27F906E4CCC9009 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:03] 927*2^1419060-1 is not prime. Res64: 0CC93931B9A60D7E Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:03] 645*2^1419061-1 is not prime. Res64: E5E0C4E752C4DF75 Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:04] 795*2^1419060-1 is not prime. Res64: 09CF5B716FF707DF Time : 0.0 sec. user=mdettweiler [2016-01-11 14:55:04] 839*2^1419060-1 is not prime. Res64: C024F6E3A12290DB Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:43] 855*2^1419061-1 is not prime. Res64: E854531B84FB5F5F Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:45] 871*2^1419061-1 is not prime. Res64: F789C261F56F762A Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:46] 627*2^1419062-1 is not prime. Res64: 0418B6D91D50F373 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:48] 651*2^1419062-1 is not prime. Res64: FF2D1DB0E5A10D6A Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:52] 741*2^1419062-1 is not prime. Res64: BC6B2388C8CF706F Time : 0.0 sec. user=mdettweiler [2016-01-11 15:12:55] 785*2^1419062-1 is not prime. Res64: E15BBF67122D7F9C Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:37] 921*2^1419062-1 is not prime. Res64: E49440C977E0E858 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:37] 619*2^1419063-1 is not prime. Res64: 6536FA10A3BC311F Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:38] 789*2^1419063-1 is not prime. Res64: 2749C3556DF0A89B Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:38] 961*2^1419063-1 is not prime. Res64: 1010C646E92E0596 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:38] 649*2^1419063-1 is not prime. Res64: 327130511EFB6625 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:30:39] 775*2^1419063-1 is not prime. Res64: 1B048A4B4CB23E94 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:12] 645*2^1419064-1 is not prime. Res64: E30F4E93877CE695 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:12] 903*2^1419064-1 is not prime. Res64: 876B15271DF8DF5E Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:13] 657*2^1419064-1 is not prime. Res64: 3B8C58740F7993C5 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:13] 975*2^1419064-1 is not prime. Res64: 6CCAFC114BFDD45C Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:15] 607*2^1419065-1 is not prime. Res64: E7B564FD51BD9515 Time : 0.0 sec. user=mdettweiler [2016-01-11 15:48:15] 711*2^1419065-1 is not prime. Res64: 1D2EB6B4E7CB02E5 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:01] 871*2^1419065-1 is not prime. Res64: ECEEB726128194EB Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:01] 727*2^1419065-1 is not prime. Res64: BE506D3DD7A2A031 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:01] 933*2^1419066-1 is not prime. Res64: 055B8E6BE45923EA Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:01] 867*2^1419065-1 is not prime. Res64: 561140D06AF3B851 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:03] 975*2^1419066-1 is not prime. Res64: 146EEE08E3BF7945 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:06:03] 639*2^1419067-1 is not prime. Res64: C3D97AFB58C6895D Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:03] 645*2^1419067-1 is not prime. Res64: 6BE991A3465DC8FD Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:03] 801*2^1419067-1 is not prime. Res64: A5083971B6834B36 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:04] 985*2^1419067-1 is not prime. Res64: ADFCCF8F991B8B2D Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:05] 677*2^1419068-1 is not prime. Res64: BBFC3EB05E519A30 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:07] 919*2^1419067-1 is not prime. Res64: F05E2B6CDF2E4E3B Time : 0.0 sec. user=mdettweiler [2016-01-11 16:25:08] 939*2^1419067-1 is not prime. Res64: ADCB20B07FEF195A Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:01] 827*2^1419068-1 is not prime. Res64: F9EBDB577381D0DE Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:01] 621*2^1419069-1 is not prime. Res64: 9F3099B00469CB17 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:03] 725*2^1419068-1 is not prime. Res64: ADFF724E32444CF7 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:03] 797*2^1419068-1 is not prime. Res64: 3BC0D91BEACF4020 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:05] 655*2^1419069-1 is not prime. Res64: F07220BC104E13D2 Time : 0.0 sec. user=mdettweiler [2016-01-11 16:43:05] 709*2^1419069-1 is not prime. Res64: B0C27BD58C12CFF8 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:37] 765*2^1419069-1 is not prime. Res64: 46E90BBC2751FF8A Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:39] 847*2^1419069-1 is not prime. Res64: 28E7717A3D0661B5 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:42] 889*2^1419069-1 is not prime. Res64: 37794EFF4020B7BB Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:43] 635*2^1419070-1 is not prime. Res64: D6C16324583C56D2 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:45] 707*2^1419070-1 is not prime. Res64: AC4B1EA3C17D868C Time : 0.0 sec. user=mdettweiler [2016-01-11 17:00:47] 773*2^1419070-1 is not prime. Res64: D7DF649A9AE51816 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:31] 801*2^1419070-1 is not prime. Res64: CBF76370DF815A35 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:32] 857*2^1419070-1 is not prime. Res64: E7C5E705085CD135 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:35] 911*2^1419070-1 is not prime. Res64: 655B006CE611F4E5 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:35] 603*2^1419071-1 is not prime. Res64: F25A2440612B4372 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:35] 693*2^1419071-1 is not prime. Res64: E076DB2222DE060A Time : 0.0 sec. user=mdettweiler [2016-01-11 17:18:36] 775*2^1419071-1 is not prime. Res64: 8CA374701B3E3AEE Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:13] 783*2^1419071-1 is not prime. Res64: A92A9C95BABB45E9 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:13] 805*2^1419071-1 is not prime. Res64: B409BD2DA276CCD8 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:15] 969*2^1419071-1 is not prime. Res64: 5F3A699D2EB46EA7 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:15] 993*2^1419071-1 is not prime. Res64: AE867F52FB629E59 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:15] 981*2^1419071-1 is not prime. Res64: 5972F2F9F8F6B837 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:36:16] 605*2^1419072-1 is not prime. Res64: 0684CED7EA58E80A Time : 0.0 sec. user=mdettweiler [2016-01-11 17:53:59] 747*2^1419072-1 is not prime. Res64: 71CA69A320C419C8 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:53:59] 873*2^1419072-1 is not prime. Res64: D24C425C0A891397 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:53:59] 767*2^1419072-1 is not prime. Res64: A61A05B8287383F3 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:53:59] 875*2^1419072-1 is not prime. Res64: 7F48C7E8F72276FC Time : 0.0 sec. user=mdettweiler [2016-01-11 17:54:01] 635*2^1419072-1 is not prime. Res64: 6AE68581BFE2E8C6 Time : 0.0 sec. user=mdettweiler [2016-01-11 17:54:01] 669*2^1419072-1 is not prime. Res64: 1BAC084E0989B425 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:47] 651*2^1419073-1 is not prime. Res64: CDC277E86B66C12D Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:47] 897*2^1419073-1 is not prime. Res64: FD34CC7D36E65E45 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:49] 955*2^1419073-1 is not prime. Res64: A5F377A37AA23EAA Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:49] 903*2^1419072-1 is not prime. Res64: 184A696B60EDFD4E Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:50] 711*2^1419074-1 is not prime. Res64: 13E8AA17141F6BCB Time : 0.0 sec. user=mdettweiler [2016-01-11 18:12:51] 983*2^1419072-1 is not prime. Res64: 4E4518ED67736BDD Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:42] 773*2^1419074-1 is not prime. Res64: 2408E5F9184CF998 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:42] 785*2^1419074-1 is not prime. Res64: 0F2F6EBD9F302DF4 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:42] 957*2^1419074-1 is not prime. Res64: A1116EC5D3B77D0E Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:43] 609*2^1419075-1 is not prime. Res64: 3E3928CAF0BFF00A Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:45] 831*2^1419074-1 is not prime. Res64: DCE221AEA81D5D17 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:30:45] 861*2^1419074-1 is not prime. Res64: B3B14D5F318FF072 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:18] 669*2^1419075-1 is not prime. Res64: 7F699DC12509F603 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:19] 741*2^1419075-1 is not prime. Res64: 7086A082AC607245 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:19] 643*2^1419075-1 is not prime. Res64: 803EF067A8710EEB Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:19] 651*2^1419075-1 is not prime. Res64: 50C700303515B6B9 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:20] 783*2^1419075-1 is not prime. Res64: 6AFEEED0E125CEA3 Time : 0.0 sec. user=mdettweiler [2016-01-11 18:48:20] 801*2^1419075-1 is not prime. Res64: FACAAA29B45E0226 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:53] 903*2^1419075-1 is not prime. Res64: 748071F8D0EB8D02 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:54] 823*2^1419075-1 is not prime. Res64: 05084519EF2D5376 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:55] 975*2^1419076-1 is not prime. Res64: 2A631150EF0CD98B Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:55] 647*2^1419076-1 is not prime. Res64: D55F1180928C3D60 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:56] 885*2^1419075-1 is not prime. Res64: C7ED39558D372C42 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:05:56] 607*2^1419077-1 is not prime. Res64: 3338111B5B35F45E Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:47] 715*2^1419077-1 is not prime. Res64: D91085B90D18FBB8 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:47] 801*2^1419077-1 is not prime. Res64: 940FA0A747D2AFDB Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:47] 727*2^1419077-1 is not prime. Res64: 4E44975DFB3C96F6 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:48] 871*2^1419077-1 is not prime. Res64: A84E8006CB191489 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:49] 735*2^1419077-1 is not prime. Res64: DF64BD93F618DFD9 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:23:49] 781*2^1419077-1 is not prime. Res64: 54F846B97690FDA4 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:20] 665*2^1419078-1 is not prime. Res64: A7D705D30EAACA25 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:20] 731*2^1419078-1 is not prime. Res64: D62BD67CDFB516C2 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:20] 707*2^1419078-1 is not prime. Res64: 2D332C86A46F68F4 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:20] 737*2^1419078-1 is not prime. Res64: A395435215645A1C Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:21] 791*2^1419078-1 is not prime. Res64: 538238D78D7F8490 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:41:21] 887*2^1419078-1 is not prime. Res64: A895B71F303CAD32 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:54] 977*2^1419078-1 is not prime. Res64: 7B13FAC937742677 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:54] 649*2^1419079-1 is not prime. Res64: 351EDAF5CF95DD1A Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:54] 681*2^1419079-1 is not prime. Res64: 795A7770040B6BD2 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:55] 927*2^1419078-1 is not prime. Res64: 2CA5B5B7FD5A6635 Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:55] 703*2^1419079-1 is not prime. Res64: A6A54362E45D107C Time : 0.0 sec. user=mdettweiler [2016-01-11 19:58:55] 945*2^1419078-1 is not prime. Res64: C7D057B2C627C5EE Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:28] 861*2^1419079-1 is not prime. Res64: EA680CCB2A62040C Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:28] 709*2^1419079-1 is not prime. Res64: C45C30730CF76121 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:28] 771*2^1419079-1 is not prime. Res64: 34531FA045946A1E Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:29] 745*2^1419079-1 is not prime. Res64: 7E433769C5FBD0DD Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:29] 943*2^1419079-1 is not prime. Res64: 1D4E34F3863F2965 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:16:29] 843*2^1419079-1 is not prime. Res64: 65DDDC0116EC5CF5 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:06] 995*2^1419080-1 is not prime. Res64: DBAA60595B539CE7 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:06] 969*2^1419079-1 is not prime. Res64: 0D775C18DE11AC97 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:06] 727*2^1419081-1 is not prime. Res64: BBAF4A3DFEB45E94 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:06] 635*2^1419080-1 is not prime. Res64: 35E74AD5A67C741B Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:06] 789*2^1419080-1 is not prime. Res64: D828EBBAD02840BE Time : 0.0 sec. user=mdettweiler [2016-01-11 20:34:07] 827*2^1419080-1 is not prime. Res64: 45E734B49DD79E3F Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:40] 735*2^1419081-1 is not prime. Res64: 3C84CE19487BF1C3 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:40] 885*2^1419081-1 is not prime. Res64: 6DE448C940E06747 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:40] 997*2^1419081-1 is not prime. Res64: 5ACA708F116E493D Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:41] 745*2^1419081-1 is not prime. Res64: FB8E8AD4B7F6F895 Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:41] 937*2^1419081-1 is not prime. Res64: 9A3F2AEE74DC3BAD Time : 0.0 sec. user=mdettweiler [2016-01-11 20:51:41] 611*2^1419082-1 is not prime. Res64: C7CAFA19ADB36528 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:14] 723*2^1419082-1 is not prime. Res64: FB7F946F36EF0340 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:15] 617*2^1419082-1 is not prime. Res64: 14103741F6427666 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:15] 675*2^1419082-1 is not prime. Res64: 644B389A2E77F96D Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:16] 813*2^1419082-1 is not prime. Res64: FAB0CD76ECA7A39C Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:16] 645*2^1419082-1 is not prime. Res64: 5DC48EE39BD7104C Time : 0.0 sec. user=mdettweiler [2016-01-11 21:09:17] 681*2^1419082-1 is not prime. Res64: C5A304DB61B2AA2B Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:10] 815*2^1419082-1 is not prime. Res64: 85F5D574EED94927 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:10] 833*2^1419082-1 is not prime. Res64: C297F5C1BDD22D13 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:11] 881*2^1419082-1 is not prime. Res64: 98BACD3C6EC86B91 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:11] 983*2^1419082-1 is not prime. Res64: BAEC10ABB0E42CF9 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:11] 885*2^1419082-1 is not prime. Res64: AF3DC079E73AD65F Time : 0.0 sec. user=mdettweiler [2016-01-11 21:27:11] 633*2^1419083-1 is not prime. Res64: C3F6BCE20A12C357 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:44] 669*2^1419083-1 is not prime. Res64: C90BA8457F7855AB Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:44] 685*2^1419083-1 is not prime. Res64: B995F9D0A96D6979 Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:45] 963*2^1419083-1 is not prime. Res64: 9A9E1C38010496CA Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:45] 825*2^1419083-1 is not prime. Res64: E31923E687B2548E Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:45] 765*2^1419084-1 is not prime. Res64: C125DD85C51A774C Time : 0.0 sec. user=mdettweiler [2016-01-11 21:44:46] 885*2^1419083-1 is not prime. Res64: 80EE25E8666A08C2 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:18] 843*2^1419084-1 is not prime. Res64: E67444D3916E1E67 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:19] 687*2^1419085-1 is not prime. Res64: C05B03D91A2687C2 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:19] 915*2^1419084-1 is not prime. Res64: 7C6C15D6F830240E Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:20] 699*2^1419085-1 is not prime. Res64: B6B0F9E89D226EB5 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:21] 965*2^1419084-1 is not prime. Res64: C243B991B7C68763 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:02:22] 969*2^1419084-1 is not prime. Res64: E2324CC3941B77F2 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:13] 727*2^1419085-1 is not prime. Res64: A139A2AAB8FA5474 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:13] 717*2^1419085-1 is not prime. Res64: EDEE32029E3CCFD0 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:13] 817*2^1419085-1 is not prime. Res64: 2B29C46660773028 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:13] 777*2^1419085-1 is not prime. Res64: 7D4F8FAB0F776388 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:17] 819*2^1419085-1 is not prime. Res64: F2ABF28F669913CC Time : 0.0 sec. user=mdettweiler [2016-01-11 22:20:17] 955*2^1419085-1 is not prime. Res64: 6BC50B5FD133100E Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:51] 831*2^1419086-1 is not prime. Res64: 80CC3B2063C36AE0 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:51] 857*2^1419086-1 is not prime. Res64: B7F2AD6296097887 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:53] 867*2^1419086-1 is not prime. Res64: A64DD16086F287A7 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:54] 893*2^1419086-1 is not prime. Res64: C6A656B0ECFD9A59 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:55] 663*2^1419086-1 is not prime. Res64: E2650EA164782E2B Time : 0.0 sec. user=mdettweiler [2016-01-11 22:37:55] 767*2^1419086-1 is not prime. Res64: 5F24FB252902D972 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:34] 971*2^1419086-1 is not prime. Res64: 6DE0BF9C3DCD3030 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:34] 615*2^1419087-1 is not prime. Res64: 02070139A99ADE6E Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:35] 903*2^1419086-1 is not prime. Res64: 6B283958029730E4 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:35] 935*2^1419086-1 is not prime. Res64: 4AE3A570CE60CC67 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:36] 781*2^1419087-1 is not prime. Res64: D321187D94089409 Time : 0.0 sec. user=mdettweiler [2016-01-11 22:55:36] 963*2^1419087-1 is not prime. Res64: 130CE9E20C9E3B24 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:10] 623*2^1419088-1 is not prime. Res64: A139D891459306EB Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:10] 765*2^1419088-1 is not prime. Res64: B950D02D5985E42A Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:10] 721*2^1419089-1 is not prime. Res64: 7D61385C19C0A3A0 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:11] 781*2^1419089-1 is not prime. Res64: E1CB8EDE747B2BAB Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:11] 995*2^1419088-1 is not prime. Res64: 9374B4FE50739690 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:13:11] 657*2^1419089-1 is not prime. Res64: 5B2BC7328E64A701 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:57] 681*2^1419090-1 is not prime. Res64: 41B414CC576E24F0 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:58] 713*2^1419090-1 is not prime. Res64: 2426E7C9E767E88C Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:58] 633*2^1419090-1 is not prime. Res64: A91333A024FC74CF Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:59] 641*2^1419090-1 is not prime. Res64: 492C40173CFEF413 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:59] 651*2^1419090-1 is not prime. Res64: 6BF134B63CA98C99 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:30:59] 671*2^1419090-1 is not prime. Res64: A68544D9644E6891 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:53] 631*2^1419091-1 is not prime. Res64: 3A20BC5275A874F1 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:54] 745*2^1419091-1 is not prime. Res64: 4907C44131A72831 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:54] 735*2^1419090-1 is not prime. Res64: CD3D0105175670A3 Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:54] 821*2^1419090-1 is not prime. Res64: E35E9D9B9647EA9F Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:54] 603*2^1419091-1 is not prime. Res64: 74D68C3C9565CA5B Time : 0.0 sec. user=mdettweiler [2016-01-11 23:48:55] 625*2^1419091-1 is not prime. Res64: B7C965BFAAC58112 Time : 0.0 sec.