user=mdettweiler [2010-03-26 20:19:19] 2001*2^250013-1 is not prime. Res64: 762A25575FE570B8 Time : 79.0 sec. user=kar_bon [2010-03-26 20:36:04] 2001*2^250031-1 is not prime. Res64: 6B901880DB2C80F5 Time : 69.0 sec. user=kar_bon [2010-03-26 20:37:13] 2001*2^250033-1 is not prime. Res64: C14C0206E8924601 Time : 69.0 sec. user=kar_bon [2010-03-26 20:38:22] 2001*2^250034-1 is not prime. Res64: 7ABB81C2C7E79E01 Time : 68.0 sec. user=kar_bon [2010-03-26 20:39:31] 2001*2^250046-1 is not prime. Res64: 98C668AE741E9D4B Time : 68.0 sec. user=kar_bon [2010-03-26 20:40:40] 2001*2^250057-1 is not prime. Res64: 2BAFC82616C155F8 Time : 69.0 sec. user=kar_bon [2010-03-26 20:41:49] 2001*2^250063-1 is not prime. Res64: E00A9827DCE7C4EB Time : 69.0 sec. user=kar_bon [2010-03-26 20:42:58] 2001*2^250081-1 is not prime. Res64: 2FB6EACF6E84FB99 Time : 69.0 sec. user=kar_bon [2010-03-26 20:44:06] 2001*2^250109-1 is not prime. Res64: 13FE655258A3E2B2 Time : 68.0 sec. user=kar_bon [2010-03-26 20:45:14] 2001*2^250111-1 is not prime. Res64: D4C4E21D797D0F24 Time : 68.0 sec. user=kar_bon [2010-03-26 20:46:23] 2001*2^250129-1 is not prime. Res64: A31AEFCCAF4FDC7E Time : 69.0 sec. user=kar_bon [2010-03-26 20:47:31] 2001*2^250130-1 is not prime. Res64: AE999D4B470DB47B Time : 68.0 sec. user=kar_bon [2010-03-26 20:48:39] 2001*2^250131-1 is not prime. Res64: 991947A005A54FF4 Time : 68.0 sec. user=kar_bon [2010-03-26 20:49:47] 2001*2^250166-1 is not prime. Res64: 8A3E54AF8AFCFA22 Time : 68.0 sec. user=kar_bon [2010-03-26 20:50:56] 2001*2^250213-1 is not prime. Res64: 69376974D77072F6 Time : 68.0 sec. user=kar_bon [2010-03-26 20:52:05] 2001*2^250221-1 is not prime. Res64: BF4BF752C9610DFF Time : 69.0 sec. user=kar_bon [2010-03-26 20:53:13] 2001*2^250269-1 is not prime. Res64: 07E97052A2313C4F Time : 68.0 sec. user=kar_bon [2010-03-26 20:54:23] 2001*2^250309-1 is not prime. Res64: BECFB3DD02FB98D9 Time : 69.0 sec. user=kar_bon [2010-03-26 20:55:31] 2001*2^250311-1 is not prime. Res64: 73CD02A7144C3FD4 Time : 68.0 sec. user=kar_bon [2010-03-26 20:56:41] 2001*2^250329-1 is not prime. Res64: 110E25BD03BEB770 Time : 70.0 sec. user=kar_bon [2010-03-26 20:58:14] 2001*2^250341-1 is not prime. Res64: 862E480B7C730C26 Time : 92.0 sec. user=kar_bon [2010-03-26 20:59:48] 2001*2^250343-1 is not prime. Res64: 7B540A69BDB1B9AF Time : 94.0 sec. user=kar_bon [2010-03-26 21:01:27] 2001*2^250349-1 is not prime. Res64: 460177ADD0D11F5F Time : 98.0 sec. user=kar_bon [2010-03-26 21:03:17] 2001*2^250371-1 is not prime. Res64: F9C6C1AC460B3896 Time : 110.0 sec. user=kar_bon [2010-03-26 21:04:57] 2001*2^250373-1 is not prime. Res64: 53E3771B25BAF371 Time : 99.0 sec. user=kar_bon [2010-03-26 21:06:24] 2001*2^250389-1 is not prime. Res64: 33CFBCA7A4E2F0F4 Time : 87.0 sec. user=kar_bon [2010-03-26 21:08:13] 2001*2^250394-1 is not prime. Res64: DD60966161B1E714 Time : 109.0 sec. user=kar_bon [2010-03-26 21:10:19] 2001*2^250431-1 is not prime. Res64: 11126A06EA694D8F Time : 126.0 sec. user=kar_bon [2010-03-26 21:11:45] 2001*2^250433-1 is not prime. Res64: D28BFCECC9017F14 Time : 86.0 sec. user=kar_bon [2010-03-26 21:13:18] 2001*2^250439-1 is not prime. Res64: 6F18AD7705DFADB0 Time : 93.0 sec. user=kar_bon [2010-03-26 21:14:48] 2001*2^250453-1 is not prime. Res64: C1365CC294F61611 Time : 90.0 sec. user=kar_bon [2010-03-26 21:16:00] 2001*2^250493-1 is not prime. Res64: BAC6C2C8259FFEAC Time : 71.0 sec. user=kar_bon [2010-03-26 21:17:09] 2001*2^250511-1 is not prime. Res64: 6C16EC738C8E0861 Time : 69.0 sec. user=kar_bon [2010-03-26 21:18:17] 2001*2^250523-1 is not prime. Res64: 085A6D6E06963511 Time : 68.0 sec. user=kar_bon [2010-03-26 21:19:25] 2001*2^250533-1 is not prime. Res64: 7FDBA445C26D11AD Time : 68.0 sec. user=kar_bon [2010-03-26 21:20:33] 2001*2^250537-1 is not prime. Res64: A16271BF015EAF37 Time : 67.0 sec. user=kar_bon [2010-03-26 21:22:05] 2001*2^250563-1 is not prime. Res64: C1F46EFFDC0D0E40 Time : 91.0 sec. user=kar_bon [2010-03-26 21:23:37] 2001*2^250581-1 is not prime. Res64: 02FEDEC499057467 Time : 91.0 sec. user=kar_bon [2010-03-26 21:25:09] 2001*2^250586-1 is not prime. Res64: 15EE303735270F44 Time : 91.0 sec. user=kar_bon [2010-03-26 21:26:41] 2001*2^250591-1 is not prime. Res64: 6915C85CA5C53A1F Time : 91.0 sec. user=kar_bon [2010-03-26 21:28:14] 2001*2^250601-1 is not prime. Res64: F6BF29CD944948B5 Time : 93.0 sec. user=kar_bon [2010-03-26 21:29:46] 2001*2^250611-1 is not prime. Res64: 338F50A8C6FC0517 Time : 92.0 sec. user=kar_bon [2010-03-26 21:31:17] 2001*2^250617-1 is not prime. Res64: 3A6D2EB02773165A Time : 91.0 sec. user=kar_bon [2010-03-26 21:32:49] 2001*2^250634-1 is not prime. Res64: 28DCE6158DE269C9 Time : 91.0 sec. user=kar_bon [2010-03-26 21:34:21] 2001*2^250649-1 is not prime. Res64: 6F0170DED3A9B1B5 Time : 91.0 sec. user=kar_bon [2010-03-26 21:35:53] 2001*2^250658-1 is not prime. Res64: 4BF6991D115D3F70 Time : 92.0 sec. user=kar_bon [2010-03-26 21:37:25] 2001*2^250659-1 is not prime. Res64: 34E28167B712E098 Time : 91.0 sec. user=kar_bon [2010-03-26 21:38:57] 2001*2^250679-1 is not prime. Res64: 6A0A6D6734D24315 Time : 92.0 sec. user=kar_bon [2010-03-26 21:40:28] 2001*2^250683-1 is not prime. Res64: E822E046CC66918A Time : 91.0 sec. user=kar_bon [2010-03-26 21:42:00] 2001*2^250711-1 is not prime. Res64: 14FF11A65D4E7FBB Time : 91.0 sec. user=kar_bon [2010-03-26 21:43:32] 2001*2^250737-1 is not prime. Res64: 8CE4E420B835094F Time : 92.0 sec. user=kar_bon [2010-03-26 21:45:04] 2001*2^250751-1 is not prime. Res64: 56C8F4E4EB7D490C Time : 92.0 sec. user=kar_bon [2010-03-26 21:46:37] 2001*2^250771-1 is not prime. Res64: 6EF168AB78493BE0 Time : 92.0 sec. user=kar_bon [2010-03-26 21:48:09] 2001*2^250774-1 is not prime. Res64: 811D17DD8559C232 Time : 92.0 sec. user=kar_bon [2010-03-26 21:49:42] 2001*2^250790-1 is not prime. Res64: 870427C6F2C258A8 Time : 93.0 sec. user=kar_bon [2010-03-26 21:51:14] 2001*2^250811-1 is not prime. Res64: 730001C56CF4CC24 Time : 92.0 sec. user=kar_bon [2010-03-26 21:52:46] 2001*2^250837-1 is not prime. Res64: 2536CECFFD89DC6D Time : 91.0 sec. user=kar_bon [2010-03-26 21:54:18] 2001*2^250839-1 is not prime. Res64: E518A63F6E4B3012 Time : 92.0 sec. user=kar_bon [2010-03-26 21:55:50] 2001*2^250899-1 is not prime. Res64: 585B94602170B850 Time : 91.0 sec. user=kar_bon [2010-03-26 21:57:22] 2001*2^250961-1 is not prime. Res64: 1D46EF06367B1E3B Time : 91.0 sec. user=kar_bon [2010-03-26 21:58:54] 2001*2^250963-1 is not prime. Res64: 182D14D57129E10E Time : 91.0 sec. user=kar_bon [2010-03-26 22:00:26] 2001*2^250990-1 is not prime. Res64: 4159DDF3E712AC6F Time : 91.0 sec. user=kar_bon [2010-03-26 22:01:58] 2001*2^251021-1 is not prime. Res64: 84F8DB72783C0E7B Time : 92.0 sec. user=kar_bon [2010-03-26 22:03:30] 2001*2^251030-1 is not prime. Res64: D5A743F5F0F5C1B2 Time : 91.0 sec. user=kar_bon [2010-03-26 22:05:03] 2001*2^251049-1 is not prime. Res64: 1063B6E526D2FBE8 Time : 92.0 sec. user=kar_bon [2010-03-26 22:06:36] 2001*2^251071-1 is not prime. Res64: 95D14DC4943ACBBC Time : 93.0 sec. user=kar_bon [2010-03-26 22:08:08] 2001*2^251089-1 is not prime. Res64: 2ED64AD991891ACE Time : 91.0 sec. user=kar_bon [2010-03-26 22:09:42] 2001*2^251090-1 is not prime. Res64: B8832F000941F145 Time : 93.0 sec. user=kar_bon [2010-03-26 22:11:15] 2001*2^251121-1 is not prime. Res64: BB1F3D6AE52DBF7C Time : 93.0 sec. user=kar_bon [2010-03-26 22:12:47] 2001*2^251141-1 is not prime. Res64: C4505CBD77CE8E14 Time : 92.0 sec. user=kar_bon [2010-03-26 22:14:22] 2001*2^251157-1 is not prime. Res64: C055B0B892DBE764 Time : 94.0 sec. user=kar_bon [2010-03-26 22:16:00] 2001*2^251179-1 is not prime. Res64: 012C8FAA094BD314 Time : 98.0 sec. user=kar_bon [2010-03-26 22:17:38] 2001*2^251201-1 is not prime. Res64: 2C436549C53B30E9 Time : 98.0 sec. user=kar_bon [2010-03-26 22:19:17] 2001*2^251246-1 is not prime. Res64: A8D14BB571F07016 Time : 98.0 sec. user=kar_bon [2010-03-26 22:21:03] 2001*2^251249-1 is not prime. Res64: 544BCB9BE62B7621 Time : 106.0 sec. user=kar_bon [2010-03-26 22:22:37] 2001*2^251253-1 is not prime. Res64: 798C52C477485BB0 Time : 93.0 sec. user=kar_bon [2010-03-26 22:24:18] 2001*2^251263-1 is not prime. Res64: E0A94989C25C2497 Time : 101.0 sec. user=kar_bon [2010-03-26 22:26:01] 2001*2^251277-1 is not prime. Res64: 4FBE939045A7C974 Time : 103.0 sec. user=kar_bon [2010-03-26 22:27:49] 2001*2^251289-1 is not prime. Res64: 0EEA333B6EE2A709 Time : 108.0 sec. user=kar_bon [2010-03-26 22:29:23] 2001*2^251390-1 is not prime. Res64: D10DBDE3DFD8250D Time : 94.0 sec. user=kar_bon [2010-03-26 22:31:06] 2001*2^251401-1 is not prime. Res64: 61F7CF14589F243F Time : 103.0 sec. user=kar_bon [2010-03-26 22:32:54] 2001*2^251409-1 is not prime. Res64: C97B389D2234BA0B Time : 107.0 sec. user=kar_bon [2010-03-26 22:34:52] 2001*2^251419-1 is not prime. Res64: 1446C4BA76B8D6C5 Time : 117.0 sec. user=kar_bon [2010-03-26 22:36:40] 2001*2^251426-1 is not prime. Res64: DA9DAB1AA0DD81A8 Time : 108.0 sec. user=kar_bon [2010-03-26 22:38:34] 2001*2^251473-1 is not prime. Res64: 2DF5E5EC18394AC9 Time : 113.0 sec. user=kar_bon [2010-03-26 22:40:23] 2001*2^251513-1 is not prime. Res64: C505438FE0575071 Time : 109.0 sec. user=kar_bon [2010-03-26 22:42:14] 2001*2^251519-1 is not prime. Res64: 739A9AD7CAB1DD54 Time : 111.0 sec. user=kar_bon [2010-03-26 22:43:46] 2001*2^251539-1 is not prime. Res64: 531FD6C4E80D47B8 Time : 92.0 sec. user=kar_bon [2010-03-26 22:45:18] 2001*2^251551-1 is not prime. Res64: ED5F954B2A7EEDCE Time : 91.0 sec. user=kar_bon [2010-03-26 22:46:51] 2001*2^251559-1 is not prime. Res64: 5DCAF45115F9CCAB Time : 92.0 sec. user=kar_bon [2010-03-26 22:48:23] 2001*2^251566-1 is not prime. Res64: 45D6E9E4E413DF7C Time : 92.0 sec. user=kar_bon [2010-03-26 22:49:56] 2001*2^251577-1 is not prime. Res64: 42A06D0E2ED46A05 Time : 92.0 sec. user=kar_bon [2010-03-26 22:51:28] 2001*2^251601-1 is not prime. Res64: 7DFE95764E2191C5 Time : 92.0 sec. user=kar_bon [2010-03-26 22:53:01] 2001*2^251637-1 is not prime. Res64: 683F816E37A719DF Time : 93.0 sec. user=kar_bon [2010-03-26 22:54:33] 2001*2^251641-1 is not prime. Res64: 5635702452597F82 Time : 92.0 sec. user=kar_bon [2010-03-26 22:56:05] 2001*2^251643-1 is not prime. Res64: 5E5219563169396F Time : 92.0 sec. user=kar_bon [2010-03-26 22:57:37] 2001*2^251666-1 is not prime. Res64: 845E9A29D406528C Time : 92.0 sec. user=kar_bon [2010-03-26 22:59:09] 2001*2^251673-1 is not prime. Res64: 48B37B1FB7BC8A24 Time : 92.0 sec. user=kar_bon [2010-03-26 23:00:42] 2001*2^251697-1 is not prime. Res64: 82472C6044A39A18 Time : 93.0 sec. user=kar_bon [2010-03-26 23:02:17] 2001*2^251703-1 is not prime. Res64: 36A40F6398AA511F Time : 95.0 sec. user=kar_bon [2010-03-26 23:03:49] 2001*2^251713-1 is not prime. Res64: A01F0BEB4FCF12B0 Time : 92.0 sec. user=kar_bon [2010-03-26 23:05:22] 2001*2^251726-1 is not prime. Res64: 23ED08D60088AD51 Time : 92.0 sec. user=kar_bon [2010-03-26 23:06:54] 2001*2^251737-1 is not prime. Res64: 3D30F03F28F9120C Time : 92.0 sec. user=kar_bon [2010-03-26 23:08:26] 2001*2^251769-1 is not prime. Res64: 7ED9CC351F4165DD Time : 91.0 sec. user=kar_bon [2010-03-26 23:09:59] 2001*2^251771-1 is not prime. Res64: 641C23FC21CE2908 Time : 92.0 sec. user=kar_bon [2010-03-26 23:11:32] 2001*2^251779-1 is not prime. Res64: 17987D0748194CF5 Time : 93.0 sec. user=kar_bon [2010-03-26 23:13:05] 2001*2^251783-1 is not prime. Res64: EAAD4F69714D5269 Time : 93.0 sec. user=kar_bon [2010-03-26 23:14:37] 2001*2^251823-1 is not prime. Res64: 524324973B20415A Time : 92.0 sec. user=kar_bon [2010-03-26 23:16:09] 2001*2^251829-1 is not prime. Res64: 7D63E5165D0A1D50 Time : 92.0 sec. user=kar_bon [2010-03-26 23:17:41] 2001*2^251834-1 is not prime. Res64: 219F8E23FEFA31A5 Time : 92.0 sec. user=kar_bon [2010-03-26 23:19:13] 2001*2^251870-1 is not prime. Res64: 34E572A39F7FDE66 Time : 92.0 sec. user=kar_bon [2010-03-26 23:20:45] 2001*2^251871-1 is not prime. Res64: 67D4433D674A7511 Time : 92.0 sec. user=kar_bon [2010-03-26 23:22:17] 2001*2^251889-1 is not prime. Res64: E23A3C0C64D5B29D Time : 91.0 sec. user=kar_bon [2010-03-26 23:23:51] 2001*2^251894-1 is not prime. Res64: B0C366A781AE4527 Time : 93.0 sec. user=kar_bon [2010-03-26 23:25:23] 2001*2^251909-1 is not prime. Res64: 1C56D84980371851 Time : 92.0 sec. user=kar_bon [2010-03-26 23:26:55] 2001*2^251921-1 is not prime. Res64: 86A62983A1435999 Time : 91.0 sec. user=kar_bon [2010-03-26 23:28:28] 2001*2^251926-1 is not prime. Res64: C1B9C2AB413E15F8 Time : 92.0 sec. user=kar_bon [2010-03-26 23:30:00] 2001*2^251939-1 is not prime. Res64: D8182FD2BA36EB30 Time : 92.0 sec. user=kar_bon [2010-03-26 23:31:32] 2001*2^251949-1 is not prime. Res64: B7EA0074B8769651 Time : 92.0 sec. user=kar_bon [2010-03-26 23:33:04] 2001*2^251951-1 is not prime. Res64: 09B5300DA640E7D3 Time : 92.0 sec. user=kar_bon [2010-03-26 23:34:37] 2001*2^251971-1 is not prime. Res64: 267723E0DB4CE0CA Time : 92.0 sec. user=kar_bon [2010-03-26 23:36:09] 2001*2^252003-1 is not prime. Res64: E8E5EFA57A03FE45 Time : 92.0 sec. user=kar_bon [2010-03-26 23:37:42] 2001*2^252011-1 is not prime. Res64: EB368C83B889B84A Time : 93.0 sec. user=kar_bon [2010-03-26 23:39:14] 2001*2^252013-1 is not prime. Res64: 3D26231AC5CC1B99 Time : 92.0 sec. user=kar_bon [2010-03-26 23:40:46] 2001*2^252026-1 is not prime. Res64: B8A263F21FE696E6 Time : 92.0 sec. user=kar_bon [2010-03-26 23:42:19] 2001*2^252039-1 is not prime. Res64: D67CFDE45125D699 Time : 92.0 sec. user=kar_bon [2010-03-26 23:43:52] 2001*2^252057-1 is not prime. Res64: E782BC6D32758E35 Time : 93.0 sec. user=kar_bon [2010-03-26 23:45:25] 2001*2^252061-1 is not prime. Res64: 85FEF2B7AD12FE01 Time : 92.0 sec. user=kar_bon [2010-03-26 23:46:58] 2001*2^252063-1 is not prime. Res64: 60757E34C2A5DD80 Time : 93.0 sec. user=kar_bon [2010-03-26 23:48:31] 2001*2^252071-1 is not prime. Res64: EBF31FCCBB2C3740 Time : 92.0 sec. user=kar_bon [2010-03-26 23:50:04] 2001*2^252073-1 is not prime. Res64: 753819724D5D03C8 Time : 92.0 sec. user=kar_bon [2010-03-26 23:51:36] 2001*2^252089-1 is not prime. Res64: 2B876662C8FB2A2F Time : 92.0 sec. user=kar_bon [2010-03-26 23:53:09] 2001*2^252093-1 is not prime. Res64: 95ED8F974AC25858 Time : 93.0 sec. user=kar_bon [2010-03-26 23:54:41] 2001*2^252097-1 is not prime. Res64: CC9A553D04E52EE1 Time : 92.0 sec. user=kar_bon [2010-03-26 23:56:13] 2001*2^252113-1 is not prime. Res64: 77E1950AD1EA636A Time : 92.0 sec. user=kar_bon [2010-03-26 23:57:45] 2001*2^252119-1 is not prime. Res64: 80B95701E79024B8 Time : 92.0 sec. user=kar_bon [2010-03-26 23:59:17] 2001*2^252129-1 is not prime. Res64: 584C84780C04BD7F Time : 92.0 sec. user=kar_bon [2010-03-27 00:00:50] 2001*2^252131-1 is not prime. Res64: CFED52738320FA71 Time : 92.0 sec.