Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface Casino
•    - function ensureGameIsNotPlayed(uint25 ...
•    - function winnerCallback(
•  contract RollTheDice *
•    - function updateCasino(address _casino ...
•    - function updateRandomness(uint256 _ra ...
•    - function generateRandomString(uint256 ...
•    - function random(address _player, stri ...
•    - function roll(address _player, string ...
•    - function play(uint256 _index)
•    - function uintToString(uint256 value)
•    - function updateGameState(bool _paused ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-17
*/

// SPDX-License-Identifier: MIT

// Roll-The-Dice Game Contract: 17 November 2023
// Version: 1.2

// Website: https://kekw.gg/
// telegram: https://t.me/kekw_gg
// X.com/Twtter: https://x.com/kekw_gg
// Token: ($KEKW) 0x0DF596AD12F927e41EC317AF7DD666cA3574845f
// Uniswap: https://app.uniswap.org/swap?outputCurrency=0x0DF596AD12F927e41EC317AF7DD666cA3574845f
// Dextools: https://www.dextools.io/app/en/ether/pair-explorer/0x14ba508aaf2c15231f9df265980d1d461e54192b

pragma solidity ^0.8.18;

interface Casino {
    struct Game {
        uint256 index; // servers as Id
        uint256 betAmount;
        uint256 totalBetAmount;
        address player1;
        address player2;
        address winner;
        address gameContractAddress;
        string player1Outcome;
        string player2Outcome;
    }

    function ensureGameIsNotPlayed(uint256 _index)
        external
        view
        returns (Game memory);

    function winnerCallback(
        uint256 gameIndex,
        address winnerAddress,
        string memory _player1Outcome,
        string memory _player2Outcome
    ) external;
}

contract RollTheDice {
    Casino public casino;
    address public casinoAddress;
    address public manager;
    bool public paused;
    uint256 public randomness = 64;

    event GameStarted(uint256 gameIndex, address playerAddress);
    event GameCompleted(
        uint256 gameIndex,
        address winnerAddress,
        string randomSeed,
        string player1Outcome,
        string player2Outcome
    );
    event GameTie(uint256 gameIndex);

    constructor(address _casino) {
        manager = msg.sender;
        casino = Casino(_casino);
        casinoAddress = _casino;
    }

    function updateCasino(address _casino) public restricted {
        casino = Casino(_casino);
        casinoAddress = _casino;
    }

    function updateRandomness(uint256 _randomness) public restricted {
        randomness = _randomness;
    }

    function generateRandomString(uint256 length)
        public
        view
        returns (string memory)
    {
        require(length > 0, "Length must be greater than 0");

        // Use block information and user address as a seed for randomness
        bytes32 previousBlockNumberHash = blockhash(block.number - 1);
        uint256 seed = uint256(
            keccak256(
                abi.encodePacked(
                    previousBlockNumberHash,
                    block.timestamp,
                    msg.sender
                )
            )
        );

        // Define characters to include in the random string
        string
            memory characters = "zGdFr0xHfPwKs43yhRJDepMjX6mEai8OSIWqQTZclUYoB95tnvbLV2Ag17uCNk";

        // Generate the random string
        bytes memory randomString = new bytes(length);
        for (uint256 i = 0; i < length; i++) {
            // Get a pseudo-random index based on the seed
            uint256 charIndex = (seed + i) % bytes(characters).length;

            // Set the character in the random string
            randomString[i] = bytes(characters)[charIndex];
        }

        return string(randomString);
    }

    function random(address _player, string memory _userSeed)
        public
        view
        returns (uint256)
    {
        bytes32 previousBlockNumberHash = blockhash(block.number - 1);
        uint256 randomNumber = uint256(
            keccak256(
                abi.encodePacked(previousBlockNumberHash, _player, _userSeed)
            )
        );
        return randomNumber;
    }

    function roll(address _player, string memory _userSeed)
        public
        view
        returns (uint256)
    {
        uint256 randomNumber = random(_player, _userSeed);
        if (_player == casinoAddress) {
            return (randomNumber % 100) < 1 ? 6 : (randomNumber % 6) + 1;
        }
        return (randomNumber % 6) + 1;
    }

    function play(uint256 _index) public notPaused returns (uint256, uint256) {
        emit GameStarted(_index, msg.sender);
        Casino.Game memory game = casino.ensureGameIsNotPlayed(_index);
        require(
            game.player1 == msg.sender || game.player2 == msg.sender,
            "Player is not allowed to play game on this table."
        );
        string memory randomUserSeed = generateRandomString(randomness);
        uint256 player1Dice = roll(game.player1, randomUserSeed);
        uint256 player2Dice = roll(game.player2, randomUserSeed);

        if (player1Dice == player2Dice) {
            emit GameTie(_index);
            return (player1Dice, player2Dice);
        } else {
            address winner = player1Dice > player2Dice
                ? game.player1
                : game.player2;

            string memory player1DiceString = uintToString(player1Dice);
            string memory player2DiceString = uintToString(player2Dice);

            casino.winnerCallback(
                _index,
                winner,
                player1DiceString,
                player2DiceString
            );

            emit GameCompleted(
                _index,
                winner,
                randomUserSeed,
                player1DiceString,
                player2DiceString
            );
            return (player1Dice, player2Dice);
        }
    }

    function uintToString(uint256 value) public pure returns (string memory) {
        if (value == 0) {
            return "0";
        }

        uint256 temp = value;
        uint256 digits;

        while (temp > 0) {
            digits++;
            temp /= 10;
        }

        bytes memory buffer = new bytes(digits);
        while (value > 0) {
            digits--;
            buffer[digits] = bytes1(uint8(48 + (value % 10)));
            value /= 10;
        }

        return string(buffer);
    }

    function updateGameState(bool _paused) public restricted {
        paused = _paused;
    }

    modifier notPaused() {
        require(paused == false);
        _;
    }

    modifier restricted() {
        require(msg.sender == manager);
        _;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_casino","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"gameIndex","type":"uint256"},{"indexed":false,"internalType":"address","name":"winnerAddress","type":"address"},{"indexed":false,"internalType":"string","name":"randomSeed","type":"string"},{"indexed":false,"internalType":"string","name":"player1Outcome","type":"string"},{"indexed":false,"internalType":"string","name":"player2Outcome","type":"string"}],"name":"GameCompleted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"gameIndex","type":"uint256"},{"indexed":false,"internalType":"address","name":"playerAddress","type":"address"}],"name":"GameStarted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"gameIndex","type":"uint256"}],"name":"GameTie","type":"event"},{"inputs":[],"name":"casino","outputs":[{"internalType":"contract Casino","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"casinoAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"generateRandomString","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manager","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"play","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_player","type":"address"},{"internalType":"string","name":"_userSeed","type":"string"}],"name":"random","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"randomness","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_player","type":"address"},{"internalType":"string","name":"_userSeed","type":"string"}],"name":"roll","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"uintToString","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_casino","type":"address"}],"name":"updateCasino","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_paused","type":"bool"}],"name":"updateGameState","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_randomness","type":"uint256"}],"name":"updateRandomness","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405260406003553480156200001657600080fd5b5060405162001a2e38038062001a2e83398181016040528101906200003c91906200016f565b33600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050620001a1565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600062000137826200010a565b9050919050565b62000149816200012a565b81146200015557600080fd5b50565b60008151905062000169816200013e565b92915050565b60006020828403121562000188576200018762000105565b5b6000620001988482850162000158565b91505092915050565b61187d80620001b16000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c80636898f82b1161008c578063929ee7e311610066578063929ee7e3146102155780639403e8dd14610231578063b2fab7ad1461024f578063e93956791461027f576100cf565b80636898f82b146101965780636ade21e4146101c75780638e8a86d7146101e5576100cf565b80633059a6d4146100d457806336013189146100f0578063481c6a751461010e578063494cc23d1461012c5780634f7d22e7146101485780635c975abb14610178575b600080fd5b6100ee60048036038101906100e99190610c95565b6102af565b005b6100f8610326565b6040516101059190610cdb565b60405180910390f35b61011661032c565b6040516101239190610d37565b60405180910390f35b61014660048036038101906101419190610d7e565b610352565b005b610162600480360381019061015d9190610dd7565b610430565b60405161016f9190610e94565b60405180910390f35b6101806105cf565b60405161018d9190610ec5565b60405180910390f35b6101b060048036038101906101ab9190610dd7565b6105e2565b6040516101be929190610ee0565b60405180910390f35b6101cf610926565b6040516101dc9190610d37565b60405180910390f35b6101ff60048036038101906101fa919061103e565b61094c565b60405161020c9190610cdb565b60405180910390f35b61022f600480360381019061022a9190610dd7565b61099c565b005b610239610a00565b60405161024691906110f9565b60405180910390f35b6102696004803603810190610264919061103e565b610a24565b6040516102769190610cdb565b60405180910390f35b61029960048036038101906102949190610dd7565b610ae8565b6040516102a69190610e94565b60405180910390f35b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461030957600080fd5b80600260146101000a81548160ff02191690831515021790555050565b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103ac57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b606060008211610475576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161046c90611160565b60405180910390fd5b600060014361048491906111af565b409050600081423360405160200161049e93929190611277565b6040516020818303038152906040528051906020012060001c905060006040518060600160405280603e815260200161180a603e9139905060008567ffffffffffffffff8111156104f2576104f1610f13565b5b6040519080825280601f01601f1916602001820160405280156105245781602001600182028036833780820191505090505b50905060005b868110156105c25760008351828661054291906112b4565b61054c9190611317565b905083818151811061056157610560611348565b5b602001015160f81c60f81b83838151811061057f5761057e611348565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053505080806105ba90611377565b91505061052a565b5080945050505050919050565b600260149054906101000a900460ff1681565b60008060001515600260149054906101000a900460ff1615151461060557600080fd5b7ffadb9547847a0c2c31f4c02590545e318d33d7aae99071caecf3fa4ce3cd7dca83336040516106369291906113bf565b60405180910390a160008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663027b7d5b856040518263ffffffff1660e01b815260040161069a9190610cdb565b600060405180830381865afa1580156106b7573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052508101906106e091906115a4565b90503373ffffffffffffffffffffffffffffffffffffffff16816060015173ffffffffffffffffffffffffffffffffffffffff16148061074f57503373ffffffffffffffffffffffffffffffffffffffff16816080015173ffffffffffffffffffffffffffffffffffffffff16145b61078e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107859061165f565b60405180910390fd5b600061079b600354610430565b905060006107ad836060015183610a24565b905060006107bf846080015184610a24565b905080820361080e577f53e021c6b26e6e4068053553cd1b5fcbe1ef5312ede4281e36cbee5c92eeeb79876040516107f79190610cdb565b60405180910390a181819550955050505050610921565b6000818311610821578460800151610827565b84606001515b9050600061083484610ae8565b9050600061084184610ae8565b905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c449731b8b8585856040518563ffffffff1660e01b81526004016108a2949392919061167f565b600060405180830381600087803b1580156108bc57600080fd5b505af11580156108d0573d6000803e3d6000fd5b505050507f01b77a0290d9a7a554f8ebb5ce4eab68c70c509cf02b3232334a2208cfee920d8a8488858560405161090b9594939291906116d2565b60405180910390a1848498509850505050505050505b915091565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060014361095c91906111af565b409050600081858560405160200161097693929190611776565b6040516020818303038152906040528051906020012060001c9050809250505092915050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109f657600080fd5b8060038190555050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080610a31848461094c565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610ac5576001606482610a979190611317565b10610aba576001600682610aab9190611317565b610ab591906112b4565b610abd565b60065b915050610ae2565b6001600682610ad49190611317565b610ade91906112b4565b9150505b92915050565b606060008203610b2f576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050610c44565b600082905060005b6000821115610b62578080610b4b90611377565b915050600a82610b5b91906117af565b9150610b37565b60008167ffffffffffffffff811115610b7e57610b7d610f13565b5b6040519080825280601f01601f191660200182016040528015610bb05781602001600182028036833780820191505090505b5090505b6000851115610c3d578180610bc8906117e0565b925050600a85610bd89190611317565b6030610be491906112b4565b60f81b818381518110610bfa57610bf9611348565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a85610c3691906117af565b9450610bb4565b8093505050505b919050565b6000604051905090565b600080fd5b600080fd5b60008115159050919050565b610c7281610c5d565b8114610c7d57600080fd5b50565b600081359050610c8f81610c69565b92915050565b600060208284031215610cab57610caa610c53565b5b6000610cb984828501610c80565b91505092915050565b6000819050919050565b610cd581610cc2565b82525050565b6000602082019050610cf06000830184610ccc565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d2182610cf6565b9050919050565b610d3181610d16565b82525050565b6000602082019050610d4c6000830184610d28565b92915050565b610d5b81610d16565b8114610d6657600080fd5b50565b600081359050610d7881610d52565b92915050565b600060208284031215610d9457610d93610c53565b5b6000610da284828501610d69565b91505092915050565b610db481610cc2565b8114610dbf57600080fd5b50565b600081359050610dd181610dab565b92915050565b600060208284031215610ded57610dec610c53565b5b6000610dfb84828501610dc2565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e3e578082015181840152602081019050610e23565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e6682610e04565b610e708185610e0f565b9350610e80818560208601610e20565b610e8981610e4a565b840191505092915050565b60006020820190508181036000830152610eae8184610e5b565b905092915050565b610ebf81610c5d565b82525050565b6000602082019050610eda6000830184610eb6565b92915050565b6000604082019050610ef56000830185610ccc565b610f026020830184610ccc565b9392505050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610f4b82610e4a565b810181811067ffffffffffffffff82111715610f6a57610f69610f13565b5b80604052505050565b6000610f7d610c49565b9050610f898282610f42565b919050565b600067ffffffffffffffff821115610fa957610fa8610f13565b5b610fb282610e4a565b9050602081019050919050565b82818337600083830152505050565b6000610fe1610fdc84610f8e565b610f73565b905082815260208101848484011115610ffd57610ffc610f0e565b5b611008848285610fbf565b509392505050565b600082601f83011261102557611024610f09565b5b8135611035848260208601610fce565b91505092915050565b6000806040838503121561105557611054610c53565b5b600061106385828601610d69565b925050602083013567ffffffffffffffff81111561108457611083610c58565b5b61109085828601611010565b9150509250929050565b6000819050919050565b60006110bf6110ba6110b584610cf6565b61109a565b610cf6565b9050919050565b60006110d1826110a4565b9050919050565b60006110e3826110c6565b9050919050565b6110f3816110d8565b82525050565b600060208201905061110e60008301846110ea565b92915050565b7f4c656e677468206d7573742062652067726561746572207468616e2030000000600082015250565b600061114a601d83610e0f565b915061115582611114565b602082019050919050565b600060208201905081810360008301526111798161113d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111ba82610cc2565b91506111c583610cc2565b92508282039050818111156111dd576111dc611180565b5b92915050565b6000819050919050565b6000819050919050565b611208611203826111e3565b6111ed565b82525050565b6000819050919050565b61122961122482610cc2565b61120e565b82525050565b60008160601b9050919050565b60006112478261122f565b9050919050565b60006112598261123c565b9050919050565b61127161126c82610d16565b61124e565b82525050565b600061128382866111f7565b6020820191506112938285611218565b6020820191506112a38284611260565b601482019150819050949350505050565b60006112bf82610cc2565b91506112ca83610cc2565b92508282019050808211156112e2576112e1611180565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061132282610cc2565b915061132d83610cc2565b92508261133d5761133c6112e8565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600061138282610cc2565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036113b4576113b3611180565b5b600182019050919050565b60006040820190506113d46000830185610ccc565b6113e16020830184610d28565b9392505050565b600080fd5b600080fd5b60008151905061140181610dab565b92915050565b60008151905061141681610d52565b92915050565b600061142f61142a84610f8e565b610f73565b90508281526020810184848401111561144b5761144a610f0e565b5b611456848285610e20565b509392505050565b600082601f83011261147357611472610f09565b5b815161148384826020860161141c565b91505092915050565b600061012082840312156114a3576114a26113e8565b5b6114ae610120610f73565b905060006114be848285016113f2565b60008301525060206114d2848285016113f2565b60208301525060406114e6848285016113f2565b60408301525060606114fa84828501611407565b606083015250608061150e84828501611407565b60808301525060a061152284828501611407565b60a08301525060c061153684828501611407565b60c08301525060e082015167ffffffffffffffff81111561155a576115596113ed565b5b6115668482850161145e565b60e08301525061010082015167ffffffffffffffff81111561158b5761158a6113ed565b5b6115978482850161145e565b6101008301525092915050565b6000602082840312156115ba576115b9610c53565b5b600082015167ffffffffffffffff8111156115d8576115d7610c58565b5b6115e48482850161148c565b91505092915050565b7f506c61796572206973206e6f7420616c6c6f77656420746f20706c617920676160008201527f6d65206f6e2074686973207461626c652e000000000000000000000000000000602082015250565b6000611649603183610e0f565b9150611654826115ed565b604082019050919050565b600060208201905081810360008301526116788161163c565b9050919050565b60006080820190506116946000830187610ccc565b6116a16020830186610d28565b81810360408301526116b38185610e5b565b905081810360608301526116c78184610e5b565b905095945050505050565b600060a0820190506116e76000830188610ccc565b6116f46020830187610d28565b81810360408301526117068186610e5b565b9050818103606083015261171a8185610e5b565b9050818103608083015261172e8184610e5b565b90509695505050505050565b600081905092915050565b600061175082610e04565b61175a818561173a565b935061176a818560208601610e20565b80840191505092915050565b600061178282866111f7565b6020820191506117928285611260565b6014820191506117a28284611745565b9150819050949350505050565b60006117ba82610cc2565b91506117c583610cc2565b9250826117d5576117d46112e8565b5b828204905092915050565b60006117eb82610cc2565b9150600082036117fe576117fd611180565b5b60018203905091905056fe7a476446723078486650774b7334337968524a4465704d6a58366d456169384f5349577151545a636c55596f423935746e76624c56324167313775434e6ba2646970667358221220748bf3be61938234db5d32ac97a664e8d30111bdef3d81206657f6be77b1cefd64736f6c63430008120033000000000000000000000000fcea7232160c9cf1b36e401348ef3fd4f83d6af1

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80636898f82b1161008c578063929ee7e311610066578063929ee7e3146102155780639403e8dd14610231578063b2fab7ad1461024f578063e93956791461027f576100cf565b80636898f82b146101965780636ade21e4146101c75780638e8a86d7146101e5576100cf565b80633059a6d4146100d457806336013189146100f0578063481c6a751461010e578063494cc23d1461012c5780634f7d22e7146101485780635c975abb14610178575b600080fd5b6100ee60048036038101906100e99190610c95565b6102af565b005b6100f8610326565b6040516101059190610cdb565b60405180910390f35b61011661032c565b6040516101239190610d37565b60405180910390f35b61014660048036038101906101419190610d7e565b610352565b005b610162600480360381019061015d9190610dd7565b610430565b60405161016f9190610e94565b60405180910390f35b6101806105cf565b60405161018d9190610ec5565b60405180910390f35b6101b060048036038101906101ab9190610dd7565b6105e2565b6040516101be929190610ee0565b60405180910390f35b6101cf610926565b6040516101dc9190610d37565b60405180910390f35b6101ff60048036038101906101fa919061103e565b61094c565b60405161020c9190610cdb565b60405180910390f35b61022f600480360381019061022a9190610dd7565b61099c565b005b610239610a00565b60405161024691906110f9565b60405180910390f35b6102696004803603810190610264919061103e565b610a24565b6040516102769190610cdb565b60405180910390f35b61029960048036038101906102949190610dd7565b610ae8565b6040516102a69190610e94565b60405180910390f35b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461030957600080fd5b80600260146101000a81548160ff02191690831515021790555050565b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103ac57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b606060008211610475576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161046c90611160565b60405180910390fd5b600060014361048491906111af565b409050600081423360405160200161049e93929190611277565b6040516020818303038152906040528051906020012060001c905060006040518060600160405280603e815260200161180a603e9139905060008567ffffffffffffffff8111156104f2576104f1610f13565b5b6040519080825280601f01601f1916602001820160405280156105245781602001600182028036833780820191505090505b50905060005b868110156105c25760008351828661054291906112b4565b61054c9190611317565b905083818151811061056157610560611348565b5b602001015160f81c60f81b83838151811061057f5761057e611348565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053505080806105ba90611377565b91505061052a565b5080945050505050919050565b600260149054906101000a900460ff1681565b60008060001515600260149054906101000a900460ff1615151461060557600080fd5b7ffadb9547847a0c2c31f4c02590545e318d33d7aae99071caecf3fa4ce3cd7dca83336040516106369291906113bf565b60405180910390a160008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663027b7d5b856040518263ffffffff1660e01b815260040161069a9190610cdb565b600060405180830381865afa1580156106b7573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052508101906106e091906115a4565b90503373ffffffffffffffffffffffffffffffffffffffff16816060015173ffffffffffffffffffffffffffffffffffffffff16148061074f57503373ffffffffffffffffffffffffffffffffffffffff16816080015173ffffffffffffffffffffffffffffffffffffffff16145b61078e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107859061165f565b60405180910390fd5b600061079b600354610430565b905060006107ad836060015183610a24565b905060006107bf846080015184610a24565b905080820361080e577f53e021c6b26e6e4068053553cd1b5fcbe1ef5312ede4281e36cbee5c92eeeb79876040516107f79190610cdb565b60405180910390a181819550955050505050610921565b6000818311610821578460800151610827565b84606001515b9050600061083484610ae8565b9050600061084184610ae8565b905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c449731b8b8585856040518563ffffffff1660e01b81526004016108a2949392919061167f565b600060405180830381600087803b1580156108bc57600080fd5b505af11580156108d0573d6000803e3d6000fd5b505050507f01b77a0290d9a7a554f8ebb5ce4eab68c70c509cf02b3232334a2208cfee920d8a8488858560405161090b9594939291906116d2565b60405180910390a1848498509850505050505050505b915091565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060014361095c91906111af565b409050600081858560405160200161097693929190611776565b6040516020818303038152906040528051906020012060001c9050809250505092915050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109f657600080fd5b8060038190555050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080610a31848461094c565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610ac5576001606482610a979190611317565b10610aba576001600682610aab9190611317565b610ab591906112b4565b610abd565b60065b915050610ae2565b6001600682610ad49190611317565b610ade91906112b4565b9150505b92915050565b606060008203610b2f576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050610c44565b600082905060005b6000821115610b62578080610b4b90611377565b915050600a82610b5b91906117af565b9150610b37565b60008167ffffffffffffffff811115610b7e57610b7d610f13565b5b6040519080825280601f01601f191660200182016040528015610bb05781602001600182028036833780820191505090505b5090505b6000851115610c3d578180610bc8906117e0565b925050600a85610bd89190611317565b6030610be491906112b4565b60f81b818381518110610bfa57610bf9611348565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a85610c3691906117af565b9450610bb4565b8093505050505b919050565b6000604051905090565b600080fd5b600080fd5b60008115159050919050565b610c7281610c5d565b8114610c7d57600080fd5b50565b600081359050610c8f81610c69565b92915050565b600060208284031215610cab57610caa610c53565b5b6000610cb984828501610c80565b91505092915050565b6000819050919050565b610cd581610cc2565b82525050565b6000602082019050610cf06000830184610ccc565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d2182610cf6565b9050919050565b610d3181610d16565b82525050565b6000602082019050610d4c6000830184610d28565b92915050565b610d5b81610d16565b8114610d6657600080fd5b50565b600081359050610d7881610d52565b92915050565b600060208284031215610d9457610d93610c53565b5b6000610da284828501610d69565b91505092915050565b610db481610cc2565b8114610dbf57600080fd5b50565b600081359050610dd181610dab565b92915050565b600060208284031215610ded57610dec610c53565b5b6000610dfb84828501610dc2565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e3e578082015181840152602081019050610e23565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e6682610e04565b610e708185610e0f565b9350610e80818560208601610e20565b610e8981610e4a565b840191505092915050565b60006020820190508181036000830152610eae8184610e5b565b905092915050565b610ebf81610c5d565b82525050565b6000602082019050610eda6000830184610eb6565b92915050565b6000604082019050610ef56000830185610ccc565b610f026020830184610ccc565b9392505050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610f4b82610e4a565b810181811067ffffffffffffffff82111715610f6a57610f69610f13565b5b80604052505050565b6000610f7d610c49565b9050610f898282610f42565b919050565b600067ffffffffffffffff821115610fa957610fa8610f13565b5b610fb282610e4a565b9050602081019050919050565b82818337600083830152505050565b6000610fe1610fdc84610f8e565b610f73565b905082815260208101848484011115610ffd57610ffc610f0e565b5b611008848285610fbf565b509392505050565b600082601f83011261102557611024610f09565b5b8135611035848260208601610fce565b91505092915050565b6000806040838503121561105557611054610c53565b5b600061106385828601610d69565b925050602083013567ffffffffffffffff81111561108457611083610c58565b5b61109085828601611010565b9150509250929050565b6000819050919050565b60006110bf6110ba6110b584610cf6565b61109a565b610cf6565b9050919050565b60006110d1826110a4565b9050919050565b60006110e3826110c6565b9050919050565b6110f3816110d8565b82525050565b600060208201905061110e60008301846110ea565b92915050565b7f4c656e677468206d7573742062652067726561746572207468616e2030000000600082015250565b600061114a601d83610e0f565b915061115582611114565b602082019050919050565b600060208201905081810360008301526111798161113d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111ba82610cc2565b91506111c583610cc2565b92508282039050818111156111dd576111dc611180565b5b92915050565b6000819050919050565b6000819050919050565b611208611203826111e3565b6111ed565b82525050565b6000819050919050565b61122961122482610cc2565b61120e565b82525050565b60008160601b9050919050565b60006112478261122f565b9050919050565b60006112598261123c565b9050919050565b61127161126c82610d16565b61124e565b82525050565b600061128382866111f7565b6020820191506112938285611218565b6020820191506112a38284611260565b601482019150819050949350505050565b60006112bf82610cc2565b91506112ca83610cc2565b92508282019050808211156112e2576112e1611180565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061132282610cc2565b915061132d83610cc2565b92508261133d5761133c6112e8565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600061138282610cc2565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036113b4576113b3611180565b5b600182019050919050565b60006040820190506113d46000830185610ccc565b6113e16020830184610d28565b9392505050565b600080fd5b600080fd5b60008151905061140181610dab565b92915050565b60008151905061141681610d52565b92915050565b600061142f61142a84610f8e565b610f73565b90508281526020810184848401111561144b5761144a610f0e565b5b611456848285610e20565b509392505050565b600082601f83011261147357611472610f09565b5b815161148384826020860161141c565b91505092915050565b600061012082840312156114a3576114a26113e8565b5b6114ae610120610f73565b905060006114be848285016113f2565b60008301525060206114d2848285016113f2565b60208301525060406114e6848285016113f2565b60408301525060606114fa84828501611407565b606083015250608061150e84828501611407565b60808301525060a061152284828501611407565b60a08301525060c061153684828501611407565b60c08301525060e082015167ffffffffffffffff81111561155a576115596113ed565b5b6115668482850161145e565b60e08301525061010082015167ffffffffffffffff81111561158b5761158a6113ed565b5b6115978482850161145e565b6101008301525092915050565b6000602082840312156115ba576115b9610c53565b5b600082015167ffffffffffffffff8111156115d8576115d7610c58565b5b6115e48482850161148c565b91505092915050565b7f506c61796572206973206e6f7420616c6c6f77656420746f20706c617920676160008201527f6d65206f6e2074686973207461626c652e000000000000000000000000000000602082015250565b6000611649603183610e0f565b9150611654826115ed565b604082019050919050565b600060208201905081810360008301526116788161163c565b9050919050565b60006080820190506116946000830187610ccc565b6116a16020830186610d28565b81810360408301526116b38185610e5b565b905081810360608301526116c78184610e5b565b905095945050505050565b600060a0820190506116e76000830188610ccc565b6116f46020830187610d28565b81810360408301526117068186610e5b565b9050818103606083015261171a8185610e5b565b9050818103608083015261172e8184610e5b565b90509695505050505050565b600081905092915050565b600061175082610e04565b61175a818561173a565b935061176a818560208601610e20565b80840191505092915050565b600061178282866111f7565b6020820191506117928285611260565b6014820191506117a28284611745565b9150819050949350505050565b60006117ba82610cc2565b91506117c583610cc2565b9250826117d5576117d46112e8565b5b828204905092915050565b60006117eb82610cc2565b9150600082036117fe576117fd611180565b5b60018203905091905056fe7a476446723078486650774b7334337968524a4465704d6a58366d456169384f5349577151545a636c55596f423935746e76624c56324167313775434e6ba2646970667358221220748bf3be61938234db5d32ac97a664e8d30111bdef3d81206657f6be77b1cefd64736f6c63430008120033

000000000000000000000000fcea7232160c9cf1b36e401348ef3fd4f83d6af1

-----Decoded View---------------
Arg [0] : _casino (address): 0xFCEA7232160c9CF1b36e401348EF3FD4F83D6AF1

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000fcea7232160c9cf1b36e401348ef3fd4f83d6af1

1147:5118:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5995:92;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1291:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1237:22;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1767:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2025:1214;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1266:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4017:1432;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;1202:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3247:401;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1909:108;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1175:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3656:353;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5457:530;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5995:92;6234:7;;;;;;;;;;;6220:21;;:10;:21;;;6212:30;;;;;;6072:7:::1;6063:6;;:16;;;;;;;;;;;;;;;;;;5995:92:::0;:::o;1291:30::-;;;;:::o;1237:22::-;;;;;;;;;;;;;:::o;1767:134::-;6234:7;;;;;;;;;;;6220:21;;:10;:21;;;6212:30;;;;;;1851:7:::1;1835:6;::::0;:24:::1;;;;;;;;;;;;;;;;;;1886:7;1870:13;;:23;;;;;;;;;;;;;;;;;;1767:134:::0;:::o;2025:1214::-;2119:13;2167:1;2158:6;:10;2150:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;2291:31;2350:1;2335:12;:16;;;;:::i;:::-;2325:27;2291:61;;2363:12;2467:23;2513:15;2551:10;2428:152;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;2400:195;;;;;;2378:228;;2363:243;;2681:37;:104;;;;;;;;;;;;;;;;;;;2837:25;2875:6;2865:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2837:45;;2898:9;2893:299;2917:6;2913:1;:10;2893:299;;;3005:17;3044:10;3038:24;3033:1;3026:4;:8;;;;:::i;:::-;3025:37;;;;:::i;:::-;3005:57;;3158:10;3170:9;3152:28;;;;;;;;:::i;:::-;;;;;;;;;;3134:12;3147:1;3134:15;;;;;;;;:::i;:::-;;;;;:46;;;;;;;;;;;2930:262;2925:3;;;;;:::i;:::-;;;;2893:299;;;;3218:12;3204:27;;;;;;2025:1214;;;:::o;1266:18::-;;;;;;;;;;;;;:::o;4017:1432::-;4073:7;4082;6145:5;6135:15;;:6;;;;;;;;;;;:15;;;6127:24;;;;;;4107:31:::1;4119:6;4127:10;4107:31;;;;;;;:::i;:::-;;;;;;;;4149:23;4175:6:::0;::::1;;;;;;;;;;:28;;;4204:6;4175:36;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4149:62;;4260:10;4244:26;;:4;:12;;;:26;;;:56;;;;4290:10;4274:26;;:4;:12;;;:26;;;4244:56;4222:155;;;;;;;;;;;;:::i;:::-;;;;;;;;;4388:28;4419:32;4440:10;;4419:20;:32::i;:::-;4388:63;;4462:19;4484:34;4489:4;:12;;;4503:14;4484:4;:34::i;:::-;4462:56;;4529:19;4551:34;4556:4;:12;;;4570:14;4551:4;:34::i;:::-;4529:56;;4617:11;4602;:26:::0;4598:844:::1;;4650:15;4658:6;4650:15;;;;;;:::i;:::-;;;;;;;;4688:11;4701;4680:33;;;;;;;;;;4598:844;4746:14;4777:11;4763;:25;:89;;4840:4;:12;;;4763:89;;;4808:4;:12;;;4763:89;4746:106;;4869:31;4903:25;4916:11;4903:12;:25::i;:::-;4869:59;;4943:31;4977:25;4990:11;4977:12;:25::i;:::-;4943:59;;5019:6;::::0;::::1;;;;;;;;:21;;;5059:6;5084;5109:17;5145;5019:158;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;5199:183;5231:6;5256;5281:14;5314:17;5350;5199:183;;;;;;;;;;:::i;:::-;;;;;;;;5405:11;5418;5397:33;;;;;;;;;;;6162:1;4017:1432:::0;;;:::o;1202:28::-;;;;;;;;;;;;;:::o;3247:401::-;3353:7;3378:31;3437:1;3422:12;:16;;;;:::i;:::-;3412:27;3378:61;;3450:20;3540:23;3565:7;3574:9;3523:61;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;3495:104;;;;;;3473:137;;3450:160;;3628:12;3621:19;;;;3247:401;;;;:::o;1909:108::-;6234:7;;;;;;;;;;;6220:21;;:10;:21;;;6212:30;;;;;;1998:11:::1;1985:10;:24;;;;1909:108:::0;:::o;1175:20::-;;;;;;;;;;;;:::o;3656:353::-;3760:7;3785:20;3808:26;3815:7;3824:9;3808:6;:26::i;:::-;3785:49;;3860:13;;;;;;;;;;;3849:24;;:7;:24;;;3845:117;;3920:1;3913:3;3898:12;:18;;;;:::i;:::-;3897:24;:53;;3949:1;3944;3929:12;:16;;;;:::i;:::-;3928:22;;;;:::i;:::-;3897:53;;;3924:1;3897:53;3890:60;;;;;3845:117;4000:1;3995;3980:12;:16;;;;:::i;:::-;3979:22;;;;:::i;:::-;3972:29;;;3656:353;;;;;:::o;5457:530::-;5515:13;5554:1;5545:5;:10;5541:53;;5572:10;;;;;;;;;;;;;;;;;;;;;5541:53;5606:12;5621:5;5606:20;;5637:14;5664:77;5678:1;5671:4;:8;5664:77;;;5696:8;;;;;:::i;:::-;;;;5727:2;5719:10;;;;;:::i;:::-;;;5664:77;;;5753:19;5785:6;5775:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5753:39;;5803:143;5818:1;5810:5;:9;5803:143;;;5836:8;;;;;:::i;:::-;;;;5903:2;5895:5;:10;;;;:::i;:::-;5889:2;:17;;;;:::i;:::-;5876:32;;5859:6;5866;5859:14;;;;;;;;:::i;:::-;;;;;:49;;;;;;;;;;;5932:2;5923:11;;;;;:::i;:::-;;;5803:143;;;5972:6;5958:21;;;;;5457:530;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:90;368:7;411:5;404:13;397:21;386:32;;334:90;;;:::o;430:116::-;500:21;515:5;500:21;:::i;:::-;493:5;490:32;480:60;;536:1;533;526:12;480:60;430:116;:::o;552:133::-;595:5;633:6;620:20;611:29;;649:30;673:5;649:30;:::i;:::-;552:133;;;;:::o;691:323::-;747:6;796:2;784:9;775:7;771:23;767:32;764:119;;;802:79;;:::i;:::-;764:119;922:1;947:50;989:7;980:6;969:9;965:22;947:50;:::i;:::-;937:60;;893:114;691:323;;;;:::o;1020:77::-;1057:7;1086:5;1075:16;;1020:77;;;:::o;1103:118::-;1190:24;1208:5;1190:24;:::i;:::-;1185:3;1178:37;1103:118;;:::o;1227:222::-;1320:4;1358:2;1347:9;1343:18;1335:26;;1371:71;1439:1;1428:9;1424:17;1415:6;1371:71;:::i;:::-;1227:222;;;;:::o;1455:126::-;1492:7;1532:42;1525:5;1521:54;1510:65;;1455:126;;;:::o;1587:96::-;1624:7;1653:24;1671:5;1653:24;:::i;:::-;1642:35;;1587:96;;;:::o;1689:118::-;1776:24;1794:5;1776:24;:::i;:::-;1771:3;1764:37;1689:118;;:::o;1813:222::-;1906:4;1944:2;1933:9;1929:18;1921:26;;1957:71;2025:1;2014:9;2010:17;2001:6;1957:71;:::i;:::-;1813:222;;;;:::o;2041:122::-;2114:24;2132:5;2114:24;:::i;:::-;2107:5;2104:35;2094:63;;2153:1;2150;2143:12;2094:63;2041:122;:::o;2169:139::-;2215:5;2253:6;2240:20;2231:29;;2269:33;2296:5;2269:33;:::i;:::-;2169:139;;;;:::o;2314:329::-;2373:6;2422:2;2410:9;2401:7;2397:23;2393:32;2390:119;;;2428:79;;:::i;:::-;2390:119;2548:1;2573:53;2618:7;2609:6;2598:9;2594:22;2573:53;:::i;:::-;2563:63;;2519:117;2314:329;;;;:::o;2649:122::-;2722:24;2740:5;2722:24;:::i;:::-;2715:5;2712:35;2702:63;;2761:1;2758;2751:12;2702:63;2649:122;:::o;2777:139::-;2823:5;2861:6;2848:20;2839:29;;2877:33;2904:5;2877:33;:::i;:::-;2777:139;;;;:::o;2922:329::-;2981:6;3030:2;3018:9;3009:7;3005:23;3001:32;2998:119;;;3036:79;;:::i;:::-;2998:119;3156:1;3181:53;3226:7;3217:6;3206:9;3202:22;3181:53;:::i;:::-;3171:63;;3127:117;2922:329;;;;:::o;3257:99::-;3309:6;3343:5;3337:12;3327:22;;3257:99;;;:::o;3362:169::-;3446:11;3480:6;3475:3;3468:19;3520:4;3515:3;3511:14;3496:29;;3362:169;;;;:::o;3537:246::-;3618:1;3628:113;3642:6;3639:1;3636:13;3628:113;;;3727:1;3722:3;3718:11;3712:18;3708:1;3703:3;3699:11;3692:39;3664:2;3661:1;3657:10;3652:15;;3628:113;;;3775:1;3766:6;3761:3;3757:16;3750:27;3599:184;3537:246;;;:::o;3789:102::-;3830:6;3881:2;3877:7;3872:2;3865:5;3861:14;3857:28;3847:38;;3789:102;;;:::o;3897:377::-;3985:3;4013:39;4046:5;4013:39;:::i;:::-;4068:71;4132:6;4127:3;4068:71;:::i;:::-;4061:78;;4148:65;4206:6;4201:3;4194:4;4187:5;4183:16;4148:65;:::i;:::-;4238:29;4260:6;4238:29;:::i;:::-;4233:3;4229:39;4222:46;;3989:285;3897:377;;;;:::o;4280:313::-;4393:4;4431:2;4420:9;4416:18;4408:26;;4480:9;4474:4;4470:20;4466:1;4455:9;4451:17;4444:47;4508:78;4581:4;4572:6;4508:78;:::i;:::-;4500:86;;4280:313;;;;:::o;4599:109::-;4680:21;4695:5;4680:21;:::i;:::-;4675:3;4668:34;4599:109;;:::o;4714:210::-;4801:4;4839:2;4828:9;4824:18;4816:26;;4852:65;4914:1;4903:9;4899:17;4890:6;4852:65;:::i;:::-;4714:210;;;;:::o;4930:332::-;5051:4;5089:2;5078:9;5074:18;5066:26;;5102:71;5170:1;5159:9;5155:17;5146:6;5102:71;:::i;:::-;5183:72;5251:2;5240:9;5236:18;5227:6;5183:72;:::i;:::-;4930:332;;;;;:::o;5268:117::-;5377:1;5374;5367:12;5391:117;5500:1;5497;5490:12;5514:180;5562:77;5559:1;5552:88;5659:4;5656:1;5649:15;5683:4;5680:1;5673:15;5700:281;5783:27;5805:4;5783:27;:::i;:::-;5775:6;5771:40;5913:6;5901:10;5898:22;5877:18;5865:10;5862:34;5859:62;5856:88;;;5924:18;;:::i;:::-;5856:88;5964:10;5960:2;5953:22;5743:238;5700:281;;:::o;5987:129::-;6021:6;6048:20;;:::i;:::-;6038:30;;6077:33;6105:4;6097:6;6077:33;:::i;:::-;5987:129;;;:::o;6122:308::-;6184:4;6274:18;6266:6;6263:30;6260:56;;;6296:18;;:::i;:::-;6260:56;6334:29;6356:6;6334:29;:::i;:::-;6326:37;;6418:4;6412;6408:15;6400:23;;6122:308;;;:::o;6436:146::-;6533:6;6528:3;6523;6510:30;6574:1;6565:6;6560:3;6556:16;6549:27;6436:146;;;:::o;6588:425::-;6666:5;6691:66;6707:49;6749:6;6707:49;:::i;:::-;6691:66;:::i;:::-;6682:75;;6780:6;6773:5;6766:21;6818:4;6811:5;6807:16;6856:3;6847:6;6842:3;6838:16;6835:25;6832:112;;;6863:79;;:::i;:::-;6832:112;6953:54;7000:6;6995:3;6990;6953:54;:::i;:::-;6672:341;6588:425;;;;;:::o;7033:340::-;7089:5;7138:3;7131:4;7123:6;7119:17;7115:27;7105:122;;7146:79;;:::i;:::-;7105:122;7263:6;7250:20;7288:79;7363:3;7355:6;7348:4;7340:6;7336:17;7288:79;:::i;:::-;7279:88;;7095:278;7033:340;;;;:::o;7379:654::-;7457:6;7465;7514:2;7502:9;7493:7;7489:23;7485:32;7482:119;;;7520:79;;:::i;:::-;7482:119;7640:1;7665:53;7710:7;7701:6;7690:9;7686:22;7665:53;:::i;:::-;7655:63;;7611:117;7795:2;7784:9;7780:18;7767:32;7826:18;7818:6;7815:30;7812:117;;;7848:79;;:::i;:::-;7812:117;7953:63;8008:7;7999:6;7988:9;7984:22;7953:63;:::i;:::-;7943:73;;7738:288;7379:654;;;;;:::o;8039:60::-;8067:3;8088:5;8081:12;;8039:60;;;:::o;8105:142::-;8155:9;8188:53;8206:34;8215:24;8233:5;8215:24;:::i;:::-;8206:34;:::i;:::-;8188:53;:::i;:::-;8175:66;;8105:142;;;:::o;8253:126::-;8303:9;8336:37;8367:5;8336:37;:::i;:::-;8323:50;;8253:126;;;:::o;8385:139::-;8448:9;8481:37;8512:5;8481:37;:::i;:::-;8468:50;;8385:139;;;:::o;8530:157::-;8630:50;8674:5;8630:50;:::i;:::-;8625:3;8618:63;8530:157;;:::o;8693:248::-;8799:4;8837:2;8826:9;8822:18;8814:26;;8850:84;8931:1;8920:9;8916:17;8907:6;8850:84;:::i;:::-;8693:248;;;;:::o;8947:179::-;9087:31;9083:1;9075:6;9071:14;9064:55;8947:179;:::o;9132:366::-;9274:3;9295:67;9359:2;9354:3;9295:67;:::i;:::-;9288:74;;9371:93;9460:3;9371:93;:::i;:::-;9489:2;9484:3;9480:12;9473:19;;9132:366;;;:::o;9504:419::-;9670:4;9708:2;9697:9;9693:18;9685:26;;9757:9;9751:4;9747:20;9743:1;9732:9;9728:17;9721:47;9785:131;9911:4;9785:131;:::i;:::-;9777:139;;9504:419;;;:::o;9929:180::-;9977:77;9974:1;9967:88;10074:4;10071:1;10064:15;10098:4;10095:1;10088:15;10115:194;10155:4;10175:20;10193:1;10175:20;:::i;:::-;10170:25;;10209:20;10227:1;10209:20;:::i;:::-;10204:25;;10253:1;10250;10246:9;10238:17;;10277:1;10271:4;10268:11;10265:37;;;10282:18;;:::i;:::-;10265:37;10115:194;;;;:::o;10315:77::-;10352:7;10381:5;10370:16;;10315:77;;;:::o;10398:79::-;10437:7;10466:5;10455:16;;10398:79;;;:::o;10483:157::-;10588:45;10608:24;10626:5;10608:24;:::i;:::-;10588:45;:::i;:::-;10583:3;10576:58;10483:157;;:::o;10646:79::-;10685:7;10714:5;10703:16;;10646:79;;;:::o;10731:157::-;10836:45;10856:24;10874:5;10856:24;:::i;:::-;10836:45;:::i;:::-;10831:3;10824:58;10731:157;;:::o;10894:94::-;10927:8;10975:5;10971:2;10967:14;10946:35;;10894:94;;;:::o;10994:::-;11033:7;11062:20;11076:5;11062:20;:::i;:::-;11051:31;;10994:94;;;:::o;11094:100::-;11133:7;11162:26;11182:5;11162:26;:::i;:::-;11151:37;;11094:100;;;:::o;11200:157::-;11305:45;11325:24;11343:5;11325:24;:::i;:::-;11305:45;:::i;:::-;11300:3;11293:58;11200:157;;:::o;11363:538::-;11531:3;11546:75;11617:3;11608:6;11546:75;:::i;:::-;11646:2;11641:3;11637:12;11630:19;;11659:75;11730:3;11721:6;11659:75;:::i;:::-;11759:2;11754:3;11750:12;11743:19;;11772:75;11843:3;11834:6;11772:75;:::i;:::-;11872:2;11867:3;11863:12;11856:19;;11892:3;11885:10;;11363:538;;;;;;:::o;11907:191::-;11947:3;11966:20;11984:1;11966:20;:::i;:::-;11961:25;;12000:20;12018:1;12000:20;:::i;:::-;11995:25;;12043:1;12040;12036:9;12029:16;;12064:3;12061:1;12058:10;12055:36;;;12071:18;;:::i;:::-;12055:36;11907:191;;;;:::o;12104:180::-;12152:77;12149:1;12142:88;12249:4;12246:1;12239:15;12273:4;12270:1;12263:15;12290:176;12322:1;12339:20;12357:1;12339:20;:::i;:::-;12334:25;;12373:20;12391:1;12373:20;:::i;:::-;12368:25;;12412:1;12402:35;;12417:18;;:::i;:::-;12402:35;12458:1;12455;12451:9;12446:14;;12290:176;;;;:::o;12472:180::-;12520:77;12517:1;12510:88;12617:4;12614:1;12607:15;12641:4;12638:1;12631:15;12658:233;12697:3;12720:24;12738:5;12720:24;:::i;:::-;12711:33;;12766:66;12759:5;12756:77;12753:103;;12836:18;;:::i;:::-;12753:103;12883:1;12876:5;12872:13;12865:20;;12658:233;;;:::o;12897:332::-;13018:4;13056:2;13045:9;13041:18;13033:26;;13069:71;13137:1;13126:9;13122:17;13113:6;13069:71;:::i;:::-;13150:72;13218:2;13207:9;13203:18;13194:6;13150:72;:::i;:::-;12897:332;;;;;:::o;13235:117::-;13344:1;13341;13334:12;13358:117;13467:1;13464;13457:12;13481:143;13538:5;13569:6;13563:13;13554:22;;13585:33;13612:5;13585:33;:::i;:::-;13481:143;;;;:::o;13630:::-;13687:5;13718:6;13712:13;13703:22;;13734:33;13761:5;13734:33;:::i;:::-;13630:143;;;;:::o;13779:434::-;13868:5;13893:66;13909:49;13951:6;13909:49;:::i;:::-;13893:66;:::i;:::-;13884:75;;13982:6;13975:5;13968:21;14020:4;14013:5;14009:16;14058:3;14049:6;14044:3;14040:16;14037:25;14034:112;;;14065:79;;:::i;:::-;14034:112;14155:52;14200:6;14195:3;14190;14155:52;:::i;:::-;13874:339;13779:434;;;;;:::o;14233:355::-;14300:5;14349:3;14342:4;14334:6;14330:17;14326:27;14316:122;;14357:79;;:::i;:::-;14316:122;14467:6;14461:13;14492:90;14578:3;14570:6;14563:4;14555:6;14551:17;14492:90;:::i;:::-;14483:99;;14306:282;14233:355;;;;:::o;14620:2202::-;14700:5;14744:6;14732:9;14727:3;14723:19;14719:32;14716:119;;;14754:79;;:::i;:::-;14716:119;14853:23;14869:6;14853:23;:::i;:::-;14844:32;;14936:1;14976:60;15032:3;15023:6;15012:9;15008:22;14976:60;:::i;:::-;14969:4;14962:5;14958:16;14951:86;14886:162;15112:2;15153:60;15209:3;15200:6;15189:9;15185:22;15153:60;:::i;:::-;15146:4;15139:5;15135:16;15128:86;15058:167;15294:2;15335:60;15391:3;15382:6;15371:9;15367:22;15335:60;:::i;:::-;15328:4;15321:5;15317:16;15310:86;15235:172;15469:2;15510:60;15566:3;15557:6;15546:9;15542:22;15510:60;:::i;:::-;15503:4;15496:5;15492:16;15485:86;15417:165;15644:3;15686:60;15742:3;15733:6;15722:9;15718:22;15686:60;:::i;:::-;15679:4;15672:5;15668:16;15661:86;15592:166;15819:3;15861:60;15917:3;15908:6;15897:9;15893:22;15861:60;:::i;:::-;15854:4;15847:5;15843:16;15836:86;15768:165;16007:3;16049:60;16105:3;16096:6;16085:9;16081:22;16049:60;:::i;:::-;16042:4;16035:5;16031:16;16024:86;15943:178;16211:3;16200:9;16196:19;16190:26;16243:18;16235:6;16232:30;16229:117;;;16265:79;;:::i;:::-;16229:117;16385:70;16451:3;16442:6;16431:9;16427:22;16385:70;:::i;:::-;16378:4;16371:5;16367:16;16360:96;16131:336;16557:3;16546:9;16542:19;16536:26;16589:18;16581:6;16578:30;16575:117;;;16611:79;;:::i;:::-;16575:117;16733:70;16799:3;16790:6;16779:9;16775:22;16733:70;:::i;:::-;16724:6;16717:5;16713:18;16706:98;16477:338;14620:2202;;;;:::o;16828:544::-;16918:6;16967:2;16955:9;16946:7;16942:23;16938:32;16935:119;;;16973:79;;:::i;:::-;16935:119;17114:1;17103:9;17099:17;17093:24;17144:18;17136:6;17133:30;17130:117;;;17166:79;;:::i;:::-;17130:117;17271:84;17347:7;17338:6;17327:9;17323:22;17271:84;:::i;:::-;17261:94;;17064:301;16828:544;;;;:::o;17378:236::-;17518:34;17514:1;17506:6;17502:14;17495:58;17587:19;17582:2;17574:6;17570:15;17563:44;17378:236;:::o;17620:366::-;17762:3;17783:67;17847:2;17842:3;17783:67;:::i;:::-;17776:74;;17859:93;17948:3;17859:93;:::i;:::-;17977:2;17972:3;17968:12;17961:19;;17620:366;;;:::o;17992:419::-;18158:4;18196:2;18185:9;18181:18;18173:26;;18245:9;18239:4;18235:20;18231:1;18220:9;18216:17;18209:47;18273:131;18399:4;18273:131;:::i;:::-;18265:139;;17992:419;;;:::o;18417:735::-;18634:4;18672:3;18661:9;18657:19;18649:27;;18686:71;18754:1;18743:9;18739:17;18730:6;18686:71;:::i;:::-;18767:72;18835:2;18824:9;18820:18;18811:6;18767:72;:::i;:::-;18886:9;18880:4;18876:20;18871:2;18860:9;18856:18;18849:48;18914:78;18987:4;18978:6;18914:78;:::i;:::-;18906:86;;19039:9;19033:4;19029:20;19024:2;19013:9;19009:18;19002:48;19067:78;19140:4;19131:6;19067:78;:::i;:::-;19059:86;;18417:735;;;;;;;:::o;19158:937::-;19423:4;19461:3;19450:9;19446:19;19438:27;;19475:71;19543:1;19532:9;19528:17;19519:6;19475:71;:::i;:::-;19556:72;19624:2;19613:9;19609:18;19600:6;19556:72;:::i;:::-;19675:9;19669:4;19665:20;19660:2;19649:9;19645:18;19638:48;19703:78;19776:4;19767:6;19703:78;:::i;:::-;19695:86;;19828:9;19822:4;19818:20;19813:2;19802:9;19798:18;19791:48;19856:78;19929:4;19920:6;19856:78;:::i;:::-;19848:86;;19982:9;19976:4;19972:20;19966:3;19955:9;19951:19;19944:49;20010:78;20083:4;20074:6;20010:78;:::i;:::-;20002:86;;19158:937;;;;;;;;:::o;20101:148::-;20203:11;20240:3;20225:18;;20101:148;;;;:::o;20255:390::-;20361:3;20389:39;20422:5;20389:39;:::i;:::-;20444:89;20526:6;20521:3;20444:89;:::i;:::-;20437:96;;20542:65;20600:6;20595:3;20588:4;20581:5;20577:16;20542:65;:::i;:::-;20632:6;20627:3;20623:16;20616:23;;20365:280;20255:390;;;;:::o;20651:557::-;20839:3;20854:75;20925:3;20916:6;20854:75;:::i;:::-;20954:2;20949:3;20945:12;20938:19;;20967:75;21038:3;21029:6;20967:75;:::i;:::-;21067:2;21062:3;21058:12;21051:19;;21087:95;21178:3;21169:6;21087:95;:::i;:::-;21080:102;;21199:3;21192:10;;20651:557;;;;;;:::o;21214:185::-;21254:1;21271:20;21289:1;21271:20;:::i;:::-;21266:25;;21305:20;21323:1;21305:20;:::i;:::-;21300:25;;21344:1;21334:35;;21349:18;;:::i;:::-;21334:35;21391:1;21388;21384:9;21379:14;;21214:185;;;;:::o;21405:171::-;21444:3;21467:24;21485:5;21467:24;:::i;:::-;21458:33;;21513:4;21506:5;21503:15;21500:41;;21521:18;;:::i;:::-;21500:41;21568:1;21561:5;21557:13;21550:20;;21405:171;;;:::o

ipfs://748bf3be61938234db5d32ac97a664e8d30111bdef3d81206657f6be77b1cefd