Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract PlotsFinance *
•    - function setDistributor(address _dist ...
•    - function balanceOf(address Address)
•    - function approve(address delegate, ui ...
•    - function transferFrom(address _from, ...
•    - function transfer(address _to, uint25 ...
•    - function mint(address _MintTo, uint25 ...
•    - function burn(uint256 _BurnAmount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-16
*/

//SPDX-License-Identifier:UNLICENSE
pragma solidity ^0.8.19;

contract PlotsFinance {
    uint256 public totalSupply;
    uint256 public maxSupply = 1000000000000000000000000000;
    string public name;
    string public symbol;
    uint8 public decimals;
    address private ZeroAddress = address(0);
    address public distributor;

    // Event Declarations
    event Transfer(address indexed from, address indexed to, uint256 value);    
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event BurnEvent(address indexed burner, uint256 indexed buramount);

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

    constructor(string memory _name, string memory _symbol) {
        totalSupply = 0;
        name = _name;
        symbol = _symbol;
        decimals = 18;
        distributor = ZeroAddress; // Set distributor to address zero
    }

    function setDistributor(address _distributor) external {
        require(distributor == ZeroAddress, "Distributor already set");
        require(msg.sender == 0xc932b3a342658A2d3dF79E4661f29DfF6D7e93Ce, "Unauthorized sender");
        distributor = _distributor;
    }

    function balanceOf(address Address) public view returns (uint256 balance) {
        return balances[Address];
    }

    function approve(address delegate, uint256 _amount) public returns (bool) {
        allowance[msg.sender][delegate] = _amount;
        emit Approval(msg.sender, delegate, _amount);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _amount) public returns (bool) {
        require(_amount <= balances[_from]);    
        require(_amount <= allowance[_from][msg.sender]); 
    
        balances[_from] -= _amount;
        allowance[_from][msg.sender] -= _amount;
        balances[_to] += _amount;
        emit Transfer(_from, _to, _amount);
        return true;
    }

    function transfer(address _to, uint256 _amount) public returns (bool) {
        require(_amount <= balances[msg.sender]);
        balances[msg.sender] -= _amount;
        balances[_to] += _amount;
        emit Transfer(msg.sender, _to, _amount);
        return true;
    }

    function mint(address _MintTo, uint256 _MintAmount) public returns (bool success) {
        require(msg.sender == distributor, "Unauthorized distributor");
        require(totalSupply + _MintAmount <= maxSupply, "Exceeds max supply");
        balances[_MintTo] += _MintAmount;
        totalSupply += _MintAmount;
        emit Transfer(ZeroAddress, _MintTo, _MintAmount);
        return true;
    }

    function burn(uint256 _BurnAmount) public {
        require(balances[msg.sender] >= _BurnAmount, "Insufficient balance");
        balances[msg.sender] -= _BurnAmount;
        totalSupply -= _BurnAmount;
        emit Transfer(msg.sender, ZeroAddress, _BurnAmount);
        emit BurnEvent(msg.sender, _BurnAmount);
    }
}

• Source Hat - Nov 18th, 2024 - Security Audit Report

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"burner","type":"address"},{"indexed":true,"internalType":"uint256","name":"buramount","type":"uint256"}],"name":"BurnEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"delegate","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"Address","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_BurnAmount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"distributor","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_MintTo","type":"address"},{"internalType":"uint256","name":"_MintAmount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_distributor","type":"address"}],"name":"setDistributor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526b033b2e3c9fd0803ce800000060015560048054610100600160a81b031916905534801562000031575f80fd5b5060405162000d3e38038062000d3e833981016040819052620000549162000173565b5f8055600262000065838262000263565b50600362000074828262000263565b50506004805460ff191660121790819055600580546001600160a01b0319166001600160a01b0361010090930492909216919091179055506200032f565b634e487b7160e01b5f52604160045260245ffd5b5f82601f830112620000d6575f80fd5b81516001600160401b0380821115620000f357620000f3620000b2565b604051601f8301601f19908116603f011681019082821181831017156200011e576200011e620000b2565b81604052838152602092508660208588010111156200013b575f80fd5b5f91505b838210156200015e57858201830151818301840152908201906200013f565b5f602085830101528094505050505092915050565b5f806040838503121562000185575f80fd5b82516001600160401b03808211156200019c575f80fd5b620001aa86838701620000c6565b93506020850151915080821115620001c0575f80fd5b50620001cf85828601620000c6565b9150509250929050565b600181811c90821680620001ee57607f821691505b6020821081036200020d57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f8211156200025e57805f5260205f20601f840160051c810160208510156200023a5750805b601f840160051c820191505b818110156200025b575f815560010162000246565b50505b505050565b81516001600160401b038111156200027f576200027f620000b2565b6200029781620002908454620001d9565b8462000213565b602080601f831160018114620002cd575f8415620002b55750858301515b5f19600386901b1c1916600185901b17855562000327565b5f85815260208120601f198616915b82811015620002fd57888601518255948401946001909101908401620002dc565b50858210156200031b57878501515f19600388901b60f8161c191681555b505060018460011b0185555b505050505050565b610a01806200033d5f395ff3fe608060405234801561000f575f80fd5b50600436106100e5575f3560e01c806370a0823111610088578063a9059cbb11610063578063a9059cbb146101dd578063bfe10928146101f0578063d5abeb011461021b578063dd62ed3e14610224575f80fd5b806370a082311461019a57806375619ab5146101c257806395d89b41146101d5575f80fd5b806323b872dd116100c357806323b872dd14610140578063313ce5671461015357806340c10f191461017257806342966c6814610185575f80fd5b806306fdde03146100e9578063095ea7b31461010757806318160ddd1461012a575b5f80fd5b6100f161024e565b6040516100fe9190610809565b60405180910390f35b61011a610115366004610870565b6102da565b60405190151581526020016100fe565b6101325f5481565b6040519081526020016100fe565b61011a61014e366004610898565b610346565b6004546101609060ff1681565b60405160ff90911681526020016100fe565b61011a610180366004610870565b61046c565b6101986101933660046108d1565b610596565b005b6101326101a83660046108e8565b6001600160a01b03165f9081526006602052604090205490565b6101986101d03660046108e8565b610689565b6100f1610769565b61011a6101eb366004610870565b610776565b600554610203906001600160a01b031681565b6040516001600160a01b0390911681526020016100fe565b61013260015481565b610132610232366004610908565b600760209081525f928352604080842090915290825290205481565b6002805461025b90610939565b80601f016020809104026020016040519081016040528092919081815260200182805461028790610939565b80156102d25780601f106102a9576101008083540402835291602001916102d2565b820191905f5260205f20905b8154815290600101906020018083116102b557829003601f168201915b505050505081565b335f8181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103349086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383165f90815260066020526040812054821115610369575f80fd5b6001600160a01b0384165f908152600760209081526040808320338452909152902054821115610397575f80fd5b6001600160a01b0384165f90815260066020526040812080548492906103be908490610985565b90915550506001600160a01b0384165f908152600760209081526040808320338452909152812080548492906103f5908490610985565b90915550506001600160a01b0383165f9081526006602052604081208054849290610421908490610998565b92505081905550826001600160a01b0316846001600160a01b03165f805160206109ac8339815191528460405161045a91815260200190565b60405180910390a35060019392505050565b6005545f906001600160a01b031633146104cd5760405162461bcd60e51b815260206004820152601860248201527f556e617574686f72697a6564206469737472696275746f72000000000000000060448201526064015b60405180910390fd5b600154825f546104dd9190610998565b11156105205760405162461bcd60e51b815260206004820152601260248201527145786365656473206d617820737570706c7960701b60448201526064016104c4565b6001600160a01b0383165f9081526006602052604081208054849290610547908490610998565b92505081905550815f8082825461055e9190610998565b90915550506004546040518381526001600160a01b0385811692610100900416905f805160206109ac83398151915290602001610334565b335f908152600660205260409020548111156105eb5760405162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742062616c616e636560601b60448201526064016104c4565b335f9081526006602052604081208054839290610609908490610985565b92505081905550805f808282546106209190610985565b90915550506004546040518281526101009091046001600160a01b03169033905f805160206109ac8339815191529060200160405180910390a3604051819033907f512586160ebd4dc6945ba9ec5d21a1f723f26f3c7aa36cdffb6818d4e7b88030905f90a350565b6004546005546001600160a01b0390811661010090920416146106ee5760405162461bcd60e51b815260206004820152601760248201527f4469737472696275746f7220616c72656164792073657400000000000000000060448201526064016104c4565b73c932b3a342658a2d3df79e4661f29dff6d7e93ce33146107475760405162461bcd60e51b81526020600482015260136024820152722ab730baba3437b934bd32b21039b2b73232b960691b60448201526064016104c4565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b6003805461025b90610939565b335f90815260066020526040812054821115610790575f80fd5b335f90815260066020526040812080548492906107ae908490610985565b90915550506001600160a01b0383165f90815260066020526040812080548492906107da908490610998565b90915550506040518281526001600160a01b0384169033905f805160206109ac83398151915290602001610334565b5f602080835283518060208501525f5b8181101561083557858101830151858201604001528201610819565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461086b575f80fd5b919050565b5f8060408385031215610881575f80fd5b61088a83610855565b946020939093013593505050565b5f805f606084860312156108aa575f80fd5b6108b384610855565b92506108c160208501610855565b9150604084013590509250925092565b5f602082840312156108e1575f80fd5b5035919050565b5f602082840312156108f8575f80fd5b61090182610855565b9392505050565b5f8060408385031215610919575f80fd5b61092283610855565b915061093060208401610855565b90509250929050565b600181811c9082168061094d57607f821691505b60208210810361096b57634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561034057610340610971565b808201808211156103405761034061097156feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa264697066735822122055d96a55df70fc2cf76faaae073b4a13c32e85f02d1c626c941689048573590064736f6c6343000818003300000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000d506c6f74732046696e616e6365000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005504c4f5453000000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f80fd5b50600436106100e5575f3560e01c806370a0823111610088578063a9059cbb11610063578063a9059cbb146101dd578063bfe10928146101f0578063d5abeb011461021b578063dd62ed3e14610224575f80fd5b806370a082311461019a57806375619ab5146101c257806395d89b41146101d5575f80fd5b806323b872dd116100c357806323b872dd14610140578063313ce5671461015357806340c10f191461017257806342966c6814610185575f80fd5b806306fdde03146100e9578063095ea7b31461010757806318160ddd1461012a575b5f80fd5b6100f161024e565b6040516100fe9190610809565b60405180910390f35b61011a610115366004610870565b6102da565b60405190151581526020016100fe565b6101325f5481565b6040519081526020016100fe565b61011a61014e366004610898565b610346565b6004546101609060ff1681565b60405160ff90911681526020016100fe565b61011a610180366004610870565b61046c565b6101986101933660046108d1565b610596565b005b6101326101a83660046108e8565b6001600160a01b03165f9081526006602052604090205490565b6101986101d03660046108e8565b610689565b6100f1610769565b61011a6101eb366004610870565b610776565b600554610203906001600160a01b031681565b6040516001600160a01b0390911681526020016100fe565b61013260015481565b610132610232366004610908565b600760209081525f928352604080842090915290825290205481565b6002805461025b90610939565b80601f016020809104026020016040519081016040528092919081815260200182805461028790610939565b80156102d25780601f106102a9576101008083540402835291602001916102d2565b820191905f5260205f20905b8154815290600101906020018083116102b557829003601f168201915b505050505081565b335f8181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103349086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383165f90815260066020526040812054821115610369575f80fd5b6001600160a01b0384165f908152600760209081526040808320338452909152902054821115610397575f80fd5b6001600160a01b0384165f90815260066020526040812080548492906103be908490610985565b90915550506001600160a01b0384165f908152600760209081526040808320338452909152812080548492906103f5908490610985565b90915550506001600160a01b0383165f9081526006602052604081208054849290610421908490610998565b92505081905550826001600160a01b0316846001600160a01b03165f805160206109ac8339815191528460405161045a91815260200190565b60405180910390a35060019392505050565b6005545f906001600160a01b031633146104cd5760405162461bcd60e51b815260206004820152601860248201527f556e617574686f72697a6564206469737472696275746f72000000000000000060448201526064015b60405180910390fd5b600154825f546104dd9190610998565b11156105205760405162461bcd60e51b815260206004820152601260248201527145786365656473206d617820737570706c7960701b60448201526064016104c4565b6001600160a01b0383165f9081526006602052604081208054849290610547908490610998565b92505081905550815f8082825461055e9190610998565b90915550506004546040518381526001600160a01b0385811692610100900416905f805160206109ac83398151915290602001610334565b335f908152600660205260409020548111156105eb5760405162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742062616c616e636560601b60448201526064016104c4565b335f9081526006602052604081208054839290610609908490610985565b92505081905550805f808282546106209190610985565b90915550506004546040518281526101009091046001600160a01b03169033905f805160206109ac8339815191529060200160405180910390a3604051819033907f512586160ebd4dc6945ba9ec5d21a1f723f26f3c7aa36cdffb6818d4e7b88030905f90a350565b6004546005546001600160a01b0390811661010090920416146106ee5760405162461bcd60e51b815260206004820152601760248201527f4469737472696275746f7220616c72656164792073657400000000000000000060448201526064016104c4565b73c932b3a342658a2d3df79e4661f29dff6d7e93ce33146107475760405162461bcd60e51b81526020600482015260136024820152722ab730baba3437b934bd32b21039b2b73232b960691b60448201526064016104c4565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b6003805461025b90610939565b335f90815260066020526040812054821115610790575f80fd5b335f90815260066020526040812080548492906107ae908490610985565b90915550506001600160a01b0383165f90815260066020526040812080548492906107da908490610998565b90915550506040518281526001600160a01b0384169033905f805160206109ac83398151915290602001610334565b5f602080835283518060208501525f5b8181101561083557858101830151858201604001528201610819565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461086b575f80fd5b919050565b5f8060408385031215610881575f80fd5b61088a83610855565b946020939093013593505050565b5f805f606084860312156108aa575f80fd5b6108b384610855565b92506108c160208501610855565b9150604084013590509250925092565b5f602082840312156108e1575f80fd5b5035919050565b5f602082840312156108f8575f80fd5b61090182610855565b9392505050565b5f8060408385031215610919575f80fd5b61092283610855565b915061093060208401610855565b90509250929050565b600181811c9082168061094d57607f821691505b60208210810361096b57634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561034057610340610971565b808201808211156103405761034061097156feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa264697066735822122055d96a55df70fc2cf76faaae073b4a13c32e85f02d1c626c941689048573590064736f6c63430008180033

00000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000d506c6f74732046696e616e6365000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005504c4f5453000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Plots Finance
Arg [1] : _symbol (string): PLOTS

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 000000000000000000000000000000000000000000000000000000000000000d
Arg [3] : 506c6f74732046696e616e636500000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [5] : 504c4f5453000000000000000000000000000000000000000000000000000000

65:2972:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;189:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1383:211;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;1383:211:0;1004:187:1;94:26:0;;;;;;;;;1342:25:1;;;1330:2;1315:18;94:26:0;1196:177:1;1602:402:0;;;;;;:::i;:::-;;:::i;241:21::-;;;;;;;;;;;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;241:21:0;1711:184:1;2298:404:0;;;;;;:::i;:::-;;:::i;2710:324::-;;;;;;:::i;:::-;;:::i;:::-;;1258:117;;;;;;:::i;:::-;-1:-1:-1;;;;;1350:17:0;1315:15;1350:17;;;:8;:17;;;;;;;1258:117;978:272;;;;;;:::i;:::-;;:::i;214:20::-;;;:::i;2012:278::-;;;;;;:::i;:::-;;:::i;316:26::-;;;;;-1:-1:-1;;;;;316:26:0;;;;;;-1:-1:-1;;;;;2440:32:1;;;2422:51;;2410:2;2395:18;316:26:0;2276:203:1;127:55:0;;;;;;662:64;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;189:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1383:211::-;1478:10;1451:4;1468:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1468:31:0;;;;;;;;;;:41;;;1525:39;1451:4;;1468:31;;1525:39;;;;1502:7;1342:25:1;;1330:2;1315:18;;1196:177;1525:39:0;;;;;;;;-1:-1:-1;1582:4:0;1383:211;;;;;:::o;1602:402::-;-1:-1:-1;;;;;1721:15:0;;1685:4;1721:15;;;:8;:15;;;;;;1710:26;;;1702:35;;;;;;-1:-1:-1;;;;;1771:16:0;;;;;;:9;:16;;;;;;;;1788:10;1771:28;;;;;;;;1760:39;;;1752:48;;;;;;-1:-1:-1;;;;;1818:15:0;;;;;;:8;:15;;;;;:26;;1837:7;;1818:15;:26;;1837:7;;1818:26;:::i;:::-;;;;-1:-1:-1;;;;;;;1855:16:0;;;;;;:9;:16;;;;;;;;1872:10;1855:28;;;;;;;:39;;1887:7;;1855:16;:39;;1887:7;;1855:39;:::i;:::-;;;;-1:-1:-1;;;;;;;1905:13:0;;;;;;:8;:13;;;;;:24;;1922:7;;1905:13;:24;;1922:7;;1905:24;:::i;:::-;;;;;;;;1961:3;-1:-1:-1;;;;;1945:29:0;1954:5;-1:-1:-1;;;;;1945:29:0;-1:-1:-1;;;;;;;;;;;1966:7:0;1945:29;;;;1342:25:1;;1330:2;1315:18;;1196:177;1945:29:0;;;;;;;;-1:-1:-1;1992:4:0;1602:402;;;;;:::o;2298:404::-;2413:11;;2366:12;;-1:-1:-1;;;;;2413:11:0;2399:10;:25;2391:62;;;;-1:-1:-1;;;2391:62:0;;3731:2:1;2391:62:0;;;3713:21:1;3770:2;3750:18;;;3743:30;3809:26;3789:18;;;3782:54;3853:18;;2391:62:0;;;;;;;;;2501:9;;2486:11;2472;;:25;;;;:::i;:::-;:38;;2464:69;;;;-1:-1:-1;;;2464:69:0;;4084:2:1;2464:69:0;;;4066:21:1;4123:2;4103:18;;;4096:30;-1:-1:-1;;;4142:18:1;;;4135:48;4200:18;;2464:69:0;3882:342:1;2464:69:0;-1:-1:-1;;;;;2544:17:0;;;;;;:8;:17;;;;;:32;;2565:11;;2544:17;:32;;2565:11;;2544:32;:::i;:::-;;;;;;;;2602:11;2587;;:26;;;;;;;:::i;:::-;;;;-1:-1:-1;;2638:11:0;;2629:43;;1342:25:1;;;-1:-1:-1;;;;;2629:43:0;;;;2638:11;;;;;-1:-1:-1;;;;;;;;;;;2629:43:0;1330:2:1;1315:18;2629:43:0;1196:177:1;2710:324:0;2780:10;2771:20;;;;:8;:20;;;;;;:35;-1:-1:-1;2771:35:0;2763:68;;;;-1:-1:-1;;;2763:68:0;;4431:2:1;2763:68:0;;;4413:21:1;4470:2;4450:18;;;4443:30;-1:-1:-1;;;4489:18:1;;;4482:50;4549:18;;2763:68:0;4229:344:1;2763:68:0;2851:10;2842:20;;;;:8;:20;;;;;:35;;2866:11;;2842:20;:35;;2866:11;;2842:35;:::i;:::-;;;;;;;;2903:11;2888;;:26;;;;;;;:::i;:::-;;;;-1:-1:-1;;2951:11:0;;2930:46;;1342:25:1;;;2951:11:0;;;;-1:-1:-1;;;;;2951:11:0;;2939:10;;-1:-1:-1;;;;;;;;;;;2930:46:0;1330:2:1;1315:18;2930:46:0;;;;;;;2992:34;;3014:11;;3002:10;;2992:34;;;;;2710:324;:::o;978:272::-;1067:11;;1052;;-1:-1:-1;;;;;1052:11:0;;;1067;;;;;1052:26;1044:62;;;;-1:-1:-1;;;1044:62:0;;4780:2:1;1044:62:0;;;4762:21:1;4819:2;4799:18;;;4792:30;4858:25;4838:18;;;4831:53;4901:18;;1044:62:0;4578:347:1;1044:62:0;1139:42;1125:10;:56;1117:88;;;;-1:-1:-1;;;1117:88:0;;5132:2:1;1117:88:0;;;5114:21:1;5171:2;5151:18;;;5144:30;-1:-1:-1;;;5190:18:1;;;5183:49;5249:18;;1117:88:0;4930:343:1;1117:88:0;1216:11;:26;;-1:-1:-1;;;;;;1216:26:0;-1:-1:-1;;;;;1216:26:0;;;;;;;;;;978:272::o;214:20::-;;;;;;;:::i;2012:278::-;2121:10;2076:4;2112:20;;;:8;:20;;;;;;2101:31;;;2093:40;;;;;;2153:10;2144:20;;;;:8;:20;;;;;:31;;2168:7;;2144:20;:31;;2168:7;;2144:31;:::i;:::-;;;;-1:-1:-1;;;;;;;2186:13:0;;;;;;:8;:13;;;;;:24;;2203:7;;2186:13;:24;;2203:7;;2186:24;:::i;:::-;;;;-1:-1:-1;;2226:34:0;;1342:25:1;;;-1:-1:-1;;;;;2226:34:0;;;2235:10;;-1:-1:-1;;;;;;;;;;;2226:34:0;1330:2:1;1315:18;2226:34:0;1196:177:1;14:548;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:180::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;-1:-1:-1;2051:23:1;;1900:180;-1:-1:-1;1900:180:1:o;2085:186::-;2144:6;2197:2;2185:9;2176:7;2172:23;2168:32;2165:52;;;2213:1;2210;2203:12;2165:52;2236:29;2255:9;2236:29;:::i;:::-;2226:39;2085:186;-1:-1:-1;;;2085:186:1:o;2484:260::-;2552:6;2560;2613:2;2601:9;2592:7;2588:23;2584:32;2581:52;;;2629:1;2626;2619:12;2581:52;2652:29;2671:9;2652:29;:::i;:::-;2642:39;;2700:38;2734:2;2723:9;2719:18;2700:38;:::i;:::-;2690:48;;2484:260;;;;;:::o;2749:380::-;2828:1;2824:12;;;;2871;;;2892:61;;2946:4;2938:6;2934:17;2924:27;;2892:61;2999:2;2991:6;2988:14;2968:18;2965:38;2962:161;;3045:10;3040:3;3036:20;3033:1;3026:31;3080:4;3077:1;3070:15;3108:4;3105:1;3098:15;2962:161;;2749:380;;;:::o;3134:127::-;3195:10;3190:3;3186:20;3183:1;3176:31;3226:4;3223:1;3216:15;3250:4;3247:1;3240:15;3266:128;3333:9;;;3354:11;;;3351:37;;;3368:18;;:::i;3399:125::-;3464:9;;;3485:10;;;3482:36;;;3498:18;;:::i

ipfs://55d96a55df70fc2cf76faaae073b4a13c32e85f02d1c626c9416890485735900