Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract CARRETHMiNER is Context, ... *
•    - function Harvestcarreths(address ref)
•    - function sellcarreths()
•    - function ethRewards(address adr)
•    - function buycarreths(address ref)
•    - function calculateTrade(uint256 rt,ui ...
•    - function calculatecarrethsell(uint256 ...
•    - function calculatecarrethBuy(uint256 ...
•    - function calculatecarrethBuySimple(ui ...
•    - function devFee(uint256 amount)
•    - function seedMarket()
•    - function getBalance()
•    - function getMyMiners(address adr)
•    - function getMycarreths(address adr)
•    - function getcarrethsSinceLastHarvest( ...
•    - function min(uint256 a, uint256 b)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-12-29
*/

/**
TG: https://t.me/RabbithereumETH
*/

// SPDX-License-Identifier: MIT
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // benefit is lost if 'b' is also tested.
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

pragma solidity 0.8.17;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
    * @dev Initializes the contract setting the deployer as the initial owner.
    */
    constructor () {
      address msgSender = _msgSender();
      _owner = msgSender;
      emit OwnershipTransferred(address(0), msgSender);
    }

    /**
    * @dev Returns the address of the current owner.
    */
    function owner() public view returns (address) {
      return _owner;
    }

    
    modifier onlyOwner() {
      require(_owner == _msgSender(), "Ownable: caller is not the owner");
      _;
    }

    function renounceOwnership() public onlyOwner {
      emit OwnershipTransferred(_owner, address(0));
      _owner = address(0);
    }

    function transferOwnership(address newOwner) public onlyOwner {
      _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal {
      require(newOwner != address(0), "Ownable: new owner is the zero address");
      emit OwnershipTransferred(_owner, newOwner);
      _owner = newOwner;
    }
}

contract CARRETHMiNER is Context, Ownable {
    using SafeMath for uint256;

    uint256 private CARRETHS_TO_HARVEST_1MINERS = 1080000;//for final version should be seconds in a day
    uint256 private PSN = 10000;
    uint256 private PSNH = 5000;
    uint256 private devFeeVal = 4;
    bool private initialized = false;
    address payable private recAdd;
    mapping (address => uint256) private harvestingMiners;
    mapping (address => uint256) private claimedcarreths;
    mapping (address => uint256) private lastHarvest;
    mapping (address => address) private referrals;
    uint256 private marketcarreths;
    
    constructor() {
        recAdd = payable(msg.sender);
    }
    
    function Harvestcarreths(address ref) public {
        require(initialized);
        
        if(ref == msg.sender) {
            ref = address(0);
        }
        
        if(referrals[msg.sender] == address(0) && referrals[msg.sender] != msg.sender) {
            referrals[msg.sender] = ref;
        }
        
        uint256 carrethsUsed = getMycarreths(msg.sender);
        uint256 newMiners = SafeMath.div(carrethsUsed,CARRETHS_TO_HARVEST_1MINERS);
        harvestingMiners[msg.sender] = SafeMath.add(harvestingMiners[msg.sender],newMiners);
        claimedcarreths[msg.sender] = 0;
        lastHarvest[msg.sender] = block.timestamp;
        
        //send referral carreths
        claimedcarreths[referrals[msg.sender]] = SafeMath.add(claimedcarreths[referrals[msg.sender]],SafeMath.div(carrethsUsed,8));
        
        //boost market to nerf miners hoarding
        marketcarreths=SafeMath.add(marketcarreths,SafeMath.div(carrethsUsed,5));
    }
    
    function sellcarreths() public {
        require(initialized);
        uint256 hascarreths = getMycarreths(msg.sender);
        uint256 carrethValue = calculatecarrethsell(hascarreths);
        uint256 fee = devFee(carrethValue);
        claimedcarreths[msg.sender] = 0;
        lastHarvest[msg.sender] = block.timestamp;
        marketcarreths = SafeMath.add(marketcarreths,hascarreths);
        recAdd.transfer(fee);
        payable (msg.sender).transfer(SafeMath.sub(carrethValue,fee));
    }
    
    function ethRewards(address adr) public view returns(uint256) {
        uint256 hascarreths = getMycarreths(adr);
        uint256 carrethValue = calculatecarrethsell(hascarreths);
        return carrethValue;
    }
    
    function buycarreths(address ref) public payable {
        require(initialized);
        uint256 carrethsBought = calculatecarrethBuy(msg.value,SafeMath.sub(address(this).balance,msg.value));
        carrethsBought = SafeMath.sub(carrethsBought,devFee(carrethsBought));
        uint256 fee = devFee(msg.value);
        recAdd.transfer(fee);
        claimedcarreths[msg.sender] = SafeMath.add(claimedcarreths[msg.sender],carrethsBought);
        Harvestcarreths(ref);
    }
    
    function calculateTrade(uint256 rt,uint256 rs, uint256 bs) private view returns(uint256) {
        return SafeMath.div(SafeMath.mul(PSN,bs),SafeMath.add(PSNH,SafeMath.div(SafeMath.add(SafeMath.mul(PSN,rs),SafeMath.mul(PSNH,rt)),rt)));
    }
    
    function calculatecarrethsell(uint256 carreths) public view returns(uint256) {
        return calculateTrade(carreths,marketcarreths,address(this).balance);
    }
    
    function calculatecarrethBuy(uint256 eth,uint256 contractBalance) public view returns(uint256) {
        return calculateTrade(eth,contractBalance,marketcarreths);
    }
    
    function calculatecarrethBuySimple(uint256 eth) public view returns(uint256) {
        return calculatecarrethBuy(eth,address(this).balance);
    }
    
    function devFee(uint256 amount) private view returns(uint256) {
        return SafeMath.div(SafeMath.mul(amount,devFeeVal),100);
    }
    
    function seedMarket() public payable onlyOwner {
        require(marketcarreths == 0);
        initialized = true;
        marketcarreths = 108000000000;
    }
    
    function getBalance() public view returns(uint256) {
        return address(this).balance;
    }
    
    function getMyMiners(address adr) public view returns(uint256) {
        return harvestingMiners[adr];
    }
    
    function getMycarreths(address adr) public view returns(uint256) {
        return SafeMath.add(claimedcarreths[adr],getcarrethsSinceLastHarvest(adr));
    }
    
    function getcarrethsSinceLastHarvest(address adr) public view returns(uint256) {
        uint256 secondsPassed=min(CARRETHS_TO_HARVEST_1MINERS,SafeMath.sub(block.timestamp,lastHarvest[adr]));
        return SafeMath.mul(secondsPassed,harvestingMiners[adr]);
    }
    
    function min(uint256 a, uint256 b) private pure returns (uint256) {
        return a < b ? a : b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[{"internalType":"address","name":"ref","type":"address"}],"name":"Harvestcarreths","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"ref","type":"address"}],"name":"buycarreths","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"eth","type":"uint256"},{"internalType":"uint256","name":"contractBalance","type":"uint256"}],"name":"calculatecarrethBuy","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"eth","type":"uint256"}],"name":"calculatecarrethBuySimple","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"carreths","type":"uint256"}],"name":"calculatecarrethsell","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adr","type":"address"}],"name":"ethRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adr","type":"address"}],"name":"getMyMiners","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adr","type":"address"}],"name":"getMycarreths","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"adr","type":"address"}],"name":"getcarrethsSinceLastHarvest","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"seedMarket","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"sellcarreths","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405262107ac0600155612710600255611388600355600480556000600560006101000a81548160ff02191690831515021790555034801561004257600080fd5b50600061005361013760201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35033600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061013f565b600033905090565b6115e38061014e6000396000f3fe6080604052600436106100e85760003560e01c8063a6454b6f1161008a578063cb9114a311610059578063cb9114a3146102da578063db55b4d714610317578063dce66ee91461032e578063f2fde38b1461036b576100e8565b8063a6454b6f14610207578063aba926aa14610244578063b8f2167314610260578063c9b772421461029d576100e8565b8063635474a6116100c6578063635474a61461015f578063715018a6146101885780638802e21c1461019f5780638da5cb5b146101dc576100e8565b806312065fe0146100ed5780633c5f07cb146101185780634b634b0614610122575b600080fd5b3480156100f957600080fd5b50610102610394565b60405161010f91906111f7565b60405180910390f35b61012061039c565b005b34801561012e57600080fd5b5061014960048036038101906101449190611275565b610469565b60405161015691906111f7565b60405180910390f35b34801561016b57600080fd5b5061018660048036038101906101819190611275565b6104b2565b005b34801561019457600080fd5b5061019d610954565b005b3480156101ab57600080fd5b506101c660048036038101906101c19190611275565b610aa7565b6040516101d391906111f7565b60405180910390f35b3480156101e857600080fd5b506101f1610b51565b6040516101fe91906112b1565b60405180910390f35b34801561021357600080fd5b5061022e600480360381019061022991906112f8565b610b7a565b60405161023b91906111f7565b60405180910390f35b61025e60048036038101906102599190611275565b610b91565b005b34801561026c57600080fd5b5061028760048036038101906102829190611338565b610ce5565b60405161029491906111f7565b60405180910390f35b3480156102a957600080fd5b506102c460048036038101906102bf9190611275565b610cf8565b6040516102d191906111f7565b60405180910390f35b3480156102e657600080fd5b5061030160048036038101906102fc9190611275565b610d1d565b60405161030e91906111f7565b60405180910390f35b34801561032357600080fd5b5061032c610d77565b005b34801561033a57600080fd5b5061035560048036038101906103509190611338565b610f10565b60405161036291906111f7565b60405180910390f35b34801561037757600080fd5b50610392600480360381019061038d9190611275565b610f26565b005b600047905090565b6103a4610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610431576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610428906113c2565b60405180910390fd5b6000600a541461044057600080fd5b6001600560006101000a81548160ff0219169083151502179055506419254d3800600a81905550565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900460ff166104cb57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361050357600090505b600073ffffffffffffffffffffffffffffffffffffffff16600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561062957503373ffffffffffffffffffffffffffffffffffffffff16600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b156106ad5780600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b60006106b833610d1d565b905060006106c882600154610fcf565b9050610713600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482610fe5565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061089160076000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461088c846008610fcf565b610fe5565b60076000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610949600a54610944846005610fcf565b610fe5565b600a81905550505050565b61095c610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e0906113c2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080610afe600154610af942600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ffb565b611011565b9050610b4981600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461102a565b915050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610b898383600a54611040565b905092915050565b600560009054906101000a900460ff16610baa57600080fd5b6000610bbf34610bba4734610ffb565b610b7a565b9050610bd381610bce83611093565b610ffb565b90506000610be034611093565b9050600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610c4a573d6000803e3d6000fd5b50610c94600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610fe5565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce0836104b2565b505050565b6000610cf18247610b7a565b9050919050565b600080610d0483610d1d565b90506000610d1182610f10565b90508092505050919050565b6000610d70600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610d6b84610aa7565b610fe5565b9050919050565b600560009054906101000a900460ff16610d9057600080fd5b6000610d9b33610d1d565b90506000610da882610f10565b90506000610db582611093565b90506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e4c600a5484610fe5565b600a81905550600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eba573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff166108fc610edf8484610ffb565b9081150290604051600060405180830381858888f19350505050158015610f0a573d6000803e3d6000fd5b50505050565b6000610f1f82600a5447611040565b9050919050565b610f2e610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fbb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb2906113c2565b60405180910390fd5b610fc4816110b2565b50565b600033905090565b60008183610fdd9190611440565b905092915050565b60008183610ff39190611471565b905092915050565b6000818361100991906114a5565b905092915050565b60008183106110205781611022565b825b905092915050565b6000818361103891906114d9565b905092915050565b600061108a6110516002548461102a565b61108560035461108061107a6110696002548a61102a565b6110756003548c61102a565b610fe5565b89610fcf565b610fe5565b610fcf565b90509392505050565b60006110ab6110a48360045461102a565b6064610fcf565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611121576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111189061158d565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000819050919050565b6111f1816111de565b82525050565b600060208201905061120c60008301846111e8565b92915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061124282611217565b9050919050565b61125281611237565b811461125d57600080fd5b50565b60008135905061126f81611249565b92915050565b60006020828403121561128b5761128a611212565b5b600061129984828501611260565b91505092915050565b6112ab81611237565b82525050565b60006020820190506112c660008301846112a2565b92915050565b6112d5816111de565b81146112e057600080fd5b50565b6000813590506112f2816112cc565b92915050565b6000806040838503121561130f5761130e611212565b5b600061131d858286016112e3565b925050602061132e858286016112e3565b9150509250929050565b60006020828403121561134e5761134d611212565b5b600061135c848285016112e3565b91505092915050565b600082825260208201905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006113ac602083611365565b91506113b782611376565b602082019050919050565b600060208201905081810360008301526113db8161139f565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061144b826111de565b9150611456836111de565b925082611466576114656113e2565b5b828204905092915050565b600061147c826111de565b9150611487836111de565b925082820190508082111561149f5761149e611411565b5b92915050565b60006114b0826111de565b91506114bb836111de565b92508282039050818111156114d3576114d2611411565b5b92915050565b60006114e4826111de565b91506114ef836111de565b92508282026114fd816111de565b9150828204841483151761151457611513611411565b5b5092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611577602683611365565b91506115828261151b565b604082019050919050565b600060208201905081810360008301526115a68161156a565b905091905056fea26469706673582212200b745636b11d5574b8f3373418dd66cf397a2b7cec9055d5ef816fb4a6cbf50364736f6c63430008110033

0x6080604052600436106100e85760003560e01c8063a6454b6f1161008a578063cb9114a311610059578063cb9114a3146102da578063db55b4d714610317578063dce66ee91461032e578063f2fde38b1461036b576100e8565b8063a6454b6f14610207578063aba926aa14610244578063b8f2167314610260578063c9b772421461029d576100e8565b8063635474a6116100c6578063635474a61461015f578063715018a6146101885780638802e21c1461019f5780638da5cb5b146101dc576100e8565b806312065fe0146100ed5780633c5f07cb146101185780634b634b0614610122575b600080fd5b3480156100f957600080fd5b50610102610394565b60405161010f91906111f7565b60405180910390f35b61012061039c565b005b34801561012e57600080fd5b5061014960048036038101906101449190611275565b610469565b60405161015691906111f7565b60405180910390f35b34801561016b57600080fd5b5061018660048036038101906101819190611275565b6104b2565b005b34801561019457600080fd5b5061019d610954565b005b3480156101ab57600080fd5b506101c660048036038101906101c19190611275565b610aa7565b6040516101d391906111f7565b60405180910390f35b3480156101e857600080fd5b506101f1610b51565b6040516101fe91906112b1565b60405180910390f35b34801561021357600080fd5b5061022e600480360381019061022991906112f8565b610b7a565b60405161023b91906111f7565b60405180910390f35b61025e60048036038101906102599190611275565b610b91565b005b34801561026c57600080fd5b5061028760048036038101906102829190611338565b610ce5565b60405161029491906111f7565b60405180910390f35b3480156102a957600080fd5b506102c460048036038101906102bf9190611275565b610cf8565b6040516102d191906111f7565b60405180910390f35b3480156102e657600080fd5b5061030160048036038101906102fc9190611275565b610d1d565b60405161030e91906111f7565b60405180910390f35b34801561032357600080fd5b5061032c610d77565b005b34801561033a57600080fd5b5061035560048036038101906103509190611338565b610f10565b60405161036291906111f7565b60405180910390f35b34801561037757600080fd5b50610392600480360381019061038d9190611275565b610f26565b005b600047905090565b6103a4610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610431576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610428906113c2565b60405180910390fd5b6000600a541461044057600080fd5b6001600560006101000a81548160ff0219169083151502179055506419254d3800600a81905550565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900460ff166104cb57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361050357600090505b600073ffffffffffffffffffffffffffffffffffffffff16600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561062957503373ffffffffffffffffffffffffffffffffffffffff16600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b156106ad5780600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b60006106b833610d1d565b905060006106c882600154610fcf565b9050610713600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482610fe5565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061089160076000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461088c846008610fcf565b610fe5565b60076000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610949600a54610944846005610fcf565b610fe5565b600a81905550505050565b61095c610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e0906113c2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080610afe600154610af942600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ffb565b611011565b9050610b4981600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461102a565b915050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610b898383600a54611040565b905092915050565b600560009054906101000a900460ff16610baa57600080fd5b6000610bbf34610bba4734610ffb565b610b7a565b9050610bd381610bce83611093565b610ffb565b90506000610be034611093565b9050600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610c4a573d6000803e3d6000fd5b50610c94600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610fe5565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce0836104b2565b505050565b6000610cf18247610b7a565b9050919050565b600080610d0483610d1d565b90506000610d1182610f10565b90508092505050919050565b6000610d70600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610d6b84610aa7565b610fe5565b9050919050565b600560009054906101000a900460ff16610d9057600080fd5b6000610d9b33610d1d565b90506000610da882610f10565b90506000610db582611093565b90506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e4c600a5484610fe5565b600a81905550600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eba573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff166108fc610edf8484610ffb565b9081150290604051600060405180830381858888f19350505050158015610f0a573d6000803e3d6000fd5b50505050565b6000610f1f82600a5447611040565b9050919050565b610f2e610fc7565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fbb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb2906113c2565b60405180910390fd5b610fc4816110b2565b50565b600033905090565b60008183610fdd9190611440565b905092915050565b60008183610ff39190611471565b905092915050565b6000818361100991906114a5565b905092915050565b60008183106110205781611022565b825b905092915050565b6000818361103891906114d9565b905092915050565b600061108a6110516002548461102a565b61108560035461108061107a6110696002548a61102a565b6110756003548c61102a565b610fe5565b89610fcf565b610fe5565b610fcf565b90509392505050565b60006110ab6110a48360045461102a565b6064610fcf565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611121576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111189061158d565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000819050919050565b6111f1816111de565b82525050565b600060208201905061120c60008301846111e8565b92915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061124282611217565b9050919050565b61125281611237565b811461125d57600080fd5b50565b60008135905061126f81611249565b92915050565b60006020828403121561128b5761128a611212565b5b600061129984828501611260565b91505092915050565b6112ab81611237565b82525050565b60006020820190506112c660008301846112a2565b92915050565b6112d5816111de565b81146112e057600080fd5b50565b6000813590506112f2816112cc565b92915050565b6000806040838503121561130f5761130e611212565b5b600061131d858286016112e3565b925050602061132e858286016112e3565b9150509250929050565b60006020828403121561134e5761134d611212565b5b600061135c848285016112e3565b91505092915050565b600082825260208201905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006113ac602083611365565b91506113b782611376565b602082019050919050565b600060208201905081810360008301526113db8161139f565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061144b826111de565b9150611456836111de565b925082611466576114656113e2565b5b828204905092915050565b600061147c826111de565b9150611487836111de565b925082820190508082111561149f5761149e611411565b5b92915050565b60006114b0826111de565b91506114bb836111de565b92508282039050818111156114d3576114d2611411565b5b92915050565b60006114e4826111de565b91506114ef836111de565b92508282026114fd816111de565b9150828204841483151761151457611513611411565b5b5092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611577602683611365565b91506115828261151b565b604082019050919050565b600060208201905081810360008301526115a68161156a565b905091905056fea26469706673582212200b745636b11d5574b8f3373418dd66cf397a2b7cec9055d5ef816fb4a6cbf50364736f6c63430008110033

8560:4831:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12603:98;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12428:163;;;:::i;:::-;;12713:110;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9273:982;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8071:136;;;;;;;;;;;;;:::i;:::-;;13005:266;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7857:77;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11936:171;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11014:480;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12119:149;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10784:218;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12835:158;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10267:505;;;;;;;;;;;;;:::i;:::-;;11760:164;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8215:107;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12603:98;12645:7;12672:21;12665:28;;12603:98;:::o;12428:163::-;7996:12;:10;:12::i;:::-;7986:22;;:6;;;;;;;;;;:22;;;7978:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;12512:1:::1;12494:14;;:19;12486:28;;;::::0;::::1;;12539:4;12525:11;;:18;;;;;;;;;;;;;;;;;;12571:12;12554:14;:29;;;;12428:163::o:0;12713:110::-;12767:7;12794:16;:21;12811:3;12794:21;;;;;;;;;;;;;;;;12787:28;;12713:110;;;:::o;9273:982::-;9337:11;;;;;;;;;;;9329:20;;;;;;9380:10;9373:17;;:3;:17;;;9370:65;;9421:1;9407:16;;9370:65;9491:1;9458:35;;:9;:21;9468:10;9458:21;;;;;;;;;;;;;;;;;;;;;;;;;:35;;;:74;;;;;9522:10;9497:35;;:9;:21;9507:10;9497:21;;;;;;;;;;;;;;;;;;;;;;;;;:35;;;;9458:74;9455:133;;;9573:3;9549:9;:21;9559:10;9549:21;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;9455:133;9608:20;9631:25;9645:10;9631:13;:25::i;:::-;9608:48;;9667:17;9687:54;9700:12;9713:27;;9687:12;:54::i;:::-;9667:74;;9783:52;9796:16;:28;9813:10;9796:28;;;;;;;;;;;;;;;;9825:9;9783:12;:52::i;:::-;9752:16;:28;9769:10;9752:28;;;;;;;;;;;;;;;:83;;;;9876:1;9846:15;:27;9862:10;9846:27;;;;;;;;;;;;;;;:31;;;;9914:15;9888:11;:23;9900:10;9888:23;;;;;;;;;;;;;;;:41;;;;10025:81;10038:15;:38;10054:9;:21;10064:10;10054:21;;;;;;;;;;;;;;;;;;;;;;;;;10038:38;;;;;;;;;;;;;;;;10077:28;10090:12;10103:1;10077:12;:28::i;:::-;10025:12;:81::i;:::-;9984:15;:38;10000:9;:21;10010:10;10000:21;;;;;;;;;;;;;;;;;;;;;;;;;9984:38;;;;;;;;;;;;;;;:122;;;;10190:57;10203:14;;10218:28;10231:12;10244:1;10218:12;:28::i;:::-;10190:12;:57::i;:::-;10175:14;:72;;;;9318:937;;9273:982;:::o;8071:136::-;7996:12;:10;:12::i;:::-;7986:22;;:6;;;;;;;;;;:22;;;7978:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8168:1:::1;8131:40;;8152:6;::::0;::::1;;;;;;;;8131:40;;;;;;;;;;;;8197:1;8180:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;8071:136::o:0;13005:266::-;13075:7;13095:21;13117:79;13121:27;;13149:46;13162:15;13178:11;:16;13190:3;13178:16;;;;;;;;;;;;;;;;13149:12;:46::i;:::-;13117:3;:79::i;:::-;13095:101;;13214:49;13227:13;13241:16;:21;13258:3;13241:21;;;;;;;;;;;;;;;;13214:12;:49::i;:::-;13207:56;;;13005:266;;;:::o;7857:77::-;7895:7;7920:6;;;;;;;;;;;7913:13;;7857:77;:::o;11936:171::-;12022:7;12049:50;12064:3;12068:15;12084:14;;12049;:50::i;:::-;12042:57;;11936:171;;;;:::o;11014:480::-;11082:11;;;;;;;;;;;11074:20;;;;;;11105:22;11130:76;11150:9;11160:45;11173:21;11195:9;11160:12;:45::i;:::-;11130:19;:76::i;:::-;11105:101;;11234:51;11247:14;11262:22;11269:14;11262:6;:22::i;:::-;11234:12;:51::i;:::-;11217:68;;11296:11;11310:17;11317:9;11310:6;:17::i;:::-;11296:31;;11338:6;;;;;;;;;;;:15;;:20;11354:3;11338:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11399:56;11412:15;:27;11428:10;11412:27;;;;;;;;;;;;;;;;11440:14;11399:12;:56::i;:::-;11369:15;:27;11385:10;11369:27;;;;;;;;;;;;;;;:86;;;;11466:20;11482:3;11466:15;:20::i;:::-;11063:431;;11014:480;:::o;12119:149::-;12187:7;12214:46;12234:3;12238:21;12214:19;:46::i;:::-;12207:53;;12119:149;;;:::o;10784:218::-;10837:7;10857:19;10879:18;10893:3;10879:13;:18::i;:::-;10857:40;;10908:20;10931:33;10952:11;10931:20;:33::i;:::-;10908:56;;10982:12;10975:19;;;;10784:218;;;:::o;12835:158::-;12891:7;12918:67;12931:15;:20;12947:3;12931:20;;;;;;;;;;;;;;;;12952:32;12980:3;12952:27;:32::i;:::-;12918:12;:67::i;:::-;12911:74;;12835:158;;;:::o;10267:505::-;10317:11;;;;;;;;;;;10309:20;;;;;;10340:19;10362:25;10376:10;10362:13;:25::i;:::-;10340:47;;10398:20;10421:33;10442:11;10421:20;:33::i;:::-;10398:56;;10465:11;10479:20;10486:12;10479:6;:20::i;:::-;10465:34;;10540:1;10510:15;:27;10526:10;10510:27;;;;;;;;;;;;;;;:31;;;;10578:15;10552:11;:23;10564:10;10552:23;;;;;;;;;;;;;;;:41;;;;10621:40;10634:14;;10649:11;10621:12;:40::i;:::-;10604:14;:57;;;;10672:6;;;;;;;;;;;:15;;:20;10688:3;10672:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10712:10;10703:29;;:61;10733:30;10746:12;10759:3;10733:12;:30::i;:::-;10703:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10298:474;;;10267:505::o;11760:164::-;11828:7;11855:61;11870:8;11879:14;;11894:21;11855:14;:61::i;:::-;11848:68;;11760:164;;;:::o;8215:107::-;7996:12;:10;:12::i;:::-;7986:22;;:6;;;;;;;;;;:22;;;7978:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8286:28:::1;8305:8;8286:18;:28::i;:::-;8215:107:::0;:::o;7161:98::-;7214:7;7241:10;7234:17;;7161:98;:::o;3566:::-;3624:7;3655:1;3651;:5;;;;:::i;:::-;3644:12;;3566:98;;;;:::o;2429:::-;2487:7;2518:1;2514;:5;;;;:::i;:::-;2507:12;;2429:98;;;;:::o;2810:::-;2868:7;2899:1;2895;:5;;;;:::i;:::-;2888:12;;2810:98;;;;:::o;13283:105::-;13340:7;13371:1;13367;:5;:13;;13379:1;13367:13;;;13375:1;13367:13;13360:20;;13283:105;;;;:::o;3167:98::-;3225:7;3256:1;3252;:5;;;;:::i;:::-;3245:12;;3167:98;;;;:::o;11506:242::-;11586:7;11613:127;11626:20;11639:3;;11643:2;11626:12;:20::i;:::-;11647:92;11660:4;;11665:73;11678:56;11691:20;11704:3;;11708:2;11691:12;:20::i;:::-;11712:21;11725:4;;11730:2;11712:12;:21::i;:::-;11678:12;:56::i;:::-;11735:2;11665:12;:73::i;:::-;11647:12;:92::i;:::-;11613:12;:127::i;:::-;11606:134;;11506:242;;;;;:::o;12280:136::-;12333:7;12360:48;12373:30;12386:6;12393:9;;12373:12;:30::i;:::-;12404:3;12360:12;:48::i;:::-;12353:55;;12280:136;;;:::o;8330:223::-;8422:1;8402:22;;:8;:22;;;8394:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;8510:8;8481:38;;8502:6;;;;;;;;;;8481:38;;;;;;;;;;;;8537:8;8528:6;;:17;;;;;;;;;;;;;;;;;;8330:223;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;523:117::-;632:1;629;622:12;769:126;806:7;846:42;839:5;835:54;824:65;;769:126;;;:::o;901:96::-;938:7;967:24;985:5;967:24;:::i;:::-;956:35;;901:96;;;:::o;1003:122::-;1076:24;1094:5;1076:24;:::i;:::-;1069:5;1066:35;1056:63;;1115:1;1112;1105:12;1056:63;1003:122;:::o;1131:139::-;1177:5;1215:6;1202:20;1193:29;;1231:33;1258:5;1231:33;:::i;:::-;1131:139;;;;:::o;1276:329::-;1335:6;1384:2;1372:9;1363:7;1359:23;1355:32;1352:119;;;1390:79;;:::i;:::-;1352:119;1510:1;1535:53;1580:7;1571:6;1560:9;1556:22;1535:53;:::i;:::-;1525:63;;1481:117;1276:329;;;;:::o;1611:118::-;1698:24;1716:5;1698:24;:::i;:::-;1693:3;1686:37;1611:118;;:::o;1735:222::-;1828:4;1866:2;1855:9;1851:18;1843:26;;1879:71;1947:1;1936:9;1932:17;1923:6;1879:71;:::i;:::-;1735:222;;;;:::o;1963:122::-;2036:24;2054:5;2036:24;:::i;:::-;2029:5;2026:35;2016:63;;2075:1;2072;2065:12;2016:63;1963:122;:::o;2091:139::-;2137:5;2175:6;2162:20;2153:29;;2191:33;2218:5;2191:33;:::i;:::-;2091:139;;;;:::o;2236:474::-;2304:6;2312;2361:2;2349:9;2340:7;2336:23;2332:32;2329:119;;;2367:79;;:::i;:::-;2329:119;2487:1;2512:53;2557:7;2548:6;2537:9;2533:22;2512:53;:::i;:::-;2502:63;;2458:117;2614:2;2640:53;2685:7;2676:6;2665:9;2661:22;2640:53;:::i;:::-;2630:63;;2585:118;2236:474;;;;;:::o;2716:329::-;2775:6;2824:2;2812:9;2803:7;2799:23;2795:32;2792:119;;;2830:79;;:::i;:::-;2792:119;2950:1;2975:53;3020:7;3011:6;3000:9;2996:22;2975:53;:::i;:::-;2965:63;;2921:117;2716:329;;;;:::o;3051:169::-;3135:11;3169:6;3164:3;3157:19;3209:4;3204:3;3200:14;3185:29;;3051:169;;;;:::o;3226:182::-;3366:34;3362:1;3354:6;3350:14;3343:58;3226:182;:::o;3414:366::-;3556:3;3577:67;3641:2;3636:3;3577:67;:::i;:::-;3570:74;;3653:93;3742:3;3653:93;:::i;:::-;3771:2;3766:3;3762:12;3755:19;;3414:366;;;:::o;3786:419::-;3952:4;3990:2;3979:9;3975:18;3967:26;;4039:9;4033:4;4029:20;4025:1;4014:9;4010:17;4003:47;4067:131;4193:4;4067:131;:::i;:::-;4059:139;;3786:419;;;:::o;4211:180::-;4259:77;4256:1;4249:88;4356:4;4353:1;4346:15;4380:4;4377:1;4370:15;4397:180;4445:77;4442:1;4435:88;4542:4;4539:1;4532:15;4566:4;4563:1;4556:15;4583:185;4623:1;4640:20;4658:1;4640:20;:::i;:::-;4635:25;;4674:20;4692:1;4674:20;:::i;:::-;4669:25;;4713:1;4703:35;;4718:18;;:::i;:::-;4703:35;4760:1;4757;4753:9;4748:14;;4583:185;;;;:::o;4774:191::-;4814:3;4833:20;4851:1;4833:20;:::i;:::-;4828:25;;4867:20;4885:1;4867:20;:::i;:::-;4862:25;;4910:1;4907;4903:9;4896:16;;4931:3;4928:1;4925:10;4922:36;;;4938:18;;:::i;:::-;4922:36;4774:191;;;;:::o;4971:194::-;5011:4;5031:20;5049:1;5031:20;:::i;:::-;5026:25;;5065:20;5083:1;5065:20;:::i;:::-;5060:25;;5109:1;5106;5102:9;5094:17;;5133:1;5127:4;5124:11;5121:37;;;5138:18;;:::i;:::-;5121:37;4971:194;;;;:::o;5171:410::-;5211:7;5234:20;5252:1;5234:20;:::i;:::-;5229:25;;5268:20;5286:1;5268:20;:::i;:::-;5263:25;;5323:1;5320;5316:9;5345:30;5363:11;5345:30;:::i;:::-;5334:41;;5524:1;5515:7;5511:15;5508:1;5505:22;5485:1;5478:9;5458:83;5435:139;;5554:18;;:::i;:::-;5435:139;5219:362;5171:410;;;;:::o;5587:225::-;5727:34;5723:1;5715:6;5711:14;5704:58;5796:8;5791:2;5783:6;5779:15;5772:33;5587:225;:::o;5818:366::-;5960:3;5981:67;6045:2;6040:3;5981:67;:::i;:::-;5974:74;;6057:93;6146:3;6057:93;:::i;:::-;6175:2;6170:3;6166:12;6159:19;;5818:366;;;:::o;6190:419::-;6356:4;6394:2;6383:9;6379:18;6371:26;;6443:9;6437:4;6433:20;6429:1;6418:9;6414:17;6407:47;6471:131;6597:4;6471:131;:::i;:::-;6463:139;;6190:419;;;:::o

ipfs://0b745636b11d5574b8f3373418dd66cf397a2b7cec9055d5ef816fb4a6cbf503