Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract ERC20 *
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-06-22
*/

/**
 * This smart contract is deployed to replace the previous DORA ERC-20
 * smart contract 0x70b790d0948a760e80bc3f892b142F7779b538B2.
 */

// SPDX-License-Identifier: MIT
pragma solidity 0.8.18;

library SafeMath {
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        assert(c >= a);
        return c;
    }
}

contract ERC20 {
    using SafeMath for uint256;

    string public constant name = 'Dorayaki';
    string public constant symbol = 'DORA';
    uint256 public constant decimals = 18;
    uint256 _totalSupply = 1000000000 ether;

    mapping(address => uint256) internal _balances;
    mapping(address => mapping(address => uint256)) internal _allowed;

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);

    constructor(address _founder) {
        _balances[_founder] = _totalSupply;
    }

    function totalSupply() public view returns (uint256 supply) {
        return _totalSupply;
    }

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

    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(_to != address(0), '');
        _balances[msg.sender] = _balances[msg.sender].sub(_value);
        _balances[_to] = _balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    ) public returns (bool success) {
        require(_to != address(0), '');
        _balances[_from] = _balances[_from].sub(_value);
        _allowed[_from][msg.sender] = _allowed[_from][msg.sender].sub(_value);
        _balances[_to] = _balances[_to].add(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool success) {
        require(_allowed[msg.sender][_spender] == 0 || _value == 0);
        _allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_founder","type":"address"}],"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"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","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":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"supply","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":"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":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526b033b2e3c9fd0803ce800000060005534801561002057600080fd5b50604051610f64380380610f64833981810160405281019061004291906100f1565b600054600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505061011e565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006100be82610093565b9050919050565b6100ce816100b3565b81146100d957600080fd5b50565b6000815190506100eb816100c5565b92915050565b6000602082840312156101075761010661008e565b5b6000610115848285016100dc565b91505092915050565b610e378061012d6000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610ada565b60405180910390f35b6100d060048036038101906100cb9190610b95565b610239565b6040516100dd9190610bf0565b60405180910390f35b6100ee6103be565b6040516100fb9190610c1a565b60405180910390f35b61011e60048036038101906101199190610c35565b6103c7565b60405161012b9190610bf0565b60405180910390f35b61013c6106e0565b6040516101499190610c1a565b60405180910390f35b61016c60048036038101906101679190610c88565b6106e5565b6040516101799190610c1a565b60405180910390f35b61018a61072e565b6040516101979190610ada565b60405180910390f35b6101ba60048036038101906101b59190610b95565b610767565b6040516101c79190610bf0565b60405180910390f35b6101ea60048036038101906101e59190610cb5565b610970565b6040516101f79190610c1a565b60405180910390f35b6040518060400160405280600881526020017f446f726179616b6900000000000000000000000000000000000000000000000081525081565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414806102c55750600082145b6102ce57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ac9190610c1a565b60405180910390a36001905092915050565b60008054905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042e90610d1b565b60405180910390fd5b61048982600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061055b82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061062d82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1e90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106cd9190610c1a565b60405180910390a3600190509392505050565b601281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600481526020017f444f52410000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ce90610d1b565b60405180910390fd5b61082982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108be82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1e90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161095e9190610c1a565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115610a0a57610a09610d3b565b5b8183610a169190610d99565b905092915050565b6000808284610a2d9190610dcd565b905083811015610a4057610a3f610d3b565b5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610a84578082015181840152602081019050610a69565b60008484015250505050565b6000601f19601f8301169050919050565b6000610aac82610a4a565b610ab68185610a55565b9350610ac6818560208601610a66565b610acf81610a90565b840191505092915050565b60006020820190508181036000830152610af48184610aa1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610b2c82610b01565b9050919050565b610b3c81610b21565b8114610b4757600080fd5b50565b600081359050610b5981610b33565b92915050565b6000819050919050565b610b7281610b5f565b8114610b7d57600080fd5b50565b600081359050610b8f81610b69565b92915050565b60008060408385031215610bac57610bab610afc565b5b6000610bba85828601610b4a565b9250506020610bcb85828601610b80565b9150509250929050565b60008115159050919050565b610bea81610bd5565b82525050565b6000602082019050610c056000830184610be1565b92915050565b610c1481610b5f565b82525050565b6000602082019050610c2f6000830184610c0b565b92915050565b600080600060608486031215610c4e57610c4d610afc565b5b6000610c5c86828701610b4a565b9350506020610c6d86828701610b4a565b9250506040610c7e86828701610b80565b9150509250925092565b600060208284031215610c9e57610c9d610afc565b5b6000610cac84828501610b4a565b91505092915050565b60008060408385031215610ccc57610ccb610afc565b5b6000610cda85828601610b4a565b9250506020610ceb85828601610b4a565b9150509250929050565b50565b6000610d05600083610a55565b9150610d1082610cf5565b600082019050919050565b60006020820190508181036000830152610d3481610cf8565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052600160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610da482610b5f565b9150610daf83610b5f565b9250828203905081811115610dc757610dc6610d6a565b5b92915050565b6000610dd882610b5f565b9150610de383610b5f565b9250828201905080821115610dfb57610dfa610d6a565b5b9291505056fea264697066735822122099d7788c3c679ee44a433bd030b75c998c1b186226031acab92f7ea2cd8b0bf564736f6c63430008120033000000000000000000000000cc31c9cb03bfb995ff9ac62da615fb62b670aa1b

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610ada565b60405180910390f35b6100d060048036038101906100cb9190610b95565b610239565b6040516100dd9190610bf0565b60405180910390f35b6100ee6103be565b6040516100fb9190610c1a565b60405180910390f35b61011e60048036038101906101199190610c35565b6103c7565b60405161012b9190610bf0565b60405180910390f35b61013c6106e0565b6040516101499190610c1a565b60405180910390f35b61016c60048036038101906101679190610c88565b6106e5565b6040516101799190610c1a565b60405180910390f35b61018a61072e565b6040516101979190610ada565b60405180910390f35b6101ba60048036038101906101b59190610b95565b610767565b6040516101c79190610bf0565b60405180910390f35b6101ea60048036038101906101e59190610cb5565b610970565b6040516101f79190610c1a565b60405180910390f35b6040518060400160405280600881526020017f446f726179616b6900000000000000000000000000000000000000000000000081525081565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414806102c55750600082145b6102ce57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ac9190610c1a565b60405180910390a36001905092915050565b60008054905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042e90610d1b565b60405180910390fd5b61048982600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061055b82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061062d82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1e90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106cd9190610c1a565b60405180910390a3600190509392505050565b601281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600481526020017f444f52410000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ce90610d1b565b60405180910390fd5b61082982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109f790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108be82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1e90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161095e9190610c1a565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115610a0a57610a09610d3b565b5b8183610a169190610d99565b905092915050565b6000808284610a2d9190610dcd565b905083811015610a4057610a3f610d3b565b5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610a84578082015181840152602081019050610a69565b60008484015250505050565b6000601f19601f8301169050919050565b6000610aac82610a4a565b610ab68185610a55565b9350610ac6818560208601610a66565b610acf81610a90565b840191505092915050565b60006020820190508181036000830152610af48184610aa1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610b2c82610b01565b9050919050565b610b3c81610b21565b8114610b4757600080fd5b50565b600081359050610b5981610b33565b92915050565b6000819050919050565b610b7281610b5f565b8114610b7d57600080fd5b50565b600081359050610b8f81610b69565b92915050565b60008060408385031215610bac57610bab610afc565b5b6000610bba85828601610b4a565b9250506020610bcb85828601610b80565b9150509250929050565b60008115159050919050565b610bea81610bd5565b82525050565b6000602082019050610c056000830184610be1565b92915050565b610c1481610b5f565b82525050565b6000602082019050610c2f6000830184610c0b565b92915050565b600080600060608486031215610c4e57610c4d610afc565b5b6000610c5c86828701610b4a565b9350506020610c6d86828701610b4a565b9250506040610c7e86828701610b80565b9150509250925092565b600060208284031215610c9e57610c9d610afc565b5b6000610cac84828501610b4a565b91505092915050565b60008060408385031215610ccc57610ccb610afc565b5b6000610cda85828601610b4a565b9250506020610ceb85828601610b4a565b9150509250929050565b50565b6000610d05600083610a55565b9150610d1082610cf5565b600082019050919050565b60006020820190508181036000830152610d3481610cf8565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052600160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610da482610b5f565b9150610daf83610b5f565b9250828203905081811115610dc757610dc6610d6a565b5b92915050565b6000610dd882610b5f565b9150610de383610b5f565b9250828201905080821115610dfb57610dfa610d6a565b5b9291505056fea264697066735822122099d7788c3c679ee44a433bd030b75c998c1b186226031acab92f7ea2cd8b0bf564736f6c63430008120033

000000000000000000000000cc31c9cb03bfb995ff9ac62da615fb62b670aa1b

-----Decoded View---------------
Arg [0] : _founder (address): 0xCc31c9cb03bFb995fF9ac62Da615Fb62b670aA1B

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

516:2072:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;573:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2147:285;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1145:98;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1702:437;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;665:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1251:116;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;620:38;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1375:319;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2440:145;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;573:40;;;;;;;;;;;;;;;;;;;:::o;2147:285::-;2214:12;2281:1;2247:8;:20;2256:10;2247:20;;;;;;;;;;;;;;;:30;2268:8;2247:30;;;;;;;;;;;;;;;;:35;:50;;;;2296:1;2286:6;:11;2247:50;2239:59;;;;;;2342:6;2309:8;:20;2318:10;2309:20;;;;;;;;;;;;;;;:30;2330:8;2309:30;;;;;;;;;;;;;;;:39;;;;2385:8;2364:38;;2373:10;2364:38;;;2395:6;2364:38;;;;;;:::i;:::-;;;;;;;;2420:4;2413:11;;2147:285;;;;:::o;1145:98::-;1189:14;1223:12;;1216:19;;1145:98;:::o;1702:437::-;1818:12;1866:1;1851:17;;:3;:17;;;1843:30;;;;;;;;;;;;:::i;:::-;;;;;;;;;1903:28;1924:6;1903:9;:16;1913:5;1903:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;1884:9;:16;1894:5;1884:16;;;;;;;;;;;;;;;:47;;;;1972:39;2004:6;1972:8;:15;1981:5;1972:15;;;;;;;;;;;;;;;:27;1988:10;1972:27;;;;;;;;;;;;;;;;:31;;:39;;;;:::i;:::-;1942:8;:15;1951:5;1942:15;;;;;;;;;;;;;;;:27;1958:10;1942:27;;;;;;;;;;;;;;;:69;;;;2039:26;2058:6;2039:9;:14;2049:3;2039:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;2022:9;:14;2032:3;2022:14;;;;;;;;;;;;;;;:43;;;;2097:3;2081:28;;2090:5;2081:28;;;2102:6;2081:28;;;;;;:::i;:::-;;;;;;;;2127:4;2120:11;;1702:437;;;;;:::o;665:37::-;700:2;665:37;:::o;1251:116::-;1307:15;1342:9;:17;1352:6;1342:17;;;;;;;;;;;;;;;;1335:24;;1251:116;;;:::o;620:38::-;;;;;;;;;;;;;;;;;;;:::o;1375:319::-;1438:12;1486:1;1471:17;;:3;:17;;;1463:30;;;;;;;;;;;;:::i;:::-;;;;;;;;;1528:33;1554:6;1528:9;:21;1538:10;1528:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;1504:9;:21;1514:10;1504:21;;;;;;;;;;;;;;;:57;;;;1589:26;1608:6;1589:9;:14;1599:3;1589:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;1572:9;:14;1582:3;1572:14;;;;;;;;;;;;;;;:43;;;;1652:3;1631:33;;1640:10;1631:33;;;1657:6;1631:33;;;;;;:::i;:::-;;;;;;;;1682:4;1675:11;;1375:319;;;;:::o;2440:145::-;2514:17;2551:8;:16;2560:6;2551:16;;;;;;;;;;;;;;;:26;2568:8;2551:26;;;;;;;;;;;;;;;;2544:33;;2440:145;;;;:::o;231:123::-;289:7;321:1;316;:6;;309:14;;;;:::i;:::-;;345:1;341;:5;;;;:::i;:::-;334:12;;231:123;;;;:::o;362:147::-;420:7;440:9;456:1;452;:5;;;;:::i;:::-;440:17;;480:1;475;:6;;468:14;;;;:::i;:::-;;500:1;493:8;;;362:147;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:474::-;4826:6;4834;4883:2;4871:9;4862:7;4858:23;4854:32;4851:119;;;4889:79;;:::i;:::-;4851:119;5009:1;5034:53;5079:7;5070:6;5059:9;5055:22;5034:53;:::i;:::-;5024:63;;4980:117;5136:2;5162:53;5207:7;5198:6;5187:9;5183:22;5162:53;:::i;:::-;5152:63;;5107:118;4758:474;;;;;:::o;5238:114::-;;:::o;5358:364::-;5500:3;5521:66;5585:1;5580:3;5521:66;:::i;:::-;5514:73;;5596:93;5685:3;5596:93;:::i;:::-;5714:1;5709:3;5705:11;5698:18;;5358:364;;;:::o;5728:419::-;5894:4;5932:2;5921:9;5917:18;5909:26;;5981:9;5975:4;5971:20;5967:1;5956:9;5952:17;5945:47;6009:131;6135:4;6009:131;:::i;:::-;6001:139;;5728:419;;;:::o;6153:180::-;6201:77;6198:1;6191:88;6298:4;6295:1;6288:15;6322:4;6319:1;6312:15;6339:180;6387:77;6384:1;6377:88;6484:4;6481:1;6474:15;6508:4;6505:1;6498:15;6525:194;6565:4;6585:20;6603:1;6585:20;:::i;:::-;6580:25;;6619:20;6637:1;6619:20;:::i;:::-;6614:25;;6663:1;6660;6656:9;6648:17;;6687:1;6681:4;6678:11;6675:37;;;6692:18;;:::i;:::-;6675:37;6525:194;;;;:::o;6725:191::-;6765:3;6784:20;6802:1;6784:20;:::i;:::-;6779:25;;6818:20;6836:1;6818:20;:::i;:::-;6813:25;;6861:1;6858;6854:9;6847:16;;6882:3;6879:1;6876:10;6873:36;;;6889:18;;:::i;:::-;6873:36;6725:191;;;;:::o

ipfs://99d7788c3c679ee44a433bd030b75c998c1b186226031acab92f7ea2cd8b0bf5