YES 0112x10230200020x111331x15332302220x113344x10355302001x131352x15315300222x142333x15030200200x1012114x10042302204x1244342x12450300220x1330333x15145403020x1352541x13020042300x10131310x12302014310x10133353x10004024230x10133434x10302042024x10233513x12320200053x11113121x11253022251x11131233x13021532530x11133401x13210512322x11243433x13021011553x11305413x11324002253x11330324x11523240002x11333313x11302414223x11333344x11004555114x11334112x13152430220x11335111x11003100222x11344135x11333020215x11350234x13345550354x11351151x11004400400x11351343x12500555113x12133331x12302040031x12311110x12150355400x12313311x12222205551x12335133x12445534323x12433425x10424025105x12520351x12520402002x13131114x15353004014x13131440x13214020042x13254424x15310222004x13333452x15511240021x13351511x15302455431x13352504x15510155302x13353011x15145535451x13411311x11224535551x13420411x15330202551x13425023x15510053553x14111451x15304302402x14213334x15420005145x14335141x15350053204x14404333x14530223213x14433341x14010210202x14515243x14330200003x14520325x15034540005x14525413x15032143024x15013254x14230000251x15111150x13455420050x15112111x10500512021x15213522x14212300000x12311x11455300200x132113x13020201040x10111333x13545321523x10351124x10540052004x11145215x15121402015x12.12110x10200020320x113311x10222032335x144331x11002035530x125313x12220035135x133324x10020020305x1411210x14022032400x1243442x10220030542x1333033x10203045415x1145253x10032400203x10131310x10134102032x13533310x10324204000x14343310x14202402030x13153320x13500020232x11213111x11522203521x13321311x10352351203x11043311x12232150123x13343421x13551101203x13145031x13522004231x14230331x12000423251x13133331x13224142031x14433331x14115554001x12114331x10220342513x11115331x12220013001x15314431x15120203331x14320531x14530555433x11511531x10040044001x13431531x13115550052x11333312x11300402032x10111132x10045530512x11133132x11555022222x13315332x13234355442x15243342x15015204240x11530252x12002040252x14111313x14104003535x10441313x12400204123x14244523x14002220135x12543333x11200421155x11151533x11345542035x14052533x12035510155x11103533x11545355415x11131143x11555354221x11140243x11552020335x13205243x13553500155x11541114x12042034035x14333124x15415000245x11415334x14023500535x13334044x13123220354x11433344x12020120104x13425154x13000020334x15230254x15000454305x13145254x14203412305x14523105x11520000324x10511115x10500245543x11112115x11202150050x12253125x10000032124x11132x10020035541x131123x10401020203x13331110x13251235453x14211530x14002500450x15125411x15102041215x121035425313x12220035135x1411210x14022032400x10131310x10134102032x14343310x14202402030x13153320x13500020232x11213111x11522203521x13343421x13551101203x13145031x13522004231x13133331x13224142031x14433331x14115554001x15314431x15120203331x14320531x14530555433x13431531x13115550052x11333312x11300402032x10111132x10045530512x11133132x11555022222x13315332x13234355442x15243342x15015204240x14111313x14104003535x14244523x14002220135x11151533x11345542035x11103533x11545355415x11131143x11555354221x11140243x11552020335x13205243x13553500155x13334044x13123220354x13425154x13000020334x15230254x15000454305x10511115x10500245543x11112115x11202150050x122110x120200020320x112110x110200020320x102110x100200020320x132110x130200020320x152110x150200020320x142110x140200020320x1213311x120222032335x1113311x110222032335x1013311x100222032335x1313311x130222032335x1513311x150222032335x1413311x140222032335x1244331x121002035530x1144331x111002035530x1044331x101002035530x1344331x131002035530x1544331x151002035530x1444331x141002035530x1233324x120020020305x1133324x110020020305x1033324x100020020305x1333324x130020020305x1533324x150020020305x1433324x140020020305x12243442x120220030542x11243442x110220030542x10243442x100220030542x13243442x130220030542x15243442x150220030542x14243442x140220030542x12333033x120203045415x11333033x110203045415x10333033x100203045415x13333033x130203045415x15333033x150203045415x14333033x140203045415x12145253x120032400203x11145253x110032400203x10145253x100032400203x13145253x130032400203x15145253x150032400203x14145253x140032400203x123533310x120324204000x113533310x110324204000x103533310x100324204000x133533310x130324204000x153533310x150324204000x143533310x140324204000x123321311x120352351203x113321311x110352351203x103321311x100352351203x133321311x130352351203x153321311x150352351203x143321311x140352351203x121043311x122232150123x111043311x112232150123x101043311x102232150123x131043311x132232150123x151043311x152232150123x141043311x142232150123x124230331x122000423251x114230331x112000423251x104230331x102000423251x134230331x132000423251x154230331x152000423251x144230331x142000423251x122114331x120220342513x112114331x110220342513x102114331x100220342513x132114331x130220342513x152114331x150220342513x142114331x140220342513x121115331x122220013001x111115331x112220013001x101115331x102220013001x131115331x132220013001x151115331x152220013001x141115331x142220013001x121511531x120040044001x111511531x110040044001x101511531x100040044001x131511531x130040044001x151511531x150040044001x141511531x140040044001x121530252x122002040252x111530252x112002040252x101530252x102002040252x131530252x132002040252x151530252x152002040252x141530252x142002040252x120441313x122400204123x110441313x112400204123x100441313x102400204123x130441313x132400204123x150441313x152400204123x140441313x142400204123x122543333x121200421155x112543333x111200421155x102543333x101200421155x132543333x131200421155x152543333x151200421155x142543333x141200421155x124052533x122035510155x114052533x112035510155x104052533x102035510155x134052533x132035510155x154052533x152035510155x144052533x142035510155x121541114x122042034035x111541114x112042034035x101541114x102042034035x131541114x132042034035x151541114x152042034035x141541114x142042034035x124333124x125415000245x114333124x115415000245x104333124x105415000245x134333124x135415000245x154333124x155415000245x144333124x145415000245x121415334x124023500535x111415334x114023500535x101415334x104023500535x131415334x134023500535x151415334x154023500535x141415334x144023500535x121433344x122020120104x111433344x112020120104x101433344x102020120104x131433344x132020120104x151433344x152020120104x141433344x142020120104x123145254x124203412305x113145254x114203412305x103145254x104203412305x133145254x134203412305x153145254x154203412305x143145254x144203412305x124523105x121520000324x114523105x111520000324x104523105x101520000324x134523105x131520000324x154523105x151520000324x144523105x141520000324x122253125x120000032124x112253125x110000032124x102253125x100000032124x132253125x130000032124x152253125x150000032124x142253125x140000032124x13331110x13251235453x14211530x14002500450x15125411x15102041215x121132x120020035541x111132x110020035541x101132x100020035541x131132x130020035541x151132x150020035541x141132x140020035541x1231123x120401020203x1131123x110401020203x1031123x100401020203x1331123x130401020203x1531123x150401020203x1431123x140401020203x12553311332x122222000033551133552x12553311335x122222000033551133555x12553311333x122222000033551133553x12553311331x122222000033551133551x12553311330x122222000033551133550x12553311334x122222000033551133554x1411112211002x140022220033224400002x1411112211005x140022220033224400005x1411112211003x140022220033224400003x1411112211001x140022220033224400001x1411112211000x140022220033224400000x1411112211004x140022220033224400004x101133113311002x101133441100220033222x101133113311005x101133441100220033225x101133113311003x101133441100220033223x101133113311001x101133441100220033221x101133113311000x101133441100220033220x101133113311004x101133441100220033224x143344333311002x142200224400220033002x143344333311005x142200224400220033005x143344333311003x142200224400220033003x143344333311001x142200224400220033001x143344333311000x142200224400220033000x143344333311004x142200224400220033004x131155333322002x135500000022002233222x131155333322005x135500000022002233225x131155333322003x135500000022002233223x131155333322001x135500000022002233221x131155333322000x135500000022002233220x131155333322004x135500000022002233224x112211331111112x115522222200335522112x112211331111115x115522222200335522115x112211331111113x115522222200335522113x112211331111111x115522222200335522111x112211331111110x115522222200335522110x112211331111114x115522222200335522114x133344334422112x135555111100112200332x133344334422115x135555111100112200335x133344334422113x135555111100112200333x133344334422111x135555111100112200331x133344334422110x135555111100112200330x133344334422114x135555111100112200334x131144550033112x135522220000442233112x131144550033115x135522220000442233115x131144550033113x135522220000442233113x131144550033111x135522220000442233111x131144550033110x135522220000442233110x131144550033114x135522220000442233114x131133333333112x132222441144220033112x131133333333115x132222441144220033115x131133333333113x132222441144220033113x131133333333111x132222441144220033111x131133333333110x132222441144220033110x131133333333114x132222441144220033114x144433333333112x141111555555440000112x144433333333115x141111555555440000115x144433333333113x141111555555440000113x144433333333111x141111555555440000111x144433333333110x141111555555440000110x144433333333114x141111555555440000114x153311444433112x151122002200333333112x153311444433115x151122002200333333115x153311444433113x151122002200333333113x153311444433111x151122002200333333111x153311444433110x151122002200333333110x153311444433114x151122002200333333114x143322005533112x145533005555554433332x143322005533115x145533005555554433335x143322005533113x145533005555554433333x143322005533111x145533005555554433331x143322005533110x145533005555554433330x143322005533114x145533005555554433334x134433115533112x131111555555000055222x134433115533115x131111555555000055225x134433115533113x131111555555000055223x134433115533111x131111555555000055221x134433115533110x131111555555000055220x134433115533114x131111555555000055224x113333333311222x113300004400220033222x113333333311225x113300004400220033225x113333333311223x113300004400220033223x113333333311221x113300004400220033221x113333333311220x113300004400220033220x113333333311224x113300004400220033224x101111111133222x100044555533005511222x101111111133225x100044555533005511225x101111111133223x100044555533005511223x101111111133221x100044555533005511221x101111111133220x100044555533005511220x101111111133224x100044555533005511224x111133331133222x115555550022222222222x111133331133225x115555550022222222225x111133331133223x115555550022222222223x111133331133221x115555550022222222221x111133331133220x115555550022222222220x111133331133224x115555550022222222224x133311553333222x132233443355554444222x133311553333225x132233443355554444225x133311553333223x132233443355554444223x133311553333221x132233443355554444221x133311553333220x132233443355554444220x133311553333224x132233443355554444224x152244333344222x150011552200442244002x152244333344225x150011552200442244005x152244333344223x150011552200442244003x152244333344221x150011552200442244001x152244333344220x150011552200442244000x152244333344224x150011552200442244004x141111113311332x141100440000335533552x141111113311335x141100440000335533555x141111113311333x141100440000335533553x141111113311331x141100440000335533551x141111113311330x141100440000335533550x141111113311334x141100440000335533554x142244445522332x140000222222001133552x142244445522335x140000222222001133555x142244445522333x140000222222001133553x142244445522331x140000222222001133551x142244445522330x140000222222001133550x142244445522334x140000222222001133554x111155115533332x113344555544220033552x111155115533335x113344555544220033555x111155115533333x113344555544220033553x111155115533331x113344555544220033551x111155115533330x113344555544220033550x111155115533334x113344555544220033554x111100335533332x115544553355554411552x111100335533335x115544553355554411555x111100335533333x115544553355554411553x111100335533331x115544553355554411551x111100335533330x115544553355554411550x111100335533334x115544553355554411554x111133111144332x115555553355442222112x111133111144335x115555553355442222115x111133111144333x115555553355442222113x111133111144331x115555553355442222111x111133111144330x115555553355442222110x111133111144334x115555553355442222114x111144002244332x115555220022003333552x111144002244335x115555220022003333555x111144002244333x115555220022003333553x111144002244331x115555220022003333551x111144002244330x115555220022003333550x111144002244334x115555220022003333554x132200552244332x135555335500001155552x132200552244335x135555335500001155555x132200552244333x135555335500001155553x132200552244331x135555335500001155551x132200552244330x135555335500001155550x132200552244334x135555335500001155554x133333440044442x131122332222003355442x133333440044445x131122332222003355445x133333440044443x131122332222003355443x133333440044441x131122332222003355441x133333440044440x131122332222003355440x133333440044444x131122332222003355444x134422551155442x130000000022003333442x134422551155445x130000000022003333445x134422551155443x130000000022003333443x134422551155441x130000000022003333441x134422551155440x130000000022003333440x134422551155444x130000000022003333444x152233002255442x150000004455443300552x152233002255445x150000004455443300555x152233002255443x150000004455443300553x152233002255441x150000004455443300551x152233002255440x150000004455443300550x152233002255444x150000004455443300554x105511111111552x105500002244555544332x105511111111555x105500002244555544335x105511111111553x105500002244555544333x105511111111551x105500002244555544331x105511111111550x105500002244555544330x105511111111554x105500002244555544334x111111221111552x112200221155000055002x111111221111555x112200221155000055005x111111221111553x112200221155000055003x111111221111551x112200221155000055001x111111221111550x112200221155000055000x111111221111554x112200221155000055004x12221111002x12002200000022003322002x12221111005x12002200000022003322005x12221111003x12002200000022003322003x12221111001x12002200000022003322001x12221111000x12002200000022003322000x12221111004x12002200000022003322004x11221111002x11002200000022003322002x11221111005x11002200000022003322005x11221111003x11002200000022003322003x11221111001x11002200000022003322001x11221111000x11002200000022003322000x11221111004x11002200000022003322004x10221111002x10002200000022003322002x10221111005x10002200000022003322005x10221111003x10002200000022003322003x10221111001x10002200000022003322001x10221111000x10002200000022003322000x10221111004x10002200000022003322004x13221111002x13002200000022003322002x13221111005x13002200000022003322005x13221111003x13002200000022003322003x13221111001x13002200000022003322001x13221111000x13002200000022003322000x13221111004x13002200000022003322004x15221111002x15002200000022003322002x15221111005x15002200000022003322005x15221111003x15002200000022003322003x15221111001x15002200000022003322001x15221111000x15002200000022003322000x15221111004x15002200000022003322004x14221111002x14002200000022003322002x14221111005x14002200000022003322005x14221111003x14002200000022003322003x14221111001x14002200000022003322001x14221111000x14002200000022003322000x14221111004x14002200000022003322004x1211333311112x12002222220033223333552x1211333311115x12002222220033223333555x1211333311113x12002222220033223333553x1211333311111x12002222220033223333551x1211333311110x12002222220033223333550x1211333311114x12002222220033223333554x1111333311112x11002222220033223333552x1111333311115x11002222220033223333555x1111333311113x11002222220033223333553x1111333311111x11002222220033223333551x1111333311110x11002222220033223333550x1111333311114x11002222220033223333554x1011333311112x10002222220033223333552x1011333311115x10002222220033223333555x1011333311113x10002222220033223333553x1011333311111x10002222220033223333551x1011333311110x10002222220033223333550x1011333311114x10002222220033223333554x1311333311112x13002222220033223333552x1311333311115x13002222220033223333555x1311333311113x13002222220033223333553x1311333311111x13002222220033223333551x1311333311110x13002222220033223333550x1311333311114x13002222220033223333554x1511333311112x15002222220033223333552x1511333311115x15002222220033223333555x1511333311113x15002222220033223333553x1511333311111x15002222220033223333551x1511333311110x15002222220033223333550x1511333311114x15002222220033223333554x1411333311112x14002222220033223333552x1411333311115x14002222220033223333555x1411333311113x14002222220033223333553x1411333311111x14002222220033223333551x1411333311110x14002222220033223333550x1411333311114x14002222220033223333554x1244443333112x12110000220033555533002x1244443333115x12110000220033555533005x1244443333113x12110000220033555533003x1244443333111x12110000220033555533001x1244443333110x12110000220033555533000x1244443333114x12110000220033555533004x1144443333112x11110000220033555533002x1144443333115x11110000220033555533005x1144443333113x11110000220033555533003x1144443333111x11110000220033555533001x1144443333110x11110000220033555533000x1144443333114x11110000220033555533004x1044443333112x10110000220033555533002x1044443333115x10110000220033555533005x1044443333113x10110000220033555533003x1044443333111x10110000220033555533001x1044443333110x10110000220033555533000x1044443333114x10110000220033555533004x1344443333112x13110000220033555533002x1344443333115x13110000220033555533005x1344443333113x13110000220033555533003x1344443333111x13110000220033555533001x1344443333110x13110000220033555533000x1344443333114x13110000220033555533004x1544443333112x15110000220033555533002x1544443333115x15110000220033555533005x1544443333113x15110000220033555533003x1544443333111x15110000220033555533001x1544443333110x15110000220033555533000x1544443333114x15110000220033555533004x1444443333112x14110000220033555533002x1444443333115x14110000220033555533005x1444443333113x14110000220033555533003x1444443333111x14110000220033555533001x1444443333110x14110000220033555533000x1444443333114x14110000220033555533004x1233333322442x12000022000022003300552x1233333322445x12000022000022003300555x1233333322443x12000022000022003300553x1233333322441x12000022000022003300551x1233333322440x12000022000022003300550x1233333322444x12000022000022003300554x1133333322442x11000022000022003300552x1133333322445x11000022000022003300555x1133333322443x11000022000022003300553x1133333322441x11000022000022003300551x1133333322440x11000022000022003300550x1133333322444x11000022000022003300554x1033333322442x10000022000022003300552x1033333322445x10000022000022003300555x1033333322443x10000022000022003300553x1033333322441x10000022000022003300551x1033333322440x10000022000022003300550x1033333322444x10000022000022003300554x1333333322442x13000022000022003300552x1333333322445x13000022000022003300555x1333333322443x13000022000022003300553x1333333322441x13000022000022003300551x1333333322440x13000022000022003300550x1333333322444x13000022000022003300554x1533333322442x15000022000022003300552x1533333322445x15000022000022003300555x1533333322443x15000022000022003300553x1533333322441x15000022000022003300551x1533333322440x15000022000022003300550x1533333322444x15000022000022003300554x1433333322442x14000022000022003300552x1433333322445x14000022000022003300555x1433333322443x14000022000022003300553x1433333322441x14000022000022003300551x1433333322440x14000022000022003300550x1433333322444x14000022000022003300554x122244334444222x12002222000033005544222x122244334444225x12002222000033005544225x122244334444223x12002222000033005544223x122244334444221x12002222000033005544221x122244334444220x12002222000033005544220x122244334444224x12002222000033005544224x112244334444222x11002222000033005544222x112244334444225x11002222000033005544225x112244334444223x11002222000033005544223x112244334444221x11002222000033005544221x112244334444220x11002222000033005544220x112244334444224x11002222000033005544224x102244334444222x10002222000033005544222x102244334444225x10002222000033005544225x102244334444223x10002222000033005544223x102244334444221x10002222000033005544221x102244334444220x10002222000033005544220x102244334444224x10002222000033005544224x132244334444222x13002222000033005544222x132244334444225x13002222000033005544225x132244334444223x13002222000033005544223x132244334444221x13002222000033005544221x132244334444220x13002222000033005544220x132244334444224x13002222000033005544224x152244334444222x15002222000033005544222x152244334444225x15002222000033005544225x152244334444223x15002222000033005544223x152244334444221x15002222000033005544221x152244334444220x15002222000033005544220x152244334444224x15002222000033005544224x142244334444222x14002222000033005544222x142244334444225x14002222000033005544225x142244334444223x14002222000033005544223x142244334444221x14002222000033005544221x142244334444220x14002222000033005544220x142244334444224x14002222000033005544224x123333330033332x12002200330044554411552x123333330033335x12002200330044554411555x123333330033333x12002200330044554411553x123333330033331x12002200330044554411551x123333330033330x12002200330044554411550x123333330033334x12002200330044554411554x113333330033332x11002200330044554411552x113333330033335x11002200330044554411555x113333330033333x11002200330044554411553x113333330033331x11002200330044554411551x113333330033330x11002200330044554411550x113333330033334x11002200330044554411554x103333330033332x10002200330044554411552x103333330033335x10002200330044554411555x103333330033333x10002200330044554411553x103333330033331x10002200330044554411551x103333330033330x10002200330044554411550x103333330033334x10002200330044554411554x133333330033332x13002200330044554411552x133333330033335x13002200330044554411555x133333330033333x13002200330044554411553x133333330033331x13002200330044554411551x133333330033330x13002200330044554411550x133333330033334x13002200330044554411554x153333330033332x15002200330044554411552x153333330033335x15002200330044554411555x153333330033333x15002200330044554411553x153333330033331x15002200330044554411551x153333330033330x15002200330044554411550x153333330033334x15002200330044554411554x143333330033332x14002200330044554411552x143333330033335x14002200330044554411555x143333330033333x14002200330044554411553x143333330033331x14002200330044554411551x143333330033330x14002200330044554411550x143333330033334x14002200330044554411554x121144552255332x12000033224400002200332x121144552255335x12000033224400002200335x121144552255333x12000033224400002200333x121144552255331x12000033224400002200331x121144552255330x12000033224400002200330x121144552255334x12000033224400002200334x111144552255332x11000033224400002200332x111144552255335x11000033224400002200335x111144552255333x11000033224400002200333x111144552255331x11000033224400002200331x111144552255330x11000033224400002200330x111144552255334x11000033224400002200334x101144552255332x10000033224400002200332x101144552255335x10000033224400002200335x101144552255333x10000033224400002200333x101144552255331x10000033224400002200331x101144552255330x10000033224400002200330x101144552255334x10000033224400002200334x131144552255332x13000033224400002200332x131144552255335x13000033224400002200335x131144552255333x13000033224400002200333x131144552255331x13000033224400002200331x131144552255330x13000033224400002200330x131144552255334x13000033224400002200334x151144552255332x15000033224400002200332x151144552255335x15000033224400002200335x151144552255333x15000033224400002200333x151144552255331x15000033224400002200331x151144552255330x15000033224400002200330x151144552255334x15000033224400002200334x141144552255332x14000033224400002200332x141144552255335x14000033224400002200335x141144552255333x14000033224400002200333x141144552255331x14000033224400002200331x141144552255330x14000033224400002200330x141144552255334x14000033224400002200334x12335533333311002x12003322442200440000002x12335533333311005x12003322442200440000005x12335533333311003x12003322442200440000003x12335533333311001x12003322442200440000001x12335533333311000x12003322442200440000000x12335533333311004x12003322442200440000004x11335533333311002x11003322442200440000002x11335533333311005x11003322442200440000005x11335533333311003x11003322442200440000003x11335533333311001x11003322442200440000001x11335533333311000x11003322442200440000000x11335533333311004x11003322442200440000004x10335533333311002x10003322442200440000002x10335533333311005x10003322442200440000005x10335533333311003x10003322442200440000003x10335533333311001x10003322442200440000001x10335533333311000x10003322442200440000000x10335533333311004x10003322442200440000004x13335533333311002x13003322442200440000002x13335533333311005x13003322442200440000005x13335533333311003x13003322442200440000003x13335533333311001x13003322442200440000001x13335533333311000x13003322442200440000000x13335533333311004x13003322442200440000004x15335533333311002x15003322442200440000002x15335533333311005x15003322442200440000005x15335533333311003x15003322442200440000003x15335533333311001x15003322442200440000001x15335533333311000x15003322442200440000000x15335533333311004x15003322442200440000004x14335533333311002x14003322442200440000002x14335533333311005x14003322442200440000005x14335533333311003x14003322442200440000003x14335533333311001x14003322442200440000001x14335533333311000x14003322442200440000000x14335533333311004x14003322442200440000004x12333322113311112x12003355223355112200332x12333322113311115x12003355223355112200335x12333322113311113x12003355223355112200333x12333322113311111x12003355223355112200331x12333322113311110x12003355223355112200330x12333322113311114x12003355223355112200334x11333322113311112x11003355223355112200332x11333322113311115x11003355223355112200335x11333322113311113x11003355223355112200333x11333322113311111x11003355223355112200331x11333322113311110x11003355223355112200330x11333322113311114x11003355223355112200334x10333322113311112x10003355223355112200332x10333322113311115x10003355223355112200335x10333322113311113x10003355223355112200333x10333322113311111x10003355223355112200331x10333322113311110x10003355223355112200330x10333322113311114x10003355223355112200334x13333322113311112x13003355223355112200332x13333322113311115x13003355223355112200335x13333322113311113x13003355223355112200333x13333322113311111x13003355223355112200331x13333322113311110x13003355223355112200330x13333322113311114x13003355223355112200334x15333322113311112x15003355223355112200332x15333322113311115x15003355223355112200335x15333322113311113x15003355223355112200333x15333322113311111x15003355223355112200331x15333322113311110x15003355223355112200330x15333322113311114x15003355223355112200334x14333322113311112x14003355223355112200332x14333322113311115x14003355223355112200335x14333322113311113x14003355223355112200333x14333322113311111x14003355223355112200331x14333322113311110x14003355223355112200330x14333322113311114x14003355223355112200334x12110044333311112x12222233221155001122332x12110044333311115x12222233221155001122335x12110044333311113x12222233221155001122333x12110044333311111x12222233221155001122331x12110044333311110x12222233221155001122330x12110044333311114x12222233221155001122334x11110044333311112x11222233221155001122332x11110044333311115x11222233221155001122335x11110044333311113x11222233221155001122333x11110044333311111x11222233221155001122331x11110044333311110x11222233221155001122330x11110044333311114x11222233221155001122334x10110044333311112x10222233221155001122332x10110044333311115x10222233221155001122335x10110044333311113x10222233221155001122333x10110044333311111x10222233221155001122331x10110044333311110x10222233221155001122330x10110044333311114x10222233221155001122334x13110044333311112x13222233221155001122332x13110044333311115x13222233221155001122335x13110044333311113x13222233221155001122333x13110044333311111x13222233221155001122331x13110044333311110x13222233221155001122330x13110044333311114x13222233221155001122334x15110044333311112x15222233221155001122332x15110044333311115x15222233221155001122335x15110044333311113x15222233221155001122333x15110044333311111x15222233221155001122331x15110044333311110x15222233221155001122330x15110044333311114x15222233221155001122334x14110044333311112x14222233221155001122332x14110044333311115x14222233221155001122335x14110044333311113x14222233221155001122333x14110044333311111x14222233221155001122331x14110044333311110x14222233221155001122330x14110044333311114x14222233221155001122334x12442233003333112x12220000004422332255112x12442233003333115x12220000004422332255115x12442233003333113x12220000004422332255113x12442233003333111x12220000004422332255111x12442233003333110x12220000004422332255110x12442233003333114x12220000004422332255114x11442233003333112x11220000004422332255112x11442233003333115x11220000004422332255115x11442233003333113x11220000004422332255113x11442233003333111x11220000004422332255111x11442233003333110x11220000004422332255110x11442233003333114x11220000004422332255114x10442233003333112x10220000004422332255112x10442233003333115x10220000004422332255115x10442233003333113x10220000004422332255113x10442233003333111x10220000004422332255111x10442233003333110x10220000004422332255110x10442233003333114x10220000004422332255114x13442233003333112x13220000004422332255112x13442233003333115x13220000004422332255115x13442233003333113x13220000004422332255113x13442233003333111x13220000004422332255111x13442233003333110x13220000004422332255110x13442233003333114x13220000004422332255114x15442233003333112x15220000004422332255112x15442233003333115x15220000004422332255115x15442233003333113x15220000004422332255113x15442233003333111x15220000004422332255111x15442233003333110x15220000004422332255110x15442233003333114x15220000004422332255114x14442233003333112x14220000004422332255112x14442233003333115x14220000004422332255115x14442233003333113x14220000004422332255113x14442233003333111x14220000004422332255111x14442233003333110x14220000004422332255110x14442233003333114x14220000004422332255114x12221111443333112x12002222003344225511332x12221111443333115x12002222003344225511335x12221111443333113x12002222003344225511333x12221111443333111x12002222003344225511331x12221111443333110x12002222003344225511330x12221111443333114x12002222003344225511334x11221111443333112x11002222003344225511332x11221111443333115x11002222003344225511335x11221111443333113x11002222003344225511333x11221111443333111x11002222003344225511331x11221111443333110x11002222003344225511330x11221111443333114x11002222003344225511334x10221111443333112x10002222003344225511332x10221111443333115x10002222003344225511335x10221111443333113x10002222003344225511333x10221111443333111x10002222003344225511331x10221111443333110x10002222003344225511330x10221111443333114x10002222003344225511334x13221111443333112x13002222003344225511332x13221111443333115x13002222003344225511335x13221111443333113x13002222003344225511333x13221111443333111x13002222003344225511331x13221111443333110x13002222003344225511330x13221111443333114x13002222003344225511334x15221111443333112x15002222003344225511332x15221111443333115x15002222003344225511335x15221111443333113x15002222003344225511333x15221111443333111x15002222003344225511331x15221111443333110x15002222003344225511330x15221111443333114x15002222003344225511334x14221111443333112x14002222003344225511332x14221111443333115x14002222003344225511335x14221111443333113x14002222003344225511333x14221111443333111x14002222003344225511331x14221111443333110x14002222003344225511330x14221111443333114x14002222003344225511334x12111111553333112x12222222000011330000112x12111111553333115x12222222000011330000115x12111111553333113x12222222000011330000113x12111111553333111x12222222000011330000111x12111111553333110x12222222000011330000110x12111111553333114x12222222000011330000114x11111111553333112x11222222000011330000112x11111111553333115x11222222000011330000115x11111111553333113x11222222000011330000113x11111111553333111x11222222000011330000111x11111111553333110x11222222000011330000110x11111111553333114x11222222000011330000114x10111111553333112x10222222000011330000112x10111111553333115x10222222000011330000115x10111111553333113x10222222000011330000113x10111111553333111x10222222000011330000111x10111111553333110x10222222000011330000110x10111111553333114x10222222000011330000114x13111111553333112x13222222000011330000112x13111111553333115x13222222000011330000115x13111111553333113x13222222000011330000113x13111111553333111x13222222000011330000111x13111111553333110x13222222000011330000110x13111111553333114x13222222000011330000114x15111111553333112x15222222000011330000112x15111111553333115x15222222000011330000115x15111111553333113x15222222000011330000113x15111111553333111x15222222000011330000111x15111111553333110x15222222000011330000110x15111111553333114x15222222000011330000114x14111111553333112x14222222000011330000112x14111111553333115x14222222000011330000115x14111111553333113x14222222000011330000113x14111111553333111x14222222000011330000111x14111111553333110x14222222000011330000110x14111111553333114x14222222000011330000114x12115511115533112x12000044000044440000112x12115511115533115x12000044000044440000115x12115511115533113x12000044000044440000113x12115511115533111x12000044000044440000111x12115511115533110x12000044000044440000110x12115511115533114x12000044000044440000114x11115511115533112x11000044000044440000112x11115511115533115x11000044000044440000115x11115511115533113x11000044000044440000113x11115511115533111x11000044000044440000111x11115511115533110x11000044000044440000110x11115511115533114x11000044000044440000114x10115511115533112x10000044000044440000112x10115511115533115x10000044000044440000115x10115511115533113x10000044000044440000113x10115511115533111x10000044000044440000111x10115511115533110x10000044000044440000110x10115511115533114x10000044000044440000114x13115511115533112x13000044000044440000112x13115511115533115x13000044000044440000115x13115511115533113x13000044000044440000113x13115511115533111x13000044000044440000111x13115511115533110x13000044000044440000110x13115511115533114x13000044000044440000114x15115511115533112x15000044000044440000112x15115511115533115x15000044000044440000115x15115511115533113x15000044000044440000113x15115511115533111x15000044000044440000111x15115511115533110x15000044000044440000110x15115511115533114x15000044000044440000114x14115511115533112x14000044000044440000112x14115511115533115x14000044000044440000115x14115511115533113x14000044000044440000113x14115511115533111x14000044000044440000111x14115511115533110x14000044000044440000110x14115511115533114x14000044000044440000114x12115533002255222x12220000220044002255222x12115533002255225x12220000220044002255225x12115533002255223x12220000220044002255223x12115533002255221x12220000220044002255221x12115533002255220x12220000220044002255220x12115533002255224x12220000220044002255224x11115533002255222x11220000220044002255222x11115533002255225x11220000220044002255225x11115533002255223x11220000220044002255223x11115533002255221x11220000220044002255221x11115533002255220x11220000220044002255220x11115533002255224x11220000220044002255224x10115533002255222x10220000220044002255222x10115533002255225x10220000220044002255225x10115533002255223x10220000220044002255223x10115533002255221x10220000220044002255221x10115533002255220x10220000220044002255220x10115533002255224x10220000220044002255224x13115533002255222x13220000220044002255222x13115533002255225x13220000220044002255225x13115533002255223x13220000220044002255223x13115533002255221x13220000220044002255221x13115533002255220x13220000220044002255220x13115533002255224x13220000220044002255224x15115533002255222x15220000220044002255222x15115533002255225x15220000220044002255225x15115533002255223x15220000220044002255223x15115533002255221x15220000220044002255221x15115533002255220x15220000220044002255220x15115533002255224x15220000220044002255224x14115533002255222x14220000220044002255222x14115533002255225x14220000220044002255225x14115533002255223x14220000220044002255223x14115533002255221x14220000220044002255221x14115533002255220x14220000220044002255220x14115533002255224x14220000220044002255224x12004444113311332x12224400002200441122332x12004444113311335x12224400002200441122335x12004444113311333x12224400002200441122333x12004444113311331x12224400002200441122331x12004444113311330x12224400002200441122330x12004444113311334x12224400002200441122334x11004444113311332x11224400002200441122332x11004444113311335x11224400002200441122335x11004444113311333x11224400002200441122333x11004444113311331x11224400002200441122331x11004444113311330x11224400002200441122330x11004444113311334x11224400002200441122334x10004444113311332x10224400002200441122332x10004444113311335x10224400002200441122335x10004444113311333x10224400002200441122333x10004444113311331x10224400002200441122331x10004444113311330x10224400002200441122330x10004444113311334x10224400002200441122334x13004444113311332x13224400002200441122332x13004444113311335x13224400002200441122335x13004444113311333x13224400002200441122333x13004444113311331x13224400002200441122331x13004444113311330x13224400002200441122330x13004444113311334x13224400002200441122334x15004444113311332x15224400002200441122332x15004444113311335x15224400002200441122335x15004444113311333x15224400002200441122333x15004444113311331x15224400002200441122331x15004444113311330x15224400002200441122330x15004444113311334x15224400002200441122334x14004444113311332x14224400002200441122332x14004444113311335x14224400002200441122335x14004444113311333x14224400002200441122333x14004444113311331x14224400002200441122331x14004444113311330x14224400002200441122330x14004444113311334x14224400002200441122334x12225544333333332x12112200004422111155552x12225544333333335x12112200004422111155555x12225544333333333x12112200004422111155553x12225544333333331x12112200004422111155551x12225544333333330x12112200004422111155550x12225544333333334x12112200004422111155554x11225544333333332x11112200004422111155552x11225544333333335x11112200004422111155555x11225544333333333x11112200004422111155553x11225544333333331x11112200004422111155551x11225544333333330x11112200004422111155550x11225544333333334x11112200004422111155554x10225544333333332x10112200004422111155552x10225544333333335x10112200004422111155555x10225544333333333x10112200004422111155553x10225544333333331x10112200004422111155551x10225544333333330x10112200004422111155550x10225544333333334x10112200004422111155554x13225544333333332x13112200004422111155552x13225544333333335x13112200004422111155555x13225544333333333x13112200004422111155553x13225544333333331x13112200004422111155551x13225544333333330x13112200004422111155550x13225544333333334x13112200004422111155554x15225544333333332x15112200004422111155552x15225544333333335x15112200004422111155555x15225544333333333x15112200004422111155553x15225544333333331x15112200004422111155551x15225544333333330x15112200004422111155550x15225544333333334x15112200004422111155554x14225544333333332x14112200004422111155552x14225544333333335x14112200004422111155555x14225544333333333x14112200004422111155553x14225544333333331x14112200004422111155551x14225544333333330x14112200004422111155550x14225544333333334x14112200004422111155554x12440055225533332x12220033555511001155552x12440055225533335x12220033555511001155555x12440055225533333x12220033555511001155553x12440055225533331x12220033555511001155551x12440055225533330x12220033555511001155550x12440055225533334x12220033555511001155554x11440055225533332x11220033555511001155552x11440055225533335x11220033555511001155555x11440055225533333x11220033555511001155553x11440055225533331x11220033555511001155551x11440055225533330x11220033555511001155550x11440055225533334x11220033555511001155554x10440055225533332x10220033555511001155552x10440055225533335x10220033555511001155555x10440055225533333x10220033555511001155553x10440055225533331x10220033555511001155551x10440055225533330x10220033555511001155550x10440055225533334x10220033555511001155554x13440055225533332x13220033555511001155552x13440055225533335x13220033555511001155555x13440055225533333x13220033555511001155553x13440055225533331x13220033555511001155551x13440055225533330x13220033555511001155550x13440055225533334x13220033555511001155554x15440055225533332x15220033555511001155552x15440055225533335x15220033555511001155555x15440055225533333x15220033555511001155553x15440055225533331x15220033555511001155551x15440055225533330x15220033555511001155550x15440055225533334x15220033555511001155554x14440055225533332x14220033555511001155552x14440055225533335x14220033555511001155555x14440055225533333x14220033555511001155553x14440055225533331x14220033555511001155551x14440055225533330x14220033555511001155550x14440055225533334x14220033555511001155554x12115544111111442x12220044220033440033552x12115544111111445x12220044220033440033555x12115544111111443x12220044220033440033553x12115544111111441x12220044220033440033551x12115544111111440x12220044220033440033550x12115544111111444x12220044220033440033554x11115544111111442x11220044220033440033552x11115544111111445x11220044220033440033555x11115544111111443x11220044220033440033553x11115544111111441x11220044220033440033551x11115544111111440x11220044220033440033550x11115544111111444x11220044220033440033554x10115544111111442x10220044220033440033552x10115544111111445x10220044220033440033555x10115544111111443x10220044220033440033553x10115544111111441x10220044220033440033551x10115544111111440x10220044220033440033550x10115544111111444x10220044220033440033554x13115544111111442x13220044220033440033552x13115544111111445x13220044220033440033555x13115544111111443x13220044220033440033553x13115544111111441x13220044220033440033551x13115544111111440x13220044220033440033550x13115544111111444x13220044220033440033554x15115544111111442x15220044220033440033552x15115544111111445x15220044220033440033555x15115544111111443x15220044220033440033553x15115544111111441x15220044220033440033551x15115544111111440x15220044220033440033550x15115544111111444x15220044220033440033554x14115544111111442x14220044220033440033552x14115544111111445x14220044220033440033555x14115544111111443x14220044220033440033553x14115544111111441x14220044220033440033551x14115544111111440x14220044220033440033550x14115544111111444x14220044220033440033554x12443333331122442x12554411550000002244552x12443333331122445x12554411550000002244555x12443333331122443x12554411550000002244553x12443333331122441x12554411550000002244551x12443333331122440x12554411550000002244550x12443333331122444x12554411550000002244554x11443333331122442x11554411550000002244552x11443333331122445x11554411550000002244555x11443333331122443x11554411550000002244553x11443333331122441x11554411550000002244551x11443333331122440x11554411550000002244550x11443333331122444x11554411550000002244554x10443333331122442x10554411550000002244552x10443333331122445x10554411550000002244555x10443333331122443x10554411550000002244553x10443333331122441x10554411550000002244551x10443333331122440x10554411550000002244550x10443333331122444x10554411550000002244554x13443333331122442x13554411550000002244552x13443333331122445x13554411550000002244555x13443333331122443x13554411550000002244553x13443333331122441x13554411550000002244551x13443333331122440x13554411550000002244550x13443333331122444x13554411550000002244554x15443333331122442x15554411550000002244552x15443333331122445x15554411550000002244555x15443333331122443x15554411550000002244553x15443333331122441x15554411550000002244551x15443333331122440x15554411550000002244550x15443333331122444x15554411550000002244554x14443333331122442x14554411550000002244552x14443333331122445x14554411550000002244555x14443333331122443x14554411550000002244553x14443333331122441x14554411550000002244551x14443333331122440x14554411550000002244550x14443333331122444x14554411550000002244554x12114411553333442x12440022335500005533552x12114411553333445x12440022335500005533555x12114411553333443x12440022335500005533553x12114411553333441x12440022335500005533551x12114411553333440x12440022335500005533550x12114411553333444x12440022335500005533554x11114411553333442x11440022335500005533552x11114411553333445x11440022335500005533555x11114411553333443x11440022335500005533553x11114411553333441x11440022335500005533551x11114411553333440x11440022335500005533550x11114411553333444x11440022335500005533554x10114411553333442x10440022335500005533552x10114411553333445x10440022335500005533555x10114411553333443x10440022335500005533553x10114411553333441x10440022335500005533551x10114411553333440x10440022335500005533550x10114411553333444x10440022335500005533554x13114411553333442x13440022335500005533552x13114411553333445x13440022335500005533555x13114411553333443x13440022335500005533553x13114411553333441x13440022335500005533551x13114411553333440x13440022335500005533550x13114411553333444x13440022335500005533554x15114411553333442x15440022335500005533552x15114411553333445x15440022335500005533555x15114411553333443x15440022335500005533553x15114411553333441x15440022335500005533551x15114411553333440x15440022335500005533550x15114411553333444x15440022335500005533554x14114411553333442x14440022335500005533552x14114411553333445x14440022335500005533555x14114411553333443x14440022335500005533553x14114411553333441x14440022335500005533551x14114411553333440x14440022335500005533550x14114411553333444x14440022335500005533554x12114433333344442x12220022001122001100442x12114433333344445x12220022001122001100445x12114433333344443x12220022001122001100443x12114433333344441x12220022001122001100441x12114433333344440x12220022001122001100440x12114433333344444x12220022001122001100444x11114433333344442x11220022001122001100442x11114433333344445x11220022001122001100445x11114433333344443x11220022001122001100443x11114433333344441x11220022001122001100441x11114433333344440x11220022001122001100440x11114433333344444x11220022001122001100444x10114433333344442x10220022001122001100442x10114433333344445x10220022001122001100445x10114433333344443x10220022001122001100443x10114433333344441x10220022001122001100441x10114433333344440x10220022001122001100440x10114433333344444x10220022001122001100444x13114433333344442x13220022001122001100442x13114433333344445x13220022001122001100445x13114433333344443x13220022001122001100443x13114433333344441x13220022001122001100441x13114433333344440x13220022001122001100440x13114433333344444x13220022001122001100444x15114433333344442x15220022001122001100442x15114433333344445x15220022001122001100445x15114433333344443x15220022001122001100443x15114433333344441x15220022001122001100441x15114433333344440x15220022001122001100440x15114433333344444x15220022001122001100444x14114433333344442x14220022001122001100442x14114433333344445x14220022001122001100445x14114433333344443x14220022001122001100443x14114433333344441x14220022001122001100441x14114433333344440x14220022001122001100440x14114433333344444x14220022001122001100444x12331144552255442x12442200334411223300552x12331144552255445x12442200334411223300555x12331144552255443x12442200334411223300553x12331144552255441x12442200334411223300551x12331144552255440x12442200334411223300550x12331144552255444x12442200334411223300554x11331144552255442x11442200334411223300552x11331144552255445x11442200334411223300555x11331144552255443x11442200334411223300553x11331144552255441x11442200334411223300551x11331144552255440x11442200334411223300550x11331144552255444x11442200334411223300554x10331144552255442x10442200334411223300552x10331144552255445x10442200334411223300555x10331144552255443x10442200334411223300553x10331144552255441x10442200334411223300551x10331144552255440x10442200334411223300550x10331144552255444x10442200334411223300554x13331144552255442x13442200334411223300552x13331144552255445x13442200334411223300555x13331144552255443x13442200334411223300553x13331144552255441x13442200334411223300551x13331144552255440x13442200334411223300550x13331144552255444x13442200334411223300554x15331144552255442x15442200334411223300552x15331144552255445x15442200334411223300555x15331144552255443x15442200334411223300553x15331144552255441x15442200334411223300551x15331144552255440x15442200334411223300550x15331144552255444x15442200334411223300554x14331144552255442x14442200334411223300552x14331144552255445x14442200334411223300555x14331144552255443x14442200334411223300553x14331144552255441x14442200334411223300551x14331144552255440x14442200334411223300550x14331144552255444x14442200334411223300554x12445522331100552x12115522000000003322442x12445522331100555x12115522000000003322445x12445522331100553x12115522000000003322443x12445522331100551x12115522000000003322441x12445522331100550x12115522000000003322440x12445522331100554x12115522000000003322444x11445522331100552x11115522000000003322442x11445522331100555x11115522000000003322445x11445522331100553x11115522000000003322443x11445522331100551x11115522000000003322441x11445522331100550x11115522000000003322440x11445522331100554x11115522000000003322444x10445522331100552x10115522000000003322442x10445522331100555x10115522000000003322445x10445522331100553x10115522000000003322443x10445522331100551x10115522000000003322441x10445522331100550x10115522000000003322440x10445522331100554x10115522000000003322444x13445522331100552x13115522000000003322442x13445522331100555x13115522000000003322445x13445522331100553x13115522000000003322443x13445522331100551x13115522000000003322441x13445522331100550x13115522000000003322440x13445522331100554x13115522000000003322444x15445522331100552x15115522000000003322442x15445522331100555x15115522000000003322445x15445522331100553x15115522000000003322443x15445522331100551x15115522000000003322441x15445522331100550x15115522000000003322440x15445522331100554x15115522000000003322444x14445522331100552x14115522000000003322442x14445522331100555x14115522000000003322445x14445522331100553x14115522000000003322443x14445522331100551x14115522000000003322441x14445522331100550x14115522000000003322440x14445522331100554x14115522000000003322444x12222255331122552x12000000000033221122442x12222255331122555x12000000000033221122445x12222255331122553x12000000000033221122443x12222255331122551x12000000000033221122441x12222255331122550x12000000000033221122440x12222255331122554x12000000000033221122444x11222255331122552x11000000000033221122442x11222255331122555x11000000000033221122445x11222255331122553x11000000000033221122443x11222255331122551x11000000000033221122441x11222255331122550x11000000000033221122440x11222255331122554x11000000000033221122444x10222255331122552x10000000000033221122442x10222255331122555x10000000000033221122445x10222255331122553x10000000000033221122443x10222255331122551x10000000000033221122441x10222255331122550x10000000000033221122440x10222255331122554x10000000000033221122444x13222255331122552x13000000000033221122442x13222255331122555x13000000000033221122445x13222255331122553x13000000000033221122443x13222255331122551x13000000000033221122441x13222255331122550x13000000000033221122440x13222255331122554x13000000000033221122444x15222255331122552x15000000000033221122442x15222255331122555x15000000000033221122445x15222255331122553x15000000000033221122443x15222255331122551x15000000000033221122441x15222255331122550x15000000000033221122440x15222255331122554x15000000000033221122444x14222255331122552x14000000000033221122442x14222255331122555x14000000000033221122445x14222255331122553x14000000000033221122443x14222255331122551x14000000000033221122441x14222255331122550x14000000000033221122440x14222255331122554x14000000000033221122444x133333111111002x132255112233554455332x133333111111005x132255112233554455335x133333111111003x132255112233554455333x133333111111001x132255112233554455331x133333111111000x132255112233554455330x133333111111004x132255112233554455334x142211115533002x140000225500004455002x142211115533005x140000225500004455005x142211115533003x140000225500004455003x142211115533001x140000225500004455001x142211115533000x140000225500004455000x142211115533004x140000225500004455004x151122554411112x151100220044112211552x151122554411115x151100220044112211555x151122554411113x151100220044112211553x151122554411111x151100220044112211551x151122554411110x151100220044112211550x151122554411114x151100220044112211554x12111133222x12000022000033555544112x12111133225x12000022000033555544115x12111133223x12000022000033555544113x12111133221x12000022000033555544111x12111133220x12000022000033555544110x12111133224x12000022000033555544114x11111133222x11000022000033555544112x11111133225x11000022000033555544115x11111133223x11000022000033555544113x11111133221x11000022000033555544111x11111133220x11000022000033555544110x11111133224x11000022000033555544114x10111133222x10000022000033555544112x10111133225x10000022000033555544115x10111133223x10000022000033555544113x10111133221x10000022000033555544111x10111133220x10000022000033555544110x10111133224x10000022000033555544114x13111133222x13000022000033555544112x13111133225x13000022000033555544115x13111133223x13000022000033555544113x13111133221x13000022000033555544111x13111133220x13000022000033555544110x13111133224x13000022000033555544114x15111133222x15000022000033555544112x15111133225x15000022000033555544115x15111133223x15000022000033555544113x15111133221x15000022000033555544111x15111133220x15000022000033555544110x15111133224x15000022000033555544114x14111133222x14000022000033555544112x14111133225x14000022000033555544115x14111133223x14000022000033555544113x14111133221x14000022000033555544111x14111133220x14000022000033555544110x14111133224x14000022000033555544114x1233111122332x12004400110022002200332x1233111122335x12004400110022002200335x1233111122333x12004400110022002200333x1233111122331x12004400110022002200331x1233111122330x12004400110022002200330x1233111122334x12004400110022002200334x1133111122332x11004400110022002200332x1133111122335x11004400110022002200335x1133111122333x11004400110022002200333x1133111122331x11004400110022002200331x1133111122330x11004400110022002200330x1133111122334x11004400110022002200334x1033111122332x10004400110022002200332x1033111122335x10004400110022002200335x1033111122333x10004400110022002200333x1033111122331x10004400110022002200331x1033111122330x10004400110022002200330x1033111122334x10004400110022002200334x1333111122332x13004400110022002200332x1333111122335x13004400110022002200335x1333111122333x13004400110022002200333x1333111122331x13004400110022002200331x1333111122330x13004400110022002200330x1333111122334x13004400110022002200334x1533111122332x15004400110022002200332x1533111122335x15004400110022002200335x1533111122333x15004400110022002200333x1533111122331x15004400110022002200331x1533111122330x15004400110022002200330x1533111122334x15004400110022002200334x1433111122332x14004400110022002200332x1433111122335x14004400110022002200335x1433111122333x14004400110022002200333x1433111122331x14004400110022002200331x1433111122330x14004400110022002200330x1433111122334x14004400110022002200334x11251111531113111111311113211122111201110011103111351115111152111551113311113011150111341115411141111111111121112111111011110211140111241110511101111041112311143111142111151111411114511144111143322005533112x145533005555554433332x143322005533115x145533005555554433335x143322005533113x145533005555554433333x143322005533111x145533005555554433331x134433115533115x131111555555000055225x142244445522332x140000222222001133552x142244445522335x140000222222001133555x142244445522330x140000222222001133550x142244445522334x140000222222001133554x134422551155442x130000000022003333442x134422551155445x130000000022003333445x134422551155443x130000000022003333443x134422551155441x130000000022003333441x134422551155440x130000000022003333440x134422551155444x130000000022003333444x152233002255442x150000004455443300552x152233002255445x150000004455443300555x152233002255441x150000004455443300551x152233002255440x150000004455443300550x10115533002255222x10220000220044002255222x10115533002255225x10220000220044002255225x10115533002255223x10220000220044002255223x10115533002255221x10220000220044002255221x10115533002255220x10220000220044002255220x10115533002255224x10220000220044002255224x15115533002255222x15220000220044002255222x15115533002255225x15220000220044002255225x15115533002255223x15220000220044002255223x15115533002255221x15220000220044002255221x15115533002255220x15220000220044002255220x15115533002255224x15220000220044002255224x14115533002255222x14220000220044002255222x14115533002255225x14220000220044002255225x14115533002255223x14220000220044002255223x14115533002255221x14220000220044002255221x14115533002255220x14220000220044002255220x14115533002255224x14220000220044002255224x12445522331100553x12115522000000003322443x12445522331100554x12115522000000003322444x13445522331100553x13115522000000003322443x13445522331100554x13115522000000003322444x11222255331122553x11000000000033221122443x11222255331122554x11000000000033221122444x151122554411112x151100220044112211552x151122554411115x151100220044112211555x1143111321112011105111531113111112111145111301115511154111331111511113511113111111113411115011100111521112511142111241114411123111140111021112211101111151111031114111104111211111011143322005533113x145533005555554433333x143322005533111x145533005555554433331x142244445522332x140000222222001133552x142244445522335x140000222222001133555x142244445522330x140000222222001133550x12445522331100553x12115522000000003322443x12445522331100554x12115522000000003322444x151122554411112x151100220044112211552x151122554411115x151100220044112211555x114311113211112011110511115311113111113111451113011155111541113311111111142111124111441115211123111401110011102111221110111135111501111011112111115111031115111112111251111411110411142244445522335x140000222222001133555x142244445522330x140000222222001133550x12445522331100553x12115522000000003322443x12445522331100554x12115522000000003322444x151122554411112x151100220044112211552x151122554411115x151100220044112211555x1142111241114411145111521112311135111401110011102111221112011101111131115511130111501113111110111051111531112111115111031113211143111541115111112111125111411111111110411142244445522335x140000222222001133555x142244445522330x140000222222001133550x135235245442442x155351301202222020040x130235245442442x150351301202222020040x1135111231115211145111441112411114211155111131110111120111221110211100111401113011150111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe