Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•  contract ChainXBridge *
•    - function swap_out(

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at optimistic.etherscan.io on 2023-07-28
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.13;

contract ChainXBridge {
    address public cold;
    uint64 public chainId;
    uint64 public nonce;

    event SwapOut(
        bytes32 swapId,
        uint64 fromChainId,
        uint64 toChainId,
        address sender,
        string receiver,
        uint256 amount,
        uint256 estGas
    );

    modifier autoIncreaseNonce() {
        nonce = nonce + 1;
        _;
    }

    constructor(
        address _cold,
        uint64 _chainId
    ){
        require(_cold != address(0), "InvalidCold");
        require(_chainId != 0, "InvalidChainId");

        cold = _cold;
        chainId = _chainId;
        nonce = 0;
    }

    function swap_out(
        bytes32 swapID,
        uint64 toChainId,
        string calldata receiver,
        uint256 amount,
        uint256 estGas
    ) external payable autoIncreaseNonce {
        require((cold != address(0)), "InvalidCold");
        require(msg.value == amount, "ValueErr");

        uint256 old_balance = cold.balance;
        (bool sent, ) = payable(cold).call{value: amount}("");
        require(sent, "Failed to send Ether");
        uint256 new_balance = cold.balance;

        require(new_balance > old_balance && new_balance == old_balance + amount, "Unexpect");

        emit SwapOut(
            swapID,
            chainId,
            toChainId,
            msg.sender,
            receiver,
            amount,
            estGas
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_cold","type":"address"},{"internalType":"uint64","name":"_chainId","type":"uint64"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"swapId","type":"bytes32"},{"indexed":false,"internalType":"uint64","name":"fromChainId","type":"uint64"},{"indexed":false,"internalType":"uint64","name":"toChainId","type":"uint64"},{"indexed":false,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"string","name":"receiver","type":"string"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"estGas","type":"uint256"}],"name":"SwapOut","type":"event"},{"inputs":[],"name":"chainId","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cold","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nonce","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"swapID","type":"bytes32"},{"internalType":"uint64","name":"toChainId","type":"uint64"},{"internalType":"string","name":"receiver","type":"string"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"estGas","type":"uint256"}],"name":"swap_out","outputs":[],"stateMutability":"payable","type":"function"}]

60806040523480156200001157600080fd5b5060405162000e0638038062000e06833981810160405281019062000037919062000243565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620000a9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620000a090620002eb565b60405180910390fd5b60008167ffffffffffffffff1603620000f9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620000f0906200035d565b60405180910390fd5b816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600060146101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506000600160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555050506200037f565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620001c68262000199565b9050919050565b620001d881620001b9565b8114620001e457600080fd5b50565b600081519050620001f881620001cd565b92915050565b600067ffffffffffffffff82169050919050565b6200021d81620001fe565b81146200022957600080fd5b50565b6000815190506200023d8162000212565b92915050565b600080604083850312156200025d576200025c62000194565b5b60006200026d85828601620001e7565b925050602062000280858286016200022c565b9150509250929050565b600082825260208201905092915050565b7f496e76616c6964436f6c64000000000000000000000000000000000000000000600082015250565b6000620002d3600b836200028a565b9150620002e0826200029b565b602082019050919050565b600060208201905081810360008301526200030681620002c4565b9050919050565b7f496e76616c6964436861696e4964000000000000000000000000000000000000600082015250565b600062000345600e836200028a565b915062000352826200030d565b602082019050919050565b60006020820190508181036000830152620003788162000336565b9050919050565b610a77806200038f6000396000f3fe60806040526004361061003f5760003560e01c80633e10842714610044578063578e9dc5146100605780639a8a05921461008b578063affed0e0146100b6575b600080fd5b61005e60048036038101906100599190610574565b6100e1565b005b34801561006c57600080fd5b50610075610401565b604051610082919061064f565b60405180910390f35b34801561009757600080fd5b506100a0610425565b6040516100ad9190610679565b60405180910390f35b3480156100c257600080fd5b506100cb61043f565b6040516100d89190610679565b60405180910390f35b60018060009054906101000a900467ffffffffffffffff1661010391906106c3565b600160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036101ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101b19061075e565b60405180910390fd5b8134146101fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f3906107ca565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1631905060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16846040516102809061081b565b60006040518083038185875af1925050503d80600081146102bd576040519150601f19603f3d011682016040523d82523d6000602084013e6102c2565b606091505b5050905080610306576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102fd9061087c565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16319050828111801561035c57508483610359919061089c565b81145b61039b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103929061093e565b60405180910390fd5b7fa870bebc9a9c76c706271fe3202670ae02938c915007460c9f34d87f3d134bc489600060149054906101000a900467ffffffffffffffff168a338b8b8b8b6040516103ee9897969594939291906109c9565b60405180910390a1505050505050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600060149054906101000a900467ffffffffffffffff1681565b600160009054906101000a900467ffffffffffffffff1681565b600080fd5b600080fd5b6000819050919050565b61047681610463565b811461048157600080fd5b50565b6000813590506104938161046d565b92915050565b600067ffffffffffffffff82169050919050565b6104b681610499565b81146104c157600080fd5b50565b6000813590506104d3816104ad565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f8401126104fe576104fd6104d9565b5b8235905067ffffffffffffffff81111561051b5761051a6104de565b5b602083019150836001820283011115610537576105366104e3565b5b9250929050565b6000819050919050565b6105518161053e565b811461055c57600080fd5b50565b60008135905061056e81610548565b92915050565b60008060008060008060a0878903121561059157610590610459565b5b600061059f89828a01610484565b96505060206105b089828a016104c4565b955050604087013567ffffffffffffffff8111156105d1576105d061045e565b5b6105dd89828a016104e8565b945094505060606105f089828a0161055f565b925050608061060189828a0161055f565b9150509295509295509295565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006106398261060e565b9050919050565b6106498161062e565b82525050565b60006020820190506106646000830184610640565b92915050565b61067381610499565b82525050565b600060208201905061068e600083018461066a565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006106ce82610499565b91506106d983610499565b92508267ffffffffffffffff038211156106f6576106f5610694565b5b828201905092915050565b600082825260208201905092915050565b7f496e76616c6964436f6c64000000000000000000000000000000000000000000600082015250565b6000610748600b83610701565b915061075382610712565b602082019050919050565b600060208201905081810360008301526107778161073b565b9050919050565b7f56616c7565457272000000000000000000000000000000000000000000000000600082015250565b60006107b4600883610701565b91506107bf8261077e565b602082019050919050565b600060208201905081810360008301526107e3816107a7565b9050919050565b600081905092915050565b50565b60006108056000836107ea565b9150610810826107f5565b600082019050919050565b6000610826826107f8565b9150819050919050565b7f4661696c656420746f2073656e64204574686572000000000000000000000000600082015250565b6000610866601483610701565b915061087182610830565b602082019050919050565b6000602082019050818103600083015261089581610859565b9050919050565b60006108a78261053e565b91506108b28361053e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156108e7576108e6610694565b5b828201905092915050565b7f556e657870656374000000000000000000000000000000000000000000000000600082015250565b6000610928600883610701565b9150610933826108f2565b602082019050919050565b600060208201905081810360008301526109578161091b565b9050919050565b61096781610463565b82525050565b82818337600083830152505050565b6000601f19601f8301169050919050565b60006109998385610701565b93506109a683858461096d565b6109af8361097c565b840190509392505050565b6109c38161053e565b82525050565b600060e0820190506109de600083018b61095e565b6109eb602083018a61066a565b6109f8604083018961066a565b610a056060830188610640565b8181036080830152610a1881868861098d565b9050610a2760a08301856109ba565b610a3460c08301846109ba565b999850505050505050505056fea26469706673582212209900ad0d0b3e2be96beb184be8f200bf73b07cff8285e3471b260fa5db76f31764736f6c634300080d003300000000000000000000000096efd141d4584b88a299590261859826d61f6311000000000000000000000000000000000000000000000000000000000000000a

