Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... 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)    - function ceil(uint256 a, uint256 m)    - function dcdfcdfcdfgcdfcgdrc(uint256 ...    - function zazazazszazaza(uint256 a, ui ...    - function xbbxxbxbbbxxbbx(uint256 a, u ...    - function zzszszazazazaza(uint256 a, u ...    - function qzwewzqzewzezwezqz(uint256 a ...    - function dggggegewwwrwrwr(uint256 a, ...    - function cdfvcsfvcsfv(uint256 a, uint ...    - function vhnghngnhvghngnh(uint256 a, ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract DICKYDICK is ERC20Detaile ... *    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function findBurnAmount(uint256 value ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _mint(address account, uint2 ...    - function burn(uint256 amount)    - function _burn(address account, uint2 ...    - function burnFrom(address account, ui ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-01
*/

pragma solidity ^0.5.2;







//You hereby acknowledge all risks by interacting with this contract or buying this token. We are not responsible for your loss.





interface IERC20 {
    function totalSupply() external view returns(uint256);

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

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

    function transfer(address to, uint256 value) external returns(bool);

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

    function transferFrom(address from, address to, uint256 value) 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 mul(uint256 a, uint256 b) internal pure returns(uint256) {
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns(uint256) {
        require(b > 0);
        uint256 c = a / b;

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns(uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

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

        return c;
    }

    function ceil(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 1);
        return mul(div(d, m), m);
    }
    


    function dcdfcdfcdfgcdfcgdrc(uint256 a, uint256 b) internal pure returns(uint256) {
        uint256 c = a + b;
        require(c >= a);

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

        return c;
    }
    
    function xbbxxbxbbbxxbbx(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    
        
             function zzszszazazazaza(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    
            function qzwewzqzewzezwezqz(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    
               

    function dggggegewwwrwrwr(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    

    function cdfvcsfvcsfv(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    

    function vhnghngnhvghngnh(uint256 a, uint256 m) internal pure returns(uint256) {
        uint256 c = add(a, m);
        uint256 d = sub(c, 2);
        return mul(div(d, m), m);
    }
    
    
    
    
    
}















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 DICKYDICK is ERC20Detailed {

    using SafeMath for uint256; 
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply = 10000000000 * 1e18;


    uint256 public basePercent = 320;

    constructor() public ERC20Detailed("Butter Finance", "Butter", 18) {
        _mint(msg.sender, _totalSupply);
    }

    /// @return Total number of tokens in circulation
    function totalSupply() public view returns(uint256) {
        return _totalSupply;
    }


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

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


    function findBurnAmount(uint256 value) public view returns(uint256) {
  
        if (value == 1) {
            return 0;
        }
        uint256 roundValue = value.ceil(basePercent);
        //Gas optimized
        uint256 burnAmount = roundValue.mul(100).div(32000);
        return burnAmount;
    }


    function transfer(address to, uint256 value) public returns(bool) {
        require(to != address(0));

        uint256 tokensToBurn = findBurnAmount(value);
        uint256 tokensToTransfer = value.sub(tokensToBurn);

        _balances[msg.sender] = _balances[msg.sender].sub(value);
        _balances[to] = _balances[to].add(tokensToTransfer);

        _totalSupply = _totalSupply.sub(tokensToBurn);

        emit Transfer(msg.sender, to, tokensToTransfer);
        emit Transfer(msg.sender, address(0), tokensToBurn);
        return true;
    }


    function approve(address spender, uint256 value) public returns(bool) {
        require(spender != address(0));
        _allowances[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }


    function transferFrom(address from, address to, uint256 value) public returns(bool) {
        require(value <= _allowances[from][msg.sender]);
        require(to != address(0));

        _balances[from] = _balances[from].sub(value);

        uint256 tokensToBurn = findBurnAmount(value);
        uint256 tokensToTransfer = value.sub(tokensToBurn);

        _balances[to] = _balances[to].add(tokensToTransfer);
        _totalSupply = _totalSupply.sub(tokensToBurn);

        _allowances[from][msg.sender] = _allowances[from][msg.sender].sub(value);

        emit Transfer(from, to, tokensToTransfer);
        emit Transfer(from, address(0), tokensToBurn);

        return true;
    }

  
    function increaseAllowance(address spender, uint256 addedValue) public returns(bool) {
        require(spender != address(0));
        _allowances[msg.sender][spender] = (_allowances[msg.sender][spender].add(addedValue));
        emit Approval(msg.sender, spender, _allowances[msg.sender][spender]);
        return true;
    }


    function decreaseAllowance(address spender, uint256 subtractedValue) public returns(bool) {
        require(spender != address(0));
        _allowances[msg.sender][spender] = (_allowances[msg.sender][spender].sub(subtractedValue));
        emit Approval(msg.sender, spender, _allowances[msg.sender][spender]);
        return true;
    }

    function _mint(address account, uint256 amount) internal {
        require(amount != 0);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    function burn(uint256 amount) external {
        _burn(msg.sender, amount);
    }

    function _burn(address account, uint256 amount) internal {
        require(amount != 0);
        _totalSupply = _totalSupply.sub(amount);
        _balances[account] = _balances[account].sub(amount);
        emit Transfer(account, address(0), amount);
    }

    function burnFrom(address account, uint256 amount) external {
        require(amount <= _allowances[account][msg.sender]);
        _allowances[account][msg.sender] = _allowances[account][msg.sender].sub(amount);
        _burn(account, amount);
    }
}

• 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":[{"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":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"basePercent","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"findBurnAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526b204fce5e3e250261100000006005556101406006553480156200002757600080fd5b506040518060400160405280600e81526020017f4275747465722046696e616e63650000000000000000000000000000000000008152506040518060400160405280600681526020017f427574746572000000000000000000000000000000000000000000000000000081525060128260009080519060200190620000ae92919062000235565b508160019080519060200190620000c792919062000235565b5080600260006101000a81548160ff021916908360ff160217905550505050620000fa336005546200010060201b60201c565b620002e4565b60008114156200010f57600080fd5b6200016881600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200021560201b620016a31790919060201c565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000808284019050838110156200022b57600080fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200027857805160ff1916838001178555620002a9565b82800160010185558215620002a9579182015b82811115620002a85782518255916020019190600101906200028b565b5b509050620002b89190620002bc565b5090565b620002e191905b80821115620002dd576000816000905550600101620002c3565b5090565b90565b6118ba80620002f46000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d7146104aa578063a9059cbb14610510578063c5ac0ded14610576578063dd62ed3e14610594576100f5565b806370a082311461033f57806379cc6790146103975780638e5691ae146103e557806395d89b4114610427576100f5565b806323b872dd116100d357806323b872dd14610201578063313ce5671461028757806339509351146102ab57806342966c6814610311576100f5565b806306fdde03146100fa578063095ea7b31461017d57806318160ddd146101e3575b600080fd5b61010261060c565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610142578082015181840152602081019050610127565b50505050905090810190601f16801561016f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101c96004803603604081101561019357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506106ae565b604051808215151515815260200191505060405180910390f35b6101eb6107d9565b6040518082815260200191505060405180910390f35b61026d6004803603606081101561021757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107e3565b604051808215151515815260200191505060405180910390f35b61028f610bf8565b604051808260ff1660ff16815260200191505060405180910390f35b6102f7600480360360408110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c0f565b604051808215151515815260200191505060405180910390f35b61033d6004803603602081101561032757600080fd5b8101908080359060200190929190505050610e44565b005b6103816004803603602081101561035557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e51565b6040518082815260200191505060405180910390f35b6103e3600480360360408110156103ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e9a565b005b610411600480360360208110156103fb57600080fd5b8101908080359060200190929190505050611040565b6040518082815260200191505060405180910390f35b61042f6110a4565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561046f578082015181840152602081019050610454565b50505050905090810190601f16801561049c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104f6600480360360408110156104c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611146565b604051808215151515815260200191505060405180910390f35b61055c6004803603604081101561052657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061137b565b604051808215151515815260200191505060405180910390f35b61057e6115f6565b6040518082815260200191505060405180910390f35b6105f6600480360360408110156105aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115fc565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106a45780601f10610679576101008083540402835291602001916106a4565b820191906000526020600020905b81548152906001019060200180831161068757829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156106e957600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561086e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108a857600080fd5b6108fa82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061094883611040565b9050600061095f828561168390919063ffffffff16565b90506109b381600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a0b8260055461168390919063ffffffff16565b600581905550610aa084600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c4a57600080fd5b610cd982600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b610e4e33826116c2565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115610f2357600080fd5b610fb281600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061103c82826116c2565b5050565b60006001821415611054576000905061109f565b600061106b600654846117ea90919063ffffffff16565b90506000611097617d0061108960648561182590919063ffffffff16565b61185f90919063ffffffff16565b905080925050505b919050565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561113c5780601f106111115761010080835404028352916020019161113c565b820191906000526020600020905b81548152906001019060200180831161111f57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118157600080fd5b61121082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113b657600080fd5b60006113c183611040565b905060006113d8828561168390919063ffffffff16565b905061142c84600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c181600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115198260055461168390919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561169257600080fd5b600082840390508091505092915050565b6000808284019050838110156116b857600080fd5b8091505092915050565b60008114156116d057600080fd5b6116e58160055461168390919063ffffffff16565b60058190555061173d81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000806117f784846116a3565b90506000611806826001611683565b905061181b611815828661185f565b85611825565b9250505092915050565b6000808314156118385760009050611859565b600082840290508284828161184957fe5b041461185457600080fd5b809150505b92915050565b600080821161186d57600080fd5b600082848161187857fe5b049050809150509291505056fea265627a7a7231582027f519678a1c88295d47c85853e6b8add9ad439d9727fbc7c3b2c6ad7ef422bd64736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d7146104aa578063a9059cbb14610510578063c5ac0ded14610576578063dd62ed3e14610594576100f5565b806370a082311461033f57806379cc6790146103975780638e5691ae146103e557806395d89b4114610427576100f5565b806323b872dd116100d357806323b872dd14610201578063313ce5671461028757806339509351146102ab57806342966c6814610311576100f5565b806306fdde03146100fa578063095ea7b31461017d57806318160ddd146101e3575b600080fd5b61010261060c565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610142578082015181840152602081019050610127565b50505050905090810190601f16801561016f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101c96004803603604081101561019357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506106ae565b604051808215151515815260200191505060405180910390f35b6101eb6107d9565b6040518082815260200191505060405180910390f35b61026d6004803603606081101561021757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107e3565b604051808215151515815260200191505060405180910390f35b61028f610bf8565b604051808260ff1660ff16815260200191505060405180910390f35b6102f7600480360360408110156102c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c0f565b604051808215151515815260200191505060405180910390f35b61033d6004803603602081101561032757600080fd5b8101908080359060200190929190505050610e44565b005b6103816004803603602081101561035557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e51565b6040518082815260200191505060405180910390f35b6103e3600480360360408110156103ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e9a565b005b610411600480360360208110156103fb57600080fd5b8101908080359060200190929190505050611040565b6040518082815260200191505060405180910390f35b61042f6110a4565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561046f578082015181840152602081019050610454565b50505050905090810190601f16801561049c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104f6600480360360408110156104c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611146565b604051808215151515815260200191505060405180910390f35b61055c6004803603604081101561052657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061137b565b604051808215151515815260200191505060405180910390f35b61057e6115f6565b6040518082815260200191505060405180910390f35b6105f6600480360360408110156105aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115fc565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106a45780601f10610679576101008083540402835291602001916106a4565b820191906000526020600020905b81548152906001019060200180831161068757829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156106e957600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561086e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108a857600080fd5b6108fa82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061094883611040565b9050600061095f828561168390919063ffffffff16565b90506109b381600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a0b8260055461168390919063ffffffff16565b600581905550610aa084600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c4a57600080fd5b610cd982600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b610e4e33826116c2565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115610f2357600080fd5b610fb281600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061103c82826116c2565b5050565b60006001821415611054576000905061109f565b600061106b600654846117ea90919063ffffffff16565b90506000611097617d0061108960648561182590919063ffffffff16565b61185f90919063ffffffff16565b905080925050505b919050565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561113c5780601f106111115761010080835404028352916020019161113c565b820191906000526020600020905b81548152906001019060200180831161111f57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118157600080fd5b61121082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113b657600080fd5b60006113c183611040565b905060006113d8828561168390919063ffffffff16565b905061142c84600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c181600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546116a390919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115198260055461168390919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561169257600080fd5b600082840390508091505092915050565b6000808284019050838110156116b857600080fd5b8091505092915050565b60008114156116d057600080fd5b6116e58160055461168390919063ffffffff16565b60058190555061173d81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461168390919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000806117f784846116a3565b90506000611806826001611683565b905061181b611815828661185f565b85611825565b9250505092915050565b6000808314156118385760009050611859565b600082840290508284828161184957fe5b041461185457600080fd5b809150505b92915050565b600080821161186d57600080fd5b600082848161187857fe5b049050809150509291505056fea265627a7a7231582027f519678a1c88295d47c85853e6b8add9ad439d9727fbc7c3b2c6ad7ef422bd64736f6c63430005110032

4014:4227:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4014:4227:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3715:82;;;:::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;3715:82:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5750:244;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5750:244:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4502:90;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6004:700;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6004:700:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3899:82;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6716:331;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6716:331:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7625:83;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7625:83:0;;;;;;;;;;;;;;;;;:::i;:::-;;4602:105;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4602:105:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7985:253;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7985:253:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4858:311;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4858:311:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3805:86;;;:::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;3805:86:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7057:341;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7057:341:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5179:561;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5179:561:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4281:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4715:133;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4715:133:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3715:82;3751:13;3784:5;3777:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3715:82;:::o;5750:244::-;5814:4;5858:1;5839:21;;:7;:21;;;;5831:30;;;;;;5907:5;5872:11;:23;5884:10;5872:23;;;;;;;;;;;;;;;:32;5896:7;5872:32;;;;;;;;;;;;;;;:40;;;;5949:7;5928:36;;5937:10;5928:36;;;5958:5;5928:36;;;;;;;;;;;;;;;;;;5982:4;5975:11;;5750:244;;;;:::o;4502:90::-;4545:7;4572:12;;4565:19;;4502:90;:::o;6004:700::-;6082:4;6116:11;:17;6128:4;6116:17;;;;;;;;;;;;;;;:29;6134:10;6116:29;;;;;;;;;;;;;;;;6107:5;:38;;6099:47;;;;;;6179:1;6165:16;;:2;:16;;;;6157:25;;;;;;6213:26;6233:5;6213:9;:15;6223:4;6213:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6195:9;:15;6205:4;6195:15;;;;;;;;;;;;;;;:44;;;;6252:20;6275:21;6290:5;6275:14;:21::i;:::-;6252:44;;6307:24;6334:23;6344:12;6334:5;:9;;:23;;;;:::i;:::-;6307:50;;6386:35;6404:16;6386:9;:13;6396:2;6386:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;6370:9;:13;6380:2;6370:13;;;;;;;;;;;;;;;:51;;;;6447:30;6464:12;6447;;:16;;:30;;;;:::i;:::-;6432:12;:45;;;;6522:40;6556:5;6522:11;:17;6534:4;6522:17;;;;;;;;;;;;;;;:29;6540:10;6522:29;;;;;;;;;;;;;;;;:33;;:40;;;;:::i;:::-;6490:11;:17;6502:4;6490:17;;;;;;;;;;;;;;;:29;6508:10;6490:29;;;;;;;;;;;;;;;:72;;;;6595:2;6580:36;;6589:4;6580:36;;;6599:16;6580:36;;;;;;;;;;;;;;;;;;6655:1;6632:40;;6641:4;6632:40;;;6659:12;6632:40;;;;;;;;;;;;;;;;;;6692:4;6685:11;;;;6004:700;;;;;:::o;3899:82::-;3939:5;3964:9;;;;;;;;;;;3957:16;;3899:82;:::o;6716:331::-;6795:4;6839:1;6820:21;;:7;:21;;;;6812:30;;;;;;6889:48;6926:10;6889:11;:23;6901:10;6889:23;;;;;;;;;;;;;;;:32;6913:7;6889:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;6853:11;:23;6865:10;6853:23;;;;;;;;;;;;;;;:32;6877:7;6853:32;;;;;;;;;;;;;;;:85;;;;6975:7;6954:63;;6963:10;6954:63;;;6984:11;:23;6996:10;6984:23;;;;;;;;;;;;;;;:32;7008:7;6984:32;;;;;;;;;;;;;;;;6954:63;;;;;;;;;;;;;;;;;;7035:4;7028:11;;6716:331;;;;:::o;7625:83::-;7675:25;7681:10;7693:6;7675:5;:25::i;:::-;7625:83;:::o;4602:105::-;4656:7;4683:9;:16;4693:5;4683:16;;;;;;;;;;;;;;;;4676:23;;4602:105;;;:::o;7985:253::-;8074:11;:20;8086:7;8074:20;;;;;;;;;;;;;;;:32;8095:10;8074:32;;;;;;;;;;;;;;;;8064:6;:42;;8056:51;;;;;;8153:44;8190:6;8153:11;:20;8165:7;8153:20;;;;;;;;;;;;;;;:32;8174:10;8153:32;;;;;;;;;;;;;;;;:36;;:44;;;;:::i;:::-;8118:11;:20;8130:7;8118:20;;;;;;;;;;;;;;;:32;8139:10;8118:32;;;;;;;;;;;;;;;:79;;;;8208:22;8214:7;8223:6;8208:5;:22::i;:::-;7985:253;;:::o;4858:311::-;4917:7;4954:1;4945:5;:10;4941:51;;;4979:1;4972:8;;;;4941:51;5002:18;5023:23;5034:11;;5023:5;:10;;:23;;;;:::i;:::-;5002:44;;5082:18;5103:30;5127:5;5103:19;5118:3;5103:10;:14;;:19;;;;:::i;:::-;:23;;:30;;;;:::i;:::-;5082:51;;5151:10;5144:17;;;;4858:311;;;;:::o;3805:86::-;3843:13;3876:7;3869:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3805:86;:::o;7057:341::-;7141:4;7185:1;7166:21;;:7;:21;;;;7158:30;;;;;;7235:53;7272:15;7235:11;:23;7247:10;7235:23;;;;;;;;;;;;;;;:32;7259:7;7235:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;7199:11;:23;7211:10;7199:23;;;;;;;;;;;;;;;:32;7223:7;7199:32;;;;;;;;;;;;;;;:90;;;;7326:7;7305:63;;7314:10;7305:63;;;7335:11;:23;7347:10;7335:23;;;;;;;;;;;;;;;:32;7359:7;7335:32;;;;;;;;;;;;;;;;7305:63;;;;;;;;;;;;;;;;;;7386:4;7379:11;;7057:341;;;;:::o;5179:561::-;5239:4;5278:1;5264:16;;:2;:16;;;;5256:25;;;;;;5294:20;5317:21;5332:5;5317:14;:21::i;:::-;5294:44;;5349:24;5376:23;5386:12;5376:5;:9;;:23;;;;:::i;:::-;5349:50;;5436:32;5462:5;5436:9;:21;5446:10;5436:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;5412:9;:21;5422:10;5412:21;;;;;;;;;;;;;;;:56;;;;5495:35;5513:16;5495:9;:13;5505:2;5495:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;5479:9;:13;5489:2;5479:13;;;;;;;;;;;;;;;:51;;;;5558:30;5575:12;5558;;:16;;:30;;;;:::i;:::-;5543:12;:45;;;;5627:2;5606:42;;5615:10;5606:42;;;5631:16;5606:42;;;;;;;;;;;;;;;;;;5693:1;5664:46;;5673:10;5664:46;;;5697:12;5664:46;;;;;;;;;;;;;;;;;;5728:4;5721:11;;;;5179:561;;;;:::o;4281:32::-;;;;:::o;4715:133::-;4786:7;4813:11;:18;4825:5;4813:18;;;;;;;;;;;;;;;:27;4832:7;4813:27;;;;;;;;;;;;;;;;4806:34;;4715:133;;;;:::o;1259:149::-;1316:7;1349:1;1344;:6;;1336:15;;;;;;1362:9;1378:1;1374;:5;1362:17;;1399:1;1392:8;;;1259:149;;;;:::o;1416:::-;1473:7;1493:9;1509:1;1505;:5;1493:17;;1534:1;1529;:6;;1521:15;;;;;;1556:1;1549:8;;;1416:149;;;;:::o;7716:261::-;7802:1;7792:6;:11;;7784:20;;;;;;7830:24;7847:6;7830:12;;:16;;:24;;;;:::i;:::-;7815:12;:39;;;;7886:30;7909:6;7886:9;:18;7896:7;7886:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;7865:9;:18;7875:7;7865:18;;;;;;;;;;;;;;;:51;;;;7958:1;7932:37;;7941:7;7932:37;;;7962:6;7932:37;;;;;;;;;;;;;;;;;;7716:261;;:::o;1573:174::-;1631:7;1651:9;1663;1667:1;1670;1663:3;:9::i;:::-;1651:21;;1683:9;1695;1699:1;1702;1695:3;:9::i;:::-;1683:21;;1722:17;1726:9;1730:1;1733;1726:3;:9::i;:::-;1737:1;1722:3;:17::i;:::-;1715:24;;;;1573:174;;;;:::o;883:212::-;940:7;969:1;964;:6;960:47;;;994:1;987:8;;;;960:47;1019:9;1035:1;1031;:5;1019:17;;1064:1;1059;1055;:5;;;;;;:10;1047:19;;;;;;1086:1;1079:8;;;883:212;;;;;:::o;1103:148::-;1160:7;1192:1;1188;:5;1180:14;;;;;;1205:9;1221:1;1217;:5;;;;;;1205:17;;1242:1;1235:8;;;1103:148;;;;:::o

bzzr://27f519678a1c88295d47c85853e6b8add9ad439d9727fbc7c3b2c6ad7ef422bd