Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-10-19
*/

// SPDX-License-Identifier: MIT

// Accessible at: https://tictactoe-eth.pages.dev/

pragma solidity ^0.8.30;

enum Cell {
    EMPTY,
    X,
    O
}

enum GameStatus {
    ONGOING,
    X_WINS,
    O_WINS,
    DRAW,
    STARTED
}

struct BoardState {
    uint8 A1;
    uint8 A2;
    uint8 A3;
    uint8 B1;
    uint8 B2;
    uint8 B3;
    uint8 C1;
    uint8 C2;
    uint8 C3;
}

struct GameState {
    address playerX;
    address playerO;
    uint256 lastMoveTimestamp;
    BoardState board;
}

contract TicTacToe {
    mapping(uint256 => GameState) private games;
    uint256 private currentGameId;
    bool private active;
    address private immutable owner;
    uint256 private constant PRICE = 0.001 ether;
    uint256 private constant TURN_TIMEOUT = 60 * 3; // 3 minutes

    error SendFailed();

    modifier onlyOwner() {
        require(msg.sender == owner, "Only owner");
        _;
    }

    constructor() {
        owner = msg.sender;
        active = true;
    }

    function isActive() public view returns (bool) {
        return active;
    }

    function getCurrentGameState() public view returns (GameState memory) {
        return games[currentGameId];
    }

    function getCurrentGameId() public view returns (uint256) {
        return currentGameId;
    }

    function getCurrentGameStatus() public view returns (GameStatus) {
        return getGameStatus(currentGameId);
    }

    function getGameStatus(uint256 gameId) public view returns (GameStatus) {
        BoardState memory board = games[gameId].board;

        if (
            board.A1 != uint8(Cell.EMPTY) &&
            board.A1 == board.A2 &&
            board.A2 == board.A3
        ) {
            return
                board.A1 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.B1 != uint8(Cell.EMPTY) &&
            board.B1 == board.B2 &&
            board.B2 == board.B3
        ) {
            return
                board.B1 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.C1 != uint8(Cell.EMPTY) &&
            board.C1 == board.C2 &&
            board.C2 == board.C3
        ) {
            return
                board.C1 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.A1 != uint8(Cell.EMPTY) &&
            board.A1 == board.B1 &&
            board.B1 == board.C1
        ) {
            return
                board.A1 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.A2 != uint8(Cell.EMPTY) &&
            board.A2 == board.B2 &&
            board.B2 == board.C2
        ) {
            return
                board.A2 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.A3 != uint8(Cell.EMPTY) &&
            board.A3 == board.B3 &&
            board.B3 == board.C3
        ) {
            return
                board.A3 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.A1 != uint8(Cell.EMPTY) &&
            board.A1 == board.B2 &&
            board.B2 == board.C3
        ) {
            return
                board.A1 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }
        if (
            board.A3 != uint8(Cell.EMPTY) &&
            board.A3 == board.B2 &&
            board.B2 == board.C1
        ) {
            return
                board.A3 == uint8(Cell.X)
                    ? GameStatus.X_WINS
                    : GameStatus.O_WINS;
        }

        if (
            board.A1 != uint8(Cell.EMPTY) &&
            board.A2 != uint8(Cell.EMPTY) &&
            board.A3 != uint8(Cell.EMPTY) &&
            board.B1 != uint8(Cell.EMPTY) &&
            board.B2 != uint8(Cell.EMPTY) &&
            board.B3 != uint8(Cell.EMPTY) &&
            board.C1 != uint8(Cell.EMPTY) &&
            board.C2 != uint8(Cell.EMPTY) &&
            board.C3 != uint8(Cell.EMPTY)
        ) {
            return GameStatus.DRAW;
        }

        if (
            board.A1 == uint8(Cell.EMPTY) &&
            board.A2 == uint8(Cell.EMPTY) &&
            board.A3 == uint8(Cell.EMPTY) &&
            board.B1 == uint8(Cell.EMPTY) &&
            board.B2 == uint8(Cell.EMPTY) &&
            board.B3 == uint8(Cell.EMPTY) &&
            board.C1 == uint8(Cell.EMPTY) &&
            board.C2 == uint8(Cell.EMPTY) &&
            board.C3 == uint8(Cell.EMPTY)
        ) {
            return GameStatus.STARTED;
        }

        return GameStatus.ONGOING;
    }

    function getNumberOfPlacedCells(
        uint256 gameId
    ) private view returns (uint8) {
        BoardState memory board = games[gameId].board;
        uint8 moves = 0;

        if (board.A1 != uint8(Cell.EMPTY)) moves++;
        if (board.A2 != uint8(Cell.EMPTY)) moves++;
        if (board.A3 != uint8(Cell.EMPTY)) moves++;
        if (board.B1 != uint8(Cell.EMPTY)) moves++;
        if (board.B2 != uint8(Cell.EMPTY)) moves++;
        if (board.B3 != uint8(Cell.EMPTY)) moves++;
        if (board.C1 != uint8(Cell.EMPTY)) moves++;
        if (board.C2 != uint8(Cell.EMPTY)) moves++;
        if (board.C3 != uint8(Cell.EMPTY)) moves++;

        return moves;
    }

    function getNumberOfEspecificPlacedCells(
        uint256 gameId,
        Cell cellType
    ) private view returns (uint8) {
        BoardState memory board = games[gameId].board;
        uint8 moves = 0;

        if (board.A1 == uint8(cellType)) moves++;
        if (board.A2 == uint8(cellType)) moves++;
        if (board.A3 == uint8(cellType)) moves++;
        if (board.B1 == uint8(cellType)) moves++;
        if (board.B2 == uint8(cellType)) moves++;
        if (board.B3 == uint8(cellType)) moves++;
        if (board.C1 == uint8(cellType)) moves++;
        if (board.C2 == uint8(cellType)) moves++;
        if (board.C3 == uint8(cellType)) moves++;

        return moves;
    }

    function getTurn(uint256 gameId) public view returns (Cell) {
        return getNumberOfPlacedCells(gameId) % 2 == 0 ? Cell.X : Cell.O;
    }

    function isPlayerCellAvailable(Cell witch) public view returns (bool) {
        bool timeout = (block.timestamp -
            games[currentGameId].lastMoveTimestamp) > TURN_TIMEOUT;

        if (
            (witch == Cell.X && games[currentGameId].playerX == address(0)) ||
            timeout
        ) {
            return true;
        }
        if (
            (witch == Cell.O && games[currentGameId].playerO == address(0)) ||
            timeout
        ) {
            return true;
        }
        return false;
    }

    function getSenderCell(uint256 gameId) public view returns (Cell) {
        if (msg.sender == games[gameId].playerX) {
            return Cell.X;
        } else if (msg.sender == games[gameId].playerO) {
            return Cell.O;
        } else {
            return Cell.EMPTY;
        }
    }

    receive() external payable {
        revert();
    }

    function finishGame() public {
        GameStatus status = getGameStatus(currentGameId);
        require(status != GameStatus.STARTED, "Game just started");
        bool timeout = (block.timestamp -
            games[currentGameId].lastMoveTimestamp) > TURN_TIMEOUT;
        require(
            timeout || status != GameStatus.ONGOING,
            "Game is still ongoing"
        );
        currentGameId++;
    }

    function payPrize(uint256 gameId) public {
        require(gameId < currentGameId, "Game is not finished yet");
        require(
            msg.sender == games[gameId].playerX ||
                msg.sender == games[gameId].playerO,
            "Not a player or already paid out"
        );
        GameStatus status = getGameStatus(gameId);
        require(status != GameStatus.STARTED, "Game is in invalid state");

        if (status == GameStatus.ONGOING) {
            // Timeout situation
            status = GameStatus.X_WINS;
            if (getTurn(gameId) == Cell.X) {
                status = GameStatus.O_WINS;
            }
        }

        uint8 placedCellsToPay = getNumberOfPlacedCells(gameId) - 1;
        if (placedCellsToPay < 1) {
            placedCellsToPay = 1;
        }

        if (status == GameStatus.DRAW) {
            if (msg.sender == games[gameId].playerX) {
                status = GameStatus.X_WINS;
                placedCellsToPay =
                    getNumberOfEspecificPlacedCells(gameId, Cell.X) -
                    1;
                if (placedCellsToPay < 1) {
                    placedCellsToPay = 1;
                }
            } else if (msg.sender == games[gameId].playerO) {
                status = GameStatus.O_WINS;
                placedCellsToPay =
                    getNumberOfEspecificPlacedCells(gameId, Cell.O) -
                    1;
                if (placedCellsToPay < 1) {
                    placedCellsToPay = 1;
                }
            }
        }

        if (status == GameStatus.X_WINS) {
            require(msg.sender == games[gameId].playerX, "Not the winner");
            delete games[gameId].playerX;
            (bool sent, ) = payable(msg.sender).call{
                value: placedCellsToPay * PRICE
            }("");
            if (!sent) revert SendFailed();
        }

        if (status == GameStatus.O_WINS) {
            require(msg.sender == games[gameId].playerO, "Not the winner");
            delete games[gameId].playerO;
            (bool sent, ) = payable(msg.sender).call{
                value: placedCellsToPay * PRICE
            }("");
            if (!sent) revert SendFailed();
        }
    }

    function play(uint8 place) public payable {
        require(active, "Contract is not active");
        require(msg.value == PRICE, "Incorrect ETH amount");
        Cell senderCell = getSenderCell(currentGameId);
        Cell turn = getTurn(currentGameId);
        if (senderCell == Cell.EMPTY) {
            if (turn == Cell.X && isPlayerCellAvailable(Cell.X)) {
                games[currentGameId].playerX = msg.sender;
                senderCell = Cell.X;
            } else if (turn == Cell.O && isPlayerCellAvailable(Cell.O)) {
                games[currentGameId].playerO = msg.sender;
                senderCell = Cell.O;
            } else {
                revert("You are not part of this game");
            }
        } else {
            require(senderCell == turn, "Not your turn");
        }
        GameStatus status = getGameStatus(currentGameId);
        require(
            status == GameStatus.ONGOING || status == GameStatus.STARTED,
            "Game is over"
        );

        BoardState storage board = games[currentGameId].board;
        if (place == 1) {
            require(board.A1 == uint8(Cell.EMPTY), "Cell is occupied");
            board.A1 = uint8(senderCell);
        } else if (place == 2) {
            require(board.A2 == uint8(Cell.EMPTY), "Cell is occupied");
            board.A2 = uint8(senderCell);
        } else if (place == 3) {
            require(board.A3 == uint8(Cell.EMPTY), "Cell is occupied");
            board.A3 = uint8(senderCell);
        } else if (place == 4) {
            require(board.B1 == uint8(Cell.EMPTY), "Cell is occupied");
            board.B1 = uint8(senderCell);
        } else if (place == 5) {
            require(board.B2 == uint8(Cell.EMPTY), "Cell is occupied");
            board.B2 = uint8(senderCell);
        } else if (place == 6) {
            require(board.B3 == uint8(Cell.EMPTY), "Cell is occupied");
            board.B3 = uint8(senderCell);
        } else if (place == 7) {
            require(board.C1 == uint8(Cell.EMPTY), "Cell is occupied");
            board.C1 = uint8(senderCell);
        } else if (place == 8) {
            require(board.C2 == uint8(Cell.EMPTY), "Cell is occupied");
            board.C2 = uint8(senderCell);
        } else if (place == 9) {
            require(board.C3 == uint8(Cell.EMPTY), "Cell is occupied");
            board.C3 = uint8(senderCell);
        } else {
            revert("Invalid place");
        }
        games[currentGameId].lastMoveTimestamp = block.timestamp;
    }

    function adminWithdraw() public onlyOwner {
        require(!active, "Contract must be deactivated");

        (bool sent, ) = payable(owner).call{value: address(this).balance}("");
        if (!sent) revert SendFailed();
    }

    function activate() public onlyOwner {
        active = true;
    }

    function deactivate() public onlyOwner {
        active = false;
    }

    function fundContract() external payable onlyOwner {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"SendFailed","type":"error"},{"inputs":[],"name":"activate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"adminWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"deactivate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"finishGame","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"fundContract","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"getCurrentGameId","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentGameState","outputs":[{"components":[{"internalType":"address","name":"playerX","type":"address"},{"internalType":"address","name":"playerO","type":"address"},{"internalType":"uint256","name":"lastMoveTimestamp","type":"uint256"},{"components":[{"internalType":"uint8","name":"A1","type":"uint8"},{"internalType":"uint8","name":"A2","type":"uint8"},{"internalType":"uint8","name":"A3","type":"uint8"},{"internalType":"uint8","name":"B1","type":"uint8"},{"internalType":"uint8","name":"B2","type":"uint8"},{"internalType":"uint8","name":"B3","type":"uint8"},{"internalType":"uint8","name":"C1","type":"uint8"},{"internalType":"uint8","name":"C2","type":"uint8"},{"internalType":"uint8","name":"C3","type":"uint8"}],"internalType":"struct BoardState","name":"board","type":"tuple"}],"internalType":"struct GameState","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentGameStatus","outputs":[{"internalType":"enum GameStatus","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"gameId","type":"uint256"}],"name":"getGameStatus","outputs":[{"internalType":"enum GameStatus","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"gameId","type":"uint256"}],"name":"getSenderCell","outputs":[{"internalType":"enum Cell","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"gameId","type":"uint256"}],"name":"getTurn","outputs":[{"internalType":"enum Cell","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"enum Cell","name":"witch","type":"uint8"}],"name":"isPlayerCellAvailable","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"gameId","type":"uint256"}],"name":"payPrize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8","name":"place","type":"uint8"}],"name":"play","outputs":[],"stateMutability":"payable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a0604052348015600e575f5ffd5b50336080526002805460ff19166001179055608051611e106100545f395f81816103b80152818161088b015281816116180152818161167301526117060152611e105ff3fe6080604052600436106100e4575f3560e01c80636ee497d511610087578063bd097e2111610057578063bd097e2114610237578063c513f7931461023f578063f18d20be14610253578063f83fd80514610267575f5ffd5b80636ee497d5146101c85780639fecb69f146101e7578063a2635401146101fb578063b55991c014610218575f5ffd5b806351b42b00116100c257806351b42b001461015657806353a04b051461016a5780635e4cf27c1461017d57806366fef602146101a9575f5ffd5b80630f15f4c0146100e85780630f1bf454146100fe57806322f3e2d414610133575b5f5ffd5b3480156100f3575f5ffd5b506100fc6103ad565b005b348015610109575f5ffd5b5061011d610118366004611b76565b61040d565b60405161012a9190611ba1565b60405180910390f35b34801561013e575f5ffd5b5060025460ff165b604051901515815260200161012a565b348015610161575f5ffd5b506100fc610880565b6100fc610178366004611bbb565b6108d4565b348015610188575f5ffd5b5061019c610197366004611b76565b610f58565b60405161012a9190611bdb565b3480156101b4575f5ffd5b506100fc6101c3366004611b76565b610fac565b3480156101d3575f5ffd5b506101466101e2366004611bef565b61141b565b3480156101f2575f5ffd5b506100fc6114df565b348015610206575f5ffd5b5060015460405190815260200161012a565b348015610223575f5ffd5b5061019c610232366004611b76565b6115df565b6100fc61160d565b34801561024a575f5ffd5b5061011d611657565b34801561025e575f5ffd5b506100fc611668565b348015610272575f5ffd5b5060408051608080820183525f808352602080840182905283850182905284516101208082018752838252818301849052818701849052606080830185905282860185905260a080840186905260c080850187905260e080860188905261010080870189905299840195909552600180548852878752968a90208a51808a018c5281546001600160a01b03908116825298820154909816888801526002810154888c01528a519485018b526003015460ff80821686528a82048116978601979097526201000081048716858c0152630100000081048716858501526401000000008104871698850198909852600160281b8804861691840191909152600160301b8704851690830152600160381b8604841692820192909252600160401b9094049091169383019390935291820152905161012a9190611c0d565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146103fe5760405162461bcd60e51b81526004016103f590611cd2565b60405180910390fd5b6002805460ff19166001179055565b5f8181526020818152604080832081516101208101835260039091015460ff8082168084526101008084048316968501969096526201000083048216948401949094526301000000820481166060840152640100000000820481166080840152600160281b8204811660a0840152600160301b8204811660c0840152600160381b8204811660e0840152600160401b9091041692810192909252158015906104c15750806020015160ff16815f015160ff16145b80156104da5750806040015160ff16816020015160ff16145b156105025760015b60ff16815f015160ff16146104f85760026104fb565b60015b9392505050565b606081015160ff16158015906105255750806080015160ff16816060015160ff16145b801561053e57508060a0015160ff16816080015160ff16145b1561055957606081015160ff166001146104f85760026104fb565b60c081015160ff161580159061057c57508060e0015160ff168160c0015160ff16145b8015610596575080610100015160ff168160e0015160ff16145b156105b15760c081015160ff166001146104f85760026104fb565b805160ff16158015906105d05750806060015160ff16815f015160ff16145b80156105e957508060c0015160ff16816060015160ff16145b156105f55760016104e2565b602081015160ff16158015906106185750806080015160ff16816020015160ff16145b801561063157508060e0015160ff16816080015160ff16145b1561064c57602081015160ff166001146104f85760026104fb565b604081015160ff161580159061066f57508060a0015160ff16816040015160ff16145b8015610689575080610100015160ff168160a0015160ff16145b156106a85760015b60ff16816040015160ff16146104f85760026104fb565b805160ff16158015906106c75750806080015160ff16815f015160ff16145b80156106e1575080610100015160ff16816080015160ff16145b156106ed5760016104e2565b604081015160ff16158015906107105750806080015160ff16816040015160ff16145b801561072957508060c0015160ff16816080015160ff16145b15610735576001610691565b805160ff161580159061074e5750602081015160ff1615155b80156107605750604081015160ff1615155b80156107725750606081015160ff1615155b80156107845750608081015160ff1615155b8015610796575060a081015160ff1615155b80156107a8575060c081015160ff1615155b80156107ba575060e081015160ff1615155b80156107cd575061010081015160ff1615155b156107db5750600392915050565b805160ff161580156107f25750602081015160ff16155b80156108035750604081015160ff16155b80156108145750606081015160ff16155b80156108255750608081015160ff16155b8015610836575060a081015160ff16155b8015610847575060c081015160ff16155b8015610858575060e081015160ff16155b801561086a575061010081015160ff16155b156108785750600492915050565b505f92915050565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146108c85760405162461bcd60e51b81526004016103f590611cd2565b6002805460ff19169055565b60025460ff1661091f5760405162461bcd60e51b8152602060048201526016602482015275436f6e7472616374206973206e6f742061637469766560501b60448201526064016103f5565b66038d7ea4c68000341461096c5760405162461bcd60e51b8152602060048201526014602482015273125b98dbdc9c9958dd0811551208185b5bdd5b9d60621b60448201526064016103f5565b5f610978600154610f58565b90505f6109866001546115df565b90505f82600281111561099b5761099b611b8d565b03610a915760018160028111156109b4576109b4611b8d565b1480156109c657506109c6600161141b565b156109f357600180545f90815260208190526040902080546001600160a01b031916331790559150610af2565b6002816002811115610a0757610a07611b8d565b148015610a195750610a19600261141b565b15610a4957600180545f9081526020819052604090200180546001600160a01b0319163317905560029150610af2565b60405162461bcd60e51b815260206004820152601d60248201527f596f7520617265206e6f742070617274206f6620746869732067616d6500000060448201526064016103f5565b806002811115610aa357610aa3611b8d565b826002811115610ab557610ab5611b8d565b14610af25760405162461bcd60e51b815260206004820152600d60248201526c2737ba103cb7bab9103a3ab93760991b60448201526064016103f5565b5f610afe60015461040d565b90505f816004811115610b1357610b13611b8d565b1480610b3057506004816004811115610b2e57610b2e611b8d565b145b610b6b5760405162461bcd60e51b815260206004820152600c60248201526b23b0b6b29034b99037bb32b960a11b60448201526064016103f5565b600180545f9081526020819052604090206003019060ff86169003610bd257805460ff1615610bac5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610bbe57610bbe611b8d565b815460ff191660ff91909116178155610f3a565b8460ff16600203610c31578054610100900460ff1615610c045760405162461bcd60e51b81526004016103f590611cf6565b836002811115610c1657610c16611b8d565b815460ff919091166101000261ff0019909116178155610f3a565b8460ff16600303610c9357805462010000900460ff1615610c645760405162461bcd60e51b81526004016103f590611cf6565b836002811115610c7657610c76611b8d565b815460ff91909116620100000262ff000019909116178155610f3a565b8460ff16600403610cf85780546301000000900460ff1615610cc75760405162461bcd60e51b81526004016103f590611cf6565b836002811115610cd957610cd9611b8d565b815460ff9190911663010000000263ff00000019909116178155610f3a565b8460ff16600503610d60578054640100000000900460ff1615610d2d5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610d3f57610d3f611b8d565b815460ff919091166401000000000264ff0000000019909116178155610f3a565b8460ff16600603610dc7578054600160281b900460ff1615610d945760405162461bcd60e51b81526004016103f590611cf6565b836002811115610da657610da6611b8d565b815460ff91909116600160281b0265ff000000000019909116178155610f3a565b8460ff16600703610e2f578054600160301b900460ff1615610dfb5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610e0d57610e0d611b8d565b815460ff91909116600160301b0266ff00000000000019909116178155610f3a565b8460ff16600803610e98578054600160381b900460ff1615610e635760405162461bcd60e51b81526004016103f590611cf6565b836002811115610e7557610e75611b8d565b815460ff91909116600160381b0267ff0000000000000019909116178155610f3a565b8460ff16600903610f02578054600160401b900460ff1615610ecc5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610ede57610ede611b8d565b815460ff91909116600160401b0268ff000000000000000019909116178155610f3a565b60405162461bcd60e51b815260206004820152600d60248201526c496e76616c696420706c61636560981b60448201526064016103f5565b50506001545f90815260208190526040902042600290910155505050565b5f818152602081905260408120546001600160a01b03163303610f7d57506001919050565b5f828152602081905260409020600101546001600160a01b03163303610fa557506002919050565b505f919050565b6001548110610ffd5760405162461bcd60e51b815260206004820152601860248201527f47616d65206973206e6f742066696e697368656420796574000000000000000060448201526064016103f5565b5f818152602081905260409020546001600160a01b031633148061103957505f818152602081905260409020600101546001600160a01b031633145b6110855760405162461bcd60e51b815260206004820181905260248201527f4e6f74206120706c61796572206f7220616c72656164792070616964206f757460448201526064016103f5565b5f61108f8261040d565b905060048160048111156110a5576110a5611b8d565b036110f25760405162461bcd60e51b815260206004820152601860248201527f47616d6520697320696e20696e76616c6964207374617465000000000000000060448201526064016103f5565b5f81600481111561110557611105611b8d565b036111315750600180611117836115df565b600281111561112857611128611b8d565b03611131575060025b5f600161113d84611796565b6111479190611d34565b905060018160ff161015611159575060015b600382600481111561116d5761116d611b8d565b0361120e575f838152602081905260409020546001600160a01b031633036111c1576001915060016111a0846001611923565b6111aa9190611d34565b905060018160ff1610156111bc575060015b61120e565b5f838152602081905260409020600101546001600160a01b0316330361120e576002915060016111f2846002611923565b6111fc9190611d34565b905060018160ff16101561120e575060015b600182600481111561122257611222611b8d565b0361130f575f838152602081905260409020546001600160a01b0316331461127d5760405162461bcd60e51b815260206004820152600e60248201526d2737ba103a3432903bb4b73732b960911b60448201526064016103f5565b5f83815260208190526040812080546001600160a01b0319169055336112ad66038d7ea4c6800060ff8516611d4d565b6040515f81818185875af1925050503d805f81146112e6576040519150601f19603f3d011682016040523d82523d5f602084013e6112eb565b606091505b505090508061130d576040516381063e5160e01b815260040160405180910390fd5b505b600282600481111561132357611323611b8d565b03611416575f838152602081905260409020600101546001600160a01b031633146113815760405162461bcd60e51b815260206004820152600e60248201526d2737ba103a3432903bb4b73732b960911b60448201526064016103f5565b5f83815260208190526040812060010180546001600160a01b0319169055336113b466038d7ea4c6800060ff8516611d4d565b6040515f81818185875af1925050503d805f81146113ed576040519150601f19603f3d011682016040523d82523d5f602084013e6113f2565b606091505b5050905080611414576040516381063e5160e01b815260040160405180910390fd5b505b505050565b6001545f90815260208190526040812060020154819060b49061143e9042611d64565b119050600183600281111561145557611455611b8d565b14801561147957506001545f908152602081905260409020546001600160a01b0316155b806114815750805b1561148f5750600192915050565b60028360028111156114a3576114a3611b8d565b1480156114c95750600180545f90815260208190526040902001546001600160a01b0316155b806114d15750805b156108785750600192915050565b5f6114eb60015461040d565b9050600481600481111561150157611501611b8d565b036115425760405162461bcd60e51b815260206004820152601160248201527011d85b59481a9d5cdd081cdd185c9d1959607a1b60448201526064016103f5565b6001545f9081526020819052604081206002015460b4906115639042611d64565b119050808061158357505f82600481111561158057611580611b8d565b14155b6115c75760405162461bcd60e51b815260206004820152601560248201527447616d65206973207374696c6c206f6e676f696e6760581b60448201526064016103f5565b60018054905f6115d683611d77565b91905055505050565b5f60026115eb83611796565b6115f59190611d8f565b60ff1615611604576002611607565b60015b92915050565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146116555760405162461bcd60e51b81526004016103f590611cd2565b565b5f61166360015461040d565b905090565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146116b05760405162461bcd60e51b81526004016103f590611cd2565b60025460ff16156117035760405162461bcd60e51b815260206004820152601c60248201527f436f6e7472616374206d7573742062652064656163746976617465640000000060448201526064016103f5565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316476040515f6040518083038185875af1925050503d805f811461176c576040519150601f19603f3d011682016040523d82523d5f602084013e611771565b606091505b5050905080611793576040516381063e5160e01b815260040160405180910390fd5b50565b5f8181526020818152604080832081516101208101835260039091015460ff8082168084526101008084048316968501969096526201000083048216948401949094526301000000820481166060840152640100000000820481166080840152600160281b8204811660a0840152600160301b8204811660c0840152600160381b8204811660e0840152600160401b9091041692810192909252829015611845578061184181611dbc565b9150505b602082015160ff1615611860578061185c81611dbc565b9150505b604082015160ff161561187b578061187781611dbc565b9150505b606082015160ff1615611896578061189281611dbc565b9150505b608082015160ff16156118b157806118ad81611dbc565b9150505b60a082015160ff16156118cc57806118c881611dbc565b9150505b60c082015160ff16156118e757806118e381611dbc565b9150505b60e082015160ff161561190257806118fe81611dbc565b9150505b61010082015160ff16156104fb578061191a81611dbc565b95945050505050565b5f8281526020818152604080832081516101208101835260039091015460ff80821683526101008083048216958401959095526201000082048116938301939093526301000000810483166060830152640100000000810483166080830152600160281b8104831660a0830152600160301b8104831660c0830152600160381b8104831660e0830152600160401b900490911691810191909152818360028111156119d0576119d0611b8d565b60ff16825f015160ff16036119ed57806119e981611dbc565b9150505b8360028111156119ff576119ff611b8d565b60ff16826020015160ff1603611a1d5780611a1981611dbc565b9150505b836002811115611a2f57611a2f611b8d565b60ff16826040015160ff1603611a4d5780611a4981611dbc565b9150505b836002811115611a5f57611a5f611b8d565b60ff16826060015160ff1603611a7d5780611a7981611dbc565b9150505b836002811115611a8f57611a8f611b8d565b60ff16826080015160ff1603611aad5780611aa981611dbc565b9150505b836002811115611abf57611abf611b8d565b60ff168260a0015160ff1603611add5780611ad981611dbc565b9150505b836002811115611aef57611aef611b8d565b60ff168260c0015160ff1603611b0d5780611b0981611dbc565b9150505b836002811115611b1f57611b1f611b8d565b60ff168260e0015160ff1603611b3d5780611b3981611dbc565b9150505b836002811115611b4f57611b4f611b8d565b60ff1682610100015160ff1603611b6e5780611b6a81611dbc565b9150505b949350505050565b5f60208284031215611b86575f5ffd5b5035919050565b634e487b7160e01b5f52602160045260245ffd5b6020810160058310611bb557611bb5611b8d565b91905290565b5f60208284031215611bcb575f5ffd5b813560ff811681146104fb575f5ffd5b6020810160038310611bb557611bb5611b8d565b5f60208284031215611bff575f5ffd5b8135600381106104fb575f5ffd5b5f6101808201905060018060a01b03835116825260018060a01b03602084015116602083015260408301516040830152606083015160ff815116606084015260ff60208201511660808401526040810151611c6d60a085018260ff169052565b50606081015160ff811660c085015250608081015160ff811660e08501525060a081015160ff81166101008501525060c081015160ff81166101208501525060e081015160ff811661014085015250610100015160ff81166101608401525092915050565b6020808252600a908201526927b7363c9037bbb732b960b11b604082015260600190565b60208082526010908201526f10d95b1b081a5cc81bd8d8dd5c1a595960821b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b60ff828116828216039081111561160757611607611d20565b808202811582820484141761160757611607611d20565b8181038181111561160757611607611d20565b5f60018201611d8857611d88611d20565b5060010190565b5f60ff831680611dad57634e487b7160e01b5f52601260045260245ffd5b8060ff84160691505092915050565b5f60ff821660ff8103611dd157611dd1611d20565b6001019291505056fea264697066735822122065620b010bb7c39a8baeaa46b3dfbdc79dbb27af1661583eef01a7e0a21be05564736f6c634300081e0033

0x6080604052600436106100e4575f3560e01c80636ee497d511610087578063bd097e2111610057578063bd097e2114610237578063c513f7931461023f578063f18d20be14610253578063f83fd80514610267575f5ffd5b80636ee497d5146101c85780639fecb69f146101e7578063a2635401146101fb578063b55991c014610218575f5ffd5b806351b42b00116100c257806351b42b001461015657806353a04b051461016a5780635e4cf27c1461017d57806366fef602146101a9575f5ffd5b80630f15f4c0146100e85780630f1bf454146100fe57806322f3e2d414610133575b5f5ffd5b3480156100f3575f5ffd5b506100fc6103ad565b005b348015610109575f5ffd5b5061011d610118366004611b76565b61040d565b60405161012a9190611ba1565b60405180910390f35b34801561013e575f5ffd5b5060025460ff165b604051901515815260200161012a565b348015610161575f5ffd5b506100fc610880565b6100fc610178366004611bbb565b6108d4565b348015610188575f5ffd5b5061019c610197366004611b76565b610f58565b60405161012a9190611bdb565b3480156101b4575f5ffd5b506100fc6101c3366004611b76565b610fac565b3480156101d3575f5ffd5b506101466101e2366004611bef565b61141b565b3480156101f2575f5ffd5b506100fc6114df565b348015610206575f5ffd5b5060015460405190815260200161012a565b348015610223575f5ffd5b5061019c610232366004611b76565b6115df565b6100fc61160d565b34801561024a575f5ffd5b5061011d611657565b34801561025e575f5ffd5b506100fc611668565b348015610272575f5ffd5b5060408051608080820183525f808352602080840182905283850182905284516101208082018752838252818301849052818701849052606080830185905282860185905260a080840186905260c080850187905260e080860188905261010080870189905299840195909552600180548852878752968a90208a51808a018c5281546001600160a01b03908116825298820154909816888801526002810154888c01528a519485018b526003015460ff80821686528a82048116978601979097526201000081048716858c0152630100000081048716858501526401000000008104871698850198909852600160281b8804861691840191909152600160301b8704851690830152600160381b8604841692820192909252600160401b9094049091169383019390935291820152905161012a9190611c0d565b336001600160a01b037f00000000000000000000000021952e9e9d5f6722b4e01110278090d7b8ff053816146103fe5760405162461bcd60e51b81526004016103f590611cd2565b60405180910390fd5b6002805460ff19166001179055565b5f8181526020818152604080832081516101208101835260039091015460ff8082168084526101008084048316968501969096526201000083048216948401949094526301000000820481166060840152640100000000820481166080840152600160281b8204811660a0840152600160301b8204811660c0840152600160381b8204811660e0840152600160401b9091041692810192909252158015906104c15750806020015160ff16815f015160ff16145b80156104da5750806040015160ff16816020015160ff16145b156105025760015b60ff16815f015160ff16146104f85760026104fb565b60015b9392505050565b606081015160ff16158015906105255750806080015160ff16816060015160ff16145b801561053e57508060a0015160ff16816080015160ff16145b1561055957606081015160ff166001146104f85760026104fb565b60c081015160ff161580159061057c57508060e0015160ff168160c0015160ff16145b8015610596575080610100015160ff168160e0015160ff16145b156105b15760c081015160ff166001146104f85760026104fb565b805160ff16158015906105d05750806060015160ff16815f015160ff16145b80156105e957508060c0015160ff16816060015160ff16145b156105f55760016104e2565b602081015160ff16158015906106185750806080015160ff16816020015160ff16145b801561063157508060e0015160ff16816080015160ff16145b1561064c57602081015160ff166001146104f85760026104fb565b604081015160ff161580159061066f57508060a0015160ff16816040015160ff16145b8015610689575080610100015160ff168160a0015160ff16145b156106a85760015b60ff16816040015160ff16146104f85760026104fb565b805160ff16158015906106c75750806080015160ff16815f015160ff16145b80156106e1575080610100015160ff16816080015160ff16145b156106ed5760016104e2565b604081015160ff16158015906107105750806080015160ff16816040015160ff16145b801561072957508060c0015160ff16816080015160ff16145b15610735576001610691565b805160ff161580159061074e5750602081015160ff1615155b80156107605750604081015160ff1615155b80156107725750606081015160ff1615155b80156107845750608081015160ff1615155b8015610796575060a081015160ff1615155b80156107a8575060c081015160ff1615155b80156107ba575060e081015160ff1615155b80156107cd575061010081015160ff1615155b156107db5750600392915050565b805160ff161580156107f25750602081015160ff16155b80156108035750604081015160ff16155b80156108145750606081015160ff16155b80156108255750608081015160ff16155b8015610836575060a081015160ff16155b8015610847575060c081015160ff16155b8015610858575060e081015160ff16155b801561086a575061010081015160ff16155b156108785750600492915050565b505f92915050565b336001600160a01b037f00000000000000000000000021952e9e9d5f6722b4e01110278090d7b8ff053816146108c85760405162461bcd60e51b81526004016103f590611cd2565b6002805460ff19169055565b60025460ff1661091f5760405162461bcd60e51b8152602060048201526016602482015275436f6e7472616374206973206e6f742061637469766560501b60448201526064016103f5565b66038d7ea4c68000341461096c5760405162461bcd60e51b8152602060048201526014602482015273125b98dbdc9c9958dd0811551208185b5bdd5b9d60621b60448201526064016103f5565b5f610978600154610f58565b90505f6109866001546115df565b90505f82600281111561099b5761099b611b8d565b03610a915760018160028111156109b4576109b4611b8d565b1480156109c657506109c6600161141b565b156109f357600180545f90815260208190526040902080546001600160a01b031916331790559150610af2565b6002816002811115610a0757610a07611b8d565b148015610a195750610a19600261141b565b15610a4957600180545f9081526020819052604090200180546001600160a01b0319163317905560029150610af2565b60405162461bcd60e51b815260206004820152601d60248201527f596f7520617265206e6f742070617274206f6620746869732067616d6500000060448201526064016103f5565b806002811115610aa357610aa3611b8d565b826002811115610ab557610ab5611b8d565b14610af25760405162461bcd60e51b815260206004820152600d60248201526c2737ba103cb7bab9103a3ab93760991b60448201526064016103f5565b5f610afe60015461040d565b90505f816004811115610b1357610b13611b8d565b1480610b3057506004816004811115610b2e57610b2e611b8d565b145b610b6b5760405162461bcd60e51b815260206004820152600c60248201526b23b0b6b29034b99037bb32b960a11b60448201526064016103f5565b600180545f9081526020819052604090206003019060ff86169003610bd257805460ff1615610bac5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610bbe57610bbe611b8d565b815460ff191660ff91909116178155610f3a565b8460ff16600203610c31578054610100900460ff1615610c045760405162461bcd60e51b81526004016103f590611cf6565b836002811115610c1657610c16611b8d565b815460ff919091166101000261ff0019909116178155610f3a565b8460ff16600303610c9357805462010000900460ff1615610c645760405162461bcd60e51b81526004016103f590611cf6565b836002811115610c7657610c76611b8d565b815460ff91909116620100000262ff000019909116178155610f3a565b8460ff16600403610cf85780546301000000900460ff1615610cc75760405162461bcd60e51b81526004016103f590611cf6565b836002811115610cd957610cd9611b8d565b815460ff9190911663010000000263ff00000019909116178155610f3a565b8460ff16600503610d60578054640100000000900460ff1615610d2d5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610d3f57610d3f611b8d565b815460ff919091166401000000000264ff0000000019909116178155610f3a565b8460ff16600603610dc7578054600160281b900460ff1615610d945760405162461bcd60e51b81526004016103f590611cf6565b836002811115610da657610da6611b8d565b815460ff91909116600160281b0265ff000000000019909116178155610f3a565b8460ff16600703610e2f578054600160301b900460ff1615610dfb5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610e0d57610e0d611b8d565b815460ff91909116600160301b0266ff00000000000019909116178155610f3a565b8460ff16600803610e98578054600160381b900460ff1615610e635760405162461bcd60e51b81526004016103f590611cf6565b836002811115610e7557610e75611b8d565b815460ff91909116600160381b0267ff0000000000000019909116178155610f3a565b8460ff16600903610f02578054600160401b900460ff1615610ecc5760405162461bcd60e51b81526004016103f590611cf6565b836002811115610ede57610ede611b8d565b815460ff91909116600160401b0268ff000000000000000019909116178155610f3a565b60405162461bcd60e51b815260206004820152600d60248201526c496e76616c696420706c61636560981b60448201526064016103f5565b50506001545f90815260208190526040902042600290910155505050565b5f818152602081905260408120546001600160a01b03163303610f7d57506001919050565b5f828152602081905260409020600101546001600160a01b03163303610fa557506002919050565b505f919050565b6001548110610ffd5760405162461bcd60e51b815260206004820152601860248201527f47616d65206973206e6f742066696e697368656420796574000000000000000060448201526064016103f5565b5f818152602081905260409020546001600160a01b031633148061103957505f818152602081905260409020600101546001600160a01b031633145b6110855760405162461bcd60e51b815260206004820181905260248201527f4e6f74206120706c61796572206f7220616c72656164792070616964206f757460448201526064016103f5565b5f61108f8261040d565b905060048160048111156110a5576110a5611b8d565b036110f25760405162461bcd60e51b815260206004820152601860248201527f47616d6520697320696e20696e76616c6964207374617465000000000000000060448201526064016103f5565b5f81600481111561110557611105611b8d565b036111315750600180611117836115df565b600281111561112857611128611b8d565b03611131575060025b5f600161113d84611796565b6111479190611d34565b905060018160ff161015611159575060015b600382600481111561116d5761116d611b8d565b0361120e575f838152602081905260409020546001600160a01b031633036111c1576001915060016111a0846001611923565b6111aa9190611d34565b905060018160ff1610156111bc575060015b61120e565b5f838152602081905260409020600101546001600160a01b0316330361120e576002915060016111f2846002611923565b6111fc9190611d34565b905060018160ff16101561120e575060015b600182600481111561122257611222611b8d565b0361130f575f838152602081905260409020546001600160a01b0316331461127d5760405162461bcd60e51b815260206004820152600e60248201526d2737ba103a3432903bb4b73732b960911b60448201526064016103f5565b5f83815260208190526040812080546001600160a01b0319169055336112ad66038d7ea4c6800060ff8516611d4d565b6040515f81818185875af1925050503d805f81146112e6576040519150601f19603f3d011682016040523d82523d5f602084013e6112eb565b606091505b505090508061130d576040516381063e5160e01b815260040160405180910390fd5b505b600282600481111561132357611323611b8d565b03611416575f838152602081905260409020600101546001600160a01b031633146113815760405162461bcd60e51b815260206004820152600e60248201526d2737ba103a3432903bb4b73732b960911b60448201526064016103f5565b5f83815260208190526040812060010180546001600160a01b0319169055336113b466038d7ea4c6800060ff8516611d4d565b6040515f81818185875af1925050503d805f81146113ed576040519150601f19603f3d011682016040523d82523d5f602084013e6113f2565b606091505b5050905080611414576040516381063e5160e01b815260040160405180910390fd5b505b505050565b6001545f90815260208190526040812060020154819060b49061143e9042611d64565b119050600183600281111561145557611455611b8d565b14801561147957506001545f908152602081905260409020546001600160a01b0316155b806114815750805b1561148f5750600192915050565b60028360028111156114a3576114a3611b8d565b1480156114c95750600180545f90815260208190526040902001546001600160a01b0316155b806114d15750805b156108785750600192915050565b5f6114eb60015461040d565b9050600481600481111561150157611501611b8d565b036115425760405162461bcd60e51b815260206004820152601160248201527011d85b59481a9d5cdd081cdd185c9d1959607a1b60448201526064016103f5565b6001545f9081526020819052604081206002015460b4906115639042611d64565b119050808061158357505f82600481111561158057611580611b8d565b14155b6115c75760405162461bcd60e51b815260206004820152601560248201527447616d65206973207374696c6c206f6e676f696e6760581b60448201526064016103f5565b60018054905f6115d683611d77565b91905055505050565b5f60026115eb83611796565b6115f59190611d8f565b60ff1615611604576002611607565b60015b92915050565b336001600160a01b037f00000000000000000000000021952e9e9d5f6722b4e01110278090d7b8ff053816146116555760405162461bcd60e51b81526004016103f590611cd2565b565b5f61166360015461040d565b905090565b336001600160a01b037f00000000000000000000000021952e9e9d5f6722b4e01110278090d7b8ff053816146116b05760405162461bcd60e51b81526004016103f590611cd2565b60025460ff16156117035760405162461bcd60e51b815260206004820152601c60248201527f436f6e7472616374206d7573742062652064656163746976617465640000000060448201526064016103f5565b5f7f00000000000000000000000021952e9e9d5f6722b4e01110278090d7b8ff05386001600160a01b0316476040515f6040518083038185875af1925050503d805f811461176c576040519150601f19603f3d011682016040523d82523d5f602084013e611771565b606091505b5050905080611793576040516381063e5160e01b815260040160405180910390fd5b50565b5f8181526020818152604080832081516101208101835260039091015460ff8082168084526101008084048316968501969096526201000083048216948401949094526301000000820481166060840152640100000000820481166080840152600160281b8204811660a0840152600160301b8204811660c0840152600160381b8204811660e0840152600160401b9091041692810192909252829015611845578061184181611dbc565b9150505b602082015160ff1615611860578061185c81611dbc565b9150505b604082015160ff161561187b578061187781611dbc565b9150505b606082015160ff1615611896578061189281611dbc565b9150505b608082015160ff16156118b157806118ad81611dbc565b9150505b60a082015160ff16156118cc57806118c881611dbc565b9150505b60c082015160ff16156118e757806118e381611dbc565b9150505b60e082015160ff161561190257806118fe81611dbc565b9150505b61010082015160ff16156104fb578061191a81611dbc565b95945050505050565b5f8281526020818152604080832081516101208101835260039091015460ff80821683526101008083048216958401959095526201000082048116938301939093526301000000810483166060830152640100000000810483166080830152600160281b8104831660a0830152600160301b8104831660c0830152600160381b8104831660e0830152600160401b900490911691810191909152818360028111156119d0576119d0611b8d565b60ff16825f015160ff16036119ed57806119e981611dbc565b9150505b8360028111156119ff576119ff611b8d565b60ff16826020015160ff1603611a1d5780611a1981611dbc565b9150505b836002811115611a2f57611a2f611b8d565b60ff16826040015160ff1603611a4d5780611a4981611dbc565b9150505b836002811115611a5f57611a5f611b8d565b60ff16826060015160ff1603611a7d5780611a7981611dbc565b9150505b836002811115611a8f57611a8f611b8d565b60ff16826080015160ff1603611aad5780611aa981611dbc565b9150505b836002811115611abf57611abf611b8d565b60ff168260a0015160ff1603611add5780611ad981611dbc565b9150505b836002811115611aef57611aef611b8d565b60ff168260c0015160ff1603611b0d5780611b0981611dbc565b9150505b836002811115611b1f57611b1f611b8d565b60ff168260e0015160ff1603611b3d5780611b3981611dbc565b9150505b836002811115611b4f57611b4f611b8d565b60ff1682610100015160ff1603611b6e5780611b6a81611dbc565b9150505b949350505050565b5f60208284031215611b86575f5ffd5b5035919050565b634e487b7160e01b5f52602160045260245ffd5b6020810160058310611bb557611bb5611b8d565b91905290565b5f60208284031215611bcb575f5ffd5b813560ff811681146104fb575f5ffd5b6020810160038310611bb557611bb5611b8d565b5f60208284031215611bff575f5ffd5b8135600381106104fb575f5ffd5b5f6101808201905060018060a01b03835116825260018060a01b03602084015116602083015260408301516040830152606083015160ff815116606084015260ff60208201511660808401526040810151611c6d60a085018260ff169052565b50606081015160ff811660c085015250608081015160ff811660e08501525060a081015160ff81166101008501525060c081015160ff81166101208501525060e081015160ff811661014085015250610100015160ff81166101608401525092915050565b6020808252600a908201526927b7363c9037bbb732b960b11b604082015260600190565b60208082526010908201526f10d95b1b081a5cc81bd8d8dd5c1a595960821b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b60ff828116828216039081111561160757611607611d20565b808202811582820484141761160757611607611d20565b8181038181111561160757611607611d20565b5f60018201611d8857611d88611d20565b5060010190565b5f60ff831680611dad57634e487b7160e01b5f52601260045260245ffd5b8060ff84160691505092915050565b5f60ff821660ff8103611dd157611dd1611d20565b6001019291505056fea264697066735822122065620b010bb7c39a8baeaa46b3dfbdc79dbb27af1661583eef01a7e0a21be05564736f6c634300081e0033

535:12739:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13061:69;;;;;;;;;;;;;:::i;:::-;;1485:3563;;;;;;;;;;-1:-1:-1;1485:3563:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1042:79;;;;;;;;;;-1:-1:-1;1107:6:0;;;;1042:79;;;745:14:1;;738:22;720:41;;708:2;693:18;1042:79:0;580:187:1;13138:72:0;;;;;;;;;;;;;:::i;10249:2564::-;;;;;;:::i;:::-;;:::i;7165:302::-;;;;;;;;;;-1:-1:-1;7165:302:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;7969:2272::-;;;;;;;;;;-1:-1:-1;7969:2272:0;;;;;:::i;:::-;;:::i;6612:545::-;;;;;;;;;;-1:-1:-1;6612:545:0;;;;;:::i;:::-;;:::i;7537:424::-;;;;;;;;;;;;;:::i;1253:97::-;;;;;;;;;;-1:-1:-1;1329:13:0;;1253:97;;1701:25:1;;;1689:2;1674:18;1253:97:0;1555:177:1;6461:143:0;;;;;;;;;;-1:-1:-1;6461:143:0;;;;;:::i;:::-;;:::i;13218:53::-;;;:::i;1358:119::-;;;;;;;;;;;;;:::i;12821:232::-;;;;;;;;;;;;;:::i;1129:116::-;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1223:13:0;;;1217:20;;;;;;;;;1210:27;;;;;;;;;-1:-1:-1;;;;;1210:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1210:27:0;;;;;;;;;;;-1:-1:-1;;;1210:27:0;;;;;;;;-1:-1:-1;;;1210:27:0;;;;;;;;;;;-1:-1:-1;;;1210:27:0;;;;;;;;;;;;;;;;;1129:116;;;;1210:27;1129:116;:::i;13061:69::-;897:10;-1:-1:-1;;;;;911:5:0;897:19;;889:42;;;;-1:-1:-1;;;889:42:0;;;;;;;:::i;:::-;;;;;;;;;13109:6:::1;:13:::0;;-1:-1:-1;;13109:13:0::1;13118:4;13109:13;::::0;;13061:69::o;1485:3563::-;1545:10;1594:13;;;;;;;;;;;1568:45;;;;;;;1594:19;;;;1568:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1568:45:0;;;;;;;;-1:-1:-1;;;1568:45:0;;;;;;;;-1:-1:-1;;;1568:45:0;;;;;;;;-1:-1:-1;;;1568:45:0;;;;;;;;;;;1644:29;;;;:66;;;1702:5;:8;;;1690:20;;:5;:8;;;:20;;;1644:66;:103;;;;;1739:5;:8;;;1727:20;;:5;:8;;;:20;;;1644:103;1626:291;;;1816:6;1810:13;1798:25;;:5;:8;;;:25;;;:107;;1888:17;1798:107;;;1847:17;1798:107;1774:131;1485:3563;-1:-1:-1;;;1485:3563:0:o;1626:291::-;1945:8;;;;:29;;;;;;:66;;;2003:5;:8;;;1991:20;;:5;:8;;;:20;;;1945:66;:103;;;;;2040:5;:8;;;2028:20;;:5;:8;;;:20;;;1945:103;1927:291;;;2099:8;;;;:25;;2117:6;2099:25;:107;;2189:17;2099:107;;1927:291;2246:8;;;;:29;;;;;;:66;;;2304:5;:8;;;2292:20;;:5;:8;;;:20;;;2246:66;:103;;;;;2341:5;:8;;;2329:20;;:5;:8;;;:20;;;2246:103;2228:291;;;2400:8;;;;:25;;2418:6;2400:25;:107;;2490:17;2400:107;;2228:291;2547:8;;:29;;;;;;:66;;;2605:5;:8;;;2593:20;;:5;:8;;;:20;;;2547:66;:103;;;;;2642:5;:8;;;2630:20;;:5;:8;;;:20;;;2547:103;2529:291;;;2719:6;2713:13;;2529:291;2848:8;;;;:29;;;;;;:66;;;2906:5;:8;;;2894:20;;:5;:8;;;:20;;;2848:66;:103;;;;;2943:5;:8;;;2931:20;;:5;:8;;;:20;;;2848:103;2830:291;;;3002:8;;;;:25;;3020:6;3002:25;:107;;3092:17;3002:107;;2830:291;3149:8;;;;:29;;;;;;:66;;;3207:5;:8;;;3195:20;;:5;:8;;;:20;;;3149:66;:103;;;;;3244:5;:8;;;3232:20;;:5;:8;;;:20;;;3149:103;3131:291;;;3321:6;3315:13;3303:25;;:5;:8;;;:25;;;:107;;3393:17;3303:107;;3131:291;3450:8;;:29;;;;;;:66;;;3508:5;:8;;;3496:20;;:5;:8;;;:20;;;3450:66;:103;;;;;3545:5;:8;;;3533:20;;:5;:8;;;:20;;;3450:103;3432:291;;;3622:6;3616:13;;3432:291;3751:8;;;;:29;;;;;;:66;;;3809:5;:8;;;3797:20;;:5;:8;;;:20;;;3751:66;:103;;;;;3846:5;:8;;;3834:20;;:5;:8;;;:20;;;3751:103;3733:291;;;3923:6;3917:13;;3733:291;4054:8;;:29;;;;;;:75;;-1:-1:-1;4100:8:0;;;;:29;;;;4054:75;:121;;;;-1:-1:-1;4146:8:0;;;;:29;;;;4054:121;:167;;;;-1:-1:-1;4192:8:0;;;;:29;;;;4054:167;:213;;;;-1:-1:-1;4238:8:0;;;;:29;;;;4054:213;:259;;;;-1:-1:-1;4284:8:0;;;;:29;;;;4054:259;:305;;;;-1:-1:-1;4330:8:0;;;;:29;;;;4054:305;:351;;;;-1:-1:-1;4376:8:0;;;;:29;;;;4054:351;:397;;;;-1:-1:-1;4422:8:0;;;;:29;;;;4054:397;4036:476;;;-1:-1:-1;4485:15:0;;1485:3563;-1:-1:-1;;1485:3563:0:o;4036:476::-;4542:8;;:29;;;:75;;;;-1:-1:-1;4588:8:0;;;;:29;;;4542:75;:121;;;;-1:-1:-1;4634:8:0;;;;:29;;;4542:121;:167;;;;-1:-1:-1;4680:8:0;;;;:29;;;4542:167;:213;;;;-1:-1:-1;4726:8:0;;;;:29;;;4542:213;:259;;;;-1:-1:-1;4772:8:0;;;;:29;;;4542:259;:305;;;;-1:-1:-1;4818:8:0;;;;:29;;;4542:305;:351;;;;-1:-1:-1;4864:8:0;;;;:29;;;4542:351;:397;;;;-1:-1:-1;4910:8:0;;;;:29;;;4542:397;4524:479;;;-1:-1:-1;4973:18:0;;1485:3563;-1:-1:-1;;1485:3563:0:o;4524:479::-;-1:-1:-1;5022:18:0;;1485:3563;-1:-1:-1;;1485:3563:0:o;13138:72::-;897:10;-1:-1:-1;;;;;911:5:0;897:19;;889:42;;;;-1:-1:-1;;;889:42:0;;;;;;;:::i;:::-;13188:6:::1;:14:::0;;-1:-1:-1;;13188:14:0::1;::::0;;13138:72::o;10249:2564::-;10310:6;;;;10302:41;;;;-1:-1:-1;;;10302:41:0;;3833:2:1;10302:41:0;;;3815:21:1;3872:2;3852:18;;;3845:30;-1:-1:-1;;;3891:18:1;;;3884:52;3953:18;;10302:41:0;3631:346:1;10302:41:0;744:11;10362:9;:18;10354:51;;;;-1:-1:-1;;;10354:51:0;;4184:2:1;10354:51:0;;;4166:21:1;4223:2;4203:18;;;4196:30;-1:-1:-1;;;4242:18:1;;;4235:50;4302:18;;10354:51:0;3982:344:1;10354:51:0;10416:15;10434:28;10448:13;;10434;:28::i;:::-;10416:46;;10473:9;10485:22;10493:13;;10485:7;:22::i;:::-;10473:34;-1:-1:-1;10536:10:0;10522;:24;;;;;;;;:::i;:::-;;10518:553;;10575:6;10567:4;:14;;;;;;;;:::i;:::-;;:47;;;;;10585:29;10607:6;10585:21;:29::i;:::-;10563:420;;;10641:13;;;10635:5;:20;;;;;;;;;;:41;;-1:-1:-1;;;;;;10635:41:0;10666:10;10635:41;;;10641:13;-1:-1:-1;10518:553:0;;10563:420;10748:6;10740:4;:14;;;;;;;;:::i;:::-;;:47;;;;;10758:29;10780:6;10758:21;:29::i;:::-;10736:247;;;10814:13;;;10808:5;:20;;;;;;;;;;:28;:41;;-1:-1:-1;;;;;;10808:41:0;10839:10;10808:41;;;10881:6;;-1:-1:-1;10518:553:0;;10736:247;10928:39;;-1:-1:-1;;;10928:39:0;;4533:2:1;10928:39:0;;;4515:21:1;4572:2;4552:18;;;4545:30;4611:31;4591:18;;;4584:59;4660:18;;10928:39:0;4331:353:1;10518:553:0;11037:4;11023:18;;;;;;;;:::i;:::-;:10;:18;;;;;;;;:::i;:::-;;11015:44;;;;-1:-1:-1;;;11015:44:0;;4891:2:1;11015:44:0;;;4873:21:1;4930:2;4910:18;;;4903:30;-1:-1:-1;;;4949:18:1;;;4942:43;5002:18;;11015:44:0;4689:337:1;11015:44:0;11081:17;11101:28;11115:13;;11101;:28::i;:::-;11081:48;-1:-1:-1;11172:18:0;11162:6;:28;;;;;;;;:::i;:::-;;:60;;;-1:-1:-1;11204:18:0;11194:6;:28;;;;;;;;:::i;:::-;;11162:60;11140:122;;;;-1:-1:-1;;;11140:122:0;;5233:2:1;11140:122:0;;;5215:21:1;5272:2;5252:18;;;5245:30;-1:-1:-1;;;5291:18:1;;;5284:42;5343:18;;11140:122:0;5031:336:1;11140:122:0;11308:13;;;11275:24;11302:20;;;;;;;;;;:26;;;11343:10;;;;;11339:1400;;11378:8;;:29;:8;:29;11370:58;;;;-1:-1:-1;;;11370:58:0;;;;;;;:::i;:::-;11460:10;11454:17;;;;;;;;:::i;:::-;11443:28;;-1:-1:-1;;11443:28:0;;;;;;;;;11339:1400;;;11493:5;:10;;11502:1;11493:10;11489:1250;;11528:8;;;;;:29;:8;:29;11520:58;;;;-1:-1:-1;;;11520:58:0;;;;;;;:::i;:::-;11610:10;11604:17;;;;;;;;:::i;:::-;11593:28;;;;;;;;;-1:-1:-1;;11593:28:0;;;;;;11489:1250;;;11643:5;:10;;11652:1;11643:10;11639:1100;;11678:8;;;;;:29;:8;:29;11670:58;;;;-1:-1:-1;;;11670:58:0;;;;;;;:::i;:::-;11760:10;11754:17;;;;;;;;:::i;:::-;11743:28;;;;;;;;;-1:-1:-1;;11743:28:0;;;;;;11639:1100;;;11793:5;:10;;11802:1;11793:10;11789:950;;11828:8;;;;;:29;:8;:29;11820:58;;;;-1:-1:-1;;;11820:58:0;;;;;;;:::i;:::-;11910:10;11904:17;;;;;;;;:::i;:::-;11893:28;;;;;;;;;-1:-1:-1;;11893:28:0;;;;;;11789:950;;;11943:5;:10;;11952:1;11943:10;11939:800;;11978:8;;;;;:29;:8;:29;11970:58;;;;-1:-1:-1;;;11970:58:0;;;;;;;:::i;:::-;12060:10;12054:17;;;;;;;;:::i;:::-;12043:28;;;;;;;;;-1:-1:-1;;12043:28:0;;;;;;11939:800;;;12093:5;:10;;12102:1;12093:10;12089:650;;12128:8;;-1:-1:-1;;;12128:8:0;;:29;:8;:29;12120:58;;;;-1:-1:-1;;;12120:58:0;;;;;;;:::i;:::-;12210:10;12204:17;;;;;;;;:::i;:::-;12193:28;;;;;;;-1:-1:-1;;;12193:28:0;-1:-1:-1;;12193:28:0;;;;;;12089:650;;;12243:5;:10;;12252:1;12243:10;12239:500;;12278:8;;-1:-1:-1;;;12278:8:0;;:29;:8;:29;12270:58;;;;-1:-1:-1;;;12270:58:0;;;;;;;:::i;:::-;12360:10;12354:17;;;;;;;;:::i;:::-;12343:28;;;;;;;-1:-1:-1;;;12343:28:0;-1:-1:-1;;12343:28:0;;;;;;12239:500;;;12393:5;:10;;12402:1;12393:10;12389:350;;12428:8;;-1:-1:-1;;;12428:8:0;;:29;:8;:29;12420:58;;;;-1:-1:-1;;;12420:58:0;;;;;;;:::i;:::-;12510:10;12504:17;;;;;;;;:::i;:::-;12493:28;;;;;;;-1:-1:-1;;;12493:28:0;-1:-1:-1;;12493:28:0;;;;;;12389:350;;;12543:5;:10;;12552:1;12543:10;12539:200;;12578:8;;-1:-1:-1;;;12578:8:0;;:29;:8;:29;12570:58;;;;-1:-1:-1;;;12570:58:0;;;;;;;:::i;:::-;12660:10;12654:17;;;;;;;;:::i;:::-;12643:28;;;;;;;-1:-1:-1;;;12643:28:0;-1:-1:-1;;12643:28:0;;;;;;12539:200;;;12704:23;;-1:-1:-1;;;12704:23:0;;5919:2:1;12704:23:0;;;5901:21:1;5958:2;5938:18;;;5931:30;-1:-1:-1;;;5977:18:1;;;5970:43;6030:18;;12704:23:0;5717:337:1;12539:200:0;-1:-1:-1;;12755:13:0;;12749:5;:20;;;;;;;;;;12790:15;12749:38;;;;:56;-1:-1:-1;;;10249:2564:0:o;7165:302::-;7225:4;7260:13;;;;;;;;;;:21;-1:-1:-1;;;;;7260:21:0;7246:10;:35;7242:218;;-1:-1:-1;7305:6:0;;7165:302;-1:-1:-1;7165:302:0:o;7242:218::-;7347:5;:13;;;;;;;;;;:21;;;-1:-1:-1;;;;;7347:21:0;7333:10;:35;7329:131;;-1:-1:-1;7392:6:0;;7165:302;-1:-1:-1;7165:302:0:o;7329:131::-;-1:-1:-1;7438:10:0;;7165:302;-1:-1:-1;7165:302:0:o;7969:2272::-;8038:13;;8029:6;:22;8021:59;;;;-1:-1:-1;;;8021:59:0;;6261:2:1;8021:59:0;;;6243:21:1;6300:2;6280:18;;;6273:30;6339:26;6319:18;;;6312:54;6383:18;;8021:59:0;6059:348:1;8021:59:0;8127:5;:13;;;;;;;;;;:21;-1:-1:-1;;;;;8127:21:0;8113:10;:35;;:91;;-1:-1:-1;8183:5:0;:13;;;;;;;;;;:21;;;-1:-1:-1;;;;;8183:21:0;8169:10;:35;8113:91;8091:173;;;;-1:-1:-1;;;8091:173:0;;6614:2:1;8091:173:0;;;6596:21:1;;;6633:18;;;6626:30;6692:34;6672:18;;;6665:62;6744:18;;8091:173:0;6412:356:1;8091:173:0;8275:17;8295:21;8309:6;8295:13;:21::i;:::-;8275:41;-1:-1:-1;8345:18:0;8335:6;:28;;;;;;;;:::i;:::-;;8327:65;;;;-1:-1:-1;;;8327:65:0;;6975:2:1;8327:65:0;;;6957:21:1;7014:2;6994:18;;;6987:30;7053:26;7033:18;;;7026:54;7097:18;;8327:65:0;6773:348:1;8327:65:0;8419:18;8409:6;:28;;;;;;;;:::i;:::-;;8405:227;;-1:-1:-1;8497:17:0;;8533:15;8541:6;8533:7;:15::i;:::-;:25;;;;;;;;:::i;:::-;;8529:92;;-1:-1:-1;8588:17:0;8529:92;8644:22;8702:1;8669:30;8692:6;8669:22;:30::i;:::-;:34;;;;:::i;:::-;8644:59;;8737:1;8718:16;:20;;;8714:73;;;-1:-1:-1;8774:1:0;8714:73;8813:15;8803:6;:25;;;;;;;;:::i;:::-;;8799:743;;8863:5;:13;;;;;;;;;;:21;-1:-1:-1;;;;;8863:21:0;8849:10;:35;8845:686;;8914:17;8905:26;;9061:1;8990:47;9022:6;9030;8990:31;:47::i;:::-;:72;;;;:::i;:::-;8950:112;;9104:1;9085:16;:20;;;9081:89;;;-1:-1:-1;9149:1:0;9081:89;8845:686;;;9209:5;:13;;;;;;;;;;:21;;;-1:-1:-1;;;;;9209:21:0;9195:10;:35;9191:340;;9260:17;9251:26;;9407:1;9336:47;9368:6;9376;9336:31;:47::i;:::-;:72;;;;:::i;:::-;9296:112;;9450:1;9431:16;:20;;;9427:89;;;-1:-1:-1;9495:1:0;9427:89;9568:17;9558:6;:27;;;;;;;;:::i;:::-;;9554:334;;9624:5;:13;;;;;;;;;;:21;-1:-1:-1;;;;;9624:21:0;9610:10;:35;9602:62;;;;-1:-1:-1;;;9602:62:0;;7616:2:1;9602:62:0;;;7598:21:1;7655:2;7635:18;;;7628:30;-1:-1:-1;;;7674:18:1;;;7667:44;7728:18;;9602:62:0;7414:338:1;9602:62:0;9686:5;:13;;;;;;;;;;9679:28;;-1:-1:-1;;;;;;9679:28:0;;;9746:10;9788:24;744:11;9788:24;;;;:::i;:::-;9738:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9722:109;;;9851:4;9846:30;;9864:12;;-1:-1:-1;;;9864:12:0;;;;;;;;;;;9846:30;9587:301;9554:334;9914:17;9904:6;:27;;;;;;;;:::i;:::-;;9900:334;;9970:5;:13;;;;;;;;;;:21;;;-1:-1:-1;;;;;9970:21:0;9956:10;:35;9948:62;;;;-1:-1:-1;;;9948:62:0;;7616:2:1;9948:62:0;;;7598:21:1;7655:2;7635:18;;;7628:30;-1:-1:-1;;;7674:18:1;;;7667:44;7728:18;;9948:62:0;7414:338:1;9948:62:0;10032:5;:13;;;;;;;;;;:21;;10025:28;;-1:-1:-1;;;;;;10025:28:0;;;10092:10;10134:24;744:11;10134:24;;;;:::i;:::-;10084:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10068:109;;;10197:4;10192:30;;10210:12;;-1:-1:-1;;;10210:12:0;;;;;;;;;;;10192:30;9933:301;9900:334;8010:2231;;7969:2272;:::o;6612:545::-;6746:13;;6676:4;6740:20;;;;;;;;;;:38;;;6676:4;;802:6;;6709:69;;:15;:69;:::i;:::-;6708:86;;-1:-1:-1;6835:6:0;6826:5;:15;;;;;;;;:::i;:::-;;:61;;;;-1:-1:-1;6851:13:0;;6885:1;6845:20;;;;;;;;;;:28;-1:-1:-1;;;;;6845:28:0;:42;6826:61;6825:87;;;;6905:7;6825:87;6807:155;;;-1:-1:-1;6946:4:0;;6612:545;-1:-1:-1;;6612:545:0:o;6807:155::-;7000:6;6991:5;:15;;;;;;;;:::i;:::-;;:61;;;;-1:-1:-1;7016:13:0;;;7050:1;7010:20;;;;;;;;;;:28;;-1:-1:-1;;;;;7010:28:0;:42;6991:61;6990:87;;;;7070:7;6990:87;6972:155;;;-1:-1:-1;7111:4:0;;6612:545;-1:-1:-1;;6612:545:0:o;7537:424::-;7577:17;7597:28;7611:13;;7597;:28::i;:::-;7577:48;-1:-1:-1;7654:18:0;7644:6;:28;;;;;;;;:::i;:::-;;7636:58;;;;-1:-1:-1;;;7636:58:0;;8475:2:1;7636:58:0;;;8457:21:1;8514:2;8494:18;;;8487:30;-1:-1:-1;;;8533:18:1;;;8526:47;8590:18;;7636:58:0;8273:341:1;7636:58:0;7758:13;;7705:12;7752:20;;;;;;;;;;:38;;;802:6;;7721:69;;:15;:69;:::i;:::-;7720:86;7705:101;;7839:7;:39;;;-1:-1:-1;7860:18:0;7850:6;:28;;;;;;;;:::i;:::-;;;7839:39;7817:110;;;;-1:-1:-1;;;7817:110:0;;8821:2:1;7817:110:0;;;8803:21:1;8860:2;8840:18;;;8833:30;-1:-1:-1;;;8879:18:1;;;8872:51;8940:18;;7817:110:0;8619:345:1;7817:110:0;7938:13;:15;;;:13;:15;;;:::i;:::-;;;;;;7566:395;;7537:424::o;6461:143::-;6515:4;6572:1;6539:30;6562:6;6539:22;:30::i;:::-;:34;;;;:::i;:::-;:39;;;:57;;6590:6;6539:57;;;6581:6;6539:57;6532:64;6461:143;-1:-1:-1;;6461:143:0:o;13218:53::-;897:10;-1:-1:-1;;;;;911:5:0;897:19;;889:42;;;;-1:-1:-1;;;889:42:0;;;;;;;:::i;:::-;13218:53::o;1358:119::-;1411:10;1441:28;1455:13;;1441;:28::i;:::-;1434:35;;1358:119;:::o;12821:232::-;897:10;-1:-1:-1;;;;;911:5:0;897:19;;889:42;;;;-1:-1:-1;;;889:42:0;;;;;;;:::i;:::-;12883:6:::1;::::0;::::1;;12882:7;12874:48;;;::::0;-1:-1:-1;;;12874:48:0;;9570:2:1;12874:48:0::1;::::0;::::1;9552:21:1::0;9609:2;9589:18;;;9582:30;9648;9628:18;;;9621:58;9696:18;;12874:48:0::1;9368:352:1::0;12874:48:0::1;12936:9;12959:5;-1:-1:-1::0;;;;;12951:19:0::1;12978:21;12951:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12935:69;;;13020:4;13015:30;;13033:12;;-1:-1:-1::0;;;13033:12:0::1;;;;;;;;;;;13015:30;12863:190;12821:232::o:0;5056:687::-;5142:5;5186:13;;;;;;;;;;;5160:45;;;;;;;5186:19;;;;5160:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5160:45:0;;;;;;;;-1:-1:-1;;;5160:45:0;;;;;;;;-1:-1:-1;;;5160:45:0;;;;;;;;-1:-1:-1;;;5160:45:0;;;;;;;;;;;5142:5;;5248:29;5244:42;;5279:7;;;;:::i;:::-;;;;5244:42;5301:8;;;;:29;;;5297:42;;5332:7;;;;:::i;:::-;;;;5297:42;5354:8;;;;:29;;;5350:42;;5385:7;;;;:::i;:::-;;;;5350:42;5407:8;;;;:29;;;5403:42;;5438:7;;;;:::i;:::-;;;;5403:42;5460:8;;;;:29;;;5456:42;;5491:7;;;;:::i;:::-;;;;5456:42;5513:8;;;;:29;;;5509:42;;5544:7;;;;:::i;:::-;;;;5509:42;5566:8;;;;:29;;;5562:42;;5597:7;;;;:::i;:::-;;;;5562:42;5619:8;;;;:29;;;5615:42;;5650:7;;;;:::i;:::-;;;;5615:42;5672:8;;;;:29;;;5668:42;;5703:7;;;;:::i;:::-;;5730:5;-1:-1:-1;;;;;5056:687:0:o;5751:702::-;5870:5;5914:13;;;;;;;;;;;5888:45;;;;;;;5914:19;;;;5888:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5888:45:0;;;;;;;;-1:-1:-1;;;5888:45:0;;;;;;;;-1:-1:-1;;;5888:45:0;;;;;;;;-1:-1:-1;;;5888:45:0;;;;;;;;;;;;5870:5;5994:8;5888:45;5988:15;;;;;;;:::i;:::-;5976:27;;:5;:8;;;:27;;;5972:40;;6005:7;;;;:::i;:::-;;;;5972:40;6045:8;6039:15;;;;;;;;:::i;:::-;6027:27;;:5;:8;;;:27;;;6023:40;;6056:7;;;;:::i;:::-;;;;6023:40;6096:8;6090:15;;;;;;;;:::i;:::-;6078:27;;:5;:8;;;:27;;;6074:40;;6107:7;;;;:::i;:::-;;;;6074:40;6147:8;6141:15;;;;;;;;:::i;:::-;6129:27;;:5;:8;;;:27;;;6125:40;;6158:7;;;;:::i;:::-;;;;6125:40;6198:8;6192:15;;;;;;;;:::i;:::-;6180:27;;:5;:8;;;:27;;;6176:40;;6209:7;;;;:::i;:::-;;;;6176:40;6249:8;6243:15;;;;;;;;:::i;:::-;6231:27;;:5;:8;;;:27;;;6227:40;;6260:7;;;;:::i;:::-;;;;6227:40;6300:8;6294:15;;;;;;;;:::i;:::-;6282:27;;:5;:8;;;:27;;;6278:40;;6311:7;;;;:::i;:::-;;;;6278:40;6351:8;6345:15;;;;;;;;:::i;:::-;6333:27;;:5;:8;;;:27;;;6329:40;;6362:7;;;;:::i;:::-;;;;6329:40;6402:8;6396:15;;;;;;;;:::i;:::-;6384:27;;:5;:8;;;:27;;;6380:40;;6413:7;;;;:::i;:::-;;;;6380:40;6440:5;5751:702;-1:-1:-1;;;;5751:702:0:o;14:180:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;-1:-1:-1;165:23:1;;14:180;-1:-1:-1;14:180:1:o;199:127::-;260:10;255:3;251:20;248:1;241:31;291:4;288:1;281:15;315:4;312:1;305:15;331:244;476:2;461:18;;509:1;498:13;;488:47;;515:18;;:::i;:::-;544:25;;;331:244;:::o;772:269::-;829:6;882:2;870:9;861:7;857:23;853:32;850:52;;;898:1;895;888:12;850:52;937:9;924:23;987:4;980:5;976:16;969:5;966:27;956:55;;1007:1;1004;997:12;1046:237;1184:2;1169:18;;1217:1;1206:13;;1196:47;;1223:18;;:::i;1288:262::-;1353:6;1406:2;1394:9;1385:7;1381:23;1377:32;1374:52;;;1422:1;1419;1412:12;1374:52;1461:9;1448:23;1500:1;1493:5;1490:12;1480:40;;1516:1;1513;1506:12;1817:1470;1959:4;2001:3;1990:9;1986:19;1978:27;;2068:1;2064;2059:3;2055:11;2051:19;2042:6;2036:13;2032:39;2021:9;2014:58;2157:1;2153;2148:3;2144:11;2140:19;2132:4;2124:6;2120:17;2114:24;2110:50;2103:4;2092:9;2088:20;2081:80;2217:4;2209:6;2205:17;2199:24;2192:4;2181:9;2177:20;2170:54;2271:4;2263:6;2259:17;2253:24;2340:4;2325:12;2319:19;2315:30;2308:4;2297:9;2293:20;2286:60;2419:4;2411;2397:12;2393:23;2387:30;2383:41;2377:3;2366:9;2362:19;2355:70;2480:4;2466:12;2462:23;2456:30;2495:53;2543:3;2532:9;2528:19;2512:14;1804:4;1793:16;1781:29;;1737:75;2495:53;-1:-1:-1;2603:4:1;2585:23;;2579:30;1804:4;1793:16;;2666:3;2651:19;;1781:29;-1:-1:-1;2726:3:1;2708:22;;2702:29;1804:4;1793:16;;2788:3;2773:19;;1781:29;-1:-1:-1;2848:3:1;2830:22;;2824:29;1804:4;1793:16;;2910:3;2895:19;;1781:29;-1:-1:-1;2970:3:1;2952:22;;2946:29;1804:4;1793:16;;3032:3;3017:19;;1781:29;-1:-1:-1;3092:3:1;3074:22;;3068:29;1804:4;1793:16;;3154:3;3139:19;;1781:29;-1:-1:-1;3214:3:1;3196:22;3190:29;1804:4;1793:16;;3276:3;3261:19;;1781:29;3228:53;1817:1470;;;;:::o;3292:334::-;3494:2;3476:21;;;3533:2;3513:18;;;3506:30;-1:-1:-1;;;3567:2:1;3552:18;;3545:40;3617:2;3602:18;;3292:334::o;5372:340::-;5574:2;5556:21;;;5613:2;5593:18;;;5586:30;-1:-1:-1;;;5647:2:1;5632:18;;5625:46;5703:2;5688:18;;5372:340::o;7126:127::-;7187:10;7182:3;7178:20;7175:1;7168:31;7218:4;7215:1;7208:15;7242:4;7239:1;7232:15;7258:151;7348:4;7341:12;;;7327;;;7323:31;;7366:14;;7363:40;;;7383:18;;:::i;7757:168::-;7830:9;;;7861;;7878:15;;;7872:22;;7858:37;7848:71;;7899:18;;:::i;8140:128::-;8207:9;;;8228:11;;;8225:37;;;8242:18;;:::i;8969:135::-;9008:3;9029:17;;;9026:43;;9049:18;;:::i;:::-;-1:-1:-1;9096:1:1;9085:13;;8969:135::o;9109:254::-;9139:1;9173:4;9170:1;9166:12;9197:3;9187:134;;9243:10;9238:3;9234:20;9231:1;9224:31;9278:4;9275:1;9268:15;9306:4;9303:1;9296:15;9187:134;9353:3;9346:4;9343:1;9339:12;9335:22;9330:27;;;9109:254;;;;:::o;9725:175::-;9762:3;9806:4;9799:5;9795:16;9835:4;9826:7;9823:17;9820:43;;9843:18;;:::i;:::-;9892:1;9879:15;;9725:175;-1:-1:-1;;9725:175:1:o

ipfs://65620b010bb7c39a8baeaa46b3dfbdc79dbb27af1661583eef01a7e0a21be055