Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function transferFrom(
•  contract DuskMainnetOnramp *
•    - function deposit(uint256 amount, stri ...
•    - function stake(uint256 amount, string ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-20
*/

// SPDX-License-Identifier: MPL-2.0
pragma solidity ^0.8.24;

// Minimal ERC20 interface required to transfer DUSK
interface IERC20 {
    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);
}

/// @title The ERC20/BEP20 DUSK mainnet on-ramp contract
/// @author Hein Dauven
contract DuskMainnetOnramp {
    IERC20 public immutable duskToken;
    // Conversion factor between ERC20/BEP20 DUSK (18 decimals) and native DUSK (9 decimals), where 10^9 DUSK wei is equivalent to 1 LUX
    uint256 constant LUX_CONVERSION_FACTOR = 10**9; 
    uint256 constant MINIMAL_STAKE = (1000 * 10**9) * LUX_CONVERSION_FACTOR;
    uint256 public immutable endDepositTime;
    uint256 public immutable endStakeTime;

    // Event to log the genesis deposit & stake for inclusion in the genesis state on Dusk mainnet. The amount being in LUX
    event GenesisDeposit(address indexed from, uint256 amount, string targetAddress);
    event GenesisStake(address indexed from, uint256 amount, string targetAddress);

    /**
     * @param _duskTokenAddress The address of the ERC20/BEP20 DUSK token contract.
     * @param _endDepositTime The time after which deposits are no longer allowed.
     * @param _endStakeTime The time after which stake deposits are no longer allowed.
     */
    constructor(address _duskTokenAddress, uint256 _endDepositTime, uint256 _endStakeTime) {
        duskToken = IERC20(_duskTokenAddress);
        endDepositTime = _endDepositTime;
        endStakeTime = _endStakeTime;
    }

    /**
     * @param amount The amount of ERC20/BEP20 DUSK tokens to deposit for in genesis balance in DUSK wei. Must be at least 1 LUX (10^9 wei).
     * @param targetAddress The native DUSK mainnet Moonlight key that will be used to set the genesis balance for the given key.
     */
    function deposit(uint256 amount, string memory targetAddress) external {
        // No longer allow people to deposit after a given end time
        require(block.timestamp <= endDepositTime, "Deposit period has ended");

        // The minimum deposit amount has to be larger or equal to the conversion factor
        require(amount >= LUX_CONVERSION_FACTOR, "Amount must be at least 1 LUX");

        // Round down the amount to the nearest multiple of 1 LUX
        uint256 roundedAmount = (amount / LUX_CONVERSION_FACTOR) * LUX_CONVERSION_FACTOR;

        // Transfer the specified amount of DUSK tokens to this contract
        duskToken.transferFrom(msg.sender, address(this), roundedAmount);

        // Adjust the amount to account for the difference in decimals between native DUSK (9 decimals) and ERC20/BEP20 DUSK (18 decimals)
        uint256 nativeAmount = roundedAmount / LUX_CONVERSION_FACTOR;

        // Emit the genesis deposit event with the value in LUX
        emit GenesisDeposit(msg.sender, nativeAmount, targetAddress);
    }

    /**
     * @param amount The amount of ERC20/BEP20 DUSK tokens to deposit for on genesis staking in DUSK wei. Must be at least 1000 DUSK.
     * @param targetAddress The native DUSK mainnet Moonlight key that will be used to set the genesis stake for the given key.
     */
    function stake(uint256 amount, string memory targetAddress) external {
        // No longer allow people to deposit for on genesis staking after a given end time
        require(block.timestamp <= endStakeTime, "Stake period has ended");

        // The minimum stake amount has to be larger or equal to MINIMAL_STAKE
        require(amount >= MINIMAL_STAKE, "Amount must be at least 1000 DUSK");

        // Round down the amount to the nearest multiple of 1 LUX
        uint256 roundedAmount = (amount / LUX_CONVERSION_FACTOR) * LUX_CONVERSION_FACTOR;

        // Transfer the specified amount of DUSK tokens to this contract
        duskToken.transferFrom(msg.sender, address(this), roundedAmount);

        // Adjust the amount to account for the difference in decimals between native DUSK (9 decimals) and ERC20/BEP20 DUSK (18 decimals)
        uint256 nativeAmount = roundedAmount / LUX_CONVERSION_FACTOR;

        // Emit the genesis stake event with the value in LUX
        emit GenesisStake(msg.sender, nativeAmount, targetAddress);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_duskTokenAddress","type":"address"},{"internalType":"uint256","name":"_endDepositTime","type":"uint256"},{"internalType":"uint256","name":"_endStakeTime","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"targetAddress","type":"string"}],"name":"GenesisDeposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"targetAddress","type":"string"}],"name":"GenesisStake","type":"event"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"targetAddress","type":"string"}],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"duskToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"endDepositTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"endStakeTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"targetAddress","type":"string"}],"name":"stake","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60e060405234801562000010575f80fd5b5060405162000d7d38038062000d7d833981810160405281019062000036919062000120565b8273ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff16815250508160a081815250508060c0818152505050505062000179565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620000b28262000087565b9050919050565b620000c481620000a6565b8114620000cf575f80fd5b50565b5f81519050620000e281620000b9565b92915050565b5f819050919050565b620000fc81620000e8565b811462000107575f80fd5b50565b5f815190506200011a81620000f1565b92915050565b5f805f606084860312156200013a576200013962000083565b5b5f6200014986828701620000d2565b93505060206200015c868287016200010a565b92505060406200016f868287016200010a565b9150509250925092565b60805160a05160c051610bbe620001bf5f395f8181610135015261015901525f818160ed015261033801525f81816101110152818161023101526104000152610bbe5ff3fe608060405234801561000f575f80fd5b5060043610610055575f3560e01c80633ef541b51461005957806348dc3c6314610077578063a58f03aa14610095578063e7e4e1f7146100b3578063f1215d25146100cf575b5f80fd5b6100616100eb565b60405161006e919061051d565b60405180910390f35b61007f61010f565b60405161008c91906105b0565b60405180910390f35b61009d610133565b6040516100aa919061051d565b60405180910390f35b6100cd60048036038101906100c89190610740565b610157565b005b6100e960048036038101906100e49190610740565b610336565b005b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f00000000000000000000000000000000000000000000000000000000000000004211156101ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101b1906107f4565b60405180910390fd5b633b9aca0064e8d4a510006101cf919061083f565b821015610211576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610208906108f0565b60405180910390fd5b5f633b9aca008084610223919061093b565b61022d919061083f565b90507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b815260040161028c9392919061098b565b6020604051808303815f875af11580156102a8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102cc91906109f5565b505f633b9aca00826102de919061093b565b90503373ffffffffffffffffffffffffffffffffffffffff167faa45bbe228d6a60fc1d3c70f79e9723773bd8264c6386c20d37f2567cf67b70e8285604051610328929190610a8a565b60405180910390a250505050565b7f0000000000000000000000000000000000000000000000000000000000000000421115610399576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039090610b02565b60405180910390fd5b633b9aca008210156103e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d790610b6a565b60405180910390fd5b5f633b9aca0080846103f2919061093b565b6103fc919061083f565b90507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b815260040161045b9392919061098b565b6020604051808303815f875af1158015610477573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061049b91906109f5565b505f633b9aca00826104ad919061093b565b90503373ffffffffffffffffffffffffffffffffffffffff167f2263efffcf6899dbc456ea5679e8ce24ce6d122383e872137a9b84fc13ab952782856040516104f7929190610a8a565b60405180910390a250505050565b5f819050919050565b61051781610505565b82525050565b5f6020820190506105305f83018461050e565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f819050919050565b5f61057861057361056e84610536565b610555565b610536565b9050919050565b5f6105898261055e565b9050919050565b5f61059a8261057f565b9050919050565b6105aa81610590565b82525050565b5f6020820190506105c35f8301846105a1565b92915050565b5f604051905090565b5f80fd5b5f80fd5b6105e381610505565b81146105ed575f80fd5b50565b5f813590506105fe816105da565b92915050565b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6106528261060c565b810181811067ffffffffffffffff821117156106715761067061061c565b5b80604052505050565b5f6106836105c9565b905061068f8282610649565b919050565b5f67ffffffffffffffff8211156106ae576106ad61061c565b5b6106b78261060c565b9050602081019050919050565b828183375f83830152505050565b5f6106e46106df84610694565b61067a565b905082815260208101848484011115610700576106ff610608565b5b61070b8482856106c4565b509392505050565b5f82601f83011261072757610726610604565b5b81356107378482602086016106d2565b91505092915050565b5f8060408385031215610756576107556105d2565b5b5f610763858286016105f0565b925050602083013567ffffffffffffffff811115610784576107836105d6565b5b61079085828601610713565b9150509250929050565b5f82825260208201905092915050565b7f5374616b6520706572696f642068617320656e646564000000000000000000005f82015250565b5f6107de60168361079a565b91506107e9826107aa565b602082019050919050565b5f6020820190508181035f83015261080b816107d2565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61084982610505565b915061085483610505565b925082820261086281610505565b9150828204841483151761087957610878610812565b5b5092915050565b7f416d6f756e74206d757374206265206174206c656173742031303030204455535f8201527f4b00000000000000000000000000000000000000000000000000000000000000602082015250565b5f6108da60218361079a565b91506108e582610880565b604082019050919050565b5f6020820190508181035f830152610907816108ce565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61094582610505565b915061095083610505565b9250826109605761095f61090e565b5b828204905092915050565b5f61097582610536565b9050919050565b6109858161096b565b82525050565b5f60608201905061099e5f83018661097c565b6109ab602083018561097c565b6109b8604083018461050e565b949350505050565b5f8115159050919050565b6109d4816109c0565b81146109de575f80fd5b50565b5f815190506109ef816109cb565b92915050565b5f60208284031215610a0a57610a096105d2565b5b5f610a17848285016109e1565b91505092915050565b5f81519050919050565b5f5b83811015610a47578082015181840152602081019050610a2c565b5f8484015250505050565b5f610a5c82610a20565b610a66818561079a565b9350610a76818560208601610a2a565b610a7f8161060c565b840191505092915050565b5f604082019050610a9d5f83018561050e565b8181036020830152610aaf8184610a52565b90509392505050565b7f4465706f73697420706572696f642068617320656e64656400000000000000005f82015250565b5f610aec60188361079a565b9150610af782610ab8565b602082019050919050565b5f6020820190508181035f830152610b1981610ae0565b9050919050565b7f416d6f756e74206d757374206265206174206c656173742031204c55580000005f82015250565b5f610b54601d8361079a565b9150610b5f82610b20565b602082019050919050565b5f6020820190508181035f830152610b8181610b48565b905091905056fea2646970667358221220d2739640d94b8b7aace53f8dbd70ddeeb428b7f6992fb1cac3fcedc88e85b1b064736f6c63430008180033000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa5510000000000000000000000000000000000000000000000000000000067771a6f00000000000000000000000000000000000000000000000000000000677082ef

0x608060405234801561000f575f80fd5b5060043610610055575f3560e01c80633ef541b51461005957806348dc3c6314610077578063a58f03aa14610095578063e7e4e1f7146100b3578063f1215d25146100cf575b5f80fd5b6100616100eb565b60405161006e919061051d565b60405180910390f35b61007f61010f565b60405161008c91906105b0565b60405180910390f35b61009d610133565b6040516100aa919061051d565b60405180910390f35b6100cd60048036038101906100c89190610740565b610157565b005b6100e960048036038101906100e49190610740565b610336565b005b7f0000000000000000000000000000000000000000000000000000000067771a6f81565b7f000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa55181565b7f00000000000000000000000000000000000000000000000000000000677082ef81565b7f00000000000000000000000000000000000000000000000000000000677082ef4211156101ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101b1906107f4565b60405180910390fd5b633b9aca0064e8d4a510006101cf919061083f565b821015610211576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610208906108f0565b60405180910390fd5b5f633b9aca008084610223919061093b565b61022d919061083f565b90507f000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa55173ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b815260040161028c9392919061098b565b6020604051808303815f875af11580156102a8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102cc91906109f5565b505f633b9aca00826102de919061093b565b90503373ffffffffffffffffffffffffffffffffffffffff167faa45bbe228d6a60fc1d3c70f79e9723773bd8264c6386c20d37f2567cf67b70e8285604051610328929190610a8a565b60405180910390a250505050565b7f0000000000000000000000000000000000000000000000000000000067771a6f421115610399576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039090610b02565b60405180910390fd5b633b9aca008210156103e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d790610b6a565b60405180910390fd5b5f633b9aca0080846103f2919061093b565b6103fc919061083f565b90507f000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa55173ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b815260040161045b9392919061098b565b6020604051808303815f875af1158015610477573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061049b91906109f5565b505f633b9aca00826104ad919061093b565b90503373ffffffffffffffffffffffffffffffffffffffff167f2263efffcf6899dbc456ea5679e8ce24ce6d122383e872137a9b84fc13ab952782856040516104f7929190610a8a565b60405180910390a250505050565b5f819050919050565b61051781610505565b82525050565b5f6020820190506105305f83018461050e565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f819050919050565b5f61057861057361056e84610536565b610555565b610536565b9050919050565b5f6105898261055e565b9050919050565b5f61059a8261057f565b9050919050565b6105aa81610590565b82525050565b5f6020820190506105c35f8301846105a1565b92915050565b5f604051905090565b5f80fd5b5f80fd5b6105e381610505565b81146105ed575f80fd5b50565b5f813590506105fe816105da565b92915050565b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6106528261060c565b810181811067ffffffffffffffff821117156106715761067061061c565b5b80604052505050565b5f6106836105c9565b905061068f8282610649565b919050565b5f67ffffffffffffffff8211156106ae576106ad61061c565b5b6106b78261060c565b9050602081019050919050565b828183375f83830152505050565b5f6106e46106df84610694565b61067a565b905082815260208101848484011115610700576106ff610608565b5b61070b8482856106c4565b509392505050565b5f82601f83011261072757610726610604565b5b81356107378482602086016106d2565b91505092915050565b5f8060408385031215610756576107556105d2565b5b5f610763858286016105f0565b925050602083013567ffffffffffffffff811115610784576107836105d6565b5b61079085828601610713565b9150509250929050565b5f82825260208201905092915050565b7f5374616b6520706572696f642068617320656e646564000000000000000000005f82015250565b5f6107de60168361079a565b91506107e9826107aa565b602082019050919050565b5f6020820190508181035f83015261080b816107d2565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61084982610505565b915061085483610505565b925082820261086281610505565b9150828204841483151761087957610878610812565b5b5092915050565b7f416d6f756e74206d757374206265206174206c656173742031303030204455535f8201527f4b00000000000000000000000000000000000000000000000000000000000000602082015250565b5f6108da60218361079a565b91506108e582610880565b604082019050919050565b5f6020820190508181035f830152610907816108ce565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61094582610505565b915061095083610505565b9250826109605761095f61090e565b5b828204905092915050565b5f61097582610536565b9050919050565b6109858161096b565b82525050565b5f60608201905061099e5f83018661097c565b6109ab602083018561097c565b6109b8604083018461050e565b949350505050565b5f8115159050919050565b6109d4816109c0565b81146109de575f80fd5b50565b5f815190506109ef816109cb565b92915050565b5f60208284031215610a0a57610a096105d2565b5b5f610a17848285016109e1565b91505092915050565b5f81519050919050565b5f5b83811015610a47578082015181840152602081019050610a2c565b5f8484015250505050565b5f610a5c82610a20565b610a66818561079a565b9350610a76818560208601610a2a565b610a7f8161060c565b840191505092915050565b5f604082019050610a9d5f83018561050e565b8181036020830152610aaf8184610a52565b90509392505050565b7f4465706f73697420706572696f642068617320656e64656400000000000000005f82015250565b5f610aec60188361079a565b9150610af782610ab8565b602082019050919050565b5f6020820190508181035f830152610b1981610ae0565b9050919050565b7f416d6f756e74206d757374206265206174206c656173742031204c55580000005f82015250565b5f610b54601d8361079a565b9150610b5f82610b20565b602082019050919050565b5f6020820190508181035f830152610b8181610b48565b905091905056fea2646970667358221220d2739640d94b8b7aace53f8dbd70ddeeb428b7f6992fb1cac3fcedc88e85b1b064736f6c63430008180033

