019b477e-d026-728d-a209-28b50202bf5e
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 27515 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27516 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92205 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92206 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92207 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92208 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0102 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd7bb99ba 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd7bb99ba 0000002f: EQ 00000030: PUSH2 0x02fc 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdb2e21bc 0000003a: EQ 0000003b: PUSH2 0x0306 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd3ced63 00000045: EQ 00000046: PUSH2 0x031d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x035a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0c546a 0000005b: EQ 0000005c: PUSH2 0x0383 0000005f: JUMPI 00000060: PUSH2 0x0109 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x023e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9b19251a 00000076: EQ 00000077: PUSH2 0x0269 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xaf468682 00000081: EQ 00000082: PUSH2 0x02a6 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc5c4744c 0000008c: EQ 0000008d: PUSH2 0x02d1 00000090: JUMPI 00000091: PUSH2 0x0109 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x715018a6 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x715018a6 000000a7: EQ 000000a8: PUSH2 0x0190 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8a19c8bc 000000b2: EQ 000000b3: PUSH2 0x01a7 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8c65c81f 000000bd: EQ 000000be: PUSH2 0x01d2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x8d4e4083 000000c8: EQ 000000c9: PUSH2 0x0213 000000cc: JUMPI 000000cd: PUSH2 0x0109 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x08061d0f 000000d8: EQ 000000d9: PUSH2 0x010e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x16450092 000000e3: EQ 000000e4: PUSH2 0x0137 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x4bb278f3 000000ee: EQ 000000ef: PUSH2 0x0162 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x4e71d92d 000000f9: EQ 000000fa: PUSH2 0x0179 000000fd: JUMPI 000000fe: PUSH2 0x0109 00000101: JUMP 00000102: JUMPDEST 00000103: CALLDATASIZE 00000104: PUSH2 0x0109 00000107: JUMPI 00000108: STOP 00000109: JUMPDEST 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x0135 0000011f: PUSH1 0x04 00000121: DUP1 00000122: CALLDATASIZE 00000123: SUB 00000124: DUP2 00000125: ADD 00000126: SWAP1 00000127: PUSH2 0x0130 0000012a: SWAP2 0000012b: SWAP1 0000012c: PUSH2 0x1336 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x03ae 00000134: JUMP 00000135: JUMPDEST 00000136: STOP 00000137: JUMPDEST 00000138: CALLVALUE 00000139: DUP1 0000013a: ISZERO 0000013b: PUSH2 0x0143 0000013e: JUMPI 0000013f: PUSH1 0x00 00000141: DUP1 00000142: REVERT 00000143: JUMPDEST 00000144: POP 00000145: PUSH2 0x014c 00000148: PUSH2 0x0471 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: MLOAD 00000150: PUSH2 0x0159 00000153: SWAP2 00000154: SWAP1 00000155: PUSH2 0x1963 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: DUP1 0000015e: SWAP2 0000015f: SUB 00000160: SWAP1 00000161: RETURN 00000162: JUMPDEST 00000163: CALLVALUE 00000164: DUP1 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: PUSH2 0x0177 00000173: PUSH2 0x04b1 00000176: JUMP 00000177: JUMPDEST 00000178: STOP 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x018e 0000018a: PUSH2 0x05ff 0000018d: JUMP 0000018e: JUMPDEST 0000018f: STOP 00000190: JUMPDEST 00000191: CALLVALUE 00000192: DUP1 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: POP 0000019e: PUSH2 0x01a5 000001a1: PUSH2 0x0931 000001a4: JUMP 000001a5: JUMPDEST 000001a6: STOP 000001a7: JUMPDEST 000001a8: CALLVALUE 000001a9: DUP1 000001aa: ISZERO 000001ab: PUSH2 0x01b3 000001ae: JUMPI 000001af: PUSH1 0x00 000001b1: DUP1 000001b2: REVERT 000001b3: JUMPDEST 000001b4: POP 000001b5: PUSH2 0x01bc 000001b8: PUSH2 0x0945 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: PUSH2 0x01c9 000001c3: SWAP2 000001c4: SWAP1 000001c5: PUSH2 0x1948 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH1 0x40 000001cc: MLOAD 000001cd: DUP1 000001ce: SWAP2 000001cf: SUB 000001d0: SWAP1 000001d1: RETURN 000001d2: JUMPDEST 000001d3: CALLVALUE 000001d4: DUP1 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x01f9 000001e3: PUSH1 0x04 000001e5: DUP1 000001e6: CALLDATASIZE 000001e7: SUB 000001e8: DUP2 000001e9: ADD 000001ea: SWAP1 000001eb: PUSH2 0x01f4 000001ee: SWAP2 000001ef: SWAP1 000001f0: PUSH2 0x138a 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH2 0x09ec 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: PUSH2 0x020a 00000200: SWAP6 00000201: SWAP5 00000202: SWAP4 00000203: SWAP3 00000204: SWAP2 00000205: SWAP1 00000206: PUSH2 0x197e 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: SWAP2 00000210: SUB 00000211: SWAP1 00000212: RETURN 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x0228 00000224: PUSH2 0x0a2f 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: PUSH2 0x0235 0000022f: SWAP2 00000230: SWAP1 00000231: PUSH2 0x1712 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: SWAP2 0000023b: SUB 0000023c: SWAP1 0000023d: RETURN 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x0253 0000024f: PUSH2 0x0a42 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: MLOAD 00000257: PUSH2 0x0260 0000025a: SWAP2 0000025b: SWAP1 0000025c: PUSH2 0x16ce 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: MLOAD 00000264: DUP1 00000265: SWAP2 00000266: SUB 00000267: SWAP1 00000268: RETURN 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH2 0x0290 0000027a: PUSH1 0x04 0000027c: DUP1 0000027d: CALLDATASIZE 0000027e: SUB 0000027f: DUP2 00000280: ADD 00000281: SWAP1 00000282: PUSH2 0x028b 00000285: SWAP2 00000286: SWAP1 00000287: PUSH2 0x12e4 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH2 0x0a6b 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH1 0x40 00000293: MLOAD 00000294: PUSH2 0x029d 00000297: SWAP2 00000298: SWAP1 00000299: PUSH2 0x1712 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: DUP1 000002a2: SWAP2 000002a3: SUB 000002a4: SWAP1 000002a5: RETURN 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x02bb 000002b7: PUSH2 0x0a8b 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: PUSH2 0x02c8 000002c2: SWAP2 000002c3: SWAP1 000002c4: PUSH2 0x1963 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: SWAP2 000002ce: SUB 000002cf: SWAP1 000002d0: RETURN 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: DUP1 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: POP 000002df: PUSH2 0x02e6 000002e2: PUSH2 0x0a91 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: PUSH2 0x02f3 000002ed: SWAP2 000002ee: SWAP1 000002ef: PUSH2 0x1963 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH1 0x40 000002f6: MLOAD 000002f7: DUP1 000002f8: SWAP2 000002f9: SUB 000002fa: SWAP1 000002fb: RETURN 000002fc: JUMPDEST 000002fd: PUSH2 0x0304 00000300: PUSH2 0x0a97 00000303: JUMP 00000304: JUMPDEST 00000305: STOP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x031b 00000317: PUSH2 0x0dff 0000031a: JUMP 0000031b: JUMPDEST 0000031c: STOP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0344 0000032e: PUSH1 0x04 00000330: DUP1 00000331: CALLDATASIZE 00000332: SUB 00000333: DUP2 00000334: ADD 00000335: SWAP1 00000336: PUSH2 0x033f 00000339: SWAP2 0000033a: SWAP1 0000033b: PUSH2 0x12e4 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH2 0x0fa8 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH1 0x40 00000347: MLOAD 00000348: PUSH2 0x0351 0000034b: SWAP2 0000034c: SWAP1 0000034d: PUSH2 0x1963 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH1 0x40 00000354: MLOAD 00000355: DUP1 00000356: SWAP2 00000357: SUB 00000358: SWAP1 00000359: RETURN 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x0381 0000036b: PUSH1 0x04 0000036d: DUP1 0000036e: CALLDATASIZE 0000036f: SUB 00000370: DUP2 00000371: ADD 00000372: SWAP1 00000373: PUSH2 0x037c 00000376: SWAP2 00000377: SWAP1 00000378: PUSH2 0x12e4 0000037b: JUMP 0000037c: JUMPDEST 0000037d: PUSH2 0x0fc0 00000380: JUMP 00000381: JUMPDEST 00000382: STOP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x0398 00000394: PUSH2 0x1044 00000397: JUMP 00000398: JUMPDEST 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: PUSH2 0x03a5 0000039f: SWAP2 000003a0: SWAP1 000003a1: PUSH2 0x172d 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: DUP1 000003aa: SWAP2 000003ab: SUB 000003ac: SWAP1 000003ad: RETURN 000003ae: JUMPDEST 000003af: PUSH2 0x03b6 000003b2: PUSH2 0x106a 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH1 0x00 000003b9: JUMPDEST 000003ba: DUP2 000003bb: MLOAD 000003bc: DUP2 000003bd: LT 000003be: ISZERO 000003bf: PUSH2 0x046c 000003c2: JUMPI 000003c3: DUP3 000003c4: PUSH1 0x04 000003c6: PUSH1 0x00 000003c8: DUP5 000003c9: DUP5 000003ca: DUP2 000003cb: MLOAD 000003cc: DUP2 000003cd: LT 000003ce: PUSH2 0x0400 000003d1: JUMPI 000003d2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000003f3: PUSH1 0x00 000003f5: MSTORE 000003f6: PUSH1 0x32 000003f8: PUSH1 0x04 000003fa: MSTORE 000003fb: PUSH1 0x24 000003fd: PUSH1 0x00 000003ff: REVERT 00000400: JUMPDEST 00000401: PUSH1 0x20 00000403: MUL 00000404: PUSH1 0x20 00000406: ADD 00000407: ADD 00000408: MLOAD 00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041e: AND 0000041f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000434: AND 00000435: DUP2 00000436: MSTORE 00000437: PUSH1 0x20 00000439: ADD 0000043a: SWAP1 0000043b: DUP2 0000043c: MSTORE 0000043d: PUSH1 0x20 0000043f: ADD 00000440: PUSH1 0x00 00000442: KECCAK256 00000443: PUSH1 0x00 00000445: PUSH2 0x0100 00000448: EXP 00000449: DUP2 0000044a: SLOAD 0000044b: DUP2 0000044c: PUSH1 0xff 0000044e: MUL 0000044f: NOT 00000450: AND 00000451: SWAP1 00000452: DUP4 00000453: ISZERO 00000454: ISZERO 00000455: MUL 00000456: OR 00000457: SWAP1 00000458: SSTORE 00000459: POP 0000045a: DUP1 0000045b: DUP1 0000045c: PUSH2 0x0464 0000045f: SWAP1 00000460: PUSH2 0x1bb4 00000463: JUMP 00000464: JUMPDEST 00000465: SWAP2 00000466: POP 00000467: POP 00000468: PUSH2 0x03b9 0000046b: JUMP 0000046c: JUMPDEST 0000046d: POP 0000046e: POP 0000046f: POP 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH1 0x00 00000474: PUSH1 0x03 00000476: PUSH1 0x00 00000478: PUSH1 0x01 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: SWAP1 00000480: DUP2 00000481: MSTORE 00000482: PUSH1 0x20 00000484: ADD 00000485: PUSH1 0x00 00000487: KECCAK256 00000488: PUSH1 0x00 0000048a: ADD 0000048b: SLOAD 0000048c: PUSH1 0x03 0000048e: PUSH1 0x00 00000490: DUP1 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0x20 00000495: ADD 00000496: SWAP1 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: ADD 0000049c: PUSH1 0x00 0000049e: KECCAK256 0000049f: PUSH1 0x00 000004a1: ADD 000004a2: SLOAD 000004a3: PUSH2 0x04ac 000004a6: SWAP2 000004a7: SWAP1 000004a8: PUSH2 0x1a33 000004ab: JUMP 000004ac: JUMPDEST 000004ad: SWAP1 000004ae: POP 000004af: SWAP1 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH2 0x04b9 000004b5: PUSH2 0x106a 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x07 000004bc: PUSH1 0x00 000004be: SWAP1 000004bf: SLOAD 000004c0: SWAP1 000004c1: PUSH2 0x0100 000004c4: EXP 000004c5: SWAP1 000004c6: DIV 000004c7: PUSH1 0xff 000004c9: AND 000004ca: ISZERO 000004cb: PUSH2 0x0509 000004ce: JUMPI 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x04 000004f7: ADD 000004f8: PUSH2 0x0500 000004fb: SWAP1 000004fc: PUSH2 0x1828 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x40 00000503: MLOAD 00000504: DUP1 00000505: SWAP2 00000506: SUB 00000507: SWAP1 00000508: REVERT 00000509: JUMPDEST 0000050a: PUSH8 0x0de0b6b3a7640000 00000513: PUSH2 0x051a 00000516: PUSH2 0x0471 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH2 0x0524 0000051e: SWAP2 0000051f: SWAP1 00000520: PUSH2 0x1ae3 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH1 0x05 00000527: SLOAD 00000528: LT 00000529: ISZERO 0000052a: PUSH2 0x0568 0000052d: JUMPI 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x04 00000556: ADD 00000557: PUSH2 0x055f 0000055a: SWAP1 0000055b: PUSH2 0x1748 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x40 00000562: MLOAD 00000563: DUP1 00000564: SWAP2 00000565: SUB 00000566: SWAP1 00000567: REVERT 00000568: JUMPDEST 00000569: PUSH2 0x0570 0000056c: PUSH2 0x0a42 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000586: AND 00000587: PUSH2 0x08fc 0000058a: SELFBALANCE 0000058b: SWAP1 0000058c: DUP2 0000058d: ISZERO 0000058e: MUL 0000058f: SWAP1 00000590: PUSH1 0x40 00000592: MLOAD 00000593: PUSH1 0x00 00000595: PUSH1 0x40 00000597: MLOAD 00000598: DUP1 00000599: DUP4 0000059a: SUB 0000059b: DUP2 0000059c: DUP6 0000059d: DUP9 0000059e: DUP9 0000059f: CALL 000005a0: SWAP4 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: ISZERO 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05b5 000005ab: JUMPI 000005ac: RETURNDATASIZE 000005ad: PUSH1 0x00 000005af: DUP1 000005b0: RETURNDATACOPY 000005b1: RETURNDATASIZE 000005b2: PUSH1 0x00 000005b4: REVERT 000005b5: JUMPDEST 000005b6: POP 000005b7: PUSH1 0x01 000005b9: PUSH1 0x07 000005bb: PUSH1 0x00 000005bd: PUSH2 0x0100 000005c0: EXP 000005c1: DUP2 000005c2: SLOAD 000005c3: DUP2 000005c4: PUSH1 0xff 000005c6: MUL 000005c7: NOT 000005c8: AND 000005c9: SWAP1 000005ca: DUP4 000005cb: ISZERO 000005cc: ISZERO 000005cd: MUL 000005ce: OR 000005cf: SWAP1 000005d0: SSTORE 000005d1: POP 000005d2: PUSH32 0x6823b073d48d6e3a7d385eeb601452d680e74bb46afe3255a7d778f3a9b17681 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: PUSH1 0x40 000005f8: MLOAD 000005f9: DUP1 000005fa: SWAP2 000005fb: SUB 000005fc: SWAP1 000005fd: LOG1 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x00 00000602: PUSH1 0x06 00000604: PUSH1 0x00 00000606: CALLER 00000607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061c: AND 0000061d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000632: AND 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x20 00000637: ADD 00000638: SWAP1 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: PUSH1 0x00 00000640: KECCAK256 00000641: SLOAD 00000642: SWAP1 00000643: POP 00000644: PUSH1 0x07 00000646: PUSH1 0x00 00000648: SWAP1 00000649: SLOAD 0000064a: SWAP1 0000064b: PUSH2 0x0100 0000064e: EXP 0000064f: SWAP1 00000650: DIV 00000651: PUSH1 0xff 00000653: AND 00000654: PUSH2 0x0692 00000657: JUMPI 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000067c: DUP2 0000067d: MSTORE 0000067e: PUSH1 0x04 00000680: ADD 00000681: PUSH2 0x0689 00000684: SWAP1 00000685: PUSH2 0x17c8 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH1 0x40 0000068c: MLOAD 0000068d: DUP1 0000068e: SWAP2 0000068f: SUB 00000690: SWAP1 00000691: REVERT 00000692: JUMPDEST 00000693: PUSH1 0x00 00000695: DUP2 00000696: GT 00000697: PUSH2 0x06d5 0000069a: JUMPI 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x04 000006c3: ADD 000006c4: PUSH2 0x06cc 000006c7: SWAP1 000006c8: PUSH2 0x18c8 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: DUP1 000006d1: SWAP2 000006d2: SUB 000006d3: SWAP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: DUP1 000006d7: PUSH1 0x02 000006d9: PUSH1 0x00 000006db: SWAP1 000006dc: SLOAD 000006dd: SWAP1 000006de: PUSH2 0x0100 000006e1: EXP 000006e2: SWAP1 000006e3: DIV 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: PUSH4 0x70a08231 00000715: ADDRESS 00000716: PUSH1 0x40 00000718: MLOAD 00000719: DUP3 0000071a: PUSH4 0xffffffff 0000071f: AND 00000720: PUSH1 0xe0 00000722: SHL 00000723: DUP2 00000724: MSTORE 00000725: PUSH1 0x04 00000727: ADD 00000728: PUSH2 0x0731 0000072b: SWAP2 0000072c: SWAP1 0000072d: PUSH2 0x16ce 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH1 0x20 00000734: PUSH1 0x40 00000736: MLOAD 00000737: DUP1 00000738: DUP4 00000739: SUB 0000073a: DUP2 0000073b: DUP7 0000073c: DUP1 0000073d: EXTCODESIZE 0000073e: ISZERO 0000073f: DUP1 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: GAS 0000074c: STATICCALL 0000074d: ISZERO 0000074e: DUP1 0000074f: ISZERO 00000750: PUSH2 0x075d 00000753: JUMPI 00000754: RETURNDATASIZE 00000755: PUSH1 0x00 00000757: DUP1 00000758: RETURNDATACOPY 00000759: RETURNDATASIZE 0000075a: PUSH1 0x00 0000075c: REVERT 0000075d: JUMPDEST 0000075e: POP 0000075f: POP 00000760: POP 00000761: POP 00000762: PUSH1 0x40 00000764: MLOAD 00000765: RETURNDATASIZE 00000766: PUSH1 0x1f 00000768: NOT 00000769: PUSH1 0x1f 0000076b: DUP3 0000076c: ADD 0000076d: AND 0000076e: DUP3 0000076f: ADD 00000770: DUP1 00000771: PUSH1 0x40 00000773: MSTORE 00000774: POP 00000775: DUP2 00000776: ADD 00000777: SWAP1 00000778: PUSH2 0x0781 0000077b: SWAP2 0000077c: SWAP1 0000077d: PUSH2 0x13b3 00000780: JUMP 00000781: JUMPDEST 00000782: LT 00000783: ISZERO 00000784: PUSH2 0x07c2 00000787: JUMPI 00000788: PUSH1 0x40 0000078a: MLOAD 0000078b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x04 000007b0: ADD 000007b1: PUSH2 0x07b9 000007b4: SWAP1 000007b5: PUSH2 0x1928 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: DUP1 000007be: SWAP2 000007bf: SUB 000007c0: SWAP1 000007c1: REVERT 000007c2: JUMPDEST 000007c3: PUSH1 0x00 000007c5: PUSH1 0x06 000007c7: PUSH1 0x00 000007c9: CALLER 000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007df: AND 000007e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f5: AND 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH1 0x20 000007fa: ADD 000007fb: SWAP1 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: PUSH1 0x00 00000803: KECCAK256 00000804: DUP2 00000805: SWAP1 00000806: SSTORE 00000807: POP 00000808: PUSH1 0x02 0000080a: PUSH1 0x00 0000080c: SWAP1 0000080d: SLOAD 0000080e: SWAP1 0000080f: PUSH2 0x0100 00000812: EXP 00000813: SWAP1 00000814: DIV 00000815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082a: AND 0000082b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000840: AND 00000841: PUSH4 0xa9059cbb 00000846: CALLER 00000847: DUP4 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: DUP4 0000084c: PUSH4 0xffffffff 00000851: AND 00000852: PUSH1 0xe0 00000854: SHL 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x04 00000859: ADD 0000085a: PUSH2 0x0864 0000085d: SWAP3 0000085e: SWAP2 0000085f: SWAP1 00000860: PUSH2 0x16e9 00000863: JUMP 00000864: JUMPDEST 00000865: PUSH1 0x20 00000867: PUSH1 0x40 00000869: MLOAD 0000086a: DUP1 0000086b: DUP4 0000086c: SUB 0000086d: DUP2 0000086e: PUSH1 0x00 00000870: DUP8 00000871: DUP1 00000872: EXTCODESIZE 00000873: ISZERO 00000874: DUP1 00000875: ISZERO 00000876: PUSH2 0x087e 00000879: JUMPI 0000087a: PUSH1 0x00 0000087c: DUP1 0000087d: REVERT 0000087e: JUMPDEST 0000087f: POP 00000880: GAS 00000881: CALL 00000882: ISZERO 00000883: DUP1 00000884: ISZERO 00000885: PUSH2 0x0892 00000888: JUMPI 00000889: RETURNDATASIZE 0000088a: PUSH1 0x00 0000088c: DUP1 0000088d: RETURNDATACOPY 0000088e: RETURNDATASIZE 0000088f: PUSH1 0x00 00000891: REVERT 00000892: JUMPDEST 00000893: POP 00000894: POP 00000895: POP 00000896: POP 00000897: PUSH1 0x40 00000899: MLOAD 0000089a: RETURNDATASIZE 0000089b: PUSH1 0x1f 0000089d: NOT 0000089e: PUSH1 0x1f 000008a0: DUP3 000008a1: ADD 000008a2: AND 000008a3: DUP3 000008a4: ADD 000008a5: DUP1 000008a6: PUSH1 0x40 000008a8: MSTORE 000008a9: POP 000008aa: DUP2 000008ab: ADD 000008ac: SWAP1 000008ad: PUSH2 0x08b6 000008b0: SWAP2 000008b1: SWAP1 000008b2: PUSH2 0x130d 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH2 0x08f5 000008ba: JUMPI 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x04 000008e3: ADD 000008e4: PUSH2 0x08ec 000008e7: SWAP1 000008e8: PUSH2 0x1788 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x40 000008ef: MLOAD 000008f0: DUP1 000008f1: SWAP2 000008f2: SUB 000008f3: SWAP1 000008f4: REVERT 000008f5: JUMPDEST 000008f6: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 00000917: CALLER 00000918: DUP3 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: PUSH2 0x0926 0000091f: SWAP3 00000920: SWAP2 00000921: SWAP1 00000922: PUSH2 0x16e9 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: DUP1 0000092b: SWAP2 0000092c: SUB 0000092d: SWAP1 0000092e: LOG1 0000092f: POP 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH2 0x0939 00000935: PUSH2 0x106a 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH2 0x0943 0000093d: PUSH1 0x00 0000093f: PUSH2 0x10e8 00000942: JUMP 00000943: JUMPDEST 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH2 0x094d 00000949: PUSH2 0x11b4 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x03 00000950: PUSH1 0x00 00000952: DUP1 00000953: DUP2 00000954: MSTORE 00000955: PUSH1 0x20 00000957: ADD 00000958: SWAP1 00000959: DUP2 0000095a: MSTORE 0000095b: PUSH1 0x20 0000095d: ADD 0000095e: PUSH1 0x00 00000960: KECCAK256 00000961: PUSH1 0x00 00000963: ADD 00000964: SLOAD 00000965: PUSH1 0x05 00000967: SLOAD 00000968: GT 00000969: PUSH2 0x0984 0000096c: JUMPI 0000096d: PUSH1 0x03 0000096f: PUSH1 0x00 00000971: DUP1 00000972: DUP2 00000973: MSTORE 00000974: PUSH1 0x20 00000976: ADD 00000977: SWAP1 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: PUSH1 0x00 0000097f: KECCAK256 00000980: PUSH2 0x0999 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH1 0x03 00000987: PUSH1 0x00 00000989: PUSH1 0x01 0000098b: DUP2 0000098c: MSTORE 0000098d: PUSH1 0x20 0000098f: ADD 00000990: SWAP1 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x20 00000995: ADD 00000996: PUSH1 0x00 00000998: KECCAK256 00000999: JUMPDEST 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: DUP1 0000099e: PUSH1 0xa0 000009a0: ADD 000009a1: PUSH1 0x40 000009a3: MSTORE 000009a4: SWAP1 000009a5: DUP2 000009a6: PUSH1 0x00 000009a8: DUP3 000009a9: ADD 000009aa: SLOAD 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: ADD 000009b0: PUSH1 0x01 000009b2: DUP3 000009b3: ADD 000009b4: SLOAD 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x20 000009b9: ADD 000009ba: PUSH1 0x02 000009bc: DUP3 000009bd: ADD 000009be: SLOAD 000009bf: DUP2 000009c0: MSTORE 000009c1: PUSH1 0x20 000009c3: ADD 000009c4: PUSH1 0x03 000009c6: DUP3 000009c7: ADD 000009c8: SLOAD 000009c9: DUP2 000009ca: MSTORE 000009cb: PUSH1 0x20 000009cd: ADD 000009ce: PUSH1 0x04 000009d0: DUP3 000009d1: ADD 000009d2: PUSH1 0x00 000009d4: SWAP1 000009d5: SLOAD 000009d6: SWAP1 000009d7: PUSH2 0x0100 000009da: EXP 000009db: SWAP1 000009dc: DIV 000009dd: PUSH1 0xff 000009df: AND 000009e0: ISZERO 000009e1: ISZERO 000009e2: ISZERO 000009e3: ISZERO 000009e4: DUP2 000009e5: MSTORE 000009e6: POP 000009e7: POP 000009e8: SWAP1 000009e9: POP 000009ea: SWAP1 000009eb: JUMP 000009ec: JUMPDEST 000009ed: PUSH1 0x03 000009ef: PUSH1 0x20 000009f1: MSTORE 000009f2: DUP1 000009f3: PUSH1 0x00 000009f5: MSTORE 000009f6: PUSH1 0x40 000009f8: PUSH1 0x00 000009fa: KECCAK256 000009fb: PUSH1 0x00 000009fd: SWAP2 000009fe: POP 000009ff: SWAP1 00000a00: POP 00000a01: DUP1 00000a02: PUSH1 0x00 00000a04: ADD 00000a05: SLOAD 00000a06: SWAP1 00000a07: DUP1 00000a08: PUSH1 0x01 00000a0a: ADD 00000a0b: SLOAD 00000a0c: SWAP1 00000a0d: DUP1 00000a0e: PUSH1 0x02 00000a10: ADD 00000a11: SLOAD 00000a12: SWAP1 00000a13: DUP1 00000a14: PUSH1 0x03 00000a16: ADD 00000a17: SLOAD 00000a18: SWAP1 00000a19: DUP1 00000a1a: PUSH1 0x04 00000a1c: ADD 00000a1d: PUSH1 0x00 00000a1f: SWAP1 00000a20: SLOAD 00000a21: SWAP1 00000a22: PUSH2 0x0100 00000a25: EXP 00000a26: SWAP1 00000a27: DIV 00000a28: PUSH1 0xff 00000a2a: AND 00000a2b: SWAP1 00000a2c: POP 00000a2d: DUP6 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH1 0x07 00000a32: PUSH1 0x00 00000a34: SWAP1 00000a35: SLOAD 00000a36: SWAP1 00000a37: PUSH2 0x0100 00000a3a: EXP 00000a3b: SWAP1 00000a3c: DIV 00000a3d: PUSH1 0xff 00000a3f: AND 00000a40: DUP2 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x00 00000a45: DUP1 00000a46: PUSH1 0x00 00000a48: SWAP1 00000a49: SLOAD 00000a4a: SWAP1 00000a4b: PUSH2 0x0100 00000a4e: EXP 00000a4f: SWAP1 00000a50: DIV 00000a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a66: AND 00000a67: SWAP1 00000a68: POP 00000a69: SWAP1 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH1 0x04 00000a6e: PUSH1 0x20 00000a70: MSTORE 00000a71: DUP1 00000a72: PUSH1 0x00 00000a74: MSTORE 00000a75: PUSH1 0x40 00000a77: PUSH1 0x00 00000a79: KECCAK256 00000a7a: PUSH1 0x00 00000a7c: SWAP2 00000a7d: POP 00000a7e: SLOAD 00000a7f: SWAP1 00000a80: PUSH2 0x0100 00000a83: EXP 00000a84: SWAP1 00000a85: DIV 00000a86: PUSH1 0xff 00000a88: AND 00000a89: DUP2 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x01 00000a8e: SLOAD 00000a8f: DUP2 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH1 0x05 00000a94: SLOAD 00000a95: DUP2 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x01 00000a9a: SLOAD 00000a9b: TIMESTAMP 00000a9c: LT 00000a9d: ISZERO 00000a9e: PUSH2 0x0adc 00000aa1: JUMPI 00000aa2: PUSH1 0x40 00000aa4: MLOAD 00000aa5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ac6: DUP2 00000ac7: MSTORE 00000ac8: PUSH1 0x04 00000aca: ADD 00000acb: PUSH2 0x0ad3 00000ace: SWAP1 00000acf: PUSH2 0x1888 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: PUSH1 0x40 00000ad6: MLOAD 00000ad7: DUP1 00000ad8: SWAP2 00000ad9: SUB 00000ada: SWAP1 00000adb: REVERT 00000adc: JUMPDEST 00000add: PUSH2 0x0ae4 00000ae0: PUSH2 0x0471 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: CALLVALUE 00000ae6: PUSH1 0x05 00000ae8: SLOAD 00000ae9: PUSH2 0x0af2 00000aec: SWAP2 00000aed: SWAP1 00000aee: PUSH2 0x1a33 00000af1: JUMP 00000af2: JUMPDEST 00000af3: GT 00000af4: ISZERO 00000af5: PUSH2 0x0b33 00000af8: JUMPI 00000af9: PUSH1 0x40 00000afb: MLOAD 00000afc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x04 00000b21: ADD 00000b22: PUSH2 0x0b2a 00000b25: SWAP1 00000b26: PUSH2 0x18a8 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: DUP1 00000b2f: SWAP2 00000b30: SUB 00000b31: SWAP1 00000b32: REVERT 00000b33: JUMPDEST 00000b34: PUSH2 0x0b3b 00000b37: PUSH2 0x0945 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x20 00000b3e: ADD 00000b3f: MLOAD 00000b40: CALLVALUE 00000b41: LT 00000b42: ISZERO 00000b43: PUSH2 0x0b81 00000b46: JUMPI 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x04 00000b6f: ADD 00000b70: PUSH2 0x0b78 00000b73: SWAP1 00000b74: PUSH2 0x18e8 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH1 0x40 00000b7b: MLOAD 00000b7c: DUP1 00000b7d: SWAP2 00000b7e: SUB 00000b7f: SWAP1 00000b80: REVERT 00000b81: JUMPDEST 00000b82: PUSH2 0x0b89 00000b85: PUSH2 0x0945 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x40 00000b8c: ADD 00000b8d: MLOAD 00000b8e: CALLVALUE 00000b8f: GT 00000b90: ISZERO 00000b91: PUSH2 0x0bcf 00000b94: JUMPI 00000b95: PUSH1 0x40 00000b97: MLOAD 00000b98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bb9: DUP2 00000bba: MSTORE 00000bbb: PUSH1 0x04 00000bbd: ADD 00000bbe: PUSH2 0x0bc6 00000bc1: SWAP1 00000bc2: PUSH2 0x17e8 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: PUSH1 0x40 00000bc9: MLOAD 00000bca: DUP1 00000bcb: SWAP2 00000bcc: SUB 00000bcd: SWAP1 00000bce: REVERT 00000bcf: JUMPDEST 00000bd0: PUSH1 0x00 00000bd2: PUSH1 0x06 00000bd4: PUSH1 0x00 00000bd6: CALLER 00000bd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bec: AND 00000bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c02: AND 00000c03: DUP2 00000c04: MSTORE 00000c05: PUSH1 0x20 00000c07: ADD 00000c08: SWAP1 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH1 0x20 00000c0d: ADD 00000c0e: PUSH1 0x00 00000c10: KECCAK256 00000c11: SLOAD 00000c12: EQ 00000c13: PUSH2 0x0c51 00000c16: JUMPI 00000c17: PUSH1 0x40 00000c19: MLOAD 00000c1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x04 00000c3f: ADD 00000c40: PUSH2 0x0c48 00000c43: SWAP1 00000c44: PUSH2 0x1808 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x40 00000c4b: MLOAD 00000c4c: DUP1 00000c4d: SWAP2 00000c4e: SUB 00000c4f: SWAP1 00000c50: REVERT 00000c51: JUMPDEST 00000c52: PUSH1 0x07 00000c54: PUSH1 0x00 00000c56: SWAP1 00000c57: SLOAD 00000c58: SWAP1 00000c59: PUSH2 0x0100 00000c5c: EXP 00000c5d: SWAP1 00000c5e: DIV 00000c5f: PUSH1 0xff 00000c61: AND 00000c62: ISZERO 00000c63: PUSH2 0x0ca1 00000c66: JUMPI 00000c67: PUSH1 0x40 00000c69: MLOAD 00000c6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c8b: DUP2 00000c8c: MSTORE 00000c8d: PUSH1 0x04 00000c8f: ADD 00000c90: PUSH2 0x0c98 00000c93: SWAP1 00000c94: PUSH2 0x1848 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH1 0x40 00000c9b: MLOAD 00000c9c: DUP1 00000c9d: SWAP2 00000c9e: SUB 00000c9f: SWAP1 00000ca0: REVERT 00000ca1: JUMPDEST 00000ca2: PUSH2 0x0ca9 00000ca5: PUSH2 0x0945 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: PUSH1 0x80 00000cac: ADD 00000cad: MLOAD 00000cae: ISZERO 00000caf: PUSH2 0x0d3f 00000cb2: JUMPI 00000cb3: PUSH1 0x04 00000cb5: PUSH1 0x00 00000cb7: CALLER 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce3: AND 00000ce4: DUP2 00000ce5: MSTORE 00000ce6: PUSH1 0x20 00000ce8: ADD 00000ce9: SWAP1 00000cea: DUP2 00000ceb: MSTORE 00000cec: PUSH1 0x20 00000cee: ADD 00000cef: PUSH1 0x00 00000cf1: KECCAK256 00000cf2: PUSH1 0x00 00000cf4: SWAP1 00000cf5: SLOAD 00000cf6: SWAP1 00000cf7: PUSH2 0x0100 00000cfa: EXP 00000cfb: SWAP1 00000cfc: DIV 00000cfd: PUSH1 0xff 00000cff: AND 00000d00: PUSH2 0x0d3e 00000d03: JUMPI 00000d04: PUSH1 0x40 00000d06: MLOAD 00000d07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH1 0x04 00000d2c: ADD 00000d2d: PUSH2 0x0d35 00000d30: SWAP1 00000d31: PUSH2 0x17a8 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: DUP1 00000d3a: SWAP2 00000d3b: SUB 00000d3c: SWAP1 00000d3d: REVERT 00000d3e: JUMPDEST 00000d3f: JUMPDEST 00000d40: CALLVALUE 00000d41: PUSH1 0x05 00000d43: PUSH1 0x00 00000d45: DUP3 00000d46: DUP3 00000d47: SLOAD 00000d48: PUSH2 0x0d51 00000d4b: SWAP2 00000d4c: SWAP1 00000d4d: PUSH2 0x1a33 00000d50: JUMP 00000d51: JUMPDEST 00000d52: SWAP3 00000d53: POP 00000d54: POP 00000d55: DUP2 00000d56: SWAP1 00000d57: SSTORE 00000d58: POP 00000d59: PUSH2 0x0d60 00000d5c: PUSH2 0x0945 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x60 00000d63: ADD 00000d64: MLOAD 00000d65: CALLVALUE 00000d66: PUSH2 0x0d6f 00000d69: SWAP2 00000d6a: SWAP1 00000d6b: PUSH2 0x1a89 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x06 00000d72: PUSH1 0x00 00000d74: CALLER 00000d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8a: AND 00000d8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da0: AND 00000da1: DUP2 00000da2: MSTORE 00000da3: PUSH1 0x20 00000da5: ADD 00000da6: SWAP1 00000da7: DUP2 00000da8: MSTORE 00000da9: PUSH1 0x20 00000dab: ADD 00000dac: PUSH1 0x00 00000dae: KECCAK256 00000daf: PUSH1 0x00 00000db1: DUP3 00000db2: DUP3 00000db3: SLOAD 00000db4: PUSH2 0x0dbd 00000db7: SWAP2 00000db8: SWAP1 00000db9: PUSH2 0x1a33 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP3 00000dbf: POP 00000dc0: POP 00000dc1: DUP2 00000dc2: SWAP1 00000dc3: SSTORE 00000dc4: POP 00000dc5: PUSH32 0x62722348256371b5147820d6cad90c40fd2da1ccee18c3ed52c0bca5a61dbbab 00000de6: CALLER 00000de7: CALLVALUE 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: PUSH2 0x0df5 00000dee: SWAP3 00000def: SWAP2 00000df0: SWAP1 00000df1: PUSH2 0x16e9 00000df4: JUMP 00000df5: JUMPDEST 00000df6: PUSH1 0x40 00000df8: MLOAD 00000df9: DUP1 00000dfa: SWAP2 00000dfb: SUB 00000dfc: SWAP1 00000dfd: LOG1 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: PUSH2 0x0e07 00000e03: PUSH2 0x106a 00000e06: JUMP 00000e07: JUMPDEST 00000e08: PUSH1 0x02 00000e0a: PUSH1 0x00 00000e0c: SWAP1 00000e0d: SLOAD 00000e0e: SWAP1 00000e0f: PUSH2 0x0100 00000e12: EXP 00000e13: SWAP1 00000e14: DIV 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e40: AND 00000e41: PUSH4 0xa9059cbb 00000e46: PUSH2 0x0e4d 00000e49: PUSH2 0x0a42 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: PUSH1 0x02 00000e50: PUSH1 0x00 00000e52: SWAP1 00000e53: SLOAD 00000e54: SWAP1 00000e55: PUSH2 0x0100 00000e58: EXP 00000e59: SWAP1 00000e5a: DIV 00000e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e70: AND 00000e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e86: AND 00000e87: PUSH4 0x70a08231 00000e8c: ADDRESS 00000e8d: PUSH1 0x40 00000e8f: MLOAD 00000e90: DUP3 00000e91: PUSH4 0xffffffff 00000e96: AND 00000e97: PUSH1 0xe0 00000e99: SHL 00000e9a: DUP2 00000e9b: MSTORE 00000e9c: PUSH1 0x04 00000e9e: ADD 00000e9f: PUSH2 0x0ea8 00000ea2: SWAP2 00000ea3: SWAP1 00000ea4: PUSH2 0x16ce 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x20 00000eab: PUSH1 0x40 00000ead: MLOAD 00000eae: DUP1 00000eaf: DUP4 00000eb0: SUB 00000eb1: DUP2 00000eb2: DUP7 00000eb3: DUP1 00000eb4: EXTCODESIZE 00000eb5: ISZERO 00000eb6: DUP1 00000eb7: ISZERO 00000eb8: PUSH2 0x0ec0 00000ebb: JUMPI 00000ebc: PUSH1 0x00 00000ebe: DUP1 00000ebf: REVERT 00000ec0: JUMPDEST 00000ec1: POP 00000ec2: GAS 00000ec3: STATICCALL 00000ec4: ISZERO 00000ec5: DUP1 00000ec6: ISZERO 00000ec7: PUSH2 0x0ed4 00000eca: JUMPI 00000ecb: RETURNDATASIZE 00000ecc: PUSH1 0x00 00000ece: DUP1 00000ecf: RETURNDATACOPY 00000ed0: RETURNDATASIZE 00000ed1: PUSH1 0x00 00000ed3: REVERT 00000ed4: JUMPDEST 00000ed5: POP 00000ed6: POP 00000ed7: POP 00000ed8: POP 00000ed9: PUSH1 0x40 00000edb: MLOAD 00000edc: RETURNDATASIZE 00000edd: PUSH1 0x1f 00000edf: NOT 00000ee0: PUSH1 0x1f 00000ee2: DUP3 00000ee3: ADD 00000ee4: AND 00000ee5: DUP3 00000ee6: ADD 00000ee7: DUP1 00000ee8: PUSH1 0x40 00000eea: MSTORE 00000eeb: POP 00000eec: DUP2 00000eed: ADD 00000eee: SWAP1 00000eef: PUSH2 0x0ef8 00000ef2: SWAP2 00000ef3: SWAP1 00000ef4: PUSH2 0x13b3 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: DUP4 00000efd: PUSH4 0xffffffff 00000f02: AND 00000f03: PUSH1 0xe0 00000f05: SHL 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x04 00000f0a: ADD 00000f0b: PUSH2 0x0f15 00000f0e: SWAP3 00000f0f: SWAP2 00000f10: SWAP1 00000f11: PUSH2 0x16e9 00000f14: JUMP 00000f15: JUMPDEST 00000f16: PUSH1 0x20 00000f18: PUSH1 0x40 00000f1a: MLOAD 00000f1b: DUP1 00000f1c: DUP4 00000f1d: SUB 00000f1e: DUP2 00000f1f: PUSH1 0x00 00000f21: DUP8 00000f22: DUP1 00000f23: EXTCODESIZE 00000f24: ISZERO 00000f25: DUP1 00000f26: ISZERO 00000f27: PUSH2 0x0f2f 00000f2a: JUMPI 00000f2b: PUSH1 0x00 00000f2d: DUP1 00000f2e: REVERT 00000f2f: JUMPDEST 00000f30: POP 00000f31: GAS 00000f32: CALL 00000f33: ISZERO 00000f34: DUP1 00000f35: ISZERO 00000f36: PUSH2 0x0f43 00000f39: JUMPI 00000f3a: RETURNDATASIZE 00000f3b: PUSH1 0x00 00000f3d: DUP1 00000f3e: RETURNDATACOPY 00000f3f: RETURNDATASIZE 00000f40: PUSH1 0x00 00000f42: REVERT 00000f43: JUMPDEST 00000f44: POP 00000f45: POP 00000f46: POP 00000f47: POP 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: RETURNDATASIZE 00000f4c: PUSH1 0x1f 00000f4e: NOT 00000f4f: PUSH1 0x1f 00000f51: DUP3 00000f52: ADD 00000f53: AND 00000f54: DUP3 00000f55: ADD 00000f56: DUP1 00000f57: PUSH1 0x40 00000f59: MSTORE 00000f5a: POP 00000f5b: DUP2 00000f5c: ADD 00000f5d: SWAP1 00000f5e: PUSH2 0x0f67 00000f61: SWAP2 00000f62: SWAP1 00000f63: PUSH2 0x130d 00000f66: JUMP 00000f67: JUMPDEST 00000f68: PUSH2 0x0fa6 00000f6b: JUMPI 00000f6c: PUSH1 0x40 00000f6e: MLOAD 00000f6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x04 00000f94: ADD 00000f95: PUSH2 0x0f9d 00000f98: SWAP1 00000f99: PUSH2 0x1908 00000f9c: JUMP 00000f9d: JUMPDEST 00000f9e: PUSH1 0x40 00000fa0: MLOAD 00000fa1: DUP1 00000fa2: SWAP2 00000fa3: SUB 00000fa4: SWAP1 00000fa5: REVERT 00000fa6: JUMPDEST 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x06 00000fab: PUSH1 0x20 00000fad: MSTORE 00000fae: DUP1 00000faf: PUSH1 0x00 00000fb1: MSTORE 00000fb2: PUSH1 0x40 00000fb4: PUSH1 0x00 00000fb6: KECCAK256 00000fb7: PUSH1 0x00 00000fb9: SWAP2 00000fba: POP 00000fbb: SWAP1 00000fbc: POP 00000fbd: SLOAD 00000fbe: DUP2 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH2 0x0fc8 00000fc4: PUSH2 0x106a 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: PUSH1 0x00 00000fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe0: AND 00000fe1: DUP2 00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff7: AND 00000ff8: EQ 00000ff9: ISZERO 00000ffa: PUSH2 0x1038 00000ffd: JUMPI 00000ffe: PUSH1 0x40 00001000: MLOAD 00001001: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x04 00001026: ADD 00001027: PUSH2 0x102f 0000102a: SWAP1 0000102b: PUSH2 0x1768 0000102e: JUMP 0000102f: JUMPDEST 00001030: PUSH1 0x40 00001032: MLOAD 00001033: DUP1 00001034: SWAP2 00001035: SUB 00001036: SWAP1 00001037: REVERT 00001038: JUMPDEST 00001039: PUSH2 0x1041 0000103c: DUP2 0000103d: PUSH2 0x10e8 00001040: JUMP 00001041: JUMPDEST 00001042: POP 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH1 0x02 00001047: PUSH1 0x00 00001049: SWAP1 0000104a: SLOAD 0000104b: SWAP1 0000104c: PUSH2 0x0100 0000104f: EXP 00001050: SWAP1 00001051: DIV 00001052: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001067: AND 00001068: DUP2 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH2 0x1072 0000106e: PUSH2 0x11ac 00001071: JUMP 00001072: JUMPDEST 00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001088: AND 00001089: PUSH2 0x1090 0000108c: PUSH2 0x0a42 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a6: AND 000010a7: EQ 000010a8: PUSH2 0x10e6 000010ab: JUMPI 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010d0: DUP2 000010d1: MSTORE 000010d2: PUSH1 0x04 000010d4: ADD 000010d5: PUSH2 0x10dd 000010d8: SWAP1 000010d9: PUSH2 0x1868 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH1 0x40 000010e0: MLOAD 000010e1: DUP1 000010e2: SWAP2 000010e3: SUB 000010e4: SWAP1 000010e5: REVERT 000010e6: JUMPDEST 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x00 000010eb: DUP1 000010ec: PUSH1 0x00 000010ee: SWAP1 000010ef: SLOAD 000010f0: SWAP1 000010f1: PUSH2 0x0100 000010f4: EXP 000010f5: SWAP1 000010f6: DIV 000010f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110c: AND 0000110d: SWAP1 0000110e: POP 0000110f: DUP2 00001110: PUSH1 0x00 00001112: DUP1 00001113: PUSH2 0x0100 00001116: EXP 00001117: DUP2 00001118: SLOAD 00001119: DUP2 0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112f: MUL 00001130: NOT 00001131: AND 00001132: SWAP1 00001133: DUP4 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: AND 0000114a: MUL 0000114b: OR 0000114c: SWAP1 0000114d: SSTORE 0000114e: POP 0000114f: DUP2 00001150: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001165: AND 00001166: DUP2 00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117c: AND 0000117d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000119e: PUSH1 0x40 000011a0: MLOAD 000011a1: PUSH1 0x40 000011a3: MLOAD 000011a4: DUP1 000011a5: SWAP2 000011a6: SUB 000011a7: SWAP1 000011a8: LOG3 000011a9: POP 000011aa: POP 000011ab: JUMP 000011ac: JUMPDEST 000011ad: PUSH1 0x00 000011af: CALLER 000011b0: SWAP1 000011b1: POP 000011b2: SWAP1 000011b3: JUMP 000011b4: JUMPDEST 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: DUP1 000011b9: PUSH1 0xa0 000011bb: ADD 000011bc: PUSH1 0x40 000011be: MSTORE 000011bf: DUP1 000011c0: PUSH1 0x00 000011c2: DUP2 000011c3: MSTORE 000011c4: PUSH1 0x20 000011c6: ADD 000011c7: PUSH1 0x00 000011c9: DUP2 000011ca: MSTORE 000011cb: PUSH1 0x20 000011cd: ADD 000011ce: PUSH1 0x00 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x20 000011d4: ADD 000011d5: PUSH1 0x00 000011d7: DUP2 000011d8: MSTORE 000011d9: PUSH1 0x20 000011db: ADD 000011dc: PUSH1 0x00 000011de: ISZERO 000011df: ISZERO 000011e0: DUP2 000011e1: MSTORE 000011e2: POP 000011e3: SWAP1 000011e4: JUMP 000011e5: JUMPDEST 000011e6: PUSH1 0x00 000011e8: PUSH2 0x11f8 000011eb: PUSH2 0x11f3 000011ee: DUP5 000011ef: PUSH2 0x19f6 000011f2: JUMP 000011f3: JUMPDEST 000011f4: PUSH2 0x19d1 000011f7: JUMP 000011f8: JUMPDEST 000011f9: SWAP1 000011fa: POP 000011fb: DUP1 000011fc: DUP4 000011fd: DUP3 000011fe: MSTORE 000011ff: PUSH1 0x20 00001201: DUP3 00001202: ADD 00001203: SWAP1 00001204: POP 00001205: DUP3 00001206: DUP6 00001207: PUSH1 0x20 00001209: DUP7 0000120a: MUL 0000120b: DUP3 0000120c: ADD 0000120d: GT 0000120e: ISZERO 0000120f: PUSH2 0x1217 00001212: JUMPI 00001213: PUSH1 0x00 00001215: DUP1 00001216: REVERT 00001217: JUMPDEST 00001218: PUSH1 0x00 0000121a: JUMPDEST 0000121b: DUP6 0000121c: DUP2 0000121d: LT 0000121e: ISZERO 0000121f: PUSH2 0x1247 00001222: JUMPI 00001223: DUP2 00001224: PUSH2 0x122d 00001227: DUP9 00001228: DUP3 00001229: PUSH2 0x1251 0000122c: JUMP 0000122d: JUMPDEST 0000122e: DUP5 0000122f: MSTORE 00001230: PUSH1 0x20 00001232: DUP5 00001233: ADD 00001234: SWAP4 00001235: POP 00001236: PUSH1 0x20 00001238: DUP4 00001239: ADD 0000123a: SWAP3 0000123b: POP 0000123c: POP 0000123d: PUSH1 0x01 0000123f: DUP2 00001240: ADD 00001241: SWAP1 00001242: POP 00001243: PUSH2 0x121a 00001246: JUMP 00001247: JUMPDEST 00001248: POP 00001249: POP 0000124a: POP 0000124b: SWAP4 0000124c: SWAP3 0000124d: POP 0000124e: POP 0000124f: POP 00001250: JUMP 00001251: JUMPDEST 00001252: PUSH1 0x00 00001254: DUP2 00001255: CALLDATALOAD 00001256: SWAP1 00001257: POP 00001258: PUSH2 0x1260 0000125b: DUP2 0000125c: PUSH2 0x209e 0000125f: JUMP 00001260: JUMPDEST 00001261: SWAP3 00001262: SWAP2 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: DUP3 0000126a: PUSH1 0x1f 0000126c: DUP4 0000126d: ADD 0000126e: SLT 0000126f: PUSH2 0x1277 00001272: JUMPI 00001273: PUSH1 0x00 00001275: DUP1 00001276: REVERT 00001277: JUMPDEST 00001278: DUP2 00001279: CALLDATALOAD 0000127a: PUSH2 0x1287 0000127d: DUP5 0000127e: DUP3 0000127f: PUSH1 0x20 00001281: DUP7 00001282: ADD 00001283: PUSH2 0x11e5 00001286: JUMP 00001287: JUMPDEST 00001288: SWAP2 00001289: POP 0000128a: POP 0000128b: SWAP3 0000128c: SWAP2 0000128d: POP 0000128e: POP 0000128f: JUMP 00001290: JUMPDEST 00001291: PUSH1 0x00 00001293: DUP2 00001294: CALLDATALOAD 00001295: SWAP1 00001296: POP 00001297: PUSH2 0x129f 0000129a: DUP2 0000129b: PUSH2 0x20b5 0000129e: JUMP 0000129f: JUMPDEST 000012a0: SWAP3 000012a1: SWAP2 000012a2: POP 000012a3: POP 000012a4: JUMP 000012a5: JUMPDEST 000012a6: PUSH1 0x00 000012a8: DUP2 000012a9: MLOAD 000012aa: SWAP1 000012ab: POP 000012ac: PUSH2 0x12b4 000012af: DUP2 000012b0: PUSH2 0x20b5 000012b3: JUMP 000012b4: JUMPDEST 000012b5: SWAP3 000012b6: SWAP2 000012b7: POP 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x00 000012bd: DUP2 000012be: CALLDATALOAD 000012bf: SWAP1 000012c0: POP 000012c1: PUSH2 0x12c9 000012c4: DUP2 000012c5: PUSH2 0x20cc 000012c8: JUMP 000012c9: JUMPDEST 000012ca: SWAP3 000012cb: SWAP2 000012cc: POP 000012cd: POP 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH1 0x00 000012d2: DUP2 000012d3: MLOAD 000012d4: SWAP1 000012d5: POP 000012d6: PUSH2 0x12de 000012d9: DUP2 000012da: PUSH2 0x20cc 000012dd: JUMP 000012de: JUMPDEST 000012df: SWAP3 000012e0: SWAP2 000012e1: POP 000012e2: POP 000012e3: JUMP 000012e4: JUMPDEST 000012e5: PUSH1 0x00 000012e7: PUSH1 0x20 000012e9: DUP3 000012ea: DUP5 000012eb: SUB 000012ec: SLT 000012ed: ISZERO 000012ee: PUSH2 0x12f6 000012f1: JUMPI 000012f2: PUSH1 0x00 000012f4: DUP1 000012f5: REVERT 000012f6: JUMPDEST 000012f7: PUSH1 0x00 000012f9: PUSH2 0x1304 000012fc: DUP5 000012fd: DUP3 000012fe: DUP6 000012ff: ADD 00001300: PUSH2 0x1251 00001303: JUMP 00001304: JUMPDEST 00001305: SWAP2 00001306: POP 00001307: POP 00001308: SWAP3 00001309: SWAP2 0000130a: POP 0000130b: POP 0000130c: JUMP 0000130d: JUMPDEST 0000130e: PUSH1 0x00 00001310: PUSH1 0x20 00001312: DUP3 00001313: DUP5 00001314: SUB 00001315: SLT 00001316: ISZERO 00001317: PUSH2 0x131f 0000131a: JUMPI 0000131b: PUSH1 0x00 0000131d: DUP1 0000131e: REVERT 0000131f: JUMPDEST 00001320: PUSH1 0x00 00001322: PUSH2 0x132d 00001325: DUP5 00001326: DUP3 00001327: DUP6 00001328: ADD 00001329: PUSH2 0x12a5 0000132c: JUMP 0000132d: JUMPDEST 0000132e: SWAP2 0000132f: POP 00001330: POP 00001331: SWAP3 00001332: SWAP2 00001333: POP 00001334: POP 00001335: JUMP 00001336: JUMPDEST 00001337: PUSH1 0x00 00001339: DUP1 0000133a: PUSH1 0x40 0000133c: DUP4 0000133d: DUP6 0000133e: SUB 0000133f: SLT 00001340: ISZERO 00001341: PUSH2 0x1349 00001344: JUMPI 00001345: PUSH1 0x00 00001347: DUP1 00001348: REVERT 00001349: JUMPDEST 0000134a: PUSH1 0x00 0000134c: PUSH2 0x1357 0000134f: DUP6 00001350: DUP3 00001351: DUP7 00001352: ADD 00001353: PUSH2 0x1290 00001356: JUMP 00001357: JUMPDEST 00001358: SWAP3 00001359: POP 0000135a: POP 0000135b: PUSH1 0x20 0000135d: DUP4 0000135e: ADD 0000135f: CALLDATALOAD 00001360: PUSH8 0xffffffffffffffff 00001369: DUP2 0000136a: GT 0000136b: ISZERO 0000136c: PUSH2 0x1374 0000136f: JUMPI 00001370: PUSH1 0x00 00001372: DUP1 00001373: REVERT 00001374: JUMPDEST 00001375: PUSH2 0x1380 00001378: DUP6 00001379: DUP3 0000137a: DUP7 0000137b: ADD 0000137c: PUSH2 0x1266 0000137f: JUMP 00001380: JUMPDEST 00001381: SWAP2 00001382: POP 00001383: POP 00001384: SWAP3 00001385: POP 00001386: SWAP3 00001387: SWAP1 00001388: POP 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x00 0000138d: PUSH1 0x20 0000138f: DUP3 00001390: DUP5 00001391: SUB 00001392: SLT 00001393: ISZERO 00001394: PUSH2 0x139c 00001397: JUMPI 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: REVERT 0000139c: JUMPDEST 0000139d: PUSH1 0x00 0000139f: PUSH2 0x13aa 000013a2: DUP5 000013a3: DUP3 000013a4: DUP6 000013a5: ADD 000013a6: PUSH2 0x12ba 000013a9: JUMP 000013aa: JUMPDEST 000013ab: SWAP2 000013ac: POP 000013ad: POP 000013ae: SWAP3 000013af: SWAP2 000013b0: POP 000013b1: POP 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: PUSH1 0x20 000013b8: DUP3 000013b9: DUP5 000013ba: SUB 000013bb: SLT 000013bc: ISZERO 000013bd: PUSH2 0x13c5 000013c0: JUMPI 000013c1: PUSH1 0x00 000013c3: DUP1 000013c4: REVERT 000013c5: JUMPDEST 000013c6: PUSH1 0x00 000013c8: PUSH2 0x13d3 000013cb: DUP5 000013cc: DUP3 000013cd: DUP6 000013ce: ADD 000013cf: PUSH2 0x12cf 000013d2: JUMP 000013d3: JUMPDEST 000013d4: SWAP2 000013d5: POP 000013d6: POP 000013d7: SWAP3 000013d8: SWAP2 000013d9: POP 000013da: POP 000013db: JUMP 000013dc: JUMPDEST 000013dd: PUSH2 0x13e5 000013e0: DUP2 000013e1: PUSH2 0x1b17 000013e4: JUMP 000013e5: JUMPDEST 000013e6: DUP3 000013e7: MSTORE 000013e8: POP 000013e9: POP 000013ea: JUMP 000013eb: JUMPDEST 000013ec: PUSH2 0x13f4 000013ef: DUP2 000013f0: PUSH2 0x1b29 000013f3: JUMP 000013f4: JUMPDEST 000013f5: DUP3 000013f6: MSTORE 000013f7: POP 000013f8: POP 000013f9: JUMP 000013fa: JUMPDEST 000013fb: PUSH2 0x1403 000013fe: DUP2 000013ff: PUSH2 0x1b29 00001402: JUMP 00001403: JUMPDEST 00001404: DUP3 00001405: MSTORE 00001406: POP 00001407: POP 00001408: JUMP 00001409: JUMPDEST 0000140a: PUSH2 0x1412 0000140d: DUP2 0000140e: PUSH2 0x1b5f 00001411: JUMP 00001412: JUMPDEST 00001413: DUP3 00001414: MSTORE 00001415: POP 00001416: POP 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x00 0000141b: PUSH2 0x1425 0000141e: PUSH1 0x21 00001420: DUP4 00001421: PUSH2 0x1a22 00001424: JUMP 00001425: JUMPDEST 00001426: SWAP2 00001427: POP 00001428: PUSH2 0x1430 0000142b: DUP3 0000142c: PUSH2 0x1c6c 0000142f: JUMP 00001430: JUMPDEST 00001431: PUSH1 0x40 00001433: DUP3 00001434: ADD 00001435: SWAP1 00001436: POP 00001437: SWAP2 00001438: SWAP1 00001439: POP 0000143a: JUMP 0000143b: JUMPDEST 0000143c: PUSH1 0x00 0000143e: PUSH2 0x1448 00001441: PUSH1 0x26 00001443: DUP4 00001444: PUSH2 0x1a22 00001447: JUMP 00001448: JUMPDEST 00001449: SWAP2 0000144a: POP 0000144b: PUSH2 0x1453 0000144e: DUP3 0000144f: PUSH2 0x1cbb 00001452: JUMP 00001453: JUMPDEST 00001454: PUSH1 0x40 00001456: DUP3 00001457: ADD 00001458: SWAP1 00001459: POP 0000145a: SWAP2 0000145b: SWAP1 0000145c: POP 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: PUSH2 0x146b 00001464: PUSH1 0x24 00001466: DUP4 00001467: PUSH2 0x1a22 0000146a: JUMP 0000146b: JUMPDEST 0000146c: SWAP2 0000146d: POP 0000146e: PUSH2 0x1476 00001471: DUP3 00001472: PUSH2 0x1d0a 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH1 0x40 00001479: DUP3 0000147a: ADD 0000147b: SWAP1 0000147c: POP 0000147d: SWAP2 0000147e: SWAP1 0000147f: POP 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH1 0x00 00001484: PUSH2 0x148e 00001487: PUSH1 0x24 00001489: DUP4 0000148a: PUSH2 0x1a22 0000148d: JUMP 0000148e: JUMPDEST 0000148f: SWAP2 00001490: POP 00001491: PUSH2 0x1499 00001494: DUP3 00001495: PUSH2 0x1d59 00001498: JUMP 00001499: JUMPDEST 0000149a: PUSH1 0x40 0000149c: DUP3 0000149d: ADD 0000149e: SWAP1 0000149f: POP 000014a0: SWAP2 000014a1: SWAP1 000014a2: POP 000014a3: JUMP 000014a4: JUMPDEST 000014a5: PUSH1 0x00 000014a7: PUSH2 0x14b1 000014aa: PUSH1 0x20 000014ac: DUP4 000014ad: PUSH2 0x1a22 000014b0: JUMP 000014b1: JUMPDEST 000014b2: SWAP2 000014b3: POP 000014b4: PUSH2 0x14bc 000014b7: DUP3 000014b8: PUSH2 0x1da8 000014bb: JUMP 000014bc: JUMPDEST 000014bd: PUSH1 0x20 000014bf: DUP3 000014c0: ADD 000014c1: SWAP1 000014c2: POP 000014c3: SWAP2 000014c4: SWAP1 000014c5: POP 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH1 0x00 000014ca: PUSH2 0x14d4 000014cd: PUSH1 0x2d 000014cf: DUP4 000014d0: PUSH2 0x1a22 000014d3: JUMP 000014d4: JUMPDEST 000014d5: SWAP2 000014d6: POP 000014d7: PUSH2 0x14df 000014da: DUP3 000014db: PUSH2 0x1dd1 000014de: JUMP 000014df: JUMPDEST 000014e0: PUSH1 0x40 000014e2: DUP3 000014e3: ADD 000014e4: SWAP1 000014e5: POP 000014e6: SWAP2 000014e7: SWAP1 000014e8: POP 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0x00 000014ed: PUSH2 0x14f7 000014f0: PUSH1 0x27 000014f2: DUP4 000014f3: PUSH2 0x1a22 000014f6: JUMP 000014f7: JUMPDEST 000014f8: SWAP2 000014f9: POP 000014fa: PUSH2 0x1502 000014fd: DUP3 000014fe: PUSH2 0x1e20 00001501: JUMP 00001502: JUMPDEST 00001503: PUSH1 0x40 00001505: DUP3 00001506: ADD 00001507: SWAP1 00001508: POP 00001509: SWAP2 0000150a: SWAP1 0000150b: POP 0000150c: JUMP 0000150d: JUMPDEST 0000150e: PUSH1 0x00 00001510: PUSH2 0x151a 00001513: PUSH1 0x23 00001515: DUP4 00001516: PUSH2 0x1a22 00001519: JUMP 0000151a: JUMPDEST 0000151b: SWAP2 0000151c: POP 0000151d: PUSH2 0x1525 00001520: DUP3 00001521: PUSH2 0x1e6f 00001524: JUMP 00001525: JUMPDEST 00001526: PUSH1 0x40 00001528: DUP3 00001529: ADD 0000152a: SWAP1 0000152b: POP 0000152c: SWAP2 0000152d: SWAP1 0000152e: POP 0000152f: JUMP 00001530: JUMPDEST 00001531: PUSH1 0x00 00001533: PUSH2 0x153d 00001536: PUSH1 0x1d 00001538: DUP4 00001539: PUSH2 0x1a22 0000153c: JUMP 0000153d: JUMPDEST 0000153e: SWAP2 0000153f: POP 00001540: PUSH2 0x1548 00001543: DUP3 00001544: PUSH2 0x1ebe 00001547: JUMP 00001548: JUMPDEST 00001549: PUSH1 0x20 0000154b: DUP3 0000154c: ADD 0000154d: SWAP1 0000154e: POP 0000154f: SWAP2 00001550: SWAP1 00001551: POP 00001552: JUMP 00001553: JUMPDEST 00001554: PUSH1 0x00 00001556: PUSH2 0x1560 00001559: PUSH1 0x20 0000155b: DUP4 0000155c: PUSH2 0x1a22 0000155f: JUMP 00001560: JUMPDEST 00001561: SWAP2 00001562: POP 00001563: PUSH2 0x156b 00001566: DUP3 00001567: PUSH2 0x1ee7 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH1 0x20 0000156e: DUP3 0000156f: ADD 00001570: SWAP1 00001571: POP 00001572: SWAP2 00001573: SWAP1 00001574: POP 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH1 0x00 00001579: PUSH2 0x1583 0000157c: PUSH1 0x23 0000157e: DUP4 0000157f: PUSH2 0x1a22 00001582: JUMP 00001583: JUMPDEST 00001584: SWAP2 00001585: POP 00001586: PUSH2 0x158e 00001589: DUP3 0000158a: PUSH2 0x1f10 0000158d: JUMP 0000158e: JUMPDEST 0000158f: PUSH1 0x40 00001591: DUP3 00001592: ADD 00001593: SWAP1 00001594: POP 00001595: SWAP2 00001596: SWAP1 00001597: POP 00001598: JUMP 00001599: JUMPDEST 0000159a: PUSH1 0x00 0000159c: PUSH2 0x15a6 0000159f: PUSH1 0x1f 000015a1: DUP4 000015a2: PUSH2 0x1a22 000015a5: JUMP 000015a6: JUMPDEST 000015a7: SWAP2 000015a8: POP 000015a9: PUSH2 0x15b1 000015ac: DUP3 000015ad: PUSH2 0x1f5f 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH1 0x20 000015b4: DUP3 000015b5: ADD 000015b6: SWAP1 000015b7: POP 000015b8: SWAP2 000015b9: SWAP1 000015ba: POP 000015bb: JUMP 000015bc: JUMPDEST 000015bd: PUSH1 0x00 000015bf: PUSH2 0x15c9 000015c2: PUSH1 0x1f 000015c4: DUP4 000015c5: PUSH2 0x1a22 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP2 000015cb: POP 000015cc: PUSH2 0x15d4 000015cf: DUP3 000015d0: PUSH2 0x1f88 000015d3: JUMP 000015d4: JUMPDEST 000015d5: PUSH1 0x20 000015d7: DUP3 000015d8: ADD 000015d9: SWAP1 000015da: POP 000015db: SWAP2 000015dc: SWAP1 000015dd: POP 000015de: JUMP 000015df: JUMPDEST 000015e0: PUSH1 0x00 000015e2: PUSH2 0x15ec 000015e5: PUSH1 0x2e 000015e7: DUP4 000015e8: PUSH2 0x1a22 000015eb: JUMP 000015ec: JUMPDEST 000015ed: SWAP2 000015ee: POP 000015ef: PUSH2 0x15f7 000015f2: DUP3 000015f3: PUSH2 0x1fb1 000015f6: JUMP 000015f7: JUMPDEST 000015f8: PUSH1 0x40 000015fa: DUP3 000015fb: ADD 000015fc: SWAP1 000015fd: POP 000015fe: SWAP2 000015ff: SWAP1 00001600: POP 00001601: JUMP 00001602: JUMPDEST 00001603: PUSH1 0x00 00001605: PUSH2 0x160f 00001608: PUSH1 0x30 0000160a: DUP4 0000160b: PUSH2 0x1a22 0000160e: JUMP 0000160f: JUMPDEST 00001610: SWAP2 00001611: POP 00001612: PUSH2 0x161a 00001615: DUP3 00001616: PUSH2 0x2000 00001619: JUMP 0000161a: JUMPDEST 0000161b: PUSH1 0x40 0000161d: DUP3 0000161e: ADD 0000161f: SWAP1 00001620: POP 00001621: SWAP2 00001622: SWAP1 00001623: POP 00001624: JUMP 00001625: JUMPDEST 00001626: PUSH1 0x00 00001628: PUSH2 0x1632 0000162b: PUSH1 0x2f 0000162d: DUP4 0000162e: PUSH2 0x1a22 00001631: JUMP 00001632: JUMPDEST 00001633: SWAP2 00001634: POP 00001635: PUSH2 0x163d 00001638: DUP3 00001639: PUSH2 0x204f 0000163c: JUMP 0000163d: JUMPDEST 0000163e: PUSH1 0x40 00001640: DUP3 00001641: ADD 00001642: SWAP1 00001643: POP 00001644: SWAP2 00001645: SWAP1 00001646: POP 00001647: JUMP 00001648: JUMPDEST 00001649: PUSH1 0xa0 0000164b: DUP3 0000164c: ADD 0000164d: PUSH1 0x00 0000164f: DUP3 00001650: ADD 00001651: MLOAD 00001652: PUSH2 0x165e 00001655: PUSH1 0x00 00001657: DUP6 00001658: ADD 00001659: DUP3 0000165a: PUSH2 0x16b0 0000165d: JUMP 0000165e: JUMPDEST 0000165f: POP 00001660: PUSH1 0x20 00001662: DUP3 00001663: ADD 00001664: MLOAD 00001665: PUSH2 0x1671 00001668: PUSH1 0x20 0000166a: DUP6 0000166b: ADD 0000166c: DUP3 0000166d: PUSH2 0x16b0 00001670: JUMP 00001671: JUMPDEST 00001672: POP 00001673: PUSH1 0x40 00001675: DUP3 00001676: ADD 00001677: MLOAD 00001678: PUSH2 0x1684 0000167b: PUSH1 0x40 0000167d: DUP6 0000167e: ADD 0000167f: DUP3 00001680: PUSH2 0x16b0 00001683: JUMP 00001684: JUMPDEST 00001685: POP 00001686: PUSH1 0x60 00001688: DUP3 00001689: ADD 0000168a: MLOAD 0000168b: PUSH2 0x1697 0000168e: PUSH1 0x60 00001690: DUP6 00001691: ADD 00001692: DUP3 00001693: PUSH2 0x16b0 00001696: JUMP 00001697: JUMPDEST 00001698: POP 00001699: PUSH1 0x80 0000169b: DUP3 0000169c: ADD 0000169d: MLOAD 0000169e: PUSH2 0x16aa 000016a1: PUSH1 0x80 000016a3: DUP6 000016a4: ADD 000016a5: DUP3 000016a6: PUSH2 0x13eb 000016a9: JUMP 000016aa: JUMPDEST 000016ab: POP 000016ac: POP 000016ad: POP 000016ae: POP 000016af: JUMP 000016b0: JUMPDEST 000016b1: PUSH2 0x16b9 000016b4: DUP2 000016b5: PUSH2 0x1b55 000016b8: JUMP 000016b9: JUMPDEST 000016ba: DUP3 000016bb: MSTORE 000016bc: POP 000016bd: POP 000016be: JUMP 000016bf: JUMPDEST 000016c0: PUSH2 0x16c8 000016c3: DUP2 000016c4: PUSH2 0x1b55 000016c7: JUMP 000016c8: JUMPDEST 000016c9: DUP3 000016ca: MSTORE 000016cb: POP 000016cc: POP 000016cd: JUMP 000016ce: JUMPDEST 000016cf: PUSH1 0x00 000016d1: PUSH1 0x20 000016d3: DUP3 000016d4: ADD 000016d5: SWAP1 000016d6: POP 000016d7: PUSH2 0x16e3 000016da: PUSH1 0x00 000016dc: DUP4 000016dd: ADD 000016de: DUP5 000016df: PUSH2 0x13dc 000016e2: JUMP 000016e3: JUMPDEST 000016e4: SWAP3 000016e5: SWAP2 000016e6: POP 000016e7: POP 000016e8: JUMP 000016e9: JUMPDEST 000016ea: PUSH1 0x00 000016ec: PUSH1 0x40 000016ee: DUP3 000016ef: ADD 000016f0: SWAP1 000016f1: POP 000016f2: PUSH2 0x16fe 000016f5: PUSH1 0x00 000016f7: DUP4 000016f8: ADD 000016f9: DUP6 000016fa: PUSH2 0x13dc 000016fd: JUMP 000016fe: JUMPDEST 000016ff: PUSH2 0x170b 00001702: PUSH1 0x20 00001704: DUP4 00001705: ADD 00001706: DUP5 00001707: PUSH2 0x16bf 0000170a: JUMP 0000170b: JUMPDEST 0000170c: SWAP4 0000170d: SWAP3 0000170e: POP 0000170f: POP 00001710: POP 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH1 0x00 00001715: PUSH1 0x20 00001717: DUP3 00001718: ADD 00001719: SWAP1 0000171a: POP 0000171b: PUSH2 0x1727 0000171e: PUSH1 0x00 00001720: DUP4 00001721: ADD 00001722: DUP5 00001723: PUSH2 0x13fa 00001726: JUMP 00001727: JUMPDEST 00001728: SWAP3 00001729: SWAP2 0000172a: POP 0000172b: POP 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH1 0x00 00001730: PUSH1 0x20 00001732: DUP3 00001733: ADD 00001734: SWAP1 00001735: POP 00001736: PUSH2 0x1742 00001739: PUSH1 0x00 0000173b: DUP4 0000173c: ADD 0000173d: DUP5 0000173e: PUSH2 0x1409 00001741: JUMP 00001742: JUMPDEST 00001743: SWAP3 00001744: SWAP2 00001745: POP 00001746: POP 00001747: JUMP 00001748: JUMPDEST 00001749: PUSH1 0x00 0000174b: PUSH1 0x20 0000174d: DUP3 0000174e: ADD 0000174f: SWAP1 00001750: POP 00001751: DUP2 00001752: DUP2 00001753: SUB 00001754: PUSH1 0x00 00001756: DUP4 00001757: ADD 00001758: MSTORE 00001759: PUSH2 0x1761 0000175c: DUP2 0000175d: PUSH2 0x1418 00001760: JUMP 00001761: JUMPDEST 00001762: SWAP1 00001763: POP 00001764: SWAP2 00001765: SWAP1 00001766: POP 00001767: JUMP 00001768: JUMPDEST 00001769: PUSH1 0x00 0000176b: PUSH1 0x20 0000176d: DUP3 0000176e: ADD 0000176f: SWAP1 00001770: POP 00001771: DUP2 00001772: DUP2 00001773: SUB 00001774: PUSH1 0x00 00001776: DUP4 00001777: ADD 00001778: MSTORE 00001779: PUSH2 0x1781 0000177c: DUP2 0000177d: PUSH2 0x143b 00001780: JUMP 00001781: JUMPDEST 00001782: SWAP1 00001783: POP 00001784: SWAP2 00001785: SWAP1 00001786: POP 00001787: JUMP 00001788: JUMPDEST 00001789: PUSH1 0x00 0000178b: PUSH1 0x20 0000178d: DUP3 0000178e: ADD 0000178f: SWAP1 00001790: POP 00001791: DUP2 00001792: DUP2 00001793: SUB 00001794: PUSH1 0x00 00001796: DUP4 00001797: ADD 00001798: MSTORE 00001799: PUSH2 0x17a1 0000179c: DUP2 0000179d: PUSH2 0x145e 000017a0: JUMP 000017a1: JUMPDEST 000017a2: SWAP1 000017a3: POP 000017a4: SWAP2 000017a5: SWAP1 000017a6: POP 000017a7: JUMP 000017a8: JUMPDEST 000017a9: PUSH1 0x00 000017ab: PUSH1 0x20 000017ad: DUP3 000017ae: ADD 000017af: SWAP1 000017b0: POP 000017b1: DUP2 000017b2: DUP2 000017b3: SUB 000017b4: PUSH1 0x00 000017b6: DUP4 000017b7: ADD 000017b8: MSTORE 000017b9: PUSH2 0x17c1 000017bc: DUP2 000017bd: PUSH2 0x1481 000017c0: JUMP 000017c1: JUMPDEST 000017c2: SWAP1 000017c3: POP 000017c4: SWAP2 000017c5: SWAP1 000017c6: POP 000017c7: JUMP 000017c8: JUMPDEST 000017c9: PUSH1 0x00 000017cb: PUSH1 0x20 000017cd: DUP3 000017ce: ADD 000017cf: SWAP1 000017d0: POP 000017d1: DUP2 000017d2: DUP2 000017d3: SUB 000017d4: PUSH1 0x00 000017d6: DUP4 000017d7: ADD 000017d8: MSTORE 000017d9: PUSH2 0x17e1 000017dc: DUP2 000017dd: PUSH2 0x14a4 000017e0: JUMP 000017e1: JUMPDEST 000017e2: SWAP1 000017e3: POP 000017e4: SWAP2 000017e5: SWAP1 000017e6: POP 000017e7: JUMP 000017e8: JUMPDEST 000017e9: PUSH1 0x00 000017eb: PUSH1 0x20 000017ed: DUP3 000017ee: ADD 000017ef: SWAP1 000017f0: POP 000017f1: DUP2 000017f2: DUP2 000017f3: SUB 000017f4: PUSH1 0x00 000017f6: DUP4 000017f7: ADD 000017f8: MSTORE 000017f9: PUSH2 0x1801 000017fc: DUP2 000017fd: PUSH2 0x14c7 00001800: JUMP 00001801: JUMPDEST 00001802: SWAP1 00001803: POP 00001804: SWAP2 00001805: SWAP1 00001806: POP 00001807: JUMP 00001808: JUMPDEST 00001809: PUSH1 0x00 0000180b: PUSH1 0x20 0000180d: DUP3 0000180e: ADD 0000180f: SWAP1 00001810: POP 00001811: DUP2 00001812: DUP2 00001813: SUB 00001814: PUSH1 0x00 00001816: DUP4 00001817: ADD 00001818: MSTORE 00001819: PUSH2 0x1821 0000181c: DUP2 0000181d: PUSH2 0x14ea 00001820: JUMP 00001821: JUMPDEST 00001822: SWAP1 00001823: POP 00001824: SWAP2 00001825: SWAP1 00001826: POP 00001827: JUMP 00001828: JUMPDEST 00001829: PUSH1 0x00 0000182b: PUSH1 0x20 0000182d: DUP3 0000182e: ADD 0000182f: SWAP1 00001830: POP 00001831: DUP2 00001832: DUP2 00001833: SUB 00001834: PUSH1 0x00 00001836: DUP4 00001837: ADD 00001838: MSTORE 00001839: PUSH2 0x1841 0000183c: DUP2 0000183d: PUSH2 0x150d 00001840: JUMP 00001841: JUMPDEST 00001842: SWAP1 00001843: POP 00001844: SWAP2 00001845: SWAP1 00001846: POP 00001847: JUMP 00001848: JUMPDEST 00001849: PUSH1 0x00 0000184b: PUSH1 0x20 0000184d: DUP3 0000184e: ADD 0000184f: SWAP1 00001850: POP 00001851: DUP2 00001852: DUP2 00001853: SUB 00001854: PUSH1 0x00 00001856: DUP4 00001857: ADD 00001858: MSTORE 00001859: PUSH2 0x1861 0000185c: DUP2 0000185d: PUSH2 0x1530 00001860: JUMP 00001861: JUMPDEST 00001862: SWAP1 00001863: POP 00001864: SWAP2 00001865: SWAP1 00001866: POP 00001867: JUMP 00001868: JUMPDEST 00001869: PUSH1 0x00 0000186b: PUSH1 0x20 0000186d: DUP3 0000186e: ADD 0000186f: SWAP1 00001870: POP 00001871: DUP2 00001872: DUP2 00001873: SUB 00001874: PUSH1 0x00 00001876: DUP4 00001877: ADD 00001878: MSTORE 00001879: PUSH2 0x1881 0000187c: DUP2 0000187d: PUSH2 0x1553 00001880: JUMP 00001881: JUMPDEST 00001882: SWAP1 00001883: POP 00001884: SWAP2 00001885: SWAP1 00001886: POP 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH1 0x00 0000188b: PUSH1 0x20 0000188d: DUP3 0000188e: ADD 0000188f: SWAP1 00001890: POP 00001891: DUP2 00001892: DUP2 00001893: SUB 00001894: PUSH1 0x00 00001896: DUP4 00001897: ADD 00001898: MSTORE 00001899: PUSH2 0x18a1 0000189c: DUP2 0000189d: PUSH2 0x1576 000018a0: JUMP 000018a1: JUMPDEST 000018a2: SWAP1 000018a3: POP 000018a4: SWAP2 000018a5: SWAP1 000018a6: POP 000018a7: JUMP 000018a8: JUMPDEST 000018a9: PUSH1 0x00 000018ab: PUSH1 0x20 000018ad: DUP3 000018ae: ADD 000018af: SWAP1 000018b0: POP 000018b1: DUP2 000018b2: DUP2 000018b3: SUB 000018b4: PUSH1 0x00 000018b6: DUP4 000018b7: ADD 000018b8: MSTORE 000018b9: PUSH2 0x18c1 000018bc: DUP2 000018bd: PUSH2 0x1599 000018c0: JUMP 000018c1: JUMPDEST 000018c2: SWAP1 000018c3: POP 000018c4: SWAP2 000018c5: SWAP1 000018c6: POP 000018c7: JUMP 000018c8: JUMPDEST 000018c9: PUSH1 0x00 000018cb: PUSH1 0x20 000018cd: DUP3 000018ce: ADD 000018cf: SWAP1 000018d0: POP 000018d1: DUP2 000018d2: DUP2 000018d3: SUB 000018d4: PUSH1 0x00 000018d6: DUP4 000018d7: ADD 000018d8: MSTORE 000018d9: PUSH2 0x18e1 000018dc: DUP2 000018dd: PUSH2 0x15bc 000018e0: JUMP 000018e1: JUMPDEST 000018e2: SWAP1 000018e3: POP 000018e4: SWAP2 000018e5: SWAP1 000018e6: POP 000018e7: JUMP 000018e8: JUMPDEST 000018e9: PUSH1 0x00 000018eb: PUSH1 0x20 000018ed: DUP3 000018ee: ADD 000018ef: SWAP1 000018f0: POP 000018f1: DUP2 000018f2: DUP2 000018f3: SUB 000018f4: PUSH1 0x00 000018f6: DUP4 000018f7: ADD 000018f8: MSTORE 000018f9: PUSH2 0x1901 000018fc: DUP2 000018fd: PUSH2 0x15df 00001900: JUMP 00001901: JUMPDEST 00001902: SWAP1 00001903: POP 00001904: SWAP2 00001905: SWAP1 00001906: POP 00001907: JUMP 00001908: JUMPDEST 00001909: PUSH1 0x00 0000190b: PUSH1 0x20 0000190d: DUP3 0000190e: ADD 0000190f: SWAP1 00001910: POP 00001911: DUP2 00001912: DUP2 00001913: SUB 00001914: PUSH1 0x00 00001916: DUP4 00001917: ADD 00001918: MSTORE 00001919: PUSH2 0x1921 0000191c: DUP2 0000191d: PUSH2 0x1602 00001920: JUMP 00001921: JUMPDEST 00001922: SWAP1 00001923: POP 00001924: SWAP2 00001925: SWAP1 00001926: POP 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH1 0x00 0000192b: PUSH1 0x20 0000192d: DUP3 0000192e: ADD 0000192f: SWAP1 00001930: POP 00001931: DUP2 00001932: DUP2 00001933: SUB 00001934: PUSH1 0x00 00001936: DUP4 00001937: ADD 00001938: MSTORE 00001939: PUSH2 0x1941 0000193c: DUP2 0000193d: PUSH2 0x1625 00001940: JUMP 00001941: JUMPDEST 00001942: SWAP1 00001943: POP 00001944: SWAP2 00001945: SWAP1 00001946: POP 00001947: JUMP 00001948: JUMPDEST 00001949: PUSH1 0x00 0000194b: PUSH1 0xa0 0000194d: DUP3 0000194e: ADD 0000194f: SWAP1 00001950: POP 00001951: PUSH2 0x195d 00001954: PUSH1 0x00 00001956: DUP4 00001957: ADD 00001958: DUP5 00001959: PUSH2 0x1648 0000195c: JUMP 0000195d: JUMPDEST 0000195e: SWAP3 0000195f: SWAP2 00001960: POP 00001961: POP 00001962: JUMP 00001963: JUMPDEST 00001964: PUSH1 0x00 00001966: PUSH1 0x20 00001968: DUP3 00001969: ADD 0000196a: SWAP1 0000196b: POP 0000196c: PUSH2 0x1978 0000196f: PUSH1 0x00 00001971: DUP4 00001972: ADD 00001973: DUP5 00001974: PUSH2 0x16bf 00001977: JUMP 00001978: JUMPDEST 00001979: SWAP3 0000197a: SWAP2 0000197b: POP 0000197c: POP 0000197d: JUMP 0000197e: JUMPDEST 0000197f: PUSH1 0x00 00001981: PUSH1 0xa0 00001983: DUP3 00001984: ADD 00001985: SWAP1 00001986: POP 00001987: PUSH2 0x1993 0000198a: PUSH1 0x00 0000198c: DUP4 0000198d: ADD 0000198e: DUP9 0000198f: PUSH2 0x16bf 00001992: JUMP 00001993: JUMPDEST 00001994: PUSH2 0x19a0 00001997: PUSH1 0x20 00001999: DUP4 0000199a: ADD 0000199b: DUP8 0000199c: PUSH2 0x16bf 0000199f: JUMP 000019a0: JUMPDEST 000019a1: PUSH2 0x19ad 000019a4: PUSH1 0x40 000019a6: DUP4 000019a7: ADD 000019a8: DUP7 000019a9: PUSH2 0x16bf 000019ac: JUMP 000019ad: JUMPDEST 000019ae: PUSH2 0x19ba 000019b1: PUSH1 0x60 000019b3: DUP4 000019b4: ADD 000019b5: DUP6 000019b6: PUSH2 0x16bf 000019b9: JUMP 000019ba: JUMPDEST 000019bb: PUSH2 0x19c7 000019be: PUSH1 0x80 000019c0: DUP4 000019c1: ADD 000019c2: DUP5 000019c3: PUSH2 0x13fa 000019c6: JUMP 000019c7: JUMPDEST 000019c8: SWAP7 000019c9: SWAP6 000019ca: POP 000019cb: POP 000019cc: POP 000019cd: POP 000019ce: POP 000019cf: POP 000019d0: JUMP 000019d1: JUMPDEST 000019d2: PUSH1 0x00 000019d4: PUSH2 0x19db 000019d7: PUSH2 0x19ec 000019da: JUMP 000019db: JUMPDEST 000019dc: SWAP1 000019dd: POP 000019de: PUSH2 0x19e7 000019e1: DUP3 000019e2: DUP3 000019e3: PUSH2 0x1b83 000019e6: JUMP 000019e7: JUMPDEST 000019e8: SWAP2 000019e9: SWAP1 000019ea: POP 000019eb: JUMP 000019ec: JUMPDEST 000019ed: PUSH1 0x00 000019ef: PUSH1 0x40 000019f1: MLOAD 000019f2: SWAP1 000019f3: POP 000019f4: SWAP1 000019f5: JUMP 000019f6: JUMPDEST 000019f7: PUSH1 0x00 000019f9: PUSH8 0xffffffffffffffff 00001a02: DUP3 00001a03: GT 00001a04: ISZERO 00001a05: PUSH2 0x1a11 00001a08: JUMPI 00001a09: PUSH2 0x1a10 00001a0c: PUSH2 0x1c2c 00001a0f: JUMP 00001a10: JUMPDEST 00001a11: JUMPDEST 00001a12: PUSH1 0x20 00001a14: DUP3 00001a15: MUL 00001a16: SWAP1 00001a17: POP 00001a18: PUSH1 0x20 00001a1a: DUP2 00001a1b: ADD 00001a1c: SWAP1 00001a1d: POP 00001a1e: SWAP2 00001a1f: SWAP1 00001a20: POP 00001a21: JUMP 00001a22: JUMPDEST 00001a23: PUSH1 0x00 00001a25: DUP3 00001a26: DUP3 00001a27: MSTORE 00001a28: PUSH1 0x20 00001a2a: DUP3 00001a2b: ADD 00001a2c: SWAP1 00001a2d: POP 00001a2e: SWAP3 00001a2f: SWAP2 00001a30: POP 00001a31: POP 00001a32: JUMP 00001a33: JUMPDEST 00001a34: PUSH1 0x00 00001a36: PUSH2 0x1a3e 00001a39: DUP3 00001a3a: PUSH2 0x1b55 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: SWAP2 00001a40: POP 00001a41: PUSH2 0x1a49 00001a44: DUP4 00001a45: PUSH2 0x1b55 00001a48: JUMP 00001a49: JUMPDEST 00001a4a: SWAP3 00001a4b: POP 00001a4c: DUP3 00001a4d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001a6e: SUB 00001a6f: DUP3 00001a70: GT 00001a71: ISZERO 00001a72: PUSH2 0x1a7e 00001a75: JUMPI 00001a76: PUSH2 0x1a7d 00001a79: PUSH2 0x1bfd 00001a7c: JUMP 00001a7d: JUMPDEST 00001a7e: JUMPDEST 00001a7f: DUP3 00001a80: DUP3 00001a81: ADD 00001a82: SWAP1 00001a83: POP 00001a84: SWAP3 00001a85: SWAP2 00001a86: POP 00001a87: POP 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: PUSH1 0x00 00001a8c: PUSH2 0x1a94 00001a8f: DUP3 00001a90: PUSH2 0x1b55 00001a93: JUMP 00001a94: JUMPDEST 00001a95: SWAP2 00001a96: POP 00001a97: PUSH2 0x1a9f 00001a9a: DUP4 00001a9b: PUSH2 0x1b55 00001a9e: JUMP 00001a9f: JUMPDEST 00001aa0: SWAP3 00001aa1: POP 00001aa2: DUP2 00001aa3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001ac4: DIV 00001ac5: DUP4 00001ac6: GT 00001ac7: DUP3 00001ac8: ISZERO 00001ac9: ISZERO 00001aca: AND 00001acb: ISZERO 00001acc: PUSH2 0x1ad8 00001acf: JUMPI 00001ad0: PUSH2 0x1ad7 00001ad3: PUSH2 0x1bfd 00001ad6: JUMP 00001ad7: JUMPDEST 00001ad8: JUMPDEST 00001ad9: DUP3 00001ada: DUP3 00001adb: MUL 00001adc: SWAP1 00001add: POP 00001ade: SWAP3 00001adf: SWAP2 00001ae0: POP 00001ae1: POP 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: PUSH1 0x00 00001ae6: PUSH2 0x1aee 00001ae9: DUP3 00001aea: PUSH2 0x1b55 00001aed: JUMP 00001aee: JUMPDEST 00001aef: SWAP2 00001af0: POP 00001af1: PUSH2 0x1af9 00001af4: DUP4 00001af5: PUSH2 0x1b55 00001af8: JUMP 00001af9: JUMPDEST 00001afa: SWAP3 00001afb: POP 00001afc: DUP3 00001afd: DUP3 00001afe: LT 00001aff: ISZERO 00001b00: PUSH2 0x1b0c 00001b03: JUMPI 00001b04: PUSH2 0x1b0b 00001b07: PUSH2 0x1bfd 00001b0a: JUMP 00001b0b: JUMPDEST 00001b0c: JUMPDEST 00001b0d: DUP3 00001b0e: DUP3 00001b0f: SUB 00001b10: SWAP1 00001b11: POP 00001b12: SWAP3 00001b13: SWAP2 00001b14: POP 00001b15: POP 00001b16: JUMP 00001b17: JUMPDEST 00001b18: PUSH1 0x00 00001b1a: PUSH2 0x1b22 00001b1d: DUP3 00001b1e: PUSH2 0x1b35 00001b21: JUMP 00001b22: JUMPDEST 00001b23: SWAP1 00001b24: POP 00001b25: SWAP2 00001b26: SWAP1 00001b27: POP 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: PUSH1 0x00 00001b2c: DUP2 00001b2d: ISZERO 00001b2e: ISZERO 00001b2f: SWAP1 00001b30: POP 00001b31: SWAP2 00001b32: SWAP1 00001b33: POP 00001b34: JUMP 00001b35: JUMPDEST 00001b36: PUSH1 0x00 00001b38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b4d: DUP3 00001b4e: AND 00001b4f: SWAP1 00001b50: POP 00001b51: SWAP2 00001b52: SWAP1 00001b53: POP 00001b54: JUMP 00001b55: JUMPDEST 00001b56: PUSH1 0x00 00001b58: DUP2 00001b59: SWAP1 00001b5a: POP 00001b5b: SWAP2 00001b5c: SWAP1 00001b5d: POP 00001b5e: JUMP 00001b5f: JUMPDEST 00001b60: PUSH1 0x00 00001b62: PUSH2 0x1b6a 00001b65: DUP3 00001b66: PUSH2 0x1b71 00001b69: JUMP 00001b6a: JUMPDEST 00001b6b: SWAP1 00001b6c: POP 00001b6d: SWAP2 00001b6e: SWAP1 00001b6f: POP 00001b70: JUMP 00001b71: JUMPDEST 00001b72: PUSH1 0x00 00001b74: PUSH2 0x1b7c 00001b77: DUP3 00001b78: PUSH2 0x1b35 00001b7b: JUMP 00001b7c: JUMPDEST 00001b7d: SWAP1 00001b7e: POP 00001b7f: SWAP2 00001b80: SWAP1 00001b81: POP 00001b82: JUMP 00001b83: JUMPDEST 00001b84: PUSH2 0x1b8c 00001b87: DUP3 00001b88: PUSH2 0x1c5b 00001b8b: JUMP 00001b8c: JUMPDEST 00001b8d: DUP2 00001b8e: ADD 00001b8f: DUP2 00001b90: DUP2 00001b91: LT 00001b92: PUSH8 0xffffffffffffffff 00001b9b: DUP3 00001b9c: GT 00001b9d: OR 00001b9e: ISZERO 00001b9f: PUSH2 0x1bab 00001ba2: JUMPI 00001ba3: PUSH2 0x1baa 00001ba6: PUSH2 0x1c2c 00001ba9: JUMP 00001baa: JUMPDEST 00001bab: JUMPDEST 00001bac: DUP1 00001bad: PUSH1 0x40 00001baf: MSTORE 00001bb0: POP 00001bb1: POP 00001bb2: POP 00001bb3: JUMP 00001bb4: JUMPDEST 00001bb5: PUSH1 0x00 00001bb7: PUSH2 0x1bbf 00001bba: DUP3 00001bbb: PUSH2 0x1b55 00001bbe: JUMP 00001bbf: JUMPDEST 00001bc0: SWAP2 00001bc1: POP 00001bc2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001be3: DUP3 00001be4: EQ 00001be5: ISZERO 00001be6: PUSH2 0x1bf2 00001be9: JUMPI 00001bea: PUSH2 0x1bf1 00001bed: PUSH2 0x1bfd 00001bf0: JUMP 00001bf1: JUMPDEST 00001bf2: JUMPDEST 00001bf3: PUSH1 0x01 00001bf5: DUP3 00001bf6: ADD 00001bf7: SWAP1 00001bf8: POP 00001bf9: SWAP2 00001bfa: SWAP1 00001bfb: POP 00001bfc: JUMP 00001bfd: JUMPDEST 00001bfe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001c1f: PUSH1 0x00 00001c21: MSTORE 00001c22: PUSH1 0x11 00001c24: PUSH1 0x04 00001c26: MSTORE 00001c27: PUSH1 0x24 00001c29: PUSH1 0x00 00001c2b: REVERT 00001c2c: JUMPDEST 00001c2d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001c4e: PUSH1 0x00 00001c50: MSTORE 00001c51: PUSH1 0x41 00001c53: PUSH1 0x04 00001c55: MSTORE 00001c56: PUSH1 0x24 00001c58: PUSH1 0x00 00001c5a: REVERT 00001c5b: JUMPDEST 00001c5c: PUSH1 0x00 00001c5e: PUSH1 0x1f 00001c60: NOT 00001c61: PUSH1 0x1f 00001c63: DUP4 00001c64: ADD 00001c65: AND 00001c66: SWAP1 00001c67: POP 00001c68: SWAP2 00001c69: SWAP1 00001c6a: POP 00001c6b: JUMP 00001c6c: JUMPDEST 00001c6d: PUSH32 0x50726573616c652366696e616c697a653a20636170206e6f7420726561636865 00001c8e: PUSH1 0x00 00001c90: DUP3 00001c91: ADD 00001c92: MSTORE 00001c93: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000 00001cb4: PUSH1 0x20 00001cb6: DUP3 00001cb7: ADD 00001cb8: MSTORE 00001cb9: POP 00001cba: JUMP 00001cbb: JUMPDEST 00001cbc: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001cdd: PUSH1 0x00 00001cdf: DUP3 00001ce0: ADD 00001ce1: MSTORE 00001ce2: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001d03: PUSH1 0x20 00001d05: DUP3 00001d06: ADD 00001d07: MSTORE 00001d08: POP 00001d09: JUMP 00001d0a: JUMPDEST 00001d0b: PUSH32 0x50726573616c6523636c61696d3a20746f6b656e207472616e73666572206661 00001d2c: PUSH1 0x00 00001d2e: DUP3 00001d2f: ADD 00001d30: MSTORE 00001d31: PUSH32 0x696c656400000000000000000000000000000000000000000000000000000000 00001d52: PUSH1 0x20 00001d54: DUP3 00001d55: ADD 00001d56: MSTORE 00001d57: POP 00001d58: JUMP 00001d59: JUMPDEST 00001d5a: PUSH32 0x50726573616c6523636f6e747269627574653a206e6f74206f6e207768697465 00001d7b: PUSH1 0x00 00001d7d: DUP3 00001d7e: ADD 00001d7f: MSTORE 00001d80: PUSH32 0x6c69737400000000000000000000000000000000000000000000000000000000 00001da1: PUSH1 0x20 00001da3: DUP3 00001da4: ADD 00001da5: MSTORE 00001da6: POP 00001da7: JUMP 00001da8: JUMPDEST 00001da9: PUSH32 0x50726573616c6523636c61696d3a206e6f74207965742066696e616c697a6564 00001dca: PUSH1 0x00 00001dcc: DUP3 00001dcd: ADD 00001dce: MSTORE 00001dcf: POP 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: PUSH32 0x50726573616c6523636f6e747269627574653a206f766572206d6178696d756d 00001df3: PUSH1 0x00 00001df5: DUP3 00001df6: ADD 00001df7: MSTORE 00001df8: PUSH32 0x20636f6e747269627574696f6e00000000000000000000000000000000000000 00001e19: PUSH1 0x20 00001e1b: DUP3 00001e1c: ADD 00001e1d: MSTORE 00001e1e: POP 00001e1f: JUMP 00001e20: JUMPDEST 00001e21: PUSH32 0x50726573616c6523636f6e747269627574653a20616c726561647920636f6e74 00001e42: PUSH1 0x00 00001e44: DUP3 00001e45: ADD 00001e46: MSTORE 00001e47: PUSH32 0x7269627574656400000000000000000000000000000000000000000000000000 00001e68: PUSH1 0x20 00001e6a: DUP3 00001e6b: ADD 00001e6c: MSTORE 00001e6d: POP 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: PUSH32 0x50726573616c652366696e616c697a653a20616c72656164792066696e616c69 00001e91: PUSH1 0x00 00001e93: DUP3 00001e94: ADD 00001e95: MSTORE 00001e96: PUSH32 0x7a65640000000000000000000000000000000000000000000000000000000000 00001eb7: PUSH1 0x20 00001eb9: DUP3 00001eba: ADD 00001ebb: MSTORE 00001ebc: POP 00001ebd: JUMP 00001ebe: JUMPDEST 00001ebf: PUSH32 0x50726573616c6523636f6e747269627574653a2066696e616c697a6564000000 00001ee0: PUSH1 0x00 00001ee2: DUP3 00001ee3: ADD 00001ee4: MSTORE 00001ee5: POP 00001ee6: JUMP 00001ee7: JUMPDEST 00001ee8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001f09: PUSH1 0x00 00001f0b: DUP3 00001f0c: ADD 00001f0d: MSTORE 00001f0e: POP 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: PUSH32 0x50726573616c6523686173537461727465643a206e6f74207965742073746172 00001f32: PUSH1 0x00 00001f34: DUP3 00001f35: ADD 00001f36: MSTORE 00001f37: PUSH32 0x7465640000000000000000000000000000000000000000000000000000000000 00001f58: PUSH1 0x20 00001f5a: DUP3 00001f5b: ADD 00001f5c: MSTORE 00001f5d: POP 00001f5e: JUMP 00001f5f: JUMPDEST 00001f60: PUSH32 0x50726573616c6523636f6e747269627574653a20636170207265616368656400 00001f81: PUSH1 0x00 00001f83: DUP3 00001f84: ADD 00001f85: MSTORE 00001f86: POP 00001f87: JUMP 00001f88: JUMPDEST 00001f89: PUSH32 0x50726573616c6523636c61696d3a206e6f7468696e6720746f20636c61696d00 00001faa: PUSH1 0x00 00001fac: DUP3 00001fad: ADD 00001fae: MSTORE 00001faf: POP 00001fb0: JUMP 00001fb1: JUMPDEST 00001fb2: PUSH32 0x50726573616c6523636f6e747269627574653a20756e646572206d696e696d75 00001fd3: PUSH1 0x00 00001fd5: DUP3 00001fd6: ADD 00001fd7: MSTORE 00001fd8: PUSH32 0x6d20636f6e747269627574696f6e000000000000000000000000000000000000 00001ff9: PUSH1 0x20 00001ffb: DUP3 00001ffc: ADD 00001ffd: MSTORE 00001ffe: POP 00001fff: JUMP 00002000: JUMPDEST 00002001: PUSH32 0x50726573616c6523656d657267656e637957697468647261773a20746f6b656e 00002022: PUSH1 0x00 00002024: DUP3 00002025: ADD 00002026: MSTORE 00002027: PUSH32 0x207472616e73666572206661696c656400000000000000000000000000000000 00002048: PUSH1 0x20 0000204a: DUP3 0000204b: ADD 0000204c: MSTORE 0000204d: POP 0000204e: JUMP 0000204f: JUMPDEST 00002050: PUSH32 0x50726573616c6523636c61696d3a2070726573616c652068617320696e737566 00002071: PUSH1 0x00 00002073: DUP3 00002074: ADD 00002075: MSTORE 00002076: PUSH32 0x66696369656e742062616c616e63650000000000000000000000000000000000 00002097: PUSH1 0x20 00002099: DUP3 0000209a: ADD 0000209b: MSTORE 0000209c: POP 0000209d: JUMP 0000209e: JUMPDEST 0000209f: PUSH2 0x20a7 000020a2: DUP2 000020a3: PUSH2 0x1b17 000020a6: JUMP 000020a7: JUMPDEST 000020a8: DUP2 000020a9: EQ 000020aa: PUSH2 0x20b2 000020ad: JUMPI 000020ae: PUSH1 0x00 000020b0: DUP1 000020b1: REVERT 000020b2: JUMPDEST 000020b3: POP 000020b4: JUMP 000020b5: JUMPDEST 000020b6: PUSH2 0x20be 000020b9: DUP2 000020ba: PUSH2 0x1b29 000020bd: JUMP 000020be: JUMPDEST 000020bf: DUP2 000020c0: EQ 000020c1: PUSH2 0x20c9 000020c4: JUMPI 000020c5: PUSH1 0x00 000020c7: DUP1 000020c8: REVERT 000020c9: JUMPDEST 000020ca: POP 000020cb: JUMP 000020cc: JUMPDEST 000020cd: PUSH2 0x20d5 000020d0: DUP2 000020d1: PUSH2 0x1b55 000020d4: JUMP 000020d5: JUMPDEST 000020d6: DUP2 000020d7: EQ 000020d8: PUSH2 0x20e0 000020db: JUMPI 000020dc: PUSH1 0x00 000020de: DUP1 000020df: REVERT 000020e0: JUMPDEST 000020e1: POP 000020e2: JUMP 000020e3: INVALID 000020e4: LOG2 000020e5: PUSH5 0x6970667358 000020eb: UNKNOWN(0x22) 000020ec: SLT 000020ed: KECCAK256 000020ee: SSTORE 000020ef: RETURNDATACOPY 000020f0: OR 000020f1: UNKNOWN(0xDB) 000020f2: UNKNOWN(0xAC) 000020f3: PUSH20 0xd56f876a4bbbda4d55fb7a8979ec3b0eb50d1b2a 00002108: UNKNOWN(0x26) 00002109: SGT 0000210a: UNKNOWN(0xE6) 0000210b: BLOBHASH 0000210c: UNKNOWN(0xDF) 0000210d: CODECOPY 0000210e: PUSH5 0x736f6c6343 00002114: STOP 00002115: ADDMOD 00002116: DIV 00002117: STOP 00002118: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8fd2fcd50e3877247660802ce17d045e7cbed5ce4a47a3e009e38c244a1cb32e
call_targets:
0x1b2ad2a201f691c00b37cdd1f9c175451029560e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8fd2fcd50e3877247660802ce17d045e7cbed5ce4a47a3e009e38c244a1cb32e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1b2ad2a201f691c00b37cdd1f9c175451029560e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd3ced63",
"selector": "0xdd3ced63",
"calldata_variants": [
"0xdd3ced63",
"0xdd3ced630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b19251a",
"selector": "0x9b19251a",
"calldata_variants": [
"0x9b19251a",
"0x9b19251a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaf468682",
"selector": "0xaf468682",
"calldata_variants": [
"0xaf468682",
"0xaf4686820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1439,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2177,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8fd2fcd50e3877247660802ce17d045e7cbed5ce4a47a3e009e38c244a1cb32e
call_targets:
0x1b2ad2a201f691c00b37cdd1f9c175451029560e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8fd2fcd50e3877247660802ce17d045e7cbed5ce4a47a3e009e38c244a1cb32e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1b2ad2a201f691c00b37cdd1f9c175451029560e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd3ced63",
"selector": "0xdd3ced63",
"calldata_variants": [
"0xdd3ced63",
"0xdd3ced630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b19251a",
"selector": "0x9b19251a",
"calldata_variants": [
"0x9b19251a",
"0x9b19251a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaf468682",
"selector": "0xaf468682",
"calldata_variants": [
"0xaf468682",
"0xaf4686820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1439,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2177,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|