YES 011012233013202013x1032322100111020313x1011201322130120301x1021031210012312301x1011220011113302221x1002201120112123131x1013031021113303123x1013201310332131013x1020200112000122200x1021020122210200000x1021130101000310111x1001131030020011111x1022301222333322033x1001233203322223233x1022322233003311033x1003130232130223233x1030010232130111023x1003011210321310023x1030331022233203001x1002233300310023321x1032101213201012323x1032031103210221213x1033030320331003110x1003303331132000310x1033032020113000303x1030000300132231303x1100123130120102103x1133211002013100012x1100333322232333233x1232313322323300333x1101033002231222212x1232002002121123132x1103000133100230110x1120001013130133000x1103200333332212211x1032313121312320032x1103302032123300112x1201310100203132233x1103313332312033121x1130323303132213131x1103331022201132202x1232012313113202200x1111022001230012201x1122210230100002111x1111113011101123111x1112131110111101131x1113322013021232012x1113020321123203122x1130211222223013100x1122310002132312210x1133011202033331131x1131001103333312231x1200301313013212333x1200231231130313033x1201002122023212322x1220012020232131222x1201111223320302320x1222130313132012002x1201130101300330021x1301320012300010131x1201333012010331310x1103121320303031310x1202230222102221002x1220200203202221122x1202303331221023333x1233300203312233123x1203313211200300123x1202200013131033312x1210122302230323113x1210213031322203213x1210130223011121133x1012131113110202323x1210223030222311122x1230032210132211222x1210310220302023022x1023232012212300002x1211023223301131010x1123213101032120310x1211301122001213021x1200131121212321001x1211330330223230332x1202310332313203332x1212020233303333110x1223133231330130002x1213110022000101010x1112200013112000010x1220101211202001200x1201000111222012200x1220110321330133301x1130321312302033101x1220302211211022222x1212130021022122222x1221101332301023310x1220133213310103120x1222021110130312221x1220231122320011121x1222102100330301020x1202001101322323000x1222110032022001111x1200002122110312121x1223122103011303002x1213111023230300022x1223210133222031102x1112232002231310322x1231020302213020221x1100202312222003132x1231322110123201132x1221001312123312132x1233012300201120310x1202030312000312113x1233123011120223021x1201223202023313111x1300102332210332231x1232303132100320231x1300230232112012222x1131020232312002222x1301110133112303020x1102311333121100300x1301331010232020113x1101300003312231312x1302101001030232210x1300220310011231020x1302133020300020222x1301230322000200322x1303110132033010330x1303313103120303010x1303222113321113123x1122312033131321312x1310322012313300330x1313303102320021330x1312011130221333032x1311031220013333122x1320211110113221301x1321002132111110321x1320322303022223222x1323332232020220222x1320323332302221100x1322333001231223200x1321110332012322233x1323232211310122033x1321323110120322322x1313132132222123002x1322113012233012322x1313220213113222203x1323032301121010310x1301320132013132100x1323110302202302332x1312023031322003322x1330110103022321001x1332001030012210311x1331033113011031021x1231303000131313111x1332112311222332132x1323232131322111322x1333233202213012312x1332131312020222333x1333323323312013202x1312332313323300232x1333333300011233033x1300331313033033233x10123x10123x12.1310202310332210110x1313020111001223230x1103021031223102110x1103213210012130120x1122203311110022110x1131321211021102200x1321303311120130310x1310131233013102310x1002221000211002020x1000002012221020120x1111013000101031120x1111110020030131100x1330223333222103220x1332322223302332100x1330113300332223220x1332322031232031300x1320111031232010030x1320013123012110300x1100302332220133030x1123320013003332200x1323210102312101230x1312122012301130230x1011300133023030330x1013000231133303300x1303000311020230330x1303132231003000030x1301201021031321001x1210001310200112331x1332333232223333001x1333003323223313232x1212222132200330101x1231321121200200232x1011032001331000301x1000331031310100021x1112212233333002301x1230023213121313230x1211003321230203301x1332231302001013102x1121330213233313301x1131312231303323031x1202231102220133301x1002202311313210232x1102210032100220111x1111200001032012221x1111321101110311111x1131101111011131211x1210232120310223311x1221302321123020311x1001310322222112031x1012213231200013221x1131133330202110331x1132213333301100131x1333212310313103002x1330313031132132002x1223212320221200102x1222131232020210022x1023203023322111102x1200210231313031222x1120033003101031102x1131010003210023103x1013133010210333102x1013130303023121301x1200122201222032202x1221122202302002022x1333320122133303202x1321332213302003332x1321003002112313302x1213330131310002202x1311323032203221012x1312302223130312012x1331121110322031012x1323202011311131210x1221113222030322012x1222112231012230032x1220320203022013012x1200003212210232320x1010131103322320112x1013021230101312321x1120312100221103112x1100123212121131002x1233032322033033112x1233302313233013202x1011333303332020212x1200031033132331322x1010101000220011312x1010000211310002211x1002100202112101022x1002210222111000102x1103331033123011022x1101330203213123031x1222220112112203022x1222221220120031212x1013320103233101122x1021301013312331022x1122213031011120222x1121110023221132022x1020103033001201222x1000323223101100202x1111100220230011222x1121213011221200002x1200303110301221322x1220003032320111312x1201130222331012322x1223013132200232211x1122020312203020132x1231300222213202001x1231102321011223132x1231213321213100122x1013021102003210332x1311213000213030202x1120322021110321332x1111313320202322102x1132233012233201003x1132023001231303232x1222210211232032003x1222200213232020131x1020303211331011103x1003001121333113201x1311020232010133103x1213132213300003101x1012232030100101203x1020132110013022003x1222020003020331203x1223002000223032103x1033010330231011303x1010303021301313303x1321311123311222303x1213123131330213221x1033003313210223013x1033120023201303313x1230333122031110213x1221333310022130113x1103122311011112023x1123011111231200123x1222322220303223023x1222022020232233323x1001122203233323023x1002322132100333223x1332223210233011123x1330221013112232323x1223223021011323123x1200321222231231313x1223210332210311223x1302222311312022313x1013010121103230323x1001231310231023103x1233203202203011323x1223300223130320213x1100123220301011033x1113012210030100233x1120130110311330133x1111313131000303132x1231233222113211233x1223111223131232323x1213210312202332333x1333222020213131233x1202310213323323333x1232003323313233213x1330332110003333333x1332330330313133003x13102310202310332210110x1313020111001223230x1103021031223102110x1103213210012130120x1122203311110022110x1131321211021102200x1321303311120130310x1310131233013102310x1002221000211002020x1000002012221020120x1111013000101031120x1111110020030131100x1330223333222103220x1332322223302332100x1330113300332223220x1332322031232031300x1320111031232010030x1320013123012110300x1100302332220133030x1123320013003332200x1323210102312101230x1312122012301130230x1011300133023030330x1013000231133303300x1303000311020230330x1303132231003000030x1332333232223333001x1333003323223313232x1212222132200330101x1231321121200200232x1011032001331000301x1000331031310100021x1121330213233313301x1131312231303323031x1102210032100220111x1111200001032012221x1111321101110311111x1131101111011131211x1210232120310223311x1221302321123020311x1001310322222112031x1012213231200013221x1131133330202110331x1132213333301100131x1333212310313103002x1330313031132132002x1223212320221200102x1222131232020210022x1120033003101031102x1131010003210023103x1013133010210333102x1013130303023121301x1200122201222032202x1221122202302002022x1333320122133303202x1321332213302003332x1311323032203221012x1312302223130312012x1331121110322031012x1323202011311131210x1221113222030322012x1222112231012230032x1220320203022013012x1200003212210232320x1010131103322320112x1013021230101312321x1120312100221103112x1100123212121131002x1233032322033033112x1233302313233013202x1010101000220011312x1010000211310002211x1002100202112101022x1002210222111000102x1103331033123011022x1101330203213123031x1222220112112203022x1222221220120031212x1013320103233101122x1021301013312331022x1122213031011120222x1121110023221132022x1020103033001201222x1000323223101100202x1111100220230011222x1121213011221200002x1200303110301221322x1220003032320111312x1201130222331012322x1223013132200232211x1231102321011223132x1231213321213100122x1120322021110321332x1111313320202322102x1132233012233201003x1132023001231303232x1222210211232032003x1222200213232020131x1020303211331011103x1003001121333113201x1012232030100101203x1020132110013022003x1222020003020331203x1223002000223032103x1033010330231011303x1010303021301313303x1033003313210223013x1033120023201303313x1230333122031110213x1221333310022130113x1103122311011112023x1123011111231200123x1222322220303223023x1222022020232233323x1001122203233323023x1002322132100333223x1332223210233011123x1330221013112232323x1223223021011323123x1200321222231231313x1013010121103230323x1001231310231023103x1233203202203011323x1223300223130320213x1100123220301011033x1113012210030100233x1120130110311330133x1111313131000303132x1231233222113211233x1223111223131232323x1202310213323323333x1232003323313233213x1330332110003333333x1332330330313133003x13301201021031321001x13210001310200112331x11301201021031321001x11210001310200112331x10301201021031321001x10210001310200112331x12301201021031321001x12210001310200112331x13112212233333002301x13230023213121313230x11112212233333002301x11230023213121313230x10112212233333002301x10230023213121313230x12112212233333002301x12230023213121313230x13211003321230203301x13332231302001013102x11211003321230203301x11332231302001013102x10211003321230203301x10332231302001013102x12211003321230203301x12332231302001013102x13202231102220133301x13002202311313210232x11202231102220133301x11002202311313210232x10202231102220133301x10002202311313210232x12202231102220133301x12002202311313210232x13023203023322111102x13200210231313031222x11023203023322111102x11200210231313031222x10023203023322111102x10200210231313031222x12023203023322111102x12200210231313031222x13321003002112313302x13213330131310002202x11321003002112313302x11213330131310002202x10321003002112313302x10213330131310002202x12321003002112313302x12213330131310002202x13011333303332020212x13200031033132331322x11011333303332020212x11200031033132331322x10011333303332020212x10200031033132331322x12011333303332020212x12200031033132331322x13122020312203020132x13231300222213202001x11122020312203020132x11231300222213202001x10122020312203020132x10231300222213202001x12122020312203020132x12231300222213202001x13013021102003210332x13311213000213030202x11013021102003210332x11311213000213030202x10013021102003210332x10311213000213030202x12013021102003210332x12311213000213030202x13311020232010133103x13213132213300003101x11311020232010133103x11213132213300003101x10311020232010133103x10213132213300003101x12311020232010133103x12213132213300003101x13321311123311222303x13213123131330213221x11321311123311222303x11213123131330213221x10321311123311222303x10213123131330213221x12321311123311222303x12213123131330213221x13223210332210311223x13302222311312022313x11223210332210311223x11302222311312022313x10223210332210311223x10302222311312022313x12223210332210311223x12302222311312022313x13213210312202332333x13333222020213131233x11213210312202332333x11333222020213131233x10213210312202332333x10333222020213131233x12213210312202332333x12333222020213131233x1311002200223311003333222211001111003x1311330022001111110000112222332233003x1311002200223311003333222211001111001x1311330022001111110000112222332233001x1311002200223311003333222211001111000x1311330022001111110000112222332233000x1311002200223311003333222211001111002x1311330022001111110000112222332233002x1100330022110033112222331100221111003x1100332211332211000011221133001122003x1100330022110033112222331100221111001x1100332211332211000011221133001122001x1100330022110033112222331100221111000x1100332211332211000011221133001122000x1100330022110033112222331100221111002x1100332211332211000011221133001122002x1122222200333311111111000022221111003x1133113322112211110022111100222200003x1122222200333311111111000022221111001x1133113322112211110022111100222200001x1122222200333311111111000022221111000x1133113322112211110022111100222200000x1122222200333311111111000022221111002x1133113322112211110022111100222200002x1322113300333311111122001133003311003x1311001133112233330011331100223311003x1322113300333311111122001133003311001x1311001133112233330011331100223311001x1322113300333311111122001133003311000x1311001133112233330011331100223311000x1322113300333311111122001133003311002x1311001133112233330011331100223311002x1000222222110000002211110000220022003x1000000000220011222222110022001122003x1000222222110000002211110000220022001x1000000000220011222222110022001122001x1000222222110000002211110000220022000x1000000000220011222222110022001122000x1000222222110000002211110000220022002x1000000000220011222222110022001122002x1111110011330000001100110033111122003x1111111111000022000033001133111100003x1111110011330000001100110033111122001x1111111111000022000033001133111100001x1111110011330000001100110033111122000x1111111111000022000033001133111100000x1111110011330000001100110033111122002x1111111111000022000033001133111100002x1333002222333333332222221100332222003x1333223322222222333300223333221100003x1333002222333333332222221100332222001x1333223322222222333300223333221100001x1333002222333333332222221100332222000x1333223322222222333300223333221100000x1333002222333333332222221100332222002x1333223322222222333300223333221100002x1333001111333300003333222222332222003x1333223322220033112233220033113300003x1333001111333300003333222222332222001x1333223322220033112233220033113300001x1333001111333300003333222222332222000x1333223322220033112233220033113300000x1333001111333300003333222222332222002x1333223322220033112233220033113300002x1322001111110033112233220011000033003x1322000011331122330011221111003300003x1322001111110033112233220011000033001x1322000011331122330011221111003300001x1322001111110033112233220011000033000x1322000011331122330011221111003300000x1322001111110033112233220011000033002x1322000011331122330011221111003300002x1100003300223333222222001133330033003x1122333322000011330000333333222200003x1100003300223333222222001133330033001x1122333322000011330000333333222200001x1100003300223333222222001133330033000x1122333322000011330000333333222200000x1100003300223333222222001133330033002x1122333322000011330000333333222200002x1322332211001100223311221100112233003x1311221122220011223300111133002233003x1322332211001100223311221100112233001x1311221122220011223300111133002233001x1322332211001100223311221100112233000x1311221122220011223300111133002233000x1322332211001100223311221100112233002x1311221122220011223300111133002233002x1011113300001133330022330033003333003x1011330000002233111133333300333300003x1011113300001133330022330033003333001x1011330000002233111133333300333300001x1011113300001133330022330033003333000x1011330000002233111133333300333300000x1011113300001133330022330033003333002x1011330000002233111133333300333300002x1300330000003311110022002233003333003x1300331133222233110000330000000033003x1300330000003311110022002233003333001x1300331133222233110000330000000033001x1300330000003311110022002233003333000x1300331133222233110000330000000033000x1300330000003311110022002233003333002x1300331133222233110000330000000033002x1333223333332233222222333333330000113x1333330000333322332222333311332233223x1333223333332233222222333333330000111x1333330000333322332222333311332233221x1333223333332233222222333333330000110x1333330000333322332222333311332233220x1333223333332233222222333333330000112x1333330000333322332222333311332233222x1211222222221133222200003333001100113x1233113322111122112200002200002233223x1211222222221133222200003333001100111x1233113322111122112200002200002233221x1211222222221133222200003333001100110x1233113322111122112200002200002233220x1211222222221133222200003333001100112x1233113322111122112200002200002233222x1011110033220000113333110000003300113x1000003333110033113311001100000022113x1011110033220000113333110000003300111x1000003333110033113311001100000022111x1011110033220000113333110000003300110x1000003333110033113311001100000022110x1011110033220000113333110000003300112x1000003333110033113311001100000022112x1122113333002211332233333311333300113x1133113311222233113300333322330033113x1122113333002211332233333311333300111x1133113311222233113300333322330033111x1122113333002211332233333311333300110x1133113311222233113300333322330033110x1122113333002211332233333311333300112x1133113311222233113300333322330033112x1100222211000033221100002222001111113x1111112200000000110033220011222222113x1100222211000033221100002222001111111x1111112200000000110033220011222222111x1100222211000033221100002222001111110x1111112200000000110033220011222222110x1100222211000033221100002222001111112x1111112200000000110033220011222222112x1111113322111100111111003311111111113x1133111100111111110011111133112211113x1111113322111100111111003311111111111x1133111100111111110011111133112211111x1111113322111100111111003311111111110x1133111100111111110011111133112211110x1111113322111100111111003311111111112x1133111100111111110011111133112211112x1211002233221122003311002222333311113x1222113300223322111122330022003311113x1211002233221122003311002222333311111x1222113300223322111122330022003311111x1211002233221122003311002222333311110x1222113300223322111122330022003311110x1211002233221122003311002222333311112x1222113300223322111122330022003311112x1000113311003322222222221111220033113x1011222211332233112200000011332222113x1000113311003322222222221111220033111x1011222211332233112200000011332222111x1000113311003322222222221111220033110x1011222211332233112200000011332222110x1000113311003322222222221111220033112x1011222211332233112200000011332222112x1133111133333333002200221111003333113x1133222211333333333300111100001133113x1133111133333333002200221111003333111x1133222211333333333300111100001133111x1133111133333333002200221111003333110x1133222211333333333300111100001133110x1133111133333333002200221111003333112x1133222211333333333300111100001133112x1333332211223311003311331100330000223x1333003311330033111133221133220000223x1333332211223311003311331100330000221x1333003311330033111133221133220000221x1333332211223311003311331100330000220x1333003311330033111133221133220000220x1333332211223311003311331100330000222x1333003311330033111133221133220000222x1222332211223322002222112200001100223x1222221133112233220022002211000022223x1222332211223322002222112200001100221x1222221133112233220022002211000022221x1222332211223322002222112200001100220x1222221133112233220022002211000022220x1222332211223322002222112200001100222x1222221133112233220022002211000022222x1122000033330000331100110033111100223x1133110011000000332211000022331100333x1122000033330000331100110033111100221x1133110011000000332211000022331100331x1122000033330000331100110033111100220x1133110011000000332211000022331100330x1122000033330000331100110033111100222x1133110011000000332211000022331100332x1011331133330011002211003333331100223x1011331133003300330022331122113300113x1011331133330011002211003333331100221x1011331133003300330022331122113300111x1011331133330011002211003333331100220x1011331133003300330022331122113300110x1011331133330011002211003333331100222x1011331133003300330022331122113300112x1200001122222200112222220033222200223x1222111122222200223300220000220022223x1200001122222200112222220033222200221x1222111122222200223300220000220022221x1200001122222200112222220033222200220x1222111122222200223300220000220022220x1200001122222200112222220033222200222x1222111122222200223300220000220022222x1333333322001122221133333300332200223x1322113333222211333300220000333333223x1333333322001122221133333300332200221x1322113333222211333300220000333333221x1333333322001122221133333300332200220x1322113333222211333300220000333333220x1333333322001122221133333300332200222x1322113333222211333300220000333333222x1311113322330033222200332222110011223x1311223300222222331133003311220011223x1311113322330033222200332222110011221x1311223300222222331133003311220011221x1311113322330033222200332222110011220x1311223300222222331133003311220011220x1311113322330033222200332222110011222x1311223300222222331133003311220011222x1333111122111111003322220033110011223x1322332200220011113311111133112211003x1333111122111111003322220033110011221x1322332200220011113311111133112211001x1333111122111111003322220033110011220x1322332200220011113311111133112211000x1333111122111111003322220033110011222x1322332200220011113311111133112211002x1222111111332222220033003322220011223x1222221111222233110011222233000033223x1222111111332222220033003322220011221x1222221111222233110011222233000033221x1222111111332222220033003322220011220x1222221111222233110011222233000033220x1222111111332222220033003322220011222x1222221111222233110011222233000033222x1222003322002200330022220011330011223x1200000000332211222211002233223322003x1222003322002200330022220011330011221x1200000000332211222211002233223322001x1222003322002200330022220011330011220x1200000000332211222211002233223322000x1222003322002200330022220011330011222x1200000000332211222211002233223322002x1011001133111100333322223322001111223x1011330022112233001100113311223322113x1011001133111100333322223322001111221x1011330022112233001100113311223322111x1011001133111100333322223322001111220x1011330022112233001100113311223322110x1011001133111100333322223322001111222x1011330022112233001100113311223322112x1122003311221100002222111100331111223x1100001122332211221122111133110000223x1122003311221100002222111100331111221x1100001122332211221122111133110000221x1122003311221100002222111100331111220x1100001122332211221122111133110000220x1122003311221100002222111100331111222x1100001122332211221122111133110000222x1233330033223322220033330033331111223x1233333300223311332233330011332200223x1233330033223322220033330033331111221x1233333300223311332233330011332200221x1233330033223322220033330033331111220x1233333300223311332233330011332200220x1233330033223322220033330033331111222x1233333300223311332233330011332200222x1011001100110000002222000011113311223x1011000000002211113311000000222211113x1011001100110000002222000011113311221x1011000000002211113311000000222211111x1011001100110000002222000011113311220x1011000000002211113311000000222211110x1011001100110000002222000011113311222x1011000000002211113311000000222211112x1000221100002200221111221100110022223x1000222211002222221111110000001100223x1000221100002200221111221100110022221x1000222211002222221111110000001100221x1000221100002200221111221100110022220x1000222211002222221111110000001100220x1000221100002200221111221100110022222x1000222211002222221111110000001100222x1100333333110033331122330011110022223x1100113333002200332211331122330033113x1100333333110033331122330011110022221x1100113333002200332211331122330033111x1100333333110033331122330011110022220x1100113333002200332211331122330033110x1100333333110033331122330011110022222x1100113333002200332211331122330033112x1222222222001111221111222200330022223x1222222222112222001122000033112211223x1222222222001111221111222200330022221x1222222222112222001122000033112211221x1222222222001111221111222200330022220x1222222222112222001122000033112211220x1222222222001111221111222200330022222x1222222222112222001122000033112211222x1011333322001100332233331100111122223x1022113300110011333311223333110022223x1011333322001100332233331100111122221x1022113300110011333311223333110022221x1011333322001100332233331100111122220x1022113300110011333311223333110022220x1011333322001100332233331100111122222x1022113300110011333311223333110022222x1122222211330033110011111122002222223x1122111111000022332222111133220022223x1122222211330033110011111122002222221x1122111111000022332222111133220022221x1122222211330033110011111122002222220x1122111111000022332222111133220022220x1122222211330033110011111122002222222x1122111111000022332222111133220022222x1022001100330033330000112200112222223x1000003322332222331100111100002200223x1022001100330033330000112200112222221x1000003322332222331100111100002200221x1022001100330033330000112200112222220x1000003322332222331100111100002200220x1022001100330033330000112200112222222x1000003322332222331100111100002200222x1111111100002222002233000011112222223x1122112211330011112222112200000000223x1111111100002222002233000011112222221x1122112211330011112222112200000000221x1111111100002222002233000011112222220x1122112211330011112222112200000000220x1111111100002222002233000011112222222x1122112211330011112222112200000000222x1200003300331111003300112222113322223x1222000000330033223322001111113311223x1200003300331111003300112222113322221x1222000000330033223322001111113311221x1200003300331111003300112222113322220x1222000000330033223322001111113311220x1200003300331111003300112222113322222x1222000000330033223322001111113311222x1200111133002222223333110011223322223x1222330011331133222200002233222211113x1200111133002222223333110011223322221x1222330011331133222200002233222211111x1200111133002222223333110011223322220x1222330011331133222200002233222211110x1200111133002222223333110011223322222x1222330011331133222200002233222211112x1233111100223322110011112222331133223x1233112211333322112211331100001122223x1233111100223322110011112222331133221x1233112211333322112211331100001122221x1233111100223322110011112222331133220x1233112211333322112211331100001122220x1233111100223322110011112222331133222x1233112211333322112211331100001122222x1122003322220022111111003322113333223x1111113311333322002200223322221100223x1122003322220022111111003322113333221x1111113311333322002200223322221100221x1122003322220022111111003322113333220x1111113311333322002200223322221100220x1122003322220022111111003322113333222x1111113311333322002200223322221100222x1133222233330011222233332200110000333x1133220022330000112233113300332233223x1133222233330011222233332200110000331x1133220022330000112233113300332233221x1133222233330011222233332200110000330x1133220022330000112233113300332233220x1133222233330011222233332200110000332x1133220022330000112233113300332233222x1222222211002211112233220033220000333x1222222200002211332233220022001133113x1222222211002211112233220033220000331x1222222200002211332233220022001133111x1222222211002211112233220033220000330x1222222200002211332233220022001133110x1222222211002211112233220033220000332x1222222200002211332233220022001133112x1022003300332211113333110011111100333x1000330000111122113333331111332200113x1022003300332211113333110011111100331x1000330000111122113333331111332200111x1022003300332211113333110011111100330x1000330000111122113333331111332200110x1022003300332211113333110011111100332x1000330000111122113333331111332200112x1011222233220033001100001100112200333x1022001133221111000011330022220000333x1011222233220033001100001100112200331x1022001133221111000011330022220000331x1011222233220033001100001100112200330x1022001133221111000011330022220000330x1011222233220033001100001100112200332x1022001133221111000011330022220000332x1222220022000000330022003333112200333x1222330000220000002222330033221100333x1222220022000000330022003333112200331x1222330000220000002222330033221100331x1222220022000000330022003333112200330x1222330000220000002222330033221100330x1222220022000000330022003333112200332x1222330000220000002222330033221100332x1033330011003333002233110011113300333x1011003300330022113300113311333300333x1033330011003333002233110011113300331x1011003300330022113300113311333300331x1033330011003333002233110011113300330x1011003300330022113300113311333300330x1033330011003333002233110011113300332x1011003300330022113300113311333300332x1033330000333311332211002222330011333x1033331122000022332200113300333311333x1033330000333311332211002222330011331x1033331122000022332200113300333311331x1033330000333311332211002222330011330x1033331122000022332200113300333311330x1033330000333311332211002222330011332x1033331122000022332200113300333311332x1233003333331122220033111111002211333x1222113333333311000022221133001111333x1233003333331122220033111111002211331x1222113333333311000022221133001111331x1233003333331122220033111111002211330x1222113333333311000022221133001111330x1233003333331122220033111111002211332x1222113333333311000022221133001111332x1100331122223311110011111111220022333x1122330011111111112233112200001122333x1100331122223311110011111111220022331x1122330011111111112233112200001122331x1100331122223311110011111111220022330x1122330011111111112233112200001122330x1100331122223311110011111111220022332x1122330011111111112233112200001122332x1222223322222222003300332222330022333x1222220022220022002233222233333322333x1222223322222222003300332222330022331x1222220022220022002233222233333322331x1222223322222222003300332222330022330x1222220022220022002233222233333322330x1222223322222222003300332222330022332x1222220022220022002233222233333322332x1000111122222200332233333322330022333x1000223322221133221100003333332222333x1000111122222200332233333322330022331x1000223322221133221100003333332222331x1000111122222200332233333322330022330x1000223322221133221100003333332222330x1000111122222200332233333322330022332x1000223322221133221100003333332222332x1333222222332211002233330011111122333x1333002222110011331111222233223322333x1333222222332211002233330011111122331x1333002222110011331111222233223322331x1333222222332211002233330011111122330x1333002222110011331111222233223322330x1333222222332211002233330011111122332x1333002222110011331111222233223322332x1222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x1011330011001122111100332233003322333x1000112233113311002233110022331100333x1011330011001122111100332233003322331x1000112233113311002233110022331100331x1011330011001122111100332233003322330x1000112233113311002233110022331100330x1011330011001122111100332233003322332x1000112233113311002233110022331100332x1233332200332200222200330011113322333x1222333300002222331133003322002211333x1233332200332200222200330011113322331x1222333300002222331133003322002211331x1233332200332200222200330011113322330x1222333300002222331133003322002211330x1233332200332200222200330011113322332x1222333300002222331133003322002211332x1100001122332222003300110011110033333x1111330011222211000033001100002233333x1100001122332222003300110011110033331x1111330011222211000033001100002233331x1100001122332222003300110011110033330x1111330011222211000033001100002233330x1100001122332222003300110011110033332x1111330011222211000033001100002233332x1122001133001111003311113333001133333x1111113311331133110000003300331133223x1122001133001111003311113333001133331x1111113311331133110000003300331133221x1122001133001111003311113333001133330x1111113311331133110000003300331133220x1122001133001111003311113333001133332x1111113311331133110000003300331133222x1233112233332222221111332211112233333x1222331111112222331133112233223322333x1233112233332222221111332211112233331x1222331111112222331133112233223322331x1233112233332222221111332211112233330x1222331111112222331133112233223322330x1233112233332222221111332211112233332x1222331111112222331133112233223322332x1200223311002211333322333322333333333x1233220000333322333311332233332211333x1200223311002211333322333322333333331x1233220000333322333311332233332211331x1200223311002211333322333322333333330x1233220000333322333311332233332211330x1200223311002211333322333322333333332x1233220000333322333311332233332211332x1333003333221111000000333333333333333x1333223333003333003311331133330000333x1333003333221111000000333333333333331x1333223333003333003311331133330000331x1333003333221111000000333333333333330x1333223333003333003311331133330000330x1333003333221111000000333333333333332x1333223333003333003311331133330000332x133300112200110022110033113322110000113x132211000000113311002200001111223333113x133300112200110022110033113322110000111x132211000000113311002200001111223333111x133300112200110022110033113322110000110x132211000000113311002200001111223333110x133300112200110022110033113322110000112x132211000000113311002200001111223333112x113300112200110022110033113322110000113x112211000000113311002200001111223333113x113300112200110022110033113322110000111x112211000000113311002200001111223333111x113300112200110022110033113322110000110x112211000000113311002200001111223333110x113300112200110022110033113322110000112x112211000000113311002200001111223333112x103300112200110022110033113322110000113x102211000000113311002200001111223333113x103300112200110022110033113322110000111x102211000000113311002200001111223333111x103300112200110022110033113322110000110x102211000000113311002200001111223333110x103300112200110022110033113322110000112x102211000000113311002200001111223333112x123300112200110022110033113322110000113x122211000000113311002200001111223333113x123300112200110022110033113322110000111x122211000000113311002200001111223333111x123300112200110022110033113322110000110x122211000000113311002200001111223333110x123300112200110022110033113322110000112x122211000000113311002200001111223333112x131111222211222233333333330000223300113x132233000022332211331122113311332233003x131111222211222233333333330000223300111x132233000022332211331122113311332233001x131111222211222233333333330000223300110x132233000022332211331122113311332233000x131111222211222233333333330000223300112x132233000022332211331122113311332233002x111111222211222233333333330000223300113x112233000022332211331122113311332233003x111111222211222233333333330000223300111x112233000022332211331122113311332233001x111111222211222233333333330000223300110x112233000022332211331122113311332233000x111111222211222233333333330000223300112x112233000022332211331122113311332233002x101111222211222233333333330000223300113x102233000022332211331122113311332233003x101111222211222233333333330000223300111x102233000022332211331122113311332233001x101111222211222233333333330000223300110x102233000022332211331122113311332233000x101111222211222233333333330000223300112x102233000022332211331122113311332233002x121111222211222233333333330000223300113x122233000022332211331122113311332233003x121111222211222233333333330000223300111x122233000022332211331122113311332233001x121111222211222233333333330000223300110x122233000022332211331122113311332233000x121111222211222233333333330000223300112x122233000022332211331122113311332233002x132211110000333322112233002200333300113x133333222233113300220000110011331100223x132211110000333322112233002200333300111x133333222233113300220000110011331100221x132211110000333322112233002200333300110x133333222233113300220000110011331100220x132211110000333322112233002200333300112x133333222233113300220000110011331100222x112211110000333322112233002200333300113x113333222233113300220000110011331100223x112211110000333322112233002200333300111x113333222233113300220000110011331100221x112211110000333322112233002200333300110x113333222233113300220000110011331100220x112211110000333322112233002200333300112x113333222233113300220000110011331100222x102211110000333322112233002200333300113x103333222233113300220000110011331100223x102211110000333322112233002200333300111x103333222233113300220000110011331100221x102211110000333322112233002200333300110x103333222233113300220000110011331100220x102211110000333322112233002200333300112x103333222233113300220000110011331100222x122211110000333322112233002200333300113x123333222233113300220000110011331100223x122211110000333322112233002200333300111x123333222233113300220000110011331100221x122211110000333322112233002200333300110x123333222233113300220000110011331100220x122211110000333322112233002200333300112x123333222233113300220000110011331100222x132200222233111100222222001133333300113x130000222200223311113311332211002233223x132200222233111100222222001133333300111x130000222200223311113311332211002233221x132200222233111100222222001133333300110x130000222200223311113311332211002233220x132200222233111100222222001133333300112x130000222200223311113311332211002233222x112200222233111100222222001133333300113x110000222200223311113311332211002233223x112200222233111100222222001133333300111x110000222200223311113311332211002233221x112200222233111100222222001133333300110x110000222200223311113311332211002233220x112200222233111100222222001133333300112x110000222200223311113311332211002233222x102200222233111100222222001133333300113x100000222200223311113311332211002233223x102200222233111100222222001133333300111x100000222200223311113311332211002233221x102200222233111100222222001133333300110x100000222200223311113311332211002233220x102200222233111100222222001133333300112x100000222200223311113311332211002233222x122200222233111100222222001133333300113x120000222200223311113311332211002233223x122200222233111100222222001133333300111x120000222200223311113311332211002233221x122200222233111100222222001133333300110x120000222200223311113311332211002233220x122200222233111100222222001133333300112x120000222200223311113311332211002233222x130022332200330022333322221111111100223x132200002211002233113311330033112222223x130022332200330022333322221111111100221x132200002211002233113311330033112222221x130022332200330022333322221111111100220x132200002211002233113311330033112222220x130022332200330022333322221111111100222x132200002211002233113311330033112222222x110022332200330022333322221111111100223x112200002211002233113311330033112222223x110022332200330022333322221111111100221x112200002211002233113311330033112222221x110022332200330022333322221111111100220x112200002211002233113311330033112222220x110022332200330022333322221111111100222x112200002211002233113311330033112222222x100022332200330022333322221111111100223x102200002211002233113311330033112222223x100022332200330022333322221111111100221x102200002211002233113311330033112222221x100022332200330022333322221111111100220x102200002211002233113311330033112222220x100022332200330022333322221111111100222x102200002211002233113311330033112222222x120022332200330022333322221111111100223x122200002211002233113311330033112222223x120022332200330022333322221111111100221x122200002211002233113311330033112222221x120022332200330022333322221111111100220x122200002211002233113311330033112222220x120022332200330022333322221111111100222x122200002211002233113311330033112222222x133322110000330000221111223311333300223x132211333333001133113311000000222200223x133322110000330000221111223311333300221x132211333333001133113311000000222200221x133322110000330000221111223311333300220x132211333333001133113311000000222200220x133322110000330000221111223311333300222x132211333333001133113311000000222200222x113322110000330000221111223311333300223x112211333333001133113311000000222200223x113322110000330000221111223311333300221x112211333333001133113311000000222200221x113322110000330000221111223311333300220x112211333333001133113311000000222200220x113322110000330000221111223311333300222x112211333333001133113311000000222200222x103322110000330000221111223311333300223x102211333333001133113311000000222200223x103322110000330000221111223311333300221x102211333333001133113311000000222200221x103322110000330000221111223311333300220x102211333333001133113311000000222200220x103322110000330000221111223311333300222x102211333333001133113311000000222200222x123322110000330000221111223311333300223x122211333333001133113311000000222200223x123322110000330000221111223311333300221x122211333333001133113311000000222200221x123322110000330000221111223311333300220x122211333333001133113311000000222200220x123322110000330000221111223311333300222x122211333333001133113311000000222200222x130011113333333300333333220022002211223x132200000033110033331133223333113322223x130011113333333300333333220022002211221x132200000033110033331133223333113322221x130011113333333300333333220022002211220x132200000033110033331133223333113322220x130011113333333300333333220022002211222x132200000033110033331133223333113322222x110011113333333300333333220022002211223x112200000033110033331133223333113322223x110011113333333300333333220022002211221x112200000033110033331133223333113322221x110011113333333300333333220022002211220x112200000033110033331133223333113322220x110011113333333300333333220022002211222x112200000033110033331133223333113322222x100011113333333300333333220022002211223x102200000033110033331133223333113322223x100011113333333300333333220022002211221x102200000033110033331133223333113322221x100011113333333300333333220022002211220x102200000033110033331133223333113322220x100011113333333300333333220022002211222x102200000033110033331133223333113322222x120011113333333300333333220022002211223x122200000033110033331133223333113322223x120011113333333300333333220022002211221x122200000033110033331133223333113322221x120011113333333300333333220022002211220x122200000033110033331133223333113322220x120011113333333300333333220022002211222x122200000033110033331133223333113322222x131122220022003311222200330022001133223x132233113300002222222211332200220000113x131122220022003311222200330022001133221x132233113300002222222211332200220000111x131122220022003311222200330022001133220x132233113300002222222211332200220000110x131122220022003311222200330022001133222x132233113300002222222211332200220000112x111122220022003311222200330022001133223x112233113300002222222211332200220000113x111122220022003311222200330022001133221x112233113300002222222211332200220000111x111122220022003311222200330022001133220x112233113300002222222211332200220000110x111122220022003311222200330022001133222x112233113300002222222211332200220000112x101122220022003311222200330022001133223x102233113300002222222211332200220000113x101122220022003311222200330022001133221x102233113300002222222211332200220000111x101122220022003311222200330022001133220x102233113300002222222211332200220000110x101122220022003311222200330022001133222x102233113300002222222211332200220000112x121122220022003311222200330022001133223x122233113300002222222211332200220000113x121122220022003311222200330022001133221x122233113300002222222211332200220000111x121122220022003311222200330022001133220x122233113300002222222211332200220000110x121122220022003311222200330022001133222x122233113300002222222211332200220000112x130011330022111100220000332211003333223x133311112211330000002211330033002200223x130011330022111100220000332211003333221x133311112211330000002211330033002200221x130011330022111100220000332211003333220x133311112211330000002211330033002200220x130011330022111100220000332211003333222x133311112211330000002211330033002200222x110011330022111100220000332211003333223x113311112211330000002211330033002200223x110011330022111100220000332211003333221x113311112211330000002211330033002200221x110011330022111100220000332211003333220x113311112211330000002211330033002200220x110011330022111100220000332211003333222x113311112211330000002211330033002200222x100011330022111100220000332211003333223x103311112211330000002211330033002200223x100011330022111100220000332211003333221x103311112211330000002211330033002200221x100011330022111100220000332211003333220x103311112211330000002211330033002200220x100011330022111100220000332211003333222x103311112211330000002211330033002200222x120011330022111100220000332211003333223x123311112211330000002211330033002200223x120011330022111100220000332211003333221x123311112211330000002211330033002200221x120011330022111100220000332211003333220x123311112211330000002211330033002200220x120011330022111100220000332211003333222x123311112211330000002211330033002200222x133311110022002233220011001133331100333x132211331133222211333300000000331100113x133311110022002233220011001133331100331x132211331133222211333300000000331100111x133311110022002233220011001133331100330x132211331133222211333300000000331100110x133311110022002233220011001133331100332x132211331133222211333300000000331100112x113311110022002233220011001133331100333x112211331133222211333300000000331100113x113311110022002233220011001133331100331x112211331133222211333300000000331100111x113311110022002233220011001133331100330x112211331133222211333300000000331100110x113311110022002233220011001133331100332x112211331133222211333300000000331100112x103311110022002233220011001133331100333x102211331133222211333300000000331100113x103311110022002233220011001133331100331x102211331133222211333300000000331100111x103311110022002233220011001133331100330x102211331133222211333300000000331100110x103311110022002233220011001133331100332x102211331133222211333300000000331100112x123311110022002233220011001133331100333x122211331133222211333300000000331100113x123311110022002233220011001133331100331x122211331133222211333300000000331100111x123311110022002233220011001133331100330x122211331133222211333300000000331100110x123311110022002233220011001133331100332x122211331133222211333300000000331100112x133322113311111122333311112222223300333x132211331122331133113333002211332222113x133322113311111122333311112222223300331x132211331122331133113333002211332222111x133322113311111122333311112222223300330x132211331122331133113333002211332222110x133322113311111122333311112222223300332x132211331122331133113333002211332222112x113322113311111122333311112222223300333x112211331122331133113333002211332222113x113322113311111122333311112222223300331x112211331122331133113333002211332222111x113322113311111122333311112222223300330x112211331122331133113333002211332222110x113322113311111122333311112222223300332x112211331122331133113333002211332222112x103322113311111122333311112222223300333x102211331122331133113333002211332222113x103322113311111122333311112222223300331x102211331122331133113333002211332222111x103322113311111122333311112222223300330x102211331122331133113333002211332222110x103322113311111122333311112222223300332x102211331122331133113333002211332222112x123322113311111122333311112222223300333x122211331122331133113333002211332222113x123322113311111122333311112222223300331x122211331122331133113333002211332222111x123322113311111122333311112222223300330x122211331122331133113333002211332222110x123322113311111122333311112222223300332x122211331122331133113333002211332222112x132222332211003333222211003311112222333x133300222222223311113311220022223311333x132222332211003333222211003311112222331x133300222222223311113311220022223311331x132222332211003333222211003311112222330x133300222222223311113311220022223311330x132222332211003333222211003311112222332x133300222222223311113311220022223311332x112222332211003333222211003311112222333x113300222222223311113311220022223311333x112222332211003333222211003311112222331x113300222222223311113311220022223311331x112222332211003333222211003311112222330x113300222222223311113311220022223311330x112222332211003333222211003311112222332x113300222222223311113311220022223311332x102222332211003333222211003311112222333x103300222222223311113311220022223311333x102222332211003333222211003311112222331x103300222222223311113311220022223311331x102222332211003333222211003311112222330x103300222222223311113311220022223311330x102222332211003333222211003311112222332x103300222222223311113311220022223311332x122222332211003333222211003311112222333x123300222222223311113311220022223311333x122222332211003333222211003311112222331x123300222222223311113311220022223311331x122222332211003333222211003311112222330x123300222222223311113311220022223311330x122222332211003333222211003311112222332x123300222222223311113311220022223311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x112211332211003311222200223333223333333x113333332222220022002211331133112233333x112211332211003311222200223333223333331x113333332222220022002211331133112233331x112211332211003311222200223333223333330x113333332222220022002211331133112233330x112211332211003311222200223333223333332x113333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x122211332211003311222200223333223333333x123333332222220022002211331133112233333x122211332211003311222200223333223333331x123333332222220022002211331133112233331x122211332211003311222200223333223333330x123333332222220022002211331133112233330x122211332211003311222200223333223333332x123333332222220022002211331133112233332x113111114101111402111112011123111031114233111313211122111211110111122111111413111301111200111121113000222222110000002211110000220022003x1000000000220011222222110022001122003x1000222222110000002211110000220022001x1000000000220011222222110022001122001x1000222222110000002211110000220022000x1000000000220011222222110022001122000x1000222222110000002211110000220022002x1000000000220011222222110022001122002x1122113333002211332233333311333300113x1133113311222233113300333322330033113x1122113333002211332233333311333300111x1133113311222233113300333322330033111x1122113333002211332233333311333300110x1133113311222233113300333322330033110x1122113333002211332233333311333300112x1133113311222233113300333322330033112x1222332211223322002222112200001100223x1222221133112233220022002211000022223x1222332211223322002222112200001100221x1222221133112233220022002211000022221x1222332211223322002222112200001100220x1222221133112233220022002211000022220x1222332211223322002222112200001100222x1222221133112233220022002211000022222x1000221100002200221111221100110022223x1000222211002222221111110000001100223x1000221100002200221111221100110022221x1000222211002222221111110000001100221x1000221100002200221111221100110022220x1000222211002222221111110000001100220x1000221100002200221111221100110022222x1000222211002222221111110000001100222x1222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x11001111021112211121111101112111111201112031110111112111131113311130111321112311131111122113333002211332233333311333300113x1133113311222233113300333322330033113x1122113333002211332233333311333300111x1133113311222233113300333322330033111x1122113333002211332233333311333300110x1133113311222233113300333322330033110x1122113333002211332233333311333300112x1133113311222233113300333322330033112x1222332211223322002222112200001100223x1222221133112233220022002211000022223x1222332211223322002222112200001100221x1222221133112233220022002211000022221x1222332211223322002222112200001100220x1222221133112233220022002211000022220x1222332211223322002222112200001100222x1222221133112233220022002211000022222x1000221100002200221111221100110022223x1000222211002222221111110000001100223x1000221100002200221111221100110022221x1000222211002222221111110000001100221x1000221100002200221111221100110022220x1000222211002222221111110000001100220x1000221100002200221111221100110022222x1000222211002222221111110000001100222x1222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x1112111211111311133111130111102111321112311131111011112211103111111111101112011100111222332211223322002222112200001100223x1222221133112233220022002211000022223x1222332211223322002222112200001100221x1222221133112233220022002211000022221x1222332211223322002222112200001100220x1222221133112233220022002211000022220x1222332211223322002222112200001100222x1222221133112233220022002211000022222x1000221100002200221111221100110022223x1000222211002222221111110000001100223x1000221100002200221111221100110022221x1000222211002222221111110000001100221x1000221100002200221111221100110022220x1000222211002222221111110000001100220x1000221100002200221111221100110022222x1000222211002222221111110000001100222x1222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x1122111231113211121111121112011102111001110111111011113111311111111130111331111031111000221100002200221111221100110022223x1000222211002222221111110000001100223x1000221100002200221111221100110022221x1000222211002222221111110000001100221x1000221100002200221111221100110022220x1000222211002222221111110000001100220x1000221100002200221111221100110022222x1000222211002222221111110000001100222x1222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x110011102111211111011120111111111211110111112211123111321113011113111311113311103111222332222330022110011113322331122333x1200003322112222222233112233113311333x1222332222330022110011113322331122331x1200003322112222222233112233113311331x1222332222330022110011113322331122330x1200003322112222222233112233113311330x1222332222330022110011113322331122332x1200003322112222222233112233113311332x132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x1122111231113211130111102111211111011101111111111311131111121113311120111001110311132211332211003311222200223333223333333x133333332222220022002211331133112233333x132211332211003311222200223333223333331x133333332222220022002211331133112233331x132211332211003311222200223333223333330x133333332222220022002211331133112233330x132211332211003311222200223333223333332x133333332222220022002211331133112233332x102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x1132111211111311110111031111311111211122111201110211123111331113011102211332211003311222200223333223333333x103333332222220022002211331133112233333x102211332211003311222200223333223333331x103333332222220022002211331133112233331x102211332211003311222200223333223333330x103333332222220022002211331133112233330x102211332211003311222200223333223333332x103333332222220022002211331133112233332x11021112111113111321111101110311131111121112211120111231113311130111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (14 real / 0 unknown / 0 assumptions / 14 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe