Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-15
*/

pragma solidity ^0.4.22;

library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || 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);
    return c;
  }
}

contract ForeignToken {
    function balanceOf(address _owner) constant public returns (uint256);
    function transfer(address _to, uint256 _value) public returns (bool);
}

contract ERC20Basic {
    uint256 public totalSupply;
    function balanceOf(address who) public constant returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) public constant returns (uint256);
    function transferFrom(address from, address to, uint256 value) public returns (bool);
    function approve(address spender, uint256 value) public returns (bool);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface Token { 
    function distr(address _to, uint256 _value) external returns (bool);
    function totalSupply() constant external returns (uint256 supply);
    function balanceOf(address _owner) constant external returns (uint256 balance);
}

contract CASAS is ERC20 {
    
    using SafeMath for uint256;
    address owner = msg.sender;
    

    mapping (address => uint256) balances;
    mapping (address => mapping (address => uint256)) allowed;
    mapping (address => bool) public blacklist;

    string public constant name = "CASAS Token";
    string public constant symbol = "CASAS";
    uint public constant decimals = 8;
    
    uint256 public totalSupply = 2000000000e8;
    uint256 public totalDistributed = 1200000000e8;
    uint256 public totalRemaining = totalSupply.sub(totalDistributed);
    uint256 public value = 15000e8;
    

    uint public dailyDistribution;
    uint public timestep;
    
    mapping(address => uint) public lastClaimed;
    uint public claimedYesterday;
    uint public claimedToday;
    uint public dayStartTime;
    bool public activated=false;
    address public creator;

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    
    event Distr(address indexed to, uint256 amount);
    event DistrFinished();
    
    event Burn(address indexed burner, uint256 value);

    bool public distributionFinished = false;
    

    
    modifier canDistr() {
        require(!distributionFinished);
        _;
    }
    
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    
    modifier onlyWhitelist() {
        require(blacklist[msg.sender] == false);
        _;
    }
    
    function  CASAS() public {
        owner = msg.sender;
        balances[owner] = totalDistributed;
    }
    
    function transferOwnership(address newOwner) onlyOwner public {
        if (newOwner != address(0)) {
            owner = newOwner;
        }
    }
    
    function finishDistribution() onlyOwner canDistr public returns (bool) {
        distributionFinished = true;
        emit DistrFinished();
        return true;
    }
    
    function distr(address _to, uint256 _amount) canDistr private returns (bool) {
        totalDistributed = totalDistributed.add(_amount);
        totalRemaining = totalRemaining.sub(_amount);
        balances[_to] = balances[_to].add(_amount);
        emit Distr(_to, _amount);
        emit Transfer(address(0), _to, _amount);
        return true;
        
        if (totalDistributed >= totalSupply) {
            distributionFinished = true;
        }
    }
    
    function () external payable {
        getTokens();
         
     }
     
    
    function getTokens() payable canDistr onlyWhitelist public {
        if (value > totalRemaining) {
            value = totalRemaining;
        }
        
        require(value <= totalRemaining);
        
        address investor = msg.sender;
        uint256 toGive = value;
        
        distr(investor, toGive);
        
        if (toGive > 0) {
            blacklist[investor] = true;
        }

        if (totalDistributed >= totalSupply) {
            distributionFinished = true;
        }
        
        value = value.div(1).mul(1);
    }

    function balanceOf(address _owner) constant public returns (uint256) {
        return balances[_owner];
    }

    modifier onlyPayloadSize(uint size) {
        assert(msg.data.length >= size + 4);
        _;
    }
    
    function transfer(address _to, uint256 _amount) onlyPayloadSize(2 * 32) public returns (bool success) {
        require(_to != address(0));
        require(_amount <= balances[msg.sender]);
        
        balances[msg.sender] = balances[msg.sender].sub(_amount);
        balances[_to] = balances[_to].add(_amount);
        emit Transfer(msg.sender, _to, _amount);
        return true;
    }
    
    function transferFrom(address _from, address _to, uint256 _amount) onlyPayloadSize(3 * 32) public returns (bool success) {
        require(_to != address(0));
        require(_amount <= balances[_from]);
        require(_amount <= allowed[_from][msg.sender]);
        
        balances[_from] = balances[_from].sub(_amount);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_amount);
        balances[_to] = balances[_to].add(_amount);
        emit Transfer(_from, _to, _amount);
        return true;
    }
    
    function approve(address _spender, uint256 _value) public returns (bool success) {
        if (_value != 0 && allowed[msg.sender][_spender] != 0) { return false; }
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }
    
    function allowance(address _owner, address _spender) constant public returns (uint256) {
        return allowed[_owner][_spender];
    }
    
    function getTokenBalance(address tokenAddress, address who) constant public returns (uint){
        ForeignToken t = ForeignToken(tokenAddress);
        uint bal = t.balanceOf(who);
        return bal;
    }
    
    function withdraw() onlyOwner public {
        uint256 etherBalance = address(this).balance;
        owner.transfer(etherBalance);
    }
    
    function burn(uint256 _value) onlyOwner public {
        require(_value <= balances[msg.sender]);

        address burner = msg.sender;
        balances[burner] = balances[burner].sub(_value);
        totalSupply = totalSupply.sub(_value);
        totalDistributed = totalDistributed.sub(_value);
        emit Burn(burner, _value);
    }
    
    function withdrawForeignTokens(address _tokenContract) onlyOwner public returns (bool) {
        ForeignToken token = ForeignToken(_tokenContract);
        uint256 amount = token.balanceOf(address(this));
        return token.transfer(owner, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"lastClaimed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"creator","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"timestep","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"dayStartTime","outputs":[{"name":"","type":"uint256"}],"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":"activated","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"value","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","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":"claimedYesterday","outputs":[{"name":"","type":"uint256"}],"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":"finishDistribution","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"claimedToday","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"getTokens","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"distributionFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"tokenAddress","type":"address"},{"name":"who","type":"address"}],"name":"getTokenBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalRemaining","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"dailyDistribution","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_tokenContract","type":"address"}],"name":"withdrawForeignTokens","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalDistributed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"blacklist","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"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":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Distr","type":"event"},{"anonymous":false,"inputs":[],"name":"DistrFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"}]

608060405233600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506702c68af0bb1400006005556701aa535d3d0c000060065561008160065460055461017f64010000000002611def179091906401000000009004565b60075565015d3ef798006008556000600f60006101000a81548160ff0219169083151502179055506000600f60156101000a81548160ff0219169083151502179055503480156100d057600080fd5b5033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060065460026000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610198565b600082821115151561018d57fe5b818303905092915050565b611e52806101a76000396000f300608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063013eba921461017f57806302d05d3f146101d6578063062d0f091461022d57806306fdde031461025857806308378040146102e8578063095ea7b31461031357806318160ddd14610378578063186601ca146103a357806323b872dd146103d2578063313ce567146104575780633ccfd60b146104825780633fa4f2451461049957806342966c68146104c457806370a08231146104f157806387bfce9e1461054857806395d89b41146105735780639b1cbccc14610603578063a9059cbb14610632578063a9d7401314610697578063aa6ca808146106c2578063c108d542146106cc578063c489744b146106fb578063d8a5436014610772578063dd62ed3e1461079d578063de8f55af14610814578063e58fc54c1461083f578063efca2eed1461089a578063f2fde38b146108c5578063f9f92be414610908575b61017d610963565b005b34801561018b57600080fd5b506101c0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610adb565b6040518082815260200191505060405180910390f35b3480156101e257600080fd5b506101eb610af3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561023957600080fd5b50610242610b19565b6040518082815260200191505060405180910390f35b34801561026457600080fd5b5061026d610b1f565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102ad578082015181840152602081019050610292565b50505050905090810190601f1680156102da5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102f457600080fd5b506102fd610b58565b6040518082815260200191505060405180910390f35b34801561031f57600080fd5b5061035e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b5e565b604051808215151515815260200191505060405180910390f35b34801561038457600080fd5b5061038d610cec565b6040518082815260200191505060405180910390f35b3480156103af57600080fd5b506103b8610cf2565b604051808215151515815260200191505060405180910390f35b3480156103de57600080fd5b5061043d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d05565b604051808215151515815260200191505060405180910390f35b34801561046357600080fd5b5061046c6110db565b6040518082815260200191505060405180910390f35b34801561048e57600080fd5b506104976110e0565b005b3480156104a557600080fd5b506104ae6111c4565b6040518082815260200191505060405180910390f35b3480156104d057600080fd5b506104ef600480360381019080803590602001909291905050506111ca565b005b3480156104fd57600080fd5b50610532600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611396565b6040518082815260200191505060405180910390f35b34801561055457600080fd5b5061055d6113df565b6040518082815260200191505060405180910390f35b34801561057f57600080fd5b506105886113e5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105c85780820151818401526020810190506105ad565b50505050905090810190601f1680156105f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561060f57600080fd5b5061061861141e565b604051808215151515815260200191505060405180910390f35b34801561063e57600080fd5b5061067d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e6565b604051808215151515815260200191505060405180910390f35b3480156106a357600080fd5b506106ac611721565b6040518082815260200191505060405180910390f35b6106ca610963565b005b3480156106d857600080fd5b506106e1611727565b604051808215151515815260200191505060405180910390f35b34801561070757600080fd5b5061075c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061173a565b6040518082815260200191505060405180910390f35b34801561077e57600080fd5b50610787611825565b6040518082815260200191505060405180910390f35b3480156107a957600080fd5b506107fe600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061182b565b6040518082815260200191505060405180910390f35b34801561082057600080fd5b506108296118b2565b6040518082815260200191505060405180910390f35b34801561084b57600080fd5b50610880600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118b8565b604051808215151515815260200191505060405180910390f35b3480156108a657600080fd5b506108af611afd565b6040518082815260200191505060405180910390f35b3480156108d157600080fd5b50610906600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b03565b005b34801561091457600080fd5b50610949600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bda565b604051808215151515815260200191505060405180910390f35b600080600f60159054906101000a900460ff1615151561098257600080fd5b60001515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151415156109e157600080fd5b60075460085411156109f7576007546008819055505b60075460085411151515610a0a57600080fd5b3391506008549050610a1c8282611bfa565b506000811115610a7f576001600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b600554600654101515610aa8576001600f60156101000a81548160ff0219169083151502179055505b610ad16001610ac36001600854611da190919063ffffffff16565b611dbc90919063ffffffff16565b6008819055505050565b600b6020528060005260406000206000915090505481565b600f60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b6040805190810160405280600b81526020017f434153415320546f6b656e00000000000000000000000000000000000000000081525081565b600e5481565b6000808214158015610bed57506000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610bfb5760009050610ce6565b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60055481565b600f60009054906101000a900460ff1681565b6000606060048101600036905010151515610d1c57fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d5857600080fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610da657600080fd5b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610e3157600080fd5b610e8383600260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f5583600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061102783600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600881565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561113e57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16319050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156111c0573d6000803e3d6000fd5b5050565b60085481565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561122857600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561127657600080fd5b3390506112cb82600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061132382600554611def90919063ffffffff16565b60058190555061133e82600654611def90919063ffffffff16565b6006819055508073ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a25050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600c5481565b6040805190810160405280600581526020017f434153415300000000000000000000000000000000000000000000000000000081525081565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147c57600080fd5b600f60159054906101000a900460ff1615151561149857600080fd5b6001600f60156101000a81548160ff0219169083151502179055507f7f95d919e78bdebe8a285e6e33357c2fcb65ccf66e72d7573f9f8f6caad0c4cc60405160405180910390a16001905090565b60006040600481016000369050101515156114fd57fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561153957600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561158757600080fd5b6115d983600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061166e83600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600d5481565b600f60159054906101000a900460ff1681565b60008060008491508173ffffffffffffffffffffffffffffffffffffffff166370a08231856040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156117dd57600080fd5b505af11580156117f1573d6000803e3d6000fd5b505050506040513d602081101561180757600080fd5b81019080805190602001909291905050509050809250505092915050565b60075481565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60095481565b6000806000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561191957600080fd5b8391508173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156119b757600080fd5b505af11580156119cb573d6000803e3d6000fd5b505050506040513d60208110156119e157600080fd5b810190808051906020019092919050505090508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611ab957600080fd5b505af1158015611acd573d6000803e3d6000fd5b505050506040513d6020811015611ae357600080fd5b810190808051906020019092919050505092505050919050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b5f57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515611bd75780600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60046020528060005260406000206000915054906101000a900460ff1681565b6000600f60159054906101000a900460ff16151515611c1857600080fd5b611c2d82600654611e0890919063ffffffff16565b600681905550611c4882600754611def90919063ffffffff16565b600781905550611ca082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f8940c4b8e215f8822c5c8f0056c12652c746cbc57eedbd2a440b175971d47a77836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000808284811515611daf57fe5b0490508091505092915050565b60008082840290506000841480611ddd5750828482811515611dda57fe5b04145b1515611de557fe5b8091505092915050565b6000828211151515611dfd57fe5b818303905092915050565b6000808284019050838110151515611e1c57fe5b80915050929150505600a165627a7a72305820f1587dd3438ff97fc8e9db150412e4d377e66074eef8d7aefedfd0446df4ff020029

0x608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063013eba921461017f57806302d05d3f146101d6578063062d0f091461022d57806306fdde031461025857806308378040146102e8578063095ea7b31461031357806318160ddd14610378578063186601ca146103a357806323b872dd146103d2578063313ce567146104575780633ccfd60b146104825780633fa4f2451461049957806342966c68146104c457806370a08231146104f157806387bfce9e1461054857806395d89b41146105735780639b1cbccc14610603578063a9059cbb14610632578063a9d7401314610697578063aa6ca808146106c2578063c108d542146106cc578063c489744b146106fb578063d8a5436014610772578063dd62ed3e1461079d578063de8f55af14610814578063e58fc54c1461083f578063efca2eed1461089a578063f2fde38b146108c5578063f9f92be414610908575b61017d610963565b005b34801561018b57600080fd5b506101c0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610adb565b6040518082815260200191505060405180910390f35b3480156101e257600080fd5b506101eb610af3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561023957600080fd5b50610242610b19565b6040518082815260200191505060405180910390f35b34801561026457600080fd5b5061026d610b1f565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102ad578082015181840152602081019050610292565b50505050905090810190601f1680156102da5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102f457600080fd5b506102fd610b58565b6040518082815260200191505060405180910390f35b34801561031f57600080fd5b5061035e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b5e565b604051808215151515815260200191505060405180910390f35b34801561038457600080fd5b5061038d610cec565b6040518082815260200191505060405180910390f35b3480156103af57600080fd5b506103b8610cf2565b604051808215151515815260200191505060405180910390f35b3480156103de57600080fd5b5061043d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d05565b604051808215151515815260200191505060405180910390f35b34801561046357600080fd5b5061046c6110db565b6040518082815260200191505060405180910390f35b34801561048e57600080fd5b506104976110e0565b005b3480156104a557600080fd5b506104ae6111c4565b6040518082815260200191505060405180910390f35b3480156104d057600080fd5b506104ef600480360381019080803590602001909291905050506111ca565b005b3480156104fd57600080fd5b50610532600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611396565b6040518082815260200191505060405180910390f35b34801561055457600080fd5b5061055d6113df565b6040518082815260200191505060405180910390f35b34801561057f57600080fd5b506105886113e5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105c85780820151818401526020810190506105ad565b50505050905090810190601f1680156105f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561060f57600080fd5b5061061861141e565b604051808215151515815260200191505060405180910390f35b34801561063e57600080fd5b5061067d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e6565b604051808215151515815260200191505060405180910390f35b3480156106a357600080fd5b506106ac611721565b6040518082815260200191505060405180910390f35b6106ca610963565b005b3480156106d857600080fd5b506106e1611727565b604051808215151515815260200191505060405180910390f35b34801561070757600080fd5b5061075c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061173a565b6040518082815260200191505060405180910390f35b34801561077e57600080fd5b50610787611825565b6040518082815260200191505060405180910390f35b3480156107a957600080fd5b506107fe600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061182b565b6040518082815260200191505060405180910390f35b34801561082057600080fd5b506108296118b2565b6040518082815260200191505060405180910390f35b34801561084b57600080fd5b50610880600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118b8565b604051808215151515815260200191505060405180910390f35b3480156108a657600080fd5b506108af611afd565b6040518082815260200191505060405180910390f35b3480156108d157600080fd5b50610906600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b03565b005b34801561091457600080fd5b50610949600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bda565b604051808215151515815260200191505060405180910390f35b600080600f60159054906101000a900460ff1615151561098257600080fd5b60001515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151415156109e157600080fd5b60075460085411156109f7576007546008819055505b60075460085411151515610a0a57600080fd5b3391506008549050610a1c8282611bfa565b506000811115610a7f576001600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b600554600654101515610aa8576001600f60156101000a81548160ff0219169083151502179055505b610ad16001610ac36001600854611da190919063ffffffff16565b611dbc90919063ffffffff16565b6008819055505050565b600b6020528060005260406000206000915090505481565b600f60019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b6040805190810160405280600b81526020017f434153415320546f6b656e00000000000000000000000000000000000000000081525081565b600e5481565b6000808214158015610bed57506000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610bfb5760009050610ce6565b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60055481565b600f60009054906101000a900460ff1681565b6000606060048101600036905010151515610d1c57fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d5857600080fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610da657600080fd5b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610e3157600080fd5b610e8383600260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f5583600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061102783600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600881565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561113e57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16319050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156111c0573d6000803e3d6000fd5b5050565b60085481565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561122857600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561127657600080fd5b3390506112cb82600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061132382600554611def90919063ffffffff16565b60058190555061133e82600654611def90919063ffffffff16565b6006819055508073ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a25050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600c5481565b6040805190810160405280600581526020017f434153415300000000000000000000000000000000000000000000000000000081525081565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147c57600080fd5b600f60159054906101000a900460ff1615151561149857600080fd5b6001600f60156101000a81548160ff0219169083151502179055507f7f95d919e78bdebe8a285e6e33357c2fcb65ccf66e72d7573f9f8f6caad0c4cc60405160405180910390a16001905090565b60006040600481016000369050101515156114fd57fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561153957600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561158757600080fd5b6115d983600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611def90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061166e83600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600d5481565b600f60159054906101000a900460ff1681565b60008060008491508173ffffffffffffffffffffffffffffffffffffffff166370a08231856040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156117dd57600080fd5b505af11580156117f1573d6000803e3d6000fd5b505050506040513d602081101561180757600080fd5b81019080805190602001909291905050509050809250505092915050565b60075481565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60095481565b6000806000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561191957600080fd5b8391508173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156119b757600080fd5b505af11580156119cb573d6000803e3d6000fd5b505050506040513d60208110156119e157600080fd5b810190808051906020019092919050505090508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611ab957600080fd5b505af1158015611acd573d6000803e3d6000fd5b505050506040513d6020811015611ae357600080fd5b810190808051906020019092919050505092505050919050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b5f57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515611bd75780600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60046020528060005260406000206000915054906101000a900460ff1681565b6000600f60159054906101000a900460ff16151515611c1857600080fd5b611c2d82600654611e0890919063ffffffff16565b600681905550611c4882600754611def90919063ffffffff16565b600781905550611ca082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0890919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f8940c4b8e215f8822c5c8f0056c12652c746cbc57eedbd2a440b175971d47a77836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000808284811515611daf57fe5b0490508091505092915050565b60008082840290506000841480611ddd5750828482811515611dda57fe5b04145b1515611de557fe5b8091505092915050565b6000828211151515611dfd57fe5b818303905092915050565b6000808284019050838110151515611e1c57fe5b80915050929150505600a165627a7a72305820f1587dd3438ff97fc8e9db150412e4d377e66074eef8d7aefedfd0446df4ff020029

1680:5846:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4250:11;:9;:11::i;:::-;1680:5846;2379:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2379:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2560:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2560:22:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2346:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2346:20:0;;;;;;;;;;;;;;;;;;;;;;;1950:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1950:43: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;1950:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2495:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2495:24:0;;;;;;;;;;;;;;;;;;;;;;;6074:296;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6074:296:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2092:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2092:41:0;;;;;;;;;;;;;;;;;;;;;;;2526:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2526:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5527:535;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5527:535:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2046:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2046:33:0;;;;;;;;;;;;;;;;;;;;;;;6755:139;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6755:139:0;;;;;;2265:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2265:30:0;;;;;;;;;;;;;;;;;;;;;;;6906:345;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6906:345:0;;;;;;;;;;;;;;;;;;;;;;;;;;4882:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4882:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2429:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2429:28:0;;;;;;;;;;;;;;;;;;;;;;;2000:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2000:39: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;2000:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3546:170;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3546:170:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5115:400;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5115:400:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2464:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2464:24:0;;;;;;;;;;;;;;;;;;;;;;;4300:574;;;;;;2911:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2911:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6532:211;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6532:211:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2193:65;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2193:65:0;;;;;;;;;;;;;;;;;;;;;;;6382:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6382:138:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2310:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2310:29:0;;;;;;;;;;;;;;;;;;;;;;;7263:260;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7263:260:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2140:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2140:46:0;;;;;;;;;;;;;;;;;;;;;;;3383:151;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3383:151:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;1899:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1899:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4300:574;4520:16;4560:14;3012:20;;;;;;;;;;;3011:21;3003:30;;;;;;;;3226:5;3201:30;;:9;:21;3211:10;3201:21;;;;;;;;;;;;;;;;;;;;;;;;;:30;;;3193:39;;;;;;;;4382:14;;4374:5;;:22;4370:77;;;4421:14;;4413:5;:22;;;;4370:77;4484:14;;4475:5;;:23;;4467:32;;;;;;;;4539:10;4520:29;;4577:5;;4560:22;;4603:23;4609:8;4619:6;4603:5;:23::i;:::-;;4660:1;4651:6;:10;4647:69;;;4700:4;4678:9;:19;4688:8;4678:19;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;4647:69;4752:11;;4732:16;;:31;;4728:91;;;4803:4;4780:20;;:27;;;;;;;;;;;;;;;;;;4728:91;4847:19;4864:1;4847:12;4857:1;4847:5;;:9;;:12;;;;:::i;:::-;:16;;:19;;;;:::i;:::-;4839:5;:27;;;;4300:574;;:::o;2379:43::-;;;;;;;;;;;;;;;;;:::o;2560:22::-;;;;;;;;;;;;;:::o;2346:20::-;;;;:::o;1950:43::-;;;;;;;;;;;;;;;;;;;;:::o;2495:24::-;;;;:::o;6074:296::-;6141:12;6180:1;6170:6;:11;;:49;;;;;6218:1;6185:7;:19;6193:10;6185:19;;;;;;;;;;;;;;;:29;6205:8;6185:29;;;;;;;;;;;;;;;;:34;;6170:49;6166:72;;;6230:5;6223:12;;;;6166:72;6280:6;6248:7;:19;6256:10;6248:19;;;;;;;;;;;;;;;:29;6268:8;6248:29;;;;;;;;;;;;;;;:38;;;;6323:8;6302:38;;6311:10;6302:38;;;6333:6;6302:38;;;;;;;;;;;;;;;;;;6358:4;6351:11;;6074:296;;;;;:::o;2092:41::-;;;;:::o;2526:27::-;;;;;;;;;;;;;:::o;5527:535::-;5634:12;5610:6;5081:1;5074:4;:8;5055;;:15;;:27;;5048:35;;;;;;5682:1;5667:17;;:3;:17;;;;5659:26;;;;;;;;5715:8;:15;5724:5;5715:15;;;;;;;;;;;;;;;;5704:7;:26;;5696:35;;;;;;;;5761:7;:14;5769:5;5761:14;;;;;;;;;;;;;;;:26;5776:10;5761:26;;;;;;;;;;;;;;;;5750:7;:37;;5742:46;;;;;;;;5827:28;5847:7;5827:8;:15;5836:5;5827:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;5809:8;:15;5818:5;5809:15;;;;;;;;;;;;;;;:46;;;;5895:39;5926:7;5895;:14;5903:5;5895:14;;;;;;;;;;;;;;;:26;5910:10;5895:26;;;;;;;;;;;;;;;;:30;;:39;;;;:::i;:::-;5866:7;:14;5874:5;5866:14;;;;;;;;;;;;;;;:26;5881:10;5866:26;;;;;;;;;;;;;;;:68;;;;5961:26;5979:7;5961:8;:13;5970:3;5961:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;5945:8;:13;5954:3;5945:13;;;;;;;;;;;;;;;:42;;;;6019:3;6003:29;;6012:5;6003:29;;;6024:7;6003:29;;;;;;;;;;;;;;;;;;6050:4;6043:11;;5527:535;;;;;;:::o;2046:33::-;2078:1;2046:33;:::o;6755:139::-;6803:20;3119:5;;;;;;;;;;;3105:19;;:10;:19;;;3097:28;;;;;;;;6834:4;6826:21;;;6803:44;;6858:5;;;;;;;;;;;:14;;:28;6873:12;6858:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6858:28:0;6755:139;:::o;2265:30::-;;;;:::o;6906:345::-;7016:14;3119:5;;;;;;;;;;;3105:19;;:10;:19;;;3097:28;;;;;;;;6982:8;:20;6991:10;6982:20;;;;;;;;;;;;;;;;6972:6;:30;;6964:39;;;;;;;;7033:10;7016:27;;7073:28;7094:6;7073:8;:16;7082:6;7073:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;7054:8;:16;7063:6;7054:16;;;;;;;;;;;;;;;:47;;;;7126:23;7142:6;7126:11;;:15;;:23;;;;:::i;:::-;7112:11;:37;;;;7179:28;7200:6;7179:16;;:20;;:28;;;;:::i;:::-;7160:16;:47;;;;7228:6;7223:20;;;7236:6;7223:20;;;;;;;;;;;;;;;;;;6906:345;;:::o;4882:111::-;4942:7;4969:8;:16;4978:6;4969:16;;;;;;;;;;;;;;;;4962:23;;4882:111;;;:::o;2429:28::-;;;;:::o;2000:39::-;;;;;;;;;;;;;;;;;;;;:::o;3546:170::-;3611:4;3119:5;;;;;;;;;;;3105:19;;:10;:19;;;3097:28;;;;;;;;3012:20;;;;;;;;;;;3011:21;3003:30;;;;;;;;3651:4;3628:20;;:27;;;;;;;;;;;;;;;;;;3671:15;;;;;;;;;;3704:4;3697:11;;3546:170;:::o;5115:400::-;5203:12;5179:6;5081:1;5074:4;:8;5055;;:15;;:27;;5048:35;;;;;;5251:1;5236:17;;:3;:17;;;;5228:26;;;;;;;;5284:8;:20;5293:10;5284:20;;;;;;;;;;;;;;;;5273:7;:31;;5265:40;;;;;;;;5349:33;5374:7;5349:8;:20;5358:10;5349:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;5326:8;:20;5335:10;5326:20;;;;;;;;;;;;;;;:56;;;;5409:26;5427:7;5409:8;:13;5418:3;5409:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;5393:8;:13;5402:3;5393:13;;;;;;;;;;;;;;;:42;;;;5472:3;5451:34;;5460:10;5451:34;;;5477:7;5451:34;;;;;;;;;;;;;;;;;;5503:4;5496:11;;5115:400;;;;;:::o;2464:24::-;;;;:::o;2911:40::-;;;;;;;;;;;;;:::o;6532:211::-;6617:4;6633:14;6687:8;6663:12;6633:43;;6698:1;:11;;;6710:3;6698:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6698:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6698:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6698:16:0;;;;;;;;;;;;;;;;6687:27;;6732:3;6725:10;;6532:211;;;;;;:::o;2193:65::-;;;;:::o;6382:138::-;6460:7;6487;:15;6495:6;6487:15;;;;;;;;;;;;;;;:25;6503:8;6487:25;;;;;;;;;;;;;;;;6480:32;;6382:138;;;;:::o;2310:29::-;;;;:::o;7263:260::-;7344:4;7361:18;7421:14;3119:5;;;;;;;;;;;3105:19;;:10;:19;;;3097:28;;;;;;;;7395:14;7361:49;;7438:5;:15;;;7462:4;7438:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7438:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7438:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7438:30:0;;;;;;;;;;;;;;;;7421:47;;7486:5;:14;;;7501:5;;;;;;;;;;;7508:6;7486:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7486:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7486:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7486:29:0;;;;;;;;;;;;;;;;7479:36;;7263:260;;;;;:::o;2140:46::-;;;;:::o;3383:151::-;3119:5;;;;;;;;;;;3105:19;;:10;:19;;;3097:28;;;;;;;;3480:1;3460:22;;:8;:22;;;;3456:71;;;3507:8;3499:5;;:16;;;;;;;;;;;;;;;;;;3456:71;3383:151;:::o;1899:42::-;;;;;;;;;;;;;;;;;;;;;;:::o;3728:470::-;3799:4;3012:20;;;;;;;;;;;3011:21;3003:30;;;;;;;;3835:29;3856:7;3835:16;;:20;;:29;;;;:::i;:::-;3816:16;:48;;;;3892:27;3911:7;3892:14;;:18;;:27;;;;:::i;:::-;3875:14;:44;;;;3946:26;3964:7;3946:8;:13;3955:3;3946:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;3930:8;:13;3939:3;3930:13;;;;;;;;;;;;;;;:42;;;;3994:3;3988:19;;;3999:7;3988:19;;;;;;;;;;;;;;;;;;4044:3;4023:34;;4040:1;4023:34;;;4049:7;4023:34;;;;;;;;;;;;;;;;;;4075:4;4068:11;;3728:470;;;;:::o;203:112::-;261:7;277:9;293:1;289;:5;;;;;;;;277:17;;308:1;301:8;;203:112;;;;;:::o;50:147::-;108:7;124:9;140:1;136;:5;124:17;;160:1;155;:6;:20;;;;174:1;169;165;:5;;;;;;;;:10;155:20;148:28;;;;;;190:1;183:8;;50:147;;;;;:::o;321:113::-;379:7;407:1;402;:6;;395:14;;;;;;427:1;423;:5;416:12;;321:113;;;;:::o;440:133::-;498:7;514:9;530:1;526;:5;514:17;;550:1;545;:6;;538:14;;;;;;566:1;559:8;;440:133;;;;;:::o

bzzr://f1587dd3438ff97fc8e9db150412e4d377e66074eef8d7aefedfd0446df4ff02