Contract Source Code (Solidity Multiple files format)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity 0.8.8;

import "./SmartToken.sol";

contract NeurashiToken is SmartToken {
    string private constant _name = "Neurashi";
    string private constant _symbol = "NEI";
    uint8 private immutable _decimals = 18;
    
    constructor()  {
        address account = msg.sender;
        uint256 amount = 45000000000e18;
        totalSupply = totalSupply + amount;
        _balances[account] = _balances[account] + amount;
        emit Transfer(address(0), account, amount);
    }

    function name() public pure returns(string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }
    
}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.8;

abstract contract BEP20Basic {
    uint public totalSupply;
     function balanceOf(address who) public virtual view returns (uint256);
     function transfer(address to, uint256 value) public virtual returns(bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

abstract contract BasicToken is BEP20Basic {
    
    mapping(address => uint256) internal _balances;
    
    function  transfer(address to, uint256 value) public override validRecipient(to) returns(bool) {
        _transfer(msg.sender, to, value);
        return true;
    }
    
    function _transfer(address from, address to, uint256 value) internal {
        require(from != address(0), "ERROR: transfer from the zero address");
        require(value > 0, "ERROR: the transfer amount is 0");
        require(_balances[from] >= value, "ERROR: transfer amount exceeds balance");
        _balances[from] = _balances[from] - value;
        _balances[to] = _balances[to] + value;
        emit Transfer(from, to, value);
    }

   function balanceOf(address _owner)  public override view returns(uint256) {
      return _balances[_owner];
    }

    function availableBalance(address _owner) public view returns(uint256) {
        return _balances[_owner];
    }
 
    modifier validRecipient(address _recipient) {
        require(_recipient != address(0) && _recipient != address(this), "ERROR: it cannot be the zero address or the address of this contract.");
    _;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.8;

import "./StandardToken.sol";


abstract contract IBEP677 is IBEP20 {
    function transferAndCall(address receiver, uint value, bytes memory data) public virtual returns (bool success);
    event Transfer(address indexed from, address indexed to, uint256 value, bytes data);
}

abstract contract BEP677Receiver {
    function onTokenTransfer(address _sender, uint _value, bytes memory _data) public virtual;
}

abstract contract SmartToken is IBEP677, StandardToken {
    
    function transferAndCall(address _to, uint256 _value, bytes memory _data) public override validRecipient(_to) returns(bool success) {
        _transfer(msg.sender, _to, _value);
        emit Transfer(msg.sender, _to, _value, _data);
        if (_isContract(_to)) {
            contractFallback(_to, _value, _data);
        }
        return true;
    }

    function contractFallback(address _to, uint _value, bytes memory _data) private {
        BEP677Receiver receiver = BEP677Receiver(_to);
        receiver.onTokenTransfer(msg.sender, _value, _data);
    }

    function _isContract(address addr) internal view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(addr)
        }
        return size > 0;
    }
    
}

// SPDX-License-Identifier: MIT

pragma solidity 0.8.8;

import "./BasicToken.sol";


abstract contract IBEP20 is BEP20Basic {
    function allowance(address owner, address spender) public virtual view returns (uint256);
    function approve(address spender, uint256 value) public virtual returns (bool);
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}


abstract contract StandardToken is IBEP20, BasicToken {
    mapping(address => mapping(address => uint256)) private _allowed;

    function approve(address spender, uint256 value) public override validRecipient(spender) returns(bool) {
        _approve(msg.sender, spender, value);
        return true;
    }
    
    function _approve(address _owner, address spender, uint256 value) private {
        _allowed[_owner][spender] = value;
        emit Approval(_owner, spender, value);
    }

    function transferFrom(address from, address to, uint256 value) public override validRecipient(to) returns(bool) {
        require(_allowed[from][msg.sender] >= value, "ERROR: transfer amount exceeds allowance");
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender] - value);
        return true;
    }

    function allowance(address _owner, address _spender) public override view returns (uint256) {
        return _allowed[_owner][_spender];
    }

    function increaseAllowance(address spender, uint256 addedValue) public validRecipient(spender) returns(bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender] + addedValue);
        return true;
    }
    
    function decreaseAllowance(address spender, uint256 subtractValue) public validRecipient(spender) returns(bool) {
        uint256 oldValue = _allowed[msg.sender][spender];
        if(subtractValue > oldValue) {
            _approve(msg.sender, spender, 0);
        }
        else {
            _approve(msg.sender, spender, oldValue - subtractValue);
        }
        return true;
    }
}

