user=vaughan [2010-07-13 00:01:25] 499*2^841207-1 is not prime. Res64: 151DEF8DAAE97C02 Time : 1139.0 sec. user=vaughan [2010-07-13 00:01:44] 471*2^841207-1 is not prime. Res64: 2F8BB7C0598167EB Time : 1221.0 sec. user=vaughan [2010-07-13 00:05:24] 505*2^841207-1 is not prime. Res64: AFA834F1DEAE2830 Time : 1021.0 sec. user=vaughan [2010-07-13 00:08:24] 539*2^841208-1 is not prime. Res64: B840130D346B5E45 Time : 1031.0 sec. user=vaughan [2010-07-13 00:09:28] 427*2^841209-1 is not prime. Res64: 009B2E089E3FC609 Time : 988.0 sec. user=vaughan [2010-07-13 00:12:03] 437*2^841210-1 is not prime. Res64: BC9C22E4083A5590 Time : 1016.0 sec. user=vaughan [2010-07-13 00:12:18] 573*2^841208-1 is not prime. Res64: E4A737A4227A09EF Time : 1261.0 sec. user=vaughan [2010-07-13 00:16:05] 413*2^841210-1 is not prime. Res64: 3D5129F72020E8A7 Time : 1262.0 sec. user=vaughan [2010-07-13 00:20:29] 447*2^841210-1 is not prime. Res64: A017A267483AB1A2 Time : 1144.0 sec. user=vaughan [2010-07-13 00:22:01] 597*2^841210-1 is not prime. Res64: 9D91F4C58A6EE7B1 Time : 1217.0 sec. user=vaughan [2010-07-13 00:22:25] 411*2^841211-1 is not prime. Res64: 9CC90B9BC19DA6AA Time : 1021.0 sec. user=vaughan [2010-07-13 00:25:39] 459*2^841211-1 is not prime. Res64: 2B938EB43E1194CE Time : 1036.0 sec. user=vaughan [2010-07-13 00:26:03] 413*2^841212-1 is not prime. Res64: 8F44C177D41A0C54 Time : 995.0 sec. user=vaughan [2010-07-13 00:29:02] 423*2^841212-1 is not prime. Res64: C497557831A4B448 Time : 1019.0 sec. user=vaughan [2010-07-13 00:33:15] 425*2^841212-1 is not prime. Res64: 61A254787D6505D1 Time : 1258.0 sec. user=vaughan [2010-07-13 00:37:06] 447*2^841212-1 is not prime. Res64: 4D4F09F8BFA26F0A Time : 1261.0 sec. user=vaughan [2010-07-13 00:39:25] 567*2^841213-1 is not prime. Res64: 4743A0262F2299CD Time : 1021.0 sec. user=vaughan [2010-07-13 00:39:30] 455*2^841212-1 is not prime. Res64: 11054A26460A7343 Time : 1142.0 sec. user=vaughan [2010-07-13 00:42:20] 527*2^841212-1 is not prime. Res64: C104937635A7CD7C Time : 1219.0 sec. user=vaughan [2010-07-13 00:42:39] 533*2^841214-1 is not prime. Res64: 7A2D77FCA76BEB20 Time : 996.0 sec. user=vaughan [2010-07-13 00:42:51] 503*2^841214-1 is not prime. Res64: D980EF85462AB58F Time : 1033.0 sec. user=vaughan [2010-07-13 00:45:59] 551*2^841214-1 is not prime. Res64: F9E2539BCBB74FFA Time : 1017.0 sec. user=vaughan [2010-07-13 00:54:17] 567*2^841214-1 is not prime. Res64: A34F233BFB9E9891 Time : 1262.0 sec. user=vaughan [2010-07-13 00:56:35] 405*2^841215-1 is not prime. Res64: B9E79F73D451B5E2 Time : 1030.0 sec. user=vaughan [2010-07-13 00:58:05] 585*2^841214-1 is not prime. Res64: BB87EA939FA60C50 Time : 1259.0 sec. user=vaughan [2010-07-13 00:58:31] 469*2^841215-1 is not prime. Res64: E5BF9729ACE7A433 Time : 1141.0 sec. user=vaughan [2010-07-13 00:59:05] 479*2^841216-1 is not prime. Res64: FEB64673A9FAD1EE Time : 986.0 sec. user=vaughan [2010-07-13 01:00:17] 485*2^841216-1 is not prime. Res64: B666BA901067B366 Time : 1046.0 sec. user=vaughan [2010-07-13 01:02:39] 531*2^841215-1 is not prime. Res64: 05CDCBC22545752A Time : 1219.0 sec. user=vaughan [2010-07-13 01:02:56] 509*2^841216-1 is not prime. Res64: B808A9FA0A4F722C Time : 1018.0 sec. user=vaughan [2010-07-13 01:13:51] 445*2^841217-1 is not prime. Res64: 3A42BADDF58D25BD Time : 1036.0 sec. user=vaughan [2010-07-13 01:15:14] 587*2^841216-1 is not prime. Res64: 25965C9A43662C37 Time : 1257.0 sec. user=vaughan [2010-07-13 01:15:31] 401*2^841218-1 is not prime. Res64: 154EC12E5548E8E9 Time : 986.0 sec. user=vaughan [2010-07-13 01:17:38] 443*2^841218-1 is not prime. Res64: 11C1AEB454C87FD9 Time : 1042.0 sec. user=vaughan [2010-07-13 01:17:39] 567*2^841217-1 is not prime. Res64: 1B8DEAB1B6DB2ECF Time : 1148.0 sec. user=vaughan [2010-07-13 01:19:09] 511*2^841217-1 is not prime. Res64: 075E15FA90EF89F8 Time : 1264.0 sec. user=vaughan [2010-07-13 01:19:50] 429*2^841219-1 is not prime. Res64: 878D59807D55D26F Time : 1015.0 sec. user=vaughan [2010-07-13 01:22:59] 421*2^841219-1 is not prime. Res64: 405C759BC6D1F1B2 Time : 1221.0 sec. user=vaughan [2010-07-13 01:30:52] 481*2^841219-1 is not prime. Res64: 739C4816121ECDB6 Time : 1022.0 sec. user=vaughan [2010-07-13 01:31:53] 589*2^841219-1 is not prime. Res64: 03F26C56CE5959B0 Time : 982.0 sec. user=vaughan [2010-07-13 01:34:48] 465*2^841220-1 is not prime. Res64: 95F32C98B4AA2B37 Time : 1031.0 sec. user=vaughan [2010-07-13 01:36:19] 523*2^841219-1 is not prime. Res64: A848921CBED55827 Time : 1265.0 sec. user=vaughan [2010-07-13 01:36:45] 447*2^841221-1 is not prime. Res64: DB800C4657589DDE Time : 1015.0 sec. user=vaughan [2010-07-13 01:36:50] 495*2^841220-1 is not prime. Res64: 4F469E4DF0EEF278 Time : 1151.0 sec. user=vaughan [2010-07-13 01:40:17] 503*2^841220-1 is not prime. Res64: 84C453D1DCECBFFB Time : 1268.0 sec. user=vaughan [2010-07-13 01:43:26] 459*2^841221-1 is not prime. Res64: 928F682B225600B4 Time : 1228.0 sec. user=vaughan [2010-07-13 01:47:52] 507*2^841221-1 is not prime. Res64: B9995C4BA39C829A Time : 1021.0 sec. user=vaughan [2010-07-13 01:48:16] 529*2^841221-1 is not prime. Res64: 0501495F868917A8 Time : 983.0 sec. user=vaughan [2010-07-13 01:51:57] 537*2^841221-1 is not prime. Res64: 1DF1CF8EB2952D96 Time : 1030.0 sec. user=vaughan [2010-07-13 01:53:39] 571*2^841221-1 is not prime. Res64: 02F0191F254F1DBF Time : 1014.0 sec. user=vaughan [2010-07-13 01:55:53] 405*2^841222-1 is not prime. Res64: D2D498EF0810AA5D Time : 1143.0 sec. user=vaughan [2010-07-13 01:57:19] 565*2^841221-1 is not prime. Res64: 39C4D468B0147054 Time : 1261.0 sec. user=vaughan [2010-07-13 02:01:11] 471*2^841222-1 is not prime. Res64: 4976414D3ED5E30E Time : 1254.0 sec. user=vaughan [2010-07-13 02:03:46] 477*2^841222-1 is not prime. Res64: BE90FD79433BA825 Time : 1220.0 sec. user=vaughan [2010-07-13 02:04:38] 519*2^841223-1 is not prime. Res64: FF3EB5C2043B2AC8 Time : 983.0 sec. user=vaughan [2010-07-13 02:04:52] 435*2^841223-1 is not prime. Res64: EDC9044D8967EDF9 Time : 1020.0 sec. user=vaughan [2010-07-13 02:09:06] 525*2^841223-1 is not prime. Res64: 081A2B567C651692 Time : 1030.0 sec. user=vaughan [2010-07-13 02:10:32] 559*2^841223-1 is not prime. Res64: 6655D791F91AEB81 Time : 1014.0 sec. user=vaughan [2010-07-13 02:15:06] 563*2^841224-1 is not prime. Res64: AF37A99ADD496FBE Time : 1153.0 sec. user=vaughan [2010-07-13 02:18:32] 569*2^841224-1 is not prime. Res64: 29C719469AE4FDF1 Time : 1273.0 sec. user=vaughan [2010-07-13 02:21:00] 465*2^841225-1 is not prime. Res64: 649AE13C6547BF2A Time : 982.0 sec. user=vaughan [2010-07-13 02:21:54] 537*2^841225-1 is not prime. Res64: D30B3B322F2D442E Time : 1022.0 sec. user=vaughan [2010-07-13 02:22:21] 411*2^841225-1 is not prime. Res64: 377339712CF7349F Time : 1270.0 sec. user=vaughan [2010-07-13 02:24:14] 457*2^841225-1 is not prime. Res64: 3FDB8CAFAF40DF00 Time : 1229.0 sec. user=vaughan [2010-07-13 02:26:17] 555*2^841225-1 is not prime. Res64: 84A102554A771C5A Time : 1031.0 sec. user=vaughan [2010-07-13 02:27:27] 589*2^841225-1 is not prime. Res64: B4822ACF3BFB9495 Time : 1015.0 sec. user=vaughan [2010-07-13 02:34:19] 591*2^841225-1 is not prime. Res64: C63EDF4FA4D87A12 Time : 1153.0 sec. user=vaughan [2010-07-13 02:37:22] 531*2^841226-1 is not prime. Res64: B87F7223011A0CD1 Time : 982.0 sec. user=vaughan [2010-07-13 02:38:53] 575*2^841226-1 is not prime. Res64: 0023984946C3BD3D Time : 1020.0 sec. user=vaughan [2010-07-13 02:39:38] 507*2^841226-1 is not prime. Res64: C106187003113784 Time : 1267.0 sec. user=vaughan [2010-07-13 02:43:26] 585*2^841226-1 is not prime. Res64: 96DE7DCD6335B3A0 Time : 1265.0 sec. user=vaughan [2010-07-13 02:43:27] 465*2^841227-1 is not prime. Res64: BD768B61BD19133E Time : 1030.0 sec. user=vaughan [2010-07-13 02:44:22] 493*2^841227-1 is not prime. Res64: EDA5E1F297A7E3FD Time : 1015.0 sec. user=vaughan [2010-07-13 02:44:49] 593*2^841226-1 is not prime. Res64: E6F697156A79121F Time : 1235.0 sec. user=vaughan [2010-07-13 02:53:23] 495*2^841227-1 is not prime. Res64: 1EBF67DBC96A8840 Time : 1144.0 sec. user=vaughan [2010-07-13 02:53:44] 531*2^841227-1 is not prime. Res64: AAF01ABEFECBB303 Time : 982.0 sec. user=vaughan [2010-07-13 02:55:55] 573*2^841227-1 is not prime. Res64: AB54AB41D7D18903 Time : 1022.0 sec. user=vaughan [2010-07-13 03:00:36] 497*2^841228-1 is not prime. Res64: EC5E7E43F170BA7C Time : 1259.0 sec. user=vaughan [2010-07-13 03:00:37] 459*2^841229-1 is not prime. Res64: C3BCC15F8FCBFDA1 Time : 1030.0 sec. user=vaughan [2010-07-13 03:01:17] 579*2^841229-1 is not prime. Res64: 3655DE18112D747A Time : 1015.0 sec. user=vaughan [2010-07-13 03:04:20] 533*2^841228-1 is not prime. Res64: C483D0D39FF8D239 Time : 1254.0 sec. user=vaughan [2010-07-13 03:05:07] 483*2^841230-1 is not prime. Res64: BED9D83769F716E3 Time : 1219.0 sec. user=vaughan [2010-07-13 03:10:06] 515*2^841230-1 is not prime. Res64: A37D557D36CF5137 Time : 982.0 sec. user=vaughan [2010-07-13 03:12:23] 503*2^841230-1 is not prime. Res64: BEF7FC61EE8B2B62 Time : 1141.0 sec. user=vaughan [2010-07-13 03:12:56] 521*2^841230-1 is not prime. Res64: EFA78EA4B39A2DEF Time : 1021.0 sec. user=vaughan [2010-07-13 03:17:47] 587*2^841230-1 is not prime. Res64: F7F7026046CBF64F Time : 1030.0 sec. user=vaughan [2010-07-13 03:18:11] 511*2^841231-1 is not prime. Res64: 24B9D275C52373D7 Time : 1014.0 sec. user=vaughan [2010-07-13 03:21:39] 527*2^841230-1 is not prime. Res64: 465BD19B0A4BA037 Time : 1263.0 sec. user=vaughan [2010-07-13 03:25:21] 555*2^841231-1 is not prime. Res64: 2709A31933B08A8B Time : 1262.0 sec. user=vaughan [2010-07-13 03:25:24] 559*2^841231-1 is not prime. Res64: 96FC55DCCC445F85 Time : 1217.0 sec. user=vaughan [2010-07-13 03:26:29] 459*2^841232-1 is not prime. Res64: 646B771CEA15587D Time : 983.0 sec. user=vaughan [2010-07-13 03:29:56] 533*2^841232-1 is not prime. Res64: C34EDF5EB1665CBF Time : 1021.0 sec. user=vaughan [2010-07-13 03:31:28] 507*2^841232-1 is not prime. Res64: C78DE60F309AB6BF Time : 1146.0 sec. user=vaughan [2010-07-13 03:34:56] 459*2^841233-1 is not prime. Res64: A9F4A31F84B46E06 Time : 1029.0 sec. user=vaughan [2010-07-13 03:35:05] 559*2^841233-1 is not prime. Res64: 1169C8101882D647 Time : 1014.0 sec. user=vaughan [2010-07-13 03:42:37] 571*2^841233-1 is not prime. Res64: CCD50F677DBEB8A5 Time : 1258.0 sec. user=vaughan [2010-07-13 03:42:55] 483*2^841234-1 is not prime. Res64: 8BCEE743B614A8CF Time : 986.0 sec. user=vaughan [2010-07-13 03:45:44] 425*2^841234-1 is not prime. Res64: E7F6C1A63135B060 Time : 1221.0 sec. user=vaughan [2010-07-13 03:46:18] 597*2^841233-1 is not prime. Res64: 8AC4731213F53D43 Time : 1258.0 sec. user=vaughan [2010-07-13 03:47:00] 497*2^841234-1 is not prime. Res64: D8861816A82E5AEE Time : 1024.0 sec. user=vaughan [2010-07-13 03:50:28] 531*2^841234-1 is not prime. Res64: 2234D5ACF447E4D1 Time : 1140.0 sec. user=vaughan [2010-07-13 03:52:06] 403*2^841235-1 is not prime. Res64: D20DD58B6DB2C29D Time : 1021.0 sec. user=vaughan [2010-07-13 03:52:08] 593*2^841234-1 is not prime. Res64: 9D16C8395D4D1550 Time : 1033.0 sec. user=vaughan [2010-07-13 04:00:19] 495*2^841235-1 is not prime. Res64: A0666882FDF0D00A Time : 1044.0 sec. user=vaughan [2010-07-13 04:03:35] 463*2^841235-1 is not prime. Res64: 48B27B0D2CB3F00C Time : 1258.0 sec. user=vaughan [2010-07-13 04:03:59] 527*2^841236-1 is not prime. Res64: 65730006BE7BFDBE Time : 1019.0 sec. user=vaughan [2010-07-13 04:06:02] 553*2^841235-1 is not prime. Res64: 1D28CF7F437657B3 Time : 1218.0 sec. user=vaughan [2010-07-13 04:07:18] 473*2^841236-1 is not prime. Res64: F04D73BD1E34E7D7 Time : 1261.0 sec. user=vaughan [2010-07-13 04:09:05] 435*2^841237-1 is not prime. Res64: 1675D07718F6F99A Time : 1018.0 sec. user=vaughan [2010-07-13 04:09:10] 563*2^841236-1 is not prime. Res64: 5E05BA417A1EE0D1 Time : 1024.0 sec. user=vaughan [2010-07-13 04:09:29] 545*2^841236-1 is not prime. Res64: 3A348CC8DC2EB4E8 Time : 1141.0 sec. user=vaughan [2010-07-13 04:18:30] 415*2^840919-1 is not prime. Res64: 0DCD6605642B76A1 Time : 1091.0 sec. user=vaughan [2010-07-13 04:20:54] 431*2^841238-1 is not prime. Res64: 8797F4FA72EA4D9A Time : 1015.0 sec. user=vaughan [2010-07-13 04:24:36] 493*2^840919-1 is not prime. Res64: A806F38645D425DA Time : 1261.0 sec. user=vaughan [2010-07-13 04:26:01] 411*2^841239-1 is not prime. Res64: 28FD595BAAFF7116 Time : 1016.0 sec. user=vaughan [2010-07-13 04:26:12] 469*2^841239-1 is not prime. Res64: F228721F69E752E9 Time : 1022.0 sec. user=vaughan [2010-07-13 04:26:24] 495*2^841238-1 is not prime. Res64: D749BBE19ABE3FA4 Time : 1222.0 sec. user=vaughan [2010-07-13 04:28:16] 563*2^841238-1 is not prime. Res64: 9086F5C0D483C507 Time : 1258.0 sec. user=vaughan [2010-07-13 04:28:33] 471*2^841239-1 is not prime. Res64: 630002EEF987104B Time : 1144.0 sec. user=vaughan [2010-07-13 04:36:40] 583*2^841239-1 is not prime. Res64: 189CD7DBFDBC4087 Time : 1090.0 sec. user=vaughan [2010-07-13 04:37:50] 437*2^841240-1 is not prime. Res64: 26B028ADD547921D Time : 1016.0 sec. user=vaughan [2010-07-13 04:44:53] 511*2^841241-1 is not prime. Res64: 2CA1C6E8FED3A346 Time : 1121.0 sec. user=vaughan [2010-07-13 04:45:33] 467*2^841240-1 is not prime. Res64: 4BFBEE49AC660AF0 Time : 1257.0 sec. user=vaughan [2010-07-13 04:46:43] 529*2^841241-1 is not prime. Res64: 30D547F4940248FA Time : 1220.0 sec. user=vaughan [2010-07-13 04:47:35] 543*2^841242-1 is not prime. Res64: CFB4F8FBD69BD4CC Time : 1143.0 sec. user=vaughan [2010-07-13 04:49:14] 571*2^841241-1 is not prime. Res64: 84FE3262E2EC47E1 Time : 1258.0 sec. user=vaughan [2010-07-13 04:51:52] 489*2^841240-1 is not prime. Res64: D3C02DAEC9621E91 Time : 1551.0 sec. user=vaughan [2010-07-13 04:58:02] 555*2^841242-1 is not prime. Res64: EF65FAF042262574 Time : 1282.0 sec. user=vaughan [2010-07-13 04:59:45] 417*2^841244-1 is not prime. Res64: C8BDA4F1FBD12E82 Time : 1316.0 sec. user=vaughan [2010-07-13 05:06:35] 465*2^841245-1 is not prime. Res64: CAF8F92CB7A5B71A Time : 1262.0 sec. user=vaughan [2010-07-13 05:06:39] 495*2^841245-1 is not prime. Res64: 9CD40B90FBD882F1 Time : 1144.0 sec. user=vaughan [2010-07-13 05:06:59] 471*2^841245-1 is not prime. Res64: 44EC58A917363644 Time : 1216.0 sec. user=vaughan [2010-07-13 05:10:12] 531*2^841245-1 is not prime. Res64: 867522EAC73A0F93 Time : 1258.0 sec. user=vaughan [2010-07-13 05:13:42] 579*2^841244-1 is not prime. Res64: 2ABF93E794D8AC70 Time : 1730.0 sec. user=vaughan [2010-07-13 05:20:07] 587*2^841246-1 is not prime. Res64: 1DEE9AF963049E63 Time : 1326.0 sec. user=vaughan [2010-07-13 05:21:54] 475*2^841247-1 is not prime. Res64: FA490720FB5AA49E Time : 1330.0 sec. user=vaughan [2010-07-13 05:25:42] 531*2^841247-1 is not prime. Res64: 057C264872FF8B28 Time : 1143.0 sec. user=vaughan [2010-07-13 05:27:19] 423*2^841248-1 is not prime. Res64: 75A55B7293DEFDE5 Time : 1220.0 sec. user=vaughan [2010-07-13 05:27:31] 505*2^841247-1 is not prime. Res64: 341B743F1993F741 Time : 1256.0 sec. user=vaughan [2010-07-13 05:31:15] 567*2^841248-1 is not prime. Res64: 2D4F3A147961E8F0 Time : 1263.0 sec. user=vaughan [2010-07-13 05:42:19] 429*2^841249-1 is not prime. Res64: 74361C301B01814C Time : 1717.0 sec. user=vaughan [2010-07-13 05:42:45] 477*2^841249-1 is not prime. Res64: 78120D2FA55E27FD Time : 1358.0 sec. user=vaughan [2010-07-13 05:43:53] 495*2^841249-1 is not prime. Res64: 90C41BD1A6078E9F Time : 1320.0 sec. user=vaughan [2010-07-13 05:44:44] 567*2^841249-1 is not prime. Res64: 3FC56ADC4FDC99D8 Time : 1142.0 sec. user=vaughan [2010-07-13 05:47:39] 411*2^841250-1 is not prime. Res64: C92DCAC253E33746 Time : 1221.0 sec. user=vaughan [2010-07-13 05:48:32] 477*2^841250-1 is not prime. Res64: 86B2A114980BCCEC Time : 1261.0 sec. user=vaughan [2010-07-13 05:52:16] 495*2^841250-1 is not prime. Res64: 613B82273C9A7AFE Time : 1262.0 sec. user=vaughan [2010-07-13 06:03:49] 453*2^841251-1 is not prime. Res64: 13BF2DB63E3E704D Time : 1146.0 sec. user=vaughan [2010-07-13 06:03:56] 525*2^841250-1 is not prime. Res64: 44190AC33E2567E9 Time : 1271.0 sec. user=vaughan [2010-07-13 06:05:24] 483*2^841246-1 is not prime. Res64: 29F9B09E8A88556F Time : 4412.0 sec. user=vaughan [2010-07-13 06:05:28] 409*2^841251-1 is not prime. Res64: E0A20C40C8DCB0D0 Time : 1295.0 sec. user=vaughan [2010-07-13 06:07:57] 511*2^841251-1 is not prime. Res64: 9710E8A5C832DBFB Time : 1218.0 sec. user=vaughan [2010-07-13 06:09:33] 579*2^841251-1 is not prime. Res64: 63D81E08191C62BA Time : 1262.0 sec. user=vaughan [2010-07-13 06:12:25] 521*2^841250-1 is not prime. Res64: 7B1D35D119763DD2 Time : 1807.0 sec. user=vaughan [2010-07-13 06:13:16] 595*2^841251-1 is not prime. Res64: 349092E140177BC0 Time : 1260.0 sec. user=vaughan [2010-07-13 06:24:10] 447*2^841252-1 is not prime. Res64: DED20AACAF466215 Time : 1222.0 sec. user=vaughan [2010-07-13 06:25:41] 495*2^841252-1 is not prime. Res64: 30C3F55DE95954E5 Time : 1305.0 sec. user=vaughan [2010-07-13 06:27:36] 527*2^841252-1 is not prime. Res64: 0DC8F099E52596FB Time : 1328.0 sec. user=vaughan [2010-07-13 06:27:54] 507*2^841253-1 is not prime. Res64: 487B4FFDD157B13E Time : 1197.0 sec. user=vaughan [2010-07-13 06:29:34] 567*2^841253-1 is not prime. Res64: 889C26F869759A42 Time : 1202.0 sec. user=vaughan [2010-07-13 06:32:53] 425*2^841254-1 is not prime. Res64: 50EA500077E5395D Time : 1177.0 sec. user=vaughan [2010-07-13 06:47:06] 551*2^841254-1 is not prime. Res64: 8804C746B55E0AB2 Time : 1285.0 sec. user=vaughan [2010-07-13 06:47:29] 463*2^841255-1 is not prime. Res64: 06CF9359EC7F09CE Time : 1175.0 sec. user=vaughan [2010-07-13 06:48:41] 493*2^841255-1 is not prime. Res64: 4F5CF76A3781C341 Time : 1148.0 sec. user=vaughan [2010-07-13 06:48:50] 447*2^841254-1 is not prime. Res64: ED27E8E13DD0D81C Time : 1480.0 sec. user=vaughan [2010-07-13 06:49:28] 555*2^841254-1 is not prime. Res64: AAB0486AD3ECF864 Time : 1312.0 sec. user=vaughan [2010-07-13 06:51:16] 585*2^841253-1 is not prime. Res64: 978D5784F39DD733 Time : 2332.0 sec. user=vaughan [2010-07-13 06:52:01] 499*2^841255-1 is not prime. Res64: 80D48A8A8564F390 Time : 1148.0 sec. user=vaughan [2010-07-13 07:07:06] 407*2^841256-1 is not prime. Res64: 68B42FA1BA9C1251 Time : 1177.0 sec. user=vaughan [2010-07-13 07:07:49] 417*2^841256-1 is not prime. Res64: 9CF3B1E841090ECD Time : 1148.0 sec. user=vaughan [2010-07-13 07:08:38] 595*2^841255-1 is not prime. Res64: 4B5B1F62B70FEE8E Time : 1292.0 sec. user=vaughan [2010-07-13 07:11:04] 557*2^841256-1 is not prime. Res64: F57F0D9D5E4AFE49 Time : 1143.0 sec. user=vaughan [2010-07-13 07:11:58] 503*2^841256-1 is not prime. Res64: 4C5928996BBC2B30 Time : 1351.0 sec. user=vaughan [2010-07-13 07:13:21] 455*2^841256-1 is not prime. Res64: 3993878B69F6CBF2 Time : 1471.0 sec. user=vaughan [2010-07-13 07:15:43] 513*2^841252-1 is not prime. Res64: D6EA452AADADC8AA Time : 4219.0 sec. user=vaughan [2010-07-13 07:22:10] 525*2^841256-1 is not prime. Res64: 959E2A6C3AB252DB Time : 1855.0 sec. user=vaughan [2010-07-13 07:26:34] 563*2^841256-1 is not prime. Res64: D2646418A0951929 Time : 1169.0 sec. user=vaughan [2010-07-13 07:26:42] 441*2^841257-1 is not prime. Res64: 84AACE006F7A4ED2 Time : 1133.0 sec. user=vaughan [2010-07-13 07:29:02] 465*2^841257-1 is not prime. Res64: 7A871C36FFE2ADD8 Time : 1225.0 sec. user=vaughan [2010-07-13 07:29:56] 495*2^841257-1 is not prime. Res64: 4D0B84F207D69770 Time : 1132.0 sec. user=vaughan [2010-07-13 07:33:32] 401*2^841258-1 is not prime. Res64: D6B0CE1B76736738 Time : 1294.0 sec. user=vaughan [2010-07-13 07:38:16] 423*2^841258-1 is not prime. Res64: 4044B2EACAD6BFEA Time : 1495.0 sec. user=vaughan [2010-07-13 07:45:38] 459*2^841259-1 is not prime. Res64: A01DDD5734244FEB Time : 1136.0 sec. user=vaughan [2010-07-13 07:46:07] 581*2^841258-1 is not prime. Res64: C7C2E904C228909A Time : 1173.0 sec. user=vaughan [2010-07-13 07:48:50] 413*2^841260-1 is not prime. Res64: D8D062AFEA60117C Time : 1135.0 sec. user=vaughan [2010-07-13 07:51:06] 573*2^841259-1 is not prime. Res64: 19B082CADB5C0FE7 Time : 1325.0 sec. user=vaughan [2010-07-13 07:51:33] 513*2^841258-1 is not prime. Res64: 38C06CC2476B1C47 Time : 1764.0 sec. user=vaughan [2010-07-13 07:57:09] 447*2^841260-1 is not prime. Res64: 0B20F6E3D87ACEC6 Time : 1417.0 sec. user=vaughan [2010-07-13 08:02:38] 459*2^841260-1 is not prime. Res64: 17F87DC8A11E7617 Time : 1462.0 sec. user=vaughan [2010-07-13 08:04:39] 527*2^841260-1 is not prime. Res64: 3D9BCFF04587125A Time : 1141.0 sec. user=vaughan [2010-07-13 08:05:43] 537*2^841260-1 is not prime. Res64: 968C25394CE8338D Time : 1176.0 sec. user=vaughan [2010-07-13 08:07:54] 415*2^841261-1 is not prime. Res64: D412892BA6F9000D Time : 1145.0 sec. user=vaughan [2010-07-13 08:12:50] 477*2^841261-1 is not prime. Res64: CAF0B6C3E2AF8503 Time : 1305.0 sec. user=vaughan [2010-07-13 08:20:02] 541*2^841261-1 is not prime. Res64: C1F118ADC75AF71D Time : 1373.0 sec. user=vaughan [2010-07-13 08:20:12] 505*2^841261-1 is not prime. Res64: C195B998E8D7D7F2 Time : 1719.0 sec. user=vaughan [2010-07-13 08:23:34] 455*2^841262-1 is not prime. Res64: B9BB20118D457B92 Time : 1136.0 sec. user=vaughan [2010-07-13 08:25:15] 461*2^841262-1 is not prime. Res64: 70F96361B4F3EE10 Time : 1172.0 sec. user=vaughan [2010-07-13 08:26:46] 507*2^841262-1 is not prime. Res64: 23B513ABEB16802E Time : 1133.0 sec. user=vaughan [2010-07-13 08:27:15] 577*2^841261-1 is not prime. Res64: 713BB1EEC570435B Time : 1478.0 sec. user=vaughan [2010-07-13 08:34:33] 439*2^841263-1 is not prime. Res64: 2CDFCBB926636A10 Time : 1303.0 sec. user=vaughan [2010-07-13 08:36:08] 453*2^841258-1 is not prime. Res64: 7C501E2CA393E81D Time : 4825.0 sec. user=vaughan [2010-07-13 08:39:17] 545*2^841262-1 is not prime. Res64: A15FA65608DE83F5 Time : 1729.0 sec. user=vaughan [2010-07-13 08:41:03] 523*2^841263-1 is not prime. Res64: 83E3D8CD2BA2E0CC Time : 1262.0 sec. user=vaughan [2010-07-13 08:42:25] 509*2^841264-1 is not prime. Res64: 8B9684B2E77DA431 Time : 1131.0 sec. user=vaughan [2010-07-13 08:43:26] 413*2^841264-1 is not prime. Res64: 0CA151D96ADADB15 Time : 1394.0 sec. user=vaughan [2010-07-13 08:44:42] 533*2^841264-1 is not prime. Res64: FA99EF07DF723319 Time : 1167.0 sec. user=vaughan [2010-07-13 08:45:41] 447*2^841265-1 is not prime. Res64: 69BBA46A017678AD Time : 1136.0 sec. user=vaughan [2010-07-13 08:48:29] 563*2^841262-1 is not prime. Res64: D4A4EBCE83D85356 Time : 2196.0 sec. user=vaughan [2010-07-13 08:51:32] 511*2^841265-1 is not prime. Res64: 8A01B135C6235F66 Time : 1457.0 sec. user=vaughan [2010-07-13 08:52:31] 547*2^841265-1 is not prime. Res64: E6BC4F7899CFA0FE Time : 1078.0 sec. user=vaughan [2010-07-13 08:53:16] 595*2^841265-1 is not prime. Res64: 432C87D478021E35 Time : 1028.0 sec. user=vaughan [2010-07-13 08:58:08] 485*2^841266-1 is not prime. Res64: BA71737E89533F59 Time : 1025.0 sec. user=vaughan [2010-07-13 09:00:53] 567*2^841266-1 is not prime. Res64: DAFACBF02A1D72D5 Time : 1047.0 sec. user=vaughan [2010-07-13 09:01:18] 531*2^841266-1 is not prime. Res64: 3E0CF5E4BB45872D Time : 1133.0 sec. user=vaughan [2010-07-13 09:04:11] 573*2^841266-1 is not prime. Res64: A8AB6B5AA14DBBB2 Time : 1169.0 sec. user=vaughan [2010-07-13 09:04:38] 489*2^841267-1 is not prime. Res64: 542E67F4C76E7742 Time : 1138.0 sec. user=vaughan [2010-07-13 09:10:36] 515*2^841268-1 is not prime. Res64: CF48CE484A272E5A Time : 1041.0 sec. user=vaughan [2010-07-13 09:10:55] 507*2^841268-1 is not prime. Res64: 7F4F9887D99B1F63 Time : 1105.0 sec. user=vaughan [2010-07-13 09:15:30] 579*2^841268-1 is not prime. Res64: 10B9B47F35047254 Time : 1042.0 sec. user=vaughan [2010-07-13 09:15:53] 495*2^841268-1 is not prime. Res64: 3F2E5DF16436381A Time : 1462.0 sec. user=vaughan [2010-07-13 09:18:14] 585*2^841268-1 is not prime. Res64: 990C76587E3B439F Time : 1041.0 sec. user=vaughan [2010-07-13 09:20:10] 537*2^841269-1 is not prime. Res64: 8EF65218785E2338 Time : 1132.0 sec. user=vaughan [2010-07-13 09:23:35] 571*2^841269-1 is not prime. Res64: 8DD179B8DA1D2B0D Time : 1137.0 sec. user=vaughan [2010-07-13 09:23:41] 555*2^841269-1 is not prime. Res64: 8697F6D950EA577A Time : 1170.0 sec. user=vaughan [2010-07-13 09:25:10] 483*2^841266-1 is not prime. Res64: E7D33232EF47CDB1 Time : 2753.0 sec. user=vaughan [2010-07-13 09:27:45] 453*2^841270-1 is not prime. Res64: 10C6E11F70712537 Time : 1030.0 sec. user=vaughan [2010-07-13 09:29:13] 483*2^841270-1 is not prime. Res64: 9080D48CA053B1AC Time : 1098.0 sec. user=vaughan [2010-07-13 09:32:34] 521*2^841270-1 is not prime. Res64: ED4B10A943414F33 Time : 1024.0 sec. user=vaughan [2010-07-13 09:35:26] 411*2^841271-1 is not prime. Res64: 8479FB8603FB992F Time : 1032.0 sec. user=vaughan [2010-07-13 09:38:58] 441*2^841271-1 is not prime. Res64: 7DDBFDDFCEA975CE Time : 1128.0 sec. user=vaughan [2010-07-13 09:40:23] 465*2^841268-1 is not prime. Res64: D939555D759187C7 Time : 3115.0 sec. user=vaughan [2010-07-13 09:40:24] 597*2^841270-1 is not prime. Res64: E1D75DA9FFF5F6B9 Time : 1471.0 sec. user=vaughan [2010-07-13 09:42:25] 525*2^841271-1 is not prime. Res64: 0883CE6E44275210 Time : 1130.0 sec. user=vaughan [2010-07-13 09:43:10] 595*2^841271-1 is not prime. Res64: DD7848435C0C082B Time : 1170.0 sec. user=vaughan [2010-07-13 09:44:45] 425*2^841272-1 is not prime. Res64: 2EB8DBB6699AF7A3 Time : 1020.0 sec. user=vaughan [2010-07-13 09:47:24] 539*2^841272-1 is not prime. Res64: 468B3E6C49072E6D Time : 1092.0 sec. user=vaughan [2010-07-13 09:49:31] 549*2^841272-1 is not prime. Res64: A05A7FD8780BB988 Time : 1018.0 sec. user=vaughan [2010-07-13 09:50:50] 419*2^841272-1 is not prime. Res64: ABF8A0729C25F4D3 Time : 1540.0 sec. user=vaughan [2010-07-13 09:52:30] 593*2^841272-1 is not prime. Res64: BE73ED05A763B735 Time : 1024.0 sec. user=vaughan [2010-07-13 09:57:53] 411*2^841273-1 is not prime. Res64: 6662C9B9CDB8FBF7 Time : 1135.0 sec. user=vaughan [2010-07-13 10:01:18] 595*2^841273-1 is not prime. Res64: 5E257906C13BCCC3 Time : 1133.0 sec. user=vaughan [2010-07-13 10:01:44] 495*2^841274-1 is not prime. Res64: 55AE423924569108 Time : 1019.0 sec. user=vaughan [2010-07-13 10:02:38] 483*2^841274-1 is not prime. Res64: BA580A917E914897 Time : 1168.0 sec. user=vaughan [2010-07-13 10:04:43] 577*2^841273-1 is not prime. Res64: 5196EB9098A179D5 Time : 1459.0 sec. user=vaughan [2010-07-13 10:05:38] 533*2^841274-1 is not prime. Res64: C3D379D4148A06E0 Time : 1094.0 sec. user=vaughan [2010-07-13 10:06:31] 567*2^841274-1 is not prime. Res64: 4FDC78F2AB9BBF83 Time : 1020.0 sec. user=vaughan [2010-07-13 10:09:34] 451*2^841275-1 is not prime. Res64: EF403616C2E56E81 Time : 1025.0 sec. user=vaughan [2010-07-13 10:16:47] 535*2^841275-1 is not prime. Res64: A9E395AAEEFFC123 Time : 1134.0 sec. user=vaughan [2010-07-13 10:18:44] 435*2^841276-1 is not prime. Res64: CF2CBB738D16780A Time : 1020.0 sec. user=vaughan [2010-07-13 10:20:16] 429*2^841276-1 is not prime. Res64: 66779AE7FE336933 Time : 1138.0 sec. user=vaughan [2010-07-13 10:22:07] 537*2^841276-1 is not prime. Res64: 1741D40EA85D6A78 Time : 1169.0 sec. user=vaughan [2010-07-13 10:22:24] 499*2^841273-1 is not prime. Res64: 92CAD50A499E5E40 Time : 2521.0 sec. user=vaughan [2010-07-13 10:22:43] 585*2^841274-1 is not prime. Res64: CC3788BBA5953897 Time : 1913.0 sec. user=vaughan [2010-07-13 10:23:29] 559*2^841277-1 is not prime. Res64: F193CBE53E6B66B1 Time : 1019.0 sec. user=vaughan [2010-07-13 10:23:50] 477*2^841277-1 is not prime. Res64: 33FF2DF921507414 Time : 1092.0 sec. user=vaughan [2010-07-13 10:26:37] 561*2^841277-1 is not prime. Res64: 7BB5AED67E08CE3A Time : 1024.0 sec. user=vaughan [2010-07-13 10:29:05] 597*2^841276-1 is not prime. Res64: 555028A6F3442234 Time : 1462.0 sec. user=vaughan [2010-07-13 10:35:36] 571*2^841277-1 is not prime. Res64: 0EE693BA35F53A97 Time : 1129.0 sec. user=vaughan [2010-07-13 10:35:42] 405*2^841278-1 is not prime. Res64: A8F65AB768931511 Time : 1018.0 sec. user=vaughan [2010-07-13 10:39:08] 513*2^841278-1 is not prime. Res64: 79A64F0950929E38 Time : 1132.0 sec. user=vaughan [2010-07-13 10:40:27] 425*2^841280-1 is not prime. Res64: E59C3524346902C4 Time : 1018.0 sec. user=vaughan [2010-07-13 10:41:36] 585*2^841278-1 is not prime. Res64: E40C9D210B2160C7 Time : 1170.0 sec. user=vaughan [2010-07-13 10:42:04] 437*2^841280-1 is not prime. Res64: ACD4CB5E1E67BE18 Time : 1094.0 sec. user=vaughan [2010-07-13 10:43:41] 503*2^841280-1 is not prime. Res64: 0176F91080C21244 Time : 1024.0 sec. user=vaughan [2010-07-13 10:52:42] 533*2^841280-1 is not prime. Res64: B8F051E4FA224455 Time : 1020.0 sec. user=vaughan [2010-07-13 10:53:56] 519*2^841280-1 is not prime. Res64: 43C1FB87A1432F4E Time : 1492.0 sec. user=vaughan [2010-07-13 10:54:43] 525*2^841280-1 is not prime. Res64: C6051108B29A79A5 Time : 1147.0 sec. user=vaughan [2010-07-13 10:56:43] 505*2^841279-1 is not prime. Res64: AF94A7B0820D889B Time : 2040.0 sec. user=vaughan [2010-07-13 10:57:25] 585*2^841280-1 is not prime. Res64: 4A856D678D4F9651 Time : 1019.0 sec. user=vaughan [2010-07-13 10:58:21] 537*2^841280-1 is not prime. Res64: 9A4FBC8FEADAC7BE Time : 1153.0 sec. user=vaughan [2010-07-13 11:00:18] 405*2^841282-1 is not prime. Res64: 787624C345AF45E3 Time : 1094.0 sec. user=vaughan [2010-07-13 11:00:46] 437*2^841282-1 is not prime. Res64: 504B61DB3A60E5F5 Time : 1026.0 sec. user=vaughan [2010-07-13 11:00:51] 471*2^841279-1 is not prime. Res64: 6925168F74D8CDE2 Time : 2307.0 sec. user=vaughan [2010-07-13 11:01:14] 555*2^841281-1 is not prime. Res64: 5D13903AF4092E15 Time : 1178.0 sec. user=vaughan [2010-07-13 11:09:42] 507*2^841282-1 is not prime. Res64: AF0DD884FDE0E9BA Time : 1020.0 sec. user=vaughan [2010-07-13 11:13:39] 433*2^841283-1 is not prime. Res64: 3883C23A33E9CFE2 Time : 1137.0 sec. user=vaughan [2010-07-13 11:14:24] 571*2^841283-1 is not prime. Res64: FBB96CA821E77D79 Time : 1019.0 sec. user=vaughan [2010-07-13 11:17:19] 573*2^841283-1 is not prime. Res64: E7C9428C6A32FA41 Time : 1139.0 sec. user=vaughan [2010-07-13 11:17:49] 455*2^841284-1 is not prime. Res64: 6A25675B3BB6A329 Time : 1024.0 sec. user=vaughan [2010-07-13 11:18:13] 525*2^841282-1 is not prime. Res64: E1FEE2EEF071A1A4 Time : 1457.0 sec. user=vaughan [2010-07-13 11:18:30] 423*2^841284-1 is not prime. Res64: B95D473232D0712B Time : 1093.0 sec. user=vaughan [2010-07-13 11:20:42] 503*2^841284-1 is not prime. Res64: 6D1CEF98361D8D48 Time : 1168.0 sec. user=vaughan [2010-07-13 11:25:04] 465*2^841283-1 is not prime. Res64: 3CC6BA17088C39E1 Time : 1701.0 sec. user=vaughan [2010-07-13 11:26:38] 479*2^841284-1 is not prime. Res64: 4EF59205F556BEC9 Time : 1547.0 sec. user=vaughan [2010-07-13 11:26:41] 563*2^841284-1 is not prime. Res64: 5A744327FBB79525 Time : 1020.0 sec. user=vaughan [2010-07-13 11:31:21] 429*2^841285-1 is not prime. Res64: 9332F90D1CECCD76 Time : 1018.0 sec. user=vaughan [2010-07-13 11:32:33] 569*2^841284-1 is not prime. Res64: 8BE24809878040E1 Time : 1135.0 sec. user=vaughan [2010-07-13 11:34:52] 501*2^841286-1 is not prime. Res64: FA09949757C796F4 Time : 1024.0 sec. user=vaughan [2010-07-13 11:36:12] 555*2^841285-1 is not prime. Res64: 144ECA8CB7F17040 Time : 1133.0 sec. user=vaughan [2010-07-13 11:36:43] 525*2^841286-1 is not prime. Res64: 0FAF5FCF12533626 Time : 1093.0 sec. user=vaughan [2010-07-13 11:40:10] 545*2^841286-1 is not prime. Res64: 7B1636D742683CFB Time : 1169.0 sec. user=vaughan [2010-07-13 11:42:52] 521*2^841286-1 is not prime. Res64: 01055326695FB7BA Time : 1479.0 sec. user=vaughan [2010-07-13 11:43:41] 493*2^841287-1 is not prime. Res64: 327939A04A2ED40E Time : 1020.0 sec. user=vaughan [2010-07-13 11:48:20] 513*2^841287-1 is not prime. Res64: 78FB7CB242E7495E Time : 1019.0 sec. user=vaughan [2010-07-13 11:48:34] 587*2^841286-1 is not prime. Res64: FF434D3D83EAC8F8 Time : 1410.0 sec. user=vaughan [2010-07-13 11:51:21] 419*2^841288-1 is not prime. Res64: 6B5ABA8407786342 Time : 1128.0 sec. user=vaughan [2010-07-13 11:51:56] 429*2^841288-1 is not prime. Res64: 786A66D33AD9A4B5 Time : 1024.0 sec. user=vaughan [2010-07-13 11:54:56] 495*2^841288-1 is not prime. Res64: AEA5BC48012C9408 Time : 1094.0 sec. user=vaughan [2010-07-13 11:55:03] 479*2^841288-1 is not prime. Res64: 2C2FA05900A820B1 Time : 1131.0 sec. user=vaughan [2010-07-13 11:58:16] 489*2^841287-1 is not prime. Res64: E6B2060BC200260F Time : 1899.0 sec. user=vaughan [2010-07-13 11:59:40] 507*2^841288-1 is not prime. Res64: 937A31C778BBA668 Time : 1170.0 sec. user=vaughan [2010-07-13 12:00:41] 507*2^841289-1 is not prime. Res64: 94E37278367EEA6D Time : 1020.0 sec. user=vaughan [2010-07-13 12:05:18] 517*2^841289-1 is not prime. Res64: EDEA509CA98C5070 Time : 1019.0 sec. user=vaughan [2010-07-13 12:07:16] 533*2^841288-1 is not prime. Res64: A3B4B81BCE36CBAB Time : 1464.0 sec. user=vaughan [2010-07-13 12:09:00] 431*2^841290-1 is not prime. Res64: B69103BC9F9B9459 Time : 1024.0 sec. user=vaughan [2010-07-13 12:10:14] 401*2^841290-1 is not prime. Res64: 84766E670386B8C4 Time : 1133.0 sec. user=vaughan [2010-07-13 12:13:07] 513*2^841290-1 is not prime. Res64: EFBEBAD7C8BA94DF Time : 1092.0 sec. user=vaughan [2010-07-13 12:14:00] 525*2^841290-1 is not prime. Res64: 41837633712FEB1A Time : 1137.0 sec. user=vaughan [2010-07-13 12:17:13] 525*2^841289-1 is not prime. Res64: 42A8CE9C721530AE Time : 1719.0 sec. user=vaughan [2010-07-13 12:17:40] 489*2^841291-1 is not prime. Res64: D93992F406A8AC3D Time : 1020.0 sec. user=vaughan [2010-07-13 12:19:07] 421*2^841291-1 is not prime. Res64: 551E0A7043A444B2 Time : 1168.0 sec. user=vaughan [2010-07-13 12:22:17] 519*2^841291-1 is not prime. Res64: 5180DE448EE8A2CA Time : 1019.0 sec. user=vaughan [2010-07-13 12:26:03] 417*2^841292-1 is not prime. Res64: CB79756A4D82D1E0 Time : 1023.0 sec. user=vaughan [2010-07-13 12:29:08] 515*2^841292-1 is not prime. Res64: 821DD3AE4F655609 Time : 1134.0 sec. user=vaughan [2010-07-13 12:31:19] 537*2^841292-1 is not prime. Res64: 7D62352315D39878 Time : 1092.0 sec. user=vaughan [2010-07-13 12:31:37] 549*2^841291-1 is not prime. Res64: E0F36C632431C087 Time : 1461.0 sec. user=vaughan [2010-07-13 12:32:54] 593*2^841292-1 is not prime. Res64: E15C4AD8A6BB357F Time : 1135.0 sec. user=vaughan [2010-07-13 12:34:41] 441*2^841293-1 is not prime. Res64: A6F0069B0E715538 Time : 1021.0 sec. user=vaughan [2010-07-13 12:35:30] 405*2^841291-1 is not prime. Res64: C420C035205D29AD Time : 2234.0 sec. user=vaughan [2010-07-13 12:38:35] 511*2^841293-1 is not prime. Res64: 72A673002EC6CB23 Time : 1168.0 sec. user=vaughan [2010-07-13 12:39:15] 537*2^841293-1 is not prime. Res64: 22F0D4995801071B Time : 1018.0 sec. user=vaughan [2010-07-13 12:43:07] 591*2^841293-1 is not prime. Res64: DE6E5FA3C2F3738F Time : 1025.0 sec. user=vaughan [2010-07-13 12:46:41] 599*2^841292-1 is not prime. Res64: 53BC2B53EDC989BE Time : 1768.0 sec. user=vaughan [2010-07-13 12:47:59] 425*2^841294-1 is not prime. Res64: 585FF784BC1287F6 Time : 1132.0 sec. user=vaughan [2010-07-13 12:49:30] 435*2^841294-1 is not prime. Res64: F270CDA50CB27BC2 Time : 1092.0 sec. user=vaughan [2010-07-13 12:51:42] 483*2^841294-1 is not prime. Res64: 989759EEBB581EA5 Time : 1022.0 sec. user=vaughan [2010-07-13 12:51:46] 453*2^841294-1 is not prime. Res64: A437A8ACA3896157 Time : 1133.0 sec. user=vaughan [2010-07-13 12:56:07] 443*2^841294-1 is not prime. Res64: 0BED7C198E1ED92B Time : 1471.0 sec. user=vaughan [2010-07-13 12:56:15] 453*2^841295-1 is not prime. Res64: C924FB00803D9958 Time : 1020.0 sec. user=vaughan [2010-07-13 12:58:03] 421*2^841295-1 is not prime. Res64: 942D8B745815ACF7 Time : 1168.0 sec. user=vaughan [2010-07-13 13:00:11] 475*2^841295-1 is not prime. Res64: 035AC500E3B08509 Time : 1024.0 sec. user=vaughan [2010-07-13 13:06:55] 473*2^841296-1 is not prime. Res64: 3C92266A638F498D Time : 1137.0 sec. user=vaughan [2010-07-13 13:07:42] 557*2^841296-1 is not prime. Res64: C8BFDDFD73D02BDD Time : 1092.0 sec. user=vaughan [2010-07-13 13:07:42] 567*2^841294-1 is not prime. Res64: 578BBADFD5E4FBA5 Time : 1932.0 sec. user=vaughan [2010-07-13 13:08:44] 585*2^841296-1 is not prime. Res64: 540453DD73892A7B Time : 1022.0 sec. user=vaughan [2010-07-13 13:10:41] 423*2^841298-1 is not prime. Res64: E653DFA069B0752C Time : 1135.0 sec. user=vaughan [2010-07-13 13:13:17] 507*2^841298-1 is not prime. Res64: C7D8E55EC3B80A96 Time : 1022.0 sec. user=vaughan [2010-07-13 13:15:37] 511*2^841295-1 is not prime. Res64: F31388E498494FDA Time : 1736.0 sec. user=vaughan [2010-07-13 13:17:32] 515*2^841298-1 is not prime. Res64: 6AF5C680B38C1E4E Time : 1170.0 sec. user=vaughan [2010-07-13 13:17:34] 469*2^841299-1 is not prime. Res64: C86930D0F5AFD585 Time : 1043.0 sec. user=vaughan [2010-07-13 13:20:22] 495*2^841298-1 is not prime. Res64: EF50DB0131B8A2E6 Time : 1455.0 sec. user=vaughan [2010-07-13 13:25:38] 513*2^841299-1 is not prime. Res64: 5D3ED724983AAB9C Time : 1077.0 sec. user=vaughan [2010-07-13 13:25:50] 511*2^841299-1 is not prime. Res64: A3720156B29694F0 Time : 1135.0 sec. user=vaughan [2010-07-13 13:25:52] 555*2^841299-1 is not prime. Res64: 3E2B6D16BE79641B Time : 1029.0 sec. user=vaughan [2010-07-13 13:28:37] 553*2^841299-1 is not prime. Res64: 700F9204AD3E8BE8 Time : 1255.0 sec. user=vaughan [2010-07-13 13:29:40] 579*2^841299-1 is not prime. Res64: 3D7D125584697051 Time : 1139.0 sec. user=vaughan [2010-07-13 13:30:23] 513*2^841300-1 is not prime. Res64: 4368E33C64430F9F Time : 1026.0 sec. user=vaughan [2010-07-13 13:35:06] 485*2^841302-1 is not prime. Res64: EBF58CB914C85D45 Time : 1053.0 sec. user=vaughan [2010-07-13 13:37:01] 471*2^841302-1 is not prime. Res64: 59D481B9C90F5050 Time : 1169.0 sec. user=vaughan [2010-07-13 13:41:31] 451*2^841301-1 is not prime. Res64: 221B80266B4C525E Time : 1554.0 sec. user=vaughan [2010-07-13 13:43:00] 481*2^841303-1 is not prime. Res64: 129D583592D23E43 Time : 1028.0 sec. user=vaughan [2010-07-13 13:43:46] 525*2^841302-1 is not prime. Res64: 1930C109C2C76795 Time : 1088.0 sec. user=vaughan [2010-07-13 13:44:42] 503*2^841302-1 is not prime. Res64: E54C6ACEC817FF53 Time : 1460.0 sec. user=vaughan [2010-07-13 13:44:44] 411*2^841303-1 is not prime. Res64: D0E9269BF45F358D Time : 1134.0 sec. user=vaughan [2010-07-13 13:47:31] 493*2^841303-1 is not prime. Res64: F46616F238598E18 Time : 1029.0 sec. user=vaughan [2010-07-13 13:48:34] 489*2^841303-1 is not prime. Res64: 5DDBF86E268B83ED Time : 1134.0 sec. user=vaughan [2010-07-13 13:52:21] 425*2^841304-1 is not prime. Res64: F0C2E52E9F01D6F3 Time : 1035.0 sec. user=vaughan [2010-07-13 13:52:48] 483*2^841303-1 is not prime. Res64: FD96F1B180FD5620 Time : 1452.0 sec. user=vaughan [2010-07-13 13:56:29] 483*2^841304-1 is not prime. Res64: C21A236531AFE598 Time : 1169.0 sec. user=vaughan [2010-07-13 14:00:12] 519*2^841304-1 is not prime. Res64: 296CEBD993489D4F Time : 1033.0 sec. user=vaughan [2010-07-13 14:02:03] 525*2^841304-1 is not prime. Res64: C538824768244911 Time : 1097.0 sec. user=vaughan [2010-07-13 14:03:38] 465*2^841305-1 is not prime. Res64: D2D0EDE8E7E8F98A Time : 1134.0 sec. user=vaughan [2010-07-13 14:04:40] 469*2^841305-1 is not prime. Res64: 443566C42087FFAF Time : 1030.0 sec. user=vaughan [2010-07-13 14:07:30] 475*2^841305-1 is not prime. Res64: 97C618E66BA25325 Time : 1136.0 sec. user=vaughan [2010-07-13 14:09:09] 585*2^841304-1 is not prime. Res64: 0AD9AAE70C2BE19E Time : 1468.0 sec. user=vaughan [2010-07-13 14:09:42] 529*2^841305-1 is not prime. Res64: C34F436DA3AA6ED0 Time : 1041.0 sec. user=vaughan [2010-07-13 14:14:00] 507*2^841304-1 is not prime. Res64: 80D2CA720C4E65BF Time : 1950.0 sec. user=vaughan [2010-07-13 14:16:01] 577*2^841305-1 is not prime. Res64: 4A2A3BF75703675D Time : 1172.0 sec. user=vaughan [2010-07-13 14:17:19] 453*2^841306-1 is not prime. Res64: 32ADC2594D5D4216 Time : 1027.0 sec. user=vaughan [2010-07-13 14:20:20] 495*2^841306-1 is not prime. Res64: 112DF8DB55672D92 Time : 1098.0 sec. user=vaughan [2010-07-13 14:20:22] 535*2^841305-1 is not prime. Res64: 9F9297CCA5D4CAB1 Time : 1654.0 sec. user=vaughan [2010-07-13 14:21:46] 433*2^841307-1 is not prime. Res64: 07648D09DB2BDC02 Time : 1026.0 sec. user=vaughan [2010-07-13 14:22:34] 545*2^841306-1 is not prime. Res64: 93ABD369BDA4641F Time : 1136.0 sec. user=vaughan [2010-07-13 14:26:28] 493*2^841307-1 is not prime. Res64: 0948059B6BE8F272 Time : 1138.0 sec. user=vaughan [2010-07-13 14:26:57] 485*2^841308-1 is not prime. Res64: BDEA5B978D62FAD2 Time : 1036.0 sec. user=vaughan [2010-07-13 14:33:00] 525*2^841308-1 is not prime. Res64: 09AF3A2FABC5CD4C Time : 1140.0 sec. user=vaughan [2010-07-13 14:33:17] 413*2^841308-1 is not prime. Res64: 4C3C18F23CA3014B Time : 1448.0 sec. user=vaughan [2010-07-13 14:34:19] 469*2^841309-1 is not prime. Res64: 8086F74A0FC8970F Time : 1021.0 sec. user=vaughan [2010-07-13 14:35:33] 579*2^841308-1 is not prime. Res64: 02588A14ADE45514 Time : 1172.0 sec. user=vaughan [2010-07-13 14:38:05] 525*2^841309-1 is not prime. Res64: 222D69A7C94606B4 Time : 1063.0 sec. user=vaughan [2010-07-13 14:38:32] 481*2^841309-1 is not prime. Res64: D348E4737BAEEE0B Time : 1093.0 sec. user=vaughan [2010-07-13 14:38:45] 537*2^841309-1 is not prime. Res64: D96B143FED56833D Time : 1019.0 sec. user=vaughan [2010-07-13 14:41:30] 561*2^841309-1 is not prime. Res64: 18F39F375AC1F305 Time : 1136.0 sec. user=vaughan [2010-07-13 14:44:01] 461*2^841310-1 is not prime. Res64: 5E7250DF6E7FD38E Time : 1024.0 sec. user=vaughan [2010-07-13 14:45:28] 567*2^841309-1 is not prime. Res64: B589FE4D26F7D4C3 Time : 1140.0 sec. user=vaughan [2010-07-13 14:51:19] 593*2^841310-1 is not prime. Res64: B25AECD2C27BA133 Time : 1020.0 sec. user=vaughan [2010-07-13 14:55:03] 459*2^841311-1 is not prime. Res64: 8C24BA28166B0746 Time : 1171.0 sec. user=vaughan [2010-07-13 14:55:42] 487*2^841313-1 is not prime. Res64: 04F73F0AA714D7DC Time : 1018.0 sec. user=vaughan [2010-07-13 14:56:44] 525*2^841312-1 is not prime. Res64: 9F9FADC725F3D7DA Time : 1092.0 sec. user=vaughan [2010-07-13 14:57:41] 495*2^841310-1 is not prime. Res64: C326938B8793E299 Time : 1464.0 sec. user=vaughan [2010-07-13 14:59:56] 477*2^841310-1 is not prime. Res64: 378097B08945F32C Time : 1616.0 sec. user=vaughan [2010-07-13 15:00:23] 495*2^841313-1 is not prime. Res64: 830C7B5CB3852903 Time : 1133.0 sec. user=vaughan [2010-07-13 15:01:04] 577*2^841313-1 is not prime. Res64: AFDCE2C08FB5F7BE Time : 1023.0 sec. user=vaughan [2010-07-13 15:04:25] 589*2^841313-1 is not prime. Res64: 41D87813D25BA662 Time : 1138.0 sec. user=vaughan [2010-07-13 15:05:56] 519*2^841312-1 is not prime. Res64: 2666102E4AA5E4AC Time : 1672.0 sec. user=vaughan [2010-07-13 15:08:16] 443*2^841314-1 is not prime. Res64: E3C10DB8FF1A7280 Time : 1017.0 sec. user=vaughan [2010-07-13 15:12:38] 507*2^841314-1 is not prime. Res64: 142AAFE5CC6080FF Time : 1016.0 sec. user=vaughan [2010-07-13 15:14:46] 483*2^841314-1 is not prime. Res64: 506200B53E3BE56C Time : 1183.0 sec. user=vaughan [2010-07-13 15:14:55] 405*2^841315-1 is not prime. Res64: 18DFC75F88C38C5D Time : 1092.0 sec. user=vaughan [2010-07-13 15:17:19] 451*2^841315-1 is not prime. Res64: 955BF6EBD7E6A7C8 Time : 1043.0 sec. user=vaughan [2010-07-13 15:18:06] 455*2^841316-1 is not prime. Res64: 5EB2E4D24169D56A Time : 1022.0 sec. user=vaughan [2010-07-13 15:19:40] 471*2^841315-1 is not prime. Res64: 1E4AD477C48DE8A5 Time : 1157.0 sec. user=vaughan [2010-07-13 15:22:02] 441*2^841315-1 is not prime. Res64: EF7266D6FC3B0C1A Time : 1461.0 sec. user=vaughan [2010-07-13 15:23:28] 477*2^841316-1 is not prime. Res64: 3A8D1EEC35EDB157 Time : 1143.0 sec. user=vaughan [2010-07-13 15:23:45] 483*2^841316-1 is not prime. Res64: AF77F9C7E9D23F25 Time : 1069.0 sec. user=vaughan [2010-07-13 15:25:13] 515*2^841316-1 is not prime. Res64: C84BA1407AB8847D Time : 1017.0 sec. user=vaughan [2010-07-13 15:29:34] 405*2^841317-1 is not prime. Res64: 9DE85970DEE64687 Time : 1016.0 sec. user=vaughan [2010-07-13 15:33:08] 469*2^841317-1 is not prime. Res64: B0A33B4EDBFA432C Time : 1093.0 sec. user=vaughan [2010-07-13 15:34:16] 457*2^841317-1 is not prime. Res64: B230A6C9E77BDB48 Time : 1170.0 sec. user=vaughan [2010-07-13 15:34:45] 585*2^841317-1 is not prime. Res64: 041B8D2F54993CB1 Time : 1047.0 sec. user=vaughan [2010-07-13 15:35:09] 405*2^841318-1 is not prime. Res64: 058CCD7165CF41E9 Time : 1024.0 sec. user=vaughan [2010-07-13 15:38:40] 507*2^841318-1 is not prime. Res64: 8D4DAE81A3AA86F5 Time : 1141.0 sec. user=vaughan [2010-07-13 15:41:31] 445*2^841319-1 is not prime. Res64: B021C9CF978AA065 Time : 1067.0 sec. user=vaughan [2010-07-13 15:42:16] 559*2^841319-1 is not prime. Res64: 58D8A98B402AECB6 Time : 1023.0 sec. user=vaughan [2010-07-13 15:42:29] 403*2^841319-1 is not prime. Res64: 670640E4C1FD65D1 Time : 1141.0 sec. user=vaughan [2010-07-13 15:46:13] 533*2^841318-1 is not prime. Res64: 9CE6817B563B2C9C Time : 1451.0 sec. user=vaughan [2010-07-13 15:46:35] 571*2^841319-1 is not prime. Res64: 6FB28AC293FFA38A Time : 1021.0 sec. user=vaughan [2010-07-13 15:51:23] 503*2^841320-1 is not prime. Res64: 5D9B946B5AC7B0F5 Time : 1096.0 sec. user=vaughan [2010-07-13 15:52:15] 597*2^841320-1 is not prime. Res64: B603DA15A7A4B46C Time : 1026.0 sec. user=vaughan [2010-07-13 15:53:45] 555*2^841320-1 is not prime. Res64: 6B233F55F39C3684 Time : 1170.0 sec. user=vaughan [2010-07-13 15:57:36] 499*2^841321-1 is not prime. Res64: 08DEC846077BD380 Time : 1136.0 sec. user=vaughan [2010-07-13 15:59:15] 525*2^841321-1 is not prime. Res64: 702D44EC8E398780 Time : 1020.0 sec. user=vaughan [2010-07-13 16:01:18] 531*2^841321-1 is not prime. Res64: F0FB39220BDC47B0 Time : 1130.0 sec. user=vaughan [2010-07-13 16:03:33] 559*2^841321-1 is not prime. Res64: 57424EBB98F07776 Time : 1018.0 sec. user=vaughan [2010-07-13 16:09:19] 477*2^841322-1 is not prime. Res64: 81AEBBC72DD771D5 Time : 1024.0 sec. user=vaughan [2010-07-13 16:09:36] 565*2^841321-1 is not prime. Res64: 1031F9D03DAA571A Time : 1094.0 sec. user=vaughan [2010-07-13 16:10:41] 541*2^841321-1 is not prime. Res64: 33CA0DA1BD3B1041 Time : 1469.0 sec. user=vaughan [2010-07-13 16:13:16] 521*2^841322-1 is not prime. Res64: A485C3A82A39D032 Time : 1171.0 sec. user=vaughan [2010-07-13 16:16:15] 581*2^841322-1 is not prime. Res64: 05DB5D916C3DA0EE Time : 1020.0 sec. user=vaughan [2010-07-13 16:16:31] 561*2^841322-1 is not prime. Res64: 2296711222CD95B9 Time : 1135.0 sec. user=vaughan [2010-07-13 16:20:18] 445*2^841323-1 is not prime. Res64: A369CACE57EE0FBE Time : 1141.0 sec. user=vaughan [2010-07-13 16:20:30] 471*2^841323-1 is not prime. Res64: 2D9DFF6EE47D51CE Time : 1018.0 sec. user=vaughan [2010-07-13 16:22:09] 563*2^841320-1 is not prime. Res64: 7A9757EB5358CDAE Time : 2844.0 sec. user=vaughan [2010-07-13 16:26:24] 489*2^841323-1 is not prime. Res64: 8A1EA9D97E3FB5BB Time : 1025.0 sec. user=vaughan [2010-07-13 16:27:52] 543*2^841323-1 is not prime. Res64: 049DABFE4C453CDF Time : 1096.0 sec. user=vaughan [2010-07-13 16:29:45] 511*2^841321-1 is not prime. Res64: A279F40E5D4AC8B1 Time : 2894.0 sec. user=vaughan [2010-07-13 16:32:43] 585*2^841323-1 is not prime. Res64: EFC1BC56B35B69DB Time : 1167.0 sec. user=vaughan [2010-07-13 16:33:14] 591*2^841323-1 is not prime. Res64: 0BE7659973C20A8B Time : 1020.0 sec. user=vaughan [2010-07-13 16:34:47] 565*2^841323-1 is not prime. Res64: 436E38A59C5B130F Time : 1447.0 sec. user=vaughan [2010-07-13 16:35:26] 453*2^841324-1 is not prime. Res64: 0368722B8ACB7161 Time : 1136.0 sec. user=vaughan [2010-07-13 16:37:29] 533*2^841324-1 is not prime. Res64: 501F1026656F9B77 Time : 1019.0 sec. user=vaughan [2010-07-13 16:39:20] 489*2^841324-1 is not prime. Res64: A765006712F68E2F Time : 1143.0 sec. user=vaughan [2010-07-13 16:41:30] 563*2^841324-1 is not prime. Res64: 9EB9069863982C32 Time : 1161.0 sec. user=vaughan [2010-07-13 16:43:29] 573*2^841324-1 is not prime. Res64: 5B3F3531A7DE30A3 Time : 1026.0 sec. user=vaughan [2010-07-13 16:46:07] 441*2^841325-1 is not prime. Res64: CA371B707A5E1A0B Time : 1096.0 sec. user=vaughan [2010-07-13 16:50:17] 489*2^841325-1 is not prime. Res64: 803A3859A40428EF Time : 1024.0 sec. user=vaughan [2010-07-13 16:52:12] 475*2^841325-1 is not prime. Res64: C0D2C762E5068E72 Time : 1170.0 sec. user=vaughan [2010-07-13 16:54:26] 561*2^841325-1 is not prime. Res64: C93193C897510852 Time : 1141.0 sec. user=vaughan [2010-07-13 16:54:31] 417*2^841326-1 is not prime. Res64: 901B17D92D718B8A Time : 1022.0 sec. user=vaughan [2010-07-13 16:58:28] 483*2^841326-1 is not prime. Res64: C0E8D60C7FEE65F5 Time : 1148.0 sec. user=vaughan [2010-07-13 16:58:33] 525*2^841325-1 is not prime. Res64: 2ADD1C4FE54E106A Time : 1426.0 sec. user=vaughan [2010-07-13 17:00:36] 573*2^841326-1 is not prime. Res64: C87B0E77681A1457 Time : 1028.0 sec. user=vaughan [2010-07-13 17:04:06] 453*2^841328-1 is not prime. Res64: A7FC4A364D7ECFC2 Time : 1080.0 sec. user=vaughan [2010-07-13 17:05:30] 447*2^841325-1 is not prime. Res64: 5633FEDE538BF4C5 Time : 2145.0 sec. user=vaughan [2010-07-13 17:07:21] 467*2^841328-1 is not prime. Res64: 6438806ED7CABDA7 Time : 1024.0 sec. user=vaughan [2010-07-13 17:10:01] 527*2^841326-1 is not prime. Res64: CCF5A5EE03532FFF Time : 1711.0 sec. user=vaughan [2010-07-13 17:11:35] 539*2^841328-1 is not prime. Res64: B7C4102F3DEB4640 Time : 1025.0 sec. user=vaughan [2010-07-13 17:11:59] 507*2^841328-1 is not prime. Res64: 91A04C9C39A708A7 Time : 1187.0 sec. user=vaughan [2010-07-13 17:14:34] 509*2^841328-1 is not prime. Res64: E08641301ECE7CFE Time : 1208.0 sec. user=vaughan [2010-07-13 17:17:41] 441*2^841329-1 is not prime. Res64: 1E1DBE64A052136A Time : 1148.0 sec. user=vaughan [2010-07-13 17:17:42] 457*2^841329-1 is not prime. Res64: 0A389CBB4EBDB238 Time : 1026.0 sec. user=vaughan [2010-07-13 17:18:57] 599*2^841328-1 is not prime. Res64: A79E3368E45B167C Time : 1230.0 sec. user=vaughan [2010-07-13 17:20:30] 459*2^841329-1 is not prime. Res64: AB8E5DCE31F3077B Time : 984.0 sec. user=vaughan [2010-07-13 17:24:27] 525*2^841329-1 is not prime. Res64: D9B4DCF6F8094C94 Time : 1026.0 sec. user=vaughan [2010-07-13 17:28:39] 527*2^841330-1 is not prime. Res64: 9E35E03C840DEB20 Time : 1024.0 sec. user=vaughan [2010-07-13 17:31:55] 555*2^841330-1 is not prime. Res64: AE0ABB10557A4D58 Time : 1196.0 sec. user=vaughan [2010-07-13 17:34:45] 419*2^841332-1 is not prime. Res64: 1DFCD7EC24574739 Time : 1023.0 sec. user=vaughan [2010-07-13 17:34:53] 433*2^841331-1 is not prime. Res64: AF0E6C079969E89E Time : 1219.0 sec. user=vaughan [2010-07-13 17:36:23] 579*2^841331-1 is not prime. Res64: 242306637130EDC8 Time : 1123.0 sec. user=vaughan [2010-07-13 17:36:56] 485*2^841332-1 is not prime. Res64: FBA757F3F6D34CA6 Time : 986.0 sec. user=vaughan [2010-07-13 17:37:51] 571*2^841329-1 is not prime. Res64: A84474BB96269EF3 Time : 1670.0 sec. user=vaughan [2010-07-13 17:39:19] 483*2^841332-1 is not prime. Res64: 3B0EAD0D68A52F7E Time : 1222.0 sec. user=vaughan [2010-07-13 17:41:35] 489*2^841332-1 is not prime. Res64: E6FA4D2886D6B2FE Time : 1028.0 sec. user=vaughan [2010-07-13 17:45:45] 497*2^841332-1 is not prime. Res64: 6C063F00376F0776 Time : 1026.0 sec. user=vaughan [2010-07-13 17:49:35] 471*2^841329-1 is not prime. Res64: 1346F900504034DA Time : 2645.0 sec. user=vaughan [2010-07-13 17:51:49] 451*2^841333-1 is not prime. Res64: 2DE1F92CF19AB1D0 Time : 1024.0 sec. user=vaughan [2010-07-13 17:52:15] 503*2^841332-1 is not prime. Res64: 7C177736DBAE9E98 Time : 1221.0 sec. user=vaughan [2010-07-13 17:53:23] 501*2^841334-1 is not prime. Res64: 0AFF7F4598873DD3 Time : 988.0 sec. user=vaughan [2010-07-13 17:56:05] 591*2^841333-1 is not prime. Res64: 2140DD560AC641EC Time : 1183.0 sec. user=vaughan [2010-07-13 17:56:51] 519*2^841333-1 is not prime. Res64: 5C3E1C35FB951A00 Time : 1318.0 sec. user=vaughan [2010-07-13 17:58:48] 573*2^841334-1 is not prime. Res64: 2E0F27155F56FDFA Time : 1034.0 sec. user=vaughan [2010-07-13 18:02:02] 563*2^841334-1 is not prime. Res64: F41FF30F0FC46B7D Time : 1364.0 sec. user=vaughan [2010-07-13 18:03:02] 587*2^841334-1 is not prime. Res64: 3DDDEE839F2E2F9A Time : 1037.0 sec. user=vaughan [2010-07-13 18:09:13] 403*2^841335-1 is not prime. Res64: 6E7112D683F0B06C Time : 1044.0 sec. user=vaughan [2010-07-13 18:09:52] 411*2^841335-1 is not prime. Res64: 5A712CA52567FFE2 Time : 989.0 sec. user=vaughan [2010-07-13 18:13:09] 405*2^841335-1 is not prime. Res64: F551E1D4193E0786 Time : 1254.0 sec. user=vaughan [2010-07-13 18:16:03] 513*2^841335-1 is not prime. Res64: 0933FC20A38BDC1A Time : 1035.0 sec. user=vaughan [2010-07-13 18:20:25] 405*2^841336-1 is not prime. Res64: 4F1CEB6CE16E2904 Time : 1043.0 sec. user=vaughan [2010-07-13 18:20:57] 489*2^841335-1 is not prime. Res64: CBFF841E173BAE4D Time : 1447.0 sec. user=vaughan [2010-07-13 18:21:20] 533*2^841334-1 is not prime. Res64: 128736528DAE46BF Time : 2609.0 sec. user=vaughan [2010-07-13 18:23:25] 481*2^841335-1 is not prime. Res64: 59E7A1F2205A7955 Time : 1640.0 sec. user=vaughan [2010-07-13 18:26:11] 523*2^841335-1 is not prime. Res64: 491EA5F89D19A834 Time : 1450.0 sec. user=vaughan [2010-07-13 18:26:22] 593*2^841334-1 is not prime. Res64: 120045CF58DCDC2E Time : 2208.0 sec. user=vaughan [2010-07-13 18:26:33] 447*2^841336-1 is not prime. Res64: 52D239FBC246525E Time : 1001.0 sec. user=vaughan [2010-07-13 18:26:46] 429*2^841336-1 is not prime. Res64: A8995976A1D3F894 Time : 1053.0 sec. user=vaughan [2010-07-13 18:33:34] 527*2^841336-1 is not prime. Res64: 66067314E275A492 Time : 1051.0 sec. user=vaughan [2010-07-13 18:34:16] 453*2^841336-1 is not prime. Res64: CC17CF581F4EC7B8 Time : 1268.0 sec. user=vaughan [2010-07-13 18:37:45] 567*2^841336-1 is not prime. Res64: 5FF938C01F0A80E3 Time : 1040.0 sec. user=vaughan [2010-07-13 18:38:44] 585*2^841337-1 is not prime. Res64: D9D7F43B21DFA3A1 Time : 1045.0 sec. user=vaughan [2010-07-13 18:43:02] 581*2^841338-1 is not prime. Res64: 0E0D360C01B42C69 Time : 989.0 sec. user=vaughan [2010-07-13 18:44:07] 563*2^841338-1 is not prime. Res64: 9680EF72950F6443 Time : 1065.0 sec. user=vaughan [2010-07-13 18:44:15] 421*2^841339-1 is not prime. Res64: A61452513BF975F1 Time : 1050.0 sec. user=vaughan [2010-07-13 18:46:29] 445*2^841337-1 is not prime. Res64: CEA50D7A6306934E Time : 1533.0 sec. user=vaughan [2010-07-13 18:49:41] 423*2^841338-1 is not prime. Res64: 660D80DB7651FF8B Time : 1576.0 sec. user=vaughan [2010-07-13 18:50:53] 439*2^841339-1 is not prime. Res64: A4039C2F206707F5 Time : 1039.0 sec. user=vaughan [2010-07-13 18:51:57] 525*2^841338-1 is not prime. Res64: 81EC48A7CC14175D Time : 1546.0 sec. user=vaughan [2010-07-13 18:55:08] 483*2^841339-1 is not prime. Res64: 3E271D7FC89430F7 Time : 1043.0 sec. user=vaughan [2010-07-13 18:55:35] 441*2^841339-1 is not prime. Res64: 880CD59AEA5D0CC6 Time : 1279.0 sec. user=vaughan [2010-07-13 18:59:34] 579*2^841339-1 is not prime. Res64: 3E9BC198AD67DA7A Time : 992.0 sec. user=vaughan [2010-07-13 19:01:32] 557*2^841340-1 is not prime. Res64: E88911B049662517 Time : 1037.0 sec. user=vaughan [2010-07-13 19:02:49] 555*2^841339-1 is not prime. Res64: 9DB02DC1DF900D5A Time : 1445.0 sec. user=vaughan [2010-07-13 19:08:15] 415*2^841341-1 is not prime. Res64: A6093F8E97D3F028 Time : 1042.0 sec. user=vaughan [2010-07-13 19:08:39] 483*2^841340-1 is not prime. Res64: 8CC98F1AB828FF30 Time : 1473.0 sec. user=vaughan [2010-07-13 19:12:24] 549*2^841341-1 is not prime. Res64: F5940C2849784038 Time : 1036.0 sec. user=vaughan [2010-07-13 19:12:25] 579*2^841340-1 is not prime. Res64: 5F7F57F67D5F6E6F Time : 1556.0 sec. user=vaughan [2010-07-13 19:15:39] 405*2^841341-1 is not prime. Res64: 971BCD7F0182B7A7 Time : 1558.0 sec. user=vaughan [2010-07-13 19:16:03] 467*2^841342-1 is not prime. Res64: 093299074EAC7248 Time : 989.0 sec. user=vaughan [2010-07-13 19:17:06] 401*2^841342-1 is not prime. Res64: 897ACA7264D78A09 Time : 1291.0 sec. user=vaughan [2010-07-13 19:17:57] 417*2^841341-1 is not prime. Res64: 155F12105C6A65B3 Time : 1560.0 sec. user=vaughan [2010-07-13 19:18:48] 471*2^841342-1 is not prime. Res64: 84901F49E79DDEA4 Time : 1036.0 sec. user=vaughan [2010-07-13 19:20:16] 495*2^841342-1 is not prime. Res64: B0A0BCDC4FF2F463 Time : 1047.0 sec. user=vaughan [2010-07-13 19:25:27] 561*2^841342-1 is not prime. Res64: E4E6C9BF348D77CB Time : 1033.0 sec. user=vaughan [2010-07-13 19:26:22] 435*2^841343-1 is not prime. Res64: E8D02C303B662CE5 Time : 1063.0 sec. user=vaughan [2010-07-13 19:29:30] 463*2^841343-1 is not prime. Res64: 4E07BFF7332A2737 Time : 1026.0 sec. user=vaughan [2010-07-13 19:32:28] 505*2^841343-1 is not prime. Res64: E04BF984E895A121 Time : 985.0 sec. user=vaughan [2010-07-13 19:35:53] 447*2^841344-1 is not prime. Res64: 1C84DE7E9EB20B2B Time : 1025.0 sec. user=vaughan [2010-07-13 19:37:40] 489*2^841344-1 is not prime. Res64: 3810DF467A9186C8 Time : 1045.0 sec. user=vaughan [2010-07-13 19:38:44] 489*2^841343-1 is not prime. Res64: 622513D0CF311BC8 Time : 1579.0 sec. user=vaughan [2010-07-13 19:38:51] 549*2^841343-1 is not prime. Res64: 55114308420035F0 Time : 1305.0 sec. user=vaughan [2010-07-13 19:41:30] 501*2^841343-1 is not prime. Res64: 86F8D26D1DF4B4B8 Time : 1551.0 sec. user=vaughan [2010-07-13 19:42:36] 569*2^841344-1 is not prime. Res64: 32E565921C0AAB7E Time : 1029.0 sec. user=vaughan [2010-07-13 19:44:04] 429*2^841345-1 is not prime. Res64: F29995B41FA74C53 Time : 1063.0 sec. user=vaughan [2010-07-13 19:44:23] 565*2^841343-1 is not prime. Res64: F5B6F388C550F2D0 Time : 1586.0 sec. user=vaughan [2010-07-13 19:46:35] 405*2^841346-1 is not prime. Res64: 77FCA801756F2B42 Time : 1026.0 sec. user=vaughan [2010-07-13 19:48:52] 477*2^841346-1 is not prime. Res64: FA5167F8DAA3DEAB Time : 984.0 sec. user=vaughan [2010-07-13 19:52:55] 483*2^841346-1 is not prime. Res64: 166309150C5E11A9 Time : 1023.0 sec. user=vaughan [2010-07-13 19:59:45] 489*2^841347-1 is not prime. Res64: 1547F5FEFCFACA97 Time : 1030.0 sec. user=vaughan [2010-07-13 20:00:13] 433*2^841347-1 is not prime. Res64: 419C03FC70AA3509 Time : 1282.0 sec. user=vaughan [2010-07-13 20:03:06] 497*2^841346-1 is not prime. Res64: 95251EC6A98EACC1 Time : 1526.0 sec. user=vaughan [2010-07-13 20:03:41] 437*2^841348-1 is not prime. Res64: 60A220FBC4705CEF Time : 1026.0 sec. user=vaughan [2010-07-13 20:04:37] 585*2^841346-1 is not prime. Res64: DBEA360A5787A82F Time : 1553.0 sec. user=vaughan [2010-07-13 20:05:16] 497*2^841348-1 is not prime. Res64: 32C775A476F349E3 Time : 984.0 sec. user=vaughan [2010-07-13 20:07:34] 469*2^841347-1 is not prime. Res64: 4B4E27B50FFF20E9 Time : 1564.0 sec. user=vaughan [2010-07-13 20:09:50] 571*2^841347-1 is not prime. Res64: 1EDAA96C39FBDEC1 Time : 1546.0 sec. user=vaughan [2010-07-13 20:10:00] 577*2^841349-1 is not prime. Res64: F586352717668644 Time : 1025.0 sec. user=vaughan [2010-07-13 20:10:14] 405*2^841348-1 is not prime. Res64: BEC1569AD03CF384 Time : 1551.0 sec. user=vaughan [2010-07-13 20:16:52] 461*2^841350-1 is not prime. Res64: 0EE8AEC93B4266AC Time : 1028.0 sec. user=vaughan [2010-07-13 20:20:30] 433*2^841351-1 is not prime. Res64: 342F820D52E765B2 Time : 1045.0 sec. user=vaughan [2010-07-13 20:20:46] 525*2^841351-1 is not prime. Res64: D63CDA786E6C009C Time : 1025.0 sec. user=vaughan [2010-07-13 20:21:27] 483*2^841350-1 is not prime. Res64: 945E79D8048B8356 Time : 1274.0 sec. user=vaughan [2010-07-13 20:21:42] 561*2^841351-1 is not prime. Res64: 256C2D271E10E9D7 Time : 986.0 sec. user=vaughan [2010-07-13 20:27:04] 429*2^841353-1 is not prime. Res64: BE64560161D16CA3 Time : 1025.0 sec. user=vaughan [2010-07-13 20:27:31] 409*2^841353-1 is not prime. Res64: 9D5C37ABD62184D1 Time : 1062.0 sec. user=vaughan [2010-07-13 20:30:08] 535*2^841351-1 is not prime. Res64: 40CEC8D61614AB70 Time : 1531.0 sec. user=vaughan [2010-07-13 20:33:57] 435*2^841352-1 is not prime. Res64: 5771597AA2581264 Time : 1584.0 sec. user=vaughan [2010-07-13 20:34:00] 471*2^841353-1 is not prime. Res64: A992E7F9E04100A2 Time : 1028.0 sec. user=vaughan [2010-07-13 20:35:39] 441*2^841353-1 is not prime. Res64: 8C3BBEE515E3E4FD Time : 1525.0 sec. user=vaughan [2010-07-13 20:37:51] 585*2^841353-1 is not prime. Res64: C4A83BA7936DCC02 Time : 1025.0 sec. user=vaughan [2010-07-13 20:37:57] 565*2^841353-1 is not prime. Res64: 67E97E31679B6CAC Time : 1047.0 sec. user=vaughan [2010-07-13 20:38:06] 447*2^841354-1 is not prime. Res64: 7B9B6765E147B9E8 Time : 985.0 sec. user=vaughan [2010-07-13 20:42:48] 595*2^841353-1 is not prime. Res64: B46386273837D8CB Time : 1281.0 sec. user=vaughan [2010-07-13 20:44:07] 531*2^841354-1 is not prime. Res64: 758F9BBDA47A62A9 Time : 1024.0 sec. user=vaughan [2010-07-13 20:45:12] 463*2^841355-1 is not prime. Res64: 5DCC293F3C0B5376 Time : 1061.0 sec. user=vaughan [2010-07-13 20:51:08] 429*2^841356-1 is not prime. Res64: 476DB0906FFC8E77 Time : 1028.0 sec. user=vaughan [2010-07-13 20:54:30] 567*2^841356-1 is not prime. Res64: 3495C5AB31E9CD87 Time : 984.0 sec. user=vaughan [2010-07-13 20:54:56] 473*2^841356-1 is not prime. Res64: 5B83FCDD8D7E0576 Time : 1026.0 sec. user=vaughan [2010-07-13 20:55:22] 525*2^841356-1 is not prime. Res64: B881EAD3E5BDA662 Time : 1046.0 sec. user=vaughan [2010-07-13 20:56:03] 465*2^841355-1 is not prime. Res64: AA39028CED208DD8 Time : 1556.0 sec. user=vaughan [2010-07-13 21:00:00] 511*2^841355-1 is not prime. Res64: 9BDB2C1A491981F3 Time : 1563.0 sec. user=vaughan [2010-07-13 21:01:11] 451*2^841357-1 is not prime. Res64: EB3034E824A4DBF8 Time : 1024.0 sec. user=vaughan [2010-07-13 21:01:58] 465*2^841356-1 is not prime. Res64: C4136E992495F8F0 Time : 1580.0 sec. user=vaughan [2010-07-13 21:02:59] 567*2^841357-1 is not prime. Res64: AC8E82238B155D6F Time : 1067.0 sec. user=vaughan [2010-07-13 21:06:01] 597*2^841356-1 is not prime. Res64: 738AF88F41B7C75B Time : 1394.0 sec. user=vaughan [2010-07-13 21:08:17] 577*2^841357-1 is not prime. Res64: 0503DBAE3DFE7CA8 Time : 1029.0 sec. user=vaughan [2010-07-13 21:10:57] 501*2^841358-1 is not prime. Res64: BFA36942E158D64A Time : 987.0 sec. user=vaughan [2010-07-13 21:12:00] 591*2^841358-1 is not prime. Res64: 80130C96B63D8344 Time : 1025.0 sec. user=vaughan [2010-07-13 21:12:47] 481*2^841359-1 is not prime. Res64: 59B4BABEC6C973DD Time : 1045.0 sec. user=vaughan [2010-07-13 21:18:15] 429*2^841360-1 is not prime. Res64: 0D3FD2D264EDF21B Time : 1024.0 sec. user=vaughan [2010-07-13 21:20:46] 597*2^841360-1 is not prime. Res64: 7918A5E93C7FAD33 Time : 1068.0 sec. user=vaughan [2010-07-13 21:24:25] 549*2^841359-1 is not prime. Res64: 4D8D2330A6887265 Time : 1702.0 sec. user=vaughan [2010-07-13 21:25:23] 439*2^841361-1 is not prime. Res64: 5F11B2BAAD509C8E Time : 1027.0 sec. user=vaughan [2010-07-13 21:25:56] 553*2^841359-1 is not prime. Res64: D1AFAFFE76F9A7B8 Time : 1556.0 sec. user=vaughan [2010-07-13 21:27:21] 445*2^841361-1 is not prime. Res64: 93F85A3DEECC68E4 Time : 985.0 sec. user=vaughan [2010-07-13 21:27:23] 405*2^841361-1 is not prime. Res64: CA0BF8DD110C8AA3 Time : 1282.0 sec. user=vaughan [2010-07-13 21:29:05] 495*2^841361-1 is not prime. Res64: 8879AEF93B879A01 Time : 1025.0 sec. user=vaughan [2010-07-13 21:30:04] 563*2^841360-1 is not prime. Res64: EC45AA94183435DE Time : 1686.0 sec. user=vaughan [2010-07-13 21:30:14] 537*2^841361-1 is not prime. Res64: 426DA8B065C1DB11 Time : 1048.0 sec. user=vaughan [2010-07-13 21:35:18] 471*2^841362-1 is not prime. Res64: 33A6E695E41323E0 Time : 1024.0 sec. user=vaughan [2010-07-13 21:38:52] 497*2^841362-1 is not prime. Res64: B7D595DC5F79736A Time : 1086.0 sec. user=vaughan [2010-07-13 21:42:30] 415*2^841363-1 is not prime. Res64: 21F784870DE9C8B6 Time : 1027.0 sec. user=vaughan [2010-07-13 21:43:44] 451*2^841363-1 is not prime. Res64: 2EE1D7D77A64B4F8 Time : 983.0 sec. user=vaughan [2010-07-13 21:46:11] 519*2^841363-1 is not prime. Res64: CE4B268BA6E3C481 Time : 1026.0 sec. user=vaughan [2010-07-13 21:47:45] 495*2^841364-1 is not prime. Res64: 3B2FFA78423CBA19 Time : 1052.0 sec. user=vaughan [2010-07-13 21:48:39] 465*2^841363-1 is not prime. Res64: 954403714D0B2AD0 Time : 1276.0 sec. user=vaughan [2010-07-13 21:50:09] 537*2^841362-1 is not prime. Res64: 36667F34A8D35E7F Time : 1545.0 sec. user=vaughan [2010-07-13 21:52:07] 439*2^841363-1 is not prime. Res64: 6C748868A717DFAE Time : 1572.0 sec. user=vaughan [2010-07-13 21:52:20] 475*2^841365-1 is not prime. Res64: 21A33BF5F86F4D51 Time : 1022.0 sec. user=vaughan [2010-07-13 21:55:48] 589*2^841363-1 is not prime. Res64: EC9CAE6B0AEF6502 Time : 1544.0 sec. user=vaughan [2010-07-13 21:56:33] 481*2^841365-1 is not prime. Res64: 4DAEB75399CF960F Time : 1061.0 sec. user=vaughan [2010-07-13 21:59:36] 511*2^841365-1 is not prime. Res64: 503FEDD9E0679C57 Time : 1026.0 sec. user=vaughan [2010-07-13 22:00:10] 491*2^841366-1 is not prime. Res64: 6F8204E80752A26F Time : 986.0 sec. user=vaughan [2010-07-13 22:03:14] 513*2^841366-1 is not prime. Res64: 8C130019C7A0007E Time : 1024.0 sec. user=vaughan [2010-07-13 22:05:14] 587*2^841366-1 is not prime. Res64: 6E2163A9B28751CF Time : 1049.0 sec. user=vaughan [2010-07-13 22:09:21] 511*2^841367-1 is not prime. Res64: 55DAFC86F1F877FB Time : 1021.0 sec. user=vaughan [2010-07-13 22:10:03] 403*2^841367-1 is not prime. Res64: CEAF9ADFD2D86617 Time : 1284.0 sec. user=vaughan [2010-07-13 22:14:14] 585*2^841367-1 is not prime. Res64: CB5DE90AFD8B5E9A Time : 1062.0 sec. user=vaughan [2010-07-13 22:15:41] 433*2^841367-1 is not prime. Res64: CE95948AB9D5A9AA Time : 1532.0 sec. user=vaughan [2010-07-13 22:16:33] 525*2^841368-1 is not prime. Res64: 04DD62B0EAF0BCDE Time : 985.0 sec. user=vaughan [2010-07-13 22:16:41] 437*2^841368-1 is not prime. Res64: 2E963F23DD701F6F Time : 1025.0 sec. user=vaughan [2010-07-13 22:18:16] 469*2^841367-1 is not prime. Res64: FDD64D67AA6B8FA7 Time : 1569.0 sec. user=vaughan [2010-07-13 22:20:16] 585*2^841368-1 is not prime. Res64: BB8B9B260A665595 Time : 1023.0 sec. user=vaughan [2010-07-13 22:21:04] 523*2^841367-1 is not prime. Res64: 950AC2FBE9B69584 Time : 1516.0 sec. user=vaughan [2010-07-13 22:22:42] 477*2^841369-1 is not prime. Res64: C37F77B8BB1DA9D7 Time : 1049.0 sec. user=vaughan [2010-07-13 22:26:23] 547*2^841369-1 is not prime. Res64: 65BC7CF84B862E89 Time : 1022.0 sec. user=vaughan [2010-07-13 22:31:59] 417*2^841370-1 is not prime. Res64: 568983DBE80151F2 Time : 1065.0 sec. user=vaughan [2010-07-13 22:32:57] 403*2^841371-1 is not prime. Res64: DF8FAFAB7B2C2111 Time : 984.0 sec. user=vaughan [2010-07-13 22:33:46] 429*2^841371-1 is not prime. Res64: 1F92BCB52151DEAE Time : 1025.0 sec. user=vaughan [2010-07-13 22:35:04] 577*2^841369-1 is not prime. Res64: 84C907373DA1EFBF Time : 1502.0 sec. user=vaughan [2010-07-13 22:37:12] 437*2^841370-1 is not prime. Res64: FC61D23F2C9FC5DE Time : 1292.0 sec. user=vaughan [2010-07-13 22:37:18] 469*2^841371-1 is not prime. Res64: C04379B68F14ED5F Time : 1022.0 sec. user=vaughan [2010-07-13 22:40:05] 465*2^841371-1 is not prime. Res64: 1A9BDACE82C5AC06 Time : 1309.0 sec. user=vaughan [2010-07-13 22:40:12] 513*2^841371-1 is not prime. Res64: 8D0A8849D9607252 Time : 1050.0 sec. user=vaughan [2010-07-13 22:41:37] 489*2^841371-1 is not prime. Res64: B5F5E582E29D7748 Time : 1233.0 sec. user=vaughan [2010-07-13 22:43:26] 529*2^841371-1 is not prime. Res64: E08BE8030065BCF5 Time : 1024.0 sec. user=vaughan [2010-07-13 22:49:24] 549*2^841371-1 is not prime. Res64: D61A963D2C963667 Time : 988.0 sec. user=vaughan [2010-07-13 22:49:41] 535*2^841371-1 is not prime. Res64: D5011C84B61D6C25 Time : 1062.0 sec. user=vaughan [2010-07-13 22:50:59] 579*2^841371-1 is not prime. Res64: 79F2BBDD62B13A61 Time : 1034.0 sec. user=vaughan [2010-07-13 22:54:28] 495*2^841372-1 is not prime. Res64: D726FB9AB1D627C9 Time : 1031.0 sec. user=vaughan [2010-07-13 22:56:29] 483*2^841372-1 is not prime. Res64: 6FB3B7E538ADAEC9 Time : 1157.0 sec. user=vaughan [2010-07-13 22:57:30] 437*2^841372-1 is not prime. Res64: 62A30BEBF86B2C0A Time : 1347.0 sec. user=vaughan [2010-07-13 22:57:41] 567*2^841372-1 is not prime. Res64: 503261CA8BFE67B2 Time : 1050.0 sec. user=vaughan [2010-07-13 22:59:17] 549*2^841372-1 is not prime. Res64: 977CE6D5B0AA3DAB Time : 1152.0 sec. user=vaughan [2010-07-13 23:00:37] 417*2^841373-1 is not prime. Res64: F4A24EA9CCFFBFCD Time : 1032.0 sec. user=vaughan [2010-07-13 23:00:53] 411*2^841373-1 is not prime. Res64: C5749F7A1B111DC4 Time : 1156.0 sec. user=vaughan [2010-07-13 23:05:55] 577*2^841373-1 is not prime. Res64: C278677E972F8A5E Time : 992.0 sec. user=vaughan [2010-07-13 23:07:23] 417*2^841374-1 is not prime. Res64: 7B47CB5A61CA0CCE Time : 1062.0 sec. user=vaughan [2010-07-13 23:08:18] 503*2^841374-1 is not prime. Res64: 569FA60E0CD175B3 Time : 1039.0 sec. user=vaughan [2010-07-13 23:11:43] 567*2^841374-1 is not prime. Res64: 5328CBC4F06A4672 Time : 1035.0 sec. user=vaughan [2010-07-13 23:15:09] 481*2^841375-1 is not prime. Res64: 8B758BF88C174BB1 Time : 1048.0 sec. user=vaughan [2010-07-13 23:15:44] 415*2^841375-1 is not prime. Res64: 06BFA46DE1099440 Time : 1156.0 sec. user=vaughan [2010-07-13 23:17:40] 579*2^841375-1 is not prime. Res64: 03AF57CDE10D3767 Time : 1024.0 sec. user=vaughan [2010-07-13 23:18:32] 489*2^841375-1 is not prime. Res64: B78F5C14FF4886F6 Time : 1155.0 sec. user=vaughan [2010-07-13 23:20:00] 441*2^841375-1 is not prime. Res64: A15BDF4CA0422118 Time : 1350.0 sec. user=vaughan [2010-07-13 23:20:09] 447*2^841376-1 is not prime. Res64: 88624E8F008FAB06 Time : 1157.0 sec. user=vaughan [2010-07-13 23:22:23] 503*2^841376-1 is not prime. Res64: 9740C4F76E313777 Time : 988.0 sec. user=vaughan [2010-07-13 23:25:02] 525*2^841376-1 is not prime. Res64: FB2C6D574CBF12E6 Time : 1060.0 sec. user=vaughan [2010-07-13 23:25:37] 507*2^841377-1 is not prime. Res64: EB51DF161C836D81 Time : 1039.0 sec. user=vaughan [2010-07-13 23:29:03] 585*2^841377-1 is not prime. Res64: DEDF61A6286732FC Time : 1040.0 sec. user=vaughan [2010-07-13 23:32:36] 413*2^841378-1 is not prime. Res64: BC38C061BEE0E285 Time : 1048.0 sec. user=vaughan [2010-07-13 23:34:45] 545*2^841378-1 is not prime. Res64: 0BE69BDA0C0E1753 Time : 1025.0 sec. user=vaughan [2010-07-13 23:35:00] 513*2^841378-1 is not prime. Res64: F02273CB24AA860A Time : 1156.0 sec. user=vaughan [2010-07-13 23:37:51] 441*2^841379-1 is not prime. Res64: BA315438A78EECD6 Time : 1160.0 sec. user=vaughan [2010-07-13 23:38:49] 501*2^841379-1 is not prime. Res64: B05A8AB633BE5552 Time : 987.0 sec. user=vaughan [2010-07-13 23:39:30] 495*2^841379-1 is not prime. Res64: 4234ADD0CD34C409 Time : 1161.0 sec. user=vaughan [2010-07-13 23:42:26] 489*2^841379-1 is not prime. Res64: 3BBC603D30CDB507 Time : 1346.0 sec. user=vaughan [2010-07-13 23:42:44] 505*2^841379-1 is not prime. Res64: 375F355226569640 Time : 1063.0 sec. user=vaughan [2010-07-13 23:42:47] 453*2^841380-1 is not prime. Res64: 3DF0D440AE972A39 Time : 1030.0 sec. user=vaughan [2010-07-13 23:46:08] 473*2^841380-1 is not prime. Res64: 14FC079D9964F2DC Time : 1025.0 sec. user=vaughan [2010-07-13 23:50:05] 479*2^841380-1 is not prime. Res64: 83FBAB4AE3BF7250 Time : 1049.0 sec. user=vaughan [2010-07-13 23:51:46] 483*2^841380-1 is not prime. Res64: A5D54870C4A5ECB2 Time : 1022.0 sec. user=vaughan [2010-07-13 23:54:28] 513*2^841380-1 is not prime. Res64: 38BE90F0859464AE Time : 1168.0 sec. user=vaughan [2010-07-13 23:55:11] 447*2^841381-1 is not prime. Res64: 1FB012DE5DB4D378 Time : 982.0 sec. user=vaughan [2010-07-13 23:57:16] 567*2^841380-1 is not prime. Res64: E0FB497FEE95DCDB Time : 1165.0 sec. user=vaughan [2010-07-13 23:58:49] 495*2^841381-1 is not prime. Res64: D15C916386A3F3D1 Time : 1159.0 sec. user=vaughan [2010-07-13 23:59:53] 565*2^841381-1 is not prime. Res64: B3C41CEE6D0F46F3 Time : 1027.0 sec. user=vaughan [2010-07-14 00:00:25] 561*2^841381-1 is not prime. Res64: 8833DD260DC0BBE1 Time : 1061.0 sec.