Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b, st ...    - function _msgSender()    - function owner()    - function renounceOwnership() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract ERC20 is Context, IERC20    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _transfer(address sender, ad ...    - function _approve(address owner, addr ...    - function _mint(address account, uint2 ...  contract Bitlastro is ERC20, Ownab ... *    - function transfer(address recipient, ...    - function updateTransactionFee(uint256 ...    - function setFeeAddress(address newFee ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-26
*/

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

// SafeMath Library
library SafeMath {
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

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

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

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

// Context.sol
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

// Ownable.sol
abstract contract Ownable is Context {
    address private _owner;

    constructor(address initialOwner) {
        _owner = initialOwner;
    }

    function owner() public view virtual returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
}

// ReentrancyGuard.sol
abstract contract ReentrancyGuard {
    uint256 private _status;

    constructor() {
        _status = 1;
    }

    modifier nonReentrant() {
        require(_status == 1, "ReentrancyGuard: reentrant call");
        _status = 2;
        _;
        _status = 1;
    }
}

// IERC20.sol
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// ERC20 without external libraries
contract ERC20 is Context, IERC20 {
    using SafeMath for uint256;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    uint256 private _totalSupply;
    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    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 override returns (uint256) {
        return _totalSupply;
    }

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

    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(_balances[sender] >= amount, "ERC20: transfer amount exceeds balance");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, 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 _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }
}

// Bitlastro.sol
contract Bitlastro is ERC20, Ownable, ReentrancyGuard {
    using SafeMath for uint256;

    address public feeAddress;
    uint256 public constant INITIAL_SUPPLY = 25 * 10**9 * 10**18;
    uint256 public transactionFee = 0; // Inicialmente 0% (0 base points)
    uint256 public constant MIN_TRANSFER_AMOUNT = 10;

    constructor() ERC20("BITLASTRO", "BITL") Ownable(0xC9cf90879398Ea05Bf7d1079c7abdb8708Ee8C34) {
        feeAddress = 0xC9cf90879398Ea05Bf7d1079c7abdb8708Ee8C34;
        _mint(0xC9cf90879398Ea05Bf7d1079c7abdb8708Ee8C34, INITIAL_SUPPLY);
    }

    function transfer(address recipient, uint256 amount) public override nonReentrant returns (bool) {
        require(amount >= MIN_TRANSFER_AMOUNT, "Bitlastro: transfer amount too small");

        uint256 fee = amount.mul(transactionFee).div(1000);
        require(amount > fee, "Bitlastro: transfer amount too small after fee");

        uint256 amountAfterFee = amount.sub(fee);
        _transfer(_msgSender(), feeAddress, fee);
        _transfer(_msgSender(), recipient, amountAfterFee);
        return true;
    }

    function updateTransactionFee(uint256 newFee) public onlyOwner {
        require(newFee <= 150, "Bitlastro: fee cannot be increased above 1.5%");
        transactionFee = newFee;
    }

    function setFeeAddress(address newFeeAddress) public onlyOwner {
        feeAddress = newFeeAddress;
    }
}

• 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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_TRANSFER_AMOUNT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":"feeAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newFeeAddress","type":"address"}],"name":"setFeeAddress","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":[],"name":"transactionFee","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":[{"internalType":"uint256","name":"newFee","type":"uint256"}],"name":"updateTransactionFee","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040525f600855348015610013575f80fd5b5073c9cf90879398ea05bf7d1079c7abdb8708ee8c346040518060400160405280600981526020017f4249544c415354524f00000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4249544c0000000000000000000000000000000000000000000000000000000081525081600390816100a49190610559565b5080600490816100b49190610559565b5050508060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600160068190555073c9cf90879398ea05bf7d1079c7abdb8708ee8c3460075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061018473c9cf90879398ea05bf7d1079c7abdb8708ee8c346b50c783eb9b5c85f2a800000061018960201b60201c565b610728565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036101f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101ee90610682565b60405180910390fd5b61020c8160025461030a60201b90919060201c565b600281905550610261815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461030a60201b90919060201c565b5f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102fe91906106af565b60405180910390a35050565b5f818361031791906106f5565b905092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061039a57607f821691505b6020821081036103ad576103ac610356565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261040f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826103d4565b61041986836103d4565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61045d61045861045384610431565b61043a565b610431565b9050919050565b5f819050919050565b61047683610443565b61048a61048282610464565b8484546103e0565b825550505050565b5f90565b61049e610492565b6104a981848461046d565b505050565b5b818110156104cc576104c15f82610496565b6001810190506104af565b5050565b601f821115610511576104e2816103b3565b6104eb846103c5565b810160208510156104fa578190505b61050e610506856103c5565b8301826104ae565b50505b505050565b5f82821c905092915050565b5f6105315f1984600802610516565b1980831691505092915050565b5f6105498383610522565b9150826002028217905092915050565b6105628261031f565b67ffffffffffffffff81111561057b5761057a610329565b5b6105858254610383565b6105908282856104d0565b5f60209050601f8311600181146105c1575f84156105af578287015190505b6105b9858261053e565b865550610620565b601f1984166105cf866103b3565b5f5b828110156105f6578489015182556001820191506020850194506020810190506105d1565b86831015610613578489015161060f601f891682610522565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f61066c601f83610628565b915061067782610638565b602082019050919050565b5f6020820190508181035f83015261069981610660565b9050919050565b6106a981610431565b82525050565b5f6020820190506106c25f8301846106a0565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6106ff82610431565b915061070a83610431565b9250828201905080821115610722576107216106c8565b5b92915050565b611a02806107355f395ff3fe608060405234801561000f575f80fd5b5060043610610109575f3560e01c806341275358116100a05780638da5cb5b1161006f5780638da5cb5b1461029357806395d89b41146102b15780639ed3edf0146102cf578063a9059cbb146102ed578063dd62ed3e1461031d57610109565b8063412753581461021f57806370a082311461023d578063715018a61461026d5780638705fcd41461027757610109565b806323b872dd116100dc57806323b872dd146101955780632ff2e9dc146101c5578063313ce567146101e35780633c3dbbc71461020157610109565b806306fdde031461010d578063095ea7b31461012b5780630ee976961461015b57806318160ddd14610177575b5f80fd5b61011561034d565b6040516101229190611074565b60405180910390f35b61014560048036038101906101409190611125565b6103dd565b604051610152919061117d565b60405180910390f35b61017560048036038101906101709190611196565b6103fa565b005b61017f6104de565b60405161018c91906111d0565b60405180910390f35b6101af60048036038101906101aa91906111e9565b6104e7565b6040516101bc919061117d565b60405180910390f35b6101cd6105a1565b6040516101da91906111d0565b60405180910390f35b6101eb6105b1565b6040516101f89190611254565b60405180910390f35b6102096105b9565b60405161021691906111d0565b60405180910390f35b6102276105be565b604051610234919061127c565b60405180910390f35b61025760048036038101906102529190611295565b6105e3565b60405161026491906111d0565b60405180910390f35b610275610628565b005b610291600480360381019061028c9190611295565b61077b565b005b61029b610854565b6040516102a8919061127c565b60405180910390f35b6102b961087c565b6040516102c69190611074565b60405180910390f35b6102d761090c565b6040516102e491906111d0565b60405180910390f35b61030760048036038101906103029190611125565b610912565b604051610314919061117d565b60405180910390f35b610337600480360381019061033291906112c0565b610a81565b60405161034491906111d0565b60405180910390f35b60606003805461035c9061132b565b80601f01602080910402602001604051908101604052809291908181526020018280546103889061132b565b80156103d35780601f106103aa576101008083540402835291602001916103d3565b820191905f5260205f20905b8154815290600101906020018083116103b657829003601f168201915b5050505050905090565b5f6103f06103e9610b03565b8484610b0a565b6001905092915050565b610402610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610490576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610487906113a5565b60405180910390fd5b60968111156104d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cb90611433565b60405180910390fd5b8060088190555050565b5f600254905090565b5f6104f3848484610ccd565b610596846104ff610b03565b6105918560015f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610549610b03565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fb090919063ffffffff16565b610b0a565b600190509392505050565b6b50c783eb9b5c85f2a800000081565b5f6012905090565b600a81565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610630610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b5906113a5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610783610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610811576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610808906113a5565b60405180910390fd5b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461088b9061132b565b80601f01602080910402602001604051908101604052809291908181526020018280546108b79061132b565b80156109025780601f106108d957610100808354040283529160200191610902565b820191905f5260205f20905b8154815290600101906020018083116108e557829003601f168201915b5050505050905090565b60085481565b5f600160065414610958576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094f9061149b565b60405180910390fd5b6002600681905550600a8210156109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b90611529565b60405180910390fd5b5f6109ce6103e86109c060085486610fc590919063ffffffff16565b610fda90919063ffffffff16565b9050808311610a12576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a09906115b7565b60405180910390fd5b5f610a268285610fb090919063ffffffff16565b9050610a5b610a33610b03565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610ccd565b610a6d610a66610b03565b8683610ccd565b600192505050600160068190555092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6f90611645565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610be6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdd906116d3565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cc091906111d0565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3290611761565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610da9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da0906117ef565b60405180910390fd5b805f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610e28576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e1f9061187d565b60405180910390fd5b610e77815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fb090919063ffffffff16565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610f06815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fef90919063ffffffff16565b5f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610fa391906111d0565b60405180910390a3505050565b5f8183610fbd91906118c8565b905092915050565b5f8183610fd291906118fb565b905092915050565b5f8183610fe79190611969565b905092915050565b5f8183610ffc9190611999565b905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61104682611004565b611050818561100e565b935061106081856020860161101e565b6110698161102c565b840191505092915050565b5f6020820190508181035f83015261108c818461103c565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110c182611098565b9050919050565b6110d1816110b7565b81146110db575f80fd5b50565b5f813590506110ec816110c8565b92915050565b5f819050919050565b611104816110f2565b811461110e575f80fd5b50565b5f8135905061111f816110fb565b92915050565b5f806040838503121561113b5761113a611094565b5b5f611148858286016110de565b925050602061115985828601611111565b9150509250929050565b5f8115159050919050565b61117781611163565b82525050565b5f6020820190506111905f83018461116e565b92915050565b5f602082840312156111ab576111aa611094565b5b5f6111b884828501611111565b91505092915050565b6111ca816110f2565b82525050565b5f6020820190506111e35f8301846111c1565b92915050565b5f805f60608486031215611200576111ff611094565b5b5f61120d868287016110de565b935050602061121e868287016110de565b925050604061122f86828701611111565b9150509250925092565b5f60ff82169050919050565b61124e81611239565b82525050565b5f6020820190506112675f830184611245565b92915050565b611276816110b7565b82525050565b5f60208201905061128f5f83018461126d565b92915050565b5f602082840312156112aa576112a9611094565b5b5f6112b7848285016110de565b91505092915050565b5f80604083850312156112d6576112d5611094565b5b5f6112e3858286016110de565b92505060206112f4858286016110de565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061134257607f821691505b602082108103611355576113546112fe565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61138f60208361100e565b915061139a8261135b565b602082019050919050565b5f6020820190508181035f8301526113bc81611383565b9050919050565b7f4269746c617374726f3a206665652063616e6e6f7420626520696e63726561735f8201527f65642061626f766520312e352500000000000000000000000000000000000000602082015250565b5f61141d602d8361100e565b9150611428826113c3565b604082019050919050565b5f6020820190508181035f83015261144a81611411565b9050919050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c005f82015250565b5f611485601f8361100e565b915061149082611451565b602082019050919050565b5f6020820190508181035f8301526114b281611479565b9050919050565b7f4269746c617374726f3a207472616e7366657220616d6f756e7420746f6f20735f8201527f6d616c6c00000000000000000000000000000000000000000000000000000000602082015250565b5f61151360248361100e565b915061151e826114b9565b604082019050919050565b5f6020820190508181035f83015261154081611507565b9050919050565b7f4269746c617374726f3a207472616e7366657220616d6f756e7420746f6f20735f8201527f6d616c6c20616674657220666565000000000000000000000000000000000000602082015250565b5f6115a1602e8361100e565b91506115ac82611547565b604082019050919050565b5f6020820190508181035f8301526115ce81611595565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61162f60248361100e565b915061163a826115d5565b604082019050919050565b5f6020820190508181035f83015261165c81611623565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6116bd60228361100e565b91506116c882611663565b604082019050919050565b5f6020820190508181035f8301526116ea816116b1565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61174b60258361100e565b9150611756826116f1565b604082019050919050565b5f6020820190508181035f8301526117788161173f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6117d960238361100e565b91506117e48261177f565b604082019050919050565b5f6020820190508181035f830152611806816117cd565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61186760268361100e565b91506118728261180d565b604082019050919050565b5f6020820190508181035f8301526118948161185b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6118d2826110f2565b91506118dd836110f2565b92508282039050818111156118f5576118f461189b565b5b92915050565b5f611905826110f2565b9150611910836110f2565b925082820261191e816110f2565b915082820484148315176119355761193461189b565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611973826110f2565b915061197e836110f2565b92508261198e5761198d61193c565b5b828204905092915050565b5f6119a3826110f2565b91506119ae836110f2565b92508282019050808211156119c6576119c561189b565b5b9291505056fea26469706673582212206a007adba813e376d2431fecb66172cce93e31d6501f3f701904e026fa9ddd3e64736f6c634300081a0033

0x608060405234801561000f575f80fd5b5060043610610109575f3560e01c806341275358116100a05780638da5cb5b1161006f5780638da5cb5b1461029357806395d89b41146102b15780639ed3edf0146102cf578063a9059cbb146102ed578063dd62ed3e1461031d57610109565b8063412753581461021f57806370a082311461023d578063715018a61461026d5780638705fcd41461027757610109565b806323b872dd116100dc57806323b872dd146101955780632ff2e9dc146101c5578063313ce567146101e35780633c3dbbc71461020157610109565b806306fdde031461010d578063095ea7b31461012b5780630ee976961461015b57806318160ddd14610177575b5f80fd5b61011561034d565b6040516101229190611074565b60405180910390f35b61014560048036038101906101409190611125565b6103dd565b604051610152919061117d565b60405180910390f35b61017560048036038101906101709190611196565b6103fa565b005b61017f6104de565b60405161018c91906111d0565b60405180910390f35b6101af60048036038101906101aa91906111e9565b6104e7565b6040516101bc919061117d565b60405180910390f35b6101cd6105a1565b6040516101da91906111d0565b60405180910390f35b6101eb6105b1565b6040516101f89190611254565b60405180910390f35b6102096105b9565b60405161021691906111d0565b60405180910390f35b6102276105be565b604051610234919061127c565b60405180910390f35b61025760048036038101906102529190611295565b6105e3565b60405161026491906111d0565b60405180910390f35b610275610628565b005b610291600480360381019061028c9190611295565b61077b565b005b61029b610854565b6040516102a8919061127c565b60405180910390f35b6102b961087c565b6040516102c69190611074565b60405180910390f35b6102d761090c565b6040516102e491906111d0565b60405180910390f35b61030760048036038101906103029190611125565b610912565b604051610314919061117d565b60405180910390f35b610337600480360381019061033291906112c0565b610a81565b60405161034491906111d0565b60405180910390f35b60606003805461035c9061132b565b80601f01602080910402602001604051908101604052809291908181526020018280546103889061132b565b80156103d35780601f106103aa576101008083540402835291602001916103d3565b820191905f5260205f20905b8154815290600101906020018083116103b657829003601f168201915b5050505050905090565b5f6103f06103e9610b03565b8484610b0a565b6001905092915050565b610402610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610490576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610487906113a5565b60405180910390fd5b60968111156104d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cb90611433565b60405180910390fd5b8060088190555050565b5f600254905090565b5f6104f3848484610ccd565b610596846104ff610b03565b6105918560015f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610549610b03565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fb090919063ffffffff16565b610b0a565b600190509392505050565b6b50c783eb9b5c85f2a800000081565b5f6012905090565b600a81565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610630610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b5906113a5565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610783610b03565b73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610811576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610808906113a5565b60405180910390fd5b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461088b9061132b565b80601f01602080910402602001604051908101604052809291908181526020018280546108b79061132b565b80156109025780601f106108d957610100808354040283529160200191610902565b820191905f5260205f20905b8154815290600101906020018083116108e557829003601f168201915b5050505050905090565b60085481565b5f600160065414610958576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094f9061149b565b60405180910390fd5b6002600681905550600a8210156109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b90611529565b60405180910390fd5b5f6109ce6103e86109c060085486610fc590919063ffffffff16565b610fda90919063ffffffff16565b9050808311610a12576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a09906115b7565b60405180910390fd5b5f610a268285610fb090919063ffffffff16565b9050610a5b610a33610b03565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610ccd565b610a6d610a66610b03565b8683610ccd565b600192505050600160068190555092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6f90611645565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610be6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdd906116d3565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cc091906111d0565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3290611761565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610da9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da0906117ef565b60405180910390fd5b805f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610e28576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e1f9061187d565b60405180910390fd5b610e77815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fb090919063ffffffff16565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610f06815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610fef90919063ffffffff16565b5f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610fa391906111d0565b60405180910390a3505050565b5f8183610fbd91906118c8565b905092915050565b5f8183610fd291906118fb565b905092915050565b5f8183610fe79190611969565b905092915050565b5f8183610ffc9190611999565b905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61104682611004565b611050818561100e565b935061106081856020860161101e565b6110698161102c565b840191505092915050565b5f6020820190508181035f83015261108c818461103c565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110c182611098565b9050919050565b6110d1816110b7565b81146110db575f80fd5b50565b5f813590506110ec816110c8565b92915050565b5f819050919050565b611104816110f2565b811461110e575f80fd5b50565b5f8135905061111f816110fb565b92915050565b5f806040838503121561113b5761113a611094565b5b5f611148858286016110de565b925050602061115985828601611111565b9150509250929050565b5f8115159050919050565b61117781611163565b82525050565b5f6020820190506111905f83018461116e565b92915050565b5f602082840312156111ab576111aa611094565b5b5f6111b884828501611111565b91505092915050565b6111ca816110f2565b82525050565b5f6020820190506111e35f8301846111c1565b92915050565b5f805f60608486031215611200576111ff611094565b5b5f61120d868287016110de565b935050602061121e868287016110de565b925050604061122f86828701611111565b9150509250925092565b5f60ff82169050919050565b61124e81611239565b82525050565b5f6020820190506112675f830184611245565b92915050565b611276816110b7565b82525050565b5f60208201905061128f5f83018461126d565b92915050565b5f602082840312156112aa576112a9611094565b5b5f6112b7848285016110de565b91505092915050565b5f80604083850312156112d6576112d5611094565b5b5f6112e3858286016110de565b92505060206112f4858286016110de565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061134257607f821691505b602082108103611355576113546112fe565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61138f60208361100e565b915061139a8261135b565b602082019050919050565b5f6020820190508181035f8301526113bc81611383565b9050919050565b7f4269746c617374726f3a206665652063616e6e6f7420626520696e63726561735f8201527f65642061626f766520312e352500000000000000000000000000000000000000602082015250565b5f61141d602d8361100e565b9150611428826113c3565b604082019050919050565b5f6020820190508181035f83015261144a81611411565b9050919050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c005f82015250565b5f611485601f8361100e565b915061149082611451565b602082019050919050565b5f6020820190508181035f8301526114b281611479565b9050919050565b7f4269746c617374726f3a207472616e7366657220616d6f756e7420746f6f20735f8201527f6d616c6c00000000000000000000000000000000000000000000000000000000602082015250565b5f61151360248361100e565b915061151e826114b9565b604082019050919050565b5f6020820190508181035f83015261154081611507565b9050919050565b7f4269746c617374726f3a207472616e7366657220616d6f756e7420746f6f20735f8201527f6d616c6c20616674657220666565000000000000000000000000000000000000602082015250565b5f6115a1602e8361100e565b91506115ac82611547565b604082019050919050565b5f6020820190508181035f8301526115ce81611595565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61162f60248361100e565b915061163a826115d5565b604082019050919050565b5f6020820190508181035f83015261165c81611623565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6116bd60228361100e565b91506116c882611663565b604082019050919050565b5f6020820190508181035f8301526116ea816116b1565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61174b60258361100e565b9150611756826116f1565b604082019050919050565b5f6020820190508181035f8301526117788161173f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6117d960238361100e565b91506117e48261177f565b604082019050919050565b5f6020820190508181035f830152611806816117cd565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61186760268361100e565b91506118728261180d565b604082019050919050565b5f6020820190508181035f8301526118948161185b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6118d2826110f2565b91506118dd836110f2565b92508282039050818111156118f5576118f461189b565b5b92915050565b5f611905826110f2565b9150611910836110f2565b925082820261191e816110f2565b915082820484148315176119355761193461189b565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611973826110f2565b915061197e836110f2565b92508261198e5761198d61193c565b5b828204905092915050565b5f6119a3826110f2565b91506119ae836110f2565b92508282019050808211156119c6576119c561189b565b5b9291505056fea26469706673582212206a007adba813e376d2431fecb66172cce93e31d6501f3f701904e026fa9ddd3e64736f6c634300081a0033

7223:1418:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4645:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5532:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8335:187;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4939:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5709:277;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7351:60;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4847:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7493:48;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7319:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5055:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2939:148;;;:::i;:::-;;8530:108;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2717:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4744:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7418:33;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7801:526;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5373:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4645:91;4690:13;4723:5;4716:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4645:91;:::o;5532:169::-;5615:4;5632:39;5641:12;:10;:12::i;:::-;5655:7;5664:6;5632:8;:39::i;:::-;5689:4;5682:11;;5532:169;;;;:::o;8335:187::-;2862:12;:10;:12::i;:::-;2852:22;;:6;;;;;;;;;;;:22;;;2844:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8427:3:::1;8417:6;:13;;8409:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;8508:6;8491:14;:23;;;;8335:187:::0;:::o;4939:108::-;5000:7;5027:12;;5020:19;;4939:108;:::o;5709:277::-;5815:4;5832:36;5842:6;5850:9;5861:6;5832:9;:36::i;:::-;5879:77;5888:6;5896:12;:10;:12::i;:::-;5910:45;5948:6;5910:11;:19;5922:6;5910:19;;;;;;;;;;;;;;;:33;5930:12;:10;:12::i;:::-;5910:33;;;;;;;;;;;;;;;;:37;;:45;;;;:::i;:::-;5879:8;:77::i;:::-;5974:4;5967:11;;5709:277;;;;;:::o;7351:60::-;7392:19;7351:60;:::o;4847:84::-;4896:5;4921:2;4914:9;;4847:84;:::o;7493:48::-;7539:2;7493:48;:::o;7319:25::-;;;;;;;;;;;;;:::o;5055:127::-;5129:7;5156:9;:18;5166:7;5156:18;;;;;;;;;;;;;;;;5149:25;;5055:127;;;:::o;2939:148::-;2862:12;:10;:12::i;:::-;2852:22;;:6;;;;;;;;;;;:22;;;2844:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;3046:1:::1;3009:40;;3030:6;;;;;;;;;;;3009:40;;;;;;;;;;;;3077:1;3060:6;;:19;;;;;;;;;;;;;;;;;;2939:148::o:0;8530:108::-;2862:12;:10;:12::i;:::-;2852:22;;:6;;;;;;;;;;;:22;;;2844:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8617:13:::1;8604:10;;:26;;;;;;;;;;;;;;;;;;8530:108:::0;:::o;2717:87::-;2763:7;2790:6;;;;;;;;;;;2783:13;;2717:87;:::o;4744:95::-;4791:13;4824:7;4817:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4744:95;:::o;7418:33::-;;;;:::o;7801:526::-;7892:4;3389:1;3378:7;;:12;3370:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;3447:1;3437:7;:11;;;;7539:2:::1;7917:6;:29;;7909:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;8000:11;8014:36;8045:4;8014:26;8025:14;;8014:6;:10;;:26;;;;:::i;:::-;:30;;:36;;;;:::i;:::-;8000:50;;8078:3;8069:6;:12;8061:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;8145:22;8170:15;8181:3;8170:6;:10;;:15;;;;:::i;:::-;8145:40;;8196;8206:12;:10;:12::i;:::-;8220:10;;;;;;;;;;;8232:3;8196:9;:40::i;:::-;8247:50;8257:12;:10;:12::i;:::-;8271:9;8282:14;8247:9;:50::i;:::-;8315:4;8308:11;;;;3481:1:::0;3471:7;:11;;;;7801:526;;;;:::o;5373:151::-;5462:7;5489:11;:18;5501:5;5489:18;;;;;;;;;;;;;;;:27;5508:7;5489:27;;;;;;;;;;;;;;;;5482:34;;5373:151;;;;:::o;2439:98::-;2492:7;2519:10;2512:17;;2439:98;:::o;6528:346::-;6647:1;6630:19;;:5;:19;;;6622:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6728:1;6709:21;;:7;:21;;;6701:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6812:6;6782:11;:18;6794:5;6782:18;;;;;;;;;;;;;;;:27;6801:7;6782:27;;;;;;;;;;;;;;;:36;;;;6850:7;6834:32;;6843:5;6834:32;;;6859:6;6834:32;;;;;;:::i;:::-;;;;;;;;6528:346;;;:::o;5994:526::-;6118:1;6100:20;;:6;:20;;;6092:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;6202:1;6181:23;;:9;:23;;;6173:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;6284:6;6263:9;:17;6273:6;6263:17;;;;;;;;;;;;;;;;:27;;6255:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;6366:29;6388:6;6366:9;:17;6376:6;6366:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;6346:9;:17;6356:6;6346:17;;;;;;;;;;;;;;;:49;;;;6429:32;6454:6;6429:9;:20;6439:9;6429:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;6406:9;:20;6416:9;6406:20;;;;;;;;;;;;;;;:55;;;;6494:9;6477:35;;6486:6;6477:35;;;6505:6;6477:35;;;;;;:::i;:::-;;;;;;;;5994:526;;;:::o;1327:98::-;1385:7;1416:1;1412;:5;;;;:::i;:::-;1405:12;;1327:98;;;;:::o;1433:::-;1491:7;1522:1;1518;:5;;;;:::i;:::-;1511:12;;1433:98;;;;:::o;1539:::-;1597:7;1628:1;1624;:5;;;;:::i;:::-;1617:12;;1539:98;;;;:::o;1221:::-;1279:7;1310:1;1306;:5;;;;:::i;:::-;1299:12;;1221:98;;;;:::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:329::-;3398:6;3447:2;3435:9;3426:7;3422:23;3418:32;3415:119;;;3453:79;;:::i;:::-;3415:119;3573:1;3598:53;3643:7;3634:6;3623:9;3619:22;3598:53;:::i;:::-;3588:63;;3544:117;3339:329;;;;:::o;3674:118::-;3761:24;3779:5;3761:24;:::i;:::-;3756:3;3749:37;3674:118;;:::o;3798:222::-;3891:4;3929:2;3918:9;3914:18;3906:26;;3942:71;4010:1;3999:9;3995:17;3986:6;3942:71;:::i;:::-;3798:222;;;;:::o;4026:619::-;4103:6;4111;4119;4168:2;4156:9;4147:7;4143:23;4139:32;4136:119;;;4174:79;;:::i;:::-;4136:119;4294:1;4319:53;4364:7;4355:6;4344:9;4340:22;4319:53;:::i;:::-;4309:63;;4265:117;4421:2;4447:53;4492:7;4483:6;4472:9;4468:22;4447:53;:::i;:::-;4437:63;;4392:118;4549:2;4575:53;4620:7;4611:6;4600:9;4596:22;4575:53;:::i;:::-;4565:63;;4520:118;4026:619;;;;;:::o;4651:86::-;4686:7;4726:4;4719:5;4715:16;4704:27;;4651:86;;;:::o;4743:112::-;4826:22;4842:5;4826:22;:::i;:::-;4821:3;4814:35;4743:112;;:::o;4861:214::-;4950:4;4988:2;4977:9;4973:18;4965:26;;5001:67;5065:1;5054:9;5050:17;5041:6;5001:67;:::i;:::-;4861:214;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:329::-;5492:6;5541:2;5529:9;5520:7;5516:23;5512:32;5509:119;;;5547:79;;:::i;:::-;5509:119;5667:1;5692:53;5737:7;5728:6;5717:9;5713:22;5692:53;:::i;:::-;5682:63;;5638:117;5433:329;;;;:::o;5768:474::-;5836:6;5844;5893:2;5881:9;5872:7;5868:23;5864:32;5861:119;;;5899:79;;:::i;:::-;5861:119;6019:1;6044:53;6089:7;6080:6;6069:9;6065:22;6044:53;:::i;:::-;6034:63;;5990:117;6146:2;6172:53;6217:7;6208:6;6197:9;6193:22;6172:53;:::i;:::-;6162:63;;6117:118;5768:474;;;;;:::o;6248:180::-;6296:77;6293:1;6286:88;6393:4;6390:1;6383:15;6417:4;6414:1;6407:15;6434:320;6478:6;6515:1;6509:4;6505:12;6495:22;;6562:1;6556:4;6552:12;6583:18;6573:81;;6639:4;6631:6;6627:17;6617:27;;6573:81;6701:2;6693:6;6690:14;6670:18;6667:38;6664:84;;6720:18;;:::i;:::-;6664:84;6485:269;6434:320;;;:::o;6760:182::-;6900:34;6896:1;6888:6;6884:14;6877:58;6760:182;:::o;6948:366::-;7090:3;7111:67;7175:2;7170:3;7111:67;:::i;:::-;7104:74;;7187:93;7276:3;7187:93;:::i;:::-;7305:2;7300:3;7296:12;7289:19;;6948:366;;;:::o;7320:419::-;7486:4;7524:2;7513:9;7509:18;7501:26;;7573:9;7567:4;7563:20;7559:1;7548:9;7544:17;7537:47;7601:131;7727:4;7601:131;:::i;:::-;7593:139;;7320:419;;;:::o;7745:232::-;7885:34;7881:1;7873:6;7869:14;7862:58;7954:15;7949:2;7941:6;7937:15;7930:40;7745:232;:::o;7983:366::-;8125:3;8146:67;8210:2;8205:3;8146:67;:::i;:::-;8139:74;;8222:93;8311:3;8222:93;:::i;:::-;8340:2;8335:3;8331:12;8324:19;;7983:366;;;:::o;8355:419::-;8521:4;8559:2;8548:9;8544:18;8536:26;;8608:9;8602:4;8598:20;8594:1;8583:9;8579:17;8572:47;8636:131;8762:4;8636:131;:::i;:::-;8628:139;;8355:419;;;:::o;8780:181::-;8920:33;8916:1;8908:6;8904:14;8897:57;8780:181;:::o;8967:366::-;9109:3;9130:67;9194:2;9189:3;9130:67;:::i;:::-;9123:74;;9206:93;9295:3;9206:93;:::i;:::-;9324:2;9319:3;9315:12;9308:19;;8967:366;;;:::o;9339:419::-;9505:4;9543:2;9532:9;9528:18;9520:26;;9592:9;9586:4;9582:20;9578:1;9567:9;9563:17;9556:47;9620:131;9746:4;9620:131;:::i;:::-;9612:139;;9339:419;;;:::o;9764:223::-;9904:34;9900:1;9892:6;9888:14;9881:58;9973:6;9968:2;9960:6;9956:15;9949:31;9764:223;:::o;9993:366::-;10135:3;10156:67;10220:2;10215:3;10156:67;:::i;:::-;10149:74;;10232:93;10321:3;10232:93;:::i;:::-;10350:2;10345:3;10341:12;10334:19;;9993:366;;;:::o;10365:419::-;10531:4;10569:2;10558:9;10554:18;10546:26;;10618:9;10612:4;10608:20;10604:1;10593:9;10589:17;10582:47;10646:131;10772:4;10646:131;:::i;:::-;10638:139;;10365:419;;;:::o;10790:233::-;10930:34;10926:1;10918:6;10914:14;10907:58;10999:16;10994:2;10986:6;10982:15;10975:41;10790:233;:::o;11029:366::-;11171:3;11192:67;11256:2;11251:3;11192:67;:::i;:::-;11185:74;;11268:93;11357:3;11268:93;:::i;:::-;11386:2;11381:3;11377:12;11370:19;;11029:366;;;:::o;11401:419::-;11567:4;11605:2;11594:9;11590:18;11582:26;;11654:9;11648:4;11644:20;11640:1;11629:9;11625:17;11618:47;11682:131;11808:4;11682:131;:::i;:::-;11674:139;;11401:419;;;:::o;11826:223::-;11966:34;11962:1;11954:6;11950:14;11943:58;12035:6;12030:2;12022:6;12018:15;12011:31;11826:223;:::o;12055:366::-;12197:3;12218:67;12282:2;12277:3;12218:67;:::i;:::-;12211:74;;12294:93;12383:3;12294:93;:::i;:::-;12412:2;12407:3;12403:12;12396:19;;12055:366;;;:::o;12427:419::-;12593:4;12631:2;12620:9;12616:18;12608:26;;12680:9;12674:4;12670:20;12666:1;12655:9;12651:17;12644:47;12708:131;12834:4;12708:131;:::i;:::-;12700:139;;12427:419;;;:::o;12852:221::-;12992:34;12988:1;12980:6;12976:14;12969:58;13061:4;13056:2;13048:6;13044:15;13037:29;12852:221;:::o;13079:366::-;13221:3;13242:67;13306:2;13301:3;13242:67;:::i;:::-;13235:74;;13318:93;13407:3;13318:93;:::i;:::-;13436:2;13431:3;13427:12;13420:19;;13079:366;;;:::o;13451:419::-;13617:4;13655:2;13644:9;13640:18;13632:26;;13704:9;13698:4;13694:20;13690:1;13679:9;13675:17;13668:47;13732:131;13858:4;13732:131;:::i;:::-;13724:139;;13451:419;;;:::o;13876:224::-;14016:34;14012:1;14004:6;14000:14;13993:58;14085:7;14080:2;14072:6;14068:15;14061:32;13876:224;:::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:222::-;15043:34;15039:1;15031:6;15027:14;15020:58;15112:5;15107:2;15099:6;15095:15;15088:30;14903:222;:::o;15131:366::-;15273:3;15294:67;15358:2;15353:3;15294:67;:::i;:::-;15287:74;;15370:93;15459:3;15370:93;:::i;:::-;15488:2;15483:3;15479:12;15472:19;;15131:366;;;:::o;15503:419::-;15669:4;15707:2;15696:9;15692:18;15684:26;;15756:9;15750:4;15746:20;15742:1;15731:9;15727:17;15720:47;15784:131;15910:4;15784:131;:::i;:::-;15776:139;;15503:419;;;:::o;15928:225::-;16068:34;16064:1;16056:6;16052:14;16045:58;16137:8;16132:2;16124:6;16120:15;16113:33;15928:225;:::o;16159:366::-;16301:3;16322:67;16386:2;16381:3;16322:67;:::i;:::-;16315:74;;16398:93;16487:3;16398:93;:::i;:::-;16516:2;16511:3;16507:12;16500:19;;16159:366;;;:::o;16531:419::-;16697:4;16735:2;16724:9;16720:18;16712:26;;16784:9;16778:4;16774:20;16770:1;16759:9;16755:17;16748:47;16812:131;16938:4;16812:131;:::i;:::-;16804:139;;16531:419;;;:::o;16956:180::-;17004:77;17001:1;16994:88;17101:4;17098:1;17091:15;17125:4;17122:1;17115:15;17142:194;17182:4;17202:20;17220:1;17202:20;:::i;:::-;17197:25;;17236:20;17254:1;17236:20;:::i;:::-;17231:25;;17280:1;17277;17273:9;17265:17;;17304:1;17298:4;17295:11;17292:37;;;17309:18;;:::i;:::-;17292:37;17142:194;;;;:::o;17342:410::-;17382:7;17405:20;17423:1;17405:20;:::i;:::-;17400:25;;17439:20;17457:1;17439:20;:::i;:::-;17434:25;;17494:1;17491;17487:9;17516:30;17534:11;17516:30;:::i;:::-;17505:41;;17695:1;17686:7;17682:15;17679:1;17676:22;17656:1;17649:9;17629:83;17606:139;;17725:18;;:::i;:::-;17606:139;17390:362;17342:410;;;;:::o;17758:180::-;17806:77;17803:1;17796:88;17903:4;17900:1;17893:15;17927:4;17924:1;17917:15;17944:185;17984:1;18001:20;18019:1;18001:20;:::i;:::-;17996:25;;18035:20;18053:1;18035:20;:::i;:::-;18030:25;;18074:1;18064:35;;18079:18;;:::i;:::-;18064:35;18121:1;18118;18114:9;18109:14;;17944:185;;;;:::o;18135:191::-;18175:3;18194:20;18212:1;18194:20;:::i;:::-;18189:25;;18228:20;18246:1;18228:20;:::i;:::-;18223:25;;18271:1;18268;18264:9;18257:16;;18292:3;18289:1;18286:10;18283:36;;;18299:18;;:::i;:::-;18283:36;18135:191;;;;:::o

ipfs://6a007adba813e376d2431fecb66172cce93e31d6501f3f701904e026fa9ddd3e