user=vaughan [2009-07-26 00:05:11] 547*2^704561-1 is not prime. Res64: B3DF66CCC5A78D52 Time : 5005.0 sec. user=vaughan [2009-07-26 00:07:16] 565*2^704561-1 is not prime. Res64: 162D5AD157539C75 Time : 4763.0 sec. user=vaughan [2009-07-26 00:13:41] 453*2^704562-1 is not prime. Res64: C8857BDC4EB58001 Time : 5005.0 sec. user=vaughan [2009-07-26 00:15:04] 499*2^704563-1 is not prime. Res64: ADB6043F25E25392 Time : 4762.0 sec. user=vaughan [2009-07-26 00:22:10] 583*2^704563-1 is not prime. Res64: 98725FCE7143B1C0 Time : 5008.0 sec. user=vaughan [2009-07-26 00:22:53] 479*2^704564-1 is not prime. Res64: C0EA6871DFF6485E Time : 4758.0 sec. user=vaughan [2009-07-26 00:30:30] 483*2^704564-1 is not prime. Res64: AAA298DA6138C840 Time : 5000.0 sec. user=vaughan [2009-07-26 00:30:41] 519*2^704564-1 is not prime. Res64: 034E38B34E2991B4 Time : 4757.0 sec. user=vaughan [2009-07-26 00:38:24] 573*2^704564-1 is not prime. Res64: 663C513F566A23CF Time : 4966.0 sec. user=vaughan [2009-07-26 00:38:38] 599*2^704564-1 is not prime. Res64: 5DFFD92E31ADA1EA Time : 4763.0 sec. user=vaughan [2009-07-26 00:46:18] 465*2^704565-1 is not prime. Res64: F781DD9C943ECF2C Time : 4931.0 sec. user=vaughan [2009-07-26 00:46:34] 453*2^704566-1 is not prime. Res64: FC1F4D73842EB104 Time : 4767.0 sec. user=vaughan [2009-07-26 00:46:50] 569*2^704568-1 is not prime. Res64: 573B0A00117E2173 Time : 3162.0 sec. user=vaughan [2009-07-26 00:54:12] 591*2^704566-1 is not prime. Res64: 97BCDD095F3D17D5 Time : 4910.0 sec. user=vaughan [2009-07-26 00:54:31] 409*2^704567-1 is not prime. Res64: 351BD37CAA76FF3F Time : 4760.0 sec. user=vaughan [2009-07-26 01:02:06] 571*2^704567-1 is not prime. Res64: 72338A792C580B06 Time : 4895.0 sec. user=vaughan [2009-07-26 01:02:27] 405*2^704568-1 is not prime. Res64: 9CEFC39990C684E2 Time : 4750.0 sec. user=vaughan [2009-07-26 01:10:00] 473*2^704568-1 is not prime. Res64: 83616BB778BB1391 Time : 4879.0 sec. user=vaughan [2009-07-26 01:10:29] 555*2^704568-1 is not prime. Res64: 1B946869DBB558F6 Time : 4747.0 sec. user=vaughan [2009-07-26 01:17:55] 411*2^704569-1 is not prime. Res64: E020E82C1098E3A6 Time : 4864.0 sec. user=vaughan [2009-07-26 01:18:26] 415*2^704569-1 is not prime. Res64: 66DC4F6BF809A2AF Time : 4739.0 sec. user=vaughan [2009-07-26 01:25:50] 421*2^704569-1 is not prime. Res64: 15C41D0F4609E795 Time : 4839.0 sec. user=vaughan [2009-07-26 01:26:25] 435*2^704569-1 is not prime. Res64: BA432896709BC3AC Time : 4749.0 sec. user=vaughan [2009-07-26 01:33:46] 477*2^704569-1 is not prime. Res64: 8176CC17108D2003 Time : 4806.0 sec. user=vaughan [2009-07-26 01:34:26] 525*2^704569-1 is not prime. Res64: CF836E955119ACF3 Time : 4762.0 sec. user=vaughan [2009-07-26 01:40:47] 415*2^704571-1 is not prime. Res64: 7C0D32B89D1B87F3 Time : 3237.0 sec. user=vaughan [2009-07-26 01:41:40] 565*2^704569-1 is not prime. Res64: 0F9DD12C20EA2BC6 Time : 4770.0 sec. user=vaughan [2009-07-26 01:42:22] 423*2^704570-1 is not prime. Res64: 144787D0A61772CC Time : 4769.0 sec. user=vaughan [2009-07-26 01:49:34] 495*2^704570-1 is not prime. Res64: F9635061E8EB8F01 Time : 4744.0 sec. user=vaughan [2009-07-26 01:51:23] 531*2^704570-1 is not prime. Res64: E0A6E60ACB36ED92 Time : 4842.0 sec. user=vaughan [2009-07-26 01:57:29] 561*2^704570-1 is not prime. Res64: D917F41F940AF80B Time : 4745.0 sec. user=vaughan [2009-07-26 01:58:17] 575*2^704570-1 is not prime. Res64: E9975C63A2497D56 Time : 4779.0 sec. user=vaughan [2009-07-26 02:05:24] 587*2^704570-1 is not prime. Res64: 1B2BB7D8A87D36E7 Time : 4746.0 sec. user=vaughan [2009-07-26 02:06:13] 411*2^704571-1 is not prime. Res64: AB92CAD805E3EEA2 Time : 4779.0 sec. user=vaughan [2009-07-26 02:13:18] 549*2^704571-1 is not prime. Res64: DE6B6D5319774C07 Time : 4746.0 sec. user=vaughan [2009-07-26 02:14:10] 405*2^704572-1 is not prime. Res64: 40CEBF7B8CBB6898 Time : 4779.0 sec. user=vaughan [2009-07-26 02:21:13] 485*2^704572-1 is not prime. Res64: 190E066F0ECB5275 Time : 4747.0 sec. user=vaughan [2009-07-26 02:22:07] 513*2^704572-1 is not prime. Res64: 6B41F76C2CD68826 Time : 4780.0 sec. user=vaughan [2009-07-26 02:29:08] 573*2^704572-1 is not prime. Res64: EE6C5C35F412FC0A Time : 4748.0 sec. user=vaughan [2009-07-26 02:30:03] 409*2^704573-1 is not prime. Res64: 570240CB230119AB Time : 4774.0 sec. user=vaughan [2009-07-26 02:36:56] 587*2^704574-1 is not prime. Res64: 939D49EF81F99811 Time : 3369.0 sec. user=vaughan [2009-07-26 02:37:04] 511*2^704573-1 is not prime. Res64: 738025A3FD3D679C Time : 4749.0 sec. user=vaughan [2009-07-26 02:37:57] 525*2^704573-1 is not prime. Res64: 96C50FD8B5C7E6E2 Time : 4771.0 sec. user=vaughan [2009-07-26 02:45:00] 571*2^704573-1 is not prime. Res64: E328D7CDF4235ABC Time : 4750.0 sec. user=vaughan [2009-07-26 02:45:51] 447*2^704574-1 is not prime. Res64: BF349B00645CA9A6 Time : 4766.0 sec. user=vaughan [2009-07-26 02:52:56] 465*2^704574-1 is not prime. Res64: 5EEA760DCCD90B00 Time : 4750.0 sec. user=vaughan [2009-07-26 02:53:46] 573*2^704574-1 is not prime. Res64: DB395931690312AF Time : 4760.0 sec. user=vaughan [2009-07-26 03:00:51] 421*2^704575-1 is not prime. Res64: A0F89058781A0E22 Time : 4751.0 sec. user=vaughan [2009-07-26 03:01:41] 511*2^704575-1 is not prime. Res64: F304AAD6EAFE2153 Time : 4759.0 sec. user=vaughan [2009-07-26 03:08:49] 531*2^704575-1 is not prime. Res64: 91982A976109AE3D Time : 4755.0 sec. user=vaughan [2009-07-26 03:09:34] 535*2^704575-1 is not prime. Res64: 96E6D8DE9F3808B3 Time : 4692.0 sec. user=vaughan [2009-07-26 03:16:46] 455*2^704576-1 is not prime. Res64: 9D9E9CC80D91CBC1 Time : 4757.0 sec. user=vaughan [2009-07-26 03:17:30] 465*2^704576-1 is not prime. Res64: 0A851A90E379767E Time : 4754.0 sec. user=vaughan [2009-07-26 03:24:42] 507*2^704576-1 is not prime. Res64: 8DE8FF99C67A05BD Time : 4758.0 sec. user=vaughan [2009-07-26 03:25:24] 587*2^704576-1 is not prime. Res64: 1D03B02B68952DD4 Time : 4752.0 sec. user=vaughan [2009-07-26 03:32:05] 465*2^704578-1 is not prime. Res64: 08A56783F8E483A9 Time : 3309.0 sec. user=vaughan [2009-07-26 03:32:38] 441*2^704577-1 is not prime. Res64: 9E34BA53A72808FD Time : 4760.0 sec. user=vaughan [2009-07-26 03:33:18] 445*2^704577-1 is not prime. Res64: B5497EDDFDF712CE Time : 4748.0 sec. user=vaughan [2009-07-26 03:40:34] 495*2^704577-1 is not prime. Res64: 079D4BCFF6FBF24B Time : 4761.0 sec. user=vaughan [2009-07-26 03:41:12] 511*2^704577-1 is not prime. Res64: 912A3578EB6F3A53 Time : 4745.0 sec. user=vaughan [2009-07-26 04:03:17] 461*2^704578-1 is not prime. Res64: 3070AFE61D8EDDF3 Time : 5594.0 sec. user=vaughan [2009-07-26 04:03:18] 433*2^704579-1 is not prime. Res64: 60E9C0B084747796 Time : 5121.0 sec. user=vaughan [2009-07-26 04:05:10] 481*2^704579-1 is not prime. Res64: 812DF6B326D6D84E Time : 4759.0 sec. user=vaughan [2009-07-26 04:05:39] 579*2^704577-1 is not prime. Res64: C88561D66271C039 Time : 5791.0 sec. user=vaughan [2009-07-26 04:05:39] 525*2^704578-1 is not prime. Res64: E8EB8F84E4FAC413 Time : 5315.0 sec. user=vaughan [2009-07-26 04:05:39] 439*2^704579-1 is not prime. Res64: FD1CA643D74B0AB6 Time : 4839.0 sec. user=vaughan [2009-07-26 04:12:18] 553*2^704579-1 is not prime. Res64: 8E19001D3D4B2822 Time : 4762.0 sec. user=vaughan [2009-07-26 04:12:50] 571*2^704579-1 is not prime. Res64: 76246D9A2BB7BEC1 Time : 4744.0 sec. user=vaughan [2009-07-26 04:20:13] 423*2^704580-1 is not prime. Res64: 70BA9AD8F1859122 Time : 4762.0 sec. user=vaughan [2009-07-26 04:20:45] 525*2^704580-1 is not prime. Res64: 69026C79C7D06E4A Time : 4744.0 sec. user=vaughan [2009-07-26 04:28:10] 555*2^704580-1 is not prime. Res64: 2B4C7C47FC5F4A11 Time : 4761.0 sec. user=vaughan [2009-07-26 04:28:40] 557*2^704580-1 is not prime. Res64: 7AA6EADAC913A12B Time : 4746.0 sec. user=vaughan [2009-07-26 04:36:08] 427*2^704581-1 is not prime. Res64: 543B45FF0EC2150E Time : 4762.0 sec. user=vaughan [2009-07-26 04:36:35] 561*2^704581-1 is not prime. Res64: 64058552DAFC2A51 Time : 4746.0 sec. user=vaughan [2009-07-26 04:44:04] 405*2^704582-1 is not prime. Res64: 00EFC9B8140CA2CB Time : 4762.0 sec. user=vaughan [2009-07-26 04:44:29] 477*2^704582-1 is not prime. Res64: 74AD03DAED05982C Time : 4745.0 sec. user=vaughan [2009-07-26 04:52:01] 521*2^704582-1 is not prime. Res64: 73DB553B91CA3C0D Time : 4763.0 sec. user=vaughan [2009-07-26 04:52:27] 545*2^704582-1 is not prime. Res64: B60C75C9A1B9438E Time : 4749.0 sec. user=vaughan [2009-07-26 04:59:57] 591*2^704583-1 is not prime. Res64: 0EE0303FDCB40320 Time : 4763.0 sec. user=vaughan [2009-07-26 05:00:23] 419*2^704584-1 is not prime. Res64: 86D53BBF245D404D Time : 4751.0 sec. user=vaughan [2009-07-26 05:07:55] 481*2^704585-1 is not prime. Res64: DC9EAE901024FB78 Time : 3737.0 sec. user=vaughan [2009-07-26 05:08:20] 597*2^704584-1 is not prime. Res64: BD780D039B24BB17 Time : 3903.0 sec. user=vaughan [2009-07-26 05:15:52] 511*2^704585-1 is not prime. Res64: EE12EF8E05D2E816 Time : 4214.0 sec. user=vaughan [2009-07-26 05:16:16] 469*2^704585-1 is not prime. Res64: 79C2D21A765A4C41 Time : 4379.0 sec. user=vaughan [2009-07-26 05:23:47] 525*2^704585-1 is not prime. Res64: B11B429CBC35FBFE Time : 4689.0 sec. user=vaughan [2009-07-26 05:24:10] 405*2^704586-1 is not prime. Res64: BF3ED85FDC3C9527 Time : 4680.0 sec. user=vaughan [2009-07-26 05:31:44] 437*2^704586-1 is not prime. Res64: 76517C21A7B88EBB Time : 4766.0 sec. user=vaughan [2009-07-26 05:32:05] 447*2^704586-1 is not prime. Res64: 1F4317DB27A00806 Time : 4755.0 sec. user=vaughan [2009-07-26 05:39:39] 563*2^704586-1 is not prime. Res64: E0FB9C1DE4F3B36C Time : 4766.0 sec. user=vaughan [2009-07-26 05:40:01] 593*2^704586-1 is not prime. Res64: EF6040B7BD0FC428 Time : 4757.0 sec. user=vaughan [2009-07-26 05:47:35] 453*2^704587-1 is not prime. Res64: 1E64D3DF0F92EE72 Time : 4765.0 sec. user=vaughan [2009-07-26 05:47:56] 475*2^704587-1 is not prime. Res64: AF3ABB318B3FAF88 Time : 4756.0 sec. user=vaughan [2009-07-26 05:55:31] 523*2^704587-1 is not prime. Res64: CAF548341A7BB260 Time : 4764.0 sec. user=vaughan [2009-07-26 05:55:52] 579*2^704587-1 is not prime. Res64: EEE5FF948FB5587F Time : 4757.0 sec. user=vaughan [2009-07-26 06:03:23] 417*2^704588-1 is not prime. Res64: 4EF2BFA1079596C6 Time : 4759.0 sec. user=vaughan [2009-07-26 06:03:49] 465*2^704588-1 is not prime. Res64: 74E3306B52059D08 Time : 4760.0 sec. user=vaughan [2009-07-26 06:11:20] 537*2^704588-1 is not prime. Res64: DCCB7C0C1B032D0F Time : 4759.0 sec. user=vaughan [2009-07-26 06:11:45] 427*2^704589-1 is not prime. Res64: EB1AB499EEF08236 Time : 4759.0 sec. user=vaughan [2009-07-26 06:19:15] 465*2^704589-1 is not prime. Res64: D8108D444A670FCF Time : 4758.0 sec. user=vaughan [2009-07-26 06:19:41] 413*2^704590-1 is not prime. Res64: AD48EC11FA85BF30 Time : 4758.0 sec. user=vaughan [2009-07-26 06:27:08] 465*2^704590-1 is not prime. Res64: 32E2BE7880F2AEC0 Time : 4753.0 sec. user=vaughan [2009-07-26 06:27:36] 513*2^704590-1 is not prime. Res64: 6AEFDD996C64EC49 Time : 4756.0 sec. user=vaughan [2009-07-26 06:35:04] 533*2^704590-1 is not prime. Res64: 26C7D938859DE7E6 Time : 4753.0 sec. user=vaughan [2009-07-26 06:35:33] 567*2^704590-1 is not prime. Res64: 4925890A5DE54C1A Time : 4758.0 sec. user=vaughan [2009-07-26 06:42:59] 587*2^704590-1 is not prime. Res64: 21E077D32C644F4E Time : 4752.0 sec. user=vaughan [2009-07-26 06:43:29] 597*2^704590-1 is not prime. Res64: BA634D3B162999B1 Time : 4759.0 sec. user=vaughan [2009-07-26 06:50:52] 505*2^704591-1 is not prime. Res64: DD3C6250F34555FD Time : 4748.0 sec. user=vaughan [2009-07-26 06:51:26] 519*2^704591-1 is not prime. Res64: 593F3528DDA7F6CA Time : 4761.0 sec. user=vaughan [2009-07-26 06:58:46] 549*2^704591-1 is not prime. Res64: 9E54CD089D58D5A6 Time : 4747.0 sec. user=vaughan [2009-07-26 06:59:22] 585*2^704591-1 is not prime. Res64: 73A29749D24F3463 Time : 4761.0 sec. user=vaughan [2009-07-26 07:06:40] 503*2^704592-1 is not prime. Res64: EA35B79298EB08B7 Time : 4745.0 sec. user=vaughan [2009-07-26 07:07:19] 527*2^704592-1 is not prime. Res64: 4F6BCD7654A850FF Time : 4764.0 sec. user=vaughan [2009-07-26 07:14:36] 567*2^704592-1 is not prime. Res64: 3EA065EF8D144D51 Time : 4746.0 sec. user=vaughan [2009-07-26 07:15:15] 429*2^704593-1 is not prime. Res64: A7E9809C900E9AD9 Time : 4763.0 sec. user=vaughan [2009-07-26 07:22:30] 435*2^704593-1 is not prime. Res64: 8ABA03C673A81DBB Time : 4747.0 sec. user=vaughan [2009-07-26 07:23:11] 489*2^704593-1 is not prime. Res64: 263FC730FE120D5D Time : 4762.0 sec. user=vaughan [2009-07-26 07:30:24] 589*2^704593-1 is not prime. Res64: 5848A3F616FB774B Time : 4745.0 sec. user=vaughan [2009-07-26 07:30:45] 515*2^704582-1 is not prime. Res64: E074205B5F738057 Time : 14321.0 sec. user=vaughan [2009-07-26 07:31:08] 425*2^704594-1 is not prime. Res64: F5B1FE8198F9D006 Time : 4763.0 sec. user=vaughan [2009-07-26 07:38:17] 437*2^704594-1 is not prime. Res64: D93680D646731DDB Time : 4743.0 sec. user=vaughan [2009-07-26 07:39:04] 501*2^704594-1 is not prime. Res64: 9427EF430E33F48F Time : 4763.0 sec. user=vaughan [2009-07-26 07:46:12] 533*2^704594-1 is not prime. Res64: C994D47F7AAD9F31 Time : 4745.0 sec. user=vaughan [2009-07-26 07:47:01] 445*2^704595-1 is not prime. Res64: 2170DCA9BE908A51 Time : 4765.0 sec. user=vaughan [2009-07-26 07:54:07] 451*2^704595-1 is not prime. Res64: FB731734A8AD2451 Time : 4744.0 sec. user=vaughan [2009-07-26 07:54:57] 453*2^704595-1 is not prime. Res64: 7067072F46640487 Time : 4764.0 sec. user=vaughan [2009-07-26 08:02:03] 531*2^704595-1 is not prime. Res64: 1A81755ADAB33F0F Time : 4745.0 sec. user=vaughan [2009-07-26 08:02:50] 497*2^704596-1 is not prime. Res64: 98F396569D89A647 Time : 4761.0 sec. user=vaughan [2009-07-26 08:10:00] 539*2^704596-1 is not prime. Res64: E7A42209043311D1 Time : 4749.0 sec. user=vaughan [2009-07-26 08:10:46] 545*2^704596-1 is not prime. Res64: E372E0C840A59BAD Time : 4760.0 sec. user=vaughan [2009-07-26 08:17:57] 567*2^704596-1 is not prime. Res64: 278AD84B9578C727 Time : 4752.0 sec. user=vaughan [2009-07-26 08:18:41] 441*2^704597-1 is not prime. Res64: 21FA938719FD9932 Time : 4760.0 sec. user=vaughan [2009-07-26 08:25:53] 451*2^704597-1 is not prime. Res64: 22ED1D19B0C1CFAB Time : 4754.0 sec. user=vaughan [2009-07-26 08:26:36] 465*2^704597-1 is not prime. Res64: 0EA4F099920036C8 Time : 4758.0 sec. user=vaughan [2009-07-26 08:33:49] 475*2^704597-1 is not prime. Res64: 065CB3B0F34F843E Time : 4753.0 sec. user=vaughan [2009-07-26 08:34:32] 487*2^704597-1 is not prime. Res64: DA54D6C309D622CE Time : 4758.0 sec. user=vaughan [2009-07-26 08:35:05] 447*2^704598-1 is not prime. Res64: D8D140B9E343E92E Time : 3860.0 sec. user=vaughan [2009-07-26 08:41:47] 511*2^704597-1 is not prime. Res64: C5103E3641D66EE0 Time : 4757.0 sec. user=vaughan [2009-07-26 08:42:27] 437*2^704598-1 is not prime. Res64: 874CB6BDF80E95C7 Time : 4757.0 sec. user=vaughan [2009-07-26 08:49:43] 443*2^704598-1 is not prime. Res64: 2007DCA8ADE324AA Time : 4759.0 sec. user=vaughan [2009-07-26 08:50:20] 501*2^704598-1 is not prime. Res64: F7057A1D307F601E Time : 4753.0 sec. user=vaughan [2009-07-26 08:57:40] 469*2^704599-1 is not prime. Res64: C361B0A72C408E62 Time : 4763.0 sec. user=vaughan [2009-07-26 08:58:16] 553*2^704599-1 is not prime. Res64: 397406DDDECE92F0 Time : 4753.0 sec. user=vaughan [2009-07-26 09:05:36] 413*2^704600-1 is not prime. Res64: F870D50CBE69517E Time : 4765.0 sec. user=vaughan [2009-07-26 09:06:11] 437*2^704600-1 is not prime. Res64: 713F941454C8D32A Time : 4750.0 sec. user=vaughan [2009-07-26 09:13:32] 467*2^704600-1 is not prime. Res64: 97DF29F87BACC169 Time : 4765.0 sec. user=vaughan [2009-07-26 09:14:07] 519*2^704600-1 is not prime. Res64: BD14B89FDCD036D1 Time : 4750.0 sec. user=vaughan [2009-07-26 09:21:27] 557*2^704600-1 is not prime. Res64: 2D5145BCC1691E99 Time : 4764.0 sec. user=vaughan [2009-07-26 09:22:02] 427*2^704601-1 is not prime. Res64: AD2578363F369951 Time : 4752.0 sec. user=vaughan [2009-07-26 09:29:22] 429*2^704601-1 is not prime. Res64: A2A0E1B009A9F450 Time : 4762.0 sec. user=vaughan [2009-07-26 09:29:57] 571*2^704601-1 is not prime. Res64: FFD4559E950AD213 Time : 4751.0 sec. user=vaughan [2009-07-26 09:37:18] 597*2^704601-1 is not prime. Res64: 09D0ADA47A6206FC Time : 4761.0 sec. user=vaughan [2009-07-26 09:37:51] 413*2^704602-1 is not prime. Res64: FEF64E182A9BAFE1 Time : 4750.0 sec. user=vaughan [2009-07-26 09:40:25] 561*2^704602-1 is not prime. Res64: F54B43C554C6FEDD Time : 3920.0 sec. user=vaughan [2009-07-26 09:45:14] 425*2^704602-1 is not prime. Res64: 28D0D851F99112C5 Time : 4761.0 sec. user=vaughan [2009-07-26 09:45:46] 437*2^704602-1 is not prime. Res64: BEFE86B16C378295 Time : 4750.0 sec. user=vaughan [2009-07-26 09:53:10] 483*2^704602-1 is not prime. Res64: 2371A49A66750737 Time : 4761.0 sec. user=vaughan [2009-07-26 09:53:40] 497*2^704602-1 is not prime. Res64: 572EDF7323F6037E Time : 4748.0 sec. user=vaughan [2009-07-26 10:01:06] 567*2^704602-1 is not prime. Res64: D8F9F664FDF09342 Time : 4759.0 sec. user=vaughan [2009-07-26 10:01:35] 445*2^704603-1 is not prime. Res64: AC9C28E3F9D6FD6B Time : 4748.0 sec. user=vaughan [2009-07-26 10:09:03] 585*2^704603-1 is not prime. Res64: AAF0B13982048626 Time : 4760.0 sec. user=vaughan [2009-07-26 10:09:30] 413*2^704604-1 is not prime. Res64: 36786D9BA29D36D7 Time : 4750.0 sec. user=vaughan [2009-07-26 10:16:58] 419*2^704604-1 is not prime. Res64: D20C190703612AD4 Time : 4759.0 sec. user=vaughan [2009-07-26 10:17:25] 513*2^704604-1 is not prime. Res64: EEF28E5F8FF73E85 Time : 4749.0 sec. user=vaughan [2009-07-26 10:24:53] 421*2^704605-1 is not prime. Res64: 75946F4B38B6594F Time : 4758.0 sec. user=vaughan [2009-07-26 10:25:18] 447*2^704605-1 is not prime. Res64: 75091CB654682F9A Time : 4747.0 sec. user=vaughan [2009-07-26 10:32:49] 465*2^704605-1 is not prime. Res64: 8CEC2BBA3CDBBF4B Time : 4757.0 sec. user=vaughan [2009-07-26 10:33:12] 477*2^704605-1 is not prime. Res64: 9C144C2899A918F3 Time : 4746.0 sec. user=vaughan [2009-07-26 10:40:45] 531*2^704605-1 is not prime. Res64: EEA2FE3487BD15B3 Time : 4758.0 sec. user=vaughan [2009-07-26 10:41:07] 417*2^704606-1 is not prime. Res64: D62B972F09F8AE97 Time : 4746.0 sec. user=vaughan [2009-07-26 10:48:36] 503*2^704606-1 is not prime. Res64: F68A698C347B3A9C Time : 4091.0 sec. user=vaughan [2009-07-26 10:48:40] 425*2^704606-1 is not prime. Res64: 77FFCDB65B152781 Time : 4758.0 sec. user=vaughan [2009-07-26 10:49:01] 461*2^704606-1 is not prime. Res64: BDAB6DDCA3A2A27F Time : 4745.0 sec. user=vaughan [2009-07-26 10:56:36] 473*2^704606-1 is not prime. Res64: 70B23DAFA5728426 Time : 4758.0 sec. user=vaughan [2009-07-26 10:56:56] 501*2^704606-1 is not prime. Res64: 4A7F984B90B4B5FA Time : 4745.0 sec. user=vaughan [2009-07-26 11:04:32] 563*2^704606-1 is not prime. Res64: 8DF3AE6DCA5FA302 Time : 4758.0 sec. user=vaughan [2009-07-26 11:04:50] 581*2^704606-1 is not prime. Res64: D967881F3F7BB305 Time : 4744.0 sec. user=vaughan [2009-07-26 11:12:29] 403*2^704607-1 is not prime. Res64: ED3984C359172B74 Time : 4759.0 sec. user=vaughan [2009-07-26 11:12:45] 469*2^704607-1 is not prime. Res64: F47E96B43E62A1A5 Time : 4745.0 sec. user=vaughan [2009-07-26 11:20:25] 493*2^704607-1 is not prime. Res64: F367C3ECBD40A1D7 Time : 4759.0 sec. user=vaughan [2009-07-26 11:20:39] 511*2^704607-1 is not prime. Res64: F01FD45237E7E59F Time : 4744.0 sec. user=vaughan [2009-07-26 11:28:21] 523*2^704607-1 is not prime. Res64: 533C6C62D2E76041 Time : 4759.0 sec. user=vaughan [2009-07-26 11:28:33] 553*2^704607-1 is not prime. Res64: 4B4E51E336A87472 Time : 4744.0 sec. user=vaughan [2009-07-26 11:36:15] 567*2^704608-1 is not prime. Res64: FC662CF823344263 Time : 4758.0 sec. user=vaughan [2009-07-26 11:36:29] 573*2^704608-1 is not prime. Res64: A5DC5FCBA0062B35 Time : 4745.0 sec. user=vaughan [2009-07-26 11:44:10] 441*2^704609-1 is not prime. Res64: F2B60B1BDA2D3A27 Time : 4758.0 sec. user=vaughan [2009-07-26 11:44:25] 507*2^704609-1 is not prime. Res64: 2EB137081EB9E4A0 Time : 4748.0 sec. user=vaughan [2009-07-26 11:52:04] 411*2^704610-1 is not prime. Res64: 19CC14C34E8486FF Time : 4756.0 sec. user=vaughan [2009-07-26 11:52:21] 423*2^704610-1 is not prime. Res64: D0BE4273CF1E2C93 Time : 4750.0 sec. user=vaughan [2009-07-26 11:55:17] 405*2^704611-1 is not prime. Res64: 0E58E6278267643E Time : 4001.0 sec. user=vaughan [2009-07-26 11:59:57] 483*2^704610-1 is not prime. Res64: 08C86D664E6A4E0D Time : 4752.0 sec. user=vaughan [2009-07-26 12:00:17] 581*2^704610-1 is not prime. Res64: FAD6A3969BD99475 Time : 4750.0 sec. user=vaughan [2009-07-26 12:07:52] 493*2^704611-1 is not prime. Res64: 01BF96BDDCBB4592 Time : 4752.0 sec. user=vaughan [2009-07-26 12:08:14] 495*2^704611-1 is not prime. Res64: 3497C756BCCE8C2B Time : 4753.0 sec. user=vaughan [2009-07-26 12:15:45] 505*2^704611-1 is not prime. Res64: B8E721037D7313C5 Time : 4749.0 sec. user=vaughan [2009-07-26 12:16:11] 455*2^704612-1 is not prime. Res64: 23DA2DC5A1DB743F Time : 4755.0 sec. user=vaughan [2009-07-26 12:23:39] 525*2^704612-1 is not prime. Res64: 2304BF906E0C7E76 Time : 4747.0 sec. user=vaughan [2009-07-26 12:24:06] 595*2^704613-1 is not prime. Res64: C68D0A4302259E47 Time : 4756.0 sec. user=vaughan [2009-07-26 12:31:34] 453*2^704614-1 is not prime. Res64: 4634F7A8777E8034 Time : 4746.0 sec. user=vaughan [2009-07-26 12:32:02] 465*2^704615-1 is not prime. Res64: 30C7047E7F3E6A65 Time : 4757.0 sec. user=vaughan [2009-07-26 12:39:30] 475*2^704615-1 is not prime. Res64: A6657A622052809D Time : 4745.0 sec. user=vaughan [2009-07-26 12:39:56] 489*2^704615-1 is not prime. Res64: 87A6CC6C913D643F Time : 4757.0 sec. user=vaughan [2009-07-26 12:47:26] 553*2^704615-1 is not prime. Res64: 2DD5CC695D5B1998 Time : 4745.0 sec. user=vaughan [2009-07-26 12:47:51] 579*2^704615-1 is not prime. Res64: 9BAAB53B502CB4E3 Time : 4758.0 sec. user=vaughan [2009-07-26 12:55:22] 459*2^704616-1 is not prime. Res64: 556C9B7ABEB879EE Time : 4747.0 sec. user=vaughan [2009-07-26 12:55:45] 527*2^704616-1 is not prime. Res64: 5CA1447AD0DF62A8 Time : 4756.0 sec. user=vaughan [2009-07-26 13:02:08] 415*2^704619-1 is not prime. Res64: 51F76575793BD532 Time : 4012.0 sec. user=vaughan [2009-07-26 13:03:18] 405*2^704617-1 is not prime. Res64: DB0E0CB3EEC2A6A4 Time : 4748.0 sec. user=vaughan [2009-07-26 13:03:40] 441*2^704617-1 is not prime. Res64: 55512809BE28C55D Time : 4755.0 sec. user=vaughan [2009-07-26 13:11:13] 561*2^704618-1 is not prime. Res64: 9121410AA6D41B32 Time : 4749.0 sec. user=vaughan [2009-07-26 13:11:34] 411*2^704619-1 is not prime. Res64: 0CAA1CDAEDB453E5 Time : 4753.0 sec. user=vaughan [2009-07-26 13:19:10] 451*2^704619-1 is not prime. Res64: 8D620B045EACCF5B Time : 4753.0 sec. user=vaughan [2009-07-26 13:19:30] 481*2^704619-1 is not prime. Res64: F497AA71C5121E8B Time : 4753.0 sec. user=vaughan [2009-07-26 13:27:06] 489*2^704619-1 is not prime. Res64: FE3FCCAAF0A2B9DC Time : 4755.0 sec. user=vaughan [2009-07-26 13:27:24] 571*2^704619-1 is not prime. Res64: A533E4E2078F95DD Time : 4750.0 sec. user=vaughan [2009-07-26 13:35:02] 583*2^704619-1 is not prime. Res64: E38ECC3234C187A8 Time : 4758.0 sec. user=vaughan [2009-07-26 13:35:19] 527*2^704620-1 is not prime. Res64: F8C8DE0E1202918E Time : 4748.0 sec. user=vaughan [2009-07-26 13:43:00] 539*2^704620-1 is not prime. Res64: E7FB18FFAB125358 Time : 4761.0 sec. user=vaughan [2009-07-26 13:43:14] 567*2^704620-1 is not prime. Res64: A7A90D6C8BC9CBCB Time : 4748.0 sec. user=vaughan [2009-07-26 13:50:56] 417*2^704621-1 is not prime. Res64: 342B786EF5A1D1F3 Time : 4762.0 sec. user=vaughan [2009-07-26 13:51:09] 485*2^704622-1 is not prime. Res64: 29E2AD591D5C7D15 Time : 4747.0 sec. user=vaughan [2009-07-26 13:58:51] 551*2^704622-1 is not prime. Res64: E1A80EECD6449F73 Time : 4761.0 sec. user=vaughan [2009-07-26 13:59:03] 433*2^704623-1 is not prime. Res64: 82CB90944FA129E7 Time : 4747.0 sec. user=vaughan [2009-07-26 14:06:50] 493*2^704623-1 is not prime. Res64: D73334989AB2C48B Time : 4764.0 sec. user=vaughan [2009-07-26 14:07:01] 541*2^704623-1 is not prime. Res64: 200E636AD42855AC Time : 4750.0 sec. user=vaughan [2009-07-26 14:09:23] 437*2^704624-1 is not prime. Res64: C55CD08A16DD9A91 Time : 4035.0 sec. user=vaughan [2009-07-26 14:15:19] 553*2^704623-1 is not prime. Res64: 56DC2AA8E5728789 Time : 4797.0 sec. user=vaughan [2009-07-26 14:15:25] 555*2^704623-1 is not prime. Res64: B7DCAA8DE1FC9E17 Time : 4780.0 sec. user=vaughan [2009-07-26 14:23:50] 557*2^704624-1 is not prime. Res64: CC693C0FF9B619E4 Time : 4810.0 sec. user=vaughan [2009-07-26 14:23:51] 447*2^704624-1 is not prime. Res64: 6396B6EC6122264D Time : 4833.0 sec. user=vaughan [2009-07-26 14:31:53] 405*2^704625-1 is not prime. Res64: D5C2EA9A3FAA6CDF Time : 4819.0 sec. user=vaughan [2009-07-26 14:32:25] 593*2^704624-1 is not prime. Res64: D2F00132C0239CE1 Time : 4872.0 sec. user=vaughan [2009-07-26 14:39:44] 577*2^704625-1 is not prime. Res64: 006821AA5E749024 Time : 4815.0 sec. user=vaughan [2009-07-26 14:41:01] 481*2^704625-1 is not prime. Res64: 6115E47CF78C163C Time : 4911.0 sec. user=vaughan [2009-07-26 14:47:36] 425*2^704626-1 is not prime. Res64: 751FFD7D2E009D9E Time : 4813.0 sec. user=vaughan [2009-07-26 14:49:38] 585*2^704625-1 is not prime. Res64: 9AA46D87263079F0 Time : 4952.0 sec. user=vaughan [2009-07-26 14:55:28] 453*2^704626-1 is not prime. Res64: FC1B7811F38061C7 Time : 4810.0 sec. user=vaughan [2009-07-26 14:58:14] 437*2^704626-1 is not prime. Res64: 63B88B9A3073BE74 Time : 4992.0 sec. user=vaughan [2009-07-26 15:03:19] 495*2^704626-1 is not prime. Res64: 5AF4E2B794D9B965 Time : 4806.0 sec. user=vaughan [2009-07-26 15:06:50] 477*2^704626-1 is not prime. Res64: 20B5E46E8279E1C9 Time : 5031.0 sec. user=vaughan [2009-07-26 15:11:12] 403*2^704627-1 is not prime. Res64: 182243ADF20E0E98 Time : 4803.0 sec. user=vaughan [2009-07-26 15:15:25] 543*2^704627-1 is not prime. Res64: C04A08376644B4E9 Time : 3962.0 sec. user=vaughan [2009-07-26 15:15:25] 581*2^704626-1 is not prime. Res64: E2B95C1ED364D289 Time : 5070.0 sec. user=vaughan [2009-07-26 15:19:04] 435*2^704627-1 is not prime. Res64: 3EA2649B73B0CD0C Time : 4801.0 sec. user=vaughan [2009-07-26 15:24:01] 421*2^704627-1 is not prime. Res64: BBAD8F55491F445B Time : 5111.0 sec. user=vaughan [2009-07-26 15:26:56] 523*2^704627-1 is not prime. Res64: 39AEA14EC7E825DB Time : 4795.0 sec. user=vaughan [2009-07-26 15:32:30] 511*2^704627-1 is not prime. Res64: 2CC9308948B63319 Time : 5140.0 sec. user=vaughan [2009-07-26 15:35:20] 525*2^704629-1 is not prime. Res64: FB1E0A1141A09430 Time : 4795.0 sec. user=vaughan [2009-07-26 15:40:59] 465*2^704628-1 is not prime. Res64: 4AEEB86A3458CA8A Time : 5140.0 sec. user=vaughan [2009-07-26 15:43:44] 565*2^704629-1 is not prime. Res64: 3C727CA0E448FDBE Time : 4794.0 sec. user=vaughan [2009-07-26 15:49:26] 567*2^704629-1 is not prime. Res64: 5E6F0402B00ECE8E Time : 5135.0 sec. user=vaughan [2009-07-26 15:52:08] 597*2^704629-1 is not prime. Res64: F858BD397CBB1094 Time : 4815.0 sec. user=vaughan [2009-07-26 15:57:54] 437*2^704630-1 is not prime. Res64: 9F35C58299340BB3 Time : 5129.0 sec. user=vaughan [2009-07-26 16:00:32] 453*2^704630-1 is not prime. Res64: AE1412D8028B32E0 Time : 4848.0 sec. user=vaughan [2009-07-26 16:06:21] 455*2^704630-1 is not prime. Res64: 1DFE723A16FE6A13 Time : 5120.0 sec. user=vaughan [2009-07-26 16:08:56] 495*2^704630-1 is not prime. Res64: 0ED78D7C95946EA3 Time : 4880.0 sec. user=vaughan [2009-07-26 16:14:49] 423*2^704631-1 is not prime. Res64: 45A32E7B98C15CE8 Time : 5111.0 sec. user=vaughan [2009-07-26 16:17:21] 439*2^704631-1 is not prime. Res64: 9CDC1371629FF0E3 Time : 4913.0 sec. user=vaughan [2009-07-26 16:19:14] 595*2^704631-1 is not prime. Res64: 768F24DD9EF198A5 Time : 3829.0 sec. user=vaughan [2009-07-26 16:23:16] 531*2^704631-1 is not prime. Res64: 16FFA0209DD02EA2 Time : 5102.0 sec. user=vaughan [2009-07-26 16:25:45] 535*2^704631-1 is not prime. Res64: 13958037A93FF8F4 Time : 4946.0 sec. user=vaughan [2009-07-26 16:32:05] 541*2^704631-1 is not prime. Res64: 0167393065DFD760 Time : 5115.0 sec. user=vaughan [2009-07-26 16:33:41] 585*2^704631-1 is not prime. Res64: 41BE8160F2216764 Time : 4949.0 sec. user=vaughan [2009-07-26 16:41:09] 429*2^704632-1 is not prime. Res64: 4349CE2CB2436949 Time : 5144.0 sec. user=vaughan [2009-07-26 16:41:32] 437*2^704632-1 is not prime. Res64: 82C4C7558E6341E8 Time : 4948.0 sec. user=vaughan [2009-07-26 16:49:25] 487*2^704633-1 is not prime. Res64: 21E6D283C1C5EE57 Time : 4949.0 sec. user=vaughan [2009-07-26 16:50:13] 441*2^704633-1 is not prime. Res64: F533828E682ED937 Time : 5172.0 sec. user=vaughan [2009-07-26 16:57:15] 559*2^704633-1 is not prime. Res64: D2E397DA9395828F Time : 4915.0 sec. user=vaughan [2009-07-26 16:59:16] 501*2^704633-1 is not prime. Res64: 95B1B67CE80D8AD2 Time : 5206.0 sec. user=vaughan [2009-07-26 17:05:06] 447*2^704634-1 is not prime. Res64: 76D6F5E7984191B4 Time : 4882.0 sec. user=vaughan [2009-07-26 17:07:52] 401*2^704634-1 is not prime. Res64: D9393F7433F2AF41 Time : 5213.0 sec. user=vaughan [2009-07-26 17:12:58] 501*2^704634-1 is not prime. Res64: B9CE5F039041419B Time : 4850.0 sec. user=vaughan [2009-07-26 17:16:14] 485*2^704634-1 is not prime. Res64: B26D062710DB03E3 Time : 5208.0 sec. user=vaughan [2009-07-26 17:20:49] 587*2^704634-1 is not prime. Res64: 7423A19B9672518B Time : 4817.0 sec. user=vaughan [2009-07-26 17:24:35] 573*2^704634-1 is not prime. Res64: 9A20F740DA716E54 Time : 5201.0 sec. user=vaughan [2009-07-26 17:28:43] 447*2^704636-1 is not prime. Res64: CCE998D7B3AE348E Time : 4787.0 sec. user=vaughan [2009-07-26 17:32:50] 493*2^704635-1 is not prime. Res64: 41B68B8D1C907BF4 Time : 5189.0 sec. user=vaughan [2009-07-26 17:35:08] 413*2^704638-1 is not prime. Res64: A608F0F865AB4156 Time : 4554.0 sec. user=vaughan [2009-07-26 17:36:48] 559*2^704637-1 is not prime. Res64: EE4A3CE1C5E473D7 Time : 4767.0 sec. user=vaughan [2009-07-26 17:41:00] 549*2^704637-1 is not prime. Res64: 1F4D2DBAE998E51D Time : 5171.0 sec. user=vaughan [2009-07-26 17:44:53] 453*2^704638-1 is not prime. Res64: DFDA3603D3C56EFB Time : 4748.0 sec. user=vaughan [2009-07-26 17:49:11] 443*2^704638-1 is not prime. Res64: 704E3FD981FFBA68 Time : 5155.0 sec. user=vaughan [2009-07-26 17:52:59] 411*2^704639-1 is not prime. Res64: 674D910974339E68 Time : 4758.0 sec. user=vaughan [2009-07-26 17:57:22] 513*2^704638-1 is not prime. Res64: 381FCE287C0E94A5 Time : 5117.0 sec. user=vaughan [2009-07-26 18:01:04] 527*2^704640-1 is not prime. Res64: 4AD6255835C7DE86 Time : 4772.0 sec. user=vaughan [2009-07-26 18:05:33] 439*2^704639-1 is not prime. Res64: 9D3D89A9D85E71F3 Time : 5064.0 sec. user=vaughan [2009-07-26 18:09:09] 543*2^704640-1 is not prime. Res64: 70B45E68CFDB8F9F Time : 4785.0 sec. user=vaughan [2009-07-26 18:13:43] 421*2^704641-1 is not prime. Res64: 622E12AAB0E3F75F Time : 5010.0 sec. user=vaughan [2009-07-26 18:17:16] 517*2^704641-1 is not prime. Res64: 994DF9DBD2529FF7 Time : 4802.0 sec. user=vaughan [2009-07-26 18:21:53] 535*2^704641-1 is not prime. Res64: 6BA309337ECBAA49 Time : 4957.0 sec. user=vaughan [2009-07-26 18:25:21] 541*2^704641-1 is not prime. Res64: 3EC94F9DF3DD42B8 Time : 4816.0 sec. user=vaughan [2009-07-26 18:30:05] 405*2^704642-1 is not prime. Res64: EFCEC188008F03FF Time : 4933.0 sec. user=vaughan [2009-07-26 18:30:59] 471*2^704643-1 is not prime. Res64: 325409640072279E Time : 3351.0 sec. user=vaughan [2009-07-26 18:33:28] 437*2^704642-1 is not prime. Res64: AB8A6594EA3172AC Time : 4831.0 sec. user=vaughan [2009-07-26 18:38:16] 447*2^704642-1 is not prime. Res64: 2561FB771B2EBF86 Time : 4922.0 sec. user=vaughan [2009-07-26 18:41:33] 477*2^704642-1 is not prime. Res64: D8FFA69CFE74385C Time : 4845.0 sec. user=vaughan [2009-07-26 18:46:26] 411*2^704643-1 is not prime. Res64: D7714812203658E6 Time : 4911.0 sec. user=vaughan [2009-07-26 18:49:39] 451*2^704643-1 is not prime. Res64: F9921DCB5E066BBF Time : 4857.0 sec. user=vaughan [2009-07-26 18:54:37] 453*2^704643-1 is not prime. Res64: 9D4A0C7A72069814 Time : 4907.0 sec. user=vaughan [2009-07-26 18:57:44] 495*2^704643-1 is not prime. Res64: E91B954103E6E486 Time : 4856.0 sec. user=vaughan [2009-07-26 19:02:47] 523*2^704643-1 is not prime. Res64: B97A4478053F91AF Time : 4907.0 sec. user=vaughan [2009-07-26 19:05:50] 435*2^704644-1 is not prime. Res64: 095BD47BBA9120FF Time : 4857.0 sec. user=vaughan [2009-07-26 19:10:57] 447*2^704644-1 is not prime. Res64: 7B1F81577506E0C8 Time : 4906.0 sec. user=vaughan [2009-07-26 19:13:55] 497*2^704644-1 is not prime. Res64: AF049F5571F16801 Time : 4856.0 sec. user=vaughan [2009-07-26 19:19:07] 507*2^704644-1 is not prime. Res64: 62D2F9BCDB2CD8D2 Time : 4905.0 sec. user=vaughan [2009-07-26 19:21:58] 527*2^704644-1 is not prime. Res64: 550956A1A8B13FC4 Time : 4855.0 sec. user=vaughan [2009-07-26 19:27:17] 577*2^704645-1 is not prime. Res64: 70ED62D012AAD5C9 Time : 3378.0 sec. user=vaughan [2009-07-26 19:27:31] 573*2^704644-1 is not prime. Res64: 5E63BFCBFEC0AB9A Time : 4918.0 sec. user=vaughan [2009-07-26 19:29:48] 447*2^704645-1 is not prime. Res64: 1B57B2C6609FB838 Time : 4840.0 sec. user=vaughan [2009-07-26 19:35:59] 451*2^704645-1 is not prime. Res64: 5DBAB83610C54A13 Time : 4936.0 sec. user=vaughan [2009-07-26 19:37:37] 469*2^704645-1 is not prime. Res64: A6C4C9399B41AD03 Time : 4822.0 sec. user=vaughan [2009-07-26 19:44:27] 495*2^704645-1 is not prime. Res64: 2B9B4EB4EA6773C5 Time : 4954.0 sec. user=vaughan [2009-07-26 19:45:28] 525*2^704645-1 is not prime. Res64: 40904EA3C3049C86 Time : 4807.0 sec. user=vaughan [2009-07-26 19:52:55] 547*2^704645-1 is not prime. Res64: 1EC8530C4BA0A2B5 Time : 4970.0 sec. user=vaughan [2009-07-26 19:53:20] 567*2^704646-1 is not prime. Res64: 37816E6669000DF5 Time : 4793.0 sec. user=vaughan [2009-07-26 20:02:15] 573*2^704646-1 is not prime. Res64: C34E72F452711A9A Time : 5039.0 sec. user=vaughan [2009-07-26 20:02:19] 433*2^704647-1 is not prime. Res64: 2A38DE5EECC5E4F8 Time : 4846.0 sec. user=vaughan [2009-07-26 20:09:08] 483*2^704647-1 is not prime. Res64: 8B25FC4D9CFB0231 Time : 4769.0 sec. user=vaughan [2009-07-26 20:09:50] 453*2^704647-1 is not prime. Res64: C0F6D48FD8D4BCF5 Time : 5004.0 sec. user=vaughan [2009-07-26 20:17:02] 413*2^704648-1 is not prime. Res64: 6564B5A293BBC033 Time : 4758.0 sec. user=vaughan [2009-07-26 20:18:17] 519*2^704647-1 is not prime. Res64: FFE4810A0C964C5A Time : 5021.0 sec. user=vaughan [2009-07-26 20:24:53] 435*2^704648-1 is not prime. Res64: 737199BFB4698B57 Time : 4743.0 sec. user=vaughan [2009-07-26 20:24:59] 539*2^704648-1 is not prime. Res64: 40BA9DBC7A186DB3 Time : 3462.0 sec. user=vaughan [2009-07-26 20:26:45] 417*2^704648-1 is not prime. Res64: C94DFBBF649A830F Time : 5039.0 sec. user=vaughan [2009-07-26 20:32:44] 479*2^704648-1 is not prime. Res64: B8FA07D6CF7A7432 Time : 4729.0 sec. user=vaughan [2009-07-26 20:35:15] 459*2^704648-1 is not prime. Res64: 26908266D59972D6 Time : 5058.0 sec. user=vaughan [2009-07-26 20:40:36] 495*2^704648-1 is not prime. Res64: 3A44BB57A3B810FD Time : 4718.0 sec. user=vaughan [2009-07-26 20:43:43] 489*2^704648-1 is not prime. Res64: D70723F3FCB8AE33 Time : 5076.0 sec. user=vaughan [2009-07-26 20:48:30] 501*2^704649-1 is not prime. Res64: D12E729387899B17 Time : 4722.0 sec. user=vaughan [2009-07-26 20:52:10] 439*2^704649-1 is not prime. Res64: A048D0BC844D8A75 Time : 5079.0 sec. user=vaughan [2009-07-26 20:56:23] 411*2^704650-1 is not prime. Res64: BC68B1B52E424763 Time : 4726.0 sec. user=vaughan [2009-07-26 21:00:32] 565*2^704649-1 is not prime. Res64: A83C3F18C2A1F39D Time : 5073.0 sec. user=vaughan [2009-07-26 21:04:33] 531*2^704650-1 is not prime. Res64: B2C4A917BAA1E00E Time : 4746.0 sec. user=vaughan [2009-07-26 21:11:35] 453*2^704650-1 is not prime. Res64: 517993485383D55F Time : 5228.0 sec. user=vaughan [2009-07-26 21:12:30] 403*2^704651-1 is not prime. Res64: 59942F3496340BC9 Time : 4751.0 sec. user=vaughan [2009-07-26 21:16:37] 545*2^704650-1 is not prime. Res64: 677BA0E724F10256 Time : 5022.0 sec. user=vaughan [2009-07-26 21:20:28] 445*2^704651-1 is not prime. Res64: 846EE183A801F95A Time : 4689.0 sec. user=vaughan [2009-07-26 21:24:35] 411*2^704651-1 is not prime. Res64: 775B79AE151F9D61 Time : 4940.0 sec. user=vaughan [2009-07-26 21:28:26] 465*2^704651-1 is not prime. Res64: 095EC11FD625BB08 Time : 4758.0 sec. user=vaughan [2009-07-26 21:32:33] 531*2^704651-1 is not prime. Res64: 13EA32836EEF81F9 Time : 4963.0 sec. user=vaughan [2009-07-26 21:36:25] 549*2^704651-1 is not prime. Res64: D7939B32AAEC18ED Time : 4764.0 sec. user=vaughan [2009-07-26 21:40:30] 405*2^704652-1 is not prime. Res64: 0985F7398E90F21C Time : 4933.0 sec. user=vaughan [2009-07-26 21:40:43] 437*2^704652-1 is not prime. Res64: 99F9D0F72D035D36 Time : 4544.0 sec. user=vaughan [2009-07-26 21:44:22] 423*2^704652-1 is not prime. Res64: 8E319C7BE6678E45 Time : 4770.0 sec. user=vaughan [2009-07-26 21:48:28] 539*2^704652-1 is not prime. Res64: 8C4F186FEAD90260 Time : 4903.0 sec. user=vaughan [2009-07-26 21:52:19] 545*2^704652-1 is not prime. Res64: B1C26F0115145F7F Time : 4776.0 sec. user=vaughan [2009-07-26 21:56:26] 557*2^704652-1 is not prime. Res64: ADE717908A3F33A7 Time : 4871.0 sec. user=vaughan [2009-07-26 22:00:15] 567*2^704652-1 is not prime. Res64: 79E1EE0AA0C6BCC1 Time : 4779.0 sec. user=vaughan [2009-07-26 22:04:25] 593*2^704652-1 is not prime. Res64: A6CAB09779CB4D0B Time : 4842.0 sec. user=vaughan [2009-07-26 22:08:13] 441*2^704653-1 is not prime. Res64: 2DA246EB9B5CDE80 Time : 4783.0 sec. user=vaughan [2009-07-26 22:12:24] 499*2^704653-1 is not prime. Res64: 758F1098C588A687 Time : 4814.0 sec. user=vaughan [2009-07-26 22:16:09] 559*2^704653-1 is not prime. Res64: 1D3A842E01CB8F1C Time : 4786.0 sec. user=vaughan [2009-07-26 22:20:22] 577*2^704653-1 is not prime. Res64: 9A573E97B7AFAB03 Time : 4790.0 sec. user=vaughan [2009-07-26 22:24:06] 591*2^704653-1 is not prime. Res64: 6CC56EF7B1B0726A Time : 4773.0 sec. user=vaughan [2009-07-26 22:28:20] 447*2^704654-1 is not prime. Res64: 3C1594A81F7818E7 Time : 4545.0 sec. user=vaughan [2009-07-26 22:32:03] 407*2^704654-1 is not prime. Res64: 2DA6E9CA1252DC03 Time : 4773.0 sec. user=vaughan [2009-07-26 22:34:54] 541*2^704655-1 is not prime. Res64: 3C4319F932032EFF Time : 3252.0 sec. user=vaughan [2009-07-26 22:36:19] 477*2^704654-1 is not prime. Res64: 4FB0C2DB56C2AF0B Time : 4782.0 sec. user=vaughan [2009-07-26 22:40:00] 503*2^704654-1 is not prime. Res64: EB4C4B950F15B4AE Time : 4772.0 sec. user=vaughan [2009-07-26 22:44:19] 507*2^704654-1 is not prime. Res64: 01D01D2C060A2296 Time : 4785.0 sec. user=vaughan [2009-07-26 22:47:56] 409*2^704655-1 is not prime. Res64: EBF1F79210F249B0 Time : 4770.0 sec. user=vaughan [2009-07-26 22:52:19] 415*2^704655-1 is not prime. Res64: F20EB2DBF1D33006 Time : 4786.0 sec. user=vaughan [2009-07-26 22:55:52] 453*2^704655-1 is not prime. Res64: 9A8055B52E082653 Time : 4768.0 sec. user=vaughan [2009-07-26 23:00:19] 465*2^704655-1 is not prime. Res64: C719A5248F012E51 Time : 4789.0 sec. user=vaughan [2009-07-26 23:03:46] 543*2^704655-1 is not prime. Res64: F7ACCA79C63D9F80 Time : 4765.0 sec. user=vaughan [2009-07-26 23:08:20] 579*2^704655-1 is not prime. Res64: 679DF75939BD43A7 Time : 4792.0 sec. user=vaughan [2009-07-26 23:11:42] 437*2^704656-1 is not prime. Res64: 5D55C2935E25E8B8 Time : 4763.0 sec. user=vaughan [2009-07-26 23:16:19] 539*2^704656-1 is not prime. Res64: D83A460BA8300BA5 Time : 4793.0 sec. user=vaughan [2009-07-26 23:19:38] 575*2^704656-1 is not prime. Res64: 061E68B96A399B58 Time : 4763.0 sec. user=vaughan [2009-07-26 23:24:19] 447*2^704657-1 is not prime. Res64: 2E456AB688BF92BB Time : 4794.0 sec. user=vaughan [2009-07-26 23:27:32] 475*2^704657-1 is not prime. Res64: 3459B8BF51DDC929 Time : 4759.0 sec. user=vaughan [2009-07-26 23:28:22] 555*2^704659-1 is not prime. Res64: 7E71A9C4315C3B3B Time : 3208.0 sec. user=vaughan [2009-07-26 23:32:18] 507*2^704657-1 is not prime. Res64: 3EB447E6BED0130E Time : 4795.0 sec. user=vaughan [2009-07-26 23:35:28] 437*2^704658-1 is not prime. Res64: AEDD70FF1C235EA4 Time : 4759.0 sec. user=vaughan [2009-07-26 23:40:17] 507*2^704658-1 is not prime. Res64: 0B45F4B9CB558DD0 Time : 4796.0 sec. user=vaughan [2009-07-26 23:43:28] 411*2^704659-1 is not prime. Res64: 62737D4C1E8BE482 Time : 4762.0 sec. user=vaughan [2009-07-26 23:48:15] 451*2^704659-1 is not prime. Res64: F857B6194ACF9C81 Time : 4795.0 sec. user=vaughan [2009-07-26 23:51:26] 471*2^704659-1 is not prime. Res64: D5FAFEE03382F546 Time : 4763.0 sec. user=vaughan [2009-07-26 23:56:16] 447*2^704660-1 is not prime. Res64: 64AF60D6E03ECDB7 Time : 4797.0 sec. user=vaughan [2009-07-26 23:59:31] 465*2^704660-1 is not prime. Res64: 6E620B7E267DD1BC Time : 4771.0 sec.