Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-09-27
*/

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

contract Token {
    string public name = "ASTER";
    string public symbol = "ASTER";
    uint8 public decimals = 18;
    uint256 private _totalSupply = 1_500_000_000_000 * 10 ** 18;

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

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    constructor() {
        balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

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

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

    function transfer(address to, uint256 value) public returns (bool) {
        require(to != address(0), "Invalid recipient");
        require(balances[msg.sender] >= value, "Balance too low");

        balances[msg.sender] -= value;
        balances[to] += value;

        emit Transfer(msg.sender, to, value);
        return true;
    }

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

    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        require(to != address(0), "Invalid recipient");
        require(balances[from] >= value, "Balance too low");
        require(allowance[from][msg.sender] >= value, "Allowance too low");

        balances[from] -= value;
        balances[to] += value;
        allowance[from][msg.sender] -= value;

        emit Transfer(from, to, value);
        emit Approval(from, msg.sender, allowance[from][msg.sender]);
        return true;
    }

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

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(allowance[msg.sender][spender] >= subtractedValue, "Decreased allowance below zero");
        allowance[msg.sender][spender] -= subtractedValue;
        emit Approval(msg.sender, spender, allowance[msg.sender][spender]);
        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":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","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":"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":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

0x60c0604052600560808190526420a9aa22a960d91b60a090815261002691600091906100cf565b506040805180820190915260058082526420a9aa22a960d91b6020909201918252610053916001916100cf565b506002805460ff191660121790556c12eec2eb3869af64df6000000060035534801561007e57600080fd5b5060035433600081815260046020908152604080832085905551938452919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36101a3565b8280546100db90610168565b90600052602060002090601f0160209004810192826100fd5760008555610143565b82601f1061011657805160ff1916838001178555610143565b82800160010185558215610143579182015b82811115610143578251825591602001919060010190610128565b5061014f929150610153565b5090565b5b8082111561014f5760008155600101610154565b60028104600182168061017c57607f821691505b6020821081141561019d57634e487b7160e01b600052602260045260246000fd5b50919050565b610968806101b26000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461013357806370a082311461014657806395d89b4114610159578063a457c2d714610161578063a9059cbb14610174578063dd62ed3e14610187576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100ef57806323b872dd14610101578063313ce56714610114575b600080fd5b6100b66101b2565b6040516100c3919061085f565b60405180910390f35b6100df6100da366004610836565b610240565b60405190151581526020016100c3565b6003545b6040519081526020016100c3565b6100df61010f3660046107fb565b6102ac565b6002546101219060ff1681565b60405160ff90911681526020016100c3565b6100df610141366004610836565b610503565b6100f36101543660046107a8565b610594565b6100b66105b3565b6100df61016f366004610836565b6105c0565b6100df610182366004610836565b610666565b6100f36101953660046107c9565b600560209081526000928352604080842090915290825290205481565b600080546101bf906108e1565b80601f01602080910402602001604051908101604052809291908181526020018280546101eb906108e1565b80156102385780601f1061020d57610100808354040283529160200191610238565b820191906000526020600020905b81548152906001019060200180831161021b57829003601f168201915b505050505081565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061029b9086815260200190565b60405180910390a350600192915050565b60006001600160a01b0383166102fd5760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064015b60405180910390fd5b6001600160a01b0384166000908152600460205260409020548211156103575760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156103be5760405162461bcd60e51b8152602060048201526011602482015270416c6c6f77616e636520746f6f206c6f7760781b60448201526064016102f4565b6001600160a01b038416600090815260046020526040812080548492906103e69084906108ca565b90915550506001600160a01b038316600090815260046020526040812080548492906104139084906108b2565b90915550506001600160a01b03841660009081526005602090815260408083203384529091528120805484929061044b9084906108ca565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161049791815260200190565b60405180910390a36001600160a01b038416600081815260056020908152604080832033808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060019392505050565b3360009081526005602090815260408083206001600160a01b03861684529091528120805483919083906105389084906108b2565b90915550503360008181526005602090815260408083206001600160a01b038816808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910161029b565b6001600160a01b0381166000908152600460205260409020545b919050565b600180546101bf906108e1565b3360009081526005602090815260408083206001600160a01b03861684529091528120548211156106335760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f000060448201526064016102f4565b3360009081526005602090815260408083206001600160a01b0387168452909152812080548492906105389084906108ca565b60006001600160a01b0383166106b25760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064016102f4565b336000908152600460205260409020548211156107035760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b33600090815260046020526040812080548492906107229084906108ca565b90915550506001600160a01b0383166000908152600460205260408120805484929061074f9084906108b2565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161029b565b80356001600160a01b03811681146105ae57600080fd5b6000602082840312156107b9578081fd5b6107c282610791565b9392505050565b600080604083850312156107db578081fd5b6107e483610791565b91506107f260208401610791565b90509250929050565b60008060006060848603121561080f578081fd5b61081884610791565b925061082660208501610791565b9150604084013590509250925092565b60008060408385031215610848578182fd5b61085183610791565b946020939093013593505050565b6000602080835283518082850152825b8181101561088b5785810183015185820160400152820161086f565b8181111561089c5783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108c5576108c561091c565b500190565b6000828210156108dc576108dc61091c565b500390565b6002810460018216806108f557607f821691505b6020821081141561091657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea26469706673582212203c2746828df88b88ef32f580872dd9b4f1c618ebc48edce324aaf1bc09dc79ca64736f6c63430008020033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461013357806370a082311461014657806395d89b4114610159578063a457c2d714610161578063a9059cbb14610174578063dd62ed3e14610187576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100ef57806323b872dd14610101578063313ce56714610114575b600080fd5b6100b66101b2565b6040516100c3919061085f565b60405180910390f35b6100df6100da366004610836565b610240565b60405190151581526020016100c3565b6003545b6040519081526020016100c3565b6100df61010f3660046107fb565b6102ac565b6002546101219060ff1681565b60405160ff90911681526020016100c3565b6100df610141366004610836565b610503565b6100f36101543660046107a8565b610594565b6100b66105b3565b6100df61016f366004610836565b6105c0565b6100df610182366004610836565b610666565b6100f36101953660046107c9565b600560209081526000928352604080842090915290825290205481565b600080546101bf906108e1565b80601f01602080910402602001604051908101604052809291908181526020018280546101eb906108e1565b80156102385780601f1061020d57610100808354040283529160200191610238565b820191906000526020600020905b81548152906001019060200180831161021b57829003601f168201915b505050505081565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061029b9086815260200190565b60405180910390a350600192915050565b60006001600160a01b0383166102fd5760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064015b60405180910390fd5b6001600160a01b0384166000908152600460205260409020548211156103575760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156103be5760405162461bcd60e51b8152602060048201526011602482015270416c6c6f77616e636520746f6f206c6f7760781b60448201526064016102f4565b6001600160a01b038416600090815260046020526040812080548492906103e69084906108ca565b90915550506001600160a01b038316600090815260046020526040812080548492906104139084906108b2565b90915550506001600160a01b03841660009081526005602090815260408083203384529091528120805484929061044b9084906108ca565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161049791815260200190565b60405180910390a36001600160a01b038416600081815260056020908152604080832033808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060019392505050565b3360009081526005602090815260408083206001600160a01b03861684529091528120805483919083906105389084906108b2565b90915550503360008181526005602090815260408083206001600160a01b038816808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910161029b565b6001600160a01b0381166000908152600460205260409020545b919050565b600180546101bf906108e1565b3360009081526005602090815260408083206001600160a01b03861684529091528120548211156106335760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f000060448201526064016102f4565b3360009081526005602090815260408083206001600160a01b0387168452909152812080548492906105389084906108ca565b60006001600160a01b0383166106b25760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064016102f4565b336000908152600460205260409020548211156107035760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b33600090815260046020526040812080548492906107229084906108ca565b90915550506001600160a01b0383166000908152600460205260408120805484929061074f9084906108b2565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161029b565b80356001600160a01b03811681146105ae57600080fd5b6000602082840312156107b9578081fd5b6107c282610791565b9392505050565b600080604083850312156107db578081fd5b6107e483610791565b91506107f260208401610791565b90509250929050565b60008060006060848603121561080f578081fd5b61081884610791565b925061082660208501610791565b9150604084013590509250925092565b60008060408385031215610848578182fd5b61085183610791565b946020939093013593505050565b6000602080835283518082850152825b8181101561088b5785810183015185820160400152820161086f565b8181111561089c5783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108c5576108c561091c565b500190565b6000828210156108dc576108dc61091c565b500390565b6002810460018216806108f557607f821691505b6020821081141561091657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea26469706673582212203c2746828df88b88ef32f580872dd9b4f1c618ebc48edce324aaf1bc09dc79ca64736f6c63430008020033

60:2564:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;82:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1246:202;;;;;;:::i;:::-;;:::i;:::-;;;1445:14:1;;1438:22;1420:41;;1408:2;1393:18;1246:202:0;1375:92:1;681:91:0;752:12;;681:91;;;3621:25:1;;;3609:2;3594:18;681:91:0;3576:76:1;1456:540:0;;;;;;:::i;:::-;;:::i;154:26::-;;;;;;;;;;;;3829:4:1;3817:17;;;3799:36;;3787:2;3772:18;154:26:0;3754:87:1;2004:248:0;;;;;;:::i;:::-;;:::i;780:105::-;;;;;;:::i;:::-;;:::i;117:30::-;;;:::i;2260:361::-;;;;;;:::i;:::-;;:::i;893:345::-;;;;;;:::i;:::-;;:::i;306:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;82:28;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1246:202::-;1338:10;1311:4;1328:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1328:30:0;;;;;;;;;;:38;;;1382:36;1311:4;;1328:30;;1382:36;;;;1361:5;3621:25:1;;3609:2;3594:18;;3576:76;1382:36:0;;;;;;;;-1:-1:-1;1436:4:0;1246:202;;;;:::o;1456:540::-;1535:4;-1:-1:-1;;;;;1560:16:0;;1552:46;;;;-1:-1:-1;;;1552:46:0;;3331:2:1;1552:46:0;;;3313:21:1;3370:2;3350:18;;;3343:30;-1:-1:-1;;;3389:18:1;;;3382:47;3446:18;;1552:46:0;;;;;;;;;-1:-1:-1;;;;;1617:14:0;;;;;;:8;:14;;;;;;:23;-1:-1:-1;1617:23:0;1609:51;;;;-1:-1:-1;;;1609:51:0;;2282:2:1;1609:51:0;;;2264:21:1;2321:2;2301:18;;;2294:30;-1:-1:-1;;;2340:18:1;;;2333:45;2395:18;;1609:51:0;2254:165:1;1609:51:0;-1:-1:-1;;;;;1679:15:0;;;;;;:9;:15;;;;;;;;1695:10;1679:27;;;;;;;;:36;-1:-1:-1;1679:36:0;1671:66;;;;-1:-1:-1;;;1671:66:0;;2985:2:1;1671:66:0;;;2967:21:1;3024:2;3004:18;;;2997:30;-1:-1:-1;;;3043:18:1;;;3036:47;3100:18;;1671:66:0;2957:167:1;1671:66:0;-1:-1:-1;;;;;1750:14:0;;;;;;:8;:14;;;;;:23;;1768:5;;1750:14;:23;;1768:5;;1750:23;:::i;:::-;;;;-1:-1:-1;;;;;;;1784:12:0;;;;;;:8;:12;;;;;:21;;1800:5;;1784:12;:21;;1800:5;;1784:21;:::i;:::-;;;;-1:-1:-1;;;;;;;1816:15:0;;;;;;:9;:15;;;;;;;;1832:10;1816:27;;;;;;;:36;;1847:5;;1816:15;:36;;1847:5;;1816:36;:::i;:::-;;;;;;;;1885:2;-1:-1:-1;;;;;1870:25:0;1879:4;-1:-1:-1;;;;;1870:25:0;;1889:5;1870:25;;;;3621::1;;3609:2;3594:18;;3576:76;1870:25:0;;;;;;;;-1:-1:-1;;;;;1911:55:0;;1938:15;;;;:9;:15;;;;;;;;1926:10;1938:27;;;;;;;;;;;1911:55;;3621:25:1;;;1926:10:0;;1911:55;;;3594:18:1;1911:55:0;;;;;;;-1:-1:-1;1984:4:0;1456:540;;;;;:::o;2004:248::-;2111:10;2084:4;2101:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2101:30:0;;;;;;;;;:44;;2135:10;;2101:30;2084:4;;2101:44;;2135:10;;2101:44;:::i;:::-;;;;-1:-1:-1;;2170:10:0;2191:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2161:61:0;;2191:30;;;;;;;;;;;2161:61;;3621:25:1;;;2161:61:0;;2170:10;2161:61;;3594:18:1;2161:61:0;3576:76:1;780:105:0;-1:-1:-1;;;;;862:15:0;;835:7;862:15;;;:8;:15;;;;;;780:105;;;;:::o;117:30::-;;;;;;;:::i;2260:361::-;2380:10;2345:4;2370:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2370:30:0;;;;;;;;;;:49;-1:-1:-1;2370:49:0;2362:92;;;;-1:-1:-1;;;2362:92:0;;2626:2:1;2362:92:0;;;2608:21:1;2665:2;2645:18;;;2638:30;2704:32;2684:18;;;2677:60;2754:18;;2362:92:0;2598:180:1;2362:92:0;2475:10;2465:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2465:30:0;;;;;;;;;:49;;2499:15;;2465:21;:49;;2499:15;;2465:49;:::i;893:345::-;954:4;-1:-1:-1;;;;;979:16:0;;971:46;;;;-1:-1:-1;;;971:46:0;;3331:2:1;971:46:0;;;3313:21:1;3370:2;3350:18;;;3343:30;-1:-1:-1;;;3389:18:1;;;3382:47;3446:18;;971:46:0;3303:167:1;971:46:0;1045:10;1036:20;;;;:8;:20;;;;;;:29;-1:-1:-1;1036:29:0;1028:57;;;;-1:-1:-1;;;1028:57:0;;2282:2:1;1028:57:0;;;2264:21:1;2321:2;2301:18;;;2294:30;-1:-1:-1;;;2340:18:1;;;2333:45;2395:18;;1028:57:0;2254:165:1;1028:57:0;1107:10;1098:20;;;;:8;:20;;;;;:29;;1122:5;;1098:20;:29;;1122:5;;1098:29;:::i;:::-;;;;-1:-1:-1;;;;;;;1138:12:0;;;;;;:8;:12;;;;;:21;;1154:5;;1138:12;:21;;1154:5;;1138:21;:::i;:::-;;;;-1:-1:-1;;1177:31:0;;3621:25:1;;;-1:-1:-1;;;;;1177:31:0;;;1186:10;;1177:31;;3609:2:1;3594:18;1177:31:0;3576:76:1;14:173;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:2;;177:1;174;167:12;192:196;;304:2;292:9;283:7;279:23;275:32;272:2;;;325:6;317;310:22;272:2;353:29;372:9;353:29;:::i;:::-;343:39;262:126;-1:-1:-1;;;262:126:1:o;393:270::-;;;522:2;510:9;501:7;497:23;493:32;490:2;;;543:6;535;528:22;490:2;571:29;590:9;571:29;:::i;:::-;561:39;;619:38;653:2;642:9;638:18;619:38;:::i;:::-;609:48;;480:183;;;;;:::o;668:338::-;;;;814:2;802:9;793:7;789:23;785:32;782:2;;;835:6;827;820:22;782:2;863:29;882:9;863:29;:::i;:::-;853:39;;911:38;945:2;934:9;930:18;911:38;:::i;:::-;901:48;;996:2;985:9;981:18;968:32;958:42;;772:234;;;;;:::o;1011:264::-;;;1140:2;1128:9;1119:7;1115:23;1111:32;1108:2;;;1161:6;1153;1146:22;1108:2;1189:29;1208:9;1189:29;:::i;:::-;1179:39;1265:2;1250:18;;;;1237:32;;-1:-1:-1;;;1098:177:1:o;1472:603::-;;1613:2;1642;1631:9;1624:21;1674:6;1668:13;1717:6;1712:2;1701:9;1697:18;1690:34;1742:4;1755:140;1769:6;1766:1;1763:13;1755:140;;;1864:14;;;1860:23;;1854:30;1830:17;;;1849:2;1826:26;1819:66;1784:10;;1755:140;;;1913:6;1910:1;1907:13;1904:2;;;1983:4;1978:2;1969:6;1958:9;1954:22;1950:31;1943:45;1904:2;-1:-1:-1;2059:2:1;2038:15;-1:-1:-1;;2034:29:1;2019:45;;;;2066:2;2015:54;;1593:482;-1:-1:-1;;;1593:482:1:o;3846:128::-;;3917:1;3913:6;3910:1;3907:13;3904:2;;;3923:18;;:::i;:::-;-1:-1:-1;3959:9:1;;3894:80::o;3979:125::-;;4047:1;4044;4041:8;4038:2;;;4052:18;;:::i;:::-;-1:-1:-1;4089:9:1;;4028:76::o;4109:380::-;4194:1;4184:12;;4241:1;4231:12;;;4252:2;;4306:4;4298:6;4294:17;4284:27;;4252:2;4359;4351:6;4348:14;4328:18;4325:38;4322:2;;;4405:10;4400:3;4396:20;4393:1;4386:31;4440:4;4437:1;4430:15;4468:4;4465:1;4458:15;4322:2;;4164:325;;;:::o;4494:127::-;4555:10;4550:3;4546:20;4543:1;4536:31;4586:4;4583:1;4576:15;4610:4;4607:1;4600:15

ipfs://3c2746828df88b88ef32f580872dd9b4f1c618ebc48edce324aaf1bc09dc79ca