Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 _a, uint256 _b)
•    - function div(uint256 _a, uint256 _b)
•    - function sub(uint256 _a, uint256 _b)
•    - function add(uint256 _a, uint256 _b)
•  contract Ownable
•    - function owner()
•    - function isOwner()
•    - function transferOwnership(address pa ...
•    - function _transferOwnership(address p ...
•  contract TicketsStorage is Ownable *
•    - function save(address _contract, uint ...
•    - function saveHash(address _contract, ...
•    - function update(address _contract, ui ...
•    - function ticketInfo(address _contract ...
•    - function numberTicketFromHash(address ...
•    - function findHappyNumber(uint step)
•    - function getRandomNumber(uint step)
•    - function randomBytes(uint blockn, add ...
•    - function getByteByIndex(uint number, ...
•    - function setWhitelist(address _contra ...
•    - function finish()
•    - function setParentContract(address _c ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-01-28
*/

pragma solidity >0.4.99 <0.6.0;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that revert on error
 */
library SafeMath {

    /**
    * @dev Multiplies two numbers, reverts on overflow.
    */
    function mul(uint256 _a, uint256 _b) internal pure returns (uint256) {
        if (_a == 0) {
            return 0;
        }

        uint256 c = _a * _b;
        require(c / _a == _b);

        return c;
    }

    /**
    * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.
    */
    function div(uint256 _a, uint256 _b) internal pure returns (uint256) {
        require(_b > 0);
        // Solidity only automatically asserts when dividing by 0
        uint256 c = _a / _b;
        // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold

        return c;
    }

    /**
    * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {
        require(_b <= _a);
        uint256 c = _a - _b;

        return c;
    }

    /**
    * @dev Adds two numbers, reverts on overflow.
    */
    function add(uint256 _a, uint256 _b) internal pure returns (uint256) {
        uint256 c = _a + _b;
        require(c >= _a);

        return c;
    }

}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address payable private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev The Ownable constructor sets the original `owner` of the contract to the sender
     * account.
     */
    constructor(address payable newOwner) public {
        _owner = newOwner;
        emit OwnershipTransferred(address(0), _owner);
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @return true if `msg.sender` is the owner of the contract.
     */
    function isOwner() public view returns (bool) {
        return 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 payable newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function _transferOwnership(address payable newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract TicketsStorage is Ownable {
    using SafeMath for uint;

    struct Ticket {
        address payable wallet;
        uint investment;
        uint stakeAmount;
        uint stake;
        uint happyNumber;
        uint8[] percentArray;
        address payable ownerWallet;
    }

    mapping(address => mapping(uint => Ticket)) private tickets;
    // adrress of contract -> round -> Ticket

    mapping(address => mapping(bytes32 => uint)) numberTicket;
    // adrress of contract -> hash -> Ticket

    mapping(address => bool) private parentContract;
    //address of contract -> bool
    mapping(address => bool) private whitelist;
    //address of contract -> bool

    event FindedNumber(address indexed requestor, uint reqValue, uint findValue);


    modifier onlyParentContract {
        require(parentContract[msg.sender] || isOwner(), "onlyParentContract methods called by non - parent of contract.");
        _;
    }

    modifier onlyWhitelist {
        require(whitelist[msg.sender] || isOwner(), "only whitelist contract methods called by non - parent of contract.");
        _;
    }

    constructor() public
    Ownable(msg.sender)
    { }

    function save(address _contract, uint _round, address payable _wallet, uint _investment, uint _stake, uint8[] memory _percentArray, address payable _ownerWallet) public onlyWhitelist {
        Ticket storage ticket = tickets[_contract][_round];
        ticket.wallet = _wallet;
        ticket.investment = _investment;
        ticket.stake = _stake;
        if (_percentArray.length < 6) {
            for (uint i=0; i<6; i++) {
                ticket.percentArray.push(0);
            }
        } else {
            ticket.percentArray = _percentArray;
        }
        ticket.ownerWallet = _ownerWallet;
    }

    function saveHash(address _contract, bytes32 _hash, uint _round) public onlyWhitelist {
        numberTicket[_contract][_hash] = _round;
    }

    function update(address _contract, uint _round, uint _stakeAmount, uint _happyNumber) public onlyWhitelist {
        Ticket storage ticket = tickets[_contract][_round];
        ticket.stakeAmount = _stakeAmount;
        ticket.happyNumber = _happyNumber;
    }

    function ticketInfo(address _contract, uint round) public view returns (
        address payable _wallet,
        uint _investment,
        uint _stakeAmount,
        uint _stake,
        uint _happyNumber,
        uint8[] memory _percentArray,
        address payable _ownerWallet
    ) {
        Ticket memory ticket = tickets[_contract][round];
        _wallet = ticket.wallet;
        _investment = ticket.investment;
        _stakeAmount = ticket.stakeAmount;
        _stake = ticket.stake;
        _happyNumber = ticket.happyNumber;
        _percentArray = ticket.percentArray;
        _ownerWallet = ticket.ownerWallet;
    }

    function numberTicketFromHash(address _contract, bytes32 _hash) public view returns (uint) {
        return numberTicket[_contract][_hash];
    }

    function findHappyNumber(uint step) public onlyWhitelist returns (uint) {
        uint happyNumber = getRandomNumber(step);
        emit FindedNumber(msg.sender, step, happyNumber);
        return happyNumber;
    }

    function getRandomNumber(uint step) internal view returns (uint randomNumber) {
        if (step > 0) {
            uint numberOne = uint8(getByteByIndex(30, blockhash(block.number-1)));
            uint numberTwo = uint8(getByteByIndex(29, blockhash(block.number-2)));
            uint numberThree = uint8(getByteByIndex(28, blockhash(block.number-3)));
            uint numberFor = uint8(getByteByIndex(10, blockhash(block.number-4)));
            uint random = 0;
            if (step < 5) {
                random = numberTwo.add(numberFor).add(numberThree);
            }
            if (step >= 5 && step < 970000) {
                random = numberOne.mul(numberTwo);
                random = random.add(numberFor);
                random = random.mul(numberThree).sub(numberFor);
            }
            if (step >= 970000 && step < 96000000) {
                random = numberOne.mul(numberTwo).mul(numberFor);
                random = random.add(numberFor);
                random = random.mul(numberThree).sub(numberFor);
            }
            if (step >= 96000000) {
                random = numberOne.mul(numberTwo).mul(numberFor);
                random = random.mul(numberOne).add(numberFor);
                random = random.mul(numberThree).mul(numberTwo).sub(numberFor);
            }
            randomNumber = random % step;
            return randomNumber + 1;
        } else {
            return 0;
        }
    }

    function randomBytes(uint blockn, address entropyAddress) public pure returns (bytes32) {
        return keccak256(abi.encodePacked(bytes32(blockn),entropyAddress));
    }

    function getByteByIndex(uint number, bytes32 strBytes) private pure returns (byte lastByte) {
        require(number < 32 && number >= 0);
        lastByte = strBytes[number];
    }

    function setWhitelist(address _contract, bool _status) onlyParentContract public {
        whitelist[_contract] = _status;
    }

    function finish() external onlyOwner {
        address payable __owner = owner();
        selfdestruct(__owner);
    }

    function setParentContract(address _contract, bool _status) onlyOwner public {
        parentContract[_contract] = _status;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"requestor","type":"address"},{"indexed":false,"internalType":"uint256","name":"reqValue","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"findValue","type":"uint256"}],"name":"FindedNumber","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"constant":false,"inputs":[{"internalType":"uint256","name":"step","type":"uint256"}],"name":"findHappyNumber","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finish","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"bytes32","name":"_hash","type":"bytes32"}],"name":"numberTicketFromHash","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address payable","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"blockn","type":"uint256"},{"internalType":"address","name":"entropyAddress","type":"address"}],"name":"randomBytes","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"uint256","name":"_round","type":"uint256"},{"internalType":"address payable","name":"_wallet","type":"address"},{"internalType":"uint256","name":"_investment","type":"uint256"},{"internalType":"uint256","name":"_stake","type":"uint256"},{"internalType":"uint8[]","name":"_percentArray","type":"uint8[]"},{"internalType":"address payable","name":"_ownerWallet","type":"address"}],"name":"save","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"bytes32","name":"_hash","type":"bytes32"},{"internalType":"uint256","name":"_round","type":"uint256"}],"name":"saveHash","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"bool","name":"_status","type":"bool"}],"name":"setParentContract","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"bool","name":"_status","type":"bool"}],"name":"setWhitelist","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"uint256","name":"round","type":"uint256"}],"name":"ticketInfo","outputs":[{"internalType":"address payable","name":"_wallet","type":"address"},{"internalType":"uint256","name":"_investment","type":"uint256"},{"internalType":"uint256","name":"_stakeAmount","type":"uint256"},{"internalType":"uint256","name":"_stake","type":"uint256"},{"internalType":"uint256","name":"_happyNumber","type":"uint256"},{"internalType":"uint8[]","name":"_percentArray","type":"uint8[]"},{"internalType":"address payable","name":"_ownerWallet","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"uint256","name":"_round","type":"uint256"},{"internalType":"uint256","name":"_stakeAmount","type":"uint256"},{"internalType":"uint256","name":"_happyNumber","type":"uint256"}],"name":"update","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5033806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350611869806100de6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c80638e5ea0c11161008c578063b157b6df11610066578063b157b6df14610541578063d2c3aaf214610599578063d56b2889146105fb578063f2fde38b14610605576100cf565b80638e5ea0c11461046d5780638f32d59b146104cf578063ab13426a146104f1576100cf565b80631eb3d321146100d45780633b49cf421461013657806347d783fa1461017857806353d6fd591461029d578063709874cd146102ed5780638da5cb5b14610423575b600080fd5b610120600480360360408110156100ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610649565b6040518082815260200191505060405180910390f35b6101626004803603602081101561014c57600080fd5b81019080803590602001909291905050506106a4565b6040518082815260200191505060405180910390f35b6101c46004803603604081101561018e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107c3565b604051808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001878152602001868152602001858152602001848152602001806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825284818151815260200191508051906020019060200280838360005b83811015610283578082015181840152602081019050610268565b505050509050019850505050505050505060405180910390f35b6102eb600480360360408110156102b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506109c4565b005b610421600480360360e081101561030357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291908035906020019064010000000081111561037e57600080fd5b82018360208201111561039057600080fd5b803590602001918460208302840111640100000000831117156103b257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ad0565b005b61042b610d08565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104b96004803603604081101561048357600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d31565b6040518082815260200191505060405180910390f35b6104d7610d9c565b604051808215151515815260200191505060405180910390f35b61053f6004803603604081101561050757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610df3565b005b6105976004803603606081101561055757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610ec8565b005b6105f9600480360360808110156105af57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190505050610fd3565b005b6106036110f1565b005b6106476004803603602081101561061b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611190565b005b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806107025750610701610d9c565b5b610757576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b600061076283611216565b90503373ffffffffffffffffffffffffffffffffffffffff167fc247197d7fcbc1f4a4e23c7c8e13f9babc69129a71d74afad6f3a1ecdee1d5d78483604051808381526020018281526020019250505060405180910390a280915050919050565b6000806000806000606060006107d761164d565b600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a81526020019081526020016000206040518060e00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820180548060200260200160405190810160405280929190818152602001828054801561092557602002820191906000526020600020906000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116108ee5790505b505050505081526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681525050905080600001519750806020015196508060400151955080606001519450806080015193508060a0015192508060c0015191505092959891949750929550565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610a205750610a1f610d9c565b5b610a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e8152602001806117f7603e913960400191505060405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610b2c5750610b2b610d9c565b5b610b81576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b6000600160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008881526020019081526020016000209050858160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550848160010181905550838160030181905550600683511015610ca15760008090505b6006811015610c9b57816005016000908060018154018082558091505090600182039060005260206000209060209182820401919006909192909190916101000a81548160ff021916908360ff160217905550508080600101915050610c3a565b50610cbb565b82816005019080519060200190610cb99291906116b6565b505b818160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008260001b82604051602001808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014019250505060405160208183030381529060405280519060200120905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b610dfb610d9c565b610e6d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610f245750610f23610d9c565b5b610f79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061102f575061102e610d9c565b5b611084576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002090508281600201819055508181600401819055505050505050565b6110f9610d9c565b61116b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000611175610d08565b90508073ffffffffffffffffffffffffffffffffffffffff16ff5b611198610d9c565b61120a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6112138161145c565b50565b600080821115611452576000611231601e60014303406115a0565b60f81c60ff169050600061124a601d60024303406115a0565b60f81c60ff1690506000611263601c60034303406115a0565b60f81c60ff169050600061127c600a60044303406115a0565b60f81c60ff169050600080905060058710156112ba576112b7836112a984876115d490919063ffffffff16565b6115d490919063ffffffff16565b90505b600587101580156112cd5750620ecd1087105b15611324576112e584866115f390919063ffffffff16565b90506112fa82826115d490919063ffffffff16565b90506113218261131385846115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b620ecd10871015801561133a57506305b8d80087105b156113a3576113648261135686886115f390919063ffffffff16565b6115f390919063ffffffff16565b905061137982826115d490919063ffffffff16565b90506113a08261139285846115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b6305b8d8008710611436576113d3826113c586886115f390919063ffffffff16565b6115f390919063ffffffff16565b90506113fa826113ec87846115f390919063ffffffff16565b6115d490919063ffffffff16565b9050611433826114258661141787866115f390919063ffffffff16565b6115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b86818161143f57fe5b0695506001860195505050505050611457565b600090505b919050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061178e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006020831080156115b3575060008310155b6115bc57600080fd5b8183602081106115c857fe5b1a60f81b905092915050565b6000808284019050838110156115e957600080fd5b8091505092915050565b6000808314156116065760009050611627565b600082840290508284828161161757fe5b041461162257600080fd5b809150505b92915050565b60008282111561163c57600080fd5b600082840390508091505092915050565b6040518060e00160405280600073ffffffffffffffffffffffffffffffffffffffff1681526020016000815260200160008152602001600081526020016000815260200160608152602001600073ffffffffffffffffffffffffffffffffffffffff1681525090565b82805482825590600052602060002090601f0160209004810192821561174c5791602002820160005b8382111561171d57835183826101000a81548160ff021916908360ff16021790555092602001926001016020816000010492830192600103026116df565b801561174a5782816101000a81549060ff021916905560010160208160000104928301926001030261171d565b505b509050611759919061175d565b5090565b61178a91905b8082111561178657600081816101000a81549060ff021916905550600101611763565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573736f6e6c792077686974656c69737420636f6e7472616374206d6574686f64732063616c6c6564206279206e6f6e202d20706172656e74206f6620636f6e74726163742e6f6e6c79506172656e74436f6e7472616374206d6574686f64732063616c6c6564206279206e6f6e202d20706172656e74206f6620636f6e74726163742ea265627a7a723158207d8ad14ba3348c952eff08f68d364c1c28013358c258487cad7328a832069e0764736f6c634300050c0032

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80638e5ea0c11161008c578063b157b6df11610066578063b157b6df14610541578063d2c3aaf214610599578063d56b2889146105fb578063f2fde38b14610605576100cf565b80638e5ea0c11461046d5780638f32d59b146104cf578063ab13426a146104f1576100cf565b80631eb3d321146100d45780633b49cf421461013657806347d783fa1461017857806353d6fd591461029d578063709874cd146102ed5780638da5cb5b14610423575b600080fd5b610120600480360360408110156100ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610649565b6040518082815260200191505060405180910390f35b6101626004803603602081101561014c57600080fd5b81019080803590602001909291905050506106a4565b6040518082815260200191505060405180910390f35b6101c46004803603604081101561018e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107c3565b604051808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001878152602001868152602001858152602001848152602001806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825284818151815260200191508051906020019060200280838360005b83811015610283578082015181840152602081019050610268565b505050509050019850505050505050505060405180910390f35b6102eb600480360360408110156102b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506109c4565b005b610421600480360360e081101561030357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291908035906020019064010000000081111561037e57600080fd5b82018360208201111561039057600080fd5b803590602001918460208302840111640100000000831117156103b257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ad0565b005b61042b610d08565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104b96004803603604081101561048357600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d31565b6040518082815260200191505060405180910390f35b6104d7610d9c565b604051808215151515815260200191505060405180910390f35b61053f6004803603604081101561050757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610df3565b005b6105976004803603606081101561055757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610ec8565b005b6105f9600480360360808110156105af57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190505050610fd3565b005b6106036110f1565b005b6106476004803603602081101561061b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611190565b005b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806107025750610701610d9c565b5b610757576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b600061076283611216565b90503373ffffffffffffffffffffffffffffffffffffffff167fc247197d7fcbc1f4a4e23c7c8e13f9babc69129a71d74afad6f3a1ecdee1d5d78483604051808381526020018281526020019250505060405180910390a280915050919050565b6000806000806000606060006107d761164d565b600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a81526020019081526020016000206040518060e00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820180548060200260200160405190810160405280929190818152602001828054801561092557602002820191906000526020600020906000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116108ee5790505b505050505081526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681525050905080600001519750806020015196508060400151955080606001519450806080015193508060a0015192508060c0015191505092959891949750929550565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610a205750610a1f610d9c565b5b610a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e8152602001806117f7603e913960400191505060405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610b2c5750610b2b610d9c565b5b610b81576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b6000600160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008881526020019081526020016000209050858160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550848160010181905550838160030181905550600683511015610ca15760008090505b6006811015610c9b57816005016000908060018154018082558091505090600182039060005260206000209060209182820401919006909192909190916101000a81548160ff021916908360ff160217905550508080600101915050610c3a565b50610cbb565b82816005019080519060200190610cb99291906116b6565b505b818160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008260001b82604051602001808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014019250505060405160208183030381529060405280519060200120905092915050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b610dfb610d9c565b610e6d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610f245750610f23610d9c565b5b610f79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550505050565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061102f575061102e610d9c565b5b611084576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260438152602001806117b46043913960600191505060405180910390fd5b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002090508281600201819055508181600401819055505050505050565b6110f9610d9c565b61116b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000611175610d08565b90508073ffffffffffffffffffffffffffffffffffffffff16ff5b611198610d9c565b61120a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6112138161145c565b50565b600080821115611452576000611231601e60014303406115a0565b60f81c60ff169050600061124a601d60024303406115a0565b60f81c60ff1690506000611263601c60034303406115a0565b60f81c60ff169050600061127c600a60044303406115a0565b60f81c60ff169050600080905060058710156112ba576112b7836112a984876115d490919063ffffffff16565b6115d490919063ffffffff16565b90505b600587101580156112cd5750620ecd1087105b15611324576112e584866115f390919063ffffffff16565b90506112fa82826115d490919063ffffffff16565b90506113218261131385846115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b620ecd10871015801561133a57506305b8d80087105b156113a3576113648261135686886115f390919063ffffffff16565b6115f390919063ffffffff16565b905061137982826115d490919063ffffffff16565b90506113a08261139285846115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b6305b8d8008710611436576113d3826113c586886115f390919063ffffffff16565b6115f390919063ffffffff16565b90506113fa826113ec87846115f390919063ffffffff16565b6115d490919063ffffffff16565b9050611433826114258661141787866115f390919063ffffffff16565b6115f390919063ffffffff16565b61162d90919063ffffffff16565b90505b86818161143f57fe5b0695506001860195505050505050611457565b600090505b919050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061178e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006020831080156115b3575060008310155b6115bc57600080fd5b8183602081106115c857fe5b1a60f81b905092915050565b6000808284019050838110156115e957600080fd5b8091505092915050565b6000808314156116065760009050611627565b600082840290508284828161161757fe5b041461162257600080fd5b809150505b92915050565b60008282111561163c57600080fd5b600082840390508091505092915050565b6040518060e00160405280600073ffffffffffffffffffffffffffffffffffffffff1681526020016000815260200160008152602001600081526020016000815260200160608152602001600073ffffffffffffffffffffffffffffffffffffffff1681525090565b82805482825590600052602060002090601f0160209004810192821561174c5791602002820160005b8382111561171d57835183826101000a81548160ff021916908360ff16021790555092602001926001016020816000010492830192600103026116df565b801561174a5782816101000a81549060ff021916905560010160208160000104928301926001030261171d565b505b509050611759919061175d565b5090565b61178a91905b8082111561178657600081816101000a81549060ff021916905550600101611763565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573736f6e6c792077686974656c69737420636f6e7472616374206d6574686f64732063616c6c6564206279206e6f6e202d20706172656e74206f6620636f6e74726163742e6f6e6c79506172656e74436f6e7472616374206d6574686f64732063616c6c6564206279206e6f6e202d20706172656e74206f6620636f6e74726163742ea265627a7a723158207d8ad14ba3348c952eff08f68d364c1c28013358c258487cad7328a832069e0764736f6c634300050c0032

3249:5562:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3249:5562:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6178:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6178:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6333:219;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6333:219:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5521:649;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5521:649:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5521:649:0;;;;;;;;;;;;;;;;;;;;;;;8410:130;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8410:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4464:625;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;4464:625:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4464:625:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4464:625: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;4464:625:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4464:625:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2090:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8037:173;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8037:173:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2469:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8677:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8677:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5097:144;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5097:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5249:264;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;5249:264:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8548:121;;;:::i;:::-;;2738:117;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2738:117:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;6178:147;6263:4;6287:12;:23;6300:9;6287:23;;;;;;;;;;;;;;;:30;6311:5;6287:30;;;;;;;;;;;;6280:37;;6178:147;;;;:::o;6333:219::-;6399:4;4268:9;:21;4278:10;4268:21;;;;;;;;;;;;;;;;;;;;;;;;;:34;;;;4293:9;:7;:9::i;:::-;4268:34;4260:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6416:16;6435:21;6451:4;6435:15;:21::i;:::-;6416:40;;6485:10;6472:43;;;6497:4;6503:11;6472:43;;;;;;;;;;;;;;;;;;;;;;;;6533:11;6526:18;;;6333:219;;;:::o;5521:649::-;5603:23;5637:16;5664:17;5692:11;5714:17;5742:28;5781;5828:20;;:::i;:::-;5851:7;:18;5859:9;5851:18;;;;;;;;;;;;;;;:25;5870:5;5851:25;;;;;;;;;;;5828:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5897:6;:13;;;5887:23;;5935:6;:17;;;5921:31;;5978:6;:18;;;5963:33;;6016:6;:12;;;6007:21;;6054:6;:18;;;6039:33;;6099:6;:19;;;6083:35;;6144:6;:18;;;6129:33;;5521:649;;;;;;;;;;;:::o;8410:130::-;4092:14;:26;4107:10;4092:26;;;;;;;;;;;;;;;;;;;;;;;;;:39;;;;4122:9;:7;:9::i;:::-;4092:39;4084:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8525:7;8502:9;:20;8512:9;8502:20;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;8410:130;;:::o;4464:625::-;4268:9;:21;4278:10;4268:21;;;;;;;;;;;;;;;;;;;;;;;;;:34;;;;4293:9;:7;:9::i;:::-;4268:34;4260:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4658:21;4682:7;:18;4690:9;4682:18;;;;;;;;;;;;;;;:26;4701:6;4682:26;;;;;;;;;;;4658:50;;4735:7;4719:6;:13;;;:23;;;;;;;;;;;;;;;;;;4773:11;4753:6;:17;;:31;;;;4810:6;4795;:12;;:21;;;;4854:1;4831:13;:20;:24;4827:211;;;4877:6;4884:1;4877:8;;4872:87;4889:1;4887;:3;4872:87;;;4916:6;:19;;4941:1;4916:27;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;4916:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4892:3;;;;;;;4872:87;;;;4827:211;;;5013:13;4991:6;:19;;:35;;;;;;;;;;;;:::i;:::-;;4827:211;5069:12;5048:6;:18;;;:33;;;;;;;;;;;;;;;;;;4385:1;4464:625;;;;;;;:::o;2090:87::-;2128:15;2163:6;;;;;;;;;;;2156:13;;2090:87;:::o;8037:173::-;8116:7;8178:6;8170:15;;8186:14;8153:48;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8153:48:0;;;8143:59;;;;;;8136:66;;8037:173;;;;:::o;2469:92::-;2509:4;2547:6;;;;;;;;;;;2533:20;;:10;:20;;;2526:27;;2469:92;:::o;8677:131::-;2310:9;:7;:9::i;:::-;2302:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8793:7;8765:14;:25;8780:9;8765:25;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;8677:131;;:::o;5097:144::-;4268:9;:21;4278:10;4268:21;;;;;;;;;;;;;;;;;;;;;;;;;:34;;;;4293:9;:7;:9::i;:::-;4268:34;4260:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5227:6;5194:12;:23;5207:9;5194:23;;;;;;;;;;;;;;;:30;5218:5;5194:30;;;;;;;;;;;:39;;;;5097:144;;;:::o;5249:264::-;4268:9;:21;4278:10;4268:21;;;;;;;;;;;;;;;;;;;;;;;;;:34;;;;4293:9;:7;:9::i;:::-;4268:34;4260:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5367:21;5391:7;:18;5399:9;5391:18;;;;;;;;;;;;;;;:26;5410:6;5391:26;;;;;;;;;;;5367:50;;5449:12;5428:6;:18;;:33;;;;5493:12;5472:6;:18;;:33;;;;4385:1;5249:264;;;;:::o;8548:121::-;2310:9;:7;:9::i;:::-;2302:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8596:23;8622:7;:5;:7::i;:::-;8596:33;;8653:7;8640:21;;;2738:117;2310:9;:7;:9::i;:::-;2302:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2819:28;2838:8;2819:18;:28::i;:::-;2738:117;:::o;6560:1469::-;6619:17;6660:1;6653:4;:8;6649:1373;;;6678:14;6701:45;6716:2;6743:1;6730:12;:14;6720:25;6701:14;:45::i;:::-;6695:52;;6678:69;;;;6762:14;6785:45;6800:2;6827:1;6814:12;:14;6804:25;6785:14;:45::i;:::-;6779:52;;6762:69;;;;6846:16;6871:45;6886:2;6913:1;6900:12;:14;6890:25;6871:14;:45::i;:::-;6865:52;;6846:71;;;;6932:14;6955:45;6970:2;6997:1;6984:12;:14;6974:25;6955:14;:45::i;:::-;6949:52;;6932:69;;;;7016:11;7030:1;7016:15;;7057:1;7050:4;:8;7046:99;;;7088:41;7117:11;7088:24;7102:9;7088;:13;;:24;;;;:::i;:::-;:28;;:41;;;;:::i;:::-;7079:50;;7046:99;7171:1;7163:4;:9;;:26;;;;;7183:6;7176:4;:13;7163:26;7159:215;;;7219:24;7233:9;7219;:13;;:24;;;;:::i;:::-;7210:33;;7271:21;7282:9;7271:6;:10;;:21;;;;:::i;:::-;7262:30;;7320:38;7348:9;7320:23;7331:11;7320:6;:10;;:23;;;;:::i;:::-;:27;;:38;;;;:::i;:::-;7311:47;;7159:215;7400:6;7392:4;:14;;:33;;;;;7417:8;7410:4;:15;7392:33;7388:237;;;7455:39;7484:9;7455:24;7469:9;7455;:13;;:24;;;;:::i;:::-;:28;;:39;;;;:::i;:::-;7446:48;;7522:21;7533:9;7522:6;:10;;:21;;;;:::i;:::-;7513:30;;7571:38;7599:9;7571:23;7582:11;7571:6;:10;;:23;;;;:::i;:::-;:27;;:38;;;;:::i;:::-;7562:47;;7388:237;7651:8;7643:4;:16;7639:250;;7689:39;7718:9;7689:24;7703:9;7689;:13;;:24;;;;:::i;:::-;:28;;:39;;;;:::i;:::-;7680:48;;7756:36;7782:9;7756:21;7767:9;7756:6;:10;;:21;;;;:::i;:::-;:25;;:36;;;;:::i;:::-;7747:45;;7820:53;7863:9;7820:38;7848:9;7820:23;7831:11;7820:6;:10;;:23;;;;:::i;:::-;:27;;:38;;;;:::i;:::-;:42;;:53;;;;:::i;:::-;7811:62;;7639:250;7927:4;7918:6;:13;;;;;;7903:28;;7968:1;7953:12;:16;7946:23;;;;;;;;;6649:1373;8009:1;8002:8;;6560:1469;;;;:::o;3005:237::-;3107:1;3087:22;;:8;:22;;;;3079:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3197:8;3168:38;;3189:6;;;;;;;;;;;3168:38;;;;;;;;;;;;3226:8;3217:6;;:17;;;;;;;;;;;;;;;;;;3005:237;:::o;8218:184::-;8295:13;8338:2;8329:6;:11;:26;;;;;8354:1;8344:6;:11;;8329:26;8321:35;;;;;;8378:8;8387:6;8378:16;;;;;;;;;;8367:27;;8218:184;;;;:::o;1243:155::-;1303:7;1323:9;1340:2;1335;:7;1323:19;;1366:2;1361:1;:7;;1353:16;;;;;;1389:1;1382:8;;;1243:155;;;;:::o;230:220::-;290:7;320:1;314:2;:7;310:48;;;345:1;338:8;;;;310:48;370:9;387:2;382;:7;370:19;;418:2;412;408:1;:6;;;;;;:12;400:21;;;;;;441:1;434:8;;;230:220;;;;;:::o;1011:156::-;1071:7;1105:2;1099;:8;;1091:17;;;;;;1119:9;1136:2;1131;:7;1119:19;;1158:1;1151:8;;;1011:156;;;;:::o;3249:5562::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://7d8ad14ba3348c952eff08f68d364c1c28013358c258487cad7328a832069e07