019b477e-bffd-73fe-a0a8-51638d99cd90
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 |
|---|---|---|---|---|
| 24619 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24620 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102059 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 102060 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 102061 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 102062 | 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 0x01c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6352211e 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbd43abc7 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbd43abc7 0000003a: EQ 0000003b: PUSH2 0x04f3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc87b56dd 00000045: EQ 00000046: PUSH2 0x0509 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd96a094a 00000050: EQ 00000051: PUSH2 0x0529 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe985e9c5 0000005b: EQ 0000005c: PUSH2 0x053c 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x95d89b41 0000006b: EQ 0000006c: PUSH2 0x0488 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa035b1fe 00000076: EQ 00000077: PUSH2 0x049d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa22cb465 00000081: EQ 00000082: PUSH2 0x04b3 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb88d4fde 0000008c: EQ 0000008d: PUSH2 0x04d3 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x71b9b646 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x71b9b646 000000a7: EQ 000000a8: PUSH2 0x03fa 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8bb5d9c3 000000b2: EQ 000000b3: PUSH2 0x0414 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x0434 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x91b7f5ed 000000c8: EQ 000000c9: PUSH2 0x0468 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x6352211e 000000d8: EQ 000000d9: PUSH2 0x03a5 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x6c0360eb 000000e3: EQ 000000e4: PUSH2 0x03c5 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x70a08231 000000ee: EQ 000000ef: PUSH2 0x03da 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x2f745c59 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x3ccfd60b 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x3ccfd60b 00000114: EQ 00000115: PUSH2 0x033a 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x42842e0e 0000011f: EQ 00000120: PUSH2 0x034f 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x4f6ccce7 0000012a: EQ 0000012b: PUSH2 0x036f 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x61bc221a 00000135: EQ 00000136: PUSH2 0x038f 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x2f745c59 00000145: EQ 00000146: PUSH2 0x02e4 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x3020a18e 00000150: EQ 00000151: PUSH2 0x0304 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x32cb6b0c 0000015b: EQ 0000015c: PUSH2 0x0324 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x095ea7b3 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x095ea7b3 00000176: EQ 00000177: PUSH2 0x0263 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x18160ddd 00000181: EQ 00000182: PUSH2 0x0285 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x23b872dd 0000018c: EQ 0000018d: PUSH2 0x02a4 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x2ca0dd0d 00000197: EQ 00000198: PUSH2 0x02c4 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x01ffc9a7 000001a7: EQ 000001a8: PUSH2 0x01c7 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x06fdde03 000001b2: EQ 000001b3: PUSH2 0x01fc 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x081812fc 000001bd: EQ 000001be: PUSH2 0x021e 000001c1: JUMPI 000001c2: JUMPDEST 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: POP 000001d5: PUSH2 0x01e7 000001d8: PUSH2 0x01e2 000001db: CALLDATASIZE 000001dc: PUSH1 0x04 000001de: PUSH2 0x27ed 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH2 0x0592 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: SWAP1 000001ec: ISZERO 000001ed: ISZERO 000001ee: DUP2 000001ef: MSTORE 000001f0: PUSH1 0x20 000001f2: ADD 000001f3: JUMPDEST 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: DUP1 000001f8: SWAP2 000001f9: SUB 000001fa: SWAP1 000001fb: RETURN 000001fc: JUMPDEST 000001fd: CALLVALUE 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x05ee 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x40 00000214: MLOAD 00000215: PUSH2 0x01f3 00000218: SWAP2 00000219: SWAP1 0000021a: PUSH2 0x295a 0000021d: JUMP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x023e 0000022f: PUSH2 0x0239 00000232: CALLDATASIZE 00000233: PUSH1 0x04 00000235: PUSH2 0x2827 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH2 0x0680 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000257: SWAP1 00000258: SWAP2 00000259: AND 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: PUSH2 0x01f3 00000262: JUMP 00000263: JUMPDEST 00000264: CALLVALUE 00000265: DUP1 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: POP 00000271: PUSH2 0x0283 00000274: PUSH2 0x027e 00000277: CALLDATASIZE 00000278: PUSH1 0x04 0000027a: PUSH2 0x26fb 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH2 0x075f 00000282: JUMP 00000283: JUMPDEST 00000284: STOP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH1 0x08 00000295: SLOAD 00000296: JUMPDEST 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: SWAP1 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: PUSH2 0x01f3 000002a3: JUMP 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x0283 000002b5: PUSH2 0x02bf 000002b8: CALLDATASIZE 000002b9: PUSH1 0x04 000002bb: PUSH2 0x25b7 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH2 0x08ec 000002c3: JUMP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x0283 000002d5: PUSH2 0x02df 000002d8: CALLDATASIZE 000002d9: PUSH1 0x04 000002db: PUSH2 0x2725 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x098d 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x0296 000002f5: PUSH2 0x02ff 000002f8: CALLDATASIZE 000002f9: PUSH1 0x04 000002fb: PUSH2 0x26fb 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH2 0x0b35 00000303: JUMP 00000304: JUMPDEST 00000305: CALLVALUE 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x0310 0000030b: JUMPI 0000030c: PUSH1 0x00 0000030e: DUP1 0000030f: REVERT 00000310: JUMPDEST 00000311: POP 00000312: PUSH2 0x0283 00000315: PUSH2 0x031f 00000318: CALLDATASIZE 00000319: PUSH1 0x04 0000031b: PUSH2 0x27d2 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH2 0x0c04 00000323: JUMP 00000324: JUMPDEST 00000325: CALLVALUE 00000326: DUP1 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: POP 00000332: PUSH2 0x0296 00000335: PUSH2 0x2710 00000338: DUP2 00000339: JUMP 0000033a: JUMPDEST 0000033b: CALLVALUE 0000033c: DUP1 0000033d: ISZERO 0000033e: PUSH2 0x0346 00000341: JUMPI 00000342: PUSH1 0x00 00000344: DUP1 00000345: REVERT 00000346: JUMPDEST 00000347: POP 00000348: PUSH2 0x0283 0000034b: PUSH2 0x0cd4 0000034e: JUMP 0000034f: JUMPDEST 00000350: CALLVALUE 00000351: DUP1 00000352: ISZERO 00000353: PUSH2 0x035b 00000356: JUMPI 00000357: PUSH1 0x00 00000359: DUP1 0000035a: REVERT 0000035b: JUMPDEST 0000035c: POP 0000035d: PUSH2 0x0283 00000360: PUSH2 0x036a 00000363: CALLDATASIZE 00000364: PUSH1 0x04 00000366: PUSH2 0x25b7 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH2 0x0da2 0000036e: JUMP 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x0296 00000380: PUSH2 0x038a 00000383: CALLDATASIZE 00000384: PUSH1 0x04 00000386: PUSH2 0x2827 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH2 0x0dbd 0000038e: JUMP 0000038f: JUMPDEST 00000390: CALLVALUE 00000391: DUP1 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: POP 0000039d: PUSH2 0x0296 000003a0: PUSH1 0x0c 000003a2: SLOAD 000003a3: DUP2 000003a4: JUMP 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x023e 000003b6: PUSH2 0x03c0 000003b9: CALLDATASIZE 000003ba: PUSH1 0x04 000003bc: PUSH2 0x2827 000003bf: JUMP 000003c0: JUMPDEST 000003c1: PUSH2 0x0e7b 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: DUP1 000003c8: ISZERO 000003c9: PUSH2 0x03d1 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: POP 000003d3: PUSH2 0x0211 000003d6: PUSH2 0x0f2d 000003d9: JUMP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x0296 000003eb: PUSH2 0x03f5 000003ee: CALLDATASIZE 000003ef: PUSH1 0x04 000003f1: PUSH2 0x2569 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH2 0x0f3c 000003f9: JUMP 000003fa: JUMPDEST 000003fb: CALLVALUE 000003fc: DUP1 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: POP 00000408: PUSH1 0x0b 0000040a: SLOAD 0000040b: PUSH2 0x01e7 0000040e: SWAP1 0000040f: PUSH1 0xff 00000411: AND 00000412: DUP2 00000413: JUMP 00000414: JUMPDEST 00000415: CALLVALUE 00000416: DUP1 00000417: ISZERO 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: POP 00000422: PUSH2 0x0283 00000425: PUSH2 0x042f 00000428: CALLDATASIZE 00000429: PUSH1 0x04 0000042b: PUSH2 0x2827 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x100a 00000433: JUMP 00000434: JUMPDEST 00000435: CALLVALUE 00000436: DUP1 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: PUSH2 0x023e 00000445: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 00000466: DUP2 00000467: JUMP 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: DUP1 0000046b: ISZERO 0000046c: PUSH2 0x0474 0000046f: JUMPI 00000470: PUSH1 0x00 00000472: DUP1 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: PUSH2 0x0283 00000479: PUSH2 0x0483 0000047c: CALLDATASIZE 0000047d: PUSH1 0x04 0000047f: PUSH2 0x2827 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH2 0x10ae 00000487: JUMP 00000488: JUMPDEST 00000489: CALLVALUE 0000048a: DUP1 0000048b: ISZERO 0000048c: PUSH2 0x0494 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP1 00000493: REVERT 00000494: JUMPDEST 00000495: POP 00000496: PUSH2 0x0211 00000499: PUSH2 0x1152 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x0296 000004ae: PUSH1 0x0a 000004b0: SLOAD 000004b1: DUP2 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x0283 000004c4: PUSH2 0x04ce 000004c7: CALLDATASIZE 000004c8: PUSH1 0x04 000004ca: PUSH2 0x26d1 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH2 0x1161 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLVALUE 000004d5: DUP1 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: PUSH2 0x0283 000004e4: PUSH2 0x04ee 000004e7: CALLDATASIZE 000004e8: PUSH1 0x04 000004ea: PUSH2 0x25f3 000004ed: JUMP 000004ee: JUMPDEST 000004ef: PUSH2 0x1278 000004f2: JUMP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: PUSH2 0x0296 00000504: PUSH1 0x0d 00000506: SLOAD 00000507: DUP2 00000508: JUMP 00000509: JUMPDEST 0000050a: CALLVALUE 0000050b: DUP1 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: PUSH2 0x0211 0000051a: PUSH2 0x0524 0000051d: CALLDATASIZE 0000051e: PUSH1 0x04 00000520: PUSH2 0x2827 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH2 0x1320 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH2 0x0283 0000052d: PUSH2 0x0537 00000530: CALLDATASIZE 00000531: PUSH1 0x04 00000533: PUSH2 0x2827 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH2 0x1430 0000053b: JUMP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x0548 00000543: JUMPI 00000544: PUSH1 0x00 00000546: DUP1 00000547: REVERT 00000548: JUMPDEST 00000549: POP 0000054a: PUSH2 0x01e7 0000054d: PUSH2 0x0557 00000550: CALLDATASIZE 00000551: PUSH1 0x04 00000553: PUSH2 0x2584 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056d: SWAP2 0000056e: DUP3 0000056f: AND 00000570: PUSH1 0x00 00000572: SWAP1 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x05 00000577: PUSH1 0x20 00000579: SWAP1 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x40 0000057e: DUP1 0000057f: DUP4 00000580: KECCAK256 00000581: SWAP4 00000582: SWAP1 00000583: SWAP5 00000584: AND 00000585: DUP3 00000586: MSTORE 00000587: SWAP2 00000588: SWAP1 00000589: SWAP2 0000058a: MSTORE 0000058b: KECCAK256 0000058c: SLOAD 0000058d: PUSH1 0xff 0000058f: AND 00000590: SWAP1 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH1 0x00 00000595: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000005b6: DUP3 000005b7: AND 000005b8: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000 000005d9: EQ 000005da: DUP1 000005db: PUSH2 0x05e8 000005de: JUMPI 000005df: POP 000005e0: PUSH2 0x05e8 000005e3: DUP3 000005e4: PUSH2 0x173e 000005e7: JUMP 000005e8: JUMPDEST 000005e9: SWAP3 000005ea: SWAP2 000005eb: POP 000005ec: POP 000005ed: JUMP 000005ee: JUMPDEST 000005ef: PUSH1 0x60 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: SLOAD 000005f5: PUSH2 0x05fd 000005f8: SWAP1 000005f9: PUSH2 0x2a68 000005fc: JUMP 000005fd: JUMPDEST 000005fe: DUP1 000005ff: PUSH1 0x1f 00000601: ADD 00000602: PUSH1 0x20 00000604: DUP1 00000605: SWAP2 00000606: DIV 00000607: MUL 00000608: PUSH1 0x20 0000060a: ADD 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: SWAP1 0000060f: DUP2 00000610: ADD 00000611: PUSH1 0x40 00000613: MSTORE 00000614: DUP1 00000615: SWAP3 00000616: SWAP2 00000617: SWAP1 00000618: DUP2 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: DUP3 0000061f: DUP1 00000620: SLOAD 00000621: PUSH2 0x0629 00000624: SWAP1 00000625: PUSH2 0x2a68 00000628: JUMP 00000629: JUMPDEST 0000062a: DUP1 0000062b: ISZERO 0000062c: PUSH2 0x0676 0000062f: JUMPI 00000630: DUP1 00000631: PUSH1 0x1f 00000633: LT 00000634: PUSH2 0x064b 00000637: JUMPI 00000638: PUSH2 0x0100 0000063b: DUP1 0000063c: DUP4 0000063d: SLOAD 0000063e: DIV 0000063f: MUL 00000640: DUP4 00000641: MSTORE 00000642: SWAP2 00000643: PUSH1 0x20 00000645: ADD 00000646: SWAP2 00000647: PUSH2 0x0676 0000064a: JUMP 0000064b: JUMPDEST 0000064c: DUP3 0000064d: ADD 0000064e: SWAP2 0000064f: SWAP1 00000650: PUSH1 0x00 00000652: MSTORE 00000653: PUSH1 0x20 00000655: PUSH1 0x00 00000657: KECCAK256 00000658: SWAP1 00000659: JUMPDEST 0000065a: DUP2 0000065b: SLOAD 0000065c: DUP2 0000065d: MSTORE 0000065e: SWAP1 0000065f: PUSH1 0x01 00000661: ADD 00000662: SWAP1 00000663: PUSH1 0x20 00000665: ADD 00000666: DUP1 00000667: DUP4 00000668: GT 00000669: PUSH2 0x0659 0000066c: JUMPI 0000066d: DUP3 0000066e: SWAP1 0000066f: SUB 00000670: PUSH1 0x1f 00000672: AND 00000673: DUP3 00000674: ADD 00000675: SWAP2 00000676: JUMPDEST 00000677: POP 00000678: POP 00000679: POP 0000067a: POP 0000067b: POP 0000067c: SWAP1 0000067d: POP 0000067e: SWAP1 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH1 0x00 00000683: DUP2 00000684: DUP2 00000685: MSTORE 00000686: PUSH1 0x02 00000688: PUSH1 0x20 0000068a: MSTORE 0000068b: PUSH1 0x40 0000068d: DUP2 0000068e: KECCAK256 0000068f: SLOAD 00000690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a5: AND 000006a6: PUSH2 0x0736 000006a9: JUMPI 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x20 000006d2: PUSH1 0x04 000006d4: DUP3 000006d5: ADD 000006d6: MSTORE 000006d7: PUSH1 0x2c 000006d9: PUSH1 0x24 000006db: DUP3 000006dc: ADD 000006dd: MSTORE 000006de: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578 000006ff: PUSH1 0x44 00000701: DUP3 00000702: ADD 00000703: MSTORE 00000704: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 00000725: PUSH1 0x64 00000727: DUP3 00000728: ADD 00000729: MSTORE 0000072a: PUSH1 0x84 0000072c: ADD 0000072d: JUMPDEST 0000072e: PUSH1 0x40 00000730: MLOAD 00000731: DUP1 00000732: SWAP2 00000733: SUB 00000734: SWAP1 00000735: REVERT 00000736: JUMPDEST 00000737: POP 00000738: PUSH1 0x00 0000073a: SWAP1 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x04 0000073f: PUSH1 0x20 00000741: MSTORE 00000742: PUSH1 0x40 00000744: SWAP1 00000745: KECCAK256 00000746: SLOAD 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: AND 0000075d: SWAP1 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x00 00000762: PUSH2 0x076a 00000765: DUP3 00000766: PUSH2 0x0e7b 00000769: JUMP 0000076a: JUMPDEST 0000076b: SWAP1 0000076c: POP 0000076d: DUP1 0000076e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000783: AND 00000784: DUP4 00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079a: AND 0000079b: EQ 0000079c: ISZERO 0000079d: PUSH2 0x0828 000007a0: JUMPI 000007a1: PUSH1 0x40 000007a3: MLOAD 000007a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007c5: DUP2 000007c6: MSTORE 000007c7: PUSH1 0x20 000007c9: PUSH1 0x04 000007cb: DUP3 000007cc: ADD 000007cd: MSTORE 000007ce: PUSH1 0x21 000007d0: PUSH1 0x24 000007d2: DUP3 000007d3: ADD 000007d4: MSTORE 000007d5: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 000007f6: PUSH1 0x44 000007f8: DUP3 000007f9: ADD 000007fa: MSTORE 000007fb: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000 0000081c: PUSH1 0x64 0000081e: DUP3 0000081f: ADD 00000820: MSTORE 00000821: PUSH1 0x84 00000823: ADD 00000824: PUSH2 0x072d 00000827: JUMP 00000828: JUMPDEST 00000829: CALLER 0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083f: DUP3 00000840: AND 00000841: EQ 00000842: DUP1 00000843: PUSH2 0x0851 00000846: JUMPI 00000847: POP 00000848: PUSH2 0x0851 0000084b: DUP2 0000084c: CALLER 0000084d: PUSH2 0x0557 00000850: JUMP 00000851: JUMPDEST 00000852: PUSH2 0x08dd 00000855: JUMPI 00000856: PUSH1 0x40 00000858: MLOAD 00000859: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000087a: DUP2 0000087b: MSTORE 0000087c: PUSH1 0x20 0000087e: PUSH1 0x04 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: PUSH1 0x38 00000885: PUSH1 0x24 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77 000008ab: PUSH1 0x44 000008ad: DUP3 000008ae: ADD 000008af: MSTORE 000008b0: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000 000008d1: PUSH1 0x64 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH1 0x84 000008d8: ADD 000008d9: PUSH2 0x072d 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH2 0x08e7 000008e1: DUP4 000008e2: DUP4 000008e3: PUSH2 0x1821 000008e6: JUMP 000008e7: JUMPDEST 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH2 0x08f6 000008f0: CALLER 000008f1: DUP3 000008f2: PUSH2 0x18c1 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH2 0x0982 000008fa: JUMPI 000008fb: PUSH1 0x40 000008fd: MLOAD 000008fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x20 00000923: PUSH1 0x04 00000925: DUP3 00000926: ADD 00000927: MSTORE 00000928: PUSH1 0x31 0000092a: PUSH1 0x24 0000092c: DUP3 0000092d: ADD 0000092e: MSTORE 0000092f: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00000950: PUSH1 0x44 00000952: DUP3 00000953: ADD 00000954: MSTORE 00000955: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00000976: PUSH1 0x64 00000978: DUP3 00000979: ADD 0000097a: MSTORE 0000097b: PUSH1 0x84 0000097d: ADD 0000097e: PUSH2 0x072d 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH2 0x08e7 00000986: DUP4 00000987: DUP4 00000988: DUP4 00000989: PUSH2 0x1a31 0000098c: JUMP 0000098d: JUMPDEST 0000098e: CALLER 0000098f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a4: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 000009c5: AND 000009c6: EQ 000009c7: PUSH2 0x0a2c 000009ca: JUMPI 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x20 000009f3: PUSH1 0x04 000009f5: DUP3 000009f6: ADD 000009f7: MSTORE 000009f8: PUSH1 0x1f 000009fa: PUSH1 0x24 000009fc: DUP3 000009fd: ADD 000009fe: MSTORE 000009ff: PUSH32 0x4f6e6c79206f776e65722063616e206d696e74206265666f72652073616c6500 00000a20: PUSH1 0x44 00000a22: DUP3 00000a23: ADD 00000a24: MSTORE 00000a25: PUSH1 0x64 00000a27: ADD 00000a28: PUSH2 0x072d 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: DUP1 00000a2e: MLOAD 00000a2f: PUSH1 0x0d 00000a31: PUSH1 0x00 00000a33: DUP3 00000a34: DUP3 00000a35: SLOAD 00000a36: PUSH2 0x0a3f 00000a39: SWAP2 00000a3a: SWAP1 00000a3b: PUSH2 0x29bc 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: SWAP1 00000a41: SWAP2 00000a42: SSTORE 00000a43: POP 00000a44: PUSH1 0x00 00000a46: SWAP1 00000a47: POP 00000a48: JUMPDEST 00000a49: DUP2 00000a4a: MLOAD 00000a4b: DUP2 00000a4c: LT 00000a4d: ISZERO 00000a4e: PUSH2 0x0b31 00000a51: JUMPI 00000a52: DUP2 00000a53: DUP2 00000a54: DUP2 00000a55: MLOAD 00000a56: DUP2 00000a57: LT 00000a58: PUSH2 0x0a63 00000a5b: JUMPI 00000a5c: PUSH2 0x0a63 00000a5f: PUSH2 0x2b96 00000a62: JUMP 00000a63: JUMPDEST 00000a64: PUSH1 0x20 00000a66: MUL 00000a67: PUSH1 0x20 00000a69: ADD 00000a6a: ADD 00000a6b: MLOAD 00000a6c: PUSH1 0x00 00000a6e: EQ 00000a6f: ISZERO 00000a70: DUP1 00000a71: ISZERO 00000a72: PUSH2 0x0a96 00000a75: JUMPI 00000a76: POP 00000a77: PUSH2 0x2710 00000a7a: DUP3 00000a7b: DUP3 00000a7c: DUP2 00000a7d: MLOAD 00000a7e: DUP2 00000a7f: LT 00000a80: PUSH2 0x0a8b 00000a83: JUMPI 00000a84: PUSH2 0x0a8b 00000a87: PUSH2 0x2b96 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x20 00000a8e: MUL 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: ADD 00000a93: MLOAD 00000a94: GT 00000a95: ISZERO 00000a96: JUMPDEST 00000a97: PUSH2 0x0afc 00000a9a: JUMPI 00000a9b: PUSH1 0x40 00000a9d: MLOAD 00000a9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x20 00000ac3: PUSH1 0x04 00000ac5: DUP3 00000ac6: ADD 00000ac7: MSTORE 00000ac8: PUSH1 0x0f 00000aca: PUSH1 0x24 00000acc: DUP3 00000acd: ADD 00000ace: MSTORE 00000acf: PUSH32 0x496e76616c696420746f6b656e49640000000000000000000000000000000000 00000af0: PUSH1 0x44 00000af2: DUP3 00000af3: ADD 00000af4: MSTORE 00000af5: PUSH1 0x64 00000af7: ADD 00000af8: PUSH2 0x072d 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH2 0x0b1f 00000b00: CALLER 00000b01: DUP4 00000b02: DUP4 00000b03: DUP2 00000b04: MLOAD 00000b05: DUP2 00000b06: LT 00000b07: PUSH2 0x0b12 00000b0a: JUMPI 00000b0b: PUSH2 0x0b12 00000b0e: PUSH2 0x2b96 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x20 00000b15: MUL 00000b16: PUSH1 0x20 00000b18: ADD 00000b19: ADD 00000b1a: MLOAD 00000b1b: PUSH2 0x1ca3 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: DUP1 00000b21: PUSH2 0x0b29 00000b24: DUP2 00000b25: PUSH2 0x2abc 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP2 00000b2b: POP 00000b2c: POP 00000b2d: PUSH2 0x0a48 00000b30: JUMP 00000b31: JUMPDEST 00000b32: POP 00000b33: POP 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH1 0x00 00000b38: PUSH2 0x0b40 00000b3b: DUP4 00000b3c: PUSH2 0x0f3c 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: DUP3 00000b42: LT 00000b43: PUSH2 0x0bce 00000b46: JUMPI 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x20 00000b6f: PUSH1 0x04 00000b71: DUP3 00000b72: ADD 00000b73: MSTORE 00000b74: PUSH1 0x2b 00000b76: PUSH1 0x24 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 00000b9c: PUSH1 0x44 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000 00000bc2: PUSH1 0x64 00000bc4: DUP3 00000bc5: ADD 00000bc6: MSTORE 00000bc7: PUSH1 0x84 00000bc9: ADD 00000bca: PUSH2 0x072d 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: POP 00000bd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be5: SWAP2 00000be6: SWAP1 00000be7: SWAP2 00000be8: AND 00000be9: PUSH1 0x00 00000beb: SWAP1 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x06 00000bf0: PUSH1 0x20 00000bf2: SWAP1 00000bf3: DUP2 00000bf4: MSTORE 00000bf5: PUSH1 0x40 00000bf7: DUP1 00000bf8: DUP4 00000bf9: KECCAK256 00000bfa: SWAP4 00000bfb: DUP4 00000bfc: MSTORE 00000bfd: SWAP3 00000bfe: SWAP1 00000bff: MSTORE 00000c00: KECCAK256 00000c01: SLOAD 00000c02: SWAP1 00000c03: JUMP 00000c04: JUMPDEST 00000c05: CALLER 00000c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1b: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 00000c3c: AND 00000c3d: EQ 00000c3e: PUSH2 0x0ca3 00000c41: JUMPI 00000c42: PUSH1 0x40 00000c44: MLOAD 00000c45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x20 00000c6a: PUSH1 0x04 00000c6c: DUP3 00000c6d: ADD 00000c6e: DUP2 00000c6f: SWAP1 00000c70: MSTORE 00000c71: PUSH1 0x24 00000c73: DUP3 00000c74: ADD 00000c75: MSTORE 00000c76: PUSH32 0x4f6e6c79206f776e65722063616e20746f67676c652073616c65207374617465 00000c97: PUSH1 0x44 00000c99: DUP3 00000c9a: ADD 00000c9b: MSTORE 00000c9c: PUSH1 0x64 00000c9e: ADD 00000c9f: PUSH2 0x072d 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: PUSH1 0x0b 00000ca6: DUP1 00000ca7: SLOAD 00000ca8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000cc9: AND 00000cca: SWAP2 00000ccb: ISZERO 00000ccc: ISZERO 00000ccd: SWAP2 00000cce: SWAP1 00000ccf: SWAP2 00000cd0: OR 00000cd1: SWAP1 00000cd2: SSTORE 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: CALLER 00000cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ceb: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 00000d0c: AND 00000d0d: EQ 00000d0e: PUSH2 0x0d73 00000d11: JUMPI 00000d12: PUSH1 0x40 00000d14: MLOAD 00000d15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d36: DUP2 00000d37: MSTORE 00000d38: PUSH1 0x20 00000d3a: PUSH1 0x04 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH1 0x17 00000d41: PUSH1 0x24 00000d43: DUP3 00000d44: ADD 00000d45: MSTORE 00000d46: PUSH32 0x4f6e6c79206f776e65722063616e207769746864726177000000000000000000 00000d67: PUSH1 0x44 00000d69: DUP3 00000d6a: ADD 00000d6b: MSTORE 00000d6c: PUSH1 0x64 00000d6e: ADD 00000d6f: PUSH2 0x072d 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: CALLER 00000d78: SWAP1 00000d79: SELFBALANCE 00000d7a: DUP1 00000d7b: ISZERO 00000d7c: PUSH2 0x08fc 00000d7f: MUL 00000d80: SWAP2 00000d81: PUSH1 0x00 00000d83: DUP2 00000d84: DUP2 00000d85: DUP2 00000d86: DUP6 00000d87: DUP9 00000d88: DUP9 00000d89: CALL 00000d8a: SWAP4 00000d8b: POP 00000d8c: POP 00000d8d: POP 00000d8e: POP 00000d8f: ISZERO 00000d90: DUP1 00000d91: ISZERO 00000d92: PUSH2 0x0d9f 00000d95: JUMPI 00000d96: RETURNDATASIZE 00000d97: PUSH1 0x00 00000d99: DUP1 00000d9a: RETURNDATACOPY 00000d9b: RETURNDATASIZE 00000d9c: PUSH1 0x00 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: POP 00000da1: JUMP 00000da2: JUMPDEST 00000da3: PUSH2 0x08e7 00000da6: DUP4 00000da7: DUP4 00000da8: DUP4 00000da9: PUSH1 0x40 00000dab: MLOAD 00000dac: DUP1 00000dad: PUSH1 0x20 00000daf: ADD 00000db0: PUSH1 0x40 00000db2: MSTORE 00000db3: DUP1 00000db4: PUSH1 0x00 00000db6: DUP2 00000db7: MSTORE 00000db8: POP 00000db9: PUSH2 0x1278 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: PUSH1 0x00 00000dc0: PUSH2 0x0dc8 00000dc3: PUSH1 0x08 00000dc5: SLOAD 00000dc6: SWAP1 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: DUP3 00000dca: LT 00000dcb: PUSH2 0x0e56 00000dce: JUMPI 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH1 0x20 00000df7: PUSH1 0x04 00000df9: DUP3 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x2c 00000dfe: PUSH1 0x24 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000e24: PUSH1 0x44 00000e26: DUP3 00000e27: ADD 00000e28: MSTORE 00000e29: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000 00000e4a: PUSH1 0x64 00000e4c: DUP3 00000e4d: ADD 00000e4e: MSTORE 00000e4f: PUSH1 0x84 00000e51: ADD 00000e52: PUSH2 0x072d 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH1 0x08 00000e59: DUP3 00000e5a: DUP2 00000e5b: SLOAD 00000e5c: DUP2 00000e5d: LT 00000e5e: PUSH2 0x0e69 00000e61: JUMPI 00000e62: PUSH2 0x0e69 00000e65: PUSH2 0x2b96 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: SWAP1 00000e6b: PUSH1 0x00 00000e6d: MSTORE 00000e6e: PUSH1 0x20 00000e70: PUSH1 0x00 00000e72: KECCAK256 00000e73: ADD 00000e74: SLOAD 00000e75: SWAP1 00000e76: POP 00000e77: SWAP2 00000e78: SWAP1 00000e79: POP 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH1 0x00 00000e7e: DUP2 00000e7f: DUP2 00000e80: MSTORE 00000e81: PUSH1 0x02 00000e83: PUSH1 0x20 00000e85: MSTORE 00000e86: PUSH1 0x40 00000e88: DUP2 00000e89: KECCAK256 00000e8a: SLOAD 00000e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea0: AND 00000ea1: DUP1 00000ea2: PUSH2 0x05e8 00000ea5: JUMPI 00000ea6: PUSH1 0x40 00000ea8: MLOAD 00000ea9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eca: DUP2 00000ecb: MSTORE 00000ecc: PUSH1 0x20 00000ece: PUSH1 0x04 00000ed0: DUP3 00000ed1: ADD 00000ed2: MSTORE 00000ed3: PUSH1 0x29 00000ed5: PUSH1 0x24 00000ed7: DUP3 00000ed8: ADD 00000ed9: MSTORE 00000eda: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374 00000efb: PUSH1 0x44 00000efd: DUP3 00000efe: ADD 00000eff: MSTORE 00000f00: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000 00000f21: PUSH1 0x64 00000f23: DUP3 00000f24: ADD 00000f25: MSTORE 00000f26: PUSH1 0x84 00000f28: ADD 00000f29: PUSH2 0x072d 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: PUSH1 0x60 00000f30: PUSH2 0x0f37 00000f33: PUSH2 0x1e71 00000f36: JUMP 00000f37: JUMPDEST 00000f38: SWAP1 00000f39: POP 00000f3a: SWAP1 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: PUSH1 0x00 00000f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f54: DUP3 00000f55: AND 00000f56: PUSH2 0x0fe1 00000f59: JUMPI 00000f5a: PUSH1 0x40 00000f5c: MLOAD 00000f5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f7e: DUP2 00000f7f: MSTORE 00000f80: PUSH1 0x20 00000f82: PUSH1 0x04 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH1 0x2a 00000f89: PUSH1 0x24 00000f8b: DUP3 00000f8c: ADD 00000f8d: MSTORE 00000f8e: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65 00000faf: PUSH1 0x44 00000fb1: DUP3 00000fb2: ADD 00000fb3: MSTORE 00000fb4: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000 00000fd5: PUSH1 0x64 00000fd7: DUP3 00000fd8: ADD 00000fd9: MSTORE 00000fda: PUSH1 0x84 00000fdc: ADD 00000fdd: PUSH2 0x072d 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: POP 00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff8: AND 00000ff9: PUSH1 0x00 00000ffb: SWAP1 00000ffc: DUP2 00000ffd: MSTORE 00000ffe: PUSH1 0x03 00001000: PUSH1 0x20 00001002: MSTORE 00001003: PUSH1 0x40 00001005: SWAP1 00001006: KECCAK256 00001007: SLOAD 00001008: SWAP1 00001009: JUMP 0000100a: JUMPDEST 0000100b: CALLER 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 00001042: AND 00001043: EQ 00001044: PUSH2 0x10a9 00001047: JUMPI 00001048: PUSH1 0x40 0000104a: MLOAD 0000104b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000106c: DUP2 0000106d: MSTORE 0000106e: PUSH1 0x20 00001070: PUSH1 0x04 00001072: DUP3 00001073: ADD 00001074: MSTORE 00001075: PUSH1 0x1a 00001077: PUSH1 0x24 00001079: DUP3 0000107a: ADD 0000107b: MSTORE 0000107c: PUSH32 0x4f6e6c79206f776e65722063616e2073657420636f756e746572000000000000 0000109d: PUSH1 0x44 0000109f: DUP3 000010a0: ADD 000010a1: MSTORE 000010a2: PUSH1 0x64 000010a4: ADD 000010a5: PUSH2 0x072d 000010a8: JUMP 000010a9: JUMPDEST 000010aa: PUSH1 0x0c 000010ac: SSTORE 000010ad: JUMP 000010ae: JUMPDEST 000010af: CALLER 000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c5: PUSH32 0x00000000000000000000000073a8aeb6277bd8a5d22d96d2b20638f946bb36cc 000010e6: AND 000010e7: EQ 000010e8: PUSH2 0x114d 000010eb: JUMPI 000010ec: PUSH1 0x40 000010ee: MLOAD 000010ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001110: DUP2 00001111: MSTORE 00001112: PUSH1 0x20 00001114: PUSH1 0x04 00001116: DUP3 00001117: ADD 00001118: MSTORE 00001119: PUSH1 0x19 0000111b: PUSH1 0x24 0000111d: DUP3 0000111e: ADD 0000111f: MSTORE 00001120: PUSH32 0x4f6e6c79206f776e65722063616e207365742070726963657300000000000000 00001141: PUSH1 0x44 00001143: DUP3 00001144: ADD 00001145: MSTORE 00001146: PUSH1 0x64 00001148: ADD 00001149: PUSH2 0x072d 0000114c: JUMP 0000114d: JUMPDEST 0000114e: PUSH1 0x0a 00001150: SSTORE 00001151: JUMP 00001152: JUMPDEST 00001153: PUSH1 0x60 00001155: PUSH1 0x01 00001157: DUP1 00001158: SLOAD 00001159: PUSH2 0x05fd 0000115c: SWAP1 0000115d: PUSH2 0x2a68 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001177: DUP3 00001178: AND 00001179: CALLER 0000117a: EQ 0000117b: ISZERO 0000117c: PUSH2 0x11e1 0000117f: JUMPI 00001180: PUSH1 0x40 00001182: MLOAD 00001183: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011a4: DUP2 000011a5: MSTORE 000011a6: PUSH1 0x20 000011a8: PUSH1 0x04 000011aa: DUP3 000011ab: ADD 000011ac: MSTORE 000011ad: PUSH1 0x19 000011af: PUSH1 0x24 000011b1: DUP3 000011b2: ADD 000011b3: MSTORE 000011b4: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 000011d5: PUSH1 0x44 000011d7: DUP3 000011d8: ADD 000011d9: MSTORE 000011da: PUSH1 0x64 000011dc: ADD 000011dd: PUSH2 0x072d 000011e0: JUMP 000011e1: JUMPDEST 000011e2: CALLER 000011e3: PUSH1 0x00 000011e5: DUP2 000011e6: DUP2 000011e7: MSTORE 000011e8: PUSH1 0x05 000011ea: PUSH1 0x20 000011ec: SWAP1 000011ed: DUP2 000011ee: MSTORE 000011ef: PUSH1 0x40 000011f1: DUP1 000011f2: DUP4 000011f3: KECCAK256 000011f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001209: DUP8 0000120a: AND 0000120b: DUP1 0000120c: DUP6 0000120d: MSTORE 0000120e: SWAP1 0000120f: DUP4 00001210: MSTORE 00001211: SWAP3 00001212: DUP2 00001213: SWAP1 00001214: KECCAK256 00001215: DUP1 00001216: SLOAD 00001217: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001238: AND 00001239: DUP7 0000123a: ISZERO 0000123b: ISZERO 0000123c: SWAP1 0000123d: DUP2 0000123e: OR 0000123f: SWAP1 00001240: SWAP2 00001241: SSTORE 00001242: SWAP1 00001243: MLOAD 00001244: SWAP1 00001245: DUP2 00001246: MSTORE 00001247: SWAP2 00001248: SWAP3 00001249: SWAP2 0000124a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000126b: SWAP2 0000126c: ADD 0000126d: PUSH1 0x40 0000126f: MLOAD 00001270: DUP1 00001271: SWAP2 00001272: SUB 00001273: SWAP1 00001274: LOG3 00001275: POP 00001276: POP 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH2 0x1282 0000127c: CALLER 0000127d: DUP4 0000127e: PUSH2 0x18c1 00001281: JUMP 00001282: JUMPDEST 00001283: PUSH2 0x130e 00001286: JUMPI 00001287: PUSH1 0x40 00001289: MLOAD 0000128a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012ab: DUP2 000012ac: MSTORE 000012ad: PUSH1 0x20 000012af: PUSH1 0x04 000012b1: DUP3 000012b2: ADD 000012b3: MSTORE 000012b4: PUSH1 0x31 000012b6: PUSH1 0x24 000012b8: DUP3 000012b9: ADD 000012ba: MSTORE 000012bb: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 000012dc: PUSH1 0x44 000012de: DUP3 000012df: ADD 000012e0: MSTORE 000012e1: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00001302: PUSH1 0x64 00001304: DUP3 00001305: ADD 00001306: MSTORE 00001307: PUSH1 0x84 00001309: ADD 0000130a: PUSH2 0x072d 0000130d: JUMP 0000130e: JUMPDEST 0000130f: PUSH2 0x131a 00001312: DUP5 00001313: DUP5 00001314: DUP5 00001315: DUP5 00001316: PUSH2 0x1e80 00001319: JUMP 0000131a: JUMPDEST 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: POP 0000131f: JUMP 00001320: JUMPDEST 00001321: PUSH1 0x00 00001323: DUP2 00001324: DUP2 00001325: MSTORE 00001326: PUSH1 0x02 00001328: PUSH1 0x20 0000132a: MSTORE 0000132b: PUSH1 0x40 0000132d: SWAP1 0000132e: KECCAK256 0000132f: SLOAD 00001330: PUSH1 0x60 00001332: SWAP1 00001333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001348: AND 00001349: PUSH2 0x13d4 0000134c: JUMPI 0000134d: PUSH1 0x40 0000134f: MLOAD 00001350: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001371: DUP2 00001372: MSTORE 00001373: PUSH1 0x20 00001375: PUSH1 0x04 00001377: DUP3 00001378: ADD 00001379: MSTORE 0000137a: PUSH1 0x2f 0000137c: PUSH1 0x24 0000137e: DUP3 0000137f: ADD 00001380: MSTORE 00001381: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f 000013a2: PUSH1 0x44 000013a4: DUP3 000013a5: ADD 000013a6: MSTORE 000013a7: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000 000013c8: PUSH1 0x64 000013ca: DUP3 000013cb: ADD 000013cc: MSTORE 000013cd: PUSH1 0x84 000013cf: ADD 000013d0: PUSH2 0x072d 000013d3: JUMP 000013d4: JUMPDEST 000013d5: PUSH1 0x00 000013d7: PUSH2 0x13de 000013da: PUSH2 0x1e71 000013dd: JUMP 000013de: JUMPDEST 000013df: SWAP1 000013e0: POP 000013e1: PUSH1 0x00 000013e3: DUP2 000013e4: MLOAD 000013e5: GT 000013e6: PUSH2 0x13fe 000013e9: JUMPI 000013ea: PUSH1 0x40 000013ec: MLOAD 000013ed: DUP1 000013ee: PUSH1 0x20 000013f0: ADD 000013f1: PUSH1 0x40 000013f3: MSTORE 000013f4: DUP1 000013f5: PUSH1 0x00 000013f7: DUP2 000013f8: MSTORE 000013f9: POP 000013fa: PUSH2 0x1429 000013fd: JUMP 000013fe: JUMPDEST 000013ff: DUP1 00001400: PUSH2 0x1408 00001403: DUP5 00001404: PUSH2 0x1f23 00001407: JUMP 00001408: JUMPDEST 00001409: PUSH1 0x40 0000140b: MLOAD 0000140c: PUSH1 0x20 0000140e: ADD 0000140f: PUSH2 0x1419 00001412: SWAP3 00001413: SWAP2 00001414: SWAP1 00001415: PUSH2 0x288a 00001418: JUMP 00001419: JUMPDEST 0000141a: PUSH1 0x40 0000141c: MLOAD 0000141d: PUSH1 0x20 0000141f: DUP2 00001420: DUP4 00001421: SUB 00001422: SUB 00001423: DUP2 00001424: MSTORE 00001425: SWAP1 00001426: PUSH1 0x40 00001428: MSTORE 00001429: JUMPDEST 0000142a: SWAP4 0000142b: SWAP3 0000142c: POP 0000142d: POP 0000142e: POP 0000142f: JUMP 00001430: JUMPDEST 00001431: PUSH1 0x0b 00001433: SLOAD 00001434: PUSH1 0xff 00001436: AND 00001437: PUSH2 0x149c 0000143a: JUMPI 0000143b: PUSH1 0x40 0000143d: MLOAD 0000143e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000145f: DUP2 00001460: MSTORE 00001461: PUSH1 0x20 00001463: PUSH1 0x04 00001465: DUP3 00001466: ADD 00001467: MSTORE 00001468: PUSH1 0x0a 0000146a: PUSH1 0x24 0000146c: DUP3 0000146d: ADD 0000146e: MSTORE 0000146f: PUSH32 0x53616c6520656e64656400000000000000000000000000000000000000000000 00001490: PUSH1 0x44 00001492: DUP3 00001493: ADD 00001494: MSTORE 00001495: PUSH1 0x64 00001497: ADD 00001498: PUSH2 0x072d 0000149b: JUMP 0000149c: JUMPDEST 0000149d: PUSH1 0x00 0000149f: DUP2 000014a0: GT 000014a1: DUP1 000014a2: ISZERO 000014a3: PUSH2 0x14ad 000014a6: JUMPI 000014a7: POP 000014a8: PUSH1 0x0a 000014aa: DUP2 000014ab: GT 000014ac: ISZERO 000014ad: JUMPDEST 000014ae: PUSH2 0x1513 000014b1: JUMPI 000014b2: PUSH1 0x40 000014b4: MLOAD 000014b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH1 0x20 000014da: PUSH1 0x04 000014dc: DUP3 000014dd: ADD 000014de: MSTORE 000014df: PUSH1 0x0e 000014e1: PUSH1 0x24 000014e3: DUP3 000014e4: ADD 000014e5: MSTORE 000014e6: PUSH32 0x496e76616c696420616d6f756e74000000000000000000000000000000000000 00001507: PUSH1 0x44 00001509: DUP3 0000150a: ADD 0000150b: MSTORE 0000150c: PUSH1 0x64 0000150e: ADD 0000150f: PUSH2 0x072d 00001512: JUMP 00001513: JUMPDEST 00001514: DUP1 00001515: PUSH1 0x0a 00001517: SLOAD 00001518: PUSH2 0x1521 0000151b: SWAP2 0000151c: SWAP1 0000151d: PUSH2 0x29e8 00001520: JUMP 00001521: JUMPDEST 00001522: CALLVALUE 00001523: EQ 00001524: PUSH2 0x15af 00001527: JUMPI 00001528: PUSH1 0x40 0000152a: MLOAD 0000152b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000154c: DUP2 0000154d: MSTORE 0000154e: PUSH1 0x20 00001550: PUSH1 0x04 00001552: DUP3 00001553: ADD 00001554: MSTORE 00001555: PUSH1 0x29 00001557: PUSH1 0x24 00001559: DUP3 0000155a: ADD 0000155b: MSTORE 0000155c: PUSH32 0x496e76616c696420616d6f756e74206f6620657468657220666f7220616d6f75 0000157d: PUSH1 0x44 0000157f: DUP3 00001580: ADD 00001581: MSTORE 00001582: PUSH32 0x6e7420746f206275790000000000000000000000000000000000000000000000 000015a3: PUSH1 0x64 000015a5: DUP3 000015a6: ADD 000015a7: MSTORE 000015a8: PUSH1 0x84 000015aa: ADD 000015ab: PUSH2 0x072d 000015ae: JUMP 000015af: JUMPDEST 000015b0: PUSH2 0x15b7 000015b3: PUSH2 0x2511 000015b6: JUMP 000015b7: JUMPDEST 000015b8: PUSH1 0x0c 000015ba: SLOAD 000015bb: PUSH1 0x00 000015bd: SWAP1 000015be: JUMPDEST 000015bf: DUP4 000015c0: DUP3 000015c1: LT 000015c2: ISZERO 000015c3: PUSH2 0x16a7 000015c6: JUMPI 000015c7: PUSH1 0x00 000015c9: DUP2 000015ca: DUP2 000015cb: MSTORE 000015cc: PUSH1 0x02 000015ce: PUSH1 0x20 000015d0: MSTORE 000015d1: PUSH1 0x40 000015d3: SWAP1 000015d4: KECCAK256 000015d5: SLOAD 000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015eb: AND 000015ec: PUSH2 0x1615 000015ef: JUMPI 000015f0: DUP1 000015f1: DUP4 000015f2: DUP4 000015f3: PUSH1 0x0a 000015f5: DUP2 000015f6: LT 000015f7: PUSH2 0x1602 000015fa: JUMPI 000015fb: PUSH2 0x1602 000015fe: PUSH2 0x2b96 00001601: JUMP 00001602: JUMPDEST 00001603: PUSH1 0x20 00001605: MUL 00001606: ADD 00001607: MSTORE 00001608: DUP2 00001609: PUSH2 0x1611 0000160c: DUP2 0000160d: PUSH2 0x2abc 00001610: JUMP 00001611: JUMPDEST 00001612: SWAP3 00001613: POP 00001614: POP 00001615: JUMPDEST 00001616: PUSH2 0x161e 00001619: DUP2 0000161a: PUSH2 0x2abc 0000161d: JUMP 0000161e: JUMPDEST 0000161f: PUSH1 0x0c 00001621: DUP2 00001622: SWAP1 00001623: SSTORE 00001624: SWAP1 00001625: POP 00001626: PUSH2 0x2710 00001629: DUP2 0000162a: GT 0000162b: ISZERO 0000162c: PUSH2 0x16a2 0000162f: JUMPI 00001630: PUSH1 0x0b 00001632: DUP1 00001633: SLOAD 00001634: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001655: AND 00001656: SWAP1 00001657: SSTORE 00001658: PUSH1 0x0a 0000165a: SLOAD 0000165b: CALLER 0000165c: SWAP1 0000165d: PUSH2 0x08fc 00001660: SWAP1 00001661: PUSH2 0x166a 00001664: DUP6 00001665: DUP9 00001666: PUSH2 0x2a25 00001669: JUMP 0000166a: JUMPDEST 0000166b: PUSH2 0x1674 0000166e: SWAP2 0000166f: SWAP1 00001670: PUSH2 0x29e8 00001673: JUMP 00001674: JUMPDEST 00001675: PUSH1 0x40 00001677: MLOAD 00001678: DUP2 00001679: ISZERO 0000167a: SWAP1 0000167b: SWAP3 0000167c: MUL 0000167d: SWAP2 0000167e: PUSH1 0x00 00001680: DUP2 00001681: DUP2 00001682: DUP2 00001683: DUP6 00001684: DUP9 00001685: DUP9 00001686: CALL 00001687: SWAP4 00001688: POP 00001689: POP 0000168a: POP 0000168b: POP 0000168c: ISZERO 0000168d: DUP1 0000168e: ISZERO 0000168f: PUSH2 0x169c 00001692: JUMPI 00001693: RETURNDATASIZE 00001694: PUSH1 0x00 00001696: DUP1 00001697: RETURNDATACOPY 00001698: RETURNDATASIZE 00001699: PUSH1 0x00 0000169b: REVERT 0000169c: JUMPDEST 0000169d: POP 0000169e: PUSH2 0x16a7 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH2 0x15be 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH32 0x4ef10ac6a901000a76b487f03f88fdcdd0dfa27a0fc7cf2cfdc4b22dddcbc239 000016c9: CALLER 000016ca: DUP4 000016cb: DUP6 000016cc: PUSH1 0x40 000016ce: MLOAD 000016cf: PUSH2 0x16da 000016d2: SWAP4 000016d3: SWAP3 000016d4: SWAP2 000016d5: SWAP1 000016d6: PUSH2 0x2902 000016d9: JUMP 000016da: JUMPDEST 000016db: PUSH1 0x40 000016dd: MLOAD 000016de: DUP1 000016df: SWAP2 000016e0: SUB 000016e1: SWAP1 000016e2: LOG1 000016e3: DUP2 000016e4: PUSH1 0x0d 000016e6: PUSH1 0x00 000016e8: DUP3 000016e9: DUP3 000016ea: SLOAD 000016eb: PUSH2 0x16f4 000016ee: SWAP2 000016ef: SWAP1 000016f0: PUSH2 0x29bc 000016f3: JUMP 000016f4: JUMPDEST 000016f5: SWAP1 000016f6: SWAP2 000016f7: SSTORE 000016f8: POP 000016f9: PUSH1 0x00 000016fb: SWAP1 000016fc: POP 000016fd: JUMPDEST 000016fe: DUP3 000016ff: DUP2 00001700: LT 00001701: ISZERO 00001702: PUSH2 0x1737 00001705: JUMPI 00001706: PUSH2 0x1725 00001709: CALLER 0000170a: DUP6 0000170b: DUP4 0000170c: PUSH1 0x0a 0000170e: DUP2 0000170f: LT 00001710: PUSH2 0x171b 00001713: JUMPI 00001714: PUSH2 0x171b 00001717: PUSH2 0x2b96 0000171a: JUMP 0000171b: JUMPDEST 0000171c: PUSH1 0x20 0000171e: MUL 0000171f: ADD 00001720: MLOAD 00001721: PUSH2 0x1ca3 00001724: JUMP 00001725: JUMPDEST 00001726: DUP1 00001727: PUSH2 0x172f 0000172a: DUP2 0000172b: PUSH2 0x2abc 0000172e: JUMP 0000172f: JUMPDEST 00001730: SWAP2 00001731: POP 00001732: POP 00001733: PUSH2 0x16fd 00001736: JUMP 00001737: JUMPDEST 00001738: POP 00001739: POP 0000173a: POP 0000173b: POP 0000173c: POP 0000173d: JUMP 0000173e: JUMPDEST 0000173f: PUSH1 0x00 00001741: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001762: DUP3 00001763: AND 00001764: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 00001785: EQ 00001786: DUP1 00001787: PUSH2 0x17d1 0000178a: JUMPI 0000178b: POP 0000178c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000017ad: DUP3 000017ae: AND 000017af: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 000017d0: EQ 000017d1: JUMPDEST 000017d2: DUP1 000017d3: PUSH2 0x05e8 000017d6: JUMPI 000017d7: POP 000017d8: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000017f9: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000181a: DUP4 0000181b: AND 0000181c: EQ 0000181d: PUSH2 0x05e8 00001820: JUMP 00001821: JUMPDEST 00001822: PUSH1 0x00 00001824: DUP2 00001825: DUP2 00001826: MSTORE 00001827: PUSH1 0x04 00001829: PUSH1 0x20 0000182b: MSTORE 0000182c: PUSH1 0x40 0000182e: SWAP1 0000182f: KECCAK256 00001830: DUP1 00001831: SLOAD 00001832: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001853: AND 00001854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001869: DUP5 0000186a: AND 0000186b: SWAP1 0000186c: DUP2 0000186d: OR 0000186e: SWAP1 0000186f: SWAP2 00001870: SSTORE 00001871: DUP2 00001872: SWAP1 00001873: PUSH2 0x187b 00001876: DUP3 00001877: PUSH2 0x0e7b 0000187a: JUMP 0000187b: JUMPDEST 0000187c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001891: AND 00001892: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000018b3: PUSH1 0x40 000018b5: MLOAD 000018b6: PUSH1 0x40 000018b8: MLOAD 000018b9: DUP1 000018ba: SWAP2 000018bb: SUB 000018bc: SWAP1 000018bd: LOG4 000018be: POP 000018bf: POP 000018c0: JUMP 000018c1: JUMPDEST 000018c2: PUSH1 0x00 000018c4: DUP2 000018c5: DUP2 000018c6: MSTORE 000018c7: PUSH1 0x02 000018c9: PUSH1 0x20 000018cb: MSTORE 000018cc: PUSH1 0x40 000018ce: DUP2 000018cf: KECCAK256 000018d0: SLOAD 000018d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e6: AND 000018e7: PUSH2 0x1972 000018ea: JUMPI 000018eb: PUSH1 0x40 000018ed: MLOAD 000018ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000190f: DUP2 00001910: MSTORE 00001911: PUSH1 0x20 00001913: PUSH1 0x04 00001915: DUP3 00001916: ADD 00001917: MSTORE 00001918: PUSH1 0x2c 0000191a: PUSH1 0x24 0000191c: DUP3 0000191d: ADD 0000191e: MSTORE 0000191f: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578 00001940: PUSH1 0x44 00001942: DUP3 00001943: ADD 00001944: MSTORE 00001945: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 00001966: PUSH1 0x64 00001968: DUP3 00001969: ADD 0000196a: MSTORE 0000196b: PUSH1 0x84 0000196d: ADD 0000196e: PUSH2 0x072d 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH1 0x00 00001975: PUSH2 0x197d 00001978: DUP4 00001979: PUSH2 0x0e7b 0000197c: JUMP 0000197d: JUMPDEST 0000197e: SWAP1 0000197f: POP 00001980: DUP1 00001981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001996: AND 00001997: DUP5 00001998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ad: AND 000019ae: EQ 000019af: DUP1 000019b0: PUSH2 0x19ec 000019b3: JUMPI 000019b4: POP 000019b5: DUP4 000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cb: AND 000019cc: PUSH2 0x19d4 000019cf: DUP5 000019d0: PUSH2 0x0680 000019d3: JUMP 000019d4: JUMPDEST 000019d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ea: AND 000019eb: EQ 000019ec: JUMPDEST 000019ed: DUP1 000019ee: PUSH2 0x1a29 000019f1: JUMPI 000019f2: POP 000019f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a08: DUP1 00001a09: DUP3 00001a0a: AND 00001a0b: PUSH1 0x00 00001a0d: SWAP1 00001a0e: DUP2 00001a0f: MSTORE 00001a10: PUSH1 0x05 00001a12: PUSH1 0x20 00001a14: SWAP1 00001a15: DUP2 00001a16: MSTORE 00001a17: PUSH1 0x40 00001a19: DUP1 00001a1a: DUP4 00001a1b: KECCAK256 00001a1c: SWAP4 00001a1d: DUP9 00001a1e: AND 00001a1f: DUP4 00001a20: MSTORE 00001a21: SWAP3 00001a22: SWAP1 00001a23: MSTORE 00001a24: KECCAK256 00001a25: SLOAD 00001a26: PUSH1 0xff 00001a28: AND 00001a29: JUMPDEST 00001a2a: SWAP5 00001a2b: SWAP4 00001a2c: POP 00001a2d: POP 00001a2e: POP 00001a2f: POP 00001a30: JUMP 00001a31: JUMPDEST 00001a32: DUP3 00001a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a48: AND 00001a49: PUSH2 0x1a51 00001a4c: DUP3 00001a4d: PUSH2 0x0e7b 00001a50: JUMP 00001a51: JUMPDEST 00001a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a67: AND 00001a68: EQ 00001a69: PUSH2 0x1af4 00001a6c: JUMPI 00001a6d: PUSH1 0x40 00001a6f: MLOAD 00001a70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a91: DUP2 00001a92: MSTORE 00001a93: PUSH1 0x20 00001a95: PUSH1 0x04 00001a97: DUP3 00001a98: ADD 00001a99: MSTORE 00001a9a: PUSH1 0x29 00001a9c: PUSH1 0x24 00001a9e: DUP3 00001a9f: ADD 00001aa0: MSTORE 00001aa1: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069 00001ac2: PUSH1 0x44 00001ac4: DUP3 00001ac5: ADD 00001ac6: MSTORE 00001ac7: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000 00001ae8: PUSH1 0x64 00001aea: DUP3 00001aeb: ADD 00001aec: MSTORE 00001aed: PUSH1 0x84 00001aef: ADD 00001af0: PUSH2 0x072d 00001af3: JUMP 00001af4: JUMPDEST 00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0a: DUP3 00001b0b: AND 00001b0c: PUSH2 0x1b96 00001b0f: JUMPI 00001b10: PUSH1 0x40 00001b12: MLOAD 00001b13: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b34: DUP2 00001b35: MSTORE 00001b36: PUSH1 0x20 00001b38: PUSH1 0x04 00001b3a: DUP3 00001b3b: ADD 00001b3c: MSTORE 00001b3d: PUSH1 0x24 00001b3f: DUP1 00001b40: DUP3 00001b41: ADD 00001b42: MSTORE 00001b43: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00001b64: PUSH1 0x44 00001b66: DUP3 00001b67: ADD 00001b68: MSTORE 00001b69: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00001b8a: PUSH1 0x64 00001b8c: DUP3 00001b8d: ADD 00001b8e: MSTORE 00001b8f: PUSH1 0x84 00001b91: ADD 00001b92: PUSH2 0x072d 00001b95: JUMP 00001b96: JUMPDEST 00001b97: PUSH2 0x1ba1 00001b9a: DUP4 00001b9b: DUP4 00001b9c: DUP4 00001b9d: PUSH2 0x2055 00001ba0: JUMP 00001ba1: JUMPDEST 00001ba2: PUSH2 0x1bac 00001ba5: PUSH1 0x00 00001ba7: DUP3 00001ba8: PUSH2 0x1821 00001bab: JUMP 00001bac: JUMPDEST 00001bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc2: DUP4 00001bc3: AND 00001bc4: PUSH1 0x00 00001bc6: SWAP1 00001bc7: DUP2 00001bc8: MSTORE 00001bc9: PUSH1 0x03 00001bcb: PUSH1 0x20 00001bcd: MSTORE 00001bce: PUSH1 0x40 00001bd0: DUP2 00001bd1: KECCAK256 00001bd2: DUP1 00001bd3: SLOAD 00001bd4: PUSH1 0x01 00001bd6: SWAP3 00001bd7: SWAP1 00001bd8: PUSH2 0x1be2 00001bdb: SWAP1 00001bdc: DUP5 00001bdd: SWAP1 00001bde: PUSH2 0x2a25 00001be1: JUMP 00001be2: JUMPDEST 00001be3: SWAP1 00001be4: SWAP2 00001be5: SSTORE 00001be6: POP 00001be7: POP 00001be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfd: DUP3 00001bfe: AND 00001bff: PUSH1 0x00 00001c01: SWAP1 00001c02: DUP2 00001c03: MSTORE 00001c04: PUSH1 0x03 00001c06: PUSH1 0x20 00001c08: MSTORE 00001c09: PUSH1 0x40 00001c0b: DUP2 00001c0c: KECCAK256 00001c0d: DUP1 00001c0e: SLOAD 00001c0f: PUSH1 0x01 00001c11: SWAP3 00001c12: SWAP1 00001c13: PUSH2 0x1c1d 00001c16: SWAP1 00001c17: DUP5 00001c18: SWAP1 00001c19: PUSH2 0x29bc 00001c1c: JUMP 00001c1d: JUMPDEST 00001c1e: SWAP1 00001c1f: SWAP2 00001c20: SSTORE 00001c21: POP 00001c22: POP 00001c23: PUSH1 0x00 00001c25: DUP2 00001c26: DUP2 00001c27: MSTORE 00001c28: PUSH1 0x02 00001c2a: PUSH1 0x20 00001c2c: MSTORE 00001c2d: PUSH1 0x40 00001c2f: DUP1 00001c30: DUP3 00001c31: KECCAK256 00001c32: DUP1 00001c33: SLOAD 00001c34: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001c55: AND 00001c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c6b: DUP7 00001c6c: DUP2 00001c6d: AND 00001c6e: SWAP2 00001c6f: DUP3 00001c70: OR 00001c71: SWAP1 00001c72: SWAP3 00001c73: SSTORE 00001c74: SWAP2 00001c75: MLOAD 00001c76: DUP5 00001c77: SWAP4 00001c78: SWAP2 00001c79: DUP8 00001c7a: AND 00001c7b: SWAP2 00001c7c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001c9d: SWAP2 00001c9e: LOG4 00001c9f: POP 00001ca0: POP 00001ca1: POP 00001ca2: JUMP 00001ca3: JUMPDEST 00001ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb9: DUP3 00001cba: AND 00001cbb: PUSH2 0x1d20 00001cbe: JUMPI 00001cbf: PUSH1 0x40 00001cc1: MLOAD 00001cc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ce3: DUP2 00001ce4: MSTORE 00001ce5: PUSH1 0x20 00001ce7: PUSH1 0x04 00001ce9: DUP3 00001cea: ADD 00001ceb: DUP2 00001cec: SWAP1 00001ced: MSTORE 00001cee: PUSH1 0x24 00001cf0: DUP3 00001cf1: ADD 00001cf2: MSTORE 00001cf3: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00001d14: PUSH1 0x44 00001d16: DUP3 00001d17: ADD 00001d18: MSTORE 00001d19: PUSH1 0x64 00001d1b: ADD 00001d1c: PUSH2 0x072d 00001d1f: JUMP 00001d20: JUMPDEST 00001d21: PUSH1 0x00 00001d23: DUP2 00001d24: DUP2 00001d25: MSTORE 00001d26: PUSH1 0x02 00001d28: PUSH1 0x20 00001d2a: MSTORE 00001d2b: PUSH1 0x40 00001d2d: SWAP1 00001d2e: KECCAK256 00001d2f: SLOAD 00001d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d45: AND 00001d46: ISZERO 00001d47: PUSH2 0x1dac 00001d4a: JUMPI 00001d4b: PUSH1 0x40 00001d4d: MLOAD 00001d4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d6f: DUP2 00001d70: MSTORE 00001d71: PUSH1 0x20 00001d73: PUSH1 0x04 00001d75: DUP3 00001d76: ADD 00001d77: MSTORE 00001d78: PUSH1 0x1c 00001d7a: PUSH1 0x24 00001d7c: DUP3 00001d7d: ADD 00001d7e: MSTORE 00001d7f: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00001da0: PUSH1 0x44 00001da2: DUP3 00001da3: ADD 00001da4: MSTORE 00001da5: PUSH1 0x64 00001da7: ADD 00001da8: PUSH2 0x072d 00001dab: JUMP 00001dac: JUMPDEST 00001dad: PUSH2 0x1db8 00001db0: PUSH1 0x00 00001db2: DUP4 00001db3: DUP4 00001db4: PUSH2 0x2055 00001db7: JUMP 00001db8: JUMPDEST 00001db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dce: DUP3 00001dcf: AND 00001dd0: PUSH1 0x00 00001dd2: SWAP1 00001dd3: DUP2 00001dd4: MSTORE 00001dd5: PUSH1 0x03 00001dd7: PUSH1 0x20 00001dd9: MSTORE 00001dda: PUSH1 0x40 00001ddc: DUP2 00001ddd: KECCAK256 00001dde: DUP1 00001ddf: SLOAD 00001de0: PUSH1 0x01 00001de2: SWAP3 00001de3: SWAP1 00001de4: PUSH2 0x1dee 00001de7: SWAP1 00001de8: DUP5 00001de9: SWAP1 00001dea: PUSH2 0x29bc 00001ded: JUMP 00001dee: JUMPDEST 00001def: SWAP1 00001df0: SWAP2 00001df1: SSTORE 00001df2: POP 00001df3: POP 00001df4: PUSH1 0x00 00001df6: DUP2 00001df7: DUP2 00001df8: MSTORE 00001df9: PUSH1 0x02 00001dfb: PUSH1 0x20 00001dfd: MSTORE 00001dfe: PUSH1 0x40 00001e00: DUP1 00001e01: DUP3 00001e02: KECCAK256 00001e03: DUP1 00001e04: SLOAD 00001e05: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001e26: AND 00001e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3c: DUP7 00001e3d: AND 00001e3e: SWAP1 00001e3f: DUP2 00001e40: OR 00001e41: SWAP1 00001e42: SWAP2 00001e43: SSTORE 00001e44: SWAP1 00001e45: MLOAD 00001e46: DUP4 00001e47: SWAP3 00001e48: SWAP1 00001e49: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001e6a: SWAP1 00001e6b: DUP3 00001e6c: SWAP1 00001e6d: LOG4 00001e6e: POP 00001e6f: POP 00001e70: JUMP 00001e71: JUMPDEST 00001e72: PUSH1 0x60 00001e74: PUSH1 0x0e 00001e76: DUP1 00001e77: SLOAD 00001e78: PUSH2 0x05fd 00001e7b: SWAP1 00001e7c: PUSH2 0x2a68 00001e7f: JUMP 00001e80: JUMPDEST 00001e81: PUSH2 0x1e8b 00001e84: DUP5 00001e85: DUP5 00001e86: DUP5 00001e87: PUSH2 0x1a31 00001e8a: JUMP 00001e8b: JUMPDEST 00001e8c: PUSH2 0x1e97 00001e8f: DUP5 00001e90: DUP5 00001e91: DUP5 00001e92: DUP5 00001e93: PUSH2 0x215b 00001e96: JUMP 00001e97: JUMPDEST 00001e98: PUSH2 0x131a 00001e9b: JUMPI 00001e9c: PUSH1 0x40 00001e9e: MLOAD 00001e9f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ec0: DUP2 00001ec1: MSTORE 00001ec2: PUSH1 0x20 00001ec4: PUSH1 0x04 00001ec6: DUP3 00001ec7: ADD 00001ec8: MSTORE 00001ec9: PUSH1 0x32 00001ecb: PUSH1 0x24 00001ecd: DUP3 00001ece: ADD 00001ecf: MSTORE 00001ed0: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00001ef1: PUSH1 0x44 00001ef3: DUP3 00001ef4: ADD 00001ef5: MSTORE 00001ef6: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00001f17: PUSH1 0x64 00001f19: DUP3 00001f1a: ADD 00001f1b: MSTORE 00001f1c: PUSH1 0x84 00001f1e: ADD 00001f1f: PUSH2 0x072d 00001f22: JUMP 00001f23: JUMPDEST 00001f24: PUSH1 0x60 00001f26: DUP2 00001f27: PUSH2 0x1f63 00001f2a: JUMPI 00001f2b: POP 00001f2c: POP 00001f2d: PUSH1 0x40 00001f2f: DUP1 00001f30: MLOAD 00001f31: DUP1 00001f32: DUP3 00001f33: ADD 00001f34: SWAP1 00001f35: SWAP2 00001f36: MSTORE 00001f37: PUSH1 0x01 00001f39: DUP2 00001f3a: MSTORE 00001f3b: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00001f5c: PUSH1 0x20 00001f5e: DUP3 00001f5f: ADD 00001f60: MSTORE 00001f61: SWAP1 00001f62: JUMP 00001f63: JUMPDEST 00001f64: DUP2 00001f65: PUSH1 0x00 00001f67: JUMPDEST 00001f68: DUP2 00001f69: ISZERO 00001f6a: PUSH2 0x1f8d 00001f6d: JUMPI 00001f6e: DUP1 00001f6f: PUSH2 0x1f77 00001f72: DUP2 00001f73: PUSH2 0x2abc 00001f76: JUMP 00001f77: JUMPDEST 00001f78: SWAP2 00001f79: POP 00001f7a: PUSH2 0x1f86 00001f7d: SWAP1 00001f7e: POP 00001f7f: PUSH1 0x0a 00001f81: DUP4 00001f82: PUSH2 0x29d4 00001f85: JUMP 00001f86: JUMPDEST 00001f87: SWAP2 00001f88: POP 00001f89: PUSH2 0x1f67 00001f8c: JUMP 00001f8d: JUMPDEST 00001f8e: PUSH1 0x00 00001f90: DUP2 00001f91: PUSH8 0xffffffffffffffff 00001f9a: DUP2 00001f9b: GT 00001f9c: ISZERO 00001f9d: PUSH2 0x1fa8 00001fa0: JUMPI 00001fa1: PUSH2 0x1fa8 00001fa4: PUSH2 0x2bc5 00001fa7: JUMP 00001fa8: JUMPDEST 00001fa9: PUSH1 0x40 00001fab: MLOAD 00001fac: SWAP1 00001fad: DUP1 00001fae: DUP3 00001faf: MSTORE 00001fb0: DUP1 00001fb1: PUSH1 0x1f 00001fb3: ADD 00001fb4: PUSH1 0x1f 00001fb6: NOT 00001fb7: AND 00001fb8: PUSH1 0x20 00001fba: ADD 00001fbb: DUP3 00001fbc: ADD 00001fbd: PUSH1 0x40 00001fbf: MSTORE 00001fc0: DUP1 00001fc1: ISZERO 00001fc2: PUSH2 0x1fd2 00001fc5: JUMPI 00001fc6: PUSH1 0x20 00001fc8: DUP3 00001fc9: ADD 00001fca: DUP2 00001fcb: DUP1 00001fcc: CALLDATASIZE 00001fcd: DUP4 00001fce: CALLDATACOPY 00001fcf: ADD 00001fd0: SWAP1 00001fd1: POP 00001fd2: JUMPDEST 00001fd3: POP 00001fd4: SWAP1 00001fd5: POP 00001fd6: JUMPDEST 00001fd7: DUP5 00001fd8: ISZERO 00001fd9: PUSH2 0x1a29 00001fdc: JUMPI 00001fdd: PUSH2 0x1fe7 00001fe0: PUSH1 0x01 00001fe2: DUP4 00001fe3: PUSH2 0x2a25 00001fe6: JUMP 00001fe7: JUMPDEST 00001fe8: SWAP2 00001fe9: POP 00001fea: PUSH2 0x1ff4 00001fed: PUSH1 0x0a 00001fef: DUP7 00001ff0: PUSH2 0x2af5 00001ff3: JUMP 00001ff4: JUMPDEST 00001ff5: PUSH2 0x1fff 00001ff8: SWAP1 00001ff9: PUSH1 0x30 00001ffb: PUSH2 0x29bc 00001ffe: JUMP 00001fff: JUMPDEST 00002000: PUSH1 0xf8 00002002: SHL 00002003: DUP2 00002004: DUP4 00002005: DUP2 00002006: MLOAD 00002007: DUP2 00002008: LT 00002009: PUSH2 0x2014 0000200c: JUMPI 0000200d: PUSH2 0x2014 00002010: PUSH2 0x2b96 00002013: JUMP 00002014: JUMPDEST 00002015: PUSH1 0x20 00002017: ADD 00002018: ADD 00002019: SWAP1 0000201a: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000203a: NOT 0000203b: AND 0000203c: SWAP1 0000203d: DUP2 0000203e: PUSH1 0x00 00002040: BYTE 00002041: SWAP1 00002042: MSTORE8 00002043: POP 00002044: PUSH2 0x204e 00002047: PUSH1 0x0a 00002049: DUP7 0000204a: PUSH2 0x29d4 0000204d: JUMP 0000204e: JUMPDEST 0000204f: SWAP5 00002050: POP 00002051: PUSH2 0x1fd6 00002054: JUMP 00002055: JUMPDEST 00002056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000206b: DUP4 0000206c: AND 0000206d: PUSH2 0x20bd 00002070: JUMPI 00002071: PUSH2 0x20b8 00002074: DUP2 00002075: PUSH1 0x08 00002077: DUP1 00002078: SLOAD 00002079: PUSH1 0x00 0000207b: DUP4 0000207c: DUP2 0000207d: MSTORE 0000207e: PUSH1 0x09 00002080: PUSH1 0x20 00002082: MSTORE 00002083: PUSH1 0x40 00002085: DUP2 00002086: KECCAK256 00002087: DUP3 00002088: SWAP1 00002089: SSTORE 0000208a: PUSH1 0x01 0000208c: DUP3 0000208d: ADD 0000208e: DUP4 0000208f: SSTORE 00002090: SWAP2 00002091: SWAP1 00002092: SWAP2 00002093: MSTORE 00002094: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 000020b5: ADD 000020b6: SSTORE 000020b7: JUMP 000020b8: JUMPDEST 000020b9: PUSH2 0x20fa 000020bc: JUMP 000020bd: JUMPDEST 000020be: DUP2 000020bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d4: AND 000020d5: DUP4 000020d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020eb: AND 000020ec: EQ 000020ed: PUSH2 0x20fa 000020f0: JUMPI 000020f1: PUSH2 0x20fa 000020f4: DUP4 000020f5: DUP3 000020f6: PUSH2 0x235a 000020f9: JUMP 000020fa: JUMPDEST 000020fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002110: DUP3 00002111: AND 00002112: PUSH2 0x211e 00002115: JUMPI 00002116: PUSH2 0x08e7 00002119: DUP2 0000211a: PUSH2 0x2411 0000211d: JUMP 0000211e: JUMPDEST 0000211f: DUP3 00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002135: AND 00002136: DUP3 00002137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000214c: AND 0000214d: EQ 0000214e: PUSH2 0x08e7 00002151: JUMPI 00002152: PUSH2 0x08e7 00002155: DUP3 00002156: DUP3 00002157: PUSH2 0x24c0 0000215a: JUMP 0000215b: JUMPDEST 0000215c: PUSH1 0x00 0000215e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002173: DUP5 00002174: AND 00002175: EXTCODESIZE 00002176: ISZERO 00002177: PUSH2 0x234f 0000217a: JUMPI 0000217b: PUSH1 0x40 0000217d: MLOAD 0000217e: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 0000219f: DUP2 000021a0: MSTORE 000021a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021b6: DUP6 000021b7: AND 000021b8: SWAP1 000021b9: PUSH4 0x150b7a02 000021be: SWAP1 000021bf: PUSH2 0x21d2 000021c2: SWAP1 000021c3: CALLER 000021c4: SWAP1 000021c5: DUP10 000021c6: SWAP1 000021c7: DUP9 000021c8: SWAP1 000021c9: DUP9 000021ca: SWAP1 000021cb: PUSH1 0x04 000021cd: ADD 000021ce: PUSH2 0x28b9 000021d1: JUMP 000021d2: JUMPDEST 000021d3: PUSH1 0x20 000021d5: PUSH1 0x40 000021d7: MLOAD 000021d8: DUP1 000021d9: DUP4 000021da: SUB 000021db: DUP2 000021dc: PUSH1 0x00 000021de: DUP8 000021df: DUP1 000021e0: EXTCODESIZE 000021e1: ISZERO 000021e2: DUP1 000021e3: ISZERO 000021e4: PUSH2 0x21ec 000021e7: JUMPI 000021e8: PUSH1 0x00 000021ea: DUP1 000021eb: REVERT 000021ec: JUMPDEST 000021ed: POP 000021ee: GAS 000021ef: CALL 000021f0: SWAP3 000021f1: POP 000021f2: POP 000021f3: POP 000021f4: DUP1 000021f5: ISZERO 000021f6: PUSH2 0x223a 000021f9: JUMPI 000021fa: POP 000021fb: PUSH1 0x40 000021fd: DUP1 000021fe: MLOAD 000021ff: PUSH1 0x1f 00002201: RETURNDATASIZE 00002202: SWAP1 00002203: DUP2 00002204: ADD 00002205: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002226: AND 00002227: DUP3 00002228: ADD 00002229: SWAP1 0000222a: SWAP3 0000222b: MSTORE 0000222c: PUSH2 0x2237 0000222f: SWAP2 00002230: DUP2 00002231: ADD 00002232: SWAP1 00002233: PUSH2 0x280a 00002236: JUMP 00002237: JUMPDEST 00002238: PUSH1 0x01 0000223a: JUMPDEST 0000223b: PUSH2 0x2304 0000223e: JUMPI 0000223f: RETURNDATASIZE 00002240: DUP1 00002241: DUP1 00002242: ISZERO 00002243: PUSH2 0x2268 00002246: JUMPI 00002247: PUSH1 0x40 00002249: MLOAD 0000224a: SWAP2 0000224b: POP 0000224c: PUSH1 0x1f 0000224e: NOT 0000224f: PUSH1 0x3f 00002251: RETURNDATASIZE 00002252: ADD 00002253: AND 00002254: DUP3 00002255: ADD 00002256: PUSH1 0x40 00002258: MSTORE 00002259: RETURNDATASIZE 0000225a: DUP3 0000225b: MSTORE 0000225c: RETURNDATASIZE 0000225d: PUSH1 0x00 0000225f: PUSH1 0x20 00002261: DUP5 00002262: ADD 00002263: RETURNDATACOPY 00002264: PUSH2 0x226d 00002267: JUMP 00002268: JUMPDEST 00002269: PUSH1 0x60 0000226b: SWAP2 0000226c: POP 0000226d: JUMPDEST 0000226e: POP 0000226f: DUP1 00002270: MLOAD 00002271: PUSH2 0x22fc 00002274: JUMPI 00002275: PUSH1 0x40 00002277: MLOAD 00002278: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002299: DUP2 0000229a: MSTORE 0000229b: PUSH1 0x20 0000229d: PUSH1 0x04 0000229f: DUP3 000022a0: ADD 000022a1: MSTORE 000022a2: PUSH1 0x32 000022a4: PUSH1 0x24 000022a6: DUP3 000022a7: ADD 000022a8: MSTORE 000022a9: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 000022ca: PUSH1 0x44 000022cc: DUP3 000022cd: ADD 000022ce: MSTORE 000022cf: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 000022f0: PUSH1 0x64 000022f2: DUP3 000022f3: ADD 000022f4: MSTORE 000022f5: PUSH1 0x84 000022f7: ADD 000022f8: PUSH2 0x072d 000022fb: JUMP 000022fc: JUMPDEST 000022fd: DUP1 000022fe: MLOAD 000022ff: DUP2 00002300: PUSH1 0x20 00002302: ADD 00002303: REVERT 00002304: JUMPDEST 00002305: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002326: AND 00002327: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00002348: EQ 00002349: SWAP1 0000234a: POP 0000234b: PUSH2 0x1a29 0000234e: JUMP 0000234f: JUMPDEST 00002350: POP 00002351: PUSH1 0x01 00002353: SWAP5 00002354: SWAP4 00002355: POP 00002356: POP 00002357: POP 00002358: POP 00002359: JUMP 0000235a: JUMPDEST 0000235b: PUSH1 0x00 0000235d: PUSH1 0x01 0000235f: PUSH2 0x2367 00002362: DUP5 00002363: PUSH2 0x0f3c 00002366: JUMP 00002367: JUMPDEST 00002368: PUSH2 0x2371 0000236b: SWAP2 0000236c: SWAP1 0000236d: PUSH2 0x2a25 00002370: JUMP 00002371: JUMPDEST 00002372: PUSH1 0x00 00002374: DUP4 00002375: DUP2 00002376: MSTORE 00002377: PUSH1 0x07 00002379: PUSH1 0x20 0000237b: MSTORE 0000237c: PUSH1 0x40 0000237e: SWAP1 0000237f: KECCAK256 00002380: SLOAD 00002381: SWAP1 00002382: SWAP2 00002383: POP 00002384: DUP1 00002385: DUP3 00002386: EQ 00002387: PUSH2 0x23d1 0000238a: JUMPI 0000238b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023a0: DUP5 000023a1: AND 000023a2: PUSH1 0x00 000023a4: SWAP1 000023a5: DUP2 000023a6: MSTORE 000023a7: PUSH1 0x06 000023a9: PUSH1 0x20 000023ab: SWAP1 000023ac: DUP2 000023ad: MSTORE 000023ae: PUSH1 0x40 000023b0: DUP1 000023b1: DUP4 000023b2: KECCAK256 000023b3: DUP6 000023b4: DUP5 000023b5: MSTORE 000023b6: DUP3 000023b7: MSTORE 000023b8: DUP1 000023b9: DUP4 000023ba: KECCAK256 000023bb: SLOAD 000023bc: DUP5 000023bd: DUP5 000023be: MSTORE 000023bf: DUP2 000023c0: DUP5 000023c1: KECCAK256 000023c2: DUP2 000023c3: SWAP1 000023c4: SSTORE 000023c5: DUP4 000023c6: MSTORE 000023c7: PUSH1 0x07 000023c9: SWAP1 000023ca: SWAP2 000023cb: MSTORE 000023cc: SWAP1 000023cd: KECCAK256 000023ce: DUP2 000023cf: SWAP1 000023d0: SSTORE 000023d1: JUMPDEST 000023d2: POP 000023d3: PUSH1 0x00 000023d5: SWAP2 000023d6: DUP3 000023d7: MSTORE 000023d8: PUSH1 0x07 000023da: PUSH1 0x20 000023dc: SWAP1 000023dd: DUP2 000023de: MSTORE 000023df: PUSH1 0x40 000023e1: DUP1 000023e2: DUP5 000023e3: KECCAK256 000023e4: DUP5 000023e5: SWAP1 000023e6: SSTORE 000023e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023fc: SWAP1 000023fd: SWAP5 000023fe: AND 000023ff: DUP4 00002400: MSTORE 00002401: PUSH1 0x06 00002403: DUP2 00002404: MSTORE 00002405: DUP4 00002406: DUP4 00002407: KECCAK256 00002408: SWAP2 00002409: DUP4 0000240a: MSTORE 0000240b: MSTORE 0000240c: SWAP1 0000240d: DUP2 0000240e: KECCAK256 0000240f: SSTORE 00002410: JUMP 00002411: JUMPDEST 00002412: PUSH1 0x08 00002414: SLOAD 00002415: PUSH1 0x00 00002417: SWAP1 00002418: PUSH2 0x2423 0000241b: SWAP1 0000241c: PUSH1 0x01 0000241e: SWAP1 0000241f: PUSH2 0x2a25 00002422: JUMP 00002423: JUMPDEST 00002424: PUSH1 0x00 00002426: DUP4 00002427: DUP2 00002428: MSTORE 00002429: PUSH1 0x09 0000242b: PUSH1 0x20 0000242d: MSTORE 0000242e: PUSH1 0x40 00002430: DUP2 00002431: KECCAK256 00002432: SLOAD 00002433: PUSH1 0x08 00002435: DUP1 00002436: SLOAD 00002437: SWAP4 00002438: SWAP5 00002439: POP 0000243a: SWAP1 0000243b: SWAP3 0000243c: DUP5 0000243d: SWAP1 0000243e: DUP2 0000243f: LT 00002440: PUSH2 0x244b 00002443: JUMPI 00002444: PUSH2 0x244b 00002447: PUSH2 0x2b96 0000244a: JUMP 0000244b: JUMPDEST 0000244c: SWAP1 0000244d: PUSH1 0x00 0000244f: MSTORE 00002450: PUSH1 0x20 00002452: PUSH1 0x00 00002454: KECCAK256 00002455: ADD 00002456: SLOAD 00002457: SWAP1 00002458: POP 00002459: DUP1 0000245a: PUSH1 0x08 0000245c: DUP4 0000245d: DUP2 0000245e: SLOAD 0000245f: DUP2 00002460: LT 00002461: PUSH2 0x246c 00002464: JUMPI 00002465: PUSH2 0x246c 00002468: PUSH2 0x2b96 0000246b: JUMP 0000246c: JUMPDEST 0000246d: PUSH1 0x00 0000246f: SWAP2 00002470: DUP3 00002471: MSTORE 00002472: PUSH1 0x20 00002474: DUP1 00002475: DUP4 00002476: KECCAK256 00002477: SWAP1 00002478: SWAP2 00002479: ADD 0000247a: SWAP3 0000247b: SWAP1 0000247c: SWAP3 0000247d: SSTORE 0000247e: DUP3 0000247f: DUP2 00002480: MSTORE 00002481: PUSH1 0x09 00002483: SWAP1 00002484: SWAP2 00002485: MSTORE 00002486: PUSH1 0x40 00002488: DUP1 00002489: DUP3 0000248a: KECCAK256 0000248b: DUP5 0000248c: SWAP1 0000248d: SSTORE 0000248e: DUP6 0000248f: DUP3 00002490: MSTORE 00002491: DUP2 00002492: KECCAK256 00002493: SSTORE 00002494: PUSH1 0x08 00002496: DUP1 00002497: SLOAD 00002498: DUP1 00002499: PUSH2 0x24a4 0000249c: JUMPI 0000249d: PUSH2 0x24a4 000024a0: PUSH2 0x2b67 000024a3: JUMP 000024a4: JUMPDEST 000024a5: PUSH1 0x01 000024a7: SWAP1 000024a8: SUB 000024a9: DUP2 000024aa: DUP2 000024ab: SWAP1 000024ac: PUSH1 0x00 000024ae: MSTORE 000024af: PUSH1 0x20 000024b1: PUSH1 0x00 000024b3: KECCAK256 000024b4: ADD 000024b5: PUSH1 0x00 000024b7: SWAP1 000024b8: SSTORE 000024b9: SWAP1 000024ba: SSTORE 000024bb: POP 000024bc: POP 000024bd: POP 000024be: POP 000024bf: JUMP 000024c0: JUMPDEST 000024c1: PUSH1 0x00 000024c3: PUSH2 0x24cb 000024c6: DUP4 000024c7: PUSH2 0x0f3c 000024ca: JUMP 000024cb: JUMPDEST 000024cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024e1: SWAP1 000024e2: SWAP4 000024e3: AND 000024e4: PUSH1 0x00 000024e6: SWAP1 000024e7: DUP2 000024e8: MSTORE 000024e9: PUSH1 0x06 000024eb: PUSH1 0x20 000024ed: SWAP1 000024ee: DUP2 000024ef: MSTORE 000024f0: PUSH1 0x40 000024f2: DUP1 000024f3: DUP4 000024f4: KECCAK256 000024f5: DUP7 000024f6: DUP5 000024f7: MSTORE 000024f8: DUP3 000024f9: MSTORE 000024fa: DUP1 000024fb: DUP4 000024fc: KECCAK256 000024fd: DUP6 000024fe: SWAP1 000024ff: SSTORE 00002500: SWAP4 00002501: DUP3 00002502: MSTORE 00002503: PUSH1 0x07 00002505: SWAP1 00002506: MSTORE 00002507: SWAP2 00002508: SWAP1 00002509: SWAP2 0000250a: KECCAK256 0000250b: SWAP2 0000250c: SWAP1 0000250d: SWAP2 0000250e: SSTORE 0000250f: POP 00002510: JUMP 00002511: JUMPDEST 00002512: PUSH1 0x40 00002514: MLOAD 00002515: DUP1 00002516: PUSH2 0x0140 00002519: ADD 0000251a: PUSH1 0x40 0000251c: MSTORE 0000251d: DUP1 0000251e: PUSH1 0x0a 00002520: SWAP1 00002521: PUSH1 0x20 00002523: DUP3 00002524: MUL 00002525: DUP1 00002526: CALLDATASIZE 00002527: DUP4 00002528: CALLDATACOPY 00002529: POP 0000252a: SWAP2 0000252b: SWAP3 0000252c: SWAP2 0000252d: POP 0000252e: POP 0000252f: JUMP 00002530: JUMPDEST 00002531: DUP1 00002532: CALLDATALOAD 00002533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002548: DUP2 00002549: AND 0000254a: DUP2 0000254b: EQ 0000254c: PUSH2 0x2554 0000254f: JUMPI 00002550: PUSH1 0x00 00002552: DUP1 00002553: REVERT 00002554: JUMPDEST 00002555: SWAP2 00002556: SWAP1 00002557: POP 00002558: JUMP 00002559: JUMPDEST 0000255a: DUP1 0000255b: CALLDATALOAD 0000255c: DUP1 0000255d: ISZERO 0000255e: ISZERO 0000255f: DUP2 00002560: EQ 00002561: PUSH2 0x2554 00002564: JUMPI 00002565: PUSH1 0x00 00002567: DUP1 00002568: REVERT 00002569: JUMPDEST 0000256a: PUSH1 0x00 0000256c: PUSH1 0x20 0000256e: DUP3 0000256f: DUP5 00002570: SUB 00002571: SLT 00002572: ISZERO 00002573: PUSH2 0x257b 00002576: JUMPI 00002577: PUSH1 0x00 00002579: DUP1 0000257a: REVERT 0000257b: JUMPDEST 0000257c: PUSH2 0x1429 0000257f: DUP3 00002580: PUSH2 0x2530 00002583: JUMP 00002584: JUMPDEST 00002585: PUSH1 0x00 00002587: DUP1 00002588: PUSH1 0x40 0000258a: DUP4 0000258b: DUP6 0000258c: SUB 0000258d: SLT 0000258e: ISZERO 0000258f: PUSH2 0x2597 00002592: JUMPI 00002593: PUSH1 0x00 00002595: DUP1 00002596: REVERT 00002597: JUMPDEST 00002598: PUSH2 0x25a0 0000259b: DUP4 0000259c: PUSH2 0x2530 0000259f: JUMP 000025a0: JUMPDEST 000025a1: SWAP2 000025a2: POP 000025a3: PUSH2 0x25ae 000025a6: PUSH1 0x20 000025a8: DUP5 000025a9: ADD 000025aa: PUSH2 0x2530 000025ad: JUMP 000025ae: JUMPDEST 000025af: SWAP1 000025b0: POP 000025b1: SWAP3 000025b2: POP 000025b3: SWAP3 000025b4: SWAP1 000025b5: POP 000025b6: JUMP 000025b7: JUMPDEST 000025b8: PUSH1 0x00 000025ba: DUP1 000025bb: PUSH1 0x00 000025bd: PUSH1 0x60 000025bf: DUP5 000025c0: DUP7 000025c1: SUB 000025c2: SLT 000025c3: ISZERO 000025c4: PUSH2 0x25cc 000025c7: JUMPI 000025c8: PUSH1 0x00 000025ca: DUP1 000025cb: REVERT 000025cc: JUMPDEST 000025cd: PUSH2 0x25d5 000025d0: DUP5 000025d1: PUSH2 0x2530 000025d4: JUMP 000025d5: JUMPDEST 000025d6: SWAP3 000025d7: POP 000025d8: PUSH2 0x25e3 000025db: PUSH1 0x20 000025dd: DUP6 000025de: ADD 000025df: PUSH2 0x2530 000025e2: JUMP 000025e3: JUMPDEST 000025e4: SWAP2 000025e5: POP 000025e6: PUSH1 0x40 000025e8: DUP5 000025e9: ADD 000025ea: CALLDATALOAD 000025eb: SWAP1 000025ec: POP 000025ed: SWAP3 000025ee: POP 000025ef: SWAP3 000025f0: POP 000025f1: SWAP3 000025f2: JUMP 000025f3: JUMPDEST 000025f4: PUSH1 0x00 000025f6: DUP1 000025f7: PUSH1 0x00 000025f9: DUP1 000025fa: PUSH1 0x80 000025fc: DUP6 000025fd: DUP8 000025fe: SUB 000025ff: SLT 00002600: ISZERO 00002601: PUSH2 0x2609 00002604: JUMPI 00002605: PUSH1 0x00 00002607: DUP1 00002608: REVERT 00002609: JUMPDEST 0000260a: PUSH2 0x2612 0000260d: DUP6 0000260e: PUSH2 0x2530 00002611: JUMP 00002612: JUMPDEST 00002613: SWAP4 00002614: POP 00002615: PUSH1 0x20 00002617: PUSH2 0x2621 0000261a: DUP2 0000261b: DUP8 0000261c: ADD 0000261d: PUSH2 0x2530 00002620: JUMP 00002621: JUMPDEST 00002622: SWAP4 00002623: POP 00002624: PUSH1 0x40 00002626: DUP7 00002627: ADD 00002628: CALLDATALOAD 00002629: SWAP3 0000262a: POP 0000262b: PUSH1 0x60 0000262d: DUP7 0000262e: ADD 0000262f: CALLDATALOAD 00002630: PUSH8 0xffffffffffffffff 00002639: DUP1 0000263a: DUP3 0000263b: GT 0000263c: ISZERO 0000263d: PUSH2 0x2645 00002640: JUMPI 00002641: PUSH1 0x00 00002643: DUP1 00002644: REVERT 00002645: JUMPDEST 00002646: DUP2 00002647: DUP9 00002648: ADD 00002649: SWAP2 0000264a: POP 0000264b: DUP9 0000264c: PUSH1 0x1f 0000264e: DUP4 0000264f: ADD 00002650: SLT 00002651: PUSH2 0x2659 00002654: JUMPI 00002655: PUSH1 0x00 00002657: DUP1 00002658: REVERT 00002659: JUMPDEST 0000265a: DUP2 0000265b: CALLDATALOAD 0000265c: DUP2 0000265d: DUP2 0000265e: GT 0000265f: ISZERO 00002660: PUSH2 0x266b 00002663: JUMPI 00002664: PUSH2 0x266b 00002667: PUSH2 0x2bc5 0000266a: JUMP 0000266b: JUMPDEST 0000266c: PUSH2 0x269b 0000266f: DUP5 00002670: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002691: PUSH1 0x1f 00002693: DUP5 00002694: ADD 00002695: AND 00002696: ADD 00002697: PUSH2 0x296d 0000269a: JUMP 0000269b: JUMPDEST 0000269c: SWAP2 0000269d: POP 0000269e: DUP1 0000269f: DUP3 000026a0: MSTORE 000026a1: DUP10 000026a2: DUP5 000026a3: DUP3 000026a4: DUP6 000026a5: ADD 000026a6: ADD 000026a7: GT 000026a8: ISZERO 000026a9: PUSH2 0x26b1 000026ac: JUMPI 000026ad: PUSH1 0x00 000026af: DUP1 000026b0: REVERT 000026b1: JUMPDEST 000026b2: DUP1 000026b3: DUP5 000026b4: DUP5 000026b5: ADD 000026b6: DUP6 000026b7: DUP5 000026b8: ADD 000026b9: CALLDATACOPY 000026ba: PUSH1 0x00 000026bc: DUP5 000026bd: DUP3 000026be: DUP5 000026bf: ADD 000026c0: ADD 000026c1: MSTORE 000026c2: POP 000026c3: DUP1 000026c4: SWAP4 000026c5: POP 000026c6: POP 000026c7: POP 000026c8: POP 000026c9: SWAP3 000026ca: SWAP6 000026cb: SWAP2 000026cc: SWAP5 000026cd: POP 000026ce: SWAP3 000026cf: POP 000026d0: JUMP 000026d1: JUMPDEST 000026d2: PUSH1 0x00 000026d4: DUP1 000026d5: PUSH1 0x40 000026d7: DUP4 000026d8: DUP6 000026d9: SUB 000026da: SLT 000026db: ISZERO 000026dc: PUSH2 0x26e4 000026df: JUMPI 000026e0: PUSH1 0x00 000026e2: DUP1 000026e3: REVERT 000026e4: JUMPDEST 000026e5: PUSH2 0x26ed 000026e8: DUP4 000026e9: PUSH2 0x2530 000026ec: JUMP 000026ed: JUMPDEST 000026ee: SWAP2 000026ef: POP 000026f0: PUSH2 0x25ae 000026f3: PUSH1 0x20 000026f5: DUP5 000026f6: ADD 000026f7: PUSH2 0x2559 000026fa: JUMP 000026fb: JUMPDEST 000026fc: PUSH1 0x00 000026fe: DUP1 000026ff: PUSH1 0x40 00002701: DUP4 00002702: DUP6 00002703: SUB 00002704: SLT 00002705: ISZERO 00002706: PUSH2 0x270e 00002709: JUMPI 0000270a: PUSH1 0x00 0000270c: DUP1 0000270d: REVERT 0000270e: JUMPDEST 0000270f: PUSH2 0x2717 00002712: DUP4 00002713: PUSH2 0x2530 00002716: JUMP 00002717: JUMPDEST 00002718: SWAP5 00002719: PUSH1 0x20 0000271b: SWAP4 0000271c: SWAP1 0000271d: SWAP4 0000271e: ADD 0000271f: CALLDATALOAD 00002720: SWAP4 00002721: POP 00002722: POP 00002723: POP 00002724: JUMP 00002725: JUMPDEST 00002726: PUSH1 0x00 00002728: PUSH1 0x20 0000272a: DUP1 0000272b: DUP4 0000272c: DUP6 0000272d: SUB 0000272e: SLT 0000272f: ISZERO 00002730: PUSH2 0x2738 00002733: JUMPI 00002734: PUSH1 0x00 00002736: DUP1 00002737: REVERT 00002738: JUMPDEST 00002739: DUP3 0000273a: CALLDATALOAD 0000273b: PUSH8 0xffffffffffffffff 00002744: DUP1 00002745: DUP3 00002746: GT 00002747: ISZERO 00002748: PUSH2 0x2750 0000274b: JUMPI 0000274c: PUSH1 0x00 0000274e: DUP1 0000274f: REVERT 00002750: JUMPDEST 00002751: DUP2 00002752: DUP6 00002753: ADD 00002754: SWAP2 00002755: POP 00002756: DUP6 00002757: PUSH1 0x1f 00002759: DUP4 0000275a: ADD 0000275b: SLT 0000275c: PUSH2 0x2764 0000275f: JUMPI 00002760: PUSH1 0x00 00002762: DUP1 00002763: REVERT 00002764: JUMPDEST 00002765: DUP2 00002766: CALLDATALOAD 00002767: DUP2 00002768: DUP2 00002769: GT 0000276a: ISZERO 0000276b: PUSH2 0x2776 0000276e: JUMPI 0000276f: PUSH2 0x2776 00002772: PUSH2 0x2bc5 00002775: JUMP 00002776: JUMPDEST 00002777: DUP1 00002778: PUSH1 0x05 0000277a: SHL 0000277b: SWAP2 0000277c: POP 0000277d: PUSH2 0x2787 00002780: DUP5 00002781: DUP4 00002782: ADD 00002783: PUSH2 0x296d 00002786: JUMP 00002787: JUMPDEST 00002788: DUP2 00002789: DUP2 0000278a: MSTORE 0000278b: DUP5 0000278c: DUP2 0000278d: ADD 0000278e: SWAP1 0000278f: DUP5 00002790: DUP7 00002791: ADD 00002792: DUP5 00002793: DUP7 00002794: ADD 00002795: DUP8 00002796: ADD 00002797: DUP11 00002798: LT 00002799: ISZERO 0000279a: PUSH2 0x27a2 0000279d: JUMPI 0000279e: PUSH1 0x00 000027a0: DUP1 000027a1: REVERT 000027a2: JUMPDEST 000027a3: PUSH1 0x00 000027a5: SWAP6 000027a6: POP 000027a7: JUMPDEST 000027a8: DUP4 000027a9: DUP7 000027aa: LT 000027ab: ISZERO 000027ac: PUSH2 0x27c5 000027af: JUMPI 000027b0: DUP1 000027b1: CALLDATALOAD 000027b2: DUP4 000027b3: MSTORE 000027b4: PUSH1 0x01 000027b6: SWAP6 000027b7: SWAP1 000027b8: SWAP6 000027b9: ADD 000027ba: SWAP5 000027bb: SWAP2 000027bc: DUP7 000027bd: ADD 000027be: SWAP2 000027bf: DUP7 000027c0: ADD 000027c1: PUSH2 0x27a7 000027c4: JUMP 000027c5: JUMPDEST 000027c6: POP 000027c7: SWAP9 000027c8: SWAP8 000027c9: POP 000027ca: POP 000027cb: POP 000027cc: POP 000027cd: POP 000027ce: POP 000027cf: POP 000027d0: POP 000027d1: JUMP 000027d2: JUMPDEST 000027d3: PUSH1 0x00 000027d5: PUSH1 0x20 000027d7: DUP3 000027d8: DUP5 000027d9: SUB 000027da: SLT 000027db: ISZERO 000027dc: PUSH2 0x27e4 000027df: JUMPI 000027e0: PUSH1 0x00 000027e2: DUP1 000027e3: REVERT 000027e4: JUMPDEST 000027e5: PUSH2 0x1429 000027e8: DUP3 000027e9: PUSH2 0x2559 000027ec: JUMP 000027ed: JUMPDEST 000027ee: PUSH1 0x00 000027f0: PUSH1 0x20 000027f2: DUP3 000027f3: DUP5 000027f4: SUB 000027f5: SLT 000027f6: ISZERO 000027f7: PUSH2 0x27ff 000027fa: JUMPI 000027fb: PUSH1 0x00 000027fd: DUP1 000027fe: REVERT 000027ff: JUMPDEST 00002800: DUP2 00002801: CALLDATALOAD 00002802: PUSH2 0x1429 00002805: DUP2 00002806: PUSH2 0x2bf4 00002809: JUMP 0000280a: JUMPDEST 0000280b: PUSH1 0x00 0000280d: PUSH1 0x20 0000280f: DUP3 00002810: DUP5 00002811: SUB 00002812: SLT 00002813: ISZERO 00002814: PUSH2 0x281c 00002817: JUMPI 00002818: PUSH1 0x00 0000281a: DUP1 0000281b: REVERT 0000281c: JUMPDEST 0000281d: DUP2 0000281e: MLOAD 0000281f: PUSH2 0x1429 00002822: DUP2 00002823: PUSH2 0x2bf4 00002826: JUMP 00002827: JUMPDEST 00002828: PUSH1 0x00 0000282a: PUSH1 0x20 0000282c: DUP3 0000282d: DUP5 0000282e: SUB 0000282f: SLT 00002830: ISZERO 00002831: PUSH2 0x2839 00002834: JUMPI 00002835: PUSH1 0x00 00002837: DUP1 00002838: REVERT 00002839: JUMPDEST 0000283a: POP 0000283b: CALLDATALOAD 0000283c: SWAP2 0000283d: SWAP1 0000283e: POP 0000283f: JUMP 00002840: JUMPDEST 00002841: PUSH1 0x00 00002843: DUP2 00002844: MLOAD 00002845: DUP1 00002846: DUP5 00002847: MSTORE 00002848: PUSH2 0x2858 0000284b: DUP2 0000284c: PUSH1 0x20 0000284e: DUP7 0000284f: ADD 00002850: PUSH1 0x20 00002852: DUP7 00002853: ADD 00002854: PUSH2 0x2a3c 00002857: JUMP 00002858: JUMPDEST 00002859: PUSH1 0x1f 0000285b: ADD 0000285c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000287d: AND 0000287e: SWAP3 0000287f: SWAP1 00002880: SWAP3 00002881: ADD 00002882: PUSH1 0x20 00002884: ADD 00002885: SWAP3 00002886: SWAP2 00002887: POP 00002888: POP 00002889: JUMP 0000288a: JUMPDEST 0000288b: PUSH1 0x00 0000288d: DUP4 0000288e: MLOAD 0000288f: PUSH2 0x289c 00002892: DUP2 00002893: DUP5 00002894: PUSH1 0x20 00002896: DUP9 00002897: ADD 00002898: PUSH2 0x2a3c 0000289b: JUMP 0000289c: JUMPDEST 0000289d: DUP4 0000289e: MLOAD 0000289f: SWAP1 000028a0: DUP4 000028a1: ADD 000028a2: SWAP1 000028a3: PUSH2 0x28b0 000028a6: DUP2 000028a7: DUP4 000028a8: PUSH1 0x20 000028aa: DUP9 000028ab: ADD 000028ac: PUSH2 0x2a3c 000028af: JUMP 000028b0: JUMPDEST 000028b1: ADD 000028b2: SWAP5 000028b3: SWAP4 000028b4: POP 000028b5: POP 000028b6: POP 000028b7: POP 000028b8: JUMP 000028b9: JUMPDEST 000028ba: PUSH1 0x00 000028bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028d1: DUP1 000028d2: DUP8 000028d3: AND 000028d4: DUP4 000028d5: MSTORE 000028d6: DUP1 000028d7: DUP7 000028d8: AND 000028d9: PUSH1 0x20 000028db: DUP5 000028dc: ADD 000028dd: MSTORE 000028de: POP 000028df: DUP4 000028e0: PUSH1 0x40 000028e2: DUP4 000028e3: ADD 000028e4: MSTORE 000028e5: PUSH1 0x80 000028e7: PUSH1 0x60 000028e9: DUP4 000028ea: ADD 000028eb: MSTORE 000028ec: PUSH2 0x28f8 000028ef: PUSH1 0x80 000028f1: DUP4 000028f2: ADD 000028f3: DUP5 000028f4: PUSH2 0x2840 000028f7: JUMP 000028f8: JUMPDEST 000028f9: SWAP7 000028fa: SWAP6 000028fb: POP 000028fc: POP 000028fd: POP 000028fe: POP 000028ff: POP 00002900: POP 00002901: JUMP 00002902: JUMPDEST 00002903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002918: DUP5 00002919: AND 0000291a: DUP2 0000291b: MSTORE 0000291c: PUSH1 0x20 0000291e: DUP1 0000291f: DUP3 00002920: ADD 00002921: DUP5 00002922: SWAP1 00002923: MSTORE 00002924: PUSH2 0x0180 00002927: DUP3 00002928: ADD 00002929: SWAP1 0000292a: PUSH1 0x40 0000292c: DUP4 0000292d: ADD 0000292e: DUP5 0000292f: PUSH1 0x00 00002931: JUMPDEST 00002932: PUSH1 0x0a 00002934: DUP2 00002935: LT 00002936: ISZERO 00002937: PUSH2 0x294e 0000293a: JUMPI 0000293b: DUP2 0000293c: MLOAD 0000293d: DUP4 0000293e: MSTORE 0000293f: SWAP2 00002940: DUP4 00002941: ADD 00002942: SWAP2 00002943: SWAP1 00002944: DUP4 00002945: ADD 00002946: SWAP1 00002947: PUSH1 0x01 00002949: ADD 0000294a: PUSH2 0x2931 0000294d: JUMP 0000294e: JUMPDEST 0000294f: POP 00002950: POP 00002951: POP 00002952: POP 00002953: SWAP5 00002954: SWAP4 00002955: POP 00002956: POP 00002957: POP 00002958: POP 00002959: JUMP 0000295a: JUMPDEST 0000295b: PUSH1 0x20 0000295d: DUP2 0000295e: MSTORE 0000295f: PUSH1 0x00 00002961: PUSH2 0x1429 00002964: PUSH1 0x20 00002966: DUP4 00002967: ADD 00002968: DUP5 00002969: PUSH2 0x2840 0000296c: JUMP 0000296d: JUMPDEST 0000296e: PUSH1 0x40 00002970: MLOAD 00002971: PUSH1 0x1f 00002973: DUP3 00002974: ADD 00002975: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002996: AND 00002997: DUP2 00002998: ADD 00002999: PUSH8 0xffffffffffffffff 000029a2: DUP2 000029a3: GT 000029a4: DUP3 000029a5: DUP3 000029a6: LT 000029a7: OR 000029a8: ISZERO 000029a9: PUSH2 0x29b4 000029ac: JUMPI 000029ad: PUSH2 0x29b4 000029b0: PUSH2 0x2bc5 000029b3: JUMP 000029b4: JUMPDEST 000029b5: PUSH1 0x40 000029b7: MSTORE 000029b8: SWAP2 000029b9: SWAP1 000029ba: POP 000029bb: JUMP 000029bc: JUMPDEST 000029bd: PUSH1 0x00 000029bf: DUP3 000029c0: NOT 000029c1: DUP3 000029c2: GT 000029c3: ISZERO 000029c4: PUSH2 0x29cf 000029c7: JUMPI 000029c8: PUSH2 0x29cf 000029cb: PUSH2 0x2b09 000029ce: JUMP 000029cf: JUMPDEST 000029d0: POP 000029d1: ADD 000029d2: SWAP1 000029d3: JUMP 000029d4: JUMPDEST 000029d5: PUSH1 0x00 000029d7: DUP3 000029d8: PUSH2 0x29e3 000029db: JUMPI 000029dc: PUSH2 0x29e3 000029df: PUSH2 0x2b38 000029e2: JUMP 000029e3: JUMPDEST 000029e4: POP 000029e5: DIV 000029e6: SWAP1 000029e7: JUMP 000029e8: JUMPDEST 000029e9: PUSH1 0x00 000029eb: DUP2 000029ec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002a0d: DIV 00002a0e: DUP4 00002a0f: GT 00002a10: DUP3 00002a11: ISZERO 00002a12: ISZERO 00002a13: AND 00002a14: ISZERO 00002a15: PUSH2 0x2a20 00002a18: JUMPI 00002a19: PUSH2 0x2a20 00002a1c: PUSH2 0x2b09 00002a1f: JUMP 00002a20: JUMPDEST 00002a21: POP 00002a22: MUL 00002a23: SWAP1 00002a24: JUMP 00002a25: JUMPDEST 00002a26: PUSH1 0x00 00002a28: DUP3 00002a29: DUP3 00002a2a: LT 00002a2b: ISZERO 00002a2c: PUSH2 0x2a37 00002a2f: JUMPI 00002a30: PUSH2 0x2a37 00002a33: PUSH2 0x2b09 00002a36: JUMP 00002a37: JUMPDEST 00002a38: POP 00002a39: SUB 00002a3a: SWAP1 00002a3b: JUMP 00002a3c: JUMPDEST 00002a3d: PUSH1 0x00 00002a3f: JUMPDEST 00002a40: DUP4 00002a41: DUP2 00002a42: LT 00002a43: ISZERO 00002a44: PUSH2 0x2a57 00002a47: JUMPI 00002a48: DUP2 00002a49: DUP2 00002a4a: ADD 00002a4b: MLOAD 00002a4c: DUP4 00002a4d: DUP3 00002a4e: ADD 00002a4f: MSTORE 00002a50: PUSH1 0x20 00002a52: ADD 00002a53: PUSH2 0x2a3f 00002a56: JUMP 00002a57: JUMPDEST 00002a58: DUP4 00002a59: DUP2 00002a5a: GT 00002a5b: ISZERO 00002a5c: PUSH2 0x131a 00002a5f: JUMPI 00002a60: POP 00002a61: POP 00002a62: PUSH1 0x00 00002a64: SWAP2 00002a65: ADD 00002a66: MSTORE 00002a67: JUMP 00002a68: JUMPDEST 00002a69: PUSH1 0x01 00002a6b: DUP2 00002a6c: DUP2 00002a6d: SHR 00002a6e: SWAP1 00002a6f: DUP3 00002a70: AND 00002a71: DUP1 00002a72: PUSH2 0x2a7c 00002a75: JUMPI 00002a76: PUSH1 0x7f 00002a78: DUP3 00002a79: AND 00002a7a: SWAP2 00002a7b: POP 00002a7c: JUMPDEST 00002a7d: PUSH1 0x20 00002a7f: DUP3 00002a80: LT 00002a81: DUP2 00002a82: EQ 00002a83: ISZERO 00002a84: PUSH2 0x2ab6 00002a87: JUMPI 00002a88: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002aa9: PUSH1 0x00 00002aab: MSTORE 00002aac: PUSH1 0x22 00002aae: PUSH1 0x04 00002ab0: MSTORE 00002ab1: PUSH1 0x24 00002ab3: PUSH1 0x00 00002ab5: REVERT 00002ab6: JUMPDEST 00002ab7: POP 00002ab8: SWAP2 00002ab9: SWAP1 00002aba: POP 00002abb: JUMP 00002abc: JUMPDEST 00002abd: PUSH1 0x00 00002abf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002ae0: DUP3 00002ae1: EQ 00002ae2: ISZERO 00002ae3: PUSH2 0x2aee 00002ae6: JUMPI 00002ae7: PUSH2 0x2aee 00002aea: PUSH2 0x2b09 00002aed: JUMP 00002aee: JUMPDEST 00002aef: POP 00002af0: PUSH1 0x01 00002af2: ADD 00002af3: SWAP1 00002af4: JUMP 00002af5: JUMPDEST 00002af6: PUSH1 0x00 00002af8: DUP3 00002af9: PUSH2 0x2b04 00002afc: JUMPI 00002afd: PUSH2 0x2b04 00002b00: PUSH2 0x2b38 00002b03: JUMP 00002b04: JUMPDEST 00002b05: POP 00002b06: MOD 00002b07: SWAP1 00002b08: JUMP 00002b09: JUMPDEST 00002b0a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b2b: PUSH1 0x00 00002b2d: MSTORE 00002b2e: PUSH1 0x11 00002b30: PUSH1 0x04 00002b32: MSTORE 00002b33: PUSH1 0x24 00002b35: PUSH1 0x00 00002b37: REVERT 00002b38: JUMPDEST 00002b39: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b5a: PUSH1 0x00 00002b5c: MSTORE 00002b5d: PUSH1 0x12 00002b5f: PUSH1 0x04 00002b61: MSTORE 00002b62: PUSH1 0x24 00002b64: PUSH1 0x00 00002b66: REVERT 00002b67: JUMPDEST 00002b68: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b89: PUSH1 0x00 00002b8b: MSTORE 00002b8c: PUSH1 0x31 00002b8e: PUSH1 0x04 00002b90: MSTORE 00002b91: PUSH1 0x24 00002b93: PUSH1 0x00 00002b95: REVERT 00002b96: JUMPDEST 00002b97: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002bb8: PUSH1 0x00 00002bba: MSTORE 00002bbb: PUSH1 0x32 00002bbd: PUSH1 0x04 00002bbf: MSTORE 00002bc0: PUSH1 0x24 00002bc2: PUSH1 0x00 00002bc4: REVERT 00002bc5: JUMPDEST 00002bc6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002be7: PUSH1 0x00 00002be9: MSTORE 00002bea: PUSH1 0x41 00002bec: PUSH1 0x04 00002bee: MSTORE 00002bef: PUSH1 0x24 00002bf1: PUSH1 0x00 00002bf3: REVERT 00002bf4: JUMPDEST 00002bf5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002c16: DUP2 00002c17: AND 00002c18: DUP2 00002c19: EQ 00002c1a: PUSH2 0x0d9f 00002c1d: JUMPI 00002c1e: PUSH1 0x00 00002c20: DUP1 00002c21: REVERT 00002c22: INVALID 00002c23: LOG2 00002c24: PUSH5 0x6970667358 00002c2a: UNKNOWN(0x22) 00002c2b: SLT 00002c2c: KECCAK256 00002c2d: UNKNOWN(0xE3) 00002c2e: DUP11 00002c2f: UNKNOWN(0x24) 00002c30: UNKNOWN(0xA6) 00002c31: PUSH16 0x18af6bc6cf759e4172f73cdf7009799f 00002c42: DUP3 00002c43: EXTCODECOPY 00002c44: EXTCODEHASH 00002c45: ADDMOD 00002c46: UNKNOWN(0xAA) 00002c47: UNKNOWN(0xC3) 00002c48: LOG4 00002c49: UNKNOWN(0xFC) 00002c4a: UNKNOWN(0x29) 00002c4b: CLZ 00002c4c: UNKNOWN(0xC2) 00002c4d: PUSH5 0x736f6c6343 00002c53: STOP 00002c54: ADDMOD 00002c55: MOD 00002c56: STOP 00002c57: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9ae3b9788a6149ffc7828ea30f650d6d8ab9f2a0917394c5afdcfdbad14ac3a7
call_targets:
0xef81c2c98cb9718003a89908e6bd1a5fa8a098a3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ae3b9788a6149ffc7828ea30f650d6d8ab9f2a0917394c5afdcfdbad14ac3a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xef81c2c98cb9718003a89908e6bd1a5fa8a098a3"
],
"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": "0xbd43abc7",
"selector": "0xbd43abc7",
"calldata_variants": [
"0xbd43abc7",
"0xbd43abc70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2089,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2446,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3077,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4107,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9ae3b9788a6149ffc7828ea30f650d6d8ab9f2a0917394c5afdcfdbad14ac3a7
call_targets:
0xef81c2c98cb9718003a89908e6bd1a5fa8a098a3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ae3b9788a6149ffc7828ea30f650d6d8ab9f2a0917394c5afdcfdbad14ac3a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xef81c2c98cb9718003a89908e6bd1a5fa8a098a3"
],
"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": "0xbd43abc7",
"selector": "0xbd43abc7",
"calldata_variants": [
"0xbd43abc7",
"0xbd43abc70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd96a094a",
"selector": "0xd96a094a",
"calldata_variants": [
"0xd96a094a",
"0xd96a094a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2089,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2446,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3077,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3285,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4107,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|