000012032132211202x1031203112022002012x1000103223122312323x1000210331223223123x1011021000111213232x1012123301002111201x1011212010000231313x1011020203011023113x1012323112321200332x1033321312322101202x1013311012102021002x1012023010121012301x1020003320313233113x1001203133030233213x1021033101100202233x1011202023103021033x1023111003100110200x1010300011311022100x1031001110313213231x1021210013011133331x1033102200320131011x1000132012123030131x1033110203203231303x1010023330331212033x1100003203131232232x1321301220230023013x1101303033333312100x1330301133013302130x1102032233233310312x1322130223330201133x1102100132312312323x1223010022312331113x1103101001030100331x1130100330011010301x1103310033231332223x1213333021321030323x1111021231111121102x1111131212012211011x1111331321100321330x1323131103011121330x1112112332121000232x1121213020211132023x1113133113300112103x1130303113121310113x1113321323331011013x1113131210231301333x1130212211033222032x1110202302321231232x1132230312201111020x1110302220121312130x1133010313332122103x1130301310312123233x1133232202200113202x1121223303122030022x1200001011202310203x1301000201212001302x1202031002310331320x1233030120203030121x1202110123033100310x1201113301002233010x1203020000303332033x1203003032023300303x1210233120001200031x1302000220321301101x1211012222000311220x1211002321220211200x1211320300223233233x1212201302230323333x1212010210031212231x1213021230201212011x1212011103133122201x1211113301230012221x1212321120320233203x1223033212123212003x1213201033110313231x1210233213300311131x1213312000021023000x1301202210030102030x1220000011310322110x1110022001301122030x1220113232003321000x1322121331002203000x1222011213331313113x1223031213131112313x1223320123322100002x1202022131302302230x1231003210010313113x1131231101013003023x1231013232320332120x1222232303031130231x1231032030133122012x1230120302311230312x1231233210132320013x1212301333123213002x1232003002111113313x1312310100231213013x1232003222210022100x1222200230230212010x1233131220113100020x1212130130102203130x1301121003113000210x1311300310101202010x1310002331021121222x1213203302010112122x1310003202102003102x1013023023010210200x1310011113121311232x1333123111100111212x1310131003332111210x1332131020311101310x1310312000011223112x1301031310120120221x1310332220333102121x1332102223330011231x1311030210103222322x1301221102213303202x1311201200023200203x1300200022013021213x1311320233100030210x1311301033020132200x1312111222222332310x1231212221312231230x1312113203332001103x1301231133103120302x1313323221222210312x1232212130322312312x1320013200103022132x1013213010223302002x1320123230230332232x1332130222233032302x1320132033231000200x1013032020330302102x1320320132013201021x1300232102112330201x1320331201032332000x1020120332301233030x1321131032010012000x1031100110212230300x1321333231332300003x1020231320333031333x1322102332110010222x1112222130013003222x1323020132013331120x1301301122213302330x1323100222132003002x1023030220312301022x1323323123233213212x1323312221233332312x1330112331000100320x1030102203031313010x1331102213200123312x1301320233011112322x1331103233000133231x1333031230011323301x1331300220321001123x1230101312323020103x1333133221220331312x1331221313023321332x1333220011023303200x1303300221023321300x12.10123000012032132211202x1031203112022002012x1000103223122312323x1000210331223223123x1011021000111213232x1012123301002111201x1011212010000231313x1011020203011023113x1012323112321200332x1033321312322101202x1013311012102021002x1012023010121012301x1020003320313233113x1001203133030233213x1021033101100202233x1011202023103021033x1023111003100110200x1010300011311022100x1031001110313213231x1021210013011133331x1033102200320131011x1000132012123030131x1033110203203231303x1010023330331212033x1103101001030100331x1130100330011010301x1111021231111121102x1111131212012211011x1112112332121000232x1121213020211132023x1113133113300112103x1130303113121310113x1113321323331011013x1113131210231301333x1130212211033222032x1110202302321231232x1132230312201111020x1110302220121312130x1133010313332122103x1130301310312123233x1133232202200113202x1121223303122030022x1202031002310331320x1233030120203030121x1202110123033100310x1201113301002233010x1203020000303332033x1203003032023300303x1211012222000311220x1211002321220211200x1211320300223233233x1212201302230323333x1212010210031212231x1213021230201212011x1212011103133122201x1211113301230012221x1212321120320233203x1223033212123212003x1213201033110313231x1210233213300311131x1222011213331313113x1223031213131112313x1223320123322100002x1202022131302302230x1231013232320332120x1222232303031130231x1231032030133122012x1230120302311230312x1231233210132320013x1212301333123213002x1232003222210022100x1222200230230212010x1233131220113100020x1212130130102203130x1301121003113000210x1311300310101202010x1310011113121311232x1333123111100111212x1310131003332111210x1332131020311101310x1310312000011223112x1301031310120120221x1310332220333102121x1332102223330011231x1311030210103222322x1301221102213303202x1311201200023200203x1300200022013021213x1311320233100030210x1311301033020132200x1312113203332001103x1301231133103120302x1320123230230332232x1332130222233032302x1320320132013201021x1300232102112330201x1323020132013331120x1301301122213302330x1323323123233213212x1323312221233332312x1331102213200123312x1301320233011112322x1331103233000133231x1333031230011323301x1333133221220331312x1331221313023321332x1333220011023303200x1303300221023321300x10100003203131232232x10321301220230023013x11100003203131232232x11321301220230023013x12100003203131232232x12321301220230023013x13100003203131232232x13321301220230023013x10101303033333312100x10330301133013302130x11101303033333312100x11330301133013302130x12101303033333312100x12330301133013302130x13101303033333312100x13330301133013302130x10102032233233310312x10322130223330201133x11102032233233310312x11322130223330201133x12102032233233310312x12322130223330201133x13102032233233310312x13322130223330201133x10102100132312312323x10223010022312331113x11102100132312312323x11223010022312331113x12102100132312312323x12223010022312331113x13102100132312312323x13223010022312331113x10103310033231332223x10213333021321030323x11103310033231332223x11213333021321030323x12103310033231332223x12213333021321030323x13103310033231332223x13213333021321030323x10111331321100321330x10323131103011121330x11111331321100321330x11323131103011121330x12111331321100321330x12323131103011121330x13111331321100321330x13323131103011121330x10200001011202310203x10301000201212001302x11200001011202310203x11301000201212001302x12200001011202310203x12301000201212001302x13200001011202310203x13301000201212001302x10210233120001200031x10302000220321301101x11210233120001200031x11302000220321301101x12210233120001200031x12302000220321301101x13210233120001200031x13302000220321301101x10213312000021023000x10301202210030102030x11213312000021023000x11301202210030102030x12213312000021023000x12301202210030102030x13213312000021023000x13301202210030102030x10220000011310322110x10110022001301122030x11220000011310322110x11110022001301122030x12220000011310322110x12110022001301122030x13220000011310322110x13110022001301122030x10220113232003321000x10322121331002203000x11220113232003321000x11322121331002203000x12220113232003321000x12322121331002203000x13220113232003321000x13322121331002203000x10231003210010313113x10131231101013003023x11231003210010313113x11131231101013003023x12231003210010313113x12131231101013003023x13231003210010313113x13131231101013003023x10232003002111113313x10312310100231213013x11232003002111113313x11312310100231213013x12232003002111113313x12312310100231213013x13232003002111113313x13312310100231213013x10310002331021121222x10213203302010112122x11310002331021121222x11213203302010112122x12310002331021121222x12213203302010112122x13310002331021121222x13213203302010112122x10310003202102003102x10013023023010210200x11310003202102003102x11013023023010210200x12310003202102003102x12013023023010210200x13310003202102003102x13013023023010210200x10312111222222332310x10231212221312231230x11312111222222332310x11231212221312231230x12312111222222332310x12231212221312231230x13312111222222332310x13231212221312231230x10313323221222210312x10232212130322312312x11313323221222210312x11232212130322312312x12313323221222210312x12232212130322312312x13313323221222210312x13232212130322312312x10320013200103022132x10013213010223302002x11320013200103022132x11013213010223302002x12320013200103022132x12013213010223302002x13320013200103022132x13013213010223302002x10320132033231000200x10013032020330302102x11320132033231000200x11013032020330302102x12320132033231000200x12013032020330302102x13320132033231000200x13013032020330302102x10320331201032332000x10020120332301233030x11320331201032332000x11020120332301233030x12320331201032332000x12020120332301233030x13320331201032332000x13020120332301233030x10321131032010012000x10031100110212230300x11321131032010012000x11031100110212230300x12321131032010012000x12031100110212230300x13321131032010012000x13031100110212230300x10321333231332300003x10020231320333031333x11321333231332300003x11020231320333031333x12321333231332300003x12020231320333031333x13321333231332300003x13020231320333031333x10322102332110010222x10112222130013003222x11322102332110010222x11112222130013003222x12322102332110010222x12112222130013003222x13322102332110010222x13112222130013003222x10323100222132003002x10023030220312301022x11323100222132003002x11023030220312301022x12323100222132003002x12023030220312301022x13323100222132003002x13023030220312301022x10330112331000100320x10030102203031313010x11330112331000100320x11030102203031313010x12330112331000100320x12030102203031313010x13330112331000100320x13030102203031313010x10331300220321001123x10230101312323020103x11331300220321001123x11230101312323020103x12331300220321001123x12230101312323020103x13331300220321001123x13230101312323020103x1000000011220033221133222211112200220x1033112200331111220022220000220011220x1000000011220033221133222211112200221x1033112200331111220022220000220011221x1000000011220033221133222211112200222x1033112200331111220022220000220011222x1000000011220033221133222211112200223x1033112200331111220022220000220011223x1000001100332222331122223311223322330x1000002211003333112222332222331122330x1000001100332222331122223311223322331x1000002211003333112222332222331122331x1000001100332222331122223311223322332x1000002211003333112222332222331122332x1000001100332222331122223311223322333x1000002211003333112222332222331122333x1011110022110000001111112211332233220x1011221122333300110000221111112200110x1011110022110000001111112211332233221x1011221122333300110000221111112200111x1011110022110000001111112211332233222x1011221122333300110000221111112200112x1011110022110000001111112211332233223x1011221122333300110000221111112200113x1011112211220011000000002233113311330x1011110022002200330011110022331111330x1011112211220011000000002233113311331x1011110022002200330011110022331111331x1011112211220011000000002233113311332x1011110022002200330011110022331111332x1011112211220011000000002233113311333x1011110022002200330011110022331111333x1011223322331111223322112200003333220x1033333322113311223322221100112200220x1011223322331111223322112200003333221x1033333322113311223322221100112200221x1011223322331111223322112200003333222x1033333322113311223322221100112200222x1011223322331111223322112200003333223x1033333322113311223322221100112200223x1011333311110011221100220022110000220x1011220022330011001122110011223300110x1011333311110011221100220022110000221x1011220022330011001122110011223300111x1011333311110011221100220022110000222x1011220022330011001122110011223300112x1011333311110011221100220022110000223x1011220022330011001122110011223300113x1022000000333322003311332233331111330x1000112200331133330033002233332211330x1022000000333322003311332233331111331x1000112200331133330033002233332211331x1022000000333322003311332233331111332x1000112200331133330033002233332211332x1022000000333322003311332233331111333x1000112200331133330033002233332211333x1022110033331100111100002200222233330x1011112200220022331100330022110033330x1022110033331100111100002200222233331x1011112200220022331100330022110033331x1022110033331100111100002200222233332x1011112200220022331100330022110033332x1022110033331100111100002200222233333x1011112200220022331100330022110033333x1022331111110000331100001111002200000x1011003300000011113311110022221100000x1022331111110000331100001111002200001x1011003300000011113311110022221100001x1022331111110000331100001111002200002x1011003300000011113311110022221100002x1022331111110000331100001111002200003x1011003300000011113311110022221100003x1033110000111111003311332211332233110x1022112211000011330011111133333333110x1033110000111111003311332211332233111x1022112211000011330011111133333333111x1033110000111111003311332211332233112x1022112211000011330011111133333333112x1033110000111111003311332211332233113x1022112211000011330011111133333333113x1033331100222200003322001133110011110x1000001133220011221122330033001133110x1033331100222200003322001133110011111x1000001133220011221122330033001133111x1033331100222200003322001133110011112x1000001133220011221122330033001133112x1033331100222200003322001133110011113x1000001133220011221122330033001133113x1033331111002200332200332233113300330x1011000022333333003333112211220033330x1033331111002200332200332233113300331x1011000022333333003333112211220033331x1033331111002200332200332233113300332x1011000022333333003333112211220033332x1033331111002200332200332233113300333x1011000022333333003333112211220033333x1100331100110000110033001100003333110x1133001100003333000011110011003300110x1100331100110000110033001100003333111x1133001100003333000011110011003300111x1100331100110000110033001100003333112x1133001100003333000011110011003300112x1100331100110000110033001100003333113x1133001100003333000011110011003300113x1111110022112233111111111122111100220x1111111133112211220011222211110011110x1111110022112233111111111122111100221x1111111133112211220011222211110011111x1111110022112233111111111122111100222x1111111133112211220011222211110011112x1111110022112233111111111122111100223x1111111133112211220011222211110011113x1111221111223333221122110000002233220x1122112211330022002211111133220022330x1111221111223333221122110000002233221x1122112211330022002211111133220022331x1111221111223333221122110000002233222x1122112211330022002211111133220022332x1111221111223333221122110000002233223x1122112211330022002211111133220022333x1111331133331111333300001111221100330x1133003300331111331122113311001111330x1111331133331111333300001111221100331x1133003300331111331122113311001111331x1111331133331111333300001111221100332x1133003300331111331122113311001111332x1111331133331111333300001111221100333x1133003300331111331122113311001111333x1111333322113322333333110011110011330x1111331133112211002233113300113333330x1111333322113322333333110011110011331x1111331133112211002233113300113333331x1111333322113322333333110011110011332x1111331133112211002233113300113333332x1111333322113322333333110011110011333x1111331133112211002233113300113333333x1133002211222211110033332222220033220x1111002200223300223322112233112233220x1133002211222211110033332222220033221x1111002200223300223322112233112233221x1133002211222211110033332222220033222x1111002200223300223322112233112233222x1133002211222211110033332222220033223x1111002200223300223322112233112233223x1133222233003311222200111111110022000x1111003300222222001122113311221133000x1133222233003311222200111111110022001x1111003300222222001122113311221133001x1133222233003311222200111111110022002x1111003300222222001122113311221133002x1133222233003311222200111111110022003x1111003300222222001122113311221133003x1133330011003311333333221122221100330x1133003300113311003311221122332233330x1133330011003311333333221122221100331x1133003300113311003311221122332233331x1133330011003311333333221122221100332x1133003300113311003311221122332233332x1133330011003311333333221122221100333x1133003300113311003311221122332233333x1133332233222200222200001111332200220x1122112222333300331122220033000022220x1133332233222200222200001111332200221x1122112222333300331122220033000022221x1133332233222200222200001111332200222x1122112222333300331122220033000022222x1133332233222200222200001111332200223x1122112222333300331122220033000022223x1200220033110000223311003333113322000x1233330033001122002200330033001122110x1200220033110000223311003333113322001x1233330033001122002200330033001122111x1200220033110000223311003333113322002x1233330033001122002200330033001122112x1200220033110000223311003333113322003x1233330033001122002200330033001122113x1200221111001122330033331100003311000x1200111111333300110000222233330011000x1200221111001122330033331100003311001x1200111111333300110000222233330011001x1200221111001122330033331100003311002x1200111111333300110000222233330011002x1200221111001122330033331100003311003x1200111111333300110000222233330011003x1200330022000000003300333333220033330x1200330000330033220022333300003300330x1200330022000000003300333333220033331x1200330000330033220022333300003300331x1200330022000000003300333333220033332x1200330000330033220022333300003300332x1200330022000000003300333333220033333x1200330000330033220022333300003300333x1211110011222222220000003311112222000x1211110000223322112222002211112200000x1211110011222222220000003311112222001x1211110000223322112222002211112200001x1211110011222222220000003311112222002x1211110000223322112222002211112200002x1211110011222222220000003311112222003x1211110000223322112222002211112200003x1211113322003300002222332233332233330x1211222200113300222233003322333333330x1211113322003300002222332233332233331x1211222200113300222233003322333333331x1211113322003300002222332233332233332x1211222200113300222233003322333333332x1211113322003300002222332233332233333x1211222200113300222233003322333333333x1211220011002211000033112211222233110x1211330022112233002200112211220011110x1211220011002211000033112211222233111x1211330022112233002200112211220011111x1211220011002211000033112211222233112x1211330022112233002200112211220011112x1211220011002211000033112211222233113x1211330022112233002200112211220011113x1211220011111100331133331122222200110x1211111111333300112233000011222222110x1211220011111100331133331122222200111x1211111111333300112233000011222222111x1211220011111100331133331122222200112x1211111111333300112233000011222222112x1211220011111100331133331122222200113x1211111111333300112233000011222222113x1211223322111122003322002233332200330x1222330033332211221122332211220000330x1211223322111122003322002233332200331x1222330033332211221122332211220000331x1211223322111122003322002233332200332x1222330033332211221122332211220000332x1211223322111122003322002233332200333x1222330033332211221122332211220000333x1211332200110033331111003311332233110x1211002233332211333300003311111133110x1211332200110033331111003311332233111x1211002233332211333300003311111133111x1211332200110033331111003311332233112x1211002233332211333300003311111133112x1211332200110033331111003311332233113x1211002233332211333300003311111133113x1222220011112211333333113311331111330x1222330033112211331133111111223311330x1222220011112211333333113311331111331x1222330033112211331133111111223311331x1222220011112211333333113311331111332x1222330033112211331133111111223311332x1222220011112211333333113311331111333x1222330033112211331133111111223311333x1222333322001122333322221100000000220x1200220022221133113300223300222233000x1222333322001122333322221100000000221x1200220022221133113300223300222233001x1222333322001122333322221100000000222x1200220022221133113300223300222233002x1222333322001122333322221100000000223x1200220022221133113300223300222233003x1233110011332233223322003333221122000x1222222233223300330033111133002233110x1233110011332233223322003333221122001x1222222233223300330033111133002233111x1233110011332233223322003333221122002x1222222233223300330033111133002233112x1233110011332233223322003333221122003x1222222233223300330033111133002233113x1233110033220033001133331122220011220x1233001122003300223311112233003311220x1233110033220033001133331122220011221x1233001122003300223311112233003311221x1233110033220033001133331122220011222x1233001122003300223311112233003311222x1233110033220033001133331122220011223x1233001122003300223311112233003311223x1233112233332211001133223322000011330x1211223300113333331122332211330000220x1233112233332211001133223322000011331x1211223300113333331122332211330000221x1233112233332211001133223322000011332x1211223300113333331122332211330000222x1233112233332211001133223322000011333x1211223300113333331122332211330000223x1233220000332222222211000022221100000x1222222200002233002233002211220011000x1233220000332222222211000022221100001x1222222200002233002233002211220011001x1233220000332222222211000022221100002x1222222200002233002233002211220011002x1233220000332222222211000022221100003x1222222200002233002233002211220011003x1233331133112222001111331100000022000x1211221133001133001100222200331133000x1233331133112222001111331100000022001x1211221133001133001100222200331133001x1233331133112222001111331100000022002x1211221133001133001100222200331133002x1233331133112222001111331100000022003x1211221133001133001100222200331133003x1300111122110000331111330000002211000x1311113300003311001100112200220011000x1300111122110000331111330000002211001x1311113300003311001100112200220011001x1300111122110000331111330000002211002x1311113300003311001100112200220011002x1300111122110000331111330000002211003x1311113300003311001100112200220011003x1311000011111111331122113311112233220x1333331122331111111100001111112211220x1311000011111111331122113311112233221x1333331122331111111100001111112211221x1311000011111111331122113311112233222x1333331122331111111100001111112211222x1311000011111111331122113311112233223x1333331122331111111100001111112211223x1311001133110000333333221111112211000x1333221133110022003311111100113311000x1311001133110000333333221111112211001x1333221133110022003311111100113311001x1311001133110000333333221111112211002x1333221133110022003311111100113311002x1311001133110000333333221111112211003x1333221133110022003311111100113311003x1311003311220000000011112222331111220x1300110033113311001122001122002222110x1311003311220000000011112222331111221x1300110033113311001122001122002222111x1311003311220000000011112222331111222x1300110033113311001122001122002222112x1311003311220000000011112222331111223x1300110033113311001122001122002222113x1311003333222222003333331100221122110x1333221100222222333333000011112233110x1311003333222222003333331100221122111x1333221100222222333333000011112233111x1311003333222222003333331100221122112x1333221100222222333333000011112233112x1311003333222222003333331100221122113x1333221100222222333333000011112233113x1311110033002211001100332222223322220x1300112222111100222211333300332200220x1311110033002211001100332222223322221x1300112222111100222211333300332200221x1311110033002211001100332222223322222x1300112222111100222211333300332200222x1311110033002211001100332222223322223x1300112222111100222211333300332200223x1311112200112200000022332200002200330x1300002200000022220011330022112211330x1311112200112200000022332200002200331x1300002200000022220011330022112211331x1311112200112200000022332200002200332x1300002200000022220011330022112211332x1311112200112200000022332200002200333x1300002200000022220011330022112211333x1311113322002233331100000033002211000x1311113300110033330022001133222200000x1311113322002233331100000033002211001x1311113300110033330022001133222200001x1311113322002233331100000033002211002x1311113300110033330022001133222200002x1311113322002233331100000033002211003x1311113300110033330022001133222200003x1311221111332200333333220000111100330x1300112233111133331100331122003300220x1311221111332200333333220000111100331x1300112233111133331100331122003300221x1311221111332200333333220000111100332x1300112233111133331100331122003300222x1311221111332200333333220000111100333x1300112233111133331100331122003300223x1322001122332233002233003333222233220x1333221133002222222233330033223300220x1322001122332233002233003333222233221x1333221133002222222233330033223300221x1322001122332233002233003333222233222x1333221133002222222233330033223300222x1322001122332233002233003333222233223x1333221133002222222233330033223300223x1322003322001133220011332200110022110x1300002233221100221111223333002200110x1322003322001133220011332200110022111x1300002233221100221111223333002200111x1322003322001133220011332200110022112x1300002233221100221111223333002200112x1322003322001133220011332200110022113x1300002233221100221111223333002200113x1322330022001133220011333333111122000x1300113300111122222211333300223333000x1322330022001133220011333333111122001x1300113300111122222211333300223333001x1322330022001133220011333333111122002x1300113300111122222211333300223333002x1322330022001133220011333333111122003x1300113300111122222211333300223333003x1322333322331122332233332211332211220x1322333311222222112233333333223311220x1322333322331122332233332211332211221x1322333311222222112233333333223311221x1322333322331122332233332211332211222x1322333311222222112233333333223311222x1322333322331122332233332211332211223x1322333311222222112233333333223311223x1333111100222211332200001122333311220x1300113322002233330011111111223322220x1333111100222211332200001122333311221x1300113322002233330011111111223322221x1333111100222211332200001122333311222x1300113322002233330011111111223322222x1333111100222211332200001122333311223x1300113322002233330011111111223322223x1333111100332233330000001133332233110x1333330033112233000011113322333300110x1333111100332233330000001133332233111x1333330033112233000011113322333300111x1333111100332233330000001133332233112x1333330033112233000011113322333300112x1333111100332233330000001133332233113x1333330033112233000011113322333300113x1333331133332222112222003333113311220x1333112222113311330022333322113333220x1333331133332222112222003333113311221x1333112222113311330022333322113333221x1333331133332222112222003333113311222x1333112222113311330022333322113333222x1333331133332222112222003333113311223x1333112222113311330022333322113333223x1333332222000011110022333300332200000x1300333300002222110022333322113300000x1333332222000011110022333300332200001x1300333300002222110022333322113300001x1333332222000011110022333300332200002x1300333300002222110022333322113300002x1333332222000011110022333300332200003x1300333300002222110022333322113300003x101100000000332200331133112233222233220x103322113300112222002233000022330011330x101100000000332200331133112233222233221x103322113300112222002233000022330011331x101100000000332200331133112233222233222x103322113300112222002233000022330011332x101100000000332200331133112233222233223x103322113300112222002233000022330011333x111100000000332200331133112233222233220x113322113300112222002233000022330011330x111100000000332200331133112233222233221x113322113300112222002233000022330011331x111100000000332200331133112233222233222x113322113300112222002233000022330011332x111100000000332200331133112233222233223x113322113300112222002233000022330011333x121100000000332200331133112233222233220x123322113300112222002233000022330011330x121100000000332200331133112233222233221x123322113300112222002233000022330011331x121100000000332200331133112233222233222x123322113300112222002233000022330011332x121100000000332200331133112233222233223x123322113300112222002233000022330011333x131100000000332200331133112233222233220x133322113300112222002233000022330011330x131100000000332200331133112233222233221x133322113300112222002233000022330011331x131100000000332200331133112233222233222x133322113300112222002233000022330011332x131100000000332200331133112233222233223x133322113300112222002233000022330011333x101100113300330033333333333311221100000x103333003300111133330011333300221133000x101100113300330033333333333311221100001x103333003300111133330011333300221133001x101100113300330033333333333311221100002x103333003300111133330011333300221133002x101100113300330033333333333311221100003x103333003300111133330011333300221133003x111100113300330033333333333311221100000x113333003300111133330011333300221133000x111100113300330033333333333311221100001x113333003300111133330011333300221133001x111100113300330033333333333311221100002x113333003300111133330011333300221133002x111100113300330033333333333311221100003x113333003300111133330011333300221133003x121100113300330033333333333311221100000x123333003300111133330011333300221133000x121100113300330033333333333311221100001x123333003300111133330011333300221133001x121100113300330033333333333311221100002x123333003300111133330011333300221133002x121100113300330033333333333311221100003x123333003300111133330011333300221133003x131100113300330033333333333311221100000x133333003300111133330011333300221133000x131100113300330033333333333311221100001x133333003300111133330011333300221133001x131100113300330033333333333311221100002x133333003300111133330011333300221133002x131100113300330033333333333311221100003x133333003300111133330011333300221133003x101100220033222233332233333311003311220x103322221133002222333333002200111133330x101100220033222233332233333311003311221x103322221133002222333333002200111133331x101100220033222233332233333311003311222x103322221133002222333333002200111133332x101100220033222233332233333311003311223x103322221133002222333333002200111133333x111100220033222233332233333311003311220x113322221133002222333333002200111133330x111100220033222233332233333311003311221x113322221133002222333333002200111133331x111100220033222233332233333311003311222x113322221133002222333333002200111133332x111100220033222233332233333311003311223x113322221133002222333333002200111133333x121100220033222233332233333311003311220x123322221133002222333333002200111133330x121100220033222233332233333311003311221x123322221133002222333333002200111133331x121100220033222233332233333311003311222x123322221133002222333333002200111133332x121100220033222233332233333311003311223x123322221133002222333333002200111133333x131100220033222233332233333311003311220x133322221133002222333333002200111133330x131100220033222233332233333311003311221x133322221133002222333333002200111133331x131100220033222233332233333311003311222x133322221133002222333333002200111133332x131100220033222233332233333311003311223x133322221133002222333333002200111133333x101100221100001133223311223311223322330x102222330011000022223311223333111111330x101100221100001133223311223311223322331x102222330011000022223311223333111111331x101100221100001133223311223311223322332x102222330011000022223311223333111111332x101100221100001133223311223311223322333x102222330011000022223311223333111111333x111100221100001133223311223311223322330x112222330011000022223311223333111111330x111100221100001133223311223311223322331x112222330011000022223311223333111111331x111100221100001133223311223311223322332x112222330011000022223311223333111111332x111100221100001133223311223311223322333x112222330011000022223311223333111111333x121100221100001133223311223311223322330x122222330011000022223311223333111111330x121100221100001133223311223311223322331x122222330011000022223311223333111111331x121100221100001133223311223311223322332x122222330011000022223311223333111111332x121100221100001133223311223311223322333x122222330011000022223311223333111111333x131100221100001133223311223311223322330x132222330011000022223311223333111111330x131100221100001133223311223311223322331x132222330011000022223311223333111111331x131100221100001133223311223311223322332x132222330011000022223311223333111111332x131100221100001133223311223311223322333x132222330011000022223311223333111111333x101100333311000033332233113333222222330x102211333333330022113322110033003322330x101100333311000033332233113333222222331x102211333333330022113322110033003322331x101100333311000033332233113333222222332x102211333333330022113322110033003322332x101100333311000033332233113333222222333x102211333333330022113322110033003322333x111100333311000033332233113333222222330x112211333333330022113322110033003322330x111100333311000033332233113333222222331x112211333333330022113322110033003322331x111100333311000033332233113333222222332x112211333333330022113322110033003322332x111100333311000033332233113333222222333x112211333333330022113322110033003322333x121100333311000033332233113333222222330x122211333333330022113322110033003322330x121100333311000033332233113333222222331x122211333333330022113322110033003322331x121100333311000033332233113333222222332x122211333333330022113322110033003322332x121100333311000033332233113333222222333x122211333333330022113322110033003322333x131100333311000033332233113333222222330x132211333333330022113322110033003322330x131100333311000033332233113333222222331x132211333333330022113322110033003322331x131100333311000033332233113333222222332x132211333333330022113322110033003322332x131100333311000033332233113333222222333x132211333333330022113322110033003322333x101111113333113322111100003322113333000x103322331133111100330011111122113333000x101111113333113322111100003322113333001x103322331133111100330011111122113333001x101111113333113322111100003322113333002x103322331133111100330011111122113333002x101111113333113322111100003322113333003x103322331133111100330011111122113333003x111111113333113322111100003322113333000x113322331133111100330011111122113333000x111111113333113322111100003322113333001x113322331133111100330011111122113333001x111111113333113322111100003322113333002x113322331133111100330011111122113333002x111111113333113322111100003322113333003x113322331133111100330011111122113333003x121111113333113322111100003322113333000x123322331133111100330011111122113333000x121111113333113322111100003322113333001x123322331133111100330011111122113333001x121111113333113322111100003322113333002x123322331133111100330011111122113333002x121111113333113322111100003322113333003x123322331133111100330011111122113333003x131111113333113322111100003322113333000x133322331133111100330011111122113333000x131111113333113322111100003322113333001x133322331133111100330011111122113333001x131111113333113322111100003322113333002x133322331133111100330011111122113333002x131111113333113322111100003322113333003x133322331133111100330011111122113333003x102200000000110011112200223311002200330x103300110000002200112211220000113300220x102200000000110011112200223311002200331x103300110000002200112211220000113300221x102200000000110011112200223311002200332x103300110000002200112211220000113300222x102200000000110011112200223311002200333x103300110000002200112211220000113300223x112200000000110011112200223311002200330x113300110000002200112211220000113300220x112200000000110011112200223311002200331x113300110000002200112211220000113300221x112200000000110011112200223311002200332x113300110000002200112211220000113300222x112200000000110011112200223311002200333x113300110000002200112211220000113300223x122200000000110011112200223311002200330x123300110000002200112211220000113300220x122200000000110011112200223311002200331x123300110000002200112211220000113300221x122200000000110011112200223311002200332x123300110000002200112211220000113300222x122200000000110011112200223311002200333x123300110000002200112211220000113300223x132200000000110011112200223311002200330x133300110000002200112211220000113300220x132200000000110011112200223311002200331x133300110000002200112211220000113300221x132200000000110011112200223311002200332x133300110000002200112211220000113300222x132200000000110011112200223311002200333x133300110000002200112211220000113300223x102211002233331122000000112200000033110x103300220000002222003322113300111100110x102211002233331122000000112200000033111x103300220000002222003322113300111100111x102211002233331122000000112200000033112x103300220000002222003322113300111100112x102211002233331122000000112200000033113x103300220000002222003322113300111100113x112211002233331122000000112200000033110x113300220000002222003322113300111100110x112211002233331122000000112200000033111x113300220000002222003322113300111100111x112211002233331122000000112200000033112x113300220000002222003322113300111100112x112211002233331122000000112200000033113x113300220000002222003322113300111100113x122211002233331122000000112200000033110x123300220000002222003322113300111100110x122211002233331122000000112200000033111x123300220000002222003322113300111100111x122211002233331122000000112200000033112x123300220000002222003322113300111100112x122211002233331122000000112200000033113x123300220000002222003322113300111100113x132211002233331122000000112200000033110x133300220000002222003322113300111100110x132211002233331122000000112200000033111x133300220000002222003322113300111100111x132211002233331122000000112200000033112x133300220000002222003322113300111100112x132211002233331122000000112200000033113x133300220000002222003322113300111100113x102211333311220000000022110022330000000x103300112200222211000033001100220033000x102211333311220000000022110022330000001x103300112200222211000033001100220033001x102211333311220000000022110022330000002x103300112200222211000033001100220033002x102211333311220000000022110022330000003x103300112200222211000033001100220033003x112211333311220000000022110022330000000x113300112200222211000033001100220033000x112211333311220000000022110022330000001x113300112200222211000033001100220033001x112211333311220000000022110022330000002x113300112200222211000033001100220033002x112211333311220000000022110022330000003x113300112200222211000033001100220033003x122211333311220000000022110022330000000x123300112200222211000033001100220033000x122211333311220000000022110022330000001x123300112200222211000033001100220033001x122211333311220000000022110022330000002x123300112200222211000033001100220033002x122211333311220000000022110022330000003x123300112200222211000033001100220033003x132211333311220000000022110022330000000x133300112200222211000033001100220033000x132211333311220000000022110022330000001x133300112200222211000033001100220033001x132211333311220000000022110022330000002x133300112200222211000033001100220033002x132211333311220000000022110022330000003x133300112200222211000033001100220033003x102222000000000011113311003322221111000x101111000022220000113300111122220033000x102222000000000011113311003322221111001x101111000022220000113300111122220033001x102222000000000011113311003322221111002x101111000022220000113300111122220033002x102222000000000011113311003322221111003x101111000022220000113300111122220033003x112222000000000011113311003322221111000x111111000022220000113300111122220033000x112222000000000011113311003322221111001x111111000022220000113300111122220033001x112222000000000011113311003322221111002x111111000022220000113300111122220033002x112222000000000011113311003322221111003x111111000022220000113300111122220033003x122222000000000011113311003322221111000x121111000022220000113300111122220033000x122222000000000011113311003322221111001x121111000022220000113300111122220033001x122222000000000011113311003322221111002x121111000022220000113300111122220033002x122222000000000011113311003322221111003x121111000022220000113300111122220033003x132222000000000011113311003322221111000x131111000022220000113300111122220033000x132222000000000011113311003322221111001x131111000022220000113300111122220033001x132222000000000011113311003322221111002x131111000022220000113300111122220033002x132222000000000011113311003322221111003x131111000022220000113300111122220033003x102222001111332233220000333322110000000x103322221122113333110000222200330000000x102222001111332233220000333322110000001x103322221122113333110000222200330000001x102222001111332233220000333322110000002x103322221122113333110000222200330000002x102222001111332233220000333322110000003x103322221122113333110000222200330000003x112222001111332233220000333322110000000x113322221122113333110000222200330000000x112222001111332233220000333322110000001x113322221122113333110000222200330000001x112222001111332233220000333322110000002x113322221122113333110000222200330000002x112222001111332233220000333322110000003x113322221122113333110000222200330000003x122222001111332233220000333322110000000x123322221122113333110000222200330000000x122222001111332233220000333322110000001x123322221122113333110000222200330000001x122222001111332233220000333322110000002x123322221122113333110000222200330000002x122222001111332233220000333322110000003x123322221122113333110000222200330000003x132222001111332233220000333322110000000x133322221122113333110000222200330000000x132222001111332233220000333322110000001x133322221122113333110000222200330000001x132222001111332233220000333322110000002x133322221122113333110000222200330000002x132222001111332233220000333322110000003x133322221122113333110000222200330000003x102233110000332211000011003311331111330x101133112233111100110011330000330022330x102233110000332211000011003311331111331x101133112233111100110011330000330022331x102233110000332211000011003311331111332x101133112233111100110011330000330022332x102233110000332211000011003311331111333x101133112233111100110011330000330022333x112233110000332211000011003311331111330x111133112233111100110011330000330022330x112233110000332211000011003311331111331x111133112233111100110011330000330022331x112233110000332211000011003311331111332x111133112233111100110011330000330022332x112233110000332211000011003311331111333x111133112233111100110011330000330022333x122233110000332211000011003311331111330x121133112233111100110011330000330022330x122233110000332211000011003311331111331x121133112233111100110011330000330022331x122233110000332211000011003311331111332x121133112233111100110011330000330022332x122233110000332211000011003311331111333x121133112233111100110011330000330022333x132233110000332211000011003311331111330x131133112233111100110011330000330022330x132233110000332211000011003311331111331x131133112233111100110011330000330022331x132233110000332211000011003311331111332x131133112233111100110011330000330022332x132233110000332211000011003311331111333x131133112233111100110011330000330022333x102233220000330000221111111111333311330x103311223311001100002233112211330011330x102233220000330000221111111111333311331x103311223311001100002233112211330011331x102233220000330000221111111111333311332x103311223311001100002233112211330011332x102233220000330000221111111111333311333x103311223311001100002233112211330011333x112233220000330000221111111111333311330x113311223311001100002233112211330011330x112233220000330000221111111111333311331x113311223311001100002233112211330011331x112233220000330000221111111111333311332x113311223311001100002233112211330011332x112233220000330000221111111111333311333x113311223311001100002233112211330011333x122233220000330000221111111111333311330x123311223311001100002233112211330011330x122233220000330000221111111111333311331x123311223311001100002233112211330011331x122233220000330000221111111111333311332x123311223311001100002233112211330011332x122233220000330000221111111111333311333x123311223311001100002233112211330011333x132233220000330000221111111111333311330x133311223311001100002233112211330011330x132233220000330000221111111111333311331x133311223311001100002233112211330011331x132233220000330000221111111111333311332x133311223311001100002233112211330011332x132233220000330000221111111111333311333x133311223311001100002233112211330011333x103311000000223333110022111122112222220x102211332200333300220011001111221122220x103311000000223333110022111122112222221x102211332200333300220011001111221122221x103311000000223333110022111122112222222x102211332200333300220011001111221122222x103311000000223333110022111122112222223x102211332200333300220011001111221122223x113311000000223333110022111122112222220x112211332200333300220011001111221122220x113311000000223333110022111122112222221x112211332200333300220011001111221122221x113311000000223333110022111122112222222x112211332200333300220011001111221122222x113311000000223333110022111122112222223x112211332200333300220011001111221122223x123311000000223333110022111122112222220x122211332200333300220011001111221122220x123311000000223333110022111122112222221x122211332200333300220011001111221122221x123311000000223333110022111122112222222x122211332200333300220011001111221122222x123311000000223333110022111122112222223x122211332200333300220011001111221122223x133311000000223333110022111122112222220x132211332200333300220011001111221122220x133311000000223333110022111122112222221x132211332200333300220011001111221122221x133311000000223333110022111122112222222x132211332200333300220011001111221122222x133311000000223333110022111122112222223x132211332200333300220011001111221122223x103311000000332200221100220000331100220x100011330022330022330011002211002200000x103311000000332200221100220000331100221x100011330022330022330011002211002200001x103311000000332200221100220000331100222x100011330022330022330011002211002200002x103311000000332200221100220000331100223x100011330022330022330011002211002200003x113311000000332200221100220000331100220x110011330022330022330011002211002200000x113311000000332200221100220000331100221x110011330022330022330011002211002200001x113311000000332200221100220000331100222x110011330022330022330011002211002200002x113311000000332200221100220000331100223x110011330022330022330011002211002200003x123311000000332200221100220000331100220x120011330022330022330011002211002200000x123311000000332200221100220000331100221x120011330022330022330011002211002200001x123311000000332200221100220000331100222x120011330022330022330011002211002200002x123311000000332200221100220000331100223x120011330022330022330011002211002200003x133311000000332200221100220000331100220x130011330022330022330011002211002200000x133311000000332200221100220000331100221x130011330022330022330011002211002200001x133311000000332200221100220000331100222x130011330022330022330011002211002200002x133311000000332200221100220000331100223x130011330022330022330011002211002200003x103311221111112222222222223333223311000x102233112211222222113311222233112233000x103311221111112222222222223333223311001x102233112211222222113311222233112233001x103311221111112222222222223333223311002x102233112211222222113311222233112233002x103311221111112222222222223333223311003x102233112211222222113311222233112233003x113311221111112222222222223333223311000x112233112211222222113311222233112233000x113311221111112222222222223333223311001x112233112211222222113311222233112233001x113311221111112222222222223333223311002x112233112211222222113311222233112233002x113311221111112222222222223333223311003x112233112211222222113311222233112233003x123311221111112222222222223333223311000x122233112211222222113311222233112233000x123311221111112222222222223333223311001x122233112211222222113311222233112233001x123311221111112222222222223333223311002x122233112211222222113311222233112233002x123311221111112222222222223333223311003x122233112211222222113311222233112233003x133311221111112222222222223333223311000x132233112211222222113311222233112233000x133311221111112222222222223333223311001x132233112211222222113311222233112233001x133311221111112222222222223333223311002x132233112211222222113311222233112233002x133311221111112222222222223333223311003x132233112211222222113311222233112233003x103311333322332222112222222211003311220x102233222211221133003322223311223311220x103311333322332222112222222211003311221x102233222211221133003322223311223311221x103311333322332222112222222211003311222x102233222211221133003322223311223311222x103311333322332222112222222211003311223x102233222211221133003322223311223311223x113311333322332222112222222211003311220x112233222211221133003322223311223311220x113311333322332222112222222211003311221x112233222211221133003322223311223311221x113311333322332222112222222211003311222x112233222211221133003322223311223311222x113311333322332222112222222211003311223x112233222211221133003322223311223311223x123311333322332222112222222211003311220x122233222211221133003322223311223311220x123311333322332222112222222211003311221x122233222211221133003322223311223311221x123311333322332222112222222211003311222x122233222211221133003322223311223311222x123311333322332222112222222211003311223x122233222211221133003322223311223311223x133311333322332222112222222211003311220x132233222211221133003322223311223311220x133311333322332222112222222211003311221x132233222211221133003322223311223311221x133311333322332222112222222211003311222x132233222211221133003322223311223311222x133311333322332222112222222211003311223x132233222211221133003322223311223311223x103322000011332200001100330022221133220x100011332211330011002222333300220000220x103322000011332200001100330022221133221x100011332211330011002222333300220000221x103322000011332200001100330022221133222x100011332211330011002222333300220000222x103322000011332200001100330022221133223x100011332211330011002222333300220000223x113322000011332200001100330022221133220x110011332211330011002222333300220000220x113322000011332200001100330022221133221x110011332211330011002222333300220000221x113322000011332200001100330022221133222x110011332211330011002222333300220000222x113322000011332200001100330022221133223x110011332211330011002222333300220000223x123322000011332200001100330022221133220x120011332211330011002222333300220000220x123322000011332200001100330022221133221x120011332211330011002222333300220000221x123322000011332200001100330022221133222x120011332211330011002222333300220000222x123322000011332200001100330022221133223x120011332211330011002222333300220000223x133322000011332200001100330022221133220x130011332211330011002222333300220000220x133322000011332200001100330022221133221x130011332211330011002222333300220000221x133322000011332200001100330022221133222x130011332211330011002222333300220000222x133322000011332200001100330022221133223x130011332211330011002222333300220000223x103322001133220033332233110000002200000x100011330033220022003333003300221100220x103322001133220033332233110000002200001x100011330033220022003333003300221100221x103322001133220033332233110000002200002x100011330033220022003333003300221100222x103322001133220033332233110000002200003x100011330033220022003333003300221100223x113322001133220033332233110000002200000x110011330033220022003333003300221100220x113322001133220033332233110000002200001x110011330033220022003333003300221100221x113322001133220033332233110000002200002x110011330033220022003333003300221100222x113322001133220033332233110000002200003x110011330033220022003333003300221100223x123322001133220033332233110000002200000x120011330033220022003333003300221100220x123322001133220033332233110000002200001x120011330033220022003333003300221100221x123322001133220033332233110000002200002x120011330033220022003333003300221100222x123322001133220033332233110000002200003x120011330033220022003333003300221100223x133322001133220033332233110000002200000x130011330033220022003333003300221100220x133322001133220033332233110000002200001x130011330033220022003333003300221100221x133322001133220033332233110000002200002x130011330033220022003333003300221100222x133322001133220033332233110000002200003x130011330033220022003333003300221100223x103322003333112200110033223333220000000x100022001122003333223300112233330033000x103322003333112200110033223333220000001x100022001122003333223300112233330033001x103322003333112200110033223333220000002x100022001122003333223300112233330033002x103322003333112200110033223333220000003x100022001122003333223300112233330033003x113322003333112200110033223333220000000x110022001122003333223300112233330033000x113322003333112200110033223333220000001x110022001122003333223300112233330033001x113322003333112200110033223333220000002x110022001122003333223300112233330033002x113322003333112200110033223333220000003x110022001122003333223300112233330033003x123322003333112200110033223333220000000x120022001122003333223300112233330033000x123322003333112200110033223333220000001x120022001122003333223300112233330033001x123322003333112200110033223333220000002x120022001122003333223300112233330033002x123322003333112200110033223333220000003x120022001122003333223300112233330033003x133322003333112200110033223333220000000x130022001122003333223300112233330033000x133322003333112200110033223333220000001x130022001122003333223300112233330033001x133322003333112200110033223333220000002x130022001122003333223300112233330033002x133322003333112200110033223333220000003x130022001122003333223300112233330033003x103322111133110033220011000011220000000x100033111100001111002211222233003300000x103322111133110033220011000011220000001x100033111100001111002211222233003300001x103322111133110033220011000011220000002x100033111100001111002211222233003300002x103322111133110033220011000011220000003x100033111100001111002211222233003300003x113322111133110033220011000011220000000x110033111100001111002211222233003300000x113322111133110033220011000011220000001x110033111100001111002211222233003300001x113322111133110033220011000011220000002x110033111100001111002211222233003300002x113322111133110033220011000011220000003x110033111100001111002211222233003300003x123322111133110033220011000011220000000x120033111100001111002211222233003300000x123322111133110033220011000011220000001x120033111100001111002211222233003300001x123322111133110033220011000011220000002x120033111100001111002211222233003300002x123322111133110033220011000011220000003x120033111100001111002211222233003300003x133322111133110033220011000011220000000x130033111100001111002211222233003300000x133322111133110033220011000011220000001x130033111100001111002211222233003300001x133322111133110033220011000011220000002x130033111100001111002211222233003300002x133322111133110033220011000011220000003x130033111100001111002211222233003300003x103322113333332233113333223300000000330x100022002233113322003333330033113333330x103322113333332233113333223300000000331x100022002233113322003333330033113333331x103322113333332233113333223300000000332x100022002233113322003333330033113333332x103322113333332233113333223300000000333x100022002233113322003333330033113333333x113322113333332233113333223300000000330x110022002233113322003333330033113333330x113322113333332233113333223300000000331x110022002233113322003333330033113333331x113322113333332233113333223300000000332x110022002233113322003333330033113333332x113322113333332233113333223300000000333x110022002233113322003333330033113333333x123322113333332233113333223300000000330x120022002233113322003333330033113333330x123322113333332233113333223300000000331x120022002233113322003333330033113333331x123322113333332233113333223300000000332x120022002233113322003333330033113333332x123322113333332233113333223300000000333x120022002233113322003333330033113333333x133322113333332233113333223300000000330x130022002233113322003333330033113333330x133322113333332233113333223300000000331x130022002233113322003333330033113333331x133322113333332233113333223300000000332x130022002233113322003333330033113333332x133322113333332233113333223300000000333x130022002233113322003333330033113333333x103322221100223333221111000011002222220x101111222222221133000011330000332222220x103322221100223333221111000011002222221x101111222222221133000011330000332222221x103322221100223333221111000011002222222x101111222222221133000011330000332222222x103322221100223333221111000011002222223x101111222222221133000011330000332222223x113322221100223333221111000011002222220x111111222222221133000011330000332222220x113322221100223333221111000011002222221x111111222222221133000011330000332222221x113322221100223333221111000011002222222x111111222222221133000011330000332222222x113322221100223333221111000011002222223x111111222222221133000011330000332222223x123322221100223333221111000011002222220x121111222222221133000011330000332222220x123322221100223333221111000011002222221x121111222222221133000011330000332222221x123322221100223333221111000011002222222x121111222222221133000011330000332222222x123322221100223333221111000011002222223x121111222222221133000011330000332222223x133322221100223333221111000011002222220x131111222222221133000011330000332222220x133322221100223333221111000011002222221x131111222222221133000011330000332222221x133322221100223333221111000011002222222x131111222222221133000011330000332222222x133322221100223333221111000011002222223x131111222222221133000011330000332222223x103322331100002222221133220000330000220x100022330033002222003311223300110022220x103322331100002222221133220000330000221x100022330033002222003311223300110022221x103322331100002222221133220000330000222x100022330033002222003311223300110022222x103322331100002222221133220000330000223x100022330033002222003311223300110022223x113322331100002222221133220000330000220x110022330033002222003311223300110022220x113322331100002222221133220000330000221x110022330033002222003311223300110022221x113322331100002222221133220000330000222x110022330033002222003311223300110022222x113322331100002222221133220000330000223x110022330033002222003311223300110022223x123322331100002222221133220000330000220x120022330033002222003311223300110022220x123322331100002222221133220000330000221x120022330033002222003311223300110022221x123322331100002222221133220000330000222x120022330033002222003311223300110022222x123322331100002222221133220000330000223x120022330033002222003311223300110022223x133322331100002222221133220000330000220x130022330033002222003311223300110022220x133322331100002222221133220000330000221x130022330033002222003311223300110022221x133322331100002222221133220000330000222x130022330033002222003311223300110022222x133322331100002222221133220000330000223x130022330033002222003311223300110022223x103333001111223333110000001100003322000x100033001100222200330033113311330011000x103333001111223333110000001100003322001x100033001100222200330033113311330011001x103333001111223333110000001100003322002x100033001100222200330033113311330011002x103333001111223333110000001100003322003x100033001100222200330033113311330011003x113333001111223333110000001100003322000x110033001100222200330033113311330011000x113333001111223333110000001100003322001x110033001100222200330033113311330011001x113333001111223333110000001100003322002x110033001100222200330033113311330011002x113333001111223333110000001100003322003x110033001100222200330033113311330011003x123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x133333001111223333110000001100003322000x130033001100222200330033113311330011000x133333001111223333110000001100003322001x130033001100222200330033113311330011001x133333001111223333110000001100003322002x130033001100222200330033113311330011002x133333001111223333110000001100003322003x130033001100222200330033113311330011003x103333113300002222003322110000111122330x102233001100113311223322330022001100330x103333113300002222003322110000111122331x102233001100113311223322330022001100331x103333113300002222003322110000111122332x102233001100113311223322330022001100332x103333113300002222003322110000111122333x102233001100113311223322330022001100333x113333113300002222003322110000111122330x112233001100113311223322330022001100330x113333113300002222003322110000111122331x112233001100113311223322330022001100331x113333113300002222003322110000111122332x112233001100113311223322330022001100332x113333113300002222003322110000111122333x112233001100113311223322330022001100333x123333113300002222003322110000111122330x122233001100113311223322330022001100330x123333113300002222003322110000111122331x122233001100113311223322330022001100331x123333113300002222003322110000111122332x122233001100113311223322330022001100332x123333113300002222003322110000111122333x122233001100113311223322330022001100333x133333113300002222003322110000111122330x132233001100113311223322330022001100330x133333113300002222003322110000111122331x132233001100113311223322330022001100331x133333113300002222003322110000111122332x132233001100113311223322330022001100332x133333113300002222003322110000111122333x132233001100113311223322330022001100333x110011101111121119201110311199321111752111171131112622111591111176021113111115723111101113011133111103111331133331111333300001111221100330x1133003300331111331122113311001111330x1111331133331111333300001111221100331x1133003300331111331122113311001111331x1111331133331111333300001111221100332x1133003300331111331122113311001111332x1111331133331111333300001111221100333x1133003300331111331122113311001111333x1311001133110000333333221111112211000x1333221133110022003311111100113311000x1311001133110000333333221111112211001x1333221133110022003311111100113311001x1311001133110000333333221111112211002x1333221133110022003311111100113311002x1311001133110000333333221111112211003x1333221133110022003311111100113311003x102211002233331122000000112200000033110x103300220000002222003322113300111100110x102211002233331122000000112200000033111x103300220000002222003322113300111100111x102211002233331122000000112200000033112x103300220000002222003322113300111100112x102211002233331122000000112200000033113x103300220000002222003322113300111100113x123322221100223333221111000011002222220x121111222222221133000011330000332222220x123322221100223333221111000011002222221x121111222222221133000011330000332222221x123322221100223333221111000011002222222x121111222222221133000011330000332222222x123322221100223333221111000011002222223x121111222222221133000011330000332222223x123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x11111112131113111113311130111001110111112111211112101110311132111021112011112311122111311001133110000333333221111112211000x1333221133110022003311111100113311000x1311001133110000333333221111112211001x1333221133110022003311111100113311001x1311001133110000333333221111112211002x1333221133110022003311111100113311002x1311001133110000333333221111112211003x1333221133110022003311111100113311003x102211002233331122000000112200000033110x103300220000002222003322113300111100110x102211002233331122000000112200000033111x103300220000002222003322113300111100111x102211002233331122000000112200000033112x103300220000002222003322113300111100112x102211002233331122000000112200000033113x103300220000002222003322113300111100113x123322221100223333221111000011002222220x121111222222221133000011330000332222220x123322221100223333221111000011002222221x121111222222221133000011330000332222221x123322221100223333221111000011002222222x121111222222221133000011330000332222222x123322221100223333221111000011002222223x121111222222221133000011330000332222223x123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x1131111101110111113111001110311133111321112111111111112111021112011123111301112211102211002233331122000000112200000033110x103300220000002222003322113300111100110x102211002233331122000000112200000033111x103300220000002222003322113300111100111x102211002233331122000000112200000033112x103300220000002222003322113300111100112x102211002233331122000000112200000033113x103300220000002222003322113300111100113x123322221100223333221111000011002222220x121111222222221133000011330000332222220x123322221100223333221111000011002222221x121111222222221133000011330000332222221x123322221100223333221111000011002222222x121111222222221133000011330000332222222x123322221100223333221111000011002222223x121111222222221133000011330000332222223x123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x11021112111110111231113311131111112111201110011101111031113011122111321111311111111123322221100223333221111000011002222220x121111222222221133000011330000332222220x123322221100223333221111000011002222221x121111222222221133000011330000332222221x123322221100223333221111000011002222222x121111222222221133000011330000332222222x123322221100223333221111000011002222223x121111222222221133000011330000332222223x123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x11231113211122111211111011102111331111111110011101111201112121111311130111031113111123333001111223333110000001100003322000x120033001100222200330033113311330011000x123333001111223333110000001100003322001x120033001100222200330033113311330011001x123333001111223333110000001100003322002x120033001100222200330033113311330011002x123333001111223333110000001100003322003x120033001100222200330033113311330011003x112311133111301110111111111121113111110111001110311132111120111021112211113111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe