Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)    - function mul(uint a, uint b)    - function div(uint a, uint b)  contract NBU_WETH *    - function deposit()    - function withdraw(uint wad)    - function totalSupply()    - function approve(address guy, uint wa ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-02-27
*/

pragma solidity =0.8.0;

library SafeMath {
    function add(uint a, uint b) internal pure returns (uint c) { c = a + b; require(c >= a); }
    function sub(uint a, uint b) internal pure returns (uint c) { require(a >= b); c = a - b; }
    function mul(uint a, uint b) internal pure returns (uint c) { c = a * b; require(a == 0 || c / a == b); }
    function div(uint a, uint b) internal pure returns (uint c) { require(b > 0); c = a / b; }
}


contract NBU_WETH {
    using SafeMath for uint;
    string public name     = "Nimbus Wrapped Ether";
    string public symbol   = "NWETH";
    uint8  public decimals = 18;

    event  Approval(address indexed src, address indexed guy, uint wad);
    event  Transfer(address indexed src, address indexed dst, uint wad);
    event  Deposit(address indexed dst, uint wad);
    event  Withdrawal(address indexed src, uint wad);

    mapping (address => uint)                       public  balanceOf;
    mapping (address => mapping (address => uint))  public  allowance;
    
    receive() payable external {
        deposit();
    }
    
    function deposit() public payable {
        balanceOf[msg.sender] = balanceOf[msg.sender].add(msg.value);
        emit Deposit(msg.sender, msg.value);
    }
    
    function withdraw(uint wad) public {
        require(balanceOf[msg.sender] >= wad);
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(wad);
        payable(msg.sender).transfer(wad);
        emit Withdrawal(msg.sender, wad);
    }

    function totalSupply() public view returns (uint) {
        return address(this).balance;
    }

    function approve(address guy, uint wad) public returns (bool) {
        allowance[msg.sender][guy] = wad;
        emit Approval(msg.sender, guy, wad);
        return true;
    }

    function transfer(address dst, uint wad) public returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad) public returns (bool) {
        require(balanceOf[src] >= wad);
        if (src != msg.sender && allowance[src][msg.sender] != uint(2 ** 256-1 )) {
            require(allowance[src][msg.sender] >= wad);
            allowance[src][msg.sender] -= wad;
        }
        balanceOf[src] = balanceOf[src].sub(wad);
        balanceOf[dst] = balanceOf[dst].add(wad);
        emit Transfer(src, dst, wad);
        return true;
    }    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"guy","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60c0604052601460808190527f4e696d627573205772617070656420457468657200000000000000000000000060a090815261003e916000919061008b565b506040805180820190915260058082526409cae8aa8960db1b602090920191825261006b9160019161008b565b506002805460ff1916601217905534801561008557600080fd5b5061015f565b82805461009790610124565b90600052602060002090601f0160209004810192826100b957600085556100ff565b82601f106100d257805160ff19168380011785556100ff565b828001600101855582156100ff579182015b828111156100ff5782518255916020019190600101906100e4565b5061010b92915061010f565b5090565b5b8082111561010b5760008155600101610110565b60028104600182168061013857607f821691505b6020821081141561015957634e487b7160e01b600052602260045260246000fd5b50919050565b61096b8061016e6000396000f3fe6080604052600436106100c05760003560e01c8063313ce56711610074578063a9059cbb1161004e578063a9059cbb146101e5578063d0e30db014610205578063dd62ed3e1461020d576100cf565b8063313ce5671461018e57806370a08231146101b057806395d89b41146101d0576100cf565b806318160ddd116100a557806318160ddd1461012c57806323b872dd1461014e5780632e1a7d4d1461016e576100cf565b806306fdde03146100d4578063095ea7b3146100ff576100cf565b366100cf576100cd61022d565b005b600080fd5b3480156100e057600080fd5b506100e9610295565b6040516100f691906107fb565b60405180910390f35b34801561010b57600080fd5b5061011f61011a3660046107af565b610323565b6040516100f691906107f0565b34801561013857600080fd5b5061014161039b565b6040516100f6919061086c565b34801561015a57600080fd5b5061011f610169366004610774565b61039f565b34801561017a57600080fd5b506100cd6101893660046107d8565b6105ac565b34801561019a57600080fd5b506101a3610672565b6040516100f69190610875565b3480156101bc57600080fd5b506101416101cb366004610728565b61067b565b3480156101dc57600080fd5b506100e961068d565b3480156101f157600080fd5b5061011f6102003660046107af565b61069a565b6100cd61022d565b34801561021957600080fd5b50610141610228366004610742565b6106ae565b3360009081526003602052604090205461024790346106cb565b33600081815260036020526040908190209290925590517fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9061028b90349061086c565b60405180910390a2565b600080546102a2906108b2565b80601f01602080910402602001604051908101604052809291908181526020018280546102ce906108b2565b801561031b5780601f106102f05761010080835404028352916020019161031b565b820191906000526020600020905b8154815290600101906020018083116102fe57829003601f168201915b505050505081565b33600081815260046020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038990869061086c565b60405180910390a35060015b92915050565b4790565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260408120548211156103d157600080fd5b73ffffffffffffffffffffffffffffffffffffffff84163314801590610447575073ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14155b156104cf5773ffffffffffffffffffffffffffffffffffffffff8416600090815260046020908152604080832033845290915290205482111561048957600080fd5b73ffffffffffffffffffffffffffffffffffffffff84166000908152600460209081526040808320338452909152812080548492906104c990849061089b565b90915550505b73ffffffffffffffffffffffffffffffffffffffff84166000908152600360205260409020546104ff90836106e6565b73ffffffffffffffffffffffffffffffffffffffff808616600090815260036020526040808220939093559085168152205461053b90836106cb565b73ffffffffffffffffffffffffffffffffffffffff80851660008181526003602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061059a90869061086c565b60405180910390a35060019392505050565b336000908152600360205260409020548111156105c857600080fd5b336000908152600360205260409020546105e290826106e6565b33600081815260036020526040808220939093559151909183156108fc02918491818181858888f19350505050158015610620573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b6582604051610667919061086c565b60405180910390a250565b60025460ff1681565b60036020526000908152604090205481565b600180546102a2906108b2565b60006106a733848461039f565b9392505050565b600460209081526000928352604080842090915290825290205481565b60006106d78284610883565b90508281101561039557600080fd5b6000818310156106f557600080fd5b6106a7828461089b565b803573ffffffffffffffffffffffffffffffffffffffff8116811461072357600080fd5b919050565b600060208284031215610739578081fd5b6106a7826106ff565b60008060408385031215610754578081fd5b61075d836106ff565b915061076b602084016106ff565b90509250929050565b600080600060608486031215610788578081fd5b610791846106ff565b925061079f602085016106ff565b9150604084013590509250925092565b600080604083850312156107c1578182fd5b6107ca836106ff565b946020939093013593505050565b6000602082840312156107e9578081fd5b5035919050565b901515815260200190565b6000602080835283518082850152825b818110156108275785810183015185820160400152820161080b565b818111156108385783604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b90815260200190565b60ff91909116815260200190565b6000821982111561089657610896610906565b500190565b6000828210156108ad576108ad610906565b500390565b6002810460018216806108c657607f821691505b60208210811415610900577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212200835292297b99e1026db42ef3ce488383df3d949b8fdcf6340bcf56085ce077464736f6c63430008000033

0x6080604052600436106100c05760003560e01c8063313ce56711610074578063a9059cbb1161004e578063a9059cbb146101e5578063d0e30db014610205578063dd62ed3e1461020d576100cf565b8063313ce5671461018e57806370a08231146101b057806395d89b41146101d0576100cf565b806318160ddd116100a557806318160ddd1461012c57806323b872dd1461014e5780632e1a7d4d1461016e576100cf565b806306fdde03146100d4578063095ea7b3146100ff576100cf565b366100cf576100cd61022d565b005b600080fd5b3480156100e057600080fd5b506100e9610295565b6040516100f691906107fb565b60405180910390f35b34801561010b57600080fd5b5061011f61011a3660046107af565b610323565b6040516100f691906107f0565b34801561013857600080fd5b5061014161039b565b6040516100f6919061086c565b34801561015a57600080fd5b5061011f610169366004610774565b61039f565b34801561017a57600080fd5b506100cd6101893660046107d8565b6105ac565b34801561019a57600080fd5b506101a3610672565b6040516100f69190610875565b3480156101bc57600080fd5b506101416101cb366004610728565b61067b565b3480156101dc57600080fd5b506100e961068d565b3480156101f157600080fd5b5061011f6102003660046107af565b61069a565b6100cd61022d565b34801561021957600080fd5b50610141610228366004610742565b6106ae565b3360009081526003602052604090205461024790346106cb565b33600081815260036020526040908190209290925590517fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9061028b90349061086c565b60405180910390a2565b600080546102a2906108b2565b80601f01602080910402602001604051908101604052809291908181526020018280546102ce906108b2565b801561031b5780601f106102f05761010080835404028352916020019161031b565b820191906000526020600020905b8154815290600101906020018083116102fe57829003601f168201915b505050505081565b33600081815260046020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038990869061086c565b60405180910390a35060015b92915050565b4790565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260408120548211156103d157600080fd5b73ffffffffffffffffffffffffffffffffffffffff84163314801590610447575073ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14155b156104cf5773ffffffffffffffffffffffffffffffffffffffff8416600090815260046020908152604080832033845290915290205482111561048957600080fd5b73ffffffffffffffffffffffffffffffffffffffff84166000908152600460209081526040808320338452909152812080548492906104c990849061089b565b90915550505b73ffffffffffffffffffffffffffffffffffffffff84166000908152600360205260409020546104ff90836106e6565b73ffffffffffffffffffffffffffffffffffffffff808616600090815260036020526040808220939093559085168152205461053b90836106cb565b73ffffffffffffffffffffffffffffffffffffffff80851660008181526003602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061059a90869061086c565b60405180910390a35060019392505050565b336000908152600360205260409020548111156105c857600080fd5b336000908152600360205260409020546105e290826106e6565b33600081815260036020526040808220939093559151909183156108fc02918491818181858888f19350505050158015610620573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b6582604051610667919061086c565b60405180910390a250565b60025460ff1681565b60036020526000908152604090205481565b600180546102a2906108b2565b60006106a733848461039f565b9392505050565b600460209081526000928352604080842090915290825290205481565b60006106d78284610883565b90508281101561039557600080fd5b6000818310156106f557600080fd5b6106a7828461089b565b803573ffffffffffffffffffffffffffffffffffffffff8116811461072357600080fd5b919050565b600060208284031215610739578081fd5b6106a7826106ff565b60008060408385031215610754578081fd5b61075d836106ff565b915061076b602084016106ff565b90509250929050565b600080600060608486031215610788578081fd5b610791846106ff565b925061079f602085016106ff565b9150604084013590509250925092565b600080604083850312156107c1578182fd5b6107ca836106ff565b946020939093013593505050565b6000602082840312156107e9578081fd5b5035919050565b901515815260200190565b6000602080835283518082850152825b818110156108275785810183015185820160400152820161080b565b818111156108385783604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b90815260200190565b60ff91909116815260200190565b6000821982111561089657610896610906565b500190565b6000828210156108ad576108ad610906565b500390565b6002810460018216806108c657607f821691505b60208210811415610900577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212200835292297b99e1026db42ef3ce488383df3d949b8fdcf6340bcf56085ce077464736f6c63430008000033

455:2005:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1084:9;:7;:9::i;:::-;455:2005;;;;;510:47;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1640:181;;;;;;;;;;-1:-1:-1;1640:181:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;1535:97::-;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;1960:493::-;;;;;;;;;;-1:-1:-1;1960:493:0;;;;;:::i;:::-;;:::i;1284:243::-;;;;;;;;;;-1:-1:-1;1284:243:0;;;;;:::i;:::-;;:::i;603:27::-;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;896:65::-;;;;;;;;;;-1:-1:-1;896:65:0;;;;;:::i;:::-;;:::i;564:32::-;;;;;;;;;;;;;:::i;1829:123::-;;;;;;;;;;-1:-1:-1;1829:123:0;;;;;:::i;:::-;;:::i;1113:159::-;;;:::i;968:65::-;;;;;;;;;;-1:-1:-1;968:65:0;;;;;:::i;:::-;;:::i;1113:159::-;1192:10;1182:21;;;;:9;:21;;;;;;:36;;1208:9;1182:25;:36::i;:::-;1168:10;1158:21;;;;:9;:21;;;;;;;:60;;;;1234:30;;;;;;1254:9;;1234:30;:::i;:::-;;;;;;;;1113:159::o;510:47::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1640:181::-;1723:10;1696:4;1713:21;;;:9;:21;;;;;;;;;:26;;;;;;;;;;:32;;;1761:30;1696:4;;1713:26;;1761:30;;;;1742:3;;1761:30;:::i;:::-;;;;;;;;-1:-1:-1;1809:4:0;1640:181;;;;;:::o;1535:97::-;1603:21;1535:97;:::o;1960:493::-;2059:14;;;2034:4;2059:14;;;:9;:14;;;;;;:21;-1:-1:-1;2059:21:0;2051:30;;;;;;2096:17;;;2103:10;2096:17;;;;:68;;-1:-1:-1;2117:14:0;;;;;;;:9;:14;;;;;;;;2132:10;2117:26;;;;;;;;2152:10;2117:47;;2096:68;2092:191;;;2189:14;;;;;;;:9;:14;;;;;;;;2204:10;2189:26;;;;;;;;:33;-1:-1:-1;2189:33:0;2181:42;;;;;;2238:14;;;;;;;:9;:14;;;;;;;;2253:10;2238:26;;;;;;;:33;;2268:3;;2238:14;:33;;2268:3;;2238:33;:::i;:::-;;;;-1:-1:-1;;2092:191:0;2310:14;;;;;;;:9;:14;;;;;;:23;;2329:3;2310:18;:23::i;:::-;2293:14;;;;;;;;:9;:14;;;;;;:40;;;;2361:14;;;;;;;:23;;2380:3;2361:18;:23::i;:::-;2344:14;;;;;;;;:9;:14;;;;;;;:40;;;;2400:23;;;;;;;;;;2419:3;;2400:23;:::i;:::-;;;;;;;;-1:-1:-1;2441:4:0;1960:493;;;;;:::o;1284:243::-;1348:10;1338:21;;;;:9;:21;;;;;;:28;-1:-1:-1;1338:28:0;1330:37;;;;;;1412:10;1402:21;;;;:9;:21;;;;;;:30;;1428:3;1402:25;:30::i;:::-;1388:10;1378:21;;;;:9;:21;;;;;;:54;;;;1443:33;;1388:10;;1443:33;;;;;1472:3;;1443:33;1378:21;1443:33;1472:3;1388:10;1443:33;;;;;;;;;;;;;;;;;;;;;1503:10;1492:27;;;1515:3;1492:27;;;;;;:::i;:::-;;;;;;;;1284:243;:::o;603:27::-;;;;;;:::o;896:65::-;;;;;;;;;;;;;:::o;564:32::-;;;;;;;:::i;1829:123::-;1886:4;1910:34;1923:10;1935:3;1940;1910:12;:34::i;:::-;1903:41;1829:123;-1:-1:-1;;;1829:123:0:o;968:65::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;51:91::-;103:6;117:5;121:1;117;:5;:::i;:::-;113:9;;137:1;132;:6;;124:15;;;;;148:91;200:6;223:1;218;:6;;210:15;;;;;;231:5;235:1;231;:5;:::i;14:198:1:-;84:20;;144:42;133:54;;123:65;;113:2;;202:1;199;192:12;113:2;65:147;;;:::o;217:198::-;;329:2;317:9;308:7;304:23;300:32;297:2;;;350:6;342;335:22;297:2;378:31;399:9;378:31;:::i;420:274::-;;;549:2;537:9;528:7;524:23;520:32;517:2;;;570:6;562;555:22;517:2;598:31;619:9;598:31;:::i;:::-;588:41;;648:40;684:2;673:9;669:18;648:40;:::i;:::-;638:50;;507:187;;;;;:::o;699:342::-;;;;845:2;833:9;824:7;820:23;816:32;813:2;;;866:6;858;851:22;813:2;894:31;915:9;894:31;:::i;:::-;884:41;;944:40;980:2;969:9;965:18;944:40;:::i;:::-;934:50;;1031:2;1020:9;1016:18;1003:32;993:42;;803:238;;;;;:::o;1046:266::-;;;1175:2;1163:9;1154:7;1150:23;1146:32;1143:2;;;1196:6;1188;1181:22;1143:2;1224:31;1245:9;1224:31;:::i;:::-;1214:41;1302:2;1287:18;;;;1274:32;;-1:-1:-1;;;1133:179:1:o;1317:190::-;;1429:2;1417:9;1408:7;1404:23;1400:32;1397:2;;;1450:6;1442;1435:22;1397:2;-1:-1:-1;1478:23:1;;1387:120;-1:-1:-1;1387:120:1:o;1512:187::-;1677:14;;1670:22;1652:41;;1640:2;1625:18;;1607:92::o;1704:662::-;;1845:2;1874;1863:9;1856:21;1906:6;1900:13;1949:6;1944:2;1933:9;1929:18;1922:34;1974:4;1987:140;2001:6;1998:1;1995:13;1987:140;;;2096:14;;;2092:23;;2086:30;2062:17;;;2081:2;2058:26;2051:66;2016:10;;1987:140;;;2145:6;2142:1;2139:13;2136:2;;;2215:4;2210:2;2201:6;2190:9;2186:22;2182:31;2175:45;2136:2;-1:-1:-1;2282:2:1;2270:15;2287:66;2266:88;2251:104;;;;2357:2;2247:113;;1825:541;-1:-1:-1;;;1825:541:1:o;2371:177::-;2517:25;;;2505:2;2490:18;;2472:76::o;2553:184::-;2725:4;2713:17;;;;2695:36;;2683:2;2668:18;;2650:87::o;2742:128::-;;2813:1;2809:6;2806:1;2803:13;2800:2;;;2819:18;;:::i;:::-;-1:-1:-1;2855:9:1;;2790:80::o;2875:125::-;;2943:1;2940;2937:8;2934:2;;;2948:18;;:::i;:::-;-1:-1:-1;2985:9:1;;2924:76::o;3005:437::-;3090:1;3080:12;;3137:1;3127:12;;;3148:2;;3202:4;3194:6;3190:17;3180:27;;3148:2;3255;3247:6;3244:14;3224:18;3221:38;3218:2;;;3292:77;3289:1;3282:88;3393:4;3390:1;3383:15;3421:4;3418:1;3411:15;3218:2;;3060:382;;;:::o;3447:184::-;3499:77;3496:1;3489:88;3596:4;3593:1;3586:15;3620:4;3617:1;3610:15

ipfs://0835292297b99e1026db42ef3ce488383df3d949b8fdcf6340bcf56085ce0774