Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Context
•    - function _msgSender()
• library SafeMath
•    - function add(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function sub(uint a, uint b, string m ...
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)
•    - function div(uint a, uint b, string m ...
•  contract ERC20 is Context, IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint ...
•    - function _burn(address account, uint ...
•    - function _approve(address owner, addr ...
•  contract TYF is ERC20 *
•    - function symbol()
•    - function name()
•    - function decimals()
•    - function mint(address account, uint a ...
•    - function setOwner(address _owner)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-22
*/

pragma solidity ^0.5.16;

interface IERC20 {
    function totalSupply() external view returns (uint);
    function balanceOf(address account) external view returns (uint);
    function transfer(address recipient, uint amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint);
    function approve(address spender, uint amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint value);
    event Approval(address indexed owner, address indexed spender, uint value);
}

contract Context {
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }
}

library SafeMath {
    function add(uint a, uint b) internal pure returns (uint) {
        uint c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }
    function sub(uint a, uint b) internal pure returns (uint) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        require(b <= a, errorMessage);
        uint c = a - b;

        return c;
    }
    function mul(uint a, uint b) internal pure returns (uint) {
        if (a == 0) {
            return 0;
        }

        uint c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }
    function div(uint a, uint b) internal pure returns (uint) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint c = a / b;

        return c;
    }
}

contract ERC20 is Context, IERC20 {
    using SafeMath for uint;

    mapping (address => uint) internal _balances;

    mapping (address => mapping (address => uint)) private _allowances;

    uint internal totalSupply_;
    function totalSupply() public view returns (uint) {
        return totalSupply_;
    }
    function balanceOf(address account) public view returns (uint) {
        return _balances[account];
    }
    function transfer(address recipient, uint amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view returns (uint) {
        return _allowances[owner][spender];
    }
    function approve(address spender, uint amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function increaseAllowance(address spender, uint addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }
    function decreaseAllowance(address spender, uint subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }
    function _transfer(address sender, address recipient, uint amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }
    function _mint(address account, uint amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        totalSupply_ = totalSupply_.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }
    function _burn(address account, uint amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        totalSupply_ = totalSupply_.sub(amount);
        emit Transfer(account, address(0), amount);
    }
    function _approve(address owner, address spender, uint amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

contract TYF is ERC20 {
    using SafeMath for uint;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    address public owner;

    constructor (string memory name, string memory symbol, uint8 decimals, uint256 totalSupply, address owner_) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
        owner = owner_;
        totalSupply_ = totalSupply;
        _balances[owner_] = totalSupply;
    }

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

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

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

    function mint(address account, uint amount) public {
        require(msg.sender == owner, "!owner");
        _mint(account, amount);
    }

    function setOwner(address _owner) public {
        require(msg.sender == owner, "!owner");
        owner = _owner;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"uint8","name":"decimals","type":"uint8"},{"internalType":"uint256","name":"totalSupply","type":"uint256"},{"internalType":"address","name":"owner_","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c806340c10f191161008c57806395d89b411161006657806395d89b411461043a578063a457c2d7146104bd578063a9059cbb14610523578063dd62ed3e14610589576100ea565b806340c10f191461034a57806370a08231146103985780638da5cb5b146103f0576100ea565b806318160ddd116100c857806318160ddd1461021c57806323b872dd1461023a578063313ce567146102c057806339509351146102e4576100ea565b806306fdde03146100ef578063095ea7b31461017257806313af4035146101d8575b600080fd5b6100f7610601565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013757808201518184015260208101905061011c565b50505050905090810190601f1680156101645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506106a3565b604051808215151515815260200191505060405180910390f35b61021a600480360360208110156101ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106c1565b005b6102246107c8565b6040518082815260200191505060405180910390f35b6102a66004803603606081101561025057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107d2565b604051808215151515815260200191505060405180910390f35b6102c86108ab565b604051808260ff1660ff16815260200191505060405180910390f35b610330600480360360408110156102fa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108c2565b604051808215151515815260200191505060405180910390f35b6103966004803603604081101561036057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610975565b005b6103da600480360360208110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a46565b6040518082815260200191505060405180910390f35b6103f8610a8e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610442610ab4565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610482578082015181840152602081019050610467565b50505050905090810190601f1680156104af5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610509600480360360408110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b56565b604051808215151515815260200191505060405180910390f35b61056f6004803603604081101561053957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c23565b604051808215151515815260200191505060405180910390f35b6105eb6004803603604081101561059f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c41565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106995780601f1061066e57610100808354040283529160200191610699565b820191906000526020600020905b81548152906001019060200180831161067c57829003601f168201915b5050505050905090565b60006106b76106b0610cc8565b8484610cd0565b6001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610784576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f216f776e6572000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600254905090565b60006107df848484610ec7565b6108a0846107eb610cc8565b61089b856040518060600160405280602881526020016114ec60289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610851610cc8565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117d9092919063ffffffff16565b610cd0565b600190509392505050565b6000600560009054906101000a900460ff16905090565b600061096b6108cf610cc8565b8461096685600160006108e0610cc8565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461123d90919063ffffffff16565b610cd0565b6001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a38576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f216f776e6572000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610a4282826112c5565b5050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b4c5780601f10610b2157610100808354040283529160200191610b4c565b820191906000526020600020905b815481529060010190602001808311610b2f57829003601f168201915b5050505050905090565b6000610c19610b63610cc8565b84610c148560405180606001604052806025815260200161155d6025913960016000610b8d610cc8565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117d9092919063ffffffff16565b610cd0565b6001905092915050565b6000610c37610c30610cc8565b8484610ec7565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610d56576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806115396024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ddc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806114a46022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610f4d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806115146025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610fd3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806114816023913960400191505060405180910390fd5b61103e816040518060600160405280602681526020016114c6602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117d9092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110d1816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461123d90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600083831115829061122a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156111ef5780820151818401526020810190506111d4565b50505050905090810190601f16801561121c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808284019050838110156112bb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611368576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b61137d8160025461123d90919063ffffffff16565b6002819055506113d4816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461123d90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820b78abfd38b1e6ba00fd978588d99b683ff59c7b3d2f3951d1dd710669c0a80ef64736f6c63430005110032

5199:1046:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5199:1046:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5788:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5788:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2782:149;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2782:149:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6119:123;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6119:123:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2277:88;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2937:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2937:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5879:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3244:207;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3244:207:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5970:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5970:141:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2371:107;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2371:107:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5348:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5693:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5693:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3457:258;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3457:258:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2484:155;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2484:155:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2645:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2645:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5788:83;5825:13;5858:5;5851:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5788:83;:::o;2782:149::-;2845:4;2862:39;2871:12;:10;:12::i;:::-;2885:7;2894:6;2862:8;:39::i;:::-;2919:4;2912:11;;2782:149;;;;:::o;6119:123::-;6193:5;;;;;;;;;;;6179:19;;:10;:19;;;6171:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6228:6;6220:5;;:14;;;;;;;;;;;;;;;;;;6119:123;:::o;2277:88::-;2321:4;2345:12;;2338:19;;2277:88;:::o;2937:301::-;3023:4;3040:36;3050:6;3058:9;3069:6;3040:9;:36::i;:::-;3087:121;3096:6;3104:12;:10;:12::i;:::-;3118:89;3156:6;3118:89;;;;;;;;;;;;;;;;;:11;:19;3130:6;3118:19;;;;;;;;;;;;;;;:33;3138:12;:10;:12::i;:::-;3118:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;3087:8;:121::i;:::-;3226:4;3219:11;;2937:301;;;;;:::o;5879:83::-;5920:5;5945:9;;;;;;;;;;;5938:16;;5879:83;:::o;3244:207::-;3321:4;3338:83;3347:12;:10;:12::i;:::-;3361:7;3370:50;3409:10;3370:11;:25;3382:12;:10;:12::i;:::-;3370:25;;;;;;;;;;;;;;;:34;3396:7;3370:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;3338:8;:83::i;:::-;3439:4;3432:11;;3244:207;;;;:::o;5970:141::-;6054:5;;;;;;;;;;;6040:19;;:10;:19;;;6032:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6081:22;6087:7;6096:6;6081:5;:22::i;:::-;5970:141;;:::o;2371:107::-;2428:4;2452:9;:18;2462:7;2452:18;;;;;;;;;;;;;;;;2445:25;;2371:107;;;:::o;5348:20::-;;;;;;;;;;;;;:::o;5693:87::-;5732:13;5765:7;5758:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5693:87;:::o;3457:258::-;3539:4;3556:129;3565:12;:10;:12::i;:::-;3579:7;3588:96;3627:15;3588:96;;;;;;;;;;;;;;;;;:11;:25;3600:12;:10;:12::i;:::-;3588:25;;;;;;;;;;;;;;;:34;3614:7;3588:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;3556:8;:129::i;:::-;3703:4;3696:11;;3457:258;;;;:::o;2484:155::-;2550:4;2567:42;2577:12;:10;:12::i;:::-;2591:9;2602:6;2567:9;:42::i;:::-;2627:4;2620:11;;2484:155;;;;:::o;2645:131::-;2717:4;2741:11;:18;2753:5;2741:18;;;;;;;;;;;;;;;:27;2760:7;2741:27;;;;;;;;;;;;;;;;2734:34;;2645:131;;;;:::o;794:98::-;839:15;874:10;867:17;;794:98;:::o;4857:335::-;4965:1;4948:19;;:5;:19;;;;4940:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5046:1;5027:21;;:7;:21;;;;5019:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5130:6;5100:11;:18;5112:5;5100:18;;;;;;;;;;;;;;;:27;5119:7;5100:27;;;;;;;;;;;;;;;:36;;;;5168:7;5152:32;;5161:5;5152:32;;;5177:6;5152:32;;;;;;;;;;;;;;;;;;4857:335;;;:::o;3721:468::-;3834:1;3816:20;;:6;:20;;;;3808:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3918:1;3897:23;;:9;:23;;;;3889:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3993;4015:6;3993:71;;;;;;;;;;;;;;;;;:9;:17;4003:6;3993:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;3973:9;:17;3983:6;3973:17;;;;;;;;;;;;;;;:91;;;;4098:32;4123:6;4098:9;:20;4108:9;4098:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;4075:9;:20;4085:9;4075:20;;;;;;;;;;;;;;;:55;;;;4163:9;4146:35;;4155:6;4146:35;;;4174:6;4146:35;;;;;;;;;;;;;;;;;;3721:468;;;:::o;1231:180::-;1311:4;1341:1;1336;:6;;1344:12;1328:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1328:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1368:6;1381:1;1377;:5;1368:14;;1402:1;1395:8;;;1231:180;;;;;:::o;923:169::-;975:4;992:6;1005:1;1001;:5;992:14;;1030:1;1025;:6;;1017:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1083:1;1076:8;;;923:169;;;;:::o;4195:305::-;4287:1;4268:21;;:7;:21;;;;4260:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4353:24;4370:6;4353:12;;:16;;:24;;;;:::i;:::-;4338:12;:39;;;;4409:30;4432:6;4409:9;:18;4419:7;4409:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;4388:9;:18;4398:7;4388:18;;;;;;;;;;;;;;;:51;;;;4476:7;4455:37;;4472:1;4455:37;;;4485:6;4455:37;;;;;;;;;;;;;;;;;;4195:305;;:::o

bzzr://b78abfd38b1e6ba00fd978588d99b683ff59c7b3d2f3951d1dd710669c0a80ef