Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-06-24
*/

/**
 *Submitted for verification at SonicScan.org on 2025-06-17
*/

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

interface IERC20 {
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    function approve(address spender, uint256 amount) external returns (bool);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function balanceOf(address account) external view returns (uint256);
} 

interface IExRedemptionPool {
    function redeemOneToOne(address from, uint256 amount) external;
    function redeemPremium(address from, uint256 amount, uint256 premium) external;
    function STS() external view returns (address);
}

interface IE {
    function isBlackHoleEpoch() external view returns (bool);
    function DSR() external view returns (uint256);
}

contract ReentrancyGuard {
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;
    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

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

contract Redeemer is ReentrancyGuard {
    address public immutable redemptionPool;
    address public immutable EX;
    address public owner;
    IE public epochs;
    IERC20 public immutable STS;

    event OwnershipTransferred(address indexed newOwner);
    event ERC20Recovered(address indexed token, uint256 amount);
    event EpochsChanged(address indexed newEpochs);
    event Redeemed(address indexed user, uint256 amount, uint256 beforeDSR, uint256 afterDSR);


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

    constructor(address _redemptionPool, address _EX, address _epochs) {
        redemptionPool = _redemptionPool;
        EX = _EX;
        owner = msg.sender;
        epochs = IE(_epochs);
        STS = IERC20(IExRedemptionPool(_redemptionPool).STS());
    }

    function changeEpochs(address newEpochs) public onlyOwner {
        require(newEpochs != address(0), "Invalid address");
        epochs = IE(newEpochs);
        emit EpochsChanged(newEpochs);
    }

    uint256 public basePremium = 10;

    function setBasePremium(uint256 newBasePremium) public onlyOwner {
        basePremium = newBasePremium;
    }

    function currentPremium() public view returns (uint256) {
        return basePremium + (10000 - epochs.DSR());
    }

    function redeem(uint256 amount) public nonReentrant {
        require(amount >= 1e18, "Amount must be greater than or equal to 1 EX");
        require(IERC20(EX).balanceOf(msg.sender) >= amount, "Insufficient balance");

        uint256 beforeDSR = epochs.DSR();
        require(beforeDSR > 9000, "before DSR is less than 0.9");
        uint256 premium = basePremium;
        if (beforeDSR <= 10000) {
            premium = currentPremium();
        }
        IExRedemptionPool(redemptionPool).redeemPremium(msg.sender, amount, premium);
        uint256 afterDSR = epochs.DSR();
        require(afterDSR > 9000, "after DSR is less than 0.9");
        require(afterDSR >= beforeDSR, "insufficient premium paid"); 
        emit Redeemed(msg.sender, amount, beforeDSR, afterDSR);  
    }


    function transferOwnership(address newOwner) external onlyOwner {
        require(newOwner != address(0), "Invalid owner address");
        owner = newOwner;
        emit OwnershipTransferred(newOwner);
    }

    function recoverERC20(address tokenAddress, uint256 amount) external onlyOwner {
        require(tokenAddress != EX && tokenAddress != address(STS), "Cannot recover EX or STS tokens");
        IERC20(tokenAddress).transfer(owner, amount);
        emit ERC20Recovered(tokenAddress,amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_redemptionPool","type":"address"},{"internalType":"address","name":"_EX","type":"address"},{"internalType":"address","name":"_epochs","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ERC20Recovered","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newEpochs","type":"address"}],"name":"EpochsChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"beforeDSR","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"afterDSR","type":"uint256"}],"name":"Redeemed","type":"event"},{"inputs":[],"name":"EX","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"STS","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"basePremium","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newEpochs","type":"address"}],"name":"changeEpochs","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"currentPremium","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"epochs","outputs":[{"internalType":"contract IE","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"recoverERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"redemptionPool","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"newBasePremium","type":"uint256"}],"name":"setBasePremium","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60e0604052600a600355348015610014575f5ffd5b5060405161192f38038061192f8339818101604052810190610036919061022b565b60015f819055508273ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff16815250508173ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff16815250503360015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff1663611e6f1a6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561016e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610192919061027b565b73ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff16815250505050506102a6565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6101fa826101d1565b9050919050565b61020a816101f0565b8114610214575f5ffd5b50565b5f8151905061022581610201565b92915050565b5f5f5f60608486031215610242576102416101cd565b5b5f61024f86828701610217565b935050602061026086828701610217565b925050604061027186828701610217565b9150509250925092565b5f602082840312156102905761028f6101cd565b5b5f61029d84828501610217565b91505092915050565b60805160a05160c0516116436102ec5f395f8181610457015261063301525f81816105dc015281816108740152610c3d01525f818161047b0152610a3c01526116435ff3fe608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c80638980f11f1161006f5780638980f11f146101665780638da5cb5b14610182578063a5bd7982146101a0578063db006a75146101be578063e6dba7e8146101da578063f2fde38b146101f8576100b2565b80631179778b146100b65780633e25ca2b146100d257806358152d07146100ee578063611e6f1a1461010c5780637c4950c71461012a5780638311907314610148575b5f5ffd5b6100d060048036038101906100cb9190610e19565b610214565b005b6100ec60048036038101906100e79190610e9e565b6102ad565b005b6100f6610430565b6040516101039190610f24565b60405180910390f35b610114610455565b6040516101219190610f5d565b60405180910390f35b610132610479565b60405161013f9190610f85565b60405180910390f35b61015061049d565b60405161015d9190610fad565b60405180910390f35b610180600480360381019061017b9190610fc6565b61054b565b005b61018a6107b0565b6040516101979190610f85565b60405180910390f35b6101a86107d5565b6040516101b59190610fad565b60405180910390f35b6101d860048036038101906101d39190610e19565b6107db565b005b6101e2610c3b565b6040516101ef9190610f85565b60405180910390f35b610212600480360381019061020d9190610e9e565b610c5f565b005b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146102a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029a9061105e565b60405180910390fd5b8060038190555050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461033c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103339061105e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036103aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103a1906110c6565b60405180910390fd5b8060025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fc3f6b13a80e13f9fb65601d20f8df5b5e3486f3d72ea49321b55630869bfe00160405160405180910390a250565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa158015610508573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052c91906110f8565b6127106105399190611150565b6003546105469190611183565b905090565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d19061105e565b60405180910390fd5b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561068257507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b6106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b890611200565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b815260040161071d92919061121e565b6020604051808303815f875af1158015610739573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061075d919061127a565b508173ffffffffffffffffffffffffffffffffffffffff167f505b28e6941631badc363841ecbf8e1214b9379c643936458e87be718e157999826040516107a49190610fad565b60405180910390a25050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b60025f540361081f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610816906112ef565b60405180910390fd5b60025f81905550670de0b6b3a7640000811015610871576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108689061137d565b60405180910390fd5b807f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b81526004016108cb9190610f85565b602060405180830381865afa1580156108e6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061090a91906110f8565b101561094b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610942906113e5565b60405180910390fd5b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109b6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109da91906110f8565b90506123288111610a20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a179061144d565b60405180910390fd5b5f60035490506127108211610a3a57610a3761049d565b90505b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16639ac66f3c3385846040518463ffffffff1660e01b8152600401610a979392919061146b565b5f604051808303815f87803b158015610aae575f5ffd5b505af1158015610ac0573d5f5f3e3d5ffd5b505050505f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b2f573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b5391906110f8565b90506123288111610b99576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b90906114ea565b60405180910390fd5b82811015610bdc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd390611552565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f484c40561359f3e3b8be9101897f8680aa82fbe1df9fd9038e0dbc6284032646858584604051610c2693929190611570565b60405180910390a250505060015f8190555050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610cee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce59061105e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d53906115ef565b60405180910390fd5b8060015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc68616360405160405180910390a250565b5f5ffd5b5f819050919050565b610df881610de6565b8114610e02575f5ffd5b50565b5f81359050610e1381610def565b92915050565b5f60208284031215610e2e57610e2d610de2565b5b5f610e3b84828501610e05565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e6d82610e44565b9050919050565b610e7d81610e63565b8114610e87575f5ffd5b50565b5f81359050610e9881610e74565b92915050565b5f60208284031215610eb357610eb2610de2565b5b5f610ec084828501610e8a565b91505092915050565b5f819050919050565b5f610eec610ee7610ee284610e44565b610ec9565b610e44565b9050919050565b5f610efd82610ed2565b9050919050565b5f610f0e82610ef3565b9050919050565b610f1e81610f04565b82525050565b5f602082019050610f375f830184610f15565b92915050565b5f610f4782610ef3565b9050919050565b610f5781610f3d565b82525050565b5f602082019050610f705f830184610f4e565b92915050565b610f7f81610e63565b82525050565b5f602082019050610f985f830184610f76565b92915050565b610fa781610de6565b82525050565b5f602082019050610fc05f830184610f9e565b92915050565b5f5f60408385031215610fdc57610fdb610de2565b5b5f610fe985828601610e8a565b9250506020610ffa85828601610e05565b9150509250929050565b5f82825260208201905092915050565b7f4f6e6c79206f776e65722063616e2063616c6c207468697300000000000000005f82015250565b5f611048601883611004565b915061105382611014565b602082019050919050565b5f6020820190508181035f8301526110758161103c565b9050919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f6110b0600f83611004565b91506110bb8261107c565b602082019050919050565b5f6020820190508181035f8301526110dd816110a4565b9050919050565b5f815190506110f281610def565b92915050565b5f6020828403121561110d5761110c610de2565b5b5f61111a848285016110e4565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61115a82610de6565b915061116583610de6565b925082820390508181111561117d5761117c611123565b5b92915050565b5f61118d82610de6565b915061119883610de6565b92508282019050808211156111b0576111af611123565b5b92915050565b7f43616e6e6f74207265636f766572204558206f722053545320746f6b656e73005f82015250565b5f6111ea601f83611004565b91506111f5826111b6565b602082019050919050565b5f6020820190508181035f830152611217816111de565b9050919050565b5f6040820190506112315f830185610f76565b61123e6020830184610f9e565b9392505050565b5f8115159050919050565b61125981611245565b8114611263575f5ffd5b50565b5f8151905061127481611250565b92915050565b5f6020828403121561128f5761128e610de2565b5b5f61129c84828501611266565b91505092915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c005f82015250565b5f6112d9601f83611004565b91506112e4826112a5565b602082019050919050565b5f6020820190508181035f830152611306816112cd565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e206f7220655f8201527f7175616c20746f20312045580000000000000000000000000000000000000000602082015250565b5f611367602c83611004565b91506113728261130d565b604082019050919050565b5f6020820190508181035f8301526113948161135b565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6113cf601483611004565b91506113da8261139b565b602082019050919050565b5f6020820190508181035f8301526113fc816113c3565b9050919050565b7f6265666f726520445352206973206c657373207468616e20302e3900000000005f82015250565b5f611437601b83611004565b915061144282611403565b602082019050919050565b5f6020820190508181035f8301526114648161142b565b9050919050565b5f60608201905061147e5f830186610f76565b61148b6020830185610f9e565b6114986040830184610f9e565b949350505050565b7f616674657220445352206973206c657373207468616e20302e390000000000005f82015250565b5f6114d4601a83611004565b91506114df826114a0565b602082019050919050565b5f6020820190508181035f830152611501816114c8565b9050919050565b7f696e73756666696369656e74207072656d69756d2070616964000000000000005f82015250565b5f61153c601983611004565b915061154782611508565b602082019050919050565b5f6020820190508181035f83015261156981611530565b9050919050565b5f6060820190506115835f830186610f9e565b6115906020830185610f9e565b61159d6040830184610f9e565b949350505050565b7f496e76616c6964206f776e6572206164647265737300000000000000000000005f82015250565b5f6115d9601583611004565b91506115e4826115a5565b602082019050919050565b5f6020820190508181035f830152611606816115cd565b905091905056fea264697066735822122032688807a59a7e4bbc64ec53f6907ff20b6d5c97ad1d34023182d568bf0ae71664736f6c634300081e00330000000000000000000000002ddd8a28f3619e67c149a91cd0dc96bb788757da000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e048020000000000000000000000001cd714c70d512bda3c65b19b09c4abe4f342fe4f

0x608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c80638980f11f1161006f5780638980f11f146101665780638da5cb5b14610182578063a5bd7982146101a0578063db006a75146101be578063e6dba7e8146101da578063f2fde38b146101f8576100b2565b80631179778b146100b65780633e25ca2b146100d257806358152d07146100ee578063611e6f1a1461010c5780637c4950c71461012a5780638311907314610148575b5f5ffd5b6100d060048036038101906100cb9190610e19565b610214565b005b6100ec60048036038101906100e79190610e9e565b6102ad565b005b6100f6610430565b6040516101039190610f24565b60405180910390f35b610114610455565b6040516101219190610f5d565b60405180910390f35b610132610479565b60405161013f9190610f85565b60405180910390f35b61015061049d565b60405161015d9190610fad565b60405180910390f35b610180600480360381019061017b9190610fc6565b61054b565b005b61018a6107b0565b6040516101979190610f85565b60405180910390f35b6101a86107d5565b6040516101b59190610fad565b60405180910390f35b6101d860048036038101906101d39190610e19565b6107db565b005b6101e2610c3b565b6040516101ef9190610f85565b60405180910390f35b610212600480360381019061020d9190610e9e565b610c5f565b005b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146102a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029a9061105e565b60405180910390fd5b8060038190555050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461033c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103339061105e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036103aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103a1906110c6565b60405180910390fd5b8060025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fc3f6b13a80e13f9fb65601d20f8df5b5e3486f3d72ea49321b55630869bfe00160405160405180910390a250565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000e5da20f15420ad15de0fa650600afc998bbe395581565b7f0000000000000000000000002ddd8a28f3619e67c149a91cd0dc96bb788757da81565b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa158015610508573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052c91906110f8565b6127106105399190611150565b6003546105469190611183565b905090565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d19061105e565b60405180910390fd5b7f000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e0480273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561068257507f000000000000000000000000e5da20f15420ad15de0fa650600afc998bbe395573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b6106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b890611200565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b815260040161071d92919061121e565b6020604051808303815f875af1158015610739573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061075d919061127a565b508173ffffffffffffffffffffffffffffffffffffffff167f505b28e6941631badc363841ecbf8e1214b9379c643936458e87be718e157999826040516107a49190610fad565b60405180910390a25050565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b60025f540361081f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610816906112ef565b60405180910390fd5b60025f81905550670de0b6b3a7640000811015610871576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108689061137d565b60405180910390fd5b807f000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e0480273ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b81526004016108cb9190610f85565b602060405180830381865afa1580156108e6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061090a91906110f8565b101561094b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610942906113e5565b60405180910390fd5b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109b6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109da91906110f8565b90506123288111610a20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a179061144d565b60405180910390fd5b5f60035490506127108211610a3a57610a3761049d565b90505b7f0000000000000000000000002ddd8a28f3619e67c149a91cd0dc96bb788757da73ffffffffffffffffffffffffffffffffffffffff16639ac66f3c3385846040518463ffffffff1660e01b8152600401610a979392919061146b565b5f604051808303815f87803b158015610aae575f5ffd5b505af1158015610ac0573d5f5f3e3d5ffd5b505050505f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633287ba096040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b2f573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b5391906110f8565b90506123288111610b99576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b90906114ea565b60405180910390fd5b82811015610bdc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd390611552565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f484c40561359f3e3b8be9101897f8680aa82fbe1df9fd9038e0dbc6284032646858584604051610c2693929190611570565b60405180910390a250505060015f8190555050565b7f000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e0480281565b60015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610cee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce59061105e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d53906115ef565b60405180910390fd5b8060015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc68616360405160405180910390a250565b5f5ffd5b5f819050919050565b610df881610de6565b8114610e02575f5ffd5b50565b5f81359050610e1381610def565b92915050565b5f60208284031215610e2e57610e2d610de2565b5b5f610e3b84828501610e05565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e6d82610e44565b9050919050565b610e7d81610e63565b8114610e87575f5ffd5b50565b5f81359050610e9881610e74565b92915050565b5f60208284031215610eb357610eb2610de2565b5b5f610ec084828501610e8a565b91505092915050565b5f819050919050565b5f610eec610ee7610ee284610e44565b610ec9565b610e44565b9050919050565b5f610efd82610ed2565b9050919050565b5f610f0e82610ef3565b9050919050565b610f1e81610f04565b82525050565b5f602082019050610f375f830184610f15565b92915050565b5f610f4782610ef3565b9050919050565b610f5781610f3d565b82525050565b5f602082019050610f705f830184610f4e565b92915050565b610f7f81610e63565b82525050565b5f602082019050610f985f830184610f76565b92915050565b610fa781610de6565b82525050565b5f602082019050610fc05f830184610f9e565b92915050565b5f5f60408385031215610fdc57610fdb610de2565b5b5f610fe985828601610e8a565b9250506020610ffa85828601610e05565b9150509250929050565b5f82825260208201905092915050565b7f4f6e6c79206f776e65722063616e2063616c6c207468697300000000000000005f82015250565b5f611048601883611004565b915061105382611014565b602082019050919050565b5f6020820190508181035f8301526110758161103c565b9050919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f6110b0600f83611004565b91506110bb8261107c565b602082019050919050565b5f6020820190508181035f8301526110dd816110a4565b9050919050565b5f815190506110f281610def565b92915050565b5f6020828403121561110d5761110c610de2565b5b5f61111a848285016110e4565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61115a82610de6565b915061116583610de6565b925082820390508181111561117d5761117c611123565b5b92915050565b5f61118d82610de6565b915061119883610de6565b92508282019050808211156111b0576111af611123565b5b92915050565b7f43616e6e6f74207265636f766572204558206f722053545320746f6b656e73005f82015250565b5f6111ea601f83611004565b91506111f5826111b6565b602082019050919050565b5f6020820190508181035f830152611217816111de565b9050919050565b5f6040820190506112315f830185610f76565b61123e6020830184610f9e565b9392505050565b5f8115159050919050565b61125981611245565b8114611263575f5ffd5b50565b5f8151905061127481611250565b92915050565b5f6020828403121561128f5761128e610de2565b5b5f61129c84828501611266565b91505092915050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c005f82015250565b5f6112d9601f83611004565b91506112e4826112a5565b602082019050919050565b5f6020820190508181035f830152611306816112cd565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e206f7220655f8201527f7175616c20746f20312045580000000000000000000000000000000000000000602082015250565b5f611367602c83611004565b91506113728261130d565b604082019050919050565b5f6020820190508181035f8301526113948161135b565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6113cf601483611004565b91506113da8261139b565b602082019050919050565b5f6020820190508181035f8301526113fc816113c3565b9050919050565b7f6265666f726520445352206973206c657373207468616e20302e3900000000005f82015250565b5f611437601b83611004565b915061144282611403565b602082019050919050565b5f6020820190508181035f8301526114648161142b565b9050919050565b5f60608201905061147e5f830186610f76565b61148b6020830185610f9e565b6114986040830184610f9e565b949350505050565b7f616674657220445352206973206c657373207468616e20302e390000000000005f82015250565b5f6114d4601a83611004565b91506114df826114a0565b602082019050919050565b5f6020820190508181035f830152611501816114c8565b9050919050565b7f696e73756666696369656e74207072656d69756d2070616964000000000000005f82015250565b5f61153c601983611004565b915061154782611508565b602082019050919050565b5f6020820190508181035f83015261156981611530565b9050919050565b5f6060820190506115835f830186610f9e565b6115906020830185610f9e565b61159d6040830184610f9e565b949350505050565b7f496e76616c6964206f776e6572206164647265737300000000000000000000005f82015250565b5f6115d9601583611004565b91506115e4826115a5565b602082019050919050565b5f6020820190508181035f830152611606816115cd565b905091905056fea264697066735822122032688807a59a7e4bbc64ec53f6907ff20b6d5c97ad1d34023182d568bf0ae71664736f6c634300081e0033

0000000000000000000000002ddd8a28f3619e67c149a91cd0dc96bb788757da000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e048020000000000000000000000001cd714c70d512bda3c65b19b09c4abe4f342fe4f

-----Decoded View---------------
Arg [0] : _redemptionPool (address): 0x2dDd8A28f3619E67C149A91CD0Dc96bB788757dA
Arg [1] : _EX (address): 0xd4d197F3397C8F28f4BC2C698104CfbCC3e04802
Arg [2] : _epochs (address): 0x1cd714c70D512BDa3c65B19B09c4AbE4f342fE4F

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000002ddd8a28f3619e67c149a91cd0dc96bb788757da
Arg [1] : 000000000000000000000000d4d197f3397c8f28f4bc2c698104cfbcc3e04802
Arg [2] : 0000000000000000000000001cd714c70d512bda3c65b19b09c4abe4f342fe4f

1285:2699:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2408:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2159:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1436:16;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1459:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1329:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2528:118;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3683:298;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1409:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2368:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2654:799;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1375:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3463:212;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2408:112;1827:5;;;;;;;;;;;1813:19;;:10;:19;;;1805:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2498:14:::1;2484:11;:28;;;;2408:112:::0;:::o;2159:201::-;1827:5;;;;;;;;;;;1813:19;;:10;:19;;;1805:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2257:1:::1;2236:23;;:9;:23;;::::0;2228:51:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2302:9;2290:6;;:22;;;;;;;;;;;;;;;;;;2342:9;2328:24;;;;;;;;;;;;2159:201:::0;:::o;1436:16::-;;;;;;;;;;;;;:::o;1459:27::-;;;:::o;1329:39::-;;;:::o;2528:118::-;2575:7;2625:6;;;;;;;;;;;:10;;;:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2617:5;:20;;;;:::i;:::-;2602:11;;:36;;;;:::i;:::-;2595:43;;2528:118;:::o;3683:298::-;1827:5;;;;;;;;;;;1813:19;;:10;:19;;;1805:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;3797:2:::1;3781:18;;:12;:18;;;;:50;;;;;3827:3;3803:28;;:12;:28;;;;3781:50;3773:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;3885:12;3878:29;;;3908:5;;;;;;;;;;;3915:6;3878:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3953:12;3938:35;;;3966:6;3938:35;;;;;;:::i;:::-;;;;;;;;3683:298:::0;;:::o;1409:20::-;;;;;;;;;;;;;:::o;2368:31::-;;;;:::o;2654:799::-;995:1;1141:7;;:19;1133:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;995:1;1207:7;:18;;;;2735:4:::1;2725:6;:14;;2717:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;2843:6;2814:2;2807:20;;;2828:10;2807:32;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:42;;2799:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;2887:17;2907:6;;;;;;;;;;;:10;;;:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2887:32;;2950:4;2938:9;:16;2930:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2997:15;3015:11;;2997:29;;3054:5;3041:9;:18;3037:77;;3086:16;:14;:16::i;:::-;3076:26;;3037:77;3142:14;3124:47;;;3172:10;3184:6;3192:7;3124:76;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3211:16;3230:6;;;;;;;;;;;:10;;;:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3211:31;;3272:4;3261:8;:15;3253:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;3338:9;3326:8;:21;;3318:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;3403:10;3394:49;;;3415:6;3423:9;3434:8;3394:49;;;;;;;;:::i;:::-;;;;;;;;2706:747;;;951:1:::0;1248:7;:22;;;;2654:799;:::o;1375:27::-;;;:::o;3463:212::-;1827:5;;;;;;;;;;;1813:19;;:10;:19;;;1805:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;3566:1:::1;3546:22;;:8;:22;;::::0;3538:56:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;3613:8;3605:5;;:16;;;;;;;;;;;;;;;;;;3658:8;3637:30;;;;;;;;;;;;3463:212:::0;:::o;88:117:1:-;197:1;194;187:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:126::-;1062:7;1102:42;1095:5;1091:54;1080:65;;1025:126;;;:::o;1157:96::-;1194:7;1223:24;1241:5;1223:24;:::i;:::-;1212:35;;1157:96;;;:::o;1259:122::-;1332:24;1350:5;1332:24;:::i;:::-;1325:5;1322:35;1312:63;;1371:1;1368;1361:12;1312:63;1259:122;:::o;1387:139::-;1433:5;1471:6;1458:20;1449:29;;1487:33;1514:5;1487:33;:::i;:::-;1387:139;;;;:::o;1532:329::-;1591:6;1640:2;1628:9;1619:7;1615:23;1611:32;1608:119;;;1646:79;;:::i;:::-;1608:119;1766:1;1791:53;1836:7;1827:6;1816:9;1812:22;1791:53;:::i;:::-;1781:63;;1737:117;1532:329;;;;:::o;1867:60::-;1895:3;1916:5;1909:12;;1867:60;;;:::o;1933:142::-;1983:9;2016:53;2034:34;2043:24;2061:5;2043:24;:::i;:::-;2034:34;:::i;:::-;2016:53;:::i;:::-;2003:66;;1933:142;;;:::o;2081:126::-;2131:9;2164:37;2195:5;2164:37;:::i;:::-;2151:50;;2081:126;;;:::o;2213:135::-;2272:9;2305:37;2336:5;2305:37;:::i;:::-;2292:50;;2213:135;;;:::o;2354:149::-;2450:46;2490:5;2450:46;:::i;:::-;2445:3;2438:59;2354:149;;:::o;2509:240::-;2611:4;2649:2;2638:9;2634:18;2626:26;;2662:80;2739:1;2728:9;2724:17;2715:6;2662:80;:::i;:::-;2509:240;;;;:::o;2755:139::-;2818:9;2851:37;2882:5;2851:37;:::i;:::-;2838:50;;2755:139;;;:::o;2900:157::-;3000:50;3044:5;3000:50;:::i;:::-;2995:3;2988:63;2900:157;;:::o;3063:248::-;3169:4;3207:2;3196:9;3192:18;3184:26;;3220:84;3301:1;3290:9;3286:17;3277:6;3220:84;:::i;:::-;3063:248;;;;:::o;3317:118::-;3404:24;3422:5;3404:24;:::i;:::-;3399:3;3392:37;3317:118;;:::o;3441:222::-;3534:4;3572:2;3561:9;3557:18;3549:26;;3585:71;3653:1;3642:9;3638:17;3629:6;3585:71;:::i;:::-;3441:222;;;;:::o;3669:118::-;3756:24;3774:5;3756:24;:::i;:::-;3751:3;3744:37;3669:118;;:::o;3793:222::-;3886:4;3924:2;3913:9;3909:18;3901:26;;3937:71;4005:1;3994:9;3990:17;3981:6;3937:71;:::i;:::-;3793:222;;;;:::o;4021:474::-;4089:6;4097;4146:2;4134:9;4125:7;4121:23;4117:32;4114:119;;;4152:79;;:::i;:::-;4114:119;4272:1;4297:53;4342:7;4333:6;4322:9;4318:22;4297:53;:::i;:::-;4287:63;;4243:117;4399:2;4425:53;4470:7;4461:6;4450:9;4446:22;4425:53;:::i;:::-;4415:63;;4370:118;4021:474;;;;;:::o;4501:169::-;4585:11;4619:6;4614:3;4607:19;4659:4;4654:3;4650:14;4635:29;;4501:169;;;;:::o;4676:174::-;4816:26;4812:1;4804:6;4800:14;4793:50;4676:174;:::o;4856:366::-;4998:3;5019:67;5083:2;5078:3;5019:67;:::i;:::-;5012:74;;5095:93;5184:3;5095:93;:::i;:::-;5213:2;5208:3;5204:12;5197:19;;4856:366;;;:::o;5228:419::-;5394:4;5432:2;5421:9;5417:18;5409:26;;5481:9;5475:4;5471:20;5467:1;5456:9;5452:17;5445:47;5509:131;5635:4;5509:131;:::i;:::-;5501:139;;5228:419;;;:::o;5653:165::-;5793:17;5789:1;5781:6;5777:14;5770:41;5653:165;:::o;5824:366::-;5966:3;5987:67;6051:2;6046:3;5987:67;:::i;:::-;5980:74;;6063:93;6152:3;6063:93;:::i;:::-;6181:2;6176:3;6172:12;6165:19;;5824:366;;;:::o;6196:419::-;6362:4;6400:2;6389:9;6385:18;6377:26;;6449:9;6443:4;6439:20;6435:1;6424:9;6420:17;6413:47;6477:131;6603:4;6477:131;:::i;:::-;6469:139;;6196:419;;;:::o;6621:143::-;6678:5;6709:6;6703:13;6694:22;;6725:33;6752:5;6725:33;:::i;:::-;6621:143;;;;:::o;6770:351::-;6840:6;6889:2;6877:9;6868:7;6864:23;6860:32;6857:119;;;6895:79;;:::i;:::-;6857:119;7015:1;7040:64;7096:7;7087:6;7076:9;7072:22;7040:64;:::i;:::-;7030:74;;6986:128;6770:351;;;;:::o;7127:180::-;7175:77;7172:1;7165:88;7272:4;7269:1;7262:15;7296:4;7293:1;7286:15;7313:194;7353:4;7373:20;7391:1;7373:20;:::i;:::-;7368:25;;7407:20;7425:1;7407:20;:::i;:::-;7402:25;;7451:1;7448;7444:9;7436:17;;7475:1;7469:4;7466:11;7463:37;;;7480:18;;:::i;:::-;7463:37;7313:194;;;;:::o;7513:191::-;7553:3;7572:20;7590:1;7572:20;:::i;:::-;7567:25;;7606:20;7624:1;7606:20;:::i;:::-;7601:25;;7649:1;7646;7642:9;7635:16;;7670:3;7667:1;7664:10;7661:36;;;7677:18;;:::i;:::-;7661:36;7513:191;;;;:::o;7710:181::-;7850:33;7846:1;7838:6;7834:14;7827:57;7710:181;:::o;7897:366::-;8039:3;8060:67;8124:2;8119:3;8060:67;:::i;:::-;8053:74;;8136:93;8225:3;8136:93;:::i;:::-;8254:2;8249:3;8245:12;8238:19;;7897:366;;;:::o;8269:419::-;8435:4;8473:2;8462:9;8458:18;8450:26;;8522:9;8516:4;8512:20;8508:1;8497:9;8493:17;8486:47;8550:131;8676:4;8550:131;:::i;:::-;8542:139;;8269:419;;;:::o;8694:332::-;8815:4;8853:2;8842:9;8838:18;8830:26;;8866:71;8934:1;8923:9;8919:17;8910:6;8866:71;:::i;:::-;8947:72;9015:2;9004:9;9000:18;8991:6;8947:72;:::i;:::-;8694:332;;;;;:::o;9032:90::-;9066:7;9109:5;9102:13;9095:21;9084:32;;9032:90;;;:::o;9128:116::-;9198:21;9213:5;9198:21;:::i;:::-;9191:5;9188:32;9178:60;;9234:1;9231;9224:12;9178:60;9128:116;:::o;9250:137::-;9304:5;9335:6;9329:13;9320:22;;9351:30;9375:5;9351:30;:::i;:::-;9250:137;;;;:::o;9393:345::-;9460:6;9509:2;9497:9;9488:7;9484:23;9480:32;9477:119;;;9515:79;;:::i;:::-;9477:119;9635:1;9660:61;9713:7;9704:6;9693:9;9689:22;9660:61;:::i;:::-;9650:71;;9606:125;9393:345;;;;:::o;9744:181::-;9884:33;9880:1;9872:6;9868:14;9861:57;9744:181;:::o;9931:366::-;10073:3;10094:67;10158:2;10153:3;10094:67;:::i;:::-;10087:74;;10170:93;10259:3;10170:93;:::i;:::-;10288:2;10283:3;10279:12;10272:19;;9931:366;;;:::o;10303:419::-;10469:4;10507:2;10496:9;10492:18;10484:26;;10556:9;10550:4;10546:20;10542:1;10531:9;10527:17;10520:47;10584:131;10710:4;10584:131;:::i;:::-;10576:139;;10303:419;;;:::o;10728:231::-;10868:34;10864:1;10856:6;10852:14;10845:58;10937:14;10932:2;10924:6;10920:15;10913:39;10728:231;:::o;10965:366::-;11107:3;11128:67;11192:2;11187:3;11128:67;:::i;:::-;11121:74;;11204:93;11293:3;11204:93;:::i;:::-;11322:2;11317:3;11313:12;11306:19;;10965:366;;;:::o;11337:419::-;11503:4;11541:2;11530:9;11526:18;11518:26;;11590:9;11584:4;11580:20;11576:1;11565:9;11561:17;11554:47;11618:131;11744:4;11618:131;:::i;:::-;11610:139;;11337:419;;;:::o;11762:170::-;11902:22;11898:1;11890:6;11886:14;11879:46;11762:170;:::o;11938:366::-;12080:3;12101:67;12165:2;12160:3;12101:67;:::i;:::-;12094:74;;12177:93;12266:3;12177:93;:::i;:::-;12295:2;12290:3;12286:12;12279:19;;11938:366;;;:::o;12310:419::-;12476:4;12514:2;12503:9;12499:18;12491:26;;12563:9;12557:4;12553:20;12549:1;12538:9;12534:17;12527:47;12591:131;12717:4;12591:131;:::i;:::-;12583:139;;12310:419;;;:::o;12735:177::-;12875:29;12871:1;12863:6;12859:14;12852:53;12735:177;:::o;12918:366::-;13060:3;13081:67;13145:2;13140:3;13081:67;:::i;:::-;13074:74;;13157:93;13246:3;13157:93;:::i;:::-;13275:2;13270:3;13266:12;13259:19;;12918:366;;;:::o;13290:419::-;13456:4;13494:2;13483:9;13479:18;13471:26;;13543:9;13537:4;13533:20;13529:1;13518:9;13514:17;13507:47;13571:131;13697:4;13571:131;:::i;:::-;13563:139;;13290:419;;;:::o;13715:442::-;13864:4;13902:2;13891:9;13887:18;13879:26;;13915:71;13983:1;13972:9;13968:17;13959:6;13915:71;:::i;:::-;13996:72;14064:2;14053:9;14049:18;14040:6;13996:72;:::i;:::-;14078;14146:2;14135:9;14131:18;14122:6;14078:72;:::i;:::-;13715:442;;;;;;:::o;14163:176::-;14303:28;14299:1;14291:6;14287:14;14280:52;14163:176;:::o;14345:366::-;14487:3;14508:67;14572:2;14567:3;14508:67;:::i;:::-;14501:74;;14584:93;14673:3;14584:93;:::i;:::-;14702:2;14697:3;14693:12;14686:19;;14345:366;;;:::o;14717:419::-;14883:4;14921:2;14910:9;14906:18;14898:26;;14970:9;14964:4;14960:20;14956:1;14945:9;14941:17;14934:47;14998:131;15124:4;14998:131;:::i;:::-;14990:139;;14717:419;;;:::o;15142:175::-;15282:27;15278:1;15270:6;15266:14;15259:51;15142:175;:::o;15323:366::-;15465:3;15486:67;15550:2;15545:3;15486:67;:::i;:::-;15479:74;;15562:93;15651:3;15562:93;:::i;:::-;15680:2;15675:3;15671:12;15664:19;;15323:366;;;:::o;15695:419::-;15861:4;15899:2;15888:9;15884:18;15876:26;;15948:9;15942:4;15938:20;15934:1;15923:9;15919:17;15912:47;15976:131;16102:4;15976:131;:::i;:::-;15968:139;;15695:419;;;:::o;16120:442::-;16269:4;16307:2;16296:9;16292:18;16284:26;;16320:71;16388:1;16377:9;16373:17;16364:6;16320:71;:::i;:::-;16401:72;16469:2;16458:9;16454:18;16445:6;16401:72;:::i;:::-;16483;16551:2;16540:9;16536:18;16527:6;16483:72;:::i;:::-;16120:442;;;;;;:::o;16568:171::-;16708:23;16704:1;16696:6;16692:14;16685:47;16568:171;:::o;16745:366::-;16887:3;16908:67;16972:2;16967:3;16908:67;:::i;:::-;16901:74;;16984:93;17073:3;16984:93;:::i;:::-;17102:2;17097:3;17093:12;17086:19;;16745:366;;;:::o;17117:419::-;17283:4;17321:2;17310:9;17306:18;17298:26;;17370:9;17364:4;17360:20;17356:1;17345:9;17341:17;17334:47;17398:131;17524:4;17398:131;:::i;:::-;17390:139;;17117:419;;;:::o

ipfs://32688807a59a7e4bbc64ec53f6907ff20b6d5c97ad1d34023182d568bf0ae716