YES 001013200133212212x1030100201332112212x1001130130101112323x1003001113301122113x1002210113233201320x1032121221300213300x1002210130133332021x1031023302303201121x1002232003220122333x1002022033233032122x1011001331320301012x1030101002133031211x1011121001221033212x1011233112102211020x1011211011231203322x1012311131222011302x1011213202110120321x1013100111212230221x1011320203222132033x1002301322230231231x1011322020203220322x1020233210222203102x1013020010132220312x1031110203123020022x1013203030321001321x1030310021122303310x1013323213220320201x1022102323213032031x1020010332001023002x1003020102010302320x1030102000131321333x1030101030121333023x1030301202320110322x1031302230030212012x1032201312320101102x1010330120212012231x1032211003213321220x1033022213221011230x1032301221132012310x1021032123310122130x1032313002233323323x1033332221033323023x1100131103200332212x1312120203011002331x1100321323201112212x1101112222212300331x1101313212231323203x1122222031331031313x1102110321111330000x1113301111031200200x1103120131310323331x1102130131133130332x1111130013322111312x1111010231312113312x1111212210022030222x1111021222102022302x1111320031111022113x1112010330211112113x1111321310101312211x1111131112013302112x1112120021122133221x1112232220201231111x1112201133211320012x1123003111222311012x1113012113232312112x1111223111211233032x1113121223100030331x1130102311302213130x1113313013000032233x1033133020310331012x1113330130113000113x1113331030130110301x1120033221110130003x1130110013020231032x1120332211132230322x1120213332023132122x1122000312233110012x1021011130231222300x1123100030132103203x1120213010200310333x1132000312223201332x1120223301330031222x1132312001001321211x1112221102110331030x1132322230011132120x1130203130123112222x1200002222213222113x1303210122122220022x1200321122113302322x1302321212213120302x1201000210012023131x1201013030201020121x1201113132232310031x1332210313011110322x1201310321222001301x1303010123021221120x1202031200120013201x1201002200133001221x1202223232011102023x1202020221331201223x1212003113033211222x1210321302232113021x1212212001320133200x1220312201013201230x1213221201322200020x1221022103302210202x1221120323213231211x1212203123113112232x1221320022123230012x1223022130201022132x1222032200131313323x1223233101230022133x1222332312212201201x1223023023122221121x1223212000022003232x1220232002023032201x1231320132000032330x1231333002200033021x1231322303003233202x1230302331223033202x1232200333132001021x1202120030331330212x1300220123322201013x1310220320120221033x1310123202122033111x1303122110330211221x1310301333333001331x1300313313303103331x1311000101001121333x1313130101101200013x1311231303212000012x1310110233312100022x1312010020131023313x1302210303131110302x1320032300000003333x1320000002300333303x1320322122013300021x1302130203020231122x1321132330321203133x1333133030122122331x1322000321012320113x1332021021010202313x1323313320032323211x1313012202323133332x1330023200002033121x1310202032030031302x1330211311213313100x1301131113022113330x1330321320210032213x1301232030323120231x1332130000210213111x1300123111330101022x1332133320333001130x1333130230333312100x1332233322133300032x1302302233323032313x1332323101321201013x1303331213210211032x1333201110103013020x1302113030211100330x12.1212212331002310100x1212211233102001030x1323211101031031100x1311221103311100300x1023102332311012200x1003312003122121230x1120233331031012200x1121102303203320130x1333221022300232200x1221230332330220200x1210103023133100110x1112130331200101030x1212330122100121110x1020112201211332110x1223302132110112110x1203110222131113210x1123021011202312110x1122032212111001310x1330231222302023110x1132132032223103200x1223022302020223110x1201302222012332020x1213022231010020310x1220020321302011130x1123100123030302310x1013303221120013030x1102023022312323310x1130230312323201220x1200320100233010020x1023203010201020300x1333123131000201030x1320333121030101030x1223011023202103030x1210212030032203130x1201101023213102230x1132210212021033010x1022123312300112230x1032110122312220330x1013210231122103230x1031221013321230120x1323323332200313230x1320323330122233330x1212233002301131001x1133200110302021213x1212211102323123001x1133003212222211101x1302323132212313101x1313130133130222221x1000033111123011201x1002002130111103311x1133323013131021301x1233031331131031201x1213111223310031111x1213311213132010111x1222030220012212111x1203220201222120111x1311220111130023111x1311211112033010211x1112213101013123111x1211203310211131111x1122331221120021211x1111132102022232211x1210023112331102211x1210113222111300321x1211213232311210311x1230332112111322111x1133030001322121311x1031312203113201031x1332230000310313311x1210133013020331330x1311000311031033311x1103011031030133311x1300031011122330021x1230132020310011031x1223032231112233021x1221231320233312021x1210011332213000221x1003222132031110120x1302301231030001321x1333013002010312021x1233102322213000231x1222130033103322021x1112123100100213231x1030133011201122211x1021231110032223231x1222211321031302031x1311222312222200002x1220022221221012303x1223203311221123002x1203021312212123203x1131320210012000102x1121020102030310102x1130013232231311102x1223011110313012233x1103100222123013102x1021122120321010303x1102310021002130202x1122100331002200102x1320201110232322202x1322102133122020202x1222112330311300212x1120311232203123012x1002331023100212212x1032102310102213022x1020002223102122312x1202012203301220122x1112132312323021122x1232211311321302212x1210032321220023122x1231220102031220322x1323313131002230222x1331220032101332322x1102102212213233222x1121122221320320322x1232300220000212322x1102230320200232022x1033230000231023132x1120330002200333132x1202332300303223132x1202330322133203032x1120100231333002232x1212033133030021202x1310102223321022003x1330122021023022013x1111330221202321013x1122112033011221303x1133100333333103013x1133301303313313003x1333121100101000113x1310002101101031313x1210000212303132113x1220001213332011013x1313320131020010213x1203011131303012203x1333300000003230023x1303333003200000023x1120003310221223023x1221132020302031203x1331302123033231123x1133221221030331333x1311023210123000223x1313202010120120233x1112323230023313323x1233331323202210313x1121330200002320033x1203130030230202013x1001313312113112033x1033311220311131103x1312230012023123033x1132021323030232103x1111312012000031233x1220101033111321003x1031100333023331233x1001213333032031333x1230003331223332233x1313230323332203203x1310102123101323233x1230112012312133303x1020310301011102333x1033001112030311203x12130212212331002310100x1212211233102001030x1323211101031031100x1311221103311100300x1023102332311012200x1003312003122121230x1120233331031012200x1121102303203320130x1223302132110112110x1203110222131113210x1123021011202312110x1122032212111001310x1223022302020223110x1201302222012332020x1213022231010020310x1220020321302011130x1102023022312323310x1130230312323201220x1333123131000201030x1320333121030101030x1223011023202103030x1210212030032203130x1022123312300112230x1032110122312220330x1013210231122103230x1031221013321230120x1323323332200313230x1320323330122233330x1302323132212313101x1313130133130222221x1000033111123011201x1002002130111103311x1213111223310031111x1213311213132010111x1222030220012212111x1203220201222120111x1311220111130023111x1311211112033010211x1122331221120021211x1111132102022232211x1210023112331102211x1210113222111300321x1211213232311210311x1230332112111322111x1223032231112233021x1221231320233312021x1302301231030001321x1333013002010312021x1233102322213000231x1222130033103322021x1223203311221123002x1203021312212123203x1131320210012000102x1121020102030310102x1102310021002130202x1122100331002200102x1320201110232322202x1322102133122020202x1002331023100212212x1032102310102213022x1210032321220023122x1231220102031220322x1323313131002230222x1331220032101332322x1102102212213233222x1121122221320320322x1202332300303223132x1202330322133203032x1310102223321022003x1330122021023022013x1111330221202321013x1122112033011221303x1133100333333103013x1133301303313313003x1333121100101000113x1310002101101031313x1210000212303132113x1220001213332011013x1333300000003230023x1303333003200000023x1311023210123000223x1313202010120120233x1001313312113112033x1033311220311131103x1031100333023331233x1001213333032031333x1020310301011102333x1033001112030311203x12333221022300232200x12221230332330220200x11333221022300232200x11221230332330220200x13333221022300232200x13221230332330220200x10333221022300232200x10221230332330220200x12210103023133100110x12112130331200101030x11210103023133100110x11112130331200101030x13210103023133100110x13112130331200101030x10210103023133100110x10112130331200101030x12212330122100121110x12020112201211332110x11212330122100121110x11020112201211332110x13212330122100121110x13020112201211332110x10212330122100121110x10020112201211332110x12330231222302023110x12132132032223103200x11330231222302023110x11132132032223103200x13330231222302023110x13132132032223103200x10330231222302023110x10132132032223103200x12123100123030302310x12013303221120013030x11123100123030302310x11013303221120013030x13123100123030302310x13013303221120013030x10123100123030302310x10013303221120013030x12200320100233010020x12023203010201020300x11200320100233010020x11023203010201020300x13200320100233010020x13023203010201020300x10200320100233010020x10023203010201020300x12201101023213102230x12132210212021033010x11201101023213102230x11132210212021033010x13201101023213102230x13132210212021033010x10201101023213102230x10132210212021033010x12212233002301131001x12133200110302021213x11212233002301131001x11133200110302021213x13212233002301131001x13133200110302021213x10212233002301131001x10133200110302021213x12212211102323123001x12133003212222211101x11212211102323123001x11133003212222211101x13212211102323123001x13133003212222211101x10212211102323123001x10133003212222211101x12133323013131021301x12233031331131031201x11133323013131021301x11233031331131031201x13133323013131021301x13233031331131031201x10133323013131021301x10233031331131031201x12112213101013123111x12211203310211131111x11112213101013123111x11211203310211131111x13112213101013123111x13211203310211131111x10112213101013123111x10211203310211131111x12133030001322121311x12031312203113201031x11133030001322121311x11031312203113201031x13133030001322121311x13031312203113201031x10133030001322121311x10031312203113201031x12332230000310313311x12210133013020331330x11332230000310313311x11210133013020331330x13332230000310313311x13210133013020331330x10332230000310313311x10210133013020331330x12311000311031033311x12103011031030133311x11311000311031033311x11103011031030133311x13311000311031033311x13103011031030133311x10311000311031033311x10103011031030133311x12300031011122330021x12230132020310011031x11300031011122330021x11230132020310011031x13300031011122330021x13230132020310011031x10300031011122330021x10230132020310011031x12210011332213000221x12003222132031110120x11210011332213000221x11003222132031110120x13210011332213000221x13003222132031110120x10210011332213000221x10003222132031110120x12112123100100213231x12030133011201122211x11112123100100213231x11030133011201122211x13112123100100213231x13030133011201122211x10112123100100213231x10030133011201122211x12021231110032223231x12222211321031302031x11021231110032223231x11222211321031302031x13021231110032223231x13222211321031302031x10021231110032223231x10222211321031302031x12311222312222200002x12220022221221012303x11311222312222200002x11220022221221012303x13311222312222200002x13220022221221012303x10311222312222200002x10220022221221012303x12130013232231311102x12223011110313012233x11130013232231311102x11223011110313012233x13130013232231311102x13223011110313012233x10130013232231311102x10223011110313012233x12103100222123013102x12021122120321010303x11103100222123013102x11021122120321010303x13103100222123013102x13021122120321010303x10103100222123013102x10021122120321010303x12222112330311300212x12120311232203123012x11222112330311300212x11120311232203123012x13222112330311300212x13120311232203123012x10222112330311300212x10120311232203123012x12020002223102122312x12202012203301220122x11020002223102122312x11202012203301220122x13020002223102122312x13202012203301220122x10020002223102122312x10202012203301220122x12112132312323021122x12232211311321302212x11112132312323021122x11232211311321302212x13112132312323021122x13232211311321302212x10112132312323021122x10232211311321302212x12232300220000212322x12102230320200232022x11232300220000212322x11102230320200232022x13232300220000212322x13102230320200232022x10232300220000212322x10102230320200232022x12033230000231023132x12120330002200333132x11033230000231023132x11120330002200333132x13033230000231023132x13120330002200333132x10033230000231023132x10120330002200333132x12120100231333002232x12212033133030021202x11120100231333002232x11212033133030021202x13120100231333002232x13212033133030021202x10120100231333002232x10212033133030021202x12313320131020010213x12203011131303012203x11313320131020010213x11203011131303012203x13313320131020010213x13203011131303012203x10313320131020010213x10203011131303012203x12120003310221223023x12221132020302031203x11120003310221223023x11221132020302031203x13120003310221223023x13221132020302031203x10120003310221223023x10221132020302031203x12331302123033231123x12133221221030331333x11331302123033231123x11133221221030331333x13331302123033231123x13133221221030331333x10331302123033231123x10133221221030331333x12112323230023313323x12233331323202210313x11112323230023313323x11233331323202210313x13112323230023313323x13233331323202210313x10112323230023313323x10233331323202210313x12121330200002320033x12203130030230202013x11121330200002320033x11203130030230202013x13121330200002320033x13203130030230202013x10121330200002320033x10203130030230202013x12312230012023123033x12132021323030232103x11312230012023123033x11132021323030232103x13312230012023123033x13132021323030232103x10312230012023123033x10132021323030232103x12111312012000031233x12220101033111321003x11111312012000031233x11220101033111321003x13111312012000031233x13220101033111321003x10111312012000031233x10220101033111321003x12230003331223332233x12313230323332203203x11230003331223332233x11313230323332203203x13230003331223332233x13313230323332203203x10230003331223332233x10313230323332203203x12310102123101323233x12230112012312133303x11310102123101323233x11230112012312133303x13310102123101323233x13230112012312133303x10310102123101323233x10230112012312133303x1211222211223333110000223311001100002x1211222211112233331100220000110033002x1211222211223333110000223311001100001x1211222211112233331100220000110033001x1211222211223333110000223311001100003x1211222211112233331100220000110033003x1211222211223333110000223311001100000x1211222211112233331100220000110033000x1322332211111100110033110033111100002x1311112222111100333311111100003300002x1322332211111100110033110033111100001x1311112222111100333311111100003300001x1322332211111100110033110033111100003x1311112222111100333311111100003300003x1322332211111100110033110033111100000x1311112222111100333311111100003300000x1022331100223333223311110011222200002x1000333311220000331122221122112233002x1022331100223333223311110011222200001x1000333311220000331122221122112233001x1022331100223333223311110011222200003x1000333311220000331122221122112233003x1022331100223333223311110011222200000x1000333311220000331122221122112233000x1122002233333333110033110011222200002x1122111100223300332200333322001133002x1122002233333333110033110011222200001x1122111100223300332200333322001133001x1122002233333333110033110011222200003x1122111100223300332200333322001133003x1122002233333333110033110011222200000x1122111100223300332200333322001133000x1222333300221133221111001111221111002x1200331111002222221133111111332211002x1222333300221133221111001111221111001x1200331111002222221133111111332211001x1222333300221133221111001111221111003x1200331111002222221133111111332211003x1222333300221133221111001111221111000x1200331111002222221133111111332211000x1122330022110011112200223311221111002x1122220033222211221111110000113311002x1122330022110011112200223311221111001x1122220033222211221111110000113311001x1122330022110011112200223311221111003x1122220033222211221111110000113311003x1122330022110011112200223311221111000x1122220033222211221111110000113311000x1222330022223300220022002222331111002x1200113300222222220011223333220022002x1222330022223300220022002222331111001x1200113300222222220011223333220022001x1222330022223300220022002222331111003x1200113300222222220011223333220022003x1222330022223300220022002222331111000x1200113300222222220011223333220022000x1211330022222233110011000022003311002x1222000022003322113300220011111133002x1211330022222233110011000022003311001x1222000022003322113300220011111133001x1211330022222233110011000022003311003x1222000022003322113300220011111133003x1211330022222233110011000022003311000x1222000022003322113300220011111133000x1100220022330022223311223322333311002x1133002233003311223322332200112222002x1100220022330022223311223322333311001x1133002233003311223322332200112222001x1100220022330022223311223322333311003x1133002233003311223322332200112222003x1100220022330022223311223322333311000x1133002233003311223322332200112222000x1333331122331133110000002200110033002x1322003333331122110033001100110033002x1333331122331133110000002200110033001x1322003333331122110033001100110033001x1333331122331133110000002200110033003x1322003333331122110033001100110033003x1333331122331133110000002200110033000x1322003333331122110033001100110033000x1222330011110022332200221100330033002x1211002211220033000033222200331133002x1222330011110022332200221100330033001x1211002211220033000033222200331133001x1222330011110022332200221100330033003x1211002211220033000033222200331133003x1222330011110022332200221100330033000x1211002211220033000033222200331133000x1022221122333311223300001111222233002x1033221111001122223311222222003333002x1022221122333311223300001111222233001x1033221111001122223311222222003333001x1022221122333311223300001111222233003x1033221111001122223311222222003333003x1022221122333311223300001111222233000x1033221111001122223311222222003333000x1011332211002233111122221100332233002x1033112222110011333322112233001122002x1011332211002233111122221100332233001x1033112222110011333322112233001122001x1011332211002233111122221100332233003x1033112222110011333322112233001122003x1011332211002233111122221100332233000x1033112222110011333322112233001122000x1322333322333333222200003311332233002x1322003322333333001122222233333333002x1322333322333333222200003311332233001x1322003322333333001122222233333333001x1322333322333333222200003311332233003x1322003322333333001122222233333333003x1322333322333333222200003311332233000x1322003322333333001122222233333333000x1300223322331133222211223311331100112x1311331133001133331133002222222222112x1300223322331133222211223311331100111x1311331133001133331133002222222222111x1300223322331133222211223311331100113x1311331133001133331133002222222222113x1300223322331133222211223311331100110x1311331133001133331133002222222222110x1000000033331111111122330011112200112x1000220000221133001111111100333311112x1000000033331111111122330011112200111x1000220000221133001111111100333311111x1000000033331111111122330011112200113x1000220000221133001111111100333311113x1000000033331111111122330011112200110x1000220000221133001111111100333311110x1211331111112222333311000033111111112x1211333311112211331133220011001111112x1211331111112222333311000033111111111x1211333311112211331133220011001111111x1211331111112222333311000033111111113x1211333311112211331133220011001111113x1211331111112222333311000033111111110x1211333311112211331133220011001111110x1222220033002222000011222211221111112x1200332222002200112222221122001111112x1222220033002222000011222211221111111x1200332222002200112222221122001111111x1222220033002222000011222211221111113x1200332222002200112222221122001111113x1222220033002222000011222211221111110x1200332222002200112222221122001111110x1311112222001111111133000022331111112x1311112211111111220033330011002211112x1311112222001111111133000022331111111x1311112211111111220033330011002211111x1311112222001111111133000022331111113x1311112211111111220033330011002211113x1311112222001111111133000022331111110x1311112211111111220033330011002211110x1122223333112222111122000022112211112x1111111133221100220022222233222211112x1122223333112222111122000022112211111x1111111133221100220022222233222211111x1122223333112222111122000022112211113x1111111133221100220022222233222211113x1122223333112222111122000022112211110x1111111133221100220022222233222211110x1211000022331111223333111100222211112x1211001111332222221111113300003322112x1211000022331111223333111100222211111x1211001111332222221111113300003322111x1211000022331111223333111100222211113x1211001111332222221111113300003322113x1211000022331111223333111100222211110x1211001111332222221111113300003322110x1211112211332233223311112211003311112x1233003333221111221111113322221111112x1211112211332233223311112211003311111x1233003333221111221111113322221111111x1211112211332233223311112211003311113x1233003333221111221111113322221111113x1211112211332233223311112211003311110x1233003333221111221111113322221111110x1222330033222233111111222233330022112x1222112233113322002233333311220022112x1222330033222233111111222233330022111x1222112233113322002233333311220022111x1222330033222233111111222233330022113x1222112233113322002233333311220022113x1222330033222233111111222233330022110x1222112233113322002233333311220022110x1300223300112233110033000000113322112x1333330011330000220011003311220022112x1300223300112233110033000000113322111x1333330011330000220011003311220022111x1300223300112233110033000000113322113x1333330011330000220011003311220022113x1300223300112233110033000000113322110x1333330011330000220011003311220022110x1233331100223322222211330000002233112x1222221133000033331100333322220022112x1233331100223322222211330000002233111x1222221133000033331100333322220022111x1233331100223322222211330000002233113x1222221133000033331100333322220022113x1233331100223322222211330000002233110x1222221133000033331100333322220022110x1222332200333311112222111122330000222x1200330022113311222211221122332200332x1222332200333311112222111122330000221x1200330022113311222211221122332200331x1222332200333311112222111122330000223x1200330022113311222211221122332200333x1222332200333311112222111122330000220x1200330022113311222211221122332200330x1133113322002211000011220000001100222x1122110022001100220033003311001100222x1133113322002211000011220000001100221x1122110022001100220033003311001100221x1133113322002211000011220000001100223x1122110022001100220033003311001100223x1133113322002211000011220000001100220x1122110022001100220033003311001100220x1100223311000022110000221133002200222x1122221100003333110000222200001100222x1100223311000022110000221133002200221x1122221100003333110000222200001100221x1100223311000022110000221133002200223x1122221100003333110000222200001100223x1100223311000022110000221133002200220x1122221100003333110000222200001100220x1322002200111111002233223322222200222x1322221100221133331122220022002200222x1322002200111111002233223322222200221x1322221100221133331122220022002200221x1322002200111111002233223322222200223x1322221100221133331122220022002200223x1322002200111111002233223322222200220x1322221100221133331122220022002200220x1000223333110022331100002211222211222x1033221100223311001100222211330022222x1000223333110022331100002211222211221x1033221100223311001100222211330022221x1000223333110022331100002211222211223x1033221100223311001100222211330022223x1000223333110022331100002211222211220x1033221100223311001100222211330022220x1211000033223322112222000022331122222x1233112222001100220033112222003322222x1211000033223322112222000022331122221x1233112222001100220033112222003322221x1211000033223322112222000022331122223x1233112222001100220033112222003322223x1211000033223322112222000022331122220x1233112222001100220033112222003322220x1322333311331133110000222233002222222x1333112222000033221100113333223322222x1322333311331133110000222233002222221x1333112222000033221100113333223322221x1322333311331133110000222233002222223x1333112222000033221100113333223322223x1322333311331133110000222233002222220x1333112222000033221100113333223322220x1100221100222211222211332233332222222x1122111122222222113322003322003322222x1100221100222211222211332233332222221x1122111122222222113322003322003322221x1100221100222211222211332233332222223x1122111122222222113322003322003322223x1100221100222211222211332233332222220x1122111122222222113322003322003322220x1200223333223300003300332222331133222x1200223333003322221133332200330033222x1200223333223300003300332222331133221x1200223333003322221133332200330033221x1200223333223300003300332222331133223x1200223333003322221133332200330033223x1200223333223300003300332222331133220x1200223333003322221133332200330033220x1311001100222222333322110022220000332x1333001122220022110022330022220011332x1311001100222222333322110022220000331x1333001122220022110022330022220011331x1311001100222222333322110022220000333x1333001122220022110022330022220011333x1311001100222222333322110022220000330x1333001122220022110022330022220011330x1111113333002222112200223322110011332x1122221111220033330011112222113300332x1111113333002222112200223322110011331x1122221111220033330011112222113300331x1111113333002222112200223322110011333x1122221111220033330011112222113300333x1111113333002222112200223322110011330x1122221111220033330011112222113300330x1133331100003333333333331100330011332x1133333300113300333311333311330000332x1133331100003333333333331100330011331x1133333300113300333311333311330000331x1133331100003333333333331100330011333x1133333300113300333311333311330000333x1133331100003333333333331100330011330x1133333300113300333311333311330000330x1333331122111100001100110000001111332x1311000000221100111100110033113311332x1333331122111100001100110000001111331x1311000000221100111100110033113311331x1333331122111100001100110000001111333x1311000000221100111100110033113311333x1333331122111100001100110000001111330x1311000000221100111100110033113311330x1211000000002211223300331133221111332x1222000000112211333333220011110011332x1211000000002211223300331133221111331x1222000000112211333333220011110011331x1211000000002211223300331133221111333x1222000000112211333333220011110011333x1211000000002211223300331133221111330x1222000000112211333333220011110011330x1333333300000000000000332233000022332x1300333333330000332200000000000022332x1333333300000000000000332233000022331x1300333333330000332200000000000022331x1333333300000000000000332233000022333x1300333333330000332200000000000022333x1333333300000000000000332233000022330x1300333333330000332200000000000022330x1311110022332211001122330000002222332x1311332200220011001122001122002233332x1311110022332211001122330000002222331x1311332200220011001122001122002233331x1311110022332211001122330000002222333x1311332200220011001122001122002233333x1311110022332211001122330000002222330x1311332200220011001122001122002233330x1000113311333311221111331111220033332x1033333311112222003311111133111100332x1000113311333311221111331111220033331x1033333311112222003311111133111100331x1000113311333311221111331111220033333x1033333311112222003311111133111100333x1000113311333311221111331111220033330x1033333311112222003311111133111100330x1033111100003333330022333333112233332x1000112211333333330033220033113333332x1033111100003333330022333333112233331x1000112211333333330033220033113333331x1033111100003333330022333333112233333x1000112211333333330033220033113333333x1033111100003333330022333333112233330x1000112211333333330033220033113333330x1022003311003300110011111100223333332x1033330000111111220033003311112200332x1022003311003300110011111100223333331x1033330000111111220033003311112200331x1022003311003300110011111100223333333x1033330000111111220033003311112200333x1022003311003300110011111100223333330x1033330000111111220033003311112200330x123333332222110022223300002233222200002x122222112233003333223333002222002200002x123333332222110022223300002233222200001x122222112233003333223333002222002200001x123333332222110022223300002233222200003x122222112233003333223333002222002200003x123333332222110022223300002233222200000x122222112233003333223333002222002200000x113333332222110022223300002233222200002x112222112233003333223333002222002200002x113333332222110022223300002233222200001x112222112233003333223333002222002200001x113333332222110022223300002233222200003x112222112233003333223333002222002200003x113333332222110022223300002233222200000x112222112233003333223333002222002200000x133333332222110022223300002233222200002x132222112233003333223333002222002200002x133333332222110022223300002233222200001x132222112233003333223333002222002200001x133333332222110022223300002233222200003x132222112233003333223333002222002200003x133333332222110022223300002233222200000x132222112233003333223333002222002200000x103333332222110022223300002233222200002x102222112233003333223333002222002200002x103333332222110022223300002233222200001x102222112233003333223333002222002200001x103333332222110022223300002233222200003x102222112233003333223333002222002200003x103333332222110022223300002233222200000x102222112233003333223333002222002200000x122211001100330022331133331100001111002x121111221133003333112200001100110033002x122211001100330022331133331100001111001x121111221133003333112200001100110033001x122211001100330022331133331100001111003x121111221133003333112200001100110033003x122211001100330022331133331100001111000x121111221133003333112200001100110033000x112211001100330022331133331100001111002x111111221133003333112200001100110033002x112211001100330022331133331100001111001x111111221133003333112200001100110033001x112211001100330022331133331100001111003x111111221133003333112200001100110033003x112211001100330022331133331100001111000x111111221133003333112200001100110033000x132211001100330022331133331100001111002x131111221133003333112200001100110033002x132211001100330022331133331100001111001x131111221133003333112200001100110033001x132211001100330022331133331100001111003x131111221133003333112200001100110033003x132211001100330022331133331100001111000x131111221133003333112200001100110033000x102211001100330022331133331100001111002x101111221133003333112200001100110033002x102211001100330022331133331100001111001x101111221133003333112200001100110033001x102211001100330022331133331100001111003x101111221133003333112200001100110033003x102211001100330022331133331100001111000x101111221133003333112200001100110033000x122211223333001122221100001122111111002x120022001111222200112211113333221111002x122211223333001122221100001122111111001x120022001111222200112211113333221111001x122211223333001122221100001122111111003x120022001111222200112211113333221111003x122211223333001122221100001122111111000x120022001111222200112211113333221111000x112211223333001122221100001122111111002x110022001111222200112211113333221111002x112211223333001122221100001122111111001x110022001111222200112211113333221111001x112211223333001122221100001122111111003x110022001111222200112211113333221111003x112211223333001122221100001122111111000x110022001111222200112211113333221111000x132211223333001122221100001122111111002x130022001111222200112211113333221111002x132211223333001122221100001122111111001x130022001111222200112211113333221111001x132211223333001122221100001122111111003x130022001111222200112211113333221111003x132211223333001122221100001122111111000x130022001111222200112211113333221111000x102211223333001122221100001122111111002x100022001111222200112211113333221111002x102211223333001122221100001122111111001x100022001111222200112211113333221111001x102211223333001122221100001122111111003x100022001111222200112211113333221111003x102211223333001122221100001122111111000x100022001111222200112211113333221111000x123333002233112222223300220022331111002x121133221133220033222222331100332200002x123333002233112222223300220022331111001x121133221133220033222222331100332200001x123333002233112222223300220022331111003x121133221133220033222222331100332200003x123333002233112222223300220022331111000x121133221133220033222222331100332200000x113333002233112222223300220022331111002x111133221133220033222222331100332200002x113333002233112222223300220022331111001x111133221133220033222222331100332200001x113333002233112222223300220022331111003x111133221133220033222222331100332200003x113333002233112222223300220022331111000x111133221133220033222222331100332200000x133333002233112222223300220022331111002x131133221133220033222222331100332200002x133333002233112222223300220022331111001x131133221133220033222222331100332200001x133333002233112222223300220022331111003x131133221133220033222222331100332200003x133333002233112222223300220022331111000x131133221133220033222222331100332200000x103333002233112222223300220022331111002x101133221133220033222222331100332200002x103333002233112222223300220022331111001x101133221133220033222222331100332200001x103333002233112222223300220022331111003x101133221133220033222222331100332200003x103333002233112222223300220022331111000x101133221133220033222222331100332200000x121122331100001122330033003300223311002x120011333300332222111122000011330033002x121122331100001122330033003300223311001x120011333300332222111122000011330033001x121122331100001122330033003300223311003x120011333300332222111122000011330033003x121122331100001122330033003300223311000x120011333300332222111122000011330033000x111122331100001122330033003300223311002x110011333300332222111122000011330033002x111122331100001122330033003300223311001x110011333300332222111122000011330033001x111122331100001122330033003300223311003x110011333300332222111122000011330033003x111122331100001122330033003300223311000x110011333300332222111122000011330033000x131122331100001122330033003300223311002x130011333300332222111122000011330033002x131122331100001122330033003300223311001x130011333300332222111122000011330033001x131122331100001122330033003300223311003x130011333300332222111122000011330033003x131122331100001122330033003300223311000x130011333300332222111122000011330033000x101122331100001122330033003300223311002x100011333300332222111122000011330033002x101122331100001122330033003300223311001x100011333300332222111122000011330033001x101122331100001122330033003300223311003x100011333300332222111122000011330033003x101122331100001122330033003300223311000x100011333300332222111122000011330033000x122200003322001100002233330011000022002x120022332200330011002200110022003300002x122200003322001100002233330011000022001x120022332200330011002200110022003300001x122200003322001100002233330011000022003x120022332200330011002200110022003300003x122200003322001100002233330011000022000x120022332200330011002200110022003300000x112200003322001100002233330011000022002x110022332200330011002200110022003300002x112200003322001100002233330011000022001x110022332200330011002200110022003300001x112200003322001100002233330011000022003x110022332200330011002200110022003300003x112200003322001100002233330011000022000x110022332200330011002200110022003300000x132200003322001100002233330011000022002x130022332200330011002200110022003300002x132200003322001100002233330011000022001x130022332200330011002200110022003300001x132200003322001100002233330011000022003x130022332200330011002200110022003300003x132200003322001100002233330011000022000x130022332200330011002200110022003300000x102200003322001100002233330011000022002x100022332200330011002200110022003300002x102200003322001100002233330011000022001x100022332200330011002200110022003300001x102200003322001100002233330011000022003x100022332200330011002200110022003300003x102200003322001100002233330011000022000x100022332200330011002200110022003300000x122200111100110022332211331100222233002x121133222211002211220022110033330011002x122200111100110022332211331100222233001x121133222211002211220022110033330011001x122200111100110022332211331100222233003x121133222211002211220022110033330011003x122200111100110022332211331100222233000x121133222211002211220022110033330011000x112200111100110022332211331100222233002x111133222211002211220022110033330011002x112200111100110022332211331100222233001x111133222211002211220022110033330011001x112200111100110022332211331100222233003x111133222211002211220022110033330011003x112200111100110022332211331100222233000x111133222211002211220022110033330011000x132200111100110022332211331100222233002x131133222211002211220022110033330011002x132200111100110022332211331100222233001x131133222211002211220022110033330011001x132200111100110022332211331100222233003x131133222211002211220022110033330011003x132200111100110022332211331100222233000x131133222211002211220022110033330011000x102200111100110022332211331100222233002x101133222211002211220022110033330011002x102200111100110022332211331100222233001x101133222211002211220022110033330011001x102200111100110022332211331100222233003x101133222211002211220022110033330011003x102200111100110022332211331100222233000x101133222211002211220022110033330011000x122211222233330000223300111133110000112x121133332200001111003300220022112211332x122211222233330000223300111133110000111x121133332200001111003300220022112211331x122211222233330000223300111133110000113x121133332200001111003300220022112211333x122211222233330000223300111133110000110x121133332200001111003300220022112211330x112211222233330000223300111133110000112x111133332200001111003300220022112211332x112211222233330000223300111133110000111x111133332200001111003300220022112211331x112211222233330000223300111133110000113x111133332200001111003300220022112211333x112211222233330000223300111133110000110x111133332200001111003300220022112211330x132211222233330000223300111133110000112x131133332200001111003300220022112211332x132211222233330000223300111133110000111x131133332200001111003300220022112211331x132211222233330000223300111133110000113x131133332200001111003300220022112211333x132211222233330000223300111133110000110x131133332200001111003300220022112211330x102211222233330000223300111133110000112x101133332200001111003300220022112211332x102211222233330000223300111133110000111x101133332200001111003300220022112211331x102211222233330000223300111133110000113x101133332200001111003300220022112211333x102211222233330000223300111133110000110x101133332200001111003300220022112211330x122211222211111100223322331122330000112x121133330000332211222222222211111100112x122211222211111100223322331122330000111x121133330000332211222222222211111100111x122211222211111100223322331122330000113x121133330000332211222222222211111100113x122211222211111100223322331122330000110x121133330000332211222222222211111100110x112211222211111100223322331122330000112x111133330000332211222222222211111100112x112211222211111100223322331122330000111x111133330000332211222222222211111100111x112211222211111100223322331122330000113x111133330000332211222222222211111100113x112211222211111100223322331122330000110x111133330000332211222222222211111100110x132211222211111100223322331122330000112x131133330000332211222222222211111100112x132211222211111100223322331122330000111x131133330000332211222222222211111100111x132211222211111100223322331122330000113x131133330000332211222222222211111100113x132211222211111100223322331122330000110x131133330000332211222222222211111100110x102211222211111100223322331122330000112x101133330000332211222222222211111100112x102211222211111100223322331122330000111x101133330000332211222222222211111100111x102211222211111100223322331122330000113x101133330000332211222222222211111100113x102211222211111100223322331122330000110x101133330000332211222222222211111100110x121133333322330011331133110022113300112x122233330033113333111133110033112200112x121133333322330011331133110022113300111x122233330033113333111133110033112200111x121133333322330011331133110022113300113x122233330033113333111133110033112200113x121133333322330011331133110022113300110x122233330033113333111133110033112200110x111133333322330011331133110022113300112x112233330033113333111133110033112200112x111133333322330011331133110022113300111x112233330033113333111133110033112200111x111133333322330011331133110022113300113x112233330033113333111133110033112200113x111133333322330011331133110022113300110x112233330033113333111133110033112200110x131133333322330011331133110022113300112x132233330033113333111133110033112200112x131133333322330011331133110022113300111x132233330033113333111133110033112200111x131133333322330011331133110022113300113x132233330033113333111133110033112200113x131133333322330011331133110022113300110x132233330033113333111133110033112200110x101133333322330011331133110022113300112x102233330033113333111133110033112200112x101133333322330011331133110022113300111x102233330033113333111133110033112200111x101133333322330011331133110022113300113x102233330033113333111133110033112200113x101133333322330011331133110022113300110x102233330033113333111133110033112200110x121111222211331100110011331122331111112x122211112200333311002211111133111111112x121111222211331100110011331122331111111x122211112200333311002211111133111111111x121111222211331100110011331122331111113x122211112200333311002211111133111111113x121111222211331100110011331122331111110x122211112200333311002211111133111111110x111111222211331100110011331122331111112x112211112200333311002211111133111111112x111111222211331100110011331122331111111x112211112200333311002211111133111111111x111111222211331100110011331122331111113x112211112200333311002211111133111111113x111111222211331100110011331122331111110x112211112200333311002211111133111111110x131111222211331100110011331122331111112x132211112200333311002211111133111111112x131111222211331100110011331122331111111x132211112200333311002211111133111111111x131111222211331100110011331122331111113x132211112200333311002211111133111111113x131111222211331100110011331122331111110x132211112200333311002211111133111111110x101111222211331100110011331122331111112x102211112200333311002211111133111111112x101111222211331100110011331122331111111x102211112200333311002211111133111111111x101111222211331100110011331122331111113x102211112200333311002211111133111111113x101111222211331100110011331122331111110x102211112200333311002211111133111111110x121133330033000000113322221122113311112x120033113311222200331111332200110033112x121133330033000000113322221122113311111x120033113311222200331111332200110033111x121133330033000000113322221122113311113x120033113311222200331111332200110033113x121133330033000000113322221122113311110x120033113311222200331111332200110033110x111133330033000000113322221122113311112x110033113311222200331111332200110033112x111133330033000000113322221122113311111x110033113311222200331111332200110033111x111133330033000000113322221122113311113x110033113311222200331111332200110033113x111133330033000000113322221122113311110x110033113311222200331111332200110033110x131133330033000000113322221122113311112x130033113311222200331111332200110033112x131133330033000000113322221122113311111x130033113311222200331111332200110033111x131133330033000000113322221122113311113x130033113311222200331111332200110033113x131133330033000000113322221122113311110x130033113311222200331111332200110033110x101133330033000000113322221122113311112x100033113311222200331111332200110033112x101133330033000000113322221122113311111x100033113311222200331111332200110033111x101133330033000000113322221122113311113x100033113311222200331111332200110033113x101133330033000000113322221122113311110x100033113311222200331111332200110033110x123333222233000000003311003311333311112x122211001133330011330022003333113333002x123333222233000000003311003311333311111x122211001133330011330022003333113333001x123333222233000000003311003311333311113x122211001133330011330022003333113333003x123333222233000000003311003311333311110x122211001133330011330022003333113333000x113333222233000000003311003311333311112x112211001133330011330022003333113333002x113333222233000000003311003311333311111x112211001133330011330022003333113333001x113333222233000000003311003311333311113x112211001133330011330022003333113333003x113333222233000000003311003311333311110x112211001133330011330022003333113333000x133333222233000000003311003311333311112x132211001133330011330022003333113333002x133333222233000000003311003311333311111x132211001133330011330022003333113333001x133333222233000000003311003311333311113x132211001133330011330022003333113333003x133333222233000000003311003311333311110x132211001133330011330022003333113333000x103333222233000000003311003311333311112x102211001133330011330022003333113333002x103333222233000000003311003311333311111x102211001133330011330022003333113333001x103333222233000000003311003311333311113x102211001133330011330022003333113333003x103333222233000000003311003311333311110x102211001133330011330022003333113333000x123311110000003311110033110033333311112x121100330011110033110033001133333311112x123311110000003311110033110033333311111x121100330011110033110033001133333311111x123311110000003311110033110033333311113x121100330011110033110033001133333311113x123311110000003311110033110033333311110x121100330011110033110033001133333311110x113311110000003311110033110033333311112x111100330011110033110033001133333311112x113311110000003311110033110033333311111x111100330011110033110033001133333311111x113311110000003311110033110033333311113x111100330011110033110033001133333311113x113311110000003311110033110033333311110x111100330011110033110033001133333311110x133311110000003311110033110033333311112x131100330011110033110033001133333311112x133311110000003311110033110033333311111x131100330011110033110033001133333311111x133311110000003311110033110033333311113x131100330011110033110033001133333311113x133311110000003311110033110033333311110x131100330011110033110033001133333311110x103311110000003311110033110033333311112x101100330011110033110033001133333311112x103311110000003311110033110033333311111x101100330011110033110033001133333311111x103311110000003311110033110033333311113x101100330011110033110033001133333311113x103311110000003311110033110033333311110x101100330011110033110033001133333311110x123300000033110011111122223333000022112x122233001133220022003311000011110033112x123300000033110011111122223333000022111x122233001133220022003311000011110033111x123300000033110011111122223333000022113x122233001133220022003311000011110033113x123300000033110011111122223333000022110x122233001133220022003311000011110033110x113300000033110011111122223333000022112x112233001133220022003311000011110033112x113300000033110011111122223333000022111x112233001133220022003311000011110033111x113300000033110011111122223333000022113x112233001133220022003311000011110033113x113300000033110011111122223333000022110x112233001133220022003311000011110033110x133300000033110011111122223333000022112x132233001133220022003311000011110033112x133300000033110011111122223333000022111x132233001133220022003311000011110033111x133300000033110011111122223333000022113x132233001133220022003311000011110033113x133300000033110011111122223333000022110x132233001133220022003311000011110033110x103300000033110011111122223333000022112x102233001133220022003311000011110033112x103300000033110011111122223333000022111x102233001133220022003311000011110033111x103300000033110011111122223333000022113x102233001133220022003311000011110033113x103300000033110011111122223333000022110x102233001133220022003311000011110033110x122211000011113333222211330000002222112x120000332222221133220033111111001122002x122211000011113333222211330000002222111x120000332222221133220033111111001122001x122211000011113333222211330000002222113x120000332222221133220033111111001122003x122211000011113333222211330000002222110x120000332222221133220033111111001122000x112211000011113333222211330000002222112x110000332222221133220033111111001122002x112211000011113333222211330000002222111x110000332222221133220033111111001122001x112211000011113333222211330000002222113x110000332222221133220033111111001122003x112211000011113333222211330000002222110x110000332222221133220033111111001122000x132211000011113333222211330000002222112x130000332222221133220033111111001122002x132211000011113333222211330000002222111x130000332222221133220033111111001122001x132211000011113333222211330000002222113x130000332222221133220033111111001122003x132211000011113333222211330000002222110x130000332222221133220033111111001122000x102211000011113333222211330000002222112x100000332222221133220033111111001122002x102211000011113333222211330000002222111x100000332222221133220033111111001122001x102211000011113333222211330000002222113x100000332222221133220033111111001122003x102211000011113333222211330000002222110x100000332222221133220033111111001122000x121111221122331100001100002211332233112x120033001133330011112200111122222211112x121111221122331100001100002211332233111x120033001133330011112200111122222211111x121111221122331100001100002211332233113x120033001133330011112200111122222211113x121111221122331100001100002211332233110x120033001133330011112200111122222211110x111111221122331100001100002211332233112x110033001133330011112200111122222211112x111111221122331100001100002211332233111x110033001133330011112200111122222211111x111111221122331100001100002211332233113x110033001133330011112200111122222211113x111111221122331100001100002211332233110x110033001133330011112200111122222211110x131111221122331100001100002211332233112x130033001133330011112200111122222211112x131111221122331100001100002211332233111x130033001133330011112200111122222211111x131111221122331100001100002211332233113x130033001133330011112200111122222211113x131111221122331100001100002211332233110x130033001133330011112200111122222211110x101111221122331100001100002211332233112x100033001133330011112200111122222211112x101111221122331100001100002211332233111x100033001133330011112200111122222211111x101111221122331100001100002211332233113x100033001133330011112200111122222211113x101111221122331100001100002211332233110x100033001133330011112200111122222211110x120022112233111111000033222222332233112x122222222211113322110033113300220033112x120022112233111111000033222222332233111x122222222211113322110033113300220033111x120022112233111111000033222222332233113x122222222211113322110033113300220033113x120022112233111111000033222222332233110x122222222211113322110033113300220033110x110022112233111111000033222222332233112x112222222211113322110033113300220033112x110022112233111111000033222222332233111x112222222211113322110033113300220033111x110022112233111111000033222222332233113x112222222211113322110033113300220033113x110022112233111111000033222222332233110x112222222211113322110033113300220033110x130022112233111111000033222222332233112x132222222211113322110033113300220033112x130022112233111111000033222222332233111x132222222211113322110033113300220033111x130022112233111111000033222222332233113x132222222211113322110033113300220033113x130022112233111111000033222222332233110x132222222211113322110033113300220033110x100022112233111111000033222222332233112x102222222211113322110033113300220033112x100022112233111111000033222222332233111x102222222211113322110033113300220033111x100022112233111111000033222222332233113x102222222211113322110033113300220033113x100022112233111111000033222222332233110x102222222211113322110033113300220033110x123311112222223311222222222200000000222x122222000022222222112222110011223300332x123311112222223311222222222200000000221x122222000022222222112222110011223300331x123311112222223311222222222200000000223x122222000022222222112222110011223300333x123311112222223311222222222200000000220x122222000022222222112222110011223300330x113311112222223311222222222200000000222x112222000022222222112222110011223300332x113311112222223311222222222200000000221x112222000022222222112222110011223300331x113311112222223311222222222200000000223x112222000022222222112222110011223300333x113311112222223311222222222200000000220x112222000022222222112222110011223300330x133311112222223311222222222200000000222x132222000022222222112222110011223300332x133311112222223311222222222200000000221x132222000022222222112222110011223300331x133311112222223311222222222200000000223x132222000022222222112222110011223300333x133311112222223311222222222200000000220x132222000022222222112222110011223300330x103311112222223311222222222200000000222x102222000022222222112222110011223300332x103311112222223311222222222200000000221x102222000022222222112222110011223300331x103311112222223311222222222200000000223x102222000022222222112222110011223300333x103311112222223311222222222200000000220x102222000022222222112222110011223300330x121133000011332233222233113311111100222x122222330011111111003311330011222233332x121133000011332233222233113311111100221x122222330011111111003311330011222233331x121133000011332233222233113311111100223x122222330011111111003311330011222233333x121133000011332233222233113311111100220x122222330011111111003311330011222233330x111133000011332233222233113311111100222x112222330011111111003311330011222233332x111133000011332233222233113311111100221x112222330011111111003311330011222233331x111133000011332233222233113311111100223x112222330011111111003311330011222233333x111133000011332233222233113311111100220x112222330011111111003311330011222233330x131133000011332233222233113311111100222x132222330011111111003311330011222233332x131133000011332233222233113311111100221x132222330011111111003311330011222233331x131133000011332233222233113311111100223x132222330011111111003311330011222233333x131133000011332233222233113311111100220x132222330011111111003311330011222233330x101133000011332233222233113311111100222x102222330011111111003311330011222233332x101133000011332233222233113311111100221x102222330011111111003311330011222233331x101133000011332233222233113311111100223x102222330011111111003311330011222233333x101133000011332233222233113311111100220x102222330011111111003311330011222233330x121100331100002222221122330011331100222x120022111122221122003322110011003300332x121100331100002222221122330011331100221x120022111122221122003322110011003300331x121100331100002222221122330011331100223x120022111122221122003322110011003300333x121100331100002222221122330011331100220x120022111122221122003322110011003300330x111100331100002222221122330011331100222x110022111122221122003322110011003300332x111100331100002222221122330011331100221x110022111122221122003322110011003300331x111100331100002222221122330011331100223x110022111122221122003322110011003300333x111100331100002222221122330011331100220x110022111122221122003322110011003300330x131100331100002222221122330011331100222x130022111122221122003322110011003300332x131100331100002222221122330011331100221x130022111122221122003322110011003300331x131100331100002222221122330011331100223x130022111122221122003322110011003300333x131100331100002222221122330011331100220x130022111122221122003322110011003300330x101100331100002222221122330011331100222x100022111122221122003322110011003300332x101100331100002222221122330011331100221x100022111122221122003322110011003300331x101100331100002222221122330011331100223x100022111122221122003322110011003300333x101100331100002222221122330011331100220x100022111122221122003322110011003300330x122222221111223333003311113300002211222x121122003311112233222200331122330011222x122222221111223333003311113300002211221x121122003311112233222200331122330011221x122222221111223333003311113300002211223x121122003311112233222200331122330011223x122222221111223333003311113300002211220x121122003311112233222200331122330011220x112222221111223333003311113300002211222x111122003311112233222200331122330011222x112222221111223333003311113300002211221x111122003311112233222200331122330011221x112222221111223333003311113300002211223x111122003311112233222200331122330011223x112222221111223333003311113300002211220x111122003311112233222200331122330011220x132222221111223333003311113300002211222x131122003311112233222200331122330011222x132222221111223333003311113300002211221x131122003311112233222200331122330011221x132222221111223333003311113300002211223x131122003311112233222200331122330011223x132222221111223333003311113300002211220x131122003311112233222200331122330011220x102222221111223333003311113300002211222x101122003311112233222200331122330011222x102222221111223333003311113300002211221x101122003311112233222200331122330011221x102222221111223333003311113300002211223x101122003311112233222200331122330011223x102222221111223333003311113300002211220x101122003311112233222200331122330011220x120022000000222222331100221122223311222x122200220011222200333300112222001122222x120022000000222222331100221122223311221x122200220011222200333300112222001122221x120022000000222222331100221122223311223x122200220011222200333300112222001122223x120022000000222222331100221122223311220x122200220011222200333300112222001122220x110022000000222222331100221122223311222x112200220011222200333300112222001122222x110022000000222222331100221122223311221x112200220011222200333300112222001122221x110022000000222222331100221122223311223x112200220011222200333300112222001122223x110022000000222222331100221122223311220x112200220011222200333300112222001122220x130022000000222222331100221122223311222x132200220011222200333300112222001122222x130022000000222222331100221122223311221x132200220011222200333300112222001122221x130022000000222222331100221122223311223x132200220011222200333300112222001122223x130022000000222222331100221122223311220x132200220011222200333300112222001122220x100022000000222222331100221122223311222x102200220011222200333300112222001122222x100022000000222222331100221122223311221x102200220011222200333300112222001122221x100022000000222222331100221122223311223x102200220011222200333300112222001122223x100022000000222222331100221122223311220x102200220011222200333300112222001122220x121111221133223311223322330022111122222x122233222211113311113322113300222211222x121111221133223311223322330022111122221x122233222211113311113322113300222211221x121111221133223311223322330022111122223x122233222211113311113322113300222211223x121111221133223311223322330022111122220x122233222211113311113322113300222211220x111111221133223311223322330022111122222x112233222211113311113322113300222211222x111111221133223311223322330022111122221x112233222211113311113322113300222211221x111111221133223311223322330022111122223x112233222211113311113322113300222211223x111111221133223311223322330022111122220x112233222211113311113322113300222211220x131111221133223311223322330022111122222x132233222211113311113322113300222211222x131111221133223311223322330022111122221x132233222211113311113322113300222211221x131111221133223311223322330022111122223x132233222211113311113322113300222211223x131111221133223311223322330022111122220x132233222211113311113322113300222211220x101111221133223311223322330022111122222x102233222211113311113322113300222211222x101111221133223311223322330022111122221x102233222211113311113322113300222211221x101111221133223311223322330022111122223x102233222211113311113322113300222211223x101111221133223311223322330022111122220x102233222211113311113322113300222211220x122233223300002222000000002211223322222x121100222233003322002200002233220022222x122233223300002222000000002211223322221x121100222233003322002200002233220022221x122233223300002222000000002211223322223x121100222233003322002200002233220022223x122233223300002222000000002211223322220x121100222233003322002200002233220022220x112233223300002222000000002211223322222x111100222233003322002200002233220022222x112233223300002222000000002211223322221x111100222233003322002200002233220022221x112233223300002222000000002211223322223x111100222233003322002200002233220022223x112233223300002222000000002211223322220x111100222233003322002200002233220022220x132233223300002222000000002211223322222x131100222233003322002200002233220022222x132233223300002222000000002211223322221x131100222233003322002200002233220022221x132233223300002222000000002211223322223x131100222233003322002200002233220022223x132233223300002222000000002211223322220x131100222233003322002200002233220022220x102233223300002222000000002211223322222x101100222233003322002200002233220022222x102233223300002222000000002211223322221x101100222233003322002200002233220022221x102233223300002222000000002211223322223x101100222233003322002200002233220022223x102233223300002222000000002211223322220x101100222233003322002200002233220022220x120033332233000000002233110022331133222x121122003333000000222200003333331133222x120033332233000000002233110022331133221x121122003333000000222200003333331133221x120033332233000000002233110022331133223x121122003333000000222200003333331133223x120033332233000000002233110022331133220x121122003333000000222200003333331133220x110033332233000000002233110022331133222x111122003333000000222200003333331133222x110033332233000000002233110022331133221x111122003333000000222200003333331133221x110033332233000000002233110022331133223x111122003333000000222200003333331133223x110033332233000000002233110022331133220x111122003333000000222200003333331133220x130033332233000000002233110022331133222x131122003333000000222200003333331133222x130033332233000000002233110022331133221x131122003333000000222200003333331133221x130033332233000000002233110022331133223x131122003333000000222200003333331133223x130033332233000000002233110022331133220x131122003333000000222200003333331133220x100033332233000000002233110022331133222x101122003333000000222200003333331133222x100033332233000000002233110022331133221x101122003333000000222200003333331133221x100033332233000000002233110022331133223x101122003333000000222200003333331133223x100033332233000000002233110022331133220x101122003333000000222200003333331133220x121122001100002233113333330000222233222x122211220033331133330033000022112200222x121122001100002233113333330000222233221x122211220033331133330033000022112200221x121122001100002233113333330000222233223x122211220033331133330033000022112200223x121122001100002233113333330000222233220x122211220033331133330033000022112200220x111122001100002233113333330000222233222x112211220033331133330033000022112200222x111122001100002233113333330000222233221x112211220033331133330033000022112200221x111122001100002233113333330000222233223x112211220033331133330033000022112200223x111122001100002233113333330000222233220x112211220033331133330033000022112200220x131122001100002233113333330000222233222x132211220033331133330033000022112200222x131122001100002233113333330000222233221x132211220033331133330033000022112200221x131122001100002233113333330000222233223x132211220033331133330033000022112200223x131122001100002233113333330000222233220x132211220033331133330033000022112200220x101122001100002233113333330000222233222x102211220033331133330033000022112200222x101122001100002233113333330000222233221x102211220033331133330033000022112200221x101122001100002233113333330000222233223x102211220033331133330033000022112200223x101122001100002233113333330000222233220x102211220033331133330033000022112200220x123311333322001133110022000011002211332x122200330011111133113300330011222200332x123311333322001133110022000011002211331x122200330011111133113300330011222200331x123311333322001133110022000011002211333x122200330011111133113300330011222200333x123311333322001133110022000011002211330x122200330011111133113300330011222200330x113311333322001133110022000011002211332x112200330011111133113300330011222200332x113311333322001133110022000011002211331x112200330011111133113300330011222200331x113311333322001133110022000011002211333x112200330011111133113300330011222200333x113311333322001133110022000011002211330x112200330011111133113300330011222200330x133311333322001133110022000011002211332x132200330011111133113300330011222200332x133311333322001133110022000011002211331x132200330011111133113300330011222200331x133311333322001133110022000011002211333x132200330011111133113300330011222200333x133311333322001133110022000011002211330x132200330011111133113300330011222200330x103311333322001133110022000011002211332x102200330011111133113300330011222200332x103311333322001133110022000011002211331x102200330011111133113300330011222200331x103311333322001133110022000011002211333x102200330011111133113300330011222200333x103311333322001133110022000011002211330x102200330011111133113300330011222200330x121122000000333311002222112222330022332x122222111133220022003300220033112200332x121122000000333311002222112222330022331x122222111133220022003300220033112200331x121122000000333311002222112222330022333x122222111133220022003300220033112200333x121122000000333311002222112222330022330x122222111133220022003300220033112200330x111122000000333311002222112222330022332x112222111133220022003300220033112200332x111122000000333311002222112222330022331x112222111133220022003300220033112200331x111122000000333311002222112222330022333x112222111133220022003300220033112200333x111122000000333311002222112222330022330x112222111133220022003300220033112200330x131122000000333311002222112222330022332x132222111133220022003300220033112200332x131122000000333311002222112222330022331x132222111133220022003300220033112200331x131122000000333311002222112222330022333x132222111133220022003300220033112200333x131122000000333311002222112222330022330x132222111133220022003300220033112200330x101122000000333311002222112222330022332x102222111133220022003300220033112200332x101122000000333311002222112222330022331x102222111133220022003300220033112200331x101122000000333311002222112222330022333x102222111133220022003300220033112200333x101122000000333311002222112222330022330x102222111133220022003300220033112200330x123333113300221122330033332233111122332x121133332222112222110033003333113333332x123333113300221122330033332233111122331x121133332222112222110033003333113333331x123333113300221122330033332233111122333x121133332222112222110033003333113333333x123333113300221122330033332233111122330x121133332222112222110033003333113333330x113333113300221122330033332233111122332x111133332222112222110033003333113333332x113333113300221122330033332233111122331x111133332222112222110033003333113333331x113333113300221122330033332233111122333x111133332222112222110033003333113333333x113333113300221122330033332233111122330x111133332222112222110033003333113333330x133333113300221122330033332233111122332x131133332222112222110033003333113333332x133333113300221122330033332233111122331x131133332222112222110033003333113333331x133333113300221122330033332233111122333x131133332222112222110033003333113333333x133333113300221122330033332233111122330x131133332222112222110033003333113333330x103333113300221122330033332233111122332x101133332222112222110033003333113333332x103333113300221122330033332233111122331x101133332222112222110033003333113333331x103333113300221122330033332233111122333x101133332222112222110033003333113333333x103333113300221122330033332233111122330x101133332222112222110033003333113333330x121111223322332233000022333311333322332x122233333333113322332200222211003311332x121111223322332233000022333311333322331x122233333333113322332200222211003311331x121111223322332233000022333311333322333x122233333333113322332200222211003311333x121111223322332233000022333311333322330x122233333333113322332200222211003311330x111111223322332233000022333311333322332x112233333333113322332200222211003311332x111111223322332233000022333311333322331x112233333333113322332200222211003311331x111111223322332233000022333311333322333x112233333333113322332200222211003311333x111111223322332233000022333311333322330x112233333333113322332200222211003311330x131111223322332233000022333311333322332x132233333333113322332200222211003311332x131111223322332233000022333311333322331x132233333333113322332200222211003311331x131111223322332233000022333311333322333x132233333333113322332200222211003311333x131111223322332233000022333311333322330x132233333333113322332200222211003311330x101111223322332233000022333311333322332x102233333333113322332200222211003311332x101111223322332233000022333311333322331x102233333333113322332200222211003311331x101111223322332233000022333311333322333x102233333333113322332200222211003311333x101111223322332233000022333311333322330x102233333333113322332200222211003311330x121122113333002200000000223322000033332x122200331133000033002233002200220011332x121122113333002200000000223322000033331x122200331133000033002233002200220011331x121122113333002200000000223322000033333x122200331133000033002233002200220011333x121122113333002200000000223322000033330x122200331133000033002233002200220011330x111122113333002200000000223322000033332x112200331133000033002233002200220011332x111122113333002200000000223322000033331x112200331133000033002233002200220011331x111122113333002200000000223322000033333x112200331133000033002233002200220011333x111122113333002200000000223322000033330x112200331133000033002233002200220011330x131122113333002200000000223322000033332x132200331133000033002233002200220011332x131122113333002200000000223322000033331x132200331133000033002233002200220011331x131122113333002200000000223322000033333x132200331133000033002233002200220011333x131122113333002200000000223322000033330x132200331133000033002233002200220011330x101122113333002200000000223322000033332x102200331133000033002233002200220011332x101122113333002200000000223322000033331x102200331133000033002233002200220011331x101122113333002200000000223322000033333x102200331133000033002233002200220011333x101122113333002200000000223322000033330x102200331133000033002233002200220011330x123311222233000011220022331122330033332x121133220022113322330033002233221100332x123311222233000011220022331122330033331x121133220022113322330033002233221100331x123311222233000011220022331122330033333x121133220022113322330033002233221100333x123311222233000011220022331122330033330x121133220022113322330033002233221100330x113311222233000011220022331122330033332x111133220022113322330033002233221100332x113311222233000011220022331122330033331x111133220022113322330033002233221100331x113311222233000011220022331122330033333x111133220022113322330033002233221100333x113311222233000011220022331122330033330x111133220022113322330033002233221100330x133311222233000011220022331122330033332x131133220022113322330033002233221100332x133311222233000011220022331122330033331x131133220022113322330033002233221100331x133311222233000011220022331122330033333x131133220022113322330033002233221100333x133311222233000011220022331122330033330x131133220022113322330033002233221100330x103311222233000011220022331122330033332x101133220022113322330033002233221100332x103311222233000011220022331122330033331x101133220022113322330033002233221100331x103311222233000011220022331122330033333x101133220022113322330033002233221100333x103311222233000011220022331122330033330x101133220022113322330033002233221100330x121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x122233000000333333112222333333222233332x123311332233003322333333222200332200332x122233000000333333112222333333222233331x123311332233003322333333222200332200331x122233000000333333112222333333222233333x123311332233003322333333222200332200333x122233000000333333112222333333222233330x123311332233003322333333222200332200330x112233000000333333112222333333222233332x113311332233003322333333222200332200332x112233000000333333112222333333222233331x113311332233003322333333222200332200331x112233000000333333112222333333222233333x113311332233003322333333222200332200333x112233000000333333112222333333222233330x113311332233003322333333222200332200330x132233000000333333112222333333222233332x133311332233003322333333222200332200332x132233000000333333112222333333222233331x133311332233003322333333222200332200331x132233000000333333112222333333222233333x133311332233003322333333222200332200333x132233000000333333112222333333222233330x133311332233003322333333222200332200330x102233000000333333112222333333222233332x103311332233003322333333222200332200332x102233000000333333112222333333222233331x103311332233003322333333222200332200331x102233000000333333112222333333222233333x103311332233003322333333222200332200333x102233000000333333112222333333222233330x103311332233003322333333222200332200330x123311001100221122331100113322332233332x122233001111220011223311221133333300332x123311001100221122331100113322332233331x122233001111220011223311221133333300331x123311001100221122331100113322332233333x122233001111220011223311221133333300333x123311001100221122331100113322332233330x122233001111220011223311221133333300330x113311001100221122331100113322332233332x112233001111220011223311221133333300332x113311001100221122331100113322332233331x112233001111220011223311221133333300331x113311001100221122331100113322332233333x112233001111220011223311221133333300333x113311001100221122331100113322332233330x112233001111220011223311221133333300330x133311001100221122331100113322332233332x132233001111220011223311221133333300332x133311001100221122331100113322332233331x132233001111220011223311221133333300331x133311001100221122331100113322332233333x132233001111220011223311221133333300333x133311001100221122331100113322332233330x132233001111220011223311221133333300330x103311001100221122331100113322332233332x102233001111220011223311221133333300332x103311001100221122331100113322332233331x102233001111220011223311221133333300331x103311001100221122331100113322332233333x102233001111220011223311221133333300333x103311001100221122331100113322332233330x102233001111220011223311221133333300330x112111112111221112311113311131111101116001111002111301111311111201110311130111432111131111122223333112222111122000022112211112x1111111133221100220022222233222211112x1122223333112222111122000022112211111x1111111133221100220022222233222211111x1122223333112222111122000022112211113x1111111133221100220022222233222211113x1122223333112222111122000022112211110x1111111133221100220022222233222211110x103311112222223311222222222200000000220x102222000022222222112222110011223300330x121111221133223311223322330022111122222x122233222211113311113322113300222211222x121111221133223311223322330022111122221x122233222211113311113322113300222211221x121111221133223311223322330022111122223x122233222211113311113322113300222211223x121111221133223311223322330022111122220x122233222211113311113322113300222211220x111111221133223311223322330022111122222x112233222211113311113322113300222211222x111111221133223311223322330022111122221x112233222211113311113322113300222211221x111111221133223311223322330022111122223x112233222211113311113322113300222211223x111111221133223311223322330022111122220x112233222211113311113322113300222211220x131111221133223311223322330022111122222x132233222211113311113322113300222211222x131111221133223311223322330022111122221x132233222211113311113322113300222211221x131111221133223311223322330022111122223x132233222211113311113322113300222211223x131111221133223311223322330022111122220x132233222211113311113322113300222211220x101111221133223311223322330022111122222x102233222211113311113322113300222211222x101111221133223311223322330022111122221x102233222211113311113322113300222211221x101111221133223311223322330022111122223x102233222211113311113322113300222211223x101111221133223311223322330022111122220x102233222211113311113322113300222211220x103333113300221122330033332233111122332x101133332222112222110033003333113333332x103333113300221122330033332233111122331x101133332222112222110033003333113333331x103333113300221122330033332233111122333x101133332222112222110033003333113333333x103333113300221122330033332233111122330x101133332222112222110033003333113333330x103311222233000011220022331122330033332x101133220022113322330033002233221100332x103311222233000011220022331122330033331x101133220022113322330033002233221100331x103311222233000011220022331122330033333x101133220022113322330033002233221100333x103311222233000011220022331122330033330x101133220022113322330033002233221100330x121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x111211122111231113311131111211111111120111100111021111311132111101110311110111130111122223333112222111122000022112211112x1111111133221100220022222233222211112x1122223333112222111122000022112211111x1111111133221100220022222233222211111x1122223333112222111122000022112211113x1111111133221100220022222233222211113x1122223333112222111122000022112211110x1111111133221100220022222233222211110x121111221133223311223322330022111122222x122233222211113311113322113300222211222x121111221133223311223322330022111122221x122233222211113311113322113300222211221x121111221133223311223322330022111122223x122233222211113311113322113300222211223x121111221133223311223322330022111122220x122233222211113311113322113300222211220x111111221133223311223322330022111122222x112233222211113311113322113300222211222x111111221133223311223322330022111122221x112233222211113311113322113300222211221x111111221133223311223322330022111122223x112233222211113311113322113300222211223x111111221133223311223322330022111122220x112233222211113311113322113300222211220x131111221133223311223322330022111122222x132233222211113311113322113300222211222x131111221133223311223322330022111122221x132233222211113311113322113300222211221x131111221133223311223322330022111122223x132233222211113311113322113300222211223x131111221133223311223322330022111122220x132233222211113311113322113300222211220x101111221133223311223322330022111122222x102233222211113311113322113300222211222x101111221133223311223322330022111122221x102233222211113311113322113300222211221x101111221133223311223322330022111122223x102233222211113311113322113300222211223x101111221133223311223322330022111122220x102233222211113311113322113300222211220x103333113300221122330033332233111122332x101133332222112222110033003333113333332x103333113300221122330033332233111122331x101133332222112222110033003333113333331x103333113300221122330033332233111122333x101133332222112222110033003333113333333x103333113300221122330033332233111122330x101133332222112222110033003333113333330x103311222233000011220022331122330033332x101133220022113322330033002233221100332x103311222233000011220022331122330033331x101133220022113322330033002233221100331x103311222233000011220022331122330033333x101133220022113322330033002233221100333x103311222233000011220022331122330033330x101133220022113322330033002233221100330x121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x11121112211123111331113111121111111112011100111021111311132111101113011110111103111122223333112222111122000022112211112x1111111133221100220022222233222211112x1122223333112222111122000022112211111x1111111133221100220022222233222211111x1122223333112222111122000022112211113x1111111133221100220022222233222211113x1122223333112222111122000022112211110x1111111133221100220022222233222211110x121111221133223311223322330022111122222x122233222211113311113322113300222211222x121111221133223311223322330022111122221x122233222211113311113322113300222211221x121111221133223311223322330022111122223x122233222211113311113322113300222211223x121111221133223311223322330022111122220x122233222211113311113322113300222211220x111111221133223311223322330022111122222x112233222211113311113322113300222211222x111111221133223311223322330022111122221x112233222211113311113322113300222211221x111111221133223311223322330022111122223x112233222211113311113322113300222211223x111111221133223311223322330022111122220x112233222211113311113322113300222211220x131111221133223311223322330022111122222x132233222211113311113322113300222211222x131111221133223311223322330022111122221x132233222211113311113322113300222211221x131111221133223311223322330022111122223x132233222211113311113322113300222211223x131111221133223311223322330022111122220x132233222211113311113322113300222211220x101111221133223311223322330022111122222x102233222211113311113322113300222211222x101111221133223311223322330022111122221x102233222211113311113322113300222211221x101111221133223311223322330022111122223x102233222211113311113322113300222211223x101111221133223311223322330022111122220x102233222211113311113322113300222211220x103311222233000011220022331122330033332x101133220022113322330033002233221100332x103311222233000011220022331122330033331x101133220022113322330033002233221100331x103311222233000011220022331122330033333x101133220022113322330033002233221100333x103311222233000011220022331122330033330x101133220022113322330033002233221100330x121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x1112111221112311133111131111211111111120111001110211113111321111011130111011110311121111221133223311223322330022111122222x122233222211113311113322113300222211222x121111221133223311223322330022111122221x122233222211113311113322113300222211221x121111221133223311223322330022111122223x122233222211113311113322113300222211223x121111221133223311223322330022111122220x122233222211113311113322113300222211220x111111221133223311223322330022111122222x112233222211113311113322113300222211222x111111221133223311223322330022111122221x112233222211113311113322113300222211221x111111221133223311223322330022111122223x112233222211113311113322113300222211223x111111221133223311223322330022111122220x112233222211113311113322113300222211220x131111221133223311223322330022111122222x132233222211113311113322113300222211222x131111221133223311223322330022111122221x132233222211113311113322113300222211221x131111221133223311223322330022111122223x132233222211113311113322113300222211223x131111221133223311223322330022111122220x132233222211113311113322113300222211220x101111221133223311223322330022111122222x102233222211113311113322113300222211222x101111221133223311223322330022111122221x102233222211113311113322113300222211221x101111221133223311223322330022111122223x102233222211113311113322113300222211223x101111221133223311223322330022111122220x102233222211113311113322113300222211220x121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x11211111111111211111311132111231113111130111021112221112011101111200111031111331111011121111113311220011220000000033112233332x122222001100110033331111113322110000332x121111113311220011220000000033112233331x122222001100110033331111113322110000331x121111113311220011220000000033112233333x122222001100110033331111113322110000333x121111113311220011220000000033112233330x122222001100110033331111113322110000330x111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x1121111111111311131111121111201110111100111031111231113311132111122111101113011102111111111113311220011220000000033112233332x112222001100110033331111113322110000332x111111113311220011220000000033112233331x112222001100110033331111113322110000331x111111113311220011220000000033112233333x112222001100110033331111113322110000333x111111113311220011220000000033112233330x112222001100110033331111113322110000330x131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x1111111113111311111211120111011110011103111231113311132111221111011121111301110211131111113311220011220000000033112233332x132222001100110033331111113322110000332x131111113311220011220000000033112233331x132222001100110033331111113322110000331x131111113311220011220000000033112233333x132222001100110033331111113322110000333x131111113311220011220000000033112233330x132222001100110033331111113322110000330x101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x11311111111113111121112011101111001110311123111133111321112211110111211113011102111101111113311220011220000000033112233332x102222001100110033331111113322110000332x101111113311220011220000000033112233331x102222001100110033331111113322110000331x101111113311220011220000000033112233333x102222001100110033331111113322110000333x101111113311220011220000000033112233330x102222001100110033331111113322110000330x11011111111113111311111211120111100111031112311133111321110211122111101112111130111AProVEAProVE 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