YES 000022013123102033x1002233003002201113x1000312312011323112x1030131110022113223x1001122301313313303x1031102310012333133x1001213120120333112x1232311113021031002x1001232121213021122x1220221112003111322x1001301311030130303x1000031301133301130x1001313233120133011x1233113030130013211x1010302013030122003x1030002210030233110x1011331331211302012x1032121111103023313x1012011121121030101x1120002102111131101x1012120331213121310x1232111102211033103x1012212200103011331x1010310213230221101x1012310102132120101x1020112331202011101x1021231302032313320x1233023320032111320x1021312301322311101x1203102321230111131x1030131302301221010x1033123003001111220x1030212133000312301x1023010033310023211x1031001333200313313x1033332301301101033x1032131220003201013x1230321111030200032x1033023012113320302x1032330323311002102x1033321311222020111x1020223111132323011x1101231133031311011x1111102300113313311x1102103231301102302x1121102211033303002x1102222330030320130x1113202330200232300x1103223201331131010x1110300321011332123x1110010221010131133x1111301302112110030x1110333121231010012x1111011113302223300x1112001301303201200x1110032013023201100x1113120021000133123x1111122033130310002x1113310010233013101x1130030331230111101x1120012011213110312x1111101120212103023x1120301130001210203x1132210000332101100x1121310322233212133x1122132223313203113x1122233021312211011x1122230131220321111x1123201331201322333x1120332120333211323x1130332313230131330x1130113022333133330x1131211010223103121x1110012331130112221x1131221303123310033x1130210123033311233x1132132011131121322x1113102113211132232x1132302212003132013x1130021233110320223x1133010020013131013x1113030011320331010x1202020312013110110x1211100230011132200x1210121102311210112x1210012211011121312x1212210123310112011x1213001302212111211x1213121100102122112x1211211001120322112x1213121330202122302x1212211233202201303x1220222121300103300x1202013222100321300x1220223203303003223x1232320332030020223x1221231110233301023x1221111221303003323x1222203220310133102x1222210221031030332x1223130031320113330x1300223231111333030x1231013312130203310x1311103213031020233x1231200322220001013x1220222003033011012x1232323023030102333x1230332321003203233x1233121300313031012x1222331033113003110x1233233132323321323x1232322132133333323x1300010221232301002x1301002233201100202x1300302312001230001x1301000021022033031x1301001131130013133x1330131101113033010x1301200200130111011x1021111001030302011x1301331131211323101x1311331330121132101x1302320310331123131x1323233111300302131x1303011212331022312x1201333232011120213x1310020112132222000x1232102310011222000x1310203102223122313x1223123023230031112x1310312231333211301x1232123311331103301x1312130021232013133x1311303132302132210x1312322222101020003x1323201021022122003x1313121010331233303x1333110302113133203x1313123023313112100x1203131213331132100x1313213101223303311x1333120213233301111x1313222232030032222x1221032223002333222x1322210131123101133x1312311130222311103x1330212231202013001x1213233230002002111x1331021213313123210x1332111113332031202x1331030322231123213x1211130320233321233x1331123212123002211x1321212302332021111x1332102312222133032x1323022113321032232x1332230312330121202x1321123221333003022x1333102101331333012x1330332102333101113x10123x10123x12.1330201321310220000x1311102200300332200x1211323110213213000x1322311220011131030x1303313313103221100x1331333210013201130x1211333021021312100x1200130120311113232x1221120312121232100x1223111300211122022x1303031030113103100x1031103331103130000x1110331021332313100x1112310031030311332x1300221030310203010x1011332030012200030x1210203112133133110x1313320301111121230x1101030121121110210x1101131111201200021x1013121312133021210x1301330112201111232x1133110301002212210x1101122032312013010x1101021231201013210x1101110202133211020x1023313230203132120x1023111230023320332x1101113223103213120x1131111032123201302x1010122103203131030x1022111100300321330x1103213000331212030x1112320013330010320x1313313002333100130x1330101103103233330x1310102300022131230x1230002030111123032x1203023311210320330x1201200113323033230x1111020222113123330x1110323231111322020x1110113130331132101x1113313311003201111x1203201103132301201x1200303330112201121x1031023030033222201x1003232002033202311x1010131133102322301x1321233110123003011x1331131010122010011x1030011211203103111x1210010132121333011x1003322203311110111x1002102303103100211x1001102320310230011x1321331000120021311x1200013031330221111x1101310332010013311x1101111032133030031x1213011312110210021x1320301212021101111x1302012100031103021x1001101233000012231x1331212332223013121x1311302313322231221x1110112213120332221x1111123022131032221x1333223102133102321x1323112333021233021x1033131032313233031x1033331333220311031x1121301322010112131x1122211031133210011x1330013321303122131x1332113330321012031x1223121131110231231x1232231112311201311x1310231300212203231x1322023011332120031x1310131310020010331x1010133023110030311x1011011310213020202x1002231110032001112x1211012113201121012x1213121110112210012x1110211013321012212x1112111212203100312x1211221201001121312x1211223021100112112x1203221202033121312x1303102202332112212x1003301003121222022x1003123001222310202x1322300303302322022x1322020030233023232x1320103332011132122x1323300303122111122x1201331013022302222x1233030130122012222x1033311023130031322x1030333111132322003x1013302031213310132x1332020130312301113x1310100022223002132x1210110330300222022x1333201030320323232x1332302300123233032x1210130313003121332x1011300311330133222x1323123323231332332x1323333331231223232x1200103232122010003x1202001102332200103x1100032100213203003x1130330220120000103x1331310031131100103x1010330311101131033x1110111031002002103x1110203030100111120x1101323112131133103x1101231121033133113x1131321133013023203x1131203003111332323x1213220133212110303x1312021110232333102x1000222231211020013x1000222110013201232x1313221322201302013x1211130032320321322x1103112333132213013x1103301133113321232x1331310232120031213x1012231203231303113x1300020101222223213x1300221220120102323x1303332133010121313x1302331311203011333x1001211313320321313x1001231133312131302x1113303322101312313x1111103332312021333x1222230030232222313x1222333200322230122x1331101321131012223x1301113222031113213x1100310202132212033x1111200200032332312x1012321313312120133x1202130233311111233x1312321132223030133x1332123332023031112x1112200321212321133x1111120233203212123x1230331222213201233x1232230123311220323x1202121033213032233x1220300333122321123x1210333133101201333x1311101333201233033x13021330201321310220000x1311102200300332200x1303313313103221100x1331333210013201130x1211333021021312100x1200130120311113232x1221120312121232100x1223111300211122022x1110331021332313100x1112310031030311332x1101030121121110210x1101131111201200021x1133110301002212210x1101122032312013010x1101021231201013210x1101110202133211020x1023313230203132120x1023111230023320332x1101113223103213120x1131111032123201302x1010122103203131030x1022111100300321330x1103213000331212030x1112320013330010320x1313313002333100130x1330101103103233330x1203023311210320330x1201200113323033230x1111020222113123330x1110323231111322020x1110113130331132101x1113313311003201111x1203201103132301201x1200303330112201121x1031023030033222201x1003232002033202311x1002102303103100211x1001102320310230011x1101310332010013311x1101111032133030031x1331212332223013121x1311302313322231221x1110112213120332221x1111123022131032221x1333223102133102321x1323112333021233021x1033131032313233031x1033331333220311031x1121301322010112131x1122211031133210011x1330013321303122131x1332113330321012031x1223121131110231231x1232231112311201311x1310231300212203231x1322023011332120031x1011011310213020202x1002231110032001112x1211012113201121012x1213121110112210012x1110211013321012212x1112111212203100312x1211221201001121312x1211223021100112112x1003301003121222022x1003123001222310202x1322300303302322022x1322020030233023232x1320103332011132122x1323300303122111122x1201331013022302222x1233030130122012222x1033311023130031322x1030333111132322003x1333201030320323232x1332302300123233032x1323123323231332332x1323333331231223232x1200103232122010003x1202001102332200103x1100032100213203003x1130330220120000103x1110111031002002103x1110203030100111120x1101323112131133103x1101231121033133113x1131321133013023203x1131203003111332323x1000222231211020013x1000222110013201232x1103112333132213013x1103301133113321232x1300020101222223213x1300221220120102323x1303332133010121313x1302331311203011333x1001211313320321313x1001231133312131302x1113303322101312313x1111103332312021333x1222230030232222313x1222333200322230122x1331101321131012223x1301113222031113213x1100310202132212033x1111200200032332312x1312321132223030133x1332123332023031112x1112200321212321133x1111120233203212123x1230331222213201233x1232230123311220323x1202121033213032233x1220300333122321123x13211323110213213000x13322311220011131030x10211323110213213000x10322311220011131030x12211323110213213000x12322311220011131030x11211323110213213000x11322311220011131030x13303031030113103100x13031103331103130000x10303031030113103100x10031103331103130000x12303031030113103100x12031103331103130000x11303031030113103100x11031103331103130000x13300221030310203010x13011332030012200030x10300221030310203010x10011332030012200030x12300221030310203010x12011332030012200030x11300221030310203010x11011332030012200030x13210203112133133110x13313320301111121230x10210203112133133110x10313320301111121230x12210203112133133110x12313320301111121230x11210203112133133110x11313320301111121230x13013121312133021210x13301330112201111232x10013121312133021210x10301330112201111232x12013121312133021210x12301330112201111232x11013121312133021210x11301330112201111232x13310102300022131230x13230002030111123032x10310102300022131230x10230002030111123032x12310102300022131230x12230002030111123032x11310102300022131230x11230002030111123032x13010131133102322301x13321233110123003011x10010131133102322301x10321233110123003011x12010131133102322301x12321233110123003011x11010131133102322301x11321233110123003011x13331131010122010011x13030011211203103111x10331131010122010011x10030011211203103111x12331131010122010011x12030011211203103111x11331131010122010011x11030011211203103111x13210010132121333011x13003322203311110111x10210010132121333011x10003322203311110111x12210010132121333011x12003322203311110111x11210010132121333011x11003322203311110111x13321331000120021311x13200013031330221111x10321331000120021311x10200013031330221111x12321331000120021311x12200013031330221111x11321331000120021311x11200013031330221111x13213011312110210021x13320301212021101111x10213011312110210021x10320301212021101111x12213011312110210021x12320301212021101111x11213011312110210021x11320301212021101111x13302012100031103021x13001101233000012231x10302012100031103021x10001101233000012231x12302012100031103021x12001101233000012231x11302012100031103021x11001101233000012231x13310131310020010331x13010133023110030311x10310131310020010331x10010133023110030311x12310131310020010331x12010133023110030311x11310131310020010331x11010133023110030311x13203221202033121312x13303102202332112212x10203221202033121312x10303102202332112212x12203221202033121312x12303102202332112212x11203221202033121312x11303102202332112212x13013302031213310132x13332020130312301113x10013302031213310132x10332020130312301113x12013302031213310132x12332020130312301113x11013302031213310132x11332020130312301113x13310100022223002132x13210110330300222022x10310100022223002132x10210110330300222022x12310100022223002132x12210110330300222022x11310100022223002132x11210110330300222022x13210130313003121332x13011300311330133222x10210130313003121332x10011300311330133222x12210130313003121332x12011300311330133222x11210130313003121332x11011300311330133222x13331310031131100103x13010330311101131033x10331310031131100103x10010330311101131033x12331310031131100103x12010330311101131033x11331310031131100103x11010330311101131033x13213220133212110303x13312021110232333102x10213220133212110303x10312021110232333102x12213220133212110303x12312021110232333102x11213220133212110303x11312021110232333102x13313221322201302013x13211130032320321322x10313221322201302013x10211130032320321322x12313221322201302013x12211130032320321322x11313221322201302013x11211130032320321322x13331310232120031213x13012231203231303113x10331310232120031213x10012231203231303113x12331310232120031213x12012231203231303113x11331310232120031213x11012231203231303113x13012321313312120133x13202130233311111233x10012321313312120133x10202130233311111233x12012321313312120133x12202130233311111233x11012321313312120133x11202130233311111233x13210333133101201333x13311101333201233033x10210333133101201333x10311101333201233033x12210333133101201333x12311101333201233033x11210333133101201333x11311101333201233033x1333002200113322113311002222000000003x1311111100222200003300003333222200003x1333002200113322113311002222000000000x1311111100222200003300003333222200000x1333002200113322113311002222000000002x1311111100222200003300003333222200002x1333002200113322113311002222000000001x1311111100222200003300003333222200001x1300333311333311331100332222111100003x1333113333332211000011332200111133003x1300333311333311331100332222111100000x1333113333332211000011332200111133000x1300333311333311331100332222111100002x1333113333332211000011332200111133002x1300333311333311331100332222111100001x1333113333332211000011332200111133001x1211113333330022110022113311221100003x1200001133001122003311111111332233223x1211113333330022110022113311221100000x1200001133001122003311111111332233220x1211113333330022110022113311221100002x1200001133001122003311111111332233222x1211113333330022110022113311221100001x1200001133001122003311111111332233221x1222111122003311221122112233221100003x1222331111113300002211111122220022223x1222111122003311221122112233221100000x1222331111113300002211111122220022220x1222111122003311221122112233221100002x1222331111113300002211111122220022222x1222111122003311221122112233221100001x1222331111113300002211111122220022221x1111003333110022113333223311331100003x1111223311000033110033003311113333223x1111003333110022113333223311331100000x1111223311000033110033003311113333220x1111003333110022113333223311331100002x1111223311000033110033003311113333222x1111003333110022113333223311331100001x1111223311000033110033003311113333221x1100110033001122111122111111002211003x1100111133111111112200112200000022113x1100110033001122111122111111002211000x1100111133111111112200112200000022110x1100110033001122111122111111002211002x1100111133111111112200112200000022112x1100110033001122111122111111002211001x1100111133111111112200112200000022111x1133331111003300110000222211222211003x1100111122220033223311220011330011003x1133331111003300110000222211222211000x1100111122220033223311220011330011000x1133331111003300110000222211222211002x1100111122220033223311220011330011002x1133331111003300110000222211222211001x1100111122220033223311220011330011001x1100110022112233112200110011332211003x1100111111002200221133332211110022003x1100110022112233112200110011332211000x1100111111002200221133332211110022000x1100110022112233112200110011332211002x1100111111002200221133332211110022002x1100110022112233112200110011332211001x1100111111002200221133332211110022001x1022333311332233002200331133221122003x1022331111112233000022333322003333223x1022333311332233002200331133221122000x1022331111112233000022333322003333220x1022333311332233002200331133221122002x1022331111112233000022333322003333222x1022333311332233002200331133221122001x1022331111112233000022333322003333221x1100111111332222331100332211331122003x1133111111110033221122332200113300223x1100111111332222331100332211331122000x1133111111110033221122332200113300220x1100111111332222331100332211331122002x1133111111110033221122332200113300222x1100111111332222331100332211331122001x1133111111110033221122332200113300221x1011001122221100332200331133110033003x1022221111111100003300003322113333003x1011001122221100332200331133110033000x1022221111111100003300003322113333000x1011001122221100332200331133110033002x1022221111111100003300003322113333002x1011001122221100332200331133110033001x1022221111111100003300003322113333001x1100332211330000003333112211220033003x1111223322000011333333000011003322003x1100332211330000003333112211220033000x1111223322000011333333000011003322000x1100332211330000003333112211220033002x1111223322000011333333000011003322002x1100332211330000003333112211220033001x1111223322000011333333000011003322001x1311333311330000223333331100001133003x1333001100111100331100332233333333003x1311333311330000223333331100001133000x1333001100111100331100332233333333000x1311333311330000223333331100001133002x1333001100111100331100332233333333002x1311333311330000223333331100001133001x1333001100111100331100332233333333001x1200330022333311112211003322003333003x1200112200001111333322330033332233003x1200330022333311112211003322003333000x1200112200001111333322330033332233000x1200330022333311112211003322003333002x1200112200001111333322330033332233002x1200330022333311112211003322003333001x1200112200001111333322330033332233001x1111110022002222221111331122333333003x1111003322332233111111113322220022003x1111110022002222221111331122333333000x1111003322332233111111113322220022000x1111110022002222221111331122333333002x1111003322332233111111113322220022002x1111110022002222221111331122333333001x1111003322332233111111113322220022001x1111001111331133003333111133221100113x1111333311333311110000332200111111113x1111001111331133003333111133221100110x1111333311333311110000332200111111110x1111001111331133003333111133221100112x1111333311333311110000332200111111112x1111001111331133003333111133221100111x1111333311333311110000332200111111111x1200332200111100331133223300112200113x1200003300333333001111222200111122113x1200332200111100331133223300112200110x1200003300333333001111222200111122110x1200332200111100331133223300112200112x1200003300333333001111222200111122112x1200332200111100331133223300112200111x1200003300333333001111222200111122111x1033110022330033000033332222222200113x1000332233220000220033332200223311113x1033110022330033000033332222222200110x1000332233220000220033332200223311110x1033110022330033000033332222222200112x1000332233220000220033332200223311112x1033110022330033000033332222222200111x1000332233220000220033332200223311111x1000221100223300331100331100002211113x1000111100223322003311002233000011113x1000221100223300331100331100002211110x1000111100223322003311002233000011110x1000221100223300331100331100002211112x1000111100223322003311002233000011112x1000221100223300331100331100002211111x1000111100223322003311002233000011111x1100113311003333220011000011333311113x1100111111110033221133330033000033113x1100113311003333220011000011333311110x1100111111110033221133330033000033110x1100113311003333220011000011333311112x1100111111110033221133330033000033112x1100113311003333220011000011333311111x1100111111110033221133330033000033111x1333112211223333222222330011331122113x1311113300223311333322222233112222113x1333112211223333222222330011331122110x1311113300223311333322222233112222110x1333112211223333222222330011331122112x1311113300223311333322222233112222112x1333112211223333222222330011331122111x1311113300223311333322222233112222111x1111001111222211331122003333222222113x1111111122330022221133110033222222113x1111001111222211331122003333222222110x1111111122330022221133110033222222110x1111001111222211331122003333222222112x1111111122330022221133110033222222112x1111001111222211331122003333222222111x1111111122330022221133110033222222111x1333332222331100221133331100223322113x1322331111223333330022112233330022113x1333332222331100221133331100223322110x1322331111223333330022112233330022110x1333332222331100221133331100223322112x1322331111223333330022112233330022112x1333332222331100221133331100223322111x1322331111223333330022112233330022111x1033331133110033223311332233330033113x1033333333113333332222003311110033113x1033331133110033223311332233330033110x1033333333113333332222003311110033110x1033331133110033223311332233330033112x1033333333113333332222003311110033112x1033331133110033223311332233330033111x1033333333113333332222003311110033111x1122113300113322220011001111221133113x1122222211110033111133332211000011113x1122113300113322220011001111221133110x1122222211110033111133332211000011110x1122113300113322220011001111221133112x1122222211110033111133332211000011112x1122113300113322220011001111221133111x1122222211110033111133332211000011111x1333000011333322113300331122221133113x1333221111333333003322110011220033113x1333000011333322113300331122221133110x1333221111333333003322110011220033110x1333000011333322113300331122221133112x1333221111333333003322110011220033112x1333000011333322113300331122221133111x1333221111333333003322110011220033111x1222331122111133111111002233112233113x1233222233111111223311112200113311113x1222331122111133111111002233112233110x1233222233111111223311112200113311110x1222331122111133111111002233112233112x1233222233111111223311112200113311112x1222331122111133111111002233112233111x1233222233111111223311112200113311111x1311002233113300002211222200332233113x1322220022330011113333221122000033113x1311002233113300002211222200332233110x1322220022330011113333221122000033110x1311002233113300002211222200332233112x1322220022330011113333221122000033112x1311002233113300002211222200332233111x1322220022330011113333221122000033111x1011110011113311002211330022002200223x1000222233111111000033220000111111223x1011110011113311002211330022002200220x1000222233111111000033220000111111220x1011110011113311002211330022002200222x1000222233111111000033220000111111222x1011110011113311002211330022002200221x1000222233111111000033220000111111221x1211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1111002211110011333322110011222211223x1111221111112211222200331100003311223x1111002211110011333322110011222211220x1111221111112211222200331100003311220x1111002211110011333322110011222211222x1111221111112211222200331100003311222x1111002211110011333322110011222211221x1111221111112211222200331100003311221x1211112222112200110000111122113311223x1211112222330022111100001111221111223x1211112222112200110000111122113311220x1211112222330022111100001111221111220x1211112222112200110000111122113311222x1211112222330022111100001111221111222x1211112222112200110000111122113311221x1211112222330022111100001111221111221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x1322223300003300333300223322220022223x1322220022000033002233330022332233223x1322223300003300333300223322220022220x1322220022000033002233330022332233220x1322223300003300333300223322220022222x1322220022000033002233330022332233222x1322223300003300333300223322220022221x1322220022000033002233330022332233221x1322001100333333220011111133221122223x1322333300003300331122221111111122223x1322001100333333220011111133221122220x1322333300003300331122221111111122220x1322001100333333220011111133221122222x1322333300003300331122221111111122222x1322001100333333220011111133221122221x1322333300003300331122221111111122221x1200113333110011330022223300222222223x1233330033001133001122220011222222223x1200113333110011330022223300222222220x1233330033001133001122220011222222220x1200113333110011330022223300222222222x1233330033001133001122220011222222222x1200113333110011330022223300222222221x1233330033001133001122220011222222221x1033333311110022331133000033113322223x1033003333331111111133223322220000333x1033333311110022331133000033113322220x1033003333331111111133223322220000330x1033333311110022331133000033113322222x1033003333331111111133223322220000332x1033333311110022331133000033113322221x1033003333331111111133223322220000331x1333332200110033003322003322332233223x1333223300223300001122332233330033223x1333332200110033003322003322332233220x1333223300223300001122332233330033220x1333332200110033003322003322332233222x1333223300223300001122332233330033222x1333332200110033003322003322332233221x1333223300223300001122332233330033221x1322331122333322332233113333223333223x1322333333333333112233112222332233223x1322331122333322332233113333223333220x1322333333333333112233112222332233220x1322331122333322332233113333223333222x1322333333333333112233112222332233222x1322331122333322332233113333223333221x1322333333333333112233112222332233221x1200001100332233221122220011000000333x1200220000111100223333222200001100333x1200001100332233221122220011000000330x1200220000111100223333222200001100330x1200001100332233221122220011000000332x1200220000111100223333222200001100332x1200001100332233221122220011000000331x1200220000111100223333222200001100331x1100000033221100002211332200330000333x1133003333002222001122000000001100333x1100000033221100002211332200330000330x1133003333002222001122000000001100330x1100000033221100002211332200330000332x1133003333002222001122000000001100332x1100000033221100002211332200330000331x1133003333002222001122000000001100331x1111001111110033110000220000221100333x1111002200330033001100001111111122003x1111001111110033110000220000221100330x1111002200330033001100001111111122000x1111001111110033110000220000221100332x1111002200330033001100001111111122002x1111001111110033110000220000221100331x1111002200330033001100001111111122001x1100113322331111221133111133331100333x1100112233111122110033331133331111333x1100113322331111221133111133331100330x1100112233111122110033331133331111330x1100113322331111221133111133331100332x1100112233111122110033331133331111332x1100113322331111221133111133331100331x1100112233111122110033331133331111331x1133113322111133330011330022332200333x1133112200330000331111113333223322333x1133113322111133330011330022332200330x1133112200330000331111113333223322330x1133113322111133330011330022332200332x1133112200330000331111113333223322332x1133113322111133330011330022332200331x1133112200330000331111113333223322331x1000002222222233112211110022000011333x1000002222221111000011332200112233223x1000002222222233112211110022000011330x1000002222221111000011332200112233220x1000002222222233112211110022000011332x1000002222221111000011332200112233222x1000002222222233112211110022000011331x1000002222221111000011332200112233221x1100331111223333331133222211330011333x1100333300111133331111333322112233223x1100331111223333331133222211330011330x1100333300111133331111333322112233220x1100331111223333331133222211330011332x1100333300111133331111333322112233222x1100331111223333331133222211330011331x1100333300111133331111333322112233221x1300000022001100112222222222332211333x1300002222112222001122001100223322333x1300000022001100112222222222332211330x1300002222112222001122001100223322330x1300000022001100112222222222332211332x1300002222112222001122001100223322332x1300000022001100112222222222332211331x1300002222112222001122001100223322331x1300333333221133330011001122113311333x1300223333113311112200330011113333333x1300333333221133330011001122113311330x1300223333113311112200330011113333330x1300333333221133330011001122113311332x1300223333113311112200330011113333332x1300333333221133330011001122113311331x1300223333113311112200330011113333331x1000112211113311333322003322113311333x1000112233111133333311221133113300223x1000112211113311333322003322113311330x1000112233111133333311221133113300220x1000112211113311333322003322113311332x1000112233111133333311221133113300222x1000112211113311333322003322113311331x1000112233111133333311221133113300221x1111333300333322221100113311223311333x1111111100333333223311220022113333333x1111333300333322221100113311223311330x1111111100333333223311220022113333330x1111333300333322221100113311223311332x1111111100333333223311220022113333332x1111333300333322221100113311223311331x1111111100333333223311220022113333331x1222222233000033002233222222223311333x1222223333332200003322222233001122223x1222222233000033002233222222223311330x1222223333332200003322222233001122220x1222222233000033002233222222223311332x1222223333332200003322222233001122222x1222222233000033002233222222223311331x1222223333332200003322222233001122221x1333111100113322111133110011222222333x1300111111332222220033111111332211333x1333111100113322111133110011222222330x1300111111332222220033111111332211330x1333111100113322111133110011222222332x1300111111332222220033111111332211332x1333111100113322111133110011222222331x1300111111332222220033111111332211331x1100003311002200221133222211220033333x1111112200002200000033223333223311223x1100003311002200221133222211220033330x1111112200002200000033223333223311220x1100003311002200221133222211220033332x1111112200002200000033223333223311222x1100003311002200221133222211220033331x1111112200002200000033223333223311221x1311223322111133222222330033001133333x1333221122333333220022330033111111223x1311223322111133222222330033001133330x1333221122333333220022330033111111220x1311223322111133222222330033001133332x1333221122333333220022330033111111222x1311223322111133222222330033001133331x1333221122333333220022330033111111221x1111222200003322112211223322111133333x1111111122002233332200332211221122333x1111222200003322112211223322111133330x1111111122002233332200332211221122330x1111222200003322112211223322111133332x1111111122002233332200332211221122332x1111222200003322112211223322111133331x1111111122002233332200332211221122331x1233003333112222222211332200112233333x1233222233001122333311112222003322333x1233003333112222222211332200112233330x1233222233001122333311112222003322330x1233003333112222222211332200112233332x1233222233001122333311112222003322332x1233003333112222222211332200112233331x1233222233001122333311112222003322331x1200221122110033332211330033222233333x1222003300003333331122223322111122333x1200221122110033332211330033222233330x1222003300003333331122223322111122330x1200221122110033332211330033222233332x1222003300003333331122223322111122332x1200221122110033332211330033222233331x1222003300003333331122223322111122331x132211113322331111002211332211330000003x133322223311112222000011111133110033003x132211113322331111002211332211330000000x133322223311112222000011111133110033000x132211113322331111002211332211330000002x133322223311112222000011111133110033002x132211113322331111002211332211330000001x133322223311112222000011111133110033001x102211113322331111002211332211330000003x103322223311112222000011111133110033003x102211113322331111002211332211330000000x103322223311112222000011111133110033000x102211113322331111002211332211330000002x103322223311112222000011111133110033002x102211113322331111002211332211330000001x103322223311112222000011111133110033001x122211113322331111002211332211330000003x123322223311112222000011111133110033003x122211113322331111002211332211330000000x123322223311112222000011111133110033000x122211113322331111002211332211330000002x123322223311112222000011111133110033002x122211113322331111002211332211330000001x123322223311112222000011111133110033001x112211113322331111002211332211330000003x113322223311112222000011111133110033003x112211113322331111002211332211330000000x113322223311112222000011111133110033000x112211113322331111002211332211330000002x113322223311112222000011111133110033002x112211113322331111002211332211330000001x113322223311112222000011111133110033001x133300330033110033001111331100331100003x130033111100333333111100331133000000003x133300330033110033001111331100331100000x130033111100333333111100331133000000000x133300330033110033001111331100331100002x130033111100333333111100331133000000002x133300330033110033001111331100331100001x130033111100333333111100331133000000001x103300330033110033001111331100331100003x100033111100333333111100331133000000003x103300330033110033001111331100331100000x100033111100333333111100331133000000000x103300330033110033001111331100331100002x100033111100333333111100331133000000002x103300330033110033001111331100331100001x100033111100333333111100331133000000001x123300330033110033001111331100331100003x120033111100333333111100331133000000003x123300330033110033001111331100331100000x120033111100333333111100331133000000000x123300330033110033001111331100331100002x120033111100333333111100331133000000002x123300330033110033001111331100331100001x120033111100333333111100331133000000001x113300330033110033001111331100331100003x110033111100333333111100331133000000003x113300330033110033001111331100331100000x110033111100333333111100331133000000000x113300330033110033001111331100331100002x110033111100333333111100331133000000002x113300330033110033001111331100331100001x110033111100333333111100331133000000001x133300002222110033003311002200330011003x130011113333220033000011222200000033003x133300002222110033003311002200330011000x130011113333220033000011222200000033000x133300002222110033003311002200330011002x130011113333220033000011222200000033002x133300002222110033003311002200330011001x130011113333220033000011222200000033001x103300002222110033003311002200330011003x100011113333220033000011222200000033003x103300002222110033003311002200330011000x100011113333220033000011222200000033000x103300002222110033003311002200330011002x100011113333220033000011222200000033002x103300002222110033003311002200330011001x100011113333220033000011222200000033001x123300002222110033003311002200330011003x120011113333220033000011222200000033003x123300002222110033003311002200330011000x120011113333220033000011222200000033000x123300002222110033003311002200330011002x120011113333220033000011222200000033002x123300002222110033003311002200330011001x120011113333220033000011222200000033001x113300002222110033003311002200330011003x110011113333220033000011222200000033003x113300002222110033003311002200330011000x110011113333220033000011222200000033000x113300002222110033003311002200330011002x110011113333220033000011222200000033002x113300002222110033003311002200330011001x110011113333220033000011222200000033001x132211002200331111221133331133331111003x133311333322003300111111111122112233003x132211002200331111221133331133331111000x133311333322003300111111111122112233000x132211002200331111221133331133331111002x133311333322003300111111111122112233002x132211002200331111221133331133331111001x133311333322003300111111111122112233001x102211002200331111221133331133331111003x103311333322003300111111111122112233003x102211002200331111221133331133331111000x103311333322003300111111111122112233000x102211002200331111221133331133331111002x103311333322003300111111111122112233002x102211002200331111221133331133331111001x103311333322003300111111111122112233001x122211002200331111221133331133331111003x123311333322003300111111111122112233003x122211002200331111221133331133331111000x123311333322003300111111111122112233000x122211002200331111221133331133331111002x123311333322003300111111111122112233002x122211002200331111221133331133331111001x123311333322003300111111111122112233001x112211002200331111221133331133331111003x113311333322003300111111111122112233003x112211002200331111221133331133331111000x113311333322003300111111111122112233000x112211002200331111221133331133331111002x113311333322003300111111111122112233002x112211002200331111221133331133331111001x113311333322003300111111111122112233001x130011331122113311221133330022112211003x133300113333001111222200111111112233223x130011331122113311221133330022112211000x133300113333001111222200111111112233220x130011331122113311221133330022112211002x133300113333001111222200111111112233222x130011331122113311221133330022112211001x133300113333001111222200111111112233221x100011331122113311221133330022112211003x103300113333001111222200111111112233223x100011331122113311221133330022112211000x103300113333001111222200111111112233220x100011331122113311221133330022112211002x103300113333001111222200111111112233222x100011331122113311221133330022112211001x103300113333001111222200111111112233221x120011331122113311221133330022112211003x123300113333001111222200111111112233223x120011331122113311221133330022112211000x123300113333001111222200111111112233220x120011331122113311221133330022112211002x123300113333001111222200111111112233222x120011331122113311221133330022112211001x123300113333001111222200111111112233221x110011331122113311221133330022112211003x113300113333001111222200111111112233223x110011331122113311221133330022112211000x113300113333001111222200111111112233220x110011331122113311221133330022112211002x113300113333001111222200111111112233222x110011331122113311221133330022112211001x113300113333001111222200111111112233221x133311001100223300000022221133112233003x132233000000220033001111111122330033223x133311001100223300000022221133112233000x132233000000220033001111111122330033220x133311001100223300000022221133112233002x132233000000220033001111111122330033222x133311001100223300000022221133112233001x132233000000220033001111111122330033221x103311001100223300000022221133112233003x102233000000220033001111111122330033223x103311001100223300000022221133112233000x102233000000220033001111111122330033220x103311001100223300000022221133112233002x102233000000220033001111111122330033222x103311001100223300000022221133112233001x102233000000220033001111111122330033221x123311001100223300000022221133112233003x122233000000220033001111111122330033223x123311001100223300000022221133112233000x122233000000220033001111111122330033220x123311001100223300000022221133112233002x122233000000220033001111111122330033222x123311001100223300000022221133112233001x122233000000220033001111111122330033221x113311001100223300000022221133112233003x112233000000220033001111111122330033223x113311001100223300000022221133112233000x112233000000220033001111111122330033220x113311001100223300000022221133112233002x112233000000220033001111111122330033222x113311001100223300000022221133112233001x112233000000220033001111111122330033221x130011001133111133331100223322223300113x133322112233331111001122330000330011113x130011001133111133331100223322223300110x133322112233331111001122330000330011110x130011001133111133331100223322223300112x133322112233331111001122330000330011112x130011001133111133331100223322223300111x133322112233331111001122330000330011111x100011001133111133331100223322223300113x103322112233331111001122330000330011113x100011001133111133331100223322223300110x103322112233331111001122330000330011110x100011001133111133331100223322223300112x103322112233331111001122330000330011112x100011001133111133331100223322223300111x103322112233331111001122330000330011111x120011001133111133331100223322223300113x123322112233331111001122330000330011113x120011001133111133331100223322223300110x123322112233331111001122330000330011110x120011001133111133331100223322223300112x123322112233331111001122330000330011112x120011001133111133331100223322223300111x123322112233331111001122330000330011111x110011001133111133331100223322223300113x113322112233331111001122330000330011113x110011001133111133331100223322223300110x113322112233331111001122330000330011110x110011001133111133331100223322223300112x113322112233331111001122330000330011112x110011001133111133331100223322223300111x113322112233331111001122330000330011111x133333111133110011001122220011000011113x130033000011112211112200331100331111113x133333111133110011001122220011000011110x130033000011112211112200331100331111110x133333111133110011001122220011000011112x130033000011112211112200331100331111112x133333111133110011001122220011000011111x130033000011112211112200331100331111111x103333111133110011001122220011000011113x100033000011112211112200331100331111113x103333111133110011001122220011000011110x100033000011112211112200331100331111110x103333111133110011001122220011000011112x100033000011112211112200331100331111112x103333111133110011001122220011000011111x100033000011112211112200331100331111111x123333111133110011001122220011000011113x120033000011112211112200331100331111113x123333111133110011001122220011000011110x120033000011112211112200331100331111110x123333111133110011001122220011000011112x120033000011112211112200331100331111112x123333111133110011001122220011000011111x120033000011112211112200331100331111111x113333111133110011001122220011000011113x110033000011112211112200331100331111113x113333111133110011001122220011000011110x110033000011112211112200331100331111110x113333111133110011001122220011000011112x110033000011112211112200331100331111112x113333111133110011001122220011000011111x110033000011112211112200331100331111111x132211000011001133221122113333330011113x130000333322222200333311111111001111113x132211000011001133221122113333330011110x130000333322222200333311111111001111110x132211000011001133221122113333330011112x130000333322222200333311111111001111112x132211000011001133221122113333330011111x130000333322222200333311111111001111111x102211000011001133221122113333330011113x100000333322222200333311111111001111113x102211000011001133221122113333330011110x100000333322222200333311111111001111110x102211000011001133221122113333330011112x100000333322222200333311111111001111112x102211000011001133221122113333330011111x100000333322222200333311111111001111111x122211000011001133221122113333330011113x120000333322222200333311111111001111113x122211000011001133221122113333330011110x120000333322222200333311111111001111110x122211000011001133221122113333330011112x120000333322222200333311111111001111112x122211000011001133221122113333330011111x120000333322222200333311111111001111111x112211000011001133221122113333330011113x110000333322222200333311111111001111113x112211000011001133221122113333330011110x110000333322222200333311111111001111110x112211000011001133221122113333330011112x110000333322222200333311111111001111112x112211000011001133221122113333330011111x110000333322222200333311111111001111111x133322113333110000001122000022113311113x132200000011330033113333002222111111113x133322113333110000001122000022113311110x132200000011330033113333002222111111110x133322113333110000001122000022113311112x132200000011330033113333002222111111112x133322113333110000001122000022113311111x132200000011330033113333002222111111111x103322113333110000001122000022113311113x102200000011330033113333002222111111113x103322113333110000001122000022113311110x102200000011330033113333002222111111110x103322113333110000001122000022113311112x102200000011330033113333002222111111112x103322113333110000001122000022113311111x102200000011330033113333002222111111111x123322113333110000001122000022113311113x122200000011330033113333002222111111113x123322113333110000001122000022113311110x122200000011330033113333002222111111110x123322113333110000001122000022113311112x122200000011330033113333002222111111112x123322113333110000001122000022113311111x122200000011330033113333002222111111111x113322113333110000001122000022113311113x112200000011330033113333002222111111113x113322113333110000001122000022113311110x112200000011330033113333002222111111110x113322113333110000001122000022113311112x112200000011330033113333002222111111112x113322113333110000001122000022113311111x112200000011330033113333002222111111111x132211330011113311221111002211000022113x133322003300112211220022111100111111113x132211330011113311221111002211000022110x133322003300112211220022111100111111110x132211330011113311221111002211000022112x133322003300112211220022111100111111112x132211330011113311221111002211000022111x133322003300112211220022111100111111111x102211330011113311221111002211000022113x103322003300112211220022111100111111113x102211330011113311221111002211000022110x103322003300112211220022111100111111110x102211330011113311221111002211000022112x103322003300112211220022111100111111112x102211330011113311221111002211000022111x103322003300112211220022111100111111111x122211330011113311221111002211000022113x123322003300112211220022111100111111113x122211330011113311221111002211000022110x123322003300112211220022111100111111110x122211330011113311221111002211000022112x123322003300112211220022111100111111112x122211330011113311221111002211000022111x123322003300112211220022111100111111111x112211330011113311221111002211000022113x113322003300112211220022111100111111113x112211330011113311221111002211000022110x113322003300112211220022111100111111110x112211330011113311221111002211000022112x113322003300112211220022111100111111112x112211330011113311221111002211000022111x113322003300112211220022111100111111111x133300220011221100000033111100330022113x130000111100112233330000000011222233113x133300220011221100000033111100330022110x130000111100112233330000000011222233110x133300220011221100000033111100330022112x130000111100112233330000000011222233112x133300220011221100000033111100330022111x130000111100112233330000000011222233111x103300220011221100000033111100330022113x100000111100112233330000000011222233113x103300220011221100000033111100330022110x100000111100112233330000000011222233110x103300220011221100000033111100330022112x100000111100112233330000000011222233112x103300220011221100000033111100330022111x100000111100112233330000000011222233111x123300220011221100000033111100330022113x120000111100112233330000000011222233113x123300220011221100000033111100330022110x120000111100112233330000000011222233110x123300220011221100000033111100330022112x120000111100112233330000000011222233112x123300220011221100000033111100330022111x120000111100112233330000000011222233111x113300220011221100000033111100330022113x110000111100112233330000000011222233113x113300220011221100000033111100330022110x110000111100112233330000000011222233110x113300220011221100000033111100330022112x110000111100112233330000000011222233112x113300220011221100000033111100330022111x110000111100112233330000000011222233111x133311001133113311000022000011003333113x130011001133330022331111000033003311113x133311001133113311000022000011003333110x130011001133330022331111000033003311110x133311001133113311000022000011003333112x130011001133330022331111000033003311112x133311001133113311000022000011003333111x130011001133330022331111000033003311111x103311001133113311000022000011003333113x100011001133330022331111000033003311113x103311001133113311000022000011003333110x100011001133330022331111000033003311110x103311001133113311000022000011003333112x100011001133330022331111000033003311112x103311001133113311000022000011003333111x100011001133330022331111000033003311111x123311001133113311000022000011003333113x120011001133330022331111000033003311113x123311001133113311000022000011003333110x120011001133330022331111000033003311110x123311001133113311000022000011003333112x120011001133330022331111000033003311112x123311001133113311000022000011003333111x120011001133330022331111000033003311111x113311001133113311000022000011003333113x110011001133330022331111000033003311113x113311001133113311000022000011003333110x110011001133330022331111000033003311110x113311001133113311000022000011003333112x110011001133330022331111000033003311112x113311001133113311000022000011003333111x110011001133330022331111000033003311111x132200332222112200220033331122113311223x133300331100222200223333221111222211223x132200332222112200220033331122113311220x133300331100222200223333221111222211220x132200332222112200220033331122113311222x133300331100222200223333221111222211222x132200332222112200220033331122113311221x133300331100222200223333221111222211221x102200332222112200220033331122113311223x103300331100222200223333221111222211223x102200332222112200220033331122113311220x103300331100222200223333221111222211220x102200332222112200220033331122113311222x103300331100222200223333221111222211222x102200332222112200220033331122113311221x103300331100222200223333221111222211221x122200332222112200220033331122113311223x123300331100222200223333221111222211223x122200332222112200220033331122113311220x123300331100222200223333221111222211220x122200332222112200220033331122113311222x123300331100222200223333221111222211222x122200332222112200220033331122113311221x123300331100222200223333221111222211221x112200332222112200220033331122113311223x113300331100222200223333221111222211223x112200332222112200220033331122113311220x113300331100222200223333221111222211220x112200332222112200220033331122113311222x113300331100222200223333221111222211222x112200332222112200220033331122113311221x113300331100222200223333221111222211221x130011333300220033112211333311001133223x133333220022001133003311223300111111333x130011333300220033112211333311001133220x133333220022001133003311223300111111330x130011333300220033112211333311001133222x133333220022001133003311223300111111332x130011333300220033112211333311001133221x133333220022001133003311223300111111331x100011333300220033112211333311001133223x103333220022001133003311223300111111333x100011333300220033112211333311001133220x103333220022001133003311223300111111330x100011333300220033112211333311001133222x103333220022001133003311223300111111332x100011333300220033112211333311001133221x103333220022001133003311223300111111331x120011333300220033112211333311001133223x123333220022001133003311223300111111333x120011333300220033112211333311001133220x123333220022001133003311223300111111330x120011333300220033112211333311001133222x123333220022001133003311223300111111332x120011333300220033112211333311001133221x123333220022001133003311223300111111331x110011333300220033112211333311001133223x113333220022001133003311223300111111333x110011333300220033112211333311001133220x113333220022001133003311223300111111330x110011333300220033112211333311001133222x113333220022001133003311223300111111332x110011333300220033112211333311001133221x113333220022001133003311223300111111331x133311001100000022222222330000221133223x132211001111003333003300002222220022223x133311001100000022222222330000221133220x132211001111003333003300002222220022220x133311001100000022222222330000221133222x132211001111003333003300002222220022222x133311001100000022222222330000221133221x132211001111003333003300002222220022221x103311001100000022222222330000221133223x102211001111003333003300002222220022223x103311001100000022222222330000221133220x102211001111003333003300002222220022220x103311001100000022222222330000221133222x102211001111003333003300002222220022222x103311001100000022222222330000221133221x102211001111003333003300002222220022221x123311001100000022222222330000221133223x122211001111003333003300002222220022223x123311001100000022222222330000221133220x122211001111003333003300002222220022220x123311001100000022222222330000221133222x122211001111003333003300002222220022222x123311001100000022222222330000221133221x122211001111003333003300002222220022221x113311001100000022222222330000221133223x112211001111003333003300002222220022223x113311001100000022222222330000221133220x112211001111003333003300002222220022220x113311001100000022222222330000221133222x112211001111003333003300002222220022222x113311001100000022222222330000221133221x112211001111003333003300002222220022221x132211001133003311330000331122113333223x130011113300003311113333001133332222223x132211001133003311330000331122113333220x130011113300003311113333001133332222220x132211001133003311330000331122113333222x130011113300003311113333001133332222222x132211001133003311330000331122113333221x130011113300003311113333001133332222221x102211001133003311330000331122113333223x100011113300003311113333001133332222223x102211001133003311330000331122113333220x100011113300003311113333001133332222220x102211001133003311330000331122113333222x100011113300003311113333001133332222222x102211001133003311330000331122113333221x100011113300003311113333001133332222221x122211001133003311330000331122113333223x120011113300003311113333001133332222223x122211001133003311330000331122113333220x120011113300003311113333001133332222220x122211001133003311330000331122113333222x120011113300003311113333001133332222222x122211001133003311330000331122113333221x120011113300003311113333001133332222221x112211001133003311330000331122113333223x110011113300003311113333001133332222223x112211001133003311330000331122113333220x110011113300003311113333001133332222220x112211001133003311330000331122113333222x110011113300003311113333001133332222222x112211001133003311330000331122113333221x110011113300003311113333001133332222221x133333113311000033111133111100001100333x130011003333003311111100111133110033333x133333113311000033111133111100001100330x130011003333003311111100111133110033330x133333113311000033111133111100001100332x130011003333003311111100111133110033332x133333113311000033111133111100001100331x130011003333003311111100111133110033331x103333113311000033111133111100001100333x100011003333003311111100111133110033333x103333113311000033111133111100001100330x100011003333003311111100111133110033330x103333113311000033111133111100001100332x100011003333003311111100111133110033332x103333113311000033111133111100001100331x100011003333003311111100111133110033331x123333113311000033111133111100001100333x120011003333003311111100111133110033333x123333113311000033111133111100001100330x120011003333003311111100111133110033330x123333113311000033111133111100001100332x120011003333003311111100111133110033332x123333113311000033111133111100001100331x120011003333003311111100111133110033331x113333113311000033111133111100001100333x110011003333003311111100111133110033333x113333113311000033111133111100001100330x110011003333003311111100111133110033330x113333113311000033111133111100001100332x110011003333003311111100111133110033332x113333113311000033111133111100001100331x110011003333003311111100111133110033331x132211332222001133332211221111003300333x133311220022111111002233223333331100223x132211332222001133332211221111003300330x133311220022111111002233223333331100220x132211332222001133332211221111003300332x133311220022111111002233223333331100222x132211332222001133332211221111003300331x133311220022111111002233223333331100221x102211332222001133332211221111003300333x103311220022111111002233223333331100223x102211332222001133332211221111003300330x103311220022111111002233223333331100220x102211332222001133332211221111003300332x103311220022111111002233223333331100222x102211332222001133332211221111003300331x103311220022111111002233223333331100221x122211332222001133332211221111003300333x123311220022111111002233223333331100223x122211332222001133332211221111003300330x123311220022111111002233223333331100220x122211332222001133332211221111003300332x123311220022111111002233223333331100222x122211332222001133332211221111003300331x123311220022111111002233223333331100221x112211332222001133332211221111003300333x113311220022111111002233223333331100223x112211332222001133332211221111003300330x113311220022111111002233223333331100220x112211332222001133332211221111003300332x113311220022111111002233223333331100222x112211332222001133332211221111003300331x113311220022111111002233223333331100221x133311332222113322222200113300220011333x132211111133000033223322003322113322223x133311332222113322222200113300220011330x132211111133000033223322003322113322220x133311332222113322222200113300220011332x132211111133000033223322003322113322222x133311332222113322222200113300220011331x132211111133000033223322003322113322221x103311332222113322222200113300220011333x102211111133000033223322003322113322223x103311332222113322222200113300220011330x102211111133000033223322003322113322220x103311332222113322222200113300220011332x102211111133000033223322003322113322222x103311332222113322222200113300220011331x102211111133000033223322003322113322221x123311332222113322222200113300220011333x122211111133000033223322003322113322223x123311332222113322222200113300220011330x122211111133000033223322003322113322220x123311332222113322222200113300220011332x122211111133000033223322003322113322222x123311332222113322222200113300220011331x122211111133000033223322003322113322221x113311332222113322222200113300220011333x112211111133000033223322003322113322223x113311332222113322222200113300220011330x112211111133000033223322003322113322220x113311332222113322222200113300220011332x112211111133000033223322003322113322222x113311332222113322222200113300220011331x112211111133000033223322003322113322221x133333113311002233221122000033112211333x130011222233112200332233113300331111333x133333113311002233221122000033112211330x130011222233112200332233113300331111330x133333113311002233221122000033112211332x130011222233112200332233113300331111332x133333113311002233221122000033112211331x130011222233112200332233113300331111331x103333113311002233221122000033112211333x100011222233112200332233113300331111333x103333113311002233221122000033112211330x100011222233112200332233113300331111330x103333113311002233221122000033112211332x100011222233112200332233113300331111332x103333113311002233221122000033112211331x100011222233112200332233113300331111331x123333113311002233221122000033112211333x120011222233112200332233113300331111333x123333113311002233221122000033112211330x120011222233112200332233113300331111330x123333113311002233221122000033112211332x120011222233112200332233113300331111332x123333113311002233221122000033112211331x120011222233112200332233113300331111331x113333113311002233221122000033112211333x110011222233112200332233113300331111333x113333113311002233221122000033112211330x110011222233112200332233113300331111330x113333113311002233221122000033112211332x110011222233112200332233113300331111332x113333113311002233221122000033112211331x110011222233112200332233113300331111331x130011223322113311333311221122001133333x132200221133002233333311111111112233333x130011223322113311333311221122001133330x132200221133002233333311111111112233330x130011223322113311333311221122001133332x132200221133002233333311111111112233332x130011223322113311333311221122001133331x132200221133002233333311111111112233331x100011223322113311333311221122001133333x102200221133002233333311111111112233333x100011223322113311333311221122001133330x102200221133002233333311111111112233330x100011223322113311333311221122001133332x102200221133002233333311111111112233332x100011223322113311333311221122001133331x102200221133002233333311111111112233331x120011223322113311333311221122001133333x122200221133002233333311111111112233333x120011223322113311333311221122001133330x122200221133002233333311111111112233330x120011223322113311333311221122001133332x122200221133002233333311111111112233332x120011223322113311333311221122001133331x122200221133002233333311111111112233331x110011223322113311333311221122001133333x112200221133002233333311111111112233333x110011223322113311333311221122001133330x112200221133002233333311111111112233330x110011223322113311333311221122001133332x112200221133002233333311111111112233332x110011223322113311333311221122001133331x112200221133002233333311111111112233331x132211003333331133331100112200113333333x133311111100113333332200112233330033333x132211003333331133331100112200113333330x133311111100113333332200112233330033330x132211003333331133331100112200113333332x133311111100113333332200112233330033332x132211003333331133331100112200113333331x133311111100113333332200112233330033331x102211003333331133331100112200113333333x103311111100113333332200112233330033333x102211003333331133331100112200113333330x103311111100113333332200112233330033330x102211003333331133331100112200113333332x103311111100113333332200112233330033332x102211003333331133331100112200113333331x103311111100113333332200112233330033331x122211003333331133331100112200113333333x123311111100113333332200112233330033333x122211003333331133331100112200113333330x123311111100113333332200112233330033330x122211003333331133331100112200113333332x123311111100113333332200112233330033332x122211003333331133331100112200113333331x123311111100113333332200112233330033331x112211003333331133331100112200113333333x113311111100113333332200112233330033333x112211003333331133331100112200113333330x113311111100113333332200112233330033330x112211003333331133331100112200113333332x113311111100113333332200112233330033332x112211003333331133331100112200113333331x113311111100113333332200112233330033331x1133111301110211152011101111101311132111321111831111810111221115001110311141111112111231112311333311330000223333331100001133003x1333001100111100331100332233333333003x1311333311330000223333331100001133000x1333001100111100331100332233333333000x1311333311330000223333331100001133002x1333001100111100331100332233333333002x1311333311330000223333331100001133001x1333001100111100331100332233333333001x1333112211223333222222330011331122113x1311113300223311333322222233112222113x1333112211223333222222330011331122110x1311113300223311333322222233112222110x1333112211223333222222330011331122112x1311113300223311333322222233112222112x1333112211223333222222330011331122111x1311113300223311333322222233112222111x1211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x1000002222222233112211110022000011333x1000002222221111000011332200112233223x1000002222222233112211110022000011332x1000002222221111000011332200112233222x112211113322331111002211332211330000003x113322223311112222000011111133110033003x112211113322331111002211332211330000000x113322223311112222000011111133110033000x112211113322331111002211332211330000002x113322223311112222000011111133110033002x112211113322331111002211332211330000001x113322223311112222000011111133110033001x112200332222112200220033331122113311223x113300331100222200223333221111222211223x112200332222112200220033331122113311220x113300331100222200223333221111222211220x112200332222112200220033331122113311222x113300331100222200223333221111222211222x112200332222112200220033331122113311221x113300331100222200223333221111222211221x133333113311002233221122000033112211333x130011222233112200332233113300331111333x133333113311002233221122000033112211330x130011222233112200332233113300331111330x133333113311002233221122000033112211332x130011222233112200332233113300331111332x133333113311002233221122000033112211331x130011222233112200332233113300331111331x113333113311002233221122000033112211333x110011222233112200332233113300331111333x113333113311002233221122000033112211330x110011222233112200332233113300331111330x113333113311002233221122000033112211332x110011222233112200332233113300331111332x113333113311002233221122000033112211331x110011222233112200332233113300331111331x1131111131115331111301112001110211123111110111601111031111111123211112111521111221111201111311333311330000223333331100001133003x1333001100111100331100332233333333003x1311333311330000223333331100001133000x1333001100111100331100332233333333000x1311333311330000223333331100001133002x1333001100111100331100332233333333002x1311333311330000223333331100001133001x1333001100111100331100332233333333001x1211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x1000002222222233112211110022000011332x1000002222221111000011332200112233222x112211113322331111002211332211330000003x113322223311112222000011111133110033003x112211113322331111002211332211330000000x113322223311112222000011111133110033000x112211113322331111002211332211330000002x113322223311112222000011111133110033002x112211113322331111002211332211330000001x113322223311112222000011111133110033001x112200332222112200220033331122113311223x113300331100222200223333221111222211223x112200332222112200220033331122113311220x113300331100222200223333221111222211220x112200332222112200220033331122113311222x113300331100222200223333221111222211222x112200332222112200220033331122113311221x113300331100222200223333221111222211221x133333113311002233221122000033112211333x130011222233112200332233113300331111333x133333113311002233221122000033112211330x130011222233112200332233113300331111330x133333113311002233221122000033112211332x130011222233112200332233113300331111332x133333113311002233221122000033112211331x130011222233112200332233113300331111331x113333113311002233221122000033112211333x110011222233112200332233113300331111333x113333113311002233221122000033112211330x110011222233112200332233113300331111330x113333113311002233221122000033112211332x110011222233112200332233113300331111332x113333113311002233221122000033112211331x110011222233112200332233113300331111331x11311116131113311130111300111021112311110111301111603111111113211121111512111201111221111311333311330000223333331100001133003x1333001100111100331100332233333333003x1311333311330000223333331100001133000x1333001100111100331100332233333333000x1311333311330000223333331100001133002x1333001100111100331100332233333333002x1311333311330000223333331100001133001x1333001100111100331100332233333333001x1211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x1000002222222233112211110022000011332x1000002222221111000011332200112233222x112211113322331111002211332211330000003x113322223311112222000011111133110033003x112211113322331111002211332211330000000x113322223311112222000011111133110033000x112211113322331111002211332211330000002x113322223311112222000011111133110033002x112211113322331111002211332211330000001x113322223311112222000011111133110033001x133333113311002233221122000033112211333x130011222233112200332233113300331111333x133333113311002233221122000033112211330x130011222233112200332233113300331111330x133333113311002233221122000033112211332x130011222233112200332233113300331111332x133333113311002233221122000033112211331x130011222233112200332233113300331111331x113333113311002233221122000033112211333x110011222233112200332233113300331111333x113333113311002233221122000033112211330x110011222233112200332233113300331111330x113333113311002233221122000033112211332x110011222233112200332233113300331111332x113333113311002233221122000033112211331x110011222233112200332233113300331111331x113111111311133111301111001110211123111101111011110311111111321112111111211120111122111311333311330000223333331100001133003x1333001100111100331100332233333333003x1311333311330000223333331100001133000x1333001100111100331100332233333333000x1311333311330000223333331100001133002x1333001100111100331100332233333333002x1311333311330000223333331100001133001x1333001100111100331100332233333333001x1211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x113111113111331113011100111102111231111011101111031111111132111121111121112011122111211110011221111332200111122110011223x1211331122111111001111222211000011223x1211110011221111332200111122110011220x1211331122111111001111222211000011220x1211110011221111332200111122110011222x1211331122111111001111222211000011222x1211110011221111332200111122110011221x1211331122111111001111222211000011221x1000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x11211111111110111011111211113111321111201112311131111221110011103111331113011102111000333300110000331122112222220022223x1000331122330000112222223311002200223x1000333300110000331122112222220022220x1000331122330000112222223311002200220x1000333300110000331122112222220022222x1000331122330000112222223311002200222x1000333300110000331122112222220022221x1000331122330000112222223311002200221x11001110311133111130111011111011131111121112111122111201110211123111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe