019ba9a5-c6e4-73dd-a537-34499612ab6d
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 |
|---|---|---|---|---|
| 37248 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37249 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37250 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37251 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37252 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37253 | detector.run | complete | 1 / 3 | 3 months ago |
| 37254 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x00f5 0000000c: JUMPI 0000000d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002b: PUSH1 0x00 0000002d: CALLDATALOAD 0000002e: DIV 0000002f: PUSH4 0x010035af 00000034: DUP2 00000035: EQ 00000036: PUSH2 0x00fa 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x10db299e 00000040: EQ 00000041: PUSH2 0x015f 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x2909f638 0000004b: EQ 0000004c: PUSH2 0x01d0 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x2d06177a 00000056: EQ 00000057: PUSH2 0x0206 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x3b8d7c15 00000061: EQ 00000062: PUSH2 0x0239 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x3f4ba83a 0000006c: EQ 0000006d: PUSH2 0x026a 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x51cff8d9 00000077: EQ 00000078: PUSH2 0x027f 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x5c975abb 00000082: EQ 00000083: PUSH2 0x02c6 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x722d8ff0 0000008d: EQ 0000008e: PUSH2 0x02db 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x73d4a13a 00000098: EQ 00000099: PUSH2 0x02f0 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x8456cb59 000000a3: EQ 000000a4: PUSH2 0x0323 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x8f4ffcb1 000000ae: EQ 000000af: PUSH2 0x0338 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0xa2aec85c 000000b9: EQ 000000ba: PUSH2 0x040a 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0xa87430ba 000000c4: EQ 000000c5: PUSH2 0x043d 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0xac18de43 000000cf: EQ 000000d0: PUSH2 0x0496 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0xbe9085c2 000000da: EQ 000000db: PUSH2 0x04c9 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0xf3ae2415 000000e5: EQ 000000e6: PUSH2 0x04fc 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0xf8b91abe 000000f0: EQ 000000f1: PUSH2 0x052f 000000f4: JUMPI 000000f5: JUMPDEST 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: CALLVALUE 000000fc: DUP1 000000fd: ISZERO 000000fe: PUSH2 0x0106 00000101: JUMPI 00000102: PUSH1 0x00 00000104: DUP1 00000105: REVERT 00000106: JUMPDEST 00000107: POP 00000108: PUSH2 0x010f 0000010b: PUSH2 0x0544 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH1 0x40 00000112: DUP1 00000113: MLOAD 00000114: SWAP11 00000115: DUP12 00000116: MSTORE 00000117: PUSH1 0x20 00000119: DUP12 0000011a: ADD 0000011b: SWAP10 0000011c: SWAP1 0000011d: SWAP10 0000011e: MSTORE 0000011f: DUP10 00000120: DUP10 00000121: ADD 00000122: SWAP8 00000123: SWAP1 00000124: SWAP8 00000125: MSTORE 00000126: PUSH1 0x60 00000128: DUP10 00000129: ADD 0000012a: SWAP6 0000012b: SWAP1 0000012c: SWAP6 0000012d: MSTORE 0000012e: PUSH1 0x80 00000130: DUP9 00000131: ADD 00000132: SWAP4 00000133: SWAP1 00000134: SWAP4 00000135: MSTORE 00000136: PUSH1 0xa0 00000138: DUP8 00000139: ADD 0000013a: SWAP2 0000013b: SWAP1 0000013c: SWAP2 0000013d: MSTORE 0000013e: PUSH1 0xc0 00000140: DUP7 00000141: ADD 00000142: MSTORE 00000143: PUSH1 0xe0 00000145: DUP6 00000146: ADD 00000147: MSTORE 00000148: PUSH2 0x0100 0000014b: DUP5 0000014c: ADD 0000014d: MSTORE 0000014e: PUSH2 0x0120 00000151: DUP4 00000152: ADD 00000153: MSTORE 00000154: MLOAD 00000155: SWAP1 00000156: DUP2 00000157: SWAP1 00000158: SUB 00000159: PUSH2 0x0140 0000015c: ADD 0000015d: SWAP1 0000015e: RETURN 0000015f: JUMPDEST 00000160: CALLVALUE 00000161: DUP1 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: POP 0000016d: PUSH2 0x01ce 00000170: PUSH1 0x04 00000172: DUP1 00000173: CALLDATASIZE 00000174: SUB 00000175: PUSH2 0x0140 00000178: DUP2 00000179: LT 0000017a: ISZERO 0000017b: PUSH2 0x0183 0000017e: JUMPI 0000017f: PUSH1 0x00 00000181: DUP1 00000182: REVERT 00000183: JUMPDEST 00000184: POP 00000185: PUSH2 0xffff 00000188: DUP2 00000189: CALLDATALOAD 0000018a: DUP2 0000018b: AND 0000018c: SWAP2 0000018d: PUSH1 0x20 0000018f: DUP2 00000190: ADD 00000191: CALLDATALOAD 00000192: DUP3 00000193: AND 00000194: SWAP2 00000195: PUSH1 0x40 00000197: DUP3 00000198: ADD 00000199: CALLDATALOAD 0000019a: DUP2 0000019b: AND 0000019c: SWAP2 0000019d: PUSH1 0x60 0000019f: DUP2 000001a0: ADD 000001a1: CALLDATALOAD 000001a2: SWAP1 000001a3: SWAP2 000001a4: AND 000001a5: SWAP1 000001a6: PUSH1 0x80 000001a8: DUP2 000001a9: ADD 000001aa: CALLDATALOAD 000001ab: SWAP1 000001ac: PUSH1 0xa0 000001ae: DUP2 000001af: ADD 000001b0: CALLDATALOAD 000001b1: SWAP1 000001b2: PUSH1 0xc0 000001b4: DUP2 000001b5: ADD 000001b6: CALLDATALOAD 000001b7: SWAP1 000001b8: PUSH1 0xe0 000001ba: DUP2 000001bb: ADD 000001bc: CALLDATALOAD 000001bd: SWAP1 000001be: PUSH2 0x0100 000001c1: DUP2 000001c2: ADD 000001c3: CALLDATALOAD 000001c4: SWAP1 000001c5: PUSH2 0x0120 000001c8: ADD 000001c9: CALLDATALOAD 000001ca: PUSH2 0x058e 000001cd: JUMP 000001ce: JUMPDEST 000001cf: STOP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x01ce 000001e1: PUSH1 0x04 000001e3: DUP1 000001e4: CALLDATASIZE 000001e5: SUB 000001e6: PUSH1 0x60 000001e8: DUP2 000001e9: LT 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: DUP1 000001f6: CALLDATALOAD 000001f7: SWAP1 000001f8: PUSH1 0x20 000001fa: DUP2 000001fb: ADD 000001fc: CALLDATALOAD 000001fd: SWAP1 000001fe: PUSH1 0x40 00000200: ADD 00000201: CALLDATALOAD 00000202: PUSH2 0x065a 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x01ce 00000217: PUSH1 0x04 00000219: DUP1 0000021a: CALLDATASIZE 0000021b: SUB 0000021c: PUSH1 0x20 0000021e: DUP2 0000021f: LT 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: CALLDATALOAD 0000022c: PUSH1 0x01 0000022e: PUSH1 0xa0 00000230: PUSH1 0x02 00000232: EXP 00000233: SUB 00000234: AND 00000235: PUSH2 0x06b5 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: PUSH2 0x024e 0000024a: PUSH2 0x070e 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x40 00000251: DUP1 00000252: MLOAD 00000253: PUSH1 0x01 00000255: PUSH1 0xa0 00000257: PUSH1 0x02 00000259: EXP 0000025a: SUB 0000025b: SWAP1 0000025c: SWAP3 0000025d: AND 0000025e: DUP3 0000025f: MSTORE 00000260: MLOAD 00000261: SWAP1 00000262: DUP2 00000263: SWAP1 00000264: SUB 00000265: PUSH1 0x20 00000267: ADD 00000268: SWAP1 00000269: RETURN 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x01ce 0000027b: PUSH2 0x071d 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x02b2 00000290: PUSH1 0x04 00000292: DUP1 00000293: CALLDATASIZE 00000294: SUB 00000295: PUSH1 0x20 00000297: DUP2 00000298: LT 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: CALLDATALOAD 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: PUSH1 0x02 000002ab: EXP 000002ac: SUB 000002ad: AND 000002ae: PUSH2 0x0820 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH1 0x40 000002b5: DUP1 000002b6: MLOAD 000002b7: SWAP2 000002b8: ISZERO 000002b9: ISZERO 000002ba: DUP3 000002bb: MSTORE 000002bc: MLOAD 000002bd: SWAP1 000002be: DUP2 000002bf: SWAP1 000002c0: SUB 000002c1: PUSH1 0x20 000002c3: ADD 000002c4: SWAP1 000002c5: RETURN 000002c6: JUMPDEST 000002c7: CALLVALUE 000002c8: DUP1 000002c9: ISZERO 000002ca: PUSH2 0x02d2 000002cd: JUMPI 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: REVERT 000002d2: JUMPDEST 000002d3: POP 000002d4: PUSH2 0x02b2 000002d7: PUSH2 0x0b89 000002da: JUMP 000002db: JUMPDEST 000002dc: CALLVALUE 000002dd: DUP1 000002de: ISZERO 000002df: PUSH2 0x02e7 000002e2: JUMPI 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: REVERT 000002e7: JUMPDEST 000002e8: POP 000002e9: PUSH2 0x024e 000002ec: PUSH2 0x0b99 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: PUSH2 0x0305 00000301: PUSH2 0x0ba8 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH1 0x40 00000308: DUP1 00000309: MLOAD 0000030a: SWAP4 0000030b: DUP5 0000030c: MSTORE 0000030d: PUSH1 0x20 0000030f: DUP5 00000310: ADD 00000311: SWAP3 00000312: SWAP1 00000313: SWAP3 00000314: MSTORE 00000315: DUP3 00000316: DUP3 00000317: ADD 00000318: MSTORE 00000319: MLOAD 0000031a: SWAP1 0000031b: DUP2 0000031c: SWAP1 0000031d: SUB 0000031e: PUSH1 0x60 00000320: ADD 00000321: SWAP1 00000322: RETURN 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x01ce 00000334: PUSH2 0x0bb6 00000337: JUMP 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: DUP1 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: PUSH2 0x01ce 00000349: PUSH1 0x04 0000034b: DUP1 0000034c: CALLDATASIZE 0000034d: SUB 0000034e: PUSH1 0x80 00000350: DUP2 00000351: LT 00000352: ISZERO 00000353: PUSH2 0x035b 00000356: JUMPI 00000357: PUSH1 0x00 00000359: DUP1 0000035a: REVERT 0000035b: JUMPDEST 0000035c: PUSH1 0x01 0000035e: PUSH1 0xa0 00000360: PUSH1 0x02 00000362: EXP 00000363: SUB 00000364: DUP3 00000365: CALLDATALOAD 00000366: DUP2 00000367: AND 00000368: SWAP3 00000369: PUSH1 0x20 0000036b: DUP2 0000036c: ADD 0000036d: CALLDATALOAD 0000036e: SWAP3 0000036f: PUSH1 0x40 00000371: DUP3 00000372: ADD 00000373: CALLDATALOAD 00000374: SWAP1 00000375: SWAP3 00000376: AND 00000377: SWAP2 00000378: DUP2 00000379: ADD 0000037a: SWAP1 0000037b: PUSH1 0x80 0000037d: DUP2 0000037e: ADD 0000037f: PUSH1 0x60 00000381: DUP3 00000382: ADD 00000383: CALLDATALOAD 00000384: PUSH5 0x0100000000 0000038a: DUP2 0000038b: GT 0000038c: ISZERO 0000038d: PUSH2 0x0395 00000390: JUMPI 00000391: PUSH1 0x00 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: DUP3 00000397: ADD 00000398: DUP4 00000399: PUSH1 0x20 0000039b: DUP3 0000039c: ADD 0000039d: GT 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: DUP1 000003a9: CALLDATALOAD 000003aa: SWAP1 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: SWAP2 000003af: DUP5 000003b0: PUSH1 0x01 000003b2: DUP4 000003b3: MUL 000003b4: DUP5 000003b5: ADD 000003b6: GT 000003b7: PUSH5 0x0100000000 000003bd: DUP4 000003be: GT 000003bf: OR 000003c0: ISZERO 000003c1: PUSH2 0x03c9 000003c4: JUMPI 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: SWAP2 000003cb: SWAP1 000003cc: DUP1 000003cd: DUP1 000003ce: PUSH1 0x1f 000003d0: ADD 000003d1: PUSH1 0x20 000003d3: DUP1 000003d4: SWAP2 000003d5: DIV 000003d6: MUL 000003d7: PUSH1 0x20 000003d9: ADD 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: SWAP1 000003de: DUP2 000003df: ADD 000003e0: PUSH1 0x40 000003e2: MSTORE 000003e3: DUP1 000003e4: SWAP4 000003e5: SWAP3 000003e6: SWAP2 000003e7: SWAP1 000003e8: DUP2 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x20 000003ed: ADD 000003ee: DUP4 000003ef: DUP4 000003f0: DUP1 000003f1: DUP3 000003f2: DUP5 000003f3: CALLDATACOPY 000003f4: PUSH1 0x00 000003f6: SWAP3 000003f7: ADD 000003f8: SWAP2 000003f9: SWAP1 000003fa: SWAP2 000003fb: MSTORE 000003fc: POP 000003fd: SWAP3 000003fe: SWAP6 000003ff: POP 00000400: PUSH2 0x0cbe 00000403: SWAP5 00000404: POP 00000405: POP 00000406: POP 00000407: POP 00000408: POP 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: PUSH2 0x01ce 0000041b: PUSH1 0x04 0000041d: DUP1 0000041e: CALLDATASIZE 0000041f: SUB 00000420: PUSH1 0x20 00000422: DUP2 00000423: LT 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: CALLDATALOAD 00000430: PUSH1 0x01 00000432: PUSH1 0xa0 00000434: PUSH1 0x02 00000436: EXP 00000437: SUB 00000438: AND 00000439: PUSH2 0x1358 0000043c: JUMP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: POP 0000044b: PUSH2 0x0470 0000044e: PUSH1 0x04 00000450: DUP1 00000451: CALLDATASIZE 00000452: SUB 00000453: PUSH1 0x20 00000455: DUP2 00000456: LT 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: CALLDATALOAD 00000463: PUSH1 0x01 00000465: PUSH1 0xa0 00000467: PUSH1 0x02 00000469: EXP 0000046a: SUB 0000046b: AND 0000046c: PUSH2 0x13d4 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x40 00000473: DUP1 00000474: MLOAD 00000475: SWAP5 00000476: DUP6 00000477: MSTORE 00000478: PUSH1 0x20 0000047a: DUP6 0000047b: ADD 0000047c: SWAP4 0000047d: SWAP1 0000047e: SWAP4 0000047f: MSTORE 00000480: DUP4 00000481: DUP4 00000482: ADD 00000483: SWAP2 00000484: SWAP1 00000485: SWAP2 00000486: MSTORE 00000487: PUSH1 0x60 00000489: DUP4 0000048a: ADD 0000048b: MSTORE 0000048c: MLOAD 0000048d: SWAP1 0000048e: DUP2 0000048f: SWAP1 00000490: SUB 00000491: PUSH1 0x80 00000493: ADD 00000494: SWAP1 00000495: RETURN 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH2 0x01ce 000004a7: PUSH1 0x04 000004a9: DUP1 000004aa: CALLDATASIZE 000004ab: SUB 000004ac: PUSH1 0x20 000004ae: DUP2 000004af: LT 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: CALLDATALOAD 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: PUSH1 0x02 000004c2: EXP 000004c3: SUB 000004c4: AND 000004c5: PUSH2 0x143d 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLVALUE 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: PUSH2 0x01ce 000004da: PUSH1 0x04 000004dc: DUP1 000004dd: CALLDATASIZE 000004de: SUB 000004df: PUSH1 0x20 000004e1: DUP2 000004e2: LT 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: POP 000004ee: CALLDATALOAD 000004ef: PUSH1 0x01 000004f1: PUSH1 0xa0 000004f3: PUSH1 0x02 000004f5: EXP 000004f6: SUB 000004f7: AND 000004f8: PUSH2 0x1493 000004fb: JUMP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x02b2 0000050d: PUSH1 0x04 0000050f: DUP1 00000510: CALLDATASIZE 00000511: SUB 00000512: PUSH1 0x20 00000514: DUP2 00000515: LT 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: CALLDATALOAD 00000522: PUSH1 0x01 00000524: PUSH1 0xa0 00000526: PUSH1 0x02 00000528: EXP 00000529: SUB 0000052a: AND 0000052b: PUSH2 0x150f 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: DUP1 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: PUSH2 0x01ce 00000540: PUSH2 0x1527 00000543: JUMP 00000544: JUMPDEST 00000545: PUSH1 0x04 00000547: SLOAD 00000548: PUSH1 0x05 0000054a: SLOAD 0000054b: PUSH1 0x06 0000054d: SLOAD 0000054e: PUSH1 0x07 00000550: SLOAD 00000551: PUSH1 0x08 00000553: SLOAD 00000554: PUSH1 0x09 00000556: SLOAD 00000557: PUSH1 0x0a 00000559: SLOAD 0000055a: PUSH2 0xffff 0000055d: DUP1 0000055e: DUP9 0000055f: AND 00000560: SWAP9 00000561: PUSH3 0x010000 00000565: DUP10 00000566: DIV 00000567: DUP3 00000568: AND 00000569: SWAP9 0000056a: PUSH5 0x0100000000 00000570: DUP2 00000571: DIV 00000572: DUP4 00000573: AND 00000574: SWAP9 00000575: PUSH7 0x01000000000000 0000057d: SWAP1 0000057e: SWAP2 0000057f: DIV 00000580: SWAP1 00000581: SWAP3 00000582: AND 00000583: SWAP7 00000584: SWAP2 00000585: SWAP6 00000586: SWAP2 00000587: SWAP5 00000588: SWAP2 00000589: SWAP4 0000058a: SWAP2 0000058b: SWAP3 0000058c: SWAP1 0000058d: JUMP 0000058e: JUMPDEST 0000058f: PUSH2 0x0597 00000592: CALLER 00000593: PUSH2 0x150f 00000596: JUMP 00000597: JUMPDEST 00000598: ISZERO 00000599: ISZERO 0000059a: PUSH2 0x05db 0000059d: JUMPI 0000059e: PUSH1 0x40 000005a0: DUP1 000005a1: MLOAD 000005a2: PUSH1 0xe5 000005a4: PUSH1 0x02 000005a6: EXP 000005a7: PUSH3 0x461bcd 000005ab: MUL 000005ac: DUP2 000005ad: MSTORE 000005ae: PUSH1 0x20 000005b0: PUSH1 0x04 000005b2: DUP3 000005b3: ADD 000005b4: MSTORE 000005b5: PUSH1 0x14 000005b7: PUSH1 0x24 000005b9: DUP3 000005ba: ADD 000005bb: MSTORE 000005bc: PUSH1 0x00 000005be: DUP1 000005bf: MLOAD 000005c0: PUSH1 0x20 000005c2: PUSH2 0x1a49 000005c5: DUP4 000005c6: CODECOPY 000005c7: DUP2 000005c8: MLOAD 000005c9: SWAP2 000005ca: MSTORE 000005cb: PUSH1 0x44 000005cd: DUP3 000005ce: ADD 000005cf: MSTORE 000005d0: SWAP1 000005d1: MLOAD 000005d2: SWAP1 000005d3: DUP2 000005d4: SWAP1 000005d5: SUB 000005d6: PUSH1 0x64 000005d8: ADD 000005d9: SWAP1 000005da: REVERT 000005db: JUMPDEST 000005dc: PUSH1 0x04 000005de: DUP1 000005df: SLOAD 000005e0: PUSH2 0xffff 000005e3: NOT 000005e4: AND 000005e5: PUSH2 0xffff 000005e8: SWAP12 000005e9: DUP13 000005ea: AND 000005eb: OR 000005ec: PUSH4 0xffff0000 000005f1: NOT 000005f2: AND 000005f3: PUSH3 0x010000 000005f7: SWAP11 000005f8: DUP13 000005f9: AND 000005fa: SWAP11 000005fb: SWAP1 000005fc: SWAP11 000005fd: MUL 000005fe: SWAP10 000005ff: SWAP1 00000600: SWAP10 00000601: OR 00000602: PUSH6 0xffff00000000 00000609: NOT 0000060a: AND 0000060b: PUSH5 0x0100000000 00000611: SWAP9 00000612: DUP12 00000613: AND 00000614: SWAP9 00000615: SWAP1 00000616: SWAP9 00000617: MUL 00000618: SWAP8 00000619: SWAP1 0000061a: SWAP8 0000061b: OR 0000061c: PUSH8 0xffff000000000000 00000625: NOT 00000626: AND 00000627: PUSH7 0x01000000000000 0000062f: SWAP7 00000630: SWAP1 00000631: SWAP10 00000632: AND 00000633: SWAP6 00000634: SWAP1 00000635: SWAP6 00000636: MUL 00000637: SWAP8 00000638: SWAP1 00000639: SWAP8 0000063a: OR 0000063b: SWAP1 0000063c: SWAP6 0000063d: SSTORE 0000063e: PUSH1 0x05 00000640: SWAP2 00000641: SWAP1 00000642: SWAP2 00000643: SSTORE 00000644: PUSH1 0x06 00000646: SSTORE 00000647: PUSH1 0x07 00000649: SWAP3 0000064a: SWAP1 0000064b: SWAP3 0000064c: SSTORE 0000064d: PUSH1 0x08 0000064f: SWAP3 00000650: SWAP1 00000651: SWAP3 00000652: SSTORE 00000653: PUSH1 0x09 00000655: SSTORE 00000656: PUSH1 0x0a 00000658: SSTORE 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH2 0x0663 0000065e: CALLER 0000065f: PUSH2 0x150f 00000662: JUMP 00000663: JUMPDEST 00000664: ISZERO 00000665: ISZERO 00000666: PUSH2 0x06a7 00000669: JUMPI 0000066a: PUSH1 0x40 0000066c: DUP1 0000066d: MLOAD 0000066e: PUSH1 0xe5 00000670: PUSH1 0x02 00000672: EXP 00000673: PUSH3 0x461bcd 00000677: MUL 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x20 0000067c: PUSH1 0x04 0000067e: DUP3 0000067f: ADD 00000680: MSTORE 00000681: PUSH1 0x14 00000683: PUSH1 0x24 00000685: DUP3 00000686: ADD 00000687: MSTORE 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: MLOAD 0000068c: PUSH1 0x20 0000068e: PUSH2 0x1a49 00000691: DUP4 00000692: CODECOPY 00000693: DUP2 00000694: MLOAD 00000695: SWAP2 00000696: MSTORE 00000697: PUSH1 0x44 00000699: DUP3 0000069a: ADD 0000069b: MSTORE 0000069c: SWAP1 0000069d: MLOAD 0000069e: SWAP1 0000069f: DUP2 000006a0: SWAP1 000006a1: SUB 000006a2: PUSH1 0x64 000006a4: ADD 000006a5: SWAP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: PUSH1 0x0b 000006aa: SWAP3 000006ab: SWAP1 000006ac: SWAP3 000006ad: SSTORE 000006ae: PUSH1 0x0c 000006b0: SSTORE 000006b1: PUSH1 0x0d 000006b3: SSTORE 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH2 0x06be 000006b9: CALLER 000006ba: PUSH2 0x150f 000006bd: JUMP 000006be: JUMPDEST 000006bf: ISZERO 000006c0: ISZERO 000006c1: PUSH2 0x0702 000006c4: JUMPI 000006c5: PUSH1 0x40 000006c7: DUP1 000006c8: MLOAD 000006c9: PUSH1 0xe5 000006cb: PUSH1 0x02 000006cd: EXP 000006ce: PUSH3 0x461bcd 000006d2: MUL 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: PUSH1 0x04 000006d9: DUP3 000006da: ADD 000006db: MSTORE 000006dc: PUSH1 0x14 000006de: PUSH1 0x24 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: MLOAD 000006e7: PUSH1 0x20 000006e9: PUSH2 0x1a49 000006ec: DUP4 000006ed: CODECOPY 000006ee: DUP2 000006ef: MLOAD 000006f0: SWAP2 000006f1: MSTORE 000006f2: PUSH1 0x44 000006f4: DUP3 000006f5: ADD 000006f6: MSTORE 000006f7: SWAP1 000006f8: MLOAD 000006f9: SWAP1 000006fa: DUP2 000006fb: SWAP1 000006fc: SUB 000006fd: PUSH1 0x64 000006ff: ADD 00000700: SWAP1 00000701: REVERT 00000702: JUMPDEST 00000703: PUSH2 0x070b 00000706: DUP2 00000707: PUSH2 0x1532 0000070a: JUMP 0000070b: JUMPDEST 0000070c: POP 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x03 00000711: SLOAD 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: PUSH1 0x02 00000718: EXP 00000719: SUB 0000071a: AND 0000071b: SWAP1 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH2 0x0726 00000721: CALLER 00000722: PUSH2 0x150f 00000725: JUMP 00000726: JUMPDEST 00000727: ISZERO 00000728: ISZERO 00000729: PUSH2 0x076a 0000072c: JUMPI 0000072d: PUSH1 0x40 0000072f: DUP1 00000730: MLOAD 00000731: PUSH1 0xe5 00000733: PUSH1 0x02 00000735: EXP 00000736: PUSH3 0x461bcd 0000073a: MUL 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x20 0000073f: PUSH1 0x04 00000741: DUP3 00000742: ADD 00000743: MSTORE 00000744: PUSH1 0x14 00000746: PUSH1 0x24 00000748: DUP3 00000749: ADD 0000074a: MSTORE 0000074b: PUSH1 0x00 0000074d: DUP1 0000074e: MLOAD 0000074f: PUSH1 0x20 00000751: PUSH2 0x1a49 00000754: DUP4 00000755: CODECOPY 00000756: DUP2 00000757: MLOAD 00000758: SWAP2 00000759: MSTORE 0000075a: PUSH1 0x44 0000075c: DUP3 0000075d: ADD 0000075e: MSTORE 0000075f: SWAP1 00000760: MLOAD 00000761: SWAP1 00000762: DUP2 00000763: SWAP1 00000764: SUB 00000765: PUSH1 0x64 00000767: ADD 00000768: SWAP1 00000769: REVERT 0000076a: JUMPDEST 0000076b: PUSH1 0x01 0000076d: SLOAD 0000076e: PUSH1 0xa0 00000770: PUSH1 0x02 00000772: EXP 00000773: SWAP1 00000774: DIV 00000775: PUSH1 0xff 00000777: AND 00000778: ISZERO 00000779: ISZERO 0000077a: PUSH2 0x07cd 0000077d: JUMPI 0000077e: PUSH1 0x40 00000780: DUP1 00000781: MLOAD 00000782: PUSH1 0xe5 00000784: PUSH1 0x02 00000786: EXP 00000787: PUSH3 0x461bcd 0000078b: MUL 0000078c: DUP2 0000078d: MSTORE 0000078e: PUSH1 0x20 00000790: PUSH1 0x04 00000792: DUP3 00000793: ADD 00000794: MSTORE 00000795: PUSH1 0x17 00000797: PUSH1 0x24 00000799: DUP3 0000079a: ADD 0000079b: MSTORE 0000079c: PUSH32 0x54686520636f6e7472616374206973207061757365642e000000000000000000 000007bd: PUSH1 0x44 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: SWAP1 000007c3: MLOAD 000007c4: SWAP1 000007c5: DUP2 000007c6: SWAP1 000007c7: SUB 000007c8: PUSH1 0x64 000007ca: ADD 000007cb: SWAP1 000007cc: REVERT 000007cd: JUMPDEST 000007ce: PUSH1 0x01 000007d0: DUP1 000007d1: SLOAD 000007d2: PUSH21 0xff0000000000000000000000000000000000000000 000007e8: NOT 000007e9: AND 000007ea: SWAP1 000007eb: SSTORE 000007ec: PUSH1 0x40 000007ee: DUP1 000007ef: MLOAD 000007f0: CALLER 000007f1: DUP2 000007f2: MSTORE 000007f3: SWAP1 000007f4: MLOAD 000007f5: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000816: SWAP2 00000817: DUP2 00000818: SWAP1 00000819: SUB 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: SWAP1 0000081e: LOG1 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x01 00000823: SLOAD 00000824: PUSH1 0x00 00000826: SWAP1 00000827: PUSH1 0xa0 00000829: PUSH1 0x02 0000082b: EXP 0000082c: SWAP1 0000082d: DIV 0000082e: PUSH1 0xff 00000830: AND 00000831: ISZERO 00000832: PUSH2 0x0885 00000835: JUMPI 00000836: PUSH1 0x40 00000838: DUP1 00000839: MLOAD 0000083a: PUSH1 0xe5 0000083c: PUSH1 0x02 0000083e: EXP 0000083f: PUSH3 0x461bcd 00000843: MUL 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x20 00000848: PUSH1 0x04 0000084a: DUP3 0000084b: ADD 0000084c: MSTORE 0000084d: PUSH1 0x1b 0000084f: PUSH1 0x24 00000851: DUP3 00000852: ADD 00000853: MSTORE 00000854: PUSH32 0x54686520636f6e7472616374206973206e6f74207061757365642e0000000000 00000875: PUSH1 0x44 00000877: DUP3 00000878: ADD 00000879: MSTORE 0000087a: SWAP1 0000087b: MLOAD 0000087c: SWAP1 0000087d: DUP2 0000087e: SWAP1 0000087f: SUB 00000880: PUSH1 0x64 00000882: ADD 00000883: SWAP1 00000884: REVERT 00000885: JUMPDEST 00000886: PUSH1 0x03 00000888: SLOAD 00000889: PUSH1 0x40 0000088b: DUP1 0000088c: MLOAD 0000088d: PUSH32 0x4081db5100000000000000000000000000000000000000000000000000000000 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x01 000008b2: PUSH1 0xa0 000008b4: PUSH1 0x02 000008b6: EXP 000008b7: SUB 000008b8: DUP6 000008b9: DUP2 000008ba: AND 000008bb: PUSH1 0x04 000008bd: DUP4 000008be: ADD 000008bf: MSTORE 000008c0: SWAP2 000008c1: MLOAD 000008c2: PUSH1 0x00 000008c4: SWAP4 000008c5: SWAP3 000008c6: SWAP1 000008c7: SWAP3 000008c8: AND 000008c9: SWAP2 000008ca: PUSH4 0x4081db51 000008cf: SWAP2 000008d0: PUSH1 0x24 000008d2: DUP1 000008d3: DUP3 000008d4: ADD 000008d5: SWAP3 000008d6: PUSH1 0x20 000008d8: SWAP3 000008d9: SWAP1 000008da: SWAP2 000008db: SWAP1 000008dc: DUP3 000008dd: SWAP1 000008de: SUB 000008df: ADD 000008e0: DUP2 000008e1: DUP7 000008e2: DUP1 000008e3: EXTCODESIZE 000008e4: ISZERO 000008e5: DUP1 000008e6: ISZERO 000008e7: PUSH2 0x08ef 000008ea: JUMPI 000008eb: PUSH1 0x00 000008ed: DUP1 000008ee: REVERT 000008ef: JUMPDEST 000008f0: POP 000008f1: GAS 000008f2: STATICCALL 000008f3: ISZERO 000008f4: DUP1 000008f5: ISZERO 000008f6: PUSH2 0x0903 000008f9: JUMPI 000008fa: RETURNDATASIZE 000008fb: PUSH1 0x00 000008fd: DUP1 000008fe: RETURNDATACOPY 000008ff: RETURNDATASIZE 00000900: PUSH1 0x00 00000902: REVERT 00000903: JUMPDEST 00000904: POP 00000905: POP 00000906: POP 00000907: POP 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: RETURNDATASIZE 0000090c: PUSH1 0x20 0000090e: DUP2 0000090f: LT 00000910: ISZERO 00000911: PUSH2 0x0919 00000914: JUMPI 00000915: PUSH1 0x00 00000917: DUP1 00000918: REVERT 00000919: JUMPDEST 0000091a: POP 0000091b: MLOAD 0000091c: GT 0000091d: PUSH2 0x0970 00000920: JUMPI 00000921: PUSH1 0x40 00000923: DUP1 00000924: MLOAD 00000925: PUSH1 0xe5 00000927: PUSH1 0x02 00000929: EXP 0000092a: PUSH3 0x461bcd 0000092e: MUL 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x20 00000933: PUSH1 0x04 00000935: DUP3 00000936: ADD 00000937: MSTORE 00000938: PUSH1 0x1b 0000093a: PUSH1 0x24 0000093c: DUP3 0000093d: ADD 0000093e: MSTORE 0000093f: PUSH32 0x546865206163636f756e7420646f6573206e6f742065786973742e0000000000 00000960: PUSH1 0x44 00000962: DUP3 00000963: ADD 00000964: MSTORE 00000965: SWAP1 00000966: MLOAD 00000967: SWAP1 00000968: DUP2 00000969: SWAP1 0000096a: SUB 0000096b: PUSH1 0x64 0000096d: ADD 0000096e: SWAP1 0000096f: REVERT 00000970: JUMPDEST 00000971: PUSH1 0x05 00000973: SLOAD 00000974: PUSH1 0x06 00000976: SLOAD 00000977: PUSH1 0x0d 00000979: SLOAD 0000097a: PUSH2 0x099b 0000097d: SWAP2 0000097e: SWAP1 0000097f: PUSH2 0x098f 00000982: SWAP1 00000983: TIMESTAMP 00000984: SWAP1 00000985: PUSH4 0xffffffff 0000098a: PUSH2 0x157a 0000098d: AND 0000098e: JUMP 0000098f: JUMPDEST 00000990: SWAP1 00000991: PUSH4 0xffffffff 00000996: PUSH2 0x15da 00000999: AND 0000099a: JUMP 0000099b: JUMPDEST 0000099c: LT 0000099d: ISZERO 0000099e: PUSH2 0x09f1 000009a1: JUMPI 000009a2: PUSH1 0x40 000009a4: DUP1 000009a5: MLOAD 000009a6: PUSH1 0xe5 000009a8: PUSH1 0x02 000009aa: EXP 000009ab: PUSH3 0x461bcd 000009af: MUL 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: PUSH1 0x04 000009b6: DUP3 000009b7: ADD 000009b8: MSTORE 000009b9: PUSH1 0x12 000009bb: PUSH1 0x24 000009bd: DUP3 000009be: ADD 000009bf: MSTORE 000009c0: PUSH32 0x556e7375636365737366756c2074696d652e0000000000000000000000000000 000009e1: PUSH1 0x44 000009e3: DUP3 000009e4: ADD 000009e5: MSTORE 000009e6: SWAP1 000009e7: MLOAD 000009e8: SWAP1 000009e9: DUP2 000009ea: SWAP1 000009eb: SUB 000009ec: PUSH1 0x64 000009ee: ADD 000009ef: SWAP1 000009f0: REVERT 000009f1: JUMPDEST 000009f2: PUSH1 0x01 000009f4: PUSH1 0xa0 000009f6: PUSH1 0x02 000009f8: EXP 000009f9: SUB 000009fa: DUP3 000009fb: AND 000009fc: PUSH1 0x00 000009fe: SWAP1 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x0e 00000a03: PUSH1 0x20 00000a05: MSTORE 00000a06: PUSH1 0x40 00000a08: DUP2 00000a09: KECCAK256 00000a0a: PUSH1 0x01 00000a0c: DUP2 00000a0d: ADD 00000a0e: SLOAD 00000a0f: SWAP1 00000a10: SWAP2 00000a11: DUP2 00000a12: GT 00000a13: ISZERO 00000a14: PUSH2 0x0b7f 00000a17: JUMPI 00000a18: PUSH1 0x00 00000a1a: PUSH1 0x01 00000a1c: DUP4 00000a1d: ADD 00000a1e: SSTORE 00000a1f: PUSH1 0x02 00000a21: DUP3 00000a22: ADD 00000a23: SLOAD 00000a24: PUSH2 0x0a33 00000a27: SWAP1 00000a28: DUP3 00000a29: PUSH4 0xffffffff 00000a2e: PUSH2 0x1646 00000a31: AND 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH1 0x02 00000a36: DUP4 00000a37: ADD 00000a38: SSTORE 00000a39: PUSH1 0x0c 00000a3b: SLOAD 00000a3c: PUSH2 0x0a4b 00000a3f: SWAP1 00000a40: DUP3 00000a41: PUSH4 0xffffffff 00000a46: PUSH2 0x1646 00000a49: AND 00000a4a: JUMP 00000a4b: JUMPDEST 00000a4c: PUSH1 0x0c 00000a4e: SSTORE 00000a4f: PUSH1 0x02 00000a51: SLOAD 00000a52: PUSH1 0x40 00000a54: DUP1 00000a55: MLOAD 00000a56: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000a77: DUP2 00000a78: MSTORE 00000a79: PUSH1 0x01 00000a7b: PUSH1 0xa0 00000a7d: PUSH1 0x02 00000a7f: EXP 00000a80: SUB 00000a81: DUP8 00000a82: DUP2 00000a83: AND 00000a84: PUSH1 0x04 00000a86: DUP4 00000a87: ADD 00000a88: MSTORE 00000a89: PUSH1 0x24 00000a8b: DUP3 00000a8c: ADD 00000a8d: DUP6 00000a8e: SWAP1 00000a8f: MSTORE 00000a90: SWAP2 00000a91: MLOAD 00000a92: SWAP2 00000a93: SWAP1 00000a94: SWAP3 00000a95: AND 00000a96: SWAP2 00000a97: PUSH4 0xa9059cbb 00000a9c: SWAP2 00000a9d: PUSH1 0x44 00000a9f: DUP1 00000aa0: DUP4 00000aa1: ADD 00000aa2: SWAP3 00000aa3: PUSH1 0x20 00000aa5: SWAP3 00000aa6: SWAP2 00000aa7: SWAP1 00000aa8: DUP3 00000aa9: SWAP1 00000aaa: SUB 00000aab: ADD 00000aac: DUP2 00000aad: PUSH1 0x00 00000aaf: DUP8 00000ab0: DUP1 00000ab1: EXTCODESIZE 00000ab2: ISZERO 00000ab3: DUP1 00000ab4: ISZERO 00000ab5: PUSH2 0x0abd 00000ab8: JUMPI 00000ab9: PUSH1 0x00 00000abb: DUP1 00000abc: REVERT 00000abd: JUMPDEST 00000abe: POP 00000abf: GAS 00000ac0: CALL 00000ac1: ISZERO 00000ac2: DUP1 00000ac3: ISZERO 00000ac4: PUSH2 0x0ad1 00000ac7: JUMPI 00000ac8: RETURNDATASIZE 00000ac9: PUSH1 0x00 00000acb: DUP1 00000acc: RETURNDATACOPY 00000acd: RETURNDATASIZE 00000ace: PUSH1 0x00 00000ad0: REVERT 00000ad1: JUMPDEST 00000ad2: POP 00000ad3: POP 00000ad4: POP 00000ad5: POP 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: RETURNDATASIZE 00000ada: PUSH1 0x20 00000adc: DUP2 00000add: LT 00000ade: ISZERO 00000adf: PUSH2 0x0ae7 00000ae2: JUMPI 00000ae3: PUSH1 0x00 00000ae5: DUP1 00000ae6: REVERT 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: MLOAD 00000aea: ISZERO 00000aeb: ISZERO 00000aec: PUSH2 0x0b3f 00000aef: JUMPI 00000af0: PUSH1 0x40 00000af2: DUP1 00000af3: MLOAD 00000af4: PUSH1 0xe5 00000af6: PUSH1 0x02 00000af8: EXP 00000af9: PUSH3 0x461bcd 00000afd: MUL 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x20 00000b02: PUSH1 0x04 00000b04: DUP3 00000b05: ADD 00000b06: MSTORE 00000b07: PUSH1 0x12 00000b09: PUSH1 0x24 00000b0b: DUP3 00000b0c: ADD 00000b0d: MSTORE 00000b0e: PUSH32 0x5769746864726177616c206661696c65642e0000000000000000000000000000 00000b2f: PUSH1 0x44 00000b31: DUP3 00000b32: ADD 00000b33: MSTORE 00000b34: SWAP1 00000b35: MLOAD 00000b36: SWAP1 00000b37: DUP2 00000b38: SWAP1 00000b39: SUB 00000b3a: PUSH1 0x64 00000b3c: ADD 00000b3d: SWAP1 00000b3e: REVERT 00000b3f: JUMPDEST 00000b40: PUSH1 0x40 00000b42: DUP1 00000b43: MLOAD 00000b44: DUP3 00000b45: DUP2 00000b46: MSTORE 00000b47: SWAP1 00000b48: MLOAD 00000b49: PUSH1 0x01 00000b4b: PUSH1 0xa0 00000b4d: PUSH1 0x02 00000b4f: EXP 00000b50: SUB 00000b51: DUP7 00000b52: AND 00000b53: SWAP2 00000b54: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000b75: SWAP2 00000b76: SWAP1 00000b77: DUP2 00000b78: SWAP1 00000b79: SUB 00000b7a: PUSH1 0x20 00000b7c: ADD 00000b7d: SWAP1 00000b7e: LOG2 00000b7f: JUMPDEST 00000b80: POP 00000b81: PUSH1 0x01 00000b83: SWAP4 00000b84: SWAP3 00000b85: POP 00000b86: POP 00000b87: POP 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x01 00000b8c: SLOAD 00000b8d: PUSH1 0xa0 00000b8f: PUSH1 0x02 00000b91: EXP 00000b92: SWAP1 00000b93: DIV 00000b94: PUSH1 0xff 00000b96: AND 00000b97: SWAP1 00000b98: JUMP 00000b99: JUMPDEST 00000b9a: PUSH1 0x02 00000b9c: SLOAD 00000b9d: PUSH1 0x01 00000b9f: PUSH1 0xa0 00000ba1: PUSH1 0x02 00000ba3: EXP 00000ba4: SUB 00000ba5: AND 00000ba6: SWAP1 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x0b 00000bab: SLOAD 00000bac: PUSH1 0x0c 00000bae: SLOAD 00000baf: PUSH1 0x0d 00000bb1: SLOAD 00000bb2: SWAP1 00000bb3: SWAP2 00000bb4: SWAP3 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH2 0x0bbf 00000bba: CALLER 00000bbb: PUSH2 0x150f 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: ISZERO 00000bc1: ISZERO 00000bc2: PUSH2 0x0c03 00000bc5: JUMPI 00000bc6: PUSH1 0x40 00000bc8: DUP1 00000bc9: MLOAD 00000bca: PUSH1 0xe5 00000bcc: PUSH1 0x02 00000bce: EXP 00000bcf: PUSH3 0x461bcd 00000bd3: MUL 00000bd4: DUP2 00000bd5: MSTORE 00000bd6: PUSH1 0x20 00000bd8: PUSH1 0x04 00000bda: DUP3 00000bdb: ADD 00000bdc: MSTORE 00000bdd: PUSH1 0x14 00000bdf: PUSH1 0x24 00000be1: DUP3 00000be2: ADD 00000be3: MSTORE 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: MLOAD 00000be8: PUSH1 0x20 00000bea: PUSH2 0x1a49 00000bed: DUP4 00000bee: CODECOPY 00000bef: DUP2 00000bf0: MLOAD 00000bf1: SWAP2 00000bf2: MSTORE 00000bf3: PUSH1 0x44 00000bf5: DUP3 00000bf6: ADD 00000bf7: MSTORE 00000bf8: SWAP1 00000bf9: MLOAD 00000bfa: SWAP1 00000bfb: DUP2 00000bfc: SWAP1 00000bfd: SUB 00000bfe: PUSH1 0x64 00000c00: ADD 00000c01: SWAP1 00000c02: REVERT 00000c03: JUMPDEST 00000c04: PUSH1 0x01 00000c06: SLOAD 00000c07: PUSH1 0xa0 00000c09: PUSH1 0x02 00000c0b: EXP 00000c0c: SWAP1 00000c0d: DIV 00000c0e: PUSH1 0xff 00000c10: AND 00000c11: ISZERO 00000c12: PUSH2 0x0c65 00000c15: JUMPI 00000c16: PUSH1 0x40 00000c18: DUP1 00000c19: MLOAD 00000c1a: PUSH1 0xe5 00000c1c: PUSH1 0x02 00000c1e: EXP 00000c1f: PUSH3 0x461bcd 00000c23: MUL 00000c24: DUP2 00000c25: MSTORE 00000c26: PUSH1 0x20 00000c28: PUSH1 0x04 00000c2a: DUP3 00000c2b: ADD 00000c2c: MSTORE 00000c2d: PUSH1 0x1b 00000c2f: PUSH1 0x24 00000c31: DUP3 00000c32: ADD 00000c33: MSTORE 00000c34: PUSH32 0x54686520636f6e7472616374206973206e6f74207061757365642e0000000000 00000c55: PUSH1 0x44 00000c57: DUP3 00000c58: ADD 00000c59: MSTORE 00000c5a: SWAP1 00000c5b: MLOAD 00000c5c: SWAP1 00000c5d: DUP2 00000c5e: SWAP1 00000c5f: SUB 00000c60: PUSH1 0x64 00000c62: ADD 00000c63: SWAP1 00000c64: REVERT 00000c65: JUMPDEST 00000c66: PUSH1 0x01 00000c68: DUP1 00000c69: SLOAD 00000c6a: PUSH21 0xff0000000000000000000000000000000000000000 00000c80: NOT 00000c81: AND 00000c82: PUSH1 0xa0 00000c84: PUSH1 0x02 00000c86: EXP 00000c87: OR 00000c88: SWAP1 00000c89: SSTORE 00000c8a: PUSH1 0x40 00000c8c: DUP1 00000c8d: MLOAD 00000c8e: CALLER 00000c8f: DUP2 00000c90: MSTORE 00000c91: SWAP1 00000c92: MLOAD 00000c93: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000cb4: SWAP2 00000cb5: DUP2 00000cb6: SWAP1 00000cb7: SUB 00000cb8: PUSH1 0x20 00000cba: ADD 00000cbb: SWAP1 00000cbc: LOG1 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x09 00000cc1: SLOAD 00000cc2: DUP4 00000cc3: LT 00000cc4: DUP1 00000cc5: ISZERO 00000cc6: SWAP1 00000cc7: PUSH2 0x0cd2 00000cca: JUMPI 00000ccb: POP 00000ccc: PUSH1 0x0a 00000cce: SLOAD 00000ccf: DUP4 00000cd0: GT 00000cd1: ISZERO 00000cd2: JUMPDEST 00000cd3: ISZERO 00000cd4: ISZERO 00000cd5: PUSH2 0x0d28 00000cd8: JUMPI 00000cd9: PUSH1 0x40 00000cdb: DUP1 00000cdc: MLOAD 00000cdd: PUSH1 0xe5 00000cdf: PUSH1 0x02 00000ce1: EXP 00000ce2: PUSH3 0x461bcd 00000ce6: MUL 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x20 00000ceb: PUSH1 0x04 00000ced: DUP3 00000cee: ADD 00000cef: MSTORE 00000cf0: PUSH1 0x0e 00000cf2: PUSH1 0x24 00000cf4: DUP3 00000cf5: ADD 00000cf6: MSTORE 00000cf7: PUSH32 0x5061796d656e74206c696d69742e000000000000000000000000000000000000 00000d18: PUSH1 0x44 00000d1a: DUP3 00000d1b: ADD 00000d1c: MSTORE 00000d1d: SWAP1 00000d1e: MLOAD 00000d1f: SWAP1 00000d20: DUP2 00000d21: SWAP1 00000d22: SUB 00000d23: PUSH1 0x64 00000d25: ADD 00000d26: SWAP1 00000d27: REVERT 00000d28: JUMPDEST 00000d29: PUSH1 0x01 00000d2b: PUSH1 0xa0 00000d2d: PUSH1 0x02 00000d2f: EXP 00000d30: SUB 00000d31: DUP5 00000d32: AND 00000d33: PUSH1 0x00 00000d35: SWAP1 00000d36: DUP2 00000d37: MSTORE 00000d38: PUSH1 0x0e 00000d3a: PUSH1 0x20 00000d3c: MSTORE 00000d3d: PUSH1 0x40 00000d3f: SWAP1 00000d40: KECCAK256 00000d41: PUSH1 0x07 00000d43: SLOAD 00000d44: PUSH1 0x06 00000d46: SLOAD 00000d47: PUSH1 0x0d 00000d49: SLOAD 00000d4a: TIMESTAMP 00000d4b: SWAP4 00000d4c: SWAP3 00000d4d: SWAP2 00000d4e: PUSH2 0x0d62 00000d51: SWAP2 00000d52: PUSH2 0x098f 00000d55: SWAP1 00000d56: DUP7 00000d57: SWAP1 00000d58: PUSH4 0xffffffff 00000d5d: PUSH2 0x157a 00000d60: AND 00000d61: JUMP 00000d62: JUMPDEST 00000d63: LT 00000d64: ISZERO 00000d65: DUP1 00000d66: ISZERO 00000d67: PUSH2 0x0d87 00000d6a: JUMPI 00000d6b: POP 00000d6c: PUSH1 0x08 00000d6e: SLOAD 00000d6f: PUSH1 0x03 00000d71: DUP3 00000d72: ADD 00000d73: SLOAD 00000d74: PUSH2 0x0d84 00000d77: SWAP1 00000d78: DUP5 00000d79: SWAP1 00000d7a: PUSH4 0xffffffff 00000d7f: PUSH2 0x157a 00000d82: AND 00000d83: JUMP 00000d84: JUMPDEST 00000d85: LT 00000d86: ISZERO 00000d87: JUMPDEST 00000d88: ISZERO 00000d89: PUSH2 0x1350 00000d8c: JUMPI 00000d8d: PUSH1 0x02 00000d8f: SLOAD 00000d90: PUSH1 0x40 00000d92: DUP1 00000d93: MLOAD 00000d94: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x01 00000db9: PUSH1 0xa0 00000dbb: PUSH1 0x02 00000dbd: EXP 00000dbe: SUB 00000dbf: DUP10 00000dc0: DUP2 00000dc1: AND 00000dc2: PUSH1 0x04 00000dc4: DUP4 00000dc5: ADD 00000dc6: MSTORE 00000dc7: ADDRESS 00000dc8: PUSH1 0x24 00000dca: DUP4 00000dcb: ADD 00000dcc: MSTORE 00000dcd: PUSH1 0x44 00000dcf: DUP3 00000dd0: ADD 00000dd1: DUP10 00000dd2: SWAP1 00000dd3: MSTORE 00000dd4: SWAP2 00000dd5: MLOAD 00000dd6: SWAP2 00000dd7: SWAP1 00000dd8: SWAP3 00000dd9: AND 00000dda: SWAP2 00000ddb: PUSH4 0x23b872dd 00000de0: SWAP2 00000de1: PUSH1 0x64 00000de3: DUP1 00000de4: DUP4 00000de5: ADD 00000de6: SWAP3 00000de7: PUSH1 0x20 00000de9: SWAP3 00000dea: SWAP2 00000deb: SWAP1 00000dec: DUP3 00000ded: SWAP1 00000dee: SUB 00000def: ADD 00000df0: DUP2 00000df1: PUSH1 0x00 00000df3: DUP8 00000df4: DUP1 00000df5: EXTCODESIZE 00000df6: ISZERO 00000df7: DUP1 00000df8: ISZERO 00000df9: PUSH2 0x0e01 00000dfc: JUMPI 00000dfd: PUSH1 0x00 00000dff: DUP1 00000e00: REVERT 00000e01: JUMPDEST 00000e02: POP 00000e03: GAS 00000e04: CALL 00000e05: ISZERO 00000e06: DUP1 00000e07: ISZERO 00000e08: PUSH2 0x0e15 00000e0b: JUMPI 00000e0c: RETURNDATASIZE 00000e0d: PUSH1 0x00 00000e0f: DUP1 00000e10: RETURNDATACOPY 00000e11: RETURNDATASIZE 00000e12: PUSH1 0x00 00000e14: REVERT 00000e15: JUMPDEST 00000e16: POP 00000e17: POP 00000e18: POP 00000e19: POP 00000e1a: PUSH1 0x40 00000e1c: MLOAD 00000e1d: RETURNDATASIZE 00000e1e: PUSH1 0x20 00000e20: DUP2 00000e21: LT 00000e22: ISZERO 00000e23: PUSH2 0x0e2b 00000e26: JUMPI 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: REVERT 00000e2b: JUMPDEST 00000e2c: POP 00000e2d: MLOAD 00000e2e: ISZERO 00000e2f: ISZERO 00000e30: PUSH2 0x0e83 00000e33: JUMPI 00000e34: PUSH1 0x40 00000e36: DUP1 00000e37: MLOAD 00000e38: PUSH1 0xe5 00000e3a: PUSH1 0x02 00000e3c: EXP 00000e3d: PUSH3 0x461bcd 00000e41: MUL 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x20 00000e46: PUSH1 0x04 00000e48: DUP3 00000e49: ADD 00000e4a: MSTORE 00000e4b: PUSH1 0x0f 00000e4d: PUSH1 0x24 00000e4f: DUP3 00000e50: ADD 00000e51: MSTORE 00000e52: PUSH32 0x5061796d656e74206661696c65642e0000000000000000000000000000000000 00000e73: PUSH1 0x44 00000e75: DUP3 00000e76: ADD 00000e77: MSTORE 00000e78: SWAP1 00000e79: MLOAD 00000e7a: SWAP1 00000e7b: DUP2 00000e7c: SWAP1 00000e7d: SUB 00000e7e: PUSH1 0x64 00000e80: ADD 00000e81: SWAP1 00000e82: REVERT 00000e83: JUMPDEST 00000e84: PUSH1 0x0b 00000e86: SLOAD 00000e87: PUSH2 0x0e96 00000e8a: SWAP1 00000e8b: DUP7 00000e8c: PUSH4 0xffffffff 00000e91: PUSH2 0x1646 00000e94: AND 00000e95: JUMP 00000e96: JUMPDEST 00000e97: PUSH1 0x0b 00000e99: SSTORE 00000e9a: DUP1 00000e9b: SLOAD 00000e9c: PUSH2 0x0eab 00000e9f: SWAP1 00000ea0: DUP7 00000ea1: PUSH4 0xffffffff 00000ea6: PUSH2 0x1646 00000ea9: AND 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: DUP2 00000ead: SSTORE 00000eae: PUSH1 0x04 00000eb0: SLOAD 00000eb1: PUSH2 0x0ef2 00000eb4: SWAP1 00000eb5: PUSH2 0x0ee1 00000eb8: SWAP1 00000eb9: PUSH2 0x2710 00000ebc: SWAP1 00000ebd: PUSH2 0x0ed5 00000ec0: SWAP1 00000ec1: DUP10 00000ec2: SWAP1 00000ec3: PUSH7 0x01000000000000 00000ecb: SWAP1 00000ecc: DIV 00000ecd: PUSH2 0xffff 00000ed0: AND 00000ed1: PUSH2 0x16aa 00000ed4: JUMP 00000ed5: JUMPDEST 00000ed6: SWAP1 00000ed7: PUSH4 0xffffffff 00000edc: PUSH2 0x1720 00000edf: AND 00000ee0: JUMP 00000ee1: JUMPDEST 00000ee2: PUSH1 0x01 00000ee4: DUP4 00000ee5: ADD 00000ee6: SLOAD 00000ee7: SWAP1 00000ee8: PUSH4 0xffffffff 00000eed: PUSH2 0x1646 00000ef0: AND 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH1 0x01 00000ef5: DUP3 00000ef6: ADD 00000ef7: SSTORE 00000ef8: PUSH1 0x03 00000efa: DUP2 00000efb: ADD 00000efc: DUP3 00000efd: SWAP1 00000efe: SSTORE 00000eff: PUSH1 0x04 00000f01: SLOAD 00000f02: PUSH1 0x00 00000f04: SWAP1 00000f05: PUSH2 0x0f21 00000f08: SWAP1 00000f09: PUSH2 0x2710 00000f0c: SWAP1 00000f0d: PUSH2 0x0ed5 00000f10: SWAP1 00000f11: DUP10 00000f12: SWAP1 00000f13: PUSH2 0xffff 00000f16: AND 00000f17: PUSH4 0xffffffff 00000f1c: PUSH2 0x16aa 00000f1f: AND 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x04 00000f24: SLOAD 00000f25: SWAP1 00000f26: SWAP2 00000f27: POP 00000f28: PUSH1 0x00 00000f2a: SWAP1 00000f2b: PUSH2 0x0f47 00000f2e: SWAP1 00000f2f: PUSH2 0x2710 00000f32: SWAP1 00000f33: PUSH2 0x0ed5 00000f36: SWAP1 00000f37: DUP11 00000f38: SWAP1 00000f39: PUSH3 0x010000 00000f3d: SWAP1 00000f3e: DIV 00000f3f: PUSH2 0xffff 00000f42: AND 00000f43: PUSH2 0x16aa 00000f46: JUMP 00000f47: JUMPDEST 00000f48: PUSH1 0x04 00000f4a: SLOAD 00000f4b: SWAP1 00000f4c: SWAP2 00000f4d: POP 00000f4e: PUSH1 0x00 00000f50: SWAP1 00000f51: PUSH2 0x0f6f 00000f54: SWAP1 00000f55: PUSH2 0x2710 00000f58: SWAP1 00000f59: PUSH2 0x0ed5 00000f5c: SWAP1 00000f5d: DUP12 00000f5e: SWAP1 00000f5f: PUSH5 0x0100000000 00000f65: SWAP1 00000f66: DIV 00000f67: PUSH2 0xffff 00000f6a: AND 00000f6b: PUSH2 0x16aa 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH1 0x02 00000f72: SLOAD 00000f73: PUSH1 0x03 00000f75: SLOAD 00000f76: SWAP2 00000f77: SWAP3 00000f78: POP 00000f79: PUSH1 0x01 00000f7b: PUSH1 0xa0 00000f7d: PUSH1 0x02 00000f7f: EXP 00000f80: SUB 00000f81: SWAP1 00000f82: DUP2 00000f83: AND 00000f84: SWAP2 00000f85: PUSH4 0xa9059cbb 00000f8a: SWAP2 00000f8b: AND 00000f8c: PUSH2 0x0fab 00000f8f: DUP5 00000f90: PUSH2 0x0f9f 00000f93: DUP9 00000f94: DUP9 00000f95: PUSH4 0xffffffff 00000f9a: PUSH2 0x1646 00000f9d: AND 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: SWAP1 00000fa1: PUSH4 0xffffffff 00000fa6: PUSH2 0x1646 00000fa9: AND 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH1 0x40 00000fae: MLOAD 00000faf: DUP4 00000fb0: PUSH4 0xffffffff 00000fb5: AND 00000fb6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000fd4: MUL 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x04 00000fd9: ADD 00000fda: DUP1 00000fdb: DUP4 00000fdc: PUSH1 0x01 00000fde: PUSH1 0xa0 00000fe0: PUSH1 0x02 00000fe2: EXP 00000fe3: SUB 00000fe4: AND 00000fe5: PUSH1 0x01 00000fe7: PUSH1 0xa0 00000fe9: PUSH1 0x02 00000feb: EXP 00000fec: SUB 00000fed: AND 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x20 00000ff2: ADD 00000ff3: DUP3 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x20 00000ff8: ADD 00000ff9: SWAP3 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: PUSH1 0x20 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: DUP1 00001003: DUP4 00001004: SUB 00001005: DUP2 00001006: PUSH1 0x00 00001008: DUP8 00001009: DUP1 0000100a: EXTCODESIZE 0000100b: ISZERO 0000100c: DUP1 0000100d: ISZERO 0000100e: PUSH2 0x1016 00001011: JUMPI 00001012: PUSH1 0x00 00001014: DUP1 00001015: REVERT 00001016: JUMPDEST 00001017: POP 00001018: GAS 00001019: CALL 0000101a: ISZERO 0000101b: DUP1 0000101c: ISZERO 0000101d: PUSH2 0x102a 00001020: JUMPI 00001021: RETURNDATASIZE 00001022: PUSH1 0x00 00001024: DUP1 00001025: RETURNDATACOPY 00001026: RETURNDATASIZE 00001027: PUSH1 0x00 00001029: REVERT 0000102a: JUMPDEST 0000102b: POP 0000102c: POP 0000102d: POP 0000102e: POP 0000102f: PUSH1 0x40 00001031: MLOAD 00001032: RETURNDATASIZE 00001033: PUSH1 0x20 00001035: DUP2 00001036: LT 00001037: ISZERO 00001038: PUSH2 0x1040 0000103b: JUMPI 0000103c: PUSH1 0x00 0000103e: DUP1 0000103f: REVERT 00001040: JUMPDEST 00001041: POP 00001042: POP 00001043: PUSH1 0x03 00001045: SLOAD 00001046: PUSH1 0x40 00001048: DUP1 00001049: MLOAD 0000104a: PUSH32 0x4081db5100000000000000000000000000000000000000000000000000000000 0000106b: DUP2 0000106c: MSTORE 0000106d: PUSH1 0x01 0000106f: PUSH1 0xa0 00001071: PUSH1 0x02 00001073: EXP 00001074: SUB 00001075: DUP13 00001076: DUP2 00001077: AND 00001078: PUSH1 0x04 0000107a: DUP4 0000107b: ADD 0000107c: MSTORE 0000107d: SWAP2 0000107e: MLOAD 0000107f: PUSH1 0x00 00001081: SWAP4 00001082: SWAP3 00001083: SWAP1 00001084: SWAP3 00001085: AND 00001086: SWAP2 00001087: PUSH4 0x4081db51 0000108c: SWAP2 0000108d: PUSH1 0x24 0000108f: DUP1 00001090: DUP3 00001091: ADD 00001092: SWAP3 00001093: PUSH1 0x20 00001095: SWAP3 00001096: SWAP1 00001097: SWAP2 00001098: SWAP1 00001099: DUP3 0000109a: SWAP1 0000109b: SUB 0000109c: ADD 0000109d: DUP2 0000109e: DUP7 0000109f: DUP1 000010a0: EXTCODESIZE 000010a1: ISZERO 000010a2: DUP1 000010a3: ISZERO 000010a4: PUSH2 0x10ac 000010a7: JUMPI 000010a8: PUSH1 0x00 000010aa: DUP1 000010ab: REVERT 000010ac: JUMPDEST 000010ad: POP 000010ae: GAS 000010af: STATICCALL 000010b0: ISZERO 000010b1: DUP1 000010b2: ISZERO 000010b3: PUSH2 0x10c0 000010b6: JUMPI 000010b7: RETURNDATASIZE 000010b8: PUSH1 0x00 000010ba: DUP1 000010bb: RETURNDATACOPY 000010bc: RETURNDATASIZE 000010bd: PUSH1 0x00 000010bf: REVERT 000010c0: JUMPDEST 000010c1: POP 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: RETURNDATASIZE 000010c9: PUSH1 0x20 000010cb: DUP2 000010cc: LT 000010cd: ISZERO 000010ce: PUSH2 0x10d6 000010d1: JUMPI 000010d2: PUSH1 0x00 000010d4: DUP1 000010d5: REVERT 000010d6: JUMPDEST 000010d7: POP 000010d8: MLOAD 000010d9: PUSH1 0x03 000010db: SLOAD 000010dc: PUSH1 0x40 000010de: DUP1 000010df: MLOAD 000010e0: PUSH32 0x365b98b200000000000000000000000000000000000000000000000000000000 00001101: DUP2 00001102: MSTORE 00001103: PUSH1 0x04 00001105: DUP2 00001106: ADD 00001107: DUP5 00001108: SWAP1 00001109: MSTORE 0000110a: SWAP1 0000110b: MLOAD 0000110c: SWAP3 0000110d: SWAP4 0000110e: POP 0000110f: PUSH1 0x00 00001111: SWAP3 00001112: DUP4 00001113: SWAP3 00001114: PUSH1 0x01 00001116: PUSH1 0xa0 00001118: PUSH1 0x02 0000111a: EXP 0000111b: SUB 0000111c: AND 0000111d: SWAP2 0000111e: PUSH4 0x365b98b2 00001123: SWAP2 00001124: PUSH1 0x24 00001126: DUP1 00001127: DUP4 00001128: ADD 00001129: SWAP3 0000112a: PUSH1 0xc0 0000112c: SWAP3 0000112d: SWAP2 0000112e: SWAP1 0000112f: DUP3 00001130: SWAP1 00001131: SUB 00001132: ADD 00001133: DUP2 00001134: DUP7 00001135: DUP1 00001136: EXTCODESIZE 00001137: ISZERO 00001138: DUP1 00001139: ISZERO 0000113a: PUSH2 0x1142 0000113d: JUMPI 0000113e: PUSH1 0x00 00001140: DUP1 00001141: REVERT 00001142: JUMPDEST 00001143: POP 00001144: GAS 00001145: STATICCALL 00001146: ISZERO 00001147: DUP1 00001148: ISZERO 00001149: PUSH2 0x1156 0000114c: JUMPI 0000114d: RETURNDATASIZE 0000114e: PUSH1 0x00 00001150: DUP1 00001151: RETURNDATACOPY 00001152: RETURNDATASIZE 00001153: PUSH1 0x00 00001155: REVERT 00001156: JUMPDEST 00001157: POP 00001158: POP 00001159: POP 0000115a: POP 0000115b: PUSH1 0x40 0000115d: MLOAD 0000115e: RETURNDATASIZE 0000115f: PUSH1 0xc0 00001161: DUP2 00001162: LT 00001163: ISZERO 00001164: PUSH2 0x116c 00001167: JUMPI 00001168: PUSH1 0x00 0000116a: DUP1 0000116b: REVERT 0000116c: JUMPDEST 0000116d: POP 0000116e: PUSH1 0x20 00001170: DUP1 00001171: DUP3 00001172: ADD 00001173: MLOAD 00001174: PUSH1 0x40 00001176: SWAP3 00001177: DUP4 00001178: ADD 00001179: MLOAD 0000117a: PUSH1 0x03 0000117c: SLOAD 0000117d: DUP5 0000117e: MLOAD 0000117f: PUSH32 0x6e3abbd200000000000000000000000000000000000000000000000000000000 000011a0: DUP2 000011a1: MSTORE 000011a2: PUSH1 0x01 000011a4: PUSH1 0xa0 000011a6: PUSH1 0x02 000011a8: EXP 000011a9: SUB 000011aa: DUP1 000011ab: DUP6 000011ac: AND 000011ad: PUSH1 0x04 000011af: DUP4 000011b0: ADD 000011b1: MSTORE 000011b2: PUSH1 0x24 000011b4: DUP3 000011b5: ADD 000011b6: DUP14 000011b7: SWAP1 000011b8: MSTORE 000011b9: SWAP6 000011ba: MLOAD 000011bb: SWAP4 000011bc: SWAP8 000011bd: POP 000011be: SWAP2 000011bf: SWAP6 000011c0: POP 000011c1: SWAP4 000011c2: SWAP1 000011c3: SWAP4 000011c4: AND 000011c5: SWAP3 000011c6: PUSH4 0x6e3abbd2 000011cb: SWAP3 000011cc: PUSH1 0x44 000011ce: DUP1 000011cf: DUP4 000011d0: ADD 000011d1: SWAP4 000011d2: SWAP2 000011d3: SWAP3 000011d4: DUP3 000011d5: SWAP1 000011d6: SUB 000011d7: ADD 000011d8: DUP2 000011d9: PUSH1 0x00 000011db: DUP8 000011dc: DUP1 000011dd: EXTCODESIZE 000011de: ISZERO 000011df: DUP1 000011e0: ISZERO 000011e1: PUSH2 0x11e9 000011e4: JUMPI 000011e5: PUSH1 0x00 000011e7: DUP1 000011e8: REVERT 000011e9: JUMPDEST 000011ea: POP 000011eb: GAS 000011ec: CALL 000011ed: ISZERO 000011ee: DUP1 000011ef: ISZERO 000011f0: PUSH2 0x11fd 000011f3: JUMPI 000011f4: RETURNDATASIZE 000011f5: PUSH1 0x00 000011f7: DUP1 000011f8: RETURNDATACOPY 000011f9: RETURNDATASIZE 000011fa: PUSH1 0x00 000011fc: REVERT 000011fd: JUMPDEST 000011fe: POP 000011ff: POP 00001200: POP 00001201: POP 00001202: PUSH1 0x40 00001204: MLOAD 00001205: RETURNDATASIZE 00001206: PUSH1 0x20 00001208: DUP2 00001209: LT 0000120a: ISZERO 0000120b: PUSH2 0x1213 0000120e: JUMPI 0000120f: PUSH1 0x00 00001211: DUP1 00001212: REVERT 00001213: JUMPDEST 00001214: POP 00001215: POP 00001216: PUSH1 0x03 00001218: SLOAD 00001219: PUSH1 0x40 0000121b: DUP1 0000121c: MLOAD 0000121d: PUSH32 0x3c23388f00000000000000000000000000000000000000000000000000000000 0000123e: DUP2 0000123f: MSTORE 00001240: PUSH1 0x04 00001242: DUP2 00001243: ADD 00001244: DUP5 00001245: SWAP1 00001246: MSTORE 00001247: PUSH1 0x24 00001249: DUP2 0000124a: ADD 0000124b: DUP9 0000124c: SWAP1 0000124d: MSTORE 0000124e: SWAP1 0000124f: MLOAD 00001250: PUSH1 0x01 00001252: PUSH1 0xa0 00001254: PUSH1 0x02 00001256: EXP 00001257: SUB 00001258: SWAP1 00001259: SWAP3 0000125a: AND 0000125b: SWAP2 0000125c: PUSH4 0x3c23388f 00001261: SWAP2 00001262: PUSH1 0x44 00001264: DUP1 00001265: DUP3 00001266: ADD 00001267: SWAP3 00001268: PUSH1 0x20 0000126a: SWAP3 0000126b: SWAP1 0000126c: SWAP2 0000126d: SWAP1 0000126e: DUP3 0000126f: SWAP1 00001270: SUB 00001271: ADD 00001272: DUP2 00001273: PUSH1 0x00 00001275: DUP8 00001276: DUP1 00001277: EXTCODESIZE 00001278: ISZERO 00001279: DUP1 0000127a: ISZERO 0000127b: PUSH2 0x1283 0000127e: JUMPI 0000127f: PUSH1 0x00 00001281: DUP1 00001282: REVERT 00001283: JUMPDEST 00001284: POP 00001285: GAS 00001286: CALL 00001287: ISZERO 00001288: DUP1 00001289: ISZERO 0000128a: PUSH2 0x1297 0000128d: JUMPI 0000128e: RETURNDATASIZE 0000128f: PUSH1 0x00 00001291: DUP1 00001292: RETURNDATACOPY 00001293: RETURNDATASIZE 00001294: PUSH1 0x00 00001296: REVERT 00001297: JUMPDEST 00001298: POP 00001299: POP 0000129a: POP 0000129b: POP 0000129c: PUSH1 0x40 0000129e: MLOAD 0000129f: RETURNDATASIZE 000012a0: PUSH1 0x20 000012a2: DUP2 000012a3: LT 000012a4: ISZERO 000012a5: PUSH2 0x12ad 000012a8: JUMPI 000012a9: PUSH1 0x00 000012ab: DUP1 000012ac: REVERT 000012ad: JUMPDEST 000012ae: POP 000012af: POP 000012b0: PUSH1 0x03 000012b2: SLOAD 000012b3: PUSH1 0x40 000012b5: DUP1 000012b6: MLOAD 000012b7: PUSH32 0x33d8bfc700000000000000000000000000000000000000000000000000000000 000012d8: DUP2 000012d9: MSTORE 000012da: PUSH1 0x04 000012dc: DUP2 000012dd: ADD 000012de: DUP5 000012df: SWAP1 000012e0: MSTORE 000012e1: PUSH1 0x24 000012e3: DUP2 000012e4: ADD 000012e5: DUP8 000012e6: SWAP1 000012e7: MSTORE 000012e8: SWAP1 000012e9: MLOAD 000012ea: PUSH1 0x01 000012ec: PUSH1 0xa0 000012ee: PUSH1 0x02 000012f0: EXP 000012f1: SUB 000012f2: SWAP1 000012f3: SWAP3 000012f4: AND 000012f5: SWAP2 000012f6: PUSH4 0x33d8bfc7 000012fb: SWAP2 000012fc: PUSH1 0x44 000012fe: DUP1 000012ff: DUP3 00001300: ADD 00001301: SWAP3 00001302: PUSH1 0x20 00001304: SWAP3 00001305: SWAP1 00001306: SWAP2 00001307: SWAP1 00001308: DUP3 00001309: SWAP1 0000130a: SUB 0000130b: ADD 0000130c: DUP2 0000130d: PUSH1 0x00 0000130f: DUP8 00001310: DUP1 00001311: EXTCODESIZE 00001312: ISZERO 00001313: DUP1 00001314: ISZERO 00001315: PUSH2 0x131d 00001318: JUMPI 00001319: PUSH1 0x00 0000131b: DUP1 0000131c: REVERT 0000131d: JUMPDEST 0000131e: POP 0000131f: GAS 00001320: CALL 00001321: ISZERO 00001322: DUP1 00001323: ISZERO 00001324: PUSH2 0x1331 00001327: JUMPI 00001328: RETURNDATASIZE 00001329: PUSH1 0x00 0000132b: DUP1 0000132c: RETURNDATACOPY 0000132d: RETURNDATASIZE 0000132e: PUSH1 0x00 00001330: REVERT 00001331: JUMPDEST 00001332: POP 00001333: POP 00001334: POP 00001335: POP 00001336: PUSH1 0x40 00001338: MLOAD 00001339: RETURNDATASIZE 0000133a: PUSH1 0x20 0000133c: DUP2 0000133d: LT 0000133e: ISZERO 0000133f: PUSH2 0x1347 00001342: JUMPI 00001343: PUSH1 0x00 00001345: DUP1 00001346: REVERT 00001347: JUMPDEST 00001348: POP 00001349: POP 0000134a: POP 0000134b: POP 0000134c: POP 0000134d: POP 0000134e: POP 0000134f: POP 00001350: JUMPDEST 00001351: POP 00001352: POP 00001353: POP 00001354: POP 00001355: POP 00001356: POP 00001357: JUMP 00001358: JUMPDEST 00001359: PUSH2 0x1361 0000135c: CALLER 0000135d: PUSH2 0x150f 00001360: JUMP 00001361: JUMPDEST 00001362: ISZERO 00001363: ISZERO 00001364: PUSH2 0x13a5 00001367: JUMPI 00001368: PUSH1 0x40 0000136a: DUP1 0000136b: MLOAD 0000136c: PUSH1 0xe5 0000136e: PUSH1 0x02 00001370: EXP 00001371: PUSH3 0x461bcd 00001375: MUL 00001376: DUP2 00001377: MSTORE 00001378: PUSH1 0x20 0000137a: PUSH1 0x04 0000137c: DUP3 0000137d: ADD 0000137e: MSTORE 0000137f: PUSH1 0x14 00001381: PUSH1 0x24 00001383: DUP3 00001384: ADD 00001385: MSTORE 00001386: PUSH1 0x00 00001388: DUP1 00001389: MLOAD 0000138a: PUSH1 0x20 0000138c: PUSH2 0x1a49 0000138f: DUP4 00001390: CODECOPY 00001391: DUP2 00001392: MLOAD 00001393: SWAP2 00001394: MSTORE 00001395: PUSH1 0x44 00001397: DUP3 00001398: ADD 00001399: MSTORE 0000139a: SWAP1 0000139b: MLOAD 0000139c: SWAP1 0000139d: DUP2 0000139e: SWAP1 0000139f: SUB 000013a0: PUSH1 0x64 000013a2: ADD 000013a3: SWAP1 000013a4: REVERT 000013a5: JUMPDEST 000013a6: PUSH1 0x02 000013a8: DUP1 000013a9: SLOAD 000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bf: NOT 000013c0: AND 000013c1: PUSH1 0x01 000013c3: PUSH1 0xa0 000013c5: PUSH1 0x02 000013c7: EXP 000013c8: SUB 000013c9: SWAP3 000013ca: SWAP1 000013cb: SWAP3 000013cc: AND 000013cd: SWAP2 000013ce: SWAP1 000013cf: SWAP2 000013d0: OR 000013d1: SWAP1 000013d2: SSTORE 000013d3: JUMP 000013d4: JUMPDEST 000013d5: PUSH1 0x00 000013d7: DUP1 000013d8: PUSH1 0x00 000013da: DUP1 000013db: PUSH2 0x13e2 000013de: PUSH2 0x1a1f 000013e1: JUMP 000013e2: JUMPDEST 000013e3: POP 000013e4: POP 000013e5: POP 000013e6: POP 000013e7: PUSH1 0x01 000013e9: PUSH1 0xa0 000013eb: PUSH1 0x02 000013ed: EXP 000013ee: SUB 000013ef: SWAP2 000013f0: SWAP1 000013f1: SWAP2 000013f2: AND 000013f3: PUSH1 0x00 000013f5: SWAP1 000013f6: DUP2 000013f7: MSTORE 000013f8: PUSH1 0x0e 000013fa: PUSH1 0x20 000013fc: SWAP1 000013fd: DUP2 000013fe: MSTORE 000013ff: PUSH1 0x40 00001401: SWAP2 00001402: DUP3 00001403: SWAP1 00001404: KECCAK256 00001405: DUP3 00001406: MLOAD 00001407: PUSH1 0x80 00001409: DUP2 0000140a: ADD 0000140b: DUP5 0000140c: MSTORE 0000140d: DUP2 0000140e: SLOAD 0000140f: DUP1 00001410: DUP3 00001411: MSTORE 00001412: PUSH1 0x01 00001414: DUP4 00001415: ADD 00001416: SLOAD 00001417: SWAP4 00001418: DUP3 00001419: ADD 0000141a: DUP5 0000141b: SWAP1 0000141c: MSTORE 0000141d: PUSH1 0x02 0000141f: DUP4 00001420: ADD 00001421: SLOAD 00001422: SWAP5 00001423: DUP3 00001424: ADD 00001425: DUP6 00001426: SWAP1 00001427: MSTORE 00001428: PUSH1 0x03 0000142a: SWAP1 0000142b: SWAP3 0000142c: ADD 0000142d: SLOAD 0000142e: PUSH1 0x60 00001430: SWAP1 00001431: SWAP2 00001432: ADD 00001433: DUP2 00001434: SWAP1 00001435: MSTORE 00001436: SWAP1 00001437: SWAP5 00001438: SWAP2 00001439: SWAP4 0000143a: POP 0000143b: SWAP1 0000143c: JUMP 0000143d: JUMPDEST 0000143e: PUSH2 0x1446 00001441: CALLER 00001442: PUSH2 0x150f 00001445: JUMP 00001446: JUMPDEST 00001447: ISZERO 00001448: ISZERO 00001449: PUSH2 0x148a 0000144c: JUMPI 0000144d: PUSH1 0x40 0000144f: DUP1 00001450: MLOAD 00001451: PUSH1 0xe5 00001453: PUSH1 0x02 00001455: EXP 00001456: PUSH3 0x461bcd 0000145a: MUL 0000145b: DUP2 0000145c: MSTORE 0000145d: PUSH1 0x20 0000145f: PUSH1 0x04 00001461: DUP3 00001462: ADD 00001463: MSTORE 00001464: PUSH1 0x14 00001466: PUSH1 0x24 00001468: DUP3 00001469: ADD 0000146a: MSTORE 0000146b: PUSH1 0x00 0000146d: DUP1 0000146e: MLOAD 0000146f: PUSH1 0x20 00001471: PUSH2 0x1a49 00001474: DUP4 00001475: CODECOPY 00001476: DUP2 00001477: MLOAD 00001478: SWAP2 00001479: MSTORE 0000147a: PUSH1 0x44 0000147c: DUP3 0000147d: ADD 0000147e: MSTORE 0000147f: SWAP1 00001480: MLOAD 00001481: SWAP1 00001482: DUP2 00001483: SWAP1 00001484: SUB 00001485: PUSH1 0x64 00001487: ADD 00001488: SWAP1 00001489: REVERT 0000148a: JUMPDEST 0000148b: PUSH2 0x070b 0000148e: DUP2 0000148f: PUSH2 0x178f 00001492: JUMP 00001493: JUMPDEST 00001494: PUSH2 0x149c 00001497: CALLER 00001498: PUSH2 0x150f 0000149b: JUMP 0000149c: JUMPDEST 0000149d: ISZERO 0000149e: ISZERO 0000149f: PUSH2 0x14e0 000014a2: JUMPI 000014a3: PUSH1 0x40 000014a5: DUP1 000014a6: MLOAD 000014a7: PUSH1 0xe5 000014a9: PUSH1 0x02 000014ab: EXP 000014ac: PUSH3 0x461bcd 000014b0: MUL 000014b1: DUP2 000014b2: MSTORE 000014b3: PUSH1 0x20 000014b5: PUSH1 0x04 000014b7: DUP3 000014b8: ADD 000014b9: MSTORE 000014ba: PUSH1 0x14 000014bc: PUSH1 0x24 000014be: DUP3 000014bf: ADD 000014c0: MSTORE 000014c1: PUSH1 0x00 000014c3: DUP1 000014c4: MLOAD 000014c5: PUSH1 0x20 000014c7: PUSH2 0x1a49 000014ca: DUP4 000014cb: CODECOPY 000014cc: DUP2 000014cd: MLOAD 000014ce: SWAP2 000014cf: MSTORE 000014d0: PUSH1 0x44 000014d2: DUP3 000014d3: ADD 000014d4: MSTORE 000014d5: SWAP1 000014d6: MLOAD 000014d7: SWAP1 000014d8: DUP2 000014d9: SWAP1 000014da: SUB 000014db: PUSH1 0x64 000014dd: ADD 000014de: SWAP1 000014df: REVERT 000014e0: JUMPDEST 000014e1: PUSH1 0x03 000014e3: DUP1 000014e4: SLOAD 000014e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fa: NOT 000014fb: AND 000014fc: PUSH1 0x01 000014fe: PUSH1 0xa0 00001500: PUSH1 0x02 00001502: EXP 00001503: SUB 00001504: SWAP3 00001505: SWAP1 00001506: SWAP3 00001507: AND 00001508: SWAP2 00001509: SWAP1 0000150a: SWAP2 0000150b: OR 0000150c: SWAP1 0000150d: SSTORE 0000150e: JUMP 0000150f: JUMPDEST 00001510: PUSH1 0x00 00001512: PUSH2 0x1521 00001515: DUP2 00001516: DUP4 00001517: PUSH4 0xffffffff 0000151c: PUSH2 0x17d7 0000151f: AND 00001520: JUMP 00001521: JUMPDEST 00001522: SWAP3 00001523: SWAP2 00001524: POP 00001525: POP 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH2 0x1530 0000152b: CALLER 0000152c: PUSH2 0x178f 0000152f: JUMP 00001530: JUMPDEST 00001531: JUMP 00001532: JUMPDEST 00001533: PUSH2 0x1543 00001536: PUSH1 0x00 00001538: DUP3 00001539: PUSH4 0xffffffff 0000153e: PUSH2 0x1859 00001541: AND 00001542: JUMP 00001543: JUMPDEST 00001544: PUSH1 0x40 00001546: MLOAD 00001547: PUSH1 0x01 00001549: PUSH1 0xa0 0000154b: PUSH1 0x02 0000154d: EXP 0000154e: SUB 0000154f: DUP3 00001550: AND 00001551: SWAP1 00001552: PUSH32 0x3b4a40cccf2058c593542587329dd385be4f0b588db5471fbd9598e56dd7093a 00001573: SWAP1 00001574: PUSH1 0x00 00001576: SWAP1 00001577: LOG2 00001578: POP 00001579: JUMP 0000157a: JUMPDEST 0000157b: PUSH1 0x00 0000157d: DUP3 0000157e: DUP3 0000157f: GT 00001580: ISZERO 00001581: PUSH2 0x15d4 00001584: JUMPI 00001585: PUSH1 0x40 00001587: DUP1 00001588: MLOAD 00001589: PUSH1 0xe5 0000158b: PUSH1 0x02 0000158d: EXP 0000158e: PUSH3 0x461bcd 00001592: MUL 00001593: DUP2 00001594: MSTORE 00001595: PUSH1 0x20 00001597: PUSH1 0x04 00001599: DUP3 0000159a: ADD 0000159b: MSTORE 0000159c: PUSH1 0x14 0000159e: PUSH1 0x24 000015a0: DUP3 000015a1: ADD 000015a2: MSTORE 000015a3: PUSH32 0x536166654d61746820737562206661696c65642e000000000000000000000000 000015c4: PUSH1 0x44 000015c6: DUP3 000015c7: ADD 000015c8: MSTORE 000015c9: SWAP1 000015ca: MLOAD 000015cb: SWAP1 000015cc: DUP2 000015cd: SWAP1 000015ce: SUB 000015cf: PUSH1 0x64 000015d1: ADD 000015d2: SWAP1 000015d3: REVERT 000015d4: JUMPDEST 000015d5: POP 000015d6: SWAP1 000015d7: SUB 000015d8: SWAP1 000015d9: JUMP 000015da: JUMPDEST 000015db: PUSH1 0x00 000015dd: DUP2 000015de: ISZERO 000015df: ISZERO 000015e0: PUSH2 0x1633 000015e3: JUMPI 000015e4: PUSH1 0x40 000015e6: DUP1 000015e7: MLOAD 000015e8: PUSH1 0xe5 000015ea: PUSH1 0x02 000015ec: EXP 000015ed: PUSH3 0x461bcd 000015f1: MUL 000015f2: DUP2 000015f3: MSTORE 000015f4: PUSH1 0x20 000015f6: PUSH1 0x04 000015f8: DUP3 000015f9: ADD 000015fa: MSTORE 000015fb: PUSH1 0x14 000015fd: PUSH1 0x24 000015ff: DUP3 00001600: ADD 00001601: MSTORE 00001602: PUSH32 0x536166654d617468206d6f64206661696c65642e000000000000000000000000 00001623: PUSH1 0x44 00001625: DUP3 00001626: ADD 00001627: MSTORE 00001628: SWAP1 00001629: MLOAD 0000162a: SWAP1 0000162b: DUP2 0000162c: SWAP1 0000162d: SUB 0000162e: PUSH1 0x64 00001630: ADD 00001631: SWAP1 00001632: REVERT 00001633: JUMPDEST 00001634: DUP2 00001635: DUP4 00001636: DUP2 00001637: ISZERO 00001638: ISZERO 00001639: PUSH2 0x163e 0000163c: JUMPI 0000163d: INVALID 0000163e: JUMPDEST 0000163f: MOD 00001640: SWAP4 00001641: SWAP3 00001642: POP 00001643: POP 00001644: POP 00001645: JUMP 00001646: JUMPDEST 00001647: PUSH1 0x00 00001649: DUP3 0000164a: DUP3 0000164b: ADD 0000164c: DUP4 0000164d: DUP2 0000164e: LT 0000164f: ISZERO 00001650: PUSH2 0x16a3 00001653: JUMPI 00001654: PUSH1 0x40 00001656: DUP1 00001657: MLOAD 00001658: PUSH1 0xe5 0000165a: PUSH1 0x02 0000165c: EXP 0000165d: PUSH3 0x461bcd 00001661: MUL 00001662: DUP2 00001663: MSTORE 00001664: PUSH1 0x20 00001666: PUSH1 0x04 00001668: DUP3 00001669: ADD 0000166a: MSTORE 0000166b: PUSH1 0x14 0000166d: PUSH1 0x24 0000166f: DUP3 00001670: ADD 00001671: MSTORE 00001672: PUSH32 0x536166654d61746820616464206661696c65642e000000000000000000000000 00001693: PUSH1 0x44 00001695: DUP3 00001696: ADD 00001697: MSTORE 00001698: SWAP1 00001699: MLOAD 0000169a: SWAP1 0000169b: DUP2 0000169c: SWAP1 0000169d: SUB 0000169e: PUSH1 0x64 000016a0: ADD 000016a1: SWAP1 000016a2: REVERT 000016a3: JUMPDEST 000016a4: SWAP4 000016a5: SWAP3 000016a6: POP 000016a7: POP 000016a8: POP 000016a9: JUMP 000016aa: JUMPDEST 000016ab: PUSH1 0x00 000016ad: DUP3 000016ae: ISZERO 000016af: ISZERO 000016b0: PUSH2 0x16bb 000016b3: JUMPI 000016b4: POP 000016b5: PUSH1 0x00 000016b7: PUSH2 0x1521 000016ba: JUMP 000016bb: JUMPDEST 000016bc: DUP3 000016bd: DUP3 000016be: MUL 000016bf: DUP3 000016c0: DUP5 000016c1: DUP3 000016c2: DUP2 000016c3: ISZERO 000016c4: ISZERO 000016c5: PUSH2 0x16ca 000016c8: JUMPI 000016c9: INVALID 000016ca: JUMPDEST 000016cb: DIV 000016cc: EQ 000016cd: PUSH2 0x16a3 000016d0: JUMPI 000016d1: PUSH1 0x40 000016d3: DUP1 000016d4: MLOAD 000016d5: PUSH1 0xe5 000016d7: PUSH1 0x02 000016d9: EXP 000016da: PUSH3 0x461bcd 000016de: MUL 000016df: DUP2 000016e0: MSTORE 000016e1: PUSH1 0x20 000016e3: PUSH1 0x04 000016e5: DUP3 000016e6: ADD 000016e7: MSTORE 000016e8: PUSH1 0x14 000016ea: PUSH1 0x24 000016ec: DUP3 000016ed: ADD 000016ee: MSTORE 000016ef: PUSH32 0x536166654d617468206d756c206661696c65642e000000000000000000000000 00001710: PUSH1 0x44 00001712: DUP3 00001713: ADD 00001714: MSTORE 00001715: SWAP1 00001716: MLOAD 00001717: SWAP1 00001718: DUP2 00001719: SWAP1 0000171a: SUB 0000171b: PUSH1 0x64 0000171d: ADD 0000171e: SWAP1 0000171f: REVERT 00001720: JUMPDEST 00001721: PUSH1 0x00 00001723: DUP1 00001724: DUP3 00001725: GT 00001726: PUSH2 0x1779 00001729: JUMPI 0000172a: PUSH1 0x40 0000172c: DUP1 0000172d: MLOAD 0000172e: PUSH1 0xe5 00001730: PUSH1 0x02 00001732: EXP 00001733: PUSH3 0x461bcd 00001737: MUL 00001738: DUP2 00001739: MSTORE 0000173a: PUSH1 0x20 0000173c: PUSH1 0x04 0000173e: DUP3 0000173f: ADD 00001740: MSTORE 00001741: PUSH1 0x14 00001743: PUSH1 0x24 00001745: DUP3 00001746: ADD 00001747: MSTORE 00001748: PUSH32 0x536166654d61746820646976206661696c65642e000000000000000000000000 00001769: PUSH1 0x44 0000176b: DUP3 0000176c: ADD 0000176d: MSTORE 0000176e: SWAP1 0000176f: MLOAD 00001770: SWAP1 00001771: DUP2 00001772: SWAP1 00001773: SUB 00001774: PUSH1 0x64 00001776: ADD 00001777: SWAP1 00001778: REVERT 00001779: JUMPDEST 0000177a: PUSH1 0x00 0000177c: DUP3 0000177d: DUP5 0000177e: DUP2 0000177f: ISZERO 00001780: ISZERO 00001781: PUSH2 0x1786 00001784: JUMPI 00001785: INVALID 00001786: JUMPDEST 00001787: DIV 00001788: SWAP5 00001789: SWAP4 0000178a: POP 0000178b: POP 0000178c: POP 0000178d: POP 0000178e: JUMP 0000178f: JUMPDEST 00001790: PUSH2 0x17a0 00001793: PUSH1 0x00 00001795: DUP3 00001796: PUSH4 0xffffffff 0000179b: PUSH2 0x193d 0000179e: AND 0000179f: JUMP 000017a0: JUMPDEST 000017a1: PUSH1 0x40 000017a3: MLOAD 000017a4: PUSH1 0x01 000017a6: PUSH1 0xa0 000017a8: PUSH1 0x02 000017aa: EXP 000017ab: SUB 000017ac: DUP3 000017ad: AND 000017ae: SWAP1 000017af: PUSH32 0xef69f7d97228658c92417be1b16b19058315de71fecb435d07b7d23728b6bd31 000017d0: SWAP1 000017d1: PUSH1 0x00 000017d3: SWAP1 000017d4: LOG2 000017d5: POP 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x00 000017da: PUSH1 0x01 000017dc: PUSH1 0xa0 000017de: PUSH1 0x02 000017e0: EXP 000017e1: SUB 000017e2: DUP3 000017e3: AND 000017e4: ISZERO 000017e5: ISZERO 000017e6: PUSH2 0x1839 000017e9: JUMPI 000017ea: PUSH1 0x40 000017ec: DUP1 000017ed: MLOAD 000017ee: PUSH1 0xe5 000017f0: PUSH1 0x02 000017f2: EXP 000017f3: PUSH3 0x461bcd 000017f7: MUL 000017f8: DUP2 000017f9: MSTORE 000017fa: PUSH1 0x20 000017fc: PUSH1 0x04 000017fe: DUP3 000017ff: ADD 00001800: MSTORE 00001801: PUSH1 0x10 00001803: PUSH1 0x24 00001805: DUP3 00001806: ADD 00001807: MSTORE 00001808: PUSH32 0x496e76616c696420616464726573732e00000000000000000000000000000000 00001829: PUSH1 0x44 0000182b: DUP3 0000182c: ADD 0000182d: MSTORE 0000182e: SWAP1 0000182f: MLOAD 00001830: SWAP1 00001831: DUP2 00001832: SWAP1 00001833: SUB 00001834: PUSH1 0x64 00001836: ADD 00001837: SWAP1 00001838: REVERT 00001839: JUMPDEST 0000183a: POP 0000183b: PUSH1 0x01 0000183d: PUSH1 0xa0 0000183f: PUSH1 0x02 00001841: EXP 00001842: SUB 00001843: AND 00001844: PUSH1 0x00 00001846: SWAP1 00001847: DUP2 00001848: MSTORE 00001849: PUSH1 0x20 0000184b: SWAP2 0000184c: SWAP1 0000184d: SWAP2 0000184e: MSTORE 0000184f: PUSH1 0x40 00001851: SWAP1 00001852: KECCAK256 00001853: SLOAD 00001854: PUSH1 0xff 00001856: AND 00001857: SWAP1 00001858: JUMP 00001859: JUMPDEST 0000185a: PUSH1 0x01 0000185c: PUSH1 0xa0 0000185e: PUSH1 0x02 00001860: EXP 00001861: SUB 00001862: DUP2 00001863: AND 00001864: ISZERO 00001865: ISZERO 00001866: PUSH2 0x18b9 00001869: JUMPI 0000186a: PUSH1 0x40 0000186c: DUP1 0000186d: MLOAD 0000186e: PUSH1 0xe5 00001870: PUSH1 0x02 00001872: EXP 00001873: PUSH3 0x461bcd 00001877: MUL 00001878: DUP2 00001879: MSTORE 0000187a: PUSH1 0x20 0000187c: PUSH1 0x04 0000187e: DUP3 0000187f: ADD 00001880: MSTORE 00001881: PUSH1 0x10 00001883: PUSH1 0x24 00001885: DUP3 00001886: ADD 00001887: MSTORE 00001888: PUSH32 0x496e76616c696420616464726573732e00000000000000000000000000000000 000018a9: PUSH1 0x44 000018ab: DUP3 000018ac: ADD 000018ad: MSTORE 000018ae: SWAP1 000018af: MLOAD 000018b0: SWAP1 000018b1: DUP2 000018b2: SWAP1 000018b3: SUB 000018b4: PUSH1 0x64 000018b6: ADD 000018b7: SWAP1 000018b8: REVERT 000018b9: JUMPDEST 000018ba: PUSH2 0x18c3 000018bd: DUP3 000018be: DUP3 000018bf: PUSH2 0x17d7 000018c2: JUMP 000018c3: JUMPDEST 000018c4: ISZERO 000018c5: PUSH2 0x1918 000018c8: JUMPI 000018c9: PUSH1 0x40 000018cb: DUP1 000018cc: MLOAD 000018cd: PUSH1 0xe5 000018cf: PUSH1 0x02 000018d1: EXP 000018d2: PUSH3 0x461bcd 000018d6: MUL 000018d7: DUP2 000018d8: MSTORE 000018d9: PUSH1 0x20 000018db: PUSH1 0x04 000018dd: DUP3 000018de: ADD 000018df: MSTORE 000018e0: PUSH1 0x17 000018e2: PUSH1 0x24 000018e4: DUP3 000018e5: ADD 000018e6: MSTORE 000018e7: PUSH32 0x54686520726f6c6520616c72656164792065786973742e000000000000000000 00001908: PUSH1 0x44 0000190a: DUP3 0000190b: ADD 0000190c: MSTORE 0000190d: SWAP1 0000190e: MLOAD 0000190f: SWAP1 00001910: DUP2 00001911: SWAP1 00001912: SUB 00001913: PUSH1 0x64 00001915: ADD 00001916: SWAP1 00001917: REVERT 00001918: JUMPDEST 00001919: PUSH1 0x01 0000191b: PUSH1 0xa0 0000191d: PUSH1 0x02 0000191f: EXP 00001920: SUB 00001921: AND 00001922: PUSH1 0x00 00001924: SWAP1 00001925: DUP2 00001926: MSTORE 00001927: PUSH1 0x20 00001929: SWAP2 0000192a: SWAP1 0000192b: SWAP2 0000192c: MSTORE 0000192d: PUSH1 0x40 0000192f: SWAP1 00001930: KECCAK256 00001931: DUP1 00001932: SLOAD 00001933: PUSH1 0xff 00001935: NOT 00001936: AND 00001937: PUSH1 0x01 00001939: OR 0000193a: SWAP1 0000193b: SSTORE 0000193c: JUMP 0000193d: JUMPDEST 0000193e: PUSH1 0x01 00001940: PUSH1 0xa0 00001942: PUSH1 0x02 00001944: EXP 00001945: SUB 00001946: DUP2 00001947: AND 00001948: ISZERO 00001949: ISZERO 0000194a: PUSH2 0x199d 0000194d: JUMPI 0000194e: PUSH1 0x40 00001950: DUP1 00001951: MLOAD 00001952: PUSH1 0xe5 00001954: PUSH1 0x02 00001956: EXP 00001957: PUSH3 0x461bcd 0000195b: MUL 0000195c: DUP2 0000195d: MSTORE 0000195e: PUSH1 0x20 00001960: PUSH1 0x04 00001962: DUP3 00001963: ADD 00001964: MSTORE 00001965: PUSH1 0x10 00001967: PUSH1 0x24 00001969: DUP3 0000196a: ADD 0000196b: MSTORE 0000196c: PUSH32 0x496e76616c696420616464726573732e00000000000000000000000000000000 0000198d: PUSH1 0x44 0000198f: DUP3 00001990: ADD 00001991: MSTORE 00001992: SWAP1 00001993: MLOAD 00001994: SWAP1 00001995: DUP2 00001996: SWAP1 00001997: SUB 00001998: PUSH1 0x64 0000199a: ADD 0000199b: SWAP1 0000199c: REVERT 0000199d: JUMPDEST 0000199e: PUSH2 0x19a7 000019a1: DUP3 000019a2: DUP3 000019a3: PUSH2 0x17d7 000019a6: JUMP 000019a7: JUMPDEST 000019a8: ISZERO 000019a9: ISZERO 000019aa: PUSH2 0x19fd 000019ad: JUMPI 000019ae: PUSH1 0x40 000019b0: DUP1 000019b1: MLOAD 000019b2: PUSH1 0xe5 000019b4: PUSH1 0x02 000019b6: EXP 000019b7: PUSH3 0x461bcd 000019bb: MUL 000019bc: DUP2 000019bd: MSTORE 000019be: PUSH1 0x20 000019c0: PUSH1 0x04 000019c2: DUP3 000019c3: ADD 000019c4: MSTORE 000019c5: PUSH1 0x18 000019c7: PUSH1 0x24 000019c9: DUP3 000019ca: ADD 000019cb: MSTORE 000019cc: PUSH32 0x54686520726f6c6520646f6573206e6f742065786973742e0000000000000000 000019ed: PUSH1 0x44 000019ef: DUP3 000019f0: ADD 000019f1: MSTORE 000019f2: SWAP1 000019f3: MLOAD 000019f4: SWAP1 000019f5: DUP2 000019f6: SWAP1 000019f7: SUB 000019f8: PUSH1 0x64 000019fa: ADD 000019fb: SWAP1 000019fc: REVERT 000019fd: JUMPDEST 000019fe: PUSH1 0x01 00001a00: PUSH1 0xa0 00001a02: PUSH1 0x02 00001a04: EXP 00001a05: SUB 00001a06: AND 00001a07: PUSH1 0x00 00001a09: SWAP1 00001a0a: DUP2 00001a0b: MSTORE 00001a0c: PUSH1 0x20 00001a0e: SWAP2 00001a0f: SWAP1 00001a10: SWAP2 00001a11: MSTORE 00001a12: PUSH1 0x40 00001a14: SWAP1 00001a15: KECCAK256 00001a16: DUP1 00001a17: SLOAD 00001a18: PUSH1 0xff 00001a1a: NOT 00001a1b: AND 00001a1c: SWAP1 00001a1d: SSTORE 00001a1e: JUMP 00001a1f: JUMPDEST 00001a20: PUSH1 0x80 00001a22: PUSH1 0x40 00001a24: MLOAD 00001a25: SWAP1 00001a26: DUP2 00001a27: ADD 00001a28: PUSH1 0x40 00001a2a: MSTORE 00001a2b: DUP1 00001a2c: PUSH1 0x00 00001a2e: DUP2 00001a2f: MSTORE 00001a30: PUSH1 0x20 00001a32: ADD 00001a33: PUSH1 0x00 00001a35: DUP2 00001a36: MSTORE 00001a37: PUSH1 0x20 00001a39: ADD 00001a3a: PUSH1 0x00 00001a3c: DUP2 00001a3d: MSTORE 00001a3e: PUSH1 0x20 00001a40: ADD 00001a41: PUSH1 0x00 00001a43: DUP2 00001a44: MSTORE 00001a45: POP 00001a46: SWAP1 00001a47: JUMP 00001a48: INVALID 00001a49: MSIZE 00001a4a: PUSH16 0x7520617265206e6f74206d616e616765 00001a5b: PUSH19 0x2e000000000000000000000000a165627a7a72 00001a6f: ADDRESS 00001a70: PC 00001a71: KECCAK256 00001a72: UNKNOWN(0xDE) 00001a73: EXTCODESIZE 00001a74: UNKNOWN(0xE1) 00001a75: UNKNOWN(0x4E) 00001a76: UNKNOWN(0x0D) 00001a77: SELFBALANCE 00001a78: UNKNOWN(0xEE) 00001a79: MCOPY 00001a7a: DIV 00001a7b: UNKNOWN(0xB3) 00001a7c: DUP3 00001a7d: UNKNOWN(0x0F) 00001a7e: SWAP3 00001a7f: EXTCODECOPY 00001a80: UNKNOWN(0x4E) 00001a81: PUSH21
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xbb90fecb77c3bd7a75875dcb63dd29903ac7646a8bce71b5e0dd55853e8f1308
call_targets:
0x78a4ed126ba28a7a997d86cc8e16136164796bbc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb90fecb77c3bd7a75875dcb63dd29903ac7646a8bce71b5e0dd55853e8f1308",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x78a4ed126ba28a7a997d86cc8e16136164796bbc"
],
"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": "0x010035af",
"selector": "0x010035af",
"calldata_variants": [
"0x010035af",
"0x010035af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10db299e",
"selector": "0x10db299e",
"calldata_variants": [
"0x10db299e",
"0x10db299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2909f638",
"selector": "0x2909f638",
"calldata_variants": [
"0x2909f638",
"0x2909f6380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d06177a",
"selector": "0x2d06177a",
"calldata_variants": [
"0x2d06177a",
"0x2d06177a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b8d7c15",
"selector": "0x3b8d7c15",
"calldata_variants": [
"0x3b8d7c15",
"0x3b8d7c150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2752,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3588,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xbb90fecb77c3bd7a75875dcb63dd29903ac7646a8bce71b5e0dd55853e8f1308
call_targets:
0x78a4ed126ba28a7a997d86cc8e16136164796bbc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb90fecb77c3bd7a75875dcb63dd29903ac7646a8bce71b5e0dd55853e8f1308",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x78a4ed126ba28a7a997d86cc8e16136164796bbc"
],
"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": "0x010035af",
"selector": "0x010035af",
"calldata_variants": [
"0x010035af",
"0x010035af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10db299e",
"selector": "0x10db299e",
"calldata_variants": [
"0x10db299e",
"0x10db299e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2909f638",
"selector": "0x2909f638",
"calldata_variants": [
"0x2909f638",
"0x2909f6380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d06177a",
"selector": "0x2d06177a",
"calldata_variants": [
"0x2d06177a",
"0x2d06177a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b8d7c15",
"selector": "0x3b8d7c15",
"calldata_variants": [
"0x3b8d7c15",
"0x3b8d7c150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2752,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3588,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 11
}
|