YES 00001012233412323322x103102104240011423102x101110410121014112442x144124041014222311402x101111244034402041121x131432433400203101012x101204020302232043012x113021002204122232421x101220311321111342302x142433232410231421432x101311232434112310422x122011320102204142242x101323100033233210212x100340224042134132021x101333301120044431002x120240234201003434032x102000403122443322232x131224023134041323121x102012110220034431221x130220142330302024202x102022132202002104332x103300423003124240042x102113344043330041211x122144243023430022202x102234232301313222112x140324011020301230122x103101123314333214022x104411421014220010121x103341423230423322221x104244300033244400232x103402012310443141302x140443300343401411432x103432011023321311232x112242413133033004322x104020121431433103312x121022401423401202442x104200423234344332022x140442211434202312012x104324434133231012122x111404110012403242032x104404302123220200221x102140222114240312012x110213231334132201232x133404010401144133202x110300023304440311121x103224331003310334422x110344444130120201132x101321341424024230021x110414122000401123332x122224023102214041112x111034323234321442302x103034001021240303022x111230342124032344432x134211144000304143242x111340142034400301232x130411404121420443322x112041430003244130232x113220320024014202012x112210324414000313321x114003120030144324211x112342423202102204202x111140440002134024002x112444310020040443102x112430110020113214102x113013204020420402402x143032213401012011442x113310011323000111102x113041143424433320221x114023004410010221132x142414030430331302121x114131100004300202111x121420033430241024421x120012323012422100321x124011230043010424342x120110042310230340332x134132030412404413202x120120101043144402332x141001320241040203022x120120132204322430121x102241443112431201212x120213340112031301212x122201143202333112242x120434021320320104422x140324011240440423222x120440332401424442222x102201043024224331312x120442133320023314232x100212120241413012032x121010421113042202322x132031312121113114132x121031440430433412342x114144220231013002021x121203142301144204321x112340143111414002142x121233221233204341012x134140201204410241112x121234402320324442422x111331332214122412232x121341334200101201042x121121101401321240122x122101120220221304412x112124021203112244312x122123320302042412302x104102210334214121412x122214303240404104221x111424421203214313242x123200103314130032342x112440114442244320342x123422334320210214132x114041311113010414211x124034114022234433302x101001143304241132222x124043121223010131332x102441414222433311012x124203224430103232242x130402410323002424102x124402422310200114221x102414402411413303212x130123012220233343321x102313101211113344032x130233202012433144021x120211133042430111412x130300020122401203222x144244241442032144242x130432332301010131421x141321410133144042112x131023224302042102111x114010411343244321122x131113301344223133412x114112113414200223222x131120320400434311211x142012434433311304342x131124312301112231132x140013011242434140002x131322410313020003321x113021321422234402432x132014302022301421112x103122240300324424321x132034311320300014241x133202430033012410021x132104122034323414012x102433243331223434342x132111424031302304032x130304322114443024222x132310142431041433102x100122044410241440112x132333412121213110142x130100444424443002142x132432202340104303042x101204231401100110112x133020013022240311002x140213240141102002242x133044240404202224032x101011144013224143422x133313430313224034202x140410243423233301042x133321133424322030422x113424443244033404221x133341142303441234142x102431234120113341012x134022110331322211202x130234202140332412412x134224403141040102102x102412030234114033242x134421143430333220312x124032314322201023232x140133243320012342332x124303014214321323122x140141213424332114422x142342411120114001321x141020002340420203432x121114220041222002402x141132303334244410202x144441003140440301322x141144012100442333132x131042441243322143342x141343221123041134342x124211402300424403312x142110100203210030122x100410142410001413321x142303411110411134422x120332442114110024002x143032304313420343221x103433241001002032022x143102104403100304312x101340200300312431132x143112213100110423302x103314112121313142242x143302412230020010312x140231143311402322012x143402432331334240412x144341044302142114412x144240023433142231021x144144411402323122121x144311343231100000021x104013024312232004412x144334010140023340021x110120111120014322432x12.122332321433221010000x120132411004240120130x124421141012101401110x120411322241014042144x112114020443044211110x121010130200433423413x121034023220302040210x112423222140220012031x120324311112311302210x123412413201423233424x122401321143423211310x124224140220102311022x121201233233000132310x112023143124042204300x120013444002110333310x123043430010243204202x123222334422130400020x112132314043132042213x112213443002201121020x120242020303324102203x123340120020223122020x124004242130032400330x111214003334044331120x120222003432034244122x121122231310323243220x122103210302011042304x122041233341332110130x112101002241012411440x112222332403232414330x123200444233000344240x120314134401321020430x123411410434300334404x123211312332011023430x122340033033131424221x121330133413412102040x124420210432410422012x122023344343232400240x121021320243411224404x122121013233143442340x123024230421001140411x112200202232120340440x121021304241122204120x123210223143313231201x120233144110401040433x112111304440332000301x122443301330013342230x123110202103144444301x112003242042414312310x123332110400022141401x121114041220132042222x120324412343232343011x122030304212010043030x123444323042124303211x124234140300044111243x123210300443024104311x122334402412140411403x123203144230003414021x121020241042002302231x112331300041442301221x111242344103002130041x120240220120232424321x120042043120004404111x120134404002001344421x120141231102001103421x120420402402040231031x124411021010431223034x120111100032311001331x112202333442434114031x123112201001440032041x112120313303403041424x111120200340000113141x112442014203433002412x112300122421032321002x124342401034003211042x123304303201324001102x120231440421403023143x123320444134010102102x122030204014202310014x112103422340223102102x121210213421134414220x121210313021104331202x124221133320234110222x122440102302312043402x122232404404211042304x122224442410423304402x121313342242034010220x123241332002333124402x123021031414202121200x122320224031112401012x123141131112121313023x124321433403404413012x112020031013202244141x112340244110324130212x124120041411134104321x121014340233212233212x121114201440210204143x122424442302320443212x123221422141223313311x124010210100243314312x122104212310410112112x121440312202202110122x121344221130212042121x120321424020302332122x121412141243301220140x112240140404230341222x124231341230212442411x124323003141330100232x124302344224441104421x123141201202343322432x111241401031111314041x120333443222041143042x122223114240334110010x123313101032212134042x121011333422241414420x124223230103442230242x120142420032301420403x112241100201322420442x121230331411420441420x112334333202221032103x123044331111210131320x112044133421020233203x121411103424033111202x122230210422102000303x124244123024414244244x112413101010323323403x121124044133101412314x111120124020342232013x122112344234311401041x121433132244310331113x122232200241431121141x111211343400402302113x124340311333443421024x123113221110321342113x120004143424211031004x112330002031301422313x123420443222412312031x121112410322020341023x112342442300304222130x114241000302311343023x112001421033003420233x121041432343022140123x124343432213334233420x123040320313042411123x122242034441122340303x120133414013424101323x121104414201444022100x124101131212121433323x124120034442444400103x124030340104320223423x121101100110413240210x120011304222031002033x124220020114104231204x123042220240404244033x122434142231044111010x120243042231303431333x124010333232434201404x122403022342433112333x112240433044234442431x124143214430324114333x121014331102143213420x120211222313301122043x121421423304120243203x120120104014130442243x124233041143203021420x121302233303434112443x123232010222341323042x123324321002334233104x122132312341241030342x122441123342431214104x112310041102111424324x123430202404320002014x120420022214002241112x120201444243330323114x122310304404130014444x123133324400121044114x124334122334214424013x124343114032112234314x121330442400320411242x122103001230200101124x112331410001424101400x122443111401111430324x120042001141124423302x112234302431340323034x122023020010014233430x121340300130440120134x123113421300300204310x120332401100131221134x124224131312121141330x121301002003221420334x121022320411334113204x121404243313323420434x121441124120344014344x112013224133432004244x112122132320411444144x112000000113234311344x121440023221342031040x112004332004101043344x123422341002111102101x122332321433221010000x120132411004240120130x122332321433221010000x1132411004240120130x122332321433221010000x12411004240120130x122332321433221010000x111004240120130x122332321433221010000x11004240120130x122332321433221010000x1240120130x122332321433221010000x1120130x122332321433221010000x120130x122332321433221010000x1130x124421141012101401110x120411322241014042144x124421141012101401110x111322241014042144x124421141012101401110x11322241014042144x124421141012101401110x122241014042144x124421141012101401110x12241014042144x124421141012101401110x1241014042144x124421141012101401110x11014042144x124421141012101401110x114042144x124421141012101401110x12144x124421141012101401110x1144x112114020443044211110x121010130200433423413x112114020443044211110x11010130200433423413x112114020443044211110x110130200433423413x112114020443044211110x1130200433423413x112114020443044211110x1200433423413x112114020443044211110x123413x112114020443044211110x113x121034023220302040210x112423222140220012031x121034023220302040210x12423222140220012031x121034023220302040210x123222140220012031x121034023220302040210x1222140220012031x121034023220302040210x122140220012031x121034023220302040210x12140220012031x121034023220302040210x1140220012031x121034023220302040210x1220012031x121034023220302040210x120012031x121034023220302040210x112031x121034023220302040210x12031x121034023220302040210x11x120324311112311302210x123412413201423233424x120324311112311302210x112413201423233424x120324311112311302210x12413201423233424x120324311112311302210x113201423233424x120324311112311302210x1201423233424x120324311112311302210x11423233424x120324311112311302210x123233424x120324311112311302210x1233424x120324311112311302210x124x122401321143423211310x124224140220102311022x122401321143423211310x1224140220102311022x122401321143423211310x124140220102311022x122401321143423211310x1140220102311022x122401321143423211310x1220102311022x122401321143423211310x120102311022x122401321143423211310x1102311022x122401321143423211310x12311022x122401321143423211310x111022x122401321143423211310x11022x122401321143423211310x122x122401321143423211310x12x121201233233000132310x112023143124042204300x121201233233000132310x12023143124042204300x121201233233000132310x123143124042204300x121201233233000132310x1143124042204300x121201233233000132310x1124042204300x121201233233000132310x124042204300x121201233233000132310x12204300x121201233233000132310x1204300x120013444002110333310x123043430010243204202x120013444002110333310x110243204202x120013444002110333310x1243204202x120013444002110333310x1204202x120013444002110333310x1202x120013444002110333310x12x123222334422130400020x112132314043132042213x123222334422130400020x12132314043132042213x123222334422130400020x1132314043132042213x123222334422130400020x12314043132042213x123222334422130400020x114043132042213x123222334422130400020x1132042213x123222334422130400020x12042213x123222334422130400020x12213x123222334422130400020x1213x123222334422130400020x113x112213443002201121020x120242020303324102203x112213443002201121020x1242020303324102203x112213443002201121020x12020303324102203x112213443002201121020x120303324102203x112213443002201121020x124102203x112213443002201121020x1102203x112213443002201121020x12203x112213443002201121020x1203x123340120020223122020x124004242130032400330x123340120020223122020x1242130032400330x123340120020223122020x12130032400330x123340120020223122020x1130032400330x123340120020223122020x12400330x111214003334044331120x120222003432034244122x111214003334044331120x1222003432034244122x111214003334044331120x122003432034244122x111214003334044331120x12003432034244122x111214003334044331120x12034244122x111214003334044331120x1244122x111214003334044331120x1122x111214003334044331120x122x111214003334044331120x12x121122231310323243220x122103210302011042304x121122231310323243220x12103210302011042304x121122231310323243220x1103210302011042304x121122231310323243220x1210302011042304x121122231310323243220x110302011042304x121122231310323243220x12011042304x121122231310323243220x111042304x121122231310323243220x11042304x121122231310323243220x12304x122041233341332110130x112101002241012411440x122041233341332110130x12101002241012411440x122041233341332110130x1101002241012411440x122041233341332110130x11002241012411440x122041233341332110130x12241012411440x122041233341332110130x1241012411440x122041233341332110130x11012411440x122041233341332110130x112411440x122041233341332110130x12411440x122041233341332110130x111440x122041233341332110130x11440x112222332403232414330x123200444233000344240x112222332403232414330x1200444233000344240x112222332403232414330x1233000344240x112222332403232414330x1240x120314134401321020430x123411410434300334404x120314134401321020430x111410434300334404x120314134401321020430x11410434300334404x120314134401321020430x110434300334404x123211312332011023430x122340033033131424221x123211312332011023430x12340033033131424221x123211312332011023430x1131424221x123211312332011023430x11424221x123211312332011023430x124221x123211312332011023430x1221x123211312332011023430x121x123211312332011023430x11x121330133413412102040x124420210432410422012x121330133413412102040x120210432410422012x121330133413412102040x1210432410422012x121330133413412102040x110432410422012x121330133413412102040x12410422012x121330133413412102040x110422012x121330133413412102040x122012x121330133413412102040x12012x121330133413412102040x112x121330133413412102040x12x122023344343232400240x121021320243411224404x122023344343232400240x11021320243411224404x122023344343232400240x121320243411224404x122023344343232400240x11320243411224404x122023344343232400240x120243411224404x122023344343232400240x1243411224404x122023344343232400240x111224404x122023344343232400240x11224404x122023344343232400240x1224404x122023344343232400240x124404x122121013233143442340x123024230421001140411x122121013233143442340x124230421001140411x122121013233143442340x1230421001140411x122121013233143442340x121001140411x122121013233143442340x11001140411x122121013233143442340x11140411x122121013233143442340x1140411x122121013233143442340x111x122121013233143442340x11x112200202232120340440x121021304241122204120x112200202232120340440x11021304241122204120x112200202232120340440x121304241122204120x112200202232120340440x11304241122204120x112200202232120340440x1241122204120x112200202232120340440x11122204120x112200202232120340440x1122204120x112200202232120340440x122204120x112200202232120340440x12204120x112200202232120340440x1204120x112200202232120340440x1120x112200202232120340440x120x123210223143313231201x120233144110401040433x123210223143313231201x1233144110401040433x123210223143313231201x1144110401040433x123210223143313231201x1110401040433x123210223143313231201x110401040433x123210223143313231201x11040433x112111304440332000301x122443301330013342230x112111304440332000301x12443301330013342230x112111304440332000301x11330013342230x112111304440332000301x113342230x112111304440332000301x12230x112111304440332000301x1230x123110202103144444301x112003242042414312310x123110202103144444301x12003242042414312310x123110202103144444301x1242042414312310x123110202103144444301x12042414312310x123110202103144444301x12414312310x123110202103144444301x114312310x123110202103144444301x112310x123110202103144444301x12310x123110202103144444301x110x123332110400022141401x121114041220132042222x123332110400022141401x11114041220132042222x123332110400022141401x1114041220132042222x123332110400022141401x114041220132042222x123332110400022141401x11220132042222x123332110400022141401x1220132042222x123332110400022141401x120132042222x123332110400022141401x1132042222x123332110400022141401x12042222x123332110400022141401x12222x123332110400022141401x1222x123332110400022141401x122x123332110400022141401x12x120324412343232343011x122030304212010043030x120324412343232343011x12030304212010043030x120324412343232343011x1212010043030x120324412343232343011x112010043030x120324412343232343011x12010043030x120324412343232343011x110043030x123444323042124303211x124234140300044111243x123444323042124303211x1234140300044111243x123444323042124303211x1140300044111243x123444323042124303211x1111243x123444323042124303211x111243x123444323042124303211x11243x123444323042124303211x1243x123210300443024104311x122334402412140411403x123210300443024104311x12334402412140411403x123210300443024104311x12412140411403x123210300443024104311x112140411403x123210300443024104311x12140411403x123210300443024104311x1140411403x123210300443024104311x111403x123210300443024104311x11403x123203144230003414021x121020241042002302231x123203144230003414021x11020241042002302231x123203144230003414021x120241042002302231x123203144230003414021x1241042002302231x123203144230003414021x11042002302231x123203144230003414021x12002302231x123203144230003414021x12302231x123203144230003414021x12231x123203144230003414021x1231x112331300041442301221x111242344103002130041x112331300041442301221x11242344103002130041x112331300041442301221x1242344103002130041x112331300041442301221x12344103002130041x112331300041442301221x1103002130041x112331300041442301221x12130041x112331300041442301221x1130041x120240220120232424321x120042043120004404111x120240220120232424321x12043120004404111x120240220120232424321x1120004404111x120240220120232424321x120004404111x120240220120232424321x1111x120240220120232424321x111x120134404002001344421x120141231102001103421x120134404002001344421x1141231102001103421x120134404002001344421x11231102001103421x120134404002001344421x1231102001103421x120134404002001344421x11102001103421x120134404002001344421x1102001103421x120134404002001344421x12001103421x120134404002001344421x11103421x120134404002001344421x1103421x120420402402040231031x124411021010431223034x120420402402040231031x111021010431223034x120420402402040231031x11021010431223034x120420402402040231031x121010431223034x120420402402040231031x11010431223034x120420402402040231031x110431223034x120420402402040231031x11223034x120420402402040231031x1223034x120420402402040231031x123034x120111100032311001331x112202333442434114031x120111100032311001331x12202333442434114031x120111100032311001331x1202333442434114031x120111100032311001331x12333442434114031x120111100032311001331x12434114031x120111100032311001331x1114031x120111100032311001331x114031x123112201001440032041x112120313303403041424x123112201001440032041x12120313303403041424x123112201001440032041x1120313303403041424x123112201001440032041x120313303403041424x123112201001440032041x113303403041424x123112201001440032041x11424x123112201001440032041x124x111120200340000113141x112442014203433002412x111120200340000113141x12442014203433002412x111120200340000113141x12014203433002412x111120200340000113141x114203433002412x111120200340000113141x1203433002412x111120200340000113141x12412x111120200340000113141x112x111120200340000113141x12x112300122421032321002x124342401034003211042x112300122421032321002x12401034003211042x112300122421032321002x11034003211042x112300122421032321002x1211042x112300122421032321002x111042x112300122421032321002x11042x123304303201324001102x120231440421403023143x123304303201324001102x1231440421403023143x123304303201324001102x11440421403023143x123304303201324001102x121403023143x123304303201324001102x11403023143x123304303201324001102x123143x123304303201324001102x1143x123320444134010102102x122030204014202310014x123320444134010102102x12030204014202310014x123320444134010102102x1204014202310014x123320444134010102102x114202310014x123320444134010102102x1202310014x123320444134010102102x12310014x123320444134010102102x110014x123320444134010102102x114x112103422340223102102x121210213421134414220x112103422340223102102x11210213421134414220x112103422340223102102x1210213421134414220x112103422340223102102x110213421134414220x112103422340223102102x1213421134414220x112103422340223102102x113421134414220x112103422340223102102x121134414220x112103422340223102102x11134414220x112103422340223102102x1134414220x112103422340223102102x114220x112103422340223102102x1220x112103422340223102102x120x121210313021104331202x124221133320234110222x121210313021104331202x1221133320234110222x121210313021104331202x121133320234110222x121210313021104331202x11133320234110222x121210313021104331202x1133320234110222x121210313021104331202x120234110222x121210313021104331202x1234110222x121210313021104331202x1110222x121210313021104331202x110222x121210313021104331202x1222x121210313021104331202x122x122440102302312043402x122232404404211042304x122440102302312043402x12232404404211042304x122440102302312043402x1232404404211042304x122440102302312043402x12404404211042304x122440102302312043402x1211042304x122440102302312043402x111042304x122440102302312043402x11042304x122440102302312043402x12304x122224442410423304402x121313342242034010220x122224442410423304402x11313342242034010220x122224442410423304402x113342242034010220x122224442410423304402x12242034010220x122224442410423304402x1242034010220x122224442410423304402x12034010220x122224442410423304402x110220x122224442410423304402x1220x122224442410423304402x120x123241332002333124402x123021031414202121200x123241332002333124402x121031414202121200x123241332002333124402x11031414202121200x123241332002333124402x11414202121200x123241332002333124402x114202121200x123241332002333124402x1202121200x123241332002333124402x12121200x123241332002333124402x1121200x123241332002333124402x121200x123241332002333124402x11200x123241332002333124402x1200x122320224031112401012x123141131112121313023x122320224031112401012x1141131112121313023x122320224031112401012x11131112121313023x122320224031112401012x1131112121313023x122320224031112401012x11112121313023x122320224031112401012x1112121313023x122320224031112401012x112121313023x122320224031112401012x12121313023x122320224031112401012x1121313023x122320224031112401012x121313023x122320224031112401012x11313023x122320224031112401012x113023x122320224031112401012x123x124321433403404413012x112020031013202244141x124321433403404413012x12020031013202244141x124321433403404413012x120031013202244141x124321433403404413012x11013202244141x124321433403404413012x113202244141x124321433403404413012x1202244141x124321433403404413012x12244141x124321433403404413012x1244141x124321433403404413012x1141x124321433403404413012x11x112340244110324130212x124120041411134104321x112340244110324130212x1120041411134104321x112340244110324130212x120041411134104321x112340244110324130212x11411134104321x112340244110324130212x111134104321x112340244110324130212x11134104321x112340244110324130212x1134104321x112340244110324130212x1104321x112340244110324130212x121x112340244110324130212x11x121014340233212233212x121114201440210204143x121014340233212233212x11114201440210204143x121014340233212233212x1114201440210204143x121014340233212233212x114201440210204143x121014340233212233212x1201440210204143x121014340233212233212x11440210204143x121014340233212233212x1210204143x121014340233212233212x110204143x121014340233212233212x1204143x121014340233212233212x1143x122424442302320443212x123221422141223313311x122424442302320443212x1221422141223313311x122424442302320443212x121422141223313311x122424442302320443212x11422141223313311x122424442302320443212x122141223313311x122424442302320443212x12141223313311x122424442302320443212x1141223313311x122424442302320443212x11223313311x122424442302320443212x1223313311x122424442302320443212x123313311x122424442302320443212x113311x122424442302320443212x111x122424442302320443212x11x124010210100243314312x122104212310410112112x124010210100243314312x12104212310410112112x124010210100243314312x1104212310410112112x124010210100243314312x1212310410112112x124010210100243314312x112310410112112x124010210100243314312x12310410112112x124010210100243314312x110410112112x124010210100243314312x110112112x124010210100243314312x1112112x124010210100243314312x112112x124010210100243314312x12112x124010210100243314312x1112x121440312202202110122x121344221130212042121x121440312202202110122x11344221130212042121x121440312202202110122x1221130212042121x121440312202202110122x121130212042121x121440312202202110122x11130212042121x121440312202202110122x1130212042121x121440312202202110122x1212042121x121440312202202110122x112042121x121440312202202110122x12042121x121440312202202110122x12121x121440312202202110122x1121x121440312202202110122x121x121440312202202110122x11x120321424020302332122x121412141243301220140x120321424020302332122x11412141243301220140x120321424020302332122x112141243301220140x120321424020302332122x12141243301220140x120321424020302332122x1141243301220140x120321424020302332122x11243301220140x120321424020302332122x1243301220140x120321424020302332122x11220140x120321424020302332122x1220140x120321424020302332122x120140x120321424020302332122x1140x112240140404230341222x124231341230212442411x112240140404230341222x1231341230212442411x112240140404230341222x11341230212442411x112240140404230341222x11230212442411x112240140404230341222x1230212442411x112240140404230341222x1212442411x112240140404230341222x112442411x112240140404230341222x12442411x112240140404230341222x12411x112240140404230341222x111x112240140404230341222x11x124323003141330100232x124302344224441104421x124323003141330100232x12344224441104421x124323003141330100232x1224441104421x124323003141330100232x124441104421x124323003141330100232x11104421x124323003141330100232x1104421x124323003141330100232x121x124323003141330100232x11x123141201202343322432x111241401031111314041x123141201202343322432x11241401031111314041x123141201202343322432x1241401031111314041x123141201202343322432x11401031111314041x123141201202343322432x11031111314041x123141201202343322432x11111314041x123141201202343322432x1111314041x123141201202343322432x111314041x123141201202343322432x11314041x123141201202343322432x114041x123141201202343322432x11x120333443222041143042x122223114240334110010x120333443222041143042x12223114240334110010x120333443222041143042x1223114240334110010x120333443222041143042x123114240334110010x120333443222041143042x1114240334110010x120333443222041143042x114240334110010x120333443222041143042x1240334110010x120333443222041143042x1110010x120333443222041143042x110010x120333443222041143042x110x123313101032212134042x121011333422241414420x123313101032212134042x11011333422241414420x123313101032212134042x111333422241414420x123313101032212134042x11333422241414420x123313101032212134042x122241414420x123313101032212134042x12241414420x123313101032212134042x1241414420x123313101032212134042x11414420x123313101032212134042x114420x123313101032212134042x120x124223230103442230242x120142420032301420403x124223230103442230242x1142420032301420403x124223230103442230242x12420032301420403x124223230103442230242x120032301420403x124223230103442230242x12301420403x124223230103442230242x11420403x124223230103442230242x120403x112241100201322420442x121230331411420441420x112241100201322420442x11230331411420441420x112241100201322420442x1230331411420441420x112241100201322420442x11411420441420x112241100201322420442x111420441420x112241100201322420442x11420441420x112241100201322420442x120441420x112241100201322420442x11420x112241100201322420442x120x112334333202221032103x123044331111210131320x112334333202221032103x11111210131320x112334333202221032103x1111210131320x112334333202221032103x111210131320x112334333202221032103x11210131320x112334333202221032103x1210131320x112334333202221032103x110131320x112334333202221032103x1131320x112334333202221032103x11320x112334333202221032103x120x112044133421020233203x121411103424033111202x112044133421020233203x11411103424033111202x112044133421020233203x111103424033111202x112044133421020233203x11103424033111202x112044133421020233203x1103424033111202x112044133421020233203x124033111202x112044133421020233203x1111202x112044133421020233203x111202x112044133421020233203x11202x112044133421020233203x1202x112044133421020233203x12x122230210422102000303x124244123024414244244x122230210422102000303x1244123024414244244x122230210422102000303x1123024414244244x122230210422102000303x123024414244244x122230210422102000303x124414244244x122230210422102000303x114244244x122230210422102000303x1244244x122230210422102000303x1244x112413101010323323403x121124044133101412314x112413101010323323403x11124044133101412314x112413101010323323403x1124044133101412314x112413101010323323403x124044133101412314x112413101010323323403x1133101412314x112413101010323323403x1101412314x112413101010323323403x11412314x112413101010323323403x112314x112413101010323323403x12314x112413101010323323403x114x111120124020342232013x122112344234311401041x111120124020342232013x12112344234311401041x111120124020342232013x1112344234311401041x111120124020342232013x112344234311401041x111120124020342232013x12344234311401041x111120124020342232013x1234311401041x111120124020342232013x111401041x111120124020342232013x11401041x111120124020342232013x11041x111120124020342232013x11x121433132244310331113x122232200241431121141x121433132244310331113x12232200241431121141x121433132244310331113x1232200241431121141x121433132244310331113x12200241431121141x121433132244310331113x1200241431121141x121433132244310331113x1241431121141x121433132244310331113x11431121141x121433132244310331113x11121141x121433132244310331113x1121141x121433132244310331113x121141x121433132244310331113x11141x121433132244310331113x1141x121433132244310331113x11x111211343400402302113x124340311333443421024x111211343400402302113x111333443421024x111211343400402302113x11333443421024x111211343400402302113x121024x111211343400402302113x11024x111211343400402302113x124x123113221110321342113x120004143424211031004x123113221110321342113x1143424211031004x123113221110321342113x124211031004x123113221110321342113x1211031004x123113221110321342113x111031004x123113221110321342113x11031004x123113221110321342113x11004x112330002031301422313x123420443222412312031x112330002031301422313x120443222412312031x112330002031301422313x1222412312031x112330002031301422313x122412312031x112330002031301422313x12412312031x112330002031301422313x112312031x112330002031301422313x12312031x112330002031301422313x112031x112330002031301422313x12031x112330002031301422313x11x121112410322020341023x112342442300304222130x121112410322020341023x12342442300304222130x121112410322020341023x12442300304222130x121112410322020341023x12300304222130x121112410322020341023x1222130x121112410322020341023x122130x121112410322020341023x12130x121112410322020341023x1130x114241000302311343023x112001421033003420233x114241000302311343023x12001421033003420233x114241000302311343023x11421033003420233x114241000302311343023x121033003420233x114241000302311343023x11033003420233x114241000302311343023x120233x114241000302311343023x1233x121041432343022140123x124343432213334233420x121041432343022140123x12213334233420x121041432343022140123x1213334233420x121041432343022140123x113334233420x121041432343022140123x1233420x121041432343022140123x120x123040320313042411123x122242034441122340303x123040320313042411123x12242034441122340303x123040320313042411123x1242034441122340303x123040320313042411123x12034441122340303x123040320313042411123x11122340303x123040320313042411123x1122340303x123040320313042411123x122340303x123040320313042411123x12340303x120133414013424101323x121104414201444022100x120133414013424101323x11104414201444022100x120133414013424101323x1104414201444022100x120133414013424101323x114201444022100x120133414013424101323x1201444022100x120133414013424101323x11444022100x120133414013424101323x122100x120133414013424101323x12100x120133414013424101323x1100x124101131212121433323x124120034442444400103x124101131212121433323x1120034442444400103x124101131212121433323x120034442444400103x124101131212121433323x12444400103x124101131212121433323x1103x124030340104320223423x121101100110413240210x124030340104320223423x11101100110413240210x124030340104320223423x1101100110413240210x124030340104320223423x11100110413240210x124030340104320223423x1100110413240210x124030340104320223423x1110413240210x124030340104320223423x110413240210x124030340104320223423x113240210x124030340104320223423x1240210x124030340104320223423x1210x124030340104320223423x110x120011304222031002033x124220020114104231204x120011304222031002033x1220020114104231204x120011304222031002033x120020114104231204x120011304222031002033x120114104231204x120011304222031002033x1114104231204x120011304222031002033x114104231204x120011304222031002033x1104231204x120011304222031002033x1231204x120011304222031002033x11204x120011304222031002033x1204x123042220240404244033x122434142231044111010x123042220240404244033x12434142231044111010x123042220240404244033x1142231044111010x123042220240404244033x12231044111010x123042220240404244033x1231044111010x123042220240404244033x11044111010x123042220240404244033x1111010x123042220240404244033x111010x123042220240404244033x11010x123042220240404244033x110x120243042231303431333x124010333232434201404x120243042231303431333x110333232434201404x120243042231303431333x1232434201404x120243042231303431333x12434201404x120243042231303431333x1201404x120243042231303431333x11404x122403022342433112333x112240433044234442431x122403022342433112333x12240433044234442431x122403022342433112333x1240433044234442431x122403022342433112333x1234442431x122403022342433112333x12431x122403022342433112333x11x124143214430324114333x121014331102143213420x124143214430324114333x11014331102143213420x124143214430324114333x114331102143213420x124143214430324114333x11102143213420x124143214430324114333x1102143213420x124143214430324114333x12143213420x124143214430324114333x1143213420x124143214430324114333x1213420x124143214430324114333x113420x124143214430324114333x120x120211222313301122043x121421423304120243203x120211222313301122043x11421423304120243203x120211222313301122043x121423304120243203x120211222313301122043x11423304120243203x120211222313301122043x123304120243203x120211222313301122043x1120243203x120211222313301122043x120243203x120211222313301122043x1243203x120211222313301122043x1203x120120104014130442243x124233041143203021420x120120104014130442243x1233041143203021420x120120104014130442243x11143203021420x120120104014130442243x1143203021420x120120104014130442243x1203021420x120120104014130442243x121420x120120104014130442243x11420x120120104014130442243x120x121302233303434112443x123232010222341323042x121302233303434112443x1232010222341323042x121302233303434112443x12010222341323042x121302233303434112443x110222341323042x121302233303434112443x1222341323042x121302233303434112443x122341323042x121302233303434112443x12341323042x121302233303434112443x11323042x121302233303434112443x123042x121302233303434112443x12x123324321002334233104x122132312341241030342x123324321002334233104x12132312341241030342x123324321002334233104x1132312341241030342x123324321002334233104x12312341241030342x123324321002334233104x112341241030342x123324321002334233104x12341241030342x123324321002334233104x11241030342x123324321002334233104x1241030342x123324321002334233104x11030342x123324321002334233104x12x122441123342431214104x112310041102111424324x122441123342431214104x12310041102111424324x122441123342431214104x110041102111424324x122441123342431214104x11102111424324x122441123342431214104x1102111424324x122441123342431214104x12111424324x122441123342431214104x1111424324x122441123342431214104x111424324x122441123342431214104x11424324x122441123342431214104x124324x122441123342431214104x124x123430202404320002014x120420022214002241112x123430202404320002014x120022214002241112x123430202404320002014x122214002241112x123430202404320002014x12214002241112x123430202404320002014x1214002241112x123430202404320002014x114002241112x123430202404320002014x12241112x123430202404320002014x1241112x123430202404320002014x11112x123430202404320002014x1112x123430202404320002014x112x123430202404320002014x12x120201444243330323114x122310304404130014444x120201444243330323114x12310304404130014444x120201444243330323114x110304404130014444x120201444243330323114x1130014444x120201444243330323114x114444x123133324400121044114x124334122334214424013x123133324400121044114x1122334214424013x123133324400121044114x122334214424013x123133324400121044114x12334214424013x123133324400121044114x1214424013x123133324400121044114x114424013x123133324400121044114x124013x123133324400121044114x113x124343114032112234314x121330442400320411242x124343114032112234314x11330442400320411242x124343114032112234314x12400320411242x124343114032112234314x120411242x124343114032112234314x111242x124343114032112234314x11242x124343114032112234314x1242x124343114032112234314x12x122103001230200101124x112331410001424101400x122103001230200101124x12331410001424101400x122103001230200101124x11410001424101400x122103001230200101124x110001424101400x122103001230200101124x11424101400x122103001230200101124x124101400x122103001230200101124x1101400x122103001230200101124x11400x122443111401111430324x120042001141124423302x122443111401111430324x12001141124423302x122443111401111430324x11141124423302x122443111401111430324x1141124423302x122443111401111430324x11124423302x122443111401111430324x1124423302x122443111401111430324x124423302x122443111401111430324x123302x122443111401111430324x12x112234302431340323034x122023020010014233430x112234302431340323034x12023020010014233430x112234302431340323034x123020010014233430x112234302431340323034x120010014233430x112234302431340323034x110014233430x112234302431340323034x114233430x112234302431340323034x1233430x121340300130440120134x123113421300300204310x121340300130440120134x1113421300300204310x121340300130440120134x113421300300204310x121340300130440120134x121300300204310x121340300130440120134x11300300204310x121340300130440120134x1204310x121340300130440120134x110x120332401100131221134x124224131312121141330x120332401100131221134x1224131312121141330x120332401100131221134x124131312121141330x120332401100131221134x1131312121141330x120332401100131221134x11312121141330x120332401100131221134x112121141330x120332401100131221134x12121141330x120332401100131221134x1121141330x120332401100131221134x121141330x120332401100131221134x11141330x120332401100131221134x1141330x120332401100131221134x11330x121301002003221420334x121022320411334113204x121301002003221420334x11022320411334113204x121301002003221420334x122320411334113204x121301002003221420334x12320411334113204x121301002003221420334x120411334113204x121301002003221420334x111334113204x121301002003221420334x11334113204x121301002003221420334x1113204x121301002003221420334x113204x121301002003221420334x1204x121404243313323420434x121441124120344014344x121404243313323420434x11441124120344014344x121404243313323420434x11124120344014344x121404243313323420434x1124120344014344x121404243313323420434x124120344014344x121404243313323420434x1120344014344x121404243313323420434x120344014344x121404243313323420434x114344x112013224133432004244x112122132320411444144x112013224133432004244x12122132320411444144x112013224133432004244x1122132320411444144x112013224133432004244x122132320411444144x112013224133432004244x12132320411444144x112013224133432004244x1132320411444144x112013224133432004244x12320411444144x112013224133432004244x120411444144x112013224133432004244x111444144x112013224133432004244x11444144x112013224133432004244x1144x112000000113234311344x121440023221342031040x112000000113234311344x11440023221342031040x112000000113234311344x123221342031040x112000000113234311344x1221342031040x112000000113234311344x121342031040x112000000113234311344x11342031040x112000000113234311344x12031040x112000000113234311344x11040x112004332004101043344x123422341002111102101x112004332004101043344x122341002111102101x112004332004101043344x12341002111102101x112004332004101043344x11002111102101x112004332004101043344x12111102101x112004332004101043344x1111102101x112004332004101043344x111102101x112004332004101043344x11102101x112004332004101043344x1102101x112004332004101043344x12101x112004332004101043344x1101x112004332004101043344x11x1true24421141012101401110x12144x121440312202202110122x12121x121210313021104331202x1222x122224442410423304402x120x120324311112311302210x1201423233424x120240220120232424321x1111x111120200340000113141x112x112213443002201121020x1203x120324311112311302210x124x124321433403404413012x1202244141x120240220120232424321x111x111214003334044331120x1122x112222332403232414330x1240x124010210100243314312x1112x111214003334044331120x122x122401321143423211310x122x122401321143423211310x12x121034023220302040210x11x111214003334044331120x12x120013444002110333310x1202x120211222313301122043x120243203x120211222313301122043x1203x120013444002110333310x12x123222334422130400020x1213x121330133413412102040x12012x120120104014130442243x120x120011304222031002033x11204x112044133421020233203x1111202x111120200340000113141x12x123211312332011023430x1221x122121013233143442340x111x111120124020342232013x11x112200202232120340440x1120x112044133421020233203x1202x112044133421020233203x12x123211312332011023430x121x121330133413412102040x112x112200202232120340440x120x112103422340223102102x120x112340244110324130212x121x121330133413412102040x12x123211312332011023430x11x112340244110324130212x11x112240140404230341222x111x111211343400402302113x124x124321433403404413012x11x112240140404230341222x11x112241100201322420442x120x112334333202221032103x120x112413101010323323403x12314x123141201202343322432x11x112413101010323323403x114x114241000302311343023x120233x114241000302311343023x1233x123332110400022141401x12222x123332110400022141401x1222x122230210422102000303x1244x123332110400022141401x122x122121013233143442340x11x112330002031301422313x11x112004332004101043344x11x122320224031112401012x123x123332110400022141401x12x123444323042124303211x1243x124323003141330100232x121x121210313021104331202x122x122424442302320443212x111x122424442302320443212x11x122403022342433112333x11x122441123342431214104x124x124323003141330100232x11x124030340104320223423x1210x121041432343022140123x120x124143214430324114333x120x124343114032112234314x12x123203144230003414021x1231x123112201001440032041x11424x123112201001440032041x124x123320444134010102102x114x123241332002333124402x1202121200x123241332002333124402x11200x123241332002333124402x1200x121440312202202110122x1121x121440312202202110122x121x121440312202202110122x11x121433132244310331113x11x121112410322020341023x12130x121302233303434112443x12x123313101032212134042x120x123324321002334233104x12x123430202404320002014x11112x123430202404320002014x1112x123430202404320002014x112x123430202404320002014x12x122443111401111430324x12x1true1211141111211111111101111311111111121034023220302040210x12031x1false12330002031301422313x12031x1false21034023220302040210x120012031x1false23203144230003414021x12002302231x1false21433132244310331113x1200241431121141x1false22443111401111430324x12001141124423302x1false20013444002110333310x1243204202x1false22403022342433112333x12431x1false20211222313301122043x1243203x1false22441123342431214104x124324x1false21034023220302040210x123222140220012031x1false20324311112311302210x123233424x1false21433132244310331113x1232200241431121141x1false12330002031301422313x12312031x1false20011304222031002033x1231204x1false21034023220302040210x112423222140220012031x1false21034023220302040210x112031x1false12200202232120340440x11122204120x1false12200202232120340440x1122204120x1false23332110400022141401x11220132042222x1false23444323042124303211x1111243x1false23444323042124303211x111243x1false23444323042124303211x11243x1false23241332002333124402x1121200x1false24010210100243314312x1112112x1false24010210100243314312x112112x1false21440312202202110122x112042121x1false12240140404230341222x11230212442411x1false12240140404230341222x112442411x1false12044133421020233203x111202x1false12044133421020233203x11202x1false22230210422102000303x1123024414244244x1false12413101010323323403x112314x1false21433132244310331113x11121141x1false21433132244310331113x1121141x1false21433132244310331113x11141x1false12330002031301422313x112312031x1false12330002031301422313x112031x1false20211222313301122043x1120243203x1false22441123342431214104x1111424324x1false22441123342431214104x111424324x1false24343114032112234314x111242x1false24343114032112234314x11242x1false22443111401111430324x11141124423302x1false22443111401111430324x11124423302x1false22443111401111430324x1124423302x1false21034023220302040210x12423222140220012031x1false23211312332011023430x124221x1false12200202232120340440x1241122204120x1false11120200340000113141x12412x1false12240140404230341222x12411x1false22230210422102000303x124244123024414244244x1false12330002031301422313x12412312031x1false23430202404320002014x1241112x1false24343114032112234314x1242x1false21433132244310331113x1241431121141x1false21034023220302040210x1222140220012031x1false21034023220302040210x122140220012031x1false21034023220302040210x1220012031x1false23222334422130400020x12213x1false12213443002201121020x12203x1false21330133413412102040x122012x1false12200202232120340440x122204120x1false12200202232120340440x12204120x1false12111304440332000301x12230x1false23332110400022141401x1220132042222x1false23203144230003414021x12231x1false12103422340223102102x1220x1false22224442410423304402x1220x1false23241332002333124402x12121200x1false23241332002333124402x121200x1false24321433403404413012x12244141x1false24010210100243314312x12112x1false21440312202202110122x1212042121x1false12240140404230341222x1212442411x1false21433132244310331113x122232200241431121141x1false21433132244310331113x12232200241431121141x1false21433132244310331113x12200241431121141x1false21433132244310331113x121141x1false12330002031301422313x1222412312031x1false12330002031301422313x122412312031x1false21112410322020341023x1222130x1false21112410322020341023x122130x1false20211222313301122043x121421423304120243203x1false20211222313301122043x121423304120243203x1false20120104014130442243x121420x1false22441123342431214104x12111424324x1false23430202404320002014x12241112x1false23241332002333124402x121031414202121200x1false11211343400402302113x121024x1false12004332004101043344x12101x1false11214003334044331120x1244122x1false24321433403404413012x1244141x1false12240140404230341222x12442411x1false22230210422102000303x1244123024414244244x1false22230210422102000303x124414244244x1false22230210422102000303x1244244x1false22443111401111430324x124423302x1false20324311112311302210x1233424x1false21041432343022140123x1233420x1false22401321143423211310x12311022x1false22403022342433112333x1234442431x1false20013444002110333310x1204202x1false23222334422130400020x12042213x1false12200202232120340440x1204120x1false23332110400022141401x12042222x1false21440312202202110122x12042121x1false20011304222031002033x1204x1false24343114032112234314x120411242x1false21301002003221420334x1204x1false20211222313301122043x123304120243203x1false22443111401111430324x123302x1false20324311112311302210x112413201423233424x1false24143214430324114333x12143213420x1false20324311112311302210x11423233424x1false23211312332011023430x11424221x1false12103422340223102102x114220x1false23241332002333124402x11414202121200x1false23241332002333124402x114202121200x1false24321433403404413012x1141x1false12241100201322420442x11420x1false22230210422102000303x114244244x1false12413101010323323403x11412314x1false21433132244310331113x1141x1false20211222313301122043x11421423304120243203x1false20211222313301122043x11423304120243203x1false20120104014130442243x11420x1false22441123342431214104x11424324x1false22443111401111430324x1141124423302x1false23332110400022141401x120132042222x1false12213443002201121020x124102203x1false24030340104320223423x1240210x1false21122231310323243220x12304x1false12111304440332000301x1230x1false23203144230003414021x12302231x1false22440102302312043402x12304x1false23241332002333124402x123021031414202121200x1false12240140404230341222x1230212442411x1false22230210422102000303x123024414244244x1false21302233303434112443x123042x1false20324311112311302210x123412413201423233424x1false24143214430324114333x1213420x1false21034023220302040210x12140220012031x1false22332321433221010000x120132411004240120130x1false22332321433221010000x1132411004240120130x1false22332321433221010000x12411004240120130x1false22332321433221010000x111004240120130x1false22332321433221010000x11004240120130x1false22332321433221010000x1240120130x1false22332321433221010000x1120130x1false22332321433221010000x120130x1false22332321433221010000x1130x1false24421141012101401110x120411322241014042144x1false24421141012101401110x111322241014042144x1false24421141012101401110x11322241014042144x1false24421141012101401110x122241014042144x1false24421141012101401110x12241014042144x1false24421141012101401110x1241014042144x1false24421141012101401110x11014042144x1false24421141012101401110x114042144x1false24421141012101401110x1144x1false12114020443044211110x121010130200433423413x1false12114020443044211110x11010130200433423413x1false12114020443044211110x110130200433423413x1false12114020443044211110x1130200433423413x1false12114020443044211110x1200433423413x1false12114020443044211110x123413x1false12114020443044211110x113x1false21034023220302040210x1140220012031x1false20324311112311302210x12413201423233424x1false20324311112311302210x113201423233424x1false22401321143423211310x124224140220102311022x1false22401321143423211310x1224140220102311022x1false22401321143423211310x124140220102311022x1false22401321143423211310x1140220102311022x1false22401321143423211310x1220102311022x1false22401321143423211310x120102311022x1false22401321143423211310x1102311022x1false22401321143423211310x111022x1false22401321143423211310x11022x1false21201233233000132310x112023143124042204300x1false21201233233000132310x12023143124042204300x1false21201233233000132310x123143124042204300x1false21201233233000132310x1143124042204300x1false21201233233000132310x1124042204300x1false21201233233000132310x124042204300x1false21201233233000132310x12204300x1false21201233233000132310x1204300x1false20013444002110333310x123043430010243204202x1false20013444002110333310x110243204202x1false23222334422130400020x112132314043132042213x1false23222334422130400020x12132314043132042213x1false23222334422130400020x1132314043132042213x1false23222334422130400020x12314043132042213x1false23222334422130400020x114043132042213x1false23222334422130400020x1132042213x1false23222334422130400020x113x1false12213443002201121020x120242020303324102203x1false12213443002201121020x1242020303324102203x1false12213443002201121020x12020303324102203x1false12213443002201121020x120303324102203x1false12213443002201121020x1102203x1false23340120020223122020x124004242130032400330x1false23340120020223122020x1242130032400330x1false23340120020223122020x12130032400330x1false23340120020223122020x1130032400330x1false23340120020223122020x12400330x1false11214003334044331120x120222003432034244122x1false11214003334044331120x1222003432034244122x1false11214003334044331120x122003432034244122x1false11214003334044331120x12003432034244122x1false11214003334044331120x12034244122x1false21122231310323243220x122103210302011042304x1false21122231310323243220x12103210302011042304x1false21122231310323243220x1103210302011042304x1false21122231310323243220x1210302011042304x1false21122231310323243220x110302011042304x1false21122231310323243220x12011042304x1false21122231310323243220x111042304x1false21122231310323243220x11042304x1false22041233341332110130x112101002241012411440x1false22041233341332110130x12101002241012411440x1false22041233341332110130x1101002241012411440x1false22041233341332110130x11002241012411440x1false22041233341332110130x12241012411440x1false22041233341332110130x1241012411440x1false22041233341332110130x11012411440x1false22041233341332110130x112411440x1false22041233341332110130x12411440x1false22041233341332110130x111440x1false22041233341332110130x11440x1false12222332403232414330x123200444233000344240x1false12222332403232414330x1200444233000344240x1false12222332403232414330x1233000344240x1false20314134401321020430x123411410434300334404x1false20314134401321020430x111410434300334404x1false20314134401321020430x11410434300334404x1false20314134401321020430x110434300334404x1false23211312332011023430x122340033033131424221x1false23211312332011023430x12340033033131424221x1false23211312332011023430x1131424221x1false21330133413412102040x124420210432410422012x1false21330133413412102040x120210432410422012x1false21330133413412102040x1210432410422012x1false21330133413412102040x110432410422012x1false21330133413412102040x12410422012x1false21330133413412102040x110422012x1false22023344343232400240x121021320243411224404x1false22023344343232400240x11021320243411224404x1false22023344343232400240x121320243411224404x1false22023344343232400240x11320243411224404x1false22023344343232400240x120243411224404x1false22023344343232400240x1243411224404x1false22023344343232400240x111224404x1false22023344343232400240x11224404x1false22023344343232400240x1224404x1false22023344343232400240x124404x1false22121013233143442340x123024230421001140411x1false22121013233143442340x124230421001140411x1false22121013233143442340x1230421001140411x1false22121013233143442340x121001140411x1false22121013233143442340x11001140411x1false22121013233143442340x11140411x1false22121013233143442340x1140411x1false12200202232120340440x121021304241122204120x1false12200202232120340440x11021304241122204120x1false12200202232120340440x121304241122204120x1false12200202232120340440x11304241122204120x1false23210223143313231201x120233144110401040433x1false23210223143313231201x1233144110401040433x1false23210223143313231201x1144110401040433x1false23210223143313231201x1110401040433x1false23210223143313231201x110401040433x1false23210223143313231201x11040433x1false12111304440332000301x122443301330013342230x1false12111304440332000301x12443301330013342230x1false12111304440332000301x11330013342230x1false12111304440332000301x113342230x1false23110202103144444301x112003242042414312310x1false23110202103144444301x12003242042414312310x1false23110202103144444301x1242042414312310x1false23110202103144444301x12042414312310x1false23110202103144444301x12414312310x1false23110202103144444301x114312310x1false23110202103144444301x112310x1false23110202103144444301x12310x1false23110202103144444301x110x1false23332110400022141401x121114041220132042222x1false23332110400022141401x11114041220132042222x1false23332110400022141401x1114041220132042222x1false23332110400022141401x114041220132042222x1false23332110400022141401x1132042222x1false20324412343232343011x122030304212010043030x1false20324412343232343011x12030304212010043030x1false20324412343232343011x1212010043030x1false20324412343232343011x112010043030x1false20324412343232343011x12010043030x1false20324412343232343011x110043030x1false23444323042124303211x124234140300044111243x1false23444323042124303211x1234140300044111243x1false23444323042124303211x1140300044111243x1false23210300443024104311x122334402412140411403x1false23210300443024104311x12334402412140411403x1false23210300443024104311x12412140411403x1false23210300443024104311x112140411403x1false23210300443024104311x12140411403x1false23210300443024104311x1140411403x1false23210300443024104311x111403x1false23210300443024104311x11403x1false23203144230003414021x121020241042002302231x1false23203144230003414021x11020241042002302231x1false23203144230003414021x120241042002302231x1false23203144230003414021x1241042002302231x1false23203144230003414021x11042002302231x1false12331300041442301221x111242344103002130041x1false12331300041442301221x11242344103002130041x1false12331300041442301221x1242344103002130041x1false12331300041442301221x12344103002130041x1false12331300041442301221x1103002130041x1false12331300041442301221x12130041x1false12331300041442301221x1130041x1false20240220120232424321x120042043120004404111x1false20240220120232424321x12043120004404111x1false20240220120232424321x1120004404111x1false20240220120232424321x120004404111x1false20134404002001344421x120141231102001103421x1false20134404002001344421x1141231102001103421x1false20134404002001344421x11231102001103421x1false20134404002001344421x1231102001103421x1false20134404002001344421x11102001103421x1false20134404002001344421x1102001103421x1false20134404002001344421x12001103421x1false20134404002001344421x11103421x1false20134404002001344421x1103421x1false20420402402040231031x124411021010431223034x1false20420402402040231031x111021010431223034x1false20420402402040231031x11021010431223034x1false20420402402040231031x121010431223034x1false20420402402040231031x11010431223034x1false20420402402040231031x110431223034x1false20420402402040231031x11223034x1false20420402402040231031x1223034x1false20420402402040231031x123034x1false20111100032311001331x112202333442434114031x1false20111100032311001331x12202333442434114031x1false20111100032311001331x1202333442434114031x1false20111100032311001331x12333442434114031x1false20111100032311001331x12434114031x1false20111100032311001331x1114031x1false20111100032311001331x114031x1false23112201001440032041x112120313303403041424x1false23112201001440032041x12120313303403041424x1false23112201001440032041x1120313303403041424x1false23112201001440032041x120313303403041424x1false23112201001440032041x113303403041424x1false11120200340000113141x112442014203433002412x1false11120200340000113141x12442014203433002412x1false11120200340000113141x12014203433002412x1false11120200340000113141x114203433002412x1false11120200340000113141x1203433002412x1false12300122421032321002x124342401034003211042x1false12300122421032321002x12401034003211042x1false12300122421032321002x11034003211042x1false12300122421032321002x1211042x1false12300122421032321002x111042x1false12300122421032321002x11042x1false23304303201324001102x120231440421403023143x1false23304303201324001102x1231440421403023143x1false23304303201324001102x11440421403023143x1false23304303201324001102x121403023143x1false23304303201324001102x11403023143x1false23304303201324001102x123143x1false23304303201324001102x1143x1false23320444134010102102x122030204014202310014x1false23320444134010102102x12030204014202310014x1false23320444134010102102x1204014202310014x1false23320444134010102102x114202310014x1false23320444134010102102x1202310014x1false23320444134010102102x12310014x1false23320444134010102102x110014x1false12103422340223102102x121210213421134414220x1false12103422340223102102x11210213421134414220x1false12103422340223102102x1210213421134414220x1false12103422340223102102x110213421134414220x1false12103422340223102102x1213421134414220x1false12103422340223102102x113421134414220x1false12103422340223102102x121134414220x1false12103422340223102102x11134414220x1false12103422340223102102x1134414220x1false21210313021104331202x124221133320234110222x1false21210313021104331202x1221133320234110222x1false21210313021104331202x121133320234110222x1false21210313021104331202x11133320234110222x1false21210313021104331202x1133320234110222x1false21210313021104331202x120234110222x1false21210313021104331202x1234110222x1false21210313021104331202x1110222x1false21210313021104331202x110222x1false22440102302312043402x122232404404211042304x1false22440102302312043402x12232404404211042304x1false22440102302312043402x1232404404211042304x1false22440102302312043402x12404404211042304x1false22440102302312043402x1211042304x1false22440102302312043402x111042304x1false22440102302312043402x11042304x1false22224442410423304402x121313342242034010220x1false22224442410423304402x11313342242034010220x1false22224442410423304402x113342242034010220x1false22224442410423304402x12242034010220x1false22224442410423304402x1242034010220x1false22224442410423304402x12034010220x1false22224442410423304402x110220x1false23241332002333124402x11031414202121200x1false22320224031112401012x123141131112121313023x1false22320224031112401012x1141131112121313023x1false22320224031112401012x11131112121313023x1false22320224031112401012x1131112121313023x1false22320224031112401012x11112121313023x1false22320224031112401012x1112121313023x1false22320224031112401012x112121313023x1false22320224031112401012x12121313023x1false22320224031112401012x1121313023x1false22320224031112401012x121313023x1false22320224031112401012x11313023x1false22320224031112401012x113023x1false24321433403404413012x112020031013202244141x1false24321433403404413012x12020031013202244141x1false24321433403404413012x120031013202244141x1false24321433403404413012x11013202244141x1false24321433403404413012x113202244141x1false12340244110324130212x124120041411134104321x1false12340244110324130212x1120041411134104321x1false12340244110324130212x120041411134104321x1false12340244110324130212x11411134104321x1false12340244110324130212x111134104321x1false12340244110324130212x11134104321x1false12340244110324130212x1134104321x1false12340244110324130212x1104321x1false21014340233212233212x121114201440210204143x1false21014340233212233212x11114201440210204143x1false21014340233212233212x1114201440210204143x1false21014340233212233212x114201440210204143x1false21014340233212233212x1201440210204143x1false21014340233212233212x11440210204143x1false21014340233212233212x1210204143x1false21014340233212233212x110204143x1false21014340233212233212x1204143x1false21014340233212233212x1143x1false22424442302320443212x123221422141223313311x1false22424442302320443212x1221422141223313311x1false22424442302320443212x121422141223313311x1false22424442302320443212x11422141223313311x1false22424442302320443212x122141223313311x1false22424442302320443212x12141223313311x1false22424442302320443212x1141223313311x1false22424442302320443212x11223313311x1false22424442302320443212x1223313311x1false22424442302320443212x123313311x1false22424442302320443212x113311x1false24010210100243314312x122104212310410112112x1false24010210100243314312x12104212310410112112x1false24010210100243314312x1104212310410112112x1false24010210100243314312x1212310410112112x1false24010210100243314312x112310410112112x1false24010210100243314312x12310410112112x1false24010210100243314312x110410112112x1false24010210100243314312x110112112x1false21440312202202110122x121344221130212042121x1false21440312202202110122x11344221130212042121x1false21440312202202110122x1221130212042121x1false21440312202202110122x121130212042121x1false21440312202202110122x11130212042121x1false21440312202202110122x1130212042121x1false20321424020302332122x121412141243301220140x1false20321424020302332122x11412141243301220140x1false20321424020302332122x112141243301220140x1false20321424020302332122x12141243301220140x1false20321424020302332122x1141243301220140x1false20321424020302332122x11243301220140x1false20321424020302332122x1243301220140x1false20321424020302332122x11220140x1false20321424020302332122x1220140x1false20321424020302332122x120140x1false20321424020302332122x1140x1false12240140404230341222x124231341230212442411x1false12240140404230341222x1231341230212442411x1false12240140404230341222x11341230212442411x1false24323003141330100232x124302344224441104421x1false24323003141330100232x12344224441104421x1false24323003141330100232x1224441104421x1false24323003141330100232x124441104421x1false24323003141330100232x11104421x1false24323003141330100232x1104421x1false23141201202343322432x111241401031111314041x1false23141201202343322432x11241401031111314041x1false23141201202343322432x1241401031111314041x1false23141201202343322432x11401031111314041x1false23141201202343322432x11031111314041x1false23141201202343322432x11111314041x1false23141201202343322432x1111314041x1false23141201202343322432x111314041x1false23141201202343322432x11314041x1false23141201202343322432x114041x1false20333443222041143042x122223114240334110010x1false20333443222041143042x12223114240334110010x1false20333443222041143042x1223114240334110010x1false20333443222041143042x123114240334110010x1false20333443222041143042x1114240334110010x1false20333443222041143042x114240334110010x1false20333443222041143042x1240334110010x1false20333443222041143042x1110010x1false20333443222041143042x110010x1false20333443222041143042x110x1false23313101032212134042x121011333422241414420x1false23313101032212134042x11011333422241414420x1false23313101032212134042x111333422241414420x1false23313101032212134042x11333422241414420x1false23313101032212134042x122241414420x1false23313101032212134042x12241414420x1false23313101032212134042x1241414420x1false23313101032212134042x11414420x1false23313101032212134042x114420x1false24223230103442230242x120142420032301420403x1false24223230103442230242x1142420032301420403x1false24223230103442230242x12420032301420403x1false24223230103442230242x120032301420403x1false24223230103442230242x12301420403x1false24223230103442230242x11420403x1false24223230103442230242x120403x1false12241100201322420442x121230331411420441420x1false12241100201322420442x11230331411420441420x1false12241100201322420442x1230331411420441420x1false12241100201322420442x11411420441420x1false12241100201322420442x111420441420x1false12241100201322420442x11420441420x1false12241100201322420442x120441420x1false12334333202221032103x123044331111210131320x1false12334333202221032103x11111210131320x1false12334333202221032103x1111210131320x1false12334333202221032103x111210131320x1false12334333202221032103x11210131320x1false12334333202221032103x1210131320x1false12334333202221032103x110131320x1false12334333202221032103x1131320x1false12334333202221032103x11320x1false12044133421020233203x121411103424033111202x1false12044133421020233203x11411103424033111202x1false12044133421020233203x111103424033111202x1false12044133421020233203x11103424033111202x1false12044133421020233203x1103424033111202x1false12044133421020233203x124033111202x1false12413101010323323403x121124044133101412314x1false12413101010323323403x11124044133101412314x1false12413101010323323403x1124044133101412314x1false12413101010323323403x124044133101412314x1false12413101010323323403x1133101412314x1false12413101010323323403x1101412314x1false11120124020342232013x122112344234311401041x1false11120124020342232013x12112344234311401041x1false11120124020342232013x1112344234311401041x1false11120124020342232013x112344234311401041x1false11120124020342232013x12344234311401041x1false11120124020342232013x1234311401041x1false11120124020342232013x111401041x1false11120124020342232013x11401041x1false11120124020342232013x11041x1false21433132244310331113x11431121141x1false11211343400402302113x124340311333443421024x1false11211343400402302113x111333443421024x1false11211343400402302113x11333443421024x1false11211343400402302113x11024x1false23113221110321342113x120004143424211031004x1false23113221110321342113x1143424211031004x1false23113221110321342113x124211031004x1false23113221110321342113x1211031004x1false23113221110321342113x111031004x1false23113221110321342113x11031004x1false23113221110321342113x11004x1false12330002031301422313x123420443222412312031x1false12330002031301422313x120443222412312031x1false21112410322020341023x112342442300304222130x1false21112410322020341023x12342442300304222130x1false21112410322020341023x12442300304222130x1false21112410322020341023x12300304222130x1false21112410322020341023x1130x1false14241000302311343023x112001421033003420233x1false14241000302311343023x12001421033003420233x1false14241000302311343023x11421033003420233x1false14241000302311343023x121033003420233x1false14241000302311343023x11033003420233x1false21041432343022140123x124343432213334233420x1false21041432343022140123x12213334233420x1false21041432343022140123x1213334233420x1false21041432343022140123x113334233420x1false23040320313042411123x122242034441122340303x1false23040320313042411123x12242034441122340303x1false23040320313042411123x1242034441122340303x1false23040320313042411123x12034441122340303x1false23040320313042411123x11122340303x1false23040320313042411123x1122340303x1false23040320313042411123x122340303x1false23040320313042411123x12340303x1false20133414013424101323x121104414201444022100x1false20133414013424101323x11104414201444022100x1false20133414013424101323x1104414201444022100x1false20133414013424101323x114201444022100x1false20133414013424101323x1201444022100x1false20133414013424101323x11444022100x1false20133414013424101323x122100x1false20133414013424101323x12100x1false20133414013424101323x1100x1false24101131212121433323x124120034442444400103x1false24101131212121433323x1120034442444400103x1false24101131212121433323x120034442444400103x1false24101131212121433323x12444400103x1false24101131212121433323x1103x1false24030340104320223423x121101100110413240210x1false24030340104320223423x11101100110413240210x1false24030340104320223423x1101100110413240210x1false24030340104320223423x11100110413240210x1false24030340104320223423x1100110413240210x1false24030340104320223423x1110413240210x1false24030340104320223423x110413240210x1false24030340104320223423x113240210x1false24030340104320223423x110x1false20011304222031002033x124220020114104231204x1false20011304222031002033x1220020114104231204x1false20011304222031002033x120020114104231204x1false20011304222031002033x120114104231204x1false20011304222031002033x1114104231204x1false20011304222031002033x114104231204x1false20011304222031002033x1104231204x1false23042220240404244033x122434142231044111010x1false23042220240404244033x12434142231044111010x1false23042220240404244033x1142231044111010x1false23042220240404244033x12231044111010x1false23042220240404244033x1231044111010x1false23042220240404244033x11044111010x1false23042220240404244033x1111010x1false23042220240404244033x111010x1false23042220240404244033x11010x1false23042220240404244033x110x1false20243042231303431333x124010333232434201404x1false20243042231303431333x110333232434201404x1false20243042231303431333x1232434201404x1false20243042231303431333x12434201404x1false20243042231303431333x1201404x1false20243042231303431333x11404x1false22403022342433112333x112240433044234442431x1false22403022342433112333x12240433044234442431x1false22403022342433112333x1240433044234442431x1false24143214430324114333x121014331102143213420x1false24143214430324114333x11014331102143213420x1false24143214430324114333x114331102143213420x1false24143214430324114333x11102143213420x1false24143214430324114333x1102143213420x1false24143214430324114333x1143213420x1false24143214430324114333x113420x1false20120104014130442243x124233041143203021420x1false20120104014130442243x1233041143203021420x1false20120104014130442243x11143203021420x1false20120104014130442243x1143203021420x1false20120104014130442243x1203021420x1false21302233303434112443x123232010222341323042x1false21302233303434112443x1232010222341323042x1false21302233303434112443x12010222341323042x1false21302233303434112443x110222341323042x1false21302233303434112443x1222341323042x1false21302233303434112443x122341323042x1false21302233303434112443x12341323042x1false21302233303434112443x11323042x1false23324321002334233104x122132312341241030342x1false23324321002334233104x12132312341241030342x1false23324321002334233104x1132312341241030342x1false23324321002334233104x12312341241030342x1false23324321002334233104x112341241030342x1false23324321002334233104x12341241030342x1false23324321002334233104x11241030342x1false23324321002334233104x1241030342x1false23324321002334233104x11030342x1false22441123342431214104x112310041102111424324x1false22441123342431214104x12310041102111424324x1false22441123342431214104x110041102111424324x1false22441123342431214104x11102111424324x1false22441123342431214104x1102111424324x1false23430202404320002014x120420022214002241112x1false23430202404320002014x120022214002241112x1false23430202404320002014x122214002241112x1false23430202404320002014x12214002241112x1false23430202404320002014x1214002241112x1false23430202404320002014x114002241112x1false20201444243330323114x122310304404130014444x1false20201444243330323114x12310304404130014444x1false20201444243330323114x110304404130014444x1false20201444243330323114x1130014444x1false20201444243330323114x114444x1false23133324400121044114x124334122334214424013x1false23133324400121044114x1122334214424013x1false23133324400121044114x122334214424013x1false23133324400121044114x12334214424013x1false23133324400121044114x1214424013x1false23133324400121044114x114424013x1false23133324400121044114x124013x1false23133324400121044114x113x1false24343114032112234314x121330442400320411242x1false24343114032112234314x11330442400320411242x1false24343114032112234314x12400320411242x1false22103001230200101124x112331410001424101400x1false22103001230200101124x12331410001424101400x1false22103001230200101124x11410001424101400x1false22103001230200101124x110001424101400x1false22103001230200101124x11424101400x1false22103001230200101124x124101400x1false22103001230200101124x1101400x1false22103001230200101124x11400x1false22443111401111430324x120042001141124423302x1false12234302431340323034x122023020010014233430x1false12234302431340323034x12023020010014233430x1false12234302431340323034x123020010014233430x1false12234302431340323034x120010014233430x1false12234302431340323034x110014233430x1false12234302431340323034x114233430x1false12234302431340323034x1233430x1false21340300130440120134x123113421300300204310x1false21340300130440120134x1113421300300204310x1false21340300130440120134x113421300300204310x1false21340300130440120134x121300300204310x1false21340300130440120134x11300300204310x1false21340300130440120134x1204310x1false21340300130440120134x110x1false20332401100131221134x124224131312121141330x1false20332401100131221134x1224131312121141330x1false20332401100131221134x124131312121141330x1false20332401100131221134x1131312121141330x1false20332401100131221134x11312121141330x1false20332401100131221134x112121141330x1false20332401100131221134x12121141330x1false20332401100131221134x1121141330x1false20332401100131221134x121141330x1false20332401100131221134x11141330x1false20332401100131221134x1141330x1false20332401100131221134x11330x1false21301002003221420334x121022320411334113204x1false21301002003221420334x11022320411334113204x1false21301002003221420334x122320411334113204x1false21301002003221420334x12320411334113204x1false21301002003221420334x120411334113204x1false21301002003221420334x111334113204x1false21301002003221420334x11334113204x1false21301002003221420334x1113204x1false21301002003221420334x113204x1false21404243313323420434x121441124120344014344x1false21404243313323420434x11441124120344014344x1false21404243313323420434x11124120344014344x1false21404243313323420434x1124120344014344x1false21404243313323420434x124120344014344x1false21404243313323420434x1120344014344x1false21404243313323420434x120344014344x1false21404243313323420434x114344x1false12013224133432004244x112122132320411444144x1false12013224133432004244x12122132320411444144x1false12013224133432004244x1122132320411444144x1false12013224133432004244x122132320411444144x1false12013224133432004244x12132320411444144x1false12013224133432004244x1132320411444144x1false12013224133432004244x12320411444144x1false12013224133432004244x120411444144x1false12013224133432004244x111444144x1false12013224133432004244x11444144x1false12013224133432004244x1144x1false12000000113234311344x121440023221342031040x1false12000000113234311344x11440023221342031040x1false12000000113234311344x123221342031040x1false12000000113234311344x1221342031040x1false12000000113234311344x121342031040x1false12000000113234311344x11342031040x1false12000000113234311344x12031040x1false12000000113234311344x11040x1false12004332004101043344x123422341002111102101x1false12004332004101043344x122341002111102101x1false12004332004101043344x12341002111102101x1false12004332004101043344x11002111102101x1false12004332004101043344x12111102101x1false12004332004101043344x1111102101x1false12004332004101043344x111102101x1false12004332004101043344x11102101x1false12004332004101043344x1102101x1false12004332004101043344x1101x1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe