const int allruns[runs]={12126101,  12126104, 12126105, 12126106, 12126107, 12126108, 12127002, 12127003, 12127004, 12127005, 12127006, 12127008, 12127013, 12127017, 12127018, 12127019, 12127020, 12127021, 12127022, 12127023, 12127024, 12127030, 12127031, 12127032, 12127033, 12127034, 12127035, 12127038, 12127039, 12127040, 12127041, 12127042, 12127048, 12127049, 12127050, 12128001, 12128007, 12128008, 12128009, 12128010, 12128011, 12128012, 12128014, 12128015, 12128017, 12128018, 12128019, 12128020, 12128021, 12128024, 12128025, 12128029, 12128030, 12128032, 12128038, 12132008, 12132009, 12132010, 12132011, 12132013, 12132014, 12132017, 12132018, 12132019, 12132020, 12132021, 12132022, 12132023, 12132024, 12132025, 12132026, 12132032, 12132033, 12132034, 12132043, 12132044, 12132045, 12132046, 12132047, 12132048, 12132049, 12132050, 12132051, 12132052, 12132053, 12132054, 12132055, 12132056, 12132057, 12132058, 12132061, 12132062, 12132063, 12132064, 12132065, 12132066, 12132067, 12132068, 12132069, 12132070, 12132071, 12132072, 12133005, 12133006, 12133007, 12133008, 12133010, 12133011, 12133012, 12133013, 12133014, 12133016, 12133018, 12133019, 12133020, 12133021, 12133022, 12133023, 12133024, 12133025, 12133026, 12133027, 12133028, 12133038, 12133039, 12133040, 12133041, 12133052, 12133053, 12133054, 12133056, 12133057, 12133058, 12133059, 12133060, 12133061, 12134001, 12134002, 12134003, 12134005, 12134006, 12134007, 12134008, 12134009, 12134010, 12134011, 12134012, 12134013, 12134014, 12134015, 12134016, 12134017, 12134018, 12134023, 12134026, 12134028, 12134030, 12134031, 12134032, 12134033, 12134034, 12134035, 12134036, 12134037, 12134038, 12134040, 12134041, 12134044, 12134045, 12134046, 12134047, 12134048, 12134049, 12134050, 12134051, 12134052, 12134053, 12134055, 12134056, 12134057, 12134058, 12134059, 12134061, 12134062, 12134063, 12134064, 12134065, 12134066, 12134067, 12134068, 12135002, 12135003, 12135004, 12135005, 12135006, 12135007, 12135008, 12135009, 12135010, 12135011, 12135012, 12135013, 12135014, 12135019, 12135020, 12135021, 12135022, 12135023, 12135024, 12135025, 12135026, 12135027, 12135028, 12135029, 12135030, 12135031, 12135033, 12135034, 12135036, 12135037, 12135038, 12135039, 12135041, 12135042, 12135043, 12135044, 12135045, 12135046, 12135048, 12135049, 12135050, 12135051, 12135052, 12135053, 12135054, 12135055, 12135056, 12135057, 12135058, 12135059, 12135060, 12135061, 12136001, 12136002, 12136005, 12136006, 12136007, 12136014, 12136017, 12136018, 12136022, 12136023, 12136024, 12136025, 12136026, 12136027, 12136028, 12136029, 12136030, 12136031, 12136032, 12136034, 12136039, 12136040, 12136041, 12136043, 12136044, 12136045, 12136046, 12136047, 12136048, 12136050, 12136052, 12136053, 12136054, 12136055, 12136064, 12136065, 12136069, 12136070, 12136071, 12136074, 12136075, 12136076, 12136078, 12136079, 12136080, 12136081, 12136082, 12136083, 12136084, 12136085, 12136086, 12137003, 12137004, 12137005, 12137006, 12137007, 12137008, 12137009, 12137010, 12137011, 12137012, 12137013, 12137014, 12137015, 12137020, 12137021, 12137022, 12137023, 12137024, 12137025, 12137026, 12137027, 12137028, 12137029, 12137030, 12137033, 12137034, 12137035, 12137036, 12137037, 12137038, 12137039, 12137040, 12137041, 12137042, 12137043, 12138005, 12138007, 12138008, 12138009, 12138010, 12138011, 12138012, 12138013, 12138017, 12138021, 12138022, 12138023, 12138024, 12149028, 12149034, 12149035, 12149036, 12149037, 12149038, 12149039, 12149040, 12149044, 12149045, 12149046, 12149047, 12149048, 12149049, 12149050, 12149051, 12149058, 12149059, 12149060, 12149061, 12149062, 12149063, 12150001, 12150002, 12150003, 12150008, 12150009, 12150011, 12150012, 12150013, 12150014, 12150015, 12150016, 12150019, 12150020, 12150021, 12150026, 12150027, 12150034, 12150035, 12150036, 12150037, 12150038, 12150039, 12150040, 12150041, 12150047, 12150048, 12150050, 12150057, 12151001, 12151002, 12151003, 12151004, 12151005, 12151006, 12151009, 12151010, 12151011, 12151012, 12151013, 12151016, 12151017, 12151023, 12151032, 12151033, 12151035, 12151036, 12151038, 12151039, 12151040, 12151041, 12151044, 12151045, 12151046, 12151056, 12151063, 12151064, 12151065, 12151066, 12151067, 12151068, 12151069, 12152005, 12152006, 12152007, 12152008, 12152009, 12152010, 12152011, 12152012, 12152013, 12152014, 12152015, 12152016, 12153002, 12153004, 12153007, 12153008, 12153009, 12153012, 12153013, 12153014, 12153015, 12153016, 12153017, 12153018, 12153021, 12153032, 12153033, 12153034, 12154001, 12154002, 12154003, 12154004, 12154005, 12154006, 12154007, 12154008, 12154009, 12154011, 12154012, 12154013, 12154014, 12154015, 12154016, 12154017, 12154018, 12154019, 12154020, 12154021, 12154038, 12154039, 12154043, 12154044, 12154045, 12154046, 12154047, 12154048, 12154065, 12154066, 12154067, 12154068, 12155001, 12155002, 12155004, 12155005, 12155006, 12155007, 12155008, 12155009, 12155011, 12155012, 12155013, 12155014, 12155015, 12155016, 12155017, 12155018, 12155019, 12155020, 12155021, 12155022, 12155023, 12155029, 12155030, 12155031, 12155036, 12155037, 12155038, 12155039, 12155040, 12155043, 12155044, 12155045, 12155046, 12155047, 12155048, 12155049, 12155050, 12155051, 12155054, 12155055, 12155056, 12155057, 12155058, 12155059, 12155060, 12155061, 12155062, 12155063, 12155064, 12155065, 12155066, 12156002, 12156003, 12156004, 12156005, 12156006, 12156008, 12156009, 12156010, 12156011, 12156014, 12156015, 12156016, 12156018, 12156019, 12156020, 12156021, 12156023, 12156029, 12156030, 12156031, 12156032, 12156034, 12156035, 12156036, 12156037, 12156038, 12156041, 12156042, 12156044, 12156045, 12156046, 12156047, 12156048, 12156049, 12156050, 12156051, 12156056, 12156057, 12156058, 12156059, 12156060, 12156061, 12156062, 12156063, 12156065, 12156066, 12157003, 12157009, 12157010, 12157011, 12157012, 12157013, 12157014, 12157015, 12157016, 12157017, 12157022, 12157023, 12157024, 12157025, 12157028, 12157030, 12157031, 12157038, 12157039, 12157040, 12157041, 12157042, 12157043, 12157044, 12157045, 12157046, 12157047, 12157048, 12157051, 12157052, 12158001, 12158002, 12158003, 12158004, 12158005, 12158006, 12158009, 12158010, 12158011, 12158015, 12158016, 12158017, 12158019, 12158020, 12158021, 12158025, 12158026, 12158027, 12158029, 12158040, 12158041, 12158051, 12158052, 12158053, 12158054, 12158056, 12158057, 12158058, 12158059, 12158060, 12158061, 12158066, 12158067, 12158068, 12158069, 12158070, 12158072, 12158073, 12158074, 12159003, 12159004, 12159005, 12159006, 12159012, 12159013, 12159018, 12159019, 12159020, 12159021, 12159022, 12159023, 12159024, 12159025, 12159026, 12159036, 12159039, 12159040, 12160001, 12160002, 12160003, 12160004, 12160005, 12160006, 12160007, 12160012, 12160013, 12160016, 12160017, 12160018, 12160019, 12160020, 12160021, 12160022, 12160023, 12160024, 12160025, 12161005, 12161006, 12161007, 12161009, 12161010, 12161011, 12161012, 12161013, 12161014, 12161015, 12161016, 12161017, 12161020, 12161021, 12161022, 12161024, 12161025, 12161026, 12161027, 12161028, 12161029, 12161030, 12161031, 12161032, 12161033, 12161050, 12161052, 12161053, 12161055, 12161056, 12161057, 12161058, 12161060, 12161061, 12162002, 12162003, 12162004, 12162005, 12162006, 12162007, 12162008, 12162009, 12162010, 12162011, 12162012, 12162014, 12162015, 12162016, 12162017, 12162018, 12162019, 12162020, 12162021, 12162027, 12162028, 12162029, 12162030, 12162031, 12162032, 12162033, 12162034, 12162035, 12162042, 12162043, 12162044, 12162045, 12162046, 12162055, 12162056, 12162057, 12162058, 12162059, 12163002, 12163003, 12163005, 12163006, 12163007, 12163008, 12163009, 12163010, 12163014, 12163015, 12163016, 12163017, 12163018, 12163019, 12163020, 12163021, 12163022, 12163024, 12163049, 12163050, 12163051, 12163052, 12163053, 12163055, 12163056, 12163057, 12163058, 12164002, 12164003, 12164004, 12164005, 12164008, 12164009, 12164010, 12164011, 12164037, 12164040, 12164041, 12164042, 12164043, 12164044, 12164045, 12164046, 12164048, 12164050, 12164051, 12164053, 12164056, 12164057, 12164058, 12164063, 12164064, 12164065, 12164066, 12164067, 12164078, 12164079, 12164084, 12164085, 12164086, 12164088, 12164089, 12165001, 12165002, 12165003, 12165004, 12165005, 12165007, 12165008, 12165009, 12165010, 12165012, 12165013, 12165014, 12165015, 12165016, 12165020, 12165021, 12165022, 12165023, 12165024, 12165025, 12165026, 12165028, 12165029, 12165031, 12165037, 12165038, 12165042, 12166002, 12166003, 12166004, 12166005, 12166006, 12166008, 12166009, 12166010, 12166011, 12166051, 12166052, 12166054, 12166057, 12166058, 12166059, 12166060, 12166061, 12166062, 12167002, 12167003, 12167004, 12167005, 12167007, 12167008, 12167009, 12167010, 12167011, 12167012, 12167014, 12167015, 12167021, 12167024, 12167026, 12167029, 12167040, 12167041, 12167045, 12167046, 12167047, 12167048, 12167049, 12167052, 12168001, 12168002, 12168003, 12168004, 12168005, 12168006, 12168009, 12168010, 12168022, 12168054, 12168056, 12168057, 12168058, 12168059, 12168060, 12168063, 12168064, 12168077, 12168079, 12169013, 12169014, 12169015, 12169016, 12169017, 12169018, 12169019, 12169022, 12169023, 12169024, 12169025, 12169026, 12169027, 12169028, 12169029, 12169030, 12169031, 12169032, 12169033, 12169034, 12169041, 12169042, 12169043, 12169044, 12169045, 12169046, 12169047, 12169048, 12169049, 12169050, 12169052, 12169054, 12169055, 12169056, 12169057, 12169058, 12169059, 12169060, 12169061, 12169062, 12169063, 12169065, 12169066, 12169068, 12170001, 12170002, 12170003, 12170004, 12170005, 12170006, 12170007, 12170009, 12170010, 12170011, 12170012, 12170013, 12170014, 12170015, 12170016, 12170017, 12170018, 12170020, 12170025, 12170026, 12170027, 12170028, 12170029, 12170030, 12170031, 12170032, 12170033, 12170034, 12170035, 12170043, 12170044, 12170045, 12170046, 12170047, 12170048, 12170049, 12170050, 12170051, 12170054, 12170056, 12170057, 12170058, 12171001, 12171002, 12171003, 12171004, 12171007, 12171008, 12171009, 12171010, 12171011, 12171012, 12171013, 12171014, 12171015, 12171016};

