Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

 contract PAW *    - function transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function burnedSupply()    - function burn(uint256 _amount)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-03-02
*/

/**
 *Submitted for verification at SonicScan.org on 2025-03-02
*/

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

contract PAW{
    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 public totalSupply;
    uint256 public burnedTokens; // Variable to store the amount of burned tokens

    mapping(address => uint256) public balanceOf;
    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(string memory _name, string memory _symbol, uint8 _decimals, uint256 _initialSupply) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply = _initialSupply * 10 ** uint256(_decimals);
        balanceOf[msg.sender] = totalSupply;
        emit Transfer(address(0), msg.sender, totalSupply);
    }

    function transfer(address _to, uint256 _value) external returns (bool success) {
        require(_to != address(0), "ERC20: transfer to the zero address");
        require(balanceOf[msg.sender] >= _value, "ERC20: transfer amount exceeds balance");
        balanceOf[msg.sender] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) external returns (bool success) {
        allowance[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) external returns (bool success) {
        require(_from != address(0), "ERC20: transfer from the zero address");
        require(_to != address(0), "ERC20: transfer to the zero address");
        require(balanceOf[_from] >= _value, "ERC20: transfer amount exceeds balance");
        require(_value <= allowance[_from][msg.sender], "ERC20: transfer amount exceeds allowance");
        balanceOf[_from] -= _value;
        balanceOf[_to] += _value;
        allowance[_from][msg.sender] -= _value;
        emit Transfer(_from, _to, _value);
        return true;
    }

    // Function to retrieve the burned supply of the token
    function burnedSupply() external view returns (uint256) {
        return burnedTokens;
    }

    // Function to burn tokens
    function burn(uint256 _amount) external {
        require(balanceOf[msg.sender] >= _amount, "ERC20: burn amount exceeds balance");
        balanceOf[msg.sender] -= _amount;
        totalSupply -= _amount;
        burnedTokens += _amount;
        emit Transfer(msg.sender, address(0), _amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"uint256","name":"_initialSupply","type":"uint256"}],"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":"success","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":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"burnedSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"burnedTokens","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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":"_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"}]

608060405234801561000f575f80fd5b50604051610d71380380610d7183398101604081905261002e91610160565b5f6100398582610267565b5060016100468482610267565b506002805460ff191660ff841690811790915561006490600a61041a565b61006e908261042c565b6003819055335f81815260056020908152604080832085905551938452919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350505050610443565b634e487b7160e01b5f52604160045260245ffd5b5f82601f8301126100e6575f80fd5b81516001600160401b038111156100ff576100ff6100c3565b604051601f8201601f19908116603f011681016001600160401b038111828210171561012d5761012d6100c3565b604052818152838201602001851015610144575f80fd5b8160208501602083015e5f918101602001919091529392505050565b5f805f8060808587031215610173575f80fd5b84516001600160401b03811115610188575f80fd5b610194878288016100d7565b602087015190955090506001600160401b038111156101b1575f80fd5b6101bd878288016100d7565b935050604085015160ff811681146101d3575f80fd5b6060959095015193969295505050565b600181811c908216806101f757607f821691505b60208210810361021557634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561026257805f5260205f20601f840160051c810160208510156102405750805b601f840160051c820191505b8181101561025f575f815560010161024c565b50505b505050565b81516001600160401b03811115610280576102806100c3565b6102948161028e84546101e3565b8461021b565b6020601f8211600181146102c6575f83156102af5750848201515b5f19600385901b1c1916600184901b17845561025f565b5f84815260208120601f198516915b828110156102f557878501518255602094850194600190920191016102d5565b508482101561031257868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103705780850481111561035457610354610321565b600184161561036257908102905b60019390931c928002610339565b935093915050565b5f8261038657506001610414565b8161039257505f610414565b81600181146103a857600281146103b2576103ce565b6001915050610414565b60ff8411156103c3576103c3610321565b50506001821b610414565b5060208310610133831016604e8410600b84101617156103f1575081810a610414565b6103fd5f198484610335565b805f190482111561041057610410610321565b0290505b92915050565b5f6104258383610378565b9392505050565b808202811582820484141761041457610414610321565b610921806104505f395ff3fe608060405234801561000f575f80fd5b50600436106100b1575f3560e01c806347b5dd541161006e57806347b5dd541461015457806355d0a1d01461015d57806370a082311461016557806395d89b4114610184578063a9059cbb1461018c578063dd62ed3e1461019f575f80fd5b806306fdde03146100b5578063095ea7b3146100d357806318160ddd146100f657806323b872dd1461010d578063313ce5671461012057806342966c681461013f575b5f80fd5b6100bd6101c9565b6040516100ca91906106d6565b60405180910390f35b6100e66100e1366004610726565b610254565b60405190151581526020016100ca565b6100ff60035481565b6040519081526020016100ca565b6100e661011b36600461074e565b6102c0565b60025461012d9060ff1681565b60405160ff90911681526020016100ca565b61015261014d366004610788565b6104f2565b005b6100ff60045481565b6004546100ff565b6100ff61017336600461079f565b60056020525f908152604090205481565b6100bd6105e8565b6100e661019a366004610726565b6105f5565b6100ff6101ad3660046107bf565b600660209081525f928352604080842090915290825290205481565b5f80546101d5906107f0565b80601f0160208091040260200160405190810160405280929190818152602001828054610201906107f0565b801561024c5780601f106102235761010080835404028352916020019161024c565b820191905f5260205f20905b81548152906001019060200180831161022f57829003601f168201915b505050505081565b335f8181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102ae9086815260200190565b60405180910390a35060015b92915050565b5f6001600160a01b03841661032a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084015b60405180910390fd5b6001600160a01b0383166103505760405162461bcd60e51b815260040161032190610828565b6001600160a01b0384165f908152600560205260409020548211156103875760405162461bcd60e51b81526004016103219061086b565b6001600160a01b0384165f90815260066020908152604080832033845290915290205482111561040a5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610321565b6001600160a01b0384165f90815260056020526040812080548492906104319084906108c5565b90915550506001600160a01b0383165f908152600560205260408120805484929061045d9084906108d8565b90915550506001600160a01b0384165f908152600660209081526040808320338452909152812080548492906104949084906108c5565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516104e091815260200190565b60405180910390a35060019392505050565b335f9081526005602052604090205481111561055b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610321565b335f90815260056020526040812080548392906105799084906108c5565b925050819055508060035f82825461059191906108c5565b925050819055508060045f8282546105a991906108d8565b90915550506040518181525f9033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a350565b600180546101d5906107f0565b5f6001600160a01b03831661061c5760405162461bcd60e51b815260040161032190610828565b335f9081526005602052604090205482111561064a5760405162461bcd60e51b81526004016103219061086b565b335f90815260056020526040812080548492906106689084906108c5565b90915550506001600160a01b0383165f90815260056020526040812080548492906106949084906108d8565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016102ae565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b0381168114610721575f80fd5b919050565b5f8060408385031215610737575f80fd5b6107408361070b565b946020939093013593505050565b5f805f60608486031215610760575f80fd5b6107698461070b565b92506107776020850161070b565b929592945050506040919091013590565b5f60208284031215610798575f80fd5b5035919050565b5f602082840312156107af575f80fd5b6107b88261070b565b9392505050565b5f80604083850312156107d0575f80fd5b6107d98361070b565b91506107e76020840161070b565b90509250929050565b600181811c9082168061080457607f821691505b60208210810361082257634e487b7160e01b5f52602260045260245ffd5b50919050565b60208082526023908201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260408201526265737360e81b606082015260800190565b60208082526026908201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604082015265616c616e636560d01b606082015260800190565b634e487b7160e01b5f52601160045260245ffd5b818103818111156102ba576102ba6108b1565b808201808211156102ba576102ba6108b156fea2646970667358221220e479ab9fba44491b54f83793148d90a4bea87ee0b8faf087f50188f198e1bb7664736f6c634300081a0033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000120000000000000000000000000000000000000000000000000000000005f5e100000000000000000000000000000000000000000000000000000000000000002a307835653545363934374330323739383938653538626536373535643830663531363039396544613466000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005424f494e4b000000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f80fd5b50600436106100b1575f3560e01c806347b5dd541161006e57806347b5dd541461015457806355d0a1d01461015d57806370a082311461016557806395d89b4114610184578063a9059cbb1461018c578063dd62ed3e1461019f575f80fd5b806306fdde03146100b5578063095ea7b3146100d357806318160ddd146100f657806323b872dd1461010d578063313ce5671461012057806342966c681461013f575b5f80fd5b6100bd6101c9565b6040516100ca91906106d6565b60405180910390f35b6100e66100e1366004610726565b610254565b60405190151581526020016100ca565b6100ff60035481565b6040519081526020016100ca565b6100e661011b36600461074e565b6102c0565b60025461012d9060ff1681565b60405160ff90911681526020016100ca565b61015261014d366004610788565b6104f2565b005b6100ff60045481565b6004546100ff565b6100ff61017336600461079f565b60056020525f908152604090205481565b6100bd6105e8565b6100e661019a366004610726565b6105f5565b6100ff6101ad3660046107bf565b600660209081525f928352604080842090915290825290205481565b5f80546101d5906107f0565b80601f0160208091040260200160405190810160405280929190818152602001828054610201906107f0565b801561024c5780601f106102235761010080835404028352916020019161024c565b820191905f5260205f20905b81548152906001019060200180831161022f57829003601f168201915b505050505081565b335f8181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102ae9086815260200190565b60405180910390a35060015b92915050565b5f6001600160a01b03841661032a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084015b60405180910390fd5b6001600160a01b0383166103505760405162461bcd60e51b815260040161032190610828565b6001600160a01b0384165f908152600560205260409020548211156103875760405162461bcd60e51b81526004016103219061086b565b6001600160a01b0384165f90815260066020908152604080832033845290915290205482111561040a5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610321565b6001600160a01b0384165f90815260056020526040812080548492906104319084906108c5565b90915550506001600160a01b0383165f908152600560205260408120805484929061045d9084906108d8565b90915550506001600160a01b0384165f908152600660209081526040808320338452909152812080548492906104949084906108c5565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516104e091815260200190565b60405180910390a35060019392505050565b335f9081526005602052604090205481111561055b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610321565b335f90815260056020526040812080548392906105799084906108c5565b925050819055508060035f82825461059191906108c5565b925050819055508060045f8282546105a991906108d8565b90915550506040518181525f9033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a350565b600180546101d5906107f0565b5f6001600160a01b03831661061c5760405162461bcd60e51b815260040161032190610828565b335f9081526005602052604090205482111561064a5760405162461bcd60e51b81526004016103219061086b565b335f90815260056020526040812080548492906106689084906108c5565b90915550506001600160a01b0383165f90815260056020526040812080548492906106949084906108d8565b90915550506040518281526001600160a01b0384169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016102ae565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b0381168114610721575f80fd5b919050565b5f8060408385031215610737575f80fd5b6107408361070b565b946020939093013593505050565b5f805f60608486031215610760575f80fd5b6107698461070b565b92506107776020850161070b565b929592945050506040919091013590565b5f60208284031215610798575f80fd5b5035919050565b5f602082840312156107af575f80fd5b6107b88261070b565b9392505050565b5f80604083850312156107d0575f80fd5b6107d98361070b565b91506107e76020840161070b565b90509250929050565b600181811c9082168061080457607f821691505b60208210810361082257634e487b7160e01b5f52602260045260245ffd5b50919050565b60208082526023908201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260408201526265737360e81b606082015260800190565b60208082526026908201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604082015265616c616e636560d01b606082015260800190565b634e487b7160e01b5f52601160045260245ffd5b818103818111156102ba576102ba6108b1565b808201808211156102ba576102ba6108b156fea2646970667358221220e479ab9fba44491b54f83793148d90a4bea87ee0b8faf087f50188f198e1bb7664736f6c634300081a0033

132:2659:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;151:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1416:218;;;;;;:::i;:::-;;:::i;:::-;;;1085:14:1;;1078:22;1060:41;;1048:2;1033:18;1416:218:0;920:187:1;231:26:0;;;;;;;;;1258:25:1;;;1246:2;1231:18;231:26:0;1112:177:1;1642:639:0;;;;;;:::i;:::-;;:::i;203:21::-;;;;;;;;;;;;1845:4:1;1833:17;;;1815:36;;1803:2;1788:18;203:21:0;1673:184:1;2483:305:0;;;;;;:::i;:::-;;:::i;:::-;;264:27;;;;;;2349:94;2423:12;;2349:94;;349:44;;;;;;:::i;:::-;;;;;;;;;;;;;;176:20;;;:::i;1004:404::-;;;;;;:::i;:::-;;:::i;400:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;151:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1416:218::-;1520:10;1485:12;1510:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1510:31:0;;;;;;;;;;:40;;;1566:38;1485:12;;1510:31;;1566:38;;;;1544:6;1258:25:1;;1246:2;1231:18;;1112:177;1566:38:0;;;;;;;;-1:-1:-1;1622:4:0;1416:218;;;;;:::o;1642:639::-;1726:12;-1:-1:-1;;;;;1759:19:0;;1751:69;;;;-1:-1:-1;;;1751:69:0;;3136:2:1;1751:69:0;;;3118:21:1;3175:2;3155:18;;;3148:30;3214:34;3194:18;;;3187:62;-1:-1:-1;;;3265:18:1;;;3258:35;3310:19;;1751:69:0;;;;;;;;;-1:-1:-1;;;;;1839:17:0;;1831:65;;;;-1:-1:-1;;;1831:65:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;1915:16:0;;;;;;:9;:16;;;;;;:26;-1:-1:-1;1915:26:0;1907:77;;;;-1:-1:-1;;;1907:77:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2013:16:0;;;;;;:9;:16;;;;;;;;2030:10;2013:28;;;;;;;;2003:38;;;1995:91;;;;-1:-1:-1;;;1995:91:0;;4353:2:1;1995:91:0;;;4335:21:1;4392:2;4372:18;;;4365:30;4431:34;4411:18;;;4404:62;-1:-1:-1;;;4482:18:1;;;4475:38;4530:19;;1995:91:0;4151:404:1;1995:91:0;-1:-1:-1;;;;;2097:16:0;;;;;;:9;:16;;;;;:26;;2117:6;;2097:16;:26;;2117:6;;2097:26;:::i;:::-;;;;-1:-1:-1;;;;;;;2134:14:0;;;;;;:9;:14;;;;;:24;;2152:6;;2134:14;:24;;2152:6;;2134:24;:::i;:::-;;;;-1:-1:-1;;;;;;;2169:16:0;;;;;;:9;:16;;;;;;;;2186:10;2169:28;;;;;;;:38;;2201:6;;2169:16;:38;;2201:6;;2169:38;:::i;:::-;;;;;;;;2239:3;-1:-1:-1;;;;;2223:28:0;2232:5;-1:-1:-1;;;;;2223:28:0;;2244:6;2223:28;;;;1258:25:1;;1246:2;1231:18;;1112:177;2223:28:0;;;;;;;;-1:-1:-1;2269:4:0;1642:639;;;;;:::o;2483:305::-;2552:10;2542:21;;;;:9;:21;;;;;;:32;-1:-1:-1;2542:32:0;2534:79;;;;-1:-1:-1;;;2534:79:0;;5157:2:1;2534:79:0;;;5139:21:1;5196:2;5176:18;;;5169:30;5235:34;5215:18;;;5208:62;-1:-1:-1;;;5286:18:1;;;5279:32;5328:19;;2534:79:0;4955:398:1;2534:79:0;2634:10;2624:21;;;;:9;:21;;;;;:32;;2649:7;;2624:21;:32;;2649:7;;2624:32;:::i;:::-;;;;;;;;2682:7;2667:11;;:22;;;;;;;:::i;:::-;;;;;;;;2716:7;2700:12;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;2739:41:0;;1258:25:1;;;2768:1:0;;2748:10;;2739:41;;1246:2:1;1231:18;2739:41:0;;;;;;;2483:305;:::o;176:20::-;;;;;;;:::i;1004:404::-;1069:12;-1:-1:-1;;;;;1102:17:0;;1094:65;;;;-1:-1:-1;;;1094:65:0;;;;;;;:::i;:::-;1188:10;1178:21;;;;:9;:21;;;;;;:31;-1:-1:-1;1178:31:0;1170:82;;;;-1:-1:-1;;;1170:82:0;;;;;;;:::i;:::-;1273:10;1263:21;;;;:9;:21;;;;;:31;;1288:6;;1263:21;:31;;1288:6;;1263:31;:::i;:::-;;;;-1:-1:-1;;;;;;;1305:14:0;;;;;;:9;:14;;;;;:24;;1323:6;;1305:14;:24;;1323:6;;1305:24;:::i;:::-;;;;-1:-1:-1;;1345:33:0;;1258:25:1;;;-1:-1:-1;;;;;1345:33:0;;;1354:10;;1345:33;;1246:2:1;1231:18;1345:33:0;1112:177:1;14:418;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:173::-;505:20;;-1:-1:-1;;;;;554:31:1;;544:42;;534:70;;600:1;597;590:12;534:70;437:173;;;:::o;615:300::-;683:6;691;744:2;732:9;723:7;719:23;715:32;712:52;;;760:1;757;750:12;712:52;783:29;802:9;783:29;:::i;:::-;773:39;881:2;866:18;;;;853:32;;-1:-1:-1;;;615:300:1:o;1294:374::-;1371:6;1379;1387;1440:2;1428:9;1419:7;1415:23;1411:32;1408:52;;;1456:1;1453;1446:12;1408:52;1479:29;1498:9;1479:29;:::i;:::-;1469:39;;1527:38;1561:2;1550:9;1546:18;1527:38;:::i;:::-;1294:374;;1517:48;;-1:-1:-1;;;1634:2:1;1619:18;;;;1606:32;;1294:374::o;1862:226::-;1921:6;1974:2;1962:9;1953:7;1949:23;1945:32;1942:52;;;1990:1;1987;1980:12;1942:52;-1:-1:-1;2035:23:1;;1862:226;-1:-1:-1;1862:226:1:o;2093:186::-;2152:6;2205:2;2193:9;2184:7;2180:23;2176:32;2173:52;;;2221:1;2218;2211:12;2173:52;2244:29;2263:9;2244:29;:::i;:::-;2234:39;2093:186;-1:-1:-1;;;2093:186:1:o;2284:260::-;2352:6;2360;2413:2;2401:9;2392:7;2388:23;2384:32;2381:52;;;2429:1;2426;2419:12;2381:52;2452:29;2471:9;2452:29;:::i;:::-;2442:39;;2500:38;2534:2;2523:9;2519:18;2500:38;:::i;:::-;2490:48;;2284:260;;;;;:::o;2549:380::-;2628:1;2624:12;;;;2671;;;2692:61;;2746:4;2738:6;2734:17;2724:27;;2692:61;2799:2;2791:6;2788:14;2768:18;2765:38;2762:161;;2845:10;2840:3;2836:20;2833:1;2826:31;2880:4;2877:1;2870:15;2908:4;2905:1;2898:15;2762:161;;2549:380;;;:::o;3340:399::-;3542:2;3524:21;;;3581:2;3561:18;;;3554:30;3620:34;3615:2;3600:18;;3593:62;-1:-1:-1;;;3686:2:1;3671:18;;3664:33;3729:3;3714:19;;3340:399::o;3744:402::-;3946:2;3928:21;;;3985:2;3965:18;;;3958:30;4024:34;4019:2;4004:18;;3997:62;-1:-1:-1;;;4090:2:1;4075:18;;4068:36;4136:3;4121:19;;3744:402::o;4560:127::-;4621:10;4616:3;4612:20;4609:1;4602:31;4652:4;4649:1;4642:15;4676:4;4673:1;4666:15;4692:128;4759:9;;;4780:11;;;4777:37;;;4794:18;;:::i;4825:125::-;4890:9;;;4911:10;;;4908:36;;;4924:18;;:::i

ipfs://e479ab9fba44491b54f83793148d90a4bea87ee0b8faf087f50188f198e1bb76