Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath256
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract Ownable
•    - function owner()
•    - function transferOwnership(address ne ...
•    - function changeReceiver(address payab ...
•    - function rescueTokens(address tokenAd ...
•    - function withdrawEther(address payabl ...
•  contract Pausable is Ownable
•    - function paused()
•    - function setPaused(bool state)
• interface IERC20
•    - function balanceOf(address owner)
•    - function transfer(address to, uint256 ...
• interface IWesion
•    - function balanceOf(address owner)
•    - function transfer(address to, uint256 ...
•    - function inWhitelist(address account)
• interface IWesionPublicSale
•    - function status()
•  contract Get1002Wesion is Ownable, ... *
•    - function txs()
•    - function setWeiMin(uint256 weiMin)
•    - function ()
•    - function setPublicSaleAddress(address ...
•    - function setWesionAddress(address _We ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-21
*/

pragma solidity ^0.5.7;


// Send more than WEI_MIN (init = 1 ETH) for 1002 Wesions, and get unused ETH refund automatically.
//   Use the current Wesion price of Wesion Public-Sale.
//
// Conditions:
//   1. You have no Wesion yet.
//   2. You are not in the whitelist yet.
//   3. Send more than 1 ETH (for balance verification).
//

/**
 * @title SafeMath for uint256
 * @dev Unsigned math operations with safety checks that revert on error.
 */
library SafeMath256 {
    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
        c = a + b;
        assert(c >= a);
        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
        if (a == 0) {
            return 0;
        }
        c = a * b;
        assert(c / a == b);
        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient,
     * reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b > 0);
        uint256 c = a / b;
        assert(a == b * c + a % b);
        return a / b;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}


/**
 * @title Ownable
 */
contract Ownable {
    address private _owner;
    address payable internal _receiver;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    event ReceiverChanged(address indexed previousReceiver, address indexed newReceiver);

    /**
     * @dev The Ownable constructor sets the original `owner` of the contract
     * to the sender account.
     */
    constructor () internal {
        _owner = msg.sender;
        _receiver = msg.sender;
    }

    /**
     * @return The address of the owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == _owner);
        _;
    }

    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address newOwner) external onlyOwner {
        require(newOwner != address(0));
        address __previousOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(__previousOwner, newOwner);
    }

    /**
     * @dev Change receiver.
     */
    function changeReceiver(address payable newReceiver) external onlyOwner {
        require(newReceiver != address(0));
        address __previousReceiver = _receiver;
        _receiver = newReceiver;
        emit ReceiverChanged(__previousReceiver, newReceiver);
    }

    /**
     * @dev Rescue compatible ERC20 Token
     *
     * @param tokenAddr ERC20 The address of the ERC20 token contract
     * @param receiver The address of the receiver
     * @param amount uint256
     */
    function rescueTokens(address tokenAddr, address receiver, uint256 amount) external onlyOwner {
        IERC20 _token = IERC20(tokenAddr);
        require(receiver != address(0));
        uint256 balance = _token.balanceOf(address(this));
        require(balance >= amount);

        assert(_token.transfer(receiver, amount));
    }

    /**
     * @dev Withdraw ether
     */
    function withdrawEther(address payable to, uint256 amount) external onlyOwner {
        require(to != address(0));
        uint256 balance = address(this).balance;
        require(balance >= amount);

        to.transfer(amount);
    }
}


/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
    bool private _paused;

    event Paused(address account);
    event Unpaused(address account);

    constructor () internal {
        _paused = false;
    }

    /**
     * @return Returns true if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused, "Paused.");
        _;
    }

    /**
     * @dev Called by a pauser to pause, triggers stopped state.
     */
    function setPaused(bool state) external onlyOwner {
        if (_paused && !state) {
            _paused = false;
            emit Unpaused(msg.sender);
        } else if (!_paused && state) {
            _paused = true;
            emit Paused(msg.sender);
        }
    }
}


/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    function balanceOf(address owner) external view returns (uint256);
    function transfer(address to, uint256 value) external returns (bool);
}


/**
 * @title Wesion interface
 */
interface IWesion {
    function balanceOf(address owner) external view returns (uint256);
    function transfer(address to, uint256 value) external returns (bool);
    function inWhitelist(address account) external view returns (bool);
}


/**
 * @title Wesion Public-Sale interface
 */
interface IWesionPublicSale {
    function status() external view returns (uint256 auditEtherPrice,
                                             uint16 stage,
                                             uint16 season,
                                             uint256 WesionUsdPrice,
                                             uint256 currentTopSalesRatio,
                                             uint256 txs,
                                             uint256 WesionTxs,
                                             uint256 WesionBonusTxs,
                                             uint256 WesionWhitelistTxs,
                                             uint256 WesionIssued,
                                             uint256 WesionBonus,
                                             uint256 WesionWhitelist);
}


/**
 * @title Get 1002 Wesion
 */
contract Get1002Wesion is Ownable, Pausable {
    using SafeMath256 for uint256;

    IWesion public Wesion = IWesion(0x2c1564A74F07757765642ACef62a583B38d5A213);
    IWesionPublicSale public Wesion_PUBLIC_SALE;

    uint256 public WEI_MIN = 1 ether;
    uint256 private Wesion_PER_TXN = 1002000000; // 1002.000000 Wesion

    uint256 private _txs;

    mapping (address => bool) _alreadyGot;

    event Tx(uint256 etherPrice, uint256 vokdnUsdPrice, uint256 weiUsed);

    /**
     * @dev Transaction counter
     */
    function txs() public view returns (uint256) {
        return _txs;
    }

    function setWeiMin(uint256 weiMin) public onlyOwner {
        WEI_MIN = weiMin;
    }

    /**
     * @dev Get 1002 Wesion and ETH refund.
     */
    function () external payable whenNotPaused {
        require(msg.value >= WEI_MIN);
        require(Wesion.balanceOf(address(this)) >= Wesion_PER_TXN);
        require(Wesion.balanceOf(msg.sender) == 0);
        require(!Wesion.inWhitelist(msg.sender));
        require(!_alreadyGot[msg.sender]);

        uint256 __etherPrice;
        uint256 __WesionUsdPrice;
        (__etherPrice, , , __WesionUsdPrice, , , , , , , ,) = Wesion_PUBLIC_SALE.status();

        require(__etherPrice > 0);

        uint256 __usd = Wesion_PER_TXN.mul(__WesionUsdPrice).div(1000000);
        uint256 __wei = __usd.mul(1 ether).div(__etherPrice);

        require(msg.value >= __wei);

        if (msg.value > __wei) {
            msg.sender.transfer(msg.value.sub(__wei));
            _receiver.transfer(__wei);
        }

        _txs = _txs.add(1);
        _alreadyGot[msg.sender] = true;
        emit Tx(__etherPrice, __WesionUsdPrice, __wei);

        assert(Wesion.transfer(msg.sender, Wesion_PER_TXN));
    }

    /**
     * @dev set Public Sale Address
     */
    function setPublicSaleAddress(address _pubSaleAddr) public onlyOwner {
        Wesion_PUBLIC_SALE = IWesionPublicSale(_pubSaleAddr);
    }

    /**
     * @dev set Wesion Address
     */
    function setWesionAddress(address _WesionAddr) public onlyOwner {
        Wesion = IWesion(_WesionAddr);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_pubSaleAddr","type":"address"}],"name":"setPublicSaleAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"state","type":"bool"}],"name":"setPaused","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"WEI_MIN","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"txs","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"amount","type":"uint256"}],"name":"withdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newReceiver","type":"address"}],"name":"changeReceiver","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"Wesion","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"Wesion_PUBLIC_SALE","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_WesionAddr","type":"address"}],"name":"setWesionAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"tokenAddr","type":"address"},{"name":"receiver","type":"address"},{"name":"amount","type":"uint256"}],"name":"rescueTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"weiMin","type":"uint256"}],"name":"setWeiMin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"etherPrice","type":"uint256"},{"indexed":false,"name":"vokdnUsdPrice","type":"uint256"},{"indexed":false,"name":"weiUsed","type":"uint256"}],"name":"Tx","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousReceiver","type":"address"},{"indexed":true,"name":"newReceiver","type":"address"}],"name":"ReceiverChanged","type":"event"}]

6080604052732c1564a74f07757765642acef62a583b38d5a213600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550670de0b6b3a7640000600455633bb94e80600555336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160146101000a81548160ff02191690831515021790555061176c806101186000396000f3fe6080604052600436106100dd5760003560e01c806368eac56d1161007f578063c62a808911610059578063c62a808914610b84578063cea9d26f14610bd5578063d9e5018614610c50578063f2fde38b14610c8b576100dd565b806368eac56d14610a7f5780637c23df9414610ad65780638da5cb5b14610b2d576100dd565b80634fb30d8b116100bb5780634fb30d8b14610979578063522f6815146109a4578063547e3f06146109ff5780635c975abb14610a50576100dd565b80630d811845146108c057806316c38b3c146109115780631a8264c51461094e575b600160149054906101000a900460ff1615610160576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f5061757365642e0000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60045434101561016f57600080fd5b600554600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561021157600080fd5b505afa158015610225573d6000803e3d6000fd5b505050506040513d602081101561023b57600080fd5b8101908080519060200190929190505050101561025757600080fd5b6000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156102f857600080fd5b505afa15801561030c573d6000803e3d6000fd5b505050506040513d602081101561032257600080fd5b81019080805190602001909291905050501461033d57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e2aafa21336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156103dc57600080fd5b505afa1580156103f0573d6000803e3d6000fd5b505050506040513d602081101561040657600080fd5b81019080805190602001909291905050501561042157600080fd5b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561047857600080fd5b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b81526004016101806040518083038186803b1580156104e457600080fd5b505afa1580156104f8573d6000803e3d6000fd5b505050506040513d61018081101561050f57600080fd5b810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291905050509091929394959697989950909192939495969798509091929394959650909192939495509091929394509091929350909192509091509050508092508193505050600082116105dc57600080fd5b6000610608620f42406105fa84600554610cdc90919063ffffffff16565b610d1090919063ffffffff16565b905060006106398461062b670de0b6b3a764000085610cdc90919063ffffffff16565b610d1090919063ffffffff16565b90508034101561064857600080fd5b80341115610713573373ffffffffffffffffffffffffffffffffffffffff166108fc61067d8334610d5290919063ffffffff16565b9081150290604051600060405180830381858888f193505050501580156106a8573d6000803e3d6000fd5b50600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610711573d6000803e3d6000fd5b505b6107296001600654610d6990919063ffffffff16565b6006819055506001600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507fb7a71ffd5f86327da5edecf538386e4b2e90a33e9b7dab7fe37e25ce47dc087184848360405180848152602001838152602001828152602001935050505060405180910390a1600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb336005546040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561087957600080fd5b505af115801561088d573d6000803e3d6000fd5b505050506040513d60208110156108a357600080fd5b81019080805190602001909291905050506108ba57fe5b50505050005b3480156108cc57600080fd5b5061090f600480360360208110156108e357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d83565b005b34801561091d57600080fd5b5061094c6004803603602081101561093457600080fd5b81019080803515159060200190929190505050610e20565b005b34801561095a57600080fd5b50610963610fbc565b6040518082815260200191505060405180910390f35b34801561098557600080fd5b5061098e610fc2565b6040518082815260200191505060405180910390f35b3480156109b057600080fd5b506109fd600480360360408110156109c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fcc565b005b348015610a0b57600080fd5b50610a4e60048036036020811015610a2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110d4565b005b348015610a5c57600080fd5b50610a6561122d565b604051808215151515815260200191505060405180910390f35b348015610a8b57600080fd5b50610a94611244565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ae257600080fd5b50610aeb61126a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b3957600080fd5b50610b42611290565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b9057600080fd5b50610bd360048036036020811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b9565b005b348015610be157600080fd5b50610c4e60048036036060811015610bf857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611356565b005b348015610c5c57600080fd5b50610c8960048036036020811015610c7357600080fd5b8101908080359060200190929190505050611586565b005b348015610c9757600080fd5b50610cda60048036036020811015610cae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115e9565b005b600080831415610cef5760009050610d0a565b818302905081838281610cfe57fe5b0414610d0657fe5b8090505b92915050565b6000808211610d1b57fe5b6000828481610d2657fe5b049050828481610d3257fe5b06818402018414610d3f57fe5b828481610d4857fe5b0491505092915050565b600082821115610d5e57fe5b818303905092915050565b6000818301905082811015610d7a57fe5b80905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ddc57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e7957600080fd5b600160149054906101000a900460ff168015610e93575080155b15610f1b576000600160146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1610fb9565b600160149054906101000a900460ff16158015610f355750805b15610fb85760018060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a15b5b50565b60045481565b6000600654905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561105f57600080fd5b60003073ffffffffffffffffffffffffffffffffffffffff163190508181101561108857600080fd5b8273ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156110ce573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461112d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561116757600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167fd36aafedb017e43b79d3cf6aa1987d3fbb9fff33e1738c71dbf6b2abaadbded060405160405180910390a35050565b6000600160149054906101000a900460ff16905090565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461131257600080fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113af57600080fd5b6000839050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113ee57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561146d57600080fd5b505afa158015611481573d6000803e3d6000fd5b505050506040513d602081101561149757600080fd5b81019080805190602001909291905050509050828110156114b757600080fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb85856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561153e57600080fd5b505af1158015611552573d6000803e3d6000fd5b505050506040513d602081101561156857600080fd5b810190808051906020019092919050505061157f57fe5b5050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115df57600080fd5b8060048190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461164257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561167c57600080fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3505056fea165627a7a72305820f902b4265be1eaa50a98f11a4be4f7d1181aecbf8f36eb5da6c7d6abdabeb1a60029

0x6080604052600436106100dd5760003560e01c806368eac56d1161007f578063c62a808911610059578063c62a808914610b84578063cea9d26f14610bd5578063d9e5018614610c50578063f2fde38b14610c8b576100dd565b806368eac56d14610a7f5780637c23df9414610ad65780638da5cb5b14610b2d576100dd565b80634fb30d8b116100bb5780634fb30d8b14610979578063522f6815146109a4578063547e3f06146109ff5780635c975abb14610a50576100dd565b80630d811845146108c057806316c38b3c146109115780631a8264c51461094e575b600160149054906101000a900460ff1615610160576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f5061757365642e0000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60045434101561016f57600080fd5b600554600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561021157600080fd5b505afa158015610225573d6000803e3d6000fd5b505050506040513d602081101561023b57600080fd5b8101908080519060200190929190505050101561025757600080fd5b6000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156102f857600080fd5b505afa15801561030c573d6000803e3d6000fd5b505050506040513d602081101561032257600080fd5b81019080805190602001909291905050501461033d57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e2aafa21336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156103dc57600080fd5b505afa1580156103f0573d6000803e3d6000fd5b505050506040513d602081101561040657600080fd5b81019080805190602001909291905050501561042157600080fd5b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561047857600080fd5b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b81526004016101806040518083038186803b1580156104e457600080fd5b505afa1580156104f8573d6000803e3d6000fd5b505050506040513d61018081101561050f57600080fd5b810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291905050509091929394959697989950909192939495969798509091929394959650909192939495509091929394509091929350909192509091509050508092508193505050600082116105dc57600080fd5b6000610608620f42406105fa84600554610cdc90919063ffffffff16565b610d1090919063ffffffff16565b905060006106398461062b670de0b6b3a764000085610cdc90919063ffffffff16565b610d1090919063ffffffff16565b90508034101561064857600080fd5b80341115610713573373ffffffffffffffffffffffffffffffffffffffff166108fc61067d8334610d5290919063ffffffff16565b9081150290604051600060405180830381858888f193505050501580156106a8573d6000803e3d6000fd5b50600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610711573d6000803e3d6000fd5b505b6107296001600654610d6990919063ffffffff16565b6006819055506001600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507fb7a71ffd5f86327da5edecf538386e4b2e90a33e9b7dab7fe37e25ce47dc087184848360405180848152602001838152602001828152602001935050505060405180910390a1600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb336005546040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561087957600080fd5b505af115801561088d573d6000803e3d6000fd5b505050506040513d60208110156108a357600080fd5b81019080805190602001909291905050506108ba57fe5b50505050005b3480156108cc57600080fd5b5061090f600480360360208110156108e357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d83565b005b34801561091d57600080fd5b5061094c6004803603602081101561093457600080fd5b81019080803515159060200190929190505050610e20565b005b34801561095a57600080fd5b50610963610fbc565b6040518082815260200191505060405180910390f35b34801561098557600080fd5b5061098e610fc2565b6040518082815260200191505060405180910390f35b3480156109b057600080fd5b506109fd600480360360408110156109c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fcc565b005b348015610a0b57600080fd5b50610a4e60048036036020811015610a2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110d4565b005b348015610a5c57600080fd5b50610a6561122d565b604051808215151515815260200191505060405180910390f35b348015610a8b57600080fd5b50610a94611244565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ae257600080fd5b50610aeb61126a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b3957600080fd5b50610b42611290565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b9057600080fd5b50610bd360048036036020811015610ba757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b9565b005b348015610be157600080fd5b50610c4e60048036036060811015610bf857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611356565b005b348015610c5c57600080fd5b50610c8960048036036020811015610c7357600080fd5b8101908080359060200190929190505050611586565b005b348015610c9757600080fd5b50610cda60048036036020811015610cae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115e9565b005b600080831415610cef5760009050610d0a565b818302905081838281610cfe57fe5b0414610d0657fe5b8090505b92915050565b6000808211610d1b57fe5b6000828481610d2657fe5b049050828481610d3257fe5b06818402018414610d3f57fe5b828481610d4857fe5b0491505092915050565b600082821115610d5e57fe5b818303905092915050565b6000818301905082811015610d7a57fe5b80905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ddc57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e7957600080fd5b600160149054906101000a900460ff168015610e93575080155b15610f1b576000600160146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1610fb9565b600160149054906101000a900460ff16158015610f355750805b15610fb85760018060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a15b5b50565b60045481565b6000600654905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561105f57600080fd5b60003073ffffffffffffffffffffffffffffffffffffffff163190508181101561108857600080fd5b8273ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156110ce573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461112d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561116757600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167fd36aafedb017e43b79d3cf6aa1987d3fbb9fff33e1738c71dbf6b2abaadbded060405160405180910390a35050565b6000600160149054906101000a900460ff16905090565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461131257600080fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146113af57600080fd5b6000839050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113ee57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561146d57600080fd5b505afa158015611481573d6000803e3d6000fd5b505050506040513d602081101561149757600080fd5b81019080805190602001909291905050509050828110156114b757600080fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb85856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561153e57600080fd5b505af1158015611552573d6000803e3d6000fd5b505050506040513d602081101561156857600080fd5b810190808051906020019092919050505061157f57fe5b5050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115df57600080fd5b8060048190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461164257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561167c57600080fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3505056fea165627a7a72305820f902b4265be1eaa50a98f11a4be4f7d1181aecbf8f36eb5da6c7d6abdabeb1a60029

