00x10445113121x140x14423024234x1001x10413021501x1400x12223004421x10052x12343023053x11100x11333443250x14001x12223302351x15004x12545212304x15015x13534432215x103354x10332433034x110000x11201023210x110101x13554413132x130035x13334523324x130040x13305532250x140340x12303235540x150003x15142300213x1120013x10425223443x1200100x12441055211x1205501x12314313351x1241510x11031450544x1255410x12551114230x1352551x12134514041x1410343x14145412013x1500000x14534041400x10000510x13050550402x10350052x12144325143x10452555x10414013223x11014355x13303543401x11510043x14411404303x12004513x11021430442x13005513x12452442003x14004034x13333015404x14240015x12341301232x14304034x14242440304x12.104513200x10445113121x140x14423024234x1001x10413021501x11100x11333443250x103354x10332433034x110000x11201023210x130035x13334523324x130040x13305532250x150003x15142300213x1200100x12441055211x1205501x12314313351x1255410x12551114230x1410343x14145412013x10452555x10414013223x14304034x14242440304x10400x102223004421x14400x142223004421x15400x152223004421x11400x112223004421x13400x132223004421x12400x122223004421x100052x102343023053x140052x142343023053x150052x152343023053x110052x112343023053x130052x132343023053x120052x122343023053x104001x102223302351x144001x142223302351x154001x152223302351x114001x112223302351x134001x132223302351x124001x122223302351x105004x102545212304x145004x142545212304x155004x152545212304x115004x112545212304x135004x132545212304x125004x122545212304x105015x103534432215x145015x143534432215x155015x153534432215x115015x113534432215x135015x133534432215x125015x123534432215x1010101x103554413132x1410101x143554413132x1510101x153554413132x1110101x113554413132x1310101x133554413132x1210101x123554413132x1040340x102303235540x1440340x142303235540x1540340x152303235540x1140340x112303235540x1340340x132303235540x1240340x122303235540x10120013x100425223443x14120013x140425223443x15120013x150425223443x11120013x110425223443x13120013x130425223443x12120013x120425223443x10241510x101031450544x14241510x141031450544x15241510x151031450544x11241510x111031450544x13241510x131031450544x12241510x121031450544x10352551x102134514041x14352551x142134514041x15352551x152134514041x11352551x112134514041x13352551x132134514041x12352551x122134514041x10500000x104534041400x14500000x144534041400x15500000x154534041400x11500000x114534041400x13500000x134534041400x12500000x124534041400x100000510x103050550402x140000510x143050550402x150000510x153050550402x110000510x113050550402x130000510x133050550402x120000510x123050550402x100350052x102144325143x140350052x142144325143x150350052x152144325143x110350052x112144325143x130350052x132144325143x120350052x122144325143x101014355x103303543401x141014355x143303543401x151014355x153303543401x111014355x113303543401x131014355x133303543401x121014355x123303543401x101510043x104411404303x141510043x144411404303x151510043x154411404303x111510043x114411404303x131510043x134411404303x121510043x124411404303x102004513x101021430442x142004513x141021430442x152004513x151021430442x112004513x111021430442x132004513x131021430442x122004513x121021430442x103005513x102452442003x143005513x142452442003x153005513x152452442003x113005513x112452442003x133005513x132452442003x123005513x122452442003x104004034x103333015404x144004034x143333015404x154004034x153333015404x114004034x113333015404x134004034x133333015404x124004034x123333015404x104240015x102341301232x144240015x142341301232x154240015x152341301232x114240015x112341301232x134240015x132341301232x124240015x122341301232x10000x104444551111331122110x10004x104444551111331122114x10005x104444551111331122115x10001x104444551111331122111x10003x104444551111331122113x10002x104444551111331122112x14000x144422330022442233440x14004x144422330022442233444x14005x144422330022442233445x14001x144422330022442233441x14003x144422330022442233443x14002x144422330022442233442x1000110x104411330022115500110x1000114x104411330022115500114x1000115x104411330022115500115x1000111x104411330022115500111x1000113x104411330022115500113x1000112x104411330022115500112x111100000x113333334444332255000x111100004x113333334444332255004x111100005x113333334444332255005x111100001x113333334444332255001x111100003x113333334444332255003x111100002x113333334444332255002x10333355440x103333224433330033440x10333355444x103333224433330033444x10333355445x103333224433330033445x10333355441x103333224433330033441x10333355443x103333224433330033443x10333355442x103333224433330033442x11000000000x112200110022332211000x11000000004x112200110022332211004x11000000005x112200110022332211005x11000000001x112200110022332211001x11000000003x112200110022332211003x11000000002x112200110022332211002x13000033550x133333445522333322440x13000033554x133333445522333322444x13000033555x133333445522333322445x13000033551x133333445522333322441x13000033553x133333445522333322443x13000033552x133333445522333322442x13000044000x133300555533222255000x13000044004x133300555533222255004x13000044005x133300555533222255005x13000044001x133300555533222255001x13000044003x133300555533222255003x13000044002x133300555533222255002x15000000330x151144223300002211330x15000000334x151144223300002211334x15000000335x151144223300002211335x15000000331x151144223300002211331x15000000333x151144223300002211333x15000000332x151144223300002211332x1200001100000x124444110055552211110x1200001100004x124444110055552211114x1200001100005x124444110055552211115x1200001100001x124444110055552211111x1200001100003x124444110055552211113x1200001100002x124444110055552211112x1200555500110x123311443311333355110x1200555500114x123311443311333355114x1200555500115x123311443311333355115x1200555500111x123311443311333355111x1200555500113x123311443311333355113x1200555500112x123311443311333355112x1255554411000x125555111111442233000x1255554411004x125555111111442233004x1255554411005x125555111111442233005x1255554411001x125555111111442233001x1255554411003x125555111111442233003x1255554411002x125555111111442233002x1411003344330x141144554411220011330x1411003344334x141144554411220011334x1411003344335x141144554411220011335x1411003344331x141144554411220011331x1411003344333x141144554411220011333x1411003344332x141144554411220011332x104455225555550x104411440011332222330x104455225555554x104411440011332222334x104455225555555x104411440011332222335x104455225555551x104411440011332222331x104455225555553x104411440011332222333x104455225555552x104411440011332222332x143300440033440x142244224444003300440x143300440033444x142244224444003300444x143300440033445x142244224444003300445x143300440033441x142244224444003300441x143300440033443x142244224444003300443x143300440033442x142244224444003300442x104400000x10222222330000444422110x104400004x10222222330000444422114x104400005x10222222330000444422115x104400001x10222222330000444422111x104400003x10222222330000444422113x104400002x10222222330000444422112x144400000x14222222330000444422110x144400004x14222222330000444422114x144400005x14222222330000444422115x144400001x14222222330000444422111x144400003x14222222330000444422113x144400002x14222222330000444422112x154400000x15222222330000444422110x154400004x15222222330000444422114x154400005x15222222330000444422115x154400001x15222222330000444422111x154400003x15222222330000444422113x154400002x15222222330000444422112x114400000x11222222330000444422110x114400004x11222222330000444422114x114400005x11222222330000444422115x114400001x11222222330000444422111x114400003x11222222330000444422113x114400002x11222222330000444422112x134400000x13222222330000444422110x134400004x13222222330000444422114x134400005x13222222330000444422115x134400001x13222222330000444422111x134400003x13222222330000444422113x134400002x13222222330000444422112x124400000x12222222330000444422110x124400004x12222222330000444422114x124400005x12222222330000444422115x124400001x12222222330000444422111x124400003x12222222330000444422113x124400002x12222222330000444422112x10000055220x10223344330022330055330x10000055224x10223344330022330055334x10000055225x10223344330022330055335x10000055221x10223344330022330055331x10000055223x10223344330022330055333x10000055222x10223344330022330055332x14000055220x14223344330022330055330x14000055224x14223344330022330055334x14000055225x14223344330022330055335x14000055221x14223344330022330055331x14000055223x14223344330022330055333x14000055222x14223344330022330055332x15000055220x15223344330022330055330x15000055224x15223344330022330055334x15000055225x15223344330022330055335x15000055221x15223344330022330055331x15000055223x15223344330022330055333x15000055222x15223344330022330055332x11000055220x11223344330022330055330x11000055224x11223344330022330055334x11000055225x11223344330022330055335x11000055221x11223344330022330055331x11000055223x11223344330022330055333x11000055222x11223344330022330055332x13000055220x13223344330022330055330x13000055224x13223344330022330055334x13000055225x13223344330022330055335x13000055221x13223344330022330055331x13000055223x13223344330022330055333x13000055222x13223344330022330055332x12000055220x12223344330022330055330x12000055224x12223344330022330055334x12000055225x12223344330022330055335x12000055221x12223344330022330055331x12000055223x12223344330022330055333x12000055222x12223344330022330055332x10440000110x10222222333300223355110x10440000114x10222222333300223355114x10440000115x10222222333300223355115x10440000111x10222222333300223355111x10440000113x10222222333300223355113x10440000112x10222222333300223355112x14440000110x14222222333300223355110x14440000114x14222222333300223355114x14440000115x14222222333300223355115x14440000111x14222222333300223355111x14440000113x14222222333300223355113x14440000112x14222222333300223355112x15440000110x15222222333300223355110x15440000114x15222222333300223355114x15440000115x15222222333300223355115x15440000111x15222222333300223355111x15440000113x15222222333300223355113x15440000112x15222222333300223355112x11440000110x11222222333300223355110x11440000114x11222222333300223355114x11440000115x11222222333300223355115x11440000111x11222222333300223355111x11440000113x11222222333300223355113x11440000112x11222222333300223355112x13440000110x13222222333300223355110x13440000114x13222222333300223355114x13440000115x13222222333300223355115x13440000111x13222222333300223355111x13440000113x13222222333300223355113x13440000112x13222222333300223355112x12440000110x12222222333300223355110x12440000114x12222222333300223355114x12440000115x12222222333300223355115x12440000111x12222222333300223355111x12440000113x12222222333300223355113x12440000112x12222222333300223355112x10550000440x10225544552211223300440x10550000444x10225544552211223300444x10550000445x10225544552211223300445x10550000441x10225544552211223300441x10550000443x10225544552211223300443x10550000442x10225544552211223300442x14550000440x14225544552211223300440x14550000444x14225544552211223300444x14550000445x14225544552211223300445x14550000441x14225544552211223300441x14550000443x14225544552211223300443x14550000442x14225544552211223300442x15550000440x15225544552211223300440x15550000444x15225544552211223300444x15550000445x15225544552211223300445x15550000441x15225544552211223300441x15550000443x15225544552211223300443x15550000442x15225544552211223300442x11550000440x11225544552211223300440x11550000444x11225544552211223300444x11550000445x11225544552211223300445x11550000441x11225544552211223300441x11550000443x11225544552211223300443x11550000442x11225544552211223300442x13550000440x13225544552211223300440x13550000444x13225544552211223300444x13550000445x13225544552211223300445x13550000441x13225544552211223300441x13550000443x13225544552211223300443x13550000442x13225544552211223300442x12550000440x12225544552211223300440x12550000444x12225544552211223300444x12550000445x12225544552211223300445x12550000441x12225544552211223300441x12550000443x12225544552211223300443x12550000442x12225544552211223300442x10550011550x10335533444433222211550x10550011554x10335533444433222211554x10550011555x10335533444433222211555x10550011551x10335533444433222211551x10550011553x10335533444433222211553x10550011552x10335533444433222211552x14550011550x14335533444433222211550x14550011554x14335533444433222211554x14550011555x14335533444433222211555x14550011551x14335533444433222211551x14550011553x14335533444433222211553x14550011552x14335533444433222211552x15550011550x15335533444433222211550x15550011554x15335533444433222211554x15550011555x15335533444433222211555x15550011551x15335533444433222211551x15550011553x15335533444433222211553x15550011552x15335533444433222211552x11550011550x11335533444433222211550x11550011554x11335533444433222211554x11550011555x11335533444433222211555x11550011551x11335533444433222211551x11550011553x11335533444433222211553x11550011552x11335533444433222211552x13550011550x13335533444433222211550x13550011554x13335533444433222211554x13550011555x13335533444433222211555x13550011551x13335533444433222211551x13550011553x13335533444433222211553x13550011552x13335533444433222211552x12550011550x12335533444433222211550x12550011554x12335533444433222211554x12550011555x12335533444433222211555x12550011551x12335533444433222211551x12550011553x12335533444433222211553x12550011552x12335533444433222211552x1011001100110x10335555444411331133220x1011001100114x10335555444411331133224x1011001100115x10335555444411331133225x1011001100111x10335555444411331133221x1011001100113x10335555444411331133223x1011001100112x10335555444411331133222x1411001100110x14335555444411331133220x1411001100114x14335555444411331133224x1411001100115x14335555444411331133225x1411001100111x14335555444411331133221x1411001100113x14335555444411331133223x1411001100112x14335555444411331133222x1511001100110x15335555444411331133220x1511001100114x15335555444411331133224x1511001100115x15335555444411331133225x1511001100111x15335555444411331133221x1511001100113x15335555444411331133223x1511001100112x15335555444411331133222x1111001100110x11335555444411331133220x1111001100114x11335555444411331133224x1111001100115x11335555444411331133225x1111001100111x11335555444411331133221x1111001100113x11335555444411331133223x1111001100112x11335555444411331133222x1311001100110x13335555444411331133220x1311001100114x13335555444411331133224x1311001100115x13335555444411331133225x1311001100111x13335555444411331133221x1311001100113x13335555444411331133223x1311001100112x13335555444411331133222x1211001100110x12335555444411331133220x1211001100114x12335555444411331133224x1211001100115x12335555444411331133225x1211001100111x12335555444411331133221x1211001100113x12335555444411331133223x1211001100112x12335555444411331133222x1044003344000x10223300332233555544000x1044003344004x10223300332233555544004x1044003344005x10223300332233555544005x1044003344001x10223300332233555544001x1044003344003x10223300332233555544003x1044003344002x10223300332233555544002x1444003344000x14223300332233555544000x1444003344004x14223300332233555544004x1444003344005x14223300332233555544005x1444003344001x14223300332233555544001x1444003344003x14223300332233555544003x1444003344002x14223300332233555544002x1544003344000x15223300332233555544000x1544003344004x15223300332233555544004x1544003344005x15223300332233555544005x1544003344001x15223300332233555544001x1544003344003x15223300332233555544003x1544003344002x15223300332233555544002x1144003344000x11223300332233555544000x1144003344004x11223300332233555544004x1144003344005x11223300332233555544005x1144003344001x11223300332233555544001x1144003344003x11223300332233555544003x1144003344002x11223300332233555544002x1344003344000x13223300332233555544000x1344003344004x13223300332233555544004x1344003344005x13223300332233555544005x1344003344001x13223300332233555544001x1344003344003x13223300332233555544003x1344003344002x13223300332233555544002x1244003344000x12223300332233555544000x1244003344004x12223300332233555544004x1244003344005x12223300332233555544005x1244003344001x12223300332233555544001x1244003344003x12223300332233555544003x1244003344002x12223300332233555544002x101122000011330x10004422552222334444330x101122000011334x10004422552222334444334x101122000011335x10004422552222334444335x101122000011331x10004422552222334444331x101122000011333x10004422552222334444333x101122000011332x10004422552222334444332x141122000011330x14004422552222334444330x141122000011334x14004422552222334444334x141122000011335x14004422552222334444335x141122000011331x14004422552222334444331x141122000011333x14004422552222334444333x141122000011332x14004422552222334444332x151122000011330x15004422552222334444330x151122000011334x15004422552222334444334x151122000011335x15004422552222334444335x151122000011331x15004422552222334444331x151122000011333x15004422552222334444333x151122000011332x15004422552222334444332x111122000011330x11004422552222334444330x111122000011334x11004422552222334444334x111122000011335x11004422552222334444335x111122000011331x11004422552222334444331x111122000011333x11004422552222334444333x111122000011332x11004422552222334444332x131122000011330x13004422552222334444330x131122000011334x13004422552222334444334x131122000011335x13004422552222334444335x131122000011331x13004422552222334444331x131122000011333x13004422552222334444333x131122000011332x13004422552222334444332x121122000011330x12004422552222334444330x121122000011334x12004422552222334444334x121122000011335x12004422552222334444335x121122000011331x12004422552222334444331x121122000011333x12004422552222334444333x121122000011332x12004422552222334444332x102244115511000x10110033114455005544440x102244115511004x10110033114455005544444x102244115511005x10110033114455005544445x102244115511001x10110033114455005544441x102244115511003x10110033114455005544443x102244115511002x10110033114455005544442x142244115511000x14110033114455005544440x142244115511004x14110033114455005544444x142244115511005x14110033114455005544445x142244115511001x14110033114455005544441x142244115511003x14110033114455005544443x142244115511002x14110033114455005544442x152244115511000x15110033114455005544440x152244115511004x15110033114455005544444x152244115511005x15110033114455005544445x152244115511001x15110033114455005544441x152244115511003x15110033114455005544443x152244115511002x15110033114455005544442x112244115511000x11110033114455005544440x112244115511004x11110033114455005544444x112244115511005x11110033114455005544445x112244115511001x11110033114455005544441x112244115511003x11110033114455005544443x112244115511002x11110033114455005544442x132244115511000x13110033114455005544440x132244115511004x13110033114455005544444x132244115511005x13110033114455005544445x132244115511001x13110033114455005544441x132244115511003x13110033114455005544443x132244115511002x13110033114455005544442x122244115511000x12110033114455005544440x122244115511004x12110033114455005544444x122244115511005x12110033114455005544445x122244115511001x12110033114455005544441x122244115511003x12110033114455005544443x122244115511002x12110033114455005544442x103355225555110x10221133445511440044110x103355225555114x10221133445511440044114x103355225555115x10221133445511440044115x103355225555111x10221133445511440044111x103355225555113x10221133445511440044113x103355225555112x10221133445511440044112x143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x133355225555110x13221133445511440044110x133355225555114x13221133445511440044114x133355225555115x13221133445511440044115x133355225555111x13221133445511440044111x133355225555113x13221133445511440044113x133355225555112x13221133445511440044112x123355225555110x12221133445511440044110x123355225555114x12221133445511440044114x123355225555115x12221133445511440044115x123355225555111x12221133445511440044111x123355225555113x12221133445511440044113x123355225555112x12221133445511440044112x105500000000000x10445533440044114400000x105500000000004x10445533440044114400004x105500000000005x10445533440044114400005x105500000000001x10445533440044114400001x105500000000003x10445533440044114400003x105500000000002x10445533440044114400002x145500000000000x14445533440044114400000x145500000000004x14445533440044114400004x145500000000005x14445533440044114400005x145500000000001x14445533440044114400001x145500000000003x14445533440044114400003x145500000000002x14445533440044114400002x155500000000000x15445533440044114400000x155500000000004x15445533440044114400004x155500000000005x15445533440044114400005x155500000000001x15445533440044114400001x155500000000003x15445533440044114400003x155500000000002x15445533440044114400002x115500000000000x11445533440044114400000x115500000000004x11445533440044114400004x115500000000005x11445533440044114400005x115500000000001x11445533440044114400001x115500000000003x11445533440044114400003x115500000000002x11445533440044114400002x135500000000000x13445533440044114400000x135500000000004x13445533440044114400004x135500000000005x13445533440044114400005x135500000000001x13445533440044114400001x135500000000003x13445533440044114400003x135500000000002x13445533440044114400002x125500000000000x12445533440044114400000x125500000000004x12445533440044114400004x125500000000005x12445533440044114400005x125500000000001x12445533440044114400001x125500000000003x12445533440044114400003x125500000000002x12445533440044114400002x10000000005511000x10330055005555004400220x10000000005511004x10330055005555004400224x10000000005511005x10330055005555004400225x10000000005511001x10330055005555004400221x10000000005511003x10330055005555004400223x10000000005511002x10330055005555004400222x14000000005511000x14330055005555004400220x14000000005511004x14330055005555004400224x14000000005511005x14330055005555004400225x14000000005511001x14330055005555004400221x14000000005511003x14330055005555004400223x14000000005511002x14330055005555004400222x15000000005511000x15330055005555004400220x15000000005511004x15330055005555004400224x15000000005511005x15330055005555004400225x15000000005511001x15330055005555004400221x15000000005511003x15330055005555004400223x15000000005511002x15330055005555004400222x11000000005511000x11330055005555004400220x11000000005511004x11330055005555004400224x11000000005511005x11330055005555004400225x11000000005511001x11330055005555004400221x11000000005511003x11330055005555004400223x11000000005511002x11330055005555004400222x13000000005511000x13330055005555004400220x13000000005511004x13330055005555004400224x13000000005511005x13330055005555004400225x13000000005511001x13330055005555004400221x13000000005511003x13330055005555004400223x13000000005511002x13330055005555004400222x12000000005511000x12330055005555004400220x12000000005511004x12330055005555004400224x12000000005511005x12330055005555004400225x12000000005511001x12330055005555004400221x12000000005511003x12330055005555004400223x12000000005511002x12330055005555004400222x10003355000055220x10221144443322551144330x10003355000055224x10221144443322551144334x10003355000055225x10221144443322551144335x10003355000055221x10221144443322551144331x10003355000055223x10221144443322551144333x10003355000055222x10221144443322551144332x14003355000055220x14221144443322551144330x14003355000055224x14221144443322551144334x14003355000055225x14221144443322551144335x14003355000055221x14221144443322551144331x14003355000055223x14221144443322551144333x14003355000055222x14221144443322551144332x15003355000055220x15221144443322551144330x15003355000055224x15221144443322551144334x15003355000055225x15221144443322551144335x15003355000055221x15221144443322551144331x15003355000055223x15221144443322551144333x15003355000055222x15221144443322551144332x11003355000055220x11221144443322551144330x11003355000055224x11221144443322551144334x11003355000055225x11221144443322551144335x11003355000055221x11221144443322551144331x11003355000055223x11221144443322551144333x11003355000055222x11221144443322551144332x13003355000055220x13221144443322551144330x13003355000055224x13221144443322551144334x13003355000055225x13221144443322551144335x13003355000055221x13221144443322551144331x13003355000055223x13221144443322551144333x13003355000055222x13221144443322551144332x12003355000055220x12221144443322551144330x12003355000055224x12221144443322551144334x12003355000055225x12221144443322551144335x12003355000055221x12221144443322551144331x12003355000055223x12221144443322551144333x12003355000055222x12221144443322551144332x10110011443355550x10333300335544334400110x10110011443355554x10333300335544334400114x10110011443355555x10333300335544334400115x10110011443355551x10333300335544334400111x10110011443355553x10333300335544334400113x10110011443355552x10333300335544334400112x14110011443355550x14333300335544334400110x14110011443355554x14333300335544334400114x14110011443355555x14333300335544334400115x14110011443355551x14333300335544334400111x14110011443355553x14333300335544334400113x14110011443355552x14333300335544334400112x15110011443355550x15333300335544334400110x15110011443355554x15333300335544334400114x15110011443355555x15333300335544334400115x15110011443355551x15333300335544334400111x15110011443355553x15333300335544334400113x15110011443355552x15333300335544334400112x11110011443355550x11333300335544334400110x11110011443355554x11333300335544334400114x11110011443355555x11333300335544334400115x11110011443355551x11333300335544334400111x11110011443355553x11333300335544334400113x11110011443355552x11333300335544334400112x13110011443355550x13333300335544334400110x13110011443355554x13333300335544334400114x13110011443355555x13333300335544334400115x13110011443355551x13333300335544334400111x13110011443355553x13333300335544334400113x13110011443355552x13333300335544334400112x12110011443355550x12333300335544334400110x12110011443355554x12333300335544334400114x12110011443355555x12333300335544334400115x12110011443355551x12333300335544334400111x12110011443355553x12333300335544334400113x12110011443355552x12333300335544334400112x10115511000044330x10444411114400443300330x10115511000044334x10444411114400443300334x10115511000044335x10444411114400443300335x10115511000044331x10444411114400443300331x10115511000044333x10444411114400443300333x10115511000044332x10444411114400443300332x14115511000044330x14444411114400443300330x14115511000044334x14444411114400443300334x14115511000044335x14444411114400443300335x14115511000044331x14444411114400443300331x14115511000044333x14444411114400443300333x14115511000044332x14444411114400443300332x15115511000044330x15444411114400443300330x15115511000044334x15444411114400443300334x15115511000044335x15444411114400443300335x15115511000044331x15444411114400443300331x15115511000044333x15444411114400443300333x15115511000044332x15444411114400443300332x11115511000044330x11444411114400443300330x11115511000044334x11444411114400443300334x11115511000044335x11444411114400443300335x11115511000044331x11444411114400443300331x11115511000044333x11444411114400443300333x11115511000044332x11444411114400443300332x13115511000044330x13444411114400443300330x13115511000044334x13444411114400443300334x13115511000044335x13444411114400443300335x13115511000044331x13444411114400443300331x13115511000044333x13444411114400443300333x13115511000044332x13444411114400443300332x12115511000044330x12444411114400443300330x12115511000044334x12444411114400443300334x12115511000044335x12444411114400443300335x12115511000044331x12444411114400443300331x12115511000044333x12444411114400443300333x12115511000044332x12444411114400443300332x10220000445511330x10110022114433004444220x10220000445511334x10110022114433004444224x10220000445511335x10110022114433004444225x10220000445511331x10110022114433004444221x10220000445511333x10110022114433004444223x10220000445511332x10110022114433004444222x14220000445511330x14110022114433004444220x14220000445511334x14110022114433004444224x14220000445511335x14110022114433004444225x14220000445511331x14110022114433004444221x14220000445511333x14110022114433004444223x14220000445511332x14110022114433004444222x15220000445511330x15110022114433004444220x15220000445511334x15110022114433004444224x15220000445511335x15110022114433004444225x15220000445511331x15110022114433004444221x15220000445511333x15110022114433004444223x15220000445511332x15110022114433004444222x11220000445511330x11110022114433004444220x11220000445511334x11110022114433004444224x11220000445511335x11110022114433004444225x11220000445511331x11110022114433004444221x11220000445511333x11110022114433004444223x11220000445511332x11110022114433004444222x13220000445511330x13110022114433004444220x13220000445511334x13110022114433004444224x13220000445511335x13110022114433004444225x13220000445511331x13110022114433004444221x13220000445511333x13110022114433004444223x13220000445511332x13110022114433004444222x12220000445511330x12110022114433004444220x12220000445511334x12110022114433004444224x12220000445511335x12110022114433004444225x12220000445511331x12110022114433004444221x12220000445511333x12110022114433004444223x12220000445511332x12110022114433004444222x10330000555511330x10224455224444220000330x10330000555511334x10224455224444220000334x10330000555511335x10224455224444220000335x10330000555511331x10224455224444220000331x10330000555511333x10224455224444220000333x10330000555511332x10224455224444220000332x14330000555511330x14224455224444220000330x14330000555511334x14224455224444220000334x14330000555511335x14224455224444220000335x14330000555511331x14224455224444220000331x14330000555511333x14224455224444220000333x14330000555511332x14224455224444220000332x15330000555511330x15224455224444220000330x15330000555511334x15224455224444220000334x15330000555511335x15224455224444220000335x15330000555511331x15224455224444220000331x15330000555511333x15224455224444220000333x15330000555511332x15224455224444220000332x11330000555511330x11224455224444220000330x11330000555511334x11224455224444220000334x11330000555511335x11224455224444220000335x11330000555511331x11224455224444220000331x11330000555511333x11224455224444220000333x11330000555511332x11224455224444220000332x13330000555511330x13224455224444220000330x13330000555511334x13224455224444220000334x13330000555511335x13224455224444220000335x13330000555511331x13224455224444220000331x13330000555511333x13224455224444220000333x13330000555511332x13224455224444220000332x12330000555511330x12224455224444220000330x12330000555511334x12224455224444220000334x12330000555511335x12224455224444220000335x12330000555511331x12224455224444220000331x12330000555511333x12224455224444220000333x12330000555511332x12224455224444220000332x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x10442244000011550x10223344113300112233220x10442244000011554x10223344113300112233224x10442244000011555x10223344113300112233225x10442244000011551x10223344113300112233221x10442244000011553x10223344113300112233223x10442244000011552x10223344113300112233222x14442244000011550x14223344113300112233220x14442244000011554x14223344113300112233224x14442244000011555x14223344113300112233225x14442244000011551x14223344113300112233221x14442244000011553x14223344113300112233223x14442244000011552x14223344113300112233222x15442244000011550x15223344113300112233220x15442244000011554x15223344113300112233224x15442244000011555x15223344113300112233225x15442244000011551x15223344113300112233221x15442244000011553x15223344113300112233223x15442244000011552x15223344113300112233222x11442244000011550x11223344113300112233220x11442244000011554x11223344113300112233224x11442244000011555x11223344113300112233225x11442244000011551x11223344113300112233221x11442244000011553x11223344113300112233223x11442244000011552x11223344113300112233222x13442244000011550x13223344113300112233220x13442244000011554x13223344113300112233224x13442244000011555x13223344113300112233225x13442244000011551x13223344113300112233221x13442244000011553x13223344113300112233223x13442244000011552x13223344113300112233222x12442244000011550x12223344113300112233220x12442244000011554x12223344113300112233224x12442244000011555x12223344113300112233225x12442244000011551x12223344113300112233221x12442244000011553x12223344113300112233223x12442244000011552x12223344113300112233222x11001111041114411145111511111111113111311111211121111101111141110511111511110111103111021114011142111231113011124111341114111143111501113311132111251113511154111201111521115511153111221114004x144422330022442233444x14001x144422330022442233441x14003x144422330022442233443x14002x144422330022442233442x1000110x104411330022115500110x1000114x104411330022115500114x1000115x104411330022115500115x1000111x104411330022115500111x1000113x104411330022115500113x1000112x104411330022115500112x10333355440x103333224433330033440x10333355444x103333224433330033444x10333355445x103333224433330033445x10333355441x103333224433330033441x10333355443x103333224433330033443x10333355442x103333224433330033442x13000044000x133300555533222255000x13000044004x133300555533222255004x13000044005x133300555533222255005x13000044001x133300555533222255001x13000044003x133300555533222255003x13000044002x133300555533222255002x1411003344330x141144554411220011330x1411003344334x141144554411220011334x1411003344335x141144554411220011335x1411003344331x141144554411220011331x1411003344333x141144554411220011333x1411003344332x141144554411220011332x104455225555550x104411440011332222330x104455225555554x104411440011332222334x104455225555555x104411440011332222335x104455225555551x104411440011332222331x104455225555553x104411440011332222333x104455225555552x104411440011332222332x143300440033440x142244224444003300440x143300440033444x142244224444003300444x143300440033445x142244224444003300445x143300440033441x142244224444003300441x143300440033443x142244224444003300443x143300440033442x142244224444003300442x104400000x10222222330000444422110x104400004x10222222330000444422114x104400005x10222222330000444422115x104400001x10222222330000444422111x104400003x10222222330000444422113x104400002x10222222330000444422112x144400000x14222222330000444422110x144400004x14222222330000444422114x144400005x14222222330000444422115x144400001x14222222330000444422111x144400003x14222222330000444422113x144400002x14222222330000444422112x154400000x15222222330000444422110x154400004x15222222330000444422114x154400005x15222222330000444422115x154400001x15222222330000444422111x154400003x15222222330000444422113x154400002x15222222330000444422112x114400000x11222222330000444422110x114400004x11222222330000444422114x114400005x11222222330000444422115x114400001x11222222330000444422111x114400003x11222222330000444422113x114400002x11222222330000444422112x134400000x13222222330000444422110x134400004x13222222330000444422114x134400005x13222222330000444422115x134400001x13222222330000444422111x134400003x13222222330000444422113x134400002x13222222330000444422112x124400000x12222222330000444422110x124400004x12222222330000444422114x124400005x12222222330000444422115x124400001x12222222330000444422111x124400003x12222222330000444422113x124400002x12222222330000444422112x14550011550x14335533444433222211550x14550011554x14335533444433222211554x14550011555x14335533444433222211555x14550011551x14335533444433222211551x14550011553x14335533444433222211553x14550011552x14335533444433222211552x15550011550x15335533444433222211550x15550011554x15335533444433222211554x15550011555x15335533444433222211555x15550011551x15335533444433222211551x15550011553x15335533444433222211553x15550011552x15335533444433222211552x13550011550x13335533444433222211550x13550011554x13335533444433222211554x13550011555x13335533444433222211555x13550011551x13335533444433222211551x13550011553x13335533444433222211553x13550011552x13335533444433222211552x12550011550x12335533444433222211550x12550011554x12335533444433222211554x12550011555x12335533444433222211555x12550011551x12335533444433222211551x12550011553x12335533444433222211553x12550011552x12335533444433222211552x1044003344000x10223300332233555544000x1044003344004x10223300332233555544004x1044003344005x10223300332233555544005x1044003344001x10223300332233555544001x1044003344003x10223300332233555544003x1044003344002x10223300332233555544002x1444003344000x14223300332233555544000x1444003344004x14223300332233555544004x1444003344005x14223300332233555544005x1444003344001x14223300332233555544001x1444003344003x14223300332233555544003x1444003344002x14223300332233555544002x1544003344000x15223300332233555544000x1544003344004x15223300332233555544004x1544003344005x15223300332233555544005x1544003344001x15223300332233555544001x1544003344003x15223300332233555544003x1544003344002x15223300332233555544002x1144003344000x11223300332233555544000x1144003344004x11223300332233555544004x1144003344005x11223300332233555544005x1144003344001x11223300332233555544001x1144003344003x11223300332233555544003x1144003344002x11223300332233555544002x1344003344000x13223300332233555544000x1344003344004x13223300332233555544004x1344003344005x13223300332233555544005x1344003344001x13223300332233555544001x1344003344003x13223300332233555544003x1344003344002x13223300332233555544002x1244003344000x12223300332233555544000x1244003344004x12223300332233555544004x1244003344005x12223300332233555544005x1244003344001x12223300332233555544001x1244003344003x12223300332233555544003x1244003344002x12223300332233555544002x102244115511004x10110033114455005544444x102244115511001x10110033114455005544441x102244115511003x10110033114455005544443x102244115511002x10110033114455005544442x142244115511004x14110033114455005544444x142244115511001x14110033114455005544441x142244115511003x14110033114455005544443x142244115511002x14110033114455005544442x152244115511004x15110033114455005544444x152244115511001x15110033114455005544441x152244115511003x15110033114455005544443x152244115511002x15110033114455005544442x112244115511004x11110033114455005544444x112244115511001x11110033114455005544441x112244115511003x11110033114455005544443x112244115511002x11110033114455005544442x132244115511004x13110033114455005544444x132244115511001x13110033114455005544441x132244115511003x13110033114455005544443x132244115511002x13110033114455005544442x122244115511004x12110033114455005544444x122244115511001x12110033114455005544441x122244115511003x12110033114455005544443x122244115511002x12110033114455005544442x103355225555110x10221133445511440044110x103355225555114x10221133445511440044114x103355225555115x10221133445511440044115x103355225555111x10221133445511440044111x103355225555113x10221133445511440044113x103355225555112x10221133445511440044112x143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x133355225555110x13221133445511440044110x133355225555114x13221133445511440044114x133355225555115x13221133445511440044115x133355225555111x13221133445511440044111x133355225555113x13221133445511440044113x133355225555112x13221133445511440044112x123355225555110x12221133445511440044110x123355225555114x12221133445511440044114x123355225555115x12221133445511440044115x123355225555111x12221133445511440044111x123355225555113x12221133445511440044113x123355225555112x12221133445511440044112x10110011443355550x10333300335544334400110x10110011443355555x10333300335544334400115x14110011443355550x14333300335544334400110x14110011443355555x14333300335544334400115x15110011443355550x15333300335544334400110x15110011443355555x15333300335544334400115x11110011443355550x11333300335544334400110x11110011443355555x11333300335544334400115x13110011443355550x13333300335544334400110x13110011443355555x13333300335544334400115x12110011443355550x12333300335544334400110x12110011443355555x12333300335544334400115x10220000445511330x10110022114433004444220x14220000445511330x14110022114433004444220x15220000445511330x15110022114433004444220x11220000445511330x11110022114433004444220x13220000445511330x13110022114433004444220x12220000445511330x12110022114433004444220x10330000555511330x10224455224444220000330x10330000555511334x10224455224444220000334x10330000555511335x10224455224444220000335x10330000555511331x10224455224444220000331x10330000555511333x10224455224444220000333x10330000555511332x10224455224444220000332x14330000555511330x14224455224444220000330x14330000555511334x14224455224444220000334x14330000555511335x14224455224444220000335x14330000555511331x14224455224444220000331x14330000555511333x14224455224444220000333x14330000555511332x14224455224444220000332x15330000555511330x15224455224444220000330x15330000555511334x15224455224444220000334x15330000555511335x15224455224444220000335x15330000555511331x15224455224444220000331x15330000555511333x15224455224444220000333x15330000555511332x15224455224444220000332x11330000555511330x11224455224444220000330x11330000555511334x11224455224444220000334x11330000555511335x11224455224444220000335x11330000555511331x11224455224444220000331x11330000555511333x11224455224444220000333x11330000555511332x11224455224444220000332x13330000555511330x13224455224444220000330x13330000555511334x13224455224444220000334x13330000555511335x13224455224444220000335x13330000555511331x13224455224444220000331x13330000555511333x13224455224444220000333x13330000555511332x13224455224444220000332x12330000555511330x12224455224444220000330x12330000555511334x12224455224444220000334x12330000555511335x12224455224444220000335x12330000555511331x12224455224444220000331x12330000555511333x12224455224444220000333x12330000555511332x12224455224444220000332x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1140111300411144111421111231113011102111241113411130111156411111803111431110011119910111135131112111118151111615011114111111111812111133111335111541116321114511150511115255111255311162211125111432011151311112152111751111620333355440x103333224433330033440x10333355444x103333224433330033444x10333355445x103333224433330033445x10333355441x103333224433330033441x10333355443x103333224433330033443x10333355442x103333224433330033442x13000044000x133300555533222255000x13000044004x133300555533222255004x13000044005x133300555533222255005x13000044001x133300555533222255001x13000044003x133300555533222255003x13000044002x133300555533222255002x102244115511002x10110033114455005544442x143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x14110011443355555x14333300335544334400115x11110011443355555x11333300335544334400115x13110011443355555x13333300335544334400115x12110011443355555x12333300335544334400115x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1103111331113511154111401113211124111431113011134111441114511141111142111001112041110511155111531112211125111250111011112021111151115111111011131111114111521112111111311111111112111231110333355440x103333224433330033440x10333355444x103333224433330033444x10333355445x103333224433330033445x10333355441x103333224433330033441x10333355443x103333224433330033443x10333355442x103333224433330033442x13000044000x133300555533222255000x13000044004x133300555533222255004x13000044005x133300555533222255005x13000044001x133300555533222255001x13000044003x133300555533222255003x13000044002x133300555533222255002x143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1103111331113511115411140111321112411143111301113411144111451111411114211100111041110511155111531112211125111501110111102111521115111110111211111311114111151111111112111231113000044000x133300555533222255000x13000044004x133300555533222255004x13000044005x133300555533222255005x13000044001x133300555533222255001x13000044003x133300555533222255003x13000044002x133300555533222255002x143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x11301110011104111140111331110511155111531113211122111251115011101111031110211143111351113521115111110111421112111113111341111451111411114111115111111111121115411114411112411112311143355225555110x14221133445511440044110x143355225555114x14221133445511440044114x143355225555115x14221133445511440044115x143355225555111x14221133445511440044111x143355225555113x14221133445511440044113x143355225555112x14221133445511440044112x153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1143111351115211112511155111511111011142111211111311134111451111411140111041114111115111111111211115311100111031113311130111011115411144111241112311153355225555110x15221133445511440044110x153355225555114x15221133445511440044114x153355225555115x15221133445511440044115x153355225555111x15221133445511440044111x153355225555113x15221133445511440044113x153355225555112x15221133445511440044112x113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1153111351111521112511155111511111011121111131113411145111141114011104111411111511111111121111001110311133111301110111154111441114311142111241112311113355225555110x11221133445511440044110x113355225555114x11221133445511440044114x113355225555115x11221133445511440044115x113355225555111x11221133445511440044111x113355225555113x11221133445511440044113x113355225555112x11221133445511440044112x10440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x11131113511152111125111551115111110111121112111134111451111411140111041114111115111111110011103111331113011101111541114411143111421115311124111231110440000440033440x10333333330011554400440x10440000440033444x10333333330011554400444x10440000440033445x10333333330011554400445x10440000440033441x10333333330011554400441x10440000440033443x10333333330011554400443x10440000440033442x10333333330011554400442x14440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x11041111401110011103111341113311130111011111511154111441114511141111431114211153111141111311124111231114440000440033440x14333333330011554400440x14440000440033444x14333333330011554400444x14440000440033445x14333333330011554400445x14440000440033441x14333333330011554400441x14440000440033443x14333333330011554400443x14440000440033442x14333333330011554400442x15440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x11441111401110011104111031113411143111331113011101111151115411145111411114211153111141111311124111231115440000440033440x15333333330011554400440x15440000440033444x15333333330011554400444x15440000440033445x15333333330011554400445x15440000440033441x15333333330011554400441x15440000440033443x15333333330011554400443x15440000440033442x15333333330011554400442x11440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x11541114011100111404111031113411153111331111301110111115111441114511141111431114211114111131111241112311111440000440033440x11333333330011554400440x11440000440033444x11333333330011554400444x11440000440033445x11333333330011554400445x11440000440033441x11333333330011554400441x11440000440033443x11333333330011554400443x11440000440033442x11333333330011554400442x13440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x111411114011100111041110311134111131113311130111011111511154111441114511141111431114211124111231113440000440033440x13333333330011554400440x13440000440033444x13333333330011554400444x13440000440033445x13333333330011554400445x13440000440033441x13333333330011554400441x13440000440033443x13333333330011554400443x13440000440033442x13333333330011554400442x12440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x113411140111100111041110311133111301110111115111541114411145111411114311142111241112311112440000440033440x12333333330011554400440x12440000440033444x12333333330011554400444x12440000440033445x12333333330011554400445x12440000440033441x12333333330011554400441x12440000440033443x12333333330011554400443x12440000440033442x12333333330011554400442x1124111401111001110411103111341112311133111301110111115111541114411145111411114311142111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (17 real / 0 unknown / 0 assumptions / 17 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe