Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)  contract Ownable  contract KOELCONTRACT is Ownable *    - function totalSupply()    - function balanceOf(address owner)    - function transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function allowance(address _from, add ...    - function setParams(uint newBasisPoint ...    - function increaseSupply(uint amount)    - function decreaseSupply(uint amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-06
*/

pragma solidity ^0.4.21;

library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        assert(c / a == b);
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a / b;
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        assert(c>=a && c>=b);
        return c;
    }
}


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

    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    
    modifier onlyPayloadSize(uint size) {
        assert(msg.data.length >= size + 4);
        _;
    }
}


contract KOELCONTRACT is Ownable{

    using SafeMath for uint;
    string public name;     
    string public symbol;
    uint8 public decimals;  
    uint private _totalSupply;
    uint public basisPointsRate = 0;
    uint public minimumFee = 0;
    uint public maximumFee = 0;

    mapping (address => uint256) internal balances;
    mapping (address => mapping (address => uint256)) internal allowed;
    
    event Transfer(
        address indexed from,
        address indexed to,
        uint256 value
    );
    
    event Approval(
        address indexed _owner,
        address indexed _spender,
        uint256 _value
    );
    
    event Params(
        uint feeBasisPoints,
        uint maximumFee,
        uint minimumFee
    );
    
    event Issue(
        uint amount
    );

    event Redeem(
        uint amount
    );
    

    constructor () public {
        name = 'KOEL COIN'; 
        symbol = 'KOEL'; 
        decimals = 18; 
        _totalSupply = 1000000000 * 10**uint(decimals); 
        balances[msg.sender] = _totalSupply;
    }
    

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }
   
  
    function balanceOf(address owner) public view returns (uint256) {
        return balances[owner];
    }
   
    function transfer(address _to, uint256  _value) public onlyPayloadSize(2 * 32){
        uint fee = (_value.mul(basisPointsRate)).div(1000);
        if (fee > maximumFee) {
            fee = maximumFee;
        }
        if (fee < minimumFee) {
            fee = minimumFee;
        }
        require (_to != 0x0);

        require(_to != address(0));

        require (_value > 0); 

        require (balances[msg.sender] > _value);

        require (balances[_to].add(_value) > balances[_to]);

        uint sendAmount = _value.sub(fee);

        balances[msg.sender] = balances[msg.sender].sub(_value);

        balances[_to] = balances[_to].add(sendAmount); 

        if (fee > 0) {
            balances[owner] = balances[owner].add(fee);
            emit Transfer(msg.sender, owner, fee);
        }

        emit Transfer(msg.sender, _to, _value);
    }
    
  
    function approve(address _spender, uint256 _value) public onlyPayloadSize(2 * 32) returns (bool success) {

        require (_value > 0);

        require (balances[owner] > _value);

        require (_spender != msg.sender);

        allowed[msg.sender][_spender] = _value;

        emit Approval(msg.sender,_spender, _value);
        return true;
    }
    
 
    function transferFrom(address _from, address _to, uint256 _value) public onlyPayloadSize(2 * 32) returns (bool success) {

        uint fee = (_value.mul(basisPointsRate)).div(1000);
        if (fee > maximumFee) {
                fee = maximumFee;
        }
        if (fee < minimumFee) {
            fee = minimumFee;
        }

        require (_to != 0x0);

        require(_to != address(0));

        require (_value > 0); 

        require(_value < balances[_from]);

        require (balances[_to].add(_value) > balances[_to]);

        require (_value <= allowed[_from][msg.sender]);
        uint sendAmount = _value.sub(fee);
        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(sendAmount);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        if (fee > 0) {
            balances[owner] = balances[owner].add(fee);
            emit Transfer(_from, owner, fee);
        }
        emit Transfer(_from, _to, sendAmount);
        return true;
    }
    

    function allowance(address _from, address _spender) public view returns (uint remaining) {
        return allowed[_from][_spender];
    }
    
  
    function setParams(uint newBasisPoints,uint newMaxFee,uint newMinFee) public onlyOwner {
        require(newBasisPoints <= 9);
        require(newMaxFee <= 100);
        require(newMinFee <= 5);
        basisPointsRate = newBasisPoints;
        maximumFee = newMaxFee.mul(10**uint(decimals));
        minimumFee = newMinFee.mul(10**uint(decimals));
        emit Params(basisPointsRate, maximumFee, minimumFee);
    }

    function increaseSupply(uint amount) public onlyOwner {
        require(amount <= 10000000);
        amount = amount.mul(10**uint(decimals));
        require(_totalSupply.add(amount) > _totalSupply);
        require(balances[owner].add(amount) > balances[owner]);
        balances[owner] = balances[owner].add(amount);
        _totalSupply = _totalSupply.add(amount);
        emit Issue(amount);
    }
    

    function decreaseSupply(uint amount) public onlyOwner {
        require(amount <= 10000000);
        amount = amount.mul(10**uint(decimals));
        require(_totalSupply >= amount);
        require(balances[owner] >= amount);
        _totalSupply = _totalSupply.sub(amount);
        balances[owner] = balances[owner].sub(amount);
        emit Redeem(amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minimumFee","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maximumFee","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newBasisPoints","type":"uint256"},{"name":"newMaxFee","type":"uint256"},{"name":"newMinFee","type":"uint256"}],"name":"setParams","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"decreaseSupply","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"increaseSupply","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_from","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"basisPointsRate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"feeBasisPoints","type":"uint256"},{"indexed":false,"name":"maximumFee","type":"uint256"},{"indexed":false,"name":"minimumFee","type":"uint256"}],"name":"Params","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"}],"name":"Issue","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"}],"name":"Redeem","type":"event"}]

60806040526000600555600060065560006007553480156200002057600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040805190810160405280600981526020017f4b4f454c20434f494e000000000000000000000000000000000000000000000081525060019080519060200190620000ae92919062000187565b506040805190810160405280600481526020017f4b4f454c0000000000000000000000000000000000000000000000000000000081525060029080519060200190620000fc92919062000187565b506012600360006101000a81548160ff021916908360ff160217905550600360009054906101000a900460ff1660ff16600a0a633b9aca0002600481905550600454600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000236565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001ca57805160ff1916838001178555620001fb565b82800160010185558215620001fb579182015b82811115620001fa578251825591602001919060010190620001dd565b5b5090506200020a91906200020e565b5090565b6200023391905b808211156200022f57600081600090555060010162000215565b5090565b90565b611c5380620002466000396000f3006080604052600436106100e6576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100eb578063095ea7b31461017b57806318160ddd146101e05780631a7626e71461020b57806323b872dd14610236578063313ce567146102bb57806335390714146102ec5780635a0ce6761461031757806370a08231146103585780638da5cb5b146103af57806395d89b411461040657806398e52f9a14610496578063a9059cbb146104c3578063b921e16314610510578063dd62ed3e1461053d578063dd644f72146105b4575b600080fd5b3480156100f757600080fd5b506101006105df565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610140578082015181840152602081019050610125565b50505050905090810190601f16801561016d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018757600080fd5b506101c6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061067d565b604051808215151515815260200191505060405180910390f35b3480156101ec57600080fd5b506101f561083d565b6040518082815260200191505060405180910390f35b34801561021757600080fd5b50610220610847565b6040518082815260200191505060405180910390f35b34801561024257600080fd5b506102a1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084d565b604051808215151515815260200191505060405180910390f35b3480156102c757600080fd5b506102d0610ec1565b604051808260ff1660ff16815260200191505060405180910390f35b3480156102f857600080fd5b50610301610ed4565b6040518082815260200191505060405180910390f35b34801561032357600080fd5b50610356600480360381019080803590602001909291908035906020019092919080359060200190929190505050610eda565b005b34801561036457600080fd5b50610399600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101a565b6040518082815260200191505060405180910390f35b3480156103bb57600080fd5b506103c4611063565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561041257600080fd5b5061041b611088565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561045b578082015181840152602081019050610440565b50505050905090810190601f1680156104885780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156104a257600080fd5b506104c160048036038101908080359060200190929190505050611126565b005b3480156104cf57600080fd5b5061050e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611369565b005b34801561051c57600080fd5b5061053b6004803603810190808035906020019092919050505061183a565b005b34801561054957600080fd5b5061059e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b01565b6040518082815260200191505060405180910390f35b3480156105c057600080fd5b506105c9611b88565b6040518082815260200191505060405180910390f35b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106755780601f1061064a57610100808354040283529160200191610675565b820191906000526020600020905b81548152906001019060200180831161065857829003601f168201915b505050505081565b600060406004810160003690501015151561069457fe5b6000831115156106a357600080fd5b82600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411151561071157600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561074c57600080fd5b82600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60065481565b600080600060406004810160003690501015151561086757fe5b6108906103e861088260055488611b8e90919063ffffffff16565b611bc990919063ffffffff16565b92506007548311156108a25760075492505b6006548310156108b25760065492505b60008673ffffffffffffffffffffffffffffffffffffffff16141515156108d857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561091457600080fd5b60008511151561092357600080fd5b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548510151561097057600080fd5b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0286600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b111515610a0e57600080fd5b600960008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548511151515610a9957600080fd5b610aac8386611c0e90919063ffffffff16565b9150610b0085600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b9582600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c6785600960008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000831115610e4e57610d6383600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600193505050509392505050565b600360009054906101000a900460ff1681565b60075481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f3557600080fd5b60098311151515610f4557600080fd5b60648211151515610f5557600080fd5b60058111151515610f6557600080fd5b82600581905550610f94600360009054906101000a900460ff1660ff16600a0a83611b8e90919063ffffffff16565b600781905550610fc2600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b6006819055507fd16858b87f79d06c5d7f4cdf7f0943a3b343a9eb149c10ec26e7bcaae7f19bc560055460075460065460405180848152602001838152602001828152602001935050505060405180910390a1505050565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561111e5780601f106110f35761010080835404028352916020019161111e565b820191906000526020600020905b81548152906001019060200180831161110157829003601f168201915b505050505081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561118157600080fd5b62989680811115151561119357600080fd5b6111bb600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b905080600454101515156111ce57600080fd5b80600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561123d57600080fd5b61125281600454611c0e90919063ffffffff16565b6004819055506112cb81600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44816040518082815260200191505060405180910390a150565b60008060406004810160003690501015151561138157fe5b6113aa6103e861139c60055487611b8e90919063ffffffff16565b611bc990919063ffffffff16565b92506007548311156113bc5760075492505b6006548310156113cc5760065492505b60008573ffffffffffffffffffffffffffffffffffffffff16141515156113f257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415151561142e57600080fd5b60008411151561143d57600080fd5b83600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411151561148a57600080fd5b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461151c85600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b11151561152857600080fd5b61153b8385611c0e90919063ffffffff16565b915061158f84600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061162482600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008311156117ce576116e383600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b8473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a35050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561189557600080fd5b6298968081111515156118a757600080fd5b6118cf600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b90506004546118e982600454611be490919063ffffffff16565b1115156118f557600080fd5b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119c982600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b1115156119d557600080fd5b611a4881600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ac181600454611be490919063ffffffff16565b6004819055507fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a150565b6000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60055481565b6000806000841415611ba35760009150611bc2565b8284029050828482811515611bb457fe5b04141515611bbe57fe5b8091505b5092915050565b6000808284811515611bd757fe5b0490508091505092915050565b6000808284019050838110158015611bfc5750828110155b1515611c0457fe5b8091505092915050565b6000828211151515611c1c57fe5b8183039050929150505600a165627a7a72305820b0075891ad2a82d7d9a162d3ea2e2d36f606e6ef1ab6b315aa9a96a6a221ac760029

0x6080604052600436106100e6576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100eb578063095ea7b31461017b57806318160ddd146101e05780631a7626e71461020b57806323b872dd14610236578063313ce567146102bb57806335390714146102ec5780635a0ce6761461031757806370a08231146103585780638da5cb5b146103af57806395d89b411461040657806398e52f9a14610496578063a9059cbb146104c3578063b921e16314610510578063dd62ed3e1461053d578063dd644f72146105b4575b600080fd5b3480156100f757600080fd5b506101006105df565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610140578082015181840152602081019050610125565b50505050905090810190601f16801561016d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018757600080fd5b506101c6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061067d565b604051808215151515815260200191505060405180910390f35b3480156101ec57600080fd5b506101f561083d565b6040518082815260200191505060405180910390f35b34801561021757600080fd5b50610220610847565b6040518082815260200191505060405180910390f35b34801561024257600080fd5b506102a1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084d565b604051808215151515815260200191505060405180910390f35b3480156102c757600080fd5b506102d0610ec1565b604051808260ff1660ff16815260200191505060405180910390f35b3480156102f857600080fd5b50610301610ed4565b6040518082815260200191505060405180910390f35b34801561032357600080fd5b50610356600480360381019080803590602001909291908035906020019092919080359060200190929190505050610eda565b005b34801561036457600080fd5b50610399600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101a565b6040518082815260200191505060405180910390f35b3480156103bb57600080fd5b506103c4611063565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561041257600080fd5b5061041b611088565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561045b578082015181840152602081019050610440565b50505050905090810190601f1680156104885780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156104a257600080fd5b506104c160048036038101908080359060200190929190505050611126565b005b3480156104cf57600080fd5b5061050e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611369565b005b34801561051c57600080fd5b5061053b6004803603810190808035906020019092919050505061183a565b005b34801561054957600080fd5b5061059e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b01565b6040518082815260200191505060405180910390f35b3480156105c057600080fd5b506105c9611b88565b6040518082815260200191505060405180910390f35b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106755780601f1061064a57610100808354040283529160200191610675565b820191906000526020600020905b81548152906001019060200180831161065857829003601f168201915b505050505081565b600060406004810160003690501015151561069457fe5b6000831115156106a357600080fd5b82600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411151561071157600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561074c57600080fd5b82600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60065481565b600080600060406004810160003690501015151561086757fe5b6108906103e861088260055488611b8e90919063ffffffff16565b611bc990919063ffffffff16565b92506007548311156108a25760075492505b6006548310156108b25760065492505b60008673ffffffffffffffffffffffffffffffffffffffff16141515156108d857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561091457600080fd5b60008511151561092357600080fd5b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548510151561097057600080fd5b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a0286600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b111515610a0e57600080fd5b600960008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548511151515610a9957600080fd5b610aac8386611c0e90919063ffffffff16565b9150610b0085600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b9582600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c6785600960008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000831115610e4e57610d6383600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600193505050509392505050565b600360009054906101000a900460ff1681565b60075481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f3557600080fd5b60098311151515610f4557600080fd5b60648211151515610f5557600080fd5b60058111151515610f6557600080fd5b82600581905550610f94600360009054906101000a900460ff1660ff16600a0a83611b8e90919063ffffffff16565b600781905550610fc2600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b6006819055507fd16858b87f79d06c5d7f4cdf7f0943a3b343a9eb149c10ec26e7bcaae7f19bc560055460075460065460405180848152602001838152602001828152602001935050505060405180910390a1505050565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561111e5780601f106110f35761010080835404028352916020019161111e565b820191906000526020600020905b81548152906001019060200180831161110157829003601f168201915b505050505081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561118157600080fd5b62989680811115151561119357600080fd5b6111bb600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b905080600454101515156111ce57600080fd5b80600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561123d57600080fd5b61125281600454611c0e90919063ffffffff16565b6004819055506112cb81600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44816040518082815260200191505060405180910390a150565b60008060406004810160003690501015151561138157fe5b6113aa6103e861139c60055487611b8e90919063ffffffff16565b611bc990919063ffffffff16565b92506007548311156113bc5760075492505b6006548310156113cc5760065492505b60008573ffffffffffffffffffffffffffffffffffffffff16141515156113f257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415151561142e57600080fd5b60008411151561143d57600080fd5b83600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411151561148a57600080fd5b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461151c85600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b11151561152857600080fd5b61153b8385611c0e90919063ffffffff16565b915061158f84600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c0e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061162482600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008311156117ce576116e383600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b8473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a35050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561189557600080fd5b6298968081111515156118a757600080fd5b6118cf600360009054906101000a900460ff1660ff16600a0a82611b8e90919063ffffffff16565b90506004546118e982600454611be490919063ffffffff16565b1115156118f557600080fd5b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119c982600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b1115156119d557600080fd5b611a4881600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611be490919063ffffffff16565b600860008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ac181600454611be490919063ffffffff16565b6004819055507fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a150565b6000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60055481565b6000806000841415611ba35760009150611bc2565b8284029050828482811515611bb457fe5b04141515611bbe57fe5b8091505b5092915050565b6000808284811515611bd757fe5b0490508091505092915050565b6000808284019050838110158015611bfc5750828110155b1515611c0457fe5b8091505092915050565b6000828211151515611c1c57fe5b8183039050929150505600a165627a7a72305820b0075891ad2a82d7d9a162d3ea2e2d36f606e6ef1ab6b315aa9a96a6a221ac760029

1018:5091:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1089:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1089:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1089:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3265:366;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3265:366:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2140:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2140:91:0;;;;;;;;;;;;;;;;;;;;;;;1246:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1246:26:0;;;;;;;;;;;;;;;;;;;;;;;3646:1063;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3646:1063:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1146:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1146:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1279:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1279:26:0;;;;;;;;;;;;;;;;;;;;;;;4878:424;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4878:424:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2246:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2246:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;715:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;715:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1119:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1119:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5733:373;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5733:373:0;;;;;;;;;;;;;;;;;;;;;;;;;;2362:887;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2362:887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5310:409;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5310:409:0;;;;;;;;;;;;;;;;;;;;;;;;;;4723:139;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4723:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1208:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1208:31:0;;;;;;;;;;;;;;;;;;;;;;;1089:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3265:366::-;3356:12;3339:6;987:1;980:4;:8;961;;:15;;:27;;954:35;;;;;;3401:1;3392:6;:10;3383:20;;;;;;;;3443:6;3425:8;:15;3434:5;;;;;;;;;;;3425:15;;;;;;;;;;;;;;;;:24;3416:34;;;;;;;;3484:10;3472:22;;:8;:22;;;;3463:32;;;;;;;;3540:6;3508:7;:19;3516:10;3508:19;;;;;;;;;;;;;;;:29;3528:8;3508:29;;;;;;;;;;;;;;;:38;;;;3584:8;3564:37;;3573:10;3564:37;;;3594:6;3564:37;;;;;;;;;;;;;;;;;;3619:4;3612:11;;3265:366;;;;;:::o;2140:91::-;2184:7;2211:12;;2204:19;;2140:91;:::o;1246:26::-;;;;:::o;3646:1063::-;3752:12;3779:8;4269:15;3735:6;987:1;980:4;:8;961;;:15;;:27;;954:35;;;;;;3790:39;3824:4;3791:27;3802:15;;3791:6;:10;;:27;;;;:::i;:::-;3790:33;;:39;;;;:::i;:::-;3779:50;;3850:10;;3844:3;:16;3840:69;;;3887:10;;3881:16;;3840:69;3929:10;;3923:3;:16;3919:65;;;3962:10;;3956:16;;3919:65;4012:3;4005;:10;;;;3996:20;;;;;;;;4052:1;4037:17;;:3;:17;;;;4029:26;;;;;;;;4086:1;4077:6;:10;4068:20;;;;;;;;4119:8;:15;4128:5;4119:15;;;;;;;;;;;;;;;;4110:6;:24;4102:33;;;;;;;;4185:8;:13;4194:3;4185:13;;;;;;;;;;;;;;;;4157:25;4175:6;4157:8;:13;4166:3;4157:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;:41;4148:51;;;;;;;;4231:7;:14;4239:5;4231:14;;;;;;;;;;;;;;;:26;4246:10;4231:26;;;;;;;;;;;;;;;;4221:6;:36;;4212:46;;;;;;;;4287:15;4298:3;4287:6;:10;;:15;;;;:::i;:::-;4269:33;;4331:27;4351:6;4331:8;:15;4340:5;4331:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4313:8;:15;4322:5;4313:15;;;;;;;;;;;;;;;:45;;;;4385:29;4403:10;4385:8;:13;4394:3;4385:13;;;;;;;;;;;;;;;;:17;;:29;;;;:::i;:::-;4369:8;:13;4378:3;4369:13;;;;;;;;;;;;;;;:45;;;;4454:38;4485:6;4454:7;:14;4462:5;4454:14;;;;;;;;;;;;;;;:26;4469:10;4454:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4425:7;:14;4433:5;4425:14;;;;;;;;;;;;;;;:26;4440:10;4425:26;;;;;;;;;;;;;;;:67;;;;4513:1;4507:3;:7;4503:129;;;4549:24;4569:3;4549:8;:15;4558:5;;;;;;;;;;;4549:15;;;;;;;;;;;;;;;;:19;;:24;;;;:::i;:::-;4531:8;:15;4540:5;;;;;;;;;;;4531:15;;;;;;;;;;;;;;;:42;;;;4609:5;;;;;;;;;;;4593:27;;4602:5;4593:27;;;4616:3;4593:27;;;;;;;;;;;;;;;;;;4503:129;4663:3;4647:32;;4656:5;4647:32;;;4668:10;4647:32;;;;;;;;;;;;;;;;;;4697:4;4690:11;;3646:1063;;;;;;;;:::o;1146:21::-;;;;;;;;;;;;;:::o;1279:26::-;;;;:::o;4878:424::-;869:5;;;;;;;;;;;855:19;;:10;:19;;;847:28;;;;;;;;5002:1;4984:14;:19;;4976:28;;;;;;;;5036:3;5023:9;:16;;5015:25;;;;;;;;5072:1;5059:9;:14;;5051:23;;;;;;;;5103:14;5085:15;:32;;;;5141:33;5164:8;;;;;;;;;;;5159:14;;5155:2;:18;5141:9;:13;;:33;;;;:::i;:::-;5128:10;:46;;;;5198:33;5221:8;;;;;;;;;;;5216:14;;5212:2;:18;5198:9;:13;;:33;;;;:::i;:::-;5185:10;:46;;;;5247:47;5254:15;;5271:10;;5283;;5247:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4878:424;;;:::o;2246:105::-;2301:7;2328:8;:15;2337:5;2328:15;;;;;;;;;;;;;;;;2321:22;;2246:105;;;:::o;715:20::-;;;;;;;;;;;;;:::o;1119:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5733:373::-;869:5;;;;;;;;;;;855:19;;:10;:19;;;847:28;;;;;;;;5816:8;5806:6;:18;;5798:27;;;;;;;;5845:30;5865:8;;;;;;;;;;;5860:14;;5856:2;:18;5845:6;:10;;:30;;;;:::i;:::-;5836:39;;5910:6;5894:12;;:22;;5886:31;;;;;;;;5955:6;5936:8;:15;5945:5;;;;;;;;;;;5936:15;;;;;;;;;;;;;;;;:25;;5928:34;;;;;;;;5988:24;6005:6;5988:12;;:16;;:24;;;;:::i;:::-;5973:12;:39;;;;6041:27;6061:6;6041:8;:15;6050:5;;;;;;;;;;;6041:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;6023:8;:15;6032:5;;;;;;;;;;;6023:15;;;;;;;;;;;;;;;:45;;;;6084:14;6091:6;6084:14;;;;;;;;;;;;;;;;;;5733:373;:::o;2362:887::-;2451:8;2884:15;2433:6;987:1;980:4;:8;961;;:15;;:27;;954:35;;;;;;2462:39;2496:4;2463:27;2474:15;;2463:6;:10;;:27;;;;:::i;:::-;2462:33;;:39;;;;:::i;:::-;2451:50;;2522:10;;2516:3;:16;2512:65;;;2555:10;;2549:16;;2512:65;2597:10;;2591:3;:16;2587:65;;;2630:10;;2624:16;;2587:65;2678:3;2671;:10;;;;2662:20;;;;;;;;2718:1;2703:17;;:3;:17;;;;2695:26;;;;;;;;2752:1;2743:6;:10;2734:20;;;;;;;;2800:6;2777:8;:20;2786:10;2777:20;;;;;;;;;;;;;;;;:29;2768:39;;;;;;;;2857:8;:13;2866:3;2857:13;;;;;;;;;;;;;;;;2829:25;2847:6;2829:8;:13;2838:3;2829:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;:41;2820:51;;;;;;;;2902:15;2913:3;2902:6;:10;;:15;;;;:::i;:::-;2884:33;;2953:32;2978:6;2953:8;:20;2962:10;2953:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2930:8;:20;2939:10;2930:20;;;;;;;;;;;;;;;:55;;;;3014:29;3032:10;3014:8;:13;3023:3;3014:13;;;;;;;;;;;;;;;;:17;;:29;;;;:::i;:::-;2998:8;:13;3007:3;2998:13;;;;;;;;;;;;;;;:45;;;;3067:1;3061:3;:7;3057:134;;;3103:24;3123:3;3103:8;:15;3112:5;;;;;;;;;;;3103:15;;;;;;;;;;;;;;;;:19;;:24;;;;:::i;:::-;3085:8;:15;3094:5;;;;;;;;;;;3085:15;;;;;;;;;;;;;;;:42;;;;3168:5;;;;;;;;;;;3147:32;;3156:10;3147:32;;;3175:3;3147:32;;;;;;;;;;;;;;;;;;3057:134;3229:3;3208:33;;3217:10;3208:33;;;3234:6;3208:33;;;;;;;;;;;;;;;;;;2362:887;;;;;:::o;5310:409::-;869:5;;;;;;;;;;;855:19;;:10;:19;;;847:28;;;;;;;;5393:8;5383:6;:18;;5375:27;;;;;;;;5422:30;5442:8;;;;;;;;;;;5437:14;;5433:2;:18;5422:6;:10;;:30;;;;:::i;:::-;5413:39;;5498:12;;5471:24;5488:6;5471:12;;:16;;:24;;;;:::i;:::-;:39;5463:48;;;;;;;;5560:8;:15;5569:5;;;;;;;;;;;5560:15;;;;;;;;;;;;;;;;5530:27;5550:6;5530:8;:15;5539:5;;;;;;;;;;;5530:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;:45;5522:54;;;;;;;;5605:27;5625:6;5605:8;:15;5614:5;;;;;;;;;;;5605:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5587:8;:15;5596:5;;;;;;;;;;;5587:15;;;;;;;;;;;;;;;:45;;;;5658:24;5675:6;5658:12;;:16;;:24;;;;:::i;:::-;5643:12;:39;;;;5698:13;5704:6;5698:13;;;;;;;;;;;;;;;;;;5310:409;:::o;4723:139::-;4796:14;4830:7;:14;4838:5;4830:14;;;;;;;;;;;;;;;:24;4845:8;4830:24;;;;;;;;;;;;;;;;4823:31;;4723:139;;;;:::o;1208:31::-;;;;:::o;52:208::-;110:7;187:9;139:1;134;:6;130:47;;;164:1;157:8;;;;130:47;203:1;199;:5;187:17;;231:1;226;222;:5;;;;;;;;:10;215:18;;;;;;251:1;244:8;;52:208;;;;;;:::o;266:122::-;324:7;344:9;360:1;356;:5;;;;;;;;344:17;;379:1;372:8;;266:122;;;;;:::o;523:153::-;581:7;601:9;617:1;613;:5;601:17;;639:1;636;:4;;:12;;;;;647:1;644;:4;;636:12;629:20;;;;;;667:1;660:8;;523:153;;;;;:::o;394:123::-;452:7;484:1;479;:6;;472:14;;;;;;508:1;504;:5;497:12;;394:123;;;;:::o

bzzr://b0075891ad2a82d7d9a162d3ea2e2d36f606e6ef1ab6b315aa9a96a6a221ac76