user=vaughan [2009-02-25 00:00:39] 775*2^622553-1 is not prime. Res64: 268B6782365B6D83 Time : 344.0 sec. user=vaughan [2009-02-25 00:06:23] 621*2^622554-1 is not prime. Res64: EE4E047FDFAA5A8B Time : 344.0 sec. user=tnerual [2009-02-25 00:10:52] 705*2^622553-1 is not prime. Res64: 90B22653DF224621 Time : 1492.0 sec. user=vaughan [2009-02-25 00:12:07] 723*2^622554-1 is not prime. Res64: 99934AACA69CDE2F Time : 344.0 sec. user=vaughan [2009-02-25 00:17:48] 665*2^621462-1 is not prime. Res64: 5224B3429BF77123 Time : 341.0 sec. user=vaughan [2009-02-25 00:23:30] 731*2^621462-1 is not prime. Res64: A1E579D3060DCDBC Time : 342.0 sec. user=vaughan [2009-02-25 00:29:12] 619*2^622555-1 is not prime. Res64: 54FD6E5A4FCAC12D Time : 343.0 sec. user=vaughan [2009-02-25 00:34:57] 693*2^622555-1 is not prime. Res64: F00DE3D966B4F7A5 Time : 345.0 sec. user=tnerual [2009-02-25 00:36:22] 741*2^622554-1 is not prime. Res64: F42031FDD5A24605 Time : 1530.0 sec. user=vaughan [2009-02-25 00:40:39] 759*2^622555-1 is not prime. Res64: 370062E1AB327D1D Time : 343.0 sec. user=vaughan [2009-02-25 00:46:24] 647*2^622556-1 is not prime. Res64: DECD5F4F72ADDBDD Time : 345.0 sec. user=vaughan [2009-02-25 00:52:04] 669*2^622556-1 is not prime. Res64: 7FB242414EB0E9A3 Time : 340.0 sec. user=vaughan [2009-02-25 00:57:43] 749*2^622556-1 is not prime. Res64: 3313105589FF1245 Time : 339.0 sec. user=tnerual [2009-02-25 01:00:39] 615*2^622556-1 is not prime. Res64: 91289D1C3FF5F97A Time : 1457.0 sec. user=vaughan [2009-02-25 01:03:24] 625*2^622557-1 is not prime. Res64: 18FDAE04771C4E4E Time : 341.0 sec. user=vaughan [2009-02-25 01:09:07] 663*2^622558-1 is not prime. Res64: D8201938D8E468DE Time : 344.0 sec. user=vaughan [2009-02-25 01:14:49] 671*2^622558-1 is not prime. Res64: F33BBB0D19F9020F Time : 342.0 sec. user=vaughan [2009-02-25 01:20:30] 707*2^622558-1 is not prime. Res64: 232008192F8DBEA8 Time : 341.0 sec. user=vaughan [2009-02-25 01:26:13] 713*2^622558-1 is not prime. Res64: 8A48FCD89B81092A Time : 343.0 sec. user=tnerual [2009-02-25 01:29:41] 699*2^622557-1 is not prime. Res64: 5193014BC4C69C80 Time : 1744.0 sec. user=vaughan [2009-02-25 01:31:57] 755*2^622558-1 is not prime. Res64: 00AE1569303DBCD2 Time : 345.0 sec. user=vaughan [2009-02-25 01:37:39] 731*2^622578-1 is not prime. Res64: BD0DDFB7F3FD7D22 Time : 342.0 sec. user=vaughan [2009-02-25 01:43:23] 713*2^622592-1 is not prime. Res64: CC3E5C6490D126DE Time : 344.0 sec. user=vaughan [2009-02-25 01:49:08] 627*2^622593-1 is not prime. Res64: E5A6A852B6D66F3C Time : 345.0 sec. user=tnerual [2009-02-25 01:51:48] 645*2^622559-1 is not prime. Res64: 628131F9A54742B9 Time : 1327.0 sec. user=vaughan [2009-02-25 01:54:52] 675*2^622593-1 is not prime. Res64: B9D82ED5664D3EC5 Time : 345.0 sec. user=vaughan [2009-02-25 02:00:36] 605*2^622594-1 is not prime. Res64: 6089AC7F525B1713 Time : 344.0 sec. user=vaughan [2009-02-25 02:06:21] 611*2^622594-1 is not prime. Res64: BD847A3298593EEB Time : 345.0 sec. user=vaughan [2009-02-25 02:11:58] 645*2^622594-1 is not prime. Res64: 05CBFD824B932582 Time : 338.0 sec. user=tnerual [2009-02-25 02:13:53] 787*2^622593-1 is not prime. Res64: EF497E01140729A3 Time : 1325.0 sec. user=vaughan [2009-02-25 02:17:33] 705*2^622594-1 is not prime. Res64: EE2E540DDD5EDC5E Time : 335.0 sec. user=vaughan [2009-02-25 02:23:09] 643*2^622595-1 is not prime. Res64: F87E9DB9576D32CA Time : 336.0 sec. user=vaughan [2009-02-25 02:28:48] 759*2^622595-1 is not prime. Res64: 4871F5EF117306E2 Time : 339.0 sec. user=vaughan [2009-02-25 02:34:28] 737*2^622596-1 is not prime. Res64: 34F2436CD7DCB4E4 Time : 341.0 sec. user=tnerual [2009-02-25 02:36:02] 785*2^622594-1 is not prime. Res64: EF28F17EF03464B0 Time : 1329.0 sec. user=vaughan [2009-02-25 02:40:07] 639*2^622597-1 is not prime. Res64: 8B75DFAA523FED00 Time : 339.0 sec. user=vaughan [2009-02-25 02:45:45] 771*2^622597-1 is not prime. Res64: 7CF2EC7F18716892 Time : 338.0 sec. user=vaughan [2009-02-25 02:51:24] 777*2^622597-1 is not prime. Res64: 8454436A32972F42 Time : 339.0 sec. user=vaughan [2009-02-25 02:57:02] 651*2^622598-1 is not prime. Res64: F0BAA84ED2D98FB2 Time : 339.0 sec. user=tnerual [2009-02-25 02:58:04] 687*2^622597-1 is not prime. Res64: EABBAC6D5FA5BA00 Time : 1322.0 sec. user=vaughan [2009-02-25 03:02:45] 663*2^622598-1 is not prime. Res64: BDA225AA3A8F37B0 Time : 343.0 sec. user=vaughan [2009-02-25 03:08:24] 619*2^622599-1 is not prime. Res64: F0732B8134DAC328 Time : 339.0 sec. user=vaughan [2009-02-25 03:14:03] 693*2^622599-1 is not prime. Res64: 42442E3D84AC0E22 Time : 340.0 sec. user=vaughan [2009-02-25 03:19:44] 705*2^622599-1 is not prime. Res64: 007A5F961E2DF51A Time : 341.0 sec. user=tnerual [2009-02-25 03:20:06] 677*2^622598-1 is not prime. Res64: 20B5127C2068BF58 Time : 1323.0 sec. user=vaughan [2009-02-25 03:25:24] 609*2^622600-1 is not prime. Res64: 0F602F1F7FCC1396 Time : 340.0 sec. user=vaughan [2009-02-25 03:31:03] 629*2^622600-1 is not prime. Res64: 9965CF9C37437B34 Time : 340.0 sec. user=vaughan [2009-02-25 03:36:47] 743*2^622600-1 is not prime. Res64: 5E18C91981910978 Time : 344.0 sec. user=tnerual [2009-02-25 03:42:08] 615*2^622600-1 is not prime. Res64: 049BE6EE734017E4 Time : 1322.0 sec. user=vaughan [2009-02-25 03:42:27] 797*2^622600-1 is not prime. Res64: EDAD4C849A56E1EA Time : 340.0 sec. user=vaughan [2009-02-25 03:48:05] 717*2^622601-1 is not prime. Res64: E0B8A855FE0B17E0 Time : 338.0 sec. user=vaughan [2009-02-25 03:54:04] 727*2^622601-1 is not prime. Res64: BF513A9BE7036E6F Time : 360.0 sec. user=vaughan [2009-02-25 04:00:06] 633*2^622602-1 is not prime. Res64: 3C9F13B1C2197CBA Time : 363.0 sec. user=tnerual [2009-02-25 04:04:09] 607*2^622601-1 is not prime. Res64: 4C089C36D95F7658 Time : 1321.0 sec. user=vaughan [2009-02-25 04:06:03] 635*2^622602-1 is not prime. Res64: D82FFE8F139AC3C8 Time : 358.0 sec. user=vaughan [2009-02-25 04:07:43] 645*2^622547-1 is not prime. Res64: 297E7ECB5BC8DB2E Time : 19907.0 sec. user=vaughan [2009-02-25 04:08:51] 657*2^622528-1 is not prime. Res64: 25384ADCBA9895A9 Time : 27105.0 sec. user=vaughan [2009-02-25 04:08:52] 725*2^622530-1 is not prime. Res64: E665F410A1BC81EF Time : 26342.0 sec. user=vaughan [2009-02-25 04:08:55] 635*2^622532-1 is not prime. Res64: 9D52968BBF0FA10D Time : 25582.0 sec. user=vaughan [2009-02-25 04:08:56] 615*2^622507-1 is not prime. Res64: 5060EBB91C23C72E Time : 33705.0 sec. user=vaughan [2009-02-25 04:08:56] 645*2^622535-1 is not prime. Res64: E21B012DC4F96DD9 Time : 24821.0 sec. user=vaughan [2009-02-25 04:08:57] 615*2^622513-1 is not prime. Res64: A8B70765C456D6C7 Time : 32244.0 sec. user=vaughan [2009-02-25 04:08:57] 705*2^622536-1 is not prime. Res64: C578767977C879AE Time : 24054.0 sec. user=vaughan [2009-02-25 04:08:58] 665*2^622538-1 is not prime. Res64: B2F8C225A88A0F36 Time : 23283.0 sec. user=vaughan [2009-02-25 04:08:58] 759*2^622517-1 is not prime. Res64: 59559BB53D133AFC Time : 30739.0 sec. user=vaughan [2009-02-25 04:08:59] 651*2^622521-1 is not prime. Res64: 9F1ED243EAC8D2BB Time : 29553.0 sec. user=vaughan [2009-02-25 04:08:59] 615*2^622540-1 is not prime. Res64: 2BE9D9800D1581CA Time : 22527.0 sec. user=vaughan [2009-02-25 04:09:01] 777*2^622525-1 is not prime. Res64: 4AA24FBA9700E5FD Time : 28125.0 sec. user=vaughan [2009-02-25 04:09:01] 683*2^622542-1 is not prime. Res64: 39549CCBFF0D2CA8 Time : 21770.0 sec. user=vaughan [2009-02-25 04:09:02] 657*2^622521-1 is not prime. Res64: D7B567CC05280281 Time : 29518.0 sec. user=vaughan [2009-02-25 04:09:03] 697*2^622529-1 is not prime. Res64: 672FD1FA72AA1073 Time : 26724.0 sec. user=vaughan [2009-02-25 04:09:03] 775*2^622543-1 is not prime. Res64: 7813FDB0801FBC58 Time : 21019.0 sec. user=vaughan [2009-02-25 04:09:04] 741*2^622525-1 is not prime. Res64: E659B2F345B5C120 Time : 28419.0 sec. user=vaughan [2009-02-25 04:09:05] 737*2^622546-1 is not prime. Res64: 72B224FEA72CC1C8 Time : 20258.0 sec. user=vaughan [2009-02-25 04:09:05] 789*2^622533-1 is not prime. Res64: 6C838FF1FCB9AA08 Time : 25156.0 sec. user=vaughan [2009-02-25 04:09:05] 603*2^622528-1 is not prime. Res64: 0EB377FC9DFAC258 Time : 27306.0 sec. user=vaughan [2009-02-25 04:09:06] 797*2^622528-1 is not prime. Res64: 7DA53ED71C44D699 Time : 26795.0 sec. user=vaughan [2009-02-25 04:09:06] 729*2^622537-1 is not prime. Res64: 730A5076BAA57520 Time : 23668.0 sec. user=vaughan [2009-02-25 04:09:06] 651*2^622531-1 is not prime. Res64: 46B92BA9875CA5F2 Time : 26221.0 sec. user=vaughan [2009-02-25 04:09:06] 741*2^622531-1 is not prime. Res64: ED5DF6AD3D9B6ECC Time : 26033.0 sec. user=vaughan [2009-02-25 04:09:06] 719*2^622540-1 is not prime. Res64: 9B3891F7C82136BA Time : 22198.0 sec. user=vaughan [2009-02-25 04:09:07] 657*2^622534-1 is not prime. Res64: 84AA7ECF8BB5550E Time : 25158.0 sec. user=vaughan [2009-02-25 04:09:07] 741*2^622533-1 is not prime. Res64: 30AEE5A89901D88F Time : 25282.0 sec. user=vaughan [2009-02-25 04:09:07] 727*2^622545-1 is not prime. Res64: 8762BC90B1240496 Time : 20619.0 sec. user=vaughan [2009-02-25 04:09:07] 699*2^622536-1 is not prime. Res64: 9E675F55F82C37F3 Time : 24078.0 sec. user=vaughan [2009-02-25 04:09:07] 781*2^622535-1 is not prime. Res64: 170239F0B18344F8 Time : 24523.0 sec. user=vaughan [2009-02-25 04:09:07] 705*2^622539-1 is not prime. Res64: 303FDB25CAD142FF Time : 22988.0 sec. user=vaughan [2009-02-25 04:09:07] 789*2^622536-1 is not prime. Res64: CE59780E59BBC059 Time : 23761.0 sec. user=vaughan [2009-02-25 04:09:07] 621*2^622542-1 is not prime. Res64: B3FB48084E1FA3B3 Time : 21903.0 sec. user=vaughan [2009-02-25 04:09:08] 711*2^622538-1 is not prime. Res64: E7835FDB2A1ABC39 Time : 23005.0 sec. user=vaughan [2009-02-25 04:09:08] 773*2^622544-1 is not prime. Res64: 334DAC265CDB89C4 Time : 20774.0 sec. user=vaughan [2009-02-25 04:09:08] 677*2^622540-1 is not prime. Res64: EFBF876028597F6A Time : 22241.0 sec. user=vaughan [2009-02-25 04:09:08] 615*2^622549-1 is not prime. Res64: 2F98E97E9F495B2C Time : 19582.0 sec. user=vaughan [2009-02-25 04:09:08] 609*2^622543-1 is not prime. Res64: 3F30BC005087917F Time : 21486.0 sec. user=vaughan [2009-02-25 04:09:08] 789*2^622544-1 is not prime. Res64: 08F47523B19F4688 Time : 20744.0 sec. user=vaughan [2009-02-25 04:09:08] 651*2^622547-1 is not prime. Res64: 40143FDE039642FF Time : 19969.0 sec. user=vaughan [2009-02-25 04:12:00] 735*2^622602-1 is not prime. Res64: 4D604F2EE0C2B466 Time : 357.0 sec. user=vaughan [2009-02-25 04:14:43] 633*2^622603-1 is not prime. Res64: F399F3B991020DE3 Time : 421.0 sec. user=vaughan [2009-02-25 04:17:59] 615*2^622612-1 is not prime. Res64: 70A3F61A7B07BF33 Time : 359.0 sec. user=vaughan [2009-02-25 04:21:50] 635*2^622612-1 is not prime. Res64: 2EA87EEBA15DB57A Time : 427.0 sec. user=vaughan [2009-02-25 04:23:27] 673*2^622603-1 is not prime. Res64: 8FC4053390999BBC Time : 911.0 sec. user=vaughan [2009-02-25 04:23:31] 667*2^622605-1 is not prime. Res64: 483B4FF41146EFDC Time : 893.0 sec. user=vaughan [2009-02-25 04:23:56] 735*2^622612-1 is not prime. Res64: E098465B1245151E Time : 357.0 sec. user=tnerual [2009-02-25 04:26:10] 677*2^622602-1 is not prime. Res64: 444085C7BD2259AA Time : 1321.0 sec. user=vaughan [2009-02-25 04:28:01] 677*2^622604-1 is not prime. Res64: 246552690A4D136D Time : 1171.0 sec. user=vaughan [2009-02-25 04:29:03] 743*2^622612-1 is not prime. Res64: 0A7D9EF76DEA86E1 Time : 433.0 sec. user=vaughan [2009-02-25 04:29:54] 691*2^622613-1 is not prime. Res64: FCA1D9A2FC0E258D Time : 358.0 sec. user=vaughan [2009-02-25 04:31:44] 665*2^622604-1 is not prime. Res64: C4E795C2B76819F4 Time : 1398.0 sec. user=vaughan [2009-02-25 04:35:51] 789*2^622613-1 is not prime. Res64: B7883754991C6DD6 Time : 358.0 sec. user=vaughan [2009-02-25 04:36:29] 769*2^622613-1 is not prime. Res64: 00097066A8B3D61C Time : 447.0 sec. user=vaughan [2009-02-25 04:37:48] 645*2^622606-1 is not prime. Res64: B3DA149C153C12C1 Time : 1746.0 sec. user=vaughan [2009-02-25 04:37:54] 765*2^622603-1 is not prime. Res64: 6B7F4F409DFE5658 Time : 1774.0 sec. user=vaughan [2009-02-25 04:41:47] 707*2^622614-1 is not prime. Res64: 7E05938B45074791 Time : 356.0 sec. user=vaughan [2009-02-25 04:43:55] 717*2^622614-1 is not prime. Res64: 2DAD687EDA03F240 Time : 446.0 sec. user=vaughan [2009-02-25 04:47:01] 623*2^622606-1 is not prime. Res64: E47ECED7CB3A2907 Time : 2302.0 sec. user=vaughan [2009-02-25 04:47:43] 673*2^622615-1 is not prime. Res64: 0CCCCA40C4F1A88F Time : 356.0 sec. user=tnerual [2009-02-25 04:48:16] 721*2^622613-1 is not prime. Res64: F198816134B8F36A Time : 1326.0 sec. user=vaughan [2009-02-25 04:51:19] 679*2^622615-1 is not prime. Res64: 043D57F68B94031F Time : 444.0 sec. user=vaughan [2009-02-25 04:51:41] 609*2^622607-1 is not prime. Res64: D54A57E831FA078B Time : 2577.0 sec. user=vaughan [2009-02-25 04:51:49] 617*2^622604-1 is not prime. Res64: F67D6C8D75F54F6D Time : 2605.0 sec. user=vaughan [2009-02-25 04:53:40] 741*2^622615-1 is not prime. Res64: FDEB3D06F35D8514 Time : 357.0 sec. user=vaughan [2009-02-25 04:55:57] 717*2^622604-1 is not prime. Res64: 668C502579042384 Time : 2846.0 sec. user=vaughan [2009-02-25 04:58:43] 669*2^622616-1 is not prime. Res64: 47A2014049374A62 Time : 444.0 sec. user=vaughan [2009-02-25 04:59:39] 681*2^622617-1 is not prime. Res64: 0E231FF4C61807F9 Time : 360.0 sec. user=vaughan [2009-02-25 05:05:39] 677*2^622618-1 is not prime. Res64: 4D1444DF43B36E3C Time : 360.0 sec. user=vaughan [2009-02-25 05:05:45] 741*2^622606-1 is not prime. Res64: F93AC765008093DD Time : 3423.0 sec. user=vaughan [2009-02-25 05:05:45] 705*2^622608-1 is not prime. Res64: 24CF17F24274A628 Time : 3418.0 sec. user=vaughan [2009-02-25 05:06:03] 623*2^622604-1 is not prime. Res64: AF75DC509BA3D356 Time : 3457.0 sec. user=tnerual [2009-02-25 05:10:17] 759*2^622615-1 is not prime. Res64: 448D9EF8B9B2FC7A Time : 1321.0 sec. user=vaughan [2009-02-25 05:11:13] 727*2^622617-1 is not prime. Res64: 77842F997FAA1024 Time : 750.0 sec. user=vaughan [2009-02-25 05:11:35] 619*2^622645-1 is not prime. Res64: A5128CDB88A3EED2 Time : 356.0 sec. user=vaughan [2009-02-25 05:17:33] 695*2^622648-1 is not prime. Res64: ACEB0A877B69081A Time : 359.0 sec. user=vaughan [2009-02-25 05:17:45] 773*2^622618-1 is not prime. Res64: C20E5BDB085B53E7 Time : 808.0 sec. user=vaughan [2009-02-25 05:20:02] 721*2^622609-1 is not prime. Res64: D462A7F24FA2C66D Time : 4273.0 sec. user=vaughan [2009-02-25 05:20:26] 759*2^622604-1 is not prime. Res64: F4E850B8482D3DC4 Time : 4311.0 sec. user=vaughan [2009-02-25 05:20:55] 625*2^622605-1 is not prime. Res64: CC5FEA81D997A3EA Time : 4341.0 sec. user=vaughan [2009-02-25 05:23:33] 755*2^622648-1 is not prime. Res64: 0E6F2F84275644A3 Time : 360.0 sec. user=vaughan [2009-02-25 05:24:34] 663*2^622608-1 is not prime. Res64: 23778F46FADF5183 Time : 4549.0 sec. user=vaughan [2009-02-25 05:24:57] 621*2^622619-1 is not prime. Res64: E0E846671C5D8423 Time : 1239.0 sec. user=vaughan [2009-02-25 05:29:32] 707*2^622650-1 is not prime. Res64: 9483C6CDF4BD1FD6 Time : 359.0 sec. user=vaughan [2009-02-25 05:31:31] 771*2^622619-1 is not prime. Res64: 7D4A5505F4F7FC33 Time : 1633.0 sec. user=tnerual [2009-02-25 05:32:23] 619*2^622647-1 is not prime. Res64: F6240D1545A4C8AB Time : 1326.0 sec. user=vaughan [2009-02-25 05:34:29] 603*2^622610-1 is not prime. Res64: D1C8B55524C7402D Time : 5137.0 sec. user=vaughan [2009-02-25 05:34:53] 751*2^622605-1 is not prime. Res64: 2CFF88D217E41CAB Time : 5175.0 sec. user=vaughan [2009-02-25 05:35:29] 623*2^622652-1 is not prime. Res64: C4D52C793999097D Time : 357.0 sec. user=vaughan [2009-02-25 05:37:57] 639*2^622621-1 is not prime. Res64: B5B2B0E743C5C85A Time : 2018.0 sec. user=vaughan [2009-02-25 05:41:27] 607*2^622653-1 is not prime. Res64: EB1DBFDC76411391 Time : 358.0 sec. user=vaughan [2009-02-25 05:43:33] 687*2^622609-1 is not prime. Res64: 61D970F9FC1EF922 Time : 5686.0 sec. user=vaughan [2009-02-25 05:44:30] 711*2^622622-1 is not prime. Res64: FA7C2E8EA5F688C1 Time : 2411.0 sec. user=vaughan [2009-02-25 05:45:27] 649*2^622605-1 is not prime. Res64: 7EA3F8440BB2A311 Time : 5810.0 sec. user=vaughan [2009-02-25 05:47:25] 671*2^622654-1 is not prime. Res64: 973FBDD6A5ACAF85 Time : 359.0 sec. user=vaughan [2009-02-25 05:48:55] 755*2^622610-1 is not prime. Res64: A1978D6F8E6F8DE1 Time : 5999.0 sec. user=vaughan [2009-02-25 05:49:25] 675*2^622606-1 is not prime. Res64: 3A529FC0E017C439 Time : 6043.0 sec. user=vaughan [2009-02-25 05:51:01] 747*2^622622-1 is not prime. Res64: 9FAC6AC8A6883D0B Time : 2801.0 sec. user=vaughan [2009-02-25 05:53:24] 673*2^622655-1 is not prime. Res64: 10B1C87EAF305DC6 Time : 359.0 sec. user=tnerual [2009-02-25 05:54:28] 635*2^622652-1 is not prime. Res64: D7E9FF01B04C1D89 Time : 1325.0 sec. user=vaughan [2009-02-25 05:57:34] 771*2^622622-1 is not prime. Res64: EFEBB8C29FD514C4 Time : 3194.0 sec. user=vaughan [2009-02-25 05:59:22] 623*2^622656-1 is not prime. Res64: CD79CE840658AF84 Time : 358.0 sec. user=vaughan [2009-02-25 06:02:03] 751*2^622609-1 is not prime. Res64: 6429AE1812F883D2 Time : 6794.0 sec. user=vaughan [2009-02-25 06:03:06] 619*2^622611-1 is not prime. Res64: C0E9A8ABF2745457 Time : 6848.0 sec. user=vaughan [2009-02-25 06:03:48] 685*2^622607-1 is not prime. Res64: 98056C8953FF812A Time : 6904.0 sec. user=vaughan [2009-02-25 06:04:06] 791*2^622622-1 is not prime. Res64: 273C4BCB71A7A83E Time : 3585.0 sec. user=vaughan [2009-02-25 06:05:20] 735*2^622656-1 is not prime. Res64: B15386BC5231D4EB Time : 358.0 sec. user=vaughan [2009-02-25 06:09:30] 635*2^622606-1 is not prime. Res64: 4BA6CA4BE120E857 Time : 7250.0 sec. user=vaughan [2009-02-25 06:10:38] 797*2^622622-1 is not prime. Res64: 7801B65FDAB7E095 Time : 3977.0 sec. user=vaughan [2009-02-25 06:11:18] 747*2^622657-1 is not prime. Res64: 9B2598B7FCC096BA Time : 359.0 sec. user=vaughan [2009-02-25 06:15:21] 749*2^621132-1 is not prime. Res64: 77EE331DABB2EBF9 Time : 48750.0 sec. user=tnerual [2009-02-25 06:16:29] 653*2^622656-1 is not prime. Res64: 1F01039AF1812687 Time : 1321.0 sec. user=vaughan [2009-02-25 06:17:08] 661*2^622623-1 is not prime. Res64: AEFF1B43E5FE5977 Time : 4366.0 sec. user=vaughan [2009-02-25 06:17:16] 641*2^622658-1 is not prime. Res64: 4498E66342F551D1 Time : 358.0 sec. user=vaughan [2009-02-25 06:17:26] 745*2^622611-1 is not prime. Res64: E8FC64FD5A9042C6 Time : 7705.0 sec. user=vaughan [2009-02-25 06:18:15] 789*2^622608-1 is not prime. Res64: 424CD37DEB182C57 Time : 7768.0 sec. user=vaughan [2009-02-25 06:20:46] 657*2^622610-1 is not prime. Res64: EDAB6A11E3A5ACD5 Time : 7914.0 sec. user=vaughan [2009-02-25 06:23:14] 713*2^622658-1 is not prime. Res64: 77A6B88B94240952 Time : 358.0 sec. user=vaughan [2009-02-25 06:23:41] 663*2^622623-1 is not prime. Res64: 5121F17F32D959D4 Time : 4759.0 sec. user=vaughan [2009-02-25 06:29:12] 793*2^622659-1 is not prime. Res64: E3B243BFC9E89780 Time : 358.0 sec. user=vaughan [2009-02-25 06:30:11] 685*2^622623-1 is not prime. Res64: 7B1C51AED58AB32C Time : 5149.0 sec. user=vaughan [2009-02-25 06:31:37] 751*2^622611-1 is not prime. Res64: 0FBB71A5BDF45E8F Time : 8552.0 sec. user=vaughan [2009-02-25 06:32:20] 741*2^622609-1 is not prime. Res64: 6E7B108D4492FDBE Time : 8611.0 sec. user=vaughan [2009-02-25 06:33:59] 773*2^622606-1 is not prime. Res64: A678777171D31229 Time : 8716.0 sec. user=vaughan [2009-02-25 06:35:09] 609*2^622660-1 is not prime. Res64: CDF8F9762549649A Time : 358.0 sec. user=vaughan [2009-02-25 06:36:38] 709*2^622623-1 is not prime. Res64: 49513A248656E136 Time : 5535.0 sec. user=tnerual [2009-02-25 06:38:30] 665*2^622658-1 is not prime. Res64: 202447367E76545D Time : 1321.0 sec. user=vaughan [2009-02-25 06:39:53] 711*2^622610-1 is not prime. Res64: ADF6869BA42A4C22 Time : 9057.0 sec. user=vaughan [2009-02-25 06:41:06] 711*2^622661-1 is not prime. Res64: FD0113E43F7B5D95 Time : 357.0 sec. user=vaughan [2009-02-25 06:43:12] 723*2^622623-1 is not prime. Res64: B044E87E5C24FCE4 Time : 5929.0 sec. user=vaughan [2009-02-25 06:45:54] 651*2^622613-1 is not prime. Res64: 0D1799A27B44E48B Time : 8544.0 sec. user=vaughan [2009-02-25 06:46:44] 777*2^622612-1 is not prime. Res64: 0055A9F3013B2C41 Time : 8598.0 sec. user=vaughan [2009-02-25 06:47:02] 703*2^622663-1 is not prime. Res64: EA8EF646AC928AD2 Time : 356.0 sec. user=vaughan [2009-02-25 06:49:42] 615*2^622624-1 is not prime. Res64: B55CA8EA2640A7BF Time : 6318.0 sec. user=vaughan [2009-02-25 06:52:59] 657*2^622664-1 is not prime. Res64: 57FCF4B814B97C81 Time : 357.0 sec. user=vaughan [2009-02-25 06:56:16] 773*2^622624-1 is not prime. Res64: 01B9C3294B5F824C Time : 6712.0 sec. user=vaughan [2009-02-25 06:58:03] 669*2^622608-1 is not prime. Res64: E831932C47B803A4 Time : 10158.0 sec. user=vaughan [2009-02-25 06:58:19] 767*2^622610-1 is not prime. Res64: B82D8CF2E0254767 Time : 10161.0 sec. user=vaughan [2009-02-25 06:58:56] 759*2^622664-1 is not prime. Res64: EB344113A178D12D Time : 358.0 sec. user=vaughan [2009-02-25 07:00:25] 737*2^622614-1 is not prime. Res64: 9A6048DFCD8E7D78 Time : 8557.0 sec. user=tnerual [2009-02-25 07:00:32] 761*2^622662-1 is not prime. Res64: 9D1D7DEDE1C886E7 Time : 1322.0 sec. user=vaughan [2009-02-25 07:01:33] 791*2^622614-1 is not prime. Res64: C95B688E241EDEEB Time : 8619.0 sec. user=vaughan [2009-02-25 07:02:39] 657*2^622625-1 is not prime. Res64: FFEFCE774BB3D291 Time : 7094.0 sec. user=vaughan [2009-02-25 07:04:50] 671*2^622666-1 is not prime. Res64: 24EDA9C5D2033001 Time : 354.0 sec. user=vaughan [2009-02-25 07:09:05] 699*2^622625-1 is not prime. Res64: FC249C4F18375021 Time : 7480.0 sec. user=vaughan [2009-02-25 07:10:48] 775*2^622667-1 is not prime. Res64: 03DC994C55EE5181 Time : 358.0 sec. user=vaughan [2009-02-25 07:14:32] 725*2^622616-1 is not prime. Res64: 5077DC9092DEE0FA Time : 8571.0 sec. user=vaughan [2009-02-25 07:15:32] 705*2^622625-1 is not prime. Res64: 3877D1EF45F16985 Time : 7866.0 sec. user=vaughan [2009-02-25 07:15:46] 767*2^622616-1 is not prime. Res64: AD038B5938969B4E Time : 8637.0 sec. user=vaughan [2009-02-25 07:16:45] 725*2^622668-1 is not prime. Res64: F5CD592B8EA88E72 Time : 357.0 sec. user=vaughan [2009-02-25 07:17:04] 705*2^622611-1 is not prime. Res64: C4899A9C1D0A7E3C Time : 11284.0 sec. user=vaughan [2009-02-25 07:22:04] 711*2^622626-1 is not prime. Res64: 1331E15A4A7B3BDD Time : 8258.0 sec. user=vaughan [2009-02-25 07:22:16] 691*2^622609-1 is not prime. Res64: E8497151D0F55882 Time : 11608.0 sec. user=tnerual [2009-02-25 07:22:33] 631*2^622667-1 is not prime. Res64: 24C26B4B1666C9D8 Time : 1321.0 sec. user=vaughan [2009-02-25 07:22:41] 797*2^622668-1 is not prime. Res64: 6C63DDFF7B89270F Time : 357.0 sec. user=vaughan [2009-02-25 07:28:31] 645*2^622627-1 is not prime. Res64: F81A3866A4358E09 Time : 8645.0 sec. user=vaughan [2009-02-25 07:28:35] 603*2^622646-1 is not prime. Res64: 9E21266D99FE801F Time : 8570.0 sec. user=vaughan [2009-02-25 07:28:40] 707*2^622670-1 is not prime. Res64: C47C1F33957A736C Time : 359.0 sec. user=vaughan [2009-02-25 07:29:53] 657*2^622646-1 is not prime. Res64: 09C9AC70BEE55C3D Time : 8630.0 sec. user=vaughan [2009-02-25 07:34:37] 635*2^622672-1 is not prime. Res64: F04ABCC6F59F6AFC Time : 357.0 sec. user=vaughan [2009-02-25 07:34:54] 703*2^622627-1 is not prime. Res64: F0AAF598142ABB37 Time : 9027.0 sec. user=vaughan [2009-02-25 07:35:50] 745*2^622613-1 is not prime. Res64: 6F226A389B18736D Time : 11270.0 sec. user=vaughan [2009-02-25 07:40:35] 685*2^622673-1 is not prime. Res64: 42950DABB239A542 Time : 358.0 sec. user=vaughan [2009-02-25 07:41:20] 741*2^622627-1 is not prime. Res64: 4056268888378EB4 Time : 9410.0 sec. user=vaughan [2009-02-25 07:42:55] 747*2^622649-1 is not prime. Res64: 4FB8EA53AFCDC28E Time : 8574.0 sec. user=vaughan [2009-02-25 07:44:20] 657*2^622650-1 is not prime. Res64: C78A1B6E8562747A Time : 8634.0 sec. user=tnerual [2009-02-25 07:44:33] 651*2^622670-1 is not prime. Res64: 44E083E64E6DC12A Time : 1320.0 sec. user=vaughan [2009-02-25 07:46:02] 799*2^622609-1 is not prime. Res64: 9369862D218D0B84 Time : 13031.0 sec. user=vaughan [2009-02-25 07:46:26] 765*2^622674-1 is not prime. Res64: 20777053BB4B366D Time : 352.0 sec. user=vaughan [2009-02-25 07:47:52] 751*2^622627-1 is not prime. Res64: A5EF6A9A9E2F01DF Time : 9801.0 sec. user=vaughan [2009-02-25 07:52:23] 633*2^622676-1 is not prime. Res64: FCE06164EAD681BC Time : 357.0 sec. user=vaughan [2009-02-25 07:54:21] 603*2^622628-1 is not prime. Res64: 6BFC571390A22F9C Time : 10189.0 sec. user=vaughan [2009-02-25 07:54:37] 685*2^622615-1 is not prime. Res64: 9B888B2B193ED15B Time : 11257.0 sec. user=vaughan [2009-02-25 07:57:14] 717*2^622652-1 is not prime. Res64: FF4DC7F5FB5B7359 Time : 8565.0 sec. user=vaughan [2009-02-25 07:58:18] 707*2^622676-1 is not prime. Res64: 1017722B7C689162 Time : 355.0 sec. user=vaughan [2009-02-25 07:58:51] 755*2^622652-1 is not prime. Res64: 27EC65CA4729E969 Time : 8638.0 sec. user=vaughan [2009-02-25 08:00:48] 767*2^622628-1 is not prime. Res64: 66045E03FD52DA01 Time : 10575.0 sec. user=vaughan [2009-02-25 08:04:16] 777*2^622677-1 is not prime. Res64: 02F6507854CC977D Time : 358.0 sec. user=tnerual [2009-02-25 08:06:39] 609*2^622676-1 is not prime. Res64: 5AB66CAD9B924071 Time : 1326.0 sec. user=vaughan [2009-02-25 08:07:20] 615*2^622629-1 is not prime. Res64: 649CB3822FA22D92 Time : 10966.0 sec. user=vaughan [2009-02-25 08:09:47] 675*2^622610-1 is not prime. Res64: 861DA1C5CC1E2B60 Time : 14452.0 sec. user=vaughan [2009-02-25 08:10:14] 623*2^622678-1 is not prime. Res64: 15326B4F8E9F97C3 Time : 359.0 sec. user=vaughan [2009-02-25 08:11:23] 739*2^622655-1 is not prime. Res64: D86401EDD04D541F Time : 8548.0 sec. user=vaughan [2009-02-25 08:13:06] 715*2^622645-1 is not prime. Res64: 8038287AD02DAFB9 Time : 11241.0 sec. user=vaughan [2009-02-25 08:13:14] 741*2^622655-1 is not prime. Res64: 5423EAA0A516C987 Time : 8629.0 sec. user=vaughan [2009-02-25 08:13:45] 657*2^622629-1 is not prime. Res64: EEF01E9CA20413C7 Time : 11350.0 sec. user=vaughan [2009-02-25 08:16:10] 721*2^622679-1 is not prime. Res64: 95BDB73ED1CE4BC7 Time : 356.0 sec. user=vaughan [2009-02-25 08:20:13] 669*2^622629-1 is not prime. Res64: 4F9C23F46EC46414 Time : 11737.0 sec. user=vaughan [2009-02-25 08:22:08] 737*2^622680-1 is not prime. Res64: D4D48E95F1B3D656 Time : 358.0 sec. user=vaughan [2009-02-25 08:25:26] 649*2^622657-1 is not prime. Res64: 2AECC0B4382CD87E Time : 8540.0 sec. user=vaughan [2009-02-25 08:26:45] 741*2^622629-1 is not prime. Res64: ACE2B54140CDC039 Time : 12129.0 sec. user=vaughan [2009-02-25 08:27:24] 667*2^622657-1 is not prime. Res64: D9B1B19E6D1F7377 Time : 8616.0 sec. user=vaughan [2009-02-25 08:28:05] 797*2^622680-1 is not prime. Res64: E834F5EFE7551C2E Time : 357.0 sec. user=tnerual [2009-02-25 08:28:41] 737*2^622678-1 is not prime. Res64: 93D9FDE34B840187 Time : 1322.0 sec. user=vaughan [2009-02-25 08:32:03] 715*2^622651-1 is not prime. Res64: 8E37E3FABD4B25B9 Time : 11250.0 sec. user=vaughan [2009-02-25 08:33:13] 747*2^622629-1 is not prime. Res64: D08345E7E42D823F Time : 12516.0 sec. user=vaughan [2009-02-25 08:34:00] 769*2^622681-1 is not prime. Res64: D75D209471D52BA0 Time : 355.0 sec. user=vaughan [2009-02-25 08:35:41] 627*2^622614-1 is not prime. Res64: 25439DE2AEE3F1C1 Time : 14637.0 sec. user=vaughan [2009-02-25 08:39:31] 603*2^622630-1 is not prime. Res64: A65DAA83E267FBA5 Time : 12894.0 sec. user=vaughan [2009-02-25 08:39:49] 753*2^622658-1 is not prime. Res64: D2DF206FCFCD5C42 Time : 8543.0 sec. user=vaughan [2009-02-25 08:39:57] 675*2^622683-1 is not prime. Res64: B90866FC799EE4A3 Time : 357.0 sec. user=vaughan [2009-02-25 08:41:49] 773*2^622658-1 is not prime. Res64: CD539F13CC0815E7 Time : 8614.0 sec. user=vaughan [2009-02-25 08:45:52] 657*2^622684-1 is not prime. Res64: 1CA815C5A4F179C7 Time : 355.0 sec. user=vaughan [2009-02-25 08:46:06] 645*2^622630-1 is not prime. Res64: 86018D8EF76420DA Time : 13288.0 sec. user=tnerual [2009-02-25 08:50:42] 799*2^622681-1 is not prime. Res64: 5F6076E5B5A54CA3 Time : 1321.0 sec. user=vaughan [2009-02-25 08:50:54] 619*2^622655-1 is not prime. Res64: A2947149CCBCA321 Time : 11241.0 sec. user=vaughan [2009-02-25 08:51:52] 697*2^622685-1 is not prime. Res64: F1DD367D4D909B74 Time : 360.0 sec. user=vaughan [2009-02-25 08:52:42] 681*2^622630-1 is not prime. Res64: 07D84972C5C173C8 Time : 13684.0 sec. user=vaughan [2009-02-25 08:54:08] 783*2^622660-1 is not prime. Res64: B8AD9483F2357060 Time : 8551.0 sec. user=vaughan [2009-02-25 08:56:14] 657*2^622661-1 is not prime. Res64: B1A73761576CA08D Time : 8635.0 sec. user=vaughan [2009-02-25 08:57:49] 647*2^622686-1 is not prime. Res64: 4EEF41062A05ED84 Time : 357.0 sec. user=vaughan [2009-02-25 08:59:08] 755*2^622630-1 is not prime. Res64: A22EA92636D5EFCD Time : 14070.0 sec. user=vaughan [2009-02-25 08:59:28] 685*2^622617-1 is not prime. Res64: 0F71D934ED353054 Time : 14611.0 sec. user=vaughan [2009-02-25 09:03:45] 619*2^622687-1 is not prime. Res64: 35BA21BDC4E11F6E Time : 356.0 sec. user=vaughan [2009-02-25 09:05:23] 761*2^622630-1 is not prime. Res64: 573AE915A1503792 Time : 14444.0 sec. user=vaughan [2009-02-25 09:09:43] 729*2^622687-1 is not prime. Res64: E217565600F365EA Time : 358.0 sec. user=vaughan [2009-02-25 09:11:47] 783*2^622630-1 is not prime. Res64: 863B48095485E804 Time : 14828.0 sec. user=tnerual [2009-02-25 09:12:44] 635*2^622686-1 is not prime. Res64: 35C4F4E4B6A04D5F Time : 1322.0 sec. user=vaughan [2009-02-25 09:15:40] 759*2^622687-1 is not prime. Res64: C285D136F2EE7E9F Time : 358.0 sec. user=vaughan [2009-02-25 09:18:09] 619*2^622631-1 is not prime. Res64: E7A6D3304DF28CF5 Time : 15209.0 sec. user=vaughan [2009-02-25 09:21:36] 677*2^622688-1 is not prime. Res64: BE5F7B867BC54ED9 Time : 356.0 sec. user=vaughan [2009-02-25 09:22:49] 681*2^622650-1 is not prime. Res64: 1FE0E57782874E60 Time : 14515.0 sec. user=vaughan [2009-02-25 09:24:31] 651*2^622631-1 is not prime. Res64: A76A20B504857CFA Time : 15591.0 sec. user=vaughan [2009-02-25 09:27:32] 725*2^622688-1 is not prime. Res64: 5EDEE4E77165DD1F Time : 356.0 sec. user=vaughan [2009-02-25 09:30:50] 673*2^622631-1 is not prime. Res64: 183D228147FE1175 Time : 15969.0 sec. user=vaughan [2009-02-25 09:33:31] 797*2^622688-1 is not prime. Res64: 28C970F13F7A6583 Time : 359.0 sec. user=tnerual [2009-02-25 09:34:46] 629*2^622688-1 is not prime. Res64: C072AB9132656240 Time : 1322.0 sec. user=vaughan [2009-02-25 09:37:03] 693*2^622631-1 is not prime. Res64: 743DA4B9703F4785 Time : 16342.0 sec. user=vaughan [2009-02-25 09:39:27] 741*2^622689-1 is not prime. Res64: 0417D05C99C1E9B1 Time : 357.0 sec. user=vaughan [2009-02-25 09:42:41] 661*2^622655-1 is not prime. Res64: AF3A15C02DA425CC Time : 14234.0 sec. user=vaughan [2009-02-25 09:43:24] 781*2^622631-1 is not prime. Res64: E5AB4276F02E2466 Time : 16723.0 sec. user=vaughan [2009-02-25 09:45:24] 621*2^622691-1 is not prime. Res64: DBFC2D268080C36C Time : 357.0 sec. user=vaughan [2009-02-25 09:49:41] 783*2^622631-1 is not prime. Res64: 8DA98E5A932FC9C1 Time : 17099.0 sec. user=vaughan [2009-02-25 09:51:21] 753*2^622691-1 is not prime. Res64: 6116D1179A61E726 Time : 357.0 sec. user=vaughan [2009-02-25 09:56:03] 635*2^622632-1 is not prime. Res64: 7C6F3543B6146E7F Time : 17481.0 sec. user=tnerual [2009-02-25 09:56:51] 781*2^622689-1 is not prime. Res64: B0D85995ACB9BCC5 Time : 1325.0 sec. user=vaughan [2009-02-25 09:57:19] 693*2^622692-1 is not prime. Res64: E0A0A1B868246CEE Time : 358.0 sec. user=vaughan [2009-02-25 09:59:52] 617*2^622658-1 is not prime. Res64: E120E349F157535D Time : 13822.0 sec. user=vaughan [2009-02-25 10:00:04] 665*2^621134-1 is not prime. Res64: 21BB53D0A864C84F Time : 61607.0 sec. user=vaughan [2009-02-25 10:02:32] 665*2^622632-1 is not prime. Res64: E4EA8352DCB6071C Time : 17869.0 sec. user=vaughan [2009-02-25 10:03:17] 765*2^622692-1 is not prime. Res64: 73E4764EA07AD245 Time : 359.0 sec. user=vaughan [2009-02-25 10:08:49] 689*2^622632-1 is not prime. Res64: F99E6D06B22E11EE Time : 18246.0 sec. user=vaughan [2009-02-25 10:09:14] 675*2^622694-1 is not prime. Res64: 176BCC6A7746A2EF Time : 357.0 sec. user=vaughan [2009-02-25 10:15:08] 619*2^622633-1 is not prime. Res64: CD0750AB823DBDF4 Time : 18624.0 sec. user=vaughan [2009-02-25 10:15:10] 693*2^622694-1 is not prime. Res64: 7087926F99B88E5E Time : 356.0 sec. user=tnerual [2009-02-25 10:18:52] 753*2^622692-1 is not prime. Res64: FF70EFD8E4B4411D Time : 1321.0 sec. user=vaughan [2009-02-25 10:19:32] 685*2^622661-1 is not prime. Res64: 03B231792F6A0321 Time : 13534.0 sec. user=vaughan [2009-02-25 10:21:07] 797*2^622694-1 is not prime. Res64: 77406EFB65E7200F Time : 357.0 sec. user=vaughan [2009-02-25 10:21:31] 639*2^622633-1 is not prime. Res64: 78532A6287931B09 Time : 19007.0 sec. user=vaughan [2009-02-25 10:27:05] 691*2^622695-1 is not prime. Res64: D8A17F4AA87F510B Time : 359.0 sec. user=vaughan [2009-02-25 10:27:48] 649*2^622633-1 is not prime. Res64: 3CC35CD8787060C1 Time : 19383.0 sec. user=vaughan [2009-02-25 10:33:04] 765*2^622696-1 is not prime. Res64: CE1ECB21AC69D5A8 Time : 359.0 sec. user=vaughan [2009-02-25 10:34:07] 681*2^622633-1 is not prime. Res64: 5BA0897996E08347 Time : 19762.0 sec. user=vaughan [2009-02-25 10:36:00] 777*2^622665-1 is not prime. Res64: A23D33BF0E78B3AA Time : 13077.0 sec. user=vaughan [2009-02-25 10:39:03] 607*2^622697-1 is not prime. Res64: EB52D2519D75BE72 Time : 359.0 sec. user=vaughan [2009-02-25 10:40:29] 741*2^622633-1 is not prime. Res64: 39AFF9F2C7080217 Time : 20143.0 sec. user=tnerual [2009-02-25 10:40:55] 625*2^622695-1 is not prime. Res64: 9A975004BF566D06 Time : 1323.0 sec. user=vaughan [2009-02-25 10:45:01] 633*2^622698-1 is not prime. Res64: BBF5F4CB35C9E370 Time : 359.0 sec. user=vaughan [2009-02-25 10:46:48] 751*2^622633-1 is not prime. Res64: 1C53C11143C007A5 Time : 20522.0 sec. user=vaughan [2009-02-25 10:50:59] 741*2^622699-1 is not prime. Res64: 9F8321FC5F255110 Time : 358.0 sec. user=vaughan [2009-02-25 10:53:05] 645*2^622634-1 is not prime. Res64: B294AFDE9433631F Time : 20899.0 sec. user=vaughan [2009-02-25 10:56:06] 615*2^622670-1 is not prime. Res64: 459F12914F8DB949 Time : 12831.0 sec. user=vaughan [2009-02-25 10:56:56] 609*2^622700-1 is not prime. Res64: 92C14458E924A297 Time : 357.0 sec. user=vaughan [2009-02-25 10:59:22] 651*2^622634-1 is not prime. Res64: 509F76045EFA95B6 Time : 21275.0 sec. user=vaughan [2009-02-25 11:02:53] 753*2^622700-1 is not prime. Res64: 5C06BEF297DB836D Time : 357.0 sec. user=tnerual [2009-02-25 11:02:59] 633*2^622699-1 is not prime. Res64: 0906D9E4AA20A057 Time : 1324.0 sec. user=vaughan [2009-02-25 11:05:37] 657*2^622634-1 is not prime. Res64: BD95629CC2D1CD58 Time : 21650.0 sec. user=vaughan [2009-02-25 11:08:51] 639*2^622701-1 is not prime. Res64: DAAC286C3CB20569 Time : 358.0 sec. user=vaughan [2009-02-25 11:11:33] 789*2^621135-1 is not prime. Res64: 22BA27E98C84CF7F Time : 65581.0 sec. user=vaughan [2009-02-25 11:11:53] 755*2^622634-1 is not prime. Res64: E9C8C7A74A5F1BBF Time : 22025.0 sec. user=vaughan [2009-02-25 11:13:25] 617*2^622676-1 is not prime. Res64: C938FF9520F30C3E Time : 12443.0 sec. user=vaughan [2009-02-25 11:14:48] 781*2^622701-1 is not prime. Res64: 86F68D1AFE329B78 Time : 358.0 sec. user=vaughan [2009-02-25 11:18:09] 649*2^622635-1 is not prime. Res64: DAEF90901381181E Time : 22401.0 sec. user=vaughan [2009-02-25 11:20:45] 741*2^622702-1 is not prime. Res64: EAFB4361B3CEE091 Time : 357.0 sec. user=vaughan [2009-02-25 11:24:28] 685*2^622635-1 is not prime. Res64: 7885B4C80266E08F Time : 22779.0 sec. user=tnerual [2009-02-25 11:24:59] 661*2^622701-1 is not prime. Res64: FDCB7A63D2637534 Time : 1323.0 sec. user=vaughan [2009-02-25 11:26:44] 633*2^622703-1 is not prime. Res64: 48AD0E645AD50712 Time : 359.0 sec. user=vaughan [2009-02-25 11:30:17] 675*2^622679-1 is not prime. Res64: 1C2C61B4C5DD31D1 Time : 12030.0 sec. user=vaughan [2009-02-25 11:30:48] 775*2^622635-1 is not prime. Res64: 8FF72CD9C3937FDA Time : 23159.0 sec. user=vaughan [2009-02-25 11:32:41] 789*2^622703-1 is not prime. Res64: 746F75779F1E2854 Time : 357.0 sec. user=vaughan [2009-02-25 11:37:07] 663*2^622636-1 is not prime. Res64: 4893BBD182F2240E Time : 23538.0 sec. user=vaughan [2009-02-25 11:38:38] 665*2^622704-1 is not prime. Res64: 592A9946E9DA5CC6 Time : 357.0 sec. user=vaughan [2009-02-25 11:43:26] 675*2^622636-1 is not prime. Res64: 1077400E2D22D643 Time : 23916.0 sec. user=vaughan [2009-02-25 11:44:23] 789*2^622704-1 is not prime. Res64: E8DB15B0EE3784AC Time : 345.0 sec. user=vaughan [2009-02-25 11:46:40] 679*2^622683-1 is not prime. Res64: 16FB5905E8A20384 Time : 11459.0 sec. user=tnerual [2009-02-25 11:47:02] 781*2^622703-1 is not prime. Res64: 295F79C5D4BF8FA3 Time : 1323.0 sec. user=vaughan [2009-02-25 11:49:38] 677*2^622636-1 is not prime. Res64: A1BE9C742F20D6F4 Time : 24288.0 sec. user=vaughan [2009-02-25 11:50:01] 687*2^622705-1 is not prime. Res64: 4FBA7D67A701671B Time : 338.0 sec. user=vaughan [2009-02-25 11:55:38] 633*2^622706-1 is not prime. Res64: 9AD5A3BFDA870084 Time : 337.0 sec. user=vaughan [2009-02-25 11:55:53] 705*2^622636-1 is not prime. Res64: C5DE0528E029DEA5 Time : 24662.0 sec. user=vaughan [2009-02-25 12:01:13] 651*2^622706-1 is not prime. Res64: D362ADE852CD25BA Time : 336.0 sec. user=vaughan [2009-02-25 12:02:09] 717*2^622636-1 is not prime. Res64: 175F51E3B590316A Time : 25038.0 sec. user=vaughan [2009-02-25 12:02:13] 649*2^622687-1 is not prime. Res64: A703075F442472D5 Time : 10965.0 sec. user=vaughan [2009-02-25 12:06:49] 703*2^622707-1 is not prime. Res64: 7E673C2A1C50987B Time : 336.0 sec. user=vaughan [2009-02-25 12:08:23] 719*2^622636-1 is not prime. Res64: FB7BDCBF02299640 Time : 25411.0 sec. user=tnerual [2009-02-25 12:09:04] 759*2^622705-1 is not prime. Res64: DFC0171BB64A6988 Time : 1322.0 sec. user=vaughan [2009-02-25 12:12:24] 629*2^622708-1 is not prime. Res64: 18354FBF1C4FA4BB Time : 335.0 sec. user=vaughan [2009-02-25 12:14:38] 777*2^622636-1 is not prime. Res64: FE474086BF046A49 Time : 25786.0 sec. user=vaughan [2009-02-25 12:18:01] 749*2^622708-1 is not prime. Res64: 677A8F35187D0C27 Time : 337.0 sec. user=vaughan [2009-02-25 12:20:53] 607*2^622637-1 is not prime. Res64: 670C2C9A51F8155A Time : 26160.0 sec. user=vaughan [2009-02-25 12:21:07] 753*2^622688-1 is not prime. Res64: F301F4CD978237B2 Time : 10698.0 sec. user=vaughan [2009-02-25 12:23:37] 797*2^622708-1 is not prime. Res64: A0CC1204B8A5A11D Time : 337.0 sec. user=vaughan [2009-02-25 12:27:08] 621*2^622637-1 is not prime. Res64: 72F37117D310970E Time : 26535.0 sec. user=vaughan [2009-02-25 12:29:14] 735*2^622709-1 is not prime. Res64: B18498AA9DC7047A Time : 337.0 sec. user=tnerual [2009-02-25 12:31:05] 695*2^622708-1 is not prime. Res64: 898198840C5621E5 Time : 1321.0 sec. user=vaughan [2009-02-25 12:33:25] 631*2^622637-1 is not prime. Res64: 367FCAB37E1631F1 Time : 26911.0 sec. user=vaughan [2009-02-25 12:34:50] 695*2^622710-1 is not prime. Res64: 8B25798623FA2DD9 Time : 336.0 sec. user=vaughan [2009-02-25 12:39:04] 711*2^622691-1 is not prime. Res64: D7F55DE96FDD4A87 Time : 10583.0 sec. user=vaughan [2009-02-25 12:39:40] 645*2^622637-1 is not prime. Res64: 85B369A9BCB18488 Time : 27285.0 sec. user=vaughan [2009-02-25 12:40:26] 755*2^622710-1 is not prime. Res64: 8B96EC39ED0BE5DC Time : 336.0 sec. user=vaughan [2009-02-25 12:45:52] 727*2^622637-1 is not prime. Res64: 5C5E2846B517FB14 Time : 27656.0 sec. user=vaughan [2009-02-25 12:46:03] 651*2^622711-1 is not prime. Res64: 3ED1B10E9CAC007F Time : 337.0 sec. user=vaughan [2009-02-25 12:51:39] 759*2^622711-1 is not prime. Res64: C8B68FD422E2E7A1 Time : 336.0 sec. user=vaughan [2009-02-25 12:52:07] 777*2^622637-1 is not prime. Res64: EACC69A6104AAB6B Time : 28031.0 sec. user=tnerual [2009-02-25 12:53:08] 725*2^622710-1 is not prime. Res64: 5D10FD7CC3C85B0D Time : 1323.0 sec. user=vaughan [2009-02-25 12:57:15] 603*2^622712-1 is not prime. Res64: FC1467AA0F3BD7FB Time : 336.0 sec. user=vaughan [2009-02-25 12:58:22] 605*2^622638-1 is not prime. Res64: 2AC0CC56F37AC30A Time : 28405.0 sec. user=vaughan [2009-02-25 12:58:41] 651*2^622693-1 is not prime. Res64: ABDBD0325F8F2BA5 Time : 10729.0 sec. user=vaughan [2009-02-25 13:02:51] 651*2^622714-1 is not prime. Res64: E4AE94A77C330AC4 Time : 336.0 sec. user=vaughan [2009-02-25 13:04:40] 765*2^622638-1 is not prime. Res64: 26C04635B6A4AF92 Time : 28783.0 sec. user=vaughan [2009-02-25 13:08:27] 773*2^622714-1 is not prime. Res64: 37B83370A82681A4 Time : 336.0 sec. user=vaughan [2009-02-25 13:10:54] 767*2^622638-1 is not prime. Res64: DDE75D58D48DE4F1 Time : 29156.0 sec. user=vaughan [2009-02-25 13:14:02] 609*2^622715-1 is not prime. Res64: AEB98EC99D6D6BED Time : 336.0 sec. user=tnerual [2009-02-25 13:15:09] 735*2^622713-1 is not prime. Res64: 15CA33E6F8C250FE Time : 1321.0 sec. user=vaughan [2009-02-25 13:15:15] 679*2^622695-1 is not prime. Res64: 892F29BE751DF4A2 Time : 10544.0 sec. user=vaughan [2009-02-25 13:17:09] 795*2^622638-1 is not prime. Res64: 6D69A969ABF67081 Time : 29531.0 sec. user=vaughan [2009-02-25 13:19:39] 669*2^622715-1 is not prime. Res64: C80AA2E19AD67F01 Time : 337.0 sec. user=vaughan [2009-02-25 13:23:23] 639*2^622639-1 is not prime. Res64: F4549DCD40AEFCE1 Time : 29905.0 sec. user=vaughan [2009-02-25 13:25:12] 693*2^622716-1 is not prime. Res64: 66D941AE7A5F382B Time : 333.0 sec. user=vaughan [2009-02-25 13:29:39] 661*2^622639-1 is not prime. Res64: 7FFE8A438E155892 Time : 30280.0 sec. user=vaughan [2009-02-25 13:30:51] 777*2^622716-1 is not prime. Res64: 83F95A71DE2DCD2A Time : 339.0 sec. user=vaughan [2009-02-25 13:31:52] 675*2^622697-1 is not prime. Res64: 3D6856A2323E2A4D Time : 10552.0 sec. user=vaughan [2009-02-25 13:35:54] 723*2^622639-1 is not prime. Res64: FA485E73D1C27C5B Time : 30655.0 sec. user=vaughan [2009-02-25 13:36:29] 621*2^622717-1 is not prime. Res64: 8FE6A21B15000206 Time : 339.0 sec. user=tnerual [2009-02-25 13:37:12] 679*2^622715-1 is not prime. Res64: A848085EC03FD554 Time : 1323.0 sec. user=vaughan [2009-02-25 13:42:07] 605*2^622718-1 is not prime. Res64: 20FDCA8F438148E2 Time : 338.0 sec. user=vaughan [2009-02-25 13:42:14] 615*2^622640-1 is not prime. Res64: E30A833C826ABCA7 Time : 31034.0 sec. user=vaughan [2009-02-25 13:47:27] 707*2^622700-1 is not prime. Res64: 8E52BCE11A8AE89E Time : 10281.0 sec. user=vaughan [2009-02-25 13:47:43] 741*2^622719-1 is not prime. Res64: A01D86A03B77DEB6 Time : 336.0 sec. user=vaughan [2009-02-25 13:48:32] 633*2^622640-1 is not prime. Res64: 4EC52FABDFAC2A16 Time : 31412.0 sec. user=vaughan [2009-02-25 13:53:19] 699*2^622720-1 is not prime. Res64: DB528F8EAE7355ED Time : 336.0 sec. user=vaughan [2009-02-25 13:54:51] 645*2^622640-1 is not prime. Res64: 46D2D80B65483883 Time : 31790.0 sec. user=vaughan [2009-02-25 13:58:58] 743*2^622720-1 is not prime. Res64: CEE3DA2931B8CBF2 Time : 339.0 sec. user=tnerual [2009-02-25 13:59:14] 711*2^622718-1 is not prime. Res64: C5B57CCFF1582BFB Time : 1323.0 sec. user=vaughan [2009-02-25 14:01:11] 665*2^622640-1 is not prime. Res64: 77ABDF9664CFB4FF Time : 32170.0 sec. user=vaughan [2009-02-25 14:03:55] 723*2^622702-1 is not prime. Res64: F92F789B377FB96B Time : 10230.0 sec. user=vaughan [2009-02-25 14:04:37] 759*2^622720-1 is not prime. Res64: E69BF9596FF6F755 Time : 339.0 sec. user=vaughan [2009-02-25 14:07:30] 717*2^622640-1 is not prime. Res64: 76A9C3674E31F076 Time : 32549.0 sec. user=vaughan [2009-02-25 14:10:19] 775*2^622721-1 is not prime. Res64: 6FAEF41DB4728C13 Time : 342.0 sec. user=vaughan [2009-02-25 14:13:47] 735*2^622640-1 is not prime. Res64: 536AB75233948673 Time : 32925.0 sec. user=vaughan [2009-02-25 14:15:59] 789*2^622721-1 is not prime. Res64: 348BDFFC2AA6FA9B Time : 340.0 sec. user=vaughan [2009-02-25 14:20:06] 747*2^622640-1 is not prime. Res64: 301ED82295AEF92B Time : 33304.0 sec. user=tnerual [2009-02-25 14:21:16] 785*2^622720-1 is not prime. Res64: 02EC70BB99965DB2 Time : 1323.0 sec. user=vaughan [2009-02-25 14:21:37] 635*2^622722-1 is not prime. Res64: 93BA8EF26CFAE4AF Time : 338.0 sec. user=vaughan [2009-02-25 14:22:00] 627*2^622704-1 is not prime. Res64: 2F770B34A9FE9A50 Time : 10303.0 sec. user=vaughan [2009-02-25 14:26:27] 755*2^622640-1 is not prime. Res64: C63A6822141C35A1 Time : 33684.0 sec. user=vaughan [2009-02-25 14:27:15] 695*2^622722-1 is not prime. Res64: B0FFFACDB02D5F17 Time : 338.0 sec. user=vaughan [2009-02-25 14:32:47] 767*2^622640-1 is not prime. Res64: C0B948257105DEE6 Time : 34064.0 sec. user=vaughan [2009-02-25 14:32:54] 603*2^622723-1 is not prime. Res64: 5B81E232967F08C2 Time : 339.0 sec. user=vaughan [2009-02-25 14:38:33] 625*2^622723-1 is not prime. Res64: 567B514C30A38F34 Time : 340.0 sec. user=vaughan [2009-02-25 14:39:07] 789*2^622640-1 is not prime. Res64: A2F9E467AAAA6481 Time : 34443.0 sec. user=vaughan [2009-02-25 14:40:37] 751*2^622705-1 is not prime. Res64: 562E160B96E1C9B0 Time : 10437.0 sec. user=tnerual [2009-02-25 14:43:19] 681*2^622722-1 is not prime. Res64: 58F078B54192A939 Time : 1324.0 sec. user=vaughan [2009-02-25 14:44:11] 675*2^622723-1 is not prime. Res64: BC4E5BBD1969C7A7 Time : 338.0 sec. user=vaughan [2009-02-25 14:45:27] 637*2^622641-1 is not prime. Res64: E9AC5028154B7F74 Time : 34823.0 sec. user=vaughan [2009-02-25 14:49:53] 667*2^622725-1 is not prime. Res64: 41D2572106F029A8 Time : 342.0 sec. user=vaughan [2009-02-25 14:51:46] 679*2^622641-1 is not prime. Res64: CDBF0DA006201C48 Time : 35202.0 sec. user=vaughan [2009-02-25 14:55:30] 741*2^622725-1 is not prime. Res64: A3E3325A7F19B925 Time : 338.0 sec. user=vaughan [2009-02-25 14:57:04] 793*2^622707-1 is not prime. Res64: 2A4B64B633FE7081 Time : 10491.0 sec. user=vaughan [2009-02-25 14:58:05] 705*2^622641-1 is not prime. Res64: CE227B9DCA6E84C3 Time : 35580.0 sec. user=vaughan [2009-02-25 15:01:13] 781*2^622725-1 is not prime. Res64: B27E9C0A41FF68BE Time : 343.0 sec. user=vaughan [2009-02-25 15:04:24] 645*2^622642-1 is not prime. Res64: 4A346C21C49B288B Time : 35959.0 sec. user=tnerual [2009-02-25 15:05:21] 651*2^622725-1 is not prime. Res64: D9143B1C9049E95A Time : 1323.0 sec. user=vaughan [2009-02-25 15:07:13] 673*2^622015-1 is not prime. Res64: C08F4A2010DB7464 Time : 360.0 sec. user=vaughan [2009-02-25 15:07:49] 657*2^621138-1 is not prime. Res64: D74C1258BC4300B7 Time : 78889.0 sec. user=vaughan [2009-02-25 15:08:18] 657*2^622490-1 is not prime. Res64: D830752C7E184A9F Time : 84333.0 sec. user=vaughan [2009-02-25 15:11:19] 665*2^622642-1 is not prime. Res64: 12DDA55854DC2D4B Time : 36373.0 sec. user=vaughan [2009-02-25 15:12:46] 729*2^622709-1 is not prime. Res64: 575703EA072FAB86 Time : 10300.0 sec. user=vaughan [2009-02-25 15:13:13] 741*2^622727-1 is not prime. Res64: C6F71A38F3D98626 Time : 360.0 sec. user=vaughan [2009-02-25 15:15:01] 603*2^622492-1 is not prime. Res64: D7A0EAFA93BE218E Time : 84080.0 sec. user=vaughan [2009-02-25 15:17:38] 679*2^622643-1 is not prime. Res64: 4834DD55E1ECF9C8 Time : 36752.0 sec. user=vaughan [2009-02-25 15:19:11] 657*2^622728-1 is not prime. Res64: 44ADEBF2D59B1F97 Time : 359.0 sec. user=vaughan [2009-02-25 15:23:58] 693*2^622643-1 is not prime. Res64: E9F4B02D7E3F1612 Time : 37131.0 sec. user=vaughan [2009-02-25 15:25:07] 707*2^622728-1 is not prime. Res64: 13B6A3835D368F12 Time : 356.0 sec. user=tnerual [2009-02-25 15:27:24] 703*2^622727-1 is not prime. Res64: 6B949AC325A96152 Time : 1324.0 sec. user=vaughan [2009-02-25 15:28:21] 791*2^622710-1 is not prime. Res64: B7E233A67056C88B Time : 10157.0 sec. user=vaughan [2009-02-25 15:30:16] 609*2^622644-1 is not prime. Res64: BD2EA79157F8E3DA Time : 37509.0 sec. user=vaughan [2009-02-25 15:31:06] 773*2^622728-1 is not prime. Res64: 1B61067E01274B59 Time : 359.0 sec. user=vaughan [2009-02-25 15:31:15] 757*2^622493-1 is not prime. Res64: 973ED76D6D90044F Time : 83904.0 sec. user=vaughan [2009-02-25 15:36:36] 693*2^622644-1 is not prime. Res64: A398339D0148211D Time : 37889.0 sec. user=vaughan [2009-02-25 15:37:05] 603*2^622730-1 is not prime. Res64: 347B33B91528C0E0 Time : 360.0 sec. user=vaughan [2009-02-25 15:37:59] 657*2^622498-1 is not prime. Res64: 8BE73823AFF83F52 Time : 83670.0 sec. user=vaughan [2009-02-25 15:42:55] 789*2^622644-1 is not prime. Res64: 7B20F8B69779BAA0 Time : 38267.0 sec. user=vaughan [2009-02-25 15:43:01] 675*2^622730-1 is not prime. Res64: 7110930E8A97D695 Time : 356.0 sec. user=vaughan [2009-02-25 15:43:51] 701*2^622714-1 is not prime. Res64: CC71AA06BA31F9BA Time : 9910.0 sec. user=vaughan [2009-02-25 15:49:00] 783*2^622730-1 is not prime. Res64: FA5471117A9BAC65 Time : 359.0 sec. user=vaughan [2009-02-25 15:49:14] 751*2^622647-1 is not prime. Res64: BC4F9A3A7963F7EF Time : 38282.0 sec. user=tnerual [2009-02-25 15:49:26] 789*2^622728-1 is not prime. Res64: E55CC733F8F63435 Time : 1323.0 sec. user=vaughan [2009-02-25 15:55:00] 709*2^622731-1 is not prime. Res64: AA1FABAD5E0CC903 Time : 361.0 sec. user=vaughan [2009-02-25 15:55:33] 697*2^622649-1 is not prime. Res64: 8DDFB4160A9F7846 Time : 38269.0 sec. user=vaughan [2009-02-25 15:59:10] 705*2^622715-1 is not prime. Res64: 864AF8A6BD6104FB Time : 9835.0 sec. user=vaughan [2009-02-25 16:00:59] 685*2^622733-1 is not prime. Res64: B05864397498A129 Time : 359.0 sec. user=vaughan [2009-02-25 16:01:51] 759*2^622651-1 is not prime. Res64: 45C1E92FE9CE4088 Time : 38214.0 sec. user=vaughan [2009-02-25 16:06:56] 725*2^622734-1 is not prime. Res64: 2926B3DD932C4218 Time : 357.0 sec. user=vaughan [2009-02-25 16:08:11] 633*2^622652-1 is not prime. Res64: 4ACA7C6568E9D061 Time : 38200.0 sec. user=tnerual [2009-02-25 16:11:27] 695*2^622732-1 is not prime. Res64: A95E6C4F9902F4B9 Time : 1321.0 sec. user=vaughan [2009-02-25 16:12:54] 747*2^622734-1 is not prime. Res64: F03663102588EC73 Time : 358.0 sec. user=vaughan [2009-02-25 16:14:32] 609*2^622653-1 is not prime. Res64: 04753DC80F1D3C03 Time : 38195.0 sec. user=vaughan [2009-02-25 16:14:43] 645*2^622717-1 is not prime. Res64: D0099B082899227A Time : 9771.0 sec. user=vaughan [2009-02-25 16:19:02] 617*2^622736-1 is not prime. Res64: 1165997959DC66D4 Time : 369.0 sec. user=vaughan [2009-02-25 16:20:54] 655*2^622655-1 is not prime. Res64: 41E8690E0329743A Time : 38185.0 sec. user=vaughan [2009-02-25 16:23:45] 609*2^621141-1 is not prime. Res64: A01E79511DE0A757 Time : 82834.0 sec. user=vaughan [2009-02-25 16:25:00] 601*2^622737-1 is not prime. Res64: 2437141F165C4B54 Time : 358.0 sec. user=vaughan [2009-02-25 16:27:15] 789*2^622655-1 is not prime. Res64: 990C0B5BC37EF7A6 Time : 38174.0 sec. user=vaughan [2009-02-25 16:30:14] 677*2^622720-1 is not prime. Res64: 3C358B910BE4F0F5 Time : 9768.0 sec. user=vaughan [2009-02-25 16:30:59] 625*2^622737-1 is not prime. Res64: 068CF4732CC15EAF Time : 359.0 sec. user=tnerual [2009-02-25 16:33:29] 705*2^622735-1 is not prime. Res64: CEAA9095BF129033 Time : 1323.0 sec. user=vaughan [2009-02-25 16:33:35] 675*2^622656-1 is not prime. Res64: 7C760E662B8922C5 Time : 38161.0 sec. user=vaughan [2009-02-25 16:36:55] 611*2^622738-1 is not prime. Res64: FE6717EA11711AC0 Time : 357.0 sec. user=vaughan [2009-02-25 16:39:54] 783*2^621143-1 is not prime. Res64: 4F32411DFDFAB257 Time : 82611.0 sec. user=vaughan [2009-02-25 16:39:59] 717*2^622657-1 is not prime. Res64: 58E83848E71338E2 Time : 38153.0 sec. user=vaughan [2009-02-25 16:42:53] 745*2^622739-1 is not prime. Res64: C1EFC91956AD2280 Time : 358.0 sec. user=vaughan [2009-02-25 16:46:15] 635*2^622658-1 is not prime. Res64: 7F227795598E9DD7 Time : 38137.0 sec. user=vaughan [2009-02-25 16:46:41] 677*2^622498-1 is not prime. Res64: AEF396BA3D11361E Time : 82418.0 sec. user=vaughan [2009-02-25 16:48:50] 783*2^622740-1 is not prime. Res64: B5E7D30EBE4F3083 Time : 357.0 sec. user=vaughan [2009-02-25 16:49:51] 741*2^622721-1 is not prime. Res64: 7D9D595E721303F2 Time : 9957.0 sec. user=vaughan [2009-02-25 16:52:35] 683*2^622658-1 is not prime. Res64: 624F88A08597614A Time : 38127.0 sec. user=vaughan [2009-02-25 16:54:49] 685*2^622741-1 is not prime. Res64: B2FA69DFC83C86C6 Time : 359.0 sec. user=tnerual [2009-02-25 16:55:30] 601*2^622739-1 is not prime. Res64: 394F3C894C8AAC27 Time : 1322.0 sec. user=vaughan [2009-02-25 16:58:59] 605*2^622660-1 is not prime. Res64: 91A0FCF8D9702D37 Time : 38118.0 sec. user=vaughan [2009-02-25 17:00:47] 745*2^622743-1 is not prime. Res64: B68040B6107D82F9 Time : 358.0 sec. user=vaughan [2009-02-25 17:02:49] 625*2^622501-1 is not prime. Res64: 215E9FAF715AD84B Time : 82190.0 sec. user=vaughan [2009-02-25 17:05:21] 699*2^622660-1 is not prime. Res64: 54CC3B9A34C7ABC6 Time : 38111.0 sec. user=vaughan [2009-02-25 17:05:38] 723*2^622722-1 is not prime. Res64: 32824E2F22FC2AC1 Time : 9818.0 sec. user=vaughan [2009-02-25 17:06:44] 687*2^622744-1 is not prime. Res64: 221AC14EDD3925F2 Time : 357.0 sec. user=vaughan [2009-02-25 17:09:37] 639*2^622503-1 is not prime. Res64: BB7B25B18F3989CC Time : 82001.0 sec. user=vaughan [2009-02-25 17:11:42] 711*2^622662-1 is not prime. Res64: 4D65320EBDD1C6C0 Time : 38104.0 sec. user=vaughan [2009-02-25 17:12:43] 685*2^622745-1 is not prime. Res64: BE491C755ED1F627 Time : 359.0 sec. user=tnerual [2009-02-25 17:17:32] 623*2^622744-1 is not prime. Res64: 1D5FD5BB8B763B51 Time : 1322.0 sec. user=vaughan [2009-02-25 17:18:01] 729*2^622663-1 is not prime. Res64: 224EC6D09F6CEA83 Time : 38089.0 sec. user=vaughan [2009-02-25 17:18:41] 717*2^622745-1 is not prime. Res64: 57AC36F143BC8687 Time : 359.0 sec. user=vaughan [2009-02-25 17:22:51] 601*2^622725-1 is not prime. Res64: A5723840AAD427CB Time : 9734.0 sec. user=vaughan [2009-02-25 17:24:23] 683*2^622664-1 is not prime. Res64: 3507F774238F523E Time : 38082.0 sec. user=vaughan [2009-02-25 17:24:42] 747*2^622746-1 is not prime. Res64: 06C0B5360F38185E Time : 361.0 sec. user=vaughan [2009-02-25 17:25:44] 741*2^622505-1 is not prime. Res64: CC9EAEE206ECDBB9 Time : 81768.0 sec. user=vaughan [2009-02-25 17:30:42] 691*2^622747-1 is not prime. Res64: 66950E4D70534F0E Time : 361.0 sec. user=vaughan [2009-02-25 17:30:43] 679*2^622665-1 is not prime. Res64: F6512218EB493666 Time : 38068.0 sec. user=vaughan [2009-02-25 17:32:32] 797*2^622508-1 is not prime. Res64: 673D47B0D577EA94 Time : 81581.0 sec. user=vaughan [2009-02-25 17:36:40] 769*2^622747-1 is not prime. Res64: D6FF12DA4D55F654 Time : 358.0 sec. user=vaughan [2009-02-25 17:37:04] 675*2^622667-1 is not prime. Res64: BB240E2DA01D4D72 Time : 38065.0 sec. user=tnerual [2009-02-25 17:39:34] 777*2^622745-1 is not prime. Res64: 2E263A813B1A582E Time : 1323.0 sec. user=vaughan [2009-02-25 17:42:38] 743*2^622748-1 is not prime. Res64: 37D80C8B99330CE1 Time : 358.0 sec. user=vaughan [2009-02-25 17:42:48] 657*2^622726-1 is not prime. Res64: CC13F5C97C564320 Time : 9944.0 sec. user=vaughan [2009-02-25 17:43:24] 695*2^622668-1 is not prime. Res64: 784AC8CC7ABBD6CF Time : 38059.0 sec. user=vaughan [2009-02-25 17:48:36] 645*2^622750-1 is not prime. Res64: 1D6E4FF12D42A616 Time : 358.0 sec. user=vaughan [2009-02-25 17:48:40] 641*2^622514-1 is not prime. Res64: 34FBB0F3FCDB15B0 Time : 81345.0 sec. user=vaughan [2009-02-25 17:49:41] 741*2^621802-1 is not prime. Res64: 129F25AEA939F002 Time : 38049.0 sec. user=vaughan [2009-02-25 17:54:34] 741*2^622750-1 is not prime. Res64: 9B87C45B242C8025 Time : 358.0 sec. user=vaughan [2009-02-25 17:55:28] 613*2^622515-1 is not prime. Res64: 2232598F0F438463 Time : 81164.0 sec. user=vaughan [2009-02-25 17:56:02] 751*2^622669-1 is not prime. Res64: 7BBAD3BB5420DC8E Time : 38039.0 sec. user=vaughan [2009-02-25 17:58:42] 605*2^622728-1 is not prime. Res64: DB86B04C5FA89F3E Time : 9956.0 sec. user=vaughan [2009-02-25 18:00:31] 791*2^622750-1 is not prime. Res64: 636CF47B94E687DB Time : 357.0 sec. user=tnerual [2009-02-25 18:01:36] 789*2^622749-1 is not prime. Res64: 1C57C87CBDE6B150 Time : 1323.0 sec. user=vaughan [2009-02-25 18:04:15] 753*2^622670-1 is not prime. Res64: AC74F6419F016F0A Time : 38145.0 sec. user=vaughan [2009-02-25 18:06:29] 741*2^622751-1 is not prime. Res64: 2F7239DEE6DE09CD Time : 358.0 sec. user=vaughan [2009-02-25 18:11:35] 761*2^622518-1 is not prime. Res64: 11C17D50CD81AA8E Time : 80920.0 sec. user=vaughan [2009-02-25 18:12:28] 693*2^622752-1 is not prime. Res64: BB20EA69E3497EBC Time : 359.0 sec. user=vaughan [2009-02-25 18:14:18] 747*2^622729-1 is not prime. Res64: 1A9F409EB4185E5B Time : 9957.0 sec. user=vaughan [2009-02-25 18:17:53] 741*2^622673-1 is not prime. Res64: 3FC676778B6BBD7B Time : 38579.0 sec. user=vaughan [2009-02-25 18:18:21] 783*2^621274-1 is not prime. Res64: CD30514BAF229FB6 Time : 80743.0 sec. user=vaughan [2009-02-25 18:18:25] 699*2^622752-1 is not prime. Res64: 530CE06BF5B5471F Time : 358.0 sec. user=tnerual [2009-02-25 18:23:38] 745*2^622751-1 is not prime. Res64: 5137B368C2773477 Time : 1323.0 sec. user=vaughan [2009-02-25 18:24:23] 765*2^622752-1 is not prime. Res64: 8B79EE5E2A2D9593 Time : 358.0 sec. user=vaughan [2009-02-25 18:30:22] 651*2^622753-1 is not prime. Res64: ACF88917CAA998A8 Time : 359.0 sec. user=vaughan [2009-02-25 18:30:53] 797*2^622674-1 is not prime. Res64: D7CE82F4399C1082 Time : 38973.0 sec. user=vaughan [2009-02-25 18:31:11] 797*2^622730-1 is not prime. Res64: 7B3F824F27138FEC Time : 10041.0 sec. user=vaughan [2009-02-25 18:34:31] 651*2^622525-1 is not prime. Res64: 2C65B28E31ED7D14 Time : 80496.0 sec. user=vaughan [2009-02-25 18:36:19] 687*2^622753-1 is not prime. Res64: 9BC565C36F7A31A4 Time : 358.0 sec. user=vaughan [2009-02-25 18:37:11] 677*2^622676-1 is not prime. Res64: 58A5D5E00AEE633C Time : 38959.0 sec. user=vaughan [2009-02-25 18:41:17] 717*2^622526-1 is not prime. Res64: 26548143098B06D3 Time : 80327.0 sec. user=vaughan [2009-02-25 18:42:18] 753*2^622754-1 is not prime. Res64: D3D177CB24743BBB Time : 359.0 sec. user=vaughan [2009-02-25 18:43:24] 621*2^622677-1 is not prime. Res64: 2D8AFF80AB397783 Time : 38943.0 sec. user=tnerual [2009-02-25 18:45:40] 609*2^622753-1 is not prime. Res64: 8F4A78750A3520DB Time : 1323.0 sec. user=vaughan [2009-02-25 18:48:16] 649*2^622755-1 is not prime. Res64: 37AEE21A0101B2F9 Time : 358.0 sec. user=vaughan [2009-02-25 18:49:39] 617*2^622678-1 is not prime. Res64: 4AD3963E5A0B847A Time : 38931.0 sec. user=vaughan [2009-02-25 18:50:34] 683*2^622734-1 is not prime. Res64: 945731C4FF9C72C5 Time : 10285.0 sec. user=vaughan [2009-02-25 18:54:15] 657*2^622756-1 is not prime. Res64: 9E517A0C68ABA80E Time : 360.0 sec. user=vaughan [2009-02-25 18:55:52] 645*2^622679-1 is not prime. Res64: AFCAE6DE5C0D43A1 Time : 38912.0 sec. user=vaughan [2009-02-25 18:57:28] 747*2^622754-1 is not prime. Res64: 51DF566BC1BA6B2B Time : 1378.0 sec. user=vaughan [2009-02-25 19:00:07] 697*2^622757-1 is not prime. Res64: 3458168D900D2B67 Time : 352.0 sec. user=vaughan [2009-02-25 19:02:05] 723*2^622680-1 is not prime. Res64: D6AC1479338C487E Time : 38901.0 sec. user=vaughan [2009-02-25 19:04:14] 639*2^622755-1 is not prime. Res64: B8A9AC89049BF427 Time : 1377.0 sec. user=vaughan [2009-02-25 19:06:03] 713*2^622758-1 is not prime. Res64: 7BA6F24552B96A12 Time : 356.0 sec. user=vaughan [2009-02-25 19:06:58] 773*2^622736-1 is not prime. Res64: 325E88076E726E3A Time : 10335.0 sec. user=vaughan [2009-02-25 19:08:22] 759*2^622680-1 is not prime. Res64: 494DF4CFF8CE3D58 Time : 38890.0 sec. user=vaughan [2009-02-25 19:12:02] 625*2^622759-1 is not prime. Res64: E682B12C21971CB5 Time : 359.0 sec. user=tnerual [2009-02-25 19:13:43] 609*2^622756-1 is not prime. Res64: 250C2C0E2DC3C145 Time : 1684.0 sec. user=vaughan [2009-02-25 19:14:38] 615*2^622681-1 is not prime. Res64: 6A42191D4CB1BFA8 Time : 38873.0 sec. user=vaughan [2009-02-25 19:18:00] 705*2^622759-1 is not prime. Res64: 357B867B04D6E012 Time : 359.0 sec. user=vaughan [2009-02-25 19:20:29] 647*2^622758-1 is not prime. Res64: 4B5E0F4E7673DF9F Time : 1381.0 sec. user=vaughan [2009-02-25 19:20:52] 785*2^622682-1 is not prime. Res64: 9C4F50BD1285ED6E Time : 38859.0 sec. user=vaughan [2009-02-25 19:23:57] 603*2^622760-1 is not prime. Res64: 0BCF0DD6E146718C Time : 357.0 sec. user=vaughan [2009-02-25 19:24:46] 769*2^622737-1 is not prime. Res64: A122B8B2B48C7DD3 Time : 10473.0 sec. user=vaughan [2009-02-25 19:27:08] 739*2^622683-1 is not prime. Res64: 5671F99E3520595B Time : 38857.0 sec. user=vaughan [2009-02-25 19:27:12] 609*2^622759-1 is not prime. Res64: F048B788980E8E43 Time : 1378.0 sec. user=vaughan [2009-02-25 19:29:55] 717*2^622760-1 is not prime. Res64: 719721019FFFC094 Time : 358.0 sec. user=vaughan [2009-02-25 19:33:21] 735*2^622685-1 is not prime. Res64: 1C909BB13925E4AD Time : 38836.0 sec. user=vaughan [2009-02-25 19:35:52] 617*2^622762-1 is not prime. Res64: 151AB1E92D8D9CE3 Time : 358.0 sec. user=vaughan [2009-02-25 19:39:36] 741*2^622686-1 is not prime. Res64: 78B30771C6A42334 Time : 38815.0 sec. user=vaughan [2009-02-25 19:41:49] 623*2^622762-1 is not prime. Res64: AA0B384FBCC3B589 Time : 357.0 sec. user=vaughan [2009-02-25 19:42:19] 715*2^622741-1 is not prime. Res64: ED41B3CBDA06414E Time : 10348.0 sec. user=vaughan [2009-02-25 19:43:27] 677*2^622760-1 is not prime. Res64: 2EDFC6747489B79D Time : 1379.0 sec. user=vaughan [2009-02-25 19:45:56] 645*2^622687-1 is not prime. Res64: 6D36B22A9E14B0C7 Time : 38809.0 sec. user=vaughan [2009-02-25 19:47:45] 741*2^622762-1 is not prime. Res64: E3CAC6138DBA1F6C Time : 356.0 sec. user=vaughan [2009-02-25 19:50:11] 727*2^622761-1 is not prime. Res64: 6D29843A99F49F8E Time : 1379.0 sec. user=vaughan [2009-02-25 19:52:15] 751*2^622687-1 is not prime. Res64: FE508050EEAC76DA Time : 38812.0 sec. user=vaughan [2009-02-25 19:53:44] 715*2^622763-1 is not prime. Res64: 5E26CA96C1B0C1E3 Time : 359.0 sec. user=vaughan [2009-02-25 19:58:34] 615*2^622688-1 is not prime. Res64: 928082F39E53622E Time : 38807.0 sec. user=vaughan [2009-02-25 19:59:39] 645*2^622745-1 is not prime. Res64: 63FA53DB37CC1DC3 Time : 10441.0 sec. user=vaughan [2009-02-25 19:59:43] 783*2^622763-1 is not prime. Res64: ADF0E860FECB771A Time : 360.0 sec. user=tnerual [2009-02-25 20:02:29] 741*2^622759-1 is not prime. Res64: 92FA1C054D03B0CC Time : 2926.0 sec. user=vaughan [2009-02-25 20:04:54] 687*2^622688-1 is not prime. Res64: 42335779CF72986E Time : 38805.0 sec. user=vaughan [2009-02-25 20:05:41] 705*2^622764-1 is not prime. Res64: C0BA029B2962F8DE Time : 358.0 sec. user=vaughan [2009-02-25 20:06:24] 633*2^622763-1 is not prime. Res64: 7F2DF8E3C4666D2C Time : 1377.0 sec. user=vaughan [2009-02-25 20:11:15] 767*2^622688-1 is not prime. Res64: 8E430BC42C87928B Time : 38805.0 sec. user=vaughan [2009-02-25 20:11:43] 765*2^622764-1 is not prime. Res64: 69837DB4B984F721 Time : 362.0 sec. user=vaughan [2009-02-25 20:13:08] 741*2^622763-1 is not prime. Res64: EC1D96540588D8DA Time : 1378.0 sec. user=vaughan [2009-02-25 20:16:02] 645*2^622747-1 is not prime. Res64: 42234B2A82C99D93 Time : 10392.0 sec. user=vaughan [2009-02-25 20:17:37] 657*2^622689-1 is not prime. Res64: 989080FB93C68BD1 Time : 38808.0 sec. user=vaughan [2009-02-25 20:17:42] 679*2^622765-1 is not prime. Res64: D80B523E9D3B8A9F Time : 360.0 sec. user=vaughan [2009-02-25 20:23:42] 619*2^622767-1 is not prime. Res64: 9CA4929028BFAE4A Time : 360.0 sec. user=vaughan [2009-02-25 20:24:02] 701*2^622690-1 is not prime. Res64: 44C5A7D94C13F85B Time : 38819.0 sec. user=tnerual [2009-02-25 20:24:31] 749*2^622764-1 is not prime. Res64: 3FF9536EDABD8562 Time : 1323.0 sec. user=vaughan [2009-02-25 20:29:22] 767*2^622764-1 is not prime. Res64: 5840F0D7D31E2EE9 Time : 1378.0 sec. user=vaughan [2009-02-25 20:29:40] 669*2^622767-1 is not prime. Res64: 62DB764785134EF1 Time : 358.0 sec. user=vaughan [2009-02-25 20:30:23] 741*2^622691-1 is not prime. Res64: 645615567B1AD5B9 Time : 38819.0 sec. user=vaughan [2009-02-25 20:32:45] 647*2^622750-1 is not prime. Res64: CA5CA8178D23E6A4 Time : 10197.0 sec. user=vaughan [2009-02-25 20:35:38] 657*2^622768-1 is not prime. Res64: 1E568F1D41530B7E Time : 358.0 sec. user=vaughan [2009-02-25 20:36:08] 771*2^622765-1 is not prime. Res64: 1FDB437B28A49AB6 Time : 1380.0 sec. user=vaughan [2009-02-25 20:36:42] 635*2^622692-1 is not prime. Res64: 068591FE8DF25CC2 Time : 38821.0 sec. user=vaughan [2009-02-25 20:41:36] 777*2^622768-1 is not prime. Res64: 4A42100B678308AD Time : 358.0 sec. user=vaughan [2009-02-25 20:43:00] 699*2^622692-1 is not prime. Res64: 7C743D7F5FBA5078 Time : 38817.0 sec. user=tnerual [2009-02-25 20:46:32] 605*2^622768-1 is not prime. Res64: F0782F0B968C3FE8 Time : 1322.0 sec. user=vaughan [2009-02-25 20:47:35] 639*2^622771-1 is not prime. Res64: 1D7EEBC8D61DF7BE Time : 359.0 sec. user=vaughan [2009-02-25 20:49:23] 615*2^622694-1 is not prime. Res64: 9CD1913CA487B8FE Time : 38812.0 sec. user=vaughan [2009-02-25 20:49:40] 703*2^622751-1 is not prime. Res64: D39EBD652FBA181B Time : 10258.0 sec. user=vaughan [2009-02-25 20:52:20] 645*2^622768-1 is not prime. Res64: 250333B39E89B400 Time : 1378.0 sec. user=vaughan [2009-02-25 20:53:32] 693*2^622771-1 is not prime. Res64: B04707BED7F301A1 Time : 358.0 sec. user=vaughan [2009-02-25 20:55:46] 683*2^622694-1 is not prime. Res64: 7A0262FFA5D7CC10 Time : 38817.0 sec. user=vaughan [2009-02-25 20:59:07] 651*2^622770-1 is not prime. Res64: 9B93CA25431C9A84 Time : 1380.0 sec. user=vaughan [2009-02-25 20:59:30] 719*2^622772-1 is not prime. Res64: F8666F83AA719CFE Time : 358.0 sec. user=vaughan [2009-02-25 21:02:05] 707*2^622694-1 is not prime. Res64: 792789C90B4AFC85 Time : 38817.0 sec. user=vaughan [2009-02-25 21:05:27] 741*2^622773-1 is not prime. Res64: 3865FFBDFBBDC55E Time : 357.0 sec. user=vaughan [2009-02-25 21:05:56] 719*2^622752-1 is not prime. Res64: D652F4FE178A04D4 Time : 10299.0 sec. user=vaughan [2009-02-25 21:08:24] 645*2^622696-1 is not prime. Res64: 69DED45516358E07 Time : 38813.0 sec. user=tnerual [2009-02-25 21:08:34] 679*2^622771-1 is not prime. Res64: 6CDB09B2877D5A92 Time : 1323.0 sec. user=vaughan [2009-02-25 21:11:25] 635*2^622774-1 is not prime. Res64: 3536F1CE9C2B44A5 Time : 358.0 sec. user=vaughan [2009-02-25 21:14:47] 777*2^622696-1 is not prime. Res64: 668B5087ACF2F6BB Time : 38819.0 sec. user=vaughan [2009-02-25 21:15:18] 687*2^622772-1 is not prime. Res64: E3E8A3A60B906CB9 Time : 1379.0 sec. user=vaughan [2009-02-25 21:17:27] 791*2^622774-1 is not prime. Res64: E6B326580F371948 Time : 362.0 sec. user=vaughan [2009-02-25 21:21:04] 615*2^622697-1 is not prime. Res64: 01CB2541961B26D5 Time : 38817.0 sec. user=vaughan [2009-02-25 21:22:06] 735*2^622773-1 is not prime. Res64: 10DF0F373BED8344 Time : 1380.0 sec. user=vaughan [2009-02-25 21:22:57] 743*2^622754-1 is not prime. Res64: D6844066D2C16B89 Time : 10306.0 sec. user=vaughan [2009-02-25 21:23:23] 629*2^622776-1 is not prime. Res64: 9C4E6C3E138D371E Time : 356.0 sec. user=vaughan [2009-02-25 21:27:27] 747*2^622698-1 is not prime. Res64: 20AB75E8D2577CF1 Time : 38819.0 sec. user=vaughan [2009-02-25 21:29:20] 751*2^622777-1 is not prime. Res64: 726F34B1002AC909 Time : 357.0 sec. user=tnerual [2009-02-25 21:30:41] 783*2^622774-1 is not prime. Res64: E7BA322BEBB4DA86 Time : 1327.0 sec. user=vaughan [2009-02-25 21:33:50] 793*2^622699-1 is not prime. Res64: 9436286573BA222A Time : 38823.0 sec. user=vaughan [2009-02-25 21:35:19] 603*2^622778-1 is not prime. Res64: 31AB47B5F3B73D05 Time : 360.0 sec. user=vaughan [2009-02-25 21:38:16] 693*2^622775-1 is not prime. Res64: CE8209FBADB9AA19 Time : 1378.0 sec. user=vaughan [2009-02-25 21:38:19] 627*2^622757-1 is not prime. Res64: 86CEEDFB1844C2F2 Time : 10065.0 sec. user=vaughan [2009-02-25 21:40:10] 665*2^622700-1 is not prime. Res64: AF3B7A1F65A9E27A Time : 38825.0 sec. user=vaughan [2009-02-25 21:41:16] 797*2^622778-1 is not prime. Res64: BFEA6CA41414E2AA Time : 358.0 sec. user=vaughan [2009-02-25 21:45:03] 609*2^622777-1 is not prime. Res64: 490D10B79E70CACA Time : 1378.0 sec. user=vaughan [2009-02-25 21:46:27] 785*2^622700-1 is not prime. Res64: 8F5C7823313F3AE3 Time : 38825.0 sec. user=vaughan [2009-02-25 21:47:15] 735*2^622779-1 is not prime. Res64: 02FBFDC7339C7E10 Time : 359.0 sec. user=tnerual [2009-02-25 21:52:44] 645*2^622778-1 is not prime. Res64: 20B400F38350A6FE Time : 1323.0 sec. user=vaughan [2009-02-25 21:52:48] 727*2^622701-1 is not prime. Res64: 217DD068BDFCE562 Time : 38831.0 sec. user=vaughan [2009-02-25 21:53:13] 605*2^622780-1 is not prime. Res64: CEC8639EFE40D27D Time : 359.0 sec. user=vaughan [2009-02-25 21:54:22] 663*2^622759-1 is not prime. Res64: B19B70E0DD01009F Time : 10044.0 sec. user=vaughan [2009-02-25 21:59:07] 795*2^622701-1 is not prime. Res64: 979BC576FFFF708B Time : 38834.0 sec. user=vaughan [2009-02-25 21:59:12] 777*2^622780-1 is not prime. Res64: 7E414604188C5C5D Time : 359.0 sec. user=vaughan [2009-02-25 22:01:15] 613*2^622779-1 is not prime. Res64: 295782BDF28DC195 Time : 1379.0 sec. user=vaughan [2009-02-25 22:05:10] 755*2^622782-1 is not prime. Res64: F7A85D43C26E2BE8 Time : 358.0 sec. user=vaughan [2009-02-25 22:05:27] 619*2^622703-1 is not prime. Res64: 8553D99317DE26BF Time : 38838.0 sec. user=vaughan [2009-02-25 22:08:02] 741*2^622779-1 is not prime. Res64: 43A6CFA4E554F7A3 Time : 1379.0 sec. user=vaughan [2009-02-25 22:11:07] 673*2^622783-1 is not prime. Res64: F02DB5213A8D0A6F Time : 357.0 sec. user=vaughan [2009-02-25 22:11:47] 705*2^622703-1 is not prime. Res64: 3723AA43B1FBE194 Time : 38839.0 sec. user=vaughan [2009-02-25 22:12:44] 767*2^622760-1 is not prime. Res64: 5B5A34EC9FC45BDF Time : 10078.0 sec. user=tnerual [2009-02-25 22:14:47] 675*2^622780-1 is not prime. Res64: 8CECCAE88A6728B1 Time : 1323.0 sec. user=vaughan [2009-02-25 22:17:06] 659*2^622784-1 is not prime. Res64: 3A0CF91B46FD5EC6 Time : 359.0 sec. user=vaughan [2009-02-25 22:18:09] 629*2^622704-1 is not prime. Res64: 987F302A4C6FF85E Time : 38842.0 sec. user=vaughan [2009-02-25 22:23:05] 777*2^622785-1 is not prime. Res64: E00E75114FE7F497 Time : 360.0 sec. user=vaughan [2009-02-25 22:24:12] 649*2^622783-1 is not prime. Res64: 432FB88AF2A23F75 Time : 1377.0 sec. user=vaughan [2009-02-25 22:24:33] 737*2^622704-1 is not prime. Res64: F76AF2794938EAE4 Time : 38846.0 sec. user=vaughan [2009-02-25 22:29:03] 611*2^622786-1 is not prime. Res64: 316A4DD875D49CE9 Time : 358.0 sec. user=vaughan [2009-02-25 22:30:03] 777*2^622762-1 is not prime. Res64: 8D2BFFB7147CA0B8 Time : 10065.0 sec. user=vaughan [2009-02-25 22:30:55] 661*2^622705-1 is not prime. Res64: F6A7968A78129147 Time : 38851.0 sec. user=vaughan [2009-02-25 22:30:59] 769*2^622783-1 is not prime. Res64: 45C1767FE7C96DBB Time : 1377.0 sec. user=vaughan [2009-02-25 22:34:59] 737*2^622786-1 is not prime. Res64: 43696A1E9E81F40C Time : 356.0 sec. user=tnerual [2009-02-25 22:36:54] 735*2^622785-1 is not prime. Res64: 9D9DFCCFCEEAD9F8 Time : 1327.0 sec. user=vaughan [2009-02-25 22:37:12] 617*2^622706-1 is not prime. Res64: 28396423ED7A03CB Time : 38854.0 sec. user=vaughan [2009-02-25 22:40:55] 685*2^622787-1 is not prime. Res64: 1D2235AD952707D3 Time : 356.0 sec. user=vaughan [2009-02-25 22:42:38] 615*2^621144-1 is not prime. Res64: 92ED25C0C8486043 Time : 104375.0 sec. user=vaughan [2009-02-25 22:43:32] 705*2^622706-1 is not prime. Res64: D5FBBBD376D0709D Time : 38859.0 sec. user=vaughan [2009-02-25 22:46:00] 693*2^622764-1 is not prime. Res64: 39BC25FE218F5480 Time : 9981.0 sec. user=vaughan [2009-02-25 22:46:54] 619*2^622789-1 is not prime. Res64: FAA5A6181101BC68 Time : 359.0 sec. user=vaughan [2009-02-25 22:47:11] 617*2^622786-1 is not prime. Res64: 5E7CC2286A951ABB Time : 1379.0 sec. user=vaughan [2009-02-25 22:49:55] 735*2^622707-1 is not prime. Res64: CB13CDC6DBCB0462 Time : 38866.0 sec. user=vaughan [2009-02-25 22:52:59] 691*2^622789-1 is not prime. Res64: 03B3736504DC3FD2 Time : 365.0 sec. user=vaughan [2009-02-25 22:54:00] 669*2^622787-1 is not prime. Res64: C2AD5A081D1D1490 Time : 1381.0 sec. user=vaughan [2009-02-25 22:56:16] 677*2^622708-1 is not prime. Res64: D40BCA1F89EB6EC2 Time : 38873.0 sec. user=vaughan [2009-02-25 22:58:54] 707*2^622790-1 is not prime. Res64: 5999FCD0F5E8AE2A Time : 355.0 sec. user=tnerual [2009-02-25 22:58:57] 715*2^622787-1 is not prime. Res64: DBD8B864C421190C Time : 1323.0 sec. user=vaughan [2009-02-25 23:02:39] 777*2^622708-1 is not prime. Res64: CEF5F66334EE76AF Time : 38881.0 sec. user=vaughan [2009-02-25 23:03:57] 663*2^622766-1 is not prime. Res64: CD8908E1D2D8A605 Time : 10075.0 sec. user=vaughan [2009-02-25 23:04:53] 741*2^622791-1 is not prime. Res64: 8E0E8240F6B8F247 Time : 359.0 sec. user=vaughan [2009-02-25 23:09:00] 631*2^622709-1 is not prime. Res64: FEA9792ACD694AF6 Time : 38887.0 sec. user=vaughan [2009-02-25 23:10:07] 605*2^622790-1 is not prime. Res64: 3504D74F683B6EC5 Time : 1377.0 sec. user=vaughan [2009-02-25 23:10:52] 765*2^622792-1 is not prime. Res64: 9195CEC4966B462B Time : 359.0 sec. user=vaughan [2009-02-25 23:15:20] 769*2^622709-1 is not prime. Res64: AFB71DD0B5F03942 Time : 38892.0 sec. user=vaughan [2009-02-25 23:16:50] 781*2^622793-1 is not prime. Res64: 0563CA23F394E8DE Time : 359.0 sec. user=vaughan [2009-02-25 23:16:59] 741*2^622790-1 is not prime. Res64: 57EEEFDCDCA712B8 Time : 1379.0 sec. user=vaughan [2009-02-25 23:19:39] 687*2^622768-1 is not prime. Res64: A24FE5BDA4EE4EE0 Time : 10014.0 sec. user=tnerual [2009-02-25 23:21:01] 781*2^622791-1 is not prime. Res64: 5CF54889C70F349F Time : 1324.0 sec. user=vaughan [2009-02-25 23:21:41] 747*2^622710-1 is not prime. Res64: DB7D789AB7962CC6 Time : 38896.0 sec. user=vaughan [2009-02-25 23:22:48] 671*2^622794-1 is not prime. Res64: 9A23A8C0D88C1C24 Time : 358.0 sec. user=vaughan [2009-02-25 23:28:16] 645*2^622711-1 is not prime. Res64: 2357BAC6B0453CF8 Time : 38916.0 sec. user=vaughan [2009-02-25 23:28:45] 619*2^622795-1 is not prime. Res64: A15929B178F18008 Time : 357.0 sec. user=vaughan [2009-02-25 23:33:07] 747*2^622793-1 is not prime. Res64: 03953641ECE51C1B Time : 1380.0 sec. user=vaughan [2009-02-25 23:34:39] 709*2^622711-1 is not prime. Res64: D764569D36D831DD Time : 38927.0 sec. user=vaughan [2009-02-25 23:34:44] 733*2^622795-1 is not prime. Res64: 4D4A816E328A55E0 Time : 359.0 sec. user=vaughan [2009-02-25 23:36:03] 629*2^622772-1 is not prime. Res64: D81D9E473C9D2419 Time : 9983.0 sec. user=vaughan [2009-02-25 23:39:57] 677*2^622794-1 is not prime. Res64: 576B5E0D075759D0 Time : 1378.0 sec. user=vaughan [2009-02-25 23:40:42] 699*2^622796-1 is not prime. Res64: 1F0AE5281AA90912 Time : 358.0 sec. user=vaughan [2009-02-25 23:40:56] 623*2^622712-1 is not prime. Res64: B1DFB92782AAC27D Time : 38929.0 sec. user=tnerual [2009-02-25 23:43:08] 725*2^622794-1 is not prime. Res64: 1F4E0F0FAD411E09 Time : 1328.0 sec. user=vaughan [2009-02-25 23:46:40] 717*2^622797-1 is not prime. Res64: 0B4D1DF9C9BD7E48 Time : 358.0 sec. user=vaughan [2009-02-25 23:47:15] 677*2^622714-1 is not prime. Res64: CC87A2D2A30FDBC5 Time : 38933.0 sec. user=vaughan [2009-02-25 23:52:41] 681*2^622798-1 is not prime. Res64: 946A1998C9F53ADA Time : 361.0 sec. user=vaughan [2009-02-25 23:53:35] 603*2^622715-1 is not prime. Res64: 59CE0733B7750A0D Time : 38936.0 sec. user=vaughan [2009-02-25 23:56:04] 783*2^622795-1 is not prime. Res64: ED5934E8BB740FBC Time : 1377.0 sec. user=vaughan [2009-02-25 23:58:04] 677*2^622774-1 is not prime. Res64: 9DEDF9F0B615573F Time : 10328.0 sec. user=vaughan [2009-02-25 23:58:39] 775*2^622093-1 is not prime. Res64: 322D51004DF27C45 Time : 359.0 sec. user=vaughan [2009-02-25 23:59:51] 651*2^622715-1 is not prime. Res64: F6335AD227B806A6 Time : 38937.0 sec.