user=mdettweiler [2015-10-27 00:04:09] 705*2^1413311-1 is not prime. Res64: A3E2248012FFC9EF Time : 0.0 sec. user=mdettweiler [2015-10-27 00:04:11] 711*2^1413311-1 is not prime. Res64: 45761150A93E17D1 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:04:12] 885*2^1413311-1 is not prime. Res64: 2A096CBE10220A59 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:04:13] 609*2^1413312-1 is not prime. Res64: 5104EF81CE2AD3D9 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:05:35] 653*2^1413312-1 is not prime. Res64: 4A4532C883847728 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:05:36] 689*2^1413312-1 is not prime. Res64: D4C44A6F74608781 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:22:00] 887*2^1413312-1 is not prime. Res64: 1D46A43D7F32A257 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:22:00] 977*2^1413312-1 is not prime. Res64: 7A886C3A823B976C Time : 0.0 sec. user=mdettweiler [2015-10-27 00:22:00] 609*2^1413313-1 is not prime. Res64: 1780A157C130E3A1 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:22:01] 625*2^1413313-1 is not prime. Res64: 664203B03A2199E1 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:23:04] 835*2^1413313-1 is not prime. Res64: CF4887EECD2C8E29 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:23:05] 861*2^1413313-1 is not prime. Res64: 9EFB22F5C886FE45 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:39:27] 981*2^1413313-1 is not prime. Res64: 6049CA52BB8A4194 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:39:27] 987*2^1413313-1 is not prime. Res64: F6C94DE1966F40E5 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:39:29] 915*2^1413313-1 is not prime. Res64: 17947665B6D49E18 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:39:29] 951*2^1413313-1 is not prime. Res64: AC5D39C0DF4601AC Time : 0.0 sec. user=mdettweiler [2015-10-27 00:40:34] 645*2^1413314-1 is not prime. Res64: C8C0D09E92137E9E Time : 0.0 sec. user=mdettweiler [2015-10-27 00:40:34] 657*2^1413314-1 is not prime. Res64: 0EC4463575BC00BE Time : 0.0 sec. user=mdettweiler [2015-10-27 00:56:54] 671*2^1413314-1 is not prime. Res64: EFD3AE9746FE2235 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:56:54] 675*2^1413314-1 is not prime. Res64: 297AC1334EE71CFC Time : 0.0 sec. user=mdettweiler [2015-10-27 00:56:56] 683*2^1413314-1 is not prime. Res64: CDFDA1FD4E289988 Time : 0.0 sec. user=mdettweiler [2015-10-27 00:56:57] 687*2^1413314-1 is not prime. Res64: 7F6F63946A36D81C Time : 0.0 sec. user=mdettweiler [2015-10-27 00:58:02] 705*2^1413314-1 is not prime. Res64: B1AFCB98C7C5376B Time : 0.0 sec. user=mdettweiler [2015-10-27 00:58:02] 783*2^1413314-1 is not prime. Res64: 060806E4CC4C44AD Time : 0.0 sec. user=mdettweiler [2015-10-27 01:14:24] 995*2^1413314-1 is not prime. Res64: 9A297973D77F6535 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:14:24] 875*2^1413314-1 is not prime. Res64: F82D3F69ACA636F6 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:14:24] 941*2^1413314-1 is not prime. Res64: B20B3850D53157B7 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:14:24] 609*2^1413315-1 is not prime. Res64: 7BACCDCA3D2FBFC2 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:15:28] 669*2^1413315-1 is not prime. Res64: A26795993D0C192F Time : 0.0 sec. user=mdettweiler [2015-10-27 01:15:29] 675*2^1413315-1 is not prime. Res64: AAFA4396050EFFD5 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:32:03] 871*2^1413315-1 is not prime. Res64: 3B64A64F4F89F33D Time : 0.0 sec. user=mdettweiler [2015-10-27 01:32:03] 751*2^1413315-1 is not prime. Res64: 59BF7CCB5C69A5E7 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:32:04] 895*2^1413315-1 is not prime. Res64: 957E3EB1A4012C86 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:32:04] 801*2^1413315-1 is not prime. Res64: FBCD63E4A6761AA8 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:33:06] 955*2^1413315-1 is not prime. Res64: 27B2A3ABFC7FF91E Time : 0.0 sec. user=mdettweiler [2015-10-27 01:33:06] 969*2^1413315-1 is not prime. Res64: 832D3CC7FB7C6B94 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:49:58] 603*2^1413316-1 is not prime. Res64: BF8B6DC1E44F9F0B Time : 0.0 sec. user=mdettweiler [2015-10-27 01:49:58] 609*2^1413316-1 is not prime. Res64: B8C589925AFBB81E Time : 0.0 sec. user=mdettweiler [2015-10-27 01:50:01] 677*2^1413316-1 is not prime. Res64: C929F7E0D4135CF9 Time : 0.0 sec. user=mdettweiler [2015-10-27 01:50:01] 717*2^1413316-1 is not prime. Res64: 2329544F6F75199C Time : 0.0 sec. user=mdettweiler [2015-10-27 01:50:56] 773*2^1413316-1 is not prime. Res64: 3AE2E98B11E3EF5D Time : 0.0 sec. user=mdettweiler [2015-10-27 01:50:56] 813*2^1413316-1 is not prime. Res64: 074FF537764E6E4B Time : 0.0 sec. user=mdettweiler [2015-10-27 02:07:29] 933*2^1413316-1 is not prime. Res64: 4A54466C84F3DDF4 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:07:31] 975*2^1413316-1 is not prime. Res64: 7B29EE59587C1A6C Time : 0.0 sec. user=mdettweiler [2015-10-27 02:07:31] 655*2^1413317-1 is not prime. Res64: 6641A9EB8DC6E4A9 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:07:32] 669*2^1413317-1 is not prime. Res64: BF5BC6E777EF9962 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:08:25] 691*2^1413317-1 is not prime. Res64: F7D6E718FC6365E0 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:08:25] 697*2^1413317-1 is not prime. Res64: 781D1F241290FFDF Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:20] 711*2^1413317-1 is not prime. Res64: F916C711E313DE05 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:20] 771*2^1413317-1 is not prime. Res64: 71B7FD1AD7740A4C Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:20] 759*2^1413317-1 is not prime. Res64: 5C168EA6913F24D6 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:20] 819*2^1413317-1 is not prime. Res64: B5D06C11D256F12E Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:56] 837*2^1413317-1 is not prime. Res64: 70F6D678AA9C8C14 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:25:57] 871*2^1413317-1 is not prime. Res64: 133FB70E4D80F4EF Time : 0.0 sec. user=mdettweiler [2015-10-27 02:42:56] 925*2^1413317-1 is not prime. Res64: 6063A57B2176B54E Time : 0.0 sec. user=mdettweiler [2015-10-27 02:42:56] 665*2^1413318-1 is not prime. Res64: ADEDA93ABBD7CD4B Time : 0.0 sec. user=mdettweiler [2015-10-27 02:42:57] 695*2^1413318-1 is not prime. Res64: 53936014D1B5A9C7 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:42:57] 773*2^1413318-1 is not prime. Res64: AD1881E89DC23368 Time : 0.0 sec. user=mdettweiler [2015-10-27 02:43:28] 833*2^1413318-1 is not prime. Res64: 95BCB9AE53601A8A Time : 0.0 sec. user=mdettweiler [2015-10-27 02:43:28] 793*2^1413319-1 is not prime. Res64: 76062CB5BBB00798 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:23] 853*2^1413319-1 is not prime. Res64: 8C72922CEFC868E9 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:23] 909*2^1413319-1 is not prime. Res64: DB22BEB6A4C3D151 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:24] 859*2^1413319-1 is not prime. Res64: 58FB3CFD85B2723D Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:24] 913*2^1413319-1 is not prime. Res64: 271EF6A5739CAE4C Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:54] 931*2^1413319-1 is not prime. Res64: 03BCE3322855F460 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:00:55] 659*2^1413320-1 is not prime. Res64: 90EADA5A7D849E84 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:17:54] 663*2^1413320-1 is not prime. Res64: 3C080CDD80F8330F Time : 0.0 sec. user=mdettweiler [2015-10-27 03:17:55] 665*2^1413320-1 is not prime. Res64: 67D1B6185AB431A5 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:17:55] 677*2^1413320-1 is not prime. Res64: D437D06BD490D605 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:17:55] 759*2^1413320-1 is not prime. Res64: 224D1B77D8760BC9 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:18:22] 773*2^1413320-1 is not prime. Res64: F2C0896D6C816070 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:18:23] 797*2^1413320-1 is not prime. Res64: A2AB67FC0A47A73B Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:25] 917*2^1413320-1 is not prime. Res64: EE88B5C7D0ACD490 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:26] 825*2^1413320-1 is not prime. Res64: CA2038C5A959A4DF Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:26] 929*2^1413320-1 is not prime. Res64: 24E83EA0C580CC53 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:27] 899*2^1413320-1 is not prime. Res64: 694E35689FFB8A65 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:48] 935*2^1413320-1 is not prime. Res64: C0E66C55F2B9233D Time : 0.0 sec. user=mdettweiler [2015-10-27 03:35:50] 977*2^1413320-1 is not prime. Res64: 143793A66A137C5C Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:04] 781*2^1413321-1 is not prime. Res64: 3547AA621AE14B46 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:05] 817*2^1413321-1 is not prime. Res64: A2B342FECCB520BC Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:05] 615*2^1413321-1 is not prime. Res64: CCFB4F3C07A1E707 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:06] 709*2^1413321-1 is not prime. Res64: BB3BBCF55056573B Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:16] 877*2^1413321-1 is not prime. Res64: 3E07F3FC106E6FE2 Time : 0.0 sec. user=mdettweiler [2015-10-27 03:53:16] 907*2^1413321-1 is not prime. Res64: 61FDD026ED5831F2 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:35] 887*2^1413322-1 is not prime. Res64: 2E6458580DF7491D Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:35] 923*2^1413322-1 is not prime. Res64: 533DF704087E2C60 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:36] 617*2^1413322-1 is not prime. Res64: 60AF5A3278FFE798 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:36] 885*2^1413322-1 is not prime. Res64: F7EE4291FCB94534 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:49] 801*2^1413323-1 is not prime. Res64: 2022847C6BAE6231 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:10:49] 855*2^1413323-1 is not prime. Res64: 12FBE7AD544ADBB9 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:05] 915*2^1413323-1 is not prime. Res64: 21C56E2B7B7A4976 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:05] 969*2^1413323-1 is not prime. Res64: 2838D2FAA6704329 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:05] 939*2^1413323-1 is not prime. Res64: 0D9B7660CC2387C4 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:06] 665*2^1413324-1 is not prime. Res64: A74E086C83825259 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:16] 749*2^1413324-1 is not prime. Res64: 2CA0519388CC3266 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:28:16] 765*2^1413324-1 is not prime. Res64: C97900054692FD73 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:32] 929*2^1413324-1 is not prime. Res64: 2A846766886102A1 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:33] 699*2^1413325-1 is not prime. Res64: F5781D3BBC5A47BD Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:33] 803*2^1413324-1 is not prime. Res64: A140D8269C8C7B49 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:33] 843*2^1413324-1 is not prime. Res64: 96D5D70F4E611D92 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:42] 777*2^1413325-1 is not prime. Res64: A4B4A509B0D5BAF9 Time : 0.0 sec. user=mdettweiler [2015-10-27 04:45:42] 885*2^1413325-1 is not prime. Res64: BE15D28BD14C8351 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:02:59] 889*2^1413325-1 is not prime. Res64: 9A844613B6A5D487 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:02:59] 615*2^1413326-1 is not prime. Res64: 134D95567DC634D7 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:03:01] 985*2^1413325-1 is not prime. Res64: 9934BB2267D9C315 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:03:02] 623*2^1413326-1 is not prime. Res64: 088D455AF409170E Time : 0.0 sec. user=mdettweiler [2015-10-27 05:03:08] 683*2^1413326-1 is not prime. Res64: FD3C661A2C849265 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:03:10] 711*2^1413326-1 is not prime. Res64: E21E01B7F3AADC36 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:20:57] 741*2^1413326-1 is not prime. Res64: 9304A2100F3C9F09 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:20:57] 987*2^1413326-1 is not prime. Res64: 9DF0458027228575 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:20:59] 831*2^1413326-1 is not prime. Res64: C5D164FBCC7E8179 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:20:59] 1001*2^1413326-1 is not prime. Res64: 427AE5DD5CBFFD48 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:21:01] 711*2^1413327-1 is not prime. Res64: EDBC1E86B0C034DB Time : 0.0 sec. user=mdettweiler [2015-10-27 05:21:01] 933*2^1413327-1 is not prime. Res64: D8BE11C8C7FB562F Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:22] 955*2^1413327-1 is not prime. Res64: 8D367B3C24A923F4 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:23] 687*2^1413328-1 is not prime. Res64: 829F03A884701A21 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:25] 735*2^1413328-1 is not prime. Res64: A04231F54B7D6E4C Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:26] 855*2^1413328-1 is not prime. Res64: F7856485419071C9 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:26] 601*2^1413329-1 is not prime. Res64: 99E5B4E764CAE71D Time : 0.0 sec. user=mdettweiler [2015-10-27 05:38:26] 615*2^1413329-1 is not prime. Res64: DA65618AFDB5CA42 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:49] 705*2^1413329-1 is not prime. Res64: F3E8B2BE490960AB Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:49] 741*2^1413329-1 is not prime. Res64: 76D1D8EB282D38B1 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:52] 909*2^1413329-1 is not prime. Res64: 4FD4018D6F891FEC Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:52] 985*2^1413329-1 is not prime. Res64: 4920E1BE09BF52F3 Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:52] 789*2^1413329-1 is not prime. Res64: 5DA2EC053C58969C Time : 0.0 sec. user=mdettweiler [2015-10-27 05:55:53] 879*2^1413329-1 is not prime. Res64: 82596AEB6BFDF71A Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:15] 783*2^1413330-1 is not prime. Res64: F23EF02B564850DC Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:15] 887*2^1413330-1 is not prime. Res64: E2E40589395AFF51 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:18] 733*2^1413331-1 is not prime. Res64: 51005B3728EC6A77 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:18] 615*2^1413331-1 is not prime. Res64: D40D51146FEC4558 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:19] 741*2^1413331-1 is not prime. Res64: B3F2353FDC1D0388 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:13:19] 645*2^1413331-1 is not prime. Res64: 4586779442C6CA60 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:44] 979*2^1413331-1 is not prime. Res64: 9353BB32D3DBD7BB Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:44] 635*2^1413332-1 is not prime. Res64: E6E69D1E5D865227 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:44] 603*2^1413332-1 is not prime. Res64: 0E18C6F54B9B6E38 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:44] 669*2^1413332-1 is not prime. Res64: 6A719DD26FB05A2B Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:45] 769*2^1413331-1 is not prime. Res64: 48383C9ACE58369C Time : 0.0 sec. user=mdettweiler [2015-10-27 06:30:46] 901*2^1413331-1 is not prime. Res64: D57700FA2673EFFC Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:10] 677*2^1413332-1 is not prime. Res64: 78C33FE499C26261 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:11] 725*2^1413332-1 is not prime. Res64: D9C302C8F08B87DE Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:11] 743*2^1413332-1 is not prime. Res64: EF73439D87C0DA8D Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:11] 909*2^1413332-1 is not prime. Res64: 134C7654D7E8D3F5 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:11] 957*2^1413332-1 is not prime. Res64: 7D4FBEE89FA3B6C9 Time : 0.0 sec. user=mdettweiler [2015-10-27 06:48:12] 995*2^1413332-1 is not prime. Res64: 50CEE2EC68A7EF12 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:37] 657*2^1413333-1 is not prime. Res64: 68F3ED161AEB0373 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:37] 819*2^1413333-1 is not prime. Res64: 3B50A4A403E799D6 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:38] 669*2^1413333-1 is not prime. Res64: 9FED8B32ADCBCA60 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:39] 605*2^1413334-1 is not prime. Res64: 0B3788770A860D22 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:40] 651*2^1413334-1 is not prime. Res64: 4B824C536B9B778B Time : 0.0 sec. user=mdettweiler [2015-10-27 07:05:42] 737*2^1413334-1 is not prime. Res64: 0FF619F1A8B36D48 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:28] 885*2^1413334-1 is not prime. Res64: ACEDBBA486F34BF1 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:29] 775*2^1413335-1 is not prime. Res64: 9950D264CFEA7175 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:29] 721*2^1413335-1 is not prime. Res64: A1A3F0D42FCCD680 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:29] 857*2^1413334-1 is not prime. Res64: 49DE7734E924024D Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:29] 735*2^1413335-1 is not prime. Res64: 41CC80DDF5BBBF56 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:23:30] 887*2^1413334-1 is not prime. Res64: 93783308ABD891E1 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:54] 789*2^1413335-1 is not prime. Res64: BBB90700E498B32C Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:55] 627*2^1413336-1 is not prime. Res64: E91CA32717778574 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:55] 979*2^1413335-1 is not prime. Res64: E9166C86740ACEE8 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:55] 657*2^1413336-1 is not prime. Res64: B315D8C3C51E4D33 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:55] 717*2^1413336-1 is not prime. Res64: F842AE71FB0F4364 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:40:55] 747*2^1413336-1 is not prime. Res64: C5B16DB5F4D76C81 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:20] 765*2^1413336-1 is not prime. Res64: E86DE78B829A138D Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:20] 945*2^1413336-1 is not prime. Res64: A6A0AA353209F4CD Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:20] 849*2^1413336-1 is not prime. Res64: BBE57727087BE21B Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:20] 975*2^1413336-1 is not prime. Res64: 24351059D9A564BE Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:21] 993*2^1413336-1 is not prime. Res64: 9068521DF89A4DE3 Time : 0.0 sec. user=mdettweiler [2015-10-27 07:58:21] 841*2^1413337-1 is not prime. Res64: 1F5E6BDA0BAC8F0F Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:47] 889*2^1413337-1 is not prime. Res64: F54FAF0A72A78007 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:47] 997*2^1413337-1 is not prime. Res64: 061271890938AFF4 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:48] 837*2^1413338-1 is not prime. Res64: 93231365086DEF12 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:48] 603*2^1413338-1 is not prime. Res64: CADFC045AD5580FB Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:48] 857*2^1413338-1 is not prime. Res64: E34523FC96C9AF18 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:15:48] 617*2^1413338-1 is not prime. Res64: 129DC68E9CBF0B19 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:16] 741*2^1413339-1 is not prime. Res64: 2FED0F1572FF93AB Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:16] 745*2^1413339-1 is not prime. Res64: 2A9BA53440D1E866 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:17] 911*2^1413338-1 is not prime. Res64: A2C4065D49EB7581 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:18] 963*2^1413338-1 is not prime. Res64: EE86C228F5408336 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:18] 971*2^1413338-1 is not prime. Res64: 1073DCE48F01F88A Time : 0.0 sec. user=mdettweiler [2015-10-27 08:33:18] 663*2^1413339-1 is not prime. Res64: 66691E073B11D4E5 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:43] 753*2^1413339-1 is not prime. Res64: D8C107924752DE07 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:43] 789*2^1413339-1 is not prime. Res64: 1A05279316E13FB4 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:44] 931*2^1413339-1 is not prime. Res64: 07368A299FA27326 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:44] 603*2^1413340-1 is not prime. Res64: CFA4BBFA1D711CB0 Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:47] 801*2^1413339-1 is not prime. Res64: 9767346754A4BE8D Time : 0.0 sec. user=mdettweiler [2015-10-27 08:50:47] 829*2^1413339-1 is not prime. Res64: 0DCF6D3E0B64BD8F Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:12] 635*2^1413340-1 is not prime. Res64: 88E04C5F60793188 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:12] 675*2^1413340-1 is not prime. Res64: 77C2A5D59FC07358 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:13] 719*2^1413340-1 is not prime. Res64: 7D72900F0F937C97 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:14] 743*2^1413340-1 is not prime. Res64: 13BF3C9057E1109F Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:14] 677*2^1413340-1 is not prime. Res64: 4B753FAE10A31979 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:08:15] 689*2^1413340-1 is not prime. Res64: 0F73290AAB61C831 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:43] 875*2^1413340-1 is not prime. Res64: 116ED30C1FFC1381 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:44] 651*2^1413341-1 is not prime. Res64: 86E94E10B342C7E1 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:44] 923*2^1413340-1 is not prime. Res64: 593D8B5FB7B96896 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:44] 685*2^1413341-1 is not prime. Res64: 55C9070803D696E1 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:46] 813*2^1413340-1 is not prime. Res64: 0372B9C1226A4EC0 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:25:46] 855*2^1413340-1 is not prime. Res64: 83895CBFBB57A58A Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:09] 711*2^1413341-1 is not prime. Res64: A1DAAF0B6750BFB0 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:09] 717*2^1413341-1 is not prime. Res64: DC96ED3F84237C1C Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:10] 755*2^1413342-1 is not prime. Res64: DFE6632EF4D608F8 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:11] 825*2^1413342-1 is not prime. Res64: 06539F6EDB8D0236 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:13] 615*2^1413342-1 is not prime. Res64: 04D6F30E60C52D41 Time : 0.0 sec. user=mdettweiler [2015-10-27 09:43:13] 621*2^1413342-1 is not prime. Res64: 27D170B6CD3C2913 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:36] 705*2^1413343-1 is not prime. Res64: 4ADDE1F9B584FECC Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:37] 853*2^1413343-1 is not prime. Res64: 92330182214A8095 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:37] 609*2^1413343-1 is not prime. Res64: 8768180A15A18C6D Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:38] 693*2^1413343-1 is not prime. Res64: C70E9AE46B4ACB88 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:38] 861*2^1413343-1 is not prime. Res64: 19A2655650494484 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:00:39] 605*2^1413344-1 is not prime. Res64: 25CD2DC171D75DB6 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:05] 623*2^1413344-1 is not prime. Res64: F39CF249F3BEBF6F Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:05] 635*2^1413344-1 is not prime. Res64: 3D150B1F24A0FA96 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:06] 773*2^1413344-1 is not prime. Res64: 139621BB15EAE156 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:07] 893*2^1413344-1 is not prime. Res64: 54E27B7D4CE148F6 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:07] 909*2^1413344-1 is not prime. Res64: C588B92C17F92A1B Time : 0.0 sec. user=mdettweiler [2015-10-27 10:18:08] 959*2^1413344-1 is not prime. Res64: C49C749299D9FFE4 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:33] 609*2^1413345-1 is not prime. Res64: DF1E57FD1D08D405 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:33] 699*2^1413345-1 is not prime. Res64: 8665D3ADFBBEC850 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:34] 813*2^1413346-1 is not prime. Res64: F67422A9520C8A72 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:34] 891*2^1413345-1 is not prime. Res64: 18031FF83D79FB71 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:34] 843*2^1413346-1 is not prime. Res64: A25F528FFCF052D8 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:35:34] 921*2^1413345-1 is not prime. Res64: 78150E2D78B2DA47 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:52:59] 917*2^1413346-1 is not prime. Res64: 0AA38BCCFBF4F414 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:52:59] 603*2^1413347-1 is not prime. Res64: D367C3B51AE13B0A Time : 0.0 sec. user=mdettweiler [2015-10-27 10:53:00] 669*2^1413347-1 is not prime. Res64: D78506D58C912906 Time : 0.0 sec. user=mdettweiler [2015-10-27 10:53:00] 711*2^1413347-1 is not prime. Res64: 82E3C80926F92C0C Time : 0.0 sec. user=mdettweiler [2015-10-27 10:53:00] 615*2^1413347-1 is not prime. Res64: 19C64B95571A485F Time : 0.0 sec. user=mdettweiler [2015-10-27 10:53:00] 645*2^1413347-1 is not prime. Res64: 1CB786E349B5186A Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:25] 805*2^1413347-1 is not prime. Res64: 2290B1D54B791919 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:26] 979*2^1413347-1 is not prime. Res64: 51919A5DEBD2549D Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:26] 819*2^1413348-1 is not prime. Res64: 1E3BE332CAC8DBC8 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:26] 959*2^1413348-1 is not prime. Res64: 43A455B489A13883 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:26] 867*2^1413348-1 is not prime. Res64: C844A9E8FEEA8524 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:10:27] 729*2^1413349-1 is not prime. Res64: 368B9C0548B2871D Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:57] 951*2^1413349-1 is not prime. Res64: C44018E2E342853A Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:58] 967*2^1413349-1 is not prime. Res64: 6F216E051D457C4E Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:58] 671*2^1413350-1 is not prime. Res64: CAE75DEAED4A797E Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:59] 819*2^1413349-1 is not prime. Res64: 5FC5CFCF0224FBEC Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:59] 773*2^1413350-1 is not prime. Res64: 41EF234A06588B29 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:27:59] 825*2^1413349-1 is not prime. Res64: B6F6A17B3FBF344C Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:27] 709*2^1413351-1 is not prime. Res64: C8C28CE39BE00AC3 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:27] 827*2^1413350-1 is not prime. Res64: 1DF5950BFB6FF51B Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:27] 739*2^1413351-1 is not prime. Res64: B3471A26A26D491B Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:28] 851*2^1413350-1 is not prime. Res64: 2EF5FC14DE6F45B6 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:28] 785*2^1413350-1 is not prime. Res64: E2C84F2E8C1759F4 Time : 0.0 sec. user=mdettweiler [2015-10-27 11:45:28] 825*2^1413350-1 is not prime. Res64: 0C9298C657194BB9 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:08] 813*2^1413352-1 is not prime. Res64: 2D82957AA6AA9FD6 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:08] 943*2^1413351-1 is not prime. Res64: FB33E20BBE564C1F Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:09] 677*2^1413352-1 is not prime. Res64: AC5F410DA8031225 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:11] 875*2^1413352-1 is not prime. Res64: B4CAABD6E01AB8DF Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:12] 827*2^1413352-1 is not prime. Res64: 490766C3EC7CE97A Time : 0.0 sec. user=mdettweiler [2015-10-27 12:03:14] 983*2^1413352-1 is not prime. Res64: 8349E91AA397B46D Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:21] 627*2^1413353-1 is not prime. Res64: CDCDB35305A02AE2 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:21] 657*2^1413353-1 is not prime. Res64: 98CD799386C72AC5 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:24] 697*2^1413353-1 is not prime. Res64: 23A6B62A28D8C9B1 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:24] 847*2^1413353-1 is not prime. Res64: F3B0F481AF46E48F Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:24] 769*2^1413353-1 is not prime. Res64: E772FF0D1FBAB249 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:22:24] 889*2^1413353-1 is not prime. Res64: 908F544E806E5FEA Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:19] 937*2^1413353-1 is not prime. Res64: 4DED7D6931DF1995 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:19] 939*2^1413353-1 is not prime. Res64: AA76D555505E968A Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:20] 611*2^1413354-1 is not prime. Res64: 64060F5264C29BD2 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:20] 967*2^1413353-1 is not prime. Res64: DC1DAF9820593539 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:20] 633*2^1413354-1 is not prime. Res64: A53DDAD638899921 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:40:20] 987*2^1413353-1 is not prime. Res64: F84D0EE6D5802AF8 Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:45] 705*2^1413354-1 is not prime. Res64: EE87034F5D4047CB Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:46] 723*2^1413354-1 is not prime. Res64: C706C2958B3738AB Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:46] 707*2^1413354-1 is not prime. Res64: 991DBA4ABA30B68B Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:46] 773*2^1413354-1 is not prime. Res64: C0CA763CBF20EC4F Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:47] 651*2^1413354-1 is not prime. Res64: F1693CCB5A191DDC Time : 0.0 sec. user=mdettweiler [2015-10-27 12:57:48] 665*2^1413354-1 is not prime. Res64: 29C534BFA20A37AA Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:11] 791*2^1413354-1 is not prime. Res64: BDD85131CC191F8B Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:12] 917*2^1413354-1 is not prime. Res64: E21F025BC41FDEED Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:12] 815*2^1413354-1 is not prime. Res64: E84C36494E97DEA4 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:12] 923*2^1413354-1 is not prime. Res64: C1F0781CE8FEA867 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:17] 947*2^1413354-1 is not prime. Res64: 2A4B6ACB03853555 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:15:17] 603*2^1413355-1 is not prime. Res64: F898F97F7DF53359 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:42] 783*2^1413355-1 is not prime. Res64: AFF11B0D2F9059D8 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:42] 841*2^1413355-1 is not prime. Res64: 25EAF67AA124B1BD Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:44] 853*2^1413355-1 is not prime. Res64: ADC08714A69AA1CD Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:44] 615*2^1413356-1 is not prime. Res64: CE534AEB5DC7443A Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:44] 673*2^1413355-1 is not prime. Res64: 6318836E9835FD95 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:32:45] 675*2^1413355-1 is not prime. Res64: 9C8460C70EA21C79 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:09] 659*2^1413356-1 is not prime. Res64: FA0E83A6CFF6A097 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:09] 699*2^1413356-1 is not prime. Res64: 9197C19CA7A7C38B Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:11] 875*2^1413356-1 is not prime. Res64: B9886876E69729B8 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:11] 993*2^1413356-1 is not prime. Res64: EE219D3506E6B8EF Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:11] 743*2^1413356-1 is not prime. Res64: 581B5860FA985C57 Time : 0.0 sec. user=mdettweiler [2015-10-27 13:50:12] 839*2^1413356-1 is not prime. Res64: 97CE8D0360D80CFC Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:35] 615*2^1413357-1 is not prime. Res64: 0D400AD4129C8799 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:35] 655*2^1413357-1 is not prime. Res64: 6B606300C5701E40 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:39] 751*2^1413357-1 is not prime. Res64: E818E5BCA6615AA3 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:39] 805*2^1413357-1 is not prime. Res64: 4BA310E88A63BB59 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:40] 871*2^1413357-1 is not prime. Res64: 929452D97DA9AD03 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:07:41] 949*2^1413357-1 is not prime. Res64: C2AB5C2C1EC56942 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:04] 665*2^1413358-1 is not prime. Res64: 72F738ED5FDFAE1A Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:05] 737*2^1413358-1 is not prime. Res64: 57C03B4142C5A6E9 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:07] 621*2^1413358-1 is not prime. Res64: BCAAAFCDBF2F08DF Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:08] 623*2^1413358-1 is not prime. Res64: 9CA9E4A2FCB9EE75 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:12] 743*2^1413358-1 is not prime. Res64: 02BE89EA996F25E0 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:25:12] 831*2^1413358-1 is not prime. Res64: 95B043825DD9F375 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:30] 951*2^1413358-1 is not prime. Res64: 8807008D0E9A5CA8 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:31] 615*2^1413359-1 is not prime. Res64: BA7BE26623BE8884 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:33] 663*2^1413359-1 is not prime. Res64: 173EBB760B0A909A Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:33] 745*2^1413359-1 is not prime. Res64: 77F2B62166F87396 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:38] 775*2^1413359-1 is not prime. Res64: A58BC6AF7A52F7C5 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:42:38] 885*2^1413359-1 is not prime. Res64: 98A9613E73DB60E4 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:59:56] 913*2^1413359-1 is not prime. Res64: B76ACFEA57078BA3 Time : 0.0 sec. user=mdettweiler [2015-10-27 14:59:56] 985*2^1413359-1 is not prime. Res64: C1A8736D1073487F Time : 0.0 sec. user=mdettweiler [2015-10-27 15:00:02] 623*2^1413360-1 is not prime. Res64: 9519342BA5DE01F7 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:00:02] 839*2^1413360-1 is not prime. Res64: C407E6FB7F401C58 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:00:06] 845*2^1413360-1 is not prime. Res64: 942BBA74F2456E10 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:00:07] 887*2^1413360-1 is not prime. Res64: F666DFEFF23DCD6B Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:22] 905*2^1413360-1 is not prime. Res64: F575644F9578FB69 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:22] 929*2^1413360-1 is not prime. Res64: 738AE13B0E03547F Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:28] 607*2^1413361-1 is not prime. Res64: E35FF2B370618100 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:28] 679*2^1413361-1 is not prime. Res64: B3E3411B28C68B46 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:31] 805*2^1413361-1 is not prime. Res64: 541CE600B8C64D58 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:17:32] 975*2^1413361-1 is not prime. Res64: CFA160FF05D541C2 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:48] 997*2^1413361-1 is not prime. Res64: E2F421127BEB3B87 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:49] 617*2^1413362-1 is not prime. Res64: C6C08B886435CAF8 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:54] 675*2^1413362-1 is not prime. Res64: A6D004B15FD336C2 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:54] 713*2^1413362-1 is not prime. Res64: 71776A2CB8FECBF5 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:58] 887*2^1413362-1 is not prime. Res64: EF8C052C952431BE Time : 0.0 sec. user=mdettweiler [2015-10-27 15:34:59] 921*2^1413362-1 is not prime. Res64: 5D1D099D684A2FD7 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:17] 951*2^1413362-1 is not prime. Res64: CF79778E8DCE62B8 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:17] 977*2^1413362-1 is not prime. Res64: 695D0695012B63E2 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:22] 679*2^1413363-1 is not prime. Res64: 50A2001F5853E7C4 Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:23] 769*2^1413363-1 is not prime. Res64: 1E9B0B8F99BE64DA Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:25] 835*2^1413363-1 is not prime. Res64: 063F19120E958E2B Time : 0.0 sec. user=mdettweiler [2015-10-27 15:52:25] 919*2^1413363-1 is not prime. Res64: 6C5D1D65E10D174E Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:44] 961*2^1413363-1 is not prime. Res64: B74227DC86DB0DDE Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:44] 985*2^1413363-1 is not prime. Res64: F0FECD0083A5C18F Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:48] 605*2^1413364-1 is not prime. Res64: 74D4F1E9956D2F05 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:48] 615*2^1413364-1 is not prime. Res64: 69C69138B5167139 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:50] 693*2^1413364-1 is not prime. Res64: 1035952975EE1E23 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:09:50] 855*2^1413364-1 is not prime. Res64: 4410B099A6A17239 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:12] 903*2^1413364-1 is not prime. Res64: 82EC38F691B0094B Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:12] 989*2^1413364-1 is not prime. Res64: BAD5D4B2C29E1330 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:14] 715*2^1413365-1 is not prime. Res64: 783927B1C2F50CBC Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:15] 735*2^1413365-1 is not prime. Res64: 8DFE3040028724C8 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:16] 757*2^1413365-1 is not prime. Res64: 658B63D5F9D225DD Time : 0.0 sec. user=mdettweiler [2015-10-27 16:27:17] 775*2^1413365-1 is not prime. Res64: CE74D66393AB2058 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:39] 811*2^1413365-1 is not prime. Res64: 5095B00D00C91909 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:40] 831*2^1413365-1 is not prime. Res64: 7B64BAC374F04B55 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:41] 861*2^1413365-1 is not prime. Res64: B0F781BE17936959 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:41] 885*2^1413365-1 is not prime. Res64: 01C8979827462432 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:43] 897*2^1413365-1 is not prime. Res64: 4726752E8497C375 Time : 0.0 sec. user=mdettweiler [2015-10-27 16:44:44] 969*2^1413365-1 is not prime. Res64: 2A426D0FA7F937B5 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:07] 981*2^1413365-1 is not prime. Res64: DA6C0BC5383BA70A Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:08] 615*2^1413366-1 is not prime. Res64: 1D29DDC7E1A72A1B Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:11] 711*2^1413366-1 is not prime. Res64: 751762E5D2254B7E Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:12] 761*2^1413366-1 is not prime. Res64: C3E827CF96CF9DB4 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:13] 815*2^1413366-1 is not prime. Res64: 24E8FC116DD10480 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:02:14] 851*2^1413366-1 is not prime. Res64: A0AA410EAC084D2A Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:50] 971*2^1413366-1 is not prime. Res64: ABD65DB2DF07D728 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:51] 859*2^1413367-1 is not prime. Res64: C73D3E6AA1F4D1B3 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:51] 645*2^1413367-1 is not prime. Res64: C6B286A87911AF6D Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:51] 913*2^1413367-1 is not prime. Res64: 156A4355E8F4D91E Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:55] 699*2^1413368-1 is not prime. Res64: C4BF9C7A41AEB1A0 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:19:56] 747*2^1413368-1 is not prime. Res64: EB8DD48A6E76ABBB Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:19] 753*2^1413368-1 is not prime. Res64: 0E103E27544DF792 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:20] 767*2^1413368-1 is not prime. Res64: 8594DC6915E2CC26 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:20] 819*2^1413368-1 is not prime. Res64: 77D2BAABF0165048 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:21] 869*2^1413368-1 is not prime. Res64: 923766DE4B7F38FF Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:22] 915*2^1413368-1 is not prime. Res64: 82C649898C7A350C Time : 0.0 sec. user=mdettweiler [2015-10-27 17:37:23] 963*2^1413368-1 is not prime. Res64: 0314A92A711D5BE0 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:46] 691*2^1413369-1 is not prime. Res64: 0A1E80C651CF3218 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:46] 625*2^1413369-1 is not prime. Res64: EC4BE9B29D790C7A Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:47] 711*2^1413369-1 is not prime. Res64: BF1FE95282DFC88A Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:47] 669*2^1413369-1 is not prime. Res64: 64F044902CA44447 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:48] 747*2^1413369-1 is not prime. Res64: CE74D989BBF0F858 Time : 0.0 sec. user=mdettweiler [2015-10-27 17:54:48] 795*2^1413369-1 is not prime. Res64: BE630C53D52D2F01 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:13] 907*2^1413369-1 is not prime. Res64: A5C02E1102604162 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:13] 837*2^1413369-1 is not prime. Res64: 269E134D6BEB9795 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:13] 675*2^1413370-1 is not prime. Res64: 32B807DAD30ECC83 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:13] 969*2^1413369-1 is not prime. Res64: E782A027B614A088 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:14] 847*2^1413369-1 is not prime. Res64: 1D436033AA07B5CE Time : 0.0 sec. user=mdettweiler [2015-10-27 18:12:14] 801*2^1413370-1 is not prime. Res64: 81B33F7FFEDAF808 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:44] 827*2^1413370-1 is not prime. Res64: 6CCAEC8C7D090BB2 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:45] 843*2^1413370-1 is not prime. Res64: F71B21028B65429A Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:45] 917*2^1413370-1 is not prime. Res64: 2628543ED45F21B9 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:45] 619*2^1413371-1 is not prime. Res64: 330751785048591F Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:45] 987*2^1413370-1 is not prime. Res64: 22A533FA2B71B575 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:29:46] 651*2^1413371-1 is not prime. Res64: CC91699931A9C198 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:11] 669*2^1413371-1 is not prime. Res64: 7E80074F7E87E723 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:11] 775*2^1413371-1 is not prime. Res64: 1E78DB8F110BD44D Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:12] 623*2^1413372-1 is not prime. Res64: 92651F6BB1CE324D Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:12] 745*2^1413371-1 is not prime. Res64: 9BE4F0B585B50E4C Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:12] 605*2^1413372-1 is not prime. Res64: 895FE334D3140B60 Time : 0.0 sec. user=mdettweiler [2015-10-27 18:47:12] 635*2^1413372-1 is not prime. Res64: 6BDB62F47B3C7632 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:40] 625*2^1413373-1 is not prime. Res64: 6FD03511D6ACEE85 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:40] 689*2^1413372-1 is not prime. Res64: C6BF2DD96DA8E76B Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:40] 879*2^1413372-1 is not prime. Res64: 050BCB1AC180BCEB Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:41] 679*2^1413373-1 is not prime. Res64: D0EEF8ADEC260164 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:42] 607*2^1413373-1 is not prime. Res64: 978307F7D8A3E7FC Time : 0.0 sec. user=mdettweiler [2015-10-27 19:04:43] 837*2^1413372-1 is not prime. Res64: 643905950F51A337 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:40] 681*2^1413373-1 is not prime. Res64: B5A41D4394942660 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:40] 789*2^1413373-1 is not prime. Res64: 4804DC4614BE96F3 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:40] 721*2^1413373-1 is not prime. Res64: 6FD2C5CCAA4DF6FB Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:40] 885*2^1413373-1 is not prime. Res64: 8C4AA0EE9EC5C6B9 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:40] 895*2^1413373-1 is not prime. Res64: 4519F93CFAB487B8 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:22:41] 901*2^1413373-1 is not prime. Res64: C4947BFD9CDFCEAD Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:07] 657*2^1413374-1 is not prime. Res64: C81AEECCADFD9F5D Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:07] 785*2^1413374-1 is not prime. Res64: D9266F1D97110512 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:08] 815*2^1413374-1 is not prime. Res64: D93466327BFE4F4D Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:08] 939*2^1413373-1 is not prime. Res64: 6BB884CE864BD4D0 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:08] 945*2^1413373-1 is not prime. Res64: 254D827C1E75913A Time : 0.0 sec. user=mdettweiler [2015-10-27 19:40:08] 827*2^1413374-1 is not prime. Res64: C7495FB564E0E260 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 831*2^1413374-1 is not prime. Res64: FD56C054FF0ECD84 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 971*2^1413374-1 is not prime. Res64: DCAC527B261F70A0 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 885*2^1413374-1 is not prime. Res64: B65DA100FF537FB4 Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 851*2^1413374-1 is not prime. Res64: 25DBE4EA1B1DE0DD Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 679*2^1413375-1 is not prime. Res64: C77849CEB294883E Time : 0.0 sec. user=mdettweiler [2015-10-27 19:57:35] 923*2^1413374-1 is not prime. Res64: BC7BF4FB26290794 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:02] 949*2^1413375-1 is not prime. Res64: 71DF66FA0842F8CA Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:03] 685*2^1413375-1 is not prime. Res64: D67A50D905A6F3E7 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:03] 609*2^1413376-1 is not prime. Res64: 237D08CA6ED808F0 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:03] 819*2^1413375-1 is not prime. Res64: 1A196AEF9113AC28 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:03] 783*2^1413375-1 is not prime. Res64: 20BD0E81F8266011 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:15:04] 861*2^1413375-1 is not prime. Res64: FBAC3E44B7635775 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:33] 765*2^1413376-1 is not prime. Res64: 5DCE682D943B05EB Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:34] 843*2^1413376-1 is not prime. Res64: 84D367B30BCEE0E9 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:34] 873*2^1413376-1 is not prime. Res64: 275362F408343923 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:34] 607*2^1413377-1 is not prime. Res64: D9DFFF42707E1425 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:37] 937*2^1413377-1 is not prime. Res64: 9205A24DBB80C590 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:32:38] 957*2^1413377-1 is not prime. Res64: 25E8BFF3F2545FBC Time : 0.0 sec. user=mdettweiler [2015-10-27 20:49:59] 971*2^1413378-1 is not prime. Res64: 5ED860E2CFB9B006 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:49:59] 609*2^1413379-1 is not prime. Res64: 4E8FC97942B0674B Time : 0.0 sec. user=mdettweiler [2015-10-27 20:50:00] 649*2^1413379-1 is not prime. Res64: 52AC7356936702BF Time : 0.0 sec. user=mdettweiler [2015-10-27 20:50:00] 663*2^1413379-1 is not prime. Res64: 10E46E3E1BB4E541 Time : 0.0 sec. user=mdettweiler [2015-10-27 20:50:03] 765*2^1413379-1 is not prime. Res64: 50B496373B32E93C Time : 0.0 sec. user=mdettweiler [2015-10-27 20:50:03] 861*2^1413379-1 is not prime. Res64: F5DCD44C272454C4 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:26] 895*2^1413379-1 is not prime. Res64: 8C8B6B3332BCE8FD Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:26] 615*2^1413380-1 is not prime. Res64: 9BBAC63B440757F3 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:26] 951*2^1413379-1 is not prime. Res64: 59EE7C4AB13AC28E Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:26] 669*2^1413380-1 is not prime. Res64: 787158E5F891735F Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:29] 819*2^1413380-1 is not prime. Res64: C37AA01A76A13EFC Time : 0.0 sec. user=mdettweiler [2015-10-27 21:07:30] 875*2^1413380-1 is not prime. Res64: 29BC6FDF2832FFB6 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:00] 963*2^1413380-1 is not prime. Res64: 2409994341782CEC Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:01] 983*2^1413380-1 is not prime. Res64: 1160C2E7AC740CB8 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:01] 835*2^1413381-1 is not prime. Res64: 93AD81CABBA44378 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:01] 635*2^1413382-1 is not prime. Res64: 94698F01FDE1FBC0 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:03] 625*2^1413381-1 is not prime. Res64: CC6E8657EA91EAF8 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:25:03] 661*2^1413381-1 is not prime. Res64: 0B9BF1BCB41AE7F9 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:26] 731*2^1413382-1 is not prime. Res64: 47CD4E0AA832069B Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:27] 765*2^1413382-1 is not prime. Res64: FE5FA1BB7013C668 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:27] 911*2^1413382-1 is not prime. Res64: F423450170B7041F Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:27] 945*2^1413382-1 is not prime. Res64: 5CA2DCC14D74EFAA Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:28] 643*2^1413383-1 is not prime. Res64: 7A31D226BADAAA1D Time : 0.0 sec. user=mdettweiler [2015-10-27 21:42:29] 705*2^1413383-1 is not prime. Res64: 1BF8492FA8BCAF41 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:54] 739*2^1413383-1 is not prime. Res64: BC029779EE84E33F Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:54] 783*2^1413383-1 is not prime. Res64: 4613E90BA96D7286 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:54] 741*2^1413383-1 is not prime. Res64: 4358C6D612253042 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:54] 853*2^1413383-1 is not prime. Res64: 041BBB89F6B0EF30 Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:55] 859*2^1413383-1 is not prime. Res64: 36927BF9A17E009B Time : 0.0 sec. user=mdettweiler [2015-10-27 21:59:56] 861*2^1413383-1 is not prime. Res64: 99742DC8551BC840 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:20] 879*2^1413383-1 is not prime. Res64: 6A1BA22B6C4CDA36 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:21] 895*2^1413383-1 is not prime. Res64: 5298C44ED2400E4F Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:22] 837*2^1413384-1 is not prime. Res64: E7C60E900C049EDD Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:22] 843*2^1413384-1 is not prime. Res64: 847D21AF6C65D6D5 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:23] 635*2^1413384-1 is not prime. Res64: B47F18A52ECE1FC7 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:17:23] 767*2^1413384-1 is not prime. Res64: B5B3CEA1CFF2111C Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:50] 849*2^1413384-1 is not prime. Res64: 916E0CF668A04CA9 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:50] 601*2^1413385-1 is not prime. Res64: 2A67594FF9A635CD Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:50] 863*2^1413384-1 is not prime. Res64: 7A9C3A0D7D48252F Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:50] 619*2^1413385-1 is not prime. Res64: D97C1B4926793EFC Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:50] 927*2^1413384-1 is not prime. Res64: 2D3C91C71AD7C299 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:34:51] 993*2^1413384-1 is not prime. Res64: D81868DBA7920C6C Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:22] 721*2^1413385-1 is not prime. Res64: 9CE8B52F994B1A09 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:22] 771*2^1413385-1 is not prime. Res64: E9E4411803DDC14F Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:23] 841*2^1413385-1 is not prime. Res64: 55150719DD3C254A Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:23] 909*2^1413385-1 is not prime. Res64: 52F9F01AD7556280 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:23] 861*2^1413385-1 is not prime. Res64: 62BAEFD46CC05EB1 Time : 0.0 sec. user=mdettweiler [2015-10-27 22:52:23] 985*2^1413385-1 is not prime. Res64: CF66B8252DB2AFCB Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:25] 735*2^1413386-1 is not prime. Res64: B06DCCFE9FF5F795 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:25] 773*2^1413386-1 is not prime. Res64: C6CF858CD4733304 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:26] 705*2^1413386-1 is not prime. Res64: 33438384321DAEC1 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:26] 717*2^1413386-1 is not prime. Res64: 4CB8CA1EFFDFC580 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:26] 783*2^1413386-1 is not prime. Res64: 3B044C2FB1912D4F Time : 0.0 sec. user=mdettweiler [2015-10-27 23:10:27] 903*2^1413386-1 is not prime. Res64: 8A2C5A73DB6194AA Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:39] 901*2^1413387-1 is not prime. Res64: 34EC5F5AC879CF53 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:40] 909*2^1413387-1 is not prime. Res64: 315D1FA36704660C Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:41] 923*2^1413386-1 is not prime. Res64: B8AF506F0F4C94E7 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:41] 935*2^1413386-1 is not prime. Res64: 1F64EB88331E6F24 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:42] 625*2^1413387-1 is not prime. Res64: 33A0C481E0731FAC Time : 0.0 sec. user=mdettweiler [2015-10-27 23:28:42] 685*2^1413387-1 is not prime. Res64: E5775D01FD7EC04E Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:09] 945*2^1413387-1 is not prime. Res64: DD269EA4FF9D2B04 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:09] 695*2^1413388-1 is not prime. Res64: 2E34DA92D1369E9F Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:11] 987*2^1413388-1 is not prime. Res64: 18216A9FC3DDB8FF Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:11] 777*2^1413388-1 is not prime. Res64: E26C399F9029D498 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:11] 711*2^1413389-1 is not prime. Res64: 9C7366121E5386F1 Time : 0.0 sec. user=mdettweiler [2015-10-27 23:47:11] 969*2^1413388-1 is not prime. Res64: 1E021ECD4276830E Time : 0.0 sec.