user=mdettweiler [2016-06-14 00:11:09] 663*2^1432303-1 is not prime. Res64: F8F0D69FE27980EA Time : 0.0 sec. user=mdettweiler [2016-06-14 00:11:09] 675*2^1432303-1 is not prime. Res64: 4F5053E3743905B0 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:11:10] 819*2^1432303-1 is not prime. Res64: BE2E36514501E718 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:11:10] 859*2^1432303-1 is not prime. Res64: 5DD956681AA4EEB9 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:11:10] 945*2^1432303-1 is not prime. Res64: 47387336BF6FF29E Time : 0.0 sec. user=mdettweiler [2016-06-14 00:15:13] 961*2^1432303-1 is not prime. Res64: 17233450DE02F618 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:15:14] 857*2^1432304-1 is not prime. Res64: E1D7E857B86E7AF3 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:15:14] 893*2^1432304-1 is not prime. Res64: E54561E6D1DFFEB0 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:15:15] 995*2^1432304-1 is not prime. Res64: 55E5403E1A840296 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:15:15] 751*2^1432305-1 is not prime. Res64: 76C9064AF6DD61FF Time : 0.0 sec. user=mdettweiler [2016-06-14 00:21:20] 819*2^1432305-1 is not prime. Res64: 0F1B3297F529708C Time : 0.0 sec. user=mdettweiler [2016-06-14 00:21:21] 847*2^1432305-1 is not prime. Res64: A5AA22CCCF7413EB Time : 0.0 sec. user=mdettweiler [2016-06-14 00:21:21] 895*2^1432305-1 is not prime. Res64: EB97DD3A1E969CDB Time : 0.0 sec. user=mdettweiler [2016-06-14 00:21:21] 765*2^1432306-1 is not prime. Res64: 1158E1C621306D61 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:21:22] 601*2^1432307-1 is not prime. Res64: BB6933D271A14469 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:37:07] 643*2^1432307-1 is not prime. Res64: 854D4C395B8CEDFB Time : 0.0 sec. user=mdettweiler [2016-06-14 00:37:07] 685*2^1432307-1 is not prime. Res64: CEB3961DCC247836 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:37:08] 693*2^1432307-1 is not prime. Res64: 96FBF1DB7C1E1B13 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:37:08] 703*2^1432307-1 is not prime. Res64: AF45816FBC6B4EFD Time : 0.0 sec. user=mdettweiler [2016-06-14 00:37:09] 733*2^1432307-1 is not prime. Res64: A027AD858C7530D6 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:56:10] 759*2^1432307-1 is not prime. Res64: 2AD919C9B5FB4E14 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:56:10] 781*2^1432307-1 is not prime. Res64: 05AC12DF5CB1C53E Time : 0.0 sec. user=mdettweiler [2016-06-14 00:56:11] 841*2^1432307-1 is not prime. Res64: 49107CE08B292F26 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:56:11] 915*2^1432307-1 is not prime. Res64: 912F8B647EBCDA62 Time : 0.0 sec. user=mdettweiler [2016-06-14 00:56:11] 635*2^1432308-1 is not prime. Res64: E74E15E076CE0AC2 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:00:16] 689*2^1432308-1 is not prime. Res64: EF467A2A942BBD68 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:00:17] 725*2^1432308-1 is not prime. Res64: 09A3E2849F404716 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:00:18] 819*2^1432308-1 is not prime. Res64: 1237E20CC81087CB Time : 0.0 sec. user=mdettweiler [2016-06-14 01:00:18] 615*2^1432309-1 is not prime. Res64: 629D46C192DB2EFB Time : 0.0 sec. user=mdettweiler [2016-06-14 01:00:19] 639*2^1432309-1 is not prime. Res64: C8CD7FB1BC468893 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:06:21] 657*2^1432310-1 is not prime. Res64: 00C1C7502165E3C3 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:06:22] 861*2^1432310-1 is not prime. Res64: 0EFECA16820B81E0 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:06:23] 957*2^1432310-1 is not prime. Res64: 078387E405A669D9 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:06:25] 781*2^1432311-1 is not prime. Res64: 9215D0099DE1A287 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:06:26] 913*2^1432311-1 is not prime. Res64: 513955F60C938906 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:22:18] 609*2^1432312-1 is not prime. Res64: 8545DB15AF6A8797 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:22:19] 797*2^1432312-1 is not prime. Res64: CB7E18BF43727159 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:22:19] 819*2^1432312-1 is not prime. Res64: 2D2A047D67AFD9FB Time : 0.0 sec. user=mdettweiler [2016-06-14 01:22:20] 825*2^1432312-1 is not prime. Res64: 7ED111885771682D Time : 0.0 sec. user=mdettweiler [2016-06-14 01:22:20] 983*2^1432312-1 is not prime. Res64: EB719A64C09E21B4 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:41:12] 651*2^1432313-1 is not prime. Res64: 6579293FF3B28E5D Time : 0.0 sec. user=mdettweiler [2016-06-14 01:41:12] 657*2^1432313-1 is not prime. Res64: 0B30B9230AFD2968 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:41:13] 837*2^1432313-1 is not prime. Res64: 427D3492038855DA Time : 0.0 sec. user=mdettweiler [2016-06-14 01:41:13] 945*2^1432313-1 is not prime. Res64: 28D0E54E37A4258B Time : 0.0 sec. user=mdettweiler [2016-06-14 01:41:13] 949*2^1432313-1 is not prime. Res64: B15FAD66CC972B7D Time : 0.0 sec. user=mdettweiler [2016-06-14 01:45:18] 987*2^1432313-1 is not prime. Res64: E6A78F6CB83665F9 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:45:18] 651*2^1432314-1 is not prime. Res64: 030FA34B26421F28 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:45:19] 671*2^1432314-1 is not prime. Res64: 64758725723E562E Time : 0.0 sec. user=mdettweiler [2016-06-14 01:45:19] 905*2^1432314-1 is not prime. Res64: AFCB2C3D93B822CA Time : 0.0 sec. user=mdettweiler [2016-06-14 01:45:19] 917*2^1432314-1 is not prime. Res64: AC97084E9406AE60 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:51:28] 709*2^1432315-1 is not prime. Res64: 2B576059D5B21918 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:51:29] 741*2^1432315-1 is not prime. Res64: AA182B74DEEB123E Time : 0.0 sec. user=mdettweiler [2016-06-14 01:51:29] 771*2^1432315-1 is not prime. Res64: 5343855BFC4EC209 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:51:30] 783*2^1432315-1 is not prime. Res64: 61C654BBA3AE39F3 Time : 0.0 sec. user=mdettweiler [2016-06-14 01:51:30] 871*2^1432315-1 is not prime. Res64: EF1B7BDD5F26DEA8 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:07:21] 919*2^1432315-1 is not prime. Res64: A8DD2DE1B66DF7C2 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:07:23] 717*2^1432316-1 is not prime. Res64: 6FB1535BAB388541 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:07:26] 789*2^1432316-1 is not prime. Res64: B145A83AB9EB5F83 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:07:29] 813*2^1432316-1 is not prime. Res64: D17F162C6FABCF21 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:07:32] 927*2^1432316-1 is not prime. Res64: 4FF7C7B8ED30D560 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:26:26] 957*2^1432316-1 is not prime. Res64: 3F2675D480D7D647 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:26:27] 999*2^1432316-1 is not prime. Res64: 8A42066DC5DA8633 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:26:27] 625*2^1432317-1 is not prime. Res64: 39F2784C84D51E81 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:26:28] 651*2^1432317-1 is not prime. Res64: 5C2B2BDC89171B28 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:26:28] 685*2^1432317-1 is not prime. Res64: D1989C5092600559 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:30:20] 691*2^1432317-1 is not prime. Res64: 6079045AB3A22A8B Time : 0.0 sec. user=mdettweiler [2016-06-14 02:30:21] 747*2^1432317-1 is not prime. Res64: F1E501187360583E Time : 0.0 sec. user=mdettweiler [2016-06-14 02:30:22] 819*2^1432317-1 is not prime. Res64: 0829AB4512758991 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:30:23] 885*2^1432317-1 is not prime. Res64: 90A1CB579FC62F38 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:30:23] 901*2^1432317-1 is not prime. Res64: 1CD4F6E627D9075E Time : 0.0 sec. user=mdettweiler [2016-06-14 02:36:31] 915*2^1432317-1 is not prime. Res64: F4C08C4CFC8B2E05 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:36:32] 937*2^1432317-1 is not prime. Res64: D977D81A9A80A0ED Time : 0.0 sec. user=mdettweiler [2016-06-14 02:36:32] 603*2^1432318-1 is not prime. Res64: 259222472A382674 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:36:33] 617*2^1432318-1 is not prime. Res64: 89B5EA491842E090 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:36:33] 623*2^1432318-1 is not prime. Res64: D0CB589A3F47EBB9 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:53:20] 647*2^1432318-1 is not prime. Res64: AC7D9E9ADA768F1D Time : 0.0 sec. user=mdettweiler [2016-06-14 02:53:21] 705*2^1432318-1 is not prime. Res64: 5B667D8DA4C3604F Time : 0.0 sec. user=mdettweiler [2016-06-14 02:53:21] 737*2^1432318-1 is not prime. Res64: FAFCC53BA0695F85 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:53:21] 897*2^1432318-1 is not prime. Res64: 73DDFA126727C9E1 Time : 0.0 sec. user=mdettweiler [2016-06-14 02:53:22] 993*2^1432318-1 is not prime. Res64: 266C5FF5808EE273 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:11:52] 693*2^1432319-1 is not prime. Res64: 4A3CD10DAA1357DF Time : 0.0 sec. user=mdettweiler [2016-06-14 03:11:53] 711*2^1432319-1 is not prime. Res64: 308F786644E16527 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:11:53] 721*2^1432319-1 is not prime. Res64: 4555EE42CCB87A18 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:11:53] 909*2^1432319-1 is not prime. Res64: 9F392DA43E76376F Time : 0.0 sec. user=mdettweiler [2016-06-14 03:11:54] 939*2^1432319-1 is not prime. Res64: 1608B1BA3F2B1844 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:15:21] 985*2^1432319-1 is not prime. Res64: B10CAB894222CF84 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:15:21] 627*2^1432320-1 is not prime. Res64: B9FD073B98307048 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:15:22] 747*2^1432320-1 is not prime. Res64: 02603BCABDD970B7 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:15:22] 849*2^1432320-1 is not prime. Res64: 1694753AB4E2CCDA Time : 0.0 sec. user=mdettweiler [2016-06-14 03:15:22] 933*2^1432320-1 is not prime. Res64: 06CF1D590FEE81A5 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:22:14] 601*2^1432321-1 is not prime. Res64: A829062FB8A06183 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:22:15] 619*2^1432321-1 is not prime. Res64: 9F2A3162AB75FEA9 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:22:15] 639*2^1432321-1 is not prime. Res64: BBF82FD952D577A0 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:22:15] 649*2^1432321-1 is not prime. Res64: 763BFF1432153EFA Time : 0.0 sec. user=mdettweiler [2016-06-14 03:22:16] 715*2^1432321-1 is not prime. Res64: 0C4C625B8CF38F42 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:39:43] 771*2^1432321-1 is not prime. Res64: E122729D7904C921 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:39:45] 801*2^1432321-1 is not prime. Res64: 296938B5D55DBAE3 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:39:45] 835*2^1432321-1 is not prime. Res64: 6375C2E0F4CB643E Time : 0.0 sec. user=mdettweiler [2016-06-14 03:39:46] 861*2^1432321-1 is not prime. Res64: E1B97AAC71995BAC Time : 0.0 sec. user=mdettweiler [2016-06-14 03:39:47] 871*2^1432321-1 is not prime. Res64: 78CFF2C0BA397D03 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:58:47] 945*2^1432321-1 is not prime. Res64: 4DE76CD9AD961741 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:58:48] 987*2^1432321-1 is not prime. Res64: 380EC2C4BED3B5A1 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:58:48] 997*2^1432321-1 is not prime. Res64: DF45BF8506D32E12 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:58:49] 635*2^1432322-1 is not prime. Res64: C291E2A6AF6DCBD7 Time : 0.0 sec. user=mdettweiler [2016-06-14 03:58:49] 735*2^1432322-1 is not prime. Res64: 93302DCE80A2DF39 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:02:22] 857*2^1432322-1 is not prime. Res64: 590F21175C02F7BD Time : 0.0 sec. user=mdettweiler [2016-06-14 04:02:23] 625*2^1432323-1 is not prime. Res64: 3F648F51255D6EBB Time : 0.0 sec. user=mdettweiler [2016-06-14 04:02:24] 649*2^1432323-1 is not prime. Res64: CE97D280D35010C2 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:02:25] 663*2^1432323-1 is not prime. Res64: 7FFC8C58AA90C4A6 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:02:26] 853*2^1432323-1 is not prime. Res64: 8C39CB08B4807217 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:07:44] 885*2^1432323-1 is not prime. Res64: BD6DE46BF8D81423 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:07:44] 963*2^1432323-1 is not prime. Res64: 1FB3008CB2E88651 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:07:44] 783*2^1432324-1 is not prime. Res64: 3C442D3E4EFC9635 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:07:45] 869*2^1432324-1 is not prime. Res64: 6BFF53AAE94F916F Time : 0.0 sec. user=mdettweiler [2016-06-14 04:07:45] 619*2^1432325-1 is not prime. Res64: 5D7CD4B5314E9399 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:25:06] 627*2^1432325-1 is not prime. Res64: F702902B550D18D4 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:25:06] 699*2^1432325-1 is not prime. Res64: 2981353139762B2E Time : 0.0 sec. user=mdettweiler [2016-06-14 04:25:06] 825*2^1432325-1 is not prime. Res64: 2BC3854B4104DAFA Time : 0.0 sec. user=mdettweiler [2016-06-14 04:25:07] 861*2^1432325-1 is not prime. Res64: DE94F636D1BD0F29 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:25:07] 927*2^1432325-1 is not prime. Res64: 2456ABCF78A151F9 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:43:58] 969*2^1432325-1 is not prime. Res64: 1333844D83D3DDB3 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:43:59] 641*2^1432326-1 is not prime. Res64: 08B8D1B5DD2C0103 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:43:59] 875*2^1432326-1 is not prime. Res64: E77BAA83FD47AB71 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:44:00] 891*2^1432326-1 is not prime. Res64: 11BA6DBCC6E7531F Time : 0.0 sec. user=mdettweiler [2016-06-14 04:44:00] 893*2^1432326-1 is not prime. Res64: B0066649D2F44633 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:47:25] 939*2^1432327-1 is not prime. Res64: 03D14E8E79D3D57C Time : 0.0 sec. user=mdettweiler [2016-06-14 04:47:26] 735*2^1432328-1 is not prime. Res64: 3224DE5CE6FD1CD0 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:47:26] 747*2^1432328-1 is not prime. Res64: 07F9D5F5571936F7 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:47:26] 755*2^1432328-1 is not prime. Res64: 794E0924D6FA1ED8 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:47:27] 773*2^1432328-1 is not prime. Res64: F73405604F8D9D07 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:52:36] 797*2^1432328-1 is not prime. Res64: D7C326B05E57CC8F Time : 0.0 sec. user=mdettweiler [2016-06-14 04:52:36] 875*2^1432328-1 is not prime. Res64: 2326EAB3E512D673 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:52:37] 879*2^1432328-1 is not prime. Res64: 59EC334AE661485D Time : 0.0 sec. user=mdettweiler [2016-06-14 04:52:37] 893*2^1432328-1 is not prime. Res64: 0103324957F90613 Time : 0.0 sec. user=mdettweiler [2016-06-14 04:52:37] 897*2^1432328-1 is not prime. Res64: 124D471D575510CF Time : 0.0 sec. user=mdettweiler [2016-06-14 05:10:07] 915*2^1432328-1 is not prime. Res64: B95310ADE18AE635 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:10:07] 667*2^1432329-1 is not prime. Res64: AE420D80F66014CE Time : 0.0 sec. user=mdettweiler [2016-06-14 05:10:08] 759*2^1432329-1 is not prime. Res64: 396CD5444BA48C4D Time : 0.0 sec. user=mdettweiler [2016-06-14 05:10:08] 781*2^1432329-1 is not prime. Res64: 6C6274C28F783BB9 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:10:09] 861*2^1432329-1 is not prime. Res64: 9669ABE6A38D39E9 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:28:59] 999*2^1432329-1 is not prime. Res64: 4AE91FD7E6EAF76B Time : 0.0 sec. user=mdettweiler [2016-06-14 05:29:00] 657*2^1432330-1 is not prime. Res64: 68115DFE0F74F869 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:29:00] 677*2^1432330-1 is not prime. Res64: 1C46A54D8B10074D Time : 0.0 sec. user=mdettweiler [2016-06-14 05:29:01] 773*2^1432330-1 is not prime. Res64: 5836A309AEE7F2E8 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:29:01] 857*2^1432330-1 is not prime. Res64: 992A22B94FFD298A Time : 0.0 sec. user=mdettweiler [2016-06-14 05:32:31] 861*2^1432330-1 is not prime. Res64: A6D772AF57A461F4 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:32:32] 885*2^1432330-1 is not prime. Res64: B6B116636A605FB6 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:32:32] 975*2^1432330-1 is not prime. Res64: 8B2C0D8A47AA3A5E Time : 0.0 sec. user=mdettweiler [2016-06-14 05:32:33] 735*2^1432331-1 is not prime. Res64: E7CECAE87026E1BF Time : 0.0 sec. user=mdettweiler [2016-06-14 05:32:33] 789*2^1432331-1 is not prime. Res64: A960456E212D6C98 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:37:56] 825*2^1432331-1 is not prime. Res64: ECB3FA2531C99838 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:37:57] 903*2^1432331-1 is not prime. Res64: A912DDE7C7702108 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:37:57] 949*2^1432331-1 is not prime. Res64: 02C419EC888B0292 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:37:57] 665*2^1432332-1 is not prime. Res64: B6711D184BE5F66D Time : 0.0 sec. user=mdettweiler [2016-06-14 05:37:58] 675*2^1432332-1 is not prime. Res64: 1D262A00A09F2026 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:55:24] 719*2^1432332-1 is not prime. Res64: 024BE3CFCF218D8E Time : 0.0 sec. user=mdettweiler [2016-06-14 05:55:25] 809*2^1432332-1 is not prime. Res64: 34382A45956F4EF5 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:55:25] 863*2^1432332-1 is not prime. Res64: BE9DAF318C20B71D Time : 0.0 sec. user=mdettweiler [2016-06-14 05:55:25] 903*2^1432332-1 is not prime. Res64: 5BADCDFAE1C9FA27 Time : 0.0 sec. user=mdettweiler [2016-06-14 05:55:26] 929*2^1432332-1 is not prime. Res64: BBE933DB3A732E26 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:14:01] 975*2^1432332-1 is not prime. Res64: 918FDA72CE3F3462 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:14:02] 867*2^1432333-1 is not prime. Res64: A9DB2FBDEB47D3B7 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:14:02] 717*2^1432334-1 is not prime. Res64: F7AA7ECA69A09B7A Time : 0.0 sec. user=mdettweiler [2016-06-14 06:14:03] 813*2^1432334-1 is not prime. Res64: 719BD2A58CB6B15F Time : 0.0 sec. user=mdettweiler [2016-06-14 06:14:03] 851*2^1432334-1 is not prime. Res64: 4F069991ADD40E78 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:17:35] 983*2^1432334-1 is not prime. Res64: B215EBB7386BF542 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:17:35] 609*2^1432335-1 is not prime. Res64: 4627F1E6E5E1F21D Time : 0.0 sec. user=mdettweiler [2016-06-14 06:17:36] 709*2^1432335-1 is not prime. Res64: 663485DF1E23EB2A Time : 0.0 sec. user=mdettweiler [2016-06-14 06:17:36] 775*2^1432335-1 is not prime. Res64: FEA1C383963C28EC Time : 0.0 sec. user=mdettweiler [2016-06-14 06:17:36] 793*2^1432335-1 is not prime. Res64: E1B2892091029C69 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:22:57] 861*2^1432335-1 is not prime. Res64: F6AABEA4B8FB8701 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:22:58] 919*2^1432335-1 is not prime. Res64: 3CBBA47A6E1DE00C Time : 0.0 sec. user=mdettweiler [2016-06-14 06:22:58] 973*2^1432335-1 is not prime. Res64: 33091D47F4EFB1CC Time : 0.0 sec. user=mdettweiler [2016-06-14 06:22:59] 693*2^1432336-1 is not prime. Res64: 314263DEC48849AB Time : 0.0 sec. user=mdettweiler [2016-06-14 06:22:59] 695*2^1432336-1 is not prime. Res64: C06D7206A603371D Time : 0.0 sec. user=mdettweiler [2016-06-14 06:40:37] 765*2^1432336-1 is not prime. Res64: 4A2DE3DF088AC95B Time : 0.0 sec. user=mdettweiler [2016-06-14 06:40:37] 779*2^1432336-1 is not prime. Res64: 69249086205F0761 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:40:37] 803*2^1432336-1 is not prime. Res64: 5574281FA885F4ED Time : 0.0 sec. user=mdettweiler [2016-06-14 06:40:38] 909*2^1432336-1 is not prime. Res64: 58D0146988988885 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:40:38] 727*2^1432337-1 is not prime. Res64: 0B62551646D8BC69 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:59:03] 769*2^1432337-1 is not prime. Res64: 63BA77A2C8D34CBD Time : 0.0 sec. user=mdettweiler [2016-06-14 06:59:03] 837*2^1432337-1 is not prime. Res64: 391415AC83F8BB09 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:59:04] 867*2^1432337-1 is not prime. Res64: 15DE3EBAB2BBA737 Time : 0.0 sec. user=mdettweiler [2016-06-14 06:59:04] 871*2^1432337-1 is not prime. Res64: 73A9490F2862228A Time : 0.0 sec. user=mdettweiler [2016-06-14 06:59:04] 955*2^1432337-1 is not prime. Res64: CFE5B94292644547 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:02:40] 867*2^1432338-1 is not prime. Res64: 02204B97CEF13015 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:02:41] 875*2^1432338-1 is not prime. Res64: D3153B7A2A230672 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:02:42] 881*2^1432338-1 is not prime. Res64: 997678D07CAD714A Time : 0.0 sec. user=mdettweiler [2016-06-14 07:02:42] 951*2^1432338-1 is not prime. Res64: B56D867BEF4EB78B Time : 0.0 sec. user=mdettweiler [2016-06-14 07:02:43] 621*2^1432339-1 is not prime. Res64: DF6E26B79BC3AF8A Time : 0.0 sec. user=mdettweiler [2016-06-14 07:08:08] 723*2^1432339-1 is not prime. Res64: 692827A3B3431214 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:08:08] 745*2^1432339-1 is not prime. Res64: 8A03C6B1749963F4 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:08:09] 835*2^1432339-1 is not prime. Res64: D00BF9150E435A2B Time : 0.0 sec. user=mdettweiler [2016-06-14 07:08:09] 909*2^1432339-1 is not prime. Res64: 02D85FC7FA3C1477 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:08:10] 969*2^1432339-1 is not prime. Res64: A123A2DB6BC5D01B Time : 0.0 sec. user=mdettweiler [2016-06-14 07:25:42] 999*2^1432339-1 is not prime. Res64: E4CCB0E90F97D3C4 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:25:42] 725*2^1432340-1 is not prime. Res64: AF08F66DBB8262B3 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:25:43] 819*2^1432340-1 is not prime. Res64: DDA0C82FDB3964A7 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:25:43] 827*2^1432340-1 is not prime. Res64: 753539387C57C893 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:25:43] 839*2^1432340-1 is not prime. Res64: F1CA72965149F313 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:44:17] 897*2^1432340-1 is not prime. Res64: 40A7341BC08B6FB2 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:44:18] 915*2^1432340-1 is not prime. Res64: 5FACC6F36E2B393A Time : 0.0 sec. user=mdettweiler [2016-06-14 07:44:18] 923*2^1432340-1 is not prime. Res64: BA900DAA67BCADF8 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:44:18] 927*2^1432340-1 is not prime. Res64: 11A6779D7938876E Time : 0.0 sec. user=mdettweiler [2016-06-14 07:44:19] 615*2^1432341-1 is not prime. Res64: 2C7E675338C6B6D0 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:48:17] 657*2^1432341-1 is not prime. Res64: 015C70449E92028F Time : 0.0 sec. user=mdettweiler [2016-06-14 07:48:17] 745*2^1432341-1 is not prime. Res64: 87DAFCFBEBF37A94 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:48:17] 777*2^1432341-1 is not prime. Res64: 3F26920A5E669364 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:48:18] 825*2^1432341-1 is not prime. Res64: 41755FF071C1BE38 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:48:18] 847*2^1432341-1 is not prime. Res64: 1A4651853EAFD35F Time : 0.0 sec. user=mdettweiler [2016-06-14 07:53:32] 861*2^1432341-1 is not prime. Res64: 98D230DDED31D95E Time : 0.0 sec. user=mdettweiler [2016-06-14 07:53:33] 907*2^1432341-1 is not prime. Res64: 9D3E0E296C1F02C1 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:53:33] 969*2^1432341-1 is not prime. Res64: A4DFD8714C0A3A84 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:53:33] 713*2^1432342-1 is not prime. Res64: 88C79C76827DFE62 Time : 0.0 sec. user=mdettweiler [2016-06-14 07:53:34] 815*2^1432342-1 is not prime. Res64: 727903C73EB5F754 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:11:13] 917*2^1432342-1 is not prime. Res64: 9FE638B16809D694 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:11:13] 995*2^1432342-1 is not prime. Res64: 1E31CBF7C4A83105 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:11:14] 673*2^1432343-1 is not prime. Res64: C165D00D86BBD8B0 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:11:14] 771*2^1432343-1 is not prime. Res64: ABED66B19B250E13 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:11:15] 825*2^1432343-1 is not prime. Res64: 31A0CD67D0FE6383 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:29:28] 963*2^1432343-1 is not prime. Res64: 98D565CE7991C433 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:29:29] 605*2^1432344-1 is not prime. Res64: E2C96A22AC7BFD7F Time : 0.0 sec. user=mdettweiler [2016-06-14 08:29:29] 719*2^1432344-1 is not prime. Res64: E6617312646E7518 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:29:30] 737*2^1432344-1 is not prime. Res64: 0D9A39917CDAA726 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:29:30] 747*2^1432344-1 is not prime. Res64: 4F737BBF07D0BD77 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:33:40] 849*2^1432344-1 is not prime. Res64: 0C100102DB28ADE4 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:33:40] 959*2^1432344-1 is not prime. Res64: 06DBFD1E2949D994 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:33:40] 645*2^1432345-1 is not prime. Res64: 004108A9F8076C01 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:33:41] 789*2^1432345-1 is not prime. Res64: A8F498073E17A616 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:33:41] 805*2^1432345-1 is not prime. Res64: A26F4C67EDCC5DAD Time : 0.0 sec. user=mdettweiler [2016-06-14 08:38:56] 817*2^1432345-1 is not prime. Res64: 253D0E8099713129 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:38:57] 855*2^1432345-1 is not prime. Res64: 4E5EFF0E2A29E051 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:38:57] 955*2^1432345-1 is not prime. Res64: 195A0DD4C42A2187 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:38:58] 997*2^1432345-1 is not prime. Res64: 4C49CF4DD8B559F9 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:38:58] 627*2^1432346-1 is not prime. Res64: B191C1B7926F77BE Time : 0.0 sec. user=mdettweiler [2016-06-14 08:56:24] 651*2^1432346-1 is not prime. Res64: 9C48398F90D6B801 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:56:24] 683*2^1432346-1 is not prime. Res64: 66488D1226392BAD Time : 0.0 sec. user=mdettweiler [2016-06-14 08:56:25] 735*2^1432346-1 is not prime. Res64: 9BE49E386A511B37 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:56:25] 851*2^1432346-1 is not prime. Res64: 5359DEED8BFB11A1 Time : 0.0 sec. user=mdettweiler [2016-06-14 08:56:25] 911*2^1432346-1 is not prime. Res64: 45C5E971D95CE1D4 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:14:36] 917*2^1432346-1 is not prime. Res64: 39A21E96FB981A3E Time : 0.0 sec. user=mdettweiler [2016-06-14 09:14:37] 643*2^1432347-1 is not prime. Res64: E4B11C7DE5E354A4 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:14:37] 735*2^1432347-1 is not prime. Res64: 0ECC9A150614EC2B Time : 0.0 sec. user=mdettweiler [2016-06-14 09:14:37] 891*2^1432347-1 is not prime. Res64: E557AAEEFF4FAB75 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:14:38] 657*2^1432348-1 is not prime. Res64: 6D6455620646C636 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:18:40] 689*2^1432348-1 is not prime. Res64: 829B33A3BB838DD2 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:18:40] 755*2^1432348-1 is not prime. Res64: BE2682EC688F4A21 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:18:41] 885*2^1432348-1 is not prime. Res64: 4D055A9C4E87C490 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:18:41] 947*2^1432348-1 is not prime. Res64: 1DE185F8B0F96F7F Time : 0.0 sec. user=mdettweiler [2016-06-14 09:18:42] 959*2^1432348-1 is not prime. Res64: 20245D06310C1CD1 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:24:00] 987*2^1432348-1 is not prime. Res64: 0FAE63D18F61E015 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:24:00] 677*2^1432350-1 is not prime. Res64: 36874F47D2BA2558 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:24:01] 711*2^1432350-1 is not prime. Res64: 6906DFC2FFDEBEC9 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:24:01] 713*2^1432350-1 is not prime. Res64: 94DA1216839D6CBF Time : 0.0 sec. user=mdettweiler [2016-06-14 09:24:01] 851*2^1432350-1 is not prime. Res64: F5B8422D104F5AAF Time : 0.0 sec. user=mdettweiler [2016-06-14 09:41:41] 927*2^1432350-1 is not prime. Res64: B34A697F2A7F8402 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:41:41] 945*2^1432350-1 is not prime. Res64: 71F52C1B2B4E1FAA Time : 0.0 sec. user=mdettweiler [2016-06-14 09:41:41] 971*2^1432350-1 is not prime. Res64: C0A7C327102CF54B Time : 0.0 sec. user=mdettweiler [2016-06-14 09:41:42] 703*2^1432351-1 is not prime. Res64: CB123DCADD36C76E Time : 0.0 sec. user=mdettweiler [2016-06-14 09:41:42] 705*2^1432351-1 is not prime. Res64: 34FC00A6E2EFC6A0 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:59:45] 841*2^1432351-1 is not prime. Res64: 5F820EAE20DDCEC5 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:59:45] 973*2^1432351-1 is not prime. Res64: 5C6AFEBAF743C66B Time : 0.0 sec. user=mdettweiler [2016-06-14 09:59:46] 623*2^1432352-1 is not prime. Res64: 74A72060EEBD9336 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:59:46] 633*2^1432352-1 is not prime. Res64: BDA6195969EBFDA1 Time : 0.0 sec. user=mdettweiler [2016-06-14 09:59:47] 669*2^1432352-1 is not prime. Res64: 925E007257C6F600 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:03:39] 683*2^1432352-1 is not prime. Res64: 720732793C8B3EEE Time : 0.0 sec. user=mdettweiler [2016-06-14 10:03:40] 815*2^1432352-1 is not prime. Res64: B88A386074FD32BD Time : 0.0 sec. user=mdettweiler [2016-06-14 10:03:41] 977*2^1432352-1 is not prime. Res64: B4D1AA80AB9C824A Time : 0.0 sec. user=mdettweiler [2016-06-14 10:03:41] 679*2^1432353-1 is not prime. Res64: C91947447C424951 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:03:42] 759*2^1432353-1 is not prime. Res64: 93C67DC754FBBD29 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:09:03] 861*2^1432353-1 is not prime. Res64: A5143EBEB62EF3F6 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:09:03] 885*2^1432353-1 is not prime. Res64: ABCB0D311CBF7A27 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:09:04] 951*2^1432353-1 is not prime. Res64: 05C6B44C2167B0C5 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:09:04] 611*2^1432354-1 is not prime. Res64: E2F3B8F18999AED0 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:09:05] 813*2^1432354-1 is not prime. Res64: 6D860C010336E7B0 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:26:42] 945*2^1432354-1 is not prime. Res64: 0134C02C7986F641 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:26:43] 993*2^1432354-1 is not prime. Res64: FBAD7A39AFF3AFEC Time : 0.0 sec. user=mdettweiler [2016-06-14 10:26:43] 741*2^1432355-1 is not prime. Res64: 5FB687982B08E5AA Time : 0.0 sec. user=mdettweiler [2016-06-14 10:26:43] 775*2^1432355-1 is not prime. Res64: CED0424BF83F3E18 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:26:44] 781*2^1432355-1 is not prime. Res64: F0FF413D20F1E9C0 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:44:36] 783*2^1432355-1 is not prime. Res64: 907EE3388DF20214 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:44:36] 825*2^1432355-1 is not prime. Res64: 670357F65B51B034 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:44:36] 633*2^1432356-1 is not prime. Res64: 95D960936EFEC41C Time : 0.0 sec. user=mdettweiler [2016-06-14 10:44:37] 647*2^1432356-1 is not prime. Res64: B669B20EAF15E84C Time : 0.0 sec. user=mdettweiler [2016-06-14 10:44:37] 759*2^1432356-1 is not prime. Res64: 62402CD7DD69160F Time : 0.0 sec. user=mdettweiler [2016-06-14 10:48:39] 789*2^1432356-1 is not prime. Res64: E1F59C2BE3C0D0E4 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:48:39] 887*2^1432356-1 is not prime. Res64: 4C42C11B8364E493 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:48:40] 905*2^1432356-1 is not prime. Res64: B45527D2E7C59CAB Time : 0.0 sec. user=mdettweiler [2016-06-14 10:48:40] 983*2^1432356-1 is not prime. Res64: C9C33801491297DC Time : 0.0 sec. user=mdettweiler [2016-06-14 10:48:41] 667*2^1432357-1 is not prime. Res64: 0C0DB71D15EF9971 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:54:05] 717*2^1432357-1 is not prime. Res64: 8E6091396C26F4C1 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:54:05] 835*2^1432357-1 is not prime. Res64: 9FB9B47EB185AF18 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:54:05] 861*2^1432357-1 is not prime. Res64: 5E6E173A7593F80E Time : 0.0 sec. user=mdettweiler [2016-06-14 10:54:06] 665*2^1432358-1 is not prime. Res64: AF082D85B4AC2744 Time : 0.0 sec. user=mdettweiler [2016-06-14 10:54:06] 707*2^1432358-1 is not prime. Res64: 73D6E8A00CC6737C Time : 0.0 sec. user=mdettweiler [2016-06-14 11:11:42] 661*2^1432359-1 is not prime. Res64: 6E81D46D1C701775 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:11:43] 691*2^1432359-1 is not prime. Res64: AE3B12968666E36C Time : 0.0 sec. user=mdettweiler [2016-06-14 11:11:43] 693*2^1432359-1 is not prime. Res64: 540A11F4E197DAD3 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:11:44] 711*2^1432359-1 is not prime. Res64: 440B8D149135FCF2 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:11:44] 921*2^1432359-1 is not prime. Res64: 964CECF83544FE57 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:29:40] 931*2^1432359-1 is not prime. Res64: 9F02B62006D8ECC2 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:29:40] 943*2^1432359-1 is not prime. Res64: EC16BFBE368F0BE9 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:29:41] 635*2^1432360-1 is not prime. Res64: F3A42409FD64B641 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:29:41] 675*2^1432360-1 is not prime. Res64: 6A437D9CD2A05B4D Time : 0.0 sec. user=mdettweiler [2016-06-14 11:29:41] 735*2^1432360-1 is not prime. Res64: 2ED2471E08D5EF5C Time : 0.0 sec. user=mdettweiler [2016-06-14 11:33:39] 785*2^1432360-1 is not prime. Res64: 749AAE1FFD2F9E03 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:33:39] 843*2^1432360-1 is not prime. Res64: 28297BCB311675AD Time : 0.0 sec. user=mdettweiler [2016-06-14 11:33:40] 855*2^1432360-1 is not prime. Res64: 119E30AC5ED61DF6 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:33:40] 999*2^1432360-1 is not prime. Res64: 18B7714EC2548D5D Time : 0.0 sec. user=mdettweiler [2016-06-14 11:33:40] 607*2^1432361-1 is not prime. Res64: 7FBD5AD6BB8E51A4 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:39:08] 727*2^1432361-1 is not prime. Res64: 885D0E631123AF77 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:39:08] 735*2^1432361-1 is not prime. Res64: 09EEEFD1124C67BC Time : 0.0 sec. user=mdettweiler [2016-06-14 11:39:09] 889*2^1432361-1 is not prime. Res64: D84917202798A03D Time : 0.0 sec. user=mdettweiler [2016-06-14 11:39:09] 909*2^1432361-1 is not prime. Res64: D80DC117F7CB12C4 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:39:09] 937*2^1432361-1 is not prime. Res64: B5DDA4D05186ACED Time : 0.0 sec. user=mdettweiler [2016-06-14 11:56:58] 949*2^1432361-1 is not prime. Res64: BDAC5C0F1CF08DED Time : 0.0 sec. user=mdettweiler [2016-06-14 11:56:58] 635*2^1432362-1 is not prime. Res64: 9A94314ADE077B36 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:56:58] 677*2^1432362-1 is not prime. Res64: B7091B07B3DB689D Time : 0.0 sec. user=mdettweiler [2016-06-14 11:56:59] 725*2^1432362-1 is not prime. Res64: B0600426702A3653 Time : 0.0 sec. user=mdettweiler [2016-06-14 11:56:59] 797*2^1432362-1 is not prime. Res64: 8B8CE4956A4556DB Time : 0.0 sec. user=mdettweiler [2016-06-14 12:14:51] 837*2^1432362-1 is not prime. Res64: 90AD36E628B8EADC Time : 0.0 sec. user=mdettweiler [2016-06-14 12:14:51] 891*2^1432362-1 is not prime. Res64: 9F91DAA224D0E455 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:14:51] 977*2^1432362-1 is not prime. Res64: 8ED479E77E298ED9 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:14:52] 983*2^1432362-1 is not prime. Res64: 513E4C4CBCAB06C5 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:14:52] 1001*2^1432362-1 is not prime. Res64: 1F61FF933189E11B Time : 0.0 sec. user=mdettweiler [2016-06-14 12:18:38] 709*2^1432363-1 is not prime. Res64: 07853DF129DADC90 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:18:38] 745*2^1432363-1 is not prime. Res64: D32C7682538D6E5F Time : 0.0 sec. user=mdettweiler [2016-06-14 12:18:38] 771*2^1432363-1 is not prime. Res64: 34807E694C105D6C Time : 0.0 sec. user=mdettweiler [2016-06-14 12:18:39] 913*2^1432363-1 is not prime. Res64: 8D928A61852010C9 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:18:39] 943*2^1432363-1 is not prime. Res64: D4A940CAC0A32D28 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:24:14] 951*2^1432363-1 is not prime. Res64: 0F08E3604C888B92 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:24:14] 973*2^1432363-1 is not prime. Res64: 8B0E857E6AD0D334 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:24:14] 629*2^1432364-1 is not prime. Res64: 2F0E5BFB28A7E35E Time : 0.0 sec. user=mdettweiler [2016-06-14 12:24:15] 743*2^1432364-1 is not prime. Res64: 6BC3410BEDCEFEB3 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:24:15] 813*2^1432364-1 is not prime. Res64: 606EA2B222E313A5 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:42:06] 837*2^1432364-1 is not prime. Res64: 61CD7D69F7D836BF Time : 0.0 sec. user=mdettweiler [2016-06-14 12:42:06] 929*2^1432364-1 is not prime. Res64: 3418F1D93CCE9EB8 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:42:06] 639*2^1432365-1 is not prime. Res64: 9928EC484D5D3A49 Time : 0.0 sec. user=mdettweiler [2016-06-14 12:42:07] 679*2^1432365-1 is not prime. Res64: 963288AC47554DBB Time : 0.0 sec. user=mdettweiler [2016-06-14 12:42:07] 699*2^1432365-1 is not prime. Res64: 59EB512C78DEE5B3 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:00:10] 721*2^1432365-1 is not prime. Res64: 2854452E2046C5C3 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:00:10] 741*2^1432365-1 is not prime. Res64: 7AC0EA2E75C2E07F Time : 0.0 sec. user=mdettweiler [2016-06-14 13:00:11] 751*2^1432365-1 is not prime. Res64: 9C7E3AEE75963CAA Time : 0.0 sec. user=mdettweiler [2016-06-14 13:00:11] 789*2^1432365-1 is not prime. Res64: DAA357CA53D76922 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:00:11] 617*2^1432366-1 is not prime. Res64: 04A607B87D04090F Time : 0.0 sec. user=mdettweiler [2016-06-14 13:04:14] 917*2^1432366-1 is not prime. Res64: A5560D9004F5BEDE Time : 0.0 sec. user=mdettweiler [2016-06-14 13:04:15] 945*2^1432366-1 is not prime. Res64: F2014D9B534B9A4B Time : 0.0 sec. user=mdettweiler [2016-06-14 13:04:16] 947*2^1432366-1 is not prime. Res64: DFA10E6DF969D01D Time : 0.0 sec. user=mdettweiler [2016-06-14 13:04:17] 987*2^1432366-1 is not prime. Res64: 38E508218004FFF8 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:04:18] 663*2^1432367-1 is not prime. Res64: 3B54F871F40F2482 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:09:35] 729*2^1432367-1 is not prime. Res64: B47D105B64C32E23 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:09:35] 813*2^1432367-1 is not prime. Res64: CFBA9E6260F78B34 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:09:35] 823*2^1432367-1 is not prime. Res64: 5290B1204283B604 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:09:36] 831*2^1432367-1 is not prime. Res64: AFEABD5CF8C80EFA Time : 0.0 sec. user=mdettweiler [2016-06-14 13:09:36] 973*2^1432367-1 is not prime. Res64: 2EF9B70A16513D30 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:45:12] 899*2^1432368-1 is not prime. Res64: B105D09826ED1436 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:45:13] 601*2^1432369-1 is not prime. Res64: E8E3C4F2BD72E667 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:45:13] 609*2^1432369-1 is not prime. Res64: EB335E1F96DCC390 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:45:14] 835*2^1432369-1 is not prime. Res64: 74CF5D7BA3A2892B Time : 0.0 sec. user=mdettweiler [2016-06-14 13:45:14] 919*2^1432369-1 is not prime. Res64: 85C049C96F086C3D Time : 0.0 sec. user=mdettweiler [2016-06-14 13:49:38] 955*2^1432369-1 is not prime. Res64: B31984A55A4074BE Time : 0.0 sec. user=mdettweiler [2016-06-14 13:49:38] 985*2^1432369-1 is not prime. Res64: 95196D9FEE9C06C3 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:49:39] 997*2^1432369-1 is not prime. Res64: 17C3FBC66761938E Time : 0.0 sec. user=mdettweiler [2016-06-14 13:49:39] 603*2^1432370-1 is not prime. Res64: D784A55D3DBFF8A2 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:49:40] 615*2^1432370-1 is not prime. Res64: 6AF2AC6004131153 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:55:16] 753*2^1432370-1 is not prime. Res64: 5E333704D75292FF Time : 0.0 sec. user=mdettweiler [2016-06-14 13:55:16] 773*2^1432370-1 is not prime. Res64: 019B1116AAD569A4 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:55:16] 851*2^1432370-1 is not prime. Res64: FADA6B4FD8DD35F0 Time : 0.0 sec. user=mdettweiler [2016-06-14 13:55:17] 911*2^1432370-1 is not prime. Res64: BFCE7F8C5E9D900D Time : 0.0 sec. user=mdettweiler [2016-06-14 13:55:17] 945*2^1432370-1 is not prime. Res64: 8A0E23DCAA16BE43 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:31:32] 995*2^1432370-1 is not prime. Res64: 0BCF0ACA214E24A9 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:31:33] 619*2^1432371-1 is not prime. Res64: BA7F203EE23FC9B1 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:31:33] 621*2^1432371-1 is not prime. Res64: 7879CE97046CECEB Time : 0.0 sec. user=mdettweiler [2016-06-14 14:31:34] 625*2^1432371-1 is not prime. Res64: 6FB8A285BBA7F276 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:31:34] 685*2^1432371-1 is not prime. Res64: F486BC49B5AE6012 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:35:37] 705*2^1432371-1 is not prime. Res64: 43D7B8D3EBCA1016 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:35:38] 769*2^1432371-1 is not prime. Res64: C0542AA6540BE27B Time : 0.0 sec. user=mdettweiler [2016-06-14 14:35:38] 793*2^1432371-1 is not prime. Res64: 52018B1269FE8E92 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:35:38] 859*2^1432371-1 is not prime. Res64: DDB8F25812A79775 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:35:39] 901*2^1432371-1 is not prime. Res64: EA3D6AE14DA8C0BD Time : 0.0 sec. user=mdettweiler [2016-06-14 14:41:14] 909*2^1432371-1 is not prime. Res64: DEF97791C743B28B Time : 0.0 sec. user=mdettweiler [2016-06-14 14:41:15] 677*2^1432372-1 is not prime. Res64: 8CFCBF5DDB03B908 Time : 0.0 sec. user=mdettweiler [2016-06-14 14:41:15] 693*2^1432372-1 is not prime. Res64: C5DCA933A1E756AE Time : 0.0 sec. user=mdettweiler [2016-06-14 14:41:15] 759*2^1432372-1 is not prime. Res64: 4AEC032F1B19A93F Time : 0.0 sec. user=mdettweiler [2016-06-14 14:41:16] 827*2^1432372-1 is not prime. Res64: F58F76EC7D7D1986 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:17:38] 857*2^1432372-1 is not prime. Res64: 8B9FB870F812CC61 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:17:39] 873*2^1432372-1 is not prime. Res64: 423BEEFFDB6FDEBA Time : 0.0 sec. user=mdettweiler [2016-06-14 15:17:39] 939*2^1432372-1 is not prime. Res64: 91E4791BB42018D9 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:17:40] 627*2^1432373-1 is not prime. Res64: 52D3483B58572E83 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:17:40] 729*2^1432373-1 is not prime. Res64: 986099436FC9744C Time : 0.0 sec. user=mdettweiler [2016-06-14 15:21:38] 769*2^1432373-1 is not prime. Res64: B7D03858F0068A0A Time : 0.0 sec. user=mdettweiler [2016-06-14 15:21:39] 775*2^1432373-1 is not prime. Res64: 7489A01E6B5860F0 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:21:39] 831*2^1432373-1 is not prime. Res64: 9FAF50DE15A953EF Time : 0.0 sec. user=mdettweiler [2016-06-14 15:21:40] 867*2^1432373-1 is not prime. Res64: F1B2D84FB4805BAD Time : 0.0 sec. user=mdettweiler [2016-06-14 15:21:40] 871*2^1432373-1 is not prime. Res64: 151F64DCDCA57CFF Time : 0.0 sec. user=mdettweiler [2016-06-14 15:27:18] 885*2^1432373-1 is not prime. Res64: E7638376A62213B2 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:27:18] 791*2^1432374-1 is not prime. Res64: 20B5DF1D847CB4BE Time : 0.0 sec. user=mdettweiler [2016-06-14 15:27:19] 807*2^1432374-1 is not prime. Res64: B10CDECD9E0C2BF9 Time : 0.0 sec. user=mdettweiler [2016-06-14 15:27:19] 893*2^1432374-1 is not prime. Res64: 0DB3C689F8AEB4DF Time : 0.0 sec. user=mdettweiler [2016-06-14 15:27:19] 1001*2^1432374-1 is not prime. Res64: C467026537F98CEA Time : 0.0 sec. user=mdettweiler [2016-06-14 16:03:39] 633*2^1432375-1 is not prime. Res64: 00ED61CAC2FAE1B5 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:03:41] 645*2^1432375-1 is not prime. Res64: F6B6B884DE5353C2 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:03:42] 765*2^1432375-1 is not prime. Res64: F182EC12BD56E944 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:03:44] 793*2^1432375-1 is not prime. Res64: A1E50AC03B4B077B Time : 0.0 sec. user=mdettweiler [2016-06-14 16:03:45] 805*2^1432375-1 is not prime. Res64: 7458BA424E79175D Time : 0.0 sec. user=mdettweiler [2016-06-14 16:07:33] 819*2^1432375-1 is not prime. Res64: E00AE60324F6E359 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:07:34] 883*2^1432375-1 is not prime. Res64: 9E3E4A867720644B Time : 0.0 sec. user=mdettweiler [2016-06-14 16:07:34] 961*2^1432375-1 is not prime. Res64: 98423B88C9148C55 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:07:34] 617*2^1432376-1 is not prime. Res64: C35CFF3A549A467B Time : 0.0 sec. user=mdettweiler [2016-06-14 16:07:35] 785*2^1432376-1 is not prime. Res64: 49D9C21ED2756202 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:13:27] 827*2^1432376-1 is not prime. Res64: E96A092EA4889BDA Time : 0.0 sec. user=mdettweiler [2016-06-14 16:13:27] 833*2^1432376-1 is not prime. Res64: D534E35830AB38DE Time : 0.0 sec. user=mdettweiler [2016-06-14 16:13:28] 903*2^1432376-1 is not prime. Res64: 8216620630046DE0 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:13:28] 923*2^1432376-1 is not prime. Res64: DB8BE597D01FFA40 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:13:29] 649*2^1432377-1 is not prime. Res64: 25557F192B5F8F0C Time : 0.0 sec. user=mdettweiler [2016-06-14 16:49:39] 699*2^1432377-1 is not prime. Res64: F3DB1FDEEC3549B8 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:49:39] 747*2^1432377-1 is not prime. Res64: 01B2481F7C0D4304 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:49:39] 945*2^1432377-1 is not prime. Res64: B44D0464D5BDC837 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:49:40] 605*2^1432378-1 is not prime. Res64: FFE98F90919D6C86 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:49:40] 611*2^1432378-1 is not prime. Res64: 0F90D6B16A96FE39 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:53:24] 681*2^1432378-1 is not prime. Res64: B73BA153C24ED7C9 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:53:25] 815*2^1432378-1 is not prime. Res64: E32B5C400E49821D Time : 0.0 sec. user=mdettweiler [2016-06-14 16:53:25] 881*2^1432378-1 is not prime. Res64: FEE5CE5995B893C5 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:53:26] 887*2^1432378-1 is not prime. Res64: A2819096E042A669 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:53:26] 987*2^1432378-1 is not prime. Res64: 9498A025452041C8 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:59:21] 675*2^1432379-1 is not prime. Res64: 91F48CA115E64A8D Time : 0.0 sec. user=mdettweiler [2016-06-14 16:59:22] 735*2^1432379-1 is not prime. Res64: F3C8224600667828 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:59:22] 859*2^1432379-1 is not prime. Res64: FC8D4B2D931261C7 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:59:23] 909*2^1432379-1 is not prime. Res64: 4018339A650E1E57 Time : 0.0 sec. user=mdettweiler [2016-06-14 16:59:23] 633*2^1432380-1 is not prime. Res64: 0E42280DF7F10CBD Time : 0.0 sec. user=mdettweiler [2016-06-14 17:35:53] 717*2^1432380-1 is not prime. Res64: 7B5B9E6D4F42F114 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:35:54] 783*2^1432380-1 is not prime. Res64: 2A3A697697BB846E Time : 0.0 sec. user=mdettweiler [2016-06-14 17:35:54] 803*2^1432380-1 is not prime. Res64: 9CCE4D99CD08BE72 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:35:55] 839*2^1432380-1 is not prime. Res64: C4B947DDFCFCA357 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:35:55] 873*2^1432380-1 is not prime. Res64: CE470009E5CB5D6F Time : 0.0 sec. user=mdettweiler [2016-06-14 17:39:42] 899*2^1432380-1 is not prime. Res64: DF8702C7F4BC499D Time : 0.0 sec. user=mdettweiler [2016-06-14 17:39:42] 915*2^1432380-1 is not prime. Res64: D79F10C7EB318688 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:39:43] 945*2^1432380-1 is not prime. Res64: 01D7948815DCE0FC Time : 0.0 sec. user=mdettweiler [2016-06-14 17:39:43] 601*2^1432381-1 is not prime. Res64: 2DFA8AFCA6A91985 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:39:44] 675*2^1432381-1 is not prime. Res64: 287EAC54419B873D Time : 0.0 sec. user=mdettweiler [2016-06-14 17:40:41] 979*2^1432367-1 is not prime. Res64: 7B5D9D7747D0CC69 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:40:41] 669*2^1432368-1 is not prime. Res64: D4925B4A547DA410 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:40:42] 707*2^1432368-1 is not prime. Res64: DC23E70338D4C11E Time : 0.0 sec. user=mdettweiler [2016-06-14 17:40:42] 735*2^1432368-1 is not prime. Res64: 1AC18FD8984FE34F Time : 0.0 sec. user=mdettweiler [2016-06-14 17:40:42] 849*2^1432368-1 is not prime. Res64: 1D60C707902CDAD7 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:45:51] 691*2^1432381-1 is not prime. Res64: D01A76ABE49EF51F Time : 0.0 sec. user=mdettweiler [2016-06-14 17:45:51] 715*2^1432381-1 is not prime. Res64: 8C130F0EC37C7821 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:45:52] 717*2^1432381-1 is not prime. Res64: C280F7CD582737B7 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:45:52] 727*2^1432381-1 is not prime. Res64: F45341A051B52039 Time : 0.0 sec. user=mdettweiler [2016-06-14 17:45:53] 877*2^1432381-1 is not prime. Res64: B00CD045BB983D2E Time : 0.0 sec. user=mdettweiler [2016-06-14 18:21:08] 801*2^1432382-1 is not prime. Res64: 7E70B42AC9106907 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:21:09] 815*2^1432382-1 is not prime. Res64: 1A6753CAE7E6EE2F Time : 0.0 sec. user=mdettweiler [2016-06-14 18:21:09] 827*2^1432382-1 is not prime. Res64: 4432A56A02E1799C Time : 0.0 sec. user=mdettweiler [2016-06-14 18:21:10] 873*2^1432382-1 is not prime. Res64: A4AAD19F874710D8 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:21:10] 609*2^1432383-1 is not prime. Res64: 7890EE96375C91F6 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:25:20] 663*2^1432383-1 is not prime. Res64: B6CC74E7FC2AB8C7 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:25:20] 793*2^1432383-1 is not prime. Res64: 67DB4EC327F53C10 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:25:21] 831*2^1432383-1 is not prime. Res64: F474C31C77014C50 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:25:21] 859*2^1432383-1 is not prime. Res64: F41EA2349B6818C3 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:25:21] 635*2^1432384-1 is not prime. Res64: C71415FEB606DB23 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:26:25] 657*2^1432384-1 is not prime. Res64: EE801A366CCC22CD Time : 0.0 sec. user=mdettweiler [2016-06-14 18:26:25] 693*2^1432384-1 is not prime. Res64: 47B74AAFA2FE5495 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:26:26] 723*2^1432384-1 is not prime. Res64: 72E806E7BBC3DE31 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:26:26] 743*2^1432384-1 is not prime. Res64: A041F98A8CFE24C2 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:26:26] 869*2^1432384-1 is not prime. Res64: F174F4E69EA3F9E2 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:30:52] 873*2^1432384-1 is not prime. Res64: 6EC898C648C3B1AE Time : 0.0 sec. user=mdettweiler [2016-06-14 18:30:52] 909*2^1432384-1 is not prime. Res64: 4044AA2A1B90024E Time : 0.0 sec. user=mdettweiler [2016-06-14 18:30:53] 917*2^1432384-1 is not prime. Res64: 7F3A5A3AC6C6CBC6 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:30:53] 837*2^1432385-1 is not prime. Res64: 48B6CFCEA50DB2D8 Time : 0.0 sec. user=mdettweiler [2016-06-14 18:30:53] 611*2^1432386-1 is not prime. Res64: 9730C0964E71C2E0 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:06:20] 747*2^1432386-1 is not prime. Res64: 209ABF139F3CD1A9 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:06:20] 905*2^1432386-1 is not prime. Res64: 9D32DED9C59FA861 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:06:21] 923*2^1432386-1 is not prime. Res64: E9051A978E2FBE15 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:06:21] 983*2^1432386-1 is not prime. Res64: 638E1B23F233F204 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:06:22] 793*2^1432387-1 is not prime. Res64: 343BC99F340DC6DC Time : 0.0 sec. user=mdettweiler [2016-06-14 19:10:30] 871*2^1432387-1 is not prime. Res64: 902EF05DA781DB98 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:10:31] 699*2^1432388-1 is not prime. Res64: 8ECF78CD4C6BA557 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:10:31] 855*2^1432388-1 is not prime. Res64: E6B87CE1F2CDA770 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:10:31] 655*2^1432389-1 is not prime. Res64: 79D2AD8DAFBFA1A2 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:10:32] 685*2^1432389-1 is not prime. Res64: 04A617DD7905723E Time : 0.0 sec. user=mdettweiler [2016-06-14 19:11:31] 711*2^1432389-1 is not prime. Res64: 10A75FDBF58E4242 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:11:31] 759*2^1432389-1 is not prime. Res64: 12330C0A40291C6B Time : 0.0 sec. user=mdettweiler [2016-06-14 19:11:32] 951*2^1432389-1 is not prime. Res64: 1292555240CA871A Time : 0.0 sec. user=mdettweiler [2016-06-14 19:11:32] 961*2^1432389-1 is not prime. Res64: 5F6A76FADE658904 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:11:33] 645*2^1432390-1 is not prime. Res64: DB94AC82D98E9B70 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:15:52] 657*2^1432390-1 is not prime. Res64: 4D9D8D8629E2B554 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:15:53] 707*2^1432390-1 is not prime. Res64: A5EF66A89EFE8111 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:15:53] 801*2^1432390-1 is not prime. Res64: 4C751B8FE0FE47B6 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:15:54] 833*2^1432390-1 is not prime. Res64: 3145866BD15FF264 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:15:54] 845*2^1432390-1 is not prime. Res64: 43531D466DE2FBB3 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:51:32] 857*2^1432390-1 is not prime. Res64: 0A25E47920BE7DCC Time : 0.0 sec. user=mdettweiler [2016-06-14 19:51:33] 887*2^1432390-1 is not prime. Res64: 77B37AC27E7D9D91 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:51:33] 911*2^1432390-1 is not prime. Res64: 09A8548D4914F0D5 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:51:33] 933*2^1432390-1 is not prime. Res64: BC7EDA230B93A1DB Time : 0.0 sec. user=mdettweiler [2016-06-14 19:51:33] 957*2^1432390-1 is not prime. Res64: 1F87A37C4A15CE69 Time : 0.0 sec. user=juhehe [2016-06-14 19:53:18] 947*2^1432392-1 is not prime. Res64: ABF92C5C6AB512A5 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:09] 995*2^1432390-1 is not prime. Res64: 8B44AFBED9C0082F Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:09] 661*2^1432391-1 is not prime. Res64: 27A5229FFC319D7D Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:09] 675*2^1432391-1 is not prime. Res64: B6E2B68751CAE0E0 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:09] 693*2^1432391-1 is not prime. Res64: F8E499981F0B98AC Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:10] 745*2^1432391-1 is not prime. Res64: BFD6F9A5CD2A4595 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:56] 759*2^1432391-1 is not prime. Res64: BB2E0EB74950F95B Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:56] 775*2^1432391-1 is not prime. Res64: B537AA50F8F23E76 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:56] 883*2^1432391-1 is not prime. Res64: B6731E7AEEDFCEC4 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:56] 973*2^1432391-1 is not prime. Res64: FB3E7E6F2CD7FBB3 Time : 0.0 sec. user=mdettweiler [2016-06-14 19:57:57] 689*2^1432392-1 is not prime. Res64: DA6EEDE9347EAF52 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:03:51] 765*2^1432392-1 is not prime. Res64: FE55EA2973E95A9C Time : 0.0 sec. user=mdettweiler [2016-06-14 20:03:52] 779*2^1432392-1 is not prime. Res64: 4F824853302A3C5C Time : 0.0 sec. user=mdettweiler [2016-06-14 20:03:53] 825*2^1432392-1 is not prime. Res64: D077FEE166D69E37 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:03:56] 893*2^1432392-1 is not prime. Res64: 4CF5C4E865C4CE25 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:03:58] 933*2^1432392-1 is not prime. Res64: B1137D4457583DB2 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:49:16] 975*2^1432392-1 is not prime. Res64: 12FA0A60C9F66416 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:49:17] 687*2^1432393-1 is not prime. Res64: 7477C8A9755582D0 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:49:17] 847*2^1432393-1 is not prime. Res64: 6EFC35C55608C0C0 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:49:18] 855*2^1432393-1 is not prime. Res64: 382D7C4A2C954BF2 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:49:18] 867*2^1432393-1 is not prime. Res64: 61704CE80EE134A4 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:53:51] 831*2^1432394-1 is not prime. Res64: 94A4EC4254311760 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:53:51] 857*2^1432394-1 is not prime. Res64: 3BE29CF1A637E59B Time : 0.0 sec. user=mdettweiler [2016-06-14 20:53:51] 873*2^1432394-1 is not prime. Res64: 30AC20C4999428D6 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:53:52] 945*2^1432394-1 is not prime. Res64: 78C9DCC303EF393D Time : 0.0 sec. user=mdettweiler [2016-06-14 20:53:52] 981*2^1432394-1 is not prime. Res64: EAFC3F53FFE194C7 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:54:19] 925*2^1432393-1 is not prime. Res64: 48C5933BF1540F17 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:54:20] 945*2^1432393-1 is not prime. Res64: 8C8088760F985BA0 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:54:20] 605*2^1432394-1 is not prime. Res64: EF7E29B5A099A657 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:54:20] 687*2^1432394-1 is not prime. Res64: 77520D9BB91CB37E Time : 0.0 sec. user=mdettweiler [2016-06-14 20:54:21] 747*2^1432394-1 is not prime. Res64: 29331A66C947344D Time : 0.0 sec. user=mdettweiler [2016-06-14 20:58:08] 619*2^1432395-1 is not prime. Res64: 07FAA434A2C7C2E3 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:58:09] 643*2^1432395-1 is not prime. Res64: BE68E198ED899000 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:58:09] 963*2^1432395-1 is not prime. Res64: 46D38A1E5523513B Time : 0.0 sec. user=mdettweiler [2016-06-14 20:58:09] 749*2^1432396-1 is not prime. Res64: F6F08874761EDBC2 Time : 0.0 sec. user=mdettweiler [2016-06-14 20:58:10] 773*2^1432396-1 is not prime. Res64: 20598578260B915F Time : 0.0 sec. user=mdettweiler [2016-06-14 21:34:36] 825*2^1432396-1 is not prime. Res64: F70E82B579DA3341 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:34:37] 933*2^1432396-1 is not prime. Res64: D8D44927C14B9CC5 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:34:37] 631*2^1432397-1 is not prime. Res64: 3DD7C18BB4448218 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:34:38] 741*2^1432397-1 is not prime. Res64: C62052D207323606 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:34:38] 771*2^1432397-1 is not prime. Res64: 181ABEE1AE79B6DD Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:09] 871*2^1432397-1 is not prime. Res64: 9FB239F09843A744 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:09] 889*2^1432397-1 is not prime. Res64: BD29BF3642322435 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:10] 997*2^1432397-1 is not prime. Res64: D79F70960A8E90BD Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:10] 627*2^1432398-1 is not prime. Res64: FE83DAAE72F8B5A8 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:10] 801*2^1432398-1 is not prime. Res64: F064B4EFE95240A8 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:33] 951*2^1432398-1 is not prime. Res64: 9394CAC94BB0B663 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:33] 963*2^1432398-1 is not prime. Res64: 81D3DD709D3DC1FF Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:34] 1001*2^1432398-1 is not prime. Res64: 4BF6F304EAECF69D Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:34] 619*2^1432399-1 is not prime. Res64: 3A03CF792CB0970A Time : 0.0 sec. user=mdettweiler [2016-06-14 21:39:35] 681*2^1432399-1 is not prime. Res64: 47FE46E437DE47A5 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:43:28] 705*2^1432399-1 is not prime. Res64: 53F53C82C1636CA7 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:43:29] 885*2^1432399-1 is not prime. Res64: D7C9FAE11FC82764 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:43:29] 975*2^1432399-1 is not prime. Res64: A2C1EFF22506F947 Time : 0.0 sec. user=mdettweiler [2016-06-14 21:43:30] 717*2^1432400-1 is not prime. Res64: 08169D1283C0358B Time : 0.0 sec. user=mdettweiler [2016-06-14 21:43:30] 843*2^1432400-1 is not prime. Res64: B8AE2DA277C9A847 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:19:49] 855*2^1432400-1 is not prime. Res64: 4EA1D86D791FF79D Time : 0.0 sec. user=mdettweiler [2016-06-14 22:19:49] 999*2^1432400-1 is not prime. Res64: 321F1151E8637773 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:19:50] 679*2^1432401-1 is not prime. Res64: ACB6E6B591E3BEDA Time : 0.0 sec. user=mdettweiler [2016-06-14 22:19:50] 819*2^1432401-1 is not prime. Res64: 3E34EEB1CDFEFBC3 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:19:51] 987*2^1432401-1 is not prime. Res64: 2E2165C7717754B1 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:07] 623*2^1432402-1 is not prime. Res64: 55125083DF51E89A Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:07] 635*2^1432402-1 is not prime. Res64: 95F2AABA57253074 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:08] 645*2^1432402-1 is not prime. Res64: A8C4F182BB9FA863 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:08] 671*2^1432402-1 is not prime. Res64: 5835A11CC729E885 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:08] 713*2^1432402-1 is not prime. Res64: 348D246B6C04E5EA Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:30] 717*2^1432402-1 is not prime. Res64: FDFCD6170F269245 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:31] 831*2^1432402-1 is not prime. Res64: 1FDAC8818601D798 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:31] 609*2^1432403-1 is not prime. Res64: 8C2E865C51091FDA Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:31] 643*2^1432403-1 is not prime. Res64: 4DA54F579A55F4F9 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:24:32] 669*2^1432403-1 is not prime. Res64: 38F8EA8E40E54F98 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:28:47] 679*2^1432403-1 is not prime. Res64: 35D7ABE3DA2B3B2B Time : 0.0 sec. user=mdettweiler [2016-06-14 22:28:47] 801*2^1432403-1 is not prime. Res64: A71DC65CEE4787A5 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:28:48] 985*2^1432403-1 is not prime. Res64: 9CB63C0F875DF872 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:28:48] 605*2^1432404-1 is not prime. Res64: FB1885DE8D28A057 Time : 0.0 sec. user=mdettweiler [2016-06-14 22:28:49] 627*2^1432404-1 is not prime. Res64: ABB358319B074A01 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:04:58] 663*2^1432404-1 is not prime. Res64: C50C5F7AB071AF95 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:05:00] 695*2^1432404-1 is not prime. Res64: 47461413D30D27FE Time : 0.0 sec. user=mdettweiler [2016-06-14 23:05:01] 737*2^1432404-1 is not prime. Res64: 2F7204A2B2D5F91D Time : 0.0 sec. user=mdettweiler [2016-06-14 23:05:02] 923*2^1432404-1 is not prime. Res64: B529F5370ED73F85 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:05:03] 927*2^1432404-1 is not prime. Res64: 022E04F608800925 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:30] 771*2^1432405-1 is not prime. Res64: 33A66F5ED73118F3 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:30] 885*2^1432405-1 is not prime. Res64: DA9FE2294F1C87BD Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:31] 915*2^1432405-1 is not prime. Res64: 3A52CC0AD18451EA Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:31] 999*2^1432405-1 is not prime. Res64: 2A5EEECE1EF5FE05 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:31] 623*2^1432406-1 is not prime. Res64: CD552CB6C30E93A4 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:34] 801*2^1432406-1 is not prime. Res64: 72FC135E69F0FEBD Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:35] 751*2^1432407-1 is not prime. Res64: F2BD2362B3914224 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:35] 765*2^1432407-1 is not prime. Res64: CB253CEC19B85B1D Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:36] 795*2^1432407-1 is not prime. Res64: 73CE6DDC1FBA651A Time : 0.0 sec. user=mdettweiler [2016-06-14 23:09:36] 873*2^1432407-1 is not prime. Res64: 371D30361F799698 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:14:03] 895*2^1432407-1 is not prime. Res64: 944DA091A385202A Time : 0.0 sec. user=mdettweiler [2016-06-14 23:14:04] 945*2^1432407-1 is not prime. Res64: 4CE5C519FDE21655 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:14:04] 961*2^1432407-1 is not prime. Res64: 6A6BEDBA791023CD Time : 0.0 sec. user=mdettweiler [2016-06-14 23:14:04] 677*2^1432408-1 is not prime. Res64: 86F81D4EF136B102 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:14:05] 845*2^1432408-1 is not prime. Res64: D6298189F4E0B05D Time : 0.0 sec. user=mdettweiler [2016-06-14 23:50:11] 863*2^1432408-1 is not prime. Res64: 8296C9EE8FFE17EB Time : 0.0 sec. user=mdettweiler [2016-06-14 23:50:12] 897*2^1432408-1 is not prime. Res64: 61B2E8E18E103572 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:50:12] 699*2^1432409-1 is not prime. Res64: CD20E22FE55B3896 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:50:12] 727*2^1432409-1 is not prime. Res64: 01243FFC085F77AF Time : 0.0 sec. user=mdettweiler [2016-06-14 23:50:13] 879*2^1432409-1 is not prime. Res64: 950EF8095A035AD1 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:20] 653*2^1432410-1 is not prime. Res64: 5DD32B3A6019D473 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:21] 707*2^1432410-1 is not prime. Res64: 4E9EC7272C725655 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:21] 713*2^1432410-1 is not prime. Res64: 47639BB71F6B8F7B Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:21] 717*2^1432410-1 is not prime. Res64: 85F8DB8C748A7084 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:22] 821*2^1432410-1 is not prime. Res64: DC0F206873C4445D Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:47] 885*2^1432409-1 is not prime. Res64: 694664564E83F00C Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:48] 909*2^1432409-1 is not prime. Res64: E8476A22F9AA26CA Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:48] 939*2^1432409-1 is not prime. Res64: 9642FC1C143031B6 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:49] 985*2^1432409-1 is not prime. Res64: 8A9CA63163EB9C9B Time : 0.0 sec. user=mdettweiler [2016-06-14 23:54:49] 987*2^1432409-1 is not prime. Res64: F3ADE1CCA9DF300B Time : 0.0 sec. user=mdettweiler [2016-06-14 23:59:01] 867*2^1432410-1 is not prime. Res64: 3E9B0174381B51E0 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:59:02] 917*2^1432410-1 is not prime. Res64: 6A39503CB9CBE8C0 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:59:02] 933*2^1432410-1 is not prime. Res64: EF64CAC6A2956104 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:59:02] 625*2^1432411-1 is not prime. Res64: D5590D58C958E380 Time : 0.0 sec. user=mdettweiler [2016-06-14 23:59:03] 645*2^1432411-1 is not prime. Res64: D0636AE54FEB81BE Time : 0.0 sec.