019ba5f9-b743-7093-bf49-65a3bb0989f1
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 |
|---|---|---|---|---|
| 32106 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32107 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32108 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32109 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32110 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32111 | detector.run | complete | 1 / 3 | 3 months ago |
| 32112 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9ace38c2 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9ace38c2 00000024: EQ 00000025: PUSH2 0x021b 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa0e67e2b 0000002f: EQ 00000030: PUSH2 0x023b 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc01a8c84 0000003a: EQ 0000003b: PUSH2 0x025d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc6427474 00000045: EQ 00000046: PUSH2 0x027d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd0549b85 00000050: EQ 00000051: PUSH2 0x029d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xee22610b 0000005b: EQ 0000005c: PUSH2 0x02b3 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x025e7c27 0000006b: EQ 0000006c: PUSH2 0x00f1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x20ea8d86 00000076: EQ 00000077: PUSH2 0x012e 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x2e7700f0 00000081: EQ 00000082: PUSH2 0x0150 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x2f54bf6e 0000008c: EQ 0000008d: PUSH2 0x016f 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x33ea3dc8 00000097: EQ 00000098: PUSH2 0x01af 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x80f59a65 000000a2: EQ 000000a3: PUSH2 0x01e0 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00ec 000000b0: JUMPI 000000b1: PUSH1 0x40 000000b3: DUP1 000000b4: MLOAD 000000b5: CALLVALUE 000000b6: DUP2 000000b7: MSTORE 000000b8: SELFBALANCE 000000b9: PUSH1 0x20 000000bb: DUP3 000000bc: ADD 000000bd: MSTORE 000000be: CALLER 000000bf: SWAP2 000000c0: PUSH32 0x90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15 000000e1: SWAP2 000000e2: ADD 000000e3: PUSH1 0x40 000000e5: MLOAD 000000e6: DUP1 000000e7: SWAP2 000000e8: SUB 000000e9: SWAP1 000000ea: LOG2 000000eb: STOP 000000ec: JUMPDEST 000000ed: PUSH1 0x00 000000ef: DUP1 000000f0: REVERT 000000f1: JUMPDEST 000000f2: CALLVALUE 000000f3: DUP1 000000f4: ISZERO 000000f5: PUSH2 0x00fd 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH2 0x0111 00000102: PUSH2 0x010c 00000105: CALLDATASIZE 00000106: PUSH1 0x04 00000108: PUSH2 0x0bbf 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x02d3 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH1 0x40 00000114: MLOAD 00000115: PUSH1 0x01 00000117: PUSH1 0x01 00000119: PUSH1 0xa0 0000011b: SHL 0000011c: SUB 0000011d: SWAP1 0000011e: SWAP2 0000011f: AND 00000120: DUP2 00000121: MSTORE 00000122: PUSH1 0x20 00000124: ADD 00000125: JUMPDEST 00000126: PUSH1 0x40 00000128: MLOAD 00000129: DUP1 0000012a: SWAP2 0000012b: SUB 0000012c: SWAP1 0000012d: RETURN 0000012e: JUMPDEST 0000012f: CALLVALUE 00000130: DUP1 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: POP 0000013c: PUSH2 0x014e 0000013f: PUSH2 0x0149 00000142: CALLDATASIZE 00000143: PUSH1 0x04 00000145: PUSH2 0x0bbf 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH2 0x02fd 0000014d: JUMP 0000014e: JUMPDEST 0000014f: STOP 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH1 0x04 00000160: SLOAD 00000161: JUMPDEST 00000162: PUSH1 0x40 00000164: MLOAD 00000165: SWAP1 00000166: DUP2 00000167: MSTORE 00000168: PUSH1 0x20 0000016a: ADD 0000016b: PUSH2 0x0125 0000016e: JUMP 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x017b 00000176: JUMPI 00000177: PUSH1 0x00 00000179: DUP1 0000017a: REVERT 0000017b: JUMPDEST 0000017c: POP 0000017d: PUSH2 0x019f 00000180: PUSH2 0x018a 00000183: CALLDATASIZE 00000184: PUSH1 0x04 00000186: PUSH2 0x0bf4 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x01 0000018d: PUSH1 0x20 0000018f: MSTORE 00000190: PUSH1 0x00 00000192: SWAP1 00000193: DUP2 00000194: MSTORE 00000195: PUSH1 0x40 00000197: SWAP1 00000198: KECCAK256 00000199: SLOAD 0000019a: PUSH1 0xff 0000019c: AND 0000019d: DUP2 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: SWAP1 000001a4: ISZERO 000001a5: ISZERO 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: PUSH2 0x0125 000001ae: JUMP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x01cf 000001c0: PUSH2 0x01ca 000001c3: CALLDATASIZE 000001c4: PUSH1 0x04 000001c6: PUSH2 0x0bbf 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x0488 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: PUSH2 0x0125 000001d6: SWAP6 000001d7: SWAP5 000001d8: SWAP4 000001d9: SWAP3 000001da: SWAP2 000001db: SWAP1 000001dc: PUSH2 0x0c5c 000001df: JUMP 000001e0: JUMPDEST 000001e1: CALLVALUE 000001e2: DUP1 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH2 0x019f 000001f1: PUSH2 0x01fb 000001f4: CALLDATASIZE 000001f5: PUSH1 0x04 000001f7: PUSH2 0x0c97 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x03 000001fe: PUSH1 0x20 00000200: SWAP1 00000201: DUP2 00000202: MSTORE 00000203: PUSH1 0x00 00000205: SWAP3 00000206: DUP4 00000207: MSTORE 00000208: PUSH1 0x40 0000020a: DUP1 0000020b: DUP5 0000020c: KECCAK256 0000020d: SWAP1 0000020e: SWAP2 0000020f: MSTORE 00000210: SWAP1 00000211: DUP3 00000212: MSTORE 00000213: SWAP1 00000214: KECCAK256 00000215: SLOAD 00000216: PUSH1 0xff 00000218: AND 00000219: DUP2 0000021a: JUMP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x01cf 0000022c: PUSH2 0x0236 0000022f: CALLDATASIZE 00000230: PUSH1 0x04 00000232: PUSH2 0x0bbf 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x0583 0000023a: JUMP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0250 0000024c: PUSH2 0x065c 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: PUSH2 0x0125 00000257: SWAP2 00000258: SWAP1 00000259: PUSH2 0x0cc3 0000025c: JUMP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x014e 0000026e: PUSH2 0x0278 00000271: CALLDATASIZE 00000272: PUSH1 0x04 00000274: PUSH2 0x0bbf 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x06be 0000027c: JUMP 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x014e 0000028e: PUSH2 0x0298 00000291: CALLDATASIZE 00000292: PUSH1 0x04 00000294: PUSH2 0x0d26 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x084c 0000029c: JUMP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x0161 000002ae: PUSH1 0x02 000002b0: SLOAD 000002b1: DUP2 000002b2: JUMP 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x014e 000002c4: PUSH2 0x02ce 000002c7: CALLDATASIZE 000002c8: PUSH1 0x04 000002ca: PUSH2 0x0bbf 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x09cc 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x00 000002d6: DUP2 000002d7: DUP2 000002d8: SLOAD 000002d9: DUP2 000002da: LT 000002db: PUSH2 0x02e3 000002de: JUMPI 000002df: PUSH1 0x00 000002e1: DUP1 000002e2: REVERT 000002e3: JUMPDEST 000002e4: PUSH1 0x00 000002e6: SWAP2 000002e7: DUP3 000002e8: MSTORE 000002e9: PUSH1 0x20 000002eb: SWAP1 000002ec: SWAP2 000002ed: KECCAK256 000002ee: ADD 000002ef: SLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: AND 000002f9: SWAP1 000002fa: POP 000002fb: DUP2 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLER 000002ff: PUSH1 0x00 00000301: SWAP1 00000302: DUP2 00000303: MSTORE 00000304: PUSH1 0x01 00000306: PUSH1 0x20 00000308: MSTORE 00000309: PUSH1 0x40 0000030b: SWAP1 0000030c: KECCAK256 0000030d: SLOAD 0000030e: PUSH1 0xff 00000310: AND 00000311: PUSH2 0x0335 00000314: JUMPI 00000315: PUSH1 0x40 00000317: MLOAD 00000318: PUSH3 0x461bcd 0000031c: PUSH1 0xe5 0000031e: SHL 0000031f: DUP2 00000320: MSTORE 00000321: PUSH1 0x04 00000323: ADD 00000324: PUSH2 0x032c 00000327: SWAP1 00000328: PUSH2 0x0df1 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: DUP1 00000331: SWAP2 00000332: SUB 00000333: SWAP1 00000334: REVERT 00000335: JUMPDEST 00000336: PUSH1 0x04 00000338: SLOAD 00000339: DUP2 0000033a: SWAP1 0000033b: DUP2 0000033c: LT 0000033d: PUSH2 0x0358 00000340: JUMPI 00000341: PUSH1 0x40 00000343: MLOAD 00000344: PUSH3 0x461bcd 00000348: PUSH1 0xe5 0000034a: SHL 0000034b: DUP2 0000034c: MSTORE 0000034d: PUSH1 0x04 0000034f: ADD 00000350: PUSH2 0x032c 00000353: SWAP1 00000354: PUSH2 0x0e14 00000357: JUMP 00000358: JUMPDEST 00000359: DUP2 0000035a: PUSH1 0x04 0000035c: DUP2 0000035d: DUP2 0000035e: SLOAD 0000035f: DUP2 00000360: LT 00000361: PUSH2 0x036c 00000364: JUMPI 00000365: PUSH2 0x036c 00000368: PUSH2 0x0e3f 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x00 0000036f: SWAP2 00000370: DUP3 00000371: MSTORE 00000372: PUSH1 0x20 00000374: SWAP1 00000375: SWAP2 00000376: KECCAK256 00000377: PUSH1 0x03 00000379: PUSH1 0x05 0000037b: SWAP1 0000037c: SWAP3 0000037d: MUL 0000037e: ADD 0000037f: ADD 00000380: SLOAD 00000381: PUSH1 0xff 00000383: AND 00000384: ISZERO 00000385: PUSH2 0x03a0 00000388: JUMPI 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: PUSH3 0x461bcd 00000390: PUSH1 0xe5 00000392: SHL 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x04 00000397: ADD 00000398: PUSH2 0x032c 0000039b: SWAP1 0000039c: PUSH2 0x0e55 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x00 000003a3: PUSH1 0x04 000003a5: DUP5 000003a6: DUP2 000003a7: SLOAD 000003a8: DUP2 000003a9: LT 000003aa: PUSH2 0x03b5 000003ad: JUMPI 000003ae: PUSH2 0x03b5 000003b1: PUSH2 0x0e3f 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH1 0x00 000003b8: SWAP2 000003b9: DUP3 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: DUP1 000003be: DUP4 000003bf: KECCAK256 000003c0: DUP8 000003c1: DUP5 000003c2: MSTORE 000003c3: PUSH1 0x03 000003c5: DUP3 000003c6: MSTORE 000003c7: PUSH1 0x40 000003c9: DUP1 000003ca: DUP6 000003cb: KECCAK256 000003cc: CALLER 000003cd: DUP7 000003ce: MSTORE 000003cf: SWAP1 000003d0: SWAP3 000003d1: MSTORE 000003d2: SWAP3 000003d3: KECCAK256 000003d4: SLOAD 000003d5: PUSH1 0x05 000003d7: SWAP1 000003d8: SWAP2 000003d9: MUL 000003da: SWAP1 000003db: SWAP2 000003dc: ADD 000003dd: SWAP2 000003de: POP 000003df: PUSH1 0xff 000003e1: AND 000003e2: PUSH2 0x0420 000003e5: JUMPI 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: PUSH3 0x461bcd 000003ed: PUSH1 0xe5 000003ef: SHL 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x20 000003f4: PUSH1 0x04 000003f6: DUP3 000003f7: ADD 000003f8: MSTORE 000003f9: PUSH1 0x10 000003fb: PUSH1 0x24 000003fd: DUP3 000003fe: ADD 000003ff: MSTORE 00000400: PUSH16 0x1d1e081b9bdd0818dbdb999a5c9b5959 00000411: PUSH1 0x82 00000413: SHL 00000414: PUSH1 0x44 00000416: DUP3 00000417: ADD 00000418: MSTORE 00000419: PUSH1 0x64 0000041b: ADD 0000041c: PUSH2 0x032c 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH1 0x01 00000423: DUP2 00000424: PUSH1 0x04 00000426: ADD 00000427: PUSH1 0x00 00000429: DUP3 0000042a: DUP3 0000042b: SLOAD 0000042c: PUSH2 0x0435 0000042f: SWAP2 00000430: SWAP1 00000431: PUSH2 0x0e98 00000434: JUMP 00000435: JUMPDEST 00000436: SWAP1 00000437: SWAP2 00000438: SSTORE 00000439: POP 0000043a: POP 0000043b: PUSH1 0x00 0000043d: DUP5 0000043e: DUP2 0000043f: MSTORE 00000440: PUSH1 0x03 00000442: PUSH1 0x20 00000444: SWAP1 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x40 00000449: DUP1 0000044a: DUP4 0000044b: KECCAK256 0000044c: CALLER 0000044d: DUP1 0000044e: DUP6 0000044f: MSTORE 00000450: SWAP3 00000451: MSTORE 00000452: DUP1 00000453: DUP4 00000454: KECCAK256 00000455: DUP1 00000456: SLOAD 00000457: PUSH1 0xff 00000459: NOT 0000045a: AND 0000045b: SWAP1 0000045c: SSTORE 0000045d: MLOAD 0000045e: DUP7 0000045f: SWAP3 00000460: PUSH32 0xf0dca620e2e81f7841d07bcc105e1704fb01475b278a9d4c236e1c62945edd55 00000481: SWAP2 00000482: LOG3 00000483: POP 00000484: POP 00000485: POP 00000486: POP 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x00 0000048b: DUP1 0000048c: PUSH1 0x60 0000048e: PUSH1 0x00 00000490: DUP1 00000491: PUSH1 0x00 00000493: PUSH1 0x04 00000495: DUP8 00000496: DUP2 00000497: SLOAD 00000498: DUP2 00000499: LT 0000049a: PUSH2 0x04a5 0000049d: JUMPI 0000049e: PUSH2 0x04a5 000004a1: PUSH2 0x0e3f 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x00 000004a8: SWAP2 000004a9: DUP3 000004aa: MSTORE 000004ab: PUSH1 0x20 000004ad: SWAP1 000004ae: SWAP2 000004af: KECCAK256 000004b0: PUSH1 0x05 000004b2: SWAP1 000004b3: SWAP2 000004b4: MUL 000004b5: ADD 000004b6: DUP1 000004b7: SLOAD 000004b8: PUSH1 0x01 000004ba: DUP3 000004bb: ADD 000004bc: SLOAD 000004bd: PUSH1 0x03 000004bf: DUP4 000004c0: ADD 000004c1: SLOAD 000004c2: PUSH1 0x04 000004c4: DUP5 000004c5: ADD 000004c6: SLOAD 000004c7: PUSH1 0x02 000004c9: DUP6 000004ca: ADD 000004cb: DUP1 000004cc: SLOAD 000004cd: SWAP6 000004ce: SWAP7 000004cf: POP 000004d0: PUSH1 0x01 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: SHL 000004d7: SUB 000004d8: SWAP1 000004d9: SWAP5 000004da: AND 000004db: SWAP5 000004dc: SWAP3 000004dd: SWAP4 000004de: SWAP3 000004df: PUSH1 0xff 000004e1: SWAP1 000004e2: SWAP3 000004e3: AND 000004e4: SWAP2 000004e5: DUP4 000004e6: SWAP1 000004e7: PUSH2 0x04ef 000004ea: SWAP1 000004eb: PUSH2 0x0eb1 000004ee: JUMP 000004ef: JUMPDEST 000004f0: DUP1 000004f1: PUSH1 0x1f 000004f3: ADD 000004f4: PUSH1 0x20 000004f6: DUP1 000004f7: SWAP2 000004f8: DIV 000004f9: MUL 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: PUSH1 0x40 000004ff: MLOAD 00000500: SWAP1 00000501: DUP2 00000502: ADD 00000503: PUSH1 0x40 00000505: MSTORE 00000506: DUP1 00000507: SWAP3 00000508: SWAP2 00000509: SWAP1 0000050a: DUP2 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: DUP3 00000511: DUP1 00000512: SLOAD 00000513: PUSH2 0x051b 00000516: SWAP1 00000517: PUSH2 0x0eb1 0000051a: JUMP 0000051b: JUMPDEST 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0568 00000521: JUMPI 00000522: DUP1 00000523: PUSH1 0x1f 00000525: LT 00000526: PUSH2 0x053d 00000529: JUMPI 0000052a: PUSH2 0x0100 0000052d: DUP1 0000052e: DUP4 0000052f: SLOAD 00000530: DIV 00000531: MUL 00000532: DUP4 00000533: MSTORE 00000534: SWAP2 00000535: PUSH1 0x20 00000537: ADD 00000538: SWAP2 00000539: PUSH2 0x0568 0000053c: JUMP 0000053d: JUMPDEST 0000053e: DUP3 0000053f: ADD 00000540: SWAP2 00000541: SWAP1 00000542: PUSH1 0x00 00000544: MSTORE 00000545: PUSH1 0x20 00000547: PUSH1 0x00 00000549: KECCAK256 0000054a: SWAP1 0000054b: JUMPDEST 0000054c: DUP2 0000054d: SLOAD 0000054e: DUP2 0000054f: MSTORE 00000550: SWAP1 00000551: PUSH1 0x01 00000553: ADD 00000554: SWAP1 00000555: PUSH1 0x20 00000557: ADD 00000558: DUP1 00000559: DUP4 0000055a: GT 0000055b: PUSH2 0x054b 0000055e: JUMPI 0000055f: DUP3 00000560: SWAP1 00000561: SUB 00000562: PUSH1 0x1f 00000564: AND 00000565: DUP3 00000566: ADD 00000567: SWAP2 00000568: JUMPDEST 00000569: POP 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: POP 0000056e: SWAP3 0000056f: POP 00000570: SWAP6 00000571: POP 00000572: SWAP6 00000573: POP 00000574: SWAP6 00000575: POP 00000576: SWAP6 00000577: POP 00000578: SWAP6 00000579: POP 0000057a: POP 0000057b: SWAP2 0000057c: SWAP4 0000057d: SWAP6 0000057e: SWAP1 0000057f: SWAP3 00000580: SWAP5 00000581: POP 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x04 00000586: DUP2 00000587: DUP2 00000588: SLOAD 00000589: DUP2 0000058a: LT 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: PUSH1 0x00 00000596: SWAP2 00000597: DUP3 00000598: MSTORE 00000599: PUSH1 0x20 0000059b: SWAP1 0000059c: SWAP2 0000059d: KECCAK256 0000059e: PUSH1 0x05 000005a0: SWAP1 000005a1: SWAP2 000005a2: MUL 000005a3: ADD 000005a4: DUP1 000005a5: SLOAD 000005a6: PUSH1 0x01 000005a8: DUP3 000005a9: ADD 000005aa: SLOAD 000005ab: PUSH1 0x02 000005ad: DUP4 000005ae: ADD 000005af: DUP1 000005b0: SLOAD 000005b1: PUSH1 0x01 000005b3: PUSH1 0x01 000005b5: PUSH1 0xa0 000005b7: SHL 000005b8: SUB 000005b9: SWAP1 000005ba: SWAP4 000005bb: AND 000005bc: SWAP5 000005bd: POP 000005be: SWAP1 000005bf: SWAP3 000005c0: SWAP2 000005c1: PUSH2 0x05c9 000005c4: SWAP1 000005c5: PUSH2 0x0eb1 000005c8: JUMP 000005c9: JUMPDEST 000005ca: DUP1 000005cb: PUSH1 0x1f 000005cd: ADD 000005ce: PUSH1 0x20 000005d0: DUP1 000005d1: SWAP2 000005d2: DIV 000005d3: MUL 000005d4: PUSH1 0x20 000005d6: ADD 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: SWAP1 000005db: DUP2 000005dc: ADD 000005dd: PUSH1 0x40 000005df: MSTORE 000005e0: DUP1 000005e1: SWAP3 000005e2: SWAP2 000005e3: SWAP1 000005e4: DUP2 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x20 000005e9: ADD 000005ea: DUP3 000005eb: DUP1 000005ec: SLOAD 000005ed: PUSH2 0x05f5 000005f0: SWAP1 000005f1: PUSH2 0x0eb1 000005f4: JUMP 000005f5: JUMPDEST 000005f6: DUP1 000005f7: ISZERO 000005f8: PUSH2 0x0642 000005fb: JUMPI 000005fc: DUP1 000005fd: PUSH1 0x1f 000005ff: LT 00000600: PUSH2 0x0617 00000603: JUMPI 00000604: PUSH2 0x0100 00000607: DUP1 00000608: DUP4 00000609: SLOAD 0000060a: DIV 0000060b: MUL 0000060c: DUP4 0000060d: MSTORE 0000060e: SWAP2 0000060f: PUSH1 0x20 00000611: ADD 00000612: SWAP2 00000613: PUSH2 0x0642 00000616: JUMP 00000617: JUMPDEST 00000618: DUP3 00000619: ADD 0000061a: SWAP2 0000061b: SWAP1 0000061c: PUSH1 0x00 0000061e: MSTORE 0000061f: PUSH1 0x20 00000621: PUSH1 0x00 00000623: KECCAK256 00000624: SWAP1 00000625: JUMPDEST 00000626: DUP2 00000627: SLOAD 00000628: DUP2 00000629: MSTORE 0000062a: SWAP1 0000062b: PUSH1 0x01 0000062d: ADD 0000062e: SWAP1 0000062f: PUSH1 0x20 00000631: ADD 00000632: DUP1 00000633: DUP4 00000634: GT 00000635: PUSH2 0x0625 00000638: JUMPI 00000639: DUP3 0000063a: SWAP1 0000063b: SUB 0000063c: PUSH1 0x1f 0000063e: AND 0000063f: DUP3 00000640: ADD 00000641: SWAP2 00000642: JUMPDEST 00000643: POP 00000644: POP 00000645: POP 00000646: POP 00000647: PUSH1 0x03 00000649: DUP4 0000064a: ADD 0000064b: SLOAD 0000064c: PUSH1 0x04 0000064e: SWAP1 0000064f: SWAP4 00000650: ADD 00000651: SLOAD 00000652: SWAP2 00000653: SWAP3 00000654: PUSH1 0xff 00000656: AND 00000657: SWAP2 00000658: SWAP1 00000659: POP 0000065a: DUP6 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x60 0000065f: PUSH1 0x00 00000661: DUP1 00000662: SLOAD 00000663: DUP1 00000664: PUSH1 0x20 00000666: MUL 00000667: PUSH1 0x20 00000669: ADD 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: SWAP1 0000066e: DUP2 0000066f: ADD 00000670: PUSH1 0x40 00000672: MSTORE 00000673: DUP1 00000674: SWAP3 00000675: SWAP2 00000676: SWAP1 00000677: DUP2 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: DUP3 0000067e: DUP1 0000067f: SLOAD 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x06b4 00000685: JUMPI 00000686: PUSH1 0x20 00000688: MUL 00000689: DUP3 0000068a: ADD 0000068b: SWAP2 0000068c: SWAP1 0000068d: PUSH1 0x00 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: PUSH1 0x00 00000694: KECCAK256 00000695: SWAP1 00000696: JUMPDEST 00000697: DUP2 00000698: SLOAD 00000699: PUSH1 0x01 0000069b: PUSH1 0x01 0000069d: PUSH1 0xa0 0000069f: SHL 000006a0: SUB 000006a1: AND 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x01 000006a6: SWAP1 000006a7: SWAP2 000006a8: ADD 000006a9: SWAP1 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: DUP1 000006ae: DUP4 000006af: GT 000006b0: PUSH2 0x0696 000006b3: JUMPI 000006b4: JUMPDEST 000006b5: POP 000006b6: POP 000006b7: POP 000006b8: POP 000006b9: POP 000006ba: SWAP1 000006bb: POP 000006bc: SWAP1 000006bd: JUMP 000006be: JUMPDEST 000006bf: CALLER 000006c0: PUSH1 0x00 000006c2: SWAP1 000006c3: DUP2 000006c4: MSTORE 000006c5: PUSH1 0x01 000006c7: PUSH1 0x20 000006c9: MSTORE 000006ca: PUSH1 0x40 000006cc: SWAP1 000006cd: KECCAK256 000006ce: SLOAD 000006cf: PUSH1 0xff 000006d1: AND 000006d2: PUSH2 0x06ed 000006d5: JUMPI 000006d6: PUSH1 0x40 000006d8: MLOAD 000006d9: PUSH3 0x461bcd 000006dd: PUSH1 0xe5 000006df: SHL 000006e0: DUP2 000006e1: MSTORE 000006e2: PUSH1 0x04 000006e4: ADD 000006e5: PUSH2 0x032c 000006e8: SWAP1 000006e9: PUSH2 0x0df1 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x04 000006f0: SLOAD 000006f1: DUP2 000006f2: SWAP1 000006f3: DUP2 000006f4: LT 000006f5: PUSH2 0x0710 000006f8: JUMPI 000006f9: PUSH1 0x40 000006fb: MLOAD 000006fc: PUSH3 0x461bcd 00000700: PUSH1 0xe5 00000702: SHL 00000703: DUP2 00000704: MSTORE 00000705: PUSH1 0x04 00000707: ADD 00000708: PUSH2 0x032c 0000070b: SWAP1 0000070c: PUSH2 0x0e14 0000070f: JUMP 00000710: JUMPDEST 00000711: DUP2 00000712: PUSH1 0x04 00000714: DUP2 00000715: DUP2 00000716: SLOAD 00000717: DUP2 00000718: LT 00000719: PUSH2 0x0724 0000071c: JUMPI 0000071d: PUSH2 0x0724 00000720: PUSH2 0x0e3f 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH1 0x00 00000727: SWAP2 00000728: DUP3 00000729: MSTORE 0000072a: PUSH1 0x20 0000072c: SWAP1 0000072d: SWAP2 0000072e: KECCAK256 0000072f: PUSH1 0x03 00000731: PUSH1 0x05 00000733: SWAP1 00000734: SWAP3 00000735: MUL 00000736: ADD 00000737: ADD 00000738: SLOAD 00000739: PUSH1 0xff 0000073b: AND 0000073c: ISZERO 0000073d: PUSH2 0x0758 00000740: JUMPI 00000741: PUSH1 0x40 00000743: MLOAD 00000744: PUSH3 0x461bcd 00000748: PUSH1 0xe5 0000074a: SHL 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x04 0000074f: ADD 00000750: PUSH2 0x032c 00000753: SWAP1 00000754: PUSH2 0x0e55 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x00 0000075b: DUP4 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x03 00000760: PUSH1 0x20 00000762: SWAP1 00000763: DUP2 00000764: MSTORE 00000765: PUSH1 0x40 00000767: DUP1 00000768: DUP4 00000769: KECCAK256 0000076a: CALLER 0000076b: DUP5 0000076c: MSTORE 0000076d: SWAP1 0000076e: SWAP2 0000076f: MSTORE 00000770: SWAP1 00000771: KECCAK256 00000772: SLOAD 00000773: DUP4 00000774: SWAP1 00000775: PUSH1 0xff 00000777: AND 00000778: ISZERO 00000779: PUSH2 0x07bb 0000077c: JUMPI 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: PUSH3 0x461bcd 00000784: PUSH1 0xe5 00000786: SHL 00000787: DUP2 00000788: MSTORE 00000789: PUSH1 0x20 0000078b: PUSH1 0x04 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: PUSH1 0x14 00000792: PUSH1 0x24 00000794: DUP3 00000795: ADD 00000796: MSTORE 00000797: PUSH20 0x1d1e08185b1c9958591e4818dbdb999a5c9b5959 000007ac: PUSH1 0x62 000007ae: SHL 000007af: PUSH1 0x44 000007b1: DUP3 000007b2: ADD 000007b3: MSTORE 000007b4: PUSH1 0x64 000007b6: ADD 000007b7: PUSH2 0x032c 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x00 000007be: PUSH1 0x04 000007c0: DUP6 000007c1: DUP2 000007c2: SLOAD 000007c3: DUP2 000007c4: LT 000007c5: PUSH2 0x07d0 000007c8: JUMPI 000007c9: PUSH2 0x07d0 000007cc: PUSH2 0x0e3f 000007cf: JUMP 000007d0: JUMPDEST 000007d1: SWAP1 000007d2: PUSH1 0x00 000007d4: MSTORE 000007d5: PUSH1 0x20 000007d7: PUSH1 0x00 000007d9: KECCAK256 000007da: SWAP1 000007db: PUSH1 0x05 000007dd: MUL 000007de: ADD 000007df: SWAP1 000007e0: POP 000007e1: PUSH1 0x01 000007e3: DUP2 000007e4: PUSH1 0x04 000007e6: ADD 000007e7: PUSH1 0x00 000007e9: DUP3 000007ea: DUP3 000007eb: SLOAD 000007ec: PUSH2 0x07f5 000007ef: SWAP2 000007f0: SWAP1 000007f1: PUSH2 0x0eeb 000007f4: JUMP 000007f5: JUMPDEST 000007f6: SWAP1 000007f7: SWAP2 000007f8: SSTORE 000007f9: POP 000007fa: POP 000007fb: PUSH1 0x00 000007fd: DUP6 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x03 00000802: PUSH1 0x20 00000804: SWAP1 00000805: DUP2 00000806: MSTORE 00000807: PUSH1 0x40 00000809: DUP1 0000080a: DUP4 0000080b: KECCAK256 0000080c: CALLER 0000080d: DUP1 0000080e: DUP6 0000080f: MSTORE 00000810: SWAP3 00000811: MSTORE 00000812: DUP1 00000813: DUP4 00000814: KECCAK256 00000815: DUP1 00000816: SLOAD 00000817: PUSH1 0xff 00000819: NOT 0000081a: AND 0000081b: PUSH1 0x01 0000081d: OR 0000081e: SWAP1 0000081f: SSTORE 00000820: MLOAD 00000821: DUP8 00000822: SWAP3 00000823: PUSH32 0x5cbe105e36805f7820e291f799d5794ff948af2a5f664e580382defb63390041 00000844: SWAP2 00000845: LOG3 00000846: POP 00000847: POP 00000848: POP 00000849: POP 0000084a: POP 0000084b: JUMP 0000084c: JUMPDEST 0000084d: CALLER 0000084e: PUSH1 0x00 00000850: SWAP1 00000851: DUP2 00000852: MSTORE 00000853: PUSH1 0x01 00000855: PUSH1 0x20 00000857: MSTORE 00000858: PUSH1 0x40 0000085a: SWAP1 0000085b: KECCAK256 0000085c: SLOAD 0000085d: PUSH1 0xff 0000085f: AND 00000860: PUSH2 0x087b 00000863: JUMPI 00000864: PUSH1 0x40 00000866: MLOAD 00000867: PUSH3 0x461bcd 0000086b: PUSH1 0xe5 0000086d: SHL 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x04 00000872: ADD 00000873: PUSH2 0x032c 00000876: SWAP1 00000877: PUSH2 0x0df1 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH1 0x04 0000087e: DUP1 0000087f: SLOAD 00000880: PUSH1 0x40 00000882: DUP1 00000883: MLOAD 00000884: PUSH1 0xa0 00000886: DUP2 00000887: ADD 00000888: DUP3 00000889: MSTORE 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: SHL 00000891: SUB 00000892: DUP8 00000893: DUP2 00000894: AND 00000895: DUP3 00000896: MSTORE 00000897: PUSH1 0x20 00000899: DUP3 0000089a: ADD 0000089b: DUP8 0000089c: DUP2 0000089d: MSTORE 0000089e: SWAP3 0000089f: DUP3 000008a0: ADD 000008a1: DUP7 000008a2: DUP2 000008a3: MSTORE 000008a4: PUSH1 0x00 000008a6: PUSH1 0x60 000008a8: DUP5 000008a9: ADD 000008aa: DUP2 000008ab: SWAP1 000008ac: MSTORE 000008ad: PUSH1 0x80 000008af: DUP5 000008b0: ADD 000008b1: DUP2 000008b2: SWAP1 000008b3: MSTORE 000008b4: PUSH1 0x01 000008b6: DUP7 000008b7: ADD 000008b8: DUP8 000008b9: SSTORE 000008ba: SWAP6 000008bb: SWAP1 000008bc: SWAP6 000008bd: MSTORE 000008be: DUP2 000008bf: MLOAD 000008c0: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 000008e1: PUSH1 0x05 000008e3: DUP7 000008e4: MUL 000008e5: SWAP1 000008e6: DUP2 000008e7: ADD 000008e8: DUP1 000008e9: SLOAD 000008ea: PUSH1 0x01 000008ec: PUSH1 0x01 000008ee: PUSH1 0xa0 000008f0: SHL 000008f1: SUB 000008f2: NOT 000008f3: AND 000008f4: SWAP3 000008f5: SWAP1 000008f6: SWAP4 000008f7: AND 000008f8: SWAP2 000008f9: SWAP1 000008fa: SWAP2 000008fb: OR 000008fc: DUP3 000008fd: SSTORE 000008fe: SWAP3 000008ff: MLOAD 00000900: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 00000921: DUP5 00000922: ADD 00000923: SSTORE 00000924: SWAP4 00000925: MLOAD 00000926: SWAP3 00000927: SWAP4 00000928: SWAP1 00000929: SWAP3 0000092a: SWAP1 0000092b: SWAP2 0000092c: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d 0000094d: ADD 0000094e: SWAP1 0000094f: PUSH2 0x0958 00000952: SWAP1 00000953: DUP3 00000954: PUSH2 0x0f4d 00000957: JUMP 00000958: JUMPDEST 00000959: POP 0000095a: PUSH1 0x60 0000095c: DUP3 0000095d: ADD 0000095e: MLOAD 0000095f: PUSH1 0x03 00000961: DUP3 00000962: ADD 00000963: DUP1 00000964: SLOAD 00000965: PUSH1 0xff 00000967: NOT 00000968: AND 00000969: SWAP2 0000096a: ISZERO 0000096b: ISZERO 0000096c: SWAP2 0000096d: SWAP1 0000096e: SWAP2 0000096f: OR 00000970: SWAP1 00000971: SSTORE 00000972: PUSH1 0x80 00000974: SWAP1 00000975: SWAP2 00000976: ADD 00000977: MLOAD 00000978: PUSH1 0x04 0000097a: SWAP1 0000097b: SWAP2 0000097c: ADD 0000097d: SSTORE 0000097e: PUSH1 0x40 00000980: MLOAD 00000981: PUSH1 0x01 00000983: PUSH1 0x01 00000985: PUSH1 0xa0 00000987: SHL 00000988: SUB 00000989: DUP6 0000098a: AND 0000098b: SWAP1 0000098c: DUP3 0000098d: SWAP1 0000098e: CALLER 0000098f: SWAP1 00000990: PUSH32 0xd5a05bf70715ad82a09a756320284a1b54c9ff74cd0f8cce6219e79b563fe59d 000009b1: SWAP1 000009b2: PUSH2 0x09be 000009b5: SWAP1 000009b6: DUP9 000009b7: SWAP1 000009b8: DUP9 000009b9: SWAP1 000009ba: PUSH2 0x100d 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x40 000009c1: MLOAD 000009c2: DUP1 000009c3: SWAP2 000009c4: SUB 000009c5: SWAP1 000009c6: LOG4 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: CALLER 000009ce: PUSH1 0x00 000009d0: SWAP1 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x01 000009d5: PUSH1 0x20 000009d7: MSTORE 000009d8: PUSH1 0x40 000009da: SWAP1 000009db: KECCAK256 000009dc: SLOAD 000009dd: PUSH1 0xff 000009df: AND 000009e0: PUSH2 0x09fb 000009e3: JUMPI 000009e4: PUSH1 0x40 000009e6: MLOAD 000009e7: PUSH3 0x461bcd 000009eb: PUSH1 0xe5 000009ed: SHL 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x04 000009f2: ADD 000009f3: PUSH2 0x032c 000009f6: SWAP1 000009f7: PUSH2 0x0df1 000009fa: JUMP 000009fb: JUMPDEST 000009fc: PUSH1 0x04 000009fe: SLOAD 000009ff: DUP2 00000a00: SWAP1 00000a01: DUP2 00000a02: LT 00000a03: PUSH2 0x0a1e 00000a06: JUMPI 00000a07: PUSH1 0x40 00000a09: MLOAD 00000a0a: PUSH3 0x461bcd 00000a0e: PUSH1 0xe5 00000a10: SHL 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x04 00000a15: ADD 00000a16: PUSH2 0x032c 00000a19: SWAP1 00000a1a: PUSH2 0x0e14 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: DUP2 00000a20: PUSH1 0x04 00000a22: DUP2 00000a23: DUP2 00000a24: SLOAD 00000a25: DUP2 00000a26: LT 00000a27: PUSH2 0x0a32 00000a2a: JUMPI 00000a2b: PUSH2 0x0a32 00000a2e: PUSH2 0x0e3f 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x00 00000a35: SWAP2 00000a36: DUP3 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: SWAP1 00000a3b: SWAP2 00000a3c: KECCAK256 00000a3d: PUSH1 0x03 00000a3f: PUSH1 0x05 00000a41: SWAP1 00000a42: SWAP3 00000a43: MUL 00000a44: ADD 00000a45: ADD 00000a46: SLOAD 00000a47: PUSH1 0xff 00000a49: AND 00000a4a: ISZERO 00000a4b: PUSH2 0x0a66 00000a4e: JUMPI 00000a4f: PUSH1 0x40 00000a51: MLOAD 00000a52: PUSH3 0x461bcd 00000a56: PUSH1 0xe5 00000a58: SHL 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x04 00000a5d: ADD 00000a5e: PUSH2 0x032c 00000a61: SWAP1 00000a62: PUSH2 0x0e55 00000a65: JUMP 00000a66: JUMPDEST 00000a67: PUSH1 0x00 00000a69: PUSH1 0x04 00000a6b: DUP5 00000a6c: DUP2 00000a6d: SLOAD 00000a6e: DUP2 00000a6f: LT 00000a70: PUSH2 0x0a7b 00000a73: JUMPI 00000a74: PUSH2 0x0a7b 00000a77: PUSH2 0x0e3f 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: SWAP1 00000a7d: PUSH1 0x00 00000a7f: MSTORE 00000a80: PUSH1 0x20 00000a82: PUSH1 0x00 00000a84: KECCAK256 00000a85: SWAP1 00000a86: PUSH1 0x05 00000a88: MUL 00000a89: ADD 00000a8a: SWAP1 00000a8b: POP 00000a8c: PUSH1 0x02 00000a8e: SLOAD 00000a8f: DUP2 00000a90: PUSH1 0x04 00000a92: ADD 00000a93: SLOAD 00000a94: LT 00000a95: ISZERO 00000a96: PUSH2 0x0ad5 00000a99: JUMPI 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: PUSH3 0x461bcd 00000aa1: PUSH1 0xe5 00000aa3: SHL 00000aa4: DUP2 00000aa5: MSTORE 00000aa6: PUSH1 0x20 00000aa8: PUSH1 0x04 00000aaa: DUP3 00000aab: ADD 00000aac: MSTORE 00000aad: PUSH1 0x11 00000aaf: PUSH1 0x24 00000ab1: DUP3 00000ab2: ADD 00000ab3: MSTORE 00000ab4: PUSH17 0x0c6c2dcdcdee840caf0cac6eae8ca40e8f 00000ac6: PUSH1 0x7b 00000ac8: SHL 00000ac9: PUSH1 0x44 00000acb: DUP3 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH1 0x64 00000ad0: ADD 00000ad1: PUSH2 0x032c 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: PUSH1 0x03 00000ad8: DUP2 00000ad9: ADD 00000ada: DUP1 00000adb: SLOAD 00000adc: PUSH1 0xff 00000ade: NOT 00000adf: AND 00000ae0: PUSH1 0x01 00000ae2: SWAP1 00000ae3: DUP2 00000ae4: OR 00000ae5: SWAP1 00000ae6: SWAP2 00000ae7: SSTORE 00000ae8: DUP2 00000ae9: SLOAD 00000aea: SWAP1 00000aeb: DUP3 00000aec: ADD 00000aed: SLOAD 00000aee: PUSH1 0x40 00000af0: MLOAD 00000af1: PUSH1 0x00 00000af3: SWAP3 00000af4: PUSH1 0x01 00000af6: PUSH1 0x01 00000af8: PUSH1 0xa0 00000afa: SHL 00000afb: SUB 00000afc: AND 00000afd: SWAP2 00000afe: SWAP1 00000aff: PUSH2 0x0b0c 00000b02: SWAP1 00000b03: PUSH1 0x02 00000b05: DUP7 00000b06: ADD 00000b07: SWAP1 00000b08: PUSH2 0x102e 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: PUSH1 0x00 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: DUP1 00000b13: DUP4 00000b14: SUB 00000b15: DUP2 00000b16: DUP6 00000b17: DUP8 00000b18: GAS 00000b19: CALL 00000b1a: SWAP3 00000b1b: POP 00000b1c: POP 00000b1d: POP 00000b1e: RETURNDATASIZE 00000b1f: DUP1 00000b20: PUSH1 0x00 00000b22: DUP2 00000b23: EQ 00000b24: PUSH2 0x0b49 00000b27: JUMPI 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: SWAP2 00000b2c: POP 00000b2d: PUSH1 0x1f 00000b2f: NOT 00000b30: PUSH1 0x3f 00000b32: RETURNDATASIZE 00000b33: ADD 00000b34: AND 00000b35: DUP3 00000b36: ADD 00000b37: PUSH1 0x40 00000b39: MSTORE 00000b3a: RETURNDATASIZE 00000b3b: DUP3 00000b3c: MSTORE 00000b3d: RETURNDATASIZE 00000b3e: PUSH1 0x00 00000b40: PUSH1 0x20 00000b42: DUP5 00000b43: ADD 00000b44: RETURNDATACOPY 00000b45: PUSH2 0x0b4e 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH1 0x60 00000b4c: SWAP2 00000b4d: POP 00000b4e: JUMPDEST 00000b4f: POP 00000b50: POP 00000b51: SWAP1 00000b52: POP 00000b53: DUP1 00000b54: PUSH2 0x0b8b 00000b57: JUMPI 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: PUSH3 0x461bcd 00000b5f: PUSH1 0xe5 00000b61: SHL 00000b62: DUP2 00000b63: MSTORE 00000b64: PUSH1 0x20 00000b66: PUSH1 0x04 00000b68: DUP3 00000b69: ADD 00000b6a: MSTORE 00000b6b: PUSH1 0x09 00000b6d: PUSH1 0x24 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH9 0x1d1e0819985a5b1959 00000b7c: PUSH1 0xba 00000b7e: SHL 00000b7f: PUSH1 0x44 00000b81: DUP3 00000b82: ADD 00000b83: MSTORE 00000b84: PUSH1 0x64 00000b86: ADD 00000b87: PUSH2 0x032c 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH1 0x40 00000b8e: MLOAD 00000b8f: DUP6 00000b90: SWAP1 00000b91: CALLER 00000b92: SWAP1 00000b93: PUSH32 0x5445f318f4f5fcfb66592e68e0cc5822aa15664039bd5f0ffde24c5a8142b1ac 00000bb4: SWAP1 00000bb5: PUSH1 0x00 00000bb7: SWAP1 00000bb8: LOG3 00000bb9: POP 00000bba: POP 00000bbb: POP 00000bbc: POP 00000bbd: POP 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x00 00000bc2: PUSH1 0x20 00000bc4: DUP3 00000bc5: DUP5 00000bc6: SUB 00000bc7: SLT 00000bc8: ISZERO 00000bc9: PUSH2 0x0bd1 00000bcc: JUMPI 00000bcd: PUSH1 0x00 00000bcf: DUP1 00000bd0: REVERT 00000bd1: JUMPDEST 00000bd2: POP 00000bd3: CALLDATALOAD 00000bd4: SWAP2 00000bd5: SWAP1 00000bd6: POP 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: DUP1 00000bda: CALLDATALOAD 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: DUP2 00000be4: AND 00000be5: DUP2 00000be6: EQ 00000be7: PUSH2 0x0bef 00000bea: JUMPI 00000beb: PUSH1 0x00 00000bed: DUP1 00000bee: REVERT 00000bef: JUMPDEST 00000bf0: SWAP2 00000bf1: SWAP1 00000bf2: POP 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x00 00000bf7: PUSH1 0x20 00000bf9: DUP3 00000bfa: DUP5 00000bfb: SUB 00000bfc: SLT 00000bfd: ISZERO 00000bfe: PUSH2 0x0c06 00000c01: JUMPI 00000c02: PUSH1 0x00 00000c04: DUP1 00000c05: REVERT 00000c06: JUMPDEST 00000c07: PUSH2 0x0c0f 00000c0a: DUP3 00000c0b: PUSH2 0x0bd8 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: SWAP4 00000c11: SWAP3 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: JUMP 00000c16: JUMPDEST 00000c17: PUSH1 0x00 00000c19: DUP2 00000c1a: MLOAD 00000c1b: DUP1 00000c1c: DUP5 00000c1d: MSTORE 00000c1e: PUSH1 0x00 00000c20: JUMPDEST 00000c21: DUP2 00000c22: DUP2 00000c23: LT 00000c24: ISZERO 00000c25: PUSH2 0x0c3c 00000c28: JUMPI 00000c29: PUSH1 0x20 00000c2b: DUP2 00000c2c: DUP6 00000c2d: ADD 00000c2e: DUP2 00000c2f: ADD 00000c30: MLOAD 00000c31: DUP7 00000c32: DUP4 00000c33: ADD 00000c34: DUP3 00000c35: ADD 00000c36: MSTORE 00000c37: ADD 00000c38: PUSH2 0x0c20 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: POP 00000c3e: PUSH1 0x00 00000c40: PUSH1 0x20 00000c42: DUP3 00000c43: DUP7 00000c44: ADD 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH1 0x20 00000c49: PUSH1 0x1f 00000c4b: NOT 00000c4c: PUSH1 0x1f 00000c4e: DUP4 00000c4f: ADD 00000c50: AND 00000c51: DUP6 00000c52: ADD 00000c53: ADD 00000c54: SWAP2 00000c55: POP 00000c56: POP 00000c57: SWAP3 00000c58: SWAP2 00000c59: POP 00000c5a: POP 00000c5b: JUMP 00000c5c: JUMPDEST 00000c5d: PUSH1 0x01 00000c5f: DUP1 00000c60: PUSH1 0xa0 00000c62: SHL 00000c63: SUB 00000c64: DUP7 00000c65: AND 00000c66: DUP2 00000c67: MSTORE 00000c68: DUP5 00000c69: PUSH1 0x20 00000c6b: DUP3 00000c6c: ADD 00000c6d: MSTORE 00000c6e: PUSH1 0xa0 00000c70: PUSH1 0x40 00000c72: DUP3 00000c73: ADD 00000c74: MSTORE 00000c75: PUSH1 0x00 00000c77: PUSH2 0x0c83 00000c7a: PUSH1 0xa0 00000c7c: DUP4 00000c7d: ADD 00000c7e: DUP7 00000c7f: PUSH2 0x0c16 00000c82: JUMP 00000c83: JUMPDEST 00000c84: SWAP4 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH1 0x60 00000c89: DUP4 00000c8a: ADD 00000c8b: MSTORE 00000c8c: POP 00000c8d: PUSH1 0x80 00000c8f: ADD 00000c90: MSTORE 00000c91: SWAP4 00000c92: SWAP3 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: JUMP 00000c97: JUMPDEST 00000c98: PUSH1 0x00 00000c9a: DUP1 00000c9b: PUSH1 0x40 00000c9d: DUP4 00000c9e: DUP6 00000c9f: SUB 00000ca0: SLT 00000ca1: ISZERO 00000ca2: PUSH2 0x0caa 00000ca5: JUMPI 00000ca6: PUSH1 0x00 00000ca8: DUP1 00000ca9: REVERT 00000caa: JUMPDEST 00000cab: DUP3 00000cac: CALLDATALOAD 00000cad: SWAP2 00000cae: POP 00000caf: PUSH2 0x0cba 00000cb2: PUSH1 0x20 00000cb4: DUP5 00000cb5: ADD 00000cb6: PUSH2 0x0bd8 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: SWAP1 00000cbc: POP 00000cbd: SWAP3 00000cbe: POP 00000cbf: SWAP3 00000cc0: SWAP1 00000cc1: POP 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH1 0x20 00000cc6: DUP1 00000cc7: DUP3 00000cc8: MSTORE 00000cc9: DUP3 00000cca: MLOAD 00000ccb: DUP3 00000ccc: DUP3 00000ccd: ADD 00000cce: DUP2 00000ccf: SWAP1 00000cd0: MSTORE 00000cd1: PUSH1 0x00 00000cd3: SWAP2 00000cd4: SWAP1 00000cd5: DUP5 00000cd6: DUP3 00000cd7: ADD 00000cd8: SWAP1 00000cd9: PUSH1 0x40 00000cdb: DUP6 00000cdc: ADD 00000cdd: SWAP1 00000cde: DUP5 00000cdf: JUMPDEST 00000ce0: DUP2 00000ce1: DUP2 00000ce2: LT 00000ce3: ISZERO 00000ce4: PUSH2 0x0d04 00000ce7: JUMPI 00000ce8: DUP4 00000ce9: MLOAD 00000cea: PUSH1 0x01 00000cec: PUSH1 0x01 00000cee: PUSH1 0xa0 00000cf0: SHL 00000cf1: SUB 00000cf2: AND 00000cf3: DUP4 00000cf4: MSTORE 00000cf5: SWAP3 00000cf6: DUP5 00000cf7: ADD 00000cf8: SWAP3 00000cf9: SWAP2 00000cfa: DUP5 00000cfb: ADD 00000cfc: SWAP2 00000cfd: PUSH1 0x01 00000cff: ADD 00000d00: PUSH2 0x0cdf 00000d03: JUMP 00000d04: JUMPDEST 00000d05: POP 00000d06: SWAP1 00000d07: SWAP7 00000d08: SWAP6 00000d09: POP 00000d0a: POP 00000d0b: POP 00000d0c: POP 00000d0d: POP 00000d0e: POP 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH4 0x4e487b71 00000d16: PUSH1 0xe0 00000d18: SHL 00000d19: PUSH1 0x00 00000d1b: MSTORE 00000d1c: PUSH1 0x41 00000d1e: PUSH1 0x04 00000d20: MSTORE 00000d21: PUSH1 0x24 00000d23: PUSH1 0x00 00000d25: REVERT 00000d26: JUMPDEST 00000d27: PUSH1 0x00 00000d29: DUP1 00000d2a: PUSH1 0x00 00000d2c: PUSH1 0x60 00000d2e: DUP5 00000d2f: DUP7 00000d30: SUB 00000d31: SLT 00000d32: ISZERO 00000d33: PUSH2 0x0d3b 00000d36: JUMPI 00000d37: PUSH1 0x00 00000d39: DUP1 00000d3a: REVERT 00000d3b: JUMPDEST 00000d3c: PUSH2 0x0d44 00000d3f: DUP5 00000d40: PUSH2 0x0bd8 00000d43: JUMP 00000d44: JUMPDEST 00000d45: SWAP3 00000d46: POP 00000d47: PUSH1 0x20 00000d49: DUP5 00000d4a: ADD 00000d4b: CALLDATALOAD 00000d4c: SWAP2 00000d4d: POP 00000d4e: PUSH1 0x40 00000d50: DUP5 00000d51: ADD 00000d52: CALLDATALOAD 00000d53: PUSH8 0xffffffffffffffff 00000d5c: DUP1 00000d5d: DUP3 00000d5e: GT 00000d5f: ISZERO 00000d60: PUSH2 0x0d68 00000d63: JUMPI 00000d64: PUSH1 0x00 00000d66: DUP1 00000d67: REVERT 00000d68: JUMPDEST 00000d69: DUP2 00000d6a: DUP7 00000d6b: ADD 00000d6c: SWAP2 00000d6d: POP 00000d6e: DUP7 00000d6f: PUSH1 0x1f 00000d71: DUP4 00000d72: ADD 00000d73: SLT 00000d74: PUSH2 0x0d7c 00000d77: JUMPI 00000d78: PUSH1 0x00 00000d7a: DUP1 00000d7b: REVERT 00000d7c: JUMPDEST 00000d7d: DUP2 00000d7e: CALLDATALOAD 00000d7f: DUP2 00000d80: DUP2 00000d81: GT 00000d82: ISZERO 00000d83: PUSH2 0x0d8e 00000d86: JUMPI 00000d87: PUSH2 0x0d8e 00000d8a: PUSH2 0x0d10 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x40 00000d91: MLOAD 00000d92: PUSH1 0x1f 00000d94: DUP3 00000d95: ADD 00000d96: PUSH1 0x1f 00000d98: NOT 00000d99: SWAP1 00000d9a: DUP2 00000d9b: AND 00000d9c: PUSH1 0x3f 00000d9e: ADD 00000d9f: AND 00000da0: DUP2 00000da1: ADD 00000da2: SWAP1 00000da3: DUP4 00000da4: DUP3 00000da5: GT 00000da6: DUP2 00000da7: DUP4 00000da8: LT 00000da9: OR 00000daa: ISZERO 00000dab: PUSH2 0x0db6 00000dae: JUMPI 00000daf: PUSH2 0x0db6 00000db2: PUSH2 0x0d10 00000db5: JUMP 00000db6: JUMPDEST 00000db7: DUP2 00000db8: PUSH1 0x40 00000dba: MSTORE 00000dbb: DUP3 00000dbc: DUP2 00000dbd: MSTORE 00000dbe: DUP10 00000dbf: PUSH1 0x20 00000dc1: DUP5 00000dc2: DUP8 00000dc3: ADD 00000dc4: ADD 00000dc5: GT 00000dc6: ISZERO 00000dc7: PUSH2 0x0dcf 00000dca: JUMPI 00000dcb: PUSH1 0x00 00000dcd: DUP1 00000dce: REVERT 00000dcf: JUMPDEST 00000dd0: DUP3 00000dd1: PUSH1 0x20 00000dd3: DUP7 00000dd4: ADD 00000dd5: PUSH1 0x20 00000dd7: DUP4 00000dd8: ADD 00000dd9: CALLDATACOPY 00000dda: PUSH1 0x00 00000ddc: PUSH1 0x20 00000dde: DUP5 00000ddf: DUP4 00000de0: ADD 00000de1: ADD 00000de2: MSTORE 00000de3: DUP1 00000de4: SWAP6 00000de5: POP 00000de6: POP 00000de7: POP 00000de8: POP 00000de9: POP 00000dea: POP 00000deb: SWAP3 00000dec: POP 00000ded: SWAP3 00000dee: POP 00000def: SWAP3 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x20 00000df4: DUP1 00000df5: DUP3 00000df6: MSTORE 00000df7: PUSH1 0x09 00000df9: SWAP1 00000dfa: DUP3 00000dfb: ADD 00000dfc: MSTORE 00000dfd: PUSH9 0x3737ba1037bbb732b9 00000e07: PUSH1 0xb9 00000e09: SHL 00000e0a: PUSH1 0x40 00000e0c: DUP3 00000e0d: ADD 00000e0e: MSTORE 00000e0f: PUSH1 0x60 00000e11: ADD 00000e12: SWAP1 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH1 0x20 00000e17: DUP1 00000e18: DUP3 00000e19: MSTORE 00000e1a: PUSH1 0x11 00000e1c: SWAP1 00000e1d: DUP3 00000e1e: ADD 00000e1f: MSTORE 00000e20: PUSH17 0x1d1e08191bd95cc81b9bdd08195e1a5cdd 00000e32: PUSH1 0x7a 00000e34: SHL 00000e35: PUSH1 0x40 00000e37: DUP3 00000e38: ADD 00000e39: MSTORE 00000e3a: PUSH1 0x60 00000e3c: ADD 00000e3d: SWAP1 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: PUSH4 0x4e487b71 00000e45: PUSH1 0xe0 00000e47: SHL 00000e48: PUSH1 0x00 00000e4a: MSTORE 00000e4b: PUSH1 0x32 00000e4d: PUSH1 0x04 00000e4f: MSTORE 00000e50: PUSH1 0x24 00000e52: PUSH1 0x00 00000e54: REVERT 00000e55: JUMPDEST 00000e56: PUSH1 0x20 00000e58: DUP1 00000e59: DUP3 00000e5a: MSTORE 00000e5b: PUSH1 0x13 00000e5d: SWAP1 00000e5e: DUP3 00000e5f: ADD 00000e60: MSTORE 00000e61: PUSH19 0x1d1e08185b1c9958591e48195e1958dd5d1959 00000e75: PUSH1 0x6a 00000e77: SHL 00000e78: PUSH1 0x40 00000e7a: DUP3 00000e7b: ADD 00000e7c: MSTORE 00000e7d: PUSH1 0x60 00000e7f: ADD 00000e80: SWAP1 00000e81: JUMP 00000e82: JUMPDEST 00000e83: PUSH4 0x4e487b71 00000e88: PUSH1 0xe0 00000e8a: SHL 00000e8b: PUSH1 0x00 00000e8d: MSTORE 00000e8e: PUSH1 0x11 00000e90: PUSH1 0x04 00000e92: MSTORE 00000e93: PUSH1 0x24 00000e95: PUSH1 0x00 00000e97: REVERT 00000e98: JUMPDEST 00000e99: DUP2 00000e9a: DUP2 00000e9b: SUB 00000e9c: DUP2 00000e9d: DUP2 00000e9e: GT 00000e9f: ISZERO 00000ea0: PUSH2 0x0eab 00000ea3: JUMPI 00000ea4: PUSH2 0x0eab 00000ea7: PUSH2 0x0e82 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: SWAP3 00000ead: SWAP2 00000eae: POP 00000eaf: POP 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: PUSH1 0x01 00000eb4: DUP2 00000eb5: DUP2 00000eb6: SHR 00000eb7: SWAP1 00000eb8: DUP3 00000eb9: AND 00000eba: DUP1 00000ebb: PUSH2 0x0ec5 00000ebe: JUMPI 00000ebf: PUSH1 0x7f 00000ec1: DUP3 00000ec2: AND 00000ec3: SWAP2 00000ec4: POP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x20 00000ec8: DUP3 00000ec9: LT 00000eca: DUP2 00000ecb: SUB 00000ecc: PUSH2 0x0ee5 00000ecf: JUMPI 00000ed0: PUSH4 0x4e487b71 00000ed5: PUSH1 0xe0 00000ed7: SHL 00000ed8: PUSH1 0x00 00000eda: MSTORE 00000edb: PUSH1 0x22 00000edd: PUSH1 0x04 00000edf: MSTORE 00000ee0: PUSH1 0x24 00000ee2: PUSH1 0x00 00000ee4: REVERT 00000ee5: JUMPDEST 00000ee6: POP 00000ee7: SWAP2 00000ee8: SWAP1 00000ee9: POP 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: DUP1 00000eed: DUP3 00000eee: ADD 00000eef: DUP1 00000ef0: DUP3 00000ef1: GT 00000ef2: ISZERO 00000ef3: PUSH2 0x0eab 00000ef6: JUMPI 00000ef7: PUSH2 0x0eab 00000efa: PUSH2 0x0e82 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x1f 00000f01: DUP3 00000f02: GT 00000f03: ISZERO 00000f04: PUSH2 0x0f48 00000f07: JUMPI 00000f08: PUSH1 0x00 00000f0a: DUP2 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x20 00000f0f: DUP2 00000f10: KECCAK256 00000f11: PUSH1 0x1f 00000f13: DUP6 00000f14: ADD 00000f15: PUSH1 0x05 00000f17: SHR 00000f18: DUP2 00000f19: ADD 00000f1a: PUSH1 0x20 00000f1c: DUP7 00000f1d: LT 00000f1e: ISZERO 00000f1f: PUSH2 0x0f25 00000f22: JUMPI 00000f23: POP 00000f24: DUP1 00000f25: JUMPDEST 00000f26: PUSH1 0x1f 00000f28: DUP6 00000f29: ADD 00000f2a: PUSH1 0x05 00000f2c: SHR 00000f2d: DUP3 00000f2e: ADD 00000f2f: SWAP2 00000f30: POP 00000f31: JUMPDEST 00000f32: DUP2 00000f33: DUP2 00000f34: LT 00000f35: ISZERO 00000f36: PUSH2 0x0f44 00000f39: JUMPI 00000f3a: DUP3 00000f3b: DUP2 00000f3c: SSTORE 00000f3d: PUSH1 0x01 00000f3f: ADD 00000f40: PUSH2 0x0f31 00000f43: JUMP 00000f44: JUMPDEST 00000f45: POP 00000f46: POP 00000f47: POP 00000f48: JUMPDEST 00000f49: POP 00000f4a: POP 00000f4b: POP 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: DUP2 00000f4f: MLOAD 00000f50: PUSH8 0xffffffffffffffff 00000f59: DUP2 00000f5a: GT 00000f5b: ISZERO 00000f5c: PUSH2 0x0f67 00000f5f: JUMPI 00000f60: PUSH2 0x0f67 00000f63: PUSH2 0x0d10 00000f66: JUMP 00000f67: JUMPDEST 00000f68: PUSH2 0x0f7b 00000f6b: DUP2 00000f6c: PUSH2 0x0f75 00000f6f: DUP5 00000f70: SLOAD 00000f71: PUSH2 0x0eb1 00000f74: JUMP 00000f75: JUMPDEST 00000f76: DUP5 00000f77: PUSH2 0x0efe 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x20 00000f7e: DUP1 00000f7f: PUSH1 0x1f 00000f81: DUP4 00000f82: GT 00000f83: PUSH1 0x01 00000f85: DUP2 00000f86: EQ 00000f87: PUSH2 0x0fb0 00000f8a: JUMPI 00000f8b: PUSH1 0x00 00000f8d: DUP5 00000f8e: ISZERO 00000f8f: PUSH2 0x0f98 00000f92: JUMPI 00000f93: POP 00000f94: DUP6 00000f95: DUP4 00000f96: ADD 00000f97: MLOAD 00000f98: JUMPDEST 00000f99: PUSH1 0x00 00000f9b: NOT 00000f9c: PUSH1 0x03 00000f9e: DUP7 00000f9f: SWAP1 00000fa0: SHL 00000fa1: SHR 00000fa2: NOT 00000fa3: AND 00000fa4: PUSH1 0x01 00000fa6: DUP6 00000fa7: SWAP1 00000fa8: SHL 00000fa9: OR 00000faa: DUP6 00000fab: SSTORE 00000fac: PUSH2 0x0f44 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: PUSH1 0x00 00000fb3: DUP6 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x20 00000fb8: DUP2 00000fb9: KECCAK256 00000fba: PUSH1 0x1f 00000fbc: NOT 00000fbd: DUP7 00000fbe: AND 00000fbf: SWAP2 00000fc0: JUMPDEST 00000fc1: DUP3 00000fc2: DUP2 00000fc3: LT 00000fc4: ISZERO 00000fc5: PUSH2 0x0fdf 00000fc8: JUMPI 00000fc9: DUP9 00000fca: DUP7 00000fcb: ADD 00000fcc: MLOAD 00000fcd: DUP3 00000fce: SSTORE 00000fcf: SWAP5 00000fd0: DUP5 00000fd1: ADD 00000fd2: SWAP5 00000fd3: PUSH1 0x01 00000fd5: SWAP1 00000fd6: SWAP2 00000fd7: ADD 00000fd8: SWAP1 00000fd9: DUP5 00000fda: ADD 00000fdb: PUSH2 0x0fc0 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: POP 00000fe1: DUP6 00000fe2: DUP3 00000fe3: LT 00000fe4: ISZERO 00000fe5: PUSH2 0x0ffd 00000fe8: JUMPI 00000fe9: DUP8 00000fea: DUP6 00000feb: ADD 00000fec: MLOAD 00000fed: PUSH1 0x00 00000fef: NOT 00000ff0: PUSH1 0x03 00000ff2: DUP9 00000ff3: SWAP1 00000ff4: SHL 00000ff5: PUSH1 0xf8 00000ff7: AND 00000ff8: SHR 00000ff9: NOT 00000ffa: AND 00000ffb: DUP2 00000ffc: SSTORE 00000ffd: JUMPDEST 00000ffe: POP 00000fff: POP 00001000: POP 00001001: POP 00001002: POP 00001003: PUSH1 0x01 00001005: SWAP1 00001006: DUP2 00001007: SHL 00001008: ADD 00001009: SWAP1 0000100a: SSTORE 0000100b: POP 0000100c: JUMP 0000100d: JUMPDEST 0000100e: DUP3 0000100f: DUP2 00001010: MSTORE 00001011: PUSH1 0x40 00001013: PUSH1 0x20 00001015: DUP3 00001016: ADD 00001017: MSTORE 00001018: PUSH1 0x00 0000101a: PUSH2 0x1026 0000101d: PUSH1 0x40 0000101f: DUP4 00001020: ADD 00001021: DUP5 00001022: PUSH2 0x0c16 00001025: JUMP 00001026: JUMPDEST 00001027: SWAP5 00001028: SWAP4 00001029: POP 0000102a: POP 0000102b: POP 0000102c: POP 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x00 00001031: DUP1 00001032: DUP4 00001033: SLOAD 00001034: PUSH2 0x103c 00001037: DUP2 00001038: PUSH2 0x0eb1 0000103b: JUMP 0000103c: JUMPDEST 0000103d: PUSH1 0x01 0000103f: DUP3 00001040: DUP2 00001041: AND 00001042: DUP1 00001043: ISZERO 00001044: PUSH2 0x1054 00001047: JUMPI 00001048: PUSH1 0x01 0000104a: DUP2 0000104b: EQ 0000104c: PUSH2 0x1069 0000104f: JUMPI 00001050: PUSH2 0x1098 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH1 0xff 00001057: NOT 00001058: DUP5 00001059: AND 0000105a: DUP8 0000105b: MSTORE 0000105c: DUP3 0000105d: ISZERO 0000105e: ISZERO 0000105f: DUP4 00001060: MUL 00001061: DUP8 00001062: ADD 00001063: SWAP5 00001064: POP 00001065: PUSH2 0x1098 00001068: JUMP 00001069: JUMPDEST 0000106a: DUP8 0000106b: PUSH1 0x00 0000106d: MSTORE 0000106e: PUSH1 0x20 00001070: DUP1 00001071: PUSH1 0x00 00001073: KECCAK256 00001074: PUSH1 0x00 00001076: JUMPDEST 00001077: DUP6 00001078: DUP2 00001079: LT 0000107a: ISZERO 0000107b: PUSH2 0x108f 0000107e: JUMPI 0000107f: DUP2 00001080: SLOAD 00001081: DUP11 00001082: DUP3 00001083: ADD 00001084: MSTORE 00001085: SWAP1 00001086: DUP5 00001087: ADD 00001088: SWAP1 00001089: DUP3 0000108a: ADD 0000108b: PUSH2 0x1076 0000108e: JUMP 0000108f: JUMPDEST 00001090: POP 00001091: POP 00001092: POP 00001093: DUP3 00001094: DUP8 00001095: ADD 00001096: SWAP5 00001097: POP 00001098: JUMPDEST 00001099: POP 0000109a: SWAP3 0000109b: SWAP7 0000109c: SWAP6 0000109d: POP 0000109e: POP 0000109f: POP 000010a0: POP 000010a1: POP 000010a2: POP 000010a3: JUMP 000010a4: INVALID 000010a5: LOG2 000010a6: PUSH5 0x6970667358 000010ac: UNKNOWN(0x22) 000010ad: SLT 000010ae: KECCAK256 000010af: STATICCALL 000010b0: UNKNOWN(0xC8) 000010b1: UNKNOWN(0xB3) 000010b2: DUP10 000010b3: NUMBER 000010b4: UNKNOWN(0xD3) 000010b5: DUP12 000010b6: NUMBER 000010b7: DUP2 000010b8: UNKNOWN(0xAF) 000010b9: PUSH11 0x25241bc7ebe473d3a8ada7 000010c5: DUP14 000010c6: DUP10 000010c7: DUP15 000010c8: PUSH1 0x1c 000010ca: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xccddbdae17da171b89a8a76a52c54d0d37c6139281dd157148e0392d24544b24
call_targets:
0x189436e7b823043ce7d8a9120c723d7ec37837e7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xccddbdae17da171b89a8a76a52c54d0d37c6139281dd157148e0392d24544b24",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x189436e7b823043ce7d8a9120c723d7ec37837e7"
],
"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": "0x9ace38c2",
"selector": "0x9ace38c2",
"calldata_variants": [
"0x9ace38c2",
"0x9ace38c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6427474",
"selector": "0xc6427474",
"calldata_variants": [
"0xc6427474",
"0xc64274740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0549b85",
"selector": "0xd0549b85",
"calldata_variants": [
"0xd0549b85",
"0xd0549b850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee22610b",
"selector": "0xee22610b",
"calldata_variants": [
"0xee22610b",
"0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2841,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xccddbdae17da171b89a8a76a52c54d0d37c6139281dd157148e0392d24544b24
call_targets:
0x189436e7b823043ce7d8a9120c723d7ec37837e7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xccddbdae17da171b89a8a76a52c54d0d37c6139281dd157148e0392d24544b24",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x189436e7b823043ce7d8a9120c723d7ec37837e7"
],
"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": "0x9ace38c2",
"selector": "0x9ace38c2",
"calldata_variants": [
"0x9ace38c2",
"0x9ace38c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6427474",
"selector": "0xc6427474",
"calldata_variants": [
"0xc6427474",
"0xc64274740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0549b85",
"selector": "0xd0549b85",
"calldata_variants": [
"0xd0549b85",
"0xd0549b850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee22610b",
"selector": "0xee22610b",
"calldata_variants": [
"0xee22610b",
"0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2841,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|