Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-07-13
*/

// SPDX-License-Identifier:MIT
// Author: 0xTycoon
// Project: Cigarettes (CEO of CryptoPunks)
// Bribe punk holders to become CEOs
pragma solidity ^0.8.15;

//import "hardhat/console.sol";

/*

Creating and contributing to Bribe Proposals:
1. A new bribe, with a CIG contribution, is created for the Cryptopunk which you'd like to see become the CEO.
2. 20 bribes can exist as Proposed at one time.
3. 20 bribes can exist as Expired at one time.
4. The minimum bribe contribution amount is set to 10% of the asking price of the "CEO of Cryptopunks" title.
(This is to prevent spam, and ensure serious contributions only)
5. Anybody can increase a proposed bribe by contributing more of their CIG
6. A proposed bribe expires 30 days after the last contribution (each new contribution increases expiry
by 30 days)
7. Contributors may not withdraw their CIG from a proposed bribe, they must wait until it is expired.
8. A bribe stays in the expired list for 30 days until it is defunct.
9. Defunct bribes will be unlisted from the interface.
10. Contributors will continue to be able to withdraw their deposit from bribes in the Defunct state
11. A bribe can have a "slogan" set by the address that holds a punk specified in the Bribe. This can be any
text, 32 bytes in length max, such as a Twitter handle.

Taking Bribes:
12. A CEO must be a CEO for at least 50 blocks before taking the title
12. A CEO can take a bribe only if no other bribe is active (acceptedBribeID is 0)
13. The CEO's address must own the punk specified in the bribe.
14. Once a bribe is active, it gets removed from the Proposed list,
and the CEO can call the payout function to get paid.
(But there is a twist: if the CEO loses their CEO title after accepting the bribe, any
unclaimed payment may be burned! The reason why it's burned is to discourage other CEOs from taking over)
15. Thee payment is based on a 10 day linear vesting schedule.
16. After 10 days, the active bribe may be 100% paid out. It then goes in to a PaidOut state.

Refunds:
17. CIG contributions can be refunded from bribes that have been expired or defunct.

This contract has no admin keys.

Permissions info:

This contract reads from the CryptoPunks contract, but never writes to it.

Deployment args:

_cig 0xcb56b52316041a62b6b5d0583dce4a8ae7a3c629
_punks 0xb47e3cd837ddf8e4c57f05d70ab865de6e193bbb
_claimDays 10
_stateDays 30
_duration 86400
_minBlocks 50

**/

contract Bribes {

    ICigtoken immutable public cig;
    ICryptoPunks immutable public punks;
    uint256 immutable private minBlocks;
    struct Bribe {
        uint256 punkID;
        uint256 raised;   // amount of CIG raised for the bribe, can only increase
        uint256 claimed;  // amount of CIG claimed by the holder of the punk, (or burned), only after bribe taken
        State state;      // see the State enum
        uint256 updatedAt;// timestamp when state changed or amount raised increased
        bytes32 slogan;   // a message that can be set only by the punk owner
    }
    uint256 public minAmount; // minimum contribution amount

    // balance users address => (bribe id => balance)
    mapping(address => mapping(uint256 => uint256)) public deposit;

    mapping(uint256 => Bribe) public bribes;
    uint256[20] public bribesProposed;
    uint256[20] public bribesExpired;
    uint256 public bribeHeight;                 // the next Bribe ID to be assigned
    uint256 public acceptedBribeID;             // rge currently active bribe (may be 0)
    uint256 public immutable durationLimitDays; // how many days the CEO has to claim the bribe
    uint256 private immutable claimLimitSec;    // claimDays expressed in seconds
    uint256 private immutable stateExpirySec;   // state expiry expressed in seconds

    enum State {
        Free,     // bribe just created (in memory)
        Proposed, // bribe stored in the bribesProposed list
        Expired,  // bribe stored in the bribesExpired list
        Accepted, // bribe taken by the CEO
        PaidOut,  // bribe fully paid out (accepted -> paid out)
        Defunct   // bribe taken out of the bribesExpired list (expired -> defunct)
    }

    event New(uint256 indexed id, uint256 amount, address indexed from, uint256 punkID); // new bribe
    event Burned(uint256 indexed id, uint256 amount);                                    // bribe payment burned
    event Paid(uint256 indexed id, uint256 amount);                                      // bribe payment sent
    event Paidout(uint256 indexed id);                                                   // bribe all paidout
    event Accepted(uint256 indexed id);                                                  // bribe accepted
    event Expired(uint256 indexed id);                                                   // a bribe expired
    event Defunct(uint256 indexed id);                                                   // a bribe became defunct
    event Increased(uint256 indexed id, uint256 amount, address indexed from);           // increase a bribe
    event Refunded(uint256 indexed id, uint256 amount, address indexed to);
    event MinAmount(uint256 amount);
    event Slogan(uint256, bytes32);


    /**
    * @param _cig address of the Cigarettes contract
    * @param _punks address of the punks contract
    * @param _claimDays how many days the CEO has to claim the bribe
    * @param _stateDays how many days before proposal expires in a state
    * @param _duration, eg 86400 (seconds in a day)
    * @param _minBlocks that they must be CEO for eg 50
    */
    constructor(
        address _cig,       // 0xcb56b52316041a62b6b5d0583dce4a8ae7a3c629
        address _punks,     // eg. 0xb47e3cd837ddf8e4c57f05d70ab865de6e193bbb
        uint256 _claimDays, // eg. 10
        uint256 _stateDays, // eg. 30
        uint256 _duration,  // eg. 86400
        uint256 _minBlocks  // eg. 50
        ) {
        cig = ICigtoken(_cig);
        punks = ICryptoPunks(_punks);
        durationLimitDays = _claimDays;
        claimLimitSec = _duration * _claimDays;
        stateExpirySec = _duration * _stateDays;
        minBlocks = _minBlocks;
    }

    /**
    * @dev updateMinAmount updates the minimum amount required for a new bribe proposal
    */
    function updateMinAmount() external {
        require (block.number - cig.taxBurnBlock() > minBlocks, "must be CEO for at least x block");
        minAmount = cig.CEO_price() / 10;
        emit MinAmount(minAmount);
    }

    /**
    * @dev newBribe inserts a new bribe.
    * if will first check if _j is an expired bribe, and will attempt to defunct it and clear the bribesExpired[_j] slot
    * next, if _i is less than 20, it will attempt to expire a proposal in the
    * bribesProposed[_i] slot, moving to bribesExpired[_j] which now should be clear (0). (Reverting if not clear)
    * Finally if bribesProposed[_i] then create a new proposal
    * @param _punkID the punkID to offer the bribe to
    * @param _amount the amount to offer
    * @param _i position in bribesProposed to insert new bribe.
    * @param _j position in bribesProposed to expire
    * @param _k position in expiredBribes to place _j to
    * @param _l position in expiredBribes to remove and defunct. (do nothing if greater than 19)
    * @param _msg bytes32 to be added as message
    *
    */
    function newBribe(
        uint256 _punkID,
        uint256 _amount,
        uint256 _i,
        uint256 _j,
        uint256 _k,
        uint256 _l,
        bytes32 _msg
    ) external returns (uint256 idExpired, uint256 idDefunct, uint256 bribeID) {
        require (_punkID < 10000, "invalid _punkID");
        require(_amount >= minAmount, "not enough cig");
        require(cig.transferFrom(msg.sender, address(this), _amount), "cannot send cig");
        if (_j < 20) {
            idExpired = _expireBribesProposed(_j, _k);
        }
        if (_l < 20) {
            idDefunct = _defunctBribesExpired(_l);
        }
        require (bribesProposed[_i] == 0, "bribesProposed at _i not empty");
        unchecked{bribeID = ++bribeHeight;} // starts from 1
        Bribe storage b = bribes[bribeID];
        b.punkID = _punkID;
        b.raised = _amount;
        b.slogan = _msg;
        b.state = State.Proposed;
        b.updatedAt = block.timestamp;
        bribesProposed[_i] = bribeID;
        deposit[msg.sender][bribeID] = _amount;
        emit New(bribeID, _amount, msg.sender, _punkID);
        return (idExpired, idDefunct, bribeID);
    }

    function _defunctBribesExpired(uint256 _i) internal returns (uint256) {
        uint256 id = bribesExpired[_i];
        require(id > 0, "no such bribe in bribesExpired");
        Bribe storage b = bribes[id];
        if (_defunct(id, _i, b) == State.Defunct) {
            return id;
        }
        return 0;
    }

    /**
    * @dev _expireBribesProposed expires a proposed bribe
    * @param _i index of bribesProposed
    * @param _j index of bribesExpired to place the bribe to
    * returns id of bribe if changed to expired, or 0 if none changed.
    */
    function _expireBribesProposed(uint256 _i, uint256 _j) internal returns (uint256)  {
        uint256 id = bribesProposed[_i];
        require(id > 0, "no such bribe in bribesProposed");
        Bribe storage b = bribes[id];
        if (_expire(id, _i, _j, b) == State.Expired) {
            return id;
        }
        return 0;
    }

    /**
    * @dev increase increase the bribe offering amount
    * @param _i the index of the bribesProposed array that stores the bribeID

    * @param _amount the amount in CIG to be added. Must be at least minAmount
    * @param _j the index of the bribesProposed array to expire (0 if will ignore)
    * @param _k the index of the bribesExpired array to put expired proposal to
    * @param _l the index of the bribesExpired array to purge (if >19, ignore)
    */
    function increase(
        uint256 _i,
        uint256 _amount,
        uint256 _j,
        uint256 _k,
        uint256 _l) external returns (uint256 idExpired, uint256 idDefunct, uint256 id) {
        require(_amount >= minAmount, "not enough cig");
        if (_l < 20) {
            idDefunct = _defunctBribesExpired(_l);
        }
        if (_j < 20) {
            idExpired = _expireBribesProposed(_j, _k);
        }
        id = bribesProposed[_i];
        require(id > 0, "no such bribe active");
        Bribe storage b = bribes[id];
        unchecked {b.raised += _amount;}
        b.updatedAt = block.timestamp;
        require(cig.transferFrom(msg.sender, address(this), _amount), "cannot send cig");
        unchecked{deposit[msg.sender][id] += _amount;} // record deposit
        emit Increased(id, _amount, msg.sender);
        return (idExpired, idDefunct, id);
    }

    /**
    * @dev expire expires a bribe. The bribe is considered expired if not updated for more than DurationLimitSec
    * @param _i the position in bribesProposed to get the id of the bribe to expire
    * @param _j the position in bribesExpired to place the expired bribe to
    */
    function expire(uint256 _i, uint256 _j) external {
        uint256 id = _expireBribesProposed(_i, _j);
        if (id > 0) {
            Bribe storage b = bribes[id];
            _sendRefund(id, b);
        }
    }

    /**
    * @dev accept can be called by the existing CEO to accept the bribe
    * @param _i the index position of the bribe in the bribesProposed list
    * @param _j the index of the bribesProposed array to expire (0 if will ignore)
    * @param _k the index of the bribesExpired array to put expired proposal to
    * The bribe can be accepted if there is currently no accepted bribe.
    * The CEO must be in charge for at least 1 block, and this is checked by looking at the cig.taxBurnBlock slot

    */
    function accept(uint256 _i, uint256 _j, uint256 _k) external returns (uint256 idExpired) {
        uint256 id = acceptedBribeID;
        address ceo = cig.The_CEO();
        if (id != 0) {
            // payout the existing bribe first
            Bribe storage ab = bribes[id];
            require(_pay(ab, ceo, id) == State.PaidOut, "acceptedBribe not PaidOut");
            // assuming that acceptedBribe will be 0 by now
        }
        if (_j < 20) {
            idExpired = _expireBribesProposed(_j, _k);
        }
        require (acceptedBribeID == 0, "a bribe is currently accepted");
        id = bribesProposed[_i];
        require(id > 0, "no such bribe active");
        Bribe storage b = bribes[id];
        require (ceo == msg.sender, "must be called by the CEO");
        require (cig.CEO_punk_index() == b.punkID, "punk not CEO");
        require (block.number - cig.taxBurnBlock() > minBlocks, "must be CEO for at least x block");
        bribesProposed[_i] = 0; // remove from proposed
        b.state = State.Accepted;
        acceptedBribeID = id;
        b.updatedAt = block.timestamp;
        emit Accepted(id);
        return (idExpired);
    }

    /**
    * @dev setSlogan allows the punk owner to set the slogan
    * @param _id uint256 the proposal id
    * @param _slogan bytes32 the new slogan message
    */
    function setSlogan(uint256 _id, bytes32 _slogan) external {
        Bribe storage b = bribes[_id];
        require(b.state == State.Proposed, "bribe must be proposed");
        require(msg.sender == punks.punkIndexToAddress(b.punkID), "must own the punk in proposal");
        b.slogan = _slogan;
        emit Slogan(_id, _slogan);
    }

    /**
    * @dev pay sends the CIG pooled in a bribe to the current owner of the punk
    * checks to make sure it can be called once per block
    * It reads the id of the current bribe
    * checks to make sure there's still balance to pay out
    * calculates the claimable amount based on a linear vesting schedule (per second)
    * @param _j the index of the bribesProposed array to expire (0 if will ignore)
    * @param _k the index of the bribesExpired array to put expired proposal to (if >19, ignore)
    * @param _l the index of the bribesExpired array to purge (if >19, ignore)
    */
    function payout(
        uint256 _j,
        uint256 _k,
        uint256 _l
    ) external returns (uint256 idExpired, uint256 idDefunct, uint256 id)  {
        id = acceptedBribeID; // read the id of the currently accepted bribe
        require (id != 0, "no bribe accepted");
        Bribe storage b = bribes[id];
        require (b.updatedAt != block.timestamp, "timestamp must not equal");
        _pay(b, cig.The_CEO(), id);
        b.updatedAt = block.timestamp;
        if (_l < 20) {
            idDefunct = _defunctBribesExpired(_l);
        }
        if (_j < 20) {
            idExpired = _expireBribesProposed(_j, _k);
        }
        return (idExpired, idDefunct, id);
    }

    /**
    * @dev pay calculates the payout that is vested from the bribe
    * If target of the bribe is not the CEO, claim will be burned, otherwise sent to the CEO.
    * @param _b is a bribe record pointing to storage
    * @param _ceo is the address of the current CEO
    * @param _id is the id of the bribe
    */
    function _pay(
        Bribe storage _b,
        address _ceo,
        uint256 _id
    ) internal returns (State)  {
        uint256 r = _b.raised;
        State state = _b.state;
        require (state == State.Accepted, "must be accepted for payout");
        if (_b.claimed == r) {
            return state; // "all claimed"
        }
        uint256 claimable = (r / claimLimitSec) * (block.timestamp - _b.updatedAt);
        if (claimable > r) {
            claimable = r; // cap
        }
        if (claimable > _b.claimed) {
            claimable = claimable - _b.claimed;
        } else {
            claimable = 0;
        }
        if (claimable == 0) {
            return state;
        }
        // pay out
        unchecked {_b.claimed += claimable;}
        address target = punks.punkIndexToAddress(_b.punkID);
        if (target == _ceo) {
            // if the target of the bribe is the current CEO, send to them
            cig.transfer(target, claimable);
            emit Paid(_id, claimable);
        } else {
            cig.transfer(address(this), claimable); // burn it!
            emit Burned(_id, claimable);
        }
        if (_b.claimed == r) {
            acceptedBribeID = 0;
            _b.state = State.PaidOut;
            _b.updatedAt = block.timestamp;
            emit Paidout(_id);
            return State.PaidOut;
        }
        return state;
    }

    /**
    * @dev refund collects a refund from an expired bribe. It can expire a bribe in the bribesProposed array
    * by setting the _i to less than 20 (indicating the bribe to expire)
    * Bribe must be either Proposed, Expired or Defunct
    * If Proposed, it will need to be Expired before a refund can be sent.
    * @param _id of the bribe to refund (must be expired or defunct to work)
    * @param _i the index in the bribesProposed bribe to expire (set to > 20 to ignore)
    * @param _j the index to use for the expiry slot
    * @param _k the index of the bribesExpired array to purge (if >19, ignore)
    */
    function refund(
        uint256 _id,
        uint256 _i,
        uint256 _j,
        uint256 _k) external returns(uint256 idExpired, uint256 idDefunct, uint256) {
        Bribe storage b = bribes[_id];
        State s = b.state;
        if (_i < 20 && bribesProposed[_i] > 0) {
            idExpired = _expireBribesProposed(_i, _j);
            if (idExpired > 0 && idExpired == _id) {
                s = State.Expired;
            }
        }
        require(s == State.Expired || s == State.Defunct, "invalid bribe state");
        _sendRefund(_id, b);
        if (_k < 20) {
            idDefunct = _defunctBribesExpired(_k);
        }
        return (idExpired, idDefunct, _id);
    }

    /**
    * @dev _sendRefund transfers deposited tokens back to the user whose proposal expired
    * @param _id of the bribe proposal
    * @param _b the Bribe to process
    */
    function _sendRefund(uint256 _id, Bribe storage _b) internal {
        uint256 _amount = deposit[msg.sender][_id];
        if (_amount == 0) {
            return;
        }
        unchecked {
            _b.raised -= _amount;
            deposit[msg.sender][_id] -= _amount; // record refund
        }
        cig.transfer(msg.sender, _amount);
        emit Refunded(_id, _amount, msg.sender);
    }

    /**
    * @dev _defunct removes a bribe from bribesExpired and sets state to State.Defunct. Must be expired,
    * or balance should be 0
    * @param _id the id of the bribe
    * @param _index the position in bribesExpired
    * @param _b the bribe
    */
    function _defunct(uint256 _id, uint256 _index, Bribe storage _b) internal returns (State s) {
        s = _b.state;
        if (s != State.Expired) {
            return s;
        }
        // if the balance is 0, we can defunct early
        if (_b.raised == 0 || ((block.timestamp - _b.updatedAt) > stateExpirySec)) {
            _b.state = State.Defunct;
            bribesExpired[_index] = 0;
            _b.updatedAt = block.timestamp;
            emit Defunct(_id);
            return State.Defunct;
        }
        return s;
    }

    /**
    * @dev _expire expires a bribe from bribesProposed and moves to bribesExpired
    * @param _id the bribe ID
    * @param _i position in bribesProposed to expire
    * @param _j position in bribesExpired to place expired bribe
    */
    function _expire (
        uint256 _id,
        uint256 _i,
        uint256 _j,
        Bribe storage _b
    ) internal returns (State s) {
        if ((block.timestamp - _b.updatedAt) > stateExpirySec) {
            uint256 ex = bribesExpired[_j];
            require (ex == 0, "bribesExpired slot not empty");
            bribesExpired[_j] = _id;
            bribesProposed[_i] = 0;
            _b.state = State.Expired;
            _b.updatedAt = block.timestamp;
            emit Expired(_id);
            return State.Expired;
        }
        return _b.state;
    }

    /**
    * @dev getInfo returns the current state
    * @param _user the address to return the balances for
    */
    function getInfo(address _user) view public returns (
        uint256[] memory,   // ret
        uint256[20] memory, // bribesProposed
        uint256[20] memory, // bribesExpired
        Bribe memory,       // accepted acceptedBribe (if any)
        Bribe[] memory,     // array of Bribe 0-19 a proposed, 20-39 are expired
        uint256[] memory   // balances of any deposits for the _user

    ) {
        uint[] memory ret = new uint[](59);
        uint[] memory balances = new uint[](40);
        Bribe[] memory all = new Bribe[](40);
        Bribe memory ab;
        uint256 i;
        for (i = 0; i <  40; i++) {
            uint256 id;
            if (i < 20) {
                id = bribesProposed[i];
            } else {
                id = bribesExpired[i-20];
            }
            if (id > 0) {
                all[i] = bribes[id];
                if (_user != address(0)) {
                    balances[i] = deposit[_user][id];
                }
            }
        }
        ret[0] = cig.balanceOf(address(this));         // balance of CIG in this contract (tlv)
        ret[1] = acceptedBribeID;
        if (acceptedBribeID > 0) {
            ab = bribes[acceptedBribeID];
        }
        ret[2] = block.timestamp;
        ret[3] = claimLimitSec;                        // claim duration limit, in seconds
        if (acceptedBribeID > 0) {
            uint256 r = ab.raised;
            uint256 claimable = (r / claimLimitSec) * (block.timestamp - ab.updatedAt);
            if (claimable > r) {
                claimable = r; // cap
            }
            if (claimable > ab.claimed) {
                claimable = claimable - ab.claimed;
            } else {
                claimable = 0;
            }
            ret[4] = claimable;
        }
        ret[5] = minAmount;                            // minimum spend
        ret[6] = cig.allowance(_user, address(this));  // approval
        if (isContract(address(0xCB56b52316041A62B6b5D0583DcE4A8AE7a3C629))) { // are we on mainnet?
            // price info
            ILiquidityPoolERC20 lpToken = ILiquidityPoolERC20(address(0x22b15c7Ee1186A7C7CFfB2D942e20Fc228F6E4Ed));
            IRouterV2 V2ROUTER = IRouterV2(address(0xd9e1cE17f2641f24aE83637ab66a2cca9C378B9F));
            uint112[] memory reserves = new uint112[](2);
            (reserves[0], reserves[1], ) = lpToken.getReserves();        // uint112 _reserve0, uint112 _reserve1, uint32 _blockTimestampLast
            if (lpToken.token0() == address(0xCB56b52316041A62B6b5D0583DcE4A8AE7a3C629)) {
                ret[7] = V2ROUTER.getAmountOut(1 ether, uint(reserves[0]), uint(reserves[1])); // CIG price in ETH
            } else {
                ret[7] = V2ROUTER.getAmountOut(1 ether, uint(reserves[1]), uint(reserves[0])); // CIG price in ETH
            }

            ILiquidityPoolERC20 ethusd = ILiquidityPoolERC20(address(0xC3D03e4F041Fd4cD388c549Ee2A29a9E5075882f));  // sushi DAI-WETH pool
            uint112 r0;
            uint112 r1;
            (r0, r1, ) = ethusd.getReserves();
            // get the price of ETH in USD
            ret[8] =  V2ROUTER.getAmountOut(1 ether, uint(r0), uint(r1));      // ETH price in USD
        }
        ret[9] = cig.balanceOf(address(_user)); // user's balance
        for (i = 0; i < 40; i++) {
            if (all[i].raised > 0) {
                ret[i+10] = uint256(uint160(punks.punkIndexToAddress(all[i].punkID)));
            }
        }
        ret[50] = uint256(uint160(cig.The_CEO()));
        ret[51] = durationLimitDays;
        ret[52] = claimLimitSec;
        ret[53] = stateExpirySec;
        ret[54] = block.number;
        ret[55] = cig.taxBurnBlock();
        ret[56] = minBlocks;
        if (acceptedBribeID > 0) {
            ret[57] = uint256(uint160(
                    punks.punkIndexToAddress(bribes[acceptedBribeID].punkID // address of active bribe
                    )));
        }
        ret[58] = cig.CEO_punk_index();
        return (ret, bribesProposed, bribesExpired, ab, all, balances);
    }
    /**
     * @dev Returns true if `account` is a contract.
     *
     * credits https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Address.sol
     */
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }
}

/**
* @dev from UniswapV2Pair.sol
*/
interface ILiquidityPoolERC20  { // is IERC20
    function getReserves() external view returns (uint112 _reserve0, uint112 _reserve1, uint32 _blockTimestampLast);
    function token0() external view returns (address);
}


/**
* @dev IRouterV2 is the sushi router 0xd9e1cE17f2641f24aE83637ab66a2cca9C378B9F
*/
interface IRouterV2 {
    function getAmountOut(uint256 amountIn, uint256 reserveIn, uint256 reserveOut) external pure returns(uint256 amountOut);
}

/*
 * @dev Interface of the ERC20 standard as defined in the EIP.
 * 0xTycoon was here
 */
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface ICigtoken is IERC20 {
    function The_CEO() external view returns (address);
    function CEO_punk_index() external view returns (uint256);
    function taxBurnBlock() external view returns (uint256);
    function CEO_price() external view returns (uint256);
}

interface ICryptoPunks {
    function punkIndexToAddress(uint256 punkIndex) external view returns (address);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_cig","type":"address"},{"internalType":"address","name":"_punks","type":"address"},{"internalType":"uint256","name":"_claimDays","type":"uint256"},{"internalType":"uint256","name":"_stateDays","type":"uint256"},{"internalType":"uint256","name":"_duration","type":"uint256"},{"internalType":"uint256","name":"_minBlocks","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Accepted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Burned","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Defunct","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Expired","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"address","name":"from","type":"address"}],"name":"Increased","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"MinAmount","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"punkID","type":"uint256"}],"name":"New","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Paid","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Paidout","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Refunded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"","type":"bytes32"}],"name":"Slogan","type":"event"},{"inputs":[{"internalType":"uint256","name":"_i","type":"uint256"},{"internalType":"uint256","name":"_j","type":"uint256"},{"internalType":"uint256","name":"_k","type":"uint256"}],"name":"accept","outputs":[{"internalType":"uint256","name":"idExpired","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"acceptedBribeID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bribeHeight","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"bribes","outputs":[{"internalType":"uint256","name":"punkID","type":"uint256"},{"internalType":"uint256","name":"raised","type":"uint256"},{"internalType":"uint256","name":"claimed","type":"uint256"},{"internalType":"enum Bribes.State","name":"state","type":"uint8"},{"internalType":"uint256","name":"updatedAt","type":"uint256"},{"internalType":"bytes32","name":"slogan","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"bribesExpired","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"bribesProposed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cig","outputs":[{"internalType":"contract ICigtoken","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"deposit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"durationLimitDays","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_i","type":"uint256"},{"internalType":"uint256","name":"_j","type":"uint256"}],"name":"expire","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"getInfo","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"},{"internalType":"uint256[20]","name":"","type":"uint256[20]"},{"internalType":"uint256[20]","name":"","type":"uint256[20]"},{"components":[{"internalType":"uint256","name":"punkID","type":"uint256"},{"internalType":"uint256","name":"raised","type":"uint256"},{"internalType":"uint256","name":"claimed","type":"uint256"},{"internalType":"enum Bribes.State","name":"state","type":"uint8"},{"internalType":"uint256","name":"updatedAt","type":"uint256"},{"internalType":"bytes32","name":"slogan","type":"bytes32"}],"internalType":"struct Bribes.Bribe","name":"","type":"tuple"},{"components":[{"internalType":"uint256","name":"punkID","type":"uint256"},{"internalType":"uint256","name":"raised","type":"uint256"},{"internalType":"uint256","name":"claimed","type":"uint256"},{"internalType":"enum Bribes.State","name":"state","type":"uint8"},{"internalType":"uint256","name":"updatedAt","type":"uint256"},{"internalType":"bytes32","name":"slogan","type":"bytes32"}],"internalType":"struct Bribes.Bribe[]","name":"","type":"tuple[]"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_i","type":"uint256"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256","name":"_j","type":"uint256"},{"internalType":"uint256","name":"_k","type":"uint256"},{"internalType":"uint256","name":"_l","type":"uint256"}],"name":"increase","outputs":[{"internalType":"uint256","name":"idExpired","type":"uint256"},{"internalType":"uint256","name":"idDefunct","type":"uint256"},{"internalType":"uint256","name":"id","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"minAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_punkID","type":"uint256"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256","name":"_i","type":"uint256"},{"internalType":"uint256","name":"_j","type":"uint256"},{"internalType":"uint256","name":"_k","type":"uint256"},{"internalType":"uint256","name":"_l","type":"uint256"},{"internalType":"bytes32","name":"_msg","type":"bytes32"}],"name":"newBribe","outputs":[{"internalType":"uint256","name":"idExpired","type":"uint256"},{"internalType":"uint256","name":"idDefunct","type":"uint256"},{"internalType":"uint256","name":"bribeID","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_j","type":"uint256"},{"internalType":"uint256","name":"_k","type":"uint256"},{"internalType":"uint256","name":"_l","type":"uint256"}],"name":"payout","outputs":[{"internalType":"uint256","name":"idExpired","type":"uint256"},{"internalType":"uint256","name":"idDefunct","type":"uint256"},{"internalType":"uint256","name":"id","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"punks","outputs":[{"internalType":"contract ICryptoPunks","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_id","type":"uint256"},{"internalType":"uint256","name":"_i","type":"uint256"},{"internalType":"uint256","name":"_j","type":"uint256"},{"internalType":"uint256","name":"_k","type":"uint256"}],"name":"refund","outputs":[{"internalType":"uint256","name":"idExpired","type":"uint256"},{"internalType":"uint256","name":"idDefunct","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_id","type":"uint256"},{"internalType":"bytes32","name":"_slogan","type":"bytes32"}],"name":"setSlogan","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"updateMinAmount","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101406040523480156200001257600080fd5b5060405162003aa438038062003aa4833981016040819052620000359162000099565b6001600160a01b03808716608052851660a05260e0849052620000598483620000f6565b61010052620000698383620000f6565b6101205260c05250620001249350505050565b80516001600160a01b03811681146200009457600080fd5b919050565b60008060008060008060c08789031215620000b357600080fd5b620000be876200007c565b9550620000ce602088016200007c565b945060408701519350606087015192506080870151915060a087015190509295509295509295565b60008160001904831182151516156200011f57634e487b7160e01b600052601160045260246000fd5b500290565b60805160a05160c05160e05161010051610120516138656200023f600039600081816125180152818161303f01526130f6015260008181611a5a01528181611abb015281816124d80152612c2f0152600081816101f701526124980152600081816107a7015281816114fd015261262601526000818161033601528181610a5d015281816122ca015281816126ae0152612cef0152600081816102bb01528181610532015281816107c8015281816108ca01528181610cec01528181610ed201528181611148015281816114070152818161151e015281816118ee01528181611bac0152818161220c015281816123d4015281816125780152818161276601528181612acc01528181612de80152612eca01526138656000f3fe608060405234801561001057600080fd5b50600436106101515760003560e01c8063a61cfb51116100cd578063de3817b211610081578063e1ffdd9111610066578063e1ffdd9114610358578063eaabe56b1461036b578063ffdd5cf11461037457600080fd5b8063de3817b21461031e578063dfe0a8891461033157600080fd5b8063aa4a6f78116100b2578063aa4a6f78146102b6578063b266d83414610302578063b3dfa13d1461030b57600080fd5b8063a61cfb5114610248578063a9d46e5b1461025b57600080fd5b8063604c3fca11610124578063756d00fe11610109578063756d00fe1461021957806387d8ee9b1461022c5780639b2cb5d81461023f57600080fd5b8063604c3fca146101e85780636b7ce3f6146101f257600080fd5b80631be3ced91461015657806340883efe1461017c57806347e7ef24146101aa578063544132ab146101d5575b600080fd5b6101696101643660046132b9565b610399565b6040519081526020015b60405180910390f35b61018f61018a3660046132d2565b6103b0565b60408051938452602084019290925290820152606001610173565b6101696101b8366004613332565b600160209081526000928352604080842090915290825290205481565b61018f6101e336600461335e565b610679565b6101f06107a5565b005b6101697f000000000000000000000000000000000000000000000000000000000000000081565b6101f0610227366004613390565b61099b565b6101f061023a366004613390565b610bb6565b61016960005481565b6101696102563660046132b9565b610be9565b6102a46102693660046132b9565b6002602081905260009182526040909120805460018201549282015460038301546004840154600590940154929493919260ff909116919086565b6040516101739695949392919061341c565b6102dd7f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610173565b610169602c5481565b61018f610319366004613452565b610bf9565b61018f61032c36600461347e565b610dbb565b6102dd7f000000000000000000000000000000000000000000000000000000000000000081565b610169610366366004613452565b61113c565b610169602b5481565b6103876103823660046134ca565b6116a2565b60405161017396959493929190613585565b600381601481106103a957600080fd5b0154905081565b60008060008054871015610425576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f7420656e6f7567682063696700000000000000000000000000000000000060448201526064015b60405180910390fd5b601484101561043a576104378461289a565b91505b60148610156104505761044d8686612960565b92505b6003886014811061046357610463613627565b01549050600081116104d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f6e6f207375636820627269626520616374697665000000000000000000000000604482015260640161041c565b600081815260026020526040908190206001810180548a0190554260048083019190915591517f23b872dd000000000000000000000000000000000000000000000000000000008152339281019290925230602483015260448201899052907f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015610590573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b49190613656565b61061a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f742073656e64206369670000000000000000000000000000000000604482015260640161041c565b33600081815260016020908152604080832086845282529182902080548c01905590518a815284917f1da8ba4cef22904d9f9807f9de6bbde4bbbb63768b4fcf837c39f3c9f12507f1910160405180910390a350955095509592505050565b600084815260026020526040812060038101548291829160ff166014881080156106b757506000600389601481106106b3576106b3613627565b0154115b156106e0576106c68888612960565b94506000851180156106d757508885145b156106e0575060025b60028160058111156106f4576106f46133b2565b14806107115750600581600581111561070f5761070f6133b2565b145b610777576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f696e76616c696420627269626520737461746500000000000000000000000000604482015260640161041c565b6107818983612a2d565b6014861015610796576107938661289a565b93505b50879150509450945094915050565b7f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa158015610831573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108559190613678565b61085f90436136c0565b116108c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f6d7573742062652043454f20666f72206174206c65617374207820626c6f636b604482015260640161041c565b600a7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633a5fca366040518163ffffffff1660e01b8152600401602060405180830381865afa158015610933573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109579190613678565b61096191906136d7565b60008190556040519081527f1c853e705f5e96d9076d1f48114d62650faf218827df3fed720227b3dbf18c5a9060200160405180910390a1565b60008281526002602052604090206001600382015460ff1660058111156109c4576109c46133b2565b14610a2b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f6272696265206d7573742062652070726f706f73656400000000000000000000604482015260640161041c565b80546040517f5817816800000000000000000000000000000000000000000000000000000000815260048101919091527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1690635817816890602401602060405180830381865afa158015610ab9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610add9190613712565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b71576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f6d757374206f776e207468652070756e6b20696e2070726f706f73616c000000604482015260640161041c565b6005810182905560408051848152602081018490527f68df1493dbff51aea23ca6a59869c5b94f7bb3e8663852d6e1aaf26268d1905d910160405180910390a1505050565b6000610bc28383612960565b90508015610be4576000818152600260205260409020610be28282612a2d565b505b505050565b601781601481106103a957600080fd5b602c546000908190808203610c6a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f6e6f206272696265206163636570746564000000000000000000000000000000604482015260640161041c565b60008181526002602052604090206004810154429003610ce6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f74696d657374616d70206d757374206e6f7420657175616c0000000000000000604482015260640161041c565b610d7f817f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d55573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d799190613712565b84612b76565b504260048201556014851015610d9b57610d988561289a565b92505b6014871015610db157610dae8787612960565b93505b5093509350939050565b60008060006127108a10610e2b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f696e76616c6964205f70756e6b49440000000000000000000000000000000000604482015260640161041c565b600054891015610e97576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f7420656e6f75676820636967000000000000000000000000000000000000604482015260640161041c565b6040517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018a90527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015610f30573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f549190613656565b610fba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f742073656e64206369670000000000000000000000000000000000604482015260640161041c565b6014871015610fd057610fcd8787612960565b92505b6014851015610fe557610fe28561289a565b91505b60038860148110610ff857610ff8613627565b015415611061576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f62726962657350726f706f736564206174205f69206e6f7420656d7074790000604482015260640161041c565b50602b805460019081019182905560008281526002602052604090208b81558082018b905560058101869055600380820180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169093179092554260048201559082908a601481106110d6576110d6613627565b01553360008181526001602090815260408083208684528252918290208d905581518d81529081018e905284917fa165dd24dd94d6364b2559eb747f45d7fc3d47d6cfb4c9fc662627e7092aa473910160405180910390a3509750975097945050505050565b600080602c54905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111d59190613712565b9050811561127257600082815260026020526040902060046111f8828486612b76565b6005811115611209576112096133b2565b14611270576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f61636365707465644272696265206e6f7420506169644f757400000000000000604482015260640161041c565b505b6014851015611288576112858585612960565b92505b602c54156112f2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f612062726962652069732063757272656e746c79206163636570746564000000604482015260640161041c565b6003866014811061130557611305613627565b0154915060008211611373576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f6e6f207375636820627269626520616374697665000000000000000000000000604482015260640161041c565b600082815260026020526040902073ffffffffffffffffffffffffffffffffffffffff82163314611400576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f6d7573742062652063616c6c6564206279207468652043454f00000000000000604482015260640161041c565b80600001547f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663285180946040518163ffffffff1660e01b8152600401602060405180830381865afa158015611470573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114949190613678565b146114fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f70756e6b206e6f742043454f0000000000000000000000000000000000000000604482015260640161041c565b7f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa158015611587573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115ab9190613678565b6115b590436136c0565b1161161c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f6d7573742062652043454f20666f72206174206c65617374207820626c6f636b604482015260640161041c565b60006003886014811061163157611631613627565b0155600381810180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169091179055602c83905542600482015560405183907f8803fc454569835e33f189a26b5ffa0e12e0bbe753c5ecde5d0fe8c8aafb7e0f90600090a25050505b9392505050565b60606116ac613253565b6116b4613253565b6116bc613272565b60408051603b8082526107808201909252606091829160009160208201610760803683375050604080516028808252610520820190925292935060009291506020820161050080368337505060408051602880825261052082019092529293506000929150602082015b61172e613272565b81526020019060019003908161172657905050905061174b613272565b60005b60288110156118c0576000601482101561177e576003826014811061177557611775613627565b015490506117a0565b601761178b6014846136c0565b6014811061179b5761179b613627565b015490505b80156118ad57600081815260026020818152604092839020835160c0810185528154815260018201549281019290925291820154928101929092526003810154606083019060ff1660058111156117f9576117f96133b2565b600581111561180a5761180a6133b2565b81526020016004820154815260200160058201548152505084838151811061183457611834613627565b602090810291909101015273ffffffffffffffffffffffffffffffffffffffff8d16156118ad5773ffffffffffffffffffffffffffffffffffffffff8d16600090815260016020908152604080832084845290915290205485518690849081106118a0576118a0613627565b6020026020010181815250505b50806118b88161372f565b91505061174e565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa15801561194a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061196e9190613678565b8560008151811061198157611981613627565b602002602001018181525050602c54856001815181106119a3576119a3613627565b6020908102919091010152602c5415611a3857602c54600090815260026020818152604092839020835160c0810185528154815260018201549281019290925291820154928101929092526003810154606083019060ff166005811115611a0c57611a0c6133b2565b6005811115611a1d57611a1d6133b2565b81526020016004820154815260200160058201548152505091505b4285600281518110611a4c57611a4c613627565b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000085600381518110611a8c57611a8c613627565b6020908102919091010152602c5415611b405760208201516080830151600090611ab690426136c0565b611ae07f0000000000000000000000000000000000000000000000000000000000000000846136d7565b611aea9190613767565b905081811115611af75750805b8360400151811115611b19576040840151611b1290826136c0565b9050611b1d565b5060005b8087600481518110611b3157611b31613627565b60200260200101818152505050505b60005485600581518110611b5657611b56613627565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8d811660048301523060248301527f0000000000000000000000000000000000000000000000000000000000000000169063dd62ed3e90604401602060405180830381865afa158015611bf3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c179190613678565b85600681518110611c2a57611c2a613627565b602090810291909101015273cb56b52316041a62b6b5d0583dce4a8ae7a3c6293b156121c7576040805160028082526060820183527322b15c7ee1186a7c7cffb2d942e20fc228f6e4ed9273d9e1ce17f2641f24ae83637ab66a2cca9c378b9f9260009290916020830190803683370190505090508273ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa158015611cea573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d0e91906137c7565b5082600081518110611d2257611d22613627565b6020026020010183600181518110611d3c57611d3c613627565b60200260200101826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16815250826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16815250505073cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16630dfe16816040518163ffffffff1660e01b8152600401602060405180830381865afa158015611e03573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e279190613712565b73ffffffffffffffffffffffffffffffffffffffff1603611f51578173ffffffffffffffffffffffffffffffffffffffff1663054d50d4670de0b6b3a764000083600081518110611e7a57611e7a613627565b60200260200101516dffffffffffffffffffffffffffff1684600181518110611ea557611ea5613627565b60200260200101516dffffffffffffffffffffffffffff166040518463ffffffff1660e01b8152600401611eec939291909283526020830191909152604082015260600190565b602060405180830381865afa158015611f09573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f2d9190613678565b88600781518110611f4057611f40613627565b60200260200101818152505061205c565b8173ffffffffffffffffffffffffffffffffffffffff1663054d50d4670de0b6b3a764000083600181518110611f8957611f89613627565b60200260200101516dffffffffffffffffffffffffffff1684600081518110611fb457611fb4613627565b60200260200101516dffffffffffffffffffffffffffff166040518463ffffffff1660e01b8152600401611ffb939291909283526020830191909152604082015260600190565b602060405180830381865afa158015612018573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061203c9190613678565b8860078151811061204f5761204f613627565b6020026020010181815250505b600073c3d03e4f041fd4cd388c549ee2a29a9e5075882f90506000808273ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa1580156120c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120e791906137c7565b506040517f054d50d4000000000000000000000000000000000000000000000000000000008152670de0b6b3a764000060048201526dffffffffffffffffffffffffffff808416602483015282166044820152919350915073ffffffffffffffffffffffffffffffffffffffff86169063054d50d490606401602060405180830381865afa15801561217d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121a19190613678565b8b6008815181106121b4576121b4613627565b6020026020010181815250505050505050505b6040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8d811660048301527f000000000000000000000000000000000000000000000000000000000000000016906370a0823190602401602060405180830381865afa158015612253573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122779190613678565b8560098151811061228a5761228a613627565b60209081029190910101525060005b60288110156123d25760008382815181106122b6576122b6613627565b60200260200101516020015111156123c0577f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16635817816884838151811061231657612316613627565b6020026020010151600001516040518263ffffffff1660e01b815260040161234091815260200190565b602060405180830381865afa15801561235d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123819190613712565b73ffffffffffffffffffffffffffffffffffffffff16856123a383600a613817565b815181106123b3576123b3613627565b6020026020010181815250505b806123ca8161372f565b915050612299565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561243d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124619190613712565b73ffffffffffffffffffffffffffffffffffffffff168560328151811061248a5761248a613627565b6020026020010181815250507f0000000000000000000000000000000000000000000000000000000000000000856033815181106124ca576124ca613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000008560348151811061250a5761250a613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000008560358151811061254a5761254a613627565b602002602001018181525050438560368151811061256a5761256a613627565b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa1580156125e1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126059190613678565b8560378151811061261857612618613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000008560388151811061265857612658613627565b6020908102919091010152602c541561276457602c54600090815260026020526040908190205490517f5817816800000000000000000000000000000000000000000000000000000000815260048101919091527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1690635817816890602401602060405180830381865afa15801561270a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061272e9190613712565b73ffffffffffffffffffffffffffffffffffffffff168560398151811061275757612757613627565b6020026020010181815250505b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663285180946040518163ffffffff1660e01b8152600401602060405180830381865afa1580156127cf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127f39190613678565b85603a8151811061280657612806613627565b6020908102919091010152604080516102808101918290528691600391601791869188918a9190869060149082845b8154815260200190600101908083116128355750506040805161028081019182905294995088935060149250905082845b81548152602001906001019080831161286657505050505093509a509a509a509a509a509a50505050505091939550919395565b600080601783601481106128b0576128b0613627565b015490506000811161291e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f6e6f207375636820627269626520696e20627269626573457870697265640000604482015260640161041c565b60008181526002602052604090206005612939838684613010565b600581111561294a5761294a6133b2565b03612956575092915050565b5060009392505050565b6000806003846014811061297657612976613627565b01549050600081116129e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f6e6f207375636820627269626520696e2062726962657350726f706f73656400604482015260640161041c565b600081815260026020819052604090912090612a02838787856130f2565b6005811115612a1357612a136133b2565b03612a2057509050612a27565b6000925050505b92915050565b33600090815260016020908152604080832085845290915281205490819003612a5557505050565b600182810180548390039055336000818152602092835260408082208783529093528290208054849003905590517fa9059cbb00000000000000000000000000000000000000000000000000000000815260048101919091526024810182905273ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000169063a9059cbb906044016020604051808303816000875af1158015612b15573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b399190613656565b50604051818152339084907fe5fd53654bc4ea55a3106f8f2bd57252875afee33cc027448099373ae65408f69060200160405180910390a3505050565b60018301546003808501546000929160ff90911690816005811115612b9d57612b9d6133b2565b14612c04576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6d75737420626520616363657074656420666f72207061796f75740000000000604482015260640161041c565b81866002015403612c1857915061169b9050565b6000866004015442612c2a91906136c0565b612c547f0000000000000000000000000000000000000000000000000000000000000000856136d7565b612c5e9190613767565b905082811115612c6b5750815b8660020154811115612c8d576002870154612c8690826136c0565b9050612c91565b5060005b80600003612ca35750915061169b9050565b6002870180548201905586546040517f5817816800000000000000000000000000000000000000000000000000000000815260009173ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001691635817816891612d269160040190815260200190565b602060405180830381865afa158015612d43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d679190613712565b90508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612e95576040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8281166004830152602482018490527f0000000000000000000000000000000000000000000000000000000000000000169063a9059cbb906044016020604051808303816000875af1158015612e31573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e559190613656565b50857fef53713ee4f072f79f4d516084e3f4d15f2cde709d2091235b37ae719c272dd683604051612e8891815260200190565b60405180910390a2612f88565b6040517fa9059cbb000000000000000000000000000000000000000000000000000000008152306004820152602481018390527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a9059cbb906044016020604051808303816000875af1158015612f28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f4c9190613656565b50857fcec1bae6e024d929f2929f3478ce70f55f9c636c8ef7b5073a61d7c3a432451b83604051612f7f91815260200190565b60405180910390a25b83886002015403613004576000602c8190556003890180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600490811790915542908a015560405187917f1ba572008b37c9704e22631ef94895b4ecbc0a11442f557fcdb46bf2545984cb91a2600494505050505061169b565b50909695505050505050565b600381015460ff16600281600581111561302c5761302c6133b2565b0361169b576001820154158061307057507f000000000000000000000000000000000000000000000000000000000000000082600401544261306e91906136c0565b115b1561169b576003820180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660051790556000601784601481106130b7576130b7613627565b015542600483015560405184907f96c09e65009997ed95ca2fb4fa4766cd6b0ffdb190ee0124c827f0e06deb9d4690600090a250600561169b565b60007f000000000000000000000000000000000000000000000000000000000000000082600401544261312591906136c0565b11156132415760006017846014811061314057613140613627565b0154905080156131ac576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6272696265734578706972656420736c6f74206e6f7420656d70747900000000604482015260640161041c565b85601785601481106131c0576131c0613627565b01556000600386601481106131d7576131d7613627565b01556003830180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600217905542600484015560405186907ff80dbaea4785589e52984ca36a31de106adc77759539a5c7d92883bf49692fe990600090a2600291505061324b565b50600381015460ff165b949350505050565b6040518061028001604052806014906020820280368337509192915050565b6040518060c00160405280600081526020016000815260200160008152602001600060058111156132a5576132a56133b2565b815260006020820181905260409091015290565b6000602082840312156132cb57600080fd5b5035919050565b600080600080600060a086880312156132ea57600080fd5b505083359560208501359550604085013594606081013594506080013592509050565b73ffffffffffffffffffffffffffffffffffffffff8116811461332f57600080fd5b50565b6000806040838503121561334557600080fd5b82356133508161330d565b946020939093013593505050565b6000806000806080858703121561337457600080fd5b5050823594602084013594506040840135936060013592509050565b600080604083850312156133a357600080fd5b50508035926020909101359150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60068110613418577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b9052565b868152602081018690526040810185905260c0810161343e60608301866133e1565b608082019390935260a00152949350505050565b60008060006060848603121561346757600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a03121561349957600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b6000602082840312156134dc57600080fd5b813561169b8161330d565b600081518084526020808501945080840160005b83811015613517578151875295820195908201906001016134fb565b509495945050505050565b8060005b6014811015610be2578151845260209384019390910190600101613526565b805182526020810151602083015260408101516040830152606081015161356f60608401826133e1565b506080818101519083015260a090810151910152565b60006106208083526135998184018a6134e7565b905060206135a98185018a613522565b6135b76102a0850189613522565b6135c5610520850188613545565b8382036105e085015285518083528187019282019060005b81811015613603576135f0838651613545565b9383019360c092909201916001016135dd565b505084810361060086015261361881876134e7565b9b9a5050505050505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006020828403121561366857600080fd5b8151801515811461169b57600080fd5b60006020828403121561368a57600080fd5b5051919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156136d2576136d2613691565b500390565b60008261370d577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b60006020828403121561372457600080fd5b815161169b8161330d565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361376057613760613691565b5060010190565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561379f5761379f613691565b500290565b80516dffffffffffffffffffffffffffff811681146137c257600080fd5b919050565b6000806000606084860312156137dc57600080fd5b6137e5846137a4565b92506137f3602085016137a4565b9150604084015163ffffffff8116811461380c57600080fd5b809150509250925092565b6000821982111561382a5761382a613691565b50019056fea26469706673582212207bf60ed93f712f62ccb8e1642e8977182dacecd9592c539cbe2299fb0d6973a964736f6c634300080f0033000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000001e00000000000000000000000000000000000000000000000000000000000151800000000000000000000000000000000000000000000000000000000000000032

0x608060405234801561001057600080fd5b50600436106101515760003560e01c8063a61cfb51116100cd578063de3817b211610081578063e1ffdd9111610066578063e1ffdd9114610358578063eaabe56b1461036b578063ffdd5cf11461037457600080fd5b8063de3817b21461031e578063dfe0a8891461033157600080fd5b8063aa4a6f78116100b2578063aa4a6f78146102b6578063b266d83414610302578063b3dfa13d1461030b57600080fd5b8063a61cfb5114610248578063a9d46e5b1461025b57600080fd5b8063604c3fca11610124578063756d00fe11610109578063756d00fe1461021957806387d8ee9b1461022c5780639b2cb5d81461023f57600080fd5b8063604c3fca146101e85780636b7ce3f6146101f257600080fd5b80631be3ced91461015657806340883efe1461017c57806347e7ef24146101aa578063544132ab146101d5575b600080fd5b6101696101643660046132b9565b610399565b6040519081526020015b60405180910390f35b61018f61018a3660046132d2565b6103b0565b60408051938452602084019290925290820152606001610173565b6101696101b8366004613332565b600160209081526000928352604080842090915290825290205481565b61018f6101e336600461335e565b610679565b6101f06107a5565b005b6101697f000000000000000000000000000000000000000000000000000000000000000a81565b6101f0610227366004613390565b61099b565b6101f061023a366004613390565b610bb6565b61016960005481565b6101696102563660046132b9565b610be9565b6102a46102693660046132b9565b6002602081905260009182526040909120805460018201549282015460038301546004840154600590940154929493919260ff909116919086565b6040516101739695949392919061341c565b6102dd7f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62981565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610173565b610169602c5481565b61018f610319366004613452565b610bf9565b61018f61032c36600461347e565b610dbb565b6102dd7f000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb81565b610169610366366004613452565b61113c565b610169602b5481565b6103876103823660046134ca565b6116a2565b60405161017396959493929190613585565b600381601481106103a957600080fd5b0154905081565b60008060008054871015610425576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f7420656e6f7567682063696700000000000000000000000000000000000060448201526064015b60405180910390fd5b601484101561043a576104378461289a565b91505b60148610156104505761044d8686612960565b92505b6003886014811061046357610463613627565b01549050600081116104d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f6e6f207375636820627269626520616374697665000000000000000000000000604482015260640161041c565b600081815260026020526040908190206001810180548a0190554260048083019190915591517f23b872dd000000000000000000000000000000000000000000000000000000008152339281019290925230602483015260448201899052907f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015610590573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b49190613656565b61061a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f742073656e64206369670000000000000000000000000000000000604482015260640161041c565b33600081815260016020908152604080832086845282529182902080548c01905590518a815284917f1da8ba4cef22904d9f9807f9de6bbde4bbbb63768b4fcf837c39f3c9f12507f1910160405180910390a350955095509592505050565b600084815260026020526040812060038101548291829160ff166014881080156106b757506000600389601481106106b3576106b3613627565b0154115b156106e0576106c68888612960565b94506000851180156106d757508885145b156106e0575060025b60028160058111156106f4576106f46133b2565b14806107115750600581600581111561070f5761070f6133b2565b145b610777576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f696e76616c696420627269626520737461746500000000000000000000000000604482015260640161041c565b6107818983612a2d565b6014861015610796576107938661289a565b93505b50879150509450945094915050565b7f00000000000000000000000000000000000000000000000000000000000000327f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa158015610831573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108559190613678565b61085f90436136c0565b116108c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f6d7573742062652043454f20666f72206174206c65617374207820626c6f636b604482015260640161041c565b600a7f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16633a5fca366040518163ffffffff1660e01b8152600401602060405180830381865afa158015610933573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109579190613678565b61096191906136d7565b60008190556040519081527f1c853e705f5e96d9076d1f48114d62650faf218827df3fed720227b3dbf18c5a9060200160405180910390a1565b60008281526002602052604090206001600382015460ff1660058111156109c4576109c46133b2565b14610a2b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f6272696265206d7573742062652070726f706f73656400000000000000000000604482015260640161041c565b80546040517f5817816800000000000000000000000000000000000000000000000000000000815260048101919091527f000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb73ffffffffffffffffffffffffffffffffffffffff1690635817816890602401602060405180830381865afa158015610ab9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610add9190613712565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b71576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f6d757374206f776e207468652070756e6b20696e2070726f706f73616c000000604482015260640161041c565b6005810182905560408051848152602081018490527f68df1493dbff51aea23ca6a59869c5b94f7bb3e8663852d6e1aaf26268d1905d910160405180910390a1505050565b6000610bc28383612960565b90508015610be4576000818152600260205260409020610be28282612a2d565b505b505050565b601781601481106103a957600080fd5b602c546000908190808203610c6a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f6e6f206272696265206163636570746564000000000000000000000000000000604482015260640161041c565b60008181526002602052604090206004810154429003610ce6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f74696d657374616d70206d757374206e6f7420657175616c0000000000000000604482015260640161041c565b610d7f817f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d55573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d799190613712565b84612b76565b504260048201556014851015610d9b57610d988561289a565b92505b6014871015610db157610dae8787612960565b93505b5093509350939050565b60008060006127108a10610e2b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f696e76616c6964205f70756e6b49440000000000000000000000000000000000604482015260640161041c565b600054891015610e97576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f7420656e6f75676820636967000000000000000000000000000000000000604482015260640161041c565b6040517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018a90527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015610f30573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f549190613656565b610fba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f742073656e64206369670000000000000000000000000000000000604482015260640161041c565b6014871015610fd057610fcd8787612960565b92505b6014851015610fe557610fe28561289a565b91505b60038860148110610ff857610ff8613627565b015415611061576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f62726962657350726f706f736564206174205f69206e6f7420656d7074790000604482015260640161041c565b50602b805460019081019182905560008281526002602052604090208b81558082018b905560058101869055600380820180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169093179092554260048201559082908a601481106110d6576110d6613627565b01553360008181526001602090815260408083208684528252918290208d905581518d81529081018e905284917fa165dd24dd94d6364b2559eb747f45d7fc3d47d6cfb4c9fc662627e7092aa473910160405180910390a3509750975097945050505050565b600080602c54905060007f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111d59190613712565b9050811561127257600082815260026020526040902060046111f8828486612b76565b6005811115611209576112096133b2565b14611270576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f61636365707465644272696265206e6f7420506169644f757400000000000000604482015260640161041c565b505b6014851015611288576112858585612960565b92505b602c54156112f2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f612062726962652069732063757272656e746c79206163636570746564000000604482015260640161041c565b6003866014811061130557611305613627565b0154915060008211611373576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f6e6f207375636820627269626520616374697665000000000000000000000000604482015260640161041c565b600082815260026020526040902073ffffffffffffffffffffffffffffffffffffffff82163314611400576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f6d7573742062652063616c6c6564206279207468652043454f00000000000000604482015260640161041c565b80600001547f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff1663285180946040518163ffffffff1660e01b8152600401602060405180830381865afa158015611470573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114949190613678565b146114fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f70756e6b206e6f742043454f0000000000000000000000000000000000000000604482015260640161041c565b7f00000000000000000000000000000000000000000000000000000000000000327f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa158015611587573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115ab9190613678565b6115b590436136c0565b1161161c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f6d7573742062652043454f20666f72206174206c65617374207820626c6f636b604482015260640161041c565b60006003886014811061163157611631613627565b0155600381810180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169091179055602c83905542600482015560405183907f8803fc454569835e33f189a26b5ffa0e12e0bbe753c5ecde5d0fe8c8aafb7e0f90600090a25050505b9392505050565b60606116ac613253565b6116b4613253565b6116bc613272565b60408051603b8082526107808201909252606091829160009160208201610760803683375050604080516028808252610520820190925292935060009291506020820161050080368337505060408051602880825261052082019092529293506000929150602082015b61172e613272565b81526020019060019003908161172657905050905061174b613272565b60005b60288110156118c0576000601482101561177e576003826014811061177557611775613627565b015490506117a0565b601761178b6014846136c0565b6014811061179b5761179b613627565b015490505b80156118ad57600081815260026020818152604092839020835160c0810185528154815260018201549281019290925291820154928101929092526003810154606083019060ff1660058111156117f9576117f96133b2565b600581111561180a5761180a6133b2565b81526020016004820154815260200160058201548152505084838151811061183457611834613627565b602090810291909101015273ffffffffffffffffffffffffffffffffffffffff8d16156118ad5773ffffffffffffffffffffffffffffffffffffffff8d16600090815260016020908152604080832084845290915290205485518690849081106118a0576118a0613627565b6020026020010181815250505b50806118b88161372f565b91505061174e565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa15801561194a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061196e9190613678565b8560008151811061198157611981613627565b602002602001018181525050602c54856001815181106119a3576119a3613627565b6020908102919091010152602c5415611a3857602c54600090815260026020818152604092839020835160c0810185528154815260018201549281019290925291820154928101929092526003810154606083019060ff166005811115611a0c57611a0c6133b2565b6005811115611a1d57611a1d6133b2565b81526020016004820154815260200160058201548152505091505b4285600281518110611a4c57611a4c613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000d2f0085600381518110611a8c57611a8c613627565b6020908102919091010152602c5415611b405760208201516080830151600090611ab690426136c0565b611ae07f00000000000000000000000000000000000000000000000000000000000d2f00846136d7565b611aea9190613767565b905081811115611af75750805b8360400151811115611b19576040840151611b1290826136c0565b9050611b1d565b5060005b8087600481518110611b3157611b31613627565b60200260200101818152505050505b60005485600581518110611b5657611b56613627565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8d811660048301523060248301527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629169063dd62ed3e90604401602060405180830381865afa158015611bf3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c179190613678565b85600681518110611c2a57611c2a613627565b602090810291909101015273cb56b52316041a62b6b5d0583dce4a8ae7a3c6293b156121c7576040805160028082526060820183527322b15c7ee1186a7c7cffb2d942e20fc228f6e4ed9273d9e1ce17f2641f24ae83637ab66a2cca9c378b9f9260009290916020830190803683370190505090508273ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa158015611cea573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d0e91906137c7565b5082600081518110611d2257611d22613627565b6020026020010183600181518110611d3c57611d3c613627565b60200260200101826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16815250826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16815250505073cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16630dfe16816040518163ffffffff1660e01b8152600401602060405180830381865afa158015611e03573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e279190613712565b73ffffffffffffffffffffffffffffffffffffffff1603611f51578173ffffffffffffffffffffffffffffffffffffffff1663054d50d4670de0b6b3a764000083600081518110611e7a57611e7a613627565b60200260200101516dffffffffffffffffffffffffffff1684600181518110611ea557611ea5613627565b60200260200101516dffffffffffffffffffffffffffff166040518463ffffffff1660e01b8152600401611eec939291909283526020830191909152604082015260600190565b602060405180830381865afa158015611f09573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f2d9190613678565b88600781518110611f4057611f40613627565b60200260200101818152505061205c565b8173ffffffffffffffffffffffffffffffffffffffff1663054d50d4670de0b6b3a764000083600181518110611f8957611f89613627565b60200260200101516dffffffffffffffffffffffffffff1684600081518110611fb457611fb4613627565b60200260200101516dffffffffffffffffffffffffffff166040518463ffffffff1660e01b8152600401611ffb939291909283526020830191909152604082015260600190565b602060405180830381865afa158015612018573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061203c9190613678565b8860078151811061204f5761204f613627565b6020026020010181815250505b600073c3d03e4f041fd4cd388c549ee2a29a9e5075882f90506000808273ffffffffffffffffffffffffffffffffffffffff16630902f1ac6040518163ffffffff1660e01b8152600401606060405180830381865afa1580156120c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120e791906137c7565b506040517f054d50d4000000000000000000000000000000000000000000000000000000008152670de0b6b3a764000060048201526dffffffffffffffffffffffffffff808416602483015282166044820152919350915073ffffffffffffffffffffffffffffffffffffffff86169063054d50d490606401602060405180830381865afa15801561217d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121a19190613678565b8b6008815181106121b4576121b4613627565b6020026020010181815250505050505050505b6040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8d811660048301527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62916906370a0823190602401602060405180830381865afa158015612253573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122779190613678565b8560098151811061228a5761228a613627565b60209081029190910101525060005b60288110156123d25760008382815181106122b6576122b6613627565b60200260200101516020015111156123c0577f000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb73ffffffffffffffffffffffffffffffffffffffff16635817816884838151811061231657612316613627565b6020026020010151600001516040518263ffffffff1660e01b815260040161234091815260200190565b602060405180830381865afa15801561235d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123819190613712565b73ffffffffffffffffffffffffffffffffffffffff16856123a383600a613817565b815181106123b3576123b3613627565b6020026020010181815250505b806123ca8161372f565b915050612299565b7f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff166319ad317d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561243d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124619190613712565b73ffffffffffffffffffffffffffffffffffffffff168560328151811061248a5761248a613627565b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000a856033815181106124ca576124ca613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000d2f008560348151811061250a5761250a613627565b6020026020010181815250507f0000000000000000000000000000000000000000000000000000000000278d008560358151811061254a5761254a613627565b602002602001018181525050438560368151811061256a5761256a613627565b6020026020010181815250507f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16633fd2c5856040518163ffffffff1660e01b8152600401602060405180830381865afa1580156125e1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126059190613678565b8560378151811061261857612618613627565b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000328560388151811061265857612658613627565b6020908102919091010152602c541561276457602c54600090815260026020526040908190205490517f5817816800000000000000000000000000000000000000000000000000000000815260048101919091527f000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb73ffffffffffffffffffffffffffffffffffffffff1690635817816890602401602060405180830381865afa15801561270a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061272e9190613712565b73ffffffffffffffffffffffffffffffffffffffff168560398151811061275757612757613627565b6020026020010181815250505b7f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff1663285180946040518163ffffffff1660e01b8152600401602060405180830381865afa1580156127cf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127f39190613678565b85603a8151811061280657612806613627565b6020908102919091010152604080516102808101918290528691600391601791869188918a9190869060149082845b8154815260200190600101908083116128355750506040805161028081019182905294995088935060149250905082845b81548152602001906001019080831161286657505050505093509a509a509a509a509a509a50505050505091939550919395565b600080601783601481106128b0576128b0613627565b015490506000811161291e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f6e6f207375636820627269626520696e20627269626573457870697265640000604482015260640161041c565b60008181526002602052604090206005612939838684613010565b600581111561294a5761294a6133b2565b03612956575092915050565b5060009392505050565b6000806003846014811061297657612976613627565b01549050600081116129e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f6e6f207375636820627269626520696e2062726962657350726f706f73656400604482015260640161041c565b600081815260026020819052604090912090612a02838787856130f2565b6005811115612a1357612a136133b2565b03612a2057509050612a27565b6000925050505b92915050565b33600090815260016020908152604080832085845290915281205490819003612a5557505050565b600182810180548390039055336000818152602092835260408082208783529093528290208054849003905590517fa9059cbb00000000000000000000000000000000000000000000000000000000815260048101919091526024810182905273ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629169063a9059cbb906044016020604051808303816000875af1158015612b15573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b399190613656565b50604051818152339084907fe5fd53654bc4ea55a3106f8f2bd57252875afee33cc027448099373ae65408f69060200160405180910390a3505050565b60018301546003808501546000929160ff90911690816005811115612b9d57612b9d6133b2565b14612c04576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6d75737420626520616363657074656420666f72207061796f75740000000000604482015260640161041c565b81866002015403612c1857915061169b9050565b6000866004015442612c2a91906136c0565b612c547f00000000000000000000000000000000000000000000000000000000000d2f00856136d7565b612c5e9190613767565b905082811115612c6b5750815b8660020154811115612c8d576002870154612c8690826136c0565b9050612c91565b5060005b80600003612ca35750915061169b9050565b6002870180548201905586546040517f5817816800000000000000000000000000000000000000000000000000000000815260009173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb1691635817816891612d269160040190815260200190565b602060405180830381865afa158015612d43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d679190613712565b90508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612e95576040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8281166004830152602482018490527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629169063a9059cbb906044016020604051808303816000875af1158015612e31573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e559190613656565b50857fef53713ee4f072f79f4d516084e3f4d15f2cde709d2091235b37ae719c272dd683604051612e8891815260200190565b60405180910390a2612f88565b6040517fa9059cbb000000000000000000000000000000000000000000000000000000008152306004820152602481018390527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff169063a9059cbb906044016020604051808303816000875af1158015612f28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f4c9190613656565b50857fcec1bae6e024d929f2929f3478ce70f55f9c636c8ef7b5073a61d7c3a432451b83604051612f7f91815260200190565b60405180910390a25b83886002015403613004576000602c8190556003890180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600490811790915542908a015560405187917f1ba572008b37c9704e22631ef94895b4ecbc0a11442f557fcdb46bf2545984cb91a2600494505050505061169b565b50909695505050505050565b600381015460ff16600281600581111561302c5761302c6133b2565b0361169b576001820154158061307057507f0000000000000000000000000000000000000000000000000000000000278d0082600401544261306e91906136c0565b115b1561169b576003820180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660051790556000601784601481106130b7576130b7613627565b015542600483015560405184907f96c09e65009997ed95ca2fb4fa4766cd6b0ffdb190ee0124c827f0e06deb9d4690600090a250600561169b565b60007f0000000000000000000000000000000000000000000000000000000000278d0082600401544261312591906136c0565b11156132415760006017846014811061314057613140613627565b0154905080156131ac576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f6272696265734578706972656420736c6f74206e6f7420656d70747900000000604482015260640161041c565b85601785601481106131c0576131c0613627565b01556000600386601481106131d7576131d7613627565b01556003830180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600217905542600484015560405186907ff80dbaea4785589e52984ca36a31de106adc77759539a5c7d92883bf49692fe990600090a2600291505061324b565b50600381015460ff165b949350505050565b6040518061028001604052806014906020820280368337509192915050565b6040518060c00160405280600081526020016000815260200160008152602001600060058111156132a5576132a56133b2565b815260006020820181905260409091015290565b6000602082840312156132cb57600080fd5b5035919050565b600080600080600060a086880312156132ea57600080fd5b505083359560208501359550604085013594606081013594506080013592509050565b73ffffffffffffffffffffffffffffffffffffffff8116811461332f57600080fd5b50565b6000806040838503121561334557600080fd5b82356133508161330d565b946020939093013593505050565b6000806000806080858703121561337457600080fd5b5050823594602084013594506040840135936060013592509050565b600080604083850312156133a357600080fd5b50508035926020909101359150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60068110613418577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b9052565b868152602081018690526040810185905260c0810161343e60608301866133e1565b608082019390935260a00152949350505050565b60008060006060848603121561346757600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a03121561349957600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b6000602082840312156134dc57600080fd5b813561169b8161330d565b600081518084526020808501945080840160005b83811015613517578151875295820195908201906001016134fb565b509495945050505050565b8060005b6014811015610be2578151845260209384019390910190600101613526565b805182526020810151602083015260408101516040830152606081015161356f60608401826133e1565b506080818101519083015260a090810151910152565b60006106208083526135998184018a6134e7565b905060206135a98185018a613522565b6135b76102a0850189613522565b6135c5610520850188613545565b8382036105e085015285518083528187019282019060005b81811015613603576135f0838651613545565b9383019360c092909201916001016135dd565b505084810361060086015261361881876134e7565b9b9a5050505050505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006020828403121561366857600080fd5b8151801515811461169b57600080fd5b60006020828403121561368a57600080fd5b5051919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156136d2576136d2613691565b500390565b60008261370d577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b60006020828403121561372457600080fd5b815161169b8161330d565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361376057613760613691565b5060010190565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561379f5761379f613691565b500290565b80516dffffffffffffffffffffffffffff811681146137c257600080fd5b919050565b6000806000606084860312156137dc57600080fd5b6137e5846137a4565b92506137f3602085016137a4565b9150604084015163ffffffff8116811461380c57600080fd5b809150509250925092565b6000821982111561382a5761382a613691565b50019056fea26469706673582212207bf60ed93f712f62ccb8e1642e8977182dacecd9592c539cbe2299fb0d6973a964736f6c634300080f0033

000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000001e00000000000000000000000000000000000000000000000000000000000151800000000000000000000000000000000000000000000000000000000000000032

-----Decoded View---------------
Arg [0] : _cig (address): 0xCB56b52316041A62B6b5D0583DcE4A8AE7a3C629
Arg [1] : _punks (address): 0xb47e3cd837dDF8e4c57F05d70Ab865de6e193BBB
Arg [2] : _claimDays (uint256): 10
Arg [3] : _stateDays (uint256): 30
Arg [4] : _duration (uint256): 86400
Arg [5] : _minBlocks (uint256): 50

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629
Arg [1] : 000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
Arg [2] : 000000000000000000000000000000000000000000000000000000000000000a
Arg [3] : 000000000000000000000000000000000000000000000000000000000000001e
Arg [4] : 0000000000000000000000000000000000000000000000000000000000015180
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000032

2474:22652:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3321:33;;;;;;:::i;:::-;;:::i;:::-;;;345:25:1;;;333:2;318:18;3321:33:0;;;;;;;;10070:905;;;;;;:::i;:::-;;:::i;:::-;;;;1042:25:1;;;1098:2;1083:18;;1076:34;;;;1126:18;;;1119:34;1030:2;1015:18;10070:905:0;840:319:1;3204:62:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;17489:709;;;;;;:::i;:::-;;:::i;6360:225::-;;;:::i;:::-;;3575:42;;;;;13403:343;;;;;;:::i;:::-;;:::i;11276:220::-;;;;;;:::i;:::-;;:::i;3085:24::-;;;;;;3361:32;;;;;;:::i;:::-;;:::i;3275:39::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;2499:30::-;;;;;;;;3778:42:1;3766:55;;;3748:74;;3736:2;3721:18;2499:30:0;3584:244:1;3485:30:0;;;;;;14364:707;;;;;;:::i;:::-;;:::i;7463:1185::-;;;;;;:::i;:::-;;:::i;2536:35::-;;;;;12026:1195;;;;;;:::i;:::-;;:::i;3400:26::-;;;;;;20611:4119;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;3321:33::-;;;;;;;;;;;;;;;-1:-1:-1;3321:33:0;:::o;10070:905::-;10217:17;10236;10255:10;10297:9;;10286:7;:20;;10278:47;;;;;;;8135:2:1;10278:47:0;;;8117:21:1;8174:2;8154:18;;;8147:30;8213:16;8193:18;;;8186:44;8247:18;;10278:47:0;;;;;;;;;10345:2;10340;:7;10336:77;;;10376:25;10398:2;10376:21;:25::i;:::-;10364:37;;10336:77;10432:2;10427;:7;10423:81;;;10463:29;10485:2;10489;10463:21;:29::i;:::-;10451:41;;10423:81;10519:14;10534:2;10519:18;;;;;;;:::i;:::-;;;10514:23;;10561:1;10556:2;:6;10548:39;;;;;;;8667:2:1;10548:39:0;;;8649:21:1;8706:2;8686:18;;;8679:30;8745:22;8725:18;;;8718:50;8785:18;;10548:39:0;8465:344:1;10548:39:0;10598:15;10616:10;;;:6;:10;;;;;;;10648:8;;;:19;;;;;;10693:15;10679:11;;;;:29;;;;10727:52;;;;;10744:10;10727:52;;;9077:34:1;;;;10764:4:0;9127:18:1;;;9120:43;9179:18;;;9172:34;;;10616:10:0;10727:3;:16;;;;;8989:18:1;;10727:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10719:80;;;;;;;9701:2:1;10719:80:0;;;9683:21:1;9740:2;9720:18;;;9713:30;9779:17;9759:18;;;9752:45;9814:18;;10719:80:0;9499:339:1;10719:80:0;10828:10;10820:19;;;;:7;:19;;;;;;;;:23;;;;;;;;;:34;;;;;;10889;;345:25:1;;;10820:23:0;;10889:34;;318:18:1;10889:34:0;;;;;;;10934:33;10070:905;;;;;;;;;:::o;17489:709::-;17608:17;17684:11;;;:6;:11;;;;;17716:7;;;;17608:17;;;;17716:7;;17743:2;17738:7;;:33;;;;;17770:1;17749:14;17764:2;17749:18;;;;;;;:::i;:::-;;;:22;17738:33;17734:212;;;17800:29;17822:2;17826;17800:21;:29::i;:::-;17788:41;;17860:1;17848:9;:13;:33;;;;;17878:3;17865:9;:16;17848:33;17844:91;;;-1:-1:-1;17906:13:0;17844:91;17969:13;17964:1;:18;;;;;;;;:::i;:::-;;:40;;;-1:-1:-1;17991:13:0;17986:1;:18;;;;;;;;:::i;:::-;;17964:40;17956:72;;;;;;;10045:2:1;17956:72:0;;;10027:21:1;10084:2;10064:18;;;10057:30;10123:21;10103:18;;;10096:49;10162:18;;17956:72:0;9843:343:1;17956:72:0;18039:19;18051:3;18056:1;18039:11;:19::i;:::-;18078:2;18073;:7;18069:77;;;18109:25;18131:2;18109:21;:25::i;:::-;18097:37;;18069:77;-1:-1:-1;18186:3:0;;-1:-1:-1;;17489:709:0;;;;;;;;:::o;6360:225::-;6452:9;6431:3;:16;;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6416:33;;:12;:33;:::i;:::-;:45;6407:91;;;;;;;10901:2:1;6407:91:0;;;10883:21:1;;;10920:18;;;10913:30;10979:34;10959:18;;;10952:62;11031:18;;6407:91:0;10699:356:1;6407:91:0;6539:2;6521:3;:13;;;:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:20;;;;:::i;:::-;6509:9;:32;;;6557:20;;345:25:1;;;6557:20:0;;333:2:1;318:18;6557:20:0;;;;;;;6360:225::o;13403:343::-;13472:15;13490:11;;;:6;:11;;;;;13531:14;13520:7;;;;;;:25;;;;;;;;:::i;:::-;;13512:60;;;;;;;11541:2:1;13512:60:0;;;11523:21:1;11580:2;11560:18;;;11553:30;11619:24;11599:18;;;11592:52;11661:18;;13512:60:0;11339:346:1;13512:60:0;13630:8;;13605:34;;;;;;;;345:25:1;;;;13605:5:0;:24;;;;;318:18:1;;13605:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13591:48;;:10;:48;;;13583:90;;;;;;;12148:2:1;13583:90:0;;;12130:21:1;12187:2;12167:18;;;12160:30;12226:31;12206:18;;;12199:59;12275:18;;13583:90:0;11946:353:1;13583:90:0;13684:8;;;:18;;;13718:20;;;12478:25:1;;;12534:2;12519:18;;12512:34;;;13718:20:0;;12451:18:1;13718:20:0;;;;;;;13461:285;13403:343;;:::o;11276:220::-;11336:10;11349:29;11371:2;11375;11349:21;:29::i;:::-;11336:42;-1:-1:-1;11393:6:0;;11389:100;;11416:15;11434:10;;;:6;:10;;;;;11459:18;11441:2;11434:10;11459:11;:18::i;:::-;11401:88;11389:100;11325:171;11276:220;;:::o;3361:32::-;;;;;;;;;;;14364:707;14535:15;;14468:17;;;;14617:7;;;14608:38;;;;;;;12759:2:1;14608:38:0;;;12741:21:1;12798:2;12778:18;;;12771:30;12837:19;12817:18;;;12810:47;12874:18;;14608:38:0;12557:341:1;14608:38:0;14657:15;14675:10;;;:6;:10;;;;;14705:11;;;;14720:15;14705:30;;14696:68;;;;;;;13105:2:1;14696:68:0;;;13087:21:1;13144:2;13124:18;;;13117:30;13183:26;13163:18;;;13156:54;13227:18;;14696:68:0;12903:348:1;14696:68:0;14775:26;14780:1;14783:3;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14798:2;14775:4;:26::i;:::-;-1:-1:-1;14826:15:0;14812:11;;;:29;14861:2;14856:7;;14852:77;;;14892:25;14914:2;14892:21;:25::i;:::-;14880:37;;14852:77;14948:2;14943;:7;14939:81;;;14979:29;15001:2;15005;14979:21;:29::i;:::-;14967:41;;14939:81;15030:33;14364:707;;;;;;;:::o;7463:1185::-;7665:17;7684;7703:15;7750:5;7740:7;:15;7731:44;;;;;;;13458:2:1;7731:44:0;;;13440:21:1;13497:2;13477:18;;;13470:30;13536:17;13516:18;;;13509:45;13571:18;;7731:44:0;13256:339:1;7731:44:0;7805:9;;7794:7;:20;;7786:47;;;;;;;8135:2:1;7786:47:0;;;8117:21:1;8174:2;8154:18;;;8147:30;8213:16;8193:18;;;8186:44;8247:18;;7786:47:0;7933:338:1;7786:47:0;7852:52;;;;;7869:10;7852:52;;;9077:34:1;7889:4:0;9127:18:1;;;9120:43;9179:18;;;9172:34;;;7852:3:0;:16;;;;;8989:18:1;;7852:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7844:80;;;;;;;9701:2:1;7844:80:0;;;9683:21:1;9740:2;9720:18;;;9713:30;9779:17;9759:18;;;9752:45;9814:18;;7844:80:0;9499:339:1;7844:80:0;7944:2;7939;:7;7935:81;;;7975:29;7997:2;8001;7975:21;:29::i;:::-;7963:41;;7935:81;8035:2;8030;:7;8026:77;;;8066:25;8088:2;8066:21;:25::i;:::-;8054:37;;8026:77;8122:14;8137:2;8122:18;;;;;;;:::i;:::-;;;:23;8113:67;;;;;;;13802:2:1;8113:67:0;;;13784:21:1;13841:2;13821:18;;;13814:30;13880:32;13860:18;;;13853:60;13930:18;;8113:67:0;13600:354:1;8113:67:0;-1:-1:-1;8213:11:0;8211:13;;;;;;;;;;-1:-1:-1;8271:15:0;;;:6;:15;;;;;8297:18;;;8326:8;;;:18;;;8355:8;;;:15;;;8381:7;;;;:24;;;;;;;;;;8430:15;8416:11;;;:29;8271:15;8211:13;;8471:2;8456:18;;;;;;;:::i;:::-;;:28;8503:10;8495:19;;;;:7;:19;;;;;;;;:28;;;;;;;;;:38;;;8549:42;;12478:25:1;;;12519:18;;;12512:34;;;8515:7:0;;8549:42;;12451:18:1;8549:42:0;;;;;;;8602:38;7463:1185;;;;;;;;;;;:::o;12026:1195::-;12096:17;12126:10;12139:15;;12126:28;;12165:11;12179:3;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12165:27;-1:-1:-1;12207:7:0;;12203:265;;12279:16;12298:10;;;:6;:10;;;;;12352:13;12331:17;12336:2;12340:3;12345:2;12331:4;:17::i;:::-;:34;;;;;;;;:::i;:::-;;12323:72;;;;;;;14414:2:1;12323:72:0;;;14396:21:1;14453:2;14433:18;;;14426:30;14492:27;14472:18;;;14465:55;14537:18;;12323:72:0;14212:349:1;12323:72:0;12216:252;12203:265;12487:2;12482;:7;12478:81;;;12518:29;12540:2;12544;12518:21;:29::i;:::-;12506:41;;12478:81;12578:15;;:20;12569:63;;;;;;;14768:2:1;12569:63:0;;;14750:21:1;14807:2;14787:18;;;14780:30;14846:31;14826:18;;;14819:59;14895:18;;12569:63:0;14566:353:1;12569:63:0;12648:14;12663:2;12648:18;;;;;;;:::i;:::-;;;12643:23;;12690:1;12685:2;:6;12677:39;;;;;;;8667:2:1;12677:39:0;;;8649:21:1;8706:2;8686:18;;;8679:30;8745:22;8725:18;;;8718:50;8785:18;;12677:39:0;8465:344:1;12677:39:0;12727:15;12745:10;;;:6;:10;;;;;12775:17;;;12782:10;12775:17;12766:56;;;;;;;15126:2:1;12766:56:0;;;15108:21:1;15165:2;15145:18;;;15138:30;15204:27;15184:18;;;15177:55;15249:18;;12766:56:0;14924:349:1;12766:56:0;12866:1;:8;;;12842:3;:18;;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:32;12833:58;;;;;;;15480:2:1;12833:58:0;;;15462:21:1;15519:2;15499:18;;;15492:30;15558:14;15538:18;;;15531:42;15590:18;;12833:58:0;15278:336:1;12833:58:0;12947:9;12926:3;:16;;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12911:33;;:12;:33;:::i;:::-;:45;12902:91;;;;;;;10901:2:1;12902:91:0;;;10883:21:1;;;10920:18;;;10913:30;10979:34;10959:18;;;10952:62;11031:18;;12902:91:0;10699:356:1;12902:91:0;13025:1;13004:14;13019:2;13004:18;;;;;;;:::i;:::-;;:22;13071:14;13061:7;;;:24;;;;;;;;;13096:15;:20;;;13141:15;13127:11;;;:29;13172:12;;13096:20;;13172:12;;-1:-1:-1;;13172:12:0;13195:18;;;12026:1195;;;;;;:::o;20611:4119::-;20674:16;20710:18;;:::i;:::-;20757;;:::i;:::-;20803:12;;:::i;:::-;21050:14;;;21061:2;21050:14;;;;;;;;;20867;;;;21030:17;;21050:14;;;;;;;;-1:-1:-1;;21100:14:0;;;21111:2;21100:14;;;;;;;;;21030:34;;-1:-1:-1;21075:22:0;;21100:14;-1:-1:-1;21100:14:0;;;;;;;;-1:-1:-1;;21146:15:0;;;21158:2;21146:15;;;;;;;;;21075:39;;-1:-1:-1;21125:18:0;;21146:15;-1:-1:-1;21146:15:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;21125:36;;21172:15;;:::i;:::-;21198:9;21218:409;21235:2;21230:1;:7;21218:409;;;21259:10;21292:2;21288:1;:6;21284:134;;;21320:14;21335:1;21320:17;;;;;;;:::i;:::-;;;21315:22;;21284:134;;;21383:13;21397:4;21399:2;21397:1;:4;:::i;:::-;21383:19;;;;;;;:::i;:::-;;;21378:24;;21284:134;21436:6;;21432:184;;21472:10;;;;:6;:10;;;;;;;;;21463:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:3;21467:1;21463:6;;;;;;;;:::i;:::-;;;;;;;;;;:19;21505;;;;21501:100;;21563:14;;;;;;;:7;:14;;;;;;;;:18;;;;;;;;;21549:11;;:8;;21558:1;;21549:11;;;;;;:::i;:::-;;;;;;:32;;;;;21501:100;-1:-1:-1;21239:3:0;;;;:::i;:::-;;;;21218:409;;;21646:28;;;;;21668:4;21646:28;;;3748:74:1;21646:3:0;:13;;;;;3721:18:1;;21646:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;21637:3;21641:1;21637:6;;;;;;;;:::i;:::-;;;;;;:37;;;;;21743:15;;21734:3;21738:1;21734:6;;;;;;;;:::i;:::-;;;;;;;;;;:24;21773:15;;:19;21769:80;;21821:15;;21814:23;;;;:6;:23;;;;;;;;;21809:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21769:80;21868:15;21859:3;21863:1;21859:6;;;;;;;;:::i;:::-;;;;;;:24;;;;;21903:13;21894:3;21898:1;21894:6;;;;;;;;:::i;:::-;;;;;;;;;;:22;21990:15;;:19;21986:448;;22038:9;;;;22123:12;;;;22026:9;;22105:30;;:15;:30;:::i;:::-;22083:17;22087:13;22083:1;:17;:::i;:::-;22082:54;;;;:::i;:::-;22062:74;;22167:1;22155:9;:13;22151:74;;;-1:-1:-1;22201:1:0;22151:74;22255:2;:10;;;22243:9;:22;22239:151;;;22310:10;;;;22298:22;;:9;:22;:::i;:::-;22286:34;;22239:151;;;-1:-1:-1;22373:1:0;22239:151;22413:9;22404:3;22408:1;22404:6;;;;;;;;:::i;:::-;;;;;;:18;;;;;22011:423;;21986:448;22453:9;;22444:3;22448:1;22444:6;;;;;;;;:::i;:::-;;;;;;;;;;:18;22526:35;;;;;:13;16725:15:1;;;22526:35:0;;;16707:34:1;22555:4:0;16757:18:1;;;16750:43;22526:3:0;:13;;;;16619:18:1;;22526:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22517:3;22521:1;22517:6;;;;;;;;:::i;:::-;;;;;;;;;;:44;22608:42;25059:20;25107:8;22585:1291;;22961:16;;;22975:1;22961:16;;;;;;;;22776:42;;22874;;22718:27;;22961:16;;;;;;;;;;;;-1:-1:-1;22961:16:0;22933:44;;23023:7;:19;;;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22992:52;22993:8;23002:1;22993:11;;;;;;;;:::i;:::-;;;;;;23006:8;23015:1;23006:11;;;;;;;;:::i;:::-;;;;;;22992:52;;;;;;;;;;;;;;;;;;23166:42;23138:71;;:7;:14;;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:71;;;23134:347;;23239:8;:21;;;23261:7;23275:8;23284:1;23275:11;;;;;;;;:::i;:::-;;;;;;;23270:17;;23294:8;23303:1;23294:11;;;;;;;;:::i;:::-;;;;;;;23289:17;;23239:68;;;;;;;;;;;;;;;;1042:25:1;;;1098:2;1083:18;;1076:34;;;;1141:2;1126:18;;1119:34;1030:2;1015:18;;840:319;23239:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23230:3;23234:1;23230:6;;;;;;;;:::i;:::-;;;;;;:77;;;;;23134:347;;;23377:8;:21;;;23399:7;23413:8;23422:1;23413:11;;;;;;;;:::i;:::-;;;;;;;23408:17;;23432:8;23441:1;23432:11;;;;;;;;:::i;:::-;;;;;;;23427:17;;23377:68;;;;;;;;;;;;;;;;1042:25:1;;;1098:2;1083:18;;1076:34;;;;1141:2;1126:18;;1119:34;1030:2;1015:18;;840:319;23377:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23368:3;23372:1;23368:6;;;;;;;;:::i;:::-;;;;;;:77;;;;;23134:347;23497:26;23554:42;23497:101;;23637:10;23662;23700:6;:18;;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;23789:50:0;;;;;23811:7;23789:50;;;1042:25:1;23820:8:0;;;;1083:18:1;;;1076:34;23830:8:0;;1126:18:1;;;1119:34;23687:33:0;;-1:-1:-1;23687:33:0;-1:-1:-1;23789:21:0;;;;;;1015:18:1;;23789:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23779:3;23783:1;23779:6;;;;;;;;:::i;:::-;;;;;;:60;;;;;22654:1222;;;;;;22585:1291;23895:29;;;;;:13;3766:55:1;;;23895:29:0;;;3748:74:1;23895:3:0;:13;;;;3721:18:1;;23895:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23886:3;23890:1;23886:6;;;;;;;;:::i;:::-;;;;;;;;;;:38;-1:-1:-1;23962:1:0;23953:178;23969:2;23965:1;:6;23953:178;;;24013:1;23997:3;24001:1;23997:6;;;;;;;;:::i;:::-;;;;;;;:13;;;:17;23993:127;;;24063:5;:24;;;24088:3;24092:1;24088:6;;;;;;;;:::i;:::-;;;;;;;:13;;;24063:39;;;;;;;;;;;;;345:25:1;;333:2;318:18;;199:177;24063:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24047:57;;24035:3;24039:4;:1;24041:2;24039:4;:::i;:::-;24035:9;;;;;;;;:::i;:::-;;;;;;:69;;;;;23993:127;23973:3;;;;:::i;:::-;;;;23953:178;;;24167:3;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24151:31;;24141:3;24145:2;24141:7;;;;;;;;:::i;:::-;;;;;;:41;;;;;24203:17;24193:3;24197:2;24193:7;;;;;;;;:::i;:::-;;;;;;:27;;;;;24241:13;24231:3;24235:2;24231:7;;;;;;;;:::i;:::-;;;;;;:23;;;;;24275:14;24265:3;24269:2;24265:7;;;;;;;;:::i;:::-;;;;;;:24;;;;;24310:12;24300:3;24304:2;24300:7;;;;;;;;:::i;:::-;;;;;;:22;;;;;24343:3;:16;;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24333:3;24337:2;24333:7;;;;;;;;:::i;:::-;;;;;;:28;;;;;24382:9;24372:3;24376:2;24372:7;;;;;;;;:::i;:::-;;;;;;;;;;:19;24406:15;;:19;24402:207;;24522:15;;24515:23;;;;:6;:23;;;;;;;:30;24490:105;;;;;;;;345:25:1;;;;24490:5:0;:24;;;;;318:18:1;;24490:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24452:145;;24442:3;24446:2;24442:7;;;;;;;;:::i;:::-;;;;;;:155;;;;;24402:207;24629:3;:18;;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24619:3;24623:2;24619:7;;;;;;;;:::i;:::-;;;;;;;;;;:30;24660:62;;;;;;;;;;24668:3;;24673:14;;24689:13;;24704:2;;24708:3;;24713:8;;24660:62;24673:14;;24660:62;;24673:14;24660:62;;;;;;;;;;;;;;;;;-1:-1:-1;;24660:62:0;;;;;;;;;;;;-1:-1:-1;24660:62:0;;-1:-1:-1;24660:62:0;;-1:-1:-1;24660:62:0;-1:-1:-1;24660:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20611:4119;;;;;;;:::o;8656:325::-;8717:7;8737:10;8750:13;8764:2;8750:17;;;;;;;:::i;:::-;;;8737:30;;8791:1;8786:2;:6;8778:49;;;;;;;18137:2:1;8778:49:0;;;18119:21:1;18176:2;18156:18;;;18149:30;18215:32;18195:18;;;18188:60;18265:18;;8778:49:0;17935:354:1;8778:49:0;8838:15;8856:10;;;:6;:10;;;;;8904:13;8881:19;8890:2;8894;8898:1;8881:8;:19::i;:::-;:36;;;;;;;;:::i;:::-;;8877:78;;-1:-1:-1;8941:2:0;8656:325;-1:-1:-1;;8656:325:0:o;8877:78::-;-1:-1:-1;8972:1:0;;8656:325;-1:-1:-1;;;8656:325:0:o;9240:343::-;9313:7;9334:10;9347:14;9362:2;9347:18;;;;;;;:::i;:::-;;;9334:31;;9389:1;9384:2;:6;9376:50;;;;;;;18496:2:1;9376:50:0;;;18478:21:1;18535:2;18515:18;;;18508:30;18574:33;18554:18;;;18547:61;18625:18;;9376:50:0;18294:355:1;9376:50:0;9437:15;9455:10;;;:6;:10;;;;;;;;;9480:22;9488:2;9492;9496;9500:1;9480:7;:22::i;:::-;:39;;;;;;;;:::i;:::-;;9476:81;;-1:-1:-1;9543:2:0;-1:-1:-1;9536:9:0;;9476:81;9574:1;9567:8;;;;9240:343;;;;;:::o;18392:411::-;18490:10;18464:15;18482:19;;;:7;:19;;;;;;;;:24;;;;;;;;;;18521:12;;;18517:51;;18550:7;18392:411;;:::o;18517:51::-;18603:9;;;;:20;;;;;;;18646:10;-1:-1:-1;18638:19:0;;;;;;;;;;;:24;;;;;;;;;:35;;;;;;;18712:33;;;;;;;;18828:74:1;;;;18918:18;;;18911:34;;;18638:19:0;18712:3;:12;;;;18801:18:1;;18712:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;18761:34:0;;345:25:1;;;18784:10:0;;18770:3;;18761:34;;333:2:1;318:18;18761:34:0;;;;;;;18453:350;18392:411;;:::o;15408:1438::-;15550:9;;;;15584:8;;;;;15519:5;;15550:9;15584:8;;;;;15612:5;:23;;;;;;;;:::i;:::-;;15603:64;;;;;;;19158:2:1;15603:64:0;;;19140:21:1;19197:2;19177:18;;;19170:30;19236:29;19216:18;;;19209:57;19283:18;;15603:64:0;18956:351:1;15603:64:0;15696:1;15682:2;:10;;;:15;15678:77;;15721:5;-1:-1:-1;15714:12:0;;-1:-1:-1;15714:12:0;15678:77;15765:17;15826:2;:12;;;15808:15;:30;;;;:::i;:::-;15786:17;15790:13;15786:1;:17;:::i;:::-;15785:54;;;;:::i;:::-;15765:74;;15866:1;15854:9;:13;15850:66;;;-1:-1:-1;15896:1:0;15850:66;15942:2;:10;;;15930:9;:22;15926:135;;;15993:10;;;;15981:22;;:9;:22;:::i;:::-;15969:34;;15926:135;;;-1:-1:-1;16048:1:0;15926:135;16075:9;16088:1;16075:14;16071:59;;-1:-1:-1;16113:5:0;-1:-1:-1;16106:12:0;;-1:-1:-1;16106:12:0;16071:59;16171:10;;;:23;;;;;;16248:9;;16223:35;;;;;16171:10;;16223:24;:5;:24;;;;:35;;;;345:25:1;;;333:2;318:18;;199:177;16223:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;16206:52;;16283:4;16273:14;;:6;:14;;;16269:319;;16380:31;;;;;:12;18846:55:1;;;16380:31:0;;;18828:74:1;18918:18;;;18911:34;;;16380:3:0;:12;;;;18801:18:1;;16380:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16436:3;16431:20;16441:9;16431:20;;;;345:25:1;;333:2;318:18;;199:177;16431:20:0;;;;;;;;16269:319;;;16484:38;;;;;16505:4;16484:38;;;18828:74:1;18918:18;;;18911:34;;;16484:3:0;:12;;;;;18801:18:1;;16484:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16561:3;16554:22;16566:9;16554:22;;;;345:25:1;;333:2;318:18;;199:177;16554:22:0;;;;;;;;16269:319;16616:1;16602:2;:10;;;:15;16598:218;;16652:1;16634:15;:19;;;16668:8;;;:24;;;;16679:13;16668:24;;;;;;16722:15;16707:12;;;:30;16757:12;;16765:3;;16757:12;;;16791:13;16784:20;;;;;;;;16598:218;-1:-1:-1;16833:5:0;;15408:1438;-1:-1:-1;;;;;;15408:1438:0:o;19080:553::-;19187:8;;;;;;19215:13;19210:1;:18;;;;;;;;:::i;:::-;;19245:8;19206:59;19333:9;;;;:14;;:69;;;19387:14;19371:2;:12;;;19353:15;:30;;;;:::i;:::-;19352:49;19333:69;19329:278;;;19419:8;;;:24;;;;19430:13;19419:24;;;-1:-1:-1;19458:13:0;19472:6;19458:21;;;;;;;:::i;:::-;;:25;19513:15;19498:12;;;:30;19548:12;;19556:3;;19548:12;;;;;-1:-1:-1;19582:13:0;19575:20;;19892:589;20026:7;20085:14;20069:2;:12;;;20051:15;:30;;;;:::i;:::-;20050:49;20046:402;;;20116:10;20129:13;20143:2;20129:17;;;;;;;:::i;:::-;;;;-1:-1:-1;20170:7:0;;20161:49;;;;;;;19514:2:1;20161:49:0;;;19496:21:1;19553:2;19533:18;;;19526:30;19592;19572:18;;;19565:58;19640:18;;20161:49:0;19312:352:1;20161:49:0;20245:3;20225:13;20239:2;20225:17;;;;;;;:::i;:::-;;:23;20284:1;20263:14;20278:2;20263:18;;;;;;;:::i;:::-;;:22;20300:8;;;:24;;;;20311:13;20300:24;;;20354:15;20339:12;;;:30;20389:12;;20397:3;;20389:12;;-1:-1:-1;;20389:12:0;20423:13;20416:20;;;;;20046:402;-1:-1:-1;20465:8:0;;;;;;19892:589;;;;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;:::o;14:180:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;-1:-1:-1;165:23:1;;14:180;-1:-1:-1;14:180:1:o;381:454::-;476:6;484;492;500;508;561:3;549:9;540:7;536:23;532:33;529:53;;;578:1;575;568:12;529:53;-1:-1:-1;;601:23:1;;;671:2;656:18;;643:32;;-1:-1:-1;722:2:1;707:18;;694:32;;773:2;758:18;;745:32;;-1:-1:-1;824:3:1;809:19;796:33;;-1:-1:-1;381:454:1;-1:-1:-1;381:454:1:o;1164:154::-;1250:42;1243:5;1239:54;1232:5;1229:65;1219:93;;1308:1;1305;1298:12;1219:93;1164:154;:::o;1323:315::-;1391:6;1399;1452:2;1440:9;1431:7;1427:23;1423:32;1420:52;;;1468:1;1465;1458:12;1420:52;1507:9;1494:23;1526:31;1551:5;1526:31;:::i;:::-;1576:5;1628:2;1613:18;;;;1600:32;;-1:-1:-1;;;1323:315:1:o;1643:385::-;1729:6;1737;1745;1753;1806:3;1794:9;1785:7;1781:23;1777:33;1774:53;;;1823:1;1820;1813:12;1774:53;-1:-1:-1;;1846:23:1;;;1916:2;1901:18;;1888:32;;-1:-1:-1;1967:2:1;1952:18;;1939:32;;2018:2;2003:18;1990:32;;-1:-1:-1;1643:385:1;-1:-1:-1;1643:385:1:o;2033:248::-;2101:6;2109;2162:2;2150:9;2141:7;2137:23;2133:32;2130:52;;;2178:1;2175;2168:12;2130:52;-1:-1:-1;;2201:23:1;;;2271:2;2256:18;;;2243:32;;-1:-1:-1;2033:248:1:o;2539:184::-;2591:77;2588:1;2581:88;2688:4;2685:1;2678:15;2712:4;2709:1;2702:15;2728:290;2805:1;2798:5;2795:12;2785:200;;2841:77;2838:1;2831:88;2942:4;2939:1;2932:15;2970:4;2967:1;2960:15;2785:200;2994:18;;2728:290::o;3023:556::-;3316:25;;;3372:2;3357:18;;3350:34;;;3415:2;3400:18;;3393:34;;;3303:3;3288:19;;3436:49;3481:2;3466:18;;3458:6;3436:49;:::i;:::-;3516:3;3501:19;;3494:35;;;;3560:3;3545:19;3538:35;3023:556;;-1:-1:-1;;;;3023:556:1:o;3833:316::-;3910:6;3918;3926;3979:2;3967:9;3958:7;3954:23;3950:32;3947:52;;;3995:1;3992;3985:12;3947:52;-1:-1:-1;;4018:23:1;;;4088:2;4073:18;;4060:32;;-1:-1:-1;4139:2:1;4124:18;;;4111:32;;3833:316;-1:-1:-1;3833:316:1:o;4154:592::-;4267:6;4275;4283;4291;4299;4307;4315;4368:3;4356:9;4347:7;4343:23;4339:33;4336:53;;;4385:1;4382;4375:12;4336:53;-1:-1:-1;;4408:23:1;;;4478:2;4463:18;;4450:32;;-1:-1:-1;4529:2:1;4514:18;;4501:32;;4580:2;4565:18;;4552:32;;-1:-1:-1;4631:3:1;4616:19;;4603:33;;-1:-1:-1;4683:3:1;4668:19;;4655:33;;-1:-1:-1;4735:3:1;4720:19;4707:33;;-1:-1:-1;4154:592:1;-1:-1:-1;4154:592:1:o;5003:247::-;5062:6;5115:2;5103:9;5094:7;5090:23;5086:32;5083:52;;;5131:1;5128;5121:12;5083:52;5170:9;5157:23;5189:31;5214:5;5189:31;:::i;5255:435::-;5308:3;5346:5;5340:12;5373:6;5368:3;5361:19;5399:4;5428:2;5423:3;5419:12;5412:19;;5465:2;5458:5;5454:14;5486:1;5496:169;5510:6;5507:1;5504:13;5496:169;;;5571:13;;5559:26;;5605:12;;;;5640:15;;;;5532:1;5525:9;5496:169;;;-1:-1:-1;5681:3:1;;5255:435;-1:-1:-1;;;;;5255:435:1:o;5695:326::-;5788:5;5811:1;5821:194;5835:4;5832:1;5829:11;5821:194;;;5894:13;;5882:26;;5931:4;5955:12;;;;5990:15;;;;5855:1;5848:9;5821:194;;6026:426;6103:5;6097:12;6092:3;6085:25;6159:4;6152:5;6148:16;6142:23;6135:4;6130:3;6126:14;6119:47;6215:4;6208:5;6204:16;6198:23;6191:4;6186:3;6182:14;6175:47;6268:4;6261:5;6257:16;6251:23;6283:51;6328:4;6323:3;6319:14;6305:12;6283:51;:::i;:::-;-1:-1:-1;6383:4:1;6372:16;;;6366:23;6350:14;;;6343:47;6439:4;6428:16;;;6422:23;6406:14;;6399:47;6026:426::o;6457:1471::-;7019:4;7048;7079:2;7068:9;7061:21;7105:56;7157:2;7146:9;7142:18;7134:6;7105:56;:::i;:::-;7091:70;;7180:2;7191:52;7239:2;7228:9;7224:18;7216:6;7191:52;:::i;:::-;7252:53;7300:3;7289:9;7285:19;7277:6;7252:53;:::i;:::-;7314;7361:4;7350:9;7346:20;7338:6;7314:53;:::i;:::-;7405:22;;;7398:4;7383:20;;7376:52;7477:13;;7499:22;;;7575:15;;;;7537;;;7608:1;7618:188;7632:6;7629:1;7626:13;7618:188;;;7681:43;7720:3;7711:6;7705:13;7681:43;:::i;:::-;7781:15;;;;7753:4;7744:14;;;;;7654:1;7647:9;7618:188;;;7622:3;;7853:9;7848:3;7844:19;7837:4;7826:9;7822:20;7815:49;7881:41;7918:3;7910:6;7881:41;:::i;:::-;7873:49;6457:1471;-1:-1:-1;;;;;;;;;;;6457:1471:1:o;8276:184::-;8328:77;8325:1;8318:88;8425:4;8422:1;8415:15;8449:4;8446:1;8439:15;9217:277;9284:6;9337:2;9325:9;9316:7;9312:23;9308:32;9305:52;;;9353:1;9350;9343:12;9305:52;9385:9;9379:16;9438:5;9431:13;9424:21;9417:5;9414:32;9404:60;;9460:1;9457;9450:12;10191:184;10261:6;10314:2;10302:9;10293:7;10289:23;10285:32;10282:52;;;10330:1;10327;10320:12;10282:52;-1:-1:-1;10353:16:1;;10191:184;-1:-1:-1;10191:184:1:o;10380:::-;10432:77;10429:1;10422:88;10529:4;10526:1;10519:15;10553:4;10550:1;10543:15;10569:125;10609:4;10637:1;10634;10631:8;10628:34;;;10642:18;;:::i;:::-;-1:-1:-1;10679:9:1;;10569:125::o;11060:274::-;11100:1;11126;11116:189;;11161:77;11158:1;11151:88;11262:4;11259:1;11252:15;11290:4;11287:1;11280:15;11116:189;-1:-1:-1;11319:9:1;;11060:274::o;11690:251::-;11760:6;11813:2;11801:9;11792:7;11788:23;11784:32;11781:52;;;11829:1;11826;11819:12;11781:52;11861:9;11855:16;11880:31;11905:5;11880:31;:::i;15808:195::-;15847:3;15878:66;15871:5;15868:77;15865:103;;15948:18;;:::i;:::-;-1:-1:-1;15995:1:1;15984:13;;15808:195::o;16239:228::-;16279:7;16405:1;16337:66;16333:74;16330:1;16327:81;16322:1;16315:9;16308:17;16304:105;16301:131;;;16412:18;;:::i;:::-;-1:-1:-1;16452:9:1;;16239:228::o;16804:188::-;16883:13;;16936:30;16925:42;;16915:53;;16905:81;;16982:1;16979;16972:12;16905:81;16804:188;;;:::o;16997:450::-;17084:6;17092;17100;17153:2;17141:9;17132:7;17128:23;17124:32;17121:52;;;17169:1;17166;17159:12;17121:52;17192:40;17222:9;17192:40;:::i;:::-;17182:50;;17251:49;17296:2;17285:9;17281:18;17251:49;:::i;:::-;17241:59;;17343:2;17332:9;17328:18;17322:25;17387:10;17380:5;17376:22;17369:5;17366:33;17356:61;;17413:1;17410;17403:12;17356:61;17436:5;17426:15;;;16997:450;;;;;:::o;17802:128::-;17842:3;17873:1;17869:6;17866:1;17863:13;17860:39;;;17879:18;;:::i;:::-;-1:-1:-1;17915:9:1;;17802:128::o

ipfs://7bf60ed93f712f62ccb8e1642e8977182dacecd9592c539cbe2299fb0d6973a9