000230220301233020x1013232220033200000x1000301302030303103x1001001033003203033x1002030311001303002x1001110303300203002x1002031321123302222x1323120132020230122x1002302122303311020x1001223320310210320x1003123102330213022x1032033122013002132x1010022113001201220x1011000221201103220x1010230212211332033x1012022332013230113x1011302030123020303x1000233101200013323x1012320231030221133x1012232311233200103x1012322130213310021x1032101023013213221x1021303333111333212x1132333101313332012x1022031330103311012x1031203231003101312x1030013001303311110x1030300310131103110x1030031030001212020x1030011022300100320x1030200002202102220x1022212003220020000x1030303013003202103x1132300100320300303x1030313013022312031x1103030032301231231x1030322002321330202x1033100220002323232x1031232123321233222x1123231203313223222x1032010111002112211x1032101212001101211x1101112230203230300x1132031103203202100x1101222033212020122x1102212022110023232x1103033021233102233x1103123310223003233x1110130313113312233x1131310313131323210x1111021322213310020x1101321211322300120x1111111212222203310x1113223121120102112x1111201213103300213x1111122031032001313x1111230302210133331x1123012313320131301x1111301013110231113x1113130110101312113x1111302033300012021x1123201030013010321x1112222302130002221x1122301200231022221x1113021210310323021x1110233330110122021x1113112021302333213x1103213312113223013x1130201111300112311x1101121323130110011x1130211311032331122x1123033321101113122x1130213012211023332x1321132132310010232x1130213121102111111x1131111012110123211x1130213200301233222x1131002013322320232x1131301300033012223x1100231031323201303x1131302101302121131x1101013220312111331x1133133102113122323x1131211031233123323x1200303202012013103x1200303223012001103x1201313021302110232x1301121323120012032x1202130003102230200x1203202120300301200x1202210202221302000x1200100023012222220x1202222131230303333x1203021330132222333x1211300321212330310x1211323011200330312x1212210212213022111x1202122322102111211x1212220202133223133x1213232332022011322x1212222030320100202x1223220010202210302x1213232122130003112x1232001132213120132x1220102332013212232x1221322232312000132x1221013021021021101x1220110130112120201x1221213010220133021x1222132211230013001x1223003130230331232x1102323003033132232x1230110212031032131x1201113312320012031x1230212003002023120x1320102200031023220x1231111200202213312x1232302131212100112x1300001223030313333x1323000323000113333x1301123003031213110x1301233103010321110x1302111313213003232x1330122011132330132x1302200212021012010x1010202001212322010x1302312330003222121x1303323230202012121x1302321013322303200x1303233123220120030x1303033103033131103x1013133331001333003x1303100313020230000x1000231100000332330x1310122133302310123x1310112232200313313x1312233102133211200x1313022211313231200x1313020222221300300x1213203130032202200x1313021232232323003x1011323323232203023x1313023301322232102x1321323230133120202x1321331303022221102x1332210030211212332x1330202031302002203x1023002033210203203x1330210322233013302x1332233330312102002x1331000330300321233x1300101323332303003x1331133002031212300x1301133030130123220x1332000301031212122x1022011031320103232x1332021312222121032x1302231121322120232x1333012131113030030x1333132131100313000x10123x10123x12.1020332103022032000x1000002330022232310x1301303030203103000x1330302300330100100x1200303100113030200x1200302003303011100x1222203321123130200x1221032020231021323x1020113303221203200x1023012013023322100x1220312033201321300x1231200310221330230x1022102100311220010x1022301102122000110x1330233112212032010x1311032310233220210x1303020321030203110x1323310002101332000x1331122030132023210x1301002332113232210x1120013312031223210x1122312310320101230x1212333111333303120x1210233313101333231x1210113301033130220x1213101300132302130x1011113303100310030x1011301131013003030x1020212100030130030x1023001003220110030x1022201202200002030x1000020022300212220x1301202300310303030x1303003023001003231x1130213220310313030x1132132103230030301x1202033123200223030x1232323200022001330x1222332123321232130x1222322313302132321x1112211200111010230x1112101100212101230x1003032302032211101x1001202302301130231x1221020212330222101x1232320011220212201x1332201332120330301x1332300322013321301x1332213311313031011x1012323131313013131x1020013312223120111x1021003223112123101x1013302222212111111x1211201021121322311x1312003301312102111x1313100230130221111x1133331012203032111x1103131023313210321x1311132011310103111x1311213101011031311x1120210003330203111x1123010310030102321x1122200031203222211x1122220132002103221x1120323013012120311x1120221011033332011x1312333203120211311x1310322311213312301x1113211003111102031x1110011031323121101x1221133230113112031x1221311101123330321x1233320112210312031x1232010013231231123x1111111201121312031x1112321011210111131x1222332103002312031x1232023223310200131x1322210330003103131x1303102323130132001x1131121203101203131x1133111213022310101x1323221311201331331x1323321332130112131x1301310210202303002x1301100210322303002x1232011203120313102x1230210021323121103x1002032201300031202x1002103003021202302x1000203122202012202x1022222210320001002x1333303032131222202x1333222231033120302x1013033212123003112x1213033002110323112x1111220312212012212x1112111201223221202x1331322331202022212x1223110220233232312x1202001023030222212x1203012202010022322x1211300031221232312x1231021312231100232x1232212310233201022x1231000213232223122x1101120120120310122x1102021211031011022x1120331022010312122x1100310032112231222x1232133032031300322x1232231330300323201x1131230130212011032x1130210023213311102x1021320200300212032x1022320130002201023x1213312202002111132x1211001212131203232x1333313030322100003x1333311000323000323x1011312130300321103x1011123010301332103x1232300312313111203x1231033231110221033x1010210120212002203x1010223212100202010x1121222300033213203x1121210202032323303x1002303223310123203x1030021022321332303x1301131330301330303x1300333100133331310x1000032020313001303x1033233000001132000x1321013203331221013x1313313002232211013x1002112331201332213x1002132313112220313x1003003122222020313x1002202230031302312x1300323232232120313x1320302232323323110x1201232223103320313x1202021331032323123x1201122220303133123x1233212112030012233x1302200203130202033x1302302012330200320x1203310332223012033x1200201213033332233x1332123003033000133x1300303233323101003x1003212130200331133x1022321031030331103x1221212130103000233x1232301023130110220x1230121222213120233x1232021223121132203x1030030311131210333x1000313001131231333x10231020332103022032000x1000002330022232310x1301303030203103000x1330302300330100100x1200303100113030200x1200302003303011100x1222203321123130200x1221032020231021323x1020113303221203200x1023012013023322100x1220312033201321300x1231200310221330230x1022102100311220010x1022301102122000110x1330233112212032010x1311032310233220210x1303020321030203110x1323310002101332000x1331122030132023210x1301002332113232210x1120013312031223210x1122312310320101230x1212333111333303120x1210233313101333231x1210113301033130220x1213101300132302130x1011113303100310030x1011301131013003030x1020212100030130030x1023001003220110030x1022201202200002030x1000020022300212220x1301202300310303030x1303003023001003231x1130213220310313030x1132132103230030301x1202033123200223030x1232323200022001330x1222332123321232130x1222322313302132321x1112211200111010230x1112101100212101230x1003032302032211101x1001202302301130231x1221020212330222101x1232320011220212201x1332201332120330301x1332300322013321301x1020013312223120111x1021003223112123101x1312003301312102111x1313100230130221111x1133331012203032111x1103131023313210321x1311132011310103111x1311213101011031311x1120210003330203111x1123010310030102321x1122200031203222211x1122220132002103221x1120323013012120311x1120221011033332011x1312333203120211311x1310322311213312301x1113211003111102031x1110011031323121101x1221133230113112031x1221311101123330321x1233320112210312031x1232010013231231123x1111111201121312031x1112321011210111131x1222332103002312031x1232023223310200131x1322210330003103131x1303102323130132001x1131121203101203131x1133111213022310101x1323221311201331331x1323321332130112131x1301310210202303002x1301100210322303002x1232011203120313102x1230210021323121103x1002032201300031202x1002103003021202302x1000203122202012202x1022222210320001002x1333303032131222202x1333222231033120302x1111220312212012212x1112111201223221202x1202001023030222212x1203012202010022322x1211300031221232312x1231021312231100232x1232212310233201022x1231000213232223122x1101120120120310122x1102021211031011022x1120331022010312122x1100310032112231222x1232133032031300322x1232231330300323201x1131230130212011032x1130210023213311102x1021320200300212032x1022320130002201023x1213312202002111132x1211001212131203232x1333313030322100003x1333311000323000323x1011312130300321103x1011123010301332103x1232300312313111203x1231033231110221033x1010210120212002203x1010223212100202010x1121222300033213203x1121210202032323303x1002303223310123203x1030021022321332303x1301131330301330303x1300333100133331310x1000032020313001303x1033233000001132000x1321013203331221013x1313313002232211013x1002112331201332213x1002132313112220313x1003003122222020313x1002202230031302312x1300323232232120313x1320302232323323110x1201232223103320313x1202021331032323123x1201122220303133123x1233212112030012233x1302200203130202033x1302302012330200320x1203310332223012033x1200201213033332233x1332123003033000133x1300303233323101003x1003212130200331133x1022321031030331103x1221212130103000233x1232301023130110220x1230121222213120233x1232021223121132203x1030030311131210333x1000313001131231333x10332213311313031011x10012323131313013131x12332213311313031011x12012323131313013131x13332213311313031011x13012323131313013131x11332213311313031011x11012323131313013131x10013302222212111111x10211201021121322311x12013302222212111111x12211201021121322311x13013302222212111111x13211201021121322311x11013302222212111111x11211201021121322311x10013033212123003112x10213033002110323112x12013033212123003112x12213033002110323112x13013033212123003112x13213033002110323112x11013033212123003112x11213033002110323112x10331322331202022212x10223110220233232312x12331322331202022212x12223110220233232312x13331322331202022212x13223110220233232312x11331322331202022212x11223110220233232312x1022003333221100330022220033220000000x1000000000223333000022222233223311000x1022003333221100330022220033220000002x1000000000223333000022222233223311002x1022003333221100330022220033220000003x1000000000223333000022222233223311003x1022003333221100330022220033220000001x1000000000223333000022222233223311001x1300113300330033002200331100330000000x1333003300223300003333001100001100000x1300113300330033002200331100330000002x1333003300223300003333001100001100002x1300113300330033002200331100330000003x1333003300223300003333001100001100003x1300113300330033002200331100330000001x1333003300223300003333001100001100001x1200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1222222200333322111122331133002200000x1222110033220022002233110022113322330x1222222200333322111122331133002200002x1222110033220022002233110022113322332x1222222200333322111122331133002200003x1222110033220022002233110022113322333x1222222200333322111122331133002200001x1222110033220022002233110022113322331x1022001111333300332222112200332200000x1022330011220011330022333322221100000x1022001111333300332222112200332200002x1022330011220011330022333322221100002x1022001111333300332222112200332200003x1022330011220011330022333322221100003x1022001111333300332222112200332200001x1022330011220011330022333322221100001x1222003311220033332200113322113300000x1233112200003311002222113333002233000x1222003311220033332200113322113300002x1233112200003311002222113333002233002x1222003311220033332200113322113300003x1233112200003311002222113333002233003x1222003311220033332200113322113300001x1233112200003311002222113333002233001x1022221100221100003311112222000011000x1022223300111100221122220000001111000x1022221100221100003311112222000011002x1022223300111100221122220000001111002x1022221100221100003311112222000011003x1022223300111100221122220000001111003x1022221100221100003311112222000011001x1022223300111100221122220000001111001x1333002233331111222211220033220011000x1311110033223311002233332222002211000x1333002233331111222211220033220011002x1311110033223311002233332222002211002x1333002233331111222211220033220011003x1311110033223311002233332222002211003x1333002233331111222211220033220011001x1311110033223311002233332222002211001x1300330022003322110033002200331111000x1322333311000000221100113333220000000x1300330022003322110033002200331111002x1322333311000000221100113333220000002x1300330022003322110033002200331111003x1322333311000000221100113333220000003x1300330022003322110033002200331111001x1322333311000000221100113333220000001x1333111122220033001133220022332211000x1300110000223333221111332233222211000x1333111122220033001133220022332211002x1300110000223333221111332233222211002x1333111122220033001133220022332211003x1300110000223333221111332233222211003x1333111122220033001133220022332211001x1300110000223333221111332233222211001x1122000011333311220033112222332211000x1122223311223311003322001100112233000x1122000011333311220033112222332211002x1122223311223311003322001100112233002x1122000011333311220033112222332211003x1122223311223311003322001100112233003x1122000011333311220033112222332211001x1122223311223311003322001100112233001x1211223333331111113333333300331122000x1211002233333311331100113333332233110x1211223333331111113333333300331122002x1211002233333311331100113333332233112x1211223333331111113333333300331122003x1211002233333311331100113333332233113x1211223333331111113333333300331122001x1211002233333311331100113333332233111x1211001111333300110033331133002222000x1211331100113300001133223300221133000x1211001111333300110033331133002222002x1211331100113300001133223300221133002x1211001111333300110033331133002222003x1211331100113300001133223300221133003x1211001111333300110033331133002222001x1211331100113300001133223300221133001x1011111111333300331100003311000033000x1011113300111133110011330000330033000x1011111111333300331100003311000033002x1011113300111133110011330000330033002x1011111111333300331100003311000033003x1011113300111133110011330000330033003x1011111111333300331100003311000033001x1011113300111133110011330000330033001x1022002211221100000033001133000033000x1022330000110000332222001111000033000x1022002211221100000033001133000033002x1022330000110000332222001111000033002x1022002211221100000033001133000033003x1022330000110000332222001111000033003x1022002211221100000033001133000033001x1022330000110000332222001111000033001x1022222200112200222200000000220033000x1000000022000022223300002211222222000x1022222200112200222200000000220033002x1000000022000022223300002211222222002x1022222200112200222200000000220033003x1000000022000022223300002211222222003x1022222200112200222200000000220033001x1000000022000022223300002211222222001x1300112200223300003311003300330033000x1300330000330022330000110000332233110x1300112200223300003311003300330033002x1300330000330022330000110000332233112x1300112200223300003311003300330033003x1300330000330022330000110000332233113x1300112200223300003311003300330033001x1300330000330022330000110000332233111x1133002211332222003311003311330033000x1133221133221100332233000033003300110x1133002211332222003311003311330033002x1133221133221100332233000033003300112x1133002211332222003311003311330033003x1133221133221100332233000033003300113x1133002211332222003311003311330033001x1133221133221100332233000033003300111x1200220033331122332200002222330033000x1233223322332200000022220000113333000x1200220033331122332200002222330033002x1233223322332200000022220000113333002x1200220033331122332200002222330033003x1233223322332200000022220000113333003x1200220033331122332200002222330033001x1233223322332200000022220000113333001x1222223333221122333322112233221133000x1222223322223311333300221133223322110x1222223333221122333322112233221133002x1222223322223311333300221133223322112x1222223333221122333322112233221133003x1222223322223311333300221133223322113x1222223333221122333322112233221133001x1222223322223311333300221133223322111x1111222211112200001111110011002233000x1111221100111100002211221100112233000x1111222211112200001111110011002233002x1111221100111100002211221100112233002x1111222211112200001111110011002233003x1111221100111100002211221100112233003x1111222211112200001111110011002233001x1111221100111100002211221100112233001x1000330033223300220033222211111100110x1000112200223300223300111133002233110x1000330033223300220033222211111100112x1000112200223300223300111133002233112x1000330033223300220033222211111100113x1000112200223300223300111133002233113x1000330033223300220033222211111100111x1000112200223300223300111133002233111x1222110022002211223333002222221100110x1233223322000011112222002211222200110x1222110022002211223333002222221100112x1233223322000011112222002211222200112x1222110022002211223333002222221100113x1233223322000011112222002211222200113x1222110022002211223333002222221100111x1233223322000011112222002211222200111x1333222200113333221122003333003300110x1333223300003322220011333322113300110x1333222200113333221122003333003300112x1333223300003322220011333322113300112x1333222200113333221122003333003300113x1333223300003322220011333322113300113x1333222200113333221122003333003300111x1333223300003322220011333322113300111x1022000011333311222222331122001111110x1022110000332222331111221122331100110x1022000011333311222222331122001111112x1022110000332222331111221122331100112x1022000011333311222222331122001111113x1022110000332222331111221122331100113x1022000011333311222222331122001111111x1022110000332222331111221122331100111x1311220000333300113311221100221111110x1311331100002233001133002222111111110x1311220000333300113311221100221111112x1311331100002233001133002222111111112x1311220000333300113311221100221111113x1311331100002233001133002222111111113x1311220000333300113311221100221111111x1311331100002233001133002222111111111x1133333333110011222200330033221111110x1100331133110022333311332211003322110x1133333333110011222200330033221111112x1100331133110022333311332211003322112x1133333333110011222200330033221111113x1100331133110022333311332211003322113x1133333333110011222200330033221111111x1100331133110022333311332211003322111x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1122002211000000333333002200331111110x1122330011003311000033001100223322110x1122002211000000333333002200331111112x1122330011003311000033001100223322112x1122002211000000333333002200331111113x1122330011003311000033001100223322113x1122002211000000333333002200331111111x1122330011003311000033001100223322111x1122222200000033112200332222222211110x1122222222001133220000221100332222110x1122222200000033112200332222222211112x1122222222001133220000221100332222112x1122222200000033112200332222222211113x1122222222001133220000221100332222113x1122222200000033112200332222222211111x1122222222001133220000221100332222111x1122003322330011330011221122003311110x1122002222110011110033333333220011110x1122003322330011330011221122003311112x1122002222110011110033333333220011112x1122003322330011330011221122003311113x1122002222110011110033333333220011113x1122003322330011330011221122003311111x1122002222110011110033333333220011111x1311223333332200331122002211113311110x1311003322223311112211333311223300110x1311223333332200331122002211113311112x1311003322223311112211333311223300112x1311223333332200331122002211113311113x1311003322223311112211333311223300113x1311223333332200331122002211113311111x1311003322223311112211333311223300111x1111332211110000331111111100220033110x1111000011110033113322331122111100110x1111332211110000331111111100220033112x1111000011110033113322331122111100112x1111332211110000331111111100220033113x1111000011110033113322331122111100113x1111332211110000331111111100220033111x1111000011110033113322331122111100111x1222111133332233001111331111220033110x1222113311111100111122333333003322110x1222111133332233001111331111220033112x1222113311111100111122333333003322112x1222111133332233001111331111220033113x1222113311111100111122333333003322113x1222111133332233001111331111220033111x1222113311111100111122333333003322111x1233333322001111222211003311220033110x1233220011000011332233112233111122330x1233333322001111222211003311220033112x1233220011000011332233112233111122332x1233333322001111222211003311220033113x1233220011000011332233112233111122333x1233333322001111222211003311220033111x1233220011000011332233112233111122331x1111111111112200111122113311220033110x1111223322110011112211001111111133110x1111111111112200111122113311220033112x1111223322110011112211001111111133112x1111111111112200111122113311220033113x1111223322110011112211001111111133113x1111111111112200111122113311220033111x1111223322110011112211001111111133111x1222223333221100330000223311220033110x1233220022332222333311002200001133110x1222223333221100330000223311220033112x1233220022332222333311002200001133112x1222223333221100330000223311220033113x1233220022332222333311002200001133113x1222223333221100330000223311220033111x1233220022332222333311002200001133111x1322222211003333000000331100331133110x1300331100223322331133001133220000110x1322222211003333000000331100331133112x1300331100223322331133001133220000112x1322222211003333000000331100331133113x1300331100223322331133001133220000113x1322222211003333000000331100331133111x1300331100223322331133001133220000111x1133111122112200331100112200331133110x1133331111112211330022223311001100110x1133111122112200331100112200331133112x1133331111112211330022223311001100112x1133111122112200331100112200331133113x1133331111112211330022223311001100113x1133111122112200331100112200331133111x1133331111112211330022223311001100111x1322332222113311112200113333113333110x1322333322113333221133001111221133110x1322332222113311112200113333113333112x1322333322113333221133001111221133112x1322332222113311112200113333113333113x1322333322113333221133001111221133113x1322332222113311112200113333113333111x1322333322113333221133001111221133111x1300113311002211002200223300330000220x1300111100002211003322223300330000220x1300113311002211002200223300330000222x1300111100002211003322223300330000222x1300113311002211002200223300330000223x1300111100002211003322223300330000223x1300113311002211002200223300330000221x1300111100002211003322223300330000221x1233220011112200331122003311331100220x1233002211000022113322331122111100330x1233220011112200331122003311331100222x1233002211000022113322331122111100332x1233220011112200331122003311331100223x1233002211000022113322331122111100333x1233220011112200331122003311331100221x1233002211000022113322331122111100331x1000220033222200113300000033112200220x1000221100330000330022112200223300220x1000220033222200113300000033112200222x1000221100330000330022112200223300222x1000220033222200113300000033112200223x1000221100330000330022112200223300223x1000220033222200113300000033112200221x1000221100330000330022112200223300221x1000002200331122222200220011222200220x1022222222222211003322000000110000220x1000002200331122222200220011222200222x1022222222222211003322000000110000222x1000002200331122222200220011222200223x1022222222222211003322000000110000223x1000002200331122222200220011222200221x1022222222222211003322000000110000221x1333333300330033221133112222222200220x1333332222222233110033331122003300220x1333333300330033221133112222222200222x1333332222222233110033331122003300222x1333333300330033221133112222222200223x1333332222222233110033331122003300223x1333333300330033221133112222222200221x1333332222222233110033331122003300221x1111112222003311222211220011222211220x1111221111112200112222332222112200220x1111112222003311222211220011222211222x1111221111112200112222332222112200222x1111112222003311222211220011222211223x1111221111112200112222332222112200223x1111112222003311222211220011222211221x1111221111112200112222332222112200221x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1211113300000033112222112233223311220x1233110022113311222233111100002233220x1211113300000033112222112233223311222x1233110022113311222233111100002233222x1211113300000033112222112233223311223x1233110022113311222233111100002233223x1211113300000033112222112233223311221x1233110022113311222233111100002233221x1233222211223311002233332200110022220x1233110000002211332233222222331122220x1233222211223311002233332200110022222x1233110000002211332233222222331122222x1233222211223311002233332200110022223x1233110000002211332233222222331122223x1233222211223311002233332200110022221x1233110000002211332233222222331122221x1100111122001122001122003311001122220x1100220022112211110033110011110022220x1100111122001122001122003311001122222x1100220022112211110033110011110022222x1100111122001122001122003311001122223x1100220022112211110033110011110022223x1100111122001122001122003311001122221x1100220022112211110033110011110022221x1122003333110022220011003311221122220x1100003311000033221111222233112222220x1122003333110022220011003311221122222x1100003311000033221111222233112222222x1122003333110022220011003311221122223x1100003311000033221111222233112222223x1122003333110022220011003311221122221x1100003311000033221111222233112222221x1233221133330033220033113300003322220x1233222233113333003300003322332200110x1233221133330033220033113300003322222x1233222233113333003300003322332200112x1233221133330033220033113300003322223x1233222233113333003300003322332200113x1233221133330033220033113300003322221x1233222233113333003300003322332200111x1133112233001133002211220011110033220x1133002211000022332211333311111100220x1133112233001133002211220011110033222x1133002211000022332211333311111100222x1133112233001133002211220011110033223x1133002211000022332211333311111100223x1133112233001133002211220011110033221x1133002211000022332211333311111100221x1022113322002200003300002211220033220x1022223322001133000000222200110022330x1022113322002200003300002211220033222x1022223322001133000000222200110022332x1022113322002200003300002211220033223x1022223322001133000000222200110022333x1022113322002200003300002211220033221x1022223322001133000000222200110022331x1211333311222200220000221111111133220x1211110000112211221133112200332233220x1211333311222200220000221111111133222x1211110000112211221133112200332233222x1211333311222200220000221111111133223x1211110000112211221133112200332233223x1211333311222200220000221111111133221x1211110000112211221133112200332233221x1333333311330033003322221100000000330x1333333311110000003322330000003322330x1333333311330033003322221100000000332x1333333311110000003322330000003322332x1333333311330033003322221100000000333x1333333311110000003322330000003322333x1333333311330033003322221100000000331x1333333311110000003322330000003322331x1011113311221133003300003322111100330x1011111122330011003300113333221100330x1011113311221133003300003322111100332x1011111122330011003300113333221100332x1011113311221133003300003322111100333x1011111122330011003300113333221100333x1011113311221133003300003322111100331x1011111122330011003300113333221100331x1233223300003311223311331111112200330x1233110033332233111111002222110033330x1233223300003311223311331111112200332x1233110033332233111111002222110033332x1233223300003311223311331111112200333x1233110033332233111111002222110033333x1233223300003311223311331111112200331x1233110033332233111111002222110033331x1011002211001122002211220000222200330x1011002222332211221100002200220011000x1011002211001122002211220000222200332x1011002222332211221100002200220011002x1011002211001122002211220000222200333x1011002222332211221100002200220011003x1011002211001122002211220000222200331x1011002222332211221100002200220011001x1122112222223300000033332211332200330x1122112211002200220033223322333300330x1122112222223300000033332211332200332x1122112211002200220033223322333300332x1122112222223300000033332211332200333x1122112211002200220033223322333300333x1122112222223300000033332211332200331x1122112211002200220033223322333300331x1000223300332222333311001122332200330x1033000022110022223322113333223300330x1000223300332222333311001122332200332x1033000022110022223322113333223300332x1000223300332222333311001122332200333x1033000022110022223322113333223300333x1000223300332222333311001122332200331x1033000022110022223322113333223300331x1300111133113333003300113333003300330x1300003333331100001133333333113311000x1300111133113333003300113333003300332x1300003333331100001133333333113311002x1300111133113333003300113333003300333x1300003333331100001133333333113311003x1300111133113333003300113333003300331x1300003333331100001133333333113311001x1000000033220022003311330000113300330x1033332233330000000000111133220000000x1000000033220022003311330000113300332x1033332233330000000000111133220000002x1000000033220022003311330000113300333x1033332233330000000000111133220000003x1000000033220022003311330000113300331x1033332233330000000000111133220000001x1322110011332200333333112222110011330x1311333311330000222233222211110011330x1322110011332200333333112222110011332x1311333311330000222233222211110011332x1322110011332200333333112222110011333x1311333311330000222233222211110011333x1322110011332200333333112222110011331x1311333311330000222233222211110011331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x1000330000331122222222220022003311330x1000222200222233000033113300223311220x1000330000331122222222220022003311332x1000222200222233000033113300223311222x1000330000331122222222220022003311333x1000222200222233000033113300223311223x1000330000331122222222220022003311331x1000222200222233000033113300223311221x1300003322332233222233221122003311330x1322003300222233223322333322331111000x1300003322332233222233221122003311332x1322003300222233223322333322331111002x1300003322332233222233221122003311333x1322003300222233223322333322331111003x1300003322332233222233221122003311331x1322003300222233223322333322331111001x1200112233222222331100333322003311330x1200220022113333110033223322331122330x1200112233222222331100333322003311332x1200220022113333110033223322331122332x1200112233222222331100333322003311333x1200220022113333110033223322331122333x1200112233222222331100333322003311331x1200220022113333110033223322331122331x1200111122222222003300331133331122330x1233332211221111220033000011222233330x1200111122222222003300331133331122332x1233332211221111220033000011222233332x1200111122222222003300331133331122333x1233332211221111220033000011222233333x1200111122222222003300331133331122331x1233332211221111220033000011222233331x1300222200002200331133002200220033330x1300223300220011223333002200003322000x1300222200002200331133002200220033332x1300223300220011223333002200003322002x1300222200002200331133002200220033333x1300223300220011223333002200003322003x1300222200002200331133002200220033331x1300223300220011223333002200003322001x1200333311003333222222330011220033330x1200002200112211330033333333222233330x1200333311003333222222330011220033332x1200002200112211330033333333222233332x1200333311003333222222330011220033333x1200002200112211330033333333222233333x1200333311003333222222330011220033331x1200002200112211330033333333222233331x1333221122330000330033330000001133330x1300003300332233333322331100110000330x1333221122330000330033330000001133332x1300003300332233333322331100110000332x1333221122330000330033330000001133333x1300003300332233333322331100110000333x1333221122330000330033330000001133331x1300003300332233333322331100110000331x1000332211221133002200003333111133330x1022223322110033110033003333111100330x1000332211221133002200003333111133332x1022223322110033110033003333111100332x1000332211221133002200003333111133333x1022223322110033110033003333111100333x1000332211221133002200003333111133331x1022223322110033110033003333111100331x1222112211221133001100330000002233330x1233223300110022331133001111002222000x1222112211221133001100330000002233332x1233223300110022331133001111002222002x1222112211221133001100330000002233333x1233223300110022331133001111002222003x1222112211221133001100330000002233331x1233223300110022331133001111002222001x1233001122112222222211331122002233330x1233220022112222331122111133222200330x1233001122112222222211331122002233332x1233220022112222331122111133222200332x1233001122112222222211331122002233333x1233220022112222331122111133222200333x1233001122112222222211331122002233331x1233220022112222331122111133222200331x1033000033003311111133112211003333330x1000003311330000111133112233113333330x1033000033003311111133112211003333332x1000003311330000111133112233113333332x1033000033003311111133112211003333333x1000003311330000111133112233113333333x1033000033003311111133112211003333331x1000003311330000111133112233113333331x103333222211333311113311330033110011110x100011223322331133113311330011331133110x103333222211333311113311330033110011112x100011223322331133113311330011331133112x103333222211333311113311330033110011113x100011223322331133113311330011331133113x103333222211333311113311330033110011111x100011223322331133113311330011331133111x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x133333222211333311113311330033110011110x130011223322331133113311330011331133110x133333222211333311113311330033110011112x130011223322331133113311330011331133112x133333222211333311113311330033110011113x130011223322331133113311330011331133113x133333222211333311113311330033110011111x130011223322331133113311330011331133111x113333222211333311113311330033110011110x110011223322331133113311330011331133110x113333222211333311113311330033110011112x110011223322331133113311330011331133112x113333222211333311113311330033110011113x110011223322331133113311330011331133113x113333222211333311113311330033110011111x110011223322331133113311330011331133111x100011333300222222222211221111111111110x102211112200110022111122113322223311110x100011333300222222222211221111111111112x102211112200110022111122113322223311112x100011333300222222222211221111111111113x102211112200110022111122113322223311113x100011333300222222222211221111111111111x102211112200110022111122113322223311111x120011333300222222222211221111111111110x122211112200110022111122113322223311110x120011333300222222222211221111111111112x122211112200110022111122113322223311112x120011333300222222222211221111111111113x122211112200110022111122113322223311113x120011333300222222222211221111111111111x122211112200110022111122113322223311111x130011333300222222222211221111111111110x132211112200110022111122113322223311110x130011333300222222222211221111111111112x132211112200110022111122113322223311112x130011333300222222222211221111111111113x132211112200110022111122113322223311113x130011333300222222222211221111111111111x132211112200110022111122113322223311111x110011333300222222222211221111111111110x112211112200110022111122113322223311110x110011333300222222222211221111111111112x112211112200110022111122113322223311112x110011333300222222222211221111111111113x112211112200110022111122113322223311113x110011333300222222222211221111111111111x112211112200110022111122113322223311111x100011330033332211221122330000331111220x102211330033330000221111003322331111220x100011330033332211221122330000331111222x102211330033330000221111003322331111222x100011330033332211221122330000331111223x102211330033330000221111003322331111223x100011330033332211221122330000331111221x102211330033330000221111003322331111221x120011330033332211221122330000331111220x122211330033330000221111003322331111220x120011330033332211221122330000331111222x122211330033330000221111003322331111222x120011330033332211221122330000331111223x122211330033330000221111003322331111223x120011330033332211221122330000331111221x122211330033330000221111003322331111221x130011330033332211221122330000331111220x132211330033330000221111003322331111220x130011330033332211221122330000331111222x132211330033330000221111003322331111222x130011330033332211221122330000331111223x132211330033330000221111003322331111223x130011330033332211221122330000331111221x132211330033330000221111003322331111221x110011330033332211221122330000331111220x112211330033330000221111003322331111220x110011330033332211221122330000331111222x112211330033330000221111003322331111222x110011330033332211221122330000331111223x112211330033330000221111003322331111223x110011330033332211221122330000331111221x112211330033330000221111003322331111221x103333113322223333112200220022222211220x102222331111002222002233332233223311220x103333113322223333112200220022222211222x102222331111002222002233332233223311222x103333113322223333112200220022222211223x102222331111002222002233332233223311223x103333113322223333112200220022222211221x102222331111002222002233332233223311221x123333113322223333112200220022222211220x122222331111002222002233332233223311220x123333113322223333112200220022222211222x122222331111002222002233332233223311222x123333113322223333112200220022222211223x122222331111002222002233332233223311223x123333113322223333112200220022222211221x122222331111002222002233332233223311221x133333113322223333112200220022222211220x132222331111002222002233332233223311220x133333113322223333112200220022222211222x132222331111002222002233332233223311222x133333113322223333112200220022222211223x132222331111002222002233332233223311223x133333113322223333112200220022222211221x132222331111002222002233332233223311221x113333113322223333112200220022222211220x112222331111002222002233332233223311220x113333113322223333112200220022222211222x112222331111002222002233332233223311222x113333113322223333112200220022222211223x112222331111002222002233332233223311223x113333113322223333112200220022222211221x112222331111002222002233332233223311221x110211132011160311114331111332111211111011130111422111100111231113111140111111311112111113121118200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1011111111333300331100003311000033000x1011113300111133110011330000330033000x1011111111333300331100003311000033002x1011113300111133110011330000330033002x1011111111333300331100003311000033003x1011113300111133110011330000330033003x1011111111333300331100003311000033001x1011113300111133110011330000330033001x1222110022002211223333002222221100110x1233223322000011112222002211222200110x1222110022002211223333002222221100112x1233223322000011112222002211222200112x1222110022002211223333002222221100113x1233223322000011112222002211222200113x1222110022002211223333002222221100111x1233223322000011112222002211222200111x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1000223300332222333311001122332200330x1033000022110022223322113333223300330x1000223300332222333311001122332200332x1033000022110022223322113333223300332x1000223300332222333311001122332200333x1033000022110022223322113333223300333x1000223300332222333311001122332200331x1033000022110022223322113333223300331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x110011333300222222222211221111111111110x112211112200110022111122113322223311110x110011333300222222222211221111111111112x112211112200110022111122113322223311112x110011333300222222222211221111111111113x112211112200110022111122113322223311113x110011333300222222222211221111111111111x112211112200110022111122113322223311111x11201112001112031113011131111110111011111111113111021111331111221111211111121112311132111200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1222110022002211223333002222221100110x1233223322000011112222002211222200110x1222110022002211223333002222221100112x1233223322000011112222002211222200112x1222110022002211223333002222221100113x1233223322000011112222002211222200113x1222110022002211223333002222221100111x1233223322000011112222002211222200111x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1000223300332222333311001122332200330x1033000022110022223322113333223300330x1000223300332222333311001122332200332x1033000022110022223322113333223300332x1000223300332222333311001122332200333x1033000022110022223322113333223300333x1000223300332222333311001122332200331x1033000022110022223322113333223300331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x110011333300222222222211221111111111110x112211112200110022111122113322223311110x110011333300222222222211221111111111112x112211112200110022111122113322223311112x110011333300222222222211221111111111113x112211112200110022111122113322223311113x110011333300222222222211221111111111111x112211112200110022111122113322223311111x1120111100111031113011113111110111101111111111311102111331112211121111121112311132111200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1000223300332222333311001122332200330x1033000022110022223322113333223300330x1000223300332222333311001122332200332x1033000022110022223322113333223300332x1000223300332222333311001122332200333x1033000022110022223322113333223300333x1000223300332222333311001122332200331x1033000022110022223322113333223300331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x110011333300222222222211221111111111110x112211112200110022111122113322223311110x110011333300222222222211221111111111112x112211112200110022111122113322223311112x110011333300222222222211221111111111113x112211112200110022111122113322223311113x110011333300222222222211221111111111111x112211112200110022111122113322223311111x11201110011103111301113111111011110111111111111311110211113311113211112111211112311122111200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1000223300332222333311001122332200330x1033000022110022223322113333223300330x1000223300332222333311001122332200332x1033000022110022223322113333223300332x1000223300332222333311001122332200333x1033000022110022223322113333223300333x1000223300332222333311001122332200331x1033000022110022223322113333223300331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x1200003300331100001111330033002200000x1200003300220000333300330011111100000x1200003300331100001111330033002200000x10003300220000333300330011111100000x1200003300331100001111330033002200000x120000333300330011111100000x1200003300331100001111330033002200000x1000333300330011111100000x1200003300331100001111330033002200002x1200003300220000333300330011111100002x1200003300331100001111330033002200002x10003300220000333300330011111100002x1200003300331100001111330033002200002x120000333300330011111100002x1200003300331100001111330033002200002x1000333300330011111100002x1200003300331100001111330033002200003x1200003300220000333300330011111100003x1200003300331100001111330033002200003x10003300220000333300330011111100003x1200003300331100001111330033002200003x120000333300330011111100003x1200003300331100001111330033002200003x1000333300330011111100003x1200003300331100001111330033002200001x1200003300220000333300330011111100001x1200003300331100001111330033002200001x10003300220000333300330011111100001x1200003300331100001111330033002200001x120000333300330011111100001x1200003300331100001111330033002200001x1000333300330011111100001x1311111133220011113311001100331111110x1311112211331100110011110033113311110x1311111133220011113311001100331111110x131100110011110033113311110x1311111133220011113311001100331111110x13113311110x1311111133220011113311001100331111110x1311110x1311111133220011113311001100331111112x1311112211331100110011110033113311112x1311111133220011113311001100331111112x131100110011110033113311112x1311111133220011113311001100331111112x13113311112x1311111133220011113311001100331111112x1311112x1311111133220011113311001100331111113x1311112211331100110011110033113311113x1311111133220011113311001100331111113x131100110011110033113311113x1311111133220011113311001100331111113x13113311113x1311111133220011113311001100331111113x1311113x1311111133220011113311001100331111111x1311112211331100110011110033113311111x1311111133220011113311001100331111111x131100110011110033113311111x1311111133220011113311001100331111111x13113311111x1311111133220011113311001100331111111x1311111x1200220000110022330033002222222211220x1200330011222200220011000022223322220x1200220000110022330033002222222211220x1200220011000022223322220x1200220000110022330033002222222211220x120011000022223322220x1200220000110022330033002222222211220x100022223322220x1200220000110022330033002222222211220x123322220x1200220000110022330033002222222211222x1200330011222200220011000022223322222x1200220000110022330033002222222211222x1200220011000022223322222x1200220000110022330033002222222211222x120011000022223322222x1200220000110022330033002222222211222x100022223322222x1200220000110022330033002222222211222x123322222x1200220000110022330033002222222211223x1200330011222200220011000022223322223x1200220000110022330033002222222211223x1200220011000022223322223x1200220000110022330033002222222211223x120011000022223322223x1200220000110022330033002222222211223x100022223322223x1200220000110022330033002222222211223x123322223x1200220000110022330033002222222211221x1200330011222200220011000022223322221x1200220000110022330033002222222211221x1200220011000022223322221x1200220000110022330033002222222211221x120011000022223322221x1200220000110022330033002222222211221x100022223322221x1200220000110022330033002222222211221x123322221x1000223300332222333311001122332200330x100022110022223322113333223300330x1000223300332222333311001122332200330x123322113333223300330x1000223300332222333311001122332200330x123300330x1000223300332222333311001122332200332x100022110022223322113333223300332x1000223300332222333311001122332200332x123322113333223300332x1000223300332222333311001122332200332x123300332x1000223300332222333311001122332200333x100022110022223322113333223300333x1000223300332222333311001122332200333x123322113333223300333x1000223300332222333311001122332200333x123300333x1000223300332222333311001122332200331x100022110022223322113333223300331x1000223300332222333311001122332200331x123322113333223300331x1000223300332222333311001122332200331x123300331x1000221111223333112200113333222211330x1000221133223311331111222222003311330x1000221111223333112200113333222211330x123311331111222222003311330x1000221111223333112200113333222211330x1311331111222222003311330x1000221111223333112200113333222211330x131111222222003311330x1000221111223333112200113333222211330x12003311330x1000221111223333112200113333222211330x1311330x1000221111223333112200113333222211332x1000221133223311331111222222003311332x1000221111223333112200113333222211332x123311331111222222003311332x1000221111223333112200113333222211332x1311331111222222003311332x1000221111223333112200113333222211332x131111222222003311332x1000221111223333112200113333222211332x12003311332x1000221111223333112200113333222211332x1311332x1000221111223333112200113333222211333x1000221133223311331111222222003311333x1000221111223333112200113333222211333x123311331111222222003311333x1000221111223333112200113333222211333x1311331111222222003311333x1000221111223333112200113333222211333x131111222222003311333x1000221111223333112200113333222211333x12003311333x1000221111223333112200113333222211333x1311333x1000221111223333112200113333222211331x1000221133223311331111222222003311331x1000221111223333112200113333222211331x123311331111222222003311331x1000221111223333112200113333222211331x1311331111222222003311331x1000221111223333112200113333222211331x131111222222003311331x1000221111223333112200113333222211331x12003311331x1000221111223333112200113333222211331x1311331x123333222211333311113311330033110011110x120011223322331133113311330011331133110x123333222211333311113311330033110011110x123322331133113311330011331133110x123333222211333311113311330033110011110x12331133113311330011331133110x123333222211333311113311330033110011110x131133113311330011331133110x123333222211333311113311330033110011110x13113311330011331133110x123333222211333311113311330033110011110x1311330011331133110x123333222211333311113311330033110011110x131133110x123333222211333311113311330033110011110x13110x123333222211333311113311330033110011112x120011223322331133113311330011331133112x123333222211333311113311330033110011112x123322331133113311330011331133112x123333222211333311113311330033110011112x12331133113311330011331133112x123333222211333311113311330033110011112x131133113311330011331133112x123333222211333311113311330033110011112x13113311330011331133112x123333222211333311113311330033110011112x1311330011331133112x123333222211333311113311330033110011112x131133112x123333222211333311113311330033110011112x13112x123333222211333311113311330033110011113x120011223322331133113311330011331133113x123333222211333311113311330033110011113x123322331133113311330011331133113x123333222211333311113311330033110011113x12331133113311330011331133113x123333222211333311113311330033110011113x131133113311330011331133113x123333222211333311113311330033110011113x13113311330011331133113x123333222211333311113311330033110011113x1311330011331133113x123333222211333311113311330033110011113x131133113x123333222211333311113311330033110011113x13113x123333222211333311113311330033110011111x120011223322331133113311330011331133111x123333222211333311113311330033110011111x123322331133113311330011331133111x123333222211333311113311330033110011111x12331133113311330011331133111x123333222211333311113311330033110011111x131133113311330011331133111x123333222211333311113311330033110011111x13113311330011331133111x123333222211333311113311330033110011111x1311330011331133111x123333222211333311113311330033110011111x131133111x123333222211333311113311330033110011111x13111x1true200003300331100001111330033002200000x10003300220000333300330011111100000x1false200003300331100001111330033002200000x1000333300330011111100000x1false200003300331100001111330033002200002x10003300220000333300330011111100002x1false200003300331100001111330033002200002x1000333300330011111100002x1false200003300331100001111330033002200003x10003300220000333300330011111100003x1false200003300331100001111330033002200003x1000333300330011111100003x1false200003300331100001111330033002200001x10003300220000333300330011111100001x1false200003300331100001111330033002200001x1000333300330011111100001x1false200220000110022330033002222222211220x100022223322220x1false200220000110022330033002222222211222x100022223322222x1false200220000110022330033002222222211223x100022223322223x1false200220000110022330033002222222211221x100022223322221x1false000223300332222333311001122332200330x100022110022223322113333223300330x1false000223300332222333311001122332200332x100022110022223322113333223300332x1false000223300332222333311001122332200333x100022110022223322113333223300333x1false000223300332222333311001122332200331x100022110022223322113333223300331x1false000221111223333112200113333222211330x1000221133223311331111222222003311330x1false000221111223333112200113333222211332x1000221133223311331111222222003311332x1false000221111223333112200113333222211333x1000221133223311331111222222003311333x1false000221111223333112200113333222211331x1000221133223311331111222222003311331x1false200220000110022330033002222222211220x123322220x1false200220000110022330033002222222211222x123322222x1false200220000110022330033002222222211223x123322223x1false200220000110022330033002222222211221x123322221x1false000223300332222333311001122332200330x123322113333223300330x1false000223300332222333311001122332200330x123300330x1false000223300332222333311001122332200332x123322113333223300332x1false000223300332222333311001122332200332x123300332x1false000223300332222333311001122332200333x123322113333223300333x1false000223300332222333311001122332200333x123300333x1false000223300332222333311001122332200331x123322113333223300331x1false000223300332222333311001122332200331x123300331x1false000221111223333112200113333222211330x123311331111222222003311330x1false000221111223333112200113333222211332x123311331111222222003311332x1false000221111223333112200113333222211333x123311331111222222003311333x1false000221111223333112200113333222211331x123311331111222222003311331x1false23333222211333311113311330033110011110x123322331133113311330011331133110x1false23333222211333311113311330033110011110x12331133113311330011331133110x1false23333222211333311113311330033110011112x123322331133113311330011331133112x1false23333222211333311113311330033110011112x12331133113311330011331133112x1false23333222211333311113311330033110011113x123322331133113311330011331133113x1false23333222211333311113311330033110011113x12331133113311330011331133113x1false23333222211333311113311330033110011111x123322331133113311330011331133111x1false23333222211333311113311330033110011111x12331133113311330011331133111x1false000221111223333112200113333222211330x1311331111222222003311330x1false000221111223333112200113333222211330x131111222222003311330x1false000221111223333112200113333222211330x1311330x1false000221111223333112200113333222211332x1311331111222222003311332x1false000221111223333112200113333222211332x131111222222003311332x1false000221111223333112200113333222211332x1311332x1false000221111223333112200113333222211333x1311331111222222003311333x1false000221111223333112200113333222211333x131111222222003311333x1false000221111223333112200113333222211333x1311333x1false000221111223333112200113333222211331x1311331111222222003311331x1false000221111223333112200113333222211331x131111222222003311331x1false000221111223333112200113333222211331x1311331x1false23333222211333311113311330033110011110x131133113311330011331133110x1false23333222211333311113311330033110011110x13113311330011331133110x1false23333222211333311113311330033110011110x1311330011331133110x1false23333222211333311113311330033110011110x131133110x1false23333222211333311113311330033110011110x13110x1false23333222211333311113311330033110011112x131133113311330011331133112x1false23333222211333311113311330033110011112x13113311330011331133112x1false23333222211333311113311330033110011112x1311330011331133112x1false23333222211333311113311330033110011112x131133112x1false23333222211333311113311330033110011112x13112x1false23333222211333311113311330033110011113x131133113311330011331133113x1false23333222211333311113311330033110011113x13113311330011331133113x1false23333222211333311113311330033110011113x1311330011331133113x1false23333222211333311113311330033110011113x131133113x1false23333222211333311113311330033110011113x13113x1false23333222211333311113311330033110011111x131133113311330011331133111x1false23333222211333311113311330033110011111x13113311330011331133111x1false23333222211333311113311330033110011111x1311330011331133111x1false23333222211333311113311330033110011111x131133111x1false23333222211333311113311330033110011111x13111x1false311111133220011113311001100331111111x1311111x1true1111111311132111201110111131111101110311131111311111133220011113311001100331111111x1311111x1311111133220011113311001100331111111x1311111x11true1200003300331100001111330033002200000x1200003300220000333300330011111100000x1false200003300331100001111330033002200000x120000333300330011111100000x1false200003300331100001111330033002200002x1200003300220000333300330011111100002x1false200003300331100001111330033002200002x120000333300330011111100002x1false200003300331100001111330033002200003x1200003300220000333300330011111100003x1false200003300331100001111330033002200003x120000333300330011111100003x1false200003300331100001111330033002200001x1200003300220000333300330011111100001x1false200003300331100001111330033002200001x120000333300330011111100001x1false311111133220011113311001100331111110x1311112211331100110011110033113311110x1false311111133220011113311001100331111110x131100110011110033113311110x1false311111133220011113311001100331111110x13113311110x1false311111133220011113311001100331111110x1311110x1false311111133220011113311001100331111112x1311112211331100110011110033113311112x1false311111133220011113311001100331111112x131100110011110033113311112x1false311111133220011113311001100331111112x13113311112x1false311111133220011113311001100331111112x1311112x1false311111133220011113311001100331111113x1311112211331100110011110033113311113x1false311111133220011113311001100331111113x131100110011110033113311113x1false311111133220011113311001100331111113x13113311113x1false311111133220011113311001100331111113x1311113x1false311111133220011113311001100331111111x1311112211331100110011110033113311111x1false311111133220011113311001100331111111x131100110011110033113311111x1false311111133220011113311001100331111111x13113311111x1false200220000110022330033002222222211220x1200330011222200220011000022223322220x1false200220000110022330033002222222211220x1200220011000022223322220x1false200220000110022330033002222222211220x120011000022223322220x1false200220000110022330033002222222211222x1200330011222200220011000022223322222x1false200220000110022330033002222222211222x1200220011000022223322222x1false200220000110022330033002222222211222x120011000022223322222x1false200220000110022330033002222222211223x1200330011222200220011000022223322223x1false200220000110022330033002222222211223x1200220011000022223322223x1false200220000110022330033002222222211223x120011000022223322223x1false200220000110022330033002222222211221x1200330011222200220011000022223322221x1false200220000110022330033002222222211221x1200220011000022223322221x1false200220000110022330033002222222211221x120011000022223322221x1false000221111223333112200113333222211330x12003311330x1false000221111223333112200113333222211332x12003311332x1false000221111223333112200113333222211333x12003311333x1false000221111223333112200113333222211331x12003311331x1false23333222211333311113311330033110011110x120011223322331133113311330011331133110x1false23333222211333311113311330033110011112x120011223322331133113311330011331133112x1false23333222211333311113311330033110011113x120011223322331133113311330011331133113x1false23333222211333311113311330033110011111x120011223322331133113311330011331133111x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe