Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.28;

interface IFuku {
    function mint(
        uint32 qty,
        bytes32[] calldata proof,
        uint64 timestamp,
        bytes calldata signature
    ) external payable;
    function totalSupply() external view returns (uint256);
    function transferFrom(address from, address to, uint256 tokenId) external;
}

contract MintFuku {
    error InvalidAmount();
    error WithdrawalFailed();
    error OnePerPerson();
    error NotStarted();
    error WithdrawalsNotEnabled();
    error AlreadyStarted();
    struct Deposit {
        address user;
        uint96 balance;
    }

    uint256 public constant cost = 69 ether;
    uint256 public constant costWithFee = 80 ether;
    IFuku public constant FUKU = IFuku(0x1bcbD0D45d35BBBE514BEc8CB9e48C51835a6d8c);

    address public immutable _owner;
    uint256 public constant startTime = 1731366000;
    uint256 public constant _MAX_TOTAL_SUPPLY = 1111;

    Deposit[] public deposits;
    mapping(address => uint256) public indexToAddress;

    constructor() {
        _owner = msg.sender;
    }

    receive() external payable {
        deposit();
    }

    function deposit() public payable {
        if (block.timestamp >= startTime) revert AlreadyStarted();

        if (msg.value % costWithFee != 0) {
            revert InvalidAmount();
        }

        if (indexToAddress[msg.sender] == 0) {
            indexToAddress[msg.sender] = deposits.length;
            deposits.push(Deposit(msg.sender, uint96(msg.value)));
        } else {
            deposits[indexToAddress[msg.sender]].balance += uint96(msg.value);

            if (deposits[indexToAddress[msg.sender]].balance > costWithFee * 5) {
                revert InvalidAmount();
            }
        }
    }

    function mint() external {
        uint256 nextTokenId = FUKU.totalSupply();

        for (uint256 i = 0; i < deposits.length; i++) {
            uint256 mintCount = deposits[i].balance / costWithFee;

            if (nextTokenId + mintCount > _MAX_TOTAL_SUPPLY) {
                uint256 differenceToRefund = (nextTokenId + mintCount) - _MAX_TOTAL_SUPPLY;
                mintCount = _MAX_TOTAL_SUPPLY - nextTokenId;
                deposits[i].user.call{value: differenceToRefund * costWithFee}("");
            }

            for (uint256 j = 0; j < mintCount; j++) {
                new Minter{value: cost}(deposits[i].user, nextTokenId + j);
            }

            payable(_owner).call{value: (costWithFee - cost) * mintCount}("");
            unchecked { nextTokenId += mintCount; }

            delete deposits[i];
        }
    }

    function withdraw() external {
        uint256 balance = deposits[indexToAddress[msg.sender]].balance;
        deposits[indexToAddress[msg.sender]].balance = 0;
        payable(msg.sender).call{value: balance}("");
    }

    function ownerWithdraw() external {
        if (msg.sender != _owner) revert WithdrawalFailed();
        (bool success, ) = payable(_owner).call{value: address(this).balance }("");
        if (!success) revert WithdrawalFailed();
    }
}

contract Minter {
    uint256 public constant _COST = 69 ether;
    IFuku public constant FUKU = IFuku(0x1bcbD0D45d35BBBE514BEc8CB9e48C51835a6d8c);

    constructor(address minter, uint256 tokenIdToMint) payable {
        FUKU.mint{value: msg.value}(1, new bytes32[](0), uint64(0), new bytes(0));

        FUKU.transferFrom(address(this), minter, tokenIdToMint);
    }
}

{
  "remappings": [
    "forge-std/=lib/forge-std/src/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "evmVersion": "shanghai",
  "viaIR": false,
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AlreadyStarted","type":"error"},{"inputs":[],"name":"InvalidAmount","type":"error"},{"inputs":[],"name":"NotStarted","type":"error"},{"inputs":[],"name":"OnePerPerson","type":"error"},{"inputs":[],"name":"WithdrawalFailed","type":"error"},{"inputs":[],"name":"WithdrawalsNotEnabled","type":"error"},{"inputs":[],"name":"FUKU","outputs":[{"internalType":"contract IFuku","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_MAX_TOTAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cost","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"costWithFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"deposits","outputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint96","name":"balance","type":"uint96"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"indexToAddress","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ownerWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a0604052348015600e575f5ffd5b5033608052608051610d276100405f395f81816101f001528181610633015281816107cd015261080e0152610d275ff3fe6080604052600436106100a8575f3560e01c806378e979251161006257806378e979251461016d578063961df4ac14610184578063b02c43d014610199578063b2bdfa7b146101df578063d0e30db01461022a578063dda25edf14610232575f5ffd5b80631249c58b146100bb57806313faede6146100cf57806315718831146100fe57806331105912146101295780633ccfd60b146101455780634311de8f14610159575f5ffd5b366100b7576100b5610259565b005b5f5ffd5b3480156100c6575f5ffd5b506100b5610421565b3480156100da575f5ffd5b506100eb6803bd913e6c1df4000081565b6040519081526020015b60405180910390f35b348015610109575f5ffd5b506100eb6101183660046108e3565b60016020525f908152604090205481565b348015610134575f5ffd5b506100eb6804563918244f40000081565b348015610150575f5ffd5b506100b56106e9565b348015610164575f5ffd5b506100b56107c2565b348015610178575f5ffd5b506100eb6367328c7081565b34801561018f575f5ffd5b506100eb61045781565b3480156101a4575f5ffd5b506101b86101b3366004610910565b61089e565b604080516001600160a01b0390931683526001600160601b039091166020830152016100f5565b3480156101ea575f5ffd5b506102127f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100f5565b6100b5610259565b34801561023d575f5ffd5b50610212731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c81565b6367328c70421061027d57604051631fbde44560e01b815260040160405180910390fd5b6102906804563918244f4000003461093b565b156102ae5760405163162908e360e11b815260040160405180910390fd5b335f90815260016020526040812054900361033f575f80543380835260016020818152604080862085905580518082019091529283526001600160601b0334811691840191825291840185559380529051925116600160a01b026001600160a01b0392909216919091177f290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56390910155565b335f9081526001602052604081205481543492919081106103625761036261094e565b5f918252602090912001805460149061038c908490600160a01b90046001600160601b0316610976565b92506101000a8154816001600160601b0302191690836001600160601b031602179055506804563918244f40000060056103c6919061099b565b335f90815260016020526040812054815481106103e5576103e561094e565b5f91825260209091200154600160a01b90046001600160601b0316111561041f5760405163162908e360e11b815260040160405180910390fd5b565b5f731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c6001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610472573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061049691906109b2565b90505f5b5f548110156106e5575f6804563918244f4000005f83815481106104c0576104c061094e565b5f918252602090912001546104e59190600160a01b90046001600160601b03166109c9565b90506104576104f482856109dc565b111561059e575f61045761050883866109dc565b61051291906109ef565b9050610520846104576109ef565b91505f83815481106105345761053461094e565b5f918252602090912001546001600160a01b031661055b6804563918244f4000008361099b565b6040515f81818185875af1925050503d805f8114610594576040519150601f19603f3d011682016040523d82523d5f602084013e610599565b606091505b505050505b5f5b81811015610628576803bd913e6c1df400005f84815481106105c4576105c461094e565b5f918252602090912001546001600160a01b03166105e283876109dc565b6040516105ee906108d6565b6001600160a01b03909216825260208201526040016040518091039082f090508015801561061e573d5f5f3e3d5ffd5b50506001016105a0565b506001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016816106706803bd913e6c1df400006804563918244f4000006109ef565b61067a919061099b565b6040515f81818185875af1925050503d805f81146106b3576040519150601f19603f3d011682016040523d82523d5f602084013e6106b8565b606091505b50505080830192505f82815481106106d2576106d261094e565b5f9182526020822001555060010161049a565b5050565b335f908152600160205260408120548154829190811061070b5761070b61094e565b5f91825260208083209190910154338352600190915260408220548254600160a01b9092046001600160601b031693508291811061074b5761074b61094e565b5f918252602082200180546001600160601b0393909316600160a01b026001600160a01b0390931692909217909155604051339183919081818185875af1925050503d805f81146107b7576040519150601f19603f3d011682016040523d82523d5f602084013e6107bc565b606091505b50505050565b336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461080b576040516327fcd9d160e01b815260040160405180910390fd5b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316476040515f6040518083038185875af1925050503d805f8114610874576040519150601f19603f3d011682016040523d82523d5f602084013e610879565b606091505b505090508061089b576040516327fcd9d160e01b815260040160405180910390fd5b50565b5f81815481106108ac575f80fd5b5f918252602090912001546001600160a01b0381169150600160a01b90046001600160601b031682565b6102ef80610a0383390190565b5f602082840312156108f3575f5ffd5b81356001600160a01b0381168114610909575f5ffd5b9392505050565b5f60208284031215610920575f5ffd5b5035919050565b634e487b7160e01b5f52601260045260245ffd5b5f8261094957610949610927565b500690565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b6001600160601b03818116838216019081111561099557610995610962565b92915050565b808202811582820484141761099557610995610962565b5f602082840312156109c2575f5ffd5b5051919050565b5f826109d7576109d7610927565b500490565b8082018082111561099557610995610962565b818103818111156109955761099561096256fe60806040526040516102ef3803806102ef83398101604081905261002291610143565b731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c63efb6b11f3460015f604051908082528060200260200182016040528015610069578160200160208202803683370190505b50604080515f808252602082019092526040518663ffffffff1660e01b8152600401610098949392919061017a565b5f604051808303818588803b1580156100af575f5ffd5b505af11580156100c1573d5f5f3e3d5ffd5b50506040516323b872dd60e01b81523060048201526001600160a01b038616602482015260448101859052731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c93506323b872dd925060640190505f604051808303815f87803b158015610126575f5ffd5b505af1158015610138573d5f5f3e3d5ffd5b505050505050610226565b5f5f60408385031215610154575f5ffd5b82516001600160a01b038116811461016a575f5ffd5b6020939093015192949293505050565b5f6080820163ffffffff871683526080602084015280865180835260a0850191506020880192505f5b818110156101c15783518352602093840193909201916001016101a3565b50506001600160401b0386166040850152838103606085015284518082525f9250825b81811015610200576020818801810151848301820152016101e4565b505f828201602090810191909152601f909101601f191690910101979650505050505050565b60bd806102325f395ff3fe6080604052348015600e575f5ffd5b50600436106030575f3560e01c806301c8a2f4146034578063dda25edf146056575b5f5ffd5b60436803bd913e6c1df4000081565b6040519081526020015b60405180910390f35b6070731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c81565b6040516001600160a01b039091168152602001604d56fea2646970667358221220d0867c0586be14bfaaa5e33e81343aad6636f345a9d97c5c1b432789e4f0902464736f6c634300081c0033a2646970667358221220d5e90bfa0707996b6198ed8aabe3737a82a5d59fe965e46cf821253bd15ef41464736f6c634300081c0033

0x6080604052600436106100a8575f3560e01c806378e979251161006257806378e979251461016d578063961df4ac14610184578063b02c43d014610199578063b2bdfa7b146101df578063d0e30db01461022a578063dda25edf14610232575f5ffd5b80631249c58b146100bb57806313faede6146100cf57806315718831146100fe57806331105912146101295780633ccfd60b146101455780634311de8f14610159575f5ffd5b366100b7576100b5610259565b005b5f5ffd5b3480156100c6575f5ffd5b506100b5610421565b3480156100da575f5ffd5b506100eb6803bd913e6c1df4000081565b6040519081526020015b60405180910390f35b348015610109575f5ffd5b506100eb6101183660046108e3565b60016020525f908152604090205481565b348015610134575f5ffd5b506100eb6804563918244f40000081565b348015610150575f5ffd5b506100b56106e9565b348015610164575f5ffd5b506100b56107c2565b348015610178575f5ffd5b506100eb6367328c7081565b34801561018f575f5ffd5b506100eb61045781565b3480156101a4575f5ffd5b506101b86101b3366004610910565b61089e565b604080516001600160a01b0390931683526001600160601b039091166020830152016100f5565b3480156101ea575f5ffd5b506102127f0000000000000000000000007d79bd0e4b3dc90665a3ed30aa6c6c06c89d224e81565b6040516001600160a01b0390911681526020016100f5565b6100b5610259565b34801561023d575f5ffd5b50610212731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c81565b6367328c70421061027d57604051631fbde44560e01b815260040160405180910390fd5b6102906804563918244f4000003461093b565b156102ae5760405163162908e360e11b815260040160405180910390fd5b335f90815260016020526040812054900361033f575f80543380835260016020818152604080862085905580518082019091529283526001600160601b0334811691840191825291840185559380529051925116600160a01b026001600160a01b0392909216919091177f290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56390910155565b335f9081526001602052604081205481543492919081106103625761036261094e565b5f918252602090912001805460149061038c908490600160a01b90046001600160601b0316610976565b92506101000a8154816001600160601b0302191690836001600160601b031602179055506804563918244f40000060056103c6919061099b565b335f90815260016020526040812054815481106103e5576103e561094e565b5f91825260209091200154600160a01b90046001600160601b0316111561041f5760405163162908e360e11b815260040160405180910390fd5b565b5f731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c6001600160a01b03166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610472573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061049691906109b2565b90505f5b5f548110156106e5575f6804563918244f4000005f83815481106104c0576104c061094e565b5f918252602090912001546104e59190600160a01b90046001600160601b03166109c9565b90506104576104f482856109dc565b111561059e575f61045761050883866109dc565b61051291906109ef565b9050610520846104576109ef565b91505f83815481106105345761053461094e565b5f918252602090912001546001600160a01b031661055b6804563918244f4000008361099b565b6040515f81818185875af1925050503d805f8114610594576040519150601f19603f3d011682016040523d82523d5f602084013e610599565b606091505b505050505b5f5b81811015610628576803bd913e6c1df400005f84815481106105c4576105c461094e565b5f918252602090912001546001600160a01b03166105e283876109dc565b6040516105ee906108d6565b6001600160a01b03909216825260208201526040016040518091039082f090508015801561061e573d5f5f3e3d5ffd5b50506001016105a0565b506001600160a01b037f0000000000000000000000007d79bd0e4b3dc90665a3ed30aa6c6c06c89d224e16816106706803bd913e6c1df400006804563918244f4000006109ef565b61067a919061099b565b6040515f81818185875af1925050503d805f81146106b3576040519150601f19603f3d011682016040523d82523d5f602084013e6106b8565b606091505b50505080830192505f82815481106106d2576106d261094e565b5f9182526020822001555060010161049a565b5050565b335f908152600160205260408120548154829190811061070b5761070b61094e565b5f91825260208083209190910154338352600190915260408220548254600160a01b9092046001600160601b031693508291811061074b5761074b61094e565b5f918252602082200180546001600160601b0393909316600160a01b026001600160a01b0390931692909217909155604051339183919081818185875af1925050503d805f81146107b7576040519150601f19603f3d011682016040523d82523d5f602084013e6107bc565b606091505b50505050565b336001600160a01b037f0000000000000000000000007d79bd0e4b3dc90665a3ed30aa6c6c06c89d224e161461080b576040516327fcd9d160e01b815260040160405180910390fd5b5f7f0000000000000000000000007d79bd0e4b3dc90665a3ed30aa6c6c06c89d224e6001600160a01b0316476040515f6040518083038185875af1925050503d805f8114610874576040519150601f19603f3d011682016040523d82523d5f602084013e610879565b606091505b505090508061089b576040516327fcd9d160e01b815260040160405180910390fd5b50565b5f81815481106108ac575f80fd5b5f918252602090912001546001600160a01b0381169150600160a01b90046001600160601b031682565b6102ef80610a0383390190565b5f602082840312156108f3575f5ffd5b81356001600160a01b0381168114610909575f5ffd5b9392505050565b5f60208284031215610920575f5ffd5b5035919050565b634e487b7160e01b5f52601260045260245ffd5b5f8261094957610949610927565b500690565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b6001600160601b03818116838216019081111561099557610995610962565b92915050565b808202811582820484141761099557610995610962565b5f602082840312156109c2575f5ffd5b5051919050565b5f826109d7576109d7610927565b500490565b8082018082111561099557610995610962565b818103818111156109955761099561096256fe60806040526040516102ef3803806102ef83398101604081905261002291610143565b731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c63efb6b11f3460015f604051908082528060200260200182016040528015610069578160200160208202803683370190505b50604080515f808252602082019092526040518663ffffffff1660e01b8152600401610098949392919061017a565b5f604051808303818588803b1580156100af575f5ffd5b505af11580156100c1573d5f5f3e3d5ffd5b50506040516323b872dd60e01b81523060048201526001600160a01b038616602482015260448101859052731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c93506323b872dd925060640190505f604051808303815f87803b158015610126575f5ffd5b505af1158015610138573d5f5f3e3d5ffd5b505050505050610226565b5f5f60408385031215610154575f5ffd5b82516001600160a01b038116811461016a575f5ffd5b6020939093015192949293505050565b5f6080820163ffffffff871683526080602084015280865180835260a0850191506020880192505f5b818110156101c15783518352602093840193909201916001016101a3565b50506001600160401b0386166040850152838103606085015284518082525f9250825b81811015610200576020818801810151848301820152016101e4565b505f828201602090810191909152601f909101601f191690910101979650505050505050565b60bd806102325f395ff3fe6080604052348015600e575f5ffd5b50600436106030575f3560e01c806301c8a2f4146034578063dda25edf146056575b5f5ffd5b60436803bd913e6c1df4000081565b6040519081526020015b60405180910390f35b6070731bcbd0d45d35bbbe514bec8cb9e48c51835a6d8c81565b6040516001600160a01b039091168152602001604d56fea2646970667358221220d0867c0586be14bfaaa5e33e81343aad6636f345a9d97c5c1b432789e4f0902464736f6c634300081c0033a2646970667358221220d5e90bfa0707996b6198ed8aabe3737a82a5d59fe965e46cf821253bd15ef41464736f6c634300081c0033

380:2727:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1154:9;:7;:9::i;:::-;380:2727;;;;;1797:841;;;;;;;;;;;;;:::i;648:39::-;;;;;;;;;;;;679:8;648:39;;;;;160:25:1;;;148:2;133:18;648:39:0;;;;;;;;1005:49;;;;;;;;;;-1:-1:-1;1005:49:0;;;;;:::i;:::-;;;;;;;;;;;;;;693:46;;;;;;;;;;;;731:8;693:46;;2644:220;;;;;;;;;;;;;:::i;2870:235::-;;;;;;;;;;;;;:::i;867:46::-;;;;;;;;;;;;903:10;867:46;;919:48;;;;;;;;;;;;963:4;919:48;;974:25;;;;;;;;;;-1:-1:-1;974:25:0;;;;;:::i;:::-;;:::i;:::-;;;;-1:-1:-1;;;;;862:32:1;;;844:51;;-1:-1:-1;;;;;931:39:1;;;926:2;911:18;;904:67;817:18;974:25:0;672:305:1;830:31:0;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;1146:32:1;;;1128:51;;1116:2;1101:18;830:31:0;982:203:1;1176:615:0;;;:::i;745:78::-;;;;;;;;;;;;780:42;745:78;;1176:615;903:10;1224:15;:28;1220:57;;1261:16;;-1:-1:-1;;;1261:16:0;;;;;;;;;;;1220:57;1292:23;731:8;1292:9;:23;:::i;:::-;:28;1288:81;;1343:15;;-1:-1:-1;;;1343:15:0;;;;;;;;;;;1288:81;1398:10;1383:26;;;;:14;:26;;;;;;:31;;1379:406;;1459:8;:15;;1445:10;1430:26;;;:14;:26;;;;;;;;:44;;;1502:38;;;;;;;;;;;-1:-1:-1;;;;;1529:9:0;1502:38;;;;;;;;1488:53;;;;;;;;;;;;;-1:-1:-1;;;1488:53:0;-1:-1:-1;;;;;1488:53:0;;;;;;;;;;;;;1176:615::o;1379:406::-;1596:10;1572:8;1581:26;;;:14;:26;;;;;;1572:36;;1627:9;;1572:8;1581:26;1572:36;;;;;;:::i;:::-;;;;;;;;;;:65;;:44;;:65;;;;-1:-1:-1;;;1572:65:0;;-1:-1:-1;;;;;1572:65:0;;:::i;:::-;;;;;;;;-1:-1:-1;;;;;1572:65:0;;;;;-1:-1:-1;;;;;1572:65:0;;;;;;731:8;1717:1;1703:15;;;;:::i;:::-;1680:10;1656:8;1665:26;;;:14;:26;;;;;;1656:36;;;;;;;;:::i;:::-;;;;;;;;;;:44;-1:-1:-1;;;1656:44:0;;-1:-1:-1;;;;;1656:44:0;:62;1652:123;;;1745:15;;-1:-1:-1;;;1745:15:0;;;;;;;;;;;1652:123;1176:615::o;1797:841::-;1832:19;780:42;-1:-1:-1;;;;;1854:16:0;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1832:40;-1:-1:-1;1888:9:0;1883:749;1907:8;:15;1903:19;;1883:749;;;1943:17;731:8;1963;1972:1;1963:11;;;;;;;;:::i;:::-;;;;;;;;;;:19;:33;;;-1:-1:-1;;;1963:19:0;;-1:-1:-1;;;;;1963:19:0;:33;:::i;:::-;1943:53;-1:-1:-1;963:4:0;2015:23;1943:53;2015:11;:23;:::i;:::-;:43;2011:301;;;2078:26;963:4;2108:23;2122:9;2108:11;:23;:::i;:::-;2107:45;;;;:::i;:::-;2078:74;-1:-1:-1;2182:31:0;2202:11;963:4;2182:31;:::i;:::-;2170:43;;2231:8;2240:1;2231:11;;;;;;;;:::i;:::-;;;;;;;;;;:16;-1:-1:-1;;;;;2231:16:0;2260:32;731:8;2260:18;:32;:::i;:::-;2231:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2060:252;2011:301;2331:9;2326:131;2350:9;2346:1;:13;2326:131;;;679:8;2408;2417:1;2408:11;;;;;;;;:::i;:::-;;;;;;;;;;:16;-1:-1:-1;;;;;2408:16:0;2426:15;2440:1;2426:11;:15;:::i;:::-;2384:58;;;;;:::i;:::-;-1:-1:-1;;;;;3295:32:1;;;3277:51;;3359:2;3344:18;;3337:34;3265:2;3250:18;2384:58:0;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;2361:3:0;;2326:131;;;-1:-1:-1;;;;;;2479:6:0;2471:20;2522:9;2500:18;679:8;731;2500:18;:::i;:::-;2499:32;;;;:::i;:::-;2471:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2577:9;2562:24;;;;2610:8;2619:1;2610:11;;;;;;;;:::i;:::-;;;;;;;;;2603:18;-1:-1:-1;2603:18:0;1924:3;1883:749;;;;1822:816;1797:841::o;2644:220::-;2725:10;2683:15;2710:26;;;:14;:26;;;;;;2701:36;;2683:15;;2710:26;2701:36;;;;;;:::i;:::-;;;;;;;;;;;;;:44;2779:10;2764:26;;:14;:26;;;;;;;2755:36;;-1:-1:-1;;;2701:44:0;;;-1:-1:-1;;;;;2701:44:0;;-1:-1:-1;2701:36:0;;2755;;;;;;:::i;:::-;;;;;;;;;:48;;-1:-1:-1;;;;;2755:48:0;;;;-1:-1:-1;;;2755:48:0;-1:-1:-1;;;;;2755:48:0;;;;;;;;;;2813:44;;2821:10;;2845:7;;2813:44;;2755:36;2813:44;2845:7;2821:10;2813:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2673:191;2644:220::o;2870:235::-;2918:10;-1:-1:-1;;;;;2932:6:0;2918:20;;2914:51;;2947:18;;-1:-1:-1;;;2947:18:0;;;;;;;;;;;2914:51;2976:12;3002:6;-1:-1:-1;;;;;2994:20:0;3022:21;2994:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2975:74;;;3064:7;3059:39;;3080:18;;-1:-1:-1;;;3080:18:0;;;;;;;;;;;3059:39;2904:201;2870:235::o;974:25::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;974:25:0;;;-1:-1:-1;;;;974:25:0;;-1:-1:-1;;;;;974:25:0;;:::o;-1:-1:-1:-;;;;;;;;:::o;196:286:1:-;255:6;308:2;296:9;287:7;283:23;279:32;276:52;;;324:1;321;314:12;276:52;350:23;;-1:-1:-1;;;;;402:31:1;;392:42;;382:70;;448:1;445;438:12;382:70;471:5;196:286;-1:-1:-1;;;196:286:1:o;487:180::-;546:6;599:2;587:9;578:7;574:23;570:32;567:52;;;615:1;612;605:12;567:52;-1:-1:-1;638:23:1;;487:180;-1:-1:-1;487:180:1:o;1410:127::-;1471:10;1466:3;1462:20;1459:1;1452:31;1502:4;1499:1;1492:15;1526:4;1523:1;1516:15;1542:112;1574:1;1600;1590:35;;1605:18;;:::i;:::-;-1:-1:-1;1639:9:1;;1542:112::o;1659:127::-;1720:10;1715:3;1711:20;1708:1;1701:31;1751:4;1748:1;1741:15;1775:4;1772:1;1765:15;1791:127;1852:10;1847:3;1843:20;1840:1;1833:31;1883:4;1880:1;1873:15;1907:4;1904:1;1897:15;1923:215;-1:-1:-1;;;;;1991:34:1;;;2027;;;1987:75;;2074:35;;2071:61;;;2112:18;;:::i;:::-;1923:215;;;;:::o;2143:168::-;2216:9;;;2247;;2264:15;;;2258:22;;2244:37;2234:71;;2285:18;;:::i;2316:184::-;2386:6;2439:2;2427:9;2418:7;2414:23;2410:32;2407:52;;;2455:1;2452;2445:12;2407:52;-1:-1:-1;2478:16:1;;2316:184;-1:-1:-1;2316:184:1:o;2505:120::-;2545:1;2571;2561:35;;2576:18;;:::i;:::-;-1:-1:-1;2610:9:1;;2505:120::o;2630:125::-;2695:9;;;2716:10;;;2713:36;;;2729:18;;:::i;2760:128::-;2827:9;;;2848:11;;;2845:37;;;2862:18;;:::i

ipfs://d5e90bfa0707996b6198ed8aabe3737a82a5d59fe965e46cf821253bd15ef414