Contract 0x3654d29997968d1334a1502fa2d59ddcf32d47ef

/**
 *Submitted for verification at snowtrace.io on 2023-03-15
*/

// SPDX-License-Identifier: Apache 2.0
pragma solidity 0.8.18;

interface IERC20 {

    function totalSupply() external view returns (uint256);

    function decimals() external view returns (uint8);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address to, 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 mint(address to, uint256 amount) external;

    function burn(address to, uint256 amount) external;

    function transferFrom(
        address from,
        address to,
        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);
}

contract FairLaunch {
    mapping(address => uint256) public userToAmount;
    mapping(address => bool) public userToWithdrawExcessToken;
    uint256 public totalAmountRaised;
    uint256 public totalAmountToRaise;
    uint32 public totalParticipatedUser;
    uint32 public startTimestamp;
    uint32 public endTimestamp;
    bool public contractStatus;

    IERC20 private principalToken;
    address private _owner;

    modifier onlyCaller() {
        require(_owner == msg.sender, "Owner Invalid");
        _;
    }

    constructor (
        address principal_,
        uint256 totalAmountToRaise_,
        uint32 startTime_,
        uint32 endTime_)
    {
        _owner = msg.sender;
        principalToken = IERC20(principal_);
        totalAmountToRaise = totalAmountToRaise_;
        startTimestamp = startTime_;
        endTimestamp = endTime_;
        contractStatus = false;
    }

    receive() external payable{
    }

    // ============= Owner/Admin Actions =================

    function changeContractStatus(bool status) external onlyCaller {
        contractStatus = status;
    }

    function withdrawRaisedAmount() external onlyCaller returns(uint256) {
        require(!contractStatus, 'Sale contract is still active');
        uint256 balance = getMaxWithdrawableBalance();
        principalToken.transfer(msg.sender, balance);
        return balance;
    }

    function setTimeInfo(uint32 startTime_, uint32 endTime_) external onlyCaller {
        require(startTime_ != 0 || endTime_ != 0, "Both timestamp cannot be 0");
        if(startTime_ != 0){
            startTimestamp = startTime_;
        }
        if(endTime_!= 0){
            endTimestamp = endTime_;
        }
    }

    // ============= User Actions =================

    // don't forget to approve the principal token
    function participate(uint256 amount_) external {
        require(contractStatus, "Sale Contract is Inactive");
        require(amount_ > 0, "invalid amount");
        require(startTimestamp < block.timestamp, "project not live");
        require(endTimestamp > block.timestamp, "project has ended");

        if(userToAmount[msg.sender] == 0){
            totalParticipatedUser += 1;
        }

        totalAmountRaised += amount_;
        userToAmount[msg.sender] = userToAmount[msg.sender] + amount_;
        principalToken.transferFrom(msg.sender, address(this), amount_);
    }

    function returnExcessAmount() external {
        require(!contractStatus, 'Sale contract is still active');
        require(totalAmountRaised > totalAmountToRaise, 'Total Amount raised less than hardcap');
        require(userToAmount[msg.sender] > 0, 'No contribution from user');
        require(userToWithdrawExcessToken[msg.sender] == false, 'already withdrawn');

        uint256 diff = totalAmountRaised - totalAmountToRaise;
        uint256 returnAmount = (diff * userToAmount[msg.sender]) / totalAmountRaised;
        userToWithdrawExcessToken[msg.sender] = true;
        principalToken.transfer(msg.sender, returnAmount);
    }

    function owner() external view returns(address){
        return _owner;
    }

    function getMaxWithdrawableBalance() public view returns (uint256) {
        if (totalAmountToRaise >= totalAmountRaised) {
            return totalAmountRaised;
        } else {
            return totalAmountToRaise;
        }
    }
}

[{"inputs":[{"internalType":"address","name":"principal_","type":"address"},{"internalType":"uint256","name":"totalAmountToRaise_","type":"uint256"},{"internalType":"uint32","name":"startTime_","type":"uint32"},{"internalType":"uint32","name":"endTime_","type":"uint32"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"bool","name":"status","type":"bool"}],"name":"changeContractStatus","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"contractStatus","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"endTimestamp","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMaxWithdrawableBalance","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":"uint256","name":"amount_","type":"uint256"}],"name":"participate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"returnExcessAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32","name":"startTime_","type":"uint32"},{"internalType":"uint32","name":"endTime_","type":"uint32"}],"name":"setTimeInfo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTimestamp","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalAmountRaised","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalAmountToRaise","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalParticipatedUser","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userToAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userToWithdrawExcessToken","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdrawRaisedAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040523480156200001157600080fd5b50604051620019e7380380620019e783398181016040528101906200003791906200020c565b33600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555083600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600381905550816004806101000a81548163ffffffff021916908363ffffffff16021790555080600460086101000a81548163ffffffff021916908363ffffffff16021790555060006004600c6101000a81548160ff021916908315150217905550505050506200027e565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600062000158826200012b565b9050919050565b6200016a816200014b565b81146200017657600080fd5b50565b6000815190506200018a816200015f565b92915050565b6000819050919050565b620001a58162000190565b8114620001b157600080fd5b50565b600081519050620001c5816200019a565b92915050565b600063ffffffff82169050919050565b620001e681620001cb565b8114620001f257600080fd5b50565b6000815190506200020681620001db565b92915050565b6000806000806080858703121562000229576200022862000126565b5b6000620002398782880162000179565b94505060206200024c87828801620001b4565b93505060406200025f87828801620001f5565b92505060606200027287828801620001f5565b91505092959194509250565b611759806200028e6000396000f3fe6080604052600436106100ec5760003560e01c80638da5cb5b1161008a578063a85adeab11610059578063a85adeab146102dd578063c6ee20d214610308578063e6fd48bc14610333578063fb8130ec1461035e576100f3565b80638da5cb5b14610231578063951cabe71461025c5780639ebe2d0a14610287578063a0a7a183146102b2576100f3565b80635565fb56116100c65780635565fb561461016357806363255684146101a057806378d18533146101dd578063845c930614610208576100f3565b8063013afbe0146100f8578063242d7dba1461010f5780634b6c36b51461013a576100f3565b366100f357005b600080fd5b34801561010457600080fd5b5061010d610387565b005b34801561011b57600080fd5b5061012461069c565b6040516101319190610e3e565b60405180910390f35b34801561014657600080fd5b50610161600480360381019061015c9190610e96565b6106a2565b005b34801561016f57600080fd5b5061018a60048036038101906101859190610f21565b61074f565b6040516101979190610e3e565b60405180910390f35b3480156101ac57600080fd5b506101c760048036038101906101c29190610f21565b610767565b6040516101d49190610f5d565b60405180910390f35b3480156101e957600080fd5b506101f2610787565b6040516101ff9190610e3e565b60405180910390f35b34801561021457600080fd5b5061022f600480360381019061022a9190610fa4565b61091d565b005b34801561023d57600080fd5b50610246610c33565b6040516102539190610fe0565b60405180910390f35b34801561026857600080fd5b50610271610c5d565b60405161027e9190610e3e565b60405180910390f35b34801561029357600080fd5b5061029c610c7d565b6040516102a99190610e3e565b60405180910390f35b3480156102be57600080fd5b506102c7610c83565b6040516102d4919061101a565b60405180910390f35b3480156102e957600080fd5b506102f2610c99565b6040516102ff919061101a565b60405180910390f35b34801561031457600080fd5b5061031d610caf565b60405161032a9190610f5d565b60405180910390f35b34801561033f57600080fd5b50610348610cc2565b604051610355919061101a565b60405180910390f35b34801561036a57600080fd5b5061038560048036038101906103809190611061565b610cd6565b005b6004600c9054906101000a900460ff16156103d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ce906110fe565b60405180910390fd5b6003546002541161041d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161041490611190565b60405180910390fd5b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541161049e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610495906111fc565b60405180910390fd5b60001515600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514610531576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052890611268565b60405180910390fd5b600060035460025461054391906112b7565b905060006002546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361059491906112eb565b61059e919061135c565b905060018060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161065492919061138d565b6020604051808303816000875af1158015610673573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061069791906113cb565b505050565b60025481565b3373ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610732576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161072990611444565b60405180910390fd5b806004600c6101000a81548160ff02191690831515021790555050565b60006020528060005260406000206000915090505481565b60016020528060005260406000206000915054906101000a900460ff1681565b60003373ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610819576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081090611444565b60405180910390fd5b6004600c9054906101000a900460ff1615610869576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610860906110fe565b60405180910390fd5b6000610873610c5d565b9050600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b81526004016108d292919061138d565b6020604051808303816000875af11580156108f1573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061091591906113cb565b508091505090565b6004600c9054906101000a900460ff1661096c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610963906114b0565b60405180910390fd5b600081116109af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a69061151c565b60405180910390fd5b4260048054906101000a900463ffffffff1663ffffffff1610610a07576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109fe90611588565b60405180910390fd5b42600460089054906101000a900463ffffffff1663ffffffff1611610a61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a58906115f4565b60405180910390fd5b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403610ae8576001600460008282829054906101000a900463ffffffff16610ac99190611614565b92506101000a81548163ffffffff021916908363ffffffff1602179055505b8060026000828254610afa919061164c565b92505081905550806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b4b919061164c565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401610bec93929190611680565b6020604051808303816000875af1158015610c0b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c2f91906113cb565b5050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600060025460035410610c74576002549050610c7a565b60035490505b90565b60035481565b600460009054906101000a900463ffffffff1681565b600460089054906101000a900463ffffffff1681565b6004600c9054906101000a900460ff1681565b60048054906101000a900463ffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610d66576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5d90611444565b60405180910390fd5b60008263ffffffff16141580610d83575060008163ffffffff1614155b610dc2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db990611703565b60405180910390fd5b60008263ffffffff1614610df157816004806101000a81548163ffffffff021916908363ffffffff1602179055505b60008163ffffffff1614610e215780600460086101000a81548163ffffffff021916908363ffffffff1602179055505b5050565b6000819050919050565b610e3881610e25565b82525050565b6000602082019050610e536000830184610e2f565b92915050565b600080fd5b60008115159050919050565b610e7381610e5e565b8114610e7e57600080fd5b50565b600081359050610e9081610e6a565b92915050565b600060208284031215610eac57610eab610e59565b5b6000610eba84828501610e81565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610eee82610ec3565b9050919050565b610efe81610ee3565b8114610f0957600080fd5b50565b600081359050610f1b81610ef5565b92915050565b600060208284031215610f3757610f36610e59565b5b6000610f4584828501610f0c565b91505092915050565b610f5781610e5e565b82525050565b6000602082019050610f726000830184610f4e565b92915050565b610f8181610e25565b8114610f8c57600080fd5b50565b600081359050610f9e81610f78565b92915050565b600060208284031215610fba57610fb9610e59565b5b6000610fc884828501610f8f565b91505092915050565b610fda81610ee3565b82525050565b6000602082019050610ff56000830184610fd1565b92915050565b600063ffffffff82169050919050565b61101481610ffb565b82525050565b600060208201905061102f600083018461100b565b92915050565b61103e81610ffb565b811461104957600080fd5b50565b60008135905061105b81611035565b92915050565b6000806040838503121561107857611077610e59565b5b60006110868582860161104c565b92505060206110978582860161104c565b9150509250929050565b600082825260208201905092915050565b7f53616c6520636f6e7472616374206973207374696c6c20616374697665000000600082015250565b60006110e8601d836110a1565b91506110f3826110b2565b602082019050919050565b60006020820190508181036000830152611117816110db565b9050919050565b7f546f74616c20416d6f756e7420726169736564206c657373207468616e20686160008201527f7264636170000000000000000000000000000000000000000000000000000000602082015250565b600061117a6025836110a1565b91506111858261111e565b604082019050919050565b600060208201905081810360008301526111a98161116d565b9050919050565b7f4e6f20636f6e747269627574696f6e2066726f6d207573657200000000000000600082015250565b60006111e66019836110a1565b91506111f1826111b0565b602082019050919050565b60006020820190508181036000830152611215816111d9565b9050919050565b7f616c72656164792077697468647261776e000000000000000000000000000000600082015250565b60006112526011836110a1565b915061125d8261121c565b602082019050919050565b6000602082019050818103600083015261128181611245565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006112c282610e25565b91506112cd83610e25565b92508282039050818111156112e5576112e4611288565b5b92915050565b60006112f682610e25565b915061130183610e25565b925082820261130f81610e25565b9150828204841483151761132657611325611288565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061136782610e25565b915061137283610e25565b9250826113825761138161132d565b5b828204905092915050565b60006040820190506113a26000830185610fd1565b6113af6020830184610e2f565b9392505050565b6000815190506113c581610e6a565b92915050565b6000602082840312156113e1576113e0610e59565b5b60006113ef848285016113b6565b91505092915050565b7f4f776e657220496e76616c696400000000000000000000000000000000000000600082015250565b600061142e600d836110a1565b9150611439826113f8565b602082019050919050565b6000602082019050818103600083015261145d81611421565b9050919050565b7f53616c6520436f6e747261637420697320496e61637469766500000000000000600082015250565b600061149a6019836110a1565b91506114a582611464565b602082019050919050565b600060208201905081810360008301526114c98161148d565b9050919050565b7f696e76616c696420616d6f756e74000000000000000000000000000000000000600082015250565b6000611506600e836110a1565b9150611511826114d0565b602082019050919050565b60006020820190508181036000830152611535816114f9565b9050919050565b7f70726f6a656374206e6f74206c69766500000000000000000000000000000000600082015250565b60006115726010836110a1565b915061157d8261153c565b602082019050919050565b600060208201905081810360008301526115a181611565565b9050919050565b7f70726f6a6563742068617320656e646564000000000000000000000000000000600082015250565b60006115de6011836110a1565b91506115e9826115a8565b602082019050919050565b6000602082019050818103600083015261160d816115d1565b9050919050565b600061161f82610ffb565b915061162a83610ffb565b9250828201905063ffffffff81111561164657611645611288565b5b92915050565b600061165782610e25565b915061166283610e25565b925082820190508082111561167a57611679611288565b5b92915050565b60006060820190506116956000830186610fd1565b6116a26020830185610fd1565b6116af6040830184610e2f565b949350505050565b7f426f74682074696d657374616d702063616e6e6f742062652030000000000000600082015250565b60006116ed601a836110a1565b91506116f8826116b7565b602082019050919050565b6000602082019050818103600083015261171c816116e0565b905091905056fea26469706673582212201f4f6a8a8ddf9d4cc6b1197567fd3a076f03184a9ca3187bfbc3c9f463d8e6de64736f6c634300081200330000000000000000000000009702230a8ea53601f5cd2dc00fdbc13d4df4a8c70000000000000000000000000000000000000000000000000000001bf08eb00000000000000000000000000000000000000000000000000000000000641215b00000000000000000000000000000000000000000000000000000000064160a30

