Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract RescueMission *
•    - function open()
•    - function verify(
•    - function rescue(
•    - function kill()
•    - function _calcMax()
•    - function getInfo(address _to, uint256 ...
•    - function isContract(address account)
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• interface IOldCigtoken is IERC20
•    - function userInfo(address)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-03-10
*/

// SPDX-License-Identifier:MIT
// Author: 0xTycoon
// Project: Cigarettes (CEO of CryptoPunks)
// Credits: Thanks to https://github.com/miguelmota/merkletreejs-solidity
pragma solidity ^0.8.11;

/**

🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬

██████  ███████ ███████  ██████ ██    ██ ███████
██   ██ ██      ██      ██      ██    ██ ██
██████  █████   ███████ ██      ██    ██ █████
██   ██ ██           ██ ██      ██    ██ ██
██   ██ ███████ ███████  ██████  ██████  ███████


███    ███ ██ ███████ ███████ ██  ██████  ███    ██
████  ████ ██ ██      ██      ██ ██    ██ ████   ██
██ ████ ██ ██ ███████ ███████ ██ ██    ██ ██ ██  ██
██  ██  ██ ██      ██      ██ ██ ██    ██ ██  ██ ██
██      ██ ██ ███████ ███████ ██  ██████  ██   ████

The last chance to upgrade your CIG 🚬

🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬🚬

The following contract implements a 1:1 exchange for old-CIG to new-CIG,
using a merkle tree as a whitelist.
The contract will start with a limit of CIG to be claimed (the `step` parameter)
Then the limit will increase by the value of `step` every seconds set by `interval` parameter

Mainnet values
step    : 100k CIG
interval: 864000 (10 days)
multisig: 0xd36ddAe4D9B4b3aAC4FDE830ea0c992752719a21
cig     : 0xcb56b52316041a62b6b5d0583dce4a8ae7a3c629
old cig : 0x5a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0

So, first 10 days, 100k, after 10 days 200k, and so on.

Important: The contract cannot mint new CIG, it needs to be funded with CIG through donations. There might not be
enough CIG for everyone, and exchange will not be possible if the contract runs out of CIG.

The contract can be killed after 540 days. Once killed, any remaining CIG will be moved to the multisig address


END

*/

//import "hardhat/console.sol";

contract RescueMission {
    address payable public admin;
    bytes32 immutable public root;
    mapping(address => uint256) public claims;
    uint256 constant step = 100000 ether;
    uint256 private immutable interval;
    uint256 private openedAt;
    IERC20 immutable public cig;
    IERC20 immutable public oldCig;
    address immutable public multisig;
    event Rescue(
        address, // called by
        address, // sent claim to
        uint256  // amount CIG claimed and sent
    );
    modifier onlyAdmin {
        require(
            msg.sender == admin,
            "Only admin can call this"
        );
        _;
    }

    /**
    * @dev constructor
    * @param _root root hash of merkle tree
    * @param _interval seconds between 'step' increase
    * @param _cig address to the Cigarettes contract
    * @param _oldCig address of the old cig contract
    * @param _multisig address of the multisig
    */
    constructor (bytes32 _root, uint256 _interval, address _cig, address _oldCig, address _multisig) {
        root = _root;
        admin = payable(msg.sender);
        interval = _interval;
        cig = IERC20(_cig);
        oldCig = IERC20(_oldCig);
        multisig = _multisig;
    }

    /**
    * @dev open sets the openedAt timestamp, can only be called once by admin
    */
    function open() external onlyAdmin {
        require (openedAt == 0, "already opened");
        openedAt = block.timestamp;
    }
    /**
    * @dev verify verifies a merkle proof
    * @param _to address used as part of a leaf
    * @param _amount used as part of a lead
    * @param _root hash
    * @param _proof the merkle proof
    */
    function verify(
        address _to,
        uint256 _amount,
        bytes32 _root,
        bytes32[] memory _proof
    ) public pure returns (bool) {
        bytes32 computedHash = keccak256(abi.encodePacked(_to, _amount)); // leaf
        for (uint256 i = 0; i < _proof.length; i++) {
            bytes32 proofElement = _proof[i];
            if (computedHash <= proofElement) {
                // Hash(current computed hash + current element of the proof)
                computedHash = keccak256(abi.encodePacked(computedHash, proofElement));
            } else {
                // Hash(current element of the proof + current computed hash)
                computedHash = keccak256(abi.encodePacked(proofElement, computedHash));
            }
        }
        // Check if the computed hash (root) is equal to the provided root
        return computedHash == _root;
    }

    /**
    * @dev
    * @param _amount amount to pay out
    * @param _to address used as part of a leaf
    * @param _balance max total claimable, used as part of a leaf
    * @param _proof the merkle proof
    */
    function rescue(
        uint256 _amount,
        address _to,
        uint256 _balance,
        bytes32[] memory _proof
    ) external payable {
        require(openedAt > 0, "not opened");
        require (verify(_to, _balance, root, _proof), "invalid proof");            // verify merkle proof
        uint256 claimed = claims[_to];                                             // read claim amount
        require (claimed < _balance, "already claimed everything");
        uint256 max = _calcMax();                                                 // get max value we can claim
        require (claimed < max, "max amount already claimed");
        uint256 credit = _balance - claimed;                                       // credit is the amount yet to pay
        if (credit > max) {
            credit = max;                                                         // cap to the max
        }
        require(_amount <= credit, "_amount exceeds credit");
        require (oldCig.transferFrom(_to, address(cig), _amount), "need old CIG"); // take old CIG
        if (cig.transfer(_to, _amount)) {
            claims[_to] += _amount;                                                // record the claim
        }
        emit Rescue(msg.sender, _to, _amount);
    }
    /**
    * @dev kill self destructs the contract after 54 periods, sends unclaimed CIG to multisig
    */
    function kill() external onlyAdmin {
        require(_calcMax() > 5400000 ether, "cannot kill yet");
        cig.transfer(multisig, cig.balanceOf(address(this)));
        selfdestruct(admin);
    }
    /**
    * @dev _calcMax calculates the current max refund value
    */
    function _calcMax() view private returns (uint256) {
        uint256 diff = block.timestamp - openedAt;
        if (diff < interval) {
            return step;
        }
        return  step + step * (diff / interval);
    }
    /**
    * @dev getInfo gets info for the UI
    * @param _to address used as part of a leaf
    * @param _amount used as part of a lead
    * @param _proof the merkle proof
    */
    function getInfo(address _to, uint256 _amount, bytes32[] memory _proof) view public returns(uint256[] memory) {
        uint[] memory ret = new uint[](11);
        if (verify(_to, _amount, root, _proof)) {
            ret[0] = 1;                                // 1 if proof was valid
        }
        ret[1] = cig.balanceOf(address(this));         // balance of CIG in this contract (donated)
        ret[2] = claims[_to];                          // how much CIG already claimed
        ret[3] = _calcMax();                           // max CIG can claim
        ret[4] = openedAt;                             // timestamp of opening
        ret[5] = block.timestamp;                      // current timestamp
        ret[6] = cig.balanceOf(_to);                   // user's new cig balance
        ret[7] = oldCig.balanceOf(_to);                // user's old cig balance
        ret[8] = oldCig.allowance(_to, address(this)); // did user give approval for old cig?
        if (isContract(address(0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2))) {       // are we on mainnet?
            IERC20 lp = IERC20(address(0x7c5BbE30B5b1c1ABaA9e1Ee32e04a81a2B20a052));
            ret[9] = lp.balanceOf(_to);                                              // lp balance (not staked)
            IOldCigtoken old = IOldCigtoken(address(0x5A35A6686db167B05E2Eb74e1ede9fb5D9Cdb3E0));
            (ret[10], ) = old.userInfo(_to);                                         // staking deposit balance
        }
        return ret;
    }

    /**
     * @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 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 IOldCigtoken is IERC20 {
    function userInfo(address) external view returns (uint256, uint256);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"bytes32","name":"_root","type":"bytes32"},{"internalType":"uint256","name":"_interval","type":"uint256"},{"internalType":"address","name":"_cig","type":"address"},{"internalType":"address","name":"_oldCig","type":"address"},{"internalType":"address","name":"_multisig","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"","type":"address"},{"indexed":false,"internalType":"address","name":"","type":"address"},{"indexed":false,"internalType":"uint256","name":"","type":"uint256"}],"name":"Rescue","type":"event"},{"inputs":[],"name":"admin","outputs":[{"internalType":"address payable","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cig","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"claims","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32[]","name":"_proof","type":"bytes32[]"}],"name":"getInfo","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"kill","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"multisig","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"oldCig","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"open","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_balance","type":"uint256"},{"internalType":"bytes32[]","name":"_proof","type":"bytes32[]"}],"name":"rescue","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"root","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32","name":"_root","type":"bytes32"},{"internalType":"bytes32[]","name":"_proof","type":"bytes32[]"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"}]

6101206040523480156200001257600080fd5b50604051620019003803806200190083398101604081905262000035916200008f565b608094909452600080546001600160a01b0319163317905560a0929092526001600160a01b0390811660c05290811660e0521661010052620000ed565b80516001600160a01b03811681146200008a57600080fd5b919050565b600080600080600060a08688031215620000a857600080fd5b8551945060208601519350620000c16040870162000072565b9250620000d16060870162000072565b9150620000e16080870162000072565b90509295509295909350565b60805160a05160c05160e0516101005161177b62000185600039600081816101880152610f7b01526000818160d3015281816105e2015281816106b60152610be80152600081816101ec015281816103690152818161051401528181610bb901528181610d070152610f3d0152600081816112a101526112dd01526000818161025b015281816102ef0152610962015261177b6000f3fe6080604052600436106100bc5760003560e01c80638313461e11610074578063ebf0c7171161004e578063ebf0c71714610249578063f851a4401461027d578063fcfff16f146102aa57600080fd5b80638313461e146101aa578063aa4a6f78146101da578063c6788bdd1461020e57600080fd5b806339a8d2bf116100a557806339a8d2bf1461014c57806341c0e1b5146101615780634783c35b1461017657600080fd5b806303e3ae21146100c157806320af8d721461011f575b600080fd5b3480156100cd57600080fd5b506100f57f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561012b57600080fd5b5061013f61013a366004611441565b6102bf565b6040516101169190611498565b61015f61015a3660046114dc565b6108ea565b005b34801561016d57600080fd5b5061015f610e13565b34801561018257600080fd5b506100f57f000000000000000000000000000000000000000000000000000000000000000081565b3480156101b657600080fd5b506101ca6101c536600461153d565b611097565b6040519015158152602001610116565b3480156101e657600080fd5b506100f57f000000000000000000000000000000000000000000000000000000000000000081565b34801561021a57600080fd5b5061023b610229366004611586565b60016020526000908152604090205481565b604051908152602001610116565b34801561025557600080fd5b5061023b7f000000000000000000000000000000000000000000000000000000000000000081565b34801561028957600080fd5b506000546100f59073ffffffffffffffffffffffffffffffffffffffff1681565b3480156102b657600080fd5b5061015f61119b565b60408051600b808252610180820190925260609160009190602082016101608036833701905050905061031485857f000000000000000000000000000000000000000000000000000000000000000086611097565b1561033b5760018160008151811061032e5761032e6115a8565b6020026020010181815250505b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa1580156103c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103e991906115d7565b816001815181106103fc576103fc6115a8565b602002602001018181525050600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548160028151811061045b5761045b6115a8565b60200260200101818152505061046f61128c565b81600381518110610482576104826115a8565b602002602001018181525050600254816004815181106104a4576104a46115a8565b60200260200101818152505042816005815181106104c4576104c46115a8565b60209081029190910101526040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301527f000000000000000000000000000000000000000000000000000000000000000016906370a0823190602401602060405180830381865afa15801561055b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057f91906115d7565b81600681518110610592576105926115a8565b60209081029190910101526040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301527f000000000000000000000000000000000000000000000000000000000000000016906370a0823190602401602060405180830381865afa158015610629573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061064d91906115d7565b81600781518110610660576106606115a8565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301523060248301527f0000000000000000000000000000000000000000000000000000000000000000169063dd62ed3e90604401602060405180830381865afa1580156106fd573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072191906115d7565b81600881518110610734576107346115a8565b602090810291909101015273c02aaa39b223fe8d0a0e5c4f27ead9083c756cc23b156108e2576040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86166004820152737c5bbe30b5b1c1abaa9e1ee32e04a81a2b20a0529081906370a0823190602401602060405180830381865afa1580156107da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fe91906115d7565b82600981518110610811576108116115a8565b60209081029190910101526040517f1959a00200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87166004820152735a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0908190631959a002906024016040805180830381865afa15801561089b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108bf91906115f0565b5083600a815181106108d3576108d36115a8565b60200260200101818152505050505b949350505050565b60006002541161095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74206f70656e65640000000000000000000000000000000000000000000060448201526064015b60405180910390fd5b61098783837f000000000000000000000000000000000000000000000000000000000000000084611097565b6109ed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c69642070726f6f66000000000000000000000000000000000000006044820152606401610952565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054828110610a7c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f616c726561647920636c61696d65642065766572797468696e670000000000006044820152606401610952565b6000610a8661128c565b9050808210610af1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6d617820616d6f756e7420616c726561647920636c61696d65640000000000006044820152606401610952565b6000610afd8386611643565b905081811115610b0a5750805b80871115610b74576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f5f616d6f756e74206578636565647320637265646974000000000000000000006044820152606401610952565b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301527f000000000000000000000000000000000000000000000000000000000000000081166024830152604482018990527f000000000000000000000000000000000000000000000000000000000000000016906323b872dd906064016020604051808303816000875af1158015610c31573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c55919061165a565b610cbb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6e656564206f6c642043494700000000000000000000000000000000000000006044820152606401610952565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8781166004830152602482018990527f0000000000000000000000000000000000000000000000000000000000000000169063a9059cbb906044016020604051808303816000875af1158015610d50573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d74919061165a565b15610db45773ffffffffffffffffffffffffffffffffffffffff861660009081526001602052604081208054899290610dae90849061167c565b90915550505b6040805133815273ffffffffffffffffffffffffffffffffffffffff881660208201529081018890527fe01920728668d89f092ef9cb92036bad90964bb622eec508d2c3ffe1d582efb29060600160405180910390a150505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314610e94576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4f6e6c792061646d696e2063616e2063616c6c207468697300000000000000006044820152606401610952565b6a04777e962985cfff000000610ea861128c565b11610f0f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f74206b696c6c2079657400000000000000000000000000000000006044820152606401610952565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a9059cbb907f00000000000000000000000000000000000000000000000000000000000000009083906370a0823190602401602060405180830381865afa158015610fc3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fe791906115d7565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b16815273ffffffffffffffffffffffffffffffffffffffff909216600483015260248201526044016020604051808303816000875af1158015611057573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107b919061165a565b5060005473ffffffffffffffffffffffffffffffffffffffff16ff5b6040517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606086901b16602082015260348101849052600090819060540160405160208183030381529060405280519060200120905060005b835181101561118f57600084828151811061110d5761110d6115a8565b6020026020010151905080831161114f57604080516020810185905290810182905260600160405160208183030381529060405280519060200120925061117c565b60408051602081018390529081018490526060016040516020818303038152906040528051906020012092505b508061118781611694565b9150506110f0565b50909214949350505050565b60005473ffffffffffffffffffffffffffffffffffffffff16331461121c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4f6e6c792061646d696e2063616e2063616c6c207468697300000000000000006044820152606401610952565b60025415611286576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f616c7265616479206f70656e65640000000000000000000000000000000000006044820152606401610952565b42600255565b6000806002544261129d9190611643565b90507f00000000000000000000000000000000000000000000000000000000000000008110156112d85769152d02c7e14af680000091505090565b6113027f0000000000000000000000000000000000000000000000000000000000000000826116cd565b6113169069152d02c7e14af6800000611708565b61132a9069152d02c7e14af680000061167c565b91505090565b803573ffffffffffffffffffffffffffffffffffffffff8116811461135457600080fd5b919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082601f83011261139957600080fd5b8135602067ffffffffffffffff808311156113b6576113b6611359565b8260051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f830116810181811084821117156113f9576113f9611359565b60405293845285810183019383810192508785111561141757600080fd5b83870191505b848210156114365781358352918301919083019061141d565b979650505050505050565b60008060006060848603121561145657600080fd5b61145f84611330565b925060208401359150604084013567ffffffffffffffff81111561148257600080fd5b61148e86828701611388565b9150509250925092565b6020808252825182820181905260009190848201906040850190845b818110156114d0578351835292840192918401916001016114b4565b50909695505050505050565b600080600080608085870312156114f257600080fd5b8435935061150260208601611330565b925060408501359150606085013567ffffffffffffffff81111561152557600080fd5b61153187828801611388565b91505092959194509250565b6000806000806080858703121561155357600080fd5b61155c85611330565b93506020850135925060408501359150606085013567ffffffffffffffff81111561152557600080fd5b60006020828403121561159857600080fd5b6115a182611330565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000602082840312156115e957600080fd5b5051919050565b6000806040838503121561160357600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008282101561165557611655611614565b500390565b60006020828403121561166c57600080fd5b815180151581146115a157600080fd5b6000821982111561168f5761168f611614565b500190565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156116c6576116c6611614565b5060010190565b600082611703577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561174057611740611614565b50029056fea26469706673582212202f1ff196b30ebba4686cb883e70805723fbb4046f2ef37a5161a2fae024acb0664736f6c634300080b00339506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a00000000000000000000000000000000000000000000000000000000000d2f00000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c6290000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0000000000000000000000000d36ddae4d9b4b3aac4fde830ea0c992752719a21

0x6080604052600436106100bc5760003560e01c80638313461e11610074578063ebf0c7171161004e578063ebf0c71714610249578063f851a4401461027d578063fcfff16f146102aa57600080fd5b80638313461e146101aa578063aa4a6f78146101da578063c6788bdd1461020e57600080fd5b806339a8d2bf116100a557806339a8d2bf1461014c57806341c0e1b5146101615780634783c35b1461017657600080fd5b806303e3ae21146100c157806320af8d721461011f575b600080fd5b3480156100cd57600080fd5b506100f57f0000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561012b57600080fd5b5061013f61013a366004611441565b6102bf565b6040516101169190611498565b61015f61015a3660046114dc565b6108ea565b005b34801561016d57600080fd5b5061015f610e13565b34801561018257600080fd5b506100f57f000000000000000000000000d36ddae4d9b4b3aac4fde830ea0c992752719a2181565b3480156101b657600080fd5b506101ca6101c536600461153d565b611097565b6040519015158152602001610116565b3480156101e657600080fd5b506100f57f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62981565b34801561021a57600080fd5b5061023b610229366004611586565b60016020526000908152604090205481565b604051908152602001610116565b34801561025557600080fd5b5061023b7f9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a81565b34801561028957600080fd5b506000546100f59073ffffffffffffffffffffffffffffffffffffffff1681565b3480156102b657600080fd5b5061015f61119b565b60408051600b808252610180820190925260609160009190602082016101608036833701905050905061031485857f9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a86611097565b1561033b5760018160008151811061032e5761032e6115a8565b6020026020010181815250505b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa1580156103c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103e991906115d7565b816001815181106103fc576103fc6115a8565b602002602001018181525050600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548160028151811061045b5761045b6115a8565b60200260200101818152505061046f61128c565b81600381518110610482576104826115a8565b602002602001018181525050600254816004815181106104a4576104a46115a8565b60200260200101818152505042816005815181106104c4576104c46115a8565b60209081029190910101526040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62916906370a0823190602401602060405180830381865afa15801561055b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057f91906115d7565b81600681518110610592576105926115a8565b60209081029190910101526040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301527f0000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e016906370a0823190602401602060405180830381865afa158015610629573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061064d91906115d7565b81600781518110610660576106606115a8565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86811660048301523060248301527f0000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0169063dd62ed3e90604401602060405180830381865afa1580156106fd573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072191906115d7565b81600881518110610734576107346115a8565b602090810291909101015273c02aaa39b223fe8d0a0e5c4f27ead9083c756cc23b156108e2576040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff86166004820152737c5bbe30b5b1c1abaa9e1ee32e04a81a2b20a0529081906370a0823190602401602060405180830381865afa1580156107da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fe91906115d7565b82600981518110610811576108116115a8565b60209081029190910101526040517f1959a00200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87166004820152735a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0908190631959a002906024016040805180830381865afa15801561089b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108bf91906115f0565b5083600a815181106108d3576108d36115a8565b60200260200101818152505050505b949350505050565b60006002541161095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74206f70656e65640000000000000000000000000000000000000000000060448201526064015b60405180910390fd5b61098783837f9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a84611097565b6109ed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c69642070726f6f66000000000000000000000000000000000000006044820152606401610952565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054828110610a7c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f616c726561647920636c61696d65642065766572797468696e670000000000006044820152606401610952565b6000610a8661128c565b9050808210610af1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6d617820616d6f756e7420616c726561647920636c61696d65640000000000006044820152606401610952565b6000610afd8386611643565b905081811115610b0a5750805b80871115610b74576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f5f616d6f756e74206578636565647320637265646974000000000000000000006044820152606401610952565b6040517f23b872dd00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62981166024830152604482018990527f0000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e016906323b872dd906064016020604051808303816000875af1158015610c31573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c55919061165a565b610cbb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6e656564206f6c642043494700000000000000000000000000000000000000006044820152606401610952565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8781166004830152602482018990527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629169063a9059cbb906044016020604051808303816000875af1158015610d50573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d74919061165a565b15610db45773ffffffffffffffffffffffffffffffffffffffff861660009081526001602052604081208054899290610dae90849061167c565b90915550505b6040805133815273ffffffffffffffffffffffffffffffffffffffff881660208201529081018890527fe01920728668d89f092ef9cb92036bad90964bb622eec508d2c3ffe1d582efb29060600160405180910390a150505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314610e94576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4f6e6c792061646d696e2063616e2063616c6c207468697300000000000000006044820152606401610952565b6a04777e962985cfff000000610ea861128c565b11610f0f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f63616e6e6f74206b696c6c2079657400000000000000000000000000000000006044820152606401610952565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c62973ffffffffffffffffffffffffffffffffffffffff169063a9059cbb907f000000000000000000000000d36ddae4d9b4b3aac4fde830ea0c992752719a219083906370a0823190602401602060405180830381865afa158015610fc3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fe791906115d7565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b16815273ffffffffffffffffffffffffffffffffffffffff909216600483015260248201526044016020604051808303816000875af1158015611057573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107b919061165a565b5060005473ffffffffffffffffffffffffffffffffffffffff16ff5b6040517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606086901b16602082015260348101849052600090819060540160405160208183030381529060405280519060200120905060005b835181101561118f57600084828151811061110d5761110d6115a8565b6020026020010151905080831161114f57604080516020810185905290810182905260600160405160208183030381529060405280519060200120925061117c565b60408051602081018390529081018490526060016040516020818303038152906040528051906020012092505b508061118781611694565b9150506110f0565b50909214949350505050565b60005473ffffffffffffffffffffffffffffffffffffffff16331461121c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4f6e6c792061646d696e2063616e2063616c6c207468697300000000000000006044820152606401610952565b60025415611286576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f616c7265616479206f70656e65640000000000000000000000000000000000006044820152606401610952565b42600255565b6000806002544261129d9190611643565b90507f00000000000000000000000000000000000000000000000000000000000d2f008110156112d85769152d02c7e14af680000091505090565b6113027f00000000000000000000000000000000000000000000000000000000000d2f00826116cd565b6113169069152d02c7e14af6800000611708565b61132a9069152d02c7e14af680000061167c565b91505090565b803573ffffffffffffffffffffffffffffffffffffffff8116811461135457600080fd5b919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082601f83011261139957600080fd5b8135602067ffffffffffffffff808311156113b6576113b6611359565b8260051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f830116810181811084821117156113f9576113f9611359565b60405293845285810183019383810192508785111561141757600080fd5b83870191505b848210156114365781358352918301919083019061141d565b979650505050505050565b60008060006060848603121561145657600080fd5b61145f84611330565b925060208401359150604084013567ffffffffffffffff81111561148257600080fd5b61148e86828701611388565b9150509250925092565b6020808252825182820181905260009190848201906040850190845b818110156114d0578351835292840192918401916001016114b4565b50909695505050505050565b600080600080608085870312156114f257600080fd5b8435935061150260208601611330565b925060408501359150606085013567ffffffffffffffff81111561152557600080fd5b61153187828801611388565b91505092959194509250565b6000806000806080858703121561155357600080fd5b61155c85611330565b93506020850135925060408501359150606085013567ffffffffffffffff81111561152557600080fd5b60006020828403121561159857600080fd5b6115a182611330565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000602082840312156115e957600080fd5b5051919050565b6000806040838503121561160357600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008282101561165557611655611614565b500390565b60006020828403121561166c57600080fd5b815180151581146115a157600080fd5b6000821982111561168f5761168f611614565b500190565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156116c6576116c6611614565b5060010190565b600082611703577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561174057611740611614565b50029056fea26469706673582212202f1ff196b30ebba4686cb883e70805723fbb4046f2ef37a5161a2fae024acb0664736f6c634300080b0033

9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a00000000000000000000000000000000000000000000000000000000000d2f00000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c6290000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0000000000000000000000000d36ddae4d9b4b3aac4fde830ea0c992752719a21

-----Decoded View---------------
Arg [0] : _root (bytes32): 0x9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a
Arg [1] : _interval (uint256): 864000
Arg [2] : _cig (address): 0xCB56b52316041A62B6b5D0583DcE4A8AE7a3C629
Arg [3] : _oldCig (address): 0x5A35A6686db167B05E2Eb74e1ede9fb5D9Cdb3E0
Arg [4] : _multisig (address): 0xd36ddAe4D9B4b3aAC4FDE830ea0c992752719a21

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 9506673544a9c48a09ece4444a257f62e3b715f7bdfa0d9eecd41e3f1683e95a
Arg [1] : 00000000000000000000000000000000000000000000000000000000000d2f00
Arg [2] : 000000000000000000000000cb56b52316041a62b6b5d0583dce4a8ae7a3c629
Arg [3] : 0000000000000000000000005a35a6686db167b05e2eb74e1ede9fb5d9cdb3e0
Arg [4] : 000000000000000000000000d36ddae4d9b4b3aac4fde830ea0c992752719a21

2605:6900:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2903:30;;;;;;;;;;;;;;;;;;204:42:1;192:55;;;174:74;;162:2;147:18;2903:30:0;;;;;;;;7569:1538;;;;;;;;;;-1:-1:-1;7569:1538:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;5450:1290::-;;;;;;:::i;:::-;;:::i;:::-;;6858:201;;;;;;;;;;;;;:::i;2940:33::-;;;;;;;;;;;;;;;4322:897;;;;;;;;;;-1:-1:-1;4322:897:0;;;;;:::i;:::-;;:::i;:::-;;;4271:14:1;;4264:22;4246:41;;4234:2;4219:18;4322:897:0;4106:187:1;2869:27:0;;;;;;;;;;;;;;;2706:41;;;;;;;;;;-1:-1:-1;2706:41:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;4635:25:1;;;4623:2;4608:18;2706:41:0;4489:177:1;2670:29:0;;;;;;;;;;;;;;;2635:28;;;;;;;;;;-1:-1:-1;2635:28:0;;;;;;;;3967:132;;;;;;;;;;;;;:::i;7569:1538::-;7710:14;;;7721:2;7710:14;;;;;;;;;7661:16;;7690:17;;7710:14;;;;;;;;;;;-1:-1:-1;7710:14:0;7690:34;;7739;7746:3;7751:7;7760:4;7766:6;7739;:34::i;:::-;7735:132;;;7799:1;7790:3;7794:1;7790:6;;;;;;;;:::i;:::-;;;;;;:10;;;;;7735:132;7886:28;;;;;7908:4;7886:28;;;174:74:1;7886:3:0;:13;;;;;147:18:1;;7886:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7877:3;7881:1;7877:6;;;;;;;;:::i;:::-;;;;;;:37;;;;;7987:6;:11;7994:3;7987:11;;;;;;;;;;;;;;;;7978:3;7982:1;7978:6;;;;;;;;:::i;:::-;;;;;;:20;;;;;8075:10;:8;:10::i;:::-;8066:3;8070:1;8066:6;;;;;;;;:::i;:::-;;;;;;:19;;;;;8152:8;;8143:3;8147:1;8143:6;;;;;;;;:::i;:::-;;;;;;:17;;;;;8232:15;8223:3;8227:1;8223:6;;;;;;;;:::i;:::-;;;;;;;;;;:24;8309:18;;;;;:13;192:55:1;;;8309:18:0;;;174:74:1;8309:3:0;:13;;;;147:18:1;;8309::0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8300:3;8304:1;8300:6;;;;;;;;:::i;:::-;;;;;;;;;;:27;8391:21;;;;;:16;192:55:1;;;8391:21:0;;;174:74:1;8391:6:0;:16;;;;147:18:1;;8391:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8382:3;8386:1;8382:6;;;;;;;;:::i;:::-;;;;;;;;;;:30;8473:36;;;;;:16;5731:15:1;;;8473:36:0;;;5713:34:1;8503:4:0;5763:18:1;;;5756:43;8473:6:0;:16;;;;5625:18:1;;8473:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8464:3;8468:1;8464:6;;;;;;;;:::i;:::-;;;;;;;;;;:45;8582:42;9438:20;9486:8;8559:520;;8766:17;;;;;204:42:1;192:55;;8766:17:0;;;174:74:1;8698:42:0;;;;8766:12;;147:18:1;;8766:17:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8757:3;8761:1;8757:6;;;;;;;;:::i;:::-;;;;;;;;;;:26;8983:17;;;;;204:42:1;192:55;;8983:17:0;;;174:74:1;8910:42:0;;;;8983:12;;147:18:1;;8983:17:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8969:31;8970:3;8974:2;8970:7;;;;;;;;:::i;:::-;;;;;;8969:31;;;;;8628:451;;8559:520;9096:3;7569:1538;-1:-1:-1;;;;7569:1538:0:o;5450:1290::-;5629:1;5618:8;;:12;5610:35;;;;;;;6262:2:1;5610:35:0;;;6244:21:1;6301:2;6281:18;;;6274:30;6340:12;6320:18;;;6313:40;6370:18;;5610:35:0;;;;;;;;;5665;5672:3;5677:8;5687:4;5693:6;5665;:35::i;:::-;5656:62;;;;;;;6601:2:1;5656:62:0;;;6583:21:1;6640:2;6620:18;;;6613:30;6679:15;6659:18;;;6652:43;6712:18;;5656:62:0;6399:337:1;5656:62:0;5781:11;;;5763:15;5781:11;;;:6;:11;;;;;;5877:18;;;5868:58;;;;;;;6943:2:1;5868:58:0;;;6925:21:1;6982:2;6962:18;;;6955:30;7021:28;7001:18;;;6994:56;7067:18;;5868:58:0;6741:350:1;5868:58:0;5937:11;5951:10;:8;:10::i;:::-;5937:24;;6069:3;6059:7;:13;6050:53;;;;;;;7298:2:1;6050:53:0;;;7280:21:1;7337:2;7317:18;;;7310:30;7376:28;7356:18;;;7349:56;7422:18;;6050:53:0;7096:350:1;6050:53:0;6114:14;6131:18;6142:7;6131:8;:18;:::i;:::-;6114:35;;6246:3;6237:6;:12;6233:131;;;-1:-1:-1;6275:3:0;6233:131;6393:6;6382:7;:17;;6374:52;;;;;;;7972:2:1;6374:52:0;;;7954:21:1;8011:2;7991:18;;;7984:30;8050:24;8030:18;;;8023:52;8092:18;;6374:52:0;7770:346:1;6374:52:0;6446:47;;;;;:19;8402:15:1;;;6446:47:0;;;8384:34:1;6479:3:0;8454:15:1;;8434:18;;;8427:43;8486:18;;;8479:34;;;6446:6:0;:19;;;;8296:18:1;;6446:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6437:73;;;;;;;9008:2:1;6437:73:0;;;8990:21:1;9047:2;9027:18;;;9020:30;9086:14;9066:18;;;9059:42;9118:18;;6437:73:0;8806:336:1;6437:73:0;6541:26;;;;;:12;9339:55:1;;;6541:26:0;;;9321:74:1;9411:18;;;9404:34;;;6541:3:0;:12;;;;9294:18:1;;6541:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6537:148;;;6584:11;;;;;;;:6;:11;;;;;:22;;6599:7;;6584:11;:22;;6599:7;;6584:22;:::i;:::-;;;;-1:-1:-1;;6537:148:0;6700:32;;;6707:10;8384:34:1;;8333:42;8454:15;;8449:2;8434:18;;8427:43;8486:18;;;8479:34;;;6700:32:0;;8311:2:1;8296:18;6700:32:0;;;;;;;5599:1141;;;5450:1290;;;;:::o;6858:201::-;3188:5;;;;3174:10;:19;3152:93;;;;;;;9784:2:1;3152:93:0;;;9766:21:1;9823:2;9803:18;;;9796:30;9862:26;9842:18;;;9835:54;9906:18;;3152:93:0;9582:348:1;3152:93:0;6925:13:::1;6912:10;:8;:10::i;:::-;:26;6904:54;;;::::0;::::1;::::0;;10137:2:1;6904:54:0::1;::::0;::::1;10119:21:1::0;10176:2;10156:18;;;10149:30;10215:17;10195:18;;;10188:45;10250:18;;6904:54:0::1;9935:339:1::0;6904:54:0::1;6992:28;::::0;;;;7014:4:::1;6992:28;::::0;::::1;174:74:1::0;6969:3:0::1;:12;;::::0;::::1;::::0;6982:8:::1;::::0;6969:12;;6992:13:::1;::::0;147:18:1;;6992:28:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6969:52;::::0;;::::1;::::0;;;;;;9351:42:1;9339:55;;;6969:52:0::1;::::0;::::1;9321:74:1::0;9411:18;;;9404:34;9294:18;;6969:52:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;7045:5:0::1;::::0;::::1;;7032:19;4322:897:::0;4522:30;;10469:66:1;10456:2;10452:15;;;10448:88;4522:30:0;;;10436:101:1;10553:12;;;10546:28;;;4472:4:0;;;;10590:12:1;;4522:30:0;;;;;;;;;;;;4512:41;;;;;;4489:64;;4577:9;4572:525;4596:6;:13;4592:1;:17;4572:525;;;4631:20;4654:6;4661:1;4654:9;;;;;;;;:::i;:::-;;;;;;;4631:32;;4698:12;4682;:28;4678:408;;4835:44;;;;;;10770:19:1;;;10805:12;;;10798:28;;;10842:12;;4835:44:0;;;;;;;;;;;;4825:55;;;;;;4810:70;;4678:408;;;5025:44;;;;;;10770:19:1;;;10805:12;;;10798:28;;;10842:12;;5025:44:0;;;;;;;;;;;;5015:55;;;;;;5000:70;;4678:408;-1:-1:-1;4611:3:0;;;;:::i;:::-;;;;4572:525;;;-1:-1:-1;5190:21:0;;;;4322:897;-1:-1:-1;;;;4322:897:0:o;3967:132::-;3188:5;;;;3174:10;:19;3152:93;;;;;;;9784:2:1;3152:93:0;;;9766:21:1;9823:2;9803:18;;;9796:30;9862:26;9842:18;;;9835:54;9906:18;;3152:93:0;9582:348:1;3152:93:0;4022:8:::1;::::0;:13;4013:41:::1;;;::::0;::::1;::::0;;11267:2:1;4013:41:0::1;::::0;::::1;11249:21:1::0;11306:2;11286:18;;;11279:30;11345:16;11325:18;;;11318:44;11379:18;;4013:41:0::1;11065:338:1::0;4013:41:0::1;4076:15;4065:8;:26:::0;3967:132::o;7143:230::-;7185:7;7205:12;7238:8;;7220:15;:26;;;;:::i;:::-;7205:41;;7268:8;7261:4;:15;7257:59;;;2778:12;7293:11;;;7143:230;:::o;7257:59::-;7349:15;7356:8;7349:4;:15;:::i;:::-;7341:24;;2778:12;7341:24;:::i;:::-;7334:31;;2778:12;7334:31;:::i;:::-;7326:39;;;7143:230;:::o;259:196:1:-;327:20;;387:42;376:54;;366:65;;356:93;;445:1;442;435:12;356:93;259:196;;;:::o;460:184::-;512:77;509:1;502:88;609:4;606:1;599:15;633:4;630:1;623:15;649:961;703:5;756:3;749:4;741:6;737:17;733:27;723:55;;774:1;771;764:12;723:55;810:6;797:20;836:4;859:18;896:2;892;889:10;886:36;;;902:18;;:::i;:::-;948:2;945:1;941:10;980:2;974:9;1039:66;1034:2;1030;1026:11;1022:84;1014:6;1010:97;1157:6;1145:10;1142:22;1137:2;1125:10;1122:18;1119:46;1116:72;;;1168:18;;:::i;:::-;1204:2;1197:22;1254:18;;;1330:15;;;1326:24;;;1288:15;;;;-1:-1:-1;1362:15:1;;;1359:35;;;1390:1;1387;1380:12;1359:35;1426:2;1418:6;1414:15;1403:26;;1438:142;1454:6;1449:3;1446:15;1438:142;;;1520:17;;1508:30;;1558:12;;;;1471;;;;1438:142;;;1598:6;649:961;-1:-1:-1;;;;;;;649:961:1:o;1615:490::-;1717:6;1725;1733;1786:2;1774:9;1765:7;1761:23;1757:32;1754:52;;;1802:1;1799;1792:12;1754:52;1825:29;1844:9;1825:29;:::i;:::-;1815:39;;1901:2;1890:9;1886:18;1873:32;1863:42;;1956:2;1945:9;1941:18;1928:32;1983:18;1975:6;1972:30;1969:50;;;2015:1;2012;2005:12;1969:50;2038:61;2091:7;2082:6;2071:9;2067:22;2038:61;:::i;:::-;2028:71;;;1615:490;;;;;:::o;2110:632::-;2281:2;2333:21;;;2403:13;;2306:18;;;2425:22;;;2252:4;;2281:2;2504:15;;;;2478:2;2463:18;;;2252:4;2547:169;2561:6;2558:1;2555:13;2547:169;;;2622:13;;2610:26;;2691:15;;;;2656:12;;;;2583:1;2576:9;2547:169;;;-1:-1:-1;2733:3:1;;2110:632;-1:-1:-1;;;;;;2110:632:1:o;2747:559::-;2858:6;2866;2874;2882;2935:3;2923:9;2914:7;2910:23;2906:33;2903:53;;;2952:1;2949;2942:12;2903:53;2988:9;2975:23;2965:33;;3017:38;3051:2;3040:9;3036:18;3017:38;:::i;:::-;3007:48;;3102:2;3091:9;3087:18;3074:32;3064:42;;3157:2;3146:9;3142:18;3129:32;3184:18;3176:6;3173:30;3170:50;;;3216:1;3213;3206:12;3170:50;3239:61;3292:7;3283:6;3272:9;3268:22;3239:61;:::i;:::-;3229:71;;;2747:559;;;;;;;:::o;3542:::-;3653:6;3661;3669;3677;3730:3;3718:9;3709:7;3705:23;3701:33;3698:53;;;3747:1;3744;3737:12;3698:53;3770:29;3789:9;3770:29;:::i;:::-;3760:39;;3846:2;3835:9;3831:18;3818:32;3808:42;;3897:2;3886:9;3882:18;3869:32;3859:42;;3952:2;3941:9;3937:18;3924:32;3979:18;3971:6;3968:30;3965:50;;;4011:1;4008;4001:12;4298:186;4357:6;4410:2;4398:9;4389:7;4385:23;4381:32;4378:52;;;4426:1;4423;4416:12;4378:52;4449:29;4468:9;4449:29;:::i;:::-;4439:39;4298:186;-1:-1:-1;;;4298:186:1:o;5100:184::-;5152:77;5149:1;5142:88;5249:4;5246:1;5239:15;5273:4;5270:1;5263:15;5289:184;5359:6;5412:2;5400:9;5391:7;5387:23;5383:32;5380:52;;;5428:1;5425;5418:12;5380:52;-1:-1:-1;5451:16:1;;5289:184;-1:-1:-1;5289:184:1:o;5810:245::-;5889:6;5897;5950:2;5938:9;5929:7;5925:23;5921:32;5918:52;;;5966:1;5963;5956:12;5918:52;-1:-1:-1;;5989:16:1;;6045:2;6030:18;;;6024:25;5989:16;;6024:25;;-1:-1:-1;5810:245:1:o;7451:184::-;7503:77;7500:1;7493:88;7600:4;7597:1;7590:15;7624:4;7621:1;7614:15;7640:125;7680:4;7708:1;7705;7702:8;7699:34;;;7713:18;;:::i;:::-;-1:-1:-1;7750:9:1;;7640:125::o;8524:277::-;8591:6;8644:2;8632:9;8623:7;8619:23;8615:32;8612:52;;;8660:1;8657;8650:12;8612:52;8692:9;8686:16;8745:5;8738:13;8731:21;8724:5;8721:32;8711:60;;8767:1;8764;8757:12;9449:128;9489:3;9520:1;9516:6;9513:1;9510:13;9507:39;;;9526:18;;:::i;:::-;-1:-1:-1;9562:9:1;;9449:128::o;10865:195::-;10904:3;10935:66;10928:5;10925:77;10922:103;;;11005:18;;:::i;:::-;-1:-1:-1;11052:1:1;11041:13;;10865:195::o;11408:274::-;11448:1;11474;11464:189;;11509:77;11506:1;11499:88;11610:4;11607:1;11600:15;11638:4;11635:1;11628:15;11464:189;-1:-1:-1;11667:9:1;;11408:274::o;11687:228::-;11727:7;11853:1;11785:66;11781:74;11778:1;11775:81;11770:1;11763:9;11756:17;11752:105;11749:131;;;11860:18;;:::i;:::-;-1:-1:-1;11900:9:1;;11687:228::o

ipfs://2f1ff196b30ebba4686cb883e70805723fbb4046f2ef37a5161a2fae024acb06