Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity >=0.4.21 <0.7.0;

import "./TessaToken.sol";

contract Tessa_0001_DH1 is TessaToken {
    string public name = "TESSA[#0001] : David Hockney [1]";
    string public symbol = "TSA";
    uint8 public decimals = 0;

    constructor(uint256 supply_, bool state, address addr_) public {
        totalSupply_ = supply_;
        balances[msg.sender] = totalSupply_;
        issuer_ = msg.sender;
        state_ = state;
        tManager_ = TessaManager(addr_);
    }
}

pragma solidity >=0.4.21 <0.7.0;

contract TessaManager {
    string public name = "TESSA MANAGER @2020";

    address internal _owner;
    mapping (address => bool) internal _whitelist;
    mapping (address => bool) internal _managers;

    event SetWhitelist(address indexed _addr, bool state);
    event SetManager(address indexed _addr, bool state);

    constructor() public {
        _owner = msg.sender;
        setWhitelist(msg.sender, true);
        setManager(msg.sender, true);
    }

    function setWhitelist(address _addr, bool state) public returns (bool) {
        require(msg.sender == _owner, "owner:false");
        require(_addr != address(0), "addr:0x0");
        _whitelist[_addr] = state;
        emit SetWhitelist(_addr, state);
        return true;
    }

    function isWhitelist(address _addr) public view returns (bool) {
        require(_addr != address(0), "addr:0x0");
        return _whitelist[_addr];
    }

    function setManager(address _addr, bool state) public returns (bool) {
        require(msg.sender == _owner, "owner:false");
        require(_addr != address(0), "addr:0x0");
        _managers[_addr] = state;
        _whitelist[_addr] = state;
        emit SetManager(_addr, state);
        emit SetWhitelist(_addr, state);
        return true;
    }

    function isManager(address _addr) public view returns (bool) {
        require(_addr != address(0), "addr:0x0");
        return _managers[_addr];
    }
}

pragma solidity >=0.4.21 <0.7.0;

import "./TessaManager.sol";

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
    /**
    * @dev Multiplies two numbers, throws on overflow.
    */
    function mul(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
        // Gas optimization: this is cheaper than asserting '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;
        }

        c = _a * _b;
        assert(c / _a == _b);
        return c;
    }

    /**
    * @dev Integer division of two numbers, truncating the quotient.
    */
    function div(uint256 _a, uint256 _b) internal pure returns (uint256) {
        // assert(_b > 0); // Solidity automatically throws when dividing by 0
        // uint256 c = _a / _b;
        // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold
        return _a / _b;
    }

    /**
    * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {
        assert(_b <= _a);
        return _a - _b;
    }

    /**
    * @dev Adds two numbers, throws on overflow.
    */
    function add(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
        c = _a + _b;
        assert(c >= _a);
        return c;
    }
}

/**
 * @title IERC20 interface
 * @dev see https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/IERC20.sol
 */
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address who) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);

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

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/issues/20
 * Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract TessaToken is IERC20 {
    using SafeMath for uint256;

    mapping(address => uint256) internal balances;
    mapping(address => mapping(address => uint256)) internal allowed;

    uint256 internal totalSupply_;
    address internal issuer_;
    bool internal state_;

    TessaManager internal tManager_;

    event TransferFrom(address indexed issuer, address indexed from, address indexed to, uint256 value);

    function setManager(address _tmAddr) public returns (bool) {
        require(issuer_ == msg.sender, "issuer:false");
        tManager_ = TessaManager(_tmAddr);
        return true;
    }

    function setState(bool state) public returns (bool) {
        require(issuer_ == msg.sender, "issuer:false");
        state_ = state;
        return true;
    }

    function getState() public view returns (bool) {
        return state_;
    }

    /**
  * @dev Total number of tokens in existence
  */
    function totalSupply() public view returns (uint256) {
        return totalSupply_;
    }

    /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
    function balanceOf(address _owner) public view returns (uint256) {
        return balances[_owner];
    }

    /**
  * @dev Transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
    function transfer(address _to, uint256 _value) public returns (bool) {
        require(state_, "state:false");
        require(_to != address(0), "addr:0x0");
        require(tManager_.isWhitelist(_to), "whitelist:false");
        require(_value <= balances[msg.sender], "balance:not enough");
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
   * @dev Transfer tokens from one address to another by manager
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
    function transferFrom(address _from, address _to, uint256 _value) public returns (bool)
    {
        require(tManager_.isManager(msg.sender), "manager:false");
        require(state_, "state:false");
        require(_to != address(0), "addr:0x0");
        require(tManager_.isWhitelist(_to), "whitelist:false");
        require(_value <= balances[_from], "balance:not enough");
        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit TransferFrom(msg.sender, _from, _to, _value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   * Beware that changing an allowance with this method brings the risk that someone may use both the old
   * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
   * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
   * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
    function approve(address _spender, uint256 _value) public returns (bool) {
        require(false, "Access denied!");
        // allowed[msg.sender][_spender] = _value;
        // emit Approval(msg.sender, _spender, _value);
        return false;
    }

    /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for the spender.
   */
    function allowance(address _owner, address _spender) public view returns (uint256)
    {
        require(false, "Access denied!");
        //return allowed[_owner][_spender];
        return 0;
    }

    /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
    function increaseApproval(address _spender, uint256 _addedValue) public returns (bool)
    {
        require(false, "Access denied!");
        // allowed[msg.sender][_spender] = (
        // allowed[msg.sender][_spender].add(_addedValue));
        // emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
    function decreaseApproval(address _spender, uint256 _subtractedValue) public returns (bool)
    {
        require(false, "Access denied!");
        // uint256 oldValue = allowed[msg.sender][_spender];
        // if (_subtractedValue >= oldValue) {
        //   allowed[msg.sender][_spender] = 0;
        // } else {
        //   allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        // }
        // emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"supply_","type":"uint256"},{"internalType":"bool","name":"state","type":"bool"},{"internalType":"address","name":"addr_","type":"address"}],"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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"issuer","type":"address"},{"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":"TransferFrom","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":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"decreaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getState","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_tmAddr","type":"address"}],"name":"setManager","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bool","name":"state","type":"bool"}],"name":"setState","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280602081526020017f54455353415b23303030315d203a20446176696420486f636b6e6579205b315d815250600590805190602001906200005192919062000205565b506040518060400160405280600381526020017f5453410000000000000000000000000000000000000000000000000000000000815250600690805190602001906200009f92919062000205565b506000600760006101000a81548160ff021916908360ff160217905550348015620000c957600080fd5b5060405162001a0138038062001a0183398181016040526060811015620000ef57600080fd5b81019080805190602001909291908051906020019092919080519060200190929190505050826002819055506002546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600360146101000a81548160ff02191690831515021790555080600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050620002b4565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200024857805160ff191683800117855562000279565b8280016001018555821562000279579182015b82811115620002785782518255916020019190600101906200025b565b5b5090506200028891906200028c565b5090565b620002b191905b80821115620002ad57600081600090555060010162000293565b5090565b90565b61173d80620002c46000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063ac9f022211610066578063ac9f022214610469578063d0ebdbe7146104b1578063d73dd6231461050d578063dd62ed3e14610573576100ea565b806370a082311461032857806395d89b4114610380578063a9059cbb14610403576100ea565b80631865c57d116100c85780631865c57d146101f657806323b872dd14610218578063313ce5671461029e57806366188463146102c2576100ea565b806306fdde03146100ef578063095ea7b31461017257806318160ddd146101d8575b600080fd5b6100f76105eb565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013757808201518184015260208101905061011c565b50505050905090810190601f1680156101645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610689565b604051808215151515815260200191505060405180910390f35b6101e0610708565b6040518082815260200191505060405180910390f35b6101fe610712565b604051808215151515815260200191505060405180910390f35b6102846004803603606081101561022e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610729565b604051808215151515815260200191505060405180910390f35b6102a6610dae565b604051808260ff1660ff16815260200191505060405180910390f35b61030e600480360360408110156102d857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dc1565b604051808215151515815260200191505060405180910390f35b61036a6004803603602081101561033e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e40565b6040518082815260200191505060405180910390f35b610388610e88565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103c85780820151818401526020810190506103ad565b50505050905090810190601f1680156103f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61044f6004803603604081101561041957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f26565b604051808215151515815260200191505060405180910390f35b6104976004803603602081101561047f57600080fd5b810190808035151590602001909291905050506113e2565b604051808215151515815260200191505060405180910390f35b6104f3600480360360208110156104c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114ca565b604051808215151515815260200191505060405180910390f35b6105596004803603604081101561052357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115d9565b604051808215151515815260200191505060405180910390f35b6105d56004803603604081101561058957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611658565b6040518082815260200191505060405180910390f35b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106815780601f1061065657610100808354040283529160200191610681565b820191906000526020600020905b81548152906001019060200180831161066457829003601f168201915b505050505081565b6000806106fe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6000905092915050565b6000600254905090565b6000600360149054906101000a900460ff16905090565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3ae2415336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107ca57600080fd5b505afa1580156107de573d6000803e3d6000fd5b505050506040513d60208110156107f457600080fd5b8101908080519060200190929190505050610877576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d616e616765723a66616c73650000000000000000000000000000000000000081525060200191505060405180910390fd5b600360149054906101000a900460ff166108f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f73746174653a66616c736500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f616464723a30783000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c683630d846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610a3b57600080fd5b505afa158015610a4f573d6000803e3d6000fd5b505050506040513d6020811015610a6557600080fd5b8101908080519060200190929190505050610ae8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f77686974656c6973743a66616c7365000000000000000000000000000000000081525060200191505060405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b9c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e63653a6e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b610bed826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116d790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c80826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5f7542858008eeb041631f30e6109ae94b83a58e9a58261dd2c42c508850f939856040518082815260200191505060405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600760009054906101000a900460ff1681565b600080610e36576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f1e5780601f10610ef357610100808354040283529160200191610f1e565b820191906000526020600020905b815481529060010190602001808311610f0157829003601f168201915b505050505081565b6000600360149054906101000a900460ff16610faa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f73746174653a66616c736500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f616464723a30783000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c683630d846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110ec57600080fd5b505afa158015611100573d6000803e3d6000fd5b505050506040513d602081101561111657600080fd5b8101908080519060200190929190505050611199576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f77686974656c6973743a66616c7365000000000000000000000000000000000081525060200191505060405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561124d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e63653a6e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b61129e826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116d790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611331826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f6973737565723a66616c7365000000000000000000000000000000000000000081525060200191505060405180910390fd5b81600360146101000a81548160ff02191690831515021790555060019050919050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461158f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f6973737565723a66616c7365000000000000000000000000000000000000000081525060200191505060405180910390fd5b81600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b60008061164e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6001905092915050565b6000806116cd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6000905092915050565b6000828211156116e357fe5b818303905092915050565b60008183019050828110156116ff57fe5b8090509291505056fea265627a7a72315820a5ab0920e760f459c8f998e68aa571ca1370558d95bcf534b7c5a3b89e05a18264736f6c634300051000320000000000000000000000000000000000000000000000000000000000015ba80000000000000000000000000000000000000000000000000000000000000001000000000000000000000000919f825af50366d05b9f4d34f7cf577aad627f3c

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063ac9f022211610066578063ac9f022214610469578063d0ebdbe7146104b1578063d73dd6231461050d578063dd62ed3e14610573576100ea565b806370a082311461032857806395d89b4114610380578063a9059cbb14610403576100ea565b80631865c57d116100c85780631865c57d146101f657806323b872dd14610218578063313ce5671461029e57806366188463146102c2576100ea565b806306fdde03146100ef578063095ea7b31461017257806318160ddd146101d8575b600080fd5b6100f76105eb565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013757808201518184015260208101905061011c565b50505050905090810190601f1680156101645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610689565b604051808215151515815260200191505060405180910390f35b6101e0610708565b6040518082815260200191505060405180910390f35b6101fe610712565b604051808215151515815260200191505060405180910390f35b6102846004803603606081101561022e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610729565b604051808215151515815260200191505060405180910390f35b6102a6610dae565b604051808260ff1660ff16815260200191505060405180910390f35b61030e600480360360408110156102d857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dc1565b604051808215151515815260200191505060405180910390f35b61036a6004803603602081101561033e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e40565b6040518082815260200191505060405180910390f35b610388610e88565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103c85780820151818401526020810190506103ad565b50505050905090810190601f1680156103f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61044f6004803603604081101561041957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f26565b604051808215151515815260200191505060405180910390f35b6104976004803603602081101561047f57600080fd5b810190808035151590602001909291905050506113e2565b604051808215151515815260200191505060405180910390f35b6104f3600480360360208110156104c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114ca565b604051808215151515815260200191505060405180910390f35b6105596004803603604081101561052357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115d9565b604051808215151515815260200191505060405180910390f35b6105d56004803603604081101561058957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611658565b6040518082815260200191505060405180910390f35b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106815780601f1061065657610100808354040283529160200191610681565b820191906000526020600020905b81548152906001019060200180831161066457829003601f168201915b505050505081565b6000806106fe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6000905092915050565b6000600254905090565b6000600360149054906101000a900460ff16905090565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3ae2415336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107ca57600080fd5b505afa1580156107de573d6000803e3d6000fd5b505050506040513d60208110156107f457600080fd5b8101908080519060200190929190505050610877576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d616e616765723a66616c73650000000000000000000000000000000000000081525060200191505060405180910390fd5b600360149054906101000a900460ff166108f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f73746174653a66616c736500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f616464723a30783000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c683630d846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610a3b57600080fd5b505afa158015610a4f573d6000803e3d6000fd5b505050506040513d6020811015610a6557600080fd5b8101908080519060200190929190505050610ae8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f77686974656c6973743a66616c7365000000000000000000000000000000000081525060200191505060405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b9c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e63653a6e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b610bed826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116d790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c80826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5f7542858008eeb041631f30e6109ae94b83a58e9a58261dd2c42c508850f939856040518082815260200191505060405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600760009054906101000a900460ff1681565b600080610e36576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f1e5780601f10610ef357610100808354040283529160200191610f1e565b820191906000526020600020905b815481529060010190602001808311610f0157829003601f168201915b505050505081565b6000600360149054906101000a900460ff16610faa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f73746174653a66616c736500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f616464723a30783000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c683630d846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110ec57600080fd5b505afa158015611100573d6000803e3d6000fd5b505050506040513d602081101561111657600080fd5b8101908080519060200190929190505050611199576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f77686974656c6973743a66616c7365000000000000000000000000000000000081525060200191505060405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561124d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e63653a6e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b61129e826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116d790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611331826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116ee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f6973737565723a66616c7365000000000000000000000000000000000000000081525060200191505060405180910390fd5b81600360146101000a81548160ff02191690831515021790555060019050919050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461158f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f6973737565723a66616c7365000000000000000000000000000000000000000081525060200191505060405180910390fd5b81600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b60008061164e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6001905092915050565b6000806116cd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642100000000000000000000000000000000000081525060200191505060405180910390fd5b6000905092915050565b6000828211156116e357fe5b818303905092915050565b60008183019050828110156116ff57fe5b8090509291505056fea265627a7a72315820a5ab0920e760f459c8f998e68aa571ca1370558d95bcf534b7c5a3b89e05a18264736f6c63430005100032

0000000000000000000000000000000000000000000000000000000000015ba80000000000000000000000000000000000000000000000000000000000000001000000000000000000000000919f825af50366d05b9f4d34f7cf577aad627f3c

-----Decoded View---------------
Arg [0] : supply_ (uint256): 89000
Arg [1] : state (bool): True
Arg [2] : addr_ (address): 0x919f825af50366d05b9F4d34F7cF577AaD627f3C

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000015ba8
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [2] : 000000000000000000000000919f825af50366d05b9f4d34f7cf577aad627f3c

62:415:2:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;62:415:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;106:55;;;:::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;106:55:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6062:251:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6062:251:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3495:89;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3354:77;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4827:613;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4827:613:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;201:25:2;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8096:511:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8096:511:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3790:105;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3790:105:1;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;167:28:2;;;:::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;167:28:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4053:484:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4053:484:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3188:160;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3188:160:1;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2996:186;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2996:186:1;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7290:345;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7290:345:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6636:198;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6636:198:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;106:55:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6062:251:1:-;6129:4;6153:5;6145:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6301:5;6294:12;;6062:251;;;;:::o;3495:89::-;3539:7;3565:12;;3558:19;;3495:89;:::o;3354:77::-;3395:4;3418:6;;;;;;;;;;;3411:13;;3354:77;:::o;4827:613::-;4909:4;4937:9;;;;;;;;;;;:19;;;4957:10;4937:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4937:31:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4937:31:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4937:31:1;;;;;;;;;;;;;;;;4929:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5004:6;;;;;;;;;;;4996:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5059:1;5044:17;;:3;:17;;;;5036:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5092:9;;;;;;;;;;;:21;;;5114:3;5092:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5092:26:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5092:26:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5092:26:1;;;;;;;;;;;;;;;;5084:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5166:8;:15;5175:5;5166:15;;;;;;;;;;;;;;;;5156:6;:25;;5148:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5232:27;5252:6;5232:8;:15;5241:5;5232:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5214:8;:15;5223:5;5214:15;;;;;;;;;;;;;;;:45;;;;5285:25;5303:6;5285:8;:13;5294:3;5285:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5269:8;:13;5278:3;5269:13;;;;;;;;;;;;;;;:41;;;;5357:3;5325:44;;5350:5;5325:44;;5338:10;5325:44;;;5362:6;5325:44;;;;;;;;;;;;;;;;;;5400:3;5384:28;;5393:5;5384:28;;;5405:6;5384:28;;;;;;;;;;;;;;;;;;5429:4;5422:11;;4827:613;;;;;:::o;201:25:2:-;;;;;;;;;;;;;:::o;8096:511:1:-;8182:4;8210:5;8202:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8596:4;8589:11;;8096:511;;;;:::o;3790:105::-;3846:7;3872:8;:16;3881:6;3872:16;;;;;;;;;;;;;;;;3865:23;;3790:105;;;:::o;167:28:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4053:484:1:-;4116:4;4140:6;;;;;;;;;;;4132:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4195:1;4180:17;;:3;:17;;;;4172:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4228:9;;;;;;;;;;;:21;;;4250:3;4228:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4228:26:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4228:26:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4228:26:1;;;;;;;;;;;;;;;;4220:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4302:8;:20;4311:10;4302:20;;;;;;;;;;;;;;;;4292:6;:30;;4284:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4378:32;4403:6;4378:8;:20;4387:10;4378:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;4355:8;:20;4364:10;4355:20;;;;;;;;;;;;;;;:55;;;;4436:25;4454:6;4436:8;:13;4445:3;4436:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4420:8;:13;4429:3;4420:13;;;;;;;;;;;;;;;:41;;;;4497:3;4476:33;;4485:10;4476:33;;;4502:6;4476:33;;;;;;;;;;;;;;;;;;4526:4;4519:11;;4053:484;;;;:::o;3188:160::-;3234:4;3269:10;3258:21;;:7;;;;;;;;;;;:21;;;3250:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3315:5;3306:6;;:14;;;;;;;;;;;;;;;;;;3337:4;3330:11;;3188:160;;;:::o;2996:186::-;3049:4;3084:10;3073:21;;:7;;;;;;;;;;;:21;;;3065:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3146:7;3121:9;;:33;;;;;;;;;;;;;;;;;;3171:4;3164:11;;2996:186;;;:::o;7290:345::-;7371:4;7399:5;7391:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7624:4;7617:11;;7290:345;;;;:::o;6636:198::-;6710:7;6741:5;6733:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6826:1;6819:8;;6636:198;;;;:::o;1178:126::-;1238:7;1270:2;1264;:8;;1257:16;;;;1295:2;1290;:7;1283:14;;1178:126;;;;:::o;1374:142::-;1434:9;1464:2;1459;:7;1455:11;;1488:2;1483:1;:7;;1476:15;;;;1508:1;1501:8;;1374:142;;;;:::o

bzzr://a5ab0920e760f459c8f998e68aa571ca1370558d95bcf534b7c5a3b89e05a182