const int allruns[runs] ={13116062,  13116063, 13116064, 13116077, 13116078, 13116079, 13116085, 13116086, 13116087, 13116088, 13116090, 13116095, 13116096, 13116097, 13116098, 13116099, 13116100, 13116101, 13116102, 13117004, 13117005, 13117006, 13117007, 13117008, 13117009, 13117010, 13117011, 13117012, 13117015, 13117016, 13117017, 13117018, 13117021, 13117022, 13117023, 13117024, 13117025, 13117026, 13117027, 13117028, 13117029, 13117031, 13117032, 13117033, 13117034, 13117035, 13117036, 13117038, 13117039, 13117040, 13117041, 13117051, 13117052, 13117053, 13117054, 13117055, 13117056, 13117057, 13117058, 13117059, 13118001, 13118009, 13118010, 13118011, 13118012, 13118013, 13118014, 13118015, 13118016, 13118017, 13118018, 13118019, 13118020, 13118021, 13118022, 13118023, 13118024, 13118033, 13118036, 13118037, 13118038, 13118039, 13118040, 13118041, 13118042, 13118043, 13118044, 13118045, 13118046, 13118051, 13118052, 13118053, 13119001, 13119002, 13119003, 13119006, 13119007, 13119008, 13119009, 13119010, 13119011, 13119012, 13119013, 13119014, 13119015, 13119016, 13119017, 13119018, 13119019, 13119020, 13119021, 13119022, 13119023, 13119024, 13119025, 13119026, 13119034, 13119035, 13119036, 13119037, 13119038, 13119039, 13119040, 13119044, 13119045, 13120001, 13120002, 13120004, 13120007, 13120008, 13120009, 13120010, 13120012, 13120013, 13120014, 13120022, 13120023, 13120024, 13120025, 13120027, 13120028, 13120029, 13120030, 13120031, 13120032, 13120033, 13120037, 13120038, 13120039, 13120040, 13120041, 13120042, 13120043, 13120044, 13120048, 13120049, 13120050, 13121001, 13121002, 13121003, 13121004, 13121005, 13121006, 13121007, 13121008, 13121014, 13121015, 13121016, 13121019, 13121020, 13121021, 13121022, 13121023, 13121024, 13121025, 13121026, 13121027, 13121028, 13121029, 13121030, 13121031, 13121032, 13121033, 13121034, 13121043, 13121045, 13121046, 13121047, 13121048, 13121049, 13121050, 13121051, 13121052, 13121053, 13121054, 13121055, 13121062, 13121063, 13122001, 13122002, 13122003, 13122004, 13122005, 13122006, 13122007, 13122008, 13122009, 13122013, 13122014, 13122015, 13122016, 13122017, 13122018, 13122019, 13122020, 13122021, 13122022, 13122023, 13122024, 13122025, 13122026, 13122035, 13122036, 13122037, 13122038, 13122039, 13122040, 13122041, 13122042, 13122043, 13122044, 13122045, 13122049, 13122050, 13122051, 13122052, 13123005, 13123006, 13123007, 13123008, 13123009, 13123010, 13123011, 13123012, 13123013, 13123015, 13123016, 13123017, 13123018, 13123019, 13123020, 13123021, 13123033, 13123034, 13123035, 13123037, 13123038, 13123039, 13123040, 13123041, 13124001, 13124005, 13124006, 13124007, 13124008, 13124009, 13124010, 13124011, 13124012, 13124013, 13124014, 13124015, 13124033, 13124034, 13124037, 13124038, 13124039, 13124040, 13124041, 13124042, 13124043, 13124046, 13124047, 13124048, 13124054, 13124055, 13124056, 13124057, 13124058, 13125001, 13125002, 13125003, 13125004, 13125005, 13125006, 13125010, 13125011, 13125012, 13125013, 13125014, 13125019, 13125020, 13125021, 13125022, 13125023, 13125024, 13125025, 13125026, 13125027, 13125028, 13125029, 13125030, 13125031, 13125032, 13125047, 13125048, 13125050, 13125051, 13125052, 13125053, 13125054, 13125055, 13126001, 13126002, 13126003, 13126004, 13126005, 13126008, 13126012, 13126013, 13126014, 13126015, 13126016, 13126017, 13126018, 13126019, 13126020, 13126021, 13126022, 13126023, 13126024, 13126025, 13126032, 13126033, 13126034, 13126035, 13126036, 13126037, 13126038, 13126039, 13126040, 13126041, 13126042, 13126043, 13126044, 13126045, 13126046, 13126051, 13126052, 13126053, 13126054, 13126055, 13126056, 13126057, 13127001, 13127002, 13127003, 13127004, 13127005, 13127006, 13127010, 13127011, 13127012, 13127013, 13127014, 13127015, 13127016, 13127017, 13127018, 13127019, 13127020, 13127021, 13127022, 13127023, 13127024, 13127025, 13127041, 13127042, 13127043, 13127044, 13127045, 13127046, 13127047, 13127048, 13127049, 13127050, 13127051, 13127052, 13127053, 13127058, 13127059, 13127060, 13127061, 13127063, 13127064, 13128001, 13128002, 13128003, 13128004, 13128005, 13128006, 13128007, 13128008, 13128009, 13128014, 13128015, 13128016, 13128017, 13128018, 13128019, 13128020, 13128021, 13128022, 13128023, 13128024, 13128025, 13128026, 13128027, 13128037, 13128038, 13128039, 13128042, 13128043, 13128044, 13128045, 13128046, 13128047, 13128048, 13128049, 13128050, 13128051, 13128052, 13128053, 13128054, 13128057, 13128058, 13128059, 13128060, 13128061, 13129006, 13129007, 13129008, 13129009, 13129010, 13129011, 13129012, 13129013, 13129014, 13129018, 13129026, 13129027, 13129028, 13129029, 13129030, 13129031, 13129032, 13129033, 13129034, 13129035, 13129036, 13129037, 13129038, 13129039, 13129046, 13129050, 13129051, 13129052, 13129053, 13129054, 13129055, 13129056, 13130001, 13130002, 13130003, 13130004, 13130005, 13130006, 13130007, 13130008, 13130009, 13130010, 13130011, 13130016, 13130017, 13130018, 13130019, 13130020, 13130021, 13130022, 13130023, 13130024, 13130025, 13130026, 13130027, 13130028, 13130029, 13130033, 13131006, 13131007, 13131008, 13131009, 13131010, 13131011, 13131012, 13131013, 13131014, 13131015, 13131016, 13131017, 13131018, 13131019, 13131020, 13131021, 13131022, 13131029, 13131030, 13131031, 13131032, 13131035, 13131036, 13131037, 13131038, 13131039, 13131040, 13131041, 13131042, 13131043, 13131044, 13131045, 13131047, 13131048, 13131054, 13131055, 13131056, 13131057, 13131058, 13132001, 13132002, 13132003, 13132004, 13132005, 13132006, 13132007, 13132008, 13132009, 13132010, 13132014, 13132015, 13132016, 13132017, 13132018, 13132019, 13132020, 13132021, 13132025, 13132026, 13132037, 13132038, 13132039, 13132040, 13132042, 13132044, 13132047, 13132048, 13132049, 13132050, 13132051, 13133006, 13133007, 13133008, 13133009, 13133010, 13133011, 13133012, 13133014, 13133015, 13133016, 13133018, 13133019, 13133020, 13133021, 13133023, 13133031, 13133032, 13133033, 13133034, 13133035, 13133036, 13133037, 13133038, 13133039, 13133040, 13133041, 13133042, 13133043, 13133044, 13133045, 13133050, 13133059, 13133060, 13133061, 13133062, 13133063, 13134001, 13134002, 13134003, 13134004, 13134005, 13134006, 13134007, 13134008, 13134009, 13134010, 13134011, 13134012, 13134013, 13134014, 13134015, 13134024, 13134025, 13134027, 13134028, 13134029, 13134030, 13134031, 13134032, 13134033, 13134034, 13134035, 13134036, 13134037, 13134048, 13134049, 13134050, 13134051, 13134052, 13134053, 13134054, 13134055, 13134056, 13134057, 13134058, 13134059, 13135004, 13135005, 13135006, 13135007, 13135008, 13135009, 13135010, 13135011, 13135012, 13135013, 13135014, 13135015, 13135016, 13135024, 13135025, 13135026, 13135027, 13135028, 13135030, 13135031, 13135032, 13135033, 13135034, 13135035, 13135036, 13135039, 13135048, 13135049, 13135050, 13135051, 13135052, 13135053, 13135054, 13135055, 13135061, 13135062, 13135063, 13136001, 13136002, 13136003, 13136007, 13136008, 13136009, 13136010, 13136011, 13136012, 13136013, 13136014, 13136015};