0x60806040526004361061003f5760003560e01c80633e10842714610044578063578e9dc5146100605780639a8a05921461008b578063affed0e0146100b6575b600080fd5b61005e60048036038101906100599190610574565b6100e1565b005b34801561006c57600080fd5b50610075610401565b604051610082919061064f565b60405180910390f35b34801561009757600080fd5b506100a0610425565b6040516100ad9190610679565b60405180910390f35b3480156100c257600080fd5b506100cb61043f565b6040516100d89190610679565b60405180910390f35b60018060009054906101000a900467ffffffffffffffff1661010391906106c3565b600160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036101ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101b19061075e565b60405180910390fd5b8134146101fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f3906107ca565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1631905060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16846040516102809061081b565b60006040518083038185875af1925050503d80600081146102bd576040519150601f19603f3d011682016040523d82523d6000602084013e6102c2565b606091505b5050905080610306576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102fd9061087c565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16319050828111801561035c57508483610359919061089c565b81145b61039b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103929061093e565b60405180910390fd5b7fa870bebc9a9c76c706271fe3202670ae02938c915007460c9f34d87f3d134bc489600060149054906101000a900467ffffffffffffffff168a338b8b8b8b6040516103ee9897969594939291906109c9565b60405180910390a1505050505050505050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600060149054906101000a900467ffffffffffffffff1681565b600160009054906101000a900467ffffffffffffffff1681565b600080fd5b600080fd5b6000819050919050565b61047681610463565b811461048157600080fd5b50565b6000813590506104938161046d565b92915050565b600067ffffffffffffffff82169050919050565b6104b681610499565b81146104c157600080fd5b50565b6000813590506104d3816104ad565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f8401126104fe576104fd6104d9565b5b8235905067ffffffffffffffff81111561051b5761051a6104de565b5b602083019150836001820283011115610537576105366104e3565b5b9250929050565b6000819050919050565b6105518161053e565b811461055c57600080fd5b50565b60008135905061056e81610548565b92915050565b60008060008060008060a0878903121561059157610590610459565b5b600061059f89828a01610484565b96505060206105b089828a016104c4565b955050604087013567ffffffffffffffff8111156105d1576105d061045e565b5b6105dd89828a016104e8565b945094505060606105f089828a0161055f565b925050608061060189828a0161055f565b9150509295509295509295565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006106398261060e565b9050919050565b6106498161062e565b82525050565b60006020820190506106646000830184610640565b92915050565b61067381610499565b82525050565b600060208201905061068e600083018461066a565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006106ce82610499565b91506106d983610499565b92508267ffffffffffffffff038211156106f6576106f5610694565b5b828201905092915050565b600082825260208201905092915050565b7f496e76616c6964436f6c64000000000000000000000000000000000000000000600082015250565b6000610748600b83610701565b915061075382610712565b602082019050919050565b600060208201905081810360008301526107778161073b565b9050919050565b7f56616c7565457272000000000000000000000000000000000000000000000000600082015250565b60006107b4600883610701565b91506107bf8261077e565b602082019050919050565b600060208201905081810360008301526107e3816107a7565b9050919050565b600081905092915050565b50565b60006108056000836107ea565b9150610810826107f5565b600082019050919050565b6000610826826107f8565b9150819050919050565b7f4661696c656420746f2073656e64204574686572000000000000000000000000600082015250565b6000610866601483610701565b915061087182610830565b602082019050919050565b6000602082019050818103600083015261089581610859565b9050919050565b60006108a78261053e565b91506108b28361053e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156108e7576108e6610694565b5b828201905092915050565b7f556e657870656374000000000000000000000000000000000000000000000000600082015250565b6000610928600883610701565b9150610933826108f2565b602082019050919050565b600060208201905081810360008301526109578161091b565b9050919050565b61096781610463565b82525050565b82818337600083830152505050565b6000601f19601f8301169050919050565b60006109998385610701565b93506109a683858461096d565b6109af8361097c565b840190509392505050565b6109c38161053e565b82525050565b600060e0820190506109de600083018b61095e565b6109eb602083018a61066a565b6109f8604083018961066a565b610a056060830188610640565b8181036080830152610a1881868861098d565b9050610a2760a08301856109ba565b610a3460c08301846109ba565b999850505050505050505056fea26469706673582212209900ad0d0b3e2be96beb184be8f200bf73b07cff8285e3471b260fa5db76f31764736f6c634300080d0033

