000133223001322332x1302303030012331222x1000223001000103122x1000320130210012002x1001310013300122111x1330200001021311111x1002011302322023312x1003210031303221222x1002030223020023002x1003220200022030032x1002033231310213020x1001130331202302203x1010022232132331010x1012303302010213212x1010221213112012010x1200312212010121110x1011130131202122030x1303221112011213000x1012231331322330202x1012303333221202312x1012302113332313131x1213231133033032111x1012333133323120131x1230333113031323121x1013231132200132333x1230333100121323213x1020100010302333303x1030003320110230033x1020131003202230100x1100321222003100030x1021020301020201203x1021202120300321000x1031122000132333333x1303233003211031233x1031210213032323012x1302303121230310212x1032310010012321101x1300311002122011031x1033231320021313233x1322320121313030333x1100030213312231321x1121330303102231021x1102000123012221220x1122001100222212003x1102123301023011331x1121113030310322031x1110002010110321002x1112110023000011002x1110312001321203022x1112232100323000112x1122031300133032312x1102333302031031212x1122220332130213203x1122121202322003333x1123010312311113230x1112113033212031130x1130203221323222132x1132122333213200222x1131311121301213110x1101113323012111113x1131320001310222102x1101122033010122302x1132203113130212203x1112101233030322123x1133131301023111303x1111213003330113313x1200011311122222013x1201200322111122130x1200131321002220203x1022202100300122133x1201012222331111212x1022111210332211212x1202030022110310311x1200332210101032101x1202231032303200202x1200230330320122202x1203001312021302200x1003032121221200030x1203103210231022111x1212220110033130211x1210313122221231302x1233212031221032211x1212130223231113302x1212132123233003121x1212222201320012312x1212210033012222212x1212313202233323133x1233221323210331233x1213002211313100212x1012101210011233322x1220030131022230120x1020323210202101023x1221313002122211101x1022331120211210121x1221330021301222233x1202202103221132333x1222232013122213233x1231221221022223333x1222301321332122123x1222112323220312133x1223111312012201222x1221213112322012012x1223223102311100102x1021122033011221032x1230131330302031323x1020333213033331120x1232312013013210233x1031022122133310233x1233210300033130003x1210303033300002133x1300020320222001302x1002123032020030202x1300222131333202333x1212123302303332033x1300313020200103232x1003233000320123102x1301210211301231111x1331110121112230101x1302201200202223102x1021223003221202002x1302232232233201323x1033213322322203223x1303220200013233030x1302012203020303330x1310030000120202001x1300000200003021121x1311131333230023131x1331223010333111331x1313111132002221331x1310311022231211331x1313211312213231031x1313312011221332311x1313213103202030233x1220121033303213330x1320002331101323300x1302123303101233000x1321312223302130202x1333232202210321210x1322122311201312211x1311122132322112021x1322232301321323021x1003321213333222221x1323022220001113023x1302320312021032120x1330202012023022033x1320320003032221203x1330230133312132203x1231101203332323303x1330310022200022132x1032033121220300022x1332001023303133133x1003311022313303333x1332130013200233002x1300303012031303222x1332132020031302022x1201322212330300032x1333131303320130123x1333113133323031200x1333230223123033222x1303222033322321332x12.10132000223001000103122x1000320130210012002x1002011302322023312x1003210031303221222x1002030223020023002x1003220200022030032x1002033231310213020x1001130331202302203x1010022232132331010x1012303302010213212x1012231331322330202x1012303333221202312x1020100010302333303x1030003320110230033x1021020301020201203x1021202120300321000x1100030213312231321x1121330303102231021x1102000123012221220x1122001100222212003x1102123301023011331x1121113030310322031x1110002010110321002x1112110023000011002x1110312001321203022x1112232100323000112x1122031300133032312x1102333302031031212x1122220332130213203x1122121202322003333x1123010312311113230x1112113033212031130x1130203221323222132x1132122333213200222x1131311121301213110x1101113323012111113x1131320001310222102x1101122033010122302x1132203113130212203x1112101233030322123x1133131301023111303x1111213003330113313x1200011311122222013x1201200322111122130x1202030022110310311x1200332210101032101x1202231032303200202x1200230330320122202x1203103210231022111x1212220110033130211x1210313122221231302x1233212031221032211x1212130223231113302x1212132123233003121x1212222201320012312x1212210033012222212x1212313202233323133x1233221323210331233x1221330021301222233x1202202103221132333x1222232013122213233x1231221221022223333x1222301321332122123x1222112323220312133x1223111312012201222x1221213112322012012x1233210300033130003x1210303033300002133x1301210211301231111x1331110121112230101x1303220200013233030x1302012203020303330x1310030000120202001x1300000200003021121x1311131333230023131x1331223010333111331x1313111132002221331x1310311022231211331x1313211312213231031x1313312011221332311x1320002331101323300x1302123303101233000x1321312223302130202x1333232202210321210x1322122311201312211x1311122132322112021x1323022220001113023x1302320312021032120x1330202012023022033x1320320003032221203x1332130013200233002x1300303012031303222x1333131303320130123x1333113133323031200x1333230223123033222x1303222033322321332x10000133223001322332x10302303030012331222x11000133223001322332x11302303030012331222x13000133223001322332x13302303030012331222x12000133223001322332x12302303030012331222x10001310013300122111x10330200001021311111x11001310013300122111x11330200001021311111x13001310013300122111x13330200001021311111x12001310013300122111x12330200001021311111x10010221213112012010x10200312212010121110x11010221213112012010x11200312212010121110x13010221213112012010x13200312212010121110x12010221213112012010x12200312212010121110x10011130131202122030x10303221112011213000x11011130131202122030x11303221112011213000x13011130131202122030x13303221112011213000x12011130131202122030x12303221112011213000x10012302113332313131x10213231133033032111x11012302113332313131x11213231133033032111x13012302113332313131x13213231133033032111x12012302113332313131x12213231133033032111x10012333133323120131x10230333113031323121x11012333133323120131x11230333113031323121x13012333133323120131x13230333113031323121x12012333133323120131x12230333113031323121x10013231132200132333x10230333100121323213x11013231132200132333x11230333100121323213x13013231132200132333x13230333100121323213x12013231132200132333x12230333100121323213x10020131003202230100x10100321222003100030x11020131003202230100x11100321222003100030x13020131003202230100x13100321222003100030x12020131003202230100x12100321222003100030x10031122000132333333x10303233003211031233x11031122000132333333x11303233003211031233x13031122000132333333x13303233003211031233x12031122000132333333x12303233003211031233x10031210213032323012x10302303121230310212x11031210213032323012x11302303121230310212x13031210213032323012x13302303121230310212x12031210213032323012x12302303121230310212x10032310010012321101x10300311002122011031x11032310010012321101x11300311002122011031x13032310010012321101x13300311002122011031x12032310010012321101x12300311002122011031x10033231320021313233x10322320121313030333x11033231320021313233x11322320121313030333x13033231320021313233x13322320121313030333x12033231320021313233x12322320121313030333x10200131321002220203x10022202100300122133x11200131321002220203x11022202100300122133x13200131321002220203x13022202100300122133x12200131321002220203x12022202100300122133x10201012222331111212x10022111210332211212x11201012222331111212x11022111210332211212x13201012222331111212x13022111210332211212x12201012222331111212x12022111210332211212x10203001312021302200x10003032121221200030x11203001312021302200x11003032121221200030x13203001312021302200x13003032121221200030x12203001312021302200x12003032121221200030x10213002211313100212x10012101210011233322x11213002211313100212x11012101210011233322x13213002211313100212x13012101210011233322x12213002211313100212x12012101210011233322x10220030131022230120x10020323210202101023x11220030131022230120x11020323210202101023x13220030131022230120x13020323210202101023x12220030131022230120x12020323210202101023x10221313002122211101x10022331120211210121x11221313002122211101x11022331120211210121x13221313002122211101x13022331120211210121x12221313002122211101x12022331120211210121x10223223102311100102x10021122033011221032x11223223102311100102x11021122033011221032x13223223102311100102x13021122033011221032x12223223102311100102x12021122033011221032x10230131330302031323x10020333213033331120x11230131330302031323x11020333213033331120x13230131330302031323x13020333213033331120x12230131330302031323x12020333213033331120x10232312013013210233x10031022122133310233x11232312013013210233x11031022122133310233x13232312013013210233x13031022122133310233x12232312013013210233x12031022122133310233x10300020320222001302x10002123032020030202x11300020320222001302x11002123032020030202x13300020320222001302x13002123032020030202x12300020320222001302x12002123032020030202x10300222131333202333x10212123302303332033x11300222131333202333x11212123302303332033x13300222131333202333x13212123302303332033x12300222131333202333x12212123302303332033x10300313020200103232x10003233000320123102x11300313020200103232x11003233000320123102x13300313020200103232x13003233000320123102x12300313020200103232x12003233000320123102x10302201200202223102x10021223003221202002x11302201200202223102x11021223003221202002x13302201200202223102x13021223003221202002x12302201200202223102x12021223003221202002x10302232232233201323x10033213322322203223x11302232232233201323x11033213322322203223x13302232232233201323x13033213322322203223x12302232232233201323x12033213322322203223x10313213103202030233x10220121033303213330x11313213103202030233x11220121033303213330x13313213103202030233x13220121033303213330x12313213103202030233x12220121033303213330x10322232301321323021x10003321213333222221x11322232301321323021x11003321213333222221x13322232301321323021x13003321213333222221x12322232301321323021x12003321213333222221x10330230133312132203x10231101203332323303x11330230133312132203x11231101203332323303x13330230133312132203x13231101203332323303x12330230133312132203x12231101203332323303x10330310022200022132x10032033121220300022x11330310022200022132x11032033121220300022x13330310022200022132x13032033121220300022x12330310022200022132x12032033121220300022x10332001023303133133x10003311022313303333x11332001023303133133x11003311022313303333x13332001023303133133x13003311022313303333x12332001023303133133x12003311022313303333x10332132020031302022x10201322212330300032x11332132020031302022x11201322212330300032x13332132020031302022x13201322212330300032x12332132020031302022x12201322212330300032x1000002222330000110000001100331122220x1000003322001133002211000011220000220x1000002222330000110000001100331122222x1000003322001133002211000011220000222x1000002222330000110000001100331122223x1000003322001133002211000011220000223x1000002222330000110000001100331122221x1000003322001133002211000011220000221x1000220011113300223322220022333311220x1000332211000033113300332222112222220x1000220011113300223322220022333311222x1000332211000033113300332222112222222x1000220011113300223322220022333311223x1000332211000033113300332222112222223x1000220011113300223322220022333311221x1000332211000033113300332222112222221x1000220033002222330022000022330000220x1000332222002200000022220033000033220x1000220033002222330022000022330000222x1000332222002200000022220033000033222x1000220033002222330022000022330000223x1000332222002200000022220033000033223x1000220033002222330022000022330000221x1000332222002200000022220033000033221x1000220033332233113311002211330022000x1000111133003333112200223300222200330x1000220033332233113311002211330022002x1000111133003333112200223300222200332x1000220033332233113311002211330022003x1000111133003333112200223300222200333x1000220033332233113311002211330022001x1000111133003333112200223300222200331x1011000022222233221133223333110011000x1011223300333300220011002211332211220x1011000022222233221133223333110011002x1011223300333300220011002211332211222x1011000022222233221133223333110011003x1011223300333300220011002211332211223x1011000022222233221133223333110011001x1011223300333300220011002211332211221x1011222233113333113322223333002200220x1011223300333333332222112200223311220x1011222233113333113322223333002200222x1011223300333333332222112200223311222x1011222233113333113322223333002200223x1011223300333333332222112200223311223x1011222233113333113322223333002200221x1011223300333333332222112200223311221x1022001100000011003300223333333300330x1033000000333322001111002233000033330x1022001100000011003300223333333300332x1033000000333322001111002233000033332x1022001100000011003300223333333300333x1033000000333322001111002233000033333x1022001100000011003300223333333300331x1033000000333322001111002233000033331x1022110022003300110022002200112200330x1022112200221122003300003322110000000x1022110022003300110022002200112200332x1022112200221122003300003322110000002x1022110022003300110022002200112200333x1022112200221122003300003322110000003x1022110022003300110022002200112200331x1022112200221122003300003322110000001x1100000033002211333311222233113322110x1122113333003300331100222233110022110x1100000033002211333311222233113322112x1122113333003300331100222233110022112x1100000033002211333311222233113322113x1122113333003300331100222233110022113x1100000033002211333311222233113322111x1122113333003300331100222233110022111x1100220000001122330011222222112222000x1122220000111100002222222211220000330x1100220000001122330011222222112222002x1122220000111100002222222211220000332x1100220000001122330011222222112222003x1122220000111100002222222211220000333x1100220000001122330011222222112222001x1122220000111100002222222211220000331x1100221122333300110022330011113333110x1122111111330033003311003322220033110x1100221122333300110022330011113333112x1122111111330033003311003322220033112x1100221122333300110022330011113333113x1122111111330033003311003322220033113x1100221122333300110022330011113333111x1122111111330033003311003322220033111x1111000000220011001111003322110000220x1111221111000022330000000011110000220x1111000000220011001111003322110000222x1111221111000022330000000011110000222x1111000000220011001111003322110000223x1111221111000022330000000011110000223x1111000000220011001111003322110000221x1111221111000022330000000011110000221x1111003311220000113322112200330022220x1111222233221100003322330000001111220x1111003311220000113322112200330022222x1111222233221100003322330000001111222x1111003311220000113322112200330022223x1111222233221100003322330000001111223x1111003311220000113322112200330022221x1111222233221100003322330000001111221x1122220033113300001133330033223311220x1100223333333300220033110033112211220x1122220033113300001133330033223311222x1100223333333300220033110033112211222x1122220033113300001133330033223311223x1100223333333300220033110033112211223x1122220033113300001133330033223311221x1100223333333300220033110033112211221x1122222222003333221133002211332200330x1122221122112200223322220000333333330x1122222222003333221133002211332200332x1122221122112200223322220000333333332x1122222222003333221133002211332200333x1122221122112200223322220000333333333x1122222222003333221133002211332200331x1122221122112200223322220000333333331x1122330011003311223311111111332233000x1111221111330033332211220033111133000x1122330011003311223311111111332233002x1111221111330033332211220033111133002x1122330011003311223311111111332233003x1111221111330033332211220033111133003x1122330011003311223311111111332233001x1111221111330033332211220033111133001x1133002200332222113322332222221133220x1133221122223333332211332200002222220x1133002200332222113322332222221133222x1133221122223333332211332200002222222x1133002200332222113322332222221133223x1133221122223333332211332200002222223x1133002200332222113322332222221133221x1133221122223333332211332200002222221x1133113311111122113300112211331111000x1100111111333322330011221111111111330x1133113311111122113300112211331111002x1100111111333322330011221111111111332x1133113311111122113300112211331111003x1100111111333322330011221111111111333x1133113311111122113300112211331111001x1100111111333322330011221111111111331x1133113322000000113311002222221100220x1100111122220033330011001122223300220x1133113322000000113311002222221100222x1100111122220033330011001122223300222x1133113322000000113311002222221100223x1100111122220033330011001122223300223x1133113322000000113311002222221100221x1100111122220033330011001122223300221x1133222200331111331133002211222200330x1111221100112233330033003322221122330x1133222200331111331133002211222200332x1111221100112233330033003322221122332x1133222200331111331133002211222200333x1111221100112233330033003322221122333x1133222200331111331133002211222200331x1111221100112233330033003322221122331x1133331133113300110022331111113300330x1111112211330000333333001111333311330x1133331133113300110022331111113300332x1111112211330000333333001111333311332x1133331133113300110022331111113300333x1111112211330000333333001111333311333x1133331133113300110022331111113300331x1111112211330000333333001111333311331x1200000011113311111122222222220011330x1200112200003322221111111122221133000x1200000011113311111122222222220011332x1200112200003322221111111122221133002x1200000011113311111122222222220011333x1200112200003322221111111122221133003x1200000011113311111122222222220011331x1200112200003322221111111122221133001x1200220033000022221111003311003311110x1200003333222211001100110033221100110x1200220033000022221111003311003311112x1200003333222211001100110033221100112x1200220033000022221111003311003311113x1200003333222211001100110033221100113x1200220033000022221111003311003311111x1200003333222211001100110033221100111x1200222233110033223300332200002200220x1200002233003333003322001122222200220x1200222233110033223300332200002200222x1200002233003333003322001122222200222x1200222233110033223300332200002200223x1200002233003333003322001122222200223x1200222233110033223300332200002200221x1200002233003333003322001122222200221x1200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1211003311331122222222112233113300220x1233332211220033112222110033222211110x1211003311331122222222112233113300222x1233332211220033112222110033222211112x1211003311331122222222112233113300223x1233332211220033112222110033222211113x1211003311331122222222112233113300221x1233332211220033112222110033222211111x1211221133002222332233111111333300220x1211221133221122332233330000331122110x1211221133002222332233111111333300222x1211221133221122332233330000331122112x1211221133002222332233111111333300223x1211221133221122332233330000331122113x1211221133002222332233111111333300221x1211221133221122332233330000331122111x1211222222222200113322000011223311220x1211222211000033330011222222222211220x1211222222222200113322000011223311222x1211222211000033330011222222222211222x1211222222222200113322000011223311223x1211222211000033330011222222222211223x1211222222222200113322000011223311221x1211222211000033330011222222222211221x1211223311332200222233333322331133330x1233332222113322332211003333112233330x1211223311332200222233333322331133332x1233332222113322332211003333112233332x1211223311332200222233333322331133333x1233332222113322332211003333112233333x1211223311332200222233333322331133331x1233332222113322332211003333112233331x1222113333000022113300112222222233330x1200222200221100332222111133223333330x1222113333000022113300112222222233332x1200222200221100332222111133223333332x1222113333000022113300112222222233333x1200222200221100332222111133223333333x1222113333000022113300112222222233331x1200222200221100332222111133223333331x1222222233220011331122222211332233330x1233112222112222110022222222333333330x1222222233220011331122222211332233332x1233112222112222110022222222333333332x1222222233220011331122222211332233333x1233112222112222110022222222333333333x1222222233220011331122222211332233331x1233112222112222110022222222333333331x1222223300113322113333221122221122330x1222221111223322332222003311221133330x1222223300113322113333221122221122332x1222221111223322332222003311221133332x1222223300113322113333221122221122333x1222221111223322332222003311221133333x1222223300113322113333221122221122331x1222221111223322332222003311221133331x1222331111113311220011222200112222220x1222112211331111223322220011220011220x1222331111113311220011222200112222222x1222112211331111223322220011220011222x1222331111113311220011222200112222223x1222112211331111223322220011220011223x1222331111113311220011222200112222221x1222112211331111223322220011220011221x1233332211003300000033331133000000330x1211003300330033333300000000221133330x1233332211003300000033331133000000332x1211003300330033333300000000221133332x1233332211003300000033331133000000333x1211003300330033333300000000221133333x1233332211003300000033331133000000331x1211003300330033333300000000221133331x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1300332222002200000011332233330033000x1300220011222200330022003300333333000x1300332222002200000011332233330033002x1300220011222200330022003300333333002x1300332222002200000011332233330033003x1300220011222200330022003300333333003x1300332222002200000011332233330033001x1300220011222200330022003300333333001x1311000033000000001122002200220000110x1300000000002200000000330022111122110x1311000033000000001122002200220000112x1300000000002200000000330022111122112x1311000033000000001122002200220000113x1300000000002200000000330022111122113x1311000033000000001122002200220000111x1300000000002200000000330022111122111x1311111133113333332233000022331133110x1333112222330011003333331111113333110x1311111133113333332233000022331133112x1333112222330011003333331111113333112x1311111133113333332233000022331133113x1333112222330011003333331111113333113x1311111133113333332233000022331133111x1333112222330011003333331111113333111x1311331111111133220000222222113333110x1311003311110022222233112211113333110x1311331111111133220000222222113333112x1311003311110022222233112211113333112x1311331111111133220000222222113333113x1311003311110022222233112211113333113x1311331111111133220000222222113333111x1311003311110022222233112211113333111x1311332211113311222211332233110033110x1311333311220011112222113333223311110x1311332211113311222211332233110033112x1311333311220011112222113333223311112x1311332211113311222211332233110033113x1311333311220011112222113333223311113x1311332211113311222211332233110033111x1311333311220011112222113333223311111x1322000000223333111100113322333300000x1300221122333300331100112233330000000x1322000000223333111100113322333300002x1300221122333300331100112233330000002x1322000000223333111100113322333300003x1300221122333300331100112233330000003x1322000000223333111100113322333300001x1300221122333300331100112233330000001x1322113311222222333300221133002200220x1333332233222200222211003322112211000x1322113311222222333300221133002200222x1333332233222200222211003322112211002x1322113311222222333300221133002200223x1333332233222200222211003322112211003x1322113311222222333300221133002200221x1333332233222200222211003322112211001x1322221122223311112200113311222211110x1311111122221133223322221111220022110x1322221122223311112200113311222211112x1311111122221133223322221111220022112x1322221122223311112200113311222211113x1311111122221133223322221111220022113x1322221122223311112200113311222211111x1311111122221133223322221111220022111x1322330022222222000000111111330022330x1300223322003311220022110033221122000x1322330022222222000000111111330022332x1300223322003311220022110033221122002x1322330022222222000000111111330022333x1300223322003311220022110033221122003x1322330022222222000000111111330022331x1300223322003311220022110033221122001x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x1333221133000011332200002233330000220x1300003300330011220033113300332222220x1333221133000011332200002233330000222x1300003300330011220033113300332222222x1333221133000011332200002233330000223x1300003300330011220033113300332222223x1333221133000011332200002233330000221x1300003300330011220033113300332222221x1333331133113300333322001133001122330x1333331111331133333322330033112200000x1333331133113300333322001133001122332x1333331111331133333322330033112200002x1333331133113300333322001133001122333x1333331111331133333322330033112200003x1333331133113300333322001133001122331x1333331111331133333322330033112200001x1333332233002222331122330033332222220x1300332222220033333322223322113333220x1333332233002222331122330033332222222x1300332222220033333322223322113333222x1333332233002222331122330033332222223x1300332222220033333322223322113333223x1333332233002222331122330033332222221x1300332222220033333322223322113333221x100000001133332222330000113322223333220x103300223300330033000011223333112222220x100000001133332222330000113322223333222x103300223300330033000011223333112222222x100000001133332222330000113322223333223x103300223300330033000011223333112222223x100000001133332222330000113322223333221x103300223300330033000011223333112222221x110000001133332222330000113322223333220x113300223300330033000011223333112222220x110000001133332222330000113322223333222x113300223300330033000011223333112222222x110000001133332222330000113322223333223x113300223300330033000011223333112222223x110000001133332222330000113322223333221x113300223300330033000011223333112222221x130000001133332222330000113322223333220x133300223300330033000011223333112222220x130000001133332222330000113322223333222x133300223300330033000011223333112222222x130000001133332222330000113322223333223x133300223300330033000011223333112222223x130000001133332222330000113322223333221x133300223300330033000011223333112222221x120000001133332222330000113322223333220x123300223300330033000011223333112222220x120000001133332222330000113322223333222x123300223300330033000011223333112222222x120000001133332222330000113322223333223x123300223300330033000011223333112222223x120000001133332222330000113322223333221x123300223300330033000011223333112222221x100000113311000011333300001122221111110x103333002200000000110022113311111111110x100000113311000011333300001122221111112x103333002200000000110022113311111111112x100000113311000011333300001122221111113x103333002200000000110022113311111111113x100000113311000011333300001122221111111x103333002200000000110022113311111111111x110000113311000011333300001122221111110x113333002200000000110022113311111111110x110000113311000011333300001122221111112x113333002200000000110022113311111111112x110000113311000011333300001122221111113x113333002200000000110022113311111111113x110000113311000011333300001122221111111x113333002200000000110022113311111111111x130000113311000011333300001122221111110x133333002200000000110022113311111111110x130000113311000011333300001122221111112x133333002200000000110022113311111111112x130000113311000011333300001122221111113x133333002200000000110022113311111111113x130000113311000011333300001122221111111x133333002200000000110022113311111111111x120000113311000011333300001122221111110x123333002200000000110022113311111111110x120000113311000011333300001122221111112x123333002200000000110022113311111111112x120000113311000011333300001122221111113x123333002200000000110022113311111111113x120000113311000011333300001122221111111x123333002200000000110022113311111111111x100011002222112211331111220011220011000x102200003311222211220011001122111111000x100011002222112211331111220011220011002x102200003311222211220011001122111111002x100011002222112211331111220011220011003x102200003311222211220011001122111111003x100011002222112211331111220011220011001x102200003311222211220011001122111111001x110011002222112211331111220011220011000x112200003311222211220011001122111111000x110011002222112211331111220011220011002x112200003311222211220011001122111111002x110011002222112211331111220011220011003x112200003311222211220011001122111111003x110011002222112211331111220011220011001x112200003311222211220011001122111111001x130011002222112211331111220011220011000x132200003311222211220011001122111111000x130011002222112211331111220011220011002x132200003311222211220011001122111111002x130011002222112211331111220011220011003x132200003311222211220011001122111111003x130011002222112211331111220011220011001x132200003311222211220011001122111111001x120011002222112211331111220011220011000x122200003311222211220011001122111111000x120011002222112211331111220011220011002x122200003311222211220011001122111111002x120011002222112211331111220011220011003x122200003311222211220011001122111111003x120011002222112211331111220011220011001x122200003311222211220011001122111111001x100011111133001133112200221122220033000x103300332222111111220011112211330000000x100011111133001133112200221122220033002x103300332222111111220011112211330000002x100011111133001133112200221122220033003x103300332222111111220011112211330000003x100011111133001133112200221122220033001x103300332222111111220011112211330000001x110011111133001133112200221122220033000x113300332222111111220011112211330000000x110011111133001133112200221122220033002x113300332222111111220011112211330000002x110011111133001133112200221122220033003x113300332222111111220011112211330000003x110011111133001133112200221122220033001x113300332222111111220011112211330000001x130011111133001133112200221122220033000x133300332222111111220011112211330000000x130011111133001133112200221122220033002x133300332222111111220011112211330000002x130011111133001133112200221122220033003x133300332222111111220011112211330000003x130011111133001133112200221122220033001x133300332222111111220011112211330000001x120011111133001133112200221122220033000x123300332222111111220011112211330000000x120011111133001133112200221122220033002x123300332222111111220011112211330000002x120011111133001133112200221122220033003x123300332222111111220011112211330000003x120011111133001133112200221122220033001x123300332222111111220011112211330000001x100011223300221111333333223311331133110x102211332233111133330033330033221111110x100011223300221111333333223311331133112x102211332233111133330033330033221111112x100011223300221111333333223311331133113x102211332233111133330033330033221111113x100011223300221111333333223311331133111x102211332233111133330033330033221111111x110011223300221111333333223311331133110x112211332233111133330033330033221111110x110011223300221111333333223311331133112x112211332233111133330033330033221111112x110011223300221111333333223311331133113x112211332233111133330033330033221111113x110011223300221111333333223311331133111x112211332233111133330033330033221111111x130011223300221111333333223311331133110x132211332233111133330033330033221111110x130011223300221111333333223311331133112x132211332233111133330033330033221111112x130011223300221111333333223311331133113x132211332233111133330033330033221111113x130011223300221111333333223311331133111x132211332233111133330033330033221111111x120011223300221111333333223311331133110x122211332233111133330033330033221111110x120011223300221111333333223311331133112x122211332233111133330033330033221111112x120011223300221111333333223311331133113x122211332233111133330033330033221111113x120011223300221111333333223311331133111x122211332233111133330033330033221111111x100011223333331133333322331122001133110x102233003333331111330033113322331122110x100011223333331133333322331122001133112x102233003333331111330033113322331122112x100011223333331133333322331122001133113x102233003333331111330033113322331122113x100011223333331133333322331122001133111x102233003333331111330033113322331122111x110011223333331133333322331122001133110x112233003333331111330033113322331122110x110011223333331133333322331122001133112x112233003333331111330033113322331122112x110011223333331133333322331122001133113x112233003333331111330033113322331122113x110011223333331133333322331122001133111x112233003333331111330033113322331122111x130011223333331133333322331122001133110x132233003333331111330033113322331122110x130011223333331133333322331122001133112x132233003333331111330033113322331122112x130011223333331133333322331122001133113x132233003333331111330033113322331122113x130011223333331133333322331122001133111x132233003333331111330033113322331122111x120011223333331133333322331122001133110x122233003333331111330033113322331122110x120011223333331133333322331122001133112x122233003333331111330033113322331122112x120011223333331133333322331122001133113x122233003333331111330033113322331122113x120011223333331133333322331122001133111x122233003333331111330033113322331122111x100011332233111133222200001133223333330x102233003333331100001122113322332211330x100011332233111133222200001133223333332x102233003333331100001122113322332211332x100011332233111133222200001133223333333x102233003333331100001122113322332211333x100011332233111133222200001133223333331x102233003333331100001122113322332211331x110011332233111133222200001133223333330x112233003333331100001122113322332211330x110011332233111133222200001133223333332x112233003333331100001122113322332211332x110011332233111133222200001133223333333x112233003333331100001122113322332211333x110011332233111133222200001133223333331x112233003333331100001122113322332211331x130011332233111133222200001133223333330x132233003333331100001122113322332211330x130011332233111133222200001133223333332x132233003333331100001122113322332211332x130011332233111133222200001133223333333x132233003333331100001122113322332211333x130011332233111133222200001133223333331x132233003333331100001122113322332211331x120011332233111133222200001133223333330x122233003333331100001122113322332211330x120011332233111133222200001133223333332x122233003333331100001122113322332211332x120011332233111133222200001133223333333x122233003333331100001122113322332211333x120011332233111133222200001133223333331x122233003333331100001122113322332211331x100022001133110000332200222233001100000x101100003322112222220000331100000033000x100022001133110000332200222233001100002x101100003322112222220000331100000033002x100022001133110000332200222233001100003x101100003322112222220000331100000033003x100022001133110000332200222233001100001x101100003322112222220000331100000033001x110022001133110000332200222233001100000x111100003322112222220000331100000033000x110022001133110000332200222233001100002x111100003322112222220000331100000033002x110022001133110000332200222233001100003x111100003322112222220000331100000033003x110022001133110000332200222233001100001x111100003322112222220000331100000033001x130022001133110000332200222233001100000x131100003322112222220000331100000033000x130022001133110000332200222233001100002x131100003322112222220000331100000033002x130022001133110000332200222233001100003x131100003322112222220000331100000033003x130022001133110000332200222233001100001x131100003322112222220000331100000033001x120022001133110000332200222233001100000x121100003322112222220000331100000033000x120022001133110000332200222233001100002x121100003322112222220000331100000033002x120022001133110000332200222233001100003x121100003322112222220000331100000033003x120022001133110000332200222233001100001x121100003322112222220000331100000033001x100033111122220000001133223333333333330x103300332233330000332211110033112233330x100033111122220000001133223333333333332x103300332233330000332211110033112233332x100033111122220000001133223333333333333x103300332233330000332211110033112233333x100033111122220000001133223333333333331x103300332233330000332211110033112233331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x130033111122220000001133223333333333330x133300332233330000332211110033112233330x130033111122220000001133223333333333332x133300332233330000332211110033112233332x130033111122220000001133223333333333333x133300332233330000332211110033112233333x130033111122220000001133223333333333331x133300332233330000332211110033112233331x120033111122220000001133223333333333330x123300332233330000332211110033112233330x120033111122220000001133223333333333332x123300332233330000332211110033112233332x120033111122220000001133223333333333333x123300332233330000332211110033112233333x120033111122220000001133223333333333331x123300332233330000332211110033112233331x100033112211002211330033223322330011220x103300223300331122112233003311002211220x100033112211002211330033223322330011222x103300223300331122112233003311002211222x100033112211002211330033223322330011223x103300223300331122112233003311002211223x100033112211002211330033223322330011221x103300223300331122112233003311002211221x110033112211002211330033223322330011220x113300223300331122112233003311002211220x110033112211002211330033223322330011222x113300223300331122112233003311002211222x110033112211002211330033223322330011223x113300223300331122112233003311002211223x110033112211002211330033223322330011221x113300223300331122112233003311002211221x130033112211002211330033223322330011220x133300223300331122112233003311002211220x130033112211002211330033223322330011222x133300223300331122112233003311002211222x130033112211002211330033223322330011223x133300223300331122112233003311002211223x130033112211002211330033223322330011221x133300223300331122112233003311002211221x120033112211002211330033223322330011220x123300223300331122112233003311002211220x120033112211002211330033223322330011222x123300223300331122112233003311002211222x120033112211002211330033223322330011223x123300223300331122112233003311002211223x120033112211002211330033223322330011221x123300223300331122112233003311002211221x100033223311000011000011223322111100110x103300003311110000221122220011110033110x100033223311000011000011223322111100112x103300003311110000221122220011110033112x100033223311000011000011223322111100113x103300003311110000221122220011110033113x100033223311000011000011223322111100111x103300003311110000221122220011110033111x110033223311000011000011223322111100110x113300003311110000221122220011110033110x110033223311000011000011223322111100112x113300003311110000221122220011110033112x110033223311000011000011223322111100113x113300003311110000221122220011110033113x110033223311000011000011223322111100111x113300003311110000221122220011110033111x130033223311000011000011223322111100110x133300003311110000221122220011110033110x130033223311000011000011223322111100112x133300003311110000221122220011110033112x130033223311000011000011223322111100113x133300003311110000221122220011110033113x130033223311000011000011223322111100111x133300003311110000221122220011110033111x120033223311000011000011223322111100110x123300003311110000221122220011110033110x120033223311000011000011223322111100112x123300003311110000221122220011110033112x120033223311000011000011223322111100113x123300003311110000221122220011110033113x120033223311000011000011223322111100111x123300003311110000221122220011110033111x100033332233113322000022113311332233330x103322223322001122113311330033003333330x100033332233113322000022113311332233332x103322223322001122113311330033003333332x100033332233113322000022113311332233333x103322223322001122113311330033003333333x100033332233113322000022113311332233331x103322223322001122113311330033003333331x110033332233113322000022113311332233330x113322223322001122113311330033003333330x110033332233113322000022113311332233332x113322223322001122113311330033003333332x110033332233113322000022113311332233333x113322223322001122113311330033003333333x110033332233113322000022113311332233331x113322223322001122113311330033003333331x130033332233113322000022113311332233330x133322223322001122113311330033003333330x130033332233113322000022113311332233332x133322223322001122113311330033003333332x130033332233113322000022113311332233333x133322223322001122113311330033003333333x130033332233113322000022113311332233331x133322223322001122113311330033003333331x120033332233113322000022113311332233330x123322223322001122113311330033003333330x120033332233113322000022113311332233332x123322223322001122113311330033003333332x120033332233113322000022113311332233333x123322223322001122113311330033003333333x120033332233113322000022113311332233331x123322223322001122113311330033003333331x102200001133113322110000222222002200330x100022222200221100003300001122221133330x102200001133113322110000222222002200332x100022222200221100003300001122221133332x102200001133113322110000222222002200333x100022222200221100003300001122221133333x102200001133113322110000222222002200331x100022222200221100003300001122221133331x112200001133113322110000222222002200330x110022222200221100003300001122221133330x112200001133113322110000222222002200332x110022222200221100003300001122221133332x112200001133113322110000222222002200333x110022222200221100003300001122221133333x112200001133113322110000222222002200331x110022222200221100003300001122221133331x132200001133113322110000222222002200330x130022222200221100003300001122221133330x132200001133113322110000222222002200332x130022222200221100003300001122221133332x132200001133113322110000222222002200333x130022222200221100003300001122221133333x132200001133113322110000222222002200331x130022222200221100003300001122221133331x122200001133113322110000222222002200330x120022222200221100003300001122221133330x122200001133113322110000222222002200332x120022222200221100003300001122221133332x122200001133113322110000222222002200333x120022222200221100003300001122221133333x122200001133113322110000222222002200331x120022222200221100003300001122221133331x102200110011222222223333111111112211220x100022221111112211003333222211112211220x102200110011222222223333111111112211222x100022221111112211003333222211112211222x102200110011222222223333111111112211223x100022221111112211003333222211112211223x102200110011222222223333111111112211221x100022221111112211003333222211112211221x112200110011222222223333111111112211220x110022221111112211003333222211112211220x112200110011222222223333111111112211222x110022221111112211003333222211112211222x112200110011222222223333111111112211223x110022221111112211003333222211112211223x112200110011222222223333111111112211221x110022221111112211003333222211112211221x132200110011222222223333111111112211220x130022221111112211003333222211112211220x132200110011222222223333111111112211222x130022221111112211003333222211112211222x132200110011222222223333111111112211223x130022221111112211003333222211112211223x132200110011222222223333111111112211221x130022221111112211003333222211112211221x122200110011222222223333111111112211220x120022221111112211003333222211112211220x122200110011222222223333111111112211222x120022221111112211003333222211112211222x122200110011222222223333111111112211223x120022221111112211003333222211112211223x122200110011222222223333111111112211221x120022221111112211003333222211112211221x102200330000113311220022113300222200000x100000330033221122112222112200000033000x102200330000113311220022113300222200002x100000330033221122112222112200000033002x102200330000113311220022113300222200003x100000330033221122112222112200000033003x102200330000113311220022113300222200001x100000330033221122112222112200000033001x112200330000113311220022113300222200000x110000330033221122112222112200000033000x112200330000113311220022113300222200002x110000330033221122112222112200000033002x112200330000113311220022113300222200003x110000330033221122112222112200000033003x112200330000113311220022113300222200001x110000330033221122112222112200000033001x132200330000113311220022113300222200000x130000330033221122112222112200000033000x132200330000113311220022113300222200002x130000330033221122112222112200000033002x132200330000113311220022113300222200003x130000330033221122112222112200000033003x132200330000113311220022113300222200001x130000330033221122112222112200000033001x122200330000113311220022113300222200000x120000330033221122112222112200000033000x122200330000113311220022113300222200002x120000330033221122112222112200000033002x122200330000113311220022113300222200003x120000330033221122112222112200000033003x122200330000113311220022113300222200001x120000330033221122112222112200000033001x102211330000222211113311331100002211220x100011221100112211000011112233333322220x102211330000222211113311331100002211222x100011221100112211000011112233333322222x102211330000222211113311331100002211223x100011221100112211000011112233333322223x102211330000222211113311331100002211221x100011221100112211000011112233333322221x112211330000222211113311331100002211220x110011221100112211000011112233333322220x112211330000222211113311331100002211222x110011221100112211000011112233333322222x112211330000222211113311331100002211223x110011221100112211000011112233333322223x112211330000222211113311331100002211221x110011221100112211000011112233333322221x132211330000222211113311331100002211220x130011221100112211000011112233333322220x132211330000222211113311331100002211222x130011221100112211000011112233333322222x132211330000222211113311331100002211223x130011221100112211000011112233333322223x132211330000222211113311331100002211221x130011221100112211000011112233333322221x122211330000222211113311331100002211220x120011221100112211000011112233333322220x122211330000222211113311331100002211222x120011221100112211000011112233333322222x122211330000222211113311331100002211223x120011221100112211000011112233333322223x122211330000222211113311331100002211221x120011221100112211000011112233333322221x102222000033001133110022222233001122000x100022003322332211002200221100110022330x102222000033001133110022222233001122002x100022003322332211002200221100110022332x102222000033001133110022222233001122003x100022003322332211002200221100110022333x102222000033001133110022222233001122001x100022003322332211002200221100110022331x112222000033001133110022222233001122000x110022003322332211002200221100110022330x112222000033001133110022222233001122002x110022003322332211002200221100110022332x112222000033001133110022222233001122003x110022003322332211002200221100110022333x112222000033001133110022222233001122001x110022003322332211002200221100110022331x132222000033001133110022222233001122000x130022003322332211002200221100110022330x132222000033001133110022222233001122002x130022003322332211002200221100110022332x132222000033001133110022222233001122003x130022003322332211002200221100110022333x132222000033001133110022222233001122001x130022003322332211002200221100110022331x122222000033001133110022222233001122000x120022003322332211002200221100110022330x122222000033001133110022222233001122002x120022003322332211002200221100110022332x122222000033001133110022222233001122003x120022003322332211002200221100110022333x122222000033001133110022222233001122001x120022003322332211002200221100110022331x102222113311330000221122222211111100110x100022223333111122002211112211001122110x102222113311330000221122222211111100112x100022223333111122002211112211001122112x102222113311330000221122222211111100113x100022223333111122002211112211001122113x102222113311330000221122222211111100111x100022223333111122002211112211001122111x112222113311330000221122222211111100110x110022223333111122002211112211001122110x112222113311330000221122222211111100112x110022223333111122002211112211001122112x112222113311330000221122222211111100113x110022223333111122002211112211001122113x112222113311330000221122222211111100111x110022223333111122002211112211001122111x132222113311330000221122222211111100110x130022223333111122002211112211001122110x132222113311330000221122222211111100112x130022223333111122002211112211001122112x132222113311330000221122222211111100113x130022223333111122002211112211001122113x132222113311330000221122222211111100111x130022223333111122002211112211001122111x122222113311330000221122222211111100110x120022223333111122002211112211001122110x122222113311330000221122222211111100112x120022223333111122002211112211001122112x122222113311330000221122222211111100113x120022223333111122002211112211001122113x122222113311330000221122222211111100111x120022223333111122002211112211001122111x102222332222331100223311111100001100220x100022111122220033330011112222110033220x102222332222331100223311111100001100222x100022111122220033330011112222110033222x102222332222331100223311111100001100223x100022111122220033330011112222110033223x102222332222331100223311111100001100221x100022111122220033330011112222110033221x112222332222331100223311111100001100220x110022111122220033330011112222110033220x112222332222331100223311111100001100222x110022111122220033330011112222110033222x112222332222331100223311111100001100223x110022111122220033330011112222110033223x112222332222331100223311111100001100221x110022111122220033330011112222110033221x132222332222331100223311111100001100220x130022111122220033330011112222110033220x132222332222331100223311111100001100222x130022111122220033330011112222110033222x132222332222331100223311111100001100223x130022111122220033330011112222110033223x132222332222331100223311111100001100221x130022111122220033330011112222110033221x122222332222331100223311111100001100220x120022111122220033330011112222110033220x122222332222331100223311111100001100222x120022111122220033330011112222110033222x122222332222331100223311111100001100223x120022111122220033330011112222110033223x122222332222331100223311111100001100221x120022111122220033330011112222110033221x102233001133113333003300220033113322330x100022003333332211330033333333111122000x102233001133113333003300220033113322332x100022003333332211330033333333111122002x102233001133113333003300220033113322333x100022003333332211330033333333111122003x102233001133113333003300220033113322331x100022003333332211330033333333111122001x112233001133113333003300220033113322330x110022003333332211330033333333111122000x112233001133113333003300220033113322332x110022003333332211330033333333111122002x112233001133113333003300220033113322333x110022003333332211330033333333111122003x112233001133113333003300220033113322331x110022003333332211330033333333111122001x132233001133113333003300220033113322330x130022003333332211330033333333111122000x132233001133113333003300220033113322332x130022003333332211330033333333111122002x132233001133113333003300220033113322333x130022003333332211330033333333111122003x132233001133113333003300220033113322331x130022003333332211330033333333111122001x122233001133113333003300220033113322330x120022003333332211330033333333111122000x122233001133113333003300220033113322332x120022003333332211330033333333111122002x122233001133113333003300220033113322333x120022003333332211330033333333111122003x122233001133113333003300220033113322331x120022003333332211330033333333111122001x102233223311220011330011332211002233330x100033110022221122221133333311002233330x102233223311220011330011332211002233332x100033110022221122221133333311002233332x102233223311220011330011332211002233333x100033110022221122221133333311002233333x102233223311220011330011332211002233331x100033110022221122221133333311002233331x112233223311220011330011332211002233330x110033110022221122221133333311002233330x112233223311220011330011332211002233332x110033110022221122221133333311002233332x112233223311220011330011332211002233333x110033110022221122221133333311002233333x112233223311220011330011332211002233331x110033110022221122221133333311002233331x132233223311220011330011332211002233330x130033110022221122221133333311002233330x132233223311220011330011332211002233332x130033110022221122221133333311002233332x132233223311220011330011332211002233333x130033110022221122221133333311002233333x132233223311220011330011332211002233331x130033110022221122221133333311002233331x122233223311220011330011332211002233330x120033110022221122221133333311002233330x122233223311220011330011332211002233332x120033110022221122221133333311002233332x122233223311220011330011332211002233333x120033110022221122221133333311002233333x122233223311220011330011332211002233331x120033110022221122221133333311002233331x103300000022003322002222220000113300220x100000221122330033220022000033002200220x103300000022003322002222220000113300222x100000221122330033220022000033002200222x103300000022003322002222220000113300223x100000221122330033220022000033002200223x103300000022003322002222220000113300221x100000221122330033220022000033002200221x113300000022003322002222220000113300220x110000221122330033220022000033002200220x113300000022003322002222220000113300222x110000221122330033220022000033002200222x113300000022003322002222220000113300223x110000221122330033220022000033002200223x113300000022003322002222220000113300221x110000221122330033220022000033002200221x133300000022003322002222220000113300220x130000221122330033220022000033002200220x133300000022003322002222220000113300222x130000221122330033220022000033002200222x133300000022003322002222220000113300223x130000221122330033220022000033002200223x133300000022003322002222220000113300221x130000221122330033220022000033002200221x123300000022003322002222220000113300220x120000221122330033220022000033002200220x123300000022003322002222220000113300222x120000221122330033220022000033002200222x123300000022003322002222220000113300223x120000221122330033220022000033002200223x123300000022003322002222220000113300221x120000221122330033220022000033002200221x103300002222221133113333332200223333330x102211221122333300223300333333220033330x103300002222221133113333332200223333332x102211221122333300223300333333220033332x103300002222221133113333332200223333333x102211221122333300223300333333220033333x103300002222221133113333332200223333331x102211221122333300223300333333220033331x113300002222221133113333332200223333330x112211221122333300223300333333220033330x113300002222221133113333332200223333332x112211221122333300223300333333220033332x113300002222221133113333332200223333333x112211221122333300223300333333220033333x113300002222221133113333332200223333331x112211221122333300223300333333220033331x133300002222221133113333332200223333330x132211221122333300223300333333220033330x133300002222221133113333332200223333332x132211221122333300223300333333220033332x133300002222221133113333332200223333333x132211221122333300223300333333220033333x133300002222221133113333332200223333331x132211221122333300223300333333220033331x123300002222221133113333332200223333330x122211221122333300223300333333220033330x123300002222221133113333332200223333332x122211221122333300223300333333220033332x123300002222221133113333332200223333333x122211221122333300223300333333220033333x123300002222221133113333332200223333331x122211221122333300223300333333220033331x103300003311330022002200001100332233220x100000332233330000003322001122331100220x103300003311330022002200001100332233222x100000332233330000003322001122331100222x103300003311330022002200001100332233223x100000332233330000003322001122331100223x103300003311330022002200001100332233221x100000332233330000003322001122331100221x113300003311330022002200001100332233220x110000332233330000003322001122331100220x113300003311330022002200001100332233222x110000332233330000003322001122331100222x113300003311330022002200001100332233223x110000332233330000003322001122331100223x113300003311330022002200001100332233221x110000332233330000003322001122331100221x133300003311330022002200001100332233220x130000332233330000003322001122331100220x133300003311330022002200001100332233222x130000332233330000003322001122331100222x133300003311330022002200001100332233223x130000332233330000003322001122331100223x133300003311330022002200001100332233221x130000332233330000003322001122331100221x123300003311330022002200001100332233220x120000332233330000003322001122331100220x123300003311330022002200001100332233222x120000332233330000003322001122331100222x123300003311330022002200001100332233223x120000332233330000003322001122331100223x123300003311330022002200001100332233221x120000332233330000003322001122331100221x103300222200112200002200222222331100220x100022112222330000332222112200220000220x103300222200112200002200222222331100222x100022112222330000332222112200220000222x103300222200112200002200222222331100223x100022112222330000332222112200220000223x103300222200112200002200222222331100221x100022112222330000332222112200220000221x113300222200112200002200222222331100220x110022112222330000332222112200220000220x113300222200112200002200222222331100222x110022112222330000332222112200220000222x113300222200112200002200222222331100223x110022112222330000332222112200220000223x113300222200112200002200222222331100221x110022112222330000332222112200220000221x133300222200112200002200222222331100220x130022112222330000332222112200220000220x133300222200112200002200222222331100222x130022112222330000332222112200220000222x133300222200112200002200222222331100223x130022112222330000332222112200220000223x133300222200112200002200222222331100221x130022112222330000332222112200220000221x123300222200112200002200222222331100220x120022112222330000332222112200220000220x123300222200112200002200222222331100222x120022112222330000332222112200220000222x123300222200112200002200222222331100223x120022112222330000332222112200220000223x123300222200112200002200222222331100221x120022112222330000332222112200220000221x103300222233222233222233332200113322330x100033332211333322223322222200332222330x103300222233222233222233332200113322332x100033332211333322223322222200332222332x103300222233222233222233332200113322333x100033332211333322223322222200332222333x103300222233222233222233332200113322331x100033332211333322223322222200332222331x113300222233222233222233332200113322330x110033332211333322223322222200332222330x113300222233222233222233332200113322332x110033332211333322223322222200332222332x113300222233222233222233332200113322333x110033332211333322223322222200332222333x113300222233222233222233332200113322331x110033332211333322223322222200332222331x133300222233222233222233332200113322330x130033332211333322223322222200332222330x133300222233222233222233332200113322332x130033332211333322223322222200332222332x133300222233222233222233332200113322333x130033332211333322223322222200332222333x133300222233222233222233332200113322331x130033332211333322223322222200332222331x123300222233222233222233332200113322330x120033332211333322223322222200332222330x123300222233222233222233332200113322332x120033332211333322223322222200332222332x123300222233222233222233332200113322333x120033332211333322223322222200332222333x123300222233222233222233332200113322331x120033332211333322223322222200332222331x103311332211331100332200220033002233330x102222001122110033333300332211333333000x103311332211331100332200220033002233332x102222001122110033333300332211333333002x103311332211331100332200220033002233333x102222001122110033333300332211333333003x103311332211331100332200220033002233331x102222001122110033333300332211333333001x113311332211331100332200220033002233330x112222001122110033333300332211333333000x113311332211331100332200220033002233332x112222001122110033333300332211333333002x113311332211331100332200220033002233333x112222001122110033333300332211333333003x113311332211331100332200220033002233331x112222001122110033333300332211333333001x133311332211331100332200220033002233330x132222001122110033333300332211333333000x133311332211331100332200220033002233332x132222001122110033333300332211333333002x133311332211331100332200220033002233333x132222001122110033333300332211333333003x133311332211331100332200220033002233331x132222001122110033333300332211333333001x123311332211331100332200220033002233330x122222001122110033333300332211333333000x123311332211331100332200220033002233332x122222001122110033333300332211333333002x123311332211331100332200220033002233333x122222001122110033333300332211333333003x123311332211331100332200220033002233331x122222001122110033333300332211333333001x103322222233223300113322113322330022110x100000333322112211333333332222222222110x103322222233223300113322113322330022112x100000333322112211333333332222222222112x103322222233223300113322113322330022113x100000333322112211333333332222222222113x103322222233223300113322113322330022111x100000333322112211333333332222222222111x113322222233223300113322113322330022110x110000333322112211333333332222222222110x113322222233223300113322113322330022112x110000333322112211333333332222222222112x113322222233223300113322113322330022113x110000333322112211333333332222222222113x113322222233223300113322113322330022111x110000333322112211333333332222222222111x133322222233223300113322113322330022110x130000333322112211333333332222222222110x133322222233223300113322113322330022112x130000333322112211333333332222222222112x133322222233223300113322113322330022113x130000333322112211333333332222222222113x133322222233223300113322113322330022111x130000333322112211333333332222222222111x123322222233223300113322113322330022110x120000333322112211333333332222222222110x123322222233223300113322113322330022112x120000333322112211333333332222222222112x123322222233223300113322113322330022113x120000333322112211333333332222222222113x123322222233223300113322113322330022111x120000333322112211333333332222222222111x103333002233001133333311221133222200330x102233111100112200333333223322333300330x103333002233001133333311221133222200332x102233111100112200333333223322333300332x103333002233001133333311221133222200333x102233111100112200333333223322333300333x103333002233001133333311221133222200331x102233111100112200333333223322333300331x113333002233001133333311221133222200330x112233111100112200333333223322333300330x113333002233001133333311221133222200332x112233111100112200333333223322333300332x113333002233001133333311221133222200333x112233111100112200333333223322333300333x113333002233001133333311221133222200331x112233111100112200333333223322333300331x133333002233001133333311221133222200330x132233111100112200333333223322333300330x133333002233001133333311221133222200332x132233111100112200333333223322333300332x133333002233001133333311221133222200333x132233111100112200333333223322333300333x133333002233001133333311221133222200331x132233111100112200333333223322333300331x123333002233001133333311221133222200330x122233111100112200333333223322333300330x123333002233001133333311221133222200332x122233111100112200333333223322333300332x123333002233001133333311221133222200333x122233111100112200333333223322333300333x123333002233001133333311221133222200331x122233111100112200333333223322333300331x103333003311000022222200000022221133220x100033220033331122112222003300000022220x103333003311000022222200000022221133222x100033220033331122112222003300000022222x103333003311000022222200000022221133223x100033220033331122112222003300000022223x103333003311000022222200000022221133221x100033220033331122112222003300000022221x113333003311000022222200000022221133220x110033220033331122112222003300000022220x113333003311000022222200000022221133222x110033220033331122112222003300000022222x113333003311000022222200000022221133223x110033220033331122112222003300000022223x113333003311000022222200000022221133221x110033220033331122112222003300000022221x133333003311000022222200000022221133220x130033220033331122112222003300000022220x133333003311000022222200000022221133222x130033220033331122112222003300000022222x133333003311000022222200000022221133223x130033220033331122112222003300000022223x133333003311000022222200000022221133221x130033220033331122112222003300000022221x123333003311000022222200000022221133220x120033220033331122112222003300000022220x123333003311000022222200000022221133222x120033220033331122112222003300000022222x123333003311000022222200000022221133223x120033220033331122112222003300000022223x123333003311000022222200000022221133221x120033220033331122112222003300000022221x103333220000110022333300331133331133330x100000333311110022223311333300333333330x103333220000110022333300331133331133332x100000333311110022223311333300333333332x103333220000110022333300331133331133333x100000333311110022223311333300333333333x103333220000110022333300331133331133331x100000333311110022223311333300333333331x113333220000110022333300331133331133330x110000333311110022223311333300333333330x113333220000110022333300331133331133332x110000333311110022223311333300333333332x113333220000110022333300331133331133333x110000333311110022223311333300333333333x113333220000110022333300331133331133331x110000333311110022223311333300333333331x133333220000110022333300331133331133330x130000333311110022223311333300333333330x133333220000110022333300331133331133332x130000333311110022223311333300333333332x133333220000110022333300331133331133333x130000333311110022223311333300333333333x133333220000110022333300331133331133331x130000333311110022223311333300333333331x123333220000110022333300331133331133330x120000333311110022223311333300333333330x123333220000110022333300331133331133332x120000333311110022223311333300333333332x123333220000110022333300331133331133333x120000333311110022223311333300333333333x123333220000110022333300331133331133331x120000333311110022223311333300333333331x103333221133220022000033113300220022220x102200113322222211223333003300000033220x103333221133220022000033113300220022222x102200113322222211223333003300000033222x103333221133220022000033113300220022223x102200113322222211223333003300000033223x103333221133220022000033113300220022221x102200113322222211223333003300000033221x113333221133220022000033113300220022220x112200113322222211223333003300000033220x113333221133220022000033113300220022222x112200113322222211223333003300000033222x113333221133220022000033113300220022223x112200113322222211223333003300000033223x113333221133220022000033113300220022221x112200113322222211223333003300000033221x133333221133220022000033113300220022220x132200113322222211223333003300000033220x133333221133220022000033113300220022222x132200113322222211223333003300000033222x133333221133220022000033113300220022223x132200113322222211223333003300000033223x133333221133220022000033113300220022221x132200113322222211223333003300000033221x123333221133220022000033113300220022220x122200113322222211223333003300000033220x123333221133220022000033113300220022222x122200113322222211223333003300000033222x123333221133220022000033113300220022223x122200113322222211223333003300000033223x123333221133220022000033113300220022221x122200113322222211223333003300000033221x110011180211162211132311130111801111121011103111311111612111201113321119131112111111111133111111000000220011001111003322110000220x1111221111000022330000000011110000220x1111000000220011001111003322110000222x1111221111000022330000000011110000222x1111000000220011001111003322110000223x1111221111000022330000000011110000223x1111000000220011001111003322110000221x1111221111000022330000000011110000221x1200220033000022221111003311003311110x1200003333222211001100110033221100110x1200220033000022221111003311003311112x1200003333222211001100110033221100112x1200220033000022221111003311003311113x1200003333222211001100110033221100113x1200220033000022221111003311003311111x1200003333222211001100110033221100111x1200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x1333221133000011332200002233330000220x1300003300330011220033113300332222220x1333221133000011332200002233330000222x1300003300330011220033113300332222222x1333221133000011332200002233330000223x1300003300330011220033113300332222223x1333221133000011332200002233330000221x1300003300330011220033113300332222221x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x110033112211002211330033223322330011220x113300223300331122112233003311002211220x110033112211002211330033223322330011222x113300223300331122112233003311002211222x110033112211002211330033223322330011223x113300223300331122112233003311002211223x110033112211002211330033223322330011221x113300223300331122112233003311002211221x133333002233001133333311221133222200330x132233111100112200333333223322333300330x133333002233001133333311221133222200332x132233111100112200333333223322333300332x133333002233001133333311221133222200333x132233111100112200333333223322333300333x133333002233001133333311221133222200331x132233111100112200333333223322333300331x133333221133220022000033113300220022220x132200113322222211223333003300000033220x133333221133220022000033113300220022222x132200113322222211223333003300000033222x133333221133220022000033113300220022223x132200113322222211223333003300000033223x133333221133220022000033113300220022221x132200113322222211223333003300000033221x111111151011110011102111120111011112031111321112111141211123111301112211113111133111113111111000000220011001111003322110000220x1111221111000022330000000011110000220x1111000000220011001111003322110000222x1111221111000022330000000011110000222x1111000000220011001111003322110000223x1111221111000022330000000011110000223x1111000000220011001111003322110000221x1111221111000022330000000011110000221x1200220033000022221111003311003311110x1200003333222211001100110033221100110x1200220033000022221111003311003311112x1200003333222211001100110033221100112x1200220033000022221111003311003311113x1200003333222211001100110033221100113x1200220033000022221111003311003311111x1200003333222211001100110033221100111x1200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x133333002233001133333311221133222200330x132233111100112200333333223322333300330x133333002233001133333311221133222200332x132233111100112200333333223322333300332x133333002233001133333311221133222200333x132233111100112200333333223322333300333x133333002233001133333311221133222200331x132233111100112200333333223322333300331x133333221133220022000033113300220022220x132200113322222211223333003300000033220x133333221133220022000033113300220022222x132200113322222211223333003300000033222x133333221133220022000033113300220022223x132200113322222211223333003300000033223x133333221133220022000033113300220022221x132200113322222211223333003300000033221x11111111011100111021112011101111103111321112111111211112311130111221113111123311113111111000000220011001111003322110000220x1111221111000022330000000011110000220x1111000000220011001111003322110000222x1111221111000022330000000011110000222x1111000000220011001111003322110000223x1111221111000022330000000011110000223x1111000000220011001111003322110000221x1111221111000022330000000011110000221x1200220033000022221111003311003311110x1200003333222211001100110033221100110x1200220033000022221111003311003311112x1200003333222211001100110033221100112x1200220033000022221111003311003311113x1200003333222211001100110033221100113x1200220033000022221111003311003311111x1200003333222211001100110033221100111x1200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x133333221133220022000033113300220022220x132200113322222211223333003300000033220x133333221133220022000033113300220022222x132200113322222211223333003300000033222x133333221133220022000033113300220022223x132200113322222211223333003300000033223x133333221133220022000033113300220022221x132200113322222211223333003300000033221x11111111011120011102111201112701111130311116321112111112111231118301112211131111331111311115200220033000022221111003311003311110x1200003333222211001100110033221100110x1200220033000022221111003311003311112x1200003333222211001100110033221100112x1200220033000022221111003311003311113x1200003333222211001100110033221100113x1200220033000022221111003311003311111x1200003333222211001100110033221100111x1200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x11201113021110311123011110011122111211111111110111311113311113211101111121111311123111200331100332211002233110022221111110x1211222222001111000033331133002211110x1200331100332211002233110022221111112x1211222222001111000033331133002211112x1200331100332211002233110022221111113x1211222222001111000033331133002211113x1200331100332211002233110022221111111x1211222222001111000033331133002211111x1300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x11201110311131111110111321112111102111231112211111111121110111100111331111311130111300112211002211113300112233111111110x1333111111001122111111222233001100110x1300112211002211113300112233111111112x1333111111001122111111222233001100112x1300112211002211113300112233111111113x1333111111001122111111222233001100113x1300112211002211113300112233111111111x1333111111001122111111222233001100111x1333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x11301110111112111211111011102111111111311112311131111331112211120111031113211100111333002200220011220022330022220033330x1322003322000000330033222222112200330x1333002200220011220022330022220033332x1322003322000000330033222222112200332x1333002200220011220022330022220033333x1322003322000000330033222222112200333x1333002200220011220022330022220033331x1322003322000000330033222222112200331x110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x113311130111102111201110111111211123111221111031113211100111211113111110111111111311110033111122220000001133223333333333330x113300332233330000332211110033112233330x110033111122220000001133223333333333332x113300332233330000332211110033112233332x110033111122220000001133223333333333333x113300332233330000332211110033112233333x110033111122220000001133223333333333331x113300332233330000332211110033112233331x111011103111311111111112111221112011110011101111131113211123111331113011121111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (12 real / 0 unknown / 0 assumptions / 12 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe