Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IPacaFinance
•    - function stakes(address user, uint256 ...
•  contract UserStakeDetails *
•    - function getAllStakeDetails(address u ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2024-12-30
*/

/**
 *Submitted for verification at basescan.org on 2024-12-18
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

interface IPacaFinance {
    struct Stake {
        uint256 amount;
        uint256 lastClaimed;
        uint256 dailyRewardRate;
        uint256 unlockTime;
        bool complete;
    }

    function stakes(address user, uint256 index) external view returns (Stake memory);
}

contract UserStakeDetails {
    IPacaFinance public pacaFinanceContract;

    constructor(address _pacaFinanceAddress) {
        pacaFinanceContract = IPacaFinance(_pacaFinanceAddress);
    }

    /**
     * @dev Returns all stakes of a user as a single array split into individual arrays for each field.
     * Adds stake IDs, converts unlock time to remaining days.
     * Loops dynamically until an invalid (zeroed) stake is found.
     * @param user The address of the user to check.
     * @return stakeIds An array containing all stake IDs.
     * @return amounts An array containing all stake amounts.
     * @return dailyRewardRates An array containing all daily reward rates.
     * @return remainingDays An array containing all remaining unlock times in days.
     * @return completions An array containing all stake completion statuses.
     */
    function getAllStakeDetails(address user)
        external
        view
        returns (
            uint256[] memory stakeIds,
            uint256[] memory amounts,
            uint256[] memory dailyRewardRates,
            uint256[] memory remainingDays,
            bool[] memory completions
        )
    {
        uint256 maxIterations = 750; // Prevent infinite loops
        uint256 index = 0;
        uint256 currentTime = block.timestamp;

        // Temporary storage arrays to collect stake details
        uint256[] memory tempStakeIds = new uint256[](maxIterations);
        uint256[] memory tempAmounts = new uint256[](maxIterations);
        uint256[] memory tempDailyRates = new uint256[](maxIterations);
        uint256[] memory tempRemainingDays = new uint256[](maxIterations);
        bool[] memory tempCompletions = new bool[](maxIterations);

        while (index < maxIterations) {
            try pacaFinanceContract.stakes(user, index) returns (IPacaFinance.Stake memory stake) {
                if (stake.amount == 0 && stake.unlockTime == 0) {
                    break; // Exit when invalid stake is reached
                }
                tempStakeIds[index] = index; // Add stake ID
                tempAmounts[index] = stake.amount; // Keep original value with 6 decimals
                tempDailyRates[index] = stake.dailyRewardRate;
                if (stake.unlockTime > currentTime) {
                    tempRemainingDays[index] = (stake.unlockTime - currentTime) / 1 days;
                } else {
                    tempRemainingDays[index] = 0; // Unlock time passed
                }
                tempCompletions[index] = stake.complete;
            } catch {
                break; // Exit safely on error
            }
            index++;
        }

        // Final arrays sized correctly
        stakeIds = new uint256[](index);
        amounts = new uint256[](index);
        dailyRewardRates = new uint256[](index);
        remainingDays = new uint256[](index);
        completions = new bool[](index);

        for (uint256 i = 0; i < index; i++) {
            stakeIds[i] = tempStakeIds[i];
            amounts[i] = tempAmounts[i];
            dailyRewardRates[i] = tempDailyRates[i];
            remainingDays[i] = tempRemainingDays[i];
            completions[i] = tempCompletions[i];
        }

        return (stakeIds, amounts, dailyRewardRates, remainingDays, completions);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_pacaFinanceAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getAllStakeDetails","outputs":[{"internalType":"uint256[]","name":"stakeIds","type":"uint256[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"uint256[]","name":"dailyRewardRates","type":"uint256[]"},{"internalType":"uint256[]","name":"remainingDays","type":"uint256[]"},{"internalType":"bool[]","name":"completions","type":"bool[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pacaFinanceContract","outputs":[{"internalType":"contract IPacaFinance","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

608060405234801561000f575f80fd5b50604051610e28380380610e28833981810160405281019061003191906100d4565b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550506100ff565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6100a38261007a565b9050919050565b6100b381610099565b81146100bd575f80fd5b50565b5f815190506100ce816100aa565b92915050565b5f602082840312156100e9576100e8610076565b5b5f6100f6848285016100c0565b91505092915050565b610d1c8061010c5f395ff3fe608060405234801561000f575f80fd5b5060043610610034575f3560e01c8063266cf0c614610038578063ccfce4171461006c575b5f80fd5b610052600480360381019061004d9190610747565b61008a565b6040516100639594939291906108f4565b60405180910390f35b6100746106bd565b60405161008191906109c3565b60405180910390f35b60608060608060605f6102ee90505f804290505f8367ffffffffffffffff8111156100b8576100b76109dc565b5b6040519080825280602002602001820160405280156100e65781602001602082028036833780820191505090505b5090505f8467ffffffffffffffff811115610104576101036109dc565b5b6040519080825280602002602001820160405280156101325781602001602082028036833780820191505090505b5090505f8567ffffffffffffffff8111156101505761014f6109dc565b5b60405190808252806020026020018201604052801561017e5781602001602082028036833780820191505090505b5090505f8667ffffffffffffffff81111561019c5761019b6109dc565b5b6040519080825280602002602001820160405280156101ca5781602001602082028036833780820191505090505b5090505f8767ffffffffffffffff8111156101e8576101e76109dc565b5b6040519080825280602002602001820160405280156102165781602001602082028036833780820191505090505b5090505b878710156103ef575f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663584b62a18f896040518363ffffffff1660e01b815260040161027c929190610a27565b60a060405180830381865afa9250505080156102b657506040513d601f19601f820116820180604052508101906102b39190610b8a565b60015b156103ef575f815f01511480156102d057505f8160600151145b156102db57506103ef565b878689815181106102ef576102ee610bb5565b5b602002602001018181525050805f015185898151811061031257610311610bb5565b5b602002602001018181525050806040015184898151811061033657610335610bb5565b5b602002602001018181525050868160600151111561039057620151808782606001516103629190610c0f565b61036c9190610c6f565b83898151811061037f5761037e610bb5565b5b6020026020010181815250506103b1565b5f8389815181106103a4576103a3610bb5565b5b6020026020010181815250505b80608001518289815181106103c9576103c8610bb5565b5b6020026020010190151590811515815250505086806103e790610c9f565b97505061021a565b8667ffffffffffffffff811115610409576104086109dc565b5b6040519080825280602002602001820160405280156104375781602001602082028036833780820191505090505b509c508667ffffffffffffffff811115610454576104536109dc565b5b6040519080825280602002602001820160405280156104825781602001602082028036833780820191505090505b509b508667ffffffffffffffff81111561049f5761049e6109dc565b5b6040519080825280602002602001820160405280156104cd5781602001602082028036833780820191505090505b509a508667ffffffffffffffff8111156104ea576104e96109dc565b5b6040519080825280602002602001820160405280156105185781602001602082028036833780820191505090505b5099508667ffffffffffffffff811115610535576105346109dc565b5b6040519080825280602002602001820160405280156105635781602001602082028036833780820191505090505b5098505f5b878110156106ab5785818151811061058357610582610bb5565b5b60200260200101518e828151811061059e5761059d610bb5565b5b6020026020010181815250508481815181106105bd576105bc610bb5565b5b60200260200101518d82815181106105d8576105d7610bb5565b5b6020026020010181815250508381815181106105f7576105f6610bb5565b5b60200260200101518c828151811061061257610611610bb5565b5b60200260200101818152505082818151811061063157610630610bb5565b5b60200260200101518b828151811061064c5761064b610bb5565b5b60200260200101818152505081818151811061066b5761066a610bb5565b5b60200260200101518a828151811061068657610685610bb5565b5b60200260200101901515908115158152505080806106a390610c9f565b915050610568565b50505050505050505091939590929450565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f604051905090565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610716826106ed565b9050919050565b6107268161070c565b8114610730575f80fd5b50565b5f813590506107418161071d565b92915050565b5f6020828403121561075c5761075b6106e9565b5b5f61076984828501610733565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f819050919050565b6107ad8161079b565b82525050565b5f6107be83836107a4565b60208301905092915050565b5f602082019050919050565b5f6107e082610772565b6107ea818561077c565b93506107f58361078c565b805f5b8381101561082557815161080c88826107b3565b9750610817836107ca565b9250506001810190506107f8565b5085935050505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f8115159050919050565b61086f8161085b565b82525050565b5f6108808383610866565b60208301905092915050565b5f602082019050919050565b5f6108a282610832565b6108ac818561083c565b93506108b78361084c565b805f5b838110156108e75781516108ce8882610875565b97506108d98361088c565b9250506001810190506108ba565b5085935050505092915050565b5f60a0820190508181035f83015261090c81886107d6565b9050818103602083015261092081876107d6565b9050818103604083015261093481866107d6565b9050818103606083015261094881856107d6565b9050818103608083015261095c8184610898565b90509695505050505050565b5f819050919050565b5f61098b610986610981846106ed565b610968565b6106ed565b9050919050565b5f61099c82610971565b9050919050565b5f6109ad82610992565b9050919050565b6109bd816109a3565b82525050565b5f6020820190506109d65f8301846109b4565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b610a128161070c565b82525050565b610a218161079b565b82525050565b5f604082019050610a3a5f830185610a09565b610a476020830184610a18565b9392505050565b5f80fd5b5f601f19601f8301169050919050565b610a6b82610a52565b810181811067ffffffffffffffff82111715610a8a57610a896109dc565b5b80604052505050565b5f610a9c6106e0565b9050610aa88282610a62565b919050565b610ab68161079b565b8114610ac0575f80fd5b50565b5f81519050610ad181610aad565b92915050565b610ae08161085b565b8114610aea575f80fd5b50565b5f81519050610afb81610ad7565b92915050565b5f60a08284031215610b1657610b15610a4e565b5b610b2060a0610a93565b90505f610b2f84828501610ac3565b5f830152506020610b4284828501610ac3565b6020830152506040610b5684828501610ac3565b6040830152506060610b6a84828501610ac3565b6060830152506080610b7e84828501610aed565b60808301525092915050565b5f60a08284031215610b9f57610b9e6106e9565b5b5f610bac84828501610b01565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610c198261079b565b9150610c248361079b565b9250828203905081811115610c3c57610c3b610be2565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f610c798261079b565b9150610c848361079b565b925082610c9457610c93610c42565b5b828204905092915050565b5f610ca98261079b565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610cdb57610cda610be2565b5b60018201905091905056fea2646970667358221220b0f9e870151e72a6b22d53a04a7f8f2675c0652a9bcf4afcf9135e5b61b9075164736f6c63430008140033000000000000000000000000a26f8128ecb2ff2fc5618498758cc82cf1fdad5f

0x608060405234801561000f575f80fd5b5060043610610034575f3560e01c8063266cf0c614610038578063ccfce4171461006c575b5f80fd5b610052600480360381019061004d9190610747565b61008a565b6040516100639594939291906108f4565b60405180910390f35b6100746106bd565b60405161008191906109c3565b60405180910390f35b60608060608060605f6102ee90505f804290505f8367ffffffffffffffff8111156100b8576100b76109dc565b5b6040519080825280602002602001820160405280156100e65781602001602082028036833780820191505090505b5090505f8467ffffffffffffffff811115610104576101036109dc565b5b6040519080825280602002602001820160405280156101325781602001602082028036833780820191505090505b5090505f8567ffffffffffffffff8111156101505761014f6109dc565b5b60405190808252806020026020018201604052801561017e5781602001602082028036833780820191505090505b5090505f8667ffffffffffffffff81111561019c5761019b6109dc565b5b6040519080825280602002602001820160405280156101ca5781602001602082028036833780820191505090505b5090505f8767ffffffffffffffff8111156101e8576101e76109dc565b5b6040519080825280602002602001820160405280156102165781602001602082028036833780820191505090505b5090505b878710156103ef575f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663584b62a18f896040518363ffffffff1660e01b815260040161027c929190610a27565b60a060405180830381865afa9250505080156102b657506040513d601f19601f820116820180604052508101906102b39190610b8a565b60015b156103ef575f815f01511480156102d057505f8160600151145b156102db57506103ef565b878689815181106102ef576102ee610bb5565b5b602002602001018181525050805f015185898151811061031257610311610bb5565b5b602002602001018181525050806040015184898151811061033657610335610bb5565b5b602002602001018181525050868160600151111561039057620151808782606001516103629190610c0f565b61036c9190610c6f565b83898151811061037f5761037e610bb5565b5b6020026020010181815250506103b1565b5f8389815181106103a4576103a3610bb5565b5b6020026020010181815250505b80608001518289815181106103c9576103c8610bb5565b5b6020026020010190151590811515815250505086806103e790610c9f565b97505061021a565b8667ffffffffffffffff811115610409576104086109dc565b5b6040519080825280602002602001820160405280156104375781602001602082028036833780820191505090505b509c508667ffffffffffffffff811115610454576104536109dc565b5b6040519080825280602002602001820160405280156104825781602001602082028036833780820191505090505b509b508667ffffffffffffffff81111561049f5761049e6109dc565b5b6040519080825280602002602001820160405280156104cd5781602001602082028036833780820191505090505b509a508667ffffffffffffffff8111156104ea576104e96109dc565b5b6040519080825280602002602001820160405280156105185781602001602082028036833780820191505090505b5099508667ffffffffffffffff811115610535576105346109dc565b5b6040519080825280602002602001820160405280156105635781602001602082028036833780820191505090505b5098505f5b878110156106ab5785818151811061058357610582610bb5565b5b60200260200101518e828151811061059e5761059d610bb5565b5b6020026020010181815250508481815181106105bd576105bc610bb5565b5b60200260200101518d82815181106105d8576105d7610bb5565b5b6020026020010181815250508381815181106105f7576105f6610bb5565b5b60200260200101518c828151811061061257610611610bb5565b5b60200260200101818152505082818151811061063157610630610bb5565b5b60200260200101518b828151811061064c5761064b610bb5565b5b60200260200101818152505081818151811061066b5761066a610bb5565b5b60200260200101518a828151811061068657610685610bb5565b5b60200260200101901515908115158152505080806106a390610c9f565b915050610568565b50505050505050505091939590929450565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f604051905090565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610716826106ed565b9050919050565b6107268161070c565b8114610730575f80fd5b50565b5f813590506107418161071d565b92915050565b5f6020828403121561075c5761075b6106e9565b5b5f61076984828501610733565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f819050919050565b6107ad8161079b565b82525050565b5f6107be83836107a4565b60208301905092915050565b5f602082019050919050565b5f6107e082610772565b6107ea818561077c565b93506107f58361078c565b805f5b8381101561082557815161080c88826107b3565b9750610817836107ca565b9250506001810190506107f8565b5085935050505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f8115159050919050565b61086f8161085b565b82525050565b5f6108808383610866565b60208301905092915050565b5f602082019050919050565b5f6108a282610832565b6108ac818561083c565b93506108b78361084c565b805f5b838110156108e75781516108ce8882610875565b97506108d98361088c565b9250506001810190506108ba565b5085935050505092915050565b5f60a0820190508181035f83015261090c81886107d6565b9050818103602083015261092081876107d6565b9050818103604083015261093481866107d6565b9050818103606083015261094881856107d6565b9050818103608083015261095c8184610898565b90509695505050505050565b5f819050919050565b5f61098b610986610981846106ed565b610968565b6106ed565b9050919050565b5f61099c82610971565b9050919050565b5f6109ad82610992565b9050919050565b6109bd816109a3565b82525050565b5f6020820190506109d65f8301846109b4565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b610a128161070c565b82525050565b610a218161079b565b82525050565b5f604082019050610a3a5f830185610a09565b610a476020830184610a18565b9392505050565b5f80fd5b5f601f19601f8301169050919050565b610a6b82610a52565b810181811067ffffffffffffffff82111715610a8a57610a896109dc565b5b80604052505050565b5f610a9c6106e0565b9050610aa88282610a62565b919050565b610ab68161079b565b8114610ac0575f80fd5b50565b5f81519050610ad181610aad565b92915050565b610ae08161085b565b8114610aea575f80fd5b50565b5f81519050610afb81610ad7565b92915050565b5f60a08284031215610b1657610b15610a4e565b5b610b2060a0610a93565b90505f610b2f84828501610ac3565b5f830152506020610b4284828501610ac3565b6020830152506040610b5684828501610ac3565b6040830152506060610b6a84828501610ac3565b6060830152506080610b7e84828501610aed565b60808301525092915050565b5f60a08284031215610b9f57610b9e6106e9565b5b5f610bac84828501610b01565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610c198261079b565b9150610c248361079b565b9250828203905081811115610c3c57610c3b610be2565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f610c798261079b565b9150610c848361079b565b925082610c9457610c93610c42565b5b828204905092915050565b5f610ca98261079b565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610cdb57610cda610be2565b5b60018201905091905056fea2646970667358221220b0f9e870151e72a6b22d53a04a7f8f2675c0652a9bcf4afcf9135e5b61b9075164736f6c63430008140033

000000000000000000000000a26f8128ecb2ff2fc5618498758cc82cf1fdad5f

-----Decoded View---------------
Arg [0] : _pacaFinanceAddress (address): 0xa26F8128Ecb2FF2FC5618498758cC82Cf1FDad5F

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000a26f8128ecb2ff2fc5618498758cc82cf1fdad5f

422:3379:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1300:2498;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;:::i;:::-;;;;;;;;455:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1300:2498;1406:25;1446:24;1485:33;1533:30;1578:25;1631:21;1655:3;1631:27;;1695:13;1723:19;1745:15;1723:37;;1835:29;1881:13;1867:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1835:60;;1906:28;1951:13;1937:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1906:59;;1976:31;2024:13;2010:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1976:62;;2049:34;2100:13;2086:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2049:65;;2125:29;2168:13;2157:25;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2125:57;;2195:942;2210:13;2202:5;:21;2195:942;;;2244:19;;;;;;;;;;:26;;;2271:4;2277:5;2244:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;2240:864;3059:5;2240:864;2365:1;2349:5;:12;;;:17;:42;;;;;2390:1;2370:5;:16;;;:21;2349:42;2345:134;;;2416:5;;;2345:134;2519:5;2497:12;2510:5;2497:19;;;;;;;;:::i;:::-;;;;;;;:27;;;;;2580:5;:12;;;2559:11;2571:5;2559:18;;;;;;;;:::i;:::-;;;;;;;:33;;;;;2674:5;:21;;;2650:14;2665:5;2650:21;;;;;;;;:::i;:::-;;;;;;;:45;;;;;2737:11;2718:5;:16;;;:30;2714:246;;;2835:6;2820:11;2801:5;:16;;;:30;;;;:::i;:::-;2800:41;;;;:::i;:::-;2773:17;2791:5;2773:24;;;;;;;;:::i;:::-;;;;;;;:68;;;;;2714:246;;;2917:1;2890:17;2908:5;2890:24;;;;;;;;:::i;:::-;;;;;;;:28;;;;;2714:246;3003:5;:14;;;2978:15;2994:5;2978:22;;;;;;;;:::i;:::-;;;;;;;:39;;;;;;;;;;;2284:749;3118:7;;;;;:::i;:::-;;;;2195:942;;;3215:5;3201:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3190:31;;3256:5;3242:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3232:30;;3306:5;3292:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3273:39;;3353:5;3339:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3323:36;;3395:5;3384:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3370:31;;3419:9;3414:292;3438:5;3434:1;:9;3414:292;;;3479:12;3492:1;3479:15;;;;;;;;:::i;:::-;;;;;;;;3465:8;3474:1;3465:11;;;;;;;;:::i;:::-;;;;;;;:29;;;;;3522:11;3534:1;3522:14;;;;;;;;:::i;:::-;;;;;;;;3509:7;3517:1;3509:10;;;;;;;;:::i;:::-;;;;;;;:27;;;;;3573:14;3588:1;3573:17;;;;;;;;:::i;:::-;;;;;;;;3551:16;3568:1;3551:19;;;;;;;;:::i;:::-;;;;;;;:39;;;;;3624:17;3642:1;3624:20;;;;;;;;:::i;:::-;;;;;;;;3605:13;3619:1;3605:16;;;;;;;;:::i;:::-;;;;;;;:39;;;;;3676:15;3692:1;3676:18;;;;;;;;:::i;:::-;;;;;;;;3659:11;3671:1;3659:14;;;;;;;;:::i;:::-;;;;;;;:35;;;;;;;;;;;3445:3;;;;;:::i;:::-;;;;3414:292;;;;3718:72;;;;;;;;1300:2498;;;;;;;:::o;455:39::-;;;;;;;;;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:114::-;1243:6;1277:5;1271:12;1261:22;;1176:114;;;:::o;1296:184::-;1395:11;1429:6;1424:3;1417:19;1469:4;1464:3;1460:14;1445:29;;1296:184;;;;:::o;1486:132::-;1553:4;1576:3;1568:11;;1606:4;1601:3;1597:14;1589:22;;1486:132;;;:::o;1624:77::-;1661:7;1690:5;1679:16;;1624:77;;;:::o;1707:108::-;1784:24;1802:5;1784:24;:::i;:::-;1779:3;1772:37;1707:108;;:::o;1821:179::-;1890:10;1911:46;1953:3;1945:6;1911:46;:::i;:::-;1989:4;1984:3;1980:14;1966:28;;1821:179;;;;:::o;2006:113::-;2076:4;2108;2103:3;2099:14;2091:22;;2006:113;;;:::o;2155:732::-;2274:3;2303:54;2351:5;2303:54;:::i;:::-;2373:86;2452:6;2447:3;2373:86;:::i;:::-;2366:93;;2483:56;2533:5;2483:56;:::i;:::-;2562:7;2593:1;2578:284;2603:6;2600:1;2597:13;2578:284;;;2679:6;2673:13;2706:63;2765:3;2750:13;2706:63;:::i;:::-;2699:70;;2792:60;2845:6;2792:60;:::i;:::-;2782:70;;2638:224;2625:1;2622;2618:9;2613:14;;2578:284;;;2582:14;2878:3;2871:10;;2279:608;;;2155:732;;;;:::o;2893:111::-;2957:6;2991:5;2985:12;2975:22;;2893:111;;;:::o;3010:181::-;3106:11;3140:6;3135:3;3128:19;3180:4;3175:3;3171:14;3156:29;;3010:181;;;;:::o;3197:129::-;3261:4;3284:3;3276:11;;3314:4;3309:3;3305:14;3297:22;;3197:129;;;:::o;3332:90::-;3366:7;3409:5;3402:13;3395:21;3384:32;;3332:90;;;:::o;3428:99::-;3499:21;3514:5;3499:21;:::i;:::-;3494:3;3487:34;3428:99;;:::o;3533:167::-;3596:10;3617:40;3653:3;3645:6;3617:40;:::i;:::-;3689:4;3684:3;3680:14;3666:28;;3533:167;;;;:::o;3706:110::-;3773:4;3805;3800:3;3796:14;3788:22;;3706:110;;;:::o;3846:708::-;3959:3;3988:51;4033:5;3988:51;:::i;:::-;4055:83;4131:6;4126:3;4055:83;:::i;:::-;4048:90;;4162:53;4209:5;4162:53;:::i;:::-;4238:7;4269:1;4254:275;4279:6;4276:1;4273:13;4254:275;;;4355:6;4349:13;4382:57;4435:3;4420:13;4382:57;:::i;:::-;4375:64;;4462:57;4512:6;4462:57;:::i;:::-;4452:67;;4314:215;4301:1;4298;4294:9;4289:14;;4254:275;;;4258:14;4545:3;4538:10;;3964:590;;;3846:708;;;;:::o;4560:1407::-;5009:4;5047:3;5036:9;5032:19;5024:27;;5097:9;5091:4;5087:20;5083:1;5072:9;5068:17;5061:47;5125:108;5228:4;5219:6;5125:108;:::i;:::-;5117:116;;5280:9;5274:4;5270:20;5265:2;5254:9;5250:18;5243:48;5308:108;5411:4;5402:6;5308:108;:::i;:::-;5300:116;;5463:9;5457:4;5453:20;5448:2;5437:9;5433:18;5426:48;5491:108;5594:4;5585:6;5491:108;:::i;:::-;5483:116;;5646:9;5640:4;5636:20;5631:2;5620:9;5616:18;5609:48;5674:108;5777:4;5768:6;5674:108;:::i;:::-;5666:116;;5830:9;5824:4;5820:20;5814:3;5803:9;5799:19;5792:49;5858:102;5955:4;5946:6;5858:102;:::i;:::-;5850:110;;4560:1407;;;;;;;;:::o;5973:60::-;6001:3;6022:5;6015:12;;5973:60;;;:::o;6039:142::-;6089:9;6122:53;6140:34;6149:24;6167:5;6149:24;:::i;:::-;6140:34;:::i;:::-;6122:53;:::i;:::-;6109:66;;6039:142;;;:::o;6187:126::-;6237:9;6270:37;6301:5;6270:37;:::i;:::-;6257:50;;6187:126;;;:::o;6319:145::-;6388:9;6421:37;6452:5;6421:37;:::i;:::-;6408:50;;6319:145;;;:::o;6470:169::-;6576:56;6626:5;6576:56;:::i;:::-;6571:3;6564:69;6470:169;;:::o;6645:260::-;6757:4;6795:2;6784:9;6780:18;6772:26;;6808:90;6895:1;6884:9;6880:17;6871:6;6808:90;:::i;:::-;6645:260;;;;:::o;6911:180::-;6959:77;6956:1;6949:88;7056:4;7053:1;7046:15;7080:4;7077:1;7070:15;7097:118;7184:24;7202:5;7184:24;:::i;:::-;7179:3;7172:37;7097:118;;:::o;7221:::-;7308:24;7326:5;7308:24;:::i;:::-;7303:3;7296:37;7221:118;;:::o;7345:332::-;7466:4;7504:2;7493:9;7489:18;7481:26;;7517:71;7585:1;7574:9;7570:17;7561:6;7517:71;:::i;:::-;7598:72;7666:2;7655:9;7651:18;7642:6;7598:72;:::i;:::-;7345:332;;;;;:::o;7683:117::-;7792:1;7789;7782:12;7806:102;7847:6;7898:2;7894:7;7889:2;7882:5;7878:14;7874:28;7864:38;;7806:102;;;:::o;7914:281::-;7997:27;8019:4;7997:27;:::i;:::-;7989:6;7985:40;8127:6;8115:10;8112:22;8091:18;8079:10;8076:34;8073:62;8070:88;;;8138:18;;:::i;:::-;8070:88;8178:10;8174:2;8167:22;7957:238;7914:281;;:::o;8201:129::-;8235:6;8262:20;;:::i;:::-;8252:30;;8291:33;8319:4;8311:6;8291:33;:::i;:::-;8201:129;;;:::o;8459:122::-;8532:24;8550:5;8532:24;:::i;:::-;8525:5;8522:35;8512:63;;8571:1;8568;8561:12;8512:63;8459:122;:::o;8587:143::-;8644:5;8675:6;8669:13;8660:22;;8691:33;8718:5;8691:33;:::i;:::-;8587:143;;;;:::o;8736:116::-;8806:21;8821:5;8806:21;:::i;:::-;8799:5;8796:32;8786:60;;8842:1;8839;8832:12;8786:60;8736:116;:::o;8858:137::-;8912:5;8943:6;8937:13;8928:22;;8959:30;8983:5;8959:30;:::i;:::-;8858:137;;;;:::o;9034:1147::-;9115:5;9159:4;9147:9;9142:3;9138:19;9134:30;9131:117;;;9167:79;;:::i;:::-;9131:117;9266:21;9282:4;9266:21;:::i;:::-;9257:30;;9348:1;9388:60;9444:3;9435:6;9424:9;9420:22;9388:60;:::i;:::-;9381:4;9374:5;9370:16;9363:86;9297:163;9526:2;9567:60;9623:3;9614:6;9603:9;9599:22;9567:60;:::i;:::-;9560:4;9553:5;9549:16;9542:86;9470:169;9709:2;9750:60;9806:3;9797:6;9786:9;9782:22;9750:60;:::i;:::-;9743:4;9736:5;9732:16;9725:86;9649:173;9887:2;9928:60;9984:3;9975:6;9964:9;9960:22;9928:60;:::i;:::-;9921:4;9914:5;9910:16;9903:86;9832:168;10063:3;10105:57;10158:3;10149:6;10138:9;10134:22;10105:57;:::i;:::-;10098:4;10091:5;10087:16;10080:83;10010:164;9034:1147;;;;:::o;10187:394::-;10278:6;10327:3;10315:9;10306:7;10302:23;10298:33;10295:120;;;10334:79;;:::i;:::-;10295:120;10454:1;10479:85;10556:7;10547:6;10536:9;10532:22;10479:85;:::i;:::-;10469:95;;10425:149;10187:394;;;;:::o;10587:180::-;10635:77;10632:1;10625:88;10732:4;10729:1;10722:15;10756:4;10753:1;10746:15;10773:180;10821:77;10818:1;10811:88;10918:4;10915:1;10908:15;10942:4;10939:1;10932:15;10959:194;10999:4;11019:20;11037:1;11019:20;:::i;:::-;11014:25;;11053:20;11071:1;11053:20;:::i;:::-;11048:25;;11097:1;11094;11090:9;11082:17;;11121:1;11115:4;11112:11;11109:37;;;11126:18;;:::i;:::-;11109:37;10959:194;;;;:::o;11159:180::-;11207:77;11204:1;11197:88;11304:4;11301:1;11294:15;11328:4;11325:1;11318:15;11345:185;11385:1;11402:20;11420:1;11402:20;:::i;:::-;11397:25;;11436:20;11454:1;11436:20;:::i;:::-;11431:25;;11475:1;11465:35;;11480:18;;:::i;:::-;11465:35;11522:1;11519;11515:9;11510:14;;11345:185;;;;:::o;11536:233::-;11575:3;11598:24;11616:5;11598:24;:::i;:::-;11589:33;;11644:66;11637:5;11634:77;11631:103;;11714:18;;:::i;:::-;11631:103;11761:1;11754:5;11750:13;11743:20;;11536:233;;;:::o

ipfs://b0f9e870151e72a6b22d53a04a7f8f2675c0652a9bcf4afcf9135e5b61b90751