000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa5510000000000000000000000000000000000000000000000000000000067771a6f00000000000000000000000000000000000000000000000000000000677082ef

-----Decoded View---------------
Arg [0] : _duskTokenAddress (address): 0x940a2dB1B7008B6C776d4faaCa729d6d4A4AA551
Arg [1] : _endDepositTime (uint256): 1735858799
Arg [2] : _endStakeTime (uint256): 1735426799

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000940a2db1b7008b6c776d4faaca729d6d4a4aa551
Arg [1] : 0000000000000000000000000000000000000000000000000000000067771a6f
Arg [2] : 00000000000000000000000000000000000000000000000000000000677082ef

354:3960:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;698:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;388:33;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;744:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3245:1066;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1888:1067;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;698:39;;;:::o;388:33::-;;;:::o;744:37::-;;;:::o;3245:1066::-;3444:12;3425:15;:31;;3417:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;607:5;654:12;653:38;;;;:::i;:::-;3584:6;:23;;3576:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;3725:21;607:5;;3750:6;:30;;;;:::i;:::-;3749:56;;;;:::i;:::-;3725:80;;3892:9;:22;;;3915:10;3935:4;3942:13;3892:64;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4109:20;607:5;4132:13;:37;;;;:::i;:::-;4109:60;;4263:10;4250:53;;;4275:12;4289:13;4250:53;;;;;;;:::i;:::-;;;;;;;;3314:997;;3245:1066;;:::o;1888:1067::-;2066:14;2047:15;:33;;2039:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;607:5;2220:6;:31;;2212:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2365:21;607:5;;2390:6;:30;;;;:::i;:::-;2389:56;;;;:::i;:::-;2365:80;;2532:9;:22;;;2555:10;2575:4;2582:13;2532:64;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2749:20;607:5;2772:13;:37;;;;:::i;:::-;2749:60;;2907:10;2892:55;;;2919:12;2933:13;2892:55;;;;;;;:::i;:::-;;;;;;;;1959:996;;1888:1067;;:::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;442:126::-;479:7;519:42;512:5;508:54;497:65;;442:126;;;:::o;574:60::-;602:3;623:5;616:12;;574:60;;;:::o;640:142::-;690:9;723:53;741:34;750:24;768:5;750:24;:::i;:::-;741:34;:::i;:::-;723:53;:::i;:::-;710:66;;640:142;;;:::o;788:126::-;838:9;871:37;902:5;871:37;:::i;:::-;858:50;;788:126;;;:::o;920:139::-;983:9;1016:37;1047:5;1016:37;:::i;:::-;1003:50;;920:139;;;:::o;1065:157::-;1165:50;1209:5;1165:50;:::i;:::-;1160:3;1153:63;1065:157;;:::o;1228:248::-;1334:4;1372:2;1361:9;1357:18;1349:26;;1385:84;1466:1;1455:9;1451:17;1442:6;1385:84;:::i;:::-;1228:248;;;;:::o;1482:75::-;1515:6;1548:2;1542:9;1532:19;;1482:75;:::o;1563:117::-;1672:1;1669;1662:12;1686:117;1795:1;1792;1785:12;1809:122;1882:24;1900:5;1882:24;:::i;:::-;1875:5;1872:35;1862:63;;1921:1;1918;1911:12;1862:63;1809:122;:::o;1937:139::-;1983:5;2021:6;2008:20;1999:29;;2037:33;2064:5;2037:33;:::i;:::-;1937:139;;;;:::o;2082:117::-;2191:1;2188;2181:12;2205:117;2314:1;2311;2304:12;2328:102;2369:6;2420:2;2416:7;2411:2;2404:5;2400:14;2396:28;2386:38;;2328:102;;;:::o;2436:180::-;2484:77;2481:1;2474:88;2581:4;2578:1;2571:15;2605:4;2602:1;2595:15;2622:281;2705:27;2727:4;2705:27;:::i;:::-;2697:6;2693:40;2835:6;2823:10;2820:22;2799:18;2787:10;2784:34;2781:62;2778:88;;;2846:18;;:::i;:::-;2778:88;2886:10;2882:2;2875:22;2665:238;2622:281;;:::o;2909:129::-;2943:6;2970:20;;:::i;:::-;2960:30;;2999:33;3027:4;3019:6;2999:33;:::i;:::-;2909:129;;;:::o;3044:308::-;3106:4;3196:18;3188:6;3185:30;3182:56;;;3218:18;;:::i;:::-;3182:56;3256:29;3278:6;3256:29;:::i;:::-;3248:37;;3340:4;3334;3330:15;3322:23;;3044:308;;;:::o;3358:146::-;3455:6;3450:3;3445;3432:30;3496:1;3487:6;3482:3;3478:16;3471:27;3358:146;;;:::o;3510:425::-;3588:5;3613:66;3629:49;3671:6;3629:49;:::i;:::-;3613:66;:::i;:::-;3604:75;;3702:6;3695:5;3688:21;3740:4;3733:5;3729:16;3778:3;3769:6;3764:3;3760:16;3757:25;3754:112;;;3785:79;;:::i;:::-;3754:112;3875:54;3922:6;3917:3;3912;3875:54;:::i;:::-;3594:341;3510:425;;;;;:::o;3955:340::-;4011:5;4060:3;4053:4;4045:6;4041:17;4037:27;4027:122;;4068:79;;:::i;:::-;4027:122;4185:6;4172:20;4210:79;4285:3;4277:6;4270:4;4262:6;4258:17;4210:79;:::i;:::-;4201:88;;4017:278;3955:340;;;;:::o;4301:654::-;4379:6;4387;4436:2;4424:9;4415:7;4411:23;4407:32;4404:119;;;4442:79;;:::i;:::-;4404:119;4562:1;4587:53;4632:7;4623:6;4612:9;4608:22;4587:53;:::i;:::-;4577:63;;4533:117;4717:2;4706:9;4702:18;4689:32;4748:18;4740:6;4737:30;4734:117;;;4770:79;;:::i;:::-;4734:117;4875:63;4930:7;4921:6;4910:9;4906:22;4875:63;:::i;:::-;4865:73;;4660:288;4301:654;;;;;:::o;4961:169::-;5045:11;5079:6;5074:3;5067:19;5119:4;5114:3;5110:14;5095:29;;4961:169;;;;:::o;5136:172::-;5276:24;5272:1;5264:6;5260:14;5253:48;5136:172;:::o;5314:366::-;5456:3;5477:67;5541:2;5536:3;5477:67;:::i;:::-;5470:74;;5553:93;5642:3;5553:93;:::i;:::-;5671:2;5666:3;5662:12;5655:19;;5314:366;;;:::o;5686:419::-;5852:4;5890:2;5879:9;5875:18;5867:26;;5939:9;5933:4;5929:20;5925:1;5914:9;5910:17;5903:47;5967:131;6093:4;5967:131;:::i;:::-;5959:139;;5686:419;;;:::o;6111:180::-;6159:77;6156:1;6149:88;6256:4;6253:1;6246:15;6280:4;6277:1;6270:15;6297:410;6337:7;6360:20;6378:1;6360:20;:::i;:::-;6355:25;;6394:20;6412:1;6394:20;:::i;:::-;6389:25;;6449:1;6446;6442:9;6471:30;6489:11;6471:30;:::i;:::-;6460:41;;6650:1;6641:7;6637:15;6634:1;6631:22;6611:1;6604:9;6584:83;6561:139;;6680:18;;:::i;:::-;6561:139;6345:362;6297:410;;;;:::o;6713:220::-;6853:34;6849:1;6841:6;6837:14;6830:58;6922:3;6917:2;6909:6;6905:15;6898:28;6713:220;:::o;6939:366::-;7081:3;7102:67;7166:2;7161:3;7102:67;:::i;:::-;7095:74;;7178:93;7267:3;7178:93;:::i;:::-;7296:2;7291:3;7287:12;7280:19;;6939:366;;;:::o;7311:419::-;7477:4;7515:2;7504:9;7500:18;7492:26;;7564:9;7558:4;7554:20;7550:1;7539:9;7535:17;7528:47;7592:131;7718:4;7592:131;:::i;:::-;7584:139;;7311:419;;;:::o;7736:180::-;7784:77;7781:1;7774:88;7881:4;7878:1;7871:15;7905:4;7902:1;7895:15;7922:185;7962:1;7979:20;7997:1;7979:20;:::i;:::-;7974:25;;8013:20;8031:1;8013:20;:::i;:::-;8008:25;;8052:1;8042:35;;8057:18;;:::i;:::-;8042:35;8099:1;8096;8092:9;8087:14;;7922:185;;;;:::o;8113:96::-;8150:7;8179:24;8197:5;8179:24;:::i;:::-;8168:35;;8113:96;;;:::o;8215:118::-;8302:24;8320:5;8302:24;:::i;:::-;8297:3;8290:37;8215:118;;:::o;8339:442::-;8488:4;8526:2;8515:9;8511:18;8503:26;;8539:71;8607:1;8596:9;8592:17;8583:6;8539:71;:::i;:::-;8620:72;8688:2;8677:9;8673:18;8664:6;8620:72;:::i;:::-;8702;8770:2;8759:9;8755:18;8746:6;8702:72;:::i;:::-;8339:442;;;;;;:::o;8787:90::-;8821:7;8864:5;8857:13;8850:21;8839:32;;8787:90;;;:::o;8883:116::-;8953:21;8968:5;8953:21;:::i;:::-;8946:5;8943:32;8933:60;;8989:1;8986;8979:12;8933:60;8883:116;:::o;9005:137::-;9059:5;9090:6;9084:13;9075:22;;9106:30;9130:5;9106:30;:::i;:::-;9005:137;;;;:::o;9148:345::-;9215:6;9264:2;9252:9;9243:7;9239:23;9235:32;9232:119;;;9270:79;;:::i;:::-;9232:119;9390:1;9415:61;9468:7;9459:6;9448:9;9444:22;9415:61;:::i;:::-;9405:71;;9361:125;9148:345;;;;:::o;9499:99::-;9551:6;9585:5;9579:12;9569:22;;9499:99;;;:::o;9604:246::-;9685:1;9695:113;9709:6;9706:1;9703:13;9695:113;;;9794:1;9789:3;9785:11;9779:18;9775:1;9770:3;9766:11;9759:39;9731:2;9728:1;9724:10;9719:15;;9695:113;;;9842:1;9833:6;9828:3;9824:16;9817:27;9666:184;9604:246;;;:::o;9856:377::-;9944:3;9972:39;10005:5;9972:39;:::i;:::-;10027:71;10091:6;10086:3;10027:71;:::i;:::-;10020:78;;10107:65;10165:6;10160:3;10153:4;10146:5;10142:16;10107:65;:::i;:::-;10197:29;10219:6;10197:29;:::i;:::-;10192:3;10188:39;10181:46;;9948:285;9856:377;;;;:::o;10239:423::-;10380:4;10418:2;10407:9;10403:18;10395:26;;10431:71;10499:1;10488:9;10484:17;10475:6;10431:71;:::i;:::-;10549:9;10543:4;10539:20;10534:2;10523:9;10519:18;10512:48;10577:78;10650:4;10641:6;10577:78;:::i;:::-;10569:86;;10239:423;;;;;:::o;10668:174::-;10808:26;10804:1;10796:6;10792:14;10785:50;10668:174;:::o;10848:366::-;10990:3;11011:67;11075:2;11070:3;11011:67;:::i;:::-;11004:74;;11087:93;11176:3;11087:93;:::i;:::-;11205:2;11200:3;11196:12;11189:19;;10848:366;;;:::o;11220:419::-;11386:4;11424:2;11413:9;11409:18;11401:26;;11473:9;11467:4;11463:20;11459:1;11448:9;11444:17;11437:47;11501:131;11627:4;11501:131;:::i;:::-;11493:139;;11220:419;;;:::o;11645:179::-;11785:31;11781:1;11773:6;11769:14;11762:55;11645:179;:::o;11830:366::-;11972:3;11993:67;12057:2;12052:3;11993:67;:::i;:::-;11986:74;;12069:93;12158:3;12069:93;:::i;:::-;12187:2;12182:3;12178:12;12171:19;;11830:366;;;:::o;12202:419::-;12368:4;12406:2;12395:9;12391:18;12383:26;;12455:9;12449:4;12445:20;12441:1;12430:9;12426:17;12419:47;12483:131;12609:4;12483:131;:::i;:::-;12475:139;;12202:419;;;:::o

ipfs://d2739640d94b8b7aace53f8dbd70ddeeb428b7f6992fb1cac3fcedc88e85b1b0