user=vaughan [2010-06-28 00:01:59] 555*2^836635-1 is not prime. Res64: 34529D3BB15B8BA5 Time : 33084.0 sec. user=vaughan [2010-06-28 00:02:06] 533*2^836704-1 is not prime. Res64: BACFD62101A3F6CF Time : 24324.0 sec. user=vaughan [2010-06-28 00:02:21] 481*2^836705-1 is not prime. Res64: E0C78E8E9F482DC4 Time : 24311.0 sec. user=vaughan [2010-06-28 00:02:35] 465*2^836873-1 is not prime. Res64: E0608A091211FDA3 Time : 714.0 sec. user=vaughan [2010-06-28 00:02:50] 575*2^836698-1 is not prime. Res64: 1EA66B1E99CB0D80 Time : 25259.0 sec. user=vaughan [2010-06-28 00:03:04] 571*2^836871-1 is not prime. Res64: 9FEFBEDFD80B423D Time : 1012.0 sec. user=vaughan [2010-06-28 00:03:43] 471*2^836697-1 is not prime. Res64: 9123C727587F383A Time : 25396.0 sec. user=vaughan [2010-06-28 00:04:16] 539*2^836628-1 is not prime. Res64: 7FAA45F7A90B4815 Time : 34497.0 sec. user=vaughan [2010-06-28 00:04:37] 425*2^836642-1 is not prime. Res64: 7DAAED23239932B4 Time : 32811.0 sec. user=vaughan [2010-06-28 00:05:36] 433*2^836875-1 is not prime. Res64: 4393B5638A46F6D0 Time : 717.0 sec. user=vaughan [2010-06-28 00:05:48] 453*2^836875-1 is not prime. Res64: 23BCBDB81B79980D Time : 717.0 sec. user=vaughan [2010-06-28 00:06:39] 549*2^836872-1 is not prime. Res64: 1A9A7BDE31B808A2 Time : 983.0 sec. user=vaughan [2010-06-28 00:06:58] 435*2^836873-1 is not prime. Res64: 48A2B9241A4C84F4 Time : 999.0 sec. user=vaughan [2010-06-28 00:10:05] 421*2^836633-1 is not prime. Res64: EA3082CB3CE76B88 Time : 34262.0 sec. user=vaughan [2010-06-28 00:11:46] 465*2^836695-1 is not prime. Res64: 506F30804E0CA067 Time : 26084.0 sec. user=vaughan [2010-06-28 00:12:20] 451*2^836711-1 is not prime. Res64: CE32252B5F5950FD Time : 23976.0 sec. user=vaughan [2010-06-28 00:12:41] 549*2^836711-1 is not prime. Res64: 8BC95AE661626E66 Time : 23983.0 sec. user=vaughan [2010-06-28 00:14:30] 441*2^836877-1 is not prime. Res64: E9FDD0AB3697F177 Time : 715.0 sec. user=vaughan [2010-06-28 00:14:44] 495*2^836702-1 is not prime. Res64: 8D93201EB56FCC1B Time : 25301.0 sec. user=vaughan [2010-06-28 00:15:59] 405*2^836696-1 is not prime. Res64: 442AFFF4E62C4761 Time : 26211.0 sec. user=vaughan [2010-06-28 00:16:40] 503*2^836876-1 is not prime. Res64: 58E1C202D99F0E35 Time : 1033.0 sec. user=vaughan [2010-06-28 00:17:08] 531*2^836699-1 is not prime. Res64: A3529BC9BA7D7DA1 Time : 25936.0 sec. user=vaughan [2010-06-28 00:17:32] 495*2^836878-1 is not prime. Res64: BE9D25E4CCAD7B69 Time : 717.0 sec. user=vaughan [2010-06-28 00:17:44] 525*2^836878-1 is not prime. Res64: A5334BDD0A67B114 Time : 716.0 sec. user=vaughan [2010-06-28 00:18:19] 475*2^836711-1 is not prime. Res64: CD304145657DA353 Time : 24325.0 sec. user=vaughan [2010-06-28 00:18:32] 571*2^836711-1 is not prime. Res64: 5FCAD61D8D7A5F45 Time : 24311.0 sec. user=vaughan [2010-06-28 00:19:01] 487*2^836645-1 is not prime. Res64: 5BE9690D9699415B Time : 33109.0 sec. user=vaughan [2010-06-28 00:19:57] 517*2^836877-1 is not prime. Res64: CB95E7D7EF5B0B36 Time : 1014.0 sec. user=vaughan [2010-06-28 00:20:51] 573*2^836706-1 is not prime. Res64: 7F9EB4EE18BE19F7 Time : 25332.0 sec. user=vaughan [2010-06-28 00:21:21] 537*2^836649-1 is not prime. Res64: 25954598463759DC Time : 32832.0 sec. user=vaughan [2010-06-28 00:21:52] 507*2^836634-1 is not prime. Res64: AA542082E38A46E7 Time : 34484.0 sec. user=vaughan [2010-06-28 00:21:56] 487*2^836705-1 is not prime. Res64: 611BC13EB3E5F320 Time : 25480.0 sec. user=vaughan [2010-06-28 00:23:16] 527*2^836878-1 is not prime. Res64: 5B855C6D454D7015 Time : 998.0 sec. user=vaughan [2010-06-28 00:23:46] 551*2^836878-1 is not prime. Res64: 94195736557F0C76 Time : 1008.0 sec. user=vaughan [2010-06-28 00:25:27] 517*2^836873-1 is not prime. Res64: 9731225101BDCB35 Time : 1974.0 sec. user=vaughan [2010-06-28 00:25:51] 573*2^836874-1 is not prime. Res64: C078988FC138D6F0 Time : 1968.0 sec. user=vaughan [2010-06-28 00:26:26] 579*2^836879-1 is not prime. Res64: A10EBE685A8F21C7 Time : 717.0 sec. user=vaughan [2010-06-28 00:27:11] 541*2^836641-1 is not prime. Res64: C83F722E5E029957 Time : 34230.0 sec. user=vaughan [2010-06-28 00:28:18] 537*2^836717-1 is not prime. Res64: 8ACB8B6010AFF7D8 Time : 23976.0 sec. user=vaughan [2010-06-28 00:28:40] 561*2^836717-1 is not prime. Res64: AC5303537B4DD1DE Time : 23983.0 sec. user=vaughan [2010-06-28 00:29:08] 525*2^836702-1 is not prime. Res64: AFD5D09F63953474 Time : 26084.0 sec. user=vaughan [2010-06-28 00:29:32] 549*2^836880-1 is not prime. Res64: AA6ED72547798817 Time : 720.0 sec. user=vaughan [2010-06-28 00:29:43] 563*2^836880-1 is not prime. Res64: D5B16DCA56CC06AB Time : 719.0 sec. user=vaughan [2010-06-28 00:33:28] 485*2^836704-1 is not prime. Res64: C885CDD6D79E001B Time : 26215.0 sec. user=vaughan [2010-06-28 00:33:51] 455*2^836710-1 is not prime. Res64: F835EAB2AB1E7EB7 Time : 25444.0 sec. user=vaughan [2010-06-28 00:33:52] 465*2^836880-1 is not prime. Res64: 2D09CDDCE5C7A66A Time : 1032.0 sec. user=vaughan [2010-06-28 00:34:32] 567*2^836717-1 is not prime. Res64: 3AD5F46B290DFCAE Time : 24328.0 sec. user=vaughan [2010-06-28 00:34:43] 425*2^836718-1 is not prime. Res64: C64BBEFD3747F401 Time : 24311.0 sec. user=vaughan [2010-06-28 00:35:31] 407*2^836654-1 is not prime. Res64: 552DF2B549F88809 Time : 33101.0 sec. user=vaughan [2010-06-28 00:36:30] 495*2^836707-1 is not prime. Res64: E8C4C9A58324CDA4 Time : 26070.0 sec. user=vaughan [2010-06-28 00:36:52] 405*2^836882-1 is not prime. Res64: 042F51DF5B80007A Time : 1015.0 sec. user=vaughan [2010-06-28 00:38:20] 489*2^836883-1 is not prime. Res64: F31B177AC8C4741F Time : 715.0 sec. user=vaughan [2010-06-28 00:38:45] 527*2^836644-1 is not prime. Res64: B8861B1A4A1C0DF6 Time : 34424.0 sec. user=vaughan [2010-06-28 00:38:51] 499*2^836713-1 is not prime. Res64: E7457048A2BDFC6F Time : 25405.0 sec. user=vaughan [2010-06-28 00:39:09] 495*2^836657-1 is not prime. Res64: 72F772C715F3EFBC Time : 32918.0 sec. user=vaughan [2010-06-28 00:39:43] 515*2^836882-1 is not prime. Res64: 442450F716CB4705 Time : 987.0 sec. user=vaughan [2010-06-28 00:40:10] 485*2^836712-1 is not prime. Res64: B5924BCF676BF7A9 Time : 25562.0 sec. user=vaughan [2010-06-28 00:40:32] 533*2^836882-1 is not prime. Res64: 3F0CC4C9A8823E9F Time : 1006.0 sec. user=vaughan [2010-06-28 00:41:29] 495*2^836884-1 is not prime. Res64: 663F1286B0F4CD0A Time : 717.0 sec. user=vaughan [2010-06-28 00:41:40] 497*2^836884-1 is not prime. Res64: 79BF0ED52764D085 Time : 717.0 sec. user=vaughan [2010-06-28 00:44:05] 443*2^836650-1 is not prime. Res64: DA6F35BF4AEC56E7 Time : 34185.0 sec. user=vaughan [2010-06-28 00:44:17] 591*2^836721-1 is not prime. Res64: 9EDDA927491808D9 Time : 23976.0 sec. user=vaughan [2010-06-28 00:44:41] 405*2^836722-1 is not prime. Res64: 21301BE7DC95399A Time : 23986.0 sec. user=vaughan [2010-06-28 00:46:33] 411*2^836711-1 is not prime. Res64: 088206281636F508 Time : 26084.0 sec. user=vaughan [2010-06-28 00:50:13] 455*2^836886-1 is not prime. Res64: A68EC0FE5617DCE6 Time : 713.0 sec. user=vaughan [2010-06-28 00:50:43] 413*2^836722-1 is not prime. Res64: FACD80B5F5A79187 Time : 24325.0 sec. user=vaughan [2010-06-28 00:50:57] 513*2^836722-1 is not prime. Res64: 3512431A58903C33 Time : 24312.0 sec. user=vaughan [2010-06-28 00:50:58] 469*2^836885-1 is not prime. Res64: E7C437FF96D9782F Time : 1026.0 sec. user=vaughan [2010-06-28 00:50:59] 405*2^836712-1 is not prime. Res64: 1B5C8E66B0AADAD5 Time : 26219.0 sec. user=vaughan [2010-06-28 00:52:03] 469*2^836661-1 is not prime. Res64: F73F2853CD03361F Time : 33094.0 sec. user=vaughan [2010-06-28 00:52:59] 511*2^836717-1 is not prime. Res64: 333FD9DFAB773AD9 Time : 25589.0 sec. user=vaughan [2010-06-28 00:53:25] 541*2^836887-1 is not prime. Res64: C37E642AB4B6A0E9 Time : 717.0 sec. user=vaughan [2010-06-28 00:53:36] 413*2^836888-1 is not prime. Res64: D445A96C0D53266D Time : 717.0 sec. user=vaughan [2010-06-28 00:53:44] 447*2^836886-1 is not prime. Res64: 832A6A4C6A94A2E3 Time : 1013.0 sec. user=vaughan [2010-06-28 00:55:42] 549*2^836652-1 is not prime. Res64: 045E03EB5806BD56 Time : 34373.0 sec. user=vaughan [2010-06-28 00:55:53] 493*2^836715-1 is not prime. Res64: E5967D5D13B405D2 Time : 26204.0 sec. user=vaughan [2010-06-28 00:56:04] 581*2^836886-1 is not prime. Res64: 2A7FD816EC8D653A Time : 981.0 sec. user=vaughan [2010-06-28 00:56:53] 525*2^836718-1 is not prime. Res64: 2D4EF328AE8E20C4 Time : 25480.0 sec. user=vaughan [2010-06-28 00:57:13] 483*2^836887-1 is not prime. Res64: 470F45FF11D9D50C Time : 1001.0 sec. user=vaughan [2010-06-28 00:57:27] 589*2^836663-1 is not prime. Res64: 8AD64C4DEE3C2F7A Time : 33032.0 sec. user=vaughan [2010-06-28 00:58:20] 411*2^836883-1 is not prime. Res64: 9172F803405D090D Time : 1973.0 sec. user=vaughan [2010-06-28 00:58:25] 473*2^836718-1 is not prime. Res64: 969B366111892901 Time : 25649.0 sec. user=vaughan [2010-06-28 00:58:43] 465*2^836883-1 is not prime. Res64: B0CDA1E0C0BC39AF Time : 1973.0 sec. user=vaughan [2010-06-28 01:00:16] 525*2^836730-1 is not prime. Res64: 6228B871C3029C82 Time : 23977.0 sec. user=vaughan [2010-06-28 01:00:42] 463*2^836731-1 is not prime. Res64: 41B030884F8DC31F Time : 23987.0 sec. user=vaughan [2010-06-28 01:01:14] 507*2^836658-1 is not prime. Res64: 6230394FE8BE5F2F Time : 34160.0 sec. user=vaughan [2010-06-28 01:02:07] 549*2^836889-1 is not prime. Res64: 0D72BD6799E05124 Time : 714.0 sec. user=vaughan [2010-06-28 01:04:00] 405*2^836718-1 is not prime. Res64: FD54B5C4669E0F37 Time : 26088.0 sec. user=vaughan [2010-06-28 01:05:21] 455*2^836892-1 is not prime. Res64: 2FF06DF286D3F7DF Time : 716.0 sec. user=vaughan [2010-06-28 01:05:32] 537*2^836892-1 is not prime. Res64: D6AC87841CCEC682 Time : 716.0 sec. user=vaughan [2010-06-28 01:06:59] 493*2^836731-1 is not prime. Res64: 0C608B1A8ACD319A Time : 24330.0 sec. user=vaughan [2010-06-28 01:07:11] 511*2^836731-1 is not prime. Res64: 3B25BBA71E069887 Time : 24316.0 sec. user=vaughan [2010-06-28 01:08:03] 587*2^836890-1 is not prime. Res64: AA7FC52A440527B5 Time : 1026.0 sec. user=vaughan [2010-06-28 01:08:31] 503*2^836718-1 is not prime. Res64: F57E7433B69C2095 Time : 26226.0 sec. user=vaughan [2010-06-28 01:09:07] 481*2^836669-1 is not prime. Res64: CC4B74ABA88E7749 Time : 33120.0 sec. user=vaughan [2010-06-28 01:10:37] 481*2^836893-1 is not prime. Res64: ED8C26178D74E599 Time : 1013.0 sec. user=vaughan [2010-06-28 01:12:08] 409*2^836721-1 is not prime. Res64: F4AB798CF5288124 Time : 25733.0 sec. user=vaughan [2010-06-28 01:12:25] 567*2^836893-1 is not prime. Res64: 1EEB0366B4174180 Time : 981.0 sec. user=vaughan [2010-06-28 01:12:38] 531*2^836661-1 is not prime. Res64: BDD908E07B593CB9 Time : 34319.0 sec. user=vaughan [2010-06-28 01:13:52] 585*2^836894-1 is not prime. Res64: 4964758C36A4C8A1 Time : 1000.0 sec. user=vaughan [2010-06-28 01:14:02] 575*2^836896-1 is not prime. Res64: 37D3C4CE85136C13 Time : 715.0 sec. user=vaughan [2010-06-28 01:14:16] 581*2^836670-1 is not prime. Res64: C43801D93C308DC7 Time : 33058.0 sec. user=vaughan [2010-06-28 01:14:56] 437*2^836724-1 is not prime. Res64: A845366B43B7BC4D Time : 25555.0 sec. user=vaughan [2010-06-28 01:15:16] 561*2^836719-1 is not prime. Res64: 717F638082D2E7D0 Time : 26338.0 sec. user=vaughan [2010-06-28 01:16:14] 561*2^836734-1 is not prime. Res64: 15D179CABB54DB0C Time : 23976.0 sec. user=vaughan [2010-06-28 01:16:40] 571*2^836723-1 is not prime. Res64: 62DA54D8EEF5384F Time : 25731.0 sec. user=vaughan [2010-06-28 01:16:40] 463*2^836735-1 is not prime. Res64: 331CF335BBB683A6 Time : 23988.0 sec. user=vaughan [2010-06-28 01:17:17] 487*2^836897-1 is not prime. Res64: 4B4DF9D1C86BD63A Time : 716.0 sec. user=vaughan [2010-06-28 01:17:28] 501*2^836897-1 is not prime. Res64: 3FB1EDEDE548B0A0 Time : 716.0 sec. user=vaughan [2010-06-28 01:18:10] 415*2^836665-1 is not prime. Res64: 7AE36473B0B08214 Time : 34117.0 sec. user=vaughan [2010-06-28 01:21:47] 435*2^836723-1 is not prime. Res64: 6C75FD49CB172DB9 Time : 26107.0 sec. user=vaughan [2010-06-28 01:23:13] 591*2^836735-1 is not prime. Res64: 28F1A65B87176251 Time : 24332.0 sec. user=vaughan [2010-06-28 01:23:25] 595*2^836735-1 is not prime. Res64: 865E28B0BD4BB142 Time : 24320.0 sec. user=vaughan [2010-06-28 01:25:09] 507*2^836898-1 is not prime. Res64: 8B013BB7AF13D8CD Time : 1026.0 sec. user=vaughan [2010-06-28 01:25:56] 401*2^836902-1 is not prime. Res64: 59D4D2C39C4C0677 Time : 715.0 sec. user=vaughan [2010-06-28 01:26:01] 447*2^836724-1 is not prime. Res64: EAE6ABF73EAE9CCA Time : 26205.0 sec. user=vaughan [2010-06-28 01:26:41] 531*2^836677-1 is not prime. Res64: 9919A4C40D44F126 Time : 33177.0 sec. user=vaughan [2010-06-28 01:27:29] 573*2^836898-1 is not prime. Res64: 3AC1E0C6923DD009 Time : 1012.0 sec. user=vaughan [2010-06-28 01:28:39] 447*2^836750-1 is not prime. Res64: B715ED22C0FF29D6 Time : 22878.0 sec. user=vaughan [2010-06-28 01:28:39] 545*2^836750-1 is not prime. Res64: AAA270B9671BDBB4 Time : 22878.0 sec. user=vaughan [2010-06-28 01:28:40] 445*2^836751-1 is not prime. Res64: BD3828E147213399 Time : 22878.0 sec. user=vaughan [2010-06-28 01:28:40] 559*2^836751-1 is not prime. Res64: B89F1F706E86DBB7 Time : 22878.0 sec. user=vaughan [2010-06-28 01:28:40] 591*2^836751-1 is not prime. Res64: 0F8312CE5180C71E Time : 22877.0 sec. user=vaughan [2010-06-28 01:28:40] 481*2^836753-1 is not prime. Res64: BDACD7A65E944F6A Time : 22877.0 sec. user=vaughan [2010-06-28 01:28:41] 417*2^836754-1 is not prime. Res64: 68699E27A373A612 Time : 22877.0 sec. user=vaughan [2010-06-28 01:28:41] 525*2^836754-1 is not prime. Res64: 79980BE3BB52188C Time : 22876.0 sec. user=vaughan [2010-06-28 01:28:41] 551*2^836754-1 is not prime. Res64: 2003E7479608D125 Time : 22876.0 sec. user=vaughan [2010-06-28 01:28:42] 481*2^836755-1 is not prime. Res64: 1B4495C234A2DDB5 Time : 22876.0 sec. user=vaughan [2010-06-28 01:28:42] 493*2^836755-1 is not prime. Res64: 8F752EEF52FEFB35 Time : 22876.0 sec. user=vaughan [2010-06-28 01:28:42] 523*2^836755-1 is not prime. Res64: 7E61499A75D978CF Time : 22875.0 sec. user=vaughan [2010-06-28 01:28:42] 553*2^836755-1 is not prime. Res64: 4AB7B29CF447AD11 Time : 22875.0 sec. user=vaughan [2010-06-28 01:28:43] 561*2^836755-1 is not prime. Res64: 072AD7EDC63ACB88 Time : 22875.0 sec. user=vaughan [2010-06-28 01:28:43] 483*2^836756-1 is not prime. Res64: CE43416457C62375 Time : 22875.0 sec. user=vaughan [2010-06-28 01:28:43] 515*2^836756-1 is not prime. Res64: 6A1433E75149F3BD Time : 22874.0 sec. user=vaughan [2010-06-28 01:28:43] 545*2^836756-1 is not prime. Res64: 91E2F7224D7AF5F3 Time : 22874.0 sec. user=vaughan [2010-06-28 01:28:44] 585*2^836756-1 is not prime. Res64: 547A0E4EA92D7FCA Time : 22874.0 sec. user=vaughan [2010-06-28 01:28:44] 593*2^836756-1 is not prime. Res64: 9F3FDDE2119F6FB2 Time : 22874.0 sec. user=vaughan [2010-06-28 01:28:44] 577*2^836757-1 is not prime. Res64: C56C58B806B6ECB3 Time : 22873.0 sec. user=vaughan [2010-06-28 01:28:44] 435*2^836758-1 is not prime. Res64: 932DEBD4CCC72FF5 Time : 22873.0 sec. user=vaughan [2010-06-28 01:28:45] 491*2^836758-1 is not prime. Res64: CEDBEC088F344353 Time : 22873.0 sec. user=vaughan [2010-06-28 01:28:45] 545*2^836758-1 is not prime. Res64: C6CB5AE4BD8F2E04 Time : 22872.0 sec. user=vaughan [2010-06-28 01:28:45] 573*2^836758-1 is not prime. Res64: 8B3DE7860FE8992E Time : 22871.0 sec. user=vaughan [2010-06-28 01:28:46] 591*2^836758-1 is not prime. Res64: CC7A5B0FCD540FCD Time : 22872.0 sec. user=vaughan [2010-06-28 01:28:47] 523*2^836899-1 is not prime. Res64: 3543413495334D43 Time : 982.0 sec. user=vaughan [2010-06-28 01:29:14] 535*2^836905-1 is not prime. Res64: 0D3BE55E37BD1A10 Time : 717.0 sec. user=vaughan [2010-06-28 01:29:25] 537*2^836906-1 is not prime. Res64: D1C174B8EAAB05B9 Time : 717.0 sec. user=vaughan [2010-06-28 01:29:34] 559*2^836669-1 is not prime. Res64: 9C669DAD239E8AA3 Time : 34265.0 sec. user=vaughan [2010-06-28 01:30:31] 529*2^836901-1 is not prime. Res64: EC7FF04F0960C358 Time : 999.0 sec. user=vaughan [2010-06-28 01:30:47] 573*2^836678-1 is not prime. Res64: DC298A2A8E159957 Time : 33065.0 sec. user=vaughan [2010-06-28 01:31:14] 445*2^836895-1 is not prime. Res64: 7D9A1305E48378A2 Time : 1974.0 sec. user=vaughan [2010-06-28 01:31:17] 515*2^836730-1 is not prime. Res64: 680747171722ABCF Time : 25880.0 sec. user=vaughan [2010-06-28 01:31:37] 453*2^836895-1 is not prime. Res64: 3BB719A7B1871113 Time : 1974.0 sec. user=vaughan [2010-06-28 01:32:13] 481*2^836739-1 is not prime. Res64: 6B9E7BCB9354A59E Time : 23976.0 sec. user=vaughan [2010-06-28 01:32:39] 511*2^836739-1 is not prime. Res64: AADE9D920FDDE1F4 Time : 23991.0 sec. user=vaughan [2010-06-28 01:32:57] 539*2^836732-1 is not prime. Res64: F08E44A0C0D29A3A Time : 25625.0 sec. user=vaughan [2010-06-28 01:33:56] 405*2^836760-1 is not prime. Res64: F1970D24F5084D04 Time : 23075.0 sec. user=vaughan [2010-06-28 01:33:56] 423*2^836760-1 is not prime. Res64: E060E463F3191A90 Time : 23074.0 sec. user=vaughan [2010-06-28 01:33:57] 465*2^836760-1 is not prime. Res64: 6D700F34258E0EF9 Time : 23075.0 sec. user=vaughan [2010-06-28 01:33:57] 515*2^836760-1 is not prime. Res64: 1EB662B3886FBF97 Time : 23074.0 sec. user=vaughan [2010-06-28 01:33:57] 549*2^836760-1 is not prime. Res64: 24190A0685AF58C5 Time : 23074.0 sec. user=vaughan [2010-06-28 01:33:57] 555*2^836760-1 is not prime. Res64: B97DEFE8EE902853 Time : 23073.0 sec. user=vaughan [2010-06-28 01:33:58] 593*2^836760-1 is not prime. Res64: 8CFB41A84D100ED9 Time : 23074.0 sec. user=vaughan [2010-06-28 01:33:58] 429*2^836761-1 is not prime. Res64: 0B535697F02D3F1D Time : 23073.0 sec. user=vaughan [2010-06-28 01:33:58] 447*2^836761-1 is not prime. Res64: 9C9E89F1FDA6F4E9 Time : 23073.0 sec. user=vaughan [2010-06-28 01:33:58] 525*2^836761-1 is not prime. Res64: 65475A5443F87E85 Time : 23072.0 sec. user=vaughan [2010-06-28 01:33:59] 423*2^836762-1 is not prime. Res64: 57E377F29228AE10 Time : 23072.0 sec. user=vaughan [2010-06-28 01:33:59] 461*2^836762-1 is not prime. Res64: FEB9147065E25793 Time : 23072.0 sec. user=vaughan [2010-06-28 01:33:59] 503*2^836762-1 is not prime. Res64: 757372E9869E16BA Time : 23071.0 sec. user=vaughan [2010-06-28 01:34:00] 521*2^836762-1 is not prime. Res64: 2F5D72F124768E0F Time : 23072.0 sec. user=vaughan [2010-06-28 01:34:00] 585*2^836762-1 is not prime. Res64: A8D8B095D6E8A7FA Time : 23071.0 sec. user=vaughan [2010-06-28 01:34:00] 433*2^836763-1 is not prime. Res64: 6EF4186E4D980950 Time : 23071.0 sec. user=vaughan [2010-06-28 01:34:00] 441*2^836763-1 is not prime. Res64: F4E2C9A99B2FD7AE Time : 23070.0 sec. user=vaughan [2010-06-28 01:34:01] 453*2^836763-1 is not prime. Res64: 00A195FB97F499C0 Time : 23071.0 sec. user=vaughan [2010-06-28 01:34:01] 591*2^836763-1 is not prime. Res64: A1F27449E7940A46 Time : 23070.0 sec. user=vaughan [2010-06-28 01:34:01] 595*2^836763-1 is not prime. Res64: 0EA8DB31A1DF9CD3 Time : 23070.0 sec. user=vaughan [2010-06-28 01:34:02] 413*2^836764-1 is not prime. Res64: E402C3851103CA5A Time : 23070.0 sec. user=vaughan [2010-06-28 01:34:02] 435*2^836764-1 is not prime. Res64: 81E0E8CEA92A3A6D Time : 23069.0 sec. user=vaughan [2010-06-28 01:34:02] 507*2^836764-1 is not prime. Res64: 7596C25FBE0574A7 Time : 23069.0 sec. user=vaughan [2010-06-28 01:34:02] 533*2^836764-1 is not prime. Res64: 2280758461B2D467 Time : 23068.0 sec. user=vaughan [2010-06-28 01:34:03] 539*2^836764-1 is not prime. Res64: F43E51B3A587C3E4 Time : 23069.0 sec. user=vaughan [2010-06-28 01:34:39] 587*2^836726-1 is not prime. Res64: 864FC58AA50A8C51 Time : 26472.0 sec. user=vaughan [2010-06-28 01:34:52] 495*2^836732-1 is not prime. Res64: 2DB61AAE2138935C Time : 25814.0 sec. user=vaughan [2010-06-28 01:35:15] 441*2^836673-1 is not prime. Res64: DE4A186D329C6277 Time : 34086.0 sec. user=vaughan [2010-06-28 01:37:50] 513*2^836907-1 is not prime. Res64: 7B92BC1FC64D0A2A Time : 714.0 sec. user=vaughan [2010-06-28 01:39:12] 447*2^836732-1 is not prime. Res64: B040C671543C4D31 Time : 26099.0 sec. user=vaughan [2010-06-28 01:39:26] 519*2^836740-1 is not prime. Res64: 2A9C1B7FF10C3276 Time : 24334.0 sec. user=vaughan [2010-06-28 01:39:37] 563*2^836740-1 is not prime. Res64: 5ED5C40FFA9F88FA Time : 24321.0 sec. user=vaughan [2010-06-28 01:41:10] 463*2^836915-1 is not prime. Res64: B8D0A2A374901F56 Time : 717.0 sec. user=vaughan [2010-06-28 01:41:21] 595*2^836915-1 is not prime. Res64: 5A21AEC0B1420BC5 Time : 717.0 sec. user=vaughan [2010-06-28 01:41:47] 557*2^836766-1 is not prime. Res64: DF9D006728449737 Time : 23110.0 sec. user=vaughan [2010-06-28 01:41:48] 423*2^836767-1 is not prime. Res64: 1417F72489310B56 Time : 23111.0 sec. user=vaughan [2010-06-28 01:41:48] 463*2^836767-1 is not prime. Res64: AB848AA82D2D92EB Time : 23110.0 sec. user=vaughan [2010-06-28 01:41:48] 469*2^836767-1 is not prime. Res64: F8EB82C7A5D1D803 Time : 23109.0 sec. user=vaughan [2010-06-28 01:41:48] 437*2^836768-1 is not prime. Res64: E744E37D49D50811 Time : 23109.0 sec. user=vaughan [2010-06-28 01:41:49] 459*2^836768-1 is not prime. Res64: D9BA3E40B9293C7E Time : 23109.0 sec. user=vaughan [2010-06-28 01:41:49] 479*2^836768-1 is not prime. Res64: 98DBE2AEF0B02993 Time : 23109.0 sec. user=vaughan [2010-06-28 01:41:49] 509*2^836768-1 is not prime. Res64: 9C17B0854238C60F Time : 23108.0 sec. user=vaughan [2010-06-28 01:41:49] 563*2^836768-1 is not prime. Res64: 60A111197B7B3AF7 Time : 23108.0 sec. user=vaughan [2010-06-28 01:41:50] 441*2^836769-1 is not prime. Res64: C05143906C5C0C8B Time : 23108.0 sec. user=vaughan [2010-06-28 01:41:50] 445*2^836769-1 is not prime. Res64: C6FC6694B7F71FB7 Time : 23107.0 sec. user=vaughan [2010-06-28 01:41:50] 507*2^836769-1 is not prime. Res64: 57F3559293FE904A Time : 23107.0 sec. user=vaughan [2010-06-28 01:41:50] 535*2^836769-1 is not prime. Res64: FF8C100A26194013 Time : 23106.0 sec. user=vaughan [2010-06-28 01:41:51] 559*2^836769-1 is not prime. Res64: 67EF55DE516D8D34 Time : 23107.0 sec. user=vaughan [2010-06-28 01:41:51] 411*2^836770-1 is not prime. Res64: 87EDE7F920BF5C18 Time : 23106.0 sec. user=vaughan [2010-06-28 01:41:51] 413*2^836770-1 is not prime. Res64: D1B861AE20503BA7 Time : 23106.0 sec. user=vaughan [2010-06-28 01:41:52] 447*2^836770-1 is not prime. Res64: 93A5E6A91C54AD29 Time : 23106.0 sec. user=vaughan [2010-06-28 01:41:52] 495*2^836770-1 is not prime. Res64: E14B87BF63C8F21E Time : 23106.0 sec. user=vaughan [2010-06-28 01:41:52] 521*2^836770-1 is not prime. Res64: D64EA9BF36D07156 Time : 23105.0 sec. user=vaughan [2010-06-28 01:41:52] 561*2^836770-1 is not prime. Res64: 174F4CFB66950DF6 Time : 23104.0 sec. user=vaughan [2010-06-28 01:41:53] 567*2^836770-1 is not prime. Res64: AFF53886B65D3F12 Time : 23105.0 sec. user=vaughan [2010-06-28 01:41:53] 409*2^836771-1 is not prime. Res64: 7C604A7A954ED736 Time : 23104.0 sec. user=vaughan [2010-06-28 01:41:53] 531*2^836771-1 is not prime. Res64: 06BF73C0A0FA4CBC Time : 23104.0 sec. user=vaughan [2010-06-28 01:41:53] 571*2^836771-1 is not prime. Res64: 992F01344A07D99B Time : 23103.0 sec. user=vaughan [2010-06-28 01:41:54] 585*2^836771-1 is not prime. Res64: EF2C6FF46F274CF7 Time : 23104.0 sec. user=vaughan [2010-06-28 01:42:15] 475*2^836907-1 is not prime. Res64: 657A952729F547A8 Time : 1026.0 sec. user=vaughan [2010-06-28 01:43:32] 417*2^836733-1 is not prime. Res64: 51E2EA2B23B6D95E Time : 26210.0 sec. user=vaughan [2010-06-28 01:44:21] 441*2^836683-1 is not prime. Res64: 2DB4F45C8DCC0708 Time : 33240.0 sec. user=vaughan [2010-06-28 01:44:22] 465*2^836908-1 is not prime. Res64: F01935F0F3CC6E9C Time : 1013.0 sec. user=vaughan [2010-06-28 01:45:03] 563*2^836744-1 is not prime. Res64: 8D4EEB99D1FD1D8F Time : 23872.0 sec. user=vaughan [2010-06-28 01:45:03] 591*2^836745-1 is not prime. Res64: 62BB5B38EDCA43EE Time : 23871.0 sec. user=vaughan [2010-06-28 01:45:03] 405*2^836746-1 is not prime. Res64: BD1A26748D3DFA7D Time : 23870.0 sec. user=vaughan [2010-06-28 01:45:04] 507*2^836746-1 is not prime. Res64: 18834DDA0E2CD874 Time : 23871.0 sec. user=vaughan [2010-06-28 01:45:04] 521*2^836746-1 is not prime. Res64: 3595D695645712A8 Time : 23870.0 sec. user=vaughan [2010-06-28 01:45:04] 435*2^836747-1 is not prime. Res64: 57246185174A6810 Time : 23870.0 sec. user=vaughan [2010-06-28 01:45:04] 451*2^836747-1 is not prime. Res64: A496F6A09336875B Time : 23869.0 sec. user=vaughan [2010-06-28 01:45:05] 453*2^836747-1 is not prime. Res64: 1B739610787E00FF Time : 23870.0 sec. user=vaughan [2010-06-28 01:45:05] 475*2^836747-1 is not prime. Res64: AB08CEE88C0CDEAA Time : 23869.0 sec. user=vaughan [2010-06-28 01:45:05] 589*2^836747-1 is not prime. Res64: BDB73879486D0CD6 Time : 23869.0 sec. user=vaughan [2010-06-28 01:45:05] 429*2^836748-1 is not prime. Res64: EC925B329D5F6275 Time : 23868.0 sec. user=vaughan [2010-06-28 01:45:06] 465*2^836748-1 is not prime. Res64: DCDB6BD2D9F770E3 Time : 23869.0 sec. user=vaughan [2010-06-28 01:45:06] 545*2^836748-1 is not prime. Res64: 788E7E9F21A9D268 Time : 23868.0 sec. user=vaughan [2010-06-28 01:45:06] 557*2^836748-1 is not prime. Res64: 8FD18C3B836C528B Time : 23868.0 sec. user=vaughan [2010-06-28 01:45:07] 415*2^836749-1 is not prime. Res64: 54735CB94FDEB071 Time : 23868.0 sec. user=vaughan [2010-06-28 01:45:07] 457*2^836749-1 is not prime. Res64: A6FF6614A4610B63 Time : 23868.0 sec. user=vaughan [2010-06-28 01:45:07] 489*2^836749-1 is not prime. Res64: 9EEE2A9B10492955 Time : 23867.0 sec. user=vaughan [2010-06-28 01:45:07] 405*2^836750-1 is not prime. Res64: F40BABC0E710D3B1 Time : 23866.0 sec. user=vaughan [2010-06-28 01:45:08] 455*2^836750-1 is not prime. Res64: 1118A8D753AB6F48 Time : 23867.0 sec. user=vaughan [2010-06-28 01:45:08] 585*2^836750-1 is not prime. Res64: 99FCB5D1C6E61BCF Time : 23866.0 sec. user=vaughan [2010-06-28 01:45:08] 541*2^836751-1 is not prime. Res64: B36CED5E4F2BEF07 Time : 23866.0 sec. user=vaughan [2010-06-28 01:45:08] 565*2^836751-1 is not prime. Res64: 243DA54A925820BC Time : 23865.0 sec. user=vaughan [2010-06-28 01:45:09] 405*2^836753-1 is not prime. Res64: 3F8C5A0754AF9F13 Time : 23866.0 sec. user=vaughan [2010-06-28 01:45:09] 533*2^836908-1 is not prime. Res64: 033D3939C4295E0A Time : 982.0 sec. user=vaughan [2010-06-28 01:45:09] 517*2^836753-1 is not prime. Res64: 50AEE43650BB78B1 Time : 23865.0 sec. user=vaughan [2010-06-28 01:45:09] 485*2^836754-1 is not prime. Res64: F15CBFB9B976F9CC Time : 23865.0 sec. user=vaughan [2010-06-28 01:46:31] 417*2^836678-1 is not prime. Res64: E46B2EA6AEDA26AD Time : 34212.0 sec. user=vaughan [2010-06-28 01:47:12] 545*2^836684-1 is not prime. Res64: 9D9E6A49DD179455 Time : 33067.0 sec. user=vaughan [2010-06-28 01:47:12] 465*2^836916-1 is not prime. Res64: 7CDDBC09A1B1090A Time : 1001.0 sec. user=vaughan [2010-06-28 01:48:13] 597*2^836758-1 is not prime. Res64: 073FD51B0AABF766 Time : 23979.0 sec. user=vaughan [2010-06-28 01:48:39] 421*2^836759-1 is not prime. Res64: F800EA7145AA159E Time : 23992.0 sec. user=vaughan [2010-06-28 01:49:43] 477*2^836926-1 is not prime. Res64: D061005050A38FDD Time : 713.0 sec. user=vaughan [2010-06-28 01:50:26] 451*2^836735-1 is not prime. Res64: B50499355DAB0799 Time : 26023.0 sec. user=vaughan [2010-06-28 01:51:02] 537*2^836737-1 is not prime. Res64: CE67B7C20D229BDC Time : 25699.0 sec. user=vaughan [2010-06-28 01:52:11] 529*2^836681-1 is not prime. Res64: 3DB598937ACE11DA Time : 34044.0 sec. user=vaughan [2010-06-28 01:53:05] 409*2^836737-1 is not prime. Res64: 43E518B6027491E5 Time : 25875.0 sec. user=vaughan [2010-06-28 01:53:06] 489*2^836927-1 is not prime. Res64: 9B4067B8C244142C Time : 716.0 sec. user=vaughan [2010-06-28 01:53:17] 493*2^836927-1 is not prime. Res64: 53F3E65EFED6902A Time : 716.0 sec. user=vaughan [2010-06-28 01:54:01] 423*2^836734-1 is not prime. Res64: AEA317DAF8A6F982 Time : 26601.0 sec. user=vaughan [2010-06-28 01:55:38] 567*2^836764-1 is not prime. Res64: 441DB4C823B761A8 Time : 24333.0 sec. user=vaughan [2010-06-28 01:55:51] 409*2^836765-1 is not prime. Res64: C09CE4E765AF8B55 Time : 24322.0 sec. user=vaughan [2010-06-28 01:56:35] 509*2^836736-1 is not prime. Res64: 7B863A30761F2D22 Time : 26100.0 sec. user=vaughan [2010-06-28 01:59:21] 509*2^836936-1 is not prime. Res64: 5B4CC268C4D2C18F Time : 1026.0 sec. user=vaughan [2010-06-28 02:01:02] 423*2^836738-1 is not prime. Res64: 85EDB712BCE07273 Time : 26215.0 sec. user=vaughan [2010-06-28 02:01:15] 501*2^836937-1 is not prime. Res64: 271037EB54762903 Time : 1013.0 sec. user=vaughan [2010-06-28 02:01:29] 577*2^836937-1 is not prime. Res64: DA0B6AB559A30E0B Time : 981.0 sec. user=vaughan [2010-06-28 02:01:38] 597*2^836944-1 is not prime. Res64: ACD4444C25C03E61 Time : 715.0 sec. user=vaughan [2010-06-28 02:02:00] 495*2^836690-1 is not prime. Res64: 1CC90CF96C0846DD Time : 33295.0 sec. user=vaughan [2010-06-28 02:03:30] 483*2^836684-1 is not prime. Res64: 55AD4E3B3DDD623B Time : 34162.0 sec. user=vaughan [2010-06-28 02:03:38] 569*2^836692-1 is not prime. Res64: 50414CB95445E831 Time : 33069.0 sec. user=vaughan [2010-06-28 02:03:51] 485*2^836944-1 is not prime. Res64: 98265ED8102B194B Time : 999.0 sec. user=vaughan [2010-06-28 02:04:04] 515*2^836916-1 is not prime. Res64: 62396A0343326AE7 Time : 1970.0 sec. user=vaughan [2010-06-28 02:04:11] 437*2^836774-1 is not prime. Res64: 50311B6AB49188B7 Time : 23978.0 sec. user=vaughan [2010-06-28 02:04:26] 579*2^836916-1 is not prime. Res64: 5065D6ECA75CB483 Time : 1970.0 sec. user=vaughan [2010-06-28 02:04:37] 533*2^836774-1 is not prime. Res64: CEF657816C49037B Time : 23991.0 sec. user=vaughan [2010-06-28 02:05:02] 437*2^836946-1 is not prime. Res64: 9FE8FE90E8AF0D80 Time : 716.0 sec. user=vaughan [2010-06-28 02:05:13] 465*2^836946-1 is not prime. Res64: EC7FD88337646B22 Time : 716.0 sec. user=vaughan [2010-06-28 02:09:06] 557*2^836742-1 is not prime. Res64: C7ED758BF5434A45 Time : 25776.0 sec. user=vaughan [2010-06-28 02:09:16] 585*2^836687-1 is not prime. Res64: 0E471CA4F3B970B6 Time : 34012.0 sec. user=vaughan [2010-06-28 02:09:34] 453*2^836740-1 is not prime. Res64: 4BF6A87CCFB86B2F Time : 26165.0 sec. user=vaughan [2010-06-28 02:11:16] 559*2^836741-1 is not prime. Res64: 297DB966054A7492 Time : 25948.0 sec. user=vaughan [2010-06-28 02:11:53] 423*2^836775-1 is not prime. Res64: 9E749495FEA6A3FD Time : 24336.0 sec. user=vaughan [2010-06-28 02:12:06] 429*2^836775-1 is not prime. Res64: 528C9787A223D0E7 Time : 24327.0 sec. user=vaughan [2010-06-28 02:13:23] 415*2^836739-1 is not prime. Res64: 379491AC3C1F8FA9 Time : 26730.0 sec. user=vaughan [2010-06-28 02:13:31] 555*2^836947-1 is not prime. Res64: 44AE97E47CBBDCBE Time : 714.0 sec. user=vaughan [2010-06-28 02:13:56] 401*2^836742-1 is not prime. Res64: 2CDEE3978300E030 Time : 26097.0 sec. user=vaughan [2010-06-28 02:16:27] 429*2^836947-1 is not prime. Res64: 465A98EFD1232751 Time : 1026.0 sec. user=vaughan [2010-06-28 02:16:59] 567*2^836950-1 is not prime. Res64: CDDEFAF4776D61A9 Time : 717.0 sec. user=vaughan [2010-06-28 02:17:10] 593*2^836950-1 is not prime. Res64: 3B8502E04C8C5F38 Time : 717.0 sec. user=vaughan [2010-06-28 02:17:49] 519*2^836947-1 is not prime. Res64: 532190E5CA14638E Time : 980.0 sec. user=vaughan [2010-06-28 02:18:08] 511*2^836947-1 is not prime. Res64: B1DB2BFD5B6E2B2C Time : 1014.0 sec. user=vaughan [2010-06-28 02:18:30] 573*2^836742-1 is not prime. Res64: EBDCEB5004DE9AD0 Time : 26217.0 sec. user=vaughan [2010-06-28 02:19:28] 597*2^836698-1 is not prime. Res64: BB7B2C2E8244A010 Time : 33366.0 sec. user=vaughan [2010-06-28 02:20:10] 525*2^836778-1 is not prime. Res64: 323265355DBDDE99 Time : 23977.0 sec. user=vaughan [2010-06-28 02:20:31] 567*2^836948-1 is not prime. Res64: 91DB4678916BBE98 Time : 1000.0 sec. user=vaughan [2010-06-28 02:20:31] 513*2^836692-1 is not prime. Res64: 960B7187A8033209 Time : 34115.0 sec. user=vaughan [2010-06-28 02:20:35] 451*2^836779-1 is not prime. Res64: 20865B2CD9F2ECB9 Time : 23990.0 sec. user=vaughan [2010-06-28 02:20:39] 511*2^836701-1 is not prime. Res64: D83946CE345C9B44 Time : 33119.0 sec. user=vaughan [2010-06-28 02:25:24] 417*2^836954-1 is not prime. Res64: 6BE5E239F2685E6F Time : 713.0 sec. user=vaughan [2010-06-28 02:26:19] 447*2^836696-1 is not prime. Res64: 3FADF143AF8EDCED Time : 33985.0 sec. user=vaughan [2010-06-28 02:27:08] 485*2^836766-1 is not prime. Res64: C7AA6CB2AA89A568 Time : 25850.0 sec. user=vaughan [2010-06-28 02:28:07] 511*2^836779-1 is not prime. Res64: 34FE653F3B8811E3 Time : 24339.0 sec. user=vaughan [2010-06-28 02:28:19] 573*2^836779-1 is not prime. Res64: 949FFFCC84EC9687 Time : 24329.0 sec. user=vaughan [2010-06-28 02:28:41] 597*2^836764-1 is not prime. Res64: 7B8B625E28E109B2 Time : 26309.0 sec. user=vaughan [2010-06-28 02:28:55] 415*2^836955-1 is not prime. Res64: 47D3C44255ACFE7F Time : 717.0 sec. user=vaughan [2010-06-28 02:29:06] 469*2^836955-1 is not prime. Res64: D88FEC4CDF36750E Time : 717.0 sec. user=vaughan [2010-06-28 02:29:30] 567*2^836765-1 is not prime. Res64: B1B96F7B46816756 Time : 26030.0 sec. user=vaughan [2010-06-28 02:31:19] 537*2^836766-1 is not prime. Res64: C911E0B304A5347C Time : 26098.0 sec. user=vaughan [2010-06-28 02:32:45] 453*2^836743-1 is not prime. Res64: 17BDD8953C37E5EA Time : 26864.0 sec. user=vaughan [2010-06-28 02:33:33] 545*2^836954-1 is not prime. Res64: 0F055EEF684CFC22 Time : 1026.0 sec. user=vaughan [2010-06-28 02:34:11] 471*2^836955-1 is not prime. Res64: 1C3011B5EB3AE493 Time : 982.0 sec. user=vaughan [2010-06-28 02:35:01] 583*2^836955-1 is not prime. Res64: E64462B2BB25FEC3 Time : 1013.0 sec. user=vaughan [2010-06-28 02:35:55] 585*2^836706-1 is not prime. Res64: 4F7459793BA835C7 Time : 33374.0 sec. user=vaughan [2010-06-28 02:35:59] 419*2^836772-1 is not prime. Res64: C99C7660CC54D7B6 Time : 26222.0 sec. user=vaughan [2010-06-28 02:36:15] 421*2^836785-1 is not prime. Res64: 6A5AB66F5AC095F0 Time : 23985.0 sec. user=vaughan [2010-06-28 02:36:39] 441*2^836785-1 is not prime. Res64: 7E35584AC223FC0B Time : 23995.0 sec. user=vaughan [2010-06-28 02:36:56] 579*2^836948-1 is not prime. Res64: 77B859F84E9C59E2 Time : 1972.0 sec. user=vaughan [2010-06-28 02:37:11] 439*2^836957-1 is not prime. Res64: 1AC091F8F3614707 Time : 1001.0 sec. user=vaughan [2010-06-28 02:37:18] 507*2^836949-1 is not prime. Res64: 488377643E8F4084 Time : 1972.0 sec. user=vaughan [2010-06-28 02:37:18] 531*2^836959-1 is not prime. Res64: FB1C417052105321 Time : 714.0 sec. user=vaughan [2010-06-28 02:37:18] 591*2^836701-1 is not prime. Res64: 62C326291A986703 Time : 34074.0 sec. user=vaughan [2010-06-28 02:38:24] 507*2^836709-1 is not prime. Res64: 31ADD389EBD4DF8C Time : 33210.0 sec. user=vaughan [2010-06-28 02:40:51] 535*2^836961-1 is not prime. Res64: FD4CCD5DA50E54CB Time : 716.0 sec. user=vaughan [2010-06-28 02:41:02] 437*2^836962-1 is not prime. Res64: 5FE048F2E8105C4F Time : 716.0 sec. user=vaughan [2010-06-28 02:43:14] 511*2^836705-1 is not prime. Res64: 52F701BB29DA70C2 Time : 33948.0 sec. user=vaughan [2010-06-28 02:44:30] 499*2^836785-1 is not prime. Res64: C3DB8F8681C09FFF Time : 24351.0 sec. user=vaughan [2010-06-28 02:44:44] 507*2^836785-1 is not prime. Res64: 99773E65A3EA26A0 Time : 24343.0 sec. user=vaughan [2010-06-28 02:45:11] 517*2^836777-1 is not prime. Res64: 047E2B27CF9F412C Time : 25927.0 sec. user=vaughan [2010-06-28 02:47:41] 507*2^836777-1 is not prime. Res64: 9964FB759919EDD8 Time : 26109.0 sec. user=vaughan [2010-06-28 02:47:50] 555*2^836775-1 is not prime. Res64: 6797D7450E3261F3 Time : 26455.0 sec. user=vaughan [2010-06-28 02:48:41] 595*2^836777-1 is not prime. Res64: 4CAF7FFC37C37DE8 Time : 26097.0 sec. user=vaughan [2010-06-28 02:49:12] 447*2^836966-1 is prime! Time : 714.0 sec. user=vaughan [2010-06-28 02:50:32] 459*2^836964-1 is not prime. Res64: E6051FBDDAE58BD6 Time : 981.0 sec. user=vaughan [2010-06-28 02:50:39] 549*2^836963-1 is not prime. Res64: 16BB57B5975FE8A8 Time : 1027.0 sec. user=vaughan [2010-06-28 02:51:55] 513*2^836964-1 is not prime. Res64: 2FEC0B87E0E05A14 Time : 1014.0 sec. user=vaughan [2010-06-28 02:52:08] 441*2^836773-1 is not prime. Res64: FDE5A7880A7BDE75 Time : 26999.0 sec. user=vaughan [2010-06-28 02:52:23] 559*2^836713-1 is not prime. Res64: 6545AA469FA016A5 Time : 33374.0 sec. user=vaughan [2010-06-28 02:52:25] 517*2^836789-1 is not prime. Res64: 72A0F3C23D411EBA Time : 23996.0 sec. user=vaughan [2010-06-28 02:52:47] 567*2^836789-1 is not prime. Res64: 2295368B7C942099 Time : 24004.0 sec. user=vaughan [2010-06-28 02:52:48] 477*2^836966-1 is not prime. Res64: 2BCEFD9A5D33694F Time : 717.0 sec. user=vaughan [2010-06-28 02:52:58] 483*2^836966-1 is not prime. Res64: 7124AB719A3885D2 Time : 716.0 sec. user=vaughan [2010-06-28 02:53:28] 417*2^836778-1 is not prime. Res64: B14BDCE98D665981 Time : 26225.0 sec. user=vaughan [2010-06-28 02:53:50] 591*2^836965-1 is not prime. Res64: F257D5DCE8012ABC Time : 999.0 sec. user=vaughan [2010-06-28 02:54:10] 443*2^836710-1 is not prime. Res64: DC0535FC4F77D45E Time : 34024.0 sec. user=vaughan [2010-06-28 02:56:36] 511*2^836715-1 is not prime. Res64: DD7346AC0893EDEF Time : 33321.0 sec. user=vaughan [2010-06-28 03:00:15] 477*2^836713-1 is not prime. Res64: 6F8E9208491F5946 Time : 33912.0 sec. user=vaughan [2010-06-28 03:00:50] 515*2^836790-1 is not prime. Res64: AE93A928B7ADEF98 Time : 24360.0 sec. user=vaughan [2010-06-28 03:01:02] 521*2^836790-1 is not prime. Res64: F636810AA82CB977 Time : 24349.0 sec. user=vaughan [2010-06-28 03:01:07] 435*2^836968-1 is not prime. Res64: A6F08B296165FE66 Time : 715.0 sec. user=vaughan [2010-06-28 03:03:12] 513*2^836782-1 is not prime. Res64: 728161526F8E8EA4 Time : 26001.0 sec. user=vaughan [2010-06-28 03:04:44] 587*2^836970-1 is not prime. Res64: 5471709FC5453F03 Time : 717.0 sec. user=vaughan [2010-06-28 03:04:55] 451*2^836971-1 is not prime. Res64: 058BEB023C4D2B13 Time : 717.0 sec. user=vaughan [2010-06-28 03:05:53] 491*2^836782-1 is not prime. Res64: A7D25BCFC5AE3775 Time : 26191.0 sec. user=vaughan [2010-06-28 03:06:14] 561*2^836782-1 is not prime. Res64: DC1B3B70198C71C3 Time : 26107.0 sec. user=vaughan [2010-06-28 03:06:53] 453*2^836968-1 is not prime. Res64: 713089F3403640E9 Time : 981.0 sec. user=vaughan [2010-06-28 03:06:57] 587*2^836780-1 is not prime. Res64: D249331A59D7478F Time : 26597.0 sec. user=vaughan [2010-06-28 03:07:46] 567*2^836968-1 is not prime. Res64: 21E3635212AF493A Time : 1028.0 sec. user=vaughan [2010-06-28 03:08:26] 481*2^836793-1 is not prime. Res64: E8DEC49D76A92C0F Time : 23999.0 sec. user=vaughan [2010-06-28 03:08:47] 501*2^836969-1 is not prime. Res64: 6FB256C38E03418B Time : 1013.0 sec. user=vaughan [2010-06-28 03:08:49] 525*2^836793-1 is not prime. Res64: 4D88FA991715747A Time : 24007.0 sec. user=vaughan [2010-06-28 03:09:30] 415*2^836719-1 is not prime. Res64: AE98AE7C166A385B Time : 33409.0 sec. user=vaughan [2010-06-28 03:09:45] 555*2^836965-1 is not prime. Res64: 5C9F915C774ED7E7 Time : 1969.0 sec. user=vaughan [2010-06-28 03:10:02] 417*2^836966-1 is not prime. Res64: 117ABC24D4383845 Time : 1965.0 sec. user=vaughan [2010-06-28 03:10:30] 545*2^836972-1 is not prime. Res64: 55846B0CC7085446 Time : 1000.0 sec. user=vaughan [2010-06-28 03:11:05] 477*2^836717-1 is not prime. Res64: 62AE5C77C55FD6C4 Time : 33987.0 sec. user=vaughan [2010-06-28 03:11:06] 507*2^836784-1 is not prime. Res64: 300FF2F4A45F3B9F Time : 26238.0 sec. user=vaughan [2010-06-28 03:11:31] 507*2^836778-1 is not prime. Res64: AA2C134DF61C0BAC Time : 27135.0 sec. user=vaughan [2010-06-28 03:13:01] 453*2^836974-1 is not prime. Res64: 7633CD60181B46B2 Time : 715.0 sec. user=vaughan [2010-06-28 03:13:27] 407*2^836720-1 is not prime. Res64: 61C4AF83019A9C97 Time : 33355.0 sec. user=vaughan [2010-06-28 03:16:40] 491*2^836974-1 is not prime. Res64: 0533CE25E9C6B8B9 Time : 717.0 sec. user=vaughan [2010-06-28 03:16:51] 545*2^836974-1 is not prime. Res64: 0012186FBD2EFF52 Time : 717.0 sec. user=vaughan [2010-06-28 03:17:06] 459*2^836795-1 is not prime. Res64: 1D3EF03C7CA862F0 Time : 24365.0 sec. user=vaughan [2010-06-28 03:17:10] 567*2^836718-1 is not prime. Res64: 97057E722920D2AB Time : 33891.0 sec. user=vaughan [2010-06-28 03:17:17] 553*2^836795-1 is not prime. Res64: 7E45A377ED9ABA82 Time : 24353.0 sec. user=vaughan [2010-06-28 03:21:15] 445*2^836787-1 is not prime. Res64: 04D6F38870502FA6 Time : 26076.0 sec. user=vaughan [2010-06-28 03:23:14] 525*2^836975-1 is not prime. Res64: 164D2D2649A711A7 Time : 981.0 sec. user=vaughan [2010-06-28 03:23:38] 579*2^836787-1 is not prime. Res64: 60FE474BA6C6D79B Time : 26108.0 sec. user=vaughan [2010-06-28 03:24:07] 567*2^836786-1 is not prime. Res64: FE330409D2EE152E Time : 26272.0 sec. user=vaughan [2010-06-28 03:24:27] 585*2^836798-1 is not prime. Res64: 886D0287C773AA6E Time : 24002.0 sec. user=vaughan [2010-06-28 03:24:51] 439*2^836799-1 is not prime. Res64: E0497C9529DF6DE2 Time : 24009.0 sec. user=vaughan [2010-06-28 03:24:54] 455*2^836976-1 is not prime. Res64: 1D7DEA5A0D78C530 Time : 1028.0 sec. user=vaughan [2010-06-28 03:24:55] 453*2^836980-1 is not prime. Res64: 2B0D91CFE2EC2957 Time : 714.0 sec. user=vaughan [2010-06-28 03:25:41] 429*2^836977-1 is not prime. Res64: F3C7E8668EC835AB Time : 1014.0 sec. user=vaughan [2010-06-28 03:26:05] 577*2^836785-1 is not prime. Res64: CCEF03859011DB22 Time : 26741.0 sec. user=vaughan [2010-06-28 03:27:04] 587*2^836724-1 is not prime. Res64: B2749ABB6ED99ED5 Time : 33466.0 sec. user=vaughan [2010-06-28 03:27:10] 507*2^836978-1 is not prime. Res64: B0FEEFAC196E462B Time : 1001.0 sec. user=vaughan [2010-06-28 03:28:01] 539*2^836720-1 is not prime. Res64: 7D83F857C9507F29 Time : 33951.0 sec. user=vaughan [2010-06-28 03:28:35] 465*2^836789-1 is not prime. Res64: 3D88E986408EEEEE Time : 26238.0 sec. user=vaughan [2010-06-28 03:28:36] 549*2^836980-1 is not prime. Res64: A787F90917868125 Time : 716.0 sec. user=vaughan [2010-06-28 03:28:46] 465*2^836981-1 is not prime. Res64: C056F32F2921E3D6 Time : 715.0 sec. user=vaughan [2010-06-28 03:29:52] 433*2^836727-1 is not prime. Res64: 7CB2C5634B69EA08 Time : 33359.0 sec. user=vaughan [2010-06-28 03:30:53] 415*2^836785-1 is not prime. Res64: E78A764876C242E1 Time : 27268.0 sec. user=vaughan [2010-06-28 03:33:21] 483*2^836800-1 is not prime. Res64: 74097DEDF4F5A58B Time : 24366.0 sec. user=vaughan [2010-06-28 03:33:32] 421*2^836801-1 is not prime. Res64: 36FE9BBC0DEF3356 Time : 24358.0 sec. user=vaughan [2010-06-28 03:34:13] 415*2^836725-1 is not prime. Res64: 8C9BD0051C812CAF Time : 33867.0 sec. user=vaughan [2010-06-28 03:36:48] 535*2^836985-1 is not prime. Res64: D5DF09CF862AECAD Time : 713.0 sec. user=vaughan [2010-06-28 03:39:18] 583*2^836791-1 is not prime. Res64: 02637247066C97A8 Time : 26152.0 sec. user=vaughan [2010-06-28 03:39:36] 417*2^836984-1 is not prime. Res64: 202D588A1DA2CEBE Time : 982.0 sec. user=vaughan [2010-06-28 03:40:28] 531*2^836805-1 is not prime. Res64: CA3AC18958436C56 Time : 24003.0 sec. user=vaughan [2010-06-28 03:40:33] 589*2^836987-1 is not prime. Res64: 108237C654351F84 Time : 717.0 sec. user=vaughan [2010-06-28 03:40:42] 595*2^836987-1 is not prime. Res64: 53C9023DD2AA0C65 Time : 716.0 sec. user=vaughan [2010-06-28 03:40:52] 573*2^836806-1 is not prime. Res64: 5FF9C90B3FD2F6A1 Time : 24012.0 sec. user=vaughan [2010-06-28 03:41:07] 479*2^836792-1 is not prime. Res64: 951728AB777E87FE Time : 26113.0 sec. user=vaughan [2010-06-28 03:42:04] 481*2^836985-1 is not prime. Res64: BABA8EAA6E9C7E3F Time : 1030.0 sec. user=vaughan [2010-06-28 03:42:18] 549*2^836791-1 is not prime. Res64: 3FF08F9B1B55059F Time : 26355.0 sec. user=vaughan [2010-06-28 03:42:35] 521*2^836986-1 is not prime. Res64: 7A60E8991E00A7DB Time : 1014.0 sec. user=vaughan [2010-06-28 03:42:52] 497*2^836978-1 is not prime. Res64: A36F1B6BDD866C81 Time : 1987.0 sec. user=vaughan [2010-06-28 03:43:09] 503*2^836978-1 is not prime. Res64: 34D79FAD907563C0 Time : 1987.0 sec. user=vaughan [2010-06-28 03:43:51] 475*2^836987-1 is not prime. Res64: C24714E6C699FBA9 Time : 1001.0 sec. user=vaughan [2010-06-28 03:45:00] 593*2^836732-1 is not prime. Res64: 44D1FCC5F1965617 Time : 33541.0 sec. user=vaughan [2010-06-28 03:45:05] 461*2^836730-1 is not prime. Res64: ED4C29306B4F11E5 Time : 33913.0 sec. user=vaughan [2010-06-28 03:45:12] 563*2^836790-1 is not prime. Res64: D7092501B14B5FA5 Time : 26886.0 sec. user=vaughan [2010-06-28 03:46:08] 555*2^836793-1 is not prime. Res64: BE962A01E0A77CD1 Time : 26244.0 sec. user=vaughan [2010-06-28 03:46:31] 413*2^836734-1 is not prime. Res64: DD744CBE0BC44C92 Time : 33375.0 sec. user=vaughan [2010-06-28 03:48:42] 455*2^836990-1 is not prime. Res64: BA20CD1ECB94ED04 Time : 714.0 sec. user=vaughan [2010-06-28 03:49:34] 493*2^836807-1 is not prime. Res64: 2C3568F48CAFCEA4 Time : 24366.0 sec. user=vaughan [2010-06-28 03:49:47] 429*2^836809-1 is not prime. Res64: EBABCB5CB1F1DE6D Time : 24362.0 sec. user=vaughan [2010-06-28 03:50:14] 501*2^836790-1 is not prime. Res64: 7FF052B92594CADA Time : 27400.0 sec. user=vaughan [2010-06-28 03:51:21] 441*2^836733-1 is not prime. Res64: 33EFBD6A00A24A31 Time : 33849.0 sec. user=vaughan [2010-06-28 03:52:29] 415*2^836991-1 is not prime. Res64: CF06AE1F6117696E Time : 717.0 sec. user=vaughan [2010-06-28 03:52:39] 429*2^836991-1 is not prime. Res64: 09B69C8F0E959A28 Time : 717.0 sec. user=vaughan [2010-06-28 03:55:58] 561*2^836990-1 is not prime. Res64: 2CC2F2A2A1278264 Time : 982.0 sec. user=vaughan [2010-06-28 03:56:29] 517*2^836813-1 is not prime. Res64: A6155F83F61EC81A Time : 24005.0 sec. user=vaughan [2010-06-28 03:56:55] 591*2^836813-1 is not prime. Res64: 99F4B55C4F187467 Time : 24016.0 sec. user=vaughan [2010-06-28 03:57:18] 483*2^836796-1 is not prime. Res64: 723E5E98EE435BB4 Time : 26224.0 sec. user=vaughan [2010-06-28 03:58:36] 495*2^836798-1 is not prime. Res64: 06CC200B2942B61C Time : 26125.0 sec. user=vaughan [2010-06-28 03:59:16] 435*2^836992-1 is not prime. Res64: 7A5C0392F3F44175 Time : 1032.0 sec. user=vaughan [2010-06-28 03:59:31] 537*2^836992-1 is not prime. Res64: 8427E468A3BA9FE8 Time : 1016.0 sec. user=vaughan [2010-06-28 04:00:31] 479*2^836796-1 is not prime. Res64: 5561A9C5EA646F90 Time : 26437.0 sec. user=vaughan [2010-06-28 04:00:32] 487*2^836993-1 is not prime. Res64: 9ED7153D149BFA2E Time : 1002.0 sec. user=vaughan [2010-06-28 04:00:35] 543*2^836994-1 is not prime. Res64: 4CE38BE4D7516FEE Time : 714.0 sec. user=vaughan [2010-06-28 04:01:31] 465*2^836737-1 is not prime. Res64: 8CA324953928132E Time : 33538.0 sec. user=vaughan [2010-06-28 04:02:03] 553*2^836735-1 is not prime. Res64: A754978D93D7380E Time : 33886.0 sec. user=vaughan [2010-06-28 04:03:37] 573*2^836799-1 is not prime. Res64: 39C61A348C13AFD0 Time : 26243.0 sec. user=vaughan [2010-06-28 04:04:19] 595*2^836795-1 is not prime. Res64: 4FD1DC6600D521D9 Time : 27029.0 sec. user=vaughan [2010-06-28 04:04:21] 561*2^836738-1 is not prime. Res64: 1CA81733BCD06299 Time : 33468.0 sec. user=vaughan [2010-06-28 04:04:25] 469*2^836997-1 is not prime. Res64: 0849CAAB59C3E5B4 Time : 717.0 sec. user=vaughan [2010-06-28 04:04:35] 471*2^836997-1 is not prime. Res64: A4D5558E6CD85DBB Time : 717.0 sec. user=vaughan [2010-06-28 04:05:49] 555*2^836815-1 is not prime. Res64: F2C54961026FC804 Time : 24370.0 sec. user=vaughan [2010-06-28 04:06:05] 465*2^836816-1 is not prime. Res64: F39C2E2ED0AABF71 Time : 24368.0 sec. user=vaughan [2010-06-28 04:08:26] 515*2^836738-1 is not prime. Res64: 7D2A1E408B9E8D37 Time : 33834.0 sec. user=vaughan [2010-06-28 04:09:37] 413*2^836794-1 is not prime. Res64: 0E5D27BB4D9B6C00 Time : 27534.0 sec. user=vaughan [2010-06-28 04:12:23] 555*2^836997-1 is not prime. Res64: 75A6C589F445BB85 Time : 985.0 sec. user=vaughan [2010-06-28 04:12:29] 559*2^836999-1 is not prime. Res64: 8249E68B41FE11AB Time : 714.0 sec. user=vaughan [2010-06-28 04:12:31] 503*2^836820-1 is not prime. Res64: 087E880B7D5D18E9 Time : 24009.0 sec. user=vaughan [2010-06-28 04:12:55] 513*2^836820-1 is not prime. Res64: 57F60429620BA213 Time : 24017.0 sec. user=vaughan [2010-06-28 04:15:21] 555*2^836803-1 is not prime. Res64: D3CE5D6EC0F87ED6 Time : 26301.0 sec. user=vaughan [2010-06-28 04:16:05] 551*2^836806-1 is not prime. Res64: 6CB5B388D2DBBDEE Time : 26134.0 sec. user=vaughan [2010-06-28 04:16:21] 469*2^837001-1 is not prime. Res64: 2067FBE03D121FCD Time : 716.0 sec. user=vaughan [2010-06-28 04:16:31] 477*2^837001-1 is not prime. Res64: E345AA8C0CCBB8B3 Time : 716.0 sec. user=vaughan [2010-06-28 04:16:34] 575*2^836998-1 is not prime. Res64: 0624CF685645BC2B Time : 1023.0 sec. user=vaughan [2010-06-28 04:16:44] 561*2^836998-1 is not prime. Res64: 86582331ADCF7BF3 Time : 1048.0 sec. user=vaughan [2010-06-28 04:17:16] 493*2^836999-1 is not prime. Res64: 0AC343DB417E4BEE Time : 1004.0 sec. user=vaughan [2010-06-28 04:18:04] 483*2^836742-1 is not prime. Res64: 98A0A0FB0A909976 Time : 33533.0 sec. user=vaughan [2010-06-28 04:18:46] 463*2^836803-1 is not prime. Res64: 39C7183335A72971 Time : 26521.0 sec. user=vaughan [2010-06-28 04:18:55] 421*2^836993-1 is not prime. Res64: 0C57182D00FCCEA3 Time : 2164.0 sec. user=vaughan [2010-06-28 04:19:01] 441*2^836741-1 is not prime. Res64: EAD7D8F2485FC50B Time : 33844.0 sec. user=vaughan [2010-06-28 04:19:13] 475*2^836993-1 is not prime. Res64: B67615972EC1BAAD Time : 2165.0 sec. user=vaughan [2010-06-28 04:21:13] 441*2^836809-1 is not prime. Res64: 02576E703218588B Time : 26248.0 sec. user=vaughan [2010-06-28 04:22:04] 531*2^836821-1 is not prime. Res64: 437455FC34EBFFAE Time : 24372.0 sec. user=vaughan [2010-06-28 04:22:19] 559*2^836821-1 is not prime. Res64: 40668F423B2E5060 Time : 24370.0 sec. user=vaughan [2010-06-28 04:22:35] 441*2^836743-1 is not prime. Res64: C5E41EC6F06EA669 Time : 33576.0 sec. user=vaughan [2010-06-28 04:23:31] 423*2^836802-1 is not prime. Res64: E66533C1E3FC5BEF Time : 27177.0 sec. user=vaughan [2010-06-28 04:24:25] 585*2^837002-1 is not prime. Res64: 4CF02206400CF11C Time : 716.0 sec. user=vaughan [2010-06-28 04:25:31] 591*2^836742-1 is not prime. Res64: E31CA86907F34323 Time : 33812.0 sec. user=vaughan [2010-06-28 04:28:20] 573*2^837004-1 is not prime. Res64: 335AEA693789542C Time : 719.0 sec. user=vaughan [2010-06-28 04:28:28] 575*2^837004-1 is not prime. Res64: CC067B2CC0517755 Time : 717.0 sec. user=vaughan [2010-06-28 04:28:37] 529*2^836825-1 is not prime. Res64: E1B2C94FFC304FE8 Time : 24017.0 sec. user=vaughan [2010-06-28 04:28:53] 573*2^837002-1 is not prime. Res64: 5F2DC913B0B67D59 Time : 990.0 sec. user=vaughan [2010-06-28 04:28:57] 565*2^836825-1 is not prime. Res64: E2B717FF76705980 Time : 24021.0 sec. user=vaughan [2010-06-28 04:29:11] 559*2^836801-1 is not prime. Res64: 6F7793FF241009C9 Time : 27680.0 sec. user=vaughan [2010-06-28 04:33:28] 483*2^836812-1 is not prime. Res64: 1FDB9DCC32B6BDB1 Time : 26381.0 sec. user=vaughan [2010-06-28 04:33:37] 469*2^837005-1 is not prime. Res64: 5B8E622477019D35 Time : 1023.0 sec. user=vaughan [2010-06-28 04:34:02] 593*2^836814-1 is not prime. Res64: 193347D1BC7C3080 Time : 26169.0 sec. user=vaughan [2010-06-28 04:34:03] 507*2^837005-1 is not prime. Res64: EBF94FB641E98DE7 Time : 1008.0 sec. user=vaughan [2010-06-28 04:34:04] 475*2^837005-1 is not prime. Res64: 0B17C32F4CC395AB Time : 1040.0 sec. user=vaughan [2010-06-28 04:34:38] 517*2^836765-1 is not prime. Res64: A2A00BD5F78EE3EA Time : 33540.0 sec. user=vaughan [2010-06-28 04:36:05] 451*2^836765-1 is not prime. Res64: 0CAB59F32B21D5D7 Time : 33833.0 sec. user=vaughan [2010-06-28 04:36:24] 423*2^837008-1 is not prime. Res64: 6EB5429DD8FB6856 Time : 719.0 sec. user=vaughan [2010-06-28 04:37:16] 423*2^836812-1 is not prime. Res64: 69B3C50A9AE8105F Time : 26619.0 sec. user=vaughan [2010-06-28 04:38:19] 537*2^836826-1 is not prime. Res64: 22E2BFE6689B5020 Time : 24373.0 sec. user=vaughan [2010-06-28 04:38:36] 573*2^836826-1 is not prime. Res64: BD0010A0D22BE6FF Time : 24375.0 sec. user=vaughan [2010-06-28 04:38:47] 503*2^836816-1 is not prime. Res64: C64521C24BB96F30 Time : 26253.0 sec. user=vaughan [2010-06-28 04:40:25] 459*2^837008-1 is not prime. Res64: 0E1FC65DB9ACE0E5 Time : 726.0 sec. user=vaughan [2010-06-28 04:40:29] 489*2^837008-1 is not prime. Res64: 011E4E41CC602204 Time : 721.0 sec. user=vaughan [2010-06-28 04:40:36] 555*2^836772-1 is not prime. Res64: 9C13DB56D9143958 Time : 33591.0 sec. user=vaughan [2010-06-28 04:42:29] 413*2^836772-1 is not prime. Res64: 232C98C49D8B3971 Time : 33818.0 sec. user=vaughan [2010-06-28 04:42:43] 465*2^836811-1 is not prime. Res64: 4518C1913195D5ED Time : 27326.0 sec. user=vaughan [2010-06-28 04:44:37] 595*2^836831-1 is not prime. Res64: BF6AD60F2D3925B5 Time : 24018.0 sec. user=vaughan [2010-06-28 04:45:03] 419*2^836832-1 is not prime. Res64: 8611E7689757341E Time : 24029.0 sec. user=vaughan [2010-06-28 04:45:34] 447*2^837009-1 is not prime. Res64: 5938327E49543340 Time : 1001.0 sec. user=vaughan [2010-06-28 04:48:21] 475*2^837011-1 is not prime. Res64: 9F7FEC03AF47C973 Time : 718.0 sec. user=vaughan [2010-06-28 04:48:44] 405*2^836810-1 is not prime. Res64: B16F28B20D36CC14 Time : 27825.0 sec. user=vaughan [2010-06-28 04:50:43] 597*2^837009-1 is not prime. Res64: 330B4A3DAA33EC0A Time : 1027.0 sec. user=vaughan [2010-06-28 04:50:56] 447*2^836777-1 is not prime. Res64: 7CADF0ED87ADA824 Time : 33538.0 sec. user=vaughan [2010-06-28 04:50:58] 453*2^837010-1 is not prime. Res64: ED3A14C858AEE7DE Time : 1015.0 sec. user=vaughan [2010-06-28 04:51:29] 465*2^836821-1 is not prime. Res64: C61DC01D06AC3C05 Time : 26173.0 sec. user=vaughan [2010-06-28 04:51:35] 461*2^837010-1 is not prime. Res64: 987D2E814D7BEBC2 Time : 1051.0 sec. user=vaughan [2010-06-28 04:51:36] 573*2^836819-1 is not prime. Res64: DDB3BF4DE56D7584 Time : 26461.0 sec. user=vaughan [2010-06-28 04:51:48] 425*2^837006-1 is not prime. Res64: 921AF32CB59BA969 Time : 1973.0 sec. user=vaughan [2010-06-28 04:52:08] 471*2^837006-1 is not prime. Res64: 7E09DC65ECED2121 Time : 1975.0 sec. user=vaughan [2010-06-28 04:52:25] 423*2^837012-1 is not prime. Res64: 0C9D32817F520EBB Time : 721.0 sec. user=vaughan [2010-06-28 04:52:27] 455*2^837012-1 is not prime. Res64: 0F043AABACC71942 Time : 718.0 sec. user=vaughan [2010-06-28 04:52:49] 405*2^836777-1 is not prime. Res64: 001406B5482D973C Time : 33831.0 sec. user=vaughan [2010-06-28 04:54:34] 425*2^836834-1 is not prime. Res64: 6CF2D7B5B1CD83A1 Time : 24376.0 sec. user=vaughan [2010-06-28 04:54:48] 473*2^836834-1 is not prime. Res64: EB319070E7E854CE Time : 24374.0 sec. user=vaughan [2010-06-28 04:55:47] 571*2^836819-1 is not prime. Res64: B174C05A62E29CE0 Time : 26720.0 sec. user=vaughan [2010-06-28 04:56:17] 533*2^836822-1 is not prime. Res64: 5C7B20067A24A440 Time : 26256.0 sec. user=vaughan [2010-06-28 04:58:28] 437*2^836778-1 is not prime. Res64: 0BFAD6D6BD868EDE Time : 33579.0 sec. user=vaughan [2010-06-28 04:59:14] 405*2^836778-1 is not prime. Res64: D68D79A9FBFB591C Time : 33816.0 sec. user=vaughan [2010-06-28 05:00:16] 435*2^837014-1 is not prime. Res64: 28288E22A29D931C Time : 715.0 sec. user=vaughan [2010-06-28 05:00:37] 433*2^836839-1 is not prime. Res64: B4AEB7FB34E5DDC7 Time : 24018.0 sec. user=vaughan [2010-06-28 05:00:59] 493*2^836839-1 is not prime. Res64: 31758EFBF1599FD9 Time : 24020.0 sec. user=vaughan [2010-06-28 05:02:04] 565*2^837013-1 is not prime. Res64: B0919CF1E6259921 Time : 991.0 sec. user=vaughan [2010-06-28 05:04:21] 453*2^837016-1 is not prime. Res64: D0B538CEF9A502DD Time : 717.0 sec. user=vaughan [2010-06-28 05:04:24] 455*2^837016-1 is not prime. Res64: 92A4187B37E0C923 Time : 717.0 sec. user=vaughan [2010-06-28 05:04:36] 443*2^836818-1 is not prime. Res64: CAA829E4B6F0065E Time : 27636.0 sec. user=vaughan [2010-06-28 05:07:15] 405*2^836782-1 is not prime. Res64: 5157B4871E5D9A32 Time : 33530.0 sec. user=vaughan [2010-06-28 05:07:40] 533*2^837014-1 is not prime. Res64: 6984C010DA64799F Time : 1017.0 sec. user=vaughan [2010-06-28 05:07:45] 409*2^837015-1 is not prime. Res64: AC5E7338F15DE9BB Time : 1007.0 sec. user=vaughan [2010-06-28 05:07:54] 529*2^836817-1 is not prime. Res64: 515FD28B0479352A Time : 27947.0 sec. user=vaughan [2010-06-28 05:08:47] 493*2^837015-1 is not prime. Res64: 5E2C3EBD53EC3713 Time : 1034.0 sec. user=vaughan [2010-06-28 05:08:50] 463*2^836827-1 is not prime. Res64: 39CE905C1BA18F47 Time : 26171.0 sec. user=vaughan [2010-06-28 05:09:38] 577*2^836781-1 is not prime. Res64: 2E338707754C809A Time : 33831.0 sec. user=vaughan [2010-06-28 05:09:38] 481*2^836825-1 is not prime. Res64: 1056D88EC5A820C2 Time : 26534.0 sec. user=vaughan [2010-06-28 05:10:50] 465*2^836841-1 is not prime. Res64: 6A755B2C8334E898 Time : 24372.0 sec. user=vaughan [2010-06-28 05:11:04] 495*2^836842-1 is not prime. Res64: 5454355E7163F2B2 Time : 24370.0 sec. user=vaughan [2010-06-28 05:12:10] 537*2^837017-1 is not prime. Res64: C965E55DEBA50D43 Time : 715.0 sec. user=vaughan [2010-06-28 05:13:45] 599*2^836828-1 is not prime. Res64: 17089D3E3D5187B3 Time : 26255.0 sec. user=vaughan [2010-06-28 05:14:28] 441*2^836825-1 is not prime. Res64: D02D57FC09FA7074 Time : 26832.0 sec. user=vaughan [2010-06-28 05:16:10] 453*2^836783-1 is not prime. Res64: 6E4C6605F2753CA1 Time : 33817.0 sec. user=vaughan [2010-06-28 05:16:18] 471*2^837018-1 is not prime. Res64: 26D7FAD467A0B168 Time : 717.0 sec. user=vaughan [2010-06-28 05:16:20] 513*2^837018-1 is not prime. Res64: 877A59592C897D53 Time : 716.0 sec. user=vaughan [2010-06-28 05:16:37] 469*2^836845-1 is not prime. Res64: 66B2AEC26966E699 Time : 24011.0 sec. user=vaughan [2010-06-28 05:16:38] 597*2^836784-1 is not prime. Res64: B071FAB01796A1AE Time : 33635.0 sec. user=vaughan [2010-06-28 05:17:01] 541*2^836845-1 is not prime. Res64: 5582BDF3B69FA134 Time : 24017.0 sec. user=vaughan [2010-06-28 05:18:25] 453*2^837018-1 is not prime. Res64: B67916D47A6FBCA8 Time : 981.0 sec. user=vaughan [2010-06-28 05:24:05] 579*2^837020-1 is not prime. Res64: 2F7E7AC6E2ADA6D4 Time : 715.0 sec. user=vaughan [2010-06-28 05:24:25] 561*2^836786-1 is not prime. Res64: BFCF0C62EEF97456 Time : 33501.0 sec. user=vaughan [2010-06-28 05:24:25] 411*2^837019-1 is not prime. Res64: 7C1C1930EF514C11 Time : 1001.0 sec. user=vaughan [2010-06-28 05:24:33] 573*2^837018-1 is not prime. Res64: 5DE0A9CA75627CD6 Time : 1013.0 sec. user=vaughan [2010-06-28 05:25:02] 591*2^837015-1 is not prime. Res64: DB41AF2973046AF1 Time : 1994.0 sec. user=vaughan [2010-06-28 05:25:22] 437*2^837016-1 is not prime. Res64: 43934FC5F3809AC1 Time : 1995.0 sec. user=vaughan [2010-06-28 05:25:54] 493*2^837019-1 is not prime. Res64: 6EA0CFC0507F1D79 Time : 1028.0 sec. user=vaughan [2010-06-28 05:26:15] 447*2^836836-1 is not prime. Res64: 0B13D85FA18C91BA Time : 26172.0 sec. user=vaughan [2010-06-28 05:26:42] 531*2^836786-1 is not prime. Res64: A0DB630C8CF21986 Time : 33839.0 sec. user=vaughan [2010-06-28 05:26:52] 465*2^836824-1 is not prime. Res64: 15B37C8CC764B37C Time : 27968.0 sec. user=vaughan [2010-06-28 05:27:04] 481*2^836823-1 is not prime. Res64: 4450BE7635049F20 Time : 28067.0 sec. user=vaughan [2010-06-28 05:27:06] 423*2^836847-1 is not prime. Res64: 04F5D859B93A0D3F Time : 24368.0 sec. user=vaughan [2010-06-28 05:27:20] 433*2^836847-1 is not prime. Res64: 10D961ED91D04D9A Time : 24369.0 sec. user=vaughan [2010-06-28 05:27:49] 453*2^836831-1 is not prime. Res64: A961717DB391DC9A Time : 26619.0 sec. user=vaughan [2010-06-28 05:28:15] 581*2^837022-1 is not prime. Res64: 66EFA3D35ABFD5DE Time : 718.0 sec. user=vaughan [2010-06-28 05:28:17] 435*2^837023-1 is not prime. Res64: D01D2034F6DC853D Time : 717.0 sec. user=vaughan [2010-06-28 05:31:14] 475*2^836837-1 is not prime. Res64: 140051A1E734D9C4 Time : 26257.0 sec. user=vaughan [2010-06-28 05:32:38] 579*2^836849-1 is not prime. Res64: EC51B569825D785B Time : 24014.0 sec. user=vaughan [2010-06-28 05:32:59] 481*2^836789-1 is not prime. Res64: 50267B7A810356A0 Time : 33646.0 sec. user=vaughan [2010-06-28 05:33:05] 447*2^836850-1 is not prime. Res64: D96CAF3E46CDAA4B Time : 24022.0 sec. user=vaughan [2010-06-28 05:33:09] 573*2^836788-1 is not prime. Res64: EEBE4C92E118A15D Time : 33828.0 sec. user=vaughan [2010-06-28 05:33:09] 561*2^836830-1 is not prime. Res64: D3774EDDCCB60FBC Time : 26941.0 sec. user=vaughan [2010-06-28 05:34:47] 523*2^837023-1 is not prime. Res64: AEC26CBC5B1FFED3 Time : 982.0 sec. user=vaughan [2010-06-28 05:36:01] 549*2^837023-1 is not prime. Res64: ACAF15A3D5358923 Time : 717.0 sec. user=vaughan [2010-06-28 05:40:14] 569*2^837028-1 is not prime. Res64: 01665ED53AF535E9 Time : 719.0 sec. user=vaughan [2010-06-28 05:40:16] 417*2^837029-1 is not prime. Res64: 459AB447FB080B21 Time : 719.0 sec. user=vaughan [2010-06-28 05:41:06] 525*2^837024-1 is not prime. Res64: 5A4918AFC72C0CFF Time : 1001.0 sec. user=vaughan [2010-06-28 05:41:25] 527*2^837024-1 is not prime. Res64: DB658A51A6E92718 Time : 1012.0 sec. user=vaughan [2010-06-28 05:42:07] 423*2^836792-1 is not prime. Res64: 9155EDC45BB1707D Time : 33487.0 sec. user=vaughan [2010-06-28 05:43:01] 511*2^837025-1 is not prime. Res64: ABAD11513FB5DB2B Time : 1028.0 sec. user=vaughan [2010-06-28 05:43:23] 467*2^836852-1 is not prime. Res64: C3A619ECAA7D8E9F Time : 24372.0 sec. user=vaughan [2010-06-28 05:43:35] 489*2^836791-1 is not prime. Res64: 8FB501A4BAC7AF6A Time : 33839.0 sec. user=vaughan [2010-06-28 05:43:35] 573*2^836842-1 is not prime. Res64: AAEFED74AEA8F47B Time : 26168.0 sec. user=vaughan [2010-06-28 05:43:36] 477*2^836852-1 is not prime. Res64: 503A9603057657CC Time : 24372.0 sec. user=vaughan [2010-06-28 05:45:53] 505*2^836839-1 is not prime. Res64: 62DA0259F5DDFAA7 Time : 26695.0 sec. user=vaughan [2010-06-28 05:46:16] 471*2^836829-1 is not prime. Res64: 360E55448F44A60E Time : 28191.0 sec. user=vaughan [2010-06-28 05:47:55] 421*2^837031-1 is not prime. Res64: ABD72FC5AF2E7FE3 Time : 714.0 sec. user=vaughan [2010-06-28 05:48:45] 579*2^836855-1 is not prime. Res64: 52689D9EF62D5399 Time : 24021.0 sec. user=vaughan [2010-06-28 05:48:46] 459*2^836844-1 is not prime. Res64: 7F2CF8CAAB6049FD Time : 26260.0 sec. user=vaughan [2010-06-28 05:49:08] 507*2^836829-1 is not prime. Res64: F4BFDB71794C9182 Time : 28301.0 sec. user=vaughan [2010-06-28 05:49:09] 595*2^836855-1 is not prime. Res64: 255B6155877A52B9 Time : 24025.0 sec. user=vaughan [2010-06-28 05:49:13] 471*2^836793-1 is not prime. Res64: C49A6511E48DF91B Time : 33646.0 sec. user=vaughan [2010-06-28 05:50:01] 483*2^836792-1 is not prime. Res64: 85A7631B55D192DA Time : 33828.0 sec. user=vaughan [2010-06-28 05:51:11] 415*2^837031-1 is not prime. Res64: 8EF9BEAC4FC86797 Time : 985.0 sec. user=vaughan [2010-06-28 05:51:49] 531*2^836839-1 is not prime. Res64: BC4FC657ED51F6F4 Time : 27050.0 sec. user=vaughan [2010-06-28 05:52:12] 441*2^837031-1 is not prime. Res64: C3A55D62CDEAC324 Time : 718.0 sec. user=vaughan [2010-06-28 05:52:13] 535*2^837031-1 is not prime. Res64: 0B677A640FBF043F Time : 717.0 sec. user=vaughan [2010-06-28 05:57:53] 515*2^837032-1 is not prime. Res64: CA418D4B05E3868E Time : 1007.0 sec. user=vaughan [2010-06-28 05:58:08] 411*2^837025-1 is not prime. Res64: 1E1166200C53150C Time : 1986.0 sec. user=vaughan [2010-06-28 05:58:24] 457*2^837033-1 is not prime. Res64: 45AEB28B4AEFEF0B Time : 1019.0 sec. user=vaughan [2010-06-28 05:58:25] 469*2^837025-1 is not prime. Res64: AF51B2917CE8E82D Time : 1983.0 sec. user=vaughan [2010-06-28 05:59:49] 539*2^837036-1 is not prime. Res64: 798B3B0FDC1E8485 Time : 714.0 sec. user=vaughan [2010-06-28 06:00:03] 519*2^836797-1 is not prime. Res64: 79DCEF59EDB41542 Time : 33527.0 sec. user=vaughan [2010-06-28 06:00:09] 477*2^836857-1 is not prime. Res64: A10C79C42D4CD2FB Time : 24405.0 sec. user=vaughan [2010-06-28 06:00:18] 549*2^837033-1 is not prime. Res64: F60E61A907FACF47 Time : 1037.0 sec. user=vaughan [2010-06-28 06:00:25] 495*2^836857-1 is not prime. Res64: CF15491FD3348BD0 Time : 24407.0 sec. user=vaughan [2010-06-28 06:00:35] 465*2^836796-1 is not prime. Res64: 89EB3A676DDFF4A1 Time : 33832.0 sec. user=vaughan [2010-06-28 06:00:59] 513*2^836848-1 is not prime. Res64: 17C534D4258DFD94 Time : 26171.0 sec. user=vaughan [2010-06-28 06:03:53] 567*2^836845-1 is not prime. Res64: 021515952C0A417B Time : 26768.0 sec. user=vaughan [2010-06-28 06:04:10] 567*2^837038-1 is not prime. Res64: 202F13D482ADF04A Time : 718.0 sec. user=vaughan [2010-06-28 06:04:11] 415*2^837039-1 is not prime. Res64: D67DF161D8E28001 Time : 718.0 sec. user=vaughan [2010-06-28 06:05:07] 483*2^836862-1 is not prime. Res64: 7C5AC6D32CB666B8 Time : 24044.0 sec. user=vaughan [2010-06-28 06:05:25] 435*2^836837-1 is not prime. Res64: B53149D58F4DEFBD Time : 28310.0 sec. user=vaughan [2010-06-28 06:05:36] 537*2^836862-1 is not prime. Res64: 5023F17EF69DCF57 Time : 24051.0 sec. user=vaughan [2010-06-28 06:05:36] 501*2^836799-1 is not prime. Res64: 09C98C37C892FD1D Time : 33651.0 sec. user=vaughan [2010-06-28 06:06:14] 537*2^836849-1 is not prime. Res64: 38EF7771CE1A2A78 Time : 26261.0 sec. user=vaughan [2010-06-28 06:07:12] 557*2^836798-1 is not prime. Res64: 06AF05537C0B2805 Time : 33822.0 sec. user=vaughan [2010-06-28 06:07:41] 549*2^837037-1 is not prime. Res64: BDF84A528C497BC3 Time : 990.0 sec. user=vaughan [2010-06-28 06:10:27] 407*2^836846-1 is not prime. Res64: 8170B27F9EF6E889 Time : 27156.0 sec. user=vaughan [2010-06-28 06:11:24] 487*2^836837-1 is not prime. Res64: A1E172747B05B798 Time : 28634.0 sec. user=vaughan [2010-06-28 06:11:44] 533*2^837040-1 is not prime. Res64: 0042D88FA97FEB8C Time : 715.0 sec. user=vaughan [2010-06-28 06:14:39] 433*2^837039-1 is not prime. Res64: A250A64CC206F4A7 Time : 1006.0 sec. user=vaughan [2010-06-28 06:15:28] 543*2^837039-1 is not prime. Res64: 0A8C94088F253710 Time : 1025.0 sec. user=vaughan [2010-06-28 06:16:08] 561*2^837041-1 is not prime. Res64: 87370E10F86C388E Time : 718.0 sec. user=vaughan [2010-06-28 06:16:09] 585*2^837041-1 is not prime. Res64: F214EDDEABC2159C Time : 719.0 sec. user=vaughan [2010-06-28 06:16:26] 507*2^836805-1 is not prime. Res64: A5F657E96592A035 Time : 33534.0 sec. user=vaughan [2010-06-28 06:17:03] 417*2^836864-1 is not prime. Res64: F14604DE30C02679 Time : 24445.0 sec. user=vaughan [2010-06-28 06:17:19] 429*2^836865-1 is not prime. Res64: 3228CAE432684223 Time : 24448.0 sec. user=vaughan [2010-06-28 06:17:42] 487*2^837041-1 is not prime. Res64: 15BC20B935E99BC9 Time : 1044.0 sec. user=vaughan [2010-06-28 06:18:03] 497*2^836802-1 is not prime. Res64: 82358AADCE0F4D37 Time : 33832.0 sec. user=vaughan [2010-06-28 06:18:26] 573*2^836852-1 is not prime. Res64: 282C1460DCCF6FF5 Time : 26178.0 sec. user=vaughan [2010-06-28 06:21:29] 523*2^836867-1 is not prime. Res64: BCDAA29A060A54D8 Time : 24066.0 sec. user=vaughan [2010-06-28 06:21:52] 489*2^836807-1 is not prime. Res64: C31F4C678A006680 Time : 33649.0 sec. user=vaughan [2010-06-28 06:21:53] 499*2^836851-1 is not prime. Res64: 0F7078B552885E36 Time : 26834.0 sec. user=vaughan [2010-06-28 06:21:59] 585*2^836867-1 is not prime. Res64: 4A1C8E93D53F78F5 Time : 24074.0 sec. user=vaughan [2010-06-28 06:23:38] 489*2^837043-1 is not prime. Res64: 2B60611B83C844A5 Time : 715.0 sec. user=vaughan [2010-06-28 06:23:44] 443*2^836854-1 is not prime. Res64: 54C3C8DE60EFBAB3 Time : 26263.0 sec. user=vaughan [2010-06-28 06:24:16] 551*2^837042-1 is not prime. Res64: 8E0783660E3F6DF9 Time : 995.0 sec. user=vaughan [2010-06-28 06:24:33] 589*2^836843-1 is not prime. Res64: 51C83347786D6E69 Time : 28431.0 sec. user=vaughan [2010-06-28 06:24:36] 587*2^836806-1 is not prime. Res64: EAE2A52DDCC0041B Time : 33814.0 sec. user=vaughan [2010-06-28 06:28:06] 579*2^837044-1 is not prime. Res64: F441172059D5D0B4 Time : 718.0 sec. user=vaughan [2010-06-28 06:28:06] 427*2^837045-1 is not prime. Res64: 81334F1F43A4A3D9 Time : 718.0 sec. user=vaughan [2010-06-28 06:29:06] 535*2^836851-1 is not prime. Res64: 86588E7406112250 Time : 27243.0 sec. user=vaughan [2010-06-28 06:31:08] 493*2^837039-1 is not prime. Res64: 59EB4A4C54DB55C9 Time : 1980.0 sec. user=vaughan [2010-06-28 06:31:24] 495*2^837040-1 is not prime. Res64: FBF79DA0D1EAEB44 Time : 1979.0 sec. user=vaughan [2010-06-28 06:31:32] 553*2^837043-1 is not prime. Res64: 68789D22BC7EACF8 Time : 1013.0 sec. user=vaughan [2010-06-28 06:32:28] 557*2^837044-1 is not prime. Res64: 8E6398D27EA8ECF6 Time : 1020.0 sec. user=vaughan [2010-06-28 06:32:46] 537*2^836812-1 is not prime. Res64: C95EF4BA2E4B46D1 Time : 33524.0 sec. user=vaughan [2010-06-28 06:33:44] 437*2^836844-1 is not prime. Res64: 9EE879A2AB31E62E Time : 28970.0 sec. user=vaughan [2010-06-28 06:33:55] 525*2^836870-1 is not prime. Res64: 01DF3F4A91B52A46 Time : 24484.0 sec. user=vaughan [2010-06-28 06:34:11] 541*2^836871-1 is not prime. Res64: CBE6819C458B5A2A Time : 24485.0 sec. user=vaughan [2010-06-28 06:35:06] 513*2^837046-1 is not prime. Res64: A56180A794D06F11 Time : 1044.0 sec. user=vaughan [2010-06-28 06:35:33] 421*2^837049-1 is not prime. Res64: E721C8FA06FE166A Time : 715.0 sec. user=vaughan [2010-06-28 06:35:41] 413*2^836812-1 is not prime. Res64: 2E557C4B770B81E7 Time : 33820.0 sec. user=vaughan [2010-06-28 06:35:50] 549*2^836860-1 is not prime. Res64: 0E91B32C98DAF5D6 Time : 26177.0 sec. user=vaughan [2010-06-28 06:37:55] 555*2^836875-1 is not prime. Res64: F4679F81D9C83D8B Time : 24094.0 sec. user=vaughan [2010-06-28 06:38:12] 431*2^836814-1 is not prime. Res64: 4536A8DB2DCEE76E Time : 33652.0 sec. user=vaughan [2010-06-28 06:38:23] 449*2^836876-1 is not prime. Res64: 4892A71DCF13E13D Time : 24101.0 sec. user=vaughan [2010-06-28 06:39:50] 567*2^836856-1 is not prime. Res64: 14AE878518C6F084 Time : 26901.0 sec. user=vaughan [2010-06-28 06:40:03] 581*2^837050-1 is not prime. Res64: E23C6BF1D0F5B1E2 Time : 717.0 sec. user=vaughan [2010-06-28 06:40:03] 575*2^837050-1 is not prime. Res64: 495FE9C4BAEE1167 Time : 718.0 sec. user=vaughan [2010-06-28 06:40:44] 407*2^837050-1 is not prime. Res64: D3EB93BAC4262325 Time : 988.0 sec. user=vaughan [2010-06-28 06:41:13] 489*2^836861-1 is not prime. Res64: EA4ED08CDEB4AAD1 Time : 26264.0 sec. user=vaughan [2010-06-28 06:42:15] 475*2^836815-1 is not prime. Res64: 278195E9676E5B80 Time : 33812.0 sec. user=vaughan [2010-06-28 06:43:42] 477*2^836849-1 is not prime. Res64: 4D0299DDE682D638 Time : 28542.0 sec. user=vaughan [2010-06-28 06:47:28] 417*2^837053-1 is not prime. Res64: 0BCAC3259B42B237 Time : 715.0 sec. user=vaughan [2010-06-28 06:47:44] 457*2^836857-1 is not prime. Res64: B07228A07BF6F9B4 Time : 27349.0 sec. user=vaughan [2010-06-28 06:48:13] 439*2^837051-1 is not prime. Res64: 9041AA96C9CEA739 Time : 1002.0 sec. user=vaughan [2010-06-28 06:49:13] 473*2^836820-1 is not prime. Res64: 8FA7671EA31B26EC Time : 33467.0 sec. user=vaughan [2010-06-28 06:49:23] 531*2^837051-1 is not prime. Res64: 226E15D4EFC8B8FA Time : 1015.0 sec. user=vaughan [2010-06-28 06:50:45] 573*2^836876-1 is not prime. Res64: 1A7B12A0E9781029 Time : 24519.0 sec. user=vaughan [2010-06-28 06:51:03] 587*2^836876-1 is not prime. Res64: BCD8AD5358AFD4EE Time : 24522.0 sec. user=vaughan [2010-06-28 06:52:01] 441*2^837055-1 is not prime. Res64: CB517B1EAF0A24A2 Time : 718.0 sec. user=vaughan [2010-06-28 06:52:01] 511*2^837055-1 is not prime. Res64: B14F61353922E27F Time : 718.0 sec. user=vaughan [2010-06-28 06:52:20] 573*2^837052-1 is not prime. Res64: 91A3A44B54516F5C Time : 1035.0 sec. user=vaughan [2010-06-28 06:53:14] 587*2^836866-1 is not prime. Res64: EBFC253B79A194BA Time : 26178.0 sec. user=vaughan [2010-06-28 06:53:18] 465*2^836819-1 is not prime. Res64: EEA1F6D0E3B3DE6E Time : 33845.0 sec. user=vaughan [2010-06-28 06:54:21] 433*2^836879-1 is not prime. Res64: 285799E1B7B11319 Time : 24122.0 sec. user=vaughan [2010-06-28 06:54:38] 597*2^836820-1 is not prime. Res64: 82DDC0DA047F1DEF Time : 33664.0 sec. user=vaughan [2010-06-28 06:54:47] 559*2^836879-1 is not prime. Res64: 412441E1B5053337 Time : 24126.0 sec. user=vaughan [2010-06-28 06:56:02] 567*2^836848-1 is not prime. Res64: E16C542BF7CE1370 Time : 29301.0 sec. user=vaughan [2010-06-28 06:57:14] 519*2^837055-1 is not prime. Res64: 8DCD0EDEB8D35F03 Time : 991.0 sec. user=vaughan [2010-06-28 06:57:50] 463*2^836863-1 is not prime. Res64: 7E09C1078B916AFA Time : 26974.0 sec. user=vaughan [2010-06-28 06:58:42] 453*2^836868-1 is not prime. Res64: 6C9F950D714AC34E Time : 26262.0 sec. user=vaughan [2010-06-28 06:59:22] 595*2^837055-1 is not prime. Res64: 901CD78E1DE105D0 Time : 715.0 sec. user=vaughan [2010-06-28 06:59:39] 489*2^836821-1 is not prime. Res64: 65AF0FAB9C8533F9 Time : 33849.0 sec. user=vaughan [2010-06-28 07:02:50] 451*2^836853-1 is not prime. Res64: 1A97EC7992D00C69 Time : 28655.0 sec. user=vaughan [2010-06-28 07:03:58] 511*2^837057-1 is not prime. Res64: FA33C7155E0D67B3 Time : 718.0 sec. user=vaughan [2010-06-28 07:03:59] 531*2^837057-1 is not prime. Res64: DC9EEFCD6B445B25 Time : 718.0 sec. user=vaughan [2010-06-28 07:04:14] 415*2^837051-1 is not prime. Res64: 1A17BB9380660714 Time : 1970.0 sec. user=vaughan [2010-06-28 07:04:56] 409*2^837051-1 is not prime. Res64: F1CF5272B47E3326 Time : 2028.0 sec. user=vaughan [2010-06-28 07:05:18] 519*2^837056-1 is not prime. Res64: AE7C3A9DB72ED6FE Time : 1026.0 sec. user=vaughan [2010-06-28 07:05:45] 591*2^836825-1 is not prime. Res64: E80BF9CC89FF6ED1 Time : 33389.0 sec. user=vaughan [2010-06-28 07:06:23] 499*2^836863-1 is not prime. Res64: 0D14236B04F38992 Time : 27456.0 sec. user=vaughan [2010-06-28 07:07:26] 587*2^837056-1 is not prime. Res64: 321F779E6CB6E6AD Time : 1083.0 sec. user=vaughan [2010-06-28 07:07:35] 427*2^836881-1 is not prime. Res64: 6883F3785DC22910 Time : 24557.0 sec. user=vaughan [2010-06-28 07:07:56] 447*2^836881-1 is not prime. Res64: 76586FBA56D9A986 Time : 24565.0 sec. user=vaughan [2010-06-28 07:10:39] 495*2^836875-1 is not prime. Res64: 25ECBD998F7EFB2F Time : 26180.0 sec. user=vaughan [2010-06-28 07:10:44] 411*2^836825-1 is not prime. Res64: 42021C7BE48AF54E Time : 33880.0 sec. user=vaughan [2010-06-28 07:10:46] 571*2^836883-1 is not prime. Res64: C9D92AD3522A48F8 Time : 24148.0 sec. user=vaughan [2010-06-28 07:10:58] 411*2^836826-1 is not prime. Res64: A5D816D27BD13597 Time : 33671.0 sec. user=vaughan [2010-06-28 07:11:12] 435*2^836884-1 is not prime. Res64: D9EF60980A616883 Time : 24152.0 sec. user=vaughan [2010-06-28 07:11:17] 405*2^837061-1 is not prime. Res64: 80D43DCD1FE47B15 Time : 715.0 sec. user=vaughan [2010-06-28 07:11:39] 577*2^837057-1 is not prime. Res64: AAB849D329E31EE2 Time : 1159.0 sec. user=vaughan [2010-06-28 07:14:14] 571*2^837059-1 is not prime. Res64: 843927E984A0A5EB Time : 1021.0 sec. user=vaughan [2010-06-28 07:15:50] 427*2^836869-1 is not prime. Res64: D434C0407B7B3C06 Time : 27046.0 sec. user=vaughan [2010-06-28 07:15:56] 405*2^837062-1 is not prime. Res64: 42C80E86F9AC09EE Time : 718.0 sec. user=vaughan [2010-06-28 07:15:56] 407*2^837062-1 is not prime. Res64: 642E8B56ACD6F776 Time : 718.0 sec. user=vaughan [2010-06-28 07:16:11] 465*2^836876-1 is not prime. Res64: 351B9C6EF54264C2 Time : 26264.0 sec. user=vaughan [2010-06-28 07:17:02] 405*2^836827-1 is not prime. Res64: 111ECA788B3A20ED Time : 33881.0 sec. user=vaughan [2010-06-28 07:18:17] 439*2^836853-1 is not prime. Res64: A19E6A624D25A60E Time : 29627.0 sec. user=vaughan [2010-06-28 07:22:07] 411*2^836861-1 is not prime. Res64: 9BA836A03567DAB9 Time : 28781.0 sec. user=vaughan [2010-06-28 07:22:22] 407*2^836834-1 is not prime. Res64: 59621C7360C5E395 Time : 33329.0 sec. user=vaughan [2010-06-28 07:22:45] 441*2^837063-1 is not prime. Res64: 24783085CFBCF6E3 Time : 1047.0 sec. user=vaughan [2010-06-28 07:23:10] 481*2^837065-1 is not prime. Res64: 42C60FFA671785C2 Time : 714.0 sec. user=vaughan [2010-06-28 07:24:27] 477*2^836885-1 is not prime. Res64: 86913BF3B25771EB Time : 24595.0 sec. user=vaughan [2010-06-28 07:24:47] 495*2^836885-1 is not prime. Res64: 59B329A30924A5D1 Time : 24604.0 sec. user=vaughan [2010-06-28 07:25:25] 447*2^836870-1 is not prime. Res64: 02CE2037743F6A12 Time : 27586.0 sec. user=vaughan [2010-06-28 07:26:19] 553*2^837063-1 is not prime. Res64: 55072DE3451A89A8 Time : 1134.0 sec. user=vaughan [2010-06-28 07:27:10] 525*2^836888-1 is not prime. Res64: C4193B4915782D7F Time : 24173.0 sec. user=vaughan [2010-06-28 07:27:22] 497*2^836832-1 is not prime. Res64: B1484E6C4420376B Time : 33658.0 sec. user=vaughan [2010-06-28 07:27:38] 563*2^836888-1 is not prime. Res64: 03B7419A0E72785F Time : 24178.0 sec. user=vaughan [2010-06-28 07:27:54] 591*2^837065-1 is not prime. Res64: 7FFEDA4FEBB01F97 Time : 718.0 sec. user=vaughan [2010-06-28 07:27:54] 405*2^837066-1 is not prime. Res64: EA474607F4016FF0 Time : 718.0 sec. user=vaughan [2010-06-28 07:28:07] 591*2^836878-1 is not prime. Res64: 617E7F498AC5441A Time : 26182.0 sec. user=vaughan [2010-06-28 07:28:23] 411*2^836830-1 is not prime. Res64: 4DBFBDABC4973938 Time : 33918.0 sec. user=vaughan [2010-06-28 07:31:22] 529*2^837065-1 is not prime. Res64: CC6B3F89E6DC776F Time : 1029.0 sec. user=vaughan [2010-06-28 07:31:26] 511*2^837065-1 is not prime. Res64: 1CD603F2DFAC9FE7 Time : 1187.0 sec. user=vaughan [2010-06-28 07:33:41] 455*2^836880-1 is not prime. Res64: 55B04FFD67EE8EBB Time : 26263.0 sec. user=vaughan [2010-06-28 07:33:52] 495*2^836877-1 is not prime. Res64: 2D535C4BC2E0C24A Time : 27063.0 sec. user=vaughan [2010-06-28 07:34:32] 451*2^836835-1 is not prime. Res64: 07987C4AA76F8BC8 Time : 33913.0 sec. user=vaughan [2010-06-28 07:35:05] 585*2^837068-1 is not prime. Res64: 7EBB8C360A9BDBAD Time : 715.0 sec. user=vaughan [2010-06-28 07:37:09] 467*2^837062-1 is not prime. Res64: 11069336D778ACDF Time : 1975.0 sec. user=vaughan [2010-06-28 07:37:50] 433*2^837063-1 is not prime. Res64: 05293DAD125D693C Time : 1974.0 sec. user=vaughan [2010-06-28 07:38:55] 539*2^836840-1 is not prime. Res64: 209396CFDC1335F4 Time : 33343.0 sec. user=vaughan [2010-06-28 07:39:51] 411*2^837071-1 is not prime. Res64: 3B974D68CCFE5332 Time : 718.0 sec. user=vaughan [2010-06-28 07:39:52] 423*2^837071-1 is not prime. Res64: C6D8F13BA82CF21A Time : 718.0 sec. user=vaughan [2010-06-28 07:40:03] 539*2^837068-1 is not prime. Res64: F174335647FB9F37 Time : 1039.0 sec. user=vaughan [2010-06-28 07:40:38] 409*2^836861-1 is not prime. Res64: C2C8A729D3388143 Time : 29965.0 sec. user=vaughan [2010-06-28 07:41:15] 519*2^836867-1 is not prime. Res64: B0A04E48FAB401F0 Time : 28900.0 sec. user=vaughan [2010-06-28 07:41:28] 565*2^836889-1 is not prime. Res64: C46E69CB89F008E8 Time : 24645.0 sec. user=vaughan [2010-06-28 07:41:48] 467*2^836890-1 is not prime. Res64: CBF80E8E5B76474E Time : 24651.0 sec. user=vaughan [2010-06-28 20:08:05] 489*2^836895-1 is not prime. Res64: 905D5AA72689302C Time : 68870.0 sec. user=vaughan [2010-06-28 20:08:06] 447*2^836904-1 is not prime. Res64: 154DB7B750826121 Time : 67913.0 sec. user=vaughan [2010-06-28 20:08:06] 409*2^836917-1 is not prime. Res64: B91893A8B3992249 Time : 66953.0 sec. user=vaughan [2010-06-28 20:08:06] 519*2^836944-1 is not prime. Res64: 8AC14D7B73424AA2 Time : 65993.0 sec. user=vaughan [2010-06-28 20:08:07] 451*2^836949-1 is not prime. Res64: FBD8B8137C274927 Time : 65036.0 sec. user=vaughan [2010-06-28 20:08:07] 417*2^836957-1 is not prime. Res64: 2994914E1AF9A982 Time : 64077.0 sec. user=vaughan [2010-06-28 20:08:09] 499*2^836965-1 is not prime. Res64: 7A79F04AB8AD40AC Time : 63114.0 sec. user=vaughan [2010-06-28 20:08:09] 483*2^836970-1 is not prime. Res64: A1EA9F0030E7F845 Time : 62144.0 sec. user=vaughan [2010-06-28 20:08:09] 473*2^836898-1 is not prime. Res64: F3664731C388CD51 Time : 68459.0 sec. user=vaughan [2010-06-28 20:08:09] 563*2^836976-1 is not prime. Res64: C2159B25A35D7DCF Time : 61183.0 sec. user=vaughan [2010-06-28 20:08:09] 469*2^836907-1 is not prime. Res64: 1EE00EF57268DE1B Time : 67484.0 sec. user=vaughan [2010-06-28 20:08:10] 409*2^836985-1 is not prime. Res64: AC862692012910AA Time : 60223.0 sec. user=vaughan [2010-06-28 20:08:10] 469*2^836927-1 is not prime. Res64: BC1FDE3DCFBA9854 Time : 66514.0 sec. user=vaughan [2010-06-28 20:08:10] 575*2^836990-1 is not prime. Res64: 455BF4AB232EEDBB Time : 59262.0 sec. user=vaughan [2010-06-28 20:08:10] 513*2^836946-1 is not prime. Res64: 2C6F520A055DC34F Time : 65539.0 sec. user=vaughan [2010-06-28 20:08:10] 413*2^836998-1 is not prime. Res64: 8C553E6CFA3E55CA Time : 58302.0 sec. user=vaughan [2010-06-28 20:08:10] 541*2^836953-1 is not prime. Res64: F9158D03A1196218 Time : 64565.0 sec. user=vaughan [2010-06-28 20:08:10] 465*2^837003-1 is not prime. Res64: 1AD24A4AEE6D8455 Time : 57339.0 sec. user=vaughan [2010-06-28 20:08:10] 459*2^836961-1 is not prime. Res64: F5153887C7808548 Time : 63591.0 sec. user=vaughan [2010-06-28 20:08:11] 537*2^837008-1 is not prime. Res64: 2A01156642B872C8 Time : 56375.0 sec. user=vaughan [2010-06-28 20:08:11] 409*2^837013-1 is not prime. Res64: 70A8001B715376B6 Time : 55414.0 sec. user=vaughan [2010-06-28 20:08:11] 595*2^837017-1 is not prime. Res64: 65156CE32925B627 Time : 54454.0 sec. user=vaughan [2010-06-28 20:08:12] 463*2^837023-1 is not prime. Res64: 9A759A71996E9D2B Time : 53495.0 sec. user=vaughan [2010-06-28 20:08:12] 445*2^837029-1 is not prime. Res64: EA0F4E6E3D921209 Time : 52534.0 sec. user=vaughan [2010-06-28 20:08:12] 545*2^837036-1 is not prime. Res64: 10BED83E5531691C Time : 51568.0 sec. user=vaughan [2010-06-28 20:08:13] 417*2^837042-1 is not prime. Res64: 9571A9D0ADB65010 Time : 50587.0 sec. user=vaughan [2010-06-28 20:08:16] 597*2^837046-1 is not prime. Res64: C3ABDCCB09E42E05 Time : 49607.0 sec. user=vaughan [2010-06-28 20:08:16] 571*2^837053-1 is not prime. Res64: 5B8E9310D18225C0 Time : 48622.0 sec. user=vaughan [2010-06-28 20:08:16] 491*2^837058-1 is not prime. Res64: 99B50BF36B9A4B86 Time : 47636.0 sec. user=vaughan [2010-06-28 20:08:16] 561*2^836966-1 is not prime. Res64: EA70AE59302C403F Time : 62613.0 sec. user=vaughan [2010-06-28 20:08:17] 549*2^837064-1 is not prime. Res64: 036B49EED99EF8D5 Time : 46651.0 sec. user=vaughan [2010-06-28 20:08:17] 537*2^836973-1 is not prime. Res64: 8E96E4A8A05AAECB Time : 61635.0 sec. user=vaughan [2010-06-28 20:08:17] 443*2^837070-1 is not prime. Res64: 02AFD7DE1A5623C3 Time : 45667.0 sec. user=vaughan [2010-06-28 20:08:17] 503*2^836982-1 is not prime. Res64: 2FE4C926C51402C2 Time : 60660.0 sec. user=vaughan [2010-06-28 20:08:22] 465*2^836988-1 is not prime. Res64: 50E0C966F9AB7AE0 Time : 59690.0 sec. user=vaughan [2010-06-28 20:08:28] 585*2^836994-1 is not prime. Res64: C2AA5940D1DAACCA Time : 58721.0 sec. user=vaughan [2010-06-28 20:08:28] 425*2^837002-1 is not prime. Res64: D62CA479C0236911 Time : 57743.0 sec. user=vaughan [2010-06-28 20:08:29] 531*2^837007-1 is not prime. Res64: 50A301C6084144C7 Time : 56770.0 sec. user=vaughan [2010-06-28 20:08:29] 579*2^837011-1 is not prime. Res64: 7831AF0960372A86 Time : 55794.0 sec. user=vaughan [2010-06-28 20:08:29] 597*2^837016-1 is not prime. Res64: FDC3A2CF52869DAE Time : 54822.0 sec. user=vaughan [2010-06-28 20:08:29] 539*2^837020-1 is not prime. Res64: 085E1368D29168FD Time : 53846.0 sec. user=vaughan [2010-06-28 20:08:30] 419*2^837028-1 is not prime. Res64: D3B9CEE3B895804D Time : 52871.0 sec. user=vaughan [2010-06-28 20:08:30] 445*2^837035-1 is not prime. Res64: 2F7CD4F73C8FF535 Time : 51895.0 sec. user=vaughan [2010-06-28 20:08:30] 507*2^837041-1 is not prime. Res64: 6953D24F7EA61BA5 Time : 50886.0 sec. user=vaughan [2010-06-28 20:08:31] 453*2^837046-1 is not prime. Res64: 4907B91A8C639C37 Time : 49872.0 sec. user=vaughan [2010-06-28 20:08:31] 563*2^837052-1 is not prime. Res64: C3C9CE591E29E234 Time : 48861.0 sec. user=vaughan [2010-06-28 20:08:31] 507*2^837057-1 is not prime. Res64: C61B29802CBB7DC9 Time : 47849.0 sec. user=vaughan [2010-06-28 20:08:31] 423*2^837064-1 is not prime. Res64: 210618236B854A5D Time : 46836.0 sec. user=vaughan [2010-06-28 20:08:32] 481*2^837069-1 is not prime. Res64: B9E8F26C9036311E Time : 45825.0 sec. user=vaughan [2010-06-28 20:08:32] 553*2^837075-1 is not prime. Res64: 9270C56A4BB72D64 Time : 44805.0 sec. user=vaughan [2010-06-28 20:08:37] 511*2^836895-1 is not prime. Res64: 5E20E2D12B090B63 Time : 68876.0 sec. user=vaughan [2010-06-28 20:08:38] 569*2^836904-1 is not prime. Res64: 1CAF3EC4AF1EE9FC Time : 67919.0 sec. user=vaughan [2010-06-28 20:08:38] 537*2^836917-1 is not prime. Res64: BE2578884B11B332 Time : 66959.0 sec. user=vaughan [2010-06-28 20:08:38] 539*2^836944-1 is not prime. Res64: 6CD8B916986CF35B Time : 66000.0 sec. user=vaughan [2010-06-28 20:08:39] 483*2^836950-1 is not prime. Res64: 416CB4C458F7E8CC Time : 65043.0 sec. user=vaughan [2010-06-28 20:08:39] 469*2^836957-1 is not prime. Res64: C9E4CE48F1B2A4DA Time : 64084.0 sec. user=vaughan [2010-06-28 20:08:40] 507*2^836965-1 is not prime. Res64: 1AB4D20C532C1FE8 Time : 63121.0 sec. user=vaughan [2010-06-28 20:08:40] 567*2^836970-1 is not prime. Res64: 7343EEDB460E685D Time : 62153.0 sec. user=vaughan [2010-06-28 20:08:40] 489*2^836977-1 is not prime. Res64: 1EFCA3C7DF571173 Time : 61192.0 sec. user=vaughan [2010-06-28 20:08:41] 445*2^836985-1 is not prime. Res64: F77661EDB94C573F Time : 60230.0 sec. user=vaughan [2010-06-28 20:08:41] 483*2^836991-1 is not prime. Res64: CD5E26D3A2310321 Time : 59269.0 sec. user=vaughan [2010-06-28 20:08:41] 425*2^836998-1 is not prime. Res64: A78F42B584471BF8 Time : 58307.0 sec. user=vaughan [2010-06-28 20:08:41] 585*2^837003-1 is not prime. Res64: D6F009BF4EC31B8A Time : 57347.0 sec. user=vaughan [2010-06-28 20:08:42] 501*2^837009-1 is not prime. Res64: 8342E3C32B7DD379 Time : 56385.0 sec. user=vaughan [2010-06-28 20:08:42] 511*2^837013-1 is not prime. Res64: 30AE2D05B026577A Time : 55422.0 sec. user=vaughan [2010-06-28 20:08:42] 425*2^837018-1 is not prime. Res64: 446674549157C424 Time : 54463.0 sec. user=vaughan [2010-06-28 20:08:42] 505*2^837023-1 is not prime. Res64: AE0D62BEDC7CED92 Time : 53501.0 sec. user=vaughan [2010-06-28 20:08:43] 577*2^837029-1 is not prime. Res64: F61FF73A1F68A177 Time : 52539.0 sec. user=vaughan [2010-06-28 20:08:43] 439*2^837037-1 is not prime. Res64: E9CEC7E625AAAF10 Time : 51574.0 sec. user=vaughan [2010-06-28 20:08:43] 447*2^837042-1 is not prime. Res64: AE23047260829825 Time : 50587.0 sec. user=vaughan [2010-06-28 20:08:43] 557*2^837048-1 is not prime. Res64: 025BAE823A073666 Time : 49605.0 sec. user=vaughan [2010-06-28 20:08:44] 521*2^837054-1 is not prime. Res64: ADA7F0BDE94B9399 Time : 48621.0 sec. user=vaughan [2010-06-28 20:08:44] 411*2^837059-1 is not prime. Res64: D417FA9FDBEAE568 Time : 47637.0 sec. user=vaughan [2010-06-28 20:08:44] 475*2^837065-1 is not prime. Res64: E9EC82D521BB7D62 Time : 46652.0 sec. user=vaughan [2010-06-28 20:08:45] 455*2^837070-1 is not prime. Res64: 9C887BC3C2780DCF Time : 45667.0 sec. user=vaughan [2010-06-28 21:00:46] 405*2^837075-1 is not prime. Res64: 59A8EE28DEA3AF84 Time : 48055.0 sec. user=vaughan [2010-06-28 21:00:46] 563*2^837074-1 is not prime. Res64: B357313BC5C1F537 Time : 48055.0 sec. user=vaughan [2010-06-28 21:00:48] 459*2^836876-1 is not prime. Res64: 70B37E91024931BC Time : 75781.0 sec. user=vaughan [2010-06-28 21:00:48] 513*2^836880-1 is not prime. Res64: 8C18B03CF54140C1 Time : 74620.0 sec. user=vaughan [2010-06-28 21:00:49] 417*2^836886-1 is not prime. Res64: ED9D4B74BA25DE7A Time : 73459.0 sec. user=vaughan [2010-06-28 21:00:49] 541*2^836893-1 is not prime. Res64: 3B5FB178BFF53D19 Time : 72297.0 sec. user=vaughan [2010-06-28 21:00:49] 525*2^836903-1 is not prime. Res64: DAE6F919C04AA9AF Time : 71133.0 sec. user=vaughan [2010-06-28 21:00:50] 481*2^836925-1 is not prime. Res64: 645FD045B97209FE Time : 69972.0 sec. user=vaughan [2010-06-28 21:00:50] 483*2^836946-1 is not prime. Res64: AA5F9B7372A3E084 Time : 68809.0 sec. user=vaughan [2010-06-28 21:00:50] 549*2^836953-1 is not prime. Res64: 8E57BEF329968386 Time : 67647.0 sec. user=vaughan [2010-06-28 21:00:50] 511*2^836963-1 is not prime. Res64: C71FD224FCB07ED8 Time : 66485.0 sec. user=vaughan [2010-06-28 21:00:51] 425*2^836970-1 is not prime. Res64: F58850707E9C9E54 Time : 65323.0 sec. user=vaughan [2010-06-28 21:00:51] 565*2^836979-1 is not prime. Res64: 27F8474276DA2A1B Time : 64161.0 sec. user=vaughan [2010-06-28 21:00:51] 413*2^836988-1 is not prime. Res64: 553A9A564FF44E98 Time : 62998.0 sec. user=vaughan [2010-06-28 21:00:52] 415*2^836995-1 is not prime. Res64: DE284B4FDAD6E269 Time : 61839.0 sec. user=vaughan [2010-06-28 21:00:52] 503*2^837002-1 is not prime. Res64: F5778C670178F425 Time : 60675.0 sec. user=vaughan [2010-06-28 21:00:52] 579*2^837075-1 is not prime. Res64: 7476EF4DF6FCA9C3 Time : 3177.0 sec. user=vaughan [2010-06-28 21:00:52] 565*2^837009-1 is not prime. Res64: 9BD89DDD26EE6FDF Time : 59505.0 sec. user=vaughan [2010-06-28 21:00:52] 455*2^837076-1 is not prime. Res64: F7641394BEDCDC05 Time : 3170.0 sec. user=vaughan [2010-06-28 21:00:52] 501*2^837014-1 is not prime. Res64: 5F069CF3C99B9F66 Time : 58329.0 sec. user=vaughan [2010-06-28 21:00:53] 543*2^836840-1 is not prime. Res64: 502AC0112A27032F Time : 81401.0 sec. user=vaughan [2010-06-28 21:00:53] 481*2^837019-1 is not prime. Res64: F17F7953169CDBE2 Time : 57179.0 sec. user=vaughan [2010-06-28 21:00:53] 573*2^836847-1 is not prime. Res64: BA399F6BCFF398A6 Time : 80314.0 sec. user=vaughan [2010-06-28 21:00:53] 501*2^837027-1 is not prime. Res64: 352981D389A03859 Time : 56029.0 sec. user=vaughan [2010-06-28 21:00:53] 479*2^836852-1 is not prime. Res64: 20A552D9584C2022 Time : 79299.0 sec. user=vaughan [2010-06-28 21:00:53] 479*2^837036-1 is not prime. Res64: 5F4B8B6A1C35061D Time : 54878.0 sec. user=vaughan [2010-06-28 21:00:53] 533*2^836858-1 is not prime. Res64: 7C10D1CD0DF182B8 Time : 78323.0 sec. user=vaughan [2010-06-28 21:00:53] 567*2^837073-1 is not prime. Res64: 5294EE416E9A4840 Time : 48348.0 sec. user=vaughan [2010-06-28 21:00:54] 425*2^837042-1 is not prime. Res64: 90EB21BBFB3207E5 Time : 53729.0 sec. user=vaughan [2010-06-28 21:00:54] 459*2^836865-1 is not prime. Res64: 1B4DB3CE1F18F50D Time : 77346.0 sec. user=vaughan [2010-06-28 21:00:54] 495*2^837050-1 is not prime. Res64: 5284F99D73DFDF50 Time : 52581.0 sec. user=vaughan [2010-06-28 21:00:54] 527*2^836872-1 is not prime. Res64: BDB8CFF5A50C5F62 Time : 76362.0 sec. user=vaughan [2010-06-28 21:00:54] 589*2^837055-1 is not prime. Res64: 8DC80BA436C62B26 Time : 51432.0 sec. user=vaughan [2010-06-28 21:00:54] 465*2^836878-1 is not prime. Res64: FCDE36BE5B023F92 Time : 75377.0 sec. user=vaughan [2010-06-28 21:00:54] 411*2^837074-1 is not prime. Res64: D354487D478850C6 Time : 48225.0 sec. user=vaughan [2010-06-28 21:00:54] 507*2^837061-1 is not prime. Res64: 4249ACDD8549A5DD Time : 50285.0 sec. user=vaughan [2010-06-28 21:00:55] 483*2^836882-1 is not prime. Res64: 9181C09EE3F374C1 Time : 74374.0 sec. user=vaughan [2010-06-28 21:00:55] 471*2^837067-1 is not prime. Res64: 9B3FA6780722BF9C Time : 49129.0 sec. user=vaughan [2010-06-28 21:00:55] 567*2^836886-1 is not prime. Res64: 33B92592AEC0C988 Time : 73306.0 sec. user=vaughan [2010-06-28 21:00:55] 513*2^837075-1 is not prime. Res64: 7A42B60C79932D7C Time : 47980.0 sec. user=vaughan [2010-06-28 21:00:55] 593*2^836894-1 is not prime. Res64: 8266931E09CE32DC Time : 72208.0 sec. user=vaughan [2010-06-28 21:00:55] 423*2^836902-1 is not prime. Res64: F3020D3BC9286AA8 Time : 71200.0 sec. user=vaughan [2010-06-28 21:00:55] 467*2^837072-1 is not prime. Res64: 3EEE798AEDC2B652 Time : 48569.0 sec. user=vaughan [2010-06-28 21:00:56] 497*2^836916-1 is not prime. Res64: 9EE05A6FCA79CAE1 Time : 70209.0 sec. user=vaughan [2010-06-28 21:00:56] 483*2^836944-1 is not prime. Res64: E6FAF2E97B0784E1 Time : 69225.0 sec. user=vaughan [2010-06-28 21:00:56] 495*2^836948-1 is not prime. Res64: 573B86CEDE12E6BD Time : 68239.0 sec. user=vaughan [2010-06-28 21:00:57] 433*2^836959-1 is not prime. Res64: C1F5874069849B9E Time : 67218.0 sec. user=vaughan [2010-06-28 21:00:57] 455*2^836966-1 is not prime. Res64: D95D1F696D7B9875 Time : 66153.0 sec. user=vaughan [2010-06-28 21:00:57] 427*2^836973-1 is not prime. Res64: 8D80AD674609E8FC Time : 65061.0 sec. user=vaughan [2010-06-28 21:00:57] 525*2^836980-1 is not prime. Res64: B48739D290DE61BB Time : 64050.0 sec. user=vaughan [2010-06-28 21:00:58] 405*2^836988-1 is not prime. Res64: EBCB4694E3ACBAD4 Time : 63066.0 sec. user=vaughan [2010-06-28 21:00:58] 537*2^836846-1 is not prime. Res64: 05B1D8DAF659DC4C Time : 80486.0 sec. user=vaughan [2010-06-28 21:00:58] 527*2^836994-1 is not prime. Res64: BC296D4484D2C1CA Time : 62068.0 sec. user=vaughan [2010-06-28 21:00:58] 417*2^836852-1 is not prime. Res64: E21830FB80A78E78 Time : 79502.0 sec. user=vaughan [2010-06-28 21:00:58] 587*2^837000-1 is not prime. Res64: E73664041624FC77 Time : 60997.0 sec. user=vaughan [2010-06-28 21:00:58] 469*2^836857-1 is not prime. Res64: 8024F5868857FD88 Time : 78522.0 sec. user=vaughan [2010-06-28 21:00:59] 553*2^837007-1 is not prime. Res64: C1CDA6FBF660CE4B Time : 59904.0 sec. user=vaughan [2010-06-28 21:00:59] 465*2^836863-1 is not prime. Res64: 13BCADB24C014F7E Time : 77539.0 sec. user=vaughan [2010-06-28 21:00:59] 515*2^837012-1 is not prime. Res64: 6254F76E90A15EF7 Time : 58824.0 sec. user=vaughan [2010-06-28 21:00:59] 423*2^836870-1 is not prime. Res64: F95154B06CF74B27 Time : 76543.0 sec. user=vaughan [2010-06-28 21:00:59] 439*2^836907-1 is not prime. Res64: 030F2A29E075E023 Time : 70666.0 sec. user=vaughan [2010-06-28 21:00:59] 501*2^837074-1 is not prime. Res64: 43F68D397F61AC37 Time : 48190.0 sec. user=vaughan [2010-06-28 21:00:59] 489*2^837017-1 is not prime. Res64: 57BC6A158FC6B758 Time : 57751.0 sec. user=vaughan [2010-06-28 21:00:59] 567*2^836876-1 is not prime. Res64: A98224EDD9E20B4F Time : 75540.0 sec. user=vaughan [2010-06-28 21:00:59] 591*2^836926-1 is not prime. Res64: FB569B2D4240A6B9 Time : 69694.0 sec. user=vaughan [2010-06-28 21:01:00] 493*2^837023-1 is not prime. Res64: 554B03928A9E79C1 Time : 56662.0 sec. user=vaughan [2010-06-28 21:01:00] 577*2^836881-1 is not prime. Res64: 8FB9BDBDF6EBD23F Time : 74520.0 sec. user=vaughan [2010-06-28 21:01:00] 501*2^836946-1 is not prime. Res64: 59F0AA8B6B3CB583 Time : 68722.0 sec. user=vaughan [2010-06-28 21:01:00] 525*2^837029-1 is not prime. Res64: FD3349A331533393 Time : 55681.0 sec. user=vaughan [2010-06-28 21:01:00] 537*2^836885-1 is not prime. Res64: D2C1C16A7290B3F5 Time : 73529.0 sec. user=vaughan [2010-06-28 21:01:00] 495*2^836953-1 is not prime. Res64: 1BCC4C65CFF8346B Time : 67748.0 sec. user=vaughan [2010-06-28 21:01:00] 451*2^837037-1 is not prime. Res64: 8D4500FAC952E8E8 Time : 54707.0 sec. user=vaughan [2010-06-28 21:01:00] 579*2^836877-1 is not prime. Res64: 1B19882F24DC4F5B Time : 75438.0 sec. user=vaughan [2010-06-28 21:01:00] 533*2^836960-1 is not prime. Res64: 2879270E6D86DB8B Time : 66773.0 sec. user=vaughan [2010-06-28 21:01:00] 579*2^836891-1 is not prime. Res64: D619E5A09F444E7C Time : 72537.0 sec. user=vaughan [2010-06-28 21:01:00] 471*2^837075-1 is not prime. Res64: 773F26DB0196E2A4 Time : 48057.0 sec. user=vaughan [2010-06-28 21:01:00] 471*2^837042-1 is not prime. Res64: 6A73D22B85C10FB4 Time : 53724.0 sec. user=vaughan [2010-06-28 21:01:01] 503*2^836882-1 is not prime. Res64: 71DC45196677AA71 Time : 74345.0 sec. user=vaughan [2010-06-28 21:01:01] 557*2^836966-1 is not prime. Res64: 2329A0A0D6E11450 Time : 65791.0 sec. user=vaughan [2010-06-28 21:01:01] 551*2^836898-1 is not prime. Res64: 69E5FA657F84FFD6 Time : 71514.0 sec. user=vaughan [2010-06-28 21:01:01] 403*2^837047-1 is not prime. Res64: B186BF9E35029A6E Time : 52750.0 sec. user=vaughan [2010-06-28 21:01:01] 429*2^836887-1 is not prime. Res64: C767F72EF87F615E Time : 73252.0 sec. user=vaughan [2010-06-28 21:01:01] 507*2^836973-1 is not prime. Res64: 044E9BC75F23F29D Time : 64811.0 sec. user=vaughan [2010-06-28 21:01:01] 579*2^836907-1 is not prime. Res64: 4EF53B95CDCDDA76 Time : 70460.0 sec. user=vaughan [2010-06-28 21:01:01] 577*2^837053-1 is not prime. Res64: 192B11430A1AEC40 Time : 51769.0 sec. user=vaughan [2010-06-28 21:01:01] 451*2^836895-1 is not prime. Res64: 099F48F1A9A9F646 Time : 72157.0 sec. user=vaughan [2010-06-28 21:01:01] 425*2^836982-1 is not prime. Res64: 4815A86EE938C72A Time : 63835.0 sec. user=vaughan [2010-06-28 21:01:01] 409*2^836937-1 is not prime. Res64: 09449700445D48D2 Time : 69400.0 sec. user=vaughan [2010-06-28 21:01:01] 551*2^837058-1 is not prime. Res64: CBD86F08D84BB416 Time : 50784.0 sec. user=vaughan [2010-06-28 21:01:01] 453*2^836904-1 is not prime. Res64: 32E6A132E5AAEB8C Time : 71062.0 sec. user=vaughan [2010-06-28 21:01:02] 423*2^836988-1 is not prime. Res64: F4FF2BE37023F22D Time : 62861.0 sec. user=vaughan [2010-06-28 21:01:02] 583*2^836947-1 is not prime. Res64: 121D3E8B2D95532F Time : 68342.0 sec. user=vaughan [2010-06-28 21:01:02] 405*2^837070-1 is not prime. Res64: 432DF51F0EA955A9 Time : 48884.0 sec. user=vaughan [2010-06-28 21:01:02] 411*2^837065-1 is not prime. Res64: 9DDAD4EA289E3C0B Time : 49805.0 sec. user=vaughan [2010-06-28 21:01:02] 413*2^836926-1 is not prime. Res64: D570216FFE6470DC Time : 69970.0 sec. user=vaughan [2010-06-28 21:01:02] 567*2^836994-1 is not prime. Res64: 29252A4ECC278DA8 Time : 61888.0 sec. user=vaughan [2010-06-28 21:01:02] 569*2^836956-1 is not prime. Res64: 1AF83DFC5C81A680 Time : 67294.0 sec. user=vaughan [2010-06-28 21:01:02] 447*2^837070-1 is not prime. Res64: DBEFCB3FEA968A55 Time : 48820.0 sec. user=vaughan [2010-06-28 21:01:02] 547*2^836945-1 is not prime. Res64: 6A1C34D9C068DE61 Time : 68878.0 sec. user=vaughan [2010-06-28 21:01:02] 507*2^836838-1 is not prime. Res64: 6DCC17BFDC0BBA05 Time : 81669.0 sec. user=vaughan [2010-06-28 21:01:02] 545*2^836884-1 is not prime. Res64: 7D34324425D0F9E1 Time : 73654.0 sec. user=vaughan [2010-06-28 21:01:02] 505*2^837001-1 is not prime. Res64: B25AFE0042729F4A Time : 60913.0 sec. user=vaughan [2010-06-28 21:01:02] 569*2^836964-1 is not prime. Res64: 8F7FFB4C88C25B5C Time : 66307.0 sec. user=vaughan [2010-06-28 21:01:02] 565*2^836951-1 is not prime. Res64: 3764538D2E425E5A Time : 67786.0 sec. user=vaughan [2010-06-28 21:01:02] 555*2^836845-1 is not prime. Res64: ABCCB6794AD9D6CE Time : 80657.0 sec. user=vaughan [2010-06-28 21:01:02] 421*2^836891-1 is not prime. Res64: CEB0CBA8196F0975 Time : 72603.0 sec. user=vaughan [2010-06-28 21:01:02] 511*2^837007-1 is not prime. Res64: 3A623C6235361B7C Time : 59938.0 sec. user=vaughan [2010-06-28 21:01:02] 473*2^836970-1 is not prime. Res64: D143306378D93205 Time : 65319.0 sec. user=vaughan [2010-06-28 21:01:03] 497*2^836962-1 is not prime. Res64: 9533FFC3BDEC501F Time : 66693.0 sec. user=vaughan [2010-06-28 21:01:03] 461*2^836850-1 is not prime. Res64: 94A0CF7775A1BFE7 Time : 79630.0 sec. user=vaughan [2010-06-28 21:01:03] 515*2^836898-1 is not prime. Res64: 6035019BFF3DADE8 Time : 71552.0 sec. user=vaughan [2010-06-28 21:01:03] 571*2^837011-1 is not prime. Res64: 40475082C6822BA4 Time : 58964.0 sec. user=vaughan [2010-06-28 21:01:03] 437*2^836978-1 is not prime. Res64: A38CE506C693F1CB Time : 64293.0 sec. user=vaughan [2010-06-28 21:01:03] 433*2^836967-1 is not prime. Res64: CE0374DCA5A77541 Time : 65603.0 sec. user=vaughan [2010-06-28 21:01:03] 509*2^836856-1 is not prime. Res64: 331332EB26C4D711 Time : 78580.0 sec. user=vaughan [2010-06-28 21:01:03] 529*2^836907-1 is not prime. Res64: E56B89655B1E2F6B Time : 70502.0 sec. user=vaughan [2010-06-28 21:01:03] 527*2^837016-1 is not prime. Res64: B777202B40BB9601 Time : 57989.0 sec. user=vaughan [2010-06-28 21:01:03] 597*2^836986-1 is not prime. Res64: 70ED01AAD49EA202 Time : 63239.0 sec. user=vaughan [2010-06-28 21:01:03] 573*2^836974-1 is not prime. Res64: 422F183613BCCF12 Time : 64510.0 sec. user=vaughan [2010-06-28 21:01:03] 523*2^836863-1 is not prime. Res64: 0A64C0FA2B057046 Time : 77518.0 sec. user=vaughan [2010-06-28 21:01:03] 405*2^836937-1 is not prime. Res64: EE289FC4836711BC Time : 69452.0 sec. user=vaughan [2010-06-28 21:01:03] 483*2^836884-1 is not prime. Res64: E4720F45A9B1101D Time : 73915.0 sec. user=vaughan [2010-06-28 21:01:03] 519*2^837020-1 is not prime. Res64: BB1A74B823A62A2F Time : 57013.0 sec. user=vaughan [2010-06-28 21:01:03] 405*2^837072-1 is not prime. Res64: 2E451BF63DA9F06D Time : 48581.0 sec. user=vaughan [2010-06-28 21:01:03] 507*2^836993-1 is not prime. Res64: B8AA7F8F6B7B9554 Time : 62163.0 sec. user=vaughan [2010-06-28 21:01:03] 567*2^836984-1 is not prime. Res64: 95D00EAF61495D75 Time : 63416.0 sec. user=vaughan [2010-06-28 21:01:03] 413*2^836872-1 is not prime. Res64: 7021FE1D325F10EE Time : 76465.0 sec. user=vaughan [2010-06-28 21:01:03] 451*2^836947-1 is not prime. Res64: CE0982143C962A64 Time : 68401.0 sec. user=vaughan [2010-06-28 21:01:04] 525*2^836889-1 is not prime. Res64: 0C4798636DFA7E1D Time : 72871.0 sec. user=vaughan [2010-06-28 21:01:04] 405*2^837028-1 is not prime. Res64: BC76C78537647AD4 Time : 56038.0 sec. user=vaughan [2010-06-28 21:01:04] 595*2^836999-1 is not prime. Res64: 98C2755E2B642C3F Time : 61173.0 sec. user=vaughan [2010-06-28 21:01:04] 455*2^836992-1 is not prime. Res64: 738DE4EB62650770 Time : 62326.0 sec. user=vaughan [2010-06-28 21:01:04] 435*2^836878-1 is not prime. Res64: 04BD25CF38F18E55 Time : 75408.0 sec. user=vaughan [2010-06-28 21:01:04] 435*2^836956-1 is not prime. Res64: 2203F4533198B1B8 Time : 67355.0 sec. user=vaughan [2010-06-28 21:01:04] 587*2^836896-1 is not prime. Res64: B394C1E6C7A3DE16 Time : 71824.0 sec. user=vaughan [2010-06-28 21:01:04] 401*2^837034-1 is not prime. Res64: 01B027580C4F9AD8 Time : 55062.0 sec. user=vaughan [2010-06-28 21:01:04] 561*2^837005-1 is not prime. Res64: 639BAE00BA8E0144 Time : 60180.0 sec. user=vaughan [2010-06-28 21:01:04] 411*2^836999-1 is not prime. Res64: 034D5991736620CE Time : 61233.0 sec. user=vaughan [2010-06-28 21:01:04] 495*2^836882-1 is not prime. Res64: 274802A17BF6CB55 Time : 74352.0 sec. user=vaughan [2010-06-28 21:01:04] 429*2^836907-1 is not prime. Res64: 5A206F0495360EE7 Time : 70757.0 sec. user=vaughan [2010-06-28 21:01:04] 489*2^836965-1 is not prime. Res64: 29C9F6972148730D Time : 66305.0 sec. user=vaughan [2010-06-28 21:01:04] 465*2^837041-1 is not prime. Res64: C4EAF04CD8188302 Time : 54055.0 sec. user=vaughan [2010-06-28 21:01:04] 495*2^837010-1 is not prime. Res64: AE5F37AE70026262 Time : 59186.0 sec. user=vaughan [2010-06-28 21:01:04] 567*2^837005-1 is not prime. Res64: D76C16862B0E0925 Time : 60138.0 sec. user=vaughan [2010-06-28 21:01:04] 525*2^836886-1 is not prime. Res64: D6C14B1C7C940251 Time : 73339.0 sec. user=vaughan [2010-06-28 21:01:04] 521*2^836926-1 is not prime. Res64: 1CD5D27D64A7FBA7 Time : 69712.0 sec. user=vaughan [2010-06-28 21:01:04] 475*2^836971-1 is not prime. Res64: 99EFD2D7A4EAF218 Time : 65256.0 sec. user=vaughan [2010-06-28 21:01:04] 425*2^837046-1 is not prime. Res64: A3716290E6C6EB36 Time : 53041.0 sec. user=vaughan [2010-06-28 21:01:04] 405*2^837015-1 is not prime. Res64: B9589753FFDCF999 Time : 58208.0 sec. user=vaughan [2010-06-28 21:01:05] 519*2^837011-1 is not prime. Res64: E21D24F6011179F3 Time : 59029.0 sec. user=vaughan [2010-06-28 21:01:05] 521*2^836946-1 is not prime. Res64: 282349C03F161672 Time : 68670.0 sec. user=vaughan [2010-06-28 21:01:05] 519*2^836893-1 is not prime. Res64: D3496D6AF3B3053E Time : 72324.0 sec. user=vaughan [2010-06-28 21:01:05] 469*2^836979-1 is not prime. Res64: 39C60978117A88EA Time : 64199.0 sec. user=vaughan [2010-06-28 21:01:05] 539*2^837052-1 is not prime. Res64: E340C68D01BF4D99 Time : 52031.0 sec. user=vaughan [2010-06-28 21:01:05] 567*2^837018-1 is not prime. Res64: C23AA0A7C1E87154 Time : 57230.0 sec. user=vaughan [2010-06-28 21:01:05] 513*2^836842-1 is not prime. Res64: 00B8E523A7AE5F49 Time : 81298.0 sec. user=vaughan [2010-06-28 21:01:05] 435*2^837017-1 is not prime. Res64: 36E55461BCC8A9C2 Time : 57918.0 sec. user=vaughan [2010-06-28 21:01:05] 447*2^836954-1 is not prime. Res64: 120EA8C687862910 Time : 67630.0 sec. user=vaughan [2010-06-28 21:01:05] 405*2^836901-1 is not prime. Res64: 74EB714717CECEF3 Time : 71307.0 sec. user=vaughan [2010-06-28 21:01:05] 501*2^836987-1 is not prime. Res64: 780DFFFD34532E37 Time : 63150.0 sec. user=vaughan [2010-06-28 21:01:05] 593*2^837056-1 is not prime. Res64: C3740FC9E215E80F Time : 51021.0 sec. user=vaughan [2010-06-28 21:01:05] 423*2^837024-1 is not prime. Res64: AFAF59893C48C68B Time : 56200.0 sec. user=vaughan [2010-06-28 21:01:05] 453*2^836848-1 is not prime. Res64: 69F75059AEA9C418 Time : 80287.0 sec. user=vaughan [2010-06-28 21:01:05] 507*2^837021-1 is not prime. Res64: D97201D35A439619 Time : 56797.0 sec. user=vaughan [2010-06-28 21:01:05] 533*2^836962-1 is not prime. Res64: A6F64B4EEEDC881F Time : 66586.0 sec. user=vaughan [2010-06-28 21:01:05] 405*2^836916-1 is not prime. Res64: 7F8B0F57663EE215 Time : 70292.0 sec. user=vaughan [2010-06-28 21:01:05] 461*2^836994-1 is not prime. Res64: 42666A728C166018 Time : 62098.0 sec. user=vaughan [2010-06-28 21:01:05] 583*2^837063-1 is not prime. Res64: 30D8263CD673881C Time : 50011.0 sec. user=vaughan [2010-06-28 21:01:05] 537*2^836852-1 is not prime. Res64: 1BB63C97FF8D1573 Time : 79247.0 sec. user=vaughan [2010-06-28 21:01:05] 507*2^837033-1 is not prime. Res64: BC9CAC793ED14E2E Time : 55139.0 sec. user=vaughan [2010-06-28 21:01:05] 585*2^837030-1 is not prime. Res64: 8245A20887C3ADBF Time : 55676.0 sec. user=vaughan [2010-06-28 21:01:06] 585*2^836967-1 is not prime. Res64: 281B8D0CF014CBBB Time : 65545.0 sec. user=vaughan [2010-06-28 21:01:06] 425*2^837000-1 is not prime. Res64: 007F12ED6BA9C785 Time : 61049.0 sec. user=vaughan [2010-06-28 21:01:06] 459*2^836943-1 is not prime. Res64: 4F68F295FABDE718 Time : 69275.0 sec. user=vaughan [2010-06-28 21:01:06] 439*2^837069-1 is not prime. Res64: 2050C7FABD112A2B Time : 48999.0 sec. user=vaughan [2010-06-28 21:01:06] 551*2^837038-1 is not prime. Res64: A0875B37B9529895 Time : 54558.0 sec. user=vaughan [2010-06-28 21:01:06] 451*2^836859-1 is not prime. Res64: BFCA461A17D5AE6F Time : 78197.0 sec. user=vaughan [2010-06-28 21:01:06] 447*2^837041-1 is not prime. Res64: 1E25936CF3D41278 Time : 54063.0 sec. user=vaughan [2010-06-28 21:01:06] 459*2^836975-1 is not prime. Res64: CF955C684AAC2A6E Time : 64492.0 sec. user=vaughan [2010-06-28 21:01:06] 425*2^836948-1 is not prime. Res64: C41F9207B19D0DD0 Time : 68257.0 sec. user=vaughan [2010-06-28 21:01:06] 493*2^837007-1 is not prime. Res64: EE1897AFB896AA87 Time : 59993.0 sec. user=vaughan [2010-06-28 21:01:06] 535*2^837075-1 is not prime. Res64: 05A62B3327D22BF0 Time : 47979.0 sec. user=vaughan [2010-06-28 21:01:06] 429*2^837043-1 is not prime. Res64: 56FC60C20CCAAF85 Time : 53439.0 sec. user=vaughan [2010-06-28 21:01:06] 513*2^836866-1 is not prime. Res64: D6043BAE8004D43E Time : 77139.0 sec. user=vaughan [2010-06-28 21:01:06] 591*2^837045-1 is not prime. Res64: 665048BEAAA97E31 Time : 53080.0 sec. user=vaughan [2010-06-28 21:01:06] 495*2^836984-1 is not prime. Res64: 8DC2210C61FC4A35 Time : 63448.0 sec. user=vaughan [2010-06-28 21:01:06] 405*2^837012-1 is not prime. Res64: A59B6897E6527C6B Time : 58939.0 sec. user=vaughan [2010-06-28 21:01:06] 441*2^836957-1 is not prime. Res64: 0FAEA099D3C6480A Time : 67235.0 sec. user=vaughan [2010-06-28 21:01:06] 471*2^837087-1 is not prime. Res64: FF7E2FB353572A15 Time : 1469.0 sec. user=vaughan [2010-06-28 21:01:06] 405*2^837051-1 is not prime. Res64: 6DC330979E193AC9 Time : 52320.0 sec. user=vaughan [2010-06-28 21:01:06] 563*2^836874-1 is not prime. Res64: CC9F3712B85A5B73 Time : 76098.0 sec. user=vaughan [2010-06-28 21:01:06] 495*2^837052-1 is not prime. Res64: 3417A4226AE63756 Time : 52100.0 sec. user=vaughan [2010-06-28 21:01:06] 419*2^836992-1 is not prime. Res64: 317FBAE9C01C3C45 Time : 62400.0 sec. user=vaughan [2010-06-28 21:01:06] 445*2^837017-1 is not prime. Res64: F2153D13FA4949C4 Time : 57890.0 sec. user=vaughan [2010-06-28 21:01:06] 453*2^836966-1 is not prime. Res64: A0A1DB14905F4AE3 Time : 66228.0 sec. user=vaughan [2010-06-28 21:01:07] 405*2^837056-1 is not prime. Res64: 6CEBB9E84A803C65 Time : 51203.0 sec. user=vaughan [2010-06-28 21:01:07] 561*2^836878-1 is not prime. Res64: 599C21911F77835E Time : 75062.0 sec. user=vaughan [2010-06-28 21:01:07] 557*2^837056-1 is not prime. Res64: F28E91E9310EF152 Time : 51114.0 sec. user=vaughan [2010-06-28 21:01:07] 443*2^836998-1 is not prime. Res64: 6133E19499063C75 Time : 61351.0 sec. user=vaughan [2010-06-28 21:01:07] 585*2^837020-1 is not prime. Res64: F07EF89C9D5E5827 Time : 56842.0 sec. user=vaughan [2010-06-28 21:01:07] 557*2^836972-1 is not prime. Res64: A4634E858059E66B Time : 65218.0 sec. user=vaughan [2010-06-28 21:01:07] 483*2^837063-1 is not prime. Res64: 9B96B684F0256E4D Time : 50084.0 sec. user=vaughan [2010-06-28 21:01:07] 553*2^836883-1 is not prime. Res64: 65B27588FFB8F505 Time : 74036.0 sec. user=vaughan [2010-06-28 21:01:07] 481*2^837063-1 is not prime. Res64: 1E9BEAF9B63ED737 Time : 50122.0 sec. user=vaughan [2010-06-28 21:01:07] 489*2^837004-1 is not prime. Res64: 0703AA4297B01769 Time : 60302.0 sec. user=vaughan [2010-06-28 21:01:07] 435*2^837029-1 is not prime. Res64: C9329778C362E0DF Time : 55793.0 sec. user=vaughan [2010-06-28 21:01:07] 439*2^836979-1 is not prime. Res64: 071F2D9D95E0BB80 Time : 64202.0 sec. user=vaughan [2010-06-28 21:01:07] 549*2^837069-1 is not prime. Res64: AAA59E65B1BA7B54 Time : 48943.0 sec. user=vaughan [2010-06-28 21:01:07] 515*2^836888-1 is not prime. Res64: 1772B7B0D8AF2315 Time : 73022.0 sec. user=vaughan [2010-06-28 21:01:07] 499*2^837067-1 is not prime. Res64: BCD801609A6B3697 Time : 49125.0 sec. user=vaughan [2010-06-28 21:01:07] 423*2^837010-1 is not prime. Res64: EA1773AE1CAA567D Time : 59226.0 sec. user=vaughan [2010-06-28 21:01:07] 563*2^837036-1 is not prime. Res64: B933C346518CBFB4 Time : 54741.0 sec. user=vaughan [2010-06-28 21:01:07] 493*2^836987-1 is not prime. Res64: 9505DFD3CD6A76CF Time : 63186.0 sec. user=vaughan [2010-06-28 21:01:07] 527*2^836896-1 is not prime. Res64: 07C61B1E74054193 Time : 71994.0 sec. user=vaughan [2010-06-28 21:01:07] 503*2^837074-1 is not prime. Res64: 7374E96CD4AFE404 Time : 48133.0 sec. user=vaughan [2010-06-28 21:01:07] 433*2^837015-1 is not prime. Res64: AD2208B023126A82 Time : 58178.0 sec. user=vaughan [2010-06-28 21:01:08] 483*2^837042-1 is not prime. Res64: 149887E5C928334D Time : 53694.0 sec. user=vaughan [2010-06-28 21:01:08] 517*2^836993-1 is not prime. Res64: 77C3AFE45FA538DF Time : 62163.0 sec. user=vaughan [2010-06-28 21:01:08] 561*2^836906-1 is not prime. Res64: 9264B1FB60E8F096 Time : 70978.0 sec. user=vaughan [2010-06-28 21:01:08] 583*2^837019-1 is not prime. Res64: A560B54E3C62F61F Time : 57138.0 sec. user=vaughan [2010-06-28 21:01:08] 441*2^837049-1 is not prime. Res64: B87AC723AC1771AE Time : 52644.0 sec. user=vaughan [2010-06-28 21:01:08] 423*2^837000-1 is not prime. Res64: 67906454FCBFBBA2 Time : 61145.0 sec. user=vaughan [2010-06-28 21:01:08] 425*2^836926-1 is not prime. Res64: BA15CB105B226C2D Time : 69953.0 sec. user=vaughan [2010-06-28 21:01:08] 495*2^837026-1 is not prime. Res64: 7D304BB5CAE6279F Time : 56094.0 sec. user=vaughan [2010-06-28 21:01:08] 525*2^837085-1 is not prime. Res64: AB8E671BC1710BF6 Time : 1482.0 sec. user=vaughan [2010-06-28 21:01:08] 541*2^837055-1 is not prime. Res64: AFAD783F738FE9F3 Time : 51596.0 sec. user=vaughan [2010-06-28 21:01:08] 443*2^837006-1 is not prime. Res64: 13016E3AE43B7874 Time : 60128.0 sec. user=vaughan [2010-06-28 21:01:08] 537*2^836945-1 is not prime. Res64: 8C8A823E312F7725 Time : 68938.0 sec. user=vaughan [2010-06-28 21:01:08] 421*2^837035-1 is not prime. Res64: E26661DE323CFEB8 Time : 55053.0 sec. user=vaughan [2010-06-28 21:01:08] 593*2^837060-1 is not prime. Res64: E1FE889C6FDD4E92 Time : 50547.0 sec. user=vaughan [2010-06-28 21:01:08] 445*2^837011-1 is not prime. Res64: E9529329F88B85C6 Time : 59104.0 sec. user=vaughan [2010-06-28 21:01:09] 439*2^836951-1 is not prime. Res64: 31C1B91D0A845985 Time : 67914.0 sec. user=vaughan [2010-06-28 21:01:09] 549*2^837041-1 is not prime. Res64: ACE38F20093A5955 Time : 54010.0 sec. user=vaughan [2010-06-28 21:01:09] 453*2^837066-1 is not prime. Res64: 8D6763D1397E3671 Time : 49498.0 sec. user=vaughan [2010-06-28 21:01:09] 495*2^837016-1 is not prime. Res64: 2991867389801651 Time : 58101.0 sec. user=vaughan [2010-06-28 21:01:09] 595*2^836959-1 is not prime. Res64: 03F779E30D46C1BB Time : 66890.0 sec. user=vaughan [2010-06-28 21:01:09] 573*2^837046-1 is not prime. Res64: 33C289CFB3315208 Time : 52963.0 sec. user=vaughan [2010-06-28 21:01:09] 447*2^837020-1 is not prime. Res64: CFCB5D84966F537B Time : 57091.0 sec. user=vaughan [2010-06-28 21:01:09] 465*2^837073-1 is not prime. Res64: C9161D27EB375F92 Time : 48448.0 sec. user=vaughan [2010-06-28 21:01:09] 495*2^836966-1 is not prime. Res64: 6DC105BBC1D339FB Time : 65876.0 sec. user=vaughan [2010-06-28 21:01:09] 547*2^837053-1 is not prime. Res64: 4E320F37D484D706 Time : 51919.0 sec. user=vaughan [2010-06-28 21:01:09] 585*2^837026-1 is not prime. Res64: 3BA98AFA738A5670 Time : 56068.0 sec. user=vaughan [2010-06-28 21:01:10] 471*2^836973-1 is not prime. Res64: CAD61E86B6277481 Time : 64855.0 sec. user=vaughan [2010-06-28 21:01:10] 413*2^837058-1 is not prime. Res64: FB766C97C8324288 Time : 50876.0 sec. user=vaughan [2010-06-28 21:01:10] 411*2^837035-1 is not prime. Res64: 0BDDD2DCBA583AB4 Time : 55056.0 sec. user=vaughan [2010-06-28 21:01:10] 489*2^837064-1 is not prime. Res64: DF5A1A3853F67689 Time : 49832.0 sec. user=vaughan [2010-06-28 21:01:10] 455*2^836982-1 is not prime. Res64: C7BAA8E428D67655 Time : 63840.0 sec. user=vaughan [2010-06-28 21:01:10] 511*2^837041-1 is not prime. Res64: A5913A5A96164596 Time : 54035.0 sec. user=vaughan [2010-06-28 21:01:10] 489*2^837071-1 is not prime. Res64: 40A992DE0ACDA950 Time : 48783.0 sec. user=vaughan [2010-06-28 21:01:10] 441*2^836989-1 is not prime. Res64: 9DAF6B29DF43ACD6 Time : 62817.0 sec. user=vaughan [2010-06-28 21:01:10] 525*2^837090-1 is not prime. Res64: C59187E66DA82E1E Time : 1455.0 sec. user=vaughan [2010-06-28 21:01:10] 567*2^837046-1 is not prime. Res64: 673D183D4F56421B Time : 52987.0 sec. user=vaughan [2010-06-28 21:01:10] 437*2^836996-1 is not prime. Res64: D605211489A1E174 Time : 61789.0 sec. user=vaughan [2010-06-28 21:01:11] 487*2^837053-1 is not prime. Res64: 91B7846430401A2A Time : 51931.0 sec. user=vaughan [2010-06-28 21:01:11] 501*2^837002-1 is not prime. Res64: 742BB5DE2C29C2A3 Time : 60765.0 sec. user=vaughan [2010-06-28 21:01:11] 453*2^837058-1 is not prime. Res64: 97CB7B1EBC89C784 Time : 50873.0 sec. user=vaughan [2010-06-28 21:01:11] 437*2^837008-1 is not prime. Res64: 47956ED79260EE3E Time : 59740.0 sec. user=vaughan [2010-06-28 21:01:11] 509*2^837064-1 is not prime. Res64: FE3B163E13EF6DEE Time : 49827.0 sec. user=vaughan [2010-06-28 21:01:11] 557*2^837012-1 is not prime. Res64: 910E9CDF94D18A21 Time : 58722.0 sec. user=vaughan [2010-06-28 21:01:11] 571*2^837071-1 is not prime. Res64: 430A16DD5BB5F782 Time : 48768.0 sec. user=vaughan [2010-06-28 21:01:12] 517*2^837017-1 is not prime. Res64: E86CEE852CA89DB8 Time : 57718.0 sec. user=vaughan [2010-06-28 21:01:12] 597*2^837021-1 is not prime. Res64: 3BC970C46F705673 Time : 56702.0 sec. user=vaughan [2010-06-28 21:01:12] 503*2^837030-1 is not prime. Res64: 582A66CBA42D37FA Time : 55684.0 sec. user=vaughan [2010-06-28 21:01:12] 447*2^836882-1 is not prime. Res64: E61B8BAB70872EEE Time : 74421.0 sec. user=vaughan [2010-06-28 21:01:12] 563*2^836886-1 is not prime. Res64: CEA38778DFD379C0 Time : 73341.0 sec. user=vaughan [2010-06-28 21:01:12] 531*2^837037-1 is not prime. Res64: 7B95E3A3F4B14811 Time : 54671.0 sec. user=vaughan [2010-06-28 21:01:13] 545*2^836894-1 is not prime. Res64: FCAAC14576BA53D9 Time : 72260.0 sec. user=vaughan [2010-06-28 21:01:13] 527*2^837042-1 is not prime. Res64: C5AD992FE62DBE25 Time : 53641.0 sec. user=vaughan [2010-06-28 21:01:13] 527*2^836902-1 is not prime. Res64: 693A7DB2DE6342B7 Time : 71177.0 sec. user=vaughan [2010-06-28 21:01:13] 561*2^837050-1 is not prime. Res64: 8151CD18A7D1E09C Time : 52597.0 sec. user=vaughan [2010-06-28 21:01:13] 405*2^836918-1 is not prime. Res64: 9187CC14F32F8FAA Time : 70096.0 sec. user=vaughan [2010-06-28 21:01:14] 555*2^837055-1 is not prime. Res64: 5EC6EAFC161451FC Time : 51540.0 sec. user=vaughan [2010-06-28 21:01:14] 495*2^836945-1 is not prime. Res64: DDD9614DBBB6A25F Time : 69012.0 sec. user=vaughan [2010-06-28 21:01:14] 427*2^837061-1 is not prime. Res64: D85E492C21123FCA Time : 50495.0 sec. user=vaughan [2010-06-28 21:01:14] 403*2^836951-1 is not prime. Res64: C83C32719C06B191 Time : 67928.0 sec. user=vaughan [2010-06-28 21:01:14] 513*2^837066-1 is not prime. Res64: 636403075CD0B07C Time : 49452.0 sec. user=vaughan [2010-06-28 21:01:14] 465*2^836960-1 is not prime. Res64: 556F7AD513F24159 Time : 66846.0 sec. user=vaughan [2010-06-28 21:01:15] 517*2^837073-1 is not prime. Res64: BB1B34C3751DD6F7 Time : 48403.0 sec. user=vaughan [2010-06-28 21:01:15] 591*2^836966-1 is not prime. Res64: 02F14F6E299A7A24 Time : 65765.0 sec. user=vaughan [2010-06-28 21:01:15] 461*2^836974-1 is not prime. Res64: E579F18951E3D326 Time : 64683.0 sec. user=vaughan [2010-06-28 21:01:16] 589*2^836983-1 is not prime. Res64: 2453D7914D324C66 Time : 63601.0 sec. user=vaughan [2010-06-28 21:01:16] 477*2^836990-1 is not prime. Res64: C397066EF3913C42 Time : 62519.0 sec. user=vaughan [2010-06-28 21:01:16] 435*2^836998-1 is not prime. Res64: EE1D2A49EF2F5128 Time : 61438.0 sec. user=vaughan [2010-06-28 21:01:17] 485*2^837004-1 is not prime. Res64: 35E1C77D4FD68B44 Time : 60356.0 sec. user=vaughan [2010-06-28 21:01:17] 579*2^837009-1 is not prime. Res64: E8014CFA655BA681 Time : 59270.0 sec. user=vaughan [2010-06-28 21:01:17] 585*2^837015-1 is not prime. Res64: 6BB7629FD4368E27 Time : 58182.0 sec. user=vaughan [2010-06-28 21:01:18] 489*2^837020-1 is not prime. Res64: E2C3A92B0ABAD61F Time : 57100.0 sec. user=vaughan [2010-06-28 21:01:18] 527*2^837028-1 is not prime. Res64: 9181D598D1919BEF Time : 56009.0 sec. user=vaughan [2010-06-28 21:01:18] 453*2^837036-1 is not prime. Res64: A5074BD7E84C0602 Time : 54926.0 sec. user=vaughan [2010-06-28 21:01:19] 559*2^837041-1 is not prime. Res64: 04403CAAEEDFBB54 Time : 53846.0 sec. user=vaughan [2010-06-28 21:01:19] 475*2^837047-1 is not prime. Res64: 436E2BA07D237A45 Time : 52766.0 sec. user=vaughan [2010-06-28 21:01:19] 527*2^837054-1 is not prime. Res64: 46AACB719C57E38C Time : 51689.0 sec. user=vaughan [2010-06-28 21:01:20] 549*2^837060-1 is not prime. Res64: 3119BB38A8DC20CD Time : 50610.0 sec. user=vaughan [2010-06-28 21:01:20] 547*2^837065-1 is not prime. Res64: D95D3E49BA6905FA Time : 49531.0 sec. user=vaughan [2010-06-28 21:01:20] 481*2^837073-1 is not prime. Res64: 0B280363F0F59CD0 Time : 48449.0 sec. user=vaughan [2010-06-28 21:02:25] 409*2^836867-1 is not prime. Res64: 9690BB687D6291FB Time : 77068.0 sec. user=vaughan [2010-06-28 21:02:26] 531*2^836875-1 is not prime. Res64: 119573D1105E7189 Time : 76014.0 sec. user=vaughan [2010-06-28 21:02:27] 423*2^836880-1 is not prime. Res64: F32E4CDF46B2E31E Time : 74863.0 sec. user=vaughan [2010-06-28 21:02:28] 411*2^836885-1 is not prime. Res64: 8586E26A85ABA821 Time : 73717.0 sec. user=vaughan [2010-06-28 21:02:28] 405*2^836892-1 is not prime. Res64: 57486120C5A06166 Time : 72569.0 sec. user=vaughan [2010-06-28 21:02:28] 483*2^836899-1 is not prime. Res64: 26566DAB5CD56B20 Time : 71421.0 sec. user=vaughan [2010-06-28 21:02:29] 563*2^836916-1 is not prime. Res64: F65E4B9F99A47306 Time : 70272.0 sec. user=vaughan [2010-06-28 21:02:29] 421*2^836945-1 is not prime. Res64: 635ACFC416053A0F Time : 69123.0 sec. user=vaughan [2010-06-28 21:02:29] 493*2^836951-1 is not prime. Res64: FA50E13939F0ECA3 Time : 67975.0 sec. user=vaughan [2010-06-28 21:02:30] 471*2^836961-1 is not prime. Res64: 67BBEB6EDD2F5BA4 Time : 66829.0 sec. user=vaughan [2010-06-28 21:02:30] 451*2^836967-1 is not prime. Res64: 94D85E9B7C20BC2D Time : 65681.0 sec. user=vaughan [2010-06-28 21:02:30] 413*2^836976-1 is not prime. Res64: 755FB6A2FAF7129E Time : 64533.0 sec. user=vaughan [2010-06-28 21:02:30] 581*2^836986-1 is not prime. Res64: 21565DA5C13B2036 Time : 63385.0 sec. user=vaughan [2010-06-28 21:02:31] 453*2^836994-1 is not prime. Res64: 393F16CB7AEFF126 Time : 62239.0 sec. user=vaughan [2010-06-28 21:02:31] 465*2^837000-1 is not prime. Res64: 468BBF4AAD590D68 Time : 61093.0 sec. user=vaughan [2010-06-28 21:02:31] 573*2^837007-1 is not prime. Res64: FEDCF874FD6F7744 Time : 59940.0 sec. user=vaughan [2010-06-28 21:02:32] 579*2^837012-1 is not prime. Res64: 88A054C1B12717A2 Time : 58789.0 sec. user=vaughan [2010-06-28 21:02:32] 551*2^837018-1 is not prime. Res64: 808687EA20E5CE37 Time : 57476.0 sec. user=vaughan [2010-06-28 21:02:32] 441*2^837027-1 is not prime. Res64: 22E710C986F037BF Time : 56141.0 sec. user=vaughan [2010-06-28 21:02:33] 429*2^837037-1 is not prime. Res64: 5ADB888EE2BA16B0 Time : 54805.0 sec. user=vaughan [2010-06-28 21:02:33] 483*2^837043-1 is not prime. Res64: D1AF9C313C7381FB Time : 53470.0 sec. user=vaughan [2010-06-28 21:02:33] 519*2^837052-1 is not prime. Res64: 2AD0F8264A3CA921 Time : 52129.0 sec. user=vaughan [2010-06-28 21:02:33] 451*2^837059-1 is not prime. Res64: 5000367D47D9A6D6 Time : 50791.0 sec. user=vaughan [2010-06-28 21:02:34] 521*2^837066-1 is not prime. Res64: 8DD9DACD5F2E8067 Time : 49457.0 sec. user=vaughan [2010-06-28 21:02:34] 497*2^837076-1 is not prime. Res64: AFCB4BB1160A3CE7 Time : 3269.0 sec. user=vaughan [2010-06-28 21:02:34] 493*2^837075-1 is not prime. Res64: 7351AF6F7AF99283 Time : 48117.0 sec. user=vaughan [2010-06-28 21:13:46] 599*2^837128-1 is not prime. Res64: E35F02642320E99C Time : 717.0 sec. user=vaughan [2010-06-28 21:13:46] 447*2^837129-1 is not prime. Res64: D536F8AE3A04DFFA Time : 716.0 sec. user=vaughan [2010-06-28 21:13:53] 465*2^837130-1 is not prime. Res64: 5BCAEABF43E5A79A Time : 715.0 sec. user=vaughan [2010-06-28 21:15:44] 531*2^837085-1 is not prime. Res64: 087491CE7DC690C7 Time : 2357.0 sec. user=vaughan [2010-06-28 21:16:52] 489*2^837087-1 is not prime. Res64: F6E6094FA2954A64 Time : 2414.0 sec. user=vaughan [2010-06-28 21:17:10] 527*2^837102-1 is not prime. Res64: F8E73247C2CFAAD6 Time : 975.0 sec. user=vaughan [2010-06-28 21:17:35] 547*2^837101-1 is not prime. Res64: B6E1A2F24FA56E6B Time : 1000.0 sec. user=vaughan [2010-06-28 21:17:47] 415*2^837115-1 is not prime. Res64: CBBB87CA2C30E196 Time : 1006.0 sec. user=vaughan [2010-06-28 21:18:35] 449*2^837092-1 is not prime. Res64: 6677284F1448D406 Time : 1066.0 sec. user=vaughan [2010-06-28 21:18:37] 495*2^837133-1 is not prime. Res64: 5132F78FDEAD235F Time : 994.0 sec. user=vaughan [2010-06-28 21:18:39] 511*2^837091-1 is not prime. Res64: 6FDD0A25597C5280 Time : 1071.0 sec. user=vaughan [2010-06-28 21:18:40] 469*2^837109-1 is not prime. Res64: 45CA93DF68E0E0AF Time : 1062.0 sec. user=vaughan [2010-06-28 21:18:44] 405*2^837077-1 is not prime. Res64: C28604C2AEB2BD3C Time : 4226.0 sec. user=vaughan [2010-06-28 21:19:05] 583*2^837135-1 is not prime. Res64: F5947614B62417EF Time : 1018.0 sec. user=vaughan [2010-06-28 21:20:29] 525*2^837134-1 is not prime. Res64: 6899DA1FFF31DE62 Time : 1104.0 sec. user=vaughan [2010-06-28 21:20:31] 473*2^837138-1 is not prime. Res64: 6D2576E0FA618917 Time : 1100.0 sec. user=vaughan [2010-06-28 21:20:44] 501*2^837129-1 is not prime. Res64: 5D9C6C0D3E7CD9A4 Time : 1127.0 sec. user=vaughan [2010-06-28 21:20:49] 477*2^837130-1 is not prime. Res64: EA0C828BFEFA54CE Time : 1130.0 sec. user=vaughan [2010-06-28 21:22:11] 559*2^837137-1 is not prime. Res64: 914A4B0DDF4AEF3A Time : 1201.0 sec. user=vaughan [2010-06-28 21:23:14] 525*2^837143-1 is not prime. Res64: 13E4788CD43D33C0 Time : 1261.0 sec. user=vaughan [2010-06-28 21:23:51] 421*2^837155-1 is not prime. Res64: C4A211ABF92A5B9B Time : 1294.0 sec. user=vaughan [2010-06-28 21:25:45] 499*2^837189-1 is not prime. Res64: 00DE4093371F53EA Time : 719.0 sec. user=vaughan [2010-06-28 21:25:45] 567*2^837090-1 is not prime. Res64: F8F8BAB792811FB9 Time : 719.0 sec. user=vaughan [2010-06-28 21:25:48] 555*2^837189-1 is not prime. Res64: C40C44BE0C50C3A2 Time : 716.0 sec. user=vaughan [2010-06-28 21:32:15] 507*2^837086-1 is not prime. Res64: 20FDD9AC16CD8B07 Time : 3348.0 sec. user=vaughan [2010-06-28 21:33:27] 477*2^837190-1 is not prime. Res64: F4AE840F0F48D8A1 Time : 978.0 sec. user=vaughan [2010-06-28 21:34:01] 571*2^837087-1 is not prime. Res64: AC453EE17DE33932 Time : 3443.0 sec. user=vaughan [2010-06-28 21:34:38] 525*2^837190-1 is not prime. Res64: E0410EC9735488F6 Time : 1011.0 sec. user=vaughan [2010-06-28 21:34:46] 507*2^837102-1 is not prime. Res64: AB5510417E241E7A Time : 2031.0 sec. user=vaughan [2010-06-28 21:35:12] 555*2^837190-1 is not prime. Res64: 05DB5C13CDB54A04 Time : 995.0 sec. user=vaughan [2010-06-28 21:35:21] 469*2^837077-1 is not prime. Res64: BA5575D95278AAF0 Time : 5223.0 sec. user=vaughan [2010-06-28 21:35:54] 405*2^837093-1 is not prime. Res64: FC43E9CFBFBE276F Time : 2104.0 sec. user=vaughan [2010-06-28 21:36:03] 475*2^837191-1 is not prime. Res64: B14C16A6F5014B6D Time : 1018.0 sec. user=vaughan [2010-06-28 21:36:09] 555*2^837091-1 is not prime. Res64: 54A24B68195F7527 Time : 2121.0 sec. user=vaughan [2010-06-28 21:36:10] 559*2^837109-1 is not prime. Res64: 92A2E26F015F69F8 Time : 2111.0 sec. user=vaughan [2010-06-28 21:36:45] 553*2^837135-1 is not prime. Res64: E61DCA50079E6614 Time : 2078.0 sec. user=vaughan [2010-06-28 21:36:56] 493*2^837139-1 is not prime. Res64: EA28220B1CE4C4A0 Time : 2084.0 sec. user=vaughan [2010-06-28 21:37:42] 477*2^837193-1 is not prime. Res64: 0697AB4AF6CE4E31 Time : 714.0 sec. user=vaughan [2010-06-28 21:37:43] 439*2^837193-1 is not prime. Res64: D3ED0B47F66751CB Time : 718.0 sec. user=vaughan [2010-06-28 21:37:43] 421*2^837193-1 is not prime. Res64: D858D37755A60ADA Time : 718.0 sec. user=vaughan [2010-06-28 21:39:06] 511*2^837129-1 is not prime. Res64: 3C18FAEF43385413 Time : 2228.0 sec. user=vaughan [2010-06-28 21:39:29] 403*2^837131-1 is not prime. Res64: 86688E8984FECE5B Time : 2249.0 sec. user=vaughan [2010-06-28 21:40:34] 577*2^837145-1 is not prime. Res64: B391B1E83298E373 Time : 2300.0 sec. user=vaughan [2010-06-28 21:41:02] 405*2^837157-1 is not prime. Res64: B7D41B8122A4AC49 Time : 2324.0 sec. user=vaughan [2010-06-28 21:41:51] 411*2^837139-1 is not prime. Res64: 4B4370B2BBD8CC3A Time : 2380.0 sec. user=vaughan [2010-06-28 21:48:50] 545*2^837086-1 is not prime. Res64: A94755BD78EBB5C3 Time : 4342.0 sec. user=vaughan [2010-06-28 21:49:03] 405*2^837132-1 is not prime. Res64: 1B5A9626FF99D694 Time : 2821.0 sec. user=vaughan [2010-06-28 21:49:22] 549*2^837100-1 is not prime. Res64: F6110B49325AC4D8 Time : 2908.0 sec. user=vaughan [2010-06-28 21:49:37] 511*2^837195-1 is not prime. Res64: 116306B02F465D45 Time : 715.0 sec. user=vaughan [2010-06-28 21:49:42] 523*2^837195-1 is not prime. Res64: 108CD941E6D7E0F0 Time : 720.0 sec. user=vaughan [2010-06-28 21:49:42] 447*2^837196-1 is not prime. Res64: 162D4C14B530869C Time : 720.0 sec. user=vaughan [2010-06-28 21:50:00] 577*2^837193-1 is not prime. Res64: 36F08D3158E736A4 Time : 993.0 sec. user=vaughan [2010-06-28 21:51:14] 583*2^837087-1 is not prime. Res64: 378C2F204D2B3706 Time : 4475.0 sec. user=vaughan [2010-06-28 21:51:32] 431*2^837194-1 is not prime. Res64: 97A006F4E9686DF2 Time : 1014.0 sec. user=vaughan [2010-06-28 21:51:53] 495*2^837194-1 is not prime. Res64: 2BA20EA25B32275D Time : 1002.0 sec. user=vaughan [2010-06-28 21:51:56] 495*2^837077-1 is not prime. Res64: F88454DA6C7E3594 Time : 6217.0 sec. user=vaughan [2010-06-28 21:52:01] 415*2^837103-1 is not prime. Res64: 62FD8F926E85A408 Time : 3065.0 sec. user=vaughan [2010-06-28 21:53:13] 447*2^837136-1 is not prime. Res64: 1AA0B3299B162DB2 Time : 3064.0 sec. user=vaughan [2010-06-28 21:53:14] 507*2^837194-1 is not prime. Res64: D1234EF99B2E8181 Time : 1031.0 sec. user=vaughan [2010-06-28 21:53:19] 511*2^837093-1 is not prime. Res64: 94A9A0CBB560450B Time : 3148.0 sec. user=vaughan [2010-06-28 21:53:34] 533*2^837140-1 is not prime. Res64: EF81C079C5BEEB2F Time : 3082.0 sec. user=vaughan [2010-06-28 21:53:39] 437*2^837092-1 is not prime. Res64: F417DF646D289F64 Time : 3170.0 sec. user=vaughan [2010-06-28 21:53:52] 417*2^837110-1 is not prime. Res64: 0710BE3B50AD86E4 Time : 3173.0 sec. user=vaughan [2010-06-28 21:57:37] 561*2^837130-1 is not prime. Res64: A44B21B1D5D984C1 Time : 3338.0 sec. user=vaughan [2010-06-28 21:58:07] 529*2^837131-1 is not prime. Res64: 069EEEAEA7967801 Time : 3366.0 sec. user=vaughan [2010-06-28 21:58:21] 501*2^837147-1 is not prime. Res64: 6C7AA94DADCD0307 Time : 3366.0 sec. user=vaughan [2010-06-28 21:58:32] 513*2^837159-1 is not prime. Res64: 53F65FD65BEDF6F0 Time : 3372.0 sec. user=vaughan [2010-06-28 22:01:21] 523*2^837139-1 is not prime. Res64: 4213E7EEC6004BF5 Time : 3549.0 sec. user=vaughan [2010-06-28 22:01:31] 493*2^837199-1 is not prime. Res64: 0935B2D6BA3DF94B Time : 714.0 sec. user=vaughan [2010-06-28 22:01:38] 549*2^837199-1 is not prime. Res64: 458660468055211F Time : 716.0 sec. user=vaughan [2010-06-28 22:01:38] 589*2^837199-1 is not prime. Res64: F8D27DDBA9C7A217 Time : 716.0 sec. user=vaughan [2010-06-28 22:05:27] 581*2^837086-1 is not prime. Res64: 4C88F31995EE51C3 Time : 5337.0 sec. user=vaughan [2010-06-28 22:06:17] 473*2^837200-1 is not prime. Res64: DEEBB27526637D24 Time : 977.0 sec. user=vaughan [2010-06-28 22:08:24] 489*2^837200-1 is not prime. Res64: 977753803045FE63 Time : 1012.0 sec. user=vaughan [2010-06-28 22:08:28] 539*2^837200-1 is not prime. Res64: 229DAFD8D3C34C46 Time : 995.0 sec. user=vaughan [2010-06-28 22:08:30] 405*2^837088-1 is not prime. Res64: 1ADBE021D030DCCC Time : 5509.0 sec. user=vaughan [2010-06-28 22:08:33] 537*2^837077-1 is not prime. Res64: 5462F775FCA7C309 Time : 7214.0 sec. user=vaughan [2010-06-28 22:09:16] 541*2^837103-1 is not prime. Res64: B93A99A6820AA452 Time : 4100.0 sec. user=vaughan [2010-06-28 22:09:35] 477*2^837137-1 is not prime. Res64: 312398FC9873BED0 Time : 4045.0 sec. user=vaughan [2010-06-28 22:10:03] 591*2^837141-1 is not prime. Res64: AB35C7E75BED2150 Time : 4070.0 sec. user=vaughan [2010-06-28 22:10:12] 591*2^837201-1 is not prime. Res64: F72C320FD0B517C4 Time : 1018.0 sec. user=vaughan [2010-06-28 22:10:42] 413*2^837094-1 is not prime. Res64: 9C4683F436A59137 Time : 4191.0 sec. user=vaughan [2010-06-28 22:11:09] 563*2^837092-1 is not prime. Res64: C0BF77FBB7727023 Time : 4219.0 sec. user=vaughan [2010-06-28 22:11:27] 445*2^837111-1 is not prime. Res64: 0F1C32C64DAC2F8A Time : 4227.0 sec. user=vaughan [2010-06-28 22:13:24] 411*2^837205-1 is not prime. Res64: 09FED2A1316FCBC7 Time : 714.0 sec. user=vaughan [2010-06-28 22:13:35] 519*2^837205-1 is not prime. Res64: 214CCF0CD078081E Time : 717.0 sec. user=vaughan [2010-06-28 22:13:35] 591*2^837205-1 is not prime. Res64: 80DBBDFE82DFD051 Time : 717.0 sec. user=vaughan [2010-06-28 22:15:51] 411*2^837161-1 is not prime. Res64: 161F720BB559368F Time : 4406.0 sec. user=vaughan [2010-06-28 22:15:57] 447*2^837149-1 is not prime. Res64: F22E2A0B7C84818F Time : 4422.0 sec. user=vaughan [2010-06-28 22:16:03] 493*2^837131-1 is not prime. Res64: 9CD108936F9A402A Time : 4442.0 sec. user=vaughan [2010-06-28 22:16:38] 483*2^837132-1 is not prime. Res64: 35539BFB503A1EAC Time : 4476.0 sec. user=vaughan [2010-06-28 22:20:43] 539*2^837140-1 is not prime. Res64: 14FD1349261009F3 Time : 4711.0 sec. user=vaughan [2010-06-28 22:22:08] 585*2^837086-1 is not prime. Res64: A49E163B4E3CC1A1 Time : 6338.0 sec. user=vaughan [2010-06-28 22:22:33] 483*2^837206-1 is not prime. Res64: 6E7CB885E3040770 Time : 977.0 sec. user=vaughan [2010-06-28 22:25:03] 433*2^837207-1 is not prime. Res64: F6EAA11C6E6CFE30 Time : 995.0 sec. user=vaughan [2010-06-28 22:25:14] 581*2^837206-1 is not prime. Res64: F3DFBF60677A8FBD Time : 1010.0 sec. user=vaughan [2010-06-28 22:25:16] 453*2^837078-1 is not prime. Res64: 00DA831BAC01F219 Time : 8216.0 sec. user=vaughan [2010-06-28 22:25:17] 415*2^837211-1 is not prime. Res64: 14046B52F53E0130 Time : 713.0 sec. user=vaughan [2010-06-28 22:25:31] 421*2^837211-1 is not prime. Res64: 87A5C00C51D232B9 Time : 717.0 sec. user=vaughan [2010-06-28 22:25:31] 475*2^837211-1 is not prime. Res64: 9C3223094F0FCB76 Time : 717.0 sec. user=vaughan [2010-06-28 22:25:53] 459*2^837089-1 is not prime. Res64: 17C06EDD865AFEC4 Time : 6549.0 sec. user=vaughan [2010-06-28 22:25:57] 495*2^837138-1 is not prime. Res64: E1CD15D5302C63B1 Time : 5026.0 sec. user=vaughan [2010-06-28 22:26:32] 481*2^837143-1 is not prime. Res64: CDAD81C932A34C64 Time : 5059.0 sec. user=vaughan [2010-06-28 22:26:44] 425*2^837106-1 is not prime. Res64: 9EAB2053AE147557 Time : 5147.0 sec. user=vaughan [2010-06-28 22:27:11] 411*2^837210-1 is not prime. Res64: 25C7A15FBB2DFD8C Time : 1019.0 sec. user=vaughan [2010-06-28 22:28:13] 445*2^837095-1 is not prime. Res64: 995AA0F223D041BD Time : 5241.0 sec. user=vaughan [2010-06-28 22:28:42] 451*2^837093-1 is not prime. Res64: C4DA8DDB45C24399 Time : 5272.0 sec. user=vaughan [2010-06-28 22:28:54] 423*2^837112-1 is not prime. Res64: 7AE71DE5176B60DA Time : 5273.0 sec. user=vaughan [2010-06-28 22:33:07] 445*2^837165-1 is not prime. Res64: 4ED1036D845EFC4A Time : 5440.0 sec. user=vaughan [2010-06-28 22:33:35] 555*2^837150-1 is not prime. Res64: 1C7A2CAF9A824EFB Time : 5479.0 sec. user=vaughan [2010-06-28 22:34:21] 585*2^837131-1 is not prime. Res64: 9567BC361D34D227 Time : 5539.0 sec. user=vaughan [2010-06-28 22:35:06] 481*2^837133-1 is not prime. Res64: E49B68F446B1B870 Time : 5583.0 sec. user=vaughan [2010-06-28 22:37:11] 483*2^837214-1 is not prime. Res64: 4EAD6BAEA25B7FFD Time : 714.0 sec. user=vaughan [2010-06-28 22:37:27] 561*2^837214-1 is not prime. Res64: 9C65CAD0646E2FE0 Time : 716.0 sec. user=vaughan [2010-06-28 22:37:27] 433*2^837215-1 is not prime. Res64: 01B2E79DCC999470 Time : 716.0 sec. user=vaughan [2010-06-28 22:38:47] 429*2^837087-1 is not prime. Res64: 365C8B44AC80B2C6 Time : 7336.0 sec. user=vaughan [2010-06-28 22:38:49] 529*2^837213-1 is not prime. Res64: A66F53A258D2730D Time : 976.0 sec. user=vaughan [2010-06-28 22:40:09] 471*2^837142-1 is not prime. Res64: 662D4872D0DF7C67 Time : 5876.0 sec. user=vaughan [2010-06-28 22:40:10] 423*2^837199-1 is not prime. Res64: 3D39089BA993A17D Time : 3067.0 sec. user=vaughan [2010-06-28 22:40:33] 481*2^837199-1 is not prime. Res64: 6A26A2126C9302E6 Time : 3071.0 sec. user=vaughan [2010-06-28 22:41:38] 571*2^837213-1 is not prime. Res64: 21215DBAAD5DB14C Time : 996.0 sec. user=vaughan [2010-06-28 22:41:58] 585*2^837078-1 is not prime. Res64: 9CA26EEE5D8938A4 Time : 9218.0 sec. user=vaughan [2010-06-28 22:42:06] 591*2^837213-1 is not prime. Res64: F369893768A694EF Time : 1012.0 sec. user=vaughan [2010-06-28 22:42:18] 489*2^837139-1 is not prime. Res64: 77964688A0A165B6 Time : 6006.0 sec. user=vaughan [2010-06-28 22:43:01] 535*2^837145-1 is not prime. Res64: 7D8518AB858D5769 Time : 6047.0 sec. user=vaughan [2010-06-28 22:43:13] 577*2^837089-1 is not prime. Res64: B7065BEEE31B2D42 Time : 7589.0 sec. user=vaughan [2010-06-28 22:44:06] 525*2^837106-1 is not prime. Res64: 949135E8B26D1ACD Time : 6189.0 sec. user=vaughan [2010-06-28 22:44:09] 519*2^837215-1 is not prime. Res64: 410653F014913305 Time : 1018.0 sec. user=vaughan [2010-06-28 22:45:44] 509*2^837096-1 is not prime. Res64: 0A6A58A013760AF7 Time : 6292.0 sec. user=vaughan [2010-06-28 22:46:12] 571*2^837093-1 is not prime. Res64: BCCDFBD5B8B4A734 Time : 6321.0 sec. user=vaughan [2010-06-28 22:46:20] 595*2^837113-1 is not prime. Res64: 140EC124639B46BD Time : 6319.0 sec. user=vaughan [2010-06-28 22:49:04] 425*2^837218-1 is not prime. Res64: B445B6A9B0000FF1 Time : 714.0 sec. user=vaughan [2010-06-28 22:49:24] 431*2^837218-1 is not prime. Res64: 5D05CD0D3E422BED Time : 717.0 sec. user=vaughan [2010-06-28 22:49:24] 483*2^837218-1 is not prime. Res64: 037579D9628DEEB4 Time : 717.0 sec. user=vaughan [2010-06-28 22:50:21] 441*2^837167-1 is not prime. Res64: 2BBE5D286CB14AF9 Time : 6473.0 sec. user=vaughan [2010-06-28 22:51:05] 507*2^837152-1 is not prime. Res64: F05EE811358B31AC Time : 6529.0 sec. user=vaughan [2010-06-28 22:52:38] 525*2^837132-1 is not prime. Res64: 36149ECB1E16558A Time : 6635.0 sec. user=vaughan [2010-06-28 22:53:32] 565*2^837133-1 is not prime. Res64: 8D15501A287D9AF1 Time : 6687.0 sec. user=vaughan [2010-06-28 22:55:06] 403*2^837219-1 is not prime. Res64: 365FABE90969E5D6 Time : 977.0 sec. user=vaughan [2010-06-28 22:55:23] 439*2^837087-1 is not prime. Res64: 8F8589862AF6B08F Time : 8332.0 sec. user=vaughan [2010-06-28 22:58:12] 553*2^837219-1 is not prime. Res64: 5DC3C0DE193A7E82 Time : 995.0 sec. user=vaughan [2010-06-28 22:58:34] 415*2^837079-1 is not prime. Res64: AD2C66D186382DE8 Time : 10212.0 sec. user=vaughan [2010-06-28 22:58:37] 473*2^837140-1 is not prime. Res64: 6EB13353244FBEC3 Time : 6985.0 sec. user=vaughan [2010-06-28 22:58:57] 437*2^837220-1 is not prime. Res64: BF5A49D56E4C2680 Time : 1011.0 sec. user=vaughan [2010-06-28 22:59:26] 561*2^837146-1 is not prime. Res64: 6141FBE2580C5A2B Time : 7031.0 sec. user=vaughan [2010-06-28 22:59:28] 549*2^837143-1 is not prime. Res64: 48F4EB8097D9232B Time : 7034.0 sec. user=vaughan [2010-06-28 23:00:29] 437*2^837090-1 is not prime. Res64: 18E629ECFFEE4A9E Time : 8624.0 sec. user=vaughan [2010-06-28 23:00:57] 549*2^837221-1 is not prime. Res64: C31E84FE0FF8F613 Time : 713.0 sec. user=vaughan [2010-06-28 23:01:07] 563*2^837220-1 is not prime. Res64: 5A783E191C06A765 Time : 1018.0 sec. user=vaughan [2010-06-28 23:01:20] 585*2^837221-1 is not prime. Res64: B9C114B366E58236 Time : 716.0 sec. user=vaughan [2010-06-28 23:01:20] 485*2^837222-1 is not prime. Res64: B793E036539814DF Time : 716.0 sec. user=vaughan [2010-06-28 23:01:23] 571*2^837107-1 is not prime. Res64: 791445EF5359424A Time : 7225.0 sec. user=vaughan [2010-06-28 23:03:07] 539*2^837096-1 is not prime. Res64: 6C48B309365C9246 Time : 7334.0 sec. user=vaughan [2010-06-28 23:03:44] 533*2^837094-1 is not prime. Res64: C943DD664397D9C0 Time : 7373.0 sec. user=vaughan [2010-06-28 23:03:46] 459*2^837116-1 is not prime. Res64: C96652F78FE2FA52 Time : 7364.0 sec. user=vaughan [2010-06-28 23:07:26] 465*2^837169-1 is not prime. Res64: 97006B839BEC668A Time : 7497.0 sec. user=vaughan [2010-06-28 23:08:20] 453*2^837156-1 is not prime. Res64: 645FD7B0BC7B55C2 Time : 7563.0 sec. user=vaughan [2010-06-28 23:10:54] 537*2^837133-1 is not prime. Res64: 2DCB1BCC0FBFA802 Time : 7730.0 sec. user=vaughan [2010-06-28 23:11:22] 459*2^837224-1 is not prime. Res64: C0803F4F5A6CDCDC Time : 977.0 sec. user=vaughan [2010-06-28 23:11:58] 465*2^837135-1 is not prime. Res64: 498AE00847B73B32 Time : 7792.0 sec. user=vaughan [2010-06-28 23:12:00] 465*2^837087-1 is not prime. Res64: F911CB814D72A153 Time : 9326.0 sec. user=vaughan [2010-06-28 23:12:51] 403*2^837227-1 is not prime. Res64: C9C46AA3C209E287 Time : 714.0 sec. user=vaughan [2010-06-28 23:13:16] 435*2^837227-1 is not prime. Res64: 6840EFFD2EDB1C98 Time : 716.0 sec. user=vaughan [2010-06-28 23:13:17] 511*2^837227-1 is not prime. Res64: C06450DAC01D6681 Time : 717.0 sec. user=vaughan [2010-06-28 23:14:46] 533*2^837224-1 is not prime. Res64: FA4B581F3304E00A Time : 995.0 sec. user=vaughan [2010-06-28 23:14:54] 465*2^837141-1 is not prime. Res64: 3AF6529070A2CEA8 Time : 7961.0 sec. user=vaughan [2010-06-28 23:15:09] 423*2^837079-1 is not prime. Res64: D3A32F8259006D9D Time : 11205.0 sec. user=vaughan [2010-06-28 23:15:46] 537*2^837225-1 is not prime. Res64: 3B3D6130E7CBB85F Time : 1010.0 sec. user=vaughan [2010-06-28 23:15:51] 567*2^837148-1 is not prime. Res64: 86DAC13866345D81 Time : 8016.0 sec. user=vaughan [2010-06-28 23:17:46] 483*2^837090-1 is not prime. Res64: F5916FCD98E5EC82 Time : 9660.0 sec. user=vaughan [2010-06-28 23:18:06] 409*2^837227-1 is not prime. Res64: 17E0C6C6D2A5505C Time : 1019.0 sec. user=vaughan [2010-06-28 23:18:40] 499*2^837109-1 is not prime. Res64: 765FBDC58E4F706C Time : 8261.0 sec. user=vaughan [2010-06-28 23:18:49] 597*2^837145-1 is not prime. Res64: 2CF162BB3B90EF39 Time : 8195.0 sec. user=vaughan [2010-06-28 23:20:35] 497*2^837098-1 is not prime. Res64: 70935ED635F0F4D2 Time : 8382.0 sec. user=vaughan [2010-06-28 23:21:14] 437*2^837096-1 is not prime. Res64: 1F4A3AA0D967A760 Time : 8422.0 sec. user=vaughan [2010-06-28 23:21:14] 579*2^837117-1 is not prime. Res64: 254BAD365F22F8DC Time : 8412.0 sec. user=vaughan [2010-06-28 23:21:50] 493*2^837219-1 is not prime. Res64: F868EEDB7A157847 Time : 2500.0 sec. user=vaughan [2010-06-28 23:21:51] 501*2^837219-1 is not prime. Res64: 564C095964EF52C9 Time : 2479.0 sec. user=vaughan [2010-06-28 23:24:32] 515*2^837170-1 is not prime. Res64: 43E91C0FB672B2DF Time : 8523.0 sec. user=vaughan [2010-06-28 23:24:44] 407*2^837230-1 is not prime. Res64: CD11019815C254B6 Time : 714.0 sec. user=vaughan [2010-06-28 23:25:13] 411*2^837230-1 is not prime. Res64: 38A59B836CC89434 Time : 717.0 sec. user=vaughan [2010-06-28 23:25:13] 503*2^837230-1 is not prime. Res64: 415FC6218E39CAB8 Time : 717.0 sec. user=vaughan [2010-06-28 23:25:37] 595*2^837157-1 is not prime. Res64: A841D568716683F5 Time : 8599.0 sec. user=vaughan [2010-06-28 23:27:38] 441*2^837229-1 is not prime. Res64: 18792CF86B799064 Time : 976.0 sec. user=vaughan [2010-06-28 23:28:37] 523*2^837087-1 is not prime. Res64: CC07CEE91EF9C076 Time : 10311.0 sec. user=vaughan [2010-06-28 23:29:09] 585*2^837134-1 is not prime. Res64: A9565A2C45C4474F Time : 8824.0 sec. user=vaughan [2010-06-28 23:30:29] 437*2^837136-1 is not prime. Res64: FB8D6015A6AE8630 Time : 8901.0 sec. user=vaughan [2010-06-28 23:31:15] 495*2^837142-1 is not prime. Res64: 338A328AEE59C7AA Time : 8942.0 sec. user=vaughan [2010-06-28 23:31:20] 561*2^837230-1 is not prime. Res64: 65B1C50AA85541E6 Time : 994.0 sec. user=vaughan [2010-06-28 23:31:47] 489*2^837079-1 is not prime. Res64: CDEE1DF4D82FE4E6 Time : 12202.0 sec. user=vaughan [2010-06-28 23:32:16] 513*2^837150-1 is not prime. Res64: 35D0BE7C18B36459 Time : 9000.0 sec. user=vaughan [2010-06-28 23:32:36] 459*2^837231-1 is not prime. Res64: F30639D7E54FFFAC Time : 1010.0 sec. user=vaughan [2010-06-28 23:35:01] 557*2^837092-1 is not prime. Res64: BA34270F52F06321 Time : 9252.0 sec. user=vaughan [2010-06-28 23:35:04] 565*2^837231-1 is not prime. Res64: 584822E2930DC3EB Time : 1018.0 sec. user=vaughan [2010-06-28 23:35:57] 597*2^837109-1 is not prime. Res64: 1A67E179F16F0809 Time : 9298.0 sec. user=vaughan [2010-06-28 23:36:37] 587*2^837234-1 is not prime. Res64: 9899CAF061B342BC Time : 713.0 sec. user=vaughan [2010-06-28 23:37:09] 441*2^837235-1 is not prime. Res64: 1757E1EED0FD819B Time : 716.0 sec. user=vaughan [2010-06-28 23:37:09] 511*2^837235-1 is not prime. Res64: 8FDADB7131828CE5 Time : 716.0 sec. user=vaughan [2010-06-28 23:38:04] 469*2^837099-1 is not prime. Res64: 619B8728D8B02315 Time : 9430.0 sec. user=vaughan [2010-06-28 23:38:16] 529*2^837147-1 is not prime. Res64: 0EDE0AFD97B78B6B Time : 9361.0 sec. user=vaughan [2010-06-28 23:38:41] 471*2^837118-1 is not prime. Res64: BACA2728843E79EB Time : 9458.0 sec. user=vaughan [2010-06-28 23:38:44] 555*2^837090-1 is not prime. Res64: 09390811A649E54D Time : 9472.0 sec. user=vaughan [2010-06-28 23:41:52] 519*2^837172-1 is not prime. Res64: E6A2382C620D1B81 Time : 9562.0 sec. user=vaughan [2010-06-28 23:43:06] 467*2^837160-1 is not prime. Res64: 6077D2D9630DD65B Time : 9645.0 sec. user=vaughan [2010-06-28 23:43:56] 449*2^837236-1 is not prime. Res64: 7B4875DD57D42283 Time : 978.0 sec. user=vaughan [2010-06-28 23:45:14] 521*2^837090-1 is not prime. Res64: ABF48D16A9D7513A Time : 11307.0 sec. user=vaughan [2010-06-28 23:47:43] 479*2^837144-1 is not prime. Res64: 99195807532CB138 Time : 9929.0 sec. user=vaughan [2010-06-28 23:47:45] 573*2^837135-1 is not prime. Res64: 385CA05AF2CF5707 Time : 9938.0 sec. user=vaughan [2010-06-28 23:47:55] 511*2^837237-1 is not prime. Res64: D3D40429AC48388E Time : 995.0 sec. user=vaughan [2010-06-28 23:48:23] 559*2^837079-1 is not prime. Res64: 2472E80D1B5E9106 Time : 13198.0 sec. user=vaughan [2010-06-28 23:48:31] 489*2^837239-1 is not prime. Res64: E89FFF1528183C06 Time : 714.0 sec. user=vaughan [2010-06-28 23:48:50] 529*2^837153-1 is not prime. Res64: BB0BB13AF741DFB9 Time : 9994.0 sec. user=vaughan [2010-06-28 23:49:08] 523*2^837239-1 is not prime. Res64: 929254873573CD48 Time : 719.0 sec. user=vaughan [2010-06-28 23:49:08] 565*2^837239-1 is not prime. Res64: 2F3EE0AD955AF013 Time : 719.0 sec. user=vaughan [2010-06-28 23:49:09] 597*2^837136-1 is not prime. Res64: 146DA6FC66F03A81 Time : 10020.0 sec. user=vaughan [2010-06-28 23:49:27] 507*2^837238-1 is not prime. Res64: 2A545F1994AEAFAC Time : 1011.0 sec. user=vaughan [2010-06-28 23:52:03] 403*2^837239-1 is not prime. Res64: 77D402DACBF37295 Time : 1019.0 sec. user=vaughan [2010-06-28 23:52:17] 441*2^837093-1 is not prime. Res64: 38779869EFDA05A1 Time : 10287.0 sec. user=vaughan [2010-06-28 23:53:13] 501*2^837110-1 is not prime. Res64: 26DA883D7EEAFCBC Time : 10333.0 sec. user=vaughan [2010-06-28 23:54:32] 431*2^837234-1 is not prime. Res64: A0F2E8B373A0E7CD Time : 1962.0 sec. user=vaughan [2010-06-28 23:54:39] 453*2^837234-1 is not prime. Res64: C5219DC666EAEA75 Time : 1968.0 sec. user=vaughan [2010-06-28 23:55:33] 519*2^837101-1 is not prime. Res64: 0C6470F189266C0A Time : 10479.0 sec. user=vaughan [2010-06-28 23:56:15] 565*2^837097-1 is not prime. Res64: 5F65FCE7DD282DE9 Time : 10522.0 sec. user=vaughan [2010-06-28 23:57:06] 597*2^837118-1 is not prime. Res64: 42F26414E82C7B1B Time : 10563.0 sec. user=vaughan [2010-06-28 23:58:02] 579*2^837149-1 is not prime. Res64: A3234CE146B19C1B Time : 10547.0 sec. user=vaughan [2010-06-28 23:59:28] 551*2^837174-1 is not prime. Res64: 70644771B31A91AF Time : 10618.0 sec. user=vaughan [2010-06-29 00:00:12] 541*2^837241-1 is not prime. Res64: 958A08FF9D1C2914 Time : 977.0 sec. user=vaughan [2010-06-29 00:00:28] 563*2^837242-1 is not prime. Res64: 1C00F2ADE73591CC Time : 717.0 sec. user=vaughan [2010-06-29 00:00:29] 585*2^837161-1 is not prime. Res64: C5C20676B865F1F2 Time : 10685.0 sec.