0000000000000000000000009702230a8ea53601f5cd2dc00fdbc13d4df4a8c70000000000000000000000000000000000000000000000000000001bf08eb00000000000000000000000000000000000000000000000000000000000641215b00000000000000000000000000000000000000000000000000000000064160a30

-----Decoded View---------------
Arg [0] : principal_ (address): 0x9702230a8ea53601f5cd2dc00fdbc13d4df4a8c7
Arg [1] : totalAmountToRaise_ (uint256): 120000000000
Arg [2] : startTime_ (uint32): 1678906800
Arg [3] : endTime_ (uint32): 1679166000

-----Encoded View---------------
4 Constructor Arguments found :
Arg [0] : 0000000000000000000000009702230a8ea53601f5cd2dc00fdbc13d4df4a8c7
Arg [1] : 0000000000000000000000000000000000000000000000000000001bf08eb000
Arg [2] : 00000000000000000000000000000000000000000000000000000000641215b0
Arg [3] : 0000000000000000000000000000000000000000000000000000000064160a30

954:3464:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3435:646;;;;;;;;;;;;;:::i;:::-;;1099:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1989:105;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;981:47;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1035:57;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2102:281;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2832:595;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4089:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4176:239;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1138:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1178:35;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1255:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1288;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1220:28;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2391:326;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3435:646;3494:14;;;;;;;;;;;3493:15;3485:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;3581:18;;3561:17;;:38;3553:88;;;;;;;;;;;;:::i;:::-;;;;;;;;;3687:1;3660:12;:24;3673:10;3660:24;;;;;;;;;;;;;;;;:28;3652:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;3778:5;3737:46;;:25;:37;3763:10;3737:37;;;;;;;;;;;;;;;;;;;;;;;;;:46;;;3729:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;3818:12;3853:18;;3833:17;;:38;;;;:::i;:::-;3818:53;;3882:20;3941:17;;3913:12;:24;3926:10;3913:24;;;;;;;;;;;;;;;;3906:4;:31;;;;:::i;:::-;3905:53;;;;:::i;:::-;3882:76;;4009:4;3969:25;:37;3995:10;3969:37;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;4024:14;;;;;;;;;;;:23;;;4048:10;4060:12;4024:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3474:607;;3435:646::o;1099:32::-;;;;:::o;1989:105::-;1441:10;1431:20;;:6;;;;;;;;;;;:20;;;1423:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;2080:6:::1;2063:14;;:23;;;;;;;;;;;;;;;;;;1989:105:::0;:::o;981:47::-;;;;;;;;;;;;;;;;;:::o;1035:57::-;;;;;;;;;;;;;;;;;;;;;;:::o;2102:281::-;2162:7;1441:10;1431:20;;:6;;;;;;;;;;;:20;;;1423:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;2191:14:::1;;;;;;;;;;;2190:15;2182:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;2250:15;2268:27;:25;:27::i;:::-;2250:45;;2306:14;;;;;;;;;;;:23;;;2330:10;2342:7;2306:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2368:7;2361:14;;;2102:281:::0;:::o;2832:595::-;2898:14;;;;;;;;;;;2890:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;2971:1;2961:7;:11;2953:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;3027:15;3010:14;;;;;;;;;;:32;;;3002:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;3097:15;3082:12;;;;;;;;;;;:30;;;3074:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;3178:1;3150:12;:24;3163:10;3150:24;;;;;;;;;;;;;;;;:29;3147:86;;3220:1;3195:21;;:26;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3147:86;3266:7;3245:17;;:28;;;;;;;:::i;:::-;;;;;;;;3338:7;3311:12;:24;3324:10;3311:24;;;;;;;;;;;;;;;;:34;;;;:::i;:::-;3284:12;:24;3297:10;3284:24;;;;;;;;;;;;;;;:61;;;;3356:14;;;;;;;;;;;:27;;;3384:10;3404:4;3411:7;3356:63;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2832:595;:::o;4089:79::-;4128:7;4154:6;;;;;;;;;;;4147:13;;4089:79;:::o;4176:239::-;4234:7;4280:17;;4258:18;;:39;4254:154;;4321:17;;4314:24;;;;4254:154;4378:18;;4371:25;;4176:239;;:::o;1138:33::-;;;;:::o;1178:35::-;;;;;;;;;;;;;:::o;1255:26::-;;;;;;;;;;;;;:::o;1288:::-;;;;;;;;;;;;;:::o;1220:28::-;;;;;;;;;;;;:::o;2391:326::-;1441:10;1431:20;;:6;;;;;;;;;;;:20;;;1423:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;2501:1:::1;2487:10;:15;;;;:32;;;;2518:1;2506:8;:13;;;;2487:32;2479:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;2578:1;2564:10;:15;;;2561:73;;2612:10;2595:14;::::0;:27:::1;;;;;;;;;;;;;;;;;;2561:73;2658:1;2647:8;:12;;;2644:66;;2690:8;2675:12;;:23;;;;;;;;;;;;;;;;;;2644:66;2391:326:::0;;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;523:117::-;632:1;629;622:12;769:90;803:7;846:5;839:13;832:21;821:32;;769:90;;;:::o;865:116::-;935:21;950:5;935:21;:::i;:::-;928:5;925:32;915:60;;971:1;968;961:12;915:60;865:116;:::o;987:133::-;1030:5;1068:6;1055:20;1046:29;;1084:30;1108:5;1084:30;:::i;:::-;987:133;;;;:::o;1126:323::-;1182:6;1231:2;1219:9;1210:7;1206:23;1202:32;1199:119;;;1237:79;;:::i;:::-;1199:119;1357:1;1382:50;1424:7;1415:6;1404:9;1400:22;1382:50;:::i;:::-;1372:60;;1328:114;1126:323;;;;:::o;1455:126::-;1492:7;1532:42;1525:5;1521:54;1510:65;;1455:126;;;:::o;1587:96::-;1624:7;1653:24;1671:5;1653:24;:::i;:::-;1642:35;;1587:96;;;:::o;1689:122::-;1762:24;1780:5;1762:24;:::i;:::-;1755:5;1752:35;1742:63;;1801:1;1798;1791:12;1742:63;1689:122;:::o;1817:139::-;1863:5;1901:6;1888:20;1879:29;;1917:33;1944:5;1917:33;:::i;:::-;1817:139;;;;:::o;1962:329::-;2021:6;2070:2;2058:9;2049:7;2045:23;2041:32;2038:119;;;2076:79;;:::i;:::-;2038:119;2196:1;2221:53;2266:7;2257:6;2246:9;2242:22;2221:53;:::i;:::-;2211:63;;2167:117;1962:329;;;;:::o;2297:109::-;2378:21;2393:5;2378:21;:::i;:::-;2373:3;2366:34;2297:109;;:::o;2412:210::-;2499:4;2537:2;2526:9;2522:18;2514:26;;2550:65;2612:1;2601:9;2597:17;2588:6;2550:65;:::i;:::-;2412:210;;;;:::o;2628:122::-;2701:24;2719:5;2701:24;:::i;:::-;2694:5;2691:35;2681:63;;2740:1;2737;2730:12;2681:63;2628:122;:::o;2756:139::-;2802:5;2840:6;2827:20;2818:29;;2856:33;2883:5;2856:33;:::i;:::-;2756:139;;;;:::o;2901:329::-;2960:6;3009:2;2997:9;2988:7;2984:23;2980:32;2977:119;;;3015:79;;:::i;:::-;2977:119;3135:1;3160:53;3205:7;3196:6;3185:9;3181:22;3160:53;:::i;:::-;3150:63;;3106:117;2901:329;;;;:::o;3236:118::-;3323:24;3341:5;3323:24;:::i;:::-;3318:3;3311:37;3236:118;;:::o;3360:222::-;3453:4;3491:2;3480:9;3476:18;3468:26;;3504:71;3572:1;3561:9;3557:17;3548:6;3504:71;:::i;:::-;3360:222;;;;:::o;3588:93::-;3624:7;3664:10;3657:5;3653:22;3642:33;;3588:93;;;:::o;3687:115::-;3772:23;3789:5;3772:23;:::i;:::-;3767:3;3760:36;3687:115;;:::o;3808:218::-;3899:4;3937:2;3926:9;3922:18;3914:26;;3950:69;4016:1;4005:9;4001:17;3992:6;3950:69;:::i;:::-;3808:218;;;;:::o;4032:120::-;4104:23;4121:5;4104:23;:::i;:::-;4097:5;4094:34;4084:62;;4142:1;4139;4132:12;4084:62;4032:120;:::o;4158:137::-;4203:5;4241:6;4228:20;4219:29;;4257:32;4283:5;4257:32;:::i;:::-;4158:137;;;;:::o;4301:470::-;4367:6;4375;4424:2;4412:9;4403:7;4399:23;4395:32;4392:119;;;4430:79;;:::i;:::-;4392:119;4550:1;4575:52;4619:7;4610:6;4599:9;4595:22;4575:52;:::i;:::-;4565:62;;4521:116;4676:2;4702:52;4746:7;4737:6;4726:9;4722:22;4702:52;:::i;:::-;4692:62;;4647:117;4301:470;;;;;:::o;4777:169::-;4861:11;4895:6;4890:3;4883:19;4935:4;4930:3;4926:14;4911:29;;4777:169;;;;:::o;4952:179::-;5092:31;5088:1;5080:6;5076:14;5069:55;4952:179;:::o;5137:366::-;5279:3;5300:67;5364:2;5359:3;5300:67;:::i;:::-;5293:74;;5376:93;5465:3;5376:93;:::i;:::-;5494:2;5489:3;5485:12;5478:19;;5137:366;;;:::o;5509:419::-;5675:4;5713:2;5702:9;5698:18;5690:26;;5762:9;5756:4;5752:20;5748:1;5737:9;5733:17;5726:47;5790:131;5916:4;5790:131;:::i;:::-;5782:139;;5509:419;;;:::o;5934:224::-;6074:34;6070:1;6062:6;6058:14;6051:58;6143:7;6138:2;6130:6;6126:15;6119:32;5934:224;:::o;6164:366::-;6306:3;6327:67;6391:2;6386:3;6327:67;:::i;:::-;6320:74;;6403:93;6492:3;6403:93;:::i;:::-;6521:2;6516:3;6512:12;6505:19;;6164:366;;;:::o;6536:419::-;6702:4;6740:2;6729:9;6725:18;6717:26;;6789:9;6783:4;6779:20;6775:1;6764:9;6760:17;6753:47;6817:131;6943:4;6817:131;:::i;:::-;6809:139;;6536:419;;;:::o;6961:175::-;7101:27;7097:1;7089:6;7085:14;7078:51;6961:175;:::o;7142:366::-;7284:3;7305:67;7369:2;7364:3;7305:67;:::i;:::-;7298:74;;7381:93;7470:3;7381:93;:::i;:::-;7499:2;7494:3;7490:12;7483:19;;7142:366;;;:::o;7514:419::-;7680:4;7718:2;7707:9;7703:18;7695:26;;7767:9;7761:4;7757:20;7753:1;7742:9;7738:17;7731:47;7795:131;7921:4;7795:131;:::i;:::-;7787:139;;7514:419;;;:::o;7939:167::-;8079:19;8075:1;8067:6;8063:14;8056:43;7939:167;:::o;8112:366::-;8254:3;8275:67;8339:2;8334:3;8275:67;:::i;:::-;8268:74;;8351:93;8440:3;8351:93;:::i;:::-;8469:2;8464:3;8460:12;8453:19;;8112:366;;;:::o;8484:419::-;8650:4;8688:2;8677:9;8673:18;8665:26;;8737:9;8731:4;8727:20;8723:1;8712:9;8708:17;8701:47;8765:131;8891:4;8765:131;:::i;:::-;8757:139;;8484:419;;;:::o;8909:180::-;8957:77;8954:1;8947:88;9054:4;9051:1;9044:15;9078:4;9075:1;9068:15;9095:194;9135:4;9155:20;9173:1;9155:20;:::i;:::-;9150:25;;9189:20;9207:1;9189:20;:::i;:::-;9184:25;;9233:1;9230;9226:9;9218:17;;9257:1;9251:4;9248:11;9245:37;;;9262:18;;:::i;:::-;9245:37;9095:194;;;;:::o;9295:410::-;9335:7;9358:20;9376:1;9358:20;:::i;:::-;9353:25;;9392:20;9410:1;9392:20;:::i;:::-;9387:25;;9447:1;9444;9440:9;9469:30;9487:11;9469:30;:::i;:::-;9458:41;;9648:1;9639:7;9635:15;9632:1;9629:22;9609:1;9602:9;9582:83;9559:139;;9678:18;;:::i;:::-;9559:139;9343:362;9295:410;;;;:::o;9711:180::-;9759:77;9756:1;9749:88;9856:4;9853:1;9846:15;9880:4;9877:1;9870:15;9897:185;9937:1;9954:20;9972:1;9954:20;:::i;:::-;9949:25;;9988:20;10006:1;9988:20;:::i;:::-;9983:25;;10027:1;10017:35;;10032:18;;:::i;:::-;10017:35;10074:1;10071;10067:9;10062:14;;9897:185;;;;:::o;10088:332::-;10209:4;10247:2;10236:9;10232:18;10224:26;;10260:71;10328:1;10317:9;10313:17;10304:6;10260:71;:::i;:::-;10341:72;10409:2;10398:9;10394:18;10385:6;10341:72;:::i;:::-;10088:332;;;;;:::o;10426:137::-;10480:5;10511:6;10505:13;10496:22;;10527:30;10551:5;10527:30;:::i;:::-;10426:137;;;;:::o;10569:345::-;10636:6;10685:2;10673:9;10664:7;10660:23;10656:32;10653:119;;;10691:79;;:::i;:::-;10653:119;10811:1;10836:61;10889:7;10880:6;10869:9;10865:22;10836:61;:::i;:::-;10826:71;;10782:125;10569:345;;;;:::o;10920:163::-;11060:15;11056:1;11048:6;11044:14;11037:39;10920:163;:::o;11089:366::-;11231:3;11252:67;11316:2;11311:3;11252:67;:::i;:::-;11245:74;;11328:93;11417:3;11328:93;:::i;:::-;11446:2;11441:3;11437:12;11430:19;;11089:366;;;:::o;11461:419::-;11627:4;11665:2;11654:9;11650:18;11642:26;;11714:9;11708:4;11704:20;11700:1;11689:9;11685:17;11678:47;11742:131;11868:4;11742:131;:::i;:::-;11734:139;;11461:419;;;:::o;11886:175::-;12026:27;12022:1;12014:6;12010:14;12003:51;11886:175;:::o;12067:366::-;12209:3;12230:67;12294:2;12289:3;12230:67;:::i;:::-;12223:74;;12306:93;12395:3;12306:93;:::i;:::-;12424:2;12419:3;12415:12;12408:19;;12067:366;;;:::o;12439:419::-;12605:4;12643:2;12632:9;12628:18;12620:26;;12692:9;12686:4;12682:20;12678:1;12667:9;12663:17;12656:47;12720:131;12846:4;12720:131;:::i;:::-;12712:139;;12439:419;;;:::o;12864:164::-;13004:16;13000:1;12992:6;12988:14;12981:40;12864:164;:::o;13034:366::-;13176:3;13197:67;13261:2;13256:3;13197:67;:::i;:::-;13190:74;;13273:93;13362:3;13273:93;:::i;:::-;13391:2;13386:3;13382:12;13375:19;;13034:366;;;:::o;13406:419::-;13572:4;13610:2;13599:9;13595:18;13587:26;;13659:9;13653:4;13649:20;13645:1;13634:9;13630:17;13623:47;13687:131;13813:4;13687:131;:::i;:::-;13679:139;;13406:419;;;:::o;13831:166::-;13971:18;13967:1;13959:6;13955:14;13948:42;13831:166;:::o;14003:366::-;14145:3;14166:67;14230:2;14225:3;14166:67;:::i;:::-;14159:74;;14242:93;14331:3;14242:93;:::i;:::-;14360:2;14355:3;14351:12;14344:19;;14003:366;;;:::o;14375:419::-;14541:4;14579:2;14568:9;14564:18;14556:26;;14628:9;14622:4;14618:20;14614:1;14603:9;14599:17;14592:47;14656:131;14782:4;14656:131;:::i;:::-;14648:139;;14375:419;;;:::o;14800:167::-;14940:19;14936:1;14928:6;14924:14;14917:43;14800:167;:::o;14973:366::-;15115:3;15136:67;15200:2;15195:3;15136:67;:::i;:::-;15129:74;;15212:93;15301:3;15212:93;:::i;:::-;15330:2;15325:3;15321:12;15314:19;;14973:366;;;:::o;15345:419::-;15511:4;15549:2;15538:9;15534:18;15526:26;;15598:9;15592:4;15588:20;15584:1;15573:9;15569:17;15562:47;15626:131;15752:4;15626:131;:::i;:::-;15618:139;;15345:419;;;:::o;15770:197::-;15809:3;15828:19;15845:1;15828:19;:::i;:::-;15823:24;;15861:19;15878:1;15861:19;:::i;:::-;15856:24;;15903:1;15900;15896:9;15889:16;;15926:10;15921:3;15918:19;15915:45;;;15940:18;;:::i;:::-;15915:45;15770:197;;;;:::o;15973:191::-;16013:3;16032:20;16050:1;16032:20;:::i;:::-;16027:25;;16066:20;16084:1;16066:20;:::i;:::-;16061:25;;16109:1;16106;16102:9;16095:16;;16130:3;16127:1;16124:10;16121:36;;;16137:18;;:::i;:::-;16121:36;15973:191;;;;:::o;16170:442::-;16319:4;16357:2;16346:9;16342:18;16334:26;;16370:71;16438:1;16427:9;16423:17;16414:6;16370:71;:::i;:::-;16451:72;16519:2;16508:9;16504:18;16495:6;16451:72;:::i;:::-;16533;16601:2;16590:9;16586:18;16577:6;16533:72;:::i;:::-;16170:442;;;;;;:::o;16618:176::-;16758:28;16754:1;16746:6;16742:14;16735:52;16618:176;:::o;16800:366::-;16942:3;16963:67;17027:2;17022:3;16963:67;:::i;:::-;16956:74;;17039:93;17128:3;17039:93;:::i;:::-;17157:2;17152:3;17148:12;17141:19;;16800:366;;;:::o;17172:419::-;17338:4;17376:2;17365:9;17361:18;17353:26;;17425:9;17419:4;17415:20;17411:1;17400:9;17396:17;17389:47;17453:131;17579:4;17453:131;:::i;:::-;17445:139;;17172:419;;;:::o

ipfs://1f4f6a8a8ddf9d4cc6b1197567fd3a076f03184a9ca3187bfbc3c9f463d8e6de