/**
 *Submitted for verification at Etherscan.io on 2021-09-17
*/

pragma solidity ^0.5.12;


/**
 * @dev These functions deal with verification of Merkle trees (hash trees),
 */
library MerkleProof {
    /**
     * @dev Returns true if a `leaf` can be proved to be a part of a Merkle tree
     * defined by `root`. For this, a `proof` must be provided, containing
     * sibling hashes on the branch from the leaf to the root of the tree. Each
     * pair of leaves and each pair of pre-images are assumed to be sorted.
     */
    function verify(bytes32[] memory proof, bytes32 root, bytes32 leaf) internal pure returns (bool) {
        bytes32 computedHash = leaf;

        for (uint256 i = 0; i < proof.length; i++) {
            bytes32 proofElement = proof[i];

            if (computedHash <= proofElement) {
                // Hash(current computed hash + current element of the proof)
                computedHash = keccak256(abi.encodePacked(computedHash, proofElement));
            } else {
                // Hash(current element of the proof + current computed hash)
                computedHash = keccak256(abi.encodePacked(proofElement, computedHash));
            }
        }

        // Check if the computed hash (root) is equal to the provided root
        return computedHash == root;
    }
}

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

//TODO add safemath
interface IDPR {
    function transferFrom(address _spender, address _to, uint256 _amount) external returns(bool);
    function transfer(address _to, uint256 _amount) external returns(bool);
    function balanceOf(address _owner) external view returns(uint256);
    function approve(address _spender, uint256 _amount) external returns(bool);
}

interface ILockingContract {
    function lock(address _addr, uint256 _amount) external;
}

contract InstanceClaim {
    using SafeMath for uint256;

    bytes32 public root;
    IDPR public dpr;
    //system info
    address public owner;
    ILockingContract new_locking_contract;
    mapping(bytes32=>bool) public claimMap;
    mapping(address=>bool) public userMap;
    //=====events=======
    event distribute(address _addr, uint256 _amount);
    event OwnerTransfer(address _newOwner);

    //====modifiers====
    modifier onlyOwner(){
        require(owner == msg.sender);
        _;
    }

    constructor(address _token) public{
        dpr = IDPR(_token);
        owner = msg.sender;
    }

    function transferOwnerShip(address _newOwner) onlyOwner external {
        require(_newOwner != address(0), "MerkleClaim: Wrong owner");
        owner = _newOwner;
        emit OwnerTransfer(_newOwner);
    }

    function setRoot(bytes32 _root) external onlyOwner{
        root = _root;
    }

    function setClaim(bytes32 node) private {
        claimMap[node] = true;
    }


    function setLockContract(ILockingContract lockContract) external onlyOwner{
        require(address(lockContract) != address(0), "DPRBridge: Zero address");
        dpr.approve(address(lockContract), uint256(-1));
        new_locking_contract = lockContract;
    }
    function distributeAndLock(uint256 _amount, bytes32[]  memory proof, bool need_move) public{
        require(!userMap[msg.sender], "MerkleClaim: Account is already claimed");
        bytes32 node = keccak256(abi.encodePacked(msg.sender, _amount));
        require(!claimMap[node], "MerkleClaim: Account is already claimed");
        require(MerkleProof.verify(proof, root, node), "MerkleClaim: Verify failed");
        //update status
        setClaim(node);
        // uint256 half_amount = _amount.div(2);
        // choose the choice
        if(need_move){
            new_locking_contract.lock(msg.sender, _amount);
        }else{
            dpr.transfer(msg.sender, _amount);
        }
        //lockTokens(_addr, _amount.sub(half_amount));
        userMap[msg.sender] = true;
        emit distribute(msg.sender, _amount);
    }

    function withdraw(address _to) external onlyOwner{
        require(dpr.transfer(_to, dpr.balanceOf(address(this))), "MerkleClaim: Transfer Failed");
    }

    function pullTokens(uint256 _amount) external{
        require(dpr.transferFrom(msg.sender, address(this), _amount), "MerkleClaim: TransferFrom failed");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_newOwner","type":"address"}],"name":"OwnerTransfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"distribute","type":"event"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"claimMap","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32[]","name":"proof","type":"bytes32[]"},{"internalType":"bool","name":"need_move","type":"bool"}],"name":"distributeAndLock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"dpr","outputs":[{"internalType":"contract IDPR","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"pullTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"root","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"contract ILockingContract","name":"lockContract","type":"address"}],"name":"setLockContract","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"_root","type":"bytes32"}],"name":"setRoot","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnerShip","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userMap","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50604051610b3d380380610b3d8339818101604052602081101561003357600080fd5b5051600180546001600160a01b039092166001600160a01b03199283161790556002805490911633179055610ad08061006d6000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80638da5cb5b116100715780638da5cb5b14610170578063acd487c214610194578063dab5f340146101ba578063ebf0c717146101d7578063f63013aa146101f1578063ff703148146101f9576100a9565b806322d761c3146100ae5780632bcc23f8146100df57806351cff8d9146101055780637e0db6cc1461012d5780638863dd1a1461014a575b600080fd5b6100cb600480360360208110156100c457600080fd5b50356102a5565b604080519115158252519081900360200190f35b6100cb600480360360208110156100f557600080fd5b50356001600160a01b03166102ba565b61012b6004803603602081101561011b57600080fd5b50356001600160a01b03166102cf565b005b61012b6004803603602081101561014357600080fd5b5035610435565b61012b6004803603602081101561016057600080fd5b50356001600160a01b031661050c565b6101786105d2565b604080516001600160a01b039092168252519081900360200190f35b61012b600480360360208110156101aa57600080fd5b50356001600160a01b03166105e1565b61012b600480360360208110156101d057600080fd5b50356106f8565b6101df610714565b60408051918252519081900360200190f35b61017861071a565b61012b6004803603606081101561020f57600080fd5b8135919081019060408101602082013564010000000081111561023157600080fd5b82018360208201111561024357600080fd5b8035906020019184602083028401116401000000008311171561026557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295505050503515159050610729565b60046020526000908152604090205460ff1681565b60056020526000908152604090205460ff1681565b6002546001600160a01b031633146102e657600080fd5b600154604080516370a0823160e01b815230600482015290516001600160a01b039092169163a9059cbb91849184916370a08231916024808301926020929190829003018186803b15801561033a57600080fd5b505afa15801561034e573d6000803e3d6000fd5b505050506040513d602081101561036457600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091525160448083019260209291908290030181600087803b1580156103b557600080fd5b505af11580156103c9573d6000803e3d6000fd5b505050506040513d60208110156103df57600080fd5b5051610432576040805162461bcd60e51b815260206004820152601c60248201527f4d65726b6c65436c61696d3a205472616e73666572204661696c656400000000604482015290519081900360640190fd5b50565b600154604080516323b872dd60e01b81523360048201523060248201526044810184905290516001600160a01b03909216916323b872dd916064808201926020929091908290030181600087803b15801561048f57600080fd5b505af11580156104a3573d6000803e3d6000fd5b505050506040513d60208110156104b957600080fd5b5051610432576040805162461bcd60e51b815260206004820181905260248201527f4d65726b6c65436c61696d3a205472616e7366657246726f6d206661696c6564604482015290519081900360640190fd5b6002546001600160a01b0316331461052357600080fd5b6001600160a01b03811661057e576040805162461bcd60e51b815260206004820152601860248201527f4d65726b6c65436c61696d3a2057726f6e67206f776e65720000000000000000604482015290519081900360640190fd5b600280546001600160a01b0383166001600160a01b0319909116811790915560408051918252517fcef55b6688c0d2198b4841b7c6a8247f60385b4b5ce83e22506fb3258036379b9181900360200190a150565b6002546001600160a01b031681565b6002546001600160a01b031633146105f857600080fd5b6001600160a01b038116610653576040805162461bcd60e51b815260206004820152601760248201527f4450524272696467653a205a65726f2061646472657373000000000000000000604482015290519081900360640190fd5b6001546040805163095ea7b360e01b81526001600160a01b03848116600483015260001960248301529151919092169163095ea7b39160448083019260209291908290030181600087803b1580156106aa57600080fd5b505af11580156106be573d6000803e3d6000fd5b505050506040513d60208110156106d457600080fd5b5050600380546001600160a01b0319166001600160a01b0392909216919091179055565b6002546001600160a01b0316331461070f57600080fd5b600055565b60005481565b6001546001600160a01b031681565b3360009081526005602052604090205460ff16156107785760405162461bcd60e51b8152600401808060200182810382526027815260200180610a756027913960400191505060405180910390fd5b604080513360601b60208083019190915260348083018790528351808403909101815260549092018352815191810191909120600081815260049092529190205460ff16156107f85760405162461bcd60e51b8152600401808060200182810382526027815260200180610a756027913960400191505060405180910390fd5b61080583600054836109b0565b610856576040805162461bcd60e51b815260206004820152601a60248201527f4d65726b6c65436c61696d3a20566572696679206661696c6564000000000000604482015290519081900360640190fd5b61085f81610a59565b81156108d5576003546040805163282d3fdf60e01b81523360048201526024810187905290516001600160a01b039092169163282d3fdf9160448082019260009290919082900301818387803b1580156108b857600080fd5b505af11580156108cc573d6000803e3d6000fd5b50505050610956565b6001546040805163a9059cbb60e01b81523360048201526024810187905290516001600160a01b039092169163a9059cbb916044808201926020929091908290030181600087803b15801561092957600080fd5b505af115801561093d573d6000803e3d6000fd5b505050506040513d602081101561095357600080fd5b50505b33600081815260056020908152604091829020805460ff191660011790558151928352820186905280517ffb9321085d4e4bed997685c66125572b6a0104e335681818c35b3b4d57726d6e9281900390910190a150505050565b600081815b8551811015610a4e5760008682815181106109cc57fe5b60200260200101519050808311610a135782816040516020018083815260200182815260200192505050604051602081830303815290604052805190602001209250610a45565b808360405160200180838152602001828152602001925050506040516020818303038152906040528051906020012092505b506001016109b5565b509092149392505050565b6000908152600460205260409020805460ff1916600117905556fe4d65726b6c65436c61696d3a204163636f756e7420697320616c726561647920636c61696d6564a265627a7a72315820a4da1f3bf2e8177a8d5cdb4ae65c0549a97db12d5d3cff488ce9c10d358b399164736f6c63430005110032000000000000000000000000f3ae5d769e153ef72b4e3591ac004e89f48107a1

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80638da5cb5b116100715780638da5cb5b14610170578063acd487c214610194578063dab5f340146101ba578063ebf0c717146101d7578063f63013aa146101f1578063ff703148146101f9576100a9565b806322d761c3146100ae5780632bcc23f8146100df57806351cff8d9146101055780637e0db6cc1461012d5780638863dd1a1461014a575b600080fd5b6100cb600480360360208110156100c457600080fd5b50356102a5565b604080519115158252519081900360200190f35b6100cb600480360360208110156100f557600080fd5b50356001600160a01b03166102ba565b61012b6004803603602081101561011b57600080fd5b50356001600160a01b03166102cf565b005b61012b6004803603602081101561014357600080fd5b5035610435565b61012b6004803603602081101561016057600080fd5b50356001600160a01b031661050c565b6101786105d2565b604080516001600160a01b039092168252519081900360200190f35b61012b600480360360208110156101aa57600080fd5b50356001600160a01b03166105e1565b61012b600480360360208110156101d057600080fd5b50356106f8565b6101df610714565b60408051918252519081900360200190f35b61017861071a565b61012b6004803603606081101561020f57600080fd5b8135919081019060408101602082013564010000000081111561023157600080fd5b82018360208201111561024357600080fd5b8035906020019184602083028401116401000000008311171561026557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295505050503515159050610729565b60046020526000908152604090205460ff1681565b60056020526000908152604090205460ff1681565b6002546001600160a01b031633146102e657600080fd5b600154604080516370a0823160e01b815230600482015290516001600160a01b039092169163a9059cbb91849184916370a08231916024808301926020929190829003018186803b15801561033a57600080fd5b505afa15801561034e573d6000803e3d6000fd5b505050506040513d602081101561036457600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091525160448083019260209291908290030181600087803b1580156103b557600080fd5b505af11580156103c9573d6000803e3d6000fd5b505050506040513d60208110156103df57600080fd5b5051610432576040805162461bcd60e51b815260206004820152601c60248201527f4d65726b6c65436c61696d3a205472616e73666572204661696c656400000000604482015290519081900360640190fd5b50565b600154604080516323b872dd60e01b81523360048201523060248201526044810184905290516001600160a01b03909216916323b872dd916064808201926020929091908290030181600087803b15801561048f57600080fd5b505af11580156104a3573d6000803e3d6000fd5b505050506040513d60208110156104b957600080fd5b5051610432576040805162461bcd60e51b815260206004820181905260248201527f4d65726b6c65436c61696d3a205472616e7366657246726f6d206661696c6564604482015290519081900360640190fd5b6002546001600160a01b0316331461052357600080fd5b6001600160a01b03811661057e576040805162461bcd60e51b815260206004820152601860248201527f4d65726b6c65436c61696d3a2057726f6e67206f776e65720000000000000000604482015290519081900360640190fd5b600280546001600160a01b0383166001600160a01b0319909116811790915560408051918252517fcef55b6688c0d2198b4841b7c6a8247f60385b4b5ce83e22506fb3258036379b9181900360200190a150565b6002546001600160a01b031681565b6002546001600160a01b031633146105f857600080fd5b6001600160a01b038116610653576040805162461bcd60e51b815260206004820152601760248201527f4450524272696467653a205a65726f2061646472657373000000000000000000604482015290519081900360640190fd5b6001546040805163095ea7b360e01b81526001600160a01b03848116600483015260001960248301529151919092169163095ea7b39160448083019260209291908290030181600087803b1580156106aa57600080fd5b505af11580156106be573d6000803e3d6000fd5b505050506040513d60208110156106d457600080fd5b5050600380546001600160a01b0319166001600160a01b0392909216919091179055565b6002546001600160a01b0316331461070f57600080fd5b600055565b60005481565b6001546001600160a01b031681565b3360009081526005602052604090205460ff16156107785760405162461bcd60e51b8152600401808060200182810382526027815260200180610a756027913960400191505060405180910390fd5b604080513360601b60208083019190915260348083018790528351808403909101815260549092018352815191810191909120600081815260049092529190205460ff16156107f85760405162461bcd60e51b8152600401808060200182810382526027815260200180610a756027913960400191505060405180910390fd5b61080583600054836109b0565b610856576040805162461bcd60e51b815260206004820152601a60248201527f4d65726b6c65436c61696d3a20566572696679206661696c6564000000000000604482015290519081900360640190fd5b61085f81610a59565b81156108d5576003546040805163282d3fdf60e01b81523360048201526024810187905290516001600160a01b039092169163282d3fdf9160448082019260009290919082900301818387803b1580156108b857600080fd5b505af11580156108cc573d6000803e3d6000fd5b50505050610956565b6001546040805163a9059cbb60e01b81523360048201526024810187905290516001600160a01b039092169163a9059cbb916044808201926020929091908290030181600087803b15801561092957600080fd5b505af115801561093d573d6000803e3d6000fd5b505050506040513d602081101561095357600080fd5b50505b33600081815260056020908152604091829020805460ff191660011790558151928352820186905280517ffb9321085d4e4bed997685c66125572b6a0104e335681818c35b3b4d57726d6e9281900390910190a150505050565b600081815b8551811015610a4e5760008682815181106109cc57fe5b60200260200101519050808311610a135782816040516020018083815260200182815260200192505050604051602081830303815290604052805190602001209250610a45565b808360405160200180838152602001828152602001925050506040516020818303038152906040528051906020012092505b506001016109b5565b509092149392505050565b6000908152600460205260409020805460ff1916600117905556fe4d65726b6c65436c61696d3a204163636f756e7420697320616c726561647920636c61696d6564a265627a7a72315820a4da1f3bf2e8177a8d5cdb4ae65c0549a97db12d5d3cff488ce9c10d358b399164736f6c63430005110032

7180:2500:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7180:2500:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7383:38;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7383:38:0;;:::i;:::-;;;;;;;;;;;;;;;;;;7428:37;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7428:37:0;-1:-1:-1;;;;;7428:37:0;;:::i;9352:156::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9352:156:0;-1:-1:-1;;;;;9352:156:0;;:::i;:::-;;9516:161;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9516:161:0;;:::i;7820:212::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7820:212:0;-1:-1:-1;;;;;7820:212:0;;:::i;7312:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;7312:20:0;;;;;;;;;;;;;;8219:268;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8219:268:0;-1:-1:-1;;;;;8219:268:0;;:::i;8040:81::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8040:81:0;;:::i;7245:19::-;;;:::i;:::-;;;;;;;;;;;;;;;;7271:15;;;:::i;8493:851::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8493:851:0;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;8493:851:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8493:851:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;8493:851:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;8493:851:0;;-1:-1:-1;;;;8493:851:0;;;;-1:-1:-1;8493:851:0;:::i;7383:38::-;;;;;;;;;;;;;;;:::o;7428:37::-;;;;;;;;;;;;;;;:::o;9352:156::-;7664:5;;-1:-1:-1;;;;;7664:5:0;7673:10;7664:19;7656:28;;;;;;9420:3;;9438:28;;;-1:-1:-1;;;9438:28:0;;9460:4;9438:28;;;;;;-1:-1:-1;;;;;9420:3:0;;;;:12;;9433:3;;9420;;9438:13;;:28;;;;;;;;;;;;;;9420:3;9438:28;;;5:2:-1;;;;30:1;27;20:12;5:2;9438:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9438:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9438:28:0;9420:47;;;-1:-1:-1;;;;;;9420:47:0;;;;;;;-1:-1:-1;;;;;9420:47:0;;;;;;;;;;;;;;;;;;;;9438:28;;9420:47;;;;;;;-1:-1:-1;9420:47:0;;;;5:2:-1;;;;30:1;27;20:12;5:2;9420:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9420:47:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9420:47:0;9412:88;;;;;-1:-1:-1;;;9412:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9352:156;:::o;9516:161::-;9580:3;;:52;;;-1:-1:-1;;;9580:52:0;;9597:10;9580:52;;;;9617:4;9580:52;;;;;;;;;;;;-1:-1:-1;;;;;9580:3:0;;;;:16;;:52;;;;;;;;;;;;;;;:3;;:52;;;5:2:-1;;;;30:1;27;20:12;5:2;9580:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9580:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9580:52:0;9572:97;;;;;-1:-1:-1;;;9572:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7820:212;7664:5;;-1:-1:-1;;;;;7664:5:0;7673:10;7664:19;7656:28;;;;;;-1:-1:-1;;;;;7904:23:0;;7896:60;;;;;-1:-1:-1;;;7896:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7967:5;:17;;-1:-1:-1;;;;;7967:17:0;;-1:-1:-1;;;;;;7967:17:0;;;;;;;;8000:24;;;;;;;;;;;;;;;;7820:212;:::o;7312:20::-;;;-1:-1:-1;;;;;7312:20:0;;:::o;8219:268::-;7664:5;;-1:-1:-1;;;;;7664:5:0;7673:10;7664:19;7656:28;;;;;;-1:-1:-1;;;;;8312:35:0;;8304:71;;;;;-1:-1:-1;;;8304:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8386:3;;:47;;;-1:-1:-1;;;8386:47:0;;-1:-1:-1;;;;;8386:47:0;;;;;;;-1:-1:-1;;8386:47:0;;;;;;:3;;;;;:11;;:47;;;;;;;;;;;;;;:3;;:47;;;5:2:-1;;;;30:1;27;20:12;5:2;8386:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8386:47:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;8444:20:0;:35;;-1:-1:-1;;;;;;8444:35:0;-1:-1:-1;;;;;8444:35:0;;;;;;;;;;8219:268::o;8040:81::-;7664:5;;-1:-1:-1;;;;;7664:5:0;7673:10;7664:19;7656:28;;;;;;8101:4;:12;8040:81::o;7245:19::-;;;;:::o;7271:15::-;;;-1:-1:-1;;;;;7271:15:0;;:::o;8493:851::-;8612:10;8604:19;;;;:7;:19;;;;;;;;8603:20;8595:72;;;;-1:-1:-1;;;8595:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8703:37;;;8720:10;8703:37;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8703:37:0;;;;;;8693:48;;;;;;;;;8678:12;8761:14;;;:8;:14;;;;;;;;;8760:15;8752:67;;;;-1:-1:-1;;;8752:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8838:37;8857:5;8864:4;;8870;8838:18;:37::i;:::-;8830:76;;;;;-1:-1:-1;;;8830:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8942:14;8951:4;8942:8;:14::i;:::-;9050:9;9047:150;;;9075:20;;:46;;;-1:-1:-1;;;9075:46:0;;9101:10;9075:46;;;;;;;;;;;;-1:-1:-1;;;;;9075:20:0;;;;:25;;:46;;;;;:20;;:46;;;;;;;;:20;;:46;;;5:2:-1;;;;30:1;27;20:12;5:2;9075:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9075:46:0;;;;9047:150;;;9152:3;;:33;;;-1:-1:-1;;;9152:33:0;;9165:10;9152:33;;;;;;;;;;;;-1:-1:-1;;;;;9152:3:0;;;;:12;;:33;;;;;;;;;;;;;;;:3;;:33;;;5:2:-1;;;;30:1;27;20:12;5:2;9152:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9152:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;9047:150:0;9271:10;9263:19;;;;:7;:19;;;;;;;;;:26;;-1:-1:-1;;9263:26:0;9285:4;9263:26;;;9305:31;;;;;;;;;;;;;;;;;;;;;;8493:851;;;;:::o;479:796::-;570:4;610;570;627:525;651:5;:12;647:1;:16;627:525;;;685:20;708:5;714:1;708:8;;;;;;;;;;;;;;685:31;;753:12;737;:28;733:408;;907:12;921;890:44;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;890:44:0;;;880:55;;;;;;865:70;;733:408;;;1097:12;1111;1080:44;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;1080:44:0;;;1070:55;;;;;;1055:70;;733:408;-1:-1:-1;665:3:0;;627:525;;;-1:-1:-1;1247:20:0;;;;479:796;-1:-1:-1;;;479:796:0:o;8129:80::-;8180:14;;;;:8;:14;;;;;:21;;-1:-1:-1;;8180:21:0;8197:4;8180:21;;;8129:80::o

bzzr://a4da1f3bf2e8177a8d5cdb4ae65c0549a97db12d5d3cff488ce9c10d358b3991