user=vaughan [2009-08-14 06:22:40] 759*2^710747-1 is not prime. Res64: C3676F292A47E4F9 Time : 96496.0 sec. user=Zachariassen [2009-08-14 14:36:57] 643*2^710775-1 is not prime. Res64: 0903E68095AA0739 Time : 1246.0 sec. user=Zachariassen [2009-08-14 14:37:33] 775*2^710775-1 is not prime. Res64: 12AFE64CCCDE91A7 Time : 1248.0 sec. user=Zachariassen [2009-08-14 14:38:05] 603*2^710776-1 is not prime. Res64: 1B91DD164E88C3B6 Time : 1254.0 sec. user=Zachariassen [2009-08-14 14:38:36] 619*2^710777-1 is not prime. Res64: DC694A6943D9AD96 Time : 1259.0 sec. user=Zachariassen [2009-08-14 14:40:19] 697*2^710777-1 is not prime. Res64: 88D95E08F7CFF031 Time : 984.0 sec. user=Zachariassen [2009-08-14 14:41:08] 781*2^710777-1 is not prime. Res64: 53780F5D1A601A9B Time : 1006.0 sec. user=Zachariassen [2009-08-14 14:41:33] 773*2^710778-1 is not prime. Res64: F1B4644058BC56C3 Time : 998.0 sec. user=Zachariassen [2009-08-14 14:42:20] 619*2^710779-1 is not prime. Res64: 425124891495326B Time : 1013.0 sec. user=Zachariassen [2009-08-14 14:57:19] 711*2^710777-1 is not prime. Res64: B2C9903F7B3EC1FB Time : 2003.0 sec. user=Zachariassen [2009-08-14 14:57:44] 707*2^710778-1 is not prime. Res64: 9C18FAC3DCF71DC9 Time : 2002.0 sec. user=Zachariassen [2009-08-14 14:58:03] 693*2^710775-1 is not prime. Res64: 9FD56F1E62374643 Time : 2509.0 sec. user=Zachariassen [2009-08-14 14:58:23] 791*2^710778-1 is not prime. Res64: E45DCB9974E4A512 Time : 2007.0 sec. user=Zachariassen [2009-08-14 14:58:47] 789*2^710775-1 is not prime. Res64: 304F1D31755FEC36 Time : 2521.0 sec. user=Zachariassen [2009-08-14 14:59:04] 779*2^710776-1 is not prime. Res64: 78FAC8999E85A5B3 Time : 2512.0 sec. user=Zachariassen [2009-08-14 14:59:18] 631*2^710779-1 is not prime. Res64: A96920B9722B06CB Time : 2030.0 sec. user=Zachariassen [2009-08-14 14:59:48] 691*2^710777-1 is not prime. Res64: E062D717639CC0CC Time : 2530.0 sec. user=Zachariassen [2009-08-14 15:13:21] 615*2^710780-1 is not prime. Res64: 23908CF8C1CEB88A Time : 1982.0 sec. user=Zachariassen [2009-08-14 15:13:55] 663*2^710780-1 is not prime. Res64: 487B953D9945DF1B Time : 1968.0 sec. user=Zachariassen [2009-08-14 15:14:44] 677*2^710780-1 is not prime. Res64: B66D0CFC0B311F0A Time : 1992.0 sec. user=Zachariassen [2009-08-14 15:15:29] 789*2^710780-1 is not prime. Res64: 9B15E4977AB09A18 Time : 1989.0 sec. user=Zachariassen [2009-08-14 15:19:02] 679*2^710779-1 is not prime. Res64: A9A730BE8537140F Time : 2525.0 sec. user=Zachariassen [2009-08-14 15:19:52] 681*2^710779-1 is not prime. Res64: D3C0FE8FA44E0591 Time : 2540.0 sec. user=Zachariassen [2009-08-14 15:19:58] 741*2^710779-1 is not prime. Res64: 107148C8AD7B638E Time : 2513.0 sec. user=Zachariassen [2009-08-14 15:21:00] 789*2^710779-1 is not prime. Res64: D3522FD8DCF3B52F Time : 2544.0 sec. user=Zachariassen [2009-08-14 15:29:17] 621*2^710781-1 is not prime. Res64: 3151FAEF8AA8CAD9 Time : 1918.0 sec. user=Zachariassen [2009-08-14 15:29:47] 625*2^710781-1 is not prime. Res64: F34E3637FBC3A5ED Time : 1923.0 sec. user=Zachariassen [2009-08-14 15:30:50] 661*2^710781-1 is not prime. Res64: F3002C7B52E85D31 Time : 1947.0 sec. user=Zachariassen [2009-08-14 15:31:36] 789*2^710781-1 is not prime. Res64: 4DCC7400F58483C5 Time : 1938.0 sec. user=Zachariassen [2009-08-14 15:40:01] 651*2^710781-1 is not prime. Res64: 30462859D46DAA61 Time : 2518.0 sec. user=Zachariassen [2009-08-14 15:40:52] 691*2^710781-1 is not prime. Res64: 587EF41AB9C39658 Time : 2508.0 sec. user=Zachariassen [2009-08-14 15:41:08] 669*2^710781-1 is not prime. Res64: E3D50766821DDA23 Time : 2541.0 sec. user=Zachariassen [2009-08-14 15:41:58] 665*2^710782-1 is not prime. Res64: A9D62EE058EBE3D1 Time : 2531.0 sec. user=Zachariassen [2009-08-14 15:46:11] 765*2^710782-1 is not prime. Res64: E8C6ED459A729571 Time : 1970.0 sec. user=Zachariassen [2009-08-14 15:46:27] 735*2^710783-1 is not prime. Res64: D587092813C7BAA2 Time : 1952.0 sec. user=Zachariassen [2009-08-14 15:47:34] 783*2^710783-1 is not prime. Res64: 2775F2F77CE91D0B Time : 1971.0 sec. user=Zachariassen [2009-08-14 15:48:06] 683*2^710784-1 is not prime. Res64: BB4B181C39908CAF Time : 1958.0 sec. user=Zachariassen [2009-08-14 16:01:01] 753*2^710784-1 is not prime. Res64: 1EF5BBD1186A5FE0 Time : 2519.0 sec. user=Zachariassen [2009-08-14 16:01:43] 617*2^710786-1 is not prime. Res64: 07489B600FEB2636 Time : 1946.0 sec. user=Zachariassen [2009-08-14 16:01:54] 741*2^710785-1 is not prime. Res64: E8B9B8664A27CCEE Time : 2516.0 sec. user=Zachariassen [2009-08-14 16:02:02] 667*2^710785-1 is not prime. Res64: 0B9D4CD9CB7F3D44 Time : 2530.0 sec. user=Zachariassen [2009-08-14 16:02:09] 633*2^710786-1 is not prime. Res64: 516680FEDA65873B Time : 1942.0 sec. user=Zachariassen [2009-08-14 16:02:52] 777*2^710785-1 is not prime. Res64: DCA1407293C1FA87 Time : 2513.0 sec. user=Zachariassen [2009-08-14 16:03:16] 677*2^710786-1 is not prime. Res64: AEB2AC2205AE0A62 Time : 1946.0 sec. user=Zachariassen [2009-08-14 16:03:42] 713*2^710786-1 is not prime. Res64: DCC5E4E210AB20E0 Time : 1926.0 sec. user=Zachariassen [2009-08-14 16:17:51] 775*2^710789-1 is not prime. Res64: 81FB4D746FE3C31E Time : 1901.0 sec. user=Zachariassen [2009-08-14 16:18:10] 711*2^710790-1 is not prime. Res64: 37E85BDC744A9106 Time : 1903.0 sec. user=Zachariassen [2009-08-14 16:19:06] 761*2^710790-1 is not prime. Res64: 6DD0875B63E3954F Time : 1892.0 sec. user=Zachariassen [2009-08-14 16:19:33] 621*2^710791-1 is not prime. Res64: 45786081BBB8DD41 Time : 1887.0 sec. user=Zachariassen [2009-08-14 16:22:03] 651*2^710787-1 is not prime. Res64: 4BCE1D6BDBF2E187 Time : 2523.0 sec. user=Zachariassen [2009-08-14 16:23:01] 705*2^710787-1 is not prime. Res64: F9DE4DC661ADB7B8 Time : 2530.0 sec. user=Zachariassen [2009-08-14 16:23:05] 687*2^710788-1 is not prime. Res64: 9CB198EAC6E1AB09 Time : 2518.0 sec. user=Zachariassen [2009-08-14 16:23:55] 691*2^710789-1 is not prime. Res64: 619D3A2253A9AEC6 Time : 2518.0 sec. user=Zachariassen [2009-08-14 16:34:13] 735*2^710791-1 is not prime. Res64: 3B0C2C575477AA8C Time : 1950.0 sec. user=Zachariassen [2009-08-14 16:34:28] 623*2^710792-1 is not prime. Res64: ABD6614F763E4E11 Time : 1939.0 sec. user=Zachariassen [2009-08-14 16:35:27] 669*2^710793-1 is not prime. Res64: 085365C312499B6E Time : 1931.0 sec. user=Zachariassen [2009-08-14 16:35:59] 691*2^710793-1 is not prime. Res64: E4A682EF3F74FF2A Time : 1937.0 sec. user=Zachariassen [2009-08-14 16:43:01] 663*2^710791-1 is not prime. Res64: 50E5259E036176B3 Time : 2520.0 sec. user=Zachariassen [2009-08-14 16:43:54] 741*2^710791-1 is not prime. Res64: 89877751C9871CA1 Time : 2520.0 sec. user=Zachariassen [2009-08-14 16:44:10] 759*2^710791-1 is not prime. Res64: C32148D8C9D4A403 Time : 2529.0 sec. user=Zachariassen [2009-08-14 16:45:06] 609*2^710793-1 is not prime. Res64: 129AD4ABC1514D1E Time : 2534.0 sec. user=Zachariassen [2009-08-14 16:50:10] 739*2^710793-1 is not prime. Res64: C486B8C9DB044616 Time : 1941.0 sec. user=Zachariassen [2009-08-14 16:50:24] 741*2^710793-1 is not prime. Res64: 851C7BB68CF60F04 Time : 1934.0 sec. user=Zachariassen [2009-08-14 16:51:29] 645*2^710794-1 is not prime. Res64: E9B916AA6DBD250B Time : 1944.0 sec. user=Zachariassen [2009-08-14 16:51:31] 663*2^710794-1 is not prime. Res64: 6CE9EB226A0BAC3B Time : 1919.0 sec. user=Zachariassen [2009-08-14 17:04:13] 601*2^710795-1 is not prime. Res64: 8D678CCA1F6DCABB Time : 2531.0 sec. user=Zachariassen [2009-08-14 17:04:42] 781*2^710795-1 is not prime. Res64: 3314040B2DABCAA7 Time : 2501.0 sec. user=Zachariassen [2009-08-14 17:05:18] 623*2^710796-1 is not prime. Res64: 4AC2361E471B3597 Time : 2533.0 sec. user=Zachariassen [2009-08-14 17:06:06] 705*2^710796-1 is not prime. Res64: 3224131646519AEC Time : 2531.0 sec. user=Zachariassen [2009-08-14 17:06:08] 719*2^710796-1 is not prime. Res64: BF8F39D71C46B751 Time : 1916.0 sec. user=Zachariassen [2009-08-14 17:06:38] 737*2^710796-1 is not prime. Res64: F59647F7A1171727 Time : 1930.0 sec. user=Zachariassen [2009-08-14 17:07:31] 617*2^710798-1 is not prime. Res64: 721699E9A1FCBCDC Time : 1893.0 sec. user=Zachariassen [2009-08-14 17:07:31] 649*2^710797-1 is not prime. Res64: A7E8E6101EBB340B Time : 1924.0 sec. user=Zachariassen [2009-08-14 17:21:46] 791*2^710798-1 is not prime. Res64: E632CAC5ECE06776 Time : 1896.0 sec. user=Zachariassen [2009-08-14 17:22:29] 649*2^710799-1 is not prime. Res64: 73E627F0D4A2B56B Time : 1926.0 sec. user=Zachariassen [2009-08-14 17:23:09] 691*2^710799-1 is not prime. Res64: 013460BEF5310D60 Time : 1899.0 sec. user=Zachariassen [2009-08-14 17:23:10] 663*2^710799-1 is not prime. Res64: BCD0A0357451FF67 Time : 1902.0 sec. user=Zachariassen [2009-08-14 17:25:19] 641*2^710798-1 is not prime. Res64: ECA4C0B5FB05B828 Time : 2538.0 sec. user=Zachariassen [2009-08-14 17:25:42] 657*2^710798-1 is not prime. Res64: 61EEF199E213B2A5 Time : 2508.0 sec. user=Zachariassen [2009-08-14 17:26:21] 731*2^710798-1 is not prime. Res64: B9565050059CE8A5 Time : 2532.0 sec. user=Zachariassen [2009-08-14 17:27:06] 755*2^710798-1 is not prime. Res64: 863C67860432CFE9 Time : 2521.0 sec. user=Zachariassen [2009-08-14 17:38:05] 627*2^710802-1 is not prime. Res64: F3830AF7CECE1771 Time : 1917.0 sec. user=Zachariassen [2009-08-14 17:38:49] 677*2^710802-1 is not prime. Res64: 62BFE29964FEE8DC Time : 1932.0 sec. user=Zachariassen [2009-08-14 17:39:25] 741*2^710802-1 is not prime. Res64: 01CCD194DFDE9361 Time : 1915.0 sec. user=Zachariassen [2009-08-14 17:39:27] 755*2^710802-1 is not prime. Res64: 83882A344D9C43DD Time : 1916.0 sec. user=Zachariassen [2009-08-14 17:46:12] 745*2^710799-1 is not prime. Res64: A66DA058218A85D7 Time : 2520.0 sec. user=Zachariassen [2009-08-14 17:46:39] 717*2^710800-1 is not prime. Res64: D497B647065F0066 Time : 2517.0 sec. user=Zachariassen [2009-08-14 17:47:26] 777*2^710800-1 is not prime. Res64: 05E79980EBB07E8F Time : 2528.0 sec. user=Zachariassen [2009-08-14 17:48:02] 649*2^710801-1 is not prime. Res64: C13F63D2A97A90E7 Time : 2516.0 sec. user=Zachariassen [2009-08-14 17:54:09] 765*2^710802-1 is not prime. Res64: E822A485D751EE75 Time : 1943.0 sec. user=Zachariassen [2009-08-14 17:54:45] 649*2^710803-1 is not prime. Res64: 527331F22184AD6F Time : 1936.0 sec. user=Zachariassen [2009-08-14 17:55:12] 665*2^710804-1 is not prime. Res64: D0565FB65EB75B9E Time : 1923.0 sec. user=Zachariassen [2009-08-14 17:55:21] 783*2^710803-1 is not prime. Res64: C1A99744F2A368CF Time : 1932.0 sec. user=Zachariassen [2009-08-14 18:07:08] 753*2^710804-1 is not prime. Res64: B0B4248C552E614E Time : 2510.0 sec. user=Zachariassen [2009-08-14 18:07:40] 625*2^710805-1 is not prime. Res64: 2F9E16EB50F2C3F6 Time : 2519.0 sec. user=Zachariassen [2009-08-14 18:08:32] 691*2^710805-1 is not prime. Res64: B5ED69C7552B893D Time : 2531.0 sec. user=Zachariassen [2009-08-14 18:09:00] 717*2^710805-1 is not prime. Res64: DF83662CCB93CDFC Time : 2515.0 sec. user=Zachariassen [2009-08-14 18:10:17] 751*2^710805-1 is not prime. Res64: 1AFE3356BD78FECB Time : 1932.0 sec. user=Zachariassen [2009-08-14 18:11:15] 759*2^710805-1 is not prime. Res64: DF44942D7F806B7D Time : 1946.0 sec. user=Zachariassen [2009-08-14 18:11:15] 723*2^710806-1 is not prime. Res64: 21484E7C08CA008C Time : 1908.0 sec. user=Zachariassen [2009-08-14 18:11:35] 611*2^710806-1 is not prime. Res64: CA9ACCF28843BA73 Time : 1931.0 sec. user=Zachariassen [2009-08-14 18:25:54] 663*2^710808-1 is not prime. Res64: EF154DE6E606983D Time : 1905.0 sec. user=Zachariassen [2009-08-14 18:26:49] 601*2^710809-1 is not prime. Res64: EBFB26407F07078F Time : 1925.0 sec. user=Zachariassen [2009-08-14 18:26:57] 619*2^710809-1 is not prime. Res64: 5573CC138A51DF3A Time : 1906.0 sec. user=Zachariassen [2009-08-14 18:27:00] 649*2^710809-1 is not prime. Res64: 52A1A422D6D2134B Time : 1899.0 sec. user=Zachariassen [2009-08-14 18:28:12] 777*2^710806-1 is not prime. Res64: 311FFDB823D52290 Time : 2520.0 sec. user=Zachariassen [2009-08-14 18:28:40] 619*2^710807-1 is not prime. Res64: 3AAC16372A480F06 Time : 2521.0 sec. user=Zachariassen [2009-08-14 18:29:28] 629*2^710808-1 is not prime. Res64: 011BF15E834A6BC0 Time : 2522.0 sec. user=Zachariassen [2009-08-14 18:30:00] 635*2^710808-1 is not prime. Res64: 267AF986C2472577 Time : 2518.0 sec. user=Zachariassen [2009-08-14 18:42:24] 799*2^710809-1 is not prime. Res64: 39CAB9B609CCA9F7 Time : 1927.0 sec. user=Zachariassen [2009-08-14 18:43:05] 743*2^710810-1 is not prime. Res64: CD1D2FF85E4C8480 Time : 1910.0 sec. user=Zachariassen [2009-08-14 18:43:20] 657*2^710810-1 is not prime. Res64: A554C40906C2011E Time : 1926.0 sec. user=Zachariassen [2009-08-14 18:43:27] 767*2^710810-1 is not prime. Res64: DD9010070A581562 Time : 1913.0 sec. user=Zachariassen [2009-08-14 18:49:13] 681*2^710809-1 is not prime. Res64: BE1F8B897EBA6C73 Time : 2525.0 sec. user=Zachariassen [2009-08-14 18:49:30] 745*2^710809-1 is not prime. Res64: C30F9EAC0C978512 Time : 2511.0 sec. user=Zachariassen [2009-08-14 18:50:26] 747*2^710809-1 is not prime. Res64: BEB6A72A5055A587 Time : 2514.0 sec. user=Zachariassen [2009-08-14 18:50:56] 789*2^710809-1 is not prime. Res64: E33A151B56AD105E Time : 2516.0 sec. user=Zachariassen [2009-08-14 18:58:20] 783*2^710810-1 is not prime. Res64: BAC4DF29A806BAA5 Time : 1946.0 sec. user=Zachariassen [2009-08-14 18:59:11] 703*2^710811-1 is not prime. Res64: 78EE75FD9965AA7C Time : 1934.0 sec. user=Zachariassen [2009-08-14 18:59:16] 625*2^710811-1 is not prime. Res64: AE50F01F6A07719D Time : 1948.0 sec. user=Zachariassen [2009-08-14 18:59:32] 735*2^710811-1 is not prime. Res64: 7829500FDF1E9F2F Time : 1953.0 sec. user=Zachariassen [2009-08-14 19:10:07] 751*2^710811-1 is not prime. Res64: 18B909D1424B5DCB Time : 2515.0 sec. user=Zachariassen [2009-08-14 19:10:20] 795*2^710811-1 is not prime. Res64: 9271F3D11ADC60D8 Time : 2500.0 sec. user=Zachariassen [2009-08-14 19:11:07] 689*2^710812-1 is not prime. Res64: 1DB701EFBA99E814 Time : 2499.0 sec. user=Zachariassen [2009-08-14 19:11:48] 705*2^710812-1 is not prime. Res64: A2129B86C79A4B16 Time : 2508.0 sec. user=Zachariassen [2009-08-14 19:14:32] 743*2^710812-1 is not prime. Res64: 5D3D058EF302C8E4 Time : 1929.0 sec. user=Zachariassen [2009-08-14 19:15:11] 777*2^710812-1 is not prime. Res64: 090121F094BA36DE Time : 1927.0 sec. user=Zachariassen [2009-08-14 19:15:14] 651*2^710813-1 is not prime. Res64: 6A831B5A56A8EB97 Time : 1916.0 sec. user=Zachariassen [2009-08-14 19:15:51] 669*2^710813-1 is not prime. Res64: 57D2BC6F8A90E8A9 Time : 1945.0 sec. user=Zachariassen [2009-08-14 19:30:49] 657*2^710814-1 is not prime. Res64: C086CA2D1C47D7A1 Time : 1950.0 sec. user=Zachariassen [2009-08-14 19:30:50] 691*2^710813-1 is not prime. Res64: 8E32532E558E4AE5 Time : 2497.0 sec. user=Zachariassen [2009-08-14 19:31:14] 677*2^710814-1 is not prime. Res64: 8BDE3EC76CEA3A51 Time : 1924.0 sec. user=Zachariassen [2009-08-14 19:31:24] 755*2^710814-1 is not prime. Res64: 6F387DD47E314D59 Time : 1929.0 sec. user=Zachariassen [2009-08-14 19:31:36] 699*2^710813-1 is not prime. Res64: 9549209576676A5B Time : 2527.0 sec. user=Zachariassen [2009-08-14 19:31:57] 715*2^710813-1 is not prime. Res64: D3AEF707F0DC2508 Time : 2492.0 sec. user=Zachariassen [2009-08-14 19:32:04] 797*2^710814-1 is not prime. Res64: 7A34A26FC94B5FD0 Time : 1953.0 sec. user=Zachariassen [2009-08-14 19:32:44] 745*2^710813-1 is not prime. Res64: D02CBF3D972602D9 Time : 2509.0 sec. user=Zachariassen [2009-08-14 19:46:39] 775*2^710815-1 is not prime. Res64: 66FD078415581B7C Time : 1927.0 sec. user=Zachariassen [2009-08-14 19:46:58] 789*2^710815-1 is not prime. Res64: CAF19F1EEEBADBAB Time : 1907.0 sec. user=Zachariassen [2009-08-14 19:47:14] 609*2^710816-1 is not prime. Res64: CD88D3E212C07E6D Time : 1920.0 sec. user=Zachariassen [2009-08-14 19:47:42] 657*2^710816-1 is not prime. Res64: BF44016C3E00413B Time : 1912.0 sec. user=Zachariassen [2009-08-14 19:51:42] 675*2^710815-1 is not prime. Res64: 4EF6DA2B0B61CC75 Time : 2495.0 sec. user=Zachariassen [2009-08-14 19:52:35] 679*2^710815-1 is not prime. Res64: 5D939F844E754BAD Time : 2536.0 sec. user=Zachariassen [2009-08-14 19:52:58] 685*2^710815-1 is not prime. Res64: FCEDF78DF821F96A Time : 2512.0 sec. user=Zachariassen [2009-08-14 19:53:37] 723*2^710815-1 is not prime. Res64: ADF855097E34F36A Time : 2510.0 sec. user=Zachariassen [2009-08-14 20:02:51] 717*2^710816-1 is not prime. Res64: AD7F493E7872611B Time : 1922.0 sec. user=Zachariassen [2009-08-14 20:03:03] 705*2^710822-1 is not prime. Res64: A801D3ED063208C3 Time : 1910.0 sec. user=Zachariassen [2009-08-14 20:03:37] 771*2^710822-1 is not prime. Res64: D010D3B810782754 Time : 1933.0 sec. user=Zachariassen [2009-08-14 20:03:43] 669*2^710823-1 is not prime. Res64: C71E518A715BFF0B Time : 1899.0 sec. user=Zachariassen [2009-08-14 20:12:15] 685*2^710817-1 is not prime. Res64: C6095A86212E4B7C Time : 2485.0 sec. user=Zachariassen [2009-08-14 20:13:33] 797*2^710822-1 is not prime. Res64: 79CA8998543D8E06 Time : 2517.0 sec. user=Zachariassen [2009-08-14 20:14:03] 663*2^710823-1 is not prime. Res64: 37BBCA58E037DB89 Time : 2527.0 sec. user=Zachariassen [2009-08-14 20:14:34] 795*2^710823-1 is not prime. Res64: 06482C285B3E6831 Time : 2511.0 sec. user=Zachariassen [2009-08-14 20:19:01] 635*2^710824-1 is not prime. Res64: 7E2A91D49D6CD9D9 Time : 1942.0 sec. user=Zachariassen [2009-08-14 20:19:18] 773*2^710824-1 is not prime. Res64: 2A9633922DA45B8D Time : 1940.0 sec. user=Zachariassen [2009-08-14 20:19:44] 607*2^710825-1 is not prime. Res64: DF3AFE241FF1A0F7 Time : 1950.0 sec. user=Zachariassen [2009-08-14 20:19:49] 691*2^710825-1 is not prime. Res64: 1FB946D71DE35BFC Time : 1927.0 sec. user=Zachariassen [2009-08-14 20:32:54] 705*2^710825-1 is not prime. Res64: 51AAE55EDE8693E6 Time : 2473.0 sec. user=Zachariassen [2009-08-14 20:34:15] 729*2^710825-1 is not prime. Res64: 0B79CD3AF9700E57 Time : 2501.0 sec. user=Zachariassen [2009-08-14 20:35:05] 759*2^710825-1 is not prime. Res64: 3B16B7D35121FD78 Time : 2528.0 sec. user=Zachariassen [2009-08-14 20:35:10] 713*2^710826-1 is not prime. Res64: AA5998C2F4F08814 Time : 1939.0 sec. user=Zachariassen [2009-08-14 20:35:12] 771*2^710825-1 is not prime. Res64: B5E81690092DB742 Time : 2496.0 sec. user=Zachariassen [2009-08-14 20:35:23] 735*2^710826-1 is not prime. Res64: 77313EF867E846DA Time : 1941.0 sec. user=Zachariassen [2009-08-14 20:35:47] 767*2^710826-1 is not prime. Res64: DF60CDC6D43A1452 Time : 1931.0 sec. user=Zachariassen [2009-08-14 20:36:01] 783*2^710826-1 is not prime. Res64: 51351B095868655D Time : 1938.0 sec. user=Zachariassen [2009-08-14 20:50:58] 665*2^710828-1 is not prime. Res64: 485FA993F032A6E5 Time : 1918.0 sec. user=Zachariassen [2009-08-14 20:51:05] 707*2^710828-1 is not prime. Res64: 69332FD47302F3BB Time : 1907.0 sec. user=Zachariassen [2009-08-14 20:51:41] 743*2^710828-1 is not prime. Res64: 37736C5AC86CF4C7 Time : 1918.0 sec. user=Zachariassen [2009-08-14 20:51:48] 755*2^710828-1 is not prime. Res64: 1F61B0B38852D67D Time : 1919.0 sec. user=Zachariassen [2009-08-14 20:53:53] 633*2^710827-1 is not prime. Res64: B0A9620A9992EE49 Time : 2498.0 sec. user=Zachariassen [2009-08-14 20:55:08] 649*2^710827-1 is not prime. Res64: 1374754FA9DA4E4F Time : 2496.0 sec. user=Zachariassen [2009-08-14 20:55:54] 617*2^710828-1 is not prime. Res64: CDFA9F46FC534C30 Time : 2481.0 sec. user=Zachariassen [2009-08-14 20:56:04] 759*2^710827-1 is not prime. Res64: 9770BA68D8F68AA8 Time : 2522.0 sec. user=Zachariassen [2009-08-14 21:06:51] 703*2^710819-1 is not prime. Res64: 55A4350BAFD5DFAA Time : 1901.0 sec. user=Zachariassen [2009-08-14 21:07:16] 623*2^710820-1 is not prime. Res64: E9206D4ED024B051 Time : 1913.0 sec. user=Zachariassen [2009-08-14 21:07:36] 693*2^710820-1 is not prime. Res64: 6DF7C18E8DB7D3DC Time : 1909.0 sec. user=Zachariassen [2009-08-14 21:07:53] 625*2^710821-1 is not prime. Res64: 0EED340B467F0411 Time : 1914.0 sec. user=Zachariassen [2009-08-14 21:14:51] 649*2^710829-1 is not prime. Res64: A79E7B66AF775EFE Time : 2517.0 sec. user=Zachariassen [2009-08-14 21:15:58] 735*2^710818-1 is not prime. Res64: D646C192AA5E99A6 Time : 2503.0 sec. user=Zachariassen [2009-08-14 21:16:42] 711*2^710819-1 is not prime. Res64: C8E7C35E09D095E7 Time : 2490.0 sec. user=Zachariassen [2009-08-14 21:17:00] 619*2^710819-1 is not prime. Res64: 3FD7F99F02552218 Time : 2516.0 sec. user=Zachariassen [2009-08-14 21:23:42] 639*2^710821-1 is not prime. Res64: 840BB2B53EBDEE1A Time : 1964.0 sec. user=Zachariassen [2009-08-14 21:24:14] 617*2^710822-1 is not prime. Res64: 1D6427312D22139D Time : 1989.0 sec. user=Zachariassen [2009-08-14 21:24:37] 683*2^710822-1 is not prime. Res64: 10B783040BEB1B31 Time : 1976.0 sec. user=Zachariassen [2009-08-14 21:24:55] 655*2^710829-1 is not prime. Res64: 879991B905DEECBB Time : 1987.0 sec. user=Zachariassen [2009-08-14 21:35:38] 769*2^710829-1 is not prime. Res64: D48EACF9F3453107 Time : 2505.0 sec. user=Zachariassen [2009-08-14 21:37:02] 635*2^710830-1 is not prime. Res64: CD0674A07AFC04DE Time : 2514.0 sec. user=Zachariassen [2009-08-14 21:37:30] 671*2^710830-1 is not prime. Res64: EBCD081CE6FEF709 Time : 2496.0 sec. user=Zachariassen [2009-08-14 21:37:48] 785*2^710830-1 is not prime. Res64: 5EA540BE7DEEB552 Time : 2504.0 sec. user=Zachariassen [2009-08-14 21:39:47] 615*2^710831-1 is not prime. Res64: B06857E0B923DC75 Time : 1976.0 sec. user=Zachariassen [2009-08-14 21:40:16] 661*2^710831-1 is not prime. Res64: 562A12598A2A898B Time : 1982.0 sec. user=Zachariassen [2009-08-14 21:40:56] 685*2^710831-1 is not prime. Res64: A6F8AE28E9C5076C Time : 1983.0 sec. user=Zachariassen [2009-08-14 21:41:00] 673*2^710831-1 is not prime. Res64: 3F8D83753C422A50 Time : 2004.0 sec. user=Zachariassen [2009-08-14 21:55:44] 717*2^710832-1 is not prime. Res64: 8D1A91AF2D8AAB82 Time : 1922.0 sec. user=Zachariassen [2009-08-14 21:56:33] 797*2^710832-1 is not prime. Res64: 647F18C29943556A Time : 1939.0 sec. user=Zachariassen [2009-08-14 21:56:39] 605*2^710832-1 is not prime. Res64: 3ECA545705794A30 Time : 2508.0 sec. user=Zachariassen [2009-08-14 21:57:12] 637*2^710833-1 is not prime. Res64: 634A8FDEF62AF025 Time : 1938.0 sec. user=Zachariassen [2009-08-14 21:57:19] 615*2^710833-1 is not prime. Res64: 67B00656D3B669C9 Time : 1963.0 sec. user=Zachariassen [2009-08-14 21:58:03] 629*2^710832-1 is not prime. Res64: 4689A69752560B3B Time : 2525.0 sec. user=Zachariassen [2009-08-14 21:58:28] 665*2^710832-1 is not prime. Res64: 14103E7B21BDD90E Time : 2507.0 sec. user=Zachariassen [2009-08-14 21:58:46] 689*2^710832-1 is not prime. Res64: D303B65488475521 Time : 2506.0 sec. user=Zachariassen [2009-08-14 22:12:16] 665*2^710834-1 is not prime. Res64: 594F7CAAB6256091 Time : 1949.0 sec. user=Zachariassen [2009-08-14 22:12:51] 683*2^710834-1 is not prime. Res64: D4C5BD4BA251CA2C Time : 1955.0 sec. user=Zachariassen [2009-08-14 22:13:38] 731*2^710834-1 is not prime. Res64: 8C179BF8FAD5FF15 Time : 1962.0 sec. user=Zachariassen [2009-08-14 22:13:54] 691*2^710835-1 is not prime. Res64: F6B664C37D0C52CF Time : 1975.0 sec. user=Zachariassen [2009-08-14 22:17:33] 705*2^710833-1 is not prime. Res64: 3A1F74D0ECB4B079 Time : 2516.0 sec. user=Zachariassen [2009-08-14 22:18:50] 715*2^710833-1 is not prime. Res64: 1920E30FC0BF982E Time : 2509.0 sec. user=Zachariassen [2009-08-14 22:19:12] 741*2^710833-1 is not prime. Res64: 3071D751FB1DDD1E Time : 2502.0 sec. user=Zachariassen [2009-08-14 22:19:15] 617*2^710834-1 is not prime. Res64: 206C26323514D787 Time : 2488.0 sec. user=Zachariassen [2009-08-14 22:28:11] 695*2^710836-1 is not prime. Res64: 30CE36C9CB42ACBB Time : 1948.0 sec. user=Zachariassen [2009-08-14 22:28:55] 723*2^710836-1 is not prime. Res64: FFBAFD929608691E Time : 1943.0 sec. user=Zachariassen [2009-08-14 22:29:42] 743*2^710836-1 is not prime. Res64: E9EF4D21E6294E52 Time : 1950.0 sec. user=Zachariassen [2009-08-14 22:29:45] 759*2^710837-1 is not prime. Res64: 3F7A0FF5AF713BF4 Time : 1947.0 sec. user=Zachariassen [2009-08-14 22:37:03] 735*2^710836-1 is not prime. Res64: 585F65458378C805 Time : 2424.0 sec. user=Zachariassen [2009-08-14 22:38:29] 771*2^710837-1 is not prime. Res64: 879CBFCBD12B4D56 Time : 2426.0 sec. user=Zachariassen [2009-08-14 22:38:41] 663*2^710838-1 is not prime. Res64: 523E024EE1526C5C Time : 2395.0 sec. user=Zachariassen [2009-08-14 22:38:58] 777*2^710837-1 is not prime. Res64: C91D8D691BCDFB9A Time : 2431.0 sec. user=Zachariassen [2009-08-14 22:43:01] 671*2^710838-1 is not prime. Res64: C45DD80481CE54FE Time : 1846.0 sec. user=Zachariassen [2009-08-14 22:43:27] 711*2^710838-1 is not prime. Res64: C987B2D08FE928EC Time : 1837.0 sec. user=Zachariassen [2009-08-14 22:43:54] 633*2^710840-1 is not prime. Res64: 9044F1DCB792A775 Time : 1801.0 sec. user=Zachariassen [2009-08-14 22:44:11] 605*2^710840-1 is not prime. Res64: BD8F95E9818B1FAA Time : 1833.0 sec. user=Zachariassen [2009-08-14 22:54:34] 781*2^710841-1 is not prime. Res64: 1053F5134C50C006 Time : 1583.0 sec. user=Zachariassen [2009-08-14 22:55:19] 651*2^710842-1 is not prime. Res64: 3EF0D6B8FBEF68B7 Time : 1585.0 sec. user=Zachariassen [2009-08-14 22:55:36] 665*2^710840-1 is not prime. Res64: FDAF54AC0FF2CC9A Time : 2283.0 sec. user=Zachariassen [2009-08-14 22:56:02] 631*2^710843-1 is not prime. Res64: F0016648639C12A3 Time : 1579.0 sec. user=Zachariassen [2009-08-14 22:56:36] 755*2^710840-1 is not prime. Res64: F38823110BBB3C15 Time : 2267.0 sec. user=Zachariassen [2009-08-14 22:56:40] 741*2^710842-1 is not prime. Res64: C6E2F2C55787BE4E Time : 1618.0 sec. user=Zachariassen [2009-08-14 22:56:56] 637*2^710841-1 is not prime. Res64: B4FF3F364858B566 Time : 2262.0 sec. user=Zachariassen [2009-08-14 22:57:50] 789*2^710840-1 is not prime. Res64: FC39E8594AE999A8 Time : 2318.0 sec. user=Zachariassen [2009-08-14 23:06:01] 753*2^710844-1 is not prime. Res64: B3BD064D3ACDC006 Time : 1381.0 sec. user=Zachariassen [2009-08-14 23:06:33] 773*2^710844-1 is not prime. Res64: 88E5C8AE92219BCD Time : 1387.0 sec. user=Zachariassen [2009-08-14 23:07:07] 685*2^710845-1 is not prime. Res64: E436926B3EAB4FBB Time : 1394.0 sec. user=Zachariassen [2009-08-14 23:07:51] 687*2^710845-1 is not prime. Res64: A49CFC44BCB78175 Time : 1420.0 sec. user=Zachariassen [2009-08-14 23:12:34] 703*2^710843-1 is not prime. Res64: 3469F28E3CA125BA Time : 2132.0 sec. user=Zachariassen [2009-08-14 23:13:08] 707*2^710844-1 is not prime. Res64: BB3FBCB0CB85C0B3 Time : 2069.0 sec. user=Zachariassen [2009-08-14 23:14:14] 675*2^710844-1 is not prime. Res64: 562BF4834A1C49BA Time : 2145.0 sec. user=Zachariassen [2009-08-14 23:14:43] 723*2^710844-1 is not prime. Res64: ADAE1458AB95C34D Time : 2146.0 sec. user=Zachariassen [2009-08-14 23:17:02] 627*2^710846-1 is not prime. Res64: E93979D3263250ED Time : 1348.0 sec. user=Zachariassen [2009-08-14 23:17:22] 675*2^710846-1 is not prime. Res64: 10A99FCFB3724C88 Time : 1324.0 sec. user=Zachariassen [2009-08-14 23:17:53] 707*2^710848-1 is not prime. Res64: 787610FEEFF904BA Time : 1311.0 sec. user=Zachariassen [2009-08-14 23:18:49] 685*2^710849-1 is not prime. Res64: 932B3B39510274E0 Time : 1330.0 sec. user=Zachariassen [2009-08-14 23:27:40] 677*2^710846-1 is not prime. Res64: 8A0004F5748BBE83 Time : 1925.0 sec. user=Zachariassen [2009-08-14 23:28:00] 711*2^710849-1 is not prime. Res64: 788451BACCDFF759 Time : 1864.0 sec. user=Zachariassen [2009-08-14 23:28:02] 647*2^710850-1 is not prime. Res64: 9CE906A0B7BEFDCF Time : 1322.0 sec. user=Zachariassen [2009-08-14 23:28:04] 657*2^710850-1 is not prime. Res64: DAB9FF3415927466 Time : 1291.0 sec. user=Zachariassen [2009-08-14 23:28:47] 665*2^710850-1 is not prime. Res64: F5BF1F05EFF923CA Time : 1300.0 sec. user=Zachariassen [2009-08-14 23:28:48] 797*2^710848-1 is not prime. Res64: B534DF6113321E0D Time : 1932.0 sec. user=Zachariassen [2009-08-14 23:29:19] 747*2^710849-1 is not prime. Res64: 51A0BEC26AB182A7 Time : 1890.0 sec. user=Zachariassen [2009-08-14 23:29:42] 755*2^710850-1 is not prime. Res64: 859F65F14DAA7FFA Time : 1311.0 sec. user=Zachariassen [2009-08-14 23:38:46] 751*2^710853-1 is not prime. Res64: C3365CC80EB3B052 Time : 1284.0 sec. user=Zachariassen [2009-08-14 23:38:54] 615*2^710853-1 is not prime. Res64: 7E02C05458D6A02C Time : 1313.0 sec. user=Zachariassen [2009-08-14 23:39:40] 769*2^710853-1 is not prime. Res64: 729534F7DACDEC94 Time : 1307.0 sec. user=Zachariassen [2009-08-14 23:41:02] 737*2^710854-1 is not prime. Res64: F15187BD452593A9 Time : 1333.0 sec. user=Zachariassen [2009-08-14 23:42:29] 691*2^710851-1 is not prime. Res64: 809F95B56BFF9BDC Time : 1795.0 sec. user=Zachariassen [2009-08-14 23:42:46] 617*2^710852-1 is not prime. Res64: 83AE32BCF7226616 Time : 1779.0 sec. user=Zachariassen [2009-08-14 23:43:27] 647*2^710852-1 is not prime. Res64: 3863B408BCE4C520 Time : 1754.0 sec. user=Zachariassen [2009-08-14 23:44:00] 609*2^710853-1 is not prime. Res64: F22270BD98A98804 Time : 1759.0 sec. user=Zachariassen [2009-08-14 23:49:46] 693*2^710855-1 is not prime. Res64: 87ECEBC6DC7E2816 Time : 1305.0 sec. user=Zachariassen [2009-08-14 23:49:54] 705*2^710856-1 is not prime. Res64: 8A93CDD271C7C007 Time : 1310.0 sec. user=Zachariassen [2009-08-14 23:50:57] 777*2^710856-1 is not prime. Res64: A3D5B04792D4F484 Time : 1330.0 sec. user=Zachariassen [2009-08-14 23:51:50] 699*2^710857-1 is not prime. Res64: 5F574B9ECC21B604 Time : 1329.0 sec. user=Zachariassen [2009-08-14 23:57:20] 643*2^710855-1 is not prime. Res64: F076146AB4652F07 Time : 1780.0 sec. user=Zachariassen [2009-08-14 23:57:43] 679*2^710855-1 is not prime. Res64: 2D688D99D303420C Time : 1783.0 sec. user=Zachariassen [2009-08-14 23:57:49] 765*2^710856-1 is not prime. Res64: 1EA300DDC1B55695 Time : 1742.0 sec. user=Zachariassen [2009-08-14 23:58:27] 661*2^710857-1 is not prime. Res64: 7F39E935A080217F Time : 1749.0 sec.