user=vaughan [2009-07-03 00:03:00] 413*2^702264-1 is not prime. Res64: 003FEA7C8E4A5AF4 Time : 5359.0 sec. user=vaughan [2009-07-03 00:07:22] 565*2^702265-1 is not prime. Res64: BD59CC1AC9D5C69E Time : 5376.0 sec. user=vaughan [2009-07-03 00:12:23] 591*2^702265-1 is not prime. Res64: 8DBF0DE6D97E94D4 Time : 5365.0 sec. user=vaughan [2009-07-03 00:16:40] 461*2^702266-1 is not prime. Res64: EBDDA9B6F22FB6D4 Time : 5381.0 sec. user=vaughan [2009-07-03 00:21:57] 501*2^702266-1 is not prime. Res64: 5730D8643B70BFA2 Time : 5415.0 sec. user=vaughan [2009-07-03 00:25:53] 515*2^702266-1 is not prime. Res64: A320C138D0816493 Time : 5425.0 sec. user=vaughan [2009-07-03 00:28:55] 565*2^702269-1 is not prime. Res64: F35DB8FEA10D6E2C Time : 2056.0 sec. user=vaughan [2009-07-03 00:31:24] 537*2^702266-1 is not prime. Res64: 677B1CEA9363B8E8 Time : 5436.0 sec. user=vaughan [2009-07-03 00:35:09] 585*2^702266-1 is not prime. Res64: C63391BD4847EBA9 Time : 5431.0 sec. user=vaughan [2009-07-03 00:39:46] 587*2^702266-1 is not prime. Res64: F199A07130BF10E8 Time : 5441.0 sec. user=vaughan [2009-07-03 00:43:20] 493*2^702267-1 is not prime. Res64: 1337DD60418ED91B Time : 5425.0 sec. user=vaughan [2009-07-03 00:48:37] 513*2^702267-1 is not prime. Res64: 2B0B5A32200124B7 Time : 5452.0 sec. user=vaughan [2009-07-03 00:52:10] 435*2^702268-1 is not prime. Res64: 195AFF01673D7A8D Time : 5402.0 sec. user=vaughan [2009-07-03 00:57:22] 485*2^702268-1 is not prime. Res64: 287B1ED03A0AEA8A Time : 5423.0 sec. user=vaughan [2009-07-03 01:01:20] 489*2^702268-1 is not prime. Res64: CF0909FF3FB3532F Time : 5423.0 sec. user=vaughan [2009-07-03 01:01:33] 489*2^702272-1 is not prime. Res64: F742BB6804D2AF99 Time : 1959.0 sec. user=vaughan [2009-07-03 01:06:56] 525*2^702268-1 is not prime. Res64: 18F141F45E7DD097 Time : 5482.0 sec. user=vaughan [2009-07-03 01:10:27] 527*2^702268-1 is not prime. Res64: 165629C6E740F237 Time : 5430.0 sec. user=vaughan [2009-07-03 01:16:28] 481*2^702269-1 is not prime. Res64: A4FE738AE482F93D Time : 5501.0 sec. user=vaughan [2009-07-03 01:19:40] 511*2^702269-1 is not prime. Res64: 6BAEBEA92E4A4355 Time : 5443.0 sec. user=vaughan [2009-07-03 01:25:01] 525*2^702269-1 is not prime. Res64: FF5F53F7A1F72FA2 Time : 5469.0 sec. user=vaughan [2009-07-03 01:28:17] 417*2^702270-1 is not prime. Res64: 31A6C40D56766B04 Time : 5407.0 sec. user=vaughan [2009-07-03 01:33:54] 437*2^702270-1 is not prime. Res64: A8AA87082131255F Time : 5454.0 sec. user=vaughan [2009-07-03 01:34:21] 595*2^702275-1 is not prime. Res64: 9AB73B634D808A74 Time : 1968.0 sec. user=vaughan [2009-07-03 01:37:16] 557*2^702270-1 is not prime. Res64: 50E25952D6EDA9A3 Time : 5394.0 sec. user=vaughan [2009-07-03 01:43:08] 581*2^702270-1 is not prime. Res64: FEA8DDDD30C73AA1 Time : 5445.0 sec. user=vaughan [2009-07-03 01:46:38] 433*2^702271-1 is not prime. Res64: EEBAD0CD0EABD112 Time : 5398.0 sec. user=vaughan [2009-07-03 01:52:22] 531*2^702271-1 is not prime. Res64: 09D0176F7C1F46A6 Time : 5425.0 sec. user=vaughan [2009-07-03 01:55:52] 479*2^702272-1 is not prime. Res64: 2C91AAB9625DC15B Time : 5399.0 sec. user=vaughan [2009-07-03 02:01:31] 573*2^702272-1 is not prime. Res64: F4514C7FAE4260AF Time : 5407.0 sec. user=vaughan [2009-07-03 02:05:03] 427*2^702273-1 is not prime. Res64: 10F493E266461920 Time : 5394.0 sec. user=vaughan [2009-07-03 02:07:54] 417*2^702278-1 is not prime. Res64: 4BAFCD54F45834D0 Time : 2013.0 sec. user=vaughan [2009-07-03 02:10:21] 441*2^702273-1 is not prime. Res64: DC58E388FA31FFDA Time : 5435.0 sec. user=vaughan [2009-07-03 02:13:54] 495*2^702273-1 is not prime. Res64: FFC7EB75180DFE8F Time : 5435.0 sec. user=vaughan [2009-07-03 02:19:36] 585*2^702273-1 is not prime. Res64: 8698EFCE9C6B837E Time : 5459.0 sec. user=vaughan [2009-07-03 02:22:27] 425*2^702274-1 is not prime. Res64: 6284B389A9F7DA3A Time : 5417.0 sec. user=vaughan [2009-07-03 02:28:32] 513*2^702274-1 is not prime. Res64: 721C1C2D9366364A Time : 5470.0 sec. user=vaughan [2009-07-03 02:31:39] 561*2^702274-1 is not prime. Res64: F7B288D1F0778155 Time : 5419.0 sec. user=vaughan [2009-07-03 02:37:19] 567*2^702276-1 is not prime. Res64: 78D466122EE3309A Time : 5424.0 sec. user=vaughan [2009-07-03 02:40:29] 593*2^702276-1 is not prime. Res64: A6B086CF7E367FD2 Time : 5403.0 sec. user=vaughan [2009-07-03 02:42:24] 405*2^702280-1 is not prime. Res64: D0C989F968E86D13 Time : 2070.0 sec. user=vaughan [2009-07-03 02:46:05] 597*2^702276-1 is not prime. Res64: 9872A5DCC20D7F8A Time : 5377.0 sec. user=vaughan [2009-07-03 02:48:52] 435*2^702277-1 is not prime. Res64: A4D2B1272C473E89 Time : 5352.0 sec. user=vaughan [2009-07-03 02:54:22] 465*2^702277-1 is not prime. Res64: 669EF0562AF35989 Time : 5362.0 sec. user=vaughan [2009-07-03 02:57:43] 489*2^702277-1 is not prime. Res64: C4C07ED58CDD7E22 Time : 5366.0 sec. user=vaughan [2009-07-03 03:03:12] 595*2^702277-1 is not prime. Res64: 194E99A35FC7C9EA Time : 5358.0 sec. user=vaughan [2009-07-03 03:05:58] 453*2^702278-1 is not prime. Res64: 42648A154945E886 Time : 5322.0 sec. user=vaughan [2009-07-03 03:11:25] 495*2^702278-1 is not prime. Res64: 40F8A2B5F6E4B35E Time : 5297.0 sec. user=vaughan [2009-07-03 03:14:32] 545*2^702278-1 is not prime. Res64: 839AB6D9E1738D26 Time : 5274.0 sec. user=vaughan [2009-07-03 03:17:04] 447*2^702284-1 is not prime. Res64: E67A623B62B3B138 Time : 2080.0 sec. user=vaughan [2009-07-03 03:20:08] 561*2^702278-1 is not prime. Res64: 35626313D8B5D337 Time : 5266.0 sec. user=vaughan [2009-07-03 03:22:49] 433*2^702279-1 is not prime. Res64: 191706ED99F51BCB Time : 5217.0 sec. user=vaughan [2009-07-03 03:28:47] 555*2^702279-1 is not prime. Res64: C1F8AE5015554F49 Time : 5236.0 sec. user=vaughan [2009-07-03 03:31:27] 579*2^702279-1 is not prime. Res64: 735BDCB2942770B8 Time : 5184.0 sec. user=vaughan [2009-07-03 03:37:44] 537*2^702280-1 is not prime. Res64: B4E73BD31789F05A Time : 5243.0 sec. user=vaughan [2009-07-03 03:40:30] 465*2^702281-1 is not prime. Res64: CFD6CE7C93F925FA Time : 5196.0 sec. user=vaughan [2009-07-03 03:47:01] 413*2^702282-1 is not prime. Res64: 9106CA090E88624B Time : 5246.0 sec. user=vaughan [2009-07-03 03:49:45] 503*2^702282-1 is not prime. Res64: 84094D8ED99749D2 Time : 5238.0 sec. user=vaughan [2009-07-03 03:51:48] 545*2^702286-1 is not prime. Res64: E7A433706AD32FC3 Time : 2084.0 sec. user=vaughan [2009-07-03 03:55:56] 587*2^702282-1 is not prime. Res64: 06B3E24971490F2F Time : 5244.0 sec. user=vaughan [2009-07-03 03:58:51] 429*2^702283-1 is not prime. Res64: 471DFFE2023AF1D2 Time : 5232.0 sec. user=vaughan [2009-07-03 04:04:28] 475*2^702283-1 is not prime. Res64: D58692EC954D847E Time : 5229.0 sec. user=vaughan [2009-07-03 04:07:36] 511*2^702283-1 is not prime. Res64: AEEC08F28ADD82CE Time : 5227.0 sec. user=vaughan [2009-07-03 04:13:54] 477*2^702284-1 is not prime. Res64: 5D146256594302C9 Time : 5269.0 sec. user=vaughan [2009-07-03 04:16:57] 495*2^702284-1 is not prime. Res64: 8962733169FEC532 Time : 5285.0 sec. user=vaughan [2009-07-03 04:23:08] 533*2^702284-1 is not prime. Res64: DF2B977480DE33C3 Time : 5326.0 sec. user=vaughan [2009-07-03 04:26:08] 427*2^702285-1 is not prime. Res64: B995B99B440F8A64 Time : 5306.0 sec. user=vaughan [2009-07-03 04:26:24] 563*2^702288-1 is not prime. Res64: D06FF3DE533C97B5 Time : 2076.0 sec. user=vaughan [2009-07-03 04:32:41] 525*2^702285-1 is not prime. Res64: B9279A75CE768590 Time : 5369.0 sec. user=vaughan [2009-07-03 04:35:32] 595*2^702285-1 is not prime. Res64: E3517AF6AB8D164E Time : 5374.0 sec. user=vaughan [2009-07-03 04:41:54] 477*2^702286-1 is not prime. Res64: 68C80DD357420809 Time : 5429.0 sec. user=vaughan [2009-07-03 04:44:54] 491*2^702286-1 is not prime. Res64: 53612091212C1C16 Time : 5422.0 sec. user=vaughan [2009-07-03 04:51:37] 423*2^702287-1 is not prime. Res64: F13E1644AA02B1A8 Time : 5490.0 sec. user=vaughan [2009-07-03 04:54:07] 465*2^702287-1 is not prime. Res64: 3AFEA4AC5011FAA3 Time : 5478.0 sec. user=vaughan [2009-07-03 05:00:44] 531*2^702287-1 is not prime. Res64: BA4CDB1855FCBB5F Time : 5517.0 sec. user=vaughan [2009-07-03 05:01:54] 433*2^702291-1 is not prime. Res64: CD3C9BB3689E3B83 Time : 2130.0 sec. user=vaughan [2009-07-03 05:03:15] 465*2^702288-1 is not prime. Res64: F3F812DE6543FDBC Time : 5508.0 sec. user=vaughan [2009-07-03 05:09:52] 467*2^702288-1 is not prime. Res64: EABC144B0000437E Time : 5528.0 sec. user=vaughan [2009-07-03 05:12:37] 489*2^702288-1 is not prime. Res64: DADAD211EE1D01AD Time : 5527.0 sec. user=vaughan [2009-07-03 05:19:57] 525*2^702288-1 is not prime. Res64: 0EDAAE99FB508AF3 Time : 5577.0 sec. user=vaughan [2009-07-03 05:22:33] 527*2^702288-1 is not prime. Res64: 8C720DF4F8F84B37 Time : 5568.0 sec. user=vaughan [2009-07-03 05:29:43] 421*2^702289-1 is not prime. Res64: 1104FD1861162E82 Time : 5627.0 sec. user=vaughan [2009-07-03 05:32:26] 427*2^702289-1 is not prime. Res64: BE9D70FEC24394BF Time : 5615.0 sec. user=vaughan [2009-07-03 05:34:02] 563*2^702292-1 is not prime. Res64: 5BFED729FB72EBA3 Time : 1928.0 sec. user=vaughan [2009-07-03 05:39:25] 469*2^702289-1 is not prime. Res64: A697342BBB955AA2 Time : 5698.0 sec. user=vaughan [2009-07-03 05:41:56] 477*2^702289-1 is not prime. Res64: F3CCCB49AF1B98FA Time : 5660.0 sec. user=vaughan [2009-07-03 05:48:39] 565*2^702289-1 is not prime. Res64: 0EA8D9ABB379E74B Time : 5685.0 sec. user=vaughan [2009-07-03 05:51:20] 501*2^702290-1 is not prime. Res64: 5C6D1D5C65DA58FD Time : 5663.0 sec. user=vaughan [2009-07-03 05:58:09] 563*2^702290-1 is not prime. Res64: 274C8E47E2622E85 Time : 5701.0 sec. user=vaughan [2009-07-03 06:00:42] 593*2^702290-1 is not prime. Res64: 2B84218AB3DE656B Time : 5675.0 sec. user=vaughan [2009-07-03 06:05:54] 567*2^702294-1 is not prime. Res64: 297E26FCB1F39DBB Time : 1912.0 sec. user=vaughan [2009-07-03 06:07:40] 445*2^702291-1 is not prime. Res64: E4AAF6CB31E4BB5A Time : 5699.0 sec. user=vaughan [2009-07-03 06:10:05] 459*2^702291-1 is not prime. Res64: 0B3AB3CDB6D7AE39 Time : 5673.0 sec. user=vaughan [2009-07-03 06:16:54] 531*2^702291-1 is not prime. Res64: FB1F411ABC3F5E67 Time : 5701.0 sec. user=vaughan [2009-07-03 06:19:29] 423*2^702292-1 is not prime. Res64: 9088F6EA0D9F3D5F Time : 5676.0 sec. user=vaughan [2009-07-03 06:26:08] 495*2^702292-1 is not prime. Res64: 703280A310BE9FB1 Time : 5671.0 sec. user=vaughan [2009-07-03 06:28:52] 497*2^702292-1 is not prime. Res64: A6AF7FFBE86A3573 Time : 5685.0 sec. user=vaughan [2009-07-03 06:35:49] 527*2^702292-1 is not prime. Res64: DF6D8A0366925549 Time : 5705.0 sec. user=vaughan [2009-07-03 06:38:36] 465*2^702293-1 is not prime. Res64: 2277574D54B8BA16 Time : 5721.0 sec. user=vaughan [2009-07-03 06:40:41] 405*2^702296-1 is not prime. Res64: 3DE44B4C50B5E2FE Time : 2088.0 sec. user=vaughan [2009-07-03 06:45:02] 511*2^702293-1 is not prime. Res64: 728B3DFA0153F46D Time : 5710.0 sec. user=vaughan [2009-07-03 06:47:42] 529*2^702293-1 is not prime. Res64: 61603B8A7EF41406 Time : 5706.0 sec. user=vaughan [2009-07-03 06:54:18] 561*2^702293-1 is not prime. Res64: FB03FADFC2354ABF Time : 5661.0 sec. user=vaughan [2009-07-03 06:56:57] 413*2^702294-1 is not prime. Res64: 0962814CC58949B1 Time : 5664.0 sec. user=vaughan [2009-07-03 07:03:17] 473*2^702294-1 is not prime. Res64: BD543D237819CD43 Time : 5614.0 sec. user=vaughan [2009-07-03 07:06:18] 525*2^702294-1 is not prime. Res64: A386CB3E71C0A436 Time : 5633.0 sec. user=vaughan [2009-07-03 07:12:55] 573*2^702294-1 is not prime. Res64: A8C56566F6E32BDF Time : 5611.0 sec. user=vaughan [2009-07-03 07:15:22] 497*2^702298-1 is not prime. Res64: 820A8617B34BEF62 Time : 2081.0 sec. user=vaughan [2009-07-03 07:15:39] 587*2^702294-1 is not prime. Res64: 0B63C2FDBA3417D6 Time : 5623.0 sec. user=vaughan [2009-07-03 07:22:32] 421*2^702295-1 is not prime. Res64: 55B66C20BBD2D6C3 Time : 5633.0 sec. user=vaughan [2009-07-03 07:24:55] 423*2^702295-1 is not prime. Res64: 54052AFE6769A59D Time : 5616.0 sec. user=vaughan [2009-07-03 07:32:13] 465*2^702295-1 is not prime. Res64: 6EC42BFE4A0D4FCF Time : 5644.0 sec. user=vaughan [2009-07-03 07:34:17] 589*2^702295-1 is not prime. Res64: 847B59E301C2568E Time : 5615.0 sec. user=vaughan [2009-07-03 07:41:27] 459*2^702296-1 is not prime. Res64: 6C243F4B29C536E9 Time : 5628.0 sec. user=vaughan [2009-07-03 07:43:22] 525*2^702296-1 is not prime. Res64: 20CD1226AEB7175F Time : 5598.0 sec. user=vaughan [2009-07-03 07:49:51] 537*2^702301-1 is not prime. Res64: 3FF35A5AEAA32218 Time : 2069.0 sec. user=vaughan [2009-07-03 07:51:21] 475*2^702297-1 is not prime. Res64: FDD933D5A53ED4B6 Time : 5667.0 sec. user=vaughan [2009-07-03 07:52:54] 517*2^702297-1 is not prime. Res64: BCAD0A6003394AC0 Time : 5605.0 sec. user=vaughan [2009-07-03 08:00:34] 549*2^702297-1 is not prime. Res64: E2206D6592EC7A13 Time : 5666.0 sec. user=vaughan [2009-07-03 08:02:14] 401*2^702298-1 is not prime. Res64: 575DA348356B9BA2 Time : 5602.0 sec. user=vaughan [2009-07-03 08:09:34] 423*2^702298-1 is not prime. Res64: BB6A262182F4A86B Time : 5626.0 sec. user=vaughan [2009-07-03 08:11:42] 495*2^702298-1 is not prime. Res64: 0D8B56B44736E53D Time : 5587.0 sec. user=vaughan [2009-07-03 08:19:11] 513*2^702298-1 is not prime. Res64: 1702076D7EBC460C Time : 5649.0 sec. user=vaughan [2009-07-03 08:21:04] 545*2^702298-1 is not prime. Res64: EFFA1C51706B1A48 Time : 5603.0 sec. user=vaughan [2009-07-03 08:24:31] 407*2^702304-1 is not prime. Res64: 44FED8A2E1404FA2 Time : 2080.0 sec. user=vaughan [2009-07-03 08:28:39] 403*2^702299-1 is not prime. Res64: 1B2EDDED10603C6A Time : 5662.0 sec. user=vaughan [2009-07-03 08:30:32] 421*2^702299-1 is not prime. Res64: 6A4D7DDF5640D7EF Time : 5615.0 sec. user=vaughan [2009-07-03 08:38:14] 445*2^702299-1 is not prime. Res64: 0F76A3DEEF71A020 Time : 5697.0 sec. user=vaughan [2009-07-03 08:40:02] 595*2^702299-1 is not prime. Res64: 24F59BD159165A14 Time : 5624.0 sec. user=vaughan [2009-07-03 08:47:42] 467*2^702300-1 is not prime. Res64: B5F2287D31BE6CE8 Time : 5687.0 sec. user=vaughan [2009-07-03 08:49:41] 565*2^702301-1 is not prime. Res64: 885E9E5BB9636216 Time : 5642.0 sec. user=vaughan [2009-07-03 08:57:10] 503*2^702302-1 is not prime. Res64: C138318FA7B921FA Time : 5678.0 sec. user=vaughan [2009-07-03 08:57:39] 497*2^702306-1 is not prime. Res64: 0BB4DA89F2850ADC Time : 1988.0 sec. user=vaughan [2009-07-03 08:59:29] 465*2^702303-1 is not prime. Res64: CED418071676B40E Time : 5674.0 sec. user=vaughan [2009-07-03 09:06:16] 471*2^702303-1 is not prime. Res64: 3E1E5F7B3055EFFA Time : 5643.0 sec. user=vaughan [2009-07-03 09:08:47] 501*2^702303-1 is not prime. Res64: C3F60092F9540221 Time : 5670.0 sec. user=vaughan [2009-07-03 09:15:23] 571*2^702303-1 is not prime. Res64: FC64F8BCDBEF406F Time : 5636.0 sec. user=vaughan [2009-07-03 09:18:15] 585*2^702303-1 is not prime. Res64: 14AE3B27936A27B0 Time : 5693.0 sec. user=vaughan [2009-07-03 09:24:22] 447*2^702304-1 is not prime. Res64: AB6FFB3826253889 Time : 5582.0 sec. user=vaughan [2009-07-03 09:27:42] 483*2^702304-1 is not prime. Res64: 9A2FA5BA61BDCC45 Time : 5689.0 sec. user=vaughan [2009-07-03 09:29:37] 525*2^702308-1 is not prime. Res64: 802EEA285CCE2D61 Time : 1918.0 sec. user=vaughan [2009-07-03 09:33:31] 527*2^702304-1 is not prime. Res64: 63986CE0D423B599 Time : 5577.0 sec. user=vaughan [2009-07-03 09:37:08] 481*2^702305-1 is not prime. Res64: 2CCEAE9DD6F5360F Time : 5694.0 sec. user=vaughan [2009-07-03 09:43:00] 517*2^702305-1 is not prime. Res64: D34BD4D2160A7EA1 Time : 5607.0 sec. user=vaughan [2009-07-03 09:46:42] 525*2^702305-1 is not prime. Res64: AFAFE9ADEF15F562 Time : 5700.0 sec. user=vaughan [2009-07-03 09:53:11] 585*2^702305-1 is not prime. Res64: 8EB331D6D9718FDC Time : 5640.0 sec. user=vaughan [2009-07-03 09:56:29] 589*2^702305-1 is not prime. Res64: F4C97DA531E32B15 Time : 5725.0 sec. user=vaughan [2009-07-03 10:03:15] 515*2^702306-1 is not prime. Res64: 9B0BEB2054D53CB2 Time : 5677.0 sec. user=vaughan [2009-07-03 10:03:17] 525*2^702310-1 is not prime. Res64: 2C675980B810A2D3 Time : 2020.0 sec. user=vaughan [2009-07-03 10:06:04] 521*2^702306-1 is not prime. Res64: 3E53E9056CBCE296 Time : 5733.0 sec. user=vaughan [2009-07-03 10:12:45] 551*2^702306-1 is not prime. Res64: BBF7575AEC4CBFDC Time : 5671.0 sec. user=vaughan [2009-07-03 10:15:24] 587*2^702306-1 is not prime. Res64: 2B7AF4FD00F3AA78 Time : 5722.0 sec. user=vaughan [2009-07-03 10:21:46] 405*2^702307-1 is not prime. Res64: E0230150BEF89A34 Time : 5644.0 sec. user=vaughan [2009-07-03 10:24:49] 493*2^702307-1 is not prime. Res64: BF4732090F0D25B2 Time : 5709.0 sec. user=vaughan [2009-07-03 10:31:13] 449*2^702308-1 is not prime. Res64: 87F1572FC2D09551 Time : 5643.0 sec. user=vaughan [2009-07-03 10:34:35] 557*2^702308-1 is not prime. Res64: FC6CEFC8ADB9D7F9 Time : 5706.0 sec. user=vaughan [2009-07-03 10:37:53] 525*2^702312-1 is not prime. Res64: 1E662FDE48CF60FF Time : 2076.0 sec. user=vaughan [2009-07-03 10:40:48] 573*2^702308-1 is not prime. Res64: A888F33CAC625A5E Time : 5672.0 sec. user=vaughan [2009-07-03 10:44:22] 445*2^702309-1 is not prime. Res64: 70324E3BF3B4CFEC Time : 5735.0 sec. user=vaughan [2009-07-03 10:50:20] 457*2^702309-1 is not prime. Res64: F41E94B2F3DEAB36 Time : 5697.0 sec. user=vaughan [2009-07-03 10:54:12] 537*2^702309-1 is not prime. Res64: 5822C96C5BE9586B Time : 5757.0 sec. user=vaughan [2009-07-03 11:00:22] 595*2^702309-1 is not prime. Res64: 0EA5566C74F20029 Time : 5760.0 sec. user=vaughan [2009-07-03 11:03:54] 411*2^702310-1 is not prime. Res64: 8A3D27667905BE5F Time : 5773.0 sec. user=vaughan [2009-07-03 11:10:07] 527*2^702310-1 is not prime. Res64: 103353B61FBAA72C Time : 5797.0 sec. user=vaughan [2009-07-03 11:12:31] 477*2^702314-1 is not prime. Res64: 31F30E25C370E3D5 Time : 2078.0 sec. user=vaughan [2009-07-03 11:13:20] 575*2^702310-1 is not prime. Res64: 302B5B9CFEC4403B Time : 5773.0 sec. user=vaughan [2009-07-03 11:19:38] 593*2^702310-1 is not prime. Res64: 337888AD61B25B20 Time : 5798.0 sec. user=vaughan [2009-07-03 11:23:14] 403*2^702311-1 is not prime. Res64: FED31BE7211C358E Time : 5792.0 sec. user=vaughan [2009-07-03 11:29:35] 591*2^702311-1 is not prime. Res64: 691ECFEFFD837538 Time : 5784.0 sec. user=vaughan [2009-07-03 11:33:10] 405*2^702312-1 is not prime. Res64: D5CC292F2000C63A Time : 5802.0 sec. user=vaughan [2009-07-03 11:38:48] 479*2^702312-1 is not prime. Res64: D38BA38271682ED9 Time : 5733.0 sec. user=vaughan [2009-07-03 11:42:35] 537*2^702312-1 is not prime. Res64: F32F3E62E8A1AD90 Time : 5791.0 sec. user=vaughan [2009-07-03 11:47:07] 423*2^702318-1 is not prime. Res64: 23D2FFFA80F4E122 Time : 2076.0 sec. user=vaughan [2009-07-03 11:48:06] 555*2^702312-1 is not prime. Res64: 2EB21D6F75AEEDBA Time : 5721.0 sec. user=vaughan [2009-07-03 11:51:42] 563*2^702312-1 is not prime. Res64: 4357E354734AAC6A Time : 5778.0 sec. user=vaughan [2009-07-03 11:57:11] 567*2^702312-1 is not prime. Res64: 587CEB4630A7EEA5 Time : 5726.0 sec. user=vaughan [2009-07-03 12:00:45] 405*2^702313-1 is not prime. Res64: 89C3FA0EF3A74210 Time : 5756.0 sec. user=vaughan [2009-07-03 12:06:09] 411*2^702313-1 is not prime. Res64: D106D368FD24FE30 Time : 5696.0 sec. user=vaughan [2009-07-03 12:09:59] 477*2^702313-1 is not prime. Res64: 4FEB6299828ECC4A Time : 5724.0 sec. user=vaughan [2009-07-03 12:15:10] 503*2^702314-1 is not prime. Res64: 2CA71D4CA83B8903 Time : 5663.0 sec. user=vaughan [2009-07-03 12:19:16] 429*2^702315-1 is not prime. Res64: 502AC8247456C589 Time : 5694.0 sec. user=vaughan [2009-07-03 12:21:31] 549*2^702319-1 is not prime. Res64: 194A4BC0C50BCF9C Time : 2064.0 sec. user=vaughan [2009-07-03 12:24:31] 489*2^702315-1 is not prime. Res64: 3C0388D915A47BD9 Time : 5651.0 sec. user=vaughan [2009-07-03 12:28:35] 563*2^702316-1 is not prime. Res64: B7643D02123B6475 Time : 5663.0 sec. user=vaughan [2009-07-03 12:34:12] 417*2^702317-1 is not prime. Res64: 01BCA4C386ED79BC Time : 5630.0 sec. user=vaughan [2009-07-03 12:38:06] 477*2^702317-1 is not prime. Res64: 2E754BB26209FF2C Time : 5652.0 sec. user=vaughan [2009-07-03 12:43:59] 405*2^702318-1 is not prime. Res64: 1D8CACE482C60901 Time : 5632.0 sec. user=vaughan [2009-07-03 12:47:48] 447*2^702318-1 is not prime. Res64: 588DBB4386553710 Time : 5668.0 sec. user=vaughan [2009-07-03 12:53:19] 473*2^702318-1 is not prime. Res64: 091BF98C264CA6EF Time : 5621.0 sec. user=vaughan [2009-07-03 12:55:12] 507*2^702321-1 is not prime. Res64: B102AEEAECF9EC26 Time : 2021.0 sec. user=vaughan [2009-07-03 12:56:31] 503*2^702318-1 is not prime. Res64: 115685E5073A7E67 Time : 5597.0 sec. user=vaughan [2009-07-03 13:02:10] 563*2^702318-1 is not prime. Res64: 21FD39A30980A852 Time : 5555.0 sec. user=vaughan [2009-07-03 13:05:41] 567*2^702318-1 is not prime. Res64: A2CA5FF1C730114E Time : 5551.0 sec. user=vaughan [2009-07-03 13:11:34] 499*2^702319-1 is not prime. Res64: F52B6C6DE3C22BBF Time : 5566.0 sec. user=vaughan [2009-07-03 13:15:04] 531*2^702319-1 is not prime. Res64: A9B2A6837D6E3851 Time : 5550.0 sec. user=vaughan [2009-07-03 13:20:51] 573*2^702319-1 is not prime. Res64: EE2AA28CB527BA3B Time : 5565.0 sec. user=vaughan [2009-07-03 13:24:12] 579*2^702319-1 is not prime. Res64: 6FA5711B98FBA7F0 Time : 5550.0 sec. user=vaughan [2009-07-03 13:28:02] 503*2^702324-1 is not prime. Res64: 8272B7A31A943CAB Time : 1970.0 sec. user=vaughan [2009-07-03 13:30:18] 413*2^702320-1 is not prime. Res64: 96EBD69A928F96B9 Time : 5587.0 sec. user=vaughan [2009-07-03 13:33:23] 465*2^702320-1 is not prime. Res64: D4543EB9DAE94ADF Time : 5559.0 sec. user=vaughan [2009-07-03 13:40:41] 599*2^702320-1 is not prime. Res64: AF342B883DCDFBB9 Time : 5673.0 sec. user=vaughan [2009-07-03 13:42:54] 459*2^702321-1 is not prime. Res64: 74D2E442D14C3559 Time : 5576.0 sec. user=vaughan [2009-07-03 13:50:01] 471*2^702321-1 is not prime. Res64: C860728F0D2B2B73 Time : 5691.0 sec. user=vaughan [2009-07-03 13:51:25] 495*2^702321-1 is not prime. Res64: 107EB7A6EE7E0200 Time : 5529.0 sec. user=vaughan [2009-07-03 13:59:10] 529*2^702321-1 is not prime. Res64: 67687C6A77BE4CE0 Time : 5679.0 sec. user=vaughan [2009-07-03 14:00:38] 571*2^702321-1 is not prime. Res64: F121F9C97D82BA83 Time : 5523.0 sec. user=vaughan [2009-07-03 14:01:41] 495*2^702326-1 is not prime. Res64: 9AFB777BD72F77D8 Time : 2019.0 sec. user=vaughan [2009-07-03 14:08:11] 423*2^702322-1 is not prime. Res64: C88162667C1B0EE1 Time : 5639.0 sec. user=vaughan [2009-07-03 14:09:20] 491*2^702322-1 is not prime. Res64: AB4537DE26AF6A56 Time : 5474.0 sec. user=vaughan [2009-07-03 14:17:28] 533*2^702322-1 is not prime. Res64: E39114B7EA58DE03 Time : 5609.0 sec. user=vaughan [2009-07-03 14:18:24] 433*2^702323-1 is not prime. Res64: 4A30B4725BB23075 Time : 5436.0 sec. user=vaughan [2009-07-03 14:26:58] 441*2^702323-1 is not prime. Res64: F6B7464658E43369 Time : 5619.0 sec. user=vaughan [2009-07-03 14:27:32] 569*2^702324-1 is not prime. Res64: C3601678CAAA8686 Time : 5462.0 sec. user=vaughan [2009-07-03 14:36:11] 579*2^702324-1 is not prime. Res64: AE8D704997873F5B Time : 5641.0 sec. user=vaughan [2009-07-03 14:36:34] 537*2^702328-1 is not prime. Res64: A118252B6F630AF0 Time : 2094.0 sec. user=vaughan [2009-07-03 14:36:46] 465*2^702325-1 is not prime. Res64: FD57358402EE38F4 Time : 5465.0 sec. user=vaughan [2009-07-03 14:45:50] 499*2^702325-1 is not prime. Res64: 9023E173B83C0ADD Time : 5447.0 sec. user=vaughan [2009-07-03 14:45:50] 481*2^702325-1 is not prime. Res64: B7B6F08183D32F75 Time : 5656.0 sec. user=vaughan [2009-07-03 14:55:09] 483*2^702326-1 is not prime. Res64: C4786A910375CAF6 Time : 5458.0 sec. user=vaughan [2009-07-03 14:55:36] 477*2^702326-1 is not prime. Res64: DD5E6F3E79996BA5 Time : 5685.0 sec. user=vaughan [2009-07-03 15:04:29] 489*2^702327-1 is not prime. Res64: 2FB6256ACAEC76EC Time : 5466.0 sec. user=vaughan [2009-07-03 15:04:57] 501*2^702326-1 is not prime. Res64: B4A8B0B1F1C5333E Time : 5679.0 sec. user=vaughan [2009-07-03 15:11:14] 415*2^702331-1 is not prime. Res64: 5A1DBC3E28569E58 Time : 2080.0 sec. user=vaughan [2009-07-03 15:14:12] 559*2^702327-1 is not prime. Res64: E28C008EF81FD929 Time : 5478.0 sec. user=vaughan [2009-07-03 15:14:40] 493*2^702327-1 is not prime. Res64: 1B1D37252FC22970 Time : 5639.0 sec. user=vaughan [2009-07-03 15:23:32] 585*2^702327-1 is not prime. Res64: 0982A980A2075A52 Time : 5527.0 sec. user=vaughan [2009-07-03 15:23:54] 565*2^702327-1 is not prime. Res64: 51FBBA971CEBF144 Time : 5633.0 sec. user=vaughan [2009-07-03 15:32:49] 453*2^702328-1 is not prime. Res64: 9B219FCB584A5A3D Time : 5531.0 sec. user=vaughan [2009-07-03 15:32:57] 595*2^702327-1 is not prime. Res64: 85196F4E305A7A4C Time : 5627.0 sec. user=vaughan [2009-07-03 15:41:58] 563*2^702328-1 is not prime. Res64: 4725FF3847A7C9AE Time : 5558.0 sec. user=vaughan [2009-07-03 15:41:59] 539*2^702328-1 is not prime. Res64: DDEC96AF9C63CF0E Time : 5629.0 sec. user=vaughan [2009-07-03 15:46:02] 515*2^702332-1 is not prime. Res64: 08D6A03A2A48BBB8 Time : 2088.0 sec. user=vaughan [2009-07-03 15:50:58] 439*2^702329-1 is not prime. Res64: 9BDF651705C9B345 Time : 5610.0 sec. user=vaughan [2009-07-03 15:51:10] 477*2^702329-1 is not prime. Res64: 5687819146239778 Time : 5567.0 sec. user=vaughan [2009-07-03 16:00:07] 511*2^702329-1 is not prime. Res64: E48683892C77F226 Time : 5589.0 sec. user=vaughan [2009-07-03 16:00:11] 417*2^702330-1 is not prime. Res64: B3A171E70763D52C Time : 5559.0 sec. user=vaughan [2009-07-03 16:09:05] 587*2^702330-1 is not prime. Res64: 715434ED31019D7E Time : 5574.0 sec. user=vaughan [2009-07-03 16:09:22] 453*2^702331-1 is not prime. Res64: DE094540274F112D Time : 5556.0 sec. user=vaughan [2009-07-03 16:18:38] 549*2^702331-1 is not prime. Res64: D9A4511A9953D320 Time : 5568.0 sec. user=vaughan [2009-07-03 16:18:45] 495*2^702331-1 is not prime. Res64: 30B156C538BA13E8 Time : 5575.0 sec. user=vaughan [2009-07-03 16:20:40] 453*2^702334-1 is not prime. Res64: 009ED86A2869BD93 Time : 2079.0 sec. user=vaughan [2009-07-03 16:27:59] 573*2^702331-1 is not prime. Res64: 7148B0B40281C624 Time : 5570.0 sec. user=vaughan [2009-07-03 16:28:04] 595*2^702331-1 is not prime. Res64: 0F85066FA71BEC3D Time : 5548.0 sec. user=vaughan [2009-07-03 16:37:09] 467*2^702332-1 is not prime. Res64: 4FF3722DB20968C9 Time : 5560.0 sec. user=vaughan [2009-07-03 16:37:17] 489*2^702332-1 is not prime. Res64: C55B94497DF7617C Time : 5540.0 sec. user=vaughan [2009-07-03 16:46:33] 585*2^702332-1 is not prime. Res64: E13CFACC99262208 Time : 5541.0 sec. user=vaughan [2009-07-03 16:46:45] 441*2^702333-1 is not prime. Res64: CC4ADA772CA6FF02 Time : 5525.0 sec. user=vaughan [2009-07-03 16:55:00] 421*2^702337-1 is not prime. Res64: EA822F8326543EE4 Time : 2060.0 sec. user=vaughan [2009-07-03 16:56:01] 451*2^702333-1 is not prime. Res64: 411F531042DCD84A Time : 5549.0 sec. user=vaughan [2009-07-03 16:56:24] 457*2^702333-1 is not prime. Res64: 8945699DA4608A37 Time : 5550.0 sec. user=vaughan [2009-07-03 17:05:30] 459*2^702333-1 is not prime. Res64: E12EDDEA365B75CB Time : 5561.0 sec. user=vaughan [2009-07-03 17:05:47] 517*2^702333-1 is not prime. Res64: 279681AA5740F331 Time : 5571.0 sec. user=vaughan [2009-07-03 17:14:50] 555*2^702333-1 is not prime. Res64: 65C56C6B99476472 Time : 5572.0 sec. user=vaughan [2009-07-03 17:14:55] 411*2^702334-1 is not prime. Res64: 3D14F221455EDF71 Time : 5577.0 sec. user=vaughan [2009-07-03 17:24:07] 573*2^702334-1 is not prime. Res64: 80711CADDD84941C Time : 5578.0 sec. user=vaughan [2009-07-03 17:24:17] 555*2^702334-1 is not prime. Res64: 9DF586BD19DA60F4 Time : 5599.0 sec. user=vaughan [2009-07-03 17:28:15] 441*2^702339-1 is not prime. Res64: 2F9646CE18FB4509 Time : 1995.0 sec. user=vaughan [2009-07-03 17:33:14] 433*2^702335-1 is not prime. Res64: B5BDFF625608EC2D Time : 5587.0 sec. user=vaughan [2009-07-03 17:33:17] 475*2^702335-1 is not prime. Res64: 01EA46F664E4AAF9 Time : 5586.0 sec. user=vaughan [2009-07-03 17:42:11] 525*2^702335-1 is not prime. Res64: 36A5D4ACAB4FA20B Time : 5587.0 sec. user=vaughan [2009-07-03 17:42:28] 531*2^702335-1 is not prime. Res64: 1CE610569B3B3812 Time : 5586.0 sec. user=vaughan [2009-07-03 17:51:45] 553*2^702335-1 is not prime. Res64: EA25D8D982D0C59F Time : 5587.0 sec. user=vaughan [2009-07-03 17:51:53] 455*2^702336-1 is not prime. Res64: 719367302859EBC7 Time : 5588.0 sec. user=vaughan [2009-07-03 18:00:04] 517*2^702341-1 is not prime. Res64: D59E1FB4FFB77943 Time : 1909.0 sec. user=vaughan [2009-07-03 18:01:27] 471*2^702337-1 is not prime. Res64: A5AD28AEF6EAD2DE Time : 5608.0 sec. user=vaughan [2009-07-03 18:01:33] 555*2^702337-1 is not prime. Res64: 694DEB05938FD89F Time : 5609.0 sec. user=vaughan [2009-07-03 18:10:43] 501*2^702338-1 is not prime. Res64: BC50CCF0CA0C30EF Time : 5606.0 sec. user=vaughan [2009-07-03 18:10:45] 565*2^702337-1 is not prime. Res64: 5459107EAEB22D6B Time : 5616.0 sec. user=vaughan [2009-07-03 18:19:54] 507*2^702338-1 is not prime. Res64: 3CB3FC4318EC8B64 Time : 5601.0 sec. user=vaughan [2009-07-03 18:20:01] 429*2^702339-1 is not prime. Res64: 3BFF90C9885AD53F Time : 5596.0 sec. user=vaughan [2009-07-03 18:29:20] 583*2^702339-1 is not prime. Res64: 0EE2B6DE3BE4F40C Time : 5577.0 sec. user=vaughan [2009-07-03 18:29:27] 489*2^702339-1 is not prime. Res64: 3375F4982494F07B Time : 5606.0 sec. user=vaughan [2009-07-03 18:33:36] 513*2^702342-1 is not prime. Res64: BCC6D81C9DD25C51 Time : 2012.0 sec. user=vaughan [2009-07-03 18:38:54] 519*2^702340-1 is not prime. Res64: 8602E43D45C3F1AB Time : 5605.0 sec. user=vaughan [2009-07-03 18:39:08] 545*2^702340-1 is not prime. Res64: AF3D691483927DD9 Time : 5601.0 sec. user=vaughan [2009-07-03 18:48:09] 411*2^702341-1 is not prime. Res64: D34248ACF756873F Time : 5600.0 sec. user=vaughan [2009-07-03 18:48:28] 445*2^702341-1 is not prime. Res64: 2F429562DCD44B42 Time : 5614.0 sec. user=vaughan [2009-07-03 18:57:36] 459*2^702341-1 is not prime. Res64: 3375EAF8A6689698 Time : 5610.0 sec. user=vaughan [2009-07-03 18:58:10] 465*2^702341-1 is not prime. Res64: 9FCB1B0B547010A7 Time : 5633.0 sec. user=vaughan [2009-07-03 19:06:52] 547*2^702341-1 is not prime. Res64: D625A96AAC3A5B7E Time : 5615.0 sec. user=vaughan [2009-07-03 19:07:48] 525*2^702341-1 is not prime. Res64: 3F3E55499E52FC00 Time : 5674.0 sec. user=vaughan [2009-07-03 19:08:34] 531*2^702345-1 is not prime. Res64: B66A1A681F8F59DD Time : 2099.0 sec. user=vaughan [2009-07-03 19:15:51] 401*2^702342-1 is not prime. Res64: A045811650065D9D Time : 5603.0 sec. user=vaughan [2009-07-03 19:17:12] 549*2^702341-1 is not prime. Res64: D9497921E4E5BF11 Time : 5701.0 sec. user=vaughan [2009-07-03 19:25:25] 483*2^702342-1 is not prime. Res64: 6B8FE9B91CE6FF55 Time : 5612.0 sec. user=vaughan [2009-07-03 19:26:32] 423*2^702342-1 is not prime. Res64: A40523B36B29FDA5 Time : 5687.0 sec. user=vaughan [2009-07-03 19:35:14] 543*2^702342-1 is not prime. Res64: E3192811DEE318C0 Time : 5627.0 sec. user=vaughan [2009-07-03 19:35:41] 411*2^702343-1 is not prime. Res64: 72AA7D395D0040D9 Time : 5648.0 sec. user=vaughan [2009-07-03 19:44:33] 407*2^702344-1 is not prime. Res64: 9925B5F1761B5FCA Time : 5628.0 sec. user=vaughan [2009-07-03 19:44:49] 423*2^702343-1 is not prime. Res64: 8FC2BF963A013924 Time : 5646.0 sec. user=vaughan [2009-07-03 19:54:01] 479*2^702344-1 is not prime. Res64: 3D14403D7263EB13 Time : 5647.0 sec. user=vaughan [2009-07-03 19:54:45] 445*2^702345-1 is not prime. Res64: 6EFEE2F41C48F33C Time : 5684.0 sec. user=vaughan [2009-07-03 20:03:21] 529*2^702345-1 is not prime. Res64: 5052D29210B9C05A Time : 5634.0 sec. user=vaughan [2009-07-03 20:04:13] 495*2^702345-1 is not prime. Res64: EEE5982327A1EB47 Time : 5694.0 sec. user=vaughan [2009-07-03 20:13:05] 579*2^702345-1 is not prime. Res64: 0D13BA4379975EC4 Time : 5652.0 sec. user=vaughan [2009-07-03 20:13:56] 495*2^702346-1 is not prime. Res64: 96B7B175C442DE0F Time : 5688.0 sec. user=vaughan [2009-07-03 20:22:09] 597*2^702346-1 is not prime. Res64: 6F1AEADB4C1F9F86 Time : 5641.0 sec. user=vaughan [2009-07-03 20:22:55] 433*2^702347-1 is not prime. Res64: A0D1C3D976711DDB Time : 5667.0 sec. user=vaughan [2009-07-03 20:31:18] 489*2^702347-1 is not prime. Res64: 9F7E83E2018DCF94 Time : 5622.0 sec. user=vaughan [2009-07-03 20:31:48] 511*2^702347-1 is not prime. Res64: B8DAE44C491D2C80 Time : 5618.0 sec. user=vaughan [2009-07-03 20:40:32] 531*2^702347-1 is not prime. Res64: 734265D08D775D40 Time : 5620.0 sec. user=vaughan [2009-07-03 20:40:46] 419*2^702348-1 is not prime. Res64: 91C262B7AD8A0910 Time : 5578.0 sec. user=vaughan [2009-07-03 20:49:48] 539*2^702348-1 is not prime. Res64: 2018BD94DDAF54F6 Time : 5638.0 sec. user=vaughan [2009-07-03 20:50:13] 555*2^702348-1 is not prime. Res64: D90A9D325DA53718 Time : 5581.0 sec. user=vaughan [2009-07-03 20:59:09] 415*2^702349-1 is not prime. Res64: 5B9FCFC54345DCCD Time : 5624.0 sec. user=vaughan [2009-07-03 20:59:20] 451*2^702349-1 is not prime. Res64: 3C3570E1265B141F Time : 5568.0 sec. user=vaughan [2009-07-03 21:08:28] 465*2^702349-1 is not prime. Res64: 0DB5C37856D31D4E Time : 5594.0 sec. user=vaughan [2009-07-03 21:08:51] 477*2^702349-1 is not prime. Res64: 56D9D2997D9C50B9 Time : 5591.0 sec. user=vaughan [2009-07-03 21:17:44] 495*2^702349-1 is not prime. Res64: 64681FAABAD68B7A Time : 5591.0 sec. user=vaughan [2009-07-03 21:17:59] 525*2^702349-1 is not prime. Res64: F5B05EAD3C6D4307 Time : 5590.0 sec. user=vaughan [2009-07-03 21:27:05] 405*2^702350-1 is not prime. Res64: 0D795882E814A6E2 Time : 5584.0 sec. user=vaughan [2009-07-03 21:27:31] 423*2^702350-1 is not prime. Res64: 773A8F7D7B22D5B6 Time : 5566.0 sec. user=vaughan [2009-07-03 21:36:32] 515*2^702350-1 is not prime. Res64: A67C7116A0121733 Time : 5592.0 sec. user=vaughan [2009-07-03 21:37:19] 561*2^702350-1 is not prime. Res64: 77333BC449CDEC53 Time : 5586.0 sec. user=vaughan [2009-07-03 21:46:15] 567*2^702350-1 is not prime. Res64: 6BF2D69A7390496A Time : 5590.0 sec. user=vaughan [2009-07-03 21:47:13] 445*2^702351-1 is not prime. Res64: 445A159F21999E2F Time : 5597.0 sec. user=vaughan [2009-07-03 21:55:27] 459*2^702351-1 is not prime. Res64: 7AB1A83F1CFE9B05 Time : 5598.0 sec. user=vaughan [2009-07-03 21:56:26] 535*2^702351-1 is not prime. Res64: 350BA0FB935D8FD1 Time : 5611.0 sec. user=vaughan [2009-07-03 22:04:58] 507*2^702352-1 is not prime. Res64: CF7845BC8CF4FF8A Time : 5620.0 sec. user=vaughan [2009-07-03 22:06:09] 537*2^702352-1 is not prime. Res64: 47BF9FC8A9CFAF58 Time : 5661.0 sec. user=vaughan [2009-07-03 22:14:14] 549*2^702352-1 is not prime. Res64: 3E7DDF4C906BFC20 Time : 5623.0 sec. user=vaughan [2009-07-03 22:15:26] 411*2^702353-1 is not prime. Res64: C131CA0AE4322971 Time : 5680.0 sec. user=vaughan [2009-07-03 22:23:12] 439*2^702353-1 is not prime. Res64: 50147062AD99B044 Time : 5604.0 sec. user=vaughan [2009-07-03 22:24:37] 465*2^702353-1 is not prime. Res64: 6277FFE4ED9D157C Time : 5664.0 sec. user=vaughan [2009-07-03 22:32:22] 475*2^702353-1 is not prime. Res64: 5AC27663882F93A0 Time : 5593.0 sec. user=vaughan [2009-07-03 22:33:40] 559*2^702353-1 is not prime. Res64: 0D9BBA612A7287BA Time : 5660.0 sec. user=vaughan [2009-07-03 22:41:36] 589*2^702353-1 is not prime. Res64: 3F21CB49849D62BA Time : 5589.0 sec. user=vaughan [2009-07-03 22:42:45] 591*2^702353-1 is not prime. Res64: 4341D9A8B69205A2 Time : 5635.0 sec. user=vaughan [2009-07-03 22:50:23] 411*2^702354-1 is not prime. Res64: 6752B07DCDD542A3 Time : 5559.0 sec. user=vaughan [2009-07-03 22:51:31] 417*2^702354-1 is not prime. Res64: FF67326A054ECA8C Time : 5612.0 sec. user=vaughan [2009-07-03 22:59:32] 461*2^702354-1 is not prime. Res64: 80F107247D970E89 Time : 5548.0 sec. user=vaughan [2009-07-03 23:00:50] 465*2^702354-1 is not prime. Res64: 5FBF3D0F4AD729D1 Time : 5599.0 sec. user=vaughan [2009-07-03 23:08:42] 551*2^702354-1 is not prime. Res64: 03BE0CF75E46442C Time : 5531.0 sec. user=vaughan [2009-07-03 23:10:14] 567*2^702354-1 is not prime. Res64: 1486BE00AF24F7D2 Time : 5575.0 sec. user=vaughan [2009-07-03 23:18:07] 421*2^702355-1 is not prime. Res64: 4271014116F6107B Time : 5513.0 sec. user=vaughan [2009-07-03 23:20:00] 495*2^702355-1 is not prime. Res64: F874EA5B380A3084 Time : 5567.0 sec. user=vaughan [2009-07-03 23:27:20] 499*2^702355-1 is not prime. Res64: 8AEF512C89F0731F Time : 5513.0 sec. user=vaughan [2009-07-03 23:29:43] 555*2^702355-1 is not prime. Res64: 93959572F36326F6 Time : 5597.0 sec. user=vaughan [2009-07-03 23:36:51] 595*2^702355-1 is not prime. Res64: 020F2BDFD3D1A619 Time : 5513.0 sec. user=vaughan [2009-07-03 23:39:07] 435*2^702356-1 is not prime. Res64: 61764944448DF178 Time : 5578.0 sec. user=vaughan [2009-07-03 23:46:10] 409*2^702357-1 is not prime. Res64: E1E0A4C1D96B04C5 Time : 5516.0 sec. user=vaughan [2009-07-03 23:48:02] 429*2^702357-1 is not prime. Res64: 61C1EAF5D223ACB3 Time : 5557.0 sec. user=vaughan [2009-07-03 23:55:22] 511*2^702357-1 is not prime. Res64: 9D433293148BFB6C Time : 5530.0 sec. user=vaughan [2009-07-03 23:57:11] 565*2^702357-1 is not prime. Res64: 709B1FB0D260FAEB Time : 5554.0 sec.