Contract 0xbd11adc9f26cf26d8581fb883af21cde0fbe766a

/**
 *Submitted for verification at Arbiscan on 2022-12-09
*/

// SPDX-License-Identifier: UNLICENSED

pragma solidity ^0.8.0;

/** 
 *  GM Adventurer!
 *  The town is filled with monsters and we need your help! 
 *  Battle and slay them and we'll pay you a hefty sum of gold and silver!
 */

contract Battle {

    struct Hero {
        string name;
        int health;
        int strength;
        int agility;
        int wisdom;
    }

    struct Spawn {
        int health;
        int strength;
        int agility;
        int wisdom;
    }

    struct Round {
        uint roundNo;
        uint totalAttacks;
        uint firstAttackIndex;
        uint lastAttackIndex;
        bool result;
        uint coinsWon;
        string playerName;
        address playerAddress;
    }

    struct Attack {
        uint roundIndex;
        uint attackIndex;
        int heroHealth;
        int heroDamageDealt;
        int spawnHealth;
        int spawnDamageDealt;
    }

    Hero[] players;
    Spawn[] spawns;
    Round[] rounds;
    Attack[] attacks;
    uint gameCounter;

    int[] attributesArray = [1,2,3,4,5,6,7,8,9,10];

    function addHero(string memory _name, int _health, int _strength, int _agility, int _wisdom) private {
        Hero memory newHero = Hero(_name, _health, _strength, _agility, _wisdom);
        players.push(newHero);
    }

    function addSpawn(int _health, int _strength, int _agility, int _wisdom) private {
        Spawn memory newSpawn = Spawn(_health, _strength, _agility, _wisdom);
        spawns.push(newSpawn);
    }

    function addRound(uint _roundNo, uint _totalAttacks, uint _firstAttackIndex, uint _lastAttackIndex, bool _result, uint _score, string memory _name, address _address) private {
        Round memory newRound = Round(_roundNo, _totalAttacks, _firstAttackIndex, _lastAttackIndex, _result, _score, _name, _address);
        rounds.push(newRound);
    }

    function addAttack(uint _roundIndex, uint _attackIndex, int _heroHealth, int _heroDamageDealt, int _spawnHealth, int _spawnDamageDealt) private {
        Attack memory newAttack = Attack(_roundIndex, _attackIndex, _heroHealth, _heroDamageDealt, _spawnHealth, _spawnDamageDealt);
        attacks.push(newAttack);
    }

    // Generate pseudo-random nos for attributes
    // Inspired by Loot contract - MIT license
    // https://etherscan.io/address/0xff9c1b15b16263c61d017ee9f65c50e4ae0113d7#code
    function getStrength(uint256 _index, string memory _name) internal view returns (int) {
        return pluck(_index, "STRENGTH", attributesArray, _name);
    }
    
    function getAgility(uint256 _index, string memory _name) internal view returns (int) {
        return pluck(_index, "AGILITY", attributesArray, _name);
    }
    
    function getWisdom(uint256 _index, string memory _name) internal view returns (int) {
        return pluck(_index, "WISDOM", attributesArray, _name);
    }

    function random(string memory input) internal pure returns (uint256) {
        return uint256(keccak256(abi.encodePacked(input)));
    }

    function toString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }

    function pluck(uint256 _index, string memory keyPrefix, int[] memory sourceArray, string memory _name) internal pure returns (int) {
        uint256 rand = random(string(abi.encodePacked(keyPrefix, toString(_index), _name)));
        int output = sourceArray[rand % sourceArray.length];
        return output;
    }

    function getHero(uint _index) public view returns (string memory, int, int, int, int) {
        Hero memory heroToReturn = players[_index];
        return (heroToReturn.name, heroToReturn.health, heroToReturn.strength, heroToReturn.agility, heroToReturn.wisdom);
    }

    function getSpawn(uint _index) public view returns (int, int, int, int) {
        Spawn memory spawnToReturn = spawns[_index];
        return (spawnToReturn.health, spawnToReturn.strength, spawnToReturn.agility, spawnToReturn.wisdom);
    }

    function roundDetails(uint _index) public view returns (uint, uint, uint, uint, bool, uint, string memory, address) {
        Round memory roundToReturn = rounds[_index];
        return (roundToReturn.roundNo, roundToReturn.totalAttacks, roundToReturn.firstAttackIndex, roundToReturn.lastAttackIndex, roundToReturn.result, roundToReturn.coinsWon, roundToReturn.playerName, roundToReturn.playerAddress);
    }

    function attackDetails(uint _index) public view returns (uint, uint, int, int, int, int) {
        Attack memory attackToReturn = attacks[_index];
        return (attackToReturn.roundIndex, attackToReturn.attackIndex, attackToReturn.heroHealth, attackToReturn.heroDamageDealt, attackToReturn.spawnHealth, attackToReturn.spawnDamageDealt);
    }

    function lastGameIndex() public view returns (uint) {
        return rounds.length-1;
    }

    function mapPlayer(string memory _name, uint _counter) internal returns (uint) {
        addHero(_name, 100, getStrength(_counter*100, _name), getAgility(_counter*101, _name), getWisdom(_counter*102, _name));
        return players.length-1; // return index of newly mapped player // return value unused
    }
    
/** 
 *  A spawn with randomized attributes is generated every battle.
 *  - STR: Determines attack damage
 *  - AGI: Determines defence armour (reduces attack damage received)
 *  - WIS: Add bonus damage if player WIS is higher than spawn WIS
 *  - Player passive skill: Pray()
 *  - Spawn passive skill: Harden()
 */

    function battle(string memory _name) public returns (uint) {
        // increment counter
        gameCounter++;
        // initialize player
        mapPlayer(_name, gameCounter);
        uint256 currentIndex = players.length-1;
        // initialize spawn
        addSpawn(100, getStrength(currentIndex*201, _name), getAgility(currentIndex*202, _name), getWisdom(currentIndex*203, _name));
        // initialize variables used for entire battle (round)
        uint attackCounter = 0;
        uint startAttackIndex = 0 + attacks.length;
        // spawn has passive skill harden(): if player has unfair advantage, spawn gets a boost in attributes
        int playerTotalStats = players[currentIndex].strength + players[currentIndex].agility + players[currentIndex].wisdom;
        int spawnTotalStats = spawns[currentIndex].strength + spawns[currentIndex].agility + spawns[currentIndex].wisdom;
        if (playerTotalStats > spawnTotalStats + 5){
            spawns[currentIndex].strength += 2;
            spawns[currentIndex].agility += 2;
            spawns[currentIndex].wisdom += 1;
        } else if (playerTotalStats > spawnTotalStats + 10){
            spawns[currentIndex].strength += 4;
            spawns[currentIndex].agility += 4;
            spawns[currentIndex].wisdom += 2;
        } else if (playerTotalStats > spawnTotalStats + 15){
            spawns[currentIndex].strength += 6;
            spawns[currentIndex].agility += 6;
            spawns[currentIndex].wisdom += 3;
        }
        // start battle
        while (players[currentIndex].health > 0 && spawns[currentIndex].health > 0){
            // initialize variables only used in 1 attack
            int heroDamageDealt = 0;
            int spawnDamageDealt = 0;
            int bonusDamage = 0;
            int bonusDefence = 0;
            // player has passive skill pray() that triggers when low HP
            if (players[currentIndex].health < 25){
                players[currentIndex].health += 2; // add 2 HP before every attack
                bonusDamage = 2; // attack with 2 additional damage
                bonusDefence = 1; // take 1 less damage from spawn
            }
            // player attacks
            heroDamageDealt = 5 + players[currentIndex].strength - spawns[currentIndex].agility/2 + players[currentIndex].wisdom/spawns[currentIndex].wisdom + bonusDamage;
            spawns[currentIndex].health -= heroDamageDealt;
            // spawn attacks
            spawnDamageDealt = 5 + spawns[currentIndex].strength - players[currentIndex].agility/2 + spawns[currentIndex].wisdom/players[currentIndex].wisdom - bonusDefence;
            players[currentIndex].health -= spawnDamageDealt;
            // log attack
            addAttack(currentIndex, attackCounter, players[currentIndex].health, heroDamageDealt, spawns[currentIndex].health, spawnDamageDealt);
            // increment attack counter
            attackCounter++;
        }
        // check winner
        if (players[currentIndex].health <= 0 && spawns[currentIndex].health <= 0){
            addRound(currentIndex, attackCounter, startAttackIndex, attacks.length-1, false, 5, players[players.length-1].name, msg.sender);
        } else if (players[currentIndex].health > 0 && spawns[currentIndex].health <= 0){
            addRound(currentIndex, attackCounter, startAttackIndex, attacks.length-1, true, 20, players[players.length-1].name, msg.sender);
        } else if (players[currentIndex].health <= 0 && spawns[currentIndex].health > 0){
            addRound(currentIndex, attackCounter, startAttackIndex, attacks.length-1, false, 0, players[players.length-1].name, msg.sender);
        }
        // end game
        return rounds.length-1; // return index of this battle
    }
}

