Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract Ownable
•    - function Ownable()
•    - function changeOwner(address _owner)
•    - function confirmOwner()
•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint va ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract BasicToken is Ownable, ER ...
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is BasicTok ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract Tettoken is StandardToke ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function Tettoken(uint256 _initialSup ...
•    - function totalSupply()
•    - function tetwrite(uint256 _newts)
•    - function issue(uint256 _amount)
•    - function redeem(uint256 _amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.4.17;

/*  
 *   Math operations with safety checks that throw on error
 */
library SafeMath {
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

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

/*
 *  The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address public owner;
    address public newOwner;
	
    function Ownable() public {
        owner = msg.sender;
    }

    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }

    function changeOwner(address _owner) onlyOwner public {
        require(_owner != 0);
        newOwner = _owner;
    }
    
    function confirmOwner() public {
        require(newOwner == msg.sender);
        owner = newOwner;
        delete newOwner;
    }
}

/*
 * Simpler version of ERC20 interface
 *  see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20Basic {
    uint256 public _totalSupply;
    function totalSupply() public view returns (uint256);
    function balanceOf(address who) public view returns (uint256 balance);
    function transfer(address to, uint value) public returns (bool success);
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
}

/*
 * ERC20 interface
 *  see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) public view returns (uint256 remaining);
    function transferFrom(address from, address to, uint256 value) public returns (bool success);
    function approve(address spender, uint256 value) public returns (bool success);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

/*
 *  Basic token
 *  Basic version of StandardToken, with no allowances.
 */
contract BasicToken is Ownable, ERC20Basic {
    using SafeMath for uint256;

    mapping(address => uint256) public balances;

    /*
    *  Fix for the ERC20 short address attack.
    */
    modifier onlyPayloadSize(uint256 size) {
        require(!(msg.data.length < size + 4));
        _;
    }

    /*
    *  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 onlyPayloadSize(2 * 32) returns (bool success) {
        require (!(_to == 0x0));
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(msg.sender, _to, _value);
        return true;
    }

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


/*
 *  Implementation of the basic standard token.
 * see https://github.com/ethereum/EIPs/issues/20
 */
contract StandardToken is BasicToken, ERC20 {

    mapping (address => mapping (address => uint256)) public allowed;
    uint256 public constant maxtet =1000000000000000;  
                             
    /*
    *  Transfer tokens from one address to another
    * @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 uint the amount of tokens to be transferred
    */
    function transferFrom(address _from, address _to, uint256 _value) public  onlyPayloadSize(3 * 32) returns (bool success) {
        require (!(_to == 0x0));
        var _allowance = allowed[_from][msg.sender];

        if (_allowance < maxtet) {
            allowed[_from][msg.sender] = _allowance.sub(_value);
        }
        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(_from, _to, _value);
        return true;
    }

    /*
    *  Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
    * @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 onlyPayloadSize(2 * 32) returns (bool success) {

        // To change the approve amount you first have to reduce the addresses`
        //  allowance to zero by calling `approve(_spender, 0)` if it is not
        //  already 0 to mitigate the race condition described here:
        //  https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
        require(!((_value != 0) && (allowed[msg.sender][_spender] != 0)));

        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    /*
    * Function to check the amount of tokens than 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 uint specifying the amount of tokens still available for the spender.
    */
    function allowance(address _owner, address _spender) public view returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }
}


contract Tettoken is  StandardToken {

    string public name;
    string public symbol;
    uint8 public decimals;

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

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

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

    //  The contract can be initialized with a number of tokens
    //  All the tokens are deposited to the owner address
    //
    // @param _balance Initial supply of the contract
    // @param _name Token Name
    // @param _symbol Token symbol
    // @param _decimals Token decimals
    function Tettoken(uint256 _initialSupply, string _name, string _symbol, uint8 _decimals) public {
        require( _initialSupply <= maxtet); 
        _totalSupply = _initialSupply;
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        balances[owner] = _initialSupply;
    }

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

    function tetwrite(uint256 _newts) public onlyOwner returns (uint256 tetts) {
        require( _newts <= maxtet);
        require( _newts != _totalSupply);

        if (_newts > _totalSupply) {
               balances[owner] = balances[owner].add(_newts - _totalSupply);
        } else {
                  require  (balances[owner] >= ( _totalSupply - _newts ));
                balances[owner] = balances[owner].sub(_totalSupply - _newts)  ;
        }
         _totalSupply = _newts ;
         Tetwrite(_totalSupply);
         return _totalSupply ;
    }


    // Issue a new amount of tokens
    // these tokens are deposited into the owner address
    //
    // @param _amount Number of tokens to be issued
    function issue(uint256 _amount) public onlyOwner returns (bool success) {
        require(_totalSupply + _amount <= maxtet); 
        require(_totalSupply + _amount > _totalSupply);
        require(balances[owner] + _amount > balances[owner]);

        balances[owner] += _amount;
        _totalSupply += _amount;
        Issue(_amount);
        return true;
    }

    // Redeem tokens.
    // These tokens are withdrawn from the owner address
    // if the balance must be enough to cover the redeem
    // or the call will fail.
    // @param _amount Number of tokens to be issued
    function redeem(uint256 _amount) public onlyOwner returns (bool success) {
        require(_totalSupply >= _amount);
        require(balances[owner] >= _amount);

        _totalSupply -= _amount;
        balances[owner] -= _amount;
        Redeem(_amount);
        return true;
    }

    event Issue(uint256 _amount);

    event Redeem(uint256 _amount);

    event Tetwrite(uint256 _tetts);
}

• 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":"success","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":"_newts","type":"uint256"}],"name":"tetwrite","outputs":[{"name":"tetts","type":"uint256"}],"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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balances","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","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":"_owner","type":"address"}],"name":"changeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"confirmOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"issue","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"redeem","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxtet","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_initialSupply","type":"uint256"},{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_decimals","type":"uint8"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_amount","type":"uint256"}],"name":"Issue","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_amount","type":"uint256"}],"name":"Redeem","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_tetts","type":"uint256"}],"name":"Tetwrite","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":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"}]

606060405234156200001057600080fd5b60405162001b7838038062001b7883398101604052808051906020019091908051820191906020018051820191906020018051906020019091905050336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555066038d7ea4c680008411151515620000a357600080fd5b836002819055508260059080519060200190620000c292919062000166565b508160069080519060200190620000db92919062000166565b5080600760006101000a81548160ff021916908360ff16021790555083600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050505062000215565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001a957805160ff1916838001178555620001da565b82800160010185558215620001da579182015b82811115620001d9578251825591602001919060010190620001bc565b5b509050620001e99190620001ed565b5090565b6200021291905b808211156200020e576000816000905550600101620001f4565b5090565b90565b61195380620002256000396000f30060606040523615610110576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610115578063095ea7b3146101a357806318160ddd146101fd5780631cf95c5f1461022657806323b872dd1461025d57806327e235e3146102d6578063313ce567146103235780633eaaf86b146103525780635c6581651461037b57806370a08231146103e75780638da5cb5b1461043457806395d89b4114610489578063a6f9dae114610517578063a9059cbb14610550578063bd9b6d86146105aa578063cc872b66146105bf578063d4ee1d90146105fa578063db006a751461064f578063dd62ed3e1461068a578063eb8e2cea146106f6575b600080fd5b341561012057600080fd5b61012861071f565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016857808201518184015260208101905061014d565b50505050905090810190601f1680156101955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101ae57600080fd5b6101e3600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107c7565b604051808215151515815260200191505060405180910390f35b341561020857600080fd5b61021061096c565b6040518082815260200191505060405180910390f35b341561023157600080fd5b6102476004808035906020019091905050610976565b6040518082815260200191505060405180910390f35b341561026857600080fd5b6102bc600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610c7d565b604051808215151515815260200191505060405180910390f35b34156102e157600080fd5b61030d600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610f7c565b6040518082815260200191505060405180910390f35b341561032e57600080fd5b610336610f94565b604051808260ff1660ff16815260200191505060405180910390f35b341561035d57600080fd5b610365610fab565b6040518082815260200191505060405180910390f35b341561038657600080fd5b6103d1600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610fb1565b6040518082815260200191505060405180910390f35b34156103f257600080fd5b61041e600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610fd6565b6040518082815260200191505060405180910390f35b341561043f57600080fd5b61044761101f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561049457600080fd5b61049c611044565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104dc5780820151818401526020810190506104c1565b50505050905090810190601f1680156105095780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561052257600080fd5b61054e600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506110ec565b005b341561055b57600080fd5b610590600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506111b1565b604051808215151515815260200191505060405180910390f35b34156105b557600080fd5b6105bd61138b565b005b34156105ca57600080fd5b6105e06004808035906020019091905050611470565b604051808215151515815260200191505060405180910390f35b341561060557600080fd5b61060d611689565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561065a57600080fd5b61067060048080359060200190919050506116af565b604051808215151515815260200191505060405180910390f35b341561069557600080fd5b6106e0600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061184a565b6040518082815260200191505060405180910390f35b341561070157600080fd5b6107096118d1565b6040518082815260200191505060405180910390f35b610727611913565b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107bd5780601f10610792576101008083540402835291602001916107bd565b820191906000526020600020905b8154815290600101906020018083116107a057829003601f168201915b5050505050905090565b60006040600481016000369050101515156107e157600080fd5b6000831415801561086f57506000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15151561087b57600080fd5b82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a3600191505092915050565b6000600254905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109d357600080fd5b66038d7ea4c6800082111515156109e957600080fd5b60025482141515156109fa57600080fd5b600254821115610ae457610a7b6002548303600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c33565b8160025403600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610b5757600080fd5b610bce8260025403600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b816002819055507fd566ec601a0708dcc21926feeb1883dbf3cfc93ce8c56b94d67950ea06c7904b6002546040518082815260200191505060405180910390a16002549050919050565b600080606060048101600036905010151515610c9857600080fd5b60008573ffffffffffffffffffffffffffffffffffffffff1614151515610cbe57600080fd5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054915066038d7ea4c68000821015610de057610d5f84836118fa90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b610e3284600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ec784600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b60036020528060005260406000206000915090505481565b6000600760009054906101000a900460ff16905090565b60025481565b6004602052816000526040600020602052806000526040600020600091509150505481565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61104c611913565b60068054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110e25780601f106110b7576101008083540402835291602001916110e2565b820191906000526020600020905b8154815290600101906020018083116110c557829003601f168201915b5050505050905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561114757600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff161415151561116d57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006040600481016000369050101515156111cb57600080fd5b60008473ffffffffffffffffffffffffffffffffffffffff16141515156111f157600080fd5b61124383600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112d883600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b3373ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156113e757600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156114cd57600080fd5b66038d7ea4c680008260025401111515156114e757600080fd5b60025482600254011115156114fb57600080fd5b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011115156115cb57600080fd5b81600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600082825401925050819055507fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a826040518082815260200191505060405180910390a160019050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561170c57600080fd5b816002541015151561171d57600080fd5b81600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561178c57600080fd5b8160026000828254039250508190555081600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055507f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44826040518082815260200191505060405180910390a160019050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b66038d7ea4c6800081565b60008082840190508381101515156118f057fe5b8091505092915050565b600082821115151561190857fe5b818303905092915050565b6020604051908101604052806000815250905600a165627a7a723058203f875d0dddd20f9c5e3e6594046adae9ee1b9ea0d07c2133b991111677089cae002900000000000000000000000000000000000000000000000000038d7ea4c68000000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000001554656374756d20456d697373696f6e20546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000035445540000000000000000000000000000000000000000000000000000000000

0x60606040523615610110576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610115578063095ea7b3146101a357806318160ddd146101fd5780631cf95c5f1461022657806323b872dd1461025d57806327e235e3146102d6578063313ce567146103235780633eaaf86b146103525780635c6581651461037b57806370a08231146103e75780638da5cb5b1461043457806395d89b4114610489578063a6f9dae114610517578063a9059cbb14610550578063bd9b6d86146105aa578063cc872b66146105bf578063d4ee1d90146105fa578063db006a751461064f578063dd62ed3e1461068a578063eb8e2cea146106f6575b600080fd5b341561012057600080fd5b61012861071f565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016857808201518184015260208101905061014d565b50505050905090810190601f1680156101955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101ae57600080fd5b6101e3600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107c7565b604051808215151515815260200191505060405180910390f35b341561020857600080fd5b61021061096c565b6040518082815260200191505060405180910390f35b341561023157600080fd5b6102476004808035906020019091905050610976565b6040518082815260200191505060405180910390f35b341561026857600080fd5b6102bc600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610c7d565b604051808215151515815260200191505060405180910390f35b34156102e157600080fd5b61030d600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610f7c565b6040518082815260200191505060405180910390f35b341561032e57600080fd5b610336610f94565b604051808260ff1660ff16815260200191505060405180910390f35b341561035d57600080fd5b610365610fab565b6040518082815260200191505060405180910390f35b341561038657600080fd5b6103d1600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610fb1565b6040518082815260200191505060405180910390f35b34156103f257600080fd5b61041e600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610fd6565b6040518082815260200191505060405180910390f35b341561043f57600080fd5b61044761101f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561049457600080fd5b61049c611044565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104dc5780820151818401526020810190506104c1565b50505050905090810190601f1680156105095780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561052257600080fd5b61054e600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506110ec565b005b341561055b57600080fd5b610590600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506111b1565b604051808215151515815260200191505060405180910390f35b34156105b557600080fd5b6105bd61138b565b005b34156105ca57600080fd5b6105e06004808035906020019091905050611470565b604051808215151515815260200191505060405180910390f35b341561060557600080fd5b61060d611689565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561065a57600080fd5b61067060048080359060200190919050506116af565b604051808215151515815260200191505060405180910390f35b341561069557600080fd5b6106e0600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061184a565b6040518082815260200191505060405180910390f35b341561070157600080fd5b6107096118d1565b6040518082815260200191505060405180910390f35b610727611913565b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107bd5780601f10610792576101008083540402835291602001916107bd565b820191906000526020600020905b8154815290600101906020018083116107a057829003601f168201915b5050505050905090565b60006040600481016000369050101515156107e157600080fd5b6000831415801561086f57506000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15151561087b57600080fd5b82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a3600191505092915050565b6000600254905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109d357600080fd5b66038d7ea4c6800082111515156109e957600080fd5b60025482141515156109fa57600080fd5b600254821115610ae457610a7b6002548303600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c33565b8160025403600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610b5757600080fd5b610bce8260025403600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b816002819055507fd566ec601a0708dcc21926feeb1883dbf3cfc93ce8c56b94d67950ea06c7904b6002546040518082815260200191505060405180910390a16002549050919050565b600080606060048101600036905010151515610c9857600080fd5b60008573ffffffffffffffffffffffffffffffffffffffff1614151515610cbe57600080fd5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054915066038d7ea4c68000821015610de057610d5f84836118fa90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b610e3284600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ec784600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b60036020528060005260406000206000915090505481565b6000600760009054906101000a900460ff16905090565b60025481565b6004602052816000526040600020602052806000526040600020600091509150505481565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61104c611913565b60068054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110e25780601f106110b7576101008083540402835291602001916110e2565b820191906000526020600020905b8154815290600101906020018083116110c557829003601f168201915b5050505050905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561114757600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff161415151561116d57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006040600481016000369050101515156111cb57600080fd5b60008473ffffffffffffffffffffffffffffffffffffffff16141515156111f157600080fd5b61124383600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118fa90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112d883600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118dc90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b3373ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156113e757600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156114cd57600080fd5b66038d7ea4c680008260025401111515156114e757600080fd5b60025482600254011115156114fb57600080fd5b600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011115156115cb57600080fd5b81600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600082825401925050819055507fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a826040518082815260200191505060405180910390a160019050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561170c57600080fd5b816002541015151561171d57600080fd5b81600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561178c57600080fd5b8160026000828254039250508190555081600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055507f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44826040518082815260200191505060405180910390a160019050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b66038d7ea4c6800081565b60008082840190508381101515156118f057fe5b8091505092915050565b600082821115151561190857fe5b818303905092915050565b6020604051908101604052806000815250905600a165627a7a723058203f875d0dddd20f9c5e3e6594046adae9ee1b9ea0d07c2133b991111677089cae0029

00000000000000000000000000000000000000000000000000038d7ea4c68000000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000001554656374756d20456d697373696f6e20546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000035445540000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _initialSupply (uint256): 1000000000000000
Arg [1] : _name (string): Tectum Emission Token
Arg [2] : _symbol (string): TET
Arg [3] : _decimals (uint8): 8

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000038d7ea4c68000
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000008
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000015
Arg [5] : 54656374756d20456d697373696f6e20546f6b656e0000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 5445540000000000000000000000000000000000000000000000000000000000

5703:2852:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5830:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4602:621:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6707:95;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6810:567;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3859:501;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2206:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6000:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1223:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3424:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3138:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;603:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5913:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;822:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2598:327;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;955:134;;;;;;;;;;;;;;7543:373;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;630:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8147:291;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5550:144;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3495:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5830:75;5867:6;;:::i;:::-;5893:4;5886:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5830:75;:::o;4602:621::-;4693:12;4676:6;2407:1;2400:4;:8;2382;;:15;;:26;2380:29;2372:38;;;;;;;;5049:1;5039:6;:11;;5038:53;;;;;5089:1;5056:7;:19;5064:10;5056:19;;;;;;;;;;;;;;;:29;5076:8;5056:29;;;;;;;;;;;;;;;;:34;;5038:53;5036:56;5028:65;;;;;;;;5138:6;5106:7;:19;5114:10;5106:19;;;;;;;;;;;;;;;:29;5126:8;5106:29;;;;;;;;;;;;;;;:38;;;;5176:8;5155:38;;5164:10;5155:38;;;5186:6;5155:38;;;;;;;;;;;;;;;;;;5211:4;5204:11;;4602:621;;;;;:::o;6707:95::-;6751:7;6782:12;;6775:19;;6707:95;:::o;6810:567::-;6870:13;788:5;;;;;;;;;;;774:19;;:10;:19;;;766:28;;;;;;;;3527:16;6905:6;:16;;6896:26;;;;;;;;6952:12;;6942:6;:22;;6933:32;;;;;;;;6991:12;;6982:6;:21;6978:292;;;7041:42;7070:12;;7061:6;:21;7041:8;:15;7050:5;;;;;;;;;;;7041:15;;;;;;;;;;;;;;;;:19;;:42;;;;:::i;:::-;7023:8;:15;7032:5;;;;;;;;;;;7023:15;;;;;;;;;;;;;;;:60;;;;6978:292;;;7168:6;7153:12;;:21;7132:8;:15;7141:5;;;;;;;;;;;7132:15;;;;;;;;;;;;;;;;:44;;7122:55;;;;;;;;7214:42;7249:6;7234:12;;:21;7214:8;:15;7223:5;;;;;;;;;;;7214:15;;;;;;;;;;;;;;;;:19;;:42;;;;:::i;:::-;7196:8;:15;7205:5;;;;;;;;;;;7196:15;;;;;;;;;;;;;;;:60;;;;6978:292;7296:6;7281:12;:21;;;;7315:22;7324:12;;7315:22;;;;;;;;;;;;;;;;;;7356:12;;7349:19;;6810:567;;;:::o;3859:501::-;3966:12;4025:14;3949:6;2407:1;2400:4;:8;2382;;:15;;:26;2380:29;2372:38;;;;;;;;4009:3;4002;:10;;;4000:13;3991:23;;;;;;;;4042:7;:14;4050:5;4042:14;;;;;;;;;;;;;;;:26;4057:10;4042:26;;;;;;;;;;;;;;;;4025:43;;3527:16;4085:10;:19;4081:103;;;4150:22;4165:6;4150:10;:14;;:22;;;;:::i;:::-;4121:7;:14;4129:5;4121:14;;;;;;;;;;;;;;;:26;4136:10;4121:26;;;;;;;;;;;;;;;:51;;;;4081:103;4212:27;4232:6;4212:8;:15;4221:5;4212:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4194:8;:15;4203:5;4194:15;;;;;;;;;;;;;;;:45;;;;4266:25;4284:6;4266:8;:13;4275:3;4266:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4250:8;:13;4259:3;4250:13;;;;;;;;;;;;;;;:41;;;;4318:3;4302:28;;4311:5;4302:28;;;4323:6;4302:28;;;;;;;;;;;;;;;;;;4348:4;4341:11;;3859:501;;;;;;;:::o;2206:43::-;;;;;;;;;;;;;;;;;:::o;6000:82::-;6041:5;6066:8;;;;;;;;;;;6059:15;;6000:82;:::o;1223:27::-;;;;:::o;3424:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3138:115::-;3194:15;3229:8;:16;3238:6;3229:16;;;;;;;;;;;;;;;;3222:23;;3138:115;;;:::o;603:20::-;;;;;;;;;;;;;:::o;5913:79::-;5952:6;;:::i;:::-;5978;5971:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5913:79;:::o;822:121::-;788:5;;;;;;;;;;;774:19;;:10;:19;;;766:28;;;;;;;;905:1;895:6;:11;;;;887:20;;;;;;;;929:6;918:8;;:17;;;;;;;;;;;;;;;;;;822:121;:::o;2598:327::-;2685:12;2668:6;2407:1;2400:4;:8;2382;;:15;;:26;2380:29;2372:38;;;;;;;;2728:3;2721;:10;;;2719:13;2710:23;;;;;;;;2767:32;2792:6;2767:8;:20;2776:10;2767:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2744:8;:20;2753:10;2744:20;;;;;;;;;;;;;;;:55;;;;2826:25;2844:6;2826:8;:13;2835:3;2826:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2810:8;:13;2819:3;2810:13;;;;;;;;;;;;;;;:41;;;;2883:3;2862:33;;2871:10;2862:33;;;2888:6;2862:33;;;;;;;;;;;;;;;;;;2913:4;2906:11;;2598:327;;;;;:::o;955:134::-;1017:10;1005:22;;:8;;;;;;;;;;;:22;;;997:31;;;;;;;;1047:8;;;;;;;;;;;1039:5;;:16;;;;;;;;;;;;;;;;;;1073:8;;1066:15;;;;;;;;;;;955:134::o;7543:373::-;7601:12;788:5;;;;;;;;;;;774:19;;:10;:19;;;766:28;;;;;;;;3527:16;7649:7;7634:12;;:22;:32;;7626:41;;;;;;;;7712:12;;7702:7;7687:12;;:22;:37;7679:46;;;;;;;;7772:8;:15;7781:5;;;;;;;;;;;7772:15;;;;;;;;;;;;;;;;7762:7;7744:8;:15;7753:5;;;;;;;;;;;7744:15;;;;;;;;;;;;;;;;:25;:43;7736:52;;;;;;;;7820:7;7801:8;:15;7810:5;;;;;;;;;;;7801:15;;;;;;;;;;;;;;;;:26;;;;;;;;;;;7854:7;7838:12;;:23;;;;;;;;;;;7872:14;7878:7;7872:14;;;;;;;;;;;;;;;;;;7904:4;7897:11;;7543:373;;;:::o;630:23::-;;;;;;;;;;;;;:::o;8147:291::-;8206:12;788:5;;;;;;;;;;;774:19;;:10;:19;;;766:28;;;;;;;;8255:7;8239:12;;:23;;8231:32;;;;;;;;8301:7;8282:8;:15;8291:5;;;;;;;;;;;8282:15;;;;;;;;;;;;;;;;:26;;8274:35;;;;;;;;8338:7;8322:12;;:23;;;;;;;;;;;8375:7;8356:8;:15;8365:5;;;;;;;;;;;8356:15;;;;;;;;;;;;;;;;:26;;;;;;;;;;;8393:15;8400:7;8393:15;;;;;;;;;;;;;;;;;;8426:4;8419:11;;8147:291;;;:::o;5550:144::-;5624:17;5661:7;:15;5669:6;5661:15;;;;;;;;;;;;;;;:25;5677:8;5661:25;;;;;;;;;;;;;;;;5654:32;;5550:144;;;;:::o;3495:48::-;3527:16;3495:48;:::o;254:147::-;312:7;332:9;348:1;344;:5;332:17;;372:1;367;:6;;360:14;;;;;;392:1;385:8;;254:147;;;;;:::o;123:123::-;181:7;213:1;208;:6;;201:14;;;;;;237:1;233;:5;226:12;;123:123;;;;:::o;5703:2852::-;;;;;;;;;;;;;;;:::o

bzzr://3f875d0dddd20f9c5e3e6594046adae9ee1b9ea0d07c2133b991111677089cae