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