Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-03-06
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.17;

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

    function _msgData() internal view virtual returns (bytes calldata) {
        this;
        return msg.data;
    }
}

abstract contract Ownable is Context {
    address private _owner;

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

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

    modifier onlyOwner() {
        require(owner() == _msgSender(), "Caller is not the owner");
        _;
    }

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "New owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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);
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) internal _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 override returns (string memory) {
        return _name;
    }

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

    function decimals() public view virtual override 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);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "Transfer amount exceeds allowance");
    unchecked {
        _approve(sender, _msgSender(), currentAllowance - amount);
    }

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "Decreased allowance below zero");
    unchecked {
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);
    }

        return true;
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "Transfer from the zero address");
        require(recipient != address(0), "Transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "Transfer amount exceeds balance");
    unchecked {
        _balances[sender] = senderBalance - amount;
    }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "Mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

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

    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "Burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "Burn amount exceeds balance");
    unchecked {
        _balances[account] = accountBalance - amount;
    }
        _totalSupply -= amount;

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

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

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

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

abstract contract ERC20Burnable is Context, ERC20, Ownable {
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }
}

abstract contract ERC20Lockable is ERC20, Ownable {
    struct LockInfo {
        uint256 _releaseTime;
        uint256 _amount;
    }

    mapping(address => LockInfo[]) internal _locks;
    mapping(address => uint256) internal _totalLocked;

    event Lock(address indexed from, uint256 amount, uint256 releaseTime);
    event Unlock(address indexed from, uint256 amount);

    modifier checkLock(address from, uint256 amount) {
        uint256 length = _locks[from].length;
        if (length > 0) {
            autoUnlock(from);
        }
        require(_balances[from] >= _totalLocked[from] + amount, "Cannot send more than unlocked amount");
        _;
    }

    function _lock(address from, uint256 amount, uint256 releaseTime) internal returns (bool success)
    {
        require(
            _balances[from] >= amount + _totalLocked[from],
            "Locked total should be smaller than balance"
        );
        _totalLocked[from] = _totalLocked[from] + amount;
        _locks[from].push(LockInfo(releaseTime, amount));
        emit Lock(from, amount, releaseTime);
        success = true;
    }

    function _unlock(address from, uint256 index) internal returns (bool success) {
        LockInfo storage info = _locks[from][index];
        _totalLocked[from] = _totalLocked[from] - info._amount;
        emit Unlock(from, info._amount);
        _locks[from][index] = _locks[from][_locks[from].length - 1];
        _locks[from].pop();
        success = true;
    }

    function autoUnlock(address from) public returns (bool success) {
        for (uint256 i = 0; i < _locks[from].length; i++) {
            if (_locks[from][i]._releaseTime < block.timestamp) {
                _unlock(from, i);
            }
        }
        success = true;
    }

    function unlock(address from, uint256 idx) public onlyOwner returns (bool success) {
        require(_locks[from].length > idx, "There is no lock information.");
        _unlock(from, idx);
        success = true;
    }

    function releaseLock(address from) external onlyOwner returns (bool success){
        require(_locks[from].length > 0, "There is no lock information.");
        for (uint256 i = _locks[from].length; i > 0; i--) {
            _unlock(from, i - 1);
        }
        success = true;
    }

    function transferWithLock(address recipient, uint256 amount, uint256 releaseTime) external onlyOwner returns (bool success)
    {
        require(recipient != address(0));
        _transfer(msg.sender, recipient, amount);
        _lock(recipient, amount, releaseTime);
        success = true;
    }

    function lockInfo(address locked, uint256 index) public view returns (uint256 releaseTime, uint256 amount)
    {
        LockInfo memory info = _locks[locked][index];
        releaseTime = info._releaseTime;
        amount = info._amount;
    }

    function totalLocked(address locked) public view returns (uint256 amount, uint256 length){
        amount = _totalLocked[locked];
        length = _locks[locked].length;
    }
}

contract Docent is ERC20, ERC20Burnable, ERC20Lockable {

    constructor() ERC20("Docent", "DOCT") {
        _mint(msg.sender, 1500000000 * (10 ** decimals()));
    }

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

    function transferFrom(address from, address to, uint256 amount) public checkLock(from, amount) override returns (bool) {
        return super.transferFrom(from, to, amount);
    }

    function balanceOf(address holder) public view override returns (uint256 balance) {
        uint256 totalBalance = super.balanceOf(holder);
        uint256 avaliableBalance = 0;
        (uint256 lockedBalance, uint256 lockedLength) = totalLocked(holder);
        require(totalBalance >= lockedBalance);

        if (lockedLength > 0) {
            for (uint i = 0; i < lockedLength; i++) {
                (uint256 releaseTime, uint256 amount) = lockInfo(holder, i);
                if (releaseTime <= block.timestamp) {
                    avaliableBalance += amount;
                }
            }
        }

        balance = totalBalance - lockedBalance + avaliableBalance;
    }

    function balanceOfTotal(address holder) public view returns (uint256 balance) {
        balance = super.balanceOf(holder);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    )
        internal override {
        super._beforeTokenTransfer(from, to, amount);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"releaseTime","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":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Unlock","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"}],"name":"autoUnlock","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"}],"name":"balanceOfTotal","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"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":[{"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":"locked","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"lockInfo","outputs":[{"internalType":"uint256","name":"releaseTime","type":"uint256"},{"internalType":"uint256","name":"amount","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":"from","type":"address"}],"name":"releaseLock","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":[{"internalType":"address","name":"locked","type":"address"}],"name":"totalLocked","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"length","type":"uint256"}],"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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"idx","type":"uint256"}],"name":"unlock","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405180604001604052806006815260200165111bd8d95b9d60d21b815250604051806040016040528060048152602001631113d0d560e21b81525081600390816200005f9190620002bb565b5060046200006e8282620002bb565b5050506000620000836200010060201b60201c565b600580546001600160a01b0319166001600160a01b038316908117909155604051919250906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620000fa33620000e46012600a6200049c565b620000f4906359682f00620004b4565b62000104565b620004e4565b3390565b6001600160a01b0382166200015f5760405162461bcd60e51b815260206004820152601860248201527f4d696e7420746f20746865207a65726f20616464726573730000000000000000604482015260640160405180910390fd5b6200016d60008383620001fa565b8060026000828254620001819190620004ce565b90915550506001600160a01b03821660009081526020819052604081208054839290620001b0908490620004ce565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b620002128383836200021260201b62000aec1760201c565b505050565b634e487b7160e01b600052604160045260246000fd5b600181811c908216806200024257607f821691505b6020821081036200026357634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200021257600081815260208120601f850160051c81016020861015620002925750805b601f850160051c820191505b81811015620002b3578281556001016200029e565b505050505050565b81516001600160401b03811115620002d757620002d762000217565b620002ef81620002e884546200022d565b8462000269565b602080601f8311600181146200032757600084156200030e5750858301515b600019600386901b1c1916600185901b178555620002b3565b600085815260208120601f198616915b82811015620003585788860151825594840194600190910190840162000337565b5085821015620003775787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003de578160001904821115620003c257620003c262000387565b80851615620003d057918102915b93841c9390800290620003a2565b509250929050565b600082620003f75750600162000496565b81620004065750600062000496565b81600181146200041f57600281146200042a576200044a565b600191505062000496565b60ff8411156200043e576200043e62000387565b50506001821b62000496565b5060208310610133831016604e8410600b84101617156200046f575081810a62000496565b6200047b83836200039d565b806000190482111562000492576200049262000387565b0290505b92915050565b6000620004ad60ff841683620003e6565b9392505050565b808202811582820484141762000496576200049662000387565b8082018082111562000496576200049662000387565b61158b80620004f46000396000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c806395d89b41116100b8578063d29dad831161007c578063d29dad8314610296578063d8fb9337146102a9578063dd62ed3e146102df578063de6baccb14610318578063e20bc67b1461032b578063f2fde38b1461033e57600080fd5b806395d89b411461022d578063a457c2d714610235578063a9059cbb14610248578063b2520a7c1461025b578063d1c469161461028357600080fd5b8063395093511161010a57806339509351146101bc57806342966c68146101cf57806370a08231146101e4578063715018a6146101f75780637eee288d146101ff5780638da5cb5b1461021257600080fd5b806306fdde0314610147578063095ea7b31461016557806318160ddd1461018857806323b872dd1461019a578063313ce567146101ad575b600080fd5b61014f610351565b60405161015c9190611296565b60405180910390f35b610178610173366004611300565b6103e3565b604051901515815260200161015c565b6002545b60405190815260200161015c565b6101786101a836600461132a565b6103fa565b6040516012815260200161015c565b6101786101ca366004611300565b6104a2565b6101e26101dd366004611366565b6104de565b005b61018c6101f236600461137f565b6104eb565b6101e2610593565b61017861020d366004611300565b610607565b6005546040516001600160a01b03909116815260200161015c565b61014f6106af565b610178610243366004611300565b6106be565b610178610256366004611300565b61073f565b61026e610269366004611300565b6107ca565b6040805192835260208301919091520161015c565b61017861029136600461137f565b610831565b61018c6102a436600461137f565b61090a565b61026e6102b736600461137f565b6001600160a01b03166000908152600760209081526040808320546006909252909120549091565b61018c6102ed3660046113a1565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6101786103263660046113d4565b610928565b61017861033936600461137f565b610989565b6101e261034c36600461137f565b610a10565b60606003805461036090611407565b80601f016020809104026020016040519081016040528092919081815260200182805461038c90611407565b80156103d95780601f106103ae576101008083540402835291602001916103d9565b820191906000526020600020905b8154815290600101906020018083116103bc57829003601f168201915b5050505050905090565b60006103f0338484610af1565b5060015b92915050565b6001600160a01b0383166000908152600660205260408120548490839080156104285761042683610989565b505b6001600160a01b03831660009081526007602052604090205461044c908390611457565b6001600160a01b038416600090815260208190526040902054101561048c5760405162461bcd60e51b81526004016104839061146a565b60405180910390fd5b610497878787610bff565b979650505050505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916103f09185906104d9908690611457565b610af1565b6104e83382610c97565b50565b6001600160a01b038116600090815260208181526040808320546007835281842054600690935290832054909183918184101561052757600080fd5b80156105745760005b818110156105725760008061054589846107ca565b9150915042821161055d5761055a8187611457565b95505b5050808061056a906114af565b915050610530565b505b8261057f83866114c8565b6105899190611457565b9695505050505050565b6005546001600160a01b031633146105bd5760405162461bcd60e51b8152600401610483906114db565b6005546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600580546001600160a01b0319169055565b6005546000906001600160a01b031633146106345760405162461bcd60e51b8152600401610483906114db565b6001600160a01b038316600090815260066020526040902054821061069b5760405162461bcd60e51b815260206004820152601d60248201527f5468657265206973206e6f206c6f636b20696e666f726d6174696f6e2e0000006044820152606401610483565b6106a58383610dc8565b5060019392505050565b60606004805461036090611407565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156107325760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f00006044820152606401610483565b6106a53385858403610af1565b33600081815260066020526040812054909190839080156107655761076383610989565b505b6001600160a01b038316600090815260076020526040902054610789908390611457565b6001600160a01b03841660009081526020819052604090205410156107c05760405162461bcd60e51b81526004016104839061146a565b6105898686610f83565b6001600160a01b0382166000908152600660205260408120805482918291859081106107f8576107f8611512565b60009182526020918290206040805180820190915260029092020180548083526001909101549190920181905290969095509350505050565b6005546000906001600160a01b0316331461085e5760405162461bcd60e51b8152600401610483906114db565b6001600160a01b0382166000908152600660205260409020546108c35760405162461bcd60e51b815260206004820152601d60248201527f5468657265206973206e6f206c6f636b20696e666f726d6174696f6e2e0000006044820152606401610483565b6001600160a01b0382166000908152600660205260409020545b80156103f0576108f7836108f26001846114c8565b610dc8565b508061090281611528565b9150506108dd565b6001600160a01b0381166000908152602081905260408120546103f4565b6005546000906001600160a01b031633146109555760405162461bcd60e51b8152600401610483906114db565b6001600160a01b03841661096857600080fd5b610973338585610f8c565b61097e848484611132565b506001949350505050565b6000805b6001600160a01b0383166000908152600660205260409020548110156103f0576001600160a01b03831660009081526006602052604090208054429190839081106109da576109da611512565b90600052602060002090600202016000015410156109fe576109fc8382610dc8565b505b80610a08816114af565b91505061098d565b6005546001600160a01b03163314610a3a5760405162461bcd60e51b8152600401610483906114db565b6001600160a01b038116610a905760405162461bcd60e51b815260206004820152601d60248201527f4e6577206f776e657220697320746865207a65726f20616464726573730000006044820152606401610483565b6005546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0319166001600160a01b0392909216919091179055565b505050565b6001600160a01b038316610b475760405162461bcd60e51b815260206004820152601d60248201527f417070726f76652066726f6d20746865207a65726f20616464726573730000006044820152606401610483565b6001600160a01b038216610b9d5760405162461bcd60e51b815260206004820152601b60248201527f417070726f766520746f20746865207a65726f206164647265737300000000006044820152606401610483565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6000610c0c848484610f8c565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610c8a5760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b6064820152608401610483565b61097e8533858403610af1565b6001600160a01b038216610ced5760405162461bcd60e51b815260206004820152601a60248201527f4275726e2066726f6d20746865207a65726f20616464726573730000000000006044820152606401610483565b6001600160a01b03821660009081526020819052604090205481811015610d565760405162461bcd60e51b815260206004820152601b60248201527f4275726e20616d6f756e7420657863656564732062616c616e636500000000006044820152606401610483565b6001600160a01b0383166000908152602081905260408120838303905560028054849290610d859084906114c8565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610bf2565b6001600160a01b0382166000908152600660205260408120805482919084908110610df557610df5611512565b90600052602060002090600202019050806001015460076000866001600160a01b03166001600160a01b0316815260200190815260200160002054610e3a91906114c8565b6001600160a01b03851660008181526007602052604090819020929092556001830154915190917f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191610e8f91815260200190565b60405180910390a26001600160a01b03841660009081526006602052604090208054610ebd906001906114c8565b81548110610ecd57610ecd611512565b906000526020600020906002020160066000866001600160a01b03166001600160a01b031681526020019081526020016000208481548110610f1157610f11611512565b60009182526020808320845460029093020191825560019384015493909101929092556001600160a01b0386168152600690915260409020805480610f5857610f5861153f565b6000828152602081206002600019909301928302018181556001908101919091559155949350505050565b60006103f03384845b6001600160a01b038316610fe25760405162461bcd60e51b815260206004820152601e60248201527f5472616e736665722066726f6d20746865207a65726f206164647265737300006044820152606401610483565b6001600160a01b0382166110385760405162461bcd60e51b815260206004820152601c60248201527f5472616e7366657220746f20746865207a65726f2061646472657373000000006044820152606401610483565b6001600160a01b038316600090815260208190526040902054818110156110a15760405162461bcd60e51b815260206004820152601f60248201527f5472616e7366657220616d6f756e7420657863656564732062616c616e6365006044820152606401610483565b6001600160a01b038085166000908152602081905260408082208585039055918516815290812080548492906110d8908490611457565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161112491815260200190565b60405180910390a350505050565b6001600160a01b0383166000908152600760205260408120546111559084611457565b6001600160a01b03851660009081526020819052604090205410156111d05760405162461bcd60e51b815260206004820152602b60248201527f4c6f636b656420746f74616c2073686f756c6420626520736d616c6c6572207460448201526a68616e2062616c616e636560a81b6064820152608401610483565b6001600160a01b0384166000908152600760205260409020546111f4908490611457565b6001600160a01b0385166000818152600760209081526040808320949094556006815283822084518086018652878152808301898152825460018181018555938652939094209051600290930201918255915191015590517f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b906112849086908690918252602082015260400190565b60405180910390a25060019392505050565b600060208083528351808285015260005b818110156112c3578581018301518582016040015282016112a7565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146112fb57600080fd5b919050565b6000806040838503121561131357600080fd5b61131c836112e4565b946020939093013593505050565b60008060006060848603121561133f57600080fd5b611348846112e4565b9250611356602085016112e4565b9150604084013590509250925092565b60006020828403121561137857600080fd5b5035919050565b60006020828403121561139157600080fd5b61139a826112e4565b9392505050565b600080604083850312156113b457600080fd5b6113bd836112e4565b91506113cb602084016112e4565b90509250929050565b6000806000606084860312156113e957600080fd5b6113f2846112e4565b95602085013595506040909401359392505050565b600181811c9082168061141b57607f821691505b60208210810361143b57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b808201808211156103f4576103f4611441565b60208082526025908201527f43616e6e6f742073656e64206d6f7265207468616e20756e6c6f636b656420616040820152641b5bdd5b9d60da1b606082015260800190565b6000600182016114c1576114c1611441565b5060010190565b818103818111156103f4576103f4611441565b60208082526017908201527f43616c6c6572206973206e6f7420746865206f776e6572000000000000000000604082015260600190565b634e487b7160e01b600052603260045260246000fd5b60008161153757611537611441565b506000190190565b634e487b7160e01b600052603160045260246000fdfea26469706673582212202ca75bd1c12179427f1f1a9c76fd159eb4dde9d5ac40d16960ee1007affa1e8064736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106101425760003560e01c806395d89b41116100b8578063d29dad831161007c578063d29dad8314610296578063d8fb9337146102a9578063dd62ed3e146102df578063de6baccb14610318578063e20bc67b1461032b578063f2fde38b1461033e57600080fd5b806395d89b411461022d578063a457c2d714610235578063a9059cbb14610248578063b2520a7c1461025b578063d1c469161461028357600080fd5b8063395093511161010a57806339509351146101bc57806342966c68146101cf57806370a08231146101e4578063715018a6146101f75780637eee288d146101ff5780638da5cb5b1461021257600080fd5b806306fdde0314610147578063095ea7b31461016557806318160ddd1461018857806323b872dd1461019a578063313ce567146101ad575b600080fd5b61014f610351565b60405161015c9190611296565b60405180910390f35b610178610173366004611300565b6103e3565b604051901515815260200161015c565b6002545b60405190815260200161015c565b6101786101a836600461132a565b6103fa565b6040516012815260200161015c565b6101786101ca366004611300565b6104a2565b6101e26101dd366004611366565b6104de565b005b61018c6101f236600461137f565b6104eb565b6101e2610593565b61017861020d366004611300565b610607565b6005546040516001600160a01b03909116815260200161015c565b61014f6106af565b610178610243366004611300565b6106be565b610178610256366004611300565b61073f565b61026e610269366004611300565b6107ca565b6040805192835260208301919091520161015c565b61017861029136600461137f565b610831565b61018c6102a436600461137f565b61090a565b61026e6102b736600461137f565b6001600160a01b03166000908152600760209081526040808320546006909252909120549091565b61018c6102ed3660046113a1565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6101786103263660046113d4565b610928565b61017861033936600461137f565b610989565b6101e261034c36600461137f565b610a10565b60606003805461036090611407565b80601f016020809104026020016040519081016040528092919081815260200182805461038c90611407565b80156103d95780601f106103ae576101008083540402835291602001916103d9565b820191906000526020600020905b8154815290600101906020018083116103bc57829003601f168201915b5050505050905090565b60006103f0338484610af1565b5060015b92915050565b6001600160a01b0383166000908152600660205260408120548490839080156104285761042683610989565b505b6001600160a01b03831660009081526007602052604090205461044c908390611457565b6001600160a01b038416600090815260208190526040902054101561048c5760405162461bcd60e51b81526004016104839061146a565b60405180910390fd5b610497878787610bff565b979650505050505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916103f09185906104d9908690611457565b610af1565b6104e83382610c97565b50565b6001600160a01b038116600090815260208181526040808320546007835281842054600690935290832054909183918184101561052757600080fd5b80156105745760005b818110156105725760008061054589846107ca565b9150915042821161055d5761055a8187611457565b95505b5050808061056a906114af565b915050610530565b505b8261057f83866114c8565b6105899190611457565b9695505050505050565b6005546001600160a01b031633146105bd5760405162461bcd60e51b8152600401610483906114db565b6005546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600580546001600160a01b0319169055565b6005546000906001600160a01b031633146106345760405162461bcd60e51b8152600401610483906114db565b6001600160a01b038316600090815260066020526040902054821061069b5760405162461bcd60e51b815260206004820152601d60248201527f5468657265206973206e6f206c6f636b20696e666f726d6174696f6e2e0000006044820152606401610483565b6106a58383610dc8565b5060019392505050565b60606004805461036090611407565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156107325760405162461bcd60e51b815260206004820152601e60248201527f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f00006044820152606401610483565b6106a53385858403610af1565b33600081815260066020526040812054909190839080156107655761076383610989565b505b6001600160a01b038316600090815260076020526040902054610789908390611457565b6001600160a01b03841660009081526020819052604090205410156107c05760405162461bcd60e51b81526004016104839061146a565b6105898686610f83565b6001600160a01b0382166000908152600660205260408120805482918291859081106107f8576107f8611512565b60009182526020918290206040805180820190915260029092020180548083526001909101549190920181905290969095509350505050565b6005546000906001600160a01b0316331461085e5760405162461bcd60e51b8152600401610483906114db565b6001600160a01b0382166000908152600660205260409020546108c35760405162461bcd60e51b815260206004820152601d60248201527f5468657265206973206e6f206c6f636b20696e666f726d6174696f6e2e0000006044820152606401610483565b6001600160a01b0382166000908152600660205260409020545b80156103f0576108f7836108f26001846114c8565b610dc8565b508061090281611528565b9150506108dd565b6001600160a01b0381166000908152602081905260408120546103f4565b6005546000906001600160a01b031633146109555760405162461bcd60e51b8152600401610483906114db565b6001600160a01b03841661096857600080fd5b610973338585610f8c565b61097e848484611132565b506001949350505050565b6000805b6001600160a01b0383166000908152600660205260409020548110156103f0576001600160a01b03831660009081526006602052604090208054429190839081106109da576109da611512565b90600052602060002090600202016000015410156109fe576109fc8382610dc8565b505b80610a08816114af565b91505061098d565b6005546001600160a01b03163314610a3a5760405162461bcd60e51b8152600401610483906114db565b6001600160a01b038116610a905760405162461bcd60e51b815260206004820152601d60248201527f4e6577206f776e657220697320746865207a65726f20616464726573730000006044820152606401610483565b6005546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0319166001600160a01b0392909216919091179055565b505050565b6001600160a01b038316610b475760405162461bcd60e51b815260206004820152601d60248201527f417070726f76652066726f6d20746865207a65726f20616464726573730000006044820152606401610483565b6001600160a01b038216610b9d5760405162461bcd60e51b815260206004820152601b60248201527f417070726f766520746f20746865207a65726f206164647265737300000000006044820152606401610483565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6000610c0c848484610f8c565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610c8a5760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b6064820152608401610483565b61097e8533858403610af1565b6001600160a01b038216610ced5760405162461bcd60e51b815260206004820152601a60248201527f4275726e2066726f6d20746865207a65726f20616464726573730000000000006044820152606401610483565b6001600160a01b03821660009081526020819052604090205481811015610d565760405162461bcd60e51b815260206004820152601b60248201527f4275726e20616d6f756e7420657863656564732062616c616e636500000000006044820152606401610483565b6001600160a01b0383166000908152602081905260408120838303905560028054849290610d859084906114c8565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610bf2565b6001600160a01b0382166000908152600660205260408120805482919084908110610df557610df5611512565b90600052602060002090600202019050806001015460076000866001600160a01b03166001600160a01b0316815260200190815260200160002054610e3a91906114c8565b6001600160a01b03851660008181526007602052604090819020929092556001830154915190917f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191610e8f91815260200190565b60405180910390a26001600160a01b03841660009081526006602052604090208054610ebd906001906114c8565b81548110610ecd57610ecd611512565b906000526020600020906002020160066000866001600160a01b03166001600160a01b031681526020019081526020016000208481548110610f1157610f11611512565b60009182526020808320845460029093020191825560019384015493909101929092556001600160a01b0386168152600690915260409020805480610f5857610f5861153f565b6000828152602081206002600019909301928302018181556001908101919091559155949350505050565b60006103f03384845b6001600160a01b038316610fe25760405162461bcd60e51b815260206004820152601e60248201527f5472616e736665722066726f6d20746865207a65726f206164647265737300006044820152606401610483565b6001600160a01b0382166110385760405162461bcd60e51b815260206004820152601c60248201527f5472616e7366657220746f20746865207a65726f2061646472657373000000006044820152606401610483565b6001600160a01b038316600090815260208190526040902054818110156110a15760405162461bcd60e51b815260206004820152601f60248201527f5472616e7366657220616d6f756e7420657863656564732062616c616e6365006044820152606401610483565b6001600160a01b038085166000908152602081905260408082208585039055918516815290812080548492906110d8908490611457565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161112491815260200190565b60405180910390a350505050565b6001600160a01b0383166000908152600760205260408120546111559084611457565b6001600160a01b03851660009081526020819052604090205410156111d05760405162461bcd60e51b815260206004820152602b60248201527f4c6f636b656420746f74616c2073686f756c6420626520736d616c6c6572207460448201526a68616e2062616c616e636560a81b6064820152608401610483565b6001600160a01b0384166000908152600760205260409020546111f4908490611457565b6001600160a01b0385166000818152600760209081526040808320949094556006815283822084518086018652878152808301898152825460018181018555938652939094209051600290930201918255915191015590517f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b906112849086908690918252602082015260400190565b60405180910390a25060019392505050565b600060208083528351808285015260005b818110156112c3578581018301518582016040015282016112a7565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146112fb57600080fd5b919050565b6000806040838503121561131357600080fd5b61131c836112e4565b946020939093013593505050565b60008060006060848603121561133f57600080fd5b611348846112e4565b9250611356602085016112e4565b9150604084013590509250925092565b60006020828403121561137857600080fd5b5035919050565b60006020828403121561139157600080fd5b61139a826112e4565b9392505050565b600080604083850312156113b457600080fd5b6113bd836112e4565b91506113cb602084016112e4565b90509250929050565b6000806000606084860312156113e957600080fd5b6113f2846112e4565b95602085013595506040909401359392505050565b600181811c9082168061141b57607f821691505b60208210810361143b57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b808201808211156103f4576103f4611441565b60208082526025908201527f43616e6e6f742073656e64206d6f7265207468616e20756e6c6f636b656420616040820152641b5bdd5b9d60da1b606082015260800190565b6000600182016114c1576114c1611441565b5060010190565b818103818111156103f4576103f4611441565b60208082526017908201527f43616c6c6572206973206e6f7420746865206f776e6572000000000000000000604082015260600190565b634e487b7160e01b600052603260045260246000fd5b60008161153757611537611441565b506000190190565b634e487b7160e01b600052603160045260246000fdfea26469706673582212202ca75bd1c12179427f1f1a9c76fd159eb4dde9d5ac40d16960ee1007affa1e8064736f6c63430008110033

10041:1582:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2565:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3479:169;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;3479:169:0;1004:187:1;2886:108:0;2974:12;;2886:108;;;1342:25:1;;;1330:2;1315:18;2886:108:0;1196:177:1;10387:181:0;;;;;;:::i;:::-;;:::i;2785:93::-;;;2868:2;1853:36:1;;1841:2;1826:18;2785:93:0;1711:184:1;4137:215:0;;;;;;:::i;:::-;;:::i;6834:91::-;;;;;;:::i;:::-;;:::i;:::-;;10576:700;;;;;;:::i;:::-;;:::i;864:148::-;;;:::i;8756:223::-;;;;;;:::i;:::-;;:::i;650:87::-;723:6;;650:87;;-1:-1:-1;;;;;723:6:0;;;2422:51:1;;2410:2;2395:18;650:87:0;2276:203:1;2673:104:0;;;:::i;4360:394::-;;;;;;:::i;:::-;;:::i;10220:159::-;;;;;;:::i;:::-;;:::i;9599:249::-;;;;;;:::i;:::-;;:::i;:::-;;;;2658:25:1;;;2714:2;2699:18;;2692:34;;;;2631:18;9599:249:0;2484:248:1;8987:292:0;;;;;;:::i;:::-;;:::i;11284:130::-;;;;;;:::i;:::-;;:::i;9856:178::-;;;;;;:::i;:::-;-1:-1:-1;;;;;9965:20:0;9914:14;9965:20;;;:12;:20;;;;;;;;;10005:6;:14;;;;;;:21;9965:20;;9856:178;3320:151;;;;;;:::i;:::-;-1:-1:-1;;;;;3436:18:0;;;3409:7;3436:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3320:151;9287:304;;;;;;:::i;:::-;;:::i;8462:286::-;;;;;;:::i;:::-;;:::i;1020:235::-;;;;;;:::i;:::-;;:::i;2565:100::-;2619:13;2652:5;2645:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2565:100;:::o;3479:169::-;3562:4;3579:39;173:10;3602:7;3611:6;3579:8;:39::i;:::-;-1:-1:-1;3636:4:0;3479:169;;;;;:::o;10387:181::-;-1:-1:-1;;;;;7401:12:0;;10500:4;7401:12;;;:6;:12;;;;;:19;10468:4;;10474:6;;7435:10;;7431:59;;7462:16;7473:4;7462:10;:16::i;:::-;;7431:59;-1:-1:-1;;;;;7527:18:0;;;;;;:12;:18;;;;;;:27;;7548:6;;7527:27;:::i;:::-;-1:-1:-1;;;;;7508:15:0;;:9;:15;;;;;;;;;;;:46;;7500:96;;;;-1:-1:-1;;;7500:96:0;;;;;;;:::i;:::-;;;;;;;;;10524:36:::1;10543:4;10549:2;10553:6;10524:18;:36::i;:::-;10517:43:::0;10387:181;-1:-1:-1;;;;;;;10387:181:0:o;4137:215::-;173:10;4225:4;4274:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4274:34:0;;;;;;;;;;4225:4;;4242:80;;4265:7;;4274:47;;4311:10;;4274:47;:::i;:::-;4242:8;:80::i;6834:91::-;6890:27;173:10;6910:6;6890:5;:27::i;:::-;6834:91;:::o;10576:700::-;-1:-1:-1;;;;;3103:18:0;;10641:15;3103:18;;;;;;;;;;;;9965:12;:20;;;;;;10005:6;:14;;;;;;:21;3103:18;;10641:15;;10867:13;10851:12;:29;;10843:38;;;;;;10898:16;;10894:305;;10936:6;10931:257;10952:12;10948:1;:16;10931:257;;;10991:19;11012:14;11030:19;11039:6;11047:1;11030:8;:19::i;:::-;10990:59;;;;11087:15;11072:11;:30;11068:105;;11127:26;11147:6;11127:26;;:::i;:::-;;;11068:105;10971:217;;10966:3;;;;;:::i;:::-;;;;10931:257;;;;10894:305;11252:16;11221:28;11236:13;11221:12;:28;:::i;:::-;:47;;;;:::i;:::-;11211:57;10576:700;-1:-1:-1;;;;;;10576:700:0:o;864:148::-;723:6;;-1:-1:-1;;;;;723:6:0;173:10;785:23;777:59;;;;-1:-1:-1;;;777:59:0;;;;;;;:::i;:::-;955:6:::1;::::0;934:40:::1;::::0;971:1:::1;::::0;-1:-1:-1;;;;;955:6:0::1;::::0;934:40:::1;::::0;971:1;;934:40:::1;985:6;:19:::0;;-1:-1:-1;;;;;;985:19:0::1;::::0;;864:148::o;8756:223::-;723:6;;8825:12;;-1:-1:-1;;;;;723:6:0;173:10;785:23;777:59;;;;-1:-1:-1;;;777:59:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8858:12:0;::::1;;::::0;;;:6:::1;:12;::::0;;;;:19;:25;-1:-1:-1;8850:67:0::1;;;::::0;-1:-1:-1;;;8850:67:0;;5209:2:1;8850:67:0::1;::::0;::::1;5191:21:1::0;5248:2;5228:18;;;5221:30;5287:31;5267:18;;;5260:59;5336:18;;8850:67:0::1;5007:353:1::0;8850:67:0::1;8928:18;8936:4;8942:3;8928:7;:18::i;:::-;-1:-1:-1::0;8967:4:0::1;::::0;8756:223;-1:-1:-1;;;8756:223:0:o;2673:104::-;2729:13;2762:7;2755:14;;;;;:::i;4360:394::-;173:10;4453:4;4497:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4497:34:0;;;;;;;;;;4550:35;;;;4542:78;;;;-1:-1:-1;;;4542:78:0;;5567:2:1;4542:78:0;;;5549:21:1;5606:2;5586:18;;;5579:30;5645:32;5625:18;;;5618:60;5695:18;;4542:78:0;5365:354:1;4542:78:0;4648:67;173:10;4671:7;4699:15;4680:16;:34;4648:8;:67::i;10220:159::-;10283:10;10321:4;7401:12;;;:6;:12;;;;;:19;10321:4;;10283:10;10295:6;;7435:10;;7431:59;;7462:16;7473:4;7462:10;:16::i;:::-;;7431:59;-1:-1:-1;;;;;7527:18:0;;;;;;:12;:18;;;;;;:27;;7548:6;;7527:27;:::i;:::-;-1:-1:-1;;;;;7508:15:0;;:9;:15;;;;;;;;;;;:46;;7500:96;;;;-1:-1:-1;;;7500:96:0;;;;;;;:::i;:::-;10345:26:::1;10360:2;10364:6;10345:14;:26::i;9599:249::-:0;-1:-1:-1;;;;;9745:14:0;;9669:19;9745:14;;;:6;:14;;;;;:21;;9669:19;;;;9760:5;;9745:21;;;;;;:::i;:::-;;;;;;;;;;9722:44;;;;;;;;;9745:21;;;;;9722:44;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9599:249:0;-1:-1:-1;;;;9599:249:0:o;8987:292::-;723:6;;9050:12;;-1:-1:-1;;;;;723:6:0;173:10;785:23;777:59;;;;-1:-1:-1;;;777:59:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;9082:12:0;::::1;9104:1;9082:12:::0;;;:6:::1;:12;::::0;;;;:19;9074:65:::1;;;::::0;-1:-1:-1;;;9074:65:0;;5209:2:1;9074:65:0::1;::::0;::::1;5191:21:1::0;5248:2;5228:18;;;5221:30;5287:31;5267:18;;;5260:59;5336:18;;9074:65:0::1;5007:353:1::0;9074:65:0::1;-1:-1:-1::0;;;;;9167:12:0;::::1;9155:9;9167:12:::0;;;:6:::1;:12;::::0;;;;:19;9150:97:::1;9188:5:::0;;9150:97:::1;;9215:20;9223:4:::0;9229:5:::1;9233:1;9229::::0;:5:::1;:::i;:::-;9215:7;:20::i;:::-;-1:-1:-1::0;9195:3:0;::::1;::::0;::::1;:::i;:::-;;;;9150:97;;11284:130:::0;-1:-1:-1;;;;;3103:18:0;;11345:15;3103:18;;;;;;;;;;;11383:23;3002:127;9287:304;723:6;;9397:12;;-1:-1:-1;;;;;723:6:0;173:10;785:23;777:59;;;;-1:-1:-1;;;777:59:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;9435:23:0;::::1;9427:32;;;::::0;::::1;;9470:40;9480:10;9492:9;9503:6;9470:9;:40::i;:::-;9521:37;9527:9;9538:6;9546:11;9521:5;:37::i;:::-;-1:-1:-1::0;9579:4:0::1;::::0;9287:304;-1:-1:-1;;;;9287:304:0:o;8462:286::-;8512:12;;8537:179;-1:-1:-1;;;;;8561:12:0;;;;;;:6;:12;;;;;:19;8557:23;;8537:179;;;-1:-1:-1;;;;;8606:12:0;;;;;;:6;:12;;;;;:15;;8637;;8606:12;8619:1;;8606:15;;;;;;:::i;:::-;;;;;;;;;;;:28;;;:46;8602:103;;;8673:16;8681:4;8687:1;8673:7;:16::i;:::-;;8602:103;8582:3;;;;:::i;:::-;;;;8537:179;;1020:235;723:6;;-1:-1:-1;;;;;723:6:0;173:10;785:23;777:59;;;;-1:-1:-1;;;777:59:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;1109:22:0;::::1;1101:64;;;::::0;-1:-1:-1;;;1101:64:0;;6199:2:1;1101:64:0::1;::::0;::::1;6181:21:1::0;6238:2;6218:18;;;6211:30;6277:31;6257:18;;;6250:59;6326:18;;1101:64:0::1;5997:353:1::0;1101:64:0::1;1202:6;::::0;1181:38:::1;::::0;-1:-1:-1;;;;;1181:38:0;;::::1;::::0;1202:6:::1;::::0;1181:38:::1;::::0;1202:6:::1;::::0;1181:38:::1;1230:6;:17:::0;;-1:-1:-1;;;;;;1230:17:0::1;-1:-1:-1::0;;;;;1230:17:0;;;::::1;::::0;;;::::1;::::0;;1020:235::o;6636:125::-;;;;:::o;6262:366::-;-1:-1:-1;;;;;6398:19:0;;6390:61;;;;-1:-1:-1;;;6390:61:0;;6557:2:1;6390:61:0;;;6539:21:1;6596:2;6576:18;;;6569:30;6635:31;6615:18;;;6608:59;6684:18;;6390:61:0;6355:353:1;6390:61:0;-1:-1:-1;;;;;6470:21:0;;6462:61;;;;-1:-1:-1;;;6462:61:0;;6915:2:1;6462:61:0;;;6897:21:1;6954:2;6934:18;;;6927:30;6993:29;6973:18;;;6966:57;7040:18;;6462:61:0;6713:351:1;6462:61:0;-1:-1:-1;;;;;6536:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6588:32;;1342:25:1;;;6588:32:0;;1315:18:1;6588:32:0;;;;;;;;6262:366;;;:::o;3656:473::-;3796:4;3813:36;3823:6;3831:9;3842:6;3813:9;:36::i;:::-;-1:-1:-1;;;;;3889:19:0;;3862:24;3889:19;;;:11;:19;;;;;;;;173:10;3889:33;;;;;;;;3941:26;;;;3933:72;;;;-1:-1:-1;;;3933:72:0;;7271:2:1;3933:72:0;;;7253:21:1;7310:2;7290:18;;;7283:30;7349:34;7329:18;;;7322:62;-1:-1:-1;;;7400:18:1;;;7393:31;7441:19;;3933:72:0;7069:397:1;3933:72:0;4033:57;4042:6;173:10;4083:6;4064:16;:25;4033:8;:57::i;5750:504::-;-1:-1:-1;;;;;5834:21:0;;5826:60;;;;-1:-1:-1;;;5826:60:0;;7673:2:1;5826:60:0;;;7655:21:1;7712:2;7692:18;;;7685:30;7751:28;7731:18;;;7724:56;7797:18;;5826:60:0;7471:350:1;5826:60:0;-1:-1:-1;;;;;5986:18:0;;5961:22;5986:18;;;;;;;;;;;6023:24;;;;6015:64;;;;-1:-1:-1;;;6015:64:0;;8028:2:1;6015:64:0;;;8010:21:1;8067:2;8047:18;;;8040:30;8106:29;8086:18;;;8079:57;8153:18;;6015:64:0;7826:351:1;6015:64:0;-1:-1:-1;;;;;6107:18:0;;:9;:18;;;;;;;;;;6128:23;;;6107:44;;6169:12;:22;;6145:6;;6107:9;6169:22;;6145:6;;6169:22;:::i;:::-;;;;-1:-1:-1;;6209:37:0;;1342:25:1;;;6235:1:0;;-1:-1:-1;;;;;6209:37:0;;;;;1330:2:1;1315:18;6209:37:0;1196:177:1;8083:371:0;-1:-1:-1;;;;;8196:12:0;;8147;8196;;;:6;:12;;;;;:19;;8147:12;;8196;8209:5;;8196:19;;;;;;:::i;:::-;;;;;;;;;;;8172:43;;8268:4;:12;;;8247;:18;8260:4;-1:-1:-1;;;;;8247:18:0;-1:-1:-1;;;;;8247:18:0;;;;;;;;;;;;;:33;;;;:::i;:::-;-1:-1:-1;;;;;8226:18:0;;;;;;:12;:18;;;;;;;:54;;;;8309:12;;;;8296:26;;8226:18;;8296:26;;;;1342:25:1;;1330:2;1315:18;;1196:177;8296:26:0;;;;;;;;-1:-1:-1;;;;;8355:12:0;;;;;;:6;:12;;;;;8368:19;;:23;;8390:1;;8368:23;:::i;:::-;8355:37;;;;;;;;:::i;:::-;;;;;;;;;;;8333:6;:12;8340:4;-1:-1:-1;;;;;8333:12:0;-1:-1:-1;;;;;8333:12:0;;;;;;;;;;;;8346:5;8333:19;;;;;;;;:::i;:::-;;;;;;;;;:59;;:19;;;;;:59;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8403:12:0;;;;:6;:12;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;8403:18:0;;;;;;;;;;;;;;;;;;;;;8083:371;-1:-1:-1;;;;8083:371:0:o;3137:175::-;3223:4;3240:42;173:10;3264:9;3275:6;4762:641;-1:-1:-1;;;;;4902:20:0;;4894:63;;;;-1:-1:-1;;;4894:63:0;;8516:2:1;4894:63:0;;;8498:21:1;8555:2;8535:18;;;8528:30;8594:32;8574:18;;;8567:60;8644:18;;4894:63:0;8314:354:1;4894:63:0;-1:-1:-1;;;;;4976:23:0;;4968:64;;;;-1:-1:-1;;;4968:64:0;;8875:2:1;4968:64:0;;;8857:21:1;8914:2;8894:18;;;8887:30;8953;8933:18;;;8926:58;9001:18;;4968:64:0;8673:352:1;4968:64:0;-1:-1:-1;;;;;5129:17:0;;5105:21;5129:17;;;;;;;;;;;5165:23;;;;5157:67;;;;-1:-1:-1;;;5157:67:0;;9232:2:1;5157:67:0;;;9214:21:1;9271:2;9251:18;;;9244:30;9310:33;9290:18;;;9283:61;9361:18;;5157:67:0;9030:355:1;5157:67:0;-1:-1:-1;;;;;5252:17:0;;;:9;:17;;;;;;;;;;;5272:22;;;5252:42;;5312:20;;;;;;;;:30;;5288:6;;5252:9;5312:30;;5288:6;;5312:30;:::i;:::-;;;;;;;;5377:9;-1:-1:-1;;;;;5360:35:0;5369:6;-1:-1:-1;;;;;5360:35:0;;5388:6;5360:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;5360:35:0;;;;;;;;4883:520;4762:641;;;:::o;7624:451::-;-1:-1:-1;;;;;7788:18:0;;7708:12;7788:18;;;:12;:18;;;;;;7779:27;;:6;:27;:::i;:::-;-1:-1:-1;;;;;7760:15:0;;:9;:15;;;;;;;;;;;:46;;7738:139;;;;-1:-1:-1;;;7738:139:0;;9592:2:1;7738:139:0;;;9574:21:1;9631:2;9611:18;;;9604:30;9670:34;9650:18;;;9643:62;-1:-1:-1;;;9721:18:1;;;9714:41;9772:19;;7738:139:0;9390:407:1;7738:139:0;-1:-1:-1;;;;;7909:18:0;;;;;;:12;:18;;;;;;:27;;7930:6;;7909:27;:::i;:::-;-1:-1:-1;;;;;7888:18:0;;;;;;:12;:18;;;;;;;;:48;;;;7947:6;:12;;;;;7965:29;;;;;;;;;;;;;;;;7947:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8011:31;;;;;;7987:6;;7974:11;;2658:25:1;;;2714:2;2699:18;;2692:34;2646:2;2631:18;;2484:248;8011:31:0;;;;;;;;-1:-1:-1;8063:4:0;;7624:451;-1:-1:-1;;;7624:451:0:o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:180::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;-1:-1:-1;2051:23:1;;1900:180;-1:-1:-1;1900:180:1:o;2085:186::-;2144:6;2197:2;2185:9;2176:7;2172:23;2168:32;2165:52;;;2213:1;2210;2203:12;2165:52;2236:29;2255:9;2236:29;:::i;:::-;2226:39;2085:186;-1:-1:-1;;;2085:186:1:o;2737:260::-;2805:6;2813;2866:2;2854:9;2845:7;2841:23;2837:32;2834:52;;;2882:1;2879;2872:12;2834:52;2905:29;2924:9;2905:29;:::i;:::-;2895:39;;2953:38;2987:2;2976:9;2972:18;2953:38;:::i;:::-;2943:48;;2737:260;;;;;:::o;3002:322::-;3079:6;3087;3095;3148:2;3136:9;3127:7;3123:23;3119:32;3116:52;;;3164:1;3161;3154:12;3116:52;3187:29;3206:9;3187:29;:::i;:::-;3177:39;3263:2;3248:18;;3235:32;;-1:-1:-1;3314:2:1;3299:18;;;3286:32;;3002:322;-1:-1:-1;;;3002:322:1:o;3329:380::-;3408:1;3404:12;;;;3451;;;3472:61;;3526:4;3518:6;3514:17;3504:27;;3472:61;3579:2;3571:6;3568:14;3548:18;3545:38;3542:161;;3625:10;3620:3;3616:20;3613:1;3606:31;3660:4;3657:1;3650:15;3688:4;3685:1;3678:15;3542:161;;3329:380;;;:::o;3714:127::-;3775:10;3770:3;3766:20;3763:1;3756:31;3806:4;3803:1;3796:15;3830:4;3827:1;3820:15;3846:125;3911:9;;;3932:10;;;3929:36;;;3945:18;;:::i;3976:401::-;4178:2;4160:21;;;4217:2;4197:18;;;4190:30;4256:34;4251:2;4236:18;;4229:62;-1:-1:-1;;;4322:2:1;4307:18;;4300:35;4367:3;4352:19;;3976:401::o;4382:135::-;4421:3;4442:17;;;4439:43;;4462:18;;:::i;:::-;-1:-1:-1;4509:1:1;4498:13;;4382:135::o;4522:128::-;4589:9;;;4610:11;;;4607:37;;;4624:18;;:::i;4655:347::-;4857:2;4839:21;;;4896:2;4876:18;;;4869:30;4935:25;4930:2;4915:18;;4908:53;4993:2;4978:18;;4655:347::o;5724:127::-;5785:10;5780:3;5776:20;5773:1;5766:31;5816:4;5813:1;5806:15;5840:4;5837:1;5830:15;5856:136;5895:3;5923:5;5913:39;;5932:18;;:::i;:::-;-1:-1:-1;;;5968:18:1;;5856:136::o;8182:127::-;8243:10;8238:3;8234:20;8231:1;8224:31;8274:4;8271:1;8264:15;8298:4;8295:1;8288:15

ipfs://2ca75bd1c12179427f1f1a9c76fd159eb4dde9d5ac40d16960ee1007affa1e80