019ba8e4-06f7-708f-98e2-e94c6e563686
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 |
|---|---|---|---|---|
| 33310 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33311 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33312 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33313 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33314 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33315 | detector.run | complete | 1 / 3 | 3 months ago |
| 33316 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0121 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x5c975abb 00000026: GT 00000027: PUSH2 0x00ad 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x8456cb59 00000031: GT 00000032: PUSH2 0x0071 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x8456cb59 0000003c: EQ 0000003d: PUSH2 0x0352 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x95d89b41 00000047: EQ 00000048: PUSH2 0x035a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xa457c2d7 00000052: EQ 00000053: PUSH2 0x0362 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xa9059cbb 0000005d: EQ 0000005e: PUSH2 0x038e 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xdd62ed3e 00000068: EQ 00000069: PUSH2 0x03ba 0000006c: JUMPI 0000006d: PUSH2 0x0121 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x5c975abb 00000078: EQ 00000079: PUSH2 0x02ca 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x6ef8d66d 00000083: EQ 00000084: PUSH2 0x02d2 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x70a08231 0000008e: EQ 0000008f: PUSH2 0x02da 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x79cc6790 00000099: EQ 0000009a: PUSH2 0x0300 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x82dc1ec4 000000a4: EQ 000000a5: PUSH2 0x032c 000000a8: JUMPI 000000a9: PUSH2 0x0121 000000ac: JUMP 000000ad: JUMPDEST 000000ae: DUP1 000000af: PUSH4 0x313ce567 000000b4: GT 000000b5: PUSH2 0x00f4 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x313ce567 000000bf: EQ 000000c0: PUSH2 0x0233 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x39509351 000000ca: EQ 000000cb: PUSH2 0x0251 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x3f4ba83a 000000d5: EQ 000000d6: PUSH2 0x027d 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x42966c68 000000e0: EQ 000000e1: PUSH2 0x0287 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x46fbf68e 000000eb: EQ 000000ec: PUSH2 0x02a4 000000ef: JUMPI 000000f0: PUSH2 0x0121 000000f3: JUMP 000000f4: JUMPDEST 000000f5: DUP1 000000f6: PUSH4 0x06fdde03 000000fb: EQ 000000fc: PUSH2 0x0126 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x095ea7b3 00000106: EQ 00000107: PUSH2 0x01a3 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x18160ddd 00000111: EQ 00000112: PUSH2 0x01e3 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x23b872dd 0000011c: EQ 0000011d: PUSH2 0x01fd 00000120: JUMPI 00000121: JUMPDEST 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: PUSH2 0x012e 0000012a: PUSH2 0x03e8 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH1 0x40 00000131: DUP1 00000132: MLOAD 00000133: PUSH1 0x20 00000135: DUP1 00000136: DUP3 00000137: MSTORE 00000138: DUP4 00000139: MLOAD 0000013a: DUP2 0000013b: DUP4 0000013c: ADD 0000013d: MSTORE 0000013e: DUP4 0000013f: MLOAD 00000140: SWAP2 00000141: SWAP3 00000142: DUP4 00000143: SWAP3 00000144: SWAP1 00000145: DUP4 00000146: ADD 00000147: SWAP2 00000148: DUP6 00000149: ADD 0000014a: SWAP1 0000014b: DUP1 0000014c: DUP4 0000014d: DUP4 0000014e: PUSH1 0x00 00000150: JUMPDEST 00000151: DUP4 00000152: DUP2 00000153: LT 00000154: ISZERO 00000155: PUSH2 0x0168 00000158: JUMPI 00000159: DUP2 0000015a: DUP2 0000015b: ADD 0000015c: MLOAD 0000015d: DUP4 0000015e: DUP3 0000015f: ADD 00000160: MSTORE 00000161: PUSH1 0x20 00000163: ADD 00000164: PUSH2 0x0150 00000167: JUMP 00000168: JUMPDEST 00000169: POP 0000016a: POP 0000016b: POP 0000016c: POP 0000016d: SWAP1 0000016e: POP 0000016f: SWAP1 00000170: DUP2 00000171: ADD 00000172: SWAP1 00000173: PUSH1 0x1f 00000175: AND 00000176: DUP1 00000177: ISZERO 00000178: PUSH2 0x0195 0000017b: JUMPI 0000017c: DUP1 0000017d: DUP3 0000017e: SUB 0000017f: DUP1 00000180: MLOAD 00000181: PUSH1 0x01 00000183: DUP4 00000184: PUSH1 0x20 00000186: SUB 00000187: PUSH2 0x0100 0000018a: EXP 0000018b: SUB 0000018c: NOT 0000018d: AND 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x20 00000192: ADD 00000193: SWAP2 00000194: POP 00000195: JUMPDEST 00000196: POP 00000197: SWAP3 00000198: POP 00000199: POP 0000019a: POP 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: SWAP2 000001a0: SUB 000001a1: SWAP1 000001a2: RETURN 000001a3: JUMPDEST 000001a4: PUSH2 0x01cf 000001a7: PUSH1 0x04 000001a9: DUP1 000001aa: CALLDATASIZE 000001ab: SUB 000001ac: PUSH1 0x40 000001ae: DUP2 000001af: LT 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: POP 000001bb: PUSH1 0x01 000001bd: PUSH1 0x01 000001bf: PUSH1 0xa0 000001c1: SHL 000001c2: SUB 000001c3: DUP2 000001c4: CALLDATALOAD 000001c5: AND 000001c6: SWAP1 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: CALLDATALOAD 000001cb: PUSH2 0x047e 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: DUP1 000001d3: MLOAD 000001d4: SWAP2 000001d5: ISZERO 000001d6: ISZERO 000001d7: DUP3 000001d8: MSTORE 000001d9: MLOAD 000001da: SWAP1 000001db: DUP2 000001dc: SWAP1 000001dd: SUB 000001de: PUSH1 0x20 000001e0: ADD 000001e1: SWAP1 000001e2: RETURN 000001e3: JUMPDEST 000001e4: PUSH2 0x01eb 000001e7: PUSH2 0x04e3 000001ea: JUMP 000001eb: JUMPDEST 000001ec: PUSH1 0x40 000001ee: DUP1 000001ef: MLOAD 000001f0: SWAP2 000001f1: DUP3 000001f2: MSTORE 000001f3: MLOAD 000001f4: SWAP1 000001f5: DUP2 000001f6: SWAP1 000001f7: SUB 000001f8: PUSH1 0x20 000001fa: ADD 000001fb: SWAP1 000001fc: RETURN 000001fd: JUMPDEST 000001fe: PUSH2 0x01cf 00000201: PUSH1 0x04 00000203: DUP1 00000204: CALLDATASIZE 00000205: SUB 00000206: PUSH1 0x60 00000208: DUP2 00000209: LT 0000020a: ISZERO 0000020b: PUSH2 0x0213 0000020e: JUMPI 0000020f: PUSH1 0x00 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: POP 00000215: PUSH1 0x01 00000217: PUSH1 0x01 00000219: PUSH1 0xa0 0000021b: SHL 0000021c: SUB 0000021d: DUP2 0000021e: CALLDATALOAD 0000021f: DUP2 00000220: AND 00000221: SWAP2 00000222: PUSH1 0x20 00000224: DUP2 00000225: ADD 00000226: CALLDATALOAD 00000227: SWAP1 00000228: SWAP2 00000229: AND 0000022a: SWAP1 0000022b: PUSH1 0x40 0000022d: ADD 0000022e: CALLDATALOAD 0000022f: PUSH2 0x04e9 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH2 0x023b 00000237: PUSH2 0x0550 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH1 0x40 0000023e: DUP1 0000023f: MLOAD 00000240: PUSH1 0xff 00000242: SWAP1 00000243: SWAP3 00000244: AND 00000245: DUP3 00000246: MSTORE 00000247: MLOAD 00000248: SWAP1 00000249: DUP2 0000024a: SWAP1 0000024b: SUB 0000024c: PUSH1 0x20 0000024e: ADD 0000024f: SWAP1 00000250: RETURN 00000251: JUMPDEST 00000252: PUSH2 0x01cf 00000255: PUSH1 0x04 00000257: DUP1 00000258: CALLDATASIZE 00000259: SUB 0000025a: PUSH1 0x40 0000025c: DUP2 0000025d: LT 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH1 0x01 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: SHL 00000270: SUB 00000271: DUP2 00000272: CALLDATALOAD 00000273: AND 00000274: SWAP1 00000275: PUSH1 0x20 00000277: ADD 00000278: CALLDATALOAD 00000279: PUSH2 0x0559 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH2 0x0285 00000281: PUSH2 0x05b7 00000284: JUMP 00000285: JUMPDEST 00000286: STOP 00000287: JUMPDEST 00000288: PUSH2 0x0285 0000028b: PUSH1 0x04 0000028d: DUP1 0000028e: CALLDATASIZE 0000028f: SUB 00000290: PUSH1 0x20 00000292: DUP2 00000293: LT 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: CALLDATALOAD 000002a0: PUSH2 0x06b3 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x01cf 000002a8: PUSH1 0x04 000002aa: DUP1 000002ab: CALLDATASIZE 000002ac: SUB 000002ad: PUSH1 0x20 000002af: DUP2 000002b0: LT 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: CALLDATALOAD 000002bd: PUSH1 0x01 000002bf: PUSH1 0x01 000002c1: PUSH1 0xa0 000002c3: SHL 000002c4: SUB 000002c5: AND 000002c6: PUSH2 0x06c7 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH2 0x01cf 000002ce: PUSH2 0x06e0 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH2 0x0285 000002d6: PUSH2 0x06e9 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x01eb 000002de: PUSH1 0x04 000002e0: DUP1 000002e1: CALLDATASIZE 000002e2: SUB 000002e3: PUSH1 0x20 000002e5: DUP2 000002e6: LT 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: CALLDATALOAD 000002f3: PUSH1 0x01 000002f5: PUSH1 0x01 000002f7: PUSH1 0xa0 000002f9: SHL 000002fa: SUB 000002fb: AND 000002fc: PUSH2 0x06fb 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0285 00000304: PUSH1 0x04 00000306: DUP1 00000307: CALLDATASIZE 00000308: SUB 00000309: PUSH1 0x40 0000030b: DUP2 0000030c: LT 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH1 0x01 0000031a: PUSH1 0x01 0000031c: PUSH1 0xa0 0000031e: SHL 0000031f: SUB 00000320: DUP2 00000321: CALLDATALOAD 00000322: AND 00000323: SWAP1 00000324: PUSH1 0x20 00000326: ADD 00000327: CALLDATALOAD 00000328: PUSH2 0x0716 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x0285 00000330: PUSH1 0x04 00000332: DUP1 00000333: CALLDATASIZE 00000334: SUB 00000335: PUSH1 0x20 00000337: DUP2 00000338: LT 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: CALLDATALOAD 00000345: PUSH1 0x01 00000347: PUSH1 0x01 00000349: PUSH1 0xa0 0000034b: SHL 0000034c: SUB 0000034d: AND 0000034e: PUSH2 0x0724 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH2 0x0285 00000356: PUSH2 0x0778 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH2 0x012e 0000035e: PUSH2 0x084a 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH2 0x01cf 00000366: PUSH1 0x04 00000368: DUP1 00000369: CALLDATASIZE 0000036a: SUB 0000036b: PUSH1 0x40 0000036d: DUP2 0000036e: LT 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: POP 0000037a: PUSH1 0x01 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: SHL 00000381: SUB 00000382: DUP2 00000383: CALLDATALOAD 00000384: AND 00000385: SWAP1 00000386: PUSH1 0x20 00000388: ADD 00000389: CALLDATALOAD 0000038a: PUSH2 0x08ab 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH2 0x01cf 00000392: PUSH1 0x04 00000394: DUP1 00000395: CALLDATASIZE 00000396: SUB 00000397: PUSH1 0x40 00000399: DUP2 0000039a: LT 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH1 0x01 000003a8: PUSH1 0x01 000003aa: PUSH1 0xa0 000003ac: SHL 000003ad: SUB 000003ae: DUP2 000003af: CALLDATALOAD 000003b0: AND 000003b1: SWAP1 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: CALLDATALOAD 000003b6: PUSH2 0x0909 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH2 0x01eb 000003be: PUSH1 0x04 000003c0: DUP1 000003c1: CALLDATASIZE 000003c2: SUB 000003c3: PUSH1 0x40 000003c5: DUP2 000003c6: LT 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: POP 000003d2: PUSH1 0x01 000003d4: PUSH1 0x01 000003d6: PUSH1 0xa0 000003d8: SHL 000003d9: SUB 000003da: DUP2 000003db: CALLDATALOAD 000003dc: DUP2 000003dd: AND 000003de: SWAP2 000003df: PUSH1 0x20 000003e1: ADD 000003e2: CALLDATALOAD 000003e3: AND 000003e4: PUSH2 0x0967 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH1 0x03 000003eb: DUP1 000003ec: SLOAD 000003ed: PUSH1 0x40 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0x20 000003f3: PUSH1 0x1f 000003f5: PUSH1 0x02 000003f7: PUSH1 0x00 000003f9: NOT 000003fa: PUSH2 0x0100 000003fd: PUSH1 0x01 000003ff: DUP9 00000400: AND 00000401: ISZERO 00000402: MUL 00000403: ADD 00000404: SWAP1 00000405: SWAP6 00000406: AND 00000407: SWAP5 00000408: SWAP1 00000409: SWAP5 0000040a: DIV 0000040b: SWAP4 0000040c: DUP5 0000040d: ADD 0000040e: DUP2 0000040f: SWAP1 00000410: DIV 00000411: DUP2 00000412: MUL 00000413: DUP3 00000414: ADD 00000415: DUP2 00000416: ADD 00000417: SWAP1 00000418: SWAP3 00000419: MSTORE 0000041a: DUP3 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x60 0000041f: SWAP4 00000420: SWAP1 00000421: SWAP3 00000422: SWAP1 00000423: SWAP2 00000424: DUP4 00000425: ADD 00000426: DUP3 00000427: DUP3 00000428: DUP1 00000429: ISZERO 0000042a: PUSH2 0x0474 0000042d: JUMPI 0000042e: DUP1 0000042f: PUSH1 0x1f 00000431: LT 00000432: PUSH2 0x0449 00000435: JUMPI 00000436: PUSH2 0x0100 00000439: DUP1 0000043a: DUP4 0000043b: SLOAD 0000043c: DIV 0000043d: MUL 0000043e: DUP4 0000043f: MSTORE 00000440: SWAP2 00000441: PUSH1 0x20 00000443: ADD 00000444: SWAP2 00000445: PUSH2 0x0474 00000448: JUMP 00000449: JUMPDEST 0000044a: DUP3 0000044b: ADD 0000044c: SWAP2 0000044d: SWAP1 0000044e: PUSH1 0x00 00000450: MSTORE 00000451: PUSH1 0x20 00000453: PUSH1 0x00 00000455: KECCAK256 00000456: SWAP1 00000457: JUMPDEST 00000458: DUP2 00000459: SLOAD 0000045a: DUP2 0000045b: MSTORE 0000045c: SWAP1 0000045d: PUSH1 0x01 0000045f: ADD 00000460: SWAP1 00000461: PUSH1 0x20 00000463: ADD 00000464: DUP1 00000465: DUP4 00000466: GT 00000467: PUSH2 0x0457 0000046a: JUMPI 0000046b: DUP3 0000046c: SWAP1 0000046d: SUB 0000046e: PUSH1 0x1f 00000470: AND 00000471: DUP3 00000472: ADD 00000473: SWAP2 00000474: JUMPDEST 00000475: POP 00000476: POP 00000477: POP 00000478: POP 00000479: POP 0000047a: SWAP1 0000047b: POP 0000047c: SWAP1 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x07 00000481: SLOAD 00000482: PUSH1 0x00 00000484: SWAP1 00000485: PUSH1 0xff 00000487: AND 00000488: ISZERO 00000489: PUSH2 0x04d2 0000048c: JUMPI 0000048d: PUSH1 0x40 0000048f: DUP1 00000490: MLOAD 00000491: PUSH1 0x01 00000493: PUSH1 0xe5 00000495: SHL 00000496: PUSH3 0x461bcd 0000049a: MUL 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: PUSH1 0x04 000004a1: DUP3 000004a2: ADD 000004a3: MSTORE 000004a4: PUSH1 0x10 000004a6: PUSH1 0x24 000004a8: DUP3 000004a9: ADD 000004aa: MSTORE 000004ab: PUSH1 0x01 000004ad: PUSH1 0x82 000004af: SHL 000004b0: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000004c1: MUL 000004c2: PUSH1 0x44 000004c4: DUP3 000004c5: ADD 000004c6: MSTORE 000004c7: SWAP1 000004c8: MLOAD 000004c9: SWAP1 000004ca: DUP2 000004cb: SWAP1 000004cc: SUB 000004cd: PUSH1 0x64 000004cf: ADD 000004d0: SWAP1 000004d1: REVERT 000004d2: JUMPDEST 000004d3: PUSH2 0x04dc 000004d6: DUP4 000004d7: DUP4 000004d8: PUSH2 0x0992 000004db: JUMP 000004dc: JUMPDEST 000004dd: SWAP4 000004de: SWAP3 000004df: POP 000004e0: POP 000004e1: POP 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH1 0x02 000004e6: SLOAD 000004e7: SWAP1 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH1 0x07 000004ec: SLOAD 000004ed: PUSH1 0x00 000004ef: SWAP1 000004f0: PUSH1 0xff 000004f2: AND 000004f3: ISZERO 000004f4: PUSH2 0x053d 000004f7: JUMPI 000004f8: PUSH1 0x40 000004fa: DUP1 000004fb: MLOAD 000004fc: PUSH1 0x01 000004fe: PUSH1 0xe5 00000500: SHL 00000501: PUSH3 0x461bcd 00000505: MUL 00000506: DUP2 00000507: MSTORE 00000508: PUSH1 0x20 0000050a: PUSH1 0x04 0000050c: DUP3 0000050d: ADD 0000050e: MSTORE 0000050f: PUSH1 0x10 00000511: PUSH1 0x24 00000513: DUP3 00000514: ADD 00000515: MSTORE 00000516: PUSH1 0x01 00000518: PUSH1 0x82 0000051a: SHL 0000051b: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000052c: MUL 0000052d: PUSH1 0x44 0000052f: DUP3 00000530: ADD 00000531: MSTORE 00000532: SWAP1 00000533: MLOAD 00000534: SWAP1 00000535: DUP2 00000536: SWAP1 00000537: SUB 00000538: PUSH1 0x64 0000053a: ADD 0000053b: SWAP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: PUSH2 0x0548 00000541: DUP5 00000542: DUP5 00000543: DUP5 00000544: PUSH2 0x09af 00000547: JUMP 00000548: JUMPDEST 00000549: SWAP5 0000054a: SWAP4 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH1 0x05 00000553: SLOAD 00000554: PUSH1 0xff 00000556: AND 00000557: SWAP1 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH1 0x07 0000055c: SLOAD 0000055d: PUSH1 0x00 0000055f: SWAP1 00000560: PUSH1 0xff 00000562: AND 00000563: ISZERO 00000564: PUSH2 0x05ad 00000567: JUMPI 00000568: PUSH1 0x40 0000056a: DUP1 0000056b: MLOAD 0000056c: PUSH1 0x01 0000056e: PUSH1 0xe5 00000570: SHL 00000571: PUSH3 0x461bcd 00000575: MUL 00000576: DUP2 00000577: MSTORE 00000578: PUSH1 0x20 0000057a: PUSH1 0x04 0000057c: DUP3 0000057d: ADD 0000057e: MSTORE 0000057f: PUSH1 0x10 00000581: PUSH1 0x24 00000583: DUP3 00000584: ADD 00000585: MSTORE 00000586: PUSH1 0x01 00000588: PUSH1 0x82 0000058a: SHL 0000058b: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000059c: MUL 0000059d: PUSH1 0x44 0000059f: DUP3 000005a0: ADD 000005a1: MSTORE 000005a2: SWAP1 000005a3: MLOAD 000005a4: SWAP1 000005a5: DUP2 000005a6: SWAP1 000005a7: SUB 000005a8: PUSH1 0x64 000005aa: ADD 000005ab: SWAP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: PUSH2 0x04dc 000005b1: DUP4 000005b2: DUP4 000005b3: PUSH2 0x0a3c 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x05c7 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x0a90 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH2 0x06c7 000005c6: JUMP 000005c7: JUMPDEST 000005c8: ISZERO 000005c9: ISZERO 000005ca: PUSH2 0x0607 000005cd: JUMPI 000005ce: PUSH1 0x40 000005d0: MLOAD 000005d1: PUSH1 0x01 000005d3: PUSH1 0xe5 000005d5: SHL 000005d6: PUSH3 0x461bcd 000005da: MUL 000005db: DUP2 000005dc: MSTORE 000005dd: PUSH1 0x04 000005df: ADD 000005e0: DUP1 000005e1: DUP1 000005e2: PUSH1 0x20 000005e4: ADD 000005e5: DUP3 000005e6: DUP2 000005e7: SUB 000005e8: DUP3 000005e9: MSTORE 000005ea: PUSH1 0x30 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: DUP1 000005f2: PUSH2 0x1232 000005f5: PUSH1 0x30 000005f7: SWAP2 000005f8: CODECOPY 000005f9: PUSH1 0x40 000005fb: ADD 000005fc: SWAP2 000005fd: POP 000005fe: POP 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: DUP1 00000603: SWAP2 00000604: SUB 00000605: SWAP1 00000606: REVERT 00000607: JUMPDEST 00000608: PUSH1 0x07 0000060a: SLOAD 0000060b: PUSH1 0xff 0000060d: AND 0000060e: ISZERO 0000060f: ISZERO 00000610: PUSH2 0x0663 00000613: JUMPI 00000614: PUSH1 0x40 00000616: DUP1 00000617: MLOAD 00000618: PUSH1 0x01 0000061a: PUSH1 0xe5 0000061c: SHL 0000061d: PUSH3 0x461bcd 00000621: MUL 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x20 00000626: PUSH1 0x04 00000628: DUP3 00000629: ADD 0000062a: MSTORE 0000062b: PUSH1 0x14 0000062d: PUSH1 0x24 0000062f: DUP3 00000630: ADD 00000631: MSTORE 00000632: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00000653: PUSH1 0x44 00000655: DUP3 00000656: ADD 00000657: MSTORE 00000658: SWAP1 00000659: MLOAD 0000065a: SWAP1 0000065b: DUP2 0000065c: SWAP1 0000065d: SUB 0000065e: PUSH1 0x64 00000660: ADD 00000661: SWAP1 00000662: REVERT 00000663: JUMPDEST 00000664: PUSH1 0x07 00000666: DUP1 00000667: SLOAD 00000668: PUSH1 0xff 0000066a: NOT 0000066b: AND 0000066c: SWAP1 0000066d: SSTORE 0000066e: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000068f: PUSH2 0x0696 00000692: PUSH2 0x0a90 00000695: JUMP 00000696: JUMPDEST 00000697: PUSH1 0x40 00000699: DUP1 0000069a: MLOAD 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: SWAP1 000006a4: SWAP3 000006a5: AND 000006a6: DUP3 000006a7: MSTORE 000006a8: MLOAD 000006a9: SWAP1 000006aa: DUP2 000006ab: SWAP1 000006ac: SUB 000006ad: PUSH1 0x20 000006af: ADD 000006b0: SWAP1 000006b1: LOG1 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH2 0x06c4 000006b7: PUSH2 0x06be 000006ba: PUSH2 0x0a90 000006bd: JUMP 000006be: JUMPDEST 000006bf: DUP3 000006c0: PUSH2 0x0a94 000006c3: JUMP 000006c4: JUMPDEST 000006c5: POP 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x00 000006ca: PUSH2 0x06da 000006cd: PUSH1 0x06 000006cf: DUP4 000006d0: PUSH4 0xffffffff 000006d5: PUSH2 0x0b95 000006d8: AND 000006d9: JUMP 000006da: JUMPDEST 000006db: SWAP3 000006dc: SWAP2 000006dd: POP 000006de: POP 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH1 0x07 000006e3: SLOAD 000006e4: PUSH1 0xff 000006e6: AND 000006e7: SWAP1 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH2 0x06f9 000006ed: PUSH2 0x06f4 000006f0: PUSH2 0x0a90 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH2 0x0c01 000006f8: JUMP 000006f9: JUMPDEST 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x01 000006fe: PUSH1 0x01 00000700: PUSH1 0xa0 00000702: SHL 00000703: SUB 00000704: AND 00000705: PUSH1 0x00 00000707: SWAP1 00000708: DUP2 00000709: MSTORE 0000070a: PUSH1 0x20 0000070c: DUP2 0000070d: SWAP1 0000070e: MSTORE 0000070f: PUSH1 0x40 00000711: SWAP1 00000712: KECCAK256 00000713: SLOAD 00000714: SWAP1 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH2 0x0720 0000071a: DUP3 0000071b: DUP3 0000071c: PUSH2 0x0c49 0000071f: JUMP 00000720: JUMPDEST 00000721: POP 00000722: POP 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH2 0x072f 00000728: PUSH2 0x05c2 0000072b: PUSH2 0x0a90 0000072e: JUMP 0000072f: JUMPDEST 00000730: ISZERO 00000731: ISZERO 00000732: PUSH2 0x076f 00000735: JUMPI 00000736: PUSH1 0x40 00000738: MLOAD 00000739: PUSH1 0x01 0000073b: PUSH1 0xe5 0000073d: SHL 0000073e: PUSH3 0x461bcd 00000742: MUL 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x04 00000747: ADD 00000748: DUP1 00000749: DUP1 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: DUP3 0000074e: DUP2 0000074f: SUB 00000750: DUP3 00000751: MSTORE 00000752: PUSH1 0x30 00000754: DUP2 00000755: MSTORE 00000756: PUSH1 0x20 00000758: ADD 00000759: DUP1 0000075a: PUSH2 0x1232 0000075d: PUSH1 0x30 0000075f: SWAP2 00000760: CODECOPY 00000761: PUSH1 0x40 00000763: ADD 00000764: SWAP2 00000765: POP 00000766: POP 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: DUP1 0000076b: SWAP2 0000076c: SUB 0000076d: SWAP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: PUSH2 0x06c4 00000773: DUP2 00000774: PUSH2 0x0c9d 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x0783 0000077c: PUSH2 0x05c2 0000077f: PUSH2 0x0a90 00000782: JUMP 00000783: JUMPDEST 00000784: ISZERO 00000785: ISZERO 00000786: PUSH2 0x07c3 00000789: JUMPI 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: PUSH1 0x01 0000078f: PUSH1 0xe5 00000791: SHL 00000792: PUSH3 0x461bcd 00000796: MUL 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x04 0000079b: ADD 0000079c: DUP1 0000079d: DUP1 0000079e: PUSH1 0x20 000007a0: ADD 000007a1: DUP3 000007a2: DUP2 000007a3: SUB 000007a4: DUP3 000007a5: MSTORE 000007a6: PUSH1 0x30 000007a8: DUP2 000007a9: MSTORE 000007aa: PUSH1 0x20 000007ac: ADD 000007ad: DUP1 000007ae: PUSH2 0x1232 000007b1: PUSH1 0x30 000007b3: SWAP2 000007b4: CODECOPY 000007b5: PUSH1 0x40 000007b7: ADD 000007b8: SWAP2 000007b9: POP 000007ba: POP 000007bb: PUSH1 0x40 000007bd: MLOAD 000007be: DUP1 000007bf: SWAP2 000007c0: SUB 000007c1: SWAP1 000007c2: REVERT 000007c3: JUMPDEST 000007c4: PUSH1 0x07 000007c6: SLOAD 000007c7: PUSH1 0xff 000007c9: AND 000007ca: ISZERO 000007cb: PUSH2 0x0814 000007ce: JUMPI 000007cf: PUSH1 0x40 000007d1: DUP1 000007d2: MLOAD 000007d3: PUSH1 0x01 000007d5: PUSH1 0xe5 000007d7: SHL 000007d8: PUSH3 0x461bcd 000007dc: MUL 000007dd: DUP2 000007de: MSTORE 000007df: PUSH1 0x20 000007e1: PUSH1 0x04 000007e3: DUP3 000007e4: ADD 000007e5: MSTORE 000007e6: PUSH1 0x10 000007e8: PUSH1 0x24 000007ea: DUP3 000007eb: ADD 000007ec: MSTORE 000007ed: PUSH1 0x01 000007ef: PUSH1 0x82 000007f1: SHL 000007f2: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000803: MUL 00000804: PUSH1 0x44 00000806: DUP3 00000807: ADD 00000808: MSTORE 00000809: SWAP1 0000080a: MLOAD 0000080b: SWAP1 0000080c: DUP2 0000080d: SWAP1 0000080e: SUB 0000080f: PUSH1 0x64 00000811: ADD 00000812: SWAP1 00000813: REVERT 00000814: JUMPDEST 00000815: PUSH1 0x07 00000817: DUP1 00000818: SLOAD 00000819: PUSH1 0xff 0000081b: NOT 0000081c: AND 0000081d: PUSH1 0x01 0000081f: OR 00000820: SWAP1 00000821: SSTORE 00000822: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000843: PUSH2 0x0696 00000846: PUSH2 0x0a90 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x04 0000084d: DUP1 0000084e: SLOAD 0000084f: PUSH1 0x40 00000851: DUP1 00000852: MLOAD 00000853: PUSH1 0x20 00000855: PUSH1 0x1f 00000857: PUSH1 0x02 00000859: PUSH1 0x00 0000085b: NOT 0000085c: PUSH2 0x0100 0000085f: PUSH1 0x01 00000861: DUP9 00000862: AND 00000863: ISZERO 00000864: MUL 00000865: ADD 00000866: SWAP1 00000867: SWAP6 00000868: AND 00000869: SWAP5 0000086a: SWAP1 0000086b: SWAP5 0000086c: DIV 0000086d: SWAP4 0000086e: DUP5 0000086f: ADD 00000870: DUP2 00000871: SWAP1 00000872: DIV 00000873: DUP2 00000874: MUL 00000875: DUP3 00000876: ADD 00000877: DUP2 00000878: ADD 00000879: SWAP1 0000087a: SWAP3 0000087b: MSTORE 0000087c: DUP3 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x60 00000881: SWAP4 00000882: SWAP1 00000883: SWAP3 00000884: SWAP1 00000885: SWAP2 00000886: DUP4 00000887: ADD 00000888: DUP3 00000889: DUP3 0000088a: DUP1 0000088b: ISZERO 0000088c: PUSH2 0x0474 0000088f: JUMPI 00000890: DUP1 00000891: PUSH1 0x1f 00000893: LT 00000894: PUSH2 0x0449 00000897: JUMPI 00000898: PUSH2 0x0100 0000089b: DUP1 0000089c: DUP4 0000089d: SLOAD 0000089e: DIV 0000089f: MUL 000008a0: DUP4 000008a1: MSTORE 000008a2: SWAP2 000008a3: PUSH1 0x20 000008a5: ADD 000008a6: SWAP2 000008a7: PUSH2 0x0474 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x07 000008ae: SLOAD 000008af: PUSH1 0x00 000008b1: SWAP1 000008b2: PUSH1 0xff 000008b4: AND 000008b5: ISZERO 000008b6: PUSH2 0x08ff 000008b9: JUMPI 000008ba: PUSH1 0x40 000008bc: DUP1 000008bd: MLOAD 000008be: PUSH1 0x01 000008c0: PUSH1 0xe5 000008c2: SHL 000008c3: PUSH3 0x461bcd 000008c7: MUL 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x20 000008cc: PUSH1 0x04 000008ce: DUP3 000008cf: ADD 000008d0: MSTORE 000008d1: PUSH1 0x10 000008d3: PUSH1 0x24 000008d5: DUP3 000008d6: ADD 000008d7: MSTORE 000008d8: PUSH1 0x01 000008da: PUSH1 0x82 000008dc: SHL 000008dd: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000008ee: MUL 000008ef: PUSH1 0x44 000008f1: DUP3 000008f2: ADD 000008f3: MSTORE 000008f4: SWAP1 000008f5: MLOAD 000008f6: SWAP1 000008f7: DUP2 000008f8: SWAP1 000008f9: SUB 000008fa: PUSH1 0x64 000008fc: ADD 000008fd: SWAP1 000008fe: REVERT 000008ff: JUMPDEST 00000900: PUSH2 0x04dc 00000903: DUP4 00000904: DUP4 00000905: PUSH2 0x0ce5 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x07 0000090c: SLOAD 0000090d: PUSH1 0x00 0000090f: SWAP1 00000910: PUSH1 0xff 00000912: AND 00000913: ISZERO 00000914: PUSH2 0x095d 00000917: JUMPI 00000918: PUSH1 0x40 0000091a: DUP1 0000091b: MLOAD 0000091c: PUSH1 0x01 0000091e: PUSH1 0xe5 00000920: SHL 00000921: PUSH3 0x461bcd 00000925: MUL 00000926: DUP2 00000927: MSTORE 00000928: PUSH1 0x20 0000092a: PUSH1 0x04 0000092c: DUP3 0000092d: ADD 0000092e: MSTORE 0000092f: PUSH1 0x10 00000931: PUSH1 0x24 00000933: DUP3 00000934: ADD 00000935: MSTORE 00000936: PUSH1 0x01 00000938: PUSH1 0x82 0000093a: SHL 0000093b: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000094c: MUL 0000094d: PUSH1 0x44 0000094f: DUP3 00000950: ADD 00000951: MSTORE 00000952: SWAP1 00000953: MLOAD 00000954: SWAP1 00000955: DUP2 00000956: SWAP1 00000957: SUB 00000958: PUSH1 0x64 0000095a: ADD 0000095b: SWAP1 0000095c: REVERT 0000095d: JUMPDEST 0000095e: PUSH2 0x04dc 00000961: DUP4 00000962: DUP4 00000963: PUSH2 0x0d53 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: SUB 00000970: SWAP2 00000971: DUP3 00000972: AND 00000973: PUSH1 0x00 00000975: SWAP1 00000976: DUP2 00000977: MSTORE 00000978: PUSH1 0x01 0000097a: PUSH1 0x20 0000097c: SWAP1 0000097d: DUP2 0000097e: MSTORE 0000097f: PUSH1 0x40 00000981: DUP1 00000982: DUP4 00000983: KECCAK256 00000984: SWAP4 00000985: SWAP1 00000986: SWAP5 00000987: AND 00000988: DUP3 00000989: MSTORE 0000098a: SWAP2 0000098b: SWAP1 0000098c: SWAP2 0000098d: MSTORE 0000098e: KECCAK256 0000098f: SLOAD 00000990: SWAP1 00000991: JUMP 00000992: JUMPDEST 00000993: PUSH1 0x00 00000995: PUSH2 0x09a6 00000998: PUSH2 0x099f 0000099b: PUSH2 0x0a90 0000099e: JUMP 0000099f: JUMPDEST 000009a0: DUP5 000009a1: DUP5 000009a2: PUSH2 0x0d67 000009a5: JUMP 000009a6: JUMPDEST 000009a7: POP 000009a8: PUSH1 0x01 000009aa: SWAP3 000009ab: SWAP2 000009ac: POP 000009ad: POP 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH1 0x00 000009b2: PUSH2 0x09bc 000009b5: DUP5 000009b6: DUP5 000009b7: DUP5 000009b8: PUSH2 0x0e5d 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH2 0x0a32 000009c0: DUP5 000009c1: PUSH2 0x09c8 000009c4: PUSH2 0x0a90 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH2 0x0a2d 000009cc: DUP6 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: DUP1 000009d1: PUSH1 0x60 000009d3: ADD 000009d4: PUSH1 0x40 000009d6: MSTORE 000009d7: DUP1 000009d8: PUSH1 0x28 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x20 000009de: ADD 000009df: PUSH2 0x12cb 000009e2: PUSH1 0x28 000009e4: SWAP2 000009e5: CODECOPY 000009e6: PUSH1 0x01 000009e8: PUSH1 0x01 000009ea: PUSH1 0xa0 000009ec: SHL 000009ed: SUB 000009ee: DUP11 000009ef: AND 000009f0: PUSH1 0x00 000009f2: SWAP1 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x01 000009f7: PUSH1 0x20 000009f9: MSTORE 000009fa: PUSH1 0x40 000009fc: DUP2 000009fd: KECCAK256 000009fe: SWAP1 000009ff: PUSH2 0x0a06 00000a02: PUSH2 0x0a90 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH1 0x01 00000a09: PUSH1 0x01 00000a0b: PUSH1 0xa0 00000a0d: SHL 00000a0e: SUB 00000a0f: AND 00000a10: DUP2 00000a11: MSTORE 00000a12: PUSH1 0x20 00000a14: DUP2 00000a15: ADD 00000a16: SWAP2 00000a17: SWAP1 00000a18: SWAP2 00000a19: MSTORE 00000a1a: PUSH1 0x40 00000a1c: ADD 00000a1d: PUSH1 0x00 00000a1f: KECCAK256 00000a20: SLOAD 00000a21: SWAP2 00000a22: SWAP1 00000a23: PUSH4 0xffffffff 00000a28: PUSH2 0x0fc3 00000a2b: AND 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH2 0x0d67 00000a31: JUMP 00000a32: JUMPDEST 00000a33: POP 00000a34: PUSH1 0x01 00000a36: SWAP4 00000a37: SWAP3 00000a38: POP 00000a39: POP 00000a3a: POP 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: PUSH1 0x00 00000a3f: PUSH2 0x09a6 00000a42: PUSH2 0x0a49 00000a45: PUSH2 0x0a90 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: DUP5 00000a4b: PUSH2 0x0a2d 00000a4e: DUP6 00000a4f: PUSH1 0x01 00000a51: PUSH1 0x00 00000a53: PUSH2 0x0a5a 00000a56: PUSH2 0x0a90 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0x01 00000a5f: PUSH1 0xa0 00000a61: SHL 00000a62: SUB 00000a63: SWAP1 00000a64: DUP2 00000a65: AND 00000a66: DUP3 00000a67: MSTORE 00000a68: PUSH1 0x20 00000a6a: DUP1 00000a6b: DUP4 00000a6c: ADD 00000a6d: SWAP4 00000a6e: SWAP1 00000a6f: SWAP4 00000a70: MSTORE 00000a71: PUSH1 0x40 00000a73: SWAP2 00000a74: DUP3 00000a75: ADD 00000a76: PUSH1 0x00 00000a78: SWAP1 00000a79: DUP2 00000a7a: KECCAK256 00000a7b: SWAP2 00000a7c: DUP13 00000a7d: AND 00000a7e: DUP2 00000a7f: MSTORE 00000a80: SWAP3 00000a81: MSTORE 00000a82: SWAP1 00000a83: KECCAK256 00000a84: SLOAD 00000a85: SWAP1 00000a86: PUSH4 0xffffffff 00000a8b: PUSH2 0x105d 00000a8e: AND 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: CALLER 00000a92: SWAP1 00000a93: JUMP 00000a94: JUMPDEST 00000a95: PUSH1 0x01 00000a97: PUSH1 0x01 00000a99: PUSH1 0xa0 00000a9b: SHL 00000a9c: SUB 00000a9d: DUP3 00000a9e: AND 00000a9f: ISZERO 00000aa0: ISZERO 00000aa1: PUSH2 0x0ade 00000aa4: JUMPI 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: PUSH1 0x01 00000aaa: PUSH1 0xe5 00000aac: SHL 00000aad: PUSH3 0x461bcd 00000ab1: MUL 00000ab2: DUP2 00000ab3: MSTORE 00000ab4: PUSH1 0x04 00000ab6: ADD 00000ab7: DUP1 00000ab8: DUP1 00000ab9: PUSH1 0x20 00000abb: ADD 00000abc: DUP3 00000abd: DUP2 00000abe: SUB 00000abf: DUP3 00000ac0: MSTORE 00000ac1: PUSH1 0x21 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: DUP1 00000ac9: PUSH2 0x1339 00000acc: PUSH1 0x21 00000ace: SWAP2 00000acf: CODECOPY 00000ad0: PUSH1 0x40 00000ad2: ADD 00000ad3: SWAP2 00000ad4: POP 00000ad5: POP 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: DUP1 00000ada: SWAP2 00000adb: SUB 00000adc: SWAP1 00000add: REVERT 00000ade: JUMPDEST 00000adf: PUSH2 0x0b21 00000ae2: DUP2 00000ae3: PUSH1 0x40 00000ae5: MLOAD 00000ae6: DUP1 00000ae7: PUSH1 0x60 00000ae9: ADD 00000aea: PUSH1 0x40 00000aec: MSTORE 00000aed: DUP1 00000aee: PUSH1 0x22 00000af0: DUP2 00000af1: MSTORE 00000af2: PUSH1 0x20 00000af4: ADD 00000af5: PUSH2 0x1210 00000af8: PUSH1 0x22 00000afa: SWAP2 00000afb: CODECOPY 00000afc: PUSH1 0x01 00000afe: PUSH1 0x01 00000b00: PUSH1 0xa0 00000b02: SHL 00000b03: SUB 00000b04: DUP6 00000b05: AND 00000b06: PUSH1 0x00 00000b08: SWAP1 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: DUP2 00000b0e: SWAP1 00000b0f: MSTORE 00000b10: PUSH1 0x40 00000b12: SWAP1 00000b13: KECCAK256 00000b14: SLOAD 00000b15: SWAP2 00000b16: SWAP1 00000b17: PUSH4 0xffffffff 00000b1c: PUSH2 0x0fc3 00000b1f: AND 00000b20: JUMP 00000b21: JUMPDEST 00000b22: PUSH1 0x01 00000b24: PUSH1 0x01 00000b26: PUSH1 0xa0 00000b28: SHL 00000b29: SUB 00000b2a: DUP4 00000b2b: AND 00000b2c: PUSH1 0x00 00000b2e: SWAP1 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: DUP2 00000b34: SWAP1 00000b35: MSTORE 00000b36: PUSH1 0x40 00000b38: SWAP1 00000b39: KECCAK256 00000b3a: SSTORE 00000b3b: PUSH1 0x02 00000b3d: SLOAD 00000b3e: PUSH2 0x0b4d 00000b41: SWAP1 00000b42: DUP3 00000b43: PUSH4 0xffffffff 00000b48: PUSH2 0x10ba 00000b4b: AND 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH1 0x02 00000b50: SSTORE 00000b51: PUSH1 0x40 00000b53: DUP1 00000b54: MLOAD 00000b55: DUP3 00000b56: DUP2 00000b57: MSTORE 00000b58: SWAP1 00000b59: MLOAD 00000b5a: PUSH1 0x00 00000b5c: SWAP2 00000b5d: PUSH1 0x01 00000b5f: PUSH1 0x01 00000b61: PUSH1 0xa0 00000b63: SHL 00000b64: SUB 00000b65: DUP6 00000b66: AND 00000b67: SWAP2 00000b68: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000b89: SWAP2 00000b8a: DUP2 00000b8b: SWAP1 00000b8c: SUB 00000b8d: PUSH1 0x20 00000b8f: ADD 00000b90: SWAP1 00000b91: LOG3 00000b92: POP 00000b93: POP 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH1 0x00 00000b98: PUSH1 0x01 00000b9a: PUSH1 0x01 00000b9c: PUSH1 0xa0 00000b9e: SHL 00000b9f: SUB 00000ba0: DUP3 00000ba1: AND 00000ba2: ISZERO 00000ba3: ISZERO 00000ba4: PUSH2 0x0be1 00000ba7: JUMPI 00000ba8: PUSH1 0x40 00000baa: MLOAD 00000bab: PUSH1 0x01 00000bad: PUSH1 0xe5 00000baf: SHL 00000bb0: PUSH3 0x461bcd 00000bb4: MUL 00000bb5: DUP2 00000bb6: MSTORE 00000bb7: PUSH1 0x04 00000bb9: ADD 00000bba: DUP1 00000bbb: DUP1 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: DUP3 00000bc0: DUP2 00000bc1: SUB 00000bc2: DUP3 00000bc3: MSTORE 00000bc4: PUSH1 0x22 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: ADD 00000bcb: DUP1 00000bcc: PUSH2 0x12f3 00000bcf: PUSH1 0x22 00000bd1: SWAP2 00000bd2: CODECOPY 00000bd3: PUSH1 0x40 00000bd5: ADD 00000bd6: SWAP2 00000bd7: POP 00000bd8: POP 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: DUP1 00000bdd: SWAP2 00000bde: SUB 00000bdf: SWAP1 00000be0: REVERT 00000be1: JUMPDEST 00000be2: POP 00000be3: PUSH1 0x01 00000be5: PUSH1 0x01 00000be7: PUSH1 0xa0 00000be9: SHL 00000bea: SUB 00000beb: AND 00000bec: PUSH1 0x00 00000bee: SWAP1 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x20 00000bf3: SWAP2 00000bf4: SWAP1 00000bf5: SWAP2 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: SWAP1 00000bfa: KECCAK256 00000bfb: SLOAD 00000bfc: PUSH1 0xff 00000bfe: AND 00000bff: SWAP1 00000c00: JUMP 00000c01: JUMPDEST 00000c02: PUSH2 0x0c12 00000c05: PUSH1 0x06 00000c07: DUP3 00000c08: PUSH4 0xffffffff 00000c0d: PUSH2 0x10fc 00000c10: AND 00000c11: JUMP 00000c12: JUMPDEST 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: PUSH1 0x01 00000c18: PUSH1 0x01 00000c1a: PUSH1 0xa0 00000c1c: SHL 00000c1d: SUB 00000c1e: DUP3 00000c1f: AND 00000c20: SWAP1 00000c21: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e 00000c42: SWAP1 00000c43: PUSH1 0x00 00000c45: SWAP1 00000c46: LOG2 00000c47: POP 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH2 0x0c53 00000c4d: DUP3 00000c4e: DUP3 00000c4f: PUSH2 0x0a94 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH2 0x0720 00000c57: DUP3 00000c58: PUSH2 0x0c5f 00000c5b: PUSH2 0x0a90 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH2 0x0a2d 00000c63: DUP5 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: DUP1 00000c68: PUSH1 0x60 00000c6a: ADD 00000c6b: PUSH1 0x40 00000c6d: MSTORE 00000c6e: DUP1 00000c6f: PUSH1 0x24 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: PUSH2 0x1315 00000c79: PUSH1 0x24 00000c7b: SWAP2 00000c7c: CODECOPY 00000c7d: PUSH1 0x01 00000c7f: PUSH1 0x01 00000c81: PUSH1 0xa0 00000c83: SHL 00000c84: SUB 00000c85: DUP9 00000c86: AND 00000c87: PUSH1 0x00 00000c89: SWAP1 00000c8a: DUP2 00000c8b: MSTORE 00000c8c: PUSH1 0x01 00000c8e: PUSH1 0x20 00000c90: MSTORE 00000c91: PUSH1 0x40 00000c93: DUP2 00000c94: KECCAK256 00000c95: SWAP1 00000c96: PUSH2 0x0a06 00000c99: PUSH2 0x0a90 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: PUSH2 0x0cae 00000ca1: PUSH1 0x06 00000ca3: DUP3 00000ca4: PUSH4 0xffffffff 00000ca9: PUSH2 0x1168 00000cac: AND 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: PUSH1 0x01 00000cb4: PUSH1 0x01 00000cb6: PUSH1 0xa0 00000cb8: SHL 00000cb9: SUB 00000cba: DUP3 00000cbb: AND 00000cbc: SWAP1 00000cbd: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8 00000cde: SWAP1 00000cdf: PUSH1 0x00 00000ce1: SWAP1 00000ce2: LOG2 00000ce3: POP 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x00 00000ce8: PUSH2 0x09a6 00000ceb: PUSH2 0x0cf2 00000cee: PUSH2 0x0a90 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: DUP5 00000cf4: PUSH2 0x0a2d 00000cf7: DUP6 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: DUP1 00000cfc: PUSH1 0x60 00000cfe: ADD 00000cff: PUSH1 0x40 00000d01: MSTORE 00000d02: DUP1 00000d03: PUSH1 0x25 00000d05: DUP2 00000d06: MSTORE 00000d07: PUSH1 0x20 00000d09: ADD 00000d0a: PUSH2 0x13a3 00000d0d: PUSH1 0x25 00000d0f: SWAP2 00000d10: CODECOPY 00000d11: PUSH1 0x01 00000d13: PUSH1 0x00 00000d15: PUSH2 0x0d1c 00000d18: PUSH2 0x0a90 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0x01 00000d21: PUSH1 0xa0 00000d23: SHL 00000d24: SUB 00000d25: SWAP1 00000d26: DUP2 00000d27: AND 00000d28: DUP3 00000d29: MSTORE 00000d2a: PUSH1 0x20 00000d2c: DUP1 00000d2d: DUP4 00000d2e: ADD 00000d2f: SWAP4 00000d30: SWAP1 00000d31: SWAP4 00000d32: MSTORE 00000d33: PUSH1 0x40 00000d35: SWAP2 00000d36: DUP3 00000d37: ADD 00000d38: PUSH1 0x00 00000d3a: SWAP1 00000d3b: DUP2 00000d3c: KECCAK256 00000d3d: SWAP2 00000d3e: DUP14 00000d3f: AND 00000d40: DUP2 00000d41: MSTORE 00000d42: SWAP3 00000d43: MSTORE 00000d44: SWAP1 00000d45: KECCAK256 00000d46: SLOAD 00000d47: SWAP2 00000d48: SWAP1 00000d49: PUSH4 0xffffffff 00000d4e: PUSH2 0x0fc3 00000d51: AND 00000d52: JUMP 00000d53: JUMPDEST 00000d54: PUSH1 0x00 00000d56: PUSH2 0x09a6 00000d59: PUSH2 0x0d60 00000d5c: PUSH2 0x0a90 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: DUP5 00000d62: DUP5 00000d63: PUSH2 0x0e5d 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x01 00000d6a: PUSH1 0x01 00000d6c: PUSH1 0xa0 00000d6e: SHL 00000d6f: SUB 00000d70: DUP4 00000d71: AND 00000d72: ISZERO 00000d73: ISZERO 00000d74: PUSH2 0x0db1 00000d77: JUMPI 00000d78: PUSH1 0x40 00000d7a: MLOAD 00000d7b: PUSH1 0x01 00000d7d: PUSH1 0xe5 00000d7f: SHL 00000d80: PUSH3 0x461bcd 00000d84: MUL 00000d85: DUP2 00000d86: MSTORE 00000d87: PUSH1 0x04 00000d89: ADD 00000d8a: DUP1 00000d8b: DUP1 00000d8c: PUSH1 0x20 00000d8e: ADD 00000d8f: DUP3 00000d90: DUP2 00000d91: SUB 00000d92: DUP3 00000d93: MSTORE 00000d94: PUSH1 0x24 00000d96: DUP2 00000d97: MSTORE 00000d98: PUSH1 0x20 00000d9a: ADD 00000d9b: DUP1 00000d9c: PUSH2 0x137f 00000d9f: PUSH1 0x24 00000da1: SWAP2 00000da2: CODECOPY 00000da3: PUSH1 0x40 00000da5: ADD 00000da6: SWAP2 00000da7: POP 00000da8: POP 00000da9: PUSH1 0x40 00000dab: MLOAD 00000dac: DUP1 00000dad: SWAP2 00000dae: SUB 00000daf: SWAP1 00000db0: REVERT 00000db1: JUMPDEST 00000db2: PUSH1 0x01 00000db4: PUSH1 0x01 00000db6: PUSH1 0xa0 00000db8: SHL 00000db9: SUB 00000dba: DUP3 00000dbb: AND 00000dbc: ISZERO 00000dbd: ISZERO 00000dbe: PUSH2 0x0dfb 00000dc1: JUMPI 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xe5 00000dc9: SHL 00000dca: PUSH3 0x461bcd 00000dce: MUL 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: PUSH1 0x04 00000dd3: ADD 00000dd4: DUP1 00000dd5: DUP1 00000dd6: PUSH1 0x20 00000dd8: ADD 00000dd9: DUP3 00000dda: DUP2 00000ddb: SUB 00000ddc: DUP3 00000ddd: MSTORE 00000dde: PUSH1 0x22 00000de0: DUP2 00000de1: MSTORE 00000de2: PUSH1 0x20 00000de4: ADD 00000de5: DUP1 00000de6: PUSH2 0x1262 00000de9: PUSH1 0x22 00000deb: SWAP2 00000dec: CODECOPY 00000ded: PUSH1 0x40 00000def: ADD 00000df0: SWAP2 00000df1: POP 00000df2: POP 00000df3: PUSH1 0x40 00000df5: MLOAD 00000df6: DUP1 00000df7: SWAP2 00000df8: SUB 00000df9: SWAP1 00000dfa: REVERT 00000dfb: JUMPDEST 00000dfc: PUSH1 0x01 00000dfe: PUSH1 0x01 00000e00: PUSH1 0xa0 00000e02: SHL 00000e03: SUB 00000e04: DUP1 00000e05: DUP5 00000e06: AND 00000e07: PUSH1 0x00 00000e09: DUP2 00000e0a: DUP2 00000e0b: MSTORE 00000e0c: PUSH1 0x01 00000e0e: PUSH1 0x20 00000e10: SWAP1 00000e11: DUP2 00000e12: MSTORE 00000e13: PUSH1 0x40 00000e15: DUP1 00000e16: DUP4 00000e17: KECCAK256 00000e18: SWAP5 00000e19: DUP8 00000e1a: AND 00000e1b: DUP1 00000e1c: DUP5 00000e1d: MSTORE 00000e1e: SWAP5 00000e1f: DUP3 00000e20: MSTORE 00000e21: SWAP2 00000e22: DUP3 00000e23: SWAP1 00000e24: KECCAK256 00000e25: DUP6 00000e26: SWAP1 00000e27: SSTORE 00000e28: DUP2 00000e29: MLOAD 00000e2a: DUP6 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: SWAP2 00000e2e: MLOAD 00000e2f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e50: SWAP3 00000e51: DUP2 00000e52: SWAP1 00000e53: SUB 00000e54: SWAP1 00000e55: SWAP2 00000e56: ADD 00000e57: SWAP1 00000e58: LOG3 00000e59: POP 00000e5a: POP 00000e5b: POP 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x01 00000e60: PUSH1 0x01 00000e62: PUSH1 0xa0 00000e64: SHL 00000e65: SUB 00000e66: DUP4 00000e67: AND 00000e68: ISZERO 00000e69: ISZERO 00000e6a: PUSH2 0x0ea7 00000e6d: JUMPI 00000e6e: PUSH1 0x40 00000e70: MLOAD 00000e71: PUSH1 0x01 00000e73: PUSH1 0xe5 00000e75: SHL 00000e76: PUSH3 0x461bcd 00000e7a: MUL 00000e7b: DUP2 00000e7c: MSTORE 00000e7d: PUSH1 0x04 00000e7f: ADD 00000e80: DUP1 00000e81: DUP1 00000e82: PUSH1 0x20 00000e84: ADD 00000e85: DUP3 00000e86: DUP2 00000e87: SUB 00000e88: DUP3 00000e89: MSTORE 00000e8a: PUSH1 0x25 00000e8c: DUP2 00000e8d: MSTORE 00000e8e: PUSH1 0x20 00000e90: ADD 00000e91: DUP1 00000e92: PUSH2 0x135a 00000e95: PUSH1 0x25 00000e97: SWAP2 00000e98: CODECOPY 00000e99: PUSH1 0x40 00000e9b: ADD 00000e9c: SWAP2 00000e9d: POP 00000e9e: POP 00000e9f: PUSH1 0x40 00000ea1: MLOAD 00000ea2: DUP1 00000ea3: SWAP2 00000ea4: SUB 00000ea5: SWAP1 00000ea6: REVERT 00000ea7: JUMPDEST 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0x01 00000eac: PUSH1 0xa0 00000eae: SHL 00000eaf: SUB 00000eb0: DUP3 00000eb1: AND 00000eb2: ISZERO 00000eb3: ISZERO 00000eb4: PUSH2 0x0ef1 00000eb7: JUMPI 00000eb8: PUSH1 0x40 00000eba: MLOAD 00000ebb: PUSH1 0x01 00000ebd: PUSH1 0xe5 00000ebf: SHL 00000ec0: PUSH3 0x461bcd 00000ec4: MUL 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x04 00000ec9: ADD 00000eca: DUP1 00000ecb: DUP1 00000ecc: PUSH1 0x20 00000ece: ADD 00000ecf: DUP3 00000ed0: DUP2 00000ed1: SUB 00000ed2: DUP3 00000ed3: MSTORE 00000ed4: PUSH1 0x23 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x20 00000eda: ADD 00000edb: DUP1 00000edc: PUSH2 0x11ed 00000edf: PUSH1 0x23 00000ee1: SWAP2 00000ee2: CODECOPY 00000ee3: PUSH1 0x40 00000ee5: ADD 00000ee6: SWAP2 00000ee7: POP 00000ee8: POP 00000ee9: PUSH1 0x40 00000eeb: MLOAD 00000eec: DUP1 00000eed: SWAP2 00000eee: SUB 00000eef: SWAP1 00000ef0: REVERT 00000ef1: JUMPDEST 00000ef2: PUSH2 0x0f34 00000ef5: DUP2 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: DUP1 00000efa: PUSH1 0x60 00000efc: ADD 00000efd: PUSH1 0x40 00000eff: MSTORE 00000f00: DUP1 00000f01: PUSH1 0x26 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: PUSH2 0x1284 00000f0b: PUSH1 0x26 00000f0d: SWAP2 00000f0e: CODECOPY 00000f0f: PUSH1 0x01 00000f11: PUSH1 0x01 00000f13: PUSH1 0xa0 00000f15: SHL 00000f16: SUB 00000f17: DUP7 00000f18: AND 00000f19: PUSH1 0x00 00000f1b: SWAP1 00000f1c: DUP2 00000f1d: MSTORE 00000f1e: PUSH1 0x20 00000f20: DUP2 00000f21: SWAP1 00000f22: MSTORE 00000f23: PUSH1 0x40 00000f25: SWAP1 00000f26: KECCAK256 00000f27: SLOAD 00000f28: SWAP2 00000f29: SWAP1 00000f2a: PUSH4 0xffffffff 00000f2f: PUSH2 0x0fc3 00000f32: AND 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH1 0x01 00000f37: PUSH1 0x01 00000f39: PUSH1 0xa0 00000f3b: SHL 00000f3c: SUB 00000f3d: DUP1 00000f3e: DUP6 00000f3f: AND 00000f40: PUSH1 0x00 00000f42: SWAP1 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: DUP2 00000f48: SWAP1 00000f49: MSTORE 00000f4a: PUSH1 0x40 00000f4c: DUP1 00000f4d: DUP3 00000f4e: KECCAK256 00000f4f: SWAP4 00000f50: SWAP1 00000f51: SWAP4 00000f52: SSTORE 00000f53: SWAP1 00000f54: DUP5 00000f55: AND 00000f56: DUP2 00000f57: MSTORE 00000f58: KECCAK256 00000f59: SLOAD 00000f5a: PUSH2 0x0f69 00000f5d: SWAP1 00000f5e: DUP3 00000f5f: PUSH4 0xffffffff 00000f64: PUSH2 0x105d 00000f67: AND 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH1 0x01 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0xa0 00000f70: SHL 00000f71: SUB 00000f72: DUP1 00000f73: DUP5 00000f74: AND 00000f75: PUSH1 0x00 00000f77: DUP2 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x20 00000f7c: DUP2 00000f7d: DUP2 00000f7e: MSTORE 00000f7f: PUSH1 0x40 00000f81: SWAP2 00000f82: DUP3 00000f83: SWAP1 00000f84: KECCAK256 00000f85: SWAP5 00000f86: SWAP1 00000f87: SWAP5 00000f88: SSTORE 00000f89: DUP1 00000f8a: MLOAD 00000f8b: DUP6 00000f8c: DUP2 00000f8d: MSTORE 00000f8e: SWAP1 00000f8f: MLOAD 00000f90: SWAP2 00000f91: SWAP4 00000f92: SWAP3 00000f93: DUP8 00000f94: AND 00000f95: SWAP3 00000f96: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fb7: SWAP3 00000fb8: SWAP2 00000fb9: DUP3 00000fba: SWAP1 00000fbb: SUB 00000fbc: ADD 00000fbd: SWAP1 00000fbe: LOG3 00000fbf: POP 00000fc0: POP 00000fc1: POP 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x00 00000fc6: DUP2 00000fc7: DUP5 00000fc8: DUP5 00000fc9: GT 00000fca: ISZERO 00000fcb: PUSH2 0x1055 00000fce: JUMPI 00000fcf: PUSH1 0x40 00000fd1: MLOAD 00000fd2: PUSH1 0x01 00000fd4: PUSH1 0xe5 00000fd6: SHL 00000fd7: PUSH3 0x461bcd 00000fdb: MUL 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x04 00000fe0: ADD 00000fe1: DUP1 00000fe2: DUP1 00000fe3: PUSH1 0x20 00000fe5: ADD 00000fe6: DUP3 00000fe7: DUP2 00000fe8: SUB 00000fe9: DUP3 00000fea: MSTORE 00000feb: DUP4 00000fec: DUP2 00000fed: DUP2 00000fee: MLOAD 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x20 00000ff3: ADD 00000ff4: SWAP2 00000ff5: POP 00000ff6: DUP1 00000ff7: MLOAD 00000ff8: SWAP1 00000ff9: PUSH1 0x20 00000ffb: ADD 00000ffc: SWAP1 00000ffd: DUP1 00000ffe: DUP4 00000fff: DUP4 00001000: PUSH1 0x00 00001002: JUMPDEST 00001003: DUP4 00001004: DUP2 00001005: LT 00001006: ISZERO 00001007: PUSH2 0x101a 0000100a: JUMPI 0000100b: DUP2 0000100c: DUP2 0000100d: ADD 0000100e: MLOAD 0000100f: DUP4 00001010: DUP3 00001011: ADD 00001012: MSTORE 00001013: PUSH1 0x20 00001015: ADD 00001016: PUSH2 0x1002 00001019: JUMP 0000101a: JUMPDEST 0000101b: POP 0000101c: POP 0000101d: POP 0000101e: POP 0000101f: SWAP1 00001020: POP 00001021: SWAP1 00001022: DUP2 00001023: ADD 00001024: SWAP1 00001025: PUSH1 0x1f 00001027: AND 00001028: DUP1 00001029: ISZERO 0000102a: PUSH2 0x1047 0000102d: JUMPI 0000102e: DUP1 0000102f: DUP3 00001030: SUB 00001031: DUP1 00001032: MLOAD 00001033: PUSH1 0x01 00001035: DUP4 00001036: PUSH1 0x20 00001038: SUB 00001039: PUSH2 0x0100 0000103c: EXP 0000103d: SUB 0000103e: NOT 0000103f: AND 00001040: DUP2 00001041: MSTORE 00001042: PUSH1 0x20 00001044: ADD 00001045: SWAP2 00001046: POP 00001047: JUMPDEST 00001048: POP 00001049: SWAP3 0000104a: POP 0000104b: POP 0000104c: POP 0000104d: PUSH1 0x40 0000104f: MLOAD 00001050: DUP1 00001051: SWAP2 00001052: SUB 00001053: SWAP1 00001054: REVERT 00001055: JUMPDEST 00001056: POP 00001057: POP 00001058: POP 00001059: SWAP1 0000105a: SUB 0000105b: SWAP1 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: DUP3 00001061: DUP3 00001062: ADD 00001063: DUP4 00001064: DUP2 00001065: LT 00001066: ISZERO 00001067: PUSH2 0x04dc 0000106a: JUMPI 0000106b: PUSH1 0x40 0000106d: DUP1 0000106e: MLOAD 0000106f: PUSH1 0x01 00001071: PUSH1 0xe5 00001073: SHL 00001074: PUSH3 0x461bcd 00001078: MUL 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: PUSH1 0x04 0000107f: DUP3 00001080: ADD 00001081: MSTORE 00001082: PUSH1 0x1b 00001084: PUSH1 0x24 00001086: DUP3 00001087: ADD 00001088: MSTORE 00001089: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000010aa: PUSH1 0x44 000010ac: DUP3 000010ad: ADD 000010ae: MSTORE 000010af: SWAP1 000010b0: MLOAD 000010b1: SWAP1 000010b2: DUP2 000010b3: SWAP1 000010b4: SUB 000010b5: PUSH1 0x64 000010b7: ADD 000010b8: SWAP1 000010b9: REVERT 000010ba: JUMPDEST 000010bb: PUSH1 0x00 000010bd: PUSH2 0x04dc 000010c0: DUP4 000010c1: DUP4 000010c2: PUSH1 0x40 000010c4: MLOAD 000010c5: DUP1 000010c6: PUSH1 0x40 000010c8: ADD 000010c9: PUSH1 0x40 000010cb: MSTORE 000010cc: DUP1 000010cd: PUSH1 0x1e 000010cf: DUP2 000010d0: MSTORE 000010d1: PUSH1 0x20 000010d3: ADD 000010d4: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000010f5: DUP2 000010f6: MSTORE 000010f7: POP 000010f8: PUSH2 0x0fc3 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH2 0x1106 00001100: DUP3 00001101: DUP3 00001102: PUSH2 0x0b95 00001105: JUMP 00001106: JUMPDEST 00001107: ISZERO 00001108: ISZERO 00001109: PUSH2 0x1146 0000110c: JUMPI 0000110d: PUSH1 0x40 0000110f: MLOAD 00001110: PUSH1 0x01 00001112: PUSH1 0xe5 00001114: SHL 00001115: PUSH3 0x461bcd 00001119: MUL 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x04 0000111e: ADD 0000111f: DUP1 00001120: DUP1 00001121: PUSH1 0x20 00001123: ADD 00001124: DUP3 00001125: DUP2 00001126: SUB 00001127: DUP3 00001128: MSTORE 00001129: PUSH1 0x21 0000112b: DUP2 0000112c: MSTORE 0000112d: PUSH1 0x20 0000112f: ADD 00001130: DUP1 00001131: PUSH2 0x12aa 00001134: PUSH1 0x21 00001136: SWAP2 00001137: CODECOPY 00001138: PUSH1 0x40 0000113a: ADD 0000113b: SWAP2 0000113c: POP 0000113d: POP 0000113e: PUSH1 0x40 00001140: MLOAD 00001141: DUP1 00001142: SWAP2 00001143: SUB 00001144: SWAP1 00001145: REVERT 00001146: JUMPDEST 00001147: PUSH1 0x01 00001149: PUSH1 0x01 0000114b: PUSH1 0xa0 0000114d: SHL 0000114e: SUB 0000114f: AND 00001150: PUSH1 0x00 00001152: SWAP1 00001153: DUP2 00001154: MSTORE 00001155: PUSH1 0x20 00001157: SWAP2 00001158: SWAP1 00001159: SWAP2 0000115a: MSTORE 0000115b: PUSH1 0x40 0000115d: SWAP1 0000115e: KECCAK256 0000115f: DUP1 00001160: SLOAD 00001161: PUSH1 0xff 00001163: NOT 00001164: AND 00001165: SWAP1 00001166: SSTORE 00001167: JUMP 00001168: JUMPDEST 00001169: PUSH2 0x1172 0000116c: DUP3 0000116d: DUP3 0000116e: PUSH2 0x0b95 00001171: JUMP 00001172: JUMPDEST 00001173: ISZERO 00001174: PUSH2 0x11c7 00001177: JUMPI 00001178: PUSH1 0x40 0000117a: DUP1 0000117b: MLOAD 0000117c: PUSH1 0x01 0000117e: PUSH1 0xe5 00001180: SHL 00001181: PUSH3 0x461bcd 00001185: MUL 00001186: DUP2 00001187: MSTORE 00001188: PUSH1 0x20 0000118a: PUSH1 0x04 0000118c: DUP3 0000118d: ADD 0000118e: MSTORE 0000118f: PUSH1 0x1f 00001191: PUSH1 0x24 00001193: DUP3 00001194: ADD 00001195: MSTORE 00001196: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500 000011b7: PUSH1 0x44 000011b9: DUP3 000011ba: ADD 000011bb: MSTORE 000011bc: SWAP1 000011bd: MLOAD 000011be: SWAP1 000011bf: DUP2 000011c0: SWAP1 000011c1: SUB 000011c2: PUSH1 0x64 000011c4: ADD 000011c5: SWAP1 000011c6: REVERT 000011c7: JUMPDEST 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: AND 000011d1: PUSH1 0x00 000011d3: SWAP1 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x20 000011d8: SWAP2 000011d9: SWAP1 000011da: SWAP2 000011db: MSTORE 000011dc: PUSH1 0x40 000011de: SWAP1 000011df: KECCAK256 000011e0: DUP1 000011e1: SLOAD 000011e2: PUSH1 0xff 000011e4: NOT 000011e5: AND 000011e6: PUSH1 0x01 000011e8: OR 000011e9: SWAP1 000011ea: SSTORE 000011eb: JUMP 000011ec: INVALID 000011ed: GASLIMIT 000011ee: MSTORE 000011ef: NUMBER 000011f0: ORIGIN 000011f1: ADDRESS 000011f2: GASPRICE 000011f3: KECCAK256 000011f4: PUSH21 0x72616e7366657220746f20746865207a65726f2061 0000120a: PUSH5 0x6472657373 00001210: GASLIMIT 00001211: MSTORE 00001212: NUMBER 00001213: ORIGIN 00001214: ADDRESS 00001215: GASPRICE 00001216: KECCAK256 00001217: PUSH3 0x75726e 0000121b: KECCAK256 0000121c: PUSH2 0x6d6f 0000121f: PUSH22 0x6e7420657863656564732062616c616e636550617573 00001236: PUSH6 0x72526f6c653a 0000123d: KECCAK256 0000123e: PUSH4 0x616c6c65 00001243: PUSH19 0x20646f6573206e6f7420686176652074686520 00001257: POP 00001258: PUSH2 0x7573 0000125b: PUSH6 0x7220726f6c65 00001262: GASLIMIT 00001263: MSTORE 00001264: NUMBER 00001265: ORIGIN 00001266: ADDRESS 00001267: GASPRICE 00001268: KECCAK256 00001269: PUSH2 0x7070 0000126c: PUSH19 0x6f766520746f20746865207a65726f20616464 00001280: PUSH19 0x65737345524332303a207472616e7366657220 00001294: PUSH2 0x6d6f 00001297: PUSH22 0x6e7420657863656564732062616c616e6365526f6c65 000012ae: PUSH20 0x3a206163636f756e7420646f6573206e6f742068 000012c3: PUSH2 0x7665 000012c6: KECCAK256 000012c7: PUSH19 0x6f6c6545524332303a207472616e7366657220 000012db: PUSH2 0x6d6f 000012de: PUSH22 0x6e74206578636565647320616c6c6f77616e6365526f 000012f5: PUSH13 0x65733a206163636f756e742069 00001303: PUSH20 0x20746865207a65726f2061646472657373455243 00001318: ORIGIN 00001319: ADDRESS 0000131a: GASPRICE 0000131b: KECCAK256 0000131c: PUSH3 0x75726e 00001320: KECCAK256 00001321: PUSH2 0x6d6f 00001324: PUSH22 0x6e74206578636565647320616c6c6f77616e63654552 0000133b: NUMBER 0000133c: ORIGIN 0000133d: ADDRESS 0000133e: GASPRICE 0000133f: KECCAK256 00001340: PUSH3 0x75726e 00001344: KECCAK256 00001345: PUSH7 0x726f6d20746865 0000134d: KECCAK256 0000134e: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220 0000136a: PUSH7 0x726f6d20746865 00001372: KECCAK256 00001373: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066 0000138f: PUSH19 0x6f6d20746865207a65726f2061646472657373 000013a3: GASLIMIT 000013a4: MSTORE 000013a5: NUMBER 000013a6: ORIGIN 000013a7: ADDRESS 000013a8: GASPRICE 000013a9: KECCAK256 000013aa: PUSH5 0x6563726561 000013b0: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 000013c5: PUSH6 0x726fa165627a 000013cc: PUSH27 0x723058205fbe77cf0b5842e598b907906aaf499380d0b00ea0c0f9 000013e8: UNKNOWN(0xA9) 000013e9: UNKNOWN(0xAB) 000013ea: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ef8d66d",
"selector": "0x6ef8d66d",
"calldata_variants": [
"0x6ef8d66d",
"0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4592,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
},
{
"pc": 4709,
"type": "tx_origin_used"
},
{
"pc": 4888,
"type": "tx_origin_used"
},
{
"pc": 4924,
"type": "tx_origin_used"
},
{
"pc": 5030,
"type": "tx_origin_used"
}
]
}
|