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