000011323301120131x1000111013310320231x1000230000001103000x1003100002000310000x1001121313111221022x1211110311120310222x1003302303021000330x1003103003303300202x1020130013020131131x1020131121003300131x1020211212003223003x1032202222030101103x1021211232100100303x1032001210211310023x1023123210100313123x1023312111023102033x1030021002122320020x1020002030220113220x1032030012120121300x1022033100302110120x1033000132232130021x1022003023103103231x1100100330021213313x1103003300210312311x1103120332120010213x1103310203103212210x1112030130233322303x1330310323220321103x1112030213303333312x1103303310231132323x1112100303130131333x1301111303110302333x1113210033113201211x1112330033111110221x1122332013120303202x1231031023322003122x1123130122020111101x1122011110032102311x1130131212122213013x1232112213102111033x1130301312102113011x1101031310113230211x1132101213113330213x1103112232311311033x1133032111013231121x1131301132322031111x1133132222201220303x1132010222221033323x1133312012002133302x1131103302013032322x1201200022132101020x1202010110103202220x1203203100013003022x1230000000231310322x1210030001301301321x1300011233003010211x1210112233212122302x1232110122203221132x1210201032131132210x1231232212001031110x1211101003303201213x1223031003011112103x1211302132233313233x1223312101133233233x1212210130110033223x1203101313222201103x1213030101330133023x1233033003231110310x1213112123032010121x1300311111232022121x1221013220222202212x1232221222010220212x1221201301111220022x1200110223122121102x1221222221321303312x1220222312132311232x1221222320330120233x1231310223022232203x1221232111003312213x1221112123231310203x1221301301202213222x1112233322020102212x1223023120221300132x1302132211203002232x1223103021322233312x1110322322102332332x1223112020300210132x1223220303101112200x1223131302131231331x1233131332311232101x1232120301333023000x1300302311332203020x1232131200130120311x1123110130003232211x1233131001133312213x1221331103111332303x1300313322110212020x1331020202023113102x1301001300130120333x1113003101023033003x1301020313313302230x1302103033023311230x1301322320100301020x1231202031000323100x1301323320112013132x1323303110223121103x1302133011301231213x1011232310211103333x1303013020110102303x1300211010321003303x1303203112133210321x1233011102123303321x1303223203022120220x1321003023220223220x1311313303130212213x1333202112311303113x1312030120332322123x1313211320003222323x1312302211310010230x1310003110312122320x1313302220120101220x1323203121112000220x1320100031313320111x1320301110110303231x1320121232320212120x1211320231122023220x1320220023023012202x1203222032021320002x1320223001302002130x1210000323031300222x1321233121123023123x1202311331222331123x1321322333212010112x1231102203331231212x1322312221333021321x1322122232331133021x1323111322121003133x1323203112320131113x1323213012122101100x1322011111000322132x1323302320232213303x1332233230032210323x1330101333223303303x1333023101323333003x1330233002103010102x1203330203111000032x1330313312032223230x1323103212333003322x1331130213201233323x1310311033222231333x1332031223132322120x1321323203223231120x1332032122120123320x1203312121023323220x1332111130031202230x1331101020112332230x1333013312302132100x1311130130232303230x1333130331301002120x1331101330330223100x12.10132000011323301120131x1000111013310320231x1000230000001103000x1003100002000310000x1003302303021000330x1003103003303300202x1020130013020131131x1020131121003300131x1020211212003223003x1032202222030101103x1021211232100100303x1032001210211310023x1023123210100313123x1023312111023102033x1030021002122320020x1020002030220113220x1032030012120121300x1022033100302110120x1033000132232130021x1022003023103103231x1100100330021213313x1103003300210312311x1103120332120010213x1103310203103212210x1112030213303333312x1103303310231132323x1113210033113201211x1112330033111110221x1123130122020111101x1122011110032102311x1130301312102113011x1101031310113230211x1132101213113330213x1103112232311311033x1133032111013231121x1131301132322031111x1133132222201220303x1132010222221033323x1133312012002133302x1131103302013032322x1201200022132101020x1202010110103202220x1203203100013003022x1230000000231310322x1210112233212122302x1232110122203221132x1210201032131132210x1231232212001031110x1211101003303201213x1223031003011112103x1211302132233313233x1223312101133233233x1212210130110033223x1203101313222201103x1213030101330133023x1233033003231110310x1221013220222202212x1232221222010220212x1221201301111220022x1200110223122121102x1221222221321303312x1220222312132311232x1221222320330120233x1231310223022232203x1221232111003312213x1221112123231310203x1223112020300210132x1223220303101112200x1223131302131231331x1233131332311232101x1233131001133312213x1221331103111332303x1300313322110212020x1331020202023113102x1301020313313302230x1302103033023311230x1301323320112013132x1323303110223121103x1303013020110102303x1300211010321003303x1303223203022120220x1321003023220223220x1311313303130212213x1333202112311303113x1312030120332322123x1313211320003222323x1312302211310010230x1310003110312122320x1313302220120101220x1323203121112000220x1320100031313320111x1320301110110303231x1322312221333021321x1322122232331133021x1323111322121003133x1323203112320131113x1323213012122101100x1322011111000322132x1323302320232213303x1332233230032210323x1330101333223303303x1333023101323333003x1330313312032223230x1323103212333003322x1331130213201233323x1310311033222231333x1332031223132322120x1321323203223231120x1332111130031202230x1331101020112332230x1333013312302132100x1311130130232303230x1333130331301002120x1331101330330223100x10001121313111221022x10211110311120310222x11001121313111221022x11211110311120310222x13001121313111221022x13211110311120310222x12001121313111221022x12211110311120310222x10112030130233322303x10330310323220321103x11112030130233322303x11330310323220321103x13112030130233322303x13330310323220321103x12112030130233322303x12330310323220321103x10112100303130131333x10301111303110302333x11112100303130131333x11301111303110302333x13112100303130131333x13301111303110302333x12112100303130131333x12301111303110302333x10122332013120303202x10231031023322003122x11122332013120303202x11231031023322003122x13122332013120303202x13231031023322003122x12122332013120303202x12231031023322003122x10130131212122213013x10232112213102111033x11130131212122213013x11232112213102111033x13130131212122213013x13232112213102111033x12130131212122213013x12232112213102111033x10210030001301301321x10300011233003010211x11210030001301301321x11300011233003010211x13210030001301301321x13300011233003010211x12210030001301301321x12300011233003010211x10213112123032010121x10300311111232022121x11213112123032010121x11300311111232022121x13213112123032010121x13300311111232022121x12213112123032010121x12300311111232022121x10221301301202213222x10112233322020102212x11221301301202213222x11112233322020102212x13221301301202213222x13112233322020102212x12221301301202213222x12112233322020102212x10223023120221300132x10302132211203002232x11223023120221300132x11302132211203002232x13223023120221300132x13302132211203002232x12223023120221300132x12302132211203002232x10223103021322233312x10110322322102332332x11223103021322233312x11110322322102332332x13223103021322233312x13110322322102332332x12223103021322233312x12110322322102332332x10232120301333023000x10300302311332203020x11232120301333023000x11300302311332203020x13232120301333023000x13300302311332203020x12232120301333023000x12300302311332203020x10232131200130120311x10123110130003232211x11232131200130120311x11123110130003232211x13232131200130120311x13123110130003232211x12232131200130120311x12123110130003232211x10301001300130120333x10113003101023033003x11301001300130120333x11113003101023033003x13301001300130120333x13113003101023033003x12301001300130120333x12113003101023033003x10301322320100301020x10231202031000323100x11301322320100301020x11231202031000323100x13301322320100301020x13231202031000323100x12301322320100301020x12231202031000323100x10302133011301231213x10011232310211103333x11302133011301231213x11011232310211103333x13302133011301231213x13011232310211103333x12302133011301231213x12011232310211103333x10303203112133210321x10233011102123303321x11303203112133210321x11233011102123303321x13303203112133210321x13233011102123303321x12303203112133210321x12233011102123303321x10320121232320212120x10211320231122023220x11320121232320212120x11211320231122023220x13320121232320212120x13211320231122023220x12320121232320212120x12211320231122023220x10320220023023012202x10203222032021320002x11320220023023012202x11203222032021320002x13320220023023012202x13203222032021320002x12320220023023012202x12203222032021320002x10320223001302002130x10210000323031300222x11320223001302002130x11210000323031300222x13320223001302002130x13210000323031300222x12320223001302002130x12210000323031300222x10321233121123023123x10202311331222331123x11321233121123023123x11202311331222331123x13321233121123023123x13202311331222331123x12321233121123023123x12202311331222331123x10321322333212010112x10231102203331231212x11321322333212010112x11231102203331231212x13321322333212010112x13231102203331231212x12321322333212010112x12231102203331231212x10330233002103010102x10203330203111000032x11330233002103010102x11203330203111000032x13330233002103010102x13203330203111000032x12330233002103010102x12203330203111000032x10332032122120123320x10203312121023323220x11332032122120123320x11203312121023323220x13332032122120123320x13203312121023323220x12332032122120123320x12203312121023323220x1000000011113322333300111122001133110x1000001111110011333311003322002233110x1000000011113322333300111122001133111x1000001111110011333311003322002233111x1000000011113322333300111122001133113x1000001111110011333311003322002233113x1000000011113322333300111122001133112x1000001111110011333311003322002233112x1000002233000000000000111100330000000x1000331100000000220000003311000000000x1000002233000000000000111100330000001x1000331100000000220000003311000000001x1000002233000000000000111100330000003x1000331100000000220000003311000000003x1000002233000000000000111100330000002x1000331100000000220000003311000000002x1000333300223300330022110000003333000x1000331100330000333300333300002200220x1000333300223300330022110000003333001x1000331100330000333300333300002200221x1000333300223300330022110000003333003x1000331100330000333300333300002200223x1000333300223300330022110000003333002x1000331100330000333300333300002200222x1022001133000011330022001133111133110x1022001133111122110000333300001133110x1022001133000011330022001133111133111x1022001133111122110000333300001133111x1022001133000011330022001133111133113x1022001133111122110000333300001133113x1022001133000011330022001133111133112x1022001133111122110000333300001133112x1022002211112211220000332222330000330x1033222200222222220033001100111100330x1022002211112211220000332222330000331x1033222200222222220033001100111100331x1022002211112211220000332222330000333x1033222200222222220033001100111100333x1022002211112211220000332222330000332x1033222200222222220033001100111100332x1022112211112233221100001100003300330x1033220000112211002211113311000022330x1022112211112233221100001100003300331x1033220000112211002211113311000022331x1022112211112233221100001100003300333x1033220000112211002211113311000022333x1022112211112233221100001100003300332x1033220000112211002211113311000022332x1022331122332211001100003311331122330x1022333311221111110022331100220033330x1022331122332211001100003311331122331x1022333311221111110022331100220033331x1022331122332211001100003311331122333x1022333311221111110022331100220033333x1022331122332211001100003311331122332x1022333311221111110022331100220033332x1033000022110000221122223322000022000x1022000000220033002222001111332222000x1033000022110000221122223322000022001x1022000000220033002222001111332222001x1033000022110000221122223322000022003x1022000000220033002222001111332222003x1033000022110000221122223322000022002x1022000000220033002222001111332222002x1033220033000011221122001122113300000x1022220033331100003300221111001122000x1033220033000011221122001122113300001x1022220033331100003300221111001122001x1033220033000011221122001122113300003x1022220033331100003300221111001122003x1033220033000011221122001122113300002x1022220033331100003300221111001122002x1033330000001133222233221133000022110x1022220000330022331100331100332233110x1033330000001133222233221133000022111x1022220000330022331100331100332233111x1033330000001133222233221133000022113x1022220000330022331100331100332233113x1033330000001133222233221133000022112x1022220000330022331100331100332233112x1100001100003333000022112211333311330x1100330000333300002211003311223311110x1100001100003333000022112211333311331x1100330000333300002211003311223311111x1100001100003333000022112211333311333x1100330000333300002211003311223311113x1100001100003333000022112211333311332x1100330000333300002211003311223311112x1100331122003333221122000011002211330x1100333311002200331100332211222211000x1100331122003333221122000011002211331x1100333311002200331100332211222211001x1100331122003333221122000011002211333x1100333311002200331100332211222211003x1100331122003333221122000011002211332x1100333311002200331100332211222211002x1111220033002211333300333333333311220x1100333300333311002233111133223322330x1111220033002211333300333333333311221x1100333300333311002233111133223322331x1111220033002211333300333333333311223x1100333300333311002233111133223322333x1111220033002211333300333333333311222x1100333300333311002233111133223322332x1111332211000033331111332200112211110x1111223333000033331111111111002222110x1111332211000033331111332200112211111x1111223333000033331111111111002222111x1111332211000033331111332200112211113x1111223333000033331111111111002222113x1111332211000033331111332200112211112x1111223333000033331111111111002222112x1122331133001122220022001111111100110x1122220011111111000033221100223311110x1122331133001122220022001111111100111x1122220011111111000033221100223311111x1122331133001122220022001111111100113x1122220011111111000033221100223311113x1122331133001122220022001111111100112x1122220011111111000033221100223311112x1133003300113311221100221111330011110x1100110033113311001111332233002211110x1133003300113311221100221111330011111x1100110033113311001111332233002211111x1133003300113311221100221111330011113x1100110033113311001111332233002211113x1133003300113311221100221111330011112x1100110033113311001111332233002211112x1133221100112211331111333333002211330x1100331111222233223311113311110033330x1133221100112211331111333333002211331x1100331111222233223311113311110033331x1133221100112211331111333333002211333x1100331111222233223311113311110033333x1133221100112211331111333333002211332x1100331111222233223311113311110033332x1133330033221111110011332233111122110x1133113300111133223322220033111111110x1133330033221111110011332233111122111x1133113300111133223322220033111111111x1133330033221111110011332233111122113x1133113300111133223322220033111111113x1133330033221111110011332233111122112x1133113300111133223322220033111111112x1133331133222222222200112222003300330x1133220011002222222222110033333322330x1133331133222222222200112222003300331x1133220011002222222222110033333322331x1133331133222222222200112222003300333x1133220011002222222222110033333322333x1133331133222222222200112222003300332x1133220011002222222222110033333322332x1133333311220011220000221133333300220x1133111100333300220011330033223322220x1133333311220011220000221133333300221x1133111100333300220011330033223322221x1133333311220011220000221133333300223x1133111100333300220011330033223322223x1133333311220011220000221133333300222x1133111100333300220011330033223322222x1200112200000022221133221100110022000x1200220011001111001100332200222222000x1200112200000022221133221100110022001x1200220011001111001100332200222222001x1200112200000022221133221100110022003x1200220011001111001100332200222222003x1200112200000022221133221100110022002x1200220011001111001100332200222222002x1200332200331100000011330000330022220x1233000000000000002233113311003322220x1200332200331100000011330000330022221x1233000000000000002233113311003322221x1200332200331100000011330000330022223x1233000000000000002233113311003322223x1200332200331100000011330000330022222x1233000000000000002233113311003322222x1211001111222233332211221122223300220x1233221111001122222200332222111133220x1211001111222233332211221122223300221x1233221111001122222200332222111133221x1211001111222233332211221122223300223x1233221111001122222200332222111133223x1211001111222233332211221122223300222x1233221111001122222200332222111133222x1211002200110033221133111133222211000x1233112233222211220000110033111111000x1211002200110033221133111133222211001x1233112233222211220000110033111111001x1211002200110033221133111133222211003x1233112233222211220000110033111111003x1211002200110033221133111133222211002x1233112233222211220000110033111111002x1211111100110000333300332200112211330x1222330033110000330011111111221100330x1211111100110000333300332200112211331x1222330033110000330011111111221100331x1211111100110000333300332200112211333x1222330033110000330011111111221100333x1211111100110000333300332200112211332x1222330033110000330011111111221100332x1211113300221133222233333311332233330x1222333311221100111133332233332233330x1211113300221133222233333311332233331x1222333311221100111133332233332233331x1211113300221133222233333311332233333x1222333311221100111133332233332233333x1211113300221133222233333311332233332x1222333311221100111133332233332233332x1211222211001133001111000033332222330x1200331100113311332222222200111100330x1211222211001133001111000033332222331x1200331100113311332222222200111100331x1211222211001133001111000033332222333x1200331100113311332222222200111100333x1211222211001133001111000033332222332x1200331100113311332222222200111100332x1211330033001100113333001133330022330x1233330033330000332233111111003311000x1211330033001100113333001133330022331x1233330033330000332233111111003311001x1211330033001100113333001133330022333x1233330033330000332233111111003311003x1211330033001100113333001133330022332x1233330033330000332233111111003311002x1222110011332222002222222200222211220x1233222222112222220011002222002211220x1222110011332222002222222200222211221x1233222222112222220011002222002211221x1222110011332222002222222200222211223x1233222222112222220011002222002211223x1222110011332222002222222200222211222x1233222222112222220011002222002211222x1222112200113300111111112222000022220x1200001111002222331122221122111100220x1222112200113300111111112222000022221x1200001111002222331122221122111100221x1222112200113300111111112222000022223x1200001111002222331122221122111100223x1222112200113300111111112222000022222x1200001111002222331122221122111100222x1222112222222222113322113300333311220x1222002222223311221133223311112233220x1222112222222222113322113300333311221x1222002222223311221133223311112233221x1222112222222222113322113300333311223x1222002222223311221133223311112233223x1222112222222222113322113300333311222x1222002222223311221133223311112233222x1222112222223322003333001122002233330x1233113311002222330022222233222200330x1222112222223322003333001122002233331x1233113311002222330022222233222200331x1222112222223322003333001122002233333x1233113311002222330022222233222200333x1222112222223322003333001122002233332x1233113311002222330022222233222200332x1222112233221111110000333311222211330x1222111111221122332233113311002200330x1222112233221111110000333311222211331x1222111111221122332233113311002200331x1222112233221111110000333311222211333x1222111111221122332233113311002200333x1222112233221111110000333311222211332x1222111111221122332233113311002200332x1222331111220022003300002211001133220x1222332222003300331100111111222200000x1222331111220022003300002211001133221x1222332222003300331100111111222200001x1222331111220022003300002211001133223x1222332222003300331100111111222200003x1222331111220022003300002211001133222x1222332222003300331100111111222200002x1222331133113300221133112233113333110x1233331133113333223311112233221100110x1222331133113300221133112233113333111x1233331133113333223311112233221100111x1222331133113300221133112233113333113x1233331133113333223311112233221100113x1222331133113300221133112233113333112x1233331133113333223311112233221100112x1233331133110000111133333311222211330x1222113333111100331111113333223300330x1233331133110000111133333311222211331x1222113333111100331111113333223300331x1233331133110000111133333311222211333x1222113333111100331111113333223300333x1233331133110000111133333311222211332x1222113333111100331111113333223300332x1300003311333322221111002211220022000x1333110022002200220022331111331100220x1300003311333322221111002211220022001x1333110022002200220022331111331100221x1300003311333322221111002211220022003x1333110022002200220022331111331100223x1300003311333322221111002211220022002x1333110022002200220022331111331100222x1300110022003311333311333300222233000x1300221100330033330022333311112233000x1300110022003311333311333300222233001x1300221100330033330022333311112233001x1300110022003311333311333300222233003x1300221100330033330022333311112233003x1300110022003311333311333300222233002x1300221100330033330022333311112233002x1300113322333322001111220011331133220x1322333300331111002222331122111100330x1300113322333322001111220011331133221x1322333300331111002222331122111100331x1300113322333322001111220011331133223x1322333300331111002222331122111100333x1300113322333322001111220011331133222x1322333300331111002222331122111100332x1300330011330022001111001100223300330x1300002211110011003322110000333300330x1300330011330022001111001100223300331x1300002211110011003322110000333300331x1300330011330022001111001100223300333x1300002211110011003322110000333300333x1300330011330022001111001100223300332x1300002211110011003322110000333300332x1300332222332200330022221122002222000x1322110000330022332222002222332222000x1300332222332200330022221122002222001x1322110000330022332222002222332222001x1300332222332200330022221122002222003x1322110000330022332222002222332222003x1300332222332200330022221122002222002x1322110000330022332222002222332222002x1311113311333300331133002211222211330x1333332200221111223311113300331111330x1311113311333300331133002211222211331x1333332200221111223311113300331111331x1311113311333300331133002211222211333x1333332200221111223311113300331111333x1311113311333300331133002211222211332x1333332200221111223311113300331111332x1311220033001122003333223322221122330x1311332211113322000000332222223322330x1311220033001122003333223322221122331x1311332211113322000000332222223322331x1311220033001122003333223322221122333x1311332211113322000000332222223322333x1311220033001122003333223322221122332x1311332211113322000000332222223322332x1311223300222211113311000011002233000x1311000000331111003311221122223322000x1311223300222211113311000011002233001x1311000000331111003311221122223322001x1311223300222211113311000011002233003x1311000000331111003311221122223322003x1311223300222211113311000011002233002x1311000000331111003311221122223322002x1311333300222222001122001100112222000x1322332200331122111111220000002222000x1311333300222222001122001100112222001x1322332200331122111111220000002222001x1311333300222222001122001100112222003x1322332200331122111111220000002222003x1311333300222222001122001100112222002x1322332200331122111111220000002222002x1322001100000033113311333322001111110x1322003300111111001111003300332233110x1322001100000033113311333322001111111x1322003300111111001111003300332233111x1322001100000033113311333322001111113x1322003300111111001111003300332233113x1322001100000033113311333322001111112x1322003300111111001111003300332233112x1322223311222222113333330022113322110x1322221122222233223333111133330022110x1322223311222222113333330022113322111x1322221122222233223333111133330022111x1322223311222222113333330022113322113x1322221122222233223333111133330022113x1322223311222222113333330022113322112x1322221122222233223333111133330022112x1322331111113322221122110000331133330x1322332200331111223322001133111111330x1322331111113322221122110000331133331x1322332200331111223322001133111111331x1322331111113322221122110000331133333x1322332200331111223322001133111111333x1322331111113322221122110000331133332x1322332200331111223322001133111111332x1322332211330011221122221100111100000x1322220011111111110000003322221133220x1322332211330011221122221100111100001x1322220011111111110000003322221133221x1322332211330011221122221100111100003x1322220011111111110000003322221133223x1322332211330011221122221100111100002x1322220011111111110000003322221133222x1322333300223322002233222211333300330x1333222233332233000033222211003322330x1322333300223322002233222211333300331x1333222233332233000033222211003322331x1322333300223322002233222211333300333x1333222233332233000033222211003322333x1322333300223322002233222211333300332x1333222233332233000033222211003322332x1333001100113333332222333300333300330x1333330022331100113322333333330000330x1333001100113333332222333300333300331x1333330022331100113322333333330000331x1333001100113333332222333300333300333x1333330022331100113322333333330000333x1333001100113333332222333300333300332x1333330022331100113322333333330000332x1333003311333311220033222222332233000x1322331100332211223333330000333322220x1333003311333311220033222222332233001x1322331100332211223333330000333322221x1333003311333311220033222222332233003x1322331100332211223333330000333322223x1333003311333311220033222222332233002x1322331100332211223333330000333322222x1333111133002211332200112233333322330x1311003311110033332222222233113333330x1333111133002211332200112233333322331x1311003311110033332222222233113333331x1333111133002211332200112233333322333x1311003311110033332222222233113333333x1333111133002211332200112233333322332x1311003311110033332222222233113333332x1333220033112222331133223322221122000x1322113322332200332222332233111122000x1333220033112222331133223322221122001x1322113322332200332222332233111122001x1333220033112222331133223322221122003x1322113322332200332222332233111122003x1333220033112222331133223322221122002x1322113322332200332222332233111122002x1333221111111133000033112200222233000x1333111100110022001111223333222233000x1333221111111133000033112200222233001x1333111100110022001111223333222233001x1333221111111133000033112200222233003x1333111100110022001111223333222233003x1333221111111133000033112200222233002x1333111100110022001111223333222233002x1333330011333311223300221133221100000x1311111133001133002233223300332233000x1333330011333311223300221133221100001x1311111133001133002233223300332233001x1333330011333311223300221133221100003x1311111133001133002233223300332233003x1333330011333311223300221133221100002x1311111133001133002233223300332233002x1333331133003333113300110000221122000x1333111100113333003333002222331100000x1333331133003333113300110000221122001x1333111100113333003333002222331100001x1333331133003333113300110000221122003x1333111100113333003333002222331100003x1333331133003333113300110000221122002x1333111100113333003333002222331100002x100000111122113311331111112222110022220x102211111111003311111122003311002222220x100000111122113311331111112222110022221x102211111111003311111122003311002222221x100000111122113311331111112222110022223x102211111111003311111122003311002222223x100000111122113311331111112222110022222x102211111111003311111122003311002222222x110000111122113311331111112222110022220x112211111111003311111122003311002222220x110000111122113311331111112222110022221x112211111111003311111122003311002222221x110000111122113311331111112222110022223x112211111111003311111122003311002222223x110000111122113311331111112222110022222x112211111111003311111122003311002222222x130000111122113311331111112222110022220x132211111111003311111122003311002222220x130000111122113311331111112222110022221x132211111111003311111122003311002222221x130000111122113311331111112222110022223x132211111111003311111122003311002222223x130000111122113311331111112222110022222x132211111111003311111122003311002222222x120000111122113311331111112222110022220x122211111111003311111122003311002222220x120000111122113311331111112222110022221x122211111111003311111122003311002222221x120000111122113311331111112222110022223x122211111111003311111122003311002222223x120000111122113311331111112222110022222x122211111111003311111122003311002222222x101111220033001133002233333322223300330x103333003311003322332222003322111100330x101111220033001133002233333322223300331x103333003311003322332222003322111100331x101111220033001133002233333322223300333x103333003311003322332222003322111100333x101111220033001133002233333322223300332x103333003311003322332222003322111100332x111111220033001133002233333322223300330x113333003311003322332222003322111100330x111111220033001133002233333322223300331x113333003311003322332222003322111100331x111111220033001133002233333322223300333x113333003311003322332222003322111100333x111111220033001133002233333322223300332x113333003311003322332222003322111100332x131111220033001133002233333322223300330x133333003311003322332222003322111100330x131111220033001133002233333322223300331x133333003311003322332222003322111100331x131111220033001133002233333322223300333x133333003311003322332222003322111100333x131111220033001133002233333322223300332x133333003311003322332222003322111100332x121111220033001133002233333322223300330x123333003311003322332222003322111100330x121111220033001133002233333322223300331x123333003311003322332222003322111100331x121111220033001133002233333322223300333x123333003311003322332222003322111100333x121111220033001133002233333322223300332x123333003311003322332222003322111100332x101111221100003300331133001133113333330x103300111111113300331111003300223333330x101111221100003300331133001133113333331x103300111111113300331111003300223333331x101111221100003300331133001133113333333x103300111111113300331111003300223333333x101111221100003300331133001133113333332x103300111111113300331111003300223333332x111111221100003300331133001133113333330x113300111111113300331111003300223333330x111111221100003300331133001133113333331x113300111111113300331111003300223333331x111111221100003300331133001133113333333x113300111111113300331111003300223333333x111111221100003300331133001133113333332x113300111111113300331111003300223333332x131111221100003300331133001133113333330x133300111111113300331111003300223333330x131111221100003300331133001133113333331x133300111111113300331111003300223333331x131111221100003300331133001133113333333x133300111111113300331111003300223333333x131111221100003300331133001133113333332x133300111111113300331111003300223333332x121111221100003300331133001133113333330x123300111111113300331111003300223333330x121111221100003300331133001133113333331x123300111111113300331111003300223333331x121111221100003300331133001133113333333x123300111111113300331111003300223333333x121111221100003300331133001133113333332x123300111111113300331111003300223333332x101122223333220011331122003300332200220x102233110033110022333322220000331122220x101122223333220011331122003300332200221x102233110033110022333322220000331122221x101122223333220011331122003300332200223x102233110033110022333322220000331122223x101122223333220011331122003300332200222x102233110033110022333322220000331122222x111122223333220011331122003300332200220x112233110033110022333322220000331122220x111122223333220011331122003300332200221x112233110033110022333322220000331122221x111122223333220011331122003300332200223x112233110033110022333322220000331122223x111122223333220011331122003300332200222x112233110033110022333322220000331122222x131122223333220011331122003300332200220x132233110033110022333322220000331122220x131122223333220011331122003300332200221x132233110033110022333322220000331122221x131122223333220011331122003300332200223x132233110033110022333322220000331122223x131122223333220011331122003300332200222x132233110033110022333322220000331122222x121122223333220011331122003300332200220x122233110033110022333322220000331122220x121122223333220011331122003300332200221x122233110033110022333322220000331122221x121122223333220011331122003300332200223x122233110033110022333322220000331122223x121122223333220011331122003300332200222x122233110033110022333322220000331122222x101133001133112211221122222211330011330x102233221111222211331100221111110033330x101133001133112211221122222211330011331x102233221111222211331100221111110033331x101133001133112211221122222211330011333x102233221111222211331100221111110033333x101133001133112211221122222211330011332x102233221111222211331100221111110033332x111133001133112211221122222211330011330x112233221111222211331100221111110033330x111133001133112211221122222211330011331x112233221111222211331100221111110033331x111133001133112211221122222211330011333x112233221111222211331100221111110033333x111133001133112211221122222211330011332x112233221111222211331100221111110033332x131133001133112211221122222211330011330x132233221111222211331100221111110033330x131133001133112211221122222211330011331x132233221111222211331100221111110033331x131133001133112211221122222211330011333x132233221111222211331100221111110033333x131133001133112211221122222211330011332x132233221111222211331100221111110033332x121133001133112211221122222211330011330x122233221111222211331100221111110033330x121133001133112211221122222211330011331x122233221111222211331100221111110033331x121133001133112211221122222211330011333x122233221111222211331100221111110033333x121133001133112211221122222211330011332x122233221111222211331100221111110033332x102211000033000000113300113300113322110x103300000011112233330000330011002211110x102211000033000000113300113300113322111x103300000011112233330000330011002211111x102211000033000000113300113300113322113x103300000011112233330000330011002211113x102211000033000000113300113300113322112x103300000011112233330000330011002211112x112211000033000000113300113300113322110x113300000011112233330000330011002211110x112211000033000000113300113300113322111x113300000011112233330000330011002211111x112211000033000000113300113300113322113x113300000011112233330000330011002211113x112211000033000000113300113300113322112x113300000011112233330000330011002211112x132211000033000000113300113300113322110x133300000011112233330000330011002211110x132211000033000000113300113300113322111x133300000011112233330000330011002211111x132211000033000000113300113300113322113x133300000011112233330000330011002211113x132211000033000000113300113300113322112x133300000011112233330000330011002211112x122211000033000000113300113300113322110x123300000011112233330000330011002211110x122211000033000000113300113300113322111x123300000011112233330000330011002211111x122211000033000000113300113300113322113x123300000011112233330000330011002211113x122211000033000000113300113300113322112x123300000011112233330000330011002211112x102211331111221122330033220011001122110x103300003311111111112233220022221122110x102211331111221122330033220011001122111x103300003311111111112233220022221122111x102211331111221122330033220011001122113x103300003311111111112233220022221122113x102211331111221122330033220011001122112x103300003311111111112233220022221122112x112211331111221122330033220011001122110x113300003311111111112233220022221122110x112211331111221122330033220011001122111x113300003311111111112233220022221122111x112211331111221122330033220011001122113x113300003311111111112233220022221122113x112211331111221122330033220011001122112x113300003311111111112233220022221122112x132211331111221122330033220011001122110x133300003311111111112233220022221122110x132211331111221122330033220011001122111x133300003311111111112233220022221122111x132211331111221122330033220011001122113x133300003311111111112233220022221122113x132211331111221122330033220011001122112x133300003311111111112233220022221122112x122211331111221122330033220011001122110x123300003311111111112233220022221122110x122211331111221122330033220011001122111x123300003311111111112233220022221122111x122211331111221122330033220011001122113x123300003311111111112233220022221122113x122211331111221122330033220011001122112x123300003311111111112233220022221122112x102222113300113300112200222211332222220x101111222233333322220022001100222211220x102222113300113300112200222211332222221x101111222233333322220022001100222211221x102222113300113300112200222211332222223x101111222233333322220022001100222211223x102222113300113300112200222211332222222x101111222233333322220022001100222211222x112222113300113300112200222211332222220x111111222233333322220022001100222211220x112222113300113300112200222211332222221x111111222233333322220022001100222211221x112222113300113300112200222211332222223x111111222233333322220022001100222211223x112222113300113300112200222211332222222x111111222233333322220022001100222211222x132222113300113300112200222211332222220x131111222233333322220022001100222211220x132222113300113300112200222211332222221x131111222233333322220022001100222211221x132222113300113300112200222211332222223x131111222233333322220022001100222211223x132222113300113300112200222211332222222x131111222233333322220022001100222211222x122222113300113300112200222211332222220x121111222233333322220022001100222211220x122222113300113300112200222211332222221x121111222233333322220022001100222211221x122222113300113300112200222211332222223x121111222233333322220022001100222211223x122222113300113300112200222211332222222x121111222233333322220022001100222211222x102222330022331122002222113300001133220x103300221133222211112200330000222233220x102222330022331122002222113300001133221x103300221133222211112200330000222233221x102222330022331122002222113300001133223x103300221133222211112200330000222233223x102222330022331122002222113300001133222x103300221133222211112200330000222233222x112222330022331122002222113300001133220x113300221133222211112200330000222233220x112222330022331122002222113300001133221x113300221133222211112200330000222233221x112222330022331122002222113300001133223x113300221133222211112200330000222233223x112222330022331122002222113300001133222x113300221133222211112200330000222233222x132222330022331122002222113300001133220x133300221133222211112200330000222233220x132222330022331122002222113300001133221x133300221133222211112200330000222233221x132222330022331122002222113300001133223x133300221133222211112200330000222233223x132222330022331122002222113300001133222x133300221133222211112200330000222233222x122222330022331122002222113300001133220x123300221133222211112200330000222233220x122222330022331122002222113300001133221x123300221133222211112200330000222233221x122222330022331122002222113300001133223x123300221133222211112200330000222233223x122222330022331122002222113300001133222x123300221133222211112200330000222233222x102222331100330022113322222233333311220x101111003322223322221100223333223333220x102222331100330022113322222233333311221x101111003322223322221100223333223333221x102222331100330022113322222233333311223x101111003322223322221100223333223333223x102222331100330022113322222233333311222x101111003322223322221100223333223333222x112222331100330022113322222233333311220x111111003322223322221100223333223333220x112222331100330022113322222233333311221x111111003322223322221100223333223333221x112222331100330022113322222233333311223x111111003322223322221100223333223333223x112222331100330022113322222233333311222x111111003322223322221100223333223333222x132222331100330022113322222233333311220x131111003322223322221100223333223333220x132222331100330022113322222233333311221x131111003322223322221100223333223333221x132222331100330022113322222233333311223x131111003322223322221100223333223333223x132222331100330022113322222233333311222x131111003322223322221100223333223333222x122222331100330022113322222233333311220x121111003322223322221100223333223333220x122222331100330022113322222233333311221x121111003322223322221100223333223333221x122222331100330022113322222233333311223x121111003322223322221100223333223333223x122222331100330022113322222233333311222x121111003322223322221100223333223333222x102233221122003300113333330022330000000x103300003300223311113333222200330022000x102233221122003300113333330022330000001x103300003300223311113333222200330022001x102233221122003300113333330022330000003x103300003300223311113333222200330022003x102233221122003300113333330022330000002x103300003300223311113333222200330022002x112233221122003300113333330022330000000x113300003300223311113333222200330022000x112233221122003300113333330022330000001x113300003300223311113333222200330022001x112233221122003300113333330022330000003x113300003300223311113333222200330022003x112233221122003300113333330022330000002x113300003300223311113333222200330022002x132233221122003300113333330022330000000x133300003300223311113333222200330022000x132233221122003300113333330022330000001x133300003300223311113333222200330022001x132233221122003300113333330022330000003x133300003300223311113333222200330022003x132233221122003300113333330022330000002x133300003300223311113333222200330022002x122233221122003300113333330022330000000x123300003300223311113333222200330022000x122233221122003300113333330022330000001x123300003300223311113333222200330022001x122233221122003300113333330022330000003x123300003300223311113333222200330022003x122233221122003300113333330022330000002x123300003300223311113333222200330022002x102233221133112200001133001122003311110x101122331111001133000000332233222211110x102233221133112200001133001122003311111x101122331111001133000000332233222211111x102233221133112200001133001122003311113x101122331111001133000000332233222211113x102233221133112200001133001122003311112x101122331111001133000000332233222211112x112233221133112200001133001122003311110x111122331111001133000000332233222211110x112233221133112200001133001122003311111x111122331111001133000000332233222211111x112233221133112200001133001122003311113x111122331111001133000000332233222211113x112233221133112200001133001122003311112x111122331111001133000000332233222211112x132233221133112200001133001122003311110x131122331111001133000000332233222211110x132233221133112200001133001122003311111x131122331111001133000000332233222211111x132233221133112200001133001122003311113x131122331111001133000000332233222211113x132233221133112200001133001122003311112x131122331111001133000000332233222211112x122233221133112200001133001122003311110x121122331111001133000000332233222211110x122233221133112200001133001122003311111x121122331111001133000000332233222211111x122233221133112200001133001122003311113x121122331111001133000000332233222211113x122233221133112200001133001122003311112x121122331111001133000000332233222211112x103300110000113300001133001122003333330x101111330000331100110022330033330000330x103300110000113300001133001122003333331x101111330000331100110022330033330000331x103300110000113300001133001122003333333x101111330000331100110022330033330000333x103300110000113300001133001122003333332x101111330000331100110022330033330000332x113300110000113300001133001122003333330x111111330000331100110022330033330000330x113300110000113300001133001122003333331x111111330000331100110022330033330000331x113300110000113300001133001122003333333x111111330000331100110022330033330000333x113300110000113300001133001122003333332x111111330000331100110022330033330000332x133300110000113300001133001122003333330x131111330000331100110022330033330000330x133300110000113300001133001122003333331x131111330000331100110022330033330000331x133300110000113300001133001122003333333x131111330000331100110022330033330000333x133300110000113300001133001122003333332x131111330000331100110022330033330000332x123300110000113300001133001122003333330x121111330000331100110022330033330000330x123300110000113300001133001122003333331x121111330000331100110022330033330000331x123300110000113300001133001122003333333x121111330000331100110022330033330000333x123300110000113300001133001122003333332x121111330000331100110022330033330000332x103300113322223322001100003300110022000x102233112200220033110000003322331100000x103300113322223322001100003300110022001x102233112200220033110000003322331100001x103300113322223322001100003300110022003x102233112200220033110000003322331100003x103300113322223322001100003300110022002x102233112200220033110000003322331100002x113300113322223322001100003300110022000x112233112200220033110000003322331100000x113300113322223322001100003300110022001x112233112200220033110000003322331100001x113300113322223322001100003300110022003x112233112200220033110000003322331100003x113300113322223322001100003300110022002x112233112200220033110000003322331100002x133300113322223322001100003300110022000x132233112200220033110000003322331100000x133300113322223322001100003300110022001x132233112200220033110000003322331100001x133300113322223322001100003300110022003x132233112200220033110000003322331100003x133300113322223322001100003300110022002x132233112200220033110000003322331100002x123300113322223322001100003300110022000x122233112200220033110000003322331100000x123300113322223322001100003300110022001x122233112200220033110000003322331100001x123300113322223322001100003300110022003x122233112200220033110000003322331100003x123300113322223322001100003300110022002x122233112200220033110000003322331100002x103300221133330011113300112233112211330x100011112233223311002211111100333333330x103300221133330011113300112233112211331x100011112233223311002211111100333333331x103300221133330011113300112233112211333x100011112233223311002211111100333333333x103300221133330011113300112233112211332x100011112233223311002211111100333333332x113300221133330011113300112233112211330x110011112233223311002211111100333333330x113300221133330011113300112233112211331x110011112233223311002211111100333333331x113300221133330011113300112233112211333x110011112233223311002211111100333333333x113300221133330011113300112233112211332x110011112233223311002211111100333333332x133300221133330011113300112233112211330x130011112233223311002211111100333333330x133300221133330011113300112233112211331x130011112233223311002211111100333333331x133300221133330011113300112233112211333x130011112233223311002211111100333333333x133300221133330011113300112233112211332x130011112233223311002211111100333333332x123300221133330011113300112233112211330x120011112233223311002211111100333333330x123300221133330011113300112233112211331x120011112233223311002211111100333333331x123300221133330011113300112233112211333x120011112233223311002211111100333333333x123300221133330011113300112233112211332x120011112233223311002211111100333333332x103300332200331111221133332211003322110x102233330011111100221122333300333322110x103300332200331111221133332211003322111x102233330011111100221122333300333322111x103300332200331111221133332211003322113x102233330011111100221122333300333322113x103300332200331111221133332211003322112x102233330011111100221122333300333322112x113300332200331111221133332211003322110x112233330011111100221122333300333322110x113300332200331111221133332211003322111x112233330011111100221122333300333322111x113300332200331111221133332211003322113x112233330011111100221122333300333322113x113300332200331111221133332211003322112x112233330011111100221122333300333322112x133300332200331111221133332211003322110x132233330011111100221122333300333322110x133300332200331111221133332211003322111x132233330011111100221122333300333322111x133300332200331111221133332211003322113x132233330011111100221122333300333322113x133300332200331111221133332211003322112x132233330011111100221122333300333322112x123300332200331111221133332211003322110x122233330011111100221122333300333322110x123300332200331111221133332211003322111x122233330011111100221122333300333322111x123300332200331111221133332211003322113x122233330011111100221122333300333322113x123300332200331111221133332211003322112x122233330011111100221122333300333322112x103322001122112233223322002211221122000x102211113322002233111122220022332222000x103322001122112233223322002211221122001x102211113322002233111122220022332222001x103322001122112233223322002211221122003x102211113322002233111122220022332222003x103322001122112233223322002211221122002x102211113322002233111122220022332222002x113322001122112233223322002211221122000x112211113322002233111122220022332222000x113322001122112233223322002211221122001x112211113322002233111122220022332222001x113322001122112233223322002211221122003x112211113322002233111122220022332222003x113322001122112233223322002211221122002x112211113322002233111122220022332222002x133322001122112233223322002211221122000x132211113322002233111122220022332222000x133322001122112233223322002211221122001x132211113322002233111122220022332222001x133322001122112233223322002211221122003x132211113322002233111122220022332222003x133322001122112233223322002211221122002x132211113322002233111122220022332222002x123322001122112233223322002211221122000x122211113322002233111122220022332222000x123322001122112233223322002211221122001x122211113322002233111122220022332222001x123322001122112233223322002211221122003x122211113322002233111122220022332222003x123322001122112233223322002211221122002x122211113322002233111122220022332222002x103322002222000022330022330011222200220x102200332222220033220022113322000000220x103322002222000022330022330011222200221x102200332222220033220022113322000000221x103322002222000022330022330011222200223x102200332222220033220022113322000000223x103322002222000022330022330011222200222x102200332222220033220022113322000000222x113322002222000022330022330011222200220x112200332222220033220022113322000000220x113322002222000022330022330011222200221x112200332222220033220022113322000000221x113322002222000022330022330011222200223x112200332222220033220022113322000000223x113322002222000022330022330011222200222x112200332222220033220022113322000000222x133322002222000022330022330011222200220x132200332222220033220022113322000000220x133322002222000022330022330011222200221x132200332222220033220022113322000000221x133322002222000022330022330011222200223x132200332222220033220022113322000000223x133322002222000022330022330011222200222x132200332222220033220022113322000000222x123322002222000022330022330011222200220x122200332222220033220022113322000000220x123322002222000022330022330011222200221x122200332222220033220022113322000000221x123322002222000022330022330011222200223x122200332222220033220022113322000000223x123322002222000022330022330011222200222x122200332222220033220022113322000000222x103322002222330000113300220000221133000x102211000000003322330033113300002222220x103322002222330000113300220000221133001x102211000000003322330033113300002222221x103322002222330000113300220000221133003x102211000000003322330033113300002222223x103322002222330000113300220000221133002x102211000000003322330033113300002222222x113322002222330000113300220000221133000x112211000000003322330033113300002222220x113322002222330000113300220000221133001x112211000000003322330033113300002222221x113322002222330000113300220000221133003x112211000000003322330033113300002222223x113322002222330000113300220000221133002x112211000000003322330033113300002222222x133322002222330000113300220000221133000x132211000000003322330033113300002222220x133322002222330000113300220000221133001x132211000000003322330033113300002222221x133322002222330000113300220000221133003x132211000000003322330033113300002222223x133322002222330000113300220000221133002x132211000000003322330033113300002222222x123322002222330000113300220000221133000x122211000000003322330033113300002222220x123322002222330000113300220000221133001x122211000000003322330033113300002222221x123322002222330000113300220000221133003x122211000000003322330033113300002222223x123322002222330000113300220000221133002x122211000000003322330033113300002222222x103322112233331122111122330022331122330x102200223311113333112222223333111122330x103322112233331122111122330022331122331x102200223311113333112222223333111122331x103322112233331122111122330022331122333x102200223311113333112222223333111122333x103322112233331122111122330022331122332x102200223311113333112222223333111122332x113322112233331122111122330022331122330x112200223311113333112222223333111122330x113322112233331122111122330022331122331x112200223311113333112222223333111122331x113322112233331122111122330022331122333x112200223311113333112222223333111122333x113322112233331122111122330022331122332x112200223311113333112222223333111122332x133322112233331122111122330022331122330x132200223311113333112222223333111122330x133322112233331122111122330022331122331x132200223311113333112222223333111122331x133322112233331122111122330022331122333x132200223311113333112222223333111122333x133322112233331122111122330022331122332x132200223311113333112222223333111122332x123322112233331122111122330022331122330x122200223311113333112222223333111122330x123322112233331122111122330022331122331x122200223311113333112222223333111122331x123322112233331122111122330022331122333x122200223311113333112222223333111122333x123322112233331122111122330022331122332x122200223311113333112222223333111122332x103322113322223333332211220011001111220x102233111100222200333333112233112211220x103322113322223333332211220011001111221x102233111100222200333333112233112211221x103322113322223333332211220011001111223x102233111100222200333333112233112211223x103322113322223333332211220011001111222x102233111100222200333333112233112211222x113322113322223333332211220011001111220x112233111100222200333333112233112211220x113322113322223333332211220011001111221x112233111100222200333333112233112211221x113322113322223333332211220011001111223x112233111100222200333333112233112211223x113322113322223333332211220011001111222x112233111100222200333333112233112211222x133322113322223333332211220011001111220x132233111100222200333333112233112211220x133322113322223333332211220011001111221x132233111100222200333333112233112211221x133322113322223333332211220011001111223x132233111100222200333333112233112211223x133322113322223333332211220011001111222x132233111100222200333333112233112211222x123322113322223333332211220011001111220x122233111100222200333333112233112211220x123322113322223333332211220011001111221x122233111100222200333333112233112211221x123322113322223333332211220011001111223x122233111100222200333333112233112211223x123322113322223333332211220011001111222x122233111100222200333333112233112211222x103333002233330000221100330011001100220x102200333333002200331111110000000033220x103333002233330000221100330011001100221x102200333333002200331111110000000033221x103333002233330000221100330011001100223x102200333333002200331111110000000033223x103333002233330000221100330011001100222x102200333333002200331111110000000033222x113333002233330000221100330011001100220x112200333333002200331111110000000033220x113333002233330000221100330011001100221x112200333333002200331111110000000033221x113333002233330000221100330011001100223x112200333333002200331111110000000033223x113333002233330000221100330011001100222x112200333333002200331111110000000033222x133333002233330000221100330011001100220x132200333333002200331111110000000033220x133333002233330000221100330011001100221x132200333333002200331111110000000033221x133333002233330000221100330011001100223x132200333333002200331111110000000033223x133333002233330000221100330011001100222x132200333333002200331111110000000033222x123333002233330000221100330011001100220x122200333333002200331111110000000033220x123333002233330000221100330011001100221x122200333333002200331111110000000033221x123333002233330000221100330011001100223x122200333333002200331111110000000033223x123333002233330000221100330011001100222x122200333333002200331111110000000033222x103333220033221122221122001122333322000x102200333311221122110022333322332222000x103333220033221122221122001122333322001x102200333311221122110022333322332222001x103333220033221122221122001122333322003x102200333311221122110022333322332222003x103333220033221122221122001122333322002x102200333311221122110022333322332222002x113333220033221122221122001122333322000x112200333311221122110022333322332222000x113333220033221122221122001122333322001x112200333311221122110022333322332222001x113333220033221122221122001122333322003x112200333311221122110022333322332222003x113333220033221122221122001122333322002x112200333311221122110022333322332222002x133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x110011101111111111131114732111231117331113011127121112820111311111910111031113021113211115022111723300110000113300001133001122003333330x121111330000331100110022330033330000330x123300110000113300001133001122003333331x121111330000331100110022330033330000331x123300110000113300001133001122003333333x121111330000331100110022330033330000333x123300110000113300001133001122003333332x121111330000331100110022330033330000332x103322002222000022330022330011222200220x102200332222220033220022113322000000220x103322002222000022330022330011222200221x102200332222220033220022113322000000221x103322002222000022330022330011222200223x102200332222220033220022113322000000223x103322002222000022330022330011222200222x102200332222220033220022113322000000222x133322002222000022330022330011222200220x132200332222220033220022113322000000220x133322002222000022330022330011222200221x132200332222220033220022113322000000221x133322002222000022330022330011222200223x132200332222220033220022113322000000223x133322002222000022330022330011222200222x132200332222220033220022113322000000222x123322002222000022330022330011222200220x122200332222220033220022113322000000220x123322002222000022330022330011222200221x122200332222220033220022113322000000221x123322002222000022330022330011222200223x122200332222220033220022113322000000223x123322002222000022330022330011222200222x122200332222220033220022113322000000222x103322002222330000113300220000221133001x102211000000003322330033113300002222221x133322002222330000113300220000221133001x132211000000003322330033113300002222221x123322002222330000113300220000221133001x122211000000003322330033113300002222221x103333220033221122221122001122333322000x102200333311221122110022333322332222000x103333220033221122221122001122333322001x102200333311221122110022333322332222001x103333220033221122221122001122333322003x102200333311221122110022333322332222003x103333220033221122221122001122333322002x102200333311221122110022333322332222002x133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x11231113011101111101110011113111212111220111031111331112111111111311111021111321112211123300110000113300001133001122003333330x121111330000331100110022330033330000330x123300110000113300001133001122003333331x121111330000331100110022330033330000331x123300110000113300001133001122003333333x121111330000331100110022330033330000333x123300110000113300001133001122003333332x121111330000331100110022330033330000332x103322002222000022330022330011222200220x102200332222220033220022113322000000220x103322002222000022330022330011222200221x102200332222220033220022113322000000221x103322002222000022330022330011222200223x102200332222220033220022113322000000223x103322002222000022330022330011222200222x102200332222220033220022113322000000222x133322002222000022330022330011222200220x132200332222220033220022113322000000220x133322002222000022330022330011222200221x132200332222220033220022113322000000221x133322002222000022330022330011222200223x132200332222220033220022113322000000223x133322002222000022330022330011222200222x132200332222220033220022113322000000222x123322002222000022330022330011222200220x122200332222220033220022113322000000220x123322002222000022330022330011222200221x122200332222220033220022113322000000221x123322002222000022330022330011222200223x122200332222220033220022113322000000223x123322002222000022330022330011222200222x122200332222220033220022113322000000222x103333220033221122221122001122333322000x102200333311221122110022333322332222000x103333220033221122221122001122333322001x102200333311221122110022333322332222001x103333220033221122221122001122333322003x102200333311221122110022333322332222003x103333220033221122221122001122333322002x102200333311221122110022333322332222002x133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x1123111130111011111011100111313111121111201110311133111211111111131111021113211122111103322002222000022330022330011222200220x102200332222220033220022113322000000220x103322002222000022330022330011222200221x102200332222220033220022113322000000221x103322002222000022330022330011222200223x102200332222220033220022113322000000223x103322002222000022330022330011222200222x102200332222220033220022113322000000222x133322002222000022330022330011222200220x132200332222220033220022113322000000220x133322002222000022330022330011222200221x132200332222220033220022113322000000221x133322002222000022330022330011222200223x132200332222220033220022113322000000223x133322002222000022330022330011222200222x132200332222220033220022113322000000222x123322002222000022330022330011222200220x122200332222220033220022113322000000220x123322002222000022330022330011222200221x122200332222220033220022113322000000221x123322002222000022330022330011222200223x122200332222220033220022113322000000223x123322002222000022330022330011222200222x122200332222220033220022113322000000222x103333220033221122221122001122333322000x102200333311221122110022333322332222000x103333220033221122221122001122333322001x102200333311221122110022333322332222001x103333220033221122221122001122333322003x102200333311221122110022333322332222003x103333220033221122221122001122333322002x102200333311221122110022333322332222002x133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x110311132111201110211122111001112311130111011111211112111113111331113111110111103333220033221122221122001122333322000x102200333311221122110022333322332222000x103333220033221122221122001122333322001x102200333311221122110022333322332222001x103333220033221122221122001122333322003x102200333311221122110022333322332222003x103333220033221122221122001122333322002x102200333311221122110022333322332222002x133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x1103111133111321112011121111121112211101111231110011102111311111011133333220033221122221122001122333322000x132200333311221122110022333322332222000x133333220033221122221122001122333322001x132200333311221122110022333322332222001x133333220033221122221122001122333322003x132200333311221122110022333322332222003x133333220033221122221122001122333322002x132200333311221122110022333322332222002x123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x1133111132111201110311121111121112211101111231110011131111101110211123333220033221122221122001122333322000x122200333311221122110022333322332222000x123333220033221122221122001122333322001x122200333311221122110022333322332222001x123333220033221122221122001122333322003x122200333311221122110022333322332222003x123333220033221122221122001122333322002x122200333311221122110022333322332222002x11231113311132111201111031112111112111221110111100111311111011102111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (10 real / 0 unknown / 0 assumptions / 10 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe