Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

   - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract Fly is ERC20 *    - function setOwner(address newOwner)    - function addZones(address[] calldata ...    - function removeZone(address zone)    - function mint(address receiver, uint2 ...    - function burn(address from, uint256 a ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at snowscan.xyz on 2022-03-08
*/

// SPDX-License-Identifier: Unlicense
pragma solidity 0.8.12;
/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/Rari-Capital/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*///////////////////////////////////////////////////////////////
                                  EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*///////////////////////////////////////////////////////////////
                             METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    /*///////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

    mapping(address => mapping(address => uint256)) public allowance;

    /*///////////////////////////////////////////////////////////////
                             EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    bytes32 public constant PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;

    /*///////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*///////////////////////////////////////////////////////////////
                              ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*///////////////////////////////////////////////////////////////
                              EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            bytes32 digest = keccak256(
                abi.encodePacked(
                    "\x19\x01",
                    DOMAIN_SEPARATOR(),
                    keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))
                )
            );

            address recoveredAddress = ecrecover(digest, v, r, s);

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*///////////////////////////////////////////////////////////////
                       INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}
contract Fly is ERC20 {
    address public owner;

    // whitelist for minting mechanisms
    mapping(address => bool) public zones;

    /*///////////////////////////////////////////////////////////////
                                ERRORS
    //////////////////////////////////////////////////////////////*/

    error Unauthorized();

    /*///////////////////////////////////////////////////////////////
                                EVENTS
    //////////////////////////////////////////////////////////////*/

    event OwnerUpdated(address indexed newOwner);

    constructor(string memory _NAME, string memory _SYMBOL)
        ERC20(_NAME, _SYMBOL, 18)
    {
        owner = msg.sender;
    }

    /*///////////////////////////////////////////////////////////////
                    CONTRACT MANAGEMENT OPERATIONS
    //////////////////////////////////////////////////////////////*/

    modifier onlyOwner() {
        if (msg.sender != owner) revert Unauthorized();
        _;
    }

    function setOwner(address newOwner) external onlyOwner {
        //slither-disable-next-line missing-zero-check
        owner = newOwner;
        emit OwnerUpdated(newOwner);
    }

    /*///////////////////////////////////////////////////////////////
                            Zones - can mint
    //////////////////////////////////////////////////////////////*/

    modifier onlyZone() {
        if (!zones[msg.sender]) revert Unauthorized();
        _;
    }

    function addZones(address[] calldata _zones) external onlyOwner {
        uint256 length = _zones.length;
        for (uint256 i; i < length; ) {
            zones[_zones[i]] = true;
            unchecked {
                ++i;
            }
        }
    }

    function removeZone(address zone) external onlyOwner {
        delete zones[zone];
    }

    /*///////////////////////////////////////////////////////////////
                                MINT / BURN
    //////////////////////////////////////////////////////////////*/

    function mint(address receiver, uint256 amount) external onlyZone {
        _mint(receiver, amount);
    }

    function burn(address from, uint256 amount) external onlyZone {
        _burn(from, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_NAME","type":"string"},{"internalType":"string","name":"_SYMBOL","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"Unauthorized","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"_zones","type":"address[]"}],"name":"addZones","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"zone","type":"address"}],"name":"removeZone","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"setOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"zones","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

60e06040523480156200001157600080fd5b50604051620016f2380380620016f28339810160408190526200003491620002ac565b8181601282600090805190602001906200005092919062000139565b5081516200006690600190602085019062000139565b5060ff81166080524660a0526200007c6200009d565b60c0525050600680546001600160a01b0319163317905550620003f7915050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051620000d1919062000353565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b828054620001479062000316565b90600052602060002090601f0160209004810192826200016b5760008555620001b6565b82601f106200018657805160ff1916838001178555620001b6565b82800160010185558215620001b6579182015b82811115620001b657825182559160200191906001019062000199565b50620001c4929150620001c8565b5090565b5b80821115620001c45760008155600101620001c9565b634e487b7160e01b600052604160045260246000fd5b600082601f8301126200020757600080fd5b81516001600160401b0380821115620002245762000224620001df565b604051601f8301601f19908116603f011681019082821181831017156200024f576200024f620001df565b816040528381526020925086838588010111156200026c57600080fd5b600091505b8382101562000290578582018301518183018401529082019062000271565b83821115620002a25760008385830101525b9695505050505050565b60008060408385031215620002c057600080fd5b82516001600160401b0380821115620002d857600080fd5b620002e686838701620001f5565b93506020850151915080821115620002fd57600080fd5b506200030c85828601620001f5565b9150509250929050565b600181811c908216806200032b57607f821691505b602082108114156200034d57634e487b7160e01b600052602260045260246000fd5b50919050565b600080835481600182811c9150808316806200037057607f831692505b60208084108214156200039157634e487b7160e01b86526022600452602486fd5b818015620003a85760018114620003ba57620003e9565b60ff19861689528489019650620003e9565b60008a81526020902060005b86811015620003e15781548b820152908501908301620003c6565b505084890196505b509498975050505050505050565b60805160a05160c0516112cb6200042760003960006107d5015260006107a00152600061023001526112cb6000f3fe608060405234801561001057600080fd5b506004361061016c5760003560e01c806370a08231116100cd57806395d89b4111610081578063a9059cbb11610066578063a9059cbb14610355578063d505accf14610368578063dd62ed3e1461037b57600080fd5b806395d89b411461033a5780639dc29fac1461034257600080fd5b80637ecebe00116100b25780637ecebe00146102b25780638da5cb5b146102d25780638f77b6ee1461031757600080fd5b806370a082311461027f57806370bdcc851461029f57600080fd5b806323b872dd11610124578063313ce56711610109578063313ce5671461022b5780633644e5151461026457806340c10f191461026c57600080fd5b806323b872dd146101f157806330adf81f1461020457600080fd5b80630e8040a4116101555780630e8040a4146101b257806313af4035146101c757806318160ddd146101da57600080fd5b806306fdde0314610171578063095ea7b31461018f575b600080fd5b6101796103a6565b6040516101869190610ea2565b60405180910390f35b6101a261019d366004610f3e565b610434565b6040519015158152602001610186565b6101c56101c0366004610f68565b6104ad565b005b6101c56101d5366004610fdd565b610598565b6101e360025481565b604051908152602001610186565b6101a26101ff366004610fff565b610658565b6101e37f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b6102527f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff9091168152602001610186565b6101e361079c565b6101c561027a366004610f3e565b6107f7565b6101e361028d366004610fdd565b60036020526000908152604090205481565b6101c56102ad366004610fdd565b61084e565b6101e36102c0366004610fdd565b60056020526000908152604090205481565b6006546102f29073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610186565b6101a2610325366004610fdd565b60076020526000908152604090205460ff1681565b6101796108eb565b6101c5610350366004610f3e565b6108f8565b6101a2610363366004610f3e565b61094b565b6101c561037636600461103b565b6109d0565b6101e36103893660046110ae565b600460209081526000928352604080842090915290825290205481565b600080546103b3906110e1565b80601f01602080910402602001604051908101604052809291908181526020018280546103df906110e1565b801561042c5780601f106104015761010080835404028352916020019161042c565b820191906000526020600020905b81548152906001019060200180831161040f57829003601f168201915b505050505081565b33600081815260046020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061049c9086815260200190565b60405180910390a350600192915050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146104fe576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8060005b818110156105925760016007600086868581811061052257610522611135565b90506020020160208101906105379190610fdd565b73ffffffffffffffffffffffffffffffffffffffff168152602081019190915260400160002080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016911515919091179055600101610502565b50505050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146105e9576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600680547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f4ffd725fc4a22075e9ec71c59edf9c38cdeb588a91b24fc5b61388c5be41282b90600090a250565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146106ec576106ba8382611193565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602090815260408083203384529091529020555b73ffffffffffffffffffffffffffffffffffffffff851660009081526003602052604081208054859290610721908490611193565b909155505073ffffffffffffffffffffffffffffffffffffffff808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906107899087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000046146107d2576107cd610d01565b905090565b507f000000000000000000000000000000000000000000000000000000000000000090565b3360009081526007602052604090205460ff16610840576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61084a8282610d9b565b5050565b60065473ffffffffffffffffffffffffffffffffffffffff16331461089f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff16600090815260076020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055565b600180546103b3906110e1565b3360009081526007602052604090205460ff16610941576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61084a8282610e14565b3360009081526003602052604081208054839190839061096c908490611193565b909155505073ffffffffffffffffffffffffffffffffffffffff8316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061049c9086815260200190565b42841015610a3f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000610a4961079c565b73ffffffffffffffffffffffffffffffffffffffff89811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938c166060840152608083018b905260a083019390935260c08083018a90528151808403909101815260e0830190915280519201919091207f190100000000000000000000000000000000000000000000000000000000000061010083015261010282019290925261012281019190915261014201604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa158015610ba8573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590610c2357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610c89576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f494e56414c49445f5349474e45520000000000000000000000000000000000006044820152606401610a36565b73ffffffffffffffffffffffffffffffffffffffff90811660009081526004602090815260408083208b8516808552908352928190208a905551898152919350918a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610d3391906111aa565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b8060026000828254610dad919061127d565b909155505073ffffffffffffffffffffffffffffffffffffffff82166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91015b60405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526003602052604081208054839290610e49908490611193565b909155505060028054829003905560405181815260009073ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610e08565b600060208083528351808285015260005b81811015610ecf57858101830151858201604001528201610eb3565b81811115610ee1576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f3957600080fd5b919050565b60008060408385031215610f5157600080fd5b610f5a83610f15565b946020939093013593505050565b60008060208385031215610f7b57600080fd5b823567ffffffffffffffff80821115610f9357600080fd5b818501915085601f830112610fa757600080fd5b813581811115610fb657600080fd5b8660208260051b8501011115610fcb57600080fd5b60209290920196919550909350505050565b600060208284031215610fef57600080fd5b610ff882610f15565b9392505050565b60008060006060848603121561101457600080fd5b61101d84610f15565b925061102b60208501610f15565b9150604084013590509250925092565b600080600080600080600060e0888a03121561105657600080fd5b61105f88610f15565b965061106d60208901610f15565b95506040880135945060608801359350608088013560ff8116811461109157600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156110c157600080fd5b6110ca83610f15565b91506110d860208401610f15565b90509250929050565b600181811c908216806110f557607f821691505b6020821081141561112f577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156111a5576111a5611164565b500390565b600080835481600182811c9150808316806111c657607f831692505b60208084108214156111ff577f4e487b710000000000000000000000000000000000000000000000000000000086526022600452602486fd5b81801561121357600181146112425761126f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0086168952848901965061126f565b60008a81526020902060005b868110156112675781548b82015290850190830161124e565b505084890196505b509498975050505050505050565b6000821982111561129057611290611164565b50019056fea2646970667358221220abc838e4c4f7cd19b14a61304247935f2fec5da500ec3cff5cdb5280cd06124064736f6c634300080c0033000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000003464c5900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003464c590000000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061016c5760003560e01c806370a08231116100cd57806395d89b4111610081578063a9059cbb11610066578063a9059cbb14610355578063d505accf14610368578063dd62ed3e1461037b57600080fd5b806395d89b411461033a5780639dc29fac1461034257600080fd5b80637ecebe00116100b25780637ecebe00146102b25780638da5cb5b146102d25780638f77b6ee1461031757600080fd5b806370a082311461027f57806370bdcc851461029f57600080fd5b806323b872dd11610124578063313ce56711610109578063313ce5671461022b5780633644e5151461026457806340c10f191461026c57600080fd5b806323b872dd146101f157806330adf81f1461020457600080fd5b80630e8040a4116101555780630e8040a4146101b257806313af4035146101c757806318160ddd146101da57600080fd5b806306fdde0314610171578063095ea7b31461018f575b600080fd5b6101796103a6565b6040516101869190610ea2565b60405180910390f35b6101a261019d366004610f3e565b610434565b6040519015158152602001610186565b6101c56101c0366004610f68565b6104ad565b005b6101c56101d5366004610fdd565b610598565b6101e360025481565b604051908152602001610186565b6101a26101ff366004610fff565b610658565b6101e37f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b6102527f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff9091168152602001610186565b6101e361079c565b6101c561027a366004610f3e565b6107f7565b6101e361028d366004610fdd565b60036020526000908152604090205481565b6101c56102ad366004610fdd565b61084e565b6101e36102c0366004610fdd565b60056020526000908152604090205481565b6006546102f29073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610186565b6101a2610325366004610fdd565b60076020526000908152604090205460ff1681565b6101796108eb565b6101c5610350366004610f3e565b6108f8565b6101a2610363366004610f3e565b61094b565b6101c561037636600461103b565b6109d0565b6101e36103893660046110ae565b600460209081526000928352604080842090915290825290205481565b600080546103b3906110e1565b80601f01602080910402602001604051908101604052809291908181526020018280546103df906110e1565b801561042c5780601f106104015761010080835404028352916020019161042c565b820191906000526020600020905b81548152906001019060200180831161040f57829003601f168201915b505050505081565b33600081815260046020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061049c9086815260200190565b60405180910390a350600192915050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146104fe576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8060005b818110156105925760016007600086868581811061052257610522611135565b90506020020160208101906105379190610fdd565b73ffffffffffffffffffffffffffffffffffffffff168152602081019190915260400160002080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016911515919091179055600101610502565b50505050565b60065473ffffffffffffffffffffffffffffffffffffffff1633146105e9576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600680547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f4ffd725fc4a22075e9ec71c59edf9c38cdeb588a91b24fc5b61388c5be41282b90600090a250565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146106ec576106ba8382611193565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602090815260408083203384529091529020555b73ffffffffffffffffffffffffffffffffffffffff851660009081526003602052604081208054859290610721908490611193565b909155505073ffffffffffffffffffffffffffffffffffffffff808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906107899087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000a86a46146107d2576107cd610d01565b905090565b507f4871fcdf3a3f00f7e2f5a587986df017dd83260d76dd8a63ba9ba3f744bee0f190565b3360009081526007602052604090205460ff16610840576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61084a8282610d9b565b5050565b60065473ffffffffffffffffffffffffffffffffffffffff16331461089f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff16600090815260076020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055565b600180546103b3906110e1565b3360009081526007602052604090205460ff16610941576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61084a8282610e14565b3360009081526003602052604081208054839190839061096c908490611193565b909155505073ffffffffffffffffffffffffffffffffffffffff8316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061049c9086815260200190565b42841015610a3f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000610a4961079c565b73ffffffffffffffffffffffffffffffffffffffff89811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938c166060840152608083018b905260a083019390935260c08083018a90528151808403909101815260e0830190915280519201919091207f190100000000000000000000000000000000000000000000000000000000000061010083015261010282019290925261012281019190915261014201604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa158015610ba8573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590610c2357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610c89576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f494e56414c49445f5349474e45520000000000000000000000000000000000006044820152606401610a36565b73ffffffffffffffffffffffffffffffffffffffff90811660009081526004602090815260408083208b8516808552908352928190208a905551898152919350918a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610d3391906111aa565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b8060026000828254610dad919061127d565b909155505073ffffffffffffffffffffffffffffffffffffffff82166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91015b60405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526003602052604081208054839290610e49908490611193565b909155505060028054829003905560405181815260009073ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610e08565b600060208083528351808285015260005b81811015610ecf57858101830151858201604001528201610eb3565b81811115610ee1576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f3957600080fd5b919050565b60008060408385031215610f5157600080fd5b610f5a83610f15565b946020939093013593505050565b60008060208385031215610f7b57600080fd5b823567ffffffffffffffff80821115610f9357600080fd5b818501915085601f830112610fa757600080fd5b813581811115610fb657600080fd5b8660208260051b8501011115610fcb57600080fd5b60209290920196919550909350505050565b600060208284031215610fef57600080fd5b610ff882610f15565b9392505050565b60008060006060848603121561101457600080fd5b61101d84610f15565b925061102b60208501610f15565b9150604084013590509250925092565b600080600080600080600060e0888a03121561105657600080fd5b61105f88610f15565b965061106d60208901610f15565b95506040880135945060608801359350608088013560ff8116811461109157600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156110c157600080fd5b6110ca83610f15565b91506110d860208401610f15565b90509250929050565b600181811c908216806110f557607f821691505b6020821081141561112f577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000828210156111a5576111a5611164565b500390565b600080835481600182811c9150808316806111c657607f831692505b60208084108214156111ff577f4e487b710000000000000000000000000000000000000000000000000000000086526022600452602486fd5b81801561121357600181146112425761126f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0086168952848901965061126f565b60008a81526020902060005b868110156112675781548b82015290850190830161124e565b505084890196505b509498975050505050505050565b6000821982111561129057611290611164565b50019056fea2646970667358221220abc838e4c4f7cd19b14a61304247935f2fec5da500ec3cff5cdb5280cd06124064736f6c634300080c0033

000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000003464c5900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003464c590000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _NAME (string): FLY
Arg [1] : _SYMBOL (string): FLY

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [3] : 464c590000000000000000000000000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [5] : 464c590000000000000000000000000000000000000000000000000000000000

6669:2298:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1045:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2681:217;;;;;;:::i;:::-;;:::i;:::-;;;1300:14:1;;1293:22;1275:41;;1263:2;1248:18;2681:217:0;1135:187:1;8189:265:0;;;;;;:::i;:::-;;:::i;:::-;;7704:184;;;;;;:::i;:::-;;:::i;1329:26::-;;;;;;;;;2284:25:1;;;2272:2;2257:18;1329:26:0;2138:177:1;3299:612:0;;;;;;:::i;:::-;;:::i;1680:146::-;;1731:95;1680:146;;1101:31;;;;;;;;3007:4:1;2995:17;;;2977:36;;2965:2;2950:18;1101:31:0;2835:184:1;5139:179:0;;;:::i;8748:108::-;;;;;;:::i;:::-;;:::i;1364:44::-;;;;;;:::i;:::-;;;;;;;;;;;;;;8462:90;;;;;;:::i;:::-;;:::i;1947:41::-;;;;;;:::i;:::-;;;;;;;;;;;;;;6698:20;;;;;;;;;;;;3200:42:1;3188:55;;;3170:74;;3158:2;3143:18;6698:20:0;3024:226:1;6768:37:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1072:20;;;:::i;8864:100::-;;;;;;:::i;:::-;;:::i;2906:385::-;;;;;;:::i;:::-;;:::i;4108:1023::-;;;;;;:::i;:::-;;:::i;1417:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;1045:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2681:217::-;2782:10;2755:4;2772:21;;;:9;:21;;;;;;;;;:30;;;;;;;;;;:39;;;2829:37;2755:4;;2772:30;;2829:37;;;;2805:6;2284:25:1;;2272:2;2257:18;;2138:177;2829:37:0;;;;;;;;-1:-1:-1;2886:4:0;2681:217;;;;:::o;8189:265::-;7648:5;;;;7634:10;:19;7630:46;;7662:14;;;;;;;;;;;;;;7630:46;8281:6;8264:14:::1;8305:142;8325:6;8321:1;:10;8305:142;;;8369:4;8350:5;:16;8356:6;;8363:1;8356:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;8350:16;;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;8350:16:0;:23;;;::::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;8417:3:0::1;8305:142;;;;8253:201;8189:265:::0;;:::o;7704:184::-;7648:5;;;;7634:10;:19;7630:46;;7662:14;;;;;;;;;;;;;;7630:46;7826:5:::1;:16:::0;;;::::1;;::::0;::::1;::::0;;::::1;::::0;;;7858:22:::1;::::0;::::1;::::0;-1:-1:-1;;7858:22:0::1;7704:184:::0;:::o;3299:612::-;3456:15;;;3421:4;3456:15;;;:9;:15;;;;;;;;3472:10;3456:27;;;;;;;;3547:17;3536:28;;3532:80;;3596:16;3606:6;3596:7;:16;:::i;:::-;3566:15;;;;;;;:9;:15;;;;;;;;3582:10;3566:27;;;;;;;:46;3532:80;3625:15;;;;;;;:9;:15;;;;;:25;;3644:6;;3625:15;:25;;3644:6;;3625:25;:::i;:::-;;;;-1:-1:-1;;3801:13:0;;;;;;;;:9;:13;;;;;;;:23;;;;;;3853:26;3801:13;;3853:26;;;;;;;3818:6;2284:25:1;;2272:2;2257:18;;2138:177;3853:26:0;;;;;;;;-1:-1:-1;3899:4:0;;3299:612;-1:-1:-1;;;;3299:612:0:o;5139:179::-;5196:7;5240:16;5223:13;:33;:87;;5286:24;:22;:24::i;:::-;5216:94;;5139:179;:::o;5223:87::-;-1:-1:-1;5259:24:0;;5139:179::o;8748:108::-;8127:10;8121:17;;;;:5;:17;;;;;;;;8116:45;;8147:14;;;;;;;;;;;;;;8116:45;8825:23:::1;8831:8;8841:6;8825:5;:23::i;:::-;8748:108:::0;;:::o;8462:90::-;7648:5;;;;7634:10;:19;7630:46;;7662:14;;;;;;;;;;;;;;7630:46;8533:11:::1;;;::::0;;;:5:::1;:11;::::0;;;;8526:18;;;::::1;::::0;;8462:90::o;1072:20::-;;;;;;;:::i;8864:100::-;8127:10;8121:17;;;;:5;:17;;;;;;;;8116:45;;8147:14;;;;;;;;;;;;;;8116:45;8937:19:::1;8943:4;8949:6;8937:5;:19::i;2906:385::-:0;3003:10;2976:4;2993:21;;;:9;:21;;;;;:31;;3018:6;;2993:21;2976:4;;2993:31;;3018:6;;2993:31;:::i;:::-;;;;-1:-1:-1;;3175:13:0;;;;;;;:9;:13;;;;;;;:23;;;;;;3227:32;3236:10;;3227:32;;;;3192:6;2284:25:1;;2272:2;2257:18;;2138:177;4108:1023:0;4336:15;4324:8;:27;;4316:63;;;;;;;5370:2:1;4316:63:0;;;5352:21:1;5409:2;5389:18;;;5382:30;5448:25;5428:18;;;5421:53;5491:18;;4316:63:0;;;;;;;;;4549:14;4666:18;:16;:18::i;:::-;4768:13;;;;;;;;:6;:13;;;;;;;;;:15;;;;;;;;4717:77;;1731:95;4717:77;;;5807:25:1;5909:18;;;5902:43;;;;5981:15;;;5961:18;;;5954:43;6013:18;;;6006:34;;;6056:19;;;6049:35;;;;6100:19;;;;6093:35;;;4717:77:0;;;;;;;;;;5779:19:1;;;4717:77:0;;;4707:88;;;;;;;;6409:66:1;4594:220:0;;;6397:79:1;6492:11;;;6485:27;;;;6528:12;;;6521:28;;;;6565:12;;4594:220:0;;;;;;;;;;;;;4566:263;;4594:220;4566:263;;;;4846:24;4873:26;;;;;;;;;6815:25:1;;;6888:4;6876:17;;6856:18;;;6849:45;;;;6910:18;;;6903:34;;;6953:18;;;6946:34;;;4566:263:0;;-1:-1:-1;4846:24:0;4873:26;;6787:19:1;;4873:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4873:26:0;;;;;;-1:-1:-1;;4924:30:0;;;;;;;:59;;;4978:5;4958:25;;:16;:25;;;4924:59;4916:86;;;;;;;7193:2:1;4916:86:0;;;7175:21:1;7232:2;7212:18;;;7205:30;7271:16;7251:18;;;7244:44;7305:18;;4916:86:0;6991:338:1;4916:86:0;5019:27;;;;;;;;:9;:27;;;;;;;;:36;;;;;;;;;;;;;:44;;;5092:31;2284:25:1;;;5019:36:0;;-1:-1:-1;5092:31:0;;;;;;2257:18:1;5092:31:0;;;;;;;4108:1023;;;;;;;:::o;5326:457::-;5391:7;5492:95;5626:4;5610:22;;;;;;:::i;:::-;;;;;;;;;;5459:301;;;8946:25:1;;;;8987:18;;8980:34;;;;5655:14:0;9030:18:1;;;9023:34;5692:13:0;9073:18:1;;;9066:34;5736:4:0;9116:19:1;;;9109:84;8918:19;;5459:301:0;;;;;;;;;;;;5431:344;;;;;;5411:364;;5326:457;:::o;5983:335::-;6069:6;6054:11;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;;6226:13:0;;;;;;;:9;:13;;;;;;;;:23;;;;;;6278:32;2284:25:1;;;6278:32:0;;2257:18:1;6278:32:0;;;;;;;;5983:335;;:::o;6326:338::-;6399:15;;;;;;;:9;:15;;;;;:25;;6418:6;;6399:15;:25;;6418:6;;6399:25;:::i;:::-;;;;-1:-1:-1;;6572:11:0;:21;;;;;;;6622:34;;2284:25:1;;;-1:-1:-1;;6622:34:0;;;;;;2272:2:1;2257:18;6622:34:0;2138:177:1;14:656;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;586:2:1;574:15;591:66;570:88;555:104;;;;661:2;551:113;;14:656;-1:-1:-1;;;14:656:1:o;675:196::-;743:20;;803:42;792:54;;782:65;;772:93;;861:1;858;851:12;772:93;675:196;;;:::o;876:254::-;944:6;952;1005:2;993:9;984:7;980:23;976:32;973:52;;;1021:1;1018;1011:12;973:52;1044:29;1063:9;1044:29;:::i;:::-;1034:39;1120:2;1105:18;;;;1092:32;;-1:-1:-1;;;876:254:1:o;1327:615::-;1413:6;1421;1474:2;1462:9;1453:7;1449:23;1445:32;1442:52;;;1490:1;1487;1480:12;1442:52;1530:9;1517:23;1559:18;1600:2;1592:6;1589:14;1586:34;;;1616:1;1613;1606:12;1586:34;1654:6;1643:9;1639:22;1629:32;;1699:7;1692:4;1688:2;1684:13;1680:27;1670:55;;1721:1;1718;1711:12;1670:55;1761:2;1748:16;1787:2;1779:6;1776:14;1773:34;;;1803:1;1800;1793:12;1773:34;1856:7;1851:2;1841:6;1838:1;1834:14;1830:2;1826:23;1822:32;1819:45;1816:65;;;1877:1;1874;1867:12;1816:65;1908:2;1900:11;;;;;1930:6;;-1:-1:-1;1327:615:1;;-1:-1:-1;;;;1327:615:1:o;1947:186::-;2006:6;2059:2;2047:9;2038:7;2034:23;2030:32;2027:52;;;2075:1;2072;2065:12;2027:52;2098:29;2117:9;2098:29;:::i;:::-;2088:39;1947:186;-1:-1:-1;;;1947:186:1:o;2320:328::-;2397:6;2405;2413;2466:2;2454:9;2445:7;2441:23;2437:32;2434:52;;;2482:1;2479;2472:12;2434:52;2505:29;2524:9;2505:29;:::i;:::-;2495:39;;2553:38;2587:2;2576:9;2572:18;2553:38;:::i;:::-;2543:48;;2638:2;2627:9;2623:18;2610:32;2600:42;;2320:328;;;;;:::o;3255:693::-;3366:6;3374;3382;3390;3398;3406;3414;3467:3;3455:9;3446:7;3442:23;3438:33;3435:53;;;3484:1;3481;3474:12;3435:53;3507:29;3526:9;3507:29;:::i;:::-;3497:39;;3555:38;3589:2;3578:9;3574:18;3555:38;:::i;:::-;3545:48;;3640:2;3629:9;3625:18;3612:32;3602:42;;3691:2;3680:9;3676:18;3663:32;3653:42;;3745:3;3734:9;3730:19;3717:33;3790:4;3783:5;3779:16;3772:5;3769:27;3759:55;;3810:1;3807;3800:12;3759:55;3255:693;;;;-1:-1:-1;3255:693:1;;;;3833:5;3885:3;3870:19;;3857:33;;-1:-1:-1;3937:3:1;3922:19;;;3909:33;;3255:693;-1:-1:-1;;3255:693:1:o;3953:260::-;4021:6;4029;4082:2;4070:9;4061:7;4057:23;4053:32;4050:52;;;4098:1;4095;4088:12;4050:52;4121:29;4140:9;4121:29;:::i;:::-;4111:39;;4169:38;4203:2;4192:9;4188:18;4169:38;:::i;:::-;4159:48;;3953:260;;;;;:::o;4218:437::-;4297:1;4293:12;;;;4340;;;4361:61;;4415:4;4407:6;4403:17;4393:27;;4361:61;4468:2;4460:6;4457:14;4437:18;4434:38;4431:218;;;4505:77;4502:1;4495:88;4606:4;4603:1;4596:15;4634:4;4631:1;4624:15;4431:218;;4218:437;;;:::o;4660:184::-;4712:77;4709:1;4702:88;4809:4;4806:1;4799:15;4833:4;4830:1;4823:15;4849:184;4901:77;4898:1;4891:88;4998:4;4995:1;4988:15;5022:4;5019:1;5012:15;5038:125;5078:4;5106:1;5103;5100:8;5097:34;;;5111:18;;:::i;:::-;-1:-1:-1;5148:9:1;;5038:125::o;7463:1219::-;7593:3;7622:1;7655:6;7649:13;7685:3;7707:1;7735:9;7731:2;7727:18;7717:28;;7795:2;7784:9;7780:18;7817;7807:61;;7861:4;7853:6;7849:17;7839:27;;7807:61;7887:2;7935;7927:6;7924:14;7904:18;7901:38;7898:222;;;7974:77;7969:3;7962:90;8075:4;8072:1;8065:15;8105:4;8100:3;8093:17;7898:222;8136:18;8163:162;;;;8339:1;8334:323;;;;8129:528;;8163:162;8211:66;8200:9;8196:82;8191:3;8184:95;8308:6;8303:3;8299:16;8292:23;;8163:162;;8334:323;7410:1;7403:14;;;7447:4;7434:18;;8432:1;8446:165;8460:6;8457:1;8454:13;8446:165;;;8538:14;;8525:11;;;8518:35;8581:16;;;;8475:10;;8446:165;;;8450:3;;8640:6;8635:3;8631:16;8624:23;;8129:528;-1:-1:-1;8673:3:1;;7463:1219;-1:-1:-1;;;;;;;;7463:1219:1:o;9204:128::-;9244:3;9275:1;9271:6;9268:1;9265:13;9262:39;;;9281:18;;:::i;:::-;-1:-1:-1;9317:9:1;;9204:128::o

ipfs://abc838e4c4f7cd19b14a61304247935f2fec5da500ec3cff5cdb5280cd061240