YES 000001320332322211x1003320202310312120x1000021322233203002x1032310023023002022x1000111110022100131x1000121301010201111x1001223231001321110x1001101023231113220x1001332322300232230x1012332323022020330x1002311220123123223x1311230222123023021x1003102032133332001x1002030033021123313x1003111010101022322x1331210011010202102x1003130032200313323x1030032011330023323x1003303312233010301x1010013013320233303x1011030232112201132x1011302321302021211x1011133333032000001x1013103130303030201x1012033320300030033x1002032100003330333x1013011032303201321x1013302211010230331x1020303322021120321x1022023023331022101x1030003331030031221x1031130300210023330x1031220120131301313x1011120103121302333x1100020210221130033x1110202230110000233x1100122101320203000x1130010302002122010x1101010330312213131x1103103230131101231x1110012122023230220x1102032121022321020x1110013232012311221x1112231112213002130x1110101122111133130x1110011133121213110x1110233003003311333x1110233301030133033x1111132100330032133x1111332303013110023x1112001033103210120x1101323113021002100x1112033012323100213x1121031310210230233x1112111312223231031x1113123330212121211x1112230030332132303x1110332301320230323x1113200100310130112x1113100211003110302x1120123120300032010x1101130203103202200x1122312210322100001x1112223002311020021x1123122012322030331x1230302302112312321x1123211012031322331x1123112213230230311x1130032210002313113x1100321210133303021x1131022222230122133x1130222213120212233x1132321010110003210x1132301113100002120x1133131132320331332x1133321321131330233x1133220313012120321x1132010132202333121x1200020322033133312x1233231320033012002x1200131022223232220x1310212230230222220x1201213033102022122x1222102110332301022x1202210101220031111x1210110012320112021x1203331132320023220x1201013223233323020x1210032112011222021x1201121302221022011x1212003031203112211x1233232020201011111x1212201202122302200x1230102102022212220x1213000022221322322x1202321202102023232x1220000002211302111x1210230210002210101x1220010021311022203x1220022020111123003x1220123112112320123x1221231213210213021x1221002111202220323x1221022011221023023x1221200002201220012x1220200001221200212x1222003223200330011x1312000202301223230x1223311300010123200x1302302011022310310x1223333200323203022x1222302323303023023x1231201321232232033x1212223323230112303x1231313200312202221x1212110233332102022x1231320031103322013x1212331100233123300x1232103320113310210x1202331111021332030x1232130321312332001x1202123230112313303x1232200131122000133x1202130023302011321x1232310021312213222x1202011231233312222x1233111131112203223x1211323123111302213x1300003222003322301x1303000132022233020x1300022032233300103x1330302023300023201x1301301003322231113x1300321303022113113x1303013222300031311x1301133020203312130x1303032031130333313x1303330321301330313x1311332212221322322x1323321121232132222x1311332221110030130x1013302133211302110x1312031003112012111x1311021120131031021x1313322031123223320x1322123113302232330x1313332232323203130x1323121233233332030x1320000022123123021x1320022013310202021x1322022323200320321x1002333022233220221x1322030312212100123x1321022131232300201x1322322020330312122x1330210223233202212x1322323331012201031x1321020011332223331x1332210131303233012x1330123330211302312x12.1112223233023100000x1021213013202023300x1200302332223120000x1220200320320013230x1131001220011111000x1111102010103121000x1011123100132322100x1022311132320101100x1032232003223233100x1033020220323233210x1322321321022113200x1120320321222032113x1100233331230201300x1313321120330030200x1223220101010111300x1201202010110012133x1323313002230031300x1323320033110230030x1103010332213303300x1303332023310310010x1231102211232030110x1112120203123203110x1100000230333331110x1102030303031301310x1330030003023330210x1333033300001230200x1123102303230110310x1133032010112203310x1123021120223303020x1101220133320320220x1122130030133300030x1033320012003031130x1313103131021022130x1333203121301021110x1330031122012020001x1332000011032202011x1000302023101221001x1010221200203010031x1131312213033010101x1132101131032301301x1022032320221210011x1020123220121230201x1122113210232310011x1031200312211132211x1031331111221101011x1011312121331110011x1333113300300332011x1330331030103332011x1331230033001231111x1320011310303233111x1021012301330100211x1001200120311323101x1312001323210330211x1332032012013130121x1130132322213111211x1112121212033321311x1303231233030032211x1323032023103233011x1211031013001002311x1203011300112001311x1010230003021321021x1002202301302031101x1100001223012213221x1120020113200322211x1133030223210221321x1123213211203203032x1133223130210112321x1113032032312211321x1311313200012230031x1120303331012123001x1331221032222220131x1332212021312222031x1012300011010123231x1021200001311103231x1233133023231131331x1332033131123123331x1123021210313022331x1121333202231010231x1213331330223020002x1200210330023132332x1022232322220131002x1022222032032212013x1221220201330312102x1220103233011201222x1111130022101012202x1120211023210011012x1022320023231133302x1020323332322310102x1120222110211230012x1110220122203121102x1112211302130300212x1111110102020232332x1002203221202102212x1022212220201201032x1223223122220000312x1232320201202123202x1111203112200000022x1101012200012032012x1302220113120010022x1300321111020220022x1321023211211321022x1120312012312132122x1323022202111200122x1320320122110220122x1210022102200002122x1212002122100002022x1110033002322300222x1032322103202000213x1002321010003113322x1013013220110203203x1220302323002333322x1320320303323203222x1330232232123102132x1303211032323322212x1122202213002313132x1220201233332011212x1310223301130023132x1003321332001133212x1012013311023301232x1030233120111133202x1100233213123031232x1303313211032321202x1331000221131002232x1123110203320031202x1222312213120013232x1222213332132110202x1322302211131111332x1312203111321323112x1103223300222300003x1020332220231000303x1301003332230220003x1102320003320203033x1311132223300103103x1311311220303123003x1113130003222310303x1031213302020331103x1313333031130230303x1313033103123033303x1223223122212233113x1222231232121123323x1031030011122233113x1011203112331203310x1111210211300130213x1120130131021120113x1023322321130223313x1033232203311321223x1031302323232233313x1030233332332121323x1120321321220000023x1120202013310220023x1123023002323220223x1122022332220333200x1321001212213030223x1102003232131220123x1221213033020223223x1212202332322012033x1130102210133323223x1133322233110020123x1210332303131012233x1213203112033321033x11230200302332223120000x1220200320320013230x1131001220011111000x1111102010103121000x1011123100132322100x1022311132320101100x1032232003223233100x1033020220323233210x1223220101010111300x1201202010110012133x1323313002230031300x1323320033110230030x1100000230333331110x1102030303031301310x1330030003023330210x1333033300001230200x1123102303230110310x1133032010112203310x1123021120223303020x1101220133320320220x1313103131021022130x1333203121301021110x1330031122012020001x1332000011032202011x1000302023101221001x1010221200203010031x1131312213033010101x1132101131032301301x1022032320221210011x1020123220121230201x1031331111221101011x1011312121331110011x1333113300300332011x1330331030103332011x1331230033001231111x1320011310303233111x1021012301330100211x1001200120311323101x1312001323210330211x1332032012013130121x1130132322213111211x1112121212033321311x1303231233030032211x1323032023103233011x1211031013001002311x1203011300112001311x1010230003021321021x1002202301302031101x1100001223012213221x1120020113200322211x1133030223210221321x1123213211203203032x1133223130210112321x1113032032312211321x1331221032222220131x1332212021312222031x1012300011010123231x1021200001311103231x1123021210313022331x1121333202231010231x1213331330223020002x1200210330023132332x1022232322220131002x1022222032032212013x1221220201330312102x1220103233011201222x1111130022101012202x1120211023210011012x1022320023231133302x1020323332322310102x1120222110211230012x1110220122203121102x1112211302130300212x1111110102020232332x1002203221202102212x1022212220201201032x1223223122220000312x1232320201202123202x1111203112200000022x1101012200012032012x1302220113120010022x1300321111020220022x1323022202111200122x1320320122110220122x1210022102200002122x1212002122100002022x1002321010003113322x1013013220110203203x1330232232123102132x1303211032323322212x1012013311023301232x1030233120111133202x1222312213120013232x1222213332132110202x1322302211131111332x1312203111321323112x1311132223300103103x1311311220303123003x1313333031130230303x1313033103123033303x1223223122212233113x1222231232121123323x1031030011122233113x1011203112331203310x1111210211300130213x1120130131021120113x1023322321130223313x1033232203311321223x1031302323232233313x1030233332332121323x1120321321220000023x1120202013310220023x1123023002323220223x1122022332220333200x1221213033020223223x1212202332322012033x1130102210133323223x1133322233110020123x1210332303131012233x1213203112033321033x11112223233023100000x11021213013202023300x12112223233023100000x12021213013202023300x13112223233023100000x13021213013202023300x10112223233023100000x10021213013202023300x11322321321022113200x11120320321222032113x12322321321022113200x12120320321222032113x13322321321022113200x13120320321222032113x10322321321022113200x10120320321222032113x11100233331230201300x11313321120330030200x12100233331230201300x12313321120330030200x13100233331230201300x13313321120330030200x10100233331230201300x10313321120330030200x11103010332213303300x11303332023310310010x12103010332213303300x12303332023310310010x13103010332213303300x13303332023310310010x10103010332213303300x10303332023310310010x11231102211232030110x11112120203123203110x12231102211232030110x12112120203123203110x13231102211232030110x13112120203123203110x10231102211232030110x10112120203123203110x11122130030133300030x11033320012003031130x12122130030133300030x12033320012003031130x13122130030133300030x13033320012003031130x10122130030133300030x10033320012003031130x11122113210232310011x11031200312211132211x12122113210232310011x12031200312211132211x13122113210232310011x13031200312211132211x10122113210232310011x10031200312211132211x11311313200012230031x11120303331012123001x12311313200012230031x12120303331012123001x13311313200012230031x13120303331012123001x10311313200012230031x10120303331012123001x11233133023231131331x11332033131123123331x12233133023231131331x12332033131123123331x13233133023231131331x13332033131123123331x10233133023231131331x10332033131123123331x11321023211211321022x11120312012312132122x12321023211211321022x12120312012312132122x13321023211211321022x13120312012312132122x10321023211211321022x10120312012312132122x11110033002322300222x11032322103202000213x12110033002322300222x12032322103202000213x13110033002322300222x13032322103202000213x10110033002322300222x10032322103202000213x11220302323002333322x11320320303323203222x12220302323002333322x12320320303323203222x13220302323002333322x13320320303323203222x10220302323002333322x10320320303323203222x11122202213002313132x11220201233332011212x12122202213002313132x12220201233332011212x13122202213002313132x13220201233332011212x10122202213002313132x10220201233332011212x11310223301130023132x11003321332001133212x12310223301130023132x12003321332001133212x13310223301130023132x13003321332001133212x10310223301130023132x10003321332001133212x11100233213123031232x11303313211032321202x12100233213123031232x12303313211032321202x13100233213123031232x13303313211032321202x10100233213123031232x10303313211032321202x11331000221131002232x11123110203320031202x12331000221131002232x12123110203320031202x13331000221131002232x13123110203320031202x10331000221131002232x10123110203320031202x11103223300222300003x11020332220231000303x12103223300222300003x12020332220231000303x13103223300222300003x13020332220231000303x10103223300222300003x10020332220231000303x11301003332230220003x11102320003320203033x12301003332230220003x12102320003320203033x13301003332230220003x13102320003320203033x10301003332230220003x10102320003320203033x11113130003222310303x11031213302020331103x12113130003222310303x12031213302020331103x13113130003222310303x13031213302020331103x10113130003222310303x10031213302020331103x11321001212213030223x11102003232131220123x12321001212213030223x12102003232131220123x13321001212213030223x13102003232131220123x10321001212213030223x10102003232131220123x1200003300223333222222331122000000002x1222002200003322003322000011332233002x1200003300223333222222331122000000000x1222002200003322003322000011332233000x1200003300223333222222331122000000003x1222002200003322003322000011332233003x1200003300223333222222331122000000001x1222002200003322003322000011332233001x1133110000112222000011111111110000002x1111111100220011001100331122110000002x1133110000112222000011111111110000000x1111111100220011001100331122110000000x1133110000112222000011111111110000003x1111111100220011001100331122110000003x1133110000112222000011111111110000001x1111111100220011001100331122110000001x1011111122331100001133223322221100002x1022223311111133223322001100111100002x1011111122331100001133223322221100000x1022223311111133223322001100111100000x1011111122331100001133223322221100003x1022223311111133223322001100111100003x1011111122331100001133223322221100001x1022223311111133223322001100111100001x1033222233220000332222332233331100002x1033330022002222003322332233332211002x1033222233220000332222332233331100000x1033330022002222003322332233332211000x1033222233220000332222332233331100003x1033330022002222003322332233332211003x1033222233220000332222332233331100001x1033330022002222003322332233332211001x1222332222001100110011001111113300002x1200112200220011001111000011221133332x1222332222001100110011001111113300000x1200112200220011001111000011221133330x1222332222001100110011001111113300003x1200112200220011001111000011221133333x1222332222001100110011001111113300001x1200112200220011001111000011221133331x1322333311330000222233000033113300002x1322333322000033331111002233000033002x1322333311330000222233000033113300000x1322333322000033331111002233000033000x1322333311330000222233000033113300003x1322333322000033331111002233000033003x1322333311330000222233000033113300001x1322333322000033331111002233000033001x1100000000002233003333333333111111002x1100220033003300330033113300113311002x1100000000002233003333333333111111000x1100220033003300330033113300113311000x1100000000002233003333333333111111003x1100220033003300330033113300113311003x1100000000002233003333333333111111001x1100220033003300330033113300113311001x1333000033000000330022333333002211002x1333330033333300000000112233002200002x1333000033000000330022333333002211000x1333330033333300000000112233002200000x1333000033000000330022333333002211003x1333330033333300000000112233002200003x1333000033000000330022333333002211001x1333330033333300000000112233002200001x1122331100223300332233001111003311002x1133330033220011001111222200333311002x1122331100223300332233001111003311000x1133330033220011001111222200333311000x1122331100223300332233001111003311003x1133330033220011001111222200333311003x1122331100223300332233001111003311001x1133330033220011001111222200333311001x1122330022111122002222333300330022002x1100112222001133333322003322002222002x1122330022111122002222333300330022000x1100112222001133333322003322002222000x1122330022111122002222333300330022003x1100112222001133333322003322002222003x1122330022111122002222333300330022001x1100112222001133333322003322002222001x1311331100331133110022110022221133002x1333332200331122113300110022111111002x1311331100331133110022110022221133000x1333332200331122113300110022111111000x1311331100331133110022110022221133003x1333332200331122113300110022111111003x1311331100331133110022110022221133001x1333332200331122113300110022111111001x1333000033111122220011220022000000112x1333220000000011110033222200220011112x1333000033111122220011220022000000110x1333220000000011110033222200220011110x1333000033111122220011220022000000113x1333220000000011110033222200220011113x1333000033111122220011220022000000111x1333220000000011110033222200220011111x1000003300220022331100112222110000112x1011002222112200002200330011000033112x1000003300220022331100112222110000110x1011002222112200002200330011000033110x1000003300220022331100112222110000113x1011002222112200002200330011000033113x1000003300220022331100112222110000111x1011002222112200002200330011000033111x1133113311222211330033330011001100112x1133221100111133110033223300113300112x1133113311222211330033330011001100110x1133221100111133110033223300113300110x1133113311222211330033330011001100113x1133221100111133110033223300113300113x1133113311222211330033330011001100111x1133221100111133110033223300113300111x1022220033223322002222112211000011112x1022001122332222001122112233002200112x1022220033223322002222112211000011110x1022001122332222001122112233002200110x1022220033223322002222112211000011113x1022001122332222001122112233002200113x1022220033223322002222112211000011111x1022001122332222001122112233002200111x1033113333111111112222111100110011112x1011113311221122113333111111000011112x1033113333111111112222111100110011110x1011113311221122113333111111000011110x1033113333111111112222111100110011113x1011113311221122113333111111000011113x1033113333111111112222111100110011111x1011113311221122113333111111000011111x1333331111333300003300003333220011112x1333003333110033001100333333220011112x1333331111333300003300003333220011110x1333003333110033001100333333220011110x1333331111333300003300003333220011113x1333003333110033001100333333220011113x1333331111333300003300003333220011111x1333003333110033001100333333220011111x1333112233000033330000112233111111112x1322000011113311003300332233331111112x1333112233000033330000112233111111110x1322000011113311003300332233331111110x1333112233000033330000112233111111113x1322000011113311003300332233331111113x1333112233000033330000112233111111111x1322000011113311003300332233331111111x1022110011223300113333001100002211112x1000112200001122003311113322331100112x1022110011223300113333001100002211110x1000112200001122003311113322331100110x1022110011223300113333001100002211113x1000112200001122003311113322331100113x1022110011223300113333001100002211111x1000112200001122003311113322331100111x1311220000113322332211003333002211112x1333220033220011220011331133001122112x1311220000113322332211003333002211110x1333220033220011220011331133001122110x1311220000113322332211003333002211113x1333220033220011220011331133001122113x1311220000113322332211003333002211111x1333220033220011220011331133001122111x1133001133223322222211331111112211112x1111221122112211220033333322113311112x1133001133223322222211331111112211110x1111221122112211220033333322113311110x1133001133223322222211331111112211113x1111221122112211220033333322113311113x1133001133223322222211331111112211111x1111221122112211220033333322113311111x1300332233112233330033000033222211112x1322330033220022331100332233330011112x1300332233112233330033000033222211110x1322330033220022331100332233330011110x1300332233112233330033000033222211113x1322330033220022331100332233330011113x1300332233112233330033000033222211111x1322330033220022331100332233330011111x1211110033110011330000110000223311112x1200330011113300001111220000113311112x1211110033110011330000110000223311110x1200330011113300001111220000113311110x1211110033110011330000110000223311113x1200330011113300001111220000113311113x1211110033110011330000110000223311111x1200330011113300001111220000113311111x1011002233000000330022113322110022112x1000222200223300113300220033111100112x1011002233000000330022113322110022110x1000222200223300113300220033111100110x1011002233000000330022113322110022113x1000222200223300113300220033111100113x1011002233000000330022113322110022111x1000222200223300113300220033111100111x1100000000112222330011222211332222112x1122000022001111332200003322222211112x1100000000112222330011222211332222110x1122000022001111332200003322222211110x1100000000112222330011222211332222113x1122000022001111332200003322222211113x1100000000112222330011222211332222111x1122000022001111332200003322222211111x1133330033002222332211002222113322112x1122332211332211112200332200330033222x1133330033002222332211002222113322110x1122332211332211112200332200330033220x1133330033002222332211002222113322113x1122332211332211112200332200330033223x1133330033002222332211002222113322111x1122332211332211112200332200330033221x1133332222331133002211001111223322112x1111330033220033223311222211113322112x1133332222331133002211001111223322110x1111330033220033223311222211113322110x1133332222331133002211001111223322113x1111330033220033223311222211113322113x1133332222331133002211001111223322111x1111330033220033223311222211113322111x1333112222110033222222222222001133112x1333222211220022113311222222220033112x1333112222110033222222222222001133110x1333222211220022113311222222220033110x1333112222110033222222222222001133113x1333222211220022113311222222220033113x1333112222110033222222222222001133111x1333222211220022113311222222220033111x1011223300000011110011001122332233112x1022112200000000113311111100332233112x1011223300000011110011001122332233110x1022112200000000113311111100332233110x1011223300000011110011001122332233113x1022112200000000113311111100332233113x1011223300000011110011001122332233111x1022112200000000113311111100332233111x1122330022112211003311330022223333112x1122113333332200222233110011002233112x1122330022112211003311330022223333110x1122113333332200222233110011002233110x1122330022112211003311330022223333113x1122113333332200222233110011002233113x1122330022112211003311330022223333111x1122113333332200222233110011002233111x1211333333113333002222330022000000222x1200002211003333000022331133223333222x1211333333113333002222330022000000220x1200002211003333000022331133223333220x1211333333113333002222330022000000223x1200002211003333000022331133223333223x1211333333113333002222330022000000221x1200002211003333000022331133223333221x1022222233223322222222001133110000222x1022222222220033220033222211220011332x1022222233223322222222001133110000220x1022222222220033220033222211220011330x1022222233223322222222001133110000223x1022222222220033220033222211220011333x1022222233223322222222001133110000221x1022222222220033220033222211220011331x1222112222002200113333003311221100222x1222001100332233330011112200112222222x1222112222002200113333003311221100220x1222001100332233330011112200112222220x1222112222002200113333003311221100223x1222001100332233330011112200112222223x1222112222002200113333003311221100221x1222001100332233330011112200112222221x1111111133000022221100110011222200222x1122002211110022332211000011110011222x1111111133000022221100110011222200220x1122002211110022332211000011110011220x1111111133000022221100110011222200223x1122002211110022332211000011110011223x1111111133000022221100110011222200221x1122002211110022332211000011110011221x1022223322000022332233111133333300222x1022003322333333223322223311001100222x1022223322000022332233111133333300220x1022003322333333223322223311001100220x1022223322000022332233111133333300223x1022003322333333223322223311001100223x1022223322000022332233111133333300221x1022003322333333223322223311001100221x1122002222221111002211112233000011222x1111002222001122222200331122111100222x1122002222221111002211112233000011220x1111002222001122222200331122111100220x1122002222221111002211112233000011223x1111002222001122222200331122111100223x1122002222221111002211112233000011221x1111002222001122222200331122111100221x1111222211113300221133003300002211222x1111111111001100220022002233223333222x1111222211113300221133003300002211220x1111111111001100220022002233223333220x1111222211113300221133003300002211223x1111111111001100220022002233223333223x1111222211113300221133003300002211221x1111111111001100220022002233223333221x1000222200332222112200221100222211222x1022222211222222002200112200110033222x1000222200332222112200221100222211220x1022222211222222002200112200110033220x1000222200332222112200221100222211223x1022222211222222002200112200110033223x1000222200332222112200221100222211221x1022222211222222002200112200110033221x1222332222331122222222000000003311222x1233223322002200112200221122332200222x1222332222331122222222000000003311220x1233223322002200112200221122332200220x1222332222331122222222000000003311223x1233223322002200112200221122332200223x1222332222331122222222000000003311221x1233223322002200112200221122332200221x1111112200331111222200000000000022222x1100110011222200000011220033220011222x1111112200331111222200000000000022220x1100110011222200000011220033220011220x1111112200331111222200000000000022223x1100110011222200000011220033220011223x1111112200331111222200000000000022221x1100110011222200000011220033220011221x1300222222001111331122000011000022222x1300003322111111110022002222000022222x1300222222001111331122000011000022220x1300003322111111110022002222000022220x1300222222001111331122000011000022223x1300003322111111110022002222000022223x1300222222001111331122000011000022221x1300003322111111110022002222000022221x1322330022222200221111112200001122222x1322003322001122221111002222001122222x1322330022222200221111112200001122220x1322003322001122221111002222001122220x1322330022222200221111112200001122223x1322003322001122221111002222001122223x1322330022222200221111112200001122221x1322003322001122221111002222001122221x1211000022221100222200000000221122222x1211220000221122221100000000220022222x1211000022221100222200000000221122220x1211220000221122221100000000220022220x1211000022221100222200000000221122223x1211220000221122221100000000220022223x1211000022221100222200000000221122221x1211220000221122221100000000220022221x1000223322110011000000331111333322222x1011330011332222001111002200332200332x1000223322110011000000331111333322220x1011330011332222001111002200332200330x1000223322110011000000331111333322223x1011330011332222001111002200332200333x1000223322110011000000331111333322221x1011330011332222001111002200332200331x1333002233222233221122331100221133222x1300332211110033223322333322222211222x1333002233222233221122331100221133220x1300332211110033223322333322222211220x1333002233222233221122331100221133223x1300332211110033223322333322222211223x1333002233222233221122331100221133221x1300332211110033223322333322222211221x1011220011333311110022333300112233222x1033002233331122001111111133332200222x1011220011333311110022333300112233220x1033002233331122001111111133332200220x1011220011333311110022333300112233223x1033002233331122001111111133332200223x1011220011333311110022333300112233221x1033002233331122001111111133332200221x1222223311222211331122000011332233222x1222222211333333221133221111002200222x1222223311222211331122000011332233220x1222222211333333221133221111002200220x1222223311222211331122000011332233223x1222222211333333221133221111002200223x1222223311222211331122000011332233221x1222222211333333221133221111002200221x1322223300222211111133111111113333222x1311222200331111113322113322331111222x1322223300222211111133111111113333220x1311222200331111113322113322331111220x1322223300222211111133111111113333223x1311222200331111113322113322331111223x1322223300222211111133111111113333221x1311222200331111113322113322331111221x1311111133222222333300001100331100332x1311113311112222003300331122330000332x1311111133222222333300001100331100330x1311113311112222003300331122330000330x1311111133222222333300001100331100333x1311113311112222003300331122330000333x1311111133222222333300001100331100331x1311113311112222003300331122330000331x1311333333330033111133002233003300332x1311330033331100331122330033333300332x1311333333330033111133002233003300330x1311330033331100331122330033333300330x1311333333330033111133002233003300333x1311330033331100331122330033333300333x1311333333330033111133002233003300331x1311330033331100331122330033333300331x1222332222331122222211222233331111332x1222222233112233221122111122333322332x1222332222331122222211222233331111330x1222222233112233221122111122333322330x1222332222331122222211222233331111333x1222222233112233221122111122333322333x1222332222331122222211222233331111331x1222222233112233221122111122333322331x1033110033000011111122222233331111332x1011112200331111223333112200333311002x1033110033000011111122222233331111330x1011112200331111223333112200333311000x1033110033000011111122222233331111333x1011112200331111223333112200333311003x1033110033000011111122222233331111331x1011112200331111223333112200333311001x1111112211002211113300001133002211332x1122001133001133110022111122001111332x1111112211002211113300001133002211330x1122001133001133110022111122001111330x1111112211002211113300001133002211333x1122001133001133110022111122001111333x1111112211002211113300001133002211331x1122001133001133110022111122001111331x1022333322223322111133002222333311332x1033332233222200333311113322112222332x1022333322223322111133002222333311330x1033332233222200333311113322112222330x1022333322223322111133002222333311333x1033332233222200333311113322112222333x1022333322223322111133002222333311331x1033332233222200333311113322112222331x1033113300223322332233222233333311332x1033002233333333223333221122113322332x1033113300223322332233222233333311330x1033002233333333223333221122113322330x1033113300223322332233222233333311333x1033002233333333223333221122113322333x1033113300223322332233222233333311331x1033002233333333223333221122113322331x1122003322113322112222000000000022332x1122002200220011333311002222000022332x1122003322113322112222000000000022330x1122002200220011333311002222000022330x1122003322113322112222000000000022333x1122002200220011333311002222000022333x1122003322113322112222000000000022331x1122002200220011333311002222000022331x1122330022330000223322332222002222332x1122220022223333222222003333332200002x1122330022330000223322332222002222330x1122220022223333222222003333332200000x1122330022330000223322332222002222333x1122220022223333222222003333332200003x1122330022330000223322332222002222331x1122220022223333222222003333332200001x1222112211330033330022002222332222332x1211222200223333223322220011220033332x1222112211330033330022002222332222330x1211222200223333223322220011220033330x1222112211330033330022002222332222333x1211222200223333223322220011220033333x1222112211330033330022002222332222331x1211222200223333223322220011220033331x1133001100222211001133333322332222332x1133333322222233331111000022001122332x1133001100222211001133333322332222330x1133333322222233331111000022001122330x1133001100222211001133333322332222333x1133333322222233331111000022001122333x1133001100222211001133333322332222331x1133333322222233331111000022001122331x1211003333223300331133110011222233332x1211332200331111220033333322110033332x1211003333223300331133110011222233330x1211332200331111220033333322110033330x1211003333223300331133110011222233333x1211332200331111220033333322110033333x1211003333223300331133110011222233331x1211332200331111220033333322110033331x111111222222332233330022331100000000002x110022112211330011332200220022333300002x111111222222332233330022331100000000000x110022112211330011332200220022333300000x111111222222332233330022331100000000003x110022112211330011332200220022333300003x111111222222332233330022331100000000001x110022112211330011332200220022333300001x121111222222332233330022331100000000002x120022112211330011332200220022333300002x121111222222332233330022331100000000000x120022112211330011332200220022333300000x121111222222332233330022331100000000003x120022112211330011332200220022333300003x121111222222332233330022331100000000001x120022112211330011332200220022333300001x131111222222332233330022331100000000002x130022112211330011332200220022333300002x131111222222332233330022331100000000000x130022112211330011332200220022333300000x131111222222332233330022331100000000003x130022112211330011332200220022333300003x131111222222332233330022331100000000001x130022112211330011332200220022333300001x101111222222332233330022331100000000002x100022112211330011332200220022333300002x101111222222332233330022331100000000000x100022112211330011332200220022333300000x101111222222332233330022331100000000003x100022112211330011332200220022333300003x101111222222332233330022331100000000001x100022112211330011332200220022333300001x113322223322113322110022221111332200002x111122003322003322112222220033221111332x113322223322113322110022221111332200000x111122003322003322112222220033221111330x113322223322113322110022221111332200003x111122003322003322112222220033221111333x113322223322113322110022221111332200001x111122003322003322112222220033221111331x123322223322113322110022221111332200002x121122003322003322112222220033221111332x123322223322113322110022221111332200000x121122003322003322112222220033221111330x123322223322113322110022221111332200003x121122003322003322112222220033221111333x123322223322113322110022221111332200001x121122003322003322112222220033221111331x133322223322113322110022221111332200002x131122003322003322112222220033221111332x133322223322113322110022221111332200000x131122003322003322112222220033221111330x133322223322113322110022221111332200003x131122003322003322112222220033221111333x133322223322113322110022221111332200001x131122003322003322112222220033221111331x103322223322113322110022221111332200002x101122003322003322112222220033221111332x103322223322113322110022221111332200000x101122003322003322112222220033221111330x103322223322113322110022221111332200003x101122003322003322112222220033221111333x103322223322113322110022221111332200001x101122003322003322112222220033221111331x111100002233333333112233002200113300002x113311333322111122003333000033002200002x111100002233333333112233002200113300000x113311333322111122003333000033002200000x111100002233333333112233002200113300003x113311333322111122003333000033002200003x111100002233333333112233002200113300001x113311333322111122003333000033002200001x121100002233333333112233002200113300002x123311333322111122003333000033002200002x121100002233333333112233002200113300000x123311333322111122003333000033002200000x121100002233333333112233002200113300003x123311333322111122003333000033002200003x121100002233333333112233002200113300001x123311333322111122003333000033002200001x131100002233333333112233002200113300002x133311333322111122003333000033002200002x131100002233333333112233002200113300000x133311333322111122003333000033002200000x131100002233333333112233002200113300003x133311333322111122003333000033002200003x131100002233333333112233002200113300001x133311333322111122003333000033002200001x101100002233333333112233002200113300002x103311333322111122003333000033002200002x101100002233333333112233002200113300000x103311333322111122003333000033002200000x101100002233333333112233002200113300003x103311333322111122003333000033002200003x101100002233333333112233002200113300001x103311333322111122003333000033002200001x111100330011003333222211333300333300002x113300333333220022333311003311000011002x111100330011003333222211333300333300000x113300333333220022333311003311000011000x111100330011003333222211333300333300003x113300333333220022333311003311000011003x111100330011003333222211333300333300001x113300333333220022333311003311000011001x121100330011003333222211333300333300002x123300333333220022333311003311000011002x121100330011003333222211333300333300000x123300333333220022333311003311000011000x121100330011003333222211333300333300003x123300333333220022333311003311000011003x121100330011003333222211333300333300001x123300333333220022333311003311000011001x131100330011003333222211333300333300002x133300333333220022333311003311000011002x131100330011003333222211333300333300000x133300333333220022333311003311000011000x131100330011003333222211333300333300003x133300333333220022333311003311000011003x131100330011003333222211333300333300001x133300333333220022333311003311000011001x101100330011003333222211333300333300002x103300333333220022333311003311000011002x101100330011003333222211333300333300000x103300333333220022333311003311000011000x101100330011003333222211333300333300003x103300333333220022333311003311000011003x101100330011003333222211333300333300001x103300333333220022333311003311000011001x112233111100222211112233220033001111002x111111221122002200331122332200331111002x112233111100222211112233220033001111000x111111221122002200331122332200331111000x112233111100222211112233220033001111003x111111221122002200331122332200331111003x112233111100222211112233220033001111001x111111221122002200331122332200331111001x122233111100222211112233220033001111002x121111221122002200331122332200331111002x122233111100222211112233220033001111000x121111221122002200331122332200331111000x122233111100222211112233220033001111003x121111221122002200331122332200331111003x122233111100222211112233220033001111001x121111221122002200331122332200331111001x132233111100222211112233220033001111002x131111221122002200331122332200331111002x132233111100222211112233220033001111000x131111221122002200331122332200331111000x132233111100222211112233220033001111003x131111221122002200331122332200331111003x132233111100222211112233220033001111001x131111221122002200331122332200331111001x102233111100222211112233220033001111002x101111221122002200331122332200331111002x102233111100222211112233220033001111000x101111221122002200331122332200331111000x102233111100222211112233220033001111003x101111221122002200331122332200331111003x102233111100222211112233220033001111001x101111221122002200331122332200331111001x111122221133000033001133333300000033002x110033333322000011220000330033111133002x111122221133000033001133333300000033000x110033333322000011220000330033111133000x111122221133000033001133333300000033003x110033333322000011220000330033111133003x111122221133000033001133333300000033001x110033333322000011220000330033111133001x121122221133000033001133333300000033002x120033333322000011220000330033111133002x121122221133000033001133333300000033000x120033333322000011220000330033111133000x121122221133000033001133333300000033003x120033333322000011220000330033111133003x121122221133000033001133333300000033001x120033333322000011220000330033111133001x131122221133000033001133333300000033002x130033333322000011220000330033111133002x131122221133000033001133333300000033000x130033333322000011220000330033111133000x131122221133000033001133333300000033003x130033333322000011220000330033111133003x131122221133000033001133333300000033001x130033333322000011220000330033111133001x101122221133000033001133333300000033002x100033333322000011220000330033111133002x101122221133000033001133333300000033000x100033333322000011220000330033111133000x101122221133000033001133333300000033003x100033333322000011220000330033111133003x101122221133000033001133333300000033001x100033333322000011220000330033111133001x111122221111332211002233223311000011112x110033112200003311222211111133222211112x111122221111332211002233223311000011110x110033112200003311222211111133222211110x111122221111332211002233223311000011113x110033112200003311222211111133222211113x111122221111332211002233223311000011111x110033112200003311222211111133222211111x121122221111332211002233223311000011112x120033112200003311222211111133222211112x121122221111332211002233223311000011110x120033112200003311222211111133222211110x121122221111332211002233223311000011113x120033112200003311222211111133222211113x121122221111332211002233223311000011111x120033112200003311222211111133222211111x131122221111332211002233223311000011112x130033112200003311222211111133222211112x131122221111332211002233223311000011110x130033112200003311222211111133222211110x131122221111332211002233223311000011113x130033112200003311222211111133222211113x131122221111332211002233223311000011111x130033112200003311222211111133222211111x101122221111332211002233223311000011112x100033112200003311222211111133222211112x101122221111332211002233223311000011110x100033112200003311222211111133222211110x101122221111332211002233223311000011113x100033112200003311222211111133222211113x101122221111332211002233223311000011111x100033112200003311222211111133222211111x113311113311332200000011222233000033112x111122003300333333110011221122330000112x113311113311332200000011222233000033110x111122003300333333110011221122330000110x113311113311332200000011222233000033113x111122003300333333110011221122330000113x113311113311332200000011222233000033111x111122003300333333110011221122330000111x123311113311332200000011222233000033112x121122003300333333110011221122330000112x123311113311332200000011222233000033110x121122003300333333110011221122330000110x123311113311332200000011222233000033113x121122003300333333110011221122330000113x123311113311332200000011222233000033111x121122003300333333110011221122330000111x133311113311332200000011222233000033112x131122003300333333110011221122330000112x133311113311332200000011222233000033110x131122003300333333110011221122330000110x133311113311332200000011222233000033113x131122003300333333110011221122330000113x133311113311332200000011222233000033111x131122003300333333110011221122330000111x103311113311332200000011222233000033112x101122003300333333110011221122330000112x103311113311332200000011222233000033110x101122003300333333110011221122330000110x103311113311332200000011222233000033113x101122003300333333110011221122330000113x103311113311332200000011222233000033111x101122003300333333110011221122330000111x112233331133330022332233111133113333112x113333220033331133111122331122333333112x112233331133330022332233111133113333110x113333220033331133111122331122333333110x112233331133330022332233111133113333113x113333220033331133111122331122333333113x112233331133330022332233111133113333111x113333220033331133111122331122333333111x122233331133330022332233111133113333112x123333220033331133111122331122333333112x122233331133330022332233111133113333110x123333220033331133111122331122333333110x122233331133330022332233111133113333113x123333220033331133111122331122333333113x122233331133330022332233111133113333111x123333220033331133111122331122333333111x132233331133330022332233111133113333112x133333220033331133111122331122333333112x132233331133330022332233111133113333110x133333220033331133111122331122333333110x132233331133330022332233111133113333113x133333220033331133111122331122333333113x132233331133330022332233111133113333111x133333220033331133111122331122333333111x102233331133330022332233111133113333112x103333220033331133111122331122333333112x102233331133330022332233111133113333110x103333220033331133111122331122333333110x102233331133330022332233111133113333113x103333220033331133111122331122333333113x102233331133330022332233111133113333111x103333220033331133111122331122333333111x113322110022332211112211113322110022222x111122003311220011223311221133221122222x113322110022332211112211113322110022220x111122003311220011223311221133221122220x113322110022332211112211113322110022223x111122003311220011223311221133221122223x113322110022332211112211113322110022221x111122003311220011223311221133221122221x123322110022332211112211113322110022222x121122003311220011223311221133221122222x123322110022332211112211113322110022220x121122003311220011223311221133221122220x123322110022332211112211113322110022223x121122003311220011223311221133221122223x123322110022332211112211113322110022221x121122003311220011223311221133221122221x133322110022332211112211113322110022222x131122003311220011223311221133221122222x133322110022332211112211113322110022220x131122003311220011223311221133221122220x133322110022332211112211113322110022223x131122003311220011223311221133221122223x133322110022332211112211113322110022221x131122003311220011223311221133221122221x103322110022332211112211113322110022222x101122003311220011223311221133221122222x103322110022332211112211113322110022220x101122003311220011223311221133221122220x103322110022332211112211113322110022223x101122003311220011223311221133221122223x103322110022332211112211113322110022221x101122003311220011223311221133221122221x111111000033330000223322223300002222222x110033223322221100332200220000002211332x111111000033330000223322223300002222220x110033223322221100332200220000002211330x111111000033330000223322223300002222223x110033223322221100332200220000002211333x111111000033330000223322223300002222221x110033223322221100332200220000002211331x121111000033330000223322223300002222222x120033223322221100332200220000002211332x121111000033330000223322223300002222220x120033223322221100332200220000002211330x121111000033330000223322223300002222223x120033223322221100332200220000002211333x121111000033330000223322223300002222221x120033223322221100332200220000002211331x131111000033330000223322223300002222222x130033223322221100332200220000002211332x131111000033330000223322223300002222220x130033223322221100332200220000002211330x131111000033330000223322223300002222223x130033223322221100332200220000002211333x131111000033330000223322223300002222221x130033223322221100332200220000002211331x101111000033330000223322223300002222222x100033223322221100332200220000002211332x101111000033330000223322223300002222220x100033223322221100332200220000002211330x101111000033330000223322223300002222223x100033223322221100332200220000002211333x101111000033330000223322223300002222221x100033223322221100332200220000002211331x112222003300223322330000223333333322222x113322003322003300333322332200332222222x112222003300223322330000223333333322220x113322003322003300333322332200332222220x112222003300223322330000223333333322223x113322003322003300333322332200332222223x112222003300223322330000223333333322221x113322003322003300333322332200332222221x122222003300223322330000223333333322222x123322003322003300333322332200332222222x122222003300223322330000223333333322220x123322003322003300333322332200332222220x122222003300223322330000223333333322223x123322003322003300333322332200332222223x122222003300223322330000223333333322221x123322003322003300333322332200332222221x132222003300223322330000223333333322222x133322003322003300333322332200332222222x132222003300223322330000223333333322220x133322003322003300333322332200332222220x132222003300223322330000223333333322223x133322003322003300333322332200332222223x132222003300223322330000223333333322221x133322003322003300333322332200332222221x102222003300223322330000223333333322222x103322003322003300333322332200332222222x102222003300223322330000223333333322220x103322003322003300333322332200332222220x102222003300223322330000223333333322223x103322003322003300333322332200332222223x102222003300223322330000223333333322221x103322003322003300333322332200332222221x111122222200222211330000223311331133222x112222002200112233333333220011112211222x111122222200222211330000223311331133220x112222002200112233333333220011112211220x111122222200222211330000223311331133223x112222002200112233333333220011112211223x111122222200222211330000223311331133221x112222002200112233333333220011112211221x121122222200222211330000223311331133222x122222002200112233333333220011112211222x121122222200222211330000223311331133220x122222002200112233333333220011112211220x121122222200222211330000223311331133223x122222002200112233333333220011112211223x121122222200222211330000223311331133221x122222002200112233333333220011112211221x131122222200222211330000223311331133222x132222002200112233333333220011112211222x131122222200222211330000223311331133220x132222002200112233333333220011112211220x131122222200222211330000223311331133223x132222002200112233333333220011112211223x131122222200222211330000223311331133221x132222002200112233333333220011112211221x101122222200222211330000223311331133222x102222002200112233333333220011112211222x101122222200222211330000223311331133220x102222002200112233333333220011112211220x101122222200222211330000223311331133223x102222002200112233333333220011112211223x101122222200222211330000223311331133221x102222002200112233333333220011112211221x113311002222333300111133000022331133222x110000333322113333220000111133332211222x113311002222333300111133000022331133220x110000333322113333220000111133332211220x113311002222333300111133000022331133223x110000333322113333220000111133332211223x113311002222333300111133000022331133221x110000333322113333220000111133332211221x123311002222333300111133000022331133222x120000333322113333220000111133332211222x123311002222333300111133000022331133220x120000333322113333220000111133332211220x123311002222333300111133000022331133223x120000333322113333220000111133332211223x123311002222333300111133000022331133221x120000333322113333220000111133332211221x133311002222333300111133000022331133222x130000333322113333220000111133332211222x133311002222333300111133000022331133220x130000333322113333220000111133332211220x133311002222333300111133000022331133223x130000333322113333220000111133332211223x133311002222333300111133000022331133221x130000333322113333220000111133332211221x103311002222333300111133000022331133222x100000333322113333220000111133332211222x103311002222333300111133000022331133220x100000333322113333220000111133332211220x103311002222333300111133000022331133223x100000333322113333220000111133332211223x103311002222333300111133000022331133221x100000333322113333220000111133332211221x111100002233332211331122330033112233222x113300333311332211110033223322112200222x111100002233332211331122330033112233220x113300333311332211110033223322112200220x111100002233332211331122330033112233223x113300333311332211110033223322112200223x111100002233332211331122330033112233221x113300333311332211110033223322112200221x121100002233332211331122330033112233222x123300333311332211110033223322112200222x121100002233332211331122330033112233220x123300333311332211110033223322112200220x121100002233332211331122330033112233223x123300333311332211110033223322112200223x121100002233332211331122330033112233221x123300333311332211110033223322112200221x131100002233332211331122330033112233222x133300333311332211110033223322112200222x131100002233332211331122330033112233220x133300333311332211110033223322112200220x131100002233332211331122330033112233223x133300333311332211110033223322112200223x131100002233332211331122330033112233221x133300333311332211110033223322112200221x101100002233332211331122330033112233222x103300333311332211110033223322112200222x101100002233332211331122330033112233220x103300333311332211110033223322112200220x101100002233332211331122330033112233223x103300333311332211110033223322112200223x101100002233332211331122330033112233221x103300333311332211110033223322112200221x113333110000002222111133110000222233222x111122331111002200333322000033112200222x113333110000002222111133110000222233220x111122331111002200333322000033112200220x113333110000002222111133110000222233223x111122331111002200333322000033112200223x113333110000002222111133110000222233221x111122331111002200333322000033112200221x123333110000002222111133110000222233222x121122331111002200333322000033112200222x123333110000002222111133110000222233220x121122331111002200333322000033112200220x123333110000002222111133110000222233223x121122331111002200333322000033112200223x123333110000002222111133110000222233221x121122331111002200333322000033112200221x133333110000002222111133110000222233222x131122331111002200333322000033112200222x133333110000002222111133110000222233220x131122331111002200333322000033112200220x133333110000002222111133110000222233223x131122331111002200333322000033112200223x133333110000002222111133110000222233221x131122331111002200333322000033112200221x103333110000002222111133110000222233222x101122331111002200333322000033112200222x103333110000002222111133110000222233220x101122331111002200333322000033112200220x103333110000002222111133110000222233223x101122331111002200333322000033112200223x103333110000002222111133110000222233221x101122331111002200333322000033112200221x111100332222333300002222223300000000332x110022003333222222002233110000003300332x111100332222333300002222223300000000330x110022003333222222002233110000003300330x111100332222333300002222223300000000333x110022003333222222002233110000003300333x111100332222333300002222223300000000331x110022003333222222002233110000003300331x121100332222333300002222223300000000332x120022003333222222002233110000003300332x121100332222333300002222223300000000330x120022003333222222002233110000003300330x121100332222333300002222223300000000333x120022003333222222002233110000003300333x121100332222333300002222223300000000331x120022003333222222002233110000003300331x131100332222333300002222223300000000332x130022003333222222002233110000003300332x131100332222333300002222223300000000330x130022003333222222002233110000003300330x131100332222333300002222223300000000333x130022003333222222002233110000003300333x131100332222333300002222223300000000331x130022003333222222002233110000003300331x101100332222333300002222223300000000332x100022003333222222002233110000003300332x101100332222333300002222223300000000330x100022003333222222002233110000003300330x101100332222333300002222223300000000333x100022003333222222002233110000003300333x101100332222333300002222223300000000331x100022003333222222002233110000003300331x113300110000333333222233002222000000332x111100223322000000333322002200330033332x113300110000333333222233002222000000330x111100223322000000333322002200330033330x113300110000333333222233002222000000333x111100223322000000333322002200330033333x113300110000333333222233002222000000331x111100223322000000333322002200330033331x123300110000333333222233002222000000332x121100223322000000333322002200330033332x123300110000333333222233002222000000330x121100223322000000333322002200330033330x123300110000333333222233002222000000333x121100223322000000333322002200330033333x123300110000333333222233002222000000331x121100223322000000333322002200330033331x133300110000333333222233002222000000332x131100223322000000333322002200330033332x133300110000333333222233002222000000330x131100223322000000333322002200330033330x133300110000333333222233002222000000333x131100223322000000333322002200330033333x133300110000333333222233002222000000331x131100223322000000333322002200330033331x103300110000333333222233002222000000332x101100223322000000333322002200330033332x103300110000333333222233002222000000330x101100223322000000333322002200330033330x103300110000333333222233002222000000333x101100223322000000333322002200330033333x103300110000333333222233002222000000331x101100223322000000333322002200330033331x111111331133000000332222223311003300332x110033112211333300220022003333111100332x111111331133000000332222223311003300330x110033112211333300220022003333111100330x111111331133000000332222223311003300333x110033112211333300220022003333111100333x111111331133000000332222223311003300331x110033112211333300220022003333111100331x121111331133000000332222223311003300332x120033112211333300220022003333111100332x121111331133000000332222223311003300330x120033112211333300220022003333111100330x121111331133000000332222223311003300333x120033112211333300220022003333111100333x121111331133000000332222223311003300331x120033112211333300220022003333111100331x131111331133000000332222223311003300332x130033112211333300220022003333111100332x131111331133000000332222223311003300330x130033112211333300220022003333111100330x131111331133000000332222223311003300333x130033112211333300220022003333111100333x131111331133000000332222223311003300331x130033112211333300220022003333111100331x101111331133000000332222223311003300332x100033112211333300220022003333111100332x101111331133000000332222223311003300330x100033112211333300220022003333111100330x101111331133000000332222223311003300333x100033112211333300220022003333111100333x101111331133000000332222223311003300331x100033112211333300220022003333111100331x113322110000112211222211330033002222332x111100220000332233221133112222001122332x113322110000112211222211330033002222330x111100220000332233221133112222001122330x113322110000112211222211330033002222333x111100220000332233221133112222001122333x113322110000112211222211330033002222331x111100220000332233221133112222001122331x123322110000112211222211330033002222332x121100220000332233221133112222001122332x123322110000112211222211330033002222330x121100220000332233221133112222001122330x123322110000112211222211330033002222333x121100220000332233221133112222001122333x123322110000112211222211330033002222331x121100220000332233221133112222001122331x133322110000112211222211330033002222332x131100220000332233221133112222001122332x133322110000112211222211330033002222330x131100220000332233221133112222001122330x133322110000112211222211330033002222333x131100220000332233221133112222001122333x133322110000112211222211330033002222331x131100220000332233221133112222001122331x103322110000112211222211330033002222332x101100220000332233221133112222001122332x103322110000112211222211330033002222330x101100220000332233221133112222001122330x103322110000112211222211330033002222333x101100220000332233221133112222001122333x103322110000112211222211330033002222331x101100220000332233221133112222001122331x11201110011120311130111902111123111253311163211122111313111161211130111113111210111111113211112613311113311332200000011222233000033112x111122003300333333110011221122330000112x113311113311332200000011222233000033110x111122003300333333110011221122330000110x113311113311332200000011222233000033113x111122003300333333110011221122330000113x113311113311332200000011222233000033111x111122003300333333110011221122330000111x123311113311332200000011222233000033112x121122003300333333110011221122330000112x123311113311332200000011222233000033110x121122003300333333110011221122330000110x123311113311332200000011222233000033113x121122003300333333110011221122330000113x123311113311332200000011222233000033111x121122003300333333110011221122330000111x111311131111111111321112011100111011111211122111231113011103111331111011121111123311113311332200000011222233000033112x121122003300333333110011221122330000112x123311113311332200000011222233000033110x121122003300333333110011221122330000110x123311113311332200000011222233000033113x121122003300333333110011221122330000113x123311113311332200000011222233000033111x121122003300333333110011221122330000111x112311131111111111311132111201110011101111121112211113011103111211113311110111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe