user=mdettweiler [2012-07-30 00:02:22] 657*2^1225306-1 is not prime. Res64: 97184A132CDDC5BE Time : 0.0 sec. user=mdettweiler [2012-07-30 00:02:22] 695*2^1225306-1 is not prime. Res64: D02A9A38D8FB6959 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:02:39] 985*2^1225305-1 is not prime. Res64: 1B3E05DE5AF7D3F8 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:10:34] 773*2^1225306-1 is not prime. Res64: D9D6E29178951ACA Time : 0.0 sec. user=mdettweiler [2012-07-30 00:10:36] 783*2^1225306-1 is not prime. Res64: CA112D8DF36F9774 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:23:25] 813*2^1225306-1 is not prime. Res64: E7441305D4896F66 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:23:38] 843*2^1225306-1 is not prime. Res64: F3BB986171BC2EB3 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:23:38] 873*2^1225306-1 is not prime. Res64: 7CA9AF9C8EA44908 Time : 0.0 sec. user=vaughan [2012-07-30 00:24:08] 723*2^1225306-1 is not prime. Res64: A73372F45FB9C2C4 Time : 0.0 sec. user=sm5ymt [2012-07-30 00:27:04] 711*2^1225307-1 is not prime. Res64: 478A44FA7757AB5C Time : 0.0 sec. user=mdettweiler [2012-07-30 00:32:14] 911*2^1225306-1 is not prime. Res64: D314C6E9E564FFC1 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:32:15] 601*2^1225307-1 is not prime. Res64: 2DD5D274121548BF Time : 0.0 sec. user=mdettweiler [2012-07-30 00:33:22] 881*2^1225306-1 is not prime. Res64: 33D35806EE193F77 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:44:51] 759*2^1225307-1 is not prime. Res64: 887055FE9B634AC1 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:44:51] 825*2^1225307-1 is not prime. Res64: FCEC3702ADD45C17 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:53:28] 993*2^1225307-1 is not prime. Res64: E3C000D2C4B71651 Time : 0.0 sec. user=mdettweiler [2012-07-30 00:53:28] 633*2^1225308-1 is not prime. Res64: 84C63095FA0C62EE Time : 0.0 sec. user=mdettweiler [2012-07-30 00:54:15] 741*2^1225307-1 is not prime. Res64: 11114F74E22E5229 Time : 0.0 sec. user=vaughan [2012-07-30 01:01:36] 939*2^1225307-1 is not prime. Res64: 5657FEAD23C2142A Time : 0.0 sec. user=mdettweiler [2012-07-30 01:04:07] 663*2^1225308-1 is not prime. Res64: E5D2CC9FC76C1E50 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:06:03] 783*2^1225308-1 is not prime. Res64: 560384273FE8CA17 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:06:06] 797*2^1225308-1 is not prime. Res64: E273814909D97EAB Time : 0.0 sec. user=mdettweiler [2012-07-30 01:14:40] 799*2^1225309-1 is not prime. Res64: D520FE37B6C40E49 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:14:43] 801*2^1225309-1 is not prime. Res64: 1B613160AD9AAA1A Time : 0.0 sec. user=sm5ymt [2012-07-30 01:17:34] 731*2^1225310-1 is not prime. Res64: A70958E82CB0F20E Time : 0.0 sec. user=mdettweiler [2012-07-30 01:25:02] 955*2^1225309-1 is not prime. Res64: 2D968D06023B6815 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:27:20] 945*2^1225310-1 is not prime. Res64: E9F70431BFF30C71 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:27:20] 981*2^1225310-1 is not prime. Res64: D88E5A68A02DEFB6 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:34:50] 861*2^1225310-1 is not prime. Res64: 80F9FCD4A191BBA2 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:35:55] 775*2^1225311-1 is not prime. Res64: 1FCD7936F5E7291F Time : 0.0 sec. user=mdettweiler [2012-07-30 01:35:55] 861*2^1225311-1 is not prime. Res64: D838CD5550AE8EED Time : 0.0 sec. user=gd_barnes [2012-07-30 01:37:26] 679*2^1225311-1 is not prime. Res64: 391C8E51EC76579B Time : 0.0 sec. user=vaughan [2012-07-30 01:39:23] 773*2^1225310-1 is not prime. Res64: 5AEB6CD90A8CA834 Time : 0.0 sec. user=gd_barnes [2012-07-30 01:44:32] 709*2^1225311-1 is not prime. Res64: B214C7EF4D8AA208 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:48:29] 879*2^1225311-1 is not prime. Res64: 247A5AF357C780D1 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:48:29] 895*2^1225311-1 is not prime. Res64: 740C11133B3EAF55 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:55:51] 873*2^1225311-1 is not prime. Res64: 7ABC32A9E587AFE6 Time : 0.0 sec. user=mdettweiler [2012-07-30 01:57:04] 999*2^1225311-1 is not prime. Res64: 32443830F8719C7A Time : 0.0 sec. user=mdettweiler [2012-07-30 01:57:04] 603*2^1225312-1 is not prime. Res64: 952DE9837311D424 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:05:34] 913*2^1225311-1 is not prime. Res64: D26C2520B1908452 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:09:41] 639*2^1225312-1 is not prime. Res64: 62AEF87F2E612356 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:09:43] 689*2^1225312-1 is not prime. Res64: F7E92FEB06ED2271 Time : 0.0 sec. user=vaughan [2012-07-30 02:16:54] 635*2^1225312-1 is not prime. Res64: 18EA67DE2A5F3D4C Time : 0.0 sec. user=mdettweiler [2012-07-30 02:18:16] 873*2^1225312-1 is not prime. Res64: 084147FC0F0C2405 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:18:16] 983*2^1225312-1 is not prime. Res64: 88A464D5BEC5C5A7 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:26:42] 857*2^1225312-1 is not prime. Res64: B847EF501BFC7C55 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:31:04] 685*2^1225313-1 is not prime. Res64: 433279FFA335A163 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:31:06] 829*2^1225313-1 is not prime. Res64: AEBEB62160EB8948 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:36:29] 999*2^1225312-1 is not prime. Res64: D23C9B9CC85D83FF Time : 0.0 sec. user=mdettweiler [2012-07-30 02:39:35] 993*2^1225314-1 is not prime. Res64: 1101B42D932115F8 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:39:36] 625*2^1225315-1 is not prime. Res64: ECDB4DB417202827 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:52:43] 639*2^1225315-1 is not prime. Res64: 39C338E670D52E9E Time : 0.0 sec. user=mdettweiler [2012-07-30 02:52:44] 649*2^1225315-1 is not prime. Res64: C8053325D12777B8 Time : 0.0 sec. user=vaughan [2012-07-30 02:54:29] 821*2^1225314-1 is not prime. Res64: F583760E98F5E833 Time : 0.0 sec. user=mdettweiler [2012-07-30 02:57:25] 633*2^1225315-1 is not prime. Res64: 95766A8BA89198FA Time : 0.0 sec. user=mdettweiler [2012-07-30 03:01:09] 705*2^1225315-1 is not prime. Res64: D75A721FA265B69E Time : 0.0 sec. user=mdettweiler [2012-07-30 03:01:10] 723*2^1225315-1 is not prime. Res64: 580A261A976D41CE Time : 0.0 sec. user=mdettweiler [2012-07-30 03:07:17] 691*2^1225315-1 is not prime. Res64: 7FE25B8EA38ABB2E Time : 0.0 sec. user=mdettweiler [2012-07-30 03:14:20] 759*2^1225315-1 is not prime. Res64: 884950F090DE6D7A Time : 0.0 sec. user=mdettweiler [2012-07-30 03:14:20] 783*2^1225315-1 is not prime. Res64: 668AFB7B1EEAF326 Time : 0.0 sec. user=mdettweiler [2012-07-30 03:22:32] 855*2^1225315-1 is not prime. Res64: 69126F041F774FAD Time : 0.0 sec. user=mdettweiler [2012-07-30 03:22:33] 939*2^1225315-1 is not prime. Res64: 085363343BF7FA27 Time : 0.0 sec. user=mdettweiler [2012-07-30 03:28:09] 849*2^1225315-1 is not prime. Res64: 7064F23B6CC0E43E Time : 0.0 sec. user=vaughan [2012-07-30 03:31:59] 801*2^1225315-1 is not prime. Res64: EA12FD2D55D2BDAE Time : 0.0 sec. user=mdettweiler [2012-07-30 03:35:28] 617*2^1225316-1 is not prime. Res64: 6F634E2F5AFE450C Time : 0.0 sec. user=mdettweiler [2012-07-30 03:35:28] 735*2^1225316-1 is not prime. Res64: 12EE2F950B665943 Time : 0.0 sec. user=mdettweiler [2012-07-30 03:43:45] 867*2^1225316-1 is not prime. Res64: A4A55E5127564DAE Time : 0.0 sec. user=mdettweiler [2012-07-30 03:43:46] 987*2^1225316-1 is not prime. Res64: 1AA6B5AD1051F7C7 Time : 0.0 sec. user=mdettweiler [2012-07-30 03:46:08] 973*2^1225315-1 is not prime. Res64: 2EDF6B7C5DFC660A Time : 0.0 sec. user=mdettweiler [2012-07-30 03:56:49] 727*2^1225317-1 is not prime. Res64: 284AB2CF1B721764 Time : 0.0 sec. user=mdettweiler [2012-07-30 03:56:49] 781*2^1225317-1 is not prime. Res64: A3E52B441231F965 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:05:10] 919*2^1225317-1 is not prime. Res64: 20F03E6AE54CFB30 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:05:10] 827*2^1225318-1 is not prime. Res64: E67D9186DCAFADC4 Time : 0.0 sec. user=vaughan [2012-07-30 04:09:32] 675*2^1225317-1 is not prime. Res64: 204394B822BE3B9B Time : 0.0 sec. user=mdettweiler [2012-07-30 04:12:29] 607*2^1225317-1 is not prime. Res64: C4D5A73B7ACC9230 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:18:14] 957*2^1225318-1 is not prime. Res64: 02263A0CB800104A Time : 0.0 sec. user=mdettweiler [2012-07-30 04:18:14] 661*2^1225319-1 is not prime. Res64: 8C38149195EFDB8F Time : 0.0 sec. user=mdettweiler [2012-07-30 04:21:46] 945*2^1225318-1 is not prime. Res64: 7154537113D0092B Time : 0.0 sec. user=mdettweiler [2012-07-30 04:26:37] 811*2^1225319-1 is not prime. Res64: 8771713DB63E764A Time : 0.0 sec. user=mdettweiler [2012-07-30 04:26:37] 909*2^1225319-1 is not prime. Res64: 911E2D66AEACC3BA Time : 0.0 sec. user=mdettweiler [2012-07-30 04:39:28] 693*2^1225320-1 is not prime. Res64: 8C4AFE4D8EAF5929 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:39:29] 699*2^1225320-1 is not prime. Res64: FC41FA1EA8D8239F Time : 0.0 sec. user=mdettweiler [2012-07-30 04:43:24] 653*2^1225320-1 is not prime. Res64: A3FA19979D6CE384 Time : 0.0 sec. user=vaughan [2012-07-30 04:47:05] 921*2^1225319-1 is not prime. Res64: 5F4C5461C617A9B4 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:47:36] 777*2^1225320-1 is not prime. Res64: DFCB6943DAA0D8E4 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:47:36] 797*2^1225320-1 is not prime. Res64: 205D8F74955EA629 Time : 0.0 sec. user=mdettweiler [2012-07-30 04:52:37] 753*2^1225320-1 is not prime. Res64: 7CB6FC2ED34E54E6 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:00:22] 899*2^1225320-1 is not prime. Res64: B1B9C87AC5600323 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:00:22] 915*2^1225320-1 is not prime. Res64: F3D456B02360D0D2 Time : 0.0 sec. user=sm5ymt [2012-07-30 05:06:59] 829*2^1225321-1 is not prime. Res64: DBBF9268B18F1DD0 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:08:29] 983*2^1225320-1 is not prime. Res64: 7E4800E391186400 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:08:29] 639*2^1225321-1 is not prime. Res64: EDEA48838EDA7D71 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:14:13] 929*2^1225320-1 is not prime. Res64: 44041F34FD93147C Time : 0.0 sec. user=mdettweiler [2012-07-30 05:21:14] 615*2^1225322-1 is not prime. Res64: 4221F3E9DF8D609D Time : 0.0 sec. user=mdettweiler [2012-07-30 05:21:14] 645*2^1225322-1 is not prime. Res64: EC4E182167C4F1A8 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:23:20] 651*2^1225321-1 is not prime. Res64: CFB066475B1273D9 Time : 0.0 sec. user=vaughan [2012-07-30 05:24:36] 933*2^1225320-1 is not prime. Res64: E873AC67C9E88EDA Time : 0.0 sec. user=mdettweiler [2012-07-30 05:29:24] 665*2^1225322-1 is not prime. Res64: B7503ABACFB33755 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:29:25] 675*2^1225322-1 is not prime. Res64: D478401DF1E8659D Time : 0.0 sec. user=mdettweiler [2012-07-30 05:42:19] 741*2^1225322-1 is not prime. Res64: F4E6EFBB66A83696 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:42:19] 771*2^1225322-1 is not prime. Res64: 3E6C58B608BA5370 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:45:04] 711*2^1225322-1 is not prime. Res64: 552D244F0B3AB501 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:50:51] 917*2^1225322-1 is not prime. Res64: E16D3D6CA504473F Time : 0.0 sec. user=mdettweiler [2012-07-30 05:50:51] 953*2^1225322-1 is not prime. Res64: BE25146094BF6F82 Time : 0.0 sec. user=mdettweiler [2012-07-30 05:54:03] 825*2^1225322-1 is not prime. Res64: 24B8150C66660A05 Time : 0.0 sec. user=vaughan [2012-07-30 06:02:05] 911*2^1225322-1 is not prime. Res64: 6297E05E08F5FD2D Time : 0.0 sec. user=mdettweiler [2012-07-30 06:03:22] 619*2^1225323-1 is not prime. Res64: 341551EF35D05D56 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:03:23] 685*2^1225323-1 is not prime. Res64: E74478A349D6BA6C Time : 0.0 sec. user=mdettweiler [2012-07-30 06:11:30] 781*2^1225323-1 is not prime. Res64: A74EF188812DCD92 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:11:32] 789*2^1225323-1 is not prime. Res64: 7023597BC6149475 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:15:49] 735*2^1225323-1 is not prime. Res64: 220F6C35F2FFA141 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:24:00] 855*2^1225324-1 is not prime. Res64: 9E56A80AEFE0069B Time : 0.0 sec. user=mdettweiler [2012-07-30 06:24:01] 887*2^1225324-1 is not prime. Res64: 1722E27890F15D31 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:24:47] 803*2^1225324-1 is not prime. Res64: 3368089B4120B414 Time : 0.0 sec. user=sm5ymt [2012-07-30 06:24:53] 759*2^1225325-1 is not prime. Res64: 558B141EC246452E Time : 0.0 sec. user=sm5ymt [2012-07-30 06:25:01] 799*2^1225325-1 is not prime. Res64: 87A5C1D443737396 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:32:18] 861*2^1225325-1 is not prime. Res64: AA50D7472B545EDC Time : 0.0 sec. user=mdettweiler [2012-07-30 06:32:19] 955*2^1225325-1 is not prime. Res64: 6946C88838221D27 Time : 0.0 sec. user=gd_barnes [2012-07-30 06:38:09] 915*2^1225324-1 is not prime. Res64: 4244CE461F6D5E62 Time : 0.0 sec. user=vaughan [2012-07-30 06:39:33] 825*2^1225324-1 is not prime. Res64: ABAF20A9F17D9F66 Time : 0.0 sec. user=gd_barnes [2012-07-30 06:39:48] 965*2^1225324-1 is not prime. Res64: 756C67E143D8F8D3 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:44:41] 807*2^1225326-1 is not prime. Res64: C31FE29F3CD8E160 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:44:42] 903*2^1225326-1 is not prime. Res64: 60395887CE0F2910 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:46:33] 683*2^1225326-1 is not prime. Res64: 5F64CB8903C04B61 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:52:55] 675*2^1225327-1 is not prime. Res64: C0F77AB04EC7BCB6 Time : 0.0 sec. user=mdettweiler [2012-07-30 06:52:56] 793*2^1225327-1 is not prime. Res64: C869C80C4A35D73C Time : 0.0 sec. user=mdettweiler [2012-07-30 06:55:29] 615*2^1225327-1 is not prime. Res64: 5D450340E939D5F5 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:05:17] 861*2^1225327-1 is not prime. Res64: 861D9E0BC385D1F3 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:05:20] 871*2^1225327-1 is not prime. Res64: 6E1F5009E3BBFB53 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:13:32] 951*2^1225327-1 is not prime. Res64: 3C73DC6A8B05FF33 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:13:35] 973*2^1225327-1 is not prime. Res64: 739F584399DEED23 Time : 0.0 sec. user=vaughan [2012-07-30 07:17:02] 819*2^1225327-1 is not prime. Res64: 1D65A0FEC6F6AE67 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:17:16] 919*2^1225327-1 is not prime. Res64: FDF0BBDCB81AD7D3 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:26:04] 767*2^1225328-1 is not prime. Res64: B5EC2E13B7C55509 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:26:04] 609*2^1225329-1 is not prime. Res64: 452F5D1B55E08383 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:26:11] 677*2^1225328-1 is not prime. Res64: 6E63B4C5F4C546A1 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:34:18] 721*2^1225329-1 is not prime. Res64: 8B45C18FFE6988B7 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:34:19] 741*2^1225329-1 is not prime. Res64: F4BD1B5AB33138B5 Time : 0.0 sec. user=gd_barnes [2012-07-30 07:39:06] 759*2^1225329-1 is not prime. Res64: 8B0D1960370EB0C7 Time : 0.0 sec. user=gd_barnes [2012-07-30 07:44:17] 627*2^1225329-1 is not prime. Res64: A5E45461F8283773 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:46:41] 895*2^1225329-1 is not prime. Res64: D1BC96A960E6EFD6 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:46:42] 951*2^1225329-1 is not prime. Res64: 58635A6993048688 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:48:01] 889*2^1225329-1 is not prime. Res64: 8102F4CA85C28317 Time : 0.0 sec. user=vaughan [2012-07-30 07:54:38] 765*2^1225329-1 is not prime. Res64: FD0F0F8B9412807F Time : 0.0 sec. user=mdettweiler [2012-07-30 07:54:54] 701*2^1225330-1 is not prime. Res64: 427D293BA1FAD6B4 Time : 0.0 sec. user=mdettweiler [2012-07-30 07:54:55] 741*2^1225330-1 is not prime. Res64: D1C0A23D63143D6B Time : 0.0 sec. user=mdettweiler [2012-07-30 07:56:57] 653*2^1225330-1 is not prime. Res64: 313D2E2EA59D7940 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:07:19] 747*2^1225330-1 is not prime. Res64: 58DC6993A81F0929 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:07:20] 833*2^1225330-1 is not prime. Res64: 89E1FEF8A6417EE5 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:15:31] 887*2^1225330-1 is not prime. Res64: A099C1DC443D8D72 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:15:31] 923*2^1225330-1 is not prime. Res64: 797131EE0B690743 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:18:49] 845*2^1225330-1 is not prime. Res64: EBCCFAAFEFAD8F37 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:27:37] 945*2^1225330-1 is not prime. Res64: 27CC82F4631D6B17 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:28:04] 987*2^1225330-1 is not prime. Res64: 7FB18AEAD7091109 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:28:06] 685*2^1225331-1 is not prime. Res64: CB9D0B7B09B807EA Time : 0.0 sec. user=vaughan [2012-07-30 08:32:11] 861*2^1225330-1 is not prime. Res64: 3504FFBAB36EB252 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:36:10] 735*2^1225331-1 is not prime. Res64: 68E58CF73A036835 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:36:11] 753*2^1225331-1 is not prime. Res64: ED84A7436326069A Time : 0.0 sec. user=mdettweiler [2012-07-30 08:48:49] 855*2^1225331-1 is not prime. Res64: E0724F30BEA8AACA Time : 0.0 sec. user=mdettweiler [2012-07-30 08:48:49] 879*2^1225331-1 is not prime. Res64: ECFD34A16BCB1699 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:49:27] 759*2^1225331-1 is not prime. Res64: 4903342E2D1B2204 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:56:53] 633*2^1225332-1 is not prime. Res64: 9588FCDC97CAF340 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:56:53] 657*2^1225332-1 is not prime. Res64: 2AD7017EE8DE5DF9 Time : 0.0 sec. user=mdettweiler [2012-07-30 08:58:23] 825*2^1225331-1 is not prime. Res64: C081556AF203EA73 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:09:37] 719*2^1225332-1 is not prime. Res64: 7B56DF6D1167900B Time : 0.0 sec. user=mdettweiler [2012-07-30 09:09:39] 737*2^1225332-1 is not prime. Res64: B59EC9AE39A66F39 Time : 0.0 sec. user=vaughan [2012-07-30 09:09:43] 605*2^1225332-1 is not prime. Res64: 66796441CC9D270B Time : 0.0 sec. user=mdettweiler [2012-07-30 09:17:41] 843*2^1225332-1 is not prime. Res64: 8FD064D653B40276 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:17:43] 863*2^1225332-1 is not prime. Res64: C8089EF79B880FAE Time : 0.0 sec. user=mdettweiler [2012-07-30 09:20:15] 753*2^1225332-1 is not prime. Res64: E2CE2EF3A5892347 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:29:05] 923*2^1225332-1 is not prime. Res64: 04CC98A729E37AE8 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:30:36] 977*2^1225332-1 is not prime. Res64: 4E11D29C557A02B0 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:30:37] 741*2^1225333-1 is not prime. Res64: 11FEF5B806A92607 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:38:41] 805*2^1225333-1 is not prime. Res64: 07095247AAAA1A5A Time : 0.0 sec. user=mdettweiler [2012-07-30 09:38:42] 817*2^1225333-1 is not prime. Res64: CF61D9435AE39CDC Time : 0.0 sec. user=vaughan [2012-07-30 09:47:15] 933*2^1225332-1 is not prime. Res64: ABF2990EA8798D0B Time : 0.0 sec. user=mdettweiler [2012-07-30 09:51:01] 819*2^1225333-1 is not prime. Res64: FD2F51394AE19208 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:51:28] 915*2^1225333-1 is not prime. Res64: 32A7F7F712A4844B Time : 0.0 sec. user=mdettweiler [2012-07-30 09:51:28] 925*2^1225333-1 is not prime. Res64: 9CD20C97643AECD5 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:59:21] 955*2^1225333-1 is not prime. Res64: EFE00AE799A77635 Time : 0.0 sec. user=mdettweiler [2012-07-30 09:59:22] 957*2^1225333-1 is not prime. Res64: 818B45139B2B2B6D Time : 0.0 sec. user=mdettweiler [2012-07-30 09:59:48] 835*2^1225333-1 is not prime. Res64: A2B75956467440F5 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:12:04] 705*2^1225334-1 is not prime. Res64: B573D9D31AAAFC95 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:12:06] 825*2^1225334-1 is not prime. Res64: A3E857D00D5847BF Time : 0.0 sec. user=mdettweiler [2012-07-30 10:19:57] 833*2^1225334-1 is not prime. Res64: 67D3EAD35E115685 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:19:58] 871*2^1225335-1 is not prime. Res64: DBA50F84AE0BDF6C Time : 0.0 sec. user=mdettweiler [2012-07-30 10:21:50] 683*2^1225334-1 is not prime. Res64: 3209010CCD7F5D3D Time : 0.0 sec. user=vaughan [2012-07-30 10:24:44] 605*2^1225334-1 is not prime. Res64: C033E548F0681319 Time : 0.0 sec. user=sm5ymt [2012-07-30 10:28:14] 623*2^1225336-1 is not prime. Res64: FCA878168D132717 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:30:35] 949*2^1225335-1 is not prime. Res64: A298BC5C36894695 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:32:49] 951*2^1225335-1 is not prime. Res64: 25A8BA496D3E9179 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:32:49] 963*2^1225335-1 is not prime. Res64: E19F85C88C5775E9 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:40:38] 695*2^1225336-1 is not prime. Res64: 953BD734C0A7D1D0 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:40:38] 707*2^1225336-1 is not prime. Res64: 983AC8147AE4D79F Time : 0.0 sec. user=mdettweiler [2012-07-30 10:53:07] 843*2^1225336-1 is not prime. Res64: 91B89B4A5FCEAD5C Time : 0.0 sec. user=mdettweiler [2012-07-30 10:53:25] 927*2^1225336-1 is not prime. Res64: 821227D115B507A3 Time : 0.0 sec. user=mdettweiler [2012-07-30 10:53:25] 837*2^1225337-1 is not prime. Res64: 54D89CBE756E12DD Time : 0.0 sec. user=mdettweiler [2012-07-30 11:01:15] 867*2^1225337-1 is not prime. Res64: D2C7BC674C380B02 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:01:16] 945*2^1225337-1 is not prime. Res64: 10A6A86097ADC58A Time : 0.0 sec. user=vaughan [2012-07-30 11:02:14] 875*2^1225336-1 is not prime. Res64: F7BF4ABB7D6E3D7F Time : 0.0 sec. user=mdettweiler [2012-07-30 11:02:22] 909*2^1225336-1 is not prime. Res64: FE885FDF71A9F2B6 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:14:00] 663*2^1225338-1 is not prime. Res64: 59F0F37A5FF56A40 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:14:01] 755*2^1225338-1 is not prime. Res64: CE2A8A057E36AB65 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:22:31] 821*2^1225338-1 is not prime. Res64: BC563C27F66BE577 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:22:31] 837*2^1225338-1 is not prime. Res64: 94B4D1DAC8FD833A Time : 0.0 sec. user=mdettweiler [2012-07-30 11:24:52] 605*2^1225338-1 is not prime. Res64: 2927805118DA81BE Time : 0.0 sec. user=mdettweiler [2012-07-30 11:33:58] 971*2^1225338-1 is not prime. Res64: 24ED959CE81B33A4 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:34:44] 1001*2^1225338-1 is not prime. Res64: 47674AF9736205F1 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:34:44] 615*2^1225339-1 is not prime. Res64: 1666934B899BA182 Time : 0.0 sec. user=vaughan [2012-07-30 11:39:46] 861*2^1225338-1 is not prime. Res64: 05A6B7C5E8E1026E Time : 0.0 sec. user=mdettweiler [2012-07-30 11:43:18] 625*2^1225339-1 is not prime. Res64: 54D653ABBF15C410 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:43:19] 735*2^1225339-1 is not prime. Res64: DC3956BFFC7E9E7A Time : 0.0 sec. user=mdettweiler [2012-07-30 11:55:32] 975*2^1225339-1 is not prime. Res64: ECFA3E9EB29D2ABF Time : 0.0 sec. user=mdettweiler [2012-07-30 11:55:32] 985*2^1225339-1 is not prime. Res64: 376E921A1C34E5E2 Time : 0.0 sec. user=mdettweiler [2012-07-30 11:56:25] 835*2^1225339-1 is not prime. Res64: 88758789EFA4A6F1 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:04:07] 753*2^1225340-1 is not prime. Res64: EEB8AAB3EE4CD929 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:04:08] 767*2^1225340-1 is not prime. Res64: 6BC6BD93DA3846CC Time : 0.0 sec. user=mdettweiler [2012-07-30 12:04:58] 859*2^1225339-1 is not prime. Res64: 9B3B776E2150454D Time : 0.0 sec. user=mdettweiler [2012-07-30 12:16:30] 999*2^1225340-1 is not prime. Res64: 50737AB487E9C596 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:16:30] 615*2^1225341-1 is not prime. Res64: 565CB420A355FCA5 Time : 0.0 sec. user=vaughan [2012-07-30 12:17:15] 633*2^1225340-1 is not prime. Res64: F353597A075D3357 Time : 0.0 sec. user=sm5ymt [2012-07-30 12:25:00] 717*2^1225342-1 is not prime. Res64: 466D2ADE7A080252 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:25:11] 847*2^1225341-1 is not prime. Res64: AF4A946D34635D16 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:25:12] 901*2^1225341-1 is not prime. Res64: C8B13755850FFE91 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:27:52] 745*2^1225341-1 is not prime. Res64: F18D048EC0A37EDA Time : 0.0 sec. user=gd_barnes [2012-07-30 12:35:17] 945*2^1225341-1 is not prime. Res64: D68CAC07A5B94E69 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:37:00] 665*2^1225342-1 is not prime. Res64: 4D1233EBEE01B640 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:37:24] 747*2^1225342-1 is not prime. Res64: 5031978406B8C792 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:37:24] 821*2^1225342-1 is not prime. Res64: F1F219D4589C02E1 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:46:05] 981*2^1225342-1 is not prime. Res64: 43E399B534475901 Time : 0.0 sec. user=mdettweiler [2012-07-30 12:46:05] 661*2^1225343-1 is not prime. Res64: 95BBAD29E9B69F14 Time : 0.0 sec. user=vaughan [2012-07-30 12:54:49] 923*2^1225342-1 is not prime. Res64: A8DE6C6D8A5E1DF9 Time : 0.0 sec. user=sm5ymt [2012-07-30 12:59:06] 895*2^1225343-1 is not prime. Res64: 288D4547B6D9AC05 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:01:17] 789*2^1225343-1 is not prime. Res64: 2BE852C15A68BDB2 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:07:09] 829*2^1224943-1 is not prime. Res64: 21514C4CA053D90D Time : 0.0 sec. user=mdettweiler [2012-07-30 13:07:11] 949*2^1225343-1 is not prime. Res64: 730456E1173117C7 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:10:17] 813*2^1225343-1 is not prime. Res64: 6AA4EC6119237187 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:28:34] 887*2^1225344-1 is not prime. Res64: E7B5324412744241 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:28:34] 983*2^1225344-1 is not prime. Res64: C49F4D7FA0AAC627 Time : 0.0 sec. user=vaughan [2012-07-30 13:32:21] 609*2^1225344-1 is not prime. Res64: C5571F2E2C39D441 Time : 0.0 sec. user=sm5ymt [2012-07-30 13:32:38] 717*2^1225345-1 is not prime. Res64: C450F33B750BE9C5 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:34:57] 707*2^1225344-1 is not prime. Res64: 5FC9CF031588C070 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:38:30] 823*2^1225343-1 is not prime. Res64: 649D7D8AFF831716 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:38:31] 825*2^1225343-1 is not prime. Res64: 85FD841749608395 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:44:35] 685*2^1225345-1 is not prime. Res64: 67FEC0D513CBF236 Time : 0.0 sec. user=sm5ymt [2012-07-30 13:47:43] 671*2^1225346-1 is not prime. Res64: A696791D4800D449 Time : 0.0 sec. user=Sashixi [2012-07-30 13:49:18] 985*2^1225265-1 is not prime. Res64: 9572DBB97249F008 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:49:44] 937*2^1225345-1 is not prime. Res64: B20483E7E45A8175 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:49:44] 939*2^1225345-1 is not prime. Res64: 09E2429CDF0AC6AE Time : 0.0 sec. user=Sashixi [2012-07-30 13:49:46] 641*2^1225266-1 is not prime. Res64: 942011E565DEC2A1 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:59:38] 837*2^1225346-1 is not prime. Res64: 821F61BD2BB265C6 Time : 0.0 sec. user=mdettweiler [2012-07-30 13:59:38] 921*2^1225346-1 is not prime. Res64: F665C8973A6849B3 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:06:06] 675*2^1225346-1 is not prime. Res64: 05D16BD8E20AB5D5 Time : 0.0 sec. user=sm5ymt [2012-07-30 14:07:04] 823*2^1225347-1 is not prime. Res64: 4D068122F4A6A297 Time : 0.0 sec. user=sm5ymt [2012-07-30 14:07:27] 945*2^1225347-1 is not prime. Res64: A8BEA2DC2F96BBD8 Time : 0.0 sec. user=vaughan [2012-07-30 14:09:52] 987*2^1225345-1 is not prime. Res64: AEC4A0B9E7CE21D0 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:10:51] 625*2^1225347-1 is not prime. Res64: D0A6E532CC3A4648 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:10:52] 691*2^1225347-1 is not prime. Res64: 29A54A44D708AFC9 Time : 0.0 sec. user=Sashixi [2012-07-30 14:12:25] 993*2^1225346-1 is not prime. Res64: 72C8C97B7C160D86 Time : 0.0 sec. user=Sashixi [2012-07-30 14:12:55] 735*2^1225347-1 is not prime. Res64: 2E09A4A1387BB6A4 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:15:28] 953*2^1225346-1 is not prime. Res64: 350AD6AD052BE001 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:20:38] 615*2^1225348-1 is not prime. Res64: 25FA492AB1B10E8F Time : 0.0 sec. user=mdettweiler [2012-07-30 14:20:39] 743*2^1225348-1 is not prime. Res64: 92322E2D75582B2E Time : 0.0 sec. user=mdettweiler [2012-07-30 14:31:56] 619*2^1225349-1 is not prime. Res64: BF68ABF31F6C4403 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:31:57] 655*2^1225349-1 is not prime. Res64: D2116593952B1B96 Time : 0.0 sec. user=Sashixi [2012-07-30 14:36:04] 985*2^1225349-1 is not prime. Res64: 3D3A6031E23C8A1A Time : 0.0 sec. user=Sashixi [2012-07-30 14:36:37] 769*2^1225349-1 is not prime. Res64: 6A69403DA8E371CB Time : 0.0 sec. user=mdettweiler [2012-07-30 14:38:34] 845*2^1225348-1 is not prime. Res64: 1B946C75EC379B1A Time : 0.0 sec. user=mdettweiler [2012-07-30 14:41:58] 851*2^1225350-1 is not prime. Res64: 1CE778715B86F298 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:41:58] 651*2^1225351-1 is not prime. Res64: 9F37C8DA8593B01D Time : 0.0 sec. user=gd_barnes [2012-07-30 14:46:14] 713*2^1225350-1 is not prime. Res64: A5C8697BE6861C8E Time : 0.0 sec. user=vaughan [2012-07-30 14:47:25] 989*2^1225348-1 is not prime. Res64: 1EA4BCA87E3174C4 Time : 0.0 sec. user=mdettweiler [2012-07-30 14:47:49] 833*2^1225350-1 is not prime. Res64: 6A85BBB42576566C Time : 0.0 sec. user=mdettweiler [2012-07-30 14:53:16] 693*2^1225351-1 is not prime. Res64: F712D163EAA2A9CA Time : 0.0 sec. user=mdettweiler [2012-07-30 14:53:16] 705*2^1225351-1 is not prime. Res64: 94422A79579E43BD Time : 0.0 sec. user=Sashixi [2012-07-30 14:59:25] 871*2^1225351-1 is not prime. Res64: 8757B8C66722BE38 Time : 0.0 sec. user=Sashixi [2012-07-30 15:00:24] 873*2^1225351-1 is not prime. Res64: 2C9AAF4C6638135C Time : 0.0 sec. user=mdettweiler [2012-07-30 15:03:12] 891*2^1225351-1 is not prime. Res64: 5BCE85748A11A6A4 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:03:13] 931*2^1225351-1 is not prime. Res64: 72B334D763C97C31 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:09:23] 885*2^1225351-1 is not prime. Res64: A15E5DED73E2A17B Time : 0.0 sec. user=mdettweiler [2012-07-30 15:14:32] 693*2^1225352-1 is not prime. Res64: F36D70EEA747715E Time : 0.0 sec. user=mdettweiler [2012-07-30 15:14:34] 713*2^1225352-1 is not prime. Res64: 8944CBD8CEFD375F Time : 0.0 sec. user=mdettweiler [2012-07-30 15:18:41] 617*2^1225352-1 is not prime. Res64: 3F592D89347A560C Time : 0.0 sec. user=Sashixi [2012-07-30 15:23:37] 929*2^1225352-1 is not prime. Res64: 91FDF89ED6B1449B Time : 0.0 sec. user=mdettweiler [2012-07-30 15:24:30] 963*2^1225352-1 is not prime. Res64: 72215DE351FD35C8 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:24:30] 999*2^1225352-1 is not prime. Res64: E78DB75A06C9BEAA Time : 0.0 sec. user=vaughan [2012-07-30 15:24:54] 961*2^1225351-1 is not prime. Res64: 411664C349BC41AC Time : 0.0 sec. user=Sashixi [2012-07-30 15:25:19] 945*2^1225352-1 is not prime. Res64: C440BCDF6ED6A7A3 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:35:51] 789*2^1225353-1 is not prime. Res64: A984462DEFEE7734 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:35:51] 849*2^1225353-1 is not prime. Res64: 225BC84F0428EE14 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:40:04] 607*2^1225353-1 is not prime. Res64: EA0E2C7DAA0C1267 Time : 0.0 sec. user=gd_barnes [2012-07-30 15:43:23] 741*2^1225353-1 is not prime. Res64: 7A6E48BBB4011611 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:45:44] 663*2^1225354-1 is not prime. Res64: 61640C311E274B05 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:45:44] 675*2^1225354-1 is not prime. Res64: B4905FDA7F6987E4 Time : 0.0 sec. user=Sashixi [2012-07-30 15:48:15] 651*2^1225354-1 is not prime. Res64: 0A6831687065171C Time : 0.0 sec. user=mdettweiler [2012-07-30 15:49:20] 605*2^1225354-1 is not prime. Res64: 090FF772C484E174 Time : 0.0 sec. user=Sashixi [2012-07-30 15:49:49] 833*2^1225354-1 is not prime. Res64: AE339F0B05E0118B Time : 0.0 sec. user=mdettweiler [2012-07-30 15:57:06] 917*2^1225354-1 is not prime. Res64: 01D2793985D49270 Time : 0.0 sec. user=mdettweiler [2012-07-30 15:57:06] 923*2^1225354-1 is not prime. Res64: 2A632E5ACA1EE63D Time : 0.0 sec. user=vaughan [2012-07-30 16:02:27] 815*2^1225354-1 is not prime. Res64: D1BA3BD0D4A7FF26 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:06:58] 771*2^1225355-1 is not prime. Res64: 561E2C1297B27C60 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:07:00] 789*2^1225355-1 is not prime. Res64: C29B01C2672386B4 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:10:51] 951*2^1225354-1 is not prime. Res64: F30AA5244307D242 Time : 0.0 sec. user=Sashixi [2012-07-30 16:11:49] 805*2^1225355-1 is not prime. Res64: 31ECEF5B9A831357 Time : 0.0 sec. user=Sashixi [2012-07-30 16:13:02] 909*2^1225355-1 is not prime. Res64: 695A46BF172D04AA Time : 0.0 sec. user=mdettweiler [2012-07-30 16:18:20] 963*2^1225355-1 is not prime. Res64: C5B04EEC39AEA6F0 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:18:21] 635*2^1225356-1 is not prime. Res64: 71817D5AA0919C4A Time : 0.0 sec. user=mdettweiler [2012-07-30 16:20:09] 825*2^1225355-1 is not prime. Res64: 14FF9ED8089DC2F9 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:28:19] 789*2^1225356-1 is not prime. Res64: 12ACA2A7268449EB Time : 0.0 sec. user=mdettweiler [2012-07-30 16:28:19] 839*2^1225356-1 is not prime. Res64: B0534D8F7B3F7C71 Time : 0.0 sec. user=Sashixi [2012-07-30 16:35:02] 685*2^1225357-1 is not prime. Res64: 22E457F6B6125F23 Time : 0.0 sec. user=Sashixi [2012-07-30 16:36:10] 717*2^1225357-1 is not prime. Res64: 66D3B824D11E2A39 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:39:44] 741*2^1225357-1 is not prime. Res64: 3CC573CE75D126A5 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:39:44] 747*2^1225357-1 is not prime. Res64: 24B3875690330220 Time : 0.0 sec. user=vaughan [2012-07-30 16:40:23] 719*2^1225356-1 is not prime. Res64: 2CCFD992A01F739F Time : 0.0 sec. user=mdettweiler [2012-07-30 16:42:38] 993*2^1225356-1 is not prime. Res64: 53A9C791903362AE Time : 0.0 sec. user=mdettweiler [2012-07-30 16:49:41] 871*2^1225357-1 is not prime. Res64: A2F530D1EDCB6731 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:49:42] 939*2^1225357-1 is not prime. Res64: BA7066F6D98D7C83 Time : 0.0 sec. user=mdettweiler [2012-07-30 16:52:55] 819*2^1225357-1 is not prime. Res64: 3B2964EF824F99B8 Time : 0.0 sec. user=Sashixi [2012-07-30 16:59:25] 981*2^1225357-1 is not prime. Res64: 30796BFA342EADB9 Time : 0.0 sec. user=Sashixi [2012-07-30 17:00:49] 671*2^1225358-1 is not prime. Res64: 87903DC848B2D6EE Time : 0.0 sec. user=mdettweiler [2012-07-30 17:00:55] 713*2^1225358-1 is not prime. Res64: 6A260630ECFD669B Time : 0.0 sec. user=mdettweiler [2012-07-30 17:00:56] 755*2^1225358-1 is not prime. Res64: F102E54CD174DB7D Time : 0.0 sec. user=mdettweiler [2012-07-30 17:11:03] 801*2^1225358-1 is not prime. Res64: B29594F5FCA00193 Time : 0.0 sec. user=mdettweiler [2012-07-30 17:11:04] 827*2^1225358-1 is not prime. Res64: 7C2EC66E3CD36090 Time : 0.0 sec. user=vaughan [2012-07-30 17:17:53] 761*2^1225358-1 is not prime. Res64: 8F604680C6648D85 Time : 0.0 sec. user=mdettweiler [2012-07-30 17:21:54] 771*2^1225358-1 is not prime. Res64: 52D6B060A563BCEA Time : 0.0 sec. user=mdettweiler [2012-07-30 17:22:34] 885*2^1225358-1 is not prime. Res64: 6B8369A52E77EC56 Time : 0.0 sec. user=mdettweiler [2012-07-30 17:22:35] 897*2^1225358-1 is not prime. Res64: A2D1F3CC6EF2FFF3 Time : 0.0 sec. user=Sashixi [2012-07-30 17:24:32] 845*2^1225358-1 is not prime. Res64: 60C4ED50F0C498ED Time : 0.0 sec. user=Sashixi [2012-07-30 17:26:10] 875*2^1225358-1 is not prime. Res64: B79F51681C99232E Time : 0.0 sec. user=mdettweiler [2012-07-30 17:30:08] 833*2^1225358-1 is not prime. Res64: 6F8C111F25B69A2A Time : 0.0 sec. user=mdettweiler [2012-07-30 17:32:26] 609*2^1225359-1 is not prime. Res64: C0218E5C8CA753AB Time : 0.0 sec. user=mdettweiler [2012-07-30 17:32:27] 619*2^1225359-1 is not prime. Res64: BAD9094BBF3912CD Time : 0.0 sec. user=mdettweiler [2012-07-30 17:43:16] 703*2^1225359-1 is not prime. Res64: 5519ED26283A1463 Time : 0.0 sec. user=mdettweiler [2012-07-30 17:43:16] 711*2^1225359-1 is not prime. Res64: 3D0013C7A04E6DD1 Time : 0.0 sec. user=Sashixi [2012-07-30 17:50:03] 829*2^1225359-1 is not prime. Res64: 4642BBC61802BA12 Time : 0.0 sec. user=Sashixi [2012-07-30 17:51:36] 933*2^1225359-1 is not prime. Res64: 9A355F2DE1D8ED6D Time : 0.0 sec. user=mdettweiler [2012-07-30 17:53:04] 999*2^1225359-1 is not prime. Res64: 368FC61007684BFF Time : 0.0 sec. user=mdettweiler [2012-07-30 17:53:04] 695*2^1225360-1 is not prime. Res64: 38226E9A4C4CF5B5 Time : 0.0 sec. user=mdettweiler [2012-07-30 17:53:49] 679*2^1225359-1 is not prime. Res64: D2D5C8F373B68615 Time : 0.0 sec. user=vaughan [2012-07-30 17:55:24] 663*2^1225359-1 is not prime. Res64: F1E5D64ECBFA6801 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:01:51] 975*2^1225359-1 is not prime. Res64: C30B08CE37AF303D Time : 0.0 sec. user=mdettweiler [2012-07-30 18:03:54] 699*2^1225360-1 is not prime. Res64: 95099AC674E0625B Time : 0.0 sec. user=mdettweiler [2012-07-30 18:03:54] 765*2^1225360-1 is not prime. Res64: 4E1AE0B20DDC187B Time : 0.0 sec. user=mdettweiler [2012-07-30 18:13:38] 631*2^1225361-1 is not prime. Res64: 3942E387C3BF3EC7 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:13:39] 657*2^1225361-1 is not prime. Res64: FB8469BBD2734E06 Time : 0.0 sec. user=Sashixi [2012-07-30 18:13:56] 899*2^1225360-1 is not prime. Res64: AA2DF3A2A9FF79BC Time : 0.0 sec. user=Sashixi [2012-07-30 18:15:48] 917*2^1225360-1 is not prime. Res64: F088193F8200F221 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:24:29] 901*2^1225361-1 is not prime. Res64: 673F454B4D1B7BEE Time : 0.0 sec. user=mdettweiler [2012-07-30 18:24:30] 611*2^1225362-1 is not prime. Res64: DCAAC6CA529C936C Time : 0.0 sec. user=mdettweiler [2012-07-30 18:25:44] 727*2^1225361-1 is not prime. Res64: 207E0111DD1C3038 Time : 0.0 sec. user=sm5ymt [2012-07-30 18:31:48] 885*2^1225362-1 is not prime. Res64: 2A787DB1395C1C74 Time : 0.0 sec. user=vaughan [2012-07-30 18:32:53] 741*2^1225361-1 is not prime. Res64: DB32CEDFCF8269AA Time : 0.0 sec. user=sm5ymt [2012-07-30 18:33:05] 615*2^1225364-1 is not prime. Res64: 9879E5CAA2934ED3 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:33:47] 819*2^1225361-1 is not prime. Res64: 8AB9F14E03C2DF76 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:34:19] 627*2^1225362-1 is not prime. Res64: 19F36E390303D2F1 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:34:19] 657*2^1225362-1 is not prime. Res64: 50CEF212D9E8C74E Time : 0.0 sec. user=gd_barnes [2012-07-30 18:42:00] 663*2^1225363-1 is not prime. Res64: 3313D14C04652A93 Time : 0.0 sec. user=Sashixi [2012-07-30 18:42:17] 731*2^1225362-1 is not prime. Res64: 898E6A1DA2C8E31A Time : 0.0 sec. user=gd_barnes [2012-07-30 18:42:40] 861*2^1225363-1 is not prime. Res64: 4B24490A4709935A Time : 0.0 sec. user=gd_barnes [2012-07-30 18:43:19] 837*2^1225364-1 is not prime. Res64: AA3318670A13B9D1 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:45:07] 893*2^1225364-1 is not prime. Res64: A91AD417E7FBBC4B Time : 0.0 sec. user=mdettweiler [2012-07-30 18:45:07] 915*2^1225364-1 is not prime. Res64: 6513A3A9749B901B Time : 0.0 sec. user=gd_barnes [2012-07-30 18:45:16] 783*2^1225363-1 is not prime. Res64: 3AB18AE454A72EC7 Time : 0.0 sec. user=Sashixi [2012-07-30 18:45:19] 983*2^1225362-1 is not prime. Res64: C6EB46085BB34EB4 Time : 0.0 sec. user=gd_barnes [2012-07-30 18:45:41] 853*2^1225363-1 is not prime. Res64: 9470733F279211E3 Time : 0.0 sec. user=gd_barnes [2012-07-30 18:46:08] 915*2^1225363-1 is not prime. Res64: B30EAF13776EA3D5 Time : 0.0 sec. user=gd_barnes [2012-07-30 18:46:19] 815*2^1225362-1 is not prime. Res64: F027708609C76D21 Time : 0.0 sec. user=gd_barnes [2012-07-30 18:46:42] 803*2^1225364-1 is not prime. Res64: 66FA35FED78575E8 Time : 0.0 sec. user=gd_barnes [2012-07-30 18:47:59] 985*2^1225363-1 is not prime. Res64: F7D91602EBD4492B Time : 0.0 sec. user=mdettweiler [2012-07-30 18:54:53] 871*2^1225365-1 is not prime. Res64: 73141D0039CA219A Time : 0.0 sec. user=mdettweiler [2012-07-30 18:54:54] 951*2^1225365-1 is not prime. Res64: 103B36B31405ACC8 Time : 0.0 sec. user=mdettweiler [2012-07-30 18:57:57] 983*2^1225364-1 is not prime. Res64: 27488F09C5CD8D9D Time : 0.0 sec. user=mdettweiler [2012-07-30 19:05:42] 647*2^1225366-1 is not prime. Res64: FEC0B66F47780D35 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:05:43] 705*2^1225366-1 is not prime. Res64: C79FD35F2CDCF9F7 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:06:26] 781*2^1225365-1 is not prime. Res64: 0E888F28A10887C3 Time : 0.0 sec. user=vaughan [2012-07-30 19:10:23] 691*2^1225365-1 is not prime. Res64: A2E67A214B584E07 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:15:30] 987*2^1225366-1 is not prime. Res64: 240B3D74531C669D Time : 0.0 sec. user=mdettweiler [2012-07-30 19:15:31] 603*2^1225367-1 is not prime. Res64: 72820896DB8BE377 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:26:25] 753*2^1225367-1 is not prime. Res64: C4AC9793EA6BAF9A Time : 0.0 sec. user=mdettweiler [2012-07-30 19:26:26] 763*2^1225367-1 is not prime. Res64: 9813D49B2E00C2A7 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:30:51] 655*2^1225367-1 is not prime. Res64: 5C6E51A26738EC8F Time : 0.0 sec. user=mdettweiler [2012-07-30 19:36:22] 639*2^1225368-1 is not prime. Res64: A695D9BCCFF34F29 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:36:23] 669*2^1225368-1 is not prime. Res64: 7683312C65808577 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:39:00] 861*2^1225367-1 is not prime. Res64: 3A21E0A5122621A1 Time : 0.0 sec. user=gd_barnes [2012-07-30 19:44:58] 753*2^1225368-1 is not prime. Res64: E55AB7C8F2B591C4 Time : 0.0 sec. user=mdettweiler [2012-07-30 19:47:01] 765*2^1225368-1 is not prime. Res64: 4C03E738F196A0CB Time : 0.0 sec. user=mdettweiler [2012-07-30 19:47:01] 789*2^1225368-1 is not prime. Res64: E437660305753BAB Time : 0.0 sec. user=vaughan [2012-07-30 19:47:55] 883*2^1225367-1 is not prime. Res64: E0EFC1DB2DB0F30A Time : 0.0 sec. user=mdettweiler [2012-07-30 19:56:58] 927*2^1225368-1 is not prime. Res64: 6ED73FFEE34884FC Time : 0.0 sec. user=mdettweiler [2012-07-30 19:56:59] 885*2^1225369-1 is not prime. Res64: E7EDFF55F3C5EBDD Time : 0.0 sec. user=mdettweiler [2012-07-30 20:03:30] 843*2^1225368-1 is not prime. Res64: 65C88C4D55540020 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:07:39] 783*2^1225370-1 is not prime. Res64: 019B0E4DD3693379 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:07:42] 843*2^1225370-1 is not prime. Res64: 7F04EE4EEA207372 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:11:52] 641*2^1225370-1 is not prime. Res64: 967F8EF0C2833F89 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:17:50] 981*2^1225370-1 is not prime. Res64: 81F0C492218A5E39 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:17:50] 1001*2^1225370-1 is not prime. Res64: E252975D209DDF10 Time : 0.0 sec. user=vaughan [2012-07-30 20:25:30] 977*2^1225370-1 is not prime. Res64: E885B448D497E33F Time : 0.0 sec. user=mdettweiler [2012-07-30 20:28:58] 615*2^1225371-1 is not prime. Res64: 80932B32A1BDB3C0 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:28:58] 711*2^1225371-1 is not prime. Res64: CE5282A57F497785 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:36:35] 613*2^1225371-1 is not prime. Res64: ABB840BC4ECD0A39 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:38:48] 695*2^1225372-1 is not prime. Res64: E0DB17FCA8FB4E81 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:38:48] 723*2^1225372-1 is not prime. Res64: 539571B5575B5A08 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:45:48] 605*2^1225372-1 is not prime. Res64: C09CF1C643318939 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:49:55] 873*2^1225372-1 is not prime. Res64: 6CADD28DEE69582D Time : 0.0 sec. user=mdettweiler [2012-07-30 20:49:55] 933*2^1225372-1 is not prime. Res64: 3AE764EF91AB5600 Time : 0.0 sec. user=mdettweiler [2012-07-30 20:59:46] 757*2^1225373-1 is not prime. Res64: 0B9CFABFCA6C63CA Time : 0.0 sec. user=mdettweiler [2012-07-30 20:59:46] 775*2^1225373-1 is not prime. Res64: D08A7E8F296E7291 Time : 0.0 sec. user=vaughan [2012-07-30 21:03:02] 755*2^1225372-1 is not prime. Res64: A7C233110D4289C2 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:10:10] 965*2^1225372-1 is not prime. Res64: 9230B2B0F432ED3D Time : 0.0 sec. user=mdettweiler [2012-07-30 21:10:51] 897*2^1225373-1 is not prime. Res64: 76F28A92D370877E Time : 0.0 sec. user=mdettweiler [2012-07-30 21:10:54] 957*2^1225373-1 is not prime. Res64: 758D4EC46449DEAB Time : 0.0 sec. user=mdettweiler [2012-07-30 21:18:33] 871*2^1225373-1 is not prime. Res64: 850C2F63CED4B01E Time : 0.0 sec. user=mdettweiler [2012-07-30 21:20:41] 969*2^1225373-1 is not prime. Res64: 86EC729AD0DFA976 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:20:42] 987*2^1225373-1 is not prime. Res64: 613BE32CAF09EDF2 Time : 0.0 sec. user=sm5ymt [2012-07-30 21:26:07] 797*2^1225374-1 is not prime. Res64: 38E36DE65B1555BF Time : 0.0 sec. user=mdettweiler [2012-07-30 21:31:53] 951*2^1225374-1 is not prime. Res64: 9C9D4F1446C3BB60 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:31:53] 649*2^1225375-1 is not prime. Res64: D373D9CBEF1B56A0 Time : 0.0 sec. user=vaughan [2012-07-30 21:40:42] 681*2^1225374-1 is not prime. Res64: 1A6D667B53CE58F4 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:41:36] 751*2^1225375-1 is not prime. Res64: 4E8E068DEA247D84 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:41:36] 763*2^1225375-1 is not prime. Res64: 6F711DA4D0D5EDB8 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:42:50] 891*2^1225374-1 is not prime. Res64: D05C447E9898F611 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:51:17] 679*2^1225375-1 is not prime. Res64: C69A329C748E4ACA Time : 0.0 sec. user=mdettweiler [2012-07-30 21:52:48] 657*2^1225376-1 is not prime. Res64: 8240CD32862B0773 Time : 0.0 sec. user=mdettweiler [2012-07-30 21:52:48] 767*2^1225376-1 is not prime. Res64: 70AA6536AD68F2AC Time : 0.0 sec. user=mdettweiler [2012-07-30 22:02:33] 833*2^1225376-1 is not prime. Res64: 5AF4556AAD128933 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:02:35] 903*2^1225376-1 is not prime. Res64: CAB0B396815FA78F Time : 0.0 sec. user=mdettweiler [2012-07-30 22:13:42] 639*2^1225377-1 is not prime. Res64: 9A21C9DD04D8834F Time : 0.0 sec. user=mdettweiler [2012-07-30 22:13:43] 711*2^1225377-1 is not prime. Res64: 9D889B6D52FFB7A4 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:14:03] 957*2^1225376-1 is not prime. Res64: 1E5DDB6D365D7C7B Time : 0.0 sec. user=vaughan [2012-07-30 22:18:14] 773*2^1225376-1 is not prime. Res64: E7C243168BDFEEE3 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:22:07] 615*2^1225377-1 is not prime. Res64: BE8057131251F4F2 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:23:40] 727*2^1225377-1 is not prime. Res64: 977537ED3CF1E26E Time : 0.0 sec. user=mdettweiler [2012-07-30 22:23:40] 777*2^1225377-1 is not prime. Res64: 876256238009FCB6 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:34:50] 831*2^1225377-1 is not prime. Res64: A9D15CC21B7147CA Time : 0.0 sec. user=mdettweiler [2012-07-30 22:34:50] 837*2^1225377-1 is not prime. Res64: 4BA07AEF2ECC633F Time : 0.0 sec. user=mdettweiler [2012-07-30 22:44:39] 671*2^1225378-1 is not prime. Res64: 1AF6B87B84A77AA3 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:44:40] 755*2^1225378-1 is not prime. Res64: C803B47F648AF6C9 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:45:00] 871*2^1225377-1 is not prime. Res64: 6B3CF739692A3B98 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:53:05] 647*2^1225378-1 is not prime. Res64: 22EAF3AC4F2A4A88 Time : 0.0 sec. user=vaughan [2012-07-30 22:55:44] 919*2^1225377-1 is not prime. Res64: 130553823A1D1769 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:55:45] 777*2^1225378-1 is not prime. Res64: 91EBEC58B9B33569 Time : 0.0 sec. user=mdettweiler [2012-07-30 22:55:45] 803*2^1225378-1 is not prime. Res64: D8AD85E24B922267 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:05:32] 975*2^1225378-1 is not prime. Res64: D7F1C69D03E93C3F Time : 0.0 sec. user=mdettweiler [2012-07-30 23:05:34] 987*2^1225378-1 is not prime. Res64: CD491EF49A31E9A0 Time : 0.0 sec. user=sm5ymt [2012-07-30 23:06:35] 745*2^1225379-1 is not prime. Res64: ECF6C013F0AC124F Time : 0.0 sec. user=mdettweiler [2012-07-30 23:16:01] 631*2^1225379-1 is not prime. Res64: 977D1CB7FCFBE654 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:16:44] 801*2^1225379-1 is not prime. Res64: BFC9989323C349F7 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:16:45] 813*2^1225379-1 is not prime. Res64: C669BC10944F400E Time : 0.0 sec. user=mdettweiler [2012-07-30 23:24:05] 759*2^1225379-1 is not prime. Res64: 31F838330A70ECEC Time : 0.0 sec. user=mdettweiler [2012-07-30 23:26:38] 859*2^1225379-1 is not prime. Res64: DAFF46A0E2351C50 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:26:38] 883*2^1225379-1 is not prime. Res64: 64B0DB8FE85AC548 Time : 0.0 sec. user=sm5ymt [2012-07-30 23:29:16] 999*2^1225380-1 is not prime. Res64: 25029238C341903B Time : 0.0 sec. user=vaughan [2012-07-30 23:33:16] 819*2^1225379-1 is not prime. Res64: 7A153614174E7DC1 Time : 0.0 sec. user=gd_barnes [2012-07-30 23:37:04] 973*2^1225379-1 is not prime. Res64: 543DB1294F4B8D0F Time : 0.0 sec. user=mdettweiler [2012-07-30 23:37:43] 747*2^1225381-1 is not prime. Res64: 7965838337E45F73 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:37:43] 861*2^1225381-1 is not prime. Res64: AD05F1E3407E9BC6 Time : 0.0 sec. user=gd_barnes [2012-07-30 23:39:04] 839*2^1225380-1 is not prime. Res64: 14672D5743E93395 Time : 0.0 sec. user=sm5ymt [2012-07-30 23:42:29] 997*2^1225381-1 is not prime. Res64: 26885C3669DC3954 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:47:30] 901*2^1225381-1 is not prime. Res64: 23C3EBA2E9D49BAB Time : 0.0 sec. user=mdettweiler [2012-07-30 23:47:31] 979*2^1225381-1 is not prime. Res64: 2CCDE6AAD29138DA Time : 0.0 sec. user=mdettweiler [2012-07-30 23:47:45] 687*2^1225381-1 is not prime. Res64: 29FCDF070646000A Time : 0.0 sec. user=mdettweiler [2012-07-30 23:56:14] 889*2^1225381-1 is not prime. Res64: 2633D645065EF41B Time : 0.0 sec. user=mdettweiler [2012-07-30 23:58:28] 741*2^1225382-1 is not prime. Res64: 9F6B861255F8A676 Time : 0.0 sec. user=mdettweiler [2012-07-30 23:58:28] 755*2^1225382-1 is not prime. Res64: CD4932E8FDA58528 Time : 0.0 sec.