Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

import "./IERC20.sol";
import "./Ownable.sol";
import "./Whitelist.sol";



library SafeMath {

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        assert(c / a == b);
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return c;       
    }       

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

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

/**
 * @title RADA.
 *
 * @dev ERC20 RADA.
 */
contract RADA is IERC20, Ownable, Whitelist {
    
    using SafeMath for uint256;

    string public name = "RADA";
    string public symbol = "RADA";
    uint8 public constant decimals = 18;

    uint256 _initialSupply = 10000000000;
    uint256 private _totalSupply = _initialSupply * (10 ** uint256(decimals));
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => uint256) private _lockedAmount;

    event Lock(address indexed owner, address account, uint256 amount);
    event Unlock(address indexed owner, address account, uint256 amount);

    constructor() {
        _balances[msg.sender] = _totalSupply;
    }

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

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

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

    /**
     * @return The amount of tokens locked to `account`.
     */
    function lockedAmountOf(address account) public view returns (uint256) {
        return _lockedAmount[account];
    }

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

    /**
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     */
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    // OPTIONAL
    function transferFrom(address from, address to, uint256 amount) public override returns (bool) {
        _spendAllowance(from, msg.sender, amount);
        _transfer(from, to, amount);
        return true;
    }

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

        uint256 currentBalance = balanceOf(from);
        uint256 lockedAmount = lockedAmountOf(from);
        uint256 availableAmount;

        require(currentBalance >= lockedAmount);
        unchecked { availableAmount = currentBalance.sub(lockedAmount); }
        require(availableAmount >= amount, "RADA: transfer amount exceeds balance");

        unchecked {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            require(_balances[to] >= amount, "RADA: overflow of the to's balance");
        }

        emit Transfer(from, to, amount);
    }

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

        _allowances[owner][spender] = amount;

        emit Approval(owner, spender, amount);
    }

    /**
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     */
    function _spendAllowance(address owner, address spender, uint256 amount) internal {
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= amount, "RADA: insufficient allowance");

        if (currentAllowance != type(uint256).max) {
            unchecked {
                _approve(owner, spender, currentAllowance.sub(amount));
            }
        }
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        uint256 currentAllowance = allowance(msg.sender, spender);
        unchecked {
            uint256 newAllowance = currentAllowance.add(addedValue);
            require(newAllowance >= currentAllowance, "RADA: overflow of the allowance");

            _approve(msg.sender, spender, newAllowance);
        }

        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        uint256 currentAllowance = allowance(msg.sender, spender);
        require(currentAllowance >= subtractedValue, "RADA: decreased allowance below zero");

        unchecked {
            _approve(msg.sender, spender, currentAllowance.sub(subtractedValue));
        }

        return true;
    }

    function lock(address account, uint256 amount) public onlyWhitelisted returns (bool) {
        require(balanceOf(account) >= amount, "RADA: Insufficient balance to lock");

        unchecked {
            _lockedAmount[account] = _lockedAmount[account].add(amount);
            require(_lockedAmount[account] >= amount, "RADA: overflow of locked amount");

            emit Lock(msg.sender, account, amount);
        }

        return true;
    }

    function unlock(address account, uint256 amount) public onlyWhitelisted returns (bool) {
        require(_lockedAmount[account] >= amount, "RADA: underflow of locked amount");

        unchecked {
            _lockedAmount[account] = _lockedAmount[account].sub(amount);

            emit Unlock(msg.sender, account, amount);
        }

        return true;
    }

    function transferWithLock(address to, uint256 amount) public onlyWhitelisted returns (bool) {
        _transfer(msg.sender, to, amount);
        lock(to, amount);

        return true;
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "RADA: burn from the zero address");

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "RADA: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance.sub(amount);
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply = _totalSupply.sub(amount);
        }

        emit Transfer(account, address(0), amount);
    }

    function burn(uint256 amount) public returns (bool) {
        _burn(address(msg.sender), amount);
        
        return true;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.9;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    // OPTIONAL public state variable getter is automatically generated.
    // function name() public view returns (string);
    // function symbol() public view returns (uint8);
    // function decimals() public view returns (uint256);

    /**
     * @return The amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @param account ? caller msg.sender ?
     * @return The amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev This is zero by default.
     * This value changes when {approve} or {transferFrom} are called.
     *
     * @return The remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Emits a {Transfer} event.
     *
     * @return A boolean value indicating whether the operation succeeded.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Emits an {Approval} event.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * @return A boolean value indicating whether the operation succeeded.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Emits a {Transfer} event.
     *
     * @return A boolean value indicating whether the operation succeeded.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}.
     * `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (access/Ownable.sol)

pragma solidity ^0.8.9;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(msg.sender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == msg.sender, "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

import "./Ownable.sol";

contract Whitelist is Ownable {
    mapping(address => bool) private whitelist;
    mapping(address => uint) private addressIdx;
    address[] private whiteArr;

    event WhitelistedAddressAdded(address addr);
    event WhitelistedAddressRemoved(address addr);

    constructor() {
        addAddressToWhitelist(msg.sender);
    }

    modifier onlyWhitelisted() {
        require(whitelist[msg.sender]);
        _;
    }

    function isWhitelist(address addr) public view returns (bool success) {
        return whitelist[addr];
    }

    function addAddressToWhitelist(address addr) onlyOwner public returns (bool success) {
        if (!whitelist[addr]) {
            whitelist[addr] = true;
            addressIdx[addr] = whiteArr.length;
            whiteArr.push(addr);

            emit WhitelistedAddressAdded(addr);
            success = true;
        }
    }

    function removeAddressFromWhitelist(address addr) onlyOwner public returns (bool success) {
        if (whitelist[addr]) {
            whitelist[addr] = false;
            uint deleteIdx = addressIdx[addr];
            address lastAddr = whiteArr[whiteArr.length - 1];
            addressIdx[lastAddr] = deleteIdx;
            delete addressIdx[addr];
            whiteArr[deleteIdx] = lastAddr;
            whiteArr.pop();

            emit WhitelistedAddressRemoved(addr);
            success = true;
        }
    }

    function getCountWhiteArr() public onlyOwner view returns (uint count) {
        count = whiteArr.length;
    }

    function getWhiteArrByIdx(uint idx) public onlyOwner view returns (address whiteAddress) {
        whiteAddress = whiteArr[idx];
    }

    function getWhiteArr() public onlyOwner view returns (address[] memory whiteArray) {
        whiteArray = whiteArr;
    }
}

• 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":"owner","type":"address"},{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Lock","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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"addr","type":"address"}],"name":"WhitelistedAddressAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"addr","type":"address"}],"name":"WhitelistedAddressRemoved","type":"event"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"addAddressToWhitelist","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getCountWhiteArr","outputs":[{"internalType":"uint256","name":"count","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getWhiteArr","outputs":[{"internalType":"address[]","name":"whiteArray","type":"address[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"idx","type":"uint256"}],"name":"getWhiteArrByIdx","outputs":[{"internalType":"address","name":"whiteAddress","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"isWhitelist","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"lock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"lockedAmountOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[{"internalType":"address","name":"addr","type":"address"}],"name":"removeAddressFromWhitelist","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferWithLock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"unlock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60c060405260046080818152635241444160e01b60a052620000229082620002e4565b506040805180820190915260048152635241444160e01b60208201526005906200004d9082620002e4565b506402540be400600655620000656012600a620004c5565b600654620000749190620004da565b6007553480156200008457600080fd5b506200009033620000b5565b6200009b3362000105565b5060075433600090815260086020526040902055620004f4565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6000336200011b6000546001600160a01b031690565b6001600160a01b031614620001765760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640160405180910390fd5b6001600160a01b03821660009081526001602052604090205460ff166200023a576001600160a01b0382166000818152600160208181526040808420805460ff191684179055600380546002845282862081905593840181559093527fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b90910180546001600160a01b0319168417905590519182527fd1bba68c128cc3f427e5831b3c6f99f480b6efa6b9e80c757768f6124158cc3f910160405180910390a15060015b919050565b634e487b7160e01b600052604160045260246000fd5b600181811c908216806200026a57607f821691505b6020821081036200028b57634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620002df57600081815260208120601f850160051c81016020861015620002ba5750805b601f850160051c820191505b81811015620002db57828155600101620002c6565b5050505b505050565b81516001600160401b038111156200030057620003006200023f565b620003188162000311845462000255565b8462000291565b602080601f831160018114620003505760008415620003375750858301515b600019600386901b1c1916600185901b178555620002db565b600085815260208120601f198616915b82811015620003815788860151825594840194600190910190840162000360565b5085821015620003a05787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000407578160001904821115620003eb57620003eb620003b0565b80851615620003f957918102915b93841c9390800290620003cb565b509250929050565b6000826200042057506001620004bf565b816200042f57506000620004bf565b8160018114620004485760028114620004535762000473565b6001915050620004bf565b60ff841115620004675762000467620003b0565b50506001821b620004bf565b5060208310610133831016604e8410600b841016171562000498575081810a620004bf565b620004a48383620003c6565b8060001904821115620004bb57620004bb620003b0565b0290505b92915050565b6000620004d383836200040f565b9392505050565b8082028115828204841417620004bf57620004bf620003b0565b6115df80620005046000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c80637b9417c8116100de578063a9059cbb11610097578063c683630d11610071578063c683630d14610354578063cb0ddd4e14610380578063dd62ed3e14610388578063f2fde38b1461039b57600080fd5b8063a9059cbb1461031b578063b0affc751461032e578063bfdc33a81461034157600080fd5b80637b9417c81461028c5780637eee288d1461029f5780638b9d6899146102b25780638da5cb5b146102db57806395d89b4114610300578063a457c2d71461030857600080fd5b8063286dd3f511610130578063286dd3f514610206578063313ce56714610219578063395093511461023357806342966c681461024657806370a0823114610259578063715018a61461028257600080fd5b806306fdde0314610178578063095ea7b31461019657806318160ddd146101b95780631d9fb448146101cb57806323b872dd146101e0578063282d3fdf146101f3575b600080fd5b6101806103ae565b60405161018d919061133d565b60405180910390f35b6101a96101a43660046113a2565b61043c565b604051901515815260200161018d565b6007545b60405190815260200161018d565b6101d3610453565b60405161018d91906113cc565b6101a96101ee366004611419565b6104f7565b6101a96102013660046113a2565b610519565b6101a9610214366004611455565b610689565b610221601281565b60405160ff909116815260200161018d565b6101a96102413660046113a2565b61082c565b6101a9610254366004611470565b6108af565b6101bd610267366004611455565b6001600160a01b031660009081526008602052604090205490565b61028a6108c3565b005b6101a961029a366004611455565b610908565b6101a96102ad3660046113a2565b610a0a565b6101bd6102c0366004611455565b6001600160a01b03166000908152600a602052604090205490565b6000546001600160a01b03165b6040516001600160a01b03909116815260200161018d565b610180610b06565b6101a96103163660046113a2565b610b13565b6101a96103293660046113a2565b610b92565b6102e861033c366004611470565b610b9f565b6101a961034f3660046113a2565b610c08565b6101a9610362366004611455565b6001600160a01b031660009081526001602052604090205460ff1690565b6101bd610c39565b6101bd610396366004611489565b610c7b565b61028a6103a9366004611455565b610ca6565b600480546103bb906114bc565b80601f01602080910402602001604051908101604052809291908181526020018280546103e7906114bc565b80156104345780601f1061040957610100808354040283529160200191610434565b820191906000526020600020905b81548152906001019060200180831161041757829003601f168201915b505050505081565b6000610449338484610d50565b5060015b92915050565b6060336104686000546001600160a01b031690565b6001600160a01b0316146104975760405162461bcd60e51b815260040161048e906114f6565b60405180910390fd5b60038054806020026020016040519081016040528092919081815260200182805480156104ed57602002820191906000526020600020905b81546001600160a01b031681526001909101906020018083116104cf575b5050505050905090565b6000610504843384610e79565b61050f848484610ef5565b5060019392505050565b3360009081526001602052604081205460ff1661053557600080fd5b81610555846001600160a01b031660009081526008602052604090205490565b10156105ae5760405162461bcd60e51b815260206004820152602260248201527f524144413a20496e73756666696369656e742062616c616e636520746f206c6f604482015261636b60f01b606482015260840161048e565b6001600160a01b0383166000908152600a60205260409020546105d19083611171565b6001600160a01b0384166000908152600a6020526040902081905582111561063b5760405162461bcd60e51b815260206004820152601f60248201527f524144413a206f766572666c6f77206f66206c6f636b656420616d6f756e7400604482015260640161048e565b604080516001600160a01b03851681526020810184905233917fec36c0364d931187a76cf66d7eee08fad0ec2e8b7458a8d8b26b36769d4d13f391015b60405180910390a250600192915050565b60003361069e6000546001600160a01b031690565b6001600160a01b0316146106c45760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b03821660009081526001602052604090205460ff1615610827576001600160a01b0382166000908152600160208181526040808420805460ff1916905560029091528220546003805491939290916107239190611541565b8154811061073357610733611554565b60009182526020808320909101546001600160a01b039081168084526002909252604080842086905590871683528220919091556003805491925082918490811061078057610780611554565b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060038054806107bf576107bf61156a565b6000828152602090819020600019908301810180546001600160a01b03191690559091019091556040516001600160a01b03861681527ff1abf01a1043b7c244d128e8595cf0c1d10743b022b03a02dffd8ca3bf729f5a910160405180910390a16001925050505b919050565b6000806108393385610c7b565b905060006108478285611171565b9050818110156108995760405162461bcd60e51b815260206004820152601f60248201527f524144413a206f766572666c6f77206f662074686520616c6c6f77616e636500604482015260640161048e565b6108a4338683610d50565b506001949350505050565b60006108bb3383611197565b506001919050565b336108d66000546001600160a01b031690565b6001600160a01b0316146108fc5760405162461bcd60e51b815260040161048e906114f6565b61090660006112d1565b565b60003361091d6000546001600160a01b031690565b6001600160a01b0316146109435760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b03821660009081526001602052604090205460ff16610827576001600160a01b0382166000818152600160208181526040808420805460ff191684179055600380546002845282862081905593840181559093527fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b90910180546001600160a01b0319168417905590519182527fd1bba68c128cc3f427e5831b3c6f99f480b6efa6b9e80c757768f6124158cc3f910160405180910390a1506001919050565b3360009081526001602052604081205460ff16610a2657600080fd5b6001600160a01b0383166000908152600a6020526040902054821115610a8e5760405162461bcd60e51b815260206004820181905260248201527f524144413a20756e646572666c6f77206f66206c6f636b656420616d6f756e74604482015260640161048e565b6001600160a01b0383166000908152600a6020526040902054610ab19083611321565b6001600160a01b0384166000818152600a602090815260409182902093909355805191825291810184905233917fc1c90b8e0705b212262c0dbd7580efe1862c2f185bf96899226f7596beb2db099101610678565b600580546103bb906114bc565b600080610b203385610c7b565b905082811015610b7e5760405162461bcd60e51b8152602060048201526024808201527f524144413a2064656372656173656420616c6c6f77616e63652062656c6f77206044820152637a65726f60e01b606482015260840161048e565b61050f3385610b8d8487611321565b610d50565b6000610449338484610ef5565b600033610bb46000546001600160a01b031690565b6001600160a01b031614610bda5760405162461bcd60e51b815260040161048e906114f6565b60038281548110610bed57610bed611554565b6000918252602090912001546001600160a01b031692915050565b3360009081526001602052604081205460ff16610c2457600080fd5b610c2f338484610ef5565b61050f8383610519565b600033610c4e6000546001600160a01b031690565b6001600160a01b031614610c745760405162461bcd60e51b815260040161048e906114f6565b5060035490565b6001600160a01b03918216600090815260096020908152604080832093909416825291909152205490565b33610cb96000546001600160a01b031690565b6001600160a01b031614610cdf5760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b038116610d445760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161048e565b610d4d816112d1565b50565b6001600160a01b038316610db25760405162461bcd60e51b8152602060048201526024808201527f524144413a20617070726f7665206f776e657220746865207a65726f206164646044820152637265737360e01b606482015260840161048e565b6001600160a01b038216610e175760405162461bcd60e51b815260206004820152602660248201527f524144413a20617070726f7665207370656e64657220746865207a65726f206160448201526564647265737360d01b606482015260840161048e565b6001600160a01b0383811660008181526009602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6000610e858484610c7b565b905081811015610ed75760405162461bcd60e51b815260206004820152601c60248201527f524144413a20696e73756666696369656e7420616c6c6f77616e636500000000604482015260640161048e565b6000198114610eef57610eef8484610b8d8486611321565b50505050565b6001600160a01b038316610f575760405162461bcd60e51b8152602060048201526024808201527f524144413a207472616e736665722066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161048e565b6001600160a01b038216610fb85760405162461bcd60e51b815260206004820152602260248201527f524144413a207472616e7366657220746f20746865207a65726f206164647265604482015261737360f01b606482015260840161048e565b6001600160a01b038316600090815260086020908152604080832054600a909252822054909181831015610feb57600080fd5b610ff58383611321565b9050838110156110555760405162461bcd60e51b815260206004820152602560248201527f524144413a207472616e7366657220616d6f756e7420657863656564732062616044820152646c616e636560d81b606482015260840161048e565b6001600160a01b0386166000908152600860205260409020546110789085611321565b6001600160a01b0380881660009081526008602052604080822093909355908716815220546110a79085611171565b6001600160a01b038616600090815260086020526040902081905584111561111c5760405162461bcd60e51b815260206004820152602260248201527f524144413a206f766572666c6f77206f662074686520746f27732062616c616e604482015261636560f01b606482015260840161048e565b846001600160a01b0316866001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8660405161116191815260200190565b60405180910390a3505050505050565b60008061117e8385611580565b90508381101561119057611190611593565b9392505050565b6001600160a01b0382166111ed5760405162461bcd60e51b815260206004820181905260248201527f524144413a206275726e2066726f6d20746865207a65726f2061646472657373604482015260640161048e565b6001600160a01b038216600090815260086020526040902054818110156112605760405162461bcd60e51b815260206004820152602160248201527f524144413a206275726e20616d6f756e7420657863656564732062616c616e636044820152606560f81b606482015260840161048e565b61126a8183611321565b6001600160a01b0384166000908152600860205260409020556007546112909083611321565b6007556040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610e6c565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60008282111561133357611333611593565b6111908284611541565b600060208083528351808285015260005b8181101561136a5785810183015185820160400152820161134e565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461082757600080fd5b600080604083850312156113b557600080fd5b6113be8361138b565b946020939093013593505050565b6020808252825182820181905260009190848201906040850190845b8181101561140d5783516001600160a01b0316835292840192918401916001016113e8565b50909695505050505050565b60008060006060848603121561142e57600080fd5b6114378461138b565b92506114456020850161138b565b9150604084013590509250925092565b60006020828403121561146757600080fd5b6111908261138b565b60006020828403121561148257600080fd5b5035919050565b6000806040838503121561149c57600080fd5b6114a58361138b565b91506114b36020840161138b565b90509250929050565b600181811c908216806114d057607f821691505b6020821081036114f057634e487b7160e01b600052602260045260246000fd5b50919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561044d5761044d61152b565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b8082018082111561044d5761044d61152b565b634e487b7160e01b600052600160045260246000fdfea2646970667358221220fc524553a8356b1088d907d3b523dcccc4a15bad79fa643a88a9bf2637431c5964736f6c63430008130033

0x608060405234801561001057600080fd5b50600436106101735760003560e01c80637b9417c8116100de578063a9059cbb11610097578063c683630d11610071578063c683630d14610354578063cb0ddd4e14610380578063dd62ed3e14610388578063f2fde38b1461039b57600080fd5b8063a9059cbb1461031b578063b0affc751461032e578063bfdc33a81461034157600080fd5b80637b9417c81461028c5780637eee288d1461029f5780638b9d6899146102b25780638da5cb5b146102db57806395d89b4114610300578063a457c2d71461030857600080fd5b8063286dd3f511610130578063286dd3f514610206578063313ce56714610219578063395093511461023357806342966c681461024657806370a0823114610259578063715018a61461028257600080fd5b806306fdde0314610178578063095ea7b31461019657806318160ddd146101b95780631d9fb448146101cb57806323b872dd146101e0578063282d3fdf146101f3575b600080fd5b6101806103ae565b60405161018d919061133d565b60405180910390f35b6101a96101a43660046113a2565b61043c565b604051901515815260200161018d565b6007545b60405190815260200161018d565b6101d3610453565b60405161018d91906113cc565b6101a96101ee366004611419565b6104f7565b6101a96102013660046113a2565b610519565b6101a9610214366004611455565b610689565b610221601281565b60405160ff909116815260200161018d565b6101a96102413660046113a2565b61082c565b6101a9610254366004611470565b6108af565b6101bd610267366004611455565b6001600160a01b031660009081526008602052604090205490565b61028a6108c3565b005b6101a961029a366004611455565b610908565b6101a96102ad3660046113a2565b610a0a565b6101bd6102c0366004611455565b6001600160a01b03166000908152600a602052604090205490565b6000546001600160a01b03165b6040516001600160a01b03909116815260200161018d565b610180610b06565b6101a96103163660046113a2565b610b13565b6101a96103293660046113a2565b610b92565b6102e861033c366004611470565b610b9f565b6101a961034f3660046113a2565b610c08565b6101a9610362366004611455565b6001600160a01b031660009081526001602052604090205460ff1690565b6101bd610c39565b6101bd610396366004611489565b610c7b565b61028a6103a9366004611455565b610ca6565b600480546103bb906114bc565b80601f01602080910402602001604051908101604052809291908181526020018280546103e7906114bc565b80156104345780601f1061040957610100808354040283529160200191610434565b820191906000526020600020905b81548152906001019060200180831161041757829003601f168201915b505050505081565b6000610449338484610d50565b5060015b92915050565b6060336104686000546001600160a01b031690565b6001600160a01b0316146104975760405162461bcd60e51b815260040161048e906114f6565b60405180910390fd5b60038054806020026020016040519081016040528092919081815260200182805480156104ed57602002820191906000526020600020905b81546001600160a01b031681526001909101906020018083116104cf575b5050505050905090565b6000610504843384610e79565b61050f848484610ef5565b5060019392505050565b3360009081526001602052604081205460ff1661053557600080fd5b81610555846001600160a01b031660009081526008602052604090205490565b10156105ae5760405162461bcd60e51b815260206004820152602260248201527f524144413a20496e73756666696369656e742062616c616e636520746f206c6f604482015261636b60f01b606482015260840161048e565b6001600160a01b0383166000908152600a60205260409020546105d19083611171565b6001600160a01b0384166000908152600a6020526040902081905582111561063b5760405162461bcd60e51b815260206004820152601f60248201527f524144413a206f766572666c6f77206f66206c6f636b656420616d6f756e7400604482015260640161048e565b604080516001600160a01b03851681526020810184905233917fec36c0364d931187a76cf66d7eee08fad0ec2e8b7458a8d8b26b36769d4d13f391015b60405180910390a250600192915050565b60003361069e6000546001600160a01b031690565b6001600160a01b0316146106c45760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b03821660009081526001602052604090205460ff1615610827576001600160a01b0382166000908152600160208181526040808420805460ff1916905560029091528220546003805491939290916107239190611541565b8154811061073357610733611554565b60009182526020808320909101546001600160a01b039081168084526002909252604080842086905590871683528220919091556003805491925082918490811061078057610780611554565b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060038054806107bf576107bf61156a565b6000828152602090819020600019908301810180546001600160a01b03191690559091019091556040516001600160a01b03861681527ff1abf01a1043b7c244d128e8595cf0c1d10743b022b03a02dffd8ca3bf729f5a910160405180910390a16001925050505b919050565b6000806108393385610c7b565b905060006108478285611171565b9050818110156108995760405162461bcd60e51b815260206004820152601f60248201527f524144413a206f766572666c6f77206f662074686520616c6c6f77616e636500604482015260640161048e565b6108a4338683610d50565b506001949350505050565b60006108bb3383611197565b506001919050565b336108d66000546001600160a01b031690565b6001600160a01b0316146108fc5760405162461bcd60e51b815260040161048e906114f6565b61090660006112d1565b565b60003361091d6000546001600160a01b031690565b6001600160a01b0316146109435760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b03821660009081526001602052604090205460ff16610827576001600160a01b0382166000818152600160208181526040808420805460ff191684179055600380546002845282862081905593840181559093527fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b90910180546001600160a01b0319168417905590519182527fd1bba68c128cc3f427e5831b3c6f99f480b6efa6b9e80c757768f6124158cc3f910160405180910390a1506001919050565b3360009081526001602052604081205460ff16610a2657600080fd5b6001600160a01b0383166000908152600a6020526040902054821115610a8e5760405162461bcd60e51b815260206004820181905260248201527f524144413a20756e646572666c6f77206f66206c6f636b656420616d6f756e74604482015260640161048e565b6001600160a01b0383166000908152600a6020526040902054610ab19083611321565b6001600160a01b0384166000818152600a602090815260409182902093909355805191825291810184905233917fc1c90b8e0705b212262c0dbd7580efe1862c2f185bf96899226f7596beb2db099101610678565b600580546103bb906114bc565b600080610b203385610c7b565b905082811015610b7e5760405162461bcd60e51b8152602060048201526024808201527f524144413a2064656372656173656420616c6c6f77616e63652062656c6f77206044820152637a65726f60e01b606482015260840161048e565b61050f3385610b8d8487611321565b610d50565b6000610449338484610ef5565b600033610bb46000546001600160a01b031690565b6001600160a01b031614610bda5760405162461bcd60e51b815260040161048e906114f6565b60038281548110610bed57610bed611554565b6000918252602090912001546001600160a01b031692915050565b3360009081526001602052604081205460ff16610c2457600080fd5b610c2f338484610ef5565b61050f8383610519565b600033610c4e6000546001600160a01b031690565b6001600160a01b031614610c745760405162461bcd60e51b815260040161048e906114f6565b5060035490565b6001600160a01b03918216600090815260096020908152604080832093909416825291909152205490565b33610cb96000546001600160a01b031690565b6001600160a01b031614610cdf5760405162461bcd60e51b815260040161048e906114f6565b6001600160a01b038116610d445760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161048e565b610d4d816112d1565b50565b6001600160a01b038316610db25760405162461bcd60e51b8152602060048201526024808201527f524144413a20617070726f7665206f776e657220746865207a65726f206164646044820152637265737360e01b606482015260840161048e565b6001600160a01b038216610e175760405162461bcd60e51b815260206004820152602660248201527f524144413a20617070726f7665207370656e64657220746865207a65726f206160448201526564647265737360d01b606482015260840161048e565b6001600160a01b0383811660008181526009602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6000610e858484610c7b565b905081811015610ed75760405162461bcd60e51b815260206004820152601c60248201527f524144413a20696e73756666696369656e7420616c6c6f77616e636500000000604482015260640161048e565b6000198114610eef57610eef8484610b8d8486611321565b50505050565b6001600160a01b038316610f575760405162461bcd60e51b8152602060048201526024808201527f524144413a207472616e736665722066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161048e565b6001600160a01b038216610fb85760405162461bcd60e51b815260206004820152602260248201527f524144413a207472616e7366657220746f20746865207a65726f206164647265604482015261737360f01b606482015260840161048e565b6001600160a01b038316600090815260086020908152604080832054600a909252822054909181831015610feb57600080fd5b610ff58383611321565b9050838110156110555760405162461bcd60e51b815260206004820152602560248201527f524144413a207472616e7366657220616d6f756e7420657863656564732062616044820152646c616e636560d81b606482015260840161048e565b6001600160a01b0386166000908152600860205260409020546110789085611321565b6001600160a01b0380881660009081526008602052604080822093909355908716815220546110a79085611171565b6001600160a01b038616600090815260086020526040902081905584111561111c5760405162461bcd60e51b815260206004820152602260248201527f524144413a206f766572666c6f77206f662074686520746f27732062616c616e604482015261636560f01b606482015260840161048e565b846001600160a01b0316866001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8660405161116191815260200190565b60405180910390a3505050505050565b60008061117e8385611580565b90508381101561119057611190611593565b9392505050565b6001600160a01b0382166111ed5760405162461bcd60e51b815260206004820181905260248201527f524144413a206275726e2066726f6d20746865207a65726f2061646472657373604482015260640161048e565b6001600160a01b038216600090815260086020526040902054818110156112605760405162461bcd60e51b815260206004820152602160248201527f524144413a206275726e20616d6f756e7420657863656564732062616c616e636044820152606560f81b606482015260840161048e565b61126a8183611321565b6001600160a01b0384166000908152600860205260409020556007546112909083611321565b6007556040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610e6c565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60008282111561133357611333611593565b6111908284611541565b600060208083528351808285015260005b8181101561136a5785810183015185820160400152820161134e565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461082757600080fd5b600080604083850312156113b557600080fd5b6113be8361138b565b946020939093013593505050565b6020808252825182820181905260009190848201906040850190845b8181101561140d5783516001600160a01b0316835292840192918401916001016113e8565b50909695505050505050565b60008060006060848603121561142e57600080fd5b6114378461138b565b92506114456020850161138b565b9150604084013590509250925092565b60006020828403121561146757600080fd5b6111908261138b565b60006020828403121561148257600080fd5b5035919050565b6000806040838503121561149c57600080fd5b6114a58361138b565b91506114b36020840161138b565b90509250929050565b600181811c908216806114d057607f821691505b6020821081036114f057634e487b7160e01b600052602260045260246000fd5b50919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561044d5761044d61152b565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b8082018082111561044d5761044d61152b565b634e487b7160e01b600052600160045260246000fdfea2646970667358221220fc524553a8356b1088d907d3b523dcccc4a15bad79fa643a88a9bf2637431c5964736f6c63430008130033

1033:6790:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1125:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2704:159;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:4;;1162:22;1144:41;;1132:2;1117:18;2704:159:3;1004:187:4;1773:100:3;1853:12;;1773:100;;;1342:25:4;;;1330:2;1315:18;1773:100:3;1196:177:4;1802:123:2;;;:::i;:::-;;;;;;;:::i;2888:215:3:-;;;;;;:::i;:::-;;:::i;5732:457::-;;;;;;:::i;:::-;;:::i;998:531:2:-;;;;;;:::i;:::-;;:::i;1195:35:3:-;;1228:2;1195:35;;;;;2737:4:4;2725:17;;;2707:36;;2695:2;2680:18;1195:35:3;2565:184:4;4874:439:3;;;;;;:::i;:::-;;:::i;7683:137::-;;;;;;:::i;:::-;;:::i;1881:119::-;;;;;;:::i;:::-;-1:-1:-1;;;;;1974:18:3;1947:7;1974:18;;;:9;:18;;;;;;;1881:119;1672:103:1;;;:::i;:::-;;653:337:2;;;;;;:::i;:::-;;:::i;6197:372:3:-;;;;;;:::i;:::-;;:::i;2235:119::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2324:22:3;2297:7;2324:22;;;:13;:22;;;;;;;2235:119;1023:87:1;1069:7;1096:6;-1:-1:-1;;;;;1096:6:1;1023:87;;;-1:-1:-1;;;;;3103:32:4;;;3085:51;;3073:2;3058:18;1023:87:1;2939:203:4;1159:29:3;;;:::i;5321:403::-;;;;;;:::i;:::-;;:::i;2362:151::-;;;;;;:::i;:::-;;:::i;1658:136:2:-;;;;;;:::i;:::-;;:::i;6577:195:3:-;;;;;;:::i;:::-;;:::i;534:111:2:-;;;;;;:::i;:::-;-1:-1:-1;;;;;622:15:2;590:12;622:15;;;:9;:15;;;;;;;;;534:111;1537:113;;;:::i;2008:143:3:-;;;;;;:::i;:::-;;:::i;1930:201:1:-;;;;;;:::i;:::-;;:::i;1125:27:3:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2704:159::-;2779:4;2796:37;2805:10;2817:7;2826:6;2796:8;:37::i;:::-;-1:-1:-1;2851:4:3;2704:159;;;;;:::o;1802:123:2:-;1856:27;1254:10:1;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;;;;;;;;;1909:8:2::1;1896:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;-1:-1:-1;;;;;1896:21:2::1;::::0;;;;;::::1;::::0;::::1;;::::0;;::::1;;;;;;;;;;;1802:123:::0;:::o;2888:215:3:-;2977:4;2994:41;3010:4;3016:10;3028:6;2994:15;:41::i;:::-;3046:27;3056:4;3062:2;3066:6;3046:9;:27::i;:::-;-1:-1:-1;3091:4:3;2888:215;;;;;:::o;5732:457::-;494:10:2;5811:4:3;484:21:2;;;:9;:21;;;;;;;;476:30;;;;;;5858:6:3::1;5836:18;5846:7;-1:-1:-1::0;;;;;1974:18:3;1947:7;1974:18;;;:9;:18;;;;;;;1881:119;5836:18:::1;:28;;5828:75;;;::::0;-1:-1:-1;;;5828:75:3;;4360:2:4;5828:75:3::1;::::0;::::1;4342:21:4::0;4399:2;4379:18;;;4372:30;4438:34;4418:18;;;4411:62;-1:-1:-1;;;4489:18:4;;;4482:32;4531:19;;5828:75:3::1;4158:398:4::0;5828:75:3::1;-1:-1:-1::0;;;;;5966:22:3;::::1;;::::0;;;:13:::1;:22;::::0;;;;;:34:::1;::::0;5993:6;5966:26:::1;:34::i;:::-;-1:-1:-1::0;;;;;5941:22:3;::::1;;::::0;;;:13:::1;:22;::::0;;;;:59;;;6023:32;-1:-1:-1;6023:32:3::1;6015:76;;;::::0;-1:-1:-1;;;6015:76:3;;4763:2:4;6015:76:3::1;::::0;::::1;4745:21:4::0;4802:2;4782:18;;;4775:30;4841:33;4821:18;;;4814:61;4892:18;;6015:76:3::1;4561:355:4::0;6015:76:3::1;6113:33;::::0;;-1:-1:-1;;;;;5113:32:4;;5095:51;;5177:2;5162:18;;5155:34;;;6118:10:3::1;::::0;6113:33:::1;::::0;5068:18:4;6113:33:3::1;;;;;;;;-1:-1:-1::0;6177:4:3::1;5732:457:::0;;;;:::o;998:531:2:-;1074:12;1254:10:1;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;-1:-1:-1;;;;;1103:15:2;::::1;;::::0;;;:9:::1;:15;::::0;;;;;::::1;;1099:423;;;-1:-1:-1::0;;;;;1135:15:2;::::1;1153:5;1135:15:::0;;;:9:::1;:15;::::0;;;;;;;:23;;-1:-1:-1;;1135:23:2::1;::::0;;1190:10:::1;:16:::0;;;;;;1240:8:::1;1249:15:::0;;1190:16;;1153:5;1240:8;;1249:19:::1;::::0;1135:9;1249:19:::1;:::i;:::-;1240:29;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;;;::::1;::::0;-1:-1:-1;;;;;1240:29:2;;::::1;1284:20:::0;;;:10:::1;:20:::0;;;;;;;:32;;;1338:16;;::::1;::::0;;;;1331:23;;;;1369:8:::1;:19:::0;;1240:29;;-1:-1:-1;1240:29:2;;1307:9;;1369:19;::::1;;;;;:::i;:::-;;;;;;;;;:30;;;;;-1:-1:-1::0;;;;;1369:30:2::1;;;;;-1:-1:-1::0;;;;;1369:30:2::1;;;;;;1414:8;:14;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;;-1:-1:-1;;1414:14:2;;;;;;;-1:-1:-1;;;;;;1414:14:2::1;::::0;;;;;;;;1450:31:::1;::::0;-1:-1:-1;;;;;3103:32:4;;3085:51;;1450:31:2::1;::::0;3058:18:4;1450:31:2::1;;;;;;;1506:4;1496:14;;1120:402;;1099:423;998:531:::0;;;:::o;4874:439:3:-;4954:4;4971:24;4998:30;5008:10;5020:7;4998:9;:30::i;:::-;4971:57;-1:-1:-1;5064:20:3;5087:32;4971:57;5108:10;5087:20;:32::i;:::-;5064:55;;5158:16;5142:12;:32;;5134:76;;;;-1:-1:-1;;;5134:76:3;;5931:2:4;5134:76:3;;;5913:21:4;5970:2;5950:18;;;5943:30;6009:33;5989:18;;;5982:61;6060:18;;5134:76:3;5729:355:4;5134:76:3;5227:43;5236:10;5248:7;5257:12;5227:8;:43::i;:::-;-1:-1:-1;5301:4:3;;4874:439;-1:-1:-1;;;;4874:439:3:o;7683:137::-;7729:4;7746:34;7760:10;7773:6;7746:5;:34::i;:::-;-1:-1:-1;7808:4:3;;7683:137;-1:-1:-1;7683:137:3:o;1672:103:1:-;1254:10;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;1737:30:::1;1764:1;1737:18;:30::i;:::-;1672:103::o:0;653:337:2:-;724:12;1254:10:1;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;-1:-1:-1;;;;;754:15:2;::::1;;::::0;;;:9:::1;:15;::::0;;;;;::::1;;749:234;;-1:-1:-1::0;;;;;786:15:2;::::1;;::::0;;;804:4:::1;786:15;::::0;;;;;;;:22;;-1:-1:-1;;786:22:2::1;::::0;::::1;::::0;;842:8:::1;:15:::0;;823:10:::1;:16:::0;;;;;:34;;;872:19;;::::1;::::0;;;;;;;;::::1;::::0;;-1:-1:-1;;;;;;872:19:2::1;::::0;::::1;::::0;;913:29;;3085:51:4;;;913:29:2::1;::::0;3058:18:4;913:29:2::1;;;;;;;-1:-1:-1::0;967:4:2::1;653:337:::0;;;:::o;6197:372:3:-;494:10:2;6278:4:3;484:21:2;;;:9;:21;;;;;;;;476:30;;;;;;-1:-1:-1;;;;;6303:22:3;::::1;;::::0;;;:13:::1;:22;::::0;;;;;:32;-1:-1:-1;6303:32:3::1;6295:77;;;::::0;-1:-1:-1;;;6295:77:3;;6291:2:4;6295:77:3::1;::::0;::::1;6273:21:4::0;;;6310:18;;;6303:30;6369:34;6349:18;;;6342:62;6421:18;;6295:77:3::1;6089:356:4::0;6295:77:3::1;-1:-1:-1::0;;;;;6435:22:3;::::1;;::::0;;;:13:::1;:22;::::0;;;;;:34:::1;::::0;6462:6;6435:26:::1;:34::i;:::-;-1:-1:-1::0;;;;;6410:22:3;::::1;;::::0;;;:13:::1;:22;::::0;;;;;;;;:59;;;;6491:35;;5095:51:4;;;5162:18;;;5155:34;;;6498:10:3::1;::::0;6491:35:::1;::::0;5068:18:4;6491:35:3::1;4921:274:4::0;1159:29:3;;;;;;;:::i;5321:403::-;5406:4;5423:24;5450:30;5460:10;5472:7;5450:9;:30::i;:::-;5423:57;;5519:15;5499:16;:35;;5491:84;;;;-1:-1:-1;;;5491:84:3;;6652:2:4;5491:84:3;;;6634:21:4;6691:2;6671:18;;;6664:30;6730:34;6710:18;;;6703:62;-1:-1:-1;;;6781:18:4;;;6774:34;6825:19;;5491:84:3;6450:400:4;5491:84:3;5613:68;5622:10;5634:7;5643:37;:16;5664:15;5643:20;:37::i;:::-;5613:8;:68::i;2362:151::-;2433:4;2450:33;2460:10;2472:2;2476:6;2450:9;:33::i;1658:136:2:-;1725:20;1254:10:1;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;1773:8:2::1;1782:3;1773:13;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;-1:-1:-1;;;;;1773:13:2::1;::::0;1658:136;-1:-1:-1;;1658:136:2:o;6577:195:3:-;494:10:2;6663:4:3;484:21:2;;;:9;:21;;;;;;;;476:30;;;;;;6680:33:3::1;6690:10;6702:2;6706:6;6680:9;:33::i;:::-;6724:16;6729:2;6733:6;6724:4;:16::i;1537:113:2:-:0;1596:10;1254::1;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;-1:-1:-1;1627:8:2::1;:15:::0;;1537:113::o;2008:143:3:-;-1:-1:-1;;;;;2116:18:3;;;2089:7;2116:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2008:143::o;1930:201:1:-;1254:10;1243:7;1069;1096:6;-1:-1:-1;;;;;1096:6:1;;1023:87;1243:7;-1:-1:-1;;;;;1243:21:1;;1235:66;;;;-1:-1:-1;;;1235:66:1;;;;;;;:::i;:::-;-1:-1:-1;;;;;2019:22:1;::::1;2011:73;;;::::0;-1:-1:-1;;;2011:73:1;;7057:2:4;2011:73:1::1;::::0;::::1;7039:21:4::0;7096:2;7076:18;;;7069:30;7135:34;7115:18;;;7108:62;-1:-1:-1;;;7186:18:4;;;7179:36;7232:19;;2011:73:1::1;6855:402:4::0;2011:73:1::1;2095:28;2114:8;2095:18;:28::i;:::-;1930:201:::0;:::o;3982:344:3:-;-1:-1:-1;;;;;4076:19:3;;4068:68;;;;-1:-1:-1;;;4068:68:3;;7464:2:4;4068:68:3;;;7446:21:4;7503:2;7483:18;;;7476:30;7542:34;7522:18;;;7515:62;-1:-1:-1;;;7593:18:4;;;7586:34;7637:19;;4068:68:3;7262:400:4;4068:68:3;-1:-1:-1;;;;;4155:21:3;;4147:72;;;;-1:-1:-1;;;4147:72:3;;7869:2:4;4147:72:3;;;7851:21:4;7908:2;7888:18;;;7881:30;7947:34;7927:18;;;7920:62;-1:-1:-1;;;7998:18:4;;;7991:36;8044:19;;4147:72:3;7667:402:4;4147:72:3;-1:-1:-1;;;;;4232:18:3;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;4286:32;;1342:25:4;;;4286:32:3;;1315:18:4;4286:32:3;;;;;;;;3982:344;;;:::o;4455:411::-;4548:24;4575:25;4585:5;4592:7;4575:9;:25::i;:::-;4548:52;;4639:6;4619:16;:26;;4611:67;;;;-1:-1:-1;;;4611:67:3;;8276:2:4;4611:67:3;;;8258:21:4;8315:2;8295:18;;;8288:30;8354;8334:18;;;8327:58;8402:18;;4611:67:3;8074:352:4;4611:67:3;-1:-1:-1;;4695:16:3;:37;4691:168;;4778:54;4787:5;4794:7;4803:28;:16;4824:6;4803:20;:28::i;4778:54::-;4537:329;4455:411;;;:::o;3111:863::-;-1:-1:-1;;;;;3200:18:3;;3192:67;;;;-1:-1:-1;;;3192:67:3;;8633:2:4;3192:67:3;;;8615:21:4;8672:2;8652:18;;;8645:30;8711:34;8691:18;;;8684:62;-1:-1:-1;;;8762:18:4;;;8755:34;8806:19;;3192:67:3;8431:400:4;3192:67:3;-1:-1:-1;;;;;3278:16:3;;3270:63;;;;-1:-1:-1;;;3270:63:3;;9038:2:4;3270:63:3;;;9020:21:4;9077:2;9057:18;;;9050:30;9116:34;9096:18;;;9089:62;-1:-1:-1;;;9167:18:4;;;9160:32;9209:19;;3270:63:3;8836:398:4;3270:63:3;-1:-1:-1;;;;;1974:18:3;;3346:22;1974:18;;;:9;:18;;;;;;;;;2324:13;:22;;;;;;1974:18;;3495:30;;;;3487:39;;;;;;3567:32;:14;3586:12;3567:18;:32::i;:::-;3549:50;;3639:6;3620:15;:25;;3612:75;;;;-1:-1:-1;;;3612:75:3;;9441:2:4;3612:75:3;;;9423:21:4;9480:2;9460:18;;;9453:30;9519:34;9499:18;;;9492:62;-1:-1:-1;;;9570:18:4;;;9563:35;9615:19;;3612:75:3;9239:401:4;3612:75:3;-1:-1:-1;;;;;3743:15:3;;;;;;:9;:15;;;;;;:27;;3763:6;3743:19;:27::i;:::-;-1:-1:-1;;;;;3725:15:3;;;;;;;:9;:15;;;;;;:45;;;;3801:13;;;;;;;:25;;3819:6;3801:17;:25::i;:::-;-1:-1:-1;;;;;3785:13:3;;;;;;:9;:13;;;;;:41;;;3849:23;-1:-1:-1;3849:23:3;3841:70;;;;-1:-1:-1;;;3841:70:3;;9847:2:4;3841:70:3;;;9829:21:4;9886:2;9866:18;;;9859:30;9925:34;9905:18;;;9898:62;-1:-1:-1;;;9976:18:4;;;9969:32;10018:19;;3841:70:3;9645:398:4;3841:70:3;3955:2;-1:-1:-1;;;;;3940:26:3;3949:4;-1:-1:-1;;;;;3940:26:3;;3959:6;3940:26;;;;1342:25:4;;1330:2;1315:18;;1196:177;3940:26:3;;;;;;;;3181:793;;;3111:863;;;:::o;827:147::-;885:7;;917:5;921:1;917;:5;:::i;:::-;905:17;;945:1;940;:6;;933:14;;;;:::i;:::-;965:1;827:147;-1:-1:-1;;;827:147:3:o;7105:570::-;-1:-1:-1;;;;;7189:21:3;;7181:66;;;;-1:-1:-1;;;7181:66:3;;10512:2:4;7181:66:3;;;10494:21:4;;;10531:18;;;10524:30;10590:34;10570:18;;;10563:62;10642:18;;7181:66:3;10310:356:4;7181:66:3;-1:-1:-1;;;;;7285:18:3;;7260:22;7285:18;;;:9;:18;;;;;;7322:24;;;;7314:70;;;;-1:-1:-1;;;7314:70:3;;10873:2:4;7314:70:3;;;10855:21:4;10912:2;10892:18;;;10885:30;10951:34;10931:18;;;10924:62;-1:-1:-1;;;11002:18:4;;;10995:31;11043:19;;7314:70:3;10671:397:4;7314:70:3;7441:26;:14;7460:6;7441:18;:26::i;:::-;-1:-1:-1;;;;;7420:18:3;;;;;;:9;:18;;;;;:47;7577:12;;:24;;7594:6;7577:16;:24::i;:::-;7562:12;:39;7630:37;;1342:25:4;;;7656:1:3;;-1:-1:-1;;;;;7630:37:3;;;;;1330:2:4;1315:18;7630:37:3;1196:177:4;2291:191:1;2365:16;2384:6;;-1:-1:-1;;;;;2401:17:1;;;-1:-1:-1;;;;;;2401:17:1;;;;;;2434:40;;2384:6;;;;;;;2434:40;;2365:16;2434:40;2354:128;2291:191;:::o;696:123:3:-;754:7;786:1;781;:6;;774:14;;;;:::i;:::-;806:5;810:1;806;:5;:::i;14:548:4:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:4;;674:42;;664:70;;730:1;727;720:12;745:254;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:4:o;1378:658::-;1549:2;1601:21;;;1671:13;;1574:18;;;1693:22;;;1520:4;;1549:2;1772:15;;;;1746:2;1731:18;;;1520:4;1815:195;1829:6;1826:1;1823:13;1815:195;;;1894:13;;-1:-1:-1;;;;;1890:39:4;1878:52;;1985:15;;;;1950:12;;;;1926:1;1844:9;1815:195;;;-1:-1:-1;2027:3:4;;1378:658;-1:-1:-1;;;;;;1378:658:4:o;2041:328::-;2118:6;2126;2134;2187:2;2175:9;2166:7;2162:23;2158:32;2155:52;;;2203:1;2200;2193:12;2155:52;2226:29;2245:9;2226:29;:::i;:::-;2216:39;;2274:38;2308:2;2297:9;2293:18;2274:38;:::i;:::-;2264:48;;2359:2;2348:9;2344:18;2331:32;2321:42;;2041:328;;;;;:::o;2374:186::-;2433:6;2486:2;2474:9;2465:7;2461:23;2457:32;2454:52;;;2502:1;2499;2492:12;2454:52;2525:29;2544:9;2525:29;:::i;2754:180::-;2813:6;2866:2;2854:9;2845:7;2841:23;2837:32;2834:52;;;2882:1;2879;2872:12;2834:52;-1:-1:-1;2905:23:4;;2754:180;-1:-1:-1;2754:180:4:o;3147:260::-;3215:6;3223;3276:2;3264:9;3255:7;3251:23;3247:32;3244:52;;;3292:1;3289;3282:12;3244:52;3315:29;3334:9;3315:29;:::i;:::-;3305:39;;3363:38;3397:2;3386:9;3382:18;3363:38;:::i;:::-;3353:48;;3147:260;;;;;:::o;3412:380::-;3491:1;3487:12;;;;3534;;;3555:61;;3609:4;3601:6;3597:17;3587:27;;3555:61;3662:2;3654:6;3651:14;3631:18;3628:38;3625:161;;3708:10;3703:3;3699:20;3696:1;3689:31;3743:4;3740:1;3733:15;3771:4;3768:1;3761:15;3625:161;;3412:380;;;:::o;3797:356::-;3999:2;3981:21;;;4018:18;;;4011:30;4077:34;4072:2;4057:18;;4050:62;4144:2;4129:18;;3797:356::o;5200:127::-;5261:10;5256:3;5252:20;5249:1;5242:31;5292:4;5289:1;5282:15;5316:4;5313:1;5306:15;5332:128;5399:9;;;5420:11;;;5417:37;;;5434:18;;:::i;5465:127::-;5526:10;5521:3;5517:20;5514:1;5507:31;5557:4;5554:1;5547:15;5581:4;5578:1;5571:15;5597:127;5658:10;5653:3;5649:20;5646:1;5639:31;5689:4;5686:1;5679:15;5713:4;5710:1;5703:15;10048:125;10113:9;;;10134:10;;;10131:36;;;10147:18;;:::i;10178:127::-;10239:10;10234:3;10230:20;10227:1;10220:31;10270:4;10267:1;10260:15;10294:4;10291:1;10284:15

ipfs://fc524553a8356b1088d907d3b523dcccc4a15bad79fa643a88a9bf2637431c59