Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•  contract MarketPredictions *
•    - function addAdmin(address _admin)
•    - function removeAdmin(address _admin)
•    - function createMarket(string memory _ ...
•    - function makePrediction(uint256 _mark ...
•    - function resolveMarket(uint256 _marke ...
•    - function claimReward(uint256 _marketI ...
•    - function withdrawFees()
•    - function withdrawUnclaimedFunds(uint2 ...
•    - function setPlatformFee(uint256 _newF ...
•    - function getMarket(uint256 _marketId)
•    - function getUserPrediction(uint256 _m ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at apescan.io on 2025-02-23
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

contract MarketPredictions {
    // Inlined ReentrancyGuard from OpenZeppelin (simplified version)
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;
    uint256 private _status;

    struct Market {
        string question;
        uint256 totalPredictions;
        uint256 totalYes;
        uint256 totalNo;
        bool resolved;
        bool outcome;
        mapping(address => PredictionInfo) userPredictions;
    }

    struct PredictionInfo {
        uint256 amount;
        bool choice;
        bool claimed;
    }

    Market[] public markets;
    uint256 public platformFee; // In basis points (e.g., 200 = 2%)
    uint256 public platformBalance;
    address public owner;
    mapping(address => bool) public admins;

    event MarketCreated(uint256 marketId, string question);
    event PredictionPlaced(uint256 marketId, address predictor, bool choice, uint256 amount);
    event MarketResolved(uint256 marketId, bool outcome);
    event RewardClaimed(uint256 marketId, address winner, uint256 amount);
    event FeeWithdrawn(uint256 amount);
    event AdminAdded(address admin);
    event AdminRemoved(address admin);
    event UnclaimedFundsWithdrawn(uint256 marketId, uint256 amount);

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

    modifier onlyAdmin() {
        require(admins[msg.sender] || msg.sender == owner, "Only admin");
        _;
    }

    modifier nonReentrant() {
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");
        _status = _ENTERED;
        _;
        _status = _NOT_ENTERED;
    }

    constructor() {
        owner = msg.sender;
        admins[msg.sender] = true;
        platformFee = 200; // 2% fee in basis points
        _status = _NOT_ENTERED; // Initialize reentrancy guard
    }

    function addAdmin(address _admin) external onlyOwner {
        require(!admins[_admin], "Already admin");
        admins[_admin] = true;
        emit AdminAdded(_admin);
    }

    function removeAdmin(address _admin) external onlyOwner {
        require(admins[_admin], "Not an admin");
        require(_admin != owner, "Cannot remove owner");
        admins[_admin] = false;
        emit AdminRemoved(_admin);
    }

    function createMarket(string memory _question) external onlyAdmin {
        Market storage newMarket = markets.push();
        newMarket.question = _question;
        newMarket.totalPredictions = 0;
        newMarket.totalYes = 0;
        newMarket.totalNo = 0;
        newMarket.resolved = false;

        emit MarketCreated(markets.length - 1, _question);
    }

    function makePrediction(uint256 _marketId, bool _choice) external payable {
        require(_marketId < markets.length, "Invalid market ID");
        require(!markets[_marketId].resolved, "Market resolved");
        require(msg.value > 0, "Amount must be > 0");

        uint256 fee = (msg.value * platformFee) / 10000;
        uint256 predictionAmount = msg.value - fee;

        platformBalance += fee;

        Market storage market = markets[_marketId];
        PredictionInfo storage prediction = market.userPredictions[msg.sender];
        prediction.amount += predictionAmount;
        prediction.choice = _choice;
        market.totalPredictions += predictionAmount;

        if (_choice) {
            market.totalYes += predictionAmount;
        } else {
            market.totalNo += predictionAmount;
        }

        emit PredictionPlaced(_marketId, msg.sender, _choice, predictionAmount);
    }

    function resolveMarket(uint256 _marketId, bool _outcome) external onlyAdmin {
        require(_marketId < markets.length, "Invalid market ID");
        require(!markets[_marketId].resolved, "Already resolved");

        Market storage market = markets[_marketId];
        market.resolved = true;
        market.outcome = _outcome;

        emit MarketResolved(_marketId, _outcome);
    }

    function claimReward(uint256 _marketId) external nonReentrant {
        require(_marketId < markets.length, "Invalid market ID");
        Market storage market = markets[_marketId];
        require(market.resolved, "Not resolved");
        PredictionInfo storage prediction = market.userPredictions[msg.sender];
        require(!prediction.claimed, "Already claimed");
        require(prediction.amount > 0, "No prediction");
        require(prediction.choice == market.outcome, "Incorrect prediction");

        uint256 totalWinningPool = market.outcome ? market.totalYes : market.totalNo;
        uint256 totalPool = market.totalPredictions;
        uint256 reward = (prediction.amount * totalPool) / totalWinningPool;

        prediction.claimed = true;
        payable(msg.sender).transfer(reward);
        emit RewardClaimed(_marketId, msg.sender, reward);
    }

    function withdrawFees() external onlyOwner {
        uint256 amount = platformBalance;
        require(amount > 0, "No fees to withdraw");
        platformBalance = 0;
        payable(owner).transfer(amount);
        emit FeeWithdrawn(amount);
    }

    function withdrawUnclaimedFunds(uint256 _marketId) external onlyOwner {
        require(_marketId < markets.length, "Invalid market ID");
        Market storage market = markets[_marketId];
        require(market.resolved, "Not resolved");

        uint256 totalWinningPool = market.outcome ? market.totalYes : market.totalNo;
        uint256 unclaimedAmount = market.totalPredictions - totalWinningPool;
        require(unclaimedAmount > 0, "No unclaimed funds");

        payable(owner).transfer(unclaimedAmount);
        emit UnclaimedFundsWithdrawn(_marketId, unclaimedAmount);
    }

    function setPlatformFee(uint256 _newFee) external onlyOwner {
        require(_newFee <= 1000, "Fee max 10%");
        platformFee = _newFee;
    }

    function getMarket(uint256 _marketId) external view returns (
        string memory question,
        uint256 totalPredictions,
        uint256 totalYes,
        uint256 totalNo,
        bool resolved,
        bool outcome
    ) {
        require(_marketId < markets.length, "Invalid market ID");
        Market storage market = markets[_marketId];
        return (
            market.question,
            market.totalPredictions,
            market.totalYes,
            market.totalNo,
            market.resolved,
            market.outcome
        );
    }

    function getUserPrediction(uint256 _marketId, address _user) external view returns (
        uint256 amount,
        bool choice,
        bool claimed
    ) {
        require(_marketId < markets.length, "Invalid market ID");
        Market storage market = markets[_marketId];
        PredictionInfo storage prediction = market.userPredictions[_user];
        return (
            prediction.amount,
            prediction.choice,
            prediction.claimed
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"admin","type":"address"}],"name":"AdminAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"admin","type":"address"}],"name":"AdminRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"FeeWithdrawn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"string","name":"question","type":"string"}],"name":"MarketCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"bool","name":"outcome","type":"bool"}],"name":"MarketResolved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"address","name":"predictor","type":"address"},{"indexed":false,"internalType":"bool","name":"choice","type":"bool"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"PredictionPlaced","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"address","name":"winner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"RewardClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"UnclaimedFundsWithdrawn","type":"event"},{"inputs":[{"internalType":"address","name":"_admin","type":"address"}],"name":"addAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"admins","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"}],"name":"claimReward","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_question","type":"string"}],"name":"createMarket","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"}],"name":"getMarket","outputs":[{"internalType":"string","name":"question","type":"string"},{"internalType":"uint256","name":"totalPredictions","type":"uint256"},{"internalType":"uint256","name":"totalYes","type":"uint256"},{"internalType":"uint256","name":"totalNo","type":"uint256"},{"internalType":"bool","name":"resolved","type":"bool"},{"internalType":"bool","name":"outcome","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"},{"internalType":"address","name":"_user","type":"address"}],"name":"getUserPrediction","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bool","name":"choice","type":"bool"},{"internalType":"bool","name":"claimed","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"},{"internalType":"bool","name":"_choice","type":"bool"}],"name":"makePrediction","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"markets","outputs":[{"internalType":"string","name":"question","type":"string"},{"internalType":"uint256","name":"totalPredictions","type":"uint256"},{"internalType":"uint256","name":"totalYes","type":"uint256"},{"internalType":"uint256","name":"totalNo","type":"uint256"},{"internalType":"bool","name":"resolved","type":"bool"},{"internalType":"bool","name":"outcome","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"platformBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"platformFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_admin","type":"address"}],"name":"removeAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"},{"internalType":"bool","name":"_outcome","type":"bool"}],"name":"resolveMarket","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"setPlatformFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketId","type":"uint256"}],"name":"withdrawUnclaimedFunds","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b50600480546001600160a01b031916339081179091555f908152600560205260408120805460ff1916600190811790915560c86002559055611638806100545f395ff3fe6080604052600436106100ef575f3560e01c80636ac28cb311610087578063ae169a5011610057578063ae169a50146102b1578063b0d6f59c146102d0578063b1283e77146102e3578063eb44fdd314610314575f80fd5b80636ac28cb314610200578063704802751461023c5780638da5cb5b1461025b578063a8bf0ba214610292575f80fd5b8063476343ee116100c2578063476343ee1461019957806354888f55146101ad57806357bde446146101cc57806362a5dbbc146101eb575f80fd5b806312e8e2c3146100f35780631785f53c1461011457806326232a2e14610133578063429b62e51461015b575b5f80fd5b3480156100fe575f80fd5b5061011261010d3660046111d8565b610333565b005b34801561011f575f80fd5b5061011261012e36600461120a565b6103ab565b34801561013e575f80fd5b5061014860025481565b6040519081526020015b60405180910390f35b348015610166575f80fd5b5061018961017536600461120a565b60056020525f908152604090205460ff1681565b6040519015158152602001610152565b3480156101a4575f80fd5b506101126104d6565b3480156101b8575f80fd5b506101126101c736600461123e565b6105b3565b3480156101d7575f80fd5b506101126101e63660046112e9565b6106be565b3480156101f6575f80fd5b5061014860035481565b34801561020b575f80fd5b5061021f61021a36600461131b565b610833565b604080519384529115156020840152151590820152606001610152565b348015610247575f80fd5b5061011261025636600461120a565b6108b8565b348015610266575f80fd5b5060045461027a906001600160a01b031681565b6040516001600160a01b039091168152602001610152565b34801561029d575f80fd5b506101126102ac3660046111d8565b61098d565b3480156102bc575f80fd5b506101126102cb3660046111d8565b610b34565b6101126102de3660046112e9565b610ddd565b3480156102ee575f80fd5b506103026102fd3660046111d8565b610fef565b60405161015296959493929190611388565b34801561031f575f80fd5b5061030261032e3660046111d8565b6110c3565b6004546001600160a01b031633146103665760405162461bcd60e51b815260040161035d906113c7565b60405180910390fd5b6103e88111156103a65760405162461bcd60e51b815260206004820152600b60248201526a466565206d61782031302560a81b604482015260640161035d565b600255565b6004546001600160a01b031633146103d55760405162461bcd60e51b815260040161035d906113c7565b6001600160a01b0381165f9081526005602052604090205460ff1661042b5760405162461bcd60e51b815260206004820152600c60248201526b2737ba1030b71030b236b4b760a11b604482015260640161035d565b6004546001600160a01b039081169082160361047f5760405162461bcd60e51b815260206004820152601360248201527221b0b73737ba103932b6b7bb329037bbb732b960691b604482015260640161035d565b6001600160a01b0381165f81815260056020908152604091829020805460ff1916905590519182527fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f91015b60405180910390a150565b6004546001600160a01b031633146105005760405162461bcd60e51b815260040161035d906113c7565b600354806105465760405162461bcd60e51b81526020600482015260136024820152724e6f206665657320746f20776974686472617760681b604482015260640161035d565b5f60038190556004546040516001600160a01b039091169183156108fc02918491818181858888f19350505050158015610582573d5f803e3d5ffd5b506040518181527fb7eeacba6b133788365610e83d3f130d07b6ef6e78877961f25b3f61fcba0752906020016104cb565b335f9081526005602052604090205460ff16806105da57506004546001600160a01b031633145b6106135760405162461bcd60e51b815260206004820152600a60248201526927b7363c9030b236b4b760b11b604482015260640161035d565b6001805480820182555f919091526006027fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf601806106518382611471565b505f600180830182905560028301829055600383019190915560048201805460ff1916905580547f218577c5bc2b73a2bfcbd5e49be9f73d7baadac57a71efdffe54f3b4489cc0ab916106a391611541565b836040516106b292919061155a565b60405180910390a15050565b335f9081526005602052604090205460ff16806106e557506004546001600160a01b031633145b61071e5760405162461bcd60e51b815260206004820152600a60248201526927b7363c9030b236b4b760b11b604482015260640161035d565b600154821061073f5760405162461bcd60e51b815260040161035d9061157a565b60018281548110610752576107526115a5565b5f91825260209091206004600690920201015460ff16156107a85760405162461bcd60e51b815260206004820152601060248201526f105b1c9958591e481c995cdbdb1d995960821b604482015260640161035d565b5f600183815481106107bc576107bc6115a5565b5f9182526020909120600460069092020190810180548415156101000261ffff199091161760011790556040519091507f4927fe38919783250023d27e65a3e56b6b5c3e49364e51674a41ef08d62460d99061082690859085909182521515602082015260400190565b60405180910390a1505050565b5f805f600180549050851061085a5760405162461bcd60e51b815260040161035d9061157a565b5f6001868154811061086e5761086e6115a5565b5f91825260208083206001600160a01b0389168452600560069093020191909101905260409020805460019091015490945060ff8082169450610100909104169150509250925092565b6004546001600160a01b031633146108e25760405162461bcd60e51b815260040161035d906113c7565b6001600160a01b0381165f9081526005602052604090205460ff161561093a5760405162461bcd60e51b815260206004820152600d60248201526c20b63932b0b23c9030b236b4b760991b604482015260640161035d565b6001600160a01b0381165f81815260056020908152604091829020805460ff1916600117905590519182527f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33991016104cb565b6004546001600160a01b031633146109b75760405162461bcd60e51b815260040161035d906113c7565b60015481106109d85760405162461bcd60e51b815260040161035d9061157a565b5f600182815481106109ec576109ec6115a5565b5f9182526020909120600690910201600481015490915060ff16610a415760405162461bcd60e51b815260206004820152600c60248201526b139bdd081c995cdbdb1d995960a21b604482015260640161035d565b60048101545f90610100900460ff16610a5e578160030154610a64565b81600201545b90505f818360010154610a779190611541565b90505f8111610abd5760405162461bcd60e51b81526020600482015260126024820152714e6f20756e636c61696d65642066756e647360701b604482015260640161035d565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610af4573d5f803e3d5ffd5b5060408051858152602081018390527f2daadcb656c13e88a2896d60091e08ed0d47365735e2126759f5f33cf5289da1910160405180910390a150505050565b60025f5403610b855760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015260640161035d565b60025f556001548110610baa5760405162461bcd60e51b815260040161035d9061157a565b5f60018281548110610bbe57610bbe6115a5565b5f9182526020909120600690910201600481015490915060ff16610c135760405162461bcd60e51b815260206004820152600c60248201526b139bdd081c995cdbdb1d995960a21b604482015260640161035d565b335f90815260058201602052604090206001810154610100900460ff1615610c6f5760405162461bcd60e51b815260206004820152600f60248201526e105b1c9958591e4818db185a5b5959608a1b604482015260640161035d565b8054610cad5760405162461bcd60e51b815260206004820152600d60248201526c273790383932b234b1ba34b7b760991b604482015260640161035d565b6004820154600182015460ff908116151561010090920416151514610d0b5760405162461bcd60e51b815260206004820152601460248201527324b731b7b93932b1ba10383932b234b1ba34b7b760611b604482015260640161035d565b60048201545f90610100900460ff16610d28578260030154610d2e565b82600201545b60018401548354919250905f908390610d489084906115b9565b610d5291906115d0565b60018501805461ff001916610100179055604051909150339082156108fc029083905f818181858888f19350505050158015610d90573d5f803e3d5ffd5b50604080518781523360208201529081018290527f24b5efa61dd1cfc659205a97fb8ed868f3cb8c81922bab2b96423e5de1de2cb79060600160405180910390a1505060015f5550505050565b6001548210610dfe5760405162461bcd60e51b815260040161035d9061157a565b60018281548110610e1157610e116115a5565b5f91825260209091206004600690920201015460ff1615610e665760405162461bcd60e51b815260206004820152600f60248201526e13585c9ad95d081c995cdbdb1d9959608a1b604482015260640161035d565b5f3411610eaa5760405162461bcd60e51b81526020600482015260126024820152710416d6f756e74206d757374206265203e20360741b604482015260640161035d565b5f61271060025434610ebc91906115b9565b610ec691906115d0565b90505f610ed38234611541565b90508160035f828254610ee691906115ef565b925050819055505f60018581548110610f0157610f016115a5565b5f918252602080832033845260056006909302019182019052604082208054919350918491839190610f349084906115ef565b90915550506001818101805460ff1916871515179055820180548491905f90610f5e9084906115ef565b90915550508415610f875782826002015f828254610f7c91906115ef565b90915550610fa09050565b82826003015f828254610f9a91906115ef565b90915550505b60408051878152336020820152861515818301526060810185905290517f7ae59d09350fd625b6d654adc6a6bfe53937659382863078ee717d266d549d419181900360800190a1505050505050565b60018181548110610ffe575f80fd5b905f5260205f2090600602015f91509050805f01805461101d906113eb565b80601f0160208091040260200160405190810160405280929190818152602001828054611049906113eb565b80156110945780601f1061106b57610100808354040283529160200191611094565b820191905f5260205f20905b81548152906001019060200180831161107757829003601f168201915b505050506001830154600284015460038501546004909501549394919390925060ff8082169161010090041686565b60605f805f805f60018054905087106110ee5760405162461bcd60e51b815260040161035d9061157a565b5f60018881548110611102576111026115a5565b5f918252602090912060069091020160018101546002820154600383015460048401548454949550859460ff80831692610100900416908690611144906113eb565b80601f0160208091040260200160405190810160405280929190818152602001828054611170906113eb565b80156111bb5780601f10611192576101008083540402835291602001916111bb565b820191905f5260205f20905b81548152906001019060200180831161119e57829003601f168201915b505050505095509650965096509650965096505091939550919395565b5f602082840312156111e8575f80fd5b5035919050565b80356001600160a01b0381168114611205575f80fd5b919050565b5f6020828403121561121a575f80fd5b611223826111ef565b9392505050565b634e487b7160e01b5f52604160045260245ffd5b5f6020828403121561124e575f80fd5b813567ffffffffffffffff80821115611265575f80fd5b818401915084601f830112611278575f80fd5b81358181111561128a5761128a61122a565b604051601f8201601f19908116603f011681019083821181831017156112b2576112b261122a565b816040528281528760208487010111156112ca575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f80604083850312156112fa575f80fd5b8235915060208301358015158114611310575f80fd5b809150509250929050565b5f806040838503121561132c575f80fd5b8235915061133c602084016111ef565b90509250929050565b5f81518084525f5b818110156113695760208185018101518683018201520161134d565b505f602082860101526020601f19601f83011685010191505092915050565b60c081525f61139a60c0830189611345565b6020830197909752506040810194909452606084019290925215156080830152151560a090910152919050565b6020808252600a908201526927b7363c9037bbb732b960b11b604082015260600190565b600181811c908216806113ff57607f821691505b60208210810361141d57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561146c575f81815260208120601f850160051c810160208610156114495750805b601f850160051c820191505b8181101561146857828155600101611455565b5050505b505050565b815167ffffffffffffffff81111561148b5761148b61122a565b61149f8161149984546113eb565b84611423565b602080601f8311600181146114d2575f84156114bb5750858301515b5f19600386901b1c1916600185901b178555611468565b5f85815260208120601f198616915b82811015611500578886015182559484019460019091019084016114e1565b508582101561151d57878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b818103818111156115545761155461152d565b92915050565b828152604060208201525f6115726040830184611345565b949350505050565b602080825260119082015270125b9d985b1a59081b585c9ad95d081251607a1b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b80820281158282048414176115545761155461152d565b5f826115ea57634e487b7160e01b5f52601260045260245ffd5b500490565b808201808211156115545761155461152d56fea26469706673582212204cc876fd8ae140ca6044eeb7145f67e9c5a7e60d4f9b457f0bce0e24a984a43964736f6c63430008140033

0x6080604052600436106100ef575f3560e01c80636ac28cb311610087578063ae169a5011610057578063ae169a50146102b1578063b0d6f59c146102d0578063b1283e77146102e3578063eb44fdd314610314575f80fd5b80636ac28cb314610200578063704802751461023c5780638da5cb5b1461025b578063a8bf0ba214610292575f80fd5b8063476343ee116100c2578063476343ee1461019957806354888f55146101ad57806357bde446146101cc57806362a5dbbc146101eb575f80fd5b806312e8e2c3146100f35780631785f53c1461011457806326232a2e14610133578063429b62e51461015b575b5f80fd5b3480156100fe575f80fd5b5061011261010d3660046111d8565b610333565b005b34801561011f575f80fd5b5061011261012e36600461120a565b6103ab565b34801561013e575f80fd5b5061014860025481565b6040519081526020015b60405180910390f35b348015610166575f80fd5b5061018961017536600461120a565b60056020525f908152604090205460ff1681565b6040519015158152602001610152565b3480156101a4575f80fd5b506101126104d6565b3480156101b8575f80fd5b506101126101c736600461123e565b6105b3565b3480156101d7575f80fd5b506101126101e63660046112e9565b6106be565b3480156101f6575f80fd5b5061014860035481565b34801561020b575f80fd5b5061021f61021a36600461131b565b610833565b604080519384529115156020840152151590820152606001610152565b348015610247575f80fd5b5061011261025636600461120a565b6108b8565b348015610266575f80fd5b5060045461027a906001600160a01b031681565b6040516001600160a01b039091168152602001610152565b34801561029d575f80fd5b506101126102ac3660046111d8565b61098d565b3480156102bc575f80fd5b506101126102cb3660046111d8565b610b34565b6101126102de3660046112e9565b610ddd565b3480156102ee575f80fd5b506103026102fd3660046111d8565b610fef565b60405161015296959493929190611388565b34801561031f575f80fd5b5061030261032e3660046111d8565b6110c3565b6004546001600160a01b031633146103665760405162461bcd60e51b815260040161035d906113c7565b60405180910390fd5b6103e88111156103a65760405162461bcd60e51b815260206004820152600b60248201526a466565206d61782031302560a81b604482015260640161035d565b600255565b6004546001600160a01b031633146103d55760405162461bcd60e51b815260040161035d906113c7565b6001600160a01b0381165f9081526005602052604090205460ff1661042b5760405162461bcd60e51b815260206004820152600c60248201526b2737ba1030b71030b236b4b760a11b604482015260640161035d565b6004546001600160a01b039081169082160361047f5760405162461bcd60e51b815260206004820152601360248201527221b0b73737ba103932b6b7bb329037bbb732b960691b604482015260640161035d565b6001600160a01b0381165f81815260056020908152604091829020805460ff1916905590519182527fa3b62bc36326052d97ea62d63c3d60308ed4c3ea8ac079dd8499f1e9c4f80c0f91015b60405180910390a150565b6004546001600160a01b031633146105005760405162461bcd60e51b815260040161035d906113c7565b600354806105465760405162461bcd60e51b81526020600482015260136024820152724e6f206665657320746f20776974686472617760681b604482015260640161035d565b5f60038190556004546040516001600160a01b039091169183156108fc02918491818181858888f19350505050158015610582573d5f803e3d5ffd5b506040518181527fb7eeacba6b133788365610e83d3f130d07b6ef6e78877961f25b3f61fcba0752906020016104cb565b335f9081526005602052604090205460ff16806105da57506004546001600160a01b031633145b6106135760405162461bcd60e51b815260206004820152600a60248201526927b7363c9030b236b4b760b11b604482015260640161035d565b6001805480820182555f919091526006027fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf601806106518382611471565b505f600180830182905560028301829055600383019190915560048201805460ff1916905580547f218577c5bc2b73a2bfcbd5e49be9f73d7baadac57a71efdffe54f3b4489cc0ab916106a391611541565b836040516106b292919061155a565b60405180910390a15050565b335f9081526005602052604090205460ff16806106e557506004546001600160a01b031633145b61071e5760405162461bcd60e51b815260206004820152600a60248201526927b7363c9030b236b4b760b11b604482015260640161035d565b600154821061073f5760405162461bcd60e51b815260040161035d9061157a565b60018281548110610752576107526115a5565b5f91825260209091206004600690920201015460ff16156107a85760405162461bcd60e51b815260206004820152601060248201526f105b1c9958591e481c995cdbdb1d995960821b604482015260640161035d565b5f600183815481106107bc576107bc6115a5565b5f9182526020909120600460069092020190810180548415156101000261ffff199091161760011790556040519091507f4927fe38919783250023d27e65a3e56b6b5c3e49364e51674a41ef08d62460d99061082690859085909182521515602082015260400190565b60405180910390a1505050565b5f805f600180549050851061085a5760405162461bcd60e51b815260040161035d9061157a565b5f6001868154811061086e5761086e6115a5565b5f91825260208083206001600160a01b0389168452600560069093020191909101905260409020805460019091015490945060ff8082169450610100909104169150509250925092565b6004546001600160a01b031633146108e25760405162461bcd60e51b815260040161035d906113c7565b6001600160a01b0381165f9081526005602052604090205460ff161561093a5760405162461bcd60e51b815260206004820152600d60248201526c20b63932b0b23c9030b236b4b760991b604482015260640161035d565b6001600160a01b0381165f81815260056020908152604091829020805460ff1916600117905590519182527f44d6d25963f097ad14f29f06854a01f575648a1ef82f30e562ccd3889717e33991016104cb565b6004546001600160a01b031633146109b75760405162461bcd60e51b815260040161035d906113c7565b60015481106109d85760405162461bcd60e51b815260040161035d9061157a565b5f600182815481106109ec576109ec6115a5565b5f9182526020909120600690910201600481015490915060ff16610a415760405162461bcd60e51b815260206004820152600c60248201526b139bdd081c995cdbdb1d995960a21b604482015260640161035d565b60048101545f90610100900460ff16610a5e578160030154610a64565b81600201545b90505f818360010154610a779190611541565b90505f8111610abd5760405162461bcd60e51b81526020600482015260126024820152714e6f20756e636c61696d65642066756e647360701b604482015260640161035d565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610af4573d5f803e3d5ffd5b5060408051858152602081018390527f2daadcb656c13e88a2896d60091e08ed0d47365735e2126759f5f33cf5289da1910160405180910390a150505050565b60025f5403610b855760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015260640161035d565b60025f556001548110610baa5760405162461bcd60e51b815260040161035d9061157a565b5f60018281548110610bbe57610bbe6115a5565b5f9182526020909120600690910201600481015490915060ff16610c135760405162461bcd60e51b815260206004820152600c60248201526b139bdd081c995cdbdb1d995960a21b604482015260640161035d565b335f90815260058201602052604090206001810154610100900460ff1615610c6f5760405162461bcd60e51b815260206004820152600f60248201526e105b1c9958591e4818db185a5b5959608a1b604482015260640161035d565b8054610cad5760405162461bcd60e51b815260206004820152600d60248201526c273790383932b234b1ba34b7b760991b604482015260640161035d565b6004820154600182015460ff908116151561010090920416151514610d0b5760405162461bcd60e51b815260206004820152601460248201527324b731b7b93932b1ba10383932b234b1ba34b7b760611b604482015260640161035d565b60048201545f90610100900460ff16610d28578260030154610d2e565b82600201545b60018401548354919250905f908390610d489084906115b9565b610d5291906115d0565b60018501805461ff001916610100179055604051909150339082156108fc029083905f818181858888f19350505050158015610d90573d5f803e3d5ffd5b50604080518781523360208201529081018290527f24b5efa61dd1cfc659205a97fb8ed868f3cb8c81922bab2b96423e5de1de2cb79060600160405180910390a1505060015f5550505050565b6001548210610dfe5760405162461bcd60e51b815260040161035d9061157a565b60018281548110610e1157610e116115a5565b5f91825260209091206004600690920201015460ff1615610e665760405162461bcd60e51b815260206004820152600f60248201526e13585c9ad95d081c995cdbdb1d9959608a1b604482015260640161035d565b5f3411610eaa5760405162461bcd60e51b81526020600482015260126024820152710416d6f756e74206d757374206265203e20360741b604482015260640161035d565b5f61271060025434610ebc91906115b9565b610ec691906115d0565b90505f610ed38234611541565b90508160035f828254610ee691906115ef565b925050819055505f60018581548110610f0157610f016115a5565b5f918252602080832033845260056006909302019182019052604082208054919350918491839190610f349084906115ef565b90915550506001818101805460ff1916871515179055820180548491905f90610f5e9084906115ef565b90915550508415610f875782826002015f828254610f7c91906115ef565b90915550610fa09050565b82826003015f828254610f9a91906115ef565b90915550505b60408051878152336020820152861515818301526060810185905290517f7ae59d09350fd625b6d654adc6a6bfe53937659382863078ee717d266d549d419181900360800190a1505050505050565b60018181548110610ffe575f80fd5b905f5260205f2090600602015f91509050805f01805461101d906113eb565b80601f0160208091040260200160405190810160405280929190818152602001828054611049906113eb565b80156110945780601f1061106b57610100808354040283529160200191611094565b820191905f5260205f20905b81548152906001019060200180831161107757829003601f168201915b505050506001830154600284015460038501546004909501549394919390925060ff8082169161010090041686565b60605f805f805f60018054905087106110ee5760405162461bcd60e51b815260040161035d9061157a565b5f60018881548110611102576111026115a5565b5f918252602090912060069091020160018101546002820154600383015460048401548454949550859460ff80831692610100900416908690611144906113eb565b80601f0160208091040260200160405190810160405280929190818152602001828054611170906113eb565b80156111bb5780601f10611192576101008083540402835291602001916111bb565b820191905f5260205f20905b81548152906001019060200180831161119e57829003601f168201915b505050505095509650965096509650965096505091939550919395565b5f602082840312156111e8575f80fd5b5035919050565b80356001600160a01b0381168114611205575f80fd5b919050565b5f6020828403121561121a575f80fd5b611223826111ef565b9392505050565b634e487b7160e01b5f52604160045260245ffd5b5f6020828403121561124e575f80fd5b813567ffffffffffffffff80821115611265575f80fd5b818401915084601f830112611278575f80fd5b81358181111561128a5761128a61122a565b604051601f8201601f19908116603f011681019083821181831017156112b2576112b261122a565b816040528281528760208487010111156112ca575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f80604083850312156112fa575f80fd5b8235915060208301358015158114611310575f80fd5b809150509250929050565b5f806040838503121561132c575f80fd5b8235915061133c602084016111ef565b90509250929050565b5f81518084525f5b818110156113695760208185018101518683018201520161134d565b505f602082860101526020601f19601f83011685010191505092915050565b60c081525f61139a60c0830189611345565b6020830197909752506040810194909452606084019290925215156080830152151560a090910152919050565b6020808252600a908201526927b7363c9037bbb732b960b11b604082015260600190565b600181811c908216806113ff57607f821691505b60208210810361141d57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561146c575f81815260208120601f850160051c810160208610156114495750805b601f850160051c820191505b8181101561146857828155600101611455565b5050505b505050565b815167ffffffffffffffff81111561148b5761148b61122a565b61149f8161149984546113eb565b84611423565b602080601f8311600181146114d2575f84156114bb5750858301515b5f19600386901b1c1916600185901b178555611468565b5f85815260208120601f198616915b82811015611500578886015182559484019460019091019084016114e1565b508582101561151d57878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b818103818111156115545761155461152d565b92915050565b828152604060208201525f6115726040830184611345565b949350505050565b602080825260119082015270125b9d985b1a59081b585c9ad95d081251607a1b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b80820281158282048414176115545761155461152d565b5f826115ea57634e487b7160e01b5f52601260045260245ffd5b500490565b808201808211156115545761155461152d56fea26469706673582212204cc876fd8ae140ca6044eeb7145f67e9c5a7e60d4f9b457f0bce0e24a984a43964736f6c63430008140033

61:7068:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5890:150;;;;;;;;;;-1:-1:-1;5890:150:0;;;;;:::i;:::-;;:::i;:::-;;2156:241;;;;;;;;;;-1:-1:-1;2156:241:0;;;;;:::i;:::-;;:::i;680:26::-;;;;;;;;;;;;;;;;;;;714:25:1;;;702:2;687:18;680:26:0;;;;;;;;813:38;;;;;;;;;;-1:-1:-1;813:38:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;915:14:1;;908:22;890:41;;878:2;863:18;813:38:0;750:187:1;5021:255:0;;;;;;;;;;;;;:::i;2405:372::-;;;;;;;;;;-1:-1:-1;2405:372:0;;;;;:::i;:::-;;:::i;3726:396::-;;;;;;;;;;-1:-1:-1;3726:396:0;;;;;:::i;:::-;;:::i;749:30::-;;;;;;;;;;;;;;;;6635:491;;;;;;;;;;-1:-1:-1;6635:491:0;;;;;:::i;:::-;;:::i;:::-;;;;2796:25:1;;;2864:14;;2857:22;2852:2;2837:18;;2830:50;2923:14;2916:22;2896:18;;;2889:50;2784:2;2769:18;6635:491:0;2606:339:1;1969:179:0;;;;;;;;;;-1:-1:-1;1969:179:0;;;;;:::i;:::-;;:::i;786:20::-;;;;;;;;;;-1:-1:-1;786:20:0;;;;-1:-1:-1;;;;;786:20:0;;;;;;-1:-1:-1;;;;;3114:32:1;;;3096:51;;3084:2;3069:18;786:20:0;2950:203:1;5284:598:0;;;;;;;;;;-1:-1:-1;5284:598:0;;;;;:::i;:::-;;:::i;4130:883::-;;;;;;;;;;-1:-1:-1;4130:883:0;;;;;:::i;:::-;;:::i;2785:933::-;;;;;;:::i;:::-;;:::i;650:23::-;;;;;;;;;;-1:-1:-1;650:23:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;6048:579::-;;;;;;;;;;-1:-1:-1;6048:579:0;;;;;:::i;:::-;;:::i;5890:150::-;1396:5;;-1:-1:-1;;;;;1396:5:0;1382:10;:19;1374:42;;;;-1:-1:-1;;;1374:42:0;;;;;;;:::i;:::-;;;;;;;;;5980:4:::1;5969:7;:15;;5961:39;;;::::0;-1:-1:-1;;;5961:39:0;;4731:2:1;5961:39:0::1;::::0;::::1;4713:21:1::0;4770:2;4750:18;;;4743:30;-1:-1:-1;;;4789:18:1;;;4782:41;4840:18;;5961:39:0::1;4529:335:1::0;5961:39:0::1;6011:11;:21:::0;5890:150::o;2156:241::-;1396:5;;-1:-1:-1;;;;;1396:5:0;1382:10;:19;1374:42;;;;-1:-1:-1;;;1374:42:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2231:14:0;::::1;;::::0;;;:6:::1;:14;::::0;;;;;::::1;;2223:39;;;::::0;-1:-1:-1;;;2223:39:0;;5071:2:1;2223:39:0::1;::::0;::::1;5053:21:1::0;5110:2;5090:18;;;5083:30;-1:-1:-1;;;5129:18:1;;;5122:42;5181:18;;2223:39:0::1;4869:336:1::0;2223:39:0::1;2291:5;::::0;-1:-1:-1;;;;;2291:5:0;;::::1;2281:15:::0;;::::1;::::0;2273:47:::1;;;::::0;-1:-1:-1;;;2273:47:0;;5412:2:1;2273:47:0::1;::::0;::::1;5394:21:1::0;5451:2;5431:18;;;5424:30;-1:-1:-1;;;5470:18:1;;;5463:49;5529:18;;2273:47:0::1;5210:343:1::0;2273:47:0::1;-1:-1:-1::0;;;;;2331:14:0;::::1;2348:5;2331:14:::0;;;:6:::1;:14;::::0;;;;;;;;:22;;-1:-1:-1;;2331:22:0::1;::::0;;2369:20;;3096:51:1;;;2369:20:0::1;::::0;3069:18:1;2369:20:0::1;;;;;;;;2156:241:::0;:::o;5021:255::-;1396:5;;-1:-1:-1;;;;;1396:5:0;1382:10;:19;1374:42;;;;-1:-1:-1;;;1374:42:0;;;;;;;:::i;:::-;5092:15:::1;::::0;5126:10;5118:42:::1;;;::::0;-1:-1:-1;;;5118:42:0;;5760:2:1;5118:42:0::1;::::0;::::1;5742:21:1::0;5799:2;5779:18;;;5772:30;-1:-1:-1;;;5818:18:1;;;5811:49;5877:18;;5118:42:0::1;5558:343:1::0;5118:42:0::1;5189:1;5171:15;:19:::0;;;5209:5:::1;::::0;5201:31:::1;::::0;-1:-1:-1;;;;;5209:5:0;;::::1;::::0;5201:31;::::1;;;::::0;5225:6;;5201:31;5189:1;5201:31;5225:6;5209:5;5201:31;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;5248:20:0::1;::::0;714:25:1;;;5248:20:0::1;::::0;702:2:1;687:18;5248:20:0::1;568:177:1::0;2405:372:0;1491:10;1484:18;;;;:6;:18;;;;;;;;;:41;;-1:-1:-1;1520:5:0;;-1:-1:-1;;;;;1520:5:0;1506:10;:19;1484:41;1476:64;;;;-1:-1:-1;;;1476:64:0;;6108:2:1;1476:64:0;;;6090:21:1;6147:2;6127:18;;;6120:30;-1:-1:-1;;;6166:18:1;;;6159:40;6216:18;;1476:64:0;5906:334:1;1476:64:0;2509:7:::1;:14:::0;;;;::::1;::::0;;2482:24:::1;2509:14:::0;;;;::::1;;::::0;::::1;::::0;2534:30:::1;2555:9:::0;2509:14;2534:30:::1;:::i;:::-;-1:-1:-1::0;2604:1:0::1;2575:26;::::0;;::::1;:30:::0;;;2616:18:::1;::::0;::::1;:22:::0;;;2649:17:::1;::::0;::::1;:21:::0;;;;2681:18:::1;::::0;::::1;:26:::0;;-1:-1:-1;;2681:26:0::1;::::0;;2739:14;;2725:44:::1;::::0;2739:18:::1;::::0;::::1;:::i;:::-;2759:9;2725:44;;;;;;;:::i;:::-;;;;;;;;2471:306;2405:372:::0;:::o;3726:396::-;1491:10;1484:18;;;;:6;:18;;;;;;;;;:41;;-1:-1:-1;1520:5:0;;-1:-1:-1;;;;;1520:5:0;1506:10;:19;1484:41;1476:64;;;;-1:-1:-1;;;1476:64:0;;6108:2:1;1476:64:0;;;6090:21:1;6147:2;6127:18;;;6120:30;-1:-1:-1;;;6166:18:1;;;6159:40;6216:18;;1476:64:0;5906:334:1;1476:64:0;3833:7:::1;:14:::0;3821:26;::::1;3813:56;;;;-1:-1:-1::0;;;3813:56:0::1;;;;;;;:::i;:::-;3889:7;3897:9;3889:18;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;:27:::1;:18;::::0;;::::1;;:27;::::0;::::1;;3888:28;3880:57;;;::::0;-1:-1:-1;;;3880:57:0;;10075:2:1;3880:57:0::1;::::0;::::1;10057:21:1::0;10114:2;10094:18;;;10087:30;-1:-1:-1;;;10133:18:1;;;10126:46;10189:18;;3880:57:0::1;9873:340:1::0;3880:57:0::1;3950:21;3974:7;3982:9;3974:18;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;4003:15:::1;3974:18;::::0;;::::1;;4003:15:::0;;::::1;:22:::0;;4036:25;::::1;;4003:22;4036:25;-1:-1:-1::0;;4036:25:0;;;;4021:4:::1;4036:25:::0;;;4079:35:::1;::::0;3974:18;;-1:-1:-1;4079:35:0::1;::::0;::::1;::::0;4094:9;;4053:8;;10386:25:1;;;10454:14;10447:22;10442:2;10427:18;;10420:50;10374:2;10359:18;;10218:258;4079:35:0::1;;;;;;;;3802:320;3726:396:::0;;:::o;6635:491::-;6729:14;6754:11;6776:12;6827:7;:14;;;;6815:9;:26;6807:56;;;;-1:-1:-1;;;6807:56:0;;;;;;;:::i;:::-;6874:21;6898:7;6906:9;6898:18;;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;6963:29:0;;;;:22;6898:18;;;;;6963:22;;;;:29;;;;;7025:17;;7057;;;;;7025;;-1:-1:-1;7057:17:0;;;;;-1:-1:-1;7057:17:0;7089:18;;;;;-1:-1:-1;;6635:491:0;;;;;:::o;1969:179::-;1396:5;;-1:-1:-1;;;;;1396:5:0;1382:10;:19;1374:42;;;;-1:-1:-1;;;1374:42:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2042:14:0;::::1;;::::0;;;:6:::1;:14;::::0;;;;;::::1;;2041:15;2033:41;;;::::0;-1:-1:-1;;;2033:41:0;;10683:2:1;2033:41:0::1;::::0;::::1;10665:21:1::0;10722:2;10702:18;;;10695:30;-1:-1:-1;;;10741:18:1;;;10734:43;10794:18;;2033:41:0::1;10481:337:1::0;2033:41:0::1;-1:-1:-1::0;;;;;2085:14:0;::::1;;::::0;;;:6:::1;:14;::::0;;;;;;;;:21;;-1:-1:-1;;2085:21:0::1;2102:4;2085:21;::::0;;2122:18;;3096:51:1;;;2122:18:0::1;::::0;3069::1;2122::0::1;2950:203:1::0;5284:598:0;1396:5;;-1:-1:-1;;;;;1396:5:0;1382:10;:19;1374:42;;;;-1:-1:-1;;;1374:42:0;;;;;;;:::i;:::-;5385:7:::1;:14:::0;5373:26;::::1;5365:56;;;;-1:-1:-1::0;;;5365:56:0::1;;;;;;;:::i;:::-;5432:21;5456:7;5464:9;5456:18;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;5493:15;::::0;::::1;::::0;5456:18;;-1:-1:-1;5493:15:0::1;;5485:40;;;::::0;-1:-1:-1;;;5485:40:0;;11025:2:1;5485:40:0::1;::::0;::::1;11007:21:1::0;11064:2;11044:18;;;11037:30;-1:-1:-1;;;11083:18:1;;;11076:42;11135:18;;5485:40:0::1;10823:336:1::0;5485:40:0::1;5565:14;::::0;::::1;::::0;5538:24:::1;::::0;5565:14:::1;::::0;::::1;;;:49;;5600:6;:14;;;5565:49;;;5582:6;:15;;;5565:49;5538:76;;5625:23;5677:16;5651:6;:23;;;:42;;;;:::i;:::-;5625:68;;5730:1;5712:15;:19;5704:50;;;::::0;-1:-1:-1;;;5704:50:0;;11366:2:1;5704:50:0::1;::::0;::::1;11348:21:1::0;11405:2;11385:18;;;11378:30;-1:-1:-1;;;11424:18:1;;;11417:48;11482:18;;5704:50:0::1;11164:342:1::0;5704:50:0::1;5775:5;::::0;5767:40:::1;::::0;-1:-1:-1;;;;;5775:5:0;;::::1;::::0;5767:40;::::1;;;::::0;5791:15;;5775:5:::1;5767:40:::0;5775:5;5767:40;5791:15;5775:5;5767:40;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;5823:51:0::1;::::0;;11685:25:1;;;11741:2;11726:18;;11719:34;;;5823:51:0::1;::::0;11658:18:1;5823:51:0::1;;;;;;;5354:528;;;5284:598:::0;:::o;4130:883::-;250:1;1611:7;;:19;1603:63;;;;-1:-1:-1;;;1603:63:0;;11966:2:1;1603:63:0;;;11948:21:1;12005:2;11985:18;;;11978:30;12044:33;12024:18;;;12017:61;12095:18;;1603:63:0;11764:355:1;1603:63:0;250:1;1677:7;:18;4223:7:::1;:14:::0;4211:26;::::1;4203:56;;;;-1:-1:-1::0;;;4203:56:0::1;;;;;;;:::i;:::-;4270:21;4294:7;4302:9;4294:18;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;4331:15;::::0;::::1;::::0;4294:18;;-1:-1:-1;4331:15:0::1;;4323:40;;;::::0;-1:-1:-1;;;4323:40:0;;11025:2:1;4323:40:0::1;::::0;::::1;11007:21:1::0;11064:2;11044:18;;;11037:30;-1:-1:-1;;;11083:18:1;;;11076:42;11135:18;;4323:40:0::1;10823:336:1::0;4323:40:0::1;4433:10;4374:33;4410:34:::0;;;:22:::1;::::0;::::1;:34;::::0;;;;4464:18:::1;::::0;::::1;::::0;::::1;::::0;::::1;;;4463:19;4455:47;;;::::0;-1:-1:-1;;;4455:47:0;;12326:2:1;4455:47:0::1;::::0;::::1;12308:21:1::0;12365:2;12345:18;;;12338:30;-1:-1:-1;;;12384:18:1;;;12377:45;12439:18;;4455:47:0::1;12124:339:1::0;4455:47:0::1;4521:17:::0;;4513:47:::1;;;::::0;-1:-1:-1;;;4513:47:0;;12670:2:1;4513:47:0::1;::::0;::::1;12652:21:1::0;12709:2;12689:18;;;12682:30;-1:-1:-1;;;12728:18:1;;;12721:43;12781:18;;4513:47:0::1;12468:337:1::0;4513:47:0::1;4600:14;::::0;::::1;::::0;::::1;4579:17:::0;::::1;::::0;4600:14:::1;4579:17:::0;;::::1;:35;;4600:14;::::0;;::::1;;4579:35;;;4571:68;;;::::0;-1:-1:-1;;;4571:68:0;;13012:2:1;4571:68:0::1;::::0;::::1;12994:21:1::0;13051:2;13031:18;;;13024:30;-1:-1:-1;;;13070:18:1;;;13063:50;13130:18;;4571:68:0::1;12810:344:1::0;4571:68:0::1;4679:14;::::0;::::1;::::0;4652:24:::1;::::0;4679:14:::1;::::0;::::1;;;:49;;4714:6;:14;;;4679:49;;;4696:6;:15;;;4679:49;4759:23;::::0;::::1;::::0;4811:17;;4652:76;;-1:-1:-1;4759:23:0;4739:17:::1;::::0;4652:76;;4811:29:::1;::::0;4759:23;;4811:29:::1;:::i;:::-;4810:50;;;;:::i;:::-;4894:4;4873:18:::0;::::1;:25:::0;;-1:-1:-1;;4873:25:0::1;;;::::0;;4909:36:::1;::::0;4793:67;;-1:-1:-1;4917:10:0::1;::::0;4909:36;::::1;;;::::0;4793:67;;4873:25;4909:36;4873:25;4909:36;4793:67;4917:10;4909:36;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;4961:44:0::1;::::0;;13756:25:1;;;4986:10:0::1;13812:2:1::0;13797:18;;13790:60;13866:18;;;13859:34;;;4961:44:0::1;::::0;13744:2:1;13729:18;4961:44:0::1;;;;;;;-1:-1:-1::0;;206:1:0;1718:7;:22;-1:-1:-1;;;;4130:883:0:o;2785:933::-;2890:7;:14;2878:26;;2870:56;;;;-1:-1:-1;;;2870:56:0;;;;;;;:::i;:::-;2946:7;2954:9;2946:18;;;;;;;;:::i;:::-;;;;;;;;;:27;:18;;;;;:27;;;;2945:28;2937:56;;;;-1:-1:-1;;;2937:56:0;;14106:2:1;2937:56:0;;;14088:21:1;14145:2;14125:18;;;14118:30;-1:-1:-1;;;14164:18:1;;;14157:45;14219:18;;2937:56:0;13904:339:1;2937:56:0;3024:1;3012:9;:13;3004:44;;;;-1:-1:-1;;;3004:44:0;;14450:2:1;3004:44:0;;;14432:21:1;14489:2;14469:18;;;14462:30;-1:-1:-1;;;14508:18:1;;;14501:48;14566:18;;3004:44:0;14248:342:1;3004:44:0;3061:11;3103:5;3088:11;;3076:9;:23;;;;:::i;:::-;3075:33;;;;:::i;:::-;3061:47;-1:-1:-1;3119:24:0;3146:15;3061:47;3146:9;:15;:::i;:::-;3119:42;;3193:3;3174:15;;:22;;;;;;;:::i;:::-;;;;;;;;3209:21;3233:7;3241:9;3233:18;;;;;;;;:::i;:::-;;;;;;;;;3321:10;3298:34;;:22;3233:18;;;;;3298:22;;;:34;;;;;3343:37;;3233:18;;-1:-1:-1;3298:34:0;3364:16;;3298:34;;3233:18;3343:37;;3364:16;;3343:37;:::i;:::-;;;;-1:-1:-1;;3391:17:0;;;;:27;;-1:-1:-1;;3391:27:0;;;;;;;3429:23;;:43;;3456:16;;3429:23;-1:-1:-1;;3429:43:0;;3456:16;;3429:43;:::i;:::-;;;;-1:-1:-1;;3485:142:0;;;;3532:16;3513:6;:15;;;:35;;;;;;;:::i;:::-;;;;-1:-1:-1;3485:142:0;;-1:-1:-1;3485:142:0;;3599:16;3581:6;:14;;;:34;;;;;;;:::i;:::-;;;;-1:-1:-1;;3485:142:0;3644:66;;;14950:25:1;;;3672:10:0;15006:2:1;14991:18;;14984:60;15087:14;;15080:22;15060:18;;;15053:50;15134:2;15119:18;;15112:34;;;3644:66:0;;;;;;;14937:3:1;3644:66:0;;;2859:859;;;;2785:933;;:::o;650:23::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;650:23:0;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;650:23:0;;;;;;;;;;:::o;6048:579::-;6119:22;6152:24;6187:16;6214:15;6240:13;6264:12;6315:7;:14;;;;6303:9;:26;6295:56;;;;-1:-1:-1;;;6295:56:0;;;;;;;:::i;:::-;6362:21;6386:7;6394:9;6386:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;6467:23;;;;6505:15;;;;6535:14;;;;6564:15;;;;6415:204;;6386:18;;-1:-1:-1;6386:18:0;;6564:15;;;;;;6594:14;;;;6386:18;;6415:204;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6048:579;;;;;;;:::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:173::-;267:20;;-1:-1:-1;;;;;316:31:1;;306:42;;296:70;;362:1;359;352:12;296:70;199:173;;;:::o;377:186::-;436:6;489:2;477:9;468:7;464:23;460:32;457:52;;;505:1;502;495:12;457:52;528:29;547:9;528:29;:::i;:::-;518:39;377:186;-1:-1:-1;;;377:186:1:o;942:127::-;1003:10;998:3;994:20;991:1;984:31;1034:4;1031:1;1024:15;1058:4;1055:1;1048:15;1074:922;1143:6;1196:2;1184:9;1175:7;1171:23;1167:32;1164:52;;;1212:1;1209;1202:12;1164:52;1252:9;1239:23;1281:18;1322:2;1314:6;1311:14;1308:34;;;1338:1;1335;1328:12;1308:34;1376:6;1365:9;1361:22;1351:32;;1421:7;1414:4;1410:2;1406:13;1402:27;1392:55;;1443:1;1440;1433:12;1392:55;1479:2;1466:16;1501:2;1497;1494:10;1491:36;;;1507:18;;:::i;:::-;1582:2;1576:9;1550:2;1636:13;;-1:-1:-1;;1632:22:1;;;1656:2;1628:31;1624:40;1612:53;;;1680:18;;;1700:22;;;1677:46;1674:72;;;1726:18;;:::i;:::-;1766:10;1762:2;1755:22;1801:2;1793:6;1786:18;1841:7;1836:2;1831;1827;1823:11;1819:20;1816:33;1813:53;;;1862:1;1859;1852:12;1813:53;1918:2;1913;1909;1905:11;1900:2;1892:6;1888:15;1875:46;1963:1;1941:15;;;1958:2;1937:24;1930:35;;;;-1:-1:-1;1945:6:1;1074:922;-1:-1:-1;;;;;1074:922:1:o;2001:341::-;2066:6;2074;2127:2;2115:9;2106:7;2102:23;2098:32;2095:52;;;2143:1;2140;2133:12;2095:52;2179:9;2166:23;2156:33;;2239:2;2228:9;2224:18;2211:32;2286:5;2279:13;2272:21;2265:5;2262:32;2252:60;;2308:1;2305;2298:12;2252:60;2331:5;2321:15;;;2001:341;;;;;:::o;2347:254::-;2415:6;2423;2476:2;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2528:9;2515:23;2505:33;;2557:38;2591:2;2580:9;2576:18;2557:38;:::i;:::-;2547:48;;2347:254;;;;;:::o;3158:423::-;3200:3;3238:5;3232:12;3265:6;3260:3;3253:19;3290:1;3300:162;3314:6;3311:1;3308:13;3300:162;;;3376:4;3432:13;;;3428:22;;3422:29;3404:11;;;3400:20;;3393:59;3329:12;3300:162;;;3304:3;3507:1;3500:4;3491:6;3486:3;3482:16;3478:27;3471:38;3570:4;3563:2;3559:7;3554:2;3546:6;3542:15;3538:29;3533:3;3529:39;3525:50;3518:57;;;3158:423;;;;:::o;3586:599::-;3863:3;3852:9;3845:22;3826:4;3884:46;3925:3;3914:9;3910:19;3902:6;3884:46;:::i;:::-;3961:2;3946:18;;3939:34;;;;-1:-1:-1;4004:2:1;3989:18;;3982:34;;;;4047:2;4032:18;;4025:34;;;;4103:14;4096:22;4090:3;4075:19;;4068:51;4163:14;4156:22;4150:3;4135:19;;;4128:51;3876:54;3586:599;-1:-1:-1;3586:599:1:o;4190:334::-;4392:2;4374:21;;;4431:2;4411:18;;;4404:30;-1:-1:-1;;;4465:2:1;4450:18;;4443:40;4515:2;4500:18;;4190:334::o;6245:380::-;6324:1;6320:12;;;;6367;;;6388:61;;6442:4;6434:6;6430:17;6420:27;;6388:61;6495:2;6487:6;6484:14;6464:18;6461:38;6458:161;;6541:10;6536:3;6532:20;6529:1;6522:31;6576:4;6573:1;6566:15;6604:4;6601:1;6594:15;6458:161;;6245:380;;;:::o;6756:545::-;6858:2;6853:3;6850:11;6847:448;;;6894:1;6919:5;6915:2;6908:17;6964:4;6960:2;6950:19;7034:2;7022:10;7018:19;7015:1;7011:27;7005:4;7001:38;7070:4;7058:10;7055:20;7052:47;;;-1:-1:-1;7093:4:1;7052:47;7148:2;7143:3;7139:12;7136:1;7132:20;7126:4;7122:31;7112:41;;7203:82;7221:2;7214:5;7211:13;7203:82;;;7266:17;;;7247:1;7236:13;7203:82;;;7207:3;;;6847:448;6756:545;;;:::o;7477:1352::-;7603:3;7597:10;7630:18;7622:6;7619:30;7616:56;;;7652:18;;:::i;:::-;7681:97;7771:6;7731:38;7763:4;7757:11;7731:38;:::i;:::-;7725:4;7681:97;:::i;:::-;7833:4;;7897:2;7886:14;;7914:1;7909:663;;;;8616:1;8633:6;8630:89;;;-1:-1:-1;8685:19:1;;;8679:26;8630:89;-1:-1:-1;;7434:1:1;7430:11;;;7426:24;7422:29;7412:40;7458:1;7454:11;;;7409:57;8732:81;;7879:944;;7909:663;6703:1;6696:14;;;6740:4;6727:18;;-1:-1:-1;;7945:20:1;;;8063:236;8077:7;8074:1;8071:14;8063:236;;;8166:19;;;8160:26;8145:42;;8258:27;;;;8226:1;8214:14;;;;8093:19;;8063:236;;;8067:3;8327:6;8318:7;8315:19;8312:201;;;8388:19;;;8382:26;-1:-1:-1;;8471:1:1;8467:14;;;8483:3;8463:24;8459:37;8455:42;8440:58;8425:74;;8312:201;-1:-1:-1;;;;;8559:1:1;8543:14;;;8539:22;8526:36;;-1:-1:-1;7477:1352:1:o;8834:127::-;8895:10;8890:3;8886:20;8883:1;8876:31;8926:4;8923:1;8916:15;8950:4;8947:1;8940:15;8966:128;9033:9;;;9054:11;;;9051:37;;;9068:18;;:::i;:::-;8966:128;;;;:::o;9099:291::-;9276:6;9265:9;9258:25;9319:2;9314;9303:9;9299:18;9292:30;9239:4;9339:45;9380:2;9369:9;9365:18;9357:6;9339:45;:::i;:::-;9331:53;9099:291;-1:-1:-1;;;;9099:291:1:o;9395:341::-;9597:2;9579:21;;;9636:2;9616:18;;;9609:30;-1:-1:-1;;;9670:2:1;9655:18;;9648:47;9727:2;9712:18;;9395:341::o;9741:127::-;9802:10;9797:3;9793:20;9790:1;9783:31;9833:4;9830:1;9823:15;9857:4;9854:1;9847:15;13159:168;13232:9;;;13263;;13280:15;;;13274:22;;13260:37;13250:71;;13301:18;;:::i;13332:217::-;13372:1;13398;13388:132;;13442:10;13437:3;13433:20;13430:1;13423:31;13477:4;13474:1;13467:15;13505:4;13502:1;13495:15;13388:132;-1:-1:-1;13534:9:1;;13332:217::o;14595:125::-;14660:9;;;14681:10;;;14678:36;;;14694:18;;:::i

ipfs://4cc876fd8ae140ca6044eeb7145f67e9c5a7e60d4f9b457f0bce0e24a984a439