YES 011x10202230231x104215x13045332333x111410x13533202333x1005221x11353120223x1041400x13323045030x1043421x10533300202x1112054x11320231514x1113142x10202223052x1134041x11330254530x1140414x15250554502x1141543x13242554332x1142344x13033253212x1143151x13324330202x1154053x13132033132x1155010x11323554025x1511554x15133302032x10000551x10022332250x10015121x11022045021x10034054x10221021432x10052205x10233424021x10111005x10220252553x10411005x11323430253x10434010x13240501520x10511423x10242441532x10514404x10512533204x11003435x13243313211x11010042x11323212505x11034115x11035243132x11041141x10050242023x11103015x10202020451x11113114x13123302052x11114050x13552240200x11115405x13435332533x11140514x14223032502x11142043x13134430233x11340515x11335020331x11350000x13333553201x11400015x13304403113x11400544x12240425332x11411111x14102212513x11421111x11524024501x11421343x13132335251x11430041x15524252243x12001111x12154550221x12040000x12522254200x12113514x12113223502x12140145x12453323335x13001143x10531320243x13005444x13313230331x13041400x10402220550x13434340x13551024320x13514014x10325022202x14011051x14325211332x14112041x14024002023x14150101x14303552402x15123445x15402021245x15314411x15025250241x110115x11323222403x133404x10212022221x142045x15402353333x12.1110x11320322020x151240x13332335403x101411x13332023353x1122500x13220213531x1004140x10305403233x1124340x12020033350x1450211x14151320231x1241311x12503222020x1140431x10354520331x1414041x12054550525x1345141x12334552423x1443241x12123523303x1151341x12020334233x1350451x12313302313x1010551x15204553231x1455115x12302033315x11550000x10522332200x11215100x11205402201x14504300x12341201220x15022500x11204243320x15001110x13552520220x15001140x13520343231x10104340x10251050423x13241150x12351442420x14044150x14023352150x15343001x11123133423x12400101x15052123231x15114301x12313425301x11411401x13202420500x15103011x11540202020x14113111x12502033213x10504111x10020422553x15045111x13352335343x14150411x12052303224x13402411x13320344313x15150431x11330205331x10000531x11023553333x15100041x13113044033x14450041x12335240422x11111141x13152122014x11111241x11054204251x13431241x11525332313x11400341x13422524255x11111002x11220554512x10000402x10024522252x14153112x12053223112x15410412x15333233542x13411003x13420231350x14445003x11330323133x10041403x10550222040x10434343x10234201553x14104153x12022205230x11501104x12331125234x11402114x13202004204x11010514x12042553034x15443215x15421202045x11144135x11420525205x151101x13042223231x140433x11222202120x154024x13333532045x1103254110x11320322020x1004140x10305403233x1450211x14151320231x1241311x12503222020x11215100x11205402201x10104340x10251050423x14044150x14023352150x10504111x10020422553x13402411x13320344313x11111241x11054204251x11111002x11220554512x10000402x10024522252x15410412x15333233542x13411003x13420231350x10041403x10550222040x10434343x10234201553x15443215x15421202045x11144135x11420525205x1151240x113332335403x1051240x103332335403x1351240x133332335403x1251240x123332335403x1551240x153332335403x1451240x143332335403x1101411x113332023353x1001411x103332023353x1301411x133332023353x1201411x123332023353x1501411x153332023353x1401411x143332023353x11122500x113220213531x10122500x103220213531x13122500x133220213531x12122500x123220213531x15122500x153220213531x14122500x143220213531x11124340x112020033350x10124340x102020033350x13124340x132020033350x12124340x122020033350x15124340x152020033350x14124340x142020033350x11140431x110354520331x10140431x100354520331x13140431x130354520331x12140431x120354520331x15140431x150354520331x14140431x140354520331x11414041x112054550525x10414041x102054550525x13414041x132054550525x12414041x122054550525x15414041x152054550525x14414041x142054550525x11345141x112334552423x10345141x102334552423x13345141x132334552423x12345141x122334552423x15345141x152334552423x14345141x142334552423x11443241x112123523303x10443241x102123523303x13443241x132123523303x12443241x122123523303x15443241x152123523303x14443241x142123523303x11151341x112020334233x10151341x102020334233x13151341x132020334233x12151341x122020334233x15151341x152020334233x14151341x142020334233x11350451x112313302313x10350451x102313302313x13350451x132313302313x12350451x122313302313x15350451x152313302313x14350451x142313302313x11010551x115204553231x10010551x105204553231x13010551x135204553231x12010551x125204553231x15010551x155204553231x14010551x145204553231x11455115x112302033315x10455115x102302033315x13455115x132302033315x12455115x122302033315x15455115x152302033315x14455115x142302033315x111550000x110522332200x101550000x100522332200x131550000x130522332200x121550000x120522332200x151550000x150522332200x141550000x140522332200x114504300x112341201220x104504300x102341201220x134504300x132341201220x124504300x122341201220x154504300x152341201220x144504300x142341201220x115022500x111204243320x105022500x101204243320x135022500x131204243320x125022500x121204243320x155022500x151204243320x145022500x141204243320x115001110x113552520220x105001110x103552520220x135001110x133552520220x125001110x123552520220x155001110x153552520220x145001110x143552520220x115001140x113520343231x105001140x103520343231x135001140x133520343231x125001140x123520343231x155001140x153520343231x145001140x143520343231x113241150x112351442420x103241150x102351442420x133241150x132351442420x123241150x122351442420x153241150x152351442420x143241150x142351442420x115343001x111123133423x105343001x101123133423x135343001x131123133423x125343001x121123133423x155343001x151123133423x145343001x141123133423x112400101x115052123231x102400101x105052123231x132400101x135052123231x122400101x125052123231x152400101x155052123231x142400101x145052123231x115114301x112313425301x105114301x102313425301x135114301x132313425301x125114301x122313425301x155114301x152313425301x145114301x142313425301x111411401x113202420500x101411401x103202420500x131411401x133202420500x121411401x123202420500x151411401x153202420500x141411401x143202420500x115103011x111540202020x105103011x101540202020x135103011x131540202020x125103011x121540202020x155103011x151540202020x145103011x141540202020x114113111x112502033213x104113111x102502033213x134113111x132502033213x124113111x122502033213x154113111x152502033213x144113111x142502033213x115045111x113352335343x105045111x103352335343x135045111x133352335343x125045111x123352335343x155045111x153352335343x145045111x143352335343x114150411x112052303224x104150411x102052303224x134150411x132052303224x124150411x122052303224x154150411x152052303224x144150411x142052303224x115150431x111330205331x105150431x101330205331x135150431x131330205331x125150431x121330205331x155150431x151330205331x145150431x141330205331x110000531x111023553333x100000531x101023553333x130000531x131023553333x120000531x121023553333x150000531x151023553333x140000531x141023553333x115100041x113113044033x105100041x103113044033x135100041x133113044033x125100041x123113044033x155100041x153113044033x145100041x143113044033x114450041x112335240422x104450041x102335240422x134450041x132335240422x124450041x122335240422x154450041x152335240422x144450041x142335240422x111111141x113152122014x101111141x103152122014x131111141x133152122014x121111141x123152122014x151111141x153152122014x141111141x143152122014x113431241x111525332313x103431241x101525332313x133431241x131525332313x123431241x121525332313x153431241x151525332313x143431241x141525332313x111400341x113422524255x101400341x103422524255x131400341x133422524255x121400341x123422524255x151400341x153422524255x141400341x143422524255x114153112x112053223112x104153112x102053223112x134153112x132053223112x124153112x122053223112x154153112x152053223112x144153112x142053223112x114445003x111330323133x104445003x101330323133x134445003x131330323133x124445003x121330323133x154445003x151330323133x144445003x141330323133x114104153x112022205230x104104153x102022205230x134104153x132022205230x124104153x122022205230x154104153x152022205230x144104153x142022205230x111501104x112331125234x101501104x102331125234x131501104x132331125234x121501104x122331125234x151501104x152331125234x141501104x142331125234x111402114x113202004204x101402114x103202004204x131402114x133202004204x121402114x123202004204x151402114x153202004204x141402114x143202004204x111010514x112042553034x101010514x102042553034x131010514x132042553034x121010514x122042553034x151010514x152042553034x141010514x142042553034x1151101x113042223231x1051101x103042223231x1351101x133042223231x1251101x123042223231x1551101x153042223231x1451101x143042223231x1140433x111222202120x1040433x101222202120x1340433x131222202120x1240433x121222202120x1540433x151222202120x1440433x141222202120x1154024x113333532045x1054024x103333532045x1354024x133333532045x1254024x123333532045x1554024x153333532045x1454024x143333532045x1111001x113322003322220022001x1111000x113322003322220022000x1111003x113322003322220022003x1111002x113322003322220022002x1111004x113322003322220022004x1111005x113322003322220022005x1000441144001x103300554400332233331x1000441144000x103300554400332233330x1000441144003x103300554400332233333x1000441144002x103300554400332233332x1000441144004x103300554400332233334x1000441144005x103300554400332233335x1455002211111x141155113322002233111x1455002211110x141155113322002233110x1455002211113x141155113322002233113x1455002211112x141155113322002233112x1455002211114x141155113322002233114x1455002211115x141155113322002233115x1244113311111x125500332222220022001x1244113311110x125500332222220022000x1244113311113x125500332222220022003x1244113311112x125500332222220022002x1244113311114x125500332222220022004x1244113311115x125500332222220022005x112211551100001x112200554400222200111x112211551100000x112200554400222200110x112211551100003x112200554400222200113x112211551100002x112200554400222200112x112211551100004x112200554400222200114x112211551100005x112200554400222200115x101100443344001x102255110055004422331x101100443344000x102255110055004422330x101100443344003x102255110055004422333x101100443344002x102255110055004422332x101100443344004x102255110055004422334x101100443344005x102255110055004422335x140044441155001x140022333355221155001x140044441155000x140022333355221155000x140044441155003x140022333355221155003x140044441155002x140022333355221155002x140044441155004x140022333355221155004x140044441155005x140022333355221155005x105500441111111x100022004422225555331x105500441111110x100022004422225555330x105500441111113x100022004422225555333x105500441111112x100022004422225555332x105500441111114x100022004422225555334x105500441111115x100022004422225555335x134400224411111x133322003344443311331x134400224411110x133322003344443311330x134400224411113x133322003344443311333x134400224411112x133322003344443311332x134400224411114x133322003344443311334x134400224411115x133322003344443311335x111111112244111x110055442200442255111x111111112244110x110055442200442255110x111111112244113x110055442200442255113x111111112244112x110055442200442255112x111111112244114x110055442200442255114x111111112244115x110055442200442255115x111111110000221x112222005555445511221x111111110000220x112222005555445511220x111111110000223x112222005555445511223x111111110000222x112222005555445511222x111111110000224x112222005555445511224x111111110000225x112222005555445511225x100000004400221x100022445522222255221x100000004400220x100022445522222255220x100000004400223x100022445522222255223x100000004400222x100022445522222255222x100000004400224x100022445522222255224x100000004400225x100022445522222255225x154411004411221x153333332233335544221x154411004411220x153333332233335544220x154411004411223x153333332233335544223x154411004411222x153333332233335544222x154411004411224x153333332233335544224x154411004411225x153333332233335544225x134411110000331x134422002233113355001x134411110000330x134422002233113355000x134411110000333x134422002233113355003x134411110000332x134422002233113355002x134411110000334x134422002233113355004x134411110000335x134422002233113355005x100044114400331x105555002222220044001x100044114400330x105555002222220044000x100044114400333x105555002222220044003x100044114400332x105555002222220044002x100044114400334x105555002222220044004x100044114400335x105555002222220044005x104433443344331x102233442200115555331x104433443344330x102233442200115555330x104433443344333x102233442200115555333x104433443344332x102233442200115555332x104433443344334x102233442200115555334x104433443344335x102233442200115555335x154444332211551x154422112200220044551x154444332211550x154422112200220044550x154444332211553x154422112200220044553x154444332211552x154422112200220044552x154444332211554x154422112200220044554x154444332211555x154422112200220044555x111144441133551x114422005522552200551x111144441133550x114422005522552200550x111144441133553x114422005522552200553x111144441133552x114422005522552200552x111144441133554x114422005522552200554x111144441133555x114422005522552200555x1155112244001x11333333223333554400331x1155112244000x11333333223333554400330x1155112244003x11333333223333554400333x1155112244002x11333333223333554400332x1155112244004x11333333223333554400334x1155112244005x11333333223333554400335x1055112244001x10333333223333554400331x1055112244000x10333333223333554400330x1055112244003x10333333223333554400333x1055112244002x10333333223333554400332x1055112244004x10333333223333554400334x1055112244005x10333333223333554400335x1355112244001x13333333223333554400331x1355112244000x13333333223333554400330x1355112244003x13333333223333554400333x1355112244002x13333333223333554400332x1355112244004x13333333223333554400334x1355112244005x13333333223333554400335x1255112244001x12333333223333554400331x1255112244000x12333333223333554400330x1255112244003x12333333223333554400333x1255112244002x12333333223333554400332x1255112244004x12333333223333554400334x1255112244005x12333333223333554400335x1555112244001x15333333223333554400331x1555112244000x15333333223333554400330x1555112244003x15333333223333554400333x1555112244002x15333333223333554400332x1555112244004x15333333223333554400334x1555112244005x15333333223333554400335x1455112244001x14333333223333554400331x1455112244000x14333333223333554400330x1455112244003x14333333223333554400333x1455112244002x14333333223333554400332x1455112244004x14333333223333554400334x1455112244005x14333333223333554400335x1100114411111x11333333220022333355331x1100114411110x11333333220022333355330x1100114411113x11333333220022333355333x1100114411112x11333333220022333355332x1100114411114x11333333220022333355334x1100114411115x11333333220022333355335x1000114411111x10333333220022333355331x1000114411110x10333333220022333355330x1000114411113x10333333220022333355333x1000114411112x10333333220022333355332x1000114411114x10333333220022333355334x1000114411115x10333333220022333355335x1300114411111x13333333220022333355331x1300114411110x13333333220022333355330x1300114411113x13333333220022333355333x1300114411112x13333333220022333355332x1300114411114x13333333220022333355334x1300114411115x13333333220022333355335x1200114411111x12333333220022333355331x1200114411110x12333333220022333355330x1200114411113x12333333220022333355333x1200114411112x12333333220022333355332x1200114411114x12333333220022333355334x1200114411115x12333333220022333355335x1500114411111x15333333220022333355331x1500114411110x15333333220022333355330x1500114411113x15333333220022333355333x1500114411112x15333333220022333355332x1500114411114x15333333220022333355334x1500114411115x15333333220022333355335x1400114411111x14333333220022333355331x1400114411110x14333333220022333355330x1400114411113x14333333220022333355333x1400114411112x14333333220022333355332x1400114411114x14333333220022333355334x1400114411115x14333333220022333355335x111122225500001x11332222002211335533111x111122225500000x11332222002211335533110x111122225500003x11332222002211335533113x111122225500002x11332222002211335533112x111122225500004x11332222002211335533114x111122225500005x11332222002211335533115x101122225500001x10332222002211335533111x101122225500000x10332222002211335533110x101122225500003x10332222002211335533113x101122225500002x10332222002211335533112x101122225500004x10332222002211335533114x101122225500005x10332222002211335533115x131122225500001x13332222002211335533111x131122225500000x13332222002211335533110x131122225500003x13332222002211335533113x131122225500002x13332222002211335533112x131122225500004x13332222002211335533114x131122225500005x13332222002211335533115x121122225500001x12332222002211335533111x121122225500000x12332222002211335533110x121122225500003x12332222002211335533113x121122225500002x12332222002211335533112x121122225500004x12332222002211335533114x121122225500005x12332222002211335533115x151122225500001x15332222002211335533111x151122225500000x15332222002211335533110x151122225500003x15332222002211335533113x151122225500002x15332222002211335533112x151122225500004x15332222002211335533114x151122225500005x15332222002211335533115x141122225500001x14332222002211335533111x141122225500000x14332222002211335533110x141122225500003x14332222002211335533113x141122225500002x14332222002211335533112x141122225500004x14332222002211335533114x141122225500005x14332222002211335533115x111122443344001x11220022000033333355001x111122443344000x11220022000033333355000x111122443344003x11220022000033333355003x111122443344002x11220022000033333355002x111122443344004x11220022000033333355004x111122443344005x11220022000033333355005x101122443344001x10220022000033333355001x101122443344000x10220022000033333355000x101122443344003x10220022000033333355003x101122443344002x10220022000033333355002x101122443344004x10220022000033333355004x101122443344005x10220022000033333355005x131122443344001x13220022000033333355001x131122443344000x13220022000033333355000x131122443344003x13220022000033333355003x131122443344002x13220022000033333355002x131122443344004x13220022000033333355004x131122443344005x13220022000033333355005x121122443344001x12220022000033333355001x121122443344000x12220022000033333355000x121122443344003x12220022000033333355003x121122443344002x12220022000033333355002x121122443344004x12220022000033333355004x121122443344005x12220022000033333355005x151122443344001x15220022000033333355001x151122443344000x15220022000033333355000x151122443344003x15220022000033333355003x151122443344002x15220022000033333355002x151122443344004x15220022000033333355004x151122443344005x15220022000033333355005x141122443344001x14220022000033333355001x141122443344000x14220022000033333355000x141122443344003x14220022000033333355003x141122443344002x14220022000033333355002x141122443344004x14220022000033333355004x141122443344005x14220022000033333355005x111144004433111x11003355445522003333111x111144004433110x11003355445522003333110x111144004433113x11003355445522003333113x111144004433112x11003355445522003333112x111144004433114x11003355445522003333114x111144004433115x11003355445522003333115x101144004433111x10003355445522003333111x101144004433110x10003355445522003333110x101144004433113x10003355445522003333113x101144004433112x10003355445522003333112x101144004433114x10003355445522003333114x101144004433115x10003355445522003333115x131144004433111x13003355445522003333111x131144004433110x13003355445522003333110x131144004433113x13003355445522003333113x131144004433112x13003355445522003333112x131144004433114x13003355445522003333114x131144004433115x13003355445522003333115x121144004433111x12003355445522003333111x121144004433110x12003355445522003333110x121144004433113x12003355445522003333113x121144004433112x12003355445522003333112x121144004433114x12003355445522003333114x121144004433115x12003355445522003333115x151144004433111x15003355445522003333111x151144004433110x15003355445522003333110x151144004433113x15003355445522003333113x151144004433112x15003355445522003333112x151144004433114x15003355445522003333114x151144004433115x15003355445522003333115x141144004433111x14003355445522003333111x141144004433110x14003355445522003333110x141144004433113x14003355445522003333113x141144004433112x14003355445522003333112x141144004433114x14003355445522003333114x141144004433115x14003355445522003333115x114411440044111x11220055445555005522551x114411440044110x11220055445555005522550x114411440044113x11220055445555005522553x114411440044112x11220055445555005522552x114411440044114x11220055445555005522554x114411440044115x11220055445555005522555x104411440044111x10220055445555005522551x104411440044110x10220055445555005522550x104411440044113x10220055445555005522553x104411440044112x10220055445555005522552x104411440044114x10220055445555005522554x104411440044115x10220055445555005522555x134411440044111x13220055445555005522551x134411440044110x13220055445555005522550x134411440044113x13220055445555005522553x134411440044112x13220055445555005522552x134411440044114x13220055445555005522554x134411440044115x13220055445555005522555x124411440044111x12220055445555005522551x124411440044110x12220055445555005522550x124411440044113x12220055445555005522553x124411440044112x12220055445555005522552x124411440044114x12220055445555005522554x124411440044115x12220055445555005522555x154411440044111x15220055445555005522551x154411440044110x15220055445555005522550x154411440044113x15220055445555005522553x154411440044112x15220055445555005522552x154411440044114x15220055445555005522554x154411440044115x15220055445555005522555x144411440044111x14220055445555005522551x144411440044110x14220055445555005522550x144411440044113x14220055445555005522553x144411440044112x14220055445555005522552x144411440044114x14220055445555005522554x144411440044115x14220055445555005522555x113344551144111x11223333445555224422331x113344551144110x11223333445555224422330x113344551144113x11223333445555224422333x113344551144112x11223333445555224422332x113344551144114x11223333445555224422334x113344551144115x11223333445555224422335x103344551144111x10223333445555224422331x103344551144110x10223333445555224422330x103344551144113x10223333445555224422333x103344551144112x10223333445555224422332x103344551144114x10223333445555224422334x103344551144115x10223333445555224422335x133344551144111x13223333445555224422331x133344551144110x13223333445555224422330x133344551144113x13223333445555224422333x133344551144112x13223333445555224422332x133344551144114x13223333445555224422334x133344551144115x13223333445555224422335x123344551144111x12223333445555224422331x123344551144110x12223333445555224422330x123344551144113x12223333445555224422333x123344551144112x12223333445555224422332x123344551144114x12223333445555224422334x123344551144115x12223333445555224422335x153344551144111x15223333445555224422331x153344551144110x15223333445555224422330x153344551144113x15223333445555224422333x153344551144112x15223333445555224422332x153344551144114x15223333445555224422334x153344551144115x15223333445555224422335x143344551144111x14223333445555224422331x143344551144110x14223333445555224422330x143344551144113x14223333445555224422333x143344551144112x14223333445555224422332x143344551144114x14223333445555224422334x143344551144115x14223333445555224422335x114444332244111x11221122335522333300331x114444332244110x11221122335522333300330x114444332244113x11221122335522333300333x114444332244112x11221122335522333300332x114444332244114x11221122335522333300334x114444332244115x11221122335522333300335x104444332244111x10221122335522333300331x104444332244110x10221122335522333300330x104444332244113x10221122335522333300333x104444332244112x10221122335522333300332x104444332244114x10221122335522333300334x104444332244115x10221122335522333300335x134444332244111x13221122335522333300331x134444332244110x13221122335522333300330x134444332244113x13221122335522333300333x134444332244112x13221122335522333300332x134444332244114x13221122335522333300334x134444332244115x13221122335522333300335x124444332244111x12221122335522333300331x124444332244110x12221122335522333300330x124444332244113x12221122335522333300333x124444332244112x12221122335522333300332x124444332244114x12221122335522333300334x124444332244115x12221122335522333300335x154444332244111x15221122335522333300331x154444332244110x15221122335522333300330x154444332244113x15221122335522333300333x154444332244112x15221122335522333300332x154444332244114x15221122335522333300334x154444332244115x15221122335522333300335x144444332244111x14221122335522333300331x144444332244110x14221122335522333300330x144444332244113x14221122335522333300333x144444332244112x14221122335522333300332x144444332244114x14221122335522333300334x144444332244115x14221122335522333300335x111155113344111x11220022003333442233331x111155113344110x11220022003333442233330x111155113344113x11220022003333442233333x111155113344112x11220022003333442233332x111155113344114x11220022003333442233334x111155113344115x11220022003333442233335x101155113344111x10220022003333442233331x101155113344110x10220022003333442233330x101155113344113x10220022003333442233333x101155113344112x10220022003333442233332x101155113344114x10220022003333442233334x101155113344115x10220022003333442233335x131155113344111x13220022003333442233331x131155113344110x13220022003333442233330x131155113344113x13220022003333442233333x131155113344112x13220022003333442233332x131155113344114x13220022003333442233334x131155113344115x13220022003333442233335x121155113344111x12220022003333442233331x121155113344110x12220022003333442233330x121155113344113x12220022003333442233333x121155113344112x12220022003333442233332x121155113344114x12220022003333442233334x121155113344115x12220022003333442233335x151155113344111x15220022003333442233331x151155113344110x15220022003333442233330x151155113344113x15220022003333442233333x151155113344112x15220022003333442233332x151155113344114x15220022003333442233334x151155113344115x15220022003333442233335x141155113344111x14220022003333442233331x141155113344110x14220022003333442233330x141155113344113x14220022003333442233333x141155113344112x14220022003333442233332x141155113344114x14220022003333442233334x141155113344115x14220022003333442233335x113355004455111x11223311333300223311331x113355004455110x11223311333300223311330x113355004455113x11223311333300223311333x113355004455112x11223311333300223311332x113355004455114x11223311333300223311334x113355004455115x11223311333300223311335x103355004455111x10223311333300223311331x103355004455110x10223311333300223311330x103355004455113x10223311333300223311333x103355004455112x10223311333300223311332x103355004455114x10223311333300223311334x103355004455115x10223311333300223311335x133355004455111x13223311333300223311331x133355004455110x13223311333300223311330x133355004455113x13223311333300223311333x133355004455112x13223311333300223311332x133355004455114x13223311333300223311334x133355004455115x13223311333300223311335x123355004455111x12223311333300223311331x123355004455110x12223311333300223311330x123355004455113x12223311333300223311333x123355004455112x12223311333300223311332x123355004455114x12223311333300223311334x123355004455115x12223311333300223311335x153355004455111x15223311333300223311331x153355004455110x15223311333300223311330x153355004455113x15223311333300223311333x153355004455112x15223311333300223311332x153355004455114x15223311333300223311334x153355004455115x15223311333300223311335x143355004455111x14223311333300223311331x143355004455110x14223311333300223311330x143355004455113x14223311333300223311333x143355004455112x14223311333300223311332x143355004455114x14223311333300223311334x143355004455115x14223311333300223311335x110011005555111x11552200445555332233111x110011005555110x11552200445555332233110x110011005555113x11552200445555332233113x110011005555112x11552200445555332233112x110011005555114x11552200445555332233114x110011005555115x11552200445555332233115x100011005555111x10552200445555332233111x100011005555110x10552200445555332233110x100011005555113x10552200445555332233113x100011005555112x10552200445555332233112x100011005555114x10552200445555332233114x100011005555115x10552200445555332233115x130011005555111x13552200445555332233111x130011005555110x13552200445555332233110x130011005555113x13552200445555332233113x130011005555112x13552200445555332233112x130011005555114x13552200445555332233114x130011005555115x13552200445555332233115x120011005555111x12552200445555332233111x120011005555110x12552200445555332233110x120011005555113x12552200445555332233113x120011005555112x12552200445555332233112x120011005555114x12552200445555332233114x120011005555115x12552200445555332233115x150011005555111x15552200445555332233111x150011005555110x15552200445555332233110x150011005555113x15552200445555332233113x150011005555112x15552200445555332233112x150011005555114x15552200445555332233114x150011005555115x15552200445555332233115x140011005555111x14552200445555332233111x140011005555110x14552200445555332233110x140011005555113x14552200445555332233113x140011005555112x14552200445555332233112x140011005555114x14552200445555332233114x140011005555115x14552200445555332233115x114455551111551x11223300220033333311551x114455551111550x11223300220033333311550x114455551111553x11223300220033333311553x114455551111552x11223300220033333311552x114455551111554x11223300220033333311554x114455551111555x11223300220033333311555x104455551111551x10223300220033333311551x104455551111550x10223300220033333311550x104455551111553x10223300220033333311553x104455551111552x10223300220033333311552x104455551111554x10223300220033333311554x104455551111555x10223300220033333311555x134455551111551x13223300220033333311551x134455551111550x13223300220033333311550x134455551111553x13223300220033333311553x134455551111552x13223300220033333311552x134455551111554x13223300220033333311554x134455551111555x13223300220033333311555x124455551111551x12223300220033333311551x124455551111550x12223300220033333311550x124455551111553x12223300220033333311553x124455551111552x12223300220033333311552x124455551111554x12223300220033333311554x124455551111555x12223300220033333311555x154455551111551x15223300220033333311551x154455551111550x15223300220033333311550x154455551111553x15223300220033333311553x154455551111552x15223300220033333311552x154455551111554x15223300220033333311554x154455551111555x15223300220033333311555x144455551111551x14223300220033333311551x144455551111550x14223300220033333311550x144455551111553x14223300220033333311553x144455551111552x14223300220033333311552x144455551111554x14223300220033333311554x144455551111555x14223300220033333311555x11115555000000001x11005522223333222200001x11115555000000000x11005522223333222200000x11115555000000003x11005522223333222200003x11115555000000002x11005522223333222200002x11115555000000004x11005522223333222200004x11115555000000005x11005522223333222200005x10115555000000001x10005522223333222200001x10115555000000000x10005522223333222200000x10115555000000003x10005522223333222200003x10115555000000002x10005522223333222200002x10115555000000004x10005522223333222200004x10115555000000005x10005522223333222200005x13115555000000001x13005522223333222200001x13115555000000000x13005522223333222200000x13115555000000003x13005522223333222200003x13115555000000002x13005522223333222200002x13115555000000004x13005522223333222200004x13115555000000005x13005522223333222200005x12115555000000001x12005522223333222200001x12115555000000000x12005522223333222200000x12115555000000003x12005522223333222200003x12115555000000002x12005522223333222200002x12115555000000004x12005522223333222200004x12115555000000005x12005522223333222200005x15115555000000001x15005522223333222200001x15115555000000000x15005522223333222200000x15115555000000003x15005522223333222200003x15115555000000002x15005522223333222200002x15115555000000004x15005522223333222200004x15115555000000005x15005522223333222200005x14115555000000001x14005522223333222200001x14115555000000000x14005522223333222200000x14115555000000003x14005522223333222200003x14115555000000002x14005522223333222200002x14115555000000004x14005522223333222200004x14115555000000005x14005522223333222200005x11445500443300001x11223344112200112222001x11445500443300000x11223344112200112222000x11445500443300003x11223344112200112222003x11445500443300002x11223344112200112222002x11445500443300004x11223344112200112222004x11445500443300005x11223344112200112222005x10445500443300001x10223344112200112222001x10445500443300000x10223344112200112222000x10445500443300003x10223344112200112222003x10445500443300002x10223344112200112222002x10445500443300004x10223344112200112222004x10445500443300005x10223344112200112222005x13445500443300001x13223344112200112222001x13445500443300000x13223344112200112222000x13445500443300003x13223344112200112222003x13445500443300002x13223344112200112222002x13445500443300004x13223344112200112222004x13445500443300005x13223344112200112222005x12445500443300001x12223344112200112222001x12445500443300000x12223344112200112222000x12445500443300003x12223344112200112222003x12445500443300002x12223344112200112222002x12445500443300004x12223344112200112222004x12445500443300005x12223344112200112222005x15445500443300001x15223344112200112222001x15445500443300000x15223344112200112222000x15445500443300003x15223344112200112222003x15445500443300002x15223344112200112222002x15445500443300004x15223344112200112222004x15445500443300005x15223344112200112222005x14445500443300001x14223344112200112222001x14445500443300000x14223344112200112222000x14445500443300003x14223344112200112222003x14445500443300002x14223344112200112222002x14445500443300004x14223344112200112222004x14445500443300005x14223344112200112222005x11550022225500001x11112200442244333322001x11550022225500000x11112200442244333322000x11550022225500003x11112200442244333322003x11550022225500002x11112200442244333322002x11550022225500004x11112200442244333322004x11550022225500005x11112200442244333322005x10550022225500001x10112200442244333322001x10550022225500000x10112200442244333322000x10550022225500003x10112200442244333322003x10550022225500002x10112200442244333322002x10550022225500004x10112200442244333322004x10550022225500005x10112200442244333322005x13550022225500001x13112200442244333322001x13550022225500000x13112200442244333322000x13550022225500003x13112200442244333322003x13550022225500002x13112200442244333322002x13550022225500004x13112200442244333322004x13550022225500005x13112200442244333322005x12550022225500001x12112200442244333322001x12550022225500000x12112200442244333322000x12550022225500003x12112200442244333322003x12550022225500002x12112200442244333322002x12550022225500004x12112200442244333322004x12550022225500005x12112200442244333322005x15550022225500001x15112200442244333322001x15550022225500000x15112200442244333322000x15550022225500003x15112200442244333322003x15550022225500002x15112200442244333322002x15550022225500004x15112200442244333322004x15550022225500005x15112200442244333322005x14550022225500001x14112200442244333322001x14550022225500000x14112200442244333322000x14550022225500003x14112200442244333322003x14550022225500002x14112200442244333322002x14550022225500004x14112200442244333322004x14550022225500005x14112200442244333322005x11550000111111001x11335555225522002222001x11550000111111000x11335555225522002222000x11550000111111003x11335555225522002222003x11550000111111002x11335555225522002222002x11550000111111004x11335555225522002222004x11550000111111005x11335555225522002222005x10550000111111001x10335555225522002222001x10550000111111000x10335555225522002222000x10550000111111003x10335555225522002222003x10550000111111002x10335555225522002222002x10550000111111004x10335555225522002222004x10550000111111005x10335555225522002222005x13550000111111001x13335555225522002222001x13550000111111000x13335555225522002222000x13550000111111003x13335555225522002222003x13550000111111002x13335555225522002222002x13550000111111004x13335555225522002222004x13550000111111005x13335555225522002222005x12550000111111001x12335555225522002222001x12550000111111000x12335555225522002222000x12550000111111003x12335555225522002222003x12550000111111002x12335555225522002222002x12550000111111004x12335555225522002222004x12550000111111005x12335555225522002222005x15550000111111001x15335555225522002222001x15550000111111000x15335555225522002222000x15550000111111003x15335555225522002222003x15550000111111002x15335555225522002222002x15550000111111004x15335555225522002222004x15550000111111005x15335555225522002222005x14550000111111001x14335555225522002222001x14550000111111000x14335555225522002222000x14550000111111003x14335555225522002222003x14550000111111002x14335555225522002222002x14550000111111004x14335555225522002222004x14550000111111005x14335555225522002222005x11550000111144001x11335522003344332233111x11550000111144000x11335522003344332233110x11550000111144003x11335522003344332233113x11550000111144002x11335522003344332233112x11550000111144004x11335522003344332233114x11550000111144005x11335522003344332233115x10550000111144001x10335522003344332233111x10550000111144000x10335522003344332233110x10550000111144003x10335522003344332233113x10550000111144002x10335522003344332233112x10550000111144004x10335522003344332233114x10550000111144005x10335522003344332233115x13550000111144001x13335522003344332233111x13550000111144000x13335522003344332233110x13550000111144003x13335522003344332233113x13550000111144002x13335522003344332233112x13550000111144004x13335522003344332233114x13550000111144005x13335522003344332233115x12550000111144001x12335522003344332233111x12550000111144000x12335522003344332233110x12550000111144003x12335522003344332233113x12550000111144002x12335522003344332233112x12550000111144004x12335522003344332233114x12550000111144005x12335522003344332233115x15550000111144001x15335522003344332233111x15550000111144000x15335522003344332233110x15550000111144003x15335522003344332233113x15550000111144002x15335522003344332233112x15550000111144004x15335522003344332233114x15550000111144005x15335522003344332233115x14550000111144001x14335522003344332233111x14550000111144000x14335522003344332233110x14550000111144003x14335522003344332233113x14550000111144002x14335522003344332233112x14550000111144004x14335522003344332233114x14550000111144005x14335522003344332233115x11332244111155001x11223355114444224422001x11332244111155000x11223355114444224422000x11332244111155003x11223355114444224422003x11332244111155002x11223355114444224422002x11332244111155004x11223355114444224422004x11332244111155005x11223355114444224422005x10332244111155001x10223355114444224422001x10332244111155000x10223355114444224422000x10332244111155003x10223355114444224422003x10332244111155002x10223355114444224422002x10332244111155004x10223355114444224422004x10332244111155005x10223355114444224422005x13332244111155001x13223355114444224422001x13332244111155000x13223355114444224422000x13332244111155003x13223355114444224422003x13332244111155002x13223355114444224422002x13332244111155004x13223355114444224422004x13332244111155005x13223355114444224422005x12332244111155001x12223355114444224422001x12332244111155000x12223355114444224422000x12332244111155003x12223355114444224422003x12332244111155002x12223355114444224422002x12332244111155004x12223355114444224422004x12332244111155005x12223355114444224422005x15332244111155001x15223355114444224422001x15332244111155000x15223355114444224422000x15332244111155003x15223355114444224422003x15332244111155002x15223355114444224422002x15332244111155004x15223355114444224422004x15332244111155005x15223355114444224422005x14332244111155001x14223355114444224422001x14332244111155000x14223355114444224422000x14332244111155003x14223355114444224422003x14332244111155002x14223355114444224422002x14332244111155004x14223355114444224422004x14332244111155005x14223355114444224422005x11553344330000111x11111122331133334422331x11553344330000110x11111122331133334422330x11553344330000113x11111122331133334422333x11553344330000112x11111122331133334422332x11553344330000114x11111122331133334422334x11553344330000115x11111122331133334422335x10553344330000111x10111122331133334422331x10553344330000110x10111122331133334422330x10553344330000113x10111122331133334422333x10553344330000112x10111122331133334422332x10553344330000114x10111122331133334422334x10553344330000115x10111122331133334422335x13553344330000111x13111122331133334422331x13553344330000110x13111122331133334422330x13553344330000113x13111122331133334422333x13553344330000112x13111122331133334422332x13553344330000114x13111122331133334422334x13553344330000115x13111122331133334422335x12553344330000111x12111122331133334422331x12553344330000110x12111122331133334422330x12553344330000113x12111122331133334422333x12553344330000112x12111122331133334422332x12553344330000114x12111122331133334422334x12553344330000115x12111122331133334422335x15553344330000111x15111122331133334422331x15553344330000110x15111122331133334422330x15553344330000113x15111122331133334422333x15553344330000112x15111122331133334422332x15553344330000114x15111122331133334422334x15553344330000115x15111122331133334422335x14553344330000111x14111122331133334422331x14553344330000110x14111122331133334422330x14553344330000113x14111122331133334422333x14553344330000112x14111122331133334422332x14553344330000114x14111122331133334422334x14553344330000115x14111122331133334422335x11224400001100111x11550055221122332233111x11224400001100110x11550055221122332233110x11224400001100113x11550055221122332233113x11224400001100112x11550055221122332233112x11224400001100114x11550055221122332233114x11224400001100115x11550055221122332233115x10224400001100111x10550055221122332233111x10224400001100110x10550055221122332233110x10224400001100113x10550055221122332233113x10224400001100112x10550055221122332233112x10224400001100114x10550055221122332233114x10224400001100115x10550055221122332233115x13224400001100111x13550055221122332233111x13224400001100110x13550055221122332233110x13224400001100113x13550055221122332233113x13224400001100112x13550055221122332233112x13224400001100114x13550055221122332233114x13224400001100115x13550055221122332233115x12224400001100111x12550055221122332233111x12224400001100110x12550055221122332233110x12224400001100113x12550055221122332233113x12224400001100112x12550055221122332233112x12224400001100114x12550055221122332233114x12224400001100115x12550055221122332233115x15224400001100111x15550055221122332233111x15224400001100110x15550055221122332233110x15224400001100113x15550055221122332233113x15224400001100112x15550055221122332233112x15224400001100114x15550055221122332233114x15224400001100115x15550055221122332233115x14224400001100111x14550055221122332233111x14224400001100110x14550055221122332233110x14224400001100113x14550055221122332233113x14224400001100112x14550055221122332233112x14224400001100114x14550055221122332233114x14224400001100115x14550055221122332233115x11551111443300111x11223311334422553300111x11551111443300110x11223311334422553300110x11551111443300113x11223311334422553300113x11551111443300112x11223311334422553300112x11551111443300114x11223311334422553300114x11551111443300115x11223311334422553300115x10551111443300111x10223311334422553300111x10551111443300110x10223311334422553300110x10551111443300113x10223311334422553300113x10551111443300112x10223311334422553300112x10551111443300114x10223311334422553300114x10551111443300115x10223311334422553300115x13551111443300111x13223311334422553300111x13551111443300110x13223311334422553300110x13551111443300113x13223311334422553300113x13551111443300112x13223311334422553300112x13551111443300114x13223311334422553300114x13551111443300115x13223311334422553300115x12551111443300111x12223311334422553300111x12551111443300110x12223311334422553300110x12551111443300113x12223311334422553300113x12551111443300112x12223311334422553300112x12551111443300114x12223311334422553300114x12551111443300115x12223311334422553300115x15551111443300111x15223311334422553300111x15551111443300110x15223311334422553300110x15551111443300113x15223311334422553300113x15551111443300112x15223311334422553300112x15551111443300114x15223311334422553300114x15551111443300115x15223311334422553300115x14551111443300111x14223311334422553300111x14551111443300110x14223311334422553300110x14551111443300113x14223311334422553300113x14551111443300112x14223311334422553300112x14551111443300114x14223311334422553300114x14551111443300115x14223311334422553300115x11114411114400111x11332200224422005500001x11114411114400110x11332200224422005500000x11114411114400113x11332200224422005500003x11114411114400112x11332200224422005500002x11114411114400114x11332200224422005500004x11114411114400115x11332200224422005500005x10114411114400111x10332200224422005500001x10114411114400110x10332200224422005500000x10114411114400113x10332200224422005500003x10114411114400112x10332200224422005500002x10114411114400114x10332200224422005500004x10114411114400115x10332200224422005500005x13114411114400111x13332200224422005500001x13114411114400110x13332200224422005500000x13114411114400113x13332200224422005500003x13114411114400112x13332200224422005500002x13114411114400114x13332200224422005500004x13114411114400115x13332200224422005500005x12114411114400111x12332200224422005500001x12114411114400110x12332200224422005500000x12114411114400113x12332200224422005500003x12114411114400112x12332200224422005500002x12114411114400114x12332200224422005500004x12114411114400115x12332200224422005500005x15114411114400111x15332200224422005500001x15114411114400110x15332200224422005500000x15114411114400113x15332200224422005500003x15114411114400112x15332200224422005500002x15114411114400114x15332200224422005500004x15114411114400115x15332200224422005500005x14114411114400111x14332200224422005500001x14114411114400110x14332200224422005500000x14114411114400113x14332200224422005500003x14114411114400112x14332200224422005500002x14114411114400114x14332200224422005500004x14114411114400115x14332200224422005500005x11551100330011111x11115544002200220022001x11551100330011110x11115544002200220022000x11551100330011113x11115544002200220022003x11551100330011112x11115544002200220022002x11551100330011114x11115544002200220022004x11551100330011115x11115544002200220022005x10551100330011111x10115544002200220022001x10551100330011110x10115544002200220022000x10551100330011113x10115544002200220022003x10551100330011112x10115544002200220022002x10551100330011114x10115544002200220022004x10551100330011115x10115544002200220022005x13551100330011111x13115544002200220022001x13551100330011110x13115544002200220022000x13551100330011113x13115544002200220022003x13551100330011112x13115544002200220022002x13551100330011114x13115544002200220022004x13551100330011115x13115544002200220022005x12551100330011111x12115544002200220022001x12551100330011110x12115544002200220022000x12551100330011113x12115544002200220022003x12551100330011112x12115544002200220022002x12551100330011114x12115544002200220022004x12551100330011115x12115544002200220022005x15551100330011111x15115544002200220022001x15551100330011110x15115544002200220022000x15551100330011113x15115544002200220022003x15551100330011112x15115544002200220022002x15551100330011114x15115544002200220022004x15551100330011115x15115544002200220022005x14551100330011111x14115544002200220022001x14551100330011110x14115544002200220022000x14551100330011113x14115544002200220022003x14551100330011112x14115544002200220022002x14551100330011114x14115544002200220022004x14551100330011115x14115544002200220022005x11441111331111111x11225500220033332211331x11441111331111110x11225500220033332211330x11441111331111113x11225500220033332211333x11441111331111112x11225500220033332211332x11441111331111114x11225500220033332211334x11441111331111115x11225500220033332211335x10441111331111111x10225500220033332211331x10441111331111110x10225500220033332211330x10441111331111113x10225500220033332211333x10441111331111112x10225500220033332211332x10441111331111114x10225500220033332211334x10441111331111115x10225500220033332211335x13441111331111111x13225500220033332211331x13441111331111110x13225500220033332211330x13441111331111113x13225500220033332211333x13441111331111112x13225500220033332211332x13441111331111114x13225500220033332211334x13441111331111115x13225500220033332211335x12441111331111111x12225500220033332211331x12441111331111110x12225500220033332211330x12441111331111113x12225500220033332211333x12441111331111112x12225500220033332211332x12441111331111114x12225500220033332211334x12441111331111115x12225500220033332211335x15441111331111111x15225500220033332211331x15441111331111110x15225500220033332211330x15441111331111113x15225500220033332211333x15441111331111112x15225500220033332211332x15441111331111114x15225500220033332211334x15441111331111115x15225500220033332211335x14441111331111111x14225500220033332211331x14441111331111110x14225500220033332211330x14441111331111113x14225500220033332211333x14441111331111112x14225500220033332211332x14441111331111114x14225500220033332211334x14441111331111115x14225500220033332211335x11550044551111111x11333355223333553344331x11550044551111110x11333355223333553344330x11550044551111113x11333355223333553344333x11550044551111112x11333355223333553344332x11550044551111114x11333355223333553344334x11550044551111115x11333355223333553344335x10550044551111111x10333355223333553344331x10550044551111110x10333355223333553344330x10550044551111113x10333355223333553344333x10550044551111112x10333355223333553344332x10550044551111114x10333355223333553344334x10550044551111115x10333355223333553344335x13550044551111111x13333355223333553344331x13550044551111110x13333355223333553344330x13550044551111113x13333355223333553344333x13550044551111112x13333355223333553344332x13550044551111114x13333355223333553344334x13550044551111115x13333355223333553344335x12550044551111111x12333355223333553344331x12550044551111110x12333355223333553344330x12550044551111113x12333355223333553344333x12550044551111112x12333355223333553344332x12550044551111114x12333355223333553344334x12550044551111115x12333355223333553344335x15550044551111111x15333355223333553344331x15550044551111110x15333355223333553344330x15550044551111113x15333355223333553344333x15550044551111112x15333355223333553344332x15550044551111114x15333355223333553344334x15550044551111115x15333355223333553344335x14550044551111111x14333355223333553344331x14550044551111110x14333355223333553344330x14550044551111113x14333355223333553344333x14550044551111112x14333355223333553344332x14550044551111114x14333355223333553344334x14550044551111115x14333355223333553344335x11441155004411111x11220055223300332222441x11441155004411110x11220055223300332222440x11441155004411113x11220055223300332222443x11441155004411112x11220055223300332222442x11441155004411114x11220055223300332222444x11441155004411115x11220055223300332222445x10441155004411111x10220055223300332222441x10441155004411110x10220055223300332222440x10441155004411113x10220055223300332222443x10441155004411112x10220055223300332222442x10441155004411114x10220055223300332222444x10441155004411115x10220055223300332222445x13441155004411111x13220055223300332222441x13441155004411110x13220055223300332222440x13441155004411113x13220055223300332222443x13441155004411112x13220055223300332222442x13441155004411114x13220055223300332222444x13441155004411115x13220055223300332222445x12441155004411111x12220055223300332222441x12441155004411110x12220055223300332222440x12441155004411113x12220055223300332222443x12441155004411112x12220055223300332222442x12441155004411114x12220055223300332222444x12441155004411115x12220055223300332222445x15441155004411111x15220055223300332222441x15441155004411110x15220055223300332222440x15441155004411113x15220055223300332222443x15441155004411112x15220055223300332222442x15441155004411114x15220055223300332222444x15441155004411115x15220055223300332222445x14441155004411111x14220055223300332222441x14441155004411110x14220055223300332222440x14441155004411113x14220055223300332222443x14441155004411112x14220055223300332222442x14441155004411114x14220055223300332222444x14441155004411115x14220055223300332222445x11551155004433111x11113333002200553333111x11551155004433110x11113333002200553333110x11551155004433113x11113333002200553333113x11551155004433112x11113333002200553333112x11551155004433114x11113333002200553333114x11551155004433115x11113333002200553333115x10551155004433111x10113333002200553333111x10551155004433110x10113333002200553333110x10551155004433113x10113333002200553333113x10551155004433112x10113333002200553333112x10551155004433114x10113333002200553333114x10551155004433115x10113333002200553333115x13551155004433111x13113333002200553333111x13551155004433110x13113333002200553333110x13551155004433113x13113333002200553333113x13551155004433112x13113333002200553333112x13551155004433114x13113333002200553333114x13551155004433115x13113333002200553333115x12551155004433111x12113333002200553333111x12551155004433110x12113333002200553333110x12551155004433113x12113333002200553333113x12551155004433112x12113333002200553333112x12551155004433114x12113333002200553333114x12551155004433115x12113333002200553333115x15551155004433111x15113333002200553333111x15551155004433110x15113333002200553333110x15551155004433113x15113333002200553333113x15551155004433112x15113333002200553333112x15551155004433114x15113333002200553333114x15551155004433115x15113333002200553333115x14551155004433111x14113333002200553333111x14551155004433110x14113333002200553333110x14551155004433113x14113333002200553333113x14551155004433112x14113333002200553333112x14551155004433114x14113333002200553333114x14551155004433115x14113333002200553333115x11000000005533111x11110022335555333333331x11000000005533110x11110022335555333333330x11000000005533113x11110022335555333333333x11000000005533112x11110022335555333333332x11000000005533114x11110022335555333333334x11000000005533115x11110022335555333333335x10000000005533111x10110022335555333333331x10000000005533110x10110022335555333333330x10000000005533113x10110022335555333333333x10000000005533112x10110022335555333333332x10000000005533114x10110022335555333333334x10000000005533115x10110022335555333333335x13000000005533111x13110022335555333333331x13000000005533110x13110022335555333333330x13000000005533113x13110022335555333333333x13000000005533112x13110022335555333333332x13000000005533114x13110022335555333333334x13000000005533115x13110022335555333333335x12000000005533111x12110022335555333333331x12000000005533110x12110022335555333333330x12000000005533113x12110022335555333333333x12000000005533112x12110022335555333333332x12000000005533114x12110022335555333333334x12000000005533115x12110022335555333333335x15000000005533111x15110022335555333333331x15000000005533110x15110022335555333333330x15000000005533113x15110022335555333333333x15000000005533112x15110022335555333333332x15000000005533114x15110022335555333333334x15000000005533115x15110022335555333333335x14000000005533111x14110022335555333333331x14000000005533110x14110022335555333333330x14000000005533113x14110022335555333333333x14000000005533112x14110022335555333333332x14000000005533114x14110022335555333333334x14000000005533115x14110022335555333333335x11551100000044111x11331111330044440033331x11551100000044110x11331111330044440033330x11551100000044113x11331111330044440033333x11551100000044112x11331111330044440033332x11551100000044114x11331111330044440033334x11551100000044115x11331111330044440033335x10551100000044111x10331111330044440033331x10551100000044110x10331111330044440033330x10551100000044113x10331111330044440033333x10551100000044112x10331111330044440033332x10551100000044114x10331111330044440033334x10551100000044115x10331111330044440033335x13551100000044111x13331111330044440033331x13551100000044110x13331111330044440033330x13551100000044113x13331111330044440033333x13551100000044112x13331111330044440033332x13551100000044114x13331111330044440033334x13551100000044115x13331111330044440033335x12551100000044111x12331111330044440033331x12551100000044110x12331111330044440033330x12551100000044113x12331111330044440033333x12551100000044112x12331111330044440033332x12551100000044114x12331111330044440033334x12551100000044115x12331111330044440033335x15551100000044111x15331111330044440033331x15551100000044110x15331111330044440033330x15551100000044113x15331111330044440033333x15551100000044112x15331111330044440033332x15551100000044114x15331111330044440033334x15551100000044115x15331111330044440033335x14551100000044111x14331111330044440033331x14551100000044110x14331111330044440033330x14551100000044113x14331111330044440033333x14551100000044112x14331111330044440033332x14551100000044114x14331111330044440033334x14551100000044115x14331111330044440033335x11444455000044111x11223333552244004422221x11444455000044110x11223333552244004422220x11444455000044113x11223333552244004422223x11444455000044112x11223333552244004422222x11444455000044114x11223333552244004422224x11444455000044115x11223333552244004422225x10444455000044111x10223333552244004422221x10444455000044110x10223333552244004422220x10444455000044113x10223333552244004422223x10444455000044112x10223333552244004422222x10444455000044114x10223333552244004422224x10444455000044115x10223333552244004422225x13444455000044111x13223333552244004422221x13444455000044110x13223333552244004422220x13444455000044113x13223333552244004422223x13444455000044112x13223333552244004422222x13444455000044114x13223333552244004422224x13444455000044115x13223333552244004422225x12444455000044111x12223333552244004422221x12444455000044110x12223333552244004422220x12444455000044113x12223333552244004422223x12444455000044112x12223333552244004422222x12444455000044114x12223333552244004422224x12444455000044115x12223333552244004422225x15444455000044111x15223333552244004422221x15444455000044110x15223333552244004422220x15444455000044113x15223333552244004422223x15444455000044112x15223333552244004422222x15444455000044114x15223333552244004422224x15444455000044115x15223333552244004422225x14444455000044111x14223333552244004422221x14444455000044110x14223333552244004422220x14444455000044113x14223333552244004422223x14444455000044112x14223333552244004422222x14444455000044114x14223333552244004422224x14444455000044115x14223333552244004422225x11111111111144111x11331155221122220011441x11111111111144110x11331155221122220011440x11111111111144113x11331155221122220011443x11111111111144112x11331155221122220011442x11111111111144114x11331155221122220011444x11111111111144115x11331155221122220011445x10111111111144111x10331155221122220011441x10111111111144110x10331155221122220011440x10111111111144113x10331155221122220011443x10111111111144112x10331155221122220011442x10111111111144114x10331155221122220011444x10111111111144115x10331155221122220011445x13111111111144111x13331155221122220011441x13111111111144110x13331155221122220011440x13111111111144113x13331155221122220011443x13111111111144112x13331155221122220011442x13111111111144114x13331155221122220011444x13111111111144115x13331155221122220011445x12111111111144111x12331155221122220011441x12111111111144110x12331155221122220011440x12111111111144113x12331155221122220011443x12111111111144112x12331155221122220011442x12111111111144114x12331155221122220011444x12111111111144115x12331155221122220011445x15111111111144111x15331155221122220011441x15111111111144110x15331155221122220011440x15111111111144113x15331155221122220011443x15111111111144112x15331155221122220011442x15111111111144114x15331155221122220011444x15111111111144115x15331155221122220011445x14111111111144111x14331155221122220011441x14111111111144110x14331155221122220011440x14111111111144113x14331155221122220011443x14111111111144112x14331155221122220011442x14111111111144114x14331155221122220011444x14111111111144115x14331155221122220011445x11334433112244111x11115522553333223311331x11334433112244110x11115522553333223311330x11334433112244113x11115522553333223311333x11334433112244112x11115522553333223311332x11334433112244114x11115522553333223311334x11334433112244115x11115522553333223311335x10334433112244111x10115522553333223311331x10334433112244110x10115522553333223311330x10334433112244113x10115522553333223311333x10334433112244112x10115522553333223311332x10334433112244114x10115522553333223311334x10334433112244115x10115522553333223311335x13334433112244111x13115522553333223311331x13334433112244110x13115522553333223311330x13334433112244113x13115522553333223311333x13334433112244112x13115522553333223311332x13334433112244114x13115522553333223311334x13334433112244115x13115522553333223311335x12334433112244111x12115522553333223311331x12334433112244110x12115522553333223311330x12334433112244113x12115522553333223311333x12334433112244112x12115522553333223311332x12334433112244114x12115522553333223311334x12334433112244115x12115522553333223311335x15334433112244111x15115522553333223311331x15334433112244110x15115522553333223311330x15334433112244113x15115522553333223311333x15334433112244112x15115522553333223311332x15334433112244114x15115522553333223311334x15334433112244115x15115522553333223311335x14334433112244111x14115522553333223311331x14334433112244110x14115522553333223311330x14334433112244113x14115522553333223311333x14334433112244112x14115522553333223311332x14334433112244114x14115522553333223311334x14334433112244115x14115522553333223311335x11114400003344111x11334422225522442255551x11114400003344110x11334422225522442255550x11114400003344113x11334422225522442255553x11114400003344112x11334422225522442255552x11114400003344114x11334422225522442255554x11114400003344115x11334422225522442255555x10114400003344111x10334422225522442255551x10114400003344110x10334422225522442255550x10114400003344113x10334422225522442255553x10114400003344112x10334422225522442255552x10114400003344114x10334422225522442255554x10114400003344115x10334422225522442255555x13114400003344111x13334422225522442255551x13114400003344110x13334422225522442255550x13114400003344113x13334422225522442255553x13114400003344112x13334422225522442255552x13114400003344114x13334422225522442255554x13114400003344115x13334422225522442255555x12114400003344111x12334422225522442255551x12114400003344110x12334422225522442255550x12114400003344113x12334422225522442255553x12114400003344112x12334422225522442255552x12114400003344114x12334422225522442255554x12114400003344115x12334422225522442255555x15114400003344111x15334422225522442255551x15114400003344110x15334422225522442255550x15114400003344113x15334422225522442255553x15114400003344112x15334422225522442255552x15114400003344114x15334422225522442255554x15114400003344115x15334422225522442255555x14114400003344111x14334422225522442255551x14114400003344110x14334422225522442255550x14114400003344113x14334422225522442255553x14114400003344112x14334422225522442255552x14114400003344114x14334422225522442255554x14114400003344115x14334422225522442255555x11441155331111221x11220055332222331111221x11441155331111220x11220055332222331111220x11441155331111223x11220055332222331111223x11441155331111222x11220055332222331111222x11441155331111224x11220055332222331111224x11441155331111225x11220055332222331111225x10441155331111221x10220055332222331111221x10441155331111220x10220055332222331111220x10441155331111223x10220055332222331111223x10441155331111222x10220055332222331111222x10441155331111224x10220055332222331111224x10441155331111225x10220055332222331111225x13441155331111221x13220055332222331111221x13441155331111220x13220055332222331111220x13441155331111223x13220055332222331111223x13441155331111222x13220055332222331111222x13441155331111224x13220055332222331111224x13441155331111225x13220055332222331111225x12441155331111221x12220055332222331111221x12441155331111220x12220055332222331111220x12441155331111223x12220055332222331111223x12441155331111222x12220055332222331111222x12441155331111224x12220055332222331111224x12441155331111225x12220055332222331111225x15441155331111221x15220055332222331111221x15441155331111220x15220055332222331111220x15441155331111223x15220055332222331111223x15441155331111222x15220055332222331111222x15441155331111224x15220055332222331111224x15441155331111225x15220055332222331111225x14441155331111221x14220055332222331111221x14441155331111220x14220055332222331111220x14441155331111223x14220055332222331111223x14441155331111222x14220055332222331111222x14441155331111224x14220055332222331111224x14441155331111225x14220055332222331111225x11444444550000331x11113333003322331133331x11444444550000330x11113333003322331133330x11444444550000333x11113333003322331133333x11444444550000332x11113333003322331133332x11444444550000334x11113333003322331133334x11444444550000335x11113333003322331133335x10444444550000331x10113333003322331133331x10444444550000330x10113333003322331133330x10444444550000333x10113333003322331133333x10444444550000332x10113333003322331133332x10444444550000334x10113333003322331133334x10444444550000335x10113333003322331133335x13444444550000331x13113333003322331133331x13444444550000330x13113333003322331133330x13444444550000333x13113333003322331133333x13444444550000332x13113333003322331133332x13444444550000334x13113333003322331133334x13444444550000335x13113333003322331133335x12444444550000331x12113333003322331133331x12444444550000330x12113333003322331133330x12444444550000333x12113333003322331133333x12444444550000332x12113333003322331133332x12444444550000334x12113333003322331133334x12444444550000335x12113333003322331133335x15444444550000331x15113333003322331133331x15444444550000330x15113333003322331133330x15444444550000333x15113333003322331133333x15444444550000332x15113333003322331133332x15444444550000334x15113333003322331133334x15444444550000335x15113333003322331133335x14444444550000331x14113333003322331133331x14444444550000330x14113333003322331133330x14444444550000333x14113333003322331133333x14444444550000332x14113333003322331133332x14444444550000334x14113333003322331133334x14444444550000335x14113333003322331133335x11441100441155331x11220022222200552233001x11441100441155330x11220022222200552233000x11441100441155333x11220022222200552233003x11441100441155332x11220022222200552233002x11441100441155334x11220022222200552233004x11441100441155335x11220022222200552233005x10441100441155331x10220022222200552233001x10441100441155330x10220022222200552233000x10441100441155333x10220022222200552233003x10441100441155332x10220022222200552233002x10441100441155334x10220022222200552233004x10441100441155335x10220022222200552233005x13441100441155331x13220022222200552233001x13441100441155330x13220022222200552233000x13441100441155333x13220022222200552233003x13441100441155332x13220022222200552233002x13441100441155334x13220022222200552233004x13441100441155335x13220022222200552233005x12441100441155331x12220022222200552233001x12441100441155330x12220022222200552233000x12441100441155333x12220022222200552233003x12441100441155332x12220022222200552233002x12441100441155334x12220022222200552233004x12441100441155335x12220022222200552233005x15441100441155331x15220022222200552233001x15441100441155330x15220022222200552233000x15441100441155333x15220022222200552233003x15441100441155332x15220022222200552233002x15441100441155334x15220022222200552233004x15441100441155335x15220022222200552233005x14441100441155331x14220022222200552233001x14441100441155330x14220022222200552233000x14441100441155333x14220022222200552233003x14441100441155332x14220022222200552233002x14441100441155334x14220022222200552233004x14441100441155335x14220022222200552233005x11115500111100441x11223333111122552233441x11115500111100440x11223333111122552233440x11115500111100443x11223333111122552233443x11115500111100442x11223333111122552233442x11115500111100444x11223333111122552233444x11115500111100445x11223333111122552233445x10115500111100441x10223333111122552233441x10115500111100440x10223333111122552233440x10115500111100443x10223333111122552233443x10115500111100442x10223333111122552233442x10115500111100444x10223333111122552233444x10115500111100445x10223333111122552233445x13115500111100441x13223333111122552233441x13115500111100440x13223333111122552233440x13115500111100443x13223333111122552233443x13115500111100442x13223333111122552233442x13115500111100444x13223333111122552233444x13115500111100445x13223333111122552233445x12115500111100441x12223333111122552233441x12115500111100440x12223333111122552233440x12115500111100443x12223333111122552233443x12115500111100442x12223333111122552233442x12115500111100444x12223333111122552233444x12115500111100445x12223333111122552233445x15115500111100441x15223333111122552233441x15115500111100440x15223333111122552233440x15115500111100443x15223333111122552233443x15115500111100442x15223333111122552233442x15115500111100444x15223333111122552233444x15115500111100445x15223333111122552233445x14115500111100441x14223333111122552233441x14115500111100440x14223333111122552233440x14115500111100443x14223333111122552233443x14115500111100442x14223333111122552233442x14115500111100444x14223333111122552233444x14115500111100445x14223333111122552233445x11114400221111441x11332200220000442200441x11114400221111440x11332200220000442200440x11114400221111443x11332200220000442200443x11114400221111442x11332200220000442200442x11114400221111444x11332200220000442200444x11114400221111445x11332200220000442200445x10114400221111441x10332200220000442200441x10114400221111440x10332200220000442200440x10114400221111443x10332200220000442200443x10114400221111442x10332200220000442200442x10114400221111444x10332200220000442200444x10114400221111445x10332200220000442200445x13114400221111441x13332200220000442200441x13114400221111440x13332200220000442200440x13114400221111443x13332200220000442200443x13114400221111442x13332200220000442200442x13114400221111444x13332200220000442200444x13114400221111445x13332200220000442200445x12114400221111441x12332200220000442200441x12114400221111440x12332200220000442200440x12114400221111443x12332200220000442200443x12114400221111442x12332200220000442200442x12114400221111444x12332200220000442200444x12114400221111445x12332200220000442200445x15114400221111441x15332200220000442200441x15114400221111440x15332200220000442200440x15114400221111443x15332200220000442200443x15114400221111442x15332200220000442200442x15114400221111444x15332200220000442200444x15114400221111445x15332200220000442200445x14114400221111441x14332200220000442200441x14114400221111440x14332200220000442200440x14114400221111443x14332200220000442200443x14114400221111442x14332200220000442200442x14114400221111444x14332200220000442200444x14114400221111445x14332200220000442200445x11110011005511441x11220044225555330033441x11110011005511440x11220044225555330033440x11110011005511443x11220044225555330033443x11110011005511442x11220044225555330033442x11110011005511444x11220044225555330033444x11110011005511445x11220044225555330033445x10110011005511441x10220044225555330033441x10110011005511440x10220044225555330033440x10110011005511443x10220044225555330033443x10110011005511442x10220044225555330033442x10110011005511444x10220044225555330033444x10110011005511445x10220044225555330033445x13110011005511441x13220044225555330033441x13110011005511440x13220044225555330033440x13110011005511443x13220044225555330033443x13110011005511442x13220044225555330033442x13110011005511444x13220044225555330033444x13110011005511445x13220044225555330033445x12110011005511441x12220044225555330033441x12110011005511440x12220044225555330033440x12110011005511443x12220044225555330033443x12110011005511442x12220044225555330033442x12110011005511444x12220044225555330033444x12110011005511445x12220044225555330033445x15110011005511441x15220044225555330033441x15110011005511440x15220044225555330033440x15110011005511443x15220044225555330033443x15110011005511442x15220044225555330033442x15110011005511444x15220044225555330033444x15110011005511445x15220044225555330033445x14110011005511441x14220044225555330033441x14110011005511440x14220044225555330033440x14110011005511443x14220044225555330033443x14110011005511442x14220044225555330033442x14110011005511444x14220044225555330033444x14110011005511445x14220044225555330033445x1155111100111x11330044222222332233111x1155111100110x11330044222222332233110x1155111100113x11330044222222332233113x1155111100112x11330044222222332233112x1155111100114x11330044222222332233114x1155111100115x11330044222222332233115x1055111100111x10330044222222332233111x1055111100110x10330044222222332233110x1055111100113x10330044222222332233113x1055111100112x10330044222222332233112x1055111100114x10330044222222332233114x1055111100115x10330044222222332233115x1355111100111x13330044222222332233111x1355111100110x13330044222222332233110x1355111100113x13330044222222332233113x1355111100112x13330044222222332233112x1355111100114x13330044222222332233114x1355111100115x13330044222222332233115x1255111100111x12330044222222332233111x1255111100110x12330044222222332233110x1255111100113x12330044222222332233113x1255111100112x12330044222222332233112x1255111100114x12330044222222332233114x1255111100115x12330044222222332233115x1555111100111x15330044222222332233111x1555111100110x15330044222222332233110x1555111100113x15330044222222332233113x1555111100112x15330044222222332233112x1555111100114x15330044222222332233114x1555111100115x15330044222222332233115x1455111100111x14330044222222332233111x1455111100110x14330044222222332233110x1455111100113x14330044222222332233113x1455111100112x14330044222222332233112x1455111100114x14330044222222332233114x1455111100115x14330044222222332233115x1144004433331x11112222222200221122001x1144004433330x11112222222200221122000x1144004433333x11112222222200221122003x1144004433332x11112222222200221122002x1144004433334x11112222222200221122004x1144004433335x11112222222200221122005x1044004433331x10112222222200221122001x1044004433330x10112222222200221122000x1044004433333x10112222222200221122003x1044004433332x10112222222200221122002x1044004433334x10112222222200221122004x1044004433335x10112222222200221122005x1344004433331x13112222222200221122001x1344004433330x13112222222200221122000x1344004433333x13112222222200221122003x1344004433332x13112222222200221122002x1344004433334x13112222222200221122004x1344004433335x13112222222200221122005x1244004433331x12112222222200221122001x1244004433330x12112222222200221122000x1244004433333x12112222222200221122003x1244004433332x12112222222200221122002x1244004433334x12112222222200221122004x1244004433335x12112222222200221122005x1544004433331x15112222222200221122001x1544004433330x15112222222200221122000x1544004433333x15112222222200221122003x1544004433332x15112222222200221122002x1544004433334x15112222222200221122004x1544004433335x15112222222200221122005x1444004433331x14112222222200221122001x1444004433330x14112222222200221122000x1444004433333x14112222222200221122003x1444004433332x14112222222200221122002x1444004433334x14112222222200221122004x1444004433335x14112222222200221122005x1155440022441x11333333335533220044551x1155440022440x11333333335533220044550x1155440022443x11333333335533220044553x1155440022442x11333333335533220044552x1155440022444x11333333335533220044554x1155440022445x11333333335533220044555x1055440022441x10333333335533220044551x1055440022440x10333333335533220044550x1055440022443x10333333335533220044553x1055440022442x10333333335533220044552x1055440022444x10333333335533220044554x1055440022445x10333333335533220044555x1355440022441x13333333335533220044551x1355440022440x13333333335533220044550x1355440022443x13333333335533220044553x1355440022442x13333333335533220044552x1355440022444x13333333335533220044554x1355440022445x13333333335533220044555x1255440022441x12333333335533220044551x1255440022440x12333333335533220044550x1255440022443x12333333335533220044553x1255440022442x12333333335533220044552x1255440022444x12333333335533220044554x1255440022445x12333333335533220044555x1555440022441x15333333335533220044551x1555440022440x15333333335533220044550x1555440022443x15333333335533220044553x1555440022442x15333333335533220044552x1555440022444x15333333335533220044554x1555440022445x15333333335533220044555x1455440022441x14333333335533220044551x1455440022440x14333333335533220044550x1455440022443x14333333335533220044553x1455440022442x14333333335533220044552x1455440022444x14333333335533220044554x1455440022445x14333333335533220044555x11111111101111011111131113211120111031112211102111001111041110511141111114111140111130111541112311133111311113411113511145111150111211111511151111112111241112511114311114211144111521115511153111455002211111x141155113322002233111x1455002211110x141155113322002233110x1455002211113x141155113322002233113x1455002211112x141155113322002233112x1455002211114x141155113322002233114x1455002211115x141155113322002233115x112211551100004x112200554400222200114x154444332211551x154422112200220044551x154444332211550x154422112200220044550x154444332211553x154422112200220044553x154444332211552x154422112200220044552x154444332211554x154422112200220044554x154444332211555x154422112200220044555x1155112244004x11333333223333554400334x1055112244004x10333333223333554400334x1355112244004x13333333223333554400334x1555112244004x15333333223333554400334x1455112244004x14333333223333554400334x10445500443300001x10223344112200112222001x10445500443300000x10223344112200112222000x10445500443300003x10223344112200112222003x10445500443300002x10223344112200112222002x10445500443300004x10223344112200112222004x10445500443300005x10223344112200112222005x12445500443300001x12223344112200112222001x12445500443300000x12223344112200112222000x12445500443300003x12223344112200112222003x12445500443300002x12223344112200112222002x12445500443300004x12223344112200112222004x12445500443300005x12223344112200112222005x15445500443300001x15223344112200112222001x15445500443300000x15223344112200112222000x15445500443300003x15223344112200112222003x15445500443300002x15223344112200112222002x15445500443300004x15223344112200112222004x15445500443300005x15223344112200112222005x14445500443300001x14223344112200112222001x14445500443300000x14223344112200112222000x14445500443300003x14223344112200112222003x14445500443300002x14223344112200112222002x14445500443300004x14223344112200112222004x14445500443300005x14223344112200112222005x11550022225500001x11112200442244333322001x11550022225500000x11112200442244333322000x11550022225500003x11112200442244333322003x11550022225500002x11112200442244333322002x11550022225500004x11112200442244333322004x11550022225500005x11112200442244333322005x10550022225500001x10112200442244333322001x10550022225500000x10112200442244333322000x10550022225500003x10112200442244333322003x10550022225500002x10112200442244333322002x10550022225500004x10112200442244333322004x10550022225500005x10112200442244333322005x15550022225500001x15112200442244333322001x15550022225500000x15112200442244333322000x15550022225500003x15112200442244333322003x15550022225500002x15112200442244333322002x15550022225500004x15112200442244333322004x15550022225500005x15112200442244333322005x11332244111155001x11223355114444224422001x11332244111155000x11223355114444224422000x11332244111155003x11223355114444224422003x11332244111155002x11223355114444224422002x11332244111155004x11223355114444224422004x11332244111155005x11223355114444224422005x10332244111155001x10223355114444224422001x10332244111155000x10223355114444224422000x10332244111155003x10223355114444224422003x10332244111155002x10223355114444224422002x10332244111155004x10223355114444224422004x10332244111155005x10223355114444224422005x13332244111155001x13223355114444224422001x13332244111155000x13223355114444224422000x13332244111155003x13223355114444224422003x13332244111155002x13223355114444224422002x13332244111155004x13223355114444224422004x13332244111155005x13223355114444224422005x12332244111155001x12223355114444224422001x12332244111155000x12223355114444224422000x12332244111155003x12223355114444224422003x12332244111155002x12223355114444224422002x12332244111155004x12223355114444224422004x12332244111155005x12223355114444224422005x15332244111155001x15223355114444224422001x15332244111155000x15223355114444224422000x15332244111155003x15223355114444224422003x15332244111155002x15223355114444224422002x15332244111155004x15223355114444224422004x15332244111155005x15223355114444224422005x13115500111100441x13223333111122552233441x13115500111100440x13223333111122552233440x13115500111100443x13223333111122552233443x13115500111100442x13223333111122552233442x13115500111100444x13223333111122552233444x13115500111100445x13223333111122552233445x12115500111100441x12223333111122552233441x12115500111100440x12223333111122552233440x12115500111100443x12223333111122552233443x12115500111100442x12223333111122552233442x12115500111100444x12223333111122552233444x12115500111100445x12223333111122552233445x1044004433331x10112222222200221122001x1044004433330x10112222222200221122000x1544004433331x15112222222200221122001x1544004433330x15112222222200221122000x1444004433331x14112222222200221122001x1444004433330x14112222222200221122000x1155440022441x11333333335533220044551x1155440022442x11333333335533220044552x1155440022444x11333333335533220044554x1055440022441x10333333335533220044551x1055440022442x10333333335533220044552x1055440022444x10333333335533220044554x1355440022441x13333333335533220044551x1355440022442x13333333335533220044552x1355440022444x13333333335533220044554x1555440022441x15333333335533220044551x1555440022442x15333333335533220044552x1555440022444x15333333335533220044554x1455440022441x14333333335533220044551x1455440022442x14333333335533220044552x1455440022444x14333333335533220044554x11451115011102111211111111114111115111511111131113211120111231113111110111112111141110011104111051115411140111122111011114411143111421115311152111551111241113311135111031113411130111251111455002211111x141155113322002233111x1455002211110x141155113322002233110x1455002211113x141155113322002233113x1455002211112x141155113322002233112x1455002211114x141155113322002233114x1455002211115x141155113322002233115x154444332211551x154422112200220044551x154444332211550x154422112200220044550x154444332211553x154422112200220044553x154444332211552x154422112200220044552x154444332211554x154422112200220044554x154444332211555x154422112200220044555x10445500443300001x10223344112200112222001x10445500443300000x10223344112200112222000x10445500443300003x10223344112200112222003x10445500443300002x10223344112200112222002x10445500443300004x10223344112200112222004x10445500443300005x10223344112200112222005x12445500443300001x12223344112200112222001x12445500443300000x12223344112200112222000x12445500443300003x12223344112200112222003x12445500443300002x12223344112200112222002x12445500443300004x12223344112200112222004x12445500443300005x12223344112200112222005x15445500443300001x15223344112200112222001x15445500443300000x15223344112200112222000x15445500443300003x15223344112200112222003x15445500443300002x15223344112200112222002x15445500443300004x15223344112200112222004x15445500443300005x15223344112200112222005x14445500443300001x14223344112200112222001x14445500443300000x14223344112200112222000x14445500443300003x14223344112200112222003x14445500443300002x14223344112200112222002x14445500443300004x14223344112200112222004x14445500443300005x14223344112200112222005x11550022225500001x11112200442244333322001x11550022225500000x11112200442244333322000x11550022225500003x11112200442244333322003x11550022225500002x11112200442244333322002x11550022225500004x11112200442244333322004x11550022225500005x11112200442244333322005x11332244111155001x11223355114444224422001x11332244111155000x11223355114444224422000x11332244111155003x11223355114444224422003x11332244111155002x11223355114444224422002x11332244111155004x11223355114444224422004x11332244111155005x11223355114444224422005x10332244111155001x10223355114444224422001x10332244111155000x10223355114444224422000x10332244111155003x10223355114444224422003x10332244111155002x10223355114444224422002x10332244111155004x10223355114444224422004x10332244111155005x10223355114444224422005x13332244111155001x13223355114444224422001x13332244111155000x13223355114444224422000x13332244111155003x13223355114444224422003x13332244111155002x13223355114444224422002x13332244111155004x13223355114444224422004x13332244111155005x13223355114444224422005x12332244111155001x12223355114444224422001x12332244111155000x12223355114444224422000x12332244111155003x12223355114444224422003x12332244111155002x12223355114444224422002x12332244111155004x12223355114444224422004x12332244111155005x12223355114444224422005x15332244111155001x15223355114444224422001x15332244111155000x15223355114444224422000x15332244111155003x15223355114444224422003x15332244111155002x15223355114444224422002x15332244111155004x15223355114444224422004x15332244111155005x15223355114444224422005x13115500111100441x13223333111122552233441x13115500111100440x13223333111122552233440x13115500111100443x13223333111122552233443x13115500111100442x13223333111122552233442x13115500111100444x13223333111122552233444x13115500111100445x13223333111122552233445x12115500111100441x12223333111122552233441x12115500111100440x12223333111122552233440x12115500111100443x12223333111122552233443x12115500111100442x12223333111122552233442x12115500111100444x12223333111122552233444x12115500111100445x12223333111122552233445x1544004433331x15112222222200221122001x1544004433330x15112222222200221122000x1155440022441x11333333335533220044551x1055440022441x10333333335533220044551x1355440022441x13333333335533220044551x1455440022441x14333333335533220044551x1145111501110211121111111111411111511115111113111321112011123111311111011112111141115411144111431114211104111531115211155111301110011101111341112211103111051112411112511113311135111140111455002211111x141155113322002233111x1455002211110x141155113322002233110x1455002211113x141155113322002233113x1455002211112x141155113322002233112x1455002211114x141155113322002233114x1455002211115x141155113322002233115x10445500443300001x10223344112200112222001x10445500443300000x10223344112200112222000x10445500443300003x10223344112200112222003x10445500443300002x10223344112200112222002x10445500443300004x10223344112200112222004x10445500443300005x10223344112200112222005x15445500443300001x15223344112200112222001x15445500443300000x15223344112200112222000x15445500443300003x15223344112200112222003x15445500443300002x15223344112200112222002x15445500443300004x15223344112200112222004x15445500443300005x15223344112200112222005x14445500443300001x14223344112200112222001x14445500443300000x14223344112200112222000x14445500443300003x14223344112200112222003x14445500443300002x14223344112200112222002x14445500443300004x14223344112200112222004x14445500443300005x14223344112200112222005x11550022225500001x11112200442244333322001x11550022225500000x11112200442244333322000x11550022225500003x11112200442244333322003x11550022225500002x11112200442244333322002x11550022225500004x11112200442244333322004x11550022225500005x11112200442244333322005x13115500111100441x13223333111122552233441x13115500111100440x13223333111122552233440x13115500111100443x13223333111122552233443x13115500111100442x13223333111122552233442x13115500111100444x13223333111122552233444x13115500111100445x13223333111122552233445x12115500111100441x12223333111122552233441x12115500111100440x12223333111122552233440x12115500111100443x12223333111122552233443x12115500111100442x12223333111122552233442x12115500111100444x12223333111122552233444x12115500111100445x12223333111122552233445x1544004433331x15112222222200221122001x1544004433330x15112222222200221122000x1055440022441x10333333335533220044551x1455440022441x14333333335533220044551x1145111501110211121111111114111115111511111311132111201112311131111101111211114111041114311130111001110111134111221110311105111541115211144111142111251112411133111401113511153111455002211111x141155113322002233111x1455002211110x141155113322002233110x1455002211113x141155113322002233113x1455002211112x141155113322002233112x1455002211114x141155113322002233114x1455002211115x141155113322002233115x10445500443300001x10223344112200112222001x10445500443300000x10223344112200112222000x10445500443300003x10223344112200112222003x10445500443300002x10223344112200112222002x10445500443300004x10223344112200112222004x10445500443300005x10223344112200112222005x15445500443300001x15223344112200112222001x15445500443300000x15223344112200112222000x15445500443300003x15223344112200112222003x15445500443300002x15223344112200112222002x15445500443300004x15223344112200112222004x15445500443300005x15223344112200112222005x11550022225500001x11112200442244333322001x11550022225500000x11112200442244333322000x11550022225500003x11112200442244333322003x11550022225500002x11112200442244333322002x11550022225500004x11112200442244333322004x11550022225500005x11112200442244333322005x13115500111100441x13223333111122552233441x13115500111100440x13223333111122552233440x13115500111100443x13223333111122552233443x13115500111100442x13223333111122552233442x13115500111100444x13223333111122552233444x13115500111100445x13223333111122552233445x12115500111100441x12223333111122552233441x12115500111100440x12223333111122552233440x12115500111100443x12223333111122552233443x12115500111100442x12223333111122552233442x12115500111100444x12223333111122552233444x12115500111100445x12223333111122552233445x1544004433331x15112222222200221122001x1544004433330x15112222222200221122000x1055440022441x10333333335533220044551x1455440022441x14333333335533220044551x11451246501134021112113121118141103151152511201131292321612013312313413117210121012130314132104132431235301281001510112623411652211710312510512725412125214125197421101241194331221401115441121351141531181AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe