YES 010x12332232424x100040x13444122034x104411x10423222222x105412x13213342321x110030x11123232430x1000045x10232415235x1000204x13221241104x1004530x11223522114x1015311x13213212553x1020011x13423123233x1050002x12320543121x1140304x13225332144x1300135x12133205315x1314012x12322103112x1400131x13221205441x1450241x12142322341x1543015x15233321532x10012305x13213214355x10051513x13313350322x10052521x12353422120x10054202x13232200313x10105520x13224333020x10203002x13231344523x10225043x10411223253x10240154x13201321534x10300000x12052310244x10400043x10552132333x10455504x12351230244x10511500x13210520334x10522410x12331232304x10531431x12321344101x11031000x12422532444x11124402x11122321522x11244051x11332235103x11300335x13221245435x11413043x11351232251x11440000x12124335310x11500533x11543211321x14000402x14422324122x14000414x14432112100x14004002x13032335415x14004524x13352223440x14030251x14332343103x14040112x12203143222x14041400x13122002114x14105414x12512132434x14125400x12451303204x14140310x15320222514x14305502x13032322452x14355410x13513452334x15000140x15253223054x15021515x15323334332x15025440x15403221134x15050152x15323243202x15055545x15233233032x15301431x13221210031x15350101x15322155351x15404103x15322443243x1155131x13321214431x14021311x14055532322x12.1010x14242322332x104000x14302214443x111440x12222223240x121450x11232433123x103001x10342323211x1540000x15325142320x1402000x14011421223x1035400x14112253221x1113510x13552123123x1110020x13323213243x1200050x11213450232x1403041x14412335223x1531003x15135023312x1210413x12113012232x1131004x11445021223x1142054x11432232412x1510345x12351233325x15032100x15534123123x13151500x12230533133x11252500x10212243532x12024500x13130022323x10255010x10203334223x12003020x13254431323x13405220x13523221140x14510420x14351231023x10000030x14420132502x13400040x13332312550x14055540x14420321532x10051150x14330250123x10142250x14032321332x11341350x11014431232x10001301x14442352242x12044211x12251232211x11504421x13015322331x15330031x15345421223x13403141x11522321531x10000441x10135334212x13350051x11231123451x12040004x12214232244x14140004x10012112344x12004004x15145332303x14254004x10443222533x11520304x13013432334x12110404x12223413022x10041404x14112002213x14145014x14342312152x10045214x14023031542x10130414x14152220235x12055034x12542232303x10145534x14332543153x10410005x14503223525x15151205x12334333235x10445205x14311223045x12510505x12023423235x15455505x12303323325x11341035x11300121223x11010535x11535512235x13014045x13423442235x1131551x11344121233x11131204x12232355504x101423503001x10342323211x1540000x15325142320x1402000x14011421223x1403041x14412335223x1531003x15135023312x1210413x12113012232x1131004x11445021223x1142054x11432232412x15032100x15534123123x10255010x10203334223x13405220x13523221140x14510420x14351231023x13400040x13332312550x14055540x14420321532x11341350x11014431232x12044211x12251232211x15330031x15345421223x10000441x10135334212x12040004x12214232244x12110404x12223413022x14145014x14342312152x12055034x12542232303x12510505x12023423235x11341035x11300121223x11010535x11535512235x13014045x13423442235x10010x104242322332x11010x114242322332x14010x144242322332x12010x124242322332x13010x134242322332x15010x154242322332x1004000x104302214443x1104000x114302214443x1404000x144302214443x1204000x124302214443x1304000x134302214443x1504000x154302214443x1011440x102222223240x1111440x112222223240x1411440x142222223240x1211440x122222223240x1311440x132222223240x1511440x152222223240x1021450x101232433123x1121450x111232433123x1421450x141232433123x1221450x121232433123x1321450x131232433123x1521450x151232433123x10035400x104112253221x11035400x114112253221x14035400x144112253221x12035400x124112253221x13035400x134112253221x15035400x154112253221x10113510x103552123123x11113510x113552123123x14113510x143552123123x12113510x123552123123x13113510x133552123123x15113510x153552123123x10110020x103323213243x11110020x113323213243x14110020x143323213243x12110020x123323213243x13110020x133323213243x15110020x153323213243x10200050x101213450232x11200050x111213450232x14200050x141213450232x12200050x121213450232x13200050x131213450232x15200050x151213450232x10510345x102351233325x11510345x112351233325x14510345x142351233325x12510345x122351233325x13510345x132351233325x15510345x152351233325x103151500x102230533133x113151500x112230533133x143151500x142230533133x123151500x122230533133x133151500x132230533133x153151500x152230533133x101252500x100212243532x111252500x110212243532x141252500x140212243532x121252500x120212243532x131252500x130212243532x151252500x150212243532x102024500x103130022323x112024500x113130022323x142024500x143130022323x122024500x123130022323x132024500x133130022323x152024500x153130022323x102003020x103254431323x112003020x113254431323x142003020x143254431323x122003020x123254431323x132003020x133254431323x152003020x153254431323x100000030x104420132502x110000030x114420132502x140000030x144420132502x120000030x124420132502x130000030x134420132502x150000030x154420132502x100051150x104330250123x110051150x114330250123x140051150x144330250123x120051150x124330250123x130051150x134330250123x150051150x154330250123x100142250x104032321332x110142250x114032321332x140142250x144032321332x120142250x124032321332x130142250x134032321332x150142250x154032321332x100001301x104442352242x110001301x114442352242x140001301x144442352242x120001301x124442352242x130001301x134442352242x150001301x154442352242x101504421x103015322331x111504421x113015322331x141504421x143015322331x121504421x123015322331x131504421x133015322331x151504421x153015322331x103403141x101522321531x113403141x111522321531x143403141x141522321531x123403141x121522321531x133403141x131522321531x153403141x151522321531x103350051x101231123451x113350051x111231123451x143350051x141231123451x123350051x121231123451x133350051x131231123451x153350051x151231123451x104140004x100012112344x114140004x110012112344x144140004x140012112344x124140004x120012112344x134140004x130012112344x154140004x150012112344x102004004x105145332303x112004004x115145332303x142004004x145145332303x122004004x125145332303x132004004x135145332303x152004004x155145332303x104254004x100443222533x114254004x110443222533x144254004x140443222533x124254004x120443222533x134254004x130443222533x154254004x150443222533x101520304x103013432334x111520304x113013432334x141520304x143013432334x121520304x123013432334x131520304x133013432334x151520304x153013432334x100041404x104112002213x110041404x114112002213x140041404x144112002213x120041404x124112002213x130041404x134112002213x150041404x154112002213x100045214x104023031542x110045214x114023031542x140045214x144023031542x120045214x124023031542x130045214x134023031542x150045214x154023031542x100130414x104152220235x110130414x114152220235x140130414x144152220235x120130414x124152220235x130130414x134152220235x150130414x154152220235x100145534x104332543153x110145534x114332543153x140145534x144332543153x120145534x124332543153x130145534x134332543153x150145534x154332543153x100410005x104503223525x110410005x114503223525x140410005x144503223525x120410005x124503223525x130410005x134503223525x150410005x154503223525x105151205x102334333235x115151205x112334333235x145151205x142334333235x125151205x122334333235x135151205x132334333235x155151205x152334333235x100445205x104311223045x110445205x114311223045x140445205x144311223045x120445205x124311223045x130445205x134311223045x150445205x154311223045x105455505x102303323325x115455505x112303323325x145455505x142303323325x125455505x122303323325x135455505x132303323325x155455505x152303323325x1131551x11344121233x101131204x102232355504x111131204x112232355504x141131204x142232355504x121131204x122232355504x131131204x132232355504x151131204x152232355504x10330000110x103344223322332211110x10330000113x103344223322332211113x10330000111x103344223322332211111x10330000114x103344223322332211114x10330000112x103344223322332211112x10330000115x103344223322332211115x1544000000000x153322551144223322000x1544000000003x153322551144223322003x1544000000001x153322551144223322001x1544000000004x153322551144223322004x1544000000002x153322551144223322002x1544000000005x153322551144223322005x1400220000000x140011114422112222330x1400220000003x140011114422112222333x1400220000001x140011114422112222331x1400220000004x140011114422112222334x1400220000002x140011114422112222332x1400220000005x140011114422112222335x1400330044110x144411223333552222330x1400330044113x144411223333552222333x1400330044111x144411223333552222331x1400330044114x144411223333552222334x1400330044112x144411223333552222332x1400330044115x144411223333552222335x1533110000330x151133550022333311220x1533110000333x151133550022333311223x1533110000331x151133550022333311221x1533110000334x151133550022333311224x1533110000332x151133550022333311222x1533110000335x151133550022333311225x1211004411330x121111330011222233220x1211004411333x121111330011222233223x1211004411331x121111330011222233221x1211004411334x121111330011222233224x1211004411332x121111330011222233222x1211004411335x121111330011222233225x1133110000440x114444550022112222330x1133110000443x114444550022112222333x1133110000441x114444550022112222331x1133110000444x114444550022112222334x1133110000442x114444550022112222332x1133110000445x114444550022112222335x1144220055440x114433222233224411220x1144220055443x114433222233224411223x1144220055441x114433222233224411221x1144220055444x114433222233224411224x1144220055442x114433222233224411222x1144220055445x114433222233224411225x150033221100000x155533441122331122330x150033221100003x155533441122331122333x150033221100001x155533441122331122331x150033221100004x155533441122331122334x150033221100002x155533441122331122332x150033221100005x155533441122331122335x102255550011000x102200333333442222330x102255550011003x102200333333442222333x102255550011001x102200333333442222331x102255550011004x102200333333442222334x102255550011002x102200333333442222332x102255550011005x102200333333442222335x134400552222000x135522332222111144000x134400552222003x135522332222111144003x134400552222001x135522332222111144001x134400552222004x135522332222111144004x134400552222002x135522332222111144002x134400552222005x135522332222111144005x145511004422000x143355112233110022330x145511004422003x143355112233110022333x145511004422001x143355112233110022331x145511004422004x143355112233110022334x145511004422002x143355112233110022332x145511004422005x143355112233110022335x134400000044000x133333223311225555000x134400000044003x133333223311225555003x134400000044001x133333223311225555001x134400000044004x133333223311225555004x134400000044002x133333223311225555002x134400000044005x133333223311225555005x140055555544000x144422003322115533220x140055555544003x144422003322115533223x140055555544001x144422003322115533221x140055555544004x144422003322115533224x140055555544002x144422003322115533222x140055555544005x144422003322115533225x113344113355000x110011444433112233220x113344113355003x110011444433112233223x113344113355001x110011444433112233221x113344113355004x110011444433112233224x113344113355002x110011444433112233222x113344113355005x110011444433112233225x120044442211110x122255112233222211110x120044442211113x122255112233222211113x120044442211111x122255112233222211111x120044442211114x122255112233222211114x120044442211112x122255112233222211112x120044442211115x122255112233222211115x153333000033110x153344554422112222330x153333000033113x153344554422112222333x153333000033111x153344554422112222331x153333000033114x153344554422112222334x153333000033112x153344554422112222332x153333000033115x153344554422112222335x100000004444110x101133553333442211220x100000004444113x101133553333442211223x100000004444111x101133553333442211221x100000004444114x101133553333442211224x100000004444112x101133553333442211222x100000004444115x101133553333442211225x120044000000440x122211442233222244440x120044000000443x122211442233222244443x120044000000441x122211442233222244441x120044000000444x122211442233222244444x120044000000442x122211442233222244442x120044000000445x122211442233222244445x121111004400440x122222334411330022220x121111004400443x122222334411330022223x121111004400441x122222334411330022221x121111004400444x122222334411330022224x121111004400442x122222334411330022222x121111004400445x122222334411330022225x141144550011440x143344223311221155220x141144550011443x143344223311221155223x141144550011441x143344223311221155221x141144550011444x143344223311221155224x141144550011442x143344223311221155222x141144550011445x143344223311221155225x120055550033440x125544222233223300330x120055550033443x125544222233223300333x120055550033441x125544222233223300331x120055550033444x125544222233223300334x120055550033442x125544222233223300332x120055550033445x125544222233223300335x125511005500550x120022334422332233550x125511005500553x120022334422332233553x125511005500551x120022334422332233551x125511005500554x120022334422332233554x125511005500552x120022334422332233552x125511005500555x120022334422332233555x113344110033550x113300001122112222330x113344110033553x113300001122112222333x113344110033551x113300001122112222331x113344110033554x113300001122112222334x113344110033552x113300001122112222332x113344110033555x113300001122112222335x110011005533550x115533555511222233550x110011005533553x115533555511222233553x110011005533551x115533555511222233551x110011005533554x115533555511222233554x110011005533552x115533555511222233552x110011005533555x115533555511222233555x130011440044550x134422334444222233550x130011440044553x134422334444222233553x130011440044551x134422334444222233551x130011440044554x134422334444222233554x130011440044552x134422334444222233552x130011440044555x134422334444222233555x100011000x10442244223322223333220x100011003x10442244223322223333223x100011001x10442244223322223333221x100011004x10442244223322223333224x100011002x10442244223322223333222x100011005x10442244223322223333225x110011000x11442244223322223333220x110011003x11442244223322223333223x110011001x11442244223322223333221x110011004x11442244223322223333224x110011002x11442244223322223333222x110011005x11442244223322223333225x140011000x14442244223322223333220x140011003x14442244223322223333223x140011001x14442244223322223333221x140011004x14442244223322223333224x140011002x14442244223322223333222x140011005x14442244223322223333225x120011000x12442244223322223333220x120011003x12442244223322223333223x120011001x12442244223322223333221x120011004x12442244223322223333224x120011002x12442244223322223333222x120011005x12442244223322223333225x130011000x13442244223322223333220x130011003x13442244223322223333223x130011001x13442244223322223333221x130011004x13442244223322223333224x130011002x13442244223322223333222x130011005x13442244223322223333225x150011000x15442244223322223333220x150011003x15442244223322223333223x150011001x15442244223322223333221x150011004x15442244223322223333224x150011002x15442244223322223333222x150011005x15442244223322223333225x1000440000000x10443300222211444444330x1000440000003x10443300222211444444333x1000440000001x10443300222211444444331x1000440000004x10443300222211444444334x1000440000002x10443300222211444444332x1000440000005x10443300222211444444335x1100440000000x11443300222211444444330x1100440000003x11443300222211444444333x1100440000001x11443300222211444444331x1100440000004x11443300222211444444334x1100440000002x11443300222211444444332x1100440000005x11443300222211444444335x1400440000000x14443300222211444444330x1400440000003x14443300222211444444333x1400440000001x14443300222211444444331x1400440000004x14443300222211444444334x1400440000002x14443300222211444444332x1400440000005x14443300222211444444335x1200440000000x12443300222211444444330x1200440000003x12443300222211444444333x1200440000001x12443300222211444444331x1200440000004x12443300222211444444334x1200440000002x12443300222211444444332x1200440000005x12443300222211444444335x1300440000000x13443300222211444444330x1300440000003x13443300222211444444333x1300440000001x13443300222211444444331x1300440000004x13443300222211444444334x1300440000002x13443300222211444444332x1300440000005x13443300222211444444335x1500440000000x15443300222211444444330x1500440000003x15443300222211444444333x1500440000001x15443300222211444444331x1500440000004x15443300222211444444334x1500440000002x15443300222211444444332x1500440000005x15443300222211444444335x1011114444000x10222222222222332244000x1011114444003x10222222222222332244003x1011114444001x10222222222222332244001x1011114444004x10222222222222332244004x1011114444002x10222222222222332244002x1011114444005x10222222222222332244005x1111114444000x11222222222222332244000x1111114444003x11222222222222332244003x1111114444001x11222222222222332244001x1111114444004x11222222222222332244004x1111114444002x11222222222222332244002x1111114444005x11222222222222332244005x1411114444000x14222222222222332244000x1411114444003x14222222222222332244003x1411114444001x14222222222222332244001x1411114444004x14222222222222332244004x1411114444002x14222222222222332244002x1411114444005x14222222222222332244005x1211114444000x12222222222222332244000x1211114444003x12222222222222332244003x1211114444001x12222222222222332244001x1211114444004x12222222222222332244004x1211114444002x12222222222222332244002x1211114444005x12222222222222332244005x1311114444000x13222222222222332244000x1311114444003x13222222222222332244003x1311114444001x13222222222222332244001x1311114444004x13222222222222332244004x1311114444002x13222222222222332244002x1311114444005x13222222222222332244005x1511114444000x15222222222222332244000x1511114444003x15222222222222332244003x1511114444001x15222222222222332244001x1511114444004x15222222222222332244004x1511114444002x15222222222222332244002x1511114444005x15222222222222332244005x1022114455000x10112233224433331122330x1022114455003x10112233224433331122333x1022114455001x10112233224433331122331x1022114455004x10112233224433331122334x1022114455002x10112233224433331122332x1022114455005x10112233224433331122335x1122114455000x11112233224433331122330x1122114455003x11112233224433331122333x1122114455001x11112233224433331122331x1122114455004x11112233224433331122334x1122114455002x11112233224433331122332x1122114455005x11112233224433331122335x1422114455000x14112233224433331122330x1422114455003x14112233224433331122333x1422114455001x14112233224433331122331x1422114455004x14112233224433331122334x1422114455002x14112233224433331122332x1422114455005x14112233224433331122335x1222114455000x12112233224433331122330x1222114455003x12112233224433331122333x1222114455001x12112233224433331122331x1222114455004x12112233224433331122334x1222114455002x12112233224433331122332x1222114455005x12112233224433331122335x1322114455000x13112233224433331122330x1322114455003x13112233224433331122333x1322114455001x13112233224433331122331x1322114455004x13112233224433331122334x1322114455002x13112233224433331122332x1322114455005x13112233224433331122335x1522114455000x15112233224433331122330x1522114455003x15112233224433331122333x1522114455001x15112233224433331122331x1522114455004x15112233224433331122334x1522114455002x15112233224433331122332x1522114455005x15112233224433331122335x100033554400000x10441111222255332222110x100033554400003x10441111222255332222113x100033554400001x10441111222255332222111x100033554400004x10441111222255332222114x100033554400002x10441111222255332222112x100033554400005x10441111222255332222115x110033554400000x11441111222255332222110x110033554400003x11441111222255332222113x110033554400001x11441111222255332222111x110033554400004x11441111222255332222114x110033554400002x11441111222255332222112x110033554400005x11441111222255332222115x140033554400000x14441111222255332222110x140033554400003x14441111222255332222113x140033554400001x14441111222255332222111x140033554400004x14441111222255332222114x140033554400002x14441111222255332222112x140033554400005x14441111222255332222115x120033554400000x12441111222255332222110x120033554400003x12441111222255332222113x120033554400001x12441111222255332222111x120033554400004x12441111222255332222114x120033554400002x12441111222255332222112x120033554400005x12441111222255332222115x130033554400000x13441111222255332222110x130033554400003x13441111222255332222113x130033554400001x13441111222255332222111x130033554400004x13441111222255332222114x130033554400002x13441111222255332222112x130033554400005x13441111222255332222115x150033554400000x15441111222255332222110x150033554400003x15441111222255332222113x150033554400001x15441111222255332222111x150033554400004x15441111222255332222114x150033554400002x15441111222255332222112x150033554400005x15441111222255332222115x101111335511000x10335555221122331122330x101111335511003x10335555221122331122333x101111335511001x10335555221122331122331x101111335511004x10335555221122331122334x101111335511002x10335555221122331122332x101111335511005x10335555221122331122335x111111335511000x11335555221122331122330x111111335511003x11335555221122331122333x111111335511001x11335555221122331122331x111111335511004x11335555221122331122334x111111335511002x11335555221122331122332x111111335511005x11335555221122331122335x141111335511000x14335555221122331122330x141111335511003x14335555221122331122333x141111335511001x14335555221122331122331x141111335511004x14335555221122331122334x141111335511002x14335555221122331122332x141111335511005x14335555221122331122335x121111335511000x12335555221122331122330x121111335511003x12335555221122331122333x121111335511001x12335555221122331122331x121111335511004x12335555221122331122334x121111335511002x12335555221122331122332x121111335511005x12335555221122331122335x131111335511000x13335555221122331122330x131111335511003x13335555221122331122333x131111335511001x13335555221122331122331x131111335511004x13335555221122331122334x131111335511002x13335555221122331122332x131111335511005x13335555221122331122335x151111335511000x15335555221122331122330x151111335511003x15335555221122331122333x151111335511001x15335555221122331122331x151111335511004x15335555221122331122334x151111335511002x15335555221122331122332x151111335511005x15335555221122331122335x101111000022000x10333322332211332244330x101111000022003x10333322332211332244333x101111000022001x10333322332211332244331x101111000022004x10333322332211332244334x101111000022002x10333322332211332244332x101111000022005x10333322332211332244335x111111000022000x11333322332211332244330x111111000022003x11333322332211332244333x111111000022001x11333322332211332244331x111111000022004x11333322332211332244334x111111000022002x11333322332211332244332x111111000022005x11333322332211332244335x141111000022000x14333322332211332244330x141111000022003x14333322332211332244333x141111000022001x14333322332211332244331x141111000022004x14333322332211332244334x141111000022002x14333322332211332244332x141111000022005x14333322332211332244335x121111000022000x12333322332211332244330x121111000022003x12333322332211332244333x121111000022001x12333322332211332244331x121111000022004x12333322332211332244334x121111000022002x12333322332211332244332x121111000022005x12333322332211332244335x131111000022000x13333322332211332244330x131111000022003x13333322332211332244333x131111000022001x13333322332211332244331x131111000022004x13333322332211332244334x131111000022002x13333322332211332244332x131111000022005x13333322332211332244335x151111000022000x15333322332211332244330x151111000022003x15333322332211332244333x151111000022001x15333322332211332244331x151111000022004x15333322332211332244334x151111000022002x15333322332211332244332x151111000022005x15333322332211332244335x102200000055000x10112211334455002233220x102200000055003x10112211334455002233223x102200000055001x10112211334455002233221x102200000055004x10112211334455002233224x102200000055002x10112211334455002233222x102200000055005x10112211334455002233225x112200000055000x11112211334455002233220x112200000055003x11112211334455002233223x112200000055001x11112211334455002233221x112200000055004x11112211334455002233224x112200000055002x11112211334455002233222x112200000055005x11112211334455002233225x142200000055000x14112211334455002233220x142200000055003x14112211334455002233223x142200000055001x14112211334455002233221x142200000055004x14112211334455002233224x142200000055002x14112211334455002233222x142200000055005x14112211334455002233225x122200000055000x12112211334455002233220x122200000055003x12112211334455002233223x122200000055001x12112211334455002233221x122200000055004x12112211334455002233224x122200000055002x12112211334455002233222x122200000055005x12112211334455002233225x132200000055000x13112211334455002233220x132200000055003x13112211334455002233223x132200000055001x13112211334455002233221x132200000055004x13112211334455002233224x132200000055002x13112211334455002233222x132200000055005x13112211334455002233225x152200000055000x15112211334455002233220x152200000055003x15112211334455002233223x152200000055001x15112211334455002233221x152200000055004x15112211334455002233224x152200000055002x15112211334455002233222x152200000055005x15112211334455002233225x105511003344550x10223355112233333322550x105511003344553x10223355112233333322553x105511003344551x10223355112233333322551x105511003344554x10223355112233333322554x105511003344552x10223355112233333322552x105511003344555x10223355112233333322555x115511003344550x11223355112233333322550x115511003344553x11223355112233333322553x115511003344551x11223355112233333322551x115511003344554x11223355112233333322554x115511003344552x11223355112233333322552x115511003344555x11223355112233333322555x145511003344550x14223355112233333322550x145511003344553x14223355112233333322553x145511003344551x14223355112233333322551x145511003344554x14223355112233333322554x145511003344552x14223355112233333322552x145511003344555x14223355112233333322555x125511003344550x12223355112233333322550x125511003344553x12223355112233333322553x125511003344551x12223355112233333322551x125511003344554x12223355112233333322554x125511003344552x12223355112233333322552x125511003344555x12223355112233333322555x135511003344550x13223355112233333322550x135511003344553x13223355112233333322553x135511003344551x13223355112233333322551x135511003344554x13223355112233333322554x135511003344552x13223355112233333322552x135511003344555x13223355112233333322555x155511003344550x15223355112233333322550x155511003344553x15223355112233333322553x155511003344551x15223355112233333322551x155511003344554x15223355112233333322554x155511003344552x15223355112233333322552x155511003344555x15223355112233333322555x10331155115500000x10222233005533331133330x10331155115500003x10222233005533331133333x10331155115500001x10222233005533331133331x10331155115500004x10222233005533331133334x10331155115500002x10222233005533331133332x10331155115500005x10222233005533331133335x11331155115500000x11222233005533331133330x11331155115500003x11222233005533331133333x11331155115500001x11222233005533331133331x11331155115500004x11222233005533331133334x11331155115500002x11222233005533331133332x11331155115500005x11222233005533331133335x14331155115500000x14222233005533331133330x14331155115500003x14222233005533331133333x14331155115500001x14222233005533331133331x14331155115500004x14222233005533331133334x14331155115500002x14222233005533331133332x14331155115500005x14222233005533331133335x12331155115500000x12222233005533331133330x12331155115500003x12222233005533331133333x12331155115500001x12222233005533331133331x12331155115500004x12222233005533331133334x12331155115500002x12222233005533331133332x12331155115500005x12222233005533331133335x13331155115500000x13222233005533331133330x13331155115500003x13222233005533331133333x13331155115500001x13222233005533331133331x13331155115500004x13222233005533331133334x13331155115500002x13222233005533331133332x13331155115500005x13222233005533331133335x15331155115500000x15222233005533331133330x15331155115500003x15222233005533331133333x15331155115500001x15222233005533331133331x15331155115500004x15222233005533331133334x15331155115500002x15222233005533331133332x15331155115500005x15222233005533331133335x10112255225500000x10002211222244335533220x10112255225500003x10002211222244335533223x10112255225500001x10002211222244335533221x10112255225500004x10002211222244335533224x10112255225500002x10002211222244335533222x10112255225500005x10002211222244335533225x11112255225500000x11002211222244335533220x11112255225500003x11002211222244335533223x11112255225500001x11002211222244335533221x11112255225500004x11002211222244335533224x11112255225500002x11002211222244335533222x11112255225500005x11002211222244335533225x14112255225500000x14002211222244335533220x14112255225500003x14002211222244335533223x14112255225500001x14002211222244335533221x14112255225500004x14002211222244335533224x14112255225500002x14002211222244335533222x14112255225500005x14002211222244335533225x12112255225500000x12002211222244335533220x12112255225500003x12002211222244335533223x12112255225500001x12002211222244335533221x12112255225500004x12002211222244335533224x12112255225500002x12002211222244335533222x12112255225500005x12002211222244335533225x13112255225500000x13002211222244335533220x13112255225500003x13002211222244335533223x13112255225500001x13002211222244335533221x13112255225500004x13002211222244335533224x13112255225500002x13002211222244335533222x13112255225500005x13002211222244335533225x15112255225500000x15002211222244335533220x15112255225500003x15002211222244335533223x15112255225500001x15002211222244335533221x15112255225500004x15002211222244335533224x15112255225500002x15002211222244335533222x15112255225500005x15002211222244335533225x10220022445500000x10331133000022223322330x10220022445500003x10331133000022223322333x10220022445500001x10331133000022223322331x10220022445500004x10331133000022223322334x10220022445500002x10331133000022223322332x10220022445500005x10331133000022223322335x11220022445500000x11331133000022223322330x11220022445500003x11331133000022223322333x11220022445500001x11331133000022223322331x11220022445500004x11331133000022223322334x11220022445500002x11331133000022223322332x11220022445500005x11331133000022223322335x14220022445500000x14331133000022223322330x14220022445500003x14331133000022223322333x14220022445500001x14331133000022223322331x14220022445500004x14331133000022223322334x14220022445500002x14331133000022223322332x14220022445500005x14331133000022223322335x12220022445500000x12331133000022223322330x12220022445500003x12331133000022223322333x12220022445500001x12331133000022223322331x12220022445500004x12331133000022223322334x12220022445500002x12331133000022223322332x12220022445500005x12331133000022223322335x13220022445500000x13331133000022223322330x13220022445500003x13331133000022223322333x13220022445500001x13331133000022223322331x13220022445500004x13331133000022223322334x13220022445500002x13331133000022223322332x13220022445500005x13331133000022223322335x15220022445500000x15331133000022223322330x15220022445500003x15331133000022223322333x15220022445500001x15331133000022223322331x15220022445500004x15331133000022223322334x15220022445500002x15331133000022223322332x15220022445500005x15331133000022223322335x10220000330022000x10332255444433113322330x10220000330022003x10332255444433113322333x10220000330022001x10332255444433113322331x10220000330022004x10332255444433113322334x10220000330022002x10332255444433113322332x10220000330022005x10332255444433113322335x11220000330022000x11332255444433113322330x11220000330022003x11332255444433113322333x11220000330022001x11332255444433113322331x11220000330022004x11332255444433113322334x11220000330022002x11332255444433113322332x11220000330022005x11332255444433113322335x14220000330022000x14332255444433113322330x14220000330022003x14332255444433113322333x14220000330022001x14332255444433113322331x14220000330022004x14332255444433113322334x14220000330022002x14332255444433113322332x14220000330022005x14332255444433113322335x12220000330022000x12332255444433113322330x12220000330022003x12332255444433113322333x12220000330022001x12332255444433113322331x12220000330022004x12332255444433113322334x12220000330022002x12332255444433113322332x12220000330022005x12332255444433113322335x13220000330022000x13332255444433113322330x13220000330022003x13332255444433113322333x13220000330022001x13332255444433113322331x13220000330022004x13332255444433113322334x13220000330022002x13332255444433113322332x13220000330022005x13332255444433113322335x15220000330022000x15332255444433113322330x15220000330022003x15332255444433113322333x15220000330022001x15332255444433113322331x15220000330022004x15332255444433113322334x15220000330022002x15332255444433113322332x15220000330022005x15332255444433113322335x10000000000033000x10444422001133225500220x10000000000033003x10444422001133225500223x10000000000033001x10444422001133225500221x10000000000033004x10444422001133225500224x10000000000033002x10444422001133225500222x10000000000033005x10444422001133225500225x11000000000033000x11444422001133225500220x11000000000033003x11444422001133225500223x11000000000033001x11444422001133225500221x11000000000033004x11444422001133225500224x11000000000033002x11444422001133225500222x11000000000033005x11444422001133225500225x14000000000033000x14444422001133225500220x14000000000033003x14444422001133225500223x14000000000033001x14444422001133225500221x14000000000033004x14444422001133225500224x14000000000033002x14444422001133225500222x14000000000033005x14444422001133225500225x12000000000033000x12444422001133225500220x12000000000033003x12444422001133225500223x12000000000033001x12444422001133225500221x12000000000033004x12444422001133225500224x12000000000033002x12444422001133225500222x12000000000033005x12444422001133225500225x13000000000033000x13444422001133225500220x13000000000033003x13444422001133225500223x13000000000033001x13444422001133225500221x13000000000033004x13444422001133225500224x13000000000033002x13444422001133225500222x13000000000033005x13444422001133225500225x15000000000033000x15444422001133225500220x15000000000033003x15444422001133225500223x15000000000033001x15444422001133225500221x15000000000033004x15444422001133225500224x15000000000033002x15444422001133225500222x15000000000033005x15444422001133225500225x10000055111155000x10443333002255001122330x10000055111155003x10443333002255001122333x10000055111155001x10443333002255001122331x10000055111155004x10443333002255001122334x10000055111155002x10443333002255001122332x10000055111155005x10443333002255001122335x11000055111155000x11443333002255001122330x11000055111155003x11443333002255001122333x11000055111155001x11443333002255001122331x11000055111155004x11443333002255001122334x11000055111155002x11443333002255001122332x11000055111155005x11443333002255001122335x14000055111155000x14443333002255001122330x14000055111155003x14443333002255001122333x14000055111155001x14443333002255001122331x14000055111155004x14443333002255001122334x14000055111155002x14443333002255001122332x14000055111155005x14443333002255001122335x12000055111155000x12443333002255001122330x12000055111155003x12443333002255001122333x12000055111155001x12443333002255001122331x12000055111155004x12443333002255001122334x12000055111155002x12443333002255001122332x12000055111155005x12443333002255001122335x13000055111155000x13443333002255001122330x13000055111155003x13443333002255001122333x13000055111155001x13443333002255001122331x13000055111155004x13443333002255001122334x13000055111155002x13443333002255001122332x13000055111155005x13443333002255001122335x15000055111155000x15443333002255001122330x15000055111155003x15443333002255001122333x15000055111155001x15443333002255001122331x15000055111155004x15443333002255001122334x15000055111155002x15443333002255001122332x15000055111155005x15443333002255001122335x10001144222255000x10440033223322113333220x10001144222255003x10440033223322113333223x10001144222255001x10440033223322113333221x10001144222255004x10440033223322113333224x10001144222255002x10440033223322113333222x10001144222255005x10440033223322113333225x11001144222255000x11440033223322113333220x11001144222255003x11440033223322113333223x11001144222255001x11440033223322113333221x11001144222255004x11440033223322113333224x11001144222255002x11440033223322113333222x11001144222255005x11440033223322113333225x14001144222255000x14440033223322113333220x14001144222255003x14440033223322113333223x14001144222255001x14440033223322113333221x14001144222255004x14440033223322113333224x14001144222255002x14440033223322113333222x14001144222255005x14440033223322113333225x12001144222255000x12440033223322113333220x12001144222255003x12440033223322113333223x12001144222255001x12440033223322113333221x12001144222255004x12440033223322113333224x12001144222255002x12440033223322113333222x12001144222255005x12440033223322113333225x13001144222255000x13440033223322113333220x13001144222255003x13440033223322113333223x13001144222255001x13440033223322113333221x13001144222255004x13440033223322113333224x13001144222255002x13440033223322113333222x13001144222255005x13440033223322113333225x15001144222255000x15440033223322113333220x15001144222255003x15440033223322113333223x15001144222255001x15440033223322113333221x15001144222255004x15440033223322113333224x15001144222255002x15440033223322113333222x15001144222255005x15440033223322113333225x10000000113300110x10444444223355222244220x10000000113300113x10444444223355222244223x10000000113300111x10444444223355222244221x10000000113300114x10444444223355222244224x10000000113300112x10444444223355222244222x10000000113300115x10444444223355222244225x11000000113300110x11444444223355222244220x11000000113300113x11444444223355222244223x11000000113300111x11444444223355222244221x11000000113300114x11444444223355222244224x11000000113300112x11444444223355222244222x11000000113300115x11444444223355222244225x14000000113300110x14444444223355222244220x14000000113300113x14444444223355222244223x14000000113300111x14444444223355222244221x14000000113300114x14444444223355222244224x14000000113300112x14444444223355222244222x14000000113300115x14444444223355222244225x12000000113300110x12444444223355222244220x12000000113300113x12444444223355222244223x12000000113300111x12444444223355222244221x12000000113300114x12444444223355222244224x12000000113300112x12444444223355222244222x12000000113300115x12444444223355222244225x13000000113300110x13444444223355222244220x13000000113300113x13444444223355222244223x13000000113300111x13444444223355222244221x13000000113300114x13444444223355222244224x13000000113300112x13444444223355222244222x13000000113300115x13444444223355222244225x15000000113300110x15444444223355222244220x15000000113300113x15444444223355222244223x15000000113300111x15444444223355222244221x15000000113300114x15444444223355222244224x15000000113300112x15444444223355222244222x15000000113300115x15444444223355222244225x10115500444422110x10330011553322223333110x10115500444422113x10330011553322223333113x10115500444422111x10330011553322223333111x10115500444422114x10330011553322223333114x10115500444422112x10330011553322223333112x10115500444422115x10330011553322223333115x11115500444422110x11330011553322223333110x11115500444422113x11330011553322223333113x11115500444422111x11330011553322223333111x11115500444422114x11330011553322223333114x11115500444422112x11330011553322223333112x11115500444422115x11330011553322223333115x14115500444422110x14330011553322223333110x14115500444422113x14330011553322223333113x14115500444422111x14330011553322223333111x14115500444422114x14330011553322223333114x14115500444422112x14330011553322223333112x14115500444422115x14330011553322223333115x12115500444422110x12330011553322223333110x12115500444422113x12330011553322223333113x12115500444422111x12330011553322223333111x12115500444422114x12330011553322223333114x12115500444422112x12330011553322223333112x12115500444422115x12330011553322223333115x13115500444422110x13330011553322223333110x13115500444422113x13330011553322223333113x13115500444422111x13330011553322223333111x13115500444422114x13330011553322223333114x13115500444422112x13330011553322223333112x13115500444422115x13330011553322223333115x15115500444422110x15330011553322223333110x15115500444422113x15330011553322223333113x15115500444422111x15330011553322223333111x15115500444422114x15330011553322223333114x15115500444422112x15330011553322223333112x15115500444422115x15330011553322223333115x10334400331144110x10115522223322115533110x10334400331144113x10115522223322115533113x10334400331144111x10115522223322115533111x10334400331144114x10115522223322115533114x10334400331144112x10115522223322115533112x10334400331144115x10115522223322115533115x11334400331144110x11115522223322115533110x11334400331144113x11115522223322115533113x11334400331144111x11115522223322115533111x11334400331144114x11115522223322115533114x11334400331144112x11115522223322115533112x11334400331144115x11115522223322115533115x14334400331144110x14115522223322115533110x14334400331144113x14115522223322115533113x14334400331144111x14115522223322115533111x14334400331144114x14115522223322115533114x14334400331144112x14115522223322115533112x14334400331144115x14115522223322115533115x12334400331144110x12115522223322115533110x12334400331144113x12115522223322115533113x12334400331144111x12115522223322115533111x12334400331144114x12115522223322115533114x12334400331144112x12115522223322115533112x12334400331144115x12115522223322115533115x13334400331144110x13115522223322115533110x13334400331144113x13115522223322115533113x13334400331144111x13115522223322115533111x13334400331144114x13115522223322115533114x13334400331144112x13115522223322115533112x13334400331144115x13115522223322115533115x15334400331144110x15115522223322115533110x15334400331144113x15115522223322115533113x15334400331144111x15115522223322115533111x15334400331144114x15115522223322115533114x15334400331144112x15115522223322115533112x15334400331144115x15115522223322115533115x10333355000055110x10112233111122334455110x10333355000055113x10112233111122334455113x10333355000055111x10112233111122334455111x10333355000055114x10112233111122334455114x10333355000055112x10112233111122334455112x10333355000055115x10112233111122334455115x11333355000055110x11112233111122334455110x11333355000055113x11112233111122334455113x11333355000055111x11112233111122334455111x11333355000055114x11112233111122334455114x11333355000055112x11112233111122334455112x11333355000055115x11112233111122334455115x14333355000055110x14112233111122334455110x14333355000055113x14112233111122334455113x14333355000055111x14112233111122334455111x14333355000055114x14112233111122334455114x14333355000055112x14112233111122334455112x14333355000055115x14112233111122334455115x12333355000055110x12112233111122334455110x12333355000055113x12112233111122334455113x12333355000055111x12112233111122334455111x12333355000055114x12112233111122334455114x12333355000055112x12112233111122334455112x12333355000055115x12112233111122334455115x13333355000055110x13112233111122334455110x13333355000055113x13112233111122334455113x13333355000055111x13112233111122334455111x13333355000055114x13112233111122334455114x13333355000055112x13112233111122334455112x13333355000055115x13112233111122334455115x15333355000055110x15112233111122334455110x15333355000055113x15112233111122334455113x15333355000055111x15112233111122334455111x15333355000055114x15112233111122334455114x15333355000055112x15112233111122334455112x15333355000055115x15112233111122334455115x10441144000000440x10000011221111223344440x10441144000000443x10000011221111223344443x10441144000000441x10000011221111223344441x10441144000000444x10000011221111223344444x10441144000000442x10000011221111223344442x10441144000000445x10000011221111223344445x11441144000000440x11000011221111223344440x11441144000000443x11000011221111223344443x11441144000000441x11000011221111223344441x11441144000000444x11000011221111223344444x11441144000000442x11000011221111223344442x11441144000000445x11000011221111223344445x14441144000000440x14000011221111223344440x14441144000000443x14000011221111223344443x14441144000000441x14000011221111223344441x14441144000000444x14000011221111223344444x14441144000000442x14000011221111223344442x14441144000000445x14000011221111223344445x12441144000000440x12000011221111223344440x12441144000000443x12000011221111223344443x12441144000000441x12000011221111223344441x12441144000000444x12000011221111223344444x12441144000000442x12000011221111223344442x12441144000000445x12000011221111223344445x13441144000000440x13000011221111223344440x13441144000000443x13000011221111223344443x13441144000000441x13000011221111223344441x13441144000000444x13000011221111223344444x13441144000000442x13000011221111223344442x13441144000000445x13000011221111223344445x15441144000000440x15000011221111223344440x15441144000000443x15000011221111223344443x15441144000000441x15000011221111223344441x15441144000000444x15000011221111223344444x15441144000000442x15000011221111223344442x15441144000000445x15000011221111223344445x10220000440000440x10551144553333223300330x10220000440000443x10551144553333223300333x10220000440000441x10551144553333223300331x10220000440000444x10551144553333223300334x10220000440000442x10551144553333223300332x10220000440000445x10551144553333223300335x11220000440000440x11551144553333223300330x11220000440000443x11551144553333223300333x11220000440000441x11551144553333223300331x11220000440000444x11551144553333223300334x11220000440000442x11551144553333223300332x11220000440000445x11551144553333223300335x14220000440000440x14551144553333223300330x14220000440000443x14551144553333223300333x14220000440000441x14551144553333223300331x14220000440000444x14551144553333223300334x14220000440000442x14551144553333223300332x14220000440000445x14551144553333223300335x12220000440000440x12551144553333223300330x12220000440000443x12551144553333223300333x12220000440000441x12551144553333223300331x12220000440000444x12551144553333223300334x12220000440000442x12551144553333223300332x12220000440000445x12551144553333223300335x13220000440000440x13551144553333223300330x13220000440000443x13551144553333223300333x13220000440000441x13551144553333223300331x13220000440000444x13551144553333223300334x13220000440000442x13551144553333223300332x13220000440000445x13551144553333223300335x15220000440000440x15551144553333223300330x15220000440000443x15551144553333223300333x15220000440000441x15551144553333223300331x15220000440000444x15551144553333223300334x15220000440000442x15551144553333223300332x15220000440000445x15551144553333223300335x10442255440000440x10004444332222225533330x10442255440000443x10004444332222225533333x10442255440000441x10004444332222225533331x10442255440000444x10004444332222225533334x10442255440000442x10004444332222225533332x10442255440000445x10004444332222225533335x11442255440000440x11004444332222225533330x11442255440000443x11004444332222225533333x11442255440000441x11004444332222225533331x11442255440000444x11004444332222225533334x11442255440000442x11004444332222225533332x11442255440000445x11004444332222225533335x14442255440000440x14004444332222225533330x14442255440000443x14004444332222225533333x14442255440000441x14004444332222225533331x14442255440000444x14004444332222225533334x14442255440000442x14004444332222225533332x14442255440000445x14004444332222225533335x12442255440000440x12004444332222225533330x12442255440000443x12004444332222225533333x12442255440000441x12004444332222225533331x12442255440000444x12004444332222225533334x12442255440000442x12004444332222225533332x12442255440000445x12004444332222225533335x13442255440000440x13004444332222225533330x13442255440000443x13004444332222225533333x13442255440000441x13004444332222225533331x13442255440000444x13004444332222225533334x13442255440000442x13004444332222225533332x13442255440000445x13004444332222225533335x15442255440000440x15004444332222225533330x15442255440000443x15004444332222225533333x15442255440000441x15004444332222225533331x15442255440000444x15004444332222225533334x15442255440000442x15004444332222225533332x15442255440000445x15004444332222225533335x10115522003300440x10330011334433223333440x10115522003300443x10330011334433223333443x10115522003300441x10330011334433223333441x10115522003300444x10330011334433223333444x10115522003300442x10330011334433223333442x10115522003300445x10330011334433223333445x11115522003300440x11330011334433223333440x11115522003300443x11330011334433223333443x11115522003300441x11330011334433223333441x11115522003300444x11330011334433223333444x11115522003300442x11330011334433223333442x11115522003300445x11330011334433223333445x14115522003300440x14330011334433223333440x14115522003300443x14330011334433223333443x14115522003300441x14330011334433223333441x14115522003300444x14330011334433223333444x14115522003300442x14330011334433223333442x14115522003300445x14330011334433223333445x12115522003300440x12330011334433223333440x12115522003300443x12330011334433223333443x12115522003300441x12330011334433223333441x12115522003300444x12330011334433223333444x12115522003300442x12330011334433223333442x12115522003300445x12330011334433223333445x13115522003300440x13330011334433223333440x13115522003300443x13330011334433223333443x13115522003300441x13330011334433223333441x13115522003300444x13330011334433223333444x13115522003300442x13330011334433223333442x13115522003300445x13330011334433223333445x15115522003300440x15330011334433223333440x15115522003300443x15330011334433223333443x15115522003300441x15330011334433223333441x15115522003300444x15330011334433223333444x15115522003300442x15330011334433223333442x15115522003300445x15330011334433223333445x10000044114400440x10441111220000222211330x10000044114400443x10441111220000222211333x10000044114400441x10441111220000222211331x10000044114400444x10441111220000222211334x10000044114400442x10441111220000222211332x10000044114400445x10441111220000222211335x11000044114400440x11441111220000222211330x11000044114400443x11441111220000222211333x11000044114400441x11441111220000222211331x11000044114400444x11441111220000222211334x11000044114400442x11441111220000222211332x11000044114400445x11441111220000222211335x14000044114400440x14441111220000222211330x14000044114400443x14441111220000222211333x14000044114400441x14441111220000222211331x14000044114400444x14441111220000222211334x14000044114400442x14441111220000222211332x14000044114400445x14441111220000222211335x12000044114400440x12441111220000222211330x12000044114400443x12441111220000222211333x12000044114400441x12441111220000222211331x12000044114400444x12441111220000222211334x12000044114400442x12441111220000222211332x12000044114400445x12441111220000222211335x13000044114400440x13441111220000222211330x13000044114400443x13441111220000222211333x13000044114400441x13441111220000222211331x13000044114400444x13441111220000222211334x13000044114400442x13441111220000222211332x13000044114400445x13441111220000222211335x15000044114400440x15441111220000222211330x15000044114400443x15441111220000222211333x15000044114400441x15441111220000222211331x15000044114400444x15441111220000222211334x15000044114400442x15441111220000222211332x15000044114400445x15441111220000222211335x10000044552211440x10440022330033115544220x10000044552211443x10440022330033115544223x10000044552211441x10440022330033115544221x10000044552211444x10440022330033115544224x10000044552211442x10440022330033115544222x10000044552211445x10440022330033115544225x11000044552211440x11440022330033115544220x11000044552211443x11440022330033115544223x11000044552211441x11440022330033115544221x11000044552211444x11440022330033115544224x11000044552211442x11440022330033115544222x11000044552211445x11440022330033115544225x14000044552211440x14440022330033115544220x14000044552211443x14440022330033115544223x14000044552211441x14440022330033115544221x14000044552211444x14440022330033115544224x14000044552211442x14440022330033115544222x14000044552211445x14440022330033115544225x12000044552211440x12440022330033115544220x12000044552211443x12440022330033115544223x12000044552211441x12440022330033115544221x12000044552211444x12440022330033115544224x12000044552211442x12440022330033115544222x12000044552211445x12440022330033115544225x13000044552211440x13440022330033115544220x13000044552211443x13440022330033115544223x13000044552211441x13440022330033115544221x13000044552211444x13440022330033115544224x13000044552211442x13440022330033115544222x13000044552211445x13440022330033115544225x15000044552211440x15440022330033115544220x15000044552211443x15440022330033115544223x15000044552211441x15440022330033115544221x15000044552211444x15440022330033115544224x15000044552211442x15440022330033115544222x15000044552211445x15440022330033115544225x10001133004411440x10441155222222002233550x10001133004411443x10441155222222002233553x10001133004411441x10441155222222002233551x10001133004411444x10441155222222002233554x10001133004411442x10441155222222002233552x10001133004411445x10441155222222002233555x11001133004411440x11441155222222002233550x11001133004411443x11441155222222002233553x11001133004411441x11441155222222002233551x11001133004411444x11441155222222002233554x11001133004411442x11441155222222002233552x11001133004411445x11441155222222002233555x14001133004411440x14441155222222002233550x14001133004411443x14441155222222002233553x14001133004411441x14441155222222002233551x14001133004411444x14441155222222002233554x14001133004411442x14441155222222002233552x14001133004411445x14441155222222002233555x12001133004411440x12441155222222002233550x12001133004411443x12441155222222002233553x12001133004411441x12441155222222002233551x12001133004411444x12441155222222002233554x12001133004411442x12441155222222002233552x12001133004411445x12441155222222002233555x13001133004411440x13441155222222002233550x13001133004411443x13441155222222002233553x13001133004411441x13441155222222002233551x13001133004411444x13441155222222002233554x13001133004411442x13441155222222002233552x13001133004411445x13441155222222002233555x15001133004411440x15441155222222002233550x15001133004411443x15441155222222002233553x15001133004411441x15441155222222002233551x15001133004411444x15441155222222002233554x15001133004411442x15441155222222002233552x15001133004411445x15441155222222002233555x10001144555533440x10443333225544331155330x10001144555533443x10443333225544331155333x10001144555533441x10443333225544331155331x10001144555533444x10443333225544331155334x10001144555533442x10443333225544331155332x10001144555533445x10443333225544331155335x11001144555533440x11443333225544331155330x11001144555533443x11443333225544331155333x11001144555533441x11443333225544331155331x11001144555533444x11443333225544331155334x11001144555533442x11443333225544331155332x11001144555533445x11443333225544331155335x14001144555533440x14443333225544331155330x14001144555533443x14443333225544331155333x14001144555533441x14443333225544331155331x14001144555533444x14443333225544331155334x14001144555533442x14443333225544331155332x14001144555533445x14443333225544331155335x12001144555533440x12443333225544331155330x12001144555533443x12443333225544331155333x12001144555533441x12443333225544331155331x12001144555533444x12443333225544331155334x12001144555533442x12443333225544331155332x12001144555533445x12443333225544331155335x13001144555533440x13443333225544331155330x13001144555533443x13443333225544331155333x13001144555533441x13443333225544331155331x13001144555533444x13443333225544331155334x13001144555533442x13443333225544331155332x13001144555533445x13443333225544331155335x15001144555533440x15443333225544331155330x15001144555533443x15443333225544331155333x15001144555533441x15443333225544331155331x15001144555533444x15443333225544331155334x15001144555533442x15443333225544331155332x15001144555533445x15443333225544331155335x10004411000000550x10445500332222335522550x10004411000000553x10445500332222335522553x10004411000000551x10445500332222335522551x10004411000000554x10445500332222335522554x10004411000000552x10445500332222335522552x10004411000000555x10445500332222335522555x11004411000000550x11445500332222335522550x11004411000000553x11445500332222335522553x11004411000000551x11445500332222335522551x11004411000000554x11445500332222335522554x11004411000000552x11445500332222335522552x11004411000000555x11445500332222335522555x14004411000000550x14445500332222335522550x14004411000000553x14445500332222335522553x14004411000000551x14445500332222335522551x14004411000000554x14445500332222335522554x14004411000000552x14445500332222335522552x14004411000000555x14445500332222335522555x12004411000000550x12445500332222335522550x12004411000000553x12445500332222335522553x12004411000000551x12445500332222335522551x12004411000000554x12445500332222335522554x12004411000000552x12445500332222335522552x12004411000000555x12445500332222335522555x13004411000000550x13445500332222335522550x13004411000000553x13445500332222335522553x13004411000000551x13445500332222335522551x13004411000000554x13445500332222335522554x13004411000000552x13445500332222335522552x13004411000000555x13445500332222335522555x15004411000000550x15445500332222335522550x15004411000000553x15445500332222335522553x15004411000000551x15445500332222335522551x15004411000000554x15445500332222335522554x15004411000000552x15445500332222335522552x15004411000000555x15445500332222335522555x10551155112200550x10223333443333332233550x10551155112200553x10223333443333332233553x10551155112200551x10223333443333332233551x10551155112200554x10223333443333332233554x10551155112200552x10223333443333332233552x10551155112200555x10223333443333332233555x11551155112200550x11223333443333332233550x11551155112200553x11223333443333332233553x11551155112200551x11223333443333332233551x11551155112200554x11223333443333332233554x11551155112200552x11223333443333332233552x11551155112200555x11223333443333332233555x14551155112200550x14223333443333332233550x14551155112200553x14223333443333332233553x14551155112200551x14223333443333332233551x14551155112200554x14223333443333332233554x14551155112200552x14223333443333332233552x14551155112200555x14223333443333332233555x12551155112200550x12223333443333332233550x12551155112200553x12223333443333332233553x12551155112200551x12223333443333332233551x12551155112200554x12223333443333332233554x12551155112200552x12223333443333332233552x12551155112200555x12223333443333332233555x13551155112200550x13223333443333332233550x13551155112200553x13223333443333332233553x13551155112200551x13223333443333332233551x13551155112200554x13223333443333332233554x13551155112200552x13223333443333332233552x13551155112200555x13223333443333332233555x15551155112200550x15223333443333332233550x15551155112200553x15223333443333332233553x15551155112200551x15223333443333332233551x15551155112200554x15223333443333332233554x15551155112200552x15223333443333332233552x15551155112200555x15223333443333332233555x10004444552200550x10443311112222330044550x10004444552200553x10443311112222330044553x10004444552200551x10443311112222330044551x10004444552200554x10443311112222330044554x10004444552200552x10443311112222330044552x10004444552200555x10443311112222330044555x11004444552200550x11443311112222330044550x11004444552200553x11443311112222330044553x11004444552200551x11443311112222330044551x11004444552200554x11443311112222330044554x11004444552200552x11443311112222330044552x11004444552200555x11443311112222330044555x14004444552200550x14443311112222330044550x14004444552200553x14443311112222330044553x14004444552200551x14443311112222330044551x14004444552200554x14443311112222330044554x14004444552200552x14443311112222330044552x14004444552200555x14443311112222330044555x12004444552200550x12443311112222330044550x12004444552200553x12443311112222330044553x12004444552200551x12443311112222330044551x12004444552200554x12443311112222330044554x12004444552200552x12443311112222330044552x12004444552200555x12443311112222330044555x13004444552200550x13443311112222330044550x13004444552200553x13443311112222330044553x13004444552200551x13443311112222330044551x13004444552200554x13443311112222330044554x13004444552200552x13443311112222330044552x13004444552200555x13443311112222330044555x15004444552200550x15443311112222330044550x15004444552200553x15443311112222330044553x15004444552200551x15443311112222330044551x15004444552200554x15443311112222330044554x15004444552200552x15443311112222330044552x15004444552200555x15443311112222330044555x10554455555500550x10223300333322333322550x10554455555500553x10223300333322333322553x10554455555500551x10223300333322333322551x10554455555500554x10223300333322333322554x10554455555500552x10223300333322333322552x10554455555500555x10223300333322333322555x11554455555500550x11223300333322333322550x11554455555500553x11223300333322333322553x11554455555500551x11223300333322333322551x11554455555500554x11223300333322333322554x11554455555500552x11223300333322333322552x11554455555500555x11223300333322333322555x14554455555500550x14223300333322333322550x14554455555500553x14223300333322333322553x14554455555500551x14223300333322333322551x14554455555500554x14223300333322333322554x14554455555500552x14223300333322333322552x14554455555500555x14223300333322333322555x12554455555500550x12223300333322333322550x12554455555500553x12223300333322333322553x12554455555500551x12223300333322333322551x12554455555500554x12223300333322333322554x12554455555500552x12223300333322333322552x12554455555500555x12223300333322333322555x13554455555500550x13223300333322333322550x13554455555500553x13223300333322333322553x13554455555500551x13223300333322333322551x13554455555500554x13223300333322333322554x13554455555500552x13223300333322333322552x13554455555500555x13223300333322333322555x15554455555500550x15223300333322333322550x15554455555500553x15223300333322333322553x15554455555500551x15223300333322333322551x15554455555500554x15223300333322333322554x15554455555500552x15223300333322333322552x15554455555500555x15223300333322333322555x1133115555110x113344441122112233330x1133115555113x113344441122112233333x1133115555111x113344441122112233331x1133115555114x113344441122112233334x1133115555112x113344441122112233332x1133115555115x113344441122112233335x10111133112200440x10222233223355555500440x10111133112200443x10222233223355555500443x10111133112200441x10222233223355555500441x10111133112200444x10222233223355555500444x10111133112200442x10222233223355555500442x10111133112200445x10222233223355555500445x11111133112200440x11222233223355555500440x11111133112200443x11222233223355555500443x11111133112200441x11222233223355555500441x11111133112200444x11222233223355555500444x11111133112200442x11222233223355555500442x11111133112200445x11222233223355555500445x14111133112200440x14222233223355555500440x14111133112200443x14222233223355555500443x14111133112200441x14222233223355555500441x14111133112200444x14222233223355555500444x14111133112200442x14222233223355555500442x14111133112200445x14222233223355555500445x12111133112200440x12222233223355555500440x12111133112200443x12222233223355555500443x12111133112200441x12222233223355555500441x12111133112200444x12222233223355555500444x12111133112200442x12222233223355555500442x12111133112200445x12222233223355555500445x13111133112200440x13222233223355555500440x13111133112200443x13222233223355555500443x13111133112200441x13222233223355555500441x13111133112200444x13222233223355555500444x13111133112200442x13222233223355555500442x13111133112200445x13222233223355555500445x15111133112200440x15222233223355555500440x15111133112200443x15222233223355555500443x15111133112200441x15222233223355555500441x15111133112200444x15222233223355555500444x15111133112200442x15222233223355555500442x15111133112200445x15222233223355555500445x11031113011110011110111110111134111421112311132111211111111113111141111211115111541114011115311125111511111201111041110211105111122111331113111135111411111441115211150111124111451114311155111533110000330x151133550022333311220x1533110000333x151133550022333311223x1533110000331x151133550022333311221x1533110000334x151133550022333311224x1533110000332x151133550022333311222x1533110000335x151133550022333311225x120044442211110x122255112233222211110x120044442211113x122255112233222211113x120044442211111x122255112233222211111x120044442211114x122255112233222211114x120044442211112x122255112233222211112x120044442211115x122255112233222211115x121111004400440x122222334411330022220x121111004400443x122222334411330022223x121111004400444x122222334411330022224x121111004400442x122222334411330022222x121111004400445x122222334411330022225x113344110033550x113300001122112222330x113344110033553x113300001122112222333x113344110033554x113300001122112222334x113344110033552x113300001122112222332x113344110033555x113300001122112222335x1011114444000x10222222222222332244000x1011114444003x10222222222222332244003x1011114444001x10222222222222332244001x1011114444004x10222222222222332244004x1011114444002x10222222222222332244002x1011114444005x10222222222222332244005x1111114444000x11222222222222332244000x1111114444003x11222222222222332244003x1111114444001x11222222222222332244001x1111114444004x11222222222222332244004x1111114444002x11222222222222332244002x1111114444005x11222222222222332244005x1211114444000x12222222222222332244000x1211114444003x12222222222222332244003x1211114444001x12222222222222332244001x1211114444004x12222222222222332244004x1211114444002x12222222222222332244002x1211114444005x12222222222222332244005x1311114444000x13222222222222332244000x1311114444003x13222222222222332244003x1311114444001x13222222222222332244001x1311114444004x13222222222222332244004x1311114444002x13222222222222332244002x1311114444005x13222222222222332244005x1422114455000x14112233224433331122330x1422114455003x14112233224433331122333x1422114455001x14112233224433331122331x1422114455004x14112233224433331122334x1422114455002x14112233224433331122332x1522114455000x15112233224433331122330x1522114455003x15112233224433331122333x1522114455001x15112233224433331122331x1522114455004x15112233224433331122334x1522114455002x15112233224433331122332x10115500444422110x10330011553322223333110x10115500444422113x10330011553322223333113x10115500444422111x10330011553322223333111x10115500444422114x10330011553322223333114x10115500444422112x10330011553322223333112x10115500444422115x10330011553322223333115x11115500444422110x11330011553322223333110x11115500444422113x11330011553322223333113x11115500444422111x11330011553322223333111x11115500444422114x11330011553322223333114x11115500444422112x11330011553322223333112x11115500444422115x11330011553322223333115x12115500444422110x12330011553322223333110x12115500444422113x12330011553322223333113x12115500444422111x12330011553322223333111x12115500444422114x12330011553322223333114x12115500444422112x12330011553322223333112x12115500444422115x12330011553322223333115x13115500444422110x13330011553322223333110x13115500444422113x13330011553322223333113x13115500444422111x13330011553322223333111x13115500444422114x13330011553322223333114x13115500444422112x13330011553322223333112x13115500444422115x13330011553322223333115x10000044552211440x10440022330033115544220x10000044552211443x10440022330033115544223x10000044552211444x10440022330033115544224x10000044552211442x10440022330033115544222x10000044552211445x10440022330033115544225x11000044552211440x11440022330033115544220x11000044552211443x11440022330033115544223x11000044552211444x11440022330033115544224x11000044552211442x11440022330033115544222x11000044552211445x11440022330033115544225x14000044552211440x14440022330033115544220x14000044552211443x14440022330033115544223x14000044552211444x14440022330033115544224x14000044552211442x14440022330033115544222x14000044552211445x14440022330033115544225x12000044552211440x12440022330033115544220x12000044552211443x12440022330033115544223x12000044552211444x12440022330033115544224x12000044552211442x12440022330033115544222x12000044552211445x12440022330033115544225x13000044552211440x13440022330033115544220x13000044552211443x13440022330033115544223x13000044552211444x13440022330033115544224x13000044552211442x13440022330033115544222x13000044552211445x13440022330033115544225x15000044552211440x15440022330033115544220x15000044552211443x15440022330033115544223x15000044552211444x15440022330033115544224x15000044552211442x15440022330033115544222x15000044552211445x15440022330033115544225x1133115555110x113344441122112233330x1133115555113x113344441122112233333x1133115555111x113344441122112233331x1133115555114x113344441122112233334x1133115555112x113344441122112233332x1133115555115x113344441122112233335x10111133112200440x10222233223355555500440x10111133112200443x10222233223355555500443x10111133112200441x10222233223355555500441x10111133112200444x10222233223355555500444x10111133112200442x10222233223355555500442x10111133112200445x10222233223355555500445x11111133112200440x11222233223355555500440x11111133112200443x11222233223355555500443x11111133112200441x11222233223355555500441x11111133112200444x11222233223355555500444x11111133112200442x11222233223355555500442x11111133112200445x11222233223355555500445x12111133112200440x12222233223355555500440x12111133112200443x12222233223355555500443x12111133112200441x12222233223355555500441x12111133112200444x12222233223355555500444x12111133112200442x12222233223355555500442x12111133112200445x12222233223355555500445x13111133112200440x13222233223355555500440x13111133112200443x13222233223355555500443x13111133112200441x13222233223355555500441x13111133112200444x13222233223355555500444x13111133112200442x13222233223355555500442x13111133112200445x13222233223355555500445x11531113111111011110011110311113011151111131113511150111021112311133111121112011112111113411124111321111221112511110411114411114211111111111411111511114011114111143111145111101111541115211115511110511113344110033550x113300001122112222330x113344110033553x113300001122112222333x113344110033554x113300001122112222334x113344110033552x113300001122112222332x1422114455001x14112233224433331122331x1422114455002x14112233224433331122332x1522114455001x15112233224433331122331x1522114455002x15112233224433331122332x1133115555112x113344441122112233332x10111133112200440x10222233223355555500440x10111133112200443x10222233223355555500443x10111133112200441x10222233223355555500441x10111133112200444x10222233223355555500444x10111133112200442x10222233223355555500442x10111133112200445x10222233223355555500445x13111133112200440x13222233223355555500440x13111133112200443x13222233223355555500443x13111133112200441x13222233223355555500441x13111133112200444x13222233223355555500444x13111133112200442x13222233223355555500442x13111133112200445x13222233223355555500445x1113111134111141111101110311135111501113011100111011111121112111122111231115311133111541111521111321111421111411114511112411143111311111021111511111151115511144111111111201111041114011113344110033550x113300001122112222330x113344110033553x113300001122112222333x113344110033554x113300001122112222334x113344110033552x113300001122112222332x1422114455001x14112233224433331122331x1422114455002x14112233224433331122332x1522114455001x15112233224433331122331x1522114455002x15112233224433331122332x1133115555112x113344441122112233332x11131113411141111101110311113511115011113011100111101111112111211112211123111531111331111541111521111321114211114111145111124111143111311111021115111111511115511114411113344110033553x113300001122112222333x1422114455001x14112233224433331122331x1422114455002x14112233224433331122332x1522114455001x15112233224433331122331x1522114455002x15112233224433331122332x11131113411141111101110311135111531111301110011101111121112111122111231113311142111141114511150111132111241114311131111021115211151111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (10 real / 0 unknown / 0 assumptions / 10 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe