Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface iERC20
•    - function balanceOf(address)
•    - function approve(address, uint)
•    - function burn(uint)
• interface iRUNE
•    - function transferTo(address, uint)
• interface iROUTER
•    - function deposit(address, address, ui ...
•  contract THORChain_Router *
•    - function deposit(address payable vaul ...
•    - function transferAllowance(address ro ...
•    - function transferOut(address payable ...
•    - function batchTransferOut(address[] m ...
•    - function returnVaultAssets(address ro ...
•    - function safeTransferFrom(address _as ...
•    - function _adjustAllowances(address _n ...
•    - function _routerDeposit(address _rout ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-04-10
*/

// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.3;

// ERC20 Interface
interface iERC20 {
    function balanceOf(address) external view returns (uint256);
    function approve(address, uint) external returns (bool);
    function burn(uint) external;
}
// RUNE Interface
interface iRUNE {
    function transferTo(address, uint) external returns (bool);
}
// ROUTER Interface
interface iROUTER {
    function deposit(address, address, uint, string calldata) external;
}

// THORChain_Router is managed by THORChain Vaults
contract THORChain_Router {
    address public RUNE = 0x3155BA85D5F96b2d030a4966AF206230e46849cb; //mainnet

    struct Coin {
        address asset;
        uint amount;
    }

    // Vault allowance for each asset
    mapping(address => mapping(address => uint)) public vaultAllowance;

    // Emitted for all deposits, the memo distinguishes for swap, add, remove, donate etc
    event Deposit(address indexed to, address indexed asset, uint amount, string memo);

    // Emitted for all outgoing transfers, the vault dictates who sent it, memo used to track.
    event TransferOut(address indexed vault, address indexed to, address asset, uint amount, string memo);

    // Changes the spend allowance between vaults
    event TransferAllowance(address indexed oldVault, address indexed newVault, address asset, uint amount, string memo);

    // Specifically used to batch send the entire vault assets
    event VaultTransfer(address indexed oldVault, address indexed newVault, Coin[] coins, string memo);

    constructor() {}

    // Deposit an asset with a memo. ETH is forwarded, ERC-20 stays in ROUTER
    function deposit(address payable vault, address asset, uint amount, string memory memo) external payable {
        uint safeAmount;
        if(asset == address(0)){
            safeAmount = msg.value;
            (bool success, bytes memory data) = vault.call{value:safeAmount}("");
            require(success && (data.length == 0 || abi.decode(data, (bool))));
        } else if(asset == RUNE) {
            safeAmount = amount;
            iRUNE(RUNE).transferTo(address(this), amount);
            iERC20(RUNE).burn(amount);
        } else {
            safeAmount = safeTransferFrom(asset, amount); // Transfer asset
            vaultAllowance[vault][asset] += safeAmount; // Credit to chosen vault
        }
        emit Deposit(vault, asset, safeAmount, memo);
    }

    //############################## ALLOWANCE TRANSFERS ##############################

    // Use for "moving" assets between vaults (asgard<>ygg), as well "churning" to a new Asgard
    function transferAllowance(address router ,address newVault, address asset, uint amount, string memory memo) external {
        if (router == address(this)){
            _adjustAllowances(newVault, asset, amount);
            emit TransferAllowance(msg.sender, newVault, asset, amount, memo);
        } else {
            _routerDeposit(router, newVault, asset, amount, memo);
        }
    }

    //############################## ASSET TRANSFERS ##############################

    // Any vault calls to transfer any asset to any recipient.
    function transferOut(address payable to, address asset, uint amount, string memory memo) public payable {
        uint safeAmount; bool success; bytes memory data;
        if(asset == address(0)){
            safeAmount = msg.value;
            (success, data) = to.call{value:msg.value}(""); // Send ETH
        } else {
            vaultAllowance[msg.sender][asset] -= amount; // Reduce allowance
            (success, data) = asset.call(abi.encodeWithSelector(0xa9059cbb, to, amount));
            safeAmount = amount;
        }
        require(success && (data.length == 0 || abi.decode(data, (bool))));
        emit TransferOut(msg.sender, to, asset, safeAmount, memo);
    }

    // Batch Transfer
    function batchTransferOut(address[] memory recipients, Coin[] memory coins, string[] memory memos) external payable {
        for(uint i = 0; i < coins.length; i++){
            transferOut(payable(recipients[i]), coins[i].asset, coins[i].amount, memos[i]);
        }
    }

    //############################## VAULT MANAGEMENT ##############################

    // A vault can call to "return" all assets to an asgard, including ETH. 
    function returnVaultAssets(address router, address payable asgard, Coin[] memory coins, string memory memo) external payable {
        if (router == address(this)){
            for(uint i = 0; i < coins.length; i++){
                _adjustAllowances(asgard, coins[i].asset, coins[i].amount);
            }
            emit VaultTransfer(msg.sender, asgard, coins, memo); // Does not include ETH.           
        } else {
            for(uint i = 0; i < coins.length; i++){
                _routerDeposit(router, asgard, coins[i].asset, coins[i].amount, memo);
            }
        }
        (bool success, bytes memory data) = asgard.call{value:msg.value}(""); //ETH amount needs to be parsed from tx.
        require(success && (data.length == 0 || abi.decode(data, (bool))));
    }

    //############################## HELPERS ##############################

    // Safe transferFrom in case asset charges transfer fees
    function safeTransferFrom(address _asset, uint _amount) internal returns(uint amount) {
        uint _startBal = iERC20(_asset).balanceOf(address(this));
        (bool success, bytes memory data) = _asset.call(abi.encodeWithSelector(0x23b872dd, msg.sender, address(this), _amount));
        require(success && (data.length == 0 || abi.decode(data, (bool))));
        return (iERC20(_asset).balanceOf(address(this)) - _startBal);
    }

    // Decrements and Increments Allowances between two vaults
    function _adjustAllowances(address _newVault, address _asset, uint _amount) internal {
        vaultAllowance[msg.sender][_asset] -= _amount;
        vaultAllowance[_newVault][_asset] += _amount;
    }

    // Adjust allowance and forwards funds to new router, credits allowance to desired vault
    function _routerDeposit(address _router, address _vault, address _asset, uint _amount, string memory _memo) internal {
        vaultAllowance[msg.sender][_asset] -= _amount;
        require(iERC20(_asset).approve(_router, _amount)); // Approve to transfer
        iROUTER(_router).deposit(_vault, _asset, _amount, _memo); // Transfer
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"address","name":"asset","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"memo","type":"string"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldVault","type":"address"},{"indexed":true,"internalType":"address","name":"newVault","type":"address"},{"indexed":false,"internalType":"address","name":"asset","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"memo","type":"string"}],"name":"TransferAllowance","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"vault","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"address","name":"asset","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"memo","type":"string"}],"name":"TransferOut","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldVault","type":"address"},{"indexed":true,"internalType":"address","name":"newVault","type":"address"},{"components":[{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"indexed":false,"internalType":"struct THORChain_Router.Coin[]","name":"coins","type":"tuple[]"},{"indexed":false,"internalType":"string","name":"memo","type":"string"}],"name":"VaultTransfer","type":"event"},{"inputs":[],"name":"RUNE","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"recipients","type":"address[]"},{"components":[{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"internalType":"struct THORChain_Router.Coin[]","name":"coins","type":"tuple[]"},{"internalType":"string[]","name":"memos","type":"string[]"}],"name":"batchTransferOut","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address payable","name":"vault","type":"address"},{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"memo","type":"string"}],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"router","type":"address"},{"internalType":"address payable","name":"asgard","type":"address"},{"components":[{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"internalType":"struct THORChain_Router.Coin[]","name":"coins","type":"tuple[]"},{"internalType":"string","name":"memo","type":"string"}],"name":"returnVaultAssets","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"router","type":"address"},{"internalType":"address","name":"newVault","type":"address"},{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"memo","type":"string"}],"name":"transferAllowance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"to","type":"address"},{"internalType":"address","name":"asset","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"memo","type":"string"}],"name":"transferOut","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"vaultAllowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

6080604052733155ba85d5f96b2d030a4966af206230e46849cb6000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801561006457600080fd5b50611e6b806100746000396000f3fe6080604052600436106100705760003560e01c80632923e82e1161004e5780632923e82e146100f757806348f1651d14610113578063574da7171461012f57806393e4eaa91461014b57610070565b806303b6a673146100755780631b738b32146100b25780631fece7b4146100db575b600080fd5b34801561008157600080fd5b5061009c600480360381019061009791906114e2565b610176565b6040516100a99190611a37565b60405180910390f35b3480156100be57600080fd5b506100d960048036038101906100d491906115b1565b61019b565b005b6100f560048036038101906100f09190611467565b61025d565b005b610111600480360381019061010c919061151e565b6105e1565b005b61012d60048036038101906101289190611640565b610892565b005b61014960048036038101906101449190611467565b6109cb565b005b34801561015757600080fd5b50610160610c7f565b60405161016d91906118d2565b60405180910390f35b6001602052816000526040600020602052806000526040600020600091509150505481565b3073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610248576101da848484610ca3565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f05b90458f953d3fcb2d7fb25616a2fddeca749d0c47cc5c9832d0266b5346eea85858560405161023b939291906119c2565b60405180910390a3610256565b6102558585858585610dce565b5b5050505050565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561033d573490506000808673ffffffffffffffffffffffffffffffffffffffff16836040516102bd906118bd565b60006040518083038185875af1925050503d80600081146102fa576040519150601f19603f3d011682016040523d82523d6000602084013e6102ff565b606091505b509150915081801561032d575060008151148061032c57508080602001905181019061032b91906116d7565b5b5b61033657600080fd5b5050610573565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156104d25782905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632ccb1b3030856040518363ffffffff1660e01b81526004016103ef929190611999565b602060405180830381600087803b15801561040957600080fd5b505af115801561041d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061044191906116d7565b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342966c68846040518263ffffffff1660e01b815260040161049b9190611a37565b600060405180830381600087803b1580156104b557600080fd5b505af11580156104c9573d6000803e3d6000fd5b50505050610572565b6104dc8484610f6f565b905080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461056a9190611bc7565b925050819055505b5b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fef519b7eb82aaf6ac376a6df2d793843ebfd593de5f1a0601d3cc6ab49ebb39583856040516105d2929190611a52565b60405180910390a35050505050565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156107345760005b82518110156106c7576106b48484838151811061065e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151600001518584815181106106a3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015160200151610ca3565b80806106bf90611d1e565b915050610618565b508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f281daef48d91e5cd3d32db0784f6af69cd8d8d2e8c612a3568dca51ded51e08f8484604051610727929190611a00565b60405180910390a36107ea565b60005b82518110156107e8576107d5858585848151811061077e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151600001518685815181106107c3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516020015186610dce565b80806107e090611d1e565b915050610737565b505b6000808473ffffffffffffffffffffffffffffffffffffffff1634604051610811906118bd565b60006040518083038185875af1925050503d806000811461084e576040519150601f19603f3d011682016040523d82523d6000602084013e610853565b606091505b5091509150818015610881575060008151148061088057508080602001905181019061087f91906116d7565b5b5b61088a57600080fd5b505050505050565b60005b82518110156109c5576109b28482815181106108da577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015184838151811061091b577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015160000151858481518110610960577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151602001518585815181106109a5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516109cb565b80806109bd90611d1e565b915050610895565b50505050565b6000806060600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415610a7c573492508673ffffffffffffffffffffffffffffffffffffffff1634604051610a2c906118bd565b60006040518083038185875af1925050503d8060008114610a69576040519150601f19603f3d011682016040523d82523d6000602084013e610a6e565b606091505b508092508193505050610bdb565b84600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b089190611c1d565b925050819055508573ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8887604051602401610b3e9291906118ed565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610b8c91906118a6565b6000604051808303816000865af19150503d8060008114610bc9576040519150601f19603f3d011682016040523d82523d6000602084013e610bce565b606091505b5080925081935050508492505b818015610c045750600081511480610c03575080806020019051810190610c0291906116d7565b5b5b610c0d57600080fd5b8673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fa9cd03aa3c1b4515114539cd53d22085129d495cb9e9f9af77864526240f1bf7888688604051610c6e939291906119c2565b60405180910390a350505050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d2f9190611c1d565b9250508190555080600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dc29190611bc7565b92505081905550505050565b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e5a9190611c1d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff1663095ea7b386846040518363ffffffff1660e01b8152600401610e9c929190611999565b602060405180830381600087803b158015610eb657600080fd5b505af1158015610eca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eee91906116d7565b610ef757600080fd5b8473ffffffffffffffffffffffffffffffffffffffff16631fece7b4858585856040518563ffffffff1660e01b8152600401610f36949392919061194d565b600060405180830381600087803b158015610f5057600080fd5b505af1158015610f64573d6000803e3d6000fd5b505050505050505050565b6000808373ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610fab91906118d2565b60206040518083038186803b158015610fc357600080fd5b505afa158015610fd7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ffb9190611700565b90506000808573ffffffffffffffffffffffffffffffffffffffff166323b872dd33308860405160240161103193929190611916565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505060405161107f91906118a6565b6000604051808303816000865af19150503d80600081146110bc576040519150601f19603f3d011682016040523d82523d6000602084013e6110c1565b606091505b50915091508180156110ef57506000815114806110ee5750808060200190518101906110ed91906116d7565b5b5b6110f857600080fd5b828673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161113291906118d2565b60206040518083038186803b15801561114a57600080fd5b505afa15801561115e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111829190611700565b61118c9190611c1d565b935050505092915050565b60006111aa6111a584611aa7565b611a82565b905080838252602082019050828560208602820111156111c957600080fd5b60005b858110156111f957816111df888261130a565b8452602084019350602083019250506001810190506111cc565b5050509392505050565b600061121661121184611ad3565b611a82565b9050808382526020820190508260005b85811015611256578135850161123c88826113c7565b845260208401935060208301925050600181019050611226565b5050509392505050565b600061127361126e84611aff565b611a82565b9050808382526020820190508285604086028201111561129257600080fd5b60005b858110156112c257816112a888826113f1565b845260208401935060408301925050600181019050611295565b5050509392505050565b60006112df6112da84611b2b565b611a82565b9050828152602081018484840111156112f757600080fd5b611302848285611cab565b509392505050565b60008135905061131981611dd9565b92915050565b60008135905061132e81611df0565b92915050565b600082601f83011261134557600080fd5b8135611355848260208601611197565b91505092915050565b600082601f83011261136f57600080fd5b813561137f848260208601611203565b91505092915050565b600082601f83011261139957600080fd5b81356113a9848260208601611260565b91505092915050565b6000815190506113c181611e07565b92915050565b600082601f8301126113d857600080fd5b81356113e88482602086016112cc565b91505092915050565b60006040828403121561140357600080fd5b61140d6040611a82565b9050600061141d8482850161130a565b60008301525060206114318482850161143d565b60208301525092915050565b60008135905061144c81611e1e565b92915050565b60008151905061146181611e1e565b92915050565b6000806000806080858703121561147d57600080fd5b600061148b8782880161131f565b945050602061149c8782880161130a565b93505060406114ad8782880161143d565b925050606085013567ffffffffffffffff8111156114ca57600080fd5b6114d6878288016113c7565b91505092959194509250565b600080604083850312156114f557600080fd5b60006115038582860161130a565b92505060206115148582860161130a565b9150509250929050565b6000806000806080858703121561153457600080fd5b60006115428782880161130a565b94505060206115538782880161131f565b935050604085013567ffffffffffffffff81111561157057600080fd5b61157c87828801611388565b925050606085013567ffffffffffffffff81111561159957600080fd5b6115a5878288016113c7565b91505092959194509250565b600080600080600060a086880312156115c957600080fd5b60006115d78882890161130a565b95505060206115e88882890161130a565b94505060406115f98882890161130a565b935050606061160a8882890161143d565b925050608086013567ffffffffffffffff81111561162757600080fd5b611633888289016113c7565b9150509295509295909350565b60008060006060848603121561165557600080fd5b600084013567ffffffffffffffff81111561166f57600080fd5b61167b86828701611334565b935050602084013567ffffffffffffffff81111561169857600080fd5b6116a486828701611388565b925050604084013567ffffffffffffffff8111156116c157600080fd5b6116cd8682870161135e565b9150509250925092565b6000602082840312156116e957600080fd5b60006116f7848285016113b2565b91505092915050565b60006020828403121561171257600080fd5b600061172084828501611452565b91505092915050565b60006117358383611859565b60408301905092915050565b61174a81611c63565b82525050565b61175981611c51565b82525050565b61176881611c51565b82525050565b600061177982611b6c565b6117838185611b9a565b935061178e83611b5c565b8060005b838110156117bf5781516117a68882611729565b97506117b183611b8d565b925050600181019050611792565b5085935050505092915050565b60006117d782611b77565b6117e18185611bab565b93506117f1818560208601611cba565b80840191505092915050565b600061180882611b82565b6118128185611bb6565b9350611822818560208601611cba565b61182b81611dc5565b840191505092915050565b6000611843600083611bab565b915061184e82611dd6565b600082019050919050565b60408201600082015161186f6000850182611750565b5060208201516118826020850182611888565b50505050565b61189181611ca1565b82525050565b6118a081611ca1565b82525050565b60006118b282846117cc565b915081905092915050565b60006118c882611836565b9150819050919050565b60006020820190506118e7600083018461175f565b92915050565b60006040820190506119026000830185611741565b61190f6020830184611897565b9392505050565b600060608201905061192b600083018661175f565b611938602083018561175f565b6119456040830184611897565b949350505050565b6000608082019050611962600083018761175f565b61196f602083018661175f565b61197c6040830185611897565b818103606083015261198e81846117fd565b905095945050505050565b60006040820190506119ae600083018561175f565b6119bb6020830184611897565b9392505050565b60006060820190506119d7600083018661175f565b6119e46020830185611897565b81810360408301526119f681846117fd565b9050949350505050565b60006040820190508181036000830152611a1a818561176e565b90508181036020830152611a2e81846117fd565b90509392505050565b6000602082019050611a4c6000830184611897565b92915050565b6000604082019050611a676000830185611897565b8181036020830152611a7981846117fd565b90509392505050565b6000611a8c611a9d565b9050611a988282611ced565b919050565b6000604051905090565b600067ffffffffffffffff821115611ac257611ac1611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611aee57611aed611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611b1a57611b19611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611b4657611b45611d96565b5b611b4f82611dc5565b9050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b6000611bd282611ca1565b9150611bdd83611ca1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611c1257611c11611d67565b5b828201905092915050565b6000611c2882611ca1565b9150611c3383611ca1565b925082821015611c4657611c45611d67565b5b828203905092915050565b6000611c5c82611c81565b9050919050565b6000611c6e82611c81565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015611cd8578082015181840152602081019050611cbd565b83811115611ce7576000848401525b50505050565b611cf682611dc5565b810181811067ffffffffffffffff82111715611d1557611d14611d96565b5b80604052505050565b6000611d2982611ca1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415611d5c57611d5b611d67565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b50565b611de281611c51565b8114611ded57600080fd5b50565b611df981611c63565b8114611e0457600080fd5b50565b611e1081611c75565b8114611e1b57600080fd5b50565b611e2781611ca1565b8114611e3257600080fd5b5056fea2646970667358221220be5304de0da304677bca7f066dd63b4d331fffbd681288e682a07117d061ea1664736f6c63430008030033

0x6080604052600436106100705760003560e01c80632923e82e1161004e5780632923e82e146100f757806348f1651d14610113578063574da7171461012f57806393e4eaa91461014b57610070565b806303b6a673146100755780631b738b32146100b25780631fece7b4146100db575b600080fd5b34801561008157600080fd5b5061009c600480360381019061009791906114e2565b610176565b6040516100a99190611a37565b60405180910390f35b3480156100be57600080fd5b506100d960048036038101906100d491906115b1565b61019b565b005b6100f560048036038101906100f09190611467565b61025d565b005b610111600480360381019061010c919061151e565b6105e1565b005b61012d60048036038101906101289190611640565b610892565b005b61014960048036038101906101449190611467565b6109cb565b005b34801561015757600080fd5b50610160610c7f565b60405161016d91906118d2565b60405180910390f35b6001602052816000526040600020602052806000526040600020600091509150505481565b3073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610248576101da848484610ca3565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f05b90458f953d3fcb2d7fb25616a2fddeca749d0c47cc5c9832d0266b5346eea85858560405161023b939291906119c2565b60405180910390a3610256565b6102558585858585610dce565b5b5050505050565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561033d573490506000808673ffffffffffffffffffffffffffffffffffffffff16836040516102bd906118bd565b60006040518083038185875af1925050503d80600081146102fa576040519150601f19603f3d011682016040523d82523d6000602084013e6102ff565b606091505b509150915081801561032d575060008151148061032c57508080602001905181019061032b91906116d7565b5b5b61033657600080fd5b5050610573565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156104d25782905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632ccb1b3030856040518363ffffffff1660e01b81526004016103ef929190611999565b602060405180830381600087803b15801561040957600080fd5b505af115801561041d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061044191906116d7565b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342966c68846040518263ffffffff1660e01b815260040161049b9190611a37565b600060405180830381600087803b1580156104b557600080fd5b505af11580156104c9573d6000803e3d6000fd5b50505050610572565b6104dc8484610f6f565b905080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461056a9190611bc7565b925050819055505b5b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fef519b7eb82aaf6ac376a6df2d793843ebfd593de5f1a0601d3cc6ab49ebb39583856040516105d2929190611a52565b60405180910390a35050505050565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156107345760005b82518110156106c7576106b48484838151811061065e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151600001518584815181106106a3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015160200151610ca3565b80806106bf90611d1e565b915050610618565b508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f281daef48d91e5cd3d32db0784f6af69cd8d8d2e8c612a3568dca51ded51e08f8484604051610727929190611a00565b60405180910390a36107ea565b60005b82518110156107e8576107d5858585848151811061077e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151600001518685815181106107c3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516020015186610dce565b80806107e090611d1e565b915050610737565b505b6000808473ffffffffffffffffffffffffffffffffffffffff1634604051610811906118bd565b60006040518083038185875af1925050503d806000811461084e576040519150601f19603f3d011682016040523d82523d6000602084013e610853565b606091505b5091509150818015610881575060008151148061088057508080602001905181019061087f91906116d7565b5b5b61088a57600080fd5b505050505050565b60005b82518110156109c5576109b28482815181106108da577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015184838151811061091b577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602002602001015160000151858481518110610960577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151602001518585815181106109a5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516109cb565b80806109bd90611d1e565b915050610895565b50505050565b6000806060600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415610a7c573492508673ffffffffffffffffffffffffffffffffffffffff1634604051610a2c906118bd565b60006040518083038185875af1925050503d8060008114610a69576040519150601f19603f3d011682016040523d82523d6000602084013e610a6e565b606091505b508092508193505050610bdb565b84600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b089190611c1d565b925050819055508573ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8887604051602401610b3e9291906118ed565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610b8c91906118a6565b6000604051808303816000865af19150503d8060008114610bc9576040519150601f19603f3d011682016040523d82523d6000602084013e610bce565b606091505b5080925081935050508492505b818015610c045750600081511480610c03575080806020019051810190610c0291906116d7565b5b5b610c0d57600080fd5b8673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fa9cd03aa3c1b4515114539cd53d22085129d495cb9e9f9af77864526240f1bf7888688604051610c6e939291906119c2565b60405180910390a350505050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d2f9190611c1d565b9250508190555080600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dc29190611bc7565b92505081905550505050565b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e5a9190611c1d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff1663095ea7b386846040518363ffffffff1660e01b8152600401610e9c929190611999565b602060405180830381600087803b158015610eb657600080fd5b505af1158015610eca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eee91906116d7565b610ef757600080fd5b8473ffffffffffffffffffffffffffffffffffffffff16631fece7b4858585856040518563ffffffff1660e01b8152600401610f36949392919061194d565b600060405180830381600087803b158015610f5057600080fd5b505af1158015610f64573d6000803e3d6000fd5b505050505050505050565b6000808373ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610fab91906118d2565b60206040518083038186803b158015610fc357600080fd5b505afa158015610fd7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ffb9190611700565b90506000808573ffffffffffffffffffffffffffffffffffffffff166323b872dd33308860405160240161103193929190611916565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505060405161107f91906118a6565b6000604051808303816000865af19150503d80600081146110bc576040519150601f19603f3d011682016040523d82523d6000602084013e6110c1565b606091505b50915091508180156110ef57506000815114806110ee5750808060200190518101906110ed91906116d7565b5b5b6110f857600080fd5b828673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161113291906118d2565b60206040518083038186803b15801561114a57600080fd5b505afa15801561115e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111829190611700565b61118c9190611c1d565b935050505092915050565b60006111aa6111a584611aa7565b611a82565b905080838252602082019050828560208602820111156111c957600080fd5b60005b858110156111f957816111df888261130a565b8452602084019350602083019250506001810190506111cc565b5050509392505050565b600061121661121184611ad3565b611a82565b9050808382526020820190508260005b85811015611256578135850161123c88826113c7565b845260208401935060208301925050600181019050611226565b5050509392505050565b600061127361126e84611aff565b611a82565b9050808382526020820190508285604086028201111561129257600080fd5b60005b858110156112c257816112a888826113f1565b845260208401935060408301925050600181019050611295565b5050509392505050565b60006112df6112da84611b2b565b611a82565b9050828152602081018484840111156112f757600080fd5b611302848285611cab565b509392505050565b60008135905061131981611dd9565b92915050565b60008135905061132e81611df0565b92915050565b600082601f83011261134557600080fd5b8135611355848260208601611197565b91505092915050565b600082601f83011261136f57600080fd5b813561137f848260208601611203565b91505092915050565b600082601f83011261139957600080fd5b81356113a9848260208601611260565b91505092915050565b6000815190506113c181611e07565b92915050565b600082601f8301126113d857600080fd5b81356113e88482602086016112cc565b91505092915050565b60006040828403121561140357600080fd5b61140d6040611a82565b9050600061141d8482850161130a565b60008301525060206114318482850161143d565b60208301525092915050565b60008135905061144c81611e1e565b92915050565b60008151905061146181611e1e565b92915050565b6000806000806080858703121561147d57600080fd5b600061148b8782880161131f565b945050602061149c8782880161130a565b93505060406114ad8782880161143d565b925050606085013567ffffffffffffffff8111156114ca57600080fd5b6114d6878288016113c7565b91505092959194509250565b600080604083850312156114f557600080fd5b60006115038582860161130a565b92505060206115148582860161130a565b9150509250929050565b6000806000806080858703121561153457600080fd5b60006115428782880161130a565b94505060206115538782880161131f565b935050604085013567ffffffffffffffff81111561157057600080fd5b61157c87828801611388565b925050606085013567ffffffffffffffff81111561159957600080fd5b6115a5878288016113c7565b91505092959194509250565b600080600080600060a086880312156115c957600080fd5b60006115d78882890161130a565b95505060206115e88882890161130a565b94505060406115f98882890161130a565b935050606061160a8882890161143d565b925050608086013567ffffffffffffffff81111561162757600080fd5b611633888289016113c7565b9150509295509295909350565b60008060006060848603121561165557600080fd5b600084013567ffffffffffffffff81111561166f57600080fd5b61167b86828701611334565b935050602084013567ffffffffffffffff81111561169857600080fd5b6116a486828701611388565b925050604084013567ffffffffffffffff8111156116c157600080fd5b6116cd8682870161135e565b9150509250925092565b6000602082840312156116e957600080fd5b60006116f7848285016113b2565b91505092915050565b60006020828403121561171257600080fd5b600061172084828501611452565b91505092915050565b60006117358383611859565b60408301905092915050565b61174a81611c63565b82525050565b61175981611c51565b82525050565b61176881611c51565b82525050565b600061177982611b6c565b6117838185611b9a565b935061178e83611b5c565b8060005b838110156117bf5781516117a68882611729565b97506117b183611b8d565b925050600181019050611792565b5085935050505092915050565b60006117d782611b77565b6117e18185611bab565b93506117f1818560208601611cba565b80840191505092915050565b600061180882611b82565b6118128185611bb6565b9350611822818560208601611cba565b61182b81611dc5565b840191505092915050565b6000611843600083611bab565b915061184e82611dd6565b600082019050919050565b60408201600082015161186f6000850182611750565b5060208201516118826020850182611888565b50505050565b61189181611ca1565b82525050565b6118a081611ca1565b82525050565b60006118b282846117cc565b915081905092915050565b60006118c882611836565b9150819050919050565b60006020820190506118e7600083018461175f565b92915050565b60006040820190506119026000830185611741565b61190f6020830184611897565b9392505050565b600060608201905061192b600083018661175f565b611938602083018561175f565b6119456040830184611897565b949350505050565b6000608082019050611962600083018761175f565b61196f602083018661175f565b61197c6040830185611897565b818103606083015261198e81846117fd565b905095945050505050565b60006040820190506119ae600083018561175f565b6119bb6020830184611897565b9392505050565b60006060820190506119d7600083018661175f565b6119e46020830185611897565b81810360408301526119f681846117fd565b9050949350505050565b60006040820190508181036000830152611a1a818561176e565b90508181036020830152611a2e81846117fd565b90509392505050565b6000602082019050611a4c6000830184611897565b92915050565b6000604082019050611a676000830185611897565b8181036020830152611a7981846117fd565b90509392505050565b6000611a8c611a9d565b9050611a988282611ced565b919050565b6000604051905090565b600067ffffffffffffffff821115611ac257611ac1611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611aee57611aed611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611b1a57611b19611d96565b5b602082029050602081019050919050565b600067ffffffffffffffff821115611b4657611b45611d96565b5b611b4f82611dc5565b9050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b6000611bd282611ca1565b9150611bdd83611ca1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611c1257611c11611d67565b5b828201905092915050565b6000611c2882611ca1565b9150611c3383611ca1565b925082821015611c4657611c45611d67565b5b828203905092915050565b6000611c5c82611c81565b9050919050565b6000611c6e82611c81565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015611cd8578082015181840152602081019050611cbd565b83811115611ce7576000848401525b50505050565b611cf682611dc5565b810181811067ffffffffffffffff82111715611d1557611d14611d96565b5b80604052505050565b6000611d2982611ca1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415611d5c57611d5b611d67565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b50565b611de281611c51565b8114611ded57600080fd5b50565b611df981611c63565b8114611e0457600080fd5b50565b611e1081611c75565b8114611e1b57600080fd5b50565b611e2781611ca1565b8114611e3257600080fd5b5056fea2646970667358221220be5304de0da304677bca7f066dd63b4d331fffbd681288e682a07117d061ea1664736f6c63430008030033

550:5971:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;779:66;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2676:399;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1692:788;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4408:801;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3957:277;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3234:692;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;583:64;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;779:66;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2676:399::-;2827:4;2809:23;;:6;:23;;;2805:263;;;2848:42;2866:8;2876:5;2883:6;2848:17;:42::i;:::-;2940:8;2910:60;;2928:10;2910:60;;;2950:5;2957:6;2965:4;2910:60;;;;;;;;:::i;:::-;;;;;;;;2805:263;;;3003:53;3018:6;3026:8;3036:5;3043:6;3051:4;3003:14;:53::i;:::-;2805:263;2676:399;;;;;:::o;1692:788::-;1808:15;1854:1;1837:19;;:5;:19;;;1834:584;;;1885:9;1872:22;;1910:12;1924:17;1945:5;:10;;1962;1945:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1909:68;;;;2000:7;:57;;;;;2027:1;2012:4;:11;:16;:44;;;;2043:4;2032:24;;;;;;;;;;;;:::i;:::-;2012:44;2000:57;1992:66;;;;;;1834:584;;;;;2088:4;;;;;;;;;;2079:13;;:5;:13;;;2076:342;;;2122:6;2109:19;;2149:4;;;;;;;;;;2143:22;;;2174:4;2181:6;2143:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2210:4;;;;;;;;;;2203:17;;;2221:6;2203:25;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2076:342;;;2274:31;2291:5;2298:6;2274:16;:31::i;:::-;2261:44;;2370:10;2338:14;:21;2353:5;2338:21;;;;;;;;;;;;;;;:28;2360:5;2338:28;;;;;;;;;;;;;;;;:42;;;;;;;:::i;:::-;;;;;;;;2076:342;1834:584;2448:5;2433:39;;2441:5;2433:39;;;2455:10;2467:4;2433:39;;;;;;;:::i;:::-;;;;;;;;1692:788;;;;;:::o;4408:801::-;4566:4;4548:23;;:6;:23;;;4544:461;;;4591:6;4587:131;4607:5;:12;4603:1;:16;4587:131;;;4644:58;4662:6;4670:5;4676:1;4670:8;;;;;;;;;;;;;;;;;;;;;;:14;;;4686:5;4692:1;4686:8;;;;;;;;;;;;;;;;;;;;;;:15;;;4644:17;:58::i;:::-;4621:3;;;;;:::i;:::-;;;;4587:131;;;;4763:6;4737:46;;4751:10;4737:46;;;4771:5;4778:4;4737:46;;;;;;;:::i;:::-;;;;;;;;4544:461;;;4856:6;4852:142;4872:5;:12;4868:1;:16;4852:142;;;4909:69;4924:6;4932;4940:5;4946:1;4940:8;;;;;;;;;;;;;;;;;;;;;;:14;;;4956:5;4962:1;4956:8;;;;;;;;;;;;;;;;;;;;;;:15;;;4973:4;4909:14;:69::i;:::-;4886:3;;;;;:::i;:::-;;;;4852:142;;;;4544:461;5016:12;5030:17;5051:6;:11;;5069:9;5051:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5015:68;;;;5143:7;:57;;;;;5170:1;5155:4;:11;:16;:44;;;;5186:4;5175:24;;;;;;;;;;;;:::i;:::-;5155:44;5143:57;5135:66;;;;;;4408:801;;;;;;:::o;3957:277::-;4088:6;4084:143;4104:5;:12;4100:1;:16;4084:143;;;4137:78;4157:10;4168:1;4157:13;;;;;;;;;;;;;;;;;;;;;;4173:5;4179:1;4173:8;;;;;;;;;;;;;;;;;;;;;;:14;;;4189:5;4195:1;4189:8;;;;;;;;;;;;;;;;;;;;;;:15;;;4206:5;4212:1;4206:8;;;;;;;;;;;;;;;;;;;;;;4137:11;:78::i;:::-;4118:3;;;;;:::i;:::-;;;;4084:143;;;;3957:277;;;:::o;3234:692::-;3349:15;3366:12;3380:17;3428:1;3411:19;;:5;:19;;;3408:366;;;3459:9;3446:22;;3501:2;:7;;3515:9;3501:28;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3483:46;;;;;;;;3408:366;;;3611:6;3574:14;:26;3589:10;3574:26;;;;;;;;;;;;;;;:33;3601:5;3574:33;;;;;;;;;;;;;;;;:43;;;;;;;:::i;:::-;;;;;;;;3670:5;:10;;3704;3716:2;3720:6;3681:46;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3670:58;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3652:76;;;;;;;;3756:6;3743:19;;3408:366;3792:7;:57;;;;;3819:1;3804:4;:11;:16;:44;;;;3835:4;3824:24;;;;;;;;;;;;:::i;:::-;3804:44;3792:57;3784:66;;;;;;3890:2;3866:52;;3878:10;3866:52;;;3894:5;3901:10;3913:4;3866:52;;;;;;;;:::i;:::-;;;;;;;;3234:692;;;;;;;:::o;583:64::-;;;;;;;;;;;;:::o;5869:204::-;6003:7;5965:14;:26;5980:10;5965:26;;;;;;;;;;;;;;;:34;5992:6;5965:34;;;;;;;;;;;;;;;;:45;;;;;;;:::i;:::-;;;;;;;;6058:7;6021:14;:25;6036:9;6021:25;;;;;;;;;;;;;;;:33;6047:6;6021:33;;;;;;;;;;;;;;;;:44;;;;;;;:::i;:::-;;;;;;;;5869:204;;;:::o;6175:343::-;6341:7;6303:14;:26;6318:10;6303:26;;;;;;;;;;;;;;;:34;6330:6;6303:34;;;;;;;;;;;;;;;;:45;;;;;;;:::i;:::-;;;;;;;;6374:6;6367:22;;;6390:7;6399;6367:40;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6359:49;;;;;;6450:7;6442:24;;;6467:6;6475;6483:7;6492:5;6442:56;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6175:343;;;;;:::o;5358:439::-;5431:11;5455:14;5479:6;5472:24;;;5505:4;5472:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5455:56;;5523:12;5537:17;5558:6;:11;;5593:10;5605;5625:4;5632:7;5570:70;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5558:83;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5522:119;;;;5660:7;:57;;;;;5687:1;5672:4;:11;:16;:44;;;;5703:4;5692:24;;;;;;;;;;;;:::i;:::-;5672:44;5660:57;5652:66;;;;;;5779:9;5744:6;5737:24;;;5770:4;5737:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;;;;:::i;:::-;5729:60;;;;;5358:439;;;;:::o;24:623:1:-;;145:81;161:64;218:6;161:64;:::i;:::-;145:81;:::i;:::-;136:90;;246:5;274:6;267:5;260:21;300:4;293:5;289:16;282:23;;325:6;375:3;367:4;359:6;355:17;350:3;346:27;343:36;340:2;;;392:1;389;382:12;340:2;420:1;405:236;430:6;427:1;424:13;405:236;;;497:3;525:37;558:3;546:10;525:37;:::i;:::-;520:3;513:50;592:4;587:3;583:14;576:21;;626:4;621:3;617:14;610:21;;465:176;452:1;449;445:9;440:14;;405:236;;;409:14;126:521;;;;;;;:::o;669:616::-;;800:91;816:74;883:6;816:74;:::i;:::-;800:91;:::i;:::-;791:100;;911:5;939:6;932:5;925:21;965:4;958:5;954:16;947:23;;990:6;1021:1;1006:273;1031:6;1028:1;1025:13;1006:273;;;1123:3;1110:17;1102:6;1098:30;1153:47;1196:3;1184:10;1153:47;:::i;:::-;1148:3;1141:60;1230:4;1225:3;1221:14;1214:21;;1264:4;1259:3;1255:14;1248:21;;1066:213;1053:1;1050;1046:9;1041:14;;1006:273;;;1010:14;781:504;;;;;;;:::o;1329:683::-;;1470:101;1486:84;1563:6;1486:84;:::i;:::-;1470:101;:::i;:::-;1461:110;;1591:5;1619:6;1612:5;1605:21;1645:4;1638:5;1634:16;1627:23;;1670:6;1720:3;1712:4;1704:6;1700:17;1695:3;1691:27;1688:36;1685:2;;;1737:1;1734;1727:12;1685:2;1765:1;1750:256;1775:6;1772:1;1769:13;1750:256;;;1842:3;1870:57;1923:3;1911:10;1870:57;:::i;:::-;1865:3;1858:70;1957:4;1952:3;1948:14;1941:21;;1991:4;1986:3;1982:14;1975:21;;1810:196;1797:1;1794;1790:9;1785:14;;1750:256;;;1754:14;1451:561;;;;;;;:::o;2018:345::-;;2121:66;2137:49;2179:6;2137:49;:::i;:::-;2121:66;:::i;:::-;2112:75;;2210:6;2203:5;2196:21;2248:4;2241:5;2237:16;2286:3;2277:6;2272:3;2268:16;2265:25;2262:2;;;2303:1;2300;2293:12;2262:2;2316:41;2350:6;2345:3;2340;2316:41;:::i;:::-;2102:261;;;;;;:::o;2369:139::-;;2453:6;2440:20;2431:29;;2469:33;2496:5;2469:33;:::i;:::-;2421:87;;;;:::o;2514:155::-;;2606:6;2593:20;2584:29;;2622:41;2657:5;2622:41;:::i;:::-;2574:95;;;;:::o;2692:303::-;;2812:3;2805:4;2797:6;2793:17;2789:27;2779:2;;2830:1;2827;2820:12;2779:2;2870:6;2857:20;2895:94;2985:3;2977:6;2970:4;2962:6;2958:17;2895:94;:::i;:::-;2886:103;;2769:226;;;;;:::o;3017:323::-;;3147:3;3140:4;3132:6;3128:17;3124:27;3114:2;;3165:1;3162;3155:12;3114:2;3205:6;3192:20;3230:104;3330:3;3322:6;3315:4;3307:6;3303:17;3230:104;:::i;:::-;3221:113;;3104:236;;;;;:::o;3384:343::-;;3524:3;3517:4;3509:6;3505:17;3501:27;3491:2;;3542:1;3539;3532:12;3491:2;3582:6;3569:20;3607:114;3717:3;3709:6;3702:4;3694:6;3690:17;3607:114;:::i;:::-;3598:123;;3481:246;;;;;:::o;3733:137::-;;3818:6;3812:13;3803:22;;3834:30;3858:5;3834:30;:::i;:::-;3793:77;;;;:::o;3890:273::-;;3995:3;3988:4;3980:6;3976:17;3972:27;3962:2;;4013:1;4010;4003:12;3962:2;4053:6;4040:20;4078:79;4153:3;4145:6;4138:4;4130:6;4126:17;4078:79;:::i;:::-;4069:88;;3952:211;;;;;:::o;4205:505::-;;4318:4;4306:9;4301:3;4297:19;4293:30;4290:2;;;4336:1;4333;4326:12;4290:2;4358:21;4374:4;4358:21;:::i;:::-;4349:30;;4439:1;4479:49;4524:3;4515:6;4504:9;4500:22;4479:49;:::i;:::-;4472:4;4465:5;4461:16;4454:75;4389:151;4601:2;4642:49;4687:3;4678:6;4667:9;4663:22;4642:49;:::i;:::-;4635:4;4628:5;4624:16;4617:75;4550:153;4280:430;;;;:::o;4716:139::-;;4800:6;4787:20;4778:29;;4816:33;4843:5;4816:33;:::i;:::-;4768:87;;;;:::o;4861:143::-;;4949:6;4943:13;4934:22;;4965:33;4992:5;4965:33;:::i;:::-;4924:80;;;;:::o;5010:827::-;;;;;5187:3;5175:9;5166:7;5162:23;5158:33;5155:2;;;5204:1;5201;5194:12;5155:2;5247:1;5272:61;5325:7;5316:6;5305:9;5301:22;5272:61;:::i;:::-;5262:71;;5218:125;5382:2;5408:53;5453:7;5444:6;5433:9;5429:22;5408:53;:::i;:::-;5398:63;;5353:118;5510:2;5536:53;5581:7;5572:6;5561:9;5557:22;5536:53;:::i;:::-;5526:63;;5481:118;5666:2;5655:9;5651:18;5638:32;5697:18;5689:6;5686:30;5683:2;;;5729:1;5726;5719:12;5683:2;5757:63;5812:7;5803:6;5792:9;5788:22;5757:63;:::i;:::-;5747:73;;5609:221;5145:692;;;;;;;:::o;5843:407::-;;;5968:2;5956:9;5947:7;5943:23;5939:32;5936:2;;;5984:1;5981;5974:12;5936:2;6027:1;6052:53;6097:7;6088:6;6077:9;6073:22;6052:53;:::i;:::-;6042:63;;5998:117;6154:2;6180:53;6225:7;6216:6;6205:9;6201:22;6180:53;:::i;:::-;6170:63;;6125:118;5926:324;;;;;:::o;6256:1010::-;;;;;6478:3;6466:9;6457:7;6453:23;6449:33;6446:2;;;6495:1;6492;6485:12;6446:2;6538:1;6563:53;6608:7;6599:6;6588:9;6584:22;6563:53;:::i;:::-;6553:63;;6509:117;6665:2;6691:61;6744:7;6735:6;6724:9;6720:22;6691:61;:::i;:::-;6681:71;;6636:126;6829:2;6818:9;6814:18;6801:32;6860:18;6852:6;6849:30;6846:2;;;6892:1;6889;6882:12;6846:2;6920:98;7010:7;7001:6;6990:9;6986:22;6920:98;:::i;:::-;6910:108;;6772:256;7095:2;7084:9;7080:18;7067:32;7126:18;7118:6;7115:30;7112:2;;;7158:1;7155;7148:12;7112:2;7186:63;7241:7;7232:6;7221:9;7217:22;7186:63;:::i;:::-;7176:73;;7038:221;6436:830;;;;;;;:::o;7272:957::-;;;;;;7458:3;7446:9;7437:7;7433:23;7429:33;7426:2;;;7475:1;7472;7465:12;7426:2;7518:1;7543:53;7588:7;7579:6;7568:9;7564:22;7543:53;:::i;:::-;7533:63;;7489:117;7645:2;7671:53;7716:7;7707:6;7696:9;7692:22;7671:53;:::i;:::-;7661:63;;7616:118;7773:2;7799:53;7844:7;7835:6;7824:9;7820:22;7799:53;:::i;:::-;7789:63;;7744:118;7901:2;7927:53;7972:7;7963:6;7952:9;7948:22;7927:53;:::i;:::-;7917:63;;7872:118;8057:3;8046:9;8042:19;8029:33;8089:18;8081:6;8078:30;8075:2;;;8121:1;8118;8111:12;8075:2;8149:63;8204:7;8195:6;8184:9;8180:22;8149:63;:::i;:::-;8139:73;;8000:222;7416:813;;;;;;;;:::o;8235:1041::-;;;;8482:2;8470:9;8461:7;8457:23;8453:32;8450:2;;;8498:1;8495;8488:12;8450:2;8569:1;8558:9;8554:17;8541:31;8599:18;8591:6;8588:30;8585:2;;;8631:1;8628;8621:12;8585:2;8659:78;8729:7;8720:6;8709:9;8705:22;8659:78;:::i;:::-;8649:88;;8512:235;8814:2;8803:9;8799:18;8786:32;8845:18;8837:6;8834:30;8831:2;;;8877:1;8874;8867:12;8831:2;8905:98;8995:7;8986:6;8975:9;8971:22;8905:98;:::i;:::-;8895:108;;8757:256;9080:2;9069:9;9065:18;9052:32;9111:18;9103:6;9100:30;9097:2;;;9143:1;9140;9133:12;9097:2;9171:88;9251:7;9242:6;9231:9;9227:22;9171:88;:::i;:::-;9161:98;;9023:246;8440:836;;;;;:::o;9282:278::-;;9398:2;9386:9;9377:7;9373:23;9369:32;9366:2;;;9414:1;9411;9404:12;9366:2;9457:1;9482:61;9535:7;9526:6;9515:9;9511:22;9482:61;:::i;:::-;9472:71;;9428:125;9356:204;;;;:::o;9566:284::-;;9685:2;9673:9;9664:7;9660:23;9656:32;9653:2;;;9701:1;9698;9691:12;9653:2;9744:1;9769:64;9825:7;9816:6;9805:9;9801:22;9769:64;:::i;:::-;9759:74;;9715:128;9643:207;;;;:::o;9856:259::-;;9986:86;10068:3;10060:6;9986:86;:::i;:::-;10104:4;10099:3;10095:14;10081:28;;9976:139;;;;:::o;10121:142::-;10224:32;10250:5;10224:32;:::i;:::-;10219:3;10212:45;10202:61;;:::o;10269:108::-;10346:24;10364:5;10346:24;:::i;:::-;10341:3;10334:37;10324:53;;:::o;10383:118::-;10470:24;10488:5;10470:24;:::i;:::-;10465:3;10458:37;10448:53;;:::o;10579:892::-;;10767:74;10835:5;10767:74;:::i;:::-;10857:106;10956:6;10951:3;10857:106;:::i;:::-;10850:113;;10987:76;11057:5;10987:76;:::i;:::-;11086:7;11117:1;11102:344;11127:6;11124:1;11121:13;11102:344;;;11203:6;11197:13;11230:103;11329:3;11314:13;11230:103;:::i;:::-;11223:110;;11356:80;11429:6;11356:80;:::i;:::-;11346:90;;11162:284;11149:1;11146;11142:9;11137:14;;11102:344;;;11106:14;11462:3;11455:10;;10743:728;;;;;;;:::o;11477:373::-;;11609:38;11641:5;11609:38;:::i;:::-;11663:88;11744:6;11739:3;11663:88;:::i;:::-;11656:95;;11760:52;11805:6;11800:3;11793:4;11786:5;11782:16;11760:52;:::i;:::-;11837:6;11832:3;11828:16;11821:23;;11585:265;;;;;:::o;11856:364::-;;11972:39;12005:5;11972:39;:::i;:::-;12027:71;12091:6;12086:3;12027:71;:::i;:::-;12020:78;;12107:52;12152:6;12147:3;12140:4;12133:5;12129:16;12107:52;:::i;:::-;12184:29;12206:6;12184:29;:::i;:::-;12179:3;12175:39;12168:46;;11948:272;;;;;:::o;12226:398::-;;12406:83;12487:1;12482:3;12406:83;:::i;:::-;12399:90;;12498:93;12587:3;12498:93;:::i;:::-;12616:1;12611:3;12607:11;12600:18;;12389:235;;;:::o;12698:490::-;12825:4;12820:3;12816:14;12913:4;12906:5;12902:16;12896:23;12932:63;12989:4;12984:3;12980:14;12966:12;12932:63;:::i;:::-;12840:165;13089:4;13082:5;13078:16;13072:23;13108:63;13165:4;13160:3;13156:14;13142:12;13108:63;:::i;:::-;13015:166;12794:394;;;:::o;13194:108::-;13271:24;13289:5;13271:24;:::i;:::-;13266:3;13259:37;13249:53;;:::o;13308:118::-;13395:24;13413:5;13395:24;:::i;:::-;13390:3;13383:37;13373:53;;:::o;13432:271::-;;13584:93;13673:3;13664:6;13584:93;:::i;:::-;13577:100;;13694:3;13687:10;;13566:137;;;;:::o;13709:379::-;;13915:147;14058:3;13915:147;:::i;:::-;13908:154;;14079:3;14072:10;;13897:191;;;:::o;14094:222::-;;14225:2;14214:9;14210:18;14202:26;;14238:71;14306:1;14295:9;14291:17;14282:6;14238:71;:::i;:::-;14192:124;;;;:::o;14322:364::-;;14497:2;14486:9;14482:18;14474:26;;14510:87;14594:1;14583:9;14579:17;14570:6;14510:87;:::i;:::-;14607:72;14675:2;14664:9;14660:18;14651:6;14607:72;:::i;:::-;14464:222;;;;;:::o;14692:442::-;;14879:2;14868:9;14864:18;14856:26;;14892:71;14960:1;14949:9;14945:17;14936:6;14892:71;:::i;:::-;14973:72;15041:2;15030:9;15026:18;15017:6;14973:72;:::i;:::-;15055;15123:2;15112:9;15108:18;15099:6;15055:72;:::i;:::-;14846:288;;;;;;:::o;15140:644::-;;15375:3;15364:9;15360:19;15352:27;;15389:71;15457:1;15446:9;15442:17;15433:6;15389:71;:::i;:::-;15470:72;15538:2;15527:9;15523:18;15514:6;15470:72;:::i;:::-;15552;15620:2;15609:9;15605:18;15596:6;15552:72;:::i;:::-;15671:9;15665:4;15661:20;15656:2;15645:9;15641:18;15634:48;15699:78;15772:4;15763:6;15699:78;:::i;:::-;15691:86;;15342:442;;;;;;;:::o;15790:332::-;;15949:2;15938:9;15934:18;15926:26;;15962:71;16030:1;16019:9;16015:17;16006:6;15962:71;:::i;:::-;16043:72;16111:2;16100:9;16096:18;16087:6;16043:72;:::i;:::-;15916:206;;;;;:::o;16128:533::-;;16335:2;16324:9;16320:18;16312:26;;16348:71;16416:1;16405:9;16401:17;16392:6;16348:71;:::i;:::-;16429:72;16497:2;16486:9;16482:18;16473:6;16429:72;:::i;:::-;16548:9;16542:4;16538:20;16533:2;16522:9;16518:18;16511:48;16576:78;16649:4;16640:6;16576:78;:::i;:::-;16568:86;;16302:359;;;;;;:::o;16667:654::-;;16936:2;16925:9;16921:18;16913:26;;16985:9;16979:4;16975:20;16971:1;16960:9;16956:17;16949:47;17013:148;17156:4;17147:6;17013:148;:::i;:::-;17005:156;;17208:9;17202:4;17198:20;17193:2;17182:9;17178:18;17171:48;17236:78;17309:4;17300:6;17236:78;:::i;:::-;17228:86;;16903:418;;;;;:::o;17327:222::-;;17458:2;17447:9;17443:18;17435:26;;17471:71;17539:1;17528:9;17524:17;17515:6;17471:71;:::i;:::-;17425:124;;;;:::o;17555:423::-;;17734:2;17723:9;17719:18;17711:26;;17747:71;17815:1;17804:9;17800:17;17791:6;17747:71;:::i;:::-;17865:9;17859:4;17855:20;17850:2;17839:9;17835:18;17828:48;17893:78;17966:4;17957:6;17893:78;:::i;:::-;17885:86;;17701:277;;;;;:::o;17984:129::-;;18045:20;;:::i;:::-;18035:30;;18074:33;18102:4;18094:6;18074:33;:::i;:::-;18025:88;;;:::o;18119:75::-;;18185:2;18179:9;18169:19;;18159:35;:::o;18200:311::-;;18367:18;18359:6;18356:30;18353:2;;;18389:18;;:::i;:::-;18353:2;18439:4;18431:6;18427:17;18419:25;;18499:4;18493;18489:15;18481:23;;18282:229;;;:::o;18517:321::-;;18694:18;18686:6;18683:30;18680:2;;;18716:18;;:::i;:::-;18680:2;18766:4;18758:6;18754:17;18746:25;;18826:4;18820;18816:15;18808:23;;18609:229;;;:::o;18844:331::-;;19031:18;19023:6;19020:30;19017:2;;;19053:18;;:::i;:::-;19017:2;19103:4;19095:6;19091:17;19083:25;;19163:4;19157;19153:15;19145:23;;18946:229;;;:::o;19181:308::-;;19333:18;19325:6;19322:30;19319:2;;;19355:18;;:::i;:::-;19319:2;19393:29;19415:6;19393:29;:::i;:::-;19385:37;;19477:4;19471;19467:15;19459:23;;19248:241;;;:::o;19495:152::-;;19605:3;19597:11;;19635:4;19630:3;19626:14;19618:22;;19587:60;;;:::o;19653:134::-;;19774:5;19768:12;19758:22;;19747:40;;;:::o;19793:98::-;;19878:5;19872:12;19862:22;;19851:40;;;:::o;19897:99::-;;19983:5;19977:12;19967:22;;19956:40;;;:::o;20002:133::-;;20124:4;20119:3;20115:14;20107:22;;20097:38;;;:::o;20141:204::-;;20294:6;20289:3;20282:19;20334:4;20329:3;20325:14;20310:29;;20272:73;;;;:::o;20351:147::-;;20489:3;20474:18;;20464:34;;;;:::o;20504:169::-;;20622:6;20617:3;20610:19;20662:4;20657:3;20653:14;20638:29;;20600:73;;;;:::o;20679:305::-;;20738:20;20756:1;20738:20;:::i;:::-;20733:25;;20772:20;20790:1;20772:20;:::i;:::-;20767:25;;20926:1;20858:66;20854:74;20851:1;20848:81;20845:2;;;20932:18;;:::i;:::-;20845:2;20976:1;20973;20969:9;20962:16;;20723:261;;;;:::o;20990:191::-;;21050:20;21068:1;21050:20;:::i;:::-;21045:25;;21084:20;21102:1;21084:20;:::i;:::-;21079:25;;21123:1;21120;21117:8;21114:2;;;21128:18;;:::i;:::-;21114:2;21173:1;21170;21166:9;21158:17;;21035:146;;;;:::o;21187:96::-;;21253:24;21271:5;21253:24;:::i;:::-;21242:35;;21232:51;;;:::o;21289:104::-;;21363:24;21381:5;21363:24;:::i;:::-;21352:35;;21342:51;;;:::o;21399:90::-;;21476:5;21469:13;21462:21;21451:32;;21441:48;;;:::o;21495:126::-;;21572:42;21565:5;21561:54;21550:65;;21540:81;;;:::o;21627:77::-;;21693:5;21682:16;;21672:32;;;:::o;21710:154::-;21794:6;21789:3;21784;21771:30;21856:1;21847:6;21842:3;21838:16;21831:27;21761:103;;;:::o;21870:307::-;21938:1;21948:113;21962:6;21959:1;21956:13;21948:113;;;22047:1;22042:3;22038:11;22032:18;22028:1;22023:3;22019:11;22012:39;21984:2;21981:1;21977:10;21972:15;;21948:113;;;22079:6;22076:1;22073:13;22070:2;;;22159:1;22150:6;22145:3;22141:16;22134:27;22070:2;21919:258;;;;:::o;22183:281::-;22266:27;22288:4;22266:27;:::i;:::-;22258:6;22254:40;22396:6;22384:10;22381:22;22360:18;22348:10;22345:34;22342:62;22339:2;;;22407:18;;:::i;:::-;22339:2;22447:10;22443:2;22436:22;22226:238;;;:::o;22470:233::-;;22532:24;22550:5;22532:24;:::i;:::-;22523:33;;22578:66;22571:5;22568:77;22565:2;;;22648:18;;:::i;:::-;22565:2;22695:1;22688:5;22684:13;22677:20;;22513:190;;;:::o;22709:180::-;22757:77;22754:1;22747:88;22854:4;22851:1;22844:15;22878:4;22875:1;22868:15;22895:180;22943:77;22940:1;22933:88;23040:4;23037:1;23030:15;23064:4;23061:1;23054:15;23081:102;;23173:2;23169:7;23164:2;23157:5;23153:14;23149:28;23139:38;;23129:54;;;:::o;23189:114::-;23295:8;:::o;23309:122::-;23382:24;23400:5;23382:24;:::i;:::-;23375:5;23372:35;23362:2;;23421:1;23418;23411:12;23362:2;23352:79;:::o;23437:138::-;23518:32;23544:5;23518:32;:::i;:::-;23511:5;23508:43;23498:2;;23565:1;23562;23555:12;23498:2;23488:87;:::o;23581:116::-;23651:21;23666:5;23651:21;:::i;:::-;23644:5;23641:32;23631:2;;23687:1;23684;23677:12;23631:2;23621:76;:::o;23703:122::-;23776:24;23794:5;23776:24;:::i;:::-;23769:5;23766:35;23756:2;;23815:1;23812;23805:12;23756:2;23746:79;:::o

ipfs://be5304de0da304677bca7f066dd63b4d331fffbd681288e682a07117d061ea16