Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract TokenERC20 is ERC20, Owna ... *
•    - function TokenERC20(
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function burn(uint256 _amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-21
*/

pragma solidity ^0.4.19;


/**
 * @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) {
        if (a == 0) {
            return 0;
        }
        uint256 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 c;
    }

    /**
    * @dev Substracts 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) {
        uint256 c = a + b;
        assert(c >= a);
        return c;
    }
}

contract Ownable {
  address public owner;


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


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  function Ownable() public {
    owner = msg.sender;
  }

  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract TokenERC20 is ERC20, Ownable {
    using SafeMath for uint;

    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 public totalSupply_;
    mapping(address => uint256) public balances;
    mapping(address => mapping(address => uint256)) internal allowed;

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

    function TokenERC20(
        string _name,
        string _symbol,
        uint8 _decimals,
        address _supplyReceiver,
        uint256 _initialSupply
    ) public {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply_ = _initialSupply;

        balances[_supplyReceiver] = totalSupply_;

        Transfer(0, _supplyReceiver, totalSupply_);
    }

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

    function transfer(address _to, uint256 _value) public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[msg.sender]);

        // SafeMath.sub will throw if there is not enough balance.
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(msg.sender, _to, _value);
        return true;
    }

    function balanceOf(address _owner) public view returns (uint256 balance) {
        return balances[_owner];
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);

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

    function approve(address _spender, uint256 _value) public returns (bool) {
        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    function allowance(address _owner, address _spender) public view returns (uint256) {
        return allowed[_owner][_spender];
    }

    function burn(uint256 _amount) public returns (bool) {
        require(balances[msg.sender] >= _amount);

        balances[msg.sender] = balances[msg.sender].sub(_amount);
        totalSupply_ = totalSupply_.sub(_amount);

        Burn(msg.sender, _amount);
        Transfer(msg.sender, address(0), _amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","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":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"burn","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_decimals","type":"uint8"},{"name":"_supplyReceiver","type":"address"},{"name":"_initialSupply","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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":"holder","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

6060604052341561000f57600080fd5b604051610b1a380380610b1a83398101604052808051820191906020018051820191906020018051919060200180519190602001805160008054600160a060020a03191633600160a060020a03161790559150600190508580516100779291602001906100f9565b50600284805161008b9291602001906100f9565b506003805460ff191660ff85161790556004819055600160a060020a0382166000818152600560205260408082208490557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a35050505050610194565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013a57805160ff1916838001178555610167565b82800160010185558215610167579182015b8281111561016757825182559160200191906001019061014c565b50610173929150610177565b5090565b61019191905b80821115610173576000815560010161017d565b90565b610977806101a36000396000f3006060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b957806327e235e3146101e1578063313ce56714610200578063324536eb1461022957806342966c681461023c57806370a08231146102525780638da5cb5b1461027157806395d89b41146102a0578063a9059cbb146102b3578063dd62ed3e146102d5578063f2fde38b146102fa575b600080fd5b34156100df57600080fd5b6100e761031b565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a03600435166024356103b9565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a7610425565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a036004358116906024351660443561042b565b34156101ec57600080fd5b6101a7600160a060020a03600435166105ad565b341561020b57600080fd5b6102136105bf565b60405160ff909116815260200160405180910390f35b341561023457600080fd5b6101a76105c8565b341561024757600080fd5b6101806004356105ce565b341561025d57600080fd5b6101a7600160a060020a03600435166106cd565b341561027c57600080fd5b6102846106e8565b604051600160a060020a03909116815260200160405180910390f35b34156102ab57600080fd5b6100e76106f7565b34156102be57600080fd5b610180600160a060020a0360043516602435610762565b34156102e057600080fd5b6101a7600160a060020a036004358116906024351661085d565b341561030557600080fd5b610319600160a060020a0360043516610888565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103b15780601f10610386576101008083540402835291602001916103b1565b820191906000526020600020905b81548152906001019060200180831161039457829003601f168201915b505050505081565b600160a060020a03338116600081815260066020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b60045490565b6000600160a060020a038316151561044257600080fd5b600160a060020a03841660009081526005602052604090205482111561046757600080fd5b600160a060020a038085166000908152600660209081526040808320339094168352929052205482111561049a57600080fd5b600160a060020a0384166000908152600560205260409020546104c3908363ffffffff61092316565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f8908363ffffffff61093516565b600160a060020a03808516600090815260056020908152604080832094909455878316825260068152838220339093168252919091522054610540908363ffffffff61092316565b600160a060020a03808616600081815260066020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060019392505050565b60056020526000908152604090205481565b60035460ff1681565b60045481565b600160a060020a033316600090815260056020526040812054829010156105f457600080fd5b600160a060020a03331660009081526005602052604090205461061d908363ffffffff61092316565b600160a060020a033316600090815260056020526040902055600454610649908363ffffffff61092316565b600455600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a2600033600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405190815260200160405180910390a3919050565b600160a060020a031660009081526005602052604090205490565b600054600160a060020a031681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103b15780601f10610386576101008083540402835291602001916103b1565b6000600160a060020a038316151561077957600080fd5b600160a060020a03331660009081526005602052604090205482111561079e57600080fd5b600160a060020a0333166000908152600560205260409020546107c7908363ffffffff61092316565b600160a060020a0333811660009081526005602052604080822093909355908516815220546107fc908363ffffffff61093516565b600160a060020a0380851660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b60005433600160a060020a039081169116146108a357600080fd5b600160a060020a03811615156108b857600080fd5b600054600160a060020a0380831691167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60008282111561092f57fe5b50900390565b60008282018381101561094457fe5b93925050505600a165627a7a7230582083d32cf9a5aea1fc0680c6e2883553f934d8bd32b774b69059a2cd8ed82d993a002900000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000120000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e70000000000000000000000000000000000000000000771d2fa45345aa9000000000000000000000000000000000000000000000000000000000000000000000c45636f2046696e616e636573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034546430000000000000000000000000000000000000000000000000000000000

0x6060604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019457806323b872dd146101b957806327e235e3146101e1578063313ce56714610200578063324536eb1461022957806342966c681461023c57806370a08231146102525780638da5cb5b1461027157806395d89b41146102a0578063a9059cbb146102b3578063dd62ed3e146102d5578063f2fde38b146102fa575b600080fd5b34156100df57600080fd5b6100e761031b565b60405160208082528190810183818151815260200191508051906020019080838360005b8381101561012357808201518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016957600080fd5b610180600160a060020a03600435166024356103b9565b604051901515815260200160405180910390f35b341561019f57600080fd5b6101a7610425565b60405190815260200160405180910390f35b34156101c457600080fd5b610180600160a060020a036004358116906024351660443561042b565b34156101ec57600080fd5b6101a7600160a060020a03600435166105ad565b341561020b57600080fd5b6102136105bf565b60405160ff909116815260200160405180910390f35b341561023457600080fd5b6101a76105c8565b341561024757600080fd5b6101806004356105ce565b341561025d57600080fd5b6101a7600160a060020a03600435166106cd565b341561027c57600080fd5b6102846106e8565b604051600160a060020a03909116815260200160405180910390f35b34156102ab57600080fd5b6100e76106f7565b34156102be57600080fd5b610180600160a060020a0360043516602435610762565b34156102e057600080fd5b6101a7600160a060020a036004358116906024351661085d565b341561030557600080fd5b610319600160a060020a0360043516610888565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103b15780601f10610386576101008083540402835291602001916103b1565b820191906000526020600020905b81548152906001019060200180831161039457829003601f168201915b505050505081565b600160a060020a03338116600081815260066020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b60045490565b6000600160a060020a038316151561044257600080fd5b600160a060020a03841660009081526005602052604090205482111561046757600080fd5b600160a060020a038085166000908152600660209081526040808320339094168352929052205482111561049a57600080fd5b600160a060020a0384166000908152600560205260409020546104c3908363ffffffff61092316565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f8908363ffffffff61093516565b600160a060020a03808516600090815260056020908152604080832094909455878316825260068152838220339093168252919091522054610540908363ffffffff61092316565b600160a060020a03808616600081815260066020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060019392505050565b60056020526000908152604090205481565b60035460ff1681565b60045481565b600160a060020a033316600090815260056020526040812054829010156105f457600080fd5b600160a060020a03331660009081526005602052604090205461061d908363ffffffff61092316565b600160a060020a033316600090815260056020526040902055600454610649908363ffffffff61092316565b600455600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a2600033600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405190815260200160405180910390a3919050565b600160a060020a031660009081526005602052604090205490565b600054600160a060020a031681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103b15780601f10610386576101008083540402835291602001916103b1565b6000600160a060020a038316151561077957600080fd5b600160a060020a03331660009081526005602052604090205482111561079e57600080fd5b600160a060020a0333166000908152600560205260409020546107c7908363ffffffff61092316565b600160a060020a0333811660009081526005602052604080822093909355908516815220546107fc908363ffffffff61093516565b600160a060020a0380851660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b60005433600160a060020a039081169116146108a357600080fd5b600160a060020a03811615156108b857600080fd5b600054600160a060020a0380831691167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60008282111561092f57fe5b50900390565b60008282018381101561094457fe5b93925050505600a165627a7a7230582083d32cf9a5aea1fc0680c6e2883553f934d8bd32b774b69059a2cd8ed82d993a0029

00000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000120000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e70000000000000000000000000000000000000000000771d2fa45345aa9000000000000000000000000000000000000000000000000000000000000000000000c45636f2046696e616e636573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034546430000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Eco Finances
Arg [1] : _symbol (string): EFC
Arg [2] : _decimals (uint8): 18
Arg [3] : _supplyReceiver (address): 0x6360153f36Fc75a2be21eb2296Da4Ebd288d39E7
Arg [4] : _initialSupply (uint256): 9000000000000000000000000

-----Encoded View---------------
9 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000e0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 0000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e7
Arg [4] : 0000000000000000000000000000000000000000000771d2fa45345aa9000000
Arg [5] : 000000000000000000000000000000000000000000000000000000000000000c
Arg [6] : 45636f2046696e616e6365730000000000000000000000000000000000000000
Arg [7] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [8] : 4546430000000000000000000000000000000000000000000000000000000000

2782:2692:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2859:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;71:3;;;64:6;52:2;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4798:201:0;;;;;;;;;;-1:-1:-1;;;;;4798:201:0;;;;;;;;;;;;;;;;;;;;;;;;3659:91;;;;;;;;;;;;;;;;;;;;;;;;;;;4307:483;;;;;;;;;;-1:-1:-1;;;;;4307:483:0;;;;;;;;;;;;2973:43;;;;;;;;;;-1:-1:-1;;;;;2973:43:0;;;;;2911:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2939:27;;;;;;;;;;;;5149:322;;;;;;;;;;;;;;4184:115;;;;;;;;;;-1:-1:-1;;;;;4184:115:0;;;;;1314:20;;;;;;;;;;;;;;;-1:-1:-1;;;;;1314:20:0;;;;;;;;;;;;;;2884;;;;;;;;;;;;3758:418;;;;;;;;;;-1:-1:-1;;;;;3758:418:0;;;;;;;5007:134;;;;;;;;;;-1:-1:-1;;;;;5007:134:0;;;;;;;;;;1934:173;;;;;;;;;;-1:-1:-1;;;;;1934:173:0;;;;;;;2859:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4798:201::-;-1:-1:-1;;;;;4890:10:0;4882:19;;4865:4;4882:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;4865:4;;4882:29;:19;4931:38;;4914:6;;4931:38;;;;;;;;;;;;;-1:-1:-1;4987:4:0;4798:201;;;;:::o;3659:91::-;3730:12;;3659:91;:::o;4307:483::-;4389:4;-1:-1:-1;;;;;4414:17:0;;;;4406:26;;;;;;-1:-1:-1;;;;;4461:15:0;;;;;;:8;:15;;;;;;4451:25;;;4443:34;;;;;;-1:-1:-1;;;;;4506:14:0;;;;;;;:7;:14;;;;;;;;4521:10;4506:26;;;;;;;;;;4496:36;;;4488:45;;;;;;-1:-1:-1;;;;;4564:15:0;;;;;;:8;:15;;;;;;:27;;4584:6;4564:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4546:15:0;;;;;;;:8;:15;;;;;;:45;;;;4618:13;;;;;;;:25;;4636:6;4618:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4602:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;4683:14;;;;;:7;:14;;;;;4698:10;4683:26;;;;;;;;;;;:38;;4714:6;4683:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4654:14:0;;;;;;;:7;:14;;;;;;;;4669:10;4654:26;;;;;;;;;;;:67;;;;4732:28;;;;;;4753:6;;4732:28;;;;;;;;;;;;;-1:-1:-1;4778:4:0;4307:483;;;;;:::o;2973:43::-;;;;;;;;;;;;;:::o;2911:21::-;;;;;;:::o;2939:27::-;;;;:::o;5149:322::-;-1:-1:-1;;;;;5230:10:0;5221:20;5196:4;5221:20;;;:8;:20;;;;;;:31;;;;5213:40;;;;;;-1:-1:-1;;;;;5298:10:0;5289:20;;;;;:8;:20;;;;;;:33;;5314:7;5289:33;:24;:33;:::i;:::-;-1:-1:-1;;;;;5275:10:0;5266:20;;;;;:8;:20;;;;;:56;5348:12;;:25;;5365:7;5348:25;:16;:25;:::i;:::-;5333:12;:40;-1:-1:-1;;;;;5391:10:0;5386:25;;5403:7;5386:25;;;;;;;;;;;;;;5451:1;5431:10;-1:-1:-1;;;;;5422:41:0;;5455:7;5422:41;;;;;;;;;;;;;;5149:322;;;:::o;4184:115::-;-1:-1:-1;;;;;4275:16:0;4240:15;4275:16;;;:8;:16;;;;;;;4184:115::o;1314:20::-;;;-1:-1:-1;;;;;1314:20:0;;:::o;2884:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3758:418;3821:4;-1:-1:-1;;;;;3846:17:0;;;;3838:26;;;;;;-1:-1:-1;;;;;3902:10:0;3893:20;;;;;:8;:20;;;;;;3883:30;;;3875:39;;;;;;-1:-1:-1;;;;;4027:10:0;4018:20;;;;;:8;:20;;;;;;:32;;4043:6;4018:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;4004:10:0;3995:20;;;;;;:8;:20;;;;;;:55;;;;4077:13;;;;;;;:25;;4095:6;4077:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4061:13:0;;;;;;;:8;:13;;;;;;;:41;;;;:13;4122:10;4113:33;;;;;;4139:6;;4113:33;;;;;;;;;;;;;-1:-1:-1;4164:4:0;3758:418;;;;:::o;5007:134::-;-1:-1:-1;;;;;5108:15:0;;;5081:7;5108:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5007:134::o;1934:173::-;1747:5;;1733:10;-1:-1:-1;;;;;1733:19:0;;;1747:5;;1733:19;1725:28;;;;;;-1:-1:-1;;;;;2011:22:0;;;;2003:31;;;;;;2062:5;;-1:-1:-1;;;;;2041:37:0;;;;2062:5;2041:37;;;;;;;;;;2085:5;:16;;-1:-1:-1;;2085:16:0;-1:-1:-1;;;;;2085:16:0;;;;;;;;;;1934:173::o;940:123::-;998:7;1025:6;;;;1018:14;;;;-1:-1:-1;1050:5:0;;;940:123::o;1138:147::-;1196:7;1228:5;;;1251:6;;;;1244:14;;;;1276:1;1138:147;-1:-1:-1;;;1138:147:0:o

bzzr://83d32cf9a5aea1fc0680c6e2883553f934d8bd32b774b69059a2cd8ed82d993a