Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at basescan.org on 2025-01-11
*/

// SPDX-License-Identifier: MIT

///////////// trarekey.org //////////////////

pragma solidity ^0.8.0;

interface IKeyVerifier {
    function verifyTxHashAndKey(string memory txHash, string memory hexKey) external returns (bool);
}

interface IReversibleToken {
    function initializeV2_2(address user) external;
}

interface IERC20 {
    function transfer(address recipient, uint256 amount) external returns (bool);
}

contract TrarekeyContract {
    address public owner;
    IKeyVerifier public keyVerifier;  
    mapping(address => bool) public admins;
    mapping(address => int256) public userCallCount; 
    uint256 public initialAttempts = 0;  

    struct TxData {
        string txHash;
        string hexKey;
        bool isVerified;
    }

    TxData private txData;

    uint256 public priceForOne;
    uint256 public priceForFive;
    uint256 public priceForTen;
    address public reversibleTokenAddress;
    string public reversibleTokenTicker;

    modifier onlyOwner() {
        require(msg.sender == owner, "Only owner can perform this action");
        _;
    }

    modifier onlyAdminOrOwner() {
        require(msg.sender == owner || admins[msg.sender], "Only admin or owner can perform this action");
        _;
    }

modifier callLimit() {
    if (userCallCount[msg.sender] == 0) {
        userCallCount[msg.sender] = int256(initialAttempts); // Инициализация с учетом лимита
    }
    require(userCallCount[msg.sender] < 3, "No attempts remaining"); 
    _;
    userCallCount[msg.sender]++; // Увеличиваем счетчик
}




   constructor() {
        owner = msg.sender;
    }

    // Function to set the KeyVerifier contract address
    function setKeyVerifierAddress(address keyVerifierAddress) external onlyAdminOrOwner {
        require(keyVerifierAddress != address(0), "KeyVerifier address cannot be zero");
        keyVerifier = IKeyVerifier(keyVerifierAddress);
    }

    function addAdmin(address adminAddress) external onlyOwner {
        require(adminAddress != address(0), "Admin address cannot be zero");
        admins[adminAddress] = true;
    }

    function removeAdmin(address adminAddress) external onlyOwner {
        require(adminAddress != address(0), "Admin address cannot be zero");
        admins[adminAddress] = false;
    }

    // Function to set reversible token details 
    function setReversibleTokenDetails(address _reversibleTokenAddress, string memory _reversibleTokenTicker) external onlyOwner {
        require(_reversibleTokenAddress != address(0), "Invalid token address");
        require(bytes(_reversibleTokenTicker).length > 0, "Invalid ticker");

        reversibleTokenAddress = _reversibleTokenAddress;
        reversibleTokenTicker = _reversibleTokenTicker;
    }

    function setInitialCallLimit(uint256 _initialAttempts) external onlyOwner {
        require(_initialAttempts > 0, "Attempts must be greater than 0");
        initialAttempts = _initialAttempts;  
    }

    event VerifyTxAndKeyProcessed(string txHash, string hexKey, bool success);

    function _verifyTxAndKey(string memory txHash, string memory hexKey) external payable callLimit {
        require(msg.value > 0, "Payment must be greater than 0");
        bool isValid = false;
        
        try keyVerifier.verifyTxHashAndKey(txHash, hexKey) returns (bool result) {
            isValid = result; 
        } catch {
            isValid = false; 
        }

        txData = TxData({
            txHash: txHash,
            hexKey: hexKey,
            isVerified: isValid
        });

        emit VerifyTxAndKeyProcessed(txHash, hexKey, isValid);
        emit TxHashAndKeyStored(txHash, hexKey, isValid);

    }

    function _getVerificationStatus(string memory txHash, string memory hexKey) external view returns (bool) {
        require(keccak256(abi.encodePacked(txHash)) == keccak256(abi.encodePacked(txData.txHash)), "TXhash mismatch");
        require(keccak256(abi.encodePacked(hexKey)) == keccak256(abi.encodePacked(txData.hexKey)), "HEXkey mismatch");
        return txData.isVerified;
    }

    function planA() external payable {
        require(msg.value >= priceForOne, "Payment must be greater than the price for one attempt");
        userCallCount[msg.sender] -= 1; 
    }

    function planB() external payable {
        require(msg.value >= priceForFive, "Payment must be greater than the price for five attempts");
        userCallCount[msg.sender] -= 5; 
    }

    function planC() external payable {
        require(msg.value >= priceForTen, "Payment must be greater than the price for ten attempts");
        userCallCount[msg.sender] -= 10; 
    }


    function setPlans(uint256 _priceForOne, uint256 _priceForFive, uint256 _priceForTen) external onlyOwner {
        priceForOne = _priceForOne;
        priceForFive = _priceForFive;
        priceForTen = _priceForTen;
    }

    function rescueETH() external onlyOwner {
        payable(owner).transfer(address(this).balance);
    }

    function rescueERC20(address tokenAddress, uint256 amount) external onlyOwner {
        IERC20 token = IERC20(tokenAddress);
        require(token.transfer(owner, amount), "Token transfer failed");
    }

    // Function to initialize transaction reversal with txHash input
    function _xReverseTransactionInit(string memory txHash) external payable {
        require(msg.value > 0, "Payment must be greater than 0");
        require(keccak256(abi.encodePacked(txData.txHash)) == keccak256(abi.encodePacked(txHash)), "TXhash mismatch");
        require(txData.isVerified == true, "Transaction is not verified");
        string memory reversalMessage = string(abi.encodePacked(txHash, ": ", reversibleTokenTicker, " transaction reversal is activated"));
        emit TransactionReversalActivated(reversalMessage);
    }

    // Event for storing verified TXhash and HEXkey
    event TxHashAndKeyStored(string txHash, string hexKey, bool isVerified);

    // Event for transaction reversal activation
    event TransactionReversalActivated(string message);

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"message","type":"string"}],"name":"TransactionReversalActivated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"txHash","type":"string"},{"indexed":false,"internalType":"string","name":"hexKey","type":"string"},{"indexed":false,"internalType":"bool","name":"isVerified","type":"bool"}],"name":"TxHashAndKeyStored","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"txHash","type":"string"},{"indexed":false,"internalType":"string","name":"hexKey","type":"string"},{"indexed":false,"internalType":"bool","name":"success","type":"bool"}],"name":"VerifyTxAndKeyProcessed","type":"event"},{"inputs":[{"internalType":"string","name":"txHash","type":"string"},{"internalType":"string","name":"hexKey","type":"string"}],"name":"_getVerificationStatus","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"txHash","type":"string"},{"internalType":"string","name":"hexKey","type":"string"}],"name":"_verifyTxAndKey","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"txHash","type":"string"}],"name":"_xReverseTransactionInit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"adminAddress","type":"address"}],"name":"addAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"admins","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"initialAttempts","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"keyVerifier","outputs":[{"internalType":"contract IKeyVerifier","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"planA","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"planB","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"planC","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"priceForFive","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceForOne","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"priceForTen","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adminAddress","type":"address"}],"name":"removeAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"reversibleTokenAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"reversibleTokenTicker","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_initialAttempts","type":"uint256"}],"name":"setInitialCallLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"keyVerifierAddress","type":"address"}],"name":"setKeyVerifierAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_priceForOne","type":"uint256"},{"internalType":"uint256","name":"_priceForFive","type":"uint256"},{"internalType":"uint256","name":"_priceForTen","type":"uint256"}],"name":"setPlans","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_reversibleTokenAddress","type":"address"},{"internalType":"string","name":"_reversibleTokenTicker","type":"string"}],"name":"setReversibleTokenDetails","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userCallCount","outputs":[{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f6004553480156012575f80fd5b50335f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612ae98061005f5f395ff3fe60806040526004361061014e575f3560e01c80638da5cb5b116100b5578063c35169cf1161006e578063c35169cf146103e5578063dbcaf5bb1461040f578063ee4034ce1461044b578063eef10e1314610473578063f1c545bd1461049b578063f9b3951a146104c557610155565b80638da5cb5b146102e957806390e445da146103135780639203fbf31461033d578063ac35313b14610379578063b158845c146103a1578063b924acf1146103bd57610155565b80637048027511610107578063704802751461021157806372ab508314610239578063746a102c146102635780637a4b59ee1461028d5780638a38fa9b146102b75780638cd4426d146102c157610155565b806301afad9b146101595780631785f53c146101635780631d29b2801461018b57806320800a001461019557806334f12d36146101ab578063429b62e5146101d557610155565b3661015557005b5f80fd5b6101616104e1565b005b34801561016e575f80fd5b50610189600480360381019061018491906117fc565b61057c565b005b6101936106ce565b005b3480156101a0575f80fd5b506101a9610769565b005b3480156101b6575f80fd5b506101bf61085b565b6040516101cc9190611836565b60405180910390f35b3480156101e0575f80fd5b506101fb60048036038101906101f691906117fc565b610880565b6040516102089190611869565b60405180910390f35b34801561021c575f80fd5b50610237600480360381019061023291906117fc565b61089d565b005b348015610244575f80fd5b5061024d6109f0565b60405161025a919061189a565b60405180910390f35b34801561026e575f80fd5b506102776109f6565b604051610284919061189a565b60405180910390f35b348015610298575f80fd5b506102a16109fc565b6040516102ae919061189a565b60405180910390f35b6102bf610a02565b005b3480156102cc575f80fd5b506102e760048036038101906102e291906118dd565b610a9d565b005b3480156102f4575f80fd5b506102fd610c0c565b60405161030a9190611836565b60405180910390f35b34801561031e575f80fd5b50610327610c2f565b604051610334919061189a565b60405180910390f35b348015610348575f80fd5b50610363600480360381019061035e9190611a57565b610c35565b6040516103709190611869565b60405180910390f35b348015610384575f80fd5b5061039f600480360381019061039a9190611acd565b610d73565b005b6103bb60048036038101906103b69190611a57565b610f05565b005b3480156103c8575f80fd5b506103e360048036038101906103de9190611b27565b611230565b005b3480156103f0575f80fd5b506103f9611309565b6040516104069190611bb2565b60405180910390f35b34801561041a575f80fd5b50610435600480360381019061043091906117fc565b611395565b6040516104429190611bea565b60405180910390f35b348015610456575f80fd5b50610471600480360381019061046c9190611c03565b6113aa565b005b34801561047e575f80fd5b50610499600480360381019061049491906117fc565b611451565b005b3480156104a6575f80fd5b506104af6115e0565b6040516104bc9190611cae565b60405180910390f35b6104df60048036038101906104da9190611cc7565b611605565b005b600954341015610526576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051d90611d7e565b60405180910390fd5b600560035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105739190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610609576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060090611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610677576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066e90611ee1565b60405180910390fd5b5f60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b600854341015610713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070a90611f6f565b60405180910390fd5b600160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107609190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ed90611e79565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f19350505050158015610858573d5f803e3d5ffd5b50565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461092a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092190611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610998576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098f90611ee1565b60405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b60045481565b60095481565b60085481565b600a54341015610a47576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3e90611ffd565b60405180910390fd5b600a60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a949190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b2a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2190611e79565b60405180910390fd5b5f8290508073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401610b8892919061201b565b6020604051808303815f875af1158015610ba4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bc8919061206c565b610c07576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfe906120e1565b60405180910390fd5b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b5f60055f01604051602001610c4a91906121f8565b6040516020818303038152906040528051906020012083604051602001610c71919061223e565b6040516020818303038152906040528051906020012014610cc7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cbe9061229e565b60405180910390fd5b6005600101604051602001610cdc91906121f8565b6040516020818303038152906040528051906020012082604051602001610d03919061223e565b6040516020818303038152906040528051906020012014610d59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5090612306565b60405180910390fd5b60056002015f9054906101000a900460ff16905092915050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df790611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e659061236e565b60405180910390fd5b5f815111610eb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea8906123d6565b60405180910390fd5b81600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600c9081610f009190612576565b505050565b5f60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610f8e5760045460035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b6003805f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541261100d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110049061268f565b60405180910390fd5b5f341161104f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611046906126f7565b60405180910390fd5b5f60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fd78d2da84846040518363ffffffff1660e01b81526004016110ac929190612715565b6020604051808303815f875af19250505080156110e757506040513d601f19601f820116820180604052508101906110e4919061206c565b60015b6110f3575f90506110f8565b809150505b604051806060016040528084815260200183815260200182151581525060055f820151815f01908161112a9190612576565b5060208201518160010190816111409190612576565b506040820151816002015f6101000a81548160ff0219169083151502179055509050507fc780a88e3192ddf9ef496037688050b3e03cf0e02998a0a550218c55a763da738383836040516111969392919061274a565b60405180910390a17f5dd8d8f22d23448acf2bc9f725ffd088b67fea8ad85ae96878333d09d954dc498383836040516111d19392919061274a565b60405180910390a15060035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8154809291906112279061278d565b91905055505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b490611e79565b60405180910390fd5b5f81116112ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f69061281e565b60405180910390fd5b8060048190555050565b600c80546113169061212c565b80601f01602080910402602001604051908101604052809291908181526020018280546113429061212c565b801561138d5780601f106113645761010080835404028352916020019161138d565b820191905f5260205f20905b81548152906001019060200180831161137057829003601f168201915b505050505081565b6003602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161142e90611e79565b60405180910390fd5b826008819055508160098190555080600a81905550505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806114f0575060025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b61152f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611526906128ac565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361159d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115949061293a565b60405180910390fd5b8060015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f3411611647576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161163e906126f7565b60405180910390fd5b80604051602001611658919061223e565b6040516020818303038152906040528051906020012060055f0160405160200161168291906121f8565b60405160208183030381529060405280519060200120146116d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116cf9061229e565b60405180910390fd5b6001151560056002015f9054906101000a900460ff16151514611730576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611727906129a2565b60405180910390fd5b5f81600c604051602001611745929190612a7a565b60405160208183030381529060405290507ff1b728b1ec5b0356731234091a6e0c41781dfcafe3c9e006a2773478f81320a9816040516117859190611bb2565b60405180910390a15050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6117cb826117a2565b9050919050565b6117db816117c1565b81146117e5575f80fd5b50565b5f813590506117f6816117d2565b92915050565b5f602082840312156118115761181061179a565b5b5f61181e848285016117e8565b91505092915050565b611830816117c1565b82525050565b5f6020820190506118495f830184611827565b92915050565b5f8115159050919050565b6118638161184f565b82525050565b5f60208201905061187c5f83018461185a565b92915050565b5f819050919050565b61189481611882565b82525050565b5f6020820190506118ad5f83018461188b565b92915050565b6118bc81611882565b81146118c6575f80fd5b50565b5f813590506118d7816118b3565b92915050565b5f80604083850312156118f3576118f261179a565b5b5f611900858286016117e8565b9250506020611911858286016118c9565b9150509250929050565b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61196982611923565b810181811067ffffffffffffffff8211171561198857611987611933565b5b80604052505050565b5f61199a611791565b90506119a68282611960565b919050565b5f67ffffffffffffffff8211156119c5576119c4611933565b5b6119ce82611923565b9050602081019050919050565b828183375f83830152505050565b5f6119fb6119f6846119ab565b611991565b905082815260208101848484011115611a1757611a1661191f565b5b611a228482856119db565b509392505050565b5f82601f830112611a3e57611a3d61191b565b5b8135611a4e8482602086016119e9565b91505092915050565b5f8060408385031215611a6d57611a6c61179a565b5b5f83013567ffffffffffffffff811115611a8a57611a8961179e565b5b611a9685828601611a2a565b925050602083013567ffffffffffffffff811115611ab757611ab661179e565b5b611ac385828601611a2a565b9150509250929050565b5f8060408385031215611ae357611ae261179a565b5b5f611af0858286016117e8565b925050602083013567ffffffffffffffff811115611b1157611b1061179e565b5b611b1d85828601611a2a565b9150509250929050565b5f60208284031215611b3c57611b3b61179a565b5b5f611b49848285016118c9565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f611b8482611b52565b611b8e8185611b5c565b9350611b9e818560208601611b6c565b611ba781611923565b840191505092915050565b5f6020820190508181035f830152611bca8184611b7a565b905092915050565b5f819050919050565b611be481611bd2565b82525050565b5f602082019050611bfd5f830184611bdb565b92915050565b5f805f60608486031215611c1a57611c1961179a565b5b5f611c27868287016118c9565b9350506020611c38868287016118c9565b9250506040611c49868287016118c9565b9150509250925092565b5f819050919050565b5f611c76611c71611c6c846117a2565b611c53565b6117a2565b9050919050565b5f611c8782611c5c565b9050919050565b5f611c9882611c7d565b9050919050565b611ca881611c8e565b82525050565b5f602082019050611cc15f830184611c9f565b92915050565b5f60208284031215611cdc57611cdb61179a565b5b5f82013567ffffffffffffffff811115611cf957611cf861179e565b5b611d0584828501611a2a565b91505092915050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f72206669766520617474656d7074730000000000000000602082015250565b5f611d68603883611b5c565b9150611d7382611d0e565b604082019050919050565b5f6020820190508181035f830152611d9581611d5c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611dd382611bd2565b9150611dde83611bd2565b925082820390508181125f8412168282135f851215161715611e0357611e02611d9c565b5b92915050565b7f4f6e6c79206f776e65722063616e20706572666f726d207468697320616374695f8201527f6f6e000000000000000000000000000000000000000000000000000000000000602082015250565b5f611e63602283611b5c565b9150611e6e82611e09565b604082019050919050565b5f6020820190508181035f830152611e9081611e57565b9050919050565b7f41646d696e20616464726573732063616e6e6f74206265207a65726f000000005f82015250565b5f611ecb601c83611b5c565b9150611ed682611e97565b602082019050919050565b5f6020820190508181035f830152611ef881611ebf565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f72206f6e6520617474656d707400000000000000000000602082015250565b5f611f59603683611b5c565b9150611f6482611eff565b604082019050919050565b5f6020820190508181035f830152611f8681611f4d565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f722074656e20617474656d707473000000000000000000602082015250565b5f611fe7603783611b5c565b9150611ff282611f8d565b604082019050919050565b5f6020820190508181035f83015261201481611fdb565b9050919050565b5f60408201905061202e5f830185611827565b61203b602083018461188b565b9392505050565b61204b8161184f565b8114612055575f80fd5b50565b5f8151905061206681612042565b92915050565b5f602082840312156120815761208061179a565b5b5f61208e84828501612058565b91505092915050565b7f546f6b656e207472616e73666572206661696c656400000000000000000000005f82015250565b5f6120cb601583611b5c565b91506120d682612097565b602082019050919050565b5f6020820190508181035f8301526120f8816120bf565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061214357607f821691505b602082108103612156576121556120ff565b5b50919050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f81546121848161212c565b61218e818661215c565b9450600182165f81146121a857600181146121bd576121ef565b60ff19831686528115158202860193506121ef565b6121c685612166565b5f5b838110156121e7578154818901526001820191506020810190506121c8565b838801955050505b50505092915050565b5f6122038284612178565b915081905092915050565b5f61221882611b52565b612222818561215c565b9350612232818560208601611b6c565b80840191505092915050565b5f612249828461220e565b915081905092915050565b7f545868617368206d69736d6174636800000000000000000000000000000000005f82015250565b5f612288600f83611b5c565b915061229382612254565b602082019050919050565b5f6020820190508181035f8301526122b58161227c565b9050919050565b7f4845586b6579206d69736d6174636800000000000000000000000000000000005f82015250565b5f6122f0600f83611b5c565b91506122fb826122bc565b602082019050919050565b5f6020820190508181035f83015261231d816122e4565b9050919050565b7f496e76616c696420746f6b656e206164647265737300000000000000000000005f82015250565b5f612358601583611b5c565b915061236382612324565b602082019050919050565b5f6020820190508181035f8301526123858161234c565b9050919050565b7f496e76616c6964207469636b65720000000000000000000000000000000000005f82015250565b5f6123c0600e83611b5c565b91506123cb8261238c565b602082019050919050565b5f6020820190508181035f8301526123ed816123b4565b9050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261243e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612403565b6124488683612403565b95508019841693508086168417925050509392505050565b5f61247a61247561247084611882565b611c53565b611882565b9050919050565b5f819050919050565b61249383612460565b6124a761249f82612481565b84845461240f565b825550505050565b5f90565b6124bb6124af565b6124c681848461248a565b505050565b5b818110156124e9576124de5f826124b3565b6001810190506124cc565b5050565b601f82111561252e576124ff81612166565b612508846123f4565b81016020851015612517578190505b61252b612523856123f4565b8301826124cb565b50505b505050565b5f82821c905092915050565b5f61254e5f1984600802612533565b1980831691505092915050565b5f612566838361253f565b9150826002028217905092915050565b61257f82611b52565b67ffffffffffffffff81111561259857612597611933565b5b6125a2825461212c565b6125ad8282856124ed565b5f60209050601f8311600181146125de575f84156125cc578287015190505b6125d6858261255b565b86555061263d565b601f1984166125ec86612166565b5f5b82811015612613578489015182556001820191506020850194506020810190506125ee565b86831015612630578489015161262c601f89168261253f565b8355505b6001600288020188555050505b505050505050565b7f4e6f20617474656d7074732072656d61696e696e6700000000000000000000005f82015250565b5f612679601583611b5c565b915061268482612645565b602082019050919050565b5f6020820190508181035f8301526126a68161266d565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e203000005f82015250565b5f6126e1601e83611b5c565b91506126ec826126ad565b602082019050919050565b5f6020820190508181035f83015261270e816126d5565b9050919050565b5f6040820190508181035f83015261272d8185611b7a565b905081810360208301526127418184611b7a565b90509392505050565b5f6060820190508181035f8301526127628186611b7a565b905081810360208301526127768185611b7a565b9050612785604083018461185a565b949350505050565b5f61279782611bd2565b91507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036127c9576127c8611d9c565b5b600182019050919050565b7f417474656d707473206d7573742062652067726561746572207468616e2030005f82015250565b5f612808601f83611b5c565b9150612813826127d4565b602082019050919050565b5f6020820190508181035f830152612835816127fc565b9050919050565b7f4f6e6c792061646d696e206f72206f776e65722063616e20706572666f726d205f8201527f7468697320616374696f6e000000000000000000000000000000000000000000602082015250565b5f612896602b83611b5c565b91506128a18261283c565b604082019050919050565b5f6020820190508181035f8301526128c38161288a565b9050919050565b7f4b6579566572696669657220616464726573732063616e6e6f74206265207a655f8201527f726f000000000000000000000000000000000000000000000000000000000000602082015250565b5f612924602283611b5c565b915061292f826128ca565b604082019050919050565b5f6020820190508181035f83015261295181612918565b9050919050565b7f5472616e73616374696f6e206973206e6f7420766572696669656400000000005f82015250565b5f61298c601b83611b5c565b915061299782612958565b602082019050919050565b5f6020820190508181035f8301526129b981612980565b9050919050565b7f3a200000000000000000000000000000000000000000000000000000000000005f82015250565b5f6129f460028361215c565b91506129ff826129c0565b600282019050919050565b7f207472616e73616374696f6e20726576657273616c20697320616374697661745f8201527f6564000000000000000000000000000000000000000000000000000000000000602082015250565b5f612a6460228361215c565b9150612a6f82612a0a565b602282019050919050565b5f612a85828561220e565b9150612a90826129e8565b9150612a9c8284612178565b9150612aa782612a58565b9150819050939250505056fea26469706673582212200a9deb18afbbe07981b33d356ab2a1d6b2cdb998ddd9e40d4781dd16c3c9d67364736f6c634300081a0033

0x60806040526004361061014e575f3560e01c80638da5cb5b116100b5578063c35169cf1161006e578063c35169cf146103e5578063dbcaf5bb1461040f578063ee4034ce1461044b578063eef10e1314610473578063f1c545bd1461049b578063f9b3951a146104c557610155565b80638da5cb5b146102e957806390e445da146103135780639203fbf31461033d578063ac35313b14610379578063b158845c146103a1578063b924acf1146103bd57610155565b80637048027511610107578063704802751461021157806372ab508314610239578063746a102c146102635780637a4b59ee1461028d5780638a38fa9b146102b75780638cd4426d146102c157610155565b806301afad9b146101595780631785f53c146101635780631d29b2801461018b57806320800a001461019557806334f12d36146101ab578063429b62e5146101d557610155565b3661015557005b5f80fd5b6101616104e1565b005b34801561016e575f80fd5b50610189600480360381019061018491906117fc565b61057c565b005b6101936106ce565b005b3480156101a0575f80fd5b506101a9610769565b005b3480156101b6575f80fd5b506101bf61085b565b6040516101cc9190611836565b60405180910390f35b3480156101e0575f80fd5b506101fb60048036038101906101f691906117fc565b610880565b6040516102089190611869565b60405180910390f35b34801561021c575f80fd5b50610237600480360381019061023291906117fc565b61089d565b005b348015610244575f80fd5b5061024d6109f0565b60405161025a919061189a565b60405180910390f35b34801561026e575f80fd5b506102776109f6565b604051610284919061189a565b60405180910390f35b348015610298575f80fd5b506102a16109fc565b6040516102ae919061189a565b60405180910390f35b6102bf610a02565b005b3480156102cc575f80fd5b506102e760048036038101906102e291906118dd565b610a9d565b005b3480156102f4575f80fd5b506102fd610c0c565b60405161030a9190611836565b60405180910390f35b34801561031e575f80fd5b50610327610c2f565b604051610334919061189a565b60405180910390f35b348015610348575f80fd5b50610363600480360381019061035e9190611a57565b610c35565b6040516103709190611869565b60405180910390f35b348015610384575f80fd5b5061039f600480360381019061039a9190611acd565b610d73565b005b6103bb60048036038101906103b69190611a57565b610f05565b005b3480156103c8575f80fd5b506103e360048036038101906103de9190611b27565b611230565b005b3480156103f0575f80fd5b506103f9611309565b6040516104069190611bb2565b60405180910390f35b34801561041a575f80fd5b50610435600480360381019061043091906117fc565b611395565b6040516104429190611bea565b60405180910390f35b348015610456575f80fd5b50610471600480360381019061046c9190611c03565b6113aa565b005b34801561047e575f80fd5b50610499600480360381019061049491906117fc565b611451565b005b3480156104a6575f80fd5b506104af6115e0565b6040516104bc9190611cae565b60405180910390f35b6104df60048036038101906104da9190611cc7565b611605565b005b600954341015610526576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051d90611d7e565b60405180910390fd5b600560035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105739190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610609576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060090611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610677576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066e90611ee1565b60405180910390fd5b5f60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b600854341015610713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070a90611f6f565b60405180910390fd5b600160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107609190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ed90611e79565b60405180910390fd5b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f19350505050158015610858573d5f803e3d5ffd5b50565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461092a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092190611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610998576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098f90611ee1565b60405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b60045481565b60095481565b60085481565b600a54341015610a47576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3e90611ffd565b60405180910390fd5b600a60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a949190611dc9565b92505081905550565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b2a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2190611e79565b60405180910390fd5b5f8290508073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401610b8892919061201b565b6020604051808303815f875af1158015610ba4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bc8919061206c565b610c07576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfe906120e1565b60405180910390fd5b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b5f60055f01604051602001610c4a91906121f8565b6040516020818303038152906040528051906020012083604051602001610c71919061223e565b6040516020818303038152906040528051906020012014610cc7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cbe9061229e565b60405180910390fd5b6005600101604051602001610cdc91906121f8565b6040516020818303038152906040528051906020012082604051602001610d03919061223e565b6040516020818303038152906040528051906020012014610d59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5090612306565b60405180910390fd5b60056002015f9054906101000a900460ff16905092915050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df790611e79565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e659061236e565b60405180910390fd5b5f815111610eb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea8906123d6565b60405180910390fd5b81600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600c9081610f009190612576565b505050565b5f60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610f8e5760045460035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b6003805f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541261100d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110049061268f565b60405180910390fd5b5f341161104f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611046906126f7565b60405180910390fd5b5f60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fd78d2da84846040518363ffffffff1660e01b81526004016110ac929190612715565b6020604051808303815f875af19250505080156110e757506040513d601f19601f820116820180604052508101906110e4919061206c565b60015b6110f3575f90506110f8565b809150505b604051806060016040528084815260200183815260200182151581525060055f820151815f01908161112a9190612576565b5060208201518160010190816111409190612576565b506040820151816002015f6101000a81548160ff0219169083151502179055509050507fc780a88e3192ddf9ef496037688050b3e03cf0e02998a0a550218c55a763da738383836040516111969392919061274a565b60405180910390a17f5dd8d8f22d23448acf2bc9f725ffd088b67fea8ad85ae96878333d09d954dc498383836040516111d19392919061274a565b60405180910390a15060035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8154809291906112279061278d565b91905055505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b490611e79565b60405180910390fd5b5f81116112ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f69061281e565b60405180910390fd5b8060048190555050565b600c80546113169061212c565b80601f01602080910402602001604051908101604052809291908181526020018280546113429061212c565b801561138d5780601f106113645761010080835404028352916020019161138d565b820191905f5260205f20905b81548152906001019060200180831161137057829003601f168201915b505050505081565b6003602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161142e90611e79565b60405180910390fd5b826008819055508160098190555080600a81905550505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806114f0575060025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b61152f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611526906128ac565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361159d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115949061293a565b60405180910390fd5b8060015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f3411611647576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161163e906126f7565b60405180910390fd5b80604051602001611658919061223e565b6040516020818303038152906040528051906020012060055f0160405160200161168291906121f8565b60405160208183030381529060405280519060200120146116d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116cf9061229e565b60405180910390fd5b6001151560056002015f9054906101000a900460ff16151514611730576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611727906129a2565b60405180910390fd5b5f81600c604051602001611745929190612a7a565b60405160208183030381529060405290507ff1b728b1ec5b0356731234091a6e0c41781dfcafe3c9e006a2773478f81320a9816040516117859190611bb2565b60405180910390a15050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6117cb826117a2565b9050919050565b6117db816117c1565b81146117e5575f80fd5b50565b5f813590506117f6816117d2565b92915050565b5f602082840312156118115761181061179a565b5b5f61181e848285016117e8565b91505092915050565b611830816117c1565b82525050565b5f6020820190506118495f830184611827565b92915050565b5f8115159050919050565b6118638161184f565b82525050565b5f60208201905061187c5f83018461185a565b92915050565b5f819050919050565b61189481611882565b82525050565b5f6020820190506118ad5f83018461188b565b92915050565b6118bc81611882565b81146118c6575f80fd5b50565b5f813590506118d7816118b3565b92915050565b5f80604083850312156118f3576118f261179a565b5b5f611900858286016117e8565b9250506020611911858286016118c9565b9150509250929050565b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61196982611923565b810181811067ffffffffffffffff8211171561198857611987611933565b5b80604052505050565b5f61199a611791565b90506119a68282611960565b919050565b5f67ffffffffffffffff8211156119c5576119c4611933565b5b6119ce82611923565b9050602081019050919050565b828183375f83830152505050565b5f6119fb6119f6846119ab565b611991565b905082815260208101848484011115611a1757611a1661191f565b5b611a228482856119db565b509392505050565b5f82601f830112611a3e57611a3d61191b565b5b8135611a4e8482602086016119e9565b91505092915050565b5f8060408385031215611a6d57611a6c61179a565b5b5f83013567ffffffffffffffff811115611a8a57611a8961179e565b5b611a9685828601611a2a565b925050602083013567ffffffffffffffff811115611ab757611ab661179e565b5b611ac385828601611a2a565b9150509250929050565b5f8060408385031215611ae357611ae261179a565b5b5f611af0858286016117e8565b925050602083013567ffffffffffffffff811115611b1157611b1061179e565b5b611b1d85828601611a2a565b9150509250929050565b5f60208284031215611b3c57611b3b61179a565b5b5f611b49848285016118c9565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f611b8482611b52565b611b8e8185611b5c565b9350611b9e818560208601611b6c565b611ba781611923565b840191505092915050565b5f6020820190508181035f830152611bca8184611b7a565b905092915050565b5f819050919050565b611be481611bd2565b82525050565b5f602082019050611bfd5f830184611bdb565b92915050565b5f805f60608486031215611c1a57611c1961179a565b5b5f611c27868287016118c9565b9350506020611c38868287016118c9565b9250506040611c49868287016118c9565b9150509250925092565b5f819050919050565b5f611c76611c71611c6c846117a2565b611c53565b6117a2565b9050919050565b5f611c8782611c5c565b9050919050565b5f611c9882611c7d565b9050919050565b611ca881611c8e565b82525050565b5f602082019050611cc15f830184611c9f565b92915050565b5f60208284031215611cdc57611cdb61179a565b5b5f82013567ffffffffffffffff811115611cf957611cf861179e565b5b611d0584828501611a2a565b91505092915050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f72206669766520617474656d7074730000000000000000602082015250565b5f611d68603883611b5c565b9150611d7382611d0e565b604082019050919050565b5f6020820190508181035f830152611d9581611d5c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611dd382611bd2565b9150611dde83611bd2565b925082820390508181125f8412168282135f851215161715611e0357611e02611d9c565b5b92915050565b7f4f6e6c79206f776e65722063616e20706572666f726d207468697320616374695f8201527f6f6e000000000000000000000000000000000000000000000000000000000000602082015250565b5f611e63602283611b5c565b9150611e6e82611e09565b604082019050919050565b5f6020820190508181035f830152611e9081611e57565b9050919050565b7f41646d696e20616464726573732063616e6e6f74206265207a65726f000000005f82015250565b5f611ecb601c83611b5c565b9150611ed682611e97565b602082019050919050565b5f6020820190508181035f830152611ef881611ebf565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f72206f6e6520617474656d707400000000000000000000602082015250565b5f611f59603683611b5c565b9150611f6482611eff565b604082019050919050565b5f6020820190508181035f830152611f8681611f4d565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e207468655f8201527f20707269636520666f722074656e20617474656d707473000000000000000000602082015250565b5f611fe7603783611b5c565b9150611ff282611f8d565b604082019050919050565b5f6020820190508181035f83015261201481611fdb565b9050919050565b5f60408201905061202e5f830185611827565b61203b602083018461188b565b9392505050565b61204b8161184f565b8114612055575f80fd5b50565b5f8151905061206681612042565b92915050565b5f602082840312156120815761208061179a565b5b5f61208e84828501612058565b91505092915050565b7f546f6b656e207472616e73666572206661696c656400000000000000000000005f82015250565b5f6120cb601583611b5c565b91506120d682612097565b602082019050919050565b5f6020820190508181035f8301526120f8816120bf565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061214357607f821691505b602082108103612156576121556120ff565b5b50919050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f81546121848161212c565b61218e818661215c565b9450600182165f81146121a857600181146121bd576121ef565b60ff19831686528115158202860193506121ef565b6121c685612166565b5f5b838110156121e7578154818901526001820191506020810190506121c8565b838801955050505b50505092915050565b5f6122038284612178565b915081905092915050565b5f61221882611b52565b612222818561215c565b9350612232818560208601611b6c565b80840191505092915050565b5f612249828461220e565b915081905092915050565b7f545868617368206d69736d6174636800000000000000000000000000000000005f82015250565b5f612288600f83611b5c565b915061229382612254565b602082019050919050565b5f6020820190508181035f8301526122b58161227c565b9050919050565b7f4845586b6579206d69736d6174636800000000000000000000000000000000005f82015250565b5f6122f0600f83611b5c565b91506122fb826122bc565b602082019050919050565b5f6020820190508181035f83015261231d816122e4565b9050919050565b7f496e76616c696420746f6b656e206164647265737300000000000000000000005f82015250565b5f612358601583611b5c565b915061236382612324565b602082019050919050565b5f6020820190508181035f8301526123858161234c565b9050919050565b7f496e76616c6964207469636b65720000000000000000000000000000000000005f82015250565b5f6123c0600e83611b5c565b91506123cb8261238c565b602082019050919050565b5f6020820190508181035f8301526123ed816123b4565b9050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261243e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612403565b6124488683612403565b95508019841693508086168417925050509392505050565b5f61247a61247561247084611882565b611c53565b611882565b9050919050565b5f819050919050565b61249383612460565b6124a761249f82612481565b84845461240f565b825550505050565b5f90565b6124bb6124af565b6124c681848461248a565b505050565b5b818110156124e9576124de5f826124b3565b6001810190506124cc565b5050565b601f82111561252e576124ff81612166565b612508846123f4565b81016020851015612517578190505b61252b612523856123f4565b8301826124cb565b50505b505050565b5f82821c905092915050565b5f61254e5f1984600802612533565b1980831691505092915050565b5f612566838361253f565b9150826002028217905092915050565b61257f82611b52565b67ffffffffffffffff81111561259857612597611933565b5b6125a2825461212c565b6125ad8282856124ed565b5f60209050601f8311600181146125de575f84156125cc578287015190505b6125d6858261255b565b86555061263d565b601f1984166125ec86612166565b5f5b82811015612613578489015182556001820191506020850194506020810190506125ee565b86831015612630578489015161262c601f89168261253f565b8355505b6001600288020188555050505b505050505050565b7f4e6f20617474656d7074732072656d61696e696e6700000000000000000000005f82015250565b5f612679601583611b5c565b915061268482612645565b602082019050919050565b5f6020820190508181035f8301526126a68161266d565b9050919050565b7f5061796d656e74206d7573742062652067726561746572207468616e203000005f82015250565b5f6126e1601e83611b5c565b91506126ec826126ad565b602082019050919050565b5f6020820190508181035f83015261270e816126d5565b9050919050565b5f6040820190508181035f83015261272d8185611b7a565b905081810360208301526127418184611b7a565b90509392505050565b5f6060820190508181035f8301526127628186611b7a565b905081810360208301526127768185611b7a565b9050612785604083018461185a565b949350505050565b5f61279782611bd2565b91507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036127c9576127c8611d9c565b5b600182019050919050565b7f417474656d707473206d7573742062652067726561746572207468616e2030005f82015250565b5f612808601f83611b5c565b9150612813826127d4565b602082019050919050565b5f6020820190508181035f830152612835816127fc565b9050919050565b7f4f6e6c792061646d696e206f72206f776e65722063616e20706572666f726d205f8201527f7468697320616374696f6e000000000000000000000000000000000000000000602082015250565b5f612896602b83611b5c565b91506128a18261283c565b604082019050919050565b5f6020820190508181035f8301526128c38161288a565b9050919050565b7f4b6579566572696669657220616464726573732063616e6e6f74206265207a655f8201527f726f000000000000000000000000000000000000000000000000000000000000602082015250565b5f612924602283611b5c565b915061292f826128ca565b604082019050919050565b5f6020820190508181035f83015261295181612918565b9050919050565b7f5472616e73616374696f6e206973206e6f7420766572696669656400000000005f82015250565b5f61298c601b83611b5c565b915061299782612958565b602082019050919050565b5f6020820190508181035f8301526129b981612980565b9050919050565b7f3a200000000000000000000000000000000000000000000000000000000000005f82015250565b5f6129f460028361215c565b91506129ff826129c0565b600282019050919050565b7f207472616e73616374696f6e20726576657273616c20697320616374697661745f8201527f6564000000000000000000000000000000000000000000000000000000000000602082015250565b5f612a6460228361215c565b9150612a6f82612a0a565b602282019050919050565b5f612a85828561220e565b9150612a90826129e8565b9150612a9c8284612178565b9150612aa782612a58565b9150819050939250505056fea26469706673582212200a9deb18afbbe07981b33d356ab2a1d6b2cdb998ddd9e40d4781dd16c3c9d67364736f6c634300081a0033

440:5830:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4416:189;;;:::i;:::-;;2211:187;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4222:186;;;:::i;:::-;;5044:105;;;;;;;;;;;;;:::i;:::-;;919:37;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;540:38;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2020:183;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;640:34;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;852:27;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;819:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4613:188;;;:::i;:::-;;5157:206;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;473:20;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;886:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3826:388;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2456:411;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3169:649;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2875:204;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;963:35;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;585:47;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4811:225;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1772:240;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;500:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5441:547;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4416:189;4482:12;;4469:9;:25;;4461:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;4595:1;4566:13;:25;4580:10;4566:25;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;4416:189::o;2211:187::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;2316:1:::1;2292:26;;:12;:26;;::::0;2284:67:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2385:5;2362:6;:20;2369:12;2362:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2211:187:::0;:::o;4222:186::-;4288:11;;4275:9;:24;;4267:91;;;;;;;;;;;;:::i;:::-;;;;;;;;;4398:1;4369:13;:25;4383:10;4369:25;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;4222:186::o;5044:105::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;5103:5:::1;::::0;::::1;;;;;;;;5095:23;;:46;5119:21;5095:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;5044:105::o:0;919:37::-;;;;;;;;;;;;;:::o;540:38::-;;;;;;;;;;;;;;;;;;;;;;:::o;2020:183::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;2122:1:::1;2098:26;;:12;:26;;::::0;2090:67:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2191:4;2168:6;:20;2175:12;2168:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2020:183:::0;:::o;640:34::-;;;;:::o;852:27::-;;;;:::o;819:26::-;;;;:::o;4613:188::-;4679:11;;4666:9;:24;;4658:92;;;;;;;;;;;;:::i;:::-;;;;;;;;;4790:2;4761:13;:25;4775:10;4761:25;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;4613:188::o;5157:206::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;5246:12:::1;5268;5246:35;;5300:5;:14;;;5315:5;::::0;::::1;;;;;;;;5322:6;5300:29;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5292:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;5235:128;5157:206:::0;;:::o;473:20::-;;;;;;;;;;;;:::o;886:26::-;;;;:::o;3826:388::-;3925:4;4016:6;:13;;3999:31;;;;;;;;:::i;:::-;;;;;;;;;;;;;3989:42;;;;;;3977:6;3960:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;3950:35;;;;;;:81;3942:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;4136:6;:13;;4119:31;;;;;;;;:::i;:::-;;;;;;;;;;;;;4109:42;;;;;;4097:6;4080:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;4070:35;;;;;;:81;4062:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;4189:6;:17;;;;;;;;;;;;4182:24;;3826:388;;;;:::o;2456:411::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;2635:1:::1;2600:37;;:23;:37;;::::0;2592:71:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2721:1;2688:22;2682:36;:40;2674:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;2779:23;2754:22;;:48;;;;;;;;;;;;;;;;;;2837:22;2813:21;:46;;;;;;:::i;:::-;;2456:411:::0;;:::o;3169:649::-;1354:1;1325:13;:25;1339:10;1325:25;;;;;;;;;;;;;;;;:30;1321:165;;1403:15;;1368:13;:25;1382:10;1368:25;;;;;;;;;;;;;;;:51;;;;1321:165;1528:1;1500:13;:25;1514:10;1500:25;;;;;;;;;;;;;;;;:29;1492:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;3296:1:::1;3284:9;:13;3276:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;3343:12;3388:11;;;;;;;;;;;:30;;;3419:6;3427;3388:46;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;3384:167;;3533:5;3523:15;;3384:167;;;3482:6;3472:16;;3435:66;3384:167;3572:111;;;;;;;;3602:6;3572:111;;;;3631:6;3572:111;;;;3664:7;3572:111;;;;::::0;3563:6:::1;:120;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3701:48;3725:6;3733;3741:7;3701:48;;;;;;;;:::i;:::-;;;;;;;;3765:43;3784:6;3792;3800:7;3765:43;;;;;;;;:::i;:::-;;;;;;;;3265:553;1571:13:::0;:25;1585:10;1571:25;;;;;;;;;;;;;;;;:27;;;;;;;;;:::i;:::-;;;;;;3169:649;;:::o;2875:204::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;2987:1:::1;2968:16;:20;2960:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3053:16;3035:15;:34;;;;2875:204:::0;:::o;963:35::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;585:47::-;;;;;;;;;;;;;;;;;:::o;4811:225::-;1061:5;;;;;;;;;;1047:19;;:10;:19;;;1039:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;4940:12:::1;4926:11;:26;;;;4978:13;4963:12;:28;;;;5016:12;5002:11;:26;;;;4811:225:::0;;;:::o;1772:240::-;1194:5;;;;;;;;;;1180:19;;:10;:19;;;:41;;;;1203:6;:18;1210:10;1203:18;;;;;;;;;;;;;;;;;;;;;;;;;1180:41;1172:97;;;;;;;;;;;;:::i;:::-;;;;;;;;;1906:1:::1;1876:32;;:18;:32;;::::0;1868:79:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;1985:18;1958:11;;:46;;;;;;;;;;;;;;;;;;1772:240:::0;:::o;500:31::-;;;;;;;;;;;;;:::o;5441:547::-;5545:1;5533:9;:13;5525:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;5673:6;5656:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;5646:35;;;;;;5627:6;:13;;5610:31;;;;;;;;:::i;:::-;;;;;;;;;;;;;5600:42;;;;;;:81;5592:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;5741:4;5720:25;;:6;:17;;;;;;;;;;;;:25;;;5712:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;5788:29;5844:6;5858:21;5827:91;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5788:131;;5935:45;5964:15;5935:45;;;;;;:::i;:::-;;;;;;;;5514:474;5441:547;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:118::-;1263:24;1281:5;1263:24;:::i;:::-;1258:3;1251:37;1176:118;;:::o;1300:222::-;1393:4;1431:2;1420:9;1416:18;1408:26;;1444:71;1512:1;1501:9;1497:17;1488:6;1444:71;:::i;:::-;1300:222;;;;:::o;1528:90::-;1562:7;1605:5;1598:13;1591:21;1580:32;;1528:90;;;:::o;1624:109::-;1705:21;1720:5;1705:21;:::i;:::-;1700:3;1693:34;1624:109;;:::o;1739:210::-;1826:4;1864:2;1853:9;1849:18;1841:26;;1877:65;1939:1;1928:9;1924:17;1915:6;1877:65;:::i;:::-;1739:210;;;;:::o;1955:77::-;1992:7;2021:5;2010:16;;1955:77;;;:::o;2038:118::-;2125:24;2143:5;2125:24;:::i;:::-;2120:3;2113:37;2038:118;;:::o;2162:222::-;2255:4;2293:2;2282:9;2278:18;2270:26;;2306:71;2374:1;2363:9;2359:17;2350:6;2306:71;:::i;:::-;2162:222;;;;:::o;2390:122::-;2463:24;2481:5;2463:24;:::i;:::-;2456:5;2453:35;2443:63;;2502:1;2499;2492:12;2443:63;2390:122;:::o;2518:139::-;2564:5;2602:6;2589:20;2580:29;;2618:33;2645:5;2618:33;:::i;:::-;2518:139;;;;:::o;2663:474::-;2731:6;2739;2788:2;2776:9;2767:7;2763:23;2759:32;2756:119;;;2794:79;;:::i;:::-;2756:119;2914:1;2939:53;2984:7;2975:6;2964:9;2960:22;2939:53;:::i;:::-;2929:63;;2885:117;3041:2;3067:53;3112:7;3103:6;3092:9;3088:22;3067:53;:::i;:::-;3057:63;;3012:118;2663:474;;;;;:::o;3143:117::-;3252:1;3249;3242:12;3266:117;3375:1;3372;3365:12;3389:102;3430:6;3481:2;3477:7;3472:2;3465:5;3461:14;3457:28;3447:38;;3389:102;;;:::o;3497:180::-;3545:77;3542:1;3535:88;3642:4;3639:1;3632:15;3666:4;3663:1;3656:15;3683:281;3766:27;3788:4;3766:27;:::i;:::-;3758:6;3754:40;3896:6;3884:10;3881:22;3860:18;3848:10;3845:34;3842:62;3839:88;;;3907:18;;:::i;:::-;3839:88;3947:10;3943:2;3936:22;3726:238;3683:281;;:::o;3970:129::-;4004:6;4031:20;;:::i;:::-;4021:30;;4060:33;4088:4;4080:6;4060:33;:::i;:::-;3970:129;;;:::o;4105:308::-;4167:4;4257:18;4249:6;4246:30;4243:56;;;4279:18;;:::i;:::-;4243:56;4317:29;4339:6;4317:29;:::i;:::-;4309:37;;4401:4;4395;4391:15;4383:23;;4105:308;;;:::o;4419:148::-;4517:6;4512:3;4507;4494:30;4558:1;4549:6;4544:3;4540:16;4533:27;4419:148;;;:::o;4573:425::-;4651:5;4676:66;4692:49;4734:6;4692:49;:::i;:::-;4676:66;:::i;:::-;4667:75;;4765:6;4758:5;4751:21;4803:4;4796:5;4792:16;4841:3;4832:6;4827:3;4823:16;4820:25;4817:112;;;4848:79;;:::i;:::-;4817:112;4938:54;4985:6;4980:3;4975;4938:54;:::i;:::-;4657:341;4573:425;;;;;:::o;5018:340::-;5074:5;5123:3;5116:4;5108:6;5104:17;5100:27;5090:122;;5131:79;;:::i;:::-;5090:122;5248:6;5235:20;5273:79;5348:3;5340:6;5333:4;5325:6;5321:17;5273:79;:::i;:::-;5264:88;;5080:278;5018:340;;;;:::o;5364:834::-;5452:6;5460;5509:2;5497:9;5488:7;5484:23;5480:32;5477:119;;;5515:79;;:::i;:::-;5477:119;5663:1;5652:9;5648:17;5635:31;5693:18;5685:6;5682:30;5679:117;;;5715:79;;:::i;:::-;5679:117;5820:63;5875:7;5866:6;5855:9;5851:22;5820:63;:::i;:::-;5810:73;;5606:287;5960:2;5949:9;5945:18;5932:32;5991:18;5983:6;5980:30;5977:117;;;6013:79;;:::i;:::-;5977:117;6118:63;6173:7;6164:6;6153:9;6149:22;6118:63;:::i;:::-;6108:73;;5903:288;5364:834;;;;;:::o;6204:654::-;6282:6;6290;6339:2;6327:9;6318:7;6314:23;6310:32;6307:119;;;6345:79;;:::i;:::-;6307:119;6465:1;6490:53;6535:7;6526:6;6515:9;6511:22;6490:53;:::i;:::-;6480:63;;6436:117;6620:2;6609:9;6605:18;6592:32;6651:18;6643:6;6640:30;6637:117;;;6673:79;;:::i;:::-;6637:117;6778:63;6833:7;6824:6;6813:9;6809:22;6778:63;:::i;:::-;6768:73;;6563:288;6204:654;;;;;:::o;6864:329::-;6923:6;6972:2;6960:9;6951:7;6947:23;6943:32;6940:119;;;6978:79;;:::i;:::-;6940:119;7098:1;7123:53;7168:7;7159:6;7148:9;7144:22;7123:53;:::i;:::-;7113:63;;7069:117;6864:329;;;;:::o;7199:99::-;7251:6;7285:5;7279:12;7269:22;;7199:99;;;:::o;7304:169::-;7388:11;7422:6;7417:3;7410:19;7462:4;7457:3;7453:14;7438:29;;7304:169;;;;:::o;7479:139::-;7568:6;7563:3;7558;7552:23;7609:1;7600:6;7595:3;7591:16;7584:27;7479:139;;;:::o;7624:377::-;7712:3;7740:39;7773:5;7740:39;:::i;:::-;7795:71;7859:6;7854:3;7795:71;:::i;:::-;7788:78;;7875:65;7933:6;7928:3;7921:4;7914:5;7910:16;7875:65;:::i;:::-;7965:29;7987:6;7965:29;:::i;:::-;7960:3;7956:39;7949:46;;7716:285;7624:377;;;;:::o;8007:313::-;8120:4;8158:2;8147:9;8143:18;8135:26;;8207:9;8201:4;8197:20;8193:1;8182:9;8178:17;8171:47;8235:78;8308:4;8299:6;8235:78;:::i;:::-;8227:86;;8007:313;;;;:::o;8326:76::-;8362:7;8391:5;8380:16;;8326:76;;;:::o;8408:115::-;8493:23;8510:5;8493:23;:::i;:::-;8488:3;8481:36;8408:115;;:::o;8529:218::-;8620:4;8658:2;8647:9;8643:18;8635:26;;8671:69;8737:1;8726:9;8722:17;8713:6;8671:69;:::i;:::-;8529:218;;;;:::o;8753:619::-;8830:6;8838;8846;8895:2;8883:9;8874:7;8870:23;8866:32;8863:119;;;8901:79;;:::i;:::-;8863:119;9021:1;9046:53;9091:7;9082:6;9071:9;9067:22;9046:53;:::i;:::-;9036:63;;8992:117;9148:2;9174:53;9219:7;9210:6;9199:9;9195:22;9174:53;:::i;:::-;9164:63;;9119:118;9276:2;9302:53;9347:7;9338:6;9327:9;9323:22;9302:53;:::i;:::-;9292:63;;9247:118;8753:619;;;;;:::o;9378:60::-;9406:3;9427:5;9420:12;;9378:60;;;:::o;9444:142::-;9494:9;9527:53;9545:34;9554:24;9572:5;9554:24;:::i;:::-;9545:34;:::i;:::-;9527:53;:::i;:::-;9514:66;;9444:142;;;:::o;9592:126::-;9642:9;9675:37;9706:5;9675:37;:::i;:::-;9662:50;;9592:126;;;:::o;9724:145::-;9793:9;9826:37;9857:5;9826:37;:::i;:::-;9813:50;;9724:145;;;:::o;9875:169::-;9981:56;10031:5;9981:56;:::i;:::-;9976:3;9969:69;9875:169;;:::o;10050:260::-;10162:4;10200:2;10189:9;10185:18;10177:26;;10213:90;10300:1;10289:9;10285:17;10276:6;10213:90;:::i;:::-;10050:260;;;;:::o;10316:509::-;10385:6;10434:2;10422:9;10413:7;10409:23;10405:32;10402:119;;;10440:79;;:::i;:::-;10402:119;10588:1;10577:9;10573:17;10560:31;10618:18;10610:6;10607:30;10604:117;;;10640:79;;:::i;:::-;10604:117;10745:63;10800:7;10791:6;10780:9;10776:22;10745:63;:::i;:::-;10735:73;;10531:287;10316:509;;;;:::o;10831:243::-;10971:34;10967:1;10959:6;10955:14;10948:58;11040:26;11035:2;11027:6;11023:15;11016:51;10831:243;:::o;11080:366::-;11222:3;11243:67;11307:2;11302:3;11243:67;:::i;:::-;11236:74;;11319:93;11408:3;11319:93;:::i;:::-;11437:2;11432:3;11428:12;11421:19;;11080:366;;;:::o;11452:419::-;11618:4;11656:2;11645:9;11641:18;11633:26;;11705:9;11699:4;11695:20;11691:1;11680:9;11676:17;11669:47;11733:131;11859:4;11733:131;:::i;:::-;11725:139;;11452:419;;;:::o;11877:180::-;11925:77;11922:1;11915:88;12022:4;12019:1;12012:15;12046:4;12043:1;12036:15;12063:372;12102:4;12122:19;12139:1;12122:19;:::i;:::-;12117:24;;12155:19;12172:1;12155:19;:::i;:::-;12150:24;;12198:1;12195;12191:9;12183:17;;12392:1;12386:4;12382:12;12378:1;12375;12371:9;12367:28;12350:1;12344:4;12340:12;12335:1;12332;12328:9;12321:17;12317:36;12301:104;12298:130;;;12408:18;;:::i;:::-;12298:130;12063:372;;;;:::o;12441:221::-;12581:34;12577:1;12569:6;12565:14;12558:58;12650:4;12645:2;12637:6;12633:15;12626:29;12441:221;:::o;12668:366::-;12810:3;12831:67;12895:2;12890:3;12831:67;:::i;:::-;12824:74;;12907:93;12996:3;12907:93;:::i;:::-;13025:2;13020:3;13016:12;13009:19;;12668:366;;;:::o;13040:419::-;13206:4;13244:2;13233:9;13229:18;13221:26;;13293:9;13287:4;13283:20;13279:1;13268:9;13264:17;13257:47;13321:131;13447:4;13321:131;:::i;:::-;13313:139;;13040:419;;;:::o;13465:178::-;13605:30;13601:1;13593:6;13589:14;13582:54;13465:178;:::o;13649:366::-;13791:3;13812:67;13876:2;13871:3;13812:67;:::i;:::-;13805:74;;13888:93;13977:3;13888:93;:::i;:::-;14006:2;14001:3;13997:12;13990:19;;13649:366;;;:::o;14021:419::-;14187:4;14225:2;14214:9;14210:18;14202:26;;14274:9;14268:4;14264:20;14260:1;14249:9;14245:17;14238:47;14302:131;14428:4;14302:131;:::i;:::-;14294:139;;14021:419;;;:::o;14446:241::-;14586:34;14582:1;14574:6;14570:14;14563:58;14655:24;14650:2;14642:6;14638:15;14631:49;14446:241;:::o;14693:366::-;14835:3;14856:67;14920:2;14915:3;14856:67;:::i;:::-;14849:74;;14932:93;15021:3;14932:93;:::i;:::-;15050:2;15045:3;15041:12;15034:19;;14693:366;;;:::o;15065:419::-;15231:4;15269:2;15258:9;15254:18;15246:26;;15318:9;15312:4;15308:20;15304:1;15293:9;15289:17;15282:47;15346:131;15472:4;15346:131;:::i;:::-;15338:139;;15065:419;;;:::o;15490:242::-;15630:34;15626:1;15618:6;15614:14;15607:58;15699:25;15694:2;15686:6;15682:15;15675:50;15490:242;:::o;15738:366::-;15880:3;15901:67;15965:2;15960:3;15901:67;:::i;:::-;15894:74;;15977:93;16066:3;15977:93;:::i;:::-;16095:2;16090:3;16086:12;16079:19;;15738:366;;;:::o;16110:419::-;16276:4;16314:2;16303:9;16299:18;16291:26;;16363:9;16357:4;16353:20;16349:1;16338:9;16334:17;16327:47;16391:131;16517:4;16391:131;:::i;:::-;16383:139;;16110:419;;;:::o;16535:332::-;16656:4;16694:2;16683:9;16679:18;16671:26;;16707:71;16775:1;16764:9;16760:17;16751:6;16707:71;:::i;:::-;16788:72;16856:2;16845:9;16841:18;16832:6;16788:72;:::i;:::-;16535:332;;;;;:::o;16873:116::-;16943:21;16958:5;16943:21;:::i;:::-;16936:5;16933:32;16923:60;;16979:1;16976;16969:12;16923:60;16873:116;:::o;16995:137::-;17049:5;17080:6;17074:13;17065:22;;17096:30;17120:5;17096:30;:::i;:::-;16995:137;;;;:::o;17138:345::-;17205:6;17254:2;17242:9;17233:7;17229:23;17225:32;17222:119;;;17260:79;;:::i;:::-;17222:119;17380:1;17405:61;17458:7;17449:6;17438:9;17434:22;17405:61;:::i;:::-;17395:71;;17351:125;17138:345;;;;:::o;17489:171::-;17629:23;17625:1;17617:6;17613:14;17606:47;17489:171;:::o;17666:366::-;17808:3;17829:67;17893:2;17888:3;17829:67;:::i;:::-;17822:74;;17905:93;17994:3;17905:93;:::i;:::-;18023:2;18018:3;18014:12;18007:19;;17666:366;;;:::o;18038:419::-;18204:4;18242:2;18231:9;18227:18;18219:26;;18291:9;18285:4;18281:20;18277:1;18266:9;18262:17;18255:47;18319:131;18445:4;18319:131;:::i;:::-;18311:139;;18038:419;;;:::o;18463:180::-;18511:77;18508:1;18501:88;18608:4;18605:1;18598:15;18632:4;18629:1;18622:15;18649:320;18693:6;18730:1;18724:4;18720:12;18710:22;;18777:1;18771:4;18767:12;18798:18;18788:81;;18854:4;18846:6;18842:17;18832:27;;18788:81;18916:2;18908:6;18905:14;18885:18;18882:38;18879:84;;18935:18;;:::i;:::-;18879:84;18700:269;18649:320;;;:::o;18975:148::-;19077:11;19114:3;19099:18;;18975:148;;;;:::o;19129:141::-;19178:4;19201:3;19193:11;;19224:3;19221:1;19214:14;19258:4;19255:1;19245:18;19237:26;;19129:141;;;:::o;19300:874::-;19403:3;19440:5;19434:12;19469:36;19495:9;19469:36;:::i;:::-;19521:89;19603:6;19598:3;19521:89;:::i;:::-;19514:96;;19641:1;19630:9;19626:17;19657:1;19652:166;;;;19832:1;19827:341;;;;19619:549;;19652:166;19736:4;19732:9;19721;19717:25;19712:3;19705:38;19798:6;19791:14;19784:22;19776:6;19772:35;19767:3;19763:45;19756:52;;19652:166;;19827:341;19894:38;19926:5;19894:38;:::i;:::-;19954:1;19968:154;19982:6;19979:1;19976:13;19968:154;;;20056:7;20050:14;20046:1;20041:3;20037:11;20030:35;20106:1;20097:7;20093:15;20082:26;;20004:4;20001:1;19997:12;19992:17;;19968:154;;;20151:6;20146:3;20142:16;20135:23;;19834:334;;19619:549;;19407:767;;19300:874;;;;:::o;20180:269::-;20309:3;20331:92;20419:3;20410:6;20331:92;:::i;:::-;20324:99;;20440:3;20433:10;;20180:269;;;;:::o;20455:390::-;20561:3;20589:39;20622:5;20589:39;:::i;:::-;20644:89;20726:6;20721:3;20644:89;:::i;:::-;20637:96;;20742:65;20800:6;20795:3;20788:4;20781:5;20777:16;20742:65;:::i;:::-;20832:6;20827:3;20823:16;20816:23;;20565:280;20455:390;;;;:::o;20851:275::-;20983:3;21005:95;21096:3;21087:6;21005:95;:::i;:::-;20998:102;;21117:3;21110:10;;20851:275;;;;:::o;21132:165::-;21272:17;21268:1;21260:6;21256:14;21249:41;21132:165;:::o;21303:366::-;21445:3;21466:67;21530:2;21525:3;21466:67;:::i;:::-;21459:74;;21542:93;21631:3;21542:93;:::i;:::-;21660:2;21655:3;21651:12;21644:19;;21303:366;;;:::o;21675:419::-;21841:4;21879:2;21868:9;21864:18;21856:26;;21928:9;21922:4;21918:20;21914:1;21903:9;21899:17;21892:47;21956:131;22082:4;21956:131;:::i;:::-;21948:139;;21675:419;;;:::o;22100:165::-;22240:17;22236:1;22228:6;22224:14;22217:41;22100:165;:::o;22271:366::-;22413:3;22434:67;22498:2;22493:3;22434:67;:::i;:::-;22427:74;;22510:93;22599:3;22510:93;:::i;:::-;22628:2;22623:3;22619:12;22612:19;;22271:366;;;:::o;22643:419::-;22809:4;22847:2;22836:9;22832:18;22824:26;;22896:9;22890:4;22886:20;22882:1;22871:9;22867:17;22860:47;22924:131;23050:4;22924:131;:::i;:::-;22916:139;;22643:419;;;:::o;23068:171::-;23208:23;23204:1;23196:6;23192:14;23185:47;23068:171;:::o;23245:366::-;23387:3;23408:67;23472:2;23467:3;23408:67;:::i;:::-;23401:74;;23484:93;23573:3;23484:93;:::i;:::-;23602:2;23597:3;23593:12;23586:19;;23245:366;;;:::o;23617:419::-;23783:4;23821:2;23810:9;23806:18;23798:26;;23870:9;23864:4;23860:20;23856:1;23845:9;23841:17;23834:47;23898:131;24024:4;23898:131;:::i;:::-;23890:139;;23617:419;;;:::o;24042:164::-;24182:16;24178:1;24170:6;24166:14;24159:40;24042:164;:::o;24212:366::-;24354:3;24375:67;24439:2;24434:3;24375:67;:::i;:::-;24368:74;;24451:93;24540:3;24451:93;:::i;:::-;24569:2;24564:3;24560:12;24553:19;;24212:366;;;:::o;24584:419::-;24750:4;24788:2;24777:9;24773:18;24765:26;;24837:9;24831:4;24827:20;24823:1;24812:9;24808:17;24801:47;24865:131;24991:4;24865:131;:::i;:::-;24857:139;;24584:419;;;:::o;25009:93::-;25046:6;25093:2;25088;25081:5;25077:14;25073:23;25063:33;;25009:93;;;:::o;25108:107::-;25152:8;25202:5;25196:4;25192:16;25171:37;;25108:107;;;;:::o;25221:393::-;25290:6;25340:1;25328:10;25324:18;25363:97;25393:66;25382:9;25363:97;:::i;:::-;25481:39;25511:8;25500:9;25481:39;:::i;:::-;25469:51;;25553:4;25549:9;25542:5;25538:21;25529:30;;25602:4;25592:8;25588:19;25581:5;25578:30;25568:40;;25297:317;;25221:393;;;;;:::o;25620:142::-;25670:9;25703:53;25721:34;25730:24;25748:5;25730:24;:::i;:::-;25721:34;:::i;:::-;25703:53;:::i;:::-;25690:66;;25620:142;;;:::o;25768:75::-;25811:3;25832:5;25825:12;;25768:75;;;:::o;25849:269::-;25959:39;25990:7;25959:39;:::i;:::-;26020:91;26069:41;26093:16;26069:41;:::i;:::-;26061:6;26054:4;26048:11;26020:91;:::i;:::-;26014:4;26007:105;25925:193;25849:269;;;:::o;26124:73::-;26169:3;26124:73;:::o;26203:189::-;26280:32;;:::i;:::-;26321:65;26379:6;26371;26365:4;26321:65;:::i;:::-;26256:136;26203:189;;:::o;26398:186::-;26458:120;26475:3;26468:5;26465:14;26458:120;;;26529:39;26566:1;26559:5;26529:39;:::i;:::-;26502:1;26495:5;26491:13;26482:22;;26458:120;;;26398:186;;:::o;26590:543::-;26691:2;26686:3;26683:11;26680:446;;;26725:38;26757:5;26725:38;:::i;:::-;26809:29;26827:10;26809:29;:::i;:::-;26799:8;26795:44;26992:2;26980:10;26977:18;26974:49;;;27013:8;26998:23;;26974:49;27036:80;27092:22;27110:3;27092:22;:::i;:::-;27082:8;27078:37;27065:11;27036:80;:::i;:::-;26695:431;;26680:446;26590:543;;;:::o;27139:117::-;27193:8;27243:5;27237:4;27233:16;27212:37;;27139:117;;;;:::o;27262:169::-;27306:6;27339:51;27387:1;27383:6;27375:5;27372:1;27368:13;27339:51;:::i;:::-;27335:56;27420:4;27414;27410:15;27400:25;;27313:118;27262:169;;;;:::o;27436:295::-;27512:4;27658:29;27683:3;27677:4;27658:29;:::i;:::-;27650:37;;27720:3;27717:1;27713:11;27707:4;27704:21;27696:29;;27436:295;;;;:::o;27736:1395::-;27853:37;27886:3;27853:37;:::i;:::-;27955:18;27947:6;27944:30;27941:56;;;27977:18;;:::i;:::-;27941:56;28021:38;28053:4;28047:11;28021:38;:::i;:::-;28106:67;28166:6;28158;28152:4;28106:67;:::i;:::-;28200:1;28224:4;28211:17;;28256:2;28248:6;28245:14;28273:1;28268:618;;;;28930:1;28947:6;28944:77;;;28996:9;28991:3;28987:19;28981:26;28972:35;;28944:77;29047:67;29107:6;29100:5;29047:67;:::i;:::-;29041:4;29034:81;28903:222;28238:887;;28268:618;28320:4;28316:9;28308:6;28304:22;28354:37;28386:4;28354:37;:::i;:::-;28413:1;28427:208;28441:7;28438:1;28435:14;28427:208;;;28520:9;28515:3;28511:19;28505:26;28497:6;28490:42;28571:1;28563:6;28559:14;28549:24;;28618:2;28607:9;28603:18;28590:31;;28464:4;28461:1;28457:12;28452:17;;28427:208;;;28663:6;28654:7;28651:19;28648:179;;;28721:9;28716:3;28712:19;28706:26;28764:48;28806:4;28798:6;28794:17;28783:9;28764:48;:::i;:::-;28756:6;28749:64;28671:156;28648:179;28873:1;28869;28861:6;28857:14;28853:22;28847:4;28840:36;28275:611;;;28238:887;;27828:1303;;;27736:1395;;:::o;29137:171::-;29277:23;29273:1;29265:6;29261:14;29254:47;29137:171;:::o;29314:366::-;29456:3;29477:67;29541:2;29536:3;29477:67;:::i;:::-;29470:74;;29553:93;29642:3;29553:93;:::i;:::-;29671:2;29666:3;29662:12;29655:19;;29314:366;;;:::o;29686:419::-;29852:4;29890:2;29879:9;29875:18;29867:26;;29939:9;29933:4;29929:20;29925:1;29914:9;29910:17;29903:47;29967:131;30093:4;29967:131;:::i;:::-;29959:139;;29686:419;;;:::o;30111:180::-;30251:32;30247:1;30239:6;30235:14;30228:56;30111:180;:::o;30297:366::-;30439:3;30460:67;30524:2;30519:3;30460:67;:::i;:::-;30453:74;;30536:93;30625:3;30536:93;:::i;:::-;30654:2;30649:3;30645:12;30638:19;;30297:366;;;:::o;30669:419::-;30835:4;30873:2;30862:9;30858:18;30850:26;;30922:9;30916:4;30912:20;30908:1;30897:9;30893:17;30886:47;30950:131;31076:4;30950:131;:::i;:::-;30942:139;;30669:419;;;:::o;31094:514::-;31255:4;31293:2;31282:9;31278:18;31270:26;;31342:9;31336:4;31332:20;31328:1;31317:9;31313:17;31306:47;31370:78;31443:4;31434:6;31370:78;:::i;:::-;31362:86;;31495:9;31489:4;31485:20;31480:2;31469:9;31465:18;31458:48;31523:78;31596:4;31587:6;31523:78;:::i;:::-;31515:86;;31094:514;;;;;:::o;31614:612::-;31797:4;31835:2;31824:9;31820:18;31812:26;;31884:9;31878:4;31874:20;31870:1;31859:9;31855:17;31848:47;31912:78;31985:4;31976:6;31912:78;:::i;:::-;31904:86;;32037:9;32031:4;32027:20;32022:2;32011:9;32007:18;32000:48;32065:78;32138:4;32129:6;32065:78;:::i;:::-;32057:86;;32153:66;32215:2;32204:9;32200:18;32191:6;32153:66;:::i;:::-;31614:612;;;;;;:::o;32232:231::-;32270:3;32293:23;32310:5;32293:23;:::i;:::-;32284:32;;32338:66;32331:5;32328:77;32325:103;;32408:18;;:::i;:::-;32325:103;32455:1;32448:5;32444:13;32437:20;;32232:231;;;:::o;32469:181::-;32609:33;32605:1;32597:6;32593:14;32586:57;32469:181;:::o;32656:366::-;32798:3;32819:67;32883:2;32878:3;32819:67;:::i;:::-;32812:74;;32895:93;32984:3;32895:93;:::i;:::-;33013:2;33008:3;33004:12;32997:19;;32656:366;;;:::o;33028:419::-;33194:4;33232:2;33221:9;33217:18;33209:26;;33281:9;33275:4;33271:20;33267:1;33256:9;33252:17;33245:47;33309:131;33435:4;33309:131;:::i;:::-;33301:139;;33028:419;;;:::o;33453:230::-;33593:34;33589:1;33581:6;33577:14;33570:58;33662:13;33657:2;33649:6;33645:15;33638:38;33453:230;:::o;33689:366::-;33831:3;33852:67;33916:2;33911:3;33852:67;:::i;:::-;33845:74;;33928:93;34017:3;33928:93;:::i;:::-;34046:2;34041:3;34037:12;34030:19;;33689:366;;;:::o;34061:419::-;34227:4;34265:2;34254:9;34250:18;34242:26;;34314:9;34308:4;34304:20;34300:1;34289:9;34285:17;34278:47;34342:131;34468:4;34342:131;:::i;:::-;34334:139;;34061:419;;;:::o;34486:221::-;34626:34;34622:1;34614:6;34610:14;34603:58;34695:4;34690:2;34682:6;34678:15;34671:29;34486:221;:::o;34713:366::-;34855:3;34876:67;34940:2;34935:3;34876:67;:::i;:::-;34869:74;;34952:93;35041:3;34952:93;:::i;:::-;35070:2;35065:3;35061:12;35054:19;;34713:366;;;:::o;35085:419::-;35251:4;35289:2;35278:9;35274:18;35266:26;;35338:9;35332:4;35328:20;35324:1;35313:9;35309:17;35302:47;35366:131;35492:4;35366:131;:::i;:::-;35358:139;;35085:419;;;:::o;35510:177::-;35650:29;35646:1;35638:6;35634:14;35627:53;35510:177;:::o;35693:366::-;35835:3;35856:67;35920:2;35915:3;35856:67;:::i;:::-;35849:74;;35932:93;36021:3;35932:93;:::i;:::-;36050:2;36045:3;36041:12;36034:19;;35693:366;;;:::o;36065:419::-;36231:4;36269:2;36258:9;36254:18;36246:26;;36318:9;36312:4;36308:20;36304:1;36293:9;36289:17;36282:47;36346:131;36472:4;36346:131;:::i;:::-;36338:139;;36065:419;;;:::o;36490:152::-;36630:4;36626:1;36618:6;36614:14;36607:28;36490:152;:::o;36648:400::-;36808:3;36829:84;36911:1;36906:3;36829:84;:::i;:::-;36822:91;;36922:93;37011:3;36922:93;:::i;:::-;37040:1;37035:3;37031:11;37024:18;;36648:400;;;:::o;37054:221::-;37194:34;37190:1;37182:6;37178:14;37171:58;37263:4;37258:2;37250:6;37246:15;37239:29;37054:221;:::o;37281:402::-;37441:3;37462:85;37544:2;37539:3;37462:85;:::i;:::-;37455:92;;37556:93;37645:3;37556:93;:::i;:::-;37674:2;37669:3;37665:12;37658:19;;37281:402;;;:::o;37689:961::-;38068:3;38090:95;38181:3;38172:6;38090:95;:::i;:::-;38083:102;;38202:148;38346:3;38202:148;:::i;:::-;38195:155;;38367:92;38455:3;38446:6;38367:92;:::i;:::-;38360:99;;38476:148;38620:3;38476:148;:::i;:::-;38469:155;;38641:3;38634:10;;37689:961;;;;;:::o

ipfs://0a9deb18afbbe07981b33d356ab2a1d6b2cdb998ddd9e40d4781dd16c3c9d673