019b477e-bcc8-70f3-8e1c-a064fab5b89f
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 |
|---|---|---|---|---|
| 24131 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24132 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67434 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67435 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67436 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67437 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0139 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x75619ab5 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdd62ed3e 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdd62ed3e 0000002f: EQ 00000030: PUSH2 0x0479 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe9503425 0000003a: EQ 0000003b: PUSH2 0x04b4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf3fef3a3 00000045: EQ 00000046: PUSH2 0x04e7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf5fc5076 00000050: EQ 00000051: PUSH2 0x0520 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf9b7a2c0 0000005b: EQ 0000005c: PUSH2 0x0535 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfc0c546a 00000066: EQ 00000067: PUSH2 0x056e 0000006a: JUMPI 0000006b: PUSH2 0x0140 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x75619ab5 00000076: EQ 00000077: PUSH2 0x03e9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x95d89b41 00000081: EQ 00000082: PUSH2 0x041c 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa9059cbb 0000008c: EQ 0000008d: PUSH2 0x01cf 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xbfe10928 00000097: EQ 00000098: PUSH2 0x0431 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xcfad57a2 000000a2: EQ 000000a3: PUSH2 0x0446 000000a6: JUMPI 000000a7: PUSH2 0x0140 000000aa: JUMP 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x23b872dd 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x23b872dd 000000bd: EQ 000000be: PUSH2 0x02a9 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x27e235e3 000000c8: EQ 000000c9: PUSH2 0x02ec 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x313ce567 000000d3: EQ 000000d4: PUSH2 0x031f 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x44a08411 000000de: EQ 000000df: PUSH2 0x034a 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x6e553f65 000000e9: EQ 000000ea: PUSH2 0x037d 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x70a08231 000000f4: EQ 000000f5: PUSH2 0x03b6 000000f8: JUMPI 000000f9: PUSH2 0x0140 000000fc: JUMP 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x06fdde03 00000104: EQ 00000105: PUSH2 0x0145 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x095ea7b3 0000010f: EQ 00000110: PUSH2 0x01cf 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x12d43a51 0000011a: EQ 0000011b: PUSH2 0x021c 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x18160ddd 00000125: EQ 00000126: PUSH2 0x024d 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x1e83409a 00000130: EQ 00000131: PUSH2 0x0274 00000134: JUMPI 00000135: PUSH2 0x0140 00000138: JUMP 00000139: JUMPDEST 0000013a: CALLDATASIZE 0000013b: PUSH2 0x0140 0000013e: JUMPI 0000013f: STOP 00000140: JUMPDEST 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x015a 00000156: PUSH2 0x0583 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x40 0000015d: DUP1 0000015e: MLOAD 0000015f: PUSH1 0x20 00000161: DUP1 00000162: DUP3 00000163: MSTORE 00000164: DUP4 00000165: MLOAD 00000166: DUP2 00000167: DUP4 00000168: ADD 00000169: MSTORE 0000016a: DUP4 0000016b: MLOAD 0000016c: SWAP2 0000016d: SWAP3 0000016e: DUP4 0000016f: SWAP3 00000170: SWAP1 00000171: DUP4 00000172: ADD 00000173: SWAP2 00000174: DUP6 00000175: ADD 00000176: SWAP1 00000177: DUP1 00000178: DUP4 00000179: DUP4 0000017a: PUSH1 0x00 0000017c: JUMPDEST 0000017d: DUP4 0000017e: DUP2 0000017f: LT 00000180: ISZERO 00000181: PUSH2 0x0194 00000184: JUMPI 00000185: DUP2 00000186: DUP2 00000187: ADD 00000188: MLOAD 00000189: DUP4 0000018a: DUP3 0000018b: ADD 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: ADD 00000190: PUSH2 0x017c 00000193: JUMP 00000194: JUMPDEST 00000195: POP 00000196: POP 00000197: POP 00000198: POP 00000199: SWAP1 0000019a: POP 0000019b: SWAP1 0000019c: DUP2 0000019d: ADD 0000019e: SWAP1 0000019f: PUSH1 0x1f 000001a1: AND 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01c1 000001a7: JUMPI 000001a8: DUP1 000001a9: DUP3 000001aa: SUB 000001ab: DUP1 000001ac: MLOAD 000001ad: PUSH1 0x01 000001af: DUP4 000001b0: PUSH1 0x20 000001b2: SUB 000001b3: PUSH2 0x0100 000001b6: EXP 000001b7: SUB 000001b8: NOT 000001b9: AND 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x20 000001be: ADD 000001bf: SWAP2 000001c0: POP 000001c1: JUMPDEST 000001c2: POP 000001c3: SWAP3 000001c4: POP 000001c5: POP 000001c6: POP 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x0208 000001e0: PUSH1 0x04 000001e2: DUP1 000001e3: CALLDATASIZE 000001e4: SUB 000001e5: PUSH1 0x40 000001e7: DUP2 000001e8: LT 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH1 0x01 000001f6: PUSH1 0x01 000001f8: PUSH1 0xa0 000001fa: SHL 000001fb: SUB 000001fc: DUP2 000001fd: CALLDATALOAD 000001fe: AND 000001ff: SWAP1 00000200: PUSH1 0x20 00000202: ADD 00000203: CALLDATALOAD 00000204: PUSH2 0x05ac 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH1 0x40 0000020b: DUP1 0000020c: MLOAD 0000020d: SWAP2 0000020e: ISZERO 0000020f: ISZERO 00000210: DUP3 00000211: MSTORE 00000212: MLOAD 00000213: SWAP1 00000214: DUP2 00000215: SWAP1 00000216: SUB 00000217: PUSH1 0x20 00000219: ADD 0000021a: SWAP1 0000021b: RETURN 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 0x0231 0000022d: PUSH2 0x05fb 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: DUP1 00000235: MLOAD 00000236: PUSH1 0x01 00000238: PUSH1 0x01 0000023a: PUSH1 0xa0 0000023c: SHL 0000023d: SUB 0000023e: SWAP1 0000023f: SWAP3 00000240: AND 00000241: DUP3 00000242: MSTORE 00000243: MLOAD 00000244: SWAP1 00000245: DUP2 00000246: SWAP1 00000247: SUB 00000248: PUSH1 0x20 0000024a: ADD 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x0262 0000025e: PUSH2 0x060a 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x40 00000265: DUP1 00000266: MLOAD 00000267: SWAP2 00000268: DUP3 00000269: MSTORE 0000026a: MLOAD 0000026b: SWAP1 0000026c: DUP2 0000026d: SWAP1 0000026e: SUB 0000026f: PUSH1 0x20 00000271: ADD 00000272: SWAP1 00000273: RETURN 00000274: JUMPDEST 00000275: CALLVALUE 00000276: DUP1 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: POP 00000282: PUSH2 0x02a7 00000285: PUSH1 0x04 00000287: DUP1 00000288: CALLDATASIZE 00000289: SUB 0000028a: PUSH1 0x20 0000028c: DUP2 0000028d: LT 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: CALLDATALOAD 0000029a: PUSH1 0x01 0000029c: PUSH1 0x01 0000029e: PUSH1 0xa0 000002a0: SHL 000002a1: SUB 000002a2: AND 000002a3: PUSH2 0x0610 000002a6: JUMP 000002a7: JUMPDEST 000002a8: STOP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: DUP1 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x0208 000002ba: PUSH1 0x04 000002bc: DUP1 000002bd: CALLDATASIZE 000002be: SUB 000002bf: PUSH1 0x60 000002c1: DUP2 000002c2: LT 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH1 0x01 000002d0: PUSH1 0x01 000002d2: PUSH1 0xa0 000002d4: SHL 000002d5: SUB 000002d6: DUP2 000002d7: CALLDATALOAD 000002d8: DUP2 000002d9: AND 000002da: SWAP2 000002db: PUSH1 0x20 000002dd: DUP2 000002de: ADD 000002df: CALLDATALOAD 000002e0: SWAP1 000002e1: SWAP2 000002e2: AND 000002e3: SWAP1 000002e4: PUSH1 0x40 000002e6: ADD 000002e7: CALLDATALOAD 000002e8: PUSH2 0x05ac 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x0262 000002fd: PUSH1 0x04 000002ff: DUP1 00000300: CALLDATASIZE 00000301: SUB 00000302: PUSH1 0x20 00000304: DUP2 00000305: LT 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: CALLDATALOAD 00000312: PUSH1 0x01 00000314: PUSH1 0x01 00000316: PUSH1 0xa0 00000318: SHL 00000319: SUB 0000031a: AND 0000031b: PUSH2 0x076a 0000031e: JUMP 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x032b 00000326: JUMPI 00000327: PUSH1 0x00 00000329: DUP1 0000032a: REVERT 0000032b: JUMPDEST 0000032c: POP 0000032d: PUSH2 0x0334 00000330: PUSH2 0x077c 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH1 0x40 00000337: DUP1 00000338: MLOAD 00000339: PUSH1 0xff 0000033b: SWAP1 0000033c: SWAP3 0000033d: AND 0000033e: DUP3 0000033f: MSTORE 00000340: MLOAD 00000341: SWAP1 00000342: DUP2 00000343: SWAP1 00000344: SUB 00000345: PUSH1 0x20 00000347: ADD 00000348: SWAP1 00000349: RETURN 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x0262 0000035b: PUSH1 0x04 0000035d: DUP1 0000035e: CALLDATASIZE 0000035f: SUB 00000360: PUSH1 0x20 00000362: DUP2 00000363: LT 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: CALLDATALOAD 00000370: PUSH1 0x01 00000372: PUSH1 0x01 00000374: PUSH1 0xa0 00000376: SHL 00000377: SUB 00000378: AND 00000379: PUSH2 0x0781 0000037c: JUMP 0000037d: JUMPDEST 0000037e: CALLVALUE 0000037f: DUP1 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH2 0x02a7 0000038e: PUSH1 0x04 00000390: DUP1 00000391: CALLDATASIZE 00000392: SUB 00000393: PUSH1 0x40 00000395: DUP2 00000396: LT 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: POP 000003a2: DUP1 000003a3: CALLDATALOAD 000003a4: SWAP1 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: CALLDATALOAD 000003a9: PUSH1 0x01 000003ab: PUSH1 0x01 000003ad: PUSH1 0xa0 000003af: SHL 000003b0: SUB 000003b1: AND 000003b2: PUSH2 0x0793 000003b5: JUMP 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x0262 000003c7: PUSH1 0x04 000003c9: DUP1 000003ca: CALLDATASIZE 000003cb: SUB 000003cc: PUSH1 0x20 000003ce: DUP2 000003cf: LT 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: POP 000003db: CALLDATALOAD 000003dc: PUSH1 0x01 000003de: PUSH1 0x01 000003e0: PUSH1 0xa0 000003e2: SHL 000003e3: SUB 000003e4: AND 000003e5: PUSH2 0x0997 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x02a7 000003fa: PUSH1 0x04 000003fc: DUP1 000003fd: CALLDATASIZE 000003fe: SUB 000003ff: PUSH1 0x20 00000401: DUP2 00000402: LT 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: POP 0000040e: CALLDATALOAD 0000040f: PUSH1 0x01 00000411: PUSH1 0x01 00000413: PUSH1 0xa0 00000415: SHL 00000416: SUB 00000417: AND 00000418: PUSH2 0x09b2 0000041b: JUMP 0000041c: JUMPDEST 0000041d: CALLVALUE 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x0428 00000423: JUMPI 00000424: PUSH1 0x00 00000426: DUP1 00000427: REVERT 00000428: JUMPDEST 00000429: POP 0000042a: PUSH2 0x015a 0000042d: PUSH2 0x0a25 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: DUP1 00000434: ISZERO 00000435: PUSH2 0x043d 00000438: JUMPI 00000439: PUSH1 0x00 0000043b: DUP1 0000043c: REVERT 0000043d: JUMPDEST 0000043e: POP 0000043f: PUSH2 0x0231 00000442: PUSH2 0x0a49 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x02a7 00000457: PUSH1 0x04 00000459: DUP1 0000045a: CALLDATASIZE 0000045b: SUB 0000045c: PUSH1 0x20 0000045e: DUP2 0000045f: LT 00000460: ISZERO 00000461: PUSH2 0x0469 00000464: JUMPI 00000465: PUSH1 0x00 00000467: DUP1 00000468: REVERT 00000469: JUMPDEST 0000046a: POP 0000046b: CALLDATALOAD 0000046c: PUSH1 0x01 0000046e: PUSH1 0x01 00000470: PUSH1 0xa0 00000472: SHL 00000473: SUB 00000474: AND 00000475: PUSH2 0x0a58 00000478: JUMP 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: POP 00000487: PUSH2 0x0262 0000048a: PUSH1 0x04 0000048c: DUP1 0000048d: CALLDATASIZE 0000048e: SUB 0000048f: PUSH1 0x40 00000491: DUP2 00000492: LT 00000493: ISZERO 00000494: PUSH2 0x049c 00000497: JUMPI 00000498: PUSH1 0x00 0000049a: DUP1 0000049b: REVERT 0000049c: JUMPDEST 0000049d: POP 0000049e: PUSH1 0x01 000004a0: PUSH1 0x01 000004a2: PUSH1 0xa0 000004a4: SHL 000004a5: SUB 000004a6: DUP2 000004a7: CALLDATALOAD 000004a8: DUP2 000004a9: AND 000004aa: SWAP2 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: CALLDATALOAD 000004af: AND 000004b0: PUSH2 0x0afd 000004b3: JUMP 000004b4: JUMPDEST 000004b5: CALLVALUE 000004b6: DUP1 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: POP 000004c2: PUSH2 0x0262 000004c5: PUSH1 0x04 000004c7: DUP1 000004c8: CALLDATASIZE 000004c9: SUB 000004ca: PUSH1 0x20 000004cc: DUP2 000004cd: LT 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: CALLDATALOAD 000004da: PUSH1 0x01 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: SHL 000004e1: SUB 000004e2: AND 000004e3: PUSH2 0x0b06 000004e6: JUMP 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH2 0x02a7 000004f8: PUSH1 0x04 000004fa: DUP1 000004fb: CALLDATASIZE 000004fc: SUB 000004fd: PUSH1 0x40 000004ff: DUP2 00000500: LT 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: POP 0000050c: PUSH1 0x01 0000050e: PUSH1 0x01 00000510: PUSH1 0xa0 00000512: SHL 00000513: SUB 00000514: DUP2 00000515: CALLDATALOAD 00000516: AND 00000517: SWAP1 00000518: PUSH1 0x20 0000051a: ADD 0000051b: CALLDATALOAD 0000051c: PUSH2 0x0b18 0000051f: JUMP 00000520: JUMPDEST 00000521: CALLVALUE 00000522: DUP1 00000523: ISZERO 00000524: PUSH2 0x052c 00000527: JUMPI 00000528: PUSH1 0x00 0000052a: DUP1 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: PUSH2 0x0262 00000531: PUSH2 0x0bd2 00000534: JUMP 00000535: JUMPDEST 00000536: CALLVALUE 00000537: DUP1 00000538: ISZERO 00000539: PUSH2 0x0541 0000053c: JUMPI 0000053d: PUSH1 0x00 0000053f: DUP1 00000540: REVERT 00000541: JUMPDEST 00000542: POP 00000543: PUSH2 0x02a7 00000546: PUSH1 0x04 00000548: DUP1 00000549: CALLDATASIZE 0000054a: SUB 0000054b: PUSH1 0x40 0000054d: DUP2 0000054e: LT 0000054f: ISZERO 00000550: PUSH2 0x0558 00000553: JUMPI 00000554: PUSH1 0x00 00000556: DUP1 00000557: REVERT 00000558: JUMPDEST 00000559: POP 0000055a: PUSH1 0x01 0000055c: PUSH1 0x01 0000055e: PUSH1 0xa0 00000560: SHL 00000561: SUB 00000562: DUP2 00000563: CALLDATALOAD 00000564: AND 00000565: SWAP1 00000566: PUSH1 0x20 00000568: ADD 00000569: CALLDATALOAD 0000056a: PUSH2 0x0bd8 0000056d: JUMP 0000056e: JUMPDEST 0000056f: CALLVALUE 00000570: DUP1 00000571: ISZERO 00000572: PUSH2 0x057a 00000575: JUMPI 00000576: PUSH1 0x00 00000578: DUP1 00000579: REVERT 0000057a: JUMPDEST 0000057b: POP 0000057c: PUSH2 0x0231 0000057f: PUSH2 0x0c7d 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x40 00000586: MLOAD 00000587: DUP1 00000588: PUSH1 0x40 0000058a: ADD 0000058b: PUSH1 0x40 0000058d: MSTORE 0000058e: DUP1 0000058f: PUSH1 0x0d 00000591: DUP2 00000592: MSTORE 00000593: PUSH1 0x20 00000595: ADD 00000596: PUSH13 0x5856495820554e49204661726d 000005a4: PUSH1 0x98 000005a6: SHL 000005a7: DUP2 000005a8: MSTORE 000005a9: POP 000005aa: DUP2 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x40 000005af: DUP1 000005b0: MLOAD 000005b1: PUSH3 0x461bcd 000005b5: PUSH1 0xe5 000005b7: SHL 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: PUSH1 0x04 000005be: DUP3 000005bf: ADD 000005c0: MSTORE 000005c1: PUSH1 0x17 000005c3: PUSH1 0x24 000005c5: DUP3 000005c6: ADD 000005c7: MSTORE 000005c8: PUSH32 0x4661726d3a206e6f6e2d7472616e736665727261626c65000000000000000000 000005e9: PUSH1 0x44 000005eb: DUP3 000005ec: ADD 000005ed: MSTORE 000005ee: SWAP1 000005ef: MLOAD 000005f0: PUSH1 0x00 000005f2: SWAP2 000005f3: DUP2 000005f4: SWAP1 000005f5: SUB 000005f6: PUSH1 0x64 000005f8: ADD 000005f9: SWAP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: PUSH1 0x02 000005fe: SLOAD 000005ff: PUSH1 0x01 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: SHL 00000606: SUB 00000607: AND 00000608: DUP2 00000609: JUMP 0000060a: JUMPDEST 0000060b: PUSH1 0x04 0000060d: SLOAD 0000060e: DUP2 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x02 00000613: PUSH1 0x00 00000615: SLOAD 00000616: EQ 00000617: ISZERO 00000618: PUSH2 0x0656 0000061b: JUMPI 0000061c: PUSH1 0x40 0000061e: DUP1 0000061f: MLOAD 00000620: PUSH3 0x461bcd 00000624: PUSH1 0xe5 00000626: SHL 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x20 0000062b: PUSH1 0x04 0000062d: DUP3 0000062e: ADD 0000062f: MSTORE 00000630: PUSH1 0x1f 00000632: PUSH1 0x24 00000634: DUP3 00000635: ADD 00000636: MSTORE 00000637: PUSH1 0x00 00000639: DUP1 0000063a: MLOAD 0000063b: PUSH1 0x20 0000063d: PUSH2 0x1233 00000640: DUP4 00000641: CODECOPY 00000642: DUP2 00000643: MLOAD 00000644: SWAP2 00000645: MSTORE 00000646: PUSH1 0x44 00000648: DUP3 00000649: ADD 0000064a: MSTORE 0000064b: SWAP1 0000064c: MLOAD 0000064d: SWAP1 0000064e: DUP2 0000064f: SWAP1 00000650: SUB 00000651: PUSH1 0x64 00000653: ADD 00000654: SWAP1 00000655: REVERT 00000656: JUMPDEST 00000657: PUSH1 0x02 00000659: PUSH1 0x00 0000065b: SSTORE 0000065c: CALLER 0000065d: PUSH2 0x0667 00000660: DUP2 00000661: PUSH1 0x01 00000663: PUSH2 0x0c8c 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x01 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: SHL 0000066f: SUB 00000670: DUP1 00000671: DUP3 00000672: AND 00000673: PUSH1 0x00 00000675: SWAP1 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x07 0000067a: PUSH1 0x20 0000067c: MSTORE 0000067d: PUSH1 0x40 0000067f: DUP1 00000680: DUP3 00000681: KECCAK256 00000682: DUP1 00000683: SLOAD 00000684: SWAP1 00000685: DUP4 00000686: SWAP1 00000687: SSTORE 00000688: SWAP1 00000689: MLOAD 0000068a: SWAP1 0000068b: SWAP3 0000068c: DUP6 0000068d: AND 0000068e: SWAP1 0000068f: DUP4 00000690: SWAP1 00000691: DUP4 00000692: DUP2 00000693: DUP2 00000694: DUP2 00000695: DUP6 00000696: DUP8 00000697: GAS 00000698: CALL 00000699: SWAP3 0000069a: POP 0000069b: POP 0000069c: POP 0000069d: RETURNDATASIZE 0000069e: DUP1 0000069f: PUSH1 0x00 000006a1: DUP2 000006a2: EQ 000006a3: PUSH2 0x06c8 000006a6: JUMPI 000006a7: PUSH1 0x40 000006a9: MLOAD 000006aa: SWAP2 000006ab: POP 000006ac: PUSH1 0x1f 000006ae: NOT 000006af: PUSH1 0x3f 000006b1: RETURNDATASIZE 000006b2: ADD 000006b3: AND 000006b4: DUP3 000006b5: ADD 000006b6: PUSH1 0x40 000006b8: MSTORE 000006b9: RETURNDATASIZE 000006ba: DUP3 000006bb: MSTORE 000006bc: RETURNDATASIZE 000006bd: PUSH1 0x00 000006bf: PUSH1 0x20 000006c1: DUP5 000006c2: ADD 000006c3: RETURNDATACOPY 000006c4: PUSH2 0x06cd 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH1 0x60 000006cb: SWAP2 000006cc: POP 000006cd: JUMPDEST 000006ce: POP 000006cf: POP 000006d0: SWAP1 000006d1: POP 000006d2: DUP1 000006d3: PUSH2 0x071b 000006d6: JUMPI 000006d7: PUSH1 0x40 000006d9: DUP1 000006da: MLOAD 000006db: PUSH3 0x461bcd 000006df: PUSH1 0xe5 000006e1: SHL 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: PUSH1 0x04 000006e8: DUP3 000006e9: ADD 000006ea: MSTORE 000006eb: PUSH1 0x15 000006ed: PUSH1 0x24 000006ef: DUP3 000006f0: ADD 000006f1: MSTORE 000006f2: PUSH21 0x11985c9b4e881d1c985b9cd9995c8819985a5b1959 00000708: PUSH1 0x5a 0000070a: SHL 0000070b: PUSH1 0x44 0000070d: DUP3 0000070e: ADD 0000070f: MSTORE 00000710: SWAP1 00000711: MLOAD 00000712: SWAP1 00000713: DUP2 00000714: SWAP1 00000715: SUB 00000716: PUSH1 0x64 00000718: ADD 00000719: SWAP1 0000071a: REVERT 0000071b: JUMPDEST 0000071c: PUSH1 0x40 0000071e: DUP1 0000071f: MLOAD 00000720: PUSH1 0x01 00000722: PUSH1 0x01 00000724: PUSH1 0xa0 00000726: SHL 00000727: SUB 00000728: DUP7 00000729: AND 0000072a: DUP2 0000072b: MSTORE 0000072c: PUSH1 0x20 0000072e: DUP2 0000072f: ADD 00000730: DUP5 00000731: SWAP1 00000732: MSTORE 00000733: DUP2 00000734: MLOAD 00000735: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 00000756: SWAP3 00000757: SWAP2 00000758: DUP2 00000759: SWAP1 0000075a: SUB 0000075b: SWAP1 0000075c: SWAP2 0000075d: ADD 0000075e: SWAP1 0000075f: LOG1 00000760: POP 00000761: POP 00000762: PUSH1 0x01 00000764: PUSH1 0x00 00000766: SSTORE 00000767: POP 00000768: POP 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH1 0x05 0000076d: PUSH1 0x20 0000076f: MSTORE 00000770: PUSH1 0x00 00000772: SWAP1 00000773: DUP2 00000774: MSTORE 00000775: PUSH1 0x40 00000777: SWAP1 00000778: KECCAK256 00000779: SLOAD 0000077a: DUP2 0000077b: JUMP 0000077c: JUMPDEST 0000077d: PUSH1 0x12 0000077f: DUP2 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x08 00000784: PUSH1 0x20 00000786: MSTORE 00000787: PUSH1 0x00 00000789: SWAP1 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x40 0000078e: SWAP1 0000078f: KECCAK256 00000790: SLOAD 00000791: DUP2 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x02 00000796: PUSH1 0x00 00000798: SLOAD 00000799: EQ 0000079a: ISZERO 0000079b: PUSH2 0x07d9 0000079e: JUMPI 0000079f: PUSH1 0x40 000007a1: DUP1 000007a2: MLOAD 000007a3: PUSH3 0x461bcd 000007a7: PUSH1 0xe5 000007a9: SHL 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x20 000007ae: PUSH1 0x04 000007b0: DUP3 000007b1: ADD 000007b2: MSTORE 000007b3: PUSH1 0x1f 000007b5: PUSH1 0x24 000007b7: DUP3 000007b8: ADD 000007b9: MSTORE 000007ba: PUSH1 0x00 000007bc: DUP1 000007bd: MLOAD 000007be: PUSH1 0x20 000007c0: PUSH2 0x1233 000007c3: DUP4 000007c4: CODECOPY 000007c5: DUP2 000007c6: MLOAD 000007c7: SWAP2 000007c8: MSTORE 000007c9: PUSH1 0x44 000007cb: DUP3 000007cc: ADD 000007cd: MSTORE 000007ce: SWAP1 000007cf: MLOAD 000007d0: SWAP1 000007d1: DUP2 000007d2: SWAP1 000007d3: SUB 000007d4: PUSH1 0x64 000007d6: ADD 000007d7: SWAP1 000007d8: REVERT 000007d9: JUMPDEST 000007da: PUSH1 0x02 000007dc: PUSH1 0x00 000007de: SSTORE 000007df: DUP2 000007e0: PUSH2 0x082c 000007e3: JUMPI 000007e4: PUSH1 0x40 000007e6: DUP1 000007e7: MLOAD 000007e8: PUSH3 0x461bcd 000007ec: PUSH1 0xe5 000007ee: SHL 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: PUSH1 0x04 000007f5: DUP3 000007f6: ADD 000007f7: MSTORE 000007f8: PUSH1 0x19 000007fa: PUSH1 0x24 000007fc: DUP3 000007fd: ADD 000007fe: MSTORE 000007ff: PUSH25 0x11985c9b4e881a5b9cdd59999a58da595b9d08185b5bdd5b9d 00000819: PUSH1 0x3a 0000081b: SHL 0000081c: PUSH1 0x44 0000081e: DUP3 0000081f: ADD 00000820: MSTORE 00000821: SWAP1 00000822: MLOAD 00000823: SWAP1 00000824: DUP2 00000825: SWAP1 00000826: SUB 00000827: PUSH1 0x64 00000829: ADD 0000082a: SWAP1 0000082b: REVERT 0000082c: JUMPDEST 0000082d: PUSH2 0x0837 00000830: DUP2 00000831: PUSH1 0x01 00000833: PUSH2 0x0c8c 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x01 0000083a: SLOAD 0000083b: PUSH1 0x40 0000083d: DUP1 0000083e: MLOAD 0000083f: PUSH4 0x23b872dd 00000844: PUSH1 0xe0 00000846: SHL 00000847: DUP2 00000848: MSTORE 00000849: CALLER 0000084a: PUSH1 0x04 0000084c: DUP3 0000084d: ADD 0000084e: MSTORE 0000084f: ADDRESS 00000850: PUSH1 0x24 00000852: DUP3 00000853: ADD 00000854: MSTORE 00000855: PUSH1 0x44 00000857: DUP2 00000858: ADD 00000859: DUP6 0000085a: SWAP1 0000085b: MSTORE 0000085c: SWAP1 0000085d: MLOAD 0000085e: PUSH1 0x01 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: SHL 00000865: SUB 00000866: SWAP1 00000867: SWAP3 00000868: AND 00000869: SWAP2 0000086a: PUSH4 0x23b872dd 0000086f: SWAP2 00000870: PUSH1 0x64 00000872: DUP1 00000873: DUP3 00000874: ADD 00000875: SWAP3 00000876: PUSH1 0x20 00000878: SWAP3 00000879: SWAP1 0000087a: SWAP2 0000087b: SWAP1 0000087c: DUP3 0000087d: SWAP1 0000087e: SUB 0000087f: ADD 00000880: DUP2 00000881: PUSH1 0x00 00000883: DUP8 00000884: DUP1 00000885: EXTCODESIZE 00000886: ISZERO 00000887: DUP1 00000888: ISZERO 00000889: PUSH2 0x0891 0000088c: JUMPI 0000088d: PUSH1 0x00 0000088f: DUP1 00000890: REVERT 00000891: JUMPDEST 00000892: POP 00000893: GAS 00000894: CALL 00000895: ISZERO 00000896: DUP1 00000897: ISZERO 00000898: PUSH2 0x08a5 0000089b: JUMPI 0000089c: RETURNDATASIZE 0000089d: PUSH1 0x00 0000089f: DUP1 000008a0: RETURNDATACOPY 000008a1: RETURNDATASIZE 000008a2: PUSH1 0x00 000008a4: REVERT 000008a5: JUMPDEST 000008a6: POP 000008a7: POP 000008a8: POP 000008a9: POP 000008aa: PUSH1 0x40 000008ac: MLOAD 000008ad: RETURNDATASIZE 000008ae: PUSH1 0x20 000008b0: DUP2 000008b1: LT 000008b2: ISZERO 000008b3: PUSH2 0x08bb 000008b6: JUMPI 000008b7: PUSH1 0x00 000008b9: DUP1 000008ba: REVERT 000008bb: JUMPDEST 000008bc: POP 000008bd: POP 000008be: PUSH1 0x01 000008c0: PUSH1 0x01 000008c2: PUSH1 0xa0 000008c4: SHL 000008c5: SUB 000008c6: DUP2 000008c7: AND 000008c8: PUSH1 0x00 000008ca: SWAP1 000008cb: DUP2 000008cc: MSTORE 000008cd: PUSH1 0x05 000008cf: PUSH1 0x20 000008d1: MSTORE 000008d2: PUSH1 0x40 000008d4: SWAP1 000008d5: KECCAK256 000008d6: SLOAD 000008d7: PUSH2 0x08e0 000008da: SWAP1 000008db: DUP4 000008dc: PUSH2 0x0e2e 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH1 0x01 000008e3: PUSH1 0x01 000008e5: PUSH1 0xa0 000008e7: SHL 000008e8: SUB 000008e9: DUP3 000008ea: AND 000008eb: PUSH1 0x00 000008ed: SWAP1 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x05 000008f2: PUSH1 0x20 000008f4: MSTORE 000008f5: PUSH1 0x40 000008f7: SWAP1 000008f8: KECCAK256 000008f9: SSTORE 000008fa: PUSH1 0x04 000008fc: SLOAD 000008fd: PUSH2 0x0906 00000900: SWAP1 00000901: DUP4 00000902: PUSH2 0x0e2e 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x04 00000909: SSTORE 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: MLOAD 0000090e: PUSH1 0x01 00000910: PUSH1 0x01 00000912: PUSH1 0xa0 00000914: SHL 00000915: SUB 00000916: DUP4 00000917: AND 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x20 0000091c: DUP2 0000091d: ADD 0000091e: DUP5 0000091f: SWAP1 00000920: MSTORE 00000921: DUP2 00000922: MLOAD 00000923: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000944: SWAP3 00000945: SWAP2 00000946: DUP2 00000947: SWAP1 00000948: SUB 00000949: SWAP1 0000094a: SWAP2 0000094b: ADD 0000094c: SWAP1 0000094d: LOG1 0000094e: PUSH1 0x40 00000950: DUP1 00000951: MLOAD 00000952: DUP4 00000953: DUP2 00000954: MSTORE 00000955: SWAP1 00000956: MLOAD 00000957: PUSH1 0x01 00000959: PUSH1 0x01 0000095b: PUSH1 0xa0 0000095d: SHL 0000095e: SUB 0000095f: DUP4 00000960: AND 00000961: SWAP2 00000962: PUSH1 0x00 00000964: SWAP2 00000965: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000986: SWAP2 00000987: DUP2 00000988: SWAP1 00000989: SUB 0000098a: PUSH1 0x20 0000098c: ADD 0000098d: SWAP1 0000098e: LOG3 0000098f: POP 00000990: POP 00000991: PUSH1 0x01 00000993: PUSH1 0x00 00000995: SSTORE 00000996: JUMP 00000997: JUMPDEST 00000998: PUSH1 0x01 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: SHL 0000099f: SUB 000009a0: AND 000009a1: PUSH1 0x00 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x05 000009a8: PUSH1 0x20 000009aa: MSTORE 000009ab: PUSH1 0x40 000009ad: SWAP1 000009ae: KECCAK256 000009af: SLOAD 000009b0: SWAP1 000009b1: JUMP 000009b2: JUMPDEST 000009b3: PUSH1 0x02 000009b5: SLOAD 000009b6: PUSH1 0x01 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: SHL 000009bd: SUB 000009be: AND 000009bf: CALLER 000009c0: EQ 000009c1: PUSH2 0x0a03 000009c4: JUMPI 000009c5: PUSH1 0x40 000009c7: DUP1 000009c8: MLOAD 000009c9: PUSH3 0x461bcd 000009cd: PUSH1 0xe5 000009cf: SHL 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: PUSH1 0x04 000009d6: DUP3 000009d7: ADD 000009d8: MSTORE 000009d9: PUSH1 0x0f 000009db: PUSH1 0x24 000009dd: DUP3 000009de: ADD 000009df: MSTORE 000009e0: PUSH15 0x2330b9369d103337b93134b23232b7 000009f0: PUSH1 0x89 000009f2: SHL 000009f3: PUSH1 0x44 000009f5: DUP3 000009f6: ADD 000009f7: MSTORE 000009f8: SWAP1 000009f9: MLOAD 000009fa: SWAP1 000009fb: DUP2 000009fc: SWAP1 000009fd: SUB 000009fe: PUSH1 0x64 00000a00: ADD 00000a01: SWAP1 00000a02: REVERT 00000a03: JUMPDEST 00000a04: PUSH1 0x03 00000a06: DUP1 00000a07: SLOAD 00000a08: PUSH1 0x01 00000a0a: PUSH1 0x01 00000a0c: PUSH1 0xa0 00000a0e: SHL 00000a0f: SUB 00000a10: NOT 00000a11: AND 00000a12: PUSH1 0x01 00000a14: PUSH1 0x01 00000a16: PUSH1 0xa0 00000a18: SHL 00000a19: SUB 00000a1a: SWAP3 00000a1b: SWAP1 00000a1c: SWAP3 00000a1d: AND 00000a1e: SWAP2 00000a1f: SWAP1 00000a20: SWAP2 00000a21: OR 00000a22: SWAP1 00000a23: SSTORE 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH1 0x40 00000a28: MLOAD 00000a29: DUP1 00000a2a: PUSH1 0x40 00000a2c: ADD 00000a2d: PUSH1 0x40 00000a2f: MSTORE 00000a30: DUP1 00000a31: PUSH1 0x08 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x20 00000a37: ADD 00000a38: PUSH8 0x554e493a4641524d 00000a41: PUSH1 0xc0 00000a43: SHL 00000a44: DUP2 00000a45: MSTORE 00000a46: POP 00000a47: DUP2 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH1 0x03 00000a4c: SLOAD 00000a4d: PUSH1 0x01 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: SHL 00000a54: SUB 00000a55: AND 00000a56: DUP2 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH1 0x02 00000a5b: SLOAD 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0x01 00000a60: PUSH1 0xa0 00000a62: SHL 00000a63: SUB 00000a64: AND 00000a65: CALLER 00000a66: EQ 00000a67: PUSH2 0x0aa9 00000a6a: JUMPI 00000a6b: PUSH1 0x40 00000a6d: DUP1 00000a6e: MLOAD 00000a6f: PUSH3 0x461bcd 00000a73: PUSH1 0xe5 00000a75: SHL 00000a76: DUP2 00000a77: MSTORE 00000a78: PUSH1 0x20 00000a7a: PUSH1 0x04 00000a7c: DUP3 00000a7d: ADD 00000a7e: MSTORE 00000a7f: PUSH1 0x0f 00000a81: PUSH1 0x24 00000a83: DUP3 00000a84: ADD 00000a85: MSTORE 00000a86: PUSH15 0x2330b9369d103337b93134b23232b7 00000a96: PUSH1 0x89 00000a98: SHL 00000a99: PUSH1 0x44 00000a9b: DUP3 00000a9c: ADD 00000a9d: MSTORE 00000a9e: SWAP1 00000a9f: MLOAD 00000aa0: SWAP1 00000aa1: DUP2 00000aa2: SWAP1 00000aa3: SUB 00000aa4: PUSH1 0x64 00000aa6: ADD 00000aa7: SWAP1 00000aa8: REVERT 00000aa9: JUMPDEST 00000aaa: PUSH1 0x02 00000aac: DUP1 00000aad: SLOAD 00000aae: PUSH1 0x01 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0xa0 00000ab4: SHL 00000ab5: SUB 00000ab6: DUP4 00000ab7: AND 00000ab8: PUSH1 0x01 00000aba: PUSH1 0x01 00000abc: PUSH1 0xa0 00000abe: SHL 00000abf: SUB 00000ac0: NOT 00000ac1: SWAP1 00000ac2: SWAP2 00000ac3: AND 00000ac4: DUP2 00000ac5: OR 00000ac6: SWAP1 00000ac7: SWAP2 00000ac8: SSTORE 00000ac9: PUSH1 0x40 00000acb: DUP1 00000acc: MLOAD 00000acd: SWAP2 00000ace: DUP3 00000acf: MSTORE 00000ad0: MLOAD 00000ad1: PUSH32 0x2c5d53cd16ceaf62d39256419d59e80a42575bfc21eab954015ca61b42dbe461 00000af2: SWAP2 00000af3: DUP2 00000af4: SWAP1 00000af5: SUB 00000af6: PUSH1 0x20 00000af8: ADD 00000af9: SWAP1 00000afa: LOG1 00000afb: POP 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x00 00000b00: JUMPDEST 00000b01: SWAP3 00000b02: SWAP2 00000b03: POP 00000b04: POP 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH1 0x07 00000b09: PUSH1 0x20 00000b0b: MSTORE 00000b0c: PUSH1 0x00 00000b0e: SWAP1 00000b0f: DUP2 00000b10: MSTORE 00000b11: PUSH1 0x40 00000b13: SWAP1 00000b14: KECCAK256 00000b15: SLOAD 00000b16: DUP2 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH1 0x02 00000b1b: PUSH1 0x00 00000b1d: SLOAD 00000b1e: EQ 00000b1f: ISZERO 00000b20: PUSH2 0x0b5e 00000b23: JUMPI 00000b24: PUSH1 0x40 00000b26: DUP1 00000b27: MLOAD 00000b28: PUSH3 0x461bcd 00000b2c: PUSH1 0xe5 00000b2e: SHL 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: PUSH1 0x04 00000b35: DUP3 00000b36: ADD 00000b37: MSTORE 00000b38: PUSH1 0x1f 00000b3a: PUSH1 0x24 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: PUSH1 0x00 00000b41: DUP1 00000b42: MLOAD 00000b43: PUSH1 0x20 00000b45: PUSH2 0x1233 00000b48: DUP4 00000b49: CODECOPY 00000b4a: DUP2 00000b4b: MLOAD 00000b4c: SWAP2 00000b4d: MSTORE 00000b4e: PUSH1 0x44 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: SWAP1 00000b54: MLOAD 00000b55: SWAP1 00000b56: DUP2 00000b57: SWAP1 00000b58: SUB 00000b59: PUSH1 0x64 00000b5b: ADD 00000b5c: SWAP1 00000b5d: REVERT 00000b5e: JUMPDEST 00000b5f: PUSH1 0x02 00000b61: PUSH1 0x00 00000b63: SSTORE 00000b64: DUP1 00000b65: PUSH2 0x0bb1 00000b68: JUMPI 00000b69: PUSH1 0x40 00000b6b: DUP1 00000b6c: MLOAD 00000b6d: PUSH3 0x461bcd 00000b71: PUSH1 0xe5 00000b73: SHL 00000b74: DUP2 00000b75: MSTORE 00000b76: PUSH1 0x20 00000b78: PUSH1 0x04 00000b7a: DUP3 00000b7b: ADD 00000b7c: MSTORE 00000b7d: PUSH1 0x19 00000b7f: PUSH1 0x24 00000b81: DUP3 00000b82: ADD 00000b83: MSTORE 00000b84: PUSH25 0x11985c9b4e881a5b9cdd59999a58da595b9d08185b5bdd5b9d 00000b9e: PUSH1 0x3a 00000ba0: SHL 00000ba1: PUSH1 0x44 00000ba3: DUP3 00000ba4: ADD 00000ba5: MSTORE 00000ba6: SWAP1 00000ba7: MLOAD 00000ba8: SWAP1 00000ba9: DUP2 00000baa: SWAP1 00000bab: SUB 00000bac: PUSH1 0x64 00000bae: ADD 00000baf: SWAP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: CALLER 00000bb3: PUSH2 0x0bbd 00000bb6: DUP2 00000bb7: PUSH1 0x01 00000bb9: PUSH2 0x0c8c 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH2 0x0bc8 00000bc1: DUP2 00000bc2: DUP5 00000bc3: DUP5 00000bc4: PUSH2 0x0e8f 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: POP 00000bca: POP 00000bcb: PUSH1 0x01 00000bcd: PUSH1 0x00 00000bcf: SSTORE 00000bd0: POP 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x06 00000bd5: SLOAD 00000bd6: DUP2 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x02 00000bdb: PUSH1 0x00 00000bdd: SLOAD 00000bde: EQ 00000bdf: ISZERO 00000be0: PUSH2 0x0c1e 00000be3: JUMPI 00000be4: PUSH1 0x40 00000be6: DUP1 00000be7: MLOAD 00000be8: PUSH3 0x461bcd 00000bec: PUSH1 0xe5 00000bee: SHL 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x20 00000bf3: PUSH1 0x04 00000bf5: DUP3 00000bf6: ADD 00000bf7: MSTORE 00000bf8: PUSH1 0x1f 00000bfa: PUSH1 0x24 00000bfc: DUP3 00000bfd: ADD 00000bfe: MSTORE 00000bff: PUSH1 0x00 00000c01: DUP1 00000c02: MLOAD 00000c03: PUSH1 0x20 00000c05: PUSH2 0x1233 00000c08: DUP4 00000c09: CODECOPY 00000c0a: DUP2 00000c0b: MLOAD 00000c0c: SWAP2 00000c0d: MSTORE 00000c0e: PUSH1 0x44 00000c10: DUP3 00000c11: ADD 00000c12: MSTORE 00000c13: SWAP1 00000c14: MLOAD 00000c15: SWAP1 00000c16: DUP2 00000c17: SWAP1 00000c18: SUB 00000c19: PUSH1 0x64 00000c1b: ADD 00000c1c: SWAP1 00000c1d: REVERT 00000c1e: JUMPDEST 00000c1f: PUSH1 0x02 00000c21: PUSH1 0x00 00000c23: SSTORE 00000c24: DUP1 00000c25: PUSH2 0x0c71 00000c28: JUMPI 00000c29: PUSH1 0x40 00000c2b: DUP1 00000c2c: MLOAD 00000c2d: PUSH3 0x461bcd 00000c31: PUSH1 0xe5 00000c33: SHL 00000c34: DUP2 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: PUSH1 0x04 00000c3a: DUP3 00000c3b: ADD 00000c3c: MSTORE 00000c3d: PUSH1 0x19 00000c3f: PUSH1 0x24 00000c41: DUP3 00000c42: ADD 00000c43: MSTORE 00000c44: PUSH25 0x11985c9b4e881a5b9cdd59999a58da595b9d08185b5bdd5b9d 00000c5e: PUSH1 0x3a 00000c60: SHL 00000c61: PUSH1 0x44 00000c63: DUP3 00000c64: ADD 00000c65: MSTORE 00000c66: SWAP1 00000c67: MLOAD 00000c68: SWAP1 00000c69: DUP2 00000c6a: SWAP1 00000c6b: SUB 00000c6c: PUSH1 0x64 00000c6e: ADD 00000c6f: SWAP1 00000c70: REVERT 00000c71: JUMPDEST 00000c72: CALLER 00000c73: PUSH2 0x0bbd 00000c76: DUP2 00000c77: PUSH1 0x00 00000c79: PUSH2 0x0c8c 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: PUSH1 0x01 00000c80: SLOAD 00000c81: PUSH1 0x01 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: SHL 00000c88: SUB 00000c89: AND 00000c8a: DUP2 00000c8b: JUMP 00000c8c: JUMPDEST 00000c8d: PUSH1 0x00 00000c8f: DUP2 00000c90: DUP1 00000c91: ISZERO 00000c92: PUSH2 0x0ca5 00000c95: JUMPI 00000c96: POP 00000c97: PUSH1 0x03 00000c99: SLOAD 00000c9a: PUSH1 0x01 00000c9c: PUSH1 0x01 00000c9e: PUSH1 0xa0 00000ca0: SHL 00000ca1: SUB 00000ca2: AND 00000ca3: ISZERO 00000ca4: ISZERO 00000ca5: JUMPDEST 00000ca6: ISZERO 00000ca7: PUSH2 0x0d29 00000caa: JUMPI 00000cab: PUSH1 0x03 00000cad: PUSH1 0x00 00000caf: SWAP1 00000cb0: SLOAD 00000cb1: SWAP1 00000cb2: PUSH2 0x0100 00000cb5: EXP 00000cb6: SWAP1 00000cb7: DIV 00000cb8: PUSH1 0x01 00000cba: PUSH1 0x01 00000cbc: PUSH1 0xa0 00000cbe: SHL 00000cbf: SUB 00000cc0: AND 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0x01 00000cc5: PUSH1 0xa0 00000cc7: SHL 00000cc8: SUB 00000cc9: AND 00000cca: PUSH4 0xe4fc6b6d 00000ccf: PUSH1 0x40 00000cd1: MLOAD 00000cd2: DUP2 00000cd3: PUSH4 0xffffffff 00000cd8: AND 00000cd9: PUSH1 0xe0 00000cdb: SHL 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x04 00000ce0: ADD 00000ce1: PUSH1 0x20 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: DUP4 00000ce8: SUB 00000ce9: DUP2 00000cea: PUSH1 0x00 00000cec: DUP8 00000ced: DUP1 00000cee: EXTCODESIZE 00000cef: ISZERO 00000cf0: DUP1 00000cf1: ISZERO 00000cf2: PUSH2 0x0cfa 00000cf5: JUMPI 00000cf6: PUSH1 0x00 00000cf8: DUP1 00000cf9: REVERT 00000cfa: JUMPDEST 00000cfb: POP 00000cfc: GAS 00000cfd: CALL 00000cfe: ISZERO 00000cff: DUP1 00000d00: ISZERO 00000d01: PUSH2 0x0d0e 00000d04: JUMPI 00000d05: RETURNDATASIZE 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: RETURNDATACOPY 00000d0a: RETURNDATASIZE 00000d0b: PUSH1 0x00 00000d0d: REVERT 00000d0e: JUMPDEST 00000d0f: POP 00000d10: POP 00000d11: POP 00000d12: POP 00000d13: PUSH1 0x40 00000d15: MLOAD 00000d16: RETURNDATASIZE 00000d17: PUSH1 0x20 00000d19: DUP2 00000d1a: LT 00000d1b: ISZERO 00000d1c: PUSH2 0x0d24 00000d1f: JUMPI 00000d20: PUSH1 0x00 00000d22: DUP1 00000d23: REVERT 00000d24: JUMPDEST 00000d25: POP 00000d26: MLOAD 00000d27: SWAP1 00000d28: POP 00000d29: JUMPDEST 00000d2a: PUSH1 0x06 00000d2c: SLOAD 00000d2d: PUSH1 0x04 00000d2f: SLOAD 00000d30: ISZERO 00000d31: DUP1 00000d32: ISZERO 00000d33: SWAP1 00000d34: PUSH2 0x0d3d 00000d37: JUMPI 00000d38: POP 00000d39: PUSH1 0x00 00000d3b: DUP3 00000d3c: GT 00000d3d: JUMPDEST 00000d3e: ISZERO 00000d3f: PUSH2 0x0d79 00000d42: JUMPI 00000d43: PUSH1 0x04 00000d45: SLOAD 00000d46: PUSH2 0x0d71 00000d49: SWAP1 00000d4a: PUSH2 0x0d6a 00000d4d: SWAP1 00000d4e: PUSH2 0x0d64 00000d51: DUP6 00000d52: PUSH13 0x0c9f2c9cd04674edea40000000 00000d60: PUSH2 0x1059 00000d63: JUMP 00000d64: JUMPDEST 00000d65: SWAP1 00000d66: PUSH2 0x10b2 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: DUP3 00000d6c: SWAP1 00000d6d: PUSH2 0x0e2e 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x06 00000d74: DUP2 00000d75: SWAP1 00000d76: SSTORE 00000d77: SWAP1 00000d78: POP 00000d79: JUMPDEST 00000d7a: DUP1 00000d7b: PUSH2 0x0d85 00000d7e: JUMPI 00000d7f: POP 00000d80: POP 00000d81: PUSH2 0x0e2a 00000d84: JUMP 00000d85: JUMPDEST 00000d86: PUSH1 0x01 00000d88: PUSH1 0x01 00000d8a: PUSH1 0xa0 00000d8c: SHL 00000d8d: SUB 00000d8e: DUP5 00000d8f: AND 00000d90: PUSH1 0x00 00000d92: SWAP1 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x08 00000d97: PUSH1 0x20 00000d99: MSTORE 00000d9a: PUSH1 0x40 00000d9c: DUP2 00000d9d: KECCAK256 00000d9e: SLOAD 00000d9f: SWAP1 00000da0: PUSH2 0x0dfe 00000da3: PUSH2 0x0ddf 00000da6: PUSH13 0x0c9f2c9cd04674edea40000000 00000db4: PUSH2 0x0d64 00000db7: PUSH2 0x0dc0 00000dba: DUP8 00000dbb: DUP8 00000dbc: PUSH2 0x10f4 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0xa0 00000dc7: SHL 00000dc8: SUB 00000dc9: DUP12 00000dca: AND 00000dcb: PUSH1 0x00 00000dcd: SWAP1 00000dce: DUP2 00000dcf: MSTORE 00000dd0: PUSH1 0x05 00000dd2: PUSH1 0x20 00000dd4: MSTORE 00000dd5: PUSH1 0x40 00000dd7: SWAP1 00000dd8: KECCAK256 00000dd9: SLOAD 00000dda: SWAP1 00000ddb: PUSH2 0x1059 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: PUSH1 0x01 00000de2: PUSH1 0x01 00000de4: PUSH1 0xa0 00000de6: SHL 00000de7: SUB 00000de8: DUP9 00000de9: AND 00000dea: PUSH1 0x00 00000dec: SWAP1 00000ded: DUP2 00000dee: MSTORE 00000def: PUSH1 0x07 00000df1: PUSH1 0x20 00000df3: MSTORE 00000df4: PUSH1 0x40 00000df6: SWAP1 00000df7: KECCAK256 00000df8: SLOAD 00000df9: SWAP1 00000dfa: PUSH2 0x0e2e 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: PUSH1 0x01 00000e01: PUSH1 0x01 00000e03: PUSH1 0xa0 00000e05: SHL 00000e06: SUB 00000e07: DUP8 00000e08: AND 00000e09: PUSH1 0x00 00000e0b: SWAP1 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x07 00000e10: PUSH1 0x20 00000e12: SWAP1 00000e13: DUP2 00000e14: MSTORE 00000e15: PUSH1 0x40 00000e17: DUP1 00000e18: DUP4 00000e19: KECCAK256 00000e1a: SWAP4 00000e1b: SWAP1 00000e1c: SWAP4 00000e1d: SSTORE 00000e1e: PUSH1 0x08 00000e20: SWAP1 00000e21: MSTORE 00000e22: KECCAK256 00000e23: SWAP3 00000e24: SWAP1 00000e25: SWAP3 00000e26: SSTORE 00000e27: POP 00000e28: POP 00000e29: POP 00000e2a: JUMPDEST 00000e2b: POP 00000e2c: POP 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH1 0x00 00000e31: DUP3 00000e32: DUP3 00000e33: ADD 00000e34: DUP4 00000e35: DUP2 00000e36: LT 00000e37: ISZERO 00000e38: PUSH2 0x0e88 00000e3b: JUMPI 00000e3c: PUSH1 0x40 00000e3e: DUP1 00000e3f: MLOAD 00000e40: PUSH3 0x461bcd 00000e44: PUSH1 0xe5 00000e46: SHL 00000e47: DUP2 00000e48: MSTORE 00000e49: PUSH1 0x20 00000e4b: PUSH1 0x04 00000e4d: DUP3 00000e4e: ADD 00000e4f: MSTORE 00000e50: PUSH1 0x1b 00000e52: PUSH1 0x24 00000e54: DUP3 00000e55: ADD 00000e56: MSTORE 00000e57: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000e78: PUSH1 0x44 00000e7a: DUP3 00000e7b: ADD 00000e7c: MSTORE 00000e7d: SWAP1 00000e7e: MLOAD 00000e7f: SWAP1 00000e80: DUP2 00000e81: SWAP1 00000e82: SUB 00000e83: PUSH1 0x64 00000e85: ADD 00000e86: SWAP1 00000e87: REVERT 00000e88: JUMPDEST 00000e89: SWAP4 00000e8a: SWAP3 00000e8b: POP 00000e8c: POP 00000e8d: POP 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x01 00000e92: PUSH1 0x01 00000e94: PUSH1 0xa0 00000e96: SHL 00000e97: SUB 00000e98: DUP4 00000e99: AND 00000e9a: PUSH1 0x00 00000e9c: SWAP1 00000e9d: DUP2 00000e9e: MSTORE 00000e9f: PUSH1 0x05 00000ea1: PUSH1 0x20 00000ea3: MSTORE 00000ea4: PUSH1 0x40 00000ea6: SWAP1 00000ea7: KECCAK256 00000ea8: SLOAD 00000ea9: DUP2 00000eaa: GT 00000eab: ISZERO 00000eac: PUSH2 0x0efc 00000eaf: JUMPI 00000eb0: PUSH1 0x40 00000eb2: DUP1 00000eb3: MLOAD 00000eb4: PUSH3 0x461bcd 00000eb8: PUSH1 0xe5 00000eba: SHL 00000ebb: DUP2 00000ebc: MSTORE 00000ebd: PUSH1 0x20 00000ebf: PUSH1 0x04 00000ec1: DUP3 00000ec2: ADD 00000ec3: MSTORE 00000ec4: PUSH1 0x1a 00000ec6: PUSH1 0x24 00000ec8: DUP3 00000ec9: ADD 00000eca: MSTORE 00000ecb: PUSH32 0x4661726d3a20696e73756666696369656e742062616c616e6365000000000000 00000eec: PUSH1 0x44 00000eee: DUP3 00000eef: ADD 00000ef0: MSTORE 00000ef1: SWAP1 00000ef2: MLOAD 00000ef3: SWAP1 00000ef4: DUP2 00000ef5: SWAP1 00000ef6: SUB 00000ef7: PUSH1 0x64 00000ef9: ADD 00000efa: SWAP1 00000efb: REVERT 00000efc: JUMPDEST 00000efd: PUSH1 0x01 00000eff: PUSH1 0x01 00000f01: PUSH1 0xa0 00000f03: SHL 00000f04: SUB 00000f05: DUP4 00000f06: AND 00000f07: PUSH1 0x00 00000f09: SWAP1 00000f0a: DUP2 00000f0b: MSTORE 00000f0c: PUSH1 0x05 00000f0e: PUSH1 0x20 00000f10: MSTORE 00000f11: PUSH1 0x40 00000f13: SWAP1 00000f14: KECCAK256 00000f15: SLOAD 00000f16: PUSH2 0x0f1f 00000f19: SWAP1 00000f1a: DUP3 00000f1b: PUSH2 0x10f4 00000f1e: JUMP 00000f1f: JUMPDEST 00000f20: PUSH1 0x01 00000f22: PUSH1 0x01 00000f24: PUSH1 0xa0 00000f26: SHL 00000f27: SUB 00000f28: DUP5 00000f29: AND 00000f2a: PUSH1 0x00 00000f2c: SWAP1 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x05 00000f31: PUSH1 0x20 00000f33: MSTORE 00000f34: PUSH1 0x40 00000f36: SWAP1 00000f37: KECCAK256 00000f38: SSTORE 00000f39: PUSH1 0x04 00000f3b: SLOAD 00000f3c: PUSH2 0x0f45 00000f3f: SWAP1 00000f40: DUP3 00000f41: PUSH2 0x10f4 00000f44: JUMP 00000f45: JUMPDEST 00000f46: PUSH1 0x04 00000f48: SWAP1 00000f49: DUP2 00000f4a: SSTORE 00000f4b: PUSH1 0x01 00000f4d: SLOAD 00000f4e: PUSH1 0x40 00000f50: DUP1 00000f51: MLOAD 00000f52: PUSH4 0xa9059cbb 00000f57: PUSH1 0xe0 00000f59: SHL 00000f5a: DUP2 00000f5b: MSTORE 00000f5c: PUSH1 0x01 00000f5e: PUSH1 0x01 00000f60: PUSH1 0xa0 00000f62: SHL 00000f63: SUB 00000f64: DUP7 00000f65: DUP2 00000f66: AND 00000f67: SWAP5 00000f68: DUP3 00000f69: ADD 00000f6a: SWAP5 00000f6b: SWAP1 00000f6c: SWAP5 00000f6d: MSTORE 00000f6e: PUSH1 0x24 00000f70: DUP2 00000f71: ADD 00000f72: DUP6 00000f73: SWAP1 00000f74: MSTORE 00000f75: SWAP1 00000f76: MLOAD 00000f77: SWAP3 00000f78: SWAP1 00000f79: SWAP2 00000f7a: AND 00000f7b: SWAP2 00000f7c: PUSH4 0xa9059cbb 00000f81: SWAP2 00000f82: PUSH1 0x44 00000f84: DUP1 00000f85: DUP3 00000f86: ADD 00000f87: SWAP3 00000f88: PUSH1 0x20 00000f8a: SWAP3 00000f8b: SWAP1 00000f8c: SWAP2 00000f8d: SWAP1 00000f8e: DUP3 00000f8f: SWAP1 00000f90: SUB 00000f91: ADD 00000f92: DUP2 00000f93: PUSH1 0x00 00000f95: DUP8 00000f96: DUP1 00000f97: EXTCODESIZE 00000f98: ISZERO 00000f99: DUP1 00000f9a: ISZERO 00000f9b: PUSH2 0x0fa3 00000f9e: JUMPI 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: REVERT 00000fa3: JUMPDEST 00000fa4: POP 00000fa5: GAS 00000fa6: CALL 00000fa7: ISZERO 00000fa8: DUP1 00000fa9: ISZERO 00000faa: PUSH2 0x0fb7 00000fad: JUMPI 00000fae: RETURNDATASIZE 00000faf: PUSH1 0x00 00000fb1: DUP1 00000fb2: RETURNDATACOPY 00000fb3: RETURNDATASIZE 00000fb4: PUSH1 0x00 00000fb6: REVERT 00000fb7: JUMPDEST 00000fb8: POP 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: PUSH1 0x40 00000fbe: MLOAD 00000fbf: RETURNDATASIZE 00000fc0: PUSH1 0x20 00000fc2: DUP2 00000fc3: LT 00000fc4: ISZERO 00000fc5: PUSH2 0x0fcd 00000fc8: JUMPI 00000fc9: PUSH1 0x00 00000fcb: DUP1 00000fcc: REVERT 00000fcd: JUMPDEST 00000fce: POP 00000fcf: POP 00000fd0: PUSH1 0x40 00000fd2: DUP1 00000fd3: MLOAD 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0xa0 00000fda: SHL 00000fdb: SUB 00000fdc: DUP6 00000fdd: AND 00000fde: DUP2 00000fdf: MSTORE 00000fe0: PUSH1 0x20 00000fe2: DUP2 00000fe3: ADD 00000fe4: DUP4 00000fe5: SWAP1 00000fe6: MSTORE 00000fe7: DUP2 00000fe8: MLOAD 00000fe9: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 0000100a: SWAP3 0000100b: SWAP2 0000100c: DUP2 0000100d: SWAP1 0000100e: SUB 0000100f: SWAP1 00001010: SWAP2 00001011: ADD 00001012: SWAP1 00001013: LOG1 00001014: PUSH1 0x40 00001016: DUP1 00001017: MLOAD 00001018: DUP3 00001019: DUP2 0000101a: MSTORE 0000101b: SWAP1 0000101c: MLOAD 0000101d: PUSH1 0x00 0000101f: SWAP2 00001020: PUSH1 0x01 00001022: PUSH1 0x01 00001024: PUSH1 0xa0 00001026: SHL 00001027: SUB 00001028: DUP7 00001029: AND 0000102a: SWAP2 0000102b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000104c: SWAP2 0000104d: DUP2 0000104e: SWAP1 0000104f: SUB 00001050: PUSH1 0x20 00001052: ADD 00001053: SWAP1 00001054: LOG3 00001055: POP 00001056: POP 00001057: POP 00001058: JUMP 00001059: JUMPDEST 0000105a: PUSH1 0x00 0000105c: DUP3 0000105d: PUSH2 0x1068 00001060: JUMPI 00001061: POP 00001062: PUSH1 0x00 00001064: PUSH2 0x0b00 00001067: JUMP 00001068: JUMPDEST 00001069: DUP3 0000106a: DUP3 0000106b: MUL 0000106c: DUP3 0000106d: DUP5 0000106e: DUP3 0000106f: DUP2 00001070: PUSH2 0x1075 00001073: JUMPI 00001074: INVALID 00001075: JUMPDEST 00001076: DIV 00001077: EQ 00001078: PUSH2 0x0e88 0000107b: JUMPI 0000107c: PUSH1 0x40 0000107e: MLOAD 0000107f: PUSH3 0x461bcd 00001083: PUSH1 0xe5 00001085: SHL 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x04 0000108a: ADD 0000108b: DUP1 0000108c: DUP1 0000108d: PUSH1 0x20 0000108f: ADD 00001090: DUP3 00001091: DUP2 00001092: SUB 00001093: DUP3 00001094: MSTORE 00001095: PUSH1 0x21 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x20 0000109b: ADD 0000109c: DUP1 0000109d: PUSH2 0x1253 000010a0: PUSH1 0x21 000010a2: SWAP2 000010a3: CODECOPY 000010a4: PUSH1 0x40 000010a6: ADD 000010a7: SWAP2 000010a8: POP 000010a9: POP 000010aa: PUSH1 0x40 000010ac: MLOAD 000010ad: DUP1 000010ae: SWAP2 000010af: SUB 000010b0: SWAP1 000010b1: REVERT 000010b2: JUMPDEST 000010b3: PUSH1 0x00 000010b5: PUSH2 0x0e88 000010b8: DUP4 000010b9: DUP4 000010ba: PUSH1 0x40 000010bc: MLOAD 000010bd: DUP1 000010be: PUSH1 0x40 000010c0: ADD 000010c1: PUSH1 0x40 000010c3: MSTORE 000010c4: DUP1 000010c5: PUSH1 0x1a 000010c7: DUP2 000010c8: MSTORE 000010c9: PUSH1 0x20 000010cb: ADD 000010cc: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000010ed: DUP2 000010ee: MSTORE 000010ef: POP 000010f0: PUSH2 0x1136 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x00 000010f7: PUSH2 0x0e88 000010fa: DUP4 000010fb: DUP4 000010fc: PUSH1 0x40 000010fe: MLOAD 000010ff: DUP1 00001100: PUSH1 0x40 00001102: ADD 00001103: PUSH1 0x40 00001105: MSTORE 00001106: DUP1 00001107: PUSH1 0x1e 00001109: DUP2 0000110a: MSTORE 0000110b: PUSH1 0x20 0000110d: ADD 0000110e: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000112f: DUP2 00001130: MSTORE 00001131: POP 00001132: PUSH2 0x11d8 00001135: JUMP 00001136: JUMPDEST 00001137: PUSH1 0x00 00001139: DUP2 0000113a: DUP4 0000113b: PUSH2 0x11c2 0000113e: JUMPI 0000113f: PUSH1 0x40 00001141: MLOAD 00001142: PUSH3 0x461bcd 00001146: PUSH1 0xe5 00001148: SHL 00001149: DUP2 0000114a: MSTORE 0000114b: PUSH1 0x04 0000114d: ADD 0000114e: DUP1 0000114f: DUP1 00001150: PUSH1 0x20 00001152: ADD 00001153: DUP3 00001154: DUP2 00001155: SUB 00001156: DUP3 00001157: MSTORE 00001158: DUP4 00001159: DUP2 0000115a: DUP2 0000115b: MLOAD 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x20 00001160: ADD 00001161: SWAP2 00001162: POP 00001163: DUP1 00001164: MLOAD 00001165: SWAP1 00001166: PUSH1 0x20 00001168: ADD 00001169: SWAP1 0000116a: DUP1 0000116b: DUP4 0000116c: DUP4 0000116d: PUSH1 0x00 0000116f: JUMPDEST 00001170: DUP4 00001171: DUP2 00001172: LT 00001173: ISZERO 00001174: PUSH2 0x1187 00001177: JUMPI 00001178: DUP2 00001179: DUP2 0000117a: ADD 0000117b: MLOAD 0000117c: DUP4 0000117d: DUP3 0000117e: ADD 0000117f: MSTORE 00001180: PUSH1 0x20 00001182: ADD 00001183: PUSH2 0x116f 00001186: JUMP 00001187: JUMPDEST 00001188: POP 00001189: POP 0000118a: POP 0000118b: POP 0000118c: SWAP1 0000118d: POP 0000118e: SWAP1 0000118f: DUP2 00001190: ADD 00001191: SWAP1 00001192: PUSH1 0x1f 00001194: AND 00001195: DUP1 00001196: ISZERO 00001197: PUSH2 0x11b4 0000119a: JUMPI 0000119b: DUP1 0000119c: DUP3 0000119d: SUB 0000119e: DUP1 0000119f: MLOAD 000011a0: PUSH1 0x01 000011a2: DUP4 000011a3: PUSH1 0x20 000011a5: SUB 000011a6: PUSH2 0x0100 000011a9: EXP 000011aa: SUB 000011ab: NOT 000011ac: AND 000011ad: DUP2 000011ae: MSTORE 000011af: PUSH1 0x20 000011b1: ADD 000011b2: SWAP2 000011b3: POP 000011b4: JUMPDEST 000011b5: POP 000011b6: SWAP3 000011b7: POP 000011b8: POP 000011b9: POP 000011ba: PUSH1 0x40 000011bc: MLOAD 000011bd: DUP1 000011be: SWAP2 000011bf: SUB 000011c0: SWAP1 000011c1: REVERT 000011c2: JUMPDEST 000011c3: POP 000011c4: PUSH1 0x00 000011c6: DUP4 000011c7: DUP6 000011c8: DUP2 000011c9: PUSH2 0x11ce 000011cc: JUMPI 000011cd: INVALID 000011ce: JUMPDEST 000011cf: DIV 000011d0: SWAP6 000011d1: SWAP5 000011d2: POP 000011d3: POP 000011d4: POP 000011d5: POP 000011d6: POP 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: DUP2 000011dc: DUP5 000011dd: DUP5 000011de: GT 000011df: ISZERO 000011e0: PUSH2 0x122a 000011e3: JUMPI 000011e4: PUSH1 0x40 000011e6: MLOAD 000011e7: PUSH3 0x461bcd 000011eb: PUSH1 0xe5 000011ed: SHL 000011ee: DUP2 000011ef: MSTORE 000011f0: PUSH1 0x20 000011f2: PUSH1 0x04 000011f4: DUP3 000011f5: ADD 000011f6: DUP2 000011f7: DUP2 000011f8: MSTORE 000011f9: DUP4 000011fa: MLOAD 000011fb: PUSH1 0x24 000011fd: DUP5 000011fe: ADD 000011ff: MSTORE 00001200: DUP4 00001201: MLOAD 00001202: SWAP1 00001203: SWAP3 00001204: DUP4 00001205: SWAP3 00001206: PUSH1 0x44 00001208: SWAP1 00001209: SWAP2 0000120a: ADD 0000120b: SWAP2 0000120c: SWAP1 0000120d: DUP6 0000120e: ADD 0000120f: SWAP1 00001210: DUP1 00001211: DUP4 00001212: DUP4 00001213: PUSH1 0x00 00001215: DUP4 00001216: ISZERO 00001217: PUSH2 0x1187 0000121a: JUMPI 0000121b: DUP2 0000121c: DUP2 0000121d: ADD 0000121e: MLOAD 0000121f: DUP4 00001220: DUP3 00001221: ADD 00001222: MSTORE 00001223: PUSH1 0x20 00001225: ADD 00001226: PUSH2 0x116f 00001229: JUMP 0000122a: JUMPDEST 0000122b: POP 0000122c: POP 0000122d: POP 0000122e: SWAP1 0000122f: SUB 00001230: SWAP1 00001231: JUMP 00001232: INVALID 00001233: MSTORE 00001234: PUSH6 0x656e7472616e 0000123b: PUSH4 0x79477561 00001240: PUSH19 0x643a207265656e7472616e742063616c6c0053 00001254: PUSH2 0x6665 00001257: UNKNOWN(0x4D) 00001258: PUSH2 0x7468 0000125b: GASPRICE 0000125c: KECCAK256 0000125d: PUSH14 0x756c7469706c69636174696f6e20 0000126c: PUSH16 0x766572666c6f77a26469706673582212 0000127d: KECCAK256 0000127e: UNKNOWN(0x26) 0000127f: UNKNOWN(0xB2) 00001280: UNKNOWN(0xB5) 00001281: UNKNOWN(0xD4) 00001282: UNKNOWN(0xE8) 00001283: UNKNOWN(0xDF) 00001284: PUSH1 0x32 00001286: EXTCODECOPY 00001287: PUSH17 0x1b9bbf5e2ee92df18562538b9b1d6919ad 00001299: BYTE 0000129a: SHR 0000129b: CALL 0000129c: UNKNOWN(0xDF) 0000129d: UNKNOWN(0xE7) 0000129e: PUSH5 0x736f6c6343 000012a4: STOP 000012a5: MOD 000012a6: UNKNOWN(0x0C) 000012a7: STOP 000012a8: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0f9996fb42c80d2e029788d4c4c7e3f3005fde1fee6e70a130cabefd4dba6d41
call_targets:
0x4b532083714f49d215cbb656221948aac32aeea9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0f9996fb42c80d2e029788d4c4c7e3f3005fde1fee6e70a130cabefd4dba6d41",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b532083714f49d215cbb656221948aac32aeea9"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9503425",
"selector": "0xe9503425",
"calldata_variants": [
"0xe9503425",
"0xe95034250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5fc5076",
"selector": "0xf5fc5076",
"calldata_variants": [
"0xf5fc5076",
"0xf5fc50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b7a2c0",
"selector": "0xf9b7a2c0",
"calldata_variants": [
"0xf9b7a2c0",
"0xf9b7a2c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75619ab5",
"selector": "0x75619ab5",
"calldata_variants": [
"0x75619ab5",
"0x75619ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1688,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3325,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0f9996fb42c80d2e029788d4c4c7e3f3005fde1fee6e70a130cabefd4dba6d41
call_targets:
0x4b532083714f49d215cbb656221948aac32aeea9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0f9996fb42c80d2e029788d4c4c7e3f3005fde1fee6e70a130cabefd4dba6d41",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b532083714f49d215cbb656221948aac32aeea9"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9503425",
"selector": "0xe9503425",
"calldata_variants": [
"0xe9503425",
"0xe95034250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5fc5076",
"selector": "0xf5fc5076",
"calldata_variants": [
"0xf5fc5076",
"0xf5fc50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b7a2c0",
"selector": "0xf9b7a2c0",
"calldata_variants": [
"0xf9b7a2c0",
"0xf9b7a2c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75619ab5",
"selector": "0x75619ab5",
"calldata_variants": [
"0x75619ab5",
"0x75619ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1688,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3325,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|