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-07-10
*/

/*
 * Ruletka (RTK) is a Russian Roulette ERC20 token, where on each transaction a number is chosen between 1 and 6. If 6 is chosen,
 * the transaction will be sent to the 0x address and burned, thus lowering total supply.
 *
 * 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", "RTK", 18) {
        _mint(_msgSender(), 1000000 * 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 == 0 ? 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"}]

60806040523480156200001157600080fd5b506040518060400160405280600781526020017f52756c65746b61000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f52544b00000000000000000000000000000000000000000000000000000000008152506012600062000092620001b160201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3508260019080519060200190620001489291906200040e565b508160029080519060200190620001619291906200040e565b5080600360006101000a81548160ff021916908360ff160217905550505050620001ab62000194620001b160201b60201c565b69d3c21bcecceda1000000620001b960201b60201c565b620004bd565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200025d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b62000279816009546200038560201b62001d701790919060201c565b600981905550620002d881600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200038560201b62001d701790919060201c565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101562000404576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200045157805160ff191683800117855562000482565b8280016001018555821562000482579182015b828111156200048157825182559160200191906001019062000464565b5b50905062000491919062000495565b5090565b620004ba91905b80821115620004b65760008160009055506001016200049c565b5090565b90565b6124ea80620004cd6000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b3856040518060600160405280602881526020016123db60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b82611df8565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d8282611fb2565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e38856040518060600160405280602581526020016124916025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b381612081565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061246d6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806123936022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b1561188157600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124486025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123286023913960400191505060405180910390fd5b611584816040518060600160405280602681526020016123b560269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836121c5565b1580156115e5575060016115e3612270565b145b156116d5576115ff816009546122dd90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611835565b61172781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b60005a90505b6127105a8203101561187b57600454604051602001808281526020019150506040516020818303038152906040528051906020012060048190555061183b565b50611cab565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124486025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561198d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123286023913960400191505060405180910390fd5b6119f9816040518060600160405280602681526020016123b560269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a4683836121c5565b158015611a5a57506001611a58612270565b145b15611b4a57611a74816009546122dd90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611caa565b611b9c81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b505050565b6000838311158290611d5d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611d22578082015181840152602081019050611d07565b50505050905090810190601f168015611d4f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611dee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611e7e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806124276021913960400191505060405180910390fd5b611eea8160405180606001604052806022815260200161234b60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f42816009546122dd90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611fbc8282611df8565b61207d82611fc86111fa565b6120788460405180606001604052806024815260200161240360249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061202e6111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612107576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061236d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806122685750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600060068260001c816122c457fe5b06146122d15760006122d4565b60015b60ff1691505090565b600061231f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611cb0565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a723158204adf3b93835950081e0275bd47b5ed1b21fe37bdfcd7d2291ecda77603d52d0964736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b3856040518060600160405280602881526020016123db60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b82611df8565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d8282611fb2565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e38856040518060600160405280602581526020016124916025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b381612081565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061246d6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806123936022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b1561188157600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124486025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123286023913960400191505060405180910390fd5b611584816040518060600160405280602681526020016123b560269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836121c5565b1580156115e5575060016115e3612270565b145b156116d5576115ff816009546122dd90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611835565b61172781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b60005a90505b6127105a8203101561187b57600454604051602001808281526020019150506040516020818303038152906040528051906020012060048190555061183b565b50611cab565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806124486025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561198d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806123286023913960400191505060405180910390fd5b6119f9816040518060600160405280602681526020016123b560269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a4683836121c5565b158015611a5a57506001611a58612270565b145b15611b4a57611a74816009546122dd90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff4836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611caa565b611b9c81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d7090919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b505050565b6000838311158290611d5d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611d22578082015181840152602081019050611d07565b50505050905090810190601f168015611d4f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611dee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611e7e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806124276021913960400191505060405180910390fd5b611eea8160405180606001604052806022815260200161234b60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f42816009546122dd90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611fbc8282611df8565b61207d82611fc86111fa565b6120788460405180606001604052806024815260200161240360249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061202e6111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb09092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612107576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061236d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806122685750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600060068260001c816122c457fe5b06146122d15760006122d4565b60015b60ff1691505090565b600061231f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611cb0565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a723158204adf3b93835950081e0275bd47b5ed1b21fe37bdfcd7d2291ecda77603d52d0964736f6c63430005110032

5723:6097:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5723:6097:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4988: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;4988:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7160:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7160:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6004:43;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6004:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6603:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7320:437;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7320:437:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5174:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7765:283;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7765:283:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8447:83;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8447:83:0;;;;;;;;;;;;;;;;;:::i;:::-;;5952:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5952:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6702:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6702:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1370:140;;;:::i;:::-;;8538:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8538:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1067:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1268:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5079: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;5079:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8056:383;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8056:383:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8649:202;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8649:202:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6820:158;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6820:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6986:166;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6986:166:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1518:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1518:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8859:208;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8859:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4988:83;5025:13;5058:5;5051:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4988:83;:::o;7160:152::-;7226:4;7243:39;7252:12;:10;:12::i;:::-;7266:7;7275:6;7243:8;:39::i;:::-;7300:4;7293:11;;7160:152;;;;:::o;6004:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;6603:91::-;6647:7;6674:12;;6667:19;;6603:91;:::o;7320:437::-;7443:4;7460:36;7470:6;7478:9;7489:6;7460:9;:36::i;:::-;7507:220;7530:6;7551:12;:10;:12::i;:::-;7578:138;7634:6;7578:138;;;;;;;;;;;;;;;;;:11;:19;7590:6;7578:19;;;;;;;;;;;;;;;:33;7598:12;:10;:12::i;:::-;7578:33;;;;;;;;;;;;;;;;:37;;:138;;;;;:::i;:::-;7507:8;:220::i;:::-;7745:4;7738:11;;7320:437;;;;;:::o;5174:83::-;5215:5;5240:9;;;;;;;;;;;5233:16;;5174:83;:::o;7765:283::-;7863:4;7885:133;7908:12;:10;:12::i;:::-;7935:7;7957:50;7996:10;7957:11;:25;7969:12;:10;:12::i;:::-;7957:25;;;;;;;;;;;;;;;:34;7983:7;7957:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;7885:8;:133::i;:::-;8036:4;8029:11;;7765:283;;;;:::o;8447:83::-;8495:27;8501:12;:10;:12::i;:::-;8515:6;8495:5;:27::i;:::-;8447:83;:::o;5952:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6702:110::-;6759:7;6786:9;:18;6796:7;6786:18;;;;;;;;;;;;;;;;6779:25;;6702:110;;;:::o;1370:140::-;1194:9;:7;:9::i;:::-;1186:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1469:1;1432:40;;1453:6;;;;;;;;;;;1432:40;;;;;;;;;;;;1500:1;1483:6;;:19;;;;;;;;;;;;;;;;;;1370:140::o;8538:103::-;8607:26;8617:7;8626:6;8607:9;:26::i;:::-;8538:103;;:::o;1067:79::-;1105:7;1132:6;;;;;;;;;;;1125:13;;1067:79;:::o;1268:94::-;1308:4;1348:6;;;;;;;;;;;1332:22;;:12;:10;:12::i;:::-;:22;;;1325:29;;1268:94;:::o;5079:87::-;5118:13;5151:7;5144:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5079:87;:::o;8056:383::-;8159:4;8181:228;8204:12;:10;:12::i;:::-;8231:7;8253:145;8310:15;8253:145;;;;;;;;;;;;;;;;;:11;:25;8265:12;:10;:12::i;:::-;8253:25;;;;;;;;;;;;;;;:34;8279:7;8253:34;;;;;;;;;;;;;;;;:38;;:145;;;;;:::i;:::-;8181:8;:228::i;:::-;8427:4;8420:11;;8056:383;;;;:::o;8649:202::-;1194:9;:7;:9::i;:::-;1186:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8767:32;8779:5;8786:12;8767:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8831:12;8810:11;:18;8822:5;8810:18;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;8649:202;;:::o;6820:158::-;6889:4;6906:42;6916:12;:10;:12::i;:::-;6930:9;6941:6;6906:9;:42::i;:::-;6966:4;6959:11;;6820:158;;;;:::o;6986:166::-;7085:7;7117:11;:18;7129:5;7117:18;;;;;;;;;;;;;;;:27;7136:7;7117:27;;;;;;;;;;;;;;;;7110:34;;6986:166;;;;:::o;1518:109::-;1194:9;:7;:9::i;:::-;1186:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1591:28;1610:8;1591:18;:28::i;:::-;1518:109;:::o;8859:208::-;1194:9;:7;:9::i;:::-;1186:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8979:34;8993:5;9000:12;8979:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9047:12;9024:13;:20;9038:5;9024:20;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;8859:208;;:::o;376:98::-;421:15;456:10;449:17;;376:98;:::o;11106:372::-;11251:1;11234:19;;:5;:19;;;;11226:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11332:1;11313:21;;:7;:21;;;;11305:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11416:6;11386:11;:18;11398:5;11386:18;;;;;;;;;;;;;;;:27;11405:7;11386:27;;;;;;;;;;;;;;;:36;;;;11454:7;11438:32;;11447:5;11438:32;;;11463:6;11438:32;;;;;;;;;;;;;;;;;;11106:372;;;:::o;9514:875::-;5415:1;5400:11;:16;:46;;;;5432:14;5420:9;:26;5400:46;5396:313;;;9675:1;9657:20;;:6;:20;;;;9649:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9759:1;9738:23;;:9;:23;;;;9730:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9834:108;9870:6;9834:108;;;;;;;;;;;;;;;;;:9;:17;9844:6;9834:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;9814:9;:17;9824:6;9814:17;;;;;;;;;;;;;;;:128;;;;9960:33;9975:6;9983:9;9960:14;:33::i;:::-;9959:34;:50;;;;;10008:1;9997:7;:5;:7::i;:::-;:12;9959:50;9955:427;;;10041:24;10058:6;10041:12;;:16;;:24;;;;:::i;:::-;10026:12;:39;;;;10098:9;10085:31;;10090:6;10085:31;;;10109:6;10085:31;;;;;;;;;;;;;;;;;;10161:1;10136:36;;10145:6;10136:36;;;10165:6;10136:36;;;;;;;;;;;;;;;;;;9955:427;;;10228:32;10253:6;10228:9;:20;10238:9;10228:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10205:9;:20;10215:9;10205:20;;;;;;;;;;;;;;;:55;;;;10297:9;10280:35;;10289:6;10280:35;;;10308:6;10280:35;;;;;;;;;;;;;;;;;;10352:9;10335:35;;10344:6;10335:35;;;10363:6;10335:35;;;;;;;;;;;;;;;;;;9955:427;5479:16;5498:9;5479:28;;5522:142;5349:5;5540:9;5529:8;:20;:29;5522:142;;;5642:4;;5625:22;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5625:22:0;;;5615:33;;;;;;5608:4;:40;;;;5522:142;;;5396:313;;;;9675:1;9657:20;;:6;:20;;;;9649:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9759:1;9738:23;;:9;:23;;;;9730:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9834:108;9870:6;9834:108;;;;;;;;;;;;;;;;;:9;:17;9844:6;9834:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;9814:9;:17;9824:6;9814:17;;;;;;;;;;;;;;;:128;;;;9960:33;9975:6;9983:9;9960:14;:33::i;:::-;9959:34;:50;;;;;10008:1;9997:7;:5;:7::i;:::-;:12;9959:50;9955:427;;;10041:24;10058:6;10041:12;;:16;;:24;;;;:::i;:::-;10026:12;:39;;;;10098:9;10085:31;;10090:6;10085:31;;;10109:6;10085:31;;;;;;;;;;;;;;;;;;10161:1;10136:36;;10145:6;10136:36;;;10165:6;10136:36;;;;;;;;;;;;;;;;;;9955:427;;;10228:32;10253:6;10228:9;:20;10238:9;10228:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10205:9;:20;10215:9;10205:20;;;;;;;;;;;;;;;:55;;;;10297:9;10280:35;;10289:6;10280:35;;;10308:6;10280:35;;;;;;;;;;;;;;;;;;10352:9;10335:35;;10344:6;10335:35;;;10363:6;10335:35;;;;;;;;;;;;;;;;;;9955:427;5396:313;9514:875;;;:::o;2265:226::-;2385:7;2418:1;2413;:6;;2421:12;2405: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;2405:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2445:9;2461:1;2457;:5;2445:17;;2482:1;2475:8;;;2265:226;;;;;:::o;1932:181::-;1990:7;2010:9;2026:1;2022;:5;2010:17;;2051:1;2046;:6;;2038:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2104:1;2097:8;;;1932:181;;;;:::o;10713:385::-;10808:1;10789:21;;:7;:21;;;;10781:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10882:105;10919:6;10882:105;;;;;;;;;;;;;;;;;:9;:18;10892:7;10882:18;;;;;;;;;;;;;;;;:22;;:105;;;;;:::i;:::-;10861:9;:18;10871:7;10861:18;;;;;;;;;;;;;;;:126;;;;11013:24;11030:6;11013:12;;:16;;:24;;;;:::i;:::-;10998:12;:39;;;;11079:1;11053:37;;11062:7;11053:37;;;11083:6;11053:37;;;;;;;;;;;;;;;;;;10713:385;;:::o;11486:331::-;11558:22;11564:7;11573:6;11558:5;:22::i;:::-;11591:218;11614:7;11636:12;:10;:12::i;:::-;11663:135;11720:6;11663:135;;;;;;;;;;;;;;;;;:11;:20;11675:7;11663:20;;;;;;;;;;;;;;;:34;11684:12;:10;:12::i;:::-;11663:34;;;;;;;;;;;;;;;;:38;;:135;;;;;:::i;:::-;11591:8;:218::i;:::-;11486:331;;:::o;1635:266::-;1743:1;1723:22;;:8;:22;;;;1701:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1856:8;1827:38;;1848:6;;;;;;;;;;;1827:38;;;;;;;;;;;;1885:8;1876:6;;:17;;;;;;;;;;;;;;;;;;1635:266;:::o;9075:179::-;9177:4;9206:13;:20;9220:5;9206:20;;;;;;;;;;;;;;;;;;;;;;;;;:40;;;;9230:11;:16;9242:3;9230:16;;;;;;;;;;;;;;;;;;;;;;;;;9206:40;9199:47;;9075:179;;;;:::o;9262:244::-;9297:7;9317:14;9375:12;9389:8;;9399:9;9358:51;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9358:51:0;;;9334:86;;;;;;9317:103;;9442:6;9431:8;:17;;;;9489:1;9484;9474:6;9466:15;;:19;;;;;;:24;:32;;9497:1;9466:32;;;9493:1;9466:32;9459:39;;;;;9262:244;:::o;2121:136::-;2179:7;2206:43;2210:1;2213;2206:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2199:50;;2121:136;;;;:::o

bzzr://4adf3b93835950081e0275bd47b5ed1b21fe37bdfcd7d2291ecda77603d52d09