[{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"attackDetails","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"_name","type":"string"}],"name":"battle","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"getHero","outputs":[{"internalType":"string","name":"","type":"string"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"getSpawn","outputs":[{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"},{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastGameIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"roundDetails","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bool","name":"","type":"bool"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"string","name":"","type":"string"},{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

6080604052604051806101400160405280600160ff168152602001600260ff168152602001600360ff168152602001600460ff168152602001600560ff168152602001600660ff168152602001600760ff168152602001600860ff168152602001600960ff168152602001600a60ff16815250600590600a6200008492919062000099565b503480156200009257600080fd5b506200010f565b828054828255906000526020600020908101928215620000dd579160200282015b82811115620000dc578251829060ff16905591602001919060010190620000ba565b5b509050620000ec9190620000f0565b5090565b5b808211156200010b576000816000905550600101620000f1565b5090565b612910806200011f6000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c806321d801111461006757806333d119eb1461009b578063527032bc146100ce57806396370ca6146100ec578063ba166a3914610121578063ccd787f614610158575b600080fd5b610081600480360381019061007c91906120d0565b610188565b60405161009295949392919061222c565b60405180910390f35b6100b560048036038101906100b091906120d0565b6102cd565b6040516100c594939291906121e7565b60405180910390f35b6100d6610376565b6040516100e39190612286565b60405180910390f35b610106600480360381019061010191906120d0565b61038f565b604051610118969594939291906122a1565b60405180910390f35b61013b600480360381019061013691906120d0565b61045f565b60405161014f989796959493929190612302565b60405180910390f35b610172600480360381019061016d919061208f565b61063c565b60405161017f9190612286565b60405180910390f35b606060008060008060008087815481106101cb577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600502016040518060a00160405290816000820180546101f49061274a565b80601f01602080910402602001604051908101604052809291908181526020018280546102209061274a565b801561026d5780601f106102425761010080835404028352916020019161026d565b820191906000526020600020905b81548152906001019060200180831161025057829003601f168201915b50505050508152602001600182015481526020016002820154815260200160038201548152602001600482015481525050905080600001518160200151826040015183606001518460800151955095509550955095505091939590929450565b60008060008060006001868154811061030f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060040201604051806080016040529081600082015481526020016001820154815260200160028201548152602001600382015481525050905080600001518160200151826040015183606001519450945094509450509193509193565b6000600160028054905061038a9190612682565b905090565b6000806000806000806000600388815481106103d4577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600602016040518060c001604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820154815250509050806000015181602001518260400151836060015184608001518560a001519650965096509650965096505091939550919395565b600080600080600080606060008060028a815481106104a7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906008020160405180610100016040529081600082015481526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff161515151581526020016005820154815260200160068201805461051e9061274a565b80601f016020809104026020016040519081016040528092919081815260200182805461054a9061274a565b80156105975780601f1061056c57610100808354040283529160200191610597565b820191906000526020600020905b81548152906001019060200180831161057a57829003601f168201915b505050505081526020016007820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815250509050806000015181602001518260400151836060015184608001518560a001518660c001518760e001519850985098509850985098509850985050919395975091939597565b6000600460008154809291906106519061277c565b9190505550610662826004546117ad565b50600060016000805490506106779190612682565b90506106c5606461069460c98461068e9190612594565b86611816565b6106aa60ca856106a49190612594565b876118b1565b6106c060cb866106ba9190612594565b8861194c565b6119e7565b60008060038054905060006106da91906124a3565b90506000808481548110610717577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600502016004015460008581548110610763577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160030154600086815481106107af577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600201546107cb919061240f565b6107d5919061240f565b9050600060018581548110610813577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060040201600301546001868154811061085f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160020154600187815481106108ab577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060040201600101546108c7919061240f565b6108d1919061240f565b90506005816108e0919061240f565b821315610a1457600260018681548110610923577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016001016000828254610943919061240f565b92505081905550600260018681548110610986577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160020160008282546109a6919061240f565b9250508190555060018086815481106109e8577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016003016000828254610a08919061240f565b92505081905550610c96565b600a81610a21919061240f565b821315610b5657600460018681548110610a64577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016001016000828254610a84919061240f565b92505081905550600460018681548110610ac7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016002016000828254610ae7919061240f565b92505081905550600260018681548110610b2a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016003016000828254610b4a919061240f565b92505081905550610c95565b600f81610b63919061240f565b821315610c9457600660018681548110610ba6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016001016000828254610bc6919061240f565b92505081905550600660018681548110610c09577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016002016000828254610c29919061240f565b92505081905550600360018681548110610c6c577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016003016000828254610c8c919061240f565b925050819055505b5b5b5b6000808681548110610cd2577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160010154138015610d3c5750600060018681548110610d28577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160000154135b1561126c57600080600080601960008a81548110610d83577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600101541215610e0757600260008a81548110610dd7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600502016001016000828254610df7919061240f565b9250508190555060029150600190505b8160018a81548110610e42577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016003015460008b81548110610e8e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160040154610eaa91906124f9565b600260018c81548110610ee6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160020154610f0291906124f9565b60008c81548110610f3c577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600201546005610f5a919061240f565b610f6491906125ee565b610f6e919061240f565b610f78919061240f565b93508360018a81548110610fb5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016000016000828254610fd591906125ee565b925050819055508060008a81548110611017577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600502016004015460018b81548110611063577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016003015461107f91906124f9565b600260008c815481106110bb577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600301546110d791906124f9565b60018c81548110611111577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160010154600561112f919061240f565b61113991906125ee565b611143919061240f565b61114d91906125ee565b92508260008a8154811061118a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160010160008282546111aa91906125ee565b92505081905550611255898960008c815481106111f0577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600101548760018e8154811061123d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016000015488611a69565b87806112609061277c565b98505050505050610c97565b60008086815481106112a7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600101541315801561131357506000600186815481106112fe577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016000015413155b156114245761141f85858560016003805490506113309190612682565b60006005600060016000805490506113489190612682565b8154811061137f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600001805461139b9061274a565b80601f01602080910402602001604051908101604052809291908181526020018280546113c79061274a565b80156114145780601f106113e957610100808354040283529160200191611414565b820191906000526020600020905b8154815290600101906020018083116113f757829003601f168201915b505050505033611b0d565b61178f565b600080868154811061145f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000209060050201600101541380156114ca57506000600186815481106114b5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600402016000015413155b156115db576115d685858560016003805490506114e79190612682565b60016014600060016000805490506114ff9190612682565b81548110611536577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160000180546115529061274a565b80601f016020809104026020016040519081016040528092919081815260200182805461157e9061274a565b80156115cb5780601f106115a0576101008083540402835291602001916115cb565b820191906000526020600020905b8154815290600101906020018083116115ae57829003601f168201915b505050505033611b0d565b61178e565b6000808681548110611616577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600502016001015413158015611681575060006001868154811061166d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906004020160000154135b1561178d5761178c858585600160038054905061169e9190612682565b600080600060016000805490506116b59190612682565b815481106116ec577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906005020160000180546117089061274a565b80601f01602080910402602001604051908101604052809291908181526020018280546117349061274a565b80156117815780601f1061175657610100808354040283529160200191611781565b820191906000526020600020905b81548152906001019060200180831161176457829003601f168201915b505050505033611b0d565b5b5b5b60016002805490506117a19190612682565b95505050505050919050565b60006117fc8360646117cb6064866117c59190612594565b87611816565b6117e16065876117db9190612594565b886118b1565b6117f76066886117f19190612594565b8961194c565b611c52565b600160008054905061180e9190612682565b905092915050565b60006118a9836040518060400160405280600881526020017f535452454e475448000000000000000000000000000000000000000000000000815250600580548060200260200160405190810160405280929190818152602001828054801561189e57602002820191906000526020600020905b81548152602001906001019080831161188a575b505050505085611cf8565b905092915050565b6000611944836040518060400160405280600781526020017f4147494c49545900000000000000000000000000000000000000000000000000815250600580548060200260200160405190810160405280929190818152602001828054801561193957602002820191906000526020600020905b815481526020019060010190808311611925575b505050505085611cf8565b905092915050565b60006119df836040518060400160405280600681526020017f574953444f4d000000000000000000000000000000000000000000000000000081525060058054806020026020016040519081016040528092919081815260200182805480156119d457602002820191906000526020600020905b8154815260200190600101908083116119c0575b505050505085611cf8565b905092915050565b6000604051806080016040528086815260200185815260200184815260200183815250905060018190806001815401808255809150506001900390600052602060002090600402016000909190919091506000820151816000015560208201518160010155604082015181600201556060820151816003015550505050505050565b60006040518060c001604052808881526020018781526020018681526020018581526020018481526020018381525090506003819080600181540180825580915050600190039060005260206000209060060201600090919091909150600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050155505050505050505050565b60006040518061010001604052808a815260200189815260200188815260200187815260200186151581526020018581526020018481526020018373ffffffffffffffffffffffffffffffffffffffff16815250905060028190806001815401808255809150506001900390600052602060002090600802016000909190919091506000820151816000015560208201518160010155604082015181600201556060820151816003015560808201518160040160006101000a81548160ff02191690831515021790555060a0820151816005015560c0820151816006019080519060200190611bfd929190611f6f565b5060e08201518160070160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505050505050565b60006040518060a0016040528087815260200186815260200185815260200184815260200183815250905060008190806001815401808255809150506001900390600052602060002090600502016000909190919091506000820151816000019080519060200190611cc5929190611f6f565b50602082015181600101556040820151816002015560608201518160030155608082015181600401555050505050505050565b600080611d2f85611d0888611d8f565b85604051602001611d1b939291906121b6565b604051602081830303815290604052611f3c565b9050600084855183611d4191906127c5565b81518110611d78577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015190508092505050949350505050565b60606000821415611dd7576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050611f37565b600082905060005b60008214611e09578080611df29061277c565b915050600a82611e029190612563565b9150611ddf565b60008167ffffffffffffffff811115611e4b577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015611e7d5781602001600182028036833780820191505090505b5090505b60008514611f3057600182611e969190612682565b9150600a85611ea591906127c5565b6030611eb191906124a3565b60f81b818381518110611eed577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a85611f299190612563565b9450611e81565b8093505050505b919050565b600081604051602001611f4f919061219f565b6040516020818303038152906040528051906020012060001c9050919050565b828054611f7b9061274a565b90600052602060002090601f016020900481019282611f9d5760008555611fe4565b82601f10611fb657805160ff1916838001178555611fe4565b82800160010185558215611fe4579182015b82811115611fe3578251825591602001919060010190611fc8565b5b509050611ff19190611ff5565b5090565b5b8082111561200e576000816000905550600101611ff6565b5090565b6000612025612020846123b8565b612387565b90508281526020810184848401111561203d57600080fd5b612048848285612708565b509392505050565b600082601f83011261206157600080fd5b8135612071848260208601612012565b91505092915050565b600081359050612089816128c3565b92915050565b6000602082840312156120a157600080fd5b600082013567ffffffffffffffff8111156120bb57600080fd5b6120c784828501612050565b91505092915050565b6000602082840312156120e257600080fd5b60006120f08482850161207a565b91505092915050565b612102816126b6565b82525050565b612111816126c8565b82525050565b612120816126d4565b82525050565b6000612131826123e8565b61213b81856123f3565b935061214b818560208601612717565b612154816128b2565b840191505092915050565b600061216a826123e8565b6121748185612404565b9350612184818560208601612717565b80840191505092915050565b612199816126fe565b82525050565b60006121ab828461215f565b915081905092915050565b60006121c2828661215f565b91506121ce828561215f565b91506121da828461215f565b9150819050949350505050565b60006080820190506121fc6000830187612117565b6122096020830186612117565b6122166040830185612117565b6122236060830184612117565b95945050505050565b600060a08201905081810360008301526122468188612126565b90506122556020830187612117565b6122626040830186612117565b61226f6060830185612117565b61227c6080830184612117565b9695505050505050565b600060208201905061229b6000830184612190565b92915050565b600060c0820190506122b66000830189612190565b6122c36020830188612190565b6122d06040830187612117565b6122dd6060830186612117565b6122ea6080830185612117565b6122f760a0830184612117565b979650505050505050565b600061010082019050612318600083018b612190565b612325602083018a612190565b6123326040830189612190565b61233f6060830188612190565b61234c6080830187612108565b61235960a0830186612190565b81810360c083015261236b8185612126565b905061237a60e08301846120f9565b9998505050505050505050565b6000604051905081810181811067ffffffffffffffff821117156123ae576123ad612883565b5b8060405250919050565b600067ffffffffffffffff8211156123d3576123d2612883565b5b601f19601f8301169050602081019050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b600061241a826126d4565b9150612425836126d4565b9250817f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038313600083121516156124605761245f6127f6565b5b817f8000000000000000000000000000000000000000000000000000000000000000038312600083121615612498576124976127f6565b5b828201905092915050565b60006124ae826126fe565b91506124b9836126fe565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156124ee576124ed6127f6565b5b828201905092915050565b6000612504826126d4565b915061250f836126d4565b92508261251f5761251e612825565b5b600160000383147f800000000000000000000000000000000000000000000000000000000000000083141615612558576125576127f6565b5b828205905092915050565b600061256e826126fe565b9150612579836126fe565b92508261258957612588612825565b5b828204905092915050565b600061259f826126fe565b91506125aa836126fe565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156125e3576125e26127f6565b5b828202905092915050565b60006125f9826126d4565b9150612604836126d4565b9250827f80000000000000000000000000000000000000000000000000000000000000000182126000841215161561263f5761263e6127f6565b5b827f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018213600084121615612677576126766127f6565b5b828203905092915050565b600061268d826126fe565b9150612698836126fe565b9250828210156126ab576126aa6127f6565b5b828203905092915050565b60006126c1826126de565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b8381101561273557808201518184015260208101905061271a565b83811115612744576000848401525b50505050565b6000600282049050600182168061276257607f821691505b6020821081141561277657612775612854565b5b50919050565b6000612787826126fe565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156127ba576127b96127f6565b5b600182019050919050565b60006127d0826126fe565b91506127db836126fe565b9250826127eb576127ea612825565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b6128cc816126fe565b81146128d757600080fd5b5056fea26469706673582212203132e29839e36b99ef0711ec98d042d886f19f8a4d6d571eaa3b5d4240b0e4c764736f6c63430008000033

240:9599:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3959:271;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;:::i;:::-;;;;;;;;4238:243;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;5263:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4908:347;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;4489:411;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;;;;;;;;6017:3819;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3959:271;4010:13;4025:3;4030;4035;4040;4056:24;4083:7;4091:6;4083:15;;;;;;;;;;;;;;;;;;;;;;;;;;4056:42;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4117:12;:17;;;4136:12;:19;;;4157:12;:21;;;4180:12;:20;;;4202:12;:19;;;4109:113;;;;;;;;;;;3959:271;;;;;;;:::o;4238:243::-;4290:3;4295;4300;4305;4321:26;4350:6;4357;4350:14;;;;;;;;;;;;;;;;;;;;;;;;;;4321:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4383:13;:20;;;4405:13;:22;;;4429:13;:21;;;4452:13;:20;;;4375:98;;;;;;;;;4238:243;;;;;:::o;5263:93::-;5309:4;5347:1;5333:6;:13;;;;:15;;;;:::i;:::-;5326:22;;5263:93;:::o;4908:347::-;4965:4;4971;4977:3;4982;4987;4992;5008:28;5039:7;5047:6;5039:15;;;;;;;;;;;;;;;;;;;;;;;;;;5008:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5073:14;:25;;;5100:14;:26;;;5128:14;:25;;;5155:14;:30;;;5187:14;:26;;;5215:14;:31;;;5065:182;;;;;;;;;;;;;4908:347;;;;;;;:::o;4489:411::-;4545:4;4551;4557;4563;4569;4575;4581:13;4596:7;4616:26;4645:6;4652;4645:14;;;;;;;;;;;;;;;;;;;;;;;;;;4616:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4678:13;:21;;;4701:13;:26;;;4729:13;:30;;;4761:13;:29;;;4792:13;:20;;;4814:13;:22;;;4838:13;:24;;;4864:13;:27;;;4670:222;;;;;;;;;;;;;;;;;4489:411;;;;;;;;;:::o;6017:3819::-;6070:4;6117:11;;:13;;;;;;;;;:::i;:::-;;;;;;6171:29;6181:5;6188:11;;6171:9;:29::i;:::-;;6211:20;6249:1;6234:7;:14;;;;:16;;;;:::i;:::-;6211:39;;6290:124;6299:3;6304:36;6329:3;6316:12;:16;;;;:::i;:::-;6334:5;6304:11;:36::i;:::-;6342:35;6366:3;6353:12;:16;;;;:::i;:::-;6371:5;6342:10;:35::i;:::-;6379:34;6402:3;6389:12;:16;;;;:::i;:::-;6407:5;6379:9;:34::i;:::-;6290:8;:124::i;:::-;6489:18;6522:21;6550:7;:14;;;;6546:1;:18;;;;:::i;:::-;6522:42;;6686:20;6774:7;6782:12;6774:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;6742:7;6750:12;6742:21;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;6709:7;6717:12;6709:21;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;;:62;;;;:::i;:::-;:93;;;;:::i;:::-;6686:116;;6813:19;6898:6;6905:12;6898:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;6867:6;6874:12;6867:20;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;6835:6;6842:12;6835:20;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;:60;;;;:::i;:::-;:90;;;;:::i;:::-;6813:112;;6977:1;6959:15;:19;;;;:::i;:::-;6940:16;:38;6936:611;;;7027:1;6994:6;7001:12;6994:20;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;:34;;;;;;;:::i;:::-;;;;;;;;7075:1;7043:6;7050:12;7043:20;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;;;;;;:::i;:::-;;;;;;;;7122:1;7091:6;7098:12;7091:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:32;;;;;;;:::i;:::-;;;;;;;;6936:611;;;7182:2;7164:15;:20;;;;:::i;:::-;7145:16;:39;7141:406;;;7233:1;7200:6;7207:12;7200:20;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;:34;;;;;;;:::i;:::-;;;;;;;;7281:1;7249:6;7256:12;7249:20;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;;;;;;:::i;:::-;;;;;;;;7328:1;7297:6;7304:12;7297:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:32;;;;;;;:::i;:::-;;;;;;;;7141:406;;;7388:2;7370:15;:20;;;;:::i;:::-;7351:16;:39;7347:200;;;7439:1;7406:6;7413:12;7406:20;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;:34;;;;;;;:::i;:::-;;;;;;;;7487:1;7455:6;7462:12;7455:20;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;;;;;;:::i;:::-;;;;;;;;7534:1;7503:6;7510:12;7503:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:32;;;;;;;:::i;:::-;;;;;;;;7347:200;7141:406;6936:611;7582:1433;7620:1;7589:7;7597:12;7589:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:32;:67;;;;;7655:1;7625:6;7632:12;7625:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:31;7589:67;7582:1433;;;7731:19;7769:20;7808:15;7842:16;7986:2;7955:7;7963:12;7955:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;7951:275;;;8040:1;8008:7;8016:12;8008:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;;;;;;:::i;:::-;;;;;;;;8106:1;8092:15;;8176:1;8161:16;;7951:275;8418:11;8388:6;8395:12;8388:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;8359:7;8367:12;8359:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:56;;;;:::i;:::-;8355:1;8326:6;8333:12;8326:20;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:30;;;;:::i;:::-;8293:7;8301:12;8293:21;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;;8289:1;:34;;;;:::i;:::-;:67;;;;:::i;:::-;:126;;;;:::i;:::-;:140;;;;:::i;:::-;8271:158;;8475:15;8444:6;8451:12;8444:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:46;;;;;;;:::i;:::-;;;;;;;;8683:12;8652:7;8660:12;8652:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;8624:6;8631:12;8624:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:56;;;;:::i;:::-;8620:1;8590:7;8598:12;8590:21;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;:31;;;;:::i;:::-;8558:6;8565:12;8558:20;;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;8554:1;:33;;;;:::i;:::-;:67;;;;:::i;:::-;:126;;;;:::i;:::-;:141;;;;:::i;:::-;8535:160;;8742:16;8710:7;8718:12;8710:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:48;;;;;;;:::i;:::-;;;;;;;;8800:132;8810:12;8824:13;8839:7;8847:12;8839:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;8869:15;8886:6;8893:12;8886:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;8915:16;8800:9;:132::i;:::-;8988:15;;;;;:::i;:::-;;;;7582:1433;;;;;;;9086:1;9054:7;9062:12;9054:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;:69;;;;;9122:1;9091:6;9098:12;9091:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:32;;9054:69;9050:694;;;9139:127;9148:12;9162:13;9177:16;9210:1;9195:7;:14;;;;:16;;;;:::i;:::-;9213:5;9220:1;9223:7;9246:1;9231:7;:14;;;;:16;;;;:::i;:::-;9223:25;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;9139:127;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9255:10;9139:8;:127::i;:::-;9050:694;;;9319:1;9288:7;9296:12;9288:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:32;:68;;;;;9355:1;9324:6;9331:12;9324:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:32;;9288:68;9284:460;;;9372:127;9381:12;9395:13;9410:16;9443:1;9428:7;:14;;;;:16;;;;:::i;:::-;9446:4;9452:2;9456:7;9479:1;9464:7;:14;;;;:16;;;;:::i;:::-;9456:25;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;9372:127;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9488:10;9372:8;:127::i;:::-;9284:460;;;9553:1;9521:7;9529:12;9521:21;;;;;;;;;;;;;;;;;;;;;;;;;;:28;;;:33;;:68;;;;;9588:1;9558:6;9565:12;9558:20;;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:31;9521:68;9517:227;;;9605:127;9614:12;9628:13;9643:16;9676:1;9661:7;:14;;;;:16;;;;:::i;:::-;9679:5;9686:1;9689:7;9712:1;9697:7;:14;;;;:16;;;;:::i;:::-;9689:25;;;;;;;;;;;;;;;;;;;;;;;;;;:30;;9605:127;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9721:10;9605:8;:127::i;:::-;9517:227;9284:460;9050:694;9796:1;9782:6;:13;;;;:15;;;;:::i;:::-;9775:22;;;;;;;6017:3819;;;:::o;5364:312::-;5437:4;5454:118;5462:5;5469:3;5474:32;5495:3;5486:8;:12;;;;:::i;:::-;5500:5;5474:11;:32::i;:::-;5508:31;5528:3;5519:8;:12;;;;:::i;:::-;5533:5;5508:10;:31::i;:::-;5541:30;5560:3;5551:8;:12;;;;:::i;:::-;5565:5;5541:9;:30::i;:::-;5454:7;:118::i;:::-;5605:1;5590:7;:14;;;;:16;;;;:::i;:::-;5583:23;;5364:312;;;;:::o;2437:161::-;2518:3;2541:49;2547:6;2541:49;;;;;;;;;;;;;;;;;2567:15;2541:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2584:5;2541;:49::i;:::-;2534:56;;2437:161;;;;:::o;2610:159::-;2690:3;2713:48;2719:6;2713:48;;;;;;;;;;;;;;;;;2738:15;2713:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2755:5;2713;:48::i;:::-;2706:55;;2610:159;;;;:::o;2781:157::-;2860:3;2883:47;2889:6;2883:47;;;;;;;;;;;;;;;;;2907:15;2883:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2924:5;2883;:47::i;:::-;2876:54;;2781:157;;;;:::o;1360:200::-;1452:21;1476:44;;;;;;;;1482:7;1476:44;;;;1491:9;1476:44;;;;1502:8;1476:44;;;;1512:7;1476:44;;;1452:68;;1531:6;1543:8;1531:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1360:200;;;;;:::o;1926:320::-;2081:23;2107:97;;;;;;;;2114:11;2107:97;;;;2127:12;2107:97;;;;2141:11;2107:97;;;;2154:16;2107:97;;;;2172:12;2107:97;;;;2186:17;2107:97;;;2081:123;;2215:7;2228:9;2215:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1926:320;;;;;;;:::o;1568:350::-;1753:21;1777:101;;;;;;;;1783:8;1777:101;;;;1793:13;1777:101;;;;1808:17;1777:101;;;;1827:16;1777:101;;;;1845:7;1777:101;;;;;;1854:6;1777:101;;;;1862:5;1777:101;;;;1869:8;1777:101;;;;;1753:125;;1889:6;1901:8;1889:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1568:350;;;;;;;;;:::o;1128:224::-;1240:19;1262:50;;;;;;;;1267:5;1262:50;;;;1274:7;1262:50;;;;1283:9;1262:50;;;;1294:8;1262:50;;;;1304:7;1262:50;;;1240:72;;1323:7;1336;1323:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1128:224;;;;;;:::o;3632:319::-;3758:3;3774:12;3789:68;3820:9;3831:16;3840:6;3831:8;:16::i;:::-;3849:5;3803:52;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;3789:6;:68::i;:::-;3774:83;;3868:10;3881:11;3900;:18;3893:4;:25;;;;:::i;:::-;3881:38;;;;;;;;;;;;;;;;;;;;;;3868:51;;3937:6;3930:13;;;;3632:319;;;;;;:::o;3092:532::-;3148:13;3187:1;3178:5;:10;3174:53;;;3205:10;;;;;;;;;;;;;;;;;;;;;3174:53;3237:12;3252:5;3237:20;;3268:14;3293:78;3308:1;3300:4;:9;3293:78;;3326:8;;;;;:::i;:::-;;;;3357:2;3349:10;;;;;:::i;:::-;;;3293:78;;;3381:19;3413:6;3403:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3381:39;;3431:154;3447:1;3438:5;:10;3431:154;;3475:1;3465:11;;;;;:::i;:::-;;;3542:2;3534:5;:10;;;;:::i;:::-;3521:2;:24;;;;:::i;:::-;3508:39;;3491:6;3498;3491:14;;;;;;;;;;;;;;;;;;;:56;;;;;;;;;;;3571:2;3562:11;;;;;:::i;:::-;;;3431:154;;;3609:6;3595:21;;;;;3092:532;;;;:::o;2946:138::-;3006:7;3068:5;3051:23;;;;;;;;:::i;:::-;;;;;;;;;;;;;3041:34;;;;;;3033:43;;3026:50;;2946:138;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:344:1:-;;110:65;125:49;167:6;125:49;:::i;:::-;110:65;:::i;:::-;101:74;;198:6;191:5;184:21;236:4;229:5;225:16;274:3;265:6;260:3;256:16;253:25;250:2;;;291:1;288;281:12;250:2;304:41;338:6;333:3;328;304:41;:::i;:::-;91:260;;;;;;:::o;371:273::-;;476:3;469:4;461:6;457:17;453:27;443:2;;494:1;491;484:12;443:2;534:6;521:20;559:79;634:3;626:6;619:4;611:6;607:17;559:79;:::i;:::-;550:88;;433:211;;;;;:::o;650:139::-;;734:6;721:20;712:29;;750:33;777:5;750:33;:::i;:::-;702:87;;;;:::o;795:375::-;;913:2;901:9;892:7;888:23;884:32;881:2;;;929:1;926;919:12;881:2;1000:1;989:9;985:17;972:31;1030:18;1022:6;1019:30;1016:2;;;1062:1;1059;1052:12;1016:2;1090:63;1145:7;1136:6;1125:9;1121:22;1090:63;:::i;:::-;1080:73;;943:220;871:299;;;;:::o;1176:262::-;;1284:2;1272:9;1263:7;1259:23;1255:32;1252:2;;;1300:1;1297;1290:12;1252:2;1343:1;1368:53;1413:7;1404:6;1393:9;1389:22;1368:53;:::i;:::-;1358:63;;1314:117;1242:196;;;;:::o;1444:118::-;1531:24;1549:5;1531:24;:::i;:::-;1526:3;1519:37;1509:53;;:::o;1568:109::-;1649:21;1664:5;1649:21;:::i;:::-;1644:3;1637:34;1627:50;;:::o;1683:115::-;1768:23;1785:5;1768:23;:::i;:::-;1763:3;1756:36;1746:52;;:::o;1804:364::-;;1920:39;1953:5;1920:39;:::i;:::-;1975:71;2039:6;2034:3;1975:71;:::i;:::-;1968:78;;2055:52;2100:6;2095:3;2088:4;2081:5;2077:16;2055:52;:::i;:::-;2132:29;2154:6;2132:29;:::i;:::-;2127:3;2123:39;2116:46;;1896:272;;;;;:::o;2174:377::-;;2308:39;2341:5;2308:39;:::i;:::-;2363:89;2445:6;2440:3;2363:89;:::i;:::-;2356:96;;2461:52;2506:6;2501:3;2494:4;2487:5;2483:16;2461:52;:::i;:::-;2538:6;2533:3;2529:16;2522:23;;2284:267;;;;;:::o;2557:118::-;2644:24;2662:5;2644:24;:::i;:::-;2639:3;2632:37;2622:53;;:::o;2681:275::-;;2835:95;2926:3;2917:6;2835:95;:::i;:::-;2828:102;;2947:3;2940:10;;2817:139;;;;:::o;2962:595::-;;3212:95;3303:3;3294:6;3212:95;:::i;:::-;3205:102;;3324:95;3415:3;3406:6;3324:95;:::i;:::-;3317:102;;3436:95;3527:3;3518:6;3436:95;:::i;:::-;3429:102;;3548:3;3541:10;;3194:363;;;;;;:::o;3563:537::-;;3770:3;3759:9;3755:19;3747:27;;3784:69;3850:1;3839:9;3835:17;3826:6;3784:69;:::i;:::-;3863:70;3929:2;3918:9;3914:18;3905:6;3863:70;:::i;:::-;3943;4009:2;3998:9;3994:18;3985:6;3943:70;:::i;:::-;4023;4089:2;4078:9;4074:18;4065:6;4023:70;:::i;:::-;3737:363;;;;;;;:::o;4106:739::-;;4361:3;4350:9;4346:19;4338:27;;4411:9;4405:4;4401:20;4397:1;4386:9;4382:17;4375:47;4439:78;4512:4;4503:6;4439:78;:::i;:::-;4431:86;;4527:70;4593:2;4582:9;4578:18;4569:6;4527:70;:::i;:::-;4607;4673:2;4662:9;4658:18;4649:6;4607:70;:::i;:::-;4687;4753:2;4742:9;4738:18;4729:6;4687:70;:::i;:::-;4767:71;4833:3;4822:9;4818:19;4809:6;4767:71;:::i;:::-;4328:517;;;;;;;;:::o;4851:222::-;;4982:2;4971:9;4967:18;4959:26;;4995:71;5063:1;5052:9;5048:17;5039:6;4995:71;:::i;:::-;4949:124;;;;:::o;5079:759::-;;5342:3;5331:9;5327:19;5319:27;;5356:71;5424:1;5413:9;5409:17;5400:6;5356:71;:::i;:::-;5437:72;5505:2;5494:9;5490:18;5481:6;5437:72;:::i;:::-;5519:70;5585:2;5574:9;5570:18;5561:6;5519:70;:::i;:::-;5599;5665:2;5654:9;5650:18;5641:6;5599:70;:::i;:::-;5679:71;5745:3;5734:9;5730:19;5721:6;5679:71;:::i;:::-;5760;5826:3;5815:9;5811:19;5802:6;5760:71;:::i;:::-;5309:529;;;;;;;;;:::o;5844:1076::-;;6185:3;6174:9;6170:19;6162:27;;6199:71;6267:1;6256:9;6252:17;6243:6;6199:71;:::i;:::-;6280:72;6348:2;6337:9;6333:18;6324:6;6280:72;:::i;:::-;6362;6430:2;6419:9;6415:18;6406:6;6362:72;:::i;:::-;6444;6512:2;6501:9;6497:18;6488:6;6444:72;:::i;:::-;6526:67;6588:3;6577:9;6573:19;6564:6;6526:67;:::i;:::-;6603:73;6671:3;6660:9;6656:19;6647:6;6603:73;:::i;:::-;6724:9;6718:4;6714:20;6708:3;6697:9;6693:19;6686:49;6752:78;6825:4;6816:6;6752:78;:::i;:::-;6744:86;;6840:73;6908:3;6897:9;6893:19;6884:6;6840:73;:::i;:::-;6152:768;;;;;;;;;;;:::o;6926:283::-;;6992:2;6986:9;6976:19;;7034:4;7026:6;7022:17;7141:6;7129:10;7126:22;7105:18;7093:10;7090:34;7087:62;7084:2;;;7152:18;;:::i;:::-;7084:2;7192:10;7188:2;7181:22;6966:243;;;;:::o;7215:332::-;;7367:18;7359:6;7356:30;7353:2;;;7389:18;;:::i;:::-;7353:2;7474:4;7470:9;7463:4;7455:6;7451:17;7447:33;7439:41;;7535:4;7529;7525:15;7517:23;;7282:265;;;:::o;7553:99::-;;7639:5;7633:12;7623:22;;7612:40;;;:::o;7658:169::-;;7776:6;7771:3;7764:19;7816:4;7811:3;7807:14;7792:29;;7754:73;;;;:::o;7833:148::-;;7972:3;7957:18;;7947:34;;;;:::o;7987:525::-;;8045:19;8062:1;8045:19;:::i;:::-;8040:24;;8078:19;8095:1;8078:19;:::i;:::-;8073:24;;8266:1;8198:66;8194:74;8191:1;8187:82;8182:1;8179;8175:9;8168:17;8164:106;8161:2;;;8273:18;;:::i;:::-;8161:2;8453:1;8385:66;8381:74;8378:1;8374:82;8370:1;8367;8363:9;8359:98;8356:2;;;8460:18;;:::i;:::-;8356:2;8504:1;8501;8497:9;8490:16;;8030:482;;;;:::o;8518:305::-;;8577:20;8595:1;8577:20;:::i;:::-;8572:25;;8611:20;8629:1;8611:20;:::i;:::-;8606:25;;8765:1;8697:66;8693:74;8690:1;8687:81;8684:2;;;8771:18;;:::i;:::-;8684:2;8815:1;8812;8808:9;8801:16;;8562:261;;;;:::o;8829:385::-;;8885:19;8902:1;8885:19;:::i;:::-;8880:24;;8918:19;8935:1;8918:19;:::i;:::-;8913:24;;8956:1;8946:2;;8961:18;;:::i;:::-;8946:2;9147:1;9144;9140:9;9137:1;9134:16;9053:66;9050:1;9047:73;9030:130;9027:2;;;9163:18;;:::i;:::-;9027:2;9206:1;9203;9198:10;9193:15;;8870:344;;;;:::o;9220:185::-;;9277:20;9295:1;9277:20;:::i;:::-;9272:25;;9311:20;9329:1;9311:20;:::i;:::-;9306:25;;9350:1;9340:2;;9355:18;;:::i;:::-;9340:2;9397:1;9394;9390:9;9385:14;;9262:143;;;;:::o;9411:348::-;;9474:20;9492:1;9474:20;:::i;:::-;9469:25;;9508:20;9526:1;9508:20;:::i;:::-;9503:25;;9696:1;9628:66;9624:74;9621:1;9618:81;9613:1;9606:9;9599:17;9595:105;9592:2;;;9703:18;;:::i;:::-;9592:2;9751:1;9748;9744:9;9733:20;;9459:300;;;;:::o;9765:527::-;;9824:19;9841:1;9824:19;:::i;:::-;9819:24;;9857:19;9874:1;9857:19;:::i;:::-;9852:24;;10046:1;9978:66;9974:74;9971:1;9967:82;9962:1;9959;9955:9;9948:17;9944:106;9941:2;;;10053:18;;:::i;:::-;9941:2;10232:1;10164:66;10160:74;10157:1;10153:82;10149:1;10146;10142:9;10138:98;10135:2;;;10239:18;;:::i;:::-;10135:2;10284:1;10281;10277:9;10269:17;;9809:483;;;;:::o;10298:191::-;;10358:20;10376:1;10358:20;:::i;:::-;10353:25;;10392:20;10410:1;10392:20;:::i;:::-;10387:25;;10431:1;10428;10425:8;10422:2;;;10436:18;;:::i;:::-;10422:2;10481:1;10478;10474:9;10466:17;;10343:146;;;;:::o;10495:96::-;;10561:24;10579:5;10561:24;:::i;:::-;10550:35;;10540:51;;;:::o;10597:90::-;;10674:5;10667:13;10660:21;10649:32;;10639:48;;;:::o;10693:76::-;;10758:5;10747:16;;10737:32;;;:::o;10775:126::-;;10852:42;10845:5;10841:54;10830:65;;10820:81;;;:::o;10907:77::-;;10973:5;10962:16;;10952:32;;;:::o;10990:154::-;11074:6;11069:3;11064;11051:30;11136:1;11127:6;11122:3;11118:16;11111:27;11041:103;;;:::o;11150:307::-;11218:1;11228:113;11242:6;11239:1;11236:13;11228:113;;;11327:1;11322:3;11318:11;11312:18;11308:1;11303:3;11299:11;11292:39;11264:2;11261:1;11257:10;11252:15;;11228:113;;;11359:6;11356:1;11353:13;11350:2;;;11439:1;11430:6;11425:3;11421:16;11414:27;11350:2;11199:258;;;;:::o;11463:320::-;;11544:1;11538:4;11534:12;11524:22;;11591:1;11585:4;11581:12;11612:18;11602:2;;11668:4;11660:6;11656:17;11646:27;;11602:2;11730;11722:6;11719:14;11699:18;11696:38;11693:2;;;11749:18;;:::i;:::-;11693:2;11514:269;;;;:::o;11789:233::-;;11851:24;11869:5;11851:24;:::i;:::-;11842:33;;11897:66;11890:5;11887:77;11884:2;;;11967:18;;:::i;:::-;11884:2;12014:1;12007:5;12003:13;11996:20;;11832:190;;;:::o;12028:176::-;;12077:20;12095:1;12077:20;:::i;:::-;12072:25;;12111:20;12129:1;12111:20;:::i;:::-;12106:25;;12150:1;12140:2;;12155:18;;:::i;:::-;12140:2;12196:1;12193;12189:9;12184:14;;12062:142;;;;:::o;12210:180::-;12258:77;12255:1;12248:88;12355:4;12352:1;12345:15;12379:4;12376:1;12369:15;12396:180;12444:77;12441:1;12434:88;12541:4;12538:1;12531:15;12565:4;12562:1;12555:15;12582:180;12630:77;12627:1;12620:88;12727:4;12724:1;12717:15;12751:4;12748:1;12741:15;12768:180;12816:77;12813:1;12806:88;12913:4;12910:1;12903:15;12937:4;12934:1;12927:15;12954:102;;13046:2;13042:7;13037:2;13030:5;13026:14;13022:28;13012:38;;13002:54;;;:::o;13062:122::-;13135:24;13153:5;13135:24;:::i;:::-;13128:5;13125:35;13115:2;;13174:1;13171;13164:12;13115:2;13105:79;:::o

3132e29839e36b99ef0711ec98d042d886f19f8a4d6d571eaa3b5d4240b0e4c7