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-25
*/

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

contract Token {
    string public name = "Plasma";
    string public symbol = "XPL";
    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"}]

60c06040526006608081905265506c61736d6160d01b60a090815261002791600091906100ce565b506040805180820190915260038082526216141360ea1b6020909201918252610052916001916100ce565b506002805460ff191660121790556c12eec2eb3869af64df6000000060035534801561007d57600080fd5b5060035433600081815260046020908152604080832085905551938452919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36101a2565b8280546100da90610167565b90600052602060002090601f0160209004810192826100fc5760008555610142565b82601f1061011557805160ff1916838001178555610142565b82800160010185558215610142579182015b82811115610142578251825591602001919060010190610127565b5061014e929150610152565b5090565b5b8082111561014e5760008155600101610153565b60028104600182168061017b57607f821691505b6020821081141561019c57634e487b7160e01b600052602260045260246000fd5b50919050565b610968806101b16000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461013357806370a082311461014657806395d89b4114610159578063a457c2d714610161578063a9059cbb14610174578063dd62ed3e14610187576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100ef57806323b872dd14610101578063313ce56714610114575b600080fd5b6100b66101b2565b6040516100c3919061085f565b60405180910390f35b6100df6100da366004610836565b610240565b60405190151581526020016100c3565b6003545b6040519081526020016100c3565b6100df61010f3660046107fb565b6102ac565b6002546101219060ff1681565b60405160ff90911681526020016100c3565b6100df610141366004610836565b610503565b6100f36101543660046107a8565b610594565b6100b66105b3565b6100df61016f366004610836565b6105c0565b6100df610182366004610836565b610666565b6100f36101953660046107c9565b600560209081526000928352604080842090915290825290205481565b600080546101bf906108e1565b80601f01602080910402602001604051908101604052809291908181526020018280546101eb906108e1565b80156102385780601f1061020d57610100808354040283529160200191610238565b820191906000526020600020905b81548152906001019060200180831161021b57829003601f168201915b505050505081565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061029b9086815260200190565b60405180910390a350600192915050565b60006001600160a01b0383166102fd5760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064015b60405180910390fd5b6001600160a01b0384166000908152600460205260409020548211156103575760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156103be5760405162461bcd60e51b8152602060048201526011602482015270416c6c6f77616e636520746f6f206c6f7760781b60448201526064016102f4565b6001600160a01b038416600090815260046020526040812080548492906103e69084906108ca565b90915550506001600160a01b038316600090815260046020526040812080548492906104139084906108b2565b90915550506001600160a01b03841660009081526005602090815260408083203384529091528120805484929061044b9084906108ca565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161049791815260200190565b60405180910390a36001600160a01b038416600081815260056020908152604080832033808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060019392505050565b3360009081526005602090815260408083206001600160a01b03861684529091528120805483919083906105389084906108b2565b90915550503360008181526005602090815260408083206001600160a01b038816808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910161029b565b6001600160a01b0381166000908152600460205260409020545b919050565b600180546101bf906108e1565b3360009081526005602090815260408083206001600160a01b03861684529091528120548211156106335760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f000060448201526064016102f4565b3360009081526005602090815260408083206001600160a01b0387168452909152812080548492906105389084906108ca565b60006001600160a01b0383166106b25760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064016102f4565b336000908152600460205260409020548211156107035760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b33600090815260046020526040812080548492906107229084906108ca565b90915550506001600160a01b0383166000908152600460205260408120805484929061074f9084906108b2565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161029b565b80356001600160a01b03811681146105ae57600080fd5b6000602082840312156107b9578081fd5b6107c282610791565b9392505050565b600080604083850312156107db578081fd5b6107e483610791565b91506107f260208401610791565b90509250929050565b60008060006060848603121561080f578081fd5b61081884610791565b925061082660208501610791565b9150604084013590509250925092565b60008060408385031215610848578182fd5b61085183610791565b946020939093013593505050565b6000602080835283518082850152825b8181101561088b5785810183015185820160400152820161086f565b8181111561089c5783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108c5576108c561091c565b500190565b6000828210156108dc576108dc61091c565b500390565b6002810460018216806108f557607f821691505b6020821081141561091657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220b189db70964a5b36120a588122ba8ee5eb1c49cc211ecbeff6389b37b5fc07c964736f6c63430008020033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461013357806370a082311461014657806395d89b4114610159578063a457c2d714610161578063a9059cbb14610174578063dd62ed3e14610187576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100ef57806323b872dd14610101578063313ce56714610114575b600080fd5b6100b66101b2565b6040516100c3919061085f565b60405180910390f35b6100df6100da366004610836565b610240565b60405190151581526020016100c3565b6003545b6040519081526020016100c3565b6100df61010f3660046107fb565b6102ac565b6002546101219060ff1681565b60405160ff90911681526020016100c3565b6100df610141366004610836565b610503565b6100f36101543660046107a8565b610594565b6100b66105b3565b6100df61016f366004610836565b6105c0565b6100df610182366004610836565b610666565b6100f36101953660046107c9565b600560209081526000928352604080842090915290825290205481565b600080546101bf906108e1565b80601f01602080910402602001604051908101604052809291908181526020018280546101eb906108e1565b80156102385780601f1061020d57610100808354040283529160200191610238565b820191906000526020600020905b81548152906001019060200180831161021b57829003601f168201915b505050505081565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061029b9086815260200190565b60405180910390a350600192915050565b60006001600160a01b0383166102fd5760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064015b60405180910390fd5b6001600160a01b0384166000908152600460205260409020548211156103575760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156103be5760405162461bcd60e51b8152602060048201526011602482015270416c6c6f77616e636520746f6f206c6f7760781b60448201526064016102f4565b6001600160a01b038416600090815260046020526040812080548492906103e69084906108ca565b90915550506001600160a01b038316600090815260046020526040812080548492906104139084906108b2565b90915550506001600160a01b03841660009081526005602090815260408083203384529091528120805484929061044b9084906108ca565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161049791815260200190565b60405180910390a36001600160a01b038416600081815260056020908152604080832033808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060019392505050565b3360009081526005602090815260408083206001600160a01b03861684529091528120805483919083906105389084906108b2565b90915550503360008181526005602090815260408083206001600160a01b038816808552908352928190205490519081529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910161029b565b6001600160a01b0381166000908152600460205260409020545b919050565b600180546101bf906108e1565b3360009081526005602090815260408083206001600160a01b03861684529091528120548211156106335760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f000060448201526064016102f4565b3360009081526005602090815260408083206001600160a01b0387168452909152812080548492906105389084906108ca565b60006001600160a01b0383166106b25760405162461bcd60e51b8152602060048201526011602482015270125b9d985b1a59081c9958da5c1a595b9d607a1b60448201526064016102f4565b336000908152600460205260409020548211156107035760405162461bcd60e51b815260206004820152600f60248201526e42616c616e636520746f6f206c6f7760881b60448201526064016102f4565b33600090815260046020526040812080548492906107229084906108ca565b90915550506001600160a01b0383166000908152600460205260408120805484929061074f9084906108b2565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161029b565b80356001600160a01b03811681146105ae57600080fd5b6000602082840312156107b9578081fd5b6107c282610791565b9392505050565b600080604083850312156107db578081fd5b6107e483610791565b91506107f260208401610791565b90509250929050565b60008060006060848603121561080f578081fd5b61081884610791565b925061082660208501610791565b9150604084013590509250925092565b60008060408385031215610848578182fd5b61085183610791565b946020939093013593505050565b6000602080835283518082850152825b8181101561088b5785810183015185820160400152820161086f565b8181111561089c5783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108c5576108c561091c565b500190565b6000828210156108dc576108dc61091c565b500390565b6002810460018216806108f557607f821691505b6020821081141561091657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220b189db70964a5b36120a588122ba8ee5eb1c49cc211ecbeff6389b37b5fc07c964736f6c63430008020033

60:2563:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;82:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1245:202;;;;;;:::i;:::-;;:::i;:::-;;;1445:14:1;;1438:22;1420:41;;1408:2;1393:18;1245:202:0;1375:92:1;680:91:0;751:12;;680:91;;;3621:25:1;;;3609:2;3594:18;680:91:0;3576:76:1;1455:540:0;;;;;;:::i;:::-;;:::i;153:26::-;;;;;;;;;;;;3829:4:1;3817:17;;;3799:36;;3787:2;3772:18;153:26:0;3754:87:1;2003:248:0;;;;;;:::i;:::-;;:::i;779:105::-;;;;;;:::i;:::-;;:::i;118:28::-;;;:::i;2259:361::-;;;;;;:::i;:::-;;:::i;892:345::-;;;;;;:::i;:::-;;:::i;305:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;82:29;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1245:202::-;1337:10;1310:4;1327:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1327:30:0;;;;;;;;;;:38;;;1381:36;1310:4;;1327:30;;1381:36;;;;1360:5;3621:25:1;;3609:2;3594:18;;3576:76;1381:36:0;;;;;;;;-1:-1:-1;1435:4:0;1245:202;;;;:::o;1455:540::-;1534:4;-1:-1:-1;;;;;1559:16:0;;1551:46;;;;-1:-1:-1;;;1551:46:0;;3331:2:1;1551:46:0;;;3313:21:1;3370:2;3350:18;;;3343:30;-1:-1:-1;;;3389:18:1;;;3382:47;3446:18;;1551:46:0;;;;;;;;;-1:-1:-1;;;;;1616:14:0;;;;;;:8;:14;;;;;;:23;-1:-1:-1;1616:23:0;1608:51;;;;-1:-1:-1;;;1608:51:0;;2282:2:1;1608:51:0;;;2264:21:1;2321:2;2301:18;;;2294:30;-1:-1:-1;;;2340:18:1;;;2333:45;2395:18;;1608:51:0;2254:165:1;1608:51:0;-1:-1:-1;;;;;1678:15:0;;;;;;:9;:15;;;;;;;;1694:10;1678:27;;;;;;;;:36;-1:-1:-1;1678:36:0;1670:66;;;;-1:-1:-1;;;1670:66:0;;2985:2:1;1670:66:0;;;2967:21:1;3024:2;3004:18;;;2997:30;-1:-1:-1;;;3043:18:1;;;3036:47;3100:18;;1670:66:0;2957:167:1;1670:66:0;-1:-1:-1;;;;;1749:14:0;;;;;;:8;:14;;;;;:23;;1767:5;;1749:14;:23;;1767:5;;1749:23;:::i;:::-;;;;-1:-1:-1;;;;;;;1783:12:0;;;;;;:8;:12;;;;;:21;;1799:5;;1783:12;:21;;1799:5;;1783:21;:::i;:::-;;;;-1:-1:-1;;;;;;;1815:15:0;;;;;;:9;:15;;;;;;;;1831:10;1815:27;;;;;;;:36;;1846:5;;1815:15;:36;;1846:5;;1815:36;:::i;:::-;;;;;;;;1884:2;-1:-1:-1;;;;;1869:25:0;1878:4;-1:-1:-1;;;;;1869:25:0;;1888:5;1869:25;;;;3621::1;;3609:2;3594:18;;3576:76;1869:25:0;;;;;;;;-1:-1:-1;;;;;1910:55:0;;1937:15;;;;:9;:15;;;;;;;;1925:10;1937:27;;;;;;;;;;;1910:55;;3621:25:1;;;1925:10:0;;1910:55;;;3594:18:1;1910:55:0;;;;;;;-1:-1:-1;1983:4:0;1455:540;;;;;:::o;2003:248::-;2110:10;2083:4;2100:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2100:30:0;;;;;;;;;:44;;2134:10;;2100:30;2083:4;;2100:44;;2134:10;;2100:44;:::i;:::-;;;;-1:-1:-1;;2169:10:0;2190:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2160:61:0;;2190:30;;;;;;;;;;;2160:61;;3621:25:1;;;2160:61:0;;2169:10;2160:61;;3594:18:1;2160:61:0;3576:76:1;779:105:0;-1:-1:-1;;;;;861:15:0;;834:7;861:15;;;:8;:15;;;;;;779:105;;;;:::o;118:28::-;;;;;;;:::i;2259:361::-;2379:10;2344:4;2369:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2369:30:0;;;;;;;;;;:49;-1:-1:-1;2369:49:0;2361:92;;;;-1:-1:-1;;;2361:92:0;;2626:2:1;2361:92:0;;;2608:21:1;2665:2;2645:18;;;2638:30;2704:32;2684:18;;;2677:60;2754:18;;2361:92:0;2598:180:1;2361:92:0;2474:10;2464:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2464:30:0;;;;;;;;;:49;;2498:15;;2464:21;:49;;2498:15;;2464:49;:::i;892:345::-;953:4;-1:-1:-1;;;;;978:16:0;;970:46;;;;-1:-1:-1;;;970:46:0;;3331:2:1;970:46:0;;;3313:21:1;3370:2;3350:18;;;3343:30;-1:-1:-1;;;3389:18:1;;;3382:47;3446:18;;970:46:0;3303:167:1;970:46:0;1044:10;1035:20;;;;:8;:20;;;;;;:29;-1:-1:-1;1035:29:0;1027:57;;;;-1:-1:-1;;;1027:57:0;;2282:2:1;1027:57:0;;;2264:21:1;2321:2;2301:18;;;2294:30;-1:-1:-1;;;2340:18:1;;;2333:45;2395:18;;1027:57:0;2254:165:1;1027:57:0;1106:10;1097:20;;;;:8;:20;;;;;:29;;1121:5;;1097:20;:29;;1121:5;;1097:29;:::i;:::-;;;;-1:-1:-1;;;;;;;1137:12:0;;;;;;:8;:12;;;;;:21;;1153:5;;1137:12;:21;;1153:5;;1137:21;:::i;:::-;;;;-1:-1:-1;;1176:31:0;;3621:25:1;;;-1:-1:-1;;;;;1176:31:0;;;1185:10;;1176:31;;3609:2:1;3594:18;1176: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://b189db70964a5b36120a588122ba8ee5eb1c49cc211ecbeff6389b37b5fc07c9