YES 000003001313123131x1000003133211301013x1000111312120302312x1032100321012131201x1000123103230033122x1033102002013102332x1000202233031313120x1330032300122321010x1000310223203021210x1023320130010221002x1000311303230233320x1013323300100033322x1011000122112233112x1011222103213210101x1012001131303111032x1011110213102130330x1012111310313113121x1331321111101013211x1012213112032111221x1012201122211113321x1020020213021131303x1022322130011300013x1021230303301030130x1032033010313321000x1021300211111132002x1001121133101210022x1030112001230031001x1001000022103331101x1030132231221103210x1012100321201333212x1030331202320311113x1321322133003101013x1031002320123032022x1022002002110332332x1031032000323120230x1002233030032301120x1032000013103133012x1001301000102333321x1032012302231323302x1233233320000122312x1032220031310310300x1200103320130123300x1101210220011103120x1221010210210310110x1102020021111223120x1220001321110122102x1103112012311313011x1101301031111233121x1110333122030322231x1110203331223302231x1111021123131312131x1332113311211011211x1111131302210231202x1122211303301011221x1112032220120220323x1122212210232023003x1112131002000311112x1110122101103032101x1112303112231201301x1213101110123023321x1113120100033020312x1121031203000133012x1113231312333231200x1120232111133333230x1120223212331312311x1121220211121332333x1120231101203123320x1110001331231322220x1120312321030313201x1110012123012332330x1121222231131120113x1113212121023122113x1123032032303023112x1110230210332223330x1130033131210313300x1133330010131300321x1131112302333123120x1213123301332121310x1133003102312333212x1133012030121333232x1200320313022220111x1212330102002032211x1201201230200131030x1223300012130100201x1201202300332201112x1210122033302201012x1202010103121312330x1130102332100221310x1202203031113323030x1223230130301332100x1203031233003112223x1233203211103203023x1203130212231030030x1201210332033302100x1203311323312203133x1231331211022033333x1211123020031003220x1201320012132320100x1213120131222123012x1221332220210321111x1231033133030223222x1231302001332323322x1231230331223211322x1232231123221333102x1232332323200131113x1221333133223102013x1233031031222103010x1230310323321012010x1233123120102021112x1213312102120321012x1300030330033213023x1330333300102300023x1300322102301021311x1321111002332100230x1301103230023131122x1211332130023100321x1301202331131203301x1301131011230333220x1301203010201230310x1002101333302101200x1302122311311030301x1311232130213301010x1302230020302213112x1322000133320201122x1302301301113023220x1301023232033102110x1303022320021231212x1022320203210133212x1303213002301203220x1302002133313002220x1311032313113223132x1312323201331332111x1311113121300030130x1011023330111103310x1311303011113120013x1011112330110013313x1311303313111310300x1033333301011131101x1312120231220203210x1030211022221331022x1312230031231233210x1333212130013102232x1312322031232313133x1320121113222333333x1313120203132210330x1313323003011013222x1320032321303303010x1322311302333300000x1320310222120311123x1023133200112122123x1321220330220023100x1022333322102120000x1323012010330011320x1323200023301131010x1323032223123233121x1313221223332330122x1331202231203210112x1310132032223212101x1332032302331113221x1333323010223312211x12.1131321313100300000x1310103112331300000x1213203021213111000x1102131210123001230x1221330032301321000x1233201310200201330x1021313130332202000x1010123221003230033x1012120302322013000x1200122010031023320x1023332032303113000x1223330001003323310x1211332211221000110x1101012312301222110x1230111303131100210x1033031201312011110x1121311313013111210x1112310101111123133x1122111230211312210x1123311112221102210x1303131120312020020x1310003110031223220x1031030103303032120x1000123313010330230x1200231111112003120x1220012101331121100x1100130032100211030x1101133301220000100x1012301122132231030x1212333102123001210x1311113023202133030x1310101300331223123x1220230321023200130x1233233011200200220x1032021323000230130x1021103230030332200x1210331301310000230x1123333201000103100x1203323132203210230x1213221000023332332x1003013013130022230x1003321031023301002x1021301110022012101x1011013012012010122x1021322111120020201x1201221011123100022x1110313113210211301x1121332111130103101x1132223030221333011x1132203322133302011x1131213131321120111x1112110112113311233x1202132012203131111x1122110103303112221x1323022021022230211x1300320232012212221x1211113000200131211x1101230301101221011x1103102132211303211x1123320321011101312x1213020330001021311x1210331000302130121x1002132333213132311x1032333331111232021x1113213133212322021x1333233121112022121x1023321302101132021x1022223132133100011x1102313030123213021x1033233210321210011x1311021131132222121x1311221320121212311x1211320303230230321x1033322233012032011x1003313012131330031x1123003131010033331x1021321333203211131x1013121233103321312x1212333213201300331x1232333121030210331x1111022220313023002x1112230200201033212x1030131002032102102x1102001031210003322x1211102233003202102x1210102203330221012x1033213121301010202x1013122001233201031x1030323311130302202x1001233103031032322x1322211300332130302x1320302301112302332x1030030132212031302x1001203330233012102x1331302213323113302x1333330220112133132x1022300130020321112x1001023231210023102x1210321222131021312x1111123012022233122x1222322030331330132x1223323233100203132x1223112322133032132x1201333122321132232x1311131002323233232x1310201322331333122x1010301222130130332x1010210123323013032x1211120201021321332x1210123021201213312x1320312330033030003x1320003201003333033x1113120103201223003x1032001233200111123x1221131320032301103x1123001320031233112x1103302131133202103x1022333032110131103x1013032102010302103x1002101203333101200x1103030113113221203x1010103312031232113x1211312203020032203x1221102023331000223x1022320311103103203x1011201330232320103x1212132120023220303x1212331012302023220x1022302103200312303x1022200313331200203x1231322311313230113x1111233133102323213x1031030003121311113x1013301111033320110x1310021311110303113x1313310011033211110x1003013111313303113x1101131110103333330x1012302022132021213x1220133122220112030x1012332132130032213x1232201310031212333x1331313232130223213x1333333222311121023x1033012231302021313x1222310110300323313x1010303303123230023x1000003333203113223x1321113021222013023x1321221211002331320x1001320022033022123x1000021201223333220x1023110033010210323x1010131103320002323x1121332321322230323x1221033233322122313x1211012302132202133x1101212322230231013x1122311133203230233x1112213322010323333x11320221330032301321000x1233201310200201330x1021313130332202000x1010123221003230033x1121311313013111210x1112310101111123133x1122111230211312210x1123311112221102210x1303131120312020020x1310003110031223220x1031030103303032120x1000123313010330230x1200231111112003120x1220012101331121100x1100130032100211030x1101133301220000100x1311113023202133030x1310101300331223123x1220230321023200130x1233233011200200220x1032021323000230130x1021103230030332200x1203323132203210230x1213221000023332332x1003013013130022230x1003321031023301002x1021301110022012101x1011013012012010122x1110313113210211301x1121332111130103101x1132223030221333011x1132203322133302011x1131213131321120111x1112110112113311233x1323022021022230211x1300320232012212221x1103102132211303211x1123320321011101312x1213020330001021311x1210331000302130121x1002132333213132311x1032333331111232021x1023321302101132021x1022223132133100011x1311021131132222121x1311221320121212311x1021321333203211131x1013121233103321312x1212333213201300331x1232333121030210331x1111022220313023002x1112230200201033212x1211102233003202102x1210102203330221012x1033213121301010202x1013122001233201031x1030323311130302202x1001233103031032322x1322211300332130302x1320302301112302332x1030030132212031302x1001203330233012102x1331302213323113302x1333330220112133132x1022300130020321112x1001023231210023102x1222322030331330132x1223323233100203132x1223112322133032132x1201333122321132232x1311131002323233232x1310201322331333122x1010301222130130332x1010210123323013032x1211120201021321332x1210123021201213312x1320312330033030003x1320003201003333033x1013032102010302103x1002101203333101200x1211312203020032203x1221102023331000223x1022320311103103203x1011201330232320103x1212132120023220303x1212331012302023220x1022302103200312303x1022200313331200203x1031030003121311113x1013301111033320110x1310021311110303113x1313310011033211110x1331313232130223213x1333333222311121023x1010303303123230023x1000003333203113223x1321113021222013023x1321221211002331320x1001320022033022123x1000021201223333220x1023110033010210323x1010131103320002323x1122311133203230233x1112213322010323333x11131321313100300000x11310103112331300000x13131321313100300000x13310103112331300000x12131321313100300000x12310103112331300000x10131321313100300000x10310103112331300000x11213203021213111000x11102131210123001230x13213203021213111000x13102131210123001230x12213203021213111000x12102131210123001230x10213203021213111000x10102131210123001230x11012120302322013000x11200122010031023320x13012120302322013000x13200122010031023320x12012120302322013000x12200122010031023320x10012120302322013000x10200122010031023320x11023332032303113000x11223330001003323310x13023332032303113000x13223330001003323310x12023332032303113000x12223330001003323310x10023332032303113000x10223330001003323310x11211332211221000110x11101012312301222110x13211332211221000110x13101012312301222110x12211332211221000110x12101012312301222110x10211332211221000110x10101012312301222110x11230111303131100210x11033031201312011110x13230111303131100210x13033031201312011110x12230111303131100210x12033031201312011110x10230111303131100210x10033031201312011110x11012301122132231030x11212333102123001210x13012301122132231030x13212333102123001210x12012301122132231030x12212333102123001210x10012301122132231030x10212333102123001210x11210331301310000230x11123333201000103100x13210331301310000230x13123333201000103100x12210331301310000230x12123333201000103100x10210331301310000230x10123333201000103100x11021322111120020201x11201221011123100022x13021322111120020201x13201221011123100022x12021322111120020201x12201221011123100022x10021322111120020201x10201221011123100022x11202132012203131111x11122110103303112221x13202132012203131111x13122110103303112221x12202132012203131111x12122110103303112221x10202132012203131111x10122110103303112221x11211113000200131211x11101230301101221011x13211113000200131211x13101230301101221011x12211113000200131211x12101230301101221011x10211113000200131211x10101230301101221011x11113213133212322021x11333233121112022121x13113213133212322021x13333233121112022121x12113213133212322021x12333233121112022121x10113213133212322021x10333233121112022121x11102313030123213021x11033233210321210011x13102313030123213021x13033233210321210011x12102313030123213021x12033233210321210011x10102313030123213021x10033233210321210011x11211320303230230321x11033322233012032011x13211320303230230321x13033322233012032011x12211320303230230321x12033322233012032011x10211320303230230321x10033322233012032011x11003313012131330031x11123003131010033331x13003313012131330031x13123003131010033331x12003313012131330031x12123003131010033331x10003313012131330031x10123003131010033331x11030131002032102102x11102001031210003322x13030131002032102102x13102001031210003322x12030131002032102102x12102001031210003322x10030131002032102102x10102001031210003322x11210321222131021312x11111123012022233122x13210321222131021312x13111123012022233122x12210321222131021312x12111123012022233122x10210321222131021312x10111123012022233122x11113120103201223003x11032001233200111123x13113120103201223003x13032001233200111123x12113120103201223003x12032001233200111123x10113120103201223003x10032001233200111123x11221131320032301103x11123001320031233112x13221131320032301103x13123001320031233112x12221131320032301103x12123001320031233112x10221131320032301103x10123001320031233112x11103302131133202103x11022333032110131103x13103302131133202103x13022333032110131103x12103302131133202103x12022333032110131103x10103302131133202103x10022333032110131103x11103030113113221203x11010103312031232113x13103030113113221203x13010103312031232113x12103030113113221203x12010103312031232113x10103030113113221203x10010103312031232113x11231322311313230113x11111233133102323213x13231322311313230113x13111233133102323213x12231322311313230113x12111233133102323213x10231322311313230113x10111233133102323213x11003013111313303113x11101131110103333330x13003013111313303113x13101131110103333330x12003013111313303113x12101131110103333330x10003013111313303113x10101131110103333330x11012302022132021213x11220133122220112030x13012302022132021213x13220133122220112030x12012302022132021213x12220133122220112030x10012302022132021213x10220133122220112030x11012332132130032213x11232201310031212333x13012332132130032213x13232201310031212333x12012332132130032213x12232201310031212333x10012332132130032213x10232201310031212333x11033012231302021313x11222310110300323313x13033012231302021313x13222310110300323313x12033012231302021313x12222310110300323313x10033012231302021313x10222310110300323313x11121332321322230323x11221033233322122313x13121332321322230323x13221033233322122313x12121332321322230323x12221033233322122313x10121332321322230323x10221033233322122313x11211012302132202133x11101212322230231013x13211012302132202133x13101212322230231013x12211012302132202133x12101212322230231013x10211012302132202133x10101212322230231013x1222113333000033223300113322110000002x1233332200113311002200002200113333002x1222113333000033223300113322110000001x1233332200113311002200002200113333001x1222113333000033223300113322110000003x1233332200113311002200002200113333003x1222113333000033223300113322110000000x1233332200113311002200002200113333000x1022113311331133003333222200220000002x1011001122332222110000332233000033332x1022113311331133003333222200220000001x1011001122332222110000332233000033331x1022113311331133003333222200220000003x1011001122332222110000332233000033333x1022113311331133003333222200220000000x1011001122332222110000332233000033330x1122113311113311330011331111112211002x1111223311001100111111111122331133332x1122113311113311330011331111112211001x1111223311001100111111111122331133331x1122113311113311330011331111112211003x1111223311001100111111111122331133333x1122113311113311330011331111112211000x1111223311001100111111111122331133330x1122221111112233002211113311222211002x1122333311111111222222111100222211002x1122221111112233002211113311222211001x1122333311111111222222111100222211001x1122221111112233002211113311222211003x1122333311111111222222111100222211003x1122221111112233002211113311222211000x1122333311111111222222111100222211000x1300331133111122003311220022000022002x1311000000331111000033112222332222002x1300331133111122003311220022000022001x1311000000331111000033112222332222001x1300331133111122003311220022000022003x1311000000331111000033112222332222003x1300331133111122003311220022000022000x1311000000331111000033112222332222000x1033110033001100333300330033221122002x1000001122333311330011003333002233002x1033110033001100333300330033221122001x1000001122333311330011003333002233001x1033110033001100333300330033221122003x1000001122333311330011003333002233003x1033110033001100333300330033221122000x1000001122333311330011003333002233000x1200002233111111111111220000331122002x1222000011221100113333111122111100002x1200002233111111111111220000331122001x1222000011221100113333111122111100001x1200002233111111111111220000331122003x1222000011221100113333111122111100003x1200002233111111111111220000331122000x1222000011221100113333111122111100000x1100001133000033221100002211110033002x1100111133333300112222000000001100002x1100001133000033221100002211110033001x1100111133333300112222000000001100001x1100001133000033221100002211110033003x1100111133333300112222000000001100003x1100001133000033221100002211110033000x1100111133333300112222000000001100000x1311111111330022332200221133330033002x1311001100113300003333112222331122332x1311111111330022332200221133330033001x1311001100113300003333112222331122331x1311111111330022332200221133330033003x1311001100113300003333112222331122333x1311111111330022332200221133330033000x1311001100113300003333112222331122330x1222002233003322110022332200001133002x1233332233330011112200002200002222002x1222002233003322110022332200001133001x1233332233330011112200002200002222001x1222002233003322110022332200001133003x1233332233330011112200002200002222003x1222002233003322110022332200001133000x1233332233330011112200002200002222000x1033220022113322330000002233001133002x1022111100332233000033003333222200002x1033220022113322330000002233001133001x1022111100332233000033003333222200001x1033220022113322330000002233001133003x1022111100332233000033003333222200003x1033220022113322330000002233001133000x1022111100332233000033003333222200000x1200333322331133222200332211002233002x1211332222110000000022333333223333222x1200333322331133222200332211002233001x1211332222110000000022333333223333221x1200333322331133222200332211002233003x1211332222110000000022333333223333223x1200333322331133222200332211002233000x1211332222110000000022333333223333220x1000330011330011331133000022222233002x1000333322110033110022333300110000222x1000330011330011331133000022222233001x1000333322110033110022333300110000221x1000330011330011331133000022222233003x1000333322110033110022333300110000223x1000330011330011331133000022222233000x1000333322110033110022333300110000220x1022113300111111000022220011221100112x1011110011330011220011220011001122222x1022113300111111000022220011221100111x1011110011330011220011220011001122221x1022113300111111000022220011221100113x1011110011330011220011220011001122223x1022113300111111000022220011221100110x1011110011330011220011220011001122220x1111003311331111332211002211113300112x1122113333221111111133001100331100112x1111003311331111332211002211113300111x1122113333221111111133001100331100111x1111003311331111332211002211113300113x1122113333221111111133001100331100113x1111003311331111332211002211113300110x1122113333221111111133001100331100110x1133222222330033002222113333330011112x1133222200333322221133333300220011112x1133222222330033002222113333330011111x1133222200333322221133333300220011111x1133222222330033002222113333330011113x1133222200333322221133333300220011113x1133222222330033002222113333330011110x1133222200333322221133333300220011110x1133112211331133113322111122001111112x1111221111001111221111333311112233332x1133112211331133113322111122001111111x1111221111001111221111333311112233331x1133112211331133113322111122001111113x1111221111001111221111333311112233333x1133112211331133113322111122001111110x1111221111001111221111333311112233330x1322330022220022110022222233002211112x1300003322002233220011222211222222112x1322330022220022110022222233002211111x1300003322002233220011222211222222111x1322330022220022110022222233002211113x1300003322002233220011222211222222113x1322330022220022110022222233002211110x1300003322002233220011222211222222110x1100331100221133222211113300332211112x1122333322003322110011111100113311222x1100331100221133222211113300332211111x1122333322003322110011111100113311221x1100331100221133222211113300332211113x1122333322003322110011111100113311223x1100331100221133222211113300332211110x1122333322003322110011111100113311220x1211330022003333000000110022113311112x1211003333110000003300221133001122112x1211330022003333000000110022113311111x1211003333110000003300221133001122111x1211330022003333000000110022113311113x1211003333110000003300221133001122113x1211330022003333000000110022113311110x1211003333110000003300221133001122110x1000221133223333332211331133223311112x1033223333333333111111112233220022112x1000221133223333332211331133223311111x1033223333333333111111112233220022111x1000221133223333332211331133223311113x1033223333333333111111112233220022113x1000221133223333332211331133223311110x1033223333333333111111112233220022110x1022333322113300221100111133220022112x1022222222331133221133331100000011112x1022333322113300221100111133220022111x1022222222331133221133331100000011111x1022333322113300221100111133220022113x1022222222331133221133331100000011113x1022333322113300221100111133220022110x1022222222331133221133331100000011110x1311110022111133111133222222221122112x1311112222113322001122112211223311112x1311110022111133111133222222221122111x1311112222113322001122112211223311111x1311110022111133111133222222221122113x1311112222113322001122112211223311113x1311110022111133111133222222221122110x1311112222113322001122112211223311110x1022113322113333332200332211111133112x1011331122112233331100333322113311222x1022113322113333332200332211111133111x1011331122112233331100333322113311221x1022113322113333332200332211111133113x1011331122112233331100333322113311223x1022113322113333332200332211111133110x1011331122112233331100333322113311220x1211223333332211332200113300003333112x1233223333331122110033002211003333112x1211223333332211332200113300003333111x1233223333331122110033002211003333111x1211223333332211332200113300003333113x1233223333331122110033002211003333113x1211223333332211332200113300003333110x1233223333331122110033002211003333110x1111110022222222003311330022330000222x1111222233002200002200110033332211222x1111110022222222003311330022330000221x1111222233002200002200110033332211221x1111110022222222003311330022330000223x1111222233002200002200110033332211223x1111110022222222003311330022330000220x1111222233002200002200110033332211220x1211111100222233330000332200221100222x1211001100222200333333002222110011222x1211111100222233330000332200221100221x1211001100222200333333002222110011221x1211111100222233330000332200221100223x1211001100222200333333002222110011223x1211111100222233330000332200221100220x1211001100222200333333002222110011220x1033332211331122113300110011002200222x1011331122220000112233332200110033112x1033332211331122113300110011002200221x1011331122220000112233332200110033111x1033332211331122113300110011002200223x1011331122220000112233332200110033113x1033332211331122113300110011002200220x1011331122220000112233332200110033110x1033003322333311111133003300222200222x1000112233331100330033110033223322222x1033003322333311111133003300222200221x1000112233331100330033110033223322221x1033003322333311111133003300222200223x1000112233331100330033110033223322223x1033003322333311111133003300222200220x1000112233331100330033110033223322220x1322222211113300003333221133003300222x1322003300223300111111223300223333222x1322222211113300003333221133003300221x1322003300223300111111223300223333221x1322222211113300003333221133003300223x1322003300223300111111223300223333223x1322222211113300003333221133003300220x1322003300223300111111223300223333220x1033000033001133222211220033113300222x1000112200333333002233330011221100222x1033000033001133222211220033113300221x1000112200333333002233330011221100221x1033000033001133222211220033113300223x1000112200333333002233330011221100223x1033000033001133222211220033113300220x1000112200333333002233330011221100220x1333113300222211333322331111333300222x1333333333002222001111221133331133222x1333113300222211333322331111333300221x1333333333002222001111221133331133221x1333113300222211333322331111333300223x1333333333002222001111221133331133223x1333113300222211333322331111333300220x1333333333002222001111221133331133220x1022223300001133000022003322111111222x1000110022332233112211000022331100222x1022223300001133000022003322111111221x1000110022332233112211000022331100221x1022223300001133000022003322111111223x1000110022332233112211000022331100223x1022223300001133000022003322111111220x1000110022332233112211000022331100220x1222223322220033003333113333001133222x1222333322332233331100002200331133222x1222223322220033003333113333001133221x1222333322332233331100002200331133221x1222223322220033003333113333001133223x1222333322332233331100002200331133223x1222223322220033003333113333001133220x1222333322332233331100002200331133220x1222331111223322221133330033221133222x1200113333331122223322111133222233222x1222331111223322221133330033221133221x1200113333331122223322111133222233221x1222331111223322221133330033221133223x1200113333331122223322111133222233223x1222331111223322221133330033221133220x1200113333331122223322111133222233220x1311111133110000223322332233332233222x1311002200113322223333113333331122222x1311111133110000223322332233332233221x1311002200113322223333113333331122221x1311111133110000223322332233332233223x1311002200113322223333113333331122223x1311111133110000223322332233332233220x1311002200113322223333113333331122220x1011003300112222221133001133003333222x1011002211001122333322330011330033222x1011003300112222221133001133003333221x1011002211001122333322330011330033221x1011003300112222221133001133003333223x1011002211001122333322330011330033223x1011003300112222221133001133003333220x1011002211001122333322330011330033220x1211111122002200110022113322113333222x1211001122330022112200112211333311222x1211111122002200110022113322113333221x1211001122330022112200112211333311221x1211111122002200110022113322113333223x1211001122330022112200112211333311223x1211111122002200110022113322113333220x1211001122330022112200112211333311220x1322003311223333000033330033000000332x1322000000332200110000333333330033332x1322003311223333000033330033000000331x1322000000332200110000333333330033331x1322003311223333000033330033000000333x1322000000332200110000333333330033333x1322003311223333000033330033000000330x1322000000332200110000333333330033330x1011330033221100220011003300221100332x1000221100112200333333331100112200002x1011330033221100220011003300221100331x1000221100112200333333331100112200001x1011330033221100220011003300221100333x1000221100112200333333331100112200003x1011330033221100220011003300221100330x1000221100112200333333331100112200000x1211113311222200330022000033222200332x1222111100220022333333110000002222332x1211113311222200330022000033222200331x1222111100220022333333110000002222331x1211113311222200330022000033222200333x1222111100220022333333110000002222333x1211113311222200330022000033222200330x1222111100220022333333110000002222330x1022223322003311111100331100332200332x1011112200113333002233223322001100332x1022223322003311111100331100332200331x1011112200113333002233223322001100331x1022223322003311111100331100332200333x1011112200113333002233223322001100333x1022223322003311111100331100332200330x1011112200113333002233223322001100330x1211221133221122000022332222003300332x1211223333110011223300220022332222002x1211221133221122000022332222003300331x1211223333110011223300220022332222001x1211221133221122000022332222003300333x1211223333110011223300220022332222003x1211221133221122000022332222003300330x1211223333110011223300220022332222000x1022223300221100332200003311223300332x1022222200003311333333112200002200332x1022223300221100332200003311223300331x1022222200003311333333112200002200331x1022223300221100332200003311223300333x1022222200003311333333112200002200333x1022223300221100332200003311223300330x1022222200003311333333112200002200330x1033110033000000331122113311111111332x1011333300111111110033333322001111002x1033110033000000331122113311111111331x1011333300111111110033333322001111001x1033110033000000331122113311111111333x1011333300111111110033333322001111003x1033110033000000331122113311111111330x1011333300111111110033333322001111000x1311000022113311111111003300331111332x1311333311000011110033332211111111002x1311000022113311111111003300331111331x1311333311000011110033332211111111001x1311000022113311111111003300331111333x1311333311000011110033332211111111003x1311000022113311111111003300331111330x1311333311000011110033332211111111000x1333113311332233221133002222332211332x1333333333332222223311111122110022332x1333113311332233221133002222332211331x1333333333332222223311111122110022331x1333113311332233221133002222332211333x1333333333332222223311111122110022333x1333113311332233221133002222332211330x1333333333332222223311111122110022330x1011003300333300331122332233000022332x1000000000333333332200331111332222332x1011003300333300331122332233000022331x1000000000333333332200331111332222331x1011003300333300331122332233000022333x1000000000333333332200331111332222333x1011003300333300331122332233000022330x1000000000333333332200331111332222330x1322111111330022112222220011330022332x1322112222112211110000223333113322002x1322111111330022112222220011330022331x1322112222112211110000223333113322001x1322111111330022112222220011330022333x1322112222112211110000223333113322003x1322111111330022112222220011330022330x1322112222112211110000223333113322000x1000113322000022220033330022221122332x1000000022112200112222333333332222002x1000113322000022220033330022221122331x1000000022112200112222333333332222001x1000113322000022220033330022221122333x1000000022112200112222333333332222003x1000113322000022220033330022221122330x1000000022112200112222333333332222000x1022331111000033330011002211003322332x1011001133111100333322000000223322332x1022331111000033330011002211003322331x1011001133111100333322000000223322331x1022331111000033330011002211003322333x1011001133111100333322000000223322333x1022331111000033330011002211003322330x1011001133111100333322000000223322330x1122223311111133332200332233002233332x1111222211333322220011003322333333332x1122223311111133332200332233002233331x1111222211333322220011003322333333331x1122223311111133332200332233002233333x1111222211333322220011003322333333333x1122223311111133332200332233002233330x1111222211333322220011003322333333330x111133113322113311331100003300000000002x113311001100331111223333113300000000002x111133113322113311331100003300000000001x113311001100331111223333113300000000001x111133113322113311331100003300000000003x113311001100331111223333113300000000003x111133113322113311331100003300000000000x113311001100331111223333113300000000000x131133113322113311331100003300000000002x133311001100331111223333113300000000002x131133113322113311331100003300000000001x133311001100331111223333113300000000001x131133113322113311331100003300000000003x133311001100331111223333113300000000003x131133113322113311331100003300000000000x133311001100331111223333113300000000000x121133113322113311331100003300000000002x123311001100331111223333113300000000002x121133113322113311331100003300000000001x123311001100331111223333113300000000001x121133113322113311331100003300000000003x123311001100331111223333113300000000003x121133113322113311331100003300000000000x123311001100331111223333113300000000000x101133113322113311331100003300000000002x103311001100331111223333113300000000002x101133113322113311331100003300000000001x103311001100331111223333113300000000001x101133113322113311331100003300000000003x103311001100331111223333113300000000003x101133113322113311331100003300000000000x103311001100331111223333113300000000000x112211332200330022112211331111110000002x111100221133112211001122330000112233002x112211332200330022112211331111110000001x111100221133112211001122330000112233001x112211332200330022112211331111110000003x111100221133112211001122330000112233003x112211332200330022112211331111110000000x111100221133112211001122330000112233000x132211332200330022112211331111110000002x131100221133112211001122330000112233002x132211332200330022112211331111110000001x131100221133112211001122330000112233001x132211332200330022112211331111110000003x131100221133112211001122330000112233003x132211332200330022112211331111110000000x131100221133112211001122330000112233000x122211332200330022112211331111110000002x121100221133112211001122330000112233002x122211332200330022112211331111110000001x121100221133112211001122330000112233001x122211332200330022112211331111110000003x121100221133112211001122330000112233003x122211332200330022112211331111110000000x121100221133112211001122330000112233000x102211332200330022112211331111110000002x101100221133112211001122330000112233002x102211332200330022112211331111110000001x101100221133112211001122330000112233001x102211332200330022112211331111110000003x101100221133112211001122330000112233003x102211332200330022112211331111110000000x101100221133112211001122330000112233000x110011221122003300223322220011330000002x112200001122220011000033110022333322002x110011221122003300223322220011330000001x112200001122220011000033110022333322001x110011221122003300223322220011330000003x112200001122220011000033110022333322003x110011221122003300223322220011330000000x112200001122220011000033110022333322000x130011221122003300223322220011330000002x132200001122220011000033110022333322002x130011221122003300223322220011330000001x132200001122220011000033110022333322001x130011221122003300223322220011330000003x132200001122220011000033110022333322003x130011221122003300223322220011330000000x132200001122220011000033110022333322000x120011221122003300223322220011330000002x122200001122220011000033110022333322002x120011221122003300223322220011330000001x122200001122220011000033110022333322001x120011221122003300223322220011330000003x122200001122220011000033110022333322003x120011221122003300223322220011330000000x122200001122220011000033110022333322000x100011221122003300223322220011330000002x102200001122220011000033110022333322002x100011221122003300223322220011330000001x102200001122220011000033110022333322001x100011221122003300223322220011330000003x102200001122220011000033110022333322003x100011221122003300223322220011330000000x102200001122220011000033110022333322000x110022333333220033223300331111330000002x112222333333000000110000333322333311002x110022333333220033223300331111330000001x112222333333000000110000333322333311001x110022333333220033223300331111330000003x112222333333000000110000333322333311003x110022333333220033223300331111330000000x112222333333000000110000333322333311000x130022333333220033223300331111330000002x132222333333000000110000333322333311002x130022333333220033223300331111330000001x132222333333000000110000333322333311001x130022333333220033223300331111330000003x132222333333000000110000333322333311003x130022333333220033223300331111330000000x132222333333000000110000333322333311000x120022333333220033223300331111330000002x122222333333000000110000333322333311002x120022333333220033223300331111330000001x122222333333000000110000333322333311001x120022333333220033223300331111330000003x122222333333000000110000333322333311003x120022333333220033223300331111330000000x122222333333000000110000333322333311000x100022333333220033223300331111330000002x102222333333000000110000333322333311002x100022333333220033223300331111330000001x102222333333000000110000333322333311001x100022333333220033223300331111330000003x102222333333000000110000333322333311003x100022333333220033223300331111330000000x102222333333000000110000333322333311000x112211113333222211112222110000001111002x111100110011223311223300112222221111002x112211113333222211112222110000001111001x111100110011223311223300112222221111001x112211113333222211112222110000001111003x111100110011223311223300112222221111003x112211113333222211112222110000001111000x111100110011223311223300112222221111000x132211113333222211112222110000001111002x131100110011223311223300112222221111002x132211113333222211112222110000001111001x131100110011223311223300112222221111001x132211113333222211112222110000001111003x131100110011223311223300112222221111003x132211113333222211112222110000001111000x131100110011223311223300112222221111000x122211113333222211112222110000001111002x121100110011223311223300112222221111002x122211113333222211112222110000001111001x121100110011223311223300112222221111001x122211113333222211112222110000001111003x121100110011223311223300112222221111003x122211113333222211112222110000001111000x121100110011223311223300112222221111000x102211113333222211112222110000001111002x101100110011223311223300112222221111002x102211113333222211112222110000001111001x101100110011223311223300112222221111001x102211113333222211112222110000001111003x101100110011223311223300112222221111003x102211113333222211112222110000001111000x101100110011223311223300112222221111000x112233001111113300331133111100002211002x110033330033112200113311220011111111002x112233001111113300331133111100002211001x110033330033112200113311220011111111001x112233001111113300331133111100002211003x110033330033112200113311220011111111003x112233001111113300331133111100002211000x110033330033112200113311220011111111000x132233001111113300331133111100002211002x130033330033112200113311220011111111002x132233001111113300331133111100002211001x130033330033112200113311220011111111001x132233001111113300331133111100002211003x130033330033112200113311220011111111003x132233001111113300331133111100002211000x130033330033112200113311220011111111000x122233001111113300331133111100002211002x120033330033112200113311220011111111002x122233001111113300331133111100002211001x120033330033112200113311220011111111001x122233001111113300331133111100002211003x120033330033112200113311220011111111003x122233001111113300331133111100002211000x120033330033112200113311220011111111000x102233001111113300331133111100002211002x100033330033112200113311220011111111002x102233001111113300331133111100002211001x100033330033112200113311220011111111001x102233001111113300331133111100002211003x100033330033112200113311220011111111003x102233001111113300331133111100002211000x100033330033112200113311220011111111000x110011223300111122221133222233110033002x112211223333331100221122330000112211002x110011223300111122221133222233110033001x112211223333331100221122330000112211001x110011223300111122221133222233110033003x112211223333331100221122330000112211003x110011223300111122221133222233110033000x112211223333331100221122330000112211000x130011223300111122221133222233110033002x132211223333331100221122330000112211002x130011223300111122221133222233110033001x132211223333331100221122330000112211001x130011223300111122221133222233110033003x132211223333331100221122330000112211003x130011223300111122221133222233110033000x132211223333331100221122330000112211000x120011223300111122221133222233110033002x122211223333331100221122330000112211002x120011223300111122221133222233110033001x122211223333331100221122330000112211001x120011223300111122221133222233110033003x122211223333331100221122330000112211003x120011223300111122221133222233110033000x122211223333331100221122330000112211000x100011223300111122221133222233110033002x102211223333331100221122330000112211002x100011223300111122221133222233110033001x102211223333331100221122330000112211001x100011223300111122221133222233110033003x102211223333331100221122330000112211003x100011223300111122221133222233110033000x102211223333331100221122330000112211000x112211003333113300113311000000002233002x111122333333332200110000001100331100002x112211003333113300113311000000002233001x111122333333332200110000001100331100001x112211003333113300113311000000002233003x111122333333332200110000001100331100003x112211003333113300113311000000002233000x111122333333332200110000001100331100000x132211003333113300113311000000002233002x131122333333332200110000001100331100002x132211003333113300113311000000002233001x131122333333332200110000001100331100001x132211003333113300113311000000002233003x131122333333332200110000001100331100003x132211003333113300113311000000002233000x131122333333332200110000001100331100000x122211003333113300113311000000002233002x121122333333332200110000001100331100002x122211003333113300113311000000002233001x121122333333332200110000001100331100001x122211003333113300113311000000002233003x121122333333332200110000001100331100003x122211003333113300113311000000002233000x121122333333332200110000001100331100000x102211003333113300113311000000002233002x101122333333332200110000001100331100002x102211003333113300113311000000002233001x101122333333332200110000001100331100001x102211003333113300113311000000002233003x101122333333332200110000001100331100003x102211003333113300113311000000002233000x101122333333332200110000001100331100000x110022113322221111111122000022002200112x112200112222110011111122331100000022222x110022113322221111111122000022002200111x112200112222110011111122331100000022221x110022113322221111111122000022002200113x112200112222110011111122331100000022223x110022113322221111111122000022002200110x112200112222110011111122331100000022220x130022113322221111111122000022002200112x132200112222110011111122331100000022222x130022113322221111111122000022002200111x132200112222110011111122331100000022221x130022113322221111111122000022002200113x132200112222110011111122331100000022223x130022113322221111111122000022002200110x132200112222110011111122331100000022220x120022113322221111111122000022002200112x122200112222110011111122331100000022222x120022113322221111111122000022002200111x122200112222110011111122331100000022221x120022113322221111111122000022002200113x122200112222110011111122331100000022223x120022113322221111111122000022002200110x122200112222110011111122331100000022220x100022113322221111111122000022002200112x102200112222110011111122331100000022222x100022113322221111111122000022002200111x102200112222110011111122331100000022221x100022113322221111111122000022002200113x102200112222110011111122331100000022223x100022113322221111111122000022002200110x102200112222110011111122331100000022220x112200221133220011222200331133111111112x111122221111001100333300331111222222112x112200221133220011222200331133111111111x111122221111001100333300331111222222111x112200221133220011222200331133111111113x111122221111001100333300331111222222113x112200221133220011222200331133111111110x111122221111001100333300331111222222110x132200221133220011222200331133111111112x131122221111001100333300331111222222112x132200221133220011222200331133111111111x131122221111001100333300331111222222111x132200221133220011222200331133111111113x131122221111001100333300331111222222113x132200221133220011222200331133111111110x131122221111001100333300331111222222110x122200221133220011222200331133111111112x121122221111001100333300331111222222112x122200221133220011222200331133111111111x121122221111001100333300331111222222111x122200221133220011222200331133111111113x121122221111001100333300331111222222113x122200221133220011222200331133111111110x121122221111001100333300331111222222110x102200221133220011222200331133111111112x101122221111001100333300331111222222112x102200221133220011222200331133111111111x101122221111001100333300331111222222111x102200221133220011222200331133111111113x101122221111001100333300331111222222113x102200221133220011222200331133111111110x101122221111001100333300331111222222110x112211111111330000002200001133112211112x111100112233003300111100112222110011112x112211111111330000002200001133112211111x111100112233003300111100112222110011111x112211111111330000002200001133112211113x111100112233003300111100112222110011113x112211111111330000002200001133112211110x111100112233003300111100112222110011110x132211111111330000002200001133112211112x131100112233003300111100112222110011112x132211111111330000002200001133112211111x131100112233003300111100112222110011111x132211111111330000002200001133112211113x131100112233003300111100112222110011113x132211111111330000002200001133112211110x131100112233003300111100112222110011110x122211111111330000002200001133112211112x121100112233003300111100112222110011112x122211111111330000002200001133112211111x121100112233003300111100112222110011111x122211111111330000002200001133112211113x121100112233003300111100112222110011113x122211111111330000002200001133112211110x121100112233003300111100112222110011110x102211111111330000002200001133112211112x101100112233003300111100112222110011112x102211111111330000002200001133112211111x101100112233003300111100112222110011111x102211111111330000002200001133112211113x101100112233003300111100112222110011113x102211111111330000002200001133112211110x101100112233003300111100112222110011110x111111332211331133332211223322220022112x113333332233331122111111220022221122112x111111332211331133332211223322220022111x113333332233331122111111220022221122111x111111332211331133332211223322220022113x113333332233331122111111220022221122113x111111332211331133332211223322220022110x113333332233331122111111220022221122110x131111332211331133332211223322220022112x133333332233331122111111220022221122112x131111332211331133332211223322220022111x133333332233331122111111220022221122111x131111332211331133332211223322220022113x133333332233331122111111220022221122113x131111332211331133332211223322220022110x133333332233331122111111220022221122110x121111332211331133332211223322220022112x123333332233331122111111220022221122112x121111332211331133332211223322220022111x123333332233331122111111220022221122111x121111332211331133332211223322220022113x123333332233331122111111220022221122113x121111332211331133332211223322220022110x123333332233331122111111220022221122110x101111332211331133332211223322220022112x103333332233331122111111220022221122112x101111332211331133332211223322220022111x103333332233331122111111220022221122111x101111332211331133332211223322220022113x103333332233331122111111220022221122113x101111332211331133332211223322220022110x103333332233331122111111220022221122110x111100223311330033001122332211330022112x110033332233332211003322112211000011112x111100223311330033001122332211330022111x110033332233332211003322112211000011111x111100223311330033001122332211330022113x110033332233332211003322112211000011113x111100223311330033001122332211330022110x110033332233332211003322112211000011110x131100223311330033001122332211330022112x130033332233332211003322112211000011112x131100223311330033001122332211330022111x130033332233332211003322112211000011111x131100223311330033001122332211330022113x130033332233332211003322112211000011113x131100223311330033001122332211330022110x130033332233332211003322112211000011110x121100223311330033001122332211330022112x120033332233332211003322112211000011112x121100223311330033001122332211330022111x120033332233332211003322112211000011111x121100223311330033001122332211330022113x120033332233332211003322112211000011113x121100223311330033001122332211330022110x120033332233332211003322112211000011110x101100223311330033001122332211330022112x100033332233332211003322112211000011112x101100223311330033001122332211330022111x100033332233332211003322112211000011111x101100223311330033001122332211330022113x100033332233332211003322112211000011113x101100223311330033001122332211330022110x100033332233332211003322112211000011110x112211113322003300332233002233003322112x110033333322222233330011220033220011112x112211113322003300332233002233003322111x110033333322222233330011220033220011111x112211113322003300332233002233003322113x110033333322222233330011220033220011113x112211113322003300332233002233003322110x110033333322222233330011220033220011110x132211113322003300332233002233003322112x130033333322222233330011220033220011112x132211113322003300332233002233003322111x130033333322222233330011220033220011111x132211113322003300332233002233003322113x130033333322222233330011220033220011113x132211113322003300332233002233003322110x130033333322222233330011220033220011110x122211113322003300332233002233003322112x120033333322222233330011220033220011112x122211113322003300332233002233003322111x120033333322222233330011220033220011111x122211113322003300332233002233003322113x120033333322222233330011220033220011113x122211113322003300332233002233003322110x120033333322222233330011220033220011110x102211113322003300332233002233003322112x100033333322222233330011220033220011112x102211113322003300332233002233003322111x100033333322222233330011220033220011111x102211113322003300332233002233003322113x100033333322222233330011220033220011113x102211113322003300332233002233003322110x100033333322222233330011220033220011110x110000333311330011221133113333000033112x111122330000331133110011000033333333112x110000333311330011221133113333000033111x111122330000331133110011000033333333111x110000333311330011221133113333000033113x111122330000331133110011000033333333113x110000333311330011221133113333000033110x111122330000331133110011000033333333110x130000333311330011221133113333000033112x131122330000331133110011000033333333112x130000333311330011221133113333000033111x131122330000331133110011000033333333111x130000333311330011221133113333000033113x131122330000331133110011000033333333113x130000333311330011221133113333000033110x131122330000331133110011000033333333110x120000333311330011221133113333000033112x121122330000331133110011000033333333112x120000333311330011221133113333000033111x121122330000331133110011000033333333111x120000333311330011221133113333000033113x121122330000331133110011000033333333113x120000333311330011221133113333000033110x121122330000331133110011000033333333110x100000333311330011221133113333000033112x101122330000331133110011000033333333112x100000333311330011221133113333000033111x101122330000331133110011000033333333111x100000333311330011221133113333000033113x101122330000331133110011000033333333113x100000333311330011221133113333000033110x101122330000331133110011000033333333110x110033001133110000220033221100221100222x111100220000110033112211000000333322222x110033001133110000220033221100221100221x111100220000110033112211000000333322221x110033001133110000220033221100221100223x111100220000110033112211000000333322223x110033001133110000220033221100221100220x111100220000110033112211000000333322220x130033001133110000220033221100221100222x131100220000110033112211000000333322222x130033001133110000220033221100221100221x131100220000110033112211000000333322221x130033001133110000220033221100221100223x131100220000110033112211000000333322223x130033001133110000220033221100221100220x131100220000110033112211000000333322220x120033001133110000220033221100221100222x121100220000110033112211000000333322222x120033001133110000220033221100221100221x121100220000110033112211000000333322221x120033001133110000220033221100221100223x121100220000110033112211000000333322223x120033001133110000220033221100221100220x121100220000110033112211000000333322220x100033001133110000220033221100221100222x101100220000110033112211000000333322222x100033001133110000220033221100221100221x101100220000110033112211000000333322221x100033001133110000220033221100221100223x101100220000110033112211000000333322223x100033001133110000220033221100221100220x101100220000110033112211000000333322220x112211003322112222221133110022113311222x111111111122330011220022222233331122222x112211003322112222221133110022113311221x111111111122330011220022222233331122221x112211003322112222221133110022113311223x111111111122330011220022222233331122223x112211003322112222221133110022113311220x111111111122330011220022222233331122220x132211003322112222221133110022113311222x131111111122330011220022222233331122222x132211003322112222221133110022113311221x131111111122330011220022222233331122221x132211003322112222221133110022113311223x131111111122330011220022222233331122223x132211003322112222221133110022113311220x131111111122330011220022222233331122220x122211003322112222221133110022113311222x121111111122330011220022222233331122222x122211003322112222221133110022113311221x121111111122330011220022222233331122221x122211003322112222221133110022113311223x121111111122330011220022222233331122223x122211003322112222221133110022113311220x121111111122330011220022222233331122220x102211003322112222221133110022113311222x101111111122330011220022222233331122222x102211003322112222221133110022113311221x101111111122330011220022222233331122221x102211003322112222221133110022113311223x101111111122330011220022222233331122223x102211003322112222221133110022113311220x101111111122330011220022222233331122220x111111331122001100332200112222330000332x110033220000112233332200001111111122332x111111331122001100332200112222330000331x110033220000112233332200001111111122331x111111331122001100332200112222330000333x110033220000112233332200001111111122333x111111331122001100332200112222330000330x110033220000112233332200001111111122330x131111331122001100332200112222330000332x130033220000112233332200001111111122332x131111331122001100332200112222330000331x130033220000112233332200001111111122331x131111331122001100332200112222330000333x130033220000112233332200001111111122333x131111331122001100332200112222330000330x130033220000112233332200001111111122330x121111331122001100332200112222330000332x120033220000112233332200001111111122332x121111331122001100332200112222330000331x120033220000112233332200001111111122331x121111331122001100332200112222330000333x120033220000112233332200001111111122333x121111331122001100332200112222330000330x120033220000112233332200001111111122330x101111331122001100332200112222330000332x100033220000112233332200001111111122332x101111331122001100332200112222330000331x100033220000112233332200001111111122331x101111331122001100332200112222330000333x100033220000112233332200001111111122333x101111331122001100332200112222330000330x100033220000112233332200001111111122330x112222111133113322000033223300111100332x111122330000113322000033112233331111222x112222111133113322000033223300111100331x111122330000113322000033112233331111221x112222111133113322000033223300111100333x111122330000113322000033112233331111223x112222111133113322000033223300111100330x111122330000113322000033112233331111220x132222111133113322000033223300111100332x131122330000113322000033112233331111222x132222111133113322000033223300111100331x131122330000113322000033112233331111221x132222111133113322000033223300111100333x131122330000113322000033112233331111223x132222111133113322000033223300111100330x131122330000113322000033112233331111220x122222111133113322000033223300111100332x121122330000113322000033112233331111222x122222111133113322000033223300111100331x121122330000113322000033112233331111221x122222111133113322000033223300111100333x121122330000113322000033112233331111223x122222111133113322000033223300111100330x121122330000113322000033112233331111220x102222111133113322000033223300111100332x101122330000113322000033112233331111222x102222111133113322000033223300111100331x101122330000113322000033112233331111221x102222111133113322000033223300111100333x101122330000113322000033112233331111223x102222111133113322000033223300111100330x101122330000113322000033112233331111220x111100333300221133111133332200221100332x110022223333330033221111001133111100332x111100333300221133111133332200221100331x110022223333330033221111001133111100331x111100333300221133111133332200221100333x110022223333330033221111001133111100333x111100333300221133111133332200221100330x110022223333330033221111001133111100330x131100333300221133111133332200221100332x130022223333330033221111001133111100332x131100333300221133111133332200221100331x130022223333330033221111001133111100331x131100333300221133111133332200221100333x130022223333330033221111001133111100333x131100333300221133111133332200221100330x130022223333330033221111001133111100330x121100333300221133111133332200221100332x120022223333330033221111001133111100332x121100333300221133111133332200221100331x120022223333330033221111001133111100331x121100333300221133111133332200221100333x120022223333330033221111001133111100333x121100333300221133111133332200221100330x120022223333330033221111001133111100330x101100333300221133111133332200221100332x100022223333330033221111001133111100332x101100333300221133111133332200221100331x100022223333330033221111001133111100331x101100333300221133111133332200221100333x100022223333330033221111001133111100333x101100333300221133111133332200221100330x100022223333330033221111001133111100330x111100330033001111331111332222112200332x110011001100333311220033112233221111332x111100330033001111331111332222112200331x110011001100333311220033112233221111331x111100330033001111331111332222112200333x110011001100333311220033112233221111333x111100330033001111331111332222112200330x110011001100333311220033112233221111330x131100330033001111331111332222112200332x130011001100333311220033112233221111332x131100330033001111331111332222112200331x130011001100333311220033112233221111331x131100330033001111331111332222112200333x130011001100333311220033112233221111333x131100330033001111331111332222112200330x130011001100333311220033112233221111330x121100330033001111331111332222112200332x120011001100333311220033112233221111332x121100330033001111331111332222112200331x120011001100333311220033112233221111331x121100330033001111331111332222112200333x120011001100333311220033112233221111333x121100330033001111331111332222112200330x120011001100333311220033112233221111330x101100330033001111331111332222112200332x100011001100333311220033112233221111332x101100330033001111331111332222112200331x100011001100333311220033112233221111331x101100330033001111331111332222112200333x100011001100333311220033112233221111333x101100330033001111331111332222112200330x100011001100333311220033112233221111330x112233113322223311113311332233001111332x111111112233331133331100223322332211332x112233113322223311113311332233001111331x111111112233331133331100223322332211331x112233113322223311113311332233001111333x111111112233331133331100223322332211333x112233113322223311113311332233001111330x111111112233331133331100223322332211330x132233113322223311113311332233001111332x131111112233331133331100223322332211332x132233113322223311113311332233001111331x131111112233331133331100223322332211331x132233113322223311113311332233001111333x131111112233331133331100223322332211333x132233113322223311113311332233001111330x131111112233331133331100223322332211330x122233113322223311113311332233001111332x121111112233331133331100223322332211332x122233113322223311113311332233001111331x121111112233331133331100223322332211331x122233113322223311113311332233001111333x121111112233331133331100223322332211333x122233113322223311113311332233001111330x121111112233331133331100223322332211330x102233113322223311113311332233001111332x101111112233331133331100223322332211332x102233113322223311113311332233001111331x101111112233331133331100223322332211331x102233113322223311113311332233001111333x101111112233331133331100223322332211333x102233113322223311113311332233001111330x101111112233331133331100223322332211330x110000330011331111113311333300331111332x111100111133111111001100333333333333002x110000330011331111113311333300331111331x111100111133111111001100333333333333001x110000330011331111113311333300331111333x111100111133111111001100333333333333003x110000330011331111113311333300331111330x111100111133111111001100333333333333000x130000330011331111113311333300331111332x131100111133111111001100333333333333002x130000330011331111113311333300331111331x131100111133111111001100333333333333001x130000330011331111113311333300331111333x131100111133111111001100333333333333003x130000330011331111113311333300331111330x131100111133111111001100333333333333000x120000330011331111113311333300331111332x121100111133111111001100333333333333002x120000330011331111113311333300331111331x121100111133111111001100333333333333001x120000330011331111113311333300331111333x121100111133111111001100333333333333003x120000330011331111113311333300331111330x121100111133111111001100333333333333000x100000330011331111113311333300331111332x101100111133111111001100333333333333002x100000330011331111113311333300331111331x101100111133111111001100333333333333001x100000330011331111113311333300331111333x101100111133111111001100333333333333003x100000330011331111113311333300331111330x101100111133111111001100333333333333000x110011223300220022221133220022112211332x112222001133331122222222001111220033002x110011223300220022221133220022112211331x112222001133331122222222001111220033001x110011223300220022221133220022112211333x112222001133331122222222001111220033003x110011223300220022221133220022112211330x112222001133331122222222001111220033000x130011223300220022221133220022112211332x132222001133331122222222001111220033002x130011223300220022221133220022112211331x132222001133331122222222001111220033001x130011223300220022221133220022112211333x132222001133331122222222001111220033003x130011223300220022221133220022112211330x132222001133331122222222001111220033000x120011223300220022221133220022112211332x122222001133331122222222001111220033002x120011223300220022221133220022112211331x122222001133331122222222001111220033001x120011223300220022221133220022112211333x122222001133331122222222001111220033003x120011223300220022221133220022112211330x122222001133331122222222001111220033000x100011223300220022221133220022112211332x102222001133331122222222001111220033002x100011223300220022221133220022112211331x102222001133331122222222001111220033001x100011223300220022221133220022112211333x102222001133331122222222001111220033003x100011223300220022221133220022112211330x102222001133331122222222001111220033000x110011223333221133221133000033222211332x112233222200113311000033112211223333332x110011223333221133221133000033222211331x112233222200113311000033112211223333331x110011223333221133221133000033222211333x112233222200113311000033112211223333333x110011223333221133221133000033222211330x112233222200113311000033112211223333330x130011223333221133221133000033222211332x132233222200113311000033112211223333332x130011223333221133221133000033222211331x132233222200113311000033112211223333331x130011223333221133221133000033222211333x132233222200113311000033112211223333333x130011223333221133221133000033222211330x132233222200113311000033112211223333330x120011223333221133221133000033222211332x122233222200113311000033112211223333332x120011223333221133221133000033222211331x122233222200113311000033112211223333331x120011223333221133221133000033222211333x122233222200113311000033112211223333333x120011223333221133221133000033222211330x122233222200113311000033112211223333330x100011223333221133221133000033222211332x102233222200113311000033112211223333332x100011223333221133221133000033222211331x102233222200113311000033112211223333331x100011223333221133221133000033222211333x102233222200113311000033112211223333333x100011223333221133221133000033222211330x102233222200113311000033112211223333330x110033330011222233113300220022113311332x112222223311001111003300003322333311332x110033330011222233113300220022113311331x112222223311001111003300003322333311331x110033330011222233113300220022113311333x112222223311001111003300003322333311333x110033330011222233113300220022113311330x112222223311001111003300003322333311330x130033330011222233113300220022113311332x132222223311001111003300003322333311332x130033330011222233113300220022113311331x132222223311001111003300003322333311331x130033330011222233113300220022113311333x132222223311001111003300003322333311333x130033330011222233113300220022113311330x132222223311001111003300003322333311330x120033330011222233113300220022113311332x122222223311001111003300003322333311332x120033330011222233113300220022113311331x122222223311001111003300003322333311331x120033330011222233113300220022113311333x122222223311001111003300003322333311333x120033330011222233113300220022113311330x122222223311001111003300003322333311330x100033330011222233113300220022113311332x102222223311001111003300003322333311332x100033330011222233113300220022113311331x102222223311001111003300003322333311331x100033330011222233113300220022113311333x102222223311001111003300003322333311333x100033330011222233113300220022113311330x102222223311001111003300003322333311330x111122113333223322113322222233003322332x112222110033332233333322221122223311332x111122113333223322113322222233003322331x112222110033332233333322221122223311331x111122113333223322113322222233003322333x112222110033332233333322221122223311333x111122113333223322113322222233003322330x112222110033332233333322221122223311330x131122113333223322113322222233003322332x132222110033332233333322221122223311332x131122113333223322113322222233003322331x132222110033332233333322221122223311331x131122113333223322113322222233003322333x132222110033332233333322221122223311333x131122113333223322113322222233003322330x132222110033332233333322221122223311330x121122113333223322113322222233003322332x122222110033332233333322221122223311332x121122113333223322113322222233003322331x122222110033332233333322221122223311331x121122113333223322113322222233003322333x122222110033332233333322221122223311333x121122113333223322113322222233003322330x122222110033332233333322221122223311330x101122113333223322113322222233003322332x102222110033332233333322221122223311332x101122113333223322113322222233003322331x102222110033332233333322221122223311331x101122113333223322113322222233003322333x102222110033332233333322221122223311333x101122113333223322113322222233003322330x102222110033332233333322221122223311330x112211110011223300221133222200221133332x111100112211223322222233002233110011332x112211110011223300221133222200221133331x111100112211223322222233002233110011331x112211110011223300221133222200221133333x111100112211223322222233002233110011333x112211110011223300221133222200221133330x111100112211223322222233002233110011330x132211110011223300221133222200221133332x131100112211223322222233002233110011332x132211110011223300221133222200221133331x131100112211223322222233002233110011331x132211110011223300221133222200221133333x131100112211223322222233002233110011333x132211110011223300221133222200221133330x131100112211223322222233002233110011330x122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x1122111121111113111153311130111700111303111113211123111801111101110211120111311111211111111022333322113300221100111133220022112x1022222222331133221133331100000011112x1022333322113300221100111133220022111x1022222222331133221133331100000011111x1022333322113300221100111133220022113x1022222222331133221133331100000011113x1022333322113300221100111133220022110x1022222222331133221133331100000011110x1211111122002200110022113322113333222x1211001122330022112200112211333311222x1211111122002200110022113322113333221x1211001122330022112200112211333311221x1211111122002200110022113322113333223x1211001122330022112200112211333311223x1211111122002200110022113322113333220x1211001122330022112200112211333311220x112211113333222211112222110000001111002x111100110011223311223300112222221111002x112211113333222211112222110000001111001x111100110011223311223300112222221111001x112211113333222211112222110000001111003x111100110011223311223300112222221111003x112211113333222211112222110000001111000x111100110011223311223300112222221111000x132211113333222211112222110000001111002x131100110011223311223300112222221111002x132211113333222211112222110000001111001x131100110011223311223300112222221111001x132211113333222211112222110000001111003x131100110011223311223300112222221111003x132211113333222211112222110000001111000x131100110011223311223300112222221111000x122211113333222211112222110000001111002x121100110011223311223300112222221111002x122211113333222211112222110000001111001x121100110011223311223300112222221111001x122211113333222211112222110000001111003x121100110011223311223300112222221111003x122211113333222211112222110000001111000x121100110011223311223300112222221111000x102211113333222211112222110000001111002x101100110011223311223300112222221111002x102211113333222211112222110000001111001x101100110011223311223300112222221111001x102211113333222211112222110000001111003x101100110011223311223300112222221111003x102211113333222211112222110000001111000x101100110011223311223300112222221111000x131100333300221133111133332200221100332x130022223333330033221111001133111100332x131100333300221133111133332200221100331x130022223333330033221111001133111100331x131100333300221133111133332200221100333x130022223333330033221111001133111100333x131100333300221133111133332200221100330x130022223333330033221111001133111100330x120011223300220022221133220022112211333x122222001133331122222222001111220033003x112211110011223300221133222200221133332x111100112211223322222233002233110011332x112211110011223300221133222200221133331x111100112211223322222233002233110011331x112211110011223300221133222200221133333x111100112211223322222233002233110011333x112211110011223300221133222200221133330x111100112211223322222233002233110011330x132211110011223300221133222200221133332x131100112211223322222233002233110011332x132211110011223300221133222200221133331x131100112211223322222233002233110011331x132211110011223300221133222200221133333x131100112211223322222233002233110011333x132211110011223300221133222200221133330x131100112211223322222233002233110011330x122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x110211123111233111432111121111131113011110111011111111120111112111221113111110011103111022333322113300221100111133220022112x1022222222331133221133331100000011112x1022333322113300221100111133220022111x1022222222331133221133331100000011111x1022333322113300221100111133220022113x1022222222331133221133331100000011113x1022333322113300221100111133220022110x1022222222331133221133331100000011110x1211111122002200110022113322113333222x1211001122330022112200112211333311222x1211111122002200110022113322113333221x1211001122330022112200112211333311221x1211111122002200110022113322113333223x1211001122330022112200112211333311223x1211111122002200110022113322113333220x1211001122330022112200112211333311220x112211113333222211112222110000001111002x111100110011223311223300112222221111002x112211113333222211112222110000001111001x111100110011223311223300112222221111001x112211113333222211112222110000001111003x111100110011223311223300112222221111003x112211113333222211112222110000001111000x111100110011223311223300112222221111000x132211113333222211112222110000001111002x131100110011223311223300112222221111002x132211113333222211112222110000001111001x131100110011223311223300112222221111001x132211113333222211112222110000001111003x131100110011223311223300112222221111003x132211113333222211112222110000001111000x131100110011223311223300112222221111000x122211113333222211112222110000001111002x121100110011223311223300112222221111002x122211113333222211112222110000001111001x121100110011223311223300112222221111001x122211113333222211112222110000001111003x121100110011223311223300112222221111003x122211113333222211112222110000001111000x121100110011223311223300112222221111000x102211113333222211112222110000001111002x101100110011223311223300112222221111002x102211113333222211112222110000001111001x101100110011223311223300112222221111001x102211113333222211112222110000001111003x101100110011223311223300112222221111003x102211113333222211112222110000001111000x101100110011223311223300112222221111000x131100333300221133111133332200221100332x130022223333330033221111001133111100332x131100333300221133111133332200221100331x130022223333330033221111001133111100331x131100333300221133111133332200221100333x130022223333330033221111001133111100333x131100333300221133111133332200221100330x130022223333330033221111001133111100330x112211110011223300221133222200221133332x111100112211223322222233002233110011332x112211110011223300221133222200221133331x111100112211223322222233002233110011331x112211110011223300221133222200221133333x111100112211223322222233002233110011333x112211110011223300221133222200221133330x111100112211223322222233002233110011330x132211110011223300221133222200221133332x131100112211223322222233002233110011332x132211110011223300221133222200221133331x131100112211223322222233002233110011331x132211110011223300221133222200221133333x131100112211223322222233002233110011333x132211110011223300221133222200221133330x131100112211223322222233002233110011330x122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x110211123111331113211121111131111301111011110111111111201111211122111311110011103111022333322113300221100111133220022112x1022222222331133221133331100000011112x1022333322113300221100111133220022111x1022222222331133221133331100000011111x1022333322113300221100111133220022113x1022222222331133221133331100000011113x1022333322113300221100111133220022110x1022222222331133221133331100000011110x112211113333222211112222110000001111002x111100110011223311223300112222221111002x112211113333222211112222110000001111001x111100110011223311223300112222221111001x112211113333222211112222110000001111003x111100110011223311223300112222221111003x112211113333222211112222110000001111000x111100110011223311223300112222221111000x132211113333222211112222110000001111002x131100110011223311223300112222221111002x132211113333222211112222110000001111001x131100110011223311223300112222221111001x132211113333222211112222110000001111003x131100110011223311223300112222221111003x132211113333222211112222110000001111000x131100110011223311223300112222221111000x122211113333222211112222110000001111002x121100110011223311223300112222221111002x122211113333222211112222110000001111001x121100110011223311223300112222221111001x122211113333222211112222110000001111003x121100110011223311223300112222221111003x122211113333222211112222110000001111000x121100110011223311223300112222221111000x102211113333222211112222110000001111002x101100110011223311223300112222221111002x102211113333222211112222110000001111001x101100110011223311223300112222221111001x102211113333222211112222110000001111003x101100110011223311223300112222221111003x102211113333222211112222110000001111000x101100110011223311223300112222221111000x112211110011223300221133222200221133332x111100112211223322222233002233110011332x112211110011223300221133222200221133331x111100112211223322222233002233110011331x112211110011223300221133222200221133333x111100112211223322222233002233110011333x112211110011223300221133222200221133330x111100112211223322222233002233110011330x132211110011223300221133222200221133332x131100112211223322222233002233110011332x132211110011223300221133222200221133331x131100112211223322222233002233110011331x132211110011223300221133222200221133333x131100112211223322222233002233110011333x132211110011223300221133222200221133330x131100112211223322222233002233110011330x122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x1102111231113311132111121111131113011110111011111111120111121112211131111001110311112211110011223300221133222200221133332x111100112211223322222233002233110011332x112211110011223300221133222200221133331x111100112211223322222233002233110011331x112211110011223300221133222200221133333x111100112211223322222233002233110011333x112211110011223300221133222200221133330x111100112211223322222233002233110011330x122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x1112111121111111111011101111231113011102111131113211122111201113311113111122211110011223300221133222200221133332x121100112211223322222233002233110011332x122211110011223300221133222200221133331x121100112211223322222233002233110011331x122211110011223300221133222200221133333x121100112211223322222233002233110011333x122211110011223300221133222200221133330x121100112211223322222233002233110011330x102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x1122111121111111111011101111121112311130111021111311132111201113311113111102211110011223300221133222200221133332x101100112211223322222233002233110011332x102211110011223300221133222200221133331x101100112211223322222233002233110011331x102211110011223300221133222200221133333x101100112211223322222233002233110011333x102211110011223300221133222200221133330x101100112211223322222233002233110011330x1102111211111111110111011111211123111301111311132111221112011133111131111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe