Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)    - function mul(uint a, uint b)    - function div(uint a, uint b)  contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract ApproveAndCallFallBack    - function receiveApproval(address from ...  contract Owned    - function transferOwnership(address _n ...    - function acceptOwnership()  contract EducationalTokenContract ... *    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function allowance(address tokenOwner ...    - function approveAndCall(address spend ...    - function ()    - function kill()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-31
*/

/*
The MIT License

Copyright (c) 2017 ZLA Pte. Ltd. https://zla.io

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
*/

pragma solidity 0.4.25;

// ----------------------------------------------------------------------------
// Safe maths
// ----------------------------------------------------------------------------
library SafeMath {
    function add(uint a, uint b) internal pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }
    
    function sub(uint a, uint b) internal pure returns (uint c) {
        require(b <= a);
        c = a - b;
    }
    
    function mul(uint a, uint b) internal pure returns (uint c) {
        c = a * b;
        require(a == 0 || c / a == b);
    }
    
    function div(uint a, uint b) internal pure returns (uint c) {
        require(b > 0);
        c = a / b;
    }
}

// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
// https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
// ----------------------------------------------------------------------------
contract ERC20Interface {
    function totalSupply() public constant returns (uint);
    function balanceOf(address tokenOwner) public constant returns (uint balance);
    function allowance(address tokenOwner, address spender) public constant returns (uint remaining);
    function transfer(address to, uint tokens) public returns (bool success);
    function approve(address spender, uint tokens) public returns (bool success);
    function transferFrom(address from, address to, uint tokens) public returns (bool success);

    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

// ----------------------------------------------------------------------------
// Contract function to receive approval and execute function in one call
//
// Borrowed from MiniMeToken
// ----------------------------------------------------------------------------
contract ApproveAndCallFallBack {
    function receiveApproval(address from, uint256 tokens, address token, bytes data) public;
}


// ----------------------------------------------------------------------------
// Owned contract
// ----------------------------------------------------------------------------
contract Owned {
    address public owner;
    address public newOwner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

    constructor() public {
        owner = msg.sender;
    }

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

    function transferOwnership(address _newOwner) public onlyOwner {
        newOwner = _newOwner;
    }
    
    function acceptOwnership() public {
        require(msg.sender == newOwner);
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}

contract EducationalTokenContract is ERC20Interface, Owned {

    using SafeMath for uint;

    string public symbol;
    string public  name;
    uint8 public decimals;
    uint _totalSupply;

    mapping(address => uint) balances;
    mapping(address => mapping(address => uint)) allowed;

    // ------------------------------------------------------------------------
    // Constructor
    // ------------------------------------------------------------------------
    constructor(string s, string n, uint8 d, uint supply, address o) public {
        symbol = s;
        name = n;
        decimals = d;
        owner = o;
        _totalSupply = supply * 10**uint(decimals);
        balances[owner] = _totalSupply;
        emit Transfer(address(0), owner, _totalSupply);
    }

    // ------------------------------------------------------------------------
    // Total supply
    // ------------------------------------------------------------------------
    function totalSupply() public view returns (uint) {
        return _totalSupply.sub(balances[address(0)]);
    }

    // ------------------------------------------------------------------------
    // Get the token balance for account `tokenOwner`
    // ------------------------------------------------------------------------
    function balanceOf(address tokenOwner) public view returns (uint balance) {
        return balances[tokenOwner];
    }

    // ------------------------------------------------------------------------
    // Transfer the balance from token owner's account to `to` account
    // - Owner's account must have sufficient balance to transfer
    // - 0 value transfers are allowed
    // ------------------------------------------------------------------------
    function transfer(address to, uint tokens) public returns (bool success) {
        balances[msg.sender] = balances[msg.sender].sub(tokens);
        balances[to] = balances[to].add(tokens);
        emit Transfer(msg.sender, to, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Token owner can approve for `spender` to transferFrom(...) `tokens`
    // from the token owner's account
    //
    // https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20-token-standard.md
    // recommends that there are no checks for the approval double-spend attack
    // as this should be implemented in user interfaces
    // ------------------------------------------------------------------------
    function approve(address spender, uint tokens) public returns (bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Transfer `tokens` from the `from` account to the `to` account
    //
    // The calling account must already have sufficient tokens approve(...)-d
    // for spending from the `from` account and
    // - From account must have sufficient balance to transfer
    // - Spender must have sufficient allowance to transfer
    // - 0 value transfers are allowed
    // ------------------------------------------------------------------------
    function transferFrom(address from, address to, uint tokens) public returns (bool success) {
        balances[from] = balances[from].sub(tokens);
        allowed[from][msg.sender] = allowed[from][msg.sender].sub(tokens);
        balances[to] = balances[to].add(tokens);
        emit Transfer(from, to, tokens);
        return true;
    }

    // ------------------------------------------------------------------------
    // Returns the amount of tokens approved by the owner that can be
    // transferred to the spender's account
    // ------------------------------------------------------------------------
    function allowance(address tokenOwner, address spender) public view returns (uint remaining) {
        return allowed[tokenOwner][spender];
    }

    // ------------------------------------------------------------------------
    // Token owner can approve for `spender` to transferFrom(...) `tokens`
    // from the token owner's account. The `spender` contract function
    // `receiveApproval(...)` is then executed
    // ------------------------------------------------------------------------
    function approveAndCall(address spender, uint tokens, bytes data) public returns (bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        ApproveAndCallFallBack(spender).receiveApproval(msg.sender, tokens, this, data);
        return true;
    }

    // ------------------------------------------------------------------------
    // Don't accept ETH
    // ------------------------------------------------------------------------
    function () public payable {
        revert();
    }

    function kill() public {
        if (msg.sender == owner) {
            selfdestruct(owner);
        }
    }
}

• 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":"tokens","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":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"kill","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"},{"name":"data","type":"bytes"}],"name":"approveAndCall","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":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","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":"s","type":"string"},{"name":"n","type":"string"},{"name":"d","type":"uint8"},{"name":"supply","type":"uint256"},{"name":"o","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"}]

608060405234801561001057600080fd5b50604051610bbd380380610bbd8339810160409081528151602080840151928401516060850151608086015160008054600160a060020a03191633179055938601805190969590950194919390929091610070916002919088019061011e565b50835161008490600390602087019061011e565b506004805460ff191660ff858116919091179182905560008054600160a060020a031916600160a060020a038581169190911780835593909216600a0a85026005819055928216815260066020908152604080832085905582548151958652905193169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350505050506101b9565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061015f57805160ff191683800117855561018c565b8280016001018555821561018c579182015b8281111561018c578251825591602001919060010190610171565b5061019892915061019c565b5090565b6101b691905b8082111561019857600081556001016101a2565b90565b6109f5806101c86000396000f3006080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806341c0e1b51461021d57806370a082311461023457806379ba5097146102555780638da5cb5b1461026a57806395d89b411461029b578063a9059cbb146102b0578063cae9ca51146102d4578063d4ee1d901461033d578063dd62ed3e14610352578063f2fde38b14610379575b600080fd5b3480156100eb57600080fd5b506100f461039a565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a0360043516602435610428565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b661048f565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a03600435811690602435166044356104d2565b3480156101fe57600080fd5b506102076105dd565b6040805160ff9092168252519081900360200190f35b34801561022957600080fd5b506102326105e6565b005b34801561024057600080fd5b506101b6600160a060020a0360043516610609565b34801561026157600080fd5b50610232610624565b34801561027657600080fd5b5061027f6106ac565b60408051600160a060020a039092168252519081900360200190f35b3480156102a757600080fd5b506100f46106bb565b3480156102bc57600080fd5b5061018d600160a060020a0360043516602435610713565b3480156102e057600080fd5b50604080516020600460443581810135601f810184900484028501840190955284845261018d948235600160a060020a03169460248035953695946064949201919081908401838280828437509497506107c39650505050505050565b34801561034957600080fd5b5061027f610924565b34801561035e57600080fd5b506101b6600160a060020a0360043581169060243516610933565b34801561038557600080fd5b50610232600160a060020a036004351661095e565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104205780601f106103f557610100808354040283529160200191610420565b820191906000526020600020905b81548152906001019060200180831161040357829003601f168201915b505050505081565b336000818152600760209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f8546005546104cd9163ffffffff6109a416565b905090565b600160a060020a0383166000908152600660205260408120546104fb908363ffffffff6109a416565b600160a060020a0385166000908152600660209081526040808320939093556007815282822033835290522054610538908363ffffffff6109a416565b600160a060020a03808616600090815260076020908152604080832033845282528083209490945591861681526006909152205461057c908363ffffffff6109b916565b600160a060020a0380851660008181526006602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60045460ff1681565b600054600160a060020a031633141561060757600054600160a060020a0316ff5b565b600160a060020a031660009081526006602052604090205490565b600154600160a060020a0316331461063b57600080fd5b60015460008054604051600160a060020a0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600180546000805473ffffffffffffffffffffffffffffffffffffffff19908116600160a060020a03841617909155169055565b600054600160a060020a031681565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156104205780601f106103f557610100808354040283529160200191610420565b33600090815260066020526040812054610733908363ffffffff6109a416565b3360009081526006602052604080822092909255600160a060020a03851681522054610765908363ffffffff6109b916565b600160a060020a0384166000818152600660209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000818152600760209081526040808320600160a060020a038816808552908352818420879055815187815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a36040517f8f4ffcb10000000000000000000000000000000000000000000000000000000081523360048201818152602483018690523060448401819052608060648501908152865160848601528651600160a060020a038a1695638f4ffcb195948a94938a939192909160a490910190602085019080838360005b838110156108b357818101518382015260200161089b565b50505050905090810190601f1680156108e05780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561090257600080fd5b505af1158015610916573d6000803e3d6000fd5b506001979650505050505050565b600154600160a060020a031681565b600160a060020a03918216600090815260076020908152604080832093909416825291909152205490565b600054600160a060020a0316331461097557600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828211156109b357600080fd5b50900390565b8181018281101561048957600080fd00a165627a7a72305820888012faf3beb4a6e23316720c454d31b83ab7b6c15c54acc499c70d51a4c590002900000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000017d78400000000000000000000000004cf6c5137bca951434b9f830b9033009cbc2606000000000000000000000000000000000000000000000000000000000000000034142430000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000d4142736f6c75746520436f696e00000000000000000000000000000000000000

0x6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806341c0e1b51461021d57806370a082311461023457806379ba5097146102555780638da5cb5b1461026a57806395d89b411461029b578063a9059cbb146102b0578063cae9ca51146102d4578063d4ee1d901461033d578063dd62ed3e14610352578063f2fde38b14610379575b600080fd5b3480156100eb57600080fd5b506100f461039a565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a0360043516602435610428565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b661048f565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a03600435811690602435166044356104d2565b3480156101fe57600080fd5b506102076105dd565b6040805160ff9092168252519081900360200190f35b34801561022957600080fd5b506102326105e6565b005b34801561024057600080fd5b506101b6600160a060020a0360043516610609565b34801561026157600080fd5b50610232610624565b34801561027657600080fd5b5061027f6106ac565b60408051600160a060020a039092168252519081900360200190f35b3480156102a757600080fd5b506100f46106bb565b3480156102bc57600080fd5b5061018d600160a060020a0360043516602435610713565b3480156102e057600080fd5b50604080516020600460443581810135601f810184900484028501840190955284845261018d948235600160a060020a03169460248035953695946064949201919081908401838280828437509497506107c39650505050505050565b34801561034957600080fd5b5061027f610924565b34801561035e57600080fd5b506101b6600160a060020a0360043581169060243516610933565b34801561038557600080fd5b50610232600160a060020a036004351661095e565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104205780601f106103f557610100808354040283529160200191610420565b820191906000526020600020905b81548152906001019060200180831161040357829003601f168201915b505050505081565b336000818152600760209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f8546005546104cd9163ffffffff6109a416565b905090565b600160a060020a0383166000908152600660205260408120546104fb908363ffffffff6109a416565b600160a060020a0385166000908152600660209081526040808320939093556007815282822033835290522054610538908363ffffffff6109a416565b600160a060020a03808616600090815260076020908152604080832033845282528083209490945591861681526006909152205461057c908363ffffffff6109b916565b600160a060020a0380851660008181526006602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60045460ff1681565b600054600160a060020a031633141561060757600054600160a060020a0316ff5b565b600160a060020a031660009081526006602052604090205490565b600154600160a060020a0316331461063b57600080fd5b60015460008054604051600160a060020a0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600180546000805473ffffffffffffffffffffffffffffffffffffffff19908116600160a060020a03841617909155169055565b600054600160a060020a031681565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156104205780601f106103f557610100808354040283529160200191610420565b33600090815260066020526040812054610733908363ffffffff6109a416565b3360009081526006602052604080822092909255600160a060020a03851681522054610765908363ffffffff6109b916565b600160a060020a0384166000818152600660209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000818152600760209081526040808320600160a060020a038816808552908352818420879055815187815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a36040517f8f4ffcb10000000000000000000000000000000000000000000000000000000081523360048201818152602483018690523060448401819052608060648501908152865160848601528651600160a060020a038a1695638f4ffcb195948a94938a939192909160a490910190602085019080838360005b838110156108b357818101518382015260200161089b565b50505050905090810190601f1680156108e05780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561090257600080fd5b505af1158015610916573d6000803e3d6000fd5b506001979650505050505050565b600154600160a060020a031681565b600160a060020a03918216600090815260076020908152604080832093909416825291909152205490565b600054600160a060020a0316331461097557600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828211156109b357600080fd5b50900390565b8181018281101561048957600080fd00a165627a7a72305820888012faf3beb4a6e23316720c454d31b83ab7b6c15c54acc499c70d51a4c5900029

4044:5164:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9069:8;;;4171:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4171:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4171:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6628:208;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6628:208:0;-1:-1:-1;;;;;6628:208:0;;;;;;;;;;;;;;;;;;;;;;;;;5039:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5039:114:0;;;;;;;;;;;;;;;;;;;;7377:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7377:343:0;-1:-1:-1;;;;;7377:343:0;;;;;;;;;;;;4197:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4197:21:0;;;;;;;;;;;;;;;;;;;;;;;9093:112;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9093:112:0;;;;;;5378:120;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5378:120:0;-1:-1:-1;;;;;5378:120:0;;;;;3841:196;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3841:196:0;;;;3437:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3437:20:0;;;;;;;;-1:-1:-1;;;;;3437:20:0;;;;;;;;;;;;;;4144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4144:20:0;;;;5847:267;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5847:267:0;-1:-1:-1;;;;;5847:267:0;;;;;;;8519:317;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8519:317:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8519:317:0;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8519:317:0;;-1:-1:-1;8519:317:0;;-1:-1:-1;;;;;;;8519:317:0;3464:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3464:23:0;;;;8006:147;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8006:147:0;-1:-1:-1;;;;;8006:147:0;;;;;;;;;;3727:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3727:102:0;-1:-1:-1;;;;;3727:102:0;;;;;4171:19;;;;;;;;;;;;;;;-1:-1:-1;;4171:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6628:208::-;6724:10;6691:12;6716:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6716:28:0;;;;;;;;;;;:37;;;6769;;;;;;;6691:12;;6716:28;;6724:10;;6769:37;;;;;;;;-1:-1:-1;6824:4:0;6628:208;;;;;:::o;5039:114::-;5083:4;5124:20;;;:8;:20;;;;5107:12;;:38;;;:16;:38;:::i;:::-;5100:45;;5039:114;:::o;7377:343::-;-1:-1:-1;;;;;7496:14:0;;7454:12;7496:14;;;:8;:14;;;;;;:26;;7515:6;7496:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;7479:14:0;;;;;;:8;:14;;;;;;;;:43;;;;7561:7;:13;;;;;7575:10;7561:25;;;;;;:37;;7591:6;7561:37;:29;:37;:::i;:::-;-1:-1:-1;;;;;7533:13:0;;;;;;;:7;:13;;;;;;;;7547:10;7533:25;;;;;;;:65;;;;7624:12;;;;;:8;:12;;;;;:24;;7641:6;7624:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;7609:12:0;;;;;;;:8;:12;;;;;;;;;:39;;;;7664:26;;;;;;;7609:12;;7664:26;;;;;;;;;;;;;-1:-1:-1;7708:4:0;7377:343;;;;;:::o;4197:21::-;;;;;;:::o;9093:112::-;9145:5;;-1:-1:-1;;;;;9145:5:0;9131:10;:19;9127:71;;;9180:5;;-1:-1:-1;;;;;9180:5:0;9167:19;9127:71;9093:112::o;5378:120::-;-1:-1:-1;;;;;5470:20:0;5438:12;5470:20;;;:8;:20;;;;;;;5378:120::o;3841:196::-;3908:8;;-1:-1:-1;;;;;3908:8:0;3894:10;:22;3886:31;;;;;;3961:8;;;3954:5;;3933:37;;-1:-1:-1;;;;;3961:8:0;;;;3954:5;;;;3933:37;;;3989:8;;;;3981:16;;-1:-1:-1;;3981:16:0;;;-1:-1:-1;;;;;3989:8:0;;3981:16;;;;4008:21;;;3841:196::o;3437:20::-;;;-1:-1:-1;;;;;3437:20:0;;:::o;4144:::-;;;;;;;;;;;;;;-1:-1:-1;;4144:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5847:267;5963:10;5906:12;5954:20;;;:8;:20;;;;;;:32;;5979:6;5954:32;:24;:32;:::i;:::-;5940:10;5931:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;6012:12:0;;;;;;:24;;6029:6;6012:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;5997:12:0;;;;;;:8;:12;;;;;;;;;:39;;;;6052:32;;;;;;;5997:12;;6061:10;;6052:32;;;;;;;;;;-1:-1:-1;6102:4:0;5847:267;;;;:::o;8519:317::-;8634:10;8601:12;8626:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;8626:28:0;;;;;;;;;;;:37;;;8679;;;;;;;8601:12;;8626:28;;8634:10;;8679:37;;;;;;;;8727:79;;;;;8775:10;8727:79;;;;;;;;;;;;8795:4;8727:79;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8727:47:0;;;;;8775:10;8787:6;;8795:4;8801;;8727:79;;;;;;;;;;;;;;;;-1:-1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;8727:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8727:79:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;8824:4:0;;8519:317;-1:-1:-1;;;;;;;8519:317:0:o;3464:23::-;;;-1:-1:-1;;;;;3464:23:0;;:::o;8006:147::-;-1:-1:-1;;;;;8117:19:0;;;8083:14;8117:19;;;:7;:19;;;;;;;;:28;;;;;;;;;;;;;8006:147::o;3727:102::-;3693:5;;-1:-1:-1;;;;;3693:5:0;3679:10;:19;3671:28;;;;;;3801:8;:20;;-1:-1:-1;;3801:20:0;-1:-1:-1;;;;;3801:20:0;;;;;;;;;;3727:102::o;1474:114::-;1526:6;1553;;;;1545:15;;;;;;-1:-1:-1;1575:5:0;;;1474:114::o;1348:::-;1423:5;;;1447:6;;;;1439:15;;;;

bzzr://888012faf3beb4a6e23316720c454d31b83ab7b6c15c54acc499c70d51a4c590