user=mdettweiler [2017-04-28 00:25:59] 889*2^1452719-1 is not prime. Res64: 532A813B9D330435 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:25:59] 735*2^1452719-1 is not prime. Res64: 73C737A67F4F2D68 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:25:59] 985*2^1452719-1 is not prime. Res64: 79C2CE0C23D2268E Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 741*2^1452719-1 is not prime. Res64: 03E742F96EEB19E5 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 737*2^1452720-1 is not prime. Res64: B5F8041AD06151D3 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 789*2^1452720-1 is not prime. Res64: 6B4AEEF59B033ED0 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 775*2^1452719-1 is not prime. Res64: 759CA32DA695B87F Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 803*2^1452720-1 is not prime. Res64: 663A3C7D59E14FE7 Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:00] 789*2^1452719-1 is not prime. Res64: E7A2D94CE5FC5DFF Time : 0.0 sec. user=mdettweiler [2017-04-28 00:26:01] 859*2^1452719-1 is not prime. Res64: DA61117806E8578D Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:26] 603*2^1452722-1 is not prime. Res64: 1677FA9D8F46F77C Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:26] 845*2^1452720-1 is not prime. Res64: 9FC5809A7C519461 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:26] 617*2^1452722-1 is not prime. Res64: DE6744F791AE60CA Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:26] 649*2^1452721-1 is not prime. Res64: 3BBDC4C2E48DD276 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:27] 657*2^1452722-1 is not prime. Res64: 37931D3E6A569DBB Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:27] 705*2^1452721-1 is not prime. Res64: A7085C176D2E1C65 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:27] 767*2^1452722-1 is not prime. Res64: EE402164AB1B7CF3 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:27] 807*2^1452721-1 is not prime. Res64: 271CBF8159F75014 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:28] 639*2^1452723-1 is not prime. Res64: 1532B7288101C1AD Time : 0.0 sec. user=mdettweiler [2017-04-28 01:10:28] 861*2^1452721-1 is not prime. Res64: C066FBE67C665281 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:02] 969*2^1452723-1 is not prime. Res64: 7466F8782BF0D2A9 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:02] 985*2^1452723-1 is not prime. Res64: DD0BC690356B06FC Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:03] 617*2^1452724-1 is not prime. Res64: 09E7B3547CAB59E7 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:03] 657*2^1452724-1 is not prime. Res64: 617DFD36A87AB4B9 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:04] 975*2^1452724-1 is not prime. Res64: 94F77486E8A098ED Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:04] 801*2^1452723-1 is not prime. Res64: 89EABF0F7657CF06 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:04] 829*2^1452723-1 is not prime. Res64: C366BD392F4ED8E3 Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:05] 853*2^1452723-1 is not prime. Res64: 17AB89B323FC1BAB Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:05] 919*2^1452723-1 is not prime. Res64: E9E5D32D89921D6B Time : 0.0 sec. user=mdettweiler [2017-04-28 01:55:06] 943*2^1452723-1 is not prime. Res64: AD392FCCF92FD1BF Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:29] 619*2^1452725-1 is not prime. Res64: 28632ADD9D6B7DE3 Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:30] 721*2^1452725-1 is not prime. Res64: 3CC09D2C72518A2B Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:30] 727*2^1452725-1 is not prime. Res64: 6B0B3F029AEA86B2 Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:30] 611*2^1452726-1 is not prime. Res64: 8ED8280E26D5A916 Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:30] 787*2^1452725-1 is not prime. Res64: 657C748723312642 Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:31] 807*2^1452726-1 is not prime. Res64: 046497E134BDEF2E Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:31] 811*2^1452725-1 is not prime. Res64: DCB7E8B58693050B Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:31] 601*2^1452727-1 is not prime. Res64: 7EE285C07DF259FA Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:31] 615*2^1452727-1 is not prime. Res64: DFF32843DD27B485 Time : 0.0 sec. user=mdettweiler [2017-04-28 02:39:32] 639*2^1452727-1 is not prime. Res64: 5CFDBB7B724015A8 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:09] 645*2^1452727-1 is not prime. Res64: E0368C2013DA71B1 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:10] 673*2^1452727-1 is not prime. Res64: 67592C1DAEF30D96 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:10] 763*2^1452727-1 is not prime. Res64: 8264971959B0D411 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:11] 775*2^1452727-1 is not prime. Res64: A516E9AF48EF52A6 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:11] 805*2^1452727-1 is not prime. Res64: F74E86FE7C7E4888 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:24] 849*2^1452727-1 is not prime. Res64: 1BE35572FF829231 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:25] 919*2^1452727-1 is not prime. Res64: 2356D3F0A1007485 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:25] 933*2^1452727-1 is not prime. Res64: 278CF86864DC2582 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:25] 985*2^1452727-1 is not prime. Res64: 92E246A71BF10638 Time : 0.0 sec. user=mdettweiler [2017-04-28 03:24:26] 663*2^1452728-1 is not prime. Res64: 33692167208E43A9 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:37] 669*2^1452728-1 is not prime. Res64: 88F9E7D1FE37AA12 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:37] 839*2^1452728-1 is not prime. Res64: 12EE23A455AFDDFC Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:38] 609*2^1452729-1 is not prime. Res64: 40C7765F29A4EA74 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:38] 709*2^1452729-1 is not prime. Res64: 8AF6184A0D63A89A Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:38] 765*2^1452729-1 is not prime. Res64: 85F8E6FB02EBE9A8 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:49] 847*2^1452729-1 is not prime. Res64: 946F79B166B771E1 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:50] 907*2^1452729-1 is not prime. Res64: 732945DA5F7C14D1 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:50] 813*2^1452730-1 is not prime. Res64: 446EB8555E8C54CA Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:51] 831*2^1452730-1 is not prime. Res64: E352013F55342CA2 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:08:51] 971*2^1452730-1 is not prime. Res64: 23A7A001301D6BF4 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:04] 1001*2^1452730-1 is not prime. Res64: E19EF489A5F790E9 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:04] 621*2^1452731-1 is not prime. Res64: EAC5744827CC1336 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:05] 711*2^1452731-1 is not prime. Res64: 869D2A985AD01FED Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:05] 735*2^1452731-1 is not prime. Res64: 4C8E85C21E72B071 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:05] 609*2^1452732-1 is not prime. Res64: 39B720FE7EA3EE71 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:18] 675*2^1452732-1 is not prime. Res64: 5610875048E14DA7 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:18] 725*2^1452732-1 is not prime. Res64: ECC9E15DE8746BEC Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:19] 765*2^1452732-1 is not prime. Res64: 1B6DB8582A7D4C19 Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:19] 767*2^1452732-1 is not prime. Res64: 78144949C684B4AC Time : 0.0 sec. user=mdettweiler [2017-04-28 04:53:20] 843*2^1452732-1 is not prime. Res64: 28F070A9AF861CD9 Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:28] 899*2^1452732-1 is not prime. Res64: F4965B3ED6E25735 Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:28] 959*2^1452732-1 is not prime. Res64: 6FA2B012FAD0CE67 Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:28] 965*2^1452732-1 is not prime. Res64: DDAE30E79FABE07B Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:29] 715*2^1452733-1 is not prime. Res64: C42EDDA604379B8C Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:29] 835*2^1452733-1 is not prime. Res64: 023E1D532F20D2B9 Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:42] 877*2^1452733-1 is not prime. Res64: 82ED9E89F82DCD3A Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:43] 967*2^1452733-1 is not prime. Res64: 07F3361F79D799FB Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:43] 635*2^1452734-1 is not prime. Res64: 216A761C606F715C Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:44] 641*2^1452734-1 is not prime. Res64: 207D8BD0D00BBFEE Time : 0.0 sec. user=mdettweiler [2017-04-28 05:37:44] 705*2^1452734-1 is not prime. Res64: A697CBB5CB6FC59C Time : 0.0 sec. user=mdettweiler [2017-04-28 06:21:53] 741*2^1452734-1 is not prime. Res64: E13CF01F87C8009D Time : 0.0 sec. user=mdettweiler [2017-04-28 06:21:53] 743*2^1452734-1 is not prime. Res64: 926BB0CF2C2C21DC Time : 0.0 sec. user=mdettweiler [2017-04-28 06:21:54] 753*2^1452734-1 is not prime. Res64: 883AC2F2D98464B1 Time : 0.0 sec. user=mdettweiler [2017-04-28 06:21:54] 923*2^1452734-1 is not prime. Res64: 7F225352DD05E084 Time : 0.0 sec. user=mdettweiler [2017-04-28 06:21:55] 981*2^1452734-1 is not prime. Res64: C6583496E962D099 Time : 0.0 sec. user=mdettweiler [2017-04-28 06:22:06] 693*2^1452735-1 is not prime. Res64: 35DA30E13CB52A59 Time : 0.0 sec. user=mdettweiler [2017-04-28 06:22:07] 765*2^1452735-1 is not prime. Res64: 858048DB56E160CD Time : 0.0 sec. user=mdettweiler [2017-04-28 06:22:07] 789*2^1452735-1 is not prime. Res64: 110EA0C9F4AFC9F8 Time : 0.0 sec. user=mdettweiler [2017-04-28 06:22:08] 829*2^1452735-1 is not prime. Res64: 59EEC6891DF2F8BC Time : 0.0 sec. user=mdettweiler [2017-04-28 06:22:08] 849*2^1452735-1 is not prime. Res64: E4716F4FAE249647 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:19] 645*2^1452736-1 is not prime. Res64: 3D2E24563D2429BE Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:19] 675*2^1452736-1 is not prime. Res64: 6D368CA37257FB63 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:20] 699*2^1452736-1 is not prime. Res64: F51FC43B1326F542 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:20] 743*2^1452736-1 is not prime. Res64: 6B651CBCCEA02DD3 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:20] 843*2^1452736-1 is not prime. Res64: 277C5AA4C9C2906C Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:31] 909*2^1452736-1 is not prime. Res64: BAA90DBD7CFF4D5A Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:31] 969*2^1452736-1 is not prime. Res64: 0DB7B3292B634950 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:32] 685*2^1452737-1 is not prime. Res64: 37C5E9B3DFED83ED Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:32] 715*2^1452737-1 is not prime. Res64: DB6DD4818285A860 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:06:33] 837*2^1452737-1 is not prime. Res64: DD13088140F31163 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:48] 841*2^1452737-1 is not prime. Res64: E4BFCA5474736E55 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:49] 865*2^1452737-1 is not prime. Res64: 55730A23EEAEFD6D Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:49] 647*2^1452738-1 is not prime. Res64: A3B52E6A47631D0C Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:49] 671*2^1452738-1 is not prime. Res64: F9FE00BC323CBEB2 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:50] 773*2^1452738-1 is not prime. Res64: 63B05EE5A19B139A Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:56] 893*2^1452738-1 is not prime. Res64: 459E9694EB1958BC Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:57] 945*2^1452738-1 is not prime. Res64: 60AB9141F72FC043 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:57] 619*2^1452739-1 is not prime. Res64: 3301EFA6CE8280DB Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:57] 813*2^1452739-1 is not prime. Res64: A67C17F16EFDF179 Time : 0.0 sec. user=mdettweiler [2017-04-28 07:50:58] 861*2^1452739-1 is not prime. Res64: 78AA5E1182D40F92 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:15] 895*2^1452739-1 is not prime. Res64: 8E2308084B639708 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:15] 687*2^1452740-1 is not prime. Res64: 4A83B6CCC017994C Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:16] 743*2^1452740-1 is not prime. Res64: 840EB19A391D3A1D Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:16] 789*2^1452740-1 is not prime. Res64: C8BC385E6E77D8C3 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:17] 885*2^1452740-1 is not prime. Res64: FB1CA80C18A08921 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:22] 675*2^1452741-1 is not prime. Res64: 94CC22DC599507B7 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:22] 709*2^1452741-1 is not prime. Res64: 712A87D2B4AAA0D1 Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:23] 829*2^1452741-1 is not prime. Res64: B51EC7103C10387C Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:23] 837*2^1452741-1 is not prime. Res64: 800E70BBCD74549B Time : 0.0 sec. user=mdettweiler [2017-04-28 08:35:23] 877*2^1452741-1 is not prime. Res64: B1E189C1CE9AD08B Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:00] 991*2^1452741-1 is not prime. Res64: F71836FB829DF6DE Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:01] 657*2^1452742-1 is not prime. Res64: D201FAE538D6C699 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:01] 665*2^1452742-1 is not prime. Res64: 32D5AD2CCB73DC22 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:02] 677*2^1452742-1 is not prime. Res64: B02BD7FFEBDF85E4 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:02] 761*2^1452742-1 is not prime. Res64: A87121974370ACB5 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:07] 941*2^1452742-1 is not prime. Res64: 0F698ACC93556A50 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:07] 685*2^1452743-1 is not prime. Res64: D1EF5C4FC379DE59 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:07] 763*2^1452743-1 is not prime. Res64: B66CB98D3F76E96F Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:08] 825*2^1452743-1 is not prime. Res64: C4AE6AC347D03528 Time : 0.0 sec. user=mdettweiler [2017-04-28 09:20:08] 949*2^1452743-1 is not prime. Res64: 73731F7935F0F876 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:34] 981*2^1452743-1 is not prime. Res64: 0AD88309D129CB90 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:35] 993*2^1452743-1 is not prime. Res64: 7DD0425F5BE04897 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:37] 707*2^1452744-1 is not prime. Res64: 69D627018139FC66 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:37] 795*2^1452744-1 is not prime. Res64: E6671F4FC62F5E7F Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:38] 747*2^1452744-1 is not prime. Res64: 6C1241849CB13F22 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:39] 917*2^1452744-1 is not prime. Res64: 30D43ADB05F269D1 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:40] 789*2^1452744-1 is not prime. Res64: A8CFA72682441C30 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:40] 645*2^1452745-1 is not prime. Res64: 399A84C19A3D0088 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:41] 649*2^1452745-1 is not prime. Res64: ADE277998FEA8B4E Time : 0.0 sec. user=mdettweiler [2017-04-28 10:04:43] 741*2^1452745-1 is not prime. Res64: 830783A6D2E7A480 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:26] 831*2^1452745-1 is not prime. Res64: 2087A128B8A44AF9 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:27] 867*2^1452745-1 is not prime. Res64: 691BCFAEBDB53FAB Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:27] 889*2^1452745-1 is not prime. Res64: 750ED7599FFD1F3F Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:27] 783*2^1452746-1 is not prime. Res64: 18A3E9CF46857A2C Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:28] 711*2^1452746-1 is not prime. Res64: 47C3D884E0DCF3D3 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:28] 873*2^1452746-1 is not prime. Res64: 7A1A52C78E22C554 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:28] 735*2^1452746-1 is not prime. Res64: 4E535A84F546FD44 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:28] 633*2^1452747-1 is not prime. Res64: 5F9E83DB30CED99C Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:29] 781*2^1452747-1 is not prime. Res64: D9436147B397C853 Time : 0.0 sec. user=mdettweiler [2017-04-28 10:49:29] 793*2^1452747-1 is not prime. Res64: 9ABD11875AE0535C Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:48] 891*2^1452747-1 is not prime. Res64: 06B8F9F6279C96A3 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:48] 631*2^1452749-1 is not prime. Res64: 34604ADC2972A915 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:48] 973*2^1452747-1 is not prime. Res64: DE5F5BE4B8F62523 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:48] 655*2^1452749-1 is not prime. Res64: 3A150A8C767468FB Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:49] 797*2^1452748-1 is not prime. Res64: 727753721BE304E0 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:49] 685*2^1452749-1 is not prime. Res64: B129D91AF3110441 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:49] 869*2^1452748-1 is not prime. Res64: 1B1EDCEFD14D441B Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:49] 697*2^1452749-1 is not prime. Res64: 8222878D6A4E9660 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:50] 627*2^1452749-1 is not prime. Res64: D3DFE88AD8B235F6 Time : 0.0 sec. user=mdettweiler [2017-04-28 11:33:50] 699*2^1452749-1 is not prime. Res64: BB2C7CD0DDE4CB18 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:09] 769*2^1452749-1 is not prime. Res64: AD3A1C2CE215C935 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:10] 747*2^1452750-1 is not prime. Res64: 9983D585FF8EF5E1 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:10] 787*2^1452749-1 is not prime. Res64: E7186C26C91EB466 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:10] 681*2^1452751-1 is not prime. Res64: 3A9935FEBE5124C5 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:10] 969*2^1452749-1 is not prime. Res64: 93A189D19E90974B Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:11] 685*2^1452751-1 is not prime. Res64: 92ED3F30E0B85345 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:11] 693*2^1452750-1 is not prime. Res64: 39DEA15BA9B29F62 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:11] 741*2^1452751-1 is not prime. Res64: C90E34D27127139E Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:11] 725*2^1452750-1 is not prime. Res64: 5095B4490AF8E927 Time : 0.0 sec. user=mdettweiler [2017-04-28 12:18:12] 783*2^1452751-1 is not prime. Res64: 5243587F8556F6E5 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:34] 805*2^1452751-1 is not prime. Res64: 7F4B479BEE48A5AA Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:34] 675*2^1452752-1 is not prime. Res64: 2D0C9A5E504B51CD Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:35] 931*2^1452751-1 is not prime. Res64: C07D1752F081DE10 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:36] 677*2^1452752-1 is not prime. Res64: 4E7E1CAED93C834E Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:36] 975*2^1452751-1 is not prime. Res64: 190337EB304B2E77 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:37] 687*2^1452752-1 is not prime. Res64: 2324CC1AC0DEB748 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:38] 979*2^1452751-1 is not prime. Res64: 9E8102984FDB05F3 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:39] 699*2^1452752-1 is not prime. Res64: E6BA7E8CBF53CF15 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:39] 615*2^1452752-1 is not prime. Res64: D64D3CC69C8D0E4D Time : 0.0 sec. user=mdettweiler [2017-04-28 13:02:40] 803*2^1452752-1 is not prime. Res64: CD4D6AF2B198EB45 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:03] 825*2^1452752-1 is not prime. Res64: 73AF6400CF8A4519 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:03] 855*2^1452752-1 is not prime. Res64: C16C3FB4C1B20731 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:04] 983*2^1452752-1 is not prime. Res64: 43D950175EF45511 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:04] 811*2^1452753-1 is not prime. Res64: E53C623231DACD79 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:04] 637*2^1452753-1 is not prime. Res64: DF92FD54D4793EE9 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:05] 919*2^1452753-1 is not prime. Res64: 625202F36C1BAE37 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:05] 691*2^1452753-1 is not prime. Res64: 59795C00C0DCB1FE Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:05] 951*2^1452753-1 is not prime. Res64: A9303292548968D6 Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:06] 969*2^1452753-1 is not prime. Res64: 82E3AF4A1BAB531F Time : 0.0 sec. user=mdettweiler [2017-04-28 13:47:06] 991*2^1452753-1 is not prime. Res64: 96ACBBB0ACA04B36 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:24] 611*2^1452754-1 is not prime. Res64: ED3D58AB9E1E3152 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:25] 993*2^1452754-1 is not prime. Res64: 38D3BA1842D29EFC Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:25] 633*2^1452754-1 is not prime. Res64: 2D06D0F136019D00 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:25] 609*2^1452755-1 is not prime. Res64: 81232966E396C532 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:26] 671*2^1452754-1 is not prime. Res64: FD71AF29D85AA50C Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:26] 673*2^1452755-1 is not prime. Res64: 791D31DF23098C77 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:26] 741*2^1452754-1 is not prime. Res64: D3B9A37561DCB0E5 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:26] 735*2^1452755-1 is not prime. Res64: DA63C6F5997EC66D Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:27] 971*2^1452754-1 is not prime. Res64: BAB037175FFFEA96 Time : 0.0 sec. user=mdettweiler [2017-04-28 14:31:27] 781*2^1452755-1 is not prime. Res64: 97BBBC761442DF31 Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:46] 971*2^1452586-1 is not prime. Res64: E03B9EEC6E1CA10F Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:47] 789*2^1452756-1 is not prime. Res64: CCA2F2FE0D37500C Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:47] 991*2^1452755-1 is not prime. Res64: C7939C33312F9FCE Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:47] 651*2^1452757-1 is not prime. Res64: FB3C42EC2991C021 Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:48] 623*2^1452756-1 is not prime. Res64: DE4B876815C5D94C Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:48] 757*2^1452757-1 is not prime. Res64: BF1128C8FAF3AA1D Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:48] 719*2^1452756-1 is not prime. Res64: FCFFFE887C47A608 Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:48] 801*2^1452757-1 is not prime. Res64: 883F9E03D8825BFD Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:49] 783*2^1452756-1 is not prime. Res64: 8A1783BCF4C22492 Time : 0.0 sec. user=mdettweiler [2017-04-28 15:15:49] 885*2^1452757-1 is not prime. Res64: C29E1E6944C6421B Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:10] 889*2^1452757-1 is not prime. Res64: C41CC6DE5B6D6268 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:10] 755*2^1452758-1 is not prime. Res64: 5CD823D74CC79007 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:10] 979*2^1452757-1 is not prime. Res64: 0E6366C1F5C40C11 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:11] 645*2^1452758-1 is not prime. Res64: 1452AFFC73C3235E Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:11] 771*2^1452758-1 is not prime. Res64: CE7CE25E877061DF Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:12] 713*2^1452758-1 is not prime. Res64: AD19633BE226A0D8 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:13] 813*2^1452758-1 is not prime. Res64: D92ADB76646C9B7B Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:14] 753*2^1452758-1 is not prime. Res64: 14121B3FC4FD6D3C Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:14] 843*2^1452758-1 is not prime. Res64: 53BBB38959A971C1 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:00:15] 857*2^1452758-1 is not prime. Res64: 73CF2030CEA8F655 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:37] 867*2^1452758-1 is not prime. Res64: 3E1D33870A6EDD8F Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:38] 893*2^1452758-1 is not prime. Res64: 21B7A3CDD6D320C0 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:39] 915*2^1452758-1 is not prime. Res64: 0B37F10DA8CFA654 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:39] 615*2^1452759-1 is not prime. Res64: A2E1D8E717A0809C Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:40] 685*2^1452759-1 is not prime. Res64: 78F24A34DC266F44 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:41] 693*2^1452759-1 is not prime. Res64: 8FCA13746671381B Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:41] 723*2^1452759-1 is not prime. Res64: 133D5F087AD0E6F2 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:42] 789*2^1452759-1 is not prime. Res64: 6D501B8CC414BAF8 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:42] 793*2^1452759-1 is not prime. Res64: 96998AFA74702BB9 Time : 0.0 sec. user=mdettweiler [2017-04-28 16:44:43] 909*2^1452759-1 is not prime. Res64: D90EAB239B241A9F Time : 0.0 sec. user=mdettweiler [2017-04-28 17:28:59] 609*2^1452760-1 is not prime. Res64: 8680343246A68739 Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:00] 713*2^1452760-1 is not prime. Res64: 6AEFD493DE414A41 Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:00] 803*2^1452760-1 is not prime. Res64: 43528012D0786D1B Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:01] 607*2^1452761-1 is not prime. Res64: 822DFE3B40CA1B30 Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:01] 917*2^1452760-1 is not prime. Res64: BA89EA73660B014F Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:01] 651*2^1452761-1 is not prime. Res64: 021CDA7D285DECF5 Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:01] 927*2^1452760-1 is not prime. Res64: EF6142DAC5D935ED Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:02] 829*2^1452761-1 is not prime. Res64: 380FE1F91657344C Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:02] 837*2^1452761-1 is not prime. Res64: F1354B79C0E7FD4B Time : 0.0 sec. user=mdettweiler [2017-04-28 17:29:03] 855*2^1452761-1 is not prime. Res64: 3AB9EE51515A1B36 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:20] 755*2^1452762-1 is not prime. Res64: F8A3DF528559278F Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:21] 889*2^1452761-1 is not prime. Res64: 702B6FE5BE58CAC3 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:21] 821*2^1452762-1 is not prime. Res64: 92EF35149904B2EB Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:21] 937*2^1452761-1 is not prime. Res64: 96E80B60B4C61952 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:22] 947*2^1452762-1 is not prime. Res64: 3567CD394FF9A223 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:22] 945*2^1452761-1 is not prime. Res64: EE5585D8F5828ED8 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:22] 957*2^1452762-1 is not prime. Res64: D6A60A6DDF0A2925 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:23] 987*2^1452761-1 is not prime. Res64: EE394D3759DAE1A5 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:23] 975*2^1452762-1 is not prime. Res64: DB4F4C5DD4F5B02F Time : 0.0 sec. user=mdettweiler [2017-04-28 18:13:23] 683*2^1452762-1 is not prime. Res64: 1E65D8660B0AD554 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:43] 603*2^1452763-1 is not prime. Res64: 7676877DC6D0E68F Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:43] 801*2^1452763-1 is not prime. Res64: 27E3C14C4860E822 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:44] 615*2^1452763-1 is not prime. Res64: 9C349008F25C3138 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:44] 829*2^1452763-1 is not prime. Res64: E58326BB664F2D44 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:44] 663*2^1452763-1 is not prime. Res64: 079A3D708A786028 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:44] 853*2^1452763-1 is not prime. Res64: 5B554FCAE8500D5A Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:45] 765*2^1452763-1 is not prime. Res64: E75E160457EDE0D4 Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:45] 883*2^1452763-1 is not prime. Res64: 177E9C2A121CCBFE Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:45] 769*2^1452763-1 is not prime. Res64: A359F2BCE08F8AAB Time : 0.0 sec. user=mdettweiler [2017-04-28 18:57:45] 985*2^1452763-1 is not prime. Res64: B41A1A22EA6173DC Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:06] 623*2^1452764-1 is not prime. Res64: D4D434B9175DBF1A Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:06] 819*2^1452764-1 is not prime. Res64: 72759AC0CA213537 Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:06] 699*2^1452764-1 is not prime. Res64: FF983EFF8B416EED Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:06] 825*2^1452764-1 is not prime. Res64: 66D47C1794435B98 Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:07] 717*2^1452764-1 is not prime. Res64: 7F4CDCC195EE515E Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:07] 833*2^1452764-1 is not prime. Res64: 4F75CE0A824E708E Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:07] 725*2^1452764-1 is not prime. Res64: B57A85CE71BF9DA7 Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:07] 957*2^1452764-1 is not prime. Res64: 9A62256B7324BC0E Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:08] 753*2^1452764-1 is not prime. Res64: 023F03221B027CD1 Time : 0.0 sec. user=mdettweiler [2017-04-28 19:42:08] 983*2^1452764-1 is not prime. Res64: DBD9745097C05D6E Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:29] 685*2^1452765-1 is not prime. Res64: 4CFED580F419FE73 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:29] 815*2^1452766-1 is not prime. Res64: 9A424B2AE67D1CAA Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:30] 825*2^1452765-1 is not prime. Res64: 1688B62220D84246 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:30] 1001*2^1452766-1 is not prime. Res64: 0FB08FFC5DF3A4A2 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:30] 861*2^1452765-1 is not prime. Res64: B1B1974BF712A277 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:31] 609*2^1452767-1 is not prime. Res64: 8F9CC1F72F7AFDA2 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:31] 617*2^1452766-1 is not prime. Res64: 8B0ADC8384F17A2D Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:31] 645*2^1452767-1 is not prime. Res64: 56ECF96ECBFAEB9E Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:32] 635*2^1452766-1 is not prime. Res64: C2E0300C8755F5C1 Time : 0.0 sec. user=mdettweiler [2017-04-28 20:26:32] 715*2^1452767-1 is not prime. Res64: 70A92D60284E8314 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:53] 629*2^1452768-1 is not prime. Res64: 7214EC021122CEC9 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:54] 867*2^1452768-1 is not prime. Res64: 7644453140A23D90 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:54] 905*2^1452768-1 is not prime. Res64: 470D290111B5194B Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:55] 927*2^1452768-1 is not prime. Res64: EE145EEE250AEE82 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:55] 975*2^1452768-1 is not prime. Res64: 6C7D41CE40DEE0A0 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:56] 615*2^1452769-1 is not prime. Res64: B0F6DC3FB91D3144 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:56] 649*2^1452769-1 is not prime. Res64: AD097F5317DD6F48 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:57] 751*2^1452769-1 is not prime. Res64: 45F4DE01C1F37B2E Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:58] 759*2^1452769-1 is not prime. Res64: 030CD75C61CC68D5 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:10:59] 771*2^1452769-1 is not prime. Res64: A2ACD9980D498CD5 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:21] 829*2^1452769-1 is not prime. Res64: C52B9BAFF6F810A9 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:21] 831*2^1452769-1 is not prime. Res64: 808E3BF1AD85C0CA Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:21] 767*2^1452770-1 is not prime. Res64: 67EA851DB2873988 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:22] 897*2^1452769-1 is not prime. Res64: CA178D5EE1E672A2 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:22] 851*2^1452770-1 is not prime. Res64: A6D24A0AF562235F Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:22] 909*2^1452769-1 is not prime. Res64: 967C81EE240CC852 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:22] 649*2^1452771-1 is not prime. Res64: 42AEC9CFDB5E0E43 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:23] 627*2^1452770-1 is not prime. Res64: C583E7384BAD9C03 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:23] 651*2^1452771-1 is not prime. Res64: 3DD3FF7C0C107319 Time : 0.0 sec. user=mdettweiler [2017-04-28 21:55:23] 741*2^1452771-1 is not prime. Res64: B2295CE6A8E8B5DC Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:47] 819*2^1452772-1 is not prime. Res64: 26CB978FEB042D09 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:47] 899*2^1452772-1 is not prime. Res64: A1E9471EAA08927A Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:48] 929*2^1452772-1 is not prime. Res64: 2530DEBF7519CF80 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:48] 775*2^1452771-1 is not prime. Res64: 38723045124A3B26 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:48] 685*2^1452773-1 is not prime. Res64: 3792C9932AB30FC9 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:49] 781*2^1452771-1 is not prime. Res64: 39A14191A97C93D9 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:49] 715*2^1452773-1 is not prime. Res64: 270B16CD16E5373C Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:49] 921*2^1452771-1 is not prime. Res64: D629A75A7155A47A Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:50] 975*2^1452771-1 is not prime. Res64: CEC2755483A5A709 Time : 0.0 sec. user=mdettweiler [2017-04-28 22:39:50] 665*2^1452772-1 is not prime. Res64: 4C0B2B96563AB6D8 Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:15] 801*2^1452773-1 is not prime. Res64: 9DFF160D0DFCA4BE Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:16] 805*2^1452773-1 is not prime. Res64: 48CD946516EEBB3F Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:17] 937*2^1452773-1 is not prime. Res64: DD7EF13BE60D490C Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:17] 765*2^1452774-1 is not prime. Res64: 2E171EAC30322FAC Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:17] 939*2^1452773-1 is not prime. Res64: 58E16D8005442B50 Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:17] 861*2^1452774-1 is not prime. Res64: 74B46BE193471C36 Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:18] 663*2^1452774-1 is not prime. Res64: 9F4FDEF36F13EC79 Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:18] 863*2^1452774-1 is not prime. Res64: 96758199B2405AB3 Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:18] 917*2^1452774-1 is not prime. Res64: CC55BFA64FDF733B Time : 0.0 sec. user=mdettweiler [2017-04-28 23:24:19] 941*2^1452774-1 is not prime. Res64: FD1EF99F5F48E894 Time : 0.0 sec.