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 2025-07-09
*/

/**
 *Submitted for verification at Etherscan.io on 2022-12-01
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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(), "Ownable: 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;
    }
}

abstract contract Freezable is Context {
    event Freeze(address indexed holder);
    event Unfreeze(address indexed holder);

    mapping(address => bool) private _frozenAccount;

    modifier whenNotFrozen(address holder) {
        require(!_frozenAccount[holder]);
        _;
    }

    function isFrozen(address holder) public view virtual returns (bool frozen) {
        return _frozenAccount[holder];
    }

    function _freezeAccount(address holder) internal virtual returns (bool success) {
        require(!isFrozen(holder));
        _frozenAccount[holder] = true;
        emit Freeze(holder);
        success = true;
    }

    function _unfreezeAccount(address holder) internal virtual returns (bool success) {
        require(isFrozen(holder));
        _frozenAccount[holder] = false;
        emit Unfreeze(holder);
        success = true;
    }
}

abstract contract Pausable is Context {
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor() {
        _paused = false;
    }

    function paused() public view virtual returns (bool) {
        return _paused;
    }

    modifier whenNotPaused() {
        require(!paused(), "Pausable: paused");
        _;
    }

    modifier whenPaused() {
        require(paused(), "Pausable: not paused");
        _;
    }

    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

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, "ERC20: 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, "ERC20: 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), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: 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), "ERC20: 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), "ERC20: burn from the zero address");

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: 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), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

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

    function burnFrom(address account, uint256 amount) public virtual {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "burn amount exceeds allowance");

        unchecked {
            _approve(account, _msgSender(), currentAllowance - amount);
        }

        _burn(account, 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, "checkLock : balance exceed");
        _;
    }

    function _lock(address from, uint256 amount, uint256 releaseTime) internal returns (bool success)
    {
        require(
            _balances[from] >= amount + _totalLocked[from],
            "lock : 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 lock(address recipient, uint256 amount, uint256 releaseTime) public onlyOwner returns (bool success) {
        require(_balances[recipient] >= amount, "There is not enough balance of holder.");
        _lock(recipient, amount, releaseTime);

        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 not lock info.");
        _unlock(from, idx);
        success = true;
    }

    function releaseLock(address from) external onlyOwner returns (bool success){
        require(_locks[from].length > 0, "There is not lock info.");

        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 FOGnet is ERC20, Pausable, Freezable, ERC20Burnable, ERC20Lockable {

    constructor() ERC20("FOGnet", "FOG") {
        _mint(msg.sender, 10000000000 * (10 ** decimals()));
    }

    function pause() public onlyOwner {
        _pause();
    }

    function unpause() public onlyOwner {
        _unpause();
    }

    function freezeAccount(address holder) public onlyOwner {
        _freezeAccount(holder);
    }

    function unfreezeAccount(address holder) public onlyOwner {
        _unfreezeAccount(holder);
    }

    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 whenNotPaused whenNotFrozen(from) 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":"holder","type":"address"}],"name":"Freeze","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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","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":"holder","type":"address"}],"name":"Unfreeze","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","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":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","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":"holder","type":"address"}],"name":"freezeAccount","outputs":[],"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":"holder","type":"address"}],"name":"isFrozen","outputs":[{"internalType":"bool","name":"frozen","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"lock","outputs":[{"internalType":"bool","name":"success","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":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"holder","type":"address"}],"name":"unfreezeAccount","outputs":[],"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"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f5ffd5b506040518060400160405280600681526020017f464f476e657400000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f464f470000000000000000000000000000000000000000000000000000000000815250816003908161008b9190610612565b50806004908161009b9190610612565b5050505f60055f6101000a81548160ff0219169083151502179055505f6100c66101a160201b60201c565b90508060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35061019c336101756101a860201b60201c565b600a6101819190610849565b6402540be4006101919190610893565b6101b060201b60201c565b610a0f565b5f33905090565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361021e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102159061092e565b60405180910390fd5b61022f5f838361030260201b60201c565b8060025f828254610240919061094c565b92505081905550805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610292919061094c565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102f6919061098e565b60405180910390a35050565b6103106103bb60201b60201c565b15610350576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610347906109f1565b60405180910390fd5b8260065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156103a4575f5ffd5b6103b58484846103d060201b60201c565b50505050565b5f60055f9054906101000a900460ff16905090565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061045057607f821691505b6020821081036104635761046261040c565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026104c57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261048a565b6104cf868361048a565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61051361050e610509846104e7565b6104f0565b6104e7565b9050919050565b5f819050919050565b61052c836104f9565b6105406105388261051a565b848454610496565b825550505050565b5f5f905090565b610557610548565b610562818484610523565b505050565b5b818110156105855761057a5f8261054f565b600181019050610568565b5050565b601f8211156105ca5761059b81610469565b6105a48461047b565b810160208510156105b3578190505b6105c76105bf8561047b565b830182610567565b50505b505050565b5f82821c905092915050565b5f6105ea5f19846008026105cf565b1980831691505092915050565b5f61060283836105db565b9150826002028217905092915050565b61061b826103d5565b67ffffffffffffffff811115610634576106336103df565b5b61063e8254610439565b610649828285610589565b5f60209050601f83116001811461067a575f8415610668578287015190505b61067285826105f7565b8655506106d9565b601f19841661068886610469565b5f5b828110156106af5784890151825560018201915060208501945060208101905061068a565b868310156106cc57848901516106c8601f8916826105db565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b60018511156107635780860481111561073f5761073e6106e1565b5b600185161561074e5780820291505b808102905061075c8561070e565b9450610723565b94509492505050565b5f8261077b5760019050610836565b81610788575f9050610836565b816001811461079e57600281146107a8576107d7565b6001915050610836565b60ff8411156107ba576107b96106e1565b5b8360020a9150848211156107d1576107d06106e1565b5b50610836565b5060208310610133831016604e8410600b841016171561080c5782820a905083811115610807576108066106e1565b5b610836565b610819848484600161071a565b925090508184048111156108305761082f6106e1565b5b81810290505b9392505050565b5f60ff82169050919050565b5f610853826104e7565b915061085e8361083d565b925061088b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461076c565b905092915050565b5f61089d826104e7565b91506108a8836104e7565b92508282026108b6816104e7565b915082820484148315176108cd576108cc6106e1565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f610918601f836108d4565b9150610923826108e4565b602082019050919050565b5f6020820190508181035f8301526109458161090c565b9050919050565b5f610956826104e7565b9150610961836104e7565b9250828201905080821115610979576109786106e1565b5b92915050565b610988816104e7565b82525050565b5f6020820190506109a15f83018461097f565b92915050565b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f6109db6010836108d4565b91506109e6826109a7565b602082019050919050565b5f6020820190508181035f830152610a08816109cf565b9050919050565b6136f680610a1c5f395ff3fe608060405234801561000f575f5ffd5b50600436106101d8575f3560e01c80638da5cb5b11610102578063d8fb9337116100a0578063e2ab691d1161006f578063e2ab691d146105a4578063e5839836146105d4578063f26c159f14610604578063f2fde38b14610620576101d8565b8063d8fb9337146104e3578063dd62ed3e14610514578063de6baccb14610544578063e20bc67b14610574576101d8565b8063a9059cbb116100dc578063a9059cbb14610422578063b2520a7c14610452578063d1c4691614610483578063d29dad83146104b3576101d8565b80638da5cb5b146103b657806395d89b41146103d4578063a457c2d7146103f2576101d8565b806342966c681161017a578063788649ea11610149578063788649ea1461034457806379cc6790146103605780637eee288d1461037c5780638456cb59146103ac576101d8565b806342966c68146102d05780635c975abb146102ec57806370a082311461030a578063715018a61461033a576101d8565b806323b872dd116101b657806323b872dd14610248578063313ce5671461027857806339509351146102965780633f4ba83a146102c6576101d8565b806306fdde03146101dc578063095ea7b3146101fa57806318160ddd1461022a575b5f5ffd5b6101e461063c565b6040516101f1919061295c565b60405180910390f35b610214600480360381019061020f9190612a0d565b6106cc565b6040516102219190612a65565b60405180910390f35b6102326106e9565b60405161023f9190612a8d565b60405180910390f35b610262600480360381019061025d9190612aa6565b6106f2565b60405161026f9190612a65565b60405180910390f35b61028061082a565b60405161028d9190612b11565b60405180910390f35b6102b060048036038101906102ab9190612a0d565b610832565b6040516102bd9190612a65565b60405180910390f35b6102ce6108d9565b005b6102ea60048036038101906102e59190612b2a565b61095f565b005b6102f4610973565b6040516103019190612a65565b60405180910390f35b610324600480360381019061031f9190612b55565b610988565b6040516103319190612a8d565b60405180910390f35b610342610a22565b005b61035e60048036038101906103599190612b55565b610b5b565b005b61037a60048036038101906103759190612a0d565b610be4565b005b61039660048036038101906103919190612a0d565b610c5e565b6040516103a39190612a65565b60405180910390f35b6103b4610d72565b005b6103be610df8565b6040516103cb9190612b8f565b60405180910390f35b6103dc610e20565b6040516103e9919061295c565b60405180910390f35b61040c60048036038101906104079190612a0d565b610eb0565b6040516104199190612a65565b60405180910390f35b61043c60048036038101906104379190612a0d565b610f96565b6040516104499190612a65565b60405180910390f35b61046c60048036038101906104679190612a0d565b6110cc565b60405161047a929190612ba8565b60405180910390f35b61049d60048036038101906104989190612b55565b61115f565b6040516104aa9190612a65565b60405180910390f35b6104cd60048036038101906104c89190612b55565b6112df565b6040516104da9190612a8d565b60405180910390f35b6104fd60048036038101906104f89190612b55565b6112f0565b60405161050b929190612ba8565b60405180910390f35b61052e60048036038101906105299190612bcf565b61137a565b60405161053b9190612a8d565b60405180910390f35b61055e60048036038101906105599190612c0d565b6113fc565b60405161056b9190612a65565b60405180910390f35b61058e60048036038101906105899190612b55565b6114d2565b60405161059b9190612a65565b60405180910390f35b6105be60048036038101906105b99190612c0d565b6115a8565b6040516105cb9190612a65565b60405180910390f35b6105ee60048036038101906105e99190612b55565b6116bb565b6040516105fb9190612a65565b60405180910390f35b61061e60048036038101906106199190612b55565b61170d565b005b61063a60048036038101906106359190612b55565b611796565b005b60606003805461064b90612c8a565b80601f016020809104026020016040519081016040528092919081815260200182805461067790612c8a565b80156106c25780601f10610699576101008083540402835291602001916106c2565b820191905f5260205f20905b8154815290600101906020018083116106a557829003601f168201915b5050505050905090565b5f6106df6106d861193e565b8484611945565b6001905092915050565b5f600254905090565b5f83825f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505f81111561074c5761074a836114d2565b505b8160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107959190612ce7565b5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610813576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080a90612d64565b60405180910390fd5b61081e878787611b08565b93505050509392505050565b5f6012905090565b5f6108cf61083e61193e565b848460015f61084b61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546108ca9190612ce7565b611945565b6001905092915050565b6108e161193e565b73ffffffffffffffffffffffffffffffffffffffff166108ff610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610955576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094c90612dcc565b60405180910390fd5b61095d611bfa565b565b61097061096a61193e565b82611c9a565b50565b5f60055f9054906101000a900460ff16905090565b5f5f61099383611e5b565b90505f5f90505f5f6109a4866112f0565b91509150818410156109b4575f5ffd5b5f811115610a00575f5f90505b818110156109fe575f5f6109d589846110cc565b915091504282116109ef5780866109ec9190612ce7565b95505b505080806001019150506109c1565b505b828285610a0d9190612dea565b610a179190612ce7565b945050505050919050565b610a2a61193e565b73ffffffffffffffffffffffffffffffffffffffff16610a48610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610a9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9590612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610b6361193e565b73ffffffffffffffffffffffffffffffffffffffff16610b81610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610bd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bce90612dcc565b60405180910390fd5b610be081611ea0565b5050565b5f610bf683610bf161193e565b61137a565b905081811015610c3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3290612e67565b60405180910390fd5b610c4f83610c4761193e565b848403611945565b610c598383611c9a565b505050565b5f610c6761193e565b73ffffffffffffffffffffffffffffffffffffffff16610c85610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610cdb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd290612dcc565b60405180910390fd5b8160085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905011610d5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5490612ecf565b60405180910390fd5b610d678383611f52565b506001905092915050565b610d7a61193e565b73ffffffffffffffffffffffffffffffffffffffff16610d98610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610dee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de590612dcc565b60405180910390fd5b610df6612224565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610e2f90612c8a565b80601f0160208091040260200160405190810160405280929190818152602001828054610e5b90612c8a565b8015610ea65780601f10610e7d57610100808354040283529160200191610ea6565b820191905f5260205f20905b815481529060010190602001808311610e8957829003601f168201915b5050505050905090565b5f5f60015f610ebd61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610f77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6e90612f5d565b60405180910390fd5b610f8b610f8261193e565b85858403611945565b600191505092915050565b5f33825f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505f811115610ff057610fee836114d2565b505b8160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546110399190612ce7565b5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156110b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110ae90612d64565b60405180910390fd5b6110c186866122c6565b935050505092915050565b5f5f5f60085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20848154811061111e5761111d612f7b565b5b905f5260205f2090600202016040518060400160405290815f82015481526020016001820154815250509050805f0151925080602001519150509250929050565b5f61116861193e565b73ffffffffffffffffffffffffffffffffffffffff16611186610df8565b73ffffffffffffffffffffffffffffffffffffffff16146111dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d390612dcc565b60405180910390fd5b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490501161125e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125590612ecf565b60405180910390fd5b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505b5f8111156112d5576112c1836001836112bc9190612dea565b611f52565b5080806112cd90612fa8565b9150506112a3565b5060019050919050565b5f6112e982611e5b565b9050919050565b5f5f60095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054915060085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490509050915091565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f61140561193e565b73ffffffffffffffffffffffffffffffffffffffff16611423610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611479576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161147090612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036114b0575f5ffd5b6114bb3385856122e3565b6114c684848461254d565b50600190509392505050565b5f5f5f90505b60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905081101561159e574260085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082815481106115705761156f612f7b565b5b905f5260205f2090600202015f015410156115915761158f8382611f52565b505b80806001019150506114d8565b5060019050919050565b5f6115b161193e565b73ffffffffffffffffffffffffffffffffffffffff166115cf610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611625576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161161c90612dcc565b60405180910390fd5b825f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156116a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169b9061303f565b60405180910390fd5b6116af84848461254d565b50600190509392505050565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff169050919050565b61171561193e565b73ffffffffffffffffffffffffffffffffffffffff16611733610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611789576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178090612dcc565b60405180910390fd5b61179281612786565b5050565b61179e61193e565b73ffffffffffffffffffffffffffffffffffffffff166117bc610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611812576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161180990612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611880576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611877906130a7565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036119b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119aa90613135565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a21576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a18906131c3565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611afb9190612a8d565b60405180910390a3505050565b5f611b148484846122e3565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f611b5b61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015611bda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bd190613251565b60405180910390fd5b611bee85611be661193e565b858403611945565b60019150509392505050565b611c02610973565b611c41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c38906132b9565b60405180910390fd5b5f60055f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa611c8361193e565b604051611c909190612b8f565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611d08576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cff90613347565b60405180910390fd5b611d13825f8361283a565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611d96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d8d906133d5565b60405180910390fd5b8181035f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f828254611dea9190612dea565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611e4e9190612a8d565b60405180910390a3505050565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f611eaa826116bb565b611eb2575f5ffd5b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b5f5f60085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208381548110611fa357611fa2612f7b565b5b905f5260205f2090600202019050806001015460095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611ffe9190612dea565b60095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508373ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f182600101546040516120899190612a8d565b60405180910390a260085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160085f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061211b9190612dea565b8154811061212c5761212b612f7b565b5b905f5260205f20906002020160085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20848154811061218757612186612f7b565b5b905f5260205f2090600202015f820154815f01556001820154816001015590505060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806121f5576121f46133f3565b5b600190038181905f5260205f2090600202015f5f82015f9055600182015f905550509055600191505092915050565b61222c610973565b1561226c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122639061346a565b60405180910390fd5b600160055f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586122af61193e565b6040516122bc9190612b8f565b60405180910390a1565b5f6122d96122d261193e565b84846122e3565b6001905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612351576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612348906134f8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036123bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123b690613586565b60405180910390fd5b6123ca83838361283a565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561244d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161244490613614565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546124db9190612ce7565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161253f9190612a8d565b60405180910390a350505050565b5f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054836125979190612ce7565b5f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015612615576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161260c906136a2565b60405180910390fd5b8260095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461265e9190612ce7565b60095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20604051806040016040528084815260200185815250908060018154018082558091505060019003905f5260205f2090600202015f909190919091505f820151815f01556020820151816001015550508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051612773929190612ba8565b60405180910390a2600190509392505050565b5f612790826116bb565b15612799575f5ffd5b600160065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b612842610973565b15612882576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016128799061346a565b60405180910390fd5b8260065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156128d6575f5ffd5b6128e18484846128e7565b50505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61292e826128ec565b61293881856128f6565b9350612948818560208601612906565b61295181612914565b840191505092915050565b5f6020820190508181035f8301526129748184612924565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6129a982612980565b9050919050565b6129b98161299f565b81146129c3575f5ffd5b50565b5f813590506129d4816129b0565b92915050565b5f819050919050565b6129ec816129da565b81146129f6575f5ffd5b50565b5f81359050612a07816129e3565b92915050565b5f5f60408385031215612a2357612a2261297c565b5b5f612a30858286016129c6565b9250506020612a41858286016129f9565b9150509250929050565b5f8115159050919050565b612a5f81612a4b565b82525050565b5f602082019050612a785f830184612a56565b92915050565b612a87816129da565b82525050565b5f602082019050612aa05f830184612a7e565b92915050565b5f5f5f60608486031215612abd57612abc61297c565b5b5f612aca868287016129c6565b9350506020612adb868287016129c6565b9250506040612aec868287016129f9565b9150509250925092565b5f60ff82169050919050565b612b0b81612af6565b82525050565b5f602082019050612b245f830184612b02565b92915050565b5f60208284031215612b3f57612b3e61297c565b5b5f612b4c848285016129f9565b91505092915050565b5f60208284031215612b6a57612b6961297c565b5b5f612b77848285016129c6565b91505092915050565b612b898161299f565b82525050565b5f602082019050612ba25f830184612b80565b92915050565b5f604082019050612bbb5f830185612a7e565b612bc86020830184612a7e565b9392505050565b5f5f60408385031215612be557612be461297c565b5b5f612bf2858286016129c6565b9250506020612c03858286016129c6565b9150509250929050565b5f5f5f60608486031215612c2457612c2361297c565b5b5f612c31868287016129c6565b9350506020612c42868287016129f9565b9250506040612c53868287016129f9565b9150509250925092565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680612ca157607f821691505b602082108103612cb457612cb3612c5d565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612cf1826129da565b9150612cfc836129da565b9250828201905080821115612d1457612d13612cba565b5b92915050565b7f636865636b4c6f636b203a2062616c616e6365206578636565640000000000005f82015250565b5f612d4e601a836128f6565b9150612d5982612d1a565b602082019050919050565b5f6020820190508181035f830152612d7b81612d42565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612db66020836128f6565b9150612dc182612d82565b602082019050919050565b5f6020820190508181035f830152612de381612daa565b9050919050565b5f612df4826129da565b9150612dff836129da565b9250828203905081811115612e1757612e16612cba565b5b92915050565b7f6275726e20616d6f756e74206578636565647320616c6c6f77616e63650000005f82015250565b5f612e51601d836128f6565b9150612e5c82612e1d565b602082019050919050565b5f6020820190508181035f830152612e7e81612e45565b9050919050565b7f5468657265206973206e6f74206c6f636b20696e666f2e0000000000000000005f82015250565b5f612eb96017836128f6565b9150612ec482612e85565b602082019050919050565b5f6020820190508181035f830152612ee681612ead565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f612f476025836128f6565b9150612f5282612eed565b604082019050919050565b5f6020820190508181035f830152612f7481612f3b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f612fb2826129da565b91505f8203612fc457612fc3612cba565b5b600182039050919050565b7f5468657265206973206e6f7420656e6f7567682062616c616e6365206f6620685f8201527f6f6c6465722e0000000000000000000000000000000000000000000000000000602082015250565b5f6130296026836128f6565b915061303482612fcf565b604082019050919050565b5f6020820190508181035f8301526130568161301d565b9050919050565b7f6e6577206f776e657220697320746865207a65726f20616464726573730000005f82015250565b5f613091601d836128f6565b915061309c8261305d565b602082019050919050565b5f6020820190508181035f8301526130be81613085565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61311f6024836128f6565b915061312a826130c5565b604082019050919050565b5f6020820190508181035f83015261314c81613113565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6131ad6022836128f6565b91506131b882613153565b604082019050919050565b5f6020820190508181035f8301526131da816131a1565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61323b6028836128f6565b9150613246826131e1565b604082019050919050565b5f6020820190508181035f8301526132688161322f565b9050919050565b7f5061757361626c653a206e6f74207061757365640000000000000000000000005f82015250565b5f6132a36014836128f6565b91506132ae8261326f565b602082019050919050565b5f6020820190508181035f8301526132d081613297565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f6133316021836128f6565b915061333c826132d7565b604082019050919050565b5f6020820190508181035f83015261335e81613325565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f6133bf6022836128f6565b91506133ca82613365565b604082019050919050565b5f6020820190508181035f8301526133ec816133b3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f6134546010836128f6565b915061345f82613420565b602082019050919050565b5f6020820190508181035f83015261348181613448565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6134e26025836128f6565b91506134ed82613488565b604082019050919050565b5f6020820190508181035f83015261350f816134d6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6135706023836128f6565b915061357b82613516565b604082019050919050565b5f6020820190508181035f83015261359d81613564565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6135fe6026836128f6565b9150613609826135a4565b604082019050919050565b5f6020820190508181035f83015261362b816135f2565b9050919050565b7f6c6f636b203a206c6f636b656420746f74616c2073686f756c6420626520736d5f8201527f616c6c6572207468616e2062616c616e63650000000000000000000000000000602082015250565b5f61368c6032836128f6565b915061369782613632565b604082019050919050565b5f6020820190508181035f8301526136b981613680565b905091905056fea26469706673582212206560994df2112a7a3566a6964450e5a70f208e08f653b6c7dbe5830f6abf7d8d64736f6c634300081e0033

0x608060405234801561000f575f5ffd5b50600436106101d8575f3560e01c80638da5cb5b11610102578063d8fb9337116100a0578063e2ab691d1161006f578063e2ab691d146105a4578063e5839836146105d4578063f26c159f14610604578063f2fde38b14610620576101d8565b8063d8fb9337146104e3578063dd62ed3e14610514578063de6baccb14610544578063e20bc67b14610574576101d8565b8063a9059cbb116100dc578063a9059cbb14610422578063b2520a7c14610452578063d1c4691614610483578063d29dad83146104b3576101d8565b80638da5cb5b146103b657806395d89b41146103d4578063a457c2d7146103f2576101d8565b806342966c681161017a578063788649ea11610149578063788649ea1461034457806379cc6790146103605780637eee288d1461037c5780638456cb59146103ac576101d8565b806342966c68146102d05780635c975abb146102ec57806370a082311461030a578063715018a61461033a576101d8565b806323b872dd116101b657806323b872dd14610248578063313ce5671461027857806339509351146102965780633f4ba83a146102c6576101d8565b806306fdde03146101dc578063095ea7b3146101fa57806318160ddd1461022a575b5f5ffd5b6101e461063c565b6040516101f1919061295c565b60405180910390f35b610214600480360381019061020f9190612a0d565b6106cc565b6040516102219190612a65565b60405180910390f35b6102326106e9565b60405161023f9190612a8d565b60405180910390f35b610262600480360381019061025d9190612aa6565b6106f2565b60405161026f9190612a65565b60405180910390f35b61028061082a565b60405161028d9190612b11565b60405180910390f35b6102b060048036038101906102ab9190612a0d565b610832565b6040516102bd9190612a65565b60405180910390f35b6102ce6108d9565b005b6102ea60048036038101906102e59190612b2a565b61095f565b005b6102f4610973565b6040516103019190612a65565b60405180910390f35b610324600480360381019061031f9190612b55565b610988565b6040516103319190612a8d565b60405180910390f35b610342610a22565b005b61035e60048036038101906103599190612b55565b610b5b565b005b61037a60048036038101906103759190612a0d565b610be4565b005b61039660048036038101906103919190612a0d565b610c5e565b6040516103a39190612a65565b60405180910390f35b6103b4610d72565b005b6103be610df8565b6040516103cb9190612b8f565b60405180910390f35b6103dc610e20565b6040516103e9919061295c565b60405180910390f35b61040c60048036038101906104079190612a0d565b610eb0565b6040516104199190612a65565b60405180910390f35b61043c60048036038101906104379190612a0d565b610f96565b6040516104499190612a65565b60405180910390f35b61046c60048036038101906104679190612a0d565b6110cc565b60405161047a929190612ba8565b60405180910390f35b61049d60048036038101906104989190612b55565b61115f565b6040516104aa9190612a65565b60405180910390f35b6104cd60048036038101906104c89190612b55565b6112df565b6040516104da9190612a8d565b60405180910390f35b6104fd60048036038101906104f89190612b55565b6112f0565b60405161050b929190612ba8565b60405180910390f35b61052e60048036038101906105299190612bcf565b61137a565b60405161053b9190612a8d565b60405180910390f35b61055e60048036038101906105599190612c0d565b6113fc565b60405161056b9190612a65565b60405180910390f35b61058e60048036038101906105899190612b55565b6114d2565b60405161059b9190612a65565b60405180910390f35b6105be60048036038101906105b99190612c0d565b6115a8565b6040516105cb9190612a65565b60405180910390f35b6105ee60048036038101906105e99190612b55565b6116bb565b6040516105fb9190612a65565b60405180910390f35b61061e60048036038101906106199190612b55565b61170d565b005b61063a60048036038101906106359190612b55565b611796565b005b60606003805461064b90612c8a565b80601f016020809104026020016040519081016040528092919081815260200182805461067790612c8a565b80156106c25780601f10610699576101008083540402835291602001916106c2565b820191905f5260205f20905b8154815290600101906020018083116106a557829003601f168201915b5050505050905090565b5f6106df6106d861193e565b8484611945565b6001905092915050565b5f600254905090565b5f83825f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505f81111561074c5761074a836114d2565b505b8160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107959190612ce7565b5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610813576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080a90612d64565b60405180910390fd5b61081e878787611b08565b93505050509392505050565b5f6012905090565b5f6108cf61083e61193e565b848460015f61084b61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546108ca9190612ce7565b611945565b6001905092915050565b6108e161193e565b73ffffffffffffffffffffffffffffffffffffffff166108ff610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610955576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094c90612dcc565b60405180910390fd5b61095d611bfa565b565b61097061096a61193e565b82611c9a565b50565b5f60055f9054906101000a900460ff16905090565b5f5f61099383611e5b565b90505f5f90505f5f6109a4866112f0565b91509150818410156109b4575f5ffd5b5f811115610a00575f5f90505b818110156109fe575f5f6109d589846110cc565b915091504282116109ef5780866109ec9190612ce7565b95505b505080806001019150506109c1565b505b828285610a0d9190612dea565b610a179190612ce7565b945050505050919050565b610a2a61193e565b73ffffffffffffffffffffffffffffffffffffffff16610a48610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610a9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9590612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610b6361193e565b73ffffffffffffffffffffffffffffffffffffffff16610b81610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610bd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bce90612dcc565b60405180910390fd5b610be081611ea0565b5050565b5f610bf683610bf161193e565b61137a565b905081811015610c3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3290612e67565b60405180910390fd5b610c4f83610c4761193e565b848403611945565b610c598383611c9a565b505050565b5f610c6761193e565b73ffffffffffffffffffffffffffffffffffffffff16610c85610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610cdb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd290612dcc565b60405180910390fd5b8160085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905011610d5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5490612ecf565b60405180910390fd5b610d678383611f52565b506001905092915050565b610d7a61193e565b73ffffffffffffffffffffffffffffffffffffffff16610d98610df8565b73ffffffffffffffffffffffffffffffffffffffff1614610dee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de590612dcc565b60405180910390fd5b610df6612224565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610e2f90612c8a565b80601f0160208091040260200160405190810160405280929190818152602001828054610e5b90612c8a565b8015610ea65780601f10610e7d57610100808354040283529160200191610ea6565b820191905f5260205f20905b815481529060010190602001808311610e8957829003601f168201915b5050505050905090565b5f5f60015f610ebd61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610f77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6e90612f5d565b60405180910390fd5b610f8b610f8261193e565b85858403611945565b600191505092915050565b5f33825f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505f811115610ff057610fee836114d2565b505b8160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546110399190612ce7565b5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156110b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110ae90612d64565b60405180910390fd5b6110c186866122c6565b935050505092915050565b5f5f5f60085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20848154811061111e5761111d612f7b565b5b905f5260205f2090600202016040518060400160405290815f82015481526020016001820154815250509050805f0151925080602001519150509250929050565b5f61116861193e565b73ffffffffffffffffffffffffffffffffffffffff16611186610df8565b73ffffffffffffffffffffffffffffffffffffffff16146111dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d390612dcc565b60405180910390fd5b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490501161125e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125590612ecf565b60405180910390fd5b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905090505b5f8111156112d5576112c1836001836112bc9190612dea565b611f52565b5080806112cd90612fa8565b9150506112a3565b5060019050919050565b5f6112e982611e5b565b9050919050565b5f5f60095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054915060085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490509050915091565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f61140561193e565b73ffffffffffffffffffffffffffffffffffffffff16611423610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611479576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161147090612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036114b0575f5ffd5b6114bb3385856122e3565b6114c684848461254d565b50600190509392505050565b5f5f5f90505b60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905081101561159e574260085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082815481106115705761156f612f7b565b5b905f5260205f2090600202015f015410156115915761158f8382611f52565b505b80806001019150506114d8565b5060019050919050565b5f6115b161193e565b73ffffffffffffffffffffffffffffffffffffffff166115cf610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611625576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161161c90612dcc565b60405180910390fd5b825f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156116a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169b9061303f565b60405180910390fd5b6116af84848461254d565b50600190509392505050565b5f60065f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff169050919050565b61171561193e565b73ffffffffffffffffffffffffffffffffffffffff16611733610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611789576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178090612dcc565b60405180910390fd5b61179281612786565b5050565b61179e61193e565b73ffffffffffffffffffffffffffffffffffffffff166117bc610df8565b73ffffffffffffffffffffffffffffffffffffffff1614611812576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161180990612dcc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611880576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611877906130a7565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036119b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119aa90613135565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a21576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a18906131c3565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611afb9190612a8d565b60405180910390a3505050565b5f611b148484846122e3565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f611b5b61193e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015611bda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611bd190613251565b60405180910390fd5b611bee85611be661193e565b858403611945565b60019150509392505050565b611c02610973565b611c41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c38906132b9565b60405180910390fd5b5f60055f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa611c8361193e565b604051611c909190612b8f565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611d08576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cff90613347565b60405180910390fd5b611d13825f8361283a565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611d96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d8d906133d5565b60405180910390fd5b8181035f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f828254611dea9190612dea565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611e4e9190612a8d565b60405180910390a3505050565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f611eaa826116bb565b611eb2575f5ffd5b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b5f5f60085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208381548110611fa357611fa2612f7b565b5b905f5260205f2090600202019050806001015460095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611ffe9190612dea565b60095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508373ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f182600101546040516120899190612a8d565b60405180910390a260085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160085f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061211b9190612dea565b8154811061212c5761212b612f7b565b5b905f5260205f20906002020160085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20848154811061218757612186612f7b565b5b905f5260205f2090600202015f820154815f01556001820154816001015590505060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806121f5576121f46133f3565b5b600190038181905f5260205f2090600202015f5f82015f9055600182015f905550509055600191505092915050565b61222c610973565b1561226c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122639061346a565b60405180910390fd5b600160055f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586122af61193e565b6040516122bc9190612b8f565b60405180910390a1565b5f6122d96122d261193e565b84846122e3565b6001905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612351576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612348906134f8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036123bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123b690613586565b60405180910390fd5b6123ca83838361283a565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561244d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161244490613614565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546124db9190612ce7565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161253f9190612a8d565b60405180910390a350505050565b5f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054836125979190612ce7565b5f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015612615576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161260c906136a2565b60405180910390fd5b8260095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461265e9190612ce7565b60095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20604051806040016040528084815260200185815250908060018154018082558091505060019003905f5260205f2090600202015f909190919091505f820151815f01556020820151816001015550508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051612773929190612ba8565b60405180910390a2600190509392505050565b5f612790826116bb565b15612799575f5ffd5b600160065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b612842610973565b15612882576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016128799061346a565b60405180910390fd5b8260065f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156128d6575f5ffd5b6128e18484846128e7565b50505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61292e826128ec565b61293881856128f6565b9350612948818560208601612906565b61295181612914565b840191505092915050565b5f6020820190508181035f8301526129748184612924565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6129a982612980565b9050919050565b6129b98161299f565b81146129c3575f5ffd5b50565b5f813590506129d4816129b0565b92915050565b5f819050919050565b6129ec816129da565b81146129f6575f5ffd5b50565b5f81359050612a07816129e3565b92915050565b5f5f60408385031215612a2357612a2261297c565b5b5f612a30858286016129c6565b9250506020612a41858286016129f9565b9150509250929050565b5f8115159050919050565b612a5f81612a4b565b82525050565b5f602082019050612a785f830184612a56565b92915050565b612a87816129da565b82525050565b5f602082019050612aa05f830184612a7e565b92915050565b5f5f5f60608486031215612abd57612abc61297c565b5b5f612aca868287016129c6565b9350506020612adb868287016129c6565b9250506040612aec868287016129f9565b9150509250925092565b5f60ff82169050919050565b612b0b81612af6565b82525050565b5f602082019050612b245f830184612b02565b92915050565b5f60208284031215612b3f57612b3e61297c565b5b5f612b4c848285016129f9565b91505092915050565b5f60208284031215612b6a57612b6961297c565b5b5f612b77848285016129c6565b91505092915050565b612b898161299f565b82525050565b5f602082019050612ba25f830184612b80565b92915050565b5f604082019050612bbb5f830185612a7e565b612bc86020830184612a7e565b9392505050565b5f5f60408385031215612be557612be461297c565b5b5f612bf2858286016129c6565b9250506020612c03858286016129c6565b9150509250929050565b5f5f5f60608486031215612c2457612c2361297c565b5b5f612c31868287016129c6565b9350506020612c42868287016129f9565b9250506040612c53868287016129f9565b9150509250925092565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680612ca157607f821691505b602082108103612cb457612cb3612c5d565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612cf1826129da565b9150612cfc836129da565b9250828201905080821115612d1457612d13612cba565b5b92915050565b7f636865636b4c6f636b203a2062616c616e6365206578636565640000000000005f82015250565b5f612d4e601a836128f6565b9150612d5982612d1a565b602082019050919050565b5f6020820190508181035f830152612d7b81612d42565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612db66020836128f6565b9150612dc182612d82565b602082019050919050565b5f6020820190508181035f830152612de381612daa565b9050919050565b5f612df4826129da565b9150612dff836129da565b9250828203905081811115612e1757612e16612cba565b5b92915050565b7f6275726e20616d6f756e74206578636565647320616c6c6f77616e63650000005f82015250565b5f612e51601d836128f6565b9150612e5c82612e1d565b602082019050919050565b5f6020820190508181035f830152612e7e81612e45565b9050919050565b7f5468657265206973206e6f74206c6f636b20696e666f2e0000000000000000005f82015250565b5f612eb96017836128f6565b9150612ec482612e85565b602082019050919050565b5f6020820190508181035f830152612ee681612ead565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f612f476025836128f6565b9150612f5282612eed565b604082019050919050565b5f6020820190508181035f830152612f7481612f3b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f612fb2826129da565b91505f8203612fc457612fc3612cba565b5b600182039050919050565b7f5468657265206973206e6f7420656e6f7567682062616c616e6365206f6620685f8201527f6f6c6465722e0000000000000000000000000000000000000000000000000000602082015250565b5f6130296026836128f6565b915061303482612fcf565b604082019050919050565b5f6020820190508181035f8301526130568161301d565b9050919050565b7f6e6577206f776e657220697320746865207a65726f20616464726573730000005f82015250565b5f613091601d836128f6565b915061309c8261305d565b602082019050919050565b5f6020820190508181035f8301526130be81613085565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61311f6024836128f6565b915061312a826130c5565b604082019050919050565b5f6020820190508181035f83015261314c81613113565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6131ad6022836128f6565b91506131b882613153565b604082019050919050565b5f6020820190508181035f8301526131da816131a1565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61323b6028836128f6565b9150613246826131e1565b604082019050919050565b5f6020820190508181035f8301526132688161322f565b9050919050565b7f5061757361626c653a206e6f74207061757365640000000000000000000000005f82015250565b5f6132a36014836128f6565b91506132ae8261326f565b602082019050919050565b5f6020820190508181035f8301526132d081613297565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f6133316021836128f6565b915061333c826132d7565b604082019050919050565b5f6020820190508181035f83015261335e81613325565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f6133bf6022836128f6565b91506133ca82613365565b604082019050919050565b5f6020820190508181035f8301526133ec816133b3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b7f5061757361626c653a20706175736564000000000000000000000000000000005f82015250565b5f6134546010836128f6565b915061345f82613420565b602082019050919050565b5f6020820190508181035f83015261348181613448565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6134e26025836128f6565b91506134ed82613488565b604082019050919050565b5f6020820190508181035f83015261350f816134d6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6135706023836128f6565b915061357b82613516565b604082019050919050565b5f6020820190508181035f83015261359d81613564565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6135fe6026836128f6565b9150613609826135a4565b604082019050919050565b5f6020820190508181035f83015261362b816135f2565b9050919050565b7f6c6f636b203a206c6f636b656420746f74616c2073686f756c6420626520736d5f8201527f616c6c6572207468616e2062616c616e63650000000000000000000000000000602082015250565b5f61368c6032836128f6565b915061369782613632565b604082019050919050565b5f6020820190508181035f8301526136b981613680565b905091905056fea26469706673582212206560994df2112a7a3566a6964450e5a70f208e08f653b6c7dbe5830f6abf7d8d64736f6c634300081e0033

12561:1948:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4301:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5215:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4622:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13284:181;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4521:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5894:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12830:65;;;:::i;:::-;;8700:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2443:86;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13473:700;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;946:148;;;:::i;:::-;;13008:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8799:365;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11284:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12761:61;;;:::i;:::-;;723:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4409:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6117:415;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13117:159;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12119:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;11509:290;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14181:130;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12376:178;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;5056:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11807:304;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10990:286;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10697:285;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1646:124;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12903:97;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1102:235;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4301:100;4355:13;4388:5;4381:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4301:100;:::o;5215:169::-;5298:4;5315:39;5324:12;:10;:12::i;:::-;5338:7;5347:6;5315:8;:39::i;:::-;5372:4;5365:11;;5215:169;;;;:::o;4622:108::-;4683:7;4710:12;;4703:19;;4622:108;:::o;13284:181::-;13397:4;13365;13371:6;9623:14;9640:6;:12;9647:4;9640:12;;;;;;;;;;;;;;;:19;;;;9623:36;;9683:1;9674:6;:10;9670:59;;;9701:16;9712:4;9701:10;:16::i;:::-;;9670:59;9787:6;9766:12;:18;9779:4;9766:18;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;9747:9;:15;9757:4;9747:15;;;;;;;;;;;;;;;;:46;;9739:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;13421:36:::1;13440:4;13446:2;13450:6;13421:18;:36::i;:::-;13414:43;;9612:232:::0;13284:181;;;;;;;:::o;4521:93::-;4579:5;4604:2;4597:9;;4521:93;:::o;5894:215::-;5982:4;5999:80;6008:12;:10;:12::i;:::-;6022:7;6068:10;6031:11;:25;6043:12;:10;:12::i;:::-;6031:25;;;;;;;;;;;;;;;:34;6057:7;6031:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;5999:8;:80::i;:::-;6097:4;6090:11;;5894:215;;;;:::o;12830:65::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12877:10:::1;:8;:10::i;:::-;12830:65::o:0;8700:91::-;8756:27;8762:12;:10;:12::i;:::-;8776:6;8756:5;:27::i;:::-;8700:91;:::o;2443:86::-;2490:4;2514:7;;;;;;;;;;;2507:14;;2443:86;:::o;13473:700::-;13538:15;13566:20;13589:23;13605:6;13589:15;:23::i;:::-;13566:46;;13623:24;13650:1;13623:28;;13663:21;13686:20;13710:19;13722:6;13710:11;:19::i;:::-;13662:67;;;;13764:13;13748:12;:29;;13740:38;;;;;;13810:1;13795:12;:16;13791:305;;;13833:6;13842:1;13833:10;;13828:257;13849:12;13845:1;:16;13828:257;;;13888:19;13909:14;13927:19;13936:6;13944:1;13927:8;:19::i;:::-;13887:59;;;;13984:15;13969:11;:30;13965:105;;14044:6;14024:26;;;;;:::i;:::-;;;13965:105;13868:217;;13863:3;;;;;;;13828:257;;;;13791:305;14149:16;14133:13;14118:12;:28;;;;:::i;:::-;:47;;;;:::i;:::-;14108:57;;13555:618;;;;13473:700;;;:::o;946:148::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1053:1:::1;1016:40;;1037:6;;;;;;;;;;;1016:40;;;;;;;;;;;;1084:1;1067:6;;:19;;;;;;;;;;;;;;;;;;946:148::o:0;13008:101::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13077:24:::1;13094:6;13077:16;:24::i;:::-;;13008:101:::0;:::o;8799:365::-;8876:24;8903:32;8913:7;8922:12;:10;:12::i;:::-;8903:9;:32::i;:::-;8876:59;;8974:6;8954:16;:26;;8946:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9052:58;9061:7;9070:12;:10;:12::i;:::-;9103:6;9084:16;:25;9052:8;:58::i;:::-;9134:22;9140:7;9149:6;9134:5;:22::i;:::-;8865:299;8799:365;;:::o;11284:217::-;11353:12;869;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;11408:3:::1;11386:6;:12;11393:4;11386:12;;;;;;;;;;;;;;;:19;;;;:25;11378:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;11450:18;11458:4;11464:3;11450:7;:18::i;:::-;;11489:4;11479:14;;11284:217:::0;;;;:::o;12761:61::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12806:8:::1;:6;:8::i;:::-;12761:61::o:0;723:87::-;769:7;796:6;;;;;;;;;;;789:13;;723:87;:::o;4409:104::-;4465:13;4498:7;4491:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4409:104;:::o;6117:415::-;6210:4;6227:24;6254:11;:25;6266:12;:10;:12::i;:::-;6254:25;;;;;;;;;;;;;;;:34;6280:7;6254:34;;;;;;;;;;;;;;;;6227:61;;6327:15;6307:16;:35;;6299:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;6422:67;6431:12;:10;:12::i;:::-;6445:7;6473:15;6454:16;:34;6422:8;:67::i;:::-;6520:4;6513:11;;;6117:415;;;;:::o;13117:159::-;13218:4;13180:10;13192:6;9623:14;9640:6;:12;9647:4;9640:12;;;;;;;;;;;;;;;:19;;;;9623:36;;9683:1;9674:6;:10;9670:59;;;9701:16;9712:4;9701:10;:16::i;:::-;;9670:59;9787:6;9766:12;:18;9779:4;9766:18;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;9747:9;:15;9757:4;9747:15;;;;;;;;;;;;;;;;:46;;9739:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;13242:26:::1;13257:2;13261:6;13242:14;:26::i;:::-;13235:33;;9612:232:::0;13117:159;;;;;;:::o;12119:249::-;12189:19;12210:14;12242:20;12265:6;:14;12272:6;12265:14;;;;;;;;;;;;;;;12280:5;12265:21;;;;;;;;:::i;:::-;;;;;;;;;;;;12242:44;;;;;;;;;;;;;;;;;;;;;;;;;;;12311:4;:17;;;12297:31;;12348:4;:12;;;12339:21;;12231:137;12119:249;;;;;:::o;11509:290::-;11572:12;869;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;11626:1:::1;11604:6;:12;11611:4;11604:12;;;;;;;;;;;;;;;:19;;;;:23;11596:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;11673:9;11685:6;:12;11692:4;11685:12;;;;;;;;;;;;;;;:19;;;;11673:31;;11668:97;11710:1;11706;:5;11668:97;;;11733:20;11741:4;11751:1;11747;:5;;;;:::i;:::-;11733:7;:20::i;:::-;;11713:3;;;;;:::i;:::-;;;;11668:97;;;;11787:4;11777:14;;11509:290:::0;;;:::o;14181:130::-;14242:15;14280:23;14296:6;14280:15;:23::i;:::-;14270:33;;14181:130;;;:::o;12376:178::-;12434:14;12450;12485:12;:20;12498:6;12485:20;;;;;;;;;;;;;;;;12476:29;;12525:6;:14;12532:6;12525:14;;;;;;;;;;;;;;;:21;;;;12516:30;;12376:178;;;:::o;5056:151::-;5145:7;5172:11;:18;5184:5;5172:18;;;;;;;;;;;;;;;:27;5191:7;5172:27;;;;;;;;;;;;;;;;5165:34;;5056:151;;;;:::o;11807:304::-;11917:12;869;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;11976:1:::1;11955:23;;:9;:23;;::::0;11947:32:::1;;;;;;11990:40;12000:10;12012:9;12023:6;11990:9;:40::i;:::-;12041:37;12047:9;12058:6;12066:11;12041:5;:37::i;:::-;;12099:4;12089:14;;11807:304:::0;;;;;:::o;10990:286::-;11040:12;11070:9;11082:1;11070:13;;11065:179;11089:6;:12;11096:4;11089:12;;;;;;;;;;;;;;;:19;;;;11085:1;:23;11065:179;;;11165:15;11134:6;:12;11141:4;11134:12;;;;;;;;;;;;;;;11147:1;11134:15;;;;;;;;:::i;:::-;;;;;;;;;;;;:28;;;:46;11130:103;;;11201:16;11209:4;11215:1;11201:7;:16::i;:::-;;11130:103;11110:3;;;;;;;11065:179;;;;11264:4;11254:14;;10990:286;;;:::o;10697:285::-;10793:12;869;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10850:6:::1;10826:9;:20;10836:9;10826:20;;;;;;;;;;;;;;;;:30;;10818:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;10910:37;10916:9;10927:6;10935:11;10910:5;:37::i;:::-;;10970:4;10960:14;;10697:285:::0;;;;;:::o;1646:124::-;1709:11;1740:14;:22;1755:6;1740:22;;;;;;;;;;;;;;;;;;;;;;;;;1733:29;;1646:124;;;:::o;12903:97::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12970:22:::1;12985:6;12970:14;:22::i;:::-;;12903:97:::0;:::o;1102:235::-;869:12;:10;:12::i;:::-;858:23;;:7;:5;:7::i;:::-;:23;;;850:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1211:1:::1;1191:22;;:8;:22;;::::0;1183:64:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;1292:8;1263:38;;1284:6;;;;;;;;;;;1263:38;;;;;;;;;;;;1321:8;1312:6;;:17;;;;;;;;;;;;;;;;;;1102:235:::0;:::o;166:98::-;219:7;246:10;239:17;;166:98;:::o;8114:380::-;8267:1;8250:19;;:5;:19;;;8242:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;8348:1;8329:21;;:7;:21;;;8321:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;8432:6;8402:11;:18;8414:5;8402:18;;;;;;;;;;;;;;;:27;8421:7;8402:27;;;;;;;;;;;;;;;:36;;;;8470:7;8454:32;;8463:5;8454:32;;;8479:6;8454:32;;;;;;:::i;:::-;;;;;;;;8114:380;;;:::o;5392:494::-;5532:4;5549:36;5559:6;5567:9;5578:6;5549:9;:36::i;:::-;5598:24;5625:11;:19;5637:6;5625:19;;;;;;;;;;;;;;;:33;5645:12;:10;:12::i;:::-;5625:33;;;;;;;;;;;;;;;;5598:60;;5697:6;5677:16;:26;;5669:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;5786:57;5795:6;5803:12;:10;:12::i;:::-;5836:6;5817:16;:25;5786:8;:57::i;:::-;5874:4;5867:11;;;5392:494;;;;;:::o;2867:120::-;2680:8;:6;:8::i;:::-;2672:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;2936:5:::1;2926:7;;:15;;;;;;;;;;;;;;;;;;2957:22;2966:12;:10;:12::i;:::-;2957:22;;;;;;:::i;:::-;;;;;;;;2867:120::o:0;7572:534::-;7675:1;7656:21;;:7;:21;;;7648:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;7728:49;7749:7;7766:1;7770:6;7728:20;:49::i;:::-;7790:22;7815:9;:18;7825:7;7815:18;;;;;;;;;;;;;;;;7790:43;;7870:6;7852:14;:24;;7844:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;7991:6;7974:14;:23;7953:9;:18;7963:7;7953:18;;;;;;;;;;;;;;;:44;;;;8037:6;8021:12;;:22;;;;;;;:::i;:::-;;;;;;;;8087:1;8061:37;;8070:7;8061:37;;;8091:6;8061:37;;;;;;:::i;:::-;;;;;;;;7637:469;7572:534;;:::o;4738:127::-;4812:7;4839:9;:18;4849:7;4839:18;;;;;;;;;;;;;;;;4832:25;;4738:127;;;:::o;2006:224::-;2074:12;2107:16;2116:6;2107:8;:16::i;:::-;2099:25;;;;;;2160:5;2135:14;:22;2150:6;2135:22;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;2190:6;2181:16;;;;;;;;;;;;2218:4;2208:14;;2006:224;;;:::o;10318:371::-;10382:12;10407:21;10431:6;:12;10438:4;10431:12;;;;;;;;;;;;;;;10444:5;10431:19;;;;;;;;:::i;:::-;;;;;;;;;;;;10407:43;;10503:4;:12;;;10482;:18;10495:4;10482:18;;;;;;;;;;;;;;;;:33;;;;:::i;:::-;10461:12;:18;10474:4;10461:18;;;;;;;;;;;;;;;:54;;;;10538:4;10531:26;;;10544:4;:12;;;10531:26;;;;;;:::i;:::-;;;;;;;;10590:6;:12;10597:4;10590:12;;;;;;;;;;;;;;;10625:1;10603:6;:12;10610:4;10603:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;10590:37;;;;;;;;:::i;:::-;;;;;;;;;;;;10568:6;:12;10575:4;10568:12;;;;;;;;;;;;;;;10581:5;10568:19;;;;;;;;:::i;:::-;;;;;;;;;;;;:59;;;;;;;;;;;;;;;;;;;10638:6;:12;10645:4;10638:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10677:4;10667:14;;10396:293;10318:371;;;;:::o;2741:118::-;2582:8;:6;:8::i;:::-;2581:9;2573:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;2811:4:::1;2801:7;;:14;;;;;;;;;;;;;;;;;;2831:20;2838:12;:10;:12::i;:::-;2831:20;;;;;;:::i;:::-;;;;;;;;2741:118::o:0;4873:175::-;4959:4;4976:42;4986:12;:10;:12::i;:::-;5000:9;5011:6;4976:9;:42::i;:::-;5036:4;5029:11;;4873:175;;;;:::o;6540:678::-;6698:1;6680:20;;:6;:20;;;6672:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;6782:1;6761:23;;:9;:23;;;6753:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;6837:47;6858:6;6866:9;6877:6;6837:20;:47::i;:::-;6897:21;6921:9;:17;6931:6;6921:17;;;;;;;;;;;;;;;;6897:41;;6974:6;6957:13;:23;;6949:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;7097:6;7081:13;:22;7061:9;:17;7071:6;7061:17;;;;;;;;;;;;;;;:42;;;;7151:6;7127:9;:20;7137:9;7127:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;7192:9;7175:35;;7184:6;7175:35;;;7203:6;7175:35;;;;;;:::i;:::-;;;;;;;;6661:557;6540:678;;;:::o;9852:458::-;9936:12;10016;:18;10029:4;10016:18;;;;;;;;;;;;;;;;10007:6;:27;;;;:::i;:::-;9988:9;:15;9998:4;9988:15;;;;;;;;;;;;;;;;:46;;9966:146;;;;;;;;;;;;:::i;:::-;;;;;;;;;10165:6;10144:12;:18;10157:4;10144:18;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;10123:12;:18;10136:4;10123:18;;;;;;;;;;;;;;;:48;;;;10182:6;:12;10189:4;10182:12;;;;;;;;;;;;;;;10200:29;;;;;;;;10209:11;10200:29;;;;10222:6;10200:29;;;10182:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10251:4;10246:31;;;10257:6;10265:11;10246:31;;;;;;;:::i;:::-;;;;;;;;10298:4;10288:14;;9852:458;;;;;:::o;1778:220::-;1844:12;1878:16;1887:6;1878:8;:16::i;:::-;1877:17;1869:26;;;;;;1931:4;1906:14;:22;1921:6;1906:22;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;1958:6;1951:14;;;;;;;;;;;;1986:4;1976:14;;1778:220;;;:::o;14319:187::-;2582:8;:6;:8::i;:::-;2581:9;2573:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;14428:4:::1;1595:14;:22;1610:6;1595:22;;;;;;;;;;;;;;;;;;;;;;;;;1594:23;1586:32;;;;;;14454:44:::2;14481:4;14487:2;14491:6;14454:26;:44::i;:::-;2622:1:::1;14319:187:::0;;;:::o;8502:125::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:::-;5140:6;5189:2;5177:9;5168:7;5164:23;5160:32;5157:119;;;5195:79;;:::i;:::-;5157:119;5315:1;5340:53;5385:7;5376:6;5365:9;5361:22;5340:53;:::i;:::-;5330:63;;5286:117;5081:329;;;;:::o;5416:118::-;5503:24;5521:5;5503:24;:::i;:::-;5498:3;5491:37;5416:118;;:::o;5540:222::-;5633:4;5671:2;5660:9;5656:18;5648:26;;5684:71;5752:1;5741:9;5737:17;5728:6;5684:71;:::i;:::-;5540:222;;;;:::o;5768:332::-;5889:4;5927:2;5916:9;5912:18;5904:26;;5940:71;6008:1;5997:9;5993:17;5984:6;5940:71;:::i;:::-;6021:72;6089:2;6078:9;6074:18;6065:6;6021:72;:::i;:::-;5768:332;;;;;:::o;6106:474::-;6174:6;6182;6231:2;6219:9;6210:7;6206:23;6202:32;6199:119;;;6237:79;;:::i;:::-;6199:119;6357:1;6382:53;6427:7;6418:6;6407:9;6403:22;6382:53;:::i;:::-;6372:63;;6328:117;6484:2;6510:53;6555:7;6546:6;6535:9;6531:22;6510:53;:::i;:::-;6500:63;;6455:118;6106:474;;;;;:::o;6586:619::-;6663:6;6671;6679;6728:2;6716:9;6707:7;6703:23;6699:32;6696:119;;;6734:79;;:::i;:::-;6696:119;6854:1;6879:53;6924:7;6915:6;6904:9;6900:22;6879:53;:::i;:::-;6869:63;;6825:117;6981:2;7007:53;7052:7;7043:6;7032:9;7028:22;7007:53;:::i;:::-;6997:63;;6952:118;7109:2;7135:53;7180:7;7171:6;7160:9;7156:22;7135:53;:::i;:::-;7125:63;;7080:118;6586:619;;;;;:::o;7211:180::-;7259:77;7256:1;7249:88;7356:4;7353:1;7346:15;7380:4;7377:1;7370:15;7397:320;7441:6;7478:1;7472:4;7468:12;7458:22;;7525:1;7519:4;7515:12;7546:18;7536:81;;7602:4;7594:6;7590:17;7580:27;;7536:81;7664:2;7656:6;7653:14;7633:18;7630:38;7627:84;;7683:18;;:::i;:::-;7627:84;7448:269;7397:320;;;:::o;7723:180::-;7771:77;7768:1;7761:88;7868:4;7865:1;7858:15;7892:4;7889:1;7882:15;7909:191;7949:3;7968:20;7986:1;7968:20;:::i;:::-;7963:25;;8002:20;8020:1;8002:20;:::i;:::-;7997:25;;8045:1;8042;8038:9;8031:16;;8066:3;8063:1;8060:10;8057:36;;;8073:18;;:::i;:::-;8057:36;7909:191;;;;:::o;8106:176::-;8246:28;8242:1;8234:6;8230:14;8223:52;8106:176;:::o;8288:366::-;8430:3;8451:67;8515:2;8510:3;8451:67;:::i;:::-;8444:74;;8527:93;8616:3;8527:93;:::i;:::-;8645:2;8640:3;8636:12;8629:19;;8288:366;;;:::o;8660:419::-;8826:4;8864:2;8853:9;8849:18;8841:26;;8913:9;8907:4;8903:20;8899:1;8888:9;8884:17;8877:47;8941:131;9067:4;8941:131;:::i;:::-;8933:139;;8660:419;;;:::o;9085:182::-;9225:34;9221:1;9213:6;9209:14;9202:58;9085:182;:::o;9273:366::-;9415:3;9436:67;9500:2;9495:3;9436:67;:::i;:::-;9429:74;;9512:93;9601:3;9512:93;:::i;:::-;9630:2;9625:3;9621:12;9614:19;;9273:366;;;:::o;9645:419::-;9811:4;9849:2;9838:9;9834:18;9826:26;;9898:9;9892:4;9888:20;9884:1;9873:9;9869:17;9862:47;9926:131;10052:4;9926:131;:::i;:::-;9918:139;;9645:419;;;:::o;10070:194::-;10110:4;10130:20;10148:1;10130:20;:::i;:::-;10125:25;;10164:20;10182:1;10164:20;:::i;:::-;10159:25;;10208:1;10205;10201:9;10193:17;;10232:1;10226:4;10223:11;10220:37;;;10237:18;;:::i;:::-;10220:37;10070:194;;;;:::o;10270:179::-;10410:31;10406:1;10398:6;10394:14;10387:55;10270:179;:::o;10455:366::-;10597:3;10618:67;10682:2;10677:3;10618:67;:::i;:::-;10611:74;;10694:93;10783:3;10694:93;:::i;:::-;10812:2;10807:3;10803:12;10796:19;;10455:366;;;:::o;10827:419::-;10993:4;11031:2;11020:9;11016:18;11008:26;;11080:9;11074:4;11070:20;11066:1;11055:9;11051:17;11044:47;11108:131;11234:4;11108:131;:::i;:::-;11100:139;;10827:419;;;:::o;11252:173::-;11392:25;11388:1;11380:6;11376:14;11369:49;11252:173;:::o;11431:366::-;11573:3;11594:67;11658:2;11653:3;11594:67;:::i;:::-;11587:74;;11670:93;11759:3;11670:93;:::i;:::-;11788:2;11783:3;11779:12;11772:19;;11431:366;;;:::o;11803:419::-;11969:4;12007:2;11996:9;11992:18;11984:26;;12056:9;12050:4;12046:20;12042:1;12031:9;12027:17;12020:47;12084:131;12210:4;12084:131;:::i;:::-;12076:139;;11803:419;;;:::o;12228:224::-;12368:34;12364:1;12356:6;12352:14;12345:58;12437:7;12432:2;12424:6;12420:15;12413:32;12228:224;:::o;12458:366::-;12600:3;12621:67;12685:2;12680:3;12621:67;:::i;:::-;12614:74;;12697:93;12786:3;12697:93;:::i;:::-;12815:2;12810:3;12806:12;12799:19;;12458:366;;;:::o;12830:419::-;12996:4;13034:2;13023:9;13019:18;13011:26;;13083:9;13077:4;13073:20;13069:1;13058:9;13054:17;13047:47;13111:131;13237:4;13111:131;:::i;:::-;13103:139;;12830:419;;;:::o;13255:180::-;13303:77;13300:1;13293:88;13400:4;13397:1;13390:15;13424:4;13421:1;13414:15;13441:171;13480:3;13503:24;13521:5;13503:24;:::i;:::-;13494:33;;13549:4;13542:5;13539:15;13536:41;;13557:18;;:::i;:::-;13536:41;13604:1;13597:5;13593:13;13586:20;;13441:171;;;:::o;13618:225::-;13758:34;13754:1;13746:6;13742:14;13735:58;13827:8;13822:2;13814:6;13810:15;13803:33;13618:225;:::o;13849:366::-;13991:3;14012:67;14076:2;14071:3;14012:67;:::i;:::-;14005:74;;14088:93;14177:3;14088:93;:::i;:::-;14206:2;14201:3;14197:12;14190:19;;13849:366;;;:::o;14221:419::-;14387:4;14425:2;14414:9;14410:18;14402:26;;14474:9;14468:4;14464:20;14460:1;14449:9;14445:17;14438:47;14502:131;14628:4;14502:131;:::i;:::-;14494:139;;14221:419;;;:::o;14646:179::-;14786:31;14782:1;14774:6;14770:14;14763:55;14646:179;:::o;14831:366::-;14973:3;14994:67;15058:2;15053:3;14994:67;:::i;:::-;14987:74;;15070:93;15159:3;15070:93;:::i;:::-;15188:2;15183:3;15179:12;15172:19;;14831:366;;;:::o;15203:419::-;15369:4;15407:2;15396:9;15392:18;15384:26;;15456:9;15450:4;15446:20;15442:1;15431:9;15427:17;15420:47;15484:131;15610:4;15484:131;:::i;:::-;15476:139;;15203:419;;;:::o;15628:223::-;15768:34;15764:1;15756:6;15752:14;15745:58;15837:6;15832:2;15824:6;15820:15;15813:31;15628:223;:::o;15857:366::-;15999:3;16020:67;16084:2;16079:3;16020:67;:::i;:::-;16013:74;;16096:93;16185:3;16096:93;:::i;:::-;16214:2;16209:3;16205:12;16198:19;;15857:366;;;:::o;16229:419::-;16395:4;16433:2;16422:9;16418:18;16410:26;;16482:9;16476:4;16472:20;16468:1;16457:9;16453:17;16446:47;16510:131;16636:4;16510:131;:::i;:::-;16502:139;;16229:419;;;:::o;16654:221::-;16794:34;16790:1;16782:6;16778:14;16771:58;16863:4;16858:2;16850:6;16846:15;16839:29;16654:221;:::o;16881:366::-;17023:3;17044:67;17108:2;17103:3;17044:67;:::i;:::-;17037:74;;17120:93;17209:3;17120:93;:::i;:::-;17238:2;17233:3;17229:12;17222:19;;16881:366;;;:::o;17253:419::-;17419:4;17457:2;17446:9;17442:18;17434:26;;17506:9;17500:4;17496:20;17492:1;17481:9;17477:17;17470:47;17534:131;17660:4;17534:131;:::i;:::-;17526:139;;17253:419;;;:::o;17678:227::-;17818:34;17814:1;17806:6;17802:14;17795:58;17887:10;17882:2;17874:6;17870:15;17863:35;17678:227;:::o;17911:366::-;18053:3;18074:67;18138:2;18133:3;18074:67;:::i;:::-;18067:74;;18150:93;18239:3;18150:93;:::i;:::-;18268:2;18263:3;18259:12;18252:19;;17911:366;;;:::o;18283:419::-;18449:4;18487:2;18476:9;18472:18;18464:26;;18536:9;18530:4;18526:20;18522:1;18511:9;18507:17;18500:47;18564:131;18690:4;18564:131;:::i;:::-;18556:139;;18283:419;;;:::o;18708:170::-;18848:22;18844:1;18836:6;18832:14;18825:46;18708:170;:::o;18884:366::-;19026:3;19047:67;19111:2;19106:3;19047:67;:::i;:::-;19040:74;;19123:93;19212:3;19123:93;:::i;:::-;19241:2;19236:3;19232:12;19225:19;;18884:366;;;:::o;19256:419::-;19422:4;19460:2;19449:9;19445:18;19437:26;;19509:9;19503:4;19499:20;19495:1;19484:9;19480:17;19473:47;19537:131;19663:4;19537:131;:::i;:::-;19529:139;;19256:419;;;:::o;19681:220::-;19821:34;19817:1;19809:6;19805:14;19798:58;19890:3;19885:2;19877:6;19873:15;19866:28;19681:220;:::o;19907:366::-;20049:3;20070:67;20134:2;20129:3;20070:67;:::i;:::-;20063:74;;20146:93;20235:3;20146:93;:::i;:::-;20264:2;20259:3;20255:12;20248:19;;19907:366;;;:::o;20279:419::-;20445:4;20483:2;20472:9;20468:18;20460:26;;20532:9;20526:4;20522:20;20518:1;20507:9;20503:17;20496:47;20560:131;20686:4;20560:131;:::i;:::-;20552:139;;20279:419;;;:::o;20704:221::-;20844:34;20840:1;20832:6;20828:14;20821:58;20913:4;20908:2;20900:6;20896:15;20889:29;20704:221;:::o;20931:366::-;21073:3;21094:67;21158:2;21153:3;21094:67;:::i;:::-;21087:74;;21170:93;21259:3;21170:93;:::i;:::-;21288:2;21283:3;21279:12;21272:19;;20931:366;;;:::o;21303:419::-;21469:4;21507:2;21496:9;21492:18;21484:26;;21556:9;21550:4;21546:20;21542:1;21531:9;21527:17;21520:47;21584:131;21710:4;21584:131;:::i;:::-;21576:139;;21303:419;;;:::o;21728:180::-;21776:77;21773:1;21766:88;21873:4;21870:1;21863:15;21897:4;21894:1;21887:15;21914:166;22054:18;22050:1;22042:6;22038:14;22031:42;21914:166;:::o;22086:366::-;22228:3;22249:67;22313:2;22308:3;22249:67;:::i;:::-;22242:74;;22325:93;22414:3;22325:93;:::i;:::-;22443:2;22438:3;22434:12;22427:19;;22086:366;;;:::o;22458:419::-;22624:4;22662:2;22651:9;22647:18;22639:26;;22711:9;22705:4;22701:20;22697:1;22686:9;22682:17;22675:47;22739:131;22865:4;22739:131;:::i;:::-;22731:139;;22458:419;;;:::o;22883:224::-;23023:34;23019:1;23011:6;23007:14;23000:58;23092:7;23087:2;23079:6;23075:15;23068:32;22883:224;:::o;23113:366::-;23255:3;23276:67;23340:2;23335:3;23276:67;:::i;:::-;23269:74;;23352:93;23441:3;23352:93;:::i;:::-;23470:2;23465:3;23461:12;23454:19;;23113:366;;;:::o;23485:419::-;23651:4;23689:2;23678:9;23674:18;23666:26;;23738:9;23732:4;23728:20;23724:1;23713:9;23709:17;23702:47;23766:131;23892:4;23766:131;:::i;:::-;23758:139;;23485:419;;;:::o;23910:222::-;24050:34;24046:1;24038:6;24034:14;24027:58;24119:5;24114:2;24106:6;24102:15;24095:30;23910:222;:::o;24138:366::-;24280:3;24301:67;24365:2;24360:3;24301:67;:::i;:::-;24294:74;;24377:93;24466:3;24377:93;:::i;:::-;24495:2;24490:3;24486:12;24479:19;;24138:366;;;:::o;24510:419::-;24676:4;24714:2;24703:9;24699:18;24691:26;;24763:9;24757:4;24753:20;24749:1;24738:9;24734:17;24727:47;24791:131;24917:4;24791:131;:::i;:::-;24783:139;;24510:419;;;:::o;24935:225::-;25075:34;25071:1;25063:6;25059:14;25052:58;25144:8;25139:2;25131:6;25127:15;25120:33;24935:225;:::o;25166:366::-;25308:3;25329:67;25393:2;25388:3;25329:67;:::i;:::-;25322:74;;25405:93;25494:3;25405:93;:::i;:::-;25523:2;25518:3;25514:12;25507:19;;25166:366;;;:::o;25538:419::-;25704:4;25742:2;25731:9;25727:18;25719:26;;25791:9;25785:4;25781:20;25777:1;25766:9;25762:17;25755:47;25819:131;25945:4;25819:131;:::i;:::-;25811:139;;25538:419;;;:::o;25963:237::-;26103:34;26099:1;26091:6;26087:14;26080:58;26172:20;26167:2;26159:6;26155:15;26148:45;25963:237;:::o;26206:366::-;26348:3;26369:67;26433:2;26428:3;26369:67;:::i;:::-;26362:74;;26445:93;26534:3;26445:93;:::i;:::-;26563:2;26558:3;26554:12;26547:19;;26206:366;;;:::o;26578:419::-;26744:4;26782:2;26771:9;26767:18;26759:26;;26831:9;26825:4;26821:20;26817:1;26806:9;26802:17;26795:47;26859:131;26985:4;26859:131;:::i;:::-;26851:139;;26578:419;;;:::o

ipfs://6560994df2112a7a3566a6964450e5a70f208e08f653b6c7dbe5830f6abf7d8d