Contract 0xdd73dea10abc2bff99c60882ec5b2b81bb1dc5b2 9

/**
 *Submitted for verification at cronoscan.com on 2022-01-12
*/

// Sources flattened with hardhat v2.6.4 https://hardhat.org

// File contracts/Governance/Tonic.sol

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract Tonic {
    /// @notice EIP-20 token name for this token
    string public constant name = "Tectonic Governance Token";

    /// @notice EIP-20 token symbol for this token
    string public constant symbol = "TONIC";

    /// @notice EIP-20 token decimals for this token
    uint8 public constant decimals = 18;

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 500000000000000e18; // 500,000,000,000,000 Tonic, 500 Trillion

    /// @notice Allowance amounts on behalf of others
    mapping (address => mapping (address => uint128)) internal allowances;

    /// @notice Official record of token balances for each account
    mapping (address => uint128) internal balances;

    /// @notice A record of each accounts delegate
    mapping (address => address) public delegates;

    /// @notice A checkpoint for marking number of votes from a given block
    struct Checkpoint {
        uint32 fromBlock;
        uint128 votes;
    }

    /// @notice A record of votes checkpoints for each account, by index
    mapping (address => mapping (uint32 => Checkpoint)) public checkpoints;

    /// @notice The number of checkpoints for each account
    mapping (address => uint32) public numCheckpoints;

    /// @notice The EIP-712 typehash for the contract's domain
    bytes32 public constant DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,uint256 chainId,address verifyingContract)");

    /// @notice The EIP-712 typehash for the delegation struct used by the contract
    bytes32 public constant DELEGATION_TYPEHASH = keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    /// @notice A record of states for signing / validating signatures
    mapping (address => uint) public nonces;

    /// @notice An event thats emitted when an account changes its delegate
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /// @notice An event thats emitted when a delegate account's vote balance changes
    event DelegateVotesChanged(address indexed delegate, uint previousBalance, uint newBalance);

    /// @notice The standard EIP-20 transfer event
    event Transfer(address indexed from, address indexed to, uint256 amount);

    /// @notice The standard EIP-20 approval event
    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /**
     * @notice Construct a new Tonic token
     * @param account The initial account to grant all the tokens
     */
    constructor(address account) public {
        balances[account] = uint128(totalSupply);
        emit Transfer(address(0), account, totalSupply);
    }

    /**
     * @notice Get the number of tokens `spender` is approved to spend on behalf of `account`
     * @param account The address of the account holding the funds
     * @param spender The address of the account spending the funds
     * @return The number of tokens approved
     */
    function allowance(address account, address spender) external view returns (uint) {
        return allowances[account][spender];
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     *  and is subject to issues noted [here](https://eips.ethereum.org/EIPS/eip-20#approve)
     * @param spender The address of the account which may transfer tokens
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @return Whether or not the approval succeeded
     */
    function approve(address spender, uint rawAmount) external returns (bool) {
        uint128 amount;
        if (rawAmount == uint(-1)) {
            amount = uint128(-1);
        } else {
            amount = safe128(rawAmount, "Tonic::approve: amount exceeds 128 bits");
        }

        allowances[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);
        return true;
    }

    /**
     * @notice Get the number of tokens held by the `account`
     * @param account The address of the account to get the balance of
     * @return The number of tokens held
     */
    function balanceOf(address account) external view returns (uint) {
        return balances[account];
    }

    /**
     * @notice Transfer `amount` tokens from `msg.sender` to `dst`
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transfer(address dst, uint rawAmount) external returns (bool) {
        uint128 amount = safe128(rawAmount, "Tonic::transfer: amount exceeds 128 bits");
        _transferTokens(msg.sender, dst, amount);
        return true;
    }

    /**
     * @notice Transfer `amount` tokens from `src` to `dst`
     * @param src The address of the source account
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transferFrom(address src, address dst, uint rawAmount) external returns (bool) {
        address spender = msg.sender;
        uint128 spenderAllowance = allowances[src][spender];
        uint128 amount = safe128(rawAmount, "Tonic::approve: amount exceeds 128 bits");

        if (spender != src && spenderAllowance != uint128(-1)) {
            uint128 newAllowance = sub128(spenderAllowance, amount, "Tonic::transferFrom: transfer amount exceeds spender allowance");
            allowances[src][spender] = newAllowance;

            emit Approval(src, spender, newAllowance);
        }

        _transferTokens(src, dst, amount);
        return true;
    }

    /**
     * @notice Delegate votes from `msg.sender` to `delegatee`
     * @param delegatee The address to delegate votes to
     */
    function delegate(address delegatee) public {
        return _delegate(msg.sender, delegatee);
    }

    /**
     * @notice Delegates votes from signatory to `delegatee`
     * @param delegatee The address to delegate votes to
     * @param nonce The contract state required to match the signature
     * @param expiry The time at which to expire the signature
     * @param v The recovery byte of the signature
     * @param r Half of the ECDSA signature pair
     * @param s Half of the ECDSA signature pair
     */
    function delegateBySig(address delegatee, uint nonce, uint expiry, uint8 v, bytes32 r, bytes32 s) public {
        bytes32 domainSeparator = keccak256(abi.encode(DOMAIN_TYPEHASH, keccak256(bytes(name)), getChainId(), address(this)));
        bytes32 structHash = keccak256(abi.encode(DELEGATION_TYPEHASH, delegatee, nonce, expiry));
        bytes32 digest = keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
        address signatory = ecrecover(digest, v, r, s);
        require(signatory != address(0), "Tonic::delegateBySig: invalid signature");
        require(nonce == nonces[signatory]++, "Tonic::delegateBySig: invalid nonce");
        require(now <= expiry, "Tonic::delegateBySig: signature expired");
        return _delegate(signatory, delegatee);
    }

    /**
     * @notice Gets the current votes balance for `account`
     * @param account The address to get votes balance
     * @return The number of current votes for `account`
     */
    function getCurrentVotes(address account) external view returns (uint128) {
        uint32 nCheckpoints = numCheckpoints[account];
        return nCheckpoints > 0 ? checkpoints[account][nCheckpoints - 1].votes : 0;
    }

    /**
     * @notice Determine the prior number of votes for an account as of a block number
     * @dev Block number must be a finalized block or else this function will revert to prevent misinformation.
     * @param account The address of the account to check
     * @param blockNumber The block number to get the vote balance at
     * @return The number of votes the account had as of the given block
     */
    function getPriorVotes(address account, uint blockNumber) public view returns (uint128) {
        require(blockNumber < block.number, "Tonic::getPriorVotes: not yet determined");

        uint32 nCheckpoints = numCheckpoints[account];
        if (nCheckpoints == 0) {
            return 0;
        }

        // First check most recent balance
        if (checkpoints[account][nCheckpoints - 1].fromBlock <= blockNumber) {
            return checkpoints[account][nCheckpoints - 1].votes;
        }

        // Next check implicit zero balance
        if (checkpoints[account][0].fromBlock > blockNumber) {
            return 0;
        }

        uint32 lower = 0;
        uint32 upper = nCheckpoints - 1;
        while (upper > lower) {
            uint32 center = upper - (upper - lower) / 2; // ceil, avoiding overflow
            Checkpoint memory cp = checkpoints[account][center];
            if (cp.fromBlock == blockNumber) {
                return cp.votes;
            } else if (cp.fromBlock < blockNumber) {
                lower = center;
            } else {
                upper = center - 1;
            }
        }
        return checkpoints[account][lower].votes;
    }

    function _delegate(address delegator, address delegatee) internal {
        address currentDelegate = delegates[delegator];
        uint128 delegatorBalance = balances[delegator];
        delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveDelegates(currentDelegate, delegatee, delegatorBalance);
    }

    function _transferTokens(address src, address dst, uint128 amount) internal {
        require(src != address(0), "Tonic::_transferTokens: cannot transfer from the zero address");
        require(dst != address(0), "Tonic::_transferTokens: cannot transfer to the zero address");

        balances[src] = sub128(balances[src], amount, "Tonic::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add128(balances[dst], amount, "Tonic::_transferTokens: transfer amount overflows");
        emit Transfer(src, dst, amount);

        _moveDelegates(delegates[src], delegates[dst], amount);
    }

    function _moveDelegates(address srcRep, address dstRep, uint128 amount) internal {
        if (srcRep != dstRep && amount > 0) {
            if (srcRep != address(0)) {
                uint32 srcRepNum = numCheckpoints[srcRep];
                uint128 srcRepOld = srcRepNum > 0 ? checkpoints[srcRep][srcRepNum - 1].votes : 0;
                uint128 srcRepNew = sub128(srcRepOld, amount, "Tonic::_moveVotes: vote amount underflows");
                _writeCheckpoint(srcRep, srcRepNum, srcRepOld, srcRepNew);
            }

            if (dstRep != address(0)) {
                uint32 dstRepNum = numCheckpoints[dstRep];
                uint128 dstRepOld = dstRepNum > 0 ? checkpoints[dstRep][dstRepNum - 1].votes : 0;
                uint128 dstRepNew = add128(dstRepOld, amount, "Tonic::_moveVotes: vote amount overflows");
                _writeCheckpoint(dstRep, dstRepNum, dstRepOld, dstRepNew);
            }
        }
    }

    function _writeCheckpoint(address delegatee, uint32 nCheckpoints, uint128 oldVotes, uint128 newVotes) internal {
      uint32 blockNumber = safe32(block.number, "Tonic::_writeCheckpoint: block number exceeds 32 bits");

      if (nCheckpoints > 0 && checkpoints[delegatee][nCheckpoints - 1].fromBlock == blockNumber) {
          checkpoints[delegatee][nCheckpoints - 1].votes = newVotes;
      } else {
          checkpoints[delegatee][nCheckpoints] = Checkpoint(blockNumber, newVotes);
          numCheckpoints[delegatee] = nCheckpoints + 1;
      }

      emit DelegateVotesChanged(delegatee, oldVotes, newVotes);
    }

    function safe32(uint n, string memory errorMessage) internal pure returns (uint32) {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe128(uint n, string memory errorMessage) internal pure returns (uint128) {
        require(n < 2**128, errorMessage);
        return uint128(n);
    }

    function add128(uint128 a, uint128 b, string memory errorMessage) internal pure returns (uint128) {
        uint128 c = a + b;
        require(c >= a, errorMessage);
        return c;
    }

    function sub128(uint128 a, uint128 b, string memory errorMessage) internal pure returns (uint128) {
        require(b <= a, errorMessage);
        return a - b;
    }

    function getChainId() internal pure returns (uint) {
        uint256 chainId;
        assembly { chainId := chainid() }
        return chainId;
    }
}

[{"inputs":[{"internalType":"address","name":"account","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"DELEGATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint32","name":"","type":"uint32"}],"name":"checkpoints","outputs":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint128","name":"votes","type":"uint128"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getCurrentVotes","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPriorVotes","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405162001bbd38038062001bbd8339810160408190526200003491620000bf565b6001600160a01b03811660008181526001602052604080822080546001600160801b0319166d18a6e32246c99c60ad850000000090811790915590517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef916200009d91620000f9565b60405180910390a35062000138565b8051620000b9816200011e565b92915050565b600060208284031215620000d257600080fd5b6000620000e08484620000ac565b949350505050565b620000f3816200011b565b82525050565b60208101620000b98284620000e8565b60006001600160a01b038216620000b9565b90565b620001298162000109565b81146200013557600080fd5b50565b611a7580620001486000396000f3fe608060405234801561001057600080fd5b50600436106100f15760003560e01c806306fdde03146100f6578063095ea7b31461011457806318160ddd1461013457806320606b701461014957806323b872dd14610151578063313ce56714610164578063587cde1e146101795780635c19a95c146101995780636fcfff45146101ae57806370a08231146101ce578063782d6fe1146101e15780637ecebe001461020157806395d89b4114610214578063a9059cbb1461021c578063b4b5ea571461022f578063c3cda52014610242578063dd62ed3e14610255578063e7a324dc14610268578063f1127ed814610270575b600080fd5b6100fe610291565b60405161010b91906116dc565b60405180910390f35b6101276101223660046111ca565b6102c6565b60405161010b9190611632565b61013c610371565b60405161010b9190611640565b61013c610382565b61012761015f36600461117d565b610399565b61016c6104cc565b60405161010b91906117ad565b61018c61018736600461111d565b6104d1565b60405161010b9190611624565b6101ac6101a736600461111d565b6104ec565b005b6101c16101bc36600461111d565b6104f9565b60405161010b9190611784565b61013c6101dc36600461111d565b610511565b6101f46101ef3660046111ca565b610535565b60405161010b919061174d565b61013c61020f36600461111d565b61074c565b6100fe61075e565b61012761022a3660046111ca565b61077f565b6101f461023d36600461111d565b6107bb565b6101ac6102503660046111fa565b61082b565b61013c610263366004611143565b610a26565b61013c610a58565b61028361027e366004611281565b610a64565b60405161010b929190611792565b604051806040016040528060198152602001782a32b1ba37b734b19023b7bb32b93730b731b2902a37b5b2b760391b81525081565b6000806000198314156102dc5750600019610301565b6102fe8360405180606001604052806027815260200161190f60279139610a99565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160801b0319166001600160801b038616179055905190919060008051602061196b8339815191529061035d90859061175b565b60405180910390a360019150505b92915050565b6918a6e32246c99c60ad8560201b81565b60405161038e9061160e565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602780845291936001600160801b039091169285926103ef928892919061190f90830139610a99565b9050866001600160a01b0316836001600160a01b03161415801561041c57506001600160801b0382811614155b156104b257600061044683836040518060600160405280603e8152602001611878603e9139610ac8565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160801b0319166001600160801b03861617905551929350909160008051602061196b833981519152906104a890859061175b565b60405180910390a3505b6104bd878783610b07565b600193505050505b9392505050565b601281565b6002602052600090815260409020546001600160a01b031681565b6104f63382610cb2565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160801b031690565b600043821061055f5760405162461bcd60e51b8152600401610556906116ed565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff168061058d57600091505061036b565b6001600160a01b038416600090815260036020908152604080832063ffffffff600019860181168552925290912054168310610609576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160801b0316905061036b565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff1683101561064457600091505061036b565b600060001982015b8163ffffffff168163ffffffff16111561070757600282820363ffffffff160481036106766110da565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160801b031691810191909152908714156106e25760200151945061036b9350505050565b805163ffffffff168711156106f957819350610700565b6001820392505b505061064c565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160801b03600160201b9091041691505092915050565b60056020526000908152604090205481565b60405180604001604052806005815260200164544f4e494360d81b81525081565b6000806107a4836040518060600160405280602881526020016118b660289139610a99565b90506107b1338583610b07565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff16806107e65760006104c5565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160801b03169392505050565b60006040516108399061160e565b6040805191829003822082820190915260198252782a32b1ba37b734b19023b7bb32b93730b731b2902a37b5b2b760391b6020909201919091527f7827492612352d9b7d84cb7b60b8b7dbbfd26689866fdf3244618d22afee409261089c610d3c565b306040516020016108b0949392919061168c565b60405160208183030381529060405280519060200120905060006040516108d690611619565b6040519081900381206108f1918a908a908a9060200161164e565b6040516020818303038152906040528051906020012090506000828260405160200161091e9291906115dd565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161095b94939291906116c1565b6020604051602081039080840390855afa15801561097d573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166109b05760405162461bcd60e51b81526004016105569061171d565b6001600160a01b038116600090815260056020526040902080546001810190915589146109ef5760405162461bcd60e51b81526004016105569061170d565b87421115610a0f5760405162461bcd60e51b8152600401610556906116fd565b610a19818b610cb2565b505050505b505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160801b031690565b60405161038e90611619565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160801b031682565b600081600160801b8410610ac05760405162461bcd60e51b815260040161055691906116dc565b509192915050565b6000836001600160801b0316836001600160801b031611158290610aff5760405162461bcd60e51b815260040161055691906116dc565b505050900390565b6001600160a01b038316610b2d5760405162461bcd60e51b81526004016105569061173d565b6001600160a01b038216610b535760405162461bcd60e51b81526004016105569061172d565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526037808452610b9e936001600160801b0390921692859291906119fc90830139610ac8565b6001600160a01b03848116600090815260016020908152604080832080546001600160801b0319166001600160801b03968716179055928616825290829020548251606081019093526031808452610c0694919091169285929091906118de90830139610d40565b6001600160a01b038381166000818152600160205260409081902080546001600160801b0319166001600160801b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c7390859061175b565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054610cad92918216911683610d7c565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160801b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610d36828483610d7c565b50505050565b4690565b6000838301826001600160801b038087169083161015610d735760405162461bcd60e51b815260040161055691906116dc565b50949350505050565b816001600160a01b0316836001600160a01b031614158015610da757506000816001600160801b0316115b15610cad576001600160a01b03831615610e5f576001600160a01b03831660009081526004602052604081205463ffffffff169081610de7576000610e26565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160801b03165b90506000610e4d82856040518060600160405280602981526020016119b360299139610ac8565b9050610e5b86848484610f0a565b5050505b6001600160a01b03821615610cad576001600160a01b03821660009081526004602052604081205463ffffffff169081610e9a576000610ed9565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160801b03165b90506000610f00828560405180606001604052806028815260200161198b60289139610d40565b9050610a1e858484845b6000610f2e43604051806060016040528060358152602001611936603591396110b3565b905060008463ffffffff16118015610f7757506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b15610fd0576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff16845290915290208054600160201b600160a01b031916600160201b6001600160801b03851602179055611069565b60408051808201825263ffffffff80841682526001600160801b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b02600160201b600160a01b031995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516110a4929190611769565b60405180910390a25050505050565b600081600160201b8410610ac05760405162461bcd60e51b815260040161055691906116dc565b604080518082019091526000808252602082015290565b803561036b81611848565b803561036b8161185c565b803561036b81611865565b803561036b8161186e565b60006020828403121561112f57600080fd5b600061113b84846110f1565b949350505050565b6000806040838503121561115657600080fd5b600061116285856110f1565b9250506020611173858286016110f1565b9150509250929050565b60008060006060848603121561119257600080fd5b600061119e86866110f1565b93505060206111af868287016110f1565b92505060406111c0868287016110fc565b9150509250925092565b600080604083850312156111dd57600080fd5b60006111e985856110f1565b9250506020611173858286016110fc565b60008060008060008060c0878903121561121357600080fd5b600061121f89896110f1565b965050602061123089828a016110fc565b955050604061124189828a016110fc565b945050606061125289828a01611112565b935050608061126389828a016110fc565b92505060a061127489828a016110fc565b9150509295509295509295565b6000806040838503121561129457600080fd5b60006112a085856110f1565b925050602061117385828601611107565b6112ba816117cd565b82525050565b6112ba816117d8565b6112ba816117dd565b6112ba6112de826117dd565b6117dd565b60006112ee826117bb565b6112f881856117bf565b9350611308818560208601611812565b6113118161183e565b9093019392505050565b60006113286028836117bf565b7f546f6e69633a3a6765745072696f72566f7465733a206e6f74207965742064658152671d195c9b5a5b995960c21b602082015260400192915050565b60006113726002836117c8565b61190160f01b815260020192915050565b60006113906027836117bf565b7f546f6e69633a3a64656c656761746542795369673a207369676e617475726520815266195e1c1a5c995960ca1b602082015260400192915050565b60006113d96023836117bf565b7f546f6e69633a3a64656c656761746542795369673a20696e76616c6964206e6f8152626e636560e81b602082015260400192915050565b600061141e6027836117bf565b7f546f6e69633a3a64656c656761746542795369673a20696e76616c6964207369815266676e617475726560c81b602082015260400192915050565b6000611467603b836117bf565b6000805160206119dc83398151915281527a72616e7366657220746f20746865207a65726f206164647265737360281b602082015260400192915050565b60006114b26043836117c8565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b600061151d603d836117bf565b6000805160206119dc83398151915281527f72616e736665722066726f6d20746865207a65726f2061646472657373000000602082015260400192915050565b600061156a603a836117c8565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527974323536206e6f6e63652c75696e74323536206578706972792960301b6020820152603a0192915050565b6112ba816117e0565b6112ba81611807565b6112ba816117f8565b6112ba81611801565b60006115e882611365565b91506115f482856112d2565b60208201915061160482846112d2565b5060200192915050565b600061036b826114a5565b600061036b8261155d565b6020810161036b82846112b1565b6020810161036b82846112c0565b6020810161036b82846112c9565b6080810161165c82876112c9565b61166960208301866112b1565b61167660408301856112c9565b61168360608301846112c9565b95945050505050565b6080810161169a82876112c9565b6116a760208301866112c9565b6116b460408301856112c9565b61168360608301846112b1565b608081016116cf82876112c9565b61166960208301866115d4565b602080825281016104c581846112e3565b6020808252810161036b8161131b565b6020808252810161036b81611383565b6020808252810161036b816113cc565b6020808252810161036b81611411565b6020808252810161036b8161145a565b6020808252810161036b81611510565b6020810161036b82846115b9565b6020810161036b82846115c2565b6040810161177782856115c2565b6104c560208301846115c2565b6020810161036b82846115cb565b604081016117a082856115cb565b6104c560208301846115b9565b6020810161036b82846115d4565b5190565b90815260200190565b919050565b600061036b826117ec565b151590565b90565b6001600160801b031690565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b600061036b826117e0565b60005b8381101561182d578181015183820152602001611815565b83811115610d365750506000910152565b601f01601f191690565b611851816117cd565b81146104f657600080fd5b611851816117dd565b611851816117f8565b6118518161180156fe546f6e69633a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365546f6e69633a3a7472616e736665723a20616d6f756e742065786365656473203132382062697473546f6e69633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773546f6e69633a3a617070726f76653a20616d6f756e742065786365656473203132382062697473546f6e69633a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974738c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925546f6e69633a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773546f6e69633a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773546f6e69633a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074546f6e69633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365a365627a7a723158204029f6a022ffecaf2d899e10a3e6956bf0bf5790689780ac40f22a07727d89d16c6578706572696d656e74616cf564736f6c6343000510004000000000000000000000000000000957896fcb916bacccfdb55caecfaecfb587

00000000000000000000000000000957896fcb916bacccfdb55caecfaecfb587

-----Decoded View---------------
Arg [0] : account (address): 0x00000957896fcb916bacccfdb55caecfaecfb587

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000957896fcb916bacccfdb55caecfaecfb587

169:12944:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;169:12944:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;241:57;;;:::i;:::-;;;;;;;;;;;;;;;;3837:424;;;;;;;;;:::i;:::-;;;;;;;;560:53;;;:::i;:::-;;;;;;;;1524:122;;;:::i;5388:681::-;;;;;;;;;:::i;461:35::-;;;:::i;:::-;;;;;;;;973:45;;;;;;;;;:::i;:::-;;;;;;;;6217:102;;;;;;;;;:::i;:::-;;1402:49;;;;;;;;;:::i;:::-;;;;;;;;4464:108;;;;;;;;;:::i;8400:1220::-;;;;;;;;;:::i;:::-;;;;;;;;1938:39;;;;;;;;;:::i;359:::-;;;:::i;4836:242::-;;;;;;;;;:::i;7746:223::-;;;;;;;;;:::i;6753:792::-;;;;;;;;;:::i;3223:136::-;;;;;;;;;:::i;1740:117::-;;;:::i;1263:70::-;;;;;;;;;:::i;:::-;;;;;;;;;241:57;;;;;;;;;;;;;;-1:-1:-1;;;241:57:0;;;;:::o;3837:424::-;3905:4;3922:14;-1:-1:-1;;3951:9:0;:21;3947:177;;;-1:-1:-1;;;3947:177:0;;;4051:61;4059:9;4051:61;;;;;;;;;;;;;;;;;:7;:61::i;:::-;4042:70;;3947:177;4147:10;4136;:22;;;;;;;;;;;-1:-1:-1;;;;;4136:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;4136:40:0;-1:-1:-1;;;;;4136:40:0;;;;;4194:37;;4136:31;;4147:10;-1:-1:-1;;;;;;;;;;;4194:37:0;;;4136:40;;4194:37;;;;;;;;;;4249:4;4242:11;;;3837:424;;;;;:::o;560:53::-;-1:-1:-1;;;560:53:0;:::o;1524:122::-;1566:80;;;;;;;;;;;;;;1524:122;:::o;5388:681::-;-1:-1:-1;;;;;5553:15:0;;5470:4;5553:15;;;;;;;;;;;5505:10;5553:24;;;;;;;;;;5605:61;;;;;;;;;;;;5505:10;;-1:-1:-1;;;;;5553:24:0;;;;5470:4;;5605:61;;5613:9;;5605:61;;;;;;;:7;:61::i;:::-;5588:78;;5694:3;-1:-1:-1;;;;;5683:14:0;:7;-1:-1:-1;;;;;5683:14:0;;;:49;;;;-1:-1:-1;;;;;;5701:31:0;;;;;5683:49;5679:315;;;5749:20;5772:98;5779:16;5797:6;5772:98;;;;;;;;;;;;;;;;;:6;:98::i;:::-;-1:-1:-1;;;;;5885:15:0;;;:10;:15;;;;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;5885:39:0;-1:-1:-1;;;;;5885:39:0;;;;;5946:36;5885:39;;-1:-1:-1;5885:24:0;;-1:-1:-1;;;;;;;;;;;5946:36:0;;;5885:39;;5946:36;;;;;;;;;;5679:315;;6006:33;6022:3;6027;6032:6;6006:15;:33::i;:::-;6057:4;6050:11;;;;;5388:681;;;;;;:::o;461:35::-;494:2;461:35;:::o;973:45::-;;;;;;;;;;;;-1:-1:-1;;;;;973:45:0;;:::o;6217:102::-;6279:32;6289:10;6301:9;6279;:32::i;:::-;6217:102;:::o;1402:49::-;;;;;;;;;;;;;;;:::o;4464:108::-;-1:-1:-1;;;;;4547:17:0;4523:4;4547:17;;;:8;:17;;;;;;-1:-1:-1;;;;;4547:17:0;;4464:108::o;8400:1220::-;8479:7;8521:12;8507:11;:26;8499:79;;;;-1:-1:-1;;;8499:79:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8613:23:0;;8591:19;8613:23;;;:14;:23;;;;;;;;8651:17;8647:58;;8692:1;8685:8;;;;;8647:58;-1:-1:-1;;;;;8765:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;8786:16:0;;8765:38;;;;;;;;;:48;;:63;-1:-1:-1;8761:147:0;;-1:-1:-1;;;;;8852:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;8873:16:0;;;;8852:38;;;;;;;;:44;-1:-1:-1;;;8852:44:0;;-1:-1:-1;;;;;8852:44:0;;-1:-1:-1;8845:51:0;;8761:147;-1:-1:-1;;;;;8969:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;8965:88:0;;;9040:1;9033:8;;;;;8965:88;9065:12;-1:-1:-1;;9107:16:0;;9134:428;9149:5;9141:13;;:5;:13;;;9134:428;;;9213:1;9196:13;;;9195:19;;;9187:27;;9256:20;;:::i;:::-;-1:-1:-1;;;;;;9279:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;9256:51;;;;;;;;;;;;;;;-1:-1:-1;;;9256:51:0;;;-1:-1:-1;;;;;9256:51:0;;;;;;;;;9326:27;;9322:229;;;9381:8;;;;-1:-1:-1;9374:15:0;;-1:-1:-1;;;;9374:15:0;9322:229;9415:12;;:26;;;-1:-1:-1;9411:140:0;;;9470:6;9462:14;;9411:140;;;9534:1;9525:6;:10;9517:18;;9411:140;9134:428;;;;;-1:-1:-1;;;;;;9579:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;9579:33:0;;;;;-1:-1:-1;;8400:1220:0;;;;:::o;1938:39::-;;;;;;;;;;;;;:::o;359:::-;;;;;;;;;;;;;;-1:-1:-1;;;359:39:0;;;;:::o;4836:242::-;4901:4;4918:14;4935:62;4943:9;4935:62;;;;;;;;;;;;;;;;;:7;:62::i;:::-;4918:79;;5008:40;5024:10;5036:3;5041:6;5008:15;:40::i;:::-;-1:-1:-1;5066:4:0;;4836:242;-1:-1:-1;;;4836:242:0:o;7746:223::-;-1:-1:-1;;;;;7853:23:0;;7811:7;7853:23;;;:14;:23;;;;;;;;7894:16;:67;;7960:1;7894:67;;;-1:-1:-1;;;;;7913:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;7934:16:0;;7913:38;;;;;;;;;:44;-1:-1:-1;;;7913:44:0;;-1:-1:-1;;;;;7913:44:0;7887:74;7746:223;-1:-1:-1;;;7746:223:0:o;6753:792::-;6869:23;1566:80;;;;;;;;;;;;;;;;6949:4;;;;;;;;;-1:-1:-1;;;6949:4:0;;;;;;;;6933:22;6957:12;:10;:12::i;:::-;6979:4;6905:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6905:80:0;;;6895:91;;;;;;6869:117;;6997:18;1786:71;;;;;;;;;;;;;;;7028:57;;7060:9;;7071:5;;7078:6;;7028:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7028:57:0;;;7018:68;;;;;;6997:89;;7097:14;7153:15;7170:10;7124:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7124:57:0;;;7114:68;;;;;;7097:85;;7193:17;7213:26;7223:6;7231:1;7234;7237;7213:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7213:26:0;;-1:-1:-1;;7213:26:0;;;-1:-1:-1;;;;;;;7258:23:0;;7250:75;;;;-1:-1:-1;;;7250:75:0;;;;;;;;;-1:-1:-1;;;;;7353:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;7344:28;;7336:76;;;;-1:-1:-1;;;7336:76:0;;;;;;;;;7438:6;7431:3;:13;;7423:65;;;;-1:-1:-1;;;7423:65:0;;;;;;;;;7506:31;7516:9;7527;7506;:31::i;:::-;7499:38;;;;6753:792;;;;;;;:::o;3223:136::-;-1:-1:-1;;;;;3323:19:0;;;3299:4;3323:19;;;;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;3323:28:0;;3223:136::o;1740:117::-;1786:71;;;;;;1263:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1263:70:0;;-1:-1:-1;;;;;1263:70:0;;:::o;12406:165::-;12482:7;12522:12;-1:-1:-1;;;12510:10:0;;12502:33;;;;-1:-1:-1;;;12502:33:0;;;;;;;;;;-1:-1:-1;12561:1:0;;12406:165;-1:-1:-1;;12406:165:0:o;12780:169::-;12869:7;12902:1;-1:-1:-1;;;;;12897:6:0;:1;-1:-1:-1;;;;;12897:6:0;;;12905:12;12889:29;;;;;-1:-1:-1;;;12889:29:0;;;;;;;;;;-1:-1:-1;;;12936:5:0;;;12780:169::o;10012:621::-;-1:-1:-1;;;;;10107:17:0;;10099:91;;;;-1:-1:-1;;;10099:91:0;;;;;;;;;-1:-1:-1;;;;;10209:17:0;;10201:89;;;;-1:-1:-1;;;10201:89:0;;;;;;;;;-1:-1:-1;;;;;10326:13:0;;;;;;:8;:13;;;;;;;;;;10319:88;;;;;;;;;;;;;;-1:-1:-1;;;;;10326:13:0;;;;10341:6;;10319:88;;;;;;;:6;:88::i;:::-;-1:-1:-1;;;;;10303:13:0;;;;;;;:8;:13;;;;;;;;:104;;-1:-1:-1;;;;;;10303:104:0;-1:-1:-1;;;;;10303:104:0;;;;;;10441:13;;;;;;;;;;10434:82;;;;;;;;;;;;;;10441:13;;;;;10456:6;;10434:82;;;;;;;;:6;:82::i;:::-;-1:-1:-1;;;;;10418:13:0;;;;;;;:8;:13;;;;;;;:98;;-1:-1:-1;;;;;;10418:98:0;-1:-1:-1;;;;;10418:98:0;;;;;;;;;;;10532:26;;;;;;;;;;10551:6;;10532:26;;;;;;;;;;-1:-1:-1;;;;;10586:14:0;;;;;;;:9;:14;;;;;;;10602;;;;;;;;10571:54;;10586:14;;;;10602;10618:6;10571:14;:54::i;:::-;10012:621;;;:::o;9628:376::-;-1:-1:-1;;;;;9731:20:0;;;9705:23;9731:20;;;:9;:20;;;;;;;;;;;9789:19;;;;;;9819:20;;;;:32;;;-1:-1:-1;;;;;;9819:32:0;;;;;;;9869:54;;9731:20;;;;;-1:-1:-1;;;;;9789:19:0;;;;9819:32;;9731:20;;;9869:54;;9705:23;9869:54;9936:60;9951:15;9968:9;9979:16;9936:14;:60::i;:::-;9628:376;;;;:::o;12957:153::-;13067:9;12957:153;:::o;12579:193::-;12668:7;12700:5;;;12732:12;-1:-1:-1;;;;;12724:6:0;;;;;;;;12716:29;;;;-1:-1:-1;;;12716:29:0;;;;;;;;;;-1:-1:-1;12763:1:0;12579:193;-1:-1:-1;;;;12579:193:0:o;10641:948::-;10747:6;-1:-1:-1;;;;;10737:16:0;:6;-1:-1:-1;;;;;10737:16:0;;;:30;;;;;10766:1;10757:6;-1:-1:-1;;;;;10757:10:0;;10737:30;10733:849;;;-1:-1:-1;;;;;10788:20:0;;;10784:386;;-1:-1:-1;;;;;10848:22:0;;10829:16;10848:22;;;:14;:22;;;;;;;;;10909:13;:60;;10968:1;10909:60;;;-1:-1:-1;;;;;10925:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;10945:13:0;;10925:34;;;;;;;;;:40;-1:-1:-1;;;10925:40:0;;-1:-1:-1;;;;;10925:40:0;10909:60;10889:80;;10988:17;11008:70;11015:9;11026:6;11008:70;;;;;;;;;;;;;;;;;:6;:70::i;:::-;10988:90;;11097:57;11114:6;11122:9;11133;11144;11097:16;:57::i;:::-;10784:386;;;;-1:-1:-1;;;;;11190:20:0;;;11186:385;;-1:-1:-1;;;;;11250:22:0;;11231:16;11250:22;;;:14;:22;;;;;;;;;11311:13;:60;;11370:1;11311:60;;;-1:-1:-1;;;;;11327:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;11347:13:0;;11327:34;;;;;;;;;:40;-1:-1:-1;;;11327:40:0;;-1:-1:-1;;;;;11327:40:0;11311:60;11291:80;;11390:17;11410:69;11417:9;11428:6;11410:69;;;;;;;;;;;;;;;;;:6;:69::i;:::-;11390:89;;11498:57;11515:6;11523:9;11534;11545;11597:632;11717:18;11738:77;11745:12;11738:77;;;;;;;;;;;;;;;;;:6;:77::i;:::-;11717:98;;11845:1;11830:12;:16;;;:85;;;;-1:-1:-1;;;;;;11850:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;11873:16:0;;11850:40;;;;;;;;;:50;:65;;;:50;;:65;11830:85;11826:329;;;-1:-1:-1;;;;;11930:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;11953:16:0;;11930:40;;;;;;;;;:57;;-1:-1:-1;;;;;;;;11930:57:0;-1:-1:-1;;;;;;;;11930:57:0;;;;;;11826:329;;;12055:33;;;;;;;;;;;;;;-1:-1:-1;;;;;12055:33:0;;;;;;;;;;-1:-1:-1;;;;;12016:22:0;;-1:-1:-1;12016:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;12016:72:0;-1:-1:-1;;;;;;;;12016:72:0;;;-1:-1:-1;;12016:72:0;;;;;;;;;;;;;;;12101:25;;;12016:72;12101:25;;;;;;;:44;;12016:72;12129:16;;12101:44;;;;;;;;;;;;;11826:329;12191:9;-1:-1:-1;;;;;12170:51:0;;12202:8;12212;12170:51;;;;;;;;;;;;;;;;11597:632;;;;;:::o;12237:161::-;12312:6;12350:12;-1:-1:-1;;;12339:9:0;;12331:32;;;;-1:-1:-1;;;12331:32:0;;;;;;;;;169:12944;;;;;;;;;;-1:-1:-1;169:12944:0;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:130;209:20;;234:33;209:20;234:33;;416:128;482:20;;507:32;482:20;507:32;;551:126;616:20;;641:31;616:20;641:31;;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;804:1;801;794:12;756:2;839:1;856:53;901:7;881:9;856:53;;;846:63;750:175;-1:-1;;;;750:175;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;1069:1;1066;1059:12;1021:2;1104:1;1121:53;1166:7;1146:9;1121:53;;;1111:63;;1083:97;1211:2;1229:53;1274:7;1265:6;1254:9;1250:22;1229:53;;;1219:63;;1190:98;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;1459:1;1456;1449:12;1411:2;1494:1;1511:53;1556:7;1536:9;1511:53;;;1501:63;;1473:97;1601:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;;;1609:63;;1580:98;1709:2;1727:53;1772:7;1763:6;1752:9;1748:22;1727:53;;;1717:63;;1688:98;1405:391;;;;;;1803:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;1940:1;1937;1930:12;1892:2;1975:1;1992:53;2037:7;2017:9;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;2380:1;2377;2370:12;2331:2;2415:1;2432:53;2477:7;2457:9;2432:53;;;2422:63;;2394:97;2522:2;2540:53;2585:7;2576:6;2565:9;2561:22;2540:53;;;2530:63;;2501:98;2630:2;2648:53;2693:7;2684:6;2673:9;2669:22;2648:53;;;2638:63;;2609:98;2738:2;2756:51;2799:7;2790:6;2779:9;2775:22;2756:51;;;2746:61;;2717:96;2844:3;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;;;2853:63;;2823:99;2953:3;2972:53;3017:7;3008:6;2997:9;2993:22;2972:53;;;2962:63;;2932:99;2325:716;;;;;;;;;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;3184:1;3181;3174:12;3136:2;3219:1;3236:53;3281:7;3261:9;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;3419:113;3502:24;3520:5;3502:24;;;3497:3;3490:37;3484:48;;;3539:104;3616:21;3631:5;3616:21;;3650:113;3733:24;3751:5;3733:24;;3770:152;3871:45;3891:24;3909:5;3891:24;;;3871:45;;3929:347;;4041:39;4074:5;4041:39;;;4092:71;4156:6;4151:3;4092:71;;;4085:78;;4168:52;4213:6;4208:3;4201:4;4194:5;4190:16;4168:52;;;4241:29;4263:6;4241:29;;;4232:39;;;;4021:255;-1:-1;;;4021:255;4630:377;;4790:67;4854:2;4849:3;4790:67;;;4890:34;4870:55;;-1:-1;;;4954:2;4945:12;;4938:32;4998:2;4989:12;;4776:231;-1:-1;;4776:231;5016:398;;5194:84;5276:1;5271:3;5194:84;;;-1:-1;;;5291:87;;5406:1;5397:11;;5180:234;-1:-1;;5180:234;5423:376;;5583:67;5647:2;5642:3;5583:67;;;5683:34;5663:55;;-1:-1;;;5747:2;5738:12;;5731:31;5790:2;5781:12;;5569:230;-1:-1;;5569:230;5808:372;;5968:67;6032:2;6027:3;5968:67;;;6068:34;6048:55;;-1:-1;;;6132:2;6123:12;;6116:27;6171:2;6162:12;;5954:226;-1:-1;;5954:226;6189:376;;6349:67;6413:2;6408:3;6349:67;;;6449:34;6429:55;;-1:-1;;;6513:2;6504:12;;6497:31;6556:2;6547:12;;6335:230;-1:-1;;6335:230;6574:396;;6734:67;6798:2;6793:3;6734:67;;;-1:-1;;;;;;;;;;;6814:55;;-1:-1;;;6898:2;6889:12;;6882:51;6961:2;6952:12;;6720:250;-1:-1;;6720:250;6979:477;;7157:85;7239:2;7234:3;7157:85;;;7275:34;7255:55;;7344:34;7339:2;7330:12;;7323:56;-1:-1;;;7408:2;7399:12;;7392:27;7447:2;7438:12;;7143:313;-1:-1;;7143:313;7465:398;;7625:67;7689:2;7684:3;7625:67;;;-1:-1;;;;;;;;;;;7705:55;;7794:31;7789:2;7780:12;;7773:53;7854:2;7845:12;;7611:252;-1:-1;;7611:252;7872:431;;8050:85;8132:2;8127:3;8050:85;;;8168:34;8148:55;;-1:-1;;;8232:2;8223:12;;8216:50;8294:2;8285:12;;8036:267;-1:-1;;8036:267;8311:113;8394:24;8412:5;8394:24;;8431:126;8514:37;8545:5;8514:37;;8684:110;8765:23;8782:5;8765:23;;8801:107;8880:22;8896:5;8880:22;;8915:650;;9170:148;9314:3;9170:148;;;9163:155;;9329:75;9400:3;9391:6;9329:75;;;9426:2;9421:3;9417:12;9410:19;;9440:75;9511:3;9502:6;9440:75;;;-1:-1;9537:2;9528:12;;9151:414;-1:-1;;9151:414;9572:372;;9771:148;9915:3;9771:148;;9951:372;;10150:148;10294:3;10150:148;;10330:213;10448:2;10433:18;;10462:71;10437:9;10506:6;10462:71;;10550:201;10662:2;10647:18;;10676:65;10651:9;10714:6;10676:65;;10758:213;10876:2;10861:18;;10890:71;10865:9;10934:6;10890:71;;10978:547;11180:3;11165:19;;11195:71;11169:9;11239:6;11195:71;;;11277:72;11345:2;11334:9;11330:18;11321:6;11277:72;;;11360;11428:2;11417:9;11413:18;11404:6;11360:72;;;11443;11511:2;11500:9;11496:18;11487:6;11443:72;;;11151:374;;;;;;;;11532:547;11734:3;11719:19;;11749:71;11723:9;11793:6;11749:71;;;11831:72;11899:2;11888:9;11884:18;11875:6;11831:72;;;11914;11982:2;11971:9;11967:18;11958:6;11914:72;;;11997;12065:2;12054:9;12050:18;12041:6;11997:72;;12086:539;12284:3;12269:19;;12299:71;12273:9;12343:6;12299:71;;;12381:68;12445:2;12434:9;12430:18;12421:6;12381:68;;12632:293;12766:2;12780:47;;;12751:18;;12841:74;12751:18;12901:6;12841:74;;13240:407;13431:2;13445:47;;;13416:18;;13506:131;13416:18;13506:131;;13654:407;13845:2;13859:47;;;13830:18;;13920:131;13830:18;13920:131;;14068:407;14259:2;14273:47;;;14244:18;;14334:131;14244:18;14334:131;;14482:407;14673:2;14687:47;;;14658:18;;14748:131;14658:18;14748:131;;14896:407;15087:2;15101:47;;;15072:18;;15162:131;15072:18;15162:131;;15310:407;15501:2;15515:47;;;15486:18;;15576:131;15486:18;15576:131;;15724:213;15842:2;15827:18;;15856:71;15831:9;15900:6;15856:71;;15944:213;16062:2;16047:18;;16076:71;16051:9;16120:6;16076:71;;16164:324;16310:2;16295:18;;16324:71;16299:9;16368:6;16324:71;;;16406:72;16474:2;16463:9;16459:18;16450:6;16406:72;;16715:209;16831:2;16816:18;;16845:69;16820:9;16887:6;16845:69;;16931:320;17075:2;17060:18;;17089:69;17064:9;17131:6;17089:69;;;17169:72;17237:2;17226:9;17222:18;17213:6;17169:72;;17258:205;17372:2;17357:18;;17386:67;17361:9;17426:6;17386:67;;17470:118;17554:12;;17525:63;17725:163;17828:19;;;17877:4;17868:14;;17821:67;17897:145;18033:3;18011:31;-1:-1;18011:31;18050:91;;18112:24;18130:5;18112:24;;18148:85;18214:13;18207:21;;18190:43;18240:72;18302:5;18285:27;18319:113;-1:-1;;;;;18381:46;;18364:68;18439:121;-1:-1;;;;;18501:54;;18484:76;18646:88;18718:10;18707:22;;18690:44;18741:81;18812:4;18801:16;;18784:38;18829:108;;18908:24;18926:5;18908:24;;18945:268;19010:1;19017:101;19031:6;19028:1;19025:13;19017:101;;;19098:11;;;19092:18;19079:11;;;19072:39;19053:2;19046:10;19017:101;;;19133:6;19130:1;19127:13;19124:2;;;-1:-1;;19198:1;19180:16;;19173:27;18994:219;19302:97;19390:2;19370:14;-1:-1;;19366:28;;19350:49;19407:117;19476:24;19494:5;19476:24;;;19469:5;19466:35;19456:2;;19515:1;19512;19505:12;19531:117;19600:24;19618:5;19600:24;;19779:115;19847:23;19864:5;19847:23;;19901:113;19968:22;19984:5;19968:22;

bzzr://4029f6a022ffecaf2d899e10a3e6956bf0bf5790689780ac40f22a07727d89d1