6931:2181:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5024:7;;;;;;;;;;;5023:8;5015:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7786:7;;7773:9;:20;;7765:29;;;;;;7848:14;;7813:6;;;;;;;;;;;:16;;;7838:4;7813:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7813:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7813:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7813:31:0;;;;;;;;;;;;;;;;:49;;7805:58;;;;;;7914:1;7882:6;;;;;;;;;;;:16;;;7899:10;7882:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7882:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7882:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7882:28:0;;;;;;;;;;;;;;;;:33;7874:42;;;;;;7936:6;;;;;;;;;;;:18;;;7955:10;7936:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7936:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7936:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7936:30:0;;;;;;;;;;;;;;;;7935:31;7927:40;;;;;;7987:11;:23;7999:10;7987:23;;;;;;;;;;;;;;;;;;;;;;;;;7986:24;7978:33;;;;;;8024:20;8055:24;8144:18;;;;;;;;;;;:25;;;:27;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8144:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8144:27:0;;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;8144:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8090:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8207:1;8192:12;:16;8184:25;;;;;;8222:13;8238:49;8279:7;8238:36;8257:16;8238:14;;:18;;:36;;;;:::i;:::-;:40;;:49;;;;:::i;:::-;8222:65;;8298:13;8314:36;8337:12;8314:18;8324:7;8314:5;:9;;:18;;;;:::i;:::-;:22;;:36;;;;:::i;:::-;8298:52;;8384:5;8371:9;:18;;8363:27;;;;;;8419:5;8407:9;:17;8403:131;;;8441:10;:19;;:41;8461:20;8475:5;8461:9;:13;;:20;;;;:::i;:::-;8441:41;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8441:41:0;8497:9;;;;;;;;;;;:18;;:25;8516:5;8497:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8497:25:0;8403:131;8553:11;8562:1;8553:4;;:8;;:11;;;;:::i;:::-;8546:4;:18;;;;8601:4;8575:11;:23;8587:10;8575:23;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;8621:41;8624:12;8638:16;8656:5;8621:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8682:6;;;;;;;;;;;:15;;;8698:10;8710:14;;8682:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8682:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8682:43:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8682:43:0;;;;;;;;;;;;;;;;8675:51;;;;5054:1;;;;6931:2181;8797:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8797:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8797:140:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5155:281;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5155:281:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5155:281:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7154:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7154:32:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7470:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7470:75:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4122:241;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4122:241:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4122:241:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3227:272;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3227:272:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3227:272:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4787:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4787:78:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7020:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7020:75:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7102:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7102:43:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2493:79;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2493:79:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8995:112;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8995:112:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8995:112:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;3729:339;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3729:339:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3729:339:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7553:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7553:87:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7553:87:0;;;;;;;;;;;;;;;;;:::i;:::-;;2923:248;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2923:248:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2923:248:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1068:202;1126:9;1157:1;1152;:6;1148:47;;;1182:1;1175:8;;;;1148:47;1213:1;1209;:5;1205:9;;1241:1;1236;1232;:5;;;;;;:10;1225:18;;;;1261:1;1254:8;;1068:202;;;;;:::o;1413:187::-;1471:7;1502:1;1498;:5;1491:13;;;;1515:9;1531:1;1527;:5;;;;;;1515:17;;1567:1;1563;:5;;;;;;1559:1;1555;:5;:13;1550:1;:18;1543:26;;;;1591:1;1587;:5;;;;;;1580:12;;;1413:187;;;;:::o;851:123::-;909:7;941:1;936;:6;;929:14;;;;965:1;961;:5;954:12;;851:123;;;;:::o;572:141::-;630:9;660:1;656;:5;652:9;;684:1;679;:6;;672:14;;;;704:1;697:8;;572:141;;;;:::o;8797:140::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;8916:12;8877:18;;:52;;;;;;;;;;;;;;;;;;8797:140;:::o;5155:281::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;5220:7;;;;;;;;;;;:17;;;;;5232:5;5231:6;5220:17;5216:213;;;5264:5;5254:7;;:15;;;;;;;;;;;;;;;;;;5289:20;5298:10;5289:20;;;;;;;;;;;;;;;;;;;;;;5216:213;;;5332:7;;;;;;;;;;;5331:8;:17;;;;;5343:5;5331:17;5327:102;;;5375:4;5365:7;;:14;;;;;;;;;;;;;;;;;;5399:18;5406:10;5399:18;;;;;;;;;;;;;;;;;;;;;;5327:102;5216:213;5155:281;:::o;7154:32::-;;;;:::o;7470:75::-;7506:7;7533:4;;7526:11;;7470:75;:::o;4122:241::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;4233:1;4219:16;;:2;:16;;;;4211:25;;;;;;4247:15;4273:4;4265:21;;;4247:39;;4316:6;4305:7;:17;;4297:26;;;;;;4336:2;:11;;:19;4348:6;4336:19;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4336:19:0;2737:1;4122:241;;:::o;3227:272::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;3341:1;3318:25;;:11;:25;;;;3310:34;;;;;;3355:26;3384:9;;;;;;;;;;;3355:38;;3416:11;3404:9;;:23;;;;;;;;;;;;;;;;;;3479:11;3443:48;;3459:18;3443:48;;;;;;;;;;;;2737:1;3227:272;:::o;4787:78::-;4826:4;4850:7;;;;;;;;;;;4843:14;;4787:78;:::o;7020:75::-;;;;;;;;;;;;;:::o;7102:43::-;;;;;;;;;;;;;:::o;2493:79::-;2531:7;2558:6;;;;;;;;;;;2551:13;;2493:79;:::o;8995:112::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;9087:11;9070:6;;:29;;;;;;;;;;;;;;;;;;8995:112;:::o;3729:339::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;3834:13;3857:9;3834:33;;3906:1;3886:22;;:8;:22;;;;3878:31;;;;;;3920:15;3938:6;:16;;;3963:4;3938:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3938:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3938:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3938:31:0;;;;;;;;;;;;;;;;3920:49;;3999:6;3988:7;:17;;3980:26;;;;;;4026:6;:15;;;4042:8;4052:6;4026:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4026:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4026:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4026:33:0;;;;;;;;;;;;;;;;4019:41;;;;2737:1;;3729:339;;;:::o;7553:87::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;7626:6;7616:7;:16;;;;7553:87;:::o;2923:248::-;2719:6;;;;;;;;;;;2705:20;;:10;:20;;;2697:29;;;;;;3026:1;3006:22;;:8;:22;;;;2998:31;;;;;;3040:23;3066:6;;;;;;;;;;;3040:32;;3092:8;3083:6;;:17;;;;;;;;;;;;;;;;;;3154:8;3116:47;;3137:15;3116:47;;;;;;;;;;;;2737:1;2923:248;:::o

bzzr://f902b4265be1eaa50a98f11a4be4f7d1181aecbf8f36eb5da6c7d6abdabeb1a6