019b3844-bab4-71e0-8897-6404cf0b58af
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 |
|---|---|---|---|---|
| 20067 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20068 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 110350 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110351 | capability.graph | complete | 1 / 3 | 1 week ago |
| 110352 | detector.run | complete | 1 / 3 | 1 week ago |
| 110353 | validation.fork | complete | 1 / 3 | 1 week 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 0x0166 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6352211e 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa035b1fe 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb88d4fde 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb88d4fde 0000003a: EQ 0000003b: PUSH2 0x03f4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc87b56dd 00000045: EQ 00000046: PUSH2 0x0414 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x0434 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x047d 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa035b1fe 0000006b: EQ 0000006c: PUSH2 0x03ab 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa0712d68 00000076: EQ 00000077: PUSH2 0x03c1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa22cb465 00000081: EQ 00000082: PUSH2 0x03d4 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x6352211e 00000091: EQ 00000092: PUSH2 0x0308 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x70a08231 0000009c: EQ 0000009d: PUSH2 0x0328 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x715018a6 000000a7: EQ 000000a8: PUSH2 0x0348 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x035d 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8f770ad0 000000bd: EQ 000000be: PUSH2 0x0380 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x95d89b41 000000c8: EQ 000000c9: PUSH2 0x0396 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x23b872dd 000000d8: GT 000000d9: PUSH2 0x0123 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x23b872dd 000000e3: EQ 000000e4: PUSH2 0x025b 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2f745c59 000000ee: EQ 000000ef: PUSH2 0x027b 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x3ccfd60b 000000f9: EQ 000000fa: PUSH2 0x029b 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x42842e0e 00000104: EQ 00000105: PUSH2 0x02b0 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x4f6ccce7 0000010f: EQ 00000110: PUSH2 0x02d0 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x5c975abb 0000011a: EQ 0000011b: PUSH2 0x02f0 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: DUP1 00000125: PUSH4 0x01ffc9a7 0000012a: EQ 0000012b: PUSH2 0x016b 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x02329a29 00000135: EQ 00000136: PUSH2 0x01a0 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x06fdde03 00000140: EQ 00000141: PUSH2 0x01c2 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x081812fc 0000014b: EQ 0000014c: PUSH2 0x01e4 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x095ea7b3 00000156: EQ 00000157: PUSH2 0x021c 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x18160ddd 00000161: EQ 00000162: PUSH2 0x023c 00000165: JUMPI 00000166: JUMPDEST 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: POP 00000179: PUSH2 0x018b 0000017c: PUSH2 0x0186 0000017f: CALLDATASIZE 00000180: PUSH1 0x04 00000182: PUSH2 0x19a2 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x049d 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: SWAP1 00000190: ISZERO 00000191: ISZERO 00000192: DUP2 00000193: MSTORE 00000194: PUSH1 0x20 00000196: ADD 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: SWAP2 0000019d: SUB 0000019e: SWAP1 0000019f: RETURN 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x01c0 000001b1: PUSH2 0x01bb 000001b4: CALLDATASIZE 000001b5: PUSH1 0x04 000001b7: PUSH2 0x19db 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x04c8 000001bf: JUMP 000001c0: JUMPDEST 000001c1: STOP 000001c2: JUMPDEST 000001c3: CALLVALUE 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01ce 000001c9: JUMPI 000001ca: PUSH1 0x00 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: POP 000001d0: PUSH2 0x01d7 000001d3: PUSH2 0x04ed 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: PUSH2 0x0197 000001de: SWAP2 000001df: SWAP1 000001e0: PUSH2 0x1a46 000001e3: JUMP 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: POP 000001f2: PUSH2 0x0204 000001f5: PUSH2 0x01ff 000001f8: CALLDATASIZE 000001f9: PUSH1 0x04 000001fb: PUSH2 0x1a59 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x057f 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: MLOAD 00000208: PUSH1 0x01 0000020a: PUSH1 0x01 0000020c: PUSH1 0xa0 0000020e: SHL 0000020f: SUB 00000210: SWAP1 00000211: SWAP2 00000212: AND 00000213: DUP2 00000214: MSTORE 00000215: PUSH1 0x20 00000217: ADD 00000218: PUSH2 0x0197 0000021b: JUMP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x01c0 0000022d: PUSH2 0x0237 00000230: CALLDATASIZE 00000231: PUSH1 0x04 00000233: PUSH2 0x1a89 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH2 0x05a6 0000023b: JUMP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH1 0x08 0000024c: SLOAD 0000024d: JUMPDEST 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: SWAP1 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x20 00000256: ADD 00000257: PUSH2 0x0197 0000025a: JUMP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x01c0 0000026c: PUSH2 0x0276 0000026f: CALLDATASIZE 00000270: PUSH1 0x04 00000272: PUSH2 0x1ab3 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x06c0 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x024d 0000028c: PUSH2 0x0296 0000028f: CALLDATASIZE 00000290: PUSH1 0x04 00000292: PUSH2 0x1a89 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x06f1 0000029a: JUMP 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: POP 000002a9: PUSH2 0x01c0 000002ac: PUSH2 0x0787 000002af: JUMP 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: DUP1 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x01c0 000002c1: PUSH2 0x02cb 000002c4: CALLDATASIZE 000002c5: PUSH1 0x04 000002c7: PUSH2 0x1ab3 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x07bb 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH2 0x024d 000002e1: PUSH2 0x02eb 000002e4: CALLDATASIZE 000002e5: PUSH1 0x04 000002e7: PUSH2 0x1a59 000002ea: JUMP 000002eb: JUMPDEST 000002ec: PUSH2 0x07d6 000002ef: JUMP 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: DUP1 000002f3: ISZERO 000002f4: PUSH2 0x02fc 000002f7: JUMPI 000002f8: PUSH1 0x00 000002fa: DUP1 000002fb: REVERT 000002fc: JUMPDEST 000002fd: POP 000002fe: PUSH1 0x0b 00000300: SLOAD 00000301: PUSH1 0xff 00000303: AND 00000304: PUSH2 0x018b 00000307: JUMP 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x0204 00000319: PUSH2 0x0323 0000031c: CALLDATASIZE 0000031d: PUSH1 0x04 0000031f: PUSH2 0x1a59 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x0869 00000327: JUMP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: POP 00000336: PUSH2 0x024d 00000339: PUSH2 0x0343 0000033c: CALLDATASIZE 0000033d: PUSH1 0x04 0000033f: PUSH2 0x1aef 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH2 0x08c9 00000347: JUMP 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x01c0 00000359: PUSH2 0x094f 0000035c: JUMP 0000035d: JUMPDEST 0000035e: CALLVALUE 0000035f: DUP1 00000360: ISZERO 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: PUSH1 0x0b 0000036d: SLOAD 0000036e: PUSH2 0x0100 00000371: SWAP1 00000372: DIV 00000373: PUSH1 0x01 00000375: PUSH1 0x01 00000377: PUSH1 0xa0 00000379: SHL 0000037a: SUB 0000037b: AND 0000037c: PUSH2 0x0204 0000037f: JUMP 00000380: JUMPDEST 00000381: CALLVALUE 00000382: DUP1 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x024d 00000391: PUSH2 0x03e7 00000394: DUP2 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x01d7 000003a7: PUSH2 0x0963 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x024d 000003bc: PUSH1 0x0c 000003be: SLOAD 000003bf: DUP2 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x01c0 000003c5: PUSH2 0x03cf 000003c8: CALLDATASIZE 000003c9: PUSH1 0x04 000003cb: PUSH2 0x1a59 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH2 0x0972 000003d3: JUMP 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x01c0 000003e5: PUSH2 0x03ef 000003e8: CALLDATASIZE 000003e9: PUSH1 0x04 000003eb: PUSH2 0x1b0a 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x0ac3 000003f3: JUMP 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: POP 00000402: PUSH2 0x01c0 00000405: PUSH2 0x040f 00000408: CALLDATASIZE 00000409: PUSH1 0x04 0000040b: PUSH2 0x1b53 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH2 0x0ad2 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 0x01d7 00000425: PUSH2 0x042f 00000428: CALLDATASIZE 00000429: PUSH1 0x04 0000042b: PUSH2 0x1a59 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x0b0a 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 0x018b 00000445: PUSH2 0x044f 00000448: CALLDATASIZE 00000449: PUSH1 0x04 0000044b: PUSH2 0x1c2f 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x01 00000452: PUSH1 0x01 00000454: PUSH1 0xa0 00000456: SHL 00000457: SUB 00000458: SWAP2 00000459: DUP3 0000045a: AND 0000045b: PUSH1 0x00 0000045d: SWAP1 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x05 00000462: PUSH1 0x20 00000464: SWAP1 00000465: DUP2 00000466: MSTORE 00000467: PUSH1 0x40 00000469: DUP1 0000046a: DUP4 0000046b: KECCAK256 0000046c: SWAP4 0000046d: SWAP1 0000046e: SWAP5 0000046f: AND 00000470: DUP3 00000471: MSTORE 00000472: SWAP2 00000473: SWAP1 00000474: SWAP2 00000475: MSTORE 00000476: KECCAK256 00000477: SLOAD 00000478: PUSH1 0xff 0000047a: AND 0000047b: SWAP1 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: DUP1 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: POP 0000048b: PUSH2 0x01c0 0000048e: PUSH2 0x0498 00000491: CALLDATASIZE 00000492: PUSH1 0x04 00000494: PUSH2 0x1aef 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x0bb7 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x00 000004a0: PUSH1 0x01 000004a2: PUSH1 0x01 000004a4: PUSH1 0xe0 000004a6: SHL 000004a7: SUB 000004a8: NOT 000004a9: DUP3 000004aa: AND 000004ab: PUSH4 0x780e9d63 000004b0: PUSH1 0xe0 000004b2: SHL 000004b3: EQ 000004b4: DUP1 000004b5: PUSH2 0x04c2 000004b8: JUMPI 000004b9: POP 000004ba: PUSH2 0x04c2 000004bd: DUP3 000004be: PUSH2 0x0c2d 000004c1: JUMP 000004c2: JUMPDEST 000004c3: SWAP3 000004c4: SWAP2 000004c5: POP 000004c6: POP 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH2 0x04d0 000004cc: PUSH2 0x0c7d 000004cf: JUMP 000004d0: JUMPDEST 000004d1: DUP1 000004d2: ISZERO 000004d3: ISZERO 000004d4: PUSH1 0x01 000004d6: SUB 000004d7: PUSH2 0x04e5 000004da: JUMPI 000004db: PUSH2 0x04e2 000004de: PUSH2 0x0cdd 000004e1: JUMP 000004e2: JUMPDEST 000004e3: POP 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH2 0x04e2 000004e9: PUSH2 0x0d75 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x60 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: SLOAD 000004f4: PUSH2 0x04fc 000004f7: SWAP1 000004f8: PUSH2 0x1c59 000004fb: JUMP 000004fc: JUMPDEST 000004fd: DUP1 000004fe: PUSH1 0x1f 00000500: ADD 00000501: PUSH1 0x20 00000503: DUP1 00000504: SWAP2 00000505: DIV 00000506: MUL 00000507: PUSH1 0x20 00000509: ADD 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: SWAP1 0000050e: DUP2 0000050f: ADD 00000510: PUSH1 0x40 00000512: MSTORE 00000513: DUP1 00000514: SWAP3 00000515: SWAP2 00000516: SWAP1 00000517: DUP2 00000518: DUP2 00000519: MSTORE 0000051a: PUSH1 0x20 0000051c: ADD 0000051d: DUP3 0000051e: DUP1 0000051f: SLOAD 00000520: PUSH2 0x0528 00000523: SWAP1 00000524: PUSH2 0x1c59 00000527: JUMP 00000528: JUMPDEST 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0575 0000052e: JUMPI 0000052f: DUP1 00000530: PUSH1 0x1f 00000532: LT 00000533: PUSH2 0x054a 00000536: JUMPI 00000537: PUSH2 0x0100 0000053a: DUP1 0000053b: DUP4 0000053c: SLOAD 0000053d: DIV 0000053e: MUL 0000053f: DUP4 00000540: MSTORE 00000541: SWAP2 00000542: PUSH1 0x20 00000544: ADD 00000545: SWAP2 00000546: PUSH2 0x0575 00000549: JUMP 0000054a: JUMPDEST 0000054b: DUP3 0000054c: ADD 0000054d: SWAP2 0000054e: SWAP1 0000054f: PUSH1 0x00 00000551: MSTORE 00000552: PUSH1 0x20 00000554: PUSH1 0x00 00000556: KECCAK256 00000557: SWAP1 00000558: JUMPDEST 00000559: DUP2 0000055a: SLOAD 0000055b: DUP2 0000055c: MSTORE 0000055d: SWAP1 0000055e: PUSH1 0x01 00000560: ADD 00000561: SWAP1 00000562: PUSH1 0x20 00000564: ADD 00000565: DUP1 00000566: DUP4 00000567: GT 00000568: PUSH2 0x0558 0000056b: JUMPI 0000056c: DUP3 0000056d: SWAP1 0000056e: SUB 0000056f: PUSH1 0x1f 00000571: AND 00000572: DUP3 00000573: ADD 00000574: SWAP2 00000575: JUMPDEST 00000576: POP 00000577: POP 00000578: POP 00000579: POP 0000057a: POP 0000057b: SWAP1 0000057c: POP 0000057d: SWAP1 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x00 00000582: PUSH2 0x058a 00000585: DUP3 00000586: PUSH2 0x0def 00000589: JUMP 0000058a: JUMPDEST 0000058b: POP 0000058c: PUSH1 0x00 0000058e: SWAP1 0000058f: DUP2 00000590: MSTORE 00000591: PUSH1 0x04 00000593: PUSH1 0x20 00000595: MSTORE 00000596: PUSH1 0x40 00000598: SWAP1 00000599: KECCAK256 0000059a: SLOAD 0000059b: PUSH1 0x01 0000059d: PUSH1 0x01 0000059f: PUSH1 0xa0 000005a1: SHL 000005a2: SUB 000005a3: AND 000005a4: SWAP1 000005a5: JUMP 000005a6: JUMPDEST 000005a7: PUSH1 0x00 000005a9: PUSH2 0x05b1 000005ac: DUP3 000005ad: PUSH2 0x0869 000005b0: JUMP 000005b1: JUMPDEST 000005b2: SWAP1 000005b3: POP 000005b4: DUP1 000005b5: PUSH1 0x01 000005b7: PUSH1 0x01 000005b9: PUSH1 0xa0 000005bb: SHL 000005bc: SUB 000005bd: AND 000005be: DUP4 000005bf: PUSH1 0x01 000005c1: PUSH1 0x01 000005c3: PUSH1 0xa0 000005c5: SHL 000005c6: SUB 000005c7: AND 000005c8: SUB 000005c9: PUSH2 0x0623 000005cc: JUMPI 000005cd: PUSH1 0x40 000005cf: MLOAD 000005d0: PUSH3 0x461bcd 000005d4: PUSH1 0xe5 000005d6: SHL 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: PUSH1 0x04 000005dd: DUP3 000005de: ADD 000005df: MSTORE 000005e0: PUSH1 0x21 000005e2: PUSH1 0x24 000005e4: DUP3 000005e5: ADD 000005e6: MSTORE 000005e7: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 00000608: PUSH1 0x44 0000060a: DUP3 0000060b: ADD 0000060c: MSTORE 0000060d: PUSH1 0x39 0000060f: PUSH1 0xf9 00000611: SHL 00000612: PUSH1 0x64 00000614: DUP3 00000615: ADD 00000616: MSTORE 00000617: PUSH1 0x84 00000619: ADD 0000061a: JUMPDEST 0000061b: PUSH1 0x40 0000061d: MLOAD 0000061e: DUP1 0000061f: SWAP2 00000620: SUB 00000621: SWAP1 00000622: REVERT 00000623: JUMPDEST 00000624: CALLER 00000625: PUSH1 0x01 00000627: PUSH1 0x01 00000629: PUSH1 0xa0 0000062b: SHL 0000062c: SUB 0000062d: DUP3 0000062e: AND 0000062f: EQ 00000630: DUP1 00000631: PUSH2 0x063f 00000634: JUMPI 00000635: POP 00000636: PUSH2 0x063f 00000639: DUP2 0000063a: CALLER 0000063b: PUSH2 0x044f 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH2 0x06b1 00000643: JUMPI 00000644: PUSH1 0x40 00000646: MLOAD 00000647: PUSH3 0x461bcd 0000064b: PUSH1 0xe5 0000064d: SHL 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: PUSH1 0x04 00000654: DUP3 00000655: ADD 00000656: MSTORE 00000657: PUSH1 0x3e 00000659: PUSH1 0x24 0000065b: DUP3 0000065c: ADD 0000065d: MSTORE 0000065e: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f 0000067f: PUSH1 0x44 00000681: DUP3 00000682: ADD 00000683: MSTORE 00000684: PUSH32 0x6b656e206f776e6572206e6f7220617070726f76656420666f7220616c6c0000 000006a5: PUSH1 0x64 000006a7: DUP3 000006a8: ADD 000006a9: MSTORE 000006aa: PUSH1 0x84 000006ac: ADD 000006ad: PUSH2 0x061a 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH2 0x06bb 000006b5: DUP4 000006b6: DUP4 000006b7: PUSH2 0x0e4e 000006ba: JUMP 000006bb: JUMPDEST 000006bc: POP 000006bd: POP 000006be: POP 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH2 0x06ca 000006c4: CALLER 000006c5: DUP3 000006c6: PUSH2 0x0ebc 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH2 0x06e6 000006ce: JUMPI 000006cf: PUSH1 0x40 000006d1: MLOAD 000006d2: PUSH3 0x461bcd 000006d6: PUSH1 0xe5 000006d8: SHL 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x04 000006dd: ADD 000006de: PUSH2 0x061a 000006e1: SWAP1 000006e2: PUSH2 0x1c93 000006e5: JUMP 000006e6: JUMPDEST 000006e7: PUSH2 0x06bb 000006ea: DUP4 000006eb: DUP4 000006ec: DUP4 000006ed: PUSH2 0x0f3b 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x00 000006f4: PUSH2 0x06fc 000006f7: DUP4 000006f8: PUSH2 0x08c9 000006fb: JUMP 000006fc: JUMPDEST 000006fd: DUP3 000006fe: LT 000006ff: PUSH2 0x075e 00000702: JUMPI 00000703: PUSH1 0x40 00000705: MLOAD 00000706: PUSH3 0x461bcd 0000070a: PUSH1 0xe5 0000070c: SHL 0000070d: DUP2 0000070e: MSTORE 0000070f: PUSH1 0x20 00000711: PUSH1 0x04 00000713: DUP3 00000714: ADD 00000715: MSTORE 00000716: PUSH1 0x2b 00000718: PUSH1 0x24 0000071a: DUP3 0000071b: ADD 0000071c: MSTORE 0000071d: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 0000073e: PUSH1 0x44 00000740: DUP3 00000741: ADD 00000742: MSTORE 00000743: PUSH11 0x74206f6620626f756e6473 0000074f: PUSH1 0xa8 00000751: SHL 00000752: PUSH1 0x64 00000754: DUP3 00000755: ADD 00000756: MSTORE 00000757: PUSH1 0x84 00000759: ADD 0000075a: PUSH2 0x061a 0000075d: JUMP 0000075e: JUMPDEST 0000075f: POP 00000760: PUSH1 0x01 00000762: PUSH1 0x01 00000764: PUSH1 0xa0 00000766: SHL 00000767: SUB 00000768: SWAP2 00000769: SWAP1 0000076a: SWAP2 0000076b: AND 0000076c: PUSH1 0x00 0000076e: SWAP1 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x06 00000773: PUSH1 0x20 00000775: SWAP1 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x40 0000077a: DUP1 0000077b: DUP4 0000077c: KECCAK256 0000077d: SWAP4 0000077e: DUP4 0000077f: MSTORE 00000780: SWAP3 00000781: SWAP1 00000782: MSTORE 00000783: KECCAK256 00000784: SLOAD 00000785: SWAP1 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH2 0x078f 0000078b: PUSH2 0x0c7d 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x40 00000792: MLOAD 00000793: CALLER 00000794: SWAP1 00000795: SELFBALANCE 00000796: DUP1 00000797: ISZERO 00000798: PUSH2 0x08fc 0000079b: MUL 0000079c: SWAP2 0000079d: PUSH1 0x00 0000079f: DUP2 000007a0: DUP2 000007a1: DUP2 000007a2: DUP6 000007a3: DUP9 000007a4: DUP9 000007a5: CALL 000007a6: SWAP4 000007a7: POP 000007a8: POP 000007a9: POP 000007aa: POP 000007ab: ISZERO 000007ac: DUP1 000007ad: ISZERO 000007ae: PUSH2 0x04e2 000007b1: JUMPI 000007b2: RETURNDATASIZE 000007b3: PUSH1 0x00 000007b5: DUP1 000007b6: RETURNDATACOPY 000007b7: RETURNDATASIZE 000007b8: PUSH1 0x00 000007ba: REVERT 000007bb: JUMPDEST 000007bc: PUSH2 0x06bb 000007bf: DUP4 000007c0: DUP4 000007c1: DUP4 000007c2: PUSH1 0x40 000007c4: MLOAD 000007c5: DUP1 000007c6: PUSH1 0x20 000007c8: ADD 000007c9: PUSH1 0x40 000007cb: MSTORE 000007cc: DUP1 000007cd: PUSH1 0x00 000007cf: DUP2 000007d0: MSTORE 000007d1: POP 000007d2: PUSH2 0x0ad2 000007d5: JUMP 000007d6: JUMPDEST 000007d7: PUSH1 0x00 000007d9: PUSH2 0x07e1 000007dc: PUSH1 0x08 000007de: SLOAD 000007df: SWAP1 000007e0: JUMP 000007e1: JUMPDEST 000007e2: DUP3 000007e3: LT 000007e4: PUSH2 0x0844 000007e7: JUMPI 000007e8: PUSH1 0x40 000007ea: MLOAD 000007eb: PUSH3 0x461bcd 000007ef: PUSH1 0xe5 000007f1: SHL 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: PUSH1 0x04 000007f8: DUP3 000007f9: ADD 000007fa: MSTORE 000007fb: PUSH1 0x2c 000007fd: PUSH1 0x24 000007ff: DUP3 00000800: ADD 00000801: MSTORE 00000802: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000823: PUSH1 0x44 00000825: DUP3 00000826: ADD 00000827: MSTORE 00000828: PUSH12 0x7574206f6620626f756e6473 00000835: PUSH1 0xa0 00000837: SHL 00000838: PUSH1 0x64 0000083a: DUP3 0000083b: ADD 0000083c: MSTORE 0000083d: PUSH1 0x84 0000083f: ADD 00000840: PUSH2 0x061a 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH1 0x08 00000847: DUP3 00000848: DUP2 00000849: SLOAD 0000084a: DUP2 0000084b: LT 0000084c: PUSH2 0x0857 0000084f: JUMPI 00000850: PUSH2 0x0857 00000853: PUSH2 0x1ce1 00000856: JUMP 00000857: JUMPDEST 00000858: SWAP1 00000859: PUSH1 0x00 0000085b: MSTORE 0000085c: PUSH1 0x20 0000085e: PUSH1 0x00 00000860: KECCAK256 00000861: ADD 00000862: SLOAD 00000863: SWAP1 00000864: POP 00000865: SWAP2 00000866: SWAP1 00000867: POP 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x00 0000086c: DUP2 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x02 00000871: PUSH1 0x20 00000873: MSTORE 00000874: PUSH1 0x40 00000876: DUP2 00000877: KECCAK256 00000878: SLOAD 00000879: PUSH1 0x01 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: SHL 00000880: SUB 00000881: AND 00000882: DUP1 00000883: PUSH2 0x04c2 00000886: JUMPI 00000887: PUSH1 0x40 00000889: MLOAD 0000088a: PUSH3 0x461bcd 0000088e: PUSH1 0xe5 00000890: SHL 00000891: DUP2 00000892: MSTORE 00000893: PUSH1 0x20 00000895: PUSH1 0x04 00000897: DUP3 00000898: ADD 00000899: MSTORE 0000089a: PUSH1 0x18 0000089c: PUSH1 0x24 0000089e: DUP3 0000089f: ADD 000008a0: MSTORE 000008a1: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 000008ba: PUSH1 0x42 000008bc: SHL 000008bd: PUSH1 0x44 000008bf: DUP3 000008c0: ADD 000008c1: MSTORE 000008c2: PUSH1 0x64 000008c4: ADD 000008c5: PUSH2 0x061a 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x00 000008cc: PUSH1 0x01 000008ce: PUSH1 0x01 000008d0: PUSH1 0xa0 000008d2: SHL 000008d3: SUB 000008d4: DUP3 000008d5: AND 000008d6: PUSH2 0x0933 000008d9: JUMPI 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: PUSH3 0x461bcd 000008e1: PUSH1 0xe5 000008e3: SHL 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x20 000008e8: PUSH1 0x04 000008ea: DUP3 000008eb: ADD 000008ec: MSTORE 000008ed: PUSH1 0x29 000008ef: PUSH1 0x24 000008f1: DUP3 000008f2: ADD 000008f3: MSTORE 000008f4: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661 00000915: PUSH1 0x44 00000917: DUP3 00000918: ADD 00000919: MSTORE 0000091a: PUSH9 0x3634b21037bbb732b9 00000924: PUSH1 0xb9 00000926: SHL 00000927: PUSH1 0x64 00000929: DUP3 0000092a: ADD 0000092b: MSTORE 0000092c: PUSH1 0x84 0000092e: ADD 0000092f: PUSH2 0x061a 00000932: JUMP 00000933: JUMPDEST 00000934: POP 00000935: PUSH1 0x01 00000937: PUSH1 0x01 00000939: PUSH1 0xa0 0000093b: SHL 0000093c: SUB 0000093d: AND 0000093e: PUSH1 0x00 00000940: SWAP1 00000941: DUP2 00000942: MSTORE 00000943: PUSH1 0x03 00000945: PUSH1 0x20 00000947: MSTORE 00000948: PUSH1 0x40 0000094a: SWAP1 0000094b: KECCAK256 0000094c: SLOAD 0000094d: SWAP1 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH2 0x0957 00000953: PUSH2 0x0c7d 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH2 0x0961 0000095b: PUSH1 0x00 0000095d: PUSH2 0x10e2 00000960: JUMP 00000961: JUMPDEST 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x60 00000966: PUSH1 0x01 00000968: DUP1 00000969: SLOAD 0000096a: PUSH2 0x04fc 0000096d: SWAP1 0000096e: PUSH2 0x1c59 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x02 00000975: PUSH1 0x0a 00000977: SLOAD 00000978: SUB 00000979: PUSH2 0x09c4 0000097c: JUMPI 0000097d: PUSH1 0x40 0000097f: MLOAD 00000980: PUSH3 0x461bcd 00000984: PUSH1 0xe5 00000986: SHL 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x20 0000098b: PUSH1 0x04 0000098d: DUP3 0000098e: ADD 0000098f: MSTORE 00000990: PUSH1 0x1f 00000992: PUSH1 0x24 00000994: DUP3 00000995: ADD 00000996: MSTORE 00000997: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000009b8: PUSH1 0x44 000009ba: DUP3 000009bb: ADD 000009bc: MSTORE 000009bd: PUSH1 0x64 000009bf: ADD 000009c0: PUSH2 0x061a 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH1 0x02 000009c7: PUSH1 0x0a 000009c9: SSTORE 000009ca: DUP1 000009cb: ISZERO 000009cc: DUP1 000009cd: ISZERO 000009ce: SWAP1 000009cf: PUSH2 0x09da 000009d2: JUMPI 000009d3: POP 000009d4: PUSH2 0x03e7 000009d7: DUP2 000009d8: GT 000009d9: ISZERO 000009da: JUMPDEST 000009db: PUSH2 0x0a19 000009de: JUMPI 000009df: PUSH1 0x40 000009e1: MLOAD 000009e2: PUSH3 0x461bcd 000009e6: PUSH1 0xe5 000009e8: SHL 000009e9: DUP2 000009ea: MSTORE 000009eb: PUSH1 0x20 000009ed: PUSH1 0x04 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH1 0x10 000009f4: PUSH1 0x24 000009f6: DUP3 000009f7: ADD 000009f8: MSTORE 000009f9: PUSH16 0x151bdad95b881251081a5b9d985b1a59 00000a0a: PUSH1 0x82 00000a0c: SHL 00000a0d: PUSH1 0x44 00000a0f: DUP3 00000a10: ADD 00000a11: MSTORE 00000a12: PUSH1 0x64 00000a14: ADD 00000a15: PUSH2 0x061a 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: CALLVALUE 00000a1b: PUSH1 0x0c 00000a1d: SLOAD 00000a1e: GT 00000a1f: ISZERO 00000a20: PUSH2 0x0a6b 00000a23: JUMPI 00000a24: PUSH1 0x40 00000a26: MLOAD 00000a27: PUSH3 0x461bcd 00000a2b: PUSH1 0xe5 00000a2d: SHL 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: PUSH1 0x04 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: PUSH1 0x1f 00000a39: PUSH1 0x24 00000a3b: DUP3 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH32 0x45746865722076616c75652073656e74206973206e6f7420636f727265637400 00000a5f: PUSH1 0x44 00000a61: DUP3 00000a62: ADD 00000a63: MSTORE 00000a64: PUSH1 0x64 00000a66: ADD 00000a67: PUSH2 0x061a 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH1 0x0b 00000a6e: SLOAD 00000a6f: PUSH1 0xff 00000a71: AND 00000a72: ISZERO 00000a73: PUSH2 0x0ab1 00000a76: JUMPI 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: PUSH3 0x461bcd 00000a7e: PUSH1 0xe5 00000a80: SHL 00000a81: DUP2 00000a82: MSTORE 00000a83: PUSH1 0x20 00000a85: PUSH1 0x04 00000a87: DUP3 00000a88: ADD 00000a89: MSTORE 00000a8a: PUSH1 0x10 00000a8c: PUSH1 0x24 00000a8e: DUP3 00000a8f: ADD 00000a90: MSTORE 00000a91: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000aa2: PUSH1 0x82 00000aa4: SHL 00000aa5: PUSH1 0x44 00000aa7: DUP3 00000aa8: ADD 00000aa9: MSTORE 00000aaa: PUSH1 0x64 00000aac: ADD 00000aad: PUSH2 0x061a 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: PUSH2 0x0abb 00000ab5: CALLER 00000ab6: DUP3 00000ab7: PUSH2 0x113c 00000aba: JUMP 00000abb: JUMPDEST 00000abc: POP 00000abd: PUSH1 0x01 00000abf: PUSH1 0x0a 00000ac1: SSTORE 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH2 0x0ace 00000ac7: CALLER 00000ac8: DUP4 00000ac9: DUP4 00000aca: PUSH2 0x1156 00000acd: JUMP 00000ace: JUMPDEST 00000acf: POP 00000ad0: POP 00000ad1: JUMP 00000ad2: JUMPDEST 00000ad3: PUSH2 0x0adc 00000ad6: CALLER 00000ad7: DUP4 00000ad8: PUSH2 0x0ebc 00000adb: JUMP 00000adc: JUMPDEST 00000add: PUSH2 0x0af8 00000ae0: JUMPI 00000ae1: PUSH1 0x40 00000ae3: MLOAD 00000ae4: PUSH3 0x461bcd 00000ae8: PUSH1 0xe5 00000aea: SHL 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x04 00000aef: ADD 00000af0: PUSH2 0x061a 00000af3: SWAP1 00000af4: PUSH2 0x1c93 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH2 0x0b04 00000afc: DUP5 00000afd: DUP5 00000afe: DUP5 00000aff: DUP5 00000b00: PUSH2 0x1224 00000b03: JUMP 00000b04: JUMPDEST 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: POP 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: PUSH1 0x60 00000b0d: DUP1 00000b0e: PUSH1 0x40 00000b10: MLOAD 00000b11: DUP1 00000b12: PUSH2 0x0e00 00000b15: ADD 00000b16: PUSH1 0x40 00000b18: MSTORE 00000b19: DUP1 00000b1a: PUSH2 0x0ddc 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH2 0x1fad 00000b25: PUSH2 0x0ddc 00000b28: SWAP2 00000b29: CODECOPY 00000b2a: SWAP1 00000b2b: POP 00000b2c: PUSH1 0x00 00000b2e: DUP2 00000b2f: PUSH1 0x40 00000b31: MLOAD 00000b32: PUSH1 0x20 00000b34: ADD 00000b35: PUSH2 0x0b3e 00000b38: SWAP2 00000b39: SWAP1 00000b3a: PUSH2 0x1cf7 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: PUSH1 0x20 00000b44: DUP2 00000b45: DUP4 00000b46: SUB 00000b47: SUB 00000b48: DUP2 00000b49: MSTORE 00000b4a: SWAP1 00000b4b: PUSH1 0x40 00000b4d: MSTORE 00000b4e: SWAP1 00000b4f: POP 00000b50: PUSH1 0x00 00000b52: PUSH2 0x0b8b 00000b55: PUSH2 0x0b5d 00000b58: DUP7 00000b59: PUSH2 0x1257 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH2 0x0b66 00000b61: DUP5 00000b62: PUSH2 0x1358 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x40 00000b69: MLOAD 00000b6a: PUSH1 0x20 00000b6c: ADD 00000b6d: PUSH2 0x0b77 00000b70: SWAP3 00000b71: SWAP2 00000b72: SWAP1 00000b73: PUSH2 0x1d13 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: PUSH1 0x20 00000b7d: DUP2 00000b7e: DUP4 00000b7f: SUB 00000b80: SUB 00000b81: DUP2 00000b82: MSTORE 00000b83: SWAP1 00000b84: PUSH1 0x40 00000b86: MSTORE 00000b87: PUSH2 0x1358 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: SWAP1 00000b8d: POP 00000b8e: DUP1 00000b8f: PUSH1 0x40 00000b91: MLOAD 00000b92: PUSH1 0x20 00000b94: ADD 00000b95: PUSH2 0x0b9e 00000b98: SWAP2 00000b99: SWAP1 00000b9a: PUSH2 0x1dbb 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH1 0x40 00000ba1: DUP1 00000ba2: MLOAD 00000ba3: PUSH1 0x1f 00000ba5: NOT 00000ba6: DUP2 00000ba7: DUP5 00000ba8: SUB 00000ba9: ADD 00000baa: DUP2 00000bab: MSTORE 00000bac: SWAP2 00000bad: SWAP1 00000bae: MSTORE 00000baf: SWAP6 00000bb0: SWAP5 00000bb1: POP 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH2 0x0bbf 00000bbb: PUSH2 0x0c7d 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0xa0 00000bc6: SHL 00000bc7: SUB 00000bc8: DUP2 00000bc9: AND 00000bca: PUSH2 0x0c24 00000bcd: JUMPI 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: PUSH3 0x461bcd 00000bd5: PUSH1 0xe5 00000bd7: SHL 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x20 00000bdc: PUSH1 0x04 00000bde: DUP3 00000bdf: ADD 00000be0: MSTORE 00000be1: PUSH1 0x26 00000be3: PUSH1 0x24 00000be5: DUP3 00000be6: ADD 00000be7: MSTORE 00000be8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000c09: PUSH1 0x44 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: PUSH6 0x646472657373 00000c15: PUSH1 0xd0 00000c17: SHL 00000c18: PUSH1 0x64 00000c1a: DUP3 00000c1b: ADD 00000c1c: MSTORE 00000c1d: PUSH1 0x84 00000c1f: ADD 00000c20: PUSH2 0x061a 00000c23: JUMP 00000c24: JUMPDEST 00000c25: PUSH2 0x04e2 00000c28: DUP2 00000c29: PUSH2 0x10e2 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x00 00000c30: PUSH1 0x01 00000c32: PUSH1 0x01 00000c34: PUSH1 0xe0 00000c36: SHL 00000c37: SUB 00000c38: NOT 00000c39: DUP3 00000c3a: AND 00000c3b: PUSH4 0x80ac58cd 00000c40: PUSH1 0xe0 00000c42: SHL 00000c43: EQ 00000c44: DUP1 00000c45: PUSH2 0x0c5e 00000c48: JUMPI 00000c49: POP 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0x01 00000c4e: PUSH1 0xe0 00000c50: SHL 00000c51: SUB 00000c52: NOT 00000c53: DUP3 00000c54: AND 00000c55: PUSH4 0x5b5e139f 00000c5a: PUSH1 0xe0 00000c5c: SHL 00000c5d: EQ 00000c5e: JUMPDEST 00000c5f: DUP1 00000c60: PUSH2 0x04c2 00000c63: JUMPI 00000c64: POP 00000c65: PUSH4 0x01ffc9a7 00000c6a: PUSH1 0xe0 00000c6c: SHL 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0x01 00000c71: PUSH1 0xe0 00000c73: SHL 00000c74: SUB 00000c75: NOT 00000c76: DUP4 00000c77: AND 00000c78: EQ 00000c79: PUSH2 0x04c2 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: PUSH1 0x0b 00000c80: SLOAD 00000c81: PUSH1 0x01 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: SHL 00000c88: SUB 00000c89: PUSH2 0x0100 00000c8c: SWAP1 00000c8d: SWAP2 00000c8e: DIV 00000c8f: AND 00000c90: CALLER 00000c91: EQ 00000c92: PUSH2 0x0961 00000c95: JUMPI 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: PUSH3 0x461bcd 00000c9d: PUSH1 0xe5 00000c9f: SHL 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x20 00000ca4: PUSH1 0x04 00000ca6: DUP3 00000ca7: ADD 00000ca8: DUP2 00000ca9: SWAP1 00000caa: MSTORE 00000cab: PUSH1 0x24 00000cad: DUP3 00000cae: ADD 00000caf: MSTORE 00000cb0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000cd1: PUSH1 0x44 00000cd3: DUP3 00000cd4: ADD 00000cd5: MSTORE 00000cd6: PUSH1 0x64 00000cd8: ADD 00000cd9: PUSH2 0x061a 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH1 0x0b 00000ce0: SLOAD 00000ce1: PUSH1 0xff 00000ce3: AND 00000ce4: ISZERO 00000ce5: PUSH2 0x0d23 00000ce8: JUMPI 00000ce9: PUSH1 0x40 00000ceb: MLOAD 00000cec: PUSH3 0x461bcd 00000cf0: PUSH1 0xe5 00000cf2: SHL 00000cf3: DUP2 00000cf4: MSTORE 00000cf5: PUSH1 0x20 00000cf7: PUSH1 0x04 00000cf9: DUP3 00000cfa: ADD 00000cfb: MSTORE 00000cfc: PUSH1 0x10 00000cfe: PUSH1 0x24 00000d00: DUP3 00000d01: ADD 00000d02: MSTORE 00000d03: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000d14: PUSH1 0x82 00000d16: SHL 00000d17: PUSH1 0x44 00000d19: DUP3 00000d1a: ADD 00000d1b: MSTORE 00000d1c: PUSH1 0x64 00000d1e: ADD 00000d1f: PUSH2 0x061a 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH1 0x0b 00000d26: DUP1 00000d27: SLOAD 00000d28: PUSH1 0xff 00000d2a: NOT 00000d2b: AND 00000d2c: PUSH1 0x01 00000d2e: OR 00000d2f: SWAP1 00000d30: SSTORE 00000d31: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000d52: PUSH2 0x0d58 00000d55: CALLER 00000d56: SWAP1 00000d57: JUMP 00000d58: JUMPDEST 00000d59: PUSH1 0x40 00000d5b: MLOAD 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0x01 00000d60: PUSH1 0xa0 00000d62: SHL 00000d63: SUB 00000d64: SWAP1 00000d65: SWAP2 00000d66: AND 00000d67: DUP2 00000d68: MSTORE 00000d69: PUSH1 0x20 00000d6b: ADD 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: DUP1 00000d70: SWAP2 00000d71: SUB 00000d72: SWAP1 00000d73: LOG1 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x0b 00000d78: SLOAD 00000d79: PUSH1 0xff 00000d7b: AND 00000d7c: PUSH2 0x0dbe 00000d7f: JUMPI 00000d80: PUSH1 0x40 00000d82: MLOAD 00000d83: PUSH3 0x461bcd 00000d87: PUSH1 0xe5 00000d89: SHL 00000d8a: DUP2 00000d8b: MSTORE 00000d8c: PUSH1 0x20 00000d8e: PUSH1 0x04 00000d90: DUP3 00000d91: ADD 00000d92: MSTORE 00000d93: PUSH1 0x14 00000d95: PUSH1 0x24 00000d97: DUP3 00000d98: ADD 00000d99: MSTORE 00000d9a: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00000daf: PUSH1 0x62 00000db1: SHL 00000db2: PUSH1 0x44 00000db4: DUP3 00000db5: ADD 00000db6: MSTORE 00000db7: PUSH1 0x64 00000db9: ADD 00000dba: PUSH2 0x061a 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH1 0x0b 00000dc1: DUP1 00000dc2: SLOAD 00000dc3: PUSH1 0xff 00000dc5: NOT 00000dc6: AND 00000dc7: SWAP1 00000dc8: SSTORE 00000dc9: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000dea: CALLER 00000deb: PUSH2 0x0d58 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH1 0x00 00000df2: DUP2 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH1 0x02 00000df7: PUSH1 0x20 00000df9: MSTORE 00000dfa: PUSH1 0x40 00000dfc: SWAP1 00000dfd: KECCAK256 00000dfe: SLOAD 00000dff: PUSH1 0x01 00000e01: PUSH1 0x01 00000e03: PUSH1 0xa0 00000e05: SHL 00000e06: SUB 00000e07: AND 00000e08: PUSH2 0x04e2 00000e0b: JUMPI 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: PUSH3 0x461bcd 00000e13: PUSH1 0xe5 00000e15: SHL 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x20 00000e1a: PUSH1 0x04 00000e1c: DUP3 00000e1d: ADD 00000e1e: MSTORE 00000e1f: PUSH1 0x18 00000e21: PUSH1 0x24 00000e23: DUP3 00000e24: ADD 00000e25: MSTORE 00000e26: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251 00000e3f: PUSH1 0x42 00000e41: SHL 00000e42: PUSH1 0x44 00000e44: DUP3 00000e45: ADD 00000e46: MSTORE 00000e47: PUSH1 0x64 00000e49: ADD 00000e4a: PUSH2 0x061a 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x00 00000e51: DUP2 00000e52: DUP2 00000e53: MSTORE 00000e54: PUSH1 0x04 00000e56: PUSH1 0x20 00000e58: MSTORE 00000e59: PUSH1 0x40 00000e5b: SWAP1 00000e5c: KECCAK256 00000e5d: DUP1 00000e5e: SLOAD 00000e5f: PUSH1 0x01 00000e61: PUSH1 0x01 00000e63: PUSH1 0xa0 00000e65: SHL 00000e66: SUB 00000e67: NOT 00000e68: AND 00000e69: PUSH1 0x01 00000e6b: PUSH1 0x01 00000e6d: PUSH1 0xa0 00000e6f: SHL 00000e70: SUB 00000e71: DUP5 00000e72: AND 00000e73: SWAP1 00000e74: DUP2 00000e75: OR 00000e76: SWAP1 00000e77: SWAP2 00000e78: SSTORE 00000e79: DUP2 00000e7a: SWAP1 00000e7b: PUSH2 0x0e83 00000e7e: DUP3 00000e7f: PUSH2 0x0869 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x01 00000e86: PUSH1 0x01 00000e88: PUSH1 0xa0 00000e8a: SHL 00000e8b: SUB 00000e8c: AND 00000e8d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000eae: PUSH1 0x40 00000eb0: MLOAD 00000eb1: PUSH1 0x40 00000eb3: MLOAD 00000eb4: DUP1 00000eb5: SWAP2 00000eb6: SUB 00000eb7: SWAP1 00000eb8: LOG4 00000eb9: POP 00000eba: POP 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH1 0x00 00000ebf: DUP1 00000ec0: PUSH2 0x0ec8 00000ec3: DUP4 00000ec4: PUSH2 0x0869 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: SWAP1 00000eca: POP 00000ecb: DUP1 00000ecc: PUSH1 0x01 00000ece: PUSH1 0x01 00000ed0: PUSH1 0xa0 00000ed2: SHL 00000ed3: SUB 00000ed4: AND 00000ed5: DUP5 00000ed6: PUSH1 0x01 00000ed8: PUSH1 0x01 00000eda: PUSH1 0xa0 00000edc: SHL 00000edd: SUB 00000ede: AND 00000edf: EQ 00000ee0: DUP1 00000ee1: PUSH2 0x0f0f 00000ee4: JUMPI 00000ee5: POP 00000ee6: PUSH1 0x01 00000ee8: PUSH1 0x01 00000eea: PUSH1 0xa0 00000eec: SHL 00000eed: SUB 00000eee: DUP1 00000eef: DUP3 00000ef0: AND 00000ef1: PUSH1 0x00 00000ef3: SWAP1 00000ef4: DUP2 00000ef5: MSTORE 00000ef6: PUSH1 0x05 00000ef8: PUSH1 0x20 00000efa: SWAP1 00000efb: DUP2 00000efc: MSTORE 00000efd: PUSH1 0x40 00000eff: DUP1 00000f00: DUP4 00000f01: KECCAK256 00000f02: SWAP4 00000f03: DUP9 00000f04: AND 00000f05: DUP4 00000f06: MSTORE 00000f07: SWAP3 00000f08: SWAP1 00000f09: MSTORE 00000f0a: KECCAK256 00000f0b: SLOAD 00000f0c: PUSH1 0xff 00000f0e: AND 00000f0f: JUMPDEST 00000f10: DUP1 00000f11: PUSH2 0x0f33 00000f14: JUMPI 00000f15: POP 00000f16: DUP4 00000f17: PUSH1 0x01 00000f19: PUSH1 0x01 00000f1b: PUSH1 0xa0 00000f1d: SHL 00000f1e: SUB 00000f1f: AND 00000f20: PUSH2 0x0f28 00000f23: DUP5 00000f24: PUSH2 0x057f 00000f27: JUMP 00000f28: JUMPDEST 00000f29: PUSH1 0x01 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0xa0 00000f2f: SHL 00000f30: SUB 00000f31: AND 00000f32: EQ 00000f33: JUMPDEST 00000f34: SWAP5 00000f35: SWAP4 00000f36: POP 00000f37: POP 00000f38: POP 00000f39: POP 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: DUP3 00000f3d: PUSH1 0x01 00000f3f: PUSH1 0x01 00000f41: PUSH1 0xa0 00000f43: SHL 00000f44: SUB 00000f45: AND 00000f46: PUSH2 0x0f4e 00000f49: DUP3 00000f4a: PUSH2 0x0869 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: PUSH1 0x01 00000f51: PUSH1 0x01 00000f53: PUSH1 0xa0 00000f55: SHL 00000f56: SUB 00000f57: AND 00000f58: EQ 00000f59: PUSH2 0x0fb2 00000f5c: JUMPI 00000f5d: PUSH1 0x40 00000f5f: MLOAD 00000f60: PUSH3 0x461bcd 00000f64: PUSH1 0xe5 00000f66: SHL 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x20 00000f6b: PUSH1 0x04 00000f6d: DUP3 00000f6e: ADD 00000f6f: MSTORE 00000f70: PUSH1 0x25 00000f72: PUSH1 0x24 00000f74: DUP3 00000f75: ADD 00000f76: MSTORE 00000f77: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 00000f98: PUSH1 0x44 00000f9a: DUP3 00000f9b: ADD 00000f9c: MSTORE 00000f9d: PUSH5 0x37bbb732b9 00000fa3: PUSH1 0xd9 00000fa5: SHL 00000fa6: PUSH1 0x64 00000fa8: DUP3 00000fa9: ADD 00000faa: MSTORE 00000fab: PUSH1 0x84 00000fad: ADD 00000fae: PUSH2 0x061a 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH1 0x01 00000fb5: PUSH1 0x01 00000fb7: PUSH1 0xa0 00000fb9: SHL 00000fba: SUB 00000fbb: DUP3 00000fbc: AND 00000fbd: PUSH2 0x1014 00000fc0: JUMPI 00000fc1: PUSH1 0x40 00000fc3: MLOAD 00000fc4: PUSH3 0x461bcd 00000fc8: PUSH1 0xe5 00000fca: SHL 00000fcb: DUP2 00000fcc: MSTORE 00000fcd: PUSH1 0x20 00000fcf: PUSH1 0x04 00000fd1: DUP3 00000fd2: ADD 00000fd3: MSTORE 00000fd4: PUSH1 0x24 00000fd6: DUP1 00000fd7: DUP3 00000fd8: ADD 00000fd9: MSTORE 00000fda: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00000ffb: PUSH1 0x44 00000ffd: DUP3 00000ffe: ADD 00000fff: MSTORE 00001000: PUSH4 0x72657373 00001005: PUSH1 0xe0 00001007: SHL 00001008: PUSH1 0x64 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH1 0x84 0000100f: ADD 00001010: PUSH2 0x061a 00001013: JUMP 00001014: JUMPDEST 00001015: PUSH2 0x101f 00001018: DUP4 00001019: DUP4 0000101a: DUP4 0000101b: PUSH2 0x14c2 0000101e: JUMP 0000101f: JUMPDEST 00001020: PUSH2 0x102a 00001023: PUSH1 0x00 00001025: DUP3 00001026: PUSH2 0x0e4e 00001029: JUMP 0000102a: JUMPDEST 0000102b: PUSH1 0x01 0000102d: PUSH1 0x01 0000102f: PUSH1 0xa0 00001031: SHL 00001032: SUB 00001033: DUP4 00001034: AND 00001035: PUSH1 0x00 00001037: SWAP1 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x03 0000103c: PUSH1 0x20 0000103e: MSTORE 0000103f: PUSH1 0x40 00001041: DUP2 00001042: KECCAK256 00001043: DUP1 00001044: SLOAD 00001045: PUSH1 0x01 00001047: SWAP3 00001048: SWAP1 00001049: PUSH2 0x1053 0000104c: SWAP1 0000104d: DUP5 0000104e: SWAP1 0000104f: PUSH2 0x1e16 00001052: JUMP 00001053: JUMPDEST 00001054: SWAP1 00001055: SWAP2 00001056: SSTORE 00001057: POP 00001058: POP 00001059: PUSH1 0x01 0000105b: PUSH1 0x01 0000105d: PUSH1 0xa0 0000105f: SHL 00001060: SUB 00001061: DUP3 00001062: AND 00001063: PUSH1 0x00 00001065: SWAP1 00001066: DUP2 00001067: MSTORE 00001068: PUSH1 0x03 0000106a: PUSH1 0x20 0000106c: MSTORE 0000106d: PUSH1 0x40 0000106f: DUP2 00001070: KECCAK256 00001071: DUP1 00001072: SLOAD 00001073: PUSH1 0x01 00001075: SWAP3 00001076: SWAP1 00001077: PUSH2 0x1081 0000107a: SWAP1 0000107b: DUP5 0000107c: SWAP1 0000107d: PUSH2 0x1e29 00001080: JUMP 00001081: JUMPDEST 00001082: SWAP1 00001083: SWAP2 00001084: SSTORE 00001085: POP 00001086: POP 00001087: PUSH1 0x00 00001089: DUP2 0000108a: DUP2 0000108b: MSTORE 0000108c: PUSH1 0x02 0000108e: PUSH1 0x20 00001090: MSTORE 00001091: PUSH1 0x40 00001093: DUP1 00001094: DUP3 00001095: KECCAK256 00001096: DUP1 00001097: SLOAD 00001098: PUSH1 0x01 0000109a: PUSH1 0x01 0000109c: PUSH1 0xa0 0000109e: SHL 0000109f: SUB 000010a0: NOT 000010a1: AND 000010a2: PUSH1 0x01 000010a4: PUSH1 0x01 000010a6: PUSH1 0xa0 000010a8: SHL 000010a9: SUB 000010aa: DUP7 000010ab: DUP2 000010ac: AND 000010ad: SWAP2 000010ae: DUP3 000010af: OR 000010b0: SWAP1 000010b1: SWAP3 000010b2: SSTORE 000010b3: SWAP2 000010b4: MLOAD 000010b5: DUP5 000010b6: SWAP4 000010b7: SWAP2 000010b8: DUP8 000010b9: AND 000010ba: SWAP2 000010bb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010dc: SWAP2 000010dd: LOG4 000010de: POP 000010df: POP 000010e0: POP 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH1 0x0b 000010e5: DUP1 000010e6: SLOAD 000010e7: PUSH1 0x01 000010e9: PUSH1 0x01 000010eb: PUSH1 0xa0 000010ed: SHL 000010ee: SUB 000010ef: DUP4 000010f0: DUP2 000010f1: AND 000010f2: PUSH2 0x0100 000010f5: DUP2 000010f6: DUP2 000010f7: MUL 000010f8: PUSH2 0x0100 000010fb: PUSH1 0x01 000010fd: PUSH1 0xa8 000010ff: SHL 00001100: SUB 00001101: NOT 00001102: DUP6 00001103: AND 00001104: OR 00001105: SWAP1 00001106: SWAP5 00001107: SSTORE 00001108: PUSH1 0x40 0000110a: MLOAD 0000110b: SWAP4 0000110c: SWAP1 0000110d: SWAP3 0000110e: DIV 0000110f: AND 00001110: SWAP2 00001111: DUP3 00001112: SWAP1 00001113: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001134: SWAP1 00001135: PUSH1 0x00 00001137: SWAP1 00001138: LOG3 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH2 0x0ace 00001140: DUP3 00001141: DUP3 00001142: PUSH1 0x40 00001144: MLOAD 00001145: DUP1 00001146: PUSH1 0x20 00001148: ADD 00001149: PUSH1 0x40 0000114b: MSTORE 0000114c: DUP1 0000114d: PUSH1 0x00 0000114f: DUP2 00001150: MSTORE 00001151: POP 00001152: PUSH2 0x157a 00001155: JUMP 00001156: JUMPDEST 00001157: DUP2 00001158: PUSH1 0x01 0000115a: PUSH1 0x01 0000115c: PUSH1 0xa0 0000115e: SHL 0000115f: SUB 00001160: AND 00001161: DUP4 00001162: PUSH1 0x01 00001164: PUSH1 0x01 00001166: PUSH1 0xa0 00001168: SHL 00001169: SUB 0000116a: AND 0000116b: SUB 0000116c: PUSH2 0x11b7 0000116f: JUMPI 00001170: PUSH1 0x40 00001172: MLOAD 00001173: PUSH3 0x461bcd 00001177: PUSH1 0xe5 00001179: SHL 0000117a: DUP2 0000117b: MSTORE 0000117c: PUSH1 0x20 0000117e: PUSH1 0x04 00001180: DUP3 00001181: ADD 00001182: MSTORE 00001183: PUSH1 0x19 00001185: PUSH1 0x24 00001187: DUP3 00001188: ADD 00001189: MSTORE 0000118a: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 000011ab: PUSH1 0x44 000011ad: DUP3 000011ae: ADD 000011af: MSTORE 000011b0: PUSH1 0x64 000011b2: ADD 000011b3: PUSH2 0x061a 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH1 0x01 000011ba: PUSH1 0x01 000011bc: PUSH1 0xa0 000011be: SHL 000011bf: SUB 000011c0: DUP4 000011c1: DUP2 000011c2: AND 000011c3: PUSH1 0x00 000011c5: DUP2 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x05 000011ca: PUSH1 0x20 000011cc: SWAP1 000011cd: DUP2 000011ce: MSTORE 000011cf: PUSH1 0x40 000011d1: DUP1 000011d2: DUP4 000011d3: KECCAK256 000011d4: SWAP5 000011d5: DUP8 000011d6: AND 000011d7: DUP1 000011d8: DUP5 000011d9: MSTORE 000011da: SWAP5 000011db: DUP3 000011dc: MSTORE 000011dd: SWAP2 000011de: DUP3 000011df: SWAP1 000011e0: KECCAK256 000011e1: DUP1 000011e2: SLOAD 000011e3: PUSH1 0xff 000011e5: NOT 000011e6: AND 000011e7: DUP7 000011e8: ISZERO 000011e9: ISZERO 000011ea: SWAP1 000011eb: DUP2 000011ec: OR 000011ed: SWAP1 000011ee: SWAP2 000011ef: SSTORE 000011f0: SWAP2 000011f1: MLOAD 000011f2: SWAP2 000011f3: DUP3 000011f4: MSTORE 000011f5: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001216: SWAP2 00001217: ADD 00001218: PUSH1 0x40 0000121a: MLOAD 0000121b: DUP1 0000121c: SWAP2 0000121d: SUB 0000121e: SWAP1 0000121f: LOG3 00001220: POP 00001221: POP 00001222: POP 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH2 0x122f 00001228: DUP5 00001229: DUP5 0000122a: DUP5 0000122b: PUSH2 0x0f3b 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH2 0x123b 00001233: DUP5 00001234: DUP5 00001235: DUP5 00001236: DUP5 00001237: PUSH2 0x15ad 0000123a: JUMP 0000123b: JUMPDEST 0000123c: PUSH2 0x0b04 0000123f: JUMPI 00001240: PUSH1 0x40 00001242: MLOAD 00001243: PUSH3 0x461bcd 00001247: PUSH1 0xe5 00001249: SHL 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x04 0000124e: ADD 0000124f: PUSH2 0x061a 00001252: SWAP1 00001253: PUSH2 0x1e3c 00001256: JUMP 00001257: JUMPDEST 00001258: PUSH1 0x60 0000125a: DUP2 0000125b: PUSH1 0x00 0000125d: SUB 0000125e: PUSH2 0x127e 00001261: JUMPI 00001262: POP 00001263: POP 00001264: PUSH1 0x40 00001266: DUP1 00001267: MLOAD 00001268: DUP1 00001269: DUP3 0000126a: ADD 0000126b: SWAP1 0000126c: SWAP2 0000126d: MSTORE 0000126e: PUSH1 0x01 00001270: DUP2 00001271: MSTORE 00001272: PUSH1 0x03 00001274: PUSH1 0xfc 00001276: SHL 00001277: PUSH1 0x20 00001279: DUP3 0000127a: ADD 0000127b: MSTORE 0000127c: SWAP1 0000127d: JUMP 0000127e: JUMPDEST 0000127f: DUP2 00001280: PUSH1 0x00 00001282: JUMPDEST 00001283: DUP2 00001284: ISZERO 00001285: PUSH2 0x12a8 00001288: JUMPI 00001289: DUP1 0000128a: PUSH2 0x1292 0000128d: DUP2 0000128e: PUSH2 0x1e8e 00001291: JUMP 00001292: JUMPDEST 00001293: SWAP2 00001294: POP 00001295: PUSH2 0x12a1 00001298: SWAP1 00001299: POP 0000129a: PUSH1 0x0a 0000129c: DUP4 0000129d: PUSH2 0x1ebd 000012a0: JUMP 000012a1: JUMPDEST 000012a2: SWAP2 000012a3: POP 000012a4: PUSH2 0x1282 000012a7: JUMP 000012a8: JUMPDEST 000012a9: PUSH1 0x00 000012ab: DUP2 000012ac: PUSH8 0xffffffffffffffff 000012b5: DUP2 000012b6: GT 000012b7: ISZERO 000012b8: PUSH2 0x12c3 000012bb: JUMPI 000012bc: PUSH2 0x12c3 000012bf: PUSH2 0x1b3d 000012c2: JUMP 000012c3: JUMPDEST 000012c4: PUSH1 0x40 000012c6: MLOAD 000012c7: SWAP1 000012c8: DUP1 000012c9: DUP3 000012ca: MSTORE 000012cb: DUP1 000012cc: PUSH1 0x1f 000012ce: ADD 000012cf: PUSH1 0x1f 000012d1: NOT 000012d2: AND 000012d3: PUSH1 0x20 000012d5: ADD 000012d6: DUP3 000012d7: ADD 000012d8: PUSH1 0x40 000012da: MSTORE 000012db: DUP1 000012dc: ISZERO 000012dd: PUSH2 0x12ed 000012e0: JUMPI 000012e1: PUSH1 0x20 000012e3: DUP3 000012e4: ADD 000012e5: DUP2 000012e6: DUP1 000012e7: CALLDATASIZE 000012e8: DUP4 000012e9: CALLDATACOPY 000012ea: ADD 000012eb: SWAP1 000012ec: POP 000012ed: JUMPDEST 000012ee: POP 000012ef: SWAP1 000012f0: POP 000012f1: JUMPDEST 000012f2: DUP5 000012f3: ISZERO 000012f4: PUSH2 0x0f33 000012f7: JUMPI 000012f8: PUSH2 0x1302 000012fb: PUSH1 0x01 000012fd: DUP4 000012fe: PUSH2 0x1e16 00001301: JUMP 00001302: JUMPDEST 00001303: SWAP2 00001304: POP 00001305: PUSH2 0x130f 00001308: PUSH1 0x0a 0000130a: DUP7 0000130b: PUSH2 0x1ed1 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH2 0x131a 00001313: SWAP1 00001314: PUSH1 0x30 00001316: PUSH2 0x1e29 00001319: JUMP 0000131a: JUMPDEST 0000131b: PUSH1 0xf8 0000131d: SHL 0000131e: DUP2 0000131f: DUP4 00001320: DUP2 00001321: MLOAD 00001322: DUP2 00001323: LT 00001324: PUSH2 0x132f 00001327: JUMPI 00001328: PUSH2 0x132f 0000132b: PUSH2 0x1ce1 0000132e: JUMP 0000132f: JUMPDEST 00001330: PUSH1 0x20 00001332: ADD 00001333: ADD 00001334: SWAP1 00001335: PUSH1 0x01 00001337: PUSH1 0x01 00001339: PUSH1 0xf8 0000133b: SHL 0000133c: SUB 0000133d: NOT 0000133e: AND 0000133f: SWAP1 00001340: DUP2 00001341: PUSH1 0x00 00001343: BYTE 00001344: SWAP1 00001345: MSTORE8 00001346: POP 00001347: PUSH2 0x1351 0000134a: PUSH1 0x0a 0000134c: DUP7 0000134d: PUSH2 0x1ebd 00001350: JUMP 00001351: JUMPDEST 00001352: SWAP5 00001353: POP 00001354: PUSH2 0x12f1 00001357: JUMP 00001358: JUMPDEST 00001359: DUP1 0000135a: MLOAD 0000135b: PUSH1 0x60 0000135d: SWAP1 0000135e: PUSH1 0x00 00001360: DUP2 00001361: SWAP1 00001362: SUB 00001363: PUSH2 0x137c 00001366: JUMPI 00001367: POP 00001368: POP 00001369: PUSH1 0x40 0000136b: DUP1 0000136c: MLOAD 0000136d: PUSH1 0x20 0000136f: DUP2 00001370: ADD 00001371: SWAP1 00001372: SWAP2 00001373: MSTORE 00001374: PUSH1 0x00 00001376: DUP2 00001377: MSTORE 00001378: SWAP2 00001379: SWAP1 0000137a: POP 0000137b: JUMP 0000137c: JUMPDEST 0000137d: PUSH1 0x00 0000137f: PUSH1 0x03 00001381: PUSH2 0x138b 00001384: DUP4 00001385: PUSH1 0x02 00001387: PUSH2 0x1e29 0000138a: JUMP 0000138b: JUMPDEST 0000138c: PUSH2 0x1395 0000138f: SWAP2 00001390: SWAP1 00001391: PUSH2 0x1ebd 00001394: JUMP 00001395: JUMPDEST 00001396: PUSH2 0x13a0 00001399: SWAP1 0000139a: PUSH1 0x04 0000139c: PUSH2 0x1ee5 0000139f: JUMP 000013a0: JUMPDEST 000013a1: SWAP1 000013a2: POP 000013a3: PUSH1 0x00 000013a5: PUSH2 0x13af 000013a8: DUP3 000013a9: PUSH1 0x20 000013ab: PUSH2 0x1e29 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH8 0xffffffffffffffff 000013b9: DUP2 000013ba: GT 000013bb: ISZERO 000013bc: PUSH2 0x13c7 000013bf: JUMPI 000013c0: PUSH2 0x13c7 000013c3: PUSH2 0x1b3d 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x40 000013ca: MLOAD 000013cb: SWAP1 000013cc: DUP1 000013cd: DUP3 000013ce: MSTORE 000013cf: DUP1 000013d0: PUSH1 0x1f 000013d2: ADD 000013d3: PUSH1 0x1f 000013d5: NOT 000013d6: AND 000013d7: PUSH1 0x20 000013d9: ADD 000013da: DUP3 000013db: ADD 000013dc: PUSH1 0x40 000013de: MSTORE 000013df: DUP1 000013e0: ISZERO 000013e1: PUSH2 0x13f1 000013e4: JUMPI 000013e5: PUSH1 0x20 000013e7: DUP3 000013e8: ADD 000013e9: DUP2 000013ea: DUP1 000013eb: CALLDATASIZE 000013ec: DUP4 000013ed: CALLDATACOPY 000013ee: ADD 000013ef: SWAP1 000013f0: POP 000013f1: JUMPDEST 000013f2: POP 000013f3: SWAP1 000013f4: POP 000013f5: PUSH1 0x00 000013f7: PUSH1 0x40 000013f9: MLOAD 000013fa: DUP1 000013fb: PUSH1 0x60 000013fd: ADD 000013fe: PUSH1 0x40 00001400: MSTORE 00001401: DUP1 00001402: PUSH1 0x40 00001404: DUP2 00001405: MSTORE 00001406: PUSH1 0x20 00001408: ADD 00001409: PUSH2 0x1f6d 0000140c: PUSH1 0x40 0000140e: SWAP2 0000140f: CODECOPY 00001410: SWAP1 00001411: POP 00001412: PUSH1 0x01 00001414: DUP2 00001415: ADD 00001416: PUSH1 0x20 00001418: DUP4 00001419: ADD 0000141a: PUSH1 0x00 0000141c: JUMPDEST 0000141d: DUP7 0000141e: DUP2 0000141f: LT 00001420: ISZERO 00001421: PUSH2 0x147d 00001424: JUMPI 00001425: PUSH1 0x03 00001427: DUP2 00001428: DUP11 00001429: ADD 0000142a: DUP2 0000142b: ADD 0000142c: MLOAD 0000142d: PUSH1 0x3f 0000142f: PUSH1 0x12 00001431: DUP3 00001432: SWAP1 00001433: SHR 00001434: DUP2 00001435: AND 00001436: DUP7 00001437: ADD 00001438: MLOAD 00001439: PUSH1 0x0c 0000143b: DUP4 0000143c: SWAP1 0000143d: SHR 0000143e: DUP3 0000143f: AND 00001440: DUP8 00001441: ADD 00001442: MLOAD 00001443: PUSH1 0x06 00001445: DUP5 00001446: SWAP1 00001447: SHR 00001448: DUP4 00001449: AND 0000144a: DUP9 0000144b: ADD 0000144c: MLOAD 0000144d: SWAP3 0000144e: SWAP1 0000144f: SWAP4 00001450: AND 00001451: DUP8 00001452: ADD 00001453: MLOAD 00001454: PUSH1 0x08 00001456: SWAP2 00001457: DUP3 00001458: SHL 00001459: PUSH1 0xff 0000145b: SWAP5 0000145c: DUP6 0000145d: AND 0000145e: ADD 0000145f: DUP3 00001460: SHL 00001461: SWAP3 00001462: DUP5 00001463: AND 00001464: SWAP3 00001465: SWAP1 00001466: SWAP3 00001467: ADD 00001468: SWAP1 00001469: SHL 0000146a: SWAP2 0000146b: AND 0000146c: ADD 0000146d: PUSH1 0xe0 0000146f: SHL 00001470: DUP4 00001471: MSTORE 00001472: PUSH1 0x04 00001474: SWAP1 00001475: SWAP3 00001476: ADD 00001477: SWAP2 00001478: ADD 00001479: PUSH2 0x141c 0000147c: JUMP 0000147d: JUMPDEST 0000147e: POP 0000147f: PUSH1 0x03 00001481: DUP7 00001482: MOD 00001483: PUSH1 0x01 00001485: DUP2 00001486: EQ 00001487: PUSH2 0x1497 0000148a: JUMPI 0000148b: PUSH1 0x02 0000148d: DUP2 0000148e: EQ 0000148f: PUSH2 0x14a8 00001492: JUMPI 00001493: PUSH2 0x14b4 00001496: JUMP 00001497: JUMPDEST 00001498: PUSH2 0x3d3d 0000149b: PUSH1 0xf0 0000149d: SHL 0000149e: PUSH1 0x01 000014a0: NOT 000014a1: DUP4 000014a2: ADD 000014a3: MSTORE 000014a4: PUSH2 0x14b4 000014a7: JUMP 000014a8: JUMPDEST 000014a9: PUSH1 0x3d 000014ab: PUSH1 0xf8 000014ad: SHL 000014ae: PUSH1 0x00 000014b0: NOT 000014b1: DUP4 000014b2: ADD 000014b3: MSTORE 000014b4: JUMPDEST 000014b5: POP 000014b6: POP 000014b7: POP 000014b8: SWAP2 000014b9: DUP2 000014ba: MSTORE 000014bb: SWAP5 000014bc: SWAP4 000014bd: POP 000014be: POP 000014bf: POP 000014c0: POP 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x01 000014c5: PUSH1 0x01 000014c7: PUSH1 0xa0 000014c9: SHL 000014ca: SUB 000014cb: DUP4 000014cc: AND 000014cd: PUSH2 0x151d 000014d0: JUMPI 000014d1: PUSH2 0x1518 000014d4: DUP2 000014d5: PUSH1 0x08 000014d7: DUP1 000014d8: SLOAD 000014d9: PUSH1 0x00 000014db: DUP4 000014dc: DUP2 000014dd: MSTORE 000014de: PUSH1 0x09 000014e0: PUSH1 0x20 000014e2: MSTORE 000014e3: PUSH1 0x40 000014e5: DUP2 000014e6: KECCAK256 000014e7: DUP3 000014e8: SWAP1 000014e9: SSTORE 000014ea: PUSH1 0x01 000014ec: DUP3 000014ed: ADD 000014ee: DUP4 000014ef: SSTORE 000014f0: SWAP2 000014f1: SWAP1 000014f2: SWAP2 000014f3: MSTORE 000014f4: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 00001515: ADD 00001516: SSTORE 00001517: JUMP 00001518: JUMPDEST 00001519: PUSH2 0x1540 0000151c: JUMP 0000151d: JUMPDEST 0000151e: DUP2 0000151f: PUSH1 0x01 00001521: PUSH1 0x01 00001523: PUSH1 0xa0 00001525: SHL 00001526: SUB 00001527: AND 00001528: DUP4 00001529: PUSH1 0x01 0000152b: PUSH1 0x01 0000152d: PUSH1 0xa0 0000152f: SHL 00001530: SUB 00001531: AND 00001532: EQ 00001533: PUSH2 0x1540 00001536: JUMPI 00001537: PUSH2 0x1540 0000153a: DUP4 0000153b: DUP3 0000153c: PUSH2 0x16ae 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH1 0x01 00001543: PUSH1 0x01 00001545: PUSH1 0xa0 00001547: SHL 00001548: SUB 00001549: DUP3 0000154a: AND 0000154b: PUSH2 0x1557 0000154e: JUMPI 0000154f: PUSH2 0x06bb 00001552: DUP2 00001553: PUSH2 0x174b 00001556: JUMP 00001557: JUMPDEST 00001558: DUP3 00001559: PUSH1 0x01 0000155b: PUSH1 0x01 0000155d: PUSH1 0xa0 0000155f: SHL 00001560: SUB 00001561: AND 00001562: DUP3 00001563: PUSH1 0x01 00001565: PUSH1 0x01 00001567: PUSH1 0xa0 00001569: SHL 0000156a: SUB 0000156b: AND 0000156c: EQ 0000156d: PUSH2 0x06bb 00001570: JUMPI 00001571: PUSH2 0x06bb 00001574: DUP3 00001575: DUP3 00001576: PUSH2 0x17fa 00001579: JUMP 0000157a: JUMPDEST 0000157b: PUSH2 0x1584 0000157e: DUP4 0000157f: DUP4 00001580: PUSH2 0x183e 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH2 0x1591 00001588: PUSH1 0x00 0000158a: DUP5 0000158b: DUP5 0000158c: DUP5 0000158d: PUSH2 0x15ad 00001590: JUMP 00001591: JUMPDEST 00001592: PUSH2 0x06bb 00001595: JUMPI 00001596: PUSH1 0x40 00001598: MLOAD 00001599: PUSH3 0x461bcd 0000159d: PUSH1 0xe5 0000159f: SHL 000015a0: DUP2 000015a1: MSTORE 000015a2: PUSH1 0x04 000015a4: ADD 000015a5: PUSH2 0x061a 000015a8: SWAP1 000015a9: PUSH2 0x1e3c 000015ac: JUMP 000015ad: JUMPDEST 000015ae: PUSH1 0x00 000015b0: PUSH1 0x01 000015b2: PUSH1 0x01 000015b4: PUSH1 0xa0 000015b6: SHL 000015b7: SUB 000015b8: DUP5 000015b9: AND 000015ba: EXTCODESIZE 000015bb: ISZERO 000015bc: PUSH2 0x16a3 000015bf: JUMPI 000015c0: PUSH1 0x40 000015c2: MLOAD 000015c3: PUSH4 0x0a85bd01 000015c8: PUSH1 0xe1 000015ca: SHL 000015cb: DUP2 000015cc: MSTORE 000015cd: PUSH1 0x01 000015cf: PUSH1 0x01 000015d1: PUSH1 0xa0 000015d3: SHL 000015d4: SUB 000015d5: DUP6 000015d6: AND 000015d7: SWAP1 000015d8: PUSH4 0x150b7a02 000015dd: SWAP1 000015de: PUSH2 0x15f1 000015e1: SWAP1 000015e2: CALLER 000015e3: SWAP1 000015e4: DUP10 000015e5: SWAP1 000015e6: DUP9 000015e7: SWAP1 000015e8: DUP9 000015e9: SWAP1 000015ea: PUSH1 0x04 000015ec: ADD 000015ed: PUSH2 0x1efc 000015f0: JUMP 000015f1: JUMPDEST 000015f2: PUSH1 0x20 000015f4: PUSH1 0x40 000015f6: MLOAD 000015f7: DUP1 000015f8: DUP4 000015f9: SUB 000015fa: DUP2 000015fb: PUSH1 0x00 000015fd: DUP8 000015fe: GAS 000015ff: CALL 00001600: SWAP3 00001601: POP 00001602: POP 00001603: POP 00001604: DUP1 00001605: ISZERO 00001606: PUSH2 0x162c 00001609: JUMPI 0000160a: POP 0000160b: PUSH1 0x40 0000160d: DUP1 0000160e: MLOAD 0000160f: PUSH1 0x1f 00001611: RETURNDATASIZE 00001612: SWAP1 00001613: DUP2 00001614: ADD 00001615: PUSH1 0x1f 00001617: NOT 00001618: AND 00001619: DUP3 0000161a: ADD 0000161b: SWAP1 0000161c: SWAP3 0000161d: MSTORE 0000161e: PUSH2 0x1629 00001621: SWAP2 00001622: DUP2 00001623: ADD 00001624: SWAP1 00001625: PUSH2 0x1f39 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH1 0x01 0000162c: JUMPDEST 0000162d: PUSH2 0x1689 00001630: JUMPI 00001631: RETURNDATASIZE 00001632: DUP1 00001633: DUP1 00001634: ISZERO 00001635: PUSH2 0x165a 00001638: JUMPI 00001639: PUSH1 0x40 0000163b: MLOAD 0000163c: SWAP2 0000163d: POP 0000163e: PUSH1 0x1f 00001640: NOT 00001641: PUSH1 0x3f 00001643: RETURNDATASIZE 00001644: ADD 00001645: AND 00001646: DUP3 00001647: ADD 00001648: PUSH1 0x40 0000164a: MSTORE 0000164b: RETURNDATASIZE 0000164c: DUP3 0000164d: MSTORE 0000164e: RETURNDATASIZE 0000164f: PUSH1 0x00 00001651: PUSH1 0x20 00001653: DUP5 00001654: ADD 00001655: RETURNDATACOPY 00001656: PUSH2 0x165f 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x60 0000165d: SWAP2 0000165e: POP 0000165f: JUMPDEST 00001660: POP 00001661: DUP1 00001662: MLOAD 00001663: PUSH1 0x00 00001665: SUB 00001666: PUSH2 0x1681 00001669: JUMPI 0000166a: PUSH1 0x40 0000166c: MLOAD 0000166d: PUSH3 0x461bcd 00001671: PUSH1 0xe5 00001673: SHL 00001674: DUP2 00001675: MSTORE 00001676: PUSH1 0x04 00001678: ADD 00001679: PUSH2 0x061a 0000167c: SWAP1 0000167d: PUSH2 0x1e3c 00001680: JUMP 00001681: JUMPDEST 00001682: DUP1 00001683: MLOAD 00001684: DUP2 00001685: PUSH1 0x20 00001687: ADD 00001688: REVERT 00001689: JUMPDEST 0000168a: PUSH1 0x01 0000168c: PUSH1 0x01 0000168e: PUSH1 0xe0 00001690: SHL 00001691: SUB 00001692: NOT 00001693: AND 00001694: PUSH4 0x0a85bd01 00001699: PUSH1 0xe1 0000169b: SHL 0000169c: EQ 0000169d: SWAP1 0000169e: POP 0000169f: PUSH2 0x0f33 000016a2: JUMP 000016a3: JUMPDEST 000016a4: POP 000016a5: PUSH1 0x01 000016a7: SWAP5 000016a8: SWAP4 000016a9: POP 000016aa: POP 000016ab: POP 000016ac: POP 000016ad: JUMP 000016ae: JUMPDEST 000016af: PUSH1 0x00 000016b1: PUSH1 0x01 000016b3: PUSH2 0x16bb 000016b6: DUP5 000016b7: PUSH2 0x08c9 000016ba: JUMP 000016bb: JUMPDEST 000016bc: PUSH2 0x16c5 000016bf: SWAP2 000016c0: SWAP1 000016c1: PUSH2 0x1e16 000016c4: JUMP 000016c5: JUMPDEST 000016c6: PUSH1 0x00 000016c8: DUP4 000016c9: DUP2 000016ca: MSTORE 000016cb: PUSH1 0x07 000016cd: PUSH1 0x20 000016cf: MSTORE 000016d0: PUSH1 0x40 000016d2: SWAP1 000016d3: KECCAK256 000016d4: SLOAD 000016d5: SWAP1 000016d6: SWAP2 000016d7: POP 000016d8: DUP1 000016d9: DUP3 000016da: EQ 000016db: PUSH2 0x1718 000016de: JUMPI 000016df: PUSH1 0x01 000016e1: PUSH1 0x01 000016e3: PUSH1 0xa0 000016e5: SHL 000016e6: SUB 000016e7: DUP5 000016e8: AND 000016e9: PUSH1 0x00 000016eb: SWAP1 000016ec: DUP2 000016ed: MSTORE 000016ee: PUSH1 0x06 000016f0: PUSH1 0x20 000016f2: SWAP1 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x40 000016f7: DUP1 000016f8: DUP4 000016f9: KECCAK256 000016fa: DUP6 000016fb: DUP5 000016fc: MSTORE 000016fd: DUP3 000016fe: MSTORE 000016ff: DUP1 00001700: DUP4 00001701: KECCAK256 00001702: SLOAD 00001703: DUP5 00001704: DUP5 00001705: MSTORE 00001706: DUP2 00001707: DUP5 00001708: KECCAK256 00001709: DUP2 0000170a: SWAP1 0000170b: SSTORE 0000170c: DUP4 0000170d: MSTORE 0000170e: PUSH1 0x07 00001710: SWAP1 00001711: SWAP2 00001712: MSTORE 00001713: SWAP1 00001714: KECCAK256 00001715: DUP2 00001716: SWAP1 00001717: SSTORE 00001718: JUMPDEST 00001719: POP 0000171a: PUSH1 0x00 0000171c: SWAP2 0000171d: DUP3 0000171e: MSTORE 0000171f: PUSH1 0x07 00001721: PUSH1 0x20 00001723: SWAP1 00001724: DUP2 00001725: MSTORE 00001726: PUSH1 0x40 00001728: DUP1 00001729: DUP5 0000172a: KECCAK256 0000172b: DUP5 0000172c: SWAP1 0000172d: SSTORE 0000172e: PUSH1 0x01 00001730: PUSH1 0x01 00001732: PUSH1 0xa0 00001734: SHL 00001735: SUB 00001736: SWAP1 00001737: SWAP5 00001738: AND 00001739: DUP4 0000173a: MSTORE 0000173b: PUSH1 0x06 0000173d: DUP2 0000173e: MSTORE 0000173f: DUP4 00001740: DUP4 00001741: KECCAK256 00001742: SWAP2 00001743: DUP4 00001744: MSTORE 00001745: MSTORE 00001746: SWAP1 00001747: DUP2 00001748: KECCAK256 00001749: SSTORE 0000174a: JUMP 0000174b: JUMPDEST 0000174c: PUSH1 0x08 0000174e: SLOAD 0000174f: PUSH1 0x00 00001751: SWAP1 00001752: PUSH2 0x175d 00001755: SWAP1 00001756: PUSH1 0x01 00001758: SWAP1 00001759: PUSH2 0x1e16 0000175c: JUMP 0000175d: JUMPDEST 0000175e: PUSH1 0x00 00001760: DUP4 00001761: DUP2 00001762: MSTORE 00001763: PUSH1 0x09 00001765: PUSH1 0x20 00001767: MSTORE 00001768: PUSH1 0x40 0000176a: DUP2 0000176b: KECCAK256 0000176c: SLOAD 0000176d: PUSH1 0x08 0000176f: DUP1 00001770: SLOAD 00001771: SWAP4 00001772: SWAP5 00001773: POP 00001774: SWAP1 00001775: SWAP3 00001776: DUP5 00001777: SWAP1 00001778: DUP2 00001779: LT 0000177a: PUSH2 0x1785 0000177d: JUMPI 0000177e: PUSH2 0x1785 00001781: PUSH2 0x1ce1 00001784: JUMP 00001785: JUMPDEST 00001786: SWAP1 00001787: PUSH1 0x00 00001789: MSTORE 0000178a: PUSH1 0x20 0000178c: PUSH1 0x00 0000178e: KECCAK256 0000178f: ADD 00001790: SLOAD 00001791: SWAP1 00001792: POP 00001793: DUP1 00001794: PUSH1 0x08 00001796: DUP4 00001797: DUP2 00001798: SLOAD 00001799: DUP2 0000179a: LT 0000179b: PUSH2 0x17a6 0000179e: JUMPI 0000179f: PUSH2 0x17a6 000017a2: PUSH2 0x1ce1 000017a5: JUMP 000017a6: JUMPDEST 000017a7: PUSH1 0x00 000017a9: SWAP2 000017aa: DUP3 000017ab: MSTORE 000017ac: PUSH1 0x20 000017ae: DUP1 000017af: DUP4 000017b0: KECCAK256 000017b1: SWAP1 000017b2: SWAP2 000017b3: ADD 000017b4: SWAP3 000017b5: SWAP1 000017b6: SWAP3 000017b7: SSTORE 000017b8: DUP3 000017b9: DUP2 000017ba: MSTORE 000017bb: PUSH1 0x09 000017bd: SWAP1 000017be: SWAP2 000017bf: MSTORE 000017c0: PUSH1 0x40 000017c2: DUP1 000017c3: DUP3 000017c4: KECCAK256 000017c5: DUP5 000017c6: SWAP1 000017c7: SSTORE 000017c8: DUP6 000017c9: DUP3 000017ca: MSTORE 000017cb: DUP2 000017cc: KECCAK256 000017cd: SSTORE 000017ce: PUSH1 0x08 000017d0: DUP1 000017d1: SLOAD 000017d2: DUP1 000017d3: PUSH2 0x17de 000017d6: JUMPI 000017d7: PUSH2 0x17de 000017da: PUSH2 0x1f56 000017dd: JUMP 000017de: JUMPDEST 000017df: PUSH1 0x01 000017e1: SWAP1 000017e2: SUB 000017e3: DUP2 000017e4: DUP2 000017e5: SWAP1 000017e6: PUSH1 0x00 000017e8: MSTORE 000017e9: PUSH1 0x20 000017eb: PUSH1 0x00 000017ed: KECCAK256 000017ee: ADD 000017ef: PUSH1 0x00 000017f1: SWAP1 000017f2: SSTORE 000017f3: SWAP1 000017f4: SSTORE 000017f5: POP 000017f6: POP 000017f7: POP 000017f8: POP 000017f9: JUMP 000017fa: JUMPDEST 000017fb: PUSH1 0x00 000017fd: PUSH2 0x1805 00001800: DUP4 00001801: PUSH2 0x08c9 00001804: JUMP 00001805: JUMPDEST 00001806: PUSH1 0x01 00001808: PUSH1 0x01 0000180a: PUSH1 0xa0 0000180c: SHL 0000180d: SUB 0000180e: SWAP1 0000180f: SWAP4 00001810: AND 00001811: PUSH1 0x00 00001813: SWAP1 00001814: DUP2 00001815: MSTORE 00001816: PUSH1 0x06 00001818: PUSH1 0x20 0000181a: SWAP1 0000181b: DUP2 0000181c: MSTORE 0000181d: PUSH1 0x40 0000181f: DUP1 00001820: DUP4 00001821: KECCAK256 00001822: DUP7 00001823: DUP5 00001824: MSTORE 00001825: DUP3 00001826: MSTORE 00001827: DUP1 00001828: DUP4 00001829: KECCAK256 0000182a: DUP6 0000182b: SWAP1 0000182c: SSTORE 0000182d: SWAP4 0000182e: DUP3 0000182f: MSTORE 00001830: PUSH1 0x07 00001832: SWAP1 00001833: MSTORE 00001834: SWAP2 00001835: SWAP1 00001836: SWAP2 00001837: KECCAK256 00001838: SWAP2 00001839: SWAP1 0000183a: SWAP2 0000183b: SSTORE 0000183c: POP 0000183d: JUMP 0000183e: JUMPDEST 0000183f: PUSH1 0x01 00001841: PUSH1 0x01 00001843: PUSH1 0xa0 00001845: SHL 00001846: SUB 00001847: DUP3 00001848: AND 00001849: PUSH2 0x1894 0000184c: JUMPI 0000184d: PUSH1 0x40 0000184f: MLOAD 00001850: PUSH3 0x461bcd 00001854: PUSH1 0xe5 00001856: SHL 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x20 0000185b: PUSH1 0x04 0000185d: DUP3 0000185e: ADD 0000185f: DUP2 00001860: SWAP1 00001861: MSTORE 00001862: PUSH1 0x24 00001864: DUP3 00001865: ADD 00001866: MSTORE 00001867: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00001888: PUSH1 0x44 0000188a: DUP3 0000188b: ADD 0000188c: MSTORE 0000188d: PUSH1 0x64 0000188f: ADD 00001890: PUSH2 0x061a 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH1 0x00 00001897: DUP2 00001898: DUP2 00001899: MSTORE 0000189a: PUSH1 0x02 0000189c: PUSH1 0x20 0000189e: MSTORE 0000189f: PUSH1 0x40 000018a1: SWAP1 000018a2: KECCAK256 000018a3: SLOAD 000018a4: PUSH1 0x01 000018a6: PUSH1 0x01 000018a8: PUSH1 0xa0 000018aa: SHL 000018ab: SUB 000018ac: AND 000018ad: ISZERO 000018ae: PUSH2 0x18f9 000018b1: JUMPI 000018b2: PUSH1 0x40 000018b4: MLOAD 000018b5: PUSH3 0x461bcd 000018b9: PUSH1 0xe5 000018bb: SHL 000018bc: DUP2 000018bd: MSTORE 000018be: PUSH1 0x20 000018c0: PUSH1 0x04 000018c2: DUP3 000018c3: ADD 000018c4: MSTORE 000018c5: PUSH1 0x1c 000018c7: PUSH1 0x24 000018c9: DUP3 000018ca: ADD 000018cb: MSTORE 000018cc: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 000018ed: PUSH1 0x44 000018ef: DUP3 000018f0: ADD 000018f1: MSTORE 000018f2: PUSH1 0x64 000018f4: ADD 000018f5: PUSH2 0x061a 000018f8: JUMP 000018f9: JUMPDEST 000018fa: PUSH2 0x1905 000018fd: PUSH1 0x00 000018ff: DUP4 00001900: DUP4 00001901: PUSH2 0x14c2 00001904: JUMP 00001905: JUMPDEST 00001906: PUSH1 0x01 00001908: PUSH1 0x01 0000190a: PUSH1 0xa0 0000190c: SHL 0000190d: SUB 0000190e: DUP3 0000190f: AND 00001910: PUSH1 0x00 00001912: SWAP1 00001913: DUP2 00001914: MSTORE 00001915: PUSH1 0x03 00001917: PUSH1 0x20 00001919: MSTORE 0000191a: PUSH1 0x40 0000191c: DUP2 0000191d: KECCAK256 0000191e: DUP1 0000191f: SLOAD 00001920: PUSH1 0x01 00001922: SWAP3 00001923: SWAP1 00001924: PUSH2 0x192e 00001927: SWAP1 00001928: DUP5 00001929: SWAP1 0000192a: PUSH2 0x1e29 0000192d: JUMP 0000192e: JUMPDEST 0000192f: SWAP1 00001930: SWAP2 00001931: SSTORE 00001932: POP 00001933: POP 00001934: PUSH1 0x00 00001936: DUP2 00001937: DUP2 00001938: MSTORE 00001939: PUSH1 0x02 0000193b: PUSH1 0x20 0000193d: MSTORE 0000193e: PUSH1 0x40 00001940: DUP1 00001941: DUP3 00001942: KECCAK256 00001943: DUP1 00001944: SLOAD 00001945: PUSH1 0x01 00001947: PUSH1 0x01 00001949: PUSH1 0xa0 0000194b: SHL 0000194c: SUB 0000194d: NOT 0000194e: AND 0000194f: PUSH1 0x01 00001951: PUSH1 0x01 00001953: PUSH1 0xa0 00001955: SHL 00001956: SUB 00001957: DUP7 00001958: AND 00001959: SWAP1 0000195a: DUP2 0000195b: OR 0000195c: SWAP1 0000195d: SWAP2 0000195e: SSTORE 0000195f: SWAP1 00001960: MLOAD 00001961: DUP4 00001962: SWAP3 00001963: SWAP1 00001964: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001985: SWAP1 00001986: DUP3 00001987: SWAP1 00001988: LOG4 00001989: POP 0000198a: POP 0000198b: JUMP 0000198c: JUMPDEST 0000198d: PUSH1 0x01 0000198f: PUSH1 0x01 00001991: PUSH1 0xe0 00001993: SHL 00001994: SUB 00001995: NOT 00001996: DUP2 00001997: AND 00001998: DUP2 00001999: EQ 0000199a: PUSH2 0x04e2 0000199d: JUMPI 0000199e: PUSH1 0x00 000019a0: DUP1 000019a1: REVERT 000019a2: JUMPDEST 000019a3: PUSH1 0x00 000019a5: PUSH1 0x20 000019a7: DUP3 000019a8: DUP5 000019a9: SUB 000019aa: SLT 000019ab: ISZERO 000019ac: PUSH2 0x19b4 000019af: JUMPI 000019b0: PUSH1 0x00 000019b2: DUP1 000019b3: REVERT 000019b4: JUMPDEST 000019b5: DUP2 000019b6: CALLDATALOAD 000019b7: PUSH2 0x19bf 000019ba: DUP2 000019bb: PUSH2 0x198c 000019be: JUMP 000019bf: JUMPDEST 000019c0: SWAP4 000019c1: SWAP3 000019c2: POP 000019c3: POP 000019c4: POP 000019c5: JUMP 000019c6: JUMPDEST 000019c7: DUP1 000019c8: CALLDATALOAD 000019c9: DUP1 000019ca: ISZERO 000019cb: ISZERO 000019cc: DUP2 000019cd: EQ 000019ce: PUSH2 0x19d6 000019d1: JUMPI 000019d2: PUSH1 0x00 000019d4: DUP1 000019d5: REVERT 000019d6: JUMPDEST 000019d7: SWAP2 000019d8: SWAP1 000019d9: POP 000019da: JUMP 000019db: JUMPDEST 000019dc: PUSH1 0x00 000019de: PUSH1 0x20 000019e0: DUP3 000019e1: DUP5 000019e2: SUB 000019e3: SLT 000019e4: ISZERO 000019e5: PUSH2 0x19ed 000019e8: JUMPI 000019e9: PUSH1 0x00 000019eb: DUP1 000019ec: REVERT 000019ed: JUMPDEST 000019ee: PUSH2 0x19bf 000019f1: DUP3 000019f2: PUSH2 0x19c6 000019f5: JUMP 000019f6: JUMPDEST 000019f7: PUSH1 0x00 000019f9: JUMPDEST 000019fa: DUP4 000019fb: DUP2 000019fc: LT 000019fd: ISZERO 000019fe: PUSH2 0x1a11 00001a01: JUMPI 00001a02: DUP2 00001a03: DUP2 00001a04: ADD 00001a05: MLOAD 00001a06: DUP4 00001a07: DUP3 00001a08: ADD 00001a09: MSTORE 00001a0a: PUSH1 0x20 00001a0c: ADD 00001a0d: PUSH2 0x19f9 00001a10: JUMP 00001a11: JUMPDEST 00001a12: POP 00001a13: POP 00001a14: PUSH1 0x00 00001a16: SWAP2 00001a17: ADD 00001a18: MSTORE 00001a19: JUMP 00001a1a: JUMPDEST 00001a1b: PUSH1 0x00 00001a1d: DUP2 00001a1e: MLOAD 00001a1f: DUP1 00001a20: DUP5 00001a21: MSTORE 00001a22: PUSH2 0x1a32 00001a25: DUP2 00001a26: PUSH1 0x20 00001a28: DUP7 00001a29: ADD 00001a2a: PUSH1 0x20 00001a2c: DUP7 00001a2d: ADD 00001a2e: PUSH2 0x19f6 00001a31: JUMP 00001a32: JUMPDEST 00001a33: PUSH1 0x1f 00001a35: ADD 00001a36: PUSH1 0x1f 00001a38: NOT 00001a39: AND 00001a3a: SWAP3 00001a3b: SWAP1 00001a3c: SWAP3 00001a3d: ADD 00001a3e: PUSH1 0x20 00001a40: ADD 00001a41: SWAP3 00001a42: SWAP2 00001a43: POP 00001a44: POP 00001a45: JUMP 00001a46: JUMPDEST 00001a47: PUSH1 0x20 00001a49: DUP2 00001a4a: MSTORE 00001a4b: PUSH1 0x00 00001a4d: PUSH2 0x19bf 00001a50: PUSH1 0x20 00001a52: DUP4 00001a53: ADD 00001a54: DUP5 00001a55: PUSH2 0x1a1a 00001a58: JUMP 00001a59: JUMPDEST 00001a5a: PUSH1 0x00 00001a5c: PUSH1 0x20 00001a5e: DUP3 00001a5f: DUP5 00001a60: SUB 00001a61: SLT 00001a62: ISZERO 00001a63: PUSH2 0x1a6b 00001a66: JUMPI 00001a67: PUSH1 0x00 00001a69: DUP1 00001a6a: REVERT 00001a6b: JUMPDEST 00001a6c: POP 00001a6d: CALLDATALOAD 00001a6e: SWAP2 00001a6f: SWAP1 00001a70: POP 00001a71: JUMP 00001a72: JUMPDEST 00001a73: DUP1 00001a74: CALLDATALOAD 00001a75: PUSH1 0x01 00001a77: PUSH1 0x01 00001a79: PUSH1 0xa0 00001a7b: SHL 00001a7c: SUB 00001a7d: DUP2 00001a7e: AND 00001a7f: DUP2 00001a80: EQ 00001a81: PUSH2 0x19d6 00001a84: JUMPI 00001a85: PUSH1 0x00 00001a87: DUP1 00001a88: REVERT 00001a89: JUMPDEST 00001a8a: PUSH1 0x00 00001a8c: DUP1 00001a8d: PUSH1 0x40 00001a8f: DUP4 00001a90: DUP6 00001a91: SUB 00001a92: SLT 00001a93: ISZERO 00001a94: PUSH2 0x1a9c 00001a97: JUMPI 00001a98: PUSH1 0x00 00001a9a: DUP1 00001a9b: REVERT 00001a9c: JUMPDEST 00001a9d: PUSH2 0x1aa5 00001aa0: DUP4 00001aa1: PUSH2 0x1a72 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: SWAP5 00001aa7: PUSH1 0x20 00001aa9: SWAP4 00001aaa: SWAP1 00001aab: SWAP4 00001aac: ADD 00001aad: CALLDATALOAD 00001aae: SWAP4 00001aaf: POP 00001ab0: POP 00001ab1: POP 00001ab2: JUMP 00001ab3: JUMPDEST 00001ab4: PUSH1 0x00 00001ab6: DUP1 00001ab7: PUSH1 0x00 00001ab9: PUSH1 0x60 00001abb: DUP5 00001abc: DUP7 00001abd: SUB 00001abe: SLT 00001abf: ISZERO 00001ac0: PUSH2 0x1ac8 00001ac3: JUMPI 00001ac4: PUSH1 0x00 00001ac6: DUP1 00001ac7: REVERT 00001ac8: JUMPDEST 00001ac9: PUSH2 0x1ad1 00001acc: DUP5 00001acd: PUSH2 0x1a72 00001ad0: JUMP 00001ad1: JUMPDEST 00001ad2: SWAP3 00001ad3: POP 00001ad4: PUSH2 0x1adf 00001ad7: PUSH1 0x20 00001ad9: DUP6 00001ada: ADD 00001adb: PUSH2 0x1a72 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: SWAP2 00001ae1: POP 00001ae2: PUSH1 0x40 00001ae4: DUP5 00001ae5: ADD 00001ae6: CALLDATALOAD 00001ae7: SWAP1 00001ae8: POP 00001ae9: SWAP3 00001aea: POP 00001aeb: SWAP3 00001aec: POP 00001aed: SWAP3 00001aee: JUMP 00001aef: JUMPDEST 00001af0: PUSH1 0x00 00001af2: PUSH1 0x20 00001af4: DUP3 00001af5: DUP5 00001af6: SUB 00001af7: SLT 00001af8: ISZERO 00001af9: PUSH2 0x1b01 00001afc: JUMPI 00001afd: PUSH1 0x00 00001aff: DUP1 00001b00: REVERT 00001b01: JUMPDEST 00001b02: PUSH2 0x19bf 00001b05: DUP3 00001b06: PUSH2 0x1a72 00001b09: JUMP 00001b0a: JUMPDEST 00001b0b: PUSH1 0x00 00001b0d: DUP1 00001b0e: PUSH1 0x40 00001b10: DUP4 00001b11: DUP6 00001b12: SUB 00001b13: SLT 00001b14: ISZERO 00001b15: PUSH2 0x1b1d 00001b18: JUMPI 00001b19: PUSH1 0x00 00001b1b: DUP1 00001b1c: REVERT 00001b1d: JUMPDEST 00001b1e: PUSH2 0x1b26 00001b21: DUP4 00001b22: PUSH2 0x1a72 00001b25: JUMP 00001b26: JUMPDEST 00001b27: SWAP2 00001b28: POP 00001b29: PUSH2 0x1b34 00001b2c: PUSH1 0x20 00001b2e: DUP5 00001b2f: ADD 00001b30: PUSH2 0x19c6 00001b33: JUMP 00001b34: JUMPDEST 00001b35: SWAP1 00001b36: POP 00001b37: SWAP3 00001b38: POP 00001b39: SWAP3 00001b3a: SWAP1 00001b3b: POP 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: PUSH4 0x4e487b71 00001b43: PUSH1 0xe0 00001b45: SHL 00001b46: PUSH1 0x00 00001b48: MSTORE 00001b49: PUSH1 0x41 00001b4b: PUSH1 0x04 00001b4d: MSTORE 00001b4e: PUSH1 0x24 00001b50: PUSH1 0x00 00001b52: REVERT 00001b53: JUMPDEST 00001b54: PUSH1 0x00 00001b56: DUP1 00001b57: PUSH1 0x00 00001b59: DUP1 00001b5a: PUSH1 0x80 00001b5c: DUP6 00001b5d: DUP8 00001b5e: SUB 00001b5f: SLT 00001b60: ISZERO 00001b61: PUSH2 0x1b69 00001b64: JUMPI 00001b65: PUSH1 0x00 00001b67: DUP1 00001b68: REVERT 00001b69: JUMPDEST 00001b6a: PUSH2 0x1b72 00001b6d: DUP6 00001b6e: PUSH2 0x1a72 00001b71: JUMP 00001b72: JUMPDEST 00001b73: SWAP4 00001b74: POP 00001b75: PUSH2 0x1b80 00001b78: PUSH1 0x20 00001b7a: DUP7 00001b7b: ADD 00001b7c: PUSH2 0x1a72 00001b7f: JUMP 00001b80: JUMPDEST 00001b81: SWAP3 00001b82: POP 00001b83: PUSH1 0x40 00001b85: DUP6 00001b86: ADD 00001b87: CALLDATALOAD 00001b88: SWAP2 00001b89: POP 00001b8a: PUSH1 0x60 00001b8c: DUP6 00001b8d: ADD 00001b8e: CALLDATALOAD 00001b8f: PUSH8 0xffffffffffffffff 00001b98: DUP1 00001b99: DUP3 00001b9a: GT 00001b9b: ISZERO 00001b9c: PUSH2 0x1ba4 00001b9f: JUMPI 00001ba0: PUSH1 0x00 00001ba2: DUP1 00001ba3: REVERT 00001ba4: JUMPDEST 00001ba5: DUP2 00001ba6: DUP8 00001ba7: ADD 00001ba8: SWAP2 00001ba9: POP 00001baa: DUP8 00001bab: PUSH1 0x1f 00001bad: DUP4 00001bae: ADD 00001baf: SLT 00001bb0: PUSH2 0x1bb8 00001bb3: JUMPI 00001bb4: PUSH1 0x00 00001bb6: DUP1 00001bb7: REVERT 00001bb8: JUMPDEST 00001bb9: DUP2 00001bba: CALLDATALOAD 00001bbb: DUP2 00001bbc: DUP2 00001bbd: GT 00001bbe: ISZERO 00001bbf: PUSH2 0x1bca 00001bc2: JUMPI 00001bc3: PUSH2 0x1bca 00001bc6: PUSH2 0x1b3d 00001bc9: JUMP 00001bca: JUMPDEST 00001bcb: PUSH1 0x40 00001bcd: MLOAD 00001bce: PUSH1 0x1f 00001bd0: DUP3 00001bd1: ADD 00001bd2: PUSH1 0x1f 00001bd4: NOT 00001bd5: SWAP1 00001bd6: DUP2 00001bd7: AND 00001bd8: PUSH1 0x3f 00001bda: ADD 00001bdb: AND 00001bdc: DUP2 00001bdd: ADD 00001bde: SWAP1 00001bdf: DUP4 00001be0: DUP3 00001be1: GT 00001be2: DUP2 00001be3: DUP4 00001be4: LT 00001be5: OR 00001be6: ISZERO 00001be7: PUSH2 0x1bf2 00001bea: JUMPI 00001beb: PUSH2 0x1bf2 00001bee: PUSH2 0x1b3d 00001bf1: JUMP 00001bf2: JUMPDEST 00001bf3: DUP2 00001bf4: PUSH1 0x40 00001bf6: MSTORE 00001bf7: DUP3 00001bf8: DUP2 00001bf9: MSTORE 00001bfa: DUP11 00001bfb: PUSH1 0x20 00001bfd: DUP5 00001bfe: DUP8 00001bff: ADD 00001c00: ADD 00001c01: GT 00001c02: ISZERO 00001c03: PUSH2 0x1c0b 00001c06: JUMPI 00001c07: PUSH1 0x00 00001c09: DUP1 00001c0a: REVERT 00001c0b: JUMPDEST 00001c0c: DUP3 00001c0d: PUSH1 0x20 00001c0f: DUP7 00001c10: ADD 00001c11: PUSH1 0x20 00001c13: DUP4 00001c14: ADD 00001c15: CALLDATACOPY 00001c16: PUSH1 0x00 00001c18: PUSH1 0x20 00001c1a: DUP5 00001c1b: DUP4 00001c1c: ADD 00001c1d: ADD 00001c1e: MSTORE 00001c1f: DUP1 00001c20: SWAP6 00001c21: POP 00001c22: POP 00001c23: POP 00001c24: POP 00001c25: POP 00001c26: POP 00001c27: SWAP3 00001c28: SWAP6 00001c29: SWAP2 00001c2a: SWAP5 00001c2b: POP 00001c2c: SWAP3 00001c2d: POP 00001c2e: JUMP 00001c2f: JUMPDEST 00001c30: PUSH1 0x00 00001c32: DUP1 00001c33: PUSH1 0x40 00001c35: DUP4 00001c36: DUP6 00001c37: SUB 00001c38: SLT 00001c39: ISZERO 00001c3a: PUSH2 0x1c42 00001c3d: JUMPI 00001c3e: PUSH1 0x00 00001c40: DUP1 00001c41: REVERT 00001c42: JUMPDEST 00001c43: PUSH2 0x1c4b 00001c46: DUP4 00001c47: PUSH2 0x1a72 00001c4a: JUMP 00001c4b: JUMPDEST 00001c4c: SWAP2 00001c4d: POP 00001c4e: PUSH2 0x1b34 00001c51: PUSH1 0x20 00001c53: DUP5 00001c54: ADD 00001c55: PUSH2 0x1a72 00001c58: JUMP 00001c59: JUMPDEST 00001c5a: PUSH1 0x01 00001c5c: DUP2 00001c5d: DUP2 00001c5e: SHR 00001c5f: SWAP1 00001c60: DUP3 00001c61: AND 00001c62: DUP1 00001c63: PUSH2 0x1c6d 00001c66: JUMPI 00001c67: PUSH1 0x7f 00001c69: DUP3 00001c6a: AND 00001c6b: SWAP2 00001c6c: POP 00001c6d: JUMPDEST 00001c6e: PUSH1 0x20 00001c70: DUP3 00001c71: LT 00001c72: DUP2 00001c73: SUB 00001c74: PUSH2 0x1c8d 00001c77: JUMPI 00001c78: PUSH4 0x4e487b71 00001c7d: PUSH1 0xe0 00001c7f: SHL 00001c80: PUSH1 0x00 00001c82: MSTORE 00001c83: PUSH1 0x22 00001c85: PUSH1 0x04 00001c87: MSTORE 00001c88: PUSH1 0x24 00001c8a: PUSH1 0x00 00001c8c: REVERT 00001c8d: JUMPDEST 00001c8e: POP 00001c8f: SWAP2 00001c90: SWAP1 00001c91: POP 00001c92: JUMP 00001c93: JUMPDEST 00001c94: PUSH1 0x20 00001c96: DUP1 00001c97: DUP3 00001c98: MSTORE 00001c99: PUSH1 0x2e 00001c9b: SWAP1 00001c9c: DUP3 00001c9d: ADD 00001c9e: MSTORE 00001c9f: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65 00001cc0: PUSH1 0x40 00001cc2: DUP3 00001cc3: ADD 00001cc4: MSTORE 00001cc5: PUSH14 0x1c881b9bdc88185c1c1c9bdd9959 00001cd4: PUSH1 0x92 00001cd6: SHL 00001cd7: PUSH1 0x60 00001cd9: DUP3 00001cda: ADD 00001cdb: MSTORE 00001cdc: PUSH1 0x80 00001cde: ADD 00001cdf: SWAP1 00001ce0: JUMP 00001ce1: JUMPDEST 00001ce2: PUSH4 0x4e487b71 00001ce7: PUSH1 0xe0 00001ce9: SHL 00001cea: PUSH1 0x00 00001cec: MSTORE 00001ced: PUSH1 0x32 00001cef: PUSH1 0x04 00001cf1: MSTORE 00001cf2: PUSH1 0x24 00001cf4: PUSH1 0x00 00001cf6: REVERT 00001cf7: JUMPDEST 00001cf8: PUSH1 0x00 00001cfa: DUP3 00001cfb: MLOAD 00001cfc: PUSH2 0x1d09 00001cff: DUP2 00001d00: DUP5 00001d01: PUSH1 0x20 00001d03: DUP8 00001d04: ADD 00001d05: PUSH2 0x19f6 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: SWAP2 00001d0b: SWAP1 00001d0c: SWAP2 00001d0d: ADD 00001d0e: SWAP3 00001d0f: SWAP2 00001d10: POP 00001d11: POP 00001d12: JUMP 00001d13: JUMPDEST 00001d14: PUSH14 0x7b226e616d65223a2022454f2023 00001d23: PUSH1 0x90 00001d25: SHL 00001d26: DUP2 00001d27: MSTORE 00001d28: DUP3 00001d29: MLOAD 00001d2a: PUSH1 0x00 00001d2c: SWAP1 00001d2d: PUSH2 0x1d3d 00001d30: DUP2 00001d31: PUSH1 0x0e 00001d33: DUP6 00001d34: ADD 00001d35: PUSH1 0x20 00001d37: DUP9 00001d38: ADD 00001d39: PUSH2 0x19f6 00001d3c: JUMP 00001d3d: JUMPDEST 00001d3e: PUSH32 0x222c20226465736372697074696f6e223a2022222c2022696d616765223a2022 00001d5f: PUSH1 0x0e 00001d61: SWAP2 00001d62: DUP5 00001d63: ADD 00001d64: SWAP2 00001d65: DUP3 00001d66: ADD 00001d67: MSTORE 00001d68: PUSH32 0x646174613a696d6167652f7376672b786d6c3b6261736536342c000000000000 00001d89: PUSH1 0x2e 00001d8b: DUP3 00001d8c: ADD 00001d8d: MSTORE 00001d8e: DUP4 00001d8f: MLOAD 00001d90: PUSH2 0x1da0 00001d93: DUP2 00001d94: PUSH1 0x48 00001d96: DUP5 00001d97: ADD 00001d98: PUSH1 0x20 00001d9a: DUP9 00001d9b: ADD 00001d9c: PUSH2 0x19f6 00001d9f: JUMP 00001da0: JUMPDEST 00001da1: PUSH2 0x227d 00001da4: PUSH1 0xf0 00001da6: SHL 00001da7: PUSH1 0x48 00001da9: SWAP3 00001daa: SWAP1 00001dab: SWAP2 00001dac: ADD 00001dad: SWAP2 00001dae: DUP3 00001daf: ADD 00001db0: MSTORE 00001db1: PUSH1 0x4a 00001db3: ADD 00001db4: SWAP5 00001db5: SWAP4 00001db6: POP 00001db7: POP 00001db8: POP 00001db9: POP 00001dba: JUMP 00001dbb: JUMPDEST 00001dbc: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000 00001ddd: DUP2 00001dde: MSTORE 00001ddf: PUSH1 0x00 00001de1: DUP3 00001de2: MLOAD 00001de3: PUSH2 0x1df3 00001de6: DUP2 00001de7: PUSH1 0x1d 00001de9: DUP6 00001dea: ADD 00001deb: PUSH1 0x20 00001ded: DUP8 00001dee: ADD 00001def: PUSH2 0x19f6 00001df2: JUMP 00001df3: JUMPDEST 00001df4: SWAP2 00001df5: SWAP1 00001df6: SWAP2 00001df7: ADD 00001df8: PUSH1 0x1d 00001dfa: ADD 00001dfb: SWAP3 00001dfc: SWAP2 00001dfd: POP 00001dfe: POP 00001dff: JUMP 00001e00: JUMPDEST 00001e01: PUSH4 0x4e487b71 00001e06: PUSH1 0xe0 00001e08: SHL 00001e09: PUSH1 0x00 00001e0b: MSTORE 00001e0c: PUSH1 0x11 00001e0e: PUSH1 0x04 00001e10: MSTORE 00001e11: PUSH1 0x24 00001e13: PUSH1 0x00 00001e15: REVERT 00001e16: JUMPDEST 00001e17: DUP2 00001e18: DUP2 00001e19: SUB 00001e1a: DUP2 00001e1b: DUP2 00001e1c: GT 00001e1d: ISZERO 00001e1e: PUSH2 0x04c2 00001e21: JUMPI 00001e22: PUSH2 0x04c2 00001e25: PUSH2 0x1e00 00001e28: JUMP 00001e29: JUMPDEST 00001e2a: DUP1 00001e2b: DUP3 00001e2c: ADD 00001e2d: DUP1 00001e2e: DUP3 00001e2f: GT 00001e30: ISZERO 00001e31: PUSH2 0x04c2 00001e34: JUMPI 00001e35: PUSH2 0x04c2 00001e38: PUSH2 0x1e00 00001e3b: JUMP 00001e3c: JUMPDEST 00001e3d: PUSH1 0x20 00001e3f: DUP1 00001e40: DUP3 00001e41: MSTORE 00001e42: PUSH1 0x32 00001e44: SWAP1 00001e45: DUP3 00001e46: ADD 00001e47: MSTORE 00001e48: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00001e69: PUSH1 0x40 00001e6b: DUP3 00001e6c: ADD 00001e6d: MSTORE 00001e6e: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9 00001e81: PUSH1 0x71 00001e83: SHL 00001e84: PUSH1 0x60 00001e86: DUP3 00001e87: ADD 00001e88: MSTORE 00001e89: PUSH1 0x80 00001e8b: ADD 00001e8c: SWAP1 00001e8d: JUMP 00001e8e: JUMPDEST 00001e8f: PUSH1 0x00 00001e91: PUSH1 0x01 00001e93: DUP3 00001e94: ADD 00001e95: PUSH2 0x1ea0 00001e98: JUMPI 00001e99: PUSH2 0x1ea0 00001e9c: PUSH2 0x1e00 00001e9f: JUMP 00001ea0: JUMPDEST 00001ea1: POP 00001ea2: PUSH1 0x01 00001ea4: ADD 00001ea5: SWAP1 00001ea6: JUMP 00001ea7: JUMPDEST 00001ea8: PUSH4 0x4e487b71 00001ead: PUSH1 0xe0 00001eaf: SHL 00001eb0: PUSH1 0x00 00001eb2: MSTORE 00001eb3: PUSH1 0x12 00001eb5: PUSH1 0x04 00001eb7: MSTORE 00001eb8: PUSH1 0x24 00001eba: PUSH1 0x00 00001ebc: REVERT 00001ebd: JUMPDEST 00001ebe: PUSH1 0x00 00001ec0: DUP3 00001ec1: PUSH2 0x1ecc 00001ec4: JUMPI 00001ec5: PUSH2 0x1ecc 00001ec8: PUSH2 0x1ea7 00001ecb: JUMP 00001ecc: JUMPDEST 00001ecd: POP 00001ece: DIV 00001ecf: SWAP1 00001ed0: JUMP 00001ed1: JUMPDEST 00001ed2: PUSH1 0x00 00001ed4: DUP3 00001ed5: PUSH2 0x1ee0 00001ed8: JUMPI 00001ed9: PUSH2 0x1ee0 00001edc: PUSH2 0x1ea7 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: POP 00001ee2: MOD 00001ee3: SWAP1 00001ee4: JUMP 00001ee5: JUMPDEST 00001ee6: DUP1 00001ee7: DUP3 00001ee8: MUL 00001ee9: DUP2 00001eea: ISZERO 00001eeb: DUP3 00001eec: DUP3 00001eed: DIV 00001eee: DUP5 00001eef: EQ 00001ef0: OR 00001ef1: PUSH2 0x04c2 00001ef4: JUMPI 00001ef5: PUSH2 0x04c2 00001ef8: PUSH2 0x1e00 00001efb: JUMP 00001efc: JUMPDEST 00001efd: PUSH1 0x01 00001eff: PUSH1 0x01 00001f01: PUSH1 0xa0 00001f03: SHL 00001f04: SUB 00001f05: DUP6 00001f06: DUP2 00001f07: AND 00001f08: DUP3 00001f09: MSTORE 00001f0a: DUP5 00001f0b: AND 00001f0c: PUSH1 0x20 00001f0e: DUP3 00001f0f: ADD 00001f10: MSTORE 00001f11: PUSH1 0x40 00001f13: DUP2 00001f14: ADD 00001f15: DUP4 00001f16: SWAP1 00001f17: MSTORE 00001f18: PUSH1 0x80 00001f1a: PUSH1 0x60 00001f1c: DUP3 00001f1d: ADD 00001f1e: DUP2 00001f1f: SWAP1 00001f20: MSTORE 00001f21: PUSH1 0x00 00001f23: SWAP1 00001f24: PUSH2 0x1f2f 00001f27: SWAP1 00001f28: DUP4 00001f29: ADD 00001f2a: DUP5 00001f2b: PUSH2 0x1a1a 00001f2e: JUMP 00001f2f: JUMPDEST 00001f30: SWAP7 00001f31: SWAP6 00001f32: POP 00001f33: POP 00001f34: POP 00001f35: POP 00001f36: POP 00001f37: POP 00001f38: JUMP 00001f39: JUMPDEST 00001f3a: PUSH1 0x00 00001f3c: PUSH1 0x20 00001f3e: DUP3 00001f3f: DUP5 00001f40: SUB 00001f41: SLT 00001f42: ISZERO 00001f43: PUSH2 0x1f4b 00001f46: JUMPI 00001f47: PUSH1 0x00 00001f49: DUP1 00001f4a: REVERT 00001f4b: JUMPDEST 00001f4c: DUP2 00001f4d: MLOAD 00001f4e: PUSH2 0x19bf 00001f51: DUP2 00001f52: PUSH2 0x198c 00001f55: JUMP 00001f56: JUMPDEST 00001f57: PUSH4 0x4e487b71 00001f5c: PUSH1 0xe0 00001f5e: SHL 00001f5f: PUSH1 0x00 00001f61: MSTORE 00001f62: PUSH1 0x31 00001f64: PUSH1 0x04 00001f66: MSTORE 00001f67: PUSH1 0x24 00001f69: PUSH1 0x00 00001f6b: REVERT 00001f6c: INVALID 00001f6d: COINBASE 00001f6e: TIMESTAMP 00001f6f: NUMBER 00001f70: DIFFICULTY 00001f71: GASLIMIT 00001f72: CHAINID 00001f73: SELFBALANCE 00001f74: BASEFEE 00001f75: BLOBHASH 00001f76: BLOBBASEFEE 00001f77: UNKNOWN(0x4B) 00001f78: UNKNOWN(0x4C) 00001f79: UNKNOWN(0x4D) 00001f7a: UNKNOWN(0x4E) 00001f7b: UNKNOWN(0x4F) 00001f7c: POP 00001f7d: MLOAD 00001f7e: MSTORE 00001f7f: MSTORE8 00001f80: SLOAD 00001f81: SSTORE 00001f82: JUMP 00001f83: JUMPI 00001f84: PC 00001f85: MSIZE 00001f86: GAS 00001f87: PUSH2 0x6263 00001f8a: PUSH5 0x6566676869 00001f90: PUSH11 0x6b6c6d6e6f707172737475 00001f9c: PUSH23 0x7778797a303132333435363738392b2f3c737667207769 00001fb4: PUSH5 0x74683d2231 00001fba: CODESIZE 00001fbb: CALLVALUE 00001fbc: CALLER 00001fbd: UNKNOWN(0x22) 00001fbe: KECCAK256 00001fbf: PUSH9 0x65696768743d223138 00001fc9: CALLVALUE 00001fca: CALLER 00001fcb: UNKNOWN(0x22) 00001fcc: KECCAK256 00001fcd: PUSH23 0x696577426f783d22302030203138343320313834332220 00001fe5: PUSH7 0x696c6c3d226e6f 00001fed: PUSH15 0x652220786d6c6e733d22687474703a 00001ffd: UNKNOWN(0x2F) 00001ffe: UNKNOWN(0x2F) 00001fff: PUSH24 0x77772e77332e6f72672f323030302f737667223e3c706174 00002018: PUSH9 0x2066696c6c3d222339 00002022: PUSH6 0x396539652220 00002029: PUSH5 0x3d224d2d2e 0000202f: BALANCE 00002030: CALLDATASIZE 00002031: CALLVALUE 00002032: KECCAK256 00002033: BALANCE 00002034: CODESIZE 00002035: CALLVALUE 00002036: CALLER 00002037: UNKNOWN(0x2E) 00002038: CALLVALUE 00002039: BALANCE 0000203a: PUSH9 0x31383434562d2e3539 00002044: PUSH9 0x2d313834347a222f3e 0000204e: EXTCODECOPY 0000204f: PUSH17 0x61746820643d224d3535382e3936332031 00002061: CALLER 00002062: CALLDATACOPY 00002063: CALLVALUE 00002064: UNKNOWN(0x2E) 00002065: ORIGIN 00002066: BALANCE 00002067: KECCAK256 00002068: BALANCE 00002069: CODESIZE 0000206a: CALLVALUE 0000206b: CALLER 0000206c: UNKNOWN(0x2E) 0000206d: CODESIZE 0000206e: CALLVALUE 0000206f: UNKNOWN(0x2D) 00002070: UNKNOWN(0x2E) 00002071: CALLDATALOAD 00002072: CODESIZE 00002073: CODESIZE 00002074: BASEFEE 00002075: CALLER 00002076: BALANCE 00002077: ORIGIN 00002078: UNKNOWN(0x2E) 00002079: ADDRESS 0000207a: ADDRESS 0000207b: CALLDATACOPY 0000207c: PUSH27 0x222066696c6c3d2223633763376337222f3e3c7061746820643d22 00002098: UNKNOWN(0x4D) 00002099: BALANCE 0000209a: CODESIZE 0000209b: CALLVALUE 0000209c: CALLER 0000209d: UNKNOWN(0x2E) 0000209e: CALLDATALOAD 0000209f: CALLDATALOAD 000020a0: UNKNOWN(0x2D) 000020a1: UNKNOWN(0x2E) 000020a2: CALLER 000020a3: CALLDATACOPY 000020a4: CALLDATALOAD 000020a5: JUMP 000020a6: BALANCE 000020a7: CODESIZE 000020a8: CALLVALUE 000020a9: ORIGIN 000020aa: UNKNOWN(0x2E) 000020ab: CALLDATALOAD 000020ac: UNKNOWN(0x4C) 000020ad: CALLDATALOAD 000020ae: CALLDATALOAD 000020af: CODECOPY 000020b0: KECCAK256 000020b1: BALANCE 000020b2: CALLER 000020b3: CALLDATACOPY 000020b4: CALLVALUE 000020b5: UNKNOWN(0x2E) 000020b6: CALLDATALOAD 000020b7: PUSH27 0x4d3331322d2e353632203535382e373520313337342e352d2e3135 000020d3: CALLDATASIZE 000020d4: KECCAK256 000020d5: BALANCE 000020d6: CODESIZE 000020d7: CALLVALUE 000020d8: CALLER 000020d9: UNKNOWN(0x2E) 000020da: CALLER 000020db: CALLVALUE 000020dc: PUSH27 0x222066696c6c3d2223616161222f3e3c6720786d6c6e733d226874 000020f8: PUSH21 0x703a2f2f7777772e77332e6f72672f323030302f73 0000210e: PUSH23 0x67223e3c706174682066696c6c3d222338373166323322 00002126: KECCAK256 00002127: PUSH5 0x3d224d3132 0000212d: CALLVALUE 0000212e: UNKNOWN(0x2E) 0000212f: CALLDATACOPY 00002130: ORIGIN 00002131: CALLDATASIZE 00002132: KECCAK256 00002133: BALANCE 00002134: ORIGIN 00002135: CALLDATALOAD 00002136: UNKNOWN(0x2E) 00002137: CALLDATACOPY 00002138: CODECOPY 00002139: PUSH9 0x392e36763130352e36 00002143: PUSH9 0x2d392e367a6d31392e 0000214d: ORIGIN 0000214e: KECCAK256 0000214f: BALANCE 00002150: CODECOPY 00002151: UNKNOWN(0x2E) 00002152: ORIGIN 00002153: PUSH9 0x392e367638362e3468 0000215d: UNKNOWN(0x2D) 0000215e: CODECOPY 0000215f: UNKNOWN(0x2E) 00002160: CALLDATASIZE 00002161: PUSH27 0x6d31392e322031392e3268392e36763438682d392e367a6d35372e 0000217d: CALLDATASIZE 0000217e: ADDRESS 0000217f: BALANCE 00002180: UNKNOWN(0x2D) 00002181: CALLER 00002182: CODESIZE 00002183: UNKNOWN(0x2E) 00002184: CALLVALUE 00002185: PUSH9 0x392e36763130352e36 0000218f: PUSH9 0x2d392e367a6d2d3139 00002199: UNKNOWN(0x2E) 0000219a: ORIGIN 0000219b: KECCAK256 0000219c: BALANCE 0000219d: CODECOPY 0000219e: UNKNOWN(0x2E) 0000219f: ORIGIN 000021a0: PUSH9 0x392e367636372e3268 000021aa: UNKNOWN(0x2D) 000021ab: CODECOPY 000021ac: UNKNOWN(0x2E) 000021ad: CALLDATASIZE 000021ae: PUSH27 0x6d2d31392e3230312031392e3268392e367632382e38682d392e36 000021ca: PUSH27 0x222f3e3c706174682066696c6c3d22233837316632332220643d22 000021e6: UNKNOWN(0x4D) 000021e7: ORIGIN 000021e8: CALLER 000021e9: ADDRESS 000021ea: UNKNOWN(0x2E) 000021eb: CALLER 000021ec: ORIGIN 000021ed: CALLDATASIZE 000021ee: KECCAK256 000021ef: BALANCE 000021f0: ORIGIN 000021f1: CALLDATALOAD 000021f2: UNKNOWN(0x2E) 000021f3: CALLDATACOPY 000021f4: CODESIZE 000021f5: CODESIZE 000021f6: PUSH23 0x392e36682d3130352e36762d392e367a6d2d31392e3220 0000220e: BALANCE 0000220f: CODECOPY 00002210: UNKNOWN(0x2E) 00002211: ORIGIN 00002212: PUSH23 0x392e36682d36372e32762d392e367a6d2d31392e323031 0000222a: KECCAK256 0000222b: BALANCE 0000222c: CODECOPY 0000222d: UNKNOWN(0x2E) 0000222e: ORIGIN 0000222f: PUSH23 0x392e36682d32382e38762d392e367a6d33382e34303120 00002247: CALLDATALOAD 00002248: CALLDATACOPY 00002249: UNKNOWN(0x2E) 0000224a: CALLDATASIZE 0000224b: PUSH23 0x392e36682d38362e34762d392e367a6d2d31392e322d31 00002263: CODECOPY 00002264: UNKNOWN(0x2E) 00002265: ORIGIN 00002266: PUSH23 0x392e36682d3438762d392e367a222f3e3c706174682064 0000227e: RETURNDATASIZE 0000227f: UNKNOWN(0x22) 00002280: UNKNOWN(0x4D) 00002281: ORIGIN 00002282: CALLDATASIZE 00002283: CALLDATASIZE 00002284: UNKNOWN(0x2E) 00002285: BALANCE 00002286: CODESIZE 00002287: CALLDATASIZE 00002288: KECCAK256 00002289: ORIGIN 0000228a: BALANCE 0000228b: CALLER 0000228c: UNKNOWN(0x2E) 0000228d: CODECOPY 0000228e: CODESIZE 0000228f: CODESIZE 00002290: PUSH23 0x2d37312e3536326834362e3534347631302e383637682d 000022a8: CALLER 000022a9: CALLER 000022aa: UNKNOWN(0x2E) 000022ab: CALLDATALOAD 000022ac: CODESIZE 000022ad: PUSH23 0x31392e3432376833312e3136387631302e383638682d33 000022c5: BALANCE 000022c6: UNKNOWN(0x2E) 000022c7: BALANCE 000022c8: CALLDATASIZE 000022c9: CODECOPY 000022ca: PUSH23 0x31392e3533346833332e38367631302e3836377a6d3638 000022e2: UNKNOWN(0x2E) 000022e3: CODECOPY 000022e4: ADDRESS 000022e5: CALLDATACOPY 000022e6: UNKNOWN(0x2D) 000022e7: CALLDATACOPY 000022e8: BALANCE 000022e9: UNKNOWN(0x2E) 000022ea: CALLDATALOAD 000022eb: CALLDATASIZE 000022ec: CALLER 000022ed: PUSH23 0x37312e353634682d31322e363439762d37312e3536347a 00002305: PUSH14 0x33332e3831372037322e36313271 00002314: UNKNOWN(0x2D) 00002315: CODESIZE 00002316: UNKNOWN(0x2E) 00002317: ADDRESS 00002318: CALLDATACOPY 00002319: KECCAK256 0000231a: ADDRESS 0000231b: UNKNOWN(0x2D) 0000231c: BALANCE 0000231d: CALLER 0000231e: UNKNOWN(0x2E) 0000231f: CODECOPY 00002320: CALLVALUE 00002321: BALANCE 00002322: UNKNOWN(0x2D) 00002323: CALLER 00002324: UNKNOWN(0x2E) 00002325: CALLER 00002326: CALLDATALOAD 00002327: CALLVALUE 00002328: UNKNOWN(0x2D) 00002329: CALLDATALOAD 0000232a: UNKNOWN(0x2E) 0000232b: CODESIZE 0000232c: CALLER 0000232d: CALLDATASIZE 0000232e: UNKNOWN(0x2D) 0000232f: CALLER 00002330: UNKNOWN(0x2E) 00002331: CALLER 00002332: CODECOPY 00002333: UNKNOWN(0x2D) 00002334: CODESIZE 00002335: UNKNOWN(0x2E) 00002336: CODECOPY 00002337: CODESIZE 00002338: BALANCE 00002339: UNKNOWN(0x2D) 0000233a: CODECOPY 0000233b: UNKNOWN(0x2E) 0000233c: CALLDATALOAD 0000233d: CALLDATACOPY 0000233e: CALLDATALOAD 0000233f: UNKNOWN(0x2D) 00002340: CALLER 00002341: UNKNOWN(0x2E) 00002342: BALANCE 00002343: CALLVALUE 00002344: CALLVALUE 00002345: UNKNOWN(0x2D) 00002346: CALLDATASIZE 00002347: UNKNOWN(0x2E) 00002348: ORIGIN 00002349: ORIGIN 0000234a: UNKNOWN(0x2D) 0000234b: CALLER 0000234c: UNKNOWN(0x2E) 0000234d: BALANCE 0000234e: CALLVALUE 0000234f: CALLDATALOAD 00002350: UNKNOWN(0x2D) 00002351: BALANCE 00002352: CALLVALUE 00002353: UNKNOWN(0x2E) 00002354: CALLDATASIZE 00002355: CALLVALUE 00002356: BALANCE 00002357: KECCAK256 00002358: ADDRESS 00002359: UNKNOWN(0x2D) 0000235a: CODESIZE 0000235b: UNKNOWN(0x2E) 0000235c: ORIGIN 0000235d: CODESIZE 0000235e: KECCAK256 0000235f: CALLER 00002360: UNKNOWN(0x2E) 00002361: BALANCE 00002362: CALLVALUE 00002363: CALLDATALOAD 00002364: UNKNOWN(0x2D) 00002365: BALANCE 00002366: CALLVALUE 00002367: UNKNOWN(0x2E) 00002368: CALLDATALOAD 00002369: CALLER 0000236a: CALLDATACOPY 0000236b: KECCAK256 0000236c: CALLER 0000236d: UNKNOWN(0x2E) 0000236e: BALANCE 0000236f: CODESIZE 00002370: UNKNOWN(0x2D) 00002371: CALLDATASIZE 00002372: UNKNOWN(0x2E) 00002373: ORIGIN 00002374: CODECOPY 00002375: KECCAK256 00002376: CODESIZE 00002377: UNKNOWN(0x2E) 00002378: CODESIZE 00002379: CALLDATACOPY 0000237a: CALLDATALOAD 0000237b: UNKNOWN(0x2D) 0000237c: CODECOPY 0000237d: UNKNOWN(0x2E) 0000237e: CALLDATACOPY 0000237f: CODESIZE 00002380: CALLVALUE 00002381: KECCAK256 00002382: CALLDATALOAD 00002383: UNKNOWN(0x2E) 00002384: CALLDATASIZE 00002385: CODECOPY 00002386: CALLDATACOPY 00002387: UNKNOWN(0x2D) 00002388: CALLER 00002389: UNKNOWN(0x2E) 0000238a: CALLDATALOAD 0000238b: ORIGIN 0000238c: CODESIZE 0000238d: KECCAK256 0000238e: BALANCE 0000238f: CALLER 00002390: UNKNOWN(0x2E) 00002391: CALLER 00002392: CODESIZE 00002393: CALLVALUE 00002394: UNKNOWN(0x2D) 00002395: CALLER 00002396: UNKNOWN(0x2E) 00002397: CALLDATALOAD 00002398: ORIGIN 00002399: CODECOPY 0000239a: KECCAK256 0000239b: CALLVALUE 0000239c: UNKNOWN(0x2E) 0000239d: CODECOPY 0000239e: CALLDATASIZE 0000239f: ORIGIN 000023a0: KECCAK256 000023a1: ADDRESS 000023a2: KECCAK256 000023a3: CODECOPY 000023a4: UNKNOWN(0x2E) 000023a5: CALLER 000023a6: CALLDATASIZE 000023a7: CALLDATALOAD 000023a8: KECCAK256 000023a9: BALANCE 000023aa: UNKNOWN(0x2E) 000023ab: CALLDATASIZE 000023ac: ADDRESS 000023ad: CODESIZE 000023ae: PUSH2 0x3231 000023b1: UNKNOWN(0x2E) 000023b2: BALANCE 000023b3: KECCAK256 000023b4: ORIGIN 000023b5: BALANCE 000023b6: UNKNOWN(0x2E) 000023b7: BALANCE 000023b8: KECCAK256 000023b9: ADDRESS 000023ba: KECCAK256 000023bb: ADDRESS 000023bc: KECCAK256 000023bd: BALANCE 000023be: KECCAK256 000023bf: CALLDATACOPY 000023c0: UNKNOWN(0x2E) 000023c1: CODESIZE 000023c2: ORIGIN 000023c3: CALLDATACOPY 000023c4: KECCAK256 000023c5: CALLVALUE 000023c6: UNKNOWN(0x2E) 000023c7: CODESIZE 000023c8: CODECOPY 000023c9: BALANCE 000023ca: PUSH18 0x332e34323420332e333220352e3338312038 000023dd: UNKNOWN(0x2E) 000023de: CALLVALUE 000023df: CALLDATALOAD 000023e0: CALLDATACOPY 000023e1: KECCAK256 000023e2: BALANCE 000023e3: UNKNOWN(0x2E) 000023e4: CODECOPY 000023e5: CALLDATALOAD 000023e6: CALLDATASIZE 000023e7: KECCAK256 000023e8: CALLDATALOAD 000023e9: UNKNOWN(0x2E) 000023ea: BALANCE 000023eb: ADDRESS 000023ec: BALANCE 000023ed: KECCAK256 000023ee: BALANCE 000023ef: UNKNOWN(0x2E) 000023f0: CODECOPY 000023f1: CALLDATALOAD 000023f2: CALLDATACOPY 000023f3: KECCAK256 000023f4: BALANCE 000023f5: ORIGIN 000023f6: UNKNOWN(0x2E) 000023f7: BALANCE 000023f8: CALLDATASIZE 000023f9: PUSH23 0x332e383739682d34332e393933762d382e353236683331 00002411: UNKNOWN(0x2E) 00002412: CODESIZE 00002413: CALLDATASIZE 00002414: CALLDATACOPY 00002415: PUSH18 0x2d2e3033352d332e3633362d312e3537322d 00002428: CALLDATASIZE 00002429: UNKNOWN(0x2E) 0000242a: CALLVALUE 0000242b: CALLDATASIZE 0000242c: CALLVALUE 0000242d: PUSH2 0x3131 00002430: UNKNOWN(0x2E) 00002431: CALLVALUE 00002432: KECCAK256 00002433: BALANCE 00002434: BALANCE 00002435: UNKNOWN(0x2E) 00002436: CALLVALUE 00002437: KECCAK256 00002438: ADDRESS 00002439: KECCAK256 0000243a: ADDRESS 0000243b: KECCAK256 0000243c: ADDRESS 0000243d: UNKNOWN(0x2D) 0000243e: CALLVALUE 0000243f: UNKNOWN(0x2E) 00002440: ORIGIN 00002441: CODECOPY 00002442: CODESIZE 00002443: UNKNOWN(0x2D) 00002444: CALLVALUE 00002445: UNKNOWN(0x2E) 00002446: CALLDATALOAD 00002447: ADDRESS 00002448: CODECOPY 00002449: PUSH18 0x2d322e3732342d312e3634312d362e333539 0000245c: UNKNOWN(0x2D) 0000245d: BALANCE 0000245e: UNKNOWN(0x2E) 0000245f: CALLDATASIZE 00002460: CALLVALUE 00002461: BALANCE 00002462: UNKNOWN(0x2D) 00002463: CALLER 00002464: UNKNOWN(0x2E) 00002465: CODESIZE 00002466: CALLDATACOPY 00002467: CODESIZE 00002468: KECCAK256 00002469: ADDRESS 0000246a: UNKNOWN(0x2D) 0000246b: CALLDATASIZE 0000246c: UNKNOWN(0x2E) 0000246d: CODESIZE 0000246e: BALANCE 0000246f: CALLDATALOAD 00002470: KECCAK256 00002471: BALANCE 00002472: UNKNOWN(0x2E) 00002473: CODESIZE 00002474: CODESIZE 00002475: CALLDATASIZE 00002476: PUSH2 0x3133 00002479: KECCAK256 0000247a: BALANCE 0000247b: CALLER 0000247c: KECCAK256 0000247d: ADDRESS 0000247e: KECCAK256 0000247f: ADDRESS 00002480: KECCAK256 00002481: ADDRESS 00002482: UNKNOWN(0x2D) 00002483: CALLVALUE 00002484: UNKNOWN(0x2E) 00002485: CALLDATALOAD 00002486: CALLDATACOPY 00002487: CALLDATACOPY 00002488: KECCAK256 00002489: CALLVALUE 0000248a: UNKNOWN(0x2E) 0000248b: CODESIZE 0000248c: CODECOPY 0000248d: ORIGIN 0000248e: PUSH18 0x2d312e36303820332e3030362d312e363432 000024a1: KECCAK256 000024a2: CALLDATASIZE 000024a3: UNKNOWN(0x2E) 000024a4: CALLDATASIZE 000024a5: ADDRESS 000024a6: CALLVALUE 000024a7: PUSH23 0x372e343434713020342e36383220312e37313220382e30 000024bf: CALLER 000024c0: CALLDATASIZE 000024c1: KECCAK256 000024c2: BALANCE 000024c3: UNKNOWN(0x2E) 000024c4: CALLDATACOPY 000024c5: BALANCE 000024c6: ORIGIN 000024c7: KECCAK256 000024c8: CALLER 000024c9: UNKNOWN(0x2E) 000024ca: CALLER 000024cb: ORIGIN 000024cc: KECCAK256 000024cd: CALLVALUE 000024ce: UNKNOWN(0x2E) 000024cf: CALLDATACOPY 000024d0: CODESIZE 000024d1: CALLDATACOPY 000024d2: KECCAK256 000024d3: CALLDATALOAD 000024d4: UNKNOWN(0x2E) 000024d5: BALANCE 000024d6: ADDRESS 000024d7: ORIGIN 000024d8: KECCAK256 000024d9: CALLER 000024da: UNKNOWN(0x2E) 000024db: ADDRESS 000024dc: CALLDATACOPY 000024dd: CALLDATALOAD 000024de: KECCAK256 000024df: BALANCE 000024e0: UNKNOWN(0x2E) 000024e1: CALLDATACOPY 000024e2: CALLVALUE 000024e3: CODESIZE 000024e4: KECCAK256 000024e5: CALLDATACOPY 000024e6: UNKNOWN(0x2E) 000024e7: BALANCE 000024e8: CODECOPY 000024e9: CODECOPY 000024ea: KECCAK256 000024eb: BALANCE 000024ec: UNKNOWN(0x2E) 000024ed: CALLDATACOPY 000024ee: CALLVALUE 000024ef: CODESIZE 000024f0: KECCAK256 000024f1: ORIGIN 000024f2: UNKNOWN(0x2E) 000024f3: CALLDATACOPY 000024f4: CALLDATASIZE 000024f5: KECCAK256 000024f6: ADDRESS 000024f7: KECCAK256 000024f8: CALLVALUE 000024f9: UNKNOWN(0x2E) 000024fa: CODECOPY 000024fb: CODECOPY 000024fc: CALLDATASIZE 000024fd: UNKNOWN(0x2D) 000024fe: UNKNOWN(0x2E) 000024ff: CALLDATACOPY 00002500: CALLDATACOPY 00002501: KECCAK256 00002502: ORIGIN 00002503: UNKNOWN(0x2E) 00002504: ORIGIN 00002505: CALLER 00002506: CALLDATASIZE 00002507: UNKNOWN(0x2D) 00002508: UNKNOWN(0x2E) 00002509: CODESIZE 0000250a: ADDRESS 0000250b: CALLVALUE 0000250c: KECCAK256 0000250d: CALLER 0000250e: UNKNOWN(0x2E) 0000250f: CODESIZE 00002510: CALLDATACOPY 00002511: CODECOPY 00002512: UNKNOWN(0x2D) 00002513: ORIGIN 00002514: UNKNOWN(0x2E) 00002515: CALLER 00002516: CALLVALUE 00002517: PUSH21 0x322e3438312d332e38316c31312e383120312e3332 0000252d: CODESIZE 0000252e: PUSH18 0x2d312e31313620342e3638332d342e323633 00002541: KECCAK256 00002542: CODESIZE 00002543: UNKNOWN(0x2E) 00002544: BALANCE 00002545: CALLDATACOPY 00002546: CALLDATASIZE 00002547: UNKNOWN(0x2D) 00002548: CALLER 00002549: UNKNOWN(0x2E) 0000254a: BALANCE 0000254b: ADDRESS 0000254c: CODESIZE 0000254d: KECCAK256 0000254e: CALLER 0000254f: UNKNOWN(0x2E) 00002550: CALLVALUE 00002551: CALLDATASIZE 00002552: UNKNOWN(0x2D) 00002553: CALLDATACOPY 00002554: UNKNOWN(0x2E) 00002555: CODECOPY 00002556: CALLDATASIZE 00002557: CALLDATACOPY 00002558: KECCAK256 00002559: CALLDATALOAD 0000255a: UNKNOWN(0x2E) 0000255b: CALLER 0000255c: CODESIZE 0000255d: ORIGIN 0000255e: UNKNOWN(0x2D) 0000255f: CALLVALUE 00002560: UNKNOWN(0x2E) 00002561: CODESIZE 00002562: CALLDATALOAD 00002563: CALLDATASIZE 00002564: KECCAK256 00002565: BALANCE 00002566: UNKNOWN(0x2E) 00002567: CODESIZE 00002568: CODESIZE 00002569: CALLDATACOPY 0000256a: UNKNOWN(0x2D) 0000256b: BALANCE 0000256c: BALANCE 0000256d: UNKNOWN(0x2E) 0000256e: BALANCE 0000256f: BALANCE 00002570: ORIGIN 00002571: KECCAK256 00002572: BALANCE 00002573: UNKNOWN(0x2E) 00002574: CODESIZE 00002575: CODESIZE 00002576: CALLDATACOPY 00002577: PUSH14 0x37382e30322d35342e37322d3139 00002586: UNKNOWN(0x2E) 00002587: BALANCE 00002588: BALANCE 00002589: CALLER 0000258a: KECCAK256 0000258b: CALLDATALOAD 0000258c: CALLER 0000258d: UNKNOWN(0x2E) 0000258e: CALLDATASIZE 0000258f: CALLDATACOPY 00002590: BALANCE 00002591: BASEFEE 00002592: CALLVALUE 00002593: BALANCE 00002594: CALLER 00002595: UNKNOWN(0x2E) 00002596: CODESIZE 00002597: CALLVALUE 00002598: PUSH13 0x2d31392e3131342d35332e3637 000025a6: CALLVALUE 000025a7: PUSH9 0x31332e3438386c3132 000025b1: UNKNOWN(0x2E) 000025b2: CALLER 000025b3: CALLER 000025b4: CALLDATALOAD 000025b5: KECCAK256 000025b6: CALLER 000025b7: CODECOPY 000025b8: UNKNOWN(0x2E) 000025b9: CODESIZE 000025ba: CALLDATACOPY 000025bb: ORIGIN 000025bc: PUSH9 0x2e3535396c31322e33 000025c6: CALLDATACOPY 000025c7: UNKNOWN(0x2D) 000025c8: CALLER 000025c9: CODECOPY 000025ca: UNKNOWN(0x2E) 000025cb: CODESIZE 000025cc: CALLDATACOPY 000025cd: ORIGIN 000025ce: PUSH27 0x6d31392e37312035342e373536712d352e31303220302d392e3139 000025ea: BALANCE 000025eb: UNKNOWN(0x2D) 000025ec: BALANCE 000025ed: UNKNOWN(0x2E) 000025ee: CODESIZE 000025ef: BALANCE 000025f0: CODESIZE 000025f1: UNKNOWN(0x2D) 000025f2: CALLVALUE 000025f3: UNKNOWN(0x2E) 000025f4: ADDRESS 000025f5: CALLDATALOAD 000025f6: CALLER 000025f7: UNKNOWN(0x2D) 000025f8: BALANCE 000025f9: UNKNOWN(0x2E) 000025fa: CODESIZE 000025fb: CALLDATALOAD 000025fc: ORIGIN 000025fd: UNKNOWN(0x2D) 000025fe: CALLDATASIZE 000025ff: UNKNOWN(0x2E) 00002600: CALLVALUE 00002601: ORIGIN 00002602: CODECOPY 00002603: UNKNOWN(0x2D) 00002604: CALLDATALOAD 00002605: UNKNOWN(0x2E) 00002606: CALLVALUE 00002607: CALLDATALOAD 00002608: ORIGIN 00002609: UNKNOWN(0x2D) 0000260a: ORIGIN 0000260b: UNKNOWN(0x2E) 0000260c: CALLER 0000260d: CALLVALUE 0000260e: UNKNOWN(0x2D) 0000260f: CALLER 00002610: UNKNOWN(0x2E) 00002611: CALLDATALOAD 00002612: CODECOPY 00002613: CODECOPY 00002614: UNKNOWN(0x2D) 00002615: ORIGIN 00002616: UNKNOWN(0x2E) 00002617: CALLER 00002618: CALLVALUE 00002619: UNKNOWN(0x2D) 0000261a: CODESIZE 0000261b: UNKNOWN(0x2E) 0000261c: CODESIZE 0000261d: CALLDATACOPY 0000261e: CALLDATALOAD 0000261f: KECCAK256 00002620: ADDRESS 00002621: UNKNOWN(0x2D) 00002622: CALLVALUE 00002623: UNKNOWN(0x2E) 00002624: CALLDATALOAD 00002625: CALLVALUE 00002626: ORIGIN 00002627: KECCAK256 00002628: BALANCE 00002629: UNKNOWN(0x2E) 0000262a: CALLDATASIZE 0000262b: CALLDATACOPY 0000262c: CALLDATASIZE 0000262d: UNKNOWN(0x2D) 0000262e: CALLDATACOPY 0000262f: UNKNOWN(0x2E) 00002630: CALLDATALOAD 00002631: BALANCE 00002632: ORIGIN 00002633: PUSH2 0x3132 00002636: UNKNOWN(0x2E) 00002637: CODECOPY 00002638: CALLDATASIZE 00002639: KECCAK256 0000263a: BALANCE 0000263b: ORIGIN 0000263c: UNKNOWN(0x2E) 0000263d: CODECOPY 0000263e: CALLDATASIZE 0000263f: KECCAK256 00002640: ADDRESS 00002641: KECCAK256 00002642: ADDRESS 00002643: KECCAK256 00002644: BALANCE 00002645: KECCAK256 00002646: CALLVALUE 00002647: UNKNOWN(0x2E) 00002648: CALLDATALOAD 00002649: CALLDATACOPY 0000264a: CODESIZE 0000264b: UNKNOWN(0x2D) 0000264c: CALLVALUE 0000264d: UNKNOWN(0x2E) 0000264e: CALLDATACOPY 0000264f: CALLDATALOAD 00002650: ORIGIN 00002651: PUSH18 0x322e392d312e37383220362e3533342d322e 00002664: CALLDATASIZE 00002665: CODECOPY 00002666: ORIGIN 00002667: PUSH2 0x3533 0000266a: KECCAK256 0000266b: CALLDATALOAD 0000266c: CALLER 0000266d: KECCAK256 0000266e: ADDRESS 0000266f: KECCAK256 00002670: ADDRESS 00002671: KECCAK256 00002672: BALANCE 00002673: KECCAK256 00002674: CALLDATACOPY 00002675: UNKNOWN(0x2E) 00002676: CALLDATALOAD 00002677: CODESIZE 00002678: ORIGIN 00002679: UNKNOWN(0x2D) 0000267a: BALANCE 0000267b: UNKNOWN(0x2E) 0000267c: CALLER 0000267d: CALLDATASIZE 0000267e: ORIGIN 0000267f: KECCAK256 00002680: ORIGIN 00002681: CODECOPY 00002682: CODECOPY 00002683: KECCAK256 00002684: ORIGIN 00002685: CODECOPY 00002686: CODECOPY 00002687: KECCAK256 00002688: ADDRESS 00002689: KECCAK256 0000268a: ADDRESS 0000268b: KECCAK256 0000268c: ADDRESS 0000268d: KECCAK256 0000268e: CALLDATACOPY 0000268f: UNKNOWN(0x2E) 00002690: CALLDATASIZE 00002691: CALLDATALOAD 00002692: CALLER 00002693: UNKNOWN(0x2D) 00002694: UNKNOWN(0x2E) 00002695: CODESIZE 00002696: CALLDATACOPY 00002697: CALLER 00002698: PUSH18 0x322e3933352d2e343220342e3236332d312e 000026ab: ORIGIN 000026ac: CALLDATALOAD 000026ad: CODECOPY 000026ae: KECCAK256 000026af: BALANCE 000026b0: UNKNOWN(0x2E) 000026b1: CALLER 000026b2: CALLDATASIZE 000026b3: ORIGIN 000026b4: UNKNOWN(0x2D) 000026b5: UNKNOWN(0x2E) 000026b6: CODESIZE 000026b7: CALLDATACOPY 000026b8: ORIGIN 000026b9: KECCAK256 000026ba: BALANCE 000026bb: UNKNOWN(0x2E) 000026bc: CALLER 000026bd: CALLDATASIZE 000026be: ORIGIN 000026bf: UNKNOWN(0x2D) 000026c0: ORIGIN 000026c1: UNKNOWN(0x2E) 000026c2: CALLDATASIZE 000026c3: CODECOPY 000026c4: PUSH23 0x2d2e323171302d332e3934382d322e33342d362e313136 000026dc: UNKNOWN(0x2D) 000026dd: ORIGIN 000026de: UNKNOWN(0x2E) 000026df: CALLER 000026e0: CALLVALUE 000026e1: UNKNOWN(0x2D) 000026e2: ORIGIN 000026e3: UNKNOWN(0x2E) 000026e4: BALANCE 000026e5: CALLDATASIZE 000026e6: CALLDATASIZE 000026e7: UNKNOWN(0x2D) 000026e8: CALLDATASIZE 000026e9: UNKNOWN(0x2E) 000026ea: CALLDATACOPY 000026eb: CALLVALUE 000026ec: CALLDATALOAD 000026ed: UNKNOWN(0x2D) 000026ee: ORIGIN 000026ef: UNKNOWN(0x2E) 000026f0: BALANCE 000026f1: CALLDATASIZE 000026f2: CALLDATASIZE 000026f3: UNKNOWN(0x2D) 000026f4: CALLVALUE 000026f5: UNKNOWN(0x2E) 000026f6: CALLDATASIZE 000026f7: CALLVALUE 000026f8: CALLDATASIZE 000026f9: KECCAK256 000026fa: ADDRESS 000026fb: UNKNOWN(0x2D) 000026fc: CALLDATACOPY 000026fd: UNKNOWN(0x2E) 000026fe: CALLER 000026ff: CALLDATACOPY 00002700: CALLER 00002701: KECCAK256 00002702: ORIGIN 00002703: UNKNOWN(0x2E) 00002704: ADDRESS 00002705: ORIGIN 00002706: CALLDATACOPY 00002707: UNKNOWN(0x2D) 00002708: ORIGIN 00002709: UNKNOWN(0x2E) 0000270a: CALLDATASIZE 0000270b: CODECOPY 0000270c: KECCAK256 0000270d: ORIGIN 0000270e: UNKNOWN(0x2E) 0000270f: ADDRESS 00002710: ORIGIN 00002711: CALLDATACOPY 00002712: UNKNOWN(0x2D) 00002713: CALLER 00002714: UNKNOWN(0x2E) 00002715: CALLDATASIZE 00002716: CALLER 00002717: CALLER 00002718: KECCAK256 00002719: CALLVALUE 0000271a: UNKNOWN(0x2E) 0000271b: CALLDATACOPY 0000271c: CODESIZE 0000271d: CODESIZE 0000271e: PUSH13 0x2d31312e38312d312e36373771 0000272c: BALANCE 0000272d: UNKNOWN(0x2E) 0000272e: CALLER 0000272f: CODECOPY 00002730: CALLDATASIZE 00002731: UNKNOWN(0x2D) 00002732: CALLVALUE 00002733: UNKNOWN(0x2E) 00002734: CODESIZE 00002735: CODECOPY 00002736: CALLVALUE 00002737: KECCAK256 00002738: CALLVALUE 00002739: UNKNOWN(0x2E) 0000273a: CALLDATASIZE 0000273b: BALANCE 0000273c: BALANCE 0000273d: UNKNOWN(0x2D) 0000273e: CODESIZE 0000273f: UNKNOWN(0x2E) 00002740: BALANCE 00002741: CALLDATACOPY 00002742: CALLDATACOPY 00002743: KECCAK256 00002744: CALLER 00002745: UNKNOWN(0x2E) 00002746: ORIGIN 00002747: BALANCE 00002748: CALLDATALOAD 00002749: UNKNOWN(0x2D) 0000274a: CALLER 0000274b: UNKNOWN(0x2E) 0000274c: CALLER 0000274d: ORIGIN 0000274e: KECCAK256 0000274f: CALLDATACOPY 00002750: UNKNOWN(0x2E) 00002751: CODESIZE 00002752: CALLDATASIZE 00002753: ORIGIN 00002754: UNKNOWN(0x2D) 00002755: CALLVALUE 00002756: UNKNOWN(0x2E) 00002757: CODECOPY 00002758: CALLDATASIZE 00002759: ORIGIN 0000275a: KECCAK256 0000275b: CALLVALUE 0000275c: UNKNOWN(0x2E) 0000275d: CALLDATASIZE 0000275e: CALLVALUE 0000275f: CODESIZE 00002760: UNKNOWN(0x2D) 00002761: BALANCE 00002762: UNKNOWN(0x2E) 00002763: CALLDATASIZE 00002764: CALLDATACOPY 00002765: CODESIZE 00002766: KECCAK256 00002767: BALANCE 00002768: ADDRESS 00002769: UNKNOWN(0x2E) 0000276a: ORIGIN 0000276b: CALLDATACOPY 0000276c: CALLVALUE 0000276d: UNKNOWN(0x2D) 0000276e: BALANCE 0000276f: UNKNOWN(0x2E) 00002770: CALLDATASIZE 00002771: CALLDATACOPY 00002772: CODESIZE 00002773: KECCAK256 00002774: CALLER 00002775: UNKNOWN(0x2E) 00002776: CODESIZE 00002777: CALLDATACOPY 00002778: CODESIZE 00002779: KECCAK256 0000277a: ADDRESS 0000277b: KECCAK256 0000277c: CALLDATACOPY 0000277d: UNKNOWN(0x2E) 0000277e: CALLDATACOPY 0000277f: ORIGIN 00002780: CALLER 00002781: UNKNOWN(0x2E) 00002782: CODECOPY 00002783: ADDRESS 00002784: CODECOPY 00002785: PUSH2 0x3231 00002788: UNKNOWN(0x2E) 00002789: CALLDATACOPY 0000278a: KECCAK256 0000278b: ORIGIN 0000278c: BALANCE 0000278d: UNKNOWN(0x2E) 0000278e: CALLDATACOPY 0000278f: KECCAK256 00002790: ADDRESS 00002791: KECCAK256 00002792: ADDRESS 00002793: KECCAK256 00002794: BALANCE 00002795: KECCAK256 00002796: CALLDATACOPY 00002797: UNKNOWN(0x2E) 00002798: ADDRESS 00002799: ORIGIN 0000279a: CALLER 0000279b: KECCAK256 0000279c: CALLER 0000279d: UNKNOWN(0x2E) 0000279e: ADDRESS 0000279f: ADDRESS 000027a0: CALLVALUE 000027a1: PUSH18 0x332e313820322e30363220352e3130322035 000027b4: UNKNOWN(0x2E) 000027b5: CALLDATASIZE 000027b6: ORIGIN 000027b7: CALLDATASIZE 000027b8: KECCAK256 000027b9: BALANCE 000027ba: UNKNOWN(0x2E) 000027bb: CODECOPY 000027bc: CALLDATALOAD 000027bd: CALLDATASIZE 000027be: KECCAK256 000027bf: CALLER 000027c0: UNKNOWN(0x2E) 000027c1: CALLDATALOAD 000027c2: CALLDATASIZE 000027c3: CALLVALUE 000027c4: KECCAK256 000027c5: BALANCE 000027c6: UNKNOWN(0x2E) 000027c7: CODECOPY 000027c8: CALLDATALOAD 000027c9: CALLDATACOPY 000027ca: KECCAK256 000027cb: CODESIZE 000027cc: UNKNOWN(0x2E) 000027cd: CODECOPY 000027ce: BALANCE 000027cf: BALANCE 000027d0: PUSH23 0x33352e393231682d31322e313631762d372e333734682d 000027e8: UNKNOWN(0x2E) 000027e9: CALLVALUE 000027ea: BALANCE 000027eb: CODECOPY 000027ec: PUSH18 0x2d312e31353420322e3233372d332e323520 000027ff: CALLVALUE 00002800: UNKNOWN(0x2E) 00002801: BALANCE 00002802: CODECOPY 00002803: CALLVALUE 00002804: UNKNOWN(0x2D) 00002805: ORIGIN 00002806: UNKNOWN(0x2E) 00002807: ADDRESS 00002808: CALLDATASIZE 00002809: ORIGIN 0000280a: KECCAK256 0000280b: BALANCE 0000280c: UNKNOWN(0x2E) 0000280d: CODECOPY 0000280e: ORIGIN 0000280f: BALANCE 00002810: UNKNOWN(0x2D) 00002811: CALLDATALOAD 00002812: UNKNOWN(0x2E) 00002813: ORIGIN 00002814: ADDRESS 00002815: CALLDATASIZE 00002816: KECCAK256 00002817: CALLER 00002818: UNKNOWN(0x2E) 00002819: BALANCE 0000281a: BALANCE 0000281b: UNKNOWN(0x2D) 0000281c: CALLER 0000281d: UNKNOWN(0x2E) 0000281e: BALANCE 0000281f: BALANCE 00002820: KECCAK256 00002821: BALANCE 00002822: UNKNOWN(0x2E) 00002823: BALANCE 00002824: CALLDATALOAD 00002825: ORIGIN 00002826: UNKNOWN(0x2D) 00002827: CALLDATACOPY 00002828: UNKNOWN(0x2E) 00002829: CALLER 0000282a: ADDRESS 0000282b: CALLER 0000282c: KECCAK256 0000282d: BALANCE 0000282e: UNKNOWN(0x2E) 0000282f: BALANCE 00002830: CALLDATALOAD 00002831: ORIGIN 00002832: PUSH14 0x332e3238342d392e32393571332e 00002841: CODESIZE 00002842: ADDRESS 00002843: CODECOPY 00002844: KECCAK256 00002845: ADDRESS 00002846: KECCAK256 00002847: CALLDATASIZE 00002848: UNKNOWN(0x2E) 00002849: CALLDATASIZE 0000284a: ADDRESS 0000284b: CALLDATALOAD 0000284c: UNKNOWN(0x2D) 0000284d: BALANCE 0000284e: UNKNOWN(0x2E) 0000284f: CALLDATALOAD 00002850: ADDRESS 00002851: CALLER 00002852: KECCAK256 00002853: ORIGIN 00002854: UNKNOWN(0x2E) 00002855: CALLDATACOPY 00002856: CODECOPY 00002857: CALLDATASIZE 00002858: UNKNOWN(0x2D) 00002859: BALANCE 0000285a: UNKNOWN(0x2E) 0000285b: CALLDATALOAD 0000285c: CALLER 0000285d: CODESIZE 0000285e: KECCAK256 0000285f: CALLVALUE 00002860: UNKNOWN(0x2E) 00002861: ORIGIN 00002862: CODECOPY 00002863: CALLDATACOPY 00002864: UNKNOWN(0x2D) 00002865: CALLVALUE 00002866: UNKNOWN(0x2E) 00002867: ADDRESS 00002868: CALLDATALOAD 00002869: CALLER 0000286a: PUSH2 0x3130 0000286d: UNKNOWN(0x2E) 0000286e: CALLER 0000286f: KECCAK256 00002870: BALANCE 00002871: ADDRESS 00002872: UNKNOWN(0x2E) 00002873: CALLER 00002874: KECCAK256 00002875: ADDRESS 00002876: KECCAK256 00002877: ADDRESS 00002878: KECCAK256 00002879: ADDRESS 0000287a: KECCAK256 0000287b: BALANCE 0000287c: UNKNOWN(0x2E) 0000287d: CALLDATALOAD 0000287e: CALLER 0000287f: CODESIZE 00002880: UNKNOWN(0x2D) 00002881: CALLDATALOAD 00002882: UNKNOWN(0x2E) 00002883: CALLVALUE 00002884: CODESIZE 00002885: CALLDATASIZE 00002886: PUSH23 0x2d362e333234712d2e3539342e3438382d322e3032362e 0000289e: CODECOPY 0000289f: ADDRESS 000028a0: CALLDATACOPY 000028a1: UNKNOWN(0x2D) 000028a2: BALANCE 000028a3: UNKNOWN(0x2E) 000028a4: CALLER 000028a5: CODECOPY 000028a6: CODESIZE 000028a7: UNKNOWN(0x2E) 000028a8: CALLVALUE 000028a9: ORIGIN 000028aa: UNKNOWN(0x2D) 000028ab: CALLER 000028ac: UNKNOWN(0x2E) 000028ad: BALANCE 000028ae: CALLVALUE 000028af: CALLDATASIZE 000028b0: UNKNOWN(0x2E) 000028b1: CALLDATACOPY 000028b2: CALLER 000028b3: CALLVALUE 000028b4: PUSH2 0x3937 000028b7: KECCAK256 000028b8: CODECOPY 000028b9: CALLDATACOPY 000028ba: KECCAK256 000028bb: ADDRESS 000028bc: KECCAK256 000028bd: ADDRESS 000028be: KECCAK256 000028bf: BALANCE 000028c0: UNKNOWN(0x2D) 000028c1: CALLER 000028c2: UNKNOWN(0x2E) 000028c3: CALLVALUE 000028c4: CALLDATASIZE 000028c5: UNKNOWN(0x2E) 000028c6: CALLDATALOAD 000028c7: CALLDATASIZE 000028c8: KECCAK256 000028c9: CALLDATACOPY 000028ca: CALLDATACOPY 000028cb: CODESIZE 000028cc: KECCAK256 000028cd: CALLDATACOPY 000028ce: CALLDATACOPY 000028cf: CODESIZE 000028d0: KECCAK256 000028d1: ADDRESS 000028d2: KECCAK256 000028d3: ADDRESS 000028d4: KECCAK256 000028d5: BALANCE 000028d6: UNKNOWN(0x2D) 000028d7: ORIGIN 000028d8: UNKNOWN(0x2E) 000028d9: CODECOPY 000028da: CALLDATACOPY 000028db: UNKNOWN(0x2E) 000028dc: CALLVALUE 000028dd: ORIGIN 000028de: PUSH18 0x2d322e38332e3338342d352e30363620312e 000028f1: ORIGIN 000028f2: CALLDATALOAD 000028f3: CALLDATASIZE 000028f4: UNKNOWN(0x2D) 000028f5: ORIGIN 000028f6: UNKNOWN(0x2E) 000028f7: ORIGIN 000028f8: CALLER 000028f9: CALLDATASIZE 000028fa: UNKNOWN(0x2E) 000028fb: CODESIZE 000028fc: CALLDATACOPY 000028fd: CALLVALUE 000028fe: UNKNOWN(0x2D) 000028ff: CALLER 00002900: UNKNOWN(0x2E) 00002901: CALLDATALOAD 00002902: ORIGIN 00002903: CODECOPY 00002904: KECCAK256 00002905: ORIGIN 00002906: UNKNOWN(0x2E) 00002907: CALLVALUE 00002908: CALLVALUE 00002909: CALLDATACOPY 0000290a: UNKNOWN(0x2D) 0000290b: BALANCE 0000290c: UNKNOWN(0x2E) 0000290d: ORIGIN 0000290e: CODECOPY 0000290f: CALLER 00002910: KECCAK256 00002911: BALANCE 00002912: UNKNOWN(0x2E) 00002913: CALLDATALOAD 00002914: CALLER 00002915: CALLDATASIZE 00002916: UNKNOWN(0x2D) 00002917: BALANCE 00002918: UNKNOWN(0x2E) 00002919: ORIGIN 0000291a: CODECOPY 0000291b: CALLER 0000291c: KECCAK256 0000291d: CALLER 0000291e: UNKNOWN(0x2E) 0000291f: CODECOPY 00002920: CODESIZE 00002921: CALLVALUE 00002922: KECCAK256 00002923: ADDRESS 00002924: KECCAK256 00002925: CALLER 00002926: UNKNOWN(0x2E) 00002927: CALLVALUE 00002928: CODECOPY 00002929: ORIGIN 0000292a: KECCAK256 0000292b: ORIGIN 0000292c: UNKNOWN(0x2E) 0000292d: CALLDATALOAD 0000292e: CALLDATALOAD 0000292f: KECCAK256 00002930: CALLDATALOAD 00002931: UNKNOWN(0x2E) 00002932: ORIGIN 00002933: CALLDATACOPY 00002934: CALLDATALOAD 00002935: PUSH21 0x362e3520312e3738336d35342e373420392e313535 0000294b: PUSH18 0x2d362e33323620302d31312e3332332d332e 0000295e: ORIGIN 0000295f: CALLDATALOAD 00002960: UNKNOWN(0x2D) 00002961: CALLVALUE 00002962: UNKNOWN(0x2E) 00002963: CODECOPY 00002964: CODECOPY 00002965: CALLDATALOAD 00002966: UNKNOWN(0x2D) 00002967: CALLER 00002968: UNKNOWN(0x2E) 00002969: ORIGIN 0000296a: CALLDATALOAD 0000296b: UNKNOWN(0x2D) 0000296c: CALLDATACOPY 0000296d: UNKNOWN(0x2E) 0000296e: CODESIZE 0000296f: CODECOPY 00002970: CALLDATACOPY 00002971: UNKNOWN(0x2D) 00002972: CODECOPY 00002973: UNKNOWN(0x2E) 00002974: CALLVALUE 00002975: CALLER 00002976: CALLVALUE 00002977: UNKNOWN(0x2D) 00002978: ORIGIN 00002979: UNKNOWN(0x2E) 0000297a: CODECOPY 0000297b: UNKNOWN(0x2D) 0000297c: CALLDATASIZE 0000297d: UNKNOWN(0x2E) 0000297e: BALANCE 0000297f: CODESIZE 00002980: CALLDATASIZE 00002981: UNKNOWN(0x2D) 00002982: ORIGIN 00002983: UNKNOWN(0x2E) 00002984: CODECOPY 00002985: UNKNOWN(0x2D) 00002986: BALANCE 00002987: CALLDATALOAD 00002988: UNKNOWN(0x2E) 00002989: ADDRESS 0000298a: ORIGIN 0000298b: CALLDATASIZE 0000298c: KECCAK256 0000298d: ADDRESS 0000298e: UNKNOWN(0x2D) 0000298f: CODESIZE 00002990: UNKNOWN(0x2E) 00002991: CODECOPY 00002992: CALLVALUE 00002993: CALLDATASIZE 00002994: KECCAK256 00002995: ORIGIN 00002996: UNKNOWN(0x2E) 00002997: CODECOPY 00002998: CALLER 00002999: CALLDATASIZE 0000299a: UNKNOWN(0x2D) 0000299b: BALANCE 0000299c: CALLDATALOAD 0000299d: UNKNOWN(0x2E) 0000299e: ADDRESS 0000299f: CODECOPY 000029a0: CALLDATASIZE 000029a1: KECCAK256 000029a2: ORIGIN 000029a3: UNKNOWN(0x2E) 000029a4: CODECOPY 000029a5: CALLDATACOPY 000029a6: UNKNOWN(0x2D) 000029a7: CALLDATASIZE 000029a8: UNKNOWN(0x2E) 000029a9: BALANCE 000029aa: CODESIZE 000029ab: CALLVALUE 000029ac: KECCAK256 000029ad: CODESIZE 000029ae: UNKNOWN(0x2E) 000029af: ADDRESS 000029b0: ADDRESS 000029b1: ORIGIN 000029b2: UNKNOWN(0x2D) 000029b3: CODECOPY 000029b4: UNKNOWN(0x2E) 000029b5: CALLER 000029b6: CALLER 000029b7: KECCAK256 000029b8: CALLDATALOAD 000029b9: UNKNOWN(0x2E) 000029ba: ADDRESS 000029bb: CALLER 000029bc: BALANCE 000029bd: UNKNOWN(0x2D) 000029be: CALLER 000029bf: UNKNOWN(0x2E) 000029c0: BALANCE 000029c1: CODESIZE 000029c2: KECCAK256 000029c3: BALANCE 000029c4: BALANCE 000029c5: UNKNOWN(0x2E) 000029c6: ORIGIN 000029c7: BALANCE 000029c8: CALLDATASIZE 000029c9: UNKNOWN(0x2D) 000029ca: CALLER 000029cb: UNKNOWN(0x2E) 000029cc: BALANCE 000029cd: CODESIZE 000029ce: KECCAK256 000029cf: CALLVALUE 000029d0: UNKNOWN(0x2E) 000029d1: CALLDATACOPY 000029d2: BALANCE 000029d3: CALLDATACOPY 000029d4: KECCAK256 000029d5: ADDRESS 000029d6: KECCAK256 000029d7: CALLDATACOPY 000029d8: UNKNOWN(0x2E) 000029d9: CALLDATACOPY 000029da: CALLDATALOAD 000029db: CODESIZE 000029dc: KECCAK256 000029dd: BALANCE 000029de: UNKNOWN(0x2E) 000029df: CALLDATASIZE 000029e0: ADDRESS 000029e1: CODECOPY 000029e2: KECCAK256 000029e3: CALLER 000029e4: UNKNOWN(0x2E) 000029e5: ADDRESS 000029e6: CALLVALUE 000029e7: KECCAK256 000029e8: BALANCE 000029e9: UNKNOWN(0x2E) 000029ea: CALLDATALOAD 000029eb: CALLDATACOPY 000029ec: ORIGIN 000029ed: KECCAK256 000029ee: CALLVALUE 000029ef: UNKNOWN(0x2E) 000029f0: CODESIZE 000029f1: ORIGIN 000029f2: ORIGIN 000029f3: KECCAK256 000029f4: CALLER 000029f5: UNKNOWN(0x2E) 000029f6: CODESIZE 000029f7: ADDRESS 000029f8: CALLDATACOPY 000029f9: KECCAK256 000029fa: BALANCE 000029fb: UNKNOWN(0x2E) 000029fc: CALLDATACOPY 000029fd: CODESIZE 000029fe: ORIGIN 000029ff: KECCAK256 00002a00: ORIGIN 00002a01: UNKNOWN(0x2E) 00002a02: ORIGIN 00002a03: ADDRESS 00002a04: BALANCE 00002a05: KECCAK256 00002a06: ORIGIN 00002a07: UNKNOWN(0x2E) 00002a08: CALLDATACOPY 00002a09: CALLDATASIZE 00002a0a: KECCAK256 00002a0b: CALLVALUE 00002a0c: UNKNOWN(0x2E) 00002a0d: BALANCE 00002a0e: CALLDATASIZE 00002a0f: PUSH9 0x2e353234762d32362e 00002a19: CALLDATACOPY 00002a1a: CALLDATASIZE 00002a1b: CALLDATALOAD 00002a1c: PUSH9 0x31322e363835763731 00002a26: UNKNOWN(0x2E) 00002a27: CALLDATALOAD 00002a28: CALLDATASIZE 00002a29: CALLVALUE 00002a2a: PUSH9 0x2d31322e3434762d38 00002a34: UNKNOWN(0x2E) 00002a35: CALLVALUE 00002a36: CALLDATALOAD 00002a37: CALLDATASIZE 00002a38: PUSH9 0x2d2e373638712d2e39 00002a42: CODESIZE 00002a43: KECCAK256 00002a44: BALANCE 00002a45: UNKNOWN(0x2E) 00002a46: CODECOPY 00002a47: CALLDATALOAD 00002a48: CALLDATASIZE 00002a49: UNKNOWN(0x2D) 00002a4a: ORIGIN 00002a4b: UNKNOWN(0x2E) 00002a4c: CODESIZE 00002a4d: CALLER 00002a4e: BALANCE 00002a4f: KECCAK256 00002a50: CALLVALUE 00002a51: UNKNOWN(0x2E) 00002a52: BALANCE 00002a53: CALLDATALOAD 00002a54: CODESIZE 00002a55: UNKNOWN(0x2D) 00002a56: BALANCE 00002a57: UNKNOWN(0x2E) 00002a58: CODESIZE 00002a59: CALLDATALOAD 00002a5a: ORIGIN 00002a5b: KECCAK256 00002a5c: ORIGIN 00002a5d: UNKNOWN(0x2E) 00002a5e: BALANCE 00002a5f: CALLDATASIZE 00002a60: CALLDATASIZE 00002a61: UNKNOWN(0x2D) 00002a62: CALLVALUE 00002a63: UNKNOWN(0x2E) 00002a64: CODESIZE 00002a65: CODECOPY 00002a66: ORIGIN 00002a67: KECCAK256 00002a68: CALLER 00002a69: UNKNOWN(0x2E) 00002a6a: CALLDATACOPY 00002a6b: ADDRESS 00002a6c: CALLVALUE 00002a6d: UNKNOWN(0x2D) 00002a6e: CALLER 00002a6f: UNKNOWN(0x2E) 00002a70: ADDRESS 00002a71: CALLVALUE 00002a72: KECCAK256 00002a73: BALANCE 00002a74: UNKNOWN(0x2E) 00002a75: CALLDATALOAD 00002a76: CALLER 00002a77: CALLDATASIZE 00002a78: UNKNOWN(0x2D) 00002a79: CALLDATACOPY 00002a7a: UNKNOWN(0x2E) 00002a7b: CALLDATASIZE 00002a7c: CALLDATALOAD 00002a7d: CALLER 00002a7e: KECCAK256 00002a7f: BALANCE 00002a80: UNKNOWN(0x2E) 00002a81: CALLDATALOAD 00002a82: CALLER 00002a83: CALLDATASIZE 00002a84: PUSH14 0x332e35332d31302e33373971342e 00002a93: ADDRESS 00002a94: BALANCE 00002a95: CODESIZE 00002a96: KECCAK256 00002a97: ADDRESS 00002a98: KECCAK256 00002a99: CALLDATASIZE 00002a9a: UNKNOWN(0x2E) 00002a9b: CODESIZE 00002a9c: CALLVALUE 00002a9d: CODECOPY 00002a9e: UNKNOWN(0x2D) 00002a9f: ORIGIN 00002aa0: UNKNOWN(0x2E) 00002aa1: BALANCE 00002aa2: CALLDATASIZE 00002aa3: CALLDATASIZE 00002aa4: KECCAK256 00002aa5: ORIGIN 00002aa6: UNKNOWN(0x2E) 00002aa7: CODESIZE 00002aa8: CALLER 00002aa9: UNKNOWN(0x2D) 00002aaa: ORIGIN 00002aab: UNKNOWN(0x2E) 00002aac: ORIGIN 00002aad: ADDRESS 00002aae: ORIGIN 00002aaf: KECCAK256 00002ab0: CALLVALUE 00002ab1: UNKNOWN(0x2E) 00002ab2: ORIGIN 00002ab3: CODECOPY 00002ab4: CALLDATACOPY 00002ab5: UNKNOWN(0x2D) 00002ab6: CALLDATASIZE 00002ab7: UNKNOWN(0x2E) 00002ab8: BALANCE 00002ab9: BALANCE 00002aba: CALLDATALOAD 00002abb: KECCAK256 00002abc: BALANCE 00002abd: UNKNOWN(0x2E) 00002abe: CALLVALUE 00002abf: CALLDATASIZE 00002ac0: CODECOPY 00002ac1: UNKNOWN(0x2D) 00002ac2: CALLER 00002ac3: UNKNOWN(0x2E) 00002ac4: CODECOPY 00002ac5: BALANCE 00002ac6: CALLER 00002ac7: KECCAK256 00002ac8: BALANCE 00002ac9: UNKNOWN(0x2E) 00002aca: CALLVALUE 00002acb: CALLDATASIZE 00002acc: CODESIZE 00002acd: UNKNOWN(0x2D) 00002ace: CODECOPY 00002acf: UNKNOWN(0x2E) 00002ad0: BALANCE 00002ad1: ORIGIN 00002ad2: KECCAK256 00002ad3: ADDRESS 00002ad4: UNKNOWN(0x2D) 00002ad5: CALLDATALOAD 00002ad6: UNKNOWN(0x2E) 00002ad7: ORIGIN 00002ad8: ADDRESS 00002ad9: CODESIZE 00002ada: UNKNOWN(0x2D) 00002adb: BALANCE 00002adc: UNKNOWN(0x2E) 00002add: CALLVALUE 00002ade: CALLDATASIZE 00002adf: CODESIZE 00002ae0: UNKNOWN(0x2D) 00002ae1: CODECOPY 00002ae2: UNKNOWN(0x2E) 00002ae3: ADDRESS 00002ae4: CALLDATALOAD 00002ae5: UNKNOWN(0x2D) 00002ae6: BALANCE 00002ae7: UNKNOWN(0x2E) 00002ae8: CALLVALUE 00002ae9: CALLER 00002aea: CALLER 00002aeb: UNKNOWN(0x2D) 00002aec: CALLER 00002aed: UNKNOWN(0x2E) 00002aee: CODESIZE 00002aef: CALLVALUE 00002af0: CALLVALUE 00002af1: UNKNOWN(0x2D) 00002af2: CALLVALUE 00002af3: UNKNOWN(0x2E) 00002af4: ORIGIN 00002af5: CALLDATASIZE 00002af6: ORIGIN 00002af7: UNKNOWN(0x2D) 00002af8: CALLDATALOAD 00002af9: UNKNOWN(0x2E) 00002afa: CODECOPY 00002afb: CALLDATACOPY 00002afc: CALLDATASIZE 00002afd: UNKNOWN(0x2D) 00002afe: ORIGIN 00002aff: UNKNOWN(0x2E) 00002b00: CALLDATACOPY 00002b01: CODECOPY 00002b02: CALLDATASIZE 00002b03: UNKNOWN(0x2D) 00002b04: ORIGIN 00002b05: UNKNOWN(0x2E) 00002b06: BALANCE 00002b07: CALLER 00002b08: UNKNOWN(0x2D) 00002b09: CALLDATASIZE 00002b0a: UNKNOWN(0x2E) 00002b0b: CODESIZE 00002b0c: CODESIZE 00002b0d: CALLDATALOAD 00002b0e: UNKNOWN(0x2D) 00002b0f: ORIGIN 00002b10: UNKNOWN(0x2E) 00002b11: BALANCE 00002b12: CALLER 00002b13: BALANCE 00002b14: UNKNOWN(0x2D) 00002b15: CALLVALUE 00002b16: UNKNOWN(0x2E) 00002b17: ORIGIN 00002b18: ORIGIN 00002b19: CODESIZE 00002b1a: KECCAK256 00002b1b: ADDRESS 00002b1c: UNKNOWN(0x2D) 00002b1d: CALLDATACOPY 00002b1e: UNKNOWN(0x2E) 00002b1f: ADDRESS 00002b20: CALLDATALOAD 00002b21: CODESIZE 00002b22: KECCAK256 00002b23: ORIGIN 00002b24: UNKNOWN(0x2E) 00002b25: ORIGIN 00002b26: ADDRESS 00002b27: ORIGIN 00002b28: PUSH21 0x2d342e32363420362e3038712d312e34333120332e 00002b3e: CODESIZE 00002b3f: CALLDATACOPY 00002b40: CALLDATACOPY 00002b41: UNKNOWN(0x2D) 00002b42: BALANCE 00002b43: UNKNOWN(0x2E) 00002b44: CALLVALUE 00002b45: CALLER 00002b46: BALANCE 00002b47: KECCAK256 00002b48: CODESIZE 00002b49: UNKNOWN(0x2E) 00002b4a: CODESIZE 00002b4b: CALLDATACOPY 00002b4c: CALLDATALOAD 00002b4d: KECCAK256 00002b4e: ADDRESS 00002b4f: KECCAK256 00002b50: CALLDATALOAD 00002b51: UNKNOWN(0x2E) 00002b52: ADDRESS 00002b53: CALLER 00002b54: ORIGIN 00002b55: KECCAK256 00002b56: BALANCE 00002b57: UNKNOWN(0x2E) 00002b58: CALLVALUE 00002b59: CALLER 00002b5a: BALANCE 00002b5b: KECCAK256 00002b5c: CODESIZE 00002b5d: UNKNOWN(0x2E) 00002b5e: CODECOPY 00002b5f: CODESIZE 00002b60: BALANCE 00002b61: KECCAK256 00002b62: BALANCE 00002b63: UNKNOWN(0x2E) 00002b64: CALLVALUE 00002b65: CALLDATACOPY 00002b66: KECCAK256 00002b67: CALLER 00002b68: UNKNOWN(0x2E) 00002b69: CODECOPY 00002b6a: BALANCE 00002b6b: CALLER 00002b6c: KECCAK256 00002b6d: CALLVALUE 00002b6e: UNKNOWN(0x2E) 00002b6f: ORIGIN 00002b70: CODECOPY 00002b71: CODECOPY 00002b72: KECCAK256 00002b73: CALLDATASIZE 00002b74: UNKNOWN(0x2E) 00002b75: BALANCE 00002b76: CODESIZE 00002b77: CALLDATALOAD 00002b78: KECCAK256 00002b79: ORIGIN 00002b7a: UNKNOWN(0x2E) 00002b7b: CODESIZE 00002b7c: CALLDATASIZE 00002b7d: CALLDATALOAD 00002b7e: KECCAK256 00002b7f: ORIGIN 00002b80: UNKNOWN(0x2E) 00002b81: ORIGIN 00002b82: CALLER 00002b83: CALLDATALOAD 00002b84: KECCAK256 00002b85: CALLDATACOPY 00002b86: UNKNOWN(0x2E) 00002b87: ADDRESS 00002b88: ORIGIN 00002b89: CALLER 00002b8a: KECCAK256 00002b8b: ORIGIN 00002b8c: UNKNOWN(0x2E) 00002b8d: ORIGIN 00002b8e: CALLER 00002b8f: CALLDATALOAD 00002b90: PUSH14 0x35382e3939342031302e34383471 00002b9f: UNKNOWN(0x2D) 00002ba0: CALLDATACOPY 00002ba1: UNKNOWN(0x2E) 00002ba2: CODESIZE 00002ba3: CALLDATASIZE 00002ba4: ORIGIN 00002ba5: KECCAK256 00002ba6: ADDRESS 00002ba7: UNKNOWN(0x2D) 00002ba8: BALANCE 00002ba9: CALLER 00002baa: UNKNOWN(0x2E) 00002bab: CALLDATASIZE 00002bac: ORIGIN 00002bad: CODESIZE 00002bae: UNKNOWN(0x2D) 00002baf: CALLER 00002bb0: UNKNOWN(0x2E) 00002bb1: CALLVALUE 00002bb2: CALLDATASIZE 00002bb3: PUSH21 0x2d382e3934362d392e3638712d332e3134342d362e 00002bc9: ORIGIN 00002bca: BALANCE 00002bcb: CODECOPY 00002bcc: UNKNOWN(0x2D) 00002bcd: CALLER 00002bce: UNKNOWN(0x2E) 00002bcf: BALANCE 00002bd0: CALLVALUE 00002bd1: CALLVALUE 00002bd2: UNKNOWN(0x2D) 00002bd3: BALANCE 00002bd4: CALLVALUE 00002bd5: UNKNOWN(0x2E) 00002bd6: CALLDATALOAD 00002bd7: CALLER 00002bd8: CALLDATALOAD 00002bd9: PUSH21 0x332e3134342d31342e35373171332e31382d362e32 00002bef: CALLDATALOAD 00002bf0: CALLDATALOAD 00002bf1: KECCAK256 00002bf2: CODESIZE 00002bf3: UNKNOWN(0x2E) 00002bf4: CODECOPY 00002bf5: CALLVALUE 00002bf6: CALLDATASIZE 00002bf7: UNKNOWN(0x2D) 00002bf8: CODECOPY 00002bf9: UNKNOWN(0x2E) 00002bfa: CALLDATACOPY 00002bfb: BALANCE 00002bfc: CALLVALUE 00002bfd: PUSH21 0x31332e3632382d332e34362031332e36323820332e 00002c13: CALLVALUE 00002c14: CALLDATASIZE 00002c15: KECCAK256 00002c16: CODESIZE 00002c17: UNKNOWN(0x2E) 00002c18: CODECOPY 00002c19: BALANCE 00002c1a: KECCAK256 00002c1b: CODECOPY 00002c1c: UNKNOWN(0x2E) 00002c1d: CALLDATACOPY 00002c1e: BALANCE 00002c1f: CALLVALUE 00002c20: PUSH18 0x332e313820362e32353420332e3138203134 00002c33: UNKNOWN(0x2E) 00002c34: CALLDATALOAD 00002c35: CALLDATACOPY 00002c36: BALANCE 00002c37: PUSH21 0x2d332e31382031342e353336712d332e3134342036 00002c4d: UNKNOWN(0x2E) 00002c4e: ORIGIN 00002c4f: ORIGIN 00002c50: UNKNOWN(0x2D) 00002c51: CODESIZE 00002c52: UNKNOWN(0x2E) 00002c53: CODECOPY 00002c54: BALANCE 00002c55: KECCAK256 00002c56: CODECOPY 00002c57: UNKNOWN(0x2E) 00002c58: CALLDATASIZE 00002c59: CALLDATACOPY 00002c5a: CODECOPY 00002c5b: PUSH21 0x2d31332e36323820332e34366d2e30372d31302e31 00002c71: CALLER 00002c72: CALLER 00002c73: PUSH18 0x342e323633203020372e3132382d322e3334 00002c86: BALANCE 00002c87: KECCAK256 00002c88: ORIGIN 00002c89: UNKNOWN(0x2E) 00002c8a: CODESIZE 00002c8b: CALLDATASIZE 00002c8c: CALLDATASIZE 00002c8d: UNKNOWN(0x2D) 00002c8e: ORIGIN 00002c8f: UNKNOWN(0x2E) 00002c90: CALLER 00002c91: CALLDATACOPY 00002c92: CALLDATASIZE 00002c93: KECCAK256 00002c94: CALLVALUE 00002c95: UNKNOWN(0x2E) 00002c96: ORIGIN 00002c97: CALLDATASIZE 00002c98: CALLVALUE 00002c99: UNKNOWN(0x2D) 00002c9a: CALLDATASIZE 00002c9b: UNKNOWN(0x2E) 00002c9c: CALLER 00002c9d: CALLDATASIZE 00002c9e: KECCAK256 00002c9f: BALANCE 00002ca0: UNKNOWN(0x2E) 00002ca1: CALLVALUE 00002ca2: CALLER 00002ca3: ORIGIN 00002ca4: UNKNOWN(0x2D) 00002ca5: CALLER 00002ca6: UNKNOWN(0x2E) 00002ca7: CODECOPY 00002ca8: CODESIZE 00002ca9: CALLVALUE 00002caa: KECCAK256 00002cab: BALANCE 00002cac: UNKNOWN(0x2E) 00002cad: CALLVALUE 00002cae: CALLER 00002caf: ORIGIN 00002cb0: UNKNOWN(0x2D) 00002cb1: CODESIZE 00002cb2: UNKNOWN(0x2E) 00002cb3: CODESIZE 00002cb4: CALLDATACOPY 00002cb5: CALLDATASIZE 00002cb6: KECCAK256 00002cb7: ADDRESS 00002cb8: UNKNOWN(0x2D) 00002cb9: CALLVALUE 00002cba: UNKNOWN(0x2E) 00002cbb: CODECOPY 00002cbc: ORIGIN 00002cbd: CODESIZE 00002cbe: UNKNOWN(0x2D) 00002cbf: BALANCE 00002cc0: UNKNOWN(0x2E) 00002cc1: CALLVALUE 00002cc2: CALLER 00002cc3: ORIGIN 00002cc4: UNKNOWN(0x2D) 00002cc5: CODESIZE 00002cc6: UNKNOWN(0x2E) 00002cc7: CODECOPY 00002cc8: BALANCE 00002cc9: UNKNOWN(0x2D) 00002cca: BALANCE 00002ccb: UNKNOWN(0x2E) 00002ccc: CALLER 00002ccd: CODECOPY 00002cce: CODESIZE 00002ccf: UNKNOWN(0x2D) 00002cd0: CALLVALUE 00002cd1: UNKNOWN(0x2E) 00002cd2: ADDRESS 00002cd3: ORIGIN 00002cd4: UNKNOWN(0x2D) 00002cd5: CALLVALUE 00002cd6: UNKNOWN(0x2E) 00002cd7: ORIGIN 00002cd8: CALLDATASIZE 00002cd9: CALLVALUE 00002cda: UNKNOWN(0x2D) 00002cdb: CALLDATASIZE 00002cdc: UNKNOWN(0x2E) 00002cdd: CALLER 00002cde: CODECOPY 00002cdf: CALLDATASIZE 00002ce0: PUSH21 0x2d372e3132382d322e333736712d342e3336382030 00002cf6: UNKNOWN(0x2D) 00002cf7: CALLDATACOPY 00002cf8: UNKNOWN(0x2E) 00002cf9: ORIGIN 00002cfa: CALLDATASIZE 00002cfb: CODESIZE 00002cfc: KECCAK256 00002cfd: ORIGIN 00002cfe: UNKNOWN(0x2E) 00002cff: CALLER 00002d00: CALLDATACOPY 00002d01: CALLDATASIZE 00002d02: UNKNOWN(0x2D) 00002d03: ORIGIN 00002d04: UNKNOWN(0x2E) 00002d05: CODESIZE 00002d06: CALLDATASIZE 00002d07: CALLDATASIZE 00002d08: KECCAK256 00002d09: ORIGIN 00002d0a: UNKNOWN(0x2E) 00002d0b: CALLER 00002d0c: CALLDATACOPY 00002d0d: CALLDATASIZE 00002d0e: UNKNOWN(0x2D) 00002d0f: CALLVALUE 00002d10: UNKNOWN(0x2E) 00002d11: ORIGIN 00002d12: CODECOPY 00002d13: CODESIZE 00002d14: KECCAK256 00002d15: CALLDATASIZE 00002d16: UNKNOWN(0x2E) 00002d17: CALLER 00002d18: CODECOPY 00002d19: CALLDATASIZE 00002d1a: UNKNOWN(0x2D) 00002d1b: BALANCE 00002d1c: UNKNOWN(0x2E) 00002d1d: CALLER 00002d1e: CODECOPY 00002d1f: CALLDATACOPY 00002d20: KECCAK256 00002d21: CALLER 00002d22: UNKNOWN(0x2E) 00002d23: CODECOPY 00002d24: CODESIZE 00002d25: ORIGIN 00002d26: UNKNOWN(0x2D) 00002d27: BALANCE 00002d28: UNKNOWN(0x2E) 00002d29: CALLER 00002d2a: CODECOPY 00002d2b: CODESIZE 00002d2c: KECCAK256 00002d2d: CODESIZE 00002d2e: UNKNOWN(0x2E) 00002d2f: CODECOPY 00002d30: BALANCE 00002d31: KECCAK256 00002d32: ADDRESS 00002d33: KECCAK256 00002d34: CALLVALUE 00002d35: UNKNOWN(0x2E) 00002d36: CODESIZE 00002d37: CODECOPY 00002d38: ORIGIN 00002d39: KECCAK256 00002d3a: BALANCE 00002d3b: UNKNOWN(0x2E) 00002d3c: CALLER 00002d3d: CODECOPY 00002d3e: CODESIZE 00002d3f: KECCAK256 00002d40: CODESIZE 00002d41: UNKNOWN(0x2E) 00002d42: CODESIZE 00002d43: CALLDATACOPY 00002d44: CALLDATASIZE 00002d45: KECCAK256 00002d46: BALANCE 00002d47: UNKNOWN(0x2E) 00002d48: CALLVALUE 00002d49: CALLER 00002d4a: ORIGIN 00002d4b: KECCAK256 00002d4c: CALLER 00002d4d: UNKNOWN(0x2E) 00002d4e: CODECOPY 00002d4f: CODESIZE 00002d50: CALLVALUE 00002d51: KECCAK256 00002d52: CALLVALUE 00002d53: UNKNOWN(0x2E) 00002d54: ORIGIN 00002d55: CODECOPY 00002d56: CODESIZE 00002d57: KECCAK256 00002d58: CALLDATASIZE 00002d59: UNKNOWN(0x2E) 00002d5a: CALLER 00002d5b: CALLDATASIZE 00002d5c: KECCAK256 00002d5d: ORIGIN 00002d5e: UNKNOWN(0x2E) 00002d5f: CODECOPY 00002d60: KECCAK256 00002d61: ORIGIN 00002d62: UNKNOWN(0x2E) 00002d63: CALLER 00002d64: CALLVALUE 00002d65: KECCAK256 00002d66: CALLDATACOPY 00002d67: UNKNOWN(0x2E) 00002d68: ORIGIN 00002d69: CALLDATASIZE 00002d6a: CODESIZE 00002d6b: KECCAK256 00002d6c: ORIGIN 00002d6d: UNKNOWN(0x2E) 00002d6e: CALLER 00002d6f: CALLVALUE 00002d70: UNKNOWN(0x22) 00002d71: KECCAK256 00002d72: PUSH7 0x696c6c3d222330 00002d7a: ADDRESS 00002d7b: ADDRESS 00002d7c: UNKNOWN(0x22) 00002d7d: UNKNOWN(0x2F) 00002d7e: RETURNDATACOPY 00002d7f: EXTCODECOPY 00002d80: UNKNOWN(0x2F) 00002d81: PUSH8 0x3e3c2f7376673ea2 00002d8a: PUSH5 0x6970667358 00002d90: UNKNOWN(0x22) 00002d91: SLT 00002d92: KECCAK256 00002d93: SHL 00002d94: UNKNOWN(0xD7) 00002d95: UNKNOWN(0xB6) 00002d96: BLOBBASEFEE 00002d97: PUSH6 0x138779cd5d2b 00002d9e: LT 00002d9f: DIFFICULTY 00002da0: MCOPY 00002da1: UNKNOWN(0x25) 00002da2: CREATE2 00002da3: UNKNOWN(0xEF) 00002da4: UNKNOWN(0xC0) 00002da5: SUB 00002da6: SELFDESTRUCT 00002da7: UNKNOWN(0xD7) 00002da8: MUL 00002da9: UNKNOWN(0x21) 00002daa: SWAP4 00002dab: PUSH25
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8293,
"type": "tx_origin_used"
},
{
"pc": 8311,
"type": "tx_origin_used"
},
{
"pc": 8361,
"type": "tx_origin_used"
},
{
"pc": 8496,
"type": "tx_origin_used"
},
{
"pc": 8500,
"type": "tx_origin_used"
},
{
"pc": 8525,
"type": "tx_origin_used"
},
{
"pc": 8530,
"type": "tx_origin_used"
},
{
"pc": 8602,
"type": "tx_origin_used"
},
{
"pc": 8607,
"type": "tx_origin_used"
},
{
"pc": 8679,
"type": "tx_origin_used"
},
{
"pc": 8684,
"type": "tx_origin_used"
},
{
"pc": 8688,
"type": "tx_origin_used"
},
{
"pc": 8721,
"type": "tx_origin_used"
},
{
"pc": 8750,
"type": "tx_origin_used"
},
{
"pc": 8805,
"type": "tx_origin_used"
},
{
"pc": 8833,
"type": "tx_origin_used"
},
{
"pc": 8841,
"type": "tx_origin_used"
},
{
"pc": 9032,
"type": "tx_origin_used"
},
{
"pc": 9033,
"type": "tx_origin_used"
},
{
"pc": 9052,
"type": "tx_origin_used"
},
{
"pc": 9075,
"type": "tx_origin_used"
},
{
"pc": 9099,
"type": "tx_origin_used"
},
{
"pc": 9112,
"type": "tx_origin_used"
},
{
"pc": 9119,
"type": "tx_origin_used"
},
{
"pc": 9140,
"type": "tx_origin_used"
},
{
"pc": 9154,
"type": "tx_origin_used"
},
{
"pc": 9205,
"type": "tx_origin_used"
},
{
"pc": 9280,
"type": "tx_origin_used"
},
{
"pc": 9357,
"type": "tx_origin_used"
},
{
"pc": 9414,
"type": "tx_origin_used"
},
{
"pc": 9419,
"type": "tx_origin_used"
},
{
"pc": 9431,
"type": "tx_origin_used"
},
{
"pc": 9457,
"type": "tx_origin_used"
},
{
"pc": 9474,
"type": "tx_origin_used"
},
{
"pc": 9476,
"type": "tx_origin_used"
},
{
"pc": 9491,
"type": "tx_origin_used"
},
{
"pc": 9565,
"type": "tx_origin_used"
},
{
"pc": 9584,
"type": "tx_origin_used"
},
{
"pc": 9659,
"type": "tx_origin_used"
},
{
"pc": 9677,
"type": "tx_origin_used"
},
{
"pc": 9724,
"type": "tx_origin_used"
},
{
"pc": 9729,
"type": "tx_origin_used"
},
{
"pc": 9736,
"type": "tx_origin_used"
},
{
"pc": 9738,
"type": "tx_origin_used"
},
{
"pc": 9749,
"type": "tx_origin_used"
},
{
"pc": 9766,
"type": "tx_origin_used"
},
{
"pc": 9778,
"type": "tx_origin_used"
},
{
"pc": 9787,
"type": "tx_origin_used"
},
{
"pc": 9808,
"type": "tx_origin_used"
},
{
"pc": 9830,
"type": "tx_origin_used"
},
{
"pc": 9848,
"type": "tx_origin_used"
},
{
"pc": 9854,
"type": "tx_origin_used"
},
{
"pc": 9856,
"type": "tx_origin_used"
},
{
"pc": 9860,
"type": "tx_origin_used"
},
{
"pc": 9899,
"type": "tx_origin_used"
},
{
"pc": 9907,
"type": "tx_origin_used"
},
{
"pc": 9912,
"type": "tx_origin_used"
},
{
"pc": 9918,
"type": "tx_origin_used"
},
{
"pc": 9920,
"type": "tx_origin_used"
},
{
"pc": 9949,
"type": "tx_origin_used"
},
{
"pc": 9954,
"type": "tx_origin_used"
},
{
"pc": 9966,
"type": "tx_origin_used"
},
{
"pc": 9986,
"type": "tx_origin_used"
},
{
"pc": 9989,
"type": "tx_origin_used"
},
{
"pc": 9992,
"type": "tx_origin_used"
},
{
"pc": 9997,
"type": "tx_origin_used"
},
{
"pc": 10000,
"type": "tx_origin_used"
},
{
"pc": 10054,
"type": "tx_origin_used"
},
{
"pc": 10061,
"type": "tx_origin_used"
},
{
"pc": 10067,
"type": "tx_origin_used"
},
{
"pc": 10073,
"type": "tx_origin_used"
},
{
"pc": 10090,
"type": "tx_origin_used"
},
{
"pc": 10111,
"type": "tx_origin_used"
},
{
"pc": 10123,
"type": "tx_origin_used"
},
{
"pc": 10137,
"type": "tx_origin_used"
},
{
"pc": 10166,
"type": "tx_origin_used"
},
{
"pc": 10245,
"type": "tx_origin_used"
},
{
"pc": 10249,
"type": "tx_origin_used"
},
{
"pc": 10254,
"type": "tx_origin_used"
},
{
"pc": 10259,
"type": "tx_origin_used"
},
{
"pc": 10277,
"type": "tx_origin_used"
},
{
"pc": 10289,
"type": "tx_origin_used"
},
{
"pc": 10323,
"type": "tx_origin_used"
},
{
"pc": 10337,
"type": "tx_origin_used"
},
{
"pc": 10409,
"type": "tx_origin_used"
},
{
"pc": 10455,
"type": "tx_origin_used"
},
{
"pc": 10461,
"type": "tx_origin_used"
},
{
"pc": 10481,
"type": "tx_origin_used"
},
{
"pc": 10485,
"type": "tx_origin_used"
},
{
"pc": 10487,
"type": "tx_origin_used"
},
{
"pc": 10498,
"type": "tx_origin_used"
},
{
"pc": 10501,
"type": "tx_origin_used"
},
{
"pc": 10509,
"type": "tx_origin_used"
},
{
"pc": 10521,
"type": "tx_origin_used"
},
{
"pc": 10537,
"type": "tx_origin_used"
},
{
"pc": 10539,
"type": "tx_origin_used"
},
{
"pc": 10546,
"type": "tx_origin_used"
},
{
"pc": 10590,
"type": "tx_origin_used"
},
{
"pc": 10601,
"type": "tx_origin_used"
},
{
"pc": 10616,
"type": "tx_origin_used"
},
{
"pc": 10626,
"type": "tx_origin_used"
},
{
"pc": 10634,
"type": "tx_origin_used"
},
{
"pc": 10645,
"type": "tx_origin_used"
},
{
"pc": 10658,
"type": "tx_origin_used"
},
{
"pc": 10673,
"type": "tx_origin_used"
},
{
"pc": 10694,
"type": "tx_origin_used"
},
{
"pc": 10732,
"type": "tx_origin_used"
},
{
"pc": 10737,
"type": "tx_origin_used"
},
{
"pc": 10738,
"type": "tx_origin_used"
},
{
"pc": 10750,
"type": "tx_origin_used"
},
{
"pc": 10752,
"type": "tx_origin_used"
},
{
"pc": 10754,
"type": "tx_origin_used"
},
{
"pc": 10758,
"type": "tx_origin_used"
},
{
"pc": 10826,
"type": "tx_origin_used"
},
{
"pc": 10842,
"type": "tx_origin_used"
},
{
"pc": 10844,
"type": "tx_origin_used"
},
{
"pc": 10854,
"type": "tx_origin_used"
},
{
"pc": 10911,
"type": "tx_origin_used"
},
{
"pc": 10917,
"type": "tx_origin_used"
},
{
"pc": 10922,
"type": "tx_origin_used"
},
{
"pc": 10924,
"type": "tx_origin_used"
},
{
"pc": 10926,
"type": "tx_origin_used"
},
{
"pc": 10930,
"type": "tx_origin_used"
},
{
"pc": 10961,
"type": "tx_origin_used"
},
{
"pc": 10967,
"type": "tx_origin_used"
},
{
"pc": 10996,
"type": "tx_origin_used"
},
{
"pc": 10998,
"type": "tx_origin_used"
},
{
"pc": 11006,
"type": "tx_origin_used"
},
{
"pc": 11012,
"type": "tx_origin_used"
},
{
"pc": 11023,
"type": "tx_origin_used"
},
{
"pc": 11031,
"type": "tx_origin_used"
},
{
"pc": 11032,
"type": "tx_origin_used"
},
{
"pc": 11043,
"type": "tx_origin_used"
},
{
"pc": 11045,
"type": "tx_origin_used"
},
{
"pc": 11047,
"type": "tx_origin_used"
},
{
"pc": 11092,
"type": "tx_origin_used"
},
{
"pc": 11119,
"type": "tx_origin_used"
},
{
"pc": 11129,
"type": "tx_origin_used"
},
{
"pc": 11135,
"type": "tx_origin_used"
},
{
"pc": 11137,
"type": "tx_origin_used"
},
{
"pc": 11144,
"type": "tx_origin_used"
},
{
"pc": 11147,
"type": "tx_origin_used"
},
{
"pc": 11149,
"type": "tx_origin_used"
},
{
"pc": 11172,
"type": "tx_origin_used"
},
{
"pc": 11180,
"type": "tx_origin_used"
},
{
"pc": 11209,
"type": "tx_origin_used"
},
{
"pc": 11342,
"type": "tx_origin_used"
},
{
"pc": 11343,
"type": "tx_origin_used"
},
{
"pc": 11400,
"type": "tx_origin_used"
},
{
"pc": 11406,
"type": "tx_origin_used"
},
{
"pc": 11414,
"type": "tx_origin_used"
},
{
"pc": 11427,
"type": "tx_origin_used"
},
{
"pc": 11439,
"type": "tx_origin_used"
},
{
"pc": 11452,
"type": "tx_origin_used"
},
{
"pc": 11459,
"type": "tx_origin_used"
},
{
"pc": 11475,
"type": "tx_origin_used"
},
{
"pc": 11479,
"type": "tx_origin_used"
},
{
"pc": 11513,
"type": "tx_origin_used"
},
{
"pc": 11517,
"type": "tx_origin_used"
},
{
"pc": 11523,
"type": "tx_origin_used"
},
{
"pc": 11529,
"type": "tx_origin_used"
},
{
"pc": 11537,
"type": "tx_origin_used"
},
{
"pc": 11557,
"type": "tx_origin_used"
},
{
"pc": 11576,
"type": "tx_origin_used"
},
{
"pc": 11594,
"type": "tx_origin_used"
},
{
"pc": 11604,
"type": "tx_origin_used"
},
{
"pc": 11613,
"type": "tx_origin_used"
},
{
"pc": 11617,
"type": "tx_origin_used"
},
{
"pc": 11624,
"type": "tx_origin_used"
},
{
"pc": 11628,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb1158f45c09466ece252ef87e778504b393b611108fe6efcd07a9e73e25d004d
call_targets:
0xd9f21580409a26ceebd883c9b167329247f730f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb1158f45c09466ece252ef87e778504b393b611108fe6efcd07a9e73e25d004d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd9f21580409a26ceebd883c9b167329247f730f3"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1957,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5631,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 8293,
"type": "tx_origin_used"
},
{
"pc": 8311,
"type": "tx_origin_used"
},
{
"pc": 8361,
"type": "tx_origin_used"
},
{
"pc": 8496,
"type": "tx_origin_used"
},
{
"pc": 8500,
"type": "tx_origin_used"
},
{
"pc": 8525,
"type": "tx_origin_used"
},
{
"pc": 8530,
"type": "tx_origin_used"
},
{
"pc": 8602,
"type": "tx_origin_used"
},
{
"pc": 8607,
"type": "tx_origin_used"
},
{
"pc": 8679,
"type": "tx_origin_used"
},
{
"pc": 8684,
"type": "tx_origin_used"
},
{
"pc": 8688,
"type": "tx_origin_used"
},
{
"pc": 8721,
"type": "tx_origin_used"
},
{
"pc": 8750,
"type": "tx_origin_used"
},
{
"pc": 8805,
"type": "tx_origin_used"
},
{
"pc": 8833,
"type": "tx_origin_used"
},
{
"pc": 8841,
"type": "tx_origin_used"
},
{
"pc": 9032,
"type": "tx_origin_used"
},
{
"pc": 9033,
"type": "tx_origin_used"
},
{
"pc": 9052,
"type": "tx_origin_used"
},
{
"pc": 9075,
"type": "tx_origin_used"
},
{
"pc": 9099,
"type": "tx_origin_used"
},
{
"pc": 9112,
"type": "tx_origin_used"
},
{
"pc": 9119,
"type": "tx_origin_used"
},
{
"pc": 9140,
"type": "tx_origin_used"
},
{
"pc": 9154,
"type": "tx_origin_used"
},
{
"pc": 9205,
"type": "tx_origin_used"
},
{
"pc": 9280,
"type": "tx_origin_used"
},
{
"pc": 9357,
"type": "tx_origin_used"
},
{
"pc": 9414,
"type": "tx_origin_used"
},
{
"pc": 9419,
"type": "tx_origin_used"
},
{
"pc": 9431,
"type": "tx_origin_used"
},
{
"pc": 9457,
"type": "tx_origin_used"
},
{
"pc": 9474,
"type": "tx_origin_used"
},
{
"pc": 9476,
"type": "tx_origin_used"
},
{
"pc": 9491,
"type": "tx_origin_used"
},
{
"pc": 9565,
"type": "tx_origin_used"
},
{
"pc": 9584,
"type": "tx_origin_used"
},
{
"pc": 9659,
"type": "tx_origin_used"
},
{
"pc": 9677,
"type": "tx_origin_used"
},
{
"pc": 9724,
"type": "tx_origin_used"
},
{
"pc": 9729,
"type": "tx_origin_used"
},
{
"pc": 9736,
"type": "tx_origin_used"
},
{
"pc": 9738,
"type": "tx_origin_used"
},
{
"pc": 9749,
"type": "tx_origin_used"
},
{
"pc": 9766,
"type": "tx_origin_used"
},
{
"pc": 9778,
"type": "tx_origin_used"
},
{
"pc": 9787,
"type": "tx_origin_used"
},
{
"pc": 9808,
"type": "tx_origin_used"
},
{
"pc": 9830,
"type": "tx_origin_used"
},
{
"pc": 9848,
"type": "tx_origin_used"
},
{
"pc": 9854,
"type": "tx_origin_used"
},
{
"pc": 9856,
"type": "tx_origin_used"
},
{
"pc": 9860,
"type": "tx_origin_used"
},
{
"pc": 9899,
"type": "tx_origin_used"
},
{
"pc": 9907,
"type": "tx_origin_used"
},
{
"pc": 9912,
"type": "tx_origin_used"
},
{
"pc": 9918,
"type": "tx_origin_used"
},
{
"pc": 9920,
"type": "tx_origin_used"
},
{
"pc": 9949,
"type": "tx_origin_used"
},
{
"pc": 9954,
"type": "tx_origin_used"
},
{
"pc": 9966,
"type": "tx_origin_used"
},
{
"pc": 9986,
"type": "tx_origin_used"
},
{
"pc": 9989,
"type": "tx_origin_used"
},
{
"pc": 9992,
"type": "tx_origin_used"
},
{
"pc": 9997,
"type": "tx_origin_used"
},
{
"pc": 10000,
"type": "tx_origin_used"
},
{
"pc": 10054,
"type": "tx_origin_used"
},
{
"pc": 10061,
"type": "tx_origin_used"
},
{
"pc": 10067,
"type": "tx_origin_used"
},
{
"pc": 10073,
"type": "tx_origin_used"
},
{
"pc": 10090,
"type": "tx_origin_used"
},
{
"pc": 10111,
"type": "tx_origin_used"
},
{
"pc": 10123,
"type": "tx_origin_used"
},
{
"pc": 10137,
"type": "tx_origin_used"
},
{
"pc": 10166,
"type": "tx_origin_used"
},
{
"pc": 10245,
"type": "tx_origin_used"
},
{
"pc": 10249,
"type": "tx_origin_used"
},
{
"pc": 10254,
"type": "tx_origin_used"
},
{
"pc": 10259,
"type": "tx_origin_used"
},
{
"pc": 10277,
"type": "tx_origin_used"
},
{
"pc": 10289,
"type": "tx_origin_used"
},
{
"pc": 10323,
"type": "tx_origin_used"
},
{
"pc": 10337,
"type": "tx_origin_used"
},
{
"pc": 10409,
"type": "tx_origin_used"
},
{
"pc": 10455,
"type": "tx_origin_used"
},
{
"pc": 10461,
"type": "tx_origin_used"
},
{
"pc": 10481,
"type": "tx_origin_used"
},
{
"pc": 10485,
"type": "tx_origin_used"
},
{
"pc": 10487,
"type": "tx_origin_used"
},
{
"pc": 10498,
"type": "tx_origin_used"
},
{
"pc": 10501,
"type": "tx_origin_used"
},
{
"pc": 10509,
"type": "tx_origin_used"
},
{
"pc": 10521,
"type": "tx_origin_used"
},
{
"pc": 10537,
"type": "tx_origin_used"
},
{
"pc": 10539,
"type": "tx_origin_used"
},
{
"pc": 10546,
"type": "tx_origin_used"
},
{
"pc": 10590,
"type": "tx_origin_used"
},
{
"pc": 10601,
"type": "tx_origin_used"
},
{
"pc": 10616,
"type": "tx_origin_used"
},
{
"pc": 10626,
"type": "tx_origin_used"
},
{
"pc": 10634,
"type": "tx_origin_used"
},
{
"pc": 10645,
"type": "tx_origin_used"
},
{
"pc": 10658,
"type": "tx_origin_used"
},
{
"pc": 10673,
"type": "tx_origin_used"
},
{
"pc": 10694,
"type": "tx_origin_used"
},
{
"pc": 10732,
"type": "tx_origin_used"
},
{
"pc": 10737,
"type": "tx_origin_used"
},
{
"pc": 10738,
"type": "tx_origin_used"
},
{
"pc": 10750,
"type": "tx_origin_used"
},
{
"pc": 10752,
"type": "tx_origin_used"
},
{
"pc": 10754,
"type": "tx_origin_used"
},
{
"pc": 10758,
"type": "tx_origin_used"
},
{
"pc": 10826,
"type": "tx_origin_used"
},
{
"pc": 10842,
"type": "tx_origin_used"
},
{
"pc": 10844,
"type": "tx_origin_used"
},
{
"pc": 10854,
"type": "tx_origin_used"
},
{
"pc": 10911,
"type": "tx_origin_used"
},
{
"pc": 10917,
"type": "tx_origin_used"
},
{
"pc": 10922,
"type": "tx_origin_used"
},
{
"pc": 10924,
"type": "tx_origin_used"
},
{
"pc": 10926,
"type": "tx_origin_used"
},
{
"pc": 10930,
"type": "tx_origin_used"
},
{
"pc": 10961,
"type": "tx_origin_used"
},
{
"pc": 10967,
"type": "tx_origin_used"
},
{
"pc": 10996,
"type": "tx_origin_used"
},
{
"pc": 10998,
"type": "tx_origin_used"
},
{
"pc": 11006,
"type": "tx_origin_used"
},
{
"pc": 11012,
"type": "tx_origin_used"
},
{
"pc": 11023,
"type": "tx_origin_used"
},
{
"pc": 11031,
"type": "tx_origin_used"
},
{
"pc": 11032,
"type": "tx_origin_used"
},
{
"pc": 11043,
"type": "tx_origin_used"
},
{
"pc": 11045,
"type": "tx_origin_used"
},
{
"pc": 11047,
"type": "tx_origin_used"
},
{
"pc": 11092,
"type": "tx_origin_used"
},
{
"pc": 11119,
"type": "tx_origin_used"
},
{
"pc": 11129,
"type": "tx_origin_used"
},
{
"pc": 11135,
"type": "tx_origin_used"
},
{
"pc": 11137,
"type": "tx_origin_used"
},
{
"pc": 11144,
"type": "tx_origin_used"
},
{
"pc": 11147,
"type": "tx_origin_used"
},
{
"pc": 11149,
"type": "tx_origin_used"
},
{
"pc": 11172,
"type": "tx_origin_used"
},
{
"pc": 11180,
"type": "tx_origin_used"
},
{
"pc": 11209,
"type": "tx_origin_used"
},
{
"pc": 11342,
"type": "tx_origin_used"
},
{
"pc": 11343,
"type": "tx_origin_used"
},
{
"pc": 11400,
"type": "tx_origin_used"
},
{
"pc": 11406,
"type": "tx_origin_used"
},
{
"pc": 11414,
"type": "tx_origin_used"
},
{
"pc": 11427,
"type": "tx_origin_used"
},
{
"pc": 11439,
"type": "tx_origin_used"
},
{
"pc": 11452,
"type": "tx_origin_used"
},
{
"pc": 11459,
"type": "tx_origin_used"
},
{
"pc": 11475,
"type": "tx_origin_used"
},
{
"pc": 11479,
"type": "tx_origin_used"
},
{
"pc": 11513,
"type": "tx_origin_used"
},
{
"pc": 11517,
"type": "tx_origin_used"
},
{
"pc": 11523,
"type": "tx_origin_used"
},
{
"pc": 11529,
"type": "tx_origin_used"
},
{
"pc": 11537,
"type": "tx_origin_used"
},
{
"pc": 11557,
"type": "tx_origin_used"
},
{
"pc": 11576,
"type": "tx_origin_used"
},
{
"pc": 11594,
"type": "tx_origin_used"
},
{
"pc": 11604,
"type": "tx_origin_used"
},
{
"pc": 11613,
"type": "tx_origin_used"
},
{
"pc": 11617,
"type": "tx_origin_used"
},
{
"pc": 11624,
"type": "tx_origin_used"
},
{
"pc": 11628,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb1158f45c09466ece252ef87e778504b393b611108fe6efcd07a9e73e25d004d
call_targets:
0xd9f21580409a26ceebd883c9b167329247f730f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb1158f45c09466ece252ef87e778504b393b611108fe6efcd07a9e73e25d004d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd9f21580409a26ceebd883c9b167329247f730f3"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1957,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5631,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 8293,
"type": "tx_origin_used"
},
{
"pc": 8311,
"type": "tx_origin_used"
},
{
"pc": 8361,
"type": "tx_origin_used"
},
{
"pc": 8496,
"type": "tx_origin_used"
},
{
"pc": 8500,
"type": "tx_origin_used"
},
{
"pc": 8525,
"type": "tx_origin_used"
},
{
"pc": 8530,
"type": "tx_origin_used"
},
{
"pc": 8602,
"type": "tx_origin_used"
},
{
"pc": 8607,
"type": "tx_origin_used"
},
{
"pc": 8679,
"type": "tx_origin_used"
},
{
"pc": 8684,
"type": "tx_origin_used"
},
{
"pc": 8688,
"type": "tx_origin_used"
},
{
"pc": 8721,
"type": "tx_origin_used"
},
{
"pc": 8750,
"type": "tx_origin_used"
},
{
"pc": 8805,
"type": "tx_origin_used"
},
{
"pc": 8833,
"type": "tx_origin_used"
},
{
"pc": 8841,
"type": "tx_origin_used"
},
{
"pc": 9032,
"type": "tx_origin_used"
},
{
"pc": 9033,
"type": "tx_origin_used"
},
{
"pc": 9052,
"type": "tx_origin_used"
},
{
"pc": 9075,
"type": "tx_origin_used"
},
{
"pc": 9099,
"type": "tx_origin_used"
},
{
"pc": 9112,
"type": "tx_origin_used"
},
{
"pc": 9119,
"type": "tx_origin_used"
},
{
"pc": 9140,
"type": "tx_origin_used"
},
{
"pc": 9154,
"type": "tx_origin_used"
},
{
"pc": 9205,
"type": "tx_origin_used"
},
{
"pc": 9280,
"type": "tx_origin_used"
},
{
"pc": 9357,
"type": "tx_origin_used"
},
{
"pc": 9414,
"type": "tx_origin_used"
},
{
"pc": 9419,
"type": "tx_origin_used"
},
{
"pc": 9431,
"type": "tx_origin_used"
},
{
"pc": 9457,
"type": "tx_origin_used"
},
{
"pc": 9474,
"type": "tx_origin_used"
},
{
"pc": 9476,
"type": "tx_origin_used"
},
{
"pc": 9491,
"type": "tx_origin_used"
},
{
"pc": 9565,
"type": "tx_origin_used"
},
{
"pc": 9584,
"type": "tx_origin_used"
},
{
"pc": 9659,
"type": "tx_origin_used"
},
{
"pc": 9677,
"type": "tx_origin_used"
},
{
"pc": 9724,
"type": "tx_origin_used"
},
{
"pc": 9729,
"type": "tx_origin_used"
},
{
"pc": 9736,
"type": "tx_origin_used"
},
{
"pc": 9738,
"type": "tx_origin_used"
},
{
"pc": 9749,
"type": "tx_origin_used"
},
{
"pc": 9766,
"type": "tx_origin_used"
},
{
"pc": 9778,
"type": "tx_origin_used"
},
{
"pc": 9787,
"type": "tx_origin_used"
},
{
"pc": 9808,
"type": "tx_origin_used"
},
{
"pc": 9830,
"type": "tx_origin_used"
},
{
"pc": 9848,
"type": "tx_origin_used"
},
{
"pc": 9854,
"type": "tx_origin_used"
},
{
"pc": 9856,
"type": "tx_origin_used"
},
{
"pc": 9860,
"type": "tx_origin_used"
},
{
"pc": 9899,
"type": "tx_origin_used"
},
{
"pc": 9907,
"type": "tx_origin_used"
},
{
"pc": 9912,
"type": "tx_origin_used"
},
{
"pc": 9918,
"type": "tx_origin_used"
},
{
"pc": 9920,
"type": "tx_origin_used"
},
{
"pc": 9949,
"type": "tx_origin_used"
},
{
"pc": 9954,
"type": "tx_origin_used"
},
{
"pc": 9966,
"type": "tx_origin_used"
},
{
"pc": 9986,
"type": "tx_origin_used"
},
{
"pc": 9989,
"type": "tx_origin_used"
},
{
"pc": 9992,
"type": "tx_origin_used"
},
{
"pc": 9997,
"type": "tx_origin_used"
},
{
"pc": 10000,
"type": "tx_origin_used"
},
{
"pc": 10054,
"type": "tx_origin_used"
},
{
"pc": 10061,
"type": "tx_origin_used"
},
{
"pc": 10067,
"type": "tx_origin_used"
},
{
"pc": 10073,
"type": "tx_origin_used"
},
{
"pc": 10090,
"type": "tx_origin_used"
},
{
"pc": 10111,
"type": "tx_origin_used"
},
{
"pc": 10123,
"type": "tx_origin_used"
},
{
"pc": 10137,
"type": "tx_origin_used"
},
{
"pc": 10166,
"type": "tx_origin_used"
},
{
"pc": 10245,
"type": "tx_origin_used"
},
{
"pc": 10249,
"type": "tx_origin_used"
},
{
"pc": 10254,
"type": "tx_origin_used"
},
{
"pc": 10259,
"type": "tx_origin_used"
},
{
"pc": 10277,
"type": "tx_origin_used"
},
{
"pc": 10289,
"type": "tx_origin_used"
},
{
"pc": 10323,
"type": "tx_origin_used"
},
{
"pc": 10337,
"type": "tx_origin_used"
},
{
"pc": 10409,
"type": "tx_origin_used"
},
{
"pc": 10455,
"type": "tx_origin_used"
},
{
"pc": 10461,
"type": "tx_origin_used"
},
{
"pc": 10481,
"type": "tx_origin_used"
},
{
"pc": 10485,
"type": "tx_origin_used"
},
{
"pc": 10487,
"type": "tx_origin_used"
},
{
"pc": 10498,
"type": "tx_origin_used"
},
{
"pc": 10501,
"type": "tx_origin_used"
},
{
"pc": 10509,
"type": "tx_origin_used"
},
{
"pc": 10521,
"type": "tx_origin_used"
},
{
"pc": 10537,
"type": "tx_origin_used"
},
{
"pc": 10539,
"type": "tx_origin_used"
},
{
"pc": 10546,
"type": "tx_origin_used"
},
{
"pc": 10590,
"type": "tx_origin_used"
},
{
"pc": 10601,
"type": "tx_origin_used"
},
{
"pc": 10616,
"type": "tx_origin_used"
},
{
"pc": 10626,
"type": "tx_origin_used"
},
{
"pc": 10634,
"type": "tx_origin_used"
},
{
"pc": 10645,
"type": "tx_origin_used"
},
{
"pc": 10658,
"type": "tx_origin_used"
},
{
"pc": 10673,
"type": "tx_origin_used"
},
{
"pc": 10694,
"type": "tx_origin_used"
},
{
"pc": 10732,
"type": "tx_origin_used"
},
{
"pc": 10737,
"type": "tx_origin_used"
},
{
"pc": 10738,
"type": "tx_origin_used"
},
{
"pc": 10750,
"type": "tx_origin_used"
},
{
"pc": 10752,
"type": "tx_origin_used"
},
{
"pc": 10754,
"type": "tx_origin_used"
},
{
"pc": 10758,
"type": "tx_origin_used"
},
{
"pc": 10826,
"type": "tx_origin_used"
},
{
"pc": 10842,
"type": "tx_origin_used"
},
{
"pc": 10844,
"type": "tx_origin_used"
},
{
"pc": 10854,
"type": "tx_origin_used"
},
{
"pc": 10911,
"type": "tx_origin_used"
},
{
"pc": 10917,
"type": "tx_origin_used"
},
{
"pc": 10922,
"type": "tx_origin_used"
},
{
"pc": 10924,
"type": "tx_origin_used"
},
{
"pc": 10926,
"type": "tx_origin_used"
},
{
"pc": 10930,
"type": "tx_origin_used"
},
{
"pc": 10961,
"type": "tx_origin_used"
},
{
"pc": 10967,
"type": "tx_origin_used"
},
{
"pc": 10996,
"type": "tx_origin_used"
},
{
"pc": 10998,
"type": "tx_origin_used"
},
{
"pc": 11006,
"type": "tx_origin_used"
},
{
"pc": 11012,
"type": "tx_origin_used"
},
{
"pc": 11023,
"type": "tx_origin_used"
},
{
"pc": 11031,
"type": "tx_origin_used"
},
{
"pc": 11032,
"type": "tx_origin_used"
},
{
"pc": 11043,
"type": "tx_origin_used"
},
{
"pc": 11045,
"type": "tx_origin_used"
},
{
"pc": 11047,
"type": "tx_origin_used"
},
{
"pc": 11092,
"type": "tx_origin_used"
},
{
"pc": 11119,
"type": "tx_origin_used"
},
{
"pc": 11129,
"type": "tx_origin_used"
},
{
"pc": 11135,
"type": "tx_origin_used"
},
{
"pc": 11137,
"type": "tx_origin_used"
},
{
"pc": 11144,
"type": "tx_origin_used"
},
{
"pc": 11147,
"type": "tx_origin_used"
},
{
"pc": 11149,
"type": "tx_origin_used"
},
{
"pc": 11172,
"type": "tx_origin_used"
},
{
"pc": 11180,
"type": "tx_origin_used"
},
{
"pc": 11209,
"type": "tx_origin_used"
},
{
"pc": 11342,
"type": "tx_origin_used"
},
{
"pc": 11343,
"type": "tx_origin_used"
},
{
"pc": 11400,
"type": "tx_origin_used"
},
{
"pc": 11406,
"type": "tx_origin_used"
},
{
"pc": 11414,
"type": "tx_origin_used"
},
{
"pc": 11427,
"type": "tx_origin_used"
},
{
"pc": 11439,
"type": "tx_origin_used"
},
{
"pc": 11452,
"type": "tx_origin_used"
},
{
"pc": 11459,
"type": "tx_origin_used"
},
{
"pc": 11475,
"type": "tx_origin_used"
},
{
"pc": 11479,
"type": "tx_origin_used"
},
{
"pc": 11513,
"type": "tx_origin_used"
},
{
"pc": 11517,
"type": "tx_origin_used"
},
{
"pc": 11523,
"type": "tx_origin_used"
},
{
"pc": 11529,
"type": "tx_origin_used"
},
{
"pc": 11537,
"type": "tx_origin_used"
},
{
"pc": 11557,
"type": "tx_origin_used"
},
{
"pc": 11576,
"type": "tx_origin_used"
},
{
"pc": 11594,
"type": "tx_origin_used"
},
{
"pc": 11604,
"type": "tx_origin_used"
},
{
"pc": 11613,
"type": "tx_origin_used"
},
{
"pc": 11617,
"type": "tx_origin_used"
},
{
"pc": 11624,
"type": "tx_origin_used"
},
{
"pc": 11628,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xca6bdefa29d177b64056482851c3d75c198fad1fe752f70fd9441fc8a10ea9fe
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xca6bdefa29d177b64056482851c3d75c198fad1fe752f70fd9441fc8a10ea9fe",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8293,
"type": "tx_origin_used"
},
{
"pc": 8311,
"type": "tx_origin_used"
},
{
"pc": 8361,
"type": "tx_origin_used"
},
{
"pc": 8496,
"type": "tx_origin_used"
},
{
"pc": 8500,
"type": "tx_origin_used"
},
{
"pc": 8525,
"type": "tx_origin_used"
},
{
"pc": 8530,
"type": "tx_origin_used"
},
{
"pc": 8602,
"type": "tx_origin_used"
},
{
"pc": 8607,
"type": "tx_origin_used"
},
{
"pc": 8679,
"type": "tx_origin_used"
},
{
"pc": 8684,
"type": "tx_origin_used"
},
{
"pc": 8688,
"type": "tx_origin_used"
},
{
"pc": 8721,
"type": "tx_origin_used"
},
{
"pc": 8750,
"type": "tx_origin_used"
},
{
"pc": 8805,
"type": "tx_origin_used"
},
{
"pc": 8833,
"type": "tx_origin_used"
},
{
"pc": 8841,
"type": "tx_origin_used"
},
{
"pc": 9032,
"type": "tx_origin_used"
},
{
"pc": 9033,
"type": "tx_origin_used"
},
{
"pc": 9052,
"type": "tx_origin_used"
},
{
"pc": 9075,
"type": "tx_origin_used"
},
{
"pc": 9099,
"type": "tx_origin_used"
},
{
"pc": 9112,
"type": "tx_origin_used"
},
{
"pc": 9119,
"type": "tx_origin_used"
},
{
"pc": 9140,
"type": "tx_origin_used"
},
{
"pc": 9154,
"type": "tx_origin_used"
},
{
"pc": 9205,
"type": "tx_origin_used"
},
{
"pc": 9280,
"type": "tx_origin_used"
},
{
"pc": 9357,
"type": "tx_origin_used"
},
{
"pc": 9414,
"type": "tx_origin_used"
},
{
"pc": 9419,
"type": "tx_origin_used"
},
{
"pc": 9431,
"type": "tx_origin_used"
},
{
"pc": 9457,
"type": "tx_origin_used"
},
{
"pc": 9474,
"type": "tx_origin_used"
},
{
"pc": 9476,
"type": "tx_origin_used"
},
{
"pc": 9491,
"type": "tx_origin_used"
},
{
"pc": 9565,
"type": "tx_origin_used"
},
{
"pc": 9584,
"type": "tx_origin_used"
},
{
"pc": 9659,
"type": "tx_origin_used"
},
{
"pc": 9677,
"type": "tx_origin_used"
},
{
"pc": 9724,
"type": "tx_origin_used"
},
{
"pc": 9729,
"type": "tx_origin_used"
},
{
"pc": 9736,
"type": "tx_origin_used"
},
{
"pc": 9738,
"type": "tx_origin_used"
},
{
"pc": 9749,
"type": "tx_origin_used"
},
{
"pc": 9766,
"type": "tx_origin_used"
},
{
"pc": 9778,
"type": "tx_origin_used"
},
{
"pc": 9787,
"type": "tx_origin_used"
},
{
"pc": 9808,
"type": "tx_origin_used"
},
{
"pc": 9830,
"type": "tx_origin_used"
},
{
"pc": 9848,
"type": "tx_origin_used"
},
{
"pc": 9854,
"type": "tx_origin_used"
},
{
"pc": 9856,
"type": "tx_origin_used"
},
{
"pc": 9860,
"type": "tx_origin_used"
},
{
"pc": 9899,
"type": "tx_origin_used"
},
{
"pc": 9907,
"type": "tx_origin_used"
},
{
"pc": 9912,
"type": "tx_origin_used"
},
{
"pc": 9918,
"type": "tx_origin_used"
},
{
"pc": 9920,
"type": "tx_origin_used"
},
{
"pc": 9949,
"type": "tx_origin_used"
},
{
"pc": 9954,
"type": "tx_origin_used"
},
{
"pc": 9966,
"type": "tx_origin_used"
},
{
"pc": 9986,
"type": "tx_origin_used"
},
{
"pc": 9989,
"type": "tx_origin_used"
},
{
"pc": 9992,
"type": "tx_origin_used"
},
{
"pc": 9997,
"type": "tx_origin_used"
},
{
"pc": 10000,
"type": "tx_origin_used"
},
{
"pc": 10054,
"type": "tx_origin_used"
},
{
"pc": 10061,
"type": "tx_origin_used"
},
{
"pc": 10067,
"type": "tx_origin_used"
},
{
"pc": 10073,
"type": "tx_origin_used"
},
{
"pc": 10090,
"type": "tx_origin_used"
},
{
"pc": 10111,
"type": "tx_origin_used"
},
{
"pc": 10123,
"type": "tx_origin_used"
},
{
"pc": 10137,
"type": "tx_origin_used"
},
{
"pc": 10166,
"type": "tx_origin_used"
},
{
"pc": 10245,
"type": "tx_origin_used"
},
{
"pc": 10249,
"type": "tx_origin_used"
},
{
"pc": 10254,
"type": "tx_origin_used"
},
{
"pc": 10259,
"type": "tx_origin_used"
},
{
"pc": 10277,
"type": "tx_origin_used"
},
{
"pc": 10289,
"type": "tx_origin_used"
},
{
"pc": 10323,
"type": "tx_origin_used"
},
{
"pc": 10337,
"type": "tx_origin_used"
},
{
"pc": 10409,
"type": "tx_origin_used"
},
{
"pc": 10455,
"type": "tx_origin_used"
},
{
"pc": 10461,
"type": "tx_origin_used"
},
{
"pc": 10481,
"type": "tx_origin_used"
},
{
"pc": 10485,
"type": "tx_origin_used"
},
{
"pc": 10487,
"type": "tx_origin_used"
},
{
"pc": 10498,
"type": "tx_origin_used"
},
{
"pc": 10501,
"type": "tx_origin_used"
},
{
"pc": 10509,
"type": "tx_origin_used"
},
{
"pc": 10521,
"type": "tx_origin_used"
},
{
"pc": 10537,
"type": "tx_origin_used"
},
{
"pc": 10539,
"type": "tx_origin_used"
},
{
"pc": 10546,
"type": "tx_origin_used"
},
{
"pc": 10590,
"type": "tx_origin_used"
},
{
"pc": 10601,
"type": "tx_origin_used"
},
{
"pc": 10616,
"type": "tx_origin_used"
},
{
"pc": 10626,
"type": "tx_origin_used"
},
{
"pc": 10634,
"type": "tx_origin_used"
},
{
"pc": 10645,
"type": "tx_origin_used"
},
{
"pc": 10658,
"type": "tx_origin_used"
},
{
"pc": 10673,
"type": "tx_origin_used"
},
{
"pc": 10694,
"type": "tx_origin_used"
},
{
"pc": 10732,
"type": "tx_origin_used"
},
{
"pc": 10737,
"type": "tx_origin_used"
},
{
"pc": 10738,
"type": "tx_origin_used"
},
{
"pc": 10750,
"type": "tx_origin_used"
},
{
"pc": 10752,
"type": "tx_origin_used"
},
{
"pc": 10754,
"type": "tx_origin_used"
},
{
"pc": 10758,
"type": "tx_origin_used"
},
{
"pc": 10826,
"type": "tx_origin_used"
},
{
"pc": 10842,
"type": "tx_origin_used"
},
{
"pc": 10844,
"type": "tx_origin_used"
},
{
"pc": 10854,
"type": "tx_origin_used"
},
{
"pc": 10911,
"type": "tx_origin_used"
},
{
"pc": 10917,
"type": "tx_origin_used"
},
{
"pc": 10922,
"type": "tx_origin_used"
},
{
"pc": 10924,
"type": "tx_origin_used"
},
{
"pc": 10926,
"type": "tx_origin_used"
},
{
"pc": 10930,
"type": "tx_origin_used"
},
{
"pc": 10961,
"type": "tx_origin_used"
},
{
"pc": 10967,
"type": "tx_origin_used"
},
{
"pc": 10996,
"type": "tx_origin_used"
},
{
"pc": 10998,
"type": "tx_origin_used"
},
{
"pc": 11006,
"type": "tx_origin_used"
},
{
"pc": 11012,
"type": "tx_origin_used"
},
{
"pc": 11023,
"type": "tx_origin_used"
},
{
"pc": 11031,
"type": "tx_origin_used"
},
{
"pc": 11032,
"type": "tx_origin_used"
},
{
"pc": 11043,
"type": "tx_origin_used"
},
{
"pc": 11045,
"type": "tx_origin_used"
},
{
"pc": 11047,
"type": "tx_origin_used"
},
{
"pc": 11092,
"type": "tx_origin_used"
},
{
"pc": 11119,
"type": "tx_origin_used"
},
{
"pc": 11129,
"type": "tx_origin_used"
},
{
"pc": 11135,
"type": "tx_origin_used"
},
{
"pc": 11137,
"type": "tx_origin_used"
},
{
"pc": 11144,
"type": "tx_origin_used"
},
{
"pc": 11147,
"type": "tx_origin_used"
},
{
"pc": 11149,
"type": "tx_origin_used"
},
{
"pc": 11172,
"type": "tx_origin_used"
},
{
"pc": 11180,
"type": "tx_origin_used"
},
{
"pc": 11209,
"type": "tx_origin_used"
},
{
"pc": 11342,
"type": "tx_origin_used"
},
{
"pc": 11343,
"type": "tx_origin_used"
},
{
"pc": 11400,
"type": "tx_origin_used"
},
{
"pc": 11406,
"type": "tx_origin_used"
},
{
"pc": 11414,
"type": "tx_origin_used"
},
{
"pc": 11427,
"type": "tx_origin_used"
},
{
"pc": 11439,
"type": "tx_origin_used"
},
{
"pc": 11452,
"type": "tx_origin_used"
},
{
"pc": 11459,
"type": "tx_origin_used"
},
{
"pc": 11475,
"type": "tx_origin_used"
},
{
"pc": 11479,
"type": "tx_origin_used"
},
{
"pc": 11513,
"type": "tx_origin_used"
},
{
"pc": 11517,
"type": "tx_origin_used"
},
{
"pc": 11523,
"type": "tx_origin_used"
},
{
"pc": 11529,
"type": "tx_origin_used"
},
{
"pc": 11537,
"type": "tx_origin_used"
},
{
"pc": 11557,
"type": "tx_origin_used"
},
{
"pc": 11576,
"type": "tx_origin_used"
},
{
"pc": 11594,
"type": "tx_origin_used"
},
{
"pc": 11604,
"type": "tx_origin_used"
},
{
"pc": 11613,
"type": "tx_origin_used"
},
{
"pc": 11617,
"type": "tx_origin_used"
},
{
"pc": 11624,
"type": "tx_origin_used"
},
{
"pc": 11628,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xca6bdefa29d177b64056482851c3d75c198fad1fe752f70fd9441fc8a10ea9fe
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xca6bdefa29d177b64056482851c3d75c198fad1fe752f70fd9441fc8a10ea9fe",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|