user=vaughan [2011-11-13 00:10:47] 453*2^1047600-1 is not prime. Res64: D45C3CB170CA65B8 Time : 1285.0 sec. user=vaughan [2011-11-13 00:12:19] 447*2^1047598-1 is not prime. Res64: 9CE1345A78CC512E Time : 1880.0 sec. user=vaughan [2011-11-13 00:14:19] 499*2^1047601-1 is not prime. Res64: 801A320F4C23E82E Time : 1279.0 sec. user=vaughan [2011-11-13 00:15:04] 451*2^1047597-1 is not prime. Res64: ED93EEAB243237C6 Time : 2643.0 sec. user=vaughan [2011-11-13 00:16:25] 551*2^1047598-1 is not prime. Res64: E7E66BBE756C7DEA Time : 1859.0 sec. user=vaughan [2011-11-13 00:18:43] 531*2^1047599-1 is not prime. Res64: B52FA2453DF012D8 Time : 1881.0 sec. user=vaughan [2011-11-13 00:21:43] 441*2^1047601-1 is not prime. Res64: E2E7C2917EE3EF17 Time : 1734.0 sec. user=vaughan [2011-11-13 00:22:43] 527*2^1047600-1 is not prime. Res64: 567565A22C459AB6 Time : 1848.0 sec. user=vaughan [2011-11-13 00:32:12] 507*2^1047601-1 is not prime. Res64: 79DE46C1E9EB57D1 Time : 1285.0 sec. user=vaughan [2011-11-13 00:35:37] 503*2^1047602-1 is not prime. Res64: 7560A48726EECFCF Time : 1278.0 sec. user=vaughan [2011-11-13 00:43:40] 511*2^1047601-1 is not prime. Res64: EE725EE6335F1B25 Time : 1881.0 sec. user=vaughan [2011-11-13 00:47:22] 567*2^1047602-1 is not prime. Res64: 714982E8BB4954BA Time : 1857.0 sec. user=vaughan [2011-11-13 00:50:03] 489*2^1047603-1 is not prime. Res64: 686543D9034FDAB1 Time : 1880.0 sec. user=vaughan [2011-11-13 00:50:39] 555*2^1047603-1 is not prime. Res64: 0B7E16B4FD6D769B Time : 1736.0 sec. user=vaughan [2011-11-13 00:53:29] 413*2^1047604-1 is not prime. Res64: 808170450BCC730A Time : 1846.0 sec. user=vaughan [2011-11-13 00:53:36] 419*2^1047604-1 is not prime. Res64: 000DD969323E81A4 Time : 1285.0 sec. user=vaughan [2011-11-13 00:56:54] 465*2^1047604-1 is not prime. Res64: 2595598A707B1B2C Time : 1277.0 sec. user=vaughan [2011-11-13 00:59:11] 545*2^1047602-1 is not prime. Res64: 1ED40D62E04A30C8 Time : 2648.0 sec. user=vaughan [2011-11-13 01:15:02] 503*2^1047606-1 is not prime. Res64: 1C06F3686C0B5306 Time : 1287.0 sec. user=vaughan [2011-11-13 01:15:05] 483*2^1047604-1 is not prime. Res64: 9668635F423F6AC5 Time : 1885.0 sec. user=vaughan [2011-11-13 01:18:11] 537*2^1047606-1 is not prime. Res64: 93C4F7A582295D07 Time : 1278.0 sec. user=vaughan [2011-11-13 01:18:20] 507*2^1047604-1 is not prime. Res64: 2162050B1C77A616 Time : 1859.0 sec. user=vaughan [2011-11-13 01:19:34] 425*2^1047606-1 is not prime. Res64: FAEB000E38443357 Time : 1736.0 sec. user=vaughan [2011-11-13 01:21:23] 405*2^1047605-1 is not prime. Res64: 5701EBC6DCCEDC4A Time : 1880.0 sec. user=vaughan [2011-11-13 01:24:19] 437*2^1047606-1 is not prime. Res64: D027B924D055FB26 Time : 1850.0 sec. user=vaughan [2011-11-13 01:36:27] 405*2^1047607-1 is not prime. Res64: C2C8A439D9BB93A2 Time : 1286.0 sec. user=vaughan [2011-11-13 01:39:31] 475*2^1047607-1 is not prime. Res64: CE55DB107F556676 Time : 1280.0 sec. user=vaughan [2011-11-13 01:43:30] 557*2^1047606-1 is not prime. Res64: A8B9C984ED7EB382 Time : 2660.0 sec. user=vaughan [2011-11-13 01:46:26] 439*2^1047607-1 is not prime. Res64: 5572F44930B1510F Time : 1882.0 sec. user=vaughan [2011-11-13 01:48:29] 499*2^1047607-1 is not prime. Res64: 9F8BF95AEEBE5125 Time : 1735.0 sec. user=vaughan [2011-11-13 01:49:16] 489*2^1047607-1 is not prime. Res64: DBFFB03C3E5A7B9E Time : 1856.0 sec. user=vaughan [2011-11-13 01:52:43] 531*2^1047607-1 is not prime. Res64: 8374874F1F8BCC09 Time : 1880.0 sec. user=vaughan [2011-11-13 01:55:05] 423*2^1047608-1 is not prime. Res64: 8BB2F4EE2E3F416F Time : 1847.0 sec. user=vaughan [2011-11-13 01:57:55] 503*2^1047608-1 is not prime. Res64: 4329D86FD5F480BD Time : 1289.0 sec. user=vaughan [2011-11-13 02:00:47] 599*2^1047608-1 is not prime. Res64: EF55250E7717AB51 Time : 1277.0 sec. user=vaughan [2011-11-13 02:17:26] 471*2^1047609-1 is not prime. Res64: 8655855A9EF295E4 Time : 1737.0 sec. user=vaughan [2011-11-13 02:17:47] 441*2^1047609-1 is not prime. Res64: F5B6213F4F5B9134 Time : 1881.0 sec. user=vaughan [2011-11-13 02:19:21] 571*2^1047611-1 is not prime. Res64: D172AD2051DB4480 Time : 1287.0 sec. user=vaughan [2011-11-13 02:20:16] 471*2^1047610-1 is not prime. Res64: 6E24FF27145D04FD Time : 1860.0 sec. user=vaughan [2011-11-13 02:22:07] 525*2^1047613-1 is not prime. Res64: 2165E1D134A19241 Time : 1280.0 sec. user=vaughan [2011-11-13 02:24:04] 495*2^1047610-1 is not prime. Res64: 5590A913239F6F23 Time : 1882.0 sec. user=vaughan [2011-11-13 02:25:52] 475*2^1047611-1 is not prime. Res64: 74C1DA4CF76D2DBF Time : 1847.0 sec. user=vaughan [2011-11-13 02:27:49] 429*2^1047609-1 is not prime. Res64: 161AC757D2C60271 Time : 2660.0 sec. user=vaughan [2011-11-13 02:40:47] 595*2^1047613-1 is not prime. Res64: 39733B917861B987 Time : 1286.0 sec. user=vaughan [2011-11-13 02:43:23] 521*2^1047614-1 is not prime. Res64: 5F7D301F5EBE091D Time : 1277.0 sec. user=vaughan [2011-11-13 02:46:23] 541*2^1047613-1 is not prime. Res64: 3BFED31015E32C35 Time : 1738.0 sec. user=vaughan [2011-11-13 02:49:06] 549*2^1047613-1 is not prime. Res64: 9E50A92F9A02855A Time : 1880.0 sec. user=vaughan [2011-11-13 02:51:11] 495*2^1047614-1 is not prime. Res64: DB8D8EFE56E87247 Time : 1856.0 sec. user=vaughan [2011-11-13 02:55:23] 429*2^1047615-1 is not prime. Res64: FCF9EBD8CFDD0DEC Time : 1879.0 sec. user=vaughan [2011-11-13 02:56:39] 493*2^1047615-1 is not prime. Res64: FA0FF725CD43D32B Time : 1847.0 sec. user=vaughan [2011-11-13 03:02:15] 495*2^1047616-1 is not prime. Res64: 8806F658E85E228B Time : 1288.0 sec. user=vaughan [2011-11-13 03:04:41] 527*2^1047616-1 is not prime. Res64: EF87144373E4EA15 Time : 1278.0 sec. user=vaughan [2011-11-13 03:12:40] 543*2^1047615-1 is not prime. Res64: A04DEB8E7904579E Time : 2691.0 sec. user=vaughan [2011-11-13 03:15:18] 573*2^1047616-1 is not prime. Res64: 7899CA442C5DB690 Time : 1737.0 sec. user=vaughan [2011-11-13 03:20:22] 597*2^1047481-1 is not prime. Res64: 09F7C85EBDA5DDAC Time : 112850.0 sec. user=vaughan [2011-11-13 03:20:31] 587*2^1047616-1 is not prime. Res64: 29BA89B60BB7004E Time : 1885.0 sec. user=vaughan [2011-11-13 03:22:09] 435*2^1047617-1 is not prime. Res64: FF4F087311C9B11B Time : 1858.0 sec. user=vaughan [2011-11-13 03:22:17] 519*2^1047484-1 is not prime. Res64: 4AA78B2C0ABD4066 Time : 111473.0 sec. user=vaughan [2011-11-13 03:24:04] 551*2^1047618-1 is not prime. Res64: 91F8A34526D11C3F Time : 1309.0 sec. user=vaughan [2011-11-13 03:26:15] 567*2^1047618-1 is not prime. Res64: 6D66701C6377B0B5 Time : 1295.0 sec. user=vaughan [2011-11-13 03:26:48] 441*2^1047617-1 is not prime. Res64: 90D68B160C25C205 Time : 1885.0 sec. user=vaughan [2011-11-13 03:27:38] 453*2^1047618-1 is not prime. Res64: 29A3C0EE479474AB Time : 1859.0 sec. user=vaughan [2011-11-13 03:35:40] 563*2^1047484-1 is not prime. Res64: 73FA2522A71627DD Time : 112125.0 sec. user=vaughan [2011-11-13 03:45:32] 469*2^1047621-1 is not prime. Res64: 4F684A83EAC32258 Time : 1288.0 sec. user=vaughan [2011-11-13 03:47:35] 517*2^1047621-1 is not prime. Res64: 02A7F550F525339C Time : 1281.0 sec. user=vaughan [2011-11-13 03:50:37] 441*2^1047619-1 is not prime. Res64: A3F11033A2309FC2 Time : 2119.0 sec. user=vaughan [2011-11-13 03:51:49] 555*2^1047619-1 is not prime. Res64: 8A16CFB7BAB7973D Time : 1878.0 sec. user=vaughan [2011-11-13 03:52:04] 483*2^1047619-1 is not prime. Res64: 55FCAEDCBD2E4058 Time : 1903.0 sec. user=vaughan [2011-11-13 03:53:05] 477*2^1047620-1 is not prime. Res64: 74F2D97F96889EC2 Time : 1856.0 sec. user=vaughan [2011-11-13 03:56:43] 411*2^1047619-1 is not prime. Res64: A0D6DDB9F07F19C2 Time : 2644.0 sec. user=vaughan [2011-11-13 03:58:04] 577*2^1047621-1 is not prime. Res64: 6B471E0F94719F2A Time : 1877.0 sec. user=vaughan [2011-11-13 03:58:30] 401*2^1047622-1 is not prime. Res64: 5720A68495AB85FA Time : 1852.0 sec. user=vaughan [2011-11-13 04:06:56] 545*2^1047622-1 is not prime. Res64: B41733FC4E0670A8 Time : 1284.0 sec. user=vaughan [2011-11-13 04:08:55] 463*2^1047623-1 is not prime. Res64: CBB3E16CFFC1B46B Time : 1280.0 sec. user=vaughan [2011-11-13 04:13:05] 525*2^1047622-1 is not prime. Res64: 31EFC5AF83C55F24 Time : 2245.0 sec. user=vaughan [2011-11-13 04:15:58] 515*2^1047620-1 is not prime. Res64: 1A317C44DB070D9A Time : 3221.0 sec. user=vaughan [2011-11-13 04:23:09] 437*2^1047624-1 is not prime. Res64: 77265002F93293FE Time : 1881.0 sec. user=vaughan [2011-11-13 04:23:49] 453*2^1047624-1 is not prime. Res64: EB6A1B3D62BDF43F Time : 1905.0 sec. user=vaughan [2011-11-13 04:23:59] 569*2^1047624-1 is not prime. Res64: 312DA4B96014B8EC Time : 1855.0 sec. user=vaughan [2011-11-13 04:28:24] 431*2^1047626-1 is not prime. Res64: 0DC606426BF059EA Time : 1288.0 sec. user=vaughan [2011-11-13 04:28:47] 571*2^1047623-1 is not prime. Res64: D6616EAADEE73006 Time : 2290.0 sec. user=vaughan [2011-11-13 04:29:22] 481*2^1047625-1 is not prime. Res64: 40B7BAFB35713863 Time : 1878.0 sec. user=vaughan [2011-11-13 04:29:23] 541*2^1047625-1 is not prime. Res64: 1862CC819B4776B2 Time : 1854.0 sec. user=vaughan [2011-11-13 04:30:20] 545*2^1047626-1 is not prime. Res64: 7EDA2F554ACD7D31 Time : 1285.0 sec. user=vaughan [2011-11-13 04:40:48] 585*2^1047624-1 is not prime. Res64: A6AF8F150773AC4A Time : 2645.0 sec. user=vaughan [2011-11-13 04:49:44] 563*2^1047626-1 is not prime. Res64: F42A78957DCBC17B Time : 2200.0 sec. user=vaughan [2011-11-13 04:49:48] 575*2^1047628-1 is not prime. Res64: D09555466C7AF81F Time : 1284.0 sec. user=vaughan [2011-11-13 04:51:42] 455*2^1047630-1 is not prime. Res64: 02C56361A04AEA38 Time : 1282.0 sec. user=vaughan [2011-11-13 04:54:35] 445*2^1047627-1 is not prime. Res64: 1EDF29A018B0057D Time : 1886.0 sec. user=vaughan [2011-11-13 04:54:58] 539*2^1047628-1 is not prime. Res64: 4A1DD508648817B7 Time : 1859.0 sec. user=vaughan [2011-11-13 04:55:11] 497*2^1047628-1 is not prime. Res64: A07CEB4E63975409 Time : 1882.0 sec. user=vaughan [2011-11-13 05:00:29] 571*2^1047629-1 is not prime. Res64: 0D90AF6DA851661C Time : 1866.0 sec. user=vaughan [2011-11-13 05:00:49] 481*2^1047629-1 is not prime. Res64: BC38EFEE3AFB5772 Time : 1887.0 sec. user=vaughan [2011-11-13 05:05:10] 477*2^1047629-1 is not prime. Res64: FA2BF80FAA28C27A Time : 2183.0 sec. user=vaughan [2011-11-13 05:05:28] 433*2^1047627-1 is not prime. Res64: 02D1D8BAE5A097BC Time : 2970.0 sec. user=vaughan [2011-11-13 05:11:10] 415*2^1047631-1 is not prime. Res64: E015B3E6F815A3D8 Time : 1283.0 sec. user=vaughan [2011-11-13 05:13:01] 453*2^1047631-1 is not prime. Res64: FB4B16F94935A046 Time : 1280.0 sec. user=vaughan [2011-11-13 05:24:42] 461*2^1047630-1 is not prime. Res64: 2FF9365206B7FC3B Time : 2634.0 sec. user=vaughan [2011-11-13 05:25:23] 465*2^1047630-1 is not prime. Res64: BFF0AE65973721C3 Time : 2139.0 sec. user=vaughan [2011-11-13 05:25:54] 541*2^1047631-1 is not prime. Res64: 2C2CDF6A1D911A26 Time : 1880.0 sec. user=vaughan [2011-11-13 05:25:55] 437*2^1047632-1 is not prime. Res64: A27CBA35F867C829 Time : 1857.0 sec. user=vaughan [2011-11-13 05:26:30] 447*2^1047632-1 is not prime. Res64: AE6DF7E285ABF63C Time : 1879.0 sec. user=vaughan [2011-11-13 05:31:22] 459*2^1047632-1 is not prime. Res64: AAFB946DA9EEB114 Time : 1854.0 sec. user=vaughan [2011-11-13 05:32:08] 599*2^1047632-1 is not prime. Res64: 1FB5FD9D10A2453B Time : 1879.0 sec. user=vaughan [2011-11-13 05:32:33] 503*2^1047634-1 is not prime. Res64: 6972AD92323B80DF Time : 1284.0 sec. user=vaughan [2011-11-13 05:34:24] 525*2^1047634-1 is not prime. Res64: 1A43F5A0F1210270 Time : 1284.0 sec. user=vaughan [2011-11-13 05:40:55] 585*2^1047633-1 is not prime. Res64: DFED599B768A53DB Time : 2146.0 sec. user=vaughan [2011-11-13 05:51:38] 443*2^1047634-1 is not prime. Res64: F875B8947D4E4AF4 Time : 2770.0 sec. user=vaughan [2011-11-13 05:53:54] 495*2^1047638-1 is not prime. Res64: 7041E8B2A6598EFB Time : 1282.0 sec. user=vaughan [2011-11-13 05:55:46] 573*2^1047638-1 is not prime. Res64: 6C97C71E5CED042A Time : 1282.0 sec. user=vaughan [2011-11-13 05:56:52] 465*2^1047637-1 is not prime. Res64: 26293BFCEAE2976F Time : 1857.0 sec. user=vaughan [2011-11-13 05:57:13] 519*2^1047635-1 is not prime. Res64: 6608B6D0994B83DF Time : 1879.0 sec. user=vaughan [2011-11-13 05:57:35] 555*2^1047637-1 is not prime. Res64: 9D4919262F413525 Time : 1865.0 sec. user=vaughan [2011-11-13 06:00:48] 481*2^1047635-1 is not prime. Res64: 42A380232B85092E Time : 2125.0 sec. user=vaughan [2011-11-13 06:02:15] 417*2^1047638-1 is not prime. Res64: 169B85B05A46E11D Time : 1853.0 sec. user=vaughan [2011-11-13 06:03:27] 483*2^1047638-1 is not prime. Res64: 8B23C4167A690ABB Time : 1879.0 sec. user=vaughan [2011-11-13 06:08:48] 475*2^1047635-1 is not prime. Res64: C590B7329DC9CDBF Time : 2647.0 sec. user=vaughan [2011-11-13 06:15:19] 437*2^1047640-1 is not prime. Res64: 371E06ECF70A0868 Time : 1285.0 sec. user=vaughan [2011-11-13 06:15:57] 433*2^1047639-1 is not prime. Res64: 8B470187B31A806C Time : 2102.0 sec. user=vaughan [2011-11-13 06:17:08] 467*2^1047640-1 is not prime. Res64: FCE1E153FB4AFEF5 Time : 1282.0 sec. user=vaughan [2011-11-13 06:27:48] 533*2^1047640-1 is not prime. Res64: 70F4FC0865D2886E Time : 1856.0 sec. user=vaughan [2011-11-13 06:28:32] 537*2^1047640-1 is not prime. Res64: 88D2AD005042E20B Time : 1879.0 sec. user=vaughan [2011-11-13 06:28:36] 445*2^1047641-1 is not prime. Res64: 208A8CF6A2DF2AD6 Time : 1861.0 sec. user=vaughan [2011-11-13 06:33:06] 485*2^1047642-1 is not prime. Res64: B86D0CD6ABF3E4BF Time : 1852.0 sec. user=vaughan [2011-11-13 06:34:45] 521*2^1047642-1 is not prime. Res64: E4B749273A731246 Time : 1878.0 sec. user=vaughan [2011-11-13 06:36:07] 483*2^1047642-1 is not prime. Res64: 640959A7AF81B169 Time : 2119.0 sec. user=vaughan [2011-11-13 06:36:42] 441*2^1047643-1 is not prime. Res64: 90E7230F2CDC06A7 Time : 1283.0 sec. user=vaughan [2011-11-13 06:36:56] 559*2^1047639-1 is not prime. Res64: 60018A2CAF1BF7F4 Time : 2719.0 sec. user=vaughan [2011-11-13 06:38:29] 423*2^1047644-1 is not prime. Res64: 2F204761E3BC03A3 Time : 1282.0 sec. user=vaughan [2011-11-13 06:51:11] 495*2^1047643-1 is not prime. Res64: A6804E28BA7A2E00 Time : 2115.0 sec. user=vaughan [2011-11-13 06:52:54] 527*2^1047642-1 is not prime. Res64: 610D4DA778D84AF3 Time : 2646.0 sec. user=vaughan [2011-11-13 06:58:05] 523*2^1047647-1 is not prime. Res64: 82D9A275DB13C132 Time : 1284.0 sec. user=vaughan [2011-11-13 06:58:44] 503*2^1047644-1 is not prime. Res64: BC81E4D0D92DB4B7 Time : 1856.0 sec. user=vaughan [2011-11-13 06:59:46] 425*2^1047646-1 is not prime. Res64: E4F350ECF742B5CE Time : 1871.0 sec. user=vaughan [2011-11-13 06:59:48] 447*2^1047645-1 is not prime. Res64: 598ACF413C87D6FF Time : 1877.0 sec. user=vaughan [2011-11-13 06:59:48] 559*2^1047647-1 is not prime. Res64: D08AAF0D8537EC1C Time : 1279.0 sec. user=vaughan [2011-11-13 07:03:56] 525*2^1047646-1 is not prime. Res64: BC6D329A34D7460A Time : 1850.0 sec. user=vaughan [2011-11-13 07:06:03] 575*2^1047646-1 is not prime. Res64: AF9B3B0F33F92424 Time : 1879.0 sec. user=vaughan [2011-11-13 07:11:26] 511*2^1047647-1 is not prime. Res64: A275F6C52BBA222A Time : 2119.0 sec. user=vaughan [2011-11-13 07:19:26] 513*2^1047648-1 is not prime. Res64: 7E51F19A484B2B4B Time : 1281.0 sec. user=vaughan [2011-11-13 07:20:27] 549*2^1047647-1 is not prime. Res64: 50767860A6736AA3 Time : 2611.0 sec. user=vaughan [2011-11-13 07:21:10] 549*2^1047649-1 is not prime. Res64: DBCE240B36849A5D Time : 1282.0 sec. user=vaughan [2011-11-13 07:25:25] 459*2^1047648-1 is not prime. Res64: 469FF1D4A65AB1C2 Time : 2054.0 sec. user=vaughan [2011-11-13 07:29:41] 563*2^1047648-1 is not prime. Res64: 607F86F0FFD0B970 Time : 1857.0 sec. user=vaughan [2011-11-13 07:30:40] 567*2^1047648-1 is not prime. Res64: BE2F07B4A051FA1D Time : 1855.0 sec. user=vaughan [2011-11-13 07:31:07] 517*2^1047649-1 is not prime. Res64: 88D535C019A413BD Time : 1879.0 sec. user=vaughan [2011-11-13 07:34:51] 567*2^1047649-1 is not prime. Res64: C4F721860CB566A2 Time : 1856.0 sec. user=vaughan [2011-11-13 07:37:04] 479*2^1047648-1 is not prime. Res64: CD35B279C04BA831 Time : 2650.0 sec. user=vaughan [2011-11-13 07:37:22] 577*2^1047649-1 is not prime. Res64: C6E720ED5A2DFE97 Time : 1879.0 sec. user=vaughan [2011-11-13 07:40:50] 521*2^1047650-1 is not prime. Res64: 6A8A51B6D32E3D4E Time : 1284.0 sec. user=vaughan [2011-11-13 07:42:32] 493*2^1047651-1 is not prime. Res64: 4775B90D6A7C0DF6 Time : 1282.0 sec. user=vaughan [2011-11-13 07:46:05] 477*2^1047650-1 is not prime. Res64: 3B90FB8221D671CC Time : 2080.0 sec. user=vaughan [2011-11-13 08:00:36] 511*2^1047651-1 is not prime. Res64: 933E2E82411F9DCB Time : 1855.0 sec. user=vaughan [2011-11-13 08:01:43] 495*2^1047651-1 is not prime. Res64: 190D2762E19063DF Time : 2179.0 sec. user=vaughan [2011-11-13 08:01:47] 405*2^1047652-1 is not prime. Res64: C853E162D704BC4D Time : 1868.0 sec. user=vaughan [2011-11-13 08:02:14] 507*2^1047654-1 is not prime. Res64: 8B47DEA2755C4FCE Time : 1284.0 sec. user=vaughan [2011-11-13 08:02:26] 533*2^1047652-1 is not prime. Res64: 26FA7F9B8B58BEE8 Time : 1879.0 sec. user=vaughan [2011-11-13 08:03:54] 543*2^1047654-1 is not prime. Res64: BC91ECE146078CAD Time : 1282.0 sec. user=vaughan [2011-11-13 08:05:43] 409*2^1047653-1 is not prime. Res64: E0343FC15856CF32 Time : 1852.0 sec. user=vaughan [2011-11-13 08:08:40] 465*2^1047654-1 is not prime. Res64: B2F8EDD81CB896E2 Time : 1879.0 sec. user=vaughan [2011-11-13 08:10:56] 561*2^1047650-1 is not prime. Res64: 4F560E734F835652 Time : 3029.0 sec. user=vaughan [2011-11-13 08:20:56] 567*2^1047653-1 is not prime. Res64: 53AB3E713564D5C0 Time : 2632.0 sec. user=vaughan [2011-11-13 08:23:37] 511*2^1047657-1 is not prime. Res64: DAE00D88A86F0598 Time : 1283.0 sec. user=vaughan [2011-11-13 08:25:13] 503*2^1047658-1 is not prime. Res64: 48AD38C13E26E53A Time : 1280.0 sec. user=vaughan [2011-11-13 08:25:24] 525*2^1047655-1 is not prime. Res64: A9A05C2258AB36A9 Time : 2359.0 sec. user=vaughan [2011-11-13 08:31:31] 553*2^1047655-1 is not prime. Res64: F95EC2A4C979FFAF Time : 1855.0 sec. user=vaughan [2011-11-13 08:33:26] 405*2^1047657-1 is not prime. Res64: F622D77C7CC1332F Time : 1900.0 sec. user=vaughan [2011-11-13 08:33:44] 571*2^1047657-1 is not prime. Res64: 559E867252518909 Time : 1878.0 sec. user=vaughan [2011-11-13 08:36:35] 507*2^1047658-1 is not prime. Res64: E77944DB28BBBDD4 Time : 1853.0 sec. user=vaughan [2011-11-13 08:39:58] 411*2^1047659-1 is not prime. Res64: 7A20BF28E0E80302 Time : 1879.0 sec. user=vaughan [2011-11-13 08:41:15] 515*2^1047656-1 is not prime. Res64: C2199565A4135C8D Time : 2372.0 sec. user=vaughan [2011-11-13 08:45:05] 447*2^1047660-1 is not prime. Res64: 2A47E0D72E4CE841 Time : 1288.0 sec. user=vaughan [2011-11-13 08:46:31] 515*2^1047660-1 is not prime. Res64: 0754A5D07D2CE7FB Time : 1278.0 sec. user=vaughan [2011-11-13 09:02:27] 405*2^1047661-1 is not prime. Res64: D6AF18D9595FA634 Time : 1856.0 sec. user=vaughan [2011-11-13 09:04:43] 531*2^1047659-1 is not prime. Res64: 6893547F03D36801 Time : 2628.0 sec. user=vaughan [2011-11-13 09:05:03] 517*2^1047661-1 is not prime. Res64: 4D34A1C3239ECBB9 Time : 1879.0 sec. user=vaughan [2011-11-13 09:05:10] 411*2^1047661-1 is not prime. Res64: FE8702A9508E403F Time : 1905.0 sec. user=vaughan [2011-11-13 09:05:21] 585*2^1047660-1 is not prime. Res64: FD895C0EFEE77D01 Time : 2398.0 sec. user=vaughan [2011-11-13 09:06:32] 509*2^1047664-1 is not prime. Res64: 8981D424F66C8BDE Time : 1287.0 sec. user=vaughan [2011-11-13 09:07:28] 559*2^1047661-1 is not prime. Res64: CFB56916ECE1B4B7 Time : 1853.0 sec. user=vaughan [2011-11-13 09:07:49] 569*2^1047664-1 is not prime. Res64: B39B82E5636DEDA9 Time : 1278.0 sec. user=vaughan [2011-11-13 09:11:17] 501*2^1047662-1 is not prime. Res64: 358642BC8F7AEA27 Time : 1879.0 sec. user=vaughan [2011-11-13 09:16:35] 523*2^1047659-1 is not prime. Res64: 628E32C638376AC3 Time : 3940.0 sec. user=vaughan [2011-11-13 09:20:46] 419*2^1047664-1 is not prime. Res64: 918863156B5E4FE9 Time : 2371.0 sec. user=vaughan [2011-11-13 09:27:58] 563*2^1047666-1 is not prime. Res64: 5BA9F42C9F411D0B Time : 1286.0 sec. user=vaughan [2011-11-13 09:29:10] 511*2^1047667-1 is not prime. Res64: C863DFBDB0F0C51C Time : 1281.0 sec. user=vaughan [2011-11-13 09:33:23] 477*2^1047665-1 is not prime. Res64: B01AE4E4E7912854 Time : 1856.0 sec. user=vaughan [2011-11-13 09:36:22] 567*2^1047665-1 is not prime. Res64: 5E59855A6E9B76C2 Time : 1880.0 sec. user=vaughan [2011-11-13 09:37:05] 411*2^1047666-1 is not prime. Res64: FC493BE974BF93DB Time : 1915.0 sec. user=vaughan [2011-11-13 09:38:19] 495*2^1047667-1 is not prime. Res64: A3A2B72C7A40DBEB Time : 1852.0 sec. user=vaughan [2011-11-13 09:42:35] 417*2^1047668-1 is not prime. Res64: 666C04FB2FA6D23D Time : 1878.0 sec. user=vaughan [2011-11-13 09:44:50] 495*2^1047666-1 is not prime. Res64: 2FC63AB1CAF6B6E7 Time : 2369.0 sec. user=vaughan [2011-11-13 09:48:32] 529*2^1047665-1 is not prime. Res64: 2125E83F04C7836A Time : 2630.0 sec. user=vaughan [2011-11-13 09:49:26] 567*2^1047670-1 is not prime. Res64: 1F3D9D93BCFB4E31 Time : 1289.0 sec. user=vaughan [2011-11-13 09:50:27] 427*2^1047673-1 is not prime. Res64: 12D8A8F63C1071DB Time : 1277.0 sec. user=vaughan [2011-11-13 09:59:30] 495*2^1047670-1 is not prime. Res64: 48D791B1F9E70714 Time : 2324.0 sec. user=vaughan [2011-11-13 10:04:21] 541*2^1047673-1 is not prime. Res64: 1C2215735BC93508 Time : 1859.0 sec. user=vaughan [2011-11-13 10:07:39] 555*2^1047673-1 is not prime. Res64: 40BDAF8BCCC66619 Time : 1878.0 sec. user=vaughan [2011-11-13 10:09:12] 483*2^1047674-1 is not prime. Res64: EC6C7B3BECCE306F Time : 1854.0 sec. user=vaughan [2011-11-13 10:10:35] 441*2^1047675-1 is not prime. Res64: 51386D3BB11C00FD Time : 1269.0 sec. user=vaughan [2011-11-13 10:13:54] 503*2^1047674-1 is not prime. Res64: 59D1EE6D99CC6CE0 Time : 1879.0 sec. user=vaughan [2011-11-13 10:28:25] 523*2^1047675-1 is not prime. Res64: 5BAD68357C3CEA3A Time : 1736.0 sec. user=vaughan [2011-11-13 10:31:26] 447*2^1047676-1 is not prime. Res64: 72E810BFE8A6B95F Time : 1251.0 sec. user=vaughan [2011-11-13 10:32:24] 593*2^1047674-1 is not prime. Res64: CDAB03ACFEDFC0BC Time : 2632.0 sec. user=vaughan [2011-11-13 10:35:15] 573*2^1047675-1 is not prime. Res64: 4ABB9015737F5D83 Time : 1855.0 sec. user=vaughan [2011-11-13 10:38:56] 585*2^1047675-1 is not prime. Res64: 6ECF698500715E73 Time : 1877.0 sec. user=vaughan [2011-11-13 10:40:04] 435*2^1047676-1 is not prime. Res64: 18B39C8D6C3C77E2 Time : 1852.0 sec. user=vaughan [2011-11-13 10:45:12] 485*2^1047676-1 is not prime. Res64: 3990E4121F7E6B4D Time : 1879.0 sec. user=vaughan [2011-11-13 10:52:16] 537*2^1047676-1 is not prime. Res64: 8B77F34973BB5435 Time : 1250.0 sec. user=vaughan [2011-11-13 10:57:20] 507*2^1047676-1 is not prime. Res64: EEF573BA5634545B Time : 1735.0 sec. user=vaughan [2011-11-13 11:06:10] 593*2^1047676-1 is not prime. Res64: DDE2DDAA43BBEFCD Time : 1855.0 sec. user=vaughan [2011-11-13 11:10:15] 447*2^1047677-1 is not prime. Res64: DEC65CB375147A61 Time : 1879.0 sec. user=vaughan [2011-11-13 11:10:57] 507*2^1047677-1 is not prime. Res64: 1008C83F5C356E53 Time : 1853.0 sec. user=vaughan [2011-11-13 11:13:04] 559*2^1047677-1 is not prime. Res64: 1D85D85B78B32CB7 Time : 1248.0 sec. user=vaughan [2011-11-13 11:16:10] 563*2^1047676-1 is not prime. Res64: 427D46BA4A4319BF Time : 2626.0 sec. user=vaughan [2011-11-13 11:16:30] 511*2^1047677-1 is not prime. Res64: 8813FDE6F323BF06 Time : 1879.0 sec. user=vaughan [2011-11-13 11:26:15] 563*2^1047678-1 is not prime. Res64: 5C9BC76986AC4A13 Time : 1735.0 sec. user=vaughan [2011-11-13 11:33:52] 599*2^1047680-1 is not prime. Res64: 0E46CB08ED7F38FC Time : 1248.0 sec. user=vaughan [2011-11-13 11:37:05] 481*2^1047679-1 is not prime. Res64: 1FAC57AE6675D592 Time : 1856.0 sec. user=vaughan [2011-11-13 11:41:33] 525*2^1047679-1 is not prime. Res64: 5AEC42A7697947C8 Time : 1878.0 sec. user=vaughan [2011-11-13 11:41:48] 495*2^1047680-1 is not prime. Res64: 6BFDB133DE5120CC Time : 1852.0 sec. user=vaughan [2011-11-13 11:47:53] 465*2^1047681-1 is not prime. Res64: 98EC702878BFF846 Time : 1883.0 sec. user=vaughan [2011-11-13 11:54:41] 579*2^1047681-1 is not prime. Res64: F9353B49292AFC84 Time : 1249.0 sec. user=vaughan [2011-11-13 11:55:11] 507*2^1047681-1 is not prime. Res64: CA4A56230146AEA4 Time : 1736.0 sec. user=vaughan [2011-11-13 11:59:57] 415*2^1047681-1 is not prime. Res64: 3508D6E9FB3A9A70 Time : 2627.0 sec. user=vaughan [2011-11-13 12:08:09] 413*2^1047682-1 is not prime. Res64: C162C35E3A393ABB Time : 1864.0 sec. user=vaughan [2011-11-13 12:12:48] 461*2^1047682-1 is not prime. Res64: 294E2285B56E2020 Time : 1860.0 sec. user=vaughan [2011-11-13 12:12:56] 425*2^1047682-1 is not prime. Res64: F6ABD214B778098F Time : 1883.0 sec. user=vaughan [2011-11-13 12:15:32] 505*2^1047683-1 is not prime. Res64: F78CCB7C2D95ED20 Time : 1251.0 sec. user=vaughan [2011-11-13 12:19:11] 581*2^1047682-1 is not prime. Res64: 8A1CAA5A5B41FA53 Time : 1878.0 sec. user=vaughan [2011-11-13 12:24:06] 519*2^1047683-1 is not prime. Res64: 3252E7D06F0DAA06 Time : 1735.0 sec. user=vaughan [2011-11-13 12:36:22] 427*2^1047685-1 is not prime. Res64: 5B1C6AE001F35ACB Time : 1251.0 sec. user=vaughan [2011-11-13 12:39:04] 591*2^1047683-1 is not prime. Res64: 53234F193F464869 Time : 1855.0 sec. user=vaughan [2011-11-13 12:43:41] 413*2^1047684-1 is not prime. Res64: 2F84ED18AF490EF8 Time : 1853.0 sec. user=vaughan [2011-11-13 12:43:43] 573*2^1047683-1 is not prime. Res64: FAF72667F31A07A8 Time : 2626.0 sec. user=vaughan [2011-11-13 12:44:14] 503*2^1047684-1 is not prime. Res64: 9AAFB966BE912CA5 Time : 1879.0 sec. user=vaughan [2011-11-13 12:50:30] 429*2^1047685-1 is not prime. Res64: EFE499D4DD7FB426 Time : 1879.0 sec. user=vaughan [2011-11-13 12:53:01] 441*2^1047685-1 is not prime. Res64: 7EDC6FF8CB5481B3 Time : 1735.0 sec. user=vaughan [2011-11-13 12:57:10] 447*2^1047685-1 is not prime. Res64: 1900F2ECB46F08E1 Time : 1248.0 sec. user=vaughan [2011-11-13 13:10:00] 451*2^1047685-1 is not prime. Res64: 1197EE9AD09AD9B5 Time : 1856.0 sec. user=vaughan [2011-11-13 13:14:32] 531*2^1047685-1 is not prime. Res64: 2CB123BC5EEFA288 Time : 1851.0 sec. user=vaughan [2011-11-13 13:15:34] 595*2^1047685-1 is not prime. Res64: 169E58D2E75D9600 Time : 1880.0 sec. user=vaughan [2011-11-13 13:17:57] 545*2^1047686-1 is not prime. Res64: 890863FA9A6B21BA Time : 1248.0 sec. user=vaughan [2011-11-13 13:21:46] 455*2^1047686-1 is not prime. Res64: 59D3BAD73E24DDE5 Time : 1877.0 sec. user=vaughan [2011-11-13 13:21:55] 521*2^1047686-1 is not prime. Res64: 2063C08CC21B4A50 Time : 1735.0 sec. user=vaughan [2011-11-13 13:27:30] 561*2^1047685-1 is not prime. Res64: 88215386ED716555 Time : 2627.0 sec. user=vaughan [2011-11-13 13:38:45] 439*2^1047687-1 is not prime. Res64: 37EA256E909ECF1F Time : 1249.0 sec. user=vaughan [2011-11-13 13:40:55] 557*2^1047686-1 is not prime. Res64: D0AEE5FD9E16C53B Time : 1855.0 sec. user=vaughan [2011-11-13 13:45:24] 563*2^1047686-1 is not prime. Res64: 83F1DFB0BFA4FB8D Time : 1852.0 sec. user=vaughan [2011-11-13 13:46:52] 403*2^1047687-1 is not prime. Res64: 24399FB9F18C78D1 Time : 1878.0 sec. user=vaughan [2011-11-13 13:50:51] 573*2^1047687-1 is not prime. Res64: 464F0FD85BECEF6F Time : 1736.0 sec. user=vaughan [2011-11-13 13:53:03] 513*2^1047687-1 is not prime. Res64: 12F3DDF07A8A7BB2 Time : 1877.0 sec. user=vaughan [2011-11-13 13:59:33] 481*2^1047689-1 is not prime. Res64: 76C0BFB364DEEEF5 Time : 1248.0 sec. user=vaughan [2011-11-13 14:11:18] 525*2^1047688-1 is not prime. Res64: EB13FDADC57BF7EF Time : 2629.0 sec. user=vaughan [2011-11-13 14:11:51] 525*2^1047689-1 is not prime. Res64: 7B0C94805B2BF58C Time : 1856.0 sec. user=vaughan [2011-11-13 14:16:16] 559*2^1047689-1 is not prime. Res64: B6A7EA6F79B5001B Time : 1853.0 sec. user=vaughan [2011-11-13 14:18:10] 453*2^1047690-1 is not prime. Res64: 293CCDFC1C22270C Time : 1879.0 sec. user=vaughan [2011-11-13 14:19:47] 567*2^1047690-1 is not prime. Res64: 2E2945EB51163214 Time : 1736.0 sec. user=vaughan [2011-11-13 14:20:24] 539*2^1047692-1 is not prime. Res64: EC4670845A644105 Time : 1251.0 sec. user=vaughan [2011-11-13 14:24:22] 451*2^1047691-1 is not prime. Res64: 731039F17A39BF75 Time : 1879.0 sec. user=vaughan [2011-11-13 14:41:12] 597*2^1047693-1 is not prime. Res64: 9F4873D8DAB4068B Time : 1248.0 sec. user=vaughan [2011-11-13 14:42:46] 517*2^1047693-1 is not prime. Res64: 25D91E2736BA694D Time : 1856.0 sec. user=vaughan [2011-11-13 14:47:08] 549*2^1047693-1 is not prime. Res64: CFBB7DDE148F930C Time : 1852.0 sec. user=vaughan [2011-11-13 14:48:42] 595*2^1047693-1 is not prime. Res64: 4FA7948DAEFF3BC7 Time : 1736.0 sec. user=vaughan [2011-11-13 14:49:28] 559*2^1047693-1 is not prime. Res64: 4DF2CE1653E84598 Time : 1878.0 sec. user=vaughan [2011-11-13 14:55:05] 495*2^1047693-1 is not prime. Res64: AC197BF24F3F60D8 Time : 2628.0 sec. user=vaughan [2011-11-13 14:55:39] 425*2^1047694-1 is not prime. Res64: 6F4142F536F20BF4 Time : 1877.0 sec. user=vaughan [2011-11-13 15:02:03] 555*2^1047694-1 is not prime. Res64: F88F8D7D7B2E6117 Time : 1251.0 sec. user=vaughan [2011-11-13 15:13:42] 411*2^1047695-1 is not prime. Res64: 1A22BA36A1FA5A7C Time : 1856.0 sec. user=vaughan [2011-11-13 15:17:37] 413*2^1047696-1 is not prime. Res64: E1AB075AB1054CDE Time : 1735.0 sec. user=vaughan [2011-11-13 15:18:01] 445*2^1047695-1 is not prime. Res64: 634051AAAD885677 Time : 1853.0 sec. user=vaughan [2011-11-13 15:20:45] 497*2^1047696-1 is not prime. Res64: 855072CC598D2EE0 Time : 1878.0 sec. user=vaughan [2011-11-13 15:22:50] 427*2^1047697-1 is not prime. Res64: CD2848E56905C819 Time : 1248.0 sec. user=vaughan [2011-11-13 15:26:57] 593*2^1047696-1 is not prime. Res64: 5791DA333C80E6AF Time : 1878.0 sec. user=vaughan [2011-11-13 15:38:51] 503*2^1047696-1 is not prime. Res64: 84FE6D283FEE8B9D Time : 2626.0 sec. user=vaughan [2011-11-13 15:43:40] 437*2^1047700-1 is not prime. Res64: 965F5B863F3F8F68 Time : 1250.0 sec. user=vaughan [2011-11-13 15:44:37] 561*2^1047697-1 is not prime. Res64: 64AFF01CAC2AD60D Time : 1856.0 sec. user=vaughan [2011-11-13 15:46:33] 501*2^1047698-1 is not prime. Res64: 8F7E15A1C8DBBC7D Time : 1736.0 sec. user=vaughan [2011-11-13 15:48:52] 575*2^1047698-1 is not prime. Res64: 0FB1B150834101DA Time : 1851.0 sec. user=vaughan [2011-11-13 15:52:02] 415*2^1047699-1 is not prime. Res64: C579CA64C55D125F Time : 1877.0 sec. user=vaughan [2011-11-13 15:58:15] 525*2^1047700-1 is not prime. Res64: 182F8A088947E6D3 Time : 1879.0 sec. user=vaughan [2011-11-13 16:04:31] 537*2^1047700-1 is not prime. Res64: 2DA7AB5A2A090378 Time : 1251.0 sec. user=vaughan [2011-11-13 16:15:27] 507*2^1047701-1 is not prime. Res64: 6FC86727AAB89E9C Time : 1735.0 sec. user=vaughan [2011-11-13 16:15:33] 545*2^1047700-1 is not prime. Res64: 3F3384C7B732CDEA Time : 1856.0 sec. user=vaughan [2011-11-13 16:19:46] 423*2^1047702-1 is not prime. Res64: BA1D7EAB83B4C13E Time : 1854.0 sec. user=vaughan [2011-11-13 16:22:35] 527*2^1047700-1 is not prime. Res64: 841B836897028272 Time : 2624.0 sec. user=vaughan [2011-11-13 16:23:21] 507*2^1047702-1 is not prime. Res64: F9081E452613EEC7 Time : 1879.0 sec. user=vaughan [2011-11-13 16:25:19] 587*2^1047702-1 is not prime. Res64: 69D0AE501787F511 Time : 1249.0 sec. user=vaughan [2011-11-13 16:29:32] 557*2^1047702-1 is not prime. Res64: 76E22A908F050814 Time : 1877.0 sec. user=vaughan [2011-11-13 16:44:23] 411*2^1047703-1 is not prime. Res64: EC229C449571BDF5 Time : 1736.0 sec. user=vaughan [2011-11-13 16:46:07] 599*2^1047704-1 is not prime. Res64: 7778CCF9E8EB57A2 Time : 1248.0 sec. user=vaughan [2011-11-13 16:46:32] 463*2^1047703-1 is not prime. Res64: 5F1AFE3C2044D779 Time : 1859.0 sec. user=vaughan [2011-11-13 16:50:37] 481*2^1047703-1 is not prime. Res64: 71C6EFECA9778EFB Time : 1852.0 sec. user=vaughan [2011-11-13 16:54:38] 563*2^1047704-1 is not prime. Res64: AB04A14DD0E6EE09 Time : 1877.0 sec. user=vaughan [2011-11-13 17:00:50] 465*2^1047705-1 is not prime. Res64: E6C0B222DA48F36B Time : 1878.0 sec. user=vaughan [2011-11-13 17:06:22] 447*2^1047704-1 is not prime. Res64: 8179809A8FADD220 Time : 2627.0 sec. user=vaughan [2011-11-13 17:06:55] 425*2^1047706-1 is not prime. Res64: F3EAF590EEFCA474 Time : 1248.0 sec. user=vaughan [2011-11-13 17:13:19] 555*2^1047705-1 is not prime. Res64: 65291B44D1CF0DD6 Time : 1736.0 sec. user=vaughan [2011-11-13 17:17:26] 581*2^1047706-1 is not prime. Res64: DD7D98D79388CDC4 Time : 1854.0 sec. user=vaughan [2011-11-13 17:21:30] 587*2^1047706-1 is not prime. Res64: CD33FF3B09310F00 Time : 1853.0 sec. user=vaughan [2011-11-13 17:25:55] 435*2^1047707-1 is not prime. Res64: 87A6EC922C3E53A0 Time : 1877.0 sec. user=vaughan [2011-11-13 17:27:44] 549*2^1047707-1 is not prime. Res64: 69D6515E412D56CC Time : 1250.0 sec. user=vaughan [2011-11-13 17:32:08] 519*2^1047707-1 is not prime. Res64: B075F6CADA1FA29D Time : 1879.0 sec. user=vaughan [2011-11-13 17:42:15] 459*2^1047708-1 is not prime. Res64: 8AD785884C48FA17 Time : 1737.0 sec. user=vaughan [2011-11-13 17:48:20] 517*2^1047461-1 is not prime. Res64: DED61F0838B58E2E Time : 1854.0 sec. user=vaughan [2011-11-13 17:48:33] 403*2^1047711-1 is not prime. Res64: EE35D2FF55179AE9 Time : 1249.0 sec. user=vaughan [2011-11-13 17:50:10] 531*2^1047707-1 is not prime. Res64: F12933DA1EBE2358 Time : 2628.0 sec. user=vaughan [2011-11-13 17:52:21] 555*2^1047708-1 is not prime. Res64: C18CC422FC3EBDDB Time : 1852.0 sec. user=vaughan [2011-11-13 17:57:14] 533*2^1047710-1 is not prime. Res64: 29AB502801F6F216 Time : 1880.0 sec. user=vaughan [2011-11-13 18:03:31] 453*2^1047711-1 is not prime. Res64: 2A22E1EA1F5C70A1 Time : 1883.0 sec. user=vaughan [2011-11-13 18:08:29] 459*2^1047675-1 is not prime. Res64: 11B7812D81D9DAE7 Time : 29882.0 sec. user=vaughan [2011-11-13 18:09:49] 547*2^1047713-1 is not prime. Res64: CA859799B0524A66 Time : 1276.0 sec. user=vaughan [2011-11-13 18:11:49] 465*2^1047711-1 is not prime. Res64: B43DEFCB4DF607FA Time : 1775.0 sec. user=vaughan [2011-11-13 18:12:14] 407*2^1047674-1 is not prime. Res64: 8FDC921028319A2C Time : 30910.0 sec. user=vaughan [2011-11-13 18:12:46] 595*2^1047669-1 is not prime. Res64: 803E98643598EC2A Time : 32171.0 sec. user=vaughan [2011-11-13 18:19:19] 525*2^1047713-1 is not prime. Res64: 54ED81F3102F5752 Time : 1859.0 sec. user=vaughan [2011-11-13 18:21:43] 567*2^1047674-1 is not prime. Res64: 6E39233DCA7869B9 Time : 31014.0 sec. user=vaughan [2011-11-13 18:23:15] 585*2^1047713-1 is not prime. Res64: 12FD06250CA768BC Time : 1854.0 sec. user=vaughan [2011-11-13 18:28:40] 483*2^1047714-1 is not prime. Res64: 9EE86C81A873D5F5 Time : 1886.0 sec. user=vaughan [2011-11-13 18:29:47] 511*2^1047715-1 is not prime. Res64: E87E50C8A51E59D3 Time : 1278.0 sec. user=vaughan [2011-11-13 18:31:16] 585*2^1047716-1 is not prime. Res64: 367138EB7565AF61 Time : 1287.0 sec. user=vaughan [2011-11-13 18:33:53] 571*2^1047713-1 is not prime. Res64: 346C4775C97E64FA Time : 2624.0 sec. user=vaughan [2011-11-13 18:34:53] 493*2^1047715-1 is not prime. Res64: 7472FC0030CEC26F Time : 1882.0 sec. user=vaughan [2011-11-13 18:43:34] 409*2^1047717-1 is not prime. Res64: 959548898A463422 Time : 1905.0 sec. user=vaughan [2011-11-13 18:44:21] 537*2^1047717-1 is not prime. Res64: A32BD107D6A76390 Time : 1895.0 sec. user=vaughan [2011-11-13 18:45:51] 529*2^1047717-1 is not prime. Res64: BD6872148B5A6D91 Time : 2017.0 sec. user=vaughan [2011-11-13 18:50:15] 559*2^1047717-1 is not prime. Res64: C136FFA99F7CF9B4 Time : 1856.0 sec. user=vaughan [2011-11-13 18:51:06] 453*2^1047720-1 is not prime. Res64: A2B99B6C259908FB Time : 1279.0 sec. user=vaughan [2011-11-13 18:52:06] 595*2^1047717-1 is not prime. Res64: 527E75AE3053ECC6 Time : 1824.0 sec. user=vaughan [2011-11-13 18:52:43] 465*2^1047720-1 is not prime. Res64: 76AFB74B068398D1 Time : 1287.0 sec. user=vaughan [2011-11-13 18:54:03] 453*2^1047718-1 is not prime. Res64: 79CC41C2B8150F2E Time : 1848.0 sec. user=vaughan [2011-11-13 19:00:00] 491*2^1047718-1 is not prime. Res64: A40EED2EEE6B97B3 Time : 1881.0 sec. user=vaughan [2011-11-13 19:06:14] 597*2^1047720-1 is not prime. Res64: BFD28DBBB92C0F90 Time : 1881.0 sec. user=vaughan [2011-11-13 19:12:26] 431*2^1047722-1 is not prime. Res64: 88BC8E74BD4D2FEF Time : 1280.0 sec. user=vaughan [2011-11-13 19:14:07] 573*2^1047722-1 is not prime. Res64: 5CE9006EEC2458D1 Time : 1284.0 sec. user=vaughan [2011-11-13 19:15:58] 409*2^1047721-1 is not prime. Res64: 1F3E8D6F67417D07 Time : 1944.0 sec. user=vaughan [2011-11-13 19:16:38] 429*2^1047721-1 is not prime. Res64: 5B48B2863C278FE0 Time : 1937.0 sec. user=vaughan [2011-11-13 19:17:38] 543*2^1047720-1 is not prime. Res64: 617911C7A3AFFC88 Time : 2626.0 sec. user=vaughan [2011-11-13 19:21:10] 577*2^1047721-1 is not prime. Res64: C40894763C13B936 Time : 1856.0 sec. user=vaughan [2011-11-13 19:21:14] 561*2^1047721-1 is not prime. Res64: ED85511952A4B3AC Time : 2123.0 sec. user=vaughan [2011-11-13 19:22:46] 483*2^1047722-1 is not prime. Res64: AE44179B2BFC285E Time : 1840.0 sec. user=vaughan [2011-11-13 19:24:52] 581*2^1047722-1 is not prime. Res64: 0AE94B748D4DAE17 Time : 1849.0 sec. user=vaughan [2011-11-13 19:31:21] 409*2^1047723-1 is not prime. Res64: E9ED505B578B72A3 Time : 1881.0 sec. user=vaughan [2011-11-13 19:33:48] 447*2^1047724-1 is not prime. Res64: 7CAC57377E2412B6 Time : 1282.0 sec. user=vaughan [2011-11-13 19:35:33] 533*2^1047724-1 is not prime. Res64: F0E4F2B481DA92CC Time : 1286.0 sec. user=vaughan [2011-11-13 19:37:36] 565*2^1047723-1 is not prime. Res64: 56D263CF7BB2133B Time : 1882.0 sec. user=vaughan [2011-11-13 19:49:22] 597*2^1047724-1 is not prime. Res64: AA2F6B7EBC81AECB Time : 2004.0 sec. user=vaughan [2011-11-13 19:50:05] 409*2^1047725-1 is not prime. Res64: 2FF4267405604531 Time : 2007.0 sec. user=vaughan [2011-11-13 19:52:08] 475*2^1047725-1 is not prime. Res64: 505FF36A7E69E7CE Time : 1858.0 sec. user=vaughan [2011-11-13 19:53:41] 411*2^1047726-1 is not prime. Res64: 412E42166A6C49DA Time : 1855.0 sec. user=vaughan [2011-11-13 19:55:08] 527*2^1047726-1 is not prime. Res64: 8019CCC973EC0583 Time : 1280.0 sec. user=vaughan [2011-11-13 19:55:41] 461*2^1047726-1 is not prime. Res64: 8B4B6DF92920A963 Time : 1850.0 sec. user=vaughan [2011-11-13 19:57:01] 551*2^1047726-1 is not prime. Res64: C6F179DDE88013A2 Time : 1288.0 sec. user=vaughan [2011-11-13 19:59:02] 589*2^1047725-1 is not prime. Res64: 7A933779EC8793E4 Time : 2268.0 sec. user=vaughan [2011-11-13 20:01:24] 451*2^1047725-1 is not prime. Res64: 9F9C2030CC3C5D6B Time : 2627.0 sec. user=vaughan [2011-11-13 20:02:43] 473*2^1047726-1 is not prime. Res64: 03010EB0FB6D53D4 Time : 1883.0 sec. user=vaughan [2011-11-13 20:08:57] 581*2^1047726-1 is not prime. Res64: A6F0E165043F917D Time : 1881.0 sec. user=vaughan [2011-11-13 20:16:24] 405*2^1047728-1 is not prime. Res64: AE49718C2094F736 Time : 1276.0 sec. user=vaughan [2011-11-13 20:18:30] 417*2^1047728-1 is not prime. Res64: A571D268C09CF787 Time : 1289.0 sec. user=vaughan [2011-11-13 20:23:03] 541*2^1047727-1 is not prime. Res64: A136452DBA65906E Time : 1856.0 sec. user=vaughan [2011-11-13 20:23:28] 423*2^1047727-1 is not prime. Res64: EC0BDFCADCDD7528 Time : 2047.0 sec. user=vaughan [2011-11-13 20:24:00] 433*2^1047727-1 is not prime. Res64: B1404DB6201BF1EE Time : 2036.0 sec. user=vaughan [2011-11-13 20:24:45] 589*2^1047727-1 is not prime. Res64: A05D663C3B6DC3F3 Time : 1865.0 sec. user=vaughan [2011-11-13 20:26:29] 413*2^1047728-1 is not prime. Res64: 9843716F89B07B6D Time : 1848.0 sec. user=vaughan [2011-11-13 20:34:03] 563*2^1047728-1 is not prime. Res64: 7070A360C3AE2BC3 Time : 1880.0 sec. user=vaughan [2011-11-13 20:37:42] 465*2^1047730-1 is not prime. Res64: 5F900F353E8E5F7B Time : 1278.0 sec. user=vaughan [2011-11-13 20:38:20] 425*2^1047728-1 is not prime. Res64: F3C8CF661FEE02EE Time : 2358.0 sec. user=vaughan [2011-11-13 20:39:56] 545*2^1047730-1 is not prime. Res64: F753019FF40DD857 Time : 1286.0 sec. user=vaughan [2011-11-13 20:40:17] 585*2^1047728-1 is not prime. Res64: 9A2B6873BE13F1F1 Time : 1881.0 sec. user=vaughan [2011-11-13 20:45:16] 557*2^1047728-1 is not prime. Res64: C2F2A589A638A56E Time : 2632.0 sec. user=vaughan [2011-11-13 20:53:59] 409*2^1047731-1 is not prime. Res64: DFE11D28ACAB1709 Time : 1856.0 sec. user=vaughan [2011-11-13 20:56:19] 505*2^1047731-1 is not prime. Res64: 71F4F79D0AC63624 Time : 1894.0 sec. user=vaughan [2011-11-13 20:57:14] 511*2^1047731-1 is not prime. Res64: 903F619ECCF97CC9 Time : 1846.0 sec. user=vaughan [2011-11-13 20:58:18] 465*2^1047731-1 is not prime. Res64: ECF6D62A4A58BB18 Time : 2090.0 sec. user=vaughan [2011-11-13 20:58:44] 493*2^1047731-1 is not prime. Res64: 77E63B95E6496027 Time : 2084.0 sec. user=vaughan [2011-11-13 20:59:04] 525*2^1047732-1 is not prime. Res64: BFD5C44089A3E755 Time : 1282.0 sec. user=vaughan [2011-11-13 21:01:20] 587*2^1047732-1 is not prime. Res64: 4529C7D94D0A3705 Time : 1284.0 sec. user=vaughan [2011-11-13 21:05:22] 483*2^1047732-1 is not prime. Res64: 38EBD13C512876F8 Time : 1880.0 sec. user=vaughan [2011-11-13 21:11:36] 439*2^1047733-1 is not prime. Res64: EE2B7C121FD587A6 Time : 1879.0 sec. user=vaughan [2011-11-13 21:18:44] 537*2^1047732-1 is not prime. Res64: EAF56C8CCDAB1733 Time : 2425.0 sec. user=vaughan [2011-11-13 21:20:25] 469*2^1047735-1 is not prime. Res64: 03DAF4E3F0027C2D Time : 1281.0 sec. user=vaughan [2011-11-13 21:22:45] 595*2^1047735-1 is not prime. Res64: F75ED82588045DDA Time : 1286.0 sec. user=vaughan [2011-11-13 21:24:54] 591*2^1047733-1 is not prime. Res64: 2AD2F59C49EAF268 Time : 1856.0 sec. user=vaughan [2011-11-13 21:27:34] 483*2^1047734-1 is not prime. Res64: 4F26F545F592720E Time : 1875.0 sec. user=vaughan [2011-11-13 21:28:00] 501*2^1047734-1 is not prime. Res64: 6E47C6BB4E8C18E9 Time : 1846.0 sec. user=vaughan [2011-11-13 21:29:09] 499*2^1047733-1 is not prime. Res64: 173E9A3F9A49B3EA Time : 2633.0 sec. user=vaughan [2011-11-13 21:33:05] 557*2^1047734-1 is not prime. Res64: 1151C08EE0EFC7C0 Time : 2088.0 sec. user=vaughan [2011-11-13 21:33:44] 563*2^1047734-1 is not prime. Res64: 81E7FA10C0692868 Time : 2100.0 sec. user=vaughan [2011-11-13 21:36:41] 507*2^1047736-1 is not prime. Res64: 43823F842FEFF5AA Time : 1879.0 sec. user=vaughan [2011-11-13 21:41:46] 587*2^1047736-1 is not prime. Res64: 2BC2CE0508BC075E Time : 1281.0 sec. user=vaughan [2011-11-13 21:42:55] 539*2^1047736-1 is not prime. Res64: 4580DBE41DBABA67 Time : 1879.0 sec. user=vaughan [2011-11-13 21:44:11] 475*2^1047737-1 is not prime. Res64: 5248F1E42544A307 Time : 1286.0 sec. user=vaughan [2011-11-13 21:55:50] 585*2^1047737-1 is not prime. Res64: D03C6A210B7B15B5 Time : 1856.0 sec. user=vaughan [2011-11-13 21:58:50] 417*2^1047738-1 is not prime. Res64: E41D25AFED5114ED Time : 1851.0 sec. user=vaughan [2011-11-13 21:59:05] 589*2^1047737-1 is not prime. Res64: 44FF65EC501CFA67 Time : 1891.0 sec. user=vaughan [2011-11-13 22:01:01] 573*2^1047736-1 is not prime. Res64: 507D9B7495057730 Time : 2538.0 sec. user=vaughan [2011-11-13 22:03:03] 411*2^1047739-1 is not prime. Res64: 9EC8242F03CF8921 Time : 1277.0 sec. user=vaughan [2011-11-13 22:05:39] 417*2^1047740-1 is not prime. Res64: DF6D2D973221B473 Time : 1288.0 sec. user=vaughan [2011-11-13 22:08:03] 567*2^1047738-1 is not prime. Res64: 40EE69E605849BAE Time : 1882.0 sec. user=vaughan [2011-11-13 22:08:41] 513*2^1047738-1 is not prime. Res64: E4D0C6DF74838876 Time : 2136.0 sec. user=vaughan [2011-11-13 22:09:24] 525*2^1047738-1 is not prime. Res64: F12B4DF9181C7349 Time : 2140.0 sec. user=vaughan [2011-11-13 22:13:04] 507*2^1047738-1 is not prime. Res64: 99247B9AD1881EBE Time : 2635.0 sec. user=vaughan [2011-11-13 22:14:15] 433*2^1047739-1 is not prime. Res64: C5170174ED2E31D7 Time : 1880.0 sec. user=vaughan [2011-11-13 22:24:25] 561*2^1047742-1 is not prime. Res64: 1F67B6A03F4F9BEF Time : 1282.0 sec. user=vaughan [2011-11-13 22:26:48] 447*2^1047740-1 is not prime. Res64: E754CAB79036AFA4 Time : 1858.0 sec. user=vaughan [2011-11-13 22:27:10] 433*2^1047743-1 is not prime. Res64: 72125BEBD2E879B8 Time : 1291.0 sec. user=vaughan [2011-11-13 22:29:37] 455*2^1047740-1 is not prime. Res64: 135AEA8B4940375B Time : 1848.0 sec. user=vaughan [2011-11-13 22:30:49] 451*2^1047741-1 is not prime. Res64: 964844C5F9175632 Time : 1904.0 sec. user=vaughan [2011-11-13 22:39:23] 445*2^1047743-1 is not prime. Res64: 5164B15B49816E87 Time : 1881.0 sec. user=vaughan [2011-11-13 22:43:59] 487*2^1047741-1 is not prime. Res64: 9D0A2F62E86FAF08 Time : 2578.0 sec. user=vaughan [2011-11-13 22:44:19] 453*2^1047743-1 is not prime. Res64: 8E69FA29777BC00F Time : 2139.0 sec. user=vaughan [2011-11-13 22:44:53] 475*2^1047743-1 is not prime. Res64: E512579062107752 Time : 2130.0 sec. user=vaughan [2011-11-13 22:45:36] 511*2^1047743-1 is not prime. Res64: FBF9CE49DAF1A59A Time : 1881.0 sec. user=vaughan [2011-11-13 22:45:40] 559*2^1047743-1 is not prime. Res64: F509910085A9FF33 Time : 1275.0 sec. user=vaughan [2011-11-13 22:48:38] 589*2^1047743-1 is not prime. Res64: DA725A43371366F8 Time : 1289.0 sec. user=vaughan [2011-11-13 22:57:00] 505*2^1047743-1 is not prime. Res64: 760D9F2A4B525CDC Time : 2636.0 sec. user=vaughan [2011-11-13 22:57:46] 585*2^1047743-1 is not prime. Res64: 3190B8B7168F88C7 Time : 1858.0 sec. user=vaughan [2011-11-13 23:00:24] 473*2^1047744-1 is not prime. Res64: 2723C4EB35F947B1 Time : 1847.0 sec. user=vaughan [2011-11-13 23:02:18] 527*2^1047744-1 is not prime. Res64: 2148FC9942F2563F Time : 1890.0 sec. user=vaughan [2011-11-13 23:06:59] 501*2^1047746-1 is not prime. Res64: 23F3A0417FF560EA Time : 1280.0 sec. user=vaughan [2011-11-13 23:10:06] 563*2^1047746-1 is not prime. Res64: 33E77A407064D7DF Time : 1288.0 sec. user=vaughan [2011-11-13 23:10:45] 557*2^1047744-1 is not prime. Res64: 79061F5E4E0132DD Time : 1882.0 sec. user=vaughan [2011-11-13 23:16:56] 447*2^1047746-1 is not prime. Res64: 9B0F79B34029D18F Time : 1881.0 sec. user=vaughan [2011-11-13 23:19:56] 441*2^1047745-1 is not prime. Res64: F58B7DA547CB3135 Time : 2137.0 sec. user=vaughan [2011-11-13 23:20:28] 597*2^1047745-1 is not prime. Res64: 513859384A3170A7 Time : 2135.0 sec. user=vaughan [2011-11-13 23:26:42] 567*2^1047744-1 is not prime. Res64: A30C6B1325ADDFE4 Time : 2564.0 sec. user=vaughan [2011-11-13 23:28:20] 543*2^1047747-1 is not prime. Res64: 1FF79CA165817CDC Time : 1281.0 sec. user=vaughan [2011-11-13 23:28:43] 593*2^1047746-1 is not prime. Res64: 0EB95A7713431015 Time : 1858.0 sec. user=vaughan [2011-11-13 23:31:14] 469*2^1047747-1 is not prime. Res64: B37EB2113AFF42C3 Time : 1851.0 sec. user=vaughan [2011-11-13 23:31:35] 435*2^1047748-1 is not prime. Res64: 9E43022197802DA5 Time : 1289.0 sec. user=vaughan [2011-11-13 23:33:54] 489*2^1047747-1 is not prime. Res64: B7B59E736981F0E5 Time : 1896.0 sec. user=vaughan [2011-11-13 23:40:46] 585*2^1047746-1 is not prime. Res64: 9BA5898B61C1F3C2 Time : 2627.0 sec. user=vaughan [2011-11-13 23:42:06] 549*2^1047748-1 is not prime. Res64: E55B08E64AD8FE8D Time : 1882.0 sec. user=vaughan [2011-11-13 23:48:19] 487*2^1047749-1 is not prime. Res64: 6C9384BB27E84B40 Time : 1883.0 sec. user=vaughan [2011-11-13 23:49:39] 555*2^1047750-1 is not prime. Res64: 0AFF50ECED6B5127 Time : 1280.0 sec. user=vaughan [2011-11-13 23:53:00] 439*2^1047751-1 is not prime. Res64: 17420FEBF1C456C5 Time : 1285.0 sec. user=vaughan [2011-11-13 23:55:20] 537*2^1047749-1 is not prime. Res64: AFAB65F5EDB04708 Time : 2125.0 sec. user=vaughan [2011-11-13 23:56:03] 589*2^1047749-1 is not prime. Res64: 2ED71B343EE7FF1E Time : 2136.0 sec. user=vaughan [2011-11-13 23:59:39] 587*2^1047750-1 is not prime. Res64: CB21E5F60517F2C5 Time : 1856.0 sec.