YES 010x10012x1010x10120x1010x10130x1010x11200x1010x11300x1010x100124x1010x100144x1010x100412x1010x101202x1010x101302x1010x101304x1010x101450x1010x102130x1010x103130x1010x104120x1010x104130x1010x111200x1010x112050x1010x112200x1010x112300x1010x112500x1010x113020x1010x113030x1010x113040x1010x113050x1010x114200x1010x114300x1010x115200x1010x120021x1010x120031x1010x121200x1010x121300x1010x121500x1010x131200x1010x131300x1010x141300x1010x1002124x1010x1003412x1010x1004122x1010x1005144x1010x1005512x1010x1011250x1010x1012230x1010x1013042x1010x1014130x1010x1020212x1010x1021440x1010x1021450x1010x1022120x1010x1025120x1010x1031304x1010x1034130x1010x1045130x1010x1111200x1010x1111300x1010x1112030x1010x1112200x1010x1113050x1010x1114500x1010x1122500x1010x1131500x1010x1135002x1010x1142200x1010x1144002x1010x1144300x1010x1144500x1010x1150130x1010x1200121x1010x1200214x1010x1200231x1010x1200512x1010x1201120x1010x1204120x1010x1210240x1010x1215030x1010x1221300x1010x1312020x1010x1350012x1010x1412030x1010x1420012x1010x1421300x1010x1431500x1010x1451300x1010x1500112x1010x1500212x1010x1512050x1010x1512300x1010x1512500x1010x1513002x1010x1513030x1010x1514300x1010x1551300x10000x100020x10010x100031x10010x100120x10010x1000131x10010x1002130x10010x1002210x10010x1004210x10010x1005012x10010x1012400x10010x1013030x10010x1021500x10010x1051200x10100x113000x10100x1000124x10100x1001420x10100x1004120x10100x1013004x10100x1014300x10100x1020130x10100x1124000x10104x100124x10104x100142x10104x100412x10104x112004x10104x1005142x10104x1120450x10104x1144020x10110x101130x10110x111300x10110x1001124x10110x1010531x10110x1014310x10110x1020141x10110x1041210x10110x1041410x10110x1050211x10110x1051310x10110x1111300x10110x1120021x10110x1145010x10110x1201210x10110x1210021x10110x1212001x10110x1411300x10410x100412x10410x1004124x10410x1030142x10410x1051450x10510x112500x10510x115200x10510x1431500x10510x1521200x10540x101450x10540x1500144x100010x1000210x101044x1004413x101044x1044130x101044x1314400x101110x1001121x102010x1031200x103010x1050031x104410x1004124x104510x1005412x105010x1500120x105110x1015130x105440x1404502x12.1010x12100x1010x10210x1010x10310x1010x10021x1010x10031x1010x142100x1010x144100x1010x121400x1010x120210x1010x120310x1010x140310x1010x105410x1010x103120x1010x103130x1010x102140x1010x103140x1010x100211x1010x105021x1010x100221x1010x100321x1010x100521x1010x102031x1010x103031x1010x104031x1010x105031x1010x100241x1010x100341x1010x100251x1010x112002x1010x113002x1010x100212x1010x100312x1010x100512x1010x100213x1010x100313x1010x100314x1010x1421200x1010x1214300x1010x1221400x1010x1441500x1010x1215500x1010x1052110x1010x1032210x1010x1240310x1010x1031410x1010x1212020x1010x1044120x1010x1054120x1010x1021220x1010x1021520x1010x1403130x1010x1031430x1010x1031540x1010x1002111x1010x1003111x1010x1030211x1010x1002211x1010x1050311x1010x1005411x1010x1005221x1010x1005131x1010x1200531x1010x1002241x1010x1200441x1010x1003441x1010x1005441x1010x1031051x1010x1121002x1010x1412002x1010x1132002x1010x1215002x1010x1021102x1010x1021402x1010x1042012x1010x1030512x1010x1003122x1010x1020213x1010x1210053x1010x1030214x1010x1210024x1010x1003124x1010x1005134x1010x1003154x1010x1211005x1010x1212005x1010x1050215x1010x1003215x1010x1005215x1010x1200315x1010x1030315x1010x1003415x1010x1003155x10000x102000x10100x113000x10100x102100x10100x1131000x10100x1031200x10100x1012200x10100x1012400x10100x1210500x10100x1004210x10100x1030310x10100x1005120x10100x1002150x10010x100031x10010x1421000x10010x1024100x10010x1021400x10010x1400310x10010x1003410x10010x1031020x10010x1000421x14010x142100x14010x124100x14010x121400x14010x140021x14010x1241500x14010x1054021x14010x1020441x10110x103110x10110x100311x10110x1421100x10110x1135010x10110x1013410x10110x1141020x10110x1012140x10110x1014140x10110x1112050x10110x1013150x10110x1003111x10110x1120021x10110x1010541x10110x1012102x10110x1120012x10110x1100212x10110x1003114x10140x121400x10140x1421400x10140x1241030x10140x1054150x10150x100521x10150x100251x10150x1005134x10150x1002125x10450x105410x10450x1441005x101000x1012000x144010x1314400x144010x1031440x144010x1004413x101110x1121100x101020x1002130x101030x1130050x101440x1421400x101540x1214500x101050x1021005x101150x1031510x104450x1205404x1012345010x10210x1010x10310x1010x10021x1010x10031x1010x105410x1010x103120x1010x103130x1010x102140x1010x103140x1010x100211x1010x105021x1010x100221x1010x100321x1010x100521x1010x102031x1010x103031x1010x104031x1010x105031x1010x100241x1010x100341x1010x100251x1010x100212x1010x100312x1010x100512x1010x100213x1010x100313x1010x100314x1010x1052110x1010x1032210x1010x1031410x1010x1044120x1010x1054120x1010x1021220x1010x1021520x1010x1031430x1010x1031540x1010x1002111x1010x1003111x1010x1030211x1010x1002211x1010x1050311x1010x1005411x1010x1005221x1010x1005131x1010x1002241x1010x1003441x1010x1005441x1010x1031051x1010x1021102x1010x1021402x1010x1042012x1010x1030512x1010x1003122x1010x1020213x1010x1030214x1010x1003124x1010x1005134x1010x1003154x1010x1050215x1010x1003215x1010x1005215x1010x1030315x1010x1003415x1010x1003155x10000x102000x10100x102100x10100x1031200x10100x1012200x10100x1012400x10100x1004210x10100x1030310x10100x1005120x10100x1002150x10010x100031x10010x1024100x10010x1021400x10010x1003410x10010x1031020x10010x1000421x14010x142100x14010x140021x10110x103110x10110x100311x10110x1013410x10110x1012140x10110x1014140x10110x1013150x10110x1003111x10110x1010541x10110x1012102x10110x1003114x10140x1054150x10150x100521x10150x100251x10150x1005134x10150x1002125x10450x105410x101000x1012000x101020x1002130x101050x1021005x101150x1031510x10010x102100x11010x112100x12010x122100x13010x132100x15010x152100x10010x1042100x11010x1142100x12010x1242100x13010x1342100x14010x1442100x15010x1542100x10010x1044100x11010x1144100x12010x1244100x13010x1344100x14010x1444100x15010x1544100x11010x1121400x12010x1221400x13010x1321400x14010x1421400x15010x1521400x10010x1020210x11010x1120210x12010x1220210x13010x1320210x14010x1420210x15010x1520210x10010x1020310x11010x1120310x12010x1220310x13010x1320310x14010x1420310x15010x1520310x10010x1040310x11010x1140310x12010x1240310x13010x1340310x14010x1440310x15010x1540310x10010x1012002x11010x1112002x12010x1212002x13010x1312002x14010x1412002x15010x1512002x10010x1013002x11010x1113002x12010x1213002x13010x1313002x14010x1413002x15010x1513002x10010x10421200x11010x11421200x12010x12421200x13010x13421200x14010x14421200x15010x15421200x10010x10214300x11010x11214300x12010x12214300x13010x13214300x14010x14214300x15010x15214300x10010x10221400x11010x11221400x12010x12221400x13010x13221400x14010x14221400x15010x15221400x10010x10441500x11010x11441500x12010x12441500x13010x13441500x14010x14441500x15010x15441500x10010x10215500x11010x11215500x12010x12215500x13010x13215500x14010x14215500x15010x15215500x10010x10240310x11010x11240310x12010x12240310x13010x13240310x14010x14240310x15010x15240310x10010x10212020x11010x11212020x12010x12212020x13010x13212020x14010x14212020x15010x15212020x10010x10403130x11010x11403130x12010x12403130x13010x13403130x14010x14403130x15010x15403130x10010x10200531x11010x11200531x12010x12200531x13010x13200531x14010x14200531x15010x15200531x10010x10200441x11010x11200441x12010x12200441x13010x13200441x14010x14200441x15010x15200441x10010x10121002x11010x11121002x12010x12121002x13010x13121002x14010x14121002x15010x15121002x10010x10412002x11010x11412002x12010x12412002x13010x13412002x14010x14412002x15010x15412002x10010x10132002x11010x11132002x12010x12132002x13010x13132002x14010x14132002x15010x15132002x10010x10215002x11010x11215002x12010x12215002x13010x13215002x14010x14215002x15010x15215002x10010x10210053x11010x11210053x12010x12210053x13010x13210053x14010x14210053x15010x15210053x10010x10210024x11010x11210024x12010x12210024x13010x13210024x14010x14210024x15010x15210024x10010x10211005x11010x11211005x12010x12211005x13010x13211005x14010x14211005x15010x15211005x10010x10212005x11010x11212005x12010x12212005x13010x13212005x14010x14212005x15010x15212005x10010x10200315x11010x11200315x12010x12200315x13010x13200315x14010x14200315x15010x15200315x100100x1013000x110100x1113000x120100x1213000x130100x1313000x140100x1413000x150100x1513000x100100x10131000x110100x11131000x120100x12131000x130100x13131000x140100x14131000x150100x15131000x100100x10210500x110100x11210500x120100x12210500x130100x13210500x140100x14210500x150100x15210500x100010x10421000x110010x11421000x120010x12421000x130010x13421000x140010x14421000x150010x15421000x100010x10400310x110010x11400310x120010x12400310x130010x13400310x140010x14400310x150010x15400310x104010x1024100x114010x1124100x124010x1224100x134010x1324100x144010x1424100x154010x1524100x104010x1021400x114010x1121400x124010x1221400x134010x1321400x144010x1421400x154010x1521400x104010x10241500x114010x11241500x124010x12241500x134010x13241500x144010x14241500x154010x15241500x104010x10054021x114010x11054021x124010x12054021x134010x13054021x144010x14054021x154010x15054021x104010x10020441x114010x11020441x124010x12020441x134010x13020441x144010x14020441x154010x15020441x100110x10421100x110110x11421100x120110x12421100x130110x13421100x140110x14421100x150110x15421100x100110x10135010x110110x11135010x120110x12135010x130110x13135010x140110x14135010x150110x15135010x100110x10141020x110110x11141020x120110x12141020x130110x13141020x140110x14141020x150110x15141020x100110x10112050x110110x11112050x120110x12112050x130110x13112050x140110x14112050x150110x15112050x100110x10120021x110110x11120021x120110x12120021x130110x13120021x140110x14120021x150110x15120021x100110x10120012x110110x11120012x120110x12120012x130110x13120012x140110x14120012x150110x15120012x100110x10100212x110110x11100212x120110x12100212x130110x13100212x140110x14100212x150110x15100212x100140x1021400x110140x1121400x120140x1221400x130140x1321400x140140x1421400x150140x1521400x100140x10421400x110140x11421400x120140x12421400x130140x13421400x140140x14421400x150140x15421400x100140x10241030x110140x11241030x120140x12241030x130140x13241030x140140x14241030x150140x15241030x100450x10441005x110450x11441005x120450x12441005x130450x13441005x140450x14441005x150450x15441005x1044010x10314400x1144010x11314400x1244010x12314400x1344010x13314400x1444010x14314400x1544010x15314400x1044010x10031440x1144010x11031440x1244010x12031440x1344010x13031440x1444010x14031440x1544010x15031440x1044010x10004413x1144010x11004413x1244010x12004413x1344010x13004413x1444010x14004413x1544010x15004413x1001110x10121100x1101110x11121100x1201110x12121100x1301110x13121100x1401110x14121100x1501110x15121100x1001030x10130050x1101030x11130050x1201030x12130050x1301030x13130050x1401030x14130050x1501030x15130050x1001440x10421400x1101440x11421400x1201440x12421400x1301440x13421400x1401440x14421400x1501440x15421400x1001540x10214500x1101540x11214500x1201540x12214500x1301540x13214500x1401540x14214500x1501540x15214500x1004450x10205404x1104450x11205404x1204450x12205404x1304450x13205404x1404450x14205404x1504450x15205404x1011000x102211000x1011001x102211001x1011002x102211002x1011003x102211003x1011005x102211005x1011004x102211004x1011000x103311000x1011001x103311001x1011002x103311002x1011003x103311003x1011005x103311005x1011004x103311004x1011000x100022110x1011001x100022111x1011002x100022112x1011003x100022113x1011005x100022115x1011004x100022114x1011000x100033110x1011001x100033111x1011002x100033112x1011003x100033113x1011005x100033115x1011004x100033114x1011000x10554411000x1011001x10554411001x1011002x10554411002x1011003x10554411003x1011005x10554411005x1011004x10554411004x1011000x10331122000x1011001x10331122001x1011002x10331122002x1011003x10331122003x1011005x10331122005x1011004x10331122004x1011000x10331133000x1011001x10331133001x1011002x10331133002x1011003x10331133003x1011005x10331133005x1011004x10331133004x1011000x10221144000x1011001x10221144001x1011002x10221144002x1011003x10221144003x1011005x10221144005x1011004x10221144004x1011000x10331144000x1011001x10331144001x1011002x10331144002x1011003x10331144003x1011005x10331144005x1011004x10331144004x1011000x10002211110x1011001x10002211111x1011002x10002211112x1011003x10002211113x1011005x10002211115x1011004x10002211114x1011000x10550022110x1011001x10550022111x1011002x10550022112x1011003x10550022113x1011005x10550022115x1011004x10550022114x1011000x10002222110x1011001x10002222111x1011002x10002222112x1011003x10002222113x1011005x10002222115x1011004x10002222114x1011000x10003322110x1011001x10003322111x1011002x10003322112x1011003x10003322113x1011005x10003322115x1011004x10003322114x1011000x10005522110x1011001x10005522111x1011002x10005522112x1011003x10005522113x1011005x10005522115x1011004x10005522114x1011000x10220033110x1011001x10220033111x1011002x10220033112x1011003x10220033113x1011005x10220033115x1011004x10220033114x1011000x10330033110x1011001x10330033111x1011002x10330033112x1011003x10330033113x1011005x10330033115x1011004x10330033114x1011000x10440033110x1011001x10440033111x1011002x10440033112x1011003x10440033113x1011005x10440033115x1011004x10440033114x1011000x10550033110x1011001x10550033111x1011002x10550033112x1011003x10550033113x1011005x10550033115x1011004x10550033114x1011000x10002244110x1011001x10002244111x1011002x10002244112x1011003x10002244113x1011005x10002244115x1011004x10002244114x1011000x10003344110x1011001x10003344111x1011002x10003344112x1011003x10003344113x1011005x10003344115x1011004x10003344114x1011000x10002255110x1011001x10002255111x1011002x10002255112x1011003x10002255113x1011005x10002255115x1011004x10002255114x1011000x10002211220x1011001x10002211221x1011002x10002211222x1011003x10002211223x1011005x10002211225x1011004x10002211224x1011000x10003311220x1011001x10003311221x1011002x10003311222x1011003x10003311223x1011005x10003311225x1011004x10003311224x1011000x10005511220x1011001x10005511221x1011002x10005511222x1011003x10005511223x1011005x10005511225x1011004x10005511224x1011000x10002211330x1011001x10002211331x1011002x10002211332x1011003x10002211333x1011005x10002211335x1011004x10002211334x1011000x10003311330x1011001x10003311331x1011002x10003311332x1011003x10003311333x1011005x10003311335x1011004x10003311334x1011000x10003311440x1011001x10003311441x1011002x10003311442x1011003x10003311443x1011005x10003311445x1011004x10003311444x1011000x1055221111000x1011001x1055221111001x1011002x1055221111002x1011003x1055221111003x1011005x1055221111005x1011004x1055221111004x1011000x1033222211000x1011001x1033222211001x1011002x1033222211002x1011003x1033222211003x1011005x1033222211005x1011004x1033222211004x1011000x1033114411000x1011001x1033114411001x1011002x1033114411002x1011003x1033114411003x1011005x1033114411005x1011004x1033114411004x1011000x1044441122000x1011001x1044441122001x1011002x1044441122002x1011003x1044441122003x1011005x1044441122005x1011004x1044441122004x1011000x1055441122000x1011001x1055441122001x1011002x1055441122002x1011003x1055441122003x1011005x1055441122005x1011004x1055441122004x1011000x1022112222000x1011001x1022112222001x1011002x1022112222002x1011003x1022112222003x1011005x1022112222005x1011004x1022112222004x1011000x1022115522000x1011001x1022115522001x1011002x1022115522002x1011003x1022115522003x1011005x1022115522005x1011004x1022115522004x1011000x1033114433000x1011001x1033114433001x1011002x1033114433002x1011003x1033114433003x1011005x1033114433005x1011004x1033114433004x1011000x1033115544000x1011001x1033115544001x1011002x1033115544002x1011003x1033115544003x1011005x1033115544005x1011004x1033115544004x1011000x1000221111110x1011001x1000221111111x1011002x1000221111112x1011003x1000221111113x1011005x1000221111115x1011004x1000221111114x1011000x1000331111110x1011001x1000331111111x1011002x1000331111112x1011003x1000331111113x1011005x1000331111115x1011004x1000331111114x1011000x1033002211110x1011001x1033002211111x1011002x1033002211112x1011003x1033002211113x1011005x1033002211115x1011004x1033002211114x1011000x1000222211110x1011001x1000222211111x1011002x1000222211112x1011003x1000222211113x1011005x1000222211115x1011004x1000222211114x1011000x1055003311110x1011001x1055003311111x1011002x1055003311112x1011003x1055003311113x1011005x1055003311115x1011004x1055003311114x1011000x1000554411110x1011001x1000554411111x1011002x1000554411112x1011003x1000554411113x1011005x1000554411115x1011004x1000554411114x1011000x1000552222110x1011001x1000552222111x1011002x1000552222112x1011003x1000552222113x1011005x1000552222115x1011004x1000552222114x1011000x1000551133110x1011001x1000551133111x1011002x1000551133112x1011003x1000551133113x1011005x1000551133115x1011004x1000551133114x1011000x1000222244110x1011001x1000222244111x1011002x1000222244112x1011003x1000222244113x1011005x1000222244115x1011004x1000222244114x1011000x1000334444110x1011001x1000334444111x1011002x1000334444112x1011003x1000334444113x1011005x1000334444115x1011004x1000334444114x1011000x1000554444110x1011001x1000554444111x1011002x1000554444112x1011003x1000554444113x1011005x1000554444115x1011004x1000554444114x1011000x1033110055110x1011001x1033110055111x1011002x1033110055112x1011003x1033110055113x1011005x1033110055115x1011004x1033110055114x1011000x1022111100220x1011001x1022111100221x1011002x1022111100222x1011003x1022111100223x1011005x1022111100225x1011004x1022111100224x1011000x1022114400220x1011001x1022114400221x1011002x1022114400222x1011003x1022114400223x1011005x1022114400225x1011004x1022114400224x1011000x1044220011220x1011001x1044220011221x1011002x1044220011222x1011003x1044220011223x1011005x1044220011225x1011004x1044220011224x1011000x1033005511220x1011001x1033005511221x1011002x1033005511222x1011003x1033005511223x1011005x1033005511225x1011004x1033005511224x1011000x1000331122220x1011001x1000331122221x1011002x1000331122222x1011003x1000331122223x1011005x1000331122225x1011004x1000331122224x1011000x1022002211330x1011001x1022002211331x1011002x1022002211332x1011003x1022002211333x1011005x1022002211335x1011004x1022002211334x1011000x1033002211440x1011001x1033002211441x1011002x1033002211442x1011003x1033002211443x1011005x1033002211445x1011004x1033002211444x1011000x1000331122440x1011001x1000331122441x1011002x1000331122442x1011003x1000331122443x1011005x1000331122445x1011004x1000331122444x1011000x1000551133440x1011001x1000551133441x1011002x1000551133442x1011003x1000551133443x1011005x1000551133445x1011004x1000551133444x1011000x1000331155440x1011001x1000331155441x1011002x1000331155442x1011003x1000331155443x1011005x1000331155445x1011004x1000331155444x1011000x1055002211550x1011001x1055002211551x1011002x1055002211552x1011003x1055002211553x1011005x1055002211555x1011004x1055002211554x1011000x1000332211550x1011001x1000332211551x1011002x1000332211552x1011003x1000332211553x1011005x1000332211555x1011004x1000332211554x1011000x1000552211550x1011001x1000552211551x1011002x1000552211552x1011003x1000552211553x1011005x1000552211555x1011004x1000552211554x1011000x1033003311550x1011001x1033003311551x1011002x1033003311552x1011003x1033003311553x1011005x1033003311555x1011004x1033003311554x1011000x1000334411550x1011001x1000334411551x1011002x1000334411552x1011003x1000334411553x1011005x1000334411555x1011004x1000334411554x1011000x1000331155550x1011001x1000331155551x1011002x1000331155552x1011003x1000331155553x1011005x1000331155555x1011004x1000331155554x100000000x10220000000x100000001x10220000001x100000002x10220000002x100000003x10220000003x100000005x10220000005x100000004x10220000004x101100000x10221100000x101100001x10221100001x101100002x10221100002x101100003x10221100003x101100005x10221100005x101100004x10221100004x101100000x1033112200000x101100001x1033112200001x101100002x1033112200002x101100003x1033112200003x101100005x1033112200005x101100004x1033112200004x101100000x1011222200000x101100001x1011222200001x101100002x1011222200002x101100003x1011222200003x101100005x1011222200005x101100004x1011222200004x101100000x1011224400000x101100001x1011224400001x101100002x1011224400002x101100003x1011224400003x101100005x1011224400005x101100004x1011224400004x101100000x1000442211000x101100001x1000442211001x101100002x1000442211002x101100003x1000442211003x101100005x1000442211005x101100004x1000442211004x101100000x1033003311000x101100001x1033003311001x101100002x1033003311002x101100003x1033003311003x101100005x1033003311005x101100004x1033003311004x101100000x1000551122000x101100001x1000551122001x101100002x1000551122002x101100003x1000551122003x101100005x1000551122005x101100004x1000551122004x101100000x1000221155000x101100001x1000221155001x101100002x1000221155002x101100003x1000221155003x101100005x1000221155005x101100004x1000221155004x100011000x10000033110x100011001x10000033111x100011002x10000033112x100011003x10000033113x100011005x10000033115x100011004x10000033114x100011000x1022441100000x100011001x1022441100001x100011002x1022441100002x100011003x1022441100003x100011005x1022441100005x100011004x1022441100004x100011000x1022114400000x100011001x1022114400001x100011002x1022114400002x100011003x1022114400003x100011005x1022114400005x100011004x1022114400004x100011000x1000334411000x100011001x1000334411001x100011002x1000334411002x100011003x1000334411003x100011005x1000334411005x100011004x1000334411004x100011000x1033110022000x100011001x1033110022001x100011002x1033110022002x100011003x1033110022003x100011005x1033110022005x100011004x1033110022004x100011000x1000004422110x100011001x1000004422111x100011002x1000004422112x100011003x1000004422113x100011005x1000004422115x100011004x1000004422114x140011000x14221100000x140011001x14221100001x140011002x14221100002x140011003x14221100003x140011005x14221100005x140011004x14221100004x140011000x14000022110x140011001x14000022111x140011002x14000022112x140011003x14000022113x140011005x14000022115x140011004x14000022114x101111000x10331111000x101111001x10331111001x101111002x10331111002x101111003x10331111003x101111005x10331111005x101111004x10331111004x101111000x10003311110x101111001x10003311111x101111002x10003311112x101111003x10003311113x101111005x10003311115x101111004x10003311114x101111000x1011334411000x101111001x1011334411001x101111002x1011334411002x101111003x1011334411003x101111005x1011334411005x101111004x1011334411004x101111000x1011221144000x101111001x1011221144001x101111002x1011221144002x101111003x1011221144003x101111005x1011221144005x101111004x1011221144004x101111000x1011441144000x101111001x1011441144001x101111002x1011441144002x101111003x1011441144003x101111005x1011441144005x101111004x1011441144004x101111000x1011331155000x101111001x1011331155001x101111002x1011331155002x101111003x1011331155003x101111005x1011331155005x101111004x1011331155004x101111000x1000331111110x101111001x1000331111111x101111002x1000331111112x101111003x1000331111113x101111005x1000331111115x101111004x1000331111114x101111000x1011005544110x101111001x1011005544111x101111002x1011005544112x101111003x1011005544113x101111005x1011005544115x101111004x1011005544114x101111000x1011221100220x101111001x1011221100221x101111002x1011221100222x101111003x1011221100223x101111005x1011221100225x101111004x1011221100224x101111000x1000331111440x101111001x1000331111441x101111002x1000331111442x101111003x1000331111443x101111005x1000331111445x101111004x1000331111444x101144000x1055441155000x101144001x1055441155001x101144002x1055441155002x101144003x1055441155003x101144005x1055441155005x101144004x1055441155004x101155000x10005522110x101155001x10005522111x101155002x10005522112x101155003x10005522113x101155005x10005522115x101155004x10005522114x101155000x10002255110x101155001x10002255111x101155002x10002255112x101155003x10002255113x101155005x10002255115x101155004x10002255114x101155000x1000551133440x101155001x1000551133441x101155002x1000551133442x101155003x1000551133443x101155005x1000551133445x101155004x1000551133444x101155000x1000221122550x101155001x1000221122551x101155002x1000221122552x101155003x1000221122553x101155005x1000221122555x101155004x1000221122554x104455000x10554411000x104455001x10554411001x104455002x10554411002x104455003x10554411003x104455005x10554411005x104455004x10554411004x10110000000x1011220000000x10110000001x1011220000001x10110000002x1011220000002x10110000003x1011220000003x10110000005x1011220000005x10110000004x1011220000004x10110022000x1000221133000x10110022001x1000221133001x10110022002x1000221133002x10110022003x1000221133003x10110022005x1000221133005x10110022004x1000221133004x10110055000x1022110000550x10110055001x1022110000551x10110055002x1022110000552x10110055003x1022110000553x10110055005x1022110000555x10110055004x1022110000554x10111155000x1033115511000x10111155001x1033115511001x10111155002x1033115511002x10111155003x1033115511003x10111155005x1033115511005x10111155004x1033115511004x100011000x10221100000x100011001x10221100001x100011002x10221100002x100011003x10221100003x100011005x10221100005x100011004x10221100004x110011000x11221100000x110011001x11221100001x110011002x11221100002x110011003x11221100003x110011005x11221100005x110011004x11221100004x120011000x12221100000x120011001x12221100001x120011002x12221100002x120011003x12221100003x120011005x12221100005x120011004x12221100004x130011000x13221100000x130011001x13221100001x130011002x13221100002x130011003x13221100003x130011005x13221100005x130011004x13221100004x150011000x15221100000x150011001x15221100001x150011002x15221100002x150011003x15221100003x150011005x15221100005x150011004x15221100004x100011000x1044221100000x100011001x1044221100001x100011002x1044221100002x100011003x1044221100003x100011005x1044221100005x100011004x1044221100004x110011000x1144221100000x110011001x1144221100001x110011002x1144221100002x110011003x1144221100003x110011005x1144221100005x110011004x1144221100004x120011000x1244221100000x120011001x1244221100001x120011002x1244221100002x120011003x1244221100003x120011005x1244221100005x120011004x1244221100004x130011000x1344221100000x130011001x1344221100001x130011002x1344221100002x130011003x1344221100003x130011005x1344221100005x130011004x1344221100004x140011000x1444221100000x140011001x1444221100001x140011002x1444221100002x140011003x1444221100003x140011005x1444221100005x140011004x1444221100004x150011000x1544221100000x150011001x1544221100001x150011002x1544221100002x150011003x1544221100003x150011005x1544221100005x150011004x1544221100004x100011000x1044441100000x100011001x1044441100001x100011002x1044441100002x100011003x1044441100003x100011005x1044441100005x100011004x1044441100004x110011000x1144441100000x110011001x1144441100001x110011002x1144441100002x110011003x1144441100003x110011005x1144441100005x110011004x1144441100004x120011000x1244441100000x120011001x1244441100001x120011002x1244441100002x120011003x1244441100003x120011005x1244441100005x120011004x1244441100004x130011000x1344441100000x130011001x1344441100001x130011002x1344441100002x130011003x1344441100003x130011005x1344441100005x130011004x1344441100004x140011000x1444441100000x140011001x1444441100001x140011002x1444441100002x140011003x1444441100003x140011005x1444441100005x140011004x1444441100004x150011000x1544441100000x150011001x1544441100001x150011002x1544441100002x150011003x1544441100003x150011005x1544441100005x150011004x1544441100004x110011000x1122114400000x110011001x1122114400001x110011002x1122114400002x110011003x1122114400003x110011005x1122114400005x110011004x1122114400004x120011000x1222114400000x120011001x1222114400001x120011002x1222114400002x120011003x1222114400003x120011005x1222114400005x120011004x1222114400004x130011000x1322114400000x130011001x1322114400001x130011002x1322114400002x130011003x1322114400003x130011005x1322114400005x130011004x1322114400004x140011000x1422114400000x140011001x1422114400001x140011002x1422114400002x140011003x1422114400003x140011005x1422114400005x140011004x1422114400004x150011000x1522114400000x150011001x1522114400001x150011002x1522114400002x150011003x1522114400003x150011005x1522114400005x150011004x1522114400004x100011000x1022002211000x100011001x1022002211001x100011002x1022002211002x100011003x1022002211003x100011005x1022002211005x100011004x1022002211004x110011000x1122002211000x110011001x1122002211001x110011002x1122002211002x110011003x1122002211003x110011005x1122002211005x110011004x1122002211004x120011000x1222002211000x120011001x1222002211001x120011002x1222002211002x120011003x1222002211003x120011005x1222002211005x120011004x1222002211004x130011000x1322002211000x130011001x1322002211001x130011002x1322002211002x130011003x1322002211003x130011005x1322002211005x130011004x1322002211004x140011000x1422002211000x140011001x1422002211001x140011002x1422002211002x140011003x1422002211003x140011005x1422002211005x140011004x1422002211004x150011000x1522002211000x150011001x1522002211001x150011002x1522002211002x150011003x1522002211003x150011005x1522002211005x150011004x1522002211004x100011000x1022003311000x100011001x1022003311001x100011002x1022003311002x100011003x1022003311003x100011005x1022003311005x100011004x1022003311004x110011000x1122003311000x110011001x1122003311001x110011002x1122003311002x110011003x1122003311003x110011005x1122003311005x110011004x1122003311004x120011000x1222003311000x120011001x1222003311001x120011002x1222003311002x120011003x1222003311003x120011005x1222003311005x120011004x1222003311004x130011000x1322003311000x130011001x1322003311001x130011002x1322003311002x130011003x1322003311003x130011005x1322003311005x130011004x1322003311004x140011000x1422003311000x140011001x1422003311001x140011002x1422003311002x140011003x1422003311003x140011005x1422003311005x140011004x1422003311004x150011000x1522003311000x150011001x1522003311001x150011002x1522003311002x150011003x1522003311003x150011005x1522003311005x150011004x1522003311004x100011000x1044003311000x100011001x1044003311001x100011002x1044003311002x100011003x1044003311003x100011005x1044003311005x100011004x1044003311004x110011000x1144003311000x110011001x1144003311001x110011002x1144003311002x110011003x1144003311003x110011005x1144003311005x110011004x1144003311004x120011000x1244003311000x120011001x1244003311001x120011002x1244003311002x120011003x1244003311003x120011005x1244003311005x120011004x1244003311004x130011000x1344003311000x130011001x1344003311001x130011002x1344003311002x130011003x1344003311003x130011005x1344003311005x130011004x1344003311004x140011000x1444003311000x140011001x1444003311001x140011002x1444003311002x140011003x1444003311003x140011005x1444003311005x140011004x1444003311004x150011000x1544003311000x150011001x1544003311001x150011002x1544003311002x150011003x1544003311003x150011005x1544003311005x150011004x1544003311004x100011000x1011220000220x100011001x1011220000221x100011002x1011220000222x100011003x1011220000223x100011005x1011220000225x100011004x1011220000224x110011000x1111220000220x110011001x1111220000221x110011002x1111220000222x110011003x1111220000223x110011005x1111220000225x110011004x1111220000224x120011000x1211220000220x120011001x1211220000221x120011002x1211220000222x120011003x1211220000223x120011005x1211220000225x120011004x1211220000224x130011000x1311220000220x130011001x1311220000221x130011002x1311220000222x130011003x1311220000223x130011005x1311220000225x130011004x1311220000224x140011000x1411220000220x140011001x1411220000221x140011002x1411220000222x140011003x1411220000223x140011005x1411220000225x140011004x1411220000224x150011000x1511220000220x150011001x1511220000221x150011002x1511220000222x150011003x1511220000223x150011005x1511220000225x150011004x1511220000224x100011000x1011330000220x100011001x1011330000221x100011002x1011330000222x100011003x1011330000223x100011005x1011330000225x100011004x1011330000224x110011000x1111330000220x110011001x1111330000221x110011002x1111330000222x110011003x1111330000223x110011005x1111330000225x110011004x1111330000224x120011000x1211330000220x120011001x1211330000221x120011002x1211330000222x120011003x1211330000223x120011005x1211330000225x120011004x1211330000224x130011000x1311330000220x130011001x1311330000221x130011002x1311330000222x130011003x1311330000223x130011005x1311330000225x130011004x1311330000224x140011000x1411330000220x140011001x1411330000221x140011002x1411330000222x140011003x1411330000223x140011005x1411330000225x140011004x1411330000224x150011000x1511330000220x150011001x1511330000221x150011002x1511330000222x150011003x1511330000223x150011005x1511330000225x150011004x1511330000224x100011000x104422112200000x100011001x104422112200001x100011002x104422112200002x100011003x104422112200003x100011005x104422112200005x100011004x104422112200004x110011000x114422112200000x110011001x114422112200001x110011002x114422112200002x110011003x114422112200003x110011005x114422112200005x110011004x114422112200004x120011000x124422112200000x120011001x124422112200001x120011002x124422112200002x120011003x124422112200003x120011005x124422112200005x120011004x124422112200004x130011000x134422112200000x130011001x134422112200001x130011002x134422112200002x130011003x134422112200003x130011005x134422112200005x130011004x134422112200004x140011000x144422112200000x140011001x144422112200001x140011002x144422112200002x140011003x144422112200003x140011005x144422112200005x140011004x144422112200004x150011000x154422112200000x150011001x154422112200001x150011002x154422112200002x150011003x154422112200003x150011005x154422112200005x150011004x154422112200004x100011000x102211443300000x100011001x102211443300001x100011002x102211443300002x100011003x102211443300003x100011005x102211443300005x100011004x102211443300004x110011000x112211443300000x110011001x112211443300001x110011002x112211443300002x110011003x112211443300003x110011005x112211443300005x110011004x112211443300004x120011000x122211443300000x120011001x122211443300001x120011002x122211443300002x120011003x122211443300003x120011005x122211443300005x120011004x122211443300004x130011000x132211443300000x130011001x132211443300001x130011002x132211443300002x130011003x132211443300003x130011005x132211443300005x130011004x132211443300004x140011000x142211443300000x140011001x142211443300001x140011002x142211443300002x140011003x142211443300003x140011005x142211443300005x140011004x142211443300004x150011000x152211443300000x150011001x152211443300001x150011002x152211443300002x150011003x152211443300003x150011005x152211443300005x150011004x152211443300004x100011000x102222114400000x100011001x102222114400001x100011002x102222114400002x100011003x102222114400003x100011005x102222114400005x100011004x102222114400004x110011000x112222114400000x110011001x112222114400001x110011002x112222114400002x110011003x112222114400003x110011005x112222114400005x110011004x112222114400004x120011000x122222114400000x120011001x122222114400001x120011002x122222114400002x120011003x122222114400003x120011005x122222114400005x120011004x122222114400004x130011000x132222114400000x130011001x132222114400001x130011002x132222114400002x130011003x132222114400003x130011005x132222114400005x130011004x132222114400004x140011000x142222114400000x140011001x142222114400001x140011002x142222114400002x140011003x142222114400003x140011005x142222114400005x140011004x142222114400004x150011000x152222114400000x150011001x152222114400001x150011002x152222114400002x150011003x152222114400003x150011005x152222114400005x150011004x152222114400004x100011000x104444115500000x100011001x104444115500001x100011002x104444115500002x100011003x104444115500003x100011005x104444115500005x100011004x104444115500004x110011000x114444115500000x110011001x114444115500001x110011002x114444115500002x110011003x114444115500003x110011005x114444115500005x110011004x114444115500004x120011000x124444115500000x120011001x124444115500001x120011002x124444115500002x120011003x124444115500003x120011005x124444115500005x120011004x124444115500004x130011000x134444115500000x130011001x134444115500001x130011002x134444115500002x130011003x134444115500003x130011005x134444115500005x130011004x134444115500004x140011000x144444115500000x140011001x144444115500001x140011002x144444115500002x140011003x144444115500003x140011005x144444115500005x140011004x144444115500004x150011000x154444115500000x150011001x154444115500001x150011002x154444115500002x150011003x154444115500003x150011005x154444115500005x150011004x154444115500004x100011000x102211555500000x100011001x102211555500001x100011002x102211555500002x100011003x102211555500003x100011005x102211555500005x100011004x102211555500004x110011000x112211555500000x110011001x112211555500001x110011002x112211555500002x110011003x112211555500003x110011005x112211555500005x110011004x112211555500004x120011000x122211555500000x120011001x122211555500001x120011002x122211555500002x120011003x122211555500003x120011005x122211555500005x120011004x122211555500004x130011000x132211555500000x130011001x132211555500001x130011002x132211555500002x130011003x132211555500003x130011005x132211555500005x130011004x132211555500004x140011000x142211555500000x140011001x142211555500001x140011002x142211555500002x140011003x142211555500003x140011005x142211555500005x140011004x142211555500004x150011000x152211555500000x150011001x152211555500001x150011002x152211555500002x150011003x152211555500003x150011005x152211555500005x150011004x152211555500004x100011000x102244003311000x100011001x102244003311001x100011002x102244003311002x100011003x102244003311003x100011005x102244003311005x100011004x102244003311004x110011000x112244003311000x110011001x112244003311001x110011002x112244003311002x110011003x112244003311003x110011005x112244003311005x110011004x112244003311004x120011000x122244003311000x120011001x122244003311001x120011002x122244003311002x120011003x122244003311003x120011005x122244003311005x120011004x122244003311004x130011000x132244003311000x130011001x132244003311001x130011002x132244003311002x130011003x132244003311003x130011005x132244003311005x130011004x132244003311004x140011000x142244003311000x140011001x142244003311001x140011002x142244003311002x140011003x142244003311003x140011005x142244003311005x140011004x142244003311004x150011000x152244003311000x150011001x152244003311001x150011002x152244003311002x150011003x152244003311003x150011005x152244003311005x150011004x152244003311004x100011000x102211220022000x100011001x102211220022001x100011002x102211220022002x100011003x102211220022003x100011005x102211220022005x100011004x102211220022004x110011000x112211220022000x110011001x112211220022001x110011002x112211220022002x110011003x112211220022003x110011005x112211220022005x110011004x112211220022004x120011000x122211220022000x120011001x122211220022001x120011002x122211220022002x120011003x122211220022003x120011005x122211220022005x120011004x122211220022004x130011000x132211220022000x130011001x132211220022001x130011002x132211220022002x130011003x132211220022003x130011005x132211220022005x130011004x132211220022004x140011000x142211220022000x140011001x142211220022001x140011002x142211220022002x140011003x142211220022003x140011005x142211220022005x140011004x142211220022004x150011000x152211220022000x150011001x152211220022001x150011002x152211220022002x150011003x152211220022003x150011005x152211220022005x150011004x152211220022004x100011000x104400331133000x100011001x104400331133001x100011002x104400331133002x100011003x104400331133003x100011005x104400331133005x100011004x104400331133004x110011000x114400331133000x110011001x114400331133001x110011002x114400331133002x110011003x114400331133003x110011005x114400331133005x110011004x114400331133004x120011000x124400331133000x120011001x124400331133001x120011002x124400331133002x120011003x124400331133003x120011005x124400331133005x120011004x124400331133004x130011000x134400331133000x130011001x134400331133001x130011002x134400331133002x130011003x134400331133003x130011005x134400331133005x130011004x134400331133004x140011000x144400331133000x140011001x144400331133001x140011002x144400331133002x140011003x144400331133003x140011005x144400331133005x140011004x144400331133004x150011000x154400331133000x150011001x154400331133001x150011002x154400331133002x150011003x154400331133003x150011005x154400331133005x150011004x154400331133004x100011000x102200005533110x100011001x102200005533111x100011002x102200005533112x100011003x102200005533113x100011005x102200005533115x100011004x102200005533114x110011000x112200005533110x110011001x112200005533111x110011002x112200005533112x110011003x112200005533113x110011005x112200005533115x110011004x112200005533114x120011000x122200005533110x120011001x122200005533111x120011002x122200005533112x120011003x122200005533113x120011005x122200005533115x120011004x122200005533114x130011000x132200005533110x130011001x132200005533111x130011002x132200005533112x130011003x132200005533113x130011005x132200005533115x130011004x132200005533114x140011000x142200005533110x140011001x142200005533111x140011002x142200005533112x140011003x142200005533113x140011005x142200005533115x140011004x142200005533114x150011000x152200005533110x150011001x152200005533111x150011002x152200005533112x150011003x152200005533113x150011005x152200005533115x150011004x152200005533114x100011000x102200004444110x100011001x102200004444111x100011002x102200004444112x100011003x102200004444113x100011005x102200004444115x100011004x102200004444114x110011000x112200004444110x110011001x112200004444111x110011002x112200004444112x110011003x112200004444113x110011005x112200004444115x110011004x112200004444114x120011000x122200004444110x120011001x122200004444111x120011002x122200004444112x120011003x122200004444113x120011005x122200004444115x120011004x122200004444114x130011000x132200004444110x130011001x132200004444111x130011002x132200004444112x130011003x132200004444113x130011005x132200004444115x130011004x132200004444114x140011000x142200004444110x140011001x142200004444111x140011002x142200004444112x140011003x142200004444113x140011005x142200004444115x140011004x142200004444114x150011000x152200004444110x150011001x152200004444111x150011002x152200004444112x150011003x152200004444113x150011005x152200004444115x150011004x152200004444114x100011000x101122110000220x100011001x101122110000221x100011002x101122110000222x100011003x101122110000223x100011005x101122110000225x100011004x101122110000224x110011000x111122110000220x110011001x111122110000221x110011002x111122110000222x110011003x111122110000223x110011005x111122110000225x110011004x111122110000224x120011000x121122110000220x120011001x121122110000221x120011002x121122110000222x120011003x121122110000223x120011005x121122110000225x120011004x121122110000224x130011000x131122110000220x130011001x131122110000221x130011002x131122110000222x130011003x131122110000223x130011005x131122110000225x130011004x131122110000224x140011000x141122110000220x140011001x141122110000221x140011002x141122110000222x140011003x141122110000223x140011005x141122110000225x140011004x141122110000224x150011000x151122110000220x150011001x151122110000221x150011002x151122110000222x150011003x151122110000223x150011005x151122110000225x150011004x151122110000224x100011000x104411220000220x100011001x104411220000221x100011002x104411220000222x100011003x104411220000223x100011005x104411220000225x100011004x104411220000224x110011000x114411220000220x110011001x114411220000221x110011002x114411220000222x110011003x114411220000223x110011005x114411220000225x110011004x114411220000224x120011000x124411220000220x120011001x124411220000221x120011002x124411220000222x120011003x124411220000223x120011005x124411220000225x120011004x124411220000224x130011000x134411220000220x130011001x134411220000221x130011002x134411220000222x130011003x134411220000223x130011005x134411220000225x130011004x134411220000224x140011000x144411220000220x140011001x144411220000221x140011002x144411220000222x140011003x144411220000223x140011005x144411220000225x140011004x144411220000224x150011000x154411220000220x150011001x154411220000221x150011002x154411220000222x150011003x154411220000223x150011005x154411220000225x150011004x154411220000224x100011000x101133220000220x100011001x101133220000221x100011002x101133220000222x100011003x101133220000223x100011005x101133220000225x100011004x101133220000224x110011000x111133220000220x110011001x111133220000221x110011002x111133220000222x110011003x111133220000223x110011005x111133220000225x110011004x111133220000224x120011000x121133220000220x120011001x121133220000221x120011002x121133220000222x120011003x121133220000223x120011005x121133220000225x120011004x121133220000224x130011000x131133220000220x130011001x131133220000221x130011002x131133220000222x130011003x131133220000223x130011005x131133220000225x130011004x131133220000224x140011000x141133220000220x140011001x141133220000221x140011002x141133220000222x140011003x141133220000223x140011005x141133220000225x140011004x141133220000224x150011000x151133220000220x150011001x151133220000221x150011002x151133220000222x150011003x151133220000223x150011005x151133220000225x150011004x151133220000224x100011000x102211550000220x100011001x102211550000221x100011002x102211550000222x100011003x102211550000223x100011005x102211550000225x100011004x102211550000224x110011000x112211550000220x110011001x112211550000221x110011002x112211550000222x110011003x112211550000223x110011005x112211550000225x110011004x112211550000224x120011000x122211550000220x120011001x122211550000221x120011002x122211550000222x120011003x122211550000223x120011005x122211550000225x120011004x122211550000224x130011000x132211550000220x130011001x132211550000221x130011002x132211550000222x130011003x132211550000223x130011005x132211550000225x130011004x132211550000224x140011000x142211550000220x140011001x142211550000221x140011002x142211550000222x140011003x142211550000223x140011005x142211550000225x140011004x142211550000224x150011000x152211550000220x150011001x152211550000221x150011002x152211550000222x150011003x152211550000223x150011005x152211550000225x150011004x152211550000224x100011000x102211000055330x100011001x102211000055331x100011002x102211000055332x100011003x102211000055333x100011005x102211000055335x100011004x102211000055334x110011000x112211000055330x110011001x112211000055331x110011002x112211000055332x110011003x112211000055333x110011005x112211000055335x110011004x112211000055334x120011000x122211000055330x120011001x122211000055331x120011002x122211000055332x120011003x122211000055333x120011005x122211000055335x120011004x122211000055334x130011000x132211000055330x130011001x132211000055331x130011002x132211000055332x130011003x132211000055333x130011005x132211000055335x130011004x132211000055334x140011000x142211000055330x140011001x142211000055331x140011002x142211000055332x140011003x142211000055333x140011005x142211000055335x140011004x142211000055334x150011000x152211000055330x150011001x152211000055331x150011002x152211000055332x150011003x152211000055333x150011005x152211000055335x150011004x152211000055334x100011000x102211000022440x100011001x102211000022441x100011002x102211000022442x100011003x102211000022443x100011005x102211000022445x100011004x102211000022444x110011000x112211000022440x110011001x112211000022441x110011002x112211000022442x110011003x112211000022443x110011005x112211000022445x110011004x112211000022444x120011000x122211000022440x120011001x122211000022441x120011002x122211000022442x120011003x122211000022443x120011005x122211000022445x120011004x122211000022444x130011000x132211000022440x130011001x132211000022441x130011002x132211000022442x130011003x132211000022443x130011005x132211000022445x130011004x132211000022444x140011000x142211000022440x140011001x142211000022441x140011002x142211000022442x140011003x142211000022443x140011005x142211000022445x140011004x142211000022444x150011000x152211000022440x150011001x152211000022441x150011002x152211000022442x150011003x152211000022443x150011005x152211000022445x150011004x152211000022444x100011000x102211110000550x100011001x102211110000551x100011002x102211110000552x100011003x102211110000553x100011005x102211110000555x100011004x102211110000554x110011000x112211110000550x110011001x112211110000551x110011002x112211110000552x110011003x112211110000553x110011005x112211110000555x110011004x112211110000554x120011000x122211110000550x120011001x122211110000551x120011002x122211110000552x120011003x122211110000553x120011005x122211110000555x120011004x122211110000554x130011000x132211110000550x130011001x132211110000551x130011002x132211110000552x130011003x132211110000553x130011005x132211110000555x130011004x132211110000554x140011000x142211110000550x140011001x142211110000551x140011002x142211110000552x140011003x142211110000553x140011005x142211110000555x140011004x142211110000554x150011000x152211110000550x150011001x152211110000551x150011002x152211110000552x150011003x152211110000553x150011005x152211110000555x150011004x152211110000554x100011000x102211220000550x100011001x102211220000551x100011002x102211220000552x100011003x102211220000553x100011005x102211220000555x100011004x102211220000554x110011000x112211220000550x110011001x112211220000551x110011002x112211220000552x110011003x112211220000553x110011005x112211220000555x110011004x112211220000554x120011000x122211220000550x120011001x122211220000551x120011002x122211220000552x120011003x122211220000553x120011005x122211220000555x120011004x122211220000554x130011000x132211220000550x130011001x132211220000551x130011002x132211220000552x130011003x132211220000553x130011005x132211220000555x130011004x132211220000554x140011000x142211220000550x140011001x142211220000551x140011002x142211220000552x140011003x142211220000553x140011005x142211220000555x140011004x142211220000554x150011000x152211220000550x150011001x152211220000551x150011002x152211220000552x150011003x152211220000553x150011005x152211220000555x150011004x152211220000554x100011000x102200003311550x100011001x102200003311551x100011002x102200003311552x100011003x102200003311553x100011005x102200003311555x100011004x102200003311554x110011000x112200003311550x110011001x112200003311551x110011002x112200003311552x110011003x112200003311553x110011005x112200003311555x110011004x112200003311554x120011000x122200003311550x120011001x122200003311551x120011002x122200003311552x120011003x122200003311553x120011005x122200003311555x120011004x122200003311554x130011000x132200003311550x130011001x132200003311551x130011002x132200003311552x130011003x132200003311553x130011005x132200003311555x130011004x132200003311554x140011000x142200003311550x140011001x142200003311551x140011002x142200003311552x140011003x142200003311553x140011005x142200003311555x140011004x142200003311554x150011000x152200003311550x150011001x152200003311551x150011002x152200003311552x150011003x152200003311553x150011005x152200003311555x150011004x152200003311554x10001100000x1011330000000x10001100001x1011330000001x10001100002x1011330000002x10001100003x1011330000003x10001100005x1011330000005x10001100004x1011330000004x11001100000x1111330000000x11001100001x1111330000001x11001100002x1111330000002x11001100003x1111330000003x11001100005x1111330000005x11001100004x1111330000004x12001100000x1211330000000x12001100001x1211330000001x12001100002x1211330000002x12001100003x1211330000003x12001100005x1211330000005x12001100004x1211330000004x13001100000x1311330000000x13001100001x1311330000001x13001100002x1311330000002x13001100003x1311330000003x13001100005x1311330000005x13001100004x1311330000004x14001100000x1411330000000x14001100001x1411330000001x14001100002x1411330000002x14001100003x1411330000003x14001100005x1411330000005x14001100004x1411330000004x15001100000x1511330000000x15001100001x1511330000001x15001100002x1511330000002x15001100003x1511330000003x15001100005x1511330000005x15001100004x1511330000004x10001100000x101133110000000x10001100001x101133110000001x10001100002x101133110000002x10001100003x101133110000003x10001100005x101133110000005x10001100004x101133110000004x11001100000x111133110000000x11001100001x111133110000001x11001100002x111133110000002x11001100003x111133110000003x11001100005x111133110000005x11001100004x111133110000004x12001100000x121133110000000x12001100001x121133110000001x12001100002x121133110000002x12001100003x121133110000003x12001100005x121133110000005x12001100004x121133110000004x13001100000x131133110000000x13001100001x131133110000001x13001100002x131133110000002x13001100003x131133110000003x13001100005x131133110000005x13001100004x131133110000004x14001100000x141133110000000x14001100001x141133110000001x14001100002x141133110000002x14001100003x141133110000003x14001100005x141133110000005x14001100004x141133110000004x15001100000x151133110000000x15001100001x151133110000001x15001100002x151133110000002x15001100003x151133110000003x15001100005x151133110000005x15001100004x151133110000004x10001100000x102211005500000x10001100001x102211005500001x10001100002x102211005500002x10001100003x102211005500003x10001100005x102211005500005x10001100004x102211005500004x11001100000x112211005500000x11001100001x112211005500001x11001100002x112211005500002x11001100003x112211005500003x11001100005x112211005500005x11001100004x112211005500004x12001100000x122211005500000x12001100001x122211005500001x12001100002x122211005500002x12001100003x122211005500003x12001100005x122211005500005x12001100004x122211005500004x13001100000x132211005500000x13001100001x132211005500001x13001100002x132211005500002x13001100003x132211005500003x13001100005x132211005500005x13001100004x132211005500004x14001100000x142211005500000x14001100001x142211005500001x14001100002x142211005500002x14001100003x142211005500003x14001100005x142211005500005x14001100004x142211005500004x15001100000x152211005500000x15001100001x152211005500001x15001100002x152211005500002x15001100003x152211005500003x15001100005x152211005500005x15001100004x152211005500004x10000011000x104422110000000x10000011001x104422110000001x10000011002x104422110000002x10000011003x104422110000003x10000011005x104422110000005x10000011004x104422110000004x11000011000x114422110000000x11000011001x114422110000001x11000011002x114422110000002x11000011003x114422110000003x11000011005x114422110000005x11000011004x114422110000004x12000011000x124422110000000x12000011001x124422110000001x12000011002x124422110000002x12000011003x124422110000003x12000011005x124422110000005x12000011004x124422110000004x13000011000x134422110000000x13000011001x134422110000001x13000011002x134422110000002x13000011003x134422110000003x13000011005x134422110000005x13000011004x134422110000004x14000011000x144422110000000x14000011001x144422110000001x14000011002x144422110000002x14000011003x144422110000003x14000011005x144422110000005x14000011004x144422110000004x15000011000x154422110000000x15000011001x154422110000001x15000011002x154422110000002x15000011003x154422110000003x15000011005x154422110000005x15000011004x154422110000004x10000011000x104400003311000x10000011001x104400003311001x10000011002x104400003311002x10000011003x104400003311003x10000011005x104400003311005x10000011004x104400003311004x11000011000x114400003311000x11000011001x114400003311001x11000011002x114400003311002x11000011003x114400003311003x11000011005x114400003311005x11000011004x114400003311004x12000011000x124400003311000x12000011001x124400003311001x12000011002x124400003311002x12000011003x124400003311003x12000011005x124400003311005x12000011004x124400003311004x13000011000x134400003311000x13000011001x134400003311001x13000011002x134400003311002x13000011003x134400003311003x13000011005x134400003311005x13000011004x134400003311004x14000011000x144400003311000x14000011001x144400003311001x14000011002x144400003311002x14000011003x144400003311003x14000011005x144400003311005x14000011004x144400003311004x15000011000x154400003311000x15000011001x154400003311001x15000011002x154400003311002x15000011003x154400003311003x15000011005x154400003311005x15000011004x154400003311004x10440011000x1022441100000x10440011001x1022441100001x10440011002x1022441100002x10440011003x1022441100003x10440011005x1022441100005x10440011004x1022441100004x11440011000x1122441100000x11440011001x1122441100001x11440011002x1122441100002x11440011003x1122441100003x11440011005x1122441100005x11440011004x1122441100004x12440011000x1222441100000x12440011001x1222441100001x12440011002x1222441100002x12440011003x1222441100003x12440011005x1222441100005x12440011004x1222441100004x13440011000x1322441100000x13440011001x1322441100001x13440011002x1322441100002x13440011003x1322441100003x13440011005x1322441100005x13440011004x1322441100004x14440011000x1422441100000x14440011001x1422441100001x14440011002x1422441100002x14440011003x1422441100003x14440011005x1422441100005x14440011004x1422441100004x15440011000x1522441100000x15440011001x1522441100001x15440011002x1522441100002x15440011003x1522441100003x15440011005x1522441100005x15440011004x1522441100004x10440011000x1022114400000x10440011001x1022114400001x10440011002x1022114400002x10440011003x1022114400003x10440011005x1022114400005x10440011004x1022114400004x11440011000x1122114400000x11440011001x1122114400001x11440011002x1122114400002x11440011003x1122114400003x11440011005x1122114400005x11440011004x1122114400004x12440011000x1222114400000x12440011001x1222114400001x12440011002x1222114400002x12440011003x1222114400003x12440011005x1222114400005x12440011004x1222114400004x13440011000x1322114400000x13440011001x1322114400001x13440011002x1322114400002x13440011003x1322114400003x13440011005x1322114400005x13440011004x1322114400004x14440011000x1422114400000x14440011001x1422114400001x14440011002x1422114400002x14440011003x1422114400003x14440011005x1422114400005x14440011004x1422114400004x15440011000x1522114400000x15440011001x1522114400001x15440011002x1522114400002x15440011003x1522114400003x15440011005x1522114400005x15440011004x1522114400004x10440011000x102244115500000x10440011001x102244115500001x10440011002x102244115500002x10440011003x102244115500003x10440011005x102244115500005x10440011004x102244115500004x11440011000x112244115500000x11440011001x112244115500001x11440011002x112244115500002x11440011003x112244115500003x11440011005x112244115500005x11440011004x112244115500004x12440011000x122244115500000x12440011001x122244115500001x12440011002x122244115500002x12440011003x122244115500003x12440011005x122244115500005x12440011004x122244115500004x13440011000x132244115500000x13440011001x132244115500001x13440011002x132244115500002x13440011003x132244115500003x13440011005x132244115500005x13440011004x132244115500004x14440011000x142244115500000x14440011001x142244115500001x14440011002x142244115500002x14440011003x142244115500003x14440011005x142244115500005x14440011004x142244115500004x15440011000x152244115500000x15440011001x152244115500001x15440011002x152244115500002x15440011003x152244115500003x15440011005x152244115500005x15440011004x152244115500004x10440011000x100055440022110x10440011001x100055440022111x10440011002x100055440022112x10440011003x100055440022113x10440011005x100055440022115x10440011004x100055440022114x11440011000x110055440022110x11440011001x110055440022111x11440011002x110055440022112x11440011003x110055440022113x11440011005x110055440022115x11440011004x110055440022114x12440011000x120055440022110x12440011001x120055440022111x12440011002x120055440022112x12440011003x120055440022113x12440011005x120055440022115x12440011004x120055440022114x13440011000x130055440022110x13440011001x130055440022111x13440011002x130055440022112x13440011003x130055440022113x13440011005x130055440022115x13440011004x130055440022114x14440011000x140055440022110x14440011001x140055440022111x14440011002x140055440022112x14440011003x140055440022113x14440011005x140055440022115x14440011004x140055440022114x15440011000x150055440022110x15440011001x150055440022111x15440011002x150055440022112x15440011003x150055440022113x15440011005x150055440022115x15440011004x150055440022114x10440011000x100022004444110x10440011001x100022004444111x10440011002x100022004444112x10440011003x100022004444113x10440011005x100022004444115x10440011004x100022004444114x11440011000x110022004444110x11440011001x110022004444111x11440011002x110022004444112x11440011003x110022004444113x11440011005x110022004444115x11440011004x110022004444114x12440011000x120022004444110x12440011001x120022004444111x12440011002x120022004444112x12440011003x120022004444113x12440011005x120022004444115x12440011004x120022004444114x13440011000x130022004444110x13440011001x130022004444111x13440011002x130022004444112x13440011003x130022004444113x13440011005x130022004444115x13440011004x130022004444114x14440011000x140022004444110x14440011001x140022004444111x14440011002x140022004444112x14440011003x140022004444113x14440011005x140022004444115x14440011004x140022004444114x15440011000x150022004444110x15440011001x150022004444111x15440011002x150022004444112x15440011003x150022004444113x15440011005x150022004444115x15440011004x150022004444114x10001111000x104422111100000x10001111001x104422111100001x10001111002x104422111100002x10001111003x104422111100003x10001111005x104422111100005x10001111004x104422111100004x11001111000x114422111100000x11001111001x114422111100001x11001111002x114422111100002x11001111003x114422111100003x11001111005x114422111100005x11001111004x114422111100004x12001111000x124422111100000x12001111001x124422111100001x12001111002x124422111100002x12001111003x124422111100003x12001111005x124422111100005x12001111004x124422111100004x13001111000x134422111100000x13001111001x134422111100001x13001111002x134422111100002x13001111003x134422111100003x13001111005x134422111100005x13001111004x134422111100004x14001111000x144422111100000x14001111001x144422111100001x14001111002x144422111100002x14001111003x144422111100003x14001111005x144422111100005x14001111004x144422111100004x15001111000x154422111100000x15001111001x154422111100001x15001111002x154422111100002x15001111003x154422111100003x15001111005x154422111100005x15001111004x154422111100004x10001111000x101133550011000x10001111001x101133550011001x10001111002x101133550011002x10001111003x101133550011003x10001111005x101133550011005x10001111004x101133550011004x11001111000x111133550011000x11001111001x111133550011001x11001111002x111133550011002x11001111003x111133550011003x11001111005x111133550011005x11001111004x111133550011004x12001111000x121133550011000x12001111001x121133550011001x12001111002x121133550011002x12001111003x121133550011003x12001111005x121133550011005x12001111004x121133550011004x13001111000x131133550011000x13001111001x131133550011001x13001111002x131133550011002x13001111003x131133550011003x13001111005x131133550011005x13001111004x131133550011004x14001111000x141133550011000x14001111001x141133550011001x14001111002x141133550011002x14001111003x141133550011003x14001111005x141133550011005x14001111004x141133550011004x15001111000x151133550011000x15001111001x151133550011001x15001111002x151133550011002x15001111003x151133550011003x15001111005x151133550011005x15001111004x151133550011004x10001111000x101144110022000x10001111001x101144110022001x10001111002x101144110022002x10001111003x101144110022003x10001111005x101144110022005x10001111004x101144110022004x11001111000x111144110022000x11001111001x111144110022001x11001111002x111144110022002x11001111003x111144110022003x11001111005x111144110022005x11001111004x111144110022004x12001111000x121144110022000x12001111001x121144110022001x12001111002x121144110022002x12001111003x121144110022003x12001111005x121144110022005x12001111004x121144110022004x13001111000x131144110022000x13001111001x131144110022001x13001111002x131144110022002x13001111003x131144110022003x13001111005x131144110022005x13001111004x131144110022004x14001111000x141144110022000x14001111001x141144110022001x14001111002x141144110022002x14001111003x141144110022003x14001111005x141144110022005x14001111004x141144110022004x15001111000x151144110022000x15001111001x151144110022001x15001111002x151144110022002x15001111003x151144110022003x15001111005x151144110022005x15001111004x151144110022004x10001111000x101111220055000x10001111001x101111220055001x10001111002x101111220055002x10001111003x101111220055003x10001111005x101111220055005x10001111004x101111220055004x11001111000x111111220055000x11001111001x111111220055001x11001111002x111111220055002x11001111003x111111220055003x11001111005x111111220055005x11001111004x111111220055004x12001111000x121111220055000x12001111001x121111220055001x12001111002x121111220055002x12001111003x121111220055003x12001111005x121111220055005x12001111004x121111220055004x13001111000x131111220055000x13001111001x131111220055001x13001111002x131111220055002x13001111003x131111220055003x13001111005x131111220055005x13001111004x131111220055004x14001111000x141111220055000x14001111001x141111220055001x14001111002x141111220055002x14001111003x141111220055003x14001111005x141111220055005x14001111004x141111220055004x15001111000x151111220055000x15001111001x151111220055001x15001111002x151111220055002x15001111003x151111220055003x15001111005x151111220055005x15001111004x151111220055004x10001111000x101122000022110x10001111001x101122000022111x10001111002x101122000022112x10001111003x101122000022113x10001111005x101122000022115x10001111004x101122000022114x11001111000x111122000022110x11001111001x111122000022111x11001111002x111122000022112x11001111003x111122000022113x11001111005x111122000022115x11001111004x111122000022114x12001111000x121122000022110x12001111001x121122000022111x12001111002x121122000022112x12001111003x121122000022113x12001111005x121122000022115x12001111004x121122000022114x13001111000x131122000022110x13001111001x131122000022111x13001111002x131122000022112x13001111003x131122000022113x13001111005x131122000022115x13001111004x131122000022114x14001111000x141122000022110x14001111001x141122000022111x14001111002x141122000022112x14001111003x141122000022113x14001111005x141122000022115x14001111004x141122000022114x15001111000x151122000022110x15001111001x151122000022111x15001111002x151122000022112x15001111003x151122000022113x15001111005x151122000022115x15001111004x151122000022114x10001111000x101122000011220x10001111001x101122000011221x10001111002x101122000011222x10001111003x101122000011223x10001111005x101122000011225x10001111004x101122000011224x11001111000x111122000011220x11001111001x111122000011221x11001111002x111122000011222x11001111003x111122000011223x11001111005x111122000011225x11001111004x111122000011224x12001111000x121122000011220x12001111001x121122000011221x12001111002x121122000011222x12001111003x121122000011223x12001111005x121122000011225x12001111004x121122000011224x13001111000x131122000011220x13001111001x131122000011221x13001111002x131122000011222x13001111003x131122000011223x13001111005x131122000011225x13001111004x131122000011224x14001111000x141122000011220x14001111001x141122000011221x14001111002x141122000011222x14001111003x141122000011223x14001111005x141122000011225x14001111004x141122000011224x15001111000x151122000011220x15001111001x151122000011221x15001111002x151122000011222x15001111003x151122000011223x15001111005x151122000011225x15001111004x151122000011224x10001111000x101100002211220x10001111001x101100002211221x10001111002x101100002211222x10001111003x101100002211223x10001111005x101100002211225x10001111004x101100002211224x11001111000x111100002211220x11001111001x111100002211221x11001111002x111100002211222x11001111003x111100002211223x11001111005x111100002211225x11001111004x111100002211224x12001111000x121100002211220x12001111001x121100002211221x12001111002x121100002211222x12001111003x121100002211223x12001111005x121100002211225x12001111004x121100002211224x13001111000x131100002211220x13001111001x131100002211221x13001111002x131100002211222x13001111003x131100002211223x13001111005x131100002211225x13001111004x131100002211224x14001111000x141100002211220x14001111001x141100002211221x14001111002x141100002211222x14001111003x141100002211223x14001111005x141100002211225x14001111004x141100002211224x15001111000x151100002211220x15001111001x151100002211221x15001111002x151100002211222x15001111003x151100002211223x15001111005x151100002211225x15001111004x151100002211224x10001144000x1022114400000x10001144001x1022114400001x10001144002x1022114400002x10001144003x1022114400003x10001144005x1022114400005x10001144004x1022114400004x11001144000x1122114400000x11001144001x1122114400001x11001144002x1122114400002x11001144003x1122114400003x11001144005x1122114400005x11001144004x1122114400004x12001144000x1222114400000x12001144001x1222114400001x12001144002x1222114400002x12001144003x1222114400003x12001144005x1222114400005x12001144004x1222114400004x13001144000x1322114400000x13001144001x1322114400001x13001144002x1322114400002x13001144003x1322114400003x13001144005x1322114400005x13001144004x1322114400004x14001144000x1422114400000x14001144001x1422114400001x14001144002x1422114400002x14001144003x1422114400003x14001144005x1422114400005x14001144004x1422114400004x15001144000x1522114400000x15001144001x1522114400001x15001144002x1522114400002x15001144003x1522114400003x15001144005x1522114400005x15001144004x1522114400004x10001144000x104422114400000x10001144001x104422114400001x10001144002x104422114400002x10001144003x104422114400003x10001144005x104422114400005x10001144004x104422114400004x11001144000x114422114400000x11001144001x114422114400001x11001144002x114422114400002x11001144003x114422114400003x11001144005x114422114400005x11001144004x114422114400004x12001144000x124422114400000x12001144001x124422114400001x12001144002x124422114400002x12001144003x124422114400003x12001144005x124422114400005x12001144004x124422114400004x13001144000x134422114400000x13001144001x134422114400001x13001144002x134422114400002x13001144003x134422114400003x13001144005x134422114400005x13001144004x134422114400004x14001144000x144422114400000x14001144001x144422114400001x14001144002x144422114400002x14001144003x144422114400003x14001144005x144422114400005x14001144004x144422114400004x15001144000x154422114400000x15001144001x154422114400001x15001144002x154422114400002x15001144003x154422114400003x15001144005x154422114400005x15001144004x154422114400004x10001144000x102244110033000x10001144001x102244110033001x10001144002x102244110033002x10001144003x102244110033003x10001144005x102244110033005x10001144004x102244110033004x11001144000x112244110033000x11001144001x112244110033001x11001144002x112244110033002x11001144003x112244110033003x11001144005x112244110033005x11001144004x112244110033004x12001144000x122244110033000x12001144001x122244110033001x12001144002x122244110033002x12001144003x122244110033003x12001144005x122244110033005x12001144004x122244110033004x13001144000x132244110033000x13001144001x132244110033001x13001144002x132244110033002x13001144003x132244110033003x13001144005x132244110033005x13001144004x132244110033004x14001144000x142244110033000x14001144001x142244110033001x14001144002x142244110033002x14001144003x142244110033003x14001144005x142244110033005x14001144004x142244110033004x15001144000x152244110033000x15001144001x152244110033001x15001144002x152244110033002x15001144003x152244110033003x15001144005x152244110033005x15001144004x152244110033004x10004455000x104444110000550x10004455001x104444110000551x10004455002x104444110000552x10004455003x104444110000553x10004455005x104444110000555x10004455004x104444110000554x11004455000x114444110000550x11004455001x114444110000551x11004455002x114444110000552x11004455003x114444110000553x11004455005x114444110000555x11004455004x114444110000554x12004455000x124444110000550x12004455001x124444110000551x12004455002x124444110000552x12004455003x124444110000553x12004455005x124444110000555x12004455004x124444110000554x13004455000x134444110000550x13004455001x134444110000551x13004455002x134444110000552x13004455003x134444110000553x13004455005x134444110000555x13004455004x134444110000554x14004455000x144444110000550x14004455001x144444110000551x14004455002x144444110000552x14004455003x144444110000553x14004455005x144444110000555x14004455004x144444110000554x15004455000x154444110000550x15004455001x154444110000551x15004455002x154444110000552x15004455003x154444110000553x15004455005x154444110000555x15004455004x154444110000554x1044440011000x103311444400000x1044440011001x103311444400001x1044440011002x103311444400002x1044440011003x103311444400003x1044440011005x103311444400005x1044440011004x103311444400004x1144440011000x113311444400000x1144440011001x113311444400001x1144440011002x113311444400002x1144440011003x113311444400003x1144440011005x113311444400005x1144440011004x113311444400004x1244440011000x123311444400000x1244440011001x123311444400001x1244440011002x123311444400002x1244440011003x123311444400003x1244440011005x123311444400005x1244440011004x123311444400004x1344440011000x133311444400000x1344440011001x133311444400001x1344440011002x133311444400002x1344440011003x133311444400003x1344440011005x133311444400005x1344440011004x133311444400004x1444440011000x143311444400000x1444440011001x143311444400001x1444440011002x143311444400002x1444440011003x143311444400003x1444440011005x143311444400005x1444440011004x143311444400004x1544440011000x153311444400000x1544440011001x153311444400001x1544440011002x153311444400002x1544440011003x153311444400003x1544440011005x153311444400005x1544440011004x153311444400004x1044440011000x100033114444000x1044440011001x100033114444001x1044440011002x100033114444002x1044440011003x100033114444003x1044440011005x100033114444005x1044440011004x100033114444004x1144440011000x110033114444000x1144440011001x110033114444001x1144440011002x110033114444002x1144440011003x110033114444003x1144440011005x110033114444005x1144440011004x110033114444004x1244440011000x120033114444000x1244440011001x120033114444001x1244440011002x120033114444002x1244440011003x120033114444003x1244440011005x120033114444005x1244440011004x120033114444004x1344440011000x130033114444000x1344440011001x130033114444001x1344440011002x130033114444002x1344440011003x130033114444003x1344440011005x130033114444005x1344440011004x130033114444004x1444440011000x140033114444000x1444440011001x140033114444001x1444440011002x140033114444002x1444440011003x140033114444003x1444440011005x140033114444005x1444440011004x140033114444004x1544440011000x150033114444000x1544440011001x150033114444001x1544440011002x150033114444002x1544440011003x150033114444003x1544440011005x150033114444005x1544440011004x150033114444004x1044440011000x100000444411330x1044440011001x100000444411331x1044440011002x100000444411332x1044440011003x100000444411333x1044440011005x100000444411335x1044440011004x100000444411334x1144440011000x110000444411330x1144440011001x110000444411331x1144440011002x110000444411332x1144440011003x110000444411333x1144440011005x110000444411335x1144440011004x110000444411334x1244440011000x120000444411330x1244440011001x120000444411331x1244440011002x120000444411332x1244440011003x120000444411333x1244440011005x120000444411335x1244440011004x120000444411334x1344440011000x130000444411330x1344440011001x130000444411331x1344440011002x130000444411332x1344440011003x130000444411333x1344440011005x130000444411335x1344440011004x130000444411334x1444440011000x140000444411330x1444440011001x140000444411331x1444440011002x140000444411332x1444440011003x140000444411333x1444440011005x140000444411335x1444440011004x140000444411334x1544440011000x150000444411330x1544440011001x150000444411331x1544440011002x150000444411332x1544440011003x150000444411333x1544440011005x150000444411335x1544440011004x150000444411334x1000111111000x101122111100000x1000111111001x101122111100001x1000111111002x101122111100002x1000111111003x101122111100003x1000111111005x101122111100005x1000111111004x101122111100004x1100111111000x111122111100000x1100111111001x111122111100001x1100111111002x111122111100002x1100111111003x111122111100003x1100111111005x111122111100005x1100111111004x111122111100004x1200111111000x121122111100000x1200111111001x121122111100001x1200111111002x121122111100002x1200111111003x121122111100003x1200111111005x121122111100005x1200111111004x121122111100004x1300111111000x131122111100000x1300111111001x131122111100001x1300111111002x131122111100002x1300111111003x131122111100003x1300111111005x131122111100005x1300111111004x131122111100004x1400111111000x141122111100000x1400111111001x141122111100001x1400111111002x141122111100002x1400111111003x141122111100003x1400111111005x141122111100005x1400111111004x141122111100004x1500111111000x151122111100000x1500111111001x151122111100001x1500111111002x151122111100002x1500111111003x151122111100003x1500111111005x151122111100005x1500111111004x151122111100004x1000110033000x101133000055000x1000110033001x101133000055001x1000110033002x101133000055002x1000110033003x101133000055003x1000110033005x101133000055005x1000110033004x101133000055004x1100110033000x111133000055000x1100110033001x111133000055001x1100110033002x111133000055002x1100110033003x111133000055003x1100110033005x111133000055005x1100110033004x111133000055004x1200110033000x121133000055000x1200110033001x121133000055001x1200110033002x121133000055002x1200110033003x121133000055003x1200110033005x121133000055005x1200110033004x121133000055004x1300110033000x131133000055000x1300110033001x131133000055001x1300110033002x131133000055002x1300110033003x131133000055003x1300110033005x131133000055005x1300110033004x131133000055004x1400110033000x141133000055000x1400110033001x141133000055001x1400110033002x141133000055002x1400110033003x141133000055003x1400110033005x141133000055005x1400110033004x141133000055004x1500110033000x151133000055000x1500110033001x151133000055001x1500110033002x151133000055002x1500110033003x151133000055003x1500110033005x151133000055005x1500110033004x151133000055004x1000114444000x104422114400000x1000114444001x104422114400001x1000114444002x104422114400002x1000114444003x104422114400003x1000114444005x104422114400005x1000114444004x104422114400004x1100114444000x114422114400000x1100114444001x114422114400001x1100114444002x114422114400002x1100114444003x114422114400003x1100114444005x114422114400005x1100114444004x114422114400004x1200114444000x124422114400000x1200114444001x124422114400001x1200114444002x124422114400002x1200114444003x124422114400003x1200114444005x124422114400005x1200114444004x124422114400004x1300114444000x134422114400000x1300114444001x134422114400001x1300114444002x134422114400002x1300114444003x134422114400003x1300114444005x134422114400005x1300114444004x134422114400004x1400114444000x144422114400000x1400114444001x144422114400001x1400114444002x144422114400002x1400114444003x144422114400003x1400114444005x144422114400005x1400114444004x144422114400004x1500114444000x154422114400000x1500114444001x154422114400001x1500114444002x154422114400002x1500114444003x154422114400003x1500114444005x154422114400005x1500114444004x154422114400004x1000115544000x102211445500000x1000115544001x102211445500001x1000115544002x102211445500002x1000115544003x102211445500003x1000115544005x102211445500005x1000115544004x102211445500004x1100115544000x112211445500000x1100115544001x112211445500001x1100115544002x112211445500002x1100115544003x112211445500003x1100115544005x112211445500005x1100115544004x112211445500004x1200115544000x122211445500000x1200115544001x122211445500001x1200115544002x122211445500002x1200115544003x122211445500003x1200115544005x122211445500005x1200115544004x122211445500004x1300115544000x132211445500000x1300115544001x132211445500001x1300115544002x132211445500002x1300115544003x132211445500003x1300115544005x132211445500005x1300115544004x132211445500004x1400115544000x142211445500000x1400115544001x142211445500001x1400115544002x142211445500002x1400115544003x142211445500003x1400115544005x142211445500005x1400115544004x142211445500004x1500115544000x152211445500000x1500115544001x152211445500001x1500115544002x152211445500002x1500115544003x152211445500003x1500115544005x152211445500005x1500115544004x152211445500004x1000444455000x102200554400440x1000444455001x102200554400441x1000444455002x102200554400442x1000444455003x102200554400443x1000444455005x102200554400445x1000444455004x102200554400444x1100444455000x112200554400440x1100444455001x112200554400441x1100444455002x112200554400442x1100444455003x112200554400443x1100444455005x112200554400445x1100444455004x112200554400444x1200444455000x122200554400440x1200444455001x122200554400441x1200444455002x122200554400442x1200444455003x122200554400443x1200444455005x122200554400445x1200444455004x122200554400444x1300444455000x132200554400440x1300444455001x132200554400441x1300444455002x132200554400442x1300444455003x132200554400443x1300444455005x132200554400445x1300444455004x132200554400444x1400444455000x142200554400440x1400444455001x142200554400441x1400444455002x142200554400442x1400444455003x142200554400443x1400444455005x142200554400445x1400444455004x142200554400444x1500444455000x152200554400440x1500444455001x152200554400441x1500444455002x152200554400442x1500444455003x152200554400443x1500444455005x152200554400445x1500444455004x152200554400444x1101111410111200111202111211110311105111041112311111111121211113111151111411154111411112011130111140111501112211132111521112411134111251115111123111331113511142111431111451112441115311155111011000x1000221111110x1011002x1000221111112x1011003x1000221111113x1011005x1000221111115x1011000x1000331111110x1011002x1000331111112x1011003x1000331111113x1011005x1000331111115x1011002x1044220011222x1011003x1044220011223x1011005x1044220011225x101155005x1000551133445x100011002x101122110000222x100011003x101122110000223x100011005x101122110000225x120011005x122211000022445x140011005x142211000022445x150011005x152211000022445x120011002x122211110000552x120011003x122211110000553x120011005x122211110000555x140011002x142211110000552x140011003x142211110000553x140011005x142211110000555x150011002x152211110000552x150011003x152211110000553x150011005x152211110000555x10001100000x101133110000000x10001100001x101133110000001x10001100002x101133110000002x10001100003x101133110000003x10001100005x101133110000005x10001100004x101133110000004x10001111000x101133550011000x10001111001x101133550011001x10001111002x101133550011002x10001111003x101133550011003x10001111005x101133550011005x10001111004x101133550011004x10001111002x101122000011222x10001111003x101122000011223x10001111005x101122000011225x10004455002x104444110000552x10004455003x104444110000553x10004455005x104444110000555x12004455002x124444110000552x12004455003x124444110000553x12004455005x124444110000555x14004455002x144444110000552x14004455003x144444110000553x14004455005x144444110000555x15004455002x154444110000552x15004455003x154444110000553x15004455005x154444110000555x1144440011002x110000444411332x1144440011003x110000444411333x1144440011005x110000444411335x1200115544000x122211445500000x1200115544001x122211445500001x1200115544002x122211445500002x1200115544003x122211445500003x1200115544005x122211445500005x1200115544004x122211445500004x1400115544000x142211445500000x1400115544001x142211445500001x1400115544002x142211445500002x1400115544003x142211445500003x1400115544005x142211445500005x1400115544004x142211445500004x1500115544000x152211445500000x1500115544001x152211445500001x1500115544002x152211445500002x1500115544003x152211445500003x1500115544005x152211445500005x1500115544004x152211445500004x1200444455005x122200554400445x1400444455005x142200554400445x1500444455005x152200554400445x1011000x1000221111110x1011002x1000221111112x1011003x1000221111113x1011005x1000221111115x1011000x1000331111110x1011002x1000331111112x1011003x1000331111113x1011005x1000331111115x1011002x120011222x1011002x1011222x1011003x120011223x1011003x1011223x1011005x120011225x1011005x1011225x101155005x1000551133445x100011002x101122110000222x100011002x1000222x100011003x101122110000223x100011003x1000223x100011005x101122110000225x100011005x1000225x120011005x100022445x140011005x100022445x150011005x100022445x120011002x1000552x120011003x1000553x120011005x1000555x140011002x1000552x140011003x1000553x140011005x1000555x150011002x1000552x150011003x1000553x150011005x1000555x10001100000x101133110000000x10001100000x1000000x10001100001x101133110000001x10001100001x1000001x10001100002x101133110000002x10001100002x1000002x10001100003x101133110000003x10001100003x1000003x10001100005x101133110000005x10001100005x1000005x10001100004x101133110000004x10001100004x1000004x10001111000x101133550011000x10001111000x150011000x10001111000x1011000x10001111001x101133550011001x10001111001x150011001x10001111001x1011001x10001111002x101133550011002x10001111002x150011002x10001111002x1011002x10001111003x101133550011003x10001111003x150011003x10001111003x1011003x10001111005x101133550011005x10001111005x150011005x10001111005x1011005x10001111004x101133550011004x10001111004x150011004x10001111004x1011004x10001111002x101122000011222x10001111002x12000011222x10001111002x100011222x10001111002x1011222x10001111003x101122000011223x10001111003x12000011223x10001111003x100011223x10001111003x1011223x10001111005x101122000011225x10001111005x12000011225x10001111005x100011225x10001111005x1011225x10004455002x1000552x10004455003x1000553x10004455005x1000555x12004455002x1000552x12004455003x1000553x12004455005x1000555x14004455002x1000552x14004455003x1000553x14004455005x1000555x15004455002x1000552x15004455003x1000553x15004455005x1000555x1144440011002x1000444411332x1144440011003x1000444411333x1144440011005x1000444411335x1200115544000x11445500000x1200115544000x1500000x1200115544000x10000x1200115544001x11445500001x1200115544001x1500001x1200115544001x10001x1200115544002x11445500002x1200115544002x1500002x1200115544002x10002x1200115544003x11445500003x1200115544003x1500003x1200115544003x10003x1200115544005x11445500005x1200115544005x1500005x1200115544005x10005x1200115544004x11445500004x1200115544004x1500004x1200115544004x10004x1400115544000x11445500000x1400115544000x1500000x1400115544000x10000x1400115544001x11445500001x1400115544001x1500001x1400115544001x10001x1400115544002x11445500002x1400115544002x1500002x1400115544002x10002x1400115544003x11445500003x1400115544003x1500003x1400115544003x10003x1400115544005x11445500005x1400115544005x1500005x1400115544005x10005x1400115544004x11445500004x1400115544004x1500004x1400115544004x10004x1500115544000x11445500000x1500115544000x1500000x1500115544000x10000x1500115544001x11445500001x1500115544001x1500001x1500115544001x10001x1500115544002x11445500002x1500115544002x1500002x1500115544002x10002x1500115544003x11445500003x1500115544003x1500003x1500115544003x10003x1500115544005x11445500005x1500115544005x1500005x1500115544005x10005x1500115544004x11445500004x1500115544004x1500004x1500115544004x10004x1200444455005x1200554400445x1200444455005x1400445x1400444455005x1200554400445x1400444455005x1400445x1500444455005x1200554400445x1500444455005x1400445x1true200115544000x1500000x1false200115544001x1500001x1false200115544004x1500004x1false400115544000x1500000x1false400115544001x1500001x1false400115544004x1500004x1false500115544000x10000x1false200115544000x10000x1false200115544001x10001x1false400115544000x10000x1false400115544001x10001x1false500115544001x10001x1false0001100001x1000001x10001100000x1000000x10001100004x1000004x1true10011104111451115011102111441114111110111051115211103111531115511101111121112111122111231112511113111311111111135111201111511142111241115411140111141115111134111001110001100001x1000001x10001100000x1000000x10001100004x1000004x10004455002x104444110000552x10004455003x104444110000553x10004455005x104444110000555x100011002x101122110000222x100011003x101122110000223x100011005x101122110000225x10001100000x101133110000000x10001100001x101133110000001x10001100002x101133110000002x10001100003x101133110000003x10001100005x101133110000005x10001100004x101133110000004x10001111000x101133550011000x10001111001x101133550011001x10001111002x101133550011002x10001111003x101133550011003x10001111005x101133550011005x10001111004x101133550011004x10001111002x101122000011222x10001111003x101122000011223x10001111005x101122000011225x1011005x1000221111115x1011005x1000331111115x1011005x1044220011225x150011005x152211000022445x150011002x152211110000552x150011003x152211110000553x150011005x152211110000555x15004455002x154444110000552x15004455003x154444110000553x15004455005x154444110000555x1500115544000x152211445500000x1500115544001x152211445500001x1500115544002x152211445500002x1500115544003x152211445500003x1500115544005x152211445500005x1500115544004x152211445500004x1500444455005x152200554400445x14004455002x144444110000552x14004455003x144444110000553x14004455005x144444110000555x1011000x1000221111110x1011002x1000221111112x1011003x1000221111113x1011000x1000331111110x1011002x1000331111112x1011003x1000331111113x1011002x1044220011222x1011003x1044220011223x101155005x1000551133445x10004455002x104444110000552x10004455003x104444110000553x10004455005x104444110000555x100011002x101122110000222x100011003x101122110000223x100011005x101122110000225x10001100000x101133110000000x10001100001x101133110000001x10001100002x101133110000002x10001100003x101133110000003x10001100005x101133110000005x10001100004x101133110000004x10001111000x101133550011000x10001111001x101133550011001x10001111002x101133550011002x10001111003x101133550011003x10001111005x101133550011005x10001111004x101133550011004x10001111002x101122000011222x10001111003x101122000011223x10001111005x101122000011225x1011005x1000221111115x1011005x1000331111115x1011005x1044220011225x150011005x152211000022445x150011002x152211110000552x150011003x152211110000553x150011005x152211110000555x15004455002x154444110000552x15004455003x154444110000553x15004455005x154444110000555x1500115544000x152211445500000x1500115544001x152211445500001x1500115544002x152211445500002x1500115544003x152211445500003x1500115544005x152211445500005x1500115544004x152211445500004x1500444455005x152200554400445x14004455002x144444110000552x14004455003x144444110000553x14004455005x144444110000555x1011000x1000221111110x1011002x1000221111112x1011003x1000221111113x1011000x1000331111110x1011002x1000331111112x1011003x1000331111113x1011002x1044220011222x1011003x1044220011223x101155005x1000551133445x10001100001x1000001x1false0001100000x1000000x1false0001100004x1000004x1false0001111000x150011000x1false0001111001x150011001x1false0001111002x150011002x1false0001111003x150011003x1false0001111005x150011005x1false500115544000x1500000x1false500115544001x1500001x1false500115544004x1500004x1false0001111002x1011002x1false0001111003x1011003x1false0001111000x1011000x1false0001111001x1011001x1false0001111005x1011005x1false200115544004x10004x1false400115544004x10004x1false500115544004x10004x1false200444455005x1400445x1false400444455005x1400445x1false500444455005x1400445x1false011000x1000221111110x1false011002x1000221111112x1false011003x1000221111113x1false011005x1000221111115x1false011000x1000331111110x1false011002x1000331111112x1false011003x1000331111113x1false011005x1000331111115x1false011002x120011222x1false011002x1011222x1false011003x120011223x1false011003x1011223x1false011005x120011225x1false011005x1011225x1false01155005x1000551133445x1false00011002x101122110000222x1false00011002x1000222x1false00011003x101122110000223x1false00011003x1000223x1false00011005x101122110000225x1false00011005x1000225x1false20011005x100022445x1false40011005x100022445x1false50011005x100022445x1false20011002x1000552x1false20011003x1000553x1false20011005x1000555x1false40011002x1000552x1false40011003x1000553x1false40011005x1000555x1false50011002x1000552x1false50011003x1000553x1false50011005x1000555x1false0001100000x101133110000000x1false0001100001x101133110000001x1false0001100002x101133110000002x1false0001100002x1000002x1false0001100003x101133110000003x1false0001100003x1000003x1false0001100005x101133110000005x1false0001100005x1000005x1false0001100004x101133110000004x1false0001111000x101133550011000x1false0001111001x101133550011001x1false0001111002x101133550011002x1false0001111003x101133550011003x1false0001111005x101133550011005x1false0001111004x101133550011004x1false0001111004x150011004x1false0001111004x1011004x1false0001111002x101122000011222x1false0001111002x12000011222x1false0001111002x100011222x1false0001111002x1011222x1false0001111003x101122000011223x1false0001111003x12000011223x1false0001111003x100011223x1false0001111003x1011223x1false0001111005x101122000011225x1false0001111005x12000011225x1false0001111005x100011225x1false0001111005x1011225x1false0004455002x1000552x1false0004455003x1000553x1false0004455005x1000555x1false2004455002x1000552x1false2004455003x1000553x1false2004455005x1000555x1false4004455002x1000552x1false4004455003x1000553x1false4004455005x1000555x1false5004455002x1000552x1false5004455003x1000553x1false5004455005x1000555x1false144440011002x1000444411332x1false144440011003x1000444411333x1false144440011005x1000444411335x1false200115544000x11445500000x1false200115544001x11445500001x1false200115544002x11445500002x1false200115544002x1500002x1false200115544002x10002x1false200115544003x11445500003x1false200115544003x1500003x1false200115544003x10003x1false200115544005x11445500005x1false200115544005x1500005x1false200115544005x10005x1false200115544004x11445500004x1false400115544000x11445500000x1false400115544001x11445500001x1false400115544002x11445500002x1false400115544002x1500002x1false400115544002x10002x1false400115544003x11445500003x1false400115544003x1500003x1false400115544003x10003x1false400115544005x11445500005x1false400115544005x1500005x1false400115544005x10005x1false400115544004x11445500004x1false500115544000x11445500000x1false500115544001x11445500001x1false500115544002x11445500002x1false500115544002x1500002x1false500115544002x10002x1false500115544003x11445500003x1false500115544003x1500003x1false500115544003x10003x1false500115544005x11445500005x1false500115544005x1500005x1false500115544005x10005x1false500115544004x11445500004x1false200444455005x1200554400445x1false400444455005x1200554400445x1false500444455005x1200554400445x1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe