user=vaughan [2010-07-05 00:04:31] 411*2^839690-1 is not prime. Res64: F1511F9CD90D6998 Time : 1128.0 sec. user=vaughan [2010-07-05 00:05:19] 493*2^839591-1 is not prime. Res64: 88D4E8014396E7F8 Time : 45455.0 sec. user=Flatlander [2010-07-05 00:06:32] 423*2^839682-1 is not prime. Res64: E16CE31669D2CAF4 Time : 4225.0 sec. user=Flatlander [2010-07-05 00:06:33] 485*2^839682-1 is not prime. Res64: 2AE5FD0795C40EB6 Time : 4225.0 sec. user=Flatlander [2010-07-05 00:06:34] 543*2^839682-1 is not prime. Res64: 9F15019E3C6C7C82 Time : 4224.0 sec. user=Flatlander [2010-07-05 00:06:35] 563*2^839682-1 is not prime. Res64: 6B059E561DDF623D Time : 4224.0 sec. user=Flatlander [2010-07-05 00:06:36] 581*2^839682-1 is not prime. Res64: BA38484A46F3957E Time : 4223.0 sec. user=vaughan [2010-07-05 00:07:37] 465*2^839689-1 is not prime. Res64: C4DAD5C6361858B7 Time : 1833.0 sec. user=vaughan [2010-07-05 00:11:27] 507*2^839534-1 is not prime. Res64: AD0F4DCED17C7F9E Time : 67665.0 sec. user=vaughan [2010-07-05 00:13:30] 503*2^839690-1 is not prime. Res64: B9F7676DDAF608F6 Time : 1639.0 sec. user=vaughan [2010-07-05 00:14:17] 409*2^839691-1 is not prime. Res64: 080A8910778BBB84 Time : 951.0 sec. user=vaughan [2010-07-05 00:14:26] 405*2^839691-1 is not prime. Res64: D8C17C1B1F094468 Time : 1609.0 sec. user=vaughan [2010-07-05 00:14:26] 525*2^839534-1 is not prime. Res64: B6FAA8930CC45892 Time : 67796.0 sec. user=vaughan [2010-07-05 00:19:06] 555*2^839691-1 is not prime. Res64: 0B853CEDBD4D5626 Time : 1238.0 sec. user=vaughan [2010-07-05 00:19:35] 473*2^839694-1 is not prime. Res64: 781495298689ED4D Time : 1189.0 sec. user=vaughan [2010-07-05 00:22:52] 513*2^839694-1 is not prime. Res64: F26D59F6472CFFF1 Time : 1101.0 sec. user=vaughan [2010-07-05 00:29:04] 575*2^839554-1 is not prime. Res64: DF2FE3737C742B95 Time : 62242.0 sec. user=vaughan [2010-07-05 00:29:41] 541*2^839695-1 is not prime. Res64: 7ECFF3125844A7F9 Time : 924.0 sec. user=vaughan [2010-07-05 00:29:45] 423*2^839562-1 is not prime. Res64: 126028CADE5AE64E Time : 60038.0 sec. user=Flatlander [2010-07-05 00:30:28] 565*2^839685-1 is not prime. Res64: 5E89B2FA51770E38 Time : 4237.0 sec. user=Flatlander [2010-07-05 00:30:29] 461*2^839686-1 is not prime. Res64: 00C81CBDBFFB44F4 Time : 4237.0 sec. user=Flatlander [2010-07-05 00:30:29] 435*2^839687-1 is not prime. Res64: 6C2AC82A6E2BE732 Time : 4235.0 sec. user=Flatlander [2010-07-05 00:30:30] 469*2^839687-1 is not prime. Res64: 32E7273F75642386 Time : 4234.0 sec. user=Flatlander [2010-07-05 00:30:31] 493*2^839687-1 is not prime. Res64: AC5C62032CC9232D Time : 4234.0 sec. user=Flatlander [2010-07-05 00:32:03] 437*2^839688-1 is not prime. Res64: 1289157B5E3BE01A Time : 4240.0 sec. user=Flatlander [2010-07-05 00:32:04] 453*2^839688-1 is not prime. Res64: 27DC031E318BD155 Time : 4239.0 sec. user=Flatlander [2010-07-05 00:32:04] 459*2^839688-1 is not prime. Res64: 990DB3E2BF76C927 Time : 4237.0 sec. user=Flatlander [2010-07-05 00:32:05] 465*2^839688-1 is not prime. Res64: 70C02580AF8B2841 Time : 4237.0 sec. user=Flatlander [2010-07-05 00:32:06] 525*2^839688-1 is not prime. Res64: 2087A9E201B72E94 Time : 4236.0 sec. user=vaughan [2010-07-05 00:35:13] 481*2^839695-1 is not prime. Res64: 7F6929499C6C089F Time : 1656.0 sec. user=vaughan [2010-07-05 00:37:57] 489*2^839695-1 is not prime. Res64: 965E214380A0E559 Time : 1468.0 sec. user=vaughan [2010-07-05 00:38:53] 447*2^839696-1 is not prime. Res64: FF535B9DC9E460AB Time : 1468.0 sec. user=vaughan [2010-07-05 00:39:35] 593*2^839696-1 is not prime. Res64: D2F57ADFA6536B55 Time : 1200.0 sec. user=vaughan [2010-07-05 00:39:47] 479*2^839696-1 is not prime. Res64: C19900DA18C6E3A3 Time : 1241.0 sec. user=vaughan [2010-07-05 00:41:46] 465*2^839697-1 is not prime. Res64: F20DE321B1F63522 Time : 1134.0 sec. user=vaughan [2010-07-05 00:42:36] 421*2^839593-1 is not prime. Res64: F4601F797D5BF324 Time : 46263.0 sec. user=vaughan [2010-07-05 00:44:47] 501*2^839697-1 is not prime. Res64: 0084E3DF002FD017 Time : 906.0 sec. user=vaughan [2010-07-05 00:48:05] 591*2^839566-1 is not prime. Res64: 8749133F1AD7D32E Time : 58836.0 sec. user=vaughan [2010-07-05 00:59:25] 527*2^839700-1 is not prime. Res64: 5ED8A4D70220A0ED Time : 1191.0 sec. user=vaughan [2010-07-05 01:00:29] 421*2^839701-1 is not prime. Res64: 607219375C504AB6 Time : 1243.0 sec. user=vaughan [2010-07-05 01:00:33] 507*2^839701-1 is not prime. Res64: 5FAB7F71284CFA33 Time : 947.0 sec. user=vaughan [2010-07-05 01:00:49] 465*2^839597-1 is not prime. Res64: DA4C722AD2F1A532 Time : 45932.0 sec. user=vaughan [2010-07-05 01:01:02] 427*2^839701-1 is not prime. Res64: 11B377BBB5D14797 Time : 1156.0 sec. user=vaughan [2010-07-05 01:01:49] 479*2^839700-1 is not prime. Res64: 63C2B2A78D42E778 Time : 1596.0 sec. user=vaughan [2010-07-05 01:01:52] 595*2^839557-1 is not prime. Res64: CAE1AEB0773AD4CE Time : 62679.0 sec. user=vaughan [2010-07-05 01:02:32] 483*2^839700-1 is not prime. Res64: FFA5900C383FE408 Time : 1475.0 sec. user=vaughan [2010-07-05 01:03:03] 437*2^839540-1 is not prime. Res64: ED89D8B2F6D32CD4 Time : 69154.0 sec. user=vaughan [2010-07-05 01:03:10] 515*2^839700-1 is not prime. Res64: 65606C0E92AB1214 Time : 1458.0 sec. user=vaughan [2010-07-05 01:05:48] 529*2^839573-1 is not prime. Res64: 3606CE4FEC017A44 Time : 57628.0 sec. user=vaughan [2010-07-05 01:08:42] 471*2^839542-1 is not prime. Res64: 700C7453E6FB2FDF Time : 69052.0 sec. user=Flatlander [2010-07-05 01:09:35] 435*2^839692-1 is not prime. Res64: CDC85B4A9A6F6677 Time : 4224.0 sec. user=Flatlander [2010-07-05 01:09:36] 489*2^839692-1 is not prime. Res64: 523D25F14ADA9395 Time : 4223.0 sec. user=Flatlander [2010-07-05 01:09:36] 563*2^839692-1 is not prime. Res64: 4590D0CB182CF359 Time : 4221.0 sec. user=Flatlander [2010-07-05 01:09:37] 487*2^839693-1 is not prime. Res64: 3A9A89DDED4C3E93 Time : 4221.0 sec. user=Flatlander [2010-07-05 01:09:38] 567*2^839693-1 is not prime. Res64: FAC94D84DD7F7AE7 Time : 4220.0 sec. user=vaughan [2010-07-05 01:15:57] 431*2^839702-1 is not prime. Res64: 1549D1D7C20CF3D7 Time : 924.0 sec. user=Flatlander [2010-07-05 01:16:45] 525*2^839694-1 is not prime. Res64: B8FF7C79194CFF6A Time : 4208.0 sec. user=Flatlander [2010-07-05 01:16:46] 555*2^839694-1 is not prime. Res64: CCFB6E2EF6B76BC4 Time : 4207.0 sec. user=Flatlander [2010-07-05 01:16:47] 567*2^839694-1 is not prime. Res64: 1F554CE0272678AF Time : 4207.0 sec. user=Flatlander [2010-07-05 01:16:47] 585*2^839694-1 is not prime. Res64: 58D674F4311A9D0A Time : 4205.0 sec. user=Flatlander [2010-07-05 01:16:48] 463*2^839695-1 is not prime. Res64: 4AE991D0839FF5BB Time : 4204.0 sec. user=vaughan [2010-07-05 01:19:24] 405*2^839702-1 is not prime. Res64: 6E21CE63428AB9B6 Time : 1199.0 sec. user=vaughan [2010-07-05 01:20:41] 483*2^839703-1 is not prime. Res64: 7F3723C268EF0A14 Time : 1179.0 sec. user=vaughan [2010-07-05 01:21:18] 417*2^839702-1 is not prime. Res64: AD533BAC7CF0C125 Time : 1249.0 sec. user=vaughan [2010-07-05 01:24:13] 549*2^839489-1 is not prime. Res64: 434A52D784273D76 Time : 85985.0 sec. user=vaughan [2010-07-05 01:27:20] 565*2^839703-1 is not prime. Res64: F92A6B279371566A Time : 1488.0 sec. user=vaughan [2010-07-05 01:27:56] 553*2^839703-1 is not prime. Res64: E17BAD4A85514E59 Time : 1568.0 sec. user=vaughan [2010-07-05 01:28:13] 585*2^839703-1 is not prime. Res64: 9057208E632FE502 Time : 1504.0 sec. user=vaughan [2010-07-05 01:29:47] 525*2^839705-1 is not prime. Res64: 164114FBF76EEFCE Time : 831.0 sec. user=vaughan [2010-07-05 01:31:41] 423*2^839564-1 is not prime. Res64: AE4DCCBE0AB688FD Time : 62932.0 sec. user=vaughan [2010-07-05 01:35:58] 529*2^839601-1 is not prime. Res64: 40D48E2CC7DB9CC3 Time : 46610.0 sec. user=vaughan [2010-07-05 01:39:46] 405*2^839707-1 is not prime. Res64: CEF433B4479140BE Time : 1222.0 sec. user=vaughan [2010-07-05 01:40:03] 459*2^839576-1 is not prime. Res64: B6FC9C4D29E82268 Time : 57402.0 sec. user=Flatlander [2010-07-05 01:40:42] 577*2^839697-1 is not prime. Res64: 1299DFC64DA3A1EF Time : 4210.0 sec. user=Flatlander [2010-07-05 01:40:42] 447*2^839698-1 is not prime. Res64: EE79B27DA865CCB8 Time : 4208.0 sec. user=Flatlander [2010-07-05 01:40:43] 467*2^839698-1 is not prime. Res64: F11B2FEA1F7261DF Time : 4207.0 sec. user=Flatlander [2010-07-05 01:40:44] 513*2^839698-1 is not prime. Res64: 454425F87B71DA2E Time : 4207.0 sec. user=Flatlander [2010-07-05 01:40:45] 411*2^839699-1 is not prime. Res64: E73C978039D10F4F Time : 4206.0 sec. user=vaughan [2010-07-05 01:42:08] 493*2^839707-1 is not prime. Res64: A9E77724734D78FE Time : 1250.0 sec. user=vaughan [2010-07-05 01:42:14] 421*2^839707-1 is not prime. Res64: 3B411597CEB02EC0 Time : 1293.0 sec. user=Flatlander [2010-07-05 01:42:46] 505*2^839699-1 is not prime. Res64: 741758CEA4B373E2 Time : 4238.0 sec. user=Flatlander [2010-07-05 01:42:47] 511*2^839699-1 is not prime. Res64: 4767A2398E1481ED Time : 4238.0 sec. user=Flatlander [2010-07-05 01:42:48] 531*2^839699-1 is not prime. Res64: D155005E1A59702B Time : 4237.0 sec. user=Flatlander [2010-07-05 01:42:48] 595*2^839699-1 is not prime. Res64: 81126787D9CB30FA Time : 4236.0 sec. user=Flatlander [2010-07-05 01:42:49] 465*2^839700-1 is not prime. Res64: 7987583CBC41C2C1 Time : 4235.0 sec. user=vaughan [2010-07-05 01:43:40] 453*2^839708-1 is not prime. Res64: 54905B5A7AD00DAF Time : 833.0 sec. user=vaughan [2010-07-05 01:53:37] 507*2^839606-1 is not prime. Res64: 5868ECBDE3F98D96 Time : 45448.0 sec. user=vaughan [2010-07-05 01:54:09] 549*2^839707-1 is not prime. Res64: AB654D82A1F9ED7E Time : 1573.0 sec. user=vaughan [2010-07-05 01:55:06] 465*2^839545-1 is not prime. Res64: B5BC40CBEEC6D9A5 Time : 70623.0 sec. user=vaughan [2010-07-05 01:57:17] 453*2^839712-1 is not prime. Res64: 3B6A1A4CCFBC5202 Time : 817.0 sec. user=vaughan [2010-07-05 01:57:42] 467*2^839582-1 is not prime. Res64: 29C741F935E48C82 Time : 55362.0 sec. user=vaughan [2010-07-05 02:00:05] 479*2^839708-1 is not prime. Res64: D043615F56757F66 Time : 1219.0 sec. user=vaughan [2010-07-05 02:00:12] 531*2^839707-1 is not prime. Res64: 084C6C89451AAE8F Time : 1973.0 sec. user=vaughan [2010-07-05 02:01:03] 583*2^839707-1 is not prime. Res64: 8BEE322E08CB1750 Time : 1970.0 sec. user=vaughan [2010-07-05 02:01:04] 423*2^839568-1 is not prime. Res64: CEC3CE49255C9109 Time : 63156.0 sec. user=vaughan [2010-07-05 02:01:31] 433*2^839547-1 is not prime. Res64: 611EBC229F1E362A Time : 70514.0 sec. user=vaughan [2010-07-05 02:02:55] 571*2^839709-1 is not prime. Res64: 1402EFC45FC71697 Time : 1248.0 sec. user=vaughan [2010-07-05 02:04:36] 443*2^839710-1 is not prime. Res64: 2B1B6EEC902A8801 Time : 1342.0 sec. user=vaughan [2010-07-05 02:09:27] 465*2^839713-1 is not prime. Res64: E3D376D5D43043E0 Time : 730.0 sec. user=vaughan [2010-07-05 02:11:17] 441*2^839611-1 is not prime. Res64: 468606428C0A5142 Time : 44598.0 sec. user=vaughan [2010-07-05 02:15:36] 441*2^839493-1 is not prime. Res64: 6A2DDD86E13D3EAA Time : 88069.0 sec. user=vaughan [2010-07-05 02:17:56] 527*2^839712-1 is not prime. Res64: 66EB63FD4CBF69E5 Time : 1427.0 sec. user=Flatlander [2010-07-05 02:19:56] 479*2^839704-1 is not prime. Res64: 1EFB7A87664D903B Time : 4217.0 sec. user=Flatlander [2010-07-05 02:19:57] 509*2^839704-1 is not prime. Res64: C2B924C16C0AE455 Time : 4216.0 sec. user=vaughan [2010-07-05 02:19:58] 511*2^839155-1 is not prime. Res64: EE1BC8E949D6D675 Time : 1193.0 sec. user=Flatlander [2010-07-05 02:19:58] 593*2^839704-1 is not prime. Res64: 398C4A5DA5E6B49C Time : 4215.0 sec. user=Flatlander [2010-07-05 02:19:59] 489*2^839705-1 is not prime. Res64: 499EB1CD45F017F1 Time : 4215.0 sec. user=Flatlander [2010-07-05 02:19:59] 495*2^839705-1 is not prime. Res64: 9580C5F1737ACB69 Time : 4213.0 sec. user=vaughan [2010-07-05 02:20:23] 405*2^839570-1 is not prime. Res64: E4A2FA928037CD97 Time : 62784.0 sec. user=vaughan [2010-07-05 02:21:35] 533*2^839714-1 is not prime. Res64: C5D4FFC582A8ACBB Time : 728.0 sec. user=vaughan [2010-07-05 02:23:34] 405*2^839156-1 is not prime. Res64: B7DF02ABB7A44A9A Time : 1239.0 sec. user=vaughan [2010-07-05 02:23:58] 501*2^839714-1 is not prime. Res64: 28BCA33788ACA9AB Time : 1162.0 sec. user=vaughan [2010-07-05 02:26:41] 421*2^839587-1 is not prime. Res64: 503ABA12FA6DDD38 Time : 54876.0 sec. user=Flatlander [2010-07-05 02:27:00] 547*2^839705-1 is not prime. Res64: A276055D47F18CA0 Time : 4210.0 sec. user=Flatlander [2010-07-05 02:27:01] 589*2^839705-1 is not prime. Res64: 1C6C0EEDFD8D2948 Time : 4210.0 sec. user=Flatlander [2010-07-05 02:27:02] 417*2^839706-1 is not prime. Res64: A12E990F3E7686A8 Time : 4209.0 sec. user=Flatlander [2010-07-05 02:27:03] 443*2^839706-1 is not prime. Res64: B2EF47EBAD7F0642 Time : 4208.0 sec. user=Flatlander [2010-07-05 02:27:03] 473*2^839706-1 is not prime. Res64: BE7764A559299C41 Time : 4207.0 sec. user=vaughan [2010-07-05 02:32:21] 489*2^839713-1 is not prime. Res64: 9DF881A418DCAE9D Time : 1929.0 sec. user=vaughan [2010-07-05 02:33:21] 499*2^839497-1 is not prime. Res64: 1B94B26D40282CFE Time : 88135.0 sec. user=vaughan [2010-07-05 02:33:42] 493*2^839715-1 is not prime. Res64: ED9C935E4B652AF2 Time : 727.0 sec. user=vaughan [2010-07-05 02:34:34] 453*2^839151-1 is not prime. Res64: 6FBDD0C1365864F2 Time : 999.0 sec. user=vaughan [2010-07-05 02:35:17] 417*2^839714-1 is not prime. Res64: A4220DAFA1BA0C57 Time : 2054.0 sec. user=vaughan [2010-07-05 02:37:30] 501*2^839574-1 is not prime. Res64: 1689327844BEE56E Time : 62268.0 sec. user=vaughan [2010-07-05 02:39:46] 539*2^839612-1 is not prime. Res64: AFDCC68B05259BFB Time : 44443.0 sec. user=vaughan [2010-07-05 02:39:47] 473*2^839156-1 is not prime. Res64: 68B9C667961B2E9B Time : 1190.0 sec. user=vaughan [2010-07-05 02:41:27] 443*2^839716-1 is not prime. Res64: 747AA6C03FAD5DCC Time : 1049.0 sec. user=vaughan [2010-07-05 02:44:13] 437*2^839716-1 is not prime. Res64: 4FAC7CB48C41D804 Time : 1240.0 sec. user=vaughan [2010-07-05 02:44:19] 595*2^839591-1 is not prime. Res64: 0EFC756147516C1A Time : 53653.0 sec. user=vaughan [2010-07-05 02:45:54] 475*2^839717-1 is not prime. Res64: CDA7A451DF6178FE Time : 733.0 sec. user=vaughan [2010-07-05 02:48:21] 569*2^839712-1 is not prime. Res64: 88F1A5E713446465 Time : 3195.0 sec. user=vaughan [2010-07-05 02:50:32] 525*2^839501-1 is not prime. Res64: 00206A669EDE84F7 Time : 88166.0 sec. user=Flatlander [2010-07-05 02:51:23] 507*2^839708-1 is not prime. Res64: BFF62886B1A780DA Time : 4236.0 sec. user=vaughan [2010-07-05 02:51:23] 489*2^839717-1 is not prime. Res64: 641D1ADCF08F4515 Time : 1009.0 sec. user=Flatlander [2010-07-05 02:51:23] 573*2^839708-1 is not prime. Res64: 10FA8BFA8C837AB9 Time : 4235.0 sec. user=Flatlander [2010-07-05 02:51:24] 441*2^839709-1 is not prime. Res64: A76434C605E020CD Time : 4234.0 sec. user=Flatlander [2010-07-05 02:51:25] 465*2^839709-1 is not prime. Res64: BDE5B9C357FEE402 Time : 4234.0 sec. user=Flatlander [2010-07-05 02:51:26] 537*2^839709-1 is not prime. Res64: 62C00E664CDFDFFE Time : 4233.0 sec. user=Flatlander [2010-07-05 02:52:44] 477*2^839710-1 is not prime. Res64: E2347486F71879EC Time : 4193.0 sec. user=Flatlander [2010-07-05 02:52:45] 483*2^839710-1 is not prime. Res64: DEBBFDEF7F1D9A9A Time : 4193.0 sec. user=Flatlander [2010-07-05 02:52:46] 561*2^839710-1 is not prime. Res64: C491673AFECF1727 Time : 4192.0 sec. user=Flatlander [2010-07-05 02:52:47] 459*2^839711-1 is not prime. Res64: 33A5B088E9CB178B Time : 4191.0 sec. user=Flatlander [2010-07-05 02:52:48] 465*2^839711-1 is not prime. Res64: 9230DC2921195B04 Time : 4191.0 sec. user=vaughan [2010-07-05 02:54:30] 477*2^839714-1 is not prime. Res64: 0094C6DEE9F0065F Time : 3180.0 sec. user=vaughan [2010-07-05 02:54:55] 525*2^839576-1 is not prime. Res64: 5AF90B34E8D7B1FB Time : 61789.0 sec. user=vaughan [2010-07-05 02:57:26] 459*2^839616-1 is not prime. Res64: 6D7C4B8EBE72E37C Time : 44050.0 sec. user=vaughan [2010-07-05 02:58:04] 505*2^839719-1 is not prime. Res64: 3102E43A595C89F1 Time : 730.0 sec. user=vaughan [2010-07-05 02:58:34] 525*2^839718-1 is not prime. Res64: 4E923CD8BB9CDCF1 Time : 1028.0 sec. user=vaughan [2010-07-05 02:59:35] 473*2^839718-1 is not prime. Res64: F077F8E498FA0C1C Time : 1188.0 sec. user=vaughan [2010-07-05 03:01:57] 489*2^839597-1 is not prime. Res64: 0986AE2DAE253713 Time : 52510.0 sec. user=vaughan [2010-07-05 03:04:43] 581*2^839718-1 is not prime. Res64: 9044C3207E2B632B Time : 1230.0 sec. user=vaughan [2010-07-05 03:06:03] 573*2^839716-1 is not prime. Res64: 6D0135CEEA489B0B Time : 2023.0 sec. user=vaughan [2010-07-05 03:07:27] 539*2^839504-1 is not prime. Res64: 089D5013A3099040 Time : 88182.0 sec. user=vaughan [2010-07-05 03:07:56] 531*2^839719-1 is not prime. Res64: A7397D555CAC1898 Time : 993.0 sec. user=vaughan [2010-07-05 03:08:09] 549*2^839717-1 is not prime. Res64: 2F8B9CC0F1D9A802 Time : 1972.0 sec. user=vaughan [2010-07-05 03:10:18] 481*2^839723-1 is not prime. Res64: 4DB678A39CFA49EE Time : 734.0 sec. user=vaughan [2010-07-05 03:12:42] 447*2^839580-1 is not prime. Res64: 8BB70D4C0572CE06 Time : 61346.0 sec. user=vaughan [2010-07-05 03:15:39] 493*2^839723-1 is not prime. Res64: E9D2A70A7AC3D6BD Time : 1025.0 sec. user=vaughan [2010-07-05 03:19:22] 505*2^839723-1 is not prime. Res64: 6EF07ECF0C82E4C7 Time : 1187.0 sec. user=vaughan [2010-07-05 03:22:26] 409*2^839725-1 is not prime. Res64: 17623D6562660461 Time : 728.0 sec. user=vaughan [2010-07-05 03:24:30] 567*2^839508-1 is not prime. Res64: 13227A097BD70997 Time : 88038.0 sec. user=vaughan [2010-07-05 03:24:31] 503*2^839724-1 is not prime. Res64: D3D09ACBF87DAA5C Time : 995.0 sec. user=vaughan [2010-07-05 03:25:10] 565*2^839723-1 is not prime. Res64: 0ECD9D4EAD6EB407 Time : 1227.0 sec. user=vaughan [2010-07-05 03:30:28] 505*2^839623-1 is not prime. Res64: A1DA839B51A67C1C Time : 43194.0 sec. user=vaughan [2010-07-05 03:30:30] 503*2^839582-1 is not prime. Res64: 508E26DAF3FC4AF8 Time : 60875.0 sec. user=vaughan [2010-07-05 03:31:21] 419*2^839724-1 is not prime. Res64: 1A8B07052B648D07 Time : 1519.0 sec. user=Flatlander [2010-07-05 03:31:42] 585*2^839714-1 is not prime. Res64: 4E3B144AAE1F3EBC Time : 4301.0 sec. user=Flatlander [2010-07-05 03:31:42] 587*2^839714-1 is not prime. Res64: FAD3F09842181CE5 Time : 4300.0 sec. user=Flatlander [2010-07-05 03:31:43] 411*2^839715-1 is not prime. Res64: 4238218CFDC7CE9B Time : 4299.0 sec. user=Flatlander [2010-07-05 03:31:44] 433*2^839715-1 is not prime. Res64: DAB8245A56951E4D Time : 4298.0 sec. user=Flatlander [2010-07-05 03:31:45] 441*2^839715-1 is not prime. Res64: 4F980EE872DFE050 Time : 4298.0 sec. user=vaughan [2010-07-05 03:32:43] 427*2^839725-1 is not prime. Res64: 75450023292B467F Time : 1024.0 sec. user=vaughan [2010-07-05 03:34:11] 545*2^839606-1 is not prime. Res64: B2628F9716E3C78B Time : 50925.0 sec. user=vaughan [2010-07-05 03:34:32] 447*2^839725-1 is not prime. Res64: 056DA3C8B9C365AF Time : 727.0 sec. user=vaughan [2010-07-05 03:34:56] 593*2^839724-1 is not prime. Res64: D836FD7CE7759475 Time : 1607.0 sec. user=Flatlander [2010-07-05 03:38:05] 453*2^839716-1 is not prime. Res64: 8363D016A8097631 Time : 4260.0 sec. user=Flatlander [2010-07-05 03:38:06] 455*2^839716-1 is not prime. Res64: F024FCBADF1C8386 Time : 4259.0 sec. user=Flatlander [2010-07-05 03:38:07] 495*2^839716-1 is not prime. Res64: ED8D913A1827C1EF Time : 4259.0 sec. user=Flatlander [2010-07-05 03:38:07] 507*2^839716-1 is not prime. Res64: 7AAF2E6B6EC82BE7 Time : 4257.0 sec. user=Flatlander [2010-07-05 03:38:08] 527*2^839716-1 is not prime. Res64: 2D6A24BBA1E08C39 Time : 4257.0 sec. user=vaughan [2010-07-05 03:39:28] 441*2^839725-1 is not prime. Res64: 171DC2E67C186CBF Time : 1206.0 sec. user=vaughan [2010-07-05 03:41:17] 525*2^839719-1 is not prime. Res64: A1F3B2E96EFD69D3 Time : 3177.0 sec. user=vaughan [2010-07-05 03:41:26] 589*2^839515-1 is not prime. Res64: 9B3FD4FE3E088D16 Time : 87468.0 sec. user=vaughan [2010-07-05 03:42:15] 511*2^839725-1 is not prime. Res64: B8DD95945A731DB0 Time : 1065.0 sec. user=vaughan [2010-07-05 03:46:50] 479*2^839728-1 is not prime. Res64: FE6EAE92FAA701C3 Time : 738.0 sec. user=vaughan [2010-07-05 03:47:29] 407*2^839726-1 is not prime. Res64: 767A5D50987767FF Time : 1019.0 sec. user=vaughan [2010-07-05 03:48:10] 515*2^839628-1 is not prime. Res64: 98B64C035596270E Time : 42778.0 sec. user=vaughan [2010-07-05 03:48:17] 525*2^839722-1 is not prime. Res64: 5EBB34EFD7C38D26 Time : 3227.0 sec. user=vaughan [2010-07-05 03:49:49] 453*2^839728-1 is not prime. Res64: 5464CDC80DE6E271 Time : 1027.0 sec. user=vaughan [2010-07-05 03:51:44] 583*2^839611-1 is not prime. Res64: 892B96A1E367A7EE Time : 49699.0 sec. user=vaughan [2010-07-05 03:52:48] 565*2^839725-1 is not prime. Res64: 860DBD393A4488A2 Time : 1659.0 sec. user=vaughan [2010-07-05 03:58:33] 423*2^839519-1 is not prime. Res64: AB6BB5D97635D1E8 Time : 86898.0 sec. user=vaughan [2010-07-05 03:59:23] 433*2^839731-1 is not prime. Res64: C9C3774FFBAA6097 Time : 753.0 sec. user=vaughan [2010-07-05 03:59:59] 525*2^839730-1 is not prime. Res64: 1A1720E6FCB7A3D9 Time : 1232.0 sec. user=vaughan [2010-07-05 04:00:14] 421*2^839731-1 is not prime. Res64: 74BFCD980EA7418B Time : 1079.0 sec. user=vaughan [2010-07-05 04:01:29] 525*2^839726-1 is not prime. Res64: BF80E696ADA7B86B Time : 1808.0 sec. user=vaughan [2010-07-05 04:01:34] 509*2^839728-1 is not prime. Res64: 249DB8AFC35EDB92 Time : 1598.0 sec. user=vaughan [2010-07-05 04:04:53] 483*2^839731-1 is not prime. Res64: 0114EB622A4717CD Time : 1044.0 sec. user=Flatlander [2010-07-05 04:05:15] 447*2^839720-1 is not prime. Res64: 0C051EAEEF5EDF95 Time : 4428.0 sec. user=Flatlander [2010-07-05 04:05:16] 515*2^839720-1 is not prime. Res64: E8CCE163319B078E Time : 4427.0 sec. user=Flatlander [2010-07-05 04:05:17] 519*2^839720-1 is not prime. Res64: ADAAC52AB97338F1 Time : 4427.0 sec. user=Flatlander [2010-07-05 04:05:17] 533*2^839720-1 is not prime. Res64: 1D8B96FE5670C2FA Time : 4425.0 sec. user=Flatlander [2010-07-05 04:05:18] 585*2^839720-1 is not prime. Res64: 4F00BA44710FA56A Time : 4424.0 sec. user=vaughan [2010-07-05 04:05:53] 437*2^839632-1 is not prime. Res64: 743E1B987FE19979 Time : 42178.0 sec. user=vaughan [2010-07-05 04:07:04] 531*2^839731-1 is not prime. Res64: 73D9E68AAA9688F6 Time : 1036.0 sec. user=Flatlander [2010-07-05 04:08:19] 499*2^839721-1 is not prime. Res64: 792A007C67733979 Time : 4530.0 sec. user=Flatlander [2010-07-05 04:08:19] 507*2^839721-1 is not prime. Res64: E0D8D047B518F2F8 Time : 4528.0 sec. user=Flatlander [2010-07-05 04:08:20] 535*2^839721-1 is not prime. Res64: 87C208CEE589117E Time : 4528.0 sec. user=Flatlander [2010-07-05 04:08:20] 565*2^839721-1 is not prime. Res64: 68C277C77E7C8479 Time : 4526.0 sec. user=Flatlander [2010-07-05 04:08:21] 507*2^839722-1 is not prime. Res64: 108B06654359DCE7 Time : 4526.0 sec. user=vaughan [2010-07-05 04:09:17] 507*2^839617-1 is not prime. Res64: 12F46E09E721A575 Time : 48023.0 sec. user=vaughan [2010-07-05 04:11:58] 459*2^839732-1 is not prime. Res64: 8E37C5697FFEA517 Time : 755.0 sec. user=vaughan [2010-07-05 04:15:42] 483*2^839524-1 is not prime. Res64: 3021462B99E21F8C Time : 86337.0 sec. user=vaughan [2010-07-05 04:16:47] 515*2^839732-1 is not prime. Res64: FAC852388F7F235F Time : 993.0 sec. user=vaughan [2010-07-05 04:20:20] 507*2^839732-1 is not prime. Res64: 67C87EAED94D0010 Time : 1221.0 sec. user=vaughan [2010-07-05 04:22:56] 599*2^839732-1 is not prime. Res64: 243A4C5D11E00DE3 Time : 1084.0 sec. user=vaughan [2010-07-05 04:24:30] 463*2^839735-1 is not prime. Res64: FE2249F55E1C2CB5 Time : 1047.0 sec. user=vaughan [2010-07-05 04:24:35] 499*2^839737-1 is not prime. Res64: 5A923CF36482487C Time : 757.0 sec. user=vaughan [2010-07-05 04:25:43] 425*2^839732-1 is not prime. Res64: 5B3B72A8415A1881 Time : 1975.0 sec. user=vaughan [2010-07-05 04:26:38] 579*2^839732-1 is not prime. Res64: 9EB24F962F225593 Time : 1509.0 sec. user=vaughan [2010-07-05 04:26:39] 587*2^839732-1 is not prime. Res64: B0F63366E75A44CC Time : 1506.0 sec. user=vaughan [2010-07-05 04:33:05] 585*2^839528-1 is not prime. Res64: 97051E8728ADA983 Time : 85675.0 sec. user=vaughan [2010-07-05 04:33:20] 577*2^839737-1 is not prime. Res64: B6BBBBDD41F274AC Time : 994.0 sec. user=vaughan [2010-07-05 04:35:01] 409*2^839633-1 is not prime. Res64: 6A374AD986A62352 Time : 42512.0 sec. user=vaughan [2010-07-05 04:35:18] 405*2^839731-1 is not prime. Res64: 32F085413EB00E8B Time : 3241.0 sec. user=vaughan [2010-07-05 04:37:17] 481*2^839739-1 is not prime. Res64: 697929E8F51F2637 Time : 762.0 sec. user=vaughan [2010-07-05 04:38:07] 585*2^839627-1 is not prime. Res64: B86BC61869D04C53 Time : 46097.0 sec. user=vaughan [2010-07-05 04:40:06] 437*2^839738-1 is not prime. Res64: B0B0031A0581FBAD Time : 1030.0 sec. user=vaughan [2010-07-05 04:40:37] 425*2^839738-1 is not prime. Res64: FDF998191FAA9965 Time : 1217.0 sec. user=vaughan [2010-07-05 04:40:46] 505*2^839731-1 is not prime. Res64: 3ED71A206D1C0DCC Time : 3149.0 sec. user=vaughan [2010-07-05 04:42:02] 471*2^839739-1 is not prime. Res64: F6BB15F9FD107B31 Time : 1052.0 sec. user=vaughan [2010-07-05 04:49:55] 405*2^839742-1 is not prime. Res64: 675D60E018F456AE Time : 995.0 sec. user=vaughan [2010-07-05 04:49:58] 483*2^839742-1 is not prime. Res64: 1569D4314B893FEA Time : 761.0 sec. user=vaughan [2010-07-05 04:50:49] 555*2^839533-1 is not prime. Res64: 1C6E54A2F24E9209 Time : 85151.0 sec. user=Flatlander [2010-07-05 04:51:16] 581*2^839726-1 is not prime. Res64: EAA88FED05DFA5BD Time : 4770.0 sec. user=Flatlander [2010-07-05 04:51:17] 445*2^839727-1 is not prime. Res64: A86878F75801CDCA Time : 4769.0 sec. user=Flatlander [2010-07-05 04:51:18] 523*2^839727-1 is not prime. Res64: D1613D66E5436566 Time : 4768.0 sec. user=Flatlander [2010-07-05 04:51:18] 565*2^839727-1 is not prime. Res64: 8B8643E74A032767 Time : 4767.0 sec. user=Flatlander [2010-07-05 04:51:19] 419*2^839728-1 is not prime. Res64: 06D134FC3C14E254 Time : 4766.0 sec. user=vaughan [2010-07-05 04:52:40] 579*2^839637-1 is not prime. Res64: 6369EC443B0364FC Time : 41469.0 sec. user=vaughan [2010-07-05 04:54:58] 547*2^839741-1 is not prime. Res64: 7A8DB4CF90B9AD6F Time : 1700.0 sec. user=vaughan [2010-07-05 04:55:24] 465*2^839740-1 is not prime. Res64: 6B1CDA4B0C41CA6E Time : 1727.0 sec. user=vaughan [2010-07-05 04:55:46] 479*2^839632-1 is not prime. Res64: E7A2096C56E907DA Time : 44849.0 sec. user=vaughan [2010-07-05 04:56:13] 511*2^839739-1 is not prime. Res64: AA59244FCA66D533 Time : 1830.0 sec. user=Flatlander [2010-07-05 04:56:57] 411*2^839729-1 is not prime. Res64: 17DE082A087A8989 Time : 4727.0 sec. user=Flatlander [2010-07-05 04:56:58] 421*2^839729-1 is not prime. Res64: C01D3524CA27189A Time : 4726.0 sec. user=Flatlander [2010-07-05 04:56:58] 481*2^839729-1 is not prime. Res64: 34A08E832F4C6F97 Time : 4725.0 sec. user=Flatlander [2010-07-05 04:56:59] 589*2^839729-1 is not prime. Res64: DC6C4FF96F0564A0 Time : 4724.0 sec. user=Flatlander [2010-07-05 04:57:00] 431*2^839730-1 is not prime. Res64: F44DB14644DD7DA5 Time : 4724.0 sec. user=vaughan [2010-07-05 04:57:04] 503*2^839742-1 is not prime. Res64: 75680F148D2A6CF6 Time : 1019.0 sec. user=vaughan [2010-07-05 04:59:22] 407*2^839744-1 is not prime. Res64: A8F1CB4ABFB0BB47 Time : 1040.0 sec. user=vaughan [2010-07-05 05:00:53] 525*2^839742-1 is not prime. Res64: 7743B58F364C967D Time : 1217.0 sec. user=vaughan [2010-07-05 05:02:06] 459*2^839744-1 is not prime. Res64: E6DE978704A80E5E Time : 728.0 sec. user=vaughan [2010-07-05 05:06:23] 437*2^839744-1 is not prime. Res64: 1D26898D529E5CD4 Time : 988.0 sec. user=vaughan [2010-07-05 05:08:21] 441*2^839539-1 is not prime. Res64: 23050B58C0A2254E Time : 84623.0 sec. user=vaughan [2010-07-05 05:10:17] 559*2^839639-1 is not prime. Res64: 5B555E5929D88A42 Time : 40887.0 sec. user=vaughan [2010-07-05 05:14:06] 413*2^839748-1 is not prime. Res64: 34443D938D7CAC32 Time : 1022.0 sec. user=vaughan [2010-07-05 05:14:35] 427*2^839749-1 is not prime. Res64: 3A350C0CB2178BBA Time : 749.0 sec. user=vaughan [2010-07-05 05:16:45] 513*2^839748-1 is not prime. Res64: A14271699F116758 Time : 1043.0 sec. user=Flatlander [2010-07-05 05:19:55] 459*2^839733-1 is not prime. Res64: 387F4EAFECEEDADE Time : 4475.0 sec. user=Flatlander [2010-07-05 05:19:55] 577*2^839733-1 is not prime. Res64: E02A7E618997AB2F Time : 4474.0 sec. user=Flatlander [2010-07-05 05:19:56] 477*2^839734-1 is not prime. Res64: 727C504DDFDD77AB Time : 4473.0 sec. user=Flatlander [2010-07-05 05:19:56] 495*2^839734-1 is not prime. Res64: 52846767170DD4A8 Time : 4471.0 sec. user=Flatlander [2010-07-05 05:19:56] 533*2^839734-1 is not prime. Res64: 9B8F2E6D23DAE11F Time : 4470.0 sec. user=vaughan [2010-07-05 05:20:23] 525*2^839746-1 is not prime. Res64: DF353EA41B3E6F8C Time : 1525.0 sec. user=vaughan [2010-07-05 05:21:25] 569*2^839748-1 is not prime. Res64: 978C1E48CB6367D7 Time : 1232.0 sec. user=Flatlander [2010-07-05 05:21:32] 525*2^839735-1 is not prime. Res64: 1327AC00DC20C054 Time : 4391.0 sec. user=Flatlander [2010-07-05 05:21:32] 425*2^839736-1 is not prime. Res64: F1DE53D1F2E06334 Time : 4390.0 sec. user=Flatlander [2010-07-05 05:21:32] 473*2^839736-1 is not prime. Res64: EFB824F1E678ACEB Time : 4389.0 sec. user=Flatlander [2010-07-05 05:21:33] 507*2^839736-1 is not prime. Res64: DB8435B5A3469D8D Time : 4389.0 sec. user=Flatlander [2010-07-05 05:21:33] 509*2^839736-1 is not prime. Res64: FE23A4375C3D96CD Time : 4388.0 sec. user=vaughan [2010-07-05 05:22:57] 481*2^839749-1 is not prime. Res64: 5B4CE72D5F7865BD Time : 995.0 sec. user=vaughan [2010-07-05 05:23:24] 503*2^839636-1 is not prime. Res64: 88E1A6F4C7ED77CF Time : 44298.0 sec. user=vaughan [2010-07-05 05:24:11] 567*2^839746-1 is not prime. Res64: DA841761DB40D301 Time : 1727.0 sec. user=vaughan [2010-07-05 05:25:45] 455*2^839544-1 is not prime. Res64: 42C934A0628A4956 Time : 84268.0 sec. user=vaughan [2010-07-05 05:26:45] 525*2^839749-1 is not prime. Res64: ED3427BDB4D7693C Time : 730.0 sec. user=vaughan [2010-07-05 05:27:01] 413*2^839742-1 is not prime. Res64: E75BEBD85E2BCBB5 Time : 3104.0 sec. user=vaughan [2010-07-05 05:29:57] 597*2^839746-1 is not prime. Res64: 8F2D981BCBD8D6EF Time : 2025.0 sec. user=vaughan [2010-07-05 05:31:37] 517*2^839749-1 is not prime. Res64: 4315DA2FF17F9BD3 Time : 1051.0 sec. user=vaughan [2010-07-05 05:33:52] 589*2^839749-1 is not prime. Res64: BFD34BEB73A6D829 Time : 1027.0 sec. user=vaughan [2010-07-05 05:37:26] 429*2^839743-1 is not prime. Res64: D1C9BB615ACF1B4D Time : 3400.0 sec. user=vaughan [2010-07-05 05:38:58] 481*2^839753-1 is not prime. Res64: 498D3E767CCEEA8D Time : 733.0 sec. user=vaughan [2010-07-05 05:39:21] 441*2^839753-1 is not prime. Res64: D24BC85444AC0B79 Time : 985.0 sec. user=vaughan [2010-07-05 05:41:56] 405*2^839752-1 is not prime. Res64: E1EF31FED4405C7B Time : 1232.0 sec. user=vaughan [2010-07-05 05:42:38] 501*2^839546-1 is not prime. Res64: A335F9F517319830 Time : 83893.0 sec. user=vaughan [2010-07-05 05:43:04] 573*2^839644-1 is not prime. Res64: D2DCB3C3F8B5DD81 Time : 40324.0 sec. user=vaughan [2010-07-05 05:46:25] 549*2^839639-1 is not prime. Res64: D1AA4C355853F909 Time : 43197.0 sec. user=vaughan [2010-07-05 05:47:08] 441*2^839751-1 is not prime. Res64: 08EBBF6930CE6B5E Time : 1605.0 sec. user=vaughan [2010-07-05 05:49:35] 521*2^839754-1 is not prime. Res64: 9388BF471120C0E4 Time : 1078.0 sec. user=vaughan [2010-07-05 05:50:18] 465*2^839753-1 is not prime. Res64: 0CFA4B6B737D75F4 Time : 1567.0 sec. user=vaughan [2010-07-05 05:51:01] 411*2^839755-1 is not prime. Res64: E4F06CE2D471BE19 Time : 1029.0 sec. user=vaughan [2010-07-05 05:51:08] 421*2^839755-1 is not prime. Res64: A103B1E1EA08F16D Time : 730.0 sec. user=vaughan [2010-07-05 05:55:53] 469*2^839755-1 is not prime. Res64: C2E580F1BBE3DCAD Time : 992.0 sec. user=vaughan [2010-07-05 05:59:44] 427*2^839553-1 is not prime. Res64: BF5358C1366A6F9F Time : 83349.0 sec. user=vaughan [2010-07-05 06:00:51] 465*2^839649-1 is not prime. Res64: 771962BDB83BFDE1 Time : 39730.0 sec. user=vaughan [2010-07-05 06:02:16] 495*2^839755-1 is not prime. Res64: 99C5678779C5C6D7 Time : 1220.0 sec. user=vaughan [2010-07-05 06:03:08] 485*2^839754-1 is not prime. Res64: 20A9E9E6CC99B4B0 Time : 1991.0 sec. user=vaughan [2010-07-05 06:03:28] 471*2^839757-1 is not prime. Res64: 7CE18B8D2F56B908 Time : 740.0 sec. user=Flatlander [2010-07-05 06:03:41] 503*2^839744-1 is not prime. Res64: 0D44F5D48E39B877 Time : 4340.0 sec. user=Flatlander [2010-07-05 06:03:41] 441*2^839745-1 is not prime. Res64: 582D9B3ED2429040 Time : 4339.0 sec. user=Flatlander [2010-07-05 06:03:41] 459*2^839745-1 is not prime. Res64: 18A8537D68A3B506 Time : 4337.0 sec. user=Flatlander [2010-07-05 06:03:41] 577*2^839745-1 is not prime. Res64: D1DB73163D7B5B3A Time : 4335.0 sec. user=Flatlander [2010-07-05 06:03:41] 597*2^839745-1 is not prime. Res64: B7215FCE9D0B938F Time : 4334.0 sec. user=vaughan [2010-07-05 06:04:03] 445*2^839645-1 is not prime. Res64: C8B915CE41E1518E Time : 41419.0 sec. user=vaughan [2010-07-05 06:06:46] 579*2^839756-1 is not prime. Res64: 819580B3FAC9DD1C Time : 1031.0 sec. user=vaughan [2010-07-05 06:08:19] 405*2^839757-1 is not prime. Res64: F24349436A7275C8 Time : 1038.0 sec. user=Flatlander [2010-07-05 06:09:16] 463*2^839747-1 is not prime. Res64: EA1D2F188C663ADF Time : 4335.0 sec. user=Flatlander [2010-07-05 06:09:16] 511*2^839747-1 is not prime. Res64: 71576516512DB1AE Time : 4334.0 sec. user=Flatlander [2010-07-05 06:09:16] 519*2^839747-1 is not prime. Res64: A3BA6B9A53083805 Time : 4333.0 sec. user=Flatlander [2010-07-05 06:09:17] 589*2^839747-1 is not prime. Res64: FF243CDBE2BBCB0B Time : 4333.0 sec. user=Flatlander [2010-07-05 06:09:17] 489*2^839748-1 is not prime. Res64: E14C8C2ABD809970 Time : 4332.0 sec. user=vaughan [2010-07-05 06:12:16] 475*2^839757-1 is not prime. Res64: BC96083F1F57A120 Time : 984.0 sec. user=vaughan [2010-07-05 06:15:40] 579*2^839757-1 is not prime. Res64: E93B6D70F6348908 Time : 732.0 sec. user=vaughan [2010-07-05 06:16:39] 459*2^839555-1 is not prime. Res64: D65A7B6C0B7E05EE Time : 82893.0 sec. user=vaughan [2010-07-05 06:17:40] 525*2^839756-1 is not prime. Res64: 479D85200B267FEB Time : 1832.0 sec. user=vaughan [2010-07-05 06:20:19] 507*2^839753-1 is not prime. Res64: 1E9C4F8C88BE5B8E Time : 3198.0 sec. user=vaughan [2010-07-05 06:22:09] 587*2^839756-1 is not prime. Res64: A09532C225090336 Time : 1911.0 sec. user=vaughan [2010-07-05 06:22:35] 529*2^839757-1 is not prime. Res64: CE47B25A0B6836B8 Time : 1220.0 sec. user=vaughan [2010-07-05 06:23:41] 455*2^839760-1 is not prime. Res64: C6DC31F83218D8DF Time : 1015.0 sec. user=vaughan [2010-07-05 06:24:53] 459*2^839760-1 is not prime. Res64: E66639E6549E0EA9 Time : 994.0 sec. user=vaughan [2010-07-05 06:27:59] 517*2^839761-1 is not prime. Res64: BB97A297BF972B0C Time : 740.0 sec. user=vaughan [2010-07-05 06:28:27] 465*2^839761-1 is not prime. Res64: C86A03A0BB90BA65 Time : 971.0 sec. user=vaughan [2010-07-05 06:28:34] 499*2^839757-1 is not prime. Res64: 48E35F0EA087D480 Time : 1664.0 sec. user=vaughan [2010-07-05 06:30:00] 415*2^839755-1 is not prime. Res64: 30DC27A2BA59614F Time : 3154.0 sec. user=Flatlander [2010-07-05 06:30:41] 407*2^839750-1 is not prime. Res64: EF38B1FF81A263B2 Time : 4244.0 sec. user=Flatlander [2010-07-05 06:30:42] 437*2^839750-1 is not prime. Res64: D6965C3FEAC93370 Time : 4244.0 sec. user=Flatlander [2010-07-05 06:30:42] 557*2^839750-1 is not prime. Res64: 85A8E7EB6C9572AA Time : 4243.0 sec. user=Flatlander [2010-07-05 06:30:43] 575*2^839750-1 is not prime. Res64: AB1411BA12BDA7B3 Time : 4243.0 sec. user=Flatlander [2010-07-05 06:30:43] 429*2^839751-1 is not prime. Res64: 2AA2FDABA7258E07 Time : 4243.0 sec. user=Flatlander [2010-07-05 06:31:25] 437*2^839752-1 is not prime. Res64: EF68074F22B85103 Time : 4191.0 sec. user=Flatlander [2010-07-05 06:31:25] 525*2^839752-1 is not prime. Res64: EED22122CE7B3709 Time : 4191.0 sec. user=Flatlander [2010-07-05 06:31:25] 539*2^839752-1 is not prime. Res64: 1F1407CF854CE797 Time : 4190.0 sec. user=Flatlander [2010-07-05 06:31:26] 563*2^839752-1 is not prime. Res64: D0F2B612A1936DCF Time : 4190.0 sec. user=Flatlander [2010-07-05 06:31:26] 435*2^839753-1 is not prime. Res64: C7BC62046C2D37EB Time : 4189.0 sec. user=vaughan [2010-07-05 06:31:49] 471*2^839649-1 is not prime. Res64: BFB1ADF154C5BC8C Time : 41048.0 sec. user=vaughan [2010-07-05 06:33:12] 467*2^839558-1 is not prime. Res64: 319E1673EF17DE28 Time : 82425.0 sec. user=vaughan [2010-07-05 06:35:40] 555*2^839757-1 is not prime. Res64: 55CBA4AED7F08539 Time : 1953.0 sec. user=vaughan [2010-07-05 06:40:22] 411*2^839763-1 is not prime. Res64: 58F390237AF2C414 Time : 743.0 sec. user=vaughan [2010-07-05 06:40:33] 501*2^839762-1 is not prime. Res64: CEB2465D53623240 Time : 1012.0 sec. user=vaughan [2010-07-05 06:41:28] 551*2^839762-1 is not prime. Res64: 1F1F95DD274F49B5 Time : 995.0 sec. user=vaughan [2010-07-05 06:43:08] 497*2^839762-1 is not prime. Res64: 7209AE546D8AAF3F Time : 1234.0 sec. user=vaughan [2010-07-05 06:44:37] 501*2^839763-1 is not prime. Res64: 91B1739A47C6BEB4 Time : 970.0 sec. user=vaughan [2010-07-05 06:46:14] 429*2^839764-1 is not prime. Res64: 2F4D6339637C5F9D Time : 1061.0 sec. user=vaughan [2010-07-05 06:49:28] 421*2^839767-1 is not prime. Res64: 901CC90D7B365FDF Time : 1059.0 sec. user=vaughan [2010-07-05 06:49:44] 465*2^839564-1 is not prime. Res64: B50B222BA6155289 Time : 81944.0 sec. user=vaughan [2010-07-05 06:51:06] 555*2^839761-1 is not prime. Res64: 3F17EACC89EB956F Time : 2007.0 sec. user=vaughan [2010-07-05 06:52:45] 441*2^839767-1 is not prime. Res64: D3087133E8E9FDEC Time : 743.0 sec. user=vaughan [2010-07-05 06:57:22] 451*2^839767-1 is not prime. Res64: 42AA40739187A3E9 Time : 1009.0 sec. user=vaughan [2010-07-05 06:57:24] 453*2^839762-1 is not prime. Res64: D0F52E8F36A1526F Time : 2115.0 sec. user=vaughan [2010-07-05 06:58:02] 471*2^839767-1 is not prime. Res64: F1246D10A9250096 Time : 995.0 sec. user=vaughan [2010-07-05 07:00:47] 553*2^839767-1 is not prime. Res64: 8ED51D952BDEBB1C Time : 971.0 sec. user=vaughan [2010-07-05 07:03:19] 475*2^839767-1 is not prime. Res64: 979072A105ED0C85 Time : 1211.0 sec. user=vaughan [2010-07-05 07:03:57] 573*2^839767-1 is not prime. Res64: B58064B3D5C3681F Time : 1063.0 sec. user=vaughan [2010-07-05 07:05:08] 525*2^839768-1 is not prime. Res64: 6AFECFDA5DFDA94A Time : 743.0 sec. user=vaughan [2010-07-05 07:06:15] 465*2^839568-1 is not prime. Res64: F63DA54F82202649 Time : 81144.0 sec. user=vaughan [2010-07-05 07:06:37] 429*2^839767-1 is not prime. Res64: 48405B154A3104B2 Time : 1857.0 sec. user=vaughan [2010-07-05 07:07:07] 425*2^839768-1 is not prime. Res64: 830AE17ACD59A25A Time : 1060.0 sec. user=vaughan [2010-07-05 07:13:30] 565*2^839761-1 is not prime. Res64: 6295C0F7CEC096FD Time : 3191.0 sec. user=Flatlander [2010-07-05 07:14:01] 489*2^839759-1 is not prime. Res64: 968403975F91A937 Time : 4219.0 sec. user=Flatlander [2010-07-05 07:14:02] 565*2^839759-1 is not prime. Res64: 45C1BCF103F1275A Time : 4220.0 sec. user=Flatlander [2010-07-05 07:14:02] 571*2^839759-1 is not prime. Res64: 9D32326042600632 Time : 4219.0 sec. user=Flatlander [2010-07-05 07:14:03] 579*2^839759-1 is not prime. Res64: E7A7B192D2705DBA Time : 4219.0 sec. user=Flatlander [2010-07-05 07:14:03] 413*2^839760-1 is not prime. Res64: 501B67D3E009AAA6 Time : 4218.0 sec. user=vaughan [2010-07-05 07:14:07] 459*2^839769-1 is not prime. Res64: 2181BD3D439B62E7 Time : 1005.0 sec. user=vaughan [2010-07-05 07:14:33] 555*2^839769-1 is not prime. Res64: 3C6C5E33FFD38877 Time : 991.0 sec. user=vaughan [2010-07-05 07:16:55] 443*2^839770-1 is not prime. Res64: 2790C777D3B94AE3 Time : 969.0 sec. user=vaughan [2010-07-05 07:17:20] 489*2^839771-1 is not prime. Res64: 5FF85D5FA3A4C8D9 Time : 732.0 sec. user=Flatlander [2010-07-05 07:19:55] 503*2^839760-1 is not prime. Res64: 2B7265F0C34834B8 Time : 4237.0 sec. user=Flatlander [2010-07-05 07:19:55] 527*2^839760-1 is not prime. Res64: F7648CFCA8F2D0AD Time : 4236.0 sec. user=Flatlander [2010-07-05 07:19:58] 567*2^839760-1 is not prime. Res64: 4FAABCAAB4D2EA12 Time : 4238.0 sec. user=Flatlander [2010-07-05 07:19:58] 427*2^839761-1 is not prime. Res64: BADC51977643F8A4 Time : 4238.0 sec. user=Flatlander [2010-07-05 07:19:58] 441*2^839761-1 is not prime. Res64: 9962803DF203CAB0 Time : 4237.0 sec. user=vaughan [2010-07-05 07:21:58] 437*2^839768-1 is not prime. Res64: 5124A008E2E4F2D6 Time : 1852.0 sec. user=vaughan [2010-07-05 07:22:42] 423*2^839574-1 is not prime. Res64: 23EA71572FBA9466 Time : 80100.0 sec. user=vaughan [2010-07-05 07:23:54] 525*2^839770-1 is not prime. Res64: 9EB2F36AD1C007E7 Time : 1235.0 sec. user=vaughan [2010-07-05 07:25:59] 437*2^839764-1 is not prime. Res64: 2CB35D638B692C54 Time : 3359.0 sec. user=vaughan [2010-07-05 07:27:31] 465*2^839769-1 is not prime. Res64: D9F0A61AC5357C93 Time : 1807.0 sec. user=vaughan [2010-07-05 07:29:31] 555*2^839773-1 is not prime. Res64: F90C19F3E16EF3A8 Time : 731.0 sec. user=vaughan [2010-07-05 07:30:48] 569*2^839772-1 is not prime. Res64: 38B62A589FED21C3 Time : 1001.0 sec. user=vaughan [2010-07-05 07:31:02] 477*2^839773-1 is not prime. Res64: 236E5AB8B81D08F9 Time : 989.0 sec. user=vaughan [2010-07-05 07:33:02] 511*2^839773-1 is not prime. Res64: 0910464DFFA8F46F Time : 967.0 sec. user=vaughan [2010-07-05 07:34:02] 433*2^839771-1 is not prime. Res64: C0833773143F4952 Time : 1806.0 sec. user=vaughan [2010-07-05 07:37:26] 595*2^839771-1 is not prime. Res64: F56F447E2A82933B Time : 1820.0 sec. user=vaughan [2010-07-05 07:39:10] 407*2^839576-1 is not prime. Res64: 00A49C687411CFD0 Time : 79048.0 sec. user=Flatlander [2010-07-05 07:40:32] 507*2^839764-1 is not prime. Res64: 3F370A449637EDE9 Time : 4187.0 sec. user=Flatlander [2010-07-05 07:40:32] 539*2^839764-1 is not prime. Res64: 8B012A1EB4D6F16B Time : 4186.0 sec. user=Flatlander [2010-07-05 07:40:32] 405*2^839765-1 is not prime. Res64: 8E816FE8831232B8 Time : 4185.0 sec. user=Flatlander [2010-07-05 07:40:33] 405*2^839766-1 is not prime. Res64: D4596B309B45183F Time : 4185.0 sec. user=Flatlander [2010-07-05 07:40:33] 411*2^839766-1 is not prime. Res64: 7F11C5A224B4F55E Time : 4185.0 sec. user=vaughan [2010-07-05 07:40:40] 531*2^839771-1 is not prime. Res64: 2AF898AD29DA1BCC Time : 2043.0 sec. user=vaughan [2010-07-05 07:41:43] 483*2^839776-1 is not prime. Res64: B933DD567511FB24 Time : 732.0 sec. user=Flatlander [2010-07-05 07:41:45] 417*2^839766-1 is not prime. Res64: 3B3DE17E4FEDC44C Time : 4219.0 sec. user=Flatlander [2010-07-05 07:41:45] 461*2^839766-1 is not prime. Res64: 1151EF35335A83B9 Time : 4218.0 sec. user=Flatlander [2010-07-05 07:41:45] 485*2^839766-1 is not prime. Res64: 9529A5C7262B0F1A Time : 4217.0 sec. user=Flatlander [2010-07-05 07:41:46] 503*2^839766-1 is not prime. Res64: F233EE7DC3344F7D Time : 4218.0 sec. user=Flatlander [2010-07-05 07:41:46] 405*2^839767-1 is not prime. Res64: 67116A1C23EBAB92 Time : 4217.0 sec. user=vaughan [2010-07-05 07:44:17] 531*2^839775-1 is not prime. Res64: 560BD75C72FE47D5 Time : 1223.0 sec. user=vaughan [2010-07-05 07:47:29] 563*2^839776-1 is not prime. Res64: 0FD93F2B316CC859 Time : 1001.0 sec. user=vaughan [2010-07-05 07:47:31] 575*2^839776-1 is not prime. Res64: 7314CDE793E90740 Time : 989.0 sec. user=vaughan [2010-07-05 07:49:10] 475*2^839777-1 is not prime. Res64: 0CAA12405BF3D02C Time : 968.0 sec. user=vaughan [2010-07-05 07:51:05] 511*2^839775-1 is not prime. Res64: 79AAC79E656F23F4 Time : 1748.0 sec. user=vaughan [2010-07-05 07:51:44] 511*2^839777-1 is not prime. Res64: A1AC2AC8F244425B Time : 1062.0 sec. user=vaughan [2010-07-05 07:53:55] 467*2^839780-1 is not prime. Res64: B0523E59D1B10CD6 Time : 732.0 sec. user=vaughan [2010-07-05 07:55:08] 517*2^839777-1 is not prime. Res64: 8A2D60E5543E1001 Time : 1063.0 sec. user=vaughan [2010-07-05 07:55:47] 597*2^839580-1 is not prime. Res64: C2BB73015CB90A29 Time : 78152.0 sec. user=vaughan [2010-07-05 07:57:42] 595*2^839775-1 is not prime. Res64: 9C8E29680A217CF0 Time : 1811.0 sec. user=vaughan [2010-07-05 08:04:10] 461*2^839782-1 is not prime. Res64: 88A6A964ED0AE7ED Time : 999.0 sec. user=vaughan [2010-07-05 08:04:18] 405*2^839782-1 is not prime. Res64: 129CAE427EC726AE Time : 1202.0 sec. user=vaughan [2010-07-05 08:04:27] 435*2^839782-1 is not prime. Res64: E7718A0775F27DC2 Time : 1018.0 sec. user=vaughan [2010-07-05 08:05:30] 545*2^839782-1 is not prime. Res64: B8678FBC409936B9 Time : 980.0 sec. user=vaughan [2010-07-05 08:06:05] 581*2^839782-1 is not prime. Res64: E6DF09ED93E35573 Time : 731.0 sec. user=vaughan [2010-07-05 08:06:35] 405*2^839772-1 is not prime. Res64: 0D152ED41EC1D2A1 Time : 3186.0 sec. user=vaughan [2010-07-05 08:09:25] 573*2^839782-1 is not prime. Res64: 4B63316541DD1B71 Time : 1061.0 sec. user=vaughan [2010-07-05 08:12:07] 589*2^839779-1 is not prime. Res64: 1732B491F9042B4C Time : 1887.0 sec. user=vaughan [2010-07-05 08:12:31] 505*2^839783-1 is not prime. Res64: C71CF750C59ADAE6 Time : 1004.0 sec. user=vaughan [2010-07-05 08:12:48] 435*2^839783-1 is not prime. Res64: 76662FFD062D63AB Time : 1060.0 sec. user=vaughan [2010-07-05 08:18:20] 589*2^839785-1 is not prime. Res64: 49F4F51D388B1E8B Time : 735.0 sec. user=vaughan [2010-07-05 08:19:43] 555*2^839782-1 is not prime. Res64: AF5DDB326F07754B Time : 1718.0 sec. user=vaughan [2010-07-05 08:20:49] 573*2^839775-1 is not prime. Res64: A265B8533AA1978A Time : 3291.0 sec. user=vaughan [2010-07-05 08:20:56] 509*2^839784-1 is not prime. Res64: BC2382D1D8E405EE Time : 1006.0 sec. user=vaughan [2010-07-05 08:21:10] 471*2^839785-1 is not prime. Res64: F6F4A4BCD64924AA Time : 1003.0 sec. user=vaughan [2010-07-05 08:21:43] 531*2^839785-1 is not prime. Res64: C443F791DF8B3344 Time : 973.0 sec. user=vaughan [2010-07-05 08:24:26] 587*2^839784-1 is not prime. Res64: D8CEEC5ED8ACE3C0 Time : 1208.0 sec. user=Flatlander [2010-07-05 08:24:30] 453*2^839772-1 is not prime. Res64: 86B573E677DE5966 Time : 4226.0 sec. user=Flatlander [2010-07-05 08:24:31] 483*2^839772-1 is not prime. Res64: 2AFFD5B273783F5A Time : 4225.0 sec. user=Flatlander [2010-07-05 08:24:31] 525*2^839772-1 is not prime. Res64: C39FE1C4FDEEF6E2 Time : 4224.0 sec. user=Flatlander [2010-07-05 08:24:32] 411*2^839773-1 is not prime. Res64: B8EEBA7C214A459F Time : 4224.0 sec. user=Flatlander [2010-07-05 08:24:32] 451*2^839773-1 is not prime. Res64: 4FCA3BB387450B1E Time : 4223.0 sec. user=vaughan [2010-07-05 08:28:18] 595*2^839783-1 is not prime. Res64: 8C54CACC6616DCE3 Time : 1836.0 sec. user=vaughan [2010-07-05 08:29:14] 403*2^839787-1 is not prime. Res64: CF0B8A294A5E576E Time : 1003.0 sec. user=Flatlander [2010-07-05 08:30:21] 591*2^839773-1 is not prime. Res64: 32FD5C8649E115FE Time : 4223.0 sec. user=Flatlander [2010-07-05 08:30:22] 447*2^839774-1 is not prime. Res64: BE98ED4C54352687 Time : 4223.0 sec. user=Flatlander [2010-07-05 08:30:22] 501*2^839774-1 is not prime. Res64: 2FADE7F5EEE9DA2E Time : 4223.0 sec. user=Flatlander [2010-07-05 08:30:23] 533*2^839774-1 is not prime. Res64: 4115100E0850BBD9 Time : 4223.0 sec. user=Flatlander [2010-07-05 08:30:23] 557*2^839774-1 is not prime. Res64: EE8A7455E6549AF8 Time : 4223.0 sec. user=vaughan [2010-07-05 08:30:32] 501*2^839787-1 is not prime. Res64: C02DC9E1DF53E7F1 Time : 733.0 sec. user=vaughan [2010-07-05 08:37:39] 595*2^839787-1 is not prime. Res64: BB9486FDE2A6B298 Time : 1004.0 sec. user=vaughan [2010-07-05 08:37:51] 453*2^839788-1 is not prime. Res64: 9E86027ABD90A5E9 Time : 1001.0 sec. user=vaughan [2010-07-05 08:37:55] 525*2^839789-1 is not prime. Res64: 7250D6C9B42FD10B Time : 973.0 sec. user=vaughan [2010-07-05 08:42:23] 587*2^839786-1 is not prime. Res64: 416E2A54A00D3107 Time : 1817.0 sec. user=vaughan [2010-07-05 08:42:45] 471*2^839793-1 is not prime. Res64: 0401E529177A03E7 Time : 733.0 sec. user=vaughan [2010-07-05 08:45:50] 519*2^839791-1 is not prime. Res64: 8061935620C89670 Time : 996.0 sec. user=vaughan [2010-07-05 08:46:41] 565*2^839789-1 is not prime. Res64: BE823A23D4926265 Time : 1335.0 sec. user=vaughan [2010-07-05 08:49:05] 529*2^839787-1 is not prime. Res64: 2D76557C9ECF194B Time : 1763.0 sec. user=Flatlander [2010-07-05 08:50:29] 559*2^839777-1 is not prime. Res64: 9D42785565499E1F Time : 4195.0 sec. user=Flatlander [2010-07-05 08:50:29] 561*2^839777-1 is not prime. Res64: BD6CD85ADCD562CF Time : 4194.0 sec. user=Flatlander [2010-07-05 08:50:30] 495*2^839779-1 is not prime. Res64: DCEABC057891CE90 Time : 4194.0 sec. user=Flatlander [2010-07-05 08:50:30] 531*2^839779-1 is not prime. Res64: A8CA15785187C383 Time : 4193.0 sec. user=Flatlander [2010-07-05 08:50:31] 573*2^839779-1 is not prime. Res64: 1BB888B933BFB4F6 Time : 4193.0 sec. user=Flatlander [2010-07-05 08:52:00] 479*2^839780-1 is not prime. Res64: D37E162BA4A78D11 Time : 4213.0 sec. user=Flatlander [2010-07-05 08:52:00] 483*2^839780-1 is not prime. Res64: 4EDD498A5A788072 Time : 4212.0 sec. user=Flatlander [2010-07-05 08:52:00] 447*2^839781-1 is not prime. Res64: 58FED868AE8595F8 Time : 4212.0 sec. user=Flatlander [2010-07-05 08:52:01] 517*2^839781-1 is not prime. Res64: 8F9D54DC16D80E80 Time : 4212.0 sec. user=Flatlander [2010-07-05 08:52:01] 577*2^839781-1 is not prime. Res64: A46F055766CC0595 Time : 4211.0 sec. user=vaughan [2010-07-05 08:54:12] 423*2^839794-1 is not prime. Res64: ACD8725315D670AF Time : 978.0 sec. user=vaughan [2010-07-05 08:54:27] 517*2^839793-1 is not prime. Res64: 63059902DD301175 Time : 1008.0 sec. user=vaughan [2010-07-05 08:54:38] 413*2^839794-1 is not prime. Res64: 5E61666C4615B4AD Time : 1008.0 sec. user=vaughan [2010-07-05 08:54:57] 527*2^839794-1 is not prime. Res64: 1610A96CB6D35507 Time : 733.0 sec. user=vaughan [2010-07-05 08:55:59] 585*2^839786-1 is not prime. Res64: F183141AEC87696C Time : 2794.0 sec. user=vaughan [2010-07-05 08:57:20] 465*2^839791-1 is not prime. Res64: BCF44CCB9D153E71 Time : 1742.0 sec. user=vaughan [2010-07-05 08:58:10] 595*2^839785-1 is not prime. Res64: 7D09E9A55E71232A Time : 3095.0 sec. user=vaughan [2010-07-05 08:59:33] 469*2^839787-1 is not prime. Res64: 3609B169E4B300CE Time : 2806.0 sec. user=vaughan [2010-07-05 09:04:00] 445*2^839795-1 is not prime. Res64: 29BBFF1D4293A4BD Time : 1091.0 sec. user=vaughan [2010-07-05 09:07:12] 405*2^839801-1 is not prime. Res64: 866771840115582E Time : 735.0 sec. user=vaughan [2010-07-05 09:10:43] 495*2^839800-1 is not prime. Res64: C2DA4D6101D65390 Time : 991.0 sec. user=vaughan [2010-07-05 09:11:39] 539*2^839800-1 is not prime. Res64: 52AB70B94397A04D Time : 1021.0 sec. user=vaughan [2010-07-05 09:11:48] 533*2^839800-1 is not prime. Res64: FC14DE6AACD381DB Time : 1041.0 sec. user=vaughan [2010-07-05 09:12:58] 451*2^839795-1 is not prime. Res64: 4FFBBCBF0DDF32A2 Time : 1577.0 sec. user=vaughan [2010-07-05 09:13:40] 491*2^839794-1 is not prime. Res64: 43D22967EE8492C8 Time : 1877.0 sec. user=vaughan [2010-07-05 09:13:41] 495*2^839801-1 is not prime. Res64: 5E720C5EDBC871FA Time : 1062.0 sec. user=vaughan [2010-07-05 09:13:47] 531*2^839787-1 is not prime. Res64: 06E8472CFE73759B Time : 3178.0 sec. user=vaughan [2010-07-05 09:18:21] 579*2^839795-1 is not prime. Res64: C92041680C759B2F Time : 1756.0 sec. user=vaughan [2010-07-05 09:19:27] 415*2^839803-1 is not prime. Res64: 709F3D2232526AF3 Time : 735.0 sec. user=vaughan [2010-07-05 09:21:31] 567*2^839802-1 is not prime. Res64: 4F1FBA055BF98AA2 Time : 1051.0 sec. user=vaughan [2010-07-05 09:26:19] 485*2^839802-1 is not prime. Res64: 90CD4F4F0AC387B0 Time : 1740.0 sec. user=vaughan [2010-07-05 09:27:11] 421*2^839803-1 is not prime. Res64: D13D9D36C0976478 Time : 988.0 sec. user=vaughan [2010-07-05 09:28:42] 481*2^839803-1 is not prime. Res64: 9A0C0AFC6D966ECA Time : 1023.0 sec. user=vaughan [2010-07-05 09:29:14] 549*2^839803-1 is not prime. Res64: 4BA68B7443B35021 Time : 1046.0 sec. user=vaughan [2010-07-05 09:31:40] 451*2^839807-1 is not prime. Res64: 4EFFABE36B4D53FA Time : 733.0 sec. user=vaughan [2010-07-05 09:33:16] 537*2^839802-1 is not prime. Res64: C8E338F2887771B0 Time : 2023.0 sec. user=Flatlander [2010-07-05 09:34:30] 567*2^839789-1 is not prime. Res64: 5A3FD618EE9BD774 Time : 4197.0 sec. user=Flatlander [2010-07-05 09:34:30] 589*2^839789-1 is not prime. Res64: AAA95F3767DF6B3C Time : 4196.0 sec. user=Flatlander [2010-07-05 09:34:31] 411*2^839790-1 is not prime. Res64: D8AE6F453E6CC100 Time : 4196.0 sec. user=Flatlander [2010-07-05 09:34:31] 525*2^839790-1 is not prime. Res64: 05B7399FACC09119 Time : 4195.0 sec. user=Flatlander [2010-07-05 09:34:31] 463*2^839791-1 is not prime. Res64: F6A1044A7B98D04C Time : 4194.0 sec. user=vaughan [2010-07-05 09:38:51] 425*2^839804-1 is not prime. Res64: 655931F7BDD27883 Time : 1553.0 sec. user=vaughan [2010-07-05 09:39:01] 463*2^839807-1 is not prime. Res64: BC34AECDE656EA0C Time : 1050.0 sec. user=Flatlander [2010-07-05 09:40:40] 531*2^839791-1 is not prime. Res64: E6FB6F8AC9C915A0 Time : 4216.0 sec. user=Flatlander [2010-07-05 09:40:40] 549*2^839791-1 is not prime. Res64: AC9FFF169B3DFDF3 Time : 4215.0 sec. user=Flatlander [2010-07-05 09:40:41] 479*2^839792-1 is not prime. Res64: DA1FF6EBFBFBF052 Time : 4215.0 sec. user=Flatlander [2010-07-05 09:40:41] 533*2^839792-1 is not prime. Res64: 93A71129AECD310B Time : 4214.0 sec. user=Flatlander [2010-07-05 09:40:42] 427*2^839793-1 is not prime. Res64: F8CB466C3C4F433A Time : 4214.0 sec. user=vaughan [2010-07-05 09:43:43] 585*2^839807-1 is not prime. Res64: 9EEC4838E222E9EB Time : 992.0 sec. user=vaughan [2010-07-05 09:43:54] 525*2^839808-1 is not prime. Res64: CFF1DFF99FF694FF Time : 734.0 sec. user=vaughan [2010-07-05 09:45:32] 563*2^839804-1 is not prime. Res64: 9AEDA851BF14317B Time : 1913.0 sec. user=vaughan [2010-07-05 09:45:50] 425*2^839808-1 is not prime. Res64: 7498674BCF2596D5 Time : 1028.0 sec. user=vaughan [2010-07-05 09:46:29] 429*2^839808-1 is not prime. Res64: 154EAB8C9B38D0BD Time : 1035.0 sec. user=vaughan [2010-07-05 09:47:22] 471*2^839806-1 is not prime. Res64: 0843EF21C6E67261 Time : 1741.0 sec. user=vaughan [2010-07-05 09:47:34] 555*2^839805-1 is not prime. Res64: 3BBB5B7C1DC7D753 Time : 2033.0 sec. user=vaughan [2010-07-05 09:49:15] 527*2^839802-1 is not prime. Res64: A38CB64E75C01563 Time : 3065.0 sec. user=vaughan [2010-07-05 09:51:33] 539*2^839808-1 is not prime. Res64: 546BBD1C0F00AAA4 Time : 1098.0 sec. user=vaughan [2010-07-05 09:56:08] 533*2^839812-1 is not prime. Res64: 20FB2C080F7CBBC2 Time : 734.0 sec. user=vaughan [2010-07-05 09:56:21] 587*2^839810-1 is not prime. Res64: 8EE8DAFB9443C559 Time : 1041.0 sec. user=vaughan [2010-07-05 09:56:51] 531*2^839807-1 is not prime. Res64: FE41B0EBA5D73CEA Time : 1832.0 sec. user=vaughan [2010-07-05 10:00:18] 485*2^839812-1 is not prime. Res64: 2A6ADDB0740C6B5C Time : 995.0 sec. user=Flatlander [2010-07-05 10:02:04] 405*2^839796-1 is not prime. Res64: 9F02D18408288894 Time : 4292.0 sec. user=Flatlander [2010-07-05 10:02:05] 503*2^839796-1 is not prime. Res64: 0EC7EBF164A53725 Time : 4292.0 sec. user=Flatlander [2010-07-05 10:02:06] 539*2^839796-1 is not prime. Res64: D08607A66C0B3A07 Time : 4293.0 sec. user=Flatlander [2010-07-05 10:02:06] 563*2^839796-1 is not prime. Res64: 005D9C1E83F072E1 Time : 4292.0 sec. user=Flatlander [2010-07-05 10:02:06] 537*2^839797-1 is not prime. Res64: 563006632D23DA71 Time : 4292.0 sec. user=vaughan [2010-07-05 10:03:03] 439*2^839813-1 is not prime. Res64: D1857CD16BE27DFB Time : 1034.0 sec. user=Flatlander [2010-07-05 10:03:16] 567*2^839797-1 is not prime. Res64: C1EA62DEB669E883 Time : 4274.0 sec. user=Flatlander [2010-07-05 10:03:16] 437*2^839798-1 is not prime. Res64: 727772669B2C4D39 Time : 4274.0 sec. user=Flatlander [2010-07-05 10:03:17] 551*2^839798-1 is not prime. Res64: 5AC97CD7463D698E Time : 4274.0 sec. user=Flatlander [2010-07-05 10:03:17] 563*2^839798-1 is not prime. Res64: CE4AE79D31EFA61B Time : 4273.0 sec. user=Flatlander [2010-07-05 10:03:18] 501*2^839799-1 is not prime. Res64: E1D427E16D5D6A68 Time : 4273.0 sec. user=vaughan [2010-07-05 10:03:56] 445*2^839813-1 is not prime. Res64: 6E97A6DA6371D500 Time : 1047.0 sec. user=vaughan [2010-07-05 10:04:21] 501*2^839810-1 is not prime. Res64: 6CD90A37DA724BB9 Time : 1530.0 sec. user=vaughan [2010-07-05 10:05:17] 507*2^839813-1 is not prime. Res64: E7CFA335AB4E647A Time : 1063.0 sec. user=vaughan [2010-07-05 10:07:27] 425*2^839806-1 is not prime. Res64: 99225F387F62C68F Time : 3220.0 sec. user=vaughan [2010-07-05 10:08:21] 585*2^839813-1 is not prime. Res64: 956B5D28CB5DA1AB Time : 734.0 sec. user=vaughan [2010-07-05 10:09:17] 567*2^839813-1 is not prime. Res64: 757975FAD58D72B6 Time : 1064.0 sec. user=vaughan [2010-07-05 10:13:48] 413*2^839814-1 is not prime. Res64: 1E20BECAA884E5B0 Time : 1048.0 sec. user=vaughan [2010-07-05 10:14:45] 573*2^839812-1 is not prime. Res64: 1FF42C43512AA17D Time : 1753.0 sec. user=vaughan [2010-07-05 10:16:00] 477*2^839813-1 is not prime. Res64: 2EEB3C8641D81AAA Time : 1718.0 sec. user=vaughan [2010-07-05 10:16:42] 447*2^839814-1 is not prime. Res64: 5E9DAD7401863231 Time : 984.0 sec. user=vaughan [2010-07-05 10:20:01] 523*2^839815-1 is not prime. Res64: FDDD412CCE517F3C Time : 1018.0 sec. user=vaughan [2010-07-05 10:20:34] 467*2^839818-1 is not prime. Res64: 8F53E5BDC4D267B2 Time : 733.0 sec. user=vaughan [2010-07-05 10:21:10] 501*2^839817-1 is not prime. Res64: 24ED35A1EE8DB512 Time : 1034.0 sec. user=vaughan [2010-07-05 10:27:22] 431*2^839814-1 is not prime. Res64: 0694C2CD93FA548C Time : 1832.0 sec. user=vaughan [2010-07-05 10:29:59] 517*2^839817-1 is not prime. Res64: 3679CFD2799EB339 Time : 1538.0 sec. user=vaughan [2010-07-05 10:31:30] 435*2^839819-1 is not prime. Res64: 93DF973B63A63A13 Time : 1062.0 sec. user=vaughan [2010-07-05 10:32:47] 409*2^839821-1 is not prime. Res64: CA4F07833EDB360C Time : 733.0 sec. user=vaughan [2010-07-05 10:33:14] 455*2^839820-1 is not prime. Res64: 305D2DA4C1E10C1A Time : 993.0 sec. user=vaughan [2010-07-05 10:37:03] 597*2^839820-1 is not prime. Res64: 4F90DED17D933987 Time : 1022.0 sec. user=vaughan [2010-07-05 10:38:31] 465*2^839821-1 is not prime. Res64: EA0F759CBDCA6A1A Time : 1041.0 sec. user=vaughan [2010-07-05 10:42:15] 565*2^839813-1 is not prime. Res64: A9F668983C3205E4 Time : 3180.0 sec. user=vaughan [2010-07-05 10:44:02] 437*2^839820-1 is not prime. Res64: CBAFEBB72A6BB266 Time : 1683.0 sec. user=vaughan [2010-07-05 10:45:01] 477*2^839822-1 is not prime. Res64: B42F24C031E03137 Time : 734.0 sec. user=Flatlander [2010-07-05 10:46:58] 435*2^839809-1 is not prime. Res64: 3356ABAFFD86951B Time : 4346.0 sec. user=Flatlander [2010-07-05 10:46:58] 441*2^839809-1 is not prime. Res64: 67A4E4F4B467B1EB Time : 4345.0 sec. user=Flatlander [2010-07-05 10:46:58] 457*2^839809-1 is not prime. Res64: 2CA8917B15F58EE1 Time : 4345.0 sec. user=Flatlander [2010-07-05 10:46:59] 467*2^839810-1 is not prime. Res64: 2AD27E72FC72C446 Time : 4345.0 sec. user=Flatlander [2010-07-05 10:46:59] 495*2^839810-1 is not prime. Res64: D0E3B42656EE5400 Time : 4344.0 sec. user=vaughan [2010-07-05 10:47:19] 463*2^839819-1 is not prime. Res64: D5CFCF452F14EA3D Time : 1954.0 sec. user=vaughan [2010-07-05 10:48:58] 467*2^839822-1 is not prime. Res64: AF78F5B4DCC230FF Time : 1049.0 sec. user=vaughan [2010-07-05 10:49:41] 495*2^839822-1 is not prime. Res64: C34FCD7FD7149CB0 Time : 987.0 sec. user=vaughan [2010-07-05 10:54:04] 525*2^839822-1 is not prime. Res64: 5BF8B788B24E9A3D Time : 1022.0 sec. user=Flatlander [2010-07-05 10:54:28] 415*2^839811-1 is not prime. Res64: 92EBE30530E6BF3B Time : 4425.0 sec. user=Flatlander [2010-07-05 10:54:29] 465*2^839811-1 is not prime. Res64: 61A880D2E95D0416 Time : 4425.0 sec. user=Flatlander [2010-07-05 10:54:29] 529*2^839811-1 is not prime. Res64: CCCCEFAE2015D279 Time : 4424.0 sec. user=Flatlander [2010-07-05 10:54:30] 535*2^839811-1 is not prime. Res64: 5BBAA954E795A5DC Time : 4425.0 sec. user=Flatlander [2010-07-05 10:54:31] 585*2^839811-1 is not prime. Res64: 50CC2C2EC129E8DA Time : 4425.0 sec. user=vaughan [2010-07-05 10:55:46] 541*2^839821-1 is not prime. Res64: 0BE2DA57F261B397 Time : 1547.0 sec. user=vaughan [2010-07-05 10:55:58] 561*2^839822-1 is not prime. Res64: 5D744512CD2C6CD5 Time : 1047.0 sec. user=vaughan [2010-07-05 10:57:15] 465*2^839824-1 is not prime. Res64: 725F9BFFCC14DDB9 Time : 734.0 sec. user=vaughan [2010-07-05 10:58:06] 489*2^839821-1 is not prime. Res64: A159514EECD66FE0 Time : 1845.0 sec. user=vaughan [2010-07-05 11:00:13] 577*2^839817-1 is not prime. Res64: 6CF066EC3FEED6CC Time : 3166.0 sec. user=vaughan [2010-07-05 11:01:50] 537*2^839817-1 is not prime. Res64: 895E147937745DD0 Time : 3393.0 sec. user=vaughan [2010-07-05 11:05:47] 581*2^839818-1 is not prime. Res64: C3B318D24056B99C Time : 3391.0 sec. user=vaughan [2010-07-05 11:06:13] 453*2^839826-1 is not prime. Res64: 4BDB4D08D2759173 Time : 992.0 sec. user=vaughan [2010-07-05 11:06:35] 437*2^839826-1 is not prime. Res64: 095B8D57D3E2DC3A Time : 1057.0 sec. user=vaughan [2010-07-05 11:09:29] 499*2^839829-1 is not prime. Res64: 5E03A301D1548AD4 Time : 735.0 sec. user=vaughan [2010-07-05 11:11:03] 465*2^839826-1 is not prime. Res64: 31B8694826B3AFC5 Time : 1019.0 sec. user=vaughan [2010-07-05 11:13:08] 427*2^839829-1 is not prime. Res64: 9AACD264015A011E Time : 1030.0 sec. user=vaughan [2010-07-05 11:13:14] 565*2^839823-1 is not prime. Res64: 851C5F1A7BCCDF54 Time : 1752.0 sec. user=Flatlander [2010-07-05 11:15:42] 465*2^839814-1 is not prime. Res64: A89D298AF9366EF9 Time : 4415.0 sec. user=Flatlander [2010-07-05 11:15:42] 485*2^839814-1 is not prime. Res64: 91E523DB06CE00B9 Time : 4414.0 sec. user=Flatlander [2010-07-05 11:15:43] 527*2^839814-1 is not prime. Res64: 14B0844189EB0E9F Time : 4415.0 sec. user=Flatlander [2010-07-05 11:15:43] 573*2^839814-1 is not prime. Res64: 7943E45A5A6C2A50 Time : 4414.0 sec. user=Flatlander [2010-07-05 11:15:43] 511*2^839815-1 is not prime. Res64: 8C48F511F6B63453 Time : 4413.0 sec. user=Flatlander [2010-07-05 11:15:47] 449*2^839816-1 is not prime. Res64: E5DF2E69C9C432B6 Time : 4348.0 sec. user=Flatlander [2010-07-05 11:15:47] 483*2^839816-1 is not prime. Res64: 69689EFA526DF1F2 Time : 4347.0 sec. user=Flatlander [2010-07-05 11:15:48] 537*2^839816-1 is not prime. Res64: AC84B1812B806969 Time : 4347.0 sec. user=Flatlander [2010-07-05 11:15:48] 409*2^839817-1 is not prime. Res64: B44C1320060C3725 Time : 4346.0 sec. user=Flatlander [2010-07-05 11:15:49] 465*2^839817-1 is not prime. Res64: 28E13E04648FB3CC Time : 4347.0 sec. user=vaughan [2010-07-05 11:18:50] 529*2^839825-1 is not prime. Res64: A1EAE187BDB0209F Time : 1891.0 sec. user=vaughan [2010-07-05 11:19:26] 401*2^839830-1 is not prime. Res64: A927D45A02B80B3B Time : 1056.0 sec. user=vaughan [2010-07-05 11:21:19] 533*2^839828-1 is not prime. Res64: 67D6C7BB52DE28B1 Time : 1533.0 sec. user=vaughan [2010-07-05 11:21:42] 525*2^839830-1 is not prime. Res64: 2C829F799411A5E2 Time : 734.0 sec. user=vaughan [2010-07-05 11:22:39] 471*2^839830-1 is not prime. Res64: 1A4E8F6B873FB9EF Time : 986.0 sec. user=vaughan [2010-07-05 11:23:20] 447*2^839830-1 is not prime. Res64: 450B2E3DC6975F49 Time : 1053.0 sec. user=vaughan [2010-07-05 11:24:03] 483*2^839830-1 is not prime. Res64: 3AA7FF0BA794E496 Time : 1048.0 sec. user=vaughan [2010-07-05 11:27:55] 511*2^839829-1 is not prime. Res64: 68E5A09535A4C1AD Time : 1789.0 sec. user=vaughan [2010-07-05 11:28:03] 527*2^839830-1 is not prime. Res64: 22D981EB61989C2B Time : 1020.0 sec. user=vaughan [2010-07-05 11:30:28] 575*2^839830-1 is not prime. Res64: 2015D36DC9E3D3EB Time : 1040.0 sec. user=vaughan [2010-07-05 11:33:42] 573*2^839822-1 is not prime. Res64: 064D0A8C7CE82A81 Time : 3087.0 sec. user=vaughan [2010-07-05 11:33:55] 513*2^839838-1 is not prime. Res64: 2B2DB8207FDC338C Time : 733.0 sec. user=vaughan [2010-07-05 11:39:14] 525*2^839838-1 is not prime. Res64: BA817AB0A56F10EE Time : 995.0 sec. user=vaughan [2010-07-05 11:41:38] 463*2^839839-1 is not prime. Res64: 8D0807AD2924D77C Time : 1056.0 sec. user=vaughan [2010-07-05 11:42:53] 597*2^839830-1 is not prime. Res64: 5FC4B37629860819 Time : 1779.0 sec. user=vaughan [2010-07-05 11:45:23] 483*2^839839-1 is not prime. Res64: DB4F584D0195C3EB Time : 1040.0 sec. user=vaughan [2010-07-05 11:46:07] 437*2^839840-1 is not prime. Res64: D2822E754258353D Time : 733.0 sec. user=vaughan [2010-07-05 11:46:51] 473*2^839838-1 is not prime. Res64: E371683FE5EB8E3D Time : 1532.0 sec. user=vaughan [2010-07-05 11:47:44] 523*2^839839-1 is not prime. Res64: 191F633B77A2740B Time : 1036.0 sec. user=vaughan [2010-07-05 11:48:18] 453*2^839838-1 is not prime. Res64: 86CC3100B7133708 Time : 1732.0 sec. user=vaughan [2010-07-05 11:48:28] 423*2^839838-1 is not prime. Res64: 13198E28E669B398 Time : 1779.0 sec. user=vaughan [2010-07-05 11:52:56] 591*2^839838-1 is not prime. Res64: BE92D3DB01A3E01C Time : 1777.0 sec. user=vaughan [2010-07-05 11:54:24] 555*2^839829-1 is not prime. Res64: 4CD3EE3FEC983A25 Time : 3251.0 sec. user=vaughan [2010-07-05 11:55:38] 509*2^839840-1 is not prime. Res64: 092C9BC35A91333B Time : 985.0 sec. user=vaughan [2010-07-05 11:57:27] 465*2^839839-1 is not prime. Res64: 44EFB471DBF254D8 Time : 1772.0 sec. user=vaughan [2010-07-05 11:58:20] 555*2^839841-1 is not prime. Res64: F19BF6B3E04B23C7 Time : 733.0 sec. user=vaughan [2010-07-05 11:58:33] 441*2^839841-1 is not prime. Res64: A3F2DFCA8BC9128C Time : 1015.0 sec. user=Flatlander [2010-07-05 11:58:46] 489*2^839824-1 is not prime. Res64: 0D1BA9DE230D1203 Time : 4306.0 sec. user=Flatlander [2010-07-05 11:58:46] 509*2^839824-1 is not prime. Res64: 6388F7387913AE89 Time : 4305.0 sec. user=Flatlander [2010-07-05 11:58:47] 459*2^839825-1 is not prime. Res64: 835BFBF7A342CB1E Time : 4305.0 sec. user=Flatlander [2010-07-05 11:58:47] 481*2^839825-1 is not prime. Res64: 977E947BF67EA10D Time : 4304.0 sec. user=Flatlander [2010-07-05 11:58:48] 487*2^839825-1 is not prime. Res64: 92AD94761166A89A Time : 4304.0 sec. user=vaughan [2010-07-05 12:03:02] 549*2^839841-1 is not prime. Res64: 5E45DCDDACE12427 Time : 1060.0 sec. user=vaughan [2010-07-05 12:04:45] 401*2^839842-1 is not prime. Res64: A88033FF713CBAC7 Time : 1022.0 sec. user=vaughan [2010-07-05 12:05:54] 435*2^839842-1 is not prime. Res64: 465AA49389CB5FB8 Time : 1056.0 sec. user=Flatlander [2010-07-05 12:07:25] 515*2^839826-1 is not prime. Res64: 73D9A71F7D61BCB8 Time : 4373.0 sec. user=Flatlander [2010-07-05 12:07:25] 527*2^839826-1 is not prime. Res64: B08EE605369D3F6E Time : 4372.0 sec. user=Flatlander [2010-07-05 12:07:26] 563*2^839826-1 is not prime. Res64: 971EF4489817557A Time : 4372.0 sec. user=Flatlander [2010-07-05 12:07:26] 441*2^839827-1 is not prime. Res64: 30A3CE1EA1E2B320 Time : 4371.0 sec. user=Flatlander [2010-07-05 12:07:27] 405*2^839828-1 is not prime. Res64: 7502F2E08A182F16 Time : 4371.0 sec. user=vaughan [2010-07-05 12:10:33] 595*2^839843-1 is not prime. Res64: 481F830C12C77674 Time : 733.0 sec. user=vaughan [2010-07-05 12:11:01] 451*2^839843-1 is not prime. Res64: 203E6D6CDA2E3846 Time : 1085.0 sec. user=vaughan [2010-07-05 12:11:58] 529*2^839841-1 is not prime. Res64: 1D4EB56250FE6B79 Time : 1745.0 sec. user=vaughan [2010-07-05 12:12:03] 505*2^839843-1 is not prime. Res64: 8BFE533998EA1652 Time : 986.0 sec. user=vaughan [2010-07-05 12:12:21] 565*2^839841-1 is not prime. Res64: C3D23DEA2278F61A Time : 1530.0 sec. user=vaughan [2010-07-05 12:15:31] 459*2^839844-1 is not prime. Res64: 00724A0CA2324EED Time : 1018.0 sec. user=vaughan [2010-07-05 12:20:34] 551*2^839842-1 is not prime. Res64: 381B698E944232E1 Time : 1926.0 sec. user=vaughan [2010-07-05 12:21:02] 455*2^839846-1 is not prime. Res64: F3BF1884E29FE967 Time : 1081.0 sec. user=vaughan [2010-07-05 12:21:52] 501*2^839846-1 is not prime. Res64: D5A87CF4F9DA69A9 Time : 1028.0 sec. user=vaughan [2010-07-05 12:22:46] 465*2^839847-1 is not prime. Res64: 870247A90AED01E8 Time : 733.0 sec. user=vaughan [2010-07-05 12:23:30] 557*2^839846-1 is not prime. Res64: 1D64130BACE2952B Time : 1057.0 sec. user=vaughan [2010-07-05 12:25:30] 425*2^839840-1 is not prime. Res64: 1DDD19AE9CC33D2E Time : 3109.0 sec. user=vaughan [2010-07-05 12:26:13] 549*2^839843-1 is not prime. Res64: 8D5D709A4383E649 Time : 1726.0 sec. user=Flatlander [2010-07-05 12:27:00] 409*2^839831-1 is not prime. Res64: E0D4D9EF9E84096E Time : 4275.0 sec. user=Flatlander [2010-07-05 12:27:00] 423*2^839831-1 is not prime. Res64: 6D946A2923224954 Time : 4274.0 sec. user=Flatlander [2010-07-05 12:27:00] 439*2^839831-1 is not prime. Res64: D25762270B53F411 Time : 4273.0 sec. user=Flatlander [2010-07-05 12:27:01] 445*2^839831-1 is not prime. Res64: 4A596A6C0E9A4B85 Time : 4273.0 sec. user=Flatlander [2010-07-05 12:27:01] 419*2^839832-1 is not prime. Res64: 6F0B4571F7914660 Time : 4272.0 sec. user=vaughan [2010-07-05 12:28:33] 479*2^839848-1 is not prime. Res64: 5C91DE69537EEC81 Time : 990.0 sec. user=vaughan [2010-07-05 12:28:56] 483*2^839847-1 is not prime. Res64: F53A0AA66C1F436D Time : 1075.0 sec. user=Flatlander [2010-07-05 12:29:51] 539*2^839832-1 is not prime. Res64: 771A55701F3CBF0A Time : 4440.0 sec. user=Flatlander [2010-07-05 12:29:51] 519*2^839836-1 is not prime. Res64: F6BAAB0D4EA84A7E Time : 4440.0 sec. user=Flatlander [2010-07-05 12:29:51] 567*2^839836-1 is not prime. Res64: D44EA7FF8E46BE49 Time : 4439.0 sec. user=Flatlander [2010-07-05 12:29:51] 447*2^839837-1 is not prime. Res64: BEA47C1D0F326449 Time : 4438.0 sec. user=Flatlander [2010-07-05 12:29:51] 577*2^839837-1 is not prime. Res64: F7FCBA6D39A1BC60 Time : 4436.0 sec. user=vaughan [2010-07-05 12:32:34] 563*2^839848-1 is not prime. Res64: 1B94043181639D91 Time : 1023.0 sec. user=vaughan [2010-07-05 12:34:58] 411*2^839833-1 is not prime. Res64: 7EE3176A1914A02E Time : 733.0 sec. user=vaughan [2010-07-05 12:38:21] 489*2^839848-1 is not prime. Res64: D504936EB27A0DD5 Time : 1560.0 sec. user=vaughan [2010-07-05 12:38:50] 405*2^839833-1 is not prime. Res64: 27947A2B90B23EB5 Time : 1018.0 sec. user=vaughan [2010-07-05 12:39:07] 593*2^839832-1 is not prime. Res64: 1648C49A0FE3B432 Time : 1085.0 sec. user=vaughan [2010-07-05 12:41:46] 493*2^839847-1 is not prime. Res64: 068241E6EB1F519F Time : 1789.0 sec. user=vaughan [2010-07-05 12:46:35] 521*2^839834-1 is not prime. Res64: 930C5904D95D3848 Time : 1083.0 sec. user=vaughan [2010-07-05 12:46:45] 501*2^839843-1 is not prime. Res64: 51FA30589FFC36FF Time : 3142.0 sec. user=vaughan [2010-07-05 12:47:12] 517*2^839849-1 is not prime. Res64: 603A1CE29FB8417F Time : 734.0 sec. user=vaughan [2010-07-05 12:49:47] 487*2^839849-1 is not prime. Res64: EAD419D485B4BC83 Time : 1033.0 sec. user=vaughan [2010-07-05 12:53:30] 569*2^839848-1 is not prime. Res64: 962D3BE35EA17FBA Time : 1976.0 sec. user=vaughan [2010-07-05 12:56:11] 565*2^839849-1 is not prime. Res64: 0B09AEA1F36193EF Time : 1041.0 sec. user=vaughan [2010-07-05 12:56:30] 441*2^839833-1 is not prime. Res64: 4754501FAC6076BC Time : 1818.0 sec. user=vaughan [2010-07-05 12:56:38] 437*2^839850-1 is not prime. Res64: 683ED3075BF5188F Time : 1052.0 sec. user=vaughan [2010-07-05 12:59:27] 549*2^839851-1 is not prime. Res64: EB2DA4488D4880EF Time : 736.0 sec. user=vaughan [2010-07-05 13:03:03] 463*2^839851-1 is not prime. Res64: 7DAD56B11F3AB586 Time : 989.0 sec. user=vaughan [2010-07-05 13:04:22] 559*2^839849-1 is not prime. Res64: 129A0C49C127678F Time : 1561.0 sec. user=vaughan [2010-07-05 13:06:51] 545*2^839852-1 is not prime. Res64: A0B733A1B5E7D9F1 Time : 1024.0 sec. user=vaughan [2010-07-05 13:08:19] 429*2^839833-1 is not prime. Res64: 2C29D13EF6A0EF4E Time : 2689.0 sec. user=Flatlander [2010-07-05 13:10:51] 503*2^839844-1 is not prime. Res64: 09772DC80040EA06 Time : 4322.0 sec. user=Flatlander [2010-07-05 13:10:52] 513*2^839844-1 is not prime. Res64: FCA026E6BCE27A49 Time : 4322.0 sec. user=Flatlander [2010-07-05 13:10:52] 405*2^839845-1 is not prime. Res64: 9E5DA2C2564F2001 Time : 4321.0 sec. user=Flatlander [2010-07-05 13:10:52] 415*2^839845-1 is not prime. Res64: 57AEB354F942CF85 Time : 4320.0 sec. user=Flatlander [2010-07-05 13:10:52] 591*2^839845-1 is not prime. Res64: EBC0EFD4D2BC7F89 Time : 4319.0 sec. user=vaughan [2010-07-05 13:11:05] 521*2^839850-1 is not prime. Res64: 2ABD00BCB796B48B Time : 1759.0 sec. user=vaughan [2010-07-05 13:11:40] 495*2^839854-1 is not prime. Res64: A6B7FAFA1EA04CD4 Time : 733.0 sec. user=vaughan [2010-07-05 13:13:20] 597*2^839853-1 is not prime. Res64: EACFDB9A4438361C Time : 1030.0 sec. user=vaughan [2010-07-05 13:13:50] 545*2^839834-1 is not prime. Res64: ED0BFDD6AD6E65A2 Time : 2694.0 sec. user=vaughan [2010-07-05 13:14:36] 443*2^839854-1 is not prime. Res64: 9CBE7469A083635B Time : 1078.0 sec. user=vaughan [2010-07-05 13:15:33] 435*2^839833-1 is not prime. Res64: 93F8AAC1060EF754 Time : 3004.0 sec. user=Flatlander [2010-07-05 13:18:27] 573*2^839846-1 is not prime. Res64: BECDF9D71FCAD945 Time : 4259.0 sec. user=Flatlander [2010-07-05 13:18:27] 585*2^839846-1 is not prime. Res64: C4C1C7F94B247EE0 Time : 4258.0 sec. user=Flatlander [2010-07-05 13:18:27] 593*2^839846-1 is not prime. Res64: 8850B9D9045100F3 Time : 4257.0 sec. user=Flatlander [2010-07-05 13:18:28] 433*2^839847-1 is not prime. Res64: C8CEF0AE2439F7D2 Time : 4258.0 sec. user=Flatlander [2010-07-05 13:18:28] 441*2^839847-1 is not prime. Res64: 9129A7303AD14CC5 Time : 4257.0 sec. user=vaughan [2010-07-05 13:19:41] 533*2^839854-1 is not prime. Res64: D7B44F864D846BDD Time : 999.0 sec. user=vaughan [2010-07-05 13:23:53] 471*2^839857-1 is not prime. Res64: AF5CC8DF9A1D7787 Time : 733.0 sec. user=vaughan [2010-07-05 13:24:19] 453*2^839855-1 is not prime. Res64: 95C3F7AE15415753 Time : 1048.0 sec. user=vaughan [2010-07-05 13:24:28] 517*2^839853-1 is not prime. Res64: 04D6C3CE837C9725 Time : 1859.0 sec. user=vaughan [2010-07-05 13:25:51] 475*2^839855-1 is not prime. Res64: 7CFC106C439E6A20 Time : 1052.0 sec. user=vaughan [2010-07-05 13:26:12] 401*2^839854-1 is not prime. Res64: E8D3E4BB62CC84F0 Time : 1782.0 sec. user=vaughan [2010-07-05 13:30:07] 593*2^839854-1 is not prime. Res64: AC3EE810D991F80F Time : 1546.0 sec. user=vaughan [2010-07-05 13:30:43] 477*2^839857-1 is not prime. Res64: C107F569C039E74C Time : 1044.0 sec. user=vaughan [2010-07-05 13:31:41] 577*2^839857-1 is not prime. Res64: 60994C0391C78A2B Time : 1025.0 sec. user=vaughan [2010-07-05 13:36:05] 597*2^839860-1 is not prime. Res64: 75F0596DF04AAD6C Time : 984.0 sec. user=vaughan [2010-07-05 13:36:37] 459*2^839861-1 is not prime. Res64: 89A4D2AC449D7CA4 Time : 765.0 sec. user=vaughan [2010-07-05 13:38:55] 493*2^839851-1 is not prime. Res64: 2FAB36087F504296 Time : 3131.0 sec. user=Flatlander [2010-07-05 13:38:57] 561*2^839833-1 is not prime. Res64: 2EC624A09AF8C6B9 Time : 4316.0 sec. user=Flatlander [2010-07-05 13:38:57] 577*2^839833-1 is not prime. Res64: 16FA5B5466352856 Time : 4315.0 sec. user=Flatlander [2010-07-05 13:38:58] 407*2^839834-1 is not prime. Res64: 7E11D1EB8B2B3AB9 Time : 4316.0 sec. user=Flatlander [2010-07-05 13:38:58] 411*2^839834-1 is not prime. Res64: 11EA004EA34E793D Time : 4316.0 sec. user=Flatlander [2010-07-05 13:38:59] 431*2^839834-1 is not prime. Res64: D25BF13EE59E3A7D Time : 4316.0 sec. user=vaughan [2010-07-05 13:39:00] 549*2^839857-1 is not prime. Res64: A87891C9D4145C8C Time : 1511.0 sec. user=vaughan [2010-07-05 13:40:33] 435*2^839857-1 is not prime. Res64: EA9D8F315D47A486 Time : 1768.0 sec. user=vaughan [2010-07-05 13:41:53] 519*2^839861-1 is not prime. Res64: 40913CAE0B371450 Time : 1054.0 sec. user=Flatlander [2010-07-05 13:43:01] 405*2^839835-1 is not prime. Res64: D867754FEE89BE01 Time : 4389.0 sec. user=Flatlander [2010-07-05 13:43:02] 573*2^839835-1 is not prime. Res64: B97603F8B15AEB00 Time : 4390.0 sec. user=Flatlander [2010-07-05 13:43:02] 435*2^839836-1 is not prime. Res64: 8455CD9406E3B777 Time : 4389.0 sec. user=Flatlander [2010-07-05 13:43:03] 449*2^839836-1 is not prime. Res64: 14973B52D94676A8 Time : 4390.0 sec. user=Flatlander [2010-07-05 13:43:04] 435*2^839849-1 is not prime. Res64: 14594FAFA4E5132C Time : 4391.0 sec. user=vaughan [2010-07-05 13:48:09] 429*2^839863-1 is not prime. Res64: 822CE968B490D84A Time : 1047.0 sec. user=vaughan [2010-07-05 13:48:50] 493*2^839863-1 is not prime. Res64: ED96777750630441 Time : 734.0 sec. user=vaughan [2010-07-05 13:48:51] 453*2^839863-1 is not prime. Res64: 259190539B8273BF Time : 1030.0 sec. user=vaughan [2010-07-05 13:51:02] 455*2^839862-1 is not prime. Res64: 1E6ACE34FF42E9C5 Time : 1511.0 sec. user=vaughan [2010-07-05 13:52:22] 421*2^839863-1 is not prime. Res64: 79D7B02CDF482126 Time : 1336.0 sec. user=vaughan [2010-07-05 13:52:39] 483*2^839863-1 is not prime. Res64: 09940135316649A5 Time : 994.0 sec. user=vaughan [2010-07-05 13:54:20] 559*2^839861-1 is not prime. Res64: F6C21E0B2B136042 Time : 1792.0 sec. user=vaughan [2010-07-05 13:56:17] 507*2^839862-1 is not prime. Res64: F83F3D6893FC61F7 Time : 1805.0 sec. user=vaughan [2010-07-05 13:56:29] 479*2^839864-1 is not prime. Res64: 82CF33C99262634E Time : 1049.0 sec. user=vaughan [2010-07-05 13:59:07] 425*2^839866-1 is not prime. Res64: D93E6F21BE71EDDB Time : 1035.0 sec. user=vaughan [2010-07-05 14:01:05] 585*2^839867-1 is not prime. Res64: 00F12B4EB8BDD6D9 Time : 735.0 sec. user=vaughan [2010-07-05 14:05:12] 553*2^839867-1 is not prime. Res64: 72B5F888CE7A1371 Time : 1023.0 sec. user=vaughan [2010-07-05 14:06:32] 423*2^839868-1 is not prime. Res64: 578DDDC2F1D54603 Time : 1061.0 sec. user=vaughan [2010-07-05 14:07:44] 405*2^839858-1 is not prime. Res64: 1090CE4BF8489609 Time : 3131.0 sec. user=vaughan [2010-07-05 14:08:34] 503*2^839868-1 is not prime. Res64: DF026DDEB1F5BF70 Time : 1053.0 sec. user=vaughan [2010-07-05 14:09:04] 465*2^839869-1 is not prime. Res64: E8821FA138C3A242 Time : 986.0 sec. user=vaughan [2010-07-05 14:09:33] 591*2^839865-1 is not prime. Res64: 76F9FD0E32577AD8 Time : 1740.0 sec. user=vaughan [2010-07-05 14:12:33] 539*2^839868-1 is not prime. Res64: 5412264B4E88AF85 Time : 1212.0 sec. user=vaughan [2010-07-05 14:13:18] 525*2^839870-1 is not prime. Res64: B4B0ADD79D55C6E2 Time : 734.0 sec. user=vaughan [2010-07-05 14:13:59] 597*2^839869-1 is not prime. Res64: BD4FED240901DDA7 Time : 1050.0 sec. user=vaughan [2010-07-05 14:16:07] 467*2^839870-1 is not prime. Res64: AFCA1055732B4AA6 Time : 1020.0 sec. user=vaughan [2010-07-05 14:21:43] 517*2^839869-1 is not prime. Res64: 9F2C512CE4857ADD Time : 1643.0 sec. user=vaughan [2010-07-05 14:22:22] 563*2^839870-1 is not prime. Res64: 59B8B42CDC705879 Time : 1030.0 sec. user=vaughan [2010-07-05 14:24:32] 571*2^839871-1 is not prime. Res64: BD79E6AB96C9712D Time : 1081.0 sec. user=Flatlander [2010-07-05 14:25:30] 573*2^839855-1 is not prime. Res64: 37865B849B8B1F0C Time : 4477.0 sec. user=Flatlander [2010-07-05 14:25:31] 453*2^839856-1 is not prime. Res64: CA4F6A550FB91E5D Time : 4478.0 sec. user=vaughan [2010-07-05 14:25:32] 539*2^839872-1 is not prime. Res64: 45342C2FAD4D6595 Time : 989.0 sec. user=Flatlander [2010-07-05 14:25:32] 465*2^839856-1 is not prime. Res64: BDD3B80240AC1106 Time : 4479.0 sec. user=Flatlander [2010-07-05 14:25:33] 479*2^839856-1 is not prime. Res64: 13F4E82F95E47E00 Time : 4479.0 sec. user=Flatlander [2010-07-05 14:25:34] 587*2^839856-1 is not prime. Res64: 33FCE15D58863D56 Time : 4480.0 sec. user=vaughan [2010-07-05 14:25:43] 501*2^839873-1 is not prime. Res64: 6724A9AC0A4CF36A Time : 746.0 sec. user=vaughan [2010-07-05 14:26:06] 525*2^839872-1 is not prime. Res64: D0E9909AFB1673ED Time : 1052.0 sec. user=vaughan [2010-07-05 14:26:29] 525*2^839869-1 is not prime. Res64: 851B4BB69743E9FE Time : 1813.0 sec. user=vaughan [2010-07-05 14:31:29] 511*2^839873-1 is not prime. Res64: 175166CC48630908 Time : 1050.0 sec. user=Flatlander [2010-07-05 14:31:46] 431*2^839858-1 is not prime. Res64: AE539901CB5DA9F8 Time : 4398.0 sec. user=Flatlander [2010-07-05 14:31:47] 467*2^839858-1 is not prime. Res64: A346C7C1964B2282 Time : 4399.0 sec. user=Flatlander [2010-07-05 14:31:48] 511*2^839859-1 is not prime. Res64: 97A205CC146856DE Time : 4399.0 sec. user=Flatlander [2010-07-05 14:31:49] 513*2^839860-1 is not prime. Res64: F1755001DD17E535 Time : 4400.0 sec. user=Flatlander [2010-07-05 14:31:49] 519*2^839860-1 is not prime. Res64: 474C1333BF131804 Time : 4400.0 sec. user=vaughan [2010-07-05 14:32:53] 409*2^839873-1 is not prime. Res64: F821C3C0804EDA3F Time : 1220.0 sec. user=vaughan [2010-07-05 14:33:11] 525*2^839863-1 is not prime. Res64: F470B9C1CC667B58 Time : 3256.0 sec. user=vaughan [2010-07-05 14:33:25] 465*2^839874-1 is not prime. Res64: EFD0CBAF442745E8 Time : 1039.0 sec. user=vaughan [2010-07-05 14:37:57] 571*2^839877-1 is not prime. Res64: 382E0A97DE3166E6 Time : 734.0 sec. user=vaughan [2010-07-05 14:38:52] 593*2^839872-1 is not prime. Res64: 28BCEABE3B07F8BD Time : 1760.0 sec. user=vaughan [2010-07-05 14:39:38] 495*2^839874-1 is not prime. Res64: 2A24BB230EC5F1C5 Time : 1036.0 sec. user=vaughan [2010-07-05 14:41:47] 573*2^839874-1 is not prime. Res64: E54176FDED302875 Time : 1036.0 sec. user=vaughan [2010-07-05 14:42:04] 411*2^839875-1 is not prime. Res64: 17203858835AF21D Time : 993.0 sec. user=vaughan [2010-07-05 14:43:37] 443*2^839878-1 is not prime. Res64: 238BDE356EB054FE Time : 1052.0 sec. user=vaughan [2010-07-05 14:48:54] 485*2^839874-1 is not prime. Res64: F1DFE75A772231BF Time : 1631.0 sec. user=vaughan [2010-07-05 14:48:59] 575*2^839878-1 is not prime. Res64: FE86C4D0CAB76D23 Time : 1050.0 sec. user=vaughan [2010-07-05 14:50:11] 421*2^839881-1 is not prime. Res64: A47A433759574814 Time : 734.0 sec. user=vaughan [2010-07-05 14:50:50] 569*2^839880-1 is not prime. Res64: E60E72A4C8BFB0FD Time : 1045.0 sec. user=vaughan [2010-07-05 14:52:48] 447*2^839880-1 is not prime. Res64: 68BF131BA517FE00 Time : 1195.0 sec. user=Flatlander [2010-07-05 14:55:21] 483*2^839864-1 is not prime. Res64: 0BB286BE09BF7CBA Time : 4581.0 sec. user=Flatlander [2010-07-05 14:55:21] 539*2^839864-1 is not prime. Res64: E316ADEDDF7F0D7E Time : 4580.0 sec. user=Flatlander [2010-07-05 14:55:21] 459*2^839865-1 is not prime. Res64: 0F1C560E165965E2 Time : 4579.0 sec. user=Flatlander [2010-07-05 14:55:21] 529*2^839865-1 is not prime. Res64: DD450B6209B5A301 Time : 4578.0 sec. user=Flatlander [2010-07-05 14:55:21] 531*2^839865-1 is not prime. Res64: B552A4E9231297B2 Time : 4577.0 sec. user=vaughan [2010-07-05 14:55:44] 513*2^839878-1 is not prime. Res64: EF600C11736383E5 Time : 1755.0 sec. user=vaughan [2010-07-05 14:56:55] 535*2^839881-1 is not prime. Res64: 192F01E91CB35536 Time : 1037.0 sec. user=vaughan [2010-07-05 14:58:32] 577*2^839881-1 is not prime. Res64: 0EFC67A1F20BC81F Time : 988.0 sec. user=vaughan [2010-07-05 14:58:47] 541*2^839881-1 is not prime. Res64: 55BF6A803BF92595 Time : 1021.0 sec. user=vaughan [2010-07-05 14:59:13] 513*2^839872-1 is not prime. Res64: 6136DE12B4C31B58 Time : 3089.0 sec. user=Flatlander [2010-07-05 14:59:17] 491*2^839866-1 is not prime. Res64: 111011121E84C142 Time : 4572.0 sec. user=Flatlander [2010-07-05 14:59:18] 587*2^839866-1 is not prime. Res64: E70DF48995BD95D0 Time : 4572.0 sec. user=Flatlander [2010-07-05 14:59:18] 495*2^839867-1 is not prime. Res64: F325AACC20C3FADC Time : 4571.0 sec. user=Flatlander [2010-07-05 14:59:18] 529*2^839867-1 is not prime. Res64: 77237BA60444CE31 Time : 4571.0 sec. user=Flatlander [2010-07-05 14:59:18] 531*2^839867-1 is not prime. Res64: 8C61D707CADC568E Time : 4570.0 sec. user=vaughan [2010-07-05 15:01:09] 501*2^839882-1 is not prime. Res64: A4D6F325366880CC Time : 1052.0 sec. user=vaughan [2010-07-05 15:02:24] 587*2^839882-1 is not prime. Res64: E036FBFE8721291D Time : 734.0 sec. user=vaughan [2010-07-05 15:06:28] 563*2^839882-1 is not prime. Res64: 1349FFDC5CEB22AA Time : 1049.0 sec. user=vaughan [2010-07-05 15:08:28] 593*2^839882-1 is not prime. Res64: FAD3734CE3D040DB Time : 1058.0 sec. user=vaughan [2010-07-05 15:08:42] 499*2^839881-1 is not prime. Res64: ADC79BEC06F1DD00 Time : 1791.0 sec. user=vaughan [2010-07-05 15:12:46] 471*2^839883-1 is not prime. Res64: 2C28624A4B39CF33 Time : 1198.0 sec. user=vaughan [2010-07-05 15:14:03] 479*2^839884-1 is not prime. Res64: E30D53DDF23B4557 Time : 1028.0 sec. user=vaughan [2010-07-05 15:14:36] 589*2^839885-1 is not prime. Res64: FD86FCEB9414238E Time : 733.0 sec. user=vaughan [2010-07-05 15:14:57] 533*2^839884-1 is not prime. Res64: D8FB96B041FB8FE3 Time : 985.0 sec. user=vaughan [2010-07-05 15:15:39] 539*2^839884-1 is not prime. Res64: 5F4691B72568EBD3 Time : 1012.0 sec. user=vaughan [2010-07-05 15:15:50] 551*2^839882-1 is not prime. Res64: 491198C0E1757D96 Time : 1617.0 sec. user=vaughan [2010-07-05 15:18:44] 537*2^839885-1 is not prime. Res64: 3E99BBAAFF780F7D Time : 1056.0 sec. user=vaughan [2010-07-05 15:24:00] 591*2^839885-1 is not prime. Res64: 46F8821DB1F63102 Time : 1052.0 sec. user=vaughan [2010-07-05 15:25:09] 411*2^839886-1 is not prime. Res64: FCF4EE1BA123394A Time : 1001.0 sec. user=vaughan [2010-07-05 15:25:14] 455*2^839884-1 is not prime. Res64: 92B7DB29A70C0CB6 Time : 1770.0 sec. user=vaughan [2010-07-05 15:26:49] 573*2^839886-1 is not prime. Res64: 91E5EA19757D9ABC Time : 733.0 sec. user=vaughan [2010-07-05 15:27:14] 555*2^839880-1 is not prime. Res64: CB31468E7EC7A524 Time : 3244.0 sec. user=vaughan [2010-07-05 15:30:39] 537*2^839886-1 is not prime. Res64: B1CB6A1868CF6773 Time : 996.0 sec. user=vaughan [2010-07-05 15:31:05] 429*2^839887-1 is not prime. Res64: 69015EE8D6D1663C Time : 969.0 sec. user=vaughan [2010-07-05 15:32:16] 589*2^839887-1 is not prime. Res64: F2C848369D4A4AE9 Time : 997.0 sec. user=vaughan [2010-07-05 15:32:41] 525*2^839886-1 is not prime. Res64: F0E2FDAA2ED8D66B Time : 1195.0 sec. user=vaughan [2010-07-05 15:36:17] 413*2^839888-1 is not prime. Res64: 185CCF4D3CCAC373 Time : 1053.0 sec. user=vaughan [2010-07-05 15:38:16] 507*2^839886-1 is not prime. Res64: 97E8062D111B6208 Time : 1774.0 sec. user=Flatlander [2010-07-05 15:38:56] 455*2^839876-1 is not prime. Res64: AF10B19B590B6226 Time : 4401.0 sec. user=Flatlander [2010-07-05 15:38:56] 515*2^839876-1 is not prime. Res64: 703674E7384B6C11 Time : 4399.0 sec. user=Flatlander [2010-07-05 15:38:57] 557*2^839876-1 is not prime. Res64: 384D806687D436C6 Time : 4399.0 sec. user=Flatlander [2010-07-05 15:38:57] 427*2^839877-1 is not prime. Res64: 94CB699B317F7938 Time : 4397.0 sec. user=Flatlander [2010-07-05 15:38:58] 447*2^839877-1 is not prime. Res64: 8DBC3EB5019DC74C Time : 4396.0 sec. user=vaughan [2010-07-05 15:39:01] 429*2^839889-1 is not prime. Res64: 26B4A9CD817DB684 Time : 732.0 sec. user=vaughan [2010-07-05 15:41:30] 533*2^839888-1 is not prime. Res64: 44662B73B0C541E6 Time : 1050.0 sec. user=vaughan [2010-07-05 15:41:52] 573*2^839888-1 is not prime. Res64: 996E93E966B9BE1F Time : 1004.0 sec. user=vaughan [2010-07-05 15:42:42] 595*2^839887-1 is not prime. Res64: CF2849366ABA91AB Time : 1612.0 sec. user=Flatlander [2010-07-05 15:42:57] 433*2^839879-1 is not prime. Res64: 829442CAD0133A58 Time : 4266.0 sec. user=Flatlander [2010-07-05 15:42:58] 445*2^839879-1 is not prime. Res64: DF52F5A18141067E Time : 4266.0 sec. user=Flatlander [2010-07-05 15:42:58] 559*2^839879-1 is not prime. Res64: 5392DEDBF4B22C07 Time : 4266.0 sec. user=Flatlander [2010-07-05 15:42:59] 565*2^839879-1 is not prime. Res64: 0FA708AA563BF80A Time : 4266.0 sec. user=Flatlander [2010-07-05 15:43:00] 579*2^839879-1 is not prime. Res64: 78393313462EB430 Time : 4266.0 sec. user=vaughan [2010-07-05 15:47:14] 549*2^839889-1 is not prime. Res64: 9C0B511358DFADE4 Time : 969.0 sec. user=vaughan [2010-07-05 15:47:15] 501*2^839889-1 is not prime. Res64: 03EB763895BAA434 Time : 996.0 sec. user=vaughan [2010-07-05 15:48:53] 565*2^839889-1 is not prime. Res64: A6A2BEB550C6840C Time : 998.0 sec. user=vaughan [2010-07-05 15:51:13] 531*2^839891-1 is not prime. Res64: 6EC71BCFA60F981E Time : 733.0 sec. user=vaughan [2010-07-05 15:52:28] 513*2^839890-1 is not prime. Res64: 6298E297A02FD490 Time : 1187.0 sec. user=vaughan [2010-07-05 15:52:30] 563*2^839884-1 is not prime. Res64: D464C769DD67410C Time : 3197.0 sec. user=vaughan [2010-07-05 15:53:49] 575*2^839890-1 is not prime. Res64: CD5158417A3BD8D4 Time : 1052.0 sec. user=vaughan [2010-07-05 15:54:44] 585*2^839888-1 is not prime. Res64: 6A1FCA17DA5038CD Time : 1771.0 sec. user=vaughan [2010-07-05 15:58:33] 503*2^839892-1 is not prime. Res64: DDBFB95298B95F55 Time : 1001.0 sec. user=vaughan [2010-07-05 15:58:58] 489*2^839892-1 is not prime. Res64: B207C2EF3F8BA461 Time : 1049.0 sec. user=vaughan [2010-07-05 16:03:24] 477*2^839894-1 is not prime. Res64: 243DFD719E469093 Time : 970.0 sec. user=vaughan [2010-07-05 16:03:26] 593*2^839894-1 is not prime. Res64: 2E6EE273A9596635 Time : 733.0 sec. user=vaughan [2010-07-05 16:03:50] 501*2^839894-1 is not prime. Res64: C2BF3BE0D1B62380 Time : 995.0 sec. user=vaughan [2010-07-05 16:05:30] 551*2^839894-1 is not prime. Res64: 3C0C0150A8E85188 Time : 997.0 sec. user=Flatlander [2010-07-05 16:07:43] 489*2^839883-1 is not prime. Res64: 2EAECE806FC94D6E Time : 4341.0 sec. user=Flatlander [2010-07-05 16:07:44] 529*2^839883-1 is not prime. Res64: D0A41B3DDE06E7F9 Time : 4341.0 sec. user=Flatlander [2010-07-05 16:07:45] 565*2^839883-1 is not prime. Res64: 5F00C93162FCCF65 Time : 4342.0 sec. user=Flatlander [2010-07-05 16:07:45] 595*2^839883-1 is not prime. Res64: 299B09AEBF611360 Time : 4341.0 sec. user=Flatlander [2010-07-05 16:07:46] 453*2^839884-1 is not prime. Res64: 4FACEA4F19B02070 Time : 4341.0 sec. user=vaughan [2010-07-05 16:08:26] 581*2^839890-1 is not prime. Res64: D2DE0FF25BBD4483 Time : 1810.0 sec. user=vaughan [2010-07-05 16:09:29] 537*2^839892-1 is not prime. Res64: 4C2E55E327122F33 Time : 1608.0 sec. user=vaughan [2010-07-05 16:11:20] 501*2^839895-1 is not prime. Res64: F56F26D92C70E8BB Time : 1051.0 sec. user=Flatlander [2010-07-05 16:12:05] 405*2^839885-1 is not prime. Res64: 06DF452F091AFF27 Time : 4366.0 sec. user=Flatlander [2010-07-05 16:12:06] 465*2^839885-1 is not prime. Res64: 6C0D558333445AA9 Time : 4366.0 sec. user=Flatlander [2010-07-05 16:12:06] 507*2^839885-1 is not prime. Res64: CBC79001D17C511C Time : 4365.0 sec. user=Flatlander [2010-07-05 16:12:07] 517*2^839885-1 is not prime. Res64: 51FF775BF9A6E3C9 Time : 4365.0 sec. user=Flatlander [2010-07-05 16:12:07] 525*2^839885-1 is not prime. Res64: FEB3A473E3EE48B9 Time : 4364.0 sec. user=vaughan [2010-07-05 16:12:14] 451*2^839895-1 is not prime. Res64: 62F5FB0F981064AB Time : 1187.0 sec. user=vaughan [2010-07-05 16:15:09] 535*2^839895-1 is not prime. Res64: 029E1F3ECCCC1813 Time : 996.0 sec. user=vaughan [2010-07-05 16:15:40] 453*2^839896-1 is not prime. Res64: 5D2F6AADB5481EA0 Time : 734.0 sec. user=vaughan [2010-07-05 16:16:27] 405*2^839896-1 is not prime. Res64: E16CB7E4AC7D8ADA Time : 1049.0 sec. user=vaughan [2010-07-05 16:19:30] 447*2^839896-1 is not prime. Res64: CCFAFDFD4CBC4442 Time : 967.0 sec. user=vaughan [2010-07-05 16:20:20] 483*2^839896-1 is not prime. Res64: 39910653F7D406D2 Time : 991.0 sec. user=vaughan [2010-07-05 16:20:48] 481*2^839889-1 is not prime. Res64: 20655674B2559F53 Time : 3215.0 sec. user=vaughan [2010-07-05 16:22:03] 469*2^839897-1 is not prime. Res64: CE70B1B0CE81F841 Time : 993.0 sec. user=vaughan [2010-07-05 16:24:12] 513*2^839895-1 is not prime. Res64: 3FEFDDFB47966EF9 Time : 1768.0 sec. user=vaughan [2010-07-05 16:27:52] 579*2^839901-1 is not prime. Res64: 676BA6CE0257872F Time : 733.0 sec. user=vaughan [2010-07-05 16:28:52] 441*2^839899-1 is not prime. Res64: ACD56FD1DB58A0CD Time : 1052.0 sec. user=vaughan [2010-07-05 16:31:40] 465*2^839901-1 is not prime. Res64: 9F6A6DC8326FDD28 Time : 991.0 sec. user=vaughan [2010-07-05 16:32:09] 445*2^839901-1 is not prime. Res64: B483128C7CE1F92D Time : 1195.0 sec. user=vaughan [2010-07-05 16:33:55] 467*2^839902-1 is not prime. Res64: 53916B67298DD58C Time : 1049.0 sec. user=vaughan [2010-07-05 16:35:34] 471*2^839902-1 is not prime. Res64: 865054393AAC4DB8 Time : 965.0 sec. user=vaughan [2010-07-05 16:36:21] 415*2^839899-1 is not prime. Res64: 9AC59C6A2C340A73 Time : 1612.0 sec. user=vaughan [2010-07-05 16:36:48] 525*2^839902-1 is not prime. Res64: 6EDC596BC44B9E5E Time : 988.0 sec. user=vaughan [2010-07-05 16:37:41] 563*2^839898-1 is not prime. Res64: 3301A1DDF95DE252 Time : 1756.0 sec. user=vaughan [2010-07-05 16:38:36] 423*2^839903-1 is not prime. Res64: 2D99DF8BD9166DD1 Time : 993.0 sec. user=vaughan [2010-07-05 16:40:05] 523*2^839903-1 is not prime. Res64: 4120C9C32BC966BE Time : 733.0 sec. user=vaughan [2010-07-05 16:45:16] 453*2^839895-1 is not prime. Res64: E84C166961D91124 Time : 3166.0 sec. user=vaughan [2010-07-05 16:46:25] 595*2^839903-1 is not prime. Res64: 492EB47B59B7BDF3 Time : 1054.0 sec. user=vaughan [2010-07-05 16:48:10] 489*2^839904-1 is not prime. Res64: F2C3123686EB1520 Time : 991.0 sec. user=vaughan [2010-07-05 16:51:21] 411*2^839905-1 is not prime. Res64: C3727EB8C3EC7883 Time : 1046.0 sec. user=vaughan [2010-07-05 16:51:39] 441*2^839905-1 is not prime. Res64: 7F1800290AB10F27 Time : 965.0 sec. user=vaughan [2010-07-05 16:52:09] 549*2^839904-1 is not prime. Res64: 3E8DC89E0CFF886A Time : 1200.0 sec. user=vaughan [2010-07-05 16:52:18] 563*2^839906-1 is not prime. Res64: FC611A55B7FF20DE Time : 733.0 sec. user=vaughan [2010-07-05 16:53:16] 555*2^839905-1 is not prime. Res64: 1D606DE0A1752DA0 Time : 988.0 sec. user=Flatlander [2010-07-05 16:54:31] 587*2^839890-1 is not prime. Res64: 7EC526F79C2D5148 Time : 4532.0 sec. user=Flatlander [2010-07-05 16:54:32] 459*2^839891-1 is not prime. Res64: 9D0B58F461FBE7D9 Time : 4532.0 sec. user=Flatlander [2010-07-05 16:54:33] 413*2^839892-1 is not prime. Res64: 16C2D21DC30A10AB Time : 4532.0 sec. user=Flatlander [2010-07-05 16:54:34] 419*2^839892-1 is not prime. Res64: EDD211FD10742E5A Time : 4531.0 sec. user=Flatlander [2010-07-05 16:54:35] 423*2^839892-1 is not prime. Res64: 7ADA770F74A47224 Time : 4531.0 sec. user=vaughan [2010-07-05 16:54:45] 465*2^839903-1 is not prime. Res64: F3FA2390CCE85A01 Time : 1833.0 sec. user=vaughan [2010-07-05 16:55:09] 501*2^839906-1 is not prime. Res64: 3F1890601F78A6AF Time : 993.0 sec. user=Flatlander [2010-07-05 16:58:27] 593*2^839892-1 is not prime. Res64: 274FCE1C349E136A Time : 4527.0 sec. user=Flatlander [2010-07-05 16:58:28] 429*2^839893-1 is not prime. Res64: 20FE9CFD3C6439EA Time : 4527.0 sec. user=Flatlander [2010-07-05 16:58:28] 451*2^839893-1 is not prime. Res64: 116DF08EA7E1C9E1 Time : 4526.0 sec. user=Flatlander [2010-07-05 16:58:28] 499*2^839893-1 is not prime. Res64: 3A8EEEE915ADE692 Time : 4525.0 sec. user=Flatlander [2010-07-05 16:58:29] 591*2^839893-1 is not prime. Res64: 690292C848DE08B9 Time : 4525.0 sec. user=vaughan [2010-07-05 17:03:39] 469*2^839905-1 is not prime. Res64: C2A3967D16A58BC6 Time : 1638.0 sec. user=vaughan [2010-07-05 17:03:58] 581*2^839906-1 is not prime. Res64: 600AEF79EFE3698F Time : 1053.0 sec. user=vaughan [2010-07-05 17:04:30] 507*2^839908-1 is not prime. Res64: DD92891E2CBDFC11 Time : 733.0 sec. user=vaughan [2010-07-05 17:04:48] 573*2^839907-1 is not prime. Res64: 9C549F4CA051809E Time : 998.0 sec. user=vaughan [2010-07-05 17:05:43] 437*2^839906-1 is not prime. Res64: 01D1591BCFB18E9B Time : 1682.0 sec. user=vaughan [2010-07-05 17:08:02] 495*2^839908-1 is not prime. Res64: EA0CE7ECEADCADE9 Time : 983.0 sec. user=vaughan [2010-07-05 17:08:49] 595*2^839907-1 is not prime. Res64: 506DB22030F9079B Time : 1048.0 sec. user=vaughan [2010-07-05 17:10:05] 417*2^839909-1 is not prime. Res64: 10F3FAF565945FFD Time : 1010.0 sec. user=vaughan [2010-07-05 17:11:57] 441*2^839911-1 is not prime. Res64: B4A957A5550A5A42 Time : 1009.0 sec. user=vaughan [2010-07-05 17:12:52] 497*2^839908-1 is not prime. Res64: 074CC5AEA5EA2BE6 Time : 1243.0 sec. user=vaughan [2010-07-05 17:14:48] 561*2^839902-1 is not prime. Res64: B279F24E192D46D5 Time : 3241.0 sec. user=vaughan [2010-07-05 17:16:43] 413*2^839914-1 is not prime. Res64: 0BAAC277C553B9BB Time : 733.0 sec. user=vaughan [2010-07-05 17:21:30] 599*2^839912-1 is not prime. Res64: C11DC63CB7ECD4AE Time : 1053.0 sec. user=vaughan [2010-07-05 17:21:31] 521*2^839914-1 is not prime. Res64: DF77E700F1B1896E Time : 1003.0 sec. user=Flatlander [2010-07-05 17:22:48] 489*2^839897-1 is not prime. Res64: E3929648AC1427AB Time : 4501.0 sec. user=Flatlander [2010-07-05 17:22:49] 501*2^839897-1 is not prime. Res64: C6A6B29EF34EE2BA Time : 4500.0 sec. user=Flatlander [2010-07-05 17:22:50] 453*2^839898-1 is not prime. Res64: 0E3CAB1A6B5DB6AE Time : 4500.0 sec. user=Flatlander [2010-07-05 17:22:51] 485*2^839898-1 is not prime. Res64: 4E25BAD1E8A5603D Time : 4500.0 sec. user=Flatlander [2010-07-05 17:22:51] 503*2^839898-1 is not prime. Res64: 5F50CB9C6F7DD138 Time : 4498.0 sec. user=vaughan [2010-07-05 17:24:20] 543*2^839915-1 is not prime. Res64: 132AAADE31B7AF44 Time : 978.0 sec. user=vaughan [2010-07-05 17:25:18] 421*2^839911-1 is not prime. Res64: DBC1D2DDF8D4FE9E Time : 1833.0 sec. user=vaughan [2010-07-05 17:26:16] 579*2^839915-1 is not prime. Res64: B40F163FF086AAE9 Time : 1047.0 sec. user=Flatlander [2010-07-05 17:26:20] 451*2^839899-1 is not prime. Res64: 017C957E7BB1B8F9 Time : 4452.0 sec. user=Flatlander [2010-07-05 17:26:21] 463*2^839899-1 is not prime. Res64: 999B96259A8AA48A Time : 4451.0 sec. user=Flatlander [2010-07-05 17:26:22] 553*2^839899-1 is not prime. Res64: F44CA1E61A679F2E Time : 4451.0 sec. user=Flatlander [2010-07-05 17:26:23] 579*2^839899-1 is not prime. Res64: B06441C983CB31AA Time : 4451.0 sec. user=Flatlander [2010-07-05 17:26:23] 465*2^839900-1 is not prime. Res64: 66C1B881A8DAC3EB Time : 4450.0 sec. user=vaughan [2010-07-05 17:26:44] 425*2^839916-1 is not prime. Res64: 92B96F44ACE23A51 Time : 999.0 sec. user=vaughan [2010-07-05 17:28:33] 483*2^839916-1 is not prime. Res64: 77DA62F693812078 Time : 997.0 sec. user=vaughan [2010-07-05 17:28:55] 441*2^839917-1 is not prime. Res64: 4639444C73B33291 Time : 732.0 sec. user=vaughan [2010-07-05 17:30:40] 563*2^839912-1 is not prime. Res64: 42907EA5EC395A56 Time : 1621.0 sec. user=vaughan [2010-07-05 17:32:41] 513*2^839916-1 is not prime. Res64: 3063CCD856C2A282 Time : 1189.0 sec. user=vaughan [2010-07-05 17:34:41] 567*2^839914-1 is not prime. Res64: A3D7BA649A36F630 Time : 1738.0 sec. user=vaughan [2010-07-05 17:36:06] 567*2^839906-1 is not prime. Res64: 6E6BBC44C9C193E0 Time : 3050.0 sec. user=vaughan [2010-07-05 17:38:07] 469*2^839917-1 is not prime. Res64: D0E4508B717AB023 Time : 996.0 sec. user=vaughan [2010-07-05 17:39:06] 465*2^839917-1 is not prime. Res64: 8A559B3CF3198C7B Time : 1056.0 sec. user=vaughan [2010-07-05 17:40:30] 429*2^839920-1 is not prime. Res64: 8B7DAC0BED0823D7 Time : 970.0 sec. user=vaughan [2010-07-05 17:41:08] 513*2^839922-1 is not prime. Res64: 282595A514236B67 Time : 733.0 sec. user=vaughan [2010-07-05 17:43:13] 497*2^839922-1 is not prime. Res64: 960EA378C6801E72 Time : 990.0 sec. user=vaughan [2010-07-05 17:43:41] 569*2^839920-1 is not prime. Res64: 63E212CC048E97AD Time : 1045.0 sec. user=vaughan [2010-07-05 17:45:06] 507*2^839922-1 is not prime. Res64: 051AC748DD62097D Time : 994.0 sec. user=vaughan [2010-07-05 17:52:36] 411*2^839923-1 is not prime. Res64: 9228D30809040DE8 Time : 1195.0 sec. user=vaughan [2010-07-05 17:53:22] 447*2^839925-1 is not prime. Res64: 44CD3A8269CD5CD9 Time : 734.0 sec. user=vaughan [2010-07-05 17:54:47] 503*2^839924-1 is not prime. Res64: 433F60EE3E7DDEDD Time : 1001.0 sec. user=vaughan [2010-07-05 17:55:51] 489*2^839920-1 is not prime. Res64: 578DA721C1ED57F7 Time : 1833.0 sec. user=vaughan [2010-07-05 17:56:49] 429*2^839925-1 is not prime. Res64: 0E80B2D0F2AFD9A6 Time : 979.0 sec. user=vaughan [2010-07-05 17:57:01] 593*2^839924-1 is not prime. Res64: 552EF6D44F8747A5 Time : 1076.0 sec. user=vaughan [2010-07-05 17:57:30] 587*2^839922-1 is not prime. Res64: 96B7C208895D71F4 Time : 1610.0 sec. user=vaughan [2010-07-05 17:59:56] 459*2^839925-1 is not prime. Res64: 617D8B45AC67CEE3 Time : 1003.0 sec. user=vaughan [2010-07-05 18:01:19] 507*2^839925-1 is not prime. Res64: E881A39D2B8E2904 Time : 1058.0 sec. user=vaughan [2010-07-05 18:02:07] 511*2^839925-1 is not prime. Res64: 5AE678B1EB257B65 Time : 1021.0 sec. user=vaughan [2010-07-05 18:03:40] 519*2^839923-1 is not prime. Res64: 7145F2007BB212C3 Time : 1739.0 sec. user=vaughan [2010-07-05 18:05:36] 443*2^839926-1 is not prime. Res64: 363BC70057A2D63E Time : 735.0 sec. user=vaughan [2010-07-05 18:09:10] 587*2^839916-1 is not prime. Res64: 758195F0140CDCD1 Time : 3262.0 sec. user=vaughan [2010-07-05 18:11:28] 527*2^839926-1 is not prime. Res64: D0A0312256463A0E Time : 1001.0 sec. user=vaughan [2010-07-05 18:12:25] 555*2^839925-1 is not prime. Res64: 91EB3B669209F3E5 Time : 1189.0 sec. user=vaughan [2010-07-05 18:13:03] 421*2^839927-1 is not prime. Res64: E6B4DF8023DC9475 Time : 975.0 sec. user=vaughan [2010-07-05 18:14:37] 475*2^839927-1 is not prime. Res64: 31931A1B2DD0D60F Time : 1056.0 sec. user=vaughan [2010-07-05 18:16:38] 585*2^839927-1 is not prime. Res64: 7F72454EDF06E520 Time : 1002.0 sec. user=vaughan [2010-07-05 18:17:49] 597*2^839928-1 is not prime. Res64: A50539B1AB730655 Time : 734.0 sec. user=vaughan [2010-07-05 18:18:43] 419*2^839928-1 is not prime. Res64: 2D9DDBF89FE8D3E9 Time : 1044.0 sec. user=vaughan [2010-07-05 18:19:11] 453*2^839928-1 is not prime. Res64: 561E417A81AB925C Time : 1025.0 sec. user=vaughan [2010-07-05 18:24:36] 559*2^839927-1 is not prime. Res64: CE67D56C40077A22 Time : 1626.0 sec. user=vaughan [2010-07-05 18:25:42] 561*2^839926-1 is not prime. Res64: 9E727B97B2CDBF4C Time : 1791.0 sec. user=vaughan [2010-07-05 18:28:06] 477*2^839930-1 is not prime. Res64: 52596C156CD456BE Time : 999.0 sec. user=vaughan [2010-07-05 18:28:54] 523*2^839923-1 is not prime. Res64: 8CFDE9338F01F74C Time : 3168.0 sec. user=vaughan [2010-07-05 18:29:20] 529*2^839931-1 is not prime. Res64: 8ACA8FD3420910DB Time : 977.0 sec. user=vaughan [2010-07-05 18:30:01] 453*2^839932-1 is not prime. Res64: 25AB23521E24FA19 Time : 732.0 sec. user=vaughan [2010-07-05 18:32:34] 581*2^839930-1 is not prime. Res64: A67D1AD207461D6A Time : 1209.0 sec. user=vaughan [2010-07-05 18:32:52] 459*2^839928-1 is not prime. Res64: E4E0A25C73C22B08 Time : 1752.0 sec. user=vaughan [2010-07-05 18:33:17] 591*2^839931-1 is not prime. Res64: 735559CEAA7A16B6 Time : 1000.0 sec. user=Flatlander [2010-07-05 18:35:31] 439*2^839909-1 is not prime. Res64: 172386FE46EC6D1E Time : 6055.0 sec. user=Flatlander [2010-07-05 18:35:31] 441*2^839909-1 is not prime. Res64: 1A676171F0898BE8 Time : 6053.0 sec. user=Flatlander [2010-07-05 18:35:31] 577*2^839909-1 is not prime. Res64: 1C4334E4892E2A4D Time : 6052.0 sec. user=Flatlander [2010-07-05 18:35:32] 567*2^839910-1 is not prime. Res64: 4DEC19B06FF31115 Time : 6051.0 sec. user=Flatlander [2010-07-05 18:35:33] 585*2^839910-1 is not prime. Res64: 6B1D31DD74DAB2C8 Time : 6051.0 sec. user=vaughan [2010-07-05 18:36:12] 567*2^839932-1 is not prime. Res64: BAB88D22364F0E37 Time : 1022.0 sec. user=Flatlander [2010-07-05 18:39:20] 499*2^839911-1 is not prime. Res64: A05E8976CA2E1FE2 Time : 6050.0 sec. user=Flatlander [2010-07-05 18:39:21] 447*2^839912-1 is not prime. Res64: B82EBC5AB0BDBD9B Time : 6050.0 sec. user=Flatlander [2010-07-05 18:39:21] 483*2^839912-1 is not prime. Res64: D37F0C742251F8BE Time : 6049.0 sec. user=Flatlander [2010-07-05 18:39:22] 519*2^839912-1 is not prime. Res64: 0870A9E3AE9066B2 Time : 6049.0 sec. user=Flatlander [2010-07-05 18:39:23] 525*2^839912-1 is not prime. Res64: D4916EDF88F82432 Time : 6048.0 sec. user=vaughan [2010-07-05 18:40:08] 571*2^839931-1 is not prime. Res64: 42822B7A94552AEC Time : 1532.0 sec. user=vaughan [2010-07-05 18:42:14] 465*2^839935-1 is not prime. Res64: BE5BA9DFBAA52FF4 Time : 733.0 sec. user=vaughan [2010-07-05 18:44:37] 521*2^839934-1 is not prime. Res64: 7F496ECF13334E70 Time : 992.0 sec. user=vaughan [2010-07-05 18:45:36] 451*2^839935-1 is not prime. Res64: C06D47A539899587 Time : 976.0 sec. user=vaughan [2010-07-05 18:49:06] 513*2^839932-1 is not prime. Res64: AF21C9E0FEF24FC4 Time : 1823.0 sec. user=vaughan [2010-07-05 18:49:51] 435*2^839936-1 is not prime. Res64: 34F71A951D6AC0BE Time : 994.0 sec. user=vaughan [2010-07-05 18:53:13] 527*2^839938-1 is not prime. Res64: B2754D247104DDC9 Time : 1021.0 sec. user=vaughan [2010-07-05 18:53:23] 489*2^839935-1 is not prime. Res64: A09A87B53B4A2BD7 Time : 1249.0 sec. user=vaughan [2010-07-05 18:54:36] 585*2^839940-1 is not prime. Res64: 0C8534DFB9E5DE1C Time : 742.0 sec. user=vaughan [2010-07-05 18:54:57] 517*2^839933-1 is not prime. Res64: E29F3D4E2A4EDD78 Time : 1822.0 sec. user=vaughan [2010-07-05 18:56:03] 411*2^839934-1 is not prime. Res64: 118264CBCB35735C Time : 1821.0 sec. user=vaughan [2010-07-05 18:59:26] 555*2^839929-1 is not prime. Res64: DF8B1C8307F56100 Time : 3016.0 sec. user=vaughan [2010-07-05 18:59:45] 407*2^839936-1 is not prime. Res64: 3A6ACF8630920C12 Time : 1613.0 sec. user=vaughan [2010-07-05 19:01:11] 415*2^839941-1 is not prime. Res64: 15D21B1454BA66C3 Time : 994.0 sec. user=vaughan [2010-07-05 19:01:55] 421*2^839941-1 is not prime. Res64: 2EE1A7EDCF8046A4 Time : 979.0 sec. user=vaughan [2010-07-05 19:02:36] 555*2^839940-1 is not prime. Res64: 1CE071F9DC0FC57A Time : 1349.0 sec. user=vaughan [2010-07-05 19:06:29] 499*2^839941-1 is not prime. Res64: 26EF48B216DEE300 Time : 999.0 sec. user=vaughan [2010-07-05 19:06:39] 469*2^839941-1 is not prime. Res64: 82EAA27F3CC02F7E Time : 1053.0 sec. user=vaughan [2010-07-05 19:07:05] 525*2^839941-1 is not prime. Res64: F75595B802C07D9B Time : 749.0 sec. user=vaughan [2010-07-05 19:09:59] 505*2^839941-1 is not prime. Res64: 5DAE8CEA4590192D Time : 1007.0 sec. user=vaughan [2010-07-05 19:13:55] 507*2^839941-1 is not prime. Res64: B9658A03D10E710F Time : 1233.0 sec. user=vaughan [2010-07-05 19:15:28] 563*2^839934-1 is not prime. Res64: FC34F465CEE63E6D Time : 2795.0 sec. user=vaughan [2010-07-05 19:17:45] 585*2^839942-1 is not prime. Res64: 4EA0BB29C96DFBD8 Time : 994.0 sec. user=vaughan [2010-07-05 19:18:04] 433*2^839943-1 is not prime. Res64: FD700A5717C7B011 Time : 969.0 sec. user=vaughan [2010-07-05 19:19:52] 583*2^839943-1 is not prime. Res64: 142D4A455A5AC33E Time : 767.0 sec. user=vaughan [2010-07-05 19:20:11] 445*2^839943-1 is not prime. Res64: 5EA083CCD5FB2671 Time : 1056.0 sec. user=vaughan [2010-07-05 19:23:02] 483*2^839943-1 is not prime. Res64: 6BF1862ADEE7D046 Time : 993.0 sec. user=vaughan [2010-07-05 19:24:12] 565*2^839943-1 is not prime. Res64: CA3F15254E1F6490 Time : 1053.0 sec. user=vaughan [2010-07-05 19:24:21] 501*2^839942-1 is not prime. Res64: B287595DE12102B8 Time : 1698.0 sec. user=vaughan [2010-07-05 19:26:40] 413*2^839944-1 is not prime. Res64: 6DCD21C919716392 Time : 1001.0 sec. user=vaughan [2010-07-05 19:27:49] 561*2^839942-1 is not prime. Res64: AEA08BF0A9212E85 Time : 1684.0 sec. user=vaughan [2010-07-05 19:30:44] 405*2^839942-1 is not prime. Res64: 6912105876D5EF4F Time : 2147.0 sec. user=vaughan [2010-07-05 19:32:11] 549*2^839944-1 is not prime. Res64: 17B1A65D09E22BDA Time : 739.0 sec. user=vaughan [2010-07-05 19:34:13] 525*2^839944-1 is not prime. Res64: 23D8802C7F7D7A05 Time : 969.0 sec. user=vaughan [2010-07-05 19:34:18] 519*2^839944-1 is not prime. Res64: 24B05EB5E73555E4 Time : 994.0 sec. user=vaughan [2010-07-05 19:34:49] 489*2^839944-1 is not prime. Res64: 2989D7B025346D0D Time : 1255.0 sec. user=vaughan [2010-07-05 19:37:48] 567*2^839944-1 is not prime. Res64: 429458D0D227E735 Time : 1057.0 sec. user=vaughan [2010-07-05 19:39:36] 575*2^839944-1 is not prime. Res64: EDDD80A6FBE30442 Time : 994.0 sec. user=vaughan [2010-07-05 19:42:01] 597*2^839944-1 is not prime. Res64: A81C655E994EC4EE Time : 1070.0 sec. user=vaughan [2010-07-05 19:43:23] 547*2^839945-1 is not prime. Res64: 79209FFD64BC58D7 Time : 1003.0 sec. user=vaughan [2010-07-05 19:44:26] 443*2^839946-1 is not prime. Res64: FDC75006A641BD4A Time : 736.0 sec. user=vaughan [2010-07-05 19:47:53] 503*2^839942-1 is not prime. Res64: 7D7C4C4C514E109C Time : 2908.0 sec. user=vaughan [2010-07-05 19:50:21] 567*2^839946-1 is not prime. Res64: A879F0DDA3A29309 Time : 969.0 sec. user=vaughan [2010-07-05 19:50:50] 451*2^839947-1 is not prime. Res64: EC3E18F0DD8DDD68 Time : 993.0 sec. user=vaughan [2010-07-05 19:55:14] 555*2^839947-1 is not prime. Res64: FCD6C2D02C68A660 Time : 1225.0 sec. user=vaughan [2010-07-05 19:55:22] 425*2^839948-1 is not prime. Res64: 79D5B2761584AB28 Time : 1054.0 sec. user=vaughan [2010-07-05 19:56:07] 479*2^839948-1 is not prime. Res64: E891853D0D7833B5 Time : 991.0 sec. user=vaughan [2010-07-05 19:56:39] 545*2^839948-1 is not prime. Res64: D0AADF02DA2CF4C4 Time : 734.0 sec. user=vaughan [2010-07-05 19:57:27] 465*2^839945-1 is not prime. Res64: 0E30C3ECBD689A45 Time : 1986.0 sec. user=vaughan [2010-07-05 19:59:45] 519*2^839948-1 is not prime. Res64: 80633C2CA191D790 Time : 1064.0 sec. user=vaughan [2010-07-05 20:00:02] 525*2^839948-1 is not prime. Res64: F29ACA1AD9168EB6 Time : 1000.0 sec. user=vaughan [2010-07-05 20:01:44] 507*2^839944-1 is not prime. Res64: E2DAFFF409E6C040 Time : 2777.0 sec. user=vaughan [2010-07-05 20:02:21] 579*2^839945-1 is not prime. Res64: 3F156C5A208056C8 Time : 2072.0 sec. user=vaughan [2010-07-05 20:03:12] 417*2^839946-1 is not prime. Res64: C6232485E7AE59D8 Time : 1948.0 sec. user=Flatlander [2010-07-05 20:04:36] 463*2^839939-1 is not prime. Res64: 186EAB99B82591AF Time : 5111.0 sec. user=Flatlander [2010-07-05 20:04:37] 489*2^839939-1 is not prime. Res64: 06EC5DA60DC351DD Time : 5110.0 sec. user=Flatlander [2010-07-05 20:04:38] 543*2^839939-1 is not prime. Res64: 25B40F4E02670B7B Time : 5110.0 sec. user=Flatlander [2010-07-05 20:04:38] 437*2^839940-1 is not prime. Res64: 86A759D810F53778 Time : 5109.0 sec. user=Flatlander [2010-07-05 20:04:39] 525*2^839940-1 is not prime. Res64: 9CD01B9FAB7BBAA9 Time : 5108.0 sec. user=vaughan [2010-07-05 20:06:27] 417*2^839949-1 is not prime. Res64: 6F593C9808551120 Time : 966.0 sec. user=vaughan [2010-07-05 20:07:15] 427*2^839949-1 is not prime. Res64: DC75C1F9BBD56839 Time : 985.0 sec. user=vaughan [2010-07-05 20:08:53] 561*2^839950-1 is not prime. Res64: 99D1E205166667C9 Time : 734.0 sec. user=Flatlander [2010-07-05 20:12:30] 479*2^839936-1 is not prime. Res64: E517C1581E83F349 Time : 5816.0 sec. user=Flatlander [2010-07-05 20:12:31] 409*2^839937-1 is not prime. Res64: 492C6AB2451BE758 Time : 5817.0 sec. user=Flatlander [2010-07-05 20:12:32] 469*2^839937-1 is not prime. Res64: CEDAD56332F22034 Time : 5817.0 sec. user=Flatlander [2010-07-05 20:12:33] 507*2^839937-1 is not prime. Res64: 1C845BDE74160577 Time : 5818.0 sec. user=Flatlander [2010-07-05 20:12:33] 471*2^839938-1 is not prime. Res64: 4427981D3299D853 Time : 5817.0 sec. user=vaughan [2010-07-05 20:12:34] 453*2^839950-1 is not prime. Res64: 30077F5D9E9803BE Time : 987.0 sec. user=vaughan [2010-07-05 20:12:56] 425*2^839950-1 is not prime. Res64: C09B69A3807E7CB8 Time : 1054.0 sec. user=vaughan [2010-07-05 20:15:30] 447*2^839949-1 is not prime. Res64: DFA19255C5C4A57B Time : 1216.0 sec. user=vaughan [2010-07-05 20:16:38] 563*2^839952-1 is not prime. Res64: 1FEB14710123CBBD Time : 996.0 sec. user=vaughan [2010-07-05 20:17:15] 503*2^839952-1 is not prime. Res64: B4B805C75D0B3939 Time : 1050.0 sec. user=vaughan [2010-07-05 20:21:06] 595*2^839955-1 is not prime. Res64: 6F7947F8E5F321BE Time : 733.0 sec. user=vaughan [2010-07-05 20:22:33] 535*2^839955-1 is not prime. Res64: 93EFA5FDCCBA7A7B Time : 966.0 sec. user=vaughan [2010-07-05 20:23:41] 573*2^839955-1 is not prime. Res64: 48116B5BC20F050D Time : 986.0 sec. user=vaughan [2010-07-05 20:28:59] 437*2^839956-1 is not prime. Res64: 1BAC6AA16DE402EA Time : 986.0 sec. user=vaughan [2010-07-05 20:30:28] 511*2^839957-1 is not prime. Res64: 3993240E0F928350 Time : 1052.0 sec. user=vaughan [2010-07-05 20:33:14] 465*2^839959-1 is not prime. Res64: DD577BB70B544F14 Time : 996.0 sec. user=vaughan [2010-07-05 20:33:21] 523*2^839959-1 is not prime. Res64: 189024FE4AC5369F Time : 736.0 sec. user=vaughan [2010-07-05 20:33:46] 413*2^839952-1 is not prime. Res64: 06DD934DFD94268A Time : 2179.0 sec. user=vaughan [2010-07-05 20:35:54] 599*2^839948-1 is not prime. Res64: FD4B9C43EFE6295C Time : 2881.0 sec. user=vaughan [2010-07-05 20:36:08] 563*2^839958-1 is not prime. Res64: DB249F5D0DB2102A Time : 1238.0 sec. user=vaughan [2010-07-05 20:36:10] 439*2^839953-1 is not prime. Res64: 4FD604888FF3B811 Time : 1978.0 sec. user=vaughan [2010-07-05 20:38:17] 435*2^839953-1 is not prime. Res64: D01D9C001022CBBE Time : 2156.0 sec. user=vaughan [2010-07-05 20:38:39] 549*2^839959-1 is not prime. Res64: 2A74F0DD908B0EE6 Time : 966.0 sec. user=vaughan [2010-07-05 20:40:06] 553*2^839959-1 is not prime. Res64: D3AA6F400A19CFEC Time : 985.0 sec. user=vaughan [2010-07-05 20:45:26] 573*2^839959-1 is not prime. Res64: 526F38426AE22B28 Time : 988.0 sec. user=vaughan [2010-07-05 20:45:36] 425*2^839960-1 is not prime. Res64: F52FDB3A02828C0F Time : 735.0 sec. user=vaughan [2010-07-05 20:46:56] 587*2^839952-1 is not prime. Res64: 9310CA7C60537497 Time : 2713.0 sec. user=vaughan [2010-07-05 20:49:52] 405*2^839960-1 is not prime. Res64: 28BF18E9B80E5884 Time : 998.0 sec. user=vaughan [2010-07-05 20:54:16] 469*2^839959-1 is not prime. Res64: 859C48494495F30C Time : 2221.0 sec. user=vaughan [2010-07-05 20:54:45] 471*2^839961-1 is not prime. Res64: 46E1188FDDA25C50 Time : 967.0 sec. user=vaughan [2010-07-05 20:56:31] 537*2^839961-1 is not prime. Res64: CB97EA879A23B01D Time : 985.0 sec. user=vaughan [2010-07-05 20:57:03] 537*2^839960-1 is not prime. Res64: 2C7F45A0A0871518 Time : 1256.0 sec. user=vaughan [2010-07-05 20:57:51] 591*2^839961-1 is not prime. Res64: B7A0A4AC2F01C3A9 Time : 735.0 sec. user=vaughan [2010-07-05 21:01:52] 549*2^839961-1 is not prime. Res64: 5066B5469F5A2843 Time : 987.0 sec. user=Flatlander [2010-07-05 21:06:06] 467*2^839918-1 is not prime. Res64: EB07CEF8F6C747F6 Time : 13393.0 sec. user=Flatlander [2010-07-05 21:06:07] 585*2^839918-1 is not prime. Res64: 7F7DD8A4A14B23A3 Time : 13392.0 sec. user=Flatlander [2010-07-05 21:06:08] 403*2^839919-1 is not prime. Res64: 64801767D0DC21B2 Time : 13392.0 sec. user=Flatlander [2010-07-05 21:06:08] 445*2^839919-1 is not prime. Res64: 01F69E0A2FDFB9F4 Time : 13390.0 sec. user=Flatlander [2010-07-05 21:06:09] 579*2^839919-1 is not prime. Res64: 2E0F322093DDE471 Time : 13389.0 sec. user=vaughan [2010-07-05 21:06:29] 401*2^839962-1 is not prime. Res64: EFBED916E7C9556D Time : 998.0 sec. user=vaughan [2010-07-05 21:07:27] 595*2^839959-1 is not prime. Res64: 07C38E3EBEEAFBBB Time : 2219.0 sec. user=vaughan [2010-07-05 21:09:58] 465*2^839960-1 is not prime. Res64: 8D78574BA83C5278 Time : 2172.0 sec. user=vaughan [2010-07-05 21:10:06] 453*2^839964-1 is not prime. Res64: 381CAD6BFA954F98 Time : 735.0 sec. user=vaughan [2010-07-05 21:10:50] 567*2^839962-1 is not prime. Res64: 41A22DE84331A2A2 Time : 966.0 sec. user=vaughan [2010-07-05 21:11:02] 539*2^839960-1 is not prime. Res64: CFBE99269E63C340 Time : 2093.0 sec. user=vaughan [2010-07-05 21:11:45] 525*2^839962-1 is not prime. Res64: BFA6B5DBE51CC04D Time : 1049.0 sec. user=vaughan [2010-07-05 21:12:57] 553*2^839963-1 is not prime. Res64: E70B833288C7FE84 Time : 986.0 sec. user=vaughan [2010-07-05 21:14:35] 415*2^839961-1 is not prime. Res64: 1FFC2E0CCBCFCEDA Time : 2178.0 sec. user=Flatlander [2010-07-05 21:15:55] 411*2^839921-1 is not prime. Res64: 3EC404E9FF0B29A0 Time : 13770.0 sec. user=Flatlander [2010-07-05 21:15:56] 475*2^839921-1 is not prime. Res64: 28B890DEB70639C4 Time : 13769.0 sec. user=Flatlander [2010-07-05 21:15:56] 477*2^839921-1 is not prime. Res64: 0465A05B6E322D1D Time : 13768.0 sec. user=Flatlander [2010-07-05 21:15:57] 591*2^839921-1 is not prime. Res64: 078210B73EA6E4D4 Time : 13767.0 sec. user=Flatlander [2010-07-05 21:15:58] 401*2^839922-1 is not prime. Res64: EFB8B29099E4347F Time : 13766.0 sec. user=vaughan [2010-07-05 21:17:16] 595*2^839963-1 is not prime. Res64: 0D2326CA9D5C64CC Time : 1213.0 sec. user=vaughan [2010-07-05 21:18:19] 489*2^839964-1 is not prime. Res64: E3D19C97F472B353 Time : 987.0 sec. user=vaughan [2010-07-05 21:22:21] 585*2^839966-1 is not prime. Res64: EB8CA8F5BB10EBC9 Time : 736.0 sec. user=vaughan [2010-07-05 21:23:11] 567*2^839965-1 is not prime. Res64: 695B098C2D6F9C87 Time : 1002.0 sec. user=vaughan [2010-07-05 21:24:59] 455*2^839966-1 is not prime. Res64: 5AF17F0622126A3B Time : 1053.0 sec. user=vaughan [2010-07-05 21:25:48] 467*2^839960-1 is not prime. Res64: 1BC3AD71D9C972DC Time : 2995.0 sec. user=vaughan [2010-07-05 21:27:04] 587*2^839966-1 is not prime. Res64: 82FAF6B54C481279 Time : 974.0 sec. user=vaughan [2010-07-05 21:29:16] 423*2^839967-1 is not prime. Res64: 7BB35E54DCCA3E4C Time : 1051.0 sec. user=vaughan [2010-07-05 21:29:35] 475*2^839967-1 is not prime. Res64: 5FB57017B458E7E0 Time : 999.0 sec. user=vaughan [2010-07-05 21:32:45] 597*2^839961-1 is not prime. Res64: 47135B8F6BB02D4A Time : 2749.0 sec. user=vaughan [2010-07-05 21:34:35] 525*2^839968-1 is not prime. Res64: 611855A96FFFF6BA Time : 735.0 sec. user=vaughan [2010-07-05 21:35:07] 483*2^839968-1 is not prime. Res64: E788BDF6C5AC563A Time : 1008.0 sec. user=vaughan [2010-07-05 21:37:57] 467*2^839968-1 is not prime. Res64: 77857E1CB5A3B964 Time : 1241.0 sec. user=vaughan [2010-07-05 21:40:08] 569*2^839968-1 is not prime. Res64: E0DA476C539D307E Time : 1017.0 sec. user=vaughan [2010-07-05 21:43:27] 511*2^839969-1 is not prime. Res64: 61741D52EA6AC13C Time : 983.0 sec. user=vaughan [2010-07-05 21:46:38] 521*2^839966-1 is not prime. Res64: 1984661D9C1E4CB9 Time : 2201.0 sec. user=vaughan [2010-07-05 21:46:49] 525*2^839970-1 is not prime. Res64: D4527969B2350D27 Time : 734.0 sec. user=vaughan [2010-07-05 21:46:54] 501*2^839970-1 is not prime. Res64: 3D3E11914ACE6694 Time : 1039.0 sec. user=vaughan [2010-07-05 21:47:04] 591*2^839966-1 is not prime. Res64: B3EA597C7F0D15CC Time : 2162.0 sec. user=vaughan [2010-07-05 21:50:27] 531*2^839967-1 is not prime. Res64: B636396941CFB43C Time : 2152.0 sec. user=vaughan [2010-07-05 21:52:38] 537*2^839970-1 is not prime. Res64: 593E30E749658819 Time : 1051.0 sec. user=vaughan [2010-07-05 21:55:34] 411*2^839969-1 is not prime. Res64: BDE2CDA80A2A2407 Time : 1835.0 sec. user=vaughan [2010-07-05 21:57:11] 519*2^839971-1 is not prime. Res64: BC6EF3305A3CFE9C Time : 1023.0 sec. user=vaughan [2010-07-05 21:59:00] 421*2^839971-1 is not prime. Res64: 67D539D37ABAD631 Time : 1263.0 sec. user=vaughan [2010-07-05 21:59:07] 515*2^839972-1 is not prime. Res64: 6D3C8539D311051E Time : 738.0 sec. user=vaughan [2010-07-05 21:59:50] 595*2^839971-1 is not prime. Res64: 836395D1C7199B7B Time : 983.0 sec. user=vaughan [2010-07-05 22:04:29] 405*2^839973-1 is not prime. Res64: 0CE820CFEB4F2DE4 Time : 1055.0 sec. user=vaughan [2010-07-05 22:10:12] 455*2^839974-1 is not prime. Res64: 69C2E397694EB002 Time : 1054.0 sec. user=vaughan [2010-07-05 22:11:24] 525*2^839975-1 is not prime. Res64: 0E9AE0F5761BD8BB Time : 738.0 sec. user=vaughan [2010-07-05 22:14:18] 445*2^839975-1 is not prime. Res64: A3785458AFCF3423 Time : 1028.0 sec. user=vaughan [2010-07-05 22:15:33] 489*2^839972-1 is not prime. Res64: F66D1E01B9D280D3 Time : 1735.0 sec. user=vaughan [2010-07-05 22:16:11] 507*2^839969-1 is not prime. Res64: B03ED69D3679D82A Time : 3023.0 sec. user=vaughan [2010-07-05 22:16:16] 531*2^839975-1 is not prime. Res64: 62600A77CD2E26BB Time : 986.0 sec. user=vaughan [2010-07-05 22:16:38] 521*2^839970-1 is not prime. Res64: 2B708AF54EC1A2F5 Time : 2633.0 sec. user=vaughan [2010-07-05 22:18:50] 585*2^839973-1 is not prime. Res64: 31BF31FCE650147B Time : 1703.0 sec. user=vaughan [2010-07-05 22:19:33] 465*2^839975-1 is not prime. Res64: 91C20CD7A8D1A9FD Time : 1233.0 sec. user=vaughan [2010-07-05 22:21:55] 405*2^839976-1 is not prime. Res64: 15D58F6EA89091E5 Time : 1047.0 sec. user=vaughan [2010-07-05 22:22:59] 559*2^839973-1 is not prime. Res64: 8325BF7F287F1DAB Time : 2156.0 sec. user=vaughan [2010-07-05 22:23:40] 441*2^839977-1 is not prime. Res64: 89AAE7DA088DA890 Time : 736.0 sec. user=vaughan [2010-07-05 22:27:35] 425*2^839976-1 is not prime. Res64: 6416499A3C41C390 Time : 1043.0 sec. user=vaughan [2010-07-05 22:31:22] 549*2^839977-1 is not prime. Res64: 8181F392D3C0512B Time : 1024.0 sec. user=vaughan [2010-07-05 22:32:35] 447*2^839978-1 is not prime. Res64: CB6D6CDE704D09E2 Time : 979.0 sec. user=vaughan [2010-07-05 22:35:58] 555*2^839979-1 is not prime. Res64: 6FBFF983BCE17813 Time : 738.0 sec. user=vaughan [2010-07-05 22:39:06] 415*2^839979-1 is not prime. Res64: 6DADA33881C676AE Time : 1032.0 sec. user=vaughan [2010-07-05 22:39:49] 533*2^839978-1 is not prime. Res64: 79966EA7315B5A8F Time : 1216.0 sec. user=Flatlander [2010-07-05 22:41:12] 525*2^839964-1 is not prime. Res64: 6DC6F395525262B2 Time : 5701.0 sec. user=Flatlander [2010-07-05 22:41:13] 457*2^839965-1 is not prime. Res64: F6035264A7CA7214 Time : 5701.0 sec. user=Flatlander [2010-07-05 22:41:14] 465*2^839965-1 is not prime. Res64: BF993251AF48B942 Time : 5700.0 sec. user=Flatlander [2010-07-05 22:41:14] 525*2^839965-1 is not prime. Res64: BA423D6DD2E8F593 Time : 5698.0 sec. user=Flatlander [2010-07-05 22:41:15] 565*2^839965-1 is not prime. Res64: 6E41842B090D6A03 Time : 5698.0 sec. user=vaughan [2010-07-05 22:43:16] 595*2^839977-1 is not prime. Res64: 2D0D06052F5B7805 Time : 1663.0 sec. user=Flatlander [2010-07-05 22:44:21] 553*2^839967-1 is not prime. Res64: DAFA3D380FD6F5F2 Time : 5301.0 sec. user=Flatlander [2010-07-05 22:44:21] 565*2^839967-1 is not prime. Res64: 007D2C51C6B5E482 Time : 5300.0 sec. user=Flatlander [2010-07-05 22:44:22] 573*2^839967-1 is not prime. Res64: E176AD2C4CC7701B Time : 5299.0 sec. user=Flatlander [2010-07-05 22:44:23] 429*2^839968-1 is not prime. Res64: 8C41075A773C7184 Time : 5299.0 sec. user=Flatlander [2010-07-05 22:44:24] 449*2^839968-1 is not prime. Res64: 26B1CEB205F6176A Time : 5298.0 sec. user=vaughan [2010-07-05 22:44:55] 565*2^839979-1 is not prime. Res64: 8CCC61AC8E5D2B52 Time : 1040.0 sec. user=vaughan [2010-07-05 22:45:46] 525*2^839978-1 is not prime. Res64: 425D4191026337C0 Time : 1617.0 sec. user=vaughan [2010-07-05 22:48:15] 495*2^839980-1 is not prime. Res64: 68FE382C9F2597CF Time : 738.0 sec. user=vaughan [2010-07-05 22:48:28] 573*2^839979-1 is not prime. Res64: CCF7186FBA154625 Time : 1026.0 sec. user=vaughan [2010-07-05 22:48:57] 423*2^839980-1 is not prime. Res64: 00E47707E7A0A0CC Time : 982.0 sec. user=vaughan [2010-07-05 22:54:18] 523*2^839979-1 is not prime. Res64: 67DA68F230A89BE7 Time : 1879.0 sec. user=vaughan [2010-07-05 22:54:50] 423*2^839970-1 is not prime. Res64: 43B233D836177A52 Time : 5134.0 sec. user=vaughan [2010-07-05 22:56:33] 519*2^839980-1 is not prime. Res64: B45A463056E072A1 Time : 1047.0 sec. user=vaughan [2010-07-05 23:00:30] 423*2^839983-1 is not prime. Res64: 1C6E103D319A2F97 Time : 736.0 sec. user=vaughan [2010-07-05 23:00:42] 563*2^839980-1 is not prime. Res64: C70BEF3FD4C993F9 Time : 1254.0 sec. user=vaughan [2010-07-05 23:02:26] 567*2^839982-1 is not prime. Res64: 70119D38934304C6 Time : 1051.0 sec. user=vaughan [2010-07-05 23:03:13] 497*2^839978-1 is not prime. Res64: 2E253454C47D584C Time : 2795.0 sec. user=vaughan [2010-07-05 23:03:34] 431*2^839978-1 is not prime. Res64: A5C121FC9AE39C68 Time : 2844.0 sec. user=vaughan [2010-07-05 23:05:29] 519*2^839983-1 is not prime. Res64: 3F741491BC3BE7B5 Time : 992.0 sec. user=vaughan [2010-07-05 23:06:04] 511*2^839983-1 is not prime. Res64: E9EE632674969D95 Time : 1056.0 sec. user=vaughan [2010-07-05 23:09:50] 437*2^839982-1 is not prime. Res64: 7E9C209DE964FB0E Time : 1594.0 sec. user=vaughan [2010-07-05 23:11:13] 411*2^839975-1 is not prime. Res64: 233F3FC7758520AF Time : 4539.0 sec. user=vaughan [2010-07-05 23:12:46] 535*2^839985-1 is not prime. Res64: 4187D4EE7EBE11E0 Time : 736.0 sec. user=vaughan [2010-07-05 23:13:27] 531*2^839985-1 is not prime. Res64: B46B746038EC9E2D Time : 1014.0 sec. user=vaughan [2010-07-05 23:13:36] 421*2^839983-1 is not prime. Res64: 0713140A99A9632A Time : 1671.0 sec. user=vaughan [2010-07-05 23:19:21] 471*2^839986-1 is not prime. Res64: 67768355BF1B6160 Time : 1015.0 sec. user=vaughan [2010-07-05 23:20:56] 461*2^839986-1 is not prime. Res64: DC8DB45189573C28 Time : 1214.0 sec. user=vaughan [2010-07-05 23:21:53] 463*2^839987-1 is not prime. Res64: 9C154C9BC0964C06 Time : 984.0 sec. user=vaughan [2010-07-05 23:24:22] 475*2^839987-1 is not prime. Res64: F632A76A0E83572E Time : 1099.0 sec. user=vaughan [2010-07-05 23:24:42] 585*2^839984-1 is not prime. Res64: 563E291DDF31A8EB Time : 1825.0 sec. user=vaughan [2010-07-05 23:25:01] 589*2^839987-1 is not prime. Res64: 2DEE8E37C11EBCF8 Time : 735.0 sec. user=vaughan [2010-07-05 23:27:04] 495*2^839985-1 is not prime. Res64: C042DD5282ABEAD0 Time : 1934.0 sec. user=vaughan [2010-07-05 23:30:04] 525*2^839988-1 is not prime. Res64: 0EC763C301C856EE Time : 998.0 sec. user=vaughan [2010-07-05 23:36:22] 567*2^839988-1 is not prime. Res64: 6D68CEA92A28FC3C Time : 1021.0 sec. user=vaughan [2010-07-05 23:36:54] 505*2^839987-1 is not prime. Res64: 24CD791A9EF390AE Time : 1624.0 sec. user=vaughan [2010-07-05 23:37:14] 561*2^839990-1 is not prime. Res64: A7065409F537EC04 Time : 734.0 sec. user=vaughan [2010-07-05 23:38:19] 471*2^839989-1 is not prime. Res64: E6233AB044132E4A Time : 986.0 sec. user=vaughan [2010-07-05 23:39:59] 531*2^839987-1 is not prime. Res64: 7987FE40DF7D4EE2 Time : 1726.0 sec. user=vaughan [2010-07-05 23:41:11] 555*2^839988-1 is not prime. Res64: 15ED438F8FBCD91D Time : 1655.0 sec. user=vaughan [2010-07-05 23:42:17] 441*2^839989-1 is not prime. Res64: FEF1AB6FC109128E Time : 1282.0 sec. user=vaughan [2010-07-05 23:42:39] 565*2^839989-1 is not prime. Res64: 07848EB4BD0CEA3C Time : 1098.0 sec. user=Flatlander [2010-07-05 23:45:16] 483*2^839956-1 is not prime. Res64: 1A0FBC355C914564 Time : 12761.0 sec. user=Flatlander [2010-07-05 23:45:17] 579*2^839956-1 is not prime. Res64: 3EEEF792588EDE0D Time : 12760.0 sec. user=Flatlander [2010-07-05 23:45:18] 417*2^839957-1 is not prime. Res64: 0027BB8422C01E98 Time : 12760.0 sec. user=Flatlander [2010-07-05 23:45:19] 435*2^839957-1 is not prime. Res64: 8B62A0308B5D9593 Time : 12759.0 sec. user=Flatlander [2010-07-05 23:45:19] 477*2^839957-1 is not prime. Res64: 1F59017216C52B0C Time : 12758.0 sec. user=vaughan [2010-07-05 23:46:49] 585*2^839991-1 is not prime. Res64: 6341F160AB722A9E Time : 1006.0 sec. user=vaughan [2010-07-05 23:49:28] 437*2^839992-1 is not prime. Res64: 65A800AC473293C9 Time : 734.0 sec. user=vaughan [2010-07-05 23:50:21] 581*2^839986-1 is not prime. Res64: C73E8334B42EF506 Time : 2807.0 sec. user=vaughan [2010-07-05 23:51:57] 531*2^839986-1 is not prime. Res64: 7A3C0B8E5F3B9E2A Time : 2924.0 sec. user=vaughan [2010-07-05 23:53:10] 413*2^839992-1 is not prime. Res64: EFD6AF0FDED1E585 Time : 1009.0 sec. user=vaughan [2010-07-05 23:54:31] 479*2^839992-1 is not prime. Res64: CABE6B679D8B7DD2 Time : 972.0 sec. user=Flatlander [2010-07-05 23:55:29] 471*2^839953-1 is not prime. Res64: 8BAED355960B7C81 Time : 13848.0 sec. user=Flatlander [2010-07-05 23:55:30] 453*2^839954-1 is not prime. Res64: C0A7F0AA24C43240 Time : 13848.0 sec. user=Flatlander [2010-07-05 23:55:31] 545*2^839954-1 is not prime. Res64: 8504CB08879BA0C5 Time : 13847.0 sec. user=Flatlander [2010-07-05 23:55:32] 561*2^839954-1 is not prime. Res64: 74E8A9DA897C9680 Time : 13847.0 sec. user=Flatlander [2010-07-05 23:55:33] 513*2^839955-1 is not prime. Res64: 90595C94BCD0B752 Time : 13846.0 sec. user=vaughan [2010-07-05 23:59:24] 533*2^839992-1 is not prime. Res64: 946D52CDC22731C1 Time : 1006.0 sec. user=vaughan [2010-07-05 23:59:52] 433*2^839991-1 is not prime. Res64: B04C09415EBA2BB9 Time : 1968.0 sec.