000110332033311321x1003211110023330133x1002200200003133003x1020002100300023033x1003013310030220120x1023013003210020310x1010303203313231000x1010001333003312230x1011011233221203232x1022320031223111132x1012231202120323102x1031120121002232232x1012322313332013131x1023211313130223331x1013120212203232312x1002321201322323112x1020313130031011230x1022313030310110130x1020333223221021202x1022230132230201322x1022213101312020323x1031232321110002322x1023212030202102012x1322210200000322112x1030200012013123313x1001002023211313303x1030331000301030203x1000213303000033103x1031101323100120303x1021033211000113303x1100131323113103220x1132111321332001003x1101012032313100111x1210113321010300111x1101232333310032320x1320212230331133300x1102103110132120020x1100111013222200013x1103110320133203303x1213001010333021333x1110303331012233113x1133332300112311013x1113213233112310201x1322330223301111111x1120012331301103231x1113001221031213033x1120302003132333031x1331032002332331001x1120332233113013120x1111313300222333021x1122032132022120202x1122220123202102302x1122120312013032131x1211222031302101133x1122200103010310320x1111300003222100023x1123322012233210331x1122302102332332131x1123332021003313133x1133133002233012313x1130123231121320201x1113131321220300221x1130312013121210003x1100302320102111133x1131203312222022330x1122313231202302230x1132230330313110301x1111110300323303233x1200102002011102110x1000000221121101210x1200132032111032033x1201330112210303023x1200133100313001220x1230023330011021010x1200321313203332033x1233022133033233001x1201303131133211003x1133311113000221033x1202122123331333122x1220212113313333222x1202220102012102000x1212200002200022110x1203020332011201101x1113030223201020011x1203110303320220023x1222302033021130003x1203213212032231123x1322232213211301023x1203222331231230032x1222133030022132332x1203223011201132022x1032021312113002222x1210230131231201330x1233011222311031030x1212302201312000313x1200003221103223113x1213012020101232132x1211320211100320232x1213312023213130312x1211331232303023112x1220220223333223032x1222032332322300232x1220331232322011231x1323312221022130321x1231230332232321220x1233202213023322213x1300012121031002202x1300020021012230211x1300122033030213033x1312302300023013303x1300132101332311033x1301131300230123313x1301033320231202202x1303302220110032322x1302200322032121332x1303302132002322122x1302232202010102031x1122213022000200313x1302310032201321210x1300002123122130231x1310112020102231201x1301021211002102312x1310122012011303231x1302301032111131202x1310132203033003101x1312200313301300031x1311333311013131233x1311313132131013333x1312132013030030020x1300002023313121300x1312310313210323202x1310113223210032332x1320021310033131033x1331000023033121313x1320101203223312333x1333002212303321312x1320120133303112110x1130210323211113300x1320202002212032033x1221223303020200230x1320220000312102330x1123022220130330000x1320331110213333003x1311001320021333333x1321012231202030020x1323200023220210110x1322033130320110131x1333011313223020101x1322311120101310013x1111121130002231033x1323102123122030333x1331000322132312233x1323230303101020202x1113303230230022002x1323300132302203020x1300123300232232300x1332020013132032103x1133012230022003133x1333202023032311020x1300232222033011330x12.1123113330233011000x1331033320011112300x1300331300002002200x1330320003001200020x1021022030013310300x1013020012300310320x1000132313302303010x1032213300333100010x1232302122332110110x1231111322130023220x1201323021202132210x1232232200121021130x1131310233313223210x1133322031313112320x1213232302212021310x1211323223102123200x1032110130031313020x1031011013030313220x1202120122322333020x1223102032231032220x1323020213101312220x1223200011123232130x1210201202030212320x1211223000002012223x1313321310210002030x1303313112320200100x1302030103000133030x1301330000303312000x1303021001323101130x1303311000112330120x1022301311323131001x1300100233123111231x1111001313230210101x1111003010123311012x1023230013333232101x1003331133032212023x1020021231011301201x1310002222310111001x1303302331023011301x1333120333010100312x1311332210133303011x1310113211003233331x1102013211332312311x1111111103322033223x1132301103133210021x1330312130122100311x1130333231300203021x1100133233200230133x1021310311332233021x1120333222003313111x1202021220231230221x1203201202321022221x1131230310213021221x1331101203130222112x1023013010301002221x1320001222300003111x1133012332210223321x1131233233201203221x1331313300120233321x1313210332200331331x1102023121132321031x1122003022123131311x1300012121310213031x1331111201023203001x1033220222213302131x1032203202132313221x1103011313033032231x1332303323003011111x1011201110200201002x1012101121122000000x1330230111230231002x1320303012211033102x1022100313001331002x1010120110033320032x1330233302313123002x1100332330331220332x1300112331131303102x1330122000311113331x1221333133321221202x1222333313311212022x1000201210201022202x1011220002200002212x1101102110233020302x1110020102322030311x1320022023303011302x1300031120330203222x1321132230212312302x1320103112312232223x1230032132133222302x1233231220030331222x1220231102110322302x1222200311213120230x1033102132131032012x1030130113222110332x1313000213102203212x1311322301122300002x1231232101020210312x1232023001112023112x1213031312320213312x1211320303232133112x1230322333322022022x1232003223233230222x1132110223232133022x1123031220122213323x1022123232233032132x1312223320312202332x1202200130121210003x1112032210120020003x1330312030330221003x1303310320003203213x1330113233101231003x1313321032003131103x1202202132023330103x1223230011022203303x1233121230223002203x1221223200231203303x1130201010202232203x1313002000220312221x1012123102230013203x1132031221321200003x1102132201020211013x1213201200112120103x1132303110210221013x1202131111230103203x1101300330302231013x1130003103313002213x1332131310113333113x1333310131231313113x1020030030310231213x1003121313320200003x1202323012313013213x1233230012322311013x1330131330013120023x1313121330320000133x1333213322302101023x1213123303212200333x1011211303331021023x1003311112323012031x1330230212200202023x1032002020303322122x1033201213000022023x1000033031022220321x1300333312011133023x1333333120023100113x1020030202132210123x1011012022320002323x1131011023031330223x1101020322313110333x1310013101021113223x1330132200031121111x1333030221321201323x1332213231223000133x1202020101303032323x1200220032032303311x1020302203231003323x1003232232003321003x1301230231310020233x1331300220032210331x1020113230320202333x1033110330222232003x11230300331300002002200x1330320003001200020x1021022030013310300x1013020012300310320x1000132313302303010x1032213300333100010x1232302122332110110x1231111322130023220x1201323021202132210x1232232200121021130x1131310233313223210x1133322031313112320x1213232302212021310x1211323223102123200x1032110130031313020x1031011013030313220x1202120122322333020x1223102032231032220x1210201202030212320x1211223000002012223x1313321310210002030x1303313112320200100x1302030103000133030x1301330000303312000x1303021001323101130x1303311000112330120x1111001313230210101x1111003010123311012x1023230013333232101x1003331133032212023x1303302331023011301x1333120333010100312x1311332210133303011x1310113211003233331x1102013211332312311x1111111103322033223x1130333231300203021x1100133233200230133x1202021220231230221x1203201202321022221x1133012332210223321x1131233233201203221x1331313300120233321x1313210332200331331x1102023121132321031x1122003022123131311x1300012121310213031x1331111201023203001x1033220222213302131x1032203202132313221x1011201110200201002x1012101121122000000x1330230111230231002x1320303012211033102x1022100313001331002x1010120110033320032x1300112331131303102x1330122000311113331x1221333133321221202x1222333313311212022x1000201210201022202x1011220002200002212x1101102110233020302x1110020102322030311x1320022023303011302x1300031120330203222x1321132230212312302x1320103112312232223x1230032132133222302x1233231220030331222x1220231102110322302x1222200311213120230x1033102132131032012x1030130113222110332x1313000213102203212x1311322301122300002x1231232101020210312x1232023001112023112x1213031312320213312x1211320303232133112x1230322333322022022x1232003223233230222x1132110223232133022x1123031220122213323x1330312030330221003x1303310320003203213x1330113233101231003x1313321032003131103x1202202132023330103x1223230011022203303x1233121230223002203x1221223200231203303x1101300330302231013x1130003103313002213x1332131310113333113x1333310131231313113x1020030030310231213x1003121313320200003x1202323012313013213x1233230012322311013x1330131330013120023x1313121330320000133x1011211303331021023x1003311112323012031x1033201213000022023x1000033031022220321x1300333312011133023x1333333120023100113x1020030202132210123x1011012022320002323x1131011023031330223x1101020322313110333x1310013101021113223x1330132200031121111x1333030221321201323x1332213231223000133x1202020101303032323x1200220032032303311x1020302203231003323x1003232232003321003x1301230231310020233x1331300220032210331x1020113230320202333x1033110330222232003x11123113330233011000x11331033320011112300x12123113330233011000x12331033320011112300x13123113330233011000x13331033320011112300x10123113330233011000x10331033320011112300x11323020213101312220x11223200011123232130x12323020213101312220x12223200011123232130x13323020213101312220x13223200011123232130x10323020213101312220x10223200011123232130x11022301311323131001x11300100233123111231x12022301311323131001x12300100233123111231x13022301311323131001x13300100233123111231x10022301311323131001x10300100233123111231x11020021231011301201x11310002222310111001x12020021231011301201x12310002222310111001x13020021231011301201x13310002222310111001x10020021231011301201x10310002222310111001x11132301103133210021x11330312130122100311x12132301103133210021x12330312130122100311x13132301103133210021x13330312130122100311x10132301103133210021x10330312130122100311x11021310311332233021x11120333222003313111x12021310311332233021x12120333222003313111x13021310311332233021x13120333222003313111x10021310311332233021x10120333222003313111x11131230310213021221x11331101203130222112x12131230310213021221x12331101203130222112x13131230310213021221x13331101203130222112x10131230310213021221x10331101203130222112x11023013010301002221x11320001222300003111x12023013010301002221x12320001222300003111x13023013010301002221x13320001222300003111x10023013010301002221x10320001222300003111x11103011313033032231x11332303323003011111x12103011313033032231x12332303323003011111x13103011313033032231x13332303323003011111x10103011313033032231x10332303323003011111x11330233302313123002x11100332330331220332x12330233302313123002x12100332330331220332x13330233302313123002x13100332330331220332x10330233302313123002x10100332330331220332x11022123232233032132x11312223320312202332x12022123232233032132x12312223320312202332x13022123232233032132x13312223320312202332x10022123232233032132x10312223320312202332x11202200130121210003x11112032210120020003x12202200130121210003x12112032210120020003x13202200130121210003x13112032210120020003x10202200130121210003x10112032210120020003x11130201010202232203x11313002000220312221x12130201010202232203x12313002000220312221x13130201010202232203x13313002000220312221x10130201010202232203x10313002000220312221x11012123102230013203x11132031221321200003x12012123102230013203x12132031221321200003x13012123102230013203x13132031221321200003x10012123102230013203x10132031221321200003x11102132201020211013x11213201200112120103x12102132201020211013x12213201200112120103x13102132201020211013x13213201200112120103x10102132201020211013x10213201200112120103x11132303110210221013x11202131111230103203x12132303110210221013x12202131111230103203x13132303110210221013x13202131111230103203x10132303110210221013x10202131111230103203x11333213322302101023x11213123303212200333x12333213322302101023x12213123303212200333x13333213322302101023x13213123303212200333x10333213322302101023x10213123303212200333x11330230212200202023x11032002020303322122x12330230212200202023x12032002020303322122x13330230212200202023x13032002020303322122x10330230212200202023x10032002020303322122x1300003333113300000000220000222200003x1333003322000000330000112200000022003x1300003333113300000000220000222200000x1333003322000000330000112200000022000x1300003333113300000000220000222200001x1333003322000000330000112200000022001x1300003333113300000000220000222200002x1333003322000000330000112200000022002x1022110022220033000011333311003300003x1011330022000011223300003311003322003x1022110022220033000011333311003300000x1011330022000011223300003311003322000x1022110022220033000011333311003300001x1011330022000011223300003311003322001x1022110022220033000011333311003300002x1011330022000011223300003311003322002x1000001133223311333300223300330011003x1033222211333300003333331100000011003x1000001133223311333300223300330011000x1033222211333300003333331100000011000x1000001133223311333300223300330011001x1033222211333300003333331100000011001x1000001133223311333300223300330011002x1033222211333300003333331100000011002x1233223300221122223333221111001111003x1233111111113322221133000022332222003x1233223300221122223333221111001111000x1233111111113322221133000022332222000x1233223300221122223333221111001111001x1233111111113322221133000022332222001x1233223300221122223333221111001111002x1233111111113322221133000022332222002x1200113322330022112200221133222211003x1233222233222200001122110022111133003x1200113322330022112200221133222211000x1233222233222200001122110022111133000x1200113322330022112200221133222211001x1233222233222200001122110022111133001x1200113322330022112200221133222211002x1233222233222200001122110022111133002x1133113311002233333311332222332211003x1133333322220033113311331111223322003x1133113311002233333311332222332211000x1133333322220033113311331111223322000x1133113311002233333311332222332211001x1133333322220033113311331111223322001x1133113311002233333311332222332211002x1133333322220033113311331111223322002x1211332233223300222211220022113311003x1211113322332222331100221122332200003x1211332233223300222211220022113311000x1211113322332222331100221122332200000x1211332233223300222211220022113311001x1211113322332222331100221122332200001x1211332233223300222211220022113311002x1211113322332222331100221122332200002x1033221111001133000033113311330022003x1033110011110011330033003311332222003x1033221111001133000033113311330022000x1033110011110011330033003311332222000x1033221111001133000033113311330022001x1033110011110011330033003311332222001x1033221111001133000033113311330022002x1033110011110011330033003311332222002x1200221122001122223322223333330022003x1222331100220033222233110033222222003x1200221122001122223322223333330022000x1222331100220033222233110033222222000x1200221122001122223322223333330022001x1222331100220033222233110033222222001x1200221122001122223322223333330022002x1222331100220033222233110033222222002x1211002200112200220033002211223322003x1211112222330000000000220011222222333x1211002200112200220033002211223322000x1211112222330000000000220011222222330x1211002200112200220033002211223322001x1211112222330000000000220011222222331x1211002200112200220033002211223322002x1211112222330000000000220011222222332x1311333322113311002211000000220033003x1300333311331111223322002200001100003x1311333322113311002211000000220033000x1300333311331111223322002200001100000x1311333322113311002211000000220033001x1300333311331111223322002200001100001x1311333322113311002211000000220033002x1300333311331111223322002200001100002x1300220033001100330000001133330033003x1300113333000000003300333311220000003x1300220033001100330000001133330033000x1300113333000000003300333311220000000x1300220033001100330000001133330033001x1300113333000000003300333311220000001x1300220033001100330000001133330033002x1300113333000000003300333311220000002x1300330022110000113322331100111133003x1300333311110000001111223333001122003x1300330022110000113322331100111133000x1300333311110000001111223333001122000x1300330022110000113322331100111133001x1300333311110000001111223333001122001x1300330022110000113322331100111133002x1300333311110000001111223333001122002x1111110000113311332233002211001100113x1111110000330011001122333311110011223x1111110000113311332233002211001100110x1111110000330011001122333311110011220x1111110000113311332233002211001100111x1111110000330011001122333311110011221x1111110000113311332233002211001100112x1111110000330011001122333311110011222x1022332233000011333333332233221100113x1000333333111133330033222211220022333x1022332233000011333333332233221100110x1000333333111133330033222211220022330x1022332233000011333333332233221100111x1000333333111133330033222211220022331x1022332233000011333333332233221100112x1000333333111133330033222211220022332x1300333300223333110022330011113300113x1333331122003333330011001100003311223x1300333300223333110022330011113300110x1333331122003333330011001100003311220x1300333300223333110022330011113300111x1333331122003333330011001100003311221x1300333300223333110022330011113300112x1333331122003333330011001100003311222x1311113333222211001133333300330011113x1311001111332211110000332233333333113x1311113333222211001133333300330011110x1311001111332211110000332233333333110x1311113333222211001133333300330011111x1311001111332211110000332233333333111x1311113333222211001133333300330011112x1311001111332211110000332233333333112x1100220011332211113333223311223311113x1111111111111100333322220033332222333x1100220011332211113333223311223311110x1111111111111100333322220033332222330x1100220011332211113333223311223311111x1111111111111100333322220033332222331x1100220011332211113333223311223311112x1111111111111100333322220033332222332x1133003333332233113300002200330022113x1100001133332233332200002233001133333x1133003333332233113300002200330022110x1100001133332233332200002233001133330x1133003333332233113300002200330022111x1100001133332233332200002233001133331x1133003333332233113300002200330022112x1100001133332233332200002233001133332x1200220022112222002233112233002222113x1200332200112200223322110022222222113x1200220022112222002233112233002222110x1200332200112200223322110022222222110x1200220022112222002233112233002222111x1200332200112200223322110022222222111x1200220022112222002233112233002222112x1200332200112200223322110022222222112x1133330011223333222211002222333322113x1133112233332233332200112200332222113x1133330011223333222211002222333322110x1133112233332233332200112200332222110x1133330011223333222211002222333322111x1133112233332233332200112200332222111x1133330011223333222211002222333322112x1133112233332233332200112200332222112x1333113311333300001122002233333322113x1311332211003333222200003333113333113x1333113311333300001122002233333322110x1311332211003333222200003333113333110x1333113311333300001122002233333322111x1311332211003333222200003333113333111x1333113311333300001122002233333322112x1311332211003333222200003333113333112x1100220022331122111133223322110033113x1122220000330022221122331133113311113x1100220022331122111133223322110033110x1122220000330022221122331133113311110x1100220022331122111133223322110033111x1122220000330022221122331133113311111x1100220022331122111133223322110033112x1122220000330022221122331133113311112x1300000011221122113311002211330033113x1333111111112200110022332200330000113x1300000011221122113311002211330033110x1333111111112200110022332200330000110x1300000011221122113311002211330033111x1333111111112200110022332200330000111x1300000011221122113311002211330033112x1333111111112200110022332200330000112x1033332222002222222211333300221133113x1033222200332200221133223311332222113x1033332222002222222211333300221133110x1033222200332200221133223311332222110x1033332222002222222211333300221133111x1033222200332200221133223311332222111x1033332222002222222211333300221133112x1033222200332200221133223311332222112x1011112200111111002200002200110000223x1011221100111122111122220000000000003x1011112200111111002200002200110000220x1011221100111122111122220000000000000x1011112200111111002200002200110000221x1011221100111122111122220000000000001x1011112200111111002200002200110000222x1011221100111122111122220000000000002x1333002233001111112233002233110000223x1322003300330011222211110033331100223x1333002233001111112233002233110000220x1322003300330011222211110033331100220x1333002233001111112233002233110000221x1322003300330011222211110033331100221x1333002233001111112233002233110000222x1322003300330011222211110033331100222x1022221100003311330000113333110000223x1011001122001111000033333322000033223x1022221100003311330000113333110000220x1011001122001111000033333322000033220x1022221100003311330000113333110000221x1011001122001111000033333322000033221x1022221100003311330000113333110000222x1011001122001111000033333322000033222x1300001111223333111133113300331100223x1333001122220000003311111111333333113x1300001111223333111133113300331100220x1333001122220000003311111111333333110x1300001111223333111133113300331100221x1333001122220000003311111111333333111x1300001111223333111133113300331100222x1333001122220000003311111111333333112x1222113333331133333322112222112200223x1222223333333311333311112211220022223x1222113333331133333322112222112200220x1222223333333311333311112211220022220x1222113333331133333322112222112200221x1222223333333311333311112211220022221x1222113333331133333322112222112200222x1222223333333311333311112211220022222x1000002200112211002200110022222200223x1011112222000000222200000000222211223x1000002200112211002200110022222200220x1011112222000000222200000000222211220x1000002200112211002200110022222200221x1011112222000000222200000000222211221x1000002200112211002200110022222200222x1011112222000000222200000000222211222x1100111100221111002233330022003300223x1111000022001100223322220033003311113x1100111100221111002233330022003300220x1111000022001100223322220033003311110x1100111100221111002233330022003300221x1111000022001100223322220033003311111x1100111100221111002233330022003300222x1111000022001100223322220033003311112x1322000022220022333300330011113300223x1300000033111122003333002200332222223x1322000022220022333300330011113300220x1300000033111122003333002200332222220x1322000022220022333300330011113300221x1300000033111122003333002200332222221x1322000022220022333300330011113300222x1300000033111122003333002200332222222x1322111133222233002211223311223300223x1322001100331111223311222233222222333x1322111133222233002211223311223300220x1322001100331111223311222233222222330x1322111133222233002211223311223300221x1322001100331111223311222233222222331x1322111133222233002211223311223300222x1322001100331111223311222233222222332x1233000033221133221133332222223300223x1233332233112222000033003333112222223x1233000033221133221133332222223300220x1233332233112222000033003333112222220x1233000033221133221133332222223300221x1233332233112222000033003333112222221x1233000033221133221133332222223300222x1233332233112222000033003333112222222x1222002233111100221111003322223300223x1222222200003311112211331122002233003x1222002233111100221111003322223300220x1222222200003311112211331122002233000x1222002233111100221111003322223300221x1222222200003311112211331122002233001x1222002233111100221111003322223300222x1222222200003311112211331122002233002x1033331100221133221133110033220011223x1033001133001111332222221111003333223x1033331100221133221133110033220011220x1033001133001111332222221111003333220x1033331100221133221133110033220011221x1033001133001111332222221111003333221x1033331100221133221133110033220011222x1033001133001111332222221111003333222x1311330000002211331100222200332211223x1311113322223300111122223300000000223x1311330000002211331100222200332211220x1311113322223300111122223300000000220x1311330000002211331100222200332211221x1311113322223300111122223300000000221x1311330000002211331100222200332211222x1311113322223300111122223300000000222x1233112233221100110022002211003311223x1233220022330000111111220022331111223x1233112233221100110022002211003311220x1233220022330000111111220022331111220x1233112233221100110022002211003311221x1233220022330000111111220022331111221x1233112233221100110022002211003311222x1233220022330000111111220022331111222x1211330033113311223322002211333311223x1211113322003300332233221133331111223x1211330033113311223322002211333311220x1211113322003300332233221133331111220x1211330033113311223322002211333311221x1211113322003300332233221133331111221x1211330033113311223322002211333311222x1211113322003300332233221133331111222x1233003322223333333322220022220022223x1233220000332222332233332233002222223x1233003322223333333322220022220022220x1233220000332222332233332233002222220x1233003322223333333322220022220022221x1233220000332222332233332233002222221x1233003322223333333322220022220022222x1233220000332222332233332233002222222x1133221111002222332233221133330022223x1122330033112222001122222211333322333x1133221111002222332233221133330022220x1122330033112222001122222211333322330x1133221111002222332233221133330022221x1122330033112222001122222211333322331x1133221111002222332233221133330022222x1122330033112222001122222211333322332x1333003311220033003333002222110000333x1300333311003322000000332200332211333x1333003311220033003333002222110000330x1300333311003322000000332200332211330x1333003311220033003333002222110000331x1300333311003322000000332200332211331x1333003311220033003333002222110000332x1300333311003322000000332200332211332x1333001111332233331100112233110000333x1311333322110033220000331133111100333x1333001111332233331100112233110000330x1311333322110033220000331133111100330x1333001111332233331100112233110000331x1311333322110033220000331133111100331x1333001111332233331100112233110000332x1311333322110033220000331133111100332x1200222200221133220022333333001100333x1222332233000011110022222200333300333x1200222200221133220022333333001100330x1222332233000011110022222200333300330x1200222200221133220022333333001100331x1222332233000011110022222200333300331x1200222200221133220022333333001100332x1222332233000011110022222200333300332x1233331122112233002222330000222200333x1222112222332200002233112200333300333x1233331122112233002222330000222200330x1222112222332200002233112200333300330x1233331122112233002222330000222200331x1222112222332200002233112200333300331x1233331122112233002222330000222200332x1222112222332200002233112200333300332x1100113300003333003300222233110011333x1133000000331100333311330000222211333x1100113300003333003300222233110011330x1133000000331100333311330000222211330x1100113300003333003300222233110011331x1133000000331100333311330000222211331x1100113300003333003300222233110011332x1133000000331100333311330000222211332x1333221133113311001111333333331111333x1333333311001133112233113311331111333x1333221133113311001111333333331111330x1333333311001133112233113311331111330x1333221133113311001111333333331111331x1333333311001133112233113311331111331x1333221133113311001111333333331111332x1333333311001133112233113311331111332x1022000033000033003311002233112211333x1000331122113311333322002200000000333x1022000033000033003311002233112211330x1000331122113311333322002200000000330x1022000033000033003311002233112211331x1000331122113311333322002200000000331x1022000033000033003311002233112211332x1000331122113311333322002200000000332x1200223322330011223311330011332211333x1233332233000011223322223311110011333x1200223322330011223311330011332211330x1233332233000011223322223311110011330x1200223322330011223311330011332211331x1233332233000011223322223311110011331x1200223322330011223311330011332211332x1233332233000011223322223311110011332x1333001133113333000011331122000022333x1311331122113333003322000000001133333x1333001133113333000011331122000022330x1311331122113333003322000000001133330x1333001133113333000011331122000022331x1311331122113333003322000000001133331x1333001133113333000011331122000022332x1311331122113333003322000000001133332x1011112211113300333333110022110022333x1000333311111111223322330011220033113x1011112211113300333333110022110022330x1000333311111111223322330011220033110x1011112211113300333333110022110022331x1000333311111111223322330011220033111x1011112211113300333333110022110022332x1000333311111111223322330011220033112x1033332200112211330000000022220022333x1000000033330033110022222222003322113x1033332200112211330000000022220022330x1000000033330033110022222222003322110x1033332200112211330000000022220022331x1000000033330033110022222222003322111x1033332200112211330000000022220022332x1000000033330033110022222222003322112x1300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x1022000033002200221133222211001122333x1011110011220022223322000000223322333x1022000033002200221133222211001122330x1011110011220022223322000000223322330x1022000033002200221133222211001122331x1011110011220022223322000000223322331x1022000033002200221133222211001122332x1011110011220022223322000000223322332x1133110011110022330033113333002222333x1100110022003322223311331111003333333x1133110011110022330033113333002222330x1100110022003322223311331111003333330x1133110011110022330033113333002222331x1100110022003322223311331111003333331x1133110011110022330033113333002222332x1100110022003322223311331111003333332x1311000011331100110022111111332222333x1333001133222200000033111122111111113x1311000011331100110022111111332222330x1333001133222200000033111122111111110x1311000011331100110022111111332222331x1333001133222200000033111122111111111x1311000011331100110022111111332222332x1333001133222200000033111122111111112x1333330033002222113322112200113322333x1333222211332233112222330000001133333x1333330033002222113322112200113322330x1333222211332233112222330000001133330x1333330033002222113322112200113322331x1333222211332233112222330000001133331x1333330033002222113322112200113322332x1333222211332233112222330000001133332x1200220022001100113300330033223322333x1200002222000033220033223300333311113x1200220022001100113300330033223322330x1200002222000033220033223300333311110x1200220022001100113300330033223322331x1200002222000033220033223300333311111x1200220022001100113300330033223322332x1200002222000033220033223300333311112x1022003300222200332233110000333322333x1000332233222233220000333322110000333x1022003300222200332233110000333322330x1000332233222233220000333322110000330x1022003300222200332233110000333322331x1000332233222233220000333322110000331x1022003300222200332233110000333322332x1000332233222233220000333322110000332x1300112233002233113311000022002233333x1333113300002222000033222211003333113x1300112233002233113311000022002233330x1333113300002222000033222211003333110x1300112233002233113311000022002233331x1333113300002222000033222211003333111x1300112233002233113311000022002233332x1333113300002222000033222211003333112x1022001111332233003322002200223333333x1033331111003333002222222233220000333x1022001111332233003322002200223333330x1033331111003333002222222233220000330x1022001111332233003322002200223333331x1033331111003333002222222233220000331x1022001111332233003322002200223333332x1033331111003333002222222233220000332x111122331111333333002233330011110000003x113333110033333322000011111111223300003x111122331111333333002233330011110000000x113333110033333322000011111111223300000x111122331111333333002233330011110000001x113333110033333322000011111111223300001x111122331111333333002233330011110000002x113333110033333322000011111111223300002x121122331111333333002233330011110000003x123333110033333322000011111111223300003x121122331111333333002233330011110000000x123333110033333322000011111111223300000x121122331111333333002233330011110000001x123333110033333322000011111111223300001x121122331111333333002233330011110000002x123333110033333322000011111111223300002x131122331111333333002233330011110000003x133333110033333322000011111111223300003x131122331111333333002233330011110000000x133333110033333322000011111111223300000x131122331111333333002233330011110000001x133333110033333322000011111111223300001x131122331111333333002233330011110000002x133333110033333322000011111111223300002x101122331111333333002233330011110000003x103333110033333322000011111111223300003x101122331111333333002233330011110000000x103333110033333322000011111111223300000x101122331111333333002233330011110000001x103333110033333322000011111111223300001x101122331111333333002233330011110000002x103333110033333322000011111111223300002x113322330022002211331100113311222222003x112222332200000011111122332233221133003x113322330022002211331100113311222222000x112222332200000011111122332233221133000x113322330022002211331100113311222222001x112222332200000011111122332233221133001x113322330022002211331100113311222222002x112222332200000011111122332233221133002x123322330022002211331100113311222222003x122222332200000011111122332233221133003x123322330022002211331100113311222222000x122222332200000011111122332233221133000x123322330022002211331100113311222222001x122222332200000011111122332233221133001x123322330022002211331100113311222222002x122222332200000011111122332233221133002x133322330022002211331100113311222222003x132222332200000011111122332233221133003x133322330022002211331100113311222222000x132222332200000011111122332233221133000x133322330022002211331100113311222222001x132222332200000011111122332233221133001x133322330022002211331100113311222222002x132222332200000011111122332233221133002x103322330022002211331100113311222222003x102222332200000011111122332233221133003x103322330022002211331100113311222222000x102222332200000011111122332233221133000x103322330022002211331100113311222222001x102222332200000011111122332233221133001x103322330022002211331100113311222222002x102222332200000011111122332233221133002x110022223300113311113322331133110000113x113300001100002233331122331111112233113x110022223300113311113322331133110000110x113300001100002233331122331111112233110x110022223300113311113322331133110000111x113300001100002233331122331111112233111x110022223300113311113322331133110000112x113300001100002233331122331111112233112x120022223300113311113322331133110000113x123300001100002233331122331111112233113x120022223300113311113322331133110000110x123300001100002233331122331111112233110x120022223300113311113322331133110000111x123300001100002233331122331111112233111x120022223300113311113322331133110000112x123300001100002233331122331111112233112x130022223300113311113322331133110000113x133300001100002233331122331111112233113x130022223300113311113322331133110000110x133300001100002233331122331111112233110x130022223300113311113322331133110000111x133300001100002233331122331111112233111x130022223300113311113322331133110000112x133300001100002233331122331111112233112x100022223300113311113322331133110000113x103300001100002233331122331111112233113x100022223300113311113322331133110000110x103300001100002233331122331111112233110x100022223300113311113322331133110000111x103300001100002233331122331111112233111x100022223300113311113322331133110000112x103300001100002233331122331111112233112x110022000022112233110011113300112200113x113311000000222222223311001111110000113x110022000022112233110011113300112200110x113311000000222222223311001111110000110x110022000022112233110011113300112200111x113311000000222222223311001111110000111x110022000022112233110011113300112200112x113311000000222222223311001111110000112x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x130022000022112233110011113300112200113x133311000000222222223311001111110000113x130022000022112233110011113300112200110x133311000000222222223311001111110000110x130022000022112233110011113300112200111x133311000000222222223311001111110000111x130022000022112233110011113300112200112x133311000000222222223311001111110000112x100022000022112233110011113300112200113x103311000000222222223311001111110000113x100022000022112233110011113300112200110x103311000000222222223311001111110000110x100022000022112233110011113300112200111x103311000000222222223311001111110000111x100022000022112233110011113300112200112x103311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x121133223300111100331133332211000022113x123333003311221133001122221100003311113x121133223300111100331133332211000022110x123333003311221133001122221100003311110x121133223300111100331133332211000022111x123333003311221133001122221100003311111x121133223300111100331133332211000022112x123333003311221133001122221100003311112x131133223300111100331133332211000022113x133333003311221133001122221100003311113x131133223300111100331133332211000022110x133333003311221133001122221100003311110x131133223300111100331133332211000022111x133333003311221133001122221100003311111x131133223300111100331133332211000022112x133333003311221133001122221100003311112x101133223300111100331133332211000022113x103333003311221133001122221100003311113x101133223300111100331133332211000022110x103333003311221133001122221100003311110x101133223300111100331133332211000022111x103333003311221133001122221100003311111x101133223300111100331133332211000022112x103333003311221133001122221100003311112x110022113311003311113333222233330022113x111122003333332222220000333311331111113x110022113311003311113333222233330022110x111122003333332222220000333311331111110x110022113311003311113333222233330022111x111122003333332222220000333311331111111x110022113311003311113333222233330022112x111122003333332222220000333311331111112x120022113311003311113333222233330022113x121122003333332222220000333311331111113x120022113311003311113333222233330022110x121122003333332222220000333311331111110x120022113311003311113333222233330022111x121122003333332222220000333311331111111x120022113311003311113333222233330022112x121122003333332222220000333311331111112x130022113311003311113333222233330022113x131122003333332222220000333311331111113x130022113311003311113333222233330022110x131122003333332222220000333311331111110x130022113311003311113333222233330022111x131122003333332222220000333311331111111x130022113311003311113333222233330022112x131122003333332222220000333311331111112x100022113311003311113333222233330022113x101122003333332222220000333311331111113x100022113311003311113333222233330022110x101122003333332222220000333311331111110x100022113311003311113333222233330022111x101122003333332222220000333311331111111x100022113311003311113333222233330022112x101122003333332222220000333311331111112x111133112233003311002211330022112222113x113333111100112200331133002222221111223x111133112233003311002211330022112222110x113333111100112200331133002222221111220x111133112233003311002211330022112222111x113333111100112200331133002222221111221x111133112233003311002211330022112222112x113333111100112200331133002222221111222x121133112233003311002211330022112222113x123333111100112200331133002222221111223x121133112233003311002211330022112222110x123333111100112200331133002222221111220x121133112233003311002211330022112222111x123333111100112200331133002222221111221x121133112233003311002211330022112222112x123333111100112200331133002222221111222x131133112233003311002211330022112222113x133333111100112200331133002222221111223x131133112233003311002211330022112222110x133333111100112200331133002222221111220x131133112233003311002211330022112222111x133333111100112200331133002222221111221x131133112233003311002211330022112222112x133333111100112200331133002222221111222x101133112233003311002211330022112222113x103333111100112200331133002222221111223x101133112233003311002211330022112222110x103333111100112200331133002222221111220x101133112233003311002211330022112222111x103333111100112200331133002222221111221x101133112233003311002211330022112222112x103333111100112200331133002222221111222x110022330011330011003300110000222222113x113322000000112222223300000000331111113x110022330011330011003300110000222222110x113322000000112222223300000000331111110x110022330011330011003300110000222222111x113322000000112222223300000000331111111x110022330011330011003300110000222222112x113322000000112222223300000000331111112x120022330011330011003300110000222222113x123322000000112222223300000000331111113x120022330011330011003300110000222222110x123322000000112222223300000000331111110x120022330011330011003300110000222222111x123322000000112222223300000000331111111x120022330011330011003300110000222222112x123322000000112222223300000000331111112x130022330011330011003300110000222222113x133322000000112222223300000000331111113x130022330011330011003300110000222222110x133322000000112222223300000000331111110x130022330011330011003300110000222222111x133322000000112222223300000000331111111x130022330011330011003300110000222222112x133322000000112222223300000000331111112x100022330011330011003300110000222222113x103322000000112222223300000000331111113x100022330011330011003300110000222222110x103322000000112222223300000000331111110x100022330011330011003300110000222222111x103322000000112222223300000000331111111x100022330011330011003300110000222222112x103322000000112222223300000000331111112x111100330011113311330033330033222233113x113333223300333322330000330011111111113x111100330011113311330033330033222233110x113333223300333322330000330011111111110x111100330011113311330033330033222233111x113333223300333322330000330011111111111x111100330011113311330033330033222233112x113333223300333322330000330011111111112x121100330011113311330033330033222233113x123333223300333322330000330011111111113x121100330011113311330033330033222233110x123333223300333322330000330011111111110x121100330011113311330033330033222233111x123333223300333322330000330011111111111x121100330011113311330033330033222233112x123333223300333322330000330011111111112x131100330011113311330033330033222233113x133333223300333322330000330011111111113x131100330011113311330033330033222233110x133333223300333322330000330011111111110x131100330011113311330033330033222233111x133333223300333322330000330011111111111x131100330011113311330033330033222233112x133333223300333322330000330011111111112x101100330011113311330033330033222233113x103333223300333322330000330011111111113x101100330011113311330033330033222233110x103333223300333322330000330011111111110x101100330011113311330033330033222233111x103333223300333322330000330011111111111x101100330011113311330033330033222233112x103333223300333322330000330011111111112x113333002233333300223311331122330000223x111100003333223333003333112222003333223x113333002233333300223311331122330000220x111100003333223333003333112222003333220x113333002233333300223311331122330000221x111100003333223333003333112222003333221x113333002233333300223311331122330000222x111100003333223333003333112222003333222x123333002233333300223311331122330000223x121100003333223333003333112222003333223x123333002233333300223311331122330000220x121100003333223333003333112222003333220x123333002233333300223311331122330000221x121100003333223333003333112222003333221x123333002233333300223311331122330000222x121100003333223333003333112222003333222x133333002233333300223311331122330000223x131100003333223333003333112222003333223x133333002233333300223311331122330000220x131100003333223333003333112222003333220x133333002233333300223311331122330000221x131100003333223333003333112222003333221x133333002233333300223311331122330000222x131100003333223333003333112222003333222x103333002233333300223311331122330000223x101100003333223333003333112222003333223x103333002233333300223311331122330000220x101100003333223333003333112222003333220x103333002233333300223311331122330000221x101100003333223333003333112222003333221x103333002233333300223311331122330000222x101100003333223333003333112222003333222x110022221122332233222233330033221133223x113311222222333322003311222200223333223x110022221122332233222233330033221133220x113311222222333322003311222200223333220x110022221122332233222233330033221133221x113311222222333322003311222200223333221x110022221122332233222233330033221133222x113311222222333322003311222200223333222x120022221122332233222233330033221133223x123311222222333322003311222200223333223x120022221122332233222233330033221133220x123311222222333322003311222200223333220x120022221122332233222233330033221133221x123311222222333322003311222200223333221x120022221122332233222233330033221133222x123311222222333322003311222200223333222x130022221122332233222233330033221133223x133311222222333322003311222200223333223x130022221122332233222233330033221133220x133311222222333322003311222200223333220x130022221122332233222233330033221133221x133311222222333322003311222200223333221x130022221122332233222233330033221133222x133311222222333322003311222200223333222x100022221122332233222233330033221133223x103311222222333322003311222200223333223x100022221122332233222233330033221133220x103311222222333322003311222200223333220x100022221122332233222233330033221133221x103311222222333322003311222200223333221x100022221122332233222233330033221133222x103311222222333322003311222200223333222x112200222200001133001122112211000000333x111111220033222211001122000022000000333x112200222200001133001122112211000000330x111111220033222211001122000022000000330x112200222200001133001122112211000000331x111111220033222211001122000022000000331x112200222200001133001122112211000000332x111111220033222211001122000022000000332x122200222200001133001122112211000000333x121111220033222211001122000022000000333x122200222200001133001122112211000000330x121111220033222211001122000022000000330x122200222200001133001122112211000000331x121111220033222211001122000022000000331x122200222200001133001122112211000000332x121111220033222211001122000022000000332x132200222200001133001122112211000000333x131111220033222211001122000022000000333x132200222200001133001122112211000000330x131111220033222211001122000022000000330x132200222200001133001122112211000000331x131111220033222211001122000022000000331x132200222200001133001122112211000000332x131111220033222211001122000022000000332x102200222200001133001122112211000000333x101111220033222211001122000022000000333x102200222200001133001122112211000000330x101111220033222211001122000022000000330x102200222200001133001122112211000000331x101111220033222211001122000022000000331x102200222200001133001122112211000000332x101111220033222211001122000022000000332x111133002200110011002200222233222200333x113311330000220000002222003311222222113x111133002200110011002200222233222200330x113311330000220000002222003311222222110x111133002200110011002200222233222200331x113311330000220000002222003311222222111x111133002200110011002200222233222200332x113311330000220000002222003311222222112x121133002200110011002200222233222200333x123311330000220000002222003311222222113x121133002200110011002200222233222200330x123311330000220000002222003311222222110x121133002200110011002200222233222200331x123311330000220000002222003311222222111x121133002200110011002200222233222200332x123311330000220000002222003311222222112x131133002200110011002200222233222200333x133311330000220000002222003311222222113x131133002200110011002200222233222200330x133311330000220000002222003311222222110x131133002200110011002200222233222200331x133311330000220000002222003311222222111x131133002200110011002200222233222200332x133311330000220000002222003311222222112x101133002200110011002200222233222200333x103311330000220000002222003311222222113x101133002200110011002200222233222200330x103311330000220000002222003311222222110x101133002200110011002200222233222200331x103311330000220000002222003311222222111x101133002200110011002200222233222200332x103311330000220000002222003311222222112x110011221122331100222233000011332200333x111133220033112222113322112200000000333x110011221122331100222233000011332200330x111133220033112222113322112200000000330x110011221122331100222233000011332200331x111133220033112222113322112200000000331x110011221122331100222233000011332200332x111133220033112222113322112200000000332x120011221122331100222233000011332200333x121133220033112222113322112200000000333x120011221122331100222233000011332200330x121133220033112222113322112200000000330x120011221122331100222233000011332200331x121133220033112222113322112200000000331x120011221122331100222233000011332200332x121133220033112222113322112200000000332x130011221122331100222233000011332200333x131133220033112222113322112200000000333x130011221122331100222233000011332200330x131133220033112222113322112200000000330x130011221122331100222233000011332200331x131133220033112222113322112200000000331x130011221122331100222233000011332200332x131133220033112222113322112200000000332x100011221122331100222233000011332200333x101133220033112222113322112200000000333x100011221122331100222233000011332200330x101133220033112222113322112200000000330x100011221122331100222233000011332200331x101133220033112222113322112200000000331x100011221122331100222233000011332200332x101133220033112222113322112200000000332x111100221133222200110022002211110011333x112211332200112200001111221122001100333x111100221133222200110022002211110011330x112211332200112200001111221122001100330x111100221133222200110022002211110011331x112211332200112200001111221122001100331x111100221133222200110022002211110011332x112211332200112200001111221122001100332x121100221133222200110022002211110011333x122211332200112200001111221122001100333x121100221133222200110022002211110011330x122211332200112200001111221122001100330x121100221133222200110022002211110011331x122211332200112200001111221122001100331x121100221133222200110022002211110011332x122211332200112200001111221122001100332x131100221133222200110022002211110011333x132211332200112200001111221122001100333x131100221133222200110022002211110011330x132211332200112200001111221122001100330x131100221133222200110022002211110011331x132211332200112200001111221122001100331x131100221133222200110022002211110011332x132211332200112200001111221122001100332x101100221133222200110022002211110011333x102211332200112200001111221122001100333x101100221133222200110022002211110011330x102211332200112200001111221122001100330x101100221133222200110022002211110011331x102211332200112200001111221122001100331x101100221133222200110022002211110011332x102211332200112200001111221122001100332x111133223300331111002211002222110011333x112200221133111111112233001100332200333x111133223300331111002211002222110011330x112200221133111111112233001100332200330x111133223300331111002211002222110011331x112200221133111111112233001100332200331x111133223300331111002211002222110011332x112200221133111111112233001100332200332x121133223300331111002211002222110011333x122200221133111111112233001100332200333x121133223300331111002211002222110011330x122200221133111111112233001100332200330x121133223300331111002211002222110011331x122200221133111111112233001100332200331x121133223300331111002211002222110011332x122200221133111111112233001100332200332x131133223300331111002211002222110011333x132200221133111111112233001100332200333x131133223300331111002211002222110011330x132200221133111111112233001100332200330x131133223300331111002211002222110011331x132200221133111111112233001100332200331x131133223300331111002211002222110011332x132200221133111111112233001100332200332x101133223300331111002211002222110011333x102200221133111111112233001100332200333x101133223300331111002211002222110011330x102200221133111111112233001100332200330x101133223300331111002211002222110011331x102200221133111111112233001100332200331x101133223300331111002211002222110011332x102200221133111111112233001100332200332x113333332211333322223300221100110022333x112211331122333300332211222200003333333x113333332211333322223300221100110022330x112211331122333300332211222200003333330x113333332211333322223300221100110022331x112211331122333300332211222200003333331x113333332211333322223300221100110022332x112211331122333300332211222200003333332x123333332211333322223300221100110022333x122211331122333300332211222200003333333x123333332211333322223300221100110022330x122211331122333300332211222200003333330x123333332211333322223300221100110022331x122211331122333300332211222200003333331x123333332211333322223300221100110022332x122211331122333300332211222200003333332x133333332211333322223300221100110022333x132211331122333300332211222200003333333x133333332211333322223300221100110022330x132211331122333300332211222200003333330x133333332211333322223300221100110022331x132211331122333300332211222200003333331x133333332211333322223300221100110022332x132211331122333300332211222200003333332x103333332211333322223300221100110022333x102211331122333300332211222200003333333x103333332211333322223300221100110022330x102211331122333300332211222200003333330x103333332211333322223300221100110022331x102211331122333300332211222200003333331x103333332211333322223300221100110022332x102211331122333300332211222200003333332x113333002233002211222200002200220022333x110033220000220022003300333322221122223x113333002233002211222200002200220022330x110033220000220022003300333322221122220x113333002233002211222200002200220022331x110033220000220022003300333322221122221x113333002233002211222200002200220022332x110033220000220022003300333322221122222x123333002233002211222200002200220022333x120033220000220022003300333322221122223x123333002233002211222200002200220022330x120033220000220022003300333322221122220x123333002233002211222200002200220022331x120033220000220022003300333322221122221x123333002233002211222200002200220022332x120033220000220022003300333322221122222x133333002233002211222200002200220022333x130033220000220022003300333322221122223x133333002233002211222200002200220022330x130033220000220022003300333322221122220x133333002233002211222200002200220022331x130033220000220022003300333322221122221x133333002233002211222200002200220022332x130033220000220022003300333322221122222x103333002233002211222200002200220022333x100033220000220022003300333322221122223x103333002233002211222200002200220022330x100033220000220022003300333322221122220x103333002233002211222200002200220022331x100033220000220022003300333322221122221x103333002233002211222200002200220022332x100033220000220022003300333322221122222x11301110011103111133111311111131110211132011122111332111011114121112111151011123111211111033221111001133000033113311330022003x1033110011110011330033003311332222003x1033221111001133000033113311330022000x1033110011110011330033003311332222000x1033221111001133000033113311330022001x1033110011110011330033003311332222001x1033221111001133000033113311330022002x1033110011110011330033003311332222002x1133003333332233113300002200330022111x1100001133332233332200002233001133331x1011112200111111002200002200110000220x1011221100111122111122220000000000000x1011112200111111002200002200110000222x1011221100111122111122220000000000002x1033331100221133221133110033220011223x1033001133001111332222221111003333223x1033331100221133221133110033220011220x1033001133001111332222221111003333220x1033331100221133221133110033220011221x1033001133001111332222221111003333221x1033331100221133221133110033220011222x1033001133001111332222221111003333222x1033332200112211330000000022220022333x1000000033330033110022222222003322113x1033332200112211330000000022220022330x1000000033330033110022222222003322110x1033332200112211330000000022220022332x1000000033330033110022222222003322112x1300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x1022001111332233003322002200223333333x1033331111003333002222222233220000333x1022001111332233003322002200223333330x1033331111003333002222222233220000330x1022001111332233003322002200223333331x1033331111003333002222222233220000331x1022001111332233003322002200223333332x1033331111003333002222222233220000332x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x110311132111421111111111910111011119131112301115001117311112202111201111322111331112311112111033221111001133000033113311330022003x1033110011110011330033003311332222003x1033221111001133000033113311330022000x1033110011110011330033003311332222000x1033221111001133000033113311330022001x1033110011110011330033003311332222001x1033221111001133000033113311330022002x1033110011110011330033003311332222002x1133003333332233113300002200330022111x1100001133332233332200002233001133331x1033331100221133221133110033220011223x1033001133001111332222221111003333223x1033331100221133221133110033220011220x1033001133001111332222221111003333220x1033331100221133221133110033220011221x1033001133001111332222221111003333221x1033331100221133221133110033220011222x1033001133001111332222221111003333222x1033332200112211330000000022220022333x1000000033330033110022222222003322113x1300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x110311143211121111711111110111011113131113011100111131111021112011122111133111423111412111033221111001133000033113311330022003x1033110011110011330033003311332222003x1033221111001133000033113311330022000x1033110011110011330033003311332222000x1033221111001133000033113311330022001x1033110011110011330033003311332222001x1033221111001133000033113311330022002x1033110011110011330033003311332222002x1033331100221133221133110033220011223x1033001133001111332222221111003333223x1033331100221133221133110033220011220x1033001133001111332222221111003333220x1033331100221133221133110033220011221x1033001133001111332222221111003333221x1033331100221133221133110033220011222x1033001133001111332222221111003333222x1300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x11031113211121111111111101110111113111130111001113111102111120111221111331111211123111033331100221133221133110033220011223x1033001133001111332222221111003333223x1033331100221133221133110033220011220x1033001133001111332222221111003333220x1033331100221133221133110033220011221x1033001133001111332222221111003333221x1033331100221133221133110033220011222x1033001133001111332222221111003333222x1300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x11031111331111311111011102111211111131113211120111011111211123111130111111112211100111300003333333311220011111133330022333x1333333333331122000022331100001111333x1300003333333311220011111133330022330x1333333333331122000022331100001111330x1300003333333311220011111133330022331x1333333333331122000022331100001111331x1300003333333311220011111133330022332x1333333333331122000022331100001111332x120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x113011100111031111331113111112111201110111111111113111021112311111011132111211112211120022000022112233110011113300112200113x123311000000222222223311001111110000113x120022000022112233110011113300112200110x123311000000222222223311001111110000110x120022000022112233110011113300112200111x123311000000222222223311001111110000111x120022000022112233110011113300112200112x123311000000222222223311001111110000112x111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x1120111021110011121111112111231113111110111011111111113111301112211132111031113311111133223300111100331133332211000022113x113333003311221133001122221100003311113x111133223300111100331133332211000022110x113333003311221133001122221100003311110x111133223300111100331133332211000022111x113333003311221133001122221100003311111x111133223300111100331133332211000022112x113333003311221133001122221100003311112x111111113111321112311113011101111101110311131111331112111100111021111211122111AProVEAProVE 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