YES 0010x1020031x10010x1020410x10010x1200021x13010x102310x13010x131002x13010x131100x13010x131200x13010x131500x13010x135100x13010x150310x13010x1202310x13010x1220310x13010x1315000x13010x1315020x13010x1315100x13010x1315200x13010x1315500x13010x1322100x13010x1351002x13010x1351500x13010x1511300x13410x131240x13410x131402x13410x131540x13410x134210x13410x1311540x13410x1312140x13410x1312540x13410x1314202x13410x1315402x13410x1315540x13410x1342110x13410x1345120x101410x1011402x102010x1020031x102010x1200031x103010x1003130x103010x1003310x103010x1003510x103010x1200310x103410x1020431x105010x1000152x105010x1001510x105010x1020015x130100x1313000x130110x1310120x130210x1203110x130210x1231500x130210x1312010x130210x1312050x130510x1315200x131010x1203110x131010x1311100x131010x1312100x131410x1312140x131410x1315140x132010x1023150x132010x1203110x133010x1312030x133010x1312300x133410x1312430x133410x1313402x133410x1314310x134010x1024130x134010x1314002x134010x1320410x134410x1311440x12.10100x1130020x10100x1014020x10100x1120002x10103x101320x10103x120013x10103x100113x10103x100213x10103x100513x10103x100153x10103x101305x10103x1013202x10103x1013022x10103x1000513x10103x1020513x10103x1001513x10103x1002513x10103x1005513x10103x1001223x10103x1200153x10103x1005153x10103x1003115x10143x104213x10143x120413x10143x104513x10143x101243x10143x1045113x10143x1041213x10143x1045213x10143x1202413x10143x1204513x10143x1045513x10143x1011243x10143x1021543x101410x1204110x101020x1130020x101020x1130002x101030x1031300x101030x1013300x101030x1015300x101030x1013002x101430x1134020x101050x1251000x101050x1015100x101050x1510020x100103x1000313x101103x1021013x101203x1011302x101203x1005132x101203x1010213x101203x1050213x101503x1002513x101013x1011302x101013x1001113x101013x1001213x101413x1041213x101413x1041513x101023x1051320x101023x1011302x101033x1030213x101033x1003213x101433x1034213x101433x1204313x101433x1013413x101043x1031420x101043x1200413x101043x1014023x101443x1044113x10132450100x1014020x10103x101320x10103x100113x10103x100213x10103x100513x10103x100153x10103x101305x10103x1013202x10103x1013022x10103x1000513x10103x1020513x10103x1001513x10103x1002513x10103x1005513x10103x1001223x10103x1005153x10103x1003115x10143x104213x10143x104513x10143x101243x10143x1045113x10143x1041213x10143x1045213x10143x1045513x10143x1011243x10143x1021543x101030x1031300x101030x1013300x101030x1015300x101030x1013002x101050x1015100x100103x1000313x101103x1021013x101203x1011302x101203x1005132x101203x1010213x101203x1050213x101503x1002513x101013x1011302x101013x1001113x101013x1001213x101413x1041213x101413x1041513x101023x1051320x101023x1011302x101033x1030213x101033x1003213x101433x1034213x101433x1013413x101043x1031420x101043x1014023x101443x1044113x100100x10130020x110100x11130020x130100x13130020x120100x12130020x140100x14130020x150100x15130020x100100x10120002x110100x11120002x130100x13120002x120100x12120002x140100x14120002x150100x15120002x100103x1020013x110103x1120013x130103x1320013x120103x1220013x140103x1420013x150103x1520013x100103x10200153x110103x11200153x130103x13200153x120103x12200153x140103x14200153x150103x15200153x100143x1020413x110143x1120413x130143x1320413x120143x1220413x140143x1420413x150143x1520413x100143x10202413x110143x11202413x130143x13202413x120143x12202413x140143x14202413x150143x15202413x100143x10204513x110143x11204513x130143x13204513x120143x12204513x140143x14204513x150143x15204513x1001410x10204110x1101410x11204110x1301410x13204110x1201410x12204110x1401410x14204110x1501410x15204110x1001020x10130020x1101020x11130020x1301020x13130020x1201020x12130020x1401020x14130020x1501020x15130020x1001020x10130002x1101020x11130002x1301020x13130002x1201020x12130002x1401020x14130002x1501020x15130002x1001430x10134020x1101430x11134020x1301430x13134020x1201430x12134020x1401430x14134020x1501430x15134020x1001050x10251000x1101050x11251000x1301050x13251000x1201050x12251000x1401050x14251000x1501050x15251000x1001050x10510020x1101050x11510020x1301050x13510020x1201050x12510020x1401050x14510020x1501050x15510020x1001433x10204313x1101433x11204313x1301433x13204313x1201433x12204313x1401433x14204313x1501433x15204313x1001043x10200413x1101043x11200413x1301043x13200413x1201043x12200413x1401043x14200413x1501043x15200413x101100000x1011440022000x101100001x1011440022001x101100004x1011440022004x101100002x1011440022002x101100003x1011440022003x101100005x1011440022005x101100330x10113322000x101100331x10113322001x101100334x10113322004x101100332x10113322002x101100333x10113322003x101100335x10113322005x101100330x10001111330x101100331x10001111331x101100334x10001111334x101100332x10001111332x101100333x10001111333x101100335x10001111335x101100330x10002211330x101100331x10002211331x101100334x10002211334x101100332x10002211332x101100333x10002211333x101100335x10002211335x101100330x10005511330x101100331x10005511331x101100334x10005511334x101100332x10005511332x101100333x10005511333x101100335x10005511335x101100330x10001155330x101100331x10001155331x101100334x10001155334x101100332x10001155332x101100333x10001155333x101100335x10001155335x101100330x10113300550x101100331x10113300551x101100334x10113300554x101100332x10113300552x101100333x10113300553x101100335x10113300555x101100330x1011332200220x101100331x1011332200221x101100334x1011332200224x101100332x1011332200222x101100333x1011332200223x101100335x1011332200225x101100330x1011330022220x101100331x1011330022221x101100334x1011330022224x101100332x1011330022222x101100333x1011330022223x101100335x1011330022225x101100330x1000005511330x101100331x1000005511331x101100334x1000005511334x101100332x1000005511332x101100333x1000005511333x101100335x1000005511335x101100330x1022005511330x101100331x1022005511331x101100334x1022005511334x101100332x1022005511332x101100333x1022005511333x101100335x1022005511335x101100330x1000115511330x101100331x1000115511331x101100334x1000115511334x101100332x1000115511332x101100333x1000115511333x101100335x1000115511335x101100330x1000225511330x101100331x1000225511331x101100334x1000225511334x101100332x1000225511332x101100333x1000225511333x101100335x1000225511335x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101100330x1000112222330x101100331x1000112222331x101100334x1000112222334x101100332x1000112222332x101100333x1000112222333x101100335x1000112222335x101100330x1000551155330x101100331x1000551155331x101100334x1000551155334x101100332x1000551155332x101100333x1000551155333x101100335x1000551155335x101100330x1000331111550x101100331x1000331111551x101100334x1000331111554x101100332x1000331111552x101100333x1000331111553x101100335x1000331111555x101144330x10442211330x101144331x10442211331x101144334x10442211334x101144332x10442211332x101144333x10442211333x101144335x10442211335x101144330x10445511330x101144331x10445511331x101144334x10445511334x101144332x10445511332x101144333x10445511333x101144335x10445511335x101144330x10112244330x101144331x10112244331x101144334x10112244334x101144332x10112244332x101144333x10112244333x101144335x10112244335x101144330x1044551111330x101144331x1044551111331x101144334x1044551111334x101144332x1044551111332x101144333x1044551111333x101144335x1044551111335x101144330x1044112211330x101144331x1044112211331x101144334x1044112211334x101144332x1044112211332x101144333x1044112211333x101144335x1044112211335x101144330x1044552211330x101144331x1044552211331x101144334x1044552211334x101144332x1044552211332x101144333x1044552211333x101144335x1044552211335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x101144330x1011112244330x101144331x1011112244331x101144334x1011112244334x101144332x1011112244332x101144333x1011112244333x101144335x1011112244335x101144330x1022115544330x101144331x1022115544331x101144334x1022115544334x101144332x1022115544332x101144333x1022115544333x101144335x1022115544335x10110033000x1033113300000x10110033001x1033113300001x10110033004x1033113300004x10110033002x1033113300002x10110033003x1033113300003x10110033005x1033113300005x10110033000x1011333300000x10110033001x1011333300001x10110033004x1011333300004x10110033002x1011333300002x10110033003x1011333300003x10110033005x1011333300005x10110033000x1011553300000x10110033001x1011553300001x10110033004x1011553300004x10110033002x1011553300002x10110033003x1011553300003x10110033005x1011553300005x10110033000x1011330000220x10110033001x1011330000221x10110033004x1011330000224x10110033002x1011330000222x10110033003x1011330000223x10110033005x1011330000225x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10001100330x1000003311330x10001100331x1000003311331x10001100334x1000003311334x10001100332x1000003311332x10001100333x1000003311333x10001100335x1000003311335x10111100330x1022110011330x10111100331x1022110011331x10111100334x1022110011334x10111100332x1022110011332x10111100333x1022110011333x10111100335x1022110011335x10112200330x1011113300220x10112200331x1011113300221x10112200334x1011113300224x10112200332x1011113300222x10112200333x1011113300223x10112200335x1011113300225x10112200330x1000551133220x10112200331x1000551133221x10112200334x1000551133224x10112200332x1000551133222x10112200333x1000551133223x10112200335x1000551133225x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10112200330x1055002211330x10112200331x1055002211331x10112200334x1055002211334x10112200332x1055002211332x10112200333x1055002211333x10112200335x1055002211335x10115500330x1000225511330x10115500331x1000225511331x10115500334x1000225511334x10115500332x1000225511332x10115500333x1000225511333x10115500335x1000225511335x10110011330x1011113300220x10110011331x1011113300221x10110011334x1011113300224x10110011332x1011113300222x10110011333x1011113300223x10110011335x1011113300225x10110011330x1000111111330x10110011331x1000111111331x10110011334x1000111111334x10110011332x1000111111332x10110011333x1000111111333x10110011335x1000111111335x10110011330x1000112211330x10110011331x1000112211331x10110011334x1000112211334x10110011332x1000112211332x10110011333x1000112211333x10110011335x1000112211335x10114411330x1044112211330x10114411331x1044112211331x10114411334x1044112211334x10114411332x1044112211332x10114411333x1044112211333x10114411335x1044112211335x10114411330x1044115511330x10114411331x1044115511331x10114411334x1044115511334x10114411332x1044115511332x10114411333x1044115511333x10114411335x1044115511335x10110022330x1055113322000x10110022331x1055113322001x10110022334x1055113322004x10110022332x1055113322002x10110022333x1055113322003x10110022335x1055113322005x10110022330x1011113300220x10110022331x1011113300221x10110022334x1011113300224x10110022332x1011113300222x10110022333x1011113300223x10110022335x1011113300225x10110033330x1033002211330x10110033331x1033002211331x10110033334x1033002211334x10110033332x1033002211332x10110033333x1033002211333x10110033335x1033002211335x10110033330x1000332211330x10110033331x1000332211331x10110033334x1000332211334x10110033332x1000332211332x10110033333x1000332211333x10110033335x1000332211335x10114433330x1033442211330x10114433331x1033442211331x10114433334x1033442211334x10114433332x1033442211332x10114433333x1033442211333x10114433335x1033442211335x10114433330x1011334411330x10114433331x1011334411331x10114433334x1011334411334x10114433332x1011334411332x10114433333x1011334411333x10114433335x1011334411335x10110044330x1033114422000x10110044331x1033114422001x10110044334x1033114422004x10110044332x1033114422002x10110044333x1033114422003x10110044335x1033114422005x10110044330x1011440022330x10110044331x1011440022331x10110044334x1011440022334x10110044332x1011440022332x10110044333x1011440022333x10110044335x1011440022335x10114444330x1044441111330x10114444331x1044441111331x10114444334x1044441111334x10114444332x1044441111332x10114444333x1044441111333x10114444335x1044441111335x10001100000x101133000022000x10001100001x101133000022001x10001100004x101133000022004x10001100002x101133000022002x10001100003x101133000022003x10001100005x101133000022005x11001100000x111133000022000x11001100001x111133000022001x11001100004x111133000022004x11001100002x111133000022002x11001100003x111133000022003x11001100005x111133000022005x13001100000x131133000022000x13001100001x131133000022001x13001100004x131133000022004x13001100002x131133000022002x13001100003x131133000022003x13001100005x131133000022005x12001100000x121133000022000x12001100001x121133000022001x12001100004x121133000022004x12001100002x121133000022002x12001100003x121133000022003x12001100005x121133000022005x14001100000x141133000022000x14001100001x141133000022001x14001100004x141133000022004x14001100002x141133000022002x14001100003x141133000022003x14001100005x141133000022005x15001100000x151133000022000x15001100001x151133000022001x15001100004x151133000022004x15001100002x151133000022002x15001100003x151133000022003x15001100005x151133000022005x10001100000x101122000000220x10001100001x101122000000221x10001100004x101122000000224x10001100002x101122000000222x10001100003x101122000000223x10001100005x101122000000225x11001100000x111122000000220x11001100001x111122000000221x11001100004x111122000000224x11001100002x111122000000222x11001100003x111122000000223x11001100005x111122000000225x13001100000x131122000000220x13001100001x131122000000221x13001100004x131122000000224x13001100002x131122000000222x13001100003x131122000000223x13001100005x131122000000225x12001100000x121122000000220x12001100001x121122000000221x12001100004x121122000000224x12001100002x121122000000222x12001100003x121122000000223x12001100005x121122000000225x14001100000x141122000000220x14001100001x141122000000221x14001100004x141122000000224x14001100002x141122000000222x14001100003x141122000000223x14001100005x141122000000225x15001100000x151122000000220x15001100001x151122000000221x15001100004x151122000000224x15001100002x151122000000222x15001100003x151122000000223x15001100005x151122000000225x10001100330x1022000011330x10001100331x1022000011331x10001100334x1022000011334x10001100332x1022000011332x10001100333x1022000011333x10001100335x1022000011335x11001100330x1122000011330x11001100331x1122000011331x11001100334x1122000011334x11001100332x1122000011332x11001100333x1122000011333x11001100335x1122000011335x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x12001100330x1222000011330x12001100331x1222000011331x12001100334x1222000011334x12001100332x1222000011332x12001100333x1222000011333x12001100335x1222000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x10001100330x102200001155330x10001100331x102200001155331x10001100334x102200001155334x10001100332x102200001155332x10001100333x102200001155333x10001100335x102200001155335x11001100330x112200001155330x11001100331x112200001155331x11001100334x112200001155334x11001100332x112200001155332x11001100333x112200001155333x11001100335x112200001155335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x12001100330x122200001155330x12001100331x122200001155331x12001100334x122200001155334x12001100332x122200001155332x12001100333x122200001155333x12001100335x122200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x10001144330x1022004411330x10001144331x1022004411331x10001144334x1022004411334x10001144332x1022004411332x10001144333x1022004411333x10001144335x1022004411335x11001144330x1122004411330x11001144331x1122004411331x11001144334x1122004411334x11001144332x1122004411332x11001144333x1122004411333x11001144335x1122004411335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x12001144330x1222004411330x12001144331x1222004411331x12001144334x1222004411334x12001144332x1222004411332x12001144333x1222004411333x12001144335x1222004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x10001144330x102200224411330x10001144331x102200224411331x10001144334x102200224411334x10001144332x102200224411332x10001144333x102200224411333x10001144335x102200224411335x11001144330x112200224411330x11001144331x112200224411331x11001144334x112200224411334x11001144332x112200224411332x11001144333x112200224411333x11001144335x112200224411335x13001144330x132200224411330x13001144331x132200224411331x13001144334x132200224411334x13001144332x132200224411332x13001144333x132200224411333x13001144335x132200224411335x12001144330x122200224411330x12001144331x122200224411331x12001144334x122200224411334x12001144332x122200224411332x12001144333x122200224411333x12001144335x122200224411335x14001144330x142200224411330x14001144331x142200224411331x14001144334x142200224411334x14001144332x142200224411332x14001144333x142200224411333x14001144335x142200224411335x15001144330x152200224411330x15001144331x152200224411331x15001144334x152200224411334x15001144332x152200224411332x15001144333x152200224411333x15001144335x152200224411335x10001144330x102200445511330x10001144331x102200445511331x10001144334x102200445511334x10001144332x102200445511332x10001144333x102200445511333x10001144335x102200445511335x11001144330x112200445511330x11001144331x112200445511331x11001144334x112200445511334x11001144332x112200445511332x11001144333x112200445511333x11001144335x112200445511335x13001144330x132200445511330x13001144331x132200445511331x13001144334x132200445511334x13001144332x132200445511332x13001144333x132200445511333x13001144335x132200445511335x12001144330x122200445511330x12001144331x122200445511331x12001144334x122200445511334x12001144332x122200445511332x12001144333x122200445511333x12001144335x122200445511335x14001144330x142200445511330x14001144331x142200445511331x14001144334x142200445511334x14001144332x142200445511332x14001144333x142200445511333x14001144335x142200445511335x15001144330x152200445511330x15001144331x152200445511331x15001144334x152200445511334x15001144332x152200445511332x15001144333x152200445511333x15001144335x152200445511335x1000114411000x102200441111000x1000114411001x102200441111001x1000114411004x102200441111004x1000114411002x102200441111002x1000114411003x102200441111003x1000114411005x102200441111005x1100114411000x112200441111000x1100114411001x112200441111001x1100114411004x112200441111004x1100114411002x112200441111002x1100114411003x112200441111003x1100114411005x112200441111005x1300114411000x132200441111000x1300114411001x132200441111001x1300114411004x132200441111004x1300114411002x132200441111002x1300114411003x132200441111003x1300114411005x132200441111005x1200114411000x122200441111000x1200114411001x122200441111001x1200114411004x122200441111004x1200114411002x122200441111002x1200114411003x122200441111003x1200114411005x122200441111005x1400114411000x142200441111000x1400114411001x142200441111001x1400114411004x142200441111004x1400114411002x142200441111002x1400114411003x142200441111003x1400114411005x142200441111005x1500114411000x152200441111000x1500114411001x152200441111001x1500114411004x152200441111004x1500114411002x152200441111002x1500114411003x152200441111003x1500114411005x152200441111005x1000110022000x101133000022000x1000110022001x101133000022001x1000110022004x101133000022004x1000110022002x101133000022002x1000110022003x101133000022003x1000110022005x101133000022005x1100110022000x111133000022000x1100110022001x111133000022001x1100110022004x111133000022004x1100110022002x111133000022002x1100110022003x111133000022003x1100110022005x111133000022005x1300110022000x131133000022000x1300110022001x131133000022001x1300110022004x131133000022004x1300110022002x131133000022002x1300110022003x131133000022003x1300110022005x131133000022005x1200110022000x121133000022000x1200110022001x121133000022001x1200110022004x121133000022004x1200110022002x121133000022002x1200110022003x121133000022003x1200110022005x121133000022005x1400110022000x141133000022000x1400110022001x141133000022001x1400110022004x141133000022004x1400110022002x141133000022002x1400110022003x141133000022003x1400110022005x141133000022005x1500110022000x151133000022000x1500110022001x151133000022001x1500110022004x151133000022004x1500110022002x151133000022002x1500110022003x151133000022003x1500110022005x151133000022005x1000110022000x101133000000220x1000110022001x101133000000221x1000110022004x101133000000224x1000110022002x101133000000222x1000110022003x101133000000223x1000110022005x101133000000225x1100110022000x111133000000220x1100110022001x111133000000221x1100110022004x111133000000224x1100110022002x111133000000222x1100110022003x111133000000223x1100110022005x111133000000225x1300110022000x131133000000220x1300110022001x131133000000221x1300110022004x131133000000224x1300110022002x131133000000222x1300110022003x131133000000223x1300110022005x131133000000225x1200110022000x121133000000220x1200110022001x121133000000221x1200110022004x121133000000224x1200110022002x121133000000222x1200110022003x121133000000223x1200110022005x121133000000225x1400110022000x141133000000220x1400110022001x141133000000221x1400110022004x141133000000224x1400110022002x141133000000222x1400110022003x141133000000223x1400110022005x141133000000225x1500110022000x151133000000220x1500110022001x151133000000221x1500110022004x151133000000224x1500110022002x151133000000222x1500110022003x151133000000223x1500110022005x151133000000225x1000114433000x101133440022000x1000114433001x101133440022001x1000114433004x101133440022004x1000114433002x101133440022002x1000114433003x101133440022003x1000114433005x101133440022005x1100114433000x111133440022000x1100114433001x111133440022001x1100114433004x111133440022004x1100114433002x111133440022002x1100114433003x111133440022003x1100114433005x111133440022005x1300114433000x131133440022000x1300114433001x131133440022001x1300114433004x131133440022004x1300114433002x131133440022002x1300114433003x131133440022003x1300114433005x131133440022005x1200114433000x121133440022000x1200114433001x121133440022001x1200114433004x121133440022004x1200114433002x121133440022002x1200114433003x121133440022003x1200114433005x121133440022005x1400114433000x141133440022000x1400114433001x141133440022001x1400114433004x141133440022004x1400114433002x141133440022002x1400114433003x141133440022003x1400114433005x141133440022005x1500114433000x151133440022000x1500114433001x151133440022001x1500114433004x151133440022004x1500114433002x151133440022002x1500114433003x151133440022003x1500114433005x151133440022005x1000110055000x102255110000000x1000110055001x102255110000001x1000110055004x102255110000004x1000110055002x102255110000002x1000110055003x102255110000003x1000110055005x102255110000005x1100110055000x112255110000000x1100110055001x112255110000001x1100110055004x112255110000004x1100110055002x112255110000002x1100110055003x112255110000003x1100110055005x112255110000005x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1200110055000x122255110000000x1200110055001x122255110000001x1200110055004x122255110000004x1200110055002x122255110000002x1200110055003x122255110000003x1200110055005x122255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1000110055000x105511000022000x1000110055001x105511000022001x1000110055004x105511000022004x1000110055002x105511000022002x1000110055003x105511000022003x1000110055005x105511000022005x1100110055000x115511000022000x1100110055001x115511000022001x1100110055004x115511000022004x1100110055002x115511000022002x1100110055003x115511000022003x1100110055005x115511000022005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1200110055000x125511000022000x1200110055001x125511000022001x1200110055004x125511000022004x1200110055002x125511000022002x1200110055003x125511000022003x1200110055005x125511000022005x1400110055000x145511000022000x1400110055001x145511000022001x1400110055004x145511000022004x1400110055002x145511000022002x1400110055003x145511000022003x1400110055005x145511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1000114433330x102200443311330x1000114433331x102200443311331x1000114433334x102200443311334x1000114433332x102200443311332x1000114433333x102200443311333x1000114433335x102200443311335x1100114433330x112200443311330x1100114433331x112200443311331x1100114433334x112200443311334x1100114433332x112200443311332x1100114433333x112200443311333x1100114433335x112200443311335x1300114433330x132200443311330x1300114433331x132200443311331x1300114433334x132200443311334x1300114433332x132200443311332x1300114433333x132200443311333x1300114433335x132200443311335x1200114433330x122200443311330x1200114433331x122200443311331x1200114433334x122200443311334x1200114433332x122200443311332x1200114433333x122200443311333x1200114433335x122200443311335x1400114433330x142200443311330x1400114433331x142200443311331x1400114433334x142200443311334x1400114433332x142200443311332x1400114433333x142200443311333x1400114433335x142200443311335x1500114433330x152200443311330x1500114433331x152200443311331x1500114433334x152200443311334x1500114433332x152200443311332x1500114433333x152200443311333x1500114433335x152200443311335x1000110044330x102200004411330x1000110044331x102200004411331x1000110044334x102200004411334x1000110044332x102200004411332x1000110044333x102200004411333x1000110044335x102200004411335x1100110044330x112200004411330x1100110044331x112200004411331x1100110044334x112200004411334x1100110044332x112200004411332x1100110044333x112200004411333x1100110044335x112200004411335x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1200110044330x122200004411330x1200110044331x122200004411331x1200110044334x122200004411334x1200110044332x122200004411332x1200110044333x122200004411333x1200110044335x122200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x110111141011140011141411164011102111201112041116031112051112301111311132111311113411143311113511121111121111511111511153111501112541117521112551114241116221112311125111121114311142111451114111124411101100000x1011440022000x101100001x1011440022001x101100004x1011440022004x101100002x1011440022002x101100003x1011440022003x101100005x1011440022005x101100330x10113322000x101100331x10113322001x101100330x1000005511330x101100331x1000005511331x101100334x1000005511334x101100332x1000005511332x101100333x1000005511333x101100335x1000005511335x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101144330x10112244330x101144331x10112244331x101144334x10112244334x101144332x10112244332x101144333x10112244333x101144335x10112244335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x101144330x1011112244330x101144331x1011112244331x101144334x1011112244334x101144332x1011112244332x101144333x1011112244333x101144335x1011112244335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1000551133220x10112200334x1000551133224x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110022330x1055113322000x10110022331x1055113322001x10110044330x1033114422000x10110044331x1033114422001x14001100004x141122000000224x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x13001144330x132200224411330x13001144331x132200224411331x13001144334x132200224411334x13001144332x132200224411332x13001144333x132200224411333x13001144335x132200224411335x14001144330x142200224411330x14001144331x142200224411331x14001144334x142200224411334x14001144332x142200224411332x14001144333x142200224411333x14001144335x142200224411335x15001144330x152200224411330x15001144331x152200224411331x15001144334x152200224411334x15001144332x152200224411332x15001144333x152200224411333x15001144335x152200224411335x1400110022004x141133000000224x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1101111310111200111314111240111102111120111104111303111205111130111131113211131111511113411133111351111551113431111121112411114511111111150111215111211112311142111141111222111521112531112511101100000x1011440022000x101100001x1011440022001x101100004x1011440022004x101100002x1011440022002x101100003x1011440022003x101100005x1011440022005x101100330x10113322000x101100331x10113322001x101100330x1000005511330x101100331x1000005511331x101100334x1000005511334x101100332x1000005511332x101100333x1000005511333x101100335x1000005511335x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x101144330x1011112244330x101144331x1011112244331x101144334x1011112244334x101144332x1011112244332x101144333x1011112244333x101144335x1011112244335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1101111110111001111411140111021112011104111031110511130111131113211131111151111341113311135111155111143111451111111112111241115011115111211114211141111122111521115311125111101100000x1011440022000x101100001x1011440022001x101100004x1011440022004x101100002x1011440022002x101100003x1011440022003x101100005x1011440022005x101100330x10113322000x101100331x10113322001x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x101144330x1011112244330x101144331x1011112244331x101144334x1011112244334x101144332x1011112244332x101144333x1011112244333x101144335x1011112244335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11011112101112001112141114011102111201111041110311110511123011113111321113111155111151111341113311135111143111451111111111211124111501111511121111421114111112211152111531112511101100330x10113322000x101100331x10113322001x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x101144330x1011112244330x101144331x1011112244331x101144334x1011112244334x101144332x1011112244332x101144333x1011112244333x101144335x1011112244335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x110111110111031113011113111321112011100111311110511155111511113411133111351111411114311104111145111111111211124111501111511102111211114211140111411112211152111531112511101100330x10113322000x101100331x10113322001x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x101144330x1044555511330x101144331x1044555511331x101144334x1044555511334x101144332x1044555511332x101144333x1044555511333x101144335x1044555511335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1101111101110311130111131113211120111001113111105111551115111134111331113511114111431111041114511150111151110211112111211114211114011114111112211152111531112511101100330x10113322000x101100331x10113322001x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x132255110000000x1300110055001x132255110000001x1300110055004x132255110000004x1300110055002x132255110000002x1300110055003x132255110000003x1300110055005x132255110000005x1400110055000x142255110000000x1400110055001x142255110000001x1400110055004x142255110000004x1400110055002x142255110000002x1400110055003x142255110000003x1400110055005x142255110000005x1500110055000x152255110000000x1500110055001x152255110000001x1500110055004x152255110000004x1500110055002x152255110000002x1500110055003x152255110000003x1500110055005x152255110000005x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x110111111011103111301111311132111201110011131111105111551111511113411133111351111501111511104111021111211121111431111411142111401114111112211152111531112511101100330x10113322000x101100331x10113322001x101100330x1000555511330x101100331x1000555511331x101100334x1000555511334x101100332x1000555511332x101100333x1000555511333x101100335x1000555511335x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1500110055000x155511000022000x1500110055001x155511000022001x1500110055004x155511000022004x1500110055002x155511000022002x1500110055003x155511000022003x1500110055005x155511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x110111111011103111130111131113211120111001111311110511155111511113411133111351115011111511104111102111112111211114311114111421114011141111221115211115311101100330x10113322000x101100331x10113322001x10110055000x1011551100000x10110055001x1011551100001x10110055004x1011551100004x10110055002x1011551100002x10110055003x1011551100003x10110055005x1011551100005x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11011111011103111301111311132111201110011131111051111501111511151111041110211112111211113411133111351111431111411142111401114111122111521115311101100330x10113322000x101100331x10113322001x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110055000x135511000022000x1300110055001x135511000022001x1300110055004x135511000022004x1300110055002x135511000022002x1300110055003x135511000022003x1300110055005x135511000022005x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1101111101110311130111131113211120111001113111112111021112111134111331113511104111431111411142111401114111122111501115211115111531110511115111101100330x10113322000x101100331x10113322001x10112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x10110044330x1033114422000x10110044331x1033114422001x14001100002x141122000000222x13001100330x1322000011330x13001100331x1322000011331x13001100334x1322000011334x13001100332x1322000011332x13001100333x1322000011333x13001100335x1322000011335x14001100330x1422000011330x14001100331x1422000011331x14001100334x1422000011334x14001100332x1422000011332x14001100333x1422000011333x14001100335x1422000011335x15001100330x1522000011330x15001100331x1522000011331x15001100334x1522000011334x15001100332x1522000011332x15001100333x1522000011333x15001100335x1522000011335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x14001100330x142200001155330x14001100331x142200001155331x14001100334x142200001155334x14001100332x142200001155332x14001100333x142200001155333x14001100335x142200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x14001144330x1422004411330x14001144331x1422004411331x14001144334x1422004411334x14001144332x1422004411332x14001144333x1422004411333x14001144335x1422004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1400110044330x142200004411330x1400110044331x142200004411331x1400110044334x142200004411334x1400110044332x142200004411332x1400110044333x142200004411333x1400110044335x142200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1101111101110311113011113111321112011100111311111211102111211111341113311135111041114311121411142111401112411112221115011152111151111531110112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x14001100002x141122000000222x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1400110022002x141133000000222x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x110111112111201110311130111101110211121111131113111134111321113311135111401111001114111122111151115311150111521111411143111041110112200330x1011002211330x10112200331x1011002211331x10112200334x1011002211334x10112200332x1011002211332x10112200333x1011002211333x10112200335x1011002211335x13001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11011111211112011103111301111011102111211111311131111341113211133111351110011115111531115011152111141114311104111411113001100330x132200001155330x13001100331x132200001155331x13001100334x132200001155334x13001100332x132200001155332x13001100333x132200001155333x13001100335x132200001155335x15001100330x152200001155330x15001100331x152200001155331x15001100334x152200001155334x15001100332x152200001155332x15001100333x152200001155333x15001100335x152200001155335x13001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11301110111110111031111321112011100111151115311131111341113311135111501115211114111431110411141111131113001144330x1322004411330x13001144331x1322004411331x13001144334x1322004411334x13001144332x1322004411332x13001144333x1322004411333x13001144335x1322004411335x15001144330x1522004411330x15001144331x1522004411331x15001144334x1522004411334x15001144332x1522004411332x15001144333x1522004411333x15001144335x1522004411335x1300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x1130111011111411114311132111201110411141111131113111134111331113511150111521111011100111300110044330x132200004411330x1300110044331x132200004411331x1300110044334x132200004411334x1300110044332x132200004411332x1300110044333x132200004411333x1300110044335x132200004411335x1500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11301111011111011104111431113211120111001114111113111311113411133111351115011152111500110044330x152200004411330x1500110044331x152200004411331x1500110044334x152200004411334x1500110044332x152200004411332x1500110044333x152200004411333x1500110044335x152200004411335x11501110111111011104111431113011152111201110011141111131113111134111321113311135111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (21 real / 0 unknown / 0 assumptions / 21 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe