Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract OraclizeI
•    - function query(uint _timestamp, strin ...
•    - function query_withGasLimit(uint _tim ...
•    - function query2(uint _timestamp, stri ...
•    - function query2_withGasLimit(uint _ti ...
•    - function queryN(uint _timestamp, stri ...
•    - function queryN_withGasLimit(uint _ti ...
•    - function getPrice(string _datasource)
•    - function getPrice(string _datasource, ...
•    - function useCoupon(string _coupon)
•    - function setProofType(byte _proofType ...
•    - function setConfig(bytes32 _config)
•    - function setCustomGasPrice(uint _gasP ...
•    - function randomDS_getSessionPubKeyHas ...
•  contract OraclizeAddrResolverI
•    - function getAddress()
•  contract usingOraclize
•    - function oraclize_setNetwork(uint8 ne ...
•    - function __callback(bytes32 myid, str ...
•    - function __callback(bytes32 myid, str ...
•    - function oraclize_useCoupon(string co ...
•    - function oraclize_getPrice(string dat ...
•    - function oraclize_getPrice(string dat ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(uint timestam ...
•    - function oraclize_query(string dataso ...
•    - function oraclize_cbAddress()
•    - function oraclize_setProof(byte proof ...
•    - function oraclize_setCustomGasPrice(u ...
•    - function oraclize_setConfig(bytes32 c ...
•    - function oraclize_randomDS_getSession ...
•    - function getCodeSize(address _addr)
•    - function parseAddr(string _a)
•    - function strCompare(string _a, string ...
•    - function indexOf(string _haystack, st ...
•    - function strConcat(string _a, string ...
•    - function strConcat(string _a, string ...
•    - function strConcat(string _a, string ...
•    - function strConcat(string _a, string ...
•    - function parseInt(string _a)
•    - function parseInt(string _a, uint _b)
•    - function uint2str(uint i)
•    - function stra2cbor(string[] arr)
•    - function ba2cbor(bytes[] arr)
•    - function oraclize_setNetworkName(stri ...
•    - function oraclize_getNetworkName()
•    - function oraclize_newRandomDSQuery(ui ...
•    - function oraclize_randomDS_setCommitm ...
•    - function verifySig(bytes32 tosignh, b ...
•    - function oraclize_randomDS_proofVerif ...
•    - function oraclize_randomDS_proofVerif ...
•    - function matchBytes32Prefix(bytes32 c ...
•    - function oraclize_randomDS_proofVerif ...
•    - function copyBytes(bytes from, uint f ...
•    - function safer_ecrecover(bytes32 hash ...
•    - function ecrecovery(bytes32 hash, byt ...
• library strings
•    - function memcpy(uint dest, uint src, ...
•    - function toSlice(string self)
•    - function len(bytes32 self)
•    - function toSliceB32(bytes32 self)
•    - function copy(slice self)
•    - function toString(slice self)
•    - function len(slice self)
•    - function empty(slice self)
•    - function compare(slice self, slice ot ...
•    - function equals(slice self, slice oth ...
•    - function nextRune(slice self, slice r ...
•    - function nextRune(slice self)
•    - function ord(slice self)
•    - function keccak(slice self)
•    - function startsWith(slice self, slice ...
•    - function beyond(slice self, slice nee ...
•    - function endsWith(slice self, slice n ...
•    - function until(slice self, slice need ...
•    - function findPtr(uint selflen, uint s ...
•    - function rfindPtr(uint selflen, uint ...
•    - function find(slice self, slice needl ...
•    - function rfind(slice self, slice need ...
•    - function split(slice self, slice need ...
•    - function split(slice self, slice need ...
•    - function rsplit(slice self, slice nee ...
•    - function rsplit(slice self, slice nee ...
•    - function count(slice self, slice need ...
•    - function contains(slice self, slice n ...
•    - function concat(slice self, slice oth ...
•    - function join(slice self, slice[] par ...
•  contract DSSafeAddSub
•    - function safeToAdd(uint a, uint b)
•    - function safeAdd(uint a, uint b)
•    - function safeToSubtract(uint a, uint ...
•    - function safeSub(uint a, uint b)
•  contract Etheroll is usingOraclize ... *
•    - function Etheroll()
•    - function playerRollDice(uint rollUnde ...
•    - function __callback(bytes32 myid, str ...
•    - function playerWithdrawPendingTransac ...
•    - function playerGetPendingTxByAddress( ...
•    - function setMaxProfit()
•    - function ownerSetCallbackGasPrice(uin ...
•    - function ownerSetOraclizeSafeGas(uint ...
•    - function ownerUpdateContractBalance(u ...
•    - function ownerSetHouseEdge(uint newHo ...
•    - function ownerSetMaxProfitAsPercentOf ...
•    - function ownerSetMinBet(uint newMinim ...
•    - function ownerTransferEther(address s ...
•    - function ownerRefundPlayer(bytes32 or ...
•    - function ownerPauseGame(bool newStatu ...
•    - function ownerPausePayouts(bool newPa ...
•    - function ownerSetTreasury(address new ...
•    - function ownerChangeOwner(address new ...
•    - function ownerkill()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-05-26
*/

pragma solidity ^0.4.24;

// <ORACLIZE_API>
/*
Copyright (c) 2015-2016 Oraclize SRL
Copyright (c) 2016 Oraclize LTD



Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:



The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.



THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
*/

contract OraclizeI {
    address public cbAddress;
    function query(uint _timestamp, string _datasource, string _arg) payable returns (bytes32 _id);
    function query_withGasLimit(uint _timestamp, string _datasource, string _arg, uint _gaslimit) payable returns (bytes32 _id);
    function query2(uint _timestamp, string _datasource, string _arg1, string _arg2) payable returns (bytes32 _id);
    function query2_withGasLimit(uint _timestamp, string _datasource, string _arg1, string _arg2, uint _gaslimit) payable returns (bytes32 _id);
    function queryN(uint _timestamp, string _datasource, bytes _argN) payable returns (bytes32 _id);
    function queryN_withGasLimit(uint _timestamp, string _datasource, bytes _argN, uint _gaslimit) payable returns (bytes32 _id);
    function getPrice(string _datasource) returns (uint _dsprice);
    function getPrice(string _datasource, uint gaslimit) returns (uint _dsprice);
    function useCoupon(string _coupon);
    function setProofType(byte _proofType);
    function setConfig(bytes32 _config);
    function setCustomGasPrice(uint _gasPrice);
    function randomDS_getSessionPubKeyHash() returns(bytes32);
}
contract OraclizeAddrResolverI {
    function getAddress() returns (address _addr);
}
contract usingOraclize {
    uint constant day = 60*60*24;
    uint constant week = 60*60*24*7;
    uint constant month = 60*60*24*30;
    byte constant proofType_NONE = 0x00;
    byte constant proofType_TLSNotary = 0x10;
    byte constant proofType_Android = 0x20;
    byte constant proofType_Ledger = 0x30;
    byte constant proofType_Native = 0xF0;
    byte constant proofStorage_IPFS = 0x01;
    uint8 constant networkID_auto = 0;
    uint8 constant networkID_mainnet = 1;
    uint8 constant networkID_testnet = 2;
    uint8 constant networkID_morden = 2;
    uint8 constant networkID_consensys = 161;

    OraclizeAddrResolverI OAR;

    OraclizeI oraclize;
    modifier oraclizeAPI {
        if((address(OAR)==0)||(getCodeSize(address(OAR))==0))
            oraclize_setNetwork(networkID_auto);

        if(address(oraclize) != OAR.getAddress())
            oraclize = OraclizeI(OAR.getAddress());

        _;
    }
    modifier coupon(string code){
        oraclize = OraclizeI(OAR.getAddress());
        oraclize.useCoupon(code);
        _;
    }

    function oraclize_setNetwork(uint8 networkID) internal returns(bool){
        if (getCodeSize(0x1d3B2638a7cC9f2CB3D298A3DA7a90B67E5506ed)>0){ //mainnet
            OAR = OraclizeAddrResolverI(0x1d3B2638a7cC9f2CB3D298A3DA7a90B67E5506ed);
            oraclize_setNetworkName("eth_mainnet");
            return true;
        }
        if (getCodeSize(0xc03A2615D5efaf5F49F60B7BB6583eaec212fdf1)>0){ //ropsten testnet
            OAR = OraclizeAddrResolverI(0xc03A2615D5efaf5F49F60B7BB6583eaec212fdf1);
            oraclize_setNetworkName("eth_ropsten3");
            return true;
        }
        if (getCodeSize(0xB7A07BcF2Ba2f2703b24C0691b5278999C59AC7e)>0){ //kovan testnet
            OAR = OraclizeAddrResolverI(0xB7A07BcF2Ba2f2703b24C0691b5278999C59AC7e);
            oraclize_setNetworkName("eth_kovan");
            return true;
        }
        if (getCodeSize(0x146500cfd35B22E4A392Fe0aDc06De1a1368Ed48)>0){ //rinkeby testnet
            OAR = OraclizeAddrResolverI(0x146500cfd35B22E4A392Fe0aDc06De1a1368Ed48);
            oraclize_setNetworkName("eth_rinkeby");
            return true;
        }
        if (getCodeSize(0x6f485C8BF6fc43eA212E93BBF8ce046C7f1cb475)>0){ //ethereum-bridge
            OAR = OraclizeAddrResolverI(0x6f485C8BF6fc43eA212E93BBF8ce046C7f1cb475);
            return true;
        }
        if (getCodeSize(0x20e12A1F859B3FeaE5Fb2A0A32C18F5a65555bBF)>0){ //ether.camp ide
            OAR = OraclizeAddrResolverI(0x20e12A1F859B3FeaE5Fb2A0A32C18F5a65555bBF);
            return true;
        }
        if (getCodeSize(0x51efaF4c8B3C9AfBD5aB9F4bbC82784Ab6ef8fAA)>0){ //browser-solidity
            OAR = OraclizeAddrResolverI(0x51efaF4c8B3C9AfBD5aB9F4bbC82784Ab6ef8fAA);
            return true;
        }
        return false;
    }

    function __callback(bytes32 myid, string result) {
        __callback(myid, result, new bytes(0));
    }
    function __callback(bytes32 myid, string result, bytes proof) {
    }
    
    function oraclize_useCoupon(string code) oraclizeAPI internal {
        oraclize.useCoupon(code);
    }

    function oraclize_getPrice(string datasource) oraclizeAPI internal returns (uint){
        return oraclize.getPrice(datasource);
    }

    function oraclize_getPrice(string datasource, uint gaslimit) oraclizeAPI internal returns (uint){
        return oraclize.getPrice(datasource, gaslimit);
    }
    
    function oraclize_query(string datasource, string arg) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        return oraclize.query.value(price)(0, datasource, arg);
    }
    function oraclize_query(uint timestamp, string datasource, string arg) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        return oraclize.query.value(price)(timestamp, datasource, arg);
    }
    function oraclize_query(uint timestamp, string datasource, string arg, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        return oraclize.query_withGasLimit.value(price)(timestamp, datasource, arg, gaslimit);
    }
    function oraclize_query(string datasource, string arg, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        return oraclize.query_withGasLimit.value(price)(0, datasource, arg, gaslimit);
    }
    function oraclize_query(string datasource, string arg1, string arg2) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        return oraclize.query2.value(price)(0, datasource, arg1, arg2);
    }
    function oraclize_query(uint timestamp, string datasource, string arg1, string arg2) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        return oraclize.query2.value(price)(timestamp, datasource, arg1, arg2);
    }
    function oraclize_query(uint timestamp, string datasource, string arg1, string arg2, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        return oraclize.query2_withGasLimit.value(price)(timestamp, datasource, arg1, arg2, gaslimit);
    }
    function oraclize_query(string datasource, string arg1, string arg2, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        return oraclize.query2_withGasLimit.value(price)(0, datasource, arg1, arg2, gaslimit);
    }
    function oraclize_query(string datasource, string[] argN) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        bytes memory args = stra2cbor(argN);
        return oraclize.queryN.value(price)(0, datasource, args);
    }
    function oraclize_query(uint timestamp, string datasource, string[] argN) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        bytes memory args = stra2cbor(argN);
        return oraclize.queryN.value(price)(timestamp, datasource, args);
    }
    function oraclize_query(uint timestamp, string datasource, string[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        bytes memory args = stra2cbor(argN);
        return oraclize.queryN_withGasLimit.value(price)(timestamp, datasource, args, gaslimit);
    }
    function oraclize_query(string datasource, string[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        bytes memory args = stra2cbor(argN);
        return oraclize.queryN_withGasLimit.value(price)(0, datasource, args, gaslimit);
    }
    function oraclize_query(string datasource, string[1] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](1);
        dynargs[0] = args[0];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[1] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](1);
        dynargs[0] = args[0];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[1] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](1);
        dynargs[0] = args[0];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[1] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](1);
        dynargs[0] = args[0];       
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    
    function oraclize_query(string datasource, string[2] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[2] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[2] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[2] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[3] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[3] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[3] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[3] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    
    function oraclize_query(string datasource, string[4] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[4] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[4] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[4] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[5] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[5] args) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, string[5] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, string[5] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        string[] memory dynargs = new string[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[] argN) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        bytes memory args = ba2cbor(argN);
        return oraclize.queryN.value(price)(0, datasource, args);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[] argN) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource);
        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
        bytes memory args = ba2cbor(argN);
        return oraclize.queryN.value(price)(timestamp, datasource, args);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        bytes memory args = ba2cbor(argN);
        return oraclize.queryN_withGasLimit.value(price)(timestamp, datasource, args, gaslimit);
    }
    function oraclize_query(string datasource, bytes[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
        uint price = oraclize.getPrice(datasource, gaslimit);
        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
        bytes memory args = ba2cbor(argN);
        return oraclize.queryN_withGasLimit.value(price)(0, datasource, args, gaslimit);
    }
    function oraclize_query(string datasource, bytes[1] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](1);
        dynargs[0] = args[0];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[1] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](1);
        dynargs[0] = args[0];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[1] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](1);
        dynargs[0] = args[0];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[1] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](1);
        dynargs[0] = args[0];       
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    
    function oraclize_query(string datasource, bytes[2] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[2] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[2] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[2] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](2);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[3] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[3] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[3] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[3] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](3);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    
    function oraclize_query(string datasource, bytes[4] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[4] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[4] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[4] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](4);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        return oraclize_query(datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[5] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[5] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[5] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(timestamp, datasource, dynargs, gaslimit);
    }
    function oraclize_query(string datasource, bytes[5] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(datasource, dynargs, gaslimit);
    }

    function oraclize_cbAddress() oraclizeAPI internal returns (address){
        return oraclize.cbAddress();
    }
    function oraclize_setProof(byte proofP) oraclizeAPI internal {
        return oraclize.setProofType(proofP);
    }
    function oraclize_setCustomGasPrice(uint gasPrice) oraclizeAPI internal {
        return oraclize.setCustomGasPrice(gasPrice);
    }
    function oraclize_setConfig(bytes32 config) oraclizeAPI internal {
        return oraclize.setConfig(config);
    }
    
    function oraclize_randomDS_getSessionPubKeyHash() oraclizeAPI internal returns (bytes32){
        return oraclize.randomDS_getSessionPubKeyHash();
    }

    function getCodeSize(address _addr) constant internal returns(uint _size) {
        assembly {
            _size := extcodesize(_addr)
        }
    }

    function parseAddr(string _a) internal returns (address){
        bytes memory tmp = bytes(_a);
        uint160 iaddr = 0;
        uint160 b1;
        uint160 b2;
        for (uint i=2; i<2+2*20; i+=2){
            iaddr *= 256;
            b1 = uint160(tmp[i]);
            b2 = uint160(tmp[i+1]);
            if ((b1 >= 97)&&(b1 <= 102)) b1 -= 87;
            else if ((b1 >= 65)&&(b1 <= 70)) b1 -= 55;
            else if ((b1 >= 48)&&(b1 <= 57)) b1 -= 48;
            if ((b2 >= 97)&&(b2 <= 102)) b2 -= 87;
            else if ((b2 >= 65)&&(b2 <= 70)) b2 -= 55;
            else if ((b2 >= 48)&&(b2 <= 57)) b2 -= 48;
            iaddr += (b1*16+b2);
        }
        return address(iaddr);
    }

    function strCompare(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;
        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 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))
            return -1;
        else
        {
            uint subindex = 0;
            for (uint i = 0; i < h.length; i ++)
            {
                if (h[i] == n[0])
                {
                    subindex = 1;
                    while(subindex < n.length && (i + subindex) < h.length && h[i + subindex] == n[subindex])
                    {
                        subindex++;
                    }
                    if(subindex == n.length)
                        return int(i);
                }
            }
            return -1;
        }
    }

    function strConcat(string _a, string _b, string _c, string _d, string _e) internal returns (string) {
        bytes memory _ba = bytes(_a);
        bytes memory _bb = bytes(_b);
        bytes memory _bc = bytes(_c);
        bytes memory _bd = bytes(_d);
        bytes memory _be = bytes(_e);
        string memory abcde = new string(_ba.length + _bb.length + _bc.length + _bd.length + _be.length);
        bytes memory babcde = bytes(abcde);
        uint k = 0;
        for (uint i = 0; i < _ba.length; i++) babcde[k++] = _ba[i];
        for (i = 0; i < _bb.length; i++) babcde[k++] = _bb[i];
        for (i = 0; i < _bc.length; i++) babcde[k++] = _bc[i];
        for (i = 0; i < _bd.length; i++) babcde[k++] = _bd[i];
        for (i = 0; i < _be.length; i++) babcde[k++] = _be[i];
        return string(babcde);
    }

    function strConcat(string _a, string _b, string _c, string _d) internal returns (string) {
        return strConcat(_a, _b, _c, _d, "");
    }

    function strConcat(string _a, string _b, string _c) internal returns (string) {
        return strConcat(_a, _b, _c, "", "");
    }

    function strConcat(string _a, string _b) internal returns (string) {
        return strConcat(_a, _b, "", "", "");
    }

    // parseInt
    function parseInt(string _a) internal returns (uint) {
        return parseInt(_a, 0);
    }

    // parseInt(parseFloat*10^_b)
    function parseInt(string _a, uint _b) internal returns (uint) {
        bytes memory bresult = bytes(_a);
        uint mint = 0;
        bool decimals = false;
        for (uint i=0; i<bresult.length; i++){
            if ((bresult[i] >= 48)&&(bresult[i] <= 57)){
                if (decimals){
                   if (_b == 0) break;
                    else _b--;
                }
                mint *= 10;
                mint += uint(bresult[i]) - 48;
            } else if (bresult[i] == 46) decimals = true;
        }
        if (_b > 0) mint *= 10**_b;
        return mint;
    }

    function uint2str(uint i) internal returns (string){
        if (i == 0) return "0";
        uint j = i;
        uint len;
        while (j != 0){
            len++;
            j /= 10;
        }
        bytes memory bstr = new bytes(len);
        uint k = len - 1;
        while (i != 0){
            bstr[k--] = byte(48 + i % 10);
            i /= 10;
        }
        return string(bstr);
    }
    
    function stra2cbor(string[] arr) internal returns (bytes) {
            uint arrlen = arr.length;

            // get correct cbor output length
            uint outputlen = 0;
            bytes[] memory elemArray = new bytes[](arrlen);
            for (uint i = 0; i < arrlen; i++) {
                elemArray[i] = (bytes(arr[i]));
                outputlen += elemArray[i].length + (elemArray[i].length - 1)/23 + 3; //+3 accounts for paired identifier types
            }
            uint ctr = 0;
            uint cborlen = arrlen + 0x80;
            outputlen += byte(cborlen).length;
            bytes memory res = new bytes(outputlen);

            while (byte(cborlen).length > ctr) {
                res[ctr] = byte(cborlen)[ctr];
                ctr++;
            }
            for (i = 0; i < arrlen; i++) {
                res[ctr] = 0x5F;
                ctr++;
                for (uint x = 0; x < elemArray[i].length; x++) {
                    // if there's a bug with larger strings, this may be the culprit
                    if (x % 23 == 0) {
                        uint elemcborlen = elemArray[i].length - x >= 24 ? 23 : elemArray[i].length - x;
                        elemcborlen += 0x40;
                        uint lctr = ctr;
                        while (byte(elemcborlen).length > ctr - lctr) {
                            res[ctr] = byte(elemcborlen)[ctr - lctr];
                            ctr++;
                        }
                    }
                    res[ctr] = elemArray[i][x];
                    ctr++;
                }
                res[ctr] = 0xFF;
                ctr++;
            }
            return res;
        }

    function ba2cbor(bytes[] arr) internal returns (bytes) {
            uint arrlen = arr.length;

            // get correct cbor output length
            uint outputlen = 0;
            bytes[] memory elemArray = new bytes[](arrlen);
            for (uint i = 0; i < arrlen; i++) {
                elemArray[i] = (bytes(arr[i]));
                outputlen += elemArray[i].length + (elemArray[i].length - 1)/23 + 3; //+3 accounts for paired identifier types
            }
            uint ctr = 0;
            uint cborlen = arrlen + 0x80;
            outputlen += byte(cborlen).length;
            bytes memory res = new bytes(outputlen);

            while (byte(cborlen).length > ctr) {
                res[ctr] = byte(cborlen)[ctr];
                ctr++;
            }
            for (i = 0; i < arrlen; i++) {
                res[ctr] = 0x5F;
                ctr++;
                for (uint x = 0; x < elemArray[i].length; x++) {
                    // if there's a bug with larger strings, this may be the culprit
                    if (x % 23 == 0) {
                        uint elemcborlen = elemArray[i].length - x >= 24 ? 23 : elemArray[i].length - x;
                        elemcborlen += 0x40;
                        uint lctr = ctr;
                        while (byte(elemcborlen).length > ctr - lctr) {
                            res[ctr] = byte(elemcborlen)[ctr - lctr];
                            ctr++;
                        }
                    }
                    res[ctr] = elemArray[i][x];
                    ctr++;
                }
                res[ctr] = 0xFF;
                ctr++;
            }
            return res;
        }
        
        
    string oraclize_network_name;
    function oraclize_setNetworkName(string _network_name) internal {
        oraclize_network_name = _network_name;
    }
    
    function oraclize_getNetworkName() internal returns (string) {
        return oraclize_network_name;
    }
    
    function oraclize_newRandomDSQuery(uint _delay, uint _nbytes, uint _customGasLimit) internal returns (bytes32){
        if ((_nbytes == 0)||(_nbytes > 32)) throw;
        bytes memory nbytes = new bytes(1);
        nbytes[0] = byte(_nbytes);
        bytes memory unonce = new bytes(32);
        bytes memory sessionKeyHash = new bytes(32);
        bytes32 sessionKeyHash_bytes32 = oraclize_randomDS_getSessionPubKeyHash();
        assembly {
            mstore(unonce, 0x20)
            mstore(add(unonce, 0x20), xor(blockhash(sub(number, 1)), xor(coinbase, timestamp)))
            mstore(sessionKeyHash, 0x20)
            mstore(add(sessionKeyHash, 0x20), sessionKeyHash_bytes32)
        }
        bytes[3] memory args = [unonce, nbytes, sessionKeyHash]; 
        bytes32 queryId = oraclize_query(_delay, "random", args, _customGasLimit);
        oraclize_randomDS_setCommitment(queryId, sha3(bytes8(_delay), args[1], sha256(args[0]), args[2]));
        return queryId;
    }
    
    function oraclize_randomDS_setCommitment(bytes32 queryId, bytes32 commitment) internal {
        oraclize_randomDS_args[queryId] = commitment;
    }
    
    mapping(bytes32=>bytes32) oraclize_randomDS_args;
    mapping(bytes32=>bool) oraclize_randomDS_sessionKeysHashVerified;

    function verifySig(bytes32 tosignh, bytes dersig, bytes pubkey) internal returns (bool){
        bool sigok;
        address signer;
        
        bytes32 sigr;
        bytes32 sigs;
        
        bytes memory sigr_ = new bytes(32);
        uint offset = 4+(uint(dersig[3]) - 0x20);
        sigr_ = copyBytes(dersig, offset, 32, sigr_, 0);
        bytes memory sigs_ = new bytes(32);
        offset += 32 + 2;
        sigs_ = copyBytes(dersig, offset+(uint(dersig[offset-1]) - 0x20), 32, sigs_, 0);

        assembly {
            sigr := mload(add(sigr_, 32))
            sigs := mload(add(sigs_, 32))
        }
        
        
        (sigok, signer) = safer_ecrecover(tosignh, 27, sigr, sigs);
        if (address(sha3(pubkey)) == signer) return true;
        else {
            (sigok, signer) = safer_ecrecover(tosignh, 28, sigr, sigs);
            return (address(sha3(pubkey)) == signer);
        }
    }

    function oraclize_randomDS_proofVerify__sessionKeyValidity(bytes proof, uint sig2offset) internal returns (bool) {
        bool sigok;
        
        // Step 6: verify the attestation signature, APPKEY1 must sign the sessionKey from the correct ledger app (CODEHASH)
        bytes memory sig2 = new bytes(uint(proof[sig2offset+1])+2);
        copyBytes(proof, sig2offset, sig2.length, sig2, 0);
        
        bytes memory appkey1_pubkey = new bytes(64);
        copyBytes(proof, 3+1, 64, appkey1_pubkey, 0);
        
        bytes memory tosign2 = new bytes(1+65+32);
        tosign2[0] = 1; //role
        copyBytes(proof, sig2offset-65, 65, tosign2, 1);
        bytes memory CODEHASH = hex"fd94fa71bc0ba10d39d464d0d8f465efeef0a2764e3887fcc9df41ded20f505c";
        copyBytes(CODEHASH, 0, 32, tosign2, 1+65);
        sigok = verifySig(sha256(tosign2), sig2, appkey1_pubkey);
        
        if (sigok == false) return false;
        
        
        // Step 7: verify the APPKEY1 provenance (must be signed by Ledger)
        bytes memory LEDGERKEY = hex"7fb956469c5c9b89840d55b43537e66a98dd4811ea0a27224272c2e5622911e8537a2f8e86a46baec82864e98dd01e9ccc2f8bc5dfc9cbe5a91a290498dd96e4";
        
        bytes memory tosign3 = new bytes(1+65);
        tosign3[0] = 0xFE;
        copyBytes(proof, 3, 65, tosign3, 1);
        
        bytes memory sig3 = new bytes(uint(proof[3+65+1])+2);
        copyBytes(proof, 3+65, sig3.length, sig3, 0);
        
        sigok = verifySig(sha256(tosign3), sig3, LEDGERKEY);
        
        return sigok;
    }
    
    modifier oraclize_randomDS_proofVerify(bytes32 _queryId, string _result, bytes _proof) {
        // Step 1: the prefix has to match 'LP\x01' (Ledger Proof version 1)
        if ((_proof[0] != "L")||(_proof[1] != "P")||(_proof[2] != 1)) throw;
        
        bool proofVerified = oraclize_randomDS_proofVerify__main(_proof, _queryId, bytes(_result), oraclize_getNetworkName());
        if (proofVerified == false) throw;
        
        _;
    }
    
    function oraclize_randomDS_proofVerify__returnCode(bytes32 _queryId, string _result, bytes _proof) internal returns (uint8){
        // Step 1: the prefix has to match 'LP\x01' (Ledger Proof version 1)
        if ((_proof[0] != "L")||(_proof[1] != "P")||(_proof[2] != 1)) return 1;
        
        bool proofVerified = oraclize_randomDS_proofVerify__main(_proof, _queryId, bytes(_result), oraclize_getNetworkName());
        if (proofVerified == false) return 2;
        
        return 0;
    }
    
    function matchBytes32Prefix(bytes32 content, bytes prefix) internal returns (bool){
        bool match_ = true;
        
        for (var i=0; i<prefix.length; i++){
            if (content[i] != prefix[i]) match_ = false;
        }
        
        return match_;
    }

    function oraclize_randomDS_proofVerify__main(bytes proof, bytes32 queryId, bytes result, string context_name) internal returns (bool){
        bool checkok;
        
        
        // Step 2: the unique keyhash has to match with the sha256 of (context name + queryId)
        uint ledgerProofLength = 3+65+(uint(proof[3+65+1])+2)+32;
        bytes memory keyhash = new bytes(32);
        copyBytes(proof, ledgerProofLength, 32, keyhash, 0);
        checkok = (sha3(keyhash) == sha3(sha256(context_name, queryId)));
        if (checkok == false) return false;
        
        bytes memory sig1 = new bytes(uint(proof[ledgerProofLength+(32+8+1+32)+1])+2);
        copyBytes(proof, ledgerProofLength+(32+8+1+32), sig1.length, sig1, 0);
        
        
        // Step 3: we assume sig1 is valid (it will be verified during step 5) and we verify if 'result' is the prefix of sha256(sig1)
        checkok = matchBytes32Prefix(sha256(sig1), result);
        if (checkok == false) return false;
        
        
        // Step 4: commitment match verification, sha3(delay, nbytes, unonce, sessionKeyHash) == commitment in storage.
        // This is to verify that the computed args match with the ones specified in the query.
        bytes memory commitmentSlice1 = new bytes(8+1+32);
        copyBytes(proof, ledgerProofLength+32, 8+1+32, commitmentSlice1, 0);
        
        bytes memory sessionPubkey = new bytes(64);
        uint sig2offset = ledgerProofLength+32+(8+1+32)+sig1.length+65;
        copyBytes(proof, sig2offset-64, 64, sessionPubkey, 0);
        
        bytes32 sessionPubkeyHash = sha256(sessionPubkey);
        if (oraclize_randomDS_args[queryId] == sha3(commitmentSlice1, sessionPubkeyHash)){ //unonce, nbytes and sessionKeyHash match
            delete oraclize_randomDS_args[queryId];
        } else return false;
        
        
        // Step 5: validity verification for sig1 (keyhash and args signed with the sessionKey)
        bytes memory tosign1 = new bytes(32+8+1+32);
        copyBytes(proof, ledgerProofLength, 32+8+1+32, tosign1, 0);
        checkok = verifySig(sha256(tosign1), sig1, sessionPubkey);
        if (checkok == false) return false;
        
        // verify if sessionPubkeyHash was verified already, if not.. let's do it!
        if (oraclize_randomDS_sessionKeysHashVerified[sessionPubkeyHash] == false){
            oraclize_randomDS_sessionKeysHashVerified[sessionPubkeyHash] = oraclize_randomDS_proofVerify__sessionKeyValidity(proof, sig2offset);
        }
        
        return oraclize_randomDS_sessionKeysHashVerified[sessionPubkeyHash];
    }

    
    // the following function has been written by Alex Beregszaszi (@axic), use it under the terms of the MIT license
    function copyBytes(bytes from, uint fromOffset, uint length, bytes to, uint toOffset) internal returns (bytes) {
        uint minLength = length + toOffset;

        if (to.length < minLength) {
            // Buffer too small
            throw; // Should be a better way?
        }

        // NOTE: the offset 32 is added to skip the `size` field of both bytes variables
        uint i = 32 + fromOffset;
        uint j = 32 + toOffset;

        while (i < (32 + fromOffset + length)) {
            assembly {
                let tmp := mload(add(from, i))
                mstore(add(to, j), tmp)
            }
            i += 32;
            j += 32;
        }

        return to;
    }
    
    // the following function has been written by Alex Beregszaszi (@axic), use it under the terms of the MIT license
    // Duplicate Solidity's ecrecover, but catching the CALL return value
    function safer_ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal returns (bool, address) {
        // We do our own memory management here. Solidity uses memory offset
        // 0x40 to store the current end of memory. We write past it (as
        // writes are memory extensions), but don't update the offset so
        // Solidity will reuse it. The memory used here is only needed for
        // this context.

        // FIXME: inline assembly can't access return values
        bool ret;
        address addr;

        assembly {
            let size := mload(0x40)
            mstore(size, hash)
            mstore(add(size, 32), v)
            mstore(add(size, 64), r)
            mstore(add(size, 96), s)

            // NOTE: we can reuse the request memory because we deal with
            //       the return code
            ret := call(3000, 1, 0, size, 128, size, 32)
            addr := mload(size)
        }
  
        return (ret, addr);
    }

    // the following function has been written by Alex Beregszaszi (@axic), use it under the terms of the MIT license
    function ecrecovery(bytes32 hash, bytes sig) internal returns (bool, address) {
        bytes32 r;
        bytes32 s;
        uint8 v;

        if (sig.length != 65)
          return (false, 0);

        // The signature format is a compact form of:
        //   {bytes32 r}{bytes32 s}{uint8 v}
        // Compact means, uint8 is not padded to 32 bytes.
        assembly {
            r := mload(add(sig, 32))
            s := mload(add(sig, 64))

            // Here we are loading the last 32 bytes. We exploit the fact that
            // 'mload' will pad with zeroes if we overread.
            // There is no 'mload8' to do this, but that would be nicer.
            v := byte(0, mload(add(sig, 96)))

            // Alternative solution:
            // 'byte' is not working due to the Solidity parser, so lets
            // use the second best option, 'and'
            // v := and(mload(add(sig, 65)), 255)
        }

        // albeit non-transactional signatures are not specified by the YP, one would expect it
        // to match the YP range of [27, 28]
        //
        // geth uses [0, 1] and some clients have followed. This might change, see:
        //  https://github.com/ethereum/go-ethereum/issues/2053
        if (v < 27)
          v += 27;

        if (v != 27 && v != 28)
            return (false, 0);

        return safer_ecrecover(hash, v, r, s);
    }
        
}
// </ORACLIZE_API>

/*
 * @title String & slice utility library for Solidity contracts.
 * @author Nick Johnson <[email protected]>
 *
 * @dev Functionality in this library is largely implemented using an
 *      abstraction called a 'slice'. A slice represents a part of a string -
 *      anything from the entire string to a single character, or even no
 *      characters at all (a 0-length slice). Since a slice only has to specify
 *      an offset and a length, copying and manipulating slices is a lot less
 *      expensive than copying and manipulating the strings they reference.
 *
 *      To further reduce gas costs, most functions on slice that need to return
 *      a slice modify the original one instead of allocating a new one; for
 *      instance, `s.split(".")` will return the text up to the first '.',
 *      modifying s to only contain the remainder of the string after the '.'.
 *      In situations where you do not want to modify the original slice, you
 *      can make a copy first with `.copy()`, for example:
 *      `s.copy().split(".")`. Try and avoid using this idiom in loops; since
 *      Solidity has no memory management, it will result in allocating many
 *      short-lived slices that are later discarded.
 *
 *      Functions that return two slices come in two versions: a non-allocating
 *      version that takes the second slice as an argument, modifying it in
 *      place, and an allocating version that allocates and returns the second
 *      slice; see `nextRune` for example.
 *
 *      Functions that have to copy string data will return strings rather than
 *      slices; these can be cast back to slices for further processing if
 *      required.
 *
 *      For convenience, some functions are provided with non-modifying
 *      variants that create a new slice and return both; for instance,
 *      `s.splitNew('.')` leaves s unmodified, and returns two values
 *      corresponding to the left and right parts of the string.
 */
library strings {
    struct slice {
        uint _len;
        uint _ptr;
    }

    function memcpy(uint dest, uint src, uint len) private {
        // Copy word-length chunks while possible
        for(; len >= 32; len -= 32) {
            assembly {
                mstore(dest, mload(src))
            }
            dest += 32;
            src += 32;
        }

        // Copy remaining bytes
        uint mask = 256 ** (32 - len) - 1;
        assembly {
            let srcpart := and(mload(src), not(mask))
            let destpart := and(mload(dest), mask)
            mstore(dest, or(destpart, srcpart))
        }
    }

    /*
     * @dev Returns a slice containing the entire string.
     * @param self The string to make a slice from.
     * @return A newly allocated slice containing the entire string.
     */
    function toSlice(string self) internal returns (slice) {
        uint ptr;
        assembly {
            ptr := add(self, 0x20)
        }
        return slice(bytes(self).length, ptr);
    }

    /*
     * @dev Returns the length of a null-terminated bytes32 string.
     * @param self The value to find the length of.
     * @return The length of the string, from 0 to 32.
     */
    function len(bytes32 self) internal returns (uint) {
        uint ret;
        if (self == 0)
            return 0;
        if (self & 0xffffffffffffffffffffffffffffffff == 0) {
            ret += 16;
            self = bytes32(uint(self) / 0x100000000000000000000000000000000);
        }
        if (self & 0xffffffffffffffff == 0) {
            ret += 8;
            self = bytes32(uint(self) / 0x10000000000000000);
        }
        if (self & 0xffffffff == 0) {
            ret += 4;
            self = bytes32(uint(self) / 0x100000000);
        }
        if (self & 0xffff == 0) {
            ret += 2;
            self = bytes32(uint(self) / 0x10000);
        }
        if (self & 0xff == 0) {
            ret += 1;
        }
        return 32 - ret;
    }

    /*
     * @dev Returns a slice containing the entire bytes32, interpreted as a
     *      null-termintaed utf-8 string.
     * @param self The bytes32 value to convert to a slice.
     * @return A new slice containing the value of the input argument up to the
     *         first null.
     */
    function toSliceB32(bytes32 self) internal returns (slice ret) {
        // Allocate space for `self` in memory, copy it there, and point ret at it
        assembly {
            let ptr := mload(0x40)
            mstore(0x40, add(ptr, 0x20))
            mstore(ptr, self)
            mstore(add(ret, 0x20), ptr)
        }
        ret._len = len(self);
    }

    /*
     * @dev Returns a new slice containing the same data as the current slice.
     * @param self The slice to copy.
     * @return A new slice containing the same data as `self`.
     */
    function copy(slice self) internal returns (slice) {
        return slice(self._len, self._ptr);
    }

    /*
     * @dev Copies a slice to a new string.
     * @param self The slice to copy.
     * @return A newly allocated string containing the slice's text.
     */
    function toString(slice self) internal returns (string) {
        var ret = new string(self._len);
        uint retptr;
        assembly { retptr := add(ret, 32) }

        memcpy(retptr, self._ptr, self._len);
        return ret;
    }

    /*
     * @dev Returns the length in runes of the slice. Note that this operation
     *      takes time proportional to the length of the slice; avoid using it
     *      in loops, and call `slice.empty()` if you only need to know whether
     *      the slice is empty or not.
     * @param self The slice to operate on.
     * @return The length of the slice in runes.
     */
    function len(slice self) internal returns (uint) {
        // Starting at ptr-31 means the LSB will be the byte we care about
        var ptr = self._ptr - 31;
        var end = ptr + self._len;
        for (uint len = 0; ptr < end; len++) {
            uint8 b;
            assembly { b := and(mload(ptr), 0xFF) }
            if (b < 0x80) {
                ptr += 1;
            } else if(b < 0xE0) {
                ptr += 2;
            } else if(b < 0xF0) {
                ptr += 3;
            } else if(b < 0xF8) {
                ptr += 4;
            } else if(b < 0xFC) {
                ptr += 5;
            } else {
                ptr += 6;
            }
        }
        return len;
    }

    /*
     * @dev Returns true if the slice is empty (has a length of 0).
     * @param self The slice to operate on.
     * @return True if the slice is empty, False otherwise.
     */
    function empty(slice self) internal returns (bool) {
        return self._len == 0;
    }

    /*
     * @dev Returns a positive number if `other` comes lexicographically after
     *      `self`, a negative number if it comes before, or zero if the
     *      contents of the two slices are equal. Comparison is done per-rune,
     *      on unicode codepoints.
     * @param self The first slice to compare.
     * @param other The second slice to compare.
     * @return The result of the comparison.
     */
    function compare(slice self, slice other) internal returns (int) {
        uint shortest = self._len;
        if (other._len < self._len)
            shortest = other._len;

        var selfptr = self._ptr;
        var otherptr = other._ptr;
        for (uint idx = 0; idx < shortest; idx += 32) {
            uint a;
            uint b;
            assembly {
                a := mload(selfptr)
                b := mload(otherptr)
            }
            if (a != b) {
                // Mask out irrelevant bytes and check again
                uint mask = ~(2 ** (8 * (32 - shortest + idx)) - 1);
                var diff = (a & mask) - (b & mask);
                if (diff != 0)
                    return int(diff);
            }
            selfptr += 32;
            otherptr += 32;
        }
        return int(self._len) - int(other._len);
    }

    /*
     * @dev Returns true if the two slices contain the same text.
     * @param self The first slice to compare.
     * @param self The second slice to compare.
     * @return True if the slices are equal, false otherwise.
     */
    function equals(slice self, slice other) internal returns (bool) {
        return compare(self, other) == 0;
    }

    /*
     * @dev Extracts the first rune in the slice into `rune`, advancing the
     *      slice to point to the next rune and returning `self`.
     * @param self The slice to operate on.
     * @param rune The slice that will contain the first rune.
     * @return `rune`.
     */
    function nextRune(slice self, slice rune) internal returns (slice) {
        rune._ptr = self._ptr;

        if (self._len == 0) {
            rune._len = 0;
            return rune;
        }

        uint len;
        uint b;
        // Load the first byte of the rune into the LSBs of b
        assembly { b := and(mload(sub(mload(add(self, 32)), 31)), 0xFF) }
        if (b < 0x80) {
            len = 1;
        } else if(b < 0xE0) {
            len = 2;
        } else if(b < 0xF0) {
            len = 3;
        } else {
            len = 4;
        }

        // Check for truncated codepoints
        if (len > self._len) {
            rune._len = self._len;
            self._ptr += self._len;
            self._len = 0;
            return rune;
        }

        self._ptr += len;
        self._len -= len;
        rune._len = len;
        return rune;
    }

    /*
     * @dev Returns the first rune in the slice, advancing the slice to point
     *      to the next rune.
     * @param self The slice to operate on.
     * @return A slice containing only the first rune from `self`.
     */
    function nextRune(slice self) internal returns (slice ret) {
        nextRune(self, ret);
    }

    /*
     * @dev Returns the number of the first codepoint in the slice.
     * @param self The slice to operate on.
     * @return The number of the first codepoint in the slice.
     */
    function ord(slice self) internal returns (uint ret) {
        if (self._len == 0) {
            return 0;
        }

        uint word;
        uint len;
        uint div = 2 ** 248;

        // Load the rune into the MSBs of b
        assembly { word:= mload(mload(add(self, 32))) }
        var b = word / div;
        if (b < 0x80) {
            ret = b;
            len = 1;
        } else if(b < 0xE0) {
            ret = b & 0x1F;
            len = 2;
        } else if(b < 0xF0) {
            ret = b & 0x0F;
            len = 3;
        } else {
            ret = b & 0x07;
            len = 4;
        }

        // Check for truncated codepoints
        if (len > self._len) {
            return 0;
        }

        for (uint i = 1; i < len; i++) {
            div = div / 256;
            b = (word / div) & 0xFF;
            if (b & 0xC0 != 0x80) {
                // Invalid UTF-8 sequence
                return 0;
            }
            ret = (ret * 64) | (b & 0x3F);
        }

        return ret;
    }

    /*
     * @dev Returns the keccak-256 hash of the slice.
     * @param self The slice to hash.
     * @return The hash of the slice.
     */
    function keccak(slice self) internal returns (bytes32 ret) {
        assembly {
            ret := sha3(mload(add(self, 32)), mload(self))
        }
    }

    /*
     * @dev Returns true if `self` starts with `needle`.
     * @param self The slice to operate on.
     * @param needle The slice to search for.
     * @return True if the slice starts with the provided text, false otherwise.
     */
    function startsWith(slice self, slice needle) internal returns (bool) {
        if (self._len < needle._len) {
            return false;
        }

        if (self._ptr == needle._ptr) {
            return true;
        }

        bool equal;
        assembly {
            let len := mload(needle)
            let selfptr := mload(add(self, 0x20))
            let needleptr := mload(add(needle, 0x20))
            equal := eq(sha3(selfptr, len), sha3(needleptr, len))
        }
        return equal;
    }

    /*
     * @dev If `self` starts with `needle`, `needle` is removed from the
     *      beginning of `self`. Otherwise, `self` is unmodified.
     * @param self The slice to operate on.
     * @param needle The slice to search for.
     * @return `self`
     */
    function beyond(slice self, slice needle) internal returns (slice) {
        if (self._len < needle._len) {
            return self;
        }

        bool equal = true;
        if (self._ptr != needle._ptr) {
            assembly {
                let len := mload(needle)
                let selfptr := mload(add(self, 0x20))
                let needleptr := mload(add(needle, 0x20))
                equal := eq(sha3(selfptr, len), sha3(needleptr, len))
            }
        }

        if (equal) {
            self._len -= needle._len;
            self._ptr += needle._len;
        }

        return self;
    }

    /*
     * @dev Returns true if the slice ends with `needle`.
     * @param self The slice to operate on.
     * @param needle The slice to search for.
     * @return True if the slice starts with the provided text, false otherwise.
     */
    function endsWith(slice self, slice needle) internal returns (bool) {
        if (self._len < needle._len) {
            return false;
        }

        var selfptr = self._ptr + self._len - needle._len;

        if (selfptr == needle._ptr) {
            return true;
        }

        bool equal;
        assembly {
            let len := mload(needle)
            let needleptr := mload(add(needle, 0x20))
            equal := eq(sha3(selfptr, len), sha3(needleptr, len))
        }

        return equal;
    }

    /*
     * @dev If `self` ends with `needle`, `needle` is removed from the
     *      end of `self`. Otherwise, `self` is unmodified.
     * @param self The slice to operate on.
     * @param needle The slice to search for.
     * @return `self`
     */
    function until(slice self, slice needle) internal returns (slice) {
        if (self._len < needle._len) {
            return self;
        }

        var selfptr = self._ptr + self._len - needle._len;
        bool equal = true;
        if (selfptr != needle._ptr) {
            assembly {
                let len := mload(needle)
                let needleptr := mload(add(needle, 0x20))
                equal := eq(sha3(selfptr, len), sha3(needleptr, len))
            }
        }

        if (equal) {
            self._len -= needle._len;
        }

        return self;
    }

    // Returns the memory address of the first byte of the first occurrence of
    // `needle` in `self`, or the first byte after `self` if not found.
    function findPtr(uint selflen, uint selfptr, uint needlelen, uint needleptr) private returns (uint) {
        uint ptr;
        uint idx;

        if (needlelen <= selflen) {
            if (needlelen <= 32) {
                // Optimized assembly for 68 gas per byte on short strings
                assembly {
                    let mask := not(sub(exp(2, mul(8, sub(32, needlelen))), 1))
                    let needledata := and(mload(needleptr), mask)
                    let end := add(selfptr, sub(selflen, needlelen))
                    ptr := selfptr
                    loop:
                    jumpi(exit, eq(and(mload(ptr), mask), needledata))
                    ptr := add(ptr, 1)
                    jumpi(loop, lt(sub(ptr, 1), end))
                    ptr := add(selfptr, selflen)
                    exit:
                }
                return ptr;
            } else {
                // For long needles, use hashing
                bytes32 hash;
                assembly { hash := sha3(needleptr, needlelen) }
                ptr = selfptr;
                for (idx = 0; idx <= selflen - needlelen; idx++) {
                    bytes32 testHash;
                    assembly { testHash := sha3(ptr, needlelen) }
                    if (hash == testHash)
                        return ptr;
                    ptr += 1;
                }
            }
        }
        return selfptr + selflen;
    }

    // Returns the memory address of the first byte after the last occurrence of
    // `needle` in `self`, or the address of `self` if not found.
    function rfindPtr(uint selflen, uint selfptr, uint needlelen, uint needleptr) private returns (uint) {
        uint ptr;

        if (needlelen <= selflen) {
            if (needlelen <= 32) {
                // Optimized assembly for 69 gas per byte on short strings
                assembly {
                    let mask := not(sub(exp(2, mul(8, sub(32, needlelen))), 1))
                    let needledata := and(mload(needleptr), mask)
                    ptr := add(selfptr, sub(selflen, needlelen))
                    loop:
                    jumpi(ret, eq(and(mload(ptr), mask), needledata))
                    ptr := sub(ptr, 1)
                    jumpi(loop, gt(add(ptr, 1), selfptr))
                    ptr := selfptr
                    jump(exit)
                    ret:
                    ptr := add(ptr, needlelen)
                    exit:
                }
                return ptr;
            } else {
                // For long needles, use hashing
                bytes32 hash;
                assembly { hash := sha3(needleptr, needlelen) }
                ptr = selfptr + (selflen - needlelen);
                while (ptr >= selfptr) {
                    bytes32 testHash;
                    assembly { testHash := sha3(ptr, needlelen) }
                    if (hash == testHash)
                        return ptr + needlelen;
                    ptr -= 1;
                }
            }
        }
        return selfptr;
    }

    /*
     * @dev Modifies `self` to contain everything from the first occurrence of
     *      `needle` to the end of the slice. `self` is set to the empty slice
     *      if `needle` is not found.
     * @param self The slice to search and modify.
     * @param needle The text to search for.
     * @return `self`.
     */
    function find(slice self, slice needle) internal returns (slice) {
        uint ptr = findPtr(self._len, self._ptr, needle._len, needle._ptr);
        self._len -= ptr - self._ptr;
        self._ptr = ptr;
        return self;
    }

    /*
     * @dev Modifies `self` to contain the part of the string from the start of
     *      `self` to the end of the first occurrence of `needle`. If `needle`
     *      is not found, `self` is set to the empty slice.
     * @param self The slice to search and modify.
     * @param needle The text to search for.
     * @return `self`.
     */
    function rfind(slice self, slice needle) internal returns (slice) {
        uint ptr = rfindPtr(self._len, self._ptr, needle._len, needle._ptr);
        self._len = ptr - self._ptr;
        return self;
    }

    /*
     * @dev Splits the slice, setting `self` to everything after the first
     *      occurrence of `needle`, and `token` to everything before it. If
     *      `needle` does not occur in `self`, `self` is set to the empty slice,
     *      and `token` is set to the entirety of `self`.
     * @param self The slice to split.
     * @param needle The text to search for in `self`.
     * @param token An output parameter to which the first token is written.
     * @return `token`.
     */
    function split(slice self, slice needle, slice token) internal returns (slice) {
        uint ptr = findPtr(self._len, self._ptr, needle._len, needle._ptr);
        token._ptr = self._ptr;
        token._len = ptr - self._ptr;
        if (ptr == self._ptr + self._len) {
            // Not found
            self._len = 0;
        } else {
            self._len -= token._len + needle._len;
            self._ptr = ptr + needle._len;
        }
        return token;
    }

    /*
     * @dev Splits the slice, setting `self` to everything after the first
     *      occurrence of `needle`, and returning everything before it. If
     *      `needle` does not occur in `self`, `self` is set to the empty slice,
     *      and the entirety of `self` is returned.
     * @param self The slice to split.
     * @param needle The text to search for in `self`.
     * @return The part of `self` up to the first occurrence of `delim`.
     */
    function split(slice self, slice needle) internal returns (slice token) {
        split(self, needle, token);
    }

    /*
     * @dev Splits the slice, setting `self` to everything before the last
     *      occurrence of `needle`, and `token` to everything after it. If
     *      `needle` does not occur in `self`, `self` is set to the empty slice,
     *      and `token` is set to the entirety of `self`.
     * @param self The slice to split.
     * @param needle The text to search for in `self`.
     * @param token An output parameter to which the first token is written.
     * @return `token`.
     */
    function rsplit(slice self, slice needle, slice token) internal returns (slice) {
        uint ptr = rfindPtr(self._len, self._ptr, needle._len, needle._ptr);
        token._ptr = ptr;
        token._len = self._len - (ptr - self._ptr);
        if (ptr == self._ptr) {
            // Not found
            self._len = 0;
        } else {
            self._len -= token._len + needle._len;
        }
        return token;
    }

    /*
     * @dev Splits the slice, setting `self` to everything before the last
     *      occurrence of `needle`, and returning everything after it. If
     *      `needle` does not occur in `self`, `self` is set to the empty slice,
     *      and the entirety of `self` is returned.
     * @param self The slice to split.
     * @param needle The text to search for in `self`.
     * @return The part of `self` after the last occurrence of `delim`.
     */
    function rsplit(slice self, slice needle) internal returns (slice token) {
        rsplit(self, needle, token);
    }

    /*
     * @dev Counts the number of nonoverlapping occurrences of `needle` in `self`.
     * @param self The slice to search.
     * @param needle The text to search for in `self`.
     * @return The number of occurrences of `needle` found in `self`.
     */
    function count(slice self, slice needle) internal returns (uint count) {
        uint ptr = findPtr(self._len, self._ptr, needle._len, needle._ptr) + needle._len;
        while (ptr <= self._ptr + self._len) {
            count++;
            ptr = findPtr(self._len - (ptr - self._ptr), ptr, needle._len, needle._ptr) + needle._len;
        }
    }

    /*
     * @dev Returns True if `self` contains `needle`.
     * @param self The slice to search.
     * @param needle The text to search for in `self`.
     * @return True if `needle` is found in `self`, false otherwise.
     */
    function contains(slice self, slice needle) internal returns (bool) {
        return rfindPtr(self._len, self._ptr, needle._len, needle._ptr) != self._ptr;
    }

    /*
     * @dev Returns a newly allocated string containing the concatenation of
     *      `self` and `other`.
     * @param self The first slice to concatenate.
     * @param other The second slice to concatenate.
     * @return The concatenation of the two strings.
     */
    function concat(slice self, slice other) internal returns (string) {
        var ret = new string(self._len + other._len);
        uint retptr;
        assembly { retptr := add(ret, 32) }
        memcpy(retptr, self._ptr, self._len);
        memcpy(retptr + self._len, other._ptr, other._len);
        return ret;
    }

    /*
     * @dev Joins an array of slices, using `self` as a delimiter, returning a
     *      newly allocated string.
     * @param self The delimiter to use.
     * @param parts A list of slices to join.
     * @return A newly allocated string containing all the slices in `parts`,
     *         joined with `self`.
     */
    function join(slice self, slice[] parts) internal returns (string) {
        if (parts.length == 0)
            return "";

        uint len = self._len * (parts.length - 1);
        for(uint i = 0; i < parts.length; i++)
            len += parts[i]._len;

        var ret = new string(len);
        uint retptr;
        assembly { retptr := add(ret, 32) }

        for(i = 0; i < parts.length; i++) {
            memcpy(retptr, parts[i]._ptr, parts[i]._len);
            retptr += parts[i]._len;
            if (i < parts.length - 1) {
                memcpy(retptr, self._ptr, self._len);
                retptr += self._len;
            }
        }

        return ret;
    }
}


contract DSSafeAddSub {
    function safeToAdd(uint a, uint b) internal returns (bool) {
        return (a + b >= a);
    }
    function safeAdd(uint a, uint b) internal returns (uint) {
        if (!safeToAdd(a, b)) throw;
        return a + b;
    }

    function safeToSubtract(uint a, uint b) internal returns (bool) {
        return (b <= a);
    }

    function safeSub(uint a, uint b) internal returns (uint) {
        if (!safeToSubtract(a, b)) throw;
        return a - b;
    } 
}



contract Etheroll is usingOraclize, DSSafeAddSub {
    
     using strings for *;

    /*
     * checks player profit, bet size and player number is within range
    */
    modifier betIsValid(uint _betSize, uint _playerNumber) {      
        if(((((_betSize * (100-(safeSub(_playerNumber,1)))) / (safeSub(_playerNumber,1))+_betSize))*houseEdge/houseEdgeDivisor)-_betSize > maxProfit || _betSize < minBet || _playerNumber < minNumber || _playerNumber > maxNumber) throw;        
		_;
    }

    /*
     * checks game is currently active
    */
    modifier gameIsActive {
        if(gamePaused == true) throw;
		_;
    }    

    /*
     * checks payouts are currently active
    */
    modifier payoutsAreActive {
        if(payoutsPaused == true) throw;
		_;
    }    

    /*
     * checks only Oraclize address is calling
    */
    modifier onlyOraclize {
        if (msg.sender != oraclize_cbAddress()) throw;
        _;
    }

    /*
     * checks only owner address is calling
    */
    modifier onlyOwner {
         if (msg.sender != owner) throw;
         _;
    }

    /*
     * checks only treasury address is calling
    */
    modifier onlyTreasury {
         if (msg.sender != treasury) throw;
         _;
    }    

    /*
     * game vars
    */ 
    uint constant public maxProfitDivisor = 1000000;
    uint constant public houseEdgeDivisor = 1000;    
    uint constant public maxNumber = 99; 
    uint constant public minNumber = 2;
	bool public gamePaused;
    uint32 public gasForOraclize;
    address public owner;
    bool public payoutsPaused; 
    address public treasury;
    uint public contractBalance;
    uint public houseEdge;     
    uint public maxProfit;   
    uint public maxProfitAsPercentOfHouse;                    
    uint public minBet;  
    uint public totalBets = 749047;
    uint public maxPendingPayouts;
    uint public totalWeiWon = 362757632550582691579193;
    uint public totalWeiWagered = 873210001157519117574271;            
    uint private randomQueryID = 0;
    

    /*
     * player vars
    */
    mapping (bytes32 => address) playerAddress;
    mapping (bytes32 => address) playerTempAddress;
    mapping (bytes32 => bytes32) playerBetId;
    mapping (bytes32 => uint) playerBetValue;
    mapping (bytes32 => uint) playerTempBetValue;               
    mapping (bytes32 => uint) playerDieResult;
    mapping (bytes32 => uint) playerNumber;
    mapping (address => uint) playerPendingWithdrawals;      
    mapping (bytes32 => uint) playerProfit;
    mapping (bytes32 => uint) playerTempReward;
    mapping (bytes32 => bytes32) playerIdentityRequest;

    /*
     * oracle query builder
    */
    string constant private queryString1 = "[identity] ";
    string constant private queryString2 = " ${[URL] ['json(https://api.random.org/json-rpc/1/invoke).result.random[\"serialNumber\",\"data\"]', '\\n{\"jsonrpc\":\"2.0\",\"method\":\"generateSignedIntegers\",\"params\":{\"apiKey\":${[decrypt] BHPtlnzIqWuK1tooGTlPu+Zjer6uMHufHK644OLypzSF+xafckDq/TDErBxKMCCbsSYJQhX5nb6sWkP5oWbTqOn4DFfIgBIRa+5Fq5DsBsKo3AJCgXIXb4QsG2rhxJad4+VLnoxNDEaiR/M5qDAAyIiuWd3Tcbg=},\"n\":1,\"min\":1,\"max\":100,\"replacement\":true,\"base\":10${[identity] \"}\"},\"id\":";
    string constant private queryString3 = "${[identity] \"}\"}']}";


    /*
     * events
    */
    /* log bets + output to web3 for precise 'payout on win' field in UI */
    event LogBet(bytes32 indexed BetID, address indexed PlayerAddress, uint indexed RewardValue, uint ProfitValue, uint BetValue, uint PlayerNumber, uint RandomQueryID);      
    /* output to web3 UI on bet result*/
    /* Status: 0=lose, 1=win, 2=win + failed send, 3=refund, 4=refund + failed send*/
	event LogResult(uint indexed ResultSerialNumber, bytes32 indexed BetID, address indexed PlayerAddress, uint PlayerNumber, uint DiceResult, uint Value, int Status, bytes Proof);   
    /* log manual refunds */
    event LogRefund(bytes32 indexed BetID, address indexed PlayerAddress, uint indexed RefundValue);
    /* log owner transfers */
    event LogOwnerTransfer(address indexed SentToAddress, uint indexed AmountTransferred);               


    /*
     * init
    */
    function Etheroll() {

        owner = msg.sender;
        treasury = msg.sender;
        oraclize_setNetwork(networkID_auto);        
        /* use TLSNotary for oraclize call */
        oraclize_setProof(proofType_TLSNotary | proofStorage_IPFS);
        /* init 990 = 99% (1% houseEdge)*/
        ownerSetHouseEdge(990);
        /* init 10,000 = 1%  */
        ownerSetMaxProfitAsPercentOfHouse(10000);
        /* init min bet (0.1 ether) */
        ownerSetMinBet(100000000000000000);        
        /* init gas for oraclize */        
        gasForOraclize = 235000;  
        /* init gas price for callback (default 20 gwei)*/
        oraclize_setCustomGasPrice(20000000000 wei);              

    }

    /*
     * public function
     * player submit bet
     * only if game is active & bet is valid can query oraclize and set player vars     
    */
    function playerRollDice(uint rollUnder) public 
        payable
        gameIsActive
        betIsValid(msg.value, rollUnder)
	{       

        /*
        * assign partially encrypted query to oraclize
        * only the apiKey is encrypted 
        * integer query is in plain text
        */       
        randomQueryID += 1;

        string memory identityString = string(abi.encodePacked(uint2str(randomQueryID), uint2str(rollUnder), uint2str(msg.value)));
        
        bytes32 rngId = oraclize_query("nested", string(abi.encodePacked(queryString1, identityString, queryString2, identityString, queryString3)), gasForOraclize);   
                 
        /* map bet id to this oraclize query */
		playerBetId[rngId] = rngId;
        /* map identity string to this oraclize query */
		playerIdentityRequest[rngId] = sha3(identityString);
        /* map player lucky number to this oraclize query */
		playerNumber[rngId] = rollUnder;
        /* map value of wager to this oraclize query */
        playerBetValue[rngId] = msg.value;
        /* map player address to this oraclize query */
        playerAddress[rngId] = msg.sender;
        /* safely map player profit to this oraclize query */                     
        playerProfit[rngId] = ((((msg.value * (100-(safeSub(rollUnder,1)))) / (safeSub(rollUnder,1))+msg.value))*houseEdge/houseEdgeDivisor)-msg.value;        
        /* safely increase maxPendingPayouts liability - calc all pending payouts under assumption they win */
        maxPendingPayouts = safeAdd(maxPendingPayouts, playerProfit[rngId]);
        /* check contract can payout on win */
        if(maxPendingPayouts >= contractBalance) throw;
        /* provides accurate numbers for web3 and allows for manual refunds in case of no oraclize __callback */
        LogBet(playerBetId[rngId], playerAddress[rngId], safeAdd(playerBetValue[rngId], playerProfit[rngId]), playerProfit[rngId], playerBetValue[rngId], playerNumber[rngId], randomQueryID);          

    }   
             

    /*
    * semi-public function - only oraclize can call
    */
    /*TLSNotary for oraclize call */
	function __callback(bytes32 myid, string result, bytes proof) public   
		onlyOraclize
		payoutsAreActive
	{ 
        
        /* player address mapped to query id does not exist*/
        if (playerAddress[myid]==0x0) throw;  
                
        var sl_result = result.toSlice();       

        /* get player identityResponse to compare against playerIdentityRequest[myid]*/
        bytes32 identityResponse = sha3(sl_result.split(' '.toSlice()).toString());
        
        /* get random.org serialNumber from result */
        uint serialNumberOfResult = parseInt(sl_result.split(','.toSlice()).toString());

	    /* map random result to player */
        playerDieResult[myid] = parseInt(sl_result.toString());
        
        /* get the playerAddress for this query id */
        playerTempAddress[myid] = playerAddress[myid];
        /* delete playerAddress for this query id */
        delete playerAddress[myid];

        /* map the playerProfit for this query id */
        playerTempReward[myid] = playerProfit[myid];
        /* set  playerProfit for this query id to 0 */
        playerProfit[myid] = 0; 

        /* safely reduce maxPendingPayouts liability */
        maxPendingPayouts = safeSub(maxPendingPayouts, playerTempReward[myid]);         

        /* map the playerBetValue for this query id */
        playerTempBetValue[myid] = playerBetValue[myid];
        /* set  playerBetValue for this query id to 0 */
        playerBetValue[myid] = 0; 

        /* total number of bets */
        totalBets += 1;

        /* total wagered */
        totalWeiWagered += playerTempBetValue[myid];       

        /*
        * refund
        *  no proof || identity mismatch || result 0 || result empty refund original bet value
        * if refund fails save refund value to playerPendingWithdrawals
        */
        if(bytes(proof).length == 0 || playerIdentityRequest[myid] != identityResponse || playerDieResult[myid] == 0 || bytes(result).length == 0){                                                     

             LogResult(serialNumberOfResult, playerBetId[myid], playerTempAddress[myid], playerNumber[myid], playerDieResult[myid], playerTempBetValue[myid], 3, proof);            

            /*
            * send refund - external call to an untrusted contract
            * if send fails map refund value to playerPendingWithdrawals[address]
            * for withdrawal later via playerWithdrawPendingTransactions
            */
            if(!playerTempAddress[myid].send(playerTempBetValue[myid])){
                LogResult(serialNumberOfResult, playerBetId[myid], playerTempAddress[myid], playerNumber[myid], playerDieResult[myid], playerTempBetValue[myid], 4, proof);              
                /* if send failed let player withdraw via playerWithdrawPendingTransactions */
                playerPendingWithdrawals[playerTempAddress[myid]] = safeAdd(playerPendingWithdrawals[playerTempAddress[myid]], playerTempBetValue[myid]);                        
            }

            return;
        }       

        /*
        * pay winner
        * update contract balance to calculate new max bet
        * send reward
        * if send of reward fails save value to playerPendingWithdrawals        
        */
        if(playerDieResult[myid] < playerNumber[myid]){ 

            /* safely reduce contract balance by player profit */
            contractBalance = safeSub(contractBalance, playerTempReward[myid]); 

            /* update total wei won */
            totalWeiWon = safeAdd(totalWeiWon, playerTempReward[myid]);              

            /* safely calculate payout via profit plus original wager */
            playerTempReward[myid] = safeAdd(playerTempReward[myid], playerTempBetValue[myid]); 

            LogResult(serialNumberOfResult, playerBetId[myid], playerTempAddress[myid], playerNumber[myid], playerDieResult[myid], playerTempReward[myid], 1, proof);                            

            /* update maximum profit */
            setMaxProfit();
            
            /*
            * send win - external call to an untrusted contract
            * if send fails map reward value to playerPendingWithdrawals[address]
            * for withdrawal later via playerWithdrawPendingTransactions
            */
            if(!playerTempAddress[myid].send(playerTempReward[myid])){
                LogResult(serialNumberOfResult, playerBetId[myid], playerTempAddress[myid], playerNumber[myid], playerDieResult[myid], playerTempReward[myid], 2, proof);                   
                /* if send failed let player withdraw via playerWithdrawPendingTransactions */
                playerPendingWithdrawals[playerTempAddress[myid]] = safeAdd(playerPendingWithdrawals[playerTempAddress[myid]], playerTempReward[myid]);                               
            }

            return;

        }

        /*
        * no win 
        * send 1 wei to a losing bet
        * update contract balance to calculate new max bet
        */
        if(playerDieResult[myid] >= playerNumber[myid]){

            LogResult(serialNumberOfResult, playerBetId[myid], playerTempAddress[myid], playerNumber[myid], playerDieResult[myid], playerTempBetValue[myid], 0, proof);                                

            /*  
            *  safe adjust contractBalance
            *  setMaxProfit
            *  send 1 wei to losing bet
            */
            contractBalance = safeAdd(contractBalance, (playerTempBetValue[myid]-1));                                                                         

            /* update maximum profit */
            setMaxProfit(); 

            /*
            * send 1 wei - external call to an untrusted contract                  
            */
            if(!playerTempAddress[myid].send(1)){
                /* if send failed let player withdraw via playerWithdrawPendingTransactions */                
               playerPendingWithdrawals[playerTempAddress[myid]] = safeAdd(playerPendingWithdrawals[playerTempAddress[myid]], 1);                                
            }                                   

            return;

        }         

    }
    
    /*
    * public function
    * in case of a failed refund or win send
    */
    function playerWithdrawPendingTransactions() public 
        payoutsAreActive
        returns (bool)
     {
        uint withdrawAmount = playerPendingWithdrawals[msg.sender];
        playerPendingWithdrawals[msg.sender] = 0;
        /* external call to untrusted contract */
        if (msg.sender.call.value(withdrawAmount)()) {
            return true;
        } else {
            /* if send failed revert playerPendingWithdrawals[msg.sender] = 0; */
            /* player can try to withdraw again later */
            playerPendingWithdrawals[msg.sender] = withdrawAmount;
            return false;
        }
    }

    /* check for pending withdrawals  */
    function playerGetPendingTxByAddress(address addressToCheck) public constant returns (uint) {
        return playerPendingWithdrawals[addressToCheck];
    }

    /*
    * internal function
    * sets max profit
    */
    function setMaxProfit() internal {
        maxProfit = (contractBalance*maxProfitAsPercentOfHouse)/maxProfitDivisor;  
    }        

    /*
    * owner/treasury address only functions
    */
    function ()
        payable
        onlyTreasury
    {
        /* safely update contract balance */
        contractBalance = safeAdd(contractBalance, msg.value);        
        /* update the maximum profit */
        setMaxProfit();
    } 

    /* set gas price for oraclize callback */
    function ownerSetCallbackGasPrice(uint newCallbackGasPrice) public 
		onlyOwner
	{
        oraclize_setCustomGasPrice(newCallbackGasPrice);
    }     

    /* set gas limit for oraclize query */
    function ownerSetOraclizeSafeGas(uint32 newSafeGasToOraclize) public 
		onlyOwner
	{
    	gasForOraclize = newSafeGasToOraclize;
    }

    /* only owner adjust contract balance variable (only used for max profit calc) */
    function ownerUpdateContractBalance(uint newContractBalanceInWei) public 
		onlyOwner
    {        
       contractBalance = newContractBalanceInWei;
    }    

    /* only owner address can set houseEdge */
    function ownerSetHouseEdge(uint newHouseEdge) public 
		onlyOwner
    {
        houseEdge = newHouseEdge;
    }

    /* only owner address can set maxProfitAsPercentOfHouse */
    function ownerSetMaxProfitAsPercentOfHouse(uint newMaxProfitAsPercent) public 
		onlyOwner
    {
        /* restrict each bet to a maximum profit of 1% contractBalance */
        if(newMaxProfitAsPercent > 10000) throw;
        maxProfitAsPercentOfHouse = newMaxProfitAsPercent;
        setMaxProfit();
    }

    /* only owner address can set minBet */
    function ownerSetMinBet(uint newMinimumBet) public 
		onlyOwner
    {
        minBet = newMinimumBet;
    }       

    /* only owner address can transfer ether */
    function ownerTransferEther(address sendTo, uint amount) public 
		onlyOwner
    {        
        /* safely update contract balance when sending out funds*/
        contractBalance = safeSub(contractBalance, amount);		
        /* update max profit */
        setMaxProfit();
        if(!sendTo.send(amount)) throw;
        LogOwnerTransfer(sendTo, amount); 
    }

    /* only owner address can do manual refund
    * used only if bet placed + oraclize failed to __callback
    * filter LogBet by address and/or playerBetId:
    * LogBet(playerBetId[rngId], playerAddress[rngId], safeAdd(playerBetValue[rngId], playerProfit[rngId]), playerProfit[rngId], playerBetValue[rngId], playerNumber[rngId]);
    * check the following logs do not exist for playerBetId and/or playerAddress[rngId] before refunding:
    * LogResult or LogRefund
    * if LogResult exists player should use the withdraw pattern playerWithdrawPendingTransactions 
    */
    function ownerRefundPlayer(bytes32 originalPlayerBetId, address sendTo, uint originalPlayerProfit, uint originalPlayerBetValue) public 
		onlyOwner
    {        
        /* safely reduce pendingPayouts by playerProfit[rngId] */
        maxPendingPayouts = safeSub(maxPendingPayouts, originalPlayerProfit);
        /* send refund */
        if(!sendTo.send(originalPlayerBetValue)) throw;
        /* log refunds */
        LogRefund(originalPlayerBetId, sendTo, originalPlayerBetValue);        
    }    

    /* only owner address can set emergency pause #1 */
    function ownerPauseGame(bool newStatus) public 
		onlyOwner
    {
		gamePaused = newStatus;
    }

    /* only owner address can set emergency pause #2 */
    function ownerPausePayouts(bool newPayoutStatus) public 
		onlyOwner
    {
		payoutsPaused = newPayoutStatus;
    } 

    /* only owner address can set treasury address */
    function ownerSetTreasury(address newTreasury) public 
		onlyOwner
	{
        treasury = newTreasury;
    }         

    /* only owner address can set owner address */
    function ownerChangeOwner(address newOwner) public 
		onlyOwner
	{
        owner = newOwner;
    }

    /* only owner address can suicide - emergency */
    function ownerkill() public 
		onlyOwner
	{
		suicide(owner);
	}  


}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"newCallbackGasPrice","type":"uint256"}],"name":"ownerSetCallbackGasPrice","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalWeiWon","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxProfitAsPercentOfHouse","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newHouseEdge","type":"uint256"}],"name":"ownerSetHouseEdge","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"myid","type":"bytes32"},{"name":"result","type":"string"}],"name":"__callback","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"payoutsPaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newTreasury","type":"address"}],"name":"ownerSetTreasury","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"myid","type":"bytes32"},{"name":"result","type":"string"},{"name":"proof","type":"bytes"}],"name":"__callback","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"addressToCheck","type":"address"}],"name":"playerGetPendingTxByAddress","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newContractBalanceInWei","type":"uint256"}],"name":"ownerUpdateContractBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxProfitDivisor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newPayoutStatus","type":"bool"}],"name":"ownerPausePayouts","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"ownerChangeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"minNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newMaxProfitAsPercent","type":"uint256"}],"name":"ownerSetMaxProfitAsPercentOfHouse","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"treasury","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalWeiWagered","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newMinimumBet","type":"uint256"}],"name":"ownerSetMinBet","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newStatus","type":"bool"}],"name":"ownerPauseGame","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"gasForOraclize","outputs":[{"name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"sendTo","type":"address"},{"name":"amount","type":"uint256"}],"name":"ownerTransferEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"contractBalance","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":"minBet","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"playerWithdrawPendingTransactions","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxProfit","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalBets","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"gamePaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"originalPlayerBetId","type":"bytes32"},{"name":"sendTo","type":"address"},{"name":"originalPlayerProfit","type":"uint256"},{"name":"originalPlayerBetValue","type":"uint256"}],"name":"ownerRefundPlayer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newSafeGasToOraclize","type":"uint32"}],"name":"ownerSetOraclizeSafeGas","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"ownerkill","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"houseEdge","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"rollUnder","type":"uint256"}],"name":"playerRollDice","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"houseEdgeDivisor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxPendingPayouts","outputs":[{"name":"","type":"uint256"}],"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":"BetID","type":"bytes32"},{"indexed":true,"name":"PlayerAddress","type":"address"},{"indexed":true,"name":"RewardValue","type":"uint256"},{"indexed":false,"name":"ProfitValue","type":"uint256"},{"indexed":false,"name":"BetValue","type":"uint256"},{"indexed":false,"name":"PlayerNumber","type":"uint256"},{"indexed":false,"name":"RandomQueryID","type":"uint256"}],"name":"LogBet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"ResultSerialNumber","type":"uint256"},{"indexed":true,"name":"BetID","type":"bytes32"},{"indexed":true,"name":"PlayerAddress","type":"address"},{"indexed":false,"name":"PlayerNumber","type":"uint256"},{"indexed":false,"name":"DiceResult","type":"uint256"},{"indexed":false,"name":"Value","type":"uint256"},{"indexed":false,"name":"Status","type":"int256"},{"indexed":false,"name":"Proof","type":"bytes"}],"name":"LogResult","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"BetID","type":"bytes32"},{"indexed":true,"name":"PlayerAddress","type":"address"},{"indexed":true,"name":"RefundValue","type":"uint256"}],"name":"LogRefund","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"SentToAddress","type":"address"},{"indexed":true,"name":"AmountTransferred","type":"uint256"}],"name":"LogOwnerTransfer","type":"event"}]

6080604052620b6df7600c55694cd12173407218c04539600e5569b8e8cf1b93e56b7ae07f600f5560006010553480156200003957600080fd5b50600580547fffffffffffffff0000000000000000000000000000000000000000ffffffffff16336501000000000081029190911790915560068054600160a060020a031916909117905562000099600064010000000062000149810204565b50620000ce7f1100000000000000000000000000000000000000000000000000000000000000640100000000620004f8810204565b620000e46103de6401000000006200075a810204565b620000fa61271064010000000062000780810204565b6200011667016345785d8a0000640100000000620007c9810204565b6005805464ffffffff001916630395f800179055620001436404a817c800640100000000620007ef810204565b62000ae7565b60008062000174731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed64010000000062000a13810204565b1115620001f25760008054600160a060020a031916731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed17905560408051808201909152600b81527f6574685f6d61696e6e65740000000000000000000000000000000000000000006020820152620001e99064010000000062000a17810204565b506001620004f3565b60006200021c73c03a2615d5efaf5f49f60b7bb6583eaec212fdf164010000000062000a13810204565b1115620002915760008054600160a060020a03191673c03a2615d5efaf5f49f60b7bb6583eaec212fdf117905560408051808201909152600c81527f6574685f726f707374656e3300000000000000000000000000000000000000006020820152620001e99064010000000062000a17810204565b6000620002bb73b7a07bcf2ba2f2703b24c0691b5278999c59ac7e64010000000062000a13810204565b1115620003305760008054600160a060020a03191673b7a07bcf2ba2f2703b24c0691b5278999c59ac7e17905560408051808201909152600981527f6574685f6b6f76616e00000000000000000000000000000000000000000000006020820152620001e99064010000000062000a17810204565b60006200035a73146500cfd35b22e4a392fe0adc06de1a1368ed4864010000000062000a13810204565b1115620003cf5760008054600160a060020a03191673146500cfd35b22e4a392fe0adc06de1a1368ed4817905560408051808201909152600b81527f6574685f72696e6b6562790000000000000000000000000000000000000000006020820152620001e99064010000000062000a17810204565b6000620003f9736f485c8bf6fc43ea212e93bbf8ce046c7f1cb47564010000000062000a13810204565b11156200042f575060008054600160a060020a031916736f485c8bf6fc43ea212e93bbf8ce046c7f1cb4751790556001620004f3565b6000620004597320e12a1f859b3feae5fb2a0a32c18f5a65555bbf64010000000062000a13810204565b11156200048f575060008054600160a060020a0319167320e12a1f859b3feae5fb2a0a32c18f5a65555bbf1790556001620004f3565b6000620004b97351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa64010000000062000a13810204565b1115620004ef575060008054600160a060020a0319167351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa1790556001620004f3565b5060005b919050565b600054600160a060020a031615806200052e57506000546200052c90600160a060020a031664010000000062000a13810204565b155b156200054b5762000549600064010000000062000149810204565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015620005b757600080fd5b505af1158015620005cc573d6000803e3d6000fd5b505050506040513d6020811015620005e357600080fd5b5051600154600160a060020a03908116911614620006b5576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b1580156200066757600080fd5b505af11580156200067c573d6000803e3d6000fd5b505050506040513d60208110156200069357600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517f688dcfd70000000000000000000000000000000000000000000000000000000081527fff00000000000000000000000000000000000000000000000000000000000000841660048201529051600160a060020a039092169163688dcfd79160248082019260009290919082900301818387803b1580156200073d57600080fd5b505af115801562000752573d6000803e3d6000fd5b505050505b50565b600554650100000000009004600160a060020a031633146200077b57600080fd5b600855565b600554650100000000009004600160a060020a03163314620007a157600080fd5b612710811115620007b157600080fd5b600a8190556200075764010000000062000a30810204565b600554650100000000009004600160a060020a03163314620007ea57600080fd5b600b55565b600054600160a060020a031615806200082557506000546200082390600160a060020a031664010000000062000a13810204565b155b15620008425762000840600064010000000062000149810204565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015620008ae57600080fd5b505af1158015620008c3573d6000803e3d6000fd5b505050506040513d6020811015620008da57600080fd5b5051600154600160a060020a03908116911614620009ac576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b1580156200095e57600080fd5b505af115801562000973573d6000803e3d6000fd5b505050506040513d60208110156200098a57600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517fca6ad1e4000000000000000000000000000000000000000000000000000000008152600481018490529051600160a060020a039092169163ca6ad1e49160248082019260009290919082900301818387803b1580156200073d57600080fd5b3b90565b805162000a2c90600290602084019062000a42565b5050565b600a54600754620f4240910204600955565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1062000a8557805160ff191683800117855562000ab5565b8280016001018555821562000ab5579182015b8281111562000ab557825182559160200191906001019062000a98565b5062000ac392915062000ac7565b5090565b62000ae491905b8082111562000ac3576000815560010162000ace565b90565b612f128062000af76000396000f3006080604052600436106101a85763ffffffff60e060020a600035041663126596e781146101d857806315c12d4d146101f057806323214fab14610217578063268d50fe1461022c57806327dc297e14610244578063301cf6e7146102a257806331375242146102cb57806338bbfa50146102ec5780633a4f6999146103885780633c314a911461039d5780634025b5a8146103be57806343c1598d146103d65780634b7fcee7146103eb5780634f44728d1461040557806355b93031146104265780635e968a491461043b57806361d027b314610453578063666f4cad146104845780636cdf4c90146104995780636eacd48a146104b15780637072a977146104cb5780637ac37d58146104f95780638b7afe2e1461051d5780638da5cb5b146105325780639619367d14610547578063a5f4af331461055c578063b539cd5514610571578063befa1e2f14610586578063c3de1ab91461059b578063cf832ce2146105b0578063d207e757146105da578063d263b7eb146105f8578063d667dcd71461060d578063dc6dd15214610622578063e5c774de1461062d578063ed62f50114610642575b600654600160a060020a031633146101bf57600080fd5b6101cb60075434610657565b6007556101d6610673565b005b3480156101e457600080fd5b506101d6600435610685565b3480156101fc57600080fd5b506102056106b1565b60408051918252519081900360200190f35b34801561022357600080fd5b506102056106b7565b34801561023857600080fd5b506101d66004356106bd565b34801561025057600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d69583359536956044949193909101919081908401838280828437509497506106e29650505050505050565b3480156102ae57600080fd5b506102b7610702565b604080519115158252519081900360200190f35b3480156102d757600080fd5b506101d6600160a060020a0360043516610728565b3480156102f857600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d695833595369560449491939091019190819084018382808284375050604080516020601f89358b018035918201839004830284018301909452808352979a99988101979196509182019450925082915084018382808284375094975061076a9650505050505050565b34801561039457600080fd5b506102056112ab565b3480156103a957600080fd5b50610205600160a060020a03600435166112b0565b3480156103ca57600080fd5b506101d66004356112cf565b3480156103e257600080fd5b506102056112f4565b3480156103f757600080fd5b506101d660043515156112fb565b34801561041157600080fd5b506101d6600160a060020a0360043516611365565b34801561043257600080fd5b506102056113c2565b34801561044757600080fd5b506101d66004356113c7565b34801561045f57600080fd5b50610468611403565b60408051600160a060020a039092168252519081900360200190f35b34801561049057600080fd5b50610205611412565b3480156104a557600080fd5b506101d6600435611418565b3480156104bd57600080fd5b506101d6600435151561143d565b3480156104d757600080fd5b506104e0611470565b6040805163ffffffff9092168252519081900360200190f35b34801561050557600080fd5b506101d6600160a060020a0360043516602435611481565b34801561052957600080fd5b50610205611522565b34801561053e57600080fd5b50610468611528565b34801561055357600080fd5b50610205611540565b34801561056857600080fd5b506102b7611546565b34801561057d57600080fd5b506102056115bb565b34801561059257600080fd5b506102056115c1565b3480156105a757600080fd5b506102b76115c7565b3480156105bc57600080fd5b506101d6600435600160a060020a03602435166044356064356115d0565b3480156105e657600080fd5b506101d663ffffffff6004351661166d565b34801561060457600080fd5b506101d66116af565b34801561061957600080fd5b506102056116e6565b6101d66004356116ec565b34801561063957600080fd5b50610205611cc6565b34801561064e57600080fd5b50610205611ccc565b60006106638383611cd2565b151561066e57600080fd5b500190565b600a54600754620f4240910204600955565b600554650100000000009004600160a060020a031633146106a557600080fd5b6106ae81611cd9565b50565b600e5481565b600a5481565b600554650100000000009004600160a060020a031633146106dd57600080fd5b600855565b6040805160008152602081019091526106fe908390839061076a565b5050565b600554790100000000000000000000000000000000000000000000000000900460ff1681565b600554650100000000009004600160a060020a0316331461074857600080fd5b60068054600160a060020a031916600160a060020a0392909216919091179055565b610772612c7e565b60008061077d611ec6565b600160a060020a0316331461079157600080fd5b600554790100000000000000000000000000000000000000000000000000900460ff161515600114156107c357600080fd5b600086815260116020526040902054600160a060020a031615156107e657600080fd5b6107ef856120b8565b92506108476108426108356040805190810160405280600181526020017f20000000000000000000000000000000000000000000000000000000000000008152506120b8565b859063ffffffff6120de16565b6120f8565b6040518082805190602001908083835b602083106108765780518252601f199092019160209182019101610857565b51815160209384036101000a600019018019909216911617905260408051929094018290038220828501909452600182527f2c00000000000000000000000000000000000000000000000000000000000000908201529195506108f993506108f49250610842916108e791506120b8565b869063ffffffff6120de16565b61214b565b90506109076108f4846120f8565b600087815260166020908152604080832093909355601181528282208054601283528484208054600160a060020a03909216600160a060020a03199283161790558154169055601981528282208054601a9092529282209081559155600d549054610972919061215e565b600d5560008681526014602090815260408083208054601590935290832091825591909155600c8054600101905554600f80549091019055835115806109c657506000868152601b60205260409020548214155b806109dd5750600086815260166020526040902054155b806109e757508451155b15610d395760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601560008d600019166000191681526020019081526020016000205460038b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610b00578181015183820152602001610ae8565b50505050905090810190601f168015610b2d5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a46000868152601260209081526040808320546015909252808320549051600160a060020a039092169281156108fc029290818181858888f193505050501515610d345760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601560008d600019166000191681526020019081526020016000205460048b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610c95578181015183820152602001610c7d565b50505050905090810190601f168015610cc25780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600086815260126020908152604080832054600160a060020a031683526018825280832054898452601590925290912054610d0e9190610657565b600087815260126020908152604080832054600160a060020a0316835260189091529020555b6112a3565b6000868152601760209081526040808320546016909252909120541015611106576007546000878152601a6020526040902054610d76919061215e565b600755600e546000878152601a6020526040902054610d959190610657565b600e556000868152601a6020908152604080832054601590925290912054610dbd9190610657565b601a600088600019166000191681526020019081526020016000208190555060126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601a60008d600019166000191681526020019081526020016000205460018b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ef0578181015183820152602001610ed8565b50505050905090810190601f168015610f1d5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4610f36610673565b600086815260126020908152604080832054601a909252808320549051600160a060020a039092169281156108fc029290818181858888f193505050501515610d345760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601a60008d600019166000191681526020019081526020016000205460028b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561108d578181015183820152602001611075565b50505050905090810190601f1680156110ba5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600086815260126020908152604080832054600160a060020a031683526018825280832054898452601a90925290912054610d0e9190610657565b600086815260176020908152604080832054601690925290912054106112a357600086815260126020908152604080832054601383528184205460178452828520546016855283862054601586528487205485518381528088018390529586018190526060860188905260a0608087018181528d51918801919091528c51600160a060020a039096169894978a97600080516020612d2483398151915297959694959394938f93919260c084019190850190808383895b838110156111d55781810151838201526020016111bd565b50505050905090810190601f1680156112025780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600754600087815260156020526040902054611233919060001901610657565b60075561123e610673565b600086815260126020526040808220549051600160a060020a03909116919060019082818181858883f193505050501515610d3457600086815260126020908152604080832054600160a060020a031683526018909152902054610d0e906001610657565b505050505050565b606381565b600160a060020a0381166000908152601860205260409020545b919050565b600554650100000000009004600160a060020a031633146112ef57600080fd5b600755565b620f424081565b600554650100000000009004600160a060020a0316331461131b57600080fd5b600580549115157901000000000000000000000000000000000000000000000000000279ff0000000000000000000000000000000000000000000000000019909216919091179055565b600554650100000000009004600160a060020a0316331461138557600080fd5b60058054600160a060020a03909216650100000000000278ffffffffffffffffffffffffffffffffffffffff000000000019909216919091179055565b600281565b600554650100000000009004600160a060020a031633146113e757600080fd5b6127108111156113f657600080fd5b600a8190556106ae610673565b600654600160a060020a031681565b600f5481565b600554650100000000009004600160a060020a0316331461143857600080fd5b600b55565b600554650100000000009004600160a060020a0316331461145d57600080fd5b6005805460ff1916911515919091179055565b600554610100900463ffffffff1681565b600554650100000000009004600160a060020a031633146114a157600080fd5b6114ad6007548261215e565b6007556114b8610673565b604051600160a060020a0383169082156108fc029083906000818181858888f1935050505015156114e857600080fd5b6040518190600160a060020a038416907f42c501a185f41a8eb77b0a3e7b72a6435ea7aa752f8a1a0a13ca4628495eca9190600090a35050565b60075481565b600554650100000000009004600160a060020a031681565b600b5481565b600080600560199054906101000a900460ff16151560011515141561156a57600080fd5b5033600081815260186020526040808220805490839055905190929183919081818185875af192505050156115a257600191506115b7565b33600090815260186020526040812082905591505b5090565b60095481565b600c5481565b60055460ff1681565b600554650100000000009004600160a060020a031633146115f057600080fd5b6115fc600d548361215e565b600d55604051600160a060020a0384169082156108fc029083906000818181858888f19350505050151561162f57600080fd5b6040518190600160a060020a0385169086907f7b6ccf85690b8ce1b7d21a94ca738803a9da7dc74e10140f269efa0d8d6fb85190600090a450505050565b600554650100000000009004600160a060020a0316331461168d57600080fd5b6005805463ffffffff9092166101000264ffffffff0019909216919091179055565b600554650100000000009004600160a060020a031633146116cf57600080fd5b600554650100000000009004600160a060020a0316ff5b60085481565b60055460609060009060ff1615156001141561170757600080fd5b3483600954826103e86008548561171f86600161215e565b61172a87600161215e565b606403880281151561173857fe5b04010281151561174457fe5b040311806117535750600b5482105b8061175e5750600281105b806117695750606381115b1561177357600080fd5b60108054600101908190556117879061217b565b6117908661217b565b6117993461217b565b6040516020018084805190602001908083835b602083106117cb5780518252601f1990920191602091820191016117ac565b51815160209384036101000a600019018019909216911617905286519190930192860191508083835b602083106118135780518252601f1990920191602091820191016117f4565b51815160209384036101000a600019018019909216911617905285519190930192850191508083835b6020831061185b5780518252601f19909201916020918201910161183c565b51815160209384036101000a60001901801990921691161790526040805192909401828103601f190183528085018552600681527f6e657374656400000000000000000000000000000000000000000000000000008183015284518086018652600b81527f5b6964656e746974795d200000000000000000000000000000000000000000008184015285516101e081019096526101a3808752939d50611aed995090975095508b9450909150612d4490830139886040805190810160405280601481526020017f247b5b6964656e746974795d20227d227d275d7d0000000000000000000000008152506040516020018086805190602001908083835b602083106119775780518252601f199092019160209182019101611958565b51815160209384036101000a600019018019909216911617905288519190930192880191508083835b602083106119bf5780518252601f1990920191602091820191016119a0565b51815160209384036101000a600019018019909216911617905287519190930192870191508083835b60208310611a075780518252601f1990920191602091820191016119e8565b51815160209384036101000a600019018019909216911617905286519190930192860191508083835b60208310611a4f5780518252601f199092019160209182019101611a30565b51815160209384036101000a600019018019909216911617905285519190930192850191508083835b60208310611a975780518252601f199092019160209182019101611a78565b6001836020036101000a03801982511681845116808217855250505050505090500195505050505050604051602081830303815290604052600560019054906101000a900463ffffffff1663ffffffff1661226e565b60008181526013602090815260409182902083905590518651929550869290918291908401908083835b60208310611b365780518252601f199092019160209182019101611b17565b51815160001960209485036101000a0190811690199190911617905260408051949092018490039093206000898152601b855282812091909155601784528181208b90556014845281812034908190556011909452208054600160a060020a03191633179055506008549092506103e8915082611bb489600161215e565b611bbf8a600161215e565b6064033402811515611bcd57fe5b040102811515611bd957fe5b60008681526019602052604090209190049190910390819055600d54611bfe91610657565b600d81905560075411611c1057600080fd5b600083815260146020908152604080832054601990925290912054611c359190610657565b6000848152601160209081526040808320546013835281842054601984528285205460148552838620546017865295849020546010548551928352958201969096528084019590955260608501939093529051600160a060020a03909116927f56b3f1a6cd856076d6f8adbf8170c43a0b0f532fc5696a2699a0e0cabc704163919081900360800190a45050505050565b6103e881565b600d5481565b8101101590565b600054600160a060020a03161580611d035750600054611d0190600160a060020a031661266f565b155b15611d1457611d126000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611d6657600080fd5b505af1158015611d7a573d6000803e3d6000fd5b505050506040513d6020811015611d9057600080fd5b5051600154600160a060020a03908116911614611e45576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611df957600080fd5b505af1158015611e0d573d6000803e3d6000fd5b505050506040513d6020811015611e2357600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517fca6ad1e4000000000000000000000000000000000000000000000000000000008152600481018490529051600160a060020a039092169163ca6ad1e49160248082019260009290919082900301818387803b158015611eab57600080fd5b505af1158015611ebf573d6000803e3d6000fd5b5050505050565b60008054600160a060020a03161580611ef15750600054611eef90600160a060020a031661266f565b155b15611f0257611f006000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611f5457600080fd5b505af1158015611f68573d6000803e3d6000fd5b505050506040513d6020811015611f7e57600080fd5b5051600154600160a060020a03908116911614612033576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611fe757600080fd5b505af1158015611ffb573d6000803e3d6000fd5b505050506040513d602081101561201157600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600160009054906101000a9004600160a060020a0316600160a060020a031663c281d19e6040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561208657600080fd5b505af115801561209a573d6000803e3d6000fd5b505050506040513d60208110156120b057600080fd5b505190505b90565b6120c0612c7e565b50604080518082019091528151815260209182019181019190915290565b6120e6612c7e565b6120f183838361299d565b5092915050565b606080600083600001516040519080825280601f01601f19166020018201604052801561212f578160200160208202803883390190505b5091506020820190506120f18185602001518660000151612a0e565b6000612158826000612a52565b92915050565b600061216a8383612bc4565b151561217557600080fd5b50900390565b606060008082818515156121c45760408051808201909152600181527f300000000000000000000000000000000000000000000000000000000000000060208201529450612265565b8593505b83156121df57600190920191600a840493506121c8565b826040519080825280601f01601f19166020018201604052801561220d578160200160208202803883390190505b5091505060001982015b851561226157815160001982019160f860020a6030600a8a06010291849190811061223e57fe5b906020010190600160f860020a031916908160001a905350600a86049550612217565b8194505b50505050919050565b600080548190600160a060020a0316158061229b575060005461229990600160a060020a031661266f565b155b156122ac576122aa6000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156122fe57600080fd5b505af1158015612312573d6000803e3d6000fd5b505050506040513d602081101561232857600080fd5b5051600154600160a060020a039081169116146123dd576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561239157600080fd5b505af11580156123a5573d6000803e3d6000fd5b505050506040513d60208110156123bb57600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517f2ef3accc0000000000000000000000000000000000000000000000000000000081526024810186905260048101918252875160448201528751600160a060020a0390931692632ef3accc9289928892829160640190602086019080838360005b8381101561245d578181015183820152602001612445565b50505050905090810190601f16801561248a5780820380516001836020036101000a031916815260200191505b509350505050602060405180830381600087803b1580156124aa57600080fd5b505af11580156124be573d6000803e3d6000fd5b505050506040513d60208110156124d457600080fd5b50519050670de0b6b3a76400003a8402018111156124f55760009150612667565b6001546040517fc51be90f00000000000000000000000000000000000000000000000000000000815260006004820181815260648301879052608060248401908152895160848501528951600160a060020a039095169463c51be90f948794938c938c938c93604481019160a49091019060208801908083838c5b83811015612588578181015183820152602001612570565b50505050905090810190601f1680156125b55780820380516001836020036101000a031916815260200191505b50838103825285518152855160209182019187019080838360005b838110156125e85781810151838201526020016125d0565b50505050905090810190601f1680156126155780820380516001836020036101000a031916815260200191505b5096505050505050506020604051808303818588803b15801561263757600080fd5b505af115801561264b573d6000803e3d6000fd5b50505050506040513d602081101561266257600080fd5b505191505b509392505050565b3b90565b600080612693731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed61266f565b11156127045760008054600160a060020a031916731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed17905560408051808201909152600b81527f6574685f6d61696e6e657400000000000000000000000000000000000000000060208201526126fc90612bc9565b5060016112ca565b600061272373c03a2615d5efaf5f49f60b7bb6583eaec212fdf161266f565b111561278c5760008054600160a060020a03191673c03a2615d5efaf5f49f60b7bb6583eaec212fdf117905560408051808201909152600c81527f6574685f726f707374656e33000000000000000000000000000000000000000060208201526126fc90612bc9565b60006127ab73b7a07bcf2ba2f2703b24c0691b5278999c59ac7e61266f565b11156128145760008054600160a060020a03191673b7a07bcf2ba2f2703b24c0691b5278999c59ac7e17905560408051808201909152600981527f6574685f6b6f76616e000000000000000000000000000000000000000000000060208201526126fc90612bc9565b600061283373146500cfd35b22e4a392fe0adc06de1a1368ed4861266f565b111561289c5760008054600160a060020a03191673146500cfd35b22e4a392fe0adc06de1a1368ed4817905560408051808201909152600b81527f6574685f72696e6b65627900000000000000000000000000000000000000000060208201526126fc90612bc9565b60006128bb736f485c8bf6fc43ea212e93bbf8ce046c7f1cb47561266f565b11156128ef575060008054600160a060020a031916736f485c8bf6fc43ea212e93bbf8ce046c7f1cb47517905560016112ca565b600061290e7320e12a1f859b3feae5fb2a0a32c18f5a65555bbf61266f565b1115612942575060008054600160a060020a0319167320e12a1f859b3feae5fb2a0a32c18f5a65555bbf17905560016112ca565b60006129617351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa61266f565b1115612995575060008054600160a060020a0319167351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa17905560016112ca565b506000919050565b6129a5612c7e565b60006129c38560000151866020015186600001518760200151612bdc565b602080870180519186019190915280518203855286519051919250018114156129ef5760008552612a05565b8351835186519101900385528351810160208601525b50909392505050565b60005b60208210612a33578251845260209384019390920191601f1990910190612a11565b50905182516020929092036101000a6000190180199091169116179052565b6000828180805b8351811015612ba75783517f300000000000000000000000000000000000000000000000000000000000000090859083908110612a9257fe5b90602001015160f860020a900460f860020a02600160f860020a03191610158015612b08575083517f390000000000000000000000000000000000000000000000000000000000000090859083908110612ae857fe5b90602001015160f860020a900460f860020a02600160f860020a03191611155b15612b61578115612b2757851515612b1f57612ba7565b600019909501945b600a8302925060308482815181101515612b3d57fe5b90602001015160f860020a900460f860020a0260f860020a90040383019250612b9f565b8381815181101515612b6f57fe5b90602001015160f860020a900460f860020a02600160f860020a031916602e60f860020a021415612b9f57600191505b600101612a59565b6000861115612bb95785600a0a830292505b509095945050505050565b111590565b80516106fe906002906020840190612c95565b600080808080888711612c6c5760208711612c325760018760200360080260020a031980875116888b038a018a96505b818388511614612c275760018701968111612c0c578b8b0196505b505050839450612c72565b8686209150879350600092505b8689038311612c6c575085832081811415612c5c57839450612c72565b6001938401939290920191612c3f565b88880194505b50505050949350505050565b604080518082019091526000808252602082015290565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10612cd657805160ff1916838001178555612d03565b82800160010185558215612d03579182015b82811115612d03578251825591602001919060010190612ce8565b506115b7926120b59250905b808211156115b75760008155600101612d0f56008dd0b145385d04711e29558ceab40b456976a2b9a7d648cc1bcd416161bf97b920247b5b55524c5d205b276a736f6e2868747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e2d7270632f312f696e766f6b65292e726573756c742e72616e646f6d5b2273657269616c4e756d626572222c2264617461225d272c20275c6e7b226a736f6e727063223a22322e30222c226d6574686f64223a2267656e65726174655369676e6564496e746567657273222c22706172616d73223a7b226170694b6579223a247b5b646563727970745d20424850746c6e7a497157754b31746f6f47546c50752b5a6a657236754d487566484b3634344f4c79707a53462b786166636b44712f5444457242784b4d4343627353594a516858356e623673576b50356f576254714f6e344446664967424952612b35467135447342734b6f33414a43675849586234517347327268784a6164342b564c6e6f784e44456169522f4d357144414179496975576433546362673d7d2c226e223a312c226d696e223a312c226d6178223a3130302c227265706c6163656d656e74223a747275652c2262617365223a3130247b5b6964656e746974795d20227d227d2c226964223aa165627a7a723058203ab0c682e28ab7c788b19fd1e9a1f861e3c5fb4c3d187bf5080b84ad2703696d0029

0x6080604052600436106101a85763ffffffff60e060020a600035041663126596e781146101d857806315c12d4d146101f057806323214fab14610217578063268d50fe1461022c57806327dc297e14610244578063301cf6e7146102a257806331375242146102cb57806338bbfa50146102ec5780633a4f6999146103885780633c314a911461039d5780634025b5a8146103be57806343c1598d146103d65780634b7fcee7146103eb5780634f44728d1461040557806355b93031146104265780635e968a491461043b57806361d027b314610453578063666f4cad146104845780636cdf4c90146104995780636eacd48a146104b15780637072a977146104cb5780637ac37d58146104f95780638b7afe2e1461051d5780638da5cb5b146105325780639619367d14610547578063a5f4af331461055c578063b539cd5514610571578063befa1e2f14610586578063c3de1ab91461059b578063cf832ce2146105b0578063d207e757146105da578063d263b7eb146105f8578063d667dcd71461060d578063dc6dd15214610622578063e5c774de1461062d578063ed62f50114610642575b600654600160a060020a031633146101bf57600080fd5b6101cb60075434610657565b6007556101d6610673565b005b3480156101e457600080fd5b506101d6600435610685565b3480156101fc57600080fd5b506102056106b1565b60408051918252519081900360200190f35b34801561022357600080fd5b506102056106b7565b34801561023857600080fd5b506101d66004356106bd565b34801561025057600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d69583359536956044949193909101919081908401838280828437509497506106e29650505050505050565b3480156102ae57600080fd5b506102b7610702565b604080519115158252519081900360200190f35b3480156102d757600080fd5b506101d6600160a060020a0360043516610728565b3480156102f857600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d695833595369560449491939091019190819084018382808284375050604080516020601f89358b018035918201839004830284018301909452808352979a99988101979196509182019450925082915084018382808284375094975061076a9650505050505050565b34801561039457600080fd5b506102056112ab565b3480156103a957600080fd5b50610205600160a060020a03600435166112b0565b3480156103ca57600080fd5b506101d66004356112cf565b3480156103e257600080fd5b506102056112f4565b3480156103f757600080fd5b506101d660043515156112fb565b34801561041157600080fd5b506101d6600160a060020a0360043516611365565b34801561043257600080fd5b506102056113c2565b34801561044757600080fd5b506101d66004356113c7565b34801561045f57600080fd5b50610468611403565b60408051600160a060020a039092168252519081900360200190f35b34801561049057600080fd5b50610205611412565b3480156104a557600080fd5b506101d6600435611418565b3480156104bd57600080fd5b506101d6600435151561143d565b3480156104d757600080fd5b506104e0611470565b6040805163ffffffff9092168252519081900360200190f35b34801561050557600080fd5b506101d6600160a060020a0360043516602435611481565b34801561052957600080fd5b50610205611522565b34801561053e57600080fd5b50610468611528565b34801561055357600080fd5b50610205611540565b34801561056857600080fd5b506102b7611546565b34801561057d57600080fd5b506102056115bb565b34801561059257600080fd5b506102056115c1565b3480156105a757600080fd5b506102b76115c7565b3480156105bc57600080fd5b506101d6600435600160a060020a03602435166044356064356115d0565b3480156105e657600080fd5b506101d663ffffffff6004351661166d565b34801561060457600080fd5b506101d66116af565b34801561061957600080fd5b506102056116e6565b6101d66004356116ec565b34801561063957600080fd5b50610205611cc6565b34801561064e57600080fd5b50610205611ccc565b60006106638383611cd2565b151561066e57600080fd5b500190565b600a54600754620f4240910204600955565b600554650100000000009004600160a060020a031633146106a557600080fd5b6106ae81611cd9565b50565b600e5481565b600a5481565b600554650100000000009004600160a060020a031633146106dd57600080fd5b600855565b6040805160008152602081019091526106fe908390839061076a565b5050565b600554790100000000000000000000000000000000000000000000000000900460ff1681565b600554650100000000009004600160a060020a0316331461074857600080fd5b60068054600160a060020a031916600160a060020a0392909216919091179055565b610772612c7e565b60008061077d611ec6565b600160a060020a0316331461079157600080fd5b600554790100000000000000000000000000000000000000000000000000900460ff161515600114156107c357600080fd5b600086815260116020526040902054600160a060020a031615156107e657600080fd5b6107ef856120b8565b92506108476108426108356040805190810160405280600181526020017f20000000000000000000000000000000000000000000000000000000000000008152506120b8565b859063ffffffff6120de16565b6120f8565b6040518082805190602001908083835b602083106108765780518252601f199092019160209182019101610857565b51815160209384036101000a600019018019909216911617905260408051929094018290038220828501909452600182527f2c00000000000000000000000000000000000000000000000000000000000000908201529195506108f993506108f49250610842916108e791506120b8565b869063ffffffff6120de16565b61214b565b90506109076108f4846120f8565b600087815260166020908152604080832093909355601181528282208054601283528484208054600160a060020a03909216600160a060020a03199283161790558154169055601981528282208054601a9092529282209081559155600d549054610972919061215e565b600d5560008681526014602090815260408083208054601590935290832091825591909155600c8054600101905554600f80549091019055835115806109c657506000868152601b60205260409020548214155b806109dd5750600086815260166020526040902054155b806109e757508451155b15610d395760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601560008d600019166000191681526020019081526020016000205460038b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610b00578181015183820152602001610ae8565b50505050905090810190601f168015610b2d5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a46000868152601260209081526040808320546015909252808320549051600160a060020a039092169281156108fc029290818181858888f193505050501515610d345760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601560008d600019166000191681526020019081526020016000205460048b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610c95578181015183820152602001610c7d565b50505050905090810190601f168015610cc25780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600086815260126020908152604080832054600160a060020a031683526018825280832054898452601590925290912054610d0e9190610657565b600087815260126020908152604080832054600160a060020a0316835260189091529020555b6112a3565b6000868152601760209081526040808320546016909252909120541015611106576007546000878152601a6020526040902054610d76919061215e565b600755600e546000878152601a6020526040902054610d959190610657565b600e556000868152601a6020908152604080832054601590925290912054610dbd9190610657565b601a600088600019166000191681526020019081526020016000208190555060126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601a60008d600019166000191681526020019081526020016000205460018b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ef0578181015183820152602001610ed8565b50505050905090810190601f168015610f1d5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4610f36610673565b600086815260126020908152604080832054601a909252808320549051600160a060020a039092169281156108fc029290818181858888f193505050501515610d345760126000876000191660001916815260200190815260200160002060009054906101000a9004600160a060020a0316600160a060020a0316601360008860001916600019168152602001908152602001600020546000191682600080516020612d24833981519152601760008b6000191660001916815260200190815260200160002054601660008c6000191660001916815260200190815260200160002054601a60008d600019166000191681526020019081526020016000205460028b6040518086815260200185815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561108d578181015183820152602001611075565b50505050905090810190601f1680156110ba5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600086815260126020908152604080832054600160a060020a031683526018825280832054898452601a90925290912054610d0e9190610657565b600086815260176020908152604080832054601690925290912054106112a357600086815260126020908152604080832054601383528184205460178452828520546016855283862054601586528487205485518381528088018390529586018190526060860188905260a0608087018181528d51918801919091528c51600160a060020a039096169894978a97600080516020612d2483398151915297959694959394938f93919260c084019190850190808383895b838110156111d55781810151838201526020016111bd565b50505050905090810190601f1680156112025780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a4600754600087815260156020526040902054611233919060001901610657565b60075561123e610673565b600086815260126020526040808220549051600160a060020a03909116919060019082818181858883f193505050501515610d3457600086815260126020908152604080832054600160a060020a031683526018909152902054610d0e906001610657565b505050505050565b606381565b600160a060020a0381166000908152601860205260409020545b919050565b600554650100000000009004600160a060020a031633146112ef57600080fd5b600755565b620f424081565b600554650100000000009004600160a060020a0316331461131b57600080fd5b600580549115157901000000000000000000000000000000000000000000000000000279ff0000000000000000000000000000000000000000000000000019909216919091179055565b600554650100000000009004600160a060020a0316331461138557600080fd5b60058054600160a060020a03909216650100000000000278ffffffffffffffffffffffffffffffffffffffff000000000019909216919091179055565b600281565b600554650100000000009004600160a060020a031633146113e757600080fd5b6127108111156113f657600080fd5b600a8190556106ae610673565b600654600160a060020a031681565b600f5481565b600554650100000000009004600160a060020a0316331461143857600080fd5b600b55565b600554650100000000009004600160a060020a0316331461145d57600080fd5b6005805460ff1916911515919091179055565b600554610100900463ffffffff1681565b600554650100000000009004600160a060020a031633146114a157600080fd5b6114ad6007548261215e565b6007556114b8610673565b604051600160a060020a0383169082156108fc029083906000818181858888f1935050505015156114e857600080fd5b6040518190600160a060020a038416907f42c501a185f41a8eb77b0a3e7b72a6435ea7aa752f8a1a0a13ca4628495eca9190600090a35050565b60075481565b600554650100000000009004600160a060020a031681565b600b5481565b600080600560199054906101000a900460ff16151560011515141561156a57600080fd5b5033600081815260186020526040808220805490839055905190929183919081818185875af192505050156115a257600191506115b7565b33600090815260186020526040812082905591505b5090565b60095481565b600c5481565b60055460ff1681565b600554650100000000009004600160a060020a031633146115f057600080fd5b6115fc600d548361215e565b600d55604051600160a060020a0384169082156108fc029083906000818181858888f19350505050151561162f57600080fd5b6040518190600160a060020a0385169086907f7b6ccf85690b8ce1b7d21a94ca738803a9da7dc74e10140f269efa0d8d6fb85190600090a450505050565b600554650100000000009004600160a060020a0316331461168d57600080fd5b6005805463ffffffff9092166101000264ffffffff0019909216919091179055565b600554650100000000009004600160a060020a031633146116cf57600080fd5b600554650100000000009004600160a060020a0316ff5b60085481565b60055460609060009060ff1615156001141561170757600080fd5b3483600954826103e86008548561171f86600161215e565b61172a87600161215e565b606403880281151561173857fe5b04010281151561174457fe5b040311806117535750600b5482105b8061175e5750600281105b806117695750606381115b1561177357600080fd5b60108054600101908190556117879061217b565b6117908661217b565b6117993461217b565b6040516020018084805190602001908083835b602083106117cb5780518252601f1990920191602091820191016117ac565b51815160209384036101000a600019018019909216911617905286519190930192860191508083835b602083106118135780518252601f1990920191602091820191016117f4565b51815160209384036101000a600019018019909216911617905285519190930192850191508083835b6020831061185b5780518252601f19909201916020918201910161183c565b51815160209384036101000a60001901801990921691161790526040805192909401828103601f190183528085018552600681527f6e657374656400000000000000000000000000000000000000000000000000008183015284518086018652600b81527f5b6964656e746974795d200000000000000000000000000000000000000000008184015285516101e081019096526101a3808752939d50611aed995090975095508b9450909150612d4490830139886040805190810160405280601481526020017f247b5b6964656e746974795d20227d227d275d7d0000000000000000000000008152506040516020018086805190602001908083835b602083106119775780518252601f199092019160209182019101611958565b51815160209384036101000a600019018019909216911617905288519190930192880191508083835b602083106119bf5780518252601f1990920191602091820191016119a0565b51815160209384036101000a600019018019909216911617905287519190930192870191508083835b60208310611a075780518252601f1990920191602091820191016119e8565b51815160209384036101000a600019018019909216911617905286519190930192860191508083835b60208310611a4f5780518252601f199092019160209182019101611a30565b51815160209384036101000a600019018019909216911617905285519190930192850191508083835b60208310611a975780518252601f199092019160209182019101611a78565b6001836020036101000a03801982511681845116808217855250505050505090500195505050505050604051602081830303815290604052600560019054906101000a900463ffffffff1663ffffffff1661226e565b60008181526013602090815260409182902083905590518651929550869290918291908401908083835b60208310611b365780518252601f199092019160209182019101611b17565b51815160001960209485036101000a0190811690199190911617905260408051949092018490039093206000898152601b855282812091909155601784528181208b90556014845281812034908190556011909452208054600160a060020a03191633179055506008549092506103e8915082611bb489600161215e565b611bbf8a600161215e565b6064033402811515611bcd57fe5b040102811515611bd957fe5b60008681526019602052604090209190049190910390819055600d54611bfe91610657565b600d81905560075411611c1057600080fd5b600083815260146020908152604080832054601990925290912054611c359190610657565b6000848152601160209081526040808320546013835281842054601984528285205460148552838620546017865295849020546010548551928352958201969096528084019590955260608501939093529051600160a060020a03909116927f56b3f1a6cd856076d6f8adbf8170c43a0b0f532fc5696a2699a0e0cabc704163919081900360800190a45050505050565b6103e881565b600d5481565b8101101590565b600054600160a060020a03161580611d035750600054611d0190600160a060020a031661266f565b155b15611d1457611d126000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611d6657600080fd5b505af1158015611d7a573d6000803e3d6000fd5b505050506040513d6020811015611d9057600080fd5b5051600154600160a060020a03908116911614611e45576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611df957600080fd5b505af1158015611e0d573d6000803e3d6000fd5b505050506040513d6020811015611e2357600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517fca6ad1e4000000000000000000000000000000000000000000000000000000008152600481018490529051600160a060020a039092169163ca6ad1e49160248082019260009290919082900301818387803b158015611eab57600080fd5b505af1158015611ebf573d6000803e3d6000fd5b5050505050565b60008054600160a060020a03161580611ef15750600054611eef90600160a060020a031661266f565b155b15611f0257611f006000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611f5457600080fd5b505af1158015611f68573d6000803e3d6000fd5b505050506040513d6020811015611f7e57600080fd5b5051600154600160a060020a03908116911614612033576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b158015611fe757600080fd5b505af1158015611ffb573d6000803e3d6000fd5b505050506040513d602081101561201157600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600160009054906101000a9004600160a060020a0316600160a060020a031663c281d19e6040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561208657600080fd5b505af115801561209a573d6000803e3d6000fd5b505050506040513d60208110156120b057600080fd5b505190505b90565b6120c0612c7e565b50604080518082019091528151815260209182019181019190915290565b6120e6612c7e565b6120f183838361299d565b5092915050565b606080600083600001516040519080825280601f01601f19166020018201604052801561212f578160200160208202803883390190505b5091506020820190506120f18185602001518660000151612a0e565b6000612158826000612a52565b92915050565b600061216a8383612bc4565b151561217557600080fd5b50900390565b606060008082818515156121c45760408051808201909152600181527f300000000000000000000000000000000000000000000000000000000000000060208201529450612265565b8593505b83156121df57600190920191600a840493506121c8565b826040519080825280601f01601f19166020018201604052801561220d578160200160208202803883390190505b5091505060001982015b851561226157815160001982019160f860020a6030600a8a06010291849190811061223e57fe5b906020010190600160f860020a031916908160001a905350600a86049550612217565b8194505b50505050919050565b600080548190600160a060020a0316158061229b575060005461229990600160a060020a031661266f565b155b156122ac576122aa6000612673565b505b6000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b1580156122fe57600080fd5b505af1158015612312573d6000803e3d6000fd5b505050506040513d602081101561232857600080fd5b5051600154600160a060020a039081169116146123dd576000809054906101000a9004600160a060020a0316600160a060020a03166338cc48316040518163ffffffff1660e060020a028152600401602060405180830381600087803b15801561239157600080fd5b505af11580156123a5573d6000803e3d6000fd5b505050506040513d60208110156123bb57600080fd5b505160018054600160a060020a031916600160a060020a039092169190911790555b600154604080517f2ef3accc0000000000000000000000000000000000000000000000000000000081526024810186905260048101918252875160448201528751600160a060020a0390931692632ef3accc9289928892829160640190602086019080838360005b8381101561245d578181015183820152602001612445565b50505050905090810190601f16801561248a5780820380516001836020036101000a031916815260200191505b509350505050602060405180830381600087803b1580156124aa57600080fd5b505af11580156124be573d6000803e3d6000fd5b505050506040513d60208110156124d457600080fd5b50519050670de0b6b3a76400003a8402018111156124f55760009150612667565b6001546040517fc51be90f00000000000000000000000000000000000000000000000000000000815260006004820181815260648301879052608060248401908152895160848501528951600160a060020a039095169463c51be90f948794938c938c938c93604481019160a49091019060208801908083838c5b83811015612588578181015183820152602001612570565b50505050905090810190601f1680156125b55780820380516001836020036101000a031916815260200191505b50838103825285518152855160209182019187019080838360005b838110156125e85781810151838201526020016125d0565b50505050905090810190601f1680156126155780820380516001836020036101000a031916815260200191505b5096505050505050506020604051808303818588803b15801561263757600080fd5b505af115801561264b573d6000803e3d6000fd5b50505050506040513d602081101561266257600080fd5b505191505b509392505050565b3b90565b600080612693731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed61266f565b11156127045760008054600160a060020a031916731d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed17905560408051808201909152600b81527f6574685f6d61696e6e657400000000000000000000000000000000000000000060208201526126fc90612bc9565b5060016112ca565b600061272373c03a2615d5efaf5f49f60b7bb6583eaec212fdf161266f565b111561278c5760008054600160a060020a03191673c03a2615d5efaf5f49f60b7bb6583eaec212fdf117905560408051808201909152600c81527f6574685f726f707374656e33000000000000000000000000000000000000000060208201526126fc90612bc9565b60006127ab73b7a07bcf2ba2f2703b24c0691b5278999c59ac7e61266f565b11156128145760008054600160a060020a03191673b7a07bcf2ba2f2703b24c0691b5278999c59ac7e17905560408051808201909152600981527f6574685f6b6f76616e000000000000000000000000000000000000000000000060208201526126fc90612bc9565b600061283373146500cfd35b22e4a392fe0adc06de1a1368ed4861266f565b111561289c5760008054600160a060020a03191673146500cfd35b22e4a392fe0adc06de1a1368ed4817905560408051808201909152600b81527f6574685f72696e6b65627900000000000000000000000000000000000000000060208201526126fc90612bc9565b60006128bb736f485c8bf6fc43ea212e93bbf8ce046c7f1cb47561266f565b11156128ef575060008054600160a060020a031916736f485c8bf6fc43ea212e93bbf8ce046c7f1cb47517905560016112ca565b600061290e7320e12a1f859b3feae5fb2a0a32c18f5a65555bbf61266f565b1115612942575060008054600160a060020a0319167320e12a1f859b3feae5fb2a0a32c18f5a65555bbf17905560016112ca565b60006129617351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa61266f565b1115612995575060008054600160a060020a0319167351efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa17905560016112ca565b506000919050565b6129a5612c7e565b60006129c38560000151866020015186600001518760200151612bdc565b602080870180519186019190915280518203855286519051919250018114156129ef5760008552612a05565b8351835186519101900385528351810160208601525b50909392505050565b60005b60208210612a33578251845260209384019390920191601f1990910190612a11565b50905182516020929092036101000a6000190180199091169116179052565b6000828180805b8351811015612ba75783517f300000000000000000000000000000000000000000000000000000000000000090859083908110612a9257fe5b90602001015160f860020a900460f860020a02600160f860020a03191610158015612b08575083517f390000000000000000000000000000000000000000000000000000000000000090859083908110612ae857fe5b90602001015160f860020a900460f860020a02600160f860020a03191611155b15612b61578115612b2757851515612b1f57612ba7565b600019909501945b600a8302925060308482815181101515612b3d57fe5b90602001015160f860020a900460f860020a0260f860020a90040383019250612b9f565b8381815181101515612b6f57fe5b90602001015160f860020a900460f860020a02600160f860020a031916602e60f860020a021415612b9f57600191505b600101612a59565b6000861115612bb95785600a0a830292505b509095945050505050565b111590565b80516106fe906002906020840190612c95565b600080808080888711612c6c5760208711612c325760018760200360080260020a031980875116888b038a018a96505b818388511614612c275760018701968111612c0c578b8b0196505b505050839450612c72565b8686209150879350600092505b8689038311612c6c575085832081811415612c5c57839450612c72565b6001938401939290920191612c3f565b88880194505b50505050949350505050565b604080518082019091526000808252602082015290565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10612cd657805160ff1916838001178555612d03565b82800160010185558215612d03579182015b82811115612d03578251825591602001919060010190612ce8565b506115b7926120b59250905b808211156115b75760008155600101612d0f56008dd0b145385d04711e29558ceab40b456976a2b9a7d648cc1bcd416161bf97b920247b5b55524c5d205b276a736f6e2868747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e2d7270632f312f696e766f6b65292e726573756c742e72616e646f6d5b2273657269616c4e756d626572222c2264617461225d272c20275c6e7b226a736f6e727063223a22322e30222c226d6574686f64223a2267656e65726174655369676e6564496e746567657273222c22706172616d73223a7b226170694b6579223a247b5b646563727970745d20424850746c6e7a497157754b31746f6f47546c50752b5a6a657236754d487566484b3634344f4c79707a53462b786166636b44712f5444457242784b4d4343627353594a516858356e623673576b50356f576254714f6e344446664967424952612b35467135447342734b6f33414a43675849586234517347327268784a6164342b564c6e6f784e44456169522f4d357144414179496975576433546362673d7d2c226e223a312c226d696e223a312c226d6178223a3130302c227265706c6163656d656e74223a747275652c2262617365223a3130247b5b6964656e746974795d20227d227d2c226964223aa165627a7a723058203ab0c682e28ab7c788b19fd1e9a1f861e3c5fb4c3d187bf5080b84ad2703696d0029

72196:18866:0:-;;;;;;;;;-1:-1:-1;;;72196:18866:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;73438:8;;-1:-1:-1;;;;;73438:8:0;73424:10;:22;73420:33;;73448:5;;;73420:33;87189:35;87197:15;;87214:9;87189:7;:35::i;:::-;87171:15;:53;87284:14;:12;:14::i;:::-;72196:18866;87362:149;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;87362:149:0;;;;;74127:50;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74127:50:0;;;;;;;;;;;;;;;;;;;;73963:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73963:37:0;;;;88020:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;88020:115:0;;;;;5347:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5347:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5347:106:0;;-1:-1:-1;5347:106:0;;-1:-1:-1;;;;;;;5347:106:0;73802:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73802:25:0;;;;;;;;;;;;;;;;;;;;;;90641:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;90641:111:0;-1:-1:-1;;;;;90641:111:0;;;;;79537:6306;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;79537:6306:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;79537:6306:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;79537:6306:0;;;;-1:-1:-1;79537:6306:0;-1:-1:-1;79537:6306:0;;-1:-1:-1;79537:6306:0;;;;;;;;-1:-1:-1;79537:6306:0;;-1:-1:-1;79537:6306:0;;-1:-1:-1;;;;;;;79537:6306:0;73630:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73630:35:0;;;;86625:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;86625:158:0;-1:-1:-1;;;;;86625:158:0;;;;;87801:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;87801:159:0;;;;;73521:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73521:47:0;;;;90458:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;90458:119:0;;;;;;;90821:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;90821:102:0;-1:-1:-1;;;;;90821:102:0;;;;;73673:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73673:34:0;;;;88207:315;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;88207:315:0;;;;;73835:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73835:23:0;;;;;;;;-1:-1:-1;;;;;73835:23:0;;;;;;;;;;;;;;74184:54;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74184:54:0;;;;88575:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;88575:111:0;;;;;90292:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;90292:101:0;;;;;;;73740:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73740:28:0;;;;;;;;;;;;;;;;;;;;;;;88750:373;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;88750:373:0;-1:-1:-1;;;;;88750:373:0;;;;;;;73865:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73865:27:0;;;;73775:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73775:20:0;;;;74027:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74027:18:0;;;;85940:635;;8:9:-1;5:2;;;30:1;27;20:12;5:2;85940:635:0;;;;73932:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73932:21:0;;;;74054:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74054:30:0;;;;73711:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73711:22:0;;;;89715:508;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;89715:508:0;;;-1:-1:-1;;;;;89715:508:0;;;;;;;;;87568:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;87568:138:0;;;;;;;90985:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;90985:68:0;;;;73899:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73899:21:0;;;;77374:2033;;;;;;73575:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73575:44:0;;;;74091:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74091:29:0;;;;71813:126;71864:4;71886:15;71896:1;71899;71886:9;:15::i;:::-;71885:16;71881:27;;;71903:5;;;71881:27;-1:-1:-1;71926:5:0;;71813:126::o;86855:::-;86928:25;;86912:15;;73561:7;;86912:41;86911:60;86899:9;:72;86855:126::o;87362:149::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;87456:47;87483:19;87456:26;:47::i;:::-;87362:149;:::o;74127:50::-;;;;:::o;73963:37::-;;;;:::o;88020:115::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;88103:9;:24;88020:115::o;5347:106::-;5432:12;;;5442:1;5432:12;;;;;;;;5407:38;;5418:4;;5424:6;;5407:10;:38::i;:::-;5347:106;;:::o;73802:25::-;;;;;;;;;:::o;90641:111::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;90722:8;:22;;-1:-1:-1;;;;;;90722:22:0;-1:-1:-1;;;;;90722:22:0;;;;;;;;;;90641:111::o;79537:6306::-;79798:13;;:::i;:::-;79939:24;80089:25;73116:20;:18;:20::i;:::-;-1:-1:-1;;;;;73102:34:0;:10;:34;73098:45;;73138:5;;;73098:45;72947:13;;;;;;;:21;;72964:4;72947:21;72944:31;;;72970:5;;;72944:31;79736:19;;;;:13;:19;;;;;;-1:-1:-1;;;;;79736:19:0;:24;79732:35;;;79762:5;;;79732:35;79814:16;:6;:14;:16::i;:::-;79798:32;;79971:41;:30;79987:13;:11;;;;;;;;;;;;;;;;;;;:13::i;:::-;79971:9;;:30;:15;:30;:::i;:::-;:39;:41::i;:::-;79966:47;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;79966:47:0;;;;;;;;;;;;80142:11;;;;;;274:1:-1;80142:11:0;;;;;;;79966:47;;-1:-1:-1;80117:51:0;;-1:-1:-1;80126:41:0;;-1:-1:-1;80126:30:0;;80142:13;;-1:-1:-1;80142:11:0;:13::i;:::-;80126:9;;:30;:15;:30;:::i;:41::-;80117:8;:51::i;:::-;80089:79;;80245:30;80254:20;:9;:18;:20::i;80245:30::-;80221:21;;;;:15;:21;;;;;;;;:54;;;;80377:13;:19;;;;;;;80351:17;:23;;;;;:45;;-1:-1:-1;;;;;80377:19:0;;;-1:-1:-1;;;;;;80351:45:0;;;;;;80461:26;;;;;80579:12;:18;;;;;;;80554:16;:22;;;;;;:43;;;80664:22;;80785:17;;80804:22;;80777:50;;80785:17;80777:7;:50::i;:::-;80757:17;:70;80932:20;;;;:14;:20;;;;;;;;;;80905:18;:24;;;;;;:47;;;81021:24;;;;81095:9;:14;;-1:-1:-1;81095:14:0;;;81170:24;81151:15;:43;;;;;;;81428:19;;:24;;:75;;-1:-1:-1;81456:47:0;:27;;;:21;:27;;;;;;:47;;;81428:75;:105;;;-1:-1:-1;81507:21:0;;;;:15;:21;;;;;;:26;81428:105;:134;;;-1:-1:-1;81537:20:0;;:25;81428:134;81425:1220;;;81685:17;:23;81703:4;81685:23;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;81685:23:0;-1:-1:-1;;;;;81634:154:0;81666:11;:17;81678:4;81666:17;;;;;;;;;;;;;;;;;;81634:154;;;81644:20;-1:-1:-1;;;;;;;;;;;81710:12:0;:18;81723:4;81710:18;;;;;;;;;;;;;;;;;;81730:15;:21;81746:4;81730:21;;;;;;;;;;;;;;;;;;81753:18;:24;81772:4;81753:24;;;;;;;;;;;;;;;;;;81779:1;81782:5;81634:154;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;81634:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;82078:23;;;;:17;:23;;;;;;;;;82107:18;:24;;;;;;;82078:54;;-1:-1:-1;;;;;82078:23:0;;;;:54;;;;;;;:23;:54;82107:24;82078:23;:54;;;;;;;82077:55;82074:537;;;82203:17;:23;82221:4;82203:23;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;82203:23:0;-1:-1:-1;;;;;82152:154:0;82184:11;:17;82196:4;82184:17;;;;;;;;;;;;;;;;;;82152:154;;;82162:20;-1:-1:-1;;;;;;;;;;;82228:12:0;:18;82241:4;82228:18;;;;;;;;;;;;;;;;;;82248:15;:21;82264:4;82248:21;;;;;;;;;;;;;;;;;;82271:18;:24;82290:4;82271:24;;;;;;;;;;;;;;;;;;82297:1;82300:5;82152:154;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;82152:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;82495:49;82520:23;;;:17;:23;;;;;;;;;-1:-1:-1;;;;;82520:23:0;82495:49;;:24;:49;;;;;;82546:24;;;:18;:24;;;;;;;82487:84;;82495:49;82487:7;:84::i;:::-;82435:49;82460:23;;;:17;:23;;;;;;;;;-1:-1:-1;;;;;82460:23:0;82435:49;;:24;:49;;;;;:136;82074:537;82627:7;;81425:1220;82902:18;;;;:12;:18;;;;;;;;;82878:15;:21;;;;;;;:42;82875:1632;;;83032:15;;83049:22;;;;:16;:22;;;;;;83024:48;;83032:15;83024:7;:48::i;:::-;83006:15;:66;83152:11;;83165:22;;;;:16;:22;;;;;;83144:44;;83152:11;83144:7;:44::i;:::-;83130:11;:58;83326:22;;;;:16;:22;;;;;;;;;83350:18;:24;;;;;;;83318:57;;83326:22;83318:7;:57::i;:::-;83293:16;:22;83310:4;83293:22;;;;;;;;;;;;;;;;;:82;;;;83444:17;:23;83462:4;83444:23;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;83444:23:0;-1:-1:-1;;;;;83393:152:0;83425:11;:17;83437:4;83425:17;;;;;;;;;;;;;;;;;;83393:152;;;83403:20;-1:-1:-1;;;;;;;;;;;83469:12:0;:18;83482:4;83469:18;;;;;;;;;;;;;;;;;;83489:15;:21;83505:4;83489:21;;;;;;;;;;;;;;;;;;83512:16;:22;83529:4;83512:22;;;;;;;;;;;;;;;;;;83536:1;83539:5;83393:152;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;83393:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;83631:14;:12;:14::i;:::-;83932:23;;;;:17;:23;;;;;;;;;83961:16;:22;;;;;;;83932:52;;-1:-1:-1;;;;;83932:23:0;;;;:52;;;;;;;:23;:52;83961:22;83932:23;:52;;;;;;;83931:53;83928:543;;;84055:17;:23;84073:4;84055:23;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;84055:23:0;-1:-1:-1;;;;;84004:152:0;84036:11;:17;84048:4;84036:17;;;;;;;;;;;;;;;;;;84004:152;;;84014:20;-1:-1:-1;;;;;;;;;;;84080:12:0;:18;84093:4;84080:18;;;;;;;;;;;;;;;;;;84100:15;:21;84116:4;84100:21;;;;;;;;;;;;;;;;;;84123:16;:22;84140:4;84123:22;;;;;;;;;;;;;;;;;;84147:1;84150:5;84004:152;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;84004:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;84350:49;84375:23;;;:17;:23;;;;;;;;;-1:-1:-1;;;;;84375:23:0;84350:49;;:24;:49;;;;;;84401:22;;;:16;:22;;;;;;;84342:82;;84350:49;84342:7;:82::i;82875:1632::-;84688:18;;;;:12;:18;;;;;;;;;84663:15;:21;;;;;;;:43;84660:1165;;84775:23;;;;:17;:23;;;;;;;;;84756:11;:17;;;;;;84800:12;:18;;;;;;84820:15;:21;;;;;;84843:18;:24;;;;;;84724:154;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;84775:23:0;;;;84756:17;;84734:20;;-1:-1:-1;;;;;;;;;;;84724:154:0;84800:18;;84820:21;;84843:24;;84775:23;84872:5;;84724:154;;;;;;;;;;;;;84775:23;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;84724:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;85101:15;;85119:24;;;;:18;:24;;;;;;85093:54;;85101:15;-1:-1:-1;;85119:26:0;85093:7;:54::i;:::-;85075:15;:72;85278:14;:12;:14::i;:::-;85431:23;;;;:17;:23;;;;;;;:31;;-1:-1:-1;;;;;85431:23:0;;;;;;;;:31;:23;:31;:23;;;:31;;;;;;85430:32;85427:327;;;85653:49;85678:23;;;:17;:23;;;;;;;;;-1:-1:-1;;;;;85678:23:0;85653:49;;:24;:49;;;;;;85645:61;;85678:23;85645:7;:61::i;84660:1165::-;79537:6306;;;;;;:::o;73630:35::-;73663:2;73630:35;:::o;86625:158::-;-1:-1:-1;;;;;86735:40:0;;86711:4;86735:40;;;:24;:40;;;;;;86625:158;;;;:::o;87801:159::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;87911:15;:41;87801:159::o;73521:47::-;73561:7;73521:47;:::o;90458:119::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;90538:13;:31;;;;;;;-1:-1:-1;;90538:31:0;;;;;;;;;90458:119::o;90821:102::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;90899:5;:16;;-1:-1:-1;;;;;90899:16:0;;;;;-1:-1:-1;;90899:16:0;;;;;;;;;90821:102::o;73673:34::-;73706:1;73673:34;:::o;88207:315::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;88417:5;88393:21;:29;88390:39;;;88424:5;;;88390:39;88440:25;:49;;;88500:14;:12;:14::i;73835:23::-;;;-1:-1:-1;;;;;73835:23:0;;:::o;74184:54::-;;;;:::o;88575:111::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;88656:6;:22;88575:111::o;90292:101::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;90363:10;:22;;-1:-1:-1;;90363:22:0;;;;;;;;;;90292:101::o;73740:28::-;;;;;;;;;:::o;88750:373::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;88938:32;88946:15;;88963:6;88938:7;:32::i;:::-;88920:15;:50;89016:14;:12;:14::i;:::-;89045:19;;-1:-1:-1;;;;;89045:11:0;;;:19;;;;;89057:6;;89045:19;;;;89057:6;89045:11;:19;;;;;;;89044:20;89041:30;;;89066:5;;;89041:30;89082:32;;89107:6;;-1:-1:-1;;;;;89082:32:0;;;;;;;;88750:373;;:::o;73865:27::-;;;;:::o;73775:20::-;;;;;;-1:-1:-1;;;;;73775:20:0;;:::o;74027:18::-;;;;:::o;85940:635::-;86037:4;86060:19;72947:13;;;;;;;;;;;:21;;72964:4;72947:21;;;72944:31;;;72970:5;;;72944:31;-1:-1:-1;86107:10:0;86082:36;;;;:24;:36;;;;;;;;86129:40;;;;86235:39;;86082:36;;86107:10;86082:36;;86235:39;;86082:36;86235:39;86082:36;86107:10;86235:39;;;;;;86231:337;;;86298:4;86291:11;;;;86231:337;86501:10;86476:36;;;;:24;:36;;;;;:53;;;:36;-1:-1:-1;86231:337:0;85940:635;;:::o;73932:21::-;;;;:::o;74054:30::-;;;;:::o;73711:22::-;;;;;;:::o;89715:508::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;89975:48;89983:17;;90002:20;89975:7;:48::i;:::-;89955:17;:68;90065:35;;-1:-1:-1;;;;;90065:11:0;;;:35;;;;;90077:22;;90065:35;;;;90077:22;90065:11;:35;;;;;;;90064:36;90061:46;;;90102:5;;;90061:46;90145:62;;90184:22;;-1:-1:-1;;;;;90145:62:0;;;90155:19;;90145:62;;;;;89715:508;;;;:::o;87568:138::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;87661:14;:37;;;;;;;;-1:-1:-1;;87661:37:0;;;;;;;;;87568:138::o;90985:68::-;73281:5;;;;;-1:-1:-1;;;;;73281:5:0;73267:10;:19;73263:30;;73288:5;;;73263:30;91042:5;;;;;-1:-1:-1;;;;;91042:5:0;91034:14;73899:21;;;;:::o;77374:2033::-;72796:10;;77726:28;;77869:13;;72796:10;;:18;;:10;:18;72793:28;;;72816:5;;;72793:28;77481:9;77492;72579;;72568:8;73615:4;72540:9;;72529:8;72503:24;72511:13;72525:1;72503:7;:24::i;:::-;72472;72480:13;72494:1;72472:7;:24::i;:::-;72467:3;:30;72455:8;:43;72454:74;;;;;;;;:83;72452:97;:114;;;;;;;;72451:125;:137;:158;;;;72603:6;;72592:8;:17;72451:158;:187;;;;73706:1;72613:13;:25;72451:187;:216;;;;73663:2;72642:13;:25;72451:216;72448:226;;;72669:5;;;72448:226;77695:13;:18;;77712:1;77695:18;;;;;77781:23;;:8;:23::i;:::-;77806:19;77815:9;77806:8;:19::i;:::-;77827;77836:9;77827:8;:19::i;:::-;77764:83;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77764:83:0;;;;;;;;;;-1:-1:-1;77764:83:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77764:83:0;;;;;;;;;;-1:-1:-1;77764:83:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77764:83:0;;;;;;;26:21:-1;;;-1:-1;;22:32;6:49;;77885:140:0;;;;;;;;;;;;;77934:12;;;;;;;;;;;;;;;77964;;;;;;;;;;;;77764:83;;-1:-1:-1;77885:140:0;;-1:-1:-1;77764:83:0;;-1:-1:-1;77934:12:0;-1:-1:-1;77764:83:0;;-1:-1:-1;77964:12:0;;-1:-1:-1;77964:12:0;;;;;77978:14;77994:12;;;;;;;;;;;;;;;;;;77917:90;;;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77917:90:0;;;;;;;;;;-1:-1:-1;77917:90:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77917:90:0;;;;;;;;;;-1:-1:-1;77917:90:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77917:90:0;;;;;;;;;;-1:-1:-1;77917:90:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;77917:90:0;;;;;;;;;;-1:-1:-1;77917:90:0;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;77917:90:0;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;77917:90:0;;;78010:14;;;;;;;;;;;77885:140;;:14;:140::i;:::-;78101:18;;;;:11;:18;;;;;;;;;:26;;;78221:20;;;;77869:156;;-1:-1:-1;78226:14:0;;78221:20;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;-1:-1;;263:2;259:12;;;254:3;250:22;246:30;340:21;;;311:9;;295:26;;;;377:20;365:33;;78221:20:0;;;;;;;;;;;;;-1:-1:-1;78190:28:0;;;:21;:28;;;;;:51;;;;78308:12;:19;;;;;:31;;;78407:14;:21;;;;;78431:9;78407:33;;;;78508:13;:20;;;;:33;;-1:-1:-1;;;;;;78508:33:0;78531:10;78508:33;;;-1:-1:-1;78741:9:0;;78431;;-1:-1:-1;73615:4:0;;-1:-1:-1;78431:9:0;78707:20;78330:9;274:1:-1;78707:7:0;:20::i;:::-;78680;78688:9;78698:1;78680:7;:20::i;:::-;78675:3;:26;78662:9;:40;78661:67;;;;;;;;:77;78659:91;:108;;;;;;;78636:19;;;;:12;:19;;;;;78659:108;;;78658:120;;;;78636:142;;;;78937:17;;78929:47;;:7;:47::i;:::-;78909:17;:67;;;79059:15;;-1:-1:-1;79035:46:0;;79076:5;;;79035:46;79263:21;;;;:14;:21;;;;;;;;;79286:12;:19;;;;;;;79255:51;;79263:21;79255:7;:51::i;:::-;79233:20;;;;:13;:20;;;;;;;;;79213:11;:18;;;;;;79308:12;:19;;;;;;79329:14;:21;;;;;;79352:12;:19;;;;;;;79373:13;;79206:181;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;79233:20:0;;;;79206:181;;;;;;;;;;72826:1;;77374:2033;;;:::o;73575:44::-;73615:4;73575:44;:::o;74091:29::-;;;;:::o;71710:97::-;71788:5;;-1:-1:-1;71788:10:0;;71710:97::o;25885:134::-;3177:3;;-1:-1:-1;;;;;3177:3:0;3169:15;;3168:49;;-1:-1:-1;3208:3:0;;3188:25;;-1:-1:-1;;;;;3208:3:0;3188:11;:25::i;:::-;:28;3168:49;3165:102;;;3232:35;2889:1;3232:19;:35::i;:::-;;3165:102;3304:3;;;;;;;;;-1:-1:-1;;;;;3304:3:0;-1:-1:-1;;;;;3304:14:0;;:16;;;;;-1:-1:-1;;;3304:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3304:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3304:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3304:16:0;3291:8;;-1:-1:-1;;;;;3291:8:0;;;3283:37;;;3280:93;;3356:3;;;;;;;;;-1:-1:-1;;;;;3356:3:0;-1:-1:-1;;;;;3356:14:0;;:16;;;;;-1:-1:-1;;;3356:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3356:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3356:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3356:16:0;3335:8;:38;;-1:-1:-1;;;;;;3335:38:0;-1:-1:-1;;;;;3335:38:0;;;;;;;;;3280:93;25975:8;;:36;;;;;;;;;;;;;;-1:-1:-1;;;;;25975:8:0;;;;:26;;:36;;;;;:8;;:36;;;;;;;;:8;;:36;;;5:2:-1;;;;30:1;27;20:12;5:2;25975:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25975:36:0;;;;25885:134;:::o;25643:114::-;25703:7;3177:3;;-1:-1:-1;;;;;3177:3:0;3169:15;;3168:49;;-1:-1:-1;3208:3:0;;3188:25;;-1:-1:-1;;;;;3208:3:0;3188:11;:25::i;:::-;:28;3168:49;3165:102;;;3232:35;2889:1;3232:19;:35::i;:::-;;3165:102;3304:3;;;;;;;;;-1:-1:-1;;;;;3304:3:0;-1:-1:-1;;;;;3304:14:0;;:16;;;;;-1:-1:-1;;;3304:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3304:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3304:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3304:16:0;3291:8;;-1:-1:-1;;;;;3291:8:0;;;3283:37;;;3280:93;;3356:3;;;;;;;;;-1:-1:-1;;;;;3356:3:0;-1:-1:-1;;;;;3356:14:0;;:16;;;;;-1:-1:-1;;;3356:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3356:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3356:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3356:16:0;3335:8;:38;;-1:-1:-1;;;;;;3335:38:0;-1:-1:-1;;;;;3335:38:0;;;;;;;;;3280:93;25729:8;;;;;;;;;-1:-1:-1;;;;;25729:8:0;-1:-1:-1;;;;;25729:18:0;;:20;;;;;-1:-1:-1;;;25729:20:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25729:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25729:20:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25729:20:0;;-1:-1:-1;3386:1:0;25643:114;:::o;49153:197::-;49201:5;;:::i;:::-;-1:-1:-1;49312:30:0;;;;;;;;;49318:18;;49312:30;;49279:4;49269:15;;;49312:30;;;;;;;;49153:197::o;67292:117::-;67351:11;;:::i;:::-;67375:26;67381:4;67387:6;67395:5;67375;:26::i;:::-;;67292:117;;;;:::o;51513:243::-;51561:6;51580:7;51622:11;51601:4;:9;;;51590:21;;;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;136:17;;-1:-1;51590:21:0;;51580:31;;51674:2;51669:3;51665:12;51655:22;;51691:36;51698:6;51706:4;:9;;;51717:4;:9;;;51691:6;:36::i;29949:94::-;29996:4;30020:15;30029:2;30033:1;30020:8;:15::i;:::-;30013:22;29949:94;-1:-1:-1;;29949:94:0:o;72053:131::-;72104:4;72126:20;72141:1;72144;72126:14;:20::i;:::-;72125:21;72121:32;;;72148:5;;;72121:32;-1:-1:-1;72171:5:0;;;72053:131::o;30698:414::-;30742:6;30793;;30742;30793;30764;;30760:22;;;30772:10;;;;;;;;;;;;;;;;;;-1:-1:-1;30772:10:0;;30760:22;30802:1;30793:10;;30833:68;30840:6;;30833:68;;30862:5;;;;;30887:2;30882:7;;;;30833:68;;;30941:3;30931:14;;;;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;136:17;;-1:-1;30931:14:0;-1:-1:-1;30911:34:0;-1:-1:-1;;;;30965:7:0;;30983:92;30990:6;;30983:92;;31012:9;;-1:-1:-1;;31017:3:0;;;-1:-1:-1;;;31029:2:0;31038;31034:6;;31029:11;31024:17;;31012:4;;31017:3;31012:9;;;;;;;;;;:29;-1:-1:-1;;;;;31012:29:0;;;;;;;;-1:-1:-1;31061:2:0;31056:7;;;;30983:92;;;31099:4;31085:19;;30698:414;;;;;;;;:::o;7017:360::-;7117:10;3177:3;;7117:10;;-1:-1:-1;;;;;3177:3:0;3169:15;;3168:49;;-1:-1:-1;3208:3:0;;3188:25;;-1:-1:-1;;;;;3208:3:0;3188:11;:25::i;:::-;:28;3168:49;3165:102;;;3232:35;2889:1;3232:19;:35::i;:::-;;3165:102;3304:3;;;;;;;;;-1:-1:-1;;;;;3304:3:0;-1:-1:-1;;;;;3304:14:0;;:16;;;;;-1:-1:-1;;;3304:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3304:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3304:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3304:16:0;3291:8;;-1:-1:-1;;;;;3291:8:0;;;3283:37;;;3280:93;;3356:3;;;;;;;;;-1:-1:-1;;;;;3356:3:0;-1:-1:-1;;;;;3356:14:0;;:16;;;;;-1:-1:-1;;;3356:16:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3356:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3356:16:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3356:16:0;3335:8;:38;;-1:-1:-1;;;;;;3335:38:0;-1:-1:-1;;;;;3335:38:0;;;;;;;;;3280:93;7152:8;;:39;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7152:8:0;;;;:17;;7170:10;;7182:8;;7152:39;;;;;;;;;;;;:8;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;7152:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7152:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7152:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7152:39:0;;-1:-1:-1;7214:7:0;7224:11;:20;;7214:30;7206:38;;7202:52;;;7253:1;;-1:-1:-1;7246:8:0;;7202:52;7299:8;;:70;;;;;:8;:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7299:8:0;;;;:27;;7333:5;;7299:8;7343:10;;7355:3;;7360:8;;7299:70;;;;;;;;;;;;;;;;:8;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;7299:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7299:70:0;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;7299:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7299:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7299:70:0;;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7299:70:0;;-1:-1:-1;3386:1:0;7017:360;;;;;;:::o;26316:154::-;26434:18;;26410:53::o;3541:1798::-;3604:4;3680:1;3624:55;3636:42;3624:11;:55::i;:::-;:57;3620:249;;;3707:3;:71;;-1:-1:-1;;;;;;3707:71:0;3735:42;3707:71;;;3793:38;;;;;;;;;;;;;;;;;;;:23;:38::i;:::-;-1:-1:-1;3853:4:0;3846:11;;3620:249;3939:1;3883:55;3895:42;3883:11;:55::i;:::-;:57;3879:258;;;3974:3;:71;;-1:-1:-1;;;;;;3974:71:0;4002:42;3974:71;;;4060:39;;;;;;;;;;;;;;;;;;;:23;:39::i;3879:258::-;4207:1;4151:55;4163:42;4151:11;:55::i;:::-;:57;4147:253;;;4240:3;:71;;-1:-1:-1;;;;;;4240:71:0;4268:42;4240:71;;;4326:36;;;;;;;;;;;;;;;;;;;:23;:36::i;4147:253::-;4470:1;4414:55;4426:42;4414:11;:55::i;:::-;:57;4410:257;;;4505:3;:71;;-1:-1:-1;;;;;;4505:71:0;4533:42;4505:71;;;4591:38;;;;;;;;;;;;;;;;;;;:23;:38::i;4410:257::-;4737:1;4681:55;4693:42;4681:11;:55::i;:::-;:57;4677:204;;;-1:-1:-1;4772:3:0;:71;;-1:-1:-1;;;;;;4772:71:0;4800:42;4772:71;;;;4858:11;;4677:204;4951:1;4895:55;4907:42;4895:11;:55::i;:::-;:57;4891:203;;;-1:-1:-1;4985:3:0;:71;;-1:-1:-1;;;;;;4985:71:0;5013:42;4985:71;;;;5071:11;;4891:203;5164:1;5108:55;5120:42;5108:11;:55::i;:::-;:57;5104:205;;;-1:-1:-1;5200:3:0;:71;;-1:-1:-1;;;;;;5200:71:0;5228:42;5200:71;;;;5286:11;;5104:205;-1:-1:-1;5326:5:0;3541:1798;;;:::o;66327:483::-;66399:5;;:::i;:::-;66417:8;66428:55;66436:4;:9;;;66447:4;:9;;;66458:6;:11;;;66471:6;:11;;;66428:7;:55::i;:::-;66507:9;;;;;;66494:10;;;:22;;;;66546:9;;66540:15;;66527:28;;66589:9;;66577;;66417:66;;-1:-1:-1;66577:21:0;66570:28;;66566:214;;;66653:1;66641:13;;66566:214;;;66713:11;;66700:10;;66687:37;;66700:24;;66687:37;;;;66757:11;;66751:17;;66739:9;;;:29;66566:214;-1:-1:-1;66797:5:0;;66327:483;-1:-1:-1;;;66327:483:0:o;48386:560::-;48718:9;48503:170;48516:2;48509:9;;48503:170;;48587:10;;48574:24;;48635:2;48627:10;;;;48652:9;;;;-1:-1:-1;;48520:9:0;;;;48503:170;;;-1:-1:-1;48805:10:0;;48861:11;;48738:2;:8;;;;48730:3;:17;-1:-1:-1;;48730:21:0;48817:9;;48801:26;;;48857:22;;48906:21;48893:35;;48771:168::o;30086:604::-;30142:4;30188:2;30142:4;;;30258:366;30275:7;:14;30273:1;:16;30258:366;;;30315:10;;:16;;:7;;30323:1;;30315:10;;;;;;;;;;;-1:-1:-1;;;30315:10:0;;-1:-1:-1;;;30315:10:0;-1:-1:-1;;;;;30315:16:0;;;;30314:38;;;;-1:-1:-1;30335:10:0;;:16;;:7;;30343:1;;30335:10;;;;;;;;;;;-1:-1:-1;;;30335:10:0;;-1:-1:-1;;;30335:10:0;-1:-1:-1;;;;;30335:16:0;;;;30314:38;30310:302;;;30376:8;30372:105;;;30411:7;;30407:50;;;30420:5;;30407:50;-1:-1:-1;;30453:4:0;;;;30407:50;30503:2;30495:10;;;;30551:2;30537:7;30545:1;30537:10;;;;;;;;;;;;;;;-1:-1:-1;;;30537:10:0;;-1:-1:-1;;;30537:10:0;-1:-1:-1;;;30532:16:0;;:21;30524:29;;;;30310:302;;;30579:7;30587:1;30579:10;;;;;;;;;;;;;;;-1:-1:-1;;;30579:10:0;;-1:-1:-1;;;30579:10:0;-1:-1:-1;;;;;30579:16:0;;30593:2;-1:-1:-1;;;30579:16:0;;30575:37;;;30608:4;30597:15;;30575:37;30291:3;;30258:366;;;30643:1;30638:2;:6;30634:26;;;30658:2;30654;:6;30646:14;;;;30634:26;-1:-1:-1;30678:4:0;;30086:604;-1:-1:-1;;;;;30086:604:0:o;71947:98::-;72030:6;;;71947:98::o;34622:120::-;34697:37;;;;:21;;:37;;;;;:::i;61525:1463::-;61619:4;;;;;61680:20;;;61676:1270;;61734:2;61721:15;;61717:1218;;61921:1;61907:9;61903:2;61899:18;61896:1;61892:26;61889:1;61885:34;61881:42;61877:47;61986:4;61974:9;61968:16;61964:27;62050:9;62041:7;62037:23;62028:7;62024:37;62090:7;62083:14;;62119:4;62184:10;62177:4;62171:3;62165:10;62161:21;62158:37;62152:4;62146:50;62234:1;62225:11;;;62270:20;-1:-1:-1;62264:4:0;62258:33;62333:7;62324;62320:21;62313:28;;62363:4;61842:545;;;62412:3;62405:10;;;;61717:1218;62572:9;62561;62556:26;62548:34;;62608:7;62602:13;;62645:1;62639:7;;62634:286;62655:19;;;62648:26;;62634:286;;-1:-1:-1;62768:20:0;;;62816:16;;;62812:57;;;62866:3;62859:10;;;;62812:57;62899:1;62892:8;;;;62676:5;;;;;62634:286;;;62973:7;62963;:17;62956:24;;61525:1463;;;;;;;;;;;:::o;72196:18866::-;;;;;;;;;;-1:-1:-1;72196:18866:0;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;72196:18866:0;;;;-1:-1:-1;72196:18866:0;;;;;;;;;;;;;;

bzzr://3ab0c682e28ab7c788b19fd1e9a1f861e3c5fb4c3d187bf5080b84ad2703696d