• Certik - Nov 16th, 2023 - Security Audit Report

[{"inputs":[],"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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"Transfer","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":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"availableBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"transferAndCall","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60a0604052600960f91b60805234801561001857600080fd5b5060005433906b916720a817a68ab4c8000000906100379082906100bd565b60009081556001600160a01b03831681526001602052604090205461005d9082906100bd565b6001600160a01b0383166000818152600160205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906100ae9085815260200190565b60405180910390a350506100e3565b600082198211156100de57634e487b7160e01b600052601160045260246000fd5b500190565b60805160f81c610bad610101600039600061015e0152610bad6000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c80634000aea01161008c578063a0821be311610066578063a0821be3146101ae578063a457c2d7146101f6578063a9059cbb14610209578063dd62ed3e1461021c57600080fd5b80634000aea01461019b57806370a08231146101ae57806395d89b41146101d757600080fd5b806306fdde03146100d4578063095ea7b31461010a57806318160ddd1461012d57806323b872dd14610144578063313ce567146101575780633950935114610188575b600080fd5b6040805180820190915260088152674e6575726173686960c01b60208201525b60405161010191906108ab565b60405180910390f35b61011d6101183660046108e1565b610255565b6040519015158152602001610101565b61013660005481565b604051908152602001610101565b61011d61015236600461090b565b6102b3565b60405160ff7f0000000000000000000000000000000000000000000000000000000000000000168152602001610101565b61011d6101963660046108e1565b6103c8565b61011d6101a936600461095d565b61043e565b6101366101bc366004610a28565b6001600160a01b031660009081526001602052604090205490565b6040805180820190915260038152624e454960e81b60208201526100f4565b61011d6102043660046108e1565b6104e8565b61011d6102173660046108e1565b610574565b61013661022a366004610a43565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000826001600160a01b0381161580159061027957506001600160a01b0381163014155b61029e5760405162461bcd60e51b815260040161029590610a76565b60405180910390fd5b6102a93385856105bf565b5060019392505050565b6000826001600160a01b038116158015906102d757506001600160a01b0381163014155b6102f35760405162461bcd60e51b815260040161029590610a76565b6001600160a01b03851660009081526002602090815260408083203384529091529020548311156103775760405162461bcd60e51b815260206004820152602860248201527f4552524f523a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610295565b610382858585610621565b6001600160a01b0385166000908152600260209081526040808320338085529252909120546103bd9187916103b8908790610af7565b6105bf565b506001949350505050565b6000826001600160a01b038116158015906103ec57506001600160a01b0381163014155b6104085760405162461bcd60e51b815260040161029590610a76565b3360008181526002602090815260408083206001600160a01b03891684529091529020546102a9919086906103b8908790610b0e565b6000836001600160a01b0381161580159061046257506001600160a01b0381163014155b61047e5760405162461bcd60e51b815260040161029590610a76565b610489338686610621565b846001600160a01b0316336001600160a01b03167fe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c1686866040516104ce929190610b26565b60405180910390a3843b156103bd576103bd8585856107f4565b6000826001600160a01b0381161580159061050c57506001600160a01b0381163014155b6105285760405162461bcd60e51b815260040161029590610a76565b3360009081526002602090815260408083206001600160a01b03881684529091529020548084111561056557610560338660006105bf565b6103bd565b6103bd33866103b88785610af7565b6000826001600160a01b0381161580159061059857506001600160a01b0381163014155b6105b45760405162461bcd60e51b815260040161029590610a76565b6102a9338585610621565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166106855760405162461bcd60e51b815260206004820152602560248201527f4552524f523a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610295565b600081116106d55760405162461bcd60e51b815260206004820152601f60248201527f4552524f523a20746865207472616e7366657220616d6f756e742069732030006044820152606401610295565b6001600160a01b03831660009081526001602052604090205481111561074c5760405162461bcd60e51b815260206004820152602660248201527f4552524f523a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610295565b6001600160a01b038316600090815260016020526040902054610770908290610af7565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107a0908290610b0e565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906106149085815260200190565b604051635260769b60e11b815283906001600160a01b0382169063a4c0ed369061082690339087908790600401610b47565b600060405180830381600087803b15801561084057600080fd5b505af1158015610854573d6000803e3d6000fd5b5050505050505050565b6000815180845260005b8181101561088457602081850181015186830182015201610868565b81811115610896576000602083870101525b50601f01601f19169290920160200192915050565b6020815260006108be602083018461085e565b9392505050565b80356001600160a01b03811681146108dc57600080fd5b919050565b600080604083850312156108f457600080fd5b6108fd836108c5565b946020939093013593505050565b60008060006060848603121561092057600080fd5b610929846108c5565b9250610937602085016108c5565b9150604084013590509250925092565b634e487b7160e01b600052604160045260246000fd5b60008060006060848603121561097257600080fd5b61097b846108c5565b925060208401359150604084013567ffffffffffffffff8082111561099f57600080fd5b818601915086601f8301126109b357600080fd5b8135818111156109c5576109c5610947565b604051601f8201601f19908116603f011681019083821181831017156109ed576109ed610947565b81604052828152896020848701011115610a0657600080fd5b8260208601602083013760006020848301015280955050505050509250925092565b600060208284031215610a3a57600080fd5b6108be826108c5565b60008060408385031215610a5657600080fd5b610a5f836108c5565b9150610a6d602084016108c5565b90509250929050565b60208082526045908201527f4552524f523a2069742063616e6e6f7420626520746865207a65726f2061646460408201527f72657373206f72207468652061646472657373206f66207468697320636f6e746060820152643930b1ba1760d91b608082015260a00190565b634e487b7160e01b600052601160045260246000fd5b600082821015610b0957610b09610ae1565b500390565b60008219821115610b2157610b21610ae1565b500190565b828152604060208201526000610b3f604083018461085e565b949350505050565b60018060a01b0384168152826020820152606060408201526000610b6e606083018461085e565b9594505050505056fea2646970667358221220305457d77a7357dc2a31ee717d016b883601210fbb0a432be222dc6c2b4a930364736f6c63430008080033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80634000aea01161008c578063a0821be311610066578063a0821be3146101ae578063a457c2d7146101f6578063a9059cbb14610209578063dd62ed3e1461021c57600080fd5b80634000aea01461019b57806370a08231146101ae57806395d89b41146101d757600080fd5b806306fdde03146100d4578063095ea7b31461010a57806318160ddd1461012d57806323b872dd14610144578063313ce567146101575780633950935114610188575b600080fd5b6040805180820190915260088152674e6575726173686960c01b60208201525b60405161010191906108ab565b60405180910390f35b61011d6101183660046108e1565b610255565b6040519015158152602001610101565b61013660005481565b604051908152602001610101565b61011d61015236600461090b565b6102b3565b60405160ff7f0000000000000000000000000000000000000000000000000000000000000012168152602001610101565b61011d6101963660046108e1565b6103c8565b61011d6101a936600461095d565b61043e565b6101366101bc366004610a28565b6001600160a01b031660009081526001602052604090205490565b6040805180820190915260038152624e454960e81b60208201526100f4565b61011d6102043660046108e1565b6104e8565b61011d6102173660046108e1565b610574565b61013661022a366004610a43565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000826001600160a01b0381161580159061027957506001600160a01b0381163014155b61029e5760405162461bcd60e51b815260040161029590610a76565b60405180910390fd5b6102a93385856105bf565b5060019392505050565b6000826001600160a01b038116158015906102d757506001600160a01b0381163014155b6102f35760405162461bcd60e51b815260040161029590610a76565b6001600160a01b03851660009081526002602090815260408083203384529091529020548311156103775760405162461bcd60e51b815260206004820152602860248201527f4552524f523a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610295565b610382858585610621565b6001600160a01b0385166000908152600260209081526040808320338085529252909120546103bd9187916103b8908790610af7565b6105bf565b506001949350505050565b6000826001600160a01b038116158015906103ec57506001600160a01b0381163014155b6104085760405162461bcd60e51b815260040161029590610a76565b3360008181526002602090815260408083206001600160a01b03891684529091529020546102a9919086906103b8908790610b0e565b6000836001600160a01b0381161580159061046257506001600160a01b0381163014155b61047e5760405162461bcd60e51b815260040161029590610a76565b610489338686610621565b846001600160a01b0316336001600160a01b03167fe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c1686866040516104ce929190610b26565b60405180910390a3843b156103bd576103bd8585856107f4565b6000826001600160a01b0381161580159061050c57506001600160a01b0381163014155b6105285760405162461bcd60e51b815260040161029590610a76565b3360009081526002602090815260408083206001600160a01b03881684529091529020548084111561056557610560338660006105bf565b6103bd565b6103bd33866103b88785610af7565b6000826001600160a01b0381161580159061059857506001600160a01b0381163014155b6105b45760405162461bcd60e51b815260040161029590610a76565b6102a9338585610621565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166106855760405162461bcd60e51b815260206004820152602560248201527f4552524f523a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610295565b600081116106d55760405162461bcd60e51b815260206004820152601f60248201527f4552524f523a20746865207472616e7366657220616d6f756e742069732030006044820152606401610295565b6001600160a01b03831660009081526001602052604090205481111561074c5760405162461bcd60e51b815260206004820152602660248201527f4552524f523a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610295565b6001600160a01b038316600090815260016020526040902054610770908290610af7565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107a0908290610b0e565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906106149085815260200190565b604051635260769b60e11b815283906001600160a01b0382169063a4c0ed369061082690339087908790600401610b47565b600060405180830381600087803b15801561084057600080fd5b505af1158015610854573d6000803e3d6000fd5b5050505050505050565b6000815180845260005b8181101561088457602081850181015186830182015201610868565b81811115610896576000602083870101525b50601f01601f19169290920160200192915050565b6020815260006108be602083018461085e565b9392505050565b80356001600160a01b03811681146108dc57600080fd5b919050565b600080604083850312156108f457600080fd5b6108fd836108c5565b946020939093013593505050565b60008060006060848603121561092057600080fd5b610929846108c5565b9250610937602085016108c5565b9150604084013590509250925092565b634e487b7160e01b600052604160045260246000fd5b60008060006060848603121561097257600080fd5b61097b846108c5565b925060208401359150604084013567ffffffffffffffff8082111561099f57600080fd5b818601915086601f8301126109b357600080fd5b8135818111156109c5576109c5610947565b604051601f8201601f19908116603f011681019083821181831017156109ed576109ed610947565b81604052828152896020848701011115610a0657600080fd5b8260208601602083013760006020848301015280955050505050509250925092565b600060208284031215610a3a57600080fd5b6108be826108c5565b60008060408385031215610a5657600080fd5b610a5f836108c5565b9150610a6d602084016108c5565b90509250929050565b60208082526045908201527f4552524f523a2069742063616e6e6f7420626520746865207a65726f2061646460408201527f72657373206f72207468652061646472657373206f66207468697320636f6e746060820152643930b1ba1760d91b608082015260a00190565b634e487b7160e01b600052601160045260246000fd5b600082821015610b0957610b09610ae1565b500390565b60008219821115610b2157610b21610ae1565b500190565b828152604060208201526000610b3f604083018461085e565b949350505050565b60018060a01b0384168152826020820152606060408201526000610b6e606083018461085e565b9594505050505056fea2646970667358221220305457d77a7357dc2a31ee717d016b883601210fbb0a432be222dc6c2b4a930364736f6c63430008080033

91:736:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;550:82;619:5;;;;;;;;;;;;-1:-1:-1;;;619:5:1;;;;550:82;;;;;;;:::i;:::-;;;;;;;;639:180:3;;;;;;:::i;:::-;;:::i;:::-;;;1318:14:4;;1311:22;1293:41;;1281:2;1266:18;639:180:3;1153:187:4;97:23:0;;;;;;;;;1491:25:4;;;1479:2;1464:18;97:23:0;1345:177:4;1013:351:3;;;;;;:::i;:::-;;:::i;735:83:1:-;;;2032:4:4;801:9:1;2020:17:4;2002:36;;1990:2;1975:18;735:83:1;1860:184:4;1524:223:3;;;;;;:::i;:::-;;:::i;553:358:2:-;;;;;;:::i;:::-;;:::i;1113:115:0:-;;;;;;:::i;:::-;-1:-1:-1;;;;;1203:17:0;1178:7;1203:17;;;:9;:17;;;;;;;1113:115;640:87:1;712:7;;;;;;;;;;;;-1:-1:-1;;;712:7:1;;;;640:87;;1759:396:3;;;;;;:::i;:::-;;:::i;479:168:0:-;;;;;;:::i;:::-;;:::i;1372:144:3:-;;;;;;:::i;:::-;-1:-1:-1;;;;;1482:16:3;;;1455:7;1482:16;;;:8;:16;;;;;;;;:26;;;;;;;;;;;;;1372:144;639:180;736:4;719:7;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;;;;;;;;;753:36:3::1;762:10;774:7;783:5;753:8;:36::i;:::-;-1:-1:-1::0;807:4:3::1;::::0;639:180;-1:-1:-1;;;639:180:3:o;1013:351::-;1119:4;1107:2;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;1144:14:3;::::1;;::::0;;;:8:::1;:14;::::0;;;;;;;1159:10:::1;1144:26:::0;;;;;;;;:35;-1:-1:-1;1144:35:3::1;1136:88;;;::::0;-1:-1:-1;;;1136:88:3;;4385:2:4;1136:88:3::1;::::0;::::1;4367:21:4::0;4424:2;4404:18;;;4397:30;4463:34;4443:18;;;4436:62;-1:-1:-1;;;4514:18:4;;;4507:38;4562:19;;1136:88:3::1;4183:404:4::0;1136:88:3::1;1235:26;1245:4;1251:2;1255:5;1235:9;:26::i;:::-;-1:-1:-1::0;;;;;1299:14:3;::::1;;::::0;;;:8:::1;:14;::::0;;;;;;;1287:10:::1;1299:26:::0;;;;;;;;;1272:62:::1;::::0;1281:4;;1299:34:::1;::::0;1328:5;;1299:34:::1;:::i;:::-;1272:8;:62::i;:::-;-1:-1:-1::0;1352:4:3::1;::::0;1013:351;-1:-1:-1;;;;1013:351:3:o;1524:223::-;1627:4;1610:7;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;1653:10:3::1;1674:20;::::0;;;:8:::1;:20;::::0;;;;;;;-1:-1:-1;;;;;1674:29:3;::::1;::::0;;;;;;;;1644:73:::1;::::0;1653:10;1665:7;;1674:42:::1;::::0;1706:10;;1674:42:::1;:::i;553:358:2:-:0;671:12;658:3;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;696:34:2::1;706:10;718:3;723:6;696:9;:34::i;:::-;767:3;-1:-1:-1::0;;;;;746:40:2::1;755:10;-1:-1:-1::0;;;;;746:40:2::1;;772:6;780:5;746:40;;;;;;;:::i;:::-;;;;;;;;1263:17:::0;;1308:8;797:85:::1;;834:36;851:3;856:6;864:5;834:16;:36::i;1759:396:3:-:0;1865:4;1848:7;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;1910:10:3::1;1882:16;1901:20:::0;;;:8:::1;:20;::::0;;;;;;;-1:-1:-1;;;;;1901:29:3;::::1;::::0;;;;;;;;1944:24;;::::1;1941:185;;;1985:32;1994:10;2006:7;2015:1;1985:8;:32::i;:::-;1941:185;;;2059:55;2068:10;2080:7:::0;2089:24:::1;2100:13:::0;2089:8;:24:::1;:::i;479:168:0:-:0;568:4;556:2;-1:-1:-1;;;;;1422:24:0;;;;;;:55;;-1:-1:-1;;;;;;1450:27:0;;1472:4;1450:27;;1422:55;1414:137;;;;-1:-1:-1;;;1414:137:0;;;;;;;:::i;:::-;585:32:::1;595:10;607:2;611:5;585:9;:32::i;831:174:3:-:0;-1:-1:-1;;;;;916:16:3;;;;;;;:8;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;965:32;;1491:25:4;;;965:32:3;;1464:18:4;965:32:3;;;;;;;;831:174;;;:::o;659:447:0:-;-1:-1:-1;;;;;747:18:0;;739:68;;;;-1:-1:-1;;;739:68:0;;5483:2:4;739:68:0;;;5465:21:4;5522:2;5502:18;;;5495:30;5561:34;5541:18;;;5534:62;-1:-1:-1;;;5612:18:4;;;5605:35;5657:19;;739:68:0;5281:401:4;739:68:0;834:1;826:5;:9;818:53;;;;-1:-1:-1;;;818:53:0;;5889:2:4;818:53:0;;;5871:21:4;5928:2;5908:18;;;5901:30;5967:33;5947:18;;;5940:61;6018:18;;818:53:0;5687:355:4;818:53:0;-1:-1:-1;;;;;890:15:0;;;;;;:9;:15;;;;;;:24;-1:-1:-1;890:24:0;882:75;;;;-1:-1:-1;;;882:75:0;;6249:2:4;882:75:0;;;6231:21:4;6288:2;6268:18;;;6261:30;6327:34;6307:18;;;6300:62;-1:-1:-1;;;6378:18:4;;;6371:36;6424:19;;882:75:0;6047:402:4;882:75:0;-1:-1:-1;;;;;986:15:0;;;;;;:9;:15;;;;;;:23;;1004:5;;986:23;:::i;:::-;-1:-1:-1;;;;;968:15:0;;;;;;;:9;:15;;;;;;:41;;;;1036:13;;;;;;;:21;;1052:5;;1036:21;:::i;:::-;-1:-1:-1;;;;;1020:13:0;;;;;;;:9;:13;;;;;;;:37;;;;1073:25;;;;;;;;;;1092:5;1491:25:4;;1479:2;1464:18;;1345:177;919:206:2;1066:51;;-1:-1:-1;;;1066:51:2;;1051:3;;-1:-1:-1;;;;;1066:24:2;;;;;:51;;1091:10;;1103:6;;1111:5;;1066:51;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;999:126;919:206;;;:::o;14:472:4:-;56:3;94:5;88:12;121:6;116:3;109:19;146:1;156:162;170:6;167:1;164:13;156:162;;;232:4;288:13;;;284:22;;278:29;260:11;;;256:20;;249:59;185:12;156:162;;;336:6;333:1;330:13;327:87;;;402:1;395:4;386:6;381:3;377:16;373:27;366:38;327:87;-1:-1:-1;468:2:4;447:15;-1:-1:-1;;443:29:4;434:39;;;;475:4;430:50;;14:472;-1:-1:-1;;14:472:4:o;491:220::-;640:2;629:9;622:21;603:4;660:45;701:2;690:9;686:18;678:6;660:45;:::i;:::-;652:53;491:220;-1:-1:-1;;;491:220:4:o;716:173::-;784:20;;-1:-1:-1;;;;;833:31:4;;823:42;;813:70;;879:1;876;869:12;813:70;716:173;;;:::o;894:254::-;962:6;970;1023:2;1011:9;1002:7;998:23;994:32;991:52;;;1039:1;1036;1029:12;991:52;1062:29;1081:9;1062:29;:::i;:::-;1052:39;1138:2;1123:18;;;;1110:32;;-1:-1:-1;;;894:254:4:o;1527:328::-;1604:6;1612;1620;1673:2;1661:9;1652:7;1648:23;1644:32;1641:52;;;1689:1;1686;1679:12;1641:52;1712:29;1731:9;1712:29;:::i;:::-;1702:39;;1760:38;1794:2;1783:9;1779:18;1760:38;:::i;:::-;1750:48;;1845:2;1834:9;1830:18;1817:32;1807:42;;1527:328;;;;;:::o;2049:127::-;2110:10;2105:3;2101:20;2098:1;2091:31;2141:4;2138:1;2131:15;2165:4;2162:1;2155:15;2181:1063;2267:6;2275;2283;2336:2;2324:9;2315:7;2311:23;2307:32;2304:52;;;2352:1;2349;2342:12;2304:52;2375:29;2394:9;2375:29;:::i;:::-;2365:39;;2451:2;2440:9;2436:18;2423:32;2413:42;;2506:2;2495:9;2491:18;2478:32;2529:18;2570:2;2562:6;2559:14;2556:34;;;2586:1;2583;2576:12;2556:34;2624:6;2613:9;2609:22;2599:32;;2669:7;2662:4;2658:2;2654:13;2650:27;2640:55;;2691:1;2688;2681:12;2640:55;2727:2;2714:16;2749:2;2745;2742:10;2739:36;;;2755:18;;:::i;:::-;2830:2;2824:9;2798:2;2884:13;;-1:-1:-1;;2880:22:4;;;2904:2;2876:31;2872:40;2860:53;;;2928:18;;;2948:22;;;2925:46;2922:72;;;2974:18;;:::i;:::-;3014:10;3010:2;3003:22;3049:2;3041:6;3034:18;3089:7;3084:2;3079;3075;3071:11;3067:20;3064:33;3061:53;;;3110:1;3107;3100:12;3061:53;3166:2;3161;3157;3153:11;3148:2;3140:6;3136:15;3123:46;3211:1;3206:2;3201;3193:6;3189:15;3185:24;3178:35;3232:6;3222:16;;;;;;;2181:1063;;;;;:::o;3249:186::-;3308:6;3361:2;3349:9;3340:7;3336:23;3332:32;3329:52;;;3377:1;3374;3367:12;3329:52;3400:29;3419:9;3400:29;:::i;3440:260::-;3508:6;3516;3569:2;3557:9;3548:7;3544:23;3540:32;3537:52;;;3585:1;3582;3575:12;3537:52;3608:29;3627:9;3608:29;:::i;:::-;3598:39;;3656:38;3690:2;3679:9;3675:18;3656:38;:::i;:::-;3646:48;;3440:260;;;;;:::o;3705:473::-;3907:2;3889:21;;;3946:2;3926:18;;;3919:30;3985:34;3980:2;3965:18;;3958:62;4056:34;4051:2;4036:18;;4029:62;-1:-1:-1;;;4122:3:4;4107:19;;4100:36;4168:3;4153:19;;3705:473::o;4592:127::-;4653:10;4648:3;4644:20;4641:1;4634:31;4684:4;4681:1;4674:15;4708:4;4705:1;4698:15;4724:125;4764:4;4792:1;4789;4786:8;4783:34;;;4797:18;;:::i;:::-;-1:-1:-1;4834:9:4;;4724:125::o;4854:128::-;4894:3;4925:1;4921:6;4918:1;4915:13;4912:39;;;4931:18;;:::i;:::-;-1:-1:-1;4967:9:4;;4854:128::o;4987:289::-;5162:6;5151:9;5144:25;5205:2;5200;5189:9;5185:18;5178:30;5125:4;5225:45;5266:2;5255:9;5251:18;5243:6;5225:45;:::i;:::-;5217:53;4987:289;-1:-1:-1;;;;4987:289:4:o;6454:386::-;6686:1;6682;6677:3;6673:11;6669:19;6661:6;6657:32;6646:9;6639:51;6726:6;6721:2;6710:9;6706:18;6699:34;6769:2;6764;6753:9;6749:18;6742:30;6620:4;6789:45;6830:2;6819:9;6815:18;6807:6;6789:45;:::i;:::-;6781:53;6454:386;-1:-1:-1;;;;;6454:386:4:o

ipfs://305457d77a7357dc2a31ee717d016b883601210fbb0a432be222dc6c2b4a9303