user=vaughan [2009-07-04 00:04:29] 595*2^702357-1 is not prime. Res64: 646CE8BB33C33B33 Time : 5528.0 sec. user=vaughan [2009-07-04 00:06:27] 401*2^702358-1 is not prime. Res64: 5E43300659B2FA00 Time : 5567.0 sec. user=vaughan [2009-07-04 00:14:30] 425*2^702358-1 is not prime. Res64: 238E2572B27D9C15 Time : 5574.0 sec. user=vaughan [2009-07-04 00:16:24] 461*2^702358-1 is not prime. Res64: A8FD048F01892897 Time : 5619.0 sec. user=vaughan [2009-07-04 00:24:18] 467*2^702358-1 is not prime. Res64: 63AA467D8CAEECBF Time : 5635.0 sec. user=vaughan [2009-07-04 00:26:19] 597*2^702358-1 is not prime. Res64: 488AA4AD4211727E Time : 5688.0 sec. user=vaughan [2009-07-04 00:33:53] 445*2^702359-1 is not prime. Res64: 1B73792A457184F1 Time : 5661.0 sec. user=vaughan [2009-07-04 00:36:11] 493*2^702359-1 is not prime. Res64: EB16567846603F9B Time : 5721.0 sec. user=vaughan [2009-07-04 00:43:24] 505*2^702359-1 is not prime. Res64: 308B40DCDD1248DA Time : 5682.0 sec. user=vaughan [2009-07-04 00:46:04] 531*2^702359-1 is not prime. Res64: 03C2B56640D3F1DF Time : 5750.0 sec. user=vaughan [2009-07-04 00:52:44] 543*2^702359-1 is not prime. Res64: 81DBA7779CDC05F6 Time : 5678.0 sec. user=vaughan [2009-07-04 00:55:24] 571*2^702359-1 is not prime. Res64: D98015B314B2059B Time : 5724.0 sec. user=vaughan [2009-07-04 01:02:16] 453*2^702360-1 is not prime. Res64: 98627C7380F0BA36 Time : 5696.0 sec. user=vaughan [2009-07-04 01:04:54] 479*2^702360-1 is not prime. Res64: 71C4E35987E20D53 Time : 5711.0 sec. user=vaughan [2009-07-04 01:11:24] 503*2^702360-1 is not prime. Res64: 49D78F42E5EF0963 Time : 5673.0 sec. user=vaughan [2009-07-04 01:14:10] 543*2^702360-1 is not prime. Res64: B63E1994B539B095 Time : 5704.0 sec. user=vaughan [2009-07-04 01:20:36] 453*2^702362-1 is not prime. Res64: DB9BE98334CBFEF4 Time : 5666.0 sec. user=vaughan [2009-07-04 01:23:16] 563*2^702362-1 is not prime. Res64: 5D531D390DBC3810 Time : 5714.0 sec. user=vaughan [2009-07-04 01:29:39] 573*2^702362-1 is not prime. Res64: 61B672EA8AB2B95C Time : 5657.0 sec. user=vaughan [2009-07-04 01:32:17] 415*2^702363-1 is not prime. Res64: 2A753CE7C3644470 Time : 5706.0 sec. user=vaughan [2009-07-04 01:38:28] 435*2^702364-1 is not prime. Res64: F4298EB3786C5980 Time : 5640.0 sec. user=vaughan [2009-07-04 01:41:22] 479*2^702364-1 is not prime. Res64: 1CC1A96430938C59 Time : 5696.0 sec. user=vaughan [2009-07-04 01:47:13] 485*2^702364-1 is not prime. Res64: 0E2E555680ED3B55 Time : 5563.0 sec. user=vaughan [2009-07-04 01:50:48] 573*2^702364-1 is not prime. Res64: 8E3BD74D45B6451B Time : 5664.0 sec. user=vaughan [2009-07-04 01:56:20] 575*2^702364-1 is not prime. Res64: 55F593F2356F3124 Time : 5522.0 sec. user=vaughan [2009-07-04 02:00:05] 447*2^702365-1 is not prime. Res64: 8EF6EEC5E15F0075 Time : 5626.0 sec. user=vaughan [2009-07-04 02:05:48] 547*2^702365-1 is not prime. Res64: 69A7DDBE60309B60 Time : 5515.0 sec. user=vaughan [2009-07-04 02:09:17] 405*2^702367-1 is not prime. Res64: BBF170C503D0422B Time : 5586.0 sec. user=vaughan [2009-07-04 02:14:56] 475*2^702367-1 is not prime. Res64: 64D3DD5770FEFA5E Time : 5492.0 sec. user=vaughan [2009-07-04 02:18:29] 483*2^702367-1 is not prime. Res64: ABC0FF9CF8898E68 Time : 5545.0 sec. user=vaughan [2009-07-04 02:24:17] 493*2^702367-1 is not prime. Res64: 2B675554258264AF Time : 5493.0 sec. user=vaughan [2009-07-04 02:28:06] 511*2^702367-1 is not prime. Res64: 342F071861DF8ABD Time : 5562.0 sec. user=vaughan [2009-07-04 02:33:24] 519*2^702367-1 is not prime. Res64: 83A25E6FDB24EDA4 Time : 5468.0 sec. user=vaughan [2009-07-04 02:37:18] 559*2^702367-1 is not prime. Res64: 0E4B0941528A9131 Time : 5544.0 sec. user=vaughan [2009-07-04 02:42:46] 423*2^702368-1 is not prime. Res64: 9753874D9E0C1646 Time : 5482.0 sec. user=vaughan [2009-07-04 02:45:54] 467*2^702368-1 is not prime. Res64: 06DB2F55203AB647 Time : 5504.0 sec. user=vaughan [2009-07-04 02:51:21] 599*2^702368-1 is not prime. Res64: BE42FCDA4B2A3F6F Time : 5445.0 sec. user=vaughan [2009-07-04 02:55:17] 427*2^702369-1 is not prime. Res64: A0F5BA6ABB7DBA3A Time : 5521.0 sec. user=vaughan [2009-07-04 03:00:50] 441*2^702369-1 is not prime. Res64: 9416C0B1774AB00E Time : 5471.0 sec. user=vaughan [2009-07-04 03:04:57] 465*2^702369-1 is not prime. Res64: CF5FB21D9D99F183 Time : 5561.0 sec. user=vaughan [2009-07-04 03:10:14] 495*2^702369-1 is not prime. Res64: 20682B0A834664F2 Time : 5507.0 sec. user=vaughan [2009-07-04 03:14:22] 559*2^702369-1 is not prime. Res64: 4BA3D9D23D1F8572 Time : 5581.0 sec. user=vaughan [2009-07-04 03:19:14] 575*2^702370-1 is not prime. Res64: 1E696D9979B988A1 Time : 5522.0 sec. user=vaughan [2009-07-04 03:22:42] 579*2^702371-1 is not prime. Res64: 2551D196DE992B80 Time : 5514.0 sec. user=vaughan [2009-07-04 03:27:46] 585*2^702371-1 is not prime. Res64: 92C7012646F6DDE4 Time : 5486.0 sec. user=vaughan [2009-07-04 03:32:02] 447*2^702372-1 is not prime. Res64: D569143EAF265C9C Time : 5518.0 sec. user=vaughan [2009-07-04 03:36:59] 515*2^702372-1 is not prime. Res64: 85B844E53B1F1F6C Time : 5472.0 sec. user=vaughan [2009-07-04 03:41:11] 527*2^702372-1 is not prime. Res64: 4ED648AB671D8A2F Time : 5515.0 sec. user=vaughan [2009-07-04 03:46:17] 563*2^702372-1 is not prime. Res64: 64591BF462314913 Time : 5481.0 sec. user=vaughan [2009-07-04 03:50:27] 567*2^702372-1 is not prime. Res64: 3212E84574E90C3D Time : 5519.0 sec. user=vaughan [2009-07-04 03:54:34] 569*2^702372-1 is not prime. Res64: A59735116A03CEC6 Time : 5418.0 sec. user=vaughan [2009-07-04 03:58:26] 451*2^702373-1 is not prime. Res64: 2C7950F0DD9FF0A2 Time : 5421.0 sec. user=vaughan [2009-07-04 04:02:24] 481*2^702373-1 is not prime. Res64: 8BF3B42E8D14CC46 Time : 5340.0 sec. user=vaughan [2009-07-04 04:06:20] 511*2^702373-1 is not prime. Res64: AF99D69F1BF6C871 Time : 5343.0 sec. user=vaughan [2009-07-04 04:10:16] 537*2^702373-1 is not prime. Res64: 92931BB3AD71DB6A Time : 5251.0 sec. user=vaughan [2009-07-04 04:14:15] 547*2^702373-1 is not prime. Res64: 80977D721F360394 Time : 5302.0 sec. user=vaughan [2009-07-04 04:18:06] 407*2^702374-1 is not prime. Res64: BE6B4445EE2D59F5 Time : 5206.0 sec. user=vaughan [2009-07-04 04:22:10] 483*2^702374-1 is not prime. Res64: 885100C0C5F1418B Time : 5213.0 sec. user=vaughan [2009-07-04 04:25:59] 503*2^702374-1 is not prime. Res64: 2E6E5E3DD7C256B4 Time : 5109.0 sec. user=vaughan [2009-07-04 04:30:05] 521*2^702374-1 is not prime. Res64: 3D0F245DE7535A83 Time : 5109.0 sec. user=vaughan [2009-07-04 04:33:53] 563*2^702374-1 is not prime. Res64: E2EA8B3C726DC27F Time : 5020.0 sec. user=vaughan [2009-07-04 04:38:00] 587*2^702374-1 is not prime. Res64: A028EC3717C51C75 Time : 5019.0 sec. user=vaughan [2009-07-04 04:41:42] 403*2^702375-1 is not prime. Res64: DE5B5516D5A34433 Time : 4949.0 sec. user=vaughan [2009-07-04 04:45:53] 469*2^702375-1 is not prime. Res64: D3DEEEAA8CD77D94 Time : 4991.0 sec. user=vaughan [2009-07-04 04:49:34] 475*2^702375-1 is not prime. Res64: 1843671D67B4DDDE Time : 4908.0 sec. user=vaughan [2009-07-04 04:53:49] 489*2^702375-1 is not prime. Res64: D31A596AF2A7F339 Time : 4908.0 sec. user=vaughan [2009-07-04 04:57:25] 595*2^702375-1 is not prime. Res64: C1AE706DD0C8649A Time : 4826.0 sec. user=vaughan [2009-07-04 05:01:43] 405*2^702376-1 is not prime. Res64: 920D6C3BAB277F8A Time : 4832.0 sec. user=vaughan [2009-07-04 05:05:16] 449*2^702376-1 is not prime. Res64: 2508FDB290F3D2E7 Time : 4739.0 sec. user=vaughan [2009-07-04 05:09:39] 465*2^702376-1 is not prime. Res64: E16D96977C8C121C Time : 4753.0 sec. user=vaughan [2009-07-04 05:13:07] 537*2^702376-1 is not prime. Res64: AAD234DE59FB76BE Time : 4713.0 sec. user=vaughan [2009-07-04 05:17:37] 569*2^702376-1 is not prime. Res64: DE64861D002CED59 Time : 4751.0 sec. user=vaughan [2009-07-04 05:21:01] 475*2^702377-1 is not prime. Res64: D4B321683D7A1CCE Time : 4717.0 sec. user=vaughan [2009-07-04 05:25:45] 487*2^702377-1 is not prime. Res64: D76941C1ECDB9BD5 Time : 4766.0 sec. user=vaughan [2009-07-04 05:29:05] 517*2^702377-1 is not prime. Res64: 01BB5411354BFC22 Time : 4729.0 sec. user=vaughan [2009-07-04 05:33:39] 589*2^702377-1 is not prime. Res64: EA06258F63B8C996 Time : 4764.0 sec. user=vaughan [2009-07-04 05:36:58] 405*2^702378-1 is not prime. Res64: CFF53235A2BB0091 Time : 4732.0 sec. user=vaughan [2009-07-04 05:41:33] 447*2^702378-1 is not prime. Res64: 721230BD1EA3889D Time : 4764.0 sec. user=vaughan [2009-07-04 05:44:50] 461*2^702378-1 is not prime. Res64: E5D6571FF9ACB2DA Time : 4731.0 sec. user=vaughan [2009-07-04 05:49:38] 503*2^702378-1 is not prime. Res64: 607FCE48C4368923 Time : 4773.0 sec. user=vaughan [2009-07-04 05:53:33] 507*2^702378-1 is not prime. Res64: 179CFA347D73B4A1 Time : 4781.0 sec. user=vaughan [2009-07-04 05:59:20] 421*2^702379-1 is not prime. Res64: 28840B5DFADAE8D0 Time : 4881.0 sec. user=vaughan [2009-07-04 06:02:46] 471*2^702379-1 is not prime. Res64: A1523C6318E2F0F8 Time : 4864.0 sec. user=vaughan [2009-07-04 06:08:30] 555*2^702379-1 is not prime. Res64: 5033AC37B88DFAA9 Time : 4958.0 sec. user=vaughan [2009-07-04 06:11:55] 447*2^702380-1 is not prime. Res64: 928DA08133748981 Time : 4942.0 sec. user=vaughan [2009-07-04 06:17:31] 489*2^702380-1 is not prime. Res64: 44E0C5FFB77E8E84 Time : 5023.0 sec. user=vaughan [2009-07-04 06:21:04] 599*2^702380-1 is not prime. Res64: 3D5BAFA031F052F9 Time : 5019.0 sec. user=vaughan [2009-07-04 06:26:53] 469*2^702381-1 is not prime. Res64: C1974638338F88C7 Time : 5110.0 sec. user=vaughan [2009-07-04 06:30:24] 471*2^702381-1 is not prime. Res64: 74E80F1931709D29 Time : 5108.0 sec. user=vaughan [2009-07-04 06:35:50] 499*2^702381-1 is not prime. Res64: C392C8D1348CD456 Time : 5171.0 sec. user=vaughan [2009-07-04 06:39:33] 507*2^702381-1 is not prime. Res64: 77DFC72C27E76974 Time : 5187.0 sec. user=vaughan [2009-07-04 06:45:05] 555*2^702381-1 is not prime. Res64: E9A397C2CCE773E8 Time : 5249.0 sec. user=vaughan [2009-07-04 06:48:48] 401*2^702382-1 is not prime. Res64: EAC6A9B6B18CDF76 Time : 5267.0 sec. user=vaughan [2009-07-04 06:54:51] 423*2^702382-1 is not prime. Res64: C496BE25CD50FD9D Time : 5347.0 sec. user=vaughan [2009-07-04 06:58:05] 461*2^702382-1 is not prime. Res64: 5688253574FB4DD8 Time : 5340.0 sec. user=vaughan [2009-07-04 07:04:21] 483*2^702382-1 is not prime. Res64: 3FB37C532A1498BC Time : 5442.0 sec. user=vaughan [2009-07-04 07:07:28] 495*2^702382-1 is not prime. Res64: B47F4C7A2A7E9CED Time : 5431.0 sec. user=vaughan [2009-07-04 07:14:07] 521*2^702382-1 is not prime. Res64: 7845BA1D1F7EBAB9 Time : 5555.0 sec. user=vaughan [2009-07-04 07:16:53] 545*2^702382-1 is not prime. Res64: DC8100364B24D783 Time : 5524.0 sec. user=vaughan [2009-07-04 07:24:07] 555*2^702382-1 is not prime. Res64: 14BA0E6401AA485E Time : 5669.0 sec. user=vaughan [2009-07-04 07:26:21] 591*2^702382-1 is not prime. Res64: 0B8890A32D872659 Time : 5568.0 sec. user=vaughan [2009-07-04 07:33:58] 481*2^702383-1 is not prime. Res64: D3D37BD507A05C42 Time : 5678.0 sec. user=vaughan [2009-07-04 07:35:55] 489*2^702383-1 is not prime. Res64: 918DB3227CD455D6 Time : 5590.0 sec. user=vaughan [2009-07-04 07:43:47] 563*2^702384-1 is not prime. Res64: C1E2559CF5960812 Time : 5717.0 sec. user=vaughan [2009-07-04 07:45:17] 405*2^702385-1 is not prime. Res64: C5B939A993432040 Time : 5603.0 sec. user=vaughan [2009-07-04 07:53:17] 409*2^702385-1 is not prime. Res64: 48786FE324134686 Time : 5747.0 sec. user=vaughan [2009-07-04 07:54:35] 507*2^702385-1 is not prime. Res64: 1872BA0BBF63A427 Time : 5612.0 sec. user=vaughan [2009-07-04 08:02:22] 525*2^702385-1 is not prime. Res64: 29994788C99E5A0F Time : 5730.0 sec. user=vaughan [2009-07-04 08:03:48] 541*2^702385-1 is not prime. Res64: 9597A6DC61CEE19A Time : 5604.0 sec. user=vaughan [2009-07-04 08:11:55] 597*2^702385-1 is not prime. Res64: F91F8EF3BA346607 Time : 5765.0 sec. user=vaughan [2009-07-04 08:13:08] 407*2^702386-1 is not prime. Res64: CBE1DCE9E51A25B3 Time : 5616.0 sec. user=vaughan [2009-07-04 08:21:04] 431*2^702386-1 is not prime. Res64: 0E79BE69AE907EF8 Time : 5760.0 sec. user=vaughan [2009-07-04 08:22:19] 531*2^702386-1 is not prime. Res64: C368F903F4E0BAE3 Time : 5611.0 sec. user=vaughan [2009-07-04 08:30:16] 537*2^702386-1 is not prime. Res64: EE7C05BA311D5DAC Time : 5725.0 sec. user=vaughan [2009-07-04 08:31:26] 563*2^702386-1 is not prime. Res64: 13ECEFED66662F6D Time : 5602.0 sec. user=vaughan [2009-07-04 08:40:02] 409*2^702387-1 is not prime. Res64: 0FFA2961F3F9FE79 Time : 5742.0 sec. user=vaughan [2009-07-04 08:40:53] 453*2^702387-1 is not prime. Res64: 5BC3B0900CC3F390 Time : 5606.0 sec. user=vaughan [2009-07-04 08:49:44] 483*2^702387-1 is not prime. Res64: D055A4AF8FC05BE6 Time : 5738.0 sec. user=vaughan [2009-07-04 08:50:17] 579*2^702387-1 is not prime. Res64: BDA9C3D6BAD633B9 Time : 5605.0 sec. user=vaughan [2009-07-04 08:59:16] 495*2^702388-1 is not prime. Res64: 8A77797BA98563C5 Time : 5709.0 sec. user=vaughan [2009-07-04 08:59:35] 533*2^702388-1 is not prime. Res64: 33CC89BFA4B4430F Time : 5594.0 sec. user=vaughan [2009-07-04 09:08:32] 567*2^702388-1 is not prime. Res64: E4A4D38DEA86706A Time : 5675.0 sec. user=vaughan [2009-07-04 09:08:49] 417*2^702389-1 is not prime. Res64: B597428F60E7487B Time : 5574.0 sec. user=vaughan [2009-07-04 09:17:37] 441*2^702389-1 is not prime. Res64: 7B25135A41FA3470 Time : 5631.0 sec. user=vaughan [2009-07-04 09:17:58] 495*2^702389-1 is not prime. Res64: 46398305827E8A9B Time : 5562.0 sec. user=vaughan [2009-07-04 09:26:59] 511*2^702389-1 is not prime. Res64: BAFE89489FB921BD Time : 5623.0 sec. user=vaughan [2009-07-04 09:27:15] 437*2^702390-1 is not prime. Res64: C63A38F55D0255CA Time : 5561.0 sec. user=vaughan [2009-07-04 09:36:13] 455*2^702390-1 is not prime. Res64: C3B85669680E69EE Time : 5631.0 sec. user=vaughan [2009-07-04 09:36:28] 473*2^702390-1 is not prime. Res64: 308BEFF90A7D276B Time : 5561.0 sec. user=vaughan [2009-07-04 09:45:34] 503*2^702390-1 is not prime. Res64: D65A913B8C3BCB92 Time : 5620.0 sec. user=vaughan [2009-07-04 09:45:54] 515*2^702390-1 is not prime. Res64: 9AFE6E80B9C26F86 Time : 5566.0 sec. user=vaughan [2009-07-04 09:55:04] 527*2^702390-1 is not prime. Res64: EB3C8484D62332F4 Time : 5640.0 sec. user=vaughan [2009-07-04 09:55:19] 537*2^702390-1 is not prime. Res64: 063AA3E729BB69BE Time : 5580.0 sec. user=vaughan [2009-07-04 10:04:21] 581*2^702390-1 is not prime. Res64: A1DD7893D5072440 Time : 5646.0 sec. user=vaughan [2009-07-04 10:04:22] 405*2^702391-1 is not prime. Res64: AC822AF4CC217BF7 Time : 5577.0 sec. user=vaughan [2009-07-04 10:13:41] 493*2^702391-1 is not prime. Res64: 4F4A457954CCF785 Time : 5568.0 sec. user=vaughan [2009-07-04 10:13:57] 415*2^702391-1 is not prime. Res64: 182A26A140303461 Time : 5636.0 sec. user=vaughan [2009-07-04 10:23:17] 479*2^702392-1 is not prime. Res64: 0118E5FF144D525E Time : 5581.0 sec. user=vaughan [2009-07-04 10:23:48] 525*2^702391-1 is not prime. Res64: F51C2528E1F3F2E3 Time : 5645.0 sec. user=vaughan [2009-07-04 10:32:46] 427*2^702393-1 is not prime. Res64: D62BF2529A3ADFC4 Time : 5593.0 sec. user=vaughan [2009-07-04 10:33:29] 519*2^702392-1 is not prime. Res64: 73C090825319E931 Time : 5653.0 sec. user=vaughan [2009-07-04 10:41:56] 487*2^702393-1 is not prime. Res64: 4B735E8BA099442D Time : 5587.0 sec. user=vaughan [2009-07-04 10:42:35] 481*2^702393-1 is not prime. Res64: 5EBA721E9EBF5862 Time : 5643.0 sec. user=vaughan [2009-07-04 10:51:25] 525*2^702393-1 is not prime. Res64: 07297BE04D4BCD78 Time : 5607.0 sec. user=vaughan [2009-07-04 10:51:50] 495*2^702393-1 is not prime. Res64: 041C3FB7C2870E18 Time : 5653.0 sec. user=vaughan [2009-07-04 11:00:58] 533*2^702394-1 is not prime. Res64: 9D892F38DAA146A6 Time : 5623.0 sec. user=vaughan [2009-07-04 11:01:28] 437*2^702394-1 is not prime. Res64: E26B6AEE1ECF4AAA Time : 5669.0 sec. user=vaughan [2009-07-04 11:10:39] 453*2^702395-1 is not prime. Res64: 27B8D2506BF7317E Time : 5651.0 sec. user=vaughan [2009-07-04 11:11:08] 575*2^702394-1 is not prime. Res64: F2A597E1C28DB8B0 Time : 5695.0 sec. user=vaughan [2009-07-04 11:20:05] 481*2^702395-1 is not prime. Res64: 5D013808B569D928 Time : 5652.0 sec. user=vaughan [2009-07-04 11:20:41] 469*2^702395-1 is not prime. Res64: 5991CB20DE2A09D2 Time : 5708.0 sec. user=vaughan [2009-07-04 11:29:13] 523*2^702395-1 is not prime. Res64: FC05F339837E1270 Time : 5634.0 sec. user=vaughan [2009-07-04 11:29:31] 501*2^702395-1 is not prime. Res64: FD95D0286640108A Time : 5667.0 sec. user=vaughan [2009-07-04 11:38:30] 453*2^702396-1 is not prime. Res64: 6D3FB5698ADC0DEF Time : 5648.0 sec. user=vaughan [2009-07-04 11:38:46] 585*2^702395-1 is not prime. Res64: 4B0DA341D7C05A55 Time : 5665.0 sec. user=vaughan [2009-07-04 11:48:22] 563*2^702396-1 is not prime. Res64: C16B80821CFC2009 Time : 5682.0 sec. user=vaughan [2009-07-04 11:48:58] 435*2^702397-1 is not prime. Res64: 6F7A6B7C538F8893 Time : 5701.0 sec. user=vaughan [2009-07-04 11:57:56] 477*2^702397-1 is not prime. Res64: 6A064B627650AAD5 Time : 5679.0 sec. user=vaughan [2009-07-04 11:59:08] 495*2^702397-1 is not prime. Res64: 5043D81FB91B9F4C Time : 5720.0 sec. user=vaughan [2009-07-04 12:07:09] 499*2^702397-1 is not prime. Res64: 0C0F8495A8ECB3EC Time : 5663.0 sec. user=vaughan [2009-07-04 12:08:46] 517*2^702397-1 is not prime. Res64: CC7654622406C908 Time : 5718.0 sec. user=vaughan [2009-07-04 12:16:45] 549*2^702397-1 is not prime. Res64: 0F3FD2300BB4CBC3 Time : 5689.0 sec. user=vaughan [2009-07-04 12:18:46] 453*2^702398-1 is not prime. Res64: 8F79862F15C0C8A6 Time : 5771.0 sec. user=vaughan [2009-07-04 12:25:55] 515*2^702398-1 is not prime. Res64: F5360BFEAF84DA58 Time : 5671.0 sec. user=vaughan [2009-07-04 12:27:50] 525*2^702398-1 is not prime. Res64: B568419BDCF8D697 Time : 5761.0 sec. user=vaughan [2009-07-04 12:35:24] 591*2^702398-1 is not prime. Res64: 7660765DD31277D3 Time : 5666.0 sec. user=vaughan [2009-07-04 12:37:50] 549*2^702399-1 is not prime. Res64: DEA657527AD06BAE Time : 5782.0 sec. user=vaughan [2009-07-04 12:44:29] 447*2^702400-1 is not prime. Res64: 2EC7760AC8CE0B97 Time : 5631.0 sec. user=vaughan [2009-07-04 12:46:58] 449*2^702400-1 is not prime. Res64: 160B134EFC890E0F Time : 5750.0 sec. user=vaughan [2009-07-04 12:53:57] 537*2^702400-1 is not prime. Res64: 8C9C712C828AED8E Time : 5632.0 sec. user=vaughan [2009-07-04 12:56:33] 549*2^702400-1 is not prime. Res64: 4EB75A682A9FD948 Time : 5752.0 sec. user=vaughan [2009-07-04 13:03:15] 563*2^702400-1 is not prime. Res64: 90EC1F32ACC49CEF Time : 5642.0 sec. user=vaughan [2009-07-04 13:05:37] 441*2^702401-1 is not prime. Res64: B9ACC40A6F5F22C4 Time : 5767.0 sec. user=vaughan [2009-07-04 13:12:50] 475*2^702401-1 is not prime. Res64: C91163C7D79265AC Time : 5660.0 sec. user=vaughan [2009-07-04 13:15:22] 537*2^702401-1 is not prime. Res64: F2F584AFBC792194 Time : 5796.0 sec. user=vaughan [2009-07-04 13:22:13] 549*2^702401-1 is not prime. Res64: 858BDB738BB08683 Time : 5631.0 sec. user=vaughan [2009-07-04 13:25:10] 561*2^702401-1 is not prime. Res64: 2056E3A492403173 Time : 5772.0 sec. user=vaughan [2009-07-04 13:31:35] 451*2^702403-1 is not prime. Res64: 73907AE645F062CF Time : 5620.0 sec. user=vaughan [2009-07-04 13:34:34] 489*2^702403-1 is not prime. Res64: 066A0C7C120CB921 Time : 5727.0 sec. user=vaughan [2009-07-04 13:40:50] 511*2^702403-1 is not prime. Res64: 4EEAF677DE6E0CE2 Time : 5621.0 sec. user=vaughan [2009-07-04 13:43:38] 523*2^702403-1 is not prime. Res64: 43774E3ADA61E4ED Time : 5692.0 sec. user=vaughan [2009-07-04 13:50:03] 585*2^702404-1 is not prime. Res64: EBB8187B65D4DEEC Time : 5598.0 sec. user=vaughan [2009-07-04 13:53:02] 429*2^702405-1 is not prime. Res64: 09F2F21F94B84117 Time : 5656.0 sec. user=vaughan [2009-07-04 13:59:25] 447*2^702405-1 is not prime. Res64: E10C0DB3A9E6DCC5 Time : 5610.0 sec. user=vaughan [2009-07-04 14:02:39] 465*2^702405-1 is not prime. Res64: FCE58EDED447BC3A Time : 5689.0 sec. user=vaughan [2009-07-04 14:08:58] 517*2^702405-1 is not prime. Res64: 8F16903D209A2749 Time : 5614.0 sec. user=vaughan [2009-07-04 14:12:03] 525*2^702405-1 is not prime. Res64: 76297EA44DFEDAE3 Time : 5653.0 sec. user=vaughan [2009-07-04 14:18:17] 595*2^702405-1 is not prime. Res64: B92203FA4C2007D4 Time : 5628.0 sec. user=vaughan [2009-07-04 14:21:23] 443*2^702406-1 is not prime. Res64: 775B17407931A688 Time : 5665.0 sec. user=vaughan [2009-07-04 14:27:30] 453*2^702406-1 is not prime. Res64: 260DB74F79B5249E Time : 5613.0 sec. user=vaughan [2009-07-04 14:30:27] 455*2^702406-1 is not prime. Res64: F9BB02A6C772B2ED Time : 5634.0 sec. user=vaughan [2009-07-04 14:36:51] 435*2^702407-1 is not prime. Res64: 1F8F12CE43A30953 Time : 5617.0 sec. user=vaughan [2009-07-04 14:40:06] 523*2^702407-1 is not prime. Res64: F52D3EEEA1DED054 Time : 5669.0 sec. user=vaughan [2009-07-04 14:46:07] 571*2^702407-1 is not prime. Res64: 8B7883ABEE39592A Time : 5597.0 sec. user=vaughan [2009-07-04 14:49:26] 437*2^702408-1 is not prime. Res64: D73F8C10107FCC2D Time : 5644.0 sec. user=vaughan [2009-07-04 14:55:14] 537*2^702408-1 is not prime. Res64: E8B73948F6CE8282 Time : 5581.0 sec. user=vaughan [2009-07-04 14:58:30] 557*2^702408-1 is not prime. Res64: 2191609195F715C8 Time : 5600.0 sec. user=vaughan [2009-07-04 15:04:30] 567*2^702408-1 is not prime. Res64: EE456DFF7B7DDD72 Time : 5576.0 sec. user=vaughan [2009-07-04 15:07:34] 569*2^702408-1 is not prime. Res64: 6711211FC7411CA3 Time : 5580.0 sec. user=vaughan [2009-07-04 15:14:01] 415*2^702409-1 is not prime. Res64: 3B535F53AD7430EC Time : 5592.0 sec. user=vaughan [2009-07-04 15:16:37] 505*2^702409-1 is not prime. Res64: 2F6217A5099E2588 Time : 5580.0 sec. user=vaughan [2009-07-04 15:24:00] 535*2^702409-1 is not prime. Res64: E555A383878C55BD Time : 5637.0 sec. user=vaughan [2009-07-04 15:26:32] 577*2^702409-1 is not prime. Res64: 47AB5E112AD926A5 Time : 5610.0 sec. user=vaughan [2009-07-04 15:33:53] 423*2^702410-1 is not prime. Res64: C2CFED6EB55D128A Time : 5669.0 sec. user=vaughan [2009-07-04 15:36:10] 431*2^702410-1 is not prime. Res64: E9F452DCF7ED4692 Time : 5611.0 sec. user=vaughan [2009-07-04 15:43:41] 437*2^702410-1 is not prime. Res64: 06097546AE5AD4D0 Time : 5683.0 sec. user=vaughan [2009-07-04 15:45:57] 483*2^702410-1 is not prime. Res64: D99D1C606D856814 Time : 5634.0 sec. user=vaughan [2009-07-04 15:53:12] 561*2^702410-1 is not prime. Res64: 005BC2A939BE85D8 Time : 5695.0 sec. user=vaughan [2009-07-04 15:55:31] 411*2^702411-1 is not prime. Res64: E2F619DDB9C85D29 Time : 5649.0 sec. user=vaughan [2009-07-04 16:02:40] 415*2^702411-1 is not prime. Res64: 519AE94280C49410 Time : 5710.0 sec. user=vaughan [2009-07-04 16:05:10] 459*2^702411-1 is not prime. Res64: F1C127E93F053C43 Time : 5683.0 sec. user=vaughan [2009-07-04 16:11:59] 531*2^702411-1 is not prime. Res64: 6EF183876E25DA4C Time : 5708.0 sec. user=vaughan [2009-07-04 16:14:26] 549*2^702411-1 is not prime. Res64: CE65ECA23A3CAF9B Time : 5660.0 sec. user=vaughan [2009-07-04 16:21:10] 449*2^702412-1 is not prime. Res64: F33AE3A974CD0BE7 Time : 5703.0 sec. user=vaughan [2009-07-04 16:23:46] 489*2^702412-1 is not prime. Res64: 932DDBBA07EBB754 Time : 5660.0 sec. user=vaughan [2009-07-04 16:30:20] 497*2^702412-1 is not prime. Res64: BFFC31CD321C7045 Time : 5707.0 sec. user=vaughan [2009-07-04 16:33:13] 527*2^702412-1 is not prime. Res64: 98ACC3C7079EA44D Time : 5683.0 sec. user=vaughan [2009-07-04 16:40:05] 549*2^702412-1 is not prime. Res64: 7779DF49A796639E Time : 5735.0 sec. user=vaughan [2009-07-04 16:43:02] 563*2^702412-1 is not prime. Res64: 67E3458AF4224643 Time : 5728.0 sec. user=vaughan [2009-07-04 16:49:21] 569*2^702412-1 is not prime. Res64: 31DC6FB96E4B2ED8 Time : 5720.0 sec. user=vaughan [2009-07-04 16:52:54] 411*2^702413-1 is not prime. Res64: 8DE8A11B9F13B7CC Time : 5777.0 sec. user=vaughan [2009-07-04 16:58:45] 451*2^702413-1 is not prime. Res64: 662812341C8B1EB1 Time : 5685.0 sec. user=vaughan [2009-07-04 17:01:56] 465*2^702413-1 is not prime. Res64: BC54FAB72D3F29B7 Time : 5724.0 sec. user=vaughan [2009-07-04 17:08:13] 507*2^702413-1 is not prime. Res64: 73803D02F92C97DF Time : 5660.0 sec. user=vaughan [2009-07-04 17:11:37] 525*2^702413-1 is not prime. Res64: 2E56DF3607DDB9FC Time : 5727.0 sec. user=vaughan [2009-07-04 17:17:03] 529*2^702413-1 is not prime. Res64: 299BCF2D8EF9E270 Time : 5602.0 sec. user=vaughan [2009-07-04 17:20:27] 567*2^702413-1 is not prime. Res64: B2ECFCE610E833CF Time : 5670.0 sec. user=vaughan [2009-07-04 17:26:27] 571*2^702413-1 is not prime. Res64: D5A49D149A2170AF Time : 5595.0 sec. user=vaughan [2009-07-04 17:29:53] 431*2^702414-1 is not prime. Res64: 5DBAFF6497CDB161 Time : 5662.0 sec. user=vaughan [2009-07-04 17:35:41] 485*2^702414-1 is not prime. Res64: 5A93B7D0977FB91E Time : 5581.0 sec. user=vaughan [2009-07-04 17:39:12] 521*2^702414-1 is not prime. Res64: 8C48F09773089B86 Time : 5642.0 sec. user=vaughan [2009-07-04 17:45:09] 555*2^702414-1 is not prime. Res64: 8DF3EFC548F0C177 Time : 5590.0 sec. user=vaughan [2009-07-04 17:49:34] 405*2^702415-1 is not prime. Res64: 5D07044DE3334C18 Time : 5708.0 sec. user=vaughan [2009-07-04 17:54:23] 451*2^702415-1 is not prime. Res64: 1493D2C73A21EA8A Time : 5594.0 sec. user=vaughan [2009-07-04 17:58:38] 453*2^702415-1 is not prime. Res64: C2DFF2DCBDACD09B Time : 5693.0 sec. user=vaughan [2009-07-04 18:03:27] 465*2^702415-1 is not prime. Res64: B750D4F640BC04C7 Time : 5587.0 sec. user=vaughan [2009-07-04 18:07:28] 469*2^702415-1 is not prime. Res64: D85B8D2E66B890A2 Time : 5655.0 sec. user=vaughan [2009-07-04 18:12:47] 535*2^702415-1 is not prime. Res64: 55D8C887E52F8E15 Time : 5562.0 sec. user=vaughan [2009-07-04 18:16:48] 459*2^702416-1 is not prime. Res64: 944E5E0A178D39E0 Time : 5626.0 sec. user=vaughan [2009-07-04 18:22:19] 563*2^702416-1 is not prime. Res64: 1C901EBE3C62A669 Time : 5578.0 sec. user=vaughan [2009-07-04 18:26:19] 567*2^702416-1 is not prime. Res64: 850E745DF2E0C80D Time : 5605.0 sec. user=vaughan [2009-07-04 18:31:26] 405*2^702417-1 is not prime. Res64: 60EE9E735563006B Time : 5561.0 sec. user=vaughan [2009-07-04 18:35:26] 529*2^702417-1 is not prime. Res64: 9A2BCA705268FD83 Time : 5610.0 sec. user=vaughan [2009-07-04 18:40:41] 531*2^702417-1 is not prime. Res64: B13B11EFF4A5F3CB Time : 5548.0 sec. user=vaughan [2009-07-04 18:44:34] 549*2^702417-1 is not prime. Res64: 7DB9B9E2A7430069 Time : 5577.0 sec. user=vaughan [2009-07-04 18:49:59] 559*2^702417-1 is not prime. Res64: 1DE41973D3DEC10A Time : 5576.0 sec. user=vaughan [2009-07-04 18:54:08] 425*2^702418-1 is not prime. Res64: 09EA74AD91430A43 Time : 5621.0 sec. user=vaughan [2009-07-04 18:59:15] 453*2^702418-1 is not prime. Res64: A2868DA2BBB414BA Time : 5568.0 sec. user=vaughan [2009-07-04 19:03:32] 461*2^702418-1 is not prime. Res64: CB143D478801E34D Time : 5620.0 sec. user=vaughan [2009-07-04 19:08:08] 561*2^702418-1 is not prime. Res64: D539146E4BDA0EFE Time : 5547.0 sec. user=vaughan [2009-07-04 19:13:08] 441*2^702419-1 is not prime. Res64: 83048442BEC00C3C Time : 5636.0 sec. user=vaughan [2009-07-04 19:17:46] 465*2^702419-1 is not prime. Res64: 66227B4E4AB75628 Time : 5557.0 sec. user=vaughan [2009-07-04 19:23:01] 469*2^702419-1 is not prime. Res64: 4A5586047A63008B Time : 5607.0 sec. user=vaughan [2009-07-04 19:27:08] 579*2^702419-1 is not prime. Res64: 1CF6F454A1B723FB Time : 5565.0 sec. user=vaughan [2009-07-04 19:33:12] 405*2^702420-1 is not prime. Res64: 886B491F9AEB1A06 Time : 5675.0 sec. user=vaughan [2009-07-04 19:36:51] 425*2^702420-1 is not prime. Res64: 6F0717BA4EF92442 Time : 5604.0 sec. user=vaughan [2009-07-04 19:43:02] 483*2^702420-1 is not prime. Res64: D955C0CC0EA5EBA7 Time : 5734.0 sec. user=vaughan [2009-07-04 19:46:15] 527*2^702420-1 is not prime. Res64: 22527AA6854E7F74 Time : 5608.0 sec. user=vaughan [2009-07-04 19:52:29] 549*2^702420-1 is not prime. Res64: 7F9688CC3DCFE84B Time : 5741.0 sec. user=vaughan [2009-07-04 19:55:19] 477*2^702421-1 is not prime. Res64: 002E04E77CF7E0F8 Time : 5580.0 sec. user=vaughan [2009-07-04 20:02:18] 517*2^702421-1 is not prime. Res64: 90FF3DB8995E9A55 Time : 5759.0 sec. user=vaughan [2009-07-04 20:04:29] 577*2^702421-1 is not prime. Res64: 441321CBB9AD55D8 Time : 5583.0 sec. user=vaughan [2009-07-04 20:12:08] 591*2^702421-1 is not prime. Res64: 8F586CDB20D1F593 Time : 5802.0 sec. user=vaughan [2009-07-04 20:14:12] 417*2^702422-1 is not prime. Res64: 6FD55842BD5DCD3E Time : 5612.0 sec. user=vaughan [2009-07-04 20:22:07] 537*2^702422-1 is not prime. Res64: 386CE560B27001DF Time : 5853.0 sec. user=vaughan [2009-07-04 20:23:35] 567*2^702422-1 is not prime. Res64: 054475A5C9D785A1 Time : 5616.0 sec. user=vaughan [2009-07-04 20:32:10] 581*2^702422-1 is not prime. Res64: E69B5783FA6351BF Time : 5882.0 sec. user=vaughan [2009-07-04 20:32:58] 411*2^702423-1 is not prime. Res64: 0D1B1C84DF1733D5 Time : 5623.0 sec. user=vaughan [2009-07-04 20:41:43] 441*2^702423-1 is not prime. Res64: D3F56BA891B7C607 Time : 5892.0 sec. user=vaughan [2009-07-04 20:41:58] 481*2^702423-1 is not prime. Res64: CD2035D73E2409B0 Time : 5630.0 sec. user=vaughan [2009-07-04 20:51:23] 595*2^702423-1 is not prime. Res64: 81BBFF113A3C23E8 Time : 5617.0 sec. user=vaughan [2009-07-04 20:51:23] 485*2^702348-1 is not prime. Res64: D10D190BF2546FFE Time : 5895.0 sec. user=vaughan [2009-07-04 21:00:43] 495*2^702424-1 is not prime. Res64: B0E9531312C07CD7 Time : 5615.0 sec. user=vaughan [2009-07-04 21:01:11] 437*2^702424-1 is not prime. Res64: 4BD15F5D3F4FB4FB Time : 5890.0 sec. user=vaughan [2009-07-04 21:10:20] 409*2^702425-1 is not prime. Res64: DDB76FA5229E5982 Time : 5609.0 sec. user=vaughan [2009-07-04 21:10:59] 573*2^702424-1 is not prime. Res64: D188E0EA2CF93F73 Time : 5867.0 sec. user=vaughan [2009-07-04 21:19:46] 585*2^702425-1 is not prime. Res64: 1F874AE17A404DC5 Time : 5611.0 sec. user=vaughan [2009-07-04 21:20:25] 459*2^702425-1 is not prime. Res64: 9C8A33AA0BC6138C Time : 5843.0 sec. user=vaughan [2009-07-04 21:28:56] 507*2^702426-1 is not prime. Res64: 7767DA7C5D983F03 Time : 5617.0 sec. user=vaughan [2009-07-04 21:29:32] 483*2^702426-1 is not prime. Res64: 4E13126E235302E6 Time : 5823.0 sec. user=vaughan [2009-07-04 21:38:05] 585*2^702426-1 is not prime. Res64: E0EFC12828395CD8 Time : 5616.0 sec. user=vaughan [2009-07-04 21:38:27] 521*2^702426-1 is not prime. Res64: AE7F19EAA2A9EC73 Time : 5770.0 sec. user=vaughan [2009-07-04 21:47:16] 531*2^702427-1 is not prime. Res64: E4EF7C9FC79DC06A Time : 5585.0 sec. user=vaughan [2009-07-04 21:47:32] 499*2^702427-1 is not prime. Res64: 6F1455DB2E397CF1 Time : 5725.0 sec. user=vaughan [2009-07-04 21:56:21] 465*2^702428-1 is not prime. Res64: 18CA60537F0C2392 Time : 5566.0 sec. user=vaughan [2009-07-04 21:57:11] 435*2^702428-1 is not prime. Res64: D5B808E32DDE32C0 Time : 5705.0 sec. user=vaughan [2009-07-04 22:05:42] 417*2^702429-1 is not prime. Res64: F4A927FDE61AEE2D Time : 5565.0 sec. user=vaughan [2009-07-04 22:06:41] 489*2^702428-1 is not prime. Res64: 14B26F4522C6901C Time : 5671.0 sec. user=vaughan [2009-07-04 22:15:03] 537*2^702429-1 is not prime. Res64: 339D165DCCD6F465 Time : 5585.0 sec. user=vaughan [2009-07-04 22:16:10] 439*2^702429-1 is not prime. Res64: A7C73D7AD92D020B Time : 5667.0 sec. user=vaughan [2009-07-04 22:24:48] 413*2^702430-1 is not prime. Res64: 69FEA383EA22B360 Time : 5606.0 sec. user=vaughan [2009-07-04 22:25:51] 443*2^702430-1 is not prime. Res64: F336EFE36F9C5DB0 Time : 5668.0 sec. user=vaughan [2009-07-04 22:34:18] 495*2^702430-1 is not prime. Res64: 7EB678D62F513D5F Time : 5615.0 sec. user=vaughan [2009-07-04 22:35:37] 511*2^702431-1 is not prime. Res64: 1543D82A823EC9C6 Time : 5666.0 sec. user=vaughan [2009-07-04 22:45:14] 585*2^702431-1 is not prime. Res64: C9066F5ED1353E42 Time : 5655.0 sec. user=vaughan [2009-07-04 22:45:28] 559*2^702431-1 is not prime. Res64: 991232E58FCA956E Time : 5708.0 sec. user=vaughan [2009-07-04 22:53:17] 423*2^702432-1 is not prime. Res64: E65CDB26506B50D2 Time : 5612.0 sec. user=vaughan [2009-07-04 22:54:32] 467*2^702432-1 is not prime. Res64: 93DFB8137191A5E6 Time : 5647.0 sec. user=vaughan [2009-07-04 23:02:58] 421*2^702433-1 is not prime. Res64: B0BCF53D8FC347BB Time : 5642.0 sec. user=vaughan [2009-07-04 23:04:11] 439*2^702433-1 is not prime. Res64: E25D27D7E1924CCD Time : 5679.0 sec. user=vaughan [2009-07-04 23:12:28] 465*2^702433-1 is not prime. Res64: 1F35FE536392EE03 Time : 5664.0 sec. user=vaughan [2009-07-04 23:14:08] 499*2^702433-1 is not prime. Res64: 3E240E260CB89F53 Time : 5741.0 sec. user=vaughan [2009-07-04 23:21:56] 517*2^702433-1 is not prime. Res64: 772E9F027FCB72D7 Time : 5681.0 sec. user=vaughan [2009-07-04 23:23:36] 547*2^702433-1 is not prime. Res64: E9423E1567D7D345 Time : 5764.0 sec. user=vaughan [2009-07-04 23:31:31] 549*2^702433-1 is not prime. Res64: 258838ABAF5F6370 Time : 5710.0 sec. user=vaughan [2009-07-04 23:33:08] 589*2^702433-1 is not prime. Res64: CA09BBCA414BD1B6 Time : 5757.0 sec. user=vaughan [2009-07-04 23:40:53] 411*2^702434-1 is not prime. Res64: C06EE8E58EB18927 Time : 5711.0 sec. user=vaughan [2009-07-04 23:42:52] 507*2^702434-1 is not prime. Res64: 189BFB9E314D814D Time : 5772.0 sec. user=vaughan [2009-07-04 23:50:25] 533*2^702434-1 is not prime. Res64: A617E68CC4F38725 Time : 5722.0 sec. user=vaughan [2009-07-04 23:52:30] 573*2^702434-1 is not prime. Res64: 44B8AF0D4112D3EA Time : 5780.0 sec. user=vaughan [2009-07-04 23:59:32] 481*2^702435-1 is not prime. Res64: B88B4C3E39AB9449 Time : 5684.0 sec.