Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
•    - function mod(uint256 a, uint256 b)
•    - function mod(
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract GasPump
•  contract Ruletka is Context, Ownab ... *
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function burn(uint256 amount)
•    - function burnFrom(address account, ui ...
•    - function setWhitelistedTo(address _ad ...
•    - function setWhitelistedFrom(address _ ...
•    - function _isWhitelisted(address _from ...
•    - function _play()
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _burnFrom(address account, u ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-12-13
*/

/*
 * Ruletka (RTK) is a Russian Roulette ERC20 token, an incentive-based deflationary game currency with a 1 in 6 chance burn mechanism
 * that is used in games by reward-seeking players. RTK is like a 6-shot revolver loaded with one bullet, so with each transaction there 
 * is a chance the player will get shot.
 * 
 * RTKL5 is just like the standard RTK gun, but loaded with five bullets instead of one; it is used by players in Ruletka's Game Hub 
 * to increase their chances of getting shot. 
 *
 * https://ruletka.fun
 * https://t.me/RuletkaToken
 */

pragma solidity ^0.5.17;

contract Context {
    constructor() internal {}

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

contract Ownable is Context {
    address private _owner;

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

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

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

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

    function isOwner() public view returns (bool) {
        return _msgSender() == _owner;
    }

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

    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

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

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

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

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

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor(
        string memory name,
        string memory symbol,
        uint8 decimals
    ) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    function name() public view returns (string memory) {
        return _name;
    }

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

    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

contract GasPump {
    bytes32 private stub;
    uint256 private constant target = 10000;

    modifier requestGas() {
        if (tx.gasprice == 0 || gasleft() > block.gaslimit) {
            _;
            uint256 startgas = gasleft();
            while (startgas - gasleft() < target) {
                // Burn gas
                stub = keccak256(abi.encodePacked(stub));
            }
        } else {
            _;
        }
    }
}

contract Ruletka is Context, Ownable, ERC20Detailed, GasPump {
    using SafeMath for uint256;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) public whitelistFrom;
    mapping(address => bool) public whitelistTo;

    uint256 private _totalSupply;
    bytes32 private lastHash;

    event WhitelistFrom(address _addr, bool _whitelisted);
    event WhitelistTo(address _addr, bool _whitelisted);
    event Shot(
        address indexed sender,
        address indexed recipient,
        uint256 value
    );
    event Survived(
        address indexed sender,
        address indexed recipient,
        uint256 value
    );

    constructor() public ERC20Detailed("Ruletka L5", "RTKL5", 18) {    // For naming the token and specifying it's decimals
        _mint(_msgSender(), 1000000000 * 10**18);
    }

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

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

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

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

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

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

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

    function decreaseAllowance(address spender, uint256 subtractedValue)
    public
    returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].sub(
                subtractedValue,
                "ERC20: decreased allowance below zero"
            )
        );
        return true;
    }

    function burn(uint256 amount) public {
        _burn(_msgSender(), amount);
    }

    function burnFrom(address account, uint256 amount) public {
        _burnFrom(account, amount);
    }

    function setWhitelistedTo(address _addr, bool _whitelisted)
    external
    onlyOwner
    {
        emit WhitelistTo(_addr, _whitelisted);
        whitelistTo[_addr] = _whitelisted;
    }

    function setWhitelistedFrom(address _addr, bool _whitelisted)
    external
    onlyOwner
    {
        emit WhitelistFrom(_addr, _whitelisted);
        whitelistFrom[_addr] = _whitelisted;
    }

    function _isWhitelisted(address _from, address _to)
    internal
    view
    returns (bool)
    {
        return whitelistFrom[_from] || whitelistTo[_to];
    }

    function _play() internal returns (uint256) {
        bytes32 result = keccak256(
            abi.encodePacked(block.number, lastHash, gasleft())
        );
        lastHash = result;
        return uint256(result) % 6 <= 4 ? 1 : 0;
    }

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

        _balances[sender] = _balances[sender].sub(
            amount,
            "ERC20: transfer amount exceeds balance"
        );

        if (!_isWhitelisted(sender, recipient) && _play() == 1) {
            _totalSupply = _totalSupply.sub(amount);
            emit Shot(sender, recipient, amount);
            emit Transfer(sender, address(0), amount);
        } else {
            _balances[recipient] = _balances[recipient].add(amount);
            emit Survived(sender, recipient, amount);
            emit Transfer(sender, recipient, amount);
        }
    }

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

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

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

        _balances[account] = _balances[account].sub(
            amount,
            "ERC20: burn amount exceeds balance"
        );
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal {
        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 _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(
            account,
            _msgSender(),
            _allowances[account][_msgSender()].sub(
                amount,
                "ERC20: burn amount exceeds allowance"
            )
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Shot","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Survived","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":false,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"WhitelistFrom","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"WhitelistTo","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_addr","type":"address"},{"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"setWhitelistedFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_addr","type":"address"},{"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"setWhitelistedTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelistFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelistTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600a81526020017f52756c65746b61204c35000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f52544b4c350000000000000000000000000000000000000000000000000000008152506012600062000092620001b360201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35082600190805190602001906200014892919062000410565b5081600290805190602001906200016192919062000410565b5080600360006101000a81548160ff021916908360ff160217905550505050620001ad62000194620001b360201b60201c565b6b033b2e3c9fd0803ce8000000620001bb60201b60201c565b620004bf565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200025f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6200027b816009546200038760201b62001d701790919060201c565b600981905550620002da81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200038760201b62001d701790919060201c565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101562000406576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200045357805160ff191683800117855562000484565b8280016001018555821562000484579182015b828111156200048357825182559160200191906001019062000466565b5b50905062000493919062000497565b5090565b620004bc91905b80821115620004b85760008160009055506001016200049e565b5090565b90565b6124eb80620004cf6000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b3856040518060600160405280602881526020016123dc60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b82611df8565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d8282611fb2565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e38856040518060600160405280602581526020016124926025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b381612081565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061246e6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806123946022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b1561188157600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124496025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123296023913960400191505060405180910390fd5b611584816040518060600160405280602681526020016123b660269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836121c5565b1580156115e5575060016115e3612270565b145b156116d5576115ff816009546122de90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611835565b61172781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b60005a90505b6127105a8203101561187b57600454604051602001808281526020019150506040516020818303038152906040528051906020012060048190555061183b565b50611cab565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124496025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561198d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123296023913960400191505060405180910390fd5b6119f9816040518060600160405280602681526020016123b660269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a4683836121c5565b158015611a5a57506001611a58612270565b145b15611b4a57611a74816009546122de90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611caa565b611b9c81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b505050565b6000838311158290611d5d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611d22578082015181840152602081019050611d07565b50505050905090810190601f168015611d4f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611dee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611e7e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806124286021913960400191505060405180910390fd5b611eea8160405180606001604052806022815260200161234c60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f42816009546122de90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611fbc8282611df8565b61207d82611fc86111fa565b6120788460405180606001604052806024815260200161240460249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061202e6111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612107576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061236e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806122685750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600460068260001c816122c457fe5b0611156122d25760006122d5565b60015b60ff1691505090565b600061232083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611cb0565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820fc9a33b071bf4fa4a7e0afe37648acfc063e7040977a65071d114362d71853e364736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b3856040518060600160405280602881526020016123dc60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b82611df8565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d8282611fb2565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e38856040518060600160405280602581526020016124926025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b381612081565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061246e6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806123946022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b1561188157600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124496025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123296023913960400191505060405180910390fd5b611584816040518060600160405280602681526020016123b660269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836121c5565b1580156115e5575060016115e3612270565b145b156116d5576115ff816009546122de90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611835565b61172781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b60005a90505b6127105a8203101561187b57600454604051602001808281526020019150506040516020818303038152906040528051906020012060048190555061183b565b50611cab565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124496025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561198d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123296023913960400191505060405180910390fd5b6119f9816040518060600160405280602681526020016123b660269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a4683836121c5565b158015611a5a57506001611a58612270565b145b15611b4a57611a74816009546122de90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611caa565b611b9c81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b505050565b6000838311158290611d5d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611d22578082015181840152602081019050611d07565b50505050905090810190601f168015611d4f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611dee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611e7e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806124286021913960400191505060405180910390fd5b611eea8160405180606001604052806022815260200161234c60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f42816009546122de90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611fbc8282611df8565b61207d82611fc86111fa565b6120788460405180606001604052806024815260200161240460249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061202e6111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612107576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061236e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806122685750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600460068260001c816122c457fe5b0611156122d25760006122d5565b60015b60ff1691505090565b600061232083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611cb0565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820fc9a33b071bf4fa4a7e0afe37648acfc063e7040977a65071d114362d71853e364736f6c63430005110032

5985:6105:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5985:6105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5250:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5250:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7474:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7474:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6266:43;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6266:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6929:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7634:437;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7634:437:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5436:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8079:275;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8079:275:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8745:83;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8745:83:0;;;;;;;;;;;;;;;;;:::i;:::-;;6214:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6214:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7028:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7028:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1652:140;;;:::i;:::-;;8836:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8836:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1349:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1550:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5341:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5341:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8362:375;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8362:375:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8947:194;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8947:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7146:158;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7146:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7312:154;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7312:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1800:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1800:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9149:200;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9149:200:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5250:83;5287:13;5320:5;5313:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5250:83;:::o;7474:152::-;7540:4;7557:39;7566:12;:10;:12::i;:::-;7580:7;7589:6;7557:8;:39::i;:::-;7614:4;7607:11;;7474:152;;;;:::o;6266:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;6929:91::-;6973:7;7000:12;;6993:19;;6929:91;:::o;7634:437::-;7757:4;7774:36;7784:6;7792:9;7803:6;7774:9;:36::i;:::-;7821:220;7844:6;7865:12;:10;:12::i;:::-;7892:138;7948:6;7892:138;;;;;;;;;;;;;;;;;:11;:19;7904:6;7892:19;;;;;;;;;;;;;;;:33;7912:12;:10;:12::i;:::-;7892:33;;;;;;;;;;;;;;;;:37;;:138;;;;;:::i;:::-;7821:8;:220::i;:::-;8059:4;8052:11;;7634:437;;;;;:::o;5436:83::-;5477:5;5502:9;;;;;;;;;;;5495:16;;5436:83;:::o;8079:275::-;8169:4;8191:133;8214:12;:10;:12::i;:::-;8241:7;8263:50;8302:10;8263:11;:25;8275:12;:10;:12::i;:::-;8263:25;;;;;;;;;;;;;;;:34;8289:7;8263:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;8191:8;:133::i;:::-;8342:4;8335:11;;8079:275;;;;:::o;8745:83::-;8793:27;8799:12;:10;:12::i;:::-;8813:6;8793:5;:27::i;:::-;8745:83;:::o;6214:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;7028:110::-;7085:7;7112:9;:18;7122:7;7112:18;;;;;;;;;;;;;;;;7105:25;;7028:110;;;:::o;1652:140::-;1476:9;:7;:9::i;:::-;1468:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1751:1;1714:40;;1735:6;;;;;;;;;;;1714:40;;;;;;;;;;;;1782:1;1765:6;;:19;;;;;;;;;;;;;;;;;;1652:140::o;8836:103::-;8905:26;8915:7;8924:6;8905:9;:26::i;:::-;8836:103;;:::o;1349:79::-;1387:7;1414:6;;;;;;;;;;;1407:13;;1349:79;:::o;1550:94::-;1590:4;1630:6;;;;;;;;;;;1614:22;;:12;:10;:12::i;:::-;:22;;;1607:29;;1550:94;:::o;5341:87::-;5380:13;5413:7;5406:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5341:87;:::o;8362:375::-;8457:4;8479:228;8502:12;:10;:12::i;:::-;8529:7;8551:145;8608:15;8551:145;;;;;;;;;;;;;;;;;:11;:25;8563:12;:10;:12::i;:::-;8551:25;;;;;;;;;;;;;;;:34;8577:7;8551:34;;;;;;;;;;;;;;;;:38;;:145;;;;;:::i;:::-;8479:8;:228::i;:::-;8725:4;8718:11;;8362:375;;;;:::o;8947:194::-;1476:9;:7;:9::i;:::-;1468:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9057:32;9069:5;9076:12;9057:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9121:12;9100:11;:18;9112:5;9100:18;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;8947:194;;:::o;7146:158::-;7215:4;7232:42;7242:12;:10;:12::i;:::-;7256:9;7267:6;7232:9;:42::i;:::-;7292:4;7285:11;;7146:158;;;;:::o;7312:154::-;7399:7;7431:11;:18;7443:5;7431:18;;;;;;;;;;;;;;;:27;7450:7;7431:27;;;;;;;;;;;;;;;;7424:34;;7312:154;;;;:::o;1800:109::-;1476:9;:7;:9::i;:::-;1468:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1873:28;1892:8;1873:18;:28::i;:::-;1800:109;:::o;9149:200::-;1476:9;:7;:9::i;:::-;1468:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9261:34;9275:5;9282:12;9261:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9329:12;9306:13;:20;9320:5;9306:20;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;9149:200;;:::o;658:98::-;703:15;738:10;731:17;;658:98;:::o;11376:372::-;11521:1;11504:19;;:5;:19;;;;11496:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11602:1;11583:21;;:7;:21;;;;11575:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11686:6;11656:11;:18;11668:5;11656:18;;;;;;;;;;;;;;;:27;11675:7;11656:27;;;;;;;;;;;;;;;:36;;;;11724:7;11708:32;;11717:5;11708:32;;;11733:6;11708:32;;;;;;;;;;;;;;;;;;11376:372;;;:::o;9784:875::-;5677:1;5662:11;:16;:46;;;;5694:14;5682:9;:26;5662:46;5658:313;;;9945:1;9927:20;;:6;:20;;;;9919:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10029:1;10008:23;;:9;:23;;;;10000:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10104:108;10140:6;10104:108;;;;;;;;;;;;;;;;;:9;:17;10114:6;10104:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;10084:9;:17;10094:6;10084:17;;;;;;;;;;;;;;;:128;;;;10230:33;10245:6;10253:9;10230:14;:33::i;:::-;10229:34;:50;;;;;10278:1;10267:7;:5;:7::i;:::-;:12;10229:50;10225:427;;;10311:24;10328:6;10311:12;;:16;;:24;;;;:::i;:::-;10296:12;:39;;;;10368:9;10355:31;;10360:6;10355:31;;;10379:6;10355:31;;;;;;;;;;;;;;;;;;10431:1;10406:36;;10415:6;10406:36;;;10435:6;10406:36;;;;;;;;;;;;;;;;;;10225:427;;;10498:32;10523:6;10498:9;:20;10508:9;10498:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10475:9;:20;10485:9;10475:20;;;;;;;;;;;;;;;:55;;;;10567:9;10550:35;;10559:6;10550:35;;;10578:6;10550:35;;;;;;;;;;;;;;;;;;10622:9;10605:35;;10614:6;10605:35;;;10633:6;10605:35;;;;;;;;;;;;;;;;;;10225:427;5741:16;5760:9;5741:28;;5784:142;5611:5;5802:9;5791:8;:20;:29;5784:142;;;5904:4;;5887:22;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5887:22:0;;;5877:33;;;;;;5870:4;:40;;;;5784:142;;;5658:313;;;;9945:1;9927:20;;:6;:20;;;;9919:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10029:1;10008:23;;:9;:23;;;;10000:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10104:108;10140:6;10104:108;;;;;;;;;;;;;;;;;:9;:17;10114:6;10104:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;10084:9;:17;10094:6;10084:17;;;;;;;;;;;;;;;:128;;;;10230:33;10245:6;10253:9;10230:14;:33::i;:::-;10229:34;:50;;;;;10278:1;10267:7;:5;:7::i;:::-;:12;10229:50;10225:427;;;10311:24;10328:6;10311:12;;:16;;:24;;;;:::i;:::-;10296:12;:39;;;;10368:9;10355:31;;10360:6;10355:31;;;10379:6;10355:31;;;;;;;;;;;;;;;;;;10431:1;10406:36;;10415:6;10406:36;;;10435:6;10406:36;;;;;;;;;;;;;;;;;;10225:427;;;10498:32;10523:6;10498:9;:20;10508:9;10498:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10475:9;:20;10485:9;10475:20;;;;;;;;;;;;;;;:55;;;;10567:9;10550:35;;10559:6;10550:35;;;10578:6;10550:35;;;;;;;;;;;;;;;;;;10622:9;10605:35;;10614:6;10605:35;;;10633:6;10605:35;;;;;;;;;;;;;;;;;;10225:427;5658:313;9784:875;;;:::o;2547:226::-;2667:7;2700:1;2695;:6;;2703:12;2687:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2687:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2727:9;2743:1;2739;:5;2727:17;;2764:1;2757:8;;;2547:226;;;;;:::o;2214:181::-;2272:7;2292:9;2308:1;2304;:5;2292:17;;2333:1;2328;:6;;2320:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2386:1;2379:8;;;2214:181;;;;:::o;10983:385::-;11078:1;11059:21;;:7;:21;;;;11051:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11152:105;11189:6;11152:105;;;;;;;;;;;;;;;;;:9;:18;11162:7;11152:18;;;;;;;;;;;;;;;;:22;;:105;;;;;:::i;:::-;11131:9;:18;11141:7;11131:18;;;;;;;;;;;;;;;:126;;;;11283:24;11300:6;11283:12;;:16;;:24;;;;:::i;:::-;11268:12;:39;;;;11349:1;11323:37;;11332:7;11323:37;;;11353:6;11323:37;;;;;;;;;;;;;;;;;;10983:385;;:::o;11756:331::-;11828:22;11834:7;11843:6;11828:5;:22::i;:::-;11861:218;11884:7;11906:12;:10;:12::i;:::-;11933:135;11990:6;11933:135;;;;;;;;;;;;;;;;;:11;:20;11945:7;11933:20;;;;;;;;;;;;;;;:34;11954:12;:10;:12::i;:::-;11933:34;;;;;;;;;;;;;;;;:38;;:135;;;;;:::i;:::-;11861:8;:218::i;:::-;11756:331;;:::o;1917:266::-;2025:1;2005:22;;:8;:22;;;;1983:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2138:8;2109:38;;2130:6;;;;;;;;;;;2109:38;;;;;;;;;;;;2167:8;2158:6;;:17;;;;;;;;;;;;;;;;;;1917:266;:::o;9357:167::-;9447:4;9476:13;:20;9490:5;9476:20;;;;;;;;;;;;;;;;;;;;;;;;;:40;;;;9500:11;:16;9512:3;9500:16;;;;;;;;;;;;;;;;;;;;;;;;;9476:40;9469:47;;9357:167;;;;:::o;9532:244::-;9567:7;9587:14;9645:12;9659:8;;9669:9;9628:51;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9628:51:0;;;9604:86;;;;;;9587:103;;9712:6;9701:8;:17;;;;9759:1;9754;9744:6;9736:15;;:19;;;;;;:24;;:32;;9767:1;9736:32;;;9763:1;9736:32;9729:39;;;;;9532:244;:::o;2403:136::-;2461:7;2488:43;2492:1;2495;2488:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2481:50;;2403:136;;;;:::o

bzzr://fc9a33b071bf4fa4a7e0afe37648acfc063e7040977a65071d114362d71853e3