Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract GrokAiToken is IERC20 *    - function approve(    - function transfer(    - function transferFrom(    - function _transfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-04
*/

// SPDX-License-Identifier: MIT

// Community: https://t.me/GrokAIErc

pragma solidity 0.8.21;

interface IERC20 {
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address to, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address from, address to, uint256 amount) external returns (bool);
}

contract GrokAiToken is IERC20 {
    string public constant name = unicode'GrōkAI';
    string public constant symbol = 'xAI';
    uint256 public constant decimals = 9;
    uint256 public constant totalSupply = 200_000_000 * 10**decimals;

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

    constructor() {
        balanceOf[msg.sender] = totalSupply;
    }

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

    function transfer(
        address to,
        uint256 amount
    ) external override returns (bool) {
        return _transfer(msg.sender, to, amount);
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external override returns (bool) {
        if (allowance[from][msg.sender] < type(uint).max) {
            allowance[from][msg.sender] -= amount;
        }
        return _transfer(from, to, amount);
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) private returns (bool) {
        balanceOf[from] -= amount;
        balanceOf[to] += amount;
        emit Transfer(from, to, amount);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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"}],"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":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","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":"","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"}]

608060405234801562000010575f80fd5b506009600a620000219190620001fe565b630bebc2006200003291906200024e565b5f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555062000298565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200010257808604811115620000da57620000d962000078565b5b6001851615620000ea5780820291505b8081029050620000fa85620000a5565b9450620000ba565b94509492505050565b5f826200011c5760019050620001ee565b816200012b575f9050620001ee565b81600181146200014457600281146200014f5762000185565b6001915050620001ee565b60ff84111562000164576200016362000078565b5b8360020a9150848211156200017e576200017d62000078565b5b50620001ee565b5060208310610133831016604e8410600b8410161715620001bf5782820a905083811115620001b957620001b862000078565b5b620001ee565b620001ce8484846001620000b1565b92509050818404811115620001e857620001e762000078565b5b81810290505b9392505050565b5f819050919050565b5f6200020a82620001f5565b91506200021783620001f5565b9250620002467fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200010b565b905092915050565b5f6200025a82620001f5565b91506200026783620001f5565b92508282026200027781620001f5565b9150828204841483151762000291576200029062000078565b5b5092915050565b610b3280620002a65f395ff3fe608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa91906106ac565b60405180910390f35b6100cd60048036038101906100c8919061075d565b610236565b6040516100da91906107b5565b60405180910390f35b6100eb610323565b6040516100f891906107dd565b60405180910390f35b61011b600480360381019061011691906107f6565b610343565b60405161012891906107b5565b60405180910390f35b610139610487565b60405161014691906107dd565b60405180910390f35b61016960048036038101906101649190610846565b61048c565b60405161017691906107dd565b60405180910390f35b6101876104a0565b60405161019491906106ac565b60405180910390f35b6101b760048036038101906101b2919061075d565b6104d9565b6040516101c491906107b5565b60405180910390f35b6101e760048036038101906101e29190610871565b6104ed565b6040516101f491906107dd565b60405180910390f35b6040518060400160405280600781526020017f4772c58d6b41490000000000000000000000000000000000000000000000000081525081565b5f8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161031191906107dd565b60405180910390a36001905092915050565b6009600a6103319190610a0b565b630bebc2006103409190610a55565b81565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610473578160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461046b9190610a96565b925050819055505b61047e84848461050d565b90509392505050565b600981565b5f602052805f5260405f205f915090505481565b6040518060400160405280600381526020017f784149000000000000000000000000000000000000000000000000000000000081525081565b5f6104e533848461050d565b905092915050565b6001602052815f5260405f20602052805f5260405f205f91509150505481565b5f815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105599190610a96565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105ab9190610ac9565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161060f91906107dd565b60405180910390a3600190509392505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561065957808201518184015260208101905061063e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61067e82610622565b610688818561062c565b935061069881856020860161063c565b6106a181610664565b840191505092915050565b5f6020820190508181035f8301526106c48184610674565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6106f9826106d0565b9050919050565b610709816106ef565b8114610713575f80fd5b50565b5f8135905061072481610700565b92915050565b5f819050919050565b61073c8161072a565b8114610746575f80fd5b50565b5f8135905061075781610733565b92915050565b5f8060408385031215610773576107726106cc565b5b5f61078085828601610716565b925050602061079185828601610749565b9150509250929050565b5f8115159050919050565b6107af8161079b565b82525050565b5f6020820190506107c85f8301846107a6565b92915050565b6107d78161072a565b82525050565b5f6020820190506107f05f8301846107ce565b92915050565b5f805f6060848603121561080d5761080c6106cc565b5b5f61081a86828701610716565b935050602061082b86828701610716565b925050604061083c86828701610749565b9150509250925092565b5f6020828403121561085b5761085a6106cc565b5b5f61086884828501610716565b91505092915050565b5f8060408385031215610887576108866106cc565b5b5f61089485828601610716565b92505060206108a585828601610716565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156109315780860481111561090d5761090c6108af565b5b600185161561091c5780820291505b808102905061092a856108dc565b94506108f1565b94509492505050565b5f826109495760019050610a04565b81610956575f9050610a04565b816001811461096c5760028114610976576109a5565b6001915050610a04565b60ff841115610988576109876108af565b5b8360020a91508482111561099f5761099e6108af565b5b50610a04565b5060208310610133831016604e8410600b84101617156109da5782820a9050838111156109d5576109d46108af565b5b610a04565b6109e784848460016108e8565b925090508184048111156109fe576109fd6108af565b5b81810290505b9392505050565b5f610a158261072a565b9150610a208361072a565b9250610a4d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461093a565b905092915050565b5f610a5f8261072a565b9150610a6a8361072a565b9250828202610a788161072a565b91508282048414831517610a8f57610a8e6108af565b5b5092915050565b5f610aa08261072a565b9150610aab8361072a565b9250828203905081811115610ac357610ac26108af565b5b92915050565b5f610ad38261072a565b9150610ade8361072a565b9250828201905080821115610af657610af56108af565b5b9291505056fea2646970667358221220cb887549b046290a614f0d2446939dc0793cc20717edc6b8417fce00f4d079c164736f6c63430008150033

0x608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa91906106ac565b60405180910390f35b6100cd60048036038101906100c8919061075d565b610236565b6040516100da91906107b5565b60405180910390f35b6100eb610323565b6040516100f891906107dd565b60405180910390f35b61011b600480360381019061011691906107f6565b610343565b60405161012891906107b5565b60405180910390f35b610139610487565b60405161014691906107dd565b60405180910390f35b61016960048036038101906101649190610846565b61048c565b60405161017691906107dd565b60405180910390f35b6101876104a0565b60405161019491906106ac565b60405180910390f35b6101b760048036038101906101b2919061075d565b6104d9565b6040516101c491906107b5565b60405180910390f35b6101e760048036038101906101e29190610871565b6104ed565b6040516101f491906107dd565b60405180910390f35b6040518060400160405280600781526020017f4772c58d6b41490000000000000000000000000000000000000000000000000081525081565b5f8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161031191906107dd565b60405180910390a36001905092915050565b6009600a6103319190610a0b565b630bebc2006103409190610a55565b81565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610473578160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461046b9190610a96565b925050819055505b61047e84848461050d565b90509392505050565b600981565b5f602052805f5260405f205f915090505481565b6040518060400160405280600381526020017f784149000000000000000000000000000000000000000000000000000000000081525081565b5f6104e533848461050d565b905092915050565b6001602052815f5260405f20602052805f5260405f205f91509150505481565b5f815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105599190610a96565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105ab9190610ac9565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161060f91906107dd565b60405180910390a3600190509392505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561065957808201518184015260208101905061063e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61067e82610622565b610688818561062c565b935061069881856020860161063c565b6106a181610664565b840191505092915050565b5f6020820190508181035f8301526106c48184610674565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6106f9826106d0565b9050919050565b610709816106ef565b8114610713575f80fd5b50565b5f8135905061072481610700565b92915050565b5f819050919050565b61073c8161072a565b8114610746575f80fd5b50565b5f8135905061075781610733565b92915050565b5f8060408385031215610773576107726106cc565b5b5f61078085828601610716565b925050602061079185828601610749565b9150509250929050565b5f8115159050919050565b6107af8161079b565b82525050565b5f6020820190506107c85f8301846107a6565b92915050565b6107d78161072a565b82525050565b5f6020820190506107f05f8301846107ce565b92915050565b5f805f6060848603121561080d5761080c6106cc565b5b5f61081a86828701610716565b935050602061082b86828701610716565b925050604061083c86828701610749565b9150509250925092565b5f6020828403121561085b5761085a6106cc565b5b5f61086884828501610716565b91505092915050565b5f8060408385031215610887576108866106cc565b5b5f61089485828601610716565b92505060206108a585828601610716565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156109315780860481111561090d5761090c6108af565b5b600185161561091c5780820291505b808102905061092a856108dc565b94506108f1565b94509492505050565b5f826109495760019050610a04565b81610956575f9050610a04565b816001811461096c5760028114610976576109a5565b6001915050610a04565b60ff841115610988576109876108af565b5b8360020a91508482111561099f5761099e6108af565b5b50610a04565b5060208310610133831016604e8410600b84101617156109da5782820a9050838111156109d5576109d46108af565b5b610a04565b6109e784848460016108e8565b925090508184048111156109fe576109fd6108af565b5b81810290505b9392505050565b5f610a158261072a565b9150610a208361072a565b9250610a4d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461093a565b905092915050565b5f610a5f8261072a565b9150610a6a8361072a565b9250828202610a788161072a565b91508282048414831517610a8f57610a8e6108af565b5b5092915050565b5f610aa08261072a565b9150610aab8361072a565b9250828203905081811115610ac357610ac26108af565b5b92915050565b5f610ad38261072a565b9150610ade8361072a565b9250828201905080821115610af657610af56108af565b5b9291505056fea2646970667358221220cb887549b046290a614f0d2446939dc0793cc20717edc6b8417fce00f4d079c164736f6c63430008150033

763:1448:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;801:46;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1214:239;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;941:64;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1632:308;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;898:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1014:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;854:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1461:163;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1065:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;801:46;;;;;;;;;;;;;;;;;;;:::o;1214:239::-;1314:4;1364:6;1331:9;:21;1341:10;1331:21;;;;;;;;;;;;;;;:30;1353:7;1331:30;;;;;;;;;;;;;;;:39;;;;1407:7;1386:37;;1395:10;1386:37;;;1416:6;1386:37;;;;;;:::i;:::-;;;;;;;;1441:4;1434:11;;1214:239;;;;:::o;941:64::-;933:1;993:2;:12;;;;:::i;:::-;979:11;:26;;;;:::i;:::-;941:64;:::o;1632:308::-;1757:4;1808:14;1778:9;:15;1788:4;1778:15;;;;;;;;;;;;;;;:27;1794:10;1778:27;;;;;;;;;;;;;;;;:44;1774:114;;;1870:6;1839:9;:15;1849:4;1839:15;;;;;;;;;;;;;;;:27;1855:10;1839:27;;;;;;;;;;;;;;;;:37;;;;;;;:::i;:::-;;;;;;;;1774:114;1905:27;1915:4;1921:2;1925:6;1905:9;:27::i;:::-;1898:34;;1632:308;;;;;:::o;898:36::-;933:1;898:36;:::o;1014:44::-;;;;;;;;;;;;;;;;;:::o;854:37::-;;;;;;;;;;;;;;;;;;;:::o;1461:163::-;1559:4;1583:33;1593:10;1605:2;1609:6;1583:9;:33::i;:::-;1576:40;;1461:163;;;;:::o;1065:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1948:260::-;2060:4;2096:6;2077:9;:15;2087:4;2077:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;2130:6;2113:9;:13;2123:2;2113:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;2167:2;2152:26;;2161:4;2152:26;;;2171:6;2152:26;;;;;;:::i;:::-;;;;;;;;2196:4;2189:11;;1948:260;;;;;:::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:180::-;5286:77;5283:1;5276:88;5383:4;5380:1;5373:15;5407:4;5404:1;5397:15;5424:102;5466:8;5513:5;5510:1;5506:13;5485:34;;5424:102;;;:::o;5532:848::-;5593:5;5600:4;5624:6;5615:15;;5648:5;5639:14;;5662:712;5683:1;5673:8;5670:15;5662:712;;;5778:4;5773:3;5769:14;5763:4;5760:24;5757:50;;;5787:18;;:::i;:::-;5757:50;5837:1;5827:8;5823:16;5820:451;;;6252:4;6245:5;6241:16;6232:25;;5820:451;6302:4;6296;6292:15;6284:23;;6332:32;6355:8;6332:32;:::i;:::-;6320:44;;5662:712;;;5532:848;;;;;;;:::o;6386:1073::-;6440:5;6631:8;6621:40;;6652:1;6643:10;;6654:5;;6621:40;6680:4;6670:36;;6697:1;6688:10;;6699:5;;6670:36;6766:4;6814:1;6809:27;;;;6850:1;6845:191;;;;6759:277;;6809:27;6827:1;6818:10;;6829:5;;;6845:191;6890:3;6880:8;6877:17;6874:43;;;6897:18;;:::i;:::-;6874:43;6946:8;6943:1;6939:16;6930:25;;6981:3;6974:5;6971:14;6968:40;;;6988:18;;:::i;:::-;6968:40;7021:5;;;6759:277;;7145:2;7135:8;7132:16;7126:3;7120:4;7117:13;7113:36;7095:2;7085:8;7082:16;7077:2;7071:4;7068:12;7064:35;7048:111;7045:246;;;7201:8;7195:4;7191:19;7182:28;;7236:3;7229:5;7226:14;7223:40;;;7243:18;;:::i;:::-;7223:40;7276:5;;7045:246;7316:42;7354:3;7344:8;7338:4;7335:1;7316:42;:::i;:::-;7301:57;;;;7390:4;7385:3;7381:14;7374:5;7371:25;7368:51;;;7399:18;;:::i;:::-;7368:51;7448:4;7441:5;7437:16;7428:25;;6386:1073;;;;;;:::o;7465:285::-;7525:5;7549:23;7567:4;7549:23;:::i;:::-;7541:31;;7593:27;7611:8;7593:27;:::i;:::-;7581:39;;7639:104;7676:66;7666:8;7660:4;7639:104;:::i;:::-;7630:113;;7465:285;;;;:::o;7756:410::-;7796:7;7819:20;7837:1;7819:20;:::i;:::-;7814:25;;7853:20;7871:1;7853:20;:::i;:::-;7848:25;;7908:1;7905;7901:9;7930:30;7948:11;7930:30;:::i;:::-;7919:41;;8109:1;8100:7;8096:15;8093:1;8090:22;8070:1;8063:9;8043:83;8020:139;;8139:18;;:::i;:::-;8020:139;7804:362;7756:410;;;;:::o;8172:194::-;8212:4;8232:20;8250:1;8232:20;:::i;:::-;8227:25;;8266:20;8284:1;8266:20;:::i;:::-;8261:25;;8310:1;8307;8303:9;8295:17;;8334:1;8328:4;8325:11;8322:37;;;8339:18;;:::i;:::-;8322:37;8172:194;;;;:::o;8372:191::-;8412:3;8431:20;8449:1;8431:20;:::i;:::-;8426:25;;8465:20;8483:1;8465:20;:::i;:::-;8460:25;;8508:1;8505;8501:9;8494:16;;8529:3;8526:1;8523:10;8520:36;;;8536:18;;:::i;:::-;8520:36;8372:191;;;;:::o

ipfs://cb887549b046290a614f0d2446939dc0793cc20717edc6b8417fce00f4d079c1