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, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20 is 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, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract Stimulus_Finance is ERC20 ... *    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function _partialBurn(uint256 amount)    - function _calcBurnAmount(uint256 amou ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;



interface IERC20 {

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);


    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

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


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

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

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

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

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;

        return c;
    }


    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}


contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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


    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 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);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 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, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }
   
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    
   
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

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

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

contract Stimulus_Finance is ERC20, ERC20Detailed {

    uint256 private _minimumSupply = 1000 * (10 ** 18);
    address public _owner= 0xC6e6711174227602C1A97723502Fea490F84C569;
    
    modifier onlyOwner (){
        require(msg.sender == _owner, "only owner");
        _;
    }
    
    constructor () public ERC20Detailed("StimulusFinance", "SFN", 18) {
       
        _mint(_owner, 5000 * (10 ** uint256(decimals())));
    }
    
    function transfer(address to, uint256 amount) public returns (bool) {
        return super.transfer(to, _partialBurn(amount));
    }

    function transferFrom(address from, address to, uint256 amount) public returns (bool) {
        return super.transferFrom(from, to, _partialBurn(amount));
    }

    function _partialBurn(uint256 amount) internal returns (uint256) {
        uint256 burnAmount = _calcBurnAmount(amount);

        if (burnAmount > 0) {
            _burn(msg.sender, burnAmount);
        }

        return amount.sub(burnAmount);
    }

    function _calcBurnAmount(uint256 amount) internal view returns (uint256) {
        uint256 burnAmount = 0;

        if (totalSupply() > _minimumSupply) {
            burnAmount = amount.div(100);
            uint256 availableBurn = totalSupply().sub(_minimumSupply);
            if (burnAmount > availableBurn) {
                burnAmount = availableBurn;
            }
        }

        return burnAmount;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":[],"name":"_owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"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":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6080604052683635c9adc5dea00000600655600780546001600160a01b03191673c6e6711174227602c1a97723502fea490f84c5691790553480156200004457600080fd5b506040518060400160405280600f81526020016e5374696d756c757346696e616e636560881b8152506040518060400160405280600381526020016229a32760e91b81525060128260039080519060200190620000a392919062000274565b508151620000b990600490602085019062000274565b506005805460ff191660ff92909216919091179055505060075462000101906001600160a01b0316620000eb62000107565b60ff16600a0a611388026200011160201b60201c565b62000316565b60055460ff165b90565b6001600160a01b0382166200016d576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b62000189816002546200021260201b6200067a1790919060201c565b6002556001600160a01b03821660009081526020818152604090912054620001bc9183906200067a62000212821b17901c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200026d576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620002b757805160ff1916838001178555620002e7565b82800160010185558215620002e7579182015b82811115620002e7578251825591602001919060010190620002ca565b50620002f5929150620002f9565b5090565b6200010e91905b80821115620002f5576000815560010162000300565b610b0280620003266000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a082311461021057806395d89b4114610236578063a457c2d71461023e578063a9059cbb1461026a578063b2bdfa7b14610296578063dd62ed3e146102ba576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806339509351146101e4575b600080fd5b6100c16102e8565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b03813516906020013561037e565b604080519115158252519081900360200190f35b61017e610394565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b0381358116916020810135909116906040013561039a565b6101ce6103b7565b6040805160ff9092168252519081900360200190f35b610162600480360360408110156101fa57600080fd5b506001600160a01b0381351690602001356103c0565b61017e6004803603602081101561022657600080fd5b50356001600160a01b0316610401565b6100c161041c565b6101626004803603604081101561025457600080fd5b506001600160a01b03813516906020013561047d565b6101626004803603604081101561028057600080fd5b506001600160a01b0381351690602001356104b9565b61029e6104d4565b604080516001600160a01b039092168252519081900360200190f35b61017e600480360360408110156102d057600080fd5b506001600160a01b03813581169160200135166104e3565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103745780601f1061034957610100808354040283529160200191610374565b820191906000526020600020905b81548152906001019060200180831161035757829003601f168201915b5050505050905090565b600061038b33848461050e565b50600192915050565b60025490565b60006103af84846103aa856105fa565b610628565b949350505050565b60055460ff1690565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161038b9185906103fc908663ffffffff61067a16565b61050e565b6001600160a01b031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103745780601f1061034957610100808354040283529160200191610374565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161038b9185906103fc908663ffffffff6106d416565b60006104cd836104c8846105fa565b610731565b9392505050565b6007546001600160a01b031681565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166105535760405162461bcd60e51b8152600401808060200182810382526024815260200180610aaa6024913960400191505060405180910390fd5b6001600160a01b0382166105985760405162461bcd60e51b8152600401808060200182810382526022815260200180610a426022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000806106068361073e565b90508015610618576106183382610799565b6104cd838263ffffffff6106d416565b6000610635848484610872565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546106709186916103fc908663ffffffff6106d416565b5060019392505050565b6000828201838110156104cd576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008282111561072b576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600061038b338484610872565b600654600090819061074e610394565b11156107935761076583606463ffffffff6109b416565b90506000610783600654610777610394565b9063ffffffff6106d416565b905080821115610791578091505b505b92915050565b6001600160a01b0382166107de5760405162461bcd60e51b8152600401808060200182810382526021815260200180610a646021913960400191505060405180910390fd5b6002546107f1908263ffffffff6106d416565b6002556001600160a01b03821660009081526020819052604090205461081d908263ffffffff6106d416565b6001600160a01b038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6001600160a01b0383166108b75760405162461bcd60e51b8152600401808060200182810382526025815260200180610a856025913960400191505060405180910390fd5b6001600160a01b0382166108fc5760405162461bcd60e51b8152600401808060200182810382526023815260200180610a1f6023913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610925908263ffffffff6106d416565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461095a908263ffffffff61067a16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000808211610a0a576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b6000828481610a1557fe5b0494935050505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a723158207b953fdb76815f5752064339645fcc39be9f44a64317375f12b355a3683b50b364736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a082311461021057806395d89b4114610236578063a457c2d71461023e578063a9059cbb1461026a578063b2bdfa7b14610296578063dd62ed3e146102ba576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806339509351146101e4575b600080fd5b6100c16102e8565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b03813516906020013561037e565b604080519115158252519081900360200190f35b61017e610394565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b0381358116916020810135909116906040013561039a565b6101ce6103b7565b6040805160ff9092168252519081900360200190f35b610162600480360360408110156101fa57600080fd5b506001600160a01b0381351690602001356103c0565b61017e6004803603602081101561022657600080fd5b50356001600160a01b0316610401565b6100c161041c565b6101626004803603604081101561025457600080fd5b506001600160a01b03813516906020013561047d565b6101626004803603604081101561028057600080fd5b506001600160a01b0381351690602001356104b9565b61029e6104d4565b604080516001600160a01b039092168252519081900360200190f35b61017e600480360360408110156102d057600080fd5b506001600160a01b03813581169160200135166104e3565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103745780601f1061034957610100808354040283529160200191610374565b820191906000526020600020905b81548152906001019060200180831161035757829003601f168201915b5050505050905090565b600061038b33848461050e565b50600192915050565b60025490565b60006103af84846103aa856105fa565b610628565b949350505050565b60055460ff1690565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161038b9185906103fc908663ffffffff61067a16565b61050e565b6001600160a01b031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103745780601f1061034957610100808354040283529160200191610374565b3360008181526001602090815260408083206001600160a01b0387168452909152812054909161038b9185906103fc908663ffffffff6106d416565b60006104cd836104c8846105fa565b610731565b9392505050565b6007546001600160a01b031681565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166105535760405162461bcd60e51b8152600401808060200182810382526024815260200180610aaa6024913960400191505060405180910390fd5b6001600160a01b0382166105985760405162461bcd60e51b8152600401808060200182810382526022815260200180610a426022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000806106068361073e565b90508015610618576106183382610799565b6104cd838263ffffffff6106d416565b6000610635848484610872565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546106709186916103fc908663ffffffff6106d416565b5060019392505050565b6000828201838110156104cd576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008282111561072b576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600061038b338484610872565b600654600090819061074e610394565b11156107935761076583606463ffffffff6109b416565b90506000610783600654610777610394565b9063ffffffff6106d416565b905080821115610791578091505b505b92915050565b6001600160a01b0382166107de5760405162461bcd60e51b8152600401808060200182810382526021815260200180610a646021913960400191505060405180910390fd5b6002546107f1908263ffffffff6106d416565b6002556001600160a01b03821660009081526020819052604090205461081d908263ffffffff6106d416565b6001600160a01b038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6001600160a01b0383166108b75760405162461bcd60e51b8152600401808060200182810382526025815260200180610a856025913960400191505060405180910390fd5b6001600160a01b0382166108fc5760405162461bcd60e51b8152600401808060200182810382526023815260200180610a1f6023913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610925908263ffffffff6106d416565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461095a908263ffffffff61067a16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000808211610a0a576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b6000828481610a1557fe5b0494935050505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a723158207b953fdb76815f5752064339645fcc39be9f44a64317375f12b355a3683b50b364736f6c63430005110032

5571:1463:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5571:1463:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5286:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;5286:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2501:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2501:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1976:91;;;:::i;:::-;;;;;;;;;;;;;;;;6169:162;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6169:162:0;;;;;;;;;;;;;;;;;:::i;5481:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2921:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2921:206:0;;;;;;;;:::i;2077:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2077:110:0;-1:-1:-1;;;;;2077:110:0;;:::i;5380:87::-;;;:::i;3135:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3135:216:0;;;;;;;;:::i;6027:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6027:134:0;;;;;;;;:::i;5687:65::-;;;:::i;:::-;;;;-1:-1:-1;;;;;5687:65:0;;;;;;;;;;;;;;2359:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2359:134:0;;;;;;;;;;:::i;5286:83::-;5356:5;5349:12;;;;;;;;-1:-1:-1;;5349:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5323:13;;5349:12;;5356:5;;5349:12;;5356:5;5349:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5286:83;:::o;2501:148::-;2566:4;2583:36;2592:10;2604:7;2613:5;2583:8;:36::i;:::-;-1:-1:-1;2637:4:0;2501:148;;;;:::o;1976:91::-;2047:12;;1976:91;:::o;6169:162::-;6249:4;6273:50;6292:4;6298:2;6302:20;6315:6;6302:12;:20::i;:::-;6273:18;:50::i;:::-;6266:57;6169:162;-1:-1:-1;;;;6169:162:0:o;5481:83::-;5547:9;;;;5481:83;:::o;2921:206::-;3027:10;3001:4;3048:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3048:32:0;;;;;;;;;;3001:4;;3018:79;;3039:7;;3048:48;;3085:10;3048:48;:36;:48;:::i;:::-;3018:8;:79::i;2077:110::-;-1:-1:-1;;;;;2161:18:0;2134:7;2161:18;;;;;;;;;;;;2077:110::o;5380:87::-;5452:7;5445:14;;;;;;;;-1:-1:-1;;5445:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5419:13;;5445:14;;5452:7;;5445:14;;5452:7;5445:14;;;;;;;;;;;;;;;;;;;;;;;;3135:216;3246:10;3220:4;3267:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3267:32:0;;;;;;;;;;3220:4;;3237:84;;3258:7;;3267:53;;3304:15;3267:53;:36;:53;:::i;6027:134::-;6089:4;6113:40;6128:2;6132:20;6145:6;6132:12;:20::i;:::-;6113:14;:40::i;:::-;6106:47;6027:134;-1:-1:-1;;;6027:134:0:o;5687:65::-;;;-1:-1:-1;;;;;5687:65:0;;:::o;2359:134::-;-1:-1:-1;;;;;2458:18:0;;;2431:7;2458:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2359:134::o;4426:335::-;-1:-1:-1;;;;;4519:19:0;;4511:68;;;;-1:-1:-1;;;4511:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4598:21:0;;4590:68;;;;-1:-1:-1;;;4590:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4671:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;4722:31;;;;;;;;;;;;;;;;;4426:335;;;:::o;6339:258::-;6395:7;6415:18;6436:23;6452:6;6436:15;:23::i;:::-;6415:44;-1:-1:-1;6476:14:0;;6472:76;;6507:29;6513:10;6525;6507:5;:29::i;:::-;6567:22;:6;6578:10;6567:22;:10;:22;:::i;2657:256::-;2746:4;2763:36;2773:6;2781:9;2792:6;2763:9;:36::i;:::-;-1:-1:-1;;;;;2839:19:0;;;;;;:11;:19;;;;;;;;2827:10;2839:31;;;;;;;;;2810:73;;2819:6;;2839:43;;2875:6;2839:43;:35;:43;:::i;2810:73::-;-1:-1:-1;2901:4:0;2657:256;;;;;:::o;750:181::-;808:7;840:5;;;864:6;;;;856:46;;;;;-1:-1:-1;;;856:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;939:184;997:7;1030:1;1025;:6;;1017:49;;;;;-1:-1:-1;;;1017:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1089:5:0;;;939:184::o;2195:156::-;2264:4;2281:40;2291:10;2303:9;2314:6;2281:9;:40::i;6605:426::-;6744:14;;6669:7;;;;6728:13;:11;:13::i;:::-;:30;6724:270;;;6788:15;:6;6799:3;6788:15;:10;:15;:::i;:::-;6775:28;;6818:21;6842:33;6860:14;;6842:13;:11;:13::i;:::-;:17;:33;:17;:33;:::i;:::-;6818:57;;6907:13;6894:10;:26;6890:93;;;6954:13;6941:26;;6890:93;6724:270;;7013:10;6605:426;-1:-1:-1;;6605:426:0:o;4112:306::-;-1:-1:-1;;;;;4187:21:0;;4179:67;;;;-1:-1:-1;;;4179:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4274:12;;:23;;4291:5;4274:23;:16;:23;:::i;:::-;4259:12;:38;-1:-1:-1;;;;;4329:18:0;;:9;:18;;;;;;;;;;;:29;;4352:5;4329:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;4308:18:0;;:9;:18;;;;;;;;;;;:50;;;;4374:36;;;;;;;4308:9;;4374:36;;;;;;;;;;;4112:306;;:::o;3359:429::-;-1:-1:-1;;;;;3457:20:0;;3449:70;;;;-1:-1:-1;;;3449:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3538:23:0;;3530:71;;;;-1:-1:-1;;;3530:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3634:17:0;;:9;:17;;;;;;;;;;;:29;;3656:6;3634:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;3614:17:0;;;:9;:17;;;;;;;;;;;:49;;;;3697:20;;;;;;;:32;;3722:6;3697:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3674:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;3745:35;;;;;;;3674:20;;3745:35;;;;;;;;;;;;;3359:429;;;:::o;1389:179::-;1447:7;1479:1;1475;:5;1467:44;;;;;-1:-1:-1;;;1467:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;1522:9;1538:1;1534;:5;;;;;;;1389:179;-1:-1:-1;;;;1389:179:0:o

bzzr://7b953fdb76815f5752064339645fcc39be9f44a64317375f12b355a3683b50b3