link fallback block in cfg #627
Description
Component
Heimdall (Core)
Have you ensured that you are up to date?
- Bifrost
- Heimdall
What version of Heimdall are you on?
0.9.0
Operating System
macOS (Apple Silicon)
Describe the bug
heimdall cfg 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 -d -vvv
returns
digraph
digraph G {
node [shape=box, style="rounded", fontname="Helvetica"];
edge [fontname="Helvetica"];
0 [ label = "0 PUSH1 0x60\l0x02 PUSH1 0x40\l0x04 MSTORE \l0x05 PUSH1 0x04\l0x07 CALLDATASIZE \l0x08 LT \l0x09 PUSH2 0xaf\l0x0c JUMPI \l" ]
1 [ label = "0x0d PUSH1 0\l0x0f CALLDATALOAD \l0x10 PUSH29 0x0100000000000000000000000000000000000000000000000000000000\l0x2e SWAP1 \l0x2f DIV \l0x30 PUSH4 0xffffffff\l0x35 AND \l0x36 DUP1 \l0x37 PUSH4 0x06fdde03\l0x3c EQ \l0x3d PUSH2 0xb9\l0x40 JUMPI \l" ]
2 [ label = "0xb9 JUMPDEST \l0xba CALLVALUE \l0xbb ISZERO \l0xbc PUSH2 0xc4\l0xbf JUMPI \l" ]
3 [ label = "0xc0 PUSH1 0\l0xc2 DUP1 \l0xc3 REVERT \l" ]
4 [ label = "0xc4 JUMPDEST \l0xc5 PUSH2 0xcc\l0xc8 PUSH2 0x04dd\l0xcb JUMP \l0x04dd JUMPDEST \l0x04de PUSH1 0\l0x04e0 DUP1 \l0x04e1 SLOAD \l0x04e2 PUSH1 0x01\l0x04e4 DUP2 \l0x04e5 PUSH1 0x01\l0x04e7 AND \l0x04e8 ISZERO \l0x04e9 PUSH2 0x0100\l0x04ec MUL \l0x04ed SUB \l0x04ee AND \l0x04ef PUSH1 0x02\l0x04f1 SWAP1 \l0x04f2 DIV \l0x04f3 DUP1 \l0x04f4 PUSH1 0x1f\l0x04f6 ADD \l0x04f7 PUSH1 0x20\l0x04f9 DUP1 \l0x04fa SWAP2 \l0x04fb DIV \l0x04fc MUL \l0x04fd PUSH1 0x20\l0x04ff ADD \l0x0500 PUSH1 0x40\l0x0502 MLOAD \l0x0503 SWAP1 \l0x0504 DUP2 \l0x0505 ADD \l0x0506 PUSH1 0x40\l0x0508 MSTORE \l0x0509 DUP1 \l0x050a SWAP3 \l0x050b SWAP2 \l0x050c SWAP1 \l0x050d DUP2 \l0x050e DUP2 \l0x050f MSTORE \l0x0510 PUSH1 0x20\l0x0512 ADD \l0x0513 DUP3 \l0x0514 DUP1 \l0x0515 SLOAD \l0x0516 PUSH1 0x01\l0x0518 DUP2 \l0x0519 PUSH1 0x01\l0x051b AND \l0x051c ISZERO \l0x051d PUSH2 0x0100\l0x0520 MUL \l0x0521 SUB \l0x0522 AND \l0x0523 PUSH1 0x02\l0x0525 SWAP1 \l0x0526 DIV \l0x0527 DUP1 \l0x0528 ISZERO \l0x0529 PUSH2 0x0573\l0x052c JUMPI \l" ]
5 [ label = "0x052d DUP1 \l0x052e PUSH1 0x1f\l0x0530 LT \l0x0531 PUSH2 0x0548\l0x0534 JUMPI \l" ]
6 [ label = "0x0548 JUMPDEST \l0x0549 DUP3 \l0x054a ADD \l0x054b SWAP2 \l0x054c SWAP1 \l0x054d PUSH1 0\l0x054f MSTORE \l0x0550 PUSH1 0x20\l0x0552 PUSH1 0\l0x0554 SHA3 \l0x0555 SWAP1 \l0x0556 JUMPDEST \l0x0557 DUP2 \l0x0558 SLOAD \l0x0559 DUP2 \l0x055a MSTORE \l0x055b SWAP1 \l0x055c PUSH1 0x01\l0x055e ADD \l0x055f SWAP1 \l0x0560 PUSH1 0x20\l0x0562 ADD \l0x0563 DUP1 \l0x0564 DUP4 \l0x0565 GT \l0x0566 PUSH2 0x0556\l0x0569 JUMPI \l" ]
7 [ label = "0x056a DUP3 \l0x056b SWAP1 \l0x056c SUB \l0x056d PUSH1 0x1f\l0x056f AND \l0x0570 DUP3 \l0x0571 ADD \l0x0572 SWAP2 \l0x0573 JUMPDEST \l0x0574 POP \l0x0575 POP \l0x0576 POP \l0x0577 POP \l0x0578 POP \l0x0579 DUP2 \l0x057a JUMP \l0xcc JUMPDEST \l0xcd PUSH1 0x40\l0xcf MLOAD \l0xd0 DUP1 \l0xd1 DUP1 \l0xd2 PUSH1 0x20\l0xd4 ADD \l0xd5 DUP3 \l0xd6 DUP2 \l0xd7 SUB \l0xd8 DUP3 \l0xd9 MSTORE \l0xda DUP4 \l0xdb DUP2 \l0xdc DUP2 \l0xdd MLOAD \l0xde DUP2 \l0xdf MSTORE \l0xe0 PUSH1 0x20\l0xe2 ADD \l0xe3 SWAP2 \l0xe4 POP \l0xe5 DUP1 \l0xe6 MLOAD \l0xe7 SWAP1 \l0xe8 PUSH1 0x20\l0xea ADD \l0xeb SWAP1 \l0xec DUP1 \l0xed DUP4 \l0xee DUP4 \l0xef PUSH1 0\l0xf1 JUMPDEST \l0xf2 DUP4 \l0xf3 DUP2 \l0xf4 LT \l0xf5 ISZERO \l0xf6 PUSH2 0x010c\l0xf9 JUMPI \l" ]
8 [ label = "0x010c JUMPDEST \l0x010d POP \l0x010e POP \l0x010f POP \l0x0110 POP \l0x0111 SWAP1 \l0x0112 POP \l0x0113 SWAP1 \l0x0114 DUP2 \l0x0115 ADD \l0x0116 SWAP1 \l0x0117 PUSH1 0x1f\l0x0119 AND \l0x011a DUP1 \l0x011b ISZERO \l0x011c PUSH2 0x0139\l0x011f JUMPI \l" ]
9 [ label = "0x0120 DUP1 \l0x0121 DUP3 \l0x0122 SUB \l0x0123 DUP1 \l0x0124 MLOAD \l0x0125 PUSH1 0x01\l0x0127 DUP4 \l0x0128 PUSH1 0x20\l0x012a SUB \l0x012b PUSH2 0x0100\l0x012e EXP \l0x012f SUB \l0x0130 NOT \l0x0131 AND \l0x0132 DUP2 \l0x0133 MSTORE \l0x0134 PUSH1 0x20\l0x0136 ADD \l0x0137 SWAP2 \l0x0138 POP \l0x0139 JUMPDEST \l0x013a POP \l0x013b SWAP3 \l0x013c POP \l0x013d POP \l0x013e POP \l0x013f PUSH1 0x40\l0x0141 MLOAD \l0x0142 DUP1 \l0x0143 SWAP2 \l0x0144 SUB \l0x0145 SWAP1 \l0x0146 RETURN \l" ]
10 [ label = "0x0139 JUMPDEST \l0x013a POP \l0x013b SWAP3 \l0x013c POP \l0x013d POP \l0x013e POP \l0x013f PUSH1 0x40\l0x0141 MLOAD \l0x0142 DUP1 \l0x0143 SWAP2 \l0x0144 SUB \l0x0145 SWAP1 \l0x0146 RETURN \l" ]
11 [ label = "0x41 DUP1 \l0x42 PUSH4 0x095ea7b3\l0x47 EQ \l0x48 PUSH2 0x0147\l0x4b JUMPI \l" ]
12 [ label = "0x0147 JUMPDEST \l0x0148 CALLVALUE \l0x0149 ISZERO \l0x014a PUSH2 0x0152\l0x014d JUMPI \l" ]
13 [ label = "0x014e PUSH1 0\l0x0150 DUP1 \l0x0151 REVERT \l" ]
14 [ label = "0x0152 JUMPDEST \l0x0153 PUSH2 0x0187\l0x0156 PUSH1 0x04\l0x0158 DUP1 \l0x0159 DUP1 \l0x015a CALLDATALOAD \l0x015b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0170 AND \l0x0171 SWAP1 \l0x0172 PUSH1 0x20\l0x0174 ADD \l0x0175 SWAP1 \l0x0176 SWAP2 \l0x0177 SWAP1 \l0x0178 DUP1 \l0x0179 CALLDATALOAD \l0x017a SWAP1 \l0x017b PUSH1 0x20\l0x017d ADD \l0x017e SWAP1 \l0x017f SWAP2 \l0x0180 SWAP1 \l0x0181 POP \l0x0182 POP \l0x0183 PUSH2 0x057b\l0x0186 JUMP \l0x057b JUMPDEST \l0x057c PUSH1 0\l0x057e DUP2 \l0x057f PUSH1 0x04\l0x0581 PUSH1 0\l0x0583 CALLER \l0x0584 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0599 AND \l0x059a PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05af AND \l0x05b0 DUP2 \l0x05b1 MSTORE \l0x05b2 PUSH1 0x20\l0x05b4 ADD \l0x05b5 SWAP1 \l0x05b6 DUP2 \l0x05b7 MSTORE \l0x05b8 PUSH1 0x20\l0x05ba ADD \l0x05bb PUSH1 0\l0x05bd SHA3 \l0x05be PUSH1 0\l0x05c0 DUP6 \l0x05c1 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05d6 AND \l0x05d7 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05ec AND \l0x05ed DUP2 \l0x05ee MSTORE \l0x05ef PUSH1 0x20\l0x05f1 ADD \l0x05f2 SWAP1 \l0x05f3 DUP2 \l0x05f4 MSTORE \l0x05f5 PUSH1 0x20\l0x05f7 ADD \l0x05f8 PUSH1 0\l0x05fa SHA3 \l0x05fb DUP2 \l0x05fc SWAP1 \l0x05fd SSTORE \l0x05fe POP \l0x05ff DUP3 \l0x0600 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0615 AND \l0x0616 CALLER \l0x0617 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x062c AND \l0x062d PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925\l0x064e DUP5 \l0x064f PUSH1 0x40\l0x0651 MLOAD \l0x0652 DUP1 \l0x0653 DUP3 \l0x0654 DUP2 \l0x0655 MSTORE \l0x0656 PUSH1 0x20\l0x0658 ADD \l0x0659 SWAP2 \l0x065a POP \l0x065b POP \l0x065c PUSH1 0x40\l0x065e MLOAD \l0x065f DUP1 \l0x0660 SWAP2 \l0x0661 SUB \l0x0662 SWAP1 \l0x0663 LOG3 \l0x0664 PUSH1 0x01\l0x0666 SWAP1 \l0x0667 POP \l0x0668 SWAP3 \l0x0669 SWAP2 \l0x066a POP \l0x066b POP \l0x066c JUMP \l0x0187 JUMPDEST \l0x0188 PUSH1 0x40\l0x018a MLOAD \l0x018b DUP1 \l0x018c DUP3 \l0x018d ISZERO \l0x018e ISZERO \l0x018f ISZERO \l0x0190 ISZERO \l0x0191 DUP2 \l0x0192 MSTORE \l0x0193 PUSH1 0x20\l0x0195 ADD \l0x0196 SWAP2 \l0x0197 POP \l0x0198 POP \l0x0199 PUSH1 0x40\l0x019b MLOAD \l0x019c DUP1 \l0x019d SWAP2 \l0x019e SUB \l0x019f SWAP1 \l0x01a0 RETURN \l" ]
15 [ label = "0x4c DUP1 \l0x4d PUSH4 0x18160ddd\l0x52 EQ \l0x53 PUSH2 0x01a1\l0x56 JUMPI \l" ]
16 [ label = "0x01a1 JUMPDEST \l0x01a2 CALLVALUE \l0x01a3 ISZERO \l0x01a4 PUSH2 0x01ac\l0x01a7 JUMPI \l" ]
17 [ label = "0x01a8 PUSH1 0\l0x01aa DUP1 \l0x01ab REVERT \l" ]
18 [ label = "0x01ac JUMPDEST \l0x01ad PUSH2 0x01b4\l0x01b0 PUSH2 0x066d\l0x01b3 JUMP \l0x066d JUMPDEST \l0x066e PUSH1 0\l0x0670 ADDRESS \l0x0671 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0686 AND \l0x0687 BALANCE \l0x0688 SWAP1 \l0x0689 POP \l0x068a SWAP1 \l0x068b JUMP \l0x01b4 JUMPDEST \l0x01b5 PUSH1 0x40\l0x01b7 MLOAD \l0x01b8 DUP1 \l0x01b9 DUP3 \l0x01ba DUP2 \l0x01bb MSTORE \l0x01bc PUSH1 0x20\l0x01be ADD \l0x01bf SWAP2 \l0x01c0 POP \l0x01c1 POP \l0x01c2 PUSH1 0x40\l0x01c4 MLOAD \l0x01c5 DUP1 \l0x01c6 SWAP2 \l0x01c7 SUB \l0x01c8 SWAP1 \l0x01c9 RETURN \l" ]
19 [ label = "0x57 DUP1 \l0x58 PUSH4 0x23b872dd\l0x5d EQ \l0x5e PUSH2 0x01ca\l0x61 JUMPI \l" ]
20 [ label = "0x01ca JUMPDEST \l0x01cb CALLVALUE \l0x01cc ISZERO \l0x01cd PUSH2 0x01d5\l0x01d0 JUMPI \l" ]
21 [ label = "0x01d1 PUSH1 0\l0x01d3 DUP1 \l0x01d4 REVERT \l" ]
22 [ label = "0x01d5 JUMPDEST \l0x01d6 PUSH2 0x0229\l0x01d9 PUSH1 0x04\l0x01db DUP1 \l0x01dc DUP1 \l0x01dd CALLDATALOAD \l0x01de PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x01f3 AND \l0x01f4 SWAP1 \l0x01f5 PUSH1 0x20\l0x01f7 ADD \l0x01f8 SWAP1 \l0x01f9 SWAP2 \l0x01fa SWAP1 \l0x01fb DUP1 \l0x01fc CALLDATALOAD \l0x01fd PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0212 AND \l0x0213 SWAP1 \l0x0214 PUSH1 0x20\l0x0216 ADD \l0x0217 SWAP1 \l0x0218 SWAP2 \l0x0219 SWAP1 \l0x021a DUP1 \l0x021b CALLDATALOAD \l0x021c SWAP1 \l0x021d PUSH1 0x20\l0x021f ADD \l0x0220 SWAP1 \l0x0221 SWAP2 \l0x0222 SWAP1 \l0x0223 POP \l0x0224 POP \l0x0225 PUSH2 0x068c\l0x0228 JUMP \l0x068c JUMPDEST \l0x068d PUSH1 0\l0x068f DUP2 \l0x0690 PUSH1 0x03\l0x0692 PUSH1 0\l0x0694 DUP7 \l0x0695 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06aa AND \l0x06ab PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06c0 AND \l0x06c1 DUP2 \l0x06c2 MSTORE \l0x06c3 PUSH1 0x20\l0x06c5 ADD \l0x06c6 SWAP1 \l0x06c7 DUP2 \l0x06c8 MSTORE \l0x06c9 PUSH1 0x20\l0x06cb ADD \l0x06cc PUSH1 0\l0x06ce SHA3 \l0x06cf SLOAD \l0x06d0 LT \l0x06d1 ISZERO \l0x06d2 ISZERO \l0x06d3 ISZERO \l0x06d4 PUSH2 0x06dc\l0x06d7 JUMPI \l" ]
23 [ label = "0x06d8 PUSH1 0\l0x06da DUP1 \l0x06db REVERT \l" ]
24 [ label = "0x06dc JUMPDEST \l0x06dd CALLER \l0x06de PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06f3 AND \l0x06f4 DUP5 \l0x06f5 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x070a AND \l0x070b EQ \l0x070c ISZERO \l0x070d DUP1 \l0x070e ISZERO \l0x070f PUSH2 0x07b4\l0x0712 JUMPI \l" ]
25 [ label = "0x0713 POP \l0x0714 PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\l0x0735 PUSH1 0x04\l0x0737 PUSH1 0\l0x0739 DUP7 \l0x073a PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x074f AND \l0x0750 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0765 AND \l0x0766 DUP2 \l0x0767 MSTORE \l0x0768 PUSH1 0x20\l0x076a ADD \l0x076b SWAP1 \l0x076c DUP2 \l0x076d MSTORE \l0x076e PUSH1 0x20\l0x0770 ADD \l0x0771 PUSH1 0\l0x0773 SHA3 \l0x0774 PUSH1 0\l0x0776 CALLER \l0x0777 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x078c AND \l0x078d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07a2 AND \l0x07a3 DUP2 \l0x07a4 MSTORE \l0x07a5 PUSH1 0x20\l0x07a7 ADD \l0x07a8 SWAP1 \l0x07a9 DUP2 \l0x07aa MSTORE \l0x07ab PUSH1 0x20\l0x07ad ADD \l0x07ae PUSH1 0\l0x07b0 SHA3 \l0x07b1 SLOAD \l0x07b2 EQ \l0x07b3 ISZERO \l0x07b4 JUMPDEST \l0x07b5 ISZERO \l0x07b6 PUSH2 0x08cf\l0x07b9 JUMPI \l" ]
26 [ label = "0x08cf JUMPDEST \l0x08d0 DUP2 \l0x08d1 PUSH1 0x03\l0x08d3 PUSH1 0\l0x08d5 DUP7 \l0x08d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08eb AND \l0x08ec PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0901 AND \l0x0902 DUP2 \l0x0903 MSTORE \l0x0904 PUSH1 0x20\l0x0906 ADD \l0x0907 SWAP1 \l0x0908 DUP2 \l0x0909 MSTORE \l0x090a PUSH1 0x20\l0x090c ADD \l0x090d PUSH1 0\l0x090f SHA3 \l0x0910 PUSH1 0\l0x0912 DUP3 \l0x0913 DUP3 \l0x0914 SLOAD \l0x0915 SUB \l0x0916 SWAP3 \l0x0917 POP \l0x0918 POP \l0x0919 DUP2 \l0x091a SWAP1 \l0x091b SSTORE \l0x091c POP \l0x091d DUP2 \l0x091e PUSH1 0x03\l0x0920 PUSH1 0\l0x0922 DUP6 \l0x0923 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0938 AND \l0x0939 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x094e AND \l0x094f DUP2 \l0x0950 MSTORE \l0x0951 PUSH1 0x20\l0x0953 ADD \l0x0954 SWAP1 \l0x0955 DUP2 \l0x0956 MSTORE \l0x0957 PUSH1 0x20\l0x0959 ADD \l0x095a PUSH1 0\l0x095c SHA3 \l0x095d PUSH1 0\l0x095f DUP3 \l0x0960 DUP3 \l0x0961 SLOAD \l0x0962 ADD \l0x0963 SWAP3 \l0x0964 POP \l0x0965 POP \l0x0966 DUP2 \l0x0967 SWAP1 \l0x0968 SSTORE \l0x0969 POP \l0x096a DUP3 \l0x096b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0980 AND \l0x0981 DUP5 \l0x0982 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0997 AND \l0x0998 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef\l0x09b9 DUP5 \l0x09ba PUSH1 0x40\l0x09bc MLOAD \l0x09bd DUP1 \l0x09be DUP3 \l0x09bf DUP2 \l0x09c0 MSTORE \l0x09c1 PUSH1 0x20\l0x09c3 ADD \l0x09c4 SWAP2 \l0x09c5 POP \l0x09c6 POP \l0x09c7 PUSH1 0x40\l0x09c9 MLOAD \l0x09ca DUP1 \l0x09cb SWAP2 \l0x09cc SUB \l0x09cd SWAP1 \l0x09ce LOG3 \l0x09cf PUSH1 0x01\l0x09d1 SWAP1 \l0x09d2 POP \l0x09d3 SWAP4 \l0x09d4 SWAP3 \l0x09d5 POP \l0x09d6 POP \l0x09d7 POP \l0x09d8 JUMP \l0x0229 JUMPDEST \l0x022a PUSH1 0x40\l0x022c MLOAD \l0x022d DUP1 \l0x022e DUP3 \l0x022f ISZERO \l0x0230 ISZERO \l0x0231 ISZERO \l0x0232 ISZERO \l0x0233 DUP2 \l0x0234 MSTORE \l0x0235 PUSH1 0x20\l0x0237 ADD \l0x0238 SWAP2 \l0x0239 POP \l0x023a POP \l0x023b PUSH1 0x40\l0x023d MLOAD \l0x023e DUP1 \l0x023f SWAP2 \l0x0240 SUB \l0x0241 SWAP1 \l0x0242 RETURN \l" ]
27 [ label = "0x07ba DUP2 \l0x07bb PUSH1 0x04\l0x07bd PUSH1 0\l0x07bf DUP7 \l0x07c0 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07d5 AND \l0x07d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07eb AND \l0x07ec DUP2 \l0x07ed MSTORE \l0x07ee PUSH1 0x20\l0x07f0 ADD \l0x07f1 SWAP1 \l0x07f2 DUP2 \l0x07f3 MSTORE \l0x07f4 PUSH1 0x20\l0x07f6 ADD \l0x07f7 PUSH1 0\l0x07f9 SHA3 \l0x07fa PUSH1 0\l0x07fc CALLER \l0x07fd PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0812 AND \l0x0813 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0828 AND \l0x0829 DUP2 \l0x082a MSTORE \l0x082b PUSH1 0x20\l0x082d ADD \l0x082e SWAP1 \l0x082f DUP2 \l0x0830 MSTORE \l0x0831 PUSH1 0x20\l0x0833 ADD \l0x0834 PUSH1 0\l0x0836 SHA3 \l0x0837 SLOAD \l0x0838 LT \l0x0839 ISZERO \l0x083a ISZERO \l0x083b ISZERO \l0x083c PUSH2 0x0844\l0x083f JUMPI \l" ]
28 [ label = "0x0840 PUSH1 0\l0x0842 DUP1 \l0x0843 REVERT \l" ]
29 [ label = "0x0844 JUMPDEST \l0x0845 DUP2 \l0x0846 PUSH1 0x04\l0x0848 PUSH1 0\l0x084a DUP7 \l0x084b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0860 AND \l0x0861 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0876 AND \l0x0877 DUP2 \l0x0878 MSTORE \l0x0879 PUSH1 0x20\l0x087b ADD \l0x087c SWAP1 \l0x087d DUP2 \l0x087e MSTORE \l0x087f PUSH1 0x20\l0x0881 ADD \l0x0882 PUSH1 0\l0x0884 SHA3 \l0x0885 PUSH1 0\l0x0887 CALLER \l0x0888 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x089d AND \l0x089e PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08b3 AND \l0x08b4 DUP2 \l0x08b5 MSTORE \l0x08b6 PUSH1 0x20\l0x08b8 ADD \l0x08b9 SWAP1 \l0x08ba DUP2 \l0x08bb MSTORE \l0x08bc PUSH1 0x20\l0x08be ADD \l0x08bf PUSH1 0\l0x08c1 SHA3 \l0x08c2 PUSH1 0\l0x08c4 DUP3 \l0x08c5 DUP3 \l0x08c6 SLOAD \l0x08c7 SUB \l0x08c8 SWAP3 \l0x08c9 POP \l0x08ca POP \l0x08cb DUP2 \l0x08cc SWAP1 \l0x08cd SSTORE \l0x08ce POP \l0x08cf JUMPDEST \l0x08d0 DUP2 \l0x08d1 PUSH1 0x03\l0x08d3 PUSH1 0\l0x08d5 DUP7 \l0x08d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08eb AND \l0x08ec PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0901 AND \l0x0902 DUP2 \l0x0903 MSTORE \l0x0904 PUSH1 0x20\l0x0906 ADD \l0x0907 SWAP1 \l0x0908 DUP2 \l0x0909 MSTORE \l0x090a PUSH1 0x20\l0x090c ADD \l0x090d PUSH1 0\l0x090f SHA3 \l0x0910 PUSH1 0\l0x0912 DUP3 \l0x0913 DUP3 \l0x0914 SLOAD \l0x0915 SUB \l0x0916 SWAP3 \l0x0917 POP \l0x0918 POP \l0x0919 DUP2 \l0x091a SWAP1 \l0x091b SSTORE \l0x091c POP \l0x091d DUP2 \l0x091e PUSH1 0x03\l0x0920 PUSH1 0\l0x0922 DUP6 \l0x0923 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0938 AND \l0x0939 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x094e AND \l0x094f DUP2 \l0x0950 MSTORE \l0x0951 PUSH1 0x20\l0x0953 ADD \l0x0954 SWAP1 \l0x0955 DUP2 \l0x0956 MSTORE \l0x0957 PUSH1 0x20\l0x0959 ADD \l0x095a PUSH1 0\l0x095c SHA3 \l0x095d PUSH1 0\l0x095f DUP3 \l0x0960 DUP3 \l0x0961 SLOAD \l0x0962 ADD \l0x0963 SWAP3 \l0x0964 POP \l0x0965 POP \l0x0966 DUP2 \l0x0967 SWAP1 \l0x0968 SSTORE \l0x0969 POP \l0x096a DUP3 \l0x096b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0980 AND \l0x0981 DUP5 \l0x0982 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0997 AND \l0x0998 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef\l0x09b9 DUP5 \l0x09ba PUSH1 0x40\l0x09bc MLOAD \l0x09bd DUP1 \l0x09be DUP3 \l0x09bf DUP2 \l0x09c0 MSTORE \l0x09c1 PUSH1 0x20\l0x09c3 ADD \l0x09c4 SWAP2 \l0x09c5 POP \l0x09c6 POP \l0x09c7 PUSH1 0x40\l0x09c9 MLOAD \l0x09ca DUP1 \l0x09cb SWAP2 \l0x09cc SUB \l0x09cd SWAP1 \l0x09ce LOG3 \l0x09cf PUSH1 0x01\l0x09d1 SWAP1 \l0x09d2 POP \l0x09d3 SWAP4 \l0x09d4 SWAP3 \l0x09d5 POP \l0x09d6 POP \l0x09d7 POP \l0x09d8 JUMP \l0x0229 JUMPDEST \l0x022a PUSH1 0x40\l0x022c MLOAD \l0x022d DUP1 \l0x022e DUP3 \l0x022f ISZERO \l0x0230 ISZERO \l0x0231 ISZERO \l0x0232 ISZERO \l0x0233 DUP2 \l0x0234 MSTORE \l0x0235 PUSH1 0x20\l0x0237 ADD \l0x0238 SWAP2 \l0x0239 POP \l0x023a POP \l0x023b PUSH1 0x40\l0x023d MLOAD \l0x023e DUP1 \l0x023f SWAP2 \l0x0240 SUB \l0x0241 SWAP1 \l0x0242 RETURN \l" ]
30 [ label = "0x07b4 JUMPDEST \l0x07b5 ISZERO \l0x07b6 PUSH2 0x08cf\l0x07b9 JUMPI \l" ]
31 [ label = "0x62 DUP1 \l0x63 PUSH4 0x2e1a7d4d\l0x68 EQ \l0x69 PUSH2 0x0243\l0x6c JUMPI \l" ]
32 [ label = "0x0243 JUMPDEST \l0x0244 CALLVALUE \l0x0245 ISZERO \l0x0246 PUSH2 0x024e\l0x0249 JUMPI \l" ]
33 [ label = "0x024a PUSH1 0\l0x024c DUP1 \l0x024d REVERT \l" ]
34 [ label = "0x024e JUMPDEST \l0x024f PUSH2 0x0264\l0x0252 PUSH1 0x04\l0x0254 DUP1 \l0x0255 DUP1 \l0x0256 CALLDATALOAD \l0x0257 SWAP1 \l0x0258 PUSH1 0x20\l0x025a ADD \l0x025b SWAP1 \l0x025c SWAP2 \l0x025d SWAP1 \l0x025e POP \l0x025f POP \l0x0260 PUSH2 0x09d9\l0x0263 JUMP \l0x09d9 JUMPDEST \l0x09da DUP1 \l0x09db PUSH1 0x03\l0x09dd PUSH1 0\l0x09df CALLER \l0x09e0 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x09f5 AND \l0x09f6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a0b AND \l0x0a0c DUP2 \l0x0a0d MSTORE \l0x0a0e PUSH1 0x20\l0x0a10 ADD \l0x0a11 SWAP1 \l0x0a12 DUP2 \l0x0a13 MSTORE \l0x0a14 PUSH1 0x20\l0x0a16 ADD \l0x0a17 PUSH1 0\l0x0a19 SHA3 \l0x0a1a SLOAD \l0x0a1b LT \l0x0a1c ISZERO \l0x0a1d ISZERO \l0x0a1e ISZERO \l0x0a1f PUSH2 0x0a27\l0x0a22 JUMPI \l" ]
35 [ label = "0x0a23 PUSH1 0\l0x0a25 DUP1 \l0x0a26 REVERT \l" ]
36 [ label = "0x0a27 JUMPDEST \l0x0a28 DUP1 \l0x0a29 PUSH1 0x03\l0x0a2b PUSH1 0\l0x0a2d CALLER \l0x0a2e PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a43 AND \l0x0a44 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a59 AND \l0x0a5a DUP2 \l0x0a5b MSTORE \l0x0a5c PUSH1 0x20\l0x0a5e ADD \l0x0a5f SWAP1 \l0x0a60 DUP2 \l0x0a61 MSTORE \l0x0a62 PUSH1 0x20\l0x0a64 ADD \l0x0a65 PUSH1 0\l0x0a67 SHA3 \l0x0a68 PUSH1 0\l0x0a6a DUP3 \l0x0a6b DUP3 \l0x0a6c SLOAD \l0x0a6d SUB \l0x0a6e SWAP3 \l0x0a6f POP \l0x0a70 POP \l0x0a71 DUP2 \l0x0a72 SWAP1 \l0x0a73 SSTORE \l0x0a74 POP \l0x0a75 CALLER \l0x0a76 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a8b AND \l0x0a8c PUSH2 0x08fc\l0x0a8f DUP3 \l0x0a90 SWAP1 \l0x0a91 DUP2 \l0x0a92 ISZERO \l0x0a93 MUL \l0x0a94 SWAP1 \l0x0a95 PUSH1 0x40\l0x0a97 MLOAD \l0x0a98 PUSH1 0\l0x0a9a PUSH1 0x40\l0x0a9c MLOAD \l0x0a9d DUP1 \l0x0a9e DUP4 \l0x0a9f SUB \l0x0aa0 DUP2 \l0x0aa1 DUP6 \l0x0aa2 DUP9 \l0x0aa3 DUP9 \l0x0aa4 CALL \l0x0aa5 SWAP4 \l0x0aa6 POP \l0x0aa7 POP \l0x0aa8 POP \l0x0aa9 POP \l0x0aaa ISZERO \l0x0aab ISZERO \l0x0aac PUSH2 0x0ab4\l0x0aaf JUMPI \l" ]
37 [ label = "0x0ab0 PUSH1 0\l0x0ab2 DUP1 \l0x0ab3 REVERT \l" ]
38 [ label = "0x0ab4 JUMPDEST \l0x0ab5 CALLER \l0x0ab6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0acb AND \l0x0acc PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65\l0x0aed DUP3 \l0x0aee PUSH1 0x40\l0x0af0 MLOAD \l0x0af1 DUP1 \l0x0af2 DUP3 \l0x0af3 DUP2 \l0x0af4 MSTORE \l0x0af5 PUSH1 0x20\l0x0af7 ADD \l0x0af8 SWAP2 \l0x0af9 POP \l0x0afa POP \l0x0afb PUSH1 0x40\l0x0afd MLOAD \l0x0afe DUP1 \l0x0aff SWAP2 \l0x0b00 SUB \l0x0b01 SWAP1 \l0x0b02 LOG2 \l0x0b03 POP \l0x0b04 JUMP \l0x0264 JUMPDEST \l0x0265 STOP \l" ]
39 [ label = "0x6d DUP1 \l0x6e PUSH4 0x313ce567\l0x73 EQ \l0x74 PUSH2 0x0266\l0x77 JUMPI \l" ]
40 [ label = "0x0266 JUMPDEST \l0x0267 CALLVALUE \l0x0268 ISZERO \l0x0269 PUSH2 0x0271\l0x026c JUMPI \l" ]
41 [ label = "0x026d PUSH1 0\l0x026f DUP1 \l0x0270 REVERT \l" ]
42 [ label = "0x0271 JUMPDEST \l0x0272 PUSH2 0x0279\l0x0275 PUSH2 0x0b05\l0x0278 JUMP \l0x0b05 JUMPDEST \l0x0b06 PUSH1 0x02\l0x0b08 PUSH1 0\l0x0b0a SWAP1 \l0x0b0b SLOAD \l0x0b0c SWAP1 \l0x0b0d PUSH2 0x0100\l0x0b10 EXP \l0x0b11 SWAP1 \l0x0b12 DIV \l0x0b13 PUSH1 0xff\l0x0b15 AND \l0x0b16 DUP2 \l0x0b17 JUMP \l0x0279 JUMPDEST \l0x027a PUSH1 0x40\l0x027c MLOAD \l0x027d DUP1 \l0x027e DUP3 \l0x027f PUSH1 0xff\l0x0281 AND \l0x0282 PUSH1 0xff\l0x0284 AND \l0x0285 DUP2 \l0x0286 MSTORE \l0x0287 PUSH1 0x20\l0x0289 ADD \l0x028a SWAP2 \l0x028b POP \l0x028c POP \l0x028d PUSH1 0x40\l0x028f MLOAD \l0x0290 DUP1 \l0x0291 SWAP2 \l0x0292 SUB \l0x0293 SWAP1 \l0x0294 RETURN \l" ]
43 [ label = "0x78 DUP1 \l0x79 PUSH4 0x70a08231\l0x7e EQ \l0x7f PUSH2 0x0295\l0x82 JUMPI \l" ]
44 [ label = "0x0295 JUMPDEST \l0x0296 CALLVALUE \l0x0297 ISZERO \l0x0298 PUSH2 0x02a0\l0x029b JUMPI \l" ]
45 [ label = "0x029c PUSH1 0\l0x029e DUP1 \l0x029f REVERT \l" ]
46 [ label = "0x02a0 JUMPDEST \l0x02a1 PUSH2 0x02cc\l0x02a4 PUSH1 0x04\l0x02a6 DUP1 \l0x02a7 DUP1 \l0x02a8 CALLDATALOAD \l0x02a9 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x02be AND \l0x02bf SWAP1 \l0x02c0 PUSH1 0x20\l0x02c2 ADD \l0x02c3 SWAP1 \l0x02c4 SWAP2 \l0x02c5 SWAP1 \l0x02c6 POP \l0x02c7 POP \l0x02c8 PUSH2 0x0b18\l0x02cb JUMP \l0x0b18 JUMPDEST \l0x0b19 PUSH1 0x03\l0x0b1b PUSH1 0x20\l0x0b1d MSTORE \l0x0b1e DUP1 \l0x0b1f PUSH1 0\l0x0b21 MSTORE \l0x0b22 PUSH1 0x40\l0x0b24 PUSH1 0\l0x0b26 SHA3 \l0x0b27 PUSH1 0\l0x0b29 SWAP2 \l0x0b2a POP \l0x0b2b SWAP1 \l0x0b2c POP \l0x0b2d SLOAD \l0x0b2e DUP2 \l0x0b2f JUMP \l0x02cc JUMPDEST \l0x02cd PUSH1 0x40\l0x02cf MLOAD \l0x02d0 DUP1 \l0x02d1 DUP3 \l0x02d2 DUP2 \l0x02d3 MSTORE \l0x02d4 PUSH1 0x20\l0x02d6 ADD \l0x02d7 SWAP2 \l0x02d8 POP \l0x02d9 POP \l0x02da PUSH1 0x40\l0x02dc MLOAD \l0x02dd DUP1 \l0x02de SWAP2 \l0x02df SUB \l0x02e0 SWAP1 \l0x02e1 RETURN \l" ]
47 [ label = "0x83 DUP1 \l0x84 PUSH4 0x95d89b41\l0x89 EQ \l0x8a PUSH2 0x02e2\l0x8d JUMPI \l" ]
48 [ label = "0x02e2 JUMPDEST \l0x02e3 CALLVALUE \l0x02e4 ISZERO \l0x02e5 PUSH2 0x02ed\l0x02e8 JUMPI \l" ]
49 [ label = "0x02e9 PUSH1 0\l0x02eb DUP1 \l0x02ec REVERT \l" ]
50 [ label = "0x02ed JUMPDEST \l0x02ee PUSH2 0x02f5\l0x02f1 PUSH2 0x0b30\l0x02f4 JUMP \l0x0b30 JUMPDEST \l0x0b31 PUSH1 0x01\l0x0b33 DUP1 \l0x0b34 SLOAD \l0x0b35 PUSH1 0x01\l0x0b37 DUP2 \l0x0b38 PUSH1 0x01\l0x0b3a AND \l0x0b3b ISZERO \l0x0b3c PUSH2 0x0100\l0x0b3f MUL \l0x0b40 SUB \l0x0b41 AND \l0x0b42 PUSH1 0x02\l0x0b44 SWAP1 \l0x0b45 DIV \l0x0b46 DUP1 \l0x0b47 PUSH1 0x1f\l0x0b49 ADD \l0x0b4a PUSH1 0x20\l0x0b4c DUP1 \l0x0b4d SWAP2 \l0x0b4e DIV \l0x0b4f MUL \l0x0b50 PUSH1 0x20\l0x0b52 ADD \l0x0b53 PUSH1 0x40\l0x0b55 MLOAD \l0x0b56 SWAP1 \l0x0b57 DUP2 \l0x0b58 ADD \l0x0b59 PUSH1 0x40\l0x0b5b MSTORE \l0x0b5c DUP1 \l0x0b5d SWAP3 \l0x0b5e SWAP2 \l0x0b5f SWAP1 \l0x0b60 DUP2 \l0x0b61 DUP2 \l0x0b62 MSTORE \l0x0b63 PUSH1 0x20\l0x0b65 ADD \l0x0b66 DUP3 \l0x0b67 DUP1 \l0x0b68 SLOAD \l0x0b69 PUSH1 0x01\l0x0b6b DUP2 \l0x0b6c PUSH1 0x01\l0x0b6e AND \l0x0b6f ISZERO \l0x0b70 PUSH2 0x0100\l0x0b73 MUL \l0x0b74 SUB \l0x0b75 AND \l0x0b76 PUSH1 0x02\l0x0b78 SWAP1 \l0x0b79 DIV \l0x0b7a DUP1 \l0x0b7b ISZERO \l0x0b7c PUSH2 0x0bc6\l0x0b7f JUMPI \l" ]
51 [ label = "0x0b80 DUP1 \l0x0b81 PUSH1 0x1f\l0x0b83 LT \l0x0b84 PUSH2 0x0b9b\l0x0b87 JUMPI \l" ]
52 [ label = "0x0b9b JUMPDEST \l0x0b9c DUP3 \l0x0b9d ADD \l0x0b9e SWAP2 \l0x0b9f SWAP1 \l0x0ba0 PUSH1 0\l0x0ba2 MSTORE \l0x0ba3 PUSH1 0x20\l0x0ba5 PUSH1 0\l0x0ba7 SHA3 \l0x0ba8 SWAP1 \l0x0ba9 JUMPDEST \l0x0baa DUP2 \l0x0bab SLOAD \l0x0bac DUP2 \l0x0bad MSTORE \l0x0bae SWAP1 \l0x0baf PUSH1 0x01\l0x0bb1 ADD \l0x0bb2 SWAP1 \l0x0bb3 PUSH1 0x20\l0x0bb5 ADD \l0x0bb6 DUP1 \l0x0bb7 DUP4 \l0x0bb8 GT \l0x0bb9 PUSH2 0x0ba9\l0x0bbc JUMPI \l" ]
53 [ label = "0x0bbd DUP3 \l0x0bbe SWAP1 \l0x0bbf SUB \l0x0bc0 PUSH1 0x1f\l0x0bc2 AND \l0x0bc3 DUP3 \l0x0bc4 ADD \l0x0bc5 SWAP2 \l0x0bc6 JUMPDEST \l0x0bc7 POP \l0x0bc8 POP \l0x0bc9 POP \l0x0bca POP \l0x0bcb POP \l0x0bcc DUP2 \l0x0bcd JUMP \l0x02f5 JUMPDEST \l0x02f6 PUSH1 0x40\l0x02f8 MLOAD \l0x02f9 DUP1 \l0x02fa DUP1 \l0x02fb PUSH1 0x20\l0x02fd ADD \l0x02fe DUP3 \l0x02ff DUP2 \l0x0300 SUB \l0x0301 DUP3 \l0x0302 MSTORE \l0x0303 DUP4 \l0x0304 DUP2 \l0x0305 DUP2 \l0x0306 MLOAD \l0x0307 DUP2 \l0x0308 MSTORE \l0x0309 PUSH1 0x20\l0x030b ADD \l0x030c SWAP2 \l0x030d POP \l0x030e DUP1 \l0x030f MLOAD \l0x0310 SWAP1 \l0x0311 PUSH1 0x20\l0x0313 ADD \l0x0314 SWAP1 \l0x0315 DUP1 \l0x0316 DUP4 \l0x0317 DUP4 \l0x0318 PUSH1 0\l0x031a JUMPDEST \l0x031b DUP4 \l0x031c DUP2 \l0x031d LT \l0x031e ISZERO \l0x031f PUSH2 0x0335\l0x0322 JUMPI \l" ]
54 [ label = "0x0335 JUMPDEST \l0x0336 POP \l0x0337 POP \l0x0338 POP \l0x0339 POP \l0x033a SWAP1 \l0x033b POP \l0x033c SWAP1 \l0x033d DUP2 \l0x033e ADD \l0x033f SWAP1 \l0x0340 PUSH1 0x1f\l0x0342 AND \l0x0343 DUP1 \l0x0344 ISZERO \l0x0345 PUSH2 0x0362\l0x0348 JUMPI \l" ]
55 [ label = "0x0349 DUP1 \l0x034a DUP3 \l0x034b SUB \l0x034c DUP1 \l0x034d MLOAD \l0x034e PUSH1 0x01\l0x0350 DUP4 \l0x0351 PUSH1 0x20\l0x0353 SUB \l0x0354 PUSH2 0x0100\l0x0357 EXP \l0x0358 SUB \l0x0359 NOT \l0x035a AND \l0x035b DUP2 \l0x035c MSTORE \l0x035d PUSH1 0x20\l0x035f ADD \l0x0360 SWAP2 \l0x0361 POP \l0x0362 JUMPDEST \l0x0363 POP \l0x0364 SWAP3 \l0x0365 POP \l0x0366 POP \l0x0367 POP \l0x0368 PUSH1 0x40\l0x036a MLOAD \l0x036b DUP1 \l0x036c SWAP2 \l0x036d SUB \l0x036e SWAP1 \l0x036f RETURN \l" ]
56 [ label = "0x0362 JUMPDEST \l0x0363 POP \l0x0364 SWAP3 \l0x0365 POP \l0x0366 POP \l0x0367 POP \l0x0368 PUSH1 0x40\l0x036a MLOAD \l0x036b DUP1 \l0x036c SWAP2 \l0x036d SUB \l0x036e SWAP1 \l0x036f RETURN \l" ]
57 [ label = "0x8e DUP1 \l0x8f PUSH4 0xa9059cbb\l0x94 EQ \l0x95 PUSH2 0x0370\l0x98 JUMPI \l" ]
58 [ label = "0x0370 JUMPDEST \l0x0371 CALLVALUE \l0x0372 ISZERO \l0x0373 PUSH2 0x037b\l0x0376 JUMPI \l" ]
59 [ label = "0x0377 PUSH1 0\l0x0379 DUP1 \l0x037a REVERT \l" ]
60 [ label = "0x037b JUMPDEST \l0x037c PUSH2 0x03b0\l0x037f PUSH1 0x04\l0x0381 DUP1 \l0x0382 DUP1 \l0x0383 CALLDATALOAD \l0x0384 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0399 AND \l0x039a SWAP1 \l0x039b PUSH1 0x20\l0x039d ADD \l0x039e SWAP1 \l0x039f SWAP2 \l0x03a0 SWAP1 \l0x03a1 DUP1 \l0x03a2 CALLDATALOAD \l0x03a3 SWAP1 \l0x03a4 PUSH1 0x20\l0x03a6 ADD \l0x03a7 SWAP1 \l0x03a8 SWAP2 \l0x03a9 SWAP1 \l0x03aa POP \l0x03ab POP \l0x03ac PUSH2 0x0bce\l0x03af JUMP \l0x0bce JUMPDEST \l0x0bcf PUSH1 0\l0x0bd1 PUSH2 0x0bdb\l0x0bd4 CALLER \l0x0bd5 DUP5 \l0x0bd6 DUP5 \l0x0bd7 PUSH2 0x068c\l0x0bda JUMP \l0x068c JUMPDEST \l0x068d PUSH1 0\l0x068f DUP2 \l0x0690 PUSH1 0x03\l0x0692 PUSH1 0\l0x0694 DUP7 \l0x0695 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06aa AND \l0x06ab PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06c0 AND \l0x06c1 DUP2 \l0x06c2 MSTORE \l0x06c3 PUSH1 0x20\l0x06c5 ADD \l0x06c6 SWAP1 \l0x06c7 DUP2 \l0x06c8 MSTORE \l0x06c9 PUSH1 0x20\l0x06cb ADD \l0x06cc PUSH1 0\l0x06ce SHA3 \l0x06cf SLOAD \l0x06d0 LT \l0x06d1 ISZERO \l0x06d2 ISZERO \l0x06d3 ISZERO \l0x06d4 PUSH2 0x06dc\l0x06d7 JUMPI \l" ]
61 [ label = "0x99 DUP1 \l0x9a PUSH4 0xd0e30db0\l0x9f EQ \l0xa0 PUSH2 0x03ca\l0xa3 JUMPI \l" ]
62 [ label = "0x03ca JUMPDEST \l0x03cb PUSH2 0x03d2\l0x03ce PUSH2 0x0440\l0x03d1 JUMP \l0x0440 JUMPDEST \l0x0441 CALLVALUE \l0x0442 PUSH1 0x03\l0x0444 PUSH1 0\l0x0446 CALLER \l0x0447 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x045c AND \l0x045d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0472 AND \l0x0473 DUP2 \l0x0474 MSTORE \l0x0475 PUSH1 0x20\l0x0477 ADD \l0x0478 SWAP1 \l0x0479 DUP2 \l0x047a MSTORE \l0x047b PUSH1 0x20\l0x047d ADD \l0x047e PUSH1 0\l0x0480 SHA3 \l0x0481 PUSH1 0\l0x0483 DUP3 \l0x0484 DUP3 \l0x0485 SLOAD \l0x0486 ADD \l0x0487 SWAP3 \l0x0488 POP \l0x0489 POP \l0x048a DUP2 \l0x048b SWAP1 \l0x048c SSTORE \l0x048d POP \l0x048e CALLER \l0x048f PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x04a4 AND \l0x04a5 PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c\l0x04c6 CALLVALUE \l0x04c7 PUSH1 0x40\l0x04c9 MLOAD \l0x04ca DUP1 \l0x04cb DUP3 \l0x04cc DUP2 \l0x04cd MSTORE \l0x04ce PUSH1 0x20\l0x04d0 ADD \l0x04d1 SWAP2 \l0x04d2 POP \l0x04d3 POP \l0x04d4 PUSH1 0x40\l0x04d6 MLOAD \l0x04d7 DUP1 \l0x04d8 SWAP2 \l0x04d9 SUB \l0x04da SWAP1 \l0x04db LOG2 \l0x04dc JUMP \l0x03d2 JUMPDEST \l0x03d3 STOP \l" ]
63 [ label = "0xa4 DUP1 \l0xa5 PUSH4 0xdd62ed3e\l0xaa EQ \l0xab PUSH2 0x03d4\l0xae JUMPI \l" ]
64 [ label = "0x03d4 JUMPDEST \l0x03d5 CALLVALUE \l0x03d6 ISZERO \l0x03d7 PUSH2 0x03df\l0x03da JUMPI \l" ]
65 [ label = "0x03db PUSH1 0\l0x03dd DUP1 \l0x03de REVERT \l" ]
66 [ label = "0x03df JUMPDEST \l0x03e0 PUSH2 0x042a\l0x03e3 PUSH1 0x04\l0x03e5 DUP1 \l0x03e6 DUP1 \l0x03e7 CALLDATALOAD \l0x03e8 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x03fd AND \l0x03fe SWAP1 \l0x03ff PUSH1 0x20\l0x0401 ADD \l0x0402 SWAP1 \l0x0403 SWAP2 \l0x0404 SWAP1 \l0x0405 DUP1 \l0x0406 CALLDATALOAD \l0x0407 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x041c AND \l0x041d SWAP1 \l0x041e PUSH1 0x20\l0x0420 ADD \l0x0421 SWAP1 \l0x0422 SWAP2 \l0x0423 SWAP1 \l0x0424 POP \l0x0425 POP \l0x0426 PUSH2 0x0be3\l0x0429 JUMP \l0x0be3 JUMPDEST \l0x0be4 PUSH1 0x04\l0x0be6 PUSH1 0x20\l0x0be8 MSTORE \l0x0be9 DUP2 \l0x0bea PUSH1 0\l0x0bec MSTORE \l0x0bed PUSH1 0x40\l0x0bef PUSH1 0\l0x0bf1 SHA3 \l0x0bf2 PUSH1 0x20\l0x0bf4 MSTORE \l0x0bf5 DUP1 \l0x0bf6 PUSH1 0\l0x0bf8 MSTORE \l0x0bf9 PUSH1 0x40\l0x0bfb PUSH1 0\l0x0bfd SHA3 \l0x0bfe PUSH1 0\l0x0c00 SWAP2 \l0x0c01 POP \l0x0c02 SWAP2 \l0x0c03 POP \l0x0c04 POP \l0x0c05 SLOAD \l0x0c06 DUP2 \l0x0c07 JUMP \l0x042a JUMPDEST \l0x042b PUSH1 0x40\l0x042d MLOAD \l0x042e DUP1 \l0x042f DUP3 \l0x0430 DUP2 \l0x0431 MSTORE \l0x0432 PUSH1 0x20\l0x0434 ADD \l0x0435 SWAP2 \l0x0436 POP \l0x0437 POP \l0x0438 PUSH1 0x40\l0x043a MLOAD \l0x043b DUP1 \l0x043c SWAP2 \l0x043d SUB \l0x043e SWAP1 \l0x043f RETURN \l" ]
67 [ label = "0xaf JUMPDEST \l0xb0 PUSH2 0xb7\l0xb3 PUSH2 0x0440\l0xb6 JUMP \l0x0440 JUMPDEST \l0x0441 CALLVALUE \l0x0442 PUSH1 0x03\l0x0444 PUSH1 0\l0x0446 CALLER \l0x0447 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x045c AND \l0x045d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0472 AND \l0x0473 DUP2 \l0x0474 MSTORE \l0x0475 PUSH1 0x20\l0x0477 ADD \l0x0478 SWAP1 \l0x0479 DUP2 \l0x047a MSTORE \l0x047b PUSH1 0x20\l0x047d ADD \l0x047e PUSH1 0\l0x0480 SHA3 \l0x0481 PUSH1 0\l0x0483 DUP3 \l0x0484 DUP3 \l0x0485 SLOAD \l0x0486 ADD \l0x0487 SWAP3 \l0x0488 POP \l0x0489 POP \l0x048a DUP2 \l0x048b SWAP1 \l0x048c SSTORE \l0x048d POP \l0x048e CALLER \l0x048f PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x04a4 AND \l0x04a5 PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c\l0x04c6 CALLVALUE \l0x04c7 PUSH1 0x40\l0x04c9 MLOAD \l0x04ca DUP1 \l0x04cb DUP3 \l0x04cc DUP2 \l0x04cd MSTORE \l0x04ce PUSH1 0x20\l0x04d0 ADD \l0x04d1 SWAP2 \l0x04d2 POP \l0x04d3 POP \l0x04d4 PUSH1 0x40\l0x04d6 MLOAD \l0x04d7 DUP1 \l0x04d8 SWAP2 \l0x04d9 SUB \l0x04da SWAP1 \l0x04db LOG2 \l0x04dc JUMP \l0xb7 JUMPDEST \l0xb8 STOP \l" ]
0 -> 1 []
1 -> 2 []
2 -> 3 []
2 -> 4 []
4 -> 5 []
5 -> 6 []
6 -> 7 []
7 -> 8 []
8 -> 9 []
8 -> 10 []
1 -> 11 []
11 -> 12 []
12 -> 13 []
12 -> 14 []
11 -> 15 []
15 -> 16 []
16 -> 17 []
16 -> 18 []
15 -> 19 []
19 -> 20 []
20 -> 21 []
20 -> 22 []
22 -> 23 []
22 -> 24 []
24 -> 25 []
25 -> 26 []
25 -> 27 []
27 -> 28 []
27 -> 29 []
24 -> 30 []
19 -> 31 []
31 -> 32 []
32 -> 33 []
32 -> 34 []
34 -> 35 []
34 -> 36 []
36 -> 37 []
36 -> 38 []
31 -> 39 []
39 -> 40 []
40 -> 41 []
40 -> 42 []
39 -> 43 []
43 -> 44 []
44 -> 45 []
44 -> 46 []
43 -> 47 []
47 -> 48 []
48 -> 49 []
48 -> 50 []
50 -> 51 []
51 -> 52 []
52 -> 53 []
53 -> 54 []
54 -> 55 []
54 -> 56 []
47 -> 57 []
57 -> 58 []
58 -> 59 []
58 -> 60 []
57 -> 61 []
61 -> 62 []
61 -> 63 []
63 -> 64 []
64 -> 65 []
64 -> 66 []
63 -> 67 []
}
notice that node 0 only has one link, when it should also link to the fallback function at block 67.
the fixed cfg should be:
digraph
digraph G {
node [shape=box, style="rounded", fontname="Helvetica"];
edge [fontname="Helvetica"];
0 [ label = "0 PUSH1 0x60\l0x02 PUSH1 0x40\l0x04 MSTORE \l0x05 PUSH1 0x04\l0x07 CALLDATASIZE \l0x08 LT \l0x09 PUSH2 0xaf\l0x0c JUMPI \l" ]
1 [ label = "0x0d PUSH1 0\l0x0f CALLDATALOAD \l0x10 PUSH29 0x0100000000000000000000000000000000000000000000000000000000\l0x2e SWAP1 \l0x2f DIV \l0x30 PUSH4 0xffffffff\l0x35 AND \l0x36 DUP1 \l0x37 PUSH4 0x06fdde03\l0x3c EQ \l0x3d PUSH2 0xb9\l0x40 JUMPI \l" ]
2 [ label = "0xb9 JUMPDEST \l0xba CALLVALUE \l0xbb ISZERO \l0xbc PUSH2 0xc4\l0xbf JUMPI \l" ]
3 [ label = "0xc0 PUSH1 0\l0xc2 DUP1 \l0xc3 REVERT \l" ]
4 [ label = "0xc4 JUMPDEST \l0xc5 PUSH2 0xcc\l0xc8 PUSH2 0x04dd\l0xcb JUMP \l0x04dd JUMPDEST \l0x04de PUSH1 0\l0x04e0 DUP1 \l0x04e1 SLOAD \l0x04e2 PUSH1 0x01\l0x04e4 DUP2 \l0x04e5 PUSH1 0x01\l0x04e7 AND \l0x04e8 ISZERO \l0x04e9 PUSH2 0x0100\l0x04ec MUL \l0x04ed SUB \l0x04ee AND \l0x04ef PUSH1 0x02\l0x04f1 SWAP1 \l0x04f2 DIV \l0x04f3 DUP1 \l0x04f4 PUSH1 0x1f\l0x04f6 ADD \l0x04f7 PUSH1 0x20\l0x04f9 DUP1 \l0x04fa SWAP2 \l0x04fb DIV \l0x04fc MUL \l0x04fd PUSH1 0x20\l0x04ff ADD \l0x0500 PUSH1 0x40\l0x0502 MLOAD \l0x0503 SWAP1 \l0x0504 DUP2 \l0x0505 ADD \l0x0506 PUSH1 0x40\l0x0508 MSTORE \l0x0509 DUP1 \l0x050a SWAP3 \l0x050b SWAP2 \l0x050c SWAP1 \l0x050d DUP2 \l0x050e DUP2 \l0x050f MSTORE \l0x0510 PUSH1 0x20\l0x0512 ADD \l0x0513 DUP3 \l0x0514 DUP1 \l0x0515 SLOAD \l0x0516 PUSH1 0x01\l0x0518 DUP2 \l0x0519 PUSH1 0x01\l0x051b AND \l0x051c ISZERO \l0x051d PUSH2 0x0100\l0x0520 MUL \l0x0521 SUB \l0x0522 AND \l0x0523 PUSH1 0x02\l0x0525 SWAP1 \l0x0526 DIV \l0x0527 DUP1 \l0x0528 ISZERO \l0x0529 PUSH2 0x0573\l0x052c JUMPI \l" ]
5 [ label = "0x052d DUP1 \l0x052e PUSH1 0x1f\l0x0530 LT \l0x0531 PUSH2 0x0548\l0x0534 JUMPI \l" ]
6 [ label = "0x0548 JUMPDEST \l0x0549 DUP3 \l0x054a ADD \l0x054b SWAP2 \l0x054c SWAP1 \l0x054d PUSH1 0\l0x054f MSTORE \l0x0550 PUSH1 0x20\l0x0552 PUSH1 0\l0x0554 SHA3 \l0x0555 SWAP1 \l0x0556 JUMPDEST \l0x0557 DUP2 \l0x0558 SLOAD \l0x0559 DUP2 \l0x055a MSTORE \l0x055b SWAP1 \l0x055c PUSH1 0x01\l0x055e ADD \l0x055f SWAP1 \l0x0560 PUSH1 0x20\l0x0562 ADD \l0x0563 DUP1 \l0x0564 DUP4 \l0x0565 GT \l0x0566 PUSH2 0x0556\l0x0569 JUMPI \l" ]
7 [ label = "0x056a DUP3 \l0x056b SWAP1 \l0x056c SUB \l0x056d PUSH1 0x1f\l0x056f AND \l0x0570 DUP3 \l0x0571 ADD \l0x0572 SWAP2 \l0x0573 JUMPDEST \l0x0574 POP \l0x0575 POP \l0x0576 POP \l0x0577 POP \l0x0578 POP \l0x0579 DUP2 \l0x057a JUMP \l0xcc JUMPDEST \l0xcd PUSH1 0x40\l0xcf MLOAD \l0xd0 DUP1 \l0xd1 DUP1 \l0xd2 PUSH1 0x20\l0xd4 ADD \l0xd5 DUP3 \l0xd6 DUP2 \l0xd7 SUB \l0xd8 DUP3 \l0xd9 MSTORE \l0xda DUP4 \l0xdb DUP2 \l0xdc DUP2 \l0xdd MLOAD \l0xde DUP2 \l0xdf MSTORE \l0xe0 PUSH1 0x20\l0xe2 ADD \l0xe3 SWAP2 \l0xe4 POP \l0xe5 DUP1 \l0xe6 MLOAD \l0xe7 SWAP1 \l0xe8 PUSH1 0x20\l0xea ADD \l0xeb SWAP1 \l0xec DUP1 \l0xed DUP4 \l0xee DUP4 \l0xef PUSH1 0\l0xf1 JUMPDEST \l0xf2 DUP4 \l0xf3 DUP2 \l0xf4 LT \l0xf5 ISZERO \l0xf6 PUSH2 0x010c\l0xf9 JUMPI \l" ]
8 [ label = "0x010c JUMPDEST \l0x010d POP \l0x010e POP \l0x010f POP \l0x0110 POP \l0x0111 SWAP1 \l0x0112 POP \l0x0113 SWAP1 \l0x0114 DUP2 \l0x0115 ADD \l0x0116 SWAP1 \l0x0117 PUSH1 0x1f\l0x0119 AND \l0x011a DUP1 \l0x011b ISZERO \l0x011c PUSH2 0x0139\l0x011f JUMPI \l" ]
9 [ label = "0x0120 DUP1 \l0x0121 DUP3 \l0x0122 SUB \l0x0123 DUP1 \l0x0124 MLOAD \l0x0125 PUSH1 0x01\l0x0127 DUP4 \l0x0128 PUSH1 0x20\l0x012a SUB \l0x012b PUSH2 0x0100\l0x012e EXP \l0x012f SUB \l0x0130 NOT \l0x0131 AND \l0x0132 DUP2 \l0x0133 MSTORE \l0x0134 PUSH1 0x20\l0x0136 ADD \l0x0137 SWAP2 \l0x0138 POP \l0x0139 JUMPDEST \l0x013a POP \l0x013b SWAP3 \l0x013c POP \l0x013d POP \l0x013e POP \l0x013f PUSH1 0x40\l0x0141 MLOAD \l0x0142 DUP1 \l0x0143 SWAP2 \l0x0144 SUB \l0x0145 SWAP1 \l0x0146 RETURN \l" ]
10 [ label = "0x0139 JUMPDEST \l0x013a POP \l0x013b SWAP3 \l0x013c POP \l0x013d POP \l0x013e POP \l0x013f PUSH1 0x40\l0x0141 MLOAD \l0x0142 DUP1 \l0x0143 SWAP2 \l0x0144 SUB \l0x0145 SWAP1 \l0x0146 RETURN \l" ]
11 [ label = "0x41 DUP1 \l0x42 PUSH4 0x095ea7b3\l0x47 EQ \l0x48 PUSH2 0x0147\l0x4b JUMPI \l" ]
12 [ label = "0x0147 JUMPDEST \l0x0148 CALLVALUE \l0x0149 ISZERO \l0x014a PUSH2 0x0152\l0x014d JUMPI \l" ]
13 [ label = "0x014e PUSH1 0\l0x0150 DUP1 \l0x0151 REVERT \l" ]
14 [ label = "0x0152 JUMPDEST \l0x0153 PUSH2 0x0187\l0x0156 PUSH1 0x04\l0x0158 DUP1 \l0x0159 DUP1 \l0x015a CALLDATALOAD \l0x015b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0170 AND \l0x0171 SWAP1 \l0x0172 PUSH1 0x20\l0x0174 ADD \l0x0175 SWAP1 \l0x0176 SWAP2 \l0x0177 SWAP1 \l0x0178 DUP1 \l0x0179 CALLDATALOAD \l0x017a SWAP1 \l0x017b PUSH1 0x20\l0x017d ADD \l0x017e SWAP1 \l0x017f SWAP2 \l0x0180 SWAP1 \l0x0181 POP \l0x0182 POP \l0x0183 PUSH2 0x057b\l0x0186 JUMP \l0x057b JUMPDEST \l0x057c PUSH1 0\l0x057e DUP2 \l0x057f PUSH1 0x04\l0x0581 PUSH1 0\l0x0583 CALLER \l0x0584 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0599 AND \l0x059a PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05af AND \l0x05b0 DUP2 \l0x05b1 MSTORE \l0x05b2 PUSH1 0x20\l0x05b4 ADD \l0x05b5 SWAP1 \l0x05b6 DUP2 \l0x05b7 MSTORE \l0x05b8 PUSH1 0x20\l0x05ba ADD \l0x05bb PUSH1 0\l0x05bd SHA3 \l0x05be PUSH1 0\l0x05c0 DUP6 \l0x05c1 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05d6 AND \l0x05d7 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x05ec AND \l0x05ed DUP2 \l0x05ee MSTORE \l0x05ef PUSH1 0x20\l0x05f1 ADD \l0x05f2 SWAP1 \l0x05f3 DUP2 \l0x05f4 MSTORE \l0x05f5 PUSH1 0x20\l0x05f7 ADD \l0x05f8 PUSH1 0\l0x05fa SHA3 \l0x05fb DUP2 \l0x05fc SWAP1 \l0x05fd SSTORE \l0x05fe POP \l0x05ff DUP3 \l0x0600 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0615 AND \l0x0616 CALLER \l0x0617 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x062c AND \l0x062d PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925\l0x064e DUP5 \l0x064f PUSH1 0x40\l0x0651 MLOAD \l0x0652 DUP1 \l0x0653 DUP3 \l0x0654 DUP2 \l0x0655 MSTORE \l0x0656 PUSH1 0x20\l0x0658 ADD \l0x0659 SWAP2 \l0x065a POP \l0x065b POP \l0x065c PUSH1 0x40\l0x065e MLOAD \l0x065f DUP1 \l0x0660 SWAP2 \l0x0661 SUB \l0x0662 SWAP1 \l0x0663 LOG3 \l0x0664 PUSH1 0x01\l0x0666 SWAP1 \l0x0667 POP \l0x0668 SWAP3 \l0x0669 SWAP2 \l0x066a POP \l0x066b POP \l0x066c JUMP \l0x0187 JUMPDEST \l0x0188 PUSH1 0x40\l0x018a MLOAD \l0x018b DUP1 \l0x018c DUP3 \l0x018d ISZERO \l0x018e ISZERO \l0x018f ISZERO \l0x0190 ISZERO \l0x0191 DUP2 \l0x0192 MSTORE \l0x0193 PUSH1 0x20\l0x0195 ADD \l0x0196 SWAP2 \l0x0197 POP \l0x0198 POP \l0x0199 PUSH1 0x40\l0x019b MLOAD \l0x019c DUP1 \l0x019d SWAP2 \l0x019e SUB \l0x019f SWAP1 \l0x01a0 RETURN \l" ]
15 [ label = "0x4c DUP1 \l0x4d PUSH4 0x18160ddd\l0x52 EQ \l0x53 PUSH2 0x01a1\l0x56 JUMPI \l" ]
16 [ label = "0x01a1 JUMPDEST \l0x01a2 CALLVALUE \l0x01a3 ISZERO \l0x01a4 PUSH2 0x01ac\l0x01a7 JUMPI \l" ]
17 [ label = "0x01a8 PUSH1 0\l0x01aa DUP1 \l0x01ab REVERT \l" ]
18 [ label = "0x01ac JUMPDEST \l0x01ad PUSH2 0x01b4\l0x01b0 PUSH2 0x066d\l0x01b3 JUMP \l0x066d JUMPDEST \l0x066e PUSH1 0\l0x0670 ADDRESS \l0x0671 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0686 AND \l0x0687 BALANCE \l0x0688 SWAP1 \l0x0689 POP \l0x068a SWAP1 \l0x068b JUMP \l0x01b4 JUMPDEST \l0x01b5 PUSH1 0x40\l0x01b7 MLOAD \l0x01b8 DUP1 \l0x01b9 DUP3 \l0x01ba DUP2 \l0x01bb MSTORE \l0x01bc PUSH1 0x20\l0x01be ADD \l0x01bf SWAP2 \l0x01c0 POP \l0x01c1 POP \l0x01c2 PUSH1 0x40\l0x01c4 MLOAD \l0x01c5 DUP1 \l0x01c6 SWAP2 \l0x01c7 SUB \l0x01c8 SWAP1 \l0x01c9 RETURN \l" ]
19 [ label = "0x57 DUP1 \l0x58 PUSH4 0x23b872dd\l0x5d EQ \l0x5e PUSH2 0x01ca\l0x61 JUMPI \l" ]
20 [ label = "0x01ca JUMPDEST \l0x01cb CALLVALUE \l0x01cc ISZERO \l0x01cd PUSH2 0x01d5\l0x01d0 JUMPI \l" ]
21 [ label = "0x01d1 PUSH1 0\l0x01d3 DUP1 \l0x01d4 REVERT \l" ]
22 [ label = "0x01d5 JUMPDEST \l0x01d6 PUSH2 0x0229\l0x01d9 PUSH1 0x04\l0x01db DUP1 \l0x01dc DUP1 \l0x01dd CALLDATALOAD \l0x01de PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x01f3 AND \l0x01f4 SWAP1 \l0x01f5 PUSH1 0x20\l0x01f7 ADD \l0x01f8 SWAP1 \l0x01f9 SWAP2 \l0x01fa SWAP1 \l0x01fb DUP1 \l0x01fc CALLDATALOAD \l0x01fd PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0212 AND \l0x0213 SWAP1 \l0x0214 PUSH1 0x20\l0x0216 ADD \l0x0217 SWAP1 \l0x0218 SWAP2 \l0x0219 SWAP1 \l0x021a DUP1 \l0x021b CALLDATALOAD \l0x021c SWAP1 \l0x021d PUSH1 0x20\l0x021f ADD \l0x0220 SWAP1 \l0x0221 SWAP2 \l0x0222 SWAP1 \l0x0223 POP \l0x0224 POP \l0x0225 PUSH2 0x068c\l0x0228 JUMP \l0x068c JUMPDEST \l0x068d PUSH1 0\l0x068f DUP2 \l0x0690 PUSH1 0x03\l0x0692 PUSH1 0\l0x0694 DUP7 \l0x0695 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06aa AND \l0x06ab PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06c0 AND \l0x06c1 DUP2 \l0x06c2 MSTORE \l0x06c3 PUSH1 0x20\l0x06c5 ADD \l0x06c6 SWAP1 \l0x06c7 DUP2 \l0x06c8 MSTORE \l0x06c9 PUSH1 0x20\l0x06cb ADD \l0x06cc PUSH1 0\l0x06ce SHA3 \l0x06cf SLOAD \l0x06d0 LT \l0x06d1 ISZERO \l0x06d2 ISZERO \l0x06d3 ISZERO \l0x06d4 PUSH2 0x06dc\l0x06d7 JUMPI \l" ]
23 [ label = "0x06d8 PUSH1 0\l0x06da DUP1 \l0x06db REVERT \l" ]
24 [ label = "0x06dc JUMPDEST \l0x06dd CALLER \l0x06de PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06f3 AND \l0x06f4 DUP5 \l0x06f5 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x070a AND \l0x070b EQ \l0x070c ISZERO \l0x070d DUP1 \l0x070e ISZERO \l0x070f PUSH2 0x07b4\l0x0712 JUMPI \l" ]
25 [ label = "0x0713 POP \l0x0714 PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\l0x0735 PUSH1 0x04\l0x0737 PUSH1 0\l0x0739 DUP7 \l0x073a PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x074f AND \l0x0750 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0765 AND \l0x0766 DUP2 \l0x0767 MSTORE \l0x0768 PUSH1 0x20\l0x076a ADD \l0x076b SWAP1 \l0x076c DUP2 \l0x076d MSTORE \l0x076e PUSH1 0x20\l0x0770 ADD \l0x0771 PUSH1 0\l0x0773 SHA3 \l0x0774 PUSH1 0\l0x0776 CALLER \l0x0777 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x078c AND \l0x078d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07a2 AND \l0x07a3 DUP2 \l0x07a4 MSTORE \l0x07a5 PUSH1 0x20\l0x07a7 ADD \l0x07a8 SWAP1 \l0x07a9 DUP2 \l0x07aa MSTORE \l0x07ab PUSH1 0x20\l0x07ad ADD \l0x07ae PUSH1 0\l0x07b0 SHA3 \l0x07b1 SLOAD \l0x07b2 EQ \l0x07b3 ISZERO \l0x07b4 JUMPDEST \l0x07b5 ISZERO \l0x07b6 PUSH2 0x08cf\l0x07b9 JUMPI \l" ]
26 [ label = "0x08cf JUMPDEST \l0x08d0 DUP2 \l0x08d1 PUSH1 0x03\l0x08d3 PUSH1 0\l0x08d5 DUP7 \l0x08d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08eb AND \l0x08ec PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0901 AND \l0x0902 DUP2 \l0x0903 MSTORE \l0x0904 PUSH1 0x20\l0x0906 ADD \l0x0907 SWAP1 \l0x0908 DUP2 \l0x0909 MSTORE \l0x090a PUSH1 0x20\l0x090c ADD \l0x090d PUSH1 0\l0x090f SHA3 \l0x0910 PUSH1 0\l0x0912 DUP3 \l0x0913 DUP3 \l0x0914 SLOAD \l0x0915 SUB \l0x0916 SWAP3 \l0x0917 POP \l0x0918 POP \l0x0919 DUP2 \l0x091a SWAP1 \l0x091b SSTORE \l0x091c POP \l0x091d DUP2 \l0x091e PUSH1 0x03\l0x0920 PUSH1 0\l0x0922 DUP6 \l0x0923 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0938 AND \l0x0939 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x094e AND \l0x094f DUP2 \l0x0950 MSTORE \l0x0951 PUSH1 0x20\l0x0953 ADD \l0x0954 SWAP1 \l0x0955 DUP2 \l0x0956 MSTORE \l0x0957 PUSH1 0x20\l0x0959 ADD \l0x095a PUSH1 0\l0x095c SHA3 \l0x095d PUSH1 0\l0x095f DUP3 \l0x0960 DUP3 \l0x0961 SLOAD \l0x0962 ADD \l0x0963 SWAP3 \l0x0964 POP \l0x0965 POP \l0x0966 DUP2 \l0x0967 SWAP1 \l0x0968 SSTORE \l0x0969 POP \l0x096a DUP3 \l0x096b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0980 AND \l0x0981 DUP5 \l0x0982 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0997 AND \l0x0998 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef\l0x09b9 DUP5 \l0x09ba PUSH1 0x40\l0x09bc MLOAD \l0x09bd DUP1 \l0x09be DUP3 \l0x09bf DUP2 \l0x09c0 MSTORE \l0x09c1 PUSH1 0x20\l0x09c3 ADD \l0x09c4 SWAP2 \l0x09c5 POP \l0x09c6 POP \l0x09c7 PUSH1 0x40\l0x09c9 MLOAD \l0x09ca DUP1 \l0x09cb SWAP2 \l0x09cc SUB \l0x09cd SWAP1 \l0x09ce LOG3 \l0x09cf PUSH1 0x01\l0x09d1 SWAP1 \l0x09d2 POP \l0x09d3 SWAP4 \l0x09d4 SWAP3 \l0x09d5 POP \l0x09d6 POP \l0x09d7 POP \l0x09d8 JUMP \l0x0229 JUMPDEST \l0x022a PUSH1 0x40\l0x022c MLOAD \l0x022d DUP1 \l0x022e DUP3 \l0x022f ISZERO \l0x0230 ISZERO \l0x0231 ISZERO \l0x0232 ISZERO \l0x0233 DUP2 \l0x0234 MSTORE \l0x0235 PUSH1 0x20\l0x0237 ADD \l0x0238 SWAP2 \l0x0239 POP \l0x023a POP \l0x023b PUSH1 0x40\l0x023d MLOAD \l0x023e DUP1 \l0x023f SWAP2 \l0x0240 SUB \l0x0241 SWAP1 \l0x0242 RETURN \l" ]
27 [ label = "0x07ba DUP2 \l0x07bb PUSH1 0x04\l0x07bd PUSH1 0\l0x07bf DUP7 \l0x07c0 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07d5 AND \l0x07d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x07eb AND \l0x07ec DUP2 \l0x07ed MSTORE \l0x07ee PUSH1 0x20\l0x07f0 ADD \l0x07f1 SWAP1 \l0x07f2 DUP2 \l0x07f3 MSTORE \l0x07f4 PUSH1 0x20\l0x07f6 ADD \l0x07f7 PUSH1 0\l0x07f9 SHA3 \l0x07fa PUSH1 0\l0x07fc CALLER \l0x07fd PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0812 AND \l0x0813 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0828 AND \l0x0829 DUP2 \l0x082a MSTORE \l0x082b PUSH1 0x20\l0x082d ADD \l0x082e SWAP1 \l0x082f DUP2 \l0x0830 MSTORE \l0x0831 PUSH1 0x20\l0x0833 ADD \l0x0834 PUSH1 0\l0x0836 SHA3 \l0x0837 SLOAD \l0x0838 LT \l0x0839 ISZERO \l0x083a ISZERO \l0x083b ISZERO \l0x083c PUSH2 0x0844\l0x083f JUMPI \l" ]
28 [ label = "0x0840 PUSH1 0\l0x0842 DUP1 \l0x0843 REVERT \l" ]
29 [ label = "0x0844 JUMPDEST \l0x0845 DUP2 \l0x0846 PUSH1 0x04\l0x0848 PUSH1 0\l0x084a DUP7 \l0x084b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0860 AND \l0x0861 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0876 AND \l0x0877 DUP2 \l0x0878 MSTORE \l0x0879 PUSH1 0x20\l0x087b ADD \l0x087c SWAP1 \l0x087d DUP2 \l0x087e MSTORE \l0x087f PUSH1 0x20\l0x0881 ADD \l0x0882 PUSH1 0\l0x0884 SHA3 \l0x0885 PUSH1 0\l0x0887 CALLER \l0x0888 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x089d AND \l0x089e PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08b3 AND \l0x08b4 DUP2 \l0x08b5 MSTORE \l0x08b6 PUSH1 0x20\l0x08b8 ADD \l0x08b9 SWAP1 \l0x08ba DUP2 \l0x08bb MSTORE \l0x08bc PUSH1 0x20\l0x08be ADD \l0x08bf PUSH1 0\l0x08c1 SHA3 \l0x08c2 PUSH1 0\l0x08c4 DUP3 \l0x08c5 DUP3 \l0x08c6 SLOAD \l0x08c7 SUB \l0x08c8 SWAP3 \l0x08c9 POP \l0x08ca POP \l0x08cb DUP2 \l0x08cc SWAP1 \l0x08cd SSTORE \l0x08ce POP \l0x08cf JUMPDEST \l0x08d0 DUP2 \l0x08d1 PUSH1 0x03\l0x08d3 PUSH1 0\l0x08d5 DUP7 \l0x08d6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x08eb AND \l0x08ec PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0901 AND \l0x0902 DUP2 \l0x0903 MSTORE \l0x0904 PUSH1 0x20\l0x0906 ADD \l0x0907 SWAP1 \l0x0908 DUP2 \l0x0909 MSTORE \l0x090a PUSH1 0x20\l0x090c ADD \l0x090d PUSH1 0\l0x090f SHA3 \l0x0910 PUSH1 0\l0x0912 DUP3 \l0x0913 DUP3 \l0x0914 SLOAD \l0x0915 SUB \l0x0916 SWAP3 \l0x0917 POP \l0x0918 POP \l0x0919 DUP2 \l0x091a SWAP1 \l0x091b SSTORE \l0x091c POP \l0x091d DUP2 \l0x091e PUSH1 0x03\l0x0920 PUSH1 0\l0x0922 DUP6 \l0x0923 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0938 AND \l0x0939 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x094e AND \l0x094f DUP2 \l0x0950 MSTORE \l0x0951 PUSH1 0x20\l0x0953 ADD \l0x0954 SWAP1 \l0x0955 DUP2 \l0x0956 MSTORE \l0x0957 PUSH1 0x20\l0x0959 ADD \l0x095a PUSH1 0\l0x095c SHA3 \l0x095d PUSH1 0\l0x095f DUP3 \l0x0960 DUP3 \l0x0961 SLOAD \l0x0962 ADD \l0x0963 SWAP3 \l0x0964 POP \l0x0965 POP \l0x0966 DUP2 \l0x0967 SWAP1 \l0x0968 SSTORE \l0x0969 POP \l0x096a DUP3 \l0x096b PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0980 AND \l0x0981 DUP5 \l0x0982 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0997 AND \l0x0998 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef\l0x09b9 DUP5 \l0x09ba PUSH1 0x40\l0x09bc MLOAD \l0x09bd DUP1 \l0x09be DUP3 \l0x09bf DUP2 \l0x09c0 MSTORE \l0x09c1 PUSH1 0x20\l0x09c3 ADD \l0x09c4 SWAP2 \l0x09c5 POP \l0x09c6 POP \l0x09c7 PUSH1 0x40\l0x09c9 MLOAD \l0x09ca DUP1 \l0x09cb SWAP2 \l0x09cc SUB \l0x09cd SWAP1 \l0x09ce LOG3 \l0x09cf PUSH1 0x01\l0x09d1 SWAP1 \l0x09d2 POP \l0x09d3 SWAP4 \l0x09d4 SWAP3 \l0x09d5 POP \l0x09d6 POP \l0x09d7 POP \l0x09d8 JUMP \l0x0229 JUMPDEST \l0x022a PUSH1 0x40\l0x022c MLOAD \l0x022d DUP1 \l0x022e DUP3 \l0x022f ISZERO \l0x0230 ISZERO \l0x0231 ISZERO \l0x0232 ISZERO \l0x0233 DUP2 \l0x0234 MSTORE \l0x0235 PUSH1 0x20\l0x0237 ADD \l0x0238 SWAP2 \l0x0239 POP \l0x023a POP \l0x023b PUSH1 0x40\l0x023d MLOAD \l0x023e DUP1 \l0x023f SWAP2 \l0x0240 SUB \l0x0241 SWAP1 \l0x0242 RETURN \l" ]
30 [ label = "0x07b4 JUMPDEST \l0x07b5 ISZERO \l0x07b6 PUSH2 0x08cf\l0x07b9 JUMPI \l" ]
31 [ label = "0x62 DUP1 \l0x63 PUSH4 0x2e1a7d4d\l0x68 EQ \l0x69 PUSH2 0x0243\l0x6c JUMPI \l" ]
32 [ label = "0x0243 JUMPDEST \l0x0244 CALLVALUE \l0x0245 ISZERO \l0x0246 PUSH2 0x024e\l0x0249 JUMPI \l" ]
33 [ label = "0x024a PUSH1 0\l0x024c DUP1 \l0x024d REVERT \l" ]
34 [ label = "0x024e JUMPDEST \l0x024f PUSH2 0x0264\l0x0252 PUSH1 0x04\l0x0254 DUP1 \l0x0255 DUP1 \l0x0256 CALLDATALOAD \l0x0257 SWAP1 \l0x0258 PUSH1 0x20\l0x025a ADD \l0x025b SWAP1 \l0x025c SWAP2 \l0x025d SWAP1 \l0x025e POP \l0x025f POP \l0x0260 PUSH2 0x09d9\l0x0263 JUMP \l0x09d9 JUMPDEST \l0x09da DUP1 \l0x09db PUSH1 0x03\l0x09dd PUSH1 0\l0x09df CALLER \l0x09e0 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x09f5 AND \l0x09f6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a0b AND \l0x0a0c DUP2 \l0x0a0d MSTORE \l0x0a0e PUSH1 0x20\l0x0a10 ADD \l0x0a11 SWAP1 \l0x0a12 DUP2 \l0x0a13 MSTORE \l0x0a14 PUSH1 0x20\l0x0a16 ADD \l0x0a17 PUSH1 0\l0x0a19 SHA3 \l0x0a1a SLOAD \l0x0a1b LT \l0x0a1c ISZERO \l0x0a1d ISZERO \l0x0a1e ISZERO \l0x0a1f PUSH2 0x0a27\l0x0a22 JUMPI \l" ]
35 [ label = "0x0a23 PUSH1 0\l0x0a25 DUP1 \l0x0a26 REVERT \l" ]
36 [ label = "0x0a27 JUMPDEST \l0x0a28 DUP1 \l0x0a29 PUSH1 0x03\l0x0a2b PUSH1 0\l0x0a2d CALLER \l0x0a2e PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a43 AND \l0x0a44 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a59 AND \l0x0a5a DUP2 \l0x0a5b MSTORE \l0x0a5c PUSH1 0x20\l0x0a5e ADD \l0x0a5f SWAP1 \l0x0a60 DUP2 \l0x0a61 MSTORE \l0x0a62 PUSH1 0x20\l0x0a64 ADD \l0x0a65 PUSH1 0\l0x0a67 SHA3 \l0x0a68 PUSH1 0\l0x0a6a DUP3 \l0x0a6b DUP3 \l0x0a6c SLOAD \l0x0a6d SUB \l0x0a6e SWAP3 \l0x0a6f POP \l0x0a70 POP \l0x0a71 DUP2 \l0x0a72 SWAP1 \l0x0a73 SSTORE \l0x0a74 POP \l0x0a75 CALLER \l0x0a76 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0a8b AND \l0x0a8c PUSH2 0x08fc\l0x0a8f DUP3 \l0x0a90 SWAP1 \l0x0a91 DUP2 \l0x0a92 ISZERO \l0x0a93 MUL \l0x0a94 SWAP1 \l0x0a95 PUSH1 0x40\l0x0a97 MLOAD \l0x0a98 PUSH1 0\l0x0a9a PUSH1 0x40\l0x0a9c MLOAD \l0x0a9d DUP1 \l0x0a9e DUP4 \l0x0a9f SUB \l0x0aa0 DUP2 \l0x0aa1 DUP6 \l0x0aa2 DUP9 \l0x0aa3 DUP9 \l0x0aa4 CALL \l0x0aa5 SWAP4 \l0x0aa6 POP \l0x0aa7 POP \l0x0aa8 POP \l0x0aa9 POP \l0x0aaa ISZERO \l0x0aab ISZERO \l0x0aac PUSH2 0x0ab4\l0x0aaf JUMPI \l" ]
37 [ label = "0x0ab0 PUSH1 0\l0x0ab2 DUP1 \l0x0ab3 REVERT \l" ]
38 [ label = "0x0ab4 JUMPDEST \l0x0ab5 CALLER \l0x0ab6 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0acb AND \l0x0acc PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65\l0x0aed DUP3 \l0x0aee PUSH1 0x40\l0x0af0 MLOAD \l0x0af1 DUP1 \l0x0af2 DUP3 \l0x0af3 DUP2 \l0x0af4 MSTORE \l0x0af5 PUSH1 0x20\l0x0af7 ADD \l0x0af8 SWAP2 \l0x0af9 POP \l0x0afa POP \l0x0afb PUSH1 0x40\l0x0afd MLOAD \l0x0afe DUP1 \l0x0aff SWAP2 \l0x0b00 SUB \l0x0b01 SWAP1 \l0x0b02 LOG2 \l0x0b03 POP \l0x0b04 JUMP \l0x0264 JUMPDEST \l0x0265 STOP \l" ]
39 [ label = "0x6d DUP1 \l0x6e PUSH4 0x313ce567\l0x73 EQ \l0x74 PUSH2 0x0266\l0x77 JUMPI \l" ]
40 [ label = "0x0266 JUMPDEST \l0x0267 CALLVALUE \l0x0268 ISZERO \l0x0269 PUSH2 0x0271\l0x026c JUMPI \l" ]
41 [ label = "0x026d PUSH1 0\l0x026f DUP1 \l0x0270 REVERT \l" ]
42 [ label = "0x0271 JUMPDEST \l0x0272 PUSH2 0x0279\l0x0275 PUSH2 0x0b05\l0x0278 JUMP \l0x0b05 JUMPDEST \l0x0b06 PUSH1 0x02\l0x0b08 PUSH1 0\l0x0b0a SWAP1 \l0x0b0b SLOAD \l0x0b0c SWAP1 \l0x0b0d PUSH2 0x0100\l0x0b10 EXP \l0x0b11 SWAP1 \l0x0b12 DIV \l0x0b13 PUSH1 0xff\l0x0b15 AND \l0x0b16 DUP2 \l0x0b17 JUMP \l0x0279 JUMPDEST \l0x027a PUSH1 0x40\l0x027c MLOAD \l0x027d DUP1 \l0x027e DUP3 \l0x027f PUSH1 0xff\l0x0281 AND \l0x0282 PUSH1 0xff\l0x0284 AND \l0x0285 DUP2 \l0x0286 MSTORE \l0x0287 PUSH1 0x20\l0x0289 ADD \l0x028a SWAP2 \l0x028b POP \l0x028c POP \l0x028d PUSH1 0x40\l0x028f MLOAD \l0x0290 DUP1 \l0x0291 SWAP2 \l0x0292 SUB \l0x0293 SWAP1 \l0x0294 RETURN \l" ]
43 [ label = "0x78 DUP1 \l0x79 PUSH4 0x70a08231\l0x7e EQ \l0x7f PUSH2 0x0295\l0x82 JUMPI \l" ]
44 [ label = "0x0295 JUMPDEST \l0x0296 CALLVALUE \l0x0297 ISZERO \l0x0298 PUSH2 0x02a0\l0x029b JUMPI \l" ]
45 [ label = "0x029c PUSH1 0\l0x029e DUP1 \l0x029f REVERT \l" ]
46 [ label = "0x02a0 JUMPDEST \l0x02a1 PUSH2 0x02cc\l0x02a4 PUSH1 0x04\l0x02a6 DUP1 \l0x02a7 DUP1 \l0x02a8 CALLDATALOAD \l0x02a9 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x02be AND \l0x02bf SWAP1 \l0x02c0 PUSH1 0x20\l0x02c2 ADD \l0x02c3 SWAP1 \l0x02c4 SWAP2 \l0x02c5 SWAP1 \l0x02c6 POP \l0x02c7 POP \l0x02c8 PUSH2 0x0b18\l0x02cb JUMP \l0x0b18 JUMPDEST \l0x0b19 PUSH1 0x03\l0x0b1b PUSH1 0x20\l0x0b1d MSTORE \l0x0b1e DUP1 \l0x0b1f PUSH1 0\l0x0b21 MSTORE \l0x0b22 PUSH1 0x40\l0x0b24 PUSH1 0\l0x0b26 SHA3 \l0x0b27 PUSH1 0\l0x0b29 SWAP2 \l0x0b2a POP \l0x0b2b SWAP1 \l0x0b2c POP \l0x0b2d SLOAD \l0x0b2e DUP2 \l0x0b2f JUMP \l0x02cc JUMPDEST \l0x02cd PUSH1 0x40\l0x02cf MLOAD \l0x02d0 DUP1 \l0x02d1 DUP3 \l0x02d2 DUP2 \l0x02d3 MSTORE \l0x02d4 PUSH1 0x20\l0x02d6 ADD \l0x02d7 SWAP2 \l0x02d8 POP \l0x02d9 POP \l0x02da PUSH1 0x40\l0x02dc MLOAD \l0x02dd DUP1 \l0x02de SWAP2 \l0x02df SUB \l0x02e0 SWAP1 \l0x02e1 RETURN \l" ]
47 [ label = "0x83 DUP1 \l0x84 PUSH4 0x95d89b41\l0x89 EQ \l0x8a PUSH2 0x02e2\l0x8d JUMPI \l" ]
48 [ label = "0x02e2 JUMPDEST \l0x02e3 CALLVALUE \l0x02e4 ISZERO \l0x02e5 PUSH2 0x02ed\l0x02e8 JUMPI \l" ]
49 [ label = "0x02e9 PUSH1 0\l0x02eb DUP1 \l0x02ec REVERT \l" ]
50 [ label = "0x02ed JUMPDEST \l0x02ee PUSH2 0x02f5\l0x02f1 PUSH2 0x0b30\l0x02f4 JUMP \l0x0b30 JUMPDEST \l0x0b31 PUSH1 0x01\l0x0b33 DUP1 \l0x0b34 SLOAD \l0x0b35 PUSH1 0x01\l0x0b37 DUP2 \l0x0b38 PUSH1 0x01\l0x0b3a AND \l0x0b3b ISZERO \l0x0b3c PUSH2 0x0100\l0x0b3f MUL \l0x0b40 SUB \l0x0b41 AND \l0x0b42 PUSH1 0x02\l0x0b44 SWAP1 \l0x0b45 DIV \l0x0b46 DUP1 \l0x0b47 PUSH1 0x1f\l0x0b49 ADD \l0x0b4a PUSH1 0x20\l0x0b4c DUP1 \l0x0b4d SWAP2 \l0x0b4e DIV \l0x0b4f MUL \l0x0b50 PUSH1 0x20\l0x0b52 ADD \l0x0b53 PUSH1 0x40\l0x0b55 MLOAD \l0x0b56 SWAP1 \l0x0b57 DUP2 \l0x0b58 ADD \l0x0b59 PUSH1 0x40\l0x0b5b MSTORE \l0x0b5c DUP1 \l0x0b5d SWAP3 \l0x0b5e SWAP2 \l0x0b5f SWAP1 \l0x0b60 DUP2 \l0x0b61 DUP2 \l0x0b62 MSTORE \l0x0b63 PUSH1 0x20\l0x0b65 ADD \l0x0b66 DUP3 \l0x0b67 DUP1 \l0x0b68 SLOAD \l0x0b69 PUSH1 0x01\l0x0b6b DUP2 \l0x0b6c PUSH1 0x01\l0x0b6e AND \l0x0b6f ISZERO \l0x0b70 PUSH2 0x0100\l0x0b73 MUL \l0x0b74 SUB \l0x0b75 AND \l0x0b76 PUSH1 0x02\l0x0b78 SWAP1 \l0x0b79 DIV \l0x0b7a DUP1 \l0x0b7b ISZERO \l0x0b7c PUSH2 0x0bc6\l0x0b7f JUMPI \l" ]
51 [ label = "0x0b80 DUP1 \l0x0b81 PUSH1 0x1f\l0x0b83 LT \l0x0b84 PUSH2 0x0b9b\l0x0b87 JUMPI \l" ]
52 [ label = "0x0b9b JUMPDEST \l0x0b9c DUP3 \l0x0b9d ADD \l0x0b9e SWAP2 \l0x0b9f SWAP1 \l0x0ba0 PUSH1 0\l0x0ba2 MSTORE \l0x0ba3 PUSH1 0x20\l0x0ba5 PUSH1 0\l0x0ba7 SHA3 \l0x0ba8 SWAP1 \l0x0ba9 JUMPDEST \l0x0baa DUP2 \l0x0bab SLOAD \l0x0bac DUP2 \l0x0bad MSTORE \l0x0bae SWAP1 \l0x0baf PUSH1 0x01\l0x0bb1 ADD \l0x0bb2 SWAP1 \l0x0bb3 PUSH1 0x20\l0x0bb5 ADD \l0x0bb6 DUP1 \l0x0bb7 DUP4 \l0x0bb8 GT \l0x0bb9 PUSH2 0x0ba9\l0x0bbc JUMPI \l" ]
53 [ label = "0x0bbd DUP3 \l0x0bbe SWAP1 \l0x0bbf SUB \l0x0bc0 PUSH1 0x1f\l0x0bc2 AND \l0x0bc3 DUP3 \l0x0bc4 ADD \l0x0bc5 SWAP2 \l0x0bc6 JUMPDEST \l0x0bc7 POP \l0x0bc8 POP \l0x0bc9 POP \l0x0bca POP \l0x0bcb POP \l0x0bcc DUP2 \l0x0bcd JUMP \l0x02f5 JUMPDEST \l0x02f6 PUSH1 0x40\l0x02f8 MLOAD \l0x02f9 DUP1 \l0x02fa DUP1 \l0x02fb PUSH1 0x20\l0x02fd ADD \l0x02fe DUP3 \l0x02ff DUP2 \l0x0300 SUB \l0x0301 DUP3 \l0x0302 MSTORE \l0x0303 DUP4 \l0x0304 DUP2 \l0x0305 DUP2 \l0x0306 MLOAD \l0x0307 DUP2 \l0x0308 MSTORE \l0x0309 PUSH1 0x20\l0x030b ADD \l0x030c SWAP2 \l0x030d POP \l0x030e DUP1 \l0x030f MLOAD \l0x0310 SWAP1 \l0x0311 PUSH1 0x20\l0x0313 ADD \l0x0314 SWAP1 \l0x0315 DUP1 \l0x0316 DUP4 \l0x0317 DUP4 \l0x0318 PUSH1 0\l0x031a JUMPDEST \l0x031b DUP4 \l0x031c DUP2 \l0x031d LT \l0x031e ISZERO \l0x031f PUSH2 0x0335\l0x0322 JUMPI \l" ]
54 [ label = "0x0335 JUMPDEST \l0x0336 POP \l0x0337 POP \l0x0338 POP \l0x0339 POP \l0x033a SWAP1 \l0x033b POP \l0x033c SWAP1 \l0x033d DUP2 \l0x033e ADD \l0x033f SWAP1 \l0x0340 PUSH1 0x1f\l0x0342 AND \l0x0343 DUP1 \l0x0344 ISZERO \l0x0345 PUSH2 0x0362\l0x0348 JUMPI \l" ]
55 [ label = "0x0349 DUP1 \l0x034a DUP3 \l0x034b SUB \l0x034c DUP1 \l0x034d MLOAD \l0x034e PUSH1 0x01\l0x0350 DUP4 \l0x0351 PUSH1 0x20\l0x0353 SUB \l0x0354 PUSH2 0x0100\l0x0357 EXP \l0x0358 SUB \l0x0359 NOT \l0x035a AND \l0x035b DUP2 \l0x035c MSTORE \l0x035d PUSH1 0x20\l0x035f ADD \l0x0360 SWAP2 \l0x0361 POP \l0x0362 JUMPDEST \l0x0363 POP \l0x0364 SWAP3 \l0x0365 POP \l0x0366 POP \l0x0367 POP \l0x0368 PUSH1 0x40\l0x036a MLOAD \l0x036b DUP1 \l0x036c SWAP2 \l0x036d SUB \l0x036e SWAP1 \l0x036f RETURN \l" ]
56 [ label = "0x0362 JUMPDEST \l0x0363 POP \l0x0364 SWAP3 \l0x0365 POP \l0x0366 POP \l0x0367 POP \l0x0368 PUSH1 0x40\l0x036a MLOAD \l0x036b DUP1 \l0x036c SWAP2 \l0x036d SUB \l0x036e SWAP1 \l0x036f RETURN \l" ]
57 [ label = "0x8e DUP1 \l0x8f PUSH4 0xa9059cbb\l0x94 EQ \l0x95 PUSH2 0x0370\l0x98 JUMPI \l" ]
58 [ label = "0x0370 JUMPDEST \l0x0371 CALLVALUE \l0x0372 ISZERO \l0x0373 PUSH2 0x037b\l0x0376 JUMPI \l" ]
59 [ label = "0x0377 PUSH1 0\l0x0379 DUP1 \l0x037a REVERT \l" ]
60 [ label = "0x037b JUMPDEST \l0x037c PUSH2 0x03b0\l0x037f PUSH1 0x04\l0x0381 DUP1 \l0x0382 DUP1 \l0x0383 CALLDATALOAD \l0x0384 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0399 AND \l0x039a SWAP1 \l0x039b PUSH1 0x20\l0x039d ADD \l0x039e SWAP1 \l0x039f SWAP2 \l0x03a0 SWAP1 \l0x03a1 DUP1 \l0x03a2 CALLDATALOAD \l0x03a3 SWAP1 \l0x03a4 PUSH1 0x20\l0x03a6 ADD \l0x03a7 SWAP1 \l0x03a8 SWAP2 \l0x03a9 SWAP1 \l0x03aa POP \l0x03ab POP \l0x03ac PUSH2 0x0bce\l0x03af JUMP \l0x0bce JUMPDEST \l0x0bcf PUSH1 0\l0x0bd1 PUSH2 0x0bdb\l0x0bd4 CALLER \l0x0bd5 DUP5 \l0x0bd6 DUP5 \l0x0bd7 PUSH2 0x068c\l0x0bda JUMP \l0x068c JUMPDEST \l0x068d PUSH1 0\l0x068f DUP2 \l0x0690 PUSH1 0x03\l0x0692 PUSH1 0\l0x0694 DUP7 \l0x0695 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06aa AND \l0x06ab PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x06c0 AND \l0x06c1 DUP2 \l0x06c2 MSTORE \l0x06c3 PUSH1 0x20\l0x06c5 ADD \l0x06c6 SWAP1 \l0x06c7 DUP2 \l0x06c8 MSTORE \l0x06c9 PUSH1 0x20\l0x06cb ADD \l0x06cc PUSH1 0\l0x06ce SHA3 \l0x06cf SLOAD \l0x06d0 LT \l0x06d1 ISZERO \l0x06d2 ISZERO \l0x06d3 ISZERO \l0x06d4 PUSH2 0x06dc\l0x06d7 JUMPI \l" ]
61 [ label = "0x99 DUP1 \l0x9a PUSH4 0xd0e30db0\l0x9f EQ \l0xa0 PUSH2 0x03ca\l0xa3 JUMPI \l" ]
62 [ label = "0x03ca JUMPDEST \l0x03cb PUSH2 0x03d2\l0x03ce PUSH2 0x0440\l0x03d1 JUMP \l0x0440 JUMPDEST \l0x0441 CALLVALUE \l0x0442 PUSH1 0x03\l0x0444 PUSH1 0\l0x0446 CALLER \l0x0447 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x045c AND \l0x045d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0472 AND \l0x0473 DUP2 \l0x0474 MSTORE \l0x0475 PUSH1 0x20\l0x0477 ADD \l0x0478 SWAP1 \l0x0479 DUP2 \l0x047a MSTORE \l0x047b PUSH1 0x20\l0x047d ADD \l0x047e PUSH1 0\l0x0480 SHA3 \l0x0481 PUSH1 0\l0x0483 DUP3 \l0x0484 DUP3 \l0x0485 SLOAD \l0x0486 ADD \l0x0487 SWAP3 \l0x0488 POP \l0x0489 POP \l0x048a DUP2 \l0x048b SWAP1 \l0x048c SSTORE \l0x048d POP \l0x048e CALLER \l0x048f PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x04a4 AND \l0x04a5 PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c\l0x04c6 CALLVALUE \l0x04c7 PUSH1 0x40\l0x04c9 MLOAD \l0x04ca DUP1 \l0x04cb DUP3 \l0x04cc DUP2 \l0x04cd MSTORE \l0x04ce PUSH1 0x20\l0x04d0 ADD \l0x04d1 SWAP2 \l0x04d2 POP \l0x04d3 POP \l0x04d4 PUSH1 0x40\l0x04d6 MLOAD \l0x04d7 DUP1 \l0x04d8 SWAP2 \l0x04d9 SUB \l0x04da SWAP1 \l0x04db LOG2 \l0x04dc JUMP \l0x03d2 JUMPDEST \l0x03d3 STOP \l" ]
63 [ label = "0xa4 DUP1 \l0xa5 PUSH4 0xdd62ed3e\l0xaa EQ \l0xab PUSH2 0x03d4\l0xae JUMPI \l" ]
64 [ label = "0x03d4 JUMPDEST \l0x03d5 CALLVALUE \l0x03d6 ISZERO \l0x03d7 PUSH2 0x03df\l0x03da JUMPI \l" ]
65 [ label = "0x03db PUSH1 0\l0x03dd DUP1 \l0x03de REVERT \l" ]
66 [ label = "0x03df JUMPDEST \l0x03e0 PUSH2 0x042a\l0x03e3 PUSH1 0x04\l0x03e5 DUP1 \l0x03e6 DUP1 \l0x03e7 CALLDATALOAD \l0x03e8 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x03fd AND \l0x03fe SWAP1 \l0x03ff PUSH1 0x20\l0x0401 ADD \l0x0402 SWAP1 \l0x0403 SWAP2 \l0x0404 SWAP1 \l0x0405 DUP1 \l0x0406 CALLDATALOAD \l0x0407 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x041c AND \l0x041d SWAP1 \l0x041e PUSH1 0x20\l0x0420 ADD \l0x0421 SWAP1 \l0x0422 SWAP2 \l0x0423 SWAP1 \l0x0424 POP \l0x0425 POP \l0x0426 PUSH2 0x0be3\l0x0429 JUMP \l0x0be3 JUMPDEST \l0x0be4 PUSH1 0x04\l0x0be6 PUSH1 0x20\l0x0be8 MSTORE \l0x0be9 DUP2 \l0x0bea PUSH1 0\l0x0bec MSTORE \l0x0bed PUSH1 0x40\l0x0bef PUSH1 0\l0x0bf1 SHA3 \l0x0bf2 PUSH1 0x20\l0x0bf4 MSTORE \l0x0bf5 DUP1 \l0x0bf6 PUSH1 0\l0x0bf8 MSTORE \l0x0bf9 PUSH1 0x40\l0x0bfb PUSH1 0\l0x0bfd SHA3 \l0x0bfe PUSH1 0\l0x0c00 SWAP2 \l0x0c01 POP \l0x0c02 SWAP2 \l0x0c03 POP \l0x0c04 POP \l0x0c05 SLOAD \l0x0c06 DUP2 \l0x0c07 JUMP \l0x042a JUMPDEST \l0x042b PUSH1 0x40\l0x042d MLOAD \l0x042e DUP1 \l0x042f DUP3 \l0x0430 DUP2 \l0x0431 MSTORE \l0x0432 PUSH1 0x20\l0x0434 ADD \l0x0435 SWAP2 \l0x0436 POP \l0x0437 POP \l0x0438 PUSH1 0x40\l0x043a MLOAD \l0x043b DUP1 \l0x043c SWAP2 \l0x043d SUB \l0x043e SWAP1 \l0x043f RETURN \l" ]
67 [ label = "0xaf JUMPDEST \l0xb0 PUSH2 0xb7\l0xb3 PUSH2 0x0440\l0xb6 JUMP \l0x0440 JUMPDEST \l0x0441 CALLVALUE \l0x0442 PUSH1 0x03\l0x0444 PUSH1 0\l0x0446 CALLER \l0x0447 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x045c AND \l0x045d PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x0472 AND \l0x0473 DUP2 \l0x0474 MSTORE \l0x0475 PUSH1 0x20\l0x0477 ADD \l0x0478 SWAP1 \l0x0479 DUP2 \l0x047a MSTORE \l0x047b PUSH1 0x20\l0x047d ADD \l0x047e PUSH1 0\l0x0480 SHA3 \l0x0481 PUSH1 0\l0x0483 DUP3 \l0x0484 DUP3 \l0x0485 SLOAD \l0x0486 ADD \l0x0487 SWAP3 \l0x0488 POP \l0x0489 POP \l0x048a DUP2 \l0x048b SWAP1 \l0x048c SSTORE \l0x048d POP \l0x048e CALLER \l0x048f PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l0x04a4 AND \l0x04a5 PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c\l0x04c6 CALLVALUE \l0x04c7 PUSH1 0x40\l0x04c9 MLOAD \l0x04ca DUP1 \l0x04cb DUP3 \l0x04cc DUP2 \l0x04cd MSTORE \l0x04ce PUSH1 0x20\l0x04d0 ADD \l0x04d1 SWAP2 \l0x04d2 POP \l0x04d3 POP \l0x04d4 PUSH1 0x40\l0x04d6 MLOAD \l0x04d7 DUP1 \l0x04d8 SWAP2 \l0x04d9 SUB \l0x04da SWAP1 \l0x04db LOG2 \l0x04dc JUMP \l0xb7 JUMPDEST \l0xb8 STOP \l" ]
0 -> 1 []
1 -> 2 []
2 -> 3 []
2 -> 4 []
4 -> 5 []
5 -> 6 []
6 -> 7 []
7 -> 8 []
8 -> 9 []
8 -> 10 []
1 -> 11 []
11 -> 12 []
12 -> 13 []
12 -> 14 []
11 -> 15 []
15 -> 16 []
16 -> 17 []
16 -> 18 []
15 -> 19 []
19 -> 20 []
20 -> 21 []
20 -> 22 []
22 -> 23 []
22 -> 24 []
24 -> 25 []
25 -> 26 []
25 -> 27 []
27 -> 28 []
27 -> 29 []
24 -> 30 []
19 -> 31 []
31 -> 32 []
32 -> 33 []
32 -> 34 []
34 -> 35 []
34 -> 36 []
36 -> 37 []
36 -> 38 []
31 -> 39 []
39 -> 40 []
40 -> 41 []
40 -> 42 []
39 -> 43 []
43 -> 44 []
44 -> 45 []
44 -> 46 []
43 -> 47 []
47 -> 48 []
48 -> 49 []
48 -> 50 []
50 -> 51 []
51 -> 52 []
52 -> 53 []
53 -> 54 []
54 -> 55 []
54 -> 56 []
47 -> 57 []
57 -> 58 []
58 -> 59 []
58 -> 60 []
57 -> 61 []
61 -> 62 []
61 -> 63 []
63 -> 64 []
64 -> 65 []
64 -> 66 []
63 -> 67 []
0 -> 67 []
}