Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IMPOO
•    - function transfer(address recipient, ...
•    - function decimals()
•    - function balanceOf(address account)
• interface IGoldenBanana
•    - function transferFrom(address from, a ...
•    - function ownerOf(uint256 tokenId)
•  contract PooBananas *
•    - function withdrawAllETH()
•    - function withdrawAllMPOO()
•    - function deposit()
•    - function addNFTs(uint256[] calldata _ ...
•    - function updateNFTTokenId(uint256 _ne ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at apescan.io on 2025-01-12
*/

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

// Interfaces for the $MPOO token and Golden Banana NFT
interface IMPOO {
    function transfer(address recipient, uint256 amount) external returns (bool);
    function decimals() external view returns (uint8); // Add decimals() function to get decimals
    function balanceOf(address account) external view returns (uint256); // Add balanceOf to check the contract's balance
}
interface IGoldenBanana {
    function transferFrom(address from, address to, uint256 tokenId) external;
    function ownerOf(uint256 tokenId) external view returns (address);
}

contract PooBananas {
    address public owner = 0x4D09C5DfD949470c684E6D537E24C399c075AD40;  // Owner address
    IMPOO public mpooToken = IMPOO(0xAf9DB8640FAFC11c5eF50497b76bD3Fe11541003);  // $MPOO token contract address
    IGoldenBanana public goldenBananaNFT = IGoldenBanana(0x825F5E41FfCbe875D19F51895c814F088Bd45169);  // Golden Banana NFT contract address
    
    uint256[] public nftTokenIds;  // Array to store the token IDs of Golden Banana NFTs
    uint256 public nftCount;  // Total number of NFTs held by the contract

    event Winner(address indexed user, uint256 amountReceived, uint256 nftReceived);
    
    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    constructor() {}

    // Receive ETH and automatically handle the lottery logic
    receive() external payable {
        uint256 participantETH = msg.value;

        // Transfer 90% of the funds to the owner
        uint256 amountToOwner = (participantETH * 90) / 100;
        payable(owner).transfer(amountToOwner);

        uint256 chance = uint256(keccak256(abi.encodePacked(block.difficulty, block.timestamp, msg.sender))) % 100;

        // Get the decimals of $MPOO token (usually 18 decimals for most tokens)
        uint8 mpooDecimals = mpooToken.decimals();
        uint256 mpooAmount = 5000 * (10 ** uint256(mpooDecimals));  // Adjust for decimals

        if (chance < 90) {
            // 90% chance to receive $MPOO
            require(mpooToken.transfer(msg.sender, mpooAmount), "Failed to transfer $MPOO");
            emit Winner(msg.sender, mpooAmount, 0);
        } else {
            // 10% chance to receive Golden Banana NFT
            require(nftCount > 0, "No NFTs available in contract");

            // Randomly select an NFT
            uint256 randomIndex = uint256(keccak256(abi.encodePacked(block.difficulty, block.timestamp, msg.sender))) % nftCount;
            uint256 nftTokenId = nftTokenIds[randomIndex];

            // Transfer the randomly selected NFT to the winner
            goldenBananaNFT.transferFrom(owner, msg.sender, nftTokenId);
            
            // Remove the NFT from the array (optional, to prevent re-usage)
            nftTokenIds[randomIndex] = nftTokenIds[nftCount - 1];
            nftTokenIds.pop();
            nftCount--;

            emit Winner(msg.sender, 0, nftTokenId);
        }
    }

    // Withdraw all ETH for the owner
    function withdrawAllETH() external onlyOwner {
        uint256 contractBalance = address(this).balance;
        require(contractBalance > 0, "No ETH to withdraw");
        payable(owner).transfer(contractBalance);
    }

    // Withdraw all $MPOO tokens for the owner
    function withdrawAllMPOO() external onlyOwner {
        uint256 contractBalance = mpooToken.balanceOf(address(this));
        require(contractBalance > 0, "No $MPOO to withdraw");
        require(mpooToken.transfer(owner, contractBalance), "Failed to transfer $MPOO");
    }

    // Deposit funds into the contract by the owner
    function deposit() external payable onlyOwner {}

    // Add NFTs to the contract's collection (only callable by the owner)
    function addNFTs(uint256[] calldata _nftTokenIds) external onlyOwner {
        for (uint256 i = 0; i < _nftTokenIds.length; i++) {
            nftTokenIds.push(_nftTokenIds[i]);
        }
        nftCount += _nftTokenIds.length;
    }

    // Update the NFT token ID to be sent out (optional)
    function updateNFTTokenId(uint256 _newTokenId) external onlyOwner {
        nftTokenIds.push(_newTokenId);
        nftCount++;
    }

    // Fallback function to accept ETH (if send() is used instead of receive())
    fallback() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountReceived","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"nftReceived","type":"uint256"}],"name":"Winner","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"uint256[]","name":"_nftTokenIds","type":"uint256[]"}],"name":"addNFTs","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"goldenBananaNFT","outputs":[{"internalType":"contract IGoldenBanana","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mpooToken","outputs":[{"internalType":"contract IMPOO","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nftCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"nftTokenIds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newTokenId","type":"uint256"}],"name":"updateNFTTokenId","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawAllETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawAllMPOO","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052734d09c5dfd949470c684e6d537e24c399c075ad406000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073af9db8640fafc11c5ef50497b76bd3fe11541003600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073825f5e41ffcbe875d19f51895c814f088bd45169600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801561010e57600080fd5b5061190d8061011e6000396000f3fe6080604052600436106100955760003560e01c80638da5cb5b116100595780638da5cb5b1461073457806390386bbf1461075f578063d0e30db014610776578063ee227daa14610780578063f2ed34e5146107ab5761064d565b80630af2c6ca1461064f5780631a4f0e571461067a57806322d544a3146106a3578063234ec2d0146106e0578063328149d5146107095761064d565b3661064d57600034905060006064605a836100b0919061160b565b6100ba9190611469565b905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610122573d6000803e3d6000fd5b506000606444423360405160200161013c93929190611207565b6040516020818303038152906040528051906020012060001c61015f91906117e9565b90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b1580156101cb57600080fd5b505afa1580156101df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102039190611025565b905060008160ff16600a61021791906114ed565b611388610224919061160b565b9050605a83101561037357600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161028c929190611296565b602060405180830381600087803b1580156102a657600080fd5b505af11580156102ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102de9190610faa565b61031d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103149061133e565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f83180aa4ac63459a0857ee4be800e29aa03c2426bdb949e15826b88ef0c668a28260006040516103669291906113d9565b60405180910390a2610646565b6000600454116103b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103af9061131e565b60405180910390fd5b60006004544442336040516020016103d293929190611207565b6040516020818303038152906040528051906020012060001c6103f591906117e9565b9050600060038281548110610433577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1633846040518463ffffffff1660e01b81526004016104bf9392919061125f565b600060405180830381600087803b1580156104d957600080fd5b505af11580156104ed573d6000803e3d6000fd5b50505050600360016004546105029190611665565b81548110610539577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001546003838154811061057e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555060038054806105c4577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b60019003818190600052602060002001600090559055600460008154809291906105ed90611748565b91905055503373ffffffffffffffffffffffffffffffffffffffff167f83180aa4ac63459a0857ee4be800e29aa03c2426bdb949e15826b88ef0c668a260008360405161063b9291906112f5565b60405180910390a250505b5050505050005b005b34801561065b57600080fd5b506106646107c2565b60405161067191906113be565b60405180910390f35b34801561068657600080fd5b506106a1600480360381019061069c9190610f65565b6107c8565b005b3480156106af57600080fd5b506106ca60048036038101906106c59190610fd3565b610900565b6040516106d791906113be565b60405180910390f35b3480156106ec57600080fd5b5061070760048036038101906107029190610fd3565b610924565b005b34801561071557600080fd5b5061071e6109f6565b60405161072b91906112bf565b60405180910390f35b34801561074057600080fd5b50610749610a1c565b6040516107569190611244565b60405180910390f35b34801561076b57600080fd5b50610774610a40565b005b61077e610b80565b005b34801561078c57600080fd5b50610795610c10565b6040516107a291906112da565b60405180910390f35b3480156107b757600080fd5b506107c0610c36565b005b60045481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610856576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084d9061139e565b60405180910390fd5b60005b828290508110156108df57600383838381811061089f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90506020020135908060018154018082558091505060019003906000526020600020016000909190919091505580806108d790611772565b915050610859565b5081819050600460008282546108f59190611413565b925050819055505050565b6003818154811061091057600080fd5b906000526020600020016000915090505481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a99061139e565b60405180910390fd5b6003819080600181540180825580915050600190039060005260206000200160009091909190915055600460008154809291906109ee90611772565b919050555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ace576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac59061139e565b60405180910390fd5b600047905060008111610b16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0d9061137e565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610b7c573d6000803e3d6000fd5b5050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c059061139e565b60405180910390fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610cc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cbb9061139e565b60405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d219190611244565b60206040518083038186803b158015610d3957600080fd5b505afa158015610d4d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d719190610ffc565b905060008111610db6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dad9061135e565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610e33929190611296565b602060405180830381600087803b158015610e4d57600080fd5b505af1158015610e61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e859190610faa565b610ec4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebb9061133e565b60405180910390fd5b50565b60008083601f840112610ed957600080fd5b8235905067ffffffffffffffff811115610ef257600080fd5b602083019150836020820283011115610f0a57600080fd5b9250929050565b600081519050610f2081611892565b92915050565b600081359050610f35816118a9565b92915050565b600081519050610f4a816118a9565b92915050565b600081519050610f5f816118c0565b92915050565b60008060208385031215610f7857600080fd5b600083013567ffffffffffffffff811115610f9257600080fd5b610f9e85828601610ec7565b92509250509250929050565b600060208284031215610fbc57600080fd5b6000610fca84828501610f11565b91505092915050565b600060208284031215610fe557600080fd5b6000610ff384828501610f26565b91505092915050565b60006020828403121561100e57600080fd5b600061101c84828501610f3b565b91505092915050565b60006020828403121561103757600080fd5b600061104584828501610f50565b91505092915050565b61105781611699565b82525050565b61106e61106982611699565b6117bb565b82525050565b61107d816116ee565b82525050565b61108c81611712565b82525050565b61109b81611736565b82525050565b60006110ae601d83611402565b91507f4e6f204e46547320617661696c61626c6520696e20636f6e74726163740000006000830152602082019050919050565b60006110ee601883611402565b91507f4661696c656420746f207472616e7366657220244d504f4f00000000000000006000830152602082019050919050565b600061112e601483611402565b91507f4e6f20244d504f4f20746f2077697468647261770000000000000000000000006000830152602082019050919050565b600061116e601283611402565b91507f4e6f2045544820746f20776974686472617700000000000000000000000000006000830152602082019050919050565b60006111ae600983611402565b91507f4e6f74206f776e657200000000000000000000000000000000000000000000006000830152602082019050919050565b6111ea816116d7565b82525050565b6112016111fc826116d7565b6117df565b82525050565b600061121382866111f0565b60208201915061122382856111f0565b602082019150611233828461105d565b601482019150819050949350505050565b6000602082019050611259600083018461104e565b92915050565b6000606082019050611274600083018661104e565b611281602083018561104e565b61128e60408301846111e1565b949350505050565b60006040820190506112ab600083018561104e565b6112b860208301846111e1565b9392505050565b60006020820190506112d46000830184611074565b92915050565b60006020820190506112ef6000830184611083565b92915050565b600060408201905061130a6000830185611092565b61131760208301846111e1565b9392505050565b60006020820190508181036000830152611337816110a1565b9050919050565b60006020820190508181036000830152611357816110e1565b9050919050565b6000602082019050818103600083015261137781611121565b9050919050565b6000602082019050818103600083015261139781611161565b9050919050565b600060208201905081810360008301526113b7816111a1565b9050919050565b60006020820190506113d360008301846111e1565b92915050565b60006040820190506113ee60008301856111e1565b6113fb6020830184611092565b9392505050565b600082825260208201905092915050565b600061141e826116d7565b9150611429836116d7565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561145e5761145d61181a565b5b828201905092915050565b6000611474826116d7565b915061147f836116d7565b92508261148f5761148e611849565b5b828204905092915050565b6000808291508390505b60018511156114e4578086048111156114c0576114bf61181a565b5b60018516156114cf5780820291505b80810290506114dd85611885565b94506114a4565b94509492505050565b60006114f8826116d7565b9150611503836116d7565b92506115307fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611538565b905092915050565b6000826115485760019050611604565b816115565760009050611604565b816001811461156c5760028114611576576115a5565b6001915050611604565b60ff8411156115885761158761181a565b5b8360020a91508482111561159f5761159e61181a565b5b50611604565b5060208310610133831016604e8410600b84101617156115da5782820a9050838111156115d5576115d461181a565b5b611604565b6115e7848484600161149a565b925090508184048111156115fe576115fd61181a565b5b81810290505b9392505050565b6000611616826116d7565b9150611621836116d7565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561165a5761165961181a565b5b828202905092915050565b6000611670826116d7565b915061167b836116d7565b92508282101561168e5761168d61181a565b5b828203905092915050565b60006116a4826116b7565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60006116f982611700565b9050919050565b600061170b826116b7565b9050919050565b600061171d82611724565b9050919050565b600061172f826116b7565b9050919050565b6000611741826116d7565b9050919050565b6000611753826116d7565b915060008214156117675761176661181a565b5b600182039050919050565b600061177d826116d7565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156117b0576117af61181a565b5b600182019050919050565b60006117c6826117cd565b9050919050565b60006117d882611878565b9050919050565b6000819050919050565b60006117f4826116d7565b91506117ff836116d7565b92508261180f5761180e611849565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008160601b9050919050565b60008160011c9050919050565b61189b816116ab565b81146118a657600080fd5b50565b6118b2816116d7565b81146118bd57600080fd5b50565b6118c9816116e1565b81146118d457600080fd5b5056fea26469706673582212205bc3f5faed38d8d86c42da884a89fd4bd2057908c4c5d65cba058c1fd2b7b03364736f6c63430008000033

0x6080604052600436106100955760003560e01c80638da5cb5b116100595780638da5cb5b1461073457806390386bbf1461075f578063d0e30db014610776578063ee227daa14610780578063f2ed34e5146107ab5761064d565b80630af2c6ca1461064f5780631a4f0e571461067a57806322d544a3146106a3578063234ec2d0146106e0578063328149d5146107095761064d565b3661064d57600034905060006064605a836100b0919061160b565b6100ba9190611469565b905060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610122573d6000803e3d6000fd5b506000606444423360405160200161013c93929190611207565b6040516020818303038152906040528051906020012060001c61015f91906117e9565b90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b1580156101cb57600080fd5b505afa1580156101df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102039190611025565b905060008160ff16600a61021791906114ed565b611388610224919061160b565b9050605a83101561037357600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b815260040161028c929190611296565b602060405180830381600087803b1580156102a657600080fd5b505af11580156102ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102de9190610faa565b61031d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103149061133e565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f83180aa4ac63459a0857ee4be800e29aa03c2426bdb949e15826b88ef0c668a28260006040516103669291906113d9565b60405180910390a2610646565b6000600454116103b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103af9061131e565b60405180910390fd5b60006004544442336040516020016103d293929190611207565b6040516020818303038152906040528051906020012060001c6103f591906117e9565b9050600060038281548110610433577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1633846040518463ffffffff1660e01b81526004016104bf9392919061125f565b600060405180830381600087803b1580156104d957600080fd5b505af11580156104ed573d6000803e3d6000fd5b50505050600360016004546105029190611665565b81548110610539577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001546003838154811061057e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555060038054806105c4577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b60019003818190600052602060002001600090559055600460008154809291906105ed90611748565b91905055503373ffffffffffffffffffffffffffffffffffffffff167f83180aa4ac63459a0857ee4be800e29aa03c2426bdb949e15826b88ef0c668a260008360405161063b9291906112f5565b60405180910390a250505b5050505050005b005b34801561065b57600080fd5b506106646107c2565b60405161067191906113be565b60405180910390f35b34801561068657600080fd5b506106a1600480360381019061069c9190610f65565b6107c8565b005b3480156106af57600080fd5b506106ca60048036038101906106c59190610fd3565b610900565b6040516106d791906113be565b60405180910390f35b3480156106ec57600080fd5b5061070760048036038101906107029190610fd3565b610924565b005b34801561071557600080fd5b5061071e6109f6565b60405161072b91906112bf565b60405180910390f35b34801561074057600080fd5b50610749610a1c565b6040516107569190611244565b60405180910390f35b34801561076b57600080fd5b50610774610a40565b005b61077e610b80565b005b34801561078c57600080fd5b50610795610c10565b6040516107a291906112da565b60405180910390f35b3480156107b757600080fd5b506107c0610c36565b005b60045481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610856576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084d9061139e565b60405180910390fd5b60005b828290508110156108df57600383838381811061089f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90506020020135908060018154018082558091505060019003906000526020600020016000909190919091505580806108d790611772565b915050610859565b5081819050600460008282546108f59190611413565b925050819055505050565b6003818154811061091057600080fd5b906000526020600020016000915090505481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a99061139e565b60405180910390fd5b6003819080600181540180825580915050600190039060005260206000200160009091909190915055600460008154809291906109ee90611772565b919050555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ace576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac59061139e565b60405180910390fd5b600047905060008111610b16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0d9061137e565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610b7c573d6000803e3d6000fd5b5050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c059061139e565b60405180910390fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610cc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cbb9061139e565b60405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d219190611244565b60206040518083038186803b158015610d3957600080fd5b505afa158015610d4d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d719190610ffc565b905060008111610db6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dad9061135e565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610e33929190611296565b602060405180830381600087803b158015610e4d57600080fd5b505af1158015610e61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e859190610faa565b610ec4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebb9061133e565b60405180910390fd5b50565b60008083601f840112610ed957600080fd5b8235905067ffffffffffffffff811115610ef257600080fd5b602083019150836020820283011115610f0a57600080fd5b9250929050565b600081519050610f2081611892565b92915050565b600081359050610f35816118a9565b92915050565b600081519050610f4a816118a9565b92915050565b600081519050610f5f816118c0565b92915050565b60008060208385031215610f7857600080fd5b600083013567ffffffffffffffff811115610f9257600080fd5b610f9e85828601610ec7565b92509250509250929050565b600060208284031215610fbc57600080fd5b6000610fca84828501610f11565b91505092915050565b600060208284031215610fe557600080fd5b6000610ff384828501610f26565b91505092915050565b60006020828403121561100e57600080fd5b600061101c84828501610f3b565b91505092915050565b60006020828403121561103757600080fd5b600061104584828501610f50565b91505092915050565b61105781611699565b82525050565b61106e61106982611699565b6117bb565b82525050565b61107d816116ee565b82525050565b61108c81611712565b82525050565b61109b81611736565b82525050565b60006110ae601d83611402565b91507f4e6f204e46547320617661696c61626c6520696e20636f6e74726163740000006000830152602082019050919050565b60006110ee601883611402565b91507f4661696c656420746f207472616e7366657220244d504f4f00000000000000006000830152602082019050919050565b600061112e601483611402565b91507f4e6f20244d504f4f20746f2077697468647261770000000000000000000000006000830152602082019050919050565b600061116e601283611402565b91507f4e6f2045544820746f20776974686472617700000000000000000000000000006000830152602082019050919050565b60006111ae600983611402565b91507f4e6f74206f776e657200000000000000000000000000000000000000000000006000830152602082019050919050565b6111ea816116d7565b82525050565b6112016111fc826116d7565b6117df565b82525050565b600061121382866111f0565b60208201915061122382856111f0565b602082019150611233828461105d565b601482019150819050949350505050565b6000602082019050611259600083018461104e565b92915050565b6000606082019050611274600083018661104e565b611281602083018561104e565b61128e60408301846111e1565b949350505050565b60006040820190506112ab600083018561104e565b6112b860208301846111e1565b9392505050565b60006020820190506112d46000830184611074565b92915050565b60006020820190506112ef6000830184611083565b92915050565b600060408201905061130a6000830185611092565b61131760208301846111e1565b9392505050565b60006020820190508181036000830152611337816110a1565b9050919050565b60006020820190508181036000830152611357816110e1565b9050919050565b6000602082019050818103600083015261137781611121565b9050919050565b6000602082019050818103600083015261139781611161565b9050919050565b600060208201905081810360008301526113b7816111a1565b9050919050565b60006020820190506113d360008301846111e1565b92915050565b60006040820190506113ee60008301856111e1565b6113fb6020830184611092565b9392505050565b600082825260208201905092915050565b600061141e826116d7565b9150611429836116d7565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561145e5761145d61181a565b5b828201905092915050565b6000611474826116d7565b915061147f836116d7565b92508261148f5761148e611849565b5b828204905092915050565b6000808291508390505b60018511156114e4578086048111156114c0576114bf61181a565b5b60018516156114cf5780820291505b80810290506114dd85611885565b94506114a4565b94509492505050565b60006114f8826116d7565b9150611503836116d7565b92506115307fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611538565b905092915050565b6000826115485760019050611604565b816115565760009050611604565b816001811461156c5760028114611576576115a5565b6001915050611604565b60ff8411156115885761158761181a565b5b8360020a91508482111561159f5761159e61181a565b5b50611604565b5060208310610133831016604e8410600b84101617156115da5782820a9050838111156115d5576115d461181a565b5b611604565b6115e7848484600161149a565b925090508184048111156115fe576115fd61181a565b5b81810290505b9392505050565b6000611616826116d7565b9150611621836116d7565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561165a5761165961181a565b5b828202905092915050565b6000611670826116d7565b915061167b836116d7565b92508282101561168e5761168d61181a565b5b828203905092915050565b60006116a4826116b7565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60006116f982611700565b9050919050565b600061170b826116b7565b9050919050565b600061171d82611724565b9050919050565b600061172f826116b7565b9050919050565b6000611741826116d7565b9050919050565b6000611753826116d7565b915060008214156117675761176661181a565b5b600182039050919050565b600061177d826116d7565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156117b0576117af61181a565b5b600182019050919050565b60006117c6826117cd565b9050919050565b60006117d882611878565b9050919050565b6000819050919050565b60006117f4826116d7565b91506117ff836116d7565b92508261180f5761180e611849565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008160601b9050919050565b60008160011c9050919050565b61189b816116ab565b81146118a657600080fd5b50565b6118b2816116d7565b81146118bd57600080fd5b50565b6118c9816116e1565b81146118d457600080fd5b5056fea26469706673582212205bc3f5faed38d8d86c42da884a89fd4bd2057908c4c5d65cba058c1fd2b7b03364736f6c63430008000033

628:3795:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1493:22;1518:9;1493:34;;1591:21;1639:3;1633:2;1616:14;:19;;;;:::i;:::-;1615:27;;;;:::i;:::-;1591:51;;1661:5;;;;;;;;;;1653:23;;:38;1677:13;1653:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1704:14;1807:3;1756:16;1774:15;1791:10;1739:63;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;1729:74;;;;;;1721:83;;:89;;;;:::i;:::-;1704:106;;1905:18;1926:9;;;;;;;;;;;:18;;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1905:41;;1957:18;2000:12;1992:21;;1986:2;:27;;;;:::i;:::-;1978:4;:36;;;;:::i;:::-;1957:57;;2064:2;2055:6;:11;2051:1007;;;2135:9;;;;;;;;;;;:18;;;2154:10;2166;2135:42;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2127:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;2233:10;2226:33;;;2245:10;2257:1;2226:33;;;;;;;:::i;:::-;;;;;;;;2051:1007;;;2367:1;2356:8;;:12;2348:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;2458:19;2566:8;;2515:16;2533:15;2550:10;2498:63;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;2488:74;;;;;;2480:83;;:94;;;;:::i;:::-;2458:116;;2589:18;2610:11;2622;2610:24;;;;;;;;;;;;;;;;;;;;;;;;2589:45;;2716:15;;;;;;;;;;;:28;;;2745:5;;;;;;;;;;2752:10;2764;2716:59;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2909:11;2932:1;2921:8;;:12;;;;:::i;:::-;2909:25;;;;;;;;;;;;;;;;;;;;;;;;2882:11;2894;2882:24;;;;;;;;;;;;;;;;;;;;;;;:52;;;;2949:11;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2981:8;;:10;;;;;;;;;:::i;:::-;;;;;;3020;3013:33;;;3032:1;3035:10;3013:33;;;;;;;:::i;:::-;;;;;;;;2051:1007;;;1455:1610;;;;;628:3795;;;1097:23;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3861:239;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1007:28;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4166:135;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;859:96;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;655:65;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3112:223;;;;;;;;;;;;;:::i;:::-;;3730:48;;;:::i;:::-;;745:74;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3391:278;;;;;;;;;;;;;:::i;:::-;;1097:23;;;;:::o;3861:239::-;1321:5;;;;;;;;;;1307:19;;:10;:19;;;1299:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3946:9:::1;3941:110;3965:12;;:19;;3961:1;:23;3941:110;;;4006:11;4023:12;;4036:1;4023:15;;;;;;;;;;;;;;;;;;;;;4006:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3986:3;;;;;:::i;:::-;;;;3941:110;;;;4073:12;;:19;;4061:8;;:31;;;;;;;:::i;:::-;;;;;;;;3861:239:::0;;:::o;1007:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4166:135::-;1321:5;;;;;;;;;;1307:19;;:10;:19;;;1299:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;4243:11:::1;4260;4243:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4283:8;;:10;;;;;;;;;:::i;:::-;;;;;;4166:135:::0;:::o;859:96::-;;;;;;;;;;;;;:::o;655:65::-;;;;;;;;;;;;:::o;3112:223::-;1321:5;;;;;;;;;;1307:19;;:10;:19;;;1299:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3168:23:::1;3194:21;3168:47;;3252:1;3234:15;:19;3226:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;3295:5;::::0;::::1;;;;;;;;3287:23;;:40;3311:15;3287:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;1351:1;3112:223::o:0;3730:48::-;1321:5;;;;;;;;;;1307:19;;:10;:19;;;1299:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3730:48::o;745:74::-;;;;;;;;;;;;;:::o;3391:278::-;1321:5;;;;;;;;;;1307:19;;:10;:19;;;1299:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3448:23:::1;3474:9;;;;;;;;;;;:19;;;3502:4;3474:34;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3448:60;;3545:1;3527:15;:19;3519:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;3590:9;;;;;;;;;;;:18;;;3609:5;::::0;::::1;;;;;;;;3616:15;3590:42;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3582:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;1351:1;3391:278::o:0;24:367:1:-;;;157:3;150:4;142:6;138:17;134:27;124:2;;175:1;172;165:12;124:2;211:6;198:20;188:30;;241:18;233:6;230:30;227:2;;;273:1;270;263:12;227:2;310:4;302:6;298:17;286:29;;364:3;356:4;348:6;344:17;334:8;330:32;327:41;324:2;;;381:1;378;371:12;324:2;114:277;;;;;:::o;397:137::-;;482:6;476:13;467:22;;498:30;522:5;498:30;:::i;:::-;457:77;;;;:::o;540:139::-;;624:6;611:20;602:29;;640:33;667:5;640:33;:::i;:::-;592:87;;;;:::o;685:143::-;;773:6;767:13;758:22;;789:33;816:5;789:33;:::i;:::-;748:80;;;;:::o;834:139::-;;920:6;914:13;905:22;;936:31;961:5;936:31;:::i;:::-;895:78;;;;:::o;979:425::-;;;1122:2;1110:9;1101:7;1097:23;1093:32;1090:2;;;1138:1;1135;1128:12;1090:2;1209:1;1198:9;1194:17;1181:31;1239:18;1231:6;1228:30;1225:2;;;1271:1;1268;1261:12;1225:2;1307:80;1379:7;1370:6;1359:9;1355:22;1307:80;:::i;:::-;1289:98;;;;1152:245;1080:324;;;;;:::o;1410:278::-;;1526:2;1514:9;1505:7;1501:23;1497:32;1494:2;;;1542:1;1539;1532:12;1494:2;1585:1;1610:61;1663:7;1654:6;1643:9;1639:22;1610:61;:::i;:::-;1600:71;;1556:125;1484:204;;;;:::o;1694:262::-;;1802:2;1790:9;1781:7;1777:23;1773:32;1770:2;;;1818:1;1815;1808:12;1770:2;1861:1;1886:53;1931:7;1922:6;1911:9;1907:22;1886:53;:::i;:::-;1876:63;;1832:117;1760:196;;;;:::o;1962:284::-;;2081:2;2069:9;2060:7;2056:23;2052:32;2049:2;;;2097:1;2094;2087:12;2049:2;2140:1;2165:64;2221:7;2212:6;2201:9;2197:22;2165:64;:::i;:::-;2155:74;;2111:128;2039:207;;;;:::o;2252:280::-;;2369:2;2357:9;2348:7;2344:23;2340:32;2337:2;;;2385:1;2382;2375:12;2337:2;2428:1;2453:62;2507:7;2498:6;2487:9;2483:22;2453:62;:::i;:::-;2443:72;;2399:126;2327:205;;;;:::o;2538:118::-;2625:24;2643:5;2625:24;:::i;:::-;2620:3;2613:37;2603:53;;:::o;2662:157::-;2767:45;2787:24;2805:5;2787:24;:::i;:::-;2767:45;:::i;:::-;2762:3;2755:58;2745:74;;:::o;2825:171::-;2932:57;2983:5;2932:57;:::i;:::-;2927:3;2920:70;2910:86;;:::o;3002:155::-;3101:49;3144:5;3101:49;:::i;:::-;3096:3;3089:62;3079:78;;:::o;3163:147::-;3258:45;3297:5;3258:45;:::i;:::-;3253:3;3246:58;3236:74;;:::o;3316:327::-;;3479:67;3543:2;3538:3;3479:67;:::i;:::-;3472:74;;3576:31;3572:1;3567:3;3563:11;3556:52;3634:2;3629:3;3625:12;3618:19;;3462:181;;;:::o;3649:322::-;;3812:67;3876:2;3871:3;3812:67;:::i;:::-;3805:74;;3909:26;3905:1;3900:3;3896:11;3889:47;3962:2;3957:3;3953:12;3946:19;;3795:176;;;:::o;3977:318::-;;4140:67;4204:2;4199:3;4140:67;:::i;:::-;4133:74;;4237:22;4233:1;4228:3;4224:11;4217:43;4286:2;4281:3;4277:12;4270:19;;4123:172;;;:::o;4301:316::-;;4464:67;4528:2;4523:3;4464:67;:::i;:::-;4457:74;;4561:20;4557:1;4552:3;4548:11;4541:41;4608:2;4603:3;4599:12;4592:19;;4447:170;;;:::o;4623:306::-;;4786:66;4850:1;4845:3;4786:66;:::i;:::-;4779:73;;4882:11;4878:1;4873:3;4869:11;4862:32;4920:2;4915:3;4911:12;4904:19;;4769:160;;;:::o;4935:118::-;5022:24;5040:5;5022:24;:::i;:::-;5017:3;5010:37;5000:53;;:::o;5059:157::-;5164:45;5184:24;5202:5;5184:24;:::i;:::-;5164:45;:::i;:::-;5159:3;5152:58;5142:74;;:::o;5222:538::-;;5405:75;5476:3;5467:6;5405:75;:::i;:::-;5505:2;5500:3;5496:12;5489:19;;5518:75;5589:3;5580:6;5518:75;:::i;:::-;5618:2;5613:3;5609:12;5602:19;;5631:75;5702:3;5693:6;5631:75;:::i;:::-;5731:2;5726:3;5722:12;5715:19;;5751:3;5744:10;;5394:366;;;;;;:::o;5766:222::-;;5897:2;5886:9;5882:18;5874:26;;5910:71;5978:1;5967:9;5963:17;5954:6;5910:71;:::i;:::-;5864:124;;;;:::o;5994:442::-;;6181:2;6170:9;6166:18;6158:26;;6194:71;6262:1;6251:9;6247:17;6238:6;6194:71;:::i;:::-;6275:72;6343:2;6332:9;6328:18;6319:6;6275:72;:::i;:::-;6357;6425:2;6414:9;6410:18;6401:6;6357:72;:::i;:::-;6148:288;;;;;;:::o;6442:332::-;;6601:2;6590:9;6586:18;6578:26;;6614:71;6682:1;6671:9;6667:17;6658:6;6614:71;:::i;:::-;6695:72;6763:2;6752:9;6748:18;6739:6;6695:72;:::i;:::-;6568:206;;;;;:::o;6780:262::-;;6931:2;6920:9;6916:18;6908:26;;6944:91;7032:1;7021:9;7017:17;7008:6;6944:91;:::i;:::-;6898:144;;;;:::o;7048:246::-;;7191:2;7180:9;7176:18;7168:26;;7204:83;7284:1;7273:9;7269:17;7260:6;7204:83;:::i;:::-;7158:136;;;;:::o;7300:348::-;;7467:2;7456:9;7452:18;7444:26;;7480:79;7556:1;7545:9;7541:17;7532:6;7480:79;:::i;:::-;7569:72;7637:2;7626:9;7622:18;7613:6;7569:72;:::i;:::-;7434:214;;;;;:::o;7654:419::-;;7858:2;7847:9;7843:18;7835:26;;7907:9;7901:4;7897:20;7893:1;7882:9;7878:17;7871:47;7935:131;8061:4;7935:131;:::i;:::-;7927:139;;7825:248;;;:::o;8079:419::-;;8283:2;8272:9;8268:18;8260:26;;8332:9;8326:4;8322:20;8318:1;8307:9;8303:17;8296:47;8360:131;8486:4;8360:131;:::i;:::-;8352:139;;8250:248;;;:::o;8504:419::-;;8708:2;8697:9;8693:18;8685:26;;8757:9;8751:4;8747:20;8743:1;8732:9;8728:17;8721:47;8785:131;8911:4;8785:131;:::i;:::-;8777:139;;8675:248;;;:::o;8929:419::-;;9133:2;9122:9;9118:18;9110:26;;9182:9;9176:4;9172:20;9168:1;9157:9;9153:17;9146:47;9210:131;9336:4;9210:131;:::i;:::-;9202:139;;9100:248;;;:::o;9354:419::-;;9558:2;9547:9;9543:18;9535:26;;9607:9;9601:4;9597:20;9593:1;9582:9;9578:17;9571:47;9635:131;9761:4;9635:131;:::i;:::-;9627:139;;9525:248;;;:::o;9779:222::-;;9910:2;9899:9;9895:18;9887:26;;9923:71;9991:1;9980:9;9976:17;9967:6;9923:71;:::i;:::-;9877:124;;;;:::o;10007:348::-;;10174:2;10163:9;10159:18;10151:26;;10187:71;10255:1;10244:9;10240:17;10231:6;10187:71;:::i;:::-;10268:80;10344:2;10333:9;10329:18;10320:6;10268:80;:::i;:::-;10141:214;;;;;:::o;10361:169::-;;10479:6;10474:3;10467:19;10519:4;10514:3;10510:14;10495:29;;10457:73;;;;:::o;10536:305::-;;10595:20;10613:1;10595:20;:::i;:::-;10590:25;;10629:20;10647:1;10629:20;:::i;:::-;10624:25;;10783:1;10715:66;10711:74;10708:1;10705:81;10702:2;;;10789:18;;:::i;:::-;10702:2;10833:1;10830;10826:9;10819:16;;10580:261;;;;:::o;10847:185::-;;10904:20;10922:1;10904:20;:::i;:::-;10899:25;;10938:20;10956:1;10938:20;:::i;:::-;10933:25;;10977:1;10967:2;;10982:18;;:::i;:::-;10967:2;11024:1;11021;11017:9;11012:14;;10889:143;;;;:::o;11038:848::-;;;11130:6;11121:15;;11154:5;11145:14;;11168:712;11189:1;11179:8;11176:15;11168:712;;;11284:4;11279:3;11275:14;11269:4;11266:24;11263:2;;;11293:18;;:::i;:::-;11263:2;11343:1;11333:8;11329:16;11326:2;;;11758:4;11751:5;11747:16;11738:25;;11326:2;11808:4;11802;11798:15;11790:23;;11838:32;11861:8;11838:32;:::i;:::-;11826:44;;11168:712;;;11111:775;;;;;;;:::o;11892:285::-;;11976:23;11994:4;11976:23;:::i;:::-;11968:31;;12020:27;12038:8;12020:27;:::i;:::-;12008:39;;12066:104;12103:66;12093:8;12087:4;12066:104;:::i;:::-;12057:113;;11958:219;;;;:::o;12183:1073::-;;12428:8;12418:2;;12449:1;12440:10;;12451:5;;12418:2;12477:4;12467:2;;12494:1;12485:10;;12496:5;;12467:2;12563:4;12611:1;12606:27;;;;12647:1;12642:191;;;;12556:277;;12606:27;12624:1;12615:10;;12626:5;;;12642:191;12687:3;12677:8;12674:17;12671:2;;;12694:18;;:::i;:::-;12671:2;12743:8;12740:1;12736:16;12727:25;;12778:3;12771:5;12768:14;12765:2;;;12785:18;;:::i;:::-;12765:2;12818:5;;;12556:277;;12942:2;12932:8;12929:16;12923:3;12917:4;12914:13;12910:36;12892:2;12882:8;12879:16;12874:2;12868:4;12865:12;12861:35;12845:111;12842:2;;;12998:8;12992:4;12988:19;12979:28;;13033:3;13026:5;13023:14;13020:2;;;13040:18;;:::i;:::-;13020:2;13073:5;;12842:2;13113:42;13151:3;13141:8;13135:4;13132:1;13113:42;:::i;:::-;13098:57;;;;13187:4;13182:3;13178:14;13171:5;13168:25;13165:2;;;13196:18;;:::i;:::-;13165:2;13245:4;13238:5;13234:16;13225:25;;12243:1013;;;;;;:::o;13262:348::-;;13325:20;13343:1;13325:20;:::i;:::-;13320:25;;13359:20;13377:1;13359:20;:::i;:::-;13354:25;;13547:1;13479:66;13475:74;13472:1;13469:81;13464:1;13457:9;13450:17;13446:105;13443:2;;;13554:18;;:::i;:::-;13443:2;13602:1;13599;13595:9;13584:20;;13310:300;;;;:::o;13616:191::-;;13676:20;13694:1;13676:20;:::i;:::-;13671:25;;13710:20;13728:1;13710:20;:::i;:::-;13705:25;;13749:1;13746;13743:8;13740:2;;;13754:18;;:::i;:::-;13740:2;13799:1;13796;13792:9;13784:17;;13661:146;;;;:::o;13813:96::-;;13879:24;13897:5;13879:24;:::i;:::-;13868:35;;13858:51;;;:::o;13915:90::-;;13992:5;13985:13;13978:21;13967:32;;13957:48;;;:::o;14011:126::-;;14088:42;14081:5;14077:54;14066:65;;14056:81;;;:::o;14143:77::-;;14209:5;14198:16;;14188:32;;;:::o;14226:86::-;;14301:4;14294:5;14290:16;14279:27;;14269:43;;;:::o;14318:166::-;;14421:57;14472:5;14421:57;:::i;:::-;14408:70;;14398:86;;;:::o;14490:133::-;;14593:24;14611:5;14593:24;:::i;:::-;14580:37;;14570:53;;;:::o;14629:150::-;;14724:49;14767:5;14724:49;:::i;:::-;14711:62;;14701:78;;;:::o;14785:125::-;;14880:24;14898:5;14880:24;:::i;:::-;14867:37;;14857:53;;;:::o;14916:121::-;;15007:24;15025:5;15007:24;:::i;:::-;14994:37;;14984:53;;;:::o;15043:171::-;;15105:24;15123:5;15105:24;:::i;:::-;15096:33;;15151:4;15144:5;15141:15;15138:2;;;15159:18;;:::i;:::-;15138:2;15206:1;15199:5;15195:13;15188:20;;15086:128;;;:::o;15220:233::-;;15282:24;15300:5;15282:24;:::i;:::-;15273:33;;15328:66;15321:5;15318:77;15315:2;;;15398:18;;:::i;:::-;15315:2;15445:1;15438:5;15434:13;15427:20;;15263:190;;;:::o;15459:100::-;;15527:26;15547:5;15527:26;:::i;:::-;15516:37;;15506:53;;;:::o;15565:94::-;;15633:20;15647:5;15633:20;:::i;:::-;15622:31;;15612:47;;;:::o;15665:79::-;;15733:5;15722:16;;15712:32;;;:::o;15750:176::-;;15799:20;15817:1;15799:20;:::i;:::-;15794:25;;15833:20;15851:1;15833:20;:::i;:::-;15828:25;;15872:1;15862:2;;15877:18;;:::i;:::-;15862:2;15918:1;15915;15911:9;15906:14;;15784:142;;;;:::o;15932:180::-;15980:77;15977:1;15970:88;16077:4;16074:1;16067:15;16101:4;16098:1;16091:15;16118:180;16166:77;16163:1;16156:88;16263:4;16260:1;16253:15;16287:4;16284:1;16277:15;16304:94;;16385:5;16381:2;16377:14;16356:35;;16346:52;;;:::o;16404:102::-;;16493:5;16490:1;16486:13;16465:34;;16455:51;;;:::o;16512:116::-;16582:21;16597:5;16582:21;:::i;:::-;16575:5;16572:32;16562:2;;16618:1;16615;16608:12;16562:2;16552:76;:::o;16634:122::-;16707:24;16725:5;16707:24;:::i;:::-;16700:5;16697:35;16687:2;;16746:1;16743;16736:12;16687:2;16677:79;:::o;16762:118::-;16833:22;16849:5;16833:22;:::i;:::-;16826:5;16823:33;16813:2;;16870:1;16867;16860:12;16813:2;16803:77;:::o

ipfs://5bc3f5faed38d8d86c42da884a89fd4bd2057908c4c5d65cba058c1fd2b7b033