00000000000000000000000096efd141d4584b88a299590261859826d61f6311000000000000000000000000000000000000000000000000000000000000000a

-----Decoded View---------------
Arg [0] : _cold (address): 0x96efd141d4584B88a299590261859826D61F6311
Arg [1] : _chainId (uint64): 10

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000096efd141d4584b88a299590261859826d61f6311
Arg [1] : 000000000000000000000000000000000000000000000000000000000000000a

60:1479:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;730:806;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;89:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115:21;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;143:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;730:806;438:1;430:5;;;;;;;;;;;:9;;;;:::i;:::-;422:5;;:17;;;;;;;;;;;;;;;;;;963:1:::1;947:18;;:4;::::0;::::1;;;;;;;;:18;;::::0;938:44:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;1014:6;1001:9;:19;993:40;;;;;;;;;;;;:::i;:::-;;;;;;;;;1046:19;1068:4:::0;::::1;;;;;;;;;;:12;;;1046:34;;1092:9;1115:4:::0;::::1;;;;;;;;;;1107:18;;1133:6;1107:37;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1091:53;;;1163:4;1155:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;1203:19;1225:4:::0;::::1;;;;;;;;;;:12;;;1203:34;;1272:11;1258;:25;:64;;;;;1316:6;1302:11;:20;;;;:::i;:::-;1287:11;:35;1258:64;1250:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;1353:175;1375:6;1396:7;;;;;;;;;;;1418:9;1442:10;1467:8;;1490:6;1511;1353:175;;;;;;;;;;;;;:::i;:::-;;;;;;;;927:609;;;730:806:::0;;;;;;:::o;89:19::-;;;;;;;;;;;;:::o;115:21::-;;;;;;;;;;;;;:::o;143:19::-;;;;;;;;;;;;;:::o;88:117:1:-;197:1;194;187:12;211:117;320:1;317;310: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:101::-;726:7;766:18;759:5;755:30;744:41;;690:101;;;:::o;797:120::-;869:23;886:5;869:23;:::i;:::-;862:5;859:34;849:62;;907:1;904;897:12;849:62;797:120;:::o;923:137::-;968:5;1006:6;993:20;984:29;;1022:32;1048:5;1022:32;:::i;:::-;923:137;;;;:::o;1066:117::-;1175:1;1172;1165:12;1189:117;1298:1;1295;1288:12;1312:117;1421:1;1418;1411:12;1449:553;1507:8;1517:6;1567:3;1560:4;1552:6;1548:17;1544:27;1534:122;;1575:79;;:::i;:::-;1534:122;1688:6;1675:20;1665:30;;1718:18;1710:6;1707:30;1704:117;;;1740:79;;:::i;:::-;1704:117;1854:4;1846:6;1842:17;1830:29;;1908:3;1900:4;1892:6;1888:17;1878:8;1874:32;1871:41;1868:128;;;1915:79;;:::i;:::-;1868:128;1449:553;;;;;:::o;2008:77::-;2045:7;2074:5;2063:16;;2008:77;;;:::o;2091:122::-;2164:24;2182:5;2164:24;:::i;:::-;2157:5;2154:35;2144:63;;2203:1;2200;2193:12;2144:63;2091:122;:::o;2219:139::-;2265:5;2303:6;2290:20;2281:29;;2319:33;2346:5;2319:33;:::i;:::-;2219:139;;;;:::o;2364:1109::-;2470:6;2478;2486;2494;2502;2510;2559:3;2547:9;2538:7;2534:23;2530:33;2527:120;;;2566:79;;:::i;:::-;2527:120;2686:1;2711:53;2756:7;2747:6;2736:9;2732:22;2711:53;:::i;:::-;2701:63;;2657:117;2813:2;2839:52;2883:7;2874:6;2863:9;2859:22;2839:52;:::i;:::-;2829:62;;2784:117;2968:2;2957:9;2953:18;2940:32;2999:18;2991:6;2988:30;2985:117;;;3021:79;;:::i;:::-;2985:117;3134:65;3191:7;3182:6;3171:9;3167:22;3134:65;:::i;:::-;3116:83;;;;2911:298;3248:2;3274:53;3319:7;3310:6;3299:9;3295:22;3274:53;:::i;:::-;3264:63;;3219:118;3376:3;3403:53;3448:7;3439:6;3428:9;3424:22;3403:53;:::i;:::-;3393:63;;3347:119;2364:1109;;;;;;;;:::o;3479:126::-;3516:7;3556:42;3549:5;3545:54;3534:65;;3479:126;;;:::o;3611:96::-;3648:7;3677:24;3695:5;3677:24;:::i;:::-;3666:35;;3611:96;;;:::o;3713:118::-;3800:24;3818:5;3800:24;:::i;:::-;3795:3;3788:37;3713:118;;:::o;3837:222::-;3930:4;3968:2;3957:9;3953:18;3945:26;;3981:71;4049:1;4038:9;4034:17;4025:6;3981:71;:::i;:::-;3837:222;;;;:::o;4065:115::-;4150:23;4167:5;4150:23;:::i;:::-;4145:3;4138:36;4065:115;;:::o;4186:218::-;4277:4;4315:2;4304:9;4300:18;4292:26;;4328:69;4394:1;4383:9;4379:17;4370:6;4328:69;:::i;:::-;4186:218;;;;:::o;4410:180::-;4458:77;4455:1;4448:88;4555:4;4552:1;4545:15;4579:4;4576:1;4569:15;4596:254;4635:3;4654:19;4671:1;4654:19;:::i;:::-;4649:24;;4687:19;4704:1;4687:19;:::i;:::-;4682:24;;4792:1;4772:18;4768:26;4765:1;4762:33;4759:59;;;4798:18;;:::i;:::-;4759:59;4842:1;4839;4835:9;4828:16;;4596:254;;;;:::o;4856:169::-;4940:11;4974:6;4969:3;4962:19;5014:4;5009:3;5005:14;4990:29;;4856:169;;;;:::o;5031:161::-;5171:13;5167:1;5159:6;5155:14;5148:37;5031:161;:::o;5198:366::-;5340:3;5361:67;5425:2;5420:3;5361:67;:::i;:::-;5354:74;;5437:93;5526:3;5437:93;:::i;:::-;5555:2;5550:3;5546:12;5539:19;;5198:366;;;:::o;5570:419::-;5736:4;5774:2;5763:9;5759:18;5751:26;;5823:9;5817:4;5813:20;5809:1;5798:9;5794:17;5787:47;5851:131;5977:4;5851:131;:::i;:::-;5843:139;;5570:419;;;:::o;5995:158::-;6135:10;6131:1;6123:6;6119:14;6112:34;5995:158;:::o;6159:365::-;6301:3;6322:66;6386:1;6381:3;6322:66;:::i;:::-;6315:73;;6397:93;6486:3;6397:93;:::i;:::-;6515:2;6510:3;6506:12;6499:19;;6159:365;;;:::o;6530:419::-;6696:4;6734:2;6723:9;6719:18;6711:26;;6783:9;6777:4;6773:20;6769:1;6758:9;6754:17;6747:47;6811:131;6937:4;6811:131;:::i;:::-;6803:139;;6530:419;;;:::o;6955:147::-;7056:11;7093:3;7078:18;;6955:147;;;;:::o;7108:114::-;;:::o;7228:398::-;7387:3;7408:83;7489:1;7484:3;7408:83;:::i;:::-;7401:90;;7500:93;7589:3;7500:93;:::i;:::-;7618:1;7613:3;7609:11;7602:18;;7228:398;;;:::o;7632:379::-;7816:3;7838:147;7981:3;7838:147;:::i;:::-;7831:154;;8002:3;7995:10;;7632:379;;;:::o;8017:170::-;8157:22;8153:1;8145:6;8141:14;8134:46;8017:170;:::o;8193:366::-;8335:3;8356:67;8420:2;8415:3;8356:67;:::i;:::-;8349:74;;8432:93;8521:3;8432:93;:::i;:::-;8550:2;8545:3;8541:12;8534:19;;8193:366;;;:::o;8565:419::-;8731:4;8769:2;8758:9;8754:18;8746:26;;8818:9;8812:4;8808:20;8804:1;8793:9;8789:17;8782:47;8846:131;8972:4;8846:131;:::i;:::-;8838:139;;8565:419;;;:::o;8990:305::-;9030:3;9049:20;9067:1;9049:20;:::i;:::-;9044:25;;9083:20;9101:1;9083:20;:::i;:::-;9078:25;;9237:1;9169:66;9165:74;9162:1;9159:81;9156:107;;;9243:18;;:::i;:::-;9156:107;9287:1;9284;9280:9;9273:16;;8990:305;;;;:::o;9301:158::-;9441:10;9437:1;9429:6;9425:14;9418:34;9301:158;:::o;9465:365::-;9607:3;9628:66;9692:1;9687:3;9628:66;:::i;:::-;9621:73;;9703:93;9792:3;9703:93;:::i;:::-;9821:2;9816:3;9812:12;9805:19;;9465:365;;;:::o;9836:419::-;10002:4;10040:2;10029:9;10025:18;10017:26;;10089:9;10083:4;10079:20;10075:1;10064:9;10060:17;10053:47;10117:131;10243:4;10117:131;:::i;:::-;10109:139;;9836:419;;;:::o;10261:118::-;10348:24;10366:5;10348:24;:::i;:::-;10343:3;10336:37;10261:118;;:::o;10385:154::-;10469:6;10464:3;10459;10446:30;10531:1;10522:6;10517:3;10513:16;10506:27;10385:154;;;:::o;10545:102::-;10586:6;10637:2;10633:7;10628:2;10621:5;10617:14;10613:28;10603:38;;10545:102;;;:::o;10677:304::-;10775:3;10796:71;10860:6;10855:3;10796:71;:::i;:::-;10789:78;;10877:43;10913:6;10908:3;10901:5;10877:43;:::i;:::-;10945:29;10967:6;10945:29;:::i;:::-;10940:3;10936:39;10929:46;;10677:304;;;;;:::o;10987:118::-;11074:24;11092:5;11074:24;:::i;:::-;11069:3;11062:37;10987:118;;:::o;11111:989::-;11398:4;11436:3;11425:9;11421:19;11413:27;;11450:71;11518:1;11507:9;11503:17;11494:6;11450:71;:::i;:::-;11531:70;11597:2;11586:9;11582:18;11573:6;11531:70;:::i;:::-;11611;11677:2;11666:9;11662:18;11653:6;11611:70;:::i;:::-;11691:72;11759:2;11748:9;11744:18;11735:6;11691:72;:::i;:::-;11811:9;11805:4;11801:20;11795:3;11784:9;11780:19;11773:49;11839:88;11922:4;11913:6;11905;11839:88;:::i;:::-;11831:96;;11937:73;12005:3;11994:9;11990:19;11981:6;11937:73;:::i;:::-;12020;12088:3;12077:9;12073:19;12064:6;12020:73;:::i;:::-;11111:989;;;;;;;;;;;:::o

ipfs://9900ad0d0b3e2be96beb184be8f200bf73b07cff8285e3471b260fa5db76f317