user=vaughan [2011-11-14 00:02:01] 429*2^1047751-1 is not prime. Res64: B22283F30E0D6F2F Time : 1847.0 sec. user=vaughan [2011-11-14 00:05:35] 463*2^1047751-1 is not prime. Res64: 4EED204956A30054 Time : 1902.0 sec. user=vaughan [2011-11-14 00:09:24] 447*2^1047750-1 is not prime. Res64: 0C5F8064653632B4 Time : 2563.0 sec. user=vaughan [2011-11-14 00:11:01] 459*2^1047753-1 is not prime. Res64: 1D32B733B00C5E6D Time : 1282.0 sec. user=vaughan [2011-11-14 00:13:27] 525*2^1047751-1 is not prime. Res64: A0B6C2E2EE1C9B14 Time : 1881.0 sec. user=vaughan [2011-11-14 00:14:24] 495*2^1047753-1 is not prime. Res64: D25BF706DB8C4A63 Time : 1285.0 sec. user=vaughan [2011-11-14 00:19:38] 561*2^1047751-1 is not prime. Res64: 037963655E92E87F Time : 1880.0 sec. user=vaughan [2011-11-14 00:24:32] 465*2^1047751-1 is not prime. Res64: D308CB9CE5986334 Time : 2626.0 sec. user=vaughan [2011-11-14 00:30:37] 491*2^1047754-1 is not prime. Res64: 64BD0D64E35C191F Time : 1858.0 sec. user=vaughan [2011-11-14 00:30:56] 591*2^1047753-1 is not prime. Res64: E6BFE1E7FA4BC3AF Time : 2136.0 sec. user=vaughan [2011-11-14 00:31:38] 425*2^1047754-1 is not prime. Res64: 967AE918E930FC8A Time : 2135.0 sec. user=vaughan [2011-11-14 00:32:21] 503*2^1047756-1 is not prime. Res64: E82425E95B5AE5A3 Time : 1281.0 sec. user=vaughan [2011-11-14 00:32:48] 551*2^1047754-1 is not prime. Res64: FDAD5103ECCFD639 Time : 1848.0 sec. user=vaughan [2011-11-14 00:35:49] 563*2^1047756-1 is not prime. Res64: 0681A6E134887640 Time : 1286.0 sec. user=vaughan [2011-11-14 00:37:07] 585*2^1047755-1 is not prime. Res64: 2079DABF5735B403 Time : 1893.0 sec. user=vaughan [2011-11-14 00:44:47] 525*2^1047756-1 is not prime. Res64: 69F56BCB1A6B8158 Time : 1880.0 sec. user=vaughan [2011-11-14 00:50:57] 587*2^1047756-1 is not prime. Res64: 97AD893B44E9BAA7 Time : 1879.0 sec. user=vaughan [2011-11-14 00:52:28] 485*2^1047756-1 is not prime. Res64: 9F57FC92DEB20F9F Time : 2585.0 sec. user=vaughan [2011-11-14 00:53:40] 417*2^1047758-1 is not prime. Res64: 15B9E9C9E3F56F33 Time : 1279.0 sec. user=vaughan [2011-11-14 00:57:14] 425*2^1047758-1 is not prime. Res64: F8B043605B9B7546 Time : 1285.0 sec. user=vaughan [2011-11-14 01:01:31] 405*2^1047757-1 is not prime. Res64: 0AE7DD982379B09F Time : 1855.0 sec. user=vaughan [2011-11-14 01:03:35] 423*2^1047758-1 is not prime. Res64: 27EED5CB73585A23 Time : 1847.0 sec. user=vaughan [2011-11-14 01:06:31] 511*2^1047757-1 is not prime. Res64: 159ED4BB8CD9C2F5 Time : 2135.0 sec. user=vaughan [2011-11-14 01:07:25] 519*2^1047757-1 is not prime. Res64: F6EA732B00FF9063 Time : 2147.0 sec. user=vaughan [2011-11-14 01:08:17] 597*2^1047756-1 is not prime. Res64: 2BF3A3A13DD9B9FD Time : 2626.0 sec. user=vaughan [2011-11-14 01:08:46] 503*2^1047758-1 is not prime. Res64: F2E738A51845F8C2 Time : 1900.0 sec. user=vaughan [2011-11-14 01:14:59] 517*2^1047761-1 is not prime. Res64: E03E44CA092B7D97 Time : 1280.0 sec. user=vaughan [2011-11-14 01:16:09] 403*2^1047759-1 is not prime. Res64: 089CC6C1A132D9E8 Time : 1882.0 sec. user=vaughan [2011-11-14 01:18:39] 547*2^1047761-1 is not prime. Res64: B4BA389D513C8ECF Time : 1286.0 sec. user=vaughan [2011-11-14 01:22:19] 597*2^1047760-1 is not prime. Res64: 6F72EAA33B09F810 Time : 1882.0 sec. user=vaughan [2011-11-14 01:32:27] 423*2^1047762-1 is not prime. Res64: 528BE3852C262263 Time : 1856.0 sec. user=vaughan [2011-11-14 01:34:23] 437*2^1047762-1 is not prime. Res64: 4A2C2E9C5B8463BC Time : 1848.0 sec. user=vaughan [2011-11-14 01:34:41] 511*2^1047761-1 is not prime. Res64: 3A36DC2B7003425B Time : 2534.0 sec. user=vaughan [2011-11-14 01:36:23] 447*2^1047764-1 is not prime. Res64: 368F7916E5D9E552 Time : 1284.0 sec. user=vaughan [2011-11-14 01:40:05] 555*2^1047763-1 is not prime. Res64: 37F5699F1560E45B Time : 1879.0 sec. user=vaughan [2011-11-14 01:40:08] 585*2^1047764-1 is not prime. Res64: 41E918AF10E53ABB Time : 1290.0 sec. user=vaughan [2011-11-14 01:41:47] 503*2^1047762-1 is not prime. Res64: 2B2ED4C65B7E1C13 Time : 2116.0 sec. user=vaughan [2011-11-14 01:42:35] 415*2^1047763-1 is not prime. Res64: 50C8A6272744CA00 Time : 2111.0 sec. user=vaughan [2011-11-14 01:47:29] 489*2^1047764-1 is not prime. Res64: 8B4006615CAB6CF8 Time : 1880.0 sec. user=vaughan [2011-11-14 01:52:05] 493*2^1047763-1 is not prime. Res64: DB1FCEDDAE009781 Time : 2628.0 sec. user=vaughan [2011-11-14 01:53:39] 409*2^1047765-1 is not prime. Res64: 5E1582AC1D84F36A Time : 1880.0 sec. user=vaughan [2011-11-14 01:57:42] 525*2^1047766-1 is not prime. Res64: F222C22C3ACEC59A Time : 1279.0 sec. user=vaughan [2011-11-14 02:01:33] 505*2^1047767-1 is not prime. Res64: 580E3AF0F2051E85 Time : 1285.0 sec. user=vaughan [2011-11-14 02:03:24] 465*2^1047765-1 is not prime. Res64: 976915F2B2EA968F Time : 1857.0 sec. user=vaughan [2011-11-14 02:05:11] 475*2^1047765-1 is not prime. Res64: 61D0ED3812FCD787 Time : 1848.0 sec. user=vaughan [2011-11-14 02:11:21] 403*2^1047767-1 is not prime. Res64: 277BFC99134E8FE4 Time : 1877.0 sec. user=vaughan [2011-11-14 02:15:25] 453*2^1047766-1 is not prime. Res64: 1FF8B32C28D9B176 Time : 2445.0 sec. user=vaughan [2011-11-14 02:16:42] 531*2^1047767-1 is not prime. Res64: 6500785A56E0EA89 Time : 2096.0 sec. user=vaughan [2011-11-14 02:17:17] 509*2^1047768-1 is not prime. Res64: 3B4E8BDAB7E5B3AA Time : 2082.0 sec. user=vaughan [2011-11-14 02:18:49] 557*2^1047768-1 is not prime. Res64: 43EC483EFAD90C87 Time : 1880.0 sec. user=vaughan [2011-11-14 02:19:03] 561*2^1047769-1 is not prime. Res64: 7B5F21092B6456C1 Time : 1281.0 sec. user=vaughan [2011-11-14 02:23:00] 565*2^1047769-1 is not prime. Res64: 715A4D9610A695C8 Time : 1288.0 sec. user=vaughan [2011-11-14 02:24:59] 421*2^1047769-1 is not prime. Res64: DDBBF3BD024E924E Time : 1881.0 sec. user=vaughan [2011-11-14 02:34:20] 453*2^1047770-1 is not prime. Res64: 8F07C646323A3EBD Time : 1857.0 sec. user=vaughan [2011-11-14 02:35:53] 567*2^1047768-1 is not prime. Res64: 742FF07CA64EC6C7 Time : 2628.0 sec. user=vaughan [2011-11-14 02:36:01] 415*2^1047771-1 is not prime. Res64: F3335D5CF016A8B6 Time : 1851.0 sec. user=vaughan [2011-11-14 02:40:23] 519*2^1047773-1 is not prime. Res64: DA27293408FE2971 Time : 1280.0 sec. user=vaughan [2011-11-14 02:42:39] 513*2^1047771-1 is not prime. Res64: E644327606A89F4C Time : 1878.0 sec. user=vaughan [2011-11-14 02:44:24] 447*2^1047774-1 is not prime. Res64: 74A07D906CE37959 Time : 1285.0 sec. user=vaughan [2011-11-14 02:50:08] 511*2^1047773-1 is not prime. Res64: 2AAD8215CC7355A2 Time : 1880.0 sec. user=vaughan [2011-11-14 02:51:15] 533*2^1047772-1 is not prime. Res64: 25C293B948B7A025 Time : 2073.0 sec. user=vaughan [2011-11-14 02:51:42] 441*2^1047773-1 is not prime. Res64: 82768442C050CE13 Time : 2065.0 sec. user=vaughan [2011-11-14 02:55:15] 429*2^1047772-1 is not prime. Res64: 28408D313D3E4F70 Time : 2390.0 sec. user=vaughan [2011-11-14 02:56:18] 495*2^1047774-1 is not prime. Res64: 9ABA3D4212C3BE40 Time : 1879.0 sec. user=vaughan [2011-11-14 03:01:43] 555*2^1047777-1 is not prime. Res64: 9633C5364A118A9D Time : 1281.0 sec. user=vaughan [2011-11-14 03:05:16] 507*2^1047774-1 is not prime. Res64: 1AD1A4C66A66CCE4 Time : 1857.0 sec. user=vaughan [2011-11-14 03:05:52] 491*2^1047778-1 is not prime. Res64: 6CA8E7AEB02830FC Time : 1288.0 sec. user=vaughan [2011-11-14 03:06:46] 465*2^1047777-1 is not prime. Res64: E83FECACC47AE3BB Time : 1845.0 sec. user=vaughan [2011-11-14 03:13:42] 577*2^1047777-1 is not prime. Res64: A2F05A25AC5B0481 Time : 1863.0 sec. user=vaughan [2011-11-14 03:19:39] 563*2^1047776-1 is not prime. Res64: 4024D826E92CB80E Time : 2626.0 sec. user=vaughan [2011-11-14 03:21:31] 533*2^1047778-1 is not prime. Res64: 0988E374BE052622 Time : 1883.0 sec. user=vaughan [2011-11-14 03:23:05] 465*2^1047780-1 is not prime. Res64: 923270F5039D3432 Time : 1283.0 sec. user=vaughan [2011-11-14 03:25:16] 433*2^1047779-1 is not prime. Res64: 2268AE97BB681097 Time : 2041.0 sec. user=vaughan [2011-11-14 03:25:51] 505*2^1047779-1 is not prime. Res64: 8FEECDF0BA60F66F Time : 2049.0 sec. user=vaughan [2011-11-14 03:27:17] 527*2^1047780-1 is not prime. Res64: C96BEBC50AD7E518 Time : 1286.0 sec. user=vaughan [2011-11-14 03:27:41] 429*2^1047780-1 is not prime. Res64: 1211142A9047D192 Time : 1883.0 sec. user=vaughan [2011-11-14 03:34:10] 531*2^1047779-1 is not prime. Res64: 97547858DFB0881C Time : 2336.0 sec. user=vaughan [2011-11-14 03:36:15] 525*2^1047780-1 is not prime. Res64: E254CC383E0A3310 Time : 1859.0 sec. user=vaughan [2011-11-14 03:37:37] 587*2^1047780-1 is not prime. Res64: 277D7DB8CA5128D3 Time : 1851.0 sec. user=vaughan [2011-11-14 03:44:25] 495*2^1047782-1 is not prime. Res64: 500283B94C7C0117 Time : 1280.0 sec. user=vaughan [2011-11-14 03:44:44] 439*2^1047781-1 is not prime. Res64: C9C2961D4F143169 Time : 1862.0 sec. user=vaughan [2011-11-14 03:48:46] 437*2^1047784-1 is not prime. Res64: CBEAB6A20D58AEFA Time : 1289.0 sec. user=vaughan [2011-11-14 03:52:50] 405*2^1047782-1 is not prime. Res64: 21DB380966E21FE3 Time : 1880.0 sec. user=vaughan [2011-11-14 03:58:55] 567*2^1047782-1 is not prime. Res64: 7B70E6A527C63226 Time : 2019.0 sec. user=vaughan [2011-11-14 03:59:01] 597*2^1047784-1 is not prime. Res64: 8B2DCBF8EC440B67 Time : 1881.0 sec. user=vaughan [2011-11-14 03:59:34] 481*2^1047783-1 is not prime. Res64: EF8DA83B36D056D6 Time : 2023.0 sec. user=vaughan [2011-11-14 04:03:27] 549*2^1047781-1 is not prime. Res64: 671578559C82AA22 Time : 2628.0 sec. user=vaughan [2011-11-14 04:05:49] 541*2^1047787-1 is not prime. Res64: ABDCD1EDB42CE02A Time : 1284.0 sec. user=vaughan [2011-11-14 04:07:09] 447*2^1047786-1 is not prime. Res64: D1FF98BEF6A39BFE Time : 1855.0 sec. user=vaughan [2011-11-14 04:08:23] 453*2^1047786-1 is not prime. Res64: CD1DC19292F9E0D4 Time : 1847.0 sec. user=vaughan [2011-11-14 04:10:14] 405*2^1047788-1 is not prime. Res64: EB92D79700D430B9 Time : 1288.0 sec. user=vaughan [2011-11-14 04:11:38] 537*2^1047785-1 is not prime. Res64: 5ABE79DC804A2C85 Time : 2248.0 sec. user=vaughan [2011-11-14 04:15:54] 549*2^1047787-1 is not prime. Res64: EBFE560B20284B7F Time : 1871.0 sec. user=vaughan [2011-11-14 04:24:11] 479*2^1047788-1 is not prime. Res64: 39565BC927C4F36F Time : 1881.0 sec. user=vaughan [2011-11-14 04:27:11] 525*2^1047789-1 is not prime. Res64: 15686D00BCCC4283 Time : 1282.0 sec. user=vaughan [2011-11-14 04:30:23] 599*2^1047788-1 is not prime. Res64: BE90AF1A23996D08 Time : 1882.0 sec. user=vaughan [2011-11-14 04:32:40] 441*2^1047789-1 is not prime. Res64: 3472A8647F0688FF Time : 1987.0 sec. user=vaughan [2011-11-14 04:32:40] 579*2^1047788-1 is not prime. Res64: 845FDDD81C399ABB Time : 2025.0 sec. user=vaughan [2011-11-14 04:32:46] 561*2^1047790-1 is not prime. Res64: 33F67DFDDD265DC9 Time : 1352.0 sec. user=vaughan [2011-11-14 04:38:07] 437*2^1047790-1 is not prime. Res64: 57AB388F03E545B5 Time : 1858.0 sec. user=vaughan [2011-11-14 04:39:11] 477*2^1047790-1 is not prime. Res64: 916BEBD7CAA0F4A3 Time : 1848.0 sec. user=vaughan [2011-11-14 04:46:41] 505*2^1047791-1 is not prime. Res64: 63A8D4663DD8123B Time : 1848.0 sec. user=vaughan [2011-11-14 04:47:20] 481*2^1047789-1 is not prime. Res64: ED59B3A8D9C51946 Time : 2633.0 sec. user=vaughan [2011-11-14 04:47:29] 593*2^1047790-1 is not prime. Res64: 5A24777239FE08BF Time : 2151.0 sec. user=vaughan [2011-11-14 04:48:28] 447*2^1047792-1 is not prime. Res64: 9DEBEF1B1BB70977 Time : 1277.0 sec. user=vaughan [2011-11-14 04:54:14] 547*2^1047793-1 is not prime. Res64: 8D7288E7EDBA8932 Time : 1288.0 sec. user=vaughan [2011-11-14 04:55:36] 559*2^1047791-1 is not prime. Res64: 869451DE6727AFFE Time : 1885.0 sec. user=vaughan [2011-11-14 05:01:49] 459*2^1047792-1 is not prime. Res64: BFE8EB3B001FE59A Time : 1886.0 sec. user=vaughan [2011-11-14 05:05:07] 479*2^1047792-1 is not prime. Res64: 0E3BD846ECF3DFA2 Time : 1948.0 sec. user=vaughan [2011-11-14 05:07:02] 557*2^1047792-1 is not prime. Res64: 349F9A60195D1FE8 Time : 2063.0 sec. user=vaughan [2011-11-14 05:09:04] 417*2^1047794-1 is not prime. Res64: 4272B50FC4263EBB Time : 1858.0 sec. user=vaughan [2011-11-14 05:09:44] 437*2^1047796-1 is not prime. Res64: A5586FA414345BA1 Time : 1277.0 sec. user=vaughan [2011-11-14 05:10:00] 431*2^1047794-1 is not prime. Res64: 1AFC70CA008E5F97 Time : 1850.0 sec. user=vaughan [2011-11-14 05:15:43] 447*2^1047796-1 is not prime. Res64: 6A79A8C193B762C4 Time : 1290.0 sec. user=vaughan [2011-11-14 05:17:15] 453*2^1047795-1 is not prime. Res64: 0F27A71375570B0C Time : 1835.0 sec. user=vaughan [2011-11-14 05:22:02] 513*2^1047795-1 is not prime. Res64: 0D8A523BACF0F991 Time : 2073.0 sec. user=vaughan [2011-11-14 05:26:56] 453*2^1047796-1 is not prime. Res64: 023BAEC9E904EA3E Time : 1880.0 sec. user=vaughan [2011-11-14 05:31:00] 571*2^1047797-1 is not prime. Res64: 9B61D9C927197A2F Time : 1276.0 sec. user=vaughan [2011-11-14 05:31:10] 465*2^1047795-1 is not prime. Res64: CAA97AE217F99143 Time : 2630.0 sec. user=vaughan [2011-11-14 05:33:13] 483*2^1047796-1 is not prime. Res64: 7FD5C1B8B9DBE5F1 Time : 1885.0 sec. user=vaughan [2011-11-14 05:37:01] 469*2^1047797-1 is not prime. Res64: 1FACBDD52CA7023D Time : 1915.0 sec. user=vaughan [2011-11-14 05:37:11] 503*2^1047798-1 is not prime. Res64: 3BF5FEAF276E152F Time : 1289.0 sec. user=vaughan [2011-11-14 05:39:12] 475*2^1047797-1 is not prime. Res64: B0CB7DF73E33015D Time : 1930.0 sec. user=vaughan [2011-11-14 05:40:01] 517*2^1047797-1 is not prime. Res64: D0DA9B7D19116268 Time : 1857.0 sec. user=vaughan [2011-11-14 05:40:48] 417*2^1047798-1 is not prime. Res64: 5647463545FF2333 Time : 1848.0 sec. user=vaughan [2011-11-14 05:47:50] 513*2^1047798-1 is not prime. Res64: E5C076CE34A2D625 Time : 1835.0 sec. user=vaughan [2011-11-14 05:52:21] 559*2^1047799-1 is not prime. Res64: 080F44459EED52A7 Time : 1281.0 sec. user=vaughan [2011-11-14 05:56:25] 563*2^1047798-1 is not prime. Res64: 4FCC27291C49F5DE Time : 2063.0 sec. user=vaughan [2011-11-14 05:58:16] 483*2^1047799-1 is not prime. Res64: D612E888EEAA721E Time : 1880.0 sec. user=vaughan [2011-11-14 05:58:38] 459*2^1047800-1 is not prime. Res64: 1EFDBF06B28B927D Time : 1287.0 sec. user=vaughan [2011-11-14 06:04:37] 595*2^1047799-1 is not prime. Res64: E8A4A9AA2DEDA3A8 Time : 1884.0 sec. user=vaughan [2011-11-14 06:08:56] 407*2^1047800-1 is not prime. Res64: 70BD99791521B1EB Time : 1916.0 sec. user=vaughan [2011-11-14 06:10:56] 585*2^1047800-1 is not prime. Res64: 97360D09FB1774DB Time : 1855.0 sec. user=vaughan [2011-11-14 06:11:02] 567*2^1047800-1 is not prime. Res64: 87A1775B18D0ED09 Time : 1910.0 sec. user=vaughan [2011-11-14 06:11:36] 593*2^1047800-1 is not prime. Res64: E2DFAE985474E4A3 Time : 1849.0 sec. user=vaughan [2011-11-14 06:13:36] 425*2^1047802-1 is not prime. Res64: 460465174BBE5846 Time : 1276.0 sec. user=vaughan [2011-11-14 06:15:01] 583*2^1047799-1 is not prime. Res64: 268E6E27874401B5 Time : 2631.0 sec. user=vaughan [2011-11-14 06:18:13] 409*2^1047801-1 is not prime. Res64: 86B32D8907248605 Time : 1823.0 sec. user=vaughan [2011-11-14 06:20:04] 497*2^1047802-1 is not prime. Res64: 4767458ECB165DD4 Time : 1286.0 sec. user=vaughan [2011-11-14 06:29:37] 495*2^1047802-1 is not prime. Res64: 9590A1AB23B883D5 Time : 1881.0 sec. user=vaughan [2011-11-14 06:30:01] 483*2^1047802-1 is not prime. Res64: 983817B2F4B0502A Time : 2017.0 sec. user=vaughan [2011-11-14 06:34:52] 539*2^1047804-1 is not prime. Res64: 9164CB8979D3CB09 Time : 1276.0 sec. user=vaughan [2011-11-14 06:35:56] 433*2^1047803-1 is not prime. Res64: 9FF90C26E9F14F96 Time : 1880.0 sec. user=vaughan [2011-11-14 06:40:31] 489*2^1047803-1 is not prime. Res64: 3D6687514DB7DEE8 Time : 1895.0 sec. user=vaughan [2011-11-14 06:41:27] 437*2^1047806-1 is not prime. Res64: 5B24985A0EE10A43 Time : 1284.0 sec. user=vaughan [2011-11-14 06:41:53] 501*2^1047803-1 is not prime. Res64: 95F0E7B262C2E98C Time : 1857.0 sec. user=vaughan [2011-11-14 06:42:25] 459*2^1047804-1 is not prime. Res64: 56ACA1FD7063D979 Time : 1849.0 sec. user=vaughan [2011-11-14 06:42:36] 549*2^1047803-1 is not prime. Res64: 4D7FBDFB14A73EC2 Time : 1894.0 sec. user=vaughan [2011-11-14 06:48:37] 481*2^1047805-1 is not prime. Res64: 265F843AEAB7C6C3 Time : 1825.0 sec. user=vaughan [2011-11-14 06:56:12] 557*2^1047806-1 is not prime. Res64: FDB0440B21CC5C2C Time : 1280.0 sec. user=vaughan [2011-11-14 06:58:51] 411*2^1047805-1 is not prime. Res64: DEA1BB1D4F8BF822 Time : 2630.0 sec. user=vaughan [2011-11-14 07:00:56] 447*2^1047806-1 is not prime. Res64: 1A32967FAAC30E28 Time : 1879.0 sec. user=vaughan [2011-11-14 07:02:50] 441*2^1047807-1 is not prime. Res64: 1F0B36920AF4E7A6 Time : 1283.0 sec. user=vaughan [2011-11-14 07:03:13] 507*2^1047806-1 is not prime. Res64: 8493CB35B3931731 Time : 1992.0 sec. user=vaughan [2011-11-14 07:07:15] 573*2^1047806-1 is not prime. Res64: D4DC682E0F2CD40C Time : 1879.0 sec. user=vaughan [2011-11-14 07:11:56] 433*2^1047807-1 is not prime. Res64: 3B8B9E3687D39A54 Time : 1885.0 sec. user=vaughan [2011-11-14 07:12:49] 451*2^1047807-1 is not prime. Res64: 32C3C06257E201A2 Time : 1857.0 sec. user=vaughan [2011-11-14 07:13:10] 523*2^1047807-1 is not prime. Res64: C4E231830E7BAE5C Time : 1845.0 sec. user=vaughan [2011-11-14 07:14:07] 429*2^1047808-1 is not prime. Res64: 66C1C40B20A8213E Time : 1891.0 sec. user=vaughan [2011-11-14 07:17:32] 465*2^1047810-1 is not prime. Res64: 48C786607A127D83 Time : 1280.0 sec. user=vaughan [2011-11-14 07:18:59] 573*2^1047808-1 is not prime. Res64: 2F95FA33525F357E Time : 1822.0 sec. user=vaughan [2011-11-14 07:24:09] 567*2^1047810-1 is not prime. Res64: 0ADC4C816D61849A Time : 1279.0 sec. user=vaughan [2011-11-14 07:36:01] 489*2^1047811-1 is not prime. Res64: 696CCB542E76A624 Time : 1968.0 sec. user=vaughan [2011-11-14 07:38:34] 511*2^1047811-1 is not prime. Res64: C0F8A674AE0767FA Time : 1880.0 sec. user=vaughan [2011-11-14 07:42:41] 521*2^1047810-1 is not prime. Res64: 6AC6395D10D2BE88 Time : 2631.0 sec. user=vaughan [2011-11-14 07:43:07] 541*2^1047811-1 is not prime. Res64: B3D88F26D3ACCA21 Time : 1872.0 sec. user=vaughan [2011-11-14 07:44:59] 429*2^1047813-1 is not prime. Res64: 5680370C2BE3012E Time : 1250.0 sec. user=vaughan [2011-11-14 07:45:25] 519*2^1047812-1 is not prime. Res64: BE044B974B9DF62A Time : 1878.0 sec. user=vaughan [2011-11-14 07:49:08] 585*2^1047812-1 is not prime. Res64: 185FF74D8092BBBD Time : 1809.0 sec. user=vaughan [2011-11-14 08:05:45] 461*2^1047814-1 is not prime. Res64: CD06ECE6D4C95896 Time : 1246.0 sec. user=vaughan [2011-11-14 08:08:47] 585*2^1047813-1 is not prime. Res64: A6FFD0FE2753CDE2 Time : 1813.0 sec. user=vaughan [2011-11-14 08:09:33] 451*2^1047813-1 is not prime. Res64: D672DD34876E472A Time : 2013.0 sec. user=vaughan [2011-11-14 08:15:31] 455*2^1047814-1 is not prime. Res64: E4C1B34F4BA8545F Time : 1944.0 sec. user=vaughan [2011-11-14 08:18:21] 521*2^1047814-1 is not prime. Res64: 5F65089E01293794 Time : 1976.0 sec. user=vaughan [2011-11-14 08:19:54] 545*2^1047814-1 is not prime. Res64: B68D5224608FA2E4 Time : 1847.0 sec. user=vaughan [2011-11-14 08:26:32] 551*2^1047814-1 is not prime. Res64: 8F0E1FF5A458B29A Time : 1247.0 sec. user=vaughan [2011-11-14 08:26:39] 591*2^1047813-1 is not prime. Res64: 34A66C789C4B6F37 Time : 2639.0 sec. user=vaughan [2011-11-14 09:10:34] 465*2^1047817-1 is not prime. Res64: E9314E602BED3C5B Time : 2635.0 sec. user=vaughan [2011-11-14 09:54:29] 531*2^1047817-1 is not prime. Res64: 66BE20954D247A26 Time : 2635.0 sec. user=vaughan [2011-11-14 10:38:25] 533*2^1047818-1 is not prime. Res64: 07D8D8DC5340DFD7 Time : 2636.0 sec. user=vaughan [2011-11-14 11:22:19] 585*2^1047818-1 is not prime. Res64: 4B11C0D65251D2FF Time : 2635.0 sec. user=vaughan [2011-11-14 12:06:12] 441*2^1047819-1 is not prime. Res64: 283CD20EBDDBDC0B Time : 2633.0 sec. user=vaughan [2011-11-14 12:49:56] 469*2^1047819-1 is not prime. Res64: 024731FBD1EF9D27 Time : 2625.0 sec. user=vaughan [2011-11-14 13:33:47] 483*2^1047819-1 is not prime. Res64: A563A81DECD1F740 Time : 2632.0 sec. user=vaughan [2011-11-14 14:17:34] 553*2^1047819-1 is not prime. Res64: E10AC653A54C23A1 Time : 2627.0 sec. user=vaughan [2011-11-14 15:01:21] 429*2^1047820-1 is not prime. Res64: E1BA42117455AD17 Time : 2628.0 sec. user=vaughan [2011-11-14 15:45:09] 479*2^1047820-1 is not prime. Res64: EB87A786FBC4980D Time : 2628.0 sec. user=vaughan [2011-11-14 16:28:53] 447*2^1047821-1 is not prime. Res64: 56C2F4762E05BFFE Time : 2624.0 sec. user=vaughan [2011-11-14 17:12:42] 591*2^1047821-1 is not prime. Res64: A7C327A9B1D9FF2C Time : 2629.0 sec. user=vaughan [2011-11-14 17:56:38] 431*2^1047822-1 is not prime. Res64: 80EF0C012F1CF1E6 Time : 2636.0 sec. user=vaughan [2011-11-14 18:02:52] 445*2^1047815-1 is not prime. Res64: A84EB472D3DB6049 Time : 35645.0 sec. user=vaughan [2011-11-14 18:04:18] 525*2^1047810-1 is not prime. Res64: 64231C7313080982 Time : 39802.0 sec. user=vaughan [2011-11-14 18:12:03] 413*2^1047816-1 is not prime. Res64: 0A752932BE949105 Time : 36150.0 sec. user=vaughan [2011-11-14 18:15:33] 425*2^1047816-1 is not prime. Res64: 0FB515EE28E6F856 Time : 36003.0 sec. user=vaughan [2011-11-14 18:16:16] 515*2^1047812-1 is not prime. Res64: D8DE5C4B0B35EC80 Time : 39787.0 sec. user=vaughan [2011-11-14 18:17:03] 579*2^1047812-1 is not prime. Res64: CA6CAC49553FDC00 Time : 39571.0 sec. user=vaughan [2011-11-14 18:17:19] 485*2^1047816-1 is not prime. Res64: FC127CA07AEEDAC5 Time : 35938.0 sec. user=vaughan [2011-11-14 18:17:55] 525*2^1047816-1 is not prime. Res64: D3B84D7785EA2B42 Time : 35881.0 sec. user=vaughan [2011-11-14 18:18:15] 587*2^1047816-1 is not prime. Res64: ED347855987F0AA8 Time : 35503.0 sec. user=vaughan [2011-11-14 18:18:47] 405*2^1047812-1 is not prime. Res64: 990AB310D5BD7F8F Time : 39958.0 sec. user=vaughan [2011-11-14 18:36:28] 493*2^1047823-1 is not prime. Res64: 9DC0C0D44C748013 Time : 1930.0 sec. user=vaughan [2011-11-14 18:37:40] 563*2^1047822-1 is not prime. Res64: 49BD0AD13C6B75D5 Time : 2088.0 sec. user=vaughan [2011-11-14 18:38:33] 593*2^1047824-1 is not prime. Res64: 1437B705FB197AE6 Time : 1290.0 sec. user=vaughan [2011-11-14 18:39:26] 561*2^1047826-1 is not prime. Res64: 7E04F144FC7FFA00 Time : 1272.0 sec. user=vaughan [2011-11-14 18:40:30] 555*2^1047822-1 is not prime. Res64: 9EA0F37B40CB1DBB Time : 2632.0 sec. user=vaughan [2011-11-14 18:41:52] 479*2^1047824-1 is not prime. Res64: 9A8D613BE40CBB14 Time : 1790.0 sec. user=vaughan [2011-11-14 18:48:04] 585*2^1047824-1 is not prime. Res64: 98B1E7E1A085F026 Time : 1908.0 sec. user=vaughan [2011-11-14 18:49:20] 415*2^1047825-1 is not prime. Res64: 8886672AE5E4BFC3 Time : 1921.0 sec. user=vaughan [2011-11-14 18:49:33] 573*2^1047824-1 is not prime. Res64: D01AB23E44D4CC26 Time : 2040.0 sec. user=vaughan [2011-11-14 18:51:22] 429*2^1047825-1 is not prime. Res64: 89B4E6025B251804 Time : 2007.0 sec. user=vaughan [2011-11-14 18:54:26] 581*2^1047826-1 is not prime. Res64: 29067D73EBCEAE32 Time : 2139.0 sec. user=vaughan [2011-11-14 19:00:03] 435*2^1047829-1 is not prime. Res64: BFD82BCE23D36CA4 Time : 1290.0 sec. user=vaughan [2011-11-14 19:00:37] 441*2^1047829-1 is not prime. Res64: 1AF002451F0DA092 Time : 1272.0 sec. user=vaughan [2011-11-14 19:08:41] 405*2^1047828-1 is not prime. Res64: 0B9DC9CEBAE892AF Time : 1933.0 sec. user=vaughan [2011-11-14 19:11:55] 477*2^1047829-1 is not prime. Res64: 484C5AC3319A4373 Time : 1803.0 sec. user=vaughan [2011-11-14 19:12:26] 525*2^1047828-1 is not prime. Res64: 0834738EFDA410EC Time : 2086.0 sec. user=vaughan [2011-11-14 19:19:58] 481*2^1047829-1 is not prime. Res64: 179A9544BA468683 Time : 1914.0 sec. user=vaughan [2011-11-14 19:21:33] 593*2^1047830-1 is not prime. Res64: 9FE59B1946BE39FB Time : 1290.0 sec. user=vaughan [2011-11-14 19:21:37] 505*2^1047829-1 is not prime. Res64: 2C76C0C34A295000 Time : 1937.0 sec. user=vaughan [2011-11-14 19:21:46] 439*2^1047831-1 is not prime. Res64: 80AA0DD3719FBD6B Time : 1269.0 sec. user=vaughan [2011-11-14 19:24:08] 511*2^1047829-1 is not prime. Res64: 896D03DC44E7E4DE Time : 2076.0 sec. user=vaughan [2011-11-14 19:24:25] 471*2^1047829-1 is not prime. Res64: 7AF0A79A08A9831E Time : 2635.0 sec. user=vaughan [2011-11-14 19:25:06] 589*2^1047829-1 is not prime. Res64: 95C1BA87D00353B1 Time : 2024.0 sec. user=vaughan [2011-11-14 19:30:06] 537*2^1047830-1 is not prime. Res64: 446549B8ED13BBA9 Time : 2140.0 sec. user=vaughan [2011-11-14 19:40:56] 513*2^1047831-1 is not prime. Res64: 9D384B3BE948984F Time : 1936.0 sec. user=vaughan [2011-11-14 19:41:48] 541*2^1047831-1 is not prime. Res64: 511A277B519C7F76 Time : 1793.0 sec. user=vaughan [2011-11-14 19:42:56] 409*2^1047833-1 is not prime. Res64: 2F281548BE252840 Time : 1270.0 sec. user=vaughan [2011-11-14 19:43:04] 495*2^1047832-1 is not prime. Res64: 94D049B6EF477A11 Time : 1292.0 sec. user=vaughan [2011-11-14 19:47:08] 595*2^1047831-1 is not prime. Res64: F1424DCC5BD3E712 Time : 2082.0 sec. user=vaughan [2011-11-14 19:51:52] 485*2^1047832-1 is not prime. Res64: DF9F481FC2ECE3F8 Time : 1914.0 sec. user=vaughan [2011-11-14 19:54:05] 563*2^1047832-1 is not prime. Res64: 7CD9CAC4C6EEFEA0 Time : 1948.0 sec. user=vaughan [2011-11-14 19:58:49] 529*2^1047833-1 is not prime. Res64: 912E71B1B5A45697 Time : 2081.0 sec. user=vaughan [2011-11-14 19:59:02] 401*2^1047834-1 is not prime. Res64: AA0B7AAD48E1F22E Time : 2036.0 sec. user=vaughan [2011-11-14 20:04:11] 437*2^1047836-1 is not prime. Res64: 281B7DCB4FE9FA3F Time : 1275.0 sec. user=vaughan [2011-11-14 20:04:34] 465*2^1047836-1 is not prime. Res64: E0D3A22E14EBD454 Time : 1290.0 sec. user=vaughan [2011-11-14 20:05:41] 447*2^1047834-1 is not prime. Res64: 99EDC9E2486D2494 Time : 2135.0 sec. user=vaughan [2011-11-14 20:08:27] 547*2^1047833-1 is not prime. Res64: 23C0B6C02FF2799C Time : 2642.0 sec. user=vaughan [2011-11-14 20:11:45] 463*2^1047835-1 is not prime. Res64: 746EB8C447EA0DC8 Time : 1798.0 sec. user=vaughan [2011-11-14 20:13:10] 555*2^1047834-1 is not prime. Res64: F74C5891D7ABB038 Time : 1934.0 sec. user=vaughan [2011-11-14 20:21:40] 479*2^1047836-1 is not prime. Res64: 32A3F9007DCE40D5 Time : 2072.0 sec. user=vaughan [2011-11-14 20:23:38] 539*2^1047836-1 is not prime. Res64: 0146E9939A8356D8 Time : 1906.0 sec. user=vaughan [2011-11-14 20:25:23] 469*2^1047837-1 is not prime. Res64: C4E623FD9EFBA132 Time : 1272.0 sec. user=vaughan [2011-11-14 20:26:05] 499*2^1047837-1 is not prime. Res64: 224C3B412891732E Time : 1292.0 sec. user=vaughan [2011-11-14 20:26:29] 405*2^1047837-1 is not prime. Res64: C1ED1EB9BD04EF91 Time : 1945.0 sec. user=vaughan [2011-11-14 20:32:52] 451*2^1047837-1 is not prime. Res64: B6FC6469BE68CCBE Time : 2030.0 sec. user=vaughan [2011-11-14 20:33:25] 427*2^1047837-1 is not prime. Res64: 290FF2DEB4EF319A Time : 2077.0 sec. user=vaughan [2011-11-14 20:41:11] 511*2^1047837-1 is not prime. Res64: 3088AE009E056562 Time : 2131.0 sec. user=vaughan [2011-11-14 20:41:30] 491*2^1047838-1 is not prime. Res64: AD8ED6694D290268 Time : 1785.0 sec. user=vaughan [2011-11-14 20:45:19] 591*2^1047838-1 is not prime. Res64: 65C22F889CE83A12 Time : 1929.0 sec. user=vaughan [2011-11-14 20:46:36] 447*2^1047841-1 is not prime. Res64: 3CEAE604F09E85C1 Time : 1273.0 sec. user=vaughan [2011-11-14 20:47:36] 465*2^1047841-1 is not prime. Res64: 0B13719EFD0B7CB4 Time : 1291.0 sec. user=vaughan [2011-11-14 20:52:13] 565*2^1047837-1 is not prime. Res64: 396E5A30B8247041 Time : 2627.0 sec. user=vaughan [2011-11-14 20:55:36] 415*2^1047841-1 is not prime. Res64: 92275178C9764474 Time : 1918.0 sec. user=vaughan [2011-11-14 20:56:28] 511*2^1047839-1 is not prime. Res64: 1D35DAE3E5712E65 Time : 2088.0 sec. user=vaughan [2011-11-14 20:58:30] 505*2^1047841-1 is not prime. Res64: 802C85CDC3321490 Time : 1921.0 sec. user=vaughan [2011-11-14 21:06:03] 453*2^1047842-1 is not prime. Res64: 275ADC6F424A19E3 Time : 1991.0 sec. user=vaughan [2011-11-14 21:07:08] 533*2^1047842-1 is not prime. Res64: FF9F8B97ED14419F Time : 2023.0 sec. user=vaughan [2011-11-14 21:07:48] 595*2^1047843-1 is not prime. Res64: 933E1803EA56E567 Time : 1272.0 sec. user=vaughan [2011-11-14 21:09:07] 455*2^1047844-1 is not prime. Res64: FDA83C1A433A1DD8 Time : 1291.0 sec. user=vaughan [2011-11-14 21:11:19] 481*2^1047843-1 is not prime. Res64: 56656F55CA59D2D5 Time : 1789.0 sec. user=vaughan [2011-11-14 21:17:12] 561*2^1047842-1 is not prime. Res64: DF205ADB07F768E7 Time : 2161.0 sec. user=vaughan [2011-11-14 21:18:29] 543*2^1047843-1 is not prime. Res64: 6EB47D21B8CDD822 Time : 1990.0 sec. user=vaughan [2011-11-14 21:29:02] 489*2^1047847-1 is not prime. Res64: 54D3D5C59399D7CB Time : 1274.0 sec. user=vaughan [2011-11-14 21:29:22] 405*2^1047846-1 is not prime. Res64: 91F4336BC50BC6A3 Time : 2027.0 sec. user=vaughan [2011-11-14 21:30:29] 567*2^1047846-1 is not prime. Res64: E84C38C1503820C9 Time : 1919.0 sec. user=vaughan [2011-11-14 21:30:35] 573*2^1047847-1 is not prime. Res64: 5326AD099DF9349D Time : 1289.0 sec. user=vaughan [2011-11-14 21:32:32] 557*2^1047846-1 is not prime. Res64: FEDFB7C9D35D35D5 Time : 2164.0 sec. user=vaughan [2011-11-14 21:36:00] 561*2^1047845-1 is not prime. Res64: 1F323ED2FAB851AE Time : 2627.0 sec. user=vaughan [2011-11-14 21:39:12] 585*2^1047846-1 is not prime. Res64: 35D43ACABE09C37E Time : 1989.0 sec. user=vaughan [2011-11-14 21:40:46] 587*2^1047846-1 is not prime. Res64: 6E127D9155E10D9A Time : 2018.0 sec. user=vaughan [2011-11-14 21:41:02] 595*2^1047847-1 is not prime. Res64: 2D48A20A684D2C02 Time : 1783.0 sec. user=vaughan [2011-11-14 21:50:15] 465*2^1047849-1 is not prime. Res64: 4A5C6B327A71FD36 Time : 1273.0 sec. user=vaughan [2011-11-14 21:51:56] 447*2^1047849-1 is not prime. Res64: 1D25B9EBACC0D756 Time : 2008.0 sec. user=vaughan [2011-11-14 21:52:09] 545*2^1047850-1 is not prime. Res64: 7724E0B18A38752F Time : 1294.0 sec. user=vaughan [2011-11-14 21:53:27] 437*2^1047848-1 is not prime. Res64: A77A84953539228D Time : 2175.0 sec. user=vaughan [2011-11-14 22:02:22] 531*2^1047850-1 is not prime. Res64: 7C872854BE309B43 Time : 1914.0 sec. user=vaughan [2011-11-14 22:03:24] 513*2^1047850-1 is not prime. Res64: D022B04AA162740C Time : 2042.0 sec. user=vaughan [2011-11-14 22:08:47] 575*2^1047850-1 is not prime. Res64: 30766A65FEB3EF31 Time : 2175.0 sec. user=vaughan [2011-11-14 22:10:48] 485*2^1047852-1 is not prime. Res64: 618D48AD1E298C3D Time : 1786.0 sec. user=vaughan [2011-11-14 22:11:28] 557*2^1047852-1 is not prime. Res64: AE62EEBE94ED16C0 Time : 1273.0 sec. user=vaughan [2011-11-14 22:12:15] 475*2^1047851-1 is not prime. Res64: 6CA4F11B1B840875 Time : 1984.0 sec. user=vaughan [2011-11-14 22:13:39] 511*2^1047853-1 is not prime. Res64: DED6B95024AFC2CC Time : 1291.0 sec. user=vaughan [2011-11-14 22:14:30] 405*2^1047852-1 is not prime. Res64: 2BAC7AC9850992CB Time : 2024.0 sec. user=vaughan [2011-11-14 22:19:52] 597*2^1047850-1 is not prime. Res64: D8B739DF9EDB5A6B Time : 2632.0 sec. user=vaughan [2011-11-14 22:25:14] 429*2^1047853-1 is not prime. Res64: C28F3190C878CCA7 Time : 1998.0 sec. user=vaughan [2011-11-14 22:29:40] 555*2^1047853-1 is not prime. Res64: 0E9A8714EA30AF9C Time : 2174.0 sec. user=vaughan [2011-11-14 22:32:45] 541*2^1047855-1 is not prime. Res64: D0849C1A0AC0C42B Time : 1278.0 sec. user=vaughan [2011-11-14 22:34:28] 453*2^1047854-1 is not prime. Res64: 9DCA2AD86171C56A Time : 1926.0 sec. user=vaughan [2011-11-14 22:35:07] 495*2^1047856-1 is not prime. Res64: BF47E524E964145F Time : 1288.0 sec. user=vaughan [2011-11-14 22:37:22] 521*2^1047854-1 is not prime. Res64: 6754FAC5FA930C9E Time : 2038.0 sec. user=vaughan [2011-11-14 22:40:40] 451*2^1047855-1 is not prime. Res64: A630628F900687B1 Time : 1792.0 sec. user=vaughan [2011-11-14 22:45:06] 561*2^1047854-1 is not prime. Res64: 4B5C5181927C7C60 Time : 2179.0 sec. user=vaughan [2011-11-14 22:45:48] 437*2^1047856-1 is not prime. Res64: 3D71018EB0E0CC67 Time : 2013.0 sec. user=vaughan [2011-11-14 22:49:13] 569*2^1047856-1 is not prime. Res64: 584C13F949B82E07 Time : 2084.0 sec. user=vaughan [2011-11-14 22:54:02] 553*2^1047859-1 is not prime. Res64: D0580203E4903E28 Time : 1277.0 sec. user=vaughan [2011-11-14 22:56:36] 495*2^1047860-1 is not prime. Res64: E695791EC5F1CB6A Time : 1290.0 sec. user=vaughan [2011-11-14 22:58:31] 471*2^1047858-1 is not prime. Res64: 41946778FCE006A9 Time : 1998.0 sec. user=vaughan [2011-11-14 23:05:05] 573*2^1047856-1 is not prime. Res64: FD38B5BEF6A282EF Time : 2628.0 sec. user=vaughan [2011-11-14 23:15:15] 453*2^1047862-1 is not prime. Res64: E67B8B0155EFDDD1 Time : 1274.0 sec. user=vaughan [2011-11-14 23:50:16] 505*2^1047863-1 is not prime. Res64: ADDCA0ED1DC3AF88 Time : 2712.0 sec.