YES 001x1203301x1010x1013403x1010x1203014x1011x103131x1011x113014x1011x1013131x1011x1132130x1011x1133140x1011x1303151x1011x1503151x1050x130350x1050x135003x1050x150302x1050x150330x1050x1450330x1050x1450350x1050x1530130x1200x103032x1200x1033023x1200x1035203x1510x1350143x1510x1351403x1511x13151x1511x113135x1511x1133351x1511x1135514x10201x1023301x10510x100135x10540x104503x12020x1303022x12041x1230144x12050x100352x12241x1324321x15101x1051431x15110x105151x15120x1313502x15150x153501x15201x151032x15311x1531315x15411x1514145x15510x150513x15511x1513501x102410x1240013x105511x1513501x122241x1122142x125011x1512013x150241x1514032x152410x1023451x153041x1530141x153411x1143521x12.1100x1103302x1010x1304310x1010x1410302x1110x113130x1110x141031x1110x1131310x1110x1031231x1110x1041331x1110x1151303x1110x1151305x1050x105303x1050x130053x1050x120305x1050x103305x1050x1033054x1050x1053054x1050x1031035x1002x123030x1002x1320330x1002x1302530x1015x1341053x1015x1304153x1115x11513x1115x153131x1115x1153331x1115x1415531x11020x1103320x10150x153100x10450x130540x10202x1220303x11402x1441032x10502x125300x11422x1123423x11015x1134150x10115x115150x10215x1205313x10515x110535x11025x123015x11135x1513135x11145x1541415x10155x131505x11155x1105315x101420x1310042x111550x1105315x114222x1241221x111052x1310215x114205x1230415x101425x1154320x114035x1141035x111435x1125341x1103245100x1103302x1110x113130x1110x1131310x1110x1151303x1110x1151305x1050x105303x1050x103305x1050x1033054x1050x1053054x1050x1031035x1115x11513x1115x1153331x11020x1103320x11422x1123423x11015x1134150x11155x1105315x111550x1105315x114035x1141035x111435x1125341x11010x11304310x10010x10304310x13010x13304310x12010x12304310x14010x14304310x15010x15304310x11010x11410302x10010x10410302x13010x13410302x12010x12410302x14010x14410302x15010x15410302x11110x1141031x10110x1041031x13110x1341031x12110x1241031x14110x1441031x15110x1541031x11110x11031231x10110x10031231x13110x13031231x12110x12031231x14110x14031231x15110x15031231x11110x11041331x10110x10041331x13110x13041331x12110x12041331x14110x14041331x15110x15041331x11050x1130053x10050x1030053x13050x1330053x12050x1230053x14050x1430053x15050x1530053x11050x1120305x10050x1020305x13050x1320305x12050x1220305x14050x1420305x15050x1520305x11002x1123030x10002x1023030x13002x1323030x12002x1223030x14002x1423030x15002x1523030x11002x11320330x10002x10320330x13002x13320330x12002x12320330x14002x14320330x15002x15320330x11002x11302530x10002x10302530x13002x13302530x12002x12302530x14002x14302530x15002x15302530x11015x11341053x10015x10341053x13015x13341053x12015x12341053x14015x14341053x15015x15341053x11015x11304153x10015x10304153x13015x13304153x12015x12304153x14015x14304153x15015x15304153x11115x1153131x10115x1053131x13115x1353131x12115x1253131x14115x1453131x15115x1553131x11115x11415531x10115x10415531x13115x13415531x12115x12415531x14115x14415531x15115x15415531x110150x1153100x100150x1053100x130150x1353100x120150x1253100x140150x1453100x150150x1553100x110450x1130540x100450x1030540x130450x1330540x120450x1230540x140450x1430540x150450x1530540x110202x11220303x100202x10220303x130202x13220303x120202x12220303x140202x14220303x150202x15220303x111402x11441032x101402x10441032x131402x13441032x121402x12441032x141402x14441032x151402x15441032x110502x1125300x100502x1025300x130502x1325300x120502x1225300x140502x1425300x150502x1525300x110115x1115150x100115x1015150x130115x1315150x120115x1215150x140115x1415150x150115x1515150x110215x11205313x100215x10205313x130215x13205313x120215x12205313x140215x14205313x150215x15205313x110515x1110535x100515x1010535x130515x1310535x120515x1210535x140515x1410535x150515x1510535x111025x1123015x101025x1023015x131025x1323015x121025x1223015x141025x1423015x151025x1523015x111135x11513135x101135x10513135x131135x13513135x121135x12513135x141135x14513135x151135x15513135x111145x11541415x101145x10541415x131145x13541415x121145x12541415x141145x14541415x151145x15541415x110155x1131505x100155x1031505x130155x1331505x120155x1231505x140155x1431505x150155x1531505x1101420x11310042x1001420x10310042x1301420x13310042x1201420x12310042x1401420x14310042x1501420x15310042x1114222x11241221x1014222x10241221x1314222x13241221x1214222x12241221x1414222x14241221x1514222x15241221x1111052x11310215x1011052x10310215x1311052x13310215x1211052x12310215x1411052x14310215x1511052x15310215x1114205x11230415x1014205x10230415x1314205x13230415x1214205x12230415x1414205x14230415x1514205x15230415x1101425x11154320x1001425x10154320x1301425x13154320x1201425x12154320x1401425x14154320x1501425x15154320x1100001x1100333300221x1100000x1100333300220x1100003x1100333300223x1100002x1100333300222x1100005x1100333300225x1100004x1100333300224x1111001x11331133001x1111000x11331133000x1111003x11331133003x1111002x11331133002x1111005x11331133005x1111004x11331133004x1111001x1133113311001x1111000x1133113311000x1111003x1133113311003x1111002x1133113311002x1111005x1133113311005x1111004x1133113311004x1111001x1155113300331x1111000x1155113300330x1111003x1155113300333x1111002x1155113300332x1111005x1155113300335x1111004x1155113300334x1111001x1155113300551x1111000x1155113300550x1111003x1155113300553x1111002x1155113300552x1111005x1155113300555x1111004x1155113300554x1055001x10553300331x1055000x10553300330x1055003x10553300333x1055002x10553300332x1055005x10553300335x1055004x10553300334x1055001x10333300551x1055000x10333300550x1055003x10333300553x1055002x10333300552x1055005x10333300555x1055004x10333300554x1055001x1033330055441x1055000x1033330055440x1055003x1033330055443x1055002x1033330055442x1055005x1033330055445x1055004x1033330055444x1055001x1055330055441x1055000x1055330055440x1055003x1055330055443x1055002x1055330055442x1055005x1055330055445x1055004x1055330055444x1055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111551x115511331x1111550x115511330x1111553x115511333x1111552x115511332x1111555x115511335x1111554x115511334x1111551x1155333333111x1111550x1155333333110x1111553x1155333333113x1111552x1155333333112x1111555x1155333333115x1111554x1155333333114x110022001x1100333322001x110022000x1100333322000x110022003x1100333322003x110022002x1100333322002x110022005x1100333322005x110022004x1100333322004x114422221x1122334422331x114422220x1122334422330x114422223x1122334422333x114422222x1122334422332x114422225x1122334422335x114422224x1122334422334x110011551x1133441155001x110011550x1133441155000x110011553x1133441155003x110011552x1133441155002x110011555x1133441155005x110011554x1133441155004x111155551x1100553311551x111155550x1100553311550x111155553x1100553311553x111155552x1100553311552x111155555x1100553311555x111155554x1100553311554x11115555001x1100553311551x11115555000x1100553311550x11115555003x1100553311553x11115555002x1100553311552x11115555005x1100553311555x11115555004x1100553311554x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x11114433551x1122553344111x11114433550x1122553344110x11114433553x1122553344113x11114433552x1122553344112x11114433555x1122553344115x11114433554x1122553344114x110011001x113300443311001x110011000x113300443311000x110011003x113300443311003x110011002x113300443311002x110011005x113300443311005x110011004x113300443311004x100011001x103300443311001x100011000x103300443311000x100011003x103300443311003x100011002x103300443311002x100011005x103300443311005x100011004x103300443311004x130011001x133300443311001x130011000x133300443311000x130011003x133300443311003x130011002x133300443311002x130011005x133300443311005x130011004x133300443311004x120011001x123300443311001x120011000x123300443311000x120011003x123300443311003x120011002x123300443311002x120011005x123300443311005x120011004x123300443311004x140011001x143300443311001x140011000x143300443311000x140011003x143300443311003x140011002x143300443311002x140011005x143300443311005x140011004x143300443311004x150011001x153300443311001x150011000x153300443311000x150011003x153300443311003x150011002x153300443311002x150011005x153300443311005x150011004x153300443311004x110011001x114411003300221x110011000x114411003300220x110011003x114411003300223x110011002x114411003300222x110011005x114411003300225x110011004x114411003300224x100011001x104411003300221x100011000x104411003300220x100011003x104411003300223x100011002x104411003300222x100011005x104411003300225x100011004x104411003300224x130011001x134411003300221x130011000x134411003300220x130011003x134411003300223x130011002x134411003300222x130011005x134411003300225x130011004x134411003300224x120011001x124411003300221x120011000x124411003300220x120011003x124411003300223x120011002x124411003300222x120011005x124411003300225x120011004x124411003300224x140011001x144411003300221x140011000x144411003300220x140011003x144411003300223x140011002x144411003300222x140011005x144411003300225x140011004x144411003300224x150011001x154411003300221x150011000x154411003300220x150011003x154411003300223x150011002x154411003300222x150011005x154411003300225x150011004x154411003300224x111111001x1144110033111x111111000x1144110033110x111111003x1144110033113x111111002x1144110033112x111111005x1144110033115x111111004x1144110033114x101111001x1044110033111x101111000x1044110033110x101111003x1044110033113x101111002x1044110033112x101111005x1044110033115x101111004x1044110033114x131111001x1344110033111x131111000x1344110033110x131111003x1344110033113x131111002x1344110033112x131111005x1344110033115x131111004x1344110033114x121111001x1244110033111x121111000x1244110033110x121111003x1244110033113x121111002x1244110033112x121111005x1244110033115x121111004x1244110033114x141111001x1444110033111x141111000x1444110033110x141111003x1444110033113x141111002x1444110033112x141111005x1444110033115x141111004x1444110033114x151111001x1544110033111x151111000x1544110033110x151111003x1544110033113x151111002x1544110033112x151111005x1544110033115x151111004x1544110033114x111111001x110033112233111x111111000x110033112233110x111111003x110033112233113x111111002x110033112233112x111111005x110033112233115x111111004x110033112233114x101111001x100033112233111x101111000x100033112233110x101111003x100033112233113x101111002x100033112233112x101111005x100033112233115x101111004x100033112233114x131111001x130033112233111x131111000x130033112233110x131111003x130033112233113x131111002x130033112233112x131111005x130033112233115x131111004x130033112233114x121111001x120033112233111x121111000x120033112233110x121111003x120033112233113x121111002x120033112233112x121111005x120033112233115x121111004x120033112233114x141111001x140033112233111x141111000x140033112233110x141111003x140033112233113x141111002x140033112233112x141111005x140033112233115x141111004x140033112233114x151111001x150033112233111x151111000x150033112233110x151111003x150033112233113x151111002x150033112233112x151111005x150033112233115x151111004x150033112233114x111111001x110044113333111x111111000x110044113333110x111111003x110044113333113x111111002x110044113333112x111111005x110044113333115x111111004x110044113333114x101111001x100044113333111x101111000x100044113333110x101111003x100044113333113x101111002x100044113333112x101111005x100044113333115x101111004x100044113333114x131111001x130044113333111x131111000x130044113333110x131111003x130044113333113x131111002x130044113333112x131111005x130044113333115x131111004x130044113333114x121111001x120044113333111x121111000x120044113333110x121111003x120044113333113x121111002x120044113333112x121111005x120044113333115x121111004x120044113333114x141111001x140044113333111x141111000x140044113333110x141111003x140044113333113x141111002x140044113333112x141111005x140044113333115x141111004x140044113333114x151111001x150044113333111x151111000x150044113333110x151111003x150044113333113x151111002x150044113333112x151111005x150044113333115x151111004x150044113333114x110055001x1133000055331x110055000x1133000055330x110055003x1133000055333x110055002x1133000055332x110055005x1133000055335x110055004x1133000055334x100055001x1033000055331x100055000x1033000055330x100055003x1033000055333x100055002x1033000055332x100055005x1033000055335x100055004x1033000055334x130055001x1333000055331x130055000x1333000055330x130055003x1333000055333x130055002x1333000055332x130055005x1333000055335x130055004x1333000055334x120055001x1233000055331x120055000x1233000055330x120055003x1233000055333x120055002x1233000055332x120055005x1233000055335x120055004x1233000055334x140055001x1433000055331x140055000x1433000055330x140055003x1433000055333x140055002x1433000055332x140055005x1433000055335x140055004x1433000055334x150055001x1533000055331x150055000x1533000055330x150055003x1533000055333x150055002x1533000055332x150055005x1533000055335x150055004x1533000055334x110055001x1122003300551x110055000x1122003300550x110055003x1122003300553x110055002x1122003300552x110055005x1122003300555x110055004x1122003300554x100055001x1022003300551x100055000x1022003300550x100055003x1022003300553x100055002x1022003300552x100055005x1022003300555x100055004x1022003300554x130055001x1322003300551x130055000x1322003300550x130055003x1322003300553x130055002x1322003300552x130055005x1322003300555x130055004x1322003300554x120055001x1222003300551x120055000x1222003300550x120055003x1222003300553x120055002x1222003300552x120055005x1222003300555x120055004x1222003300554x140055001x1422003300551x140055000x1422003300550x140055003x1422003300553x140055002x1422003300552x140055005x1422003300555x140055004x1422003300554x150055001x1522003300551x150055000x1522003300550x150055003x1522003300553x150055002x1522003300552x150055005x1522003300555x150055004x1522003300554x110000221x1122330033001x110000220x1122330033000x110000223x1122330033003x110000222x1122330033002x110000225x1122330033005x110000224x1122330033004x100000221x1022330033001x100000220x1022330033000x100000223x1022330033003x100000222x1022330033002x100000225x1022330033005x100000224x1022330033004x130000221x1322330033001x130000220x1322330033000x130000223x1322330033003x130000222x1322330033002x130000225x1322330033005x130000224x1322330033004x120000221x1222330033001x120000220x1222330033000x120000223x1222330033003x120000222x1222330033002x120000225x1222330033005x120000224x1222330033004x140000221x1422330033001x140000220x1422330033000x140000223x1422330033003x140000222x1422330033002x140000225x1422330033005x140000224x1422330033004x150000221x1522330033001x150000220x1522330033000x150000223x1522330033003x150000222x1522330033002x150000225x1522330033005x150000224x1522330033004x110000221x113322003333001x110000220x113322003333000x110000223x113322003333003x110000222x113322003333002x110000225x113322003333005x110000224x113322003333004x100000221x103322003333001x100000220x103322003333000x100000223x103322003333003x100000222x103322003333002x100000225x103322003333005x100000224x103322003333004x130000221x133322003333001x130000220x133322003333000x130000223x133322003333003x130000222x133322003333002x130000225x133322003333005x130000224x133322003333004x120000221x123322003333001x120000220x123322003333000x120000223x123322003333003x120000222x123322003333002x120000225x123322003333005x120000224x123322003333004x140000221x143322003333001x140000220x143322003333000x140000223x143322003333003x140000222x143322003333002x140000225x143322003333005x140000224x143322003333004x150000221x153322003333001x150000220x153322003333000x150000223x153322003333003x150000222x153322003333002x150000225x153322003333005x150000224x153322003333004x110000221x113300225533001x110000220x113300225533000x110000223x113300225533003x110000222x113300225533002x110000225x113300225533005x110000224x113300225533004x100000221x103300225533001x100000220x103300225533000x100000223x103300225533003x100000222x103300225533002x100000225x103300225533005x100000224x103300225533004x130000221x133300225533001x130000220x133300225533000x130000223x133300225533003x130000222x133300225533002x130000225x133300225533005x130000224x133300225533004x120000221x123300225533001x120000220x123300225533000x120000223x123300225533003x120000222x123300225533002x120000225x123300225533005x120000224x123300225533004x140000221x143300225533001x140000220x143300225533000x140000223x143300225533003x140000222x143300225533002x140000225x143300225533005x140000224x143300225533004x150000221x153300225533001x150000220x153300225533000x150000223x153300225533003x150000222x153300225533002x150000225x153300225533005x150000224x153300225533004x110011551x113344110055331x110011550x113344110055330x110011553x113344110055333x110011552x113344110055332x110011555x113344110055335x110011554x113344110055334x100011551x103344110055331x100011550x103344110055330x100011553x103344110055333x100011552x103344110055332x100011555x103344110055335x100011554x103344110055334x130011551x133344110055331x130011550x133344110055330x130011553x133344110055333x130011552x133344110055332x130011555x133344110055335x130011554x133344110055334x120011551x123344110055331x120011550x123344110055330x120011553x123344110055333x120011552x123344110055332x120011555x123344110055335x120011554x123344110055334x140011551x143344110055331x140011550x143344110055330x140011553x143344110055333x140011552x143344110055332x140011555x143344110055335x140011554x143344110055334x150011551x153344110055331x150011550x153344110055330x150011553x153344110055333x150011552x153344110055332x150011555x153344110055335x150011554x153344110055334x110011551x113300441155331x110011550x113300441155330x110011553x113300441155333x110011552x113300441155332x110011555x113300441155335x110011554x113300441155334x100011551x103300441155331x100011550x103300441155330x100011553x103300441155333x100011552x103300441155332x100011555x103300441155335x100011554x103300441155334x130011551x133300441155331x130011550x133300441155330x130011553x133300441155333x130011552x133300441155332x130011555x133300441155335x130011554x133300441155334x120011551x123300441155331x120011550x123300441155330x120011553x123300441155333x120011552x123300441155332x120011555x123300441155335x120011554x123300441155334x140011551x143300441155331x140011550x143300441155330x140011553x143300441155333x140011552x143300441155332x140011555x143300441155335x140011554x143300441155334x150011551x153300441155331x150011550x153300441155330x150011553x153300441155333x150011552x153300441155332x150011555x153300441155335x150011554x153300441155334x111111551x1155331133111x111111550x1155331133110x111111553x1155331133113x111111552x1155331133112x111111555x1155331133115x111111554x1155331133114x101111551x1055331133111x101111550x1055331133110x101111553x1055331133113x101111552x1055331133112x101111555x1055331133115x101111554x1055331133114x131111551x1355331133111x131111550x1355331133110x131111553x1355331133113x131111552x1355331133112x131111555x1355331133115x131111554x1355331133114x121111551x1255331133111x121111550x1255331133110x121111553x1255331133113x121111552x1255331133112x121111555x1255331133115x121111554x1255331133114x141111551x1455331133111x141111550x1455331133110x141111553x1455331133113x141111552x1455331133112x141111555x1455331133115x141111554x1455331133114x151111551x1555331133111x151111550x1555331133110x151111553x1555331133113x151111552x1555331133112x151111555x1555331133115x151111554x1555331133114x111111551x114411555533111x111111550x114411555533110x111111553x114411555533113x111111552x114411555533112x111111555x114411555533115x111111554x114411555533114x101111551x104411555533111x101111550x104411555533110x101111553x104411555533113x101111552x104411555533112x101111555x104411555533115x101111554x104411555533114x131111551x134411555533111x131111550x134411555533110x131111553x134411555533113x131111552x134411555533112x131111555x134411555533115x131111554x134411555533114x121111551x124411555533111x121111550x124411555533110x121111553x124411555533113x121111552x124411555533112x121111555x124411555533115x121111554x124411555533114x141111551x144411555533111x141111550x144411555533110x141111553x144411555533113x141111552x144411555533112x141111555x144411555533115x141111554x144411555533114x151111551x154411555533111x151111550x154411555533110x151111553x154411555533113x151111552x154411555533112x151111555x154411555533115x151111554x154411555533114x11001155001x1155331100001x11001155000x1155331100000x11001155003x1155331100003x11001155002x1155331100002x11001155005x1155331100005x11001155004x1155331100004x10001155001x1055331100001x10001155000x1055331100000x10001155003x1055331100003x10001155002x1055331100002x10001155005x1055331100005x10001155004x1055331100004x13001155001x1355331100001x13001155000x1355331100000x13001155003x1355331100003x13001155002x1355331100002x13001155005x1355331100005x13001155004x1355331100004x12001155001x1255331100001x12001155000x1255331100000x12001155003x1255331100003x12001155002x1255331100002x12001155005x1255331100005x12001155004x1255331100004x14001155001x1455331100001x14001155000x1455331100000x14001155003x1455331100003x14001155002x1455331100002x14001155005x1455331100005x14001155004x1455331100004x15001155001x1555331100001x15001155000x1555331100000x15001155003x1555331100003x15001155002x1555331100002x15001155005x1555331100005x15001155004x1555331100004x11004455001x1133005544001x11004455000x1133005544000x11004455003x1133005544003x11004455002x1133005544002x11004455005x1133005544005x11004455004x1133005544004x10004455001x1033005544001x10004455000x1033005544000x10004455003x1033005544003x10004455002x1033005544002x10004455005x1033005544005x10004455004x1033005544004x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x12004455001x1233005544001x12004455000x1233005544000x12004455003x1233005544003x12004455002x1233005544002x12004455005x1233005544005x12004455004x1233005544004x14004455001x1433005544001x14004455000x1433005544000x14004455003x1433005544003x14004455002x1433005544002x14004455005x1433005544005x14004455004x1433005544004x15004455001x1533005544001x15004455000x1533005544000x15004455003x1533005544003x15004455002x1533005544002x15004455005x1533005544005x15004455004x1533005544004x11002200221x112222003300331x11002200220x112222003300330x11002200223x112222003300333x11002200222x112222003300332x11002200225x112222003300335x11002200224x112222003300334x10002200221x102222003300331x10002200220x102222003300330x10002200223x102222003300333x10002200222x102222003300332x10002200225x102222003300335x10002200224x102222003300334x13002200221x132222003300331x13002200220x132222003300330x13002200223x132222003300333x13002200222x132222003300332x13002200225x132222003300335x13002200224x132222003300334x12002200221x122222003300331x12002200220x122222003300330x12002200223x122222003300333x12002200222x122222003300332x12002200225x122222003300335x12002200224x122222003300334x14002200221x142222003300331x14002200220x142222003300330x14002200223x142222003300333x14002200222x142222003300332x14002200225x142222003300335x14002200224x142222003300334x15002200221x152222003300331x15002200220x152222003300330x15002200223x152222003300333x15002200222x152222003300332x15002200225x152222003300335x15002200224x152222003300334x11114400221x114444110033221x11114400220x114444110033220x11114400223x114444110033223x11114400222x114444110033222x11114400225x114444110033225x11114400224x114444110033224x10114400221x104444110033221x10114400220x104444110033220x10114400223x104444110033223x10114400222x104444110033222x10114400225x104444110033225x10114400224x104444110033224x13114400221x134444110033221x13114400220x134444110033220x13114400223x134444110033223x13114400222x134444110033222x13114400225x134444110033225x13114400224x134444110033224x12114400221x124444110033221x12114400220x124444110033220x12114400223x124444110033223x12114400222x124444110033222x12114400225x124444110033225x12114400224x124444110033224x14114400221x144444110033221x14114400220x144444110033220x14114400223x144444110033223x14114400222x144444110033222x14114400225x144444110033225x14114400224x144444110033224x15114400221x154444110033221x15114400220x154444110033220x15114400223x154444110033223x15114400222x154444110033222x15114400225x154444110033225x15114400224x154444110033224x11005500221x1122553300001x11005500220x1122553300000x11005500223x1122553300003x11005500222x1122553300002x11005500225x1122553300005x11005500224x1122553300004x10005500221x1022553300001x10005500220x1022553300000x10005500223x1022553300003x10005500222x1022553300002x10005500225x1022553300005x10005500224x1022553300004x13005500221x1322553300001x13005500220x1322553300000x13005500223x1322553300003x13005500222x1322553300002x13005500225x1322553300005x13005500224x1322553300004x12005500221x1222553300001x12005500220x1222553300000x12005500223x1222553300003x12005500222x1222553300002x12005500225x1222553300005x12005500224x1222553300004x14005500221x1422553300001x14005500220x1422553300000x14005500223x1422553300003x14005500222x1422553300002x14005500225x1422553300005x14005500224x1422553300004x15005500221x1522553300001x15005500220x1522553300000x15005500223x1522553300003x15005500222x1522553300002x15005500225x1522553300005x15005500224x1522553300004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x13001111551x1311551155001x13001111550x1311551155000x13001111553x1311551155003x13001111552x1311551155002x13001111555x1311551155005x13001111554x1311551155004x12001111551x1211551155001x12001111550x1211551155000x12001111553x1211551155003x12001111552x1211551155002x12001111555x1211551155005x12001111554x1211551155004x14001111551x1411551155001x14001111550x1411551155000x14001111553x1411551155003x14001111552x1411551155002x14001111555x1411551155005x14001111554x1411551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11002211551x112200553311331x11002211550x112200553311330x11002211553x112200553311333x11002211552x112200553311332x11002211555x112200553311335x11002211554x112200553311334x10002211551x102200553311331x10002211550x102200553311330x10002211553x102200553311333x10002211552x102200553311332x10002211555x102200553311335x10002211554x102200553311334x13002211551x132200553311331x13002211550x132200553311330x13002211553x132200553311333x13002211552x132200553311332x13002211555x132200553311335x13002211554x132200553311334x12002211551x122200553311331x12002211550x122200553311330x12002211553x122200553311333x12002211552x122200553311332x12002211555x122200553311335x12002211554x122200553311334x14002211551x142200553311331x14002211550x142200553311330x14002211553x142200553311333x14002211552x142200553311332x14002211555x142200553311335x14002211554x142200553311334x15002211551x152200553311331x15002211550x152200553311330x15002211553x152200553311333x15002211552x152200553311332x15002211555x152200553311335x15002211554x152200553311334x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x13005511551x1311005533551x13005511550x1311005533550x13005511553x1311005533553x13005511552x1311005533552x13005511555x1311005533555x13005511554x1311005533554x12005511551x1211005533551x12005511550x1211005533550x12005511553x1211005533553x12005511552x1211005533552x12005511555x1211005533555x12005511554x1211005533554x14005511551x1411005533551x14005511550x1411005533550x14005511553x1411005533553x14005511552x1411005533552x14005511555x1411005533555x14005511554x1411005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x11110022551x1122330011551x11110022550x1122330011550x11110022553x1122330011553x11110022552x1122330011552x11110022555x1122330011555x11110022554x1122330011554x10110022551x1022330011551x10110022550x1022330011550x10110022553x1022330011553x10110022552x1022330011552x10110022555x1022330011555x10110022554x1022330011554x13110022551x1322330011551x13110022550x1322330011550x13110022553x1322330011553x13110022552x1322330011552x13110022555x1322330011555x13110022554x1322330011554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x15110022551x1522330011551x15110022550x1522330011550x15110022553x1522330011553x15110022552x1522330011552x15110022555x1522330011555x15110022554x1522330011554x11111133551x115511331133551x11111133550x115511331133550x11111133553x115511331133553x11111133552x115511331133552x11111133555x115511331133555x11111133554x115511331133554x10111133551x105511331133551x10111133550x105511331133550x10111133553x105511331133553x10111133552x105511331133552x10111133555x105511331133555x10111133554x105511331133554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x12111133551x125511331133551x12111133550x125511331133550x12111133553x125511331133553x12111133552x125511331133552x12111133555x125511331133555x12111133554x125511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x15111133551x155511331133551x15111133550x155511331133550x15111133553x155511331133553x15111133552x155511331133552x15111133555x155511331133555x15111133554x155511331133554x11111144551x115544114411551x11111144550x115544114411550x11111144553x115544114411553x11111144552x115544114411552x11111144555x115544114411555x11111144554x115544114411554x10111144551x105544114411551x10111144550x105544114411550x10111144553x105544114411553x10111144552x105544114411552x10111144555x105544114411555x10111144554x105544114411554x13111144551x135544114411551x13111144550x135544114411550x13111144553x135544114411553x13111144552x135544114411552x13111144555x135544114411555x13111144554x135544114411554x12111144551x125544114411551x12111144550x125544114411550x12111144553x125544114411553x12111144552x125544114411552x12111144555x125544114411555x12111144554x125544114411554x14111144551x145544114411551x14111144550x145544114411550x14111144553x145544114411553x14111144552x145544114411552x14111144555x145544114411555x14111144554x145544114411554x15111144551x155544114411551x15111144550x155544114411550x15111144553x155544114411553x15111144552x155544114411552x15111144555x155544114411555x15111144554x155544114411554x11001155551x1133115500551x11001155550x1133115500550x11001155553x1133115500553x11001155552x1133115500552x11001155555x1133115500555x11001155554x1133115500554x10001155551x1033115500551x10001155550x1033115500550x10001155553x1033115500553x10001155552x1033115500552x10001155555x1033115500555x10001155554x1033115500554x13001155551x1333115500551x13001155550x1333115500550x13001155553x1333115500553x13001155552x1333115500552x13001155555x1333115500555x13001155554x1333115500554x12001155551x1233115500551x12001155550x1233115500550x12001155553x1233115500553x12001155552x1233115500552x12001155555x1233115500555x12001155554x1233115500554x14001155551x1433115500551x14001155550x1433115500550x14001155553x1433115500553x14001155552x1433115500552x14001155555x1433115500555x14001155554x1433115500554x15001155551x1533115500551x15001155550x1533115500550x15001155553x1533115500553x15001155552x1533115500552x15001155555x1533115500555x15001155554x1533115500554x1100114422001x113311000044221x1100114422000x113311000044220x1100114422003x113311000044223x1100114422002x113311000044222x1100114422005x113311000044225x1100114422004x113311000044224x1000114422001x103311000044221x1000114422000x103311000044220x1000114422003x103311000044223x1000114422002x103311000044222x1000114422005x103311000044225x1000114422004x103311000044224x1300114422001x133311000044221x1300114422000x133311000044220x1300114422003x133311000044223x1300114422002x133311000044222x1300114422005x133311000044225x1300114422004x133311000044224x1200114422001x123311000044221x1200114422000x123311000044220x1200114422003x123311000044223x1200114422002x123311000044222x1200114422005x123311000044225x1200114422004x123311000044224x1400114422001x143311000044221x1400114422000x143311000044220x1400114422003x143311000044223x1400114422002x143311000044222x1400114422005x143311000044225x1400114422004x143311000044224x1500114422001x153311000044221x1500114422000x153311000044220x1500114422003x153311000044223x1500114422002x153311000044222x1500114422005x153311000044225x1500114422004x153311000044224x1111442222221x112244112222111x1111442222220x112244112222110x1111442222223x112244112222113x1111442222222x112244112222112x1111442222225x112244112222115x1111442222224x112244112222114x1011442222221x102244112222111x1011442222220x102244112222110x1011442222223x102244112222113x1011442222222x102244112222112x1011442222225x102244112222115x1011442222224x102244112222114x1311442222221x132244112222111x1311442222220x132244112222110x1311442222223x132244112222113x1311442222222x132244112222112x1311442222225x132244112222115x1311442222224x132244112222114x1211442222221x122244112222111x1211442222220x122244112222110x1211442222223x122244112222113x1211442222222x122244112222112x1211442222225x122244112222115x1211442222224x122244112222114x1411442222221x142244112222111x1411442222220x142244112222110x1411442222223x142244112222113x1411442222222x142244112222112x1411442222225x142244112222115x1411442222224x142244112222114x1511442222221x152244112222111x1511442222220x152244112222110x1511442222223x152244112222113x1511442222222x152244112222112x1511442222225x152244112222115x1511442222224x152244112222114x1111110055221x113311002211551x1111110055220x113311002211550x1111110055223x113311002211553x1111110055222x113311002211552x1111110055225x113311002211555x1111110055224x113311002211554x1011110055221x103311002211551x1011110055220x103311002211550x1011110055223x103311002211553x1011110055222x103311002211552x1011110055225x103311002211555x1011110055224x103311002211554x1311110055221x133311002211551x1311110055220x133311002211550x1311110055223x133311002211553x1311110055222x133311002211552x1311110055225x133311002211555x1311110055224x133311002211554x1211110055221x123311002211551x1211110055220x123311002211550x1211110055223x123311002211553x1211110055222x123311002211552x1211110055225x123311002211555x1211110055224x123311002211554x1411110055221x143311002211551x1411110055220x143311002211550x1411110055223x143311002211553x1411110055222x143311002211552x1411110055225x143311002211555x1411110055224x143311002211554x1511110055221x153311002211551x1511110055220x153311002211550x1511110055223x153311002211553x1511110055222x153311002211552x1511110055225x153311002211555x1511110055224x153311002211554x1111442200551x112233004411551x1111442200550x112233004411550x1111442200553x112233004411553x1111442200552x112233004411552x1111442200555x112233004411555x1111442200554x112233004411554x1011442200551x102233004411551x1011442200550x102233004411550x1011442200553x102233004411553x1011442200552x102233004411552x1011442200555x102233004411555x1011442200554x102233004411554x1311442200551x132233004411551x1311442200550x132233004411550x1311442200553x132233004411553x1311442200552x132233004411552x1311442200555x132233004411555x1311442200554x132233004411554x1211442200551x122233004411551x1211442200550x122233004411550x1211442200553x122233004411553x1211442200552x122233004411552x1211442200555x122233004411555x1211442200554x122233004411554x1411442200551x142233004411551x1411442200550x142233004411550x1411442200553x142233004411553x1411442200552x142233004411552x1411442200555x142233004411555x1411442200554x142233004411554x1511442200551x152233004411551x1511442200550x152233004411550x1511442200553x152233004411553x1511442200552x152233004411552x1511442200555x152233004411555x1511442200554x152233004411554x1100114422551x111155443322001x1100114422550x111155443322000x1100114422553x111155443322003x1100114422552x111155443322002x1100114422555x111155443322005x1100114422554x111155443322004x1000114422551x101155443322001x1000114422550x101155443322000x1000114422553x101155443322003x1000114422552x101155443322002x1000114422555x101155443322005x1000114422554x101155443322004x1300114422551x131155443322001x1300114422550x131155443322000x1300114422553x131155443322003x1300114422552x131155443322002x1300114422555x131155443322005x1300114422554x131155443322004x1200114422551x121155443322001x1200114422550x121155443322000x1200114422553x121155443322003x1200114422552x121155443322002x1200114422555x121155443322005x1200114422554x121155443322004x1400114422551x141155443322001x1400114422550x141155443322000x1400114422553x141155443322003x1400114422552x141155443322002x1400114422555x141155443322005x1400114422554x141155443322004x1500114422551x151155443322001x1500114422550x151155443322000x1500114422553x151155443322003x1500114422552x151155443322002x1500114422555x151155443322005x1500114422554x151155443322004x11101113100111310111131031113311130111302111182111121201112423111922111270511125111041111241111111111311311131111151115111131321116351113411150111315311152111185511154111141111240111334311114211184511124411115121111411116100004x1100333300224x1055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x111155551x1100553311551x111155550x1100553311550x111155553x1100553311553x111155552x1100553311552x111155555x1100553311555x111155554x1100553311554x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x14114400221x144444110033221x14114400220x144444110033220x14114400223x144444110033223x14114400222x144444110033222x14114400225x144444110033225x14114400224x144444110033224x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x13110022551x1322330011551x13110022550x1322330011550x13110022553x1322330011553x13110022552x1322330011552x13110022555x1322330011555x13110022554x1322330011554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x1110111001110411110311133111301110211124111051115011101111311113511151111531115211155111541111111111511113111141114011141111451112111144111321112011123111221112511142111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x111155551x1100553311551x111155550x1100553311550x111155553x1100553311553x111155552x1100553311552x111155555x1100553311555x111155554x1100553311554x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x14114400221x144444110033221x14114400220x144444110033220x14114400223x144444110033223x14114400222x144444110033222x14114400225x144444110033225x14114400224x144444110033224x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x13110022551x1322330011551x13110022550x1322330011550x13110022553x1322330011553x13110022552x1322330011552x13110022555x1322330011555x13110022554x1322330011554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x110511150111011110311131111101113511151111001115311102111521115511104111541111111115111131113311114111140111411113011145111211114411132111201112311122111251112411142111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x111155551x1100553311551x111155550x1100553311550x111155553x1100553311553x111155552x1100553311552x111155555x1100553311555x111155554x1100553311554x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x13110022551x1322330011551x13110022550x1322330011550x13110022553x1322330011553x13110022552x1322330011552x13110022555x1322330011555x13110022554x1322330011554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x110511150111011111031113111110111351115111110011153111021115211155111041115411111111115111131113311114111401114111130111451112511113211123111211112211142111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x13110022551x1322330011551x13110022550x1322330011550x13110022553x1322330011553x13110022552x1322330011552x13110022555x1322330011555x13110022554x1322330011554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x11051115011101111031113111110111351115111100111531110211152111551110411154111111111511113111331111411140111411113011145111251111321112311121111221111421111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x12110022551x1222330011551x12110022550x1222330011550x12110022553x1222330011553x12110022552x1222330011552x12110022555x1222330011555x12110022554x1222330011554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x1105111501110111103111311111011135111511110011153111021115211155111041115411111111151111311133111141114011141111301114511121111125111221112311142111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x14110022551x1422330011551x14110022550x1422330011550x14110022553x1422330011553x14110022552x1422330011552x14110022555x1422330011555x14110022554x1422330011554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x11051115011101111031113111110111351115111100111531110211152111551110411154111111111511113111331111411140111411113011145111251111421112311121111055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x1111553x115511333x1111555x115511335x11440033551x1144110033551x11440033550x1144110033550x11440033553x1144110033553x11440033552x1144110033552x11440033555x1144110033555x11440033554x1144110033554x130055003x1333000055333x130055005x1333000055335x13004455001x1333005544001x13004455000x1333005544000x13004455003x1333005544003x13004455002x1333005544002x13004455005x1333005544005x13004455004x1333005544004x11001111551x1111551155001x11001111550x1111551155000x11001111553x1111551155003x11001111552x1111551155002x11001111555x1111551155005x11001111554x1111551155004x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x11005511551x1111005533551x11005511550x1111005533550x11005511553x1111005533553x11005511552x1111005533552x11005511555x1111005533555x11005511554x1111005533554x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x13111133551x135511331133551x13111133550x135511331133550x13111133553x135511331133553x13111133552x135511331133552x13111133555x135511331133555x13111133554x135511331133554x14111133551x145511331133551x14111133550x145511331133550x14111133553x145511331133553x14111133552x145511331133552x14111133555x145511331133555x14111133554x145511331133554x1311110055221x133311002211551x1055001x13110033551x1055001x110033551x1055000x13110033550x1055000x110033550x1055000x150x1055003x13110033553x1055003x110033553x1055002x13110033552x1055002x110033552x1055005x13110033555x1055005x110033555x1055004x13110033554x1055004x110033554x11440033551x1144110033551x11440033551x14110033551x11440033551x110033551x11440033550x1144110033550x11440033550x14110033550x11440033550x110033550x11440033553x1144110033553x11440033553x14110033553x11440033553x110033553x11440033552x1144110033552x11440033552x14110033552x11440033552x110033552x11440033555x1144110033555x11440033555x14110033555x11440033555x110033555x11440033554x1144110033554x11440033554x14110033554x11440033554x110033554x130055003x13000055333x130055003x100055333x130055003x1055333x130055005x13000055335x130055005x100055335x130055005x1055335x13004455001x13005544001x13004455001x105544001x13004455000x13005544000x13004455000x105544000x13004455003x13005544003x13004455003x105544003x13004455002x13005544002x13004455002x105544002x13004455005x13005544005x13004455005x105544005x13004455004x13005544004x13004455004x105544004x11001111551x1111551155001x11001111551x15001x11001111550x1111551155000x11001111550x15000x11001111550x100x11001111553x1111551155003x11001111553x15003x11001111552x1111551155002x11001111552x15002x11001111555x1111551155005x11001111555x15005x11001111555x105x11001111554x1111551155004x11001111554x15004x10001111551x15001x10001111550x15000x10001111550x100x10001111553x15003x10001111552x15002x10001111555x15005x10001111555x105x10001111554x15004x15001111551x15001x15001111550x15000x15001111550x100x15001111553x15003x15001111552x15002x15001111555x15005x15001111555x105x15001111554x15004x11005511551x1111005533551x11005511551x11005533551x11005511551x105533551x11005511550x1111005533550x11005511550x11005533550x11005511550x105533550x11005511553x1111005533553x11005511553x11005533553x11005511553x105533553x11005511552x1111005533552x11005511552x11005533552x11005511552x105533552x11005511555x1111005533555x11005511555x11005533555x11005511555x105533555x11005511554x1111005533554x11005511554x11005533554x11005511554x105533554x10005511551x11005533551x10005511551x105533551x10005511550x11005533550x10005511550x105533550x10005511553x11005533553x10005511553x105533553x10005511552x11005533552x10005511552x105533552x10005511555x11005533555x10005511555x105533555x10005511554x11005533554x10005511554x105533554x15005511551x11005533551x15005511551x105533551x15005511550x11005533550x15005511550x105533550x15005511553x11005533553x15005511553x105533553x15005511552x11005533552x15005511552x105533552x15005511555x11005533555x15005511555x105533555x15005511554x11005533554x15005511554x105533554x13111133551x131133551x13111133550x131133550x13111133553x131133553x13111133552x131133552x13111133555x131133555x13111133554x131133554x14111133551x131133551x14111133550x131133550x14111133553x131133553x14111133552x131133552x14111133555x131133555x14111133554x131133554x1311110055221x1311002211551x1311110055221x11002211551x1true1440033551x1144110033551x1false1440033550x1144110033550x1false1440033553x1144110033553x1false1440033552x1144110033552x1false1440033555x1144110033555x1false1440033554x1144110033554x1false30055003x13000055333x1false30055005x13000055335x1false3004455001x13005544001x1false3004455000x13005544000x1false3004455003x13005544003x1false3004455002x13005544002x1false3004455005x13005544005x1false3004455004x13005544004x1false1440033551x110033551x1false1440033550x110033550x1false1440033553x110033553x1false1440033552x110033552x1false1440033555x110033555x1false1440033554x110033554x1false30055003x1055333x1false30055005x1055335x1false3004455001x105544001x1false3004455000x105544000x1false3004455003x105544003x1false3004455002x105544002x1false3004455005x105544005x1false3004455004x105544004x1false1001111555x105x1false30055003x100055333x1false30055005x100055335x1false1001111550x100x1false1001111551x15001x1false1001111550x15000x1false1001111555x15005x1false1440033551x14110033551x1false1440033550x14110033550x1false1440033553x14110033553x1false1440033552x14110033552x1false1440033555x14110033555x1false1440033554x14110033554x1false055000x150x15001111551x15001x15001111550x15000x15001111550x100x10001111551x15001x15001111555x15005x15001111555x105x10001111550x15000x10001111550x100x10001111555x15005x10001111555x105x1true10511150111011110311131111101113511151111001115311102111521115511104111541111111115111501110511100111055000x150x15001111551x15001x15001111550x15000x15001111550x100x10001111551x15001x15001111555x15005x15001111555x105x10001111550x15000x10001111550x100x10001111555x15005x10001111555x105x1055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x1055001x1033110033551x1055000x1033110033550x1055003x1033110033553x1055002x1033110033552x1055005x1033110033555x1055004x1033110033554x15001111551x1511551155001x15001111550x1511551155000x15001111553x1511551155003x15001111552x1511551155002x15001111555x1511551155005x15001111554x1511551155004x15005511551x1511005533551x15005511550x1511005533550x15005511553x1511005533553x15005511552x1511005533552x15005511555x1511005533555x15005511554x1511005533554x10001111551x1011551155001x10001111550x1011551155000x10001111553x1011551155003x10001111552x1011551155002x10001111555x1011551155005x10001111554x1011551155004x10005511551x1011005533551x10005511550x1011005533550x10005511553x1011005533553x10005511552x1011005533552x10005511555x1011005533555x10005511554x1011005533554x15001111551x15001x15001111550x100x10001111551x15001x15001111555x105x1055000x150x10001111550x100x10001111555x105x1true1011111111115111511115011155111001115011100111051115001111551x15001x15001111550x100x10001111551x15001x15001111555x105x1055000x150x10001111550x100x10001111555x105x11501121011221111221151221511215011001221551221051110011215001111550x15000x1false5001111555x15005x1false0001111550x15000x1false0001111555x15005x1false4111133551x131133551x1false4111133550x131133550x1false4111133553x131133553x1false4111133552x131133552x1false4111133555x131133555x1false4111133554x131133554x1false055001x110033551x1false055000x110033550x1false055003x110033553x1false055002x110033552x1false055005x110033555x1false055004x110033554x1false1005511551x11005533551x1false1005511550x11005533550x1false1005511553x11005533553x1false1005511552x11005533552x1false1005511555x11005533555x1false1005511554x11005533554x1false0005511551x11005533551x1false0005511550x11005533550x1false0005511553x11005533553x1false0005511552x11005533552x1false0005511555x11005533555x1false0005511554x11005533554x1false5005511551x11005533551x1false5005511550x11005533550x1false5005511553x11005533553x1false5005511552x11005533552x1false5005511555x11005533555x1false5005511554x11005533554x1false311110055221x11002211551x1false055001x13110033551x1false055000x13110033550x1false055003x13110033553x1false055002x13110033552x1false055005x13110033555x1false055004x13110033554x1false1001111551x1111551155001x1false1001111550x1111551155000x1false1001111553x1111551155003x1false1001111553x15003x1false1001111552x1111551155002x1false1001111552x15002x1false1001111555x1111551155005x1false1001111554x1111551155004x1false1001111554x15004x1false0001111553x15003x1false0001111552x15002x1false0001111554x15004x1false5001111553x15003x1false5001111552x15002x1false5001111554x15004x1false1005511551x1111005533551x1false1005511551x105533551x1false1005511550x1111005533550x1false1005511550x105533550x1false1005511553x1111005533553x1false1005511553x105533553x1false1005511552x1111005533552x1false1005511552x105533552x1false1005511555x1111005533555x1false1005511555x105533555x1false1005511554x1111005533554x1false1005511554x105533554x1false0005511551x105533551x1false0005511550x105533550x1false0005511553x105533553x1false0005511552x105533552x1false0005511555x105533555x1false0005511554x105533554x1false5005511551x105533551x1false5005511550x105533550x1false5005511553x105533553x1false5005511552x105533552x1false5005511555x105533555x1false5005511554x105533554x1false3111133551x131133551x1false3111133550x131133550x1false3111133553x131133553x1false3111133552x131133552x1false3111133555x131133555x1false3111133554x131133554x1false311110055221x1311002211551x1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (17 real / 0 unknown / 0 assumptions / 17 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe