user=mdettweiler [2016-02-17 00:06:16] 975*2^1422186-1 is not prime. Res64: 8082DA444E7ABC77 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:06:17] 993*2^1422186-1 is not prime. Res64: D7F2CDA628878EAF Time : 0.0 sec. user=mdettweiler [2016-02-17 00:18:23] 685*2^1422187-1 is not prime. Res64: 24780DF3E135B656 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:18:23] 909*2^1422187-1 is not prime. Res64: DBA880F34A6D40CA Time : 0.0 sec. user=mdettweiler [2016-02-17 00:18:30] 993*2^1422187-1 is not prime. Res64: FE0D23DBD3E1933D Time : 0.0 sec. user=mdettweiler [2016-02-17 00:18:30] 629*2^1422188-1 is not prime. Res64: 5FA94AF75DB8A093 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:24:42] 743*2^1422188-1 is not prime. Res64: 3B0CFB15BE226785 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:24:42] 767*2^1422188-1 is not prime. Res64: 94E42FE5F896CA28 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:36:06] 795*2^1422188-1 is not prime. Res64: DF44BADA49FCBE33 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:36:06] 797*2^1422188-1 is not prime. Res64: 15FE8CC04E06479E Time : 0.0 sec. user=mdettweiler [2016-02-17 00:36:10] 819*2^1422188-1 is not prime. Res64: 81C68B415FE22131 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:36:11] 875*2^1422188-1 is not prime. Res64: B5F516BDD0BC2BE6 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:42:17] 995*2^1422188-1 is not prime. Res64: 9B8EE526E3BEC081 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:42:17] 627*2^1422189-1 is not prime. Res64: 3037662142168DDE Time : 0.0 sec. user=mdettweiler [2016-02-17 00:53:42] 741*2^1422189-1 is not prime. Res64: 339A3EDAB0BA3988 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:53:42] 787*2^1422189-1 is not prime. Res64: DF1897AEC2B25F99 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:53:45] 811*2^1422189-1 is not prime. Res64: A9EEB743B2C9B639 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:53:46] 919*2^1422189-1 is not prime. Res64: 3C8E19F225D87833 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:59:54] 999*2^1422189-1 is not prime. Res64: 4D4B2FA54022D6C8 Time : 0.0 sec. user=mdettweiler [2016-02-17 00:59:55] 765*2^1422190-1 is not prime. Res64: FC03C0FF343D94B2 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:11:17] 785*2^1422190-1 is not prime. Res64: 4910439A76CE7D7E Time : 0.0 sec. user=mdettweiler [2016-02-17 01:11:18] 813*2^1422190-1 is not prime. Res64: 62C4E9A4DCBF4EFB Time : 0.0 sec. user=mdettweiler [2016-02-17 01:11:21] 843*2^1422190-1 is not prime. Res64: AE690AFE3A2B0527 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:11:21] 911*2^1422190-1 is not prime. Res64: 144B0797ADB24E38 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:17:37] 615*2^1422191-1 is not prime. Res64: B57A730CC3909008 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:17:38] 661*2^1422191-1 is not prime. Res64: DA15FF846986C65B Time : 0.0 sec. user=mdettweiler [2016-02-17 01:29:04] 685*2^1422191-1 is not prime. Res64: 9F39A53CB8542749 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:29:05] 819*2^1422191-1 is not prime. Res64: FDBCBD6E93631594 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:29:06] 823*2^1422191-1 is not prime. Res64: 2B0839B59EA28487 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:29:08] 841*2^1422191-1 is not prime. Res64: A0DF3167FA341C0D Time : 0.0 sec. user=mdettweiler [2016-02-17 01:35:25] 859*2^1422191-1 is not prime. Res64: AD38042CF7588950 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:35:26] 901*2^1422191-1 is not prime. Res64: 4E0C24804B48975A Time : 0.0 sec. user=mdettweiler [2016-02-17 01:47:10] 979*2^1422191-1 is not prime. Res64: 4CC94B1C01AD61E6 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:47:11] 633*2^1422192-1 is not prime. Res64: 485FCB260C1DDFDA Time : 0.0 sec. user=mdettweiler [2016-02-17 01:47:12] 993*2^1422191-1 is not prime. Res64: F25D09A5A56283D2 Time : 0.0 sec. user=mdettweiler [2016-02-17 01:47:12] 669*2^1422192-1 is not prime. Res64: 9CD0E50EC072A04D Time : 0.0 sec. user=mdettweiler [2016-02-17 01:53:20] 863*2^1422192-1 is not prime. Res64: FFE3683100D7B61C Time : 0.0 sec. user=mdettweiler [2016-02-17 01:53:20] 637*2^1422193-1 is not prime. Res64: 4203ADCEED137416 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:04:56] 639*2^1422193-1 is not prime. Res64: 657F1D87E42E997F Time : 0.0 sec. user=mdettweiler [2016-02-17 02:04:56] 699*2^1422193-1 is not prime. Res64: 11C9235C718ACD33 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:04:58] 687*2^1422193-1 is not prime. Res64: 7B8958278F726444 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:04:59] 775*2^1422193-1 is not prime. Res64: 771E47EC2D50F739 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:11:03] 867*2^1422193-1 is not prime. Res64: B75E0064397E6535 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:11:04] 987*2^1422193-1 is not prime. Res64: 28ED6C61D1E66EDA Time : 0.0 sec. user=mdettweiler [2016-02-17 02:23:23] 999*2^1422193-1 is not prime. Res64: 7DB6B0A406B50208 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:23:24] 671*2^1422194-1 is not prime. Res64: F15FACFFA131A756 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:23:24] 677*2^1422194-1 is not prime. Res64: F870DC7400375FAE Time : 0.0 sec. user=mdettweiler [2016-02-17 02:23:25] 711*2^1422194-1 is not prime. Res64: 6D1258D7F7DA8123 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:28:46] 851*2^1422194-1 is not prime. Res64: 6C62F3A9CDB5EC05 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:28:47] 903*2^1422194-1 is not prime. Res64: C3B3DCBDE45B2DDA Time : 0.0 sec. user=mdettweiler [2016-02-17 02:41:07] 935*2^1422194-1 is not prime. Res64: E0E59FF7CC68C3DE Time : 0.0 sec. user=mdettweiler [2016-02-17 02:41:07] 793*2^1422195-1 is not prime. Res64: 041E17481BBB6BC1 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:41:09] 895*2^1422195-1 is not prime. Res64: 6E316CF507BDD900 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:41:10] 689*2^1422196-1 is not prime. Res64: 437D09028A2867B3 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:46:31] 743*2^1422196-1 is not prime. Res64: 1E27A9A686B3C171 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:46:32] 765*2^1422196-1 is not prime. Res64: FD181C92E0B973E6 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:58:45] 777*2^1422196-1 is not prime. Res64: 42610672910625A1 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:58:46] 843*2^1422196-1 is not prime. Res64: 9394F98B154A8F26 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:58:49] 989*2^1422196-1 is not prime. Res64: 3145719578A19969 Time : 0.0 sec. user=mdettweiler [2016-02-17 02:58:49] 675*2^1422197-1 is not prime. Res64: DE573F9484897F42 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:04:11] 691*2^1422197-1 is not prime. Res64: 1F5798CF28C5902F Time : 0.0 sec. user=mdettweiler [2016-02-17 03:04:12] 871*2^1422197-1 is not prime. Res64: 8E19E2893CF4FDD8 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:16:21] 885*2^1422197-1 is not prime. Res64: 729443C7AF93D135 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:16:22] 889*2^1422197-1 is not prime. Res64: B8A6C78D09E32C1A Time : 0.0 sec. user=mdettweiler [2016-02-17 03:16:25] 927*2^1422197-1 is not prime. Res64: 59DCE7234521D23A Time : 0.0 sec. user=mdettweiler [2016-02-17 03:16:26] 611*2^1422198-1 is not prime. Res64: 72766DD53865A85F Time : 0.0 sec. user=mdettweiler [2016-02-17 03:21:48] 627*2^1422198-1 is not prime. Res64: 44252A97F611C088 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:21:48] 641*2^1422198-1 is not prime. Res64: 10CBCA012BFBD129 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:34:04] 707*2^1422198-1 is not prime. Res64: 9DBF71822DEEBC4E Time : 0.0 sec. user=mdettweiler [2016-02-17 03:34:04] 651*2^1422198-1 is not prime. Res64: 1117751E3CB0E448 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:34:06] 797*2^1422198-1 is not prime. Res64: 589C3B5BC3EC40A0 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:34:06] 695*2^1422198-1 is not prime. Res64: B8A0A3B06A17F4BC Time : 0.0 sec. user=mdettweiler [2016-02-17 03:39:24] 867*2^1422198-1 is not prime. Res64: 58CFF32CE746BF17 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:39:25] 915*2^1422198-1 is not prime. Res64: 99DEC0BFB23DA431 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:51:54] 975*2^1422198-1 is not prime. Res64: B9E8F06AF5D61B20 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:51:55] 993*2^1422198-1 is not prime. Res64: 23D964672CE4AAD0 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:51:55] 615*2^1422199-1 is not prime. Res64: C4C23FBDC57AD688 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:51:56] 759*2^1422199-1 is not prime. Res64: A5A7A380BA9592BE Time : 0.0 sec. user=mdettweiler [2016-02-17 03:57:01] 859*2^1422199-1 is not prime. Res64: 32B139FA6AB1AD04 Time : 0.0 sec. user=mdettweiler [2016-02-17 03:57:02] 891*2^1422199-1 is not prime. Res64: E7579564D4BF6593 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:09:34] 635*2^1422200-1 is not prime. Res64: 7CF79D9391AA2D61 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:09:35] 875*2^1422200-1 is not prime. Res64: 4E72E2570B304C77 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:09:35] 843*2^1422200-1 is not prime. Res64: AD106DCD0E8249D2 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:09:35] 923*2^1422200-1 is not prime. Res64: 9EDFF5BCC1108912 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:14:38] 995*2^1422200-1 is not prime. Res64: 3AABD34921E9F299 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:14:38] 607*2^1422201-1 is not prime. Res64: FC435192FA90C9A3 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:27:13] 817*2^1422201-1 is not prime. Res64: A7888727B0D81137 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:27:13] 835*2^1422201-1 is not prime. Res64: 74F22B0E09838B66 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:27:14] 681*2^1422201-1 is not prime. Res64: 306924B87591ADE6 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:27:14] 781*2^1422201-1 is not prime. Res64: 48A1BACF59B674DF Time : 0.0 sec. user=mdettweiler [2016-02-17 04:32:16] 873*2^1422202-1 is not prime. Res64: 11BFB184CD48A857 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:32:16] 987*2^1422202-1 is not prime. Res64: 6DB6FAD5401531F5 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:44:48] 621*2^1422203-1 is not prime. Res64: BD5C9FB453F3B31F Time : 0.0 sec. user=mdettweiler [2016-02-17 04:44:48] 705*2^1422203-1 is not prime. Res64: 65BEF2DBEFEEECE7 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:44:49] 685*2^1422203-1 is not prime. Res64: 75549D950C333BD4 Time : 0.0 sec. user=mdettweiler [2016-02-17 04:44:49] 753*2^1422203-1 is not prime. Res64: 28897A5BB7AC4F4A Time : 0.0 sec. user=mdettweiler [2016-02-17 04:49:50] 871*2^1422203-1 is not prime. Res64: FEA9BD4FB5F5D70F Time : 0.0 sec. user=mdettweiler [2016-02-17 04:49:51] 789*2^1422204-1 is not prime. Res64: EBB9A0C62B80494F Time : 0.0 sec. user=mdettweiler [2016-02-17 05:02:27] 799*2^1422205-1 is not prime. Res64: 542C6A65333B7810 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:02:27] 875*2^1422204-1 is not prime. Res64: 18A733EF2D7D5B94 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:02:28] 757*2^1422205-1 is not prime. Res64: 1DBE99B9EABCD5FB Time : 0.0 sec. user=mdettweiler [2016-02-17 05:02:28] 819*2^1422205-1 is not prime. Res64: 1EF2EA91C022E8E4 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:07:27] 877*2^1422205-1 is not prime. Res64: B532A0EC7D57F1E9 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:07:27] 937*2^1422205-1 is not prime. Res64: A6A2C9C08D8E286F Time : 0.0 sec. user=mdettweiler [2016-02-17 05:20:16] 957*2^1422205-1 is not prime. Res64: F4C257CCEF12822F Time : 0.0 sec. user=mdettweiler [2016-02-17 05:20:16] 675*2^1422206-1 is not prime. Res64: C5FCFED2793A9970 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:20:17] 683*2^1422206-1 is not prime. Res64: 589CD449BC4AB54D Time : 0.0 sec. user=mdettweiler [2016-02-17 05:20:18] 711*2^1422206-1 is not prime. Res64: 9F01282C9249DB79 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:25:03] 941*2^1422206-1 is not prime. Res64: BE954E0D29836456 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:25:04] 965*2^1422206-1 is not prime. Res64: EA8320766E75EB6F Time : 0.0 sec. user=mdettweiler [2016-02-17 05:37:54] 993*2^1422206-1 is not prime. Res64: 7002F874293AC666 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:37:55] 693*2^1422207-1 is not prime. Res64: 7217559124932600 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:37:55] 741*2^1422207-1 is not prime. Res64: 1953928F13246798 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:37:55] 861*2^1422207-1 is not prime. Res64: 093C39B183FDE75E Time : 0.0 sec. user=mdettweiler [2016-02-17 05:42:40] 885*2^1422207-1 is not prime. Res64: DC97D0481D98AB47 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:42:41] 955*2^1422207-1 is not prime. Res64: 57A536C377B2F336 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:55:31] 635*2^1422208-1 is not prime. Res64: CAD434806906D1FE Time : 0.0 sec. user=mdettweiler [2016-02-17 05:55:31] 735*2^1422208-1 is not prime. Res64: 2D15199F728778F5 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:55:42] 605*2^1422208-1 is not prime. Res64: 19DAA8932290E8A0 Time : 0.0 sec. user=mdettweiler [2016-02-17 05:55:42] 615*2^1422208-1 is not prime. Res64: 6DA8383F7344D157 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:00:17] 747*2^1422208-1 is not prime. Res64: BB5C47FDC9F7AE6F Time : 0.0 sec. user=mdettweiler [2016-02-17 06:00:17] 849*2^1422208-1 is not prime. Res64: 8A64B68AAAEAFB5D Time : 0.0 sec. user=mdettweiler [2016-02-17 06:13:07] 923*2^1422208-1 is not prime. Res64: 931D42E1567178D9 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:13:08] 999*2^1422208-1 is not prime. Res64: 38E5DA006CE1F183 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:13:18] 627*2^1422209-1 is not prime. Res64: B4BF6E0120FF24C1 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:13:19] 645*2^1422209-1 is not prime. Res64: 7948772103306B53 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:17:57] 711*2^1422209-1 is not prime. Res64: E8EF57AE4A16F78A Time : 0.0 sec. user=mdettweiler [2016-02-17 06:17:58] 729*2^1422209-1 is not prime. Res64: 0004941C49C036F4 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:30:50] 747*2^1422209-1 is not prime. Res64: E48621B9DBE24647 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:30:51] 759*2^1422209-1 is not prime. Res64: 2ED2035E1E08D258 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:31:00] 847*2^1422209-1 is not prime. Res64: FA2558EEA7399DAA Time : 0.0 sec. user=mdettweiler [2016-02-17 06:31:00] 861*2^1422209-1 is not prime. Res64: D01E846CAE515883 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:35:37] 889*2^1422209-1 is not prime. Res64: BDC1DAFCBD0DEA88 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:35:38] 651*2^1422210-1 is not prime. Res64: 979B63FD5327BBD7 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:48:33] 773*2^1422210-1 is not prime. Res64: 5063409E78F9C0E7 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:48:34] 783*2^1422210-1 is not prime. Res64: 618ACAD503CB88EF Time : 0.0 sec. user=mdettweiler [2016-02-17 06:48:43] 801*2^1422210-1 is not prime. Res64: D603ABAFE8B80A33 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:48:44] 927*2^1422210-1 is not prime. Res64: 56F36AB653C09C77 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:53:18] 945*2^1422210-1 is not prime. Res64: 37E935C86DAED5B5 Time : 0.0 sec. user=mdettweiler [2016-02-17 06:53:20] 615*2^1422211-1 is not prime. Res64: 9740410A2F9C941B Time : 0.0 sec. user=mdettweiler [2016-02-17 07:06:18] 639*2^1422211-1 is not prime. Res64: C2221729D8BB138D Time : 0.0 sec. user=mdettweiler [2016-02-17 07:06:20] 703*2^1422211-1 is not prime. Res64: 07A80778C714D8D8 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:06:23] 705*2^1422211-1 is not prime. Res64: 5215FCDCEF25A0B0 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:06:24] 745*2^1422211-1 is not prime. Res64: 3F1AB27550361A24 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:11:01] 793*2^1422211-1 is not prime. Res64: D6AC13B3959C0251 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:11:02] 609*2^1422212-1 is not prime. Res64: 83D65B14AA1913A6 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:24:01] 669*2^1422212-1 is not prime. Res64: 80A7B30F3F4C0507 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:24:01] 675*2^1422212-1 is not prime. Res64: A002286AE5C160CD Time : 0.0 sec. user=mdettweiler [2016-02-17 07:24:03] 683*2^1422212-1 is not prime. Res64: F3C9039873EBEC7F Time : 0.0 sec. user=mdettweiler [2016-02-17 07:24:03] 743*2^1422212-1 is not prime. Res64: 6C2FB29FF5C00941 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:28:40] 945*2^1422212-1 is not prime. Res64: 18660FBCD0605572 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:28:41] 999*2^1422212-1 is not prime. Res64: FCE91F144D3135C4 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:41:35] 915*2^1422213-1 is not prime. Res64: FE1F8FC4D18E4DAB Time : 0.0 sec. user=mdettweiler [2016-02-17 07:41:35] 795*2^1422213-1 is not prime. Res64: 2215BC8558D749F3 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:41:35] 945*2^1422213-1 is not prime. Res64: 28F8D89FCB55EAB1 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:41:35] 877*2^1422213-1 is not prime. Res64: 765487DAA0703533 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:46:12] 961*2^1422213-1 is not prime. Res64: A6C8E66DD802CF2A Time : 0.0 sec. user=mdettweiler [2016-02-17 07:46:12] 611*2^1422214-1 is not prime. Res64: 879132781A40D7F6 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:59:08] 885*2^1422214-1 is not prime. Res64: DD7E41FFFE3AC5E8 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:59:08] 917*2^1422214-1 is not prime. Res64: C02BEA6A5E0035E3 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:59:08] 737*2^1422214-1 is not prime. Res64: DD0F4A10D1996C09 Time : 0.0 sec. user=mdettweiler [2016-02-17 07:59:09] 863*2^1422214-1 is not prime. Res64: 38DAD85CBC21107A Time : 0.0 sec. user=mdettweiler [2016-02-17 08:03:46] 947*2^1422214-1 is not prime. Res64: 739DFB3442B97208 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:03:48] 649*2^1422215-1 is not prime. Res64: 8F0C5BA0B28E5F92 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:16:40] 661*2^1422215-1 is not prime. Res64: 87B0AE681C5D18A4 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:16:41] 673*2^1422215-1 is not prime. Res64: E7D832BB0A6E95C9 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:16:41] 799*2^1422215-1 is not prime. Res64: 7B6A4FD2A11EC351 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:16:42] 829*2^1422215-1 is not prime. Res64: 2BB0E72129838681 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:21:22] 909*2^1422215-1 is not prime. Res64: 5A9ECD2120467FE6 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:21:22] 913*2^1422215-1 is not prime. Res64: 53C7D1D9E3EF26F4 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:34:13] 809*2^1422216-1 is not prime. Res64: 42D791DFEA549890 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:34:13] 945*2^1422216-1 is not prime. Res64: 0D0500BB13B6A088 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:34:14] 981*2^1422215-1 is not prime. Res64: 1E68E16CEA7DF204 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:34:14] 695*2^1422216-1 is not prime. Res64: 398368227BAE8461 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:38:53] 771*2^1422217-1 is not prime. Res64: ED863D5D1BD3E730 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:38:53] 775*2^1422217-1 is not prime. Res64: B3390C10D471D163 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:51:46] 847*2^1422217-1 is not prime. Res64: 543FAD97A2F48EA6 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:51:46] 867*2^1422217-1 is not prime. Res64: D101DE7B429A046D Time : 0.0 sec. user=mdettweiler [2016-02-17 08:51:46] 849*2^1422217-1 is not prime. Res64: 3FEE7C86CAE553C7 Time : 0.0 sec. user=mdettweiler [2016-02-17 08:51:46] 665*2^1422218-1 is not prime. Res64: F35CD1CAA999B02C Time : 0.0 sec. user=mdettweiler [2016-02-17 08:56:26] 707*2^1422218-1 is not prime. Res64: EEA12F63498BA2BF Time : 0.0 sec. user=mdettweiler [2016-02-17 08:56:26] 713*2^1422218-1 is not prime. Res64: 7E8F8278F27870BA Time : 0.0 sec. user=mdettweiler [2016-02-17 09:09:19] 825*2^1422218-1 is not prime. Res64: 76E60DBB046650D9 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:09:19] 797*2^1422218-1 is not prime. Res64: 34E953F19D27B4E8 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:09:20] 867*2^1422218-1 is not prime. Res64: D9754A672F87F6A0 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:09:20] 813*2^1422218-1 is not prime. Res64: 11622D7FF1BD796D Time : 0.0 sec. user=mdettweiler [2016-02-17 09:13:59] 893*2^1422218-1 is not prime. Res64: 0E52E7A56E51F763 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:13:59] 921*2^1422218-1 is not prime. Res64: 1461B0EB5B459B4C Time : 0.0 sec. user=mdettweiler [2016-02-17 09:26:54] 705*2^1422219-1 is not prime. Res64: 74BC52014ACE5E68 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:26:54] 751*2^1422219-1 is not prime. Res64: 0B5E43E65E492C82 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:26:55] 987*2^1422218-1 is not prime. Res64: 238A48A6DEC08BDE Time : 0.0 sec. user=mdettweiler [2016-02-17 09:26:55] 633*2^1422219-1 is not prime. Res64: 0C114CA14E047BBC Time : 0.0 sec. user=mdettweiler [2016-02-17 09:31:31] 801*2^1422219-1 is not prime. Res64: 9B039BD8334347B4 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:31:31] 835*2^1422219-1 is not prime. Res64: 875BCA0587A0E47F Time : 0.0 sec. user=mdettweiler [2016-02-17 09:44:26] 853*2^1422219-1 is not prime. Res64: 27FE429EFE699D00 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:44:27] 653*2^1422220-1 is not prime. Res64: 4C414E4A43D4DD64 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:44:27] 895*2^1422219-1 is not prime. Res64: B1BC65393FE818CD Time : 0.0 sec. user=mdettweiler [2016-02-17 09:44:27] 953*2^1422220-1 is not prime. Res64: 57BC6B2D27CC29FE Time : 0.0 sec. user=mdettweiler [2016-02-17 09:49:03] 989*2^1422220-1 is not prime. Res64: A5F8E783FC2E42E7 Time : 0.0 sec. user=mdettweiler [2016-02-17 09:49:03] 999*2^1422220-1 is not prime. Res64: 91997D3DC41F97F0 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:01:59] 727*2^1422221-1 is not prime. Res64: ADFD001D37504A95 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:02:00] 775*2^1422221-1 is not prime. Res64: 67681239E472D24D Time : 0.0 sec. user=mdettweiler [2016-02-17 10:02:01] 777*2^1422221-1 is not prime. Res64: 451248F2F13F4CE6 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:02:02] 871*2^1422221-1 is not prime. Res64: 9B00430EEC5117BD Time : 0.0 sec. user=mdettweiler [2016-02-17 10:06:34] 967*2^1422221-1 is not prime. Res64: B1C9B522DBEC85A1 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:06:35] 717*2^1422222-1 is not prime. Res64: 9E6932C25D25EFEB Time : 0.0 sec. user=mdettweiler [2016-02-17 10:19:44] 741*2^1422222-1 is not prime. Res64: 336A43BE476B6423 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:19:45] 833*2^1422222-1 is not prime. Res64: 930C50EE14B7FABC Time : 0.0 sec. user=mdettweiler [2016-02-17 10:19:46] 797*2^1422222-1 is not prime. Res64: 6937A90CB1E4952A Time : 0.0 sec. user=mdettweiler [2016-02-17 10:19:46] 609*2^1422223-1 is not prime. Res64: 215FD97294650E41 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:24:06] 763*2^1422223-1 is not prime. Res64: EA7A64CA8C2DF1A8 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:24:06] 913*2^1422223-1 is not prime. Res64: 906F8B66DBF53081 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:37:21] 605*2^1422224-1 is not prime. Res64: 033B7D81FA36D885 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:37:22] 623*2^1422224-1 is not prime. Res64: D9E67EFADE570EC3 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:37:22] 629*2^1422224-1 is not prime. Res64: 7E1997B49332AB99 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:37:22] 719*2^1422224-1 is not prime. Res64: FA82F606D5303118 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:41:39] 753*2^1422224-1 is not prime. Res64: 129C7B251F37970D Time : 0.0 sec. user=mdettweiler [2016-02-17 10:41:39] 855*2^1422224-1 is not prime. Res64: C608C5808AF0A17C Time : 0.0 sec. user=mdettweiler [2016-02-17 10:54:55] 639*2^1422225-1 is not prime. Res64: A6635921B0AA706C Time : 0.0 sec. user=mdettweiler [2016-02-17 10:54:55] 717*2^1422225-1 is not prime. Res64: 5BB67521CAE3026B Time : 0.0 sec. user=mdettweiler [2016-02-17 10:54:57] 915*2^1422224-1 is not prime. Res64: B8F1D9D2F12C95ED Time : 0.0 sec. user=mdettweiler [2016-02-17 10:54:57] 959*2^1422224-1 is not prime. Res64: C116BEF6E0DCDFC2 Time : 0.0 sec. user=mdettweiler [2016-02-17 10:59:12] 817*2^1422225-1 is not prime. Res64: BE19DA615E55CC7F Time : 0.0 sec. user=mdettweiler [2016-02-17 10:59:12] 885*2^1422225-1 is not prime. Res64: 847D920A8DC29EC2 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:12:28] 895*2^1422225-1 is not prime. Res64: CE12F26D4A802F5F Time : 0.0 sec. user=mdettweiler [2016-02-17 11:12:28] 909*2^1422225-1 is not prime. Res64: 05F50753ABB9619D Time : 0.0 sec. user=mdettweiler [2016-02-17 11:12:33] 937*2^1422225-1 is not prime. Res64: 1AF00AB2579D2011 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:12:33] 633*2^1422226-1 is not prime. Res64: 54FA45C1CEBA3D21 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:16:46] 735*2^1422226-1 is not prime. Res64: 074D0C88BBFEB101 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:16:46] 737*2^1422226-1 is not prime. Res64: E5677082B0311E02 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:30:04] 801*2^1422226-1 is not prime. Res64: CA64EDBD33318E32 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:30:06] 601*2^1422227-1 is not prime. Res64: 3A950A1B765FC191 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:30:06] 981*2^1422226-1 is not prime. Res64: 6A5A349825909A92 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:30:07] 675*2^1422227-1 is not prime. Res64: E7A5AF9B667F4265 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:34:19] 705*2^1422227-1 is not prime. Res64: 6A3C556FDFE672B1 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:34:19] 963*2^1422227-1 is not prime. Res64: 0C7B4955B6163A6A Time : 0.0 sec. user=mdettweiler [2016-02-17 11:47:39] 803*2^1422228-1 is not prime. Res64: FC7E094563E4C606 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:47:39] 819*2^1422228-1 is not prime. Res64: 2352CE7E5582C3E0 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:47:40] 627*2^1422228-1 is not prime. Res64: CDBA9621209607A9 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:47:40] 725*2^1422228-1 is not prime. Res64: 731C2522B978A9AA Time : 0.0 sec. user=mdettweiler [2016-02-17 11:51:54] 927*2^1422228-1 is not prime. Res64: 6A4AF6D373569399 Time : 0.0 sec. user=mdettweiler [2016-02-17 11:51:55] 615*2^1422229-1 is not prime. Res64: 34CE6EDED20C6914 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:05:13] 649*2^1422229-1 is not prime. Res64: 5E9B4865AF9A0EC8 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:05:14] 885*2^1422229-1 is not prime. Res64: 09BA727AEE4250B9 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:05:15] 789*2^1422229-1 is not prime. Res64: 9879528F56CC60CC Time : 0.0 sec. user=mdettweiler [2016-02-17 12:05:16] 755*2^1422230-1 is not prime. Res64: 35A7BF39A86090A6 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:09:29] 857*2^1422230-1 is not prime. Res64: 36F5D12D40C74E17 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:09:30] 861*2^1422230-1 is not prime. Res64: 9EB4B94763330A8F Time : 0.0 sec. user=mdettweiler [2016-02-17 12:23:05] 935*2^1422230-1 is not prime. Res64: 757C9733E66B9C03 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:23:06] 601*2^1422231-1 is not prime. Res64: B2035A13BEBD9836 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:23:06] 613*2^1422231-1 is not prime. Res64: 60CE85C023995DBD Time : 0.0 sec. user=mdettweiler [2016-02-17 12:23:07] 829*2^1422231-1 is not prime. Res64: A3F63476C0E34FCB Time : 0.0 sec. user=mdettweiler [2016-02-17 12:27:11] 865*2^1422231-1 is not prime. Res64: 1D4A1B88594FA64E Time : 0.0 sec. user=mdettweiler [2016-02-17 12:27:12] 961*2^1422231-1 is not prime. Res64: 0A7993BD59C051AF Time : 0.0 sec. user=mdettweiler [2016-02-17 12:40:52] 675*2^1422232-1 is not prime. Res64: 91F279EA49B8CFED Time : 0.0 sec. user=mdettweiler [2016-02-17 12:40:52] 969*2^1422231-1 is not prime. Res64: B07CFD2B14A2D3C3 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:40:52] 735*2^1422232-1 is not prime. Res64: 78CA631313A9E5C3 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:40:53] 609*2^1422232-1 is not prime. Res64: A2B9852A62EEDCF5 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:44:52] 649*2^1422233-1 is not prime. Res64: C09C259921DEEECF Time : 0.0 sec. user=mdettweiler [2016-02-17 12:44:53] 759*2^1422233-1 is not prime. Res64: 5FAEB2D5809276BB Time : 0.0 sec. user=mdettweiler [2016-02-17 12:59:09] 897*2^1422233-1 is not prime. Res64: B44890ECCC056109 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:59:09] 847*2^1422233-1 is not prime. Res64: 41F6E436E24091D7 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:59:09] 915*2^1422233-1 is not prime. Res64: 65766106FADE3647 Time : 0.0 sec. user=mdettweiler [2016-02-17 12:59:10] 867*2^1422233-1 is not prime. Res64: 6154590AAFCF2779 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:03:30] 949*2^1422233-1 is not prime. Res64: 2BFBE13373DB3BD6 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:03:31] 611*2^1422234-1 is not prime. Res64: 9B1EACC427C6A439 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:18:03] 861*2^1422234-1 is not prime. Res64: 23569211D8B208DF Time : 0.0 sec. user=mdettweiler [2016-02-17 13:18:03] 709*2^1422235-1 is not prime. Res64: CDFBFE17257B5412 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:18:04] 651*2^1422234-1 is not prime. Res64: 20727145848392CC Time : 0.0 sec. user=mdettweiler [2016-02-17 13:18:04] 833*2^1422234-1 is not prime. Res64: 2C4991BEBCEA46A3 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:22:05] 733*2^1422235-1 is not prime. Res64: A21E2D95DC73F763 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:22:05] 741*2^1422235-1 is not prime. Res64: DBDA346FB6472898 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:36:02] 861*2^1422235-1 is not prime. Res64: ABF45453DCF214F8 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:36:03] 895*2^1422235-1 is not prime. Res64: AA740EF957C73095 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:36:03] 775*2^1422235-1 is not prime. Res64: 6E1082888C21896B Time : 0.0 sec. user=mdettweiler [2016-02-17 13:36:03] 841*2^1422235-1 is not prime. Res64: E9F730EFBFB959F6 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:40:01] 999*2^1422235-1 is not prime. Res64: CBA51CDE8CED6D8D Time : 0.0 sec. user=mdettweiler [2016-02-17 13:40:01] 623*2^1422236-1 is not prime. Res64: 3BEE5213953BA19C Time : 0.0 sec. user=mdettweiler [2016-02-17 13:53:45] 693*2^1422236-1 is not prime. Res64: E2B28BF7284A8223 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:53:45] 777*2^1422236-1 is not prime. Res64: 9BFD3E9A254C5B28 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:53:47] 633*2^1422236-1 is not prime. Res64: 88FD5E36DBF858E7 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:53:47] 683*2^1422236-1 is not prime. Res64: A214266B9FC7E2A6 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:57:44] 927*2^1422236-1 is not prime. Res64: 495E2A39E76E0D81 Time : 0.0 sec. user=mdettweiler [2016-02-17 13:57:45] 667*2^1422237-1 is not prime. Res64: 735006E8408FC0BE Time : 0.0 sec. user=mdettweiler [2016-02-17 14:11:38] 847*2^1422237-1 is not prime. Res64: C091542F1565F731 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:11:39] 861*2^1422237-1 is not prime. Res64: 735876EADE93C77D Time : 0.0 sec. user=mdettweiler [2016-02-17 14:11:39] 889*2^1422237-1 is not prime. Res64: 6F50F820F73CB09A Time : 0.0 sec. user=mdettweiler [2016-02-17 14:11:40] 617*2^1422238-1 is not prime. Res64: EC4B7BCA7D5EE71B Time : 0.0 sec. user=mdettweiler [2016-02-17 14:15:37] 705*2^1422238-1 is not prime. Res64: D9FEF54F2D0BAEA7 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:15:37] 801*2^1422238-1 is not prime. Res64: 73B7E04972E4ADD6 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:29:36] 915*2^1422238-1 is not prime. Res64: BC4D78BA0E0B8BA0 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:29:36] 669*2^1422239-1 is not prime. Res64: 1D0ED71384DE6F68 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:29:37] 863*2^1422238-1 is not prime. Res64: 4D336B5199917AD0 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:29:37] 885*2^1422238-1 is not prime. Res64: 34063EA091DE2CB9 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:33:34] 705*2^1422239-1 is not prime. Res64: 95FC38A3A4A3DFDC Time : 0.0 sec. user=mdettweiler [2016-02-17 14:33:35] 729*2^1422239-1 is not prime. Res64: ABA3114084A80760 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:47:33] 615*2^1422240-1 is not prime. Res64: F36E1D797E3EE1D6 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:47:33] 753*2^1422239-1 is not prime. Res64: FF081356EDDD459D Time : 0.0 sec. user=mdettweiler [2016-02-17 14:47:33] 635*2^1422240-1 is not prime. Res64: 7EDA42E1DEC65652 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:47:33] 789*2^1422239-1 is not prime. Res64: EBD82838575F97F3 Time : 0.0 sec. user=mdettweiler [2016-02-17 14:51:26] 713*2^1422240-1 is not prime. Res64: 338842155ABD748B Time : 0.0 sec. user=mdettweiler [2016-02-17 14:51:26] 789*2^1422240-1 is not prime. Res64: A1CC5E2C4F040C31 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:05:33] 741*2^1422241-1 is not prime. Res64: 23BCDE88F2AFA69E Time : 0.0 sec. user=mdettweiler [2016-02-17 15:05:34] 937*2^1422241-1 is not prime. Res64: 11D768EB50B2176E Time : 0.0 sec. user=mdettweiler [2016-02-17 15:05:39] 797*2^1422240-1 is not prime. Res64: D1B6CF30EE8AA9F6 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:05:49] 933*2^1422240-1 is not prime. Res64: A06BB74D35BD7FAC Time : 0.0 sec. user=mdettweiler [2016-02-17 15:09:34] 957*2^1422241-1 is not prime. Res64: 1BA35DEEDFF0DFB6 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:09:35] 997*2^1422241-1 is not prime. Res64: 8B930FB99766C726 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:24:15] 745*2^1422243-1 is not prime. Res64: 66DFF6088883CF18 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:24:15] 645*2^1422242-1 is not prime. Res64: B9A737CEA148E16E Time : 0.0 sec. user=mdettweiler [2016-02-17 15:24:15] 921*2^1422243-1 is not prime. Res64: 9EFEC02F7E8C535F Time : 0.0 sec. user=mdettweiler [2016-02-17 15:24:15] 735*2^1422243-1 is not prime. Res64: 59110D75865697D5 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:27:41] 943*2^1422243-1 is not prime. Res64: 6ADDF05DDB2BDAE8 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:27:42] 973*2^1422243-1 is not prime. Res64: C9FE0B7B6C0902EB Time : 0.0 sec. user=mdettweiler [2016-02-17 15:41:50] 629*2^1422244-1 is not prime. Res64: 11CFD85C47E445C3 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:41:51] 869*2^1422244-1 is not prime. Res64: 90B5D1F6E3AAF3A7 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:41:52] 897*2^1422244-1 is not prime. Res64: BDFDAE1D288B564B Time : 0.0 sec. user=mdettweiler [2016-02-17 15:41:52] 915*2^1422244-1 is not prime. Res64: B5A7088F01BAB116 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:45:17] 987*2^1422244-1 is not prime. Res64: 6EC5B3C69A043B93 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:45:18] 601*2^1422245-1 is not prime. Res64: 76692743A9364868 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:59:26] 847*2^1422245-1 is not prime. Res64: 304B7DDEC31E8882 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:59:26] 867*2^1422245-1 is not prime. Res64: 7B00B16618962FEB Time : 0.0 sec. user=mdettweiler [2016-02-17 15:59:27] 927*2^1422245-1 is not prime. Res64: 702018211ADAEB51 Time : 0.0 sec. user=mdettweiler [2016-02-17 15:59:27] 705*2^1422246-1 is not prime. Res64: C0758DCEC3650373 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:02:52] 707*2^1422246-1 is not prime. Res64: 82692C9B12B1C81E Time : 0.0 sec. user=mdettweiler [2016-02-17 16:02:54] 717*2^1422246-1 is not prime. Res64: D056C265AA4CDCBA Time : 0.0 sec. user=mdettweiler [2016-02-17 16:17:00] 747*2^1422246-1 is not prime. Res64: 1F92744EB0049CDA Time : 0.0 sec. user=mdettweiler [2016-02-17 16:17:01] 801*2^1422246-1 is not prime. Res64: E2C00E752138C7EA Time : 0.0 sec. user=mdettweiler [2016-02-17 16:17:01] 783*2^1422246-1 is not prime. Res64: D85545AC0200694A Time : 0.0 sec. user=mdettweiler [2016-02-17 16:17:01] 875*2^1422246-1 is not prime. Res64: 8D88A88ADAADAF42 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:20:38] 917*2^1422246-1 is not prime. Res64: 3EB3BE85322713BA Time : 0.0 sec. user=mdettweiler [2016-02-17 16:20:38] 993*2^1422246-1 is not prime. Res64: 9393CD3AABF2E453 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:34:49] 693*2^1422247-1 is not prime. Res64: B50A1B53BC8C2BAC Time : 0.0 sec. user=mdettweiler [2016-02-17 16:34:50] 873*2^1422247-1 is not prime. Res64: CD4F399CC0CD226A Time : 0.0 sec. user=mdettweiler [2016-02-17 16:36:10] 649*2^1422247-1 is not prime. Res64: 4492D0F9A7064252 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:36:10] 675*2^1422247-1 is not prime. Res64: A8EEE9FE42D5E1AA Time : 0.0 sec. user=mdettweiler [2016-02-17 16:38:54] 895*2^1422247-1 is not prime. Res64: 82A6B6857617D5FF Time : 0.0 sec. user=mdettweiler [2016-02-17 16:38:55] 603*2^1422248-1 is not prime. Res64: 3490CF65E83F18F4 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:53:13] 669*2^1422248-1 is not prime. Res64: 91BD459857B3ACCD Time : 0.0 sec. user=mdettweiler [2016-02-17 16:53:13] 687*2^1422248-1 is not prime. Res64: 0CE45C8A5B27CDB3 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:54:32] 755*2^1422248-1 is not prime. Res64: 083CE8022C2DB347 Time : 0.0 sec. user=mdettweiler [2016-02-17 16:54:32] 777*2^1422248-1 is not prime. Res64: C1AF7CB66E52CDAB Time : 0.0 sec. user=mdettweiler [2016-02-17 16:56:59] 797*2^1422248-1 is not prime. Res64: FB4349AA8773757B Time : 0.0 sec. user=mdettweiler [2016-02-17 16:56:59] 843*2^1422248-1 is not prime. Res64: BDB713885A22E461 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:11:29] 915*2^1422248-1 is not prime. Res64: 217668194463AE91 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:11:29] 929*2^1422248-1 is not prime. Res64: 53E6F994F6583670 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:12:49] 601*2^1422249-1 is not prime. Res64: F1480C7A29113557 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:12:49] 661*2^1422249-1 is not prime. Res64: EAD48B75831DB19F Time : 0.0 sec. user=mdettweiler [2016-02-17 17:15:22] 681*2^1422249-1 is not prime. Res64: 2AD9C48ECE57AFBA Time : 0.0 sec. user=mdettweiler [2016-02-17 17:15:22] 781*2^1422249-1 is not prime. Res64: E83C04740DFDA5DD Time : 0.0 sec. user=mdettweiler [2016-02-17 17:29:53] 807*2^1422249-1 is not prime. Res64: 0762061846D6F8AB Time : 0.0 sec. user=mdettweiler [2016-02-17 17:29:53] 623*2^1422250-1 is not prime. Res64: 4570B5F30DCD6BD2 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:31:05] 677*2^1422250-1 is not prime. Res64: 3CD96D56BA31892F Time : 0.0 sec. user=mdettweiler [2016-02-17 17:31:05] 695*2^1422250-1 is not prime. Res64: 5DD6E00164EF21CE Time : 0.0 sec. user=mdettweiler [2016-02-17 17:33:35] 765*2^1422250-1 is not prime. Res64: 1165D3B392B04B88 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:33:35] 825*2^1422250-1 is not prime. Res64: EDC936C89BE8BF18 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:47:36] 831*2^1422250-1 is not prime. Res64: 62EB24171ABAA82A Time : 0.0 sec. user=mdettweiler [2016-02-17 17:47:37] 857*2^1422250-1 is not prime. Res64: 0364E75063FF73FF Time : 0.0 sec. user=mdettweiler [2016-02-17 17:49:02] 867*2^1422250-1 is not prime. Res64: 836D1B0EAFD1F630 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:49:02] 891*2^1422250-1 is not prime. Res64: 22CD2D4A9BD5160B Time : 0.0 sec. user=mdettweiler [2016-02-17 17:52:19] 603*2^1422251-1 is not prime. Res64: B7B88A4B0D68F684 Time : 0.0 sec. user=mdettweiler [2016-02-17 17:52:20] 775*2^1422251-1 is not prime. Res64: F335AF09AA9A6DB8 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:08:25] 823*2^1422251-1 is not prime. Res64: E439B400B144E9DA Time : 0.0 sec. user=mdettweiler [2016-02-17 18:08:25] 843*2^1422251-1 is not prime. Res64: 9450F46458E18CA7 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:09:43] 855*2^1422251-1 is not prime. Res64: 0229F1AADA92FFEC Time : 0.0 sec. user=mdettweiler [2016-02-17 18:09:44] 725*2^1422252-1 is not prime. Res64: 3843C7F994ECE6E2 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:12:10] 765*2^1422252-1 is not prime. Res64: 0CBEB8745D9464CE Time : 0.0 sec. user=mdettweiler [2016-02-17 18:12:10] 819*2^1422252-1 is not prime. Res64: 9EDC962A66C08E40 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:26:09] 903*2^1422252-1 is not prime. Res64: 9AB3D93EBFD0A56D Time : 0.0 sec. user=mdettweiler [2016-02-17 18:26:09] 935*2^1422252-1 is not prime. Res64: C8C241DF994148E2 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:27:24] 729*2^1422253-1 is not prime. Res64: E8F3D22AFF9CD818 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:27:25] 741*2^1422253-1 is not prime. Res64: 1D3E1D190133F8A6 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:29:48] 829*2^1422253-1 is not prime. Res64: F4ADC8010EBFAF47 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:29:49] 855*2^1422253-1 is not prime. Res64: 4ACDAB563A6587C8 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:43:49] 693*2^1422254-1 is not prime. Res64: B4A496CB1536CFFB Time : 0.0 sec. user=mdettweiler [2016-02-17 18:43:49] 827*2^1422254-1 is not prime. Res64: 4372CF99B0238A49 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:45:25] 885*2^1422254-1 is not prime. Res64: 7EC5787E0E00BCF1 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:45:25] 921*2^1422254-1 is not prime. Res64: 9018DAEC10B04824 Time : 0.0 sec. user=mdettweiler [2016-02-17 18:50:09] 789*2^1422255-1 is not prime. Res64: 246F5488F4A7DE1E Time : 0.0 sec. user=mdettweiler [2016-02-17 18:50:09] 805*2^1422255-1 is not prime. Res64: 0D4E4EAF00EB08EC Time : 0.0 sec. user=mdettweiler [2016-02-17 19:06:21] 885*2^1422255-1 is not prime. Res64: B31586155F163C8B Time : 0.0 sec. user=mdettweiler [2016-02-17 19:06:22] 919*2^1422255-1 is not prime. Res64: 31B743E3B471DDBF Time : 0.0 sec. user=mdettweiler [2016-02-17 19:07:32] 985*2^1422255-1 is not prime. Res64: FF6077F24D72E5AC Time : 0.0 sec. user=mdettweiler [2016-02-17 19:07:32] 639*2^1422256-1 is not prime. Res64: C728AC2D622537F5 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:09:57] 897*2^1422256-1 is not prime. Res64: C046ECA9BC2EEE11 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:09:58] 933*2^1422256-1 is not prime. Res64: E4D402FC1129823A Time : 0.0 sec. user=mdettweiler [2016-02-17 19:24:19] 999*2^1422256-1 is not prime. Res64: 93F1412D4E04EFCF Time : 0.0 sec. user=mdettweiler [2016-02-17 19:24:20] 601*2^1422257-1 is not prime. Res64: C7E69B5C9A737BA8 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:25:16] 607*2^1422257-1 is not prime. Res64: 787C6E04ABDC9C72 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:25:16] 631*2^1422257-1 is not prime. Res64: F8E38D9A31B7BA05 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:27:40] 645*2^1422257-1 is not prime. Res64: D9CD6D0C7AD082C7 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:27:40] 777*2^1422257-1 is not prime. Res64: 7C2278265B12C6D2 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:41:58] 805*2^1422257-1 is not prime. Res64: 6551DC61C8F01442 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:41:58] 865*2^1422257-1 is not prime. Res64: 658077E7CF40B7C2 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:42:58] 867*2^1422257-1 is not prime. Res64: 111F3D0D31FCD538 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:42:58] 889*2^1422257-1 is not prime. Res64: EF7DB3D21C5EC1DC Time : 0.0 sec. user=mdettweiler [2016-02-17 19:45:25] 949*2^1422257-1 is not prime. Res64: E3749A2D09273564 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:45:25] 967*2^1422257-1 is not prime. Res64: CE21D5B28AE4D388 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:59:54] 981*2^1422257-1 is not prime. Res64: F01FE10A5CE20413 Time : 0.0 sec. user=mdettweiler [2016-02-17 19:59:54] 621*2^1422258-1 is not prime. Res64: CDE76F0163190F00 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:00:52] 647*2^1422258-1 is not prime. Res64: 682BE4C5C2B4B6C7 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:00:53] 755*2^1422258-1 is not prime. Res64: 34D82C090DCD6595 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:03:11] 767*2^1422258-1 is not prime. Res64: 6EFF263990030D64 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:03:13] 881*2^1422258-1 is not prime. Res64: CAFB35D1831EA3DD Time : 0.0 sec. user=mdettweiler [2016-02-17 20:17:30] 663*2^1422259-1 is not prime. Res64: E3E8E6C9165FF917 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:17:31] 691*2^1422259-1 is not prime. Res64: F66661D2D2C5D67A Time : 0.0 sec. user=mdettweiler [2016-02-17 20:18:30] 703*2^1422259-1 is not prime. Res64: 67FE74D1C7187715 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:18:30] 811*2^1422259-1 is not prime. Res64: 87F0A7DA77F961EA Time : 0.0 sec. user=mdettweiler [2016-02-17 20:20:50] 835*2^1422259-1 is not prime. Res64: B57BEB63A85A30E8 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:20:50] 939*2^1422259-1 is not prime. Res64: 587818468E97AFCD Time : 0.0 sec. user=mdettweiler [2016-02-17 20:35:09] 999*2^1422259-1 is not prime. Res64: 5D9CE76528CC6E8E Time : 0.0 sec. user=mdettweiler [2016-02-17 20:35:09] 677*2^1422260-1 is not prime. Res64: 482A98543AF48868 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:36:05] 833*2^1422260-1 is not prime. Res64: 97AE96B70AD4D07B Time : 0.0 sec. user=mdettweiler [2016-02-17 20:36:05] 893*2^1422260-1 is not prime. Res64: 3AAAA03C6FC6A553 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:38:27] 899*2^1422260-1 is not prime. Res64: 41F616F287FD7970 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:38:28] 977*2^1422260-1 is not prime. Res64: D1BF88DB0F89DF69 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:52:44] 983*2^1422260-1 is not prime. Res64: 9BFA1C2FF1F81837 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:52:44] 649*2^1422261-1 is not prime. Res64: 71C6C5970F0728CE Time : 0.0 sec. user=mdettweiler [2016-02-17 20:53:40] 727*2^1422261-1 is not prime. Res64: 08A79051FCC1879C Time : 0.0 sec. user=mdettweiler [2016-02-17 20:53:40] 747*2^1422261-1 is not prime. Res64: DF1E18DE72CF45FD Time : 0.0 sec. user=mdettweiler [2016-02-17 20:56:04] 837*2^1422261-1 is not prime. Res64: 4B301CFF16DB4AD3 Time : 0.0 sec. user=mdettweiler [2016-02-17 20:56:04] 955*2^1422261-1 is not prime. Res64: 75B1166F974CEB71 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:10:24] 975*2^1422261-1 is not prime. Res64: F188F2D642AAA3C0 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:10:25] 979*2^1422261-1 is not prime. Res64: 5F2D4B02C93E7780 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:11:16] 611*2^1422262-1 is not prime. Res64: C3F7C9F7D737A8DA Time : 0.0 sec. user=mdettweiler [2016-02-17 21:11:17] 741*2^1422262-1 is not prime. Res64: 6FED0CEE6A754710 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:13:41] 825*2^1422262-1 is not prime. Res64: E10847389197F401 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:13:41] 831*2^1422262-1 is not prime. Res64: 5D6CF3BE68A92C1D Time : 0.0 sec. user=mdettweiler [2016-02-17 21:28:04] 855*2^1422262-1 is not prime. Res64: 3B353524DB4DCAAF Time : 0.0 sec. user=mdettweiler [2016-02-17 21:28:04] 881*2^1422262-1 is not prime. Res64: F14DA24E8D188DDB Time : 0.0 sec. user=mdettweiler [2016-02-17 21:28:53] 609*2^1422263-1 is not prime. Res64: 6AEF1F632374AC81 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:28:54] 619*2^1422263-1 is not prime. Res64: BF0581D85228ACB2 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:31:17] 621*2^1422263-1 is not prime. Res64: 198E54A9D3BC7599 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:31:17] 663*2^1422263-1 is not prime. Res64: 383C5C54D12980D7 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:45:41] 705*2^1422263-1 is not prime. Res64: 52C7A0D3C7FCA4F8 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:45:42] 789*2^1422263-1 is not prime. Res64: C0EB0320B2616BF1 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:46:30] 825*2^1422263-1 is not prime. Res64: 0CEA35855244EB92 Time : 0.0 sec. user=mdettweiler [2016-02-17 21:46:30] 901*2^1422263-1 is not prime. Res64: 9A4643EC71DF827D Time : 0.0 sec. user=mdettweiler [2016-02-17 21:48:54] 949*2^1422263-1 is not prime. Res64: 91FF65A350E2D47B Time : 0.0 sec. user=mdettweiler [2016-02-17 21:48:54] 955*2^1422263-1 is not prime. Res64: 0AD55908D8D6DA80 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:03:19] 657*2^1422264-1 is not prime. Res64: 58FED90C73ADCD15 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:03:20] 725*2^1422264-1 is not prime. Res64: 282DB4053AD384A3 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:04:06] 747*2^1422264-1 is not prime. Res64: CA629A6D2FFFF334 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:04:08] 795*2^1422264-1 is not prime. Res64: BCC094437378BE62 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:06:29] 887*2^1422264-1 is not prime. Res64: 8708EC5AAD2650E8 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:06:30] 923*2^1422264-1 is not prime. Res64: 71B6464F3EE39C55 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:21:08] 975*2^1422264-1 is not prime. Res64: A2720D990AAFA923 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:21:09] 993*2^1422264-1 is not prime. Res64: 9AB4303D2A4BF119 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:21:44] 601*2^1422265-1 is not prime. Res64: F319CAB8638CDE1C Time : 0.0 sec. user=mdettweiler [2016-02-17 22:21:45] 741*2^1422265-1 is not prime. Res64: CBB4254826E1F900 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:24:06] 789*2^1422265-1 is not prime. Res64: ADAC89ECB05AB4AB Time : 0.0 sec. user=mdettweiler [2016-02-17 22:24:07] 897*2^1422265-1 is not prime. Res64: D236D914411754E6 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:38:43] 915*2^1422265-1 is not prime. Res64: 1A216FD150EDF9E0 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:38:44] 951*2^1422265-1 is not prime. Res64: 184987E20289D83B Time : 0.0 sec. user=mdettweiler [2016-02-17 22:39:20] 987*2^1422265-1 is not prime. Res64: AFEDCF9DCE3B5E0C Time : 0.0 sec. user=mdettweiler [2016-02-17 22:39:20] 617*2^1422266-1 is not prime. Res64: 5177EDD5CA6BCBC0 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:41:41] 645*2^1422266-1 is not prime. Res64: 9598A056A5E4532C Time : 0.0 sec. user=mdettweiler [2016-02-17 22:41:42] 651*2^1422266-1 is not prime. Res64: 477D2FA905069302 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:56:18] 741*2^1422266-1 is not prime. Res64: 86423B19E22C5E6B Time : 0.0 sec. user=mdettweiler [2016-02-17 22:56:19] 837*2^1422266-1 is not prime. Res64: C0A0FEA0B1B1B839 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:56:56] 843*2^1422266-1 is not prime. Res64: 2799AD641F609AAD Time : 0.0 sec. user=mdettweiler [2016-02-17 22:56:56] 857*2^1422266-1 is not prime. Res64: 35FAC45B2BA2E165 Time : 0.0 sec. user=mdettweiler [2016-02-17 22:59:17] 873*2^1422266-1 is not prime. Res64: 3BDC6E2F5C95FE1F Time : 0.0 sec. user=mdettweiler [2016-02-17 22:59:18] 953*2^1422266-1 is not prime. Res64: 6551F6295FAD6971 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:13:57] 823*2^1422267-1 is not prime. Res64: 2AE96D6D531EEC02 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:13:57] 873*2^1422267-1 is not prime. Res64: F3484723262D98B8 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:14:33] 931*2^1422267-1 is not prime. Res64: D096D62E420F47D6 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:14:34] 639*2^1422268-1 is not prime. Res64: 2CBDB3A4E273804F Time : 0.0 sec. user=mdettweiler [2016-02-17 23:16:53] 803*2^1422268-1 is not prime. Res64: 24A06F495BDEDFD8 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:16:54] 839*2^1422268-1 is not prime. Res64: EBBA7ACDCC5ED729 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:31:34] 845*2^1422268-1 is not prime. Res64: C286C677126EA3D6 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:31:35] 927*2^1422268-1 is not prime. Res64: F16FF35C51A45460 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:32:10] 675*2^1422269-1 is not prime. Res64: D5574216491D427E Time : 0.0 sec. user=mdettweiler [2016-02-17 23:32:10] 691*2^1422269-1 is not prime. Res64: BE80F62203D2FD8B Time : 0.0 sec. user=mdettweiler [2016-02-17 23:34:29] 789*2^1422269-1 is not prime. Res64: D6F4A416392E29D2 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:34:30] 889*2^1422269-1 is not prime. Res64: A60F0D467C28DC70 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:49:17] 969*2^1422269-1 is not prime. Res64: 72D5F9B5B99EFB8B Time : 0.0 sec. user=mdettweiler [2016-02-17 23:49:18] 681*2^1422270-1 is not prime. Res64: D003E813347431C5 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:49:52] 927*2^1422270-1 is not prime. Res64: 154112DE54A7EFB7 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:49:52] 769*2^1422271-1 is not prime. Res64: 2C03D064E7ED0BF3 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:52:12] 883*2^1422271-1 is not prime. Res64: 9BC68CDE07EA4012 Time : 0.0 sec. user=mdettweiler [2016-02-17 23:52:13] 925*2^1422271-1 is not prime. Res64: 15A357CD2B9E9133 Time : 0.0 sec.