YES 000110332033311321x1003211110023330133x1002200200003133003x1020002100300023033x1003013310030220120x1023013003210020310x1010303203313231000x1010001333003312230x1011011233221203232x1022320031223111132x1012231202120323102x1031120121002232232x1012322313332013131x1023211313130223331x1013120212203232312x1002321201322323112x1020313130031011230x1022313030310110130x1020333223221021202x1022230132230201322x1022213101312020323x1031232321110002322x1023212030202102012x1322210200000322112x1030200012013123313x1001002023211313303x1030331000301030203x1000213303000033103x1031101323100120303x1021033211000113303x1100131323113103220x1132111321332001003x1101012032313100111x1210113321010300111x1101232333310032320x1320212230331133300x1102103110132120020x1100111013222200013x1103110320133203303x1213001010333021333x1110303331012233113x1133332300112311013x1113213233112310201x1322330223301111111x1120012331301103231x1113001221031213033x1120302003132333031x1331032002332331001x1120332233113013120x1111313300222333021x1122032132022120202x1122220123202102302x1122120312013032131x1211222031302101133x1122200103010310320x1111300003222100023x1123322012233210331x1122302102332332131x1123332021003313133x1133133002233012313x1130123231121320201x1113131321220300221x1130312013121210003x1100302320102111133x1131203312222022330x1122313231202302230x1132230330313110301x1111110300323303233x1200102002011102110x1000000221121101210x1200132032111032033x1201330112210303023x1200133100313001220x1230023330011021010x1200321313203332033x1233022133033233001x1201303131133211003x1133311113000221033x1202122123331333122x1220212113313333222x1202220102012102000x1212200002200022110x1203020332011201101x1113030223201020011x1203110303320220023x1222302033021130003x1203213212032231123x1322232213211301023x1203222331231230032x1222133030022132332x1203223011201132022x1032021312113002222x1210230131231201330x1233011222311031030x1212302201312000313x1200003221103223113x1213012020101232132x1211320211100320232x1213312023213130312x1211331232303023112x1220220223333223032x1222032332322300232x1220331232322011231x1323312221022130321x1231230332232321220x1233202213023322213x1300012121031002202x1300020021012230211x1300122033030213033x1312302300023013303x1300132101332311033x1301131300230123313x1301033320231202202x1303302220110032322x1302200322032121332x1303302132002322122x1302232202010102031x1122213022000200313x1302310032201321210x1300002123122130231x1310112020102231201x1301021211002102312x1310122012011303231x1302301032111131202x1310132203033003101x1312200313301300031x1311333311013131233x1311313132131013333x1312132013030030020x1300002023313121300x1312310313210323202x1310113223210032332x1320021310033131033x1331000023033121313x1320101203223312333x1333002212303321312x1320120133303112110x1130210323211113300x1320202002212032033x1221223303020200230x1320220000312102330x1123022220130330000x1320331110213333003x1311001320021333333x1321012231202030020x1323200023220210110x1322033130320110131x1333011313223020101x1322311120101310013x1111121130002231033x1323102123122030333x1331000322132312233x1323230303101020202x1113303230230022002x1323300132302203020x1300123300232232300x1332020013132032103x1133012230022003133x1333202023032311020x1300232222033011330x12.10132000110332033311321x1003211110023330133x1002200200003133003x1020002100300023033x1003013310030220120x1023013003210020310x1010303203313231000x1010001333003312230x1011011233221203232x1022320031223111132x1012231202120323102x1031120121002232232x1012322313332013131x1023211313130223331x1013120212203232312x1002321201322323112x1020313130031011230x1022313030310110130x1020333223221021202x1022230132230201322x1022213101312020323x1031232321110002322x1030200012013123313x1001002023211313303x1030331000301030203x1000213303000033103x1031101323100120303x1021033211000113303x1100131323113103220x1132111321332001003x1102103110132120020x1100111013222200013x1110303331012233113x1133332300112311013x1120012331301103231x1113001221031213033x1120332233113013120x1111313300222333021x1122032132022120202x1122220123202102302x1122200103010310320x1111300003222100023x1123322012233210331x1122302102332332131x1123332021003313133x1133133002233012313x1130123231121320201x1113131321220300221x1130312013121210003x1100302320102111133x1131203312222022330x1122313231202302230x1132230330313110301x1111110300323303233x1200132032111032033x1201330112210303023x1200133100313001220x1230023330011021010x1200321313203332033x1233022133033233001x1202122123331333122x1220212113313333222x1202220102012102000x1212200002200022110x1203110303320220023x1222302033021130003x1203222331231230032x1222133030022132332x1210230131231201330x1233011222311031030x1212302201312000313x1200003221103223113x1213012020101232132x1211320211100320232x1213312023213130312x1211331232303023112x1220220223333223032x1222032332322300232x1231230332232321220x1233202213023322213x1300012121031002202x1300020021012230211x1300122033030213033x1312302300023013303x1300132101332311033x1301131300230123313x1301033320231202202x1303302220110032322x1302200322032121332x1303302132002322122x1302310032201321210x1300002123122130231x1310112020102231201x1301021211002102312x1310122012011303231x1302301032111131202x1310132203033003101x1312200313301300031x1311333311013131233x1311313132131013333x1312132013030030020x1300002023313121300x1312310313210323202x1310113223210032332x1320021310033131033x1331000023033121313x1320101203223312333x1333002212303321312x1320331110213333003x1311001320021333333x1321012231202030020x1323200023220210110x1322033130320110131x1333011313223020101x1323102123122030333x1331000322132312233x1323300132302203020x1300123300232232300x1333202023032311020x1300232222033011330x10023212030202102012x10322210200000322112x11023212030202102012x11322210200000322112x13023212030202102012x13322210200000322112x12023212030202102012x12322210200000322112x10101012032313100111x10210113321010300111x11101012032313100111x11210113321010300111x13101012032313100111x13210113321010300111x12101012032313100111x12210113321010300111x10101232333310032320x10320212230331133300x11101232333310032320x11320212230331133300x13101232333310032320x13320212230331133300x12101232333310032320x12320212230331133300x10103110320133203303x10213001010333021333x11103110320133203303x11213001010333021333x13103110320133203303x13213001010333021333x12103110320133203303x12213001010333021333x10113213233112310201x10322330223301111111x11113213233112310201x11322330223301111111x13113213233112310201x13322330223301111111x12113213233112310201x12322330223301111111x10120302003132333031x10331032002332331001x11120302003132333031x11331032002332331001x13120302003132333031x13331032002332331001x12120302003132333031x12331032002332331001x10122120312013032131x10211222031302101133x11122120312013032131x11211222031302101133x13122120312013032131x13211222031302101133x12122120312013032131x12211222031302101133x10200102002011102110x10000000221121101210x11200102002011102110x11000000221121101210x13200102002011102110x13000000221121101210x12200102002011102110x12000000221121101210x10201303131133211003x10133311113000221033x11201303131133211003x11133311113000221033x13201303131133211003x13133311113000221033x12201303131133211003x12133311113000221033x10203020332011201101x10113030223201020011x11203020332011201101x11113030223201020011x13203020332011201101x13113030223201020011x12203020332011201101x12113030223201020011x10203213212032231123x10322232213211301023x11203213212032231123x11322232213211301023x13203213212032231123x13322232213211301023x12203213212032231123x12322232213211301023x10203223011201132022x10032021312113002222x11203223011201132022x11032021312113002222x13203223011201132022x13032021312113002222x12203223011201132022x12032021312113002222x10220331232322011231x10323312221022130321x11220331232322011231x11323312221022130321x13220331232322011231x13323312221022130321x12220331232322011231x12323312221022130321x10302232202010102031x10122213022000200313x11302232202010102031x11122213022000200313x13302232202010102031x13122213022000200313x12302232202010102031x12122213022000200313x10320120133303112110x10130210323211113300x11320120133303112110x11130210323211113300x13320120133303112110x13130210323211113300x12320120133303112110x12130210323211113300x10320202002212032033x10221223303020200230x11320202002212032033x11221223303020200230x13320202002212032033x13221223303020200230x12320202002212032033x12221223303020200230x10320220000312102330x10123022220130330000x11320220000312102330x11123022220130330000x13320220000312102330x13123022220130330000x12320220000312102330x12123022220130330000x10322311120101310013x10111121130002231033x11322311120101310013x11111121130002231033x13322311120101310013x13111121130002231033x12322311120101310013x12111121130002231033x10323230303101020202x10113303230230022002x11323230303101020202x11113303230230022002x13323230303101020202x13113303230230022002x12323230303101020202x12113303230230022002x10332020013132032103x10133012230022003133x11332020013132032103x11133012230022003133x13332020013132032103x13133012230022003133x12332020013132032103x12133012230022003133x1000001111003333220033333311113322110x1000332211111111000022333333001133330x1000001111003333220033333311113322111x1000332211111111000022333333001133331x1000001111003333220033333311113322113x1000332211111111000022333333001133333x1000001111003333220033333311113322112x1000332211111111000022333333001133332x1000222200002200000000331133330000330x1022000000221100003300000022330033330x1000222200002200000000331133330000331x1022000000221100003300000022330033331x1000222200002200000000331133330000333x1022000000221100003300000022330033333x1000222200002200000000331133330000332x1022000000221100003300000022330033332x1000330011333311000033002222001122000x1022330011330000332211000022003311000x1000330011333311000033002222001122001x1022330011330000332211000022003311001x1000330011333311000033002222001122003x1022330011330000332211000022003311003x1000330011333311000033002222001122002x1022330011330000332211000022003311002x1011003300332200333311332233110000000x1011000000113333330000333311222233000x1011003300332200333311332233110000001x1011000000113333330000333311222233001x1011003300332200333311332233110000003x1011000000113333330000333311222233003x1011003300332200333311332233110000002x1011000000113333330000333311222233002x1011110011112233332222112200332233220x1022223322000033112222331111111133220x1011110011112233332222112200332233221x1022223322000033112222331111111133221x1011110011112233332222112200332233223x1022223322000033112222331111111133223x1011110011112233332222112200332233222x1022223322000033112222331111111133222x1011222233112200221122003322331100220x1033111122001122110000222233222233220x1011222233112200221122003322331100221x1033111122001122110000222233222233221x1011222233112200221122003322331100223x1033111122001122110000222233222233223x1011222233112200221122003322331100222x1033111122001122110000222233222233222x1011223322223311333333220011331133110x1022332211113311331133002222333333110x1011223322223311333333220011331133111x1022332211113311331133002222333333111x1011223322223311333333220011331133113x1022332211113311331133002222333333113x1011223322223311333333220011331133112x1022332211113311331133002222333333112x1011331122002211222200332233223311220x1000223322112200113322223322331111220x1011331122002211222200332233223311221x1000223322112200113322223322331111221x1011331122002211222200332233223311223x1000223322112200113322223322331111223x1011331122002211222200332233223311222x1000223322112200113322223322331111222x1022003311331133000033110011112233000x1022223311330033003311001111001133000x1022003311331133000033110011112233001x1022223311330033003311001111001133001x1022003311331133000033110011112233003x1022223311330033003311001111001133003x1022003311331133000033110011112233002x1022223311330033003311001111001133002x1022003333332222332222110022112200220x1022222233001133222233002200113322220x1022003333332222332222110022112200221x1022222233001133222233002200113322221x1022003333332222332222110022112200223x1022222233001133222233002200113322223x1022003333332222332222110022112200222x1022222233001133222233002200113322222x1022222211331100113311220022003322330x1033112233223322111111000000223322220x1022222211331100113311220022003322331x1033112233223322111111000000223322221x1022222211331100113311220022003322333x1033112233223322111111000000223322223x1022222211331100113311220022003322332x1033112233223322111111000000223322222x1033002200000011220011331122333311330x1000110000220022332211113311333300330x1033002200000011220011331122333311331x1000110000220022332211113311333300331x1033002200000011220011331122333311333x1000110000220022332211113311333300333x1033002200000011220011331122333311332x1000110000220022332211113311333300332x1033003333110000003300110033002200330x1000002211333300330000000033331100330x1033003333110000003300110033002200331x1000002211333300330000000033331100331x1033003333110000003300110033002200333x1000002211333300330000000033331100333x1033003333110000003300110033002200332x1000002211333300330000000033331100332x1033111100113322331100001122003300330x1022110033332211110000001111333300330x1033111100113322331100001122003300331x1022110033332211110000001111333300331x1033111100113322331100001122003300333x1022110033332211110000001111333300333x1033111100113322331100001122003300332x1022110033332211110000001111333300332x1100001133113322331111331100332222000x1133221111113322113333220000110000330x1100001133113322331111331100332222001x1133221111113322113333220000110000331x1100001133113322331111331100332222003x1133221111113322113333220000110000333x1100001133113322331111331100332222002x1133221111113322113333220000110000332x1100221100331111001133221122000022000x1100001111110011332222222200000011330x1100221100331111001133221122000022001x1100001111110011332222222200000011331x1100221100331111001133221122000022003x1100001111110011332222222200000011333x1100221100331111001133221122000022002x1100001111110011332222222200000011332x1111003300333333110011222233331111330x1133333333223300001111223311110011330x1111003300333333110011222233331111331x1133333333223300001111223311110011331x1111003300333333110011222233331111333x1133333333223300001111223311110011333x1111003300333333110011222233331111332x1133333333223300001111223311110011332x1122000011223333113300111100332233110x1111330000112222110033112211330033330x1122000011223333113300111100332233111x1111330000112222110033112211330033331x1122000011223333113300111100332233113x1111330000112222110033112211330033333x1122000011223333113300111100332233112x1111330000112222110033112211330033332x1122003333222233331111330011331122000x1111113311333300002222223333330022110x1122003333222233331111330011331122001x1111113311333300002222223333330022111x1122003333222233331111330011331122003x1111113311333300002222223333330022113x1122003333222233331111330011331122002x1111113311333300002222223333330022112x1122220033221133220022221122002200220x1122222222001122332200221100223300220x1122220033221133220022221122002200221x1122222222001122332200221100223300221x1122220033221133220022221122002200223x1122222222001122332200221100223300223x1122220033221133220022221122002200222x1122222222001122332200221100223300222x1122222200001100330011003311003322000x1111113300000000332222221100000022330x1122222200001100330011003311003322001x1111113300000000332222221100000022331x1122222200001100330011003311003322003x1111113300000000332222221100000022333x1122222200001100330011003311003322002x1111113300000000332222221100000022332x1122333322220011222233332211003333110x1122223300221100223333223333221133110x1122333322220011222233332211003333111x1122223300221100223333223333221133111x1122333322220011222233332211003333113x1122223300221100223333223333221133113x1122333322220011222233332211003333112x1122223300221100223333223333221133112x1122333333220022110000333311331133330x1133331133330000222233330011223311330x1122333333220022110000333311331133331x1133331133330000222233330011223311331x1122333333220022110000333311331133333x1133331133330000222233330011223311333x1122333333220022110000333311331133332x1133331133330000222233330011223311332x1133001122332233111122113322002200110x1111331133113322112222003300002222110x1133001122332233111122113322002200111x1111331133113322112222003300002222111x1133001122332233111122113322002200113x1111331133113322112222003300002222113x1133001122332233111122113322002200112x1111331133113322112222003300002222112x1133003311220011331122112211000000330x1100003300223322001100221111111133330x1133003311220011331122112211000000331x1100003300223322001100221111111133331x1133003311220011331122112211000000333x1100003300223322001100221111111133333x1133003311220011331122112211000000332x1100003300223322001100221111111133332x1133112200333311222222220022223333000x1122223311332233112200223300222233000x1133112200333311222222220022223333001x1122223311332233112200223300222233001x1133112200333311222222220022223333003x1122223311332233112200223300222233003x1133112200333311222222220022223333002x1122223311332233112200223300222233002x1133222233003333003311331111003300110x1111111111003300003322333300332233330x1133222233003333003311331111003300111x1111111111003300003322333300332233331x1133222233003333003311331111003300113x1111111111003300003322333300332233333x1133222233003333003311331111003300112x1111111111003300003322333300332233332x1200001133220033221111110033220033330x1200113333001111222211003300330022330x1200001133220033221111110033220033331x1200113333001111222211003300330022331x1200001133220033221111110033220033333x1200113333001111222211003300330022333x1200001133220033221111110033220033332x1200113333001111222211003300330022332x1200001133331100003311330000112222000x1233000022333333000011110022110011000x1200001133331100003311330000112222001x1233000022333333000011110022110011001x1200001133331100003311330000112222003x1233000022333333000011110022110011003x1200001133331100003311330000112222002x1233000022333333000011110022110011002x1200003322113311332200333333220033330x1233330022221133330033332233330000110x1200003322113311332200333333220033331x1233330022221133330033332233330000111x1200003322113311332200333333220033333x1233330022221133330033332233330000113x1200003322113311332200333333220033332x1233330022221133330033332233330000112x1200221122221122333333113333331122220x1222002211221111333311333333332222220x1200221122221122333333113333331122221x1222002211221111333311333333332222221x1200221122221122333333113333331122223x1222002211221111333311333333332222223x1200221122221122333333113333331122222x1222002211221111333311333333332222222x1200222222001100220011221100220000000x1211222200000000222200000022221111000x1200222222001100220011221100220000001x1211222200000000222200000022221111001x1200222222001100220011221100220000003x1211222200000000222200000022221111003x1200222222001100220011221100220000002x1211222200000000222200000022221111002x1200331111003300333322002222000022330x1222223300220033330022111133000000330x1200331111003300333322002222000022331x1222223300220033330022111133000000331x1200331111003300333322002222000022333x1222223300220033330022111133000000333x1200331111003300333322002222000022332x1222223300220033330022111133000000332x1200332222223333112233112233000033220x1222221133330033000022221133223333220x1200332222223333112233112233000033221x1222221133330033000022221133223333221x1200332222223333112233112233000033223x1222221133330033000022221133223333223x1200332222223333112233112233000033222x1222221133330033000022221133223333222x1211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1211223300222200113311220000003311330x1200000000332222111100332222331111330x1211223300222200113311220000003311331x1200000000332222111100332222331111331x1211223300222200113311220000003311333x1200000000332222111100332222331111333x1211223300222200113311220000003311332x1200000000332222111100332222331111332x1211330011220022001100112233221133220x1211113322002211111100003322002233220x1211330011220022001100112233221133221x1211113322002211111100003322002233221x1211330011220022001100112233221133223x1211113322002211111100003322002233223x1211330011220022001100112233221133222x1211113322002211111100003322002233222x1211333311220022332211331133003311220x1211113333112233223300330022331111220x1211333311220022332211331133003311221x1211113333112233223300330022331111221x1211333311220022332211331133003311223x1211113333112233223300330022331111223x1211333311220022332211331133003311222x1211113333112233223300330022331111222x1222002222002222333333332222330033220x1222220033223333223322223300002233220x1222002222002222333333332222330033221x1222220033223333223322223300002233221x1222002222002222333333332222330033223x1222220033223333223322223300002233223x1222002222002222333333332222330033222x1222220033223333223322223300002233222x1233112233003333222233223322112222000x1233332200222211330022333322222211330x1233112233003333222233223322112222001x1233332200222211330022333322222211331x1233112233003333222233223322112222003x1233332200222211330022333322222211333x1233112233003333222233223322112222002x1233332200222211330022333322222211332x1300000011221122110033110000222200220x1300000022000022110011222233002211110x1300000011221122110033110000222200221x1300000022000022110011222233002211111x1300000011221122110033110000222200223x1300000022000022110011222233002211113x1300000011221122110033110000222200222x1300000022000022110011222233002211112x1300001122220033330033002211330033330x1311223300223300000022330011333300330x1300001122220033330033002211330033331x1311223300223300000022330011333300331x1300001122220033330033002211330033333x1311223300223300000022330011333300333x1300001122220033330033002211330033332x1311223300223300000022330011333300332x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1300110033333322002233112200222200220x1300333300222222001111000033223322220x1300110033333322002233112200222200221x1300333300222222001111000033223322221x1300110033333322002233112200222200223x1300333300222222001111000033223322223x1300110033333322002233112200222200222x1300333300222222001111000033223322222x1300222200003322220033221122113333220x1300333300221133220000223322221122220x1300222200003322220033221122113333221x1300333300221133220000223322221122221x1300222200003322220033221122113333223x1300333300221133220000223322221122223x1300222200003322220033221122113333222x1300333300221133220000223322221122222x1300223311000033222200113322112211000x1300000000221122331122221133002233110x1300223311000033222200113322112211001x1300000000221122331122221133002233111x1300223311000033222200113322112211003x1300000000221122331122221133002233113x1300223311000033222200113322112211002x1300000000221122331122221133002233112x1311001111220022001100222233112200110x1300110022112211110000221100223311220x1311001111220022001100222233112200111x1300110022112211110000221100223311221x1311001111220022001100222233112200113x1300110022112211110000221100223311223x1311001111220022001100222233112200112x1300110022112211110000221100223311222x1311001122220011220011113300332233110x1300223300110033221111111133112200220x1311001122220011220011113300332233111x1300223300110033221111111133112200221x1311001122220011220011113300332233113x1300223300110033221111111133112200223x1311001122220011220011113300332233112x1300223300110033221111111133112200222x1311001133222200330033330000331100110x1311222200003311333300113300000033110x1311001133222200330033330000331100111x1311222200003311333300113300000033111x1311001133222200330033330000331100113x1311222200003311333300113300000033113x1311001133222200330033330000331100112x1311222200003311333300113300000033112x1311113333333311110011331133112233330x1311113311331133221133110011333333330x1311113333333311110011331133112233331x1311113311331133221133110011333333331x1311113333333311110011331133112233333x1311113311331133221133110011333333333x1311113333333311110011331133112233332x1311113311331133221133110011333333332x1311221133220011330033000033000022000x1300000000220022333311331122113300000x1311221133220011330033000033000022001x1300000000220022333311331122113300001x1311221133220011330033000033000022003x1300000000220022333311331122113300003x1311221133220011330033000033000022002x1300000000220022333311331122113300002x1311223311003311332211003322332200220x1311001111332222332211000033223333220x1311223311003311332211003322332200221x1311001111332222332211000033223333221x1311223311003311332211003322332200223x1311001111332222332211000033223333223x1311223311003311332211003322332200222x1311001111332222332211000033223333222x1322000022113311000033331133110033330x1333110000000022330033331122113311330x1322000022113311000033331133110033331x1333110000000022330033331122113311331x1322000022113311000033331133110033333x1333110000000022330033331122113311333x1322000022113311000033331133110033332x1333110000000022330033331122113311332x1322001100112200332222333311223333330x1333330000222211223300333322113311220x1322001100112200332222333311223333331x1333330000222211223300333322113311221x1322001100112200332222333311223333333x1333330000222211223300333322113311223x1322001100112200332222333311223333332x1333330000222211223300333322113311222x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x1322110011222233112200220033000022000x1322332200000022332222002211001111000x1322110011222233112200220033000022001x1322332200000022332222002211001111001x1322110011222233112200220033000022003x1322332200000022332222002211001111003x1322110011222233112200220033000022002x1322332200000022332222002211001111002x1322220033331133003322001111001133110x1333330011113311332222330022001100110x1322220033331133003322001111001133111x1333330011113311332222330022001100111x1322220033331133003322001111001133113x1333330011113311332222330022001100113x1322220033331133003322001111001133112x1333330011113311332222330022001100112x1322331100221122331122220033003333330x1333110000003322221133223311222233330x1322331100221122331122220033003333331x1333110000003322221133223311222233331x1322331100221122331122220033003333333x1333110000003322221133223311222233333x1322331100221122331122220033003333332x1333110000003322221133223311222233332x1322333300001133223300222200330022000x1300001122333300002233222233223300000x1322333300001133223300222200330022001x1300001122333300002233222233223300001x1322333300001133223300222200330022003x1300001122333300002233222233223300003x1322333300001133223300222200330022002x1300001122333300002233222233223300002x1333332200220022330033223311110022000x1300002233222222220033330011113333000x1333332200220022330033223311110022001x1300002233222222220033330011113333001x1333332200220022330033223311110022003x1300002233222222220033330011113333003x1333332200220022330033223311110022002x1300002233222222220033330011113333002x100022332211220033002200221100220011220x103322222211002200000000003322221111220x100022332211220033002200221100220011221x103322222211002200000000003322221111221x100022332211220033002200221100220011223x103322222211002200000000003322221111223x100022332211220033002200221100220011222x103322222211002200000000003322221111222x110022332211220033002200221100220011220x113322222211002200000000003322221111220x110022332211220033002200221100220011221x113322222211002200000000003322221111221x110022332211220033002200221100220011223x113322222211002200000000003322221111223x110022332211220033002200221100220011222x113322222211002200000000003322221111222x130022332211220033002200221100220011220x133322222211002200000000003322221111220x130022332211220033002200221100220011221x133322222211002200000000003322221111221x130022332211220033002200221100220011223x133322222211002200000000003322221111223x130022332211220033002200221100220011222x133322222211002200000000003322221111222x120022332211220033002200221100220011220x123322222211002200000000003322221111220x120022332211220033002200221100220011221x123322222211002200000000003322221111221x120022332211220033002200221100220011223x123322222211002200000000003322221111223x120022332211220033002200221100220011222x123322222211002200000000003322221111222x101100110011220033223311331100001111110x102211001111333322110011003300001111110x101100110011220033223311331100001111111x102211001111333322110011003300001111111x101100110011220033223311331100001111113x102211001111333322110011003300001111113x101100110011220033223311331100001111112x102211001111333322110011003300001111112x111100110011220033223311331100001111110x112211001111333322110011003300001111110x111100110011220033223311331100001111111x112211001111333322110011003300001111111x111100110011220033223311331100001111113x112211001111333322110011003300001111113x111100110011220033223311331100001111112x112211001111333322110011003300001111112x131100110011220033223311331100001111110x132211001111333322110011003300001111110x131100110011220033223311331100001111111x132211001111333322110011003300001111111x131100110011220033223311331100001111113x132211001111333322110011003300001111113x131100110011220033223311331100001111112x132211001111333322110011003300001111112x121100110011220033223311331100001111110x122211001111333322110011003300001111110x121100110011220033223311331100001111111x122211001111333322110011003300001111111x121100110011220033223311331100001111113x122211001111333322110011003300001111113x121100110011220033223311331100001111112x122211001111333322110011003300001111112x101100112233223333333311000033223322000x103322002211222233003333111133333300000x101100112233223333333311000033223322001x103322002211222233003333111133333300001x101100112233223333333311000033223322003x103322002211222233003333111133333300003x101100112233223333333311000033223322002x103322002211222233003333111133333300002x111100112233223333333311000033223322000x113322002211222233003333111133333300000x111100112233223333333311000033223322001x113322002211222233003333111133333300001x111100112233223333333311000033223322003x113322002211222233003333111133333300003x111100112233223333333311000033223322002x113322002211222233003333111133333300002x131100112233223333333311000033223322000x133322002211222233003333111133333300000x131100112233223333333311000033223322001x133322002211222233003333111133333300001x131100112233223333333311000033223322003x133322002211222233003333111133333300003x131100112233223333333311000033223322002x133322002211222233003333111133333300002x121100112233223333333311000033223322000x123322002211222233003333111133333300000x121100112233223333333311000033223322001x123322002211222233003333111133333300001x121100112233223333333311000033223322003x123322002211222233003333111133333300003x121100112233223333333311000033223322002x123322002211222233003333111133333300002x101100331111003322001133332200333300330x102211330000110011003333330022113333330x101100331111003322001133332200333300331x102211330000110011003333330022113333331x101100331111003322001133332200333300333x102211330000110011003333330022113333333x101100331111003322001133332200333300332x102211330000110011003333330022113333332x111100331111003322001133332200333300330x112211330000110011003333330022113333330x111100331111003322001133332200333300331x112211330000110011003333330022113333331x111100331111003322001133332200333300333x112211330000110011003333330022113333333x111100331111003322001133332200333300332x112211330000110011003333330022113333332x131100331111003322001133332200333300330x132211330000110011003333330022113333330x131100331111003322001133332200333300331x132211330000110011003333330022113333331x131100331111003322001133332200333300333x132211330000110011003333330022113333333x131100331111003322001133332200333300332x132211330000110011003333330022113333332x121100331111003322001133332200333300330x122211330000110011003333330022113333330x121100331111003322001133332200333300331x122211330000110011003333330022113333331x121100331111003322001133332200333300333x122211330000110011003333330022113333333x121100331111003322001133332200333300332x122211330000110011003333330022113333332x101111332211332233331111223311002200110x103322223333002222333300111111111111110x101111332211332233331111223311002200111x103322223333002222333300111111111111111x101111332211332233331111223311002200113x103322223333002222333300111111111111113x101111332211332233331111223311002200112x103322223333002222333300111111111111112x111111332211332233331111223311002200110x113322223333002222333300111111111111110x111111332211332233331111223311002200111x113322223333002222333300111111111111111x111111332211332233331111223311002200113x113322223333002222333300111111111111113x111111332211332233331111223311002200112x113322223333002222333300111111111111112x131111332211332233331111223311002200110x133322223333002222333300111111111111110x131111332211332233331111223311002200111x133322223333002222333300111111111111111x131111332211332233331111223311002200113x133322223333002222333300111111111111113x131111332211332233331111223311002200112x133322223333002222333300111111111111112x121111332211332233331111223311002200110x123322223333002222333300111111111111110x121111332211332233331111223311002200111x123322223333002222333300111111111111111x121111332211332233331111223311002200113x123322223333002222333300111111111111113x121111332211332233331111223311002200112x123322223333002222333300111111111111112x101122003300220000331133223333330033110x103333110033220000223333223333110000110x101122003300220000331133223333330033111x103333110033220000223333223333110000111x101122003300220000331133223333330033113x103333110033220000223333223333110000113x101122003300220000331133223333330033112x103333110033220000223333223333110000112x111122003300220000331133223333330033110x113333110033220000223333223333110000110x111122003300220000331133223333330033111x113333110033220000223333223333110000111x111122003300220000331133223333330033113x113333110033220000223333223333110000113x111122003300220000331133223333330033112x113333110033220000223333223333110000112x131122003300220000331133223333330033110x133333110033220000223333223333110000110x131122003300220000331133223333330033111x133333110033220000223333223333110000111x131122003300220000331133223333330033113x133333110033220000223333223333110000113x131122003300220000331133223333330033112x133333110033220000223333223333110000112x121122003300220000331133223333330033110x123333110033220000223333223333110000110x121122003300220000331133223333330033111x123333110033220000223333223333110000111x121122003300220000331133223333330033113x123333110033220000223333223333110000113x121122003300220000331133223333330033112x123333110033220000223333223333110000112x101122221122003311220011330033221133110x102211112222220033113300221100111133330x101122221122003311220011330033221133111x102211112222220033113300221100111133331x101122221122003311220011330033221133113x102211112222220033113300221100111133333x101122221122003311220011330033221133112x102211112222220033113300221100111133332x111122221122003311220011330033221133110x112211112222220033113300221100111133330x111122221122003311220011330033221133111x112211112222220033113300221100111133331x111122221122003311220011330033221133113x112211112222220033113300221100111133333x111122221122003311220011330033221133112x112211112222220033113300221100111133332x131122221122003311220011330033221133110x132211112222220033113300221100111133330x131122221122003311220011330033221133111x132211112222220033113300221100111133331x131122221122003311220011330033221133113x132211112222220033113300221100111133333x131122221122003311220011330033221133112x132211112222220033113300221100111133332x121122221122003311220011330033221133110x122211112222220033113300221100111133330x121122221122003311220011330033221133111x122211112222220033113300221100111133331x121122221122003311220011330033221133113x122211112222220033113300221100111133333x121122221122003311220011330033221133112x122211112222220033113300221100111133332x102200001100220000220011111100221111000x100000000000002222111122111100112211000x102200001100220000220011111100221111001x100000000000002222111122111100112211001x102200001100220000220011111100221111003x100000000000002222111122111100112211003x102200001100220000220011111100221111002x100000000000002222111122111100112211002x112200001100220000220011111100221111000x110000000000002222111122111100112211000x112200001100220000220011111100221111001x110000000000002222111122111100112211001x112200001100220000220011111100221111003x110000000000002222111122111100112211003x112200001100220000220011111100221111002x110000000000002222111122111100112211002x132200001100220000220011111100221111000x130000000000002222111122111100112211000x132200001100220000220011111100221111001x130000000000002222111122111100112211001x132200001100220000220011111100221111003x130000000000002222111122111100112211003x132200001100220000220011111100221111002x130000000000002222111122111100112211002x122200001100220000220011111100221111000x120000000000002222111122111100112211000x122200001100220000220011111100221111001x120000000000002222111122111100112211001x122200001100220000220011111100221111003x120000000000002222111122111100112211003x122200001100220000220011111100221111002x120000000000002222111122111100112211002x102200113300331133111133332211110000330x101133333311111111330000002222110033330x102200113300331133111133332211110000331x101133333311111111330000002222110033331x102200113300331133111133332211110000333x101133333311111111330000002222110033333x102200113300331133111133332211110000332x101133333311111111330000002222110033332x112200113300331133111133332211110000330x111133333311111111330000002222110033330x112200113300331133111133332211110000331x111133333311111111330000002222110033331x112200113300331133111133332211110000333x111133333311111111330000002222110033333x112200113300331133111133332211110000332x111133333311111111330000002222110033332x132200113300331133111133332211110000330x131133333311111111330000002222110033330x132200113300331133111133332211110000331x131133333311111111330000002222110033331x132200113300331133111133332211110000333x131133333311111111330000002222110033333x132200113300331133111133332211110000332x131133333311111111330000002222110033332x122200113300331133111133332211110000330x121133333311111111330000002222110033330x122200113300331133111133332211110000331x121133333311111111330000002222110033331x122200113300331133111133332211110000333x121133333311111111330000002222110033333x122200113300331133111133332211110000332x121133333311111111330000002222110033332x102200330022003333220011112200111100110x101111330033002222332200110022000011110x102200330022003333220011112200111100111x101111330033002222332200110022000011111x102200330022003333220011112200111100113x101111330033002222332200110022000011113x102200330022003333220011112200111100112x101111330033002222332200110022000011112x112200330022003333220011112200111100110x111111330033002222332200110022000011110x112200330022003333220011112200111100111x111111330033002222332200110022000011111x112200330022003333220011112200111100113x111111330033002222332200110022000011113x112200330022003333220011112200111100112x111111330033002222332200110022000011112x132200330022003333220011112200111100110x131111330033002222332200110022000011110x132200330022003333220011112200111100111x131111330033002222332200110022000011111x132200330022003333220011112200111100113x131111330033002222332200110022000011113x132200330022003333220011112200111100112x131111330033002222332200110022000011112x122200330022003333220011112200111100110x121111330033002222332200110022000011110x122200330022003333220011112200111100111x121111330033002222332200110022000011111x122200330022003333220011112200111100113x121111330033002222332200110022000011113x122200330022003333220011112200111100112x121111330033002222332200110022000011112x102200332211332211220033222233111122330x103322222233222211332211113300110022330x102200332211332211220033222233111122331x103322222233222211332211113300110022331x102200332211332211220033222233111122333x103322222233222211332211113300110022333x102200332211332211220033222233111122332x103322222233222211332211113300110022332x112200332211332211220033222233111122330x113322222233222211332211113300110022330x112200332211332211220033222233111122331x113322222233222211332211113300110022331x112200332211332211220033222233111122333x113322222233222211332211113300110022333x112200332211332211220033222233111122332x113322222233222211332211113300110022332x132200332211332211220033222233111122330x133322222233222211332211113300110022330x132200332211332211220033222233111122331x133322222233222211332211113300110022331x132200332211332211220033222233111122333x133322222233222211332211113300110022333x132200332211332211220033222233111122332x133322222233222211332211113300110022332x122200332211332211220033222233111122330x123322222233222211332211113300110022330x122200332211332211220033222233111122331x123322222233222211332211113300110022331x122200332211332211220033222233111122333x123322222233222211332211113300110022333x122200332211332211220033222233111122332x123322222233222211332211113300110022332x102200332222330011112200111133220022220x100033220022113311221111330000222222220x102200332222330011112200111133220022221x100033220022113311221111330000222222221x102200332222330011112200111133220022223x100033220022113311221111330000222222223x102200332222330011112200111133220022222x100033220022113311221111330000222222222x112200332222330011112200111133220022220x110033220022113311221111330000222222220x112200332222330011112200111133220022221x110033220022113311221111330000222222221x112200332222330011112200111133220022223x110033220022113311221111330000222222223x112200332222330011112200111133220022222x110033220022113311221111330000222222222x132200332222330011112200111133220022220x130033220022113311221111330000222222220x132200332222330011112200111133220022221x130033220022113311221111330000222222221x132200332222330011112200111133220022223x130033220022113311221111330000222222223x132200332222330011112200111133220022222x130033220022113311221111330000222222222x122200332222330011112200111133220022220x120033220022113311221111330000222222220x122200332222330011112200111133220022221x120033220022113311221111330000222222221x122200332222330011112200111133220022223x120033220022113311221111330000222222223x122200332222330011112200111133220022222x120033220022113311221111330000222222222x102222003333112233223322220011112233110x103322333311222222110022221133003322110x102222003333112233223322220011112233111x103322333311222222110022221133003322111x102222003333112233223322220011112233113x103322333311222222110022221133003322113x102222003333112233223322220011112233112x103322333311222222110022221133003322112x112222003333112233223322220011112233110x113322333311222222110022221133003322110x112222003333112233223322220011112233111x113322333311222222110022221133003322111x112222003333112233223322220011112233113x113322333311222222110022221133003322113x112222003333112233223322220011112233112x113322333311222222110022221133003322112x132222003333112233223322220011112233110x133322333311222222110022221133003322110x132222003333112233223322220011112233111x133322333311222222110022221133003322111x132222003333112233223322220011112233113x133322333311222222110022221133003322113x132222003333112233223322220011112233112x133322333311222222110022221133003322112x122222003333112233223322220011112233110x123322333311222222110022221133003322110x122222003333112233223322220011112233111x123322333311222222110022221133003322111x122222003333112233223322220011112233113x123322333311222222110022221133003322113x122222003333112233223322220011112233112x123322333311222222110022221133003322112x103300222233222200220011001100220033110x101122222211330022220000002200003311330x103300222233222200220011001100220033111x101122222211330022220000002200003311331x103300222233222200220011001100220033113x101122222211330022220000002200003311333x103300222233222200220011001100220033112x101122222211330022220000002200003311332x113300222233222200220011001100220033110x111122222211330022220000002200003311330x113300222233222200220011001100220033111x111122222211330022220000002200003311331x113300222233222200220011001100220033113x111122222211330022220000002200003311333x113300222233222200220011001100220033112x111122222211330022220000002200003311332x133300222233222200220011001100220033110x131122222211330022220000002200003311330x133300222233222200220011001100220033111x131122222211330022220000002200003311331x133300222233222200220011001100220033113x131122222211330022220000002200003311333x133300222233222200220011001100220033112x131122222211330022220000002200003311332x123300222233222200220011001100220033110x121122222211330022220000002200003311330x123300222233222200220011001100220033111x121122222211330022220000002200003311331x123300222233222200220011001100220033113x121122222211330022220000002200003311333x123300222233222200220011001100220033112x121122222211330022220000002200003311332x103322001122001133333300331111221111000x101133002211003322332211111111333300000x103322001122001133333300331111221111001x101133002211003322332211111111333300001x103322001122001133333300331111221111003x101133002211003322332211111111333300003x103322001122001133333300331111221111002x101133002211003322332211111111333300002x113322001122001133333300331111221111000x111133002211003322332211111111333300000x113322001122001133333300331111221111001x111133002211003322332211111111333300001x113322001122001133333300331111221111003x111133002211003322332211111111333300003x113322001122001133333300331111221111002x111133002211003322332211111111333300002x133322001122001133333300331111221111000x131133002211003322332211111111333300000x133322001122001133333300331111221111001x131133002211003322332211111111333300001x133322001122001133333300331111221111003x131133002211003322332211111111333300003x133322001122001133333300331111221111002x131133002211003322332211111111333300002x123322001122001133333300331111221111000x121133002211003322332211111111333300000x123322001122001133333300331111221111001x121133002211003322332211111111333300001x123322001122001133333300331111221111003x121133002211003322332211111111333300003x123322001122001133333300331111221111002x121133002211003322332211111111333300002x103322002200220000222211220033220033330x102222112222333300330022002200002233000x103322002200220000222211220033220033331x102222112222333300330022002200002233001x103322002200220000222211220033220033333x102222112222333300330022002200002233003x103322002200220000222211220033220033332x102222112222333300330022002200002233002x113322002200220000222211220033220033330x112222112222333300330022002200002233000x113322002200220000222211220033220033331x112222112222333300330022002200002233001x113322002200220000222211220033220033333x112222112222333300330022002200002233003x113322002200220000222211220033220033332x112222112222333300330022002200002233002x133322002200220000222211220033220033330x132222112222333300330022002200002233000x133322002200220000222211220033220033331x132222112222333300330022002200002233001x133322002200220000222211220033220033333x132222112222333300330022002200002233003x133322002200220000222211220033220033332x132222112222333300330022002200002233002x123322002200220000222211220033220033330x122222112222333300330022002200002233000x123322002200220000222211220033220033331x122222112222333300330022002200002233001x123322002200220000222211220033220033333x122222112222333300330022002200002233003x123322002200220000222211220033220033332x122222112222333300330022002200002233002x103322002222000000003311221100223333000x101122330022222222001133003333000000000x103322002222000000003311221100223333001x101122330022222222001133003333000000001x103322002222000000003311221100223333003x101122330022222222001133003333000000003x103322002222000000003311221100223333002x101122330022222222001133003333000000002x113322002222000000003311221100223333000x111122330022222222001133003333000000000x113322002222000000003311221100223333001x111122330022222222001133003333000000001x113322002222000000003311221100223333003x111122330022222222001133003333000000003x113322002222000000003311221100223333002x111122330022222222001133003333000000002x133322002222000000003311221100223333000x131122330022222222001133003333000000000x133322002222000000003311221100223333001x131122330022222222001133003333000000001x133322002222000000003311221100223333003x131122330022222222001133003333000000003x133322002222000000003311221100223333002x131122330022222222001133003333000000002x123322002222000000003311221100223333000x121122330022222222001133003333000000000x123322002222000000003311221100223333001x121122330022222222001133003333000000001x123322002222000000003311221100223333003x121122330022222222001133003333000000003x123322002222000000003311221100223333002x121122330022222222001133003333000000002x103322223311111122001100113311000011330x101111111122111133000000222233110033330x103322223311111122001100113311000011331x101111111122111133000000222233110033331x103322223311111122001100113311000011333x101111111122111133000000222233110033333x103322223311111122001100113311000011332x101111111122111133000000222233110033332x113322223311111122001100113311000011330x111111111122111133000000222233110033330x113322223311111122001100113311000011331x111111111122111133000000222233110033331x113322223311111122001100113311000011333x111111111122111133000000222233110033333x113322223311111122001100113311000011332x111111111122111133000000222233110033332x133322223311111122001100113311000011330x131111111122111133000000222233110033330x133322223311111122001100113311000011331x131111111122111133000000222233110033331x133322223311111122001100113311000011333x131111111122111133000000222233110033333x133322223311111122001100113311000011332x131111111122111133000000222233110033332x123322223311111122001100113311000011330x121111111122111133000000222233110033330x123322223311111122001100113311000011331x121111111122111133000000222233110033331x123322223311111122001100113311000011333x121111111122111133000000222233110033333x123322223311111122001100113311000011332x121111111122111133000000222233110033332x103322332233003300331100110022002200220x101111333300332233002233000022220000220x103322332233003300331100110022002200221x101111333300332233002233000022220000221x103322332233003300331100110022002200223x101111333300332233002233000022220000223x103322332233003300331100110022002200222x101111333300332233002233000022220000222x113322332233003300331100110022002200220x111111333300332233002233000022220000220x113322332233003300331100110022002200221x111111333300332233002233000022220000221x113322332233003300331100110022002200223x111111333300332233002233000022220000223x113322332233003300331100110022002200222x111111333300332233002233000022220000222x133322332233003300331100110022002200220x131111333300332233002233000022220000220x133322332233003300331100110022002200221x131111333300332233002233000022220000221x133322332233003300331100110022002200223x131111333300332233002233000022220000223x133322332233003300331100110022002200222x131111333300332233002233000022220000222x123322332233003300331100110022002200220x121111333300332233002233000022220000220x123322332233003300331100110022002200221x121111333300332233002233000022220000221x123322332233003300331100110022002200223x121111333300332233002233000022220000223x123322332233003300331100110022002200222x121111333300332233002233000022220000222x103333220022000011331133220033221100330x101133330011222233000022220000331133330x103333220022000011331133220033221100331x101133330011222233000022220000331133331x103333220022000011331133220033221100333x101133330011222233000022220000331133333x103333220022000011331133220033221100332x101133330011222233000022220000331133332x113333220022000011331133220033221100330x111133330011222233000022220000331133330x113333220022000011331133220033221100331x111133330011222233000022220000331133331x113333220022000011331133220033221100333x111133330011222233000022220000331133333x113333220022000011331133220033221100332x111133330011222233000022220000331133332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x123333220022000011331133220033221100330x121133330011222233000022220000331133330x123333220022000011331133220033221100331x121133330011222233000022220000331133331x123333220022000011331133220033221100333x121133330011222233000022220000331133333x123333220022000011331133220033221100332x121133330011222233000022220000331133332x1100111101111311111101110311133311133211120111231111313111211111021112311123011111211122111011003300332200333311332233110000000x1011000000113333330000333311222233000x1011003300332200333311332233110000001x1011000000113333330000333311222233001x1011003300332200333311332233110000003x1011000000113333330000333311222233003x1011003300332200333311332233110000002x1011000000113333330000333311222233002x1122220033221133220022221122002200220x1122222222001122332200221100223300220x1122220033221133220022221122002200221x1122222222001122332200221100223300221x1122220033221133220022221122002200223x1122222222001122332200221100223300223x1122220033221133220022221122002200222x1122222222001122332200221100223300222x1200001133220033221111110033220033330x1200113333001111222211003300330022330x1200001133220033221111110033220033331x1200113333001111222211003300330022331x1200001133220033221111110033220033333x1200113333001111222211003300330022333x1200001133220033221111110033220033332x1200113333001111222211003300330022332x1211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1300223311000033222200113322112211002x1300000000221122331122221133002233112x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x121122003300220000331133223333330033110x123333110033220000223333223333110000110x121122003300220000331133223333330033111x123333110033220000223333223333110000111x121122003300220000331133223333330033113x123333110033220000223333223333110000113x121122003300220000331133223333330033112x123333110033220000223333223333110000112x103333220022000011331133220033221100330x101133330011222233000022220000331133330x103333220022000011331133220033221100331x101133330011222233000022220000331133331x103333220022000011331133220033221100333x101133330011222233000022220000331133333x103333220022000011331133220033221100332x101133330011222233000022220000331133332x113333220022000011331133220033221100330x111133330011222233000022220000331133330x113333220022000011331133220033221100331x111133330011222233000022220000331133331x113333220022000011331133220033221100333x111133330011222233000022220000331133333x113333220022000011331133220033221100332x111133330011222233000022220000331133332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x110111110111031113011132111120111133111311111131112311100111112111221113021114211113111111011003300332200333311332233110000000x1011000000113333330000333311222233000x1011003300332200333311332233110000001x1011000000113333330000333311222233001x1011003300332200333311332233110000003x1011000000113333330000333311222233003x1011003300332200333311332233110000002x1011000000113333330000333311222233002x1200001133220033221111110033220033330x1200113333001111222211003300330022330x1200001133220033221111110033220033331x1200113333001111222211003300330022331x1200001133220033221111110033220033333x1200113333001111222211003300330022333x1200001133220033221111110033220033332x1200113333001111222211003300330022332x1211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1300223311000033222200113322112211002x1300000000221122331122221133002233112x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x113333220022000011331133220033221100330x111133330011222233000022220000331133330x113333220022000011331133220033221100331x111133330011222233000022220000331133331x113333220022000011331133220033221100333x111133330011222233000022220000331133333x113333220022000011331133220033221100332x111133330011222233000022220000331133332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x11011113101110311133011132111201113311123111121311122311100111121111221110211121111111111011003300332200333311332233110000000x1011000000113333330000333311222233000x1011003300332200333311332233110000001x1011000000113333330000333311222233001x1011003300332200333311332233110000003x1011000000113333330000333311222233003x1011003300332200333311332233110000002x1011000000113333330000333311222233002x1200001133220033221111110033220033330x1200113333001111222211003300330022330x1200001133220033221111110033220033331x1200113333001111222211003300330022331x1200001133220033221111110033220033333x1200113333001111222211003300330022333x1200001133220033221111110033220033332x1200113333001111222211003300330022332x1211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x11011111101110311113011132111120111331113111113111123111100111121111221111021112111111111200001133220033221111110033220033330x1200113333001111222211003300330022330x1200001133220033221111110033220033331x1200113333001111222211003300330022331x1200001133220033221111110033220033333x1200113333001111222211003300330022333x1200001133220033221111110033220033332x1200113333001111222211003300330022332x1211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x11201111001110111113111321110311121111111111011123311130111121111221110211123111311113211002233001133112233112200113333000x1233330011112222223311110033110033000x1211002233001133112233112200113333001x1233330011112222223311110033110033001x1211002233001133112233112200113333003x1233330011112222223311110033110033003x1211002233001133112233112200113333002x1233330011112222223311110033110033002x1300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x112111111011102111231113011101111131113111111211120111331110011111111221110311132111300001133221100113333223311110033330x1300111133113300002233001122333311330x1300001133221100113333223311110033331x1300111133113300002233001122333311331x1300001133221100113333223311110033333x1300111133113300002233001122333311333x1300001133221100113333223311110033332x1300111133113300002233001122333311332x1322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x113011100111011111311132111211111011113311123111131111111110311102111121112011122111322003333111111002211333333330000330x1311110000113322000022113333333333330x1322003333111111002211333333330000331x1311110000113322000022113333333333331x1322003333111111002211333333330000333x1311110000113322000022113333333333333x1322003333111111002211333333330000332x1311110000113322000022113333333333332x133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x1132111201110311133111311111111111011102111211111311130111001110111112111221112311133333220022000011331133220033221100330x131133330011222233000022220000331133330x133333220022000011331133220033221100331x131133330011222233000022220000331133331x133333220022000011331133220033221100333x131133330011222233000022220000331133333x133333220022000011331133220033221100332x131133330011222233000022220000331133332x113311132111201110211100111011111311131111031111211111011130111121112211123111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (12 real / 0 unknown / 0 assumptions / 12 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe