Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IRelayerRegistry
•    - function getRelayerBalance(address re ...
•    - function isRelayer(address relayer)
•    - function setMinStakeAmount(uint256 mi ...
•    - function nullifyBalance(address relay ...
• interface IStakingRewards
•    - function withdrawTorn(uint256 amount)
•  contract Proposal *
•    - function getNullifiedTotal(address[13 ...
•    - function executeProposal()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-04-17
*/

pragma solidity 0.8.1;

interface IRelayerRegistry {

	function getRelayerBalance(address relayer) external returns (uint256);

	function isRelayer(address relayer) external returns (bool);

	function setMinStakeAmount(uint256 minAmount) external;

	function nullifyBalance(address relayer) external;

}

interface IStakingRewards {

	function withdrawTorn(uint256 amount) external;

}

contract Proposal {

    function getNullifiedTotal(address[13] memory relayers) public returns (uint256) {        
        uint256 nullifiedTotal;

        address _registryAddress = 0x58E8dCC13BE9780fC42E8723D8EaD4CF46943dF2;

        for (uint8 x = 0; x < relayers.length; x++) {
            nullifiedTotal += IRelayerRegistry(_registryAddress).getRelayerBalance(relayers[x]);
        }

        return nullifiedTotal;
    }

    function executeProposal() external { 
        address[13] memory VIOLATING_RELAYERS = [
            0x30F96AEF199B399B722F8819c9b0723016CEAe6C,     // moon-relayer.eth 
            0xEFa22d23de9f293B11e0c4aC865d7b440647587a,     // tornado-relayer.eth 
            0x996ad81FD83eD7A87FD3D03694115dff19db0B3b,     // secure-tornado.eth 
            0x7853E027F37830790685622cdd8685fF0c8255A2,     // tornado-secure.eth 
            0x36DD7b862746fdD3eDd3577c8411f1B76FDC2Af5,     // tornado-crypto-bot-exchange.eth
            0x18F516dD6D5F46b2875Fd822B994081274be2a8b,     // torn69.eth
            0x853281B7676DFB66B87e2f26c9cB9D10Ce883F37,     // available-reliable-relayer.eth
            0xaaaaD0b504B4CD22348C4Db1071736646Aa314C6,     // tornrelayers.eth
            0x0000208a6cC0299dA631C08fE8c2EDe435Ea83B8,     // 0xtornadocash.eth
            0xf0D9b969925116074eF43e7887Bcf035Ff1e7B19,     // lowfee-relayer.eth
            0x12D92FeD171F16B3a05ACB1542B40648E7CEd384,     // torn-relayers.eth
            0x87BeDf6AD81A2907633Ab68D02c44f0415bc68C1,     // tornrelayer.eth
            0x14812AE927e2BA5aA0c0f3C0eA016b3039574242      // pls-im-poor.eth
        ];

        uint256 NEW_MINIMUM_STAKE_AMOUNT = 2000 ether; 
        uint256 NULLIFIED_TOTAL_AMOUNT = getNullifiedTotal(VIOLATING_RELAYERS);

        address _registryAddress = 0x58E8dCC13BE9780fC42E8723D8EaD4CF46943dF2;
        address _stakingAddress = 0x2FC93484614a34f26F7970CBB94615bA109BB4bf;

        IRelayerRegistry(_registryAddress).setMinStakeAmount(NEW_MINIMUM_STAKE_AMOUNT);

        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[0]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[1]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[2]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[3]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[4]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[5]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[6]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[7]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[8]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[9]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[10]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[11]);
        IRelayerRegistry(_registryAddress).nullifyBalance(VIOLATING_RELAYERS[12]);

        IStakingRewards(_stakingAddress).withdrawTorn(NULLIFIED_TOTAL_AMOUNT);
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"name":"executeProposal","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[13]","name":"relayers","type":"address[13]"}],"name":"getNullifiedTotal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50611262806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063373058b81461003b5780636f4879de14610045575b600080fd5b610043610075565b005b61005f600480360381019061005a9190610fa3565b610dce565b60405161006c919061102f565b60405180910390f35b6000604051806101a001604052807330f96aef199b399b722f8819c9b0723016ceae6c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173efa22d23de9f293b11e0c4ac865d7b440647587a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173996ad81fd83ed7a87fd3d03694115dff19db0b3b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001737853e027f37830790685622cdd8685ff0c8255a273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017336dd7b862746fdd3edd3577c8411f1b76fdc2af573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017318f516dd6d5f46b2875fd822b994081274be2a8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173853281b7676dfb66b87e2f26c9cb9d10ce883f3773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173aaaad0b504b4cd22348c4db1071736646aa314c673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200171208a6cc0299da631c08fe8c2ede435ea83b873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173f0d9b969925116074ef43e7887bcf035ff1e7b1973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017312d92fed171f16b3a05acb1542b40648e7ced38473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017387bedf6ad81a2907633ab68d02c44f0415bc68c173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017314812ae927e2ba5aa0c0f3c0ea016b303957424273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681525090506000686c6b935b8bbd4000009050600061042883610dce565b905060007358e8dcc13be9780fc42e8723d8ead4cf46943df290506000732fc93484614a34f26f7970cbb94615ba109bb4bf90508173ffffffffffffffffffffffffffffffffffffffff1663eb4af045856040518263ffffffff1660e01b8152600401610495919061102f565b600060405180830381600087803b1580156104af57600080fd5b505af11580156104c3573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866000600d811061051d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b815260040161053e9190611014565b600060405180830381600087803b15801561055857600080fd5b505af115801561056c573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866001600d81106105c6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016105e79190611014565b600060405180830381600087803b15801561060157600080fd5b505af1158015610615573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866002600d811061066f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016106909190611014565b600060405180830381600087803b1580156106aa57600080fd5b505af11580156106be573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866003600d8110610718577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016107399190611014565b600060405180830381600087803b15801561075357600080fd5b505af1158015610767573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866004600d81106107c1577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016107e29190611014565b600060405180830381600087803b1580156107fc57600080fd5b505af1158015610810573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866005600d811061086a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b815260040161088b9190611014565b600060405180830381600087803b1580156108a557600080fd5b505af11580156108b9573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866006600d8110610913577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016109349190611014565b600060405180830381600087803b15801561094e57600080fd5b505af1158015610962573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866007600d81106109bc577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016109dd9190611014565b600060405180830381600087803b1580156109f757600080fd5b505af1158015610a0b573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866008600d8110610a65577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610a869190611014565b600060405180830381600087803b158015610aa057600080fd5b505af1158015610ab4573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866009600d8110610b0e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610b2f9190611014565b600060405180830381600087803b158015610b4957600080fd5b505af1158015610b5d573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600a600d8110610bb7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610bd89190611014565b600060405180830381600087803b158015610bf257600080fd5b505af1158015610c06573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600b600d8110610c60577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610c819190611014565b600060405180830381600087803b158015610c9b57600080fd5b505af1158015610caf573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600c600d8110610d09577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610d2a9190611014565b600060405180830381600087803b158015610d4457600080fd5b505af1158015610d58573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff1663f58073b1846040518263ffffffff1660e01b8152600401610d95919061102f565b600060405180830381600087803b158015610daf57600080fd5b505af1158015610dc3573d6000803e3d6000fd5b505050505050505050565b60008060007358e8dcc13be9780fc42e8723d8ead4cf46943df2905060005b600d8160ff161015610ee4578173ffffffffffffffffffffffffffffffffffffffff1663b971a6bf868360ff16600d8110610e51577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610e729190611014565b602060405180830381600087803b158015610e8c57600080fd5b505af1158015610ea0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec49190610fcd565b83610ecf9190611095565b92508080610edc90611165565b915050610ded565b508192505050919050565b6000610f02610efd8461106f565b61104a565b90508082856020860282011115610f1857600080fd5b60005b85811015610f485781610f2e8882610f52565b845260208401935060208301925050600181019050610f1b565b5050509392505050565b600081359050610f61816111fe565b92915050565b600082601f830112610f7857600080fd5b600d610f85848285610eef565b91505092915050565b600081519050610f9d81611215565b92915050565b60006101a08284031215610fb657600080fd5b6000610fc484828501610f67565b91505092915050565b600060208284031215610fdf57600080fd5b6000610fed84828501610f8e565b91505092915050565b610fff816110eb565b82525050565b61100e8161111d565b82525050565b60006020820190506110296000830184610ff6565b92915050565b60006020820190506110446000830184611005565b92915050565b6000611054611065565b90506110608282611134565b919050565b6000604051905090565b600067ffffffffffffffff82111561108a576110896111be565b5b602082029050919050565b60006110a08261111d565b91506110ab8361111d565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156110e0576110df61118f565b5b828201905092915050565b60006110f6826110fd565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b61113d826111ed565b810181811067ffffffffffffffff8211171561115c5761115b6111be565b5b80604052505050565b600061117082611127565b915060ff8214156111845761118361118f565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b611207816110eb565b811461121257600080fd5b50565b61121e8161111d565b811461122957600080fd5b5056fea264697066735822122038fd4d05d1b8126eaecea20208521316728eb3e7136d118ef0feae57ca58b2a764736f6c63430008010033

0x608060405234801561001057600080fd5b50600436106100365760003560e01c8063373058b81461003b5780636f4879de14610045575b600080fd5b610043610075565b005b61005f600480360381019061005a9190610fa3565b610dce565b60405161006c919061102f565b60405180910390f35b6000604051806101a001604052807330f96aef199b399b722f8819c9b0723016ceae6c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173efa22d23de9f293b11e0c4ac865d7b440647587a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173996ad81fd83ed7a87fd3d03694115dff19db0b3b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001737853e027f37830790685622cdd8685ff0c8255a273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017336dd7b862746fdd3edd3577c8411f1b76fdc2af573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017318f516dd6d5f46b2875fd822b994081274be2a8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173853281b7676dfb66b87e2f26c9cb9d10ce883f3773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173aaaad0b504b4cd22348c4db1071736646aa314c673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200171208a6cc0299da631c08fe8c2ede435ea83b873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173f0d9b969925116074ef43e7887bcf035ff1e7b1973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017312d92fed171f16b3a05acb1542b40648e7ced38473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017387bedf6ad81a2907633ab68d02c44f0415bc68c173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020017314812ae927e2ba5aa0c0f3c0ea016b303957424273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681525090506000686c6b935b8bbd4000009050600061042883610dce565b905060007358e8dcc13be9780fc42e8723d8ead4cf46943df290506000732fc93484614a34f26f7970cbb94615ba109bb4bf90508173ffffffffffffffffffffffffffffffffffffffff1663eb4af045856040518263ffffffff1660e01b8152600401610495919061102f565b600060405180830381600087803b1580156104af57600080fd5b505af11580156104c3573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866000600d811061051d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b815260040161053e9190611014565b600060405180830381600087803b15801561055857600080fd5b505af115801561056c573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866001600d81106105c6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016105e79190611014565b600060405180830381600087803b15801561060157600080fd5b505af1158015610615573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866002600d811061066f577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016106909190611014565b600060405180830381600087803b1580156106aa57600080fd5b505af11580156106be573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866003600d8110610718577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016107399190611014565b600060405180830381600087803b15801561075357600080fd5b505af1158015610767573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866004600d81106107c1577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016107e29190611014565b600060405180830381600087803b1580156107fc57600080fd5b505af1158015610810573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866005600d811061086a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b815260040161088b9190611014565b600060405180830381600087803b1580156108a557600080fd5b505af11580156108b9573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866006600d8110610913577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016109349190611014565b600060405180830381600087803b15801561094e57600080fd5b505af1158015610962573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866007600d81106109bc577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b81526004016109dd9190611014565b600060405180830381600087803b1580156109f757600080fd5b505af1158015610a0b573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866008600d8110610a65577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610a869190611014565b600060405180830381600087803b158015610aa057600080fd5b505af1158015610ab4573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd04866009600d8110610b0e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610b2f9190611014565b600060405180830381600087803b158015610b4957600080fd5b505af1158015610b5d573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600a600d8110610bb7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610bd89190611014565b600060405180830381600087803b158015610bf257600080fd5b505af1158015610c06573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600b600d8110610c60577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610c819190611014565b600060405180830381600087803b158015610c9b57600080fd5b505af1158015610caf573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff16634d4efd0486600c600d8110610d09577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610d2a9190611014565b600060405180830381600087803b158015610d4457600080fd5b505af1158015610d58573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff1663f58073b1846040518263ffffffff1660e01b8152600401610d95919061102f565b600060405180830381600087803b158015610daf57600080fd5b505af1158015610dc3573d6000803e3d6000fd5b505050505050505050565b60008060007358e8dcc13be9780fc42e8723d8ead4cf46943df2905060005b600d8160ff161015610ee4578173ffffffffffffffffffffffffffffffffffffffff1663b971a6bf868360ff16600d8110610e51577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200201516040518263ffffffff1660e01b8152600401610e729190611014565b602060405180830381600087803b158015610e8c57600080fd5b505af1158015610ea0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec49190610fcd565b83610ecf9190611095565b92508080610edc90611165565b915050610ded565b508192505050919050565b6000610f02610efd8461106f565b61104a565b90508082856020860282011115610f1857600080fd5b60005b85811015610f485781610f2e8882610f52565b845260208401935060208301925050600181019050610f1b565b5050509392505050565b600081359050610f61816111fe565b92915050565b600082601f830112610f7857600080fd5b600d610f85848285610eef565b91505092915050565b600081519050610f9d81611215565b92915050565b60006101a08284031215610fb657600080fd5b6000610fc484828501610f67565b91505092915050565b600060208284031215610fdf57600080fd5b6000610fed84828501610f8e565b91505092915050565b610fff816110eb565b82525050565b61100e8161111d565b82525050565b60006020820190506110296000830184610ff6565b92915050565b60006020820190506110446000830184611005565b92915050565b6000611054611065565b90506110608282611134565b919050565b6000604051905090565b600067ffffffffffffffff82111561108a576110896111be565b5b602082029050919050565b60006110a08261111d565b91506110ab8361111d565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156110e0576110df61118f565b5b828201905092915050565b60006110f6826110fd565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b61113d826111ed565b810181811067ffffffffffffffff8211171561115c5761115b6111be565b5b80604052505050565b600061117082611127565b915060ff8214156111845761118361118f565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b611207816110eb565b811461121257600080fd5b50565b61121e8161111d565b811461122957600080fd5b5056fea264697066735822122038fd4d05d1b8126eaecea20208521316728eb3e7136d118ef0feae57ca58b2a764736f6c63430008010033

407:3205:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;854:2753;;;:::i;:::-;;434:412;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;854:2753;902:37;:1141;;;;;;;;957:42;902:1141;;;;;;;;1039:42;902:1141;;;;;;;;1124:42;902:1141;;;;;;;;1208:42;902:1141;;;;;;;;1292:42;902:1141;;;;;;;;1388:42;902:1141;;;;;;;;1463:42;902:1141;;;;;;;;1558:42;902:1141;;;;;;;;1639:42;902:1141;;;;;;;;1721:42;902:1141;;;;;;;;1804:42;902:1141;;;;;;;;1886:42;902:1141;;;;;;;;1966:42;902:1141;;;;;;;;;2056:32;2091:10;2056:45;;2113:30;2146:37;2164:18;2146:17;:37::i;:::-;2113:70;;2196:24;2223:42;2196:69;;2276:23;2302:42;2276:68;;2374:16;2357:52;;;2410:24;2357:78;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2465:16;2448:49;;;2498:18;2517:1;2498:21;;;;;;;;;;;;;;;;;;;2448:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2548:16;2531:49;;;2581:18;2600:1;2581:21;;;;;;;;;;;;;;;;;;;2531:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2631:16;2614:49;;;2664:18;2683:1;2664:21;;;;;;;;;;;;;;;;;;;2614:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2714:16;2697:49;;;2747:18;2766:1;2747:21;;;;;;;;;;;;;;;;;;;2697:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2797:16;2780:49;;;2830:18;2849:1;2830:21;;;;;;;;;;;;;;;;;;;2780:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2880:16;2863:49;;;2913:18;2932:1;2913:21;;;;;;;;;;;;;;;;;;;2863:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2963:16;2946:49;;;2996:18;3015:1;2996:21;;;;;;;;;;;;;;;;;;;2946:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3046:16;3029:49;;;3079:18;3098:1;3079:21;;;;;;;;;;;;;;;;;;;3029:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3129:16;3112:49;;;3162:18;3181:1;3162:21;;;;;;;;;;;;;;;;;;;3112:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3212:16;3195:49;;;3245:18;3264:1;3245:21;;;;;;;;;;;;;;;;;;;3195:72;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3295:16;3278:49;;;3328:18;3347:2;3328:22;;;;;;;;;;;;;;;;;;;3278:73;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3379:16;3362:49;;;3412:18;3431:2;3412:22;;;;;;;;;;;;;;;;;;;3362:73;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3463:16;3446:49;;;3496:18;3515:2;3496:22;;;;;;;;;;;;;;;;;;;3446:73;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3548:15;3532:45;;;3578:22;3532:69;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;854:2753;;;;;:::o;434:412::-;506:7;534:22;569:24;596:42;569:69;;656:7;651:154;673:15;669:1;:19;;;651:154;;;745:16;728:52;;;781:8;790:1;781:11;;;;;;;;;;;;;;;;;;;;;728:65;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;710:83;;;;;:::i;:::-;;;690:3;;;;;:::i;:::-;;;;651:154;;;;824:14;817:21;;;;434:412;;;:::o;26:568:1:-;;146:80;162:63;218:6;162:63;:::i;:::-;146:80;:::i;:::-;137:89;;246:5;272:6;322:3;314:4;306:6;302:17;297:3;293:27;290:36;287:2;;;339:1;336;329:12;287:2;367:1;352:236;377:6;374:1;371:13;352:236;;;444:3;472:37;505:3;493:10;472:37;:::i;:::-;467:3;460:50;539:4;534:3;530:14;523:21;;573:4;568:3;564:14;557:21;;412:176;399:1;396;392:9;387:14;;352:236;;;356:14;127:467;;;;;;;:::o;600:139::-;;684:6;671:20;662:29;;700:33;727:5;700:33;:::i;:::-;652:87;;;;:::o;764:274::-;;883:3;876:4;868:6;864:17;860:27;850:2;;901:1;898;891:12;850:2;928:4;950:82;1028:3;1020:6;1012;950:82;:::i;:::-;941:91;;840:198;;;;;:::o;1044:143::-;;1132:6;1126:13;1117:22;;1148:33;1175:5;1148:33;:::i;:::-;1107:80;;;;:::o;1193:311::-;;1325:3;1313:9;1304:7;1300:23;1296:33;1293:2;;;1342:1;1339;1332:12;1293:2;1385:1;1410:77;1479:7;1470:6;1459:9;1455:22;1410:77;:::i;:::-;1400:87;;1356:141;1283:221;;;;:::o;1510:284::-;;1629:2;1617:9;1608:7;1604:23;1600:32;1597:2;;;1645:1;1642;1635:12;1597:2;1688:1;1713:64;1769:7;1760:6;1749:9;1745:22;1713:64;:::i;:::-;1703:74;;1659:128;1587:207;;;;:::o;1800:118::-;1887:24;1905:5;1887:24;:::i;:::-;1882:3;1875:37;1865:53;;:::o;1924:118::-;2011:24;2029:5;2011:24;:::i;:::-;2006:3;1999:37;1989:53;;:::o;2048:222::-;;2179:2;2168:9;2164:18;2156:26;;2192:71;2260:1;2249:9;2245:17;2236:6;2192:71;:::i;:::-;2146:124;;;;:::o;2276:222::-;;2407:2;2396:9;2392:18;2384:26;;2420:71;2488:1;2477:9;2473:17;2464:6;2420:71;:::i;:::-;2374:124;;;;:::o;2504:129::-;;2565:20;;:::i;:::-;2555:30;;2594:33;2622:4;2614:6;2594:33;:::i;:::-;2545:88;;;:::o;2639:75::-;;2705:2;2699:9;2689:19;;2679:35;:::o;2720:250::-;;2886:18;2878:6;2875:30;2872:2;;;2908:18;;:::i;:::-;2872:2;2958:4;2950:6;2946:17;2938:25;;2801:169;;;:::o;2976:305::-;;3035:20;3053:1;3035:20;:::i;:::-;3030:25;;3069:20;3087:1;3069:20;:::i;:::-;3064:25;;3223:1;3155:66;3151:74;3148:1;3145:81;3142:2;;;3229:18;;:::i;:::-;3142:2;3273:1;3270;3266:9;3259:16;;3020:261;;;;:::o;3287:96::-;;3353:24;3371:5;3353:24;:::i;:::-;3342:35;;3332:51;;;:::o;3389:126::-;;3466:42;3459:5;3455:54;3444:65;;3434:81;;;:::o;3521:77::-;;3587:5;3576:16;;3566:32;;;:::o;3604:86::-;;3679:4;3672:5;3668:16;3657:27;;3647:43;;;:::o;3696:281::-;3779:27;3801:4;3779:27;:::i;:::-;3771:6;3767:40;3909:6;3897:10;3894:22;3873:18;3861:10;3858:34;3855:62;3852:2;;;3920:18;;:::i;:::-;3852:2;3960:10;3956:2;3949:22;3739:238;;;:::o;3983:167::-;;4043:22;4059:5;4043:22;:::i;:::-;4034:31;;4087:4;4080:5;4077:15;4074:2;;;4095:18;;:::i;:::-;4074:2;4142:1;4135:5;4131:13;4124:20;;4024:126;;;:::o;4156:180::-;4204:77;4201:1;4194:88;4301:4;4298:1;4291:15;4325:4;4322:1;4315:15;4342:180;4390:77;4387:1;4380:88;4487:4;4484:1;4477:15;4511:4;4508:1;4501:15;4528:102;;4620:2;4616:7;4611:2;4604:5;4600:14;4596:28;4586:38;;4576:54;;;:::o;4636:122::-;4709:24;4727:5;4709:24;:::i;:::-;4702:5;4699:35;4689:2;;4748:1;4745;4738:12;4689:2;4679:79;:::o;4764:122::-;4837:24;4855:5;4837:24;:::i;:::-;4830:5;4827:35;4817:2;;4876:1;4873;4866:12;4817:2;4807:79;:::o

ipfs://38fd4d05d1b8126eaecea20208521316728eb3e7136d118ef0feae57ca58b2a7