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 2020-01-29
*/

interface OrFeedInterface {
    function getExchangeRate ( string fromSymbol, string toSymbol, string venue, uint256 amount ) external view returns ( uint256 );
    function getTokenDecimalCount ( address tokenAddress ) external view returns ( uint256 );
    function getTokenAddress ( string symbol ) external view returns ( address );
    function getSynthBytes32 ( string symbol ) external view returns ( bytes32 );
    function getForexAddress ( string symbol ) external view returns ( address );
}
library SafeMath {
  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal constant returns (uint256) {
    assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal constant returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}


contract Roulette {
    OrFeedInterface orfeed = OrFeedInterface(0x8316b082621cfedab95bf4a44a1d4b64a6ffc336);
    using SafeMath for uint256;
    address owner;
    uint256 maxBet = 110000000000000000;
    
    modifier onlyOwner() {
        assert (msg.sender == owner);
        _;
    }

    constructor() public payable {
        owner = msg.sender;
    }
    
    function play(string oddOrEven) payable returns (uint256 result){
        
        require(msg.value <= maxBet, "You must bet less than the maxBet");
        require(msg.value >  0, "You cant bet zero");
        require(this.balance >= msg.value.mul(2), "There is not enough in the house to allow this bet to take place");
        require(tx.origin == msg.sender, "smart contract cannot call this contract");
        string memory theColor = toLower(oddOrEven);
        bool userInputBool;
       if (equal(theColor, "even")){
           userInputBool = true;
       }
       else{
           theColor = "odd";
           userInputBool = false;
       }
       
       uint256 number = getSpinResult();
         bool theResult = checkEven(number);
         
        if(number == 0){
            Result(userInputBool, theResult, theColor, number, "LOSE");
            return number;
        }
        
       
        
        if(userInputBool != theResult ){
            Result(userInputBool, theResult, theColor, number, "LOSE");
            return number;
           
        }
        else{
             msg.sender.transfer(msg.value.mul(2));
            Result(userInputBool, theResult, theColor, number, "WIN");
            return number;
        }
        
    }
    
    function () onlyOwner payable{
        //add funds to house
    }
    
    function checkEven(uint256 testNo) internal pure returns(bool){
        uint256 remainder = testNo % 2;
        if(remainder == 0){
            return true;
        }
        else{
            return false;
        }
    }
    
function compare(string _a, string _b) internal returns (int) {
        bytes memory a = bytes(_a);
        bytes memory b = bytes(_b);
        uint minLength = a.length;
        if (b.length < minLength) minLength = b.length;
        //@todo unroll the loop into increments of 32 and do full 32 byte comparisons
        for (uint i = 0; i < minLength; i ++)
            if (a[i] < b[i])
                return -1;
            else if (a[i] > b[i])
                return 1;
        if (a.length < b.length)
            return -1;
        else if (a.length > b.length)
            return 1;
        else
            return 0;
    }
    
    function equal(string _a, string _b) internal returns (bool) {
        return compare(_a, _b) == 0;
    }
    
    function indexOf(string _haystack, string _needle) internal returns (int)
    {
        bytes memory h = bytes(_haystack);
        bytes memory n = bytes(_needle);
        if(h.length < 1 || n.length < 1 || (n.length > h.length)) 
            return -1;
        else if(h.length > (2**128 -1)) // since we have to be able to return -1 (if the char isn't found or input error), this function must return an "int" type with a max length of (2^128 - 1)
            return -1;                                  
        else
        {
            uint subindex = 0;
            for (uint i = 0; i < h.length; i ++)
            {
                if (h[i] == n[0]) // found the first char of b
                {
                    subindex = 1;
                    while(subindex < n.length && (i + subindex) < h.length && h[i + subindex] == n[subindex]) // search until the chars don't match or until we reach the end of a or b
                    {
                        subindex++;
                    }   
                    if(subindex == n.length)
                        return int(i);
                }
            }
            return -1;
        }   
    }
    function toLower(string str) internal returns (string) {
    bytes memory bStr = bytes(str);
    bytes memory bLower = new bytes(bStr.length);
    for (uint i = 0; i < bStr.length; i++) {
      if ((bStr[i] >= 65) && (bStr[i] <= 90)) {
        bLower[i] = bytes1(int(bStr[i]) + 32);
      } else {
        bLower[i] = bStr[i];
      }
    }
    return string(bLower);
  }
  
  function withdrawOwnerBalance(uint256 amount) onlyOwner returns(bool) {
      
        msg.sender.transfer(amount);
        return true;

    }
    
    function withdrawOwnerFullBalance() onlyOwner returns(bool) {
        uint amount = this.balance;
        msg.sender.transfer(amount);
        return true;

    }
    
    
    function changeMaxBet(uint256 newMax) onlyOwner returns(bool){
          maxBet = newMax;
          return true;
      }
      
     function getBlockNumber() constant returns(uint256){
         return block.number;
     }
     
     function getSpinResult() internal returns(uint256){
         uint256 number1 = orfeed.getExchangeRate("0", "36", "random", 0);
         return number1;
     }
     
     function getLastSpinResult() constant returns(uint256){
         uint256 number2 = orfeed.getExchangeRate("0", "36", "random", 0);
         return number2;
     }
      
    
event Result(bool inputBool, bool isNumEvenBool, string bet, uint256 numb, string result);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"withdrawOwnerBalance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getBlockNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"oddOrEven","type":"string"}],"name":"play","outputs":[{"name":"result","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[],"name":"withdrawOwnerFullBalance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newMax","type":"uint256"}],"name":"changeMaxBet","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getLastSpinResult","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":true,"stateMutability":"payable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"inputBool","type":"bool"},{"indexed":false,"name":"isNumEvenBool","type":"bool"},{"indexed":false,"name":"bet","type":"string"},{"indexed":false,"name":"numb","type":"uint256"},{"indexed":false,"name":"result","type":"string"}],"name":"Result","type":"event"}]

6080604052738316b082621cfedab95bf4a44a1d4b64a6ffc3366000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550670186cc6acd4b000060025533600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611490806100b46000396000f300608060405260043610610078576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680633c69c657146100d357806342cbb15c14610118578063718e6302146101435780639b4d2168146101b3578063ae47a290146101e2578063fc1ded0214610227575b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156100d157fe5b005b3480156100df57600080fd5b506100fe60048036038101908080359060200190929190505050610252565b604051808215151515815260200191505060405180910390f35b34801561012457600080fd5b5061012d6102fd565b6040518082815260200191505060405180910390f35b61019d600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050610305565b6040518082815260200191505060405180910390f35b3480156101bf57600080fd5b506101c86109cd565b604051808215151515815260200191505060405180910390f35b3480156101ee57600080fd5b5061020d60048036038101908080359060200190929190505050610a92565b604051808215151515815260200191505060405180910390f35b34801561023357600080fd5b5061023c610afd565b6040518082815260200191505060405180910390f35b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156102ad57fe5b3373ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156102f3573d6000803e3d6000fd5b5060019050919050565b600043905090565b60006060600080600060025434111515156103ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001807f596f75206d75737420626574206c657373207468616e20746865206d6178426581526020017f740000000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600034111515610426576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f752063616e7420626574207a65726f00000000000000000000000000000081525060200191505060405180910390fd5b61043a600234610c8090919063ffffffff16565b3073ffffffffffffffffffffffffffffffffffffffff1631101515156104ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260408152602001807f5468657265206973206e6f7420656e6f75676820696e2074686520686f75736581526020017f20746f20616c6c6f7720746869732062657420746f2074616b6520706c61636581525060400191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff161415156105b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001807f736d61727420636f6e74726163742063616e6e6f742063616c6c20746869732081526020017f636f6e747261637400000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6105c086610cb3565b9350610601846040805190810160405280600481526020017f6576656e00000000000000000000000000000000000000000000000000000000815250610fe5565b1561060f576001925061064c565b6040805190810160405280600381526020017f6f646400000000000000000000000000000000000000000000000000000000008152509350600092505b610654610ffb565b915061065f8261117e565b90506000821415610767577fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b838110156106ed5780820151818401526020810190506106d2565b50505050905090810190601f16801561071a5780820380516001836020036101000a031916815260200191505b50838103825260048152602001807f4c4f534500000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194506109c4565b801515831515141515610871577fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b838110156107f75780820151818401526020810190506107dc565b50505050905090810190601f1680156108245780820380516001836020036101000a031916815260200191505b50838103825260048152602001807f4c4f534500000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194506109c4565b3373ffffffffffffffffffffffffffffffffffffffff166108fc61089f600234610c8090919063ffffffff16565b9081150290604051600060405180830381858888f193505050501580156108ca573d6000803e3d6000fd5b507fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b8381101561094e578082015181840152602081019050610933565b50505050905090810190601f16801561097b5780820380516001836020036101000a031916815260200191505b50838103825260038152602001807f57494e0000000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194505b50505050919050565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a2957fe5b3073ffffffffffffffffffffffffffffffffffffffff163190503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610a89573d6000803e3d6000fd5b50600191505090565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610aed57fe5b8160028190555060019050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663667e939460006040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180806020018060200180602001858152602001848103845260018152602001807f3000000000000000000000000000000000000000000000000000000000000000815250602001848103835260028152602001807f3336000000000000000000000000000000000000000000000000000000000000815250602001848103825260068152602001807f72616e646f6d0000000000000000000000000000000000000000000000000000815250602001945050505050602060405180830381600087803b158015610c3c57600080fd5b505af1158015610c50573d6000803e3d6000fd5b505050506040513d6020811015610c6657600080fd5b810190808051906020019092919050505090508091505090565b60008082840290506000841480610ca15750828482811515610c9e57fe5b04145b1515610ca957fe5b8091505092915050565b6060806060600084925082516040519080825280601f01601f191660200182016040528015610cf15781602001602082028038833980820191505090505b509150600090505b8251811015610fda5760417f0100000000000000000000000000000000000000000000000000000000000000028382815181101515610d3457fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015610e4c5750605a7f0100000000000000000000000000000000000000000000000000000000000000028382815181101515610ddc57fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b15610f355760208382815181101515610e6157fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027f01000000000000000000000000000000000000000000000000000000000000009004017f0100000000000000000000000000000000000000000000000000000000000000028282815181101515610f0057fe5b9060200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350610fcd565b8281815181101515610f4357fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000028282815181101515610f9c57fe5b9060200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053505b8080600101915050610cf9565b819350505050919050565b600080610ff284846111ad565b14905092915050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663667e939460006040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180806020018060200180602001858152602001848103845260018152602001807f3000000000000000000000000000000000000000000000000000000000000000815250602001848103835260028152602001807f3336000000000000000000000000000000000000000000000000000000000000815250602001848103825260068152602001807f72616e646f6d0000000000000000000000000000000000000000000000000000815250602001945050505050602060405180830381600087803b15801561113a57600080fd5b505af115801561114e573d6000803e3d6000fd5b505050506040513d602081101561116457600080fd5b810190808051906020019092919050505090508091505090565b60008060028381151561118d57fe5b06905060008114156111a257600191506111a7565b600091505b50919050565b60006060806000808693508592508351915081835110156111cd57825191505b600090505b818110156114105782818151811015156111e857fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916848281518110151561126357fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156112fe577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff945061145a565b828181518110151561130c57fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916848281518110151561138757fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161115611403576001945061145a565b80806001019150506111d2565b825184511015611442577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff945061145a565b825184511115611455576001945061145a565b600094505b50505050929150505600a165627a7a723058206fab28ca7d3bc71771ac8c6bd7be332f4eef756d0bed0a9b1eb3b6da6275610c0029

0x608060405260043610610078576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680633c69c657146100d357806342cbb15c14610118578063718e6302146101435780639b4d2168146101b3578063ae47a290146101e2578063fc1ded0214610227575b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156100d157fe5b005b3480156100df57600080fd5b506100fe60048036038101908080359060200190929190505050610252565b604051808215151515815260200191505060405180910390f35b34801561012457600080fd5b5061012d6102fd565b6040518082815260200191505060405180910390f35b61019d600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050610305565b6040518082815260200191505060405180910390f35b3480156101bf57600080fd5b506101c86109cd565b604051808215151515815260200191505060405180910390f35b3480156101ee57600080fd5b5061020d60048036038101908080359060200190929190505050610a92565b604051808215151515815260200191505060405180910390f35b34801561023357600080fd5b5061023c610afd565b6040518082815260200191505060405180910390f35b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156102ad57fe5b3373ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156102f3573d6000803e3d6000fd5b5060019050919050565b600043905090565b60006060600080600060025434111515156103ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001807f596f75206d75737420626574206c657373207468616e20746865206d6178426581526020017f740000000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600034111515610426576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f752063616e7420626574207a65726f00000000000000000000000000000081525060200191505060405180910390fd5b61043a600234610c8090919063ffffffff16565b3073ffffffffffffffffffffffffffffffffffffffff1631101515156104ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260408152602001807f5468657265206973206e6f7420656e6f75676820696e2074686520686f75736581526020017f20746f20616c6c6f7720746869732062657420746f2074616b6520706c61636581525060400191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff161415156105b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001807f736d61727420636f6e74726163742063616e6e6f742063616c6c20746869732081526020017f636f6e747261637400000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6105c086610cb3565b9350610601846040805190810160405280600481526020017f6576656e00000000000000000000000000000000000000000000000000000000815250610fe5565b1561060f576001925061064c565b6040805190810160405280600381526020017f6f646400000000000000000000000000000000000000000000000000000000008152509350600092505b610654610ffb565b915061065f8261117e565b90506000821415610767577fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b838110156106ed5780820151818401526020810190506106d2565b50505050905090810190601f16801561071a5780820380516001836020036101000a031916815260200191505b50838103825260048152602001807f4c4f534500000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194506109c4565b801515831515141515610871577fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b838110156107f75780820151818401526020810190506107dc565b50505050905090810190601f1680156108245780820380516001836020036101000a031916815260200191505b50838103825260048152602001807f4c4f534500000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194506109c4565b3373ffffffffffffffffffffffffffffffffffffffff166108fc61089f600234610c8090919063ffffffff16565b9081150290604051600060405180830381858888f193505050501580156108ca573d6000803e3d6000fd5b507fd84d55f84963f7551b9cd6697dd57845db7e56baf197096f8636c11d7f1d81cd838286856040518085151515158152602001841515151581526020018060200183815260200180602001838103835285818151815260200191508051906020019080838360005b8381101561094e578082015181840152602081019050610933565b50505050905090810190601f16801561097b5780820380516001836020036101000a031916815260200191505b50838103825260038152602001807f57494e0000000000000000000000000000000000000000000000000000000000815250602001965050505050505060405180910390a18194505b50505050919050565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a2957fe5b3073ffffffffffffffffffffffffffffffffffffffff163190503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610a89573d6000803e3d6000fd5b50600191505090565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610aed57fe5b8160028190555060019050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663667e939460006040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180806020018060200180602001858152602001848103845260018152602001807f3000000000000000000000000000000000000000000000000000000000000000815250602001848103835260028152602001807f3336000000000000000000000000000000000000000000000000000000000000815250602001848103825260068152602001807f72616e646f6d0000000000000000000000000000000000000000000000000000815250602001945050505050602060405180830381600087803b158015610c3c57600080fd5b505af1158015610c50573d6000803e3d6000fd5b505050506040513d6020811015610c6657600080fd5b810190808051906020019092919050505090508091505090565b60008082840290506000841480610ca15750828482811515610c9e57fe5b04145b1515610ca957fe5b8091505092915050565b6060806060600084925082516040519080825280601f01601f191660200182016040528015610cf15781602001602082028038833980820191505090505b509150600090505b8251811015610fda5760417f0100000000000000000000000000000000000000000000000000000000000000028382815181101515610d3457fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015610e4c5750605a7f0100000000000000000000000000000000000000000000000000000000000000028382815181101515610ddc57fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b15610f355760208382815181101515610e6157fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027f01000000000000000000000000000000000000000000000000000000000000009004017f0100000000000000000000000000000000000000000000000000000000000000028282815181101515610f0057fe5b9060200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350610fcd565b8281815181101515610f4357fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000028282815181101515610f9c57fe5b9060200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053505b8080600101915050610cf9565b819350505050919050565b600080610ff284846111ad565b14905092915050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663667e939460006040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180806020018060200180602001858152602001848103845260018152602001807f3000000000000000000000000000000000000000000000000000000000000000815250602001848103835260028152602001807f3336000000000000000000000000000000000000000000000000000000000000815250602001848103825260068152602001807f72616e646f6d0000000000000000000000000000000000000000000000000000815250602001945050505050602060405180830381600087803b15801561113a57600080fd5b505af115801561114e573d6000803e3d6000fd5b505050506040513d602081101561116457600080fd5b810190808051906020019092919050505090508091505090565b60008060028381151561118d57fe5b06905060008114156111a257600191506111a7565b600091505b50919050565b60006060806000808693508592508351915081835110156111cd57825191505b600090505b818110156114105782818151811015156111e857fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916848281518110151561126357fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156112fe577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff945061145a565b828181518110151561130c57fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916848281518110151561138757fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161115611403576001945061145a565b80806001019150506111d2565b825184511015611442577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff945061145a565b825184511115611455576001945061145a565b600094505b50505050929150505600a165627a7a723058206fab28ca7d3bc71771ac8c6bd7be332f4eef756d0bed0a9b1eb3b6da6275610c0029

1232:5418:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1503:5;;;;;;;;;;;1489:19;;:10;:19;;;1481:28;;;;;;1232:5418;5613:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5613:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6096:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6096:91:0;;;;;;;;;;;;;;;;;;;;;;;1615:1305;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5773:167;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5773:167:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5958:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5958:123:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6376:165;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6376:165:0;;;;;;;;;;;;;;;;;;;;;;;5613:148;5677:4;1503:5;;;;;;;;;;;1489:19;;:10;:19;;;1481:28;;;;;;5702:10;:19;;:27;5722:6;5702:27;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5702:27:0;5747:4;5740:11;;5613:148;;;:::o;6096:91::-;6139:7;6166:12;6159:19;;6096:91;:::o;1615:1305::-;1664:14;2038:22;2092:18;2300:14;2344;1721:6;;1708:9;:19;;1700:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1797:1;1784:9;:14;1776:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1855:16;1869:1;1855:9;:13;;:16;;;;:::i;:::-;1839:4;:12;;;:32;;1831:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1972:10;1959:23;;:9;:23;;;1951:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2063:18;2071:9;2063:7;:18::i;:::-;2038:43;;2124:23;2130:8;2124:23;;;;;;;;;;;;;;;;;;:5;:23::i;:::-;2120:162;;;2178:4;2162:20;;2120:162;;;2220:16;;;;;;;;;;;;;;;;;;;;2266:5;2250:21;;2120:162;2317:15;:13;:15::i;:::-;2300:32;;2361:17;2371:6;2361:9;:17::i;:::-;2344:34;;2413:1;2403:6;:11;2400:128;;;2430:58;2437:13;2452:9;2463:8;2473:6;2430:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2430:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2510:6;2503:13;;;;2400:128;2587:9;2570:26;;:13;:26;;;;2567:336;;;2613:58;2620:13;2635:9;2646:8;2656:6;2613:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2613:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2693:6;2686:13;;;;2567:336;2754:10;:19;;:37;2774:16;2788:1;2774:9;:13;;:16;;;;:::i;:::-;2754:37;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2754:37:0;2806:57;2813:13;2828:9;2839:8;2849:6;2806:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2806:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2885:6;2878:13;;1615:1305;;;;;;;;:::o;5773:167::-;5827:4;5844:11;1503:5;;;;;;;;;;;1489:19;;:10;:19;;;1481:28;;;;;;5858:4;:12;;;5844:26;;5881:10;:19;;:27;5901:6;5881:27;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5881:27:0;5926:4;5919:11;;5773:167;;:::o;5958:123::-;6014:4;1503:5;;;;;;;;;;;1489:19;;:10;:19;;;1481:28;;;;;;6041:6;6032;:15;;;;6067:4;6060:11;;5958:123;;;:::o;6376:165::-;6422:7;6442:15;6460:6;;;;;;;;;;;:22;;;6504:1;6460:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6460:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6460:46:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6460:46:0;;;;;;;;;;;;;;;;6442:64;;6525:7;6518:14;;6376:165;;:::o;532:151::-;594:7;610:9;626:1;622;:5;610:17;;646:1;641;:6;:20;;;;660:1;655;651;:5;;;;;;;;:10;641:20;634:28;;;;;;676:1;669:8;;532:151;;;;;:::o;5223:382::-;5270:6;5285:17;5322:19;5378:6;5311:3;5285:30;;5354:4;:11;5344:22;;;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;5344:22:0;;;;5322:44;;5387:1;5378:10;;5373:199;5394:4;:11;5390:1;:15;5373:199;;;5437:2;5426:13;;:4;5431:1;5426:7;;;;;;;;;;;;;;;;;;;;:13;;;;;5425:34;;;;;5456:2;5445:13;;:4;5450:1;5445:7;;;;;;;;;;;;;;;;;;;;:13;;;;;5425:34;5421:144;;;5506:2;5495:4;5500:1;5495:7;;;;;;;;;;;;;;;;;;;;5491:12;;;:17;5484:25;;5472:6;5479:1;5472:9;;;;;;;;;;;;;;:37;;;;;;;;;;;5421:144;;;5548:4;5553:1;5548:7;;;;;;;;;;;;;;;;;;;;5536:6;5543:1;5536:9;;;;;;;;;;;;;;:19;;;;;;;;;;;5421:144;5407:3;;;;;;;5373:199;;;5592:6;5578:21;;5223:382;;;;;;:::o;3909:107::-;3964:4;4007:1;3988:15;3996:2;4000;3988:7;:15::i;:::-;:20;3981:27;;3909:107;;;;:::o;6201:161::-;6243:7;6263:15;6281:6;;;;;;;;;;;:22;;;6325:1;6281:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6281:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6281:46:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6281:46:0;;;;;;;;;;;;;;;;6263:64;;6346:7;6339:14;;6201:161;;:::o;3011:230::-;3068:4;3084:17;3113:1;3104:6;:10;;;;;;;;3084:30;;3141:1;3128:9;:14;3125:109;;;3165:4;3158:11;;;;3125:109;3217:5;3210:12;;3011:230;;;;;:::o;3249:648::-;3306:3;3322:14;3359;3396;3581:6;3345:2;3322:26;;3382:2;3359:26;;3413:1;:8;3396:25;;3447:9;3436:1;:8;:20;3432:46;;;3470:1;:8;3458:20;;3432:46;3590:1;3581:10;;3576:156;3597:9;3593:1;:13;3576:156;;;3638:1;3640;3638:4;;;;;;;;;;;;;;;;;;;;3631:11;;;:1;3633;3631:4;;;;;;;;;;;;;;;;;;;;:11;;;;3627:105;;;3668:2;3661:9;;;;3627:105;3701:1;3703;3701:4;;;;;;;;;;;;;;;;;;;;3694:11;;;:1;3696;3694:4;;;;;;;;;;;;;;;;;;;;:11;;;;3690:42;;;3731:1;3724:8;;;;3690:42;3608:4;;;;;;;3576:156;;;3758:1;:8;3747:1;:8;:19;3743:146;;;3788:2;3781:9;;;;3743:146;3821:1;:8;3810:1;:8;:19;3806:83;;;3851:1;3844:8;;;;3806:83;3888:1;3881:8;;3249:648;;;;;;;;;:::o

bzzr://6fab28ca7d3bc71771ac8c6bd7be332f4eef756d0bed0a9b1eb3b6da6275610c