user=mdettweiler [2009-08-21 19:40:57] 339*2^331847-1 is not prime. Res64: 7B041DD8DDB90E2E Time : 0.0 sec. user=mdettweiler [2009-08-21 19:43:38] 371*2^331846-1 is not prime. Res64: 58C01CA3FD4DA3B9 Time : 0.0 sec. user=mdettweiler [2009-08-21 19:46:20] 317*2^331848-1 is not prime. Res64: 93597EB0B5944820 Time : 0.0 sec. user=mdettweiler [2009-08-21 19:49:03] 319*2^331851-1 is not prime. Res64: 7676FEE1D6B6C369 Time : 0.0 sec. user=mdettweiler [2009-08-21 19:51:45] 355*2^332229-1 is not prime. Res64: B0B5DDCD778524F9 Time : 0.0 sec. user=mdettweiler [2009-08-21 19:54:27] 397*2^332229-1 is not prime. Res64: CE543E7069C199E1 Time : 0.0 sec. user=mdettweiler [2009-08-21 19:57:10] 383*2^332230-1 is not prime. Res64: 0FB3DD428F70259C Time : 0.0 sec. user=mdettweiler [2009-08-21 19:59:52] 335*2^332230-1 is not prime. Res64: 85CC185882E76708 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:02:34] 321*2^332233-1 is not prime. Res64: 056DC09CF9D240AD Time : 0.0 sec. user=mdettweiler [2009-08-21 20:05:16] 369*2^332232-1 is not prime. Res64: 222951A0FC9F3EE6 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:07:58] 367*2^332233-1 is not prime. Res64: 916CDF3557BBBFF1 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:08:39] 331*2^332233-1 is not prime. Res64: 630C231F796104E1 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:10:41] 387*2^332233-1 is not prime. Res64: 90E12580DF43FA81 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:11:27] 389*2^332232-1 is not prime. Res64: CFBCFC6E98A061C9 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:13:24] 315*2^332236-1 is not prime. Res64: C7FFE223C86ADD41 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:14:10] 325*2^332235-1 is not prime. Res64: B6DED7E52BFBB8A9 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:16:07] 387*2^332236-1 is not prime. Res64: 4BD88AB5C53B72A7 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:16:48] 351*2^332237-1 is not prime. Res64: 43C291D042B4AE02 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:18:45] 399*2^332235-1 is not prime. Res64: B72627BB8C8E05D3 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:19:31] 315*2^332238-1 is not prime. Res64: 2DAE9E3D4AF73842 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:21:28] 395*2^332240-1 is not prime. Res64: E4F8A5D566C67B15 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:22:14] 391*2^332239-1 is not prime. Res64: C0A43102D28ABA22 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:24:11] 319*2^332243-1 is not prime. Res64: B7FDEA6B15890399 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:24:52] 321*2^332242-1 is not prime. Res64: F2ACBED5AC91A6C9 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:26:49] 327*2^332241-1 is not prime. Res64: 45A8548CCBC609AF Time : 0.0 sec. user=mdettweiler [2009-08-21 20:27:35] 355*2^332241-1 is not prime. Res64: 38FE89AC86361240 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:29:33] 369*2^332243-1 is not prime. Res64: 0D6970E47134D270 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:30:18] 317*2^332242-1 is not prime. Res64: C8AC9AE7B6112E75 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:32:16] 387*2^332241-1 is not prime. Res64: 155D8AF9BBD7387D Time : 0.0 sec. user=mdettweiler [2009-08-21 20:32:56] 357*2^332242-1 is not prime. Res64: 457DC852BA85A180 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:34:50] 353*2^332244-1 is not prime. Res64: 158E89F9842E79E4 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:35:15] 363*2^332242-1 is not prime. Res64: 55553D3C8740F591 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:35:21] 391*2^332243-1 is not prime. Res64: 7423F48EFD6C2A5E Time : 0.0 sec. user=mdettweiler [2009-08-21 20:37:24] 315*2^332247-1 is not prime. Res64: F243E069410FEF3E Time : 0.0 sec. user=mdettweiler [2009-08-21 20:37:35] 321*2^332246-1 is not prime. Res64: E6887D0DFE9467A5 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:37:41] 325*2^332245-1 is not prime. Res64: 139F1835898755C1 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:39:49] 355*2^332245-1 is not prime. Res64: 1D66213BD17AEF80 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:39:50] 355*2^332247-1 is not prime. Res64: D38EE6D4A1EF0CEE Time : 0.0 sec. user=mdettweiler [2009-08-21 20:39:55] 349*2^332245-1 is not prime. Res64: 55341C33A5A1FDDB Time : 0.0 sec. user=mdettweiler [2009-08-21 20:42:03] 363*2^332246-1 is not prime. Res64: ACAFD717C9ECFD2F Time : 0.0 sec. user=mdettweiler [2009-08-21 20:42:04] 325*2^332249-1 is not prime. Res64: 83CB4EDE2FD3738F Time : 0.0 sec. user=mdettweiler [2009-08-21 20:42:30] 317*2^332250-1 is not prime. Res64: 1FED8A25593B3AA7 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:44:18] 355*2^332253-1 is not prime. Res64: C63F12E1C50DE605 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:44:19] 351*2^332251-1 is not prime. Res64: 3661B876AF529631 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:45:06] 357*2^332252-1 is not prime. Res64: CCE4603A4107D1B1 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:46:32] 327*2^332256-1 is not prime. Res64: DC9B62492BE4220C Time : 0.0 sec. user=mdettweiler [2009-08-21 20:46:33] 339*2^332257-1 is not prime. Res64: B2B3378DE55F1D16 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:47:45] 333*2^332255-1 is not prime. Res64: ED794ACE999C7A21 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:48:47] 399*2^332256-1 is not prime. Res64: 3A2B8633A8CED8E9 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:48:47] 391*2^332257-1 is not prime. Res64: 44A6458BE80BC9D0 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:50:25] 319*2^332261-1 is not prime. Res64: 3E6C4C52AA4A0C29 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:51:00] 379*2^332263-1 is not prime. Res64: 284A4BD84AF09962 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:51:01] 327*2^332265-1 is not prime. Res64: 0ABD51765AB1F647 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:53:04] 355*2^332265-1 is not prime. Res64: 6DC8C506B29F2075 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:53:10] 369*2^332267-1 is not prime. Res64: 1BB354B611F28A36 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:53:10] 365*2^332266-1 is not prime. Res64: A9EA51C8FA5131C6 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:55:23] 345*2^332266-1 is not prime. Res64: 4FFBFDFB447BBEE6 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:55:24] 315*2^332270-1 is not prime. Res64: 8F46A17066ECABAB Time : 0.0 sec. user=mdettweiler [2009-08-21 20:55:25] 355*2^332269-1 is not prime. Res64: C47E75BCABEEBA5C Time : 0.0 sec. user=mdettweiler [2009-08-21 20:57:43] 377*2^332270-1 is not prime. Res64: 2F08BB72EAA945C3 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:57:43] 351*2^332269-1 is not prime. Res64: 09A8A502B5211861 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:57:44] 363*2^332270-1 is not prime. Res64: E9FE29C6DADDECB7 Time : 0.0 sec. user=mdettweiler [2009-08-21 20:59:57] 379*2^332269-1 is not prime. Res64: A28EF4E98A01A47F Time : 0.0 sec. user=mdettweiler [2009-08-21 20:59:58] 391*2^332269-1 is not prime. Res64: 0923EC7B5466B14A Time : 0.0 sec. user=mdettweiler [2009-08-21 20:59:59] 301*2^332271-1 is not prime. Res64: A2DB81E077BF2FCE Time : 0.0 sec. user=mdettweiler [2009-08-21 21:02:12] 303*2^332274-1 is not prime. Res64: 4DF2B0944CB6C41D Time : 0.0 sec. user=mdettweiler [2009-08-21 21:02:13] 321*2^332274-1 is not prime. Res64: CE1B930FC4EBFE87 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:02:19] 323*2^332272-1 is not prime. Res64: 3B1A661A891FB289 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:03:01] 325*2^332273-1 is not prime. Res64: 88C4E2C727A91F32 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:04:28] 339*2^332271-1 is not prime. Res64: 4F57EAA220AD0944 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:04:29] 341*2^332274-1 is not prime. Res64: 720DC0C1DEF4CBCD Time : 0.0 sec. user=mdettweiler [2009-08-21 21:04:50] 345*2^332274-1 is not prime. Res64: 2F64A935631A2F8D Time : 0.0 sec. user=mdettweiler [2009-08-21 21:05:37] 357*2^332272-1 is not prime. Res64: 1119802463947636 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:06:40] 353*2^332272-1 is not prime. Res64: E066AC5E5C9F8DAF Time : 0.0 sec. user=mdettweiler [2009-08-21 21:06:40] 399*2^332273-1 is not prime. Res64: 2AE0E837C26BC946 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:07:27] 319*2^332277-1 is not prime. Res64: 1F446C72B9DAF083 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:08:13] 325*2^332275-1 is not prime. Res64: 09E88CED0AC68923 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:09:00] 371*2^332274-1 is not prime. Res64: 0767CB36D130CDCB Time : 0.0 sec. user=mdettweiler [2009-08-21 21:09:01] 385*2^332275-1 is not prime. Res64: 956CD3D7E7BE82C3 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:10:04] 309*2^332279-1 is not prime. Res64: AB1B84AC6471590B Time : 0.0 sec. user=mdettweiler [2009-08-21 21:10:44] 319*2^332279-1 is not prime. Res64: 80BA54B4784CCE32 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:11:16] 321*2^332278-1 is not prime. Res64: ED872C3407DA07B3 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:11:16] 369*2^332280-1 is not prime. Res64: CC367968A43F8FE5 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:12:40] 395*2^332280-1 is not prime. Res64: 8FB8F0459C557C04 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:13:21] 399*2^332280-1 is not prime. Res64: 085FE4E7DDF290FB Time : 0.0 sec. user=mdettweiler [2009-08-21 21:13:26] 309*2^332284-1 is not prime. Res64: 1B935C22FD1B55C6 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:13:27] 341*2^332282-1 is not prime. Res64: CDB710750D8C11A8 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:15:16] 357*2^332282-1 is not prime. Res64: DEC75C4849F5CE6C Time : 0.0 sec. user=mdettweiler [2009-08-21 21:15:42] 399*2^332283-1 is not prime. Res64: E95FB0BC1AF11607 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:15:42] 303*2^332287-1 is not prime. Res64: 0930A2D174A64AA7 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:15:43] 321*2^332285-1 is not prime. Res64: BB9164238A0977A4 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:17:52] 325*2^332285-1 is not prime. Res64: DDB20DC629910F81 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:17:53] 339*2^332285-1 is not prime. Res64: 9BF662F211DDC747 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:17:53] 369*2^332285-1 is not prime. Res64: 6702FD08A9700C91 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:17:54] 323*2^332290-1 is not prime. Res64: A9E28531A228A6FF Time : 0.0 sec. user=mdettweiler [2009-08-21 21:20:08] 325*2^332289-1 is not prime. Res64: 4F7A4496B4128A3A Time : 0.0 sec. user=mdettweiler [2009-08-21 21:20:09] 353*2^332288-1 is not prime. Res64: 44A58D9DF6721897 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:20:10] 317*2^332292-1 is not prime. Res64: 9C6D5F2A2866560A Time : 0.0 sec. user=mdettweiler [2009-08-21 21:20:10] 367*2^332293-1 is not prime. Res64: D635ABA7108C5281 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:22:24] 385*2^332293-1 is not prime. Res64: E6C42A61F5150120 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:22:25] 399*2^332291-1 is not prime. Res64: EA718B27A8062A41 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:22:26] 337*2^332297-1 is not prime. Res64: 484F2D77BD1346C6 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:22:27] 371*2^332294-1 is not prime. Res64: 16A8A743EC7D769B Time : 0.0 sec. user=mdettweiler [2009-08-21 21:24:36] 347*2^332294-1 is not prime. Res64: BF643718130014BE Time : 0.0 sec. user=mdettweiler [2009-08-21 21:24:37] 333*2^332295-1 is not prime. Res64: B4D52E001D31966A Time : 0.0 sec. user=mdettweiler [2009-08-21 21:24:37] 365*2^332294-1 is not prime. Res64: 7B46366519128853 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:24:38] 387*2^332296-1 is not prime. Res64: 80DA761C3FA408C0 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:26:52] 351*2^332297-1 is not prime. Res64: 0227AC0A30B029D4 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:26:53] 357*2^332297-1 is not prime. Res64: 8EE2F28D68B4CAA6 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:26:54] 399*2^332297-1 is not prime. Res64: DA4B642CABB2C152 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:26:54] 379*2^332297-1 is not prime. Res64: 71A917DF540513A8 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:29:03] 395*2^332298-1 is not prime. Res64: 3886DEC9229EA332 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:29:04] 333*2^332298-1 is not prime. Res64: 7C1254D1440A0BB7 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:29:05] 365*2^332300-1 is not prime. Res64: 3CBDA33DE0C0C204 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:29:16] 385*2^332299-1 is not prime. Res64: ADB207D36C443818 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:31:15] 399*2^332300-1 is not prime. Res64: 8CE2D42DFE50C22A Time : 0.0 sec. user=mdettweiler [2009-08-21 21:31:16] 317*2^332302-1 is not prime. Res64: 9DF0638CCF6DCD84 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:31:16] 383*2^332302-1 is not prime. Res64: ADD62FC968B58323 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:31:54] 387*2^332301-1 is not prime. Res64: 8F86A0E96E9ED8B1 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:33:31] 357*2^332302-1 is not prime. Res64: 5728AAA14D71A49C Time : 0.0 sec. user=mdettweiler [2009-08-21 21:33:32] 391*2^332303-1 is not prime. Res64: F64BA691CF8D701E Time : 0.0 sec. user=mdettweiler [2009-08-21 21:33:33] 305*2^332306-1 is not prime. Res64: AC4FFC504F696ECC Time : 0.0 sec. user=mdettweiler [2009-08-21 21:34:32] 313*2^332307-1 is not prime. Res64: 93F2F2100046623C Time : 0.0 sec. user=mdettweiler [2009-08-21 21:35:43] 325*2^332305-1 is not prime. Res64: 85DC280C7C0C1754 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:35:44] 339*2^332305-1 is not prime. Res64: 6A6A21E0CC3A0F2D Time : 0.0 sec. user=mdettweiler [2009-08-21 21:35:45] 331*2^332307-1 is not prime. Res64: E052121077B42E12 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:37:13] 385*2^332305-1 is not prime. Res64: 60D74676CAC5F2B3 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:37:53] 357*2^332304-1 is not prime. Res64: 90F0BE6435CCF882 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:37:54] 305*2^332310-1 is not prime. Res64: 4F1AE60DFACB683F Time : 0.0 sec. user=mdettweiler [2009-08-21 21:37:55] 309*2^332309-1 is not prime. Res64: C4F9409C13538DF4 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:39:49] 315*2^332310-1 is not prime. Res64: 7F5AAB56205CD16A Time : 0.0 sec. user=mdettweiler [2009-08-21 21:40:10] 327*2^332308-1 is not prime. Res64: 567BB0A414753C10 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:40:11] 317*2^332310-1 is not prime. Res64: FCC370566DC04EB6 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:40:12] 369*2^332309-1 is not prime. Res64: D448EE6C64EF7299 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:42:21] 377*2^332308-1 is not prime. Res64: 37E7036D9982FCFC Time : 0.0 sec. user=mdettweiler [2009-08-21 21:42:22] 381*2^332310-1 is not prime. Res64: 79F2262749F37731 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:42:23] 357*2^332309-1 is not prime. Res64: 849F290EA5314CB1 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:42:24] 327*2^332313-1 is not prime. Res64: FD2F37E60C9B7A7B Time : 0.0 sec. user=mdettweiler [2009-08-21 21:44:38] 351*2^332311-1 is not prime. Res64: 93A0971E9EB36345 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:44:39] 353*2^332312-1 is not prime. Res64: E52C9E0F421805FB Time : 0.0 sec. user=mdettweiler [2009-08-21 21:44:40] 399*2^332311-1 is not prime. Res64: 9253EB1F2DEDE3E5 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:44:40] 315*2^332315-1 is not prime. Res64: FEE7A5E1E5745968 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:46:50] 321*2^332317-1 is not prime. Res64: DA3E2C03C5B116C2 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:46:51] 339*2^332315-1 is not prime. Res64: AC6762DB7CA0E925 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:46:52] 363*2^332316-1 is not prime. Res64: 36020C2D4375CB27 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:46:53] 301*2^332319-1 is not prime. Res64: 4DDC06B33EF27AA8 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:49:09] 339*2^332319-1 is not prime. Res64: FEFFB790845235EB Time : 0.0 sec. user=mdettweiler [2009-08-21 21:49:10] 345*2^332320-1 is not prime. Res64: F867B21897B5081D Time : 0.0 sec. user=mdettweiler [2009-08-21 21:49:11] 365*2^332320-1 is not prime. Res64: D63495AA0AC85848 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:49:12] 303*2^332322-1 is not prime. Res64: 63BD8A9CA761C107 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:51:21] 319*2^332321-1 is not prime. Res64: 61D08D887E020798 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:51:21] 347*2^332322-1 is not prime. Res64: B36F3E992725E3AB Time : 0.0 sec. user=mdettweiler [2009-08-21 21:51:22] 367*2^332321-1 is not prime. Res64: E3698DB8992F3459 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:51:23] 363*2^332323-1 is not prime. Res64: 737BD19B908711CE Time : 0.0 sec. user=mdettweiler [2009-08-21 21:53:42] 311*2^332326-1 is not prime. Res64: CF600BBD0296C515 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:53:43] 315*2^332327-1 is not prime. Res64: 3A76F66313C81462 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:53:43] 323*2^332326-1 is not prime. Res64: 069B1602287B383B Time : 0.0 sec. user=mdettweiler [2009-08-21 21:53:44] 391*2^332323-1 is not prime. Res64: E11695D4BA549287 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:55:58] 355*2^332327-1 is not prime. Res64: 2B4767FF20C09CAA Time : 0.0 sec. user=mdettweiler [2009-08-21 21:55:59] 395*2^332324-1 is not prime. Res64: EA598670DE0DCF3E Time : 0.0 sec. user=mdettweiler [2009-08-21 21:56:00] 347*2^332324-1 is not prime. Res64: 584EC82CAEBA5F9F Time : 0.0 sec. user=mdettweiler [2009-08-21 21:56:05] 345*2^332325-1 is not prime. Res64: 325486024BAD2701 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:58:14] 365*2^332324-1 is not prime. Res64: 092212DA5DD5AD3F Time : 0.0 sec. user=mdettweiler [2009-08-21 21:58:15] 377*2^332326-1 is not prime. Res64: 5ABE7F73B4AB3C29 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:58:16] 335*2^332324-1 is not prime. Res64: EE3883591965E006 Time : 0.0 sec. user=mdettweiler [2009-08-21 21:58:46] 399*2^332324-1 is not prime. Res64: 7312980BFD654BC1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:00:30] 351*2^332330-1 is not prime. Res64: AF87FE46A6161E7C Time : 0.0 sec. user=mdettweiler [2009-08-21 22:00:31] 357*2^332330-1 is not prime. Res64: 4A5D836C5C8887A8 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:00:31] 399*2^332328-1 is not prime. Res64: 6714A872952F9A49 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:01:24] 391*2^332329-1 is not prime. Res64: 36D491CE3203B840 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:02:41] 349*2^332331-1 is not prime. Res64: 3D9F5D240397C4C3 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:02:42] 339*2^332331-1 is not prime. Res64: B81F10BF85634F51 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:02:42] 369*2^332333-1 is not prime. Res64: 15843393D406A418 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:04:00] 395*2^332332-1 is not prime. Res64: A087F88DFCB7BA6E Time : 0.0 sec. user=mdettweiler [2009-08-21 22:04:57] 385*2^332331-1 is not prime. Res64: 82EFEB4546217C7D Time : 0.0 sec. user=mdettweiler [2009-08-21 22:04:57] 353*2^332332-1 is not prime. Res64: B036C07A486E9010 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:04:58] 355*2^332337-1 is not prime. Res64: 20E4DA00BA07CBE1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:06:41] 383*2^332336-1 is not prime. Res64: 666A5CC504FF0E2E Time : 0.0 sec. user=mdettweiler [2009-08-21 22:07:12] 369*2^332337-1 is not prime. Res64: 1E77A3EE8614D7EF Time : 0.0 sec. user=mdettweiler [2009-08-21 22:07:13] 333*2^332336-1 is not prime. Res64: 2D760DBF16A2E9C9 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:07:13] 377*2^332334-1 is not prime. Res64: 28873C2C0DBFD551 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:09:17] 353*2^332334-1 is not prime. Res64: A4790A52485AF939 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:09:28] 311*2^332338-1 is not prime. Res64: 53C46AF5B2A3E217 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:09:29] 313*2^332339-1 is not prime. Res64: F2D011373F91F17E Time : 0.0 sec. user=mdettweiler [2009-08-21 22:09:29] 325*2^332339-1 is not prime. Res64: F8A9E8027661BC1E Time : 0.0 sec. user=mdettweiler [2009-08-21 22:11:39] 371*2^332338-1 is not prime. Res64: 1AA733AF3A7255FC Time : 0.0 sec. user=mdettweiler [2009-08-21 22:11:39] 377*2^332340-1 is not prime. Res64: 339FF7025347F367 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:11:40] 387*2^332340-1 is not prime. Res64: 313ADD684F68C738 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:11:41] 351*2^332338-1 is not prime. Res64: 7B6F356C5CA1ABE6 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:13:55] 357*2^332338-1 is not prime. Res64: 1A6EFED0C919339F Time : 0.0 sec. user=mdettweiler [2009-08-21 22:13:55] 393*2^332339-1 is not prime. Res64: 751D04CE07A44A2F Time : 0.0 sec. user=mdettweiler [2009-08-21 22:13:56] 351*2^332341-1 is not prime. Res64: D06C85E741B2A5AB Time : 0.0 sec. user=mdettweiler [2009-08-21 22:13:57] 373*2^332343-1 is not prime. Res64: D6844D456EF3AE7A Time : 0.0 sec. user=mdettweiler [2009-08-21 22:16:11] 309*2^332344-1 is not prime. Res64: A7581BF854443187 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:16:12] 323*2^332344-1 is not prime. Res64: 0E6AA8FDC6238377 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:16:12] 325*2^332347-1 is not prime. Res64: 70CA4F8164BF12B3 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:16:13] 367*2^332345-1 is not prime. Res64: 8CC560FC1D1781E6 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:18:22] 357*2^332345-1 is not prime. Res64: AF46E08B36C6F3AA Time : 0.0 sec. user=mdettweiler [2009-08-21 22:18:23] 319*2^332349-1 is not prime. Res64: A021FE2C528F96FC Time : 0.0 sec. user=mdettweiler [2009-08-21 22:18:24] 327*2^332349-1 is not prime. Res64: 83DB5C0333B10E56 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:18:25] 385*2^332347-1 is not prime. Res64: 28A4A65A6753A6D8 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:20:39] 351*2^332350-1 is not prime. Res64: DC6A66B0EF4B5165 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:20:40] 335*2^332348-1 is not prime. Res64: EA07E46EAAB6DCDC Time : 0.0 sec. user=mdettweiler [2009-08-21 22:20:40] 321*2^332351-1 is not prime. Res64: FB54F7E1CCA0CFBE Time : 0.0 sec. user=mdettweiler [2009-08-21 22:20:41] 329*2^332352-1 is not prime. Res64: D30A0048D5FBE1C1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:22:50] 369*2^332353-1 is not prime. Res64: 19B6E92CED54B824 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:22:51] 357*2^332353-1 is not prime. Res64: 76FB38729A95A8E6 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:22:52] 353*2^332352-1 is not prime. Res64: BAE61BB6709B1D51 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:23:02] 323*2^332356-1 is not prime. Res64: 567229D6BB179001 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:25:02] 325*2^332355-1 is not prime. Res64: 5BC1687640FB0BDB Time : 0.0 sec. user=mdettweiler [2009-08-21 22:25:03] 367*2^332357-1 is not prime. Res64: 5B15E36AEDE4E9B5 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:25:04] 399*2^332355-1 is not prime. Res64: 2227B2F915200F84 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:25:42] 393*2^332354-1 is not prime. Res64: 35B0459A30282A8F Time : 0.0 sec. user=mdettweiler [2009-08-21 22:27:22] 363*2^332354-1 is not prime. Res64: 6447247089655D33 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:27:26] 305*2^332360-1 is not prime. Res64: EB75B754FA55CCA3 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:27:30] 341*2^332358-1 is not prime. Res64: A746D0F1E0F0159A Time : 0.0 sec. user=mdettweiler [2009-08-21 22:28:23] 345*2^332359-1 is not prime. Res64: 46890D2D42FEC946 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:29:54] 399*2^332359-1 is not prime. Res64: 3C75846A0C7066F1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:29:56] 379*2^332357-1 is not prime. Res64: C87F8C81FCA41575 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:30:04] 309*2^332363-1 is not prime. Res64: 02303C37E520F318 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:31:14] 327*2^332362-1 is not prime. Res64: AC2CA1C0325AC93C Time : 0.0 sec. user=mdettweiler [2009-08-21 22:32:15] 395*2^332362-1 is not prime. Res64: BE1C162413CF6D15 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:32:16] 385*2^332363-1 is not prime. Res64: 1425BA336D37847B Time : 0.0 sec. user=mdettweiler [2009-08-21 22:32:36] 351*2^332363-1 is not prime. Res64: 42742A9719FF1C05 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:33:50] 363*2^332363-1 is not prime. Res64: 2131F7D6AB2EB535 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:34:30] 327*2^332365-1 is not prime. Res64: 82FA620373714E94 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:34:31] 399*2^332364-1 is not prime. Res64: B099EF9E613E55E7 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:35:15] 309*2^332368-1 is not prime. Res64: 045A231F5BF0943A Time : 0.0 sec. user=mdettweiler [2009-08-21 22:36:28] 317*2^332368-1 is not prime. Res64: E6C2DA2019CD6D55 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:36:54] 395*2^332368-1 is not prime. Res64: 5A38534BAF9D5E5F Time : 0.0 sec. user=mdettweiler [2009-08-21 22:36:55] 333*2^332370-1 is not prime. Res64: 6344BCBE2F8E0D8D Time : 0.0 sec. user=mdettweiler [2009-08-21 22:37:58] 377*2^332368-1 is not prime. Res64: 7004921A7812CE01 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:39:04] 391*2^332367-1 is not prime. Res64: FC0F657958FE6C58 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:39:10] 391*2^332369-1 is not prime. Res64: 249A43EFB72F92DB Time : 0.0 sec. user=mdettweiler [2009-08-21 22:39:16] 301*2^332373-1 is not prime. Res64: 0B5BF12693A14B30 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:40:35] 313*2^332371-1 is not prime. Res64: FBE727F3EB2FA9F1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:41:21] 327*2^332373-1 is not prime. Res64: 131DC9EA7CEA7A1A Time : 0.0 sec. user=mdettweiler [2009-08-21 22:41:27] 397*2^332373-1 is not prime. Res64: 0DD21FE1F59035EE Time : 0.0 sec. user=mdettweiler [2009-08-21 22:41:53] 363*2^332371-1 is not prime. Res64: 9A706BBB69C5A7C3 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:43:17] 391*2^332373-1 is not prime. Res64: 100376007AB0CD82 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:43:43] 373*2^332371-1 is not prime. Res64: D07BC4183465835A Time : 0.0 sec. user=mdettweiler [2009-08-21 22:43:45] 327*2^332376-1 is not prime. Res64: 09DBDC0E02E351E4 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:44:28] 369*2^332375-1 is not prime. Res64: 12C629A1164199DE Time : 0.0 sec. user=mdettweiler [2009-08-21 22:45:55] 345*2^332376-1 is not prime. Res64: 44538BC0C809DB77 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:46:06] 363*2^332376-1 is not prime. Res64: F89149FAF005705E Time : 0.0 sec. user=mdettweiler [2009-08-21 22:46:11] 399*2^332376-1 is not prime. Res64: 3D49326EA0DD11A1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:47:06] 327*2^332378-1 is not prime. Res64: 3B446F4FCAB7D310 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:48:22] 349*2^332379-1 is not prime. Res64: B18E7B17E83BDEDD Time : 0.0 sec. user=mdettweiler [2009-08-21 22:48:25] 377*2^332378-1 is not prime. Res64: 83E3F53BEB88D999 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:48:34] 363*2^332378-1 is not prime. Res64: 44E2A72F06E1D2AF Time : 0.0 sec. user=mdettweiler [2009-08-21 22:49:57] 393*2^332378-1 is not prime. Res64: CD773DDCFA1C5D58 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:50:56] 301*2^332381-1 is not prime. Res64: 2569D5FE6ED6F85C Time : 0.0 sec. user=mdettweiler [2009-08-21 22:51:02] 303*2^332383-1 is not prime. Res64: 9CBCDE034F5E0EDE Time : 0.0 sec. user=mdettweiler [2009-08-21 22:51:10] 305*2^332382-1 is not prime. Res64: 664B9E621C98B3C0 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:52:46] 321*2^332381-1 is not prime. Res64: 3FE41FE2F8580F90 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:53:29] 301*2^332385-1 is not prime. Res64: 91715D7A9DBB44A1 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:53:36] 369*2^332384-1 is not prime. Res64: 9C70A2C7C0C6186C Time : 0.0 sec. user=mdettweiler [2009-08-21 22:53:51] 347*2^332384-1 is not prime. Res64: D0AD70F7127DF2A0 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:55:31] 333*2^332384-1 is not prime. Res64: 0E72D8F3845082BD Time : 0.0 sec. user=mdettweiler [2009-08-21 22:56:03] 351*2^332386-1 is not prime. Res64: EE0769B114FE8CB7 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:56:10] 357*2^332384-1 is not prime. Res64: E23C85F8E10D5B82 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:56:28] 399*2^332385-1 is not prime. Res64: 1747482C949E4D0D Time : 0.0 sec. user=mdettweiler [2009-08-21 22:58:14] 305*2^332390-1 is not prime. Res64: 17E220A996974F21 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:58:26] 307*2^332389-1 is not prime. Res64: F3706C6C7731651D Time : 0.0 sec. user=mdettweiler [2009-08-21 22:58:28] 321*2^332390-1 is not prime. Res64: 4FC27CE980A42342 Time : 0.0 sec. user=mdettweiler [2009-08-21 22:59:05] 337*2^332389-1 is not prime. Res64: B6DC7CE737CA54ED Time : 0.0 sec. user=mdettweiler [2009-08-21 23:00:44] 369*2^332389-1 is not prime. Res64: 4AFA07106C219329 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:00:47] 385*2^332387-1 is not prime. Res64: 06B45C32F56BF632 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:01:00] 335*2^332388-1 is not prime. Res64: 711E4910C543072A Time : 0.0 sec. user=mdettweiler [2009-08-21 23:01:55] 399*2^332388-1 is not prime. Res64: F42520EA760BA77C Time : 0.0 sec. user=mdettweiler [2009-08-21 23:03:10] 379*2^332389-1 is not prime. Res64: 46F28CD0AC25F033 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:03:11] 321*2^332393-1 is not prime. Res64: DF90125AC1555134 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:03:43] 339*2^332391-1 is not prime. Res64: 18CD437D5A782679 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:04:35] 395*2^332392-1 is not prime. Res64: A8D309FE659F7A74 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:05:31] 387*2^332392-1 is not prime. Res64: C01B2B44CC9FE7CF Time : 0.0 sec. user=mdettweiler [2009-08-21 23:05:37] 309*2^332395-1 is not prime. Res64: 25096ED06DA43A89 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:06:24] 325*2^332397-1 is not prime. Res64: 0DD788E7651500DF Time : 0.0 sec. user=mdettweiler [2009-08-21 23:07:21] 339*2^332395-1 is not prime. Res64: B4AEEEF89A1B5CDE Time : 0.0 sec. user=mdettweiler [2009-08-21 23:08:07] 349*2^332395-1 is not prime. Res64: DA43ABBF1A53AAE4 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:08:15] 383*2^332396-1 is not prime. Res64: 57ED8BD8DD57DDF4 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:09:10] 393*2^332395-1 is not prime. Res64: 9F979B6F514D92C9 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:10:02] 379*2^332395-1 is not prime. Res64: 7B0B048E0BC906E5 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:10:35] 315*2^332399-1 is not prime. Res64: CC37007417C055F3 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:10:47] 349*2^332399-1 is not prime. Res64: 721227C55A440006 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:11:50] 383*2^332400-1 is not prime. Res64: B5FA3ED654FCA227 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:12:47] 395*2^332400-1 is not prime. Res64: 31E471E30E82D49A Time : 0.0 sec. user=mdettweiler [2009-08-21 23:13:12] 365*2^332398-1 is not prime. Res64: 216078BFDEDBE3FD Time : 0.0 sec. user=mdettweiler [2009-08-21 23:13:24] 377*2^332400-1 is not prime. Res64: E88191536778C238 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:14:32] 357*2^332400-1 is not prime. Res64: 9F4E89A03EE63D49 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:15:24] 391*2^332397-1 is not prime. Res64: 84B6CAB61EF2C675 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:15:49] 315*2^332402-1 is not prime. Res64: 69F57142BD420549 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:16:01] 327*2^332401-1 is not prime. Res64: FE24385C9690289F Time : 0.0 sec. user=mdettweiler [2009-08-21 23:17:13] 315*2^332404-1 is not prime. Res64: 1A263EEE19BDD08C Time : 0.0 sec. user=mdettweiler [2009-08-21 23:18:06] 321*2^332406-1 is not prime. Res64: 1BEB46B52593BE0A Time : 0.0 sec. user=mdettweiler [2009-08-21 23:18:14] 321*2^332407-1 is not prime. Res64: ED9BBA612CE2D1FB Time : 0.0 sec. user=mdettweiler [2009-08-21 23:18:30] 301*2^332409-1 is not prime. Res64: 8517A206E30A04B5 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:19:55] 355*2^332407-1 is not prime. Res64: 5C5E4D378ED8AC50 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:20:32] 355*2^332409-1 is not prime. Res64: 0D8D49B6FC71DD43 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:20:34] 395*2^332408-1 is not prime. Res64: 05C8AD919BB6EEDB Time : 0.0 sec. user=mdettweiler [2009-08-21 23:21:07] 321*2^332413-1 is not prime. Res64: 4160F7D5E1B2D003 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:22:32] 329*2^332412-1 is not prime. Res64: 9DEA3F4D27624020 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:22:54] 339*2^332411-1 is not prime. Res64: 3EE59575C510D424 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:22:55] 355*2^332413-1 is not prime. Res64: F31F1BE4E014A0D7 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:23:46] 383*2^332412-1 is not prime. Res64: 725E791C6ABB3489 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:25:09] 387*2^332413-1 is not prime. Res64: FACD1D1C90328E5B Time : 0.0 sec. user=mdettweiler [2009-08-21 23:25:14] 315*2^332414-1 is not prime. Res64: 196DE5F32E2ED5FF Time : 0.0 sec. user=mdettweiler [2009-08-21 23:25:15] 341*2^332414-1 is not prime. Res64: 958111A2F82C205E Time : 0.0 sec. user=mdettweiler [2009-08-21 23:26:29] 383*2^332416-1 is not prime. Res64: 0FE23C60A1FA8863 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:27:31] 363*2^332416-1 is not prime. Res64: C6D9C1995C055146 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:27:32] 393*2^332416-1 is not prime. Res64: 6080AB75B8DE0232 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:27:32] 399*2^332415-1 is not prime. Res64: D7F6D512BC6AD088 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:29:06] 313*2^332419-1 is not prime. Res64: 708B3D7EA4051479 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:29:47] 315*2^332418-1 is not prime. Res64: 9DDC5CBE57832DF6 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:29:48] 397*2^332417-1 is not prime. Res64: 66DD8C13ED10C775 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:29:49] 395*2^332420-1 is not prime. Res64: BAEF4CEE051C49A0 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:31:43] 351*2^332417-1 is not prime. Res64: D069926238F69A39 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:31:59] 363*2^332420-1 is not prime. Res64: 79C10846FA3AA9D6 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:32:00] 373*2^332419-1 is not prime. Res64: 5C29140562A41079 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:32:00] 321*2^332421-1 is prime! Time : 0.0 sec. user=mdettweiler [2009-08-21 23:34:09] 341*2^332422-1 is not prime. Res64: C14A7B272C338A11 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:34:15] 363*2^332422-1 is not prime. Res64: 19831C92780749E6 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:34:16] 391*2^332423-1 is not prime. Res64: DF3413381262F3B8 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:34:17] 309*2^332425-1 is not prime. Res64: B4658805BB01CFD0 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:36:27] 311*2^332426-1 is not prime. Res64: 4C3283B806FA9048 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:36:28] 369*2^332424-1 is not prime. Res64: 567CC466CA6D0476 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:36:30] 347*2^332424-1 is not prime. Res64: 6B8DC4981BFB0C67 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:36:35] 377*2^332424-1 is not prime. Res64: 1B891C18CAD45F6C Time : 0.0 sec. user=mdettweiler [2009-08-21 23:38:41] 399*2^332425-1 is not prime. Res64: C377BE2B8C49B812 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:38:42] 393*2^332426-1 is not prime. Res64: 1DDAD4A0C81A344F Time : 0.0 sec. user=mdettweiler [2009-08-21 23:38:43] 399*2^332424-1 is not prime. Res64: 534BB784C649BEAA Time : 0.0 sec. user=mdettweiler [2009-08-21 23:39:16] 391*2^332425-1 is not prime. Res64: 1C68F9AA7B4528B8 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:40:53] 305*2^332430-1 is not prime. Res64: 077449A5E4BBB2B9 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:40:54] 319*2^332427-1 is not prime. Res64: E95F833E16042984 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:40:54] 397*2^332429-1 is not prime. Res64: F905572FBEE90734 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:41:52] 313*2^332431-1 is not prime. Res64: 19DBC7A8B3CF2597 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:43:09] 323*2^332432-1 is not prime. Res64: 530346BD8223EBAE Time : 0.0 sec. user=mdettweiler [2009-08-21 23:43:10] 327*2^332433-1 is not prime. Res64: F1C16F143CA7C531 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:43:11] 339*2^332431-1 is not prime. Res64: 47B35D94B6E25BF2 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:44:29] 385*2^332431-1 is not prime. Res64: FF723BD0ABB67960 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:45:19] 351*2^332431-1 is not prime. Res64: C9711BBB81DF9BDF Time : 0.0 sec. user=mdettweiler [2009-08-21 23:45:20] 391*2^332433-1 is not prime. Res64: C722C7B2A0F6B71D Time : 0.0 sec. user=mdettweiler [2009-08-21 23:45:21] 347*2^332436-1 is not prime. Res64: EE56432998BF599B Time : 0.0 sec. user=mdettweiler [2009-08-21 23:47:05] 377*2^332434-1 is not prime. Res64: 97AA2C8B9F94294C Time : 0.0 sec. user=mdettweiler [2009-08-21 23:47:36] 353*2^332436-1 is not prime. Res64: 1C391865B11CF9E5 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:47:37] 391*2^332435-1 is not prime. Res64: 2BE0072664918A19 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:47:38] 321*2^332437-1 is not prime. Res64: A6051EDDB61F08E1 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:49:37] 337*2^332437-1 is not prime. Res64: A9950F0C2D5DAC07 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:49:53] 339*2^332437-1 is not prime. Res64: EFD5C00CD84E73B5 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:49:54] 341*2^332438-1 is not prime. Res64: 9B68303A10940826 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:49:54] 383*2^332440-1 is not prime. Res64: 6FB381E5BFF6F27A Time : 0.0 sec. user=mdettweiler [2009-08-21 23:52:04] 387*2^332440-1 is not prime. Res64: CF44DB6ECD6FDC0F Time : 0.0 sec. user=mdettweiler [2009-08-21 23:52:05] 381*2^332439-1 is not prime. Res64: 5C41FE3B061BDD35 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:52:06] 363*2^332438-1 is not prime. Res64: 5E51AE118EC05C74 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:52:07] 363*2^332439-1 is not prime. Res64: 603433DD1A52009E Time : 0.0 sec. user=mdettweiler [2009-08-21 23:54:17] 363*2^332443-1 is not prime. Res64: ABC162BE6F5A862D Time : 0.0 sec. user=mdettweiler [2009-08-21 23:54:18] 391*2^332443-1 is not prime. Res64: 8B8D659DDA39100E Time : 0.0 sec. user=mdettweiler [2009-08-21 23:54:19] 317*2^332446-1 is not prime. Res64: 57D7E6EC8D5AC5FD Time : 0.0 sec. user=mdettweiler [2009-08-21 23:54:19] 395*2^332444-1 is not prime. Res64: D81AA03569C3EB50 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:56:35] 383*2^332446-1 is not prime. Res64: 935BCA9038C26E8C Time : 0.0 sec. user=mdettweiler [2009-08-21 23:56:36] 345*2^332446-1 is not prime. Res64: D4CD9204D183865F Time : 0.0 sec. user=mdettweiler [2009-08-21 23:56:36] 353*2^332444-1 is not prime. Res64: 77DCC7C29E0900DD Time : 0.0 sec. user=mdettweiler [2009-08-21 23:56:37] 393*2^332446-1 is not prime. Res64: 049A1C5BA83FD5A8 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:58:52] 307*2^332449-1 is not prime. Res64: FBEB63A39933326A Time : 0.0 sec. user=mdettweiler [2009-08-21 23:58:53] 315*2^332450-1 is not prime. Res64: CA1FE88F611033A2 Time : 0.0 sec. user=mdettweiler [2009-08-21 23:58:54] 319*2^332447-1 is not prime. Res64: D0F3FDCF1E76413D Time : 0.0 sec. user=mdettweiler [2009-08-21 23:58:56] 327*2^332448-1 is not prime. Res64: 2CC3D97315EC404F Time : 0.0 sec. user=mdettweiler [2009-08-22 00:01:06] 355*2^332447-1 is not prime. Res64: 241806F0D63DAB32 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:01:07] 355*2^332449-1 is not prime. Res64: D7BF086C473C6402 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:01:07] 371*2^332450-1 is not prime. Res64: 87D0A58C9CE1D311 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:01:13] 357*2^332450-1 is not prime. Res64: E15585DA6FE919A8 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:03:23] 399*2^332448-1 is not prime. Res64: F428C298DAD14FDE Time : 0.0 sec. user=mdettweiler [2009-08-22 00:03:24] 327*2^332453-1 is not prime. Res64: 8F2B8F9BA64CC8BE Time : 0.0 sec. user=mdettweiler [2009-08-22 00:03:25] 339*2^332451-1 is not prime. Res64: 0C0051CA69C3EC62 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:03:42] 345*2^332452-1 is not prime. Res64: A7EB362A28E9BCF2 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:05:37] 351*2^332453-1 is not prime. Res64: 81A510AB93B85B9A Time : 0.0 sec. user=mdettweiler [2009-08-22 00:05:38] 353*2^332452-1 is not prime. Res64: CD226D05D32D14C1 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:05:39] 373*2^332451-1 is not prime. Res64: 711F676FF27657B0 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:06:18] 309*2^332456-1 is not prime. Res64: 859832BB21300424 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:07:55] 313*2^332459-1 is not prime. Res64: 02F1846063373DBB Time : 0.0 sec. user=mdettweiler [2009-08-22 00:07:56] 355*2^332457-1 is not prime. Res64: C8E9F9133B5AB8C9 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:07:57] 367*2^332457-1 is not prime. Res64: D02421C7EE096559 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:08:56] 357*2^332458-1 is not prime. Res64: EF12739C76D9A972 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:10:13] 393*2^332458-1 is not prime. Res64: 2F9D3F6BDB054E0B Time : 0.0 sec. user=mdettweiler [2009-08-22 00:10:14] 399*2^332459-1 is not prime. Res64: 78D7603FFA67F8A9 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:10:15] 319*2^332463-1 is not prime. Res64: 08F4834461979FED Time : 0.0 sec. user=mdettweiler [2009-08-22 00:11:33] 367*2^332461-1 is not prime. Res64: AEB274DC1224E654 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:12:30] 387*2^332461-1 is not prime. Res64: 81BDBBA6ED8084C5 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:12:31] 381*2^332462-1 is not prime. Res64: 24B56F8B33BDE4FF Time : 0.0 sec. user=mdettweiler [2009-08-22 00:12:32] 353*2^332462-1 is not prime. Res64: 4F9DFAD21E3F8D4B Time : 0.0 sec. user=mdettweiler [2009-08-22 00:14:15] 319*2^332465-1 is not prime. Res64: 2652BA825AA64433 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:14:41] 327*2^332465-1 is not prime. Res64: 55C585E1BAD08C01 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:14:42] 339*2^332465-1 is not prime. Res64: 1B5D9F950B19B7B0 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:14:43] 371*2^332466-1 is not prime. Res64: 8135EE8C37520A9C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:16:53] 345*2^332464-1 is not prime. Res64: 8B06AFDB3FF1CC4C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:16:58] 377*2^332466-1 is not prime. Res64: 01C2E73BB4B187B2 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:16:59] 335*2^332464-1 is not prime. Res64: 08DEEE529A7970F8 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:17:00] 363*2^332464-1 is not prime. Res64: 4E6F93BD141302BE Time : 0.0 sec. user=mdettweiler [2009-08-22 00:19:09] 325*2^332469-1 is not prime. Res64: F633E743D3FF6D33 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:19:10] 329*2^332468-1 is not prime. Res64: D9F0A7687A695664 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:19:11] 317*2^332470-1 is not prime. Res64: 0EEF480EE01D1A70 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:19:11] 349*2^332469-1 is not prime. Res64: C6A3BA9E63FB2144 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:21:26] 333*2^332468-1 is not prime. Res64: 3EB4B7703853159F Time : 0.0 sec. user=mdettweiler [2009-08-22 00:21:26] 345*2^332470-1 is not prime. Res64: A2F354C40DF06A9F Time : 0.0 sec. user=mdettweiler [2009-08-22 00:21:27] 377*2^332468-1 is not prime. Res64: 1B33BB61FBB76200 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:21:28] 357*2^332468-1 is not prime. Res64: 22B21A08AF124867 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:23:42] 391*2^332469-1 is not prime. Res64: 8F3B3250B4FFFE2A Time : 0.0 sec. user=mdettweiler [2009-08-22 00:23:43] 307*2^332473-1 is not prime. Res64: 2323F979793B6A5F Time : 0.0 sec. user=mdettweiler [2009-08-22 00:23:43] 329*2^332472-1 is not prime. Res64: DF8FA4E222F3D20E Time : 0.0 sec. user=mdettweiler [2009-08-22 00:23:44] 395*2^332472-1 is not prime. Res64: D704A0DD5ECADEC2 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:25:58] 351*2^332471-1 is not prime. Res64: C0B22D22E17A77B6 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:25:59] 381*2^332471-1 is not prime. Res64: 2D08CEB9A416E720 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:26:00] 363*2^332470-1 is not prime. Res64: 9BA450EFCD835C1C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:26:00] 363*2^332471-1 is not prime. Res64: 2DDF9C3BD1559AEC Time : 0.0 sec. user=mdettweiler [2009-08-22 00:28:09] 305*2^332474-1 is not prime. Res64: DCE996A20728B9E1 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:28:10] 327*2^332474-1 is not prime. Res64: 77B3F1FB6A34BA71 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:28:11] 385*2^332475-1 is not prime. Res64: 507D0F44A61F5037 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:28:12] 363*2^332476-1 is not prime. Res64: 89809087877C463C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:30:26] 391*2^332475-1 is not prime. Res64: 0952F283E8D85ED3 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:30:28] 313*2^332479-1 is not prime. Res64: B20EE1489174C13D Time : 0.0 sec. user=mdettweiler [2009-08-22 00:30:29] 315*2^332478-1 is not prime. Res64: 2884BDCDE42CA8B2 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:30:31] 319*2^332477-1 is not prime. Res64: F2C5C11AA75A1BF6 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:32:46] 333*2^332478-1 is not prime. Res64: 5D585C152CF6E3E5 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:32:47] 339*2^332480-1 is not prime. Res64: 509047C7326C3350 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:32:53] 381*2^332477-1 is not prime. Res64: 4C3F630907247F07 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:32:54] 357*2^332477-1 is not prime. Res64: 65F30A8A1E875F20 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:35:03] 399*2^332479-1 is not prime. Res64: BF315652EAB30692 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:35:05] 379*2^332479-1 is not prime. Res64: 1CB3EF29858AF7FA Time : 0.0 sec. user=mdettweiler [2009-08-22 00:35:07] 301*2^332481-1 is not prime. Res64: 145D1008C61594B9 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:35:09] 327*2^332481-1 is not prime. Res64: 4B63E992119428EB Time : 0.0 sec. user=mdettweiler [2009-08-22 00:37:25] 327*2^332482-1 is not prime. Res64: C05969DC8A58EA77 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:37:27] 395*2^332480-1 is not prime. Res64: DA3648EF6A10B636 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:37:28] 383*2^332482-1 is not prime. Res64: 7471CC3410A1CD85 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:37:34] 399*2^332481-1 is not prime. Res64: BBA6CEB81DF566B4 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:39:41] 327*2^332484-1 is not prime. Res64: B47885C99C0E38E6 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:39:42] 371*2^332486-1 is not prime. Res64: 221008C2F41C88D0 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:39:43] 341*2^332486-1 is not prime. Res64: 2E4AB9C28C3DF300 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:40:16] 369*2^332484-1 is not prime. Res64: 3D72CF2FB8906C86 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:41:53] 347*2^332484-1 is not prime. Res64: 8FD77382237083E4 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:41:53] 333*2^332484-1 is not prime. Res64: 1E04FF1D82428CF8 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:41:54] 365*2^332486-1 is not prime. Res64: 1F782280AAB7C2E3 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:42:53] 389*2^332484-1 is not prime. Res64: 1D45FE03ECE6F2F3 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:44:12] 393*2^332486-1 is not prime. Res64: F3F94357E03033BB Time : 0.0 sec. user=mdettweiler [2009-08-22 00:44:15] 309*2^332488-1 is not prime. Res64: A1912AC950ADA965 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:44:19] 313*2^332487-1 is not prime. Res64: 5CB081E4AD388052 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:45:28] 395*2^332488-1 is not prime. Res64: 7134BEEB0EAC7F27 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:46:37] 399*2^332489-1 is not prime. Res64: 7313B35BDF6C67A6 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:46:39] 309*2^332492-1 is not prime. Res64: 52288906E3BE14E4 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:46:40] 325*2^332493-1 is not prime. Res64: 5AE5755BF7D68282 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:48:11] 339*2^332493-1 is not prime. Res64: 3A97282E117F4FA0 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:48:59] 383*2^332490-1 is not prime. Res64: 3B40D32E23211C3C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:49:01] 347*2^332490-1 is not prime. Res64: 390F7938C56FB980 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:49:05] 387*2^332493-1 is not prime. Res64: 8DB3C1037167DA80 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:50:51] 363*2^332492-1 is not prime. Res64: 2E1A3146920E7B59 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:51:24] 369*2^332496-1 is not prime. Res64: 036CFF851FAA702B Time : 0.0 sec. user=mdettweiler [2009-08-22 00:51:26] 387*2^332496-1 is not prime. Res64: D8C6091C42FD419E Time : 0.0 sec. user=mdettweiler [2009-08-22 00:51:29] 357*2^332494-1 is not prime. Res64: BC8AAA0C9E6B4BD1 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:53:33] 393*2^332494-1 is not prime. Res64: 6A95BC31D67A860E Time : 0.0 sec. user=mdettweiler [2009-08-22 00:53:49] 399*2^332496-1 is not prime. Res64: 00FE78EB3495161C Time : 0.0 sec. user=mdettweiler [2009-08-22 00:53:50] 315*2^332498-1 is not prime. Res64: 939D47ADEE247D43 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:53:57] 327*2^332498-1 is not prime. Res64: 4060104A761C00A8 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:56:08] 317*2^332500-1 is not prime. Res64: 7A1EF493E1B28648 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:56:15] 331*2^332497-1 is not prime. Res64: BA87EA7027EB5C77 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:56:16] 345*2^332499-1 is not prime. Res64: 3AE534BB687DFDAD Time : 0.0 sec. user=mdettweiler [2009-08-22 00:56:34] 351*2^332497-1 is not prime. Res64: CCF27B9E3C35B10E Time : 0.0 sec. user=mdettweiler [2009-08-22 00:58:39] 363*2^332498-1 is not prime. Res64: D89A981E612DA3B1 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:58:41] 337*2^332501-1 is not prime. Res64: 4BC1C967D233436D Time : 0.0 sec. user=mdettweiler [2009-08-22 00:58:43] 305*2^332502-1 is not prime. Res64: FAEC053A64CE7241 Time : 0.0 sec. user=mdettweiler [2009-08-22 00:59:21] 369*2^332500-1 is not prime. Res64: BDDBA7C65F0ED1FB Time : 0.0 sec. user=mdettweiler [2009-08-22 01:01:09] 387*2^332502-1 is not prime. Res64: 535FE194F4364B6C Time : 0.0 sec. user=mdettweiler [2009-08-22 01:01:11] 367*2^332501-1 is not prime. Res64: A3270FC2CED0D980 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:01:13] 335*2^332502-1 is not prime. Res64: D429DFC5D9AB04B1 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:02:09] 399*2^332503-1 is not prime. Res64: 8050B4D14826B08B Time : 0.0 sec. user=mdettweiler [2009-08-22 01:03:33] 321*2^332505-1 is not prime. Res64: 191FCA2EB3C75277 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:03:34] 391*2^332503-1 is not prime. Res64: 2DD6BE4A09B5BF63 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:03:35] 327*2^332505-1 is not prime. Res64: AB41F1B74C4471D5 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:04:56] 397*2^332505-1 is not prime. Res64: E0502E005062CE37 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:05:55] 371*2^332506-1 is not prime. Res64: 354DE93B8B830952 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:05:55] 365*2^332504-1 is not prime. Res64: B458CB901B163AE7 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:05:56] 335*2^332504-1 is not prime. Res64: 95E43960AAA31441 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:07:39] 357*2^332505-1 is not prime. Res64: D1E8072E57118513 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:08:21] 303*2^332508-1 is not prime. Res64: C76686218756BBA3 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:08:24] 315*2^332507-1 is not prime. Res64: C0A3B4BDD313B02C Time : 0.0 sec. user=mdettweiler [2009-08-22 01:08:26] 325*2^332507-1 is not prime. Res64: 8409777C4C7B0DC6 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:10:21] 337*2^332509-1 is not prime. Res64: DC7946733A112920 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:10:48] 385*2^332507-1 is not prime. Res64: AD028B147D07F02B Time : 0.0 sec. user=mdettweiler [2009-08-22 01:10:50] 307*2^332513-1 is not prime. Res64: B1FA82A052ADB17C Time : 0.0 sec. user=mdettweiler [2009-08-22 01:10:51] 319*2^332513-1 is not prime. Res64: FDC830CCAD072BDC Time : 0.0 sec. user=mdettweiler [2009-08-22 01:13:05] 355*2^332511-1 is not prime. Res64: AA9E554F21D124A3 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:13:11] 349*2^332511-1 is not prime. Res64: CCF675AC9F0FE781 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:13:17] 341*2^332510-1 is not prime. Res64: B57541DE8C76CC39 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:13:18] 347*2^332510-1 is not prime. Res64: F1199970F9058357 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:15:38] 365*2^332510-1 is not prime. Res64: 9E3032BB39BF689A Time : 0.0 sec. user=mdettweiler [2009-08-22 01:15:39] 385*2^332513-1 is not prime. Res64: 712A0F525ADCBCEA Time : 0.0 sec. user=mdettweiler [2009-08-22 01:15:40] 351*2^332513-1 is not prime. Res64: 70ADAB72BB977C9A Time : 0.0 sec. user=mdettweiler [2009-08-22 01:15:41] 381*2^332511-1 is not prime. Res64: 5A7689F09326BD9B Time : 0.0 sec. user=mdettweiler [2009-08-22 01:17:56] 357*2^332512-1 is not prime. Res64: 6C5F707DBBED63DA Time : 0.0 sec. user=mdettweiler [2009-08-22 01:17:56] 357*2^332510-1 is not prime. Res64: 337F159C8AAF2599 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:18:02] 309*2^332515-1 is not prime. Res64: CE5E94F1ED9818D4 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:18:13] 313*2^332515-1 is not prime. Res64: 408E44F96325D335 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:20:08] 321*2^332514-1 is not prime. Res64: 4254251B21A0101B Time : 0.0 sec. user=mdettweiler [2009-08-22 01:20:09] 333*2^332514-1 is not prime. Res64: 2664FD5D68369385 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:20:26] 339*2^332519-1 is not prime. Res64: D1FD02480972736D Time : 0.0 sec. user=mdettweiler [2009-08-22 01:20:37] 317*2^332518-1 is not prime. Res64: 9AD1B55080D3F400 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:22:29] 377*2^332518-1 is not prime. Res64: 0451F24338CC8916 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:22:35] 327*2^332520-1 is not prime. Res64: 4125AFD674478A5E Time : 0.0 sec. user=mdettweiler [2009-08-22 01:22:56] 363*2^332520-1 is not prime. Res64: A8A4ED557B5D7FBA Time : 0.0 sec. user=mdettweiler [2009-08-22 01:23:08] 399*2^332521-1 is not prime. Res64: 81B1B4608A741F6D Time : 0.0 sec. user=mdettweiler [2009-08-22 01:24:46] 373*2^332523-1 is not prime. Res64: 8DABE6406CA75EA8 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:24:52] 301*2^332525-1 is not prime. Res64: 3991763B742EADF9 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:25:18] 315*2^332525-1 is not prime. Res64: CAC7EF7CC136B59E Time : 0.0 sec. user=mdettweiler [2009-08-22 01:25:31] 339*2^332525-1 is not prime. Res64: 0D30B69FBFCCFE65 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:27:09] 397*2^332525-1 is not prime. Res64: 0E276C871B679EA3 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:27:15] 369*2^332524-1 is not prime. Res64: 7D4B84CC6AE5AC4C Time : 0.0 sec. user=mdettweiler [2009-08-22 01:27:47] 357*2^332525-1 is not prime. Res64: 3A2B947F914A524D Time : 0.0 sec. user=mdettweiler [2009-08-22 01:28:05] 315*2^332527-1 is not prime. Res64: 14BE9DBFB8FFE127 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:29:40] 329*2^332528-1 is not prime. Res64: DDD14DB440FF78D3 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:29:47] 355*2^332529-1 is not prime. Res64: 900043BD0080FCD1 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:30:23] 357*2^332528-1 is not prime. Res64: 1189F8F4F2E005D8 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:30:46] 349*2^332533-1 is not prime. Res64: 3456AF667C9E3727 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:32:09] 377*2^332530-1 is not prime. Res64: A8D0A682CCF49736 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:32:15] 357*2^332532-1 is not prime. Res64: D8A39542E63B03F1 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:32:56] 309*2^332536-1 is not prime. Res64: 1FEAE07F71AF454F Time : 0.0 sec. user=mdettweiler [2009-08-22 01:33:17] 315*2^332536-1 is not prime. Res64: 14745DB77C21A3B6 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:36:14] 321*2^332534-1 is not prime. Res64: 64B1C0D7087BE61D Time : 0.0 sec. user=mdettweiler [2009-08-22 01:36:25] 333*2^332535-1 is not prime. Res64: BE806DE80999D824 Time : 0.0 sec. user=mdettweiler [2009-08-22 01:36:37] 365*2^332534-1 is not prime. Res64: F4A7B253AE9F7D45 Time : 0.0 sec.