019b477e-ba03-7186-96ab-701c760ed2fe
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 |
|---|---|---|---|---|
| 23675 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23676 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90321 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90322 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90323 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90324 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: 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 0x01c4 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x70a08231 00000026: GT 00000027: PUSH2 0x00f9 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa457c2d7 00000031: GT 00000032: PUSH2 0x0097 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xd5391393 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xd5391393 00000047: EQ 00000048: PUSH2 0x0542 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd547741f 00000052: EQ 00000053: PUSH2 0x054a 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x0576 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xe63ab1e9 00000068: EQ 00000069: PUSH2 0x05a4 0000006c: JUMPI 0000006d: PUSH2 0x01c4 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xa457c2d7 00000078: EQ 00000079: PUSH2 0x04cd 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xa9059cbb 00000083: EQ 00000084: PUSH2 0x04f9 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xca15c873 0000008e: EQ 0000008f: PUSH2 0x0525 00000092: JUMPI 00000093: PUSH2 0x01c4 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x9010d07c 0000009e: GT 0000009f: PUSH2 0x00d3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x9010d07c 000000a9: EQ 000000aa: PUSH2 0x0452 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x91d14854 000000b4: EQ 000000b5: PUSH2 0x0491 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x95d89b41 000000bf: EQ 000000c0: PUSH2 0x04bd 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa217fddf 000000ca: EQ 000000cb: PUSH2 0x04c5 000000ce: JUMPI 000000cf: PUSH2 0x01c4 000000d2: JUMP 000000d3: JUMPDEST 000000d4: DUP1 000000d5: PUSH4 0x70a08231 000000da: EQ 000000db: PUSH2 0x03f8 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x79cc6790 000000e5: EQ 000000e6: PUSH2 0x041e 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8456cb59 000000f0: EQ 000000f1: PUSH2 0x044a 000000f4: JUMPI 000000f5: PUSH2 0x01c4 000000f8: JUMP 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x313ce567 00000100: GT 00000101: PUSH2 0x0166 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3f4ba83a 0000010b: GT 0000010c: PUSH2 0x0140 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x3f4ba83a 00000116: EQ 00000117: PUSH2 0x039f 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x40c10f19 00000121: EQ 00000122: PUSH2 0x03a7 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x42966c68 0000012c: EQ 0000012d: PUSH2 0x03d3 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x5c975abb 00000137: EQ 00000138: PUSH2 0x03f0 0000013b: JUMPI 0000013c: PUSH2 0x01c4 0000013f: JUMP 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x313ce567 00000147: EQ 00000148: PUSH2 0x0329 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x36568abe 00000152: EQ 00000153: PUSH2 0x0347 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x39509351 0000015d: EQ 0000015e: PUSH2 0x0373 00000161: JUMPI 00000162: PUSH2 0x01c4 00000165: JUMP 00000166: JUMPDEST 00000167: DUP1 00000168: PUSH4 0x23b872dd 0000016d: GT 0000016e: PUSH2 0x01a2 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x23b872dd 00000178: EQ 00000179: PUSH2 0x02a0 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x248a9ca3 00000183: EQ 00000184: PUSH2 0x02d6 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x282c51f3 0000018e: EQ 0000018f: PUSH2 0x02f3 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x2f2ff15d 00000199: EQ 0000019a: PUSH2 0x02fb 0000019d: JUMPI 0000019e: PUSH2 0x01c4 000001a1: JUMP 000001a2: JUMPDEST 000001a3: DUP1 000001a4: PUSH4 0x06fdde03 000001a9: EQ 000001aa: PUSH2 0x01c9 000001ad: JUMPI 000001ae: DUP1 000001af: PUSH4 0x095ea7b3 000001b4: EQ 000001b5: PUSH2 0x0246 000001b8: JUMPI 000001b9: DUP1 000001ba: PUSH4 0x18160ddd 000001bf: EQ 000001c0: PUSH2 0x0286 000001c3: JUMPI 000001c4: JUMPDEST 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: PUSH2 0x01d1 000001cd: PUSH2 0x05ac 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: DUP1 000001d5: MLOAD 000001d6: PUSH1 0x20 000001d8: DUP1 000001d9: DUP3 000001da: MSTORE 000001db: DUP4 000001dc: MLOAD 000001dd: DUP2 000001de: DUP4 000001df: ADD 000001e0: MSTORE 000001e1: DUP4 000001e2: MLOAD 000001e3: SWAP2 000001e4: SWAP3 000001e5: DUP4 000001e6: SWAP3 000001e7: SWAP1 000001e8: DUP4 000001e9: ADD 000001ea: SWAP2 000001eb: DUP6 000001ec: ADD 000001ed: SWAP1 000001ee: DUP1 000001ef: DUP4 000001f0: DUP4 000001f1: PUSH1 0x00 000001f3: JUMPDEST 000001f4: DUP4 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x020b 000001fb: JUMPI 000001fc: DUP2 000001fd: DUP2 000001fe: ADD 000001ff: MLOAD 00000200: DUP4 00000201: DUP3 00000202: ADD 00000203: MSTORE 00000204: PUSH1 0x20 00000206: ADD 00000207: PUSH2 0x01f3 0000020a: JUMP 0000020b: JUMPDEST 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: POP 00000210: SWAP1 00000211: POP 00000212: SWAP1 00000213: DUP2 00000214: ADD 00000215: SWAP1 00000216: PUSH1 0x1f 00000218: AND 00000219: DUP1 0000021a: ISZERO 0000021b: PUSH2 0x0238 0000021e: JUMPI 0000021f: DUP1 00000220: DUP3 00000221: SUB 00000222: DUP1 00000223: MLOAD 00000224: PUSH1 0x01 00000226: DUP4 00000227: PUSH1 0x20 00000229: SUB 0000022a: PUSH2 0x0100 0000022d: EXP 0000022e: SUB 0000022f: NOT 00000230: AND 00000231: DUP2 00000232: MSTORE 00000233: PUSH1 0x20 00000235: ADD 00000236: SWAP2 00000237: POP 00000238: JUMPDEST 00000239: POP 0000023a: SWAP3 0000023b: POP 0000023c: POP 0000023d: POP 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: DUP1 00000242: SWAP2 00000243: SUB 00000244: SWAP1 00000245: RETURN 00000246: JUMPDEST 00000247: PUSH2 0x0272 0000024a: PUSH1 0x04 0000024c: DUP1 0000024d: CALLDATASIZE 0000024e: SUB 0000024f: PUSH1 0x40 00000251: DUP2 00000252: LT 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH1 0x01 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: SHL 00000265: SUB 00000266: DUP2 00000267: CALLDATALOAD 00000268: AND 00000269: SWAP1 0000026a: PUSH1 0x20 0000026c: ADD 0000026d: CALLDATALOAD 0000026e: PUSH2 0x0642 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: DUP1 00000276: MLOAD 00000277: SWAP2 00000278: ISZERO 00000279: ISZERO 0000027a: DUP3 0000027b: MSTORE 0000027c: MLOAD 0000027d: SWAP1 0000027e: DUP2 0000027f: SWAP1 00000280: SUB 00000281: PUSH1 0x20 00000283: ADD 00000284: SWAP1 00000285: RETURN 00000286: JUMPDEST 00000287: PUSH2 0x028e 0000028a: PUSH2 0x0660 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x40 00000291: DUP1 00000292: MLOAD 00000293: SWAP2 00000294: DUP3 00000295: MSTORE 00000296: MLOAD 00000297: SWAP1 00000298: DUP2 00000299: SWAP1 0000029a: SUB 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: SWAP1 0000029f: RETURN 000002a0: JUMPDEST 000002a1: PUSH2 0x0272 000002a4: PUSH1 0x04 000002a6: DUP1 000002a7: CALLDATASIZE 000002a8: SUB 000002a9: PUSH1 0x60 000002ab: DUP2 000002ac: LT 000002ad: ISZERO 000002ae: PUSH2 0x02b6 000002b1: JUMPI 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH1 0x01 000002ba: PUSH1 0x01 000002bc: PUSH1 0xa0 000002be: SHL 000002bf: SUB 000002c0: DUP2 000002c1: CALLDATALOAD 000002c2: DUP2 000002c3: AND 000002c4: SWAP2 000002c5: PUSH1 0x20 000002c7: DUP2 000002c8: ADD 000002c9: CALLDATALOAD 000002ca: SWAP1 000002cb: SWAP2 000002cc: AND 000002cd: SWAP1 000002ce: PUSH1 0x40 000002d0: ADD 000002d1: CALLDATALOAD 000002d2: PUSH2 0x0666 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x028e 000002da: PUSH1 0x04 000002dc: DUP1 000002dd: CALLDATASIZE 000002de: SUB 000002df: PUSH1 0x20 000002e1: DUP2 000002e2: LT 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: CALLDATALOAD 000002ef: PUSH2 0x06ed 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH2 0x028e 000002f7: PUSH2 0x0702 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x0327 000002ff: PUSH1 0x04 00000301: DUP1 00000302: CALLDATASIZE 00000303: SUB 00000304: PUSH1 0x40 00000306: DUP2 00000307: LT 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: DUP1 00000314: CALLDATALOAD 00000315: SWAP1 00000316: PUSH1 0x20 00000318: ADD 00000319: CALLDATALOAD 0000031a: PUSH1 0x01 0000031c: PUSH1 0x01 0000031e: PUSH1 0xa0 00000320: SHL 00000321: SUB 00000322: AND 00000323: PUSH2 0x0726 00000326: JUMP 00000327: JUMPDEST 00000328: STOP 00000329: JUMPDEST 0000032a: PUSH2 0x0331 0000032d: PUSH2 0x0792 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH1 0x40 00000334: DUP1 00000335: MLOAD 00000336: PUSH1 0xff 00000338: SWAP1 00000339: SWAP3 0000033a: AND 0000033b: DUP3 0000033c: MSTORE 0000033d: MLOAD 0000033e: SWAP1 0000033f: DUP2 00000340: SWAP1 00000341: SUB 00000342: PUSH1 0x20 00000344: ADD 00000345: SWAP1 00000346: RETURN 00000347: JUMPDEST 00000348: PUSH2 0x0327 0000034b: PUSH1 0x04 0000034d: DUP1 0000034e: CALLDATASIZE 0000034f: SUB 00000350: PUSH1 0x40 00000352: DUP2 00000353: LT 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: DUP1 00000360: CALLDATALOAD 00000361: SWAP1 00000362: PUSH1 0x20 00000364: ADD 00000365: CALLDATALOAD 00000366: PUSH1 0x01 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: SHL 0000036d: SUB 0000036e: AND 0000036f: PUSH2 0x079b 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x0272 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATASIZE 0000037b: SUB 0000037c: PUSH1 0x40 0000037e: DUP2 0000037f: LT 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH1 0x01 0000038d: PUSH1 0x01 0000038f: PUSH1 0xa0 00000391: SHL 00000392: SUB 00000393: DUP2 00000394: CALLDATALOAD 00000395: AND 00000396: SWAP1 00000397: PUSH1 0x20 00000399: ADD 0000039a: CALLDATALOAD 0000039b: PUSH2 0x07fc 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x0327 000003a3: PUSH2 0x084a 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH2 0x0327 000003ab: PUSH1 0x04 000003ad: DUP1 000003ae: CALLDATASIZE 000003af: SUB 000003b0: PUSH1 0x40 000003b2: DUP2 000003b3: LT 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH1 0x01 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: SHL 000003c6: SUB 000003c7: DUP2 000003c8: CALLDATALOAD 000003c9: AND 000003ca: SWAP1 000003cb: PUSH1 0x20 000003cd: ADD 000003ce: CALLDATALOAD 000003cf: PUSH2 0x08bb 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH2 0x0327 000003d7: PUSH1 0x04 000003d9: DUP1 000003da: CALLDATASIZE 000003db: SUB 000003dc: PUSH1 0x20 000003de: DUP2 000003df: LT 000003e0: ISZERO 000003e1: PUSH2 0x03e9 000003e4: JUMPI 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: REVERT 000003e9: JUMPDEST 000003ea: POP 000003eb: CALLDATALOAD 000003ec: PUSH2 0x092c 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH2 0x0272 000003f4: PUSH2 0x09a7 000003f7: JUMP 000003f8: JUMPDEST 000003f9: PUSH2 0x028e 000003fc: PUSH1 0x04 000003fe: DUP1 000003ff: CALLDATASIZE 00000400: SUB 00000401: PUSH1 0x20 00000403: DUP2 00000404: LT 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: CALLDATALOAD 00000411: PUSH1 0x01 00000413: PUSH1 0x01 00000415: PUSH1 0xa0 00000417: SHL 00000418: SUB 00000419: AND 0000041a: PUSH2 0x09b5 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH2 0x0327 00000422: PUSH1 0x04 00000424: DUP1 00000425: CALLDATASIZE 00000426: SUB 00000427: PUSH1 0x40 00000429: DUP2 0000042a: LT 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: POP 00000436: PUSH1 0x01 00000438: PUSH1 0x01 0000043a: PUSH1 0xa0 0000043c: SHL 0000043d: SUB 0000043e: DUP2 0000043f: CALLDATALOAD 00000440: AND 00000441: SWAP1 00000442: PUSH1 0x20 00000444: ADD 00000445: CALLDATALOAD 00000446: PUSH2 0x09d0 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH2 0x0327 0000044e: PUSH2 0x0a91 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH2 0x0475 00000456: PUSH1 0x04 00000458: DUP1 00000459: CALLDATASIZE 0000045a: SUB 0000045b: PUSH1 0x40 0000045d: DUP2 0000045e: LT 0000045f: ISZERO 00000460: PUSH2 0x0468 00000463: JUMPI 00000464: PUSH1 0x00 00000466: DUP1 00000467: REVERT 00000468: JUMPDEST 00000469: POP 0000046a: DUP1 0000046b: CALLDATALOAD 0000046c: SWAP1 0000046d: PUSH1 0x20 0000046f: ADD 00000470: CALLDATALOAD 00000471: PUSH2 0x0b00 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: DUP1 00000479: MLOAD 0000047a: PUSH1 0x01 0000047c: PUSH1 0x01 0000047e: PUSH1 0xa0 00000480: SHL 00000481: SUB 00000482: SWAP1 00000483: SWAP3 00000484: AND 00000485: DUP3 00000486: MSTORE 00000487: MLOAD 00000488: SWAP1 00000489: DUP2 0000048a: SWAP1 0000048b: SUB 0000048c: PUSH1 0x20 0000048e: ADD 0000048f: SWAP1 00000490: RETURN 00000491: JUMPDEST 00000492: PUSH2 0x0272 00000495: PUSH1 0x04 00000497: DUP1 00000498: CALLDATASIZE 00000499: SUB 0000049a: PUSH1 0x40 0000049c: DUP2 0000049d: LT 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: DUP1 000004aa: CALLDATALOAD 000004ab: SWAP1 000004ac: PUSH1 0x20 000004ae: ADD 000004af: CALLDATALOAD 000004b0: PUSH1 0x01 000004b2: PUSH1 0x01 000004b4: PUSH1 0xa0 000004b6: SHL 000004b7: SUB 000004b8: AND 000004b9: PUSH2 0x0b1f 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH2 0x01d1 000004c1: PUSH2 0x0b37 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH2 0x028e 000004c9: PUSH2 0x0b98 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH2 0x0272 000004d1: PUSH1 0x04 000004d3: DUP1 000004d4: CALLDATASIZE 000004d5: SUB 000004d6: PUSH1 0x40 000004d8: DUP2 000004d9: LT 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: POP 000004e5: PUSH1 0x01 000004e7: PUSH1 0x01 000004e9: PUSH1 0xa0 000004eb: SHL 000004ec: SUB 000004ed: DUP2 000004ee: CALLDATALOAD 000004ef: AND 000004f0: SWAP1 000004f1: PUSH1 0x20 000004f3: ADD 000004f4: CALLDATALOAD 000004f5: PUSH2 0x0b9d 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH2 0x0272 000004fd: PUSH1 0x04 000004ff: DUP1 00000500: CALLDATASIZE 00000501: SUB 00000502: PUSH1 0x40 00000504: DUP2 00000505: LT 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: POP 00000511: PUSH1 0x01 00000513: PUSH1 0x01 00000515: PUSH1 0xa0 00000517: SHL 00000518: SUB 00000519: DUP2 0000051a: CALLDATALOAD 0000051b: AND 0000051c: SWAP1 0000051d: PUSH1 0x20 0000051f: ADD 00000520: CALLDATALOAD 00000521: PUSH2 0x0c05 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH2 0x028e 00000529: PUSH1 0x04 0000052b: DUP1 0000052c: CALLDATASIZE 0000052d: SUB 0000052e: PUSH1 0x20 00000530: DUP2 00000531: LT 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: CALLDATALOAD 0000053e: PUSH2 0x0c19 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH2 0x028e 00000546: PUSH2 0x0c30 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0327 0000054e: PUSH1 0x04 00000550: DUP1 00000551: CALLDATASIZE 00000552: SUB 00000553: PUSH1 0x40 00000555: DUP2 00000556: LT 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: DUP1 00000563: CALLDATALOAD 00000564: SWAP1 00000565: PUSH1 0x20 00000567: ADD 00000568: CALLDATALOAD 00000569: PUSH1 0x01 0000056b: PUSH1 0x01 0000056d: PUSH1 0xa0 0000056f: SHL 00000570: SUB 00000571: AND 00000572: PUSH2 0x0c54 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH2 0x028e 0000057a: PUSH1 0x04 0000057c: DUP1 0000057d: CALLDATASIZE 0000057e: SUB 0000057f: PUSH1 0x40 00000581: DUP2 00000582: LT 00000583: ISZERO 00000584: PUSH2 0x058c 00000587: JUMPI 00000588: PUSH1 0x00 0000058a: DUP1 0000058b: REVERT 0000058c: JUMPDEST 0000058d: POP 0000058e: PUSH1 0x01 00000590: PUSH1 0x01 00000592: PUSH1 0xa0 00000594: SHL 00000595: SUB 00000596: DUP2 00000597: CALLDATALOAD 00000598: DUP2 00000599: AND 0000059a: SWAP2 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: CALLDATALOAD 0000059f: AND 000005a0: PUSH2 0x0cad 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH2 0x028e 000005a8: PUSH2 0x0cd8 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x04 000005af: DUP1 000005b0: SLOAD 000005b1: PUSH1 0x40 000005b3: DUP1 000005b4: MLOAD 000005b5: PUSH1 0x20 000005b7: PUSH1 0x1f 000005b9: PUSH1 0x02 000005bb: PUSH1 0x00 000005bd: NOT 000005be: PUSH2 0x0100 000005c1: PUSH1 0x01 000005c3: DUP9 000005c4: AND 000005c5: ISZERO 000005c6: MUL 000005c7: ADD 000005c8: SWAP1 000005c9: SWAP6 000005ca: AND 000005cb: SWAP5 000005cc: SWAP1 000005cd: SWAP5 000005ce: DIV 000005cf: SWAP4 000005d0: DUP5 000005d1: ADD 000005d2: DUP2 000005d3: SWAP1 000005d4: DIV 000005d5: DUP2 000005d6: MUL 000005d7: DUP3 000005d8: ADD 000005d9: DUP2 000005da: ADD 000005db: SWAP1 000005dc: SWAP3 000005dd: MSTORE 000005de: DUP3 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x60 000005e3: SWAP4 000005e4: SWAP1 000005e5: SWAP3 000005e6: SWAP1 000005e7: SWAP2 000005e8: DUP4 000005e9: ADD 000005ea: DUP3 000005eb: DUP3 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x0638 000005f1: JUMPI 000005f2: DUP1 000005f3: PUSH1 0x1f 000005f5: LT 000005f6: PUSH2 0x060d 000005f9: JUMPI 000005fa: PUSH2 0x0100 000005fd: DUP1 000005fe: DUP4 000005ff: SLOAD 00000600: DIV 00000601: MUL 00000602: DUP4 00000603: MSTORE 00000604: SWAP2 00000605: PUSH1 0x20 00000607: ADD 00000608: SWAP2 00000609: PUSH2 0x0638 0000060c: JUMP 0000060d: JUMPDEST 0000060e: DUP3 0000060f: ADD 00000610: SWAP2 00000611: SWAP1 00000612: PUSH1 0x00 00000614: MSTORE 00000615: PUSH1 0x20 00000617: PUSH1 0x00 00000619: KECCAK256 0000061a: SWAP1 0000061b: JUMPDEST 0000061c: DUP2 0000061d: SLOAD 0000061e: DUP2 0000061f: MSTORE 00000620: SWAP1 00000621: PUSH1 0x01 00000623: ADD 00000624: SWAP1 00000625: PUSH1 0x20 00000627: ADD 00000628: DUP1 00000629: DUP4 0000062a: GT 0000062b: PUSH2 0x061b 0000062e: JUMPI 0000062f: DUP3 00000630: SWAP1 00000631: SUB 00000632: PUSH1 0x1f 00000634: AND 00000635: DUP3 00000636: ADD 00000637: SWAP2 00000638: JUMPDEST 00000639: POP 0000063a: POP 0000063b: POP 0000063c: POP 0000063d: POP 0000063e: SWAP1 0000063f: POP 00000640: SWAP1 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x00 00000645: PUSH2 0x0656 00000648: PUSH2 0x064f 0000064b: PUSH2 0x0d11 0000064e: JUMP 0000064f: JUMPDEST 00000650: DUP5 00000651: DUP5 00000652: PUSH2 0x0d15 00000655: JUMP 00000656: JUMPDEST 00000657: POP 00000658: PUSH1 0x01 0000065a: JUMPDEST 0000065b: SWAP3 0000065c: SWAP2 0000065d: POP 0000065e: POP 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH1 0x03 00000663: SLOAD 00000664: SWAP1 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x00 00000669: PUSH2 0x0673 0000066c: DUP5 0000066d: DUP5 0000066e: DUP5 0000066f: PUSH2 0x0e01 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH2 0x06e3 00000677: DUP5 00000678: PUSH2 0x067f 0000067b: PUSH2 0x0d11 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH2 0x06de 00000683: DUP6 00000684: PUSH1 0x40 00000686: MLOAD 00000687: DUP1 00000688: PUSH1 0x60 0000068a: ADD 0000068b: PUSH1 0x40 0000068d: MSTORE 0000068e: DUP1 0000068f: PUSH1 0x28 00000691: DUP2 00000692: MSTORE 00000693: PUSH1 0x20 00000695: ADD 00000696: PUSH2 0x17f0 00000699: PUSH1 0x28 0000069b: SWAP2 0000069c: CODECOPY 0000069d: PUSH1 0x01 0000069f: PUSH1 0x01 000006a1: PUSH1 0xa0 000006a3: SHL 000006a4: SUB 000006a5: DUP11 000006a6: AND 000006a7: PUSH1 0x00 000006a9: SWAP1 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x02 000006ae: PUSH1 0x20 000006b0: MSTORE 000006b1: PUSH1 0x40 000006b3: DUP2 000006b4: KECCAK256 000006b5: SWAP1 000006b6: PUSH2 0x06bd 000006b9: PUSH2 0x0d11 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x01 000006c0: PUSH1 0x01 000006c2: PUSH1 0xa0 000006c4: SHL 000006c5: SUB 000006c6: AND 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x20 000006cb: DUP2 000006cc: ADD 000006cd: SWAP2 000006ce: SWAP1 000006cf: SWAP2 000006d0: MSTORE 000006d1: PUSH1 0x40 000006d3: ADD 000006d4: PUSH1 0x00 000006d6: KECCAK256 000006d7: SLOAD 000006d8: SWAP2 000006d9: SWAP1 000006da: PUSH2 0x0f5e 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH2 0x0d15 000006e2: JUMP 000006e3: JUMPDEST 000006e4: POP 000006e5: PUSH1 0x01 000006e7: SWAP4 000006e8: SWAP3 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x00 000006f0: SWAP1 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x20 000006f5: DUP2 000006f6: SWAP1 000006f7: MSTORE 000006f8: PUSH1 0x40 000006fa: SWAP1 000006fb: KECCAK256 000006fc: PUSH1 0x02 000006fe: ADD 000006ff: SLOAD 00000700: SWAP1 00000701: JUMP 00000702: JUMPDEST 00000703: PUSH32 0x3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a848 00000724: DUP2 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x00 00000729: DUP3 0000072a: DUP2 0000072b: MSTORE 0000072c: PUSH1 0x20 0000072e: DUP2 0000072f: SWAP1 00000730: MSTORE 00000731: PUSH1 0x40 00000733: SWAP1 00000734: KECCAK256 00000735: PUSH1 0x02 00000737: ADD 00000738: SLOAD 00000739: PUSH2 0x0749 0000073c: SWAP1 0000073d: PUSH2 0x0744 00000740: PUSH2 0x0d11 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH2 0x0b1f 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH2 0x0784 0000074d: JUMPI 0000074e: PUSH1 0x40 00000750: MLOAD 00000751: PUSH3 0x461bcd 00000755: PUSH1 0xe5 00000757: SHL 00000758: DUP2 00000759: MSTORE 0000075a: PUSH1 0x04 0000075c: ADD 0000075d: DUP1 0000075e: DUP1 0000075f: PUSH1 0x20 00000761: ADD 00000762: DUP3 00000763: DUP2 00000764: SUB 00000765: DUP3 00000766: MSTORE 00000767: PUSH1 0x2f 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x20 0000076d: ADD 0000076e: DUP1 0000076f: PUSH2 0x16ee 00000772: PUSH1 0x2f 00000774: SWAP2 00000775: CODECOPY 00000776: PUSH1 0x40 00000778: ADD 00000779: SWAP2 0000077a: POP 0000077b: POP 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: DUP1 00000780: SWAP2 00000781: SUB 00000782: SWAP1 00000783: REVERT 00000784: JUMPDEST 00000785: PUSH2 0x078e 00000788: DUP3 00000789: DUP3 0000078a: PUSH2 0x0ff5 0000078d: JUMP 0000078e: JUMPDEST 0000078f: POP 00000790: POP 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x06 00000795: SLOAD 00000796: PUSH1 0xff 00000798: AND 00000799: SWAP1 0000079a: JUMP 0000079b: JUMPDEST 0000079c: PUSH2 0x07a3 0000079f: PUSH2 0x0d11 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x01 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: SHL 000007ab: SUB 000007ac: AND 000007ad: DUP2 000007ae: PUSH1 0x01 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: SHL 000007b5: SUB 000007b6: AND 000007b7: EQ 000007b8: PUSH2 0x07f2 000007bb: JUMPI 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: PUSH3 0x461bcd 000007c3: PUSH1 0xe5 000007c5: SHL 000007c6: DUP2 000007c7: MSTORE 000007c8: PUSH1 0x04 000007ca: ADD 000007cb: DUP1 000007cc: DUP1 000007cd: PUSH1 0x20 000007cf: ADD 000007d0: DUP3 000007d1: DUP2 000007d2: SUB 000007d3: DUP3 000007d4: MSTORE 000007d5: PUSH1 0x2f 000007d7: DUP2 000007d8: MSTORE 000007d9: PUSH1 0x20 000007db: ADD 000007dc: DUP1 000007dd: PUSH2 0x196e 000007e0: PUSH1 0x2f 000007e2: SWAP2 000007e3: CODECOPY 000007e4: PUSH1 0x40 000007e6: ADD 000007e7: SWAP2 000007e8: POP 000007e9: POP 000007ea: PUSH1 0x40 000007ec: MLOAD 000007ed: DUP1 000007ee: SWAP2 000007ef: SUB 000007f0: SWAP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: PUSH2 0x078e 000007f6: DUP3 000007f7: DUP3 000007f8: PUSH2 0x105e 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x00 000007ff: PUSH2 0x0656 00000802: PUSH2 0x0809 00000805: PUSH2 0x0d11 00000808: JUMP 00000809: JUMPDEST 0000080a: DUP5 0000080b: PUSH2 0x06de 0000080e: DUP6 0000080f: PUSH1 0x02 00000811: PUSH1 0x00 00000813: PUSH2 0x081a 00000816: PUSH2 0x0d11 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH1 0x01 0000081d: PUSH1 0x01 0000081f: PUSH1 0xa0 00000821: SHL 00000822: SUB 00000823: SWAP1 00000824: DUP2 00000825: AND 00000826: DUP3 00000827: MSTORE 00000828: PUSH1 0x20 0000082a: DUP1 0000082b: DUP4 0000082c: ADD 0000082d: SWAP4 0000082e: SWAP1 0000082f: SWAP4 00000830: MSTORE 00000831: PUSH1 0x40 00000833: SWAP2 00000834: DUP3 00000835: ADD 00000836: PUSH1 0x00 00000838: SWAP1 00000839: DUP2 0000083a: KECCAK256 0000083b: SWAP2 0000083c: DUP13 0000083d: AND 0000083e: DUP2 0000083f: MSTORE 00000840: SWAP3 00000841: MSTORE 00000842: SWAP1 00000843: KECCAK256 00000844: SLOAD 00000845: SWAP1 00000846: PUSH2 0x10c7 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH2 0x0876 0000084e: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 0000086f: PUSH2 0x0744 00000872: PUSH2 0x0d11 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH2 0x08b1 0000087a: JUMPI 0000087b: PUSH1 0x40 0000087d: MLOAD 0000087e: PUSH3 0x461bcd 00000882: PUSH1 0xe5 00000884: SHL 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x04 00000889: ADD 0000088a: DUP1 0000088b: DUP1 0000088c: PUSH1 0x20 0000088e: ADD 0000088f: DUP3 00000890: DUP2 00000891: SUB 00000892: DUP3 00000893: MSTORE 00000894: PUSH1 0x39 00000896: DUP2 00000897: MSTORE 00000898: PUSH1 0x20 0000089a: ADD 0000089b: DUP1 0000089c: PUSH2 0x173f 0000089f: PUSH1 0x39 000008a1: SWAP2 000008a2: CODECOPY 000008a3: PUSH1 0x40 000008a5: ADD 000008a6: SWAP2 000008a7: POP 000008a8: POP 000008a9: PUSH1 0x40 000008ab: MLOAD 000008ac: DUP1 000008ad: SWAP2 000008ae: SUB 000008af: SWAP1 000008b0: REVERT 000008b1: JUMPDEST 000008b2: PUSH2 0x08b9 000008b5: PUSH2 0x1121 000008b8: JUMP 000008b9: JUMPDEST 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH2 0x08e7 000008bf: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 000008e0: PUSH2 0x0744 000008e3: PUSH2 0x0d11 000008e6: JUMP 000008e7: JUMPDEST 000008e8: PUSH2 0x0922 000008eb: JUMPI 000008ec: PUSH1 0x40 000008ee: MLOAD 000008ef: PUSH3 0x461bcd 000008f3: PUSH1 0xe5 000008f5: SHL 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x04 000008fa: ADD 000008fb: DUP1 000008fc: DUP1 000008fd: PUSH1 0x20 000008ff: ADD 00000900: DUP3 00000901: DUP2 00000902: SUB 00000903: DUP3 00000904: MSTORE 00000905: PUSH1 0x36 00000907: DUP2 00000908: MSTORE 00000909: PUSH1 0x20 0000090b: ADD 0000090c: DUP1 0000090d: PUSH2 0x1818 00000910: PUSH1 0x36 00000912: SWAP2 00000913: CODECOPY 00000914: PUSH1 0x40 00000916: ADD 00000917: SWAP2 00000918: POP 00000919: POP 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: DUP1 0000091e: SWAP2 0000091f: SUB 00000920: SWAP1 00000921: REVERT 00000922: JUMPDEST 00000923: PUSH2 0x078e 00000926: DUP3 00000927: DUP3 00000928: PUSH2 0x11c5 0000092b: JUMP 0000092c: JUMPDEST 0000092d: PUSH2 0x0958 00000930: PUSH32 0x3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a848 00000951: PUSH2 0x0744 00000954: PUSH2 0x0d11 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH2 0x0993 0000095c: JUMPI 0000095d: PUSH1 0x40 0000095f: MLOAD 00000960: PUSH3 0x461bcd 00000964: PUSH1 0xe5 00000966: SHL 00000967: DUP2 00000968: MSTORE 00000969: PUSH1 0x04 0000096b: ADD 0000096c: DUP1 0000096d: DUP1 0000096e: PUSH1 0x20 00000970: ADD 00000971: DUP3 00000972: DUP2 00000973: SUB 00000974: DUP3 00000975: MSTORE 00000976: PUSH1 0x36 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP1 0000097e: PUSH2 0x1872 00000981: PUSH1 0x36 00000983: SWAP2 00000984: CODECOPY 00000985: PUSH1 0x40 00000987: ADD 00000988: SWAP2 00000989: POP 0000098a: POP 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: DUP1 0000098f: SWAP2 00000990: SUB 00000991: SWAP1 00000992: REVERT 00000993: JUMPDEST 00000994: PUSH2 0x09a4 00000997: PUSH2 0x099e 0000099a: PUSH2 0x0d11 0000099d: JUMP 0000099e: JUMPDEST 0000099f: DUP3 000009a0: PUSH2 0x12b7 000009a3: JUMP 000009a4: JUMPDEST 000009a5: POP 000009a6: JUMP 000009a7: JUMPDEST 000009a8: PUSH1 0x06 000009aa: SLOAD 000009ab: PUSH2 0x0100 000009ae: SWAP1 000009af: DIV 000009b0: PUSH1 0xff 000009b2: AND 000009b3: SWAP1 000009b4: JUMP 000009b5: JUMPDEST 000009b6: PUSH1 0x01 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: SHL 000009bd: SUB 000009be: AND 000009bf: PUSH1 0x00 000009c1: SWAP1 000009c2: DUP2 000009c3: MSTORE 000009c4: PUSH1 0x01 000009c6: PUSH1 0x20 000009c8: MSTORE 000009c9: PUSH1 0x40 000009cb: SWAP1 000009cc: KECCAK256 000009cd: SLOAD 000009ce: SWAP1 000009cf: JUMP 000009d0: JUMPDEST 000009d1: PUSH2 0x09fc 000009d4: PUSH32 0x3c11d16cbaffd01df69ce1c404f6340ee057498f5f00246190ea54220576a848 000009f5: PUSH2 0x0744 000009f8: PUSH2 0x0d11 000009fb: JUMP 000009fc: JUMPDEST 000009fd: PUSH2 0x0a37 00000a00: JUMPI 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: PUSH3 0x461bcd 00000a08: PUSH1 0xe5 00000a0a: SHL 00000a0b: DUP2 00000a0c: MSTORE 00000a0d: PUSH1 0x04 00000a0f: ADD 00000a10: DUP1 00000a11: DUP1 00000a12: PUSH1 0x20 00000a14: ADD 00000a15: DUP3 00000a16: DUP2 00000a17: SUB 00000a18: DUP3 00000a19: MSTORE 00000a1a: PUSH1 0x36 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x20 00000a20: ADD 00000a21: DUP1 00000a22: PUSH2 0x1872 00000a25: PUSH1 0x36 00000a27: SWAP2 00000a28: CODECOPY 00000a29: PUSH1 0x40 00000a2b: ADD 00000a2c: SWAP2 00000a2d: POP 00000a2e: POP 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: DUP1 00000a33: SWAP2 00000a34: SUB 00000a35: SWAP1 00000a36: REVERT 00000a37: JUMPDEST 00000a38: PUSH1 0x00 00000a3a: PUSH2 0x0a6e 00000a3d: DUP3 00000a3e: PUSH1 0x40 00000a40: MLOAD 00000a41: DUP1 00000a42: PUSH1 0x60 00000a44: ADD 00000a45: PUSH1 0x40 00000a47: MSTORE 00000a48: DUP1 00000a49: PUSH1 0x24 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x20 00000a4f: ADD 00000a50: PUSH2 0x184e 00000a53: PUSH1 0x24 00000a55: SWAP2 00000a56: CODECOPY 00000a57: PUSH2 0x0a67 00000a5a: DUP7 00000a5b: PUSH2 0x0a62 00000a5e: PUSH2 0x0d11 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH2 0x0cad 00000a66: JUMP 00000a67: JUMPDEST 00000a68: SWAP2 00000a69: SWAP1 00000a6a: PUSH2 0x0f5e 00000a6d: JUMP 00000a6e: JUMPDEST 00000a6f: SWAP1 00000a70: POP 00000a71: PUSH2 0x0a82 00000a74: DUP4 00000a75: PUSH2 0x0a7c 00000a78: PUSH2 0x0d11 00000a7b: JUMP 00000a7c: JUMPDEST 00000a7d: DUP4 00000a7e: PUSH2 0x0d15 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH2 0x0a8c 00000a86: DUP4 00000a87: DUP4 00000a88: PUSH2 0x12b7 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: POP 00000a8e: POP 00000a8f: POP 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH2 0x0abd 00000a95: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 00000ab6: PUSH2 0x0744 00000ab9: PUSH2 0x0d11 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH2 0x0af8 00000ac1: JUMPI 00000ac2: PUSH1 0x40 00000ac4: MLOAD 00000ac5: PUSH3 0x461bcd 00000ac9: PUSH1 0xe5 00000acb: SHL 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x04 00000ad0: ADD 00000ad1: DUP1 00000ad2: DUP1 00000ad3: PUSH1 0x20 00000ad5: ADD 00000ad6: DUP3 00000ad7: DUP2 00000ad8: SUB 00000ad9: DUP3 00000ada: MSTORE 00000adb: PUSH1 0x37 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: ADD 00000ae2: DUP1 00000ae3: PUSH2 0x1912 00000ae6: PUSH1 0x37 00000ae8: SWAP2 00000ae9: CODECOPY 00000aea: PUSH1 0x40 00000aec: ADD 00000aed: SWAP2 00000aee: POP 00000aef: POP 00000af0: PUSH1 0x40 00000af2: MLOAD 00000af3: DUP1 00000af4: SWAP2 00000af5: SUB 00000af6: SWAP1 00000af7: REVERT 00000af8: JUMPDEST 00000af9: PUSH2 0x08b9 00000afc: PUSH2 0x13b3 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH1 0x00 00000b03: DUP3 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: DUP2 00000b09: SWAP1 00000b0a: MSTORE 00000b0b: PUSH1 0x40 00000b0d: DUP2 00000b0e: KECCAK256 00000b0f: PUSH2 0x0b18 00000b12: SWAP1 00000b13: DUP4 00000b14: PUSH2 0x143b 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP4 00000b1a: SWAP3 00000b1b: POP 00000b1c: POP 00000b1d: POP 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x00 00000b22: DUP3 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x20 00000b27: DUP2 00000b28: SWAP1 00000b29: MSTORE 00000b2a: PUSH1 0x40 00000b2c: DUP2 00000b2d: KECCAK256 00000b2e: PUSH2 0x0b18 00000b31: SWAP1 00000b32: DUP4 00000b33: PUSH2 0x1447 00000b36: JUMP 00000b37: JUMPDEST 00000b38: PUSH1 0x05 00000b3a: DUP1 00000b3b: SLOAD 00000b3c: PUSH1 0x40 00000b3e: DUP1 00000b3f: MLOAD 00000b40: PUSH1 0x20 00000b42: PUSH1 0x1f 00000b44: PUSH1 0x02 00000b46: PUSH1 0x00 00000b48: NOT 00000b49: PUSH2 0x0100 00000b4c: PUSH1 0x01 00000b4e: DUP9 00000b4f: AND 00000b50: ISZERO 00000b51: MUL 00000b52: ADD 00000b53: SWAP1 00000b54: SWAP6 00000b55: AND 00000b56: SWAP5 00000b57: SWAP1 00000b58: SWAP5 00000b59: DIV 00000b5a: SWAP4 00000b5b: DUP5 00000b5c: ADD 00000b5d: DUP2 00000b5e: SWAP1 00000b5f: DIV 00000b60: DUP2 00000b61: MUL 00000b62: DUP3 00000b63: ADD 00000b64: DUP2 00000b65: ADD 00000b66: SWAP1 00000b67: SWAP3 00000b68: MSTORE 00000b69: DUP3 00000b6a: DUP2 00000b6b: MSTORE 00000b6c: PUSH1 0x60 00000b6e: SWAP4 00000b6f: SWAP1 00000b70: SWAP3 00000b71: SWAP1 00000b72: SWAP2 00000b73: DUP4 00000b74: ADD 00000b75: DUP3 00000b76: DUP3 00000b77: DUP1 00000b78: ISZERO 00000b79: PUSH2 0x0638 00000b7c: JUMPI 00000b7d: DUP1 00000b7e: PUSH1 0x1f 00000b80: LT 00000b81: PUSH2 0x060d 00000b84: JUMPI 00000b85: PUSH2 0x0100 00000b88: DUP1 00000b89: DUP4 00000b8a: SLOAD 00000b8b: DIV 00000b8c: MUL 00000b8d: DUP4 00000b8e: MSTORE 00000b8f: SWAP2 00000b90: PUSH1 0x20 00000b92: ADD 00000b93: SWAP2 00000b94: PUSH2 0x0638 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x00 00000b9b: DUP2 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0x00 00000ba0: PUSH2 0x0656 00000ba3: PUSH2 0x0baa 00000ba6: PUSH2 0x0d11 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: DUP5 00000bac: PUSH2 0x06de 00000baf: DUP6 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: DUP1 00000bb4: PUSH1 0x60 00000bb6: ADD 00000bb7: PUSH1 0x40 00000bb9: MSTORE 00000bba: DUP1 00000bbb: PUSH1 0x25 00000bbd: DUP2 00000bbe: MSTORE 00000bbf: PUSH1 0x20 00000bc1: ADD 00000bc2: PUSH2 0x1949 00000bc5: PUSH1 0x25 00000bc7: SWAP2 00000bc8: CODECOPY 00000bc9: PUSH1 0x02 00000bcb: PUSH1 0x00 00000bcd: PUSH2 0x0bd4 00000bd0: PUSH2 0x0d11 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0x01 00000bd9: PUSH1 0xa0 00000bdb: SHL 00000bdc: SUB 00000bdd: SWAP1 00000bde: DUP2 00000bdf: AND 00000be0: DUP3 00000be1: MSTORE 00000be2: PUSH1 0x20 00000be4: DUP1 00000be5: DUP4 00000be6: ADD 00000be7: SWAP4 00000be8: SWAP1 00000be9: SWAP4 00000bea: MSTORE 00000beb: PUSH1 0x40 00000bed: SWAP2 00000bee: DUP3 00000bef: ADD 00000bf0: PUSH1 0x00 00000bf2: SWAP1 00000bf3: DUP2 00000bf4: KECCAK256 00000bf5: SWAP2 00000bf6: DUP14 00000bf7: AND 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: SWAP3 00000bfb: MSTORE 00000bfc: SWAP1 00000bfd: KECCAK256 00000bfe: SLOAD 00000bff: SWAP2 00000c00: SWAP1 00000c01: PUSH2 0x0f5e 00000c04: JUMP 00000c05: JUMPDEST 00000c06: PUSH1 0x00 00000c08: PUSH2 0x0656 00000c0b: PUSH2 0x0c12 00000c0e: PUSH2 0x0d11 00000c11: JUMP 00000c12: JUMPDEST 00000c13: DUP5 00000c14: DUP5 00000c15: PUSH2 0x0e01 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH1 0x00 00000c1c: DUP2 00000c1d: DUP2 00000c1e: MSTORE 00000c1f: PUSH1 0x20 00000c21: DUP2 00000c22: SWAP1 00000c23: MSTORE 00000c24: PUSH1 0x40 00000c26: DUP2 00000c27: KECCAK256 00000c28: PUSH2 0x065a 00000c2b: SWAP1 00000c2c: PUSH2 0x145c 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 00000c52: DUP2 00000c53: JUMP 00000c54: JUMPDEST 00000c55: PUSH1 0x00 00000c57: DUP3 00000c58: DUP2 00000c59: MSTORE 00000c5a: PUSH1 0x20 00000c5c: DUP2 00000c5d: SWAP1 00000c5e: MSTORE 00000c5f: PUSH1 0x40 00000c61: SWAP1 00000c62: KECCAK256 00000c63: PUSH1 0x02 00000c65: ADD 00000c66: SLOAD 00000c67: PUSH2 0x0c72 00000c6a: SWAP1 00000c6b: PUSH2 0x0744 00000c6e: PUSH2 0x0d11 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH2 0x07f2 00000c76: JUMPI 00000c77: PUSH1 0x40 00000c79: MLOAD 00000c7a: PUSH3 0x461bcd 00000c7e: PUSH1 0xe5 00000c80: SHL 00000c81: DUP2 00000c82: MSTORE 00000c83: PUSH1 0x04 00000c85: ADD 00000c86: DUP1 00000c87: DUP1 00000c88: PUSH1 0x20 00000c8a: ADD 00000c8b: DUP3 00000c8c: DUP2 00000c8d: SUB 00000c8e: DUP3 00000c8f: MSTORE 00000c90: PUSH1 0x30 00000c92: DUP2 00000c93: MSTORE 00000c94: PUSH1 0x20 00000c96: ADD 00000c97: DUP1 00000c98: PUSH2 0x17c0 00000c9b: PUSH1 0x30 00000c9d: SWAP2 00000c9e: CODECOPY 00000c9f: PUSH1 0x40 00000ca1: ADD 00000ca2: SWAP2 00000ca3: POP 00000ca4: POP 00000ca5: PUSH1 0x40 00000ca7: MLOAD 00000ca8: DUP1 00000ca9: SWAP2 00000caa: SUB 00000cab: SWAP1 00000cac: REVERT 00000cad: JUMPDEST 00000cae: PUSH1 0x01 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0xa0 00000cb4: SHL 00000cb5: SUB 00000cb6: SWAP2 00000cb7: DUP3 00000cb8: AND 00000cb9: PUSH1 0x00 00000cbb: SWAP1 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x02 00000cc0: PUSH1 0x20 00000cc2: SWAP1 00000cc3: DUP2 00000cc4: MSTORE 00000cc5: PUSH1 0x40 00000cc7: DUP1 00000cc8: DUP4 00000cc9: KECCAK256 00000cca: SWAP4 00000ccb: SWAP1 00000ccc: SWAP5 00000ccd: AND 00000cce: DUP3 00000ccf: MSTORE 00000cd0: SWAP2 00000cd1: SWAP1 00000cd2: SWAP2 00000cd3: MSTORE 00000cd4: KECCAK256 00000cd5: SLOAD 00000cd6: SWAP1 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 00000cfa: DUP2 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x00 00000cff: PUSH2 0x0b18 00000d02: DUP4 00000d03: PUSH1 0x01 00000d05: PUSH1 0x01 00000d07: PUSH1 0xa0 00000d09: SHL 00000d0a: SUB 00000d0b: DUP5 00000d0c: AND 00000d0d: PUSH2 0x1467 00000d10: JUMP 00000d11: JUMPDEST 00000d12: CALLER 00000d13: SWAP1 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x01 00000d18: PUSH1 0x01 00000d1a: PUSH1 0xa0 00000d1c: SHL 00000d1d: SUB 00000d1e: DUP4 00000d1f: AND 00000d20: PUSH2 0x0d5a 00000d23: JUMPI 00000d24: PUSH1 0x40 00000d26: MLOAD 00000d27: PUSH3 0x461bcd 00000d2b: PUSH1 0xe5 00000d2d: SHL 00000d2e: DUP2 00000d2f: MSTORE 00000d30: PUSH1 0x04 00000d32: ADD 00000d33: DUP1 00000d34: DUP1 00000d35: PUSH1 0x20 00000d37: ADD 00000d38: DUP3 00000d39: DUP2 00000d3a: SUB 00000d3b: DUP3 00000d3c: MSTORE 00000d3d: PUSH1 0x24 00000d3f: DUP2 00000d40: MSTORE 00000d41: PUSH1 0x20 00000d43: ADD 00000d44: DUP1 00000d45: PUSH2 0x18ee 00000d48: PUSH1 0x24 00000d4a: SWAP2 00000d4b: CODECOPY 00000d4c: PUSH1 0x40 00000d4e: ADD 00000d4f: SWAP2 00000d50: POP 00000d51: POP 00000d52: PUSH1 0x40 00000d54: MLOAD 00000d55: DUP1 00000d56: SWAP2 00000d57: SUB 00000d58: SWAP1 00000d59: REVERT 00000d5a: JUMPDEST 00000d5b: PUSH1 0x01 00000d5d: PUSH1 0x01 00000d5f: PUSH1 0xa0 00000d61: SHL 00000d62: SUB 00000d63: DUP3 00000d64: AND 00000d65: PUSH2 0x0d9f 00000d68: JUMPI 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: PUSH3 0x461bcd 00000d70: PUSH1 0xe5 00000d72: SHL 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x04 00000d77: ADD 00000d78: DUP1 00000d79: DUP1 00000d7a: PUSH1 0x20 00000d7c: ADD 00000d7d: DUP3 00000d7e: DUP2 00000d7f: SUB 00000d80: DUP3 00000d81: MSTORE 00000d82: PUSH1 0x22 00000d84: DUP2 00000d85: MSTORE 00000d86: PUSH1 0x20 00000d88: ADD 00000d89: DUP1 00000d8a: PUSH2 0x1778 00000d8d: PUSH1 0x22 00000d8f: SWAP2 00000d90: CODECOPY 00000d91: PUSH1 0x40 00000d93: ADD 00000d94: SWAP2 00000d95: POP 00000d96: POP 00000d97: PUSH1 0x40 00000d99: MLOAD 00000d9a: DUP1 00000d9b: SWAP2 00000d9c: SUB 00000d9d: SWAP1 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: PUSH1 0x01 00000da2: PUSH1 0x01 00000da4: PUSH1 0xa0 00000da6: SHL 00000da7: SUB 00000da8: DUP1 00000da9: DUP5 00000daa: AND 00000dab: PUSH1 0x00 00000dad: DUP2 00000dae: DUP2 00000daf: MSTORE 00000db0: PUSH1 0x02 00000db2: PUSH1 0x20 00000db4: SWAP1 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x40 00000db9: DUP1 00000dba: DUP4 00000dbb: KECCAK256 00000dbc: SWAP5 00000dbd: DUP8 00000dbe: AND 00000dbf: DUP1 00000dc0: DUP5 00000dc1: MSTORE 00000dc2: SWAP5 00000dc3: DUP3 00000dc4: MSTORE 00000dc5: SWAP2 00000dc6: DUP3 00000dc7: SWAP1 00000dc8: KECCAK256 00000dc9: DUP6 00000dca: SWAP1 00000dcb: SSTORE 00000dcc: DUP2 00000dcd: MLOAD 00000dce: DUP6 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: SWAP2 00000dd2: MLOAD 00000dd3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000df4: SWAP3 00000df5: DUP2 00000df6: SWAP1 00000df7: SUB 00000df8: SWAP1 00000df9: SWAP2 00000dfa: ADD 00000dfb: SWAP1 00000dfc: LOG3 00000dfd: POP 00000dfe: POP 00000dff: POP 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x01 00000e04: PUSH1 0x01 00000e06: PUSH1 0xa0 00000e08: SHL 00000e09: SUB 00000e0a: DUP4 00000e0b: AND 00000e0c: PUSH2 0x0e46 00000e0f: JUMPI 00000e10: PUSH1 0x40 00000e12: MLOAD 00000e13: PUSH3 0x461bcd 00000e17: PUSH1 0xe5 00000e19: SHL 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x04 00000e1e: ADD 00000e1f: DUP1 00000e20: DUP1 00000e21: PUSH1 0x20 00000e23: ADD 00000e24: DUP3 00000e25: DUP2 00000e26: SUB 00000e27: DUP3 00000e28: MSTORE 00000e29: PUSH1 0x25 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: DUP1 00000e31: PUSH2 0x18c9 00000e34: PUSH1 0x25 00000e36: SWAP2 00000e37: CODECOPY 00000e38: PUSH1 0x40 00000e3a: ADD 00000e3b: SWAP2 00000e3c: POP 00000e3d: POP 00000e3e: PUSH1 0x40 00000e40: MLOAD 00000e41: DUP1 00000e42: SWAP2 00000e43: SUB 00000e44: SWAP1 00000e45: REVERT 00000e46: JUMPDEST 00000e47: PUSH1 0x01 00000e49: PUSH1 0x01 00000e4b: PUSH1 0xa0 00000e4d: SHL 00000e4e: SUB 00000e4f: DUP3 00000e50: AND 00000e51: PUSH2 0x0e8b 00000e54: JUMPI 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: PUSH3 0x461bcd 00000e5c: PUSH1 0xe5 00000e5e: SHL 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x04 00000e63: ADD 00000e64: DUP1 00000e65: DUP1 00000e66: PUSH1 0x20 00000e68: ADD 00000e69: DUP3 00000e6a: DUP2 00000e6b: SUB 00000e6c: DUP3 00000e6d: MSTORE 00000e6e: PUSH1 0x23 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x20 00000e74: ADD 00000e75: DUP1 00000e76: PUSH2 0x16cb 00000e79: PUSH1 0x23 00000e7b: SWAP2 00000e7c: CODECOPY 00000e7d: PUSH1 0x40 00000e7f: ADD 00000e80: SWAP2 00000e81: POP 00000e82: POP 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: DUP1 00000e87: SWAP2 00000e88: SUB 00000e89: SWAP1 00000e8a: REVERT 00000e8b: JUMPDEST 00000e8c: PUSH2 0x0e96 00000e8f: DUP4 00000e90: DUP4 00000e91: DUP4 00000e92: PUSH2 0x14b1 00000e95: JUMP 00000e96: JUMPDEST 00000e97: PUSH2 0x0ed3 00000e9a: DUP2 00000e9b: PUSH1 0x40 00000e9d: MLOAD 00000e9e: DUP1 00000e9f: PUSH1 0x60 00000ea1: ADD 00000ea2: PUSH1 0x40 00000ea4: MSTORE 00000ea5: DUP1 00000ea6: PUSH1 0x26 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x20 00000eac: ADD 00000ead: PUSH2 0x179a 00000eb0: PUSH1 0x26 00000eb2: SWAP2 00000eb3: CODECOPY 00000eb4: PUSH1 0x01 00000eb6: PUSH1 0x01 00000eb8: PUSH1 0xa0 00000eba: SHL 00000ebb: SUB 00000ebc: DUP7 00000ebd: AND 00000ebe: PUSH1 0x00 00000ec0: SWAP1 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x01 00000ec5: PUSH1 0x20 00000ec7: MSTORE 00000ec8: PUSH1 0x40 00000eca: SWAP1 00000ecb: KECCAK256 00000ecc: SLOAD 00000ecd: SWAP2 00000ece: SWAP1 00000ecf: PUSH2 0x0f5e 00000ed2: JUMP 00000ed3: JUMPDEST 00000ed4: PUSH1 0x01 00000ed6: PUSH1 0x01 00000ed8: PUSH1 0xa0 00000eda: SHL 00000edb: SUB 00000edc: DUP1 00000edd: DUP6 00000ede: AND 00000edf: PUSH1 0x00 00000ee1: SWAP1 00000ee2: DUP2 00000ee3: MSTORE 00000ee4: PUSH1 0x01 00000ee6: PUSH1 0x20 00000ee8: MSTORE 00000ee9: PUSH1 0x40 00000eeb: DUP1 00000eec: DUP3 00000eed: KECCAK256 00000eee: SWAP4 00000eef: SWAP1 00000ef0: SWAP4 00000ef1: SSTORE 00000ef2: SWAP1 00000ef3: DUP5 00000ef4: AND 00000ef5: DUP2 00000ef6: MSTORE 00000ef7: KECCAK256 00000ef8: SLOAD 00000ef9: PUSH2 0x0f02 00000efc: SWAP1 00000efd: DUP3 00000efe: PUSH2 0x10c7 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH1 0x01 00000f05: PUSH1 0x01 00000f07: PUSH1 0xa0 00000f09: SHL 00000f0a: SUB 00000f0b: DUP1 00000f0c: DUP5 00000f0d: AND 00000f0e: PUSH1 0x00 00000f10: DUP2 00000f11: DUP2 00000f12: MSTORE 00000f13: PUSH1 0x01 00000f15: PUSH1 0x20 00000f17: SWAP1 00000f18: DUP2 00000f19: MSTORE 00000f1a: PUSH1 0x40 00000f1c: SWAP2 00000f1d: DUP3 00000f1e: SWAP1 00000f1f: KECCAK256 00000f20: SWAP5 00000f21: SWAP1 00000f22: SWAP5 00000f23: SSTORE 00000f24: DUP1 00000f25: MLOAD 00000f26: DUP6 00000f27: DUP2 00000f28: MSTORE 00000f29: SWAP1 00000f2a: MLOAD 00000f2b: SWAP2 00000f2c: SWAP4 00000f2d: SWAP3 00000f2e: DUP8 00000f2f: AND 00000f30: SWAP3 00000f31: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f52: SWAP3 00000f53: SWAP2 00000f54: DUP3 00000f55: SWAP1 00000f56: SUB 00000f57: ADD 00000f58: SWAP1 00000f59: LOG3 00000f5a: POP 00000f5b: POP 00000f5c: POP 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x00 00000f61: DUP2 00000f62: DUP5 00000f63: DUP5 00000f64: GT 00000f65: ISZERO 00000f66: PUSH2 0x0fed 00000f69: JUMPI 00000f6a: PUSH1 0x40 00000f6c: MLOAD 00000f6d: PUSH3 0x461bcd 00000f71: PUSH1 0xe5 00000f73: SHL 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x04 00000f78: ADD 00000f79: DUP1 00000f7a: DUP1 00000f7b: PUSH1 0x20 00000f7d: ADD 00000f7e: DUP3 00000f7f: DUP2 00000f80: SUB 00000f81: DUP3 00000f82: MSTORE 00000f83: DUP4 00000f84: DUP2 00000f85: DUP2 00000f86: MLOAD 00000f87: DUP2 00000f88: MSTORE 00000f89: PUSH1 0x20 00000f8b: ADD 00000f8c: SWAP2 00000f8d: POP 00000f8e: DUP1 00000f8f: MLOAD 00000f90: SWAP1 00000f91: PUSH1 0x20 00000f93: ADD 00000f94: SWAP1 00000f95: DUP1 00000f96: DUP4 00000f97: DUP4 00000f98: PUSH1 0x00 00000f9a: JUMPDEST 00000f9b: DUP4 00000f9c: DUP2 00000f9d: LT 00000f9e: ISZERO 00000f9f: PUSH2 0x0fb2 00000fa2: JUMPI 00000fa3: DUP2 00000fa4: DUP2 00000fa5: ADD 00000fa6: MLOAD 00000fa7: DUP4 00000fa8: DUP3 00000fa9: ADD 00000faa: MSTORE 00000fab: PUSH1 0x20 00000fad: ADD 00000fae: PUSH2 0x0f9a 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: POP 00000fb4: POP 00000fb5: POP 00000fb6: POP 00000fb7: SWAP1 00000fb8: POP 00000fb9: SWAP1 00000fba: DUP2 00000fbb: ADD 00000fbc: SWAP1 00000fbd: PUSH1 0x1f 00000fbf: AND 00000fc0: DUP1 00000fc1: ISZERO 00000fc2: PUSH2 0x0fdf 00000fc5: JUMPI 00000fc6: DUP1 00000fc7: DUP3 00000fc8: SUB 00000fc9: DUP1 00000fca: MLOAD 00000fcb: PUSH1 0x01 00000fcd: DUP4 00000fce: PUSH1 0x20 00000fd0: SUB 00000fd1: PUSH2 0x0100 00000fd4: EXP 00000fd5: SUB 00000fd6: NOT 00000fd7: AND 00000fd8: DUP2 00000fd9: MSTORE 00000fda: PUSH1 0x20 00000fdc: ADD 00000fdd: SWAP2 00000fde: POP 00000fdf: JUMPDEST 00000fe0: POP 00000fe1: SWAP3 00000fe2: POP 00000fe3: POP 00000fe4: POP 00000fe5: PUSH1 0x40 00000fe7: MLOAD 00000fe8: DUP1 00000fe9: SWAP2 00000fea: SUB 00000feb: SWAP1 00000fec: REVERT 00000fed: JUMPDEST 00000fee: POP 00000fef: POP 00000ff0: POP 00000ff1: SWAP1 00000ff2: SUB 00000ff3: SWAP1 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: PUSH1 0x00 00000ff8: DUP3 00000ff9: DUP2 00000ffa: MSTORE 00000ffb: PUSH1 0x20 00000ffd: DUP2 00000ffe: SWAP1 00000fff: MSTORE 00001000: PUSH1 0x40 00001002: SWAP1 00001003: KECCAK256 00001004: PUSH2 0x100d 00001007: SWAP1 00001008: DUP3 00001009: PUSH2 0x0cfc 0000100c: JUMP 0000100d: JUMPDEST 0000100e: ISZERO 0000100f: PUSH2 0x078e 00001012: JUMPI 00001013: PUSH2 0x101a 00001016: PUSH2 0x0d11 00001019: JUMP 0000101a: JUMPDEST 0000101b: PUSH1 0x01 0000101d: PUSH1 0x01 0000101f: PUSH1 0xa0 00001021: SHL 00001022: SUB 00001023: AND 00001024: DUP2 00001025: PUSH1 0x01 00001027: PUSH1 0x01 00001029: PUSH1 0xa0 0000102b: SHL 0000102c: SUB 0000102d: AND 0000102e: DUP4 0000102f: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001050: PUSH1 0x40 00001052: MLOAD 00001053: PUSH1 0x40 00001055: MLOAD 00001056: DUP1 00001057: SWAP2 00001058: SUB 00001059: SWAP1 0000105a: LOG4 0000105b: POP 0000105c: POP 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x00 00001061: DUP3 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x20 00001066: DUP2 00001067: SWAP1 00001068: MSTORE 00001069: PUSH1 0x40 0000106b: SWAP1 0000106c: KECCAK256 0000106d: PUSH2 0x1076 00001070: SWAP1 00001071: DUP3 00001072: PUSH2 0x14bc 00001075: JUMP 00001076: JUMPDEST 00001077: ISZERO 00001078: PUSH2 0x078e 0000107b: JUMPI 0000107c: PUSH2 0x1083 0000107f: PUSH2 0x0d11 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x01 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: SHL 0000108b: SUB 0000108c: AND 0000108d: DUP2 0000108e: PUSH1 0x01 00001090: PUSH1 0x01 00001092: PUSH1 0xa0 00001094: SHL 00001095: SUB 00001096: AND 00001097: DUP4 00001098: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000010b9: PUSH1 0x40 000010bb: MLOAD 000010bc: PUSH1 0x40 000010be: MLOAD 000010bf: DUP1 000010c0: SWAP2 000010c1: SUB 000010c2: SWAP1 000010c3: LOG4 000010c4: POP 000010c5: POP 000010c6: JUMP 000010c7: JUMPDEST 000010c8: PUSH1 0x00 000010ca: DUP3 000010cb: DUP3 000010cc: ADD 000010cd: DUP4 000010ce: DUP2 000010cf: LT 000010d0: ISZERO 000010d1: PUSH2 0x0b18 000010d4: JUMPI 000010d5: PUSH1 0x40 000010d7: DUP1 000010d8: MLOAD 000010d9: PUSH3 0x461bcd 000010dd: PUSH1 0xe5 000010df: SHL 000010e0: DUP2 000010e1: MSTORE 000010e2: PUSH1 0x20 000010e4: PUSH1 0x04 000010e6: DUP3 000010e7: ADD 000010e8: MSTORE 000010e9: PUSH1 0x1b 000010eb: PUSH1 0x24 000010ed: DUP3 000010ee: ADD 000010ef: MSTORE 000010f0: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001111: PUSH1 0x44 00001113: DUP3 00001114: ADD 00001115: MSTORE 00001116: SWAP1 00001117: MLOAD 00001118: SWAP1 00001119: DUP2 0000111a: SWAP1 0000111b: SUB 0000111c: PUSH1 0x64 0000111e: ADD 0000111f: SWAP1 00001120: REVERT 00001121: JUMPDEST 00001122: PUSH1 0x06 00001124: SLOAD 00001125: PUSH2 0x0100 00001128: SWAP1 00001129: DIV 0000112a: PUSH1 0xff 0000112c: AND 0000112d: PUSH2 0x1174 00001130: JUMPI 00001131: PUSH1 0x40 00001133: DUP1 00001134: MLOAD 00001135: PUSH3 0x461bcd 00001139: PUSH1 0xe5 0000113b: SHL 0000113c: DUP2 0000113d: MSTORE 0000113e: PUSH1 0x20 00001140: PUSH1 0x04 00001142: DUP3 00001143: ADD 00001144: MSTORE 00001145: PUSH1 0x14 00001147: PUSH1 0x24 00001149: DUP3 0000114a: ADD 0000114b: MSTORE 0000114c: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00001161: PUSH1 0x62 00001163: SHL 00001164: PUSH1 0x44 00001166: DUP3 00001167: ADD 00001168: MSTORE 00001169: SWAP1 0000116a: MLOAD 0000116b: SWAP1 0000116c: DUP2 0000116d: SWAP1 0000116e: SUB 0000116f: PUSH1 0x64 00001171: ADD 00001172: SWAP1 00001173: REVERT 00001174: JUMPDEST 00001175: PUSH1 0x06 00001177: DUP1 00001178: SLOAD 00001179: PUSH2 0xff00 0000117c: NOT 0000117d: AND 0000117e: SWAP1 0000117f: SSTORE 00001180: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 000011a1: PUSH2 0x11a8 000011a4: PUSH2 0x0d11 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x40 000011ab: DUP1 000011ac: MLOAD 000011ad: PUSH1 0x01 000011af: PUSH1 0x01 000011b1: PUSH1 0xa0 000011b3: SHL 000011b4: SUB 000011b5: SWAP1 000011b6: SWAP3 000011b7: AND 000011b8: DUP3 000011b9: MSTORE 000011ba: MLOAD 000011bb: SWAP1 000011bc: DUP2 000011bd: SWAP1 000011be: SUB 000011bf: PUSH1 0x20 000011c1: ADD 000011c2: SWAP1 000011c3: LOG1 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH1 0x01 000011c8: PUSH1 0x01 000011ca: PUSH1 0xa0 000011cc: SHL 000011cd: SUB 000011ce: DUP3 000011cf: AND 000011d0: PUSH2 0x1220 000011d3: JUMPI 000011d4: PUSH1 0x40 000011d6: DUP1 000011d7: MLOAD 000011d8: PUSH3 0x461bcd 000011dc: PUSH1 0xe5 000011de: SHL 000011df: DUP2 000011e0: MSTORE 000011e1: PUSH1 0x20 000011e3: PUSH1 0x04 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: PUSH1 0x1f 000011ea: PUSH1 0x24 000011ec: DUP3 000011ed: ADD 000011ee: MSTORE 000011ef: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00001210: PUSH1 0x44 00001212: DUP3 00001213: ADD 00001214: MSTORE 00001215: SWAP1 00001216: MLOAD 00001217: SWAP1 00001218: DUP2 00001219: SWAP1 0000121a: SUB 0000121b: PUSH1 0x64 0000121d: ADD 0000121e: SWAP1 0000121f: REVERT 00001220: JUMPDEST 00001221: PUSH2 0x122c 00001224: PUSH1 0x00 00001226: DUP4 00001227: DUP4 00001228: PUSH2 0x14b1 0000122b: JUMP 0000122c: JUMPDEST 0000122d: PUSH1 0x03 0000122f: SLOAD 00001230: PUSH2 0x1239 00001233: SWAP1 00001234: DUP3 00001235: PUSH2 0x10c7 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH1 0x03 0000123c: SSTORE 0000123d: PUSH1 0x01 0000123f: PUSH1 0x01 00001241: PUSH1 0xa0 00001243: SHL 00001244: SUB 00001245: DUP3 00001246: AND 00001247: PUSH1 0x00 00001249: SWAP1 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x01 0000124e: PUSH1 0x20 00001250: MSTORE 00001251: PUSH1 0x40 00001253: SWAP1 00001254: KECCAK256 00001255: SLOAD 00001256: PUSH2 0x125f 00001259: SWAP1 0000125a: DUP3 0000125b: PUSH2 0x10c7 0000125e: JUMP 0000125f: JUMPDEST 00001260: PUSH1 0x01 00001262: PUSH1 0x01 00001264: PUSH1 0xa0 00001266: SHL 00001267: SUB 00001268: DUP4 00001269: AND 0000126a: PUSH1 0x00 0000126c: DUP2 0000126d: DUP2 0000126e: MSTORE 0000126f: PUSH1 0x01 00001271: PUSH1 0x20 00001273: SWAP1 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x40 00001278: DUP1 00001279: DUP4 0000127a: KECCAK256 0000127b: SWAP5 0000127c: SWAP1 0000127d: SWAP5 0000127e: SSTORE 0000127f: DUP4 00001280: MLOAD 00001281: DUP6 00001282: DUP2 00001283: MSTORE 00001284: SWAP4 00001285: MLOAD 00001286: SWAP3 00001287: SWAP4 00001288: SWAP2 00001289: SWAP3 0000128a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000012ab: SWAP3 000012ac: DUP2 000012ad: SWAP1 000012ae: SUB 000012af: SWAP1 000012b0: SWAP2 000012b1: ADD 000012b2: SWAP1 000012b3: LOG3 000012b4: POP 000012b5: POP 000012b6: JUMP 000012b7: JUMPDEST 000012b8: PUSH1 0x01 000012ba: PUSH1 0x01 000012bc: PUSH1 0xa0 000012be: SHL 000012bf: SUB 000012c0: DUP3 000012c1: AND 000012c2: PUSH2 0x12fc 000012c5: JUMPI 000012c6: PUSH1 0x40 000012c8: MLOAD 000012c9: PUSH3 0x461bcd 000012cd: PUSH1 0xe5 000012cf: SHL 000012d0: DUP2 000012d1: MSTORE 000012d2: PUSH1 0x04 000012d4: ADD 000012d5: DUP1 000012d6: DUP1 000012d7: PUSH1 0x20 000012d9: ADD 000012da: DUP3 000012db: DUP2 000012dc: SUB 000012dd: DUP3 000012de: MSTORE 000012df: PUSH1 0x21 000012e1: DUP2 000012e2: MSTORE 000012e3: PUSH1 0x20 000012e5: ADD 000012e6: DUP1 000012e7: PUSH2 0x18a8 000012ea: PUSH1 0x21 000012ec: SWAP2 000012ed: CODECOPY 000012ee: PUSH1 0x40 000012f0: ADD 000012f1: SWAP2 000012f2: POP 000012f3: POP 000012f4: PUSH1 0x40 000012f6: MLOAD 000012f7: DUP1 000012f8: SWAP2 000012f9: SUB 000012fa: SWAP1 000012fb: REVERT 000012fc: JUMPDEST 000012fd: PUSH2 0x1308 00001300: DUP3 00001301: PUSH1 0x00 00001303: DUP4 00001304: PUSH2 0x14b1 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH2 0x1345 0000130c: DUP2 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: DUP1 00001311: PUSH1 0x60 00001313: ADD 00001314: PUSH1 0x40 00001316: MSTORE 00001317: DUP1 00001318: PUSH1 0x22 0000131a: DUP2 0000131b: MSTORE 0000131c: PUSH1 0x20 0000131e: ADD 0000131f: PUSH2 0x171d 00001322: PUSH1 0x22 00001324: SWAP2 00001325: CODECOPY 00001326: PUSH1 0x01 00001328: PUSH1 0x01 0000132a: PUSH1 0xa0 0000132c: SHL 0000132d: SUB 0000132e: DUP6 0000132f: AND 00001330: PUSH1 0x00 00001332: SWAP1 00001333: DUP2 00001334: MSTORE 00001335: PUSH1 0x01 00001337: PUSH1 0x20 00001339: MSTORE 0000133a: PUSH1 0x40 0000133c: SWAP1 0000133d: KECCAK256 0000133e: SLOAD 0000133f: SWAP2 00001340: SWAP1 00001341: PUSH2 0x0f5e 00001344: JUMP 00001345: JUMPDEST 00001346: PUSH1 0x01 00001348: PUSH1 0x01 0000134a: PUSH1 0xa0 0000134c: SHL 0000134d: SUB 0000134e: DUP4 0000134f: AND 00001350: PUSH1 0x00 00001352: SWAP1 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x01 00001357: PUSH1 0x20 00001359: MSTORE 0000135a: PUSH1 0x40 0000135c: SWAP1 0000135d: KECCAK256 0000135e: SSTORE 0000135f: PUSH1 0x03 00001361: SLOAD 00001362: PUSH2 0x136b 00001365: SWAP1 00001366: DUP3 00001367: PUSH2 0x14d1 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH1 0x03 0000136e: SSTORE 0000136f: PUSH1 0x40 00001371: DUP1 00001372: MLOAD 00001373: DUP3 00001374: DUP2 00001375: MSTORE 00001376: SWAP1 00001377: MLOAD 00001378: PUSH1 0x00 0000137a: SWAP2 0000137b: PUSH1 0x01 0000137d: PUSH1 0x01 0000137f: PUSH1 0xa0 00001381: SHL 00001382: SUB 00001383: DUP6 00001384: AND 00001385: SWAP2 00001386: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000013a7: SWAP2 000013a8: DUP2 000013a9: SWAP1 000013aa: SUB 000013ab: PUSH1 0x20 000013ad: ADD 000013ae: SWAP1 000013af: LOG3 000013b0: POP 000013b1: POP 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x06 000013b6: SLOAD 000013b7: PUSH2 0x0100 000013ba: SWAP1 000013bb: DIV 000013bc: PUSH1 0xff 000013be: AND 000013bf: ISZERO 000013c0: PUSH2 0x1403 000013c3: JUMPI 000013c4: PUSH1 0x40 000013c6: DUP1 000013c7: MLOAD 000013c8: PUSH3 0x461bcd 000013cc: PUSH1 0xe5 000013ce: SHL 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x20 000013d3: PUSH1 0x04 000013d5: DUP3 000013d6: ADD 000013d7: MSTORE 000013d8: PUSH1 0x10 000013da: PUSH1 0x24 000013dc: DUP3 000013dd: ADD 000013de: MSTORE 000013df: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000013f0: PUSH1 0x82 000013f2: SHL 000013f3: PUSH1 0x44 000013f5: DUP3 000013f6: ADD 000013f7: MSTORE 000013f8: SWAP1 000013f9: MLOAD 000013fa: SWAP1 000013fb: DUP2 000013fc: SWAP1 000013fd: SUB 000013fe: PUSH1 0x64 00001400: ADD 00001401: SWAP1 00001402: REVERT 00001403: JUMPDEST 00001404: PUSH1 0x06 00001406: DUP1 00001407: SLOAD 00001408: PUSH2 0xff00 0000140b: NOT 0000140c: AND 0000140d: PUSH2 0x0100 00001410: OR 00001411: SWAP1 00001412: SSTORE 00001413: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00001434: PUSH2 0x11a8 00001437: PUSH2 0x0d11 0000143a: JUMP 0000143b: JUMPDEST 0000143c: PUSH1 0x00 0000143e: PUSH2 0x0b18 00001441: DUP4 00001442: DUP4 00001443: PUSH2 0x1513 00001446: JUMP 00001447: JUMPDEST 00001448: PUSH1 0x00 0000144a: PUSH2 0x0b18 0000144d: DUP4 0000144e: PUSH1 0x01 00001450: PUSH1 0x01 00001452: PUSH1 0xa0 00001454: SHL 00001455: SUB 00001456: DUP5 00001457: AND 00001458: PUSH2 0x1577 0000145b: JUMP 0000145c: JUMPDEST 0000145d: PUSH1 0x00 0000145f: PUSH2 0x065a 00001462: DUP3 00001463: PUSH2 0x158f 00001466: JUMP 00001467: JUMPDEST 00001468: PUSH1 0x00 0000146a: PUSH2 0x1473 0000146d: DUP4 0000146e: DUP4 0000146f: PUSH2 0x1577 00001472: JUMP 00001473: JUMPDEST 00001474: PUSH2 0x14a9 00001477: JUMPI 00001478: POP 00001479: DUP2 0000147a: SLOAD 0000147b: PUSH1 0x01 0000147d: DUP2 0000147e: DUP2 0000147f: ADD 00001480: DUP5 00001481: SSTORE 00001482: PUSH1 0x00 00001484: DUP5 00001485: DUP2 00001486: MSTORE 00001487: PUSH1 0x20 00001489: DUP1 0000148a: DUP3 0000148b: KECCAK256 0000148c: SWAP1 0000148d: SWAP4 0000148e: ADD 0000148f: DUP5 00001490: SWAP1 00001491: SSTORE 00001492: DUP5 00001493: SLOAD 00001494: DUP5 00001495: DUP3 00001496: MSTORE 00001497: DUP3 00001498: DUP7 00001499: ADD 0000149a: SWAP1 0000149b: SWAP4 0000149c: MSTORE 0000149d: PUSH1 0x40 0000149f: SWAP1 000014a0: KECCAK256 000014a1: SWAP2 000014a2: SWAP1 000014a3: SWAP2 000014a4: SSTORE 000014a5: PUSH2 0x065a 000014a8: JUMP 000014a9: JUMPDEST 000014aa: POP 000014ab: PUSH1 0x00 000014ad: PUSH2 0x065a 000014b0: JUMP 000014b1: JUMPDEST 000014b2: PUSH2 0x0a8c 000014b5: DUP4 000014b6: DUP4 000014b7: DUP4 000014b8: PUSH2 0x1593 000014bb: JUMP 000014bc: JUMPDEST 000014bd: PUSH1 0x00 000014bf: PUSH2 0x0b18 000014c2: DUP4 000014c3: PUSH1 0x01 000014c5: PUSH1 0x01 000014c7: PUSH1 0xa0 000014c9: SHL 000014ca: SUB 000014cb: DUP5 000014cc: AND 000014cd: PUSH2 0x15e2 000014d0: JUMP 000014d1: JUMPDEST 000014d2: PUSH1 0x00 000014d4: PUSH2 0x0b18 000014d7: DUP4 000014d8: DUP4 000014d9: PUSH1 0x40 000014db: MLOAD 000014dc: DUP1 000014dd: PUSH1 0x40 000014df: ADD 000014e0: PUSH1 0x40 000014e2: MSTORE 000014e3: DUP1 000014e4: PUSH1 0x1e 000014e6: DUP2 000014e7: MSTORE 000014e8: PUSH1 0x20 000014ea: ADD 000014eb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000150c: DUP2 0000150d: MSTORE 0000150e: POP 0000150f: PUSH2 0x0f5e 00001512: JUMP 00001513: JUMPDEST 00001514: DUP2 00001515: SLOAD 00001516: PUSH1 0x00 00001518: SWAP1 00001519: DUP3 0000151a: LT 0000151b: PUSH2 0x1555 0000151e: JUMPI 0000151f: PUSH1 0x40 00001521: MLOAD 00001522: PUSH3 0x461bcd 00001526: PUSH1 0xe5 00001528: SHL 00001529: DUP2 0000152a: MSTORE 0000152b: PUSH1 0x04 0000152d: ADD 0000152e: DUP1 0000152f: DUP1 00001530: PUSH1 0x20 00001532: ADD 00001533: DUP3 00001534: DUP2 00001535: SUB 00001536: DUP3 00001537: MSTORE 00001538: PUSH1 0x22 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x20 0000153e: ADD 0000153f: DUP1 00001540: PUSH2 0x16a9 00001543: PUSH1 0x22 00001545: SWAP2 00001546: CODECOPY 00001547: PUSH1 0x40 00001549: ADD 0000154a: SWAP2 0000154b: POP 0000154c: POP 0000154d: PUSH1 0x40 0000154f: MLOAD 00001550: DUP1 00001551: SWAP2 00001552: SUB 00001553: SWAP1 00001554: REVERT 00001555: JUMPDEST 00001556: DUP3 00001557: PUSH1 0x00 00001559: ADD 0000155a: DUP3 0000155b: DUP2 0000155c: SLOAD 0000155d: DUP2 0000155e: LT 0000155f: PUSH2 0x1564 00001562: JUMPI 00001563: INVALID 00001564: JUMPDEST 00001565: SWAP1 00001566: PUSH1 0x00 00001568: MSTORE 00001569: PUSH1 0x20 0000156b: PUSH1 0x00 0000156d: KECCAK256 0000156e: ADD 0000156f: SLOAD 00001570: SWAP1 00001571: POP 00001572: SWAP3 00001573: SWAP2 00001574: POP 00001575: POP 00001576: JUMP 00001577: JUMPDEST 00001578: PUSH1 0x00 0000157a: SWAP1 0000157b: DUP2 0000157c: MSTORE 0000157d: PUSH1 0x01 0000157f: SWAP2 00001580: SWAP1 00001581: SWAP2 00001582: ADD 00001583: PUSH1 0x20 00001585: MSTORE 00001586: PUSH1 0x40 00001588: SWAP1 00001589: KECCAK256 0000158a: SLOAD 0000158b: ISZERO 0000158c: ISZERO 0000158d: SWAP1 0000158e: JUMP 0000158f: JUMPDEST 00001590: SLOAD 00001591: SWAP1 00001592: JUMP 00001593: JUMPDEST 00001594: PUSH2 0x159e 00001597: DUP4 00001598: DUP4 00001599: DUP4 0000159a: PUSH2 0x0a8c 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH2 0x15a6 000015a2: PUSH2 0x09a7 000015a5: JUMP 000015a6: JUMPDEST 000015a7: ISZERO 000015a8: PUSH2 0x0a8c 000015ab: JUMPI 000015ac: PUSH1 0x40 000015ae: MLOAD 000015af: PUSH3 0x461bcd 000015b3: PUSH1 0xe5 000015b5: SHL 000015b6: DUP2 000015b7: MSTORE 000015b8: PUSH1 0x04 000015ba: ADD 000015bb: DUP1 000015bc: DUP1 000015bd: PUSH1 0x20 000015bf: ADD 000015c0: DUP3 000015c1: DUP2 000015c2: SUB 000015c3: DUP3 000015c4: MSTORE 000015c5: PUSH1 0x2a 000015c7: DUP2 000015c8: MSTORE 000015c9: PUSH1 0x20 000015cb: ADD 000015cc: DUP1 000015cd: PUSH2 0x199d 000015d0: PUSH1 0x2a 000015d2: SWAP2 000015d3: CODECOPY 000015d4: PUSH1 0x40 000015d6: ADD 000015d7: SWAP2 000015d8: POP 000015d9: POP 000015da: PUSH1 0x40 000015dc: MLOAD 000015dd: DUP1 000015de: SWAP2 000015df: SUB 000015e0: SWAP1 000015e1: REVERT 000015e2: JUMPDEST 000015e3: PUSH1 0x00 000015e5: DUP2 000015e6: DUP2 000015e7: MSTORE 000015e8: PUSH1 0x01 000015ea: DUP4 000015eb: ADD 000015ec: PUSH1 0x20 000015ee: MSTORE 000015ef: PUSH1 0x40 000015f1: DUP2 000015f2: KECCAK256 000015f3: SLOAD 000015f4: DUP1 000015f5: ISZERO 000015f6: PUSH2 0x169e 000015f9: JUMPI 000015fa: DUP4 000015fb: SLOAD 000015fc: PUSH1 0x00 000015fe: NOT 000015ff: DUP1 00001600: DUP4 00001601: ADD 00001602: SWAP2 00001603: SWAP1 00001604: DUP2 00001605: ADD 00001606: SWAP1 00001607: PUSH1 0x00 00001609: SWAP1 0000160a: DUP8 0000160b: SWAP1 0000160c: DUP4 0000160d: SWAP1 0000160e: DUP2 0000160f: LT 00001610: PUSH2 0x1615 00001613: JUMPI 00001614: INVALID 00001615: JUMPDEST 00001616: SWAP1 00001617: PUSH1 0x00 00001619: MSTORE 0000161a: PUSH1 0x20 0000161c: PUSH1 0x00 0000161e: KECCAK256 0000161f: ADD 00001620: SLOAD 00001621: SWAP1 00001622: POP 00001623: DUP1 00001624: DUP8 00001625: PUSH1 0x00 00001627: ADD 00001628: DUP5 00001629: DUP2 0000162a: SLOAD 0000162b: DUP2 0000162c: LT 0000162d: PUSH2 0x1632 00001630: JUMPI 00001631: INVALID 00001632: JUMPDEST 00001633: PUSH1 0x00 00001635: SWAP2 00001636: DUP3 00001637: MSTORE 00001638: PUSH1 0x20 0000163a: DUP1 0000163b: DUP4 0000163c: KECCAK256 0000163d: SWAP1 0000163e: SWAP2 0000163f: ADD 00001640: SWAP3 00001641: SWAP1 00001642: SWAP3 00001643: SSTORE 00001644: DUP3 00001645: DUP2 00001646: MSTORE 00001647: PUSH1 0x01 00001649: DUP10 0000164a: DUP2 0000164b: ADD 0000164c: SWAP1 0000164d: SWAP3 0000164e: MSTORE 0000164f: PUSH1 0x40 00001651: SWAP1 00001652: KECCAK256 00001653: SWAP1 00001654: DUP5 00001655: ADD 00001656: SWAP1 00001657: SSTORE 00001658: DUP7 00001659: SLOAD 0000165a: DUP8 0000165b: SWAP1 0000165c: DUP1 0000165d: PUSH2 0x1662 00001660: JUMPI 00001661: INVALID 00001662: JUMPDEST 00001663: PUSH1 0x01 00001665: SWAP1 00001666: SUB 00001667: DUP2 00001668: DUP2 00001669: SWAP1 0000166a: PUSH1 0x00 0000166c: MSTORE 0000166d: PUSH1 0x20 0000166f: PUSH1 0x00 00001671: KECCAK256 00001672: ADD 00001673: PUSH1 0x00 00001675: SWAP1 00001676: SSTORE 00001677: SWAP1 00001678: SSTORE 00001679: DUP7 0000167a: PUSH1 0x01 0000167c: ADD 0000167d: PUSH1 0x00 0000167f: DUP8 00001680: DUP2 00001681: MSTORE 00001682: PUSH1 0x20 00001684: ADD 00001685: SWAP1 00001686: DUP2 00001687: MSTORE 00001688: PUSH1 0x20 0000168a: ADD 0000168b: PUSH1 0x00 0000168d: KECCAK256 0000168e: PUSH1 0x00 00001690: SWAP1 00001691: SSTORE 00001692: PUSH1 0x01 00001694: SWAP5 00001695: POP 00001696: POP 00001697: POP 00001698: POP 00001699: POP 0000169a: PUSH2 0x065a 0000169d: JUMP 0000169e: JUMPDEST 0000169f: PUSH1 0x00 000016a1: SWAP2 000016a2: POP 000016a3: POP 000016a4: PUSH2 0x065a 000016a7: JUMP 000016a8: INVALID 000016a9: GASLIMIT 000016aa: PUSH15 0x756d657261626c655365743a20696e 000016ba: PUSH5 0x6578206f75 000016c0: PUSH21 0x206f6620626f756e647345524332303a207472616e 000016d6: PUSH20 0x66657220746f20746865207a65726f2061646472 000016eb: PUSH6 0x737341636365 000016f2: PUSH20 0x73436f6e74726f6c3a2073656e646572206d7573 00001707: PUSH21 0x20626520616e2061646d696e20746f206772616e74 0000171d: GASLIMIT 0000171e: MSTORE 0000171f: NUMBER 00001720: ORIGIN 00001721: ADDRESS 00001722: GASPRICE 00001723: KECCAK256 00001724: PUSH3 0x75726e 00001728: KECCAK256 00001729: PUSH2 0x6d6f 0000172c: PUSH22 0x6e7420657863656564732062616c616e636545524332 00001743: ADDRESS 00001744: POP 00001745: PUSH19 0x657365744d696e7465725061757365723a206d 00001759: PUSH22 0x737420686176652070617573657220726f6c6520746f 00001770: KECCAK256 00001771: PUSH22 0x6e706175736545524332303a20617070726f76652074 00001788: PUSH16 0x20746865207a65726f20616464726573 00001799: PUSH20 0x45524332303a207472616e7366657220616d6f75 000017ae: PUSH15 0x7420657863656564732062616c616e 000017be: PUSH4 0x65416363 000017c3: PUSH6 0x7373436f6e74 000017ca: PUSH19 0x6f6c3a2073656e646572206d75737420626520 000017de: PUSH2 0x6e20 000017e1: PUSH2 0x646d 000017e4: PUSH10 0x6e20746f207265766f6b 000017ef: PUSH6 0x45524332303a 000017f6: KECCAK256 000017f7: PUSH21 0x72616e7366657220616d6f756e7420657863656564 0000180d: PUSH20 0x20616c6c6f77616e636545524332305072657365 00001822: PUSH21 0x4d696e7465725061757365723a206d757374206861 00001838: PUSH23 0x65206d696e74657220726f6c6520746f206d696e744552 00001850: NUMBER 00001851: ORIGIN 00001852: ADDRESS 00001853: GASPRICE 00001854: KECCAK256 00001855: PUSH3 0x75726e 00001859: KECCAK256 0000185a: PUSH2 0x6d6f 0000185d: PUSH22 0x6e74206578636565647320616c6c6f77616e63654552 00001874: NUMBER 00001875: ORIGIN 00001876: ADDRESS 00001877: POP 00001878: PUSH19 0x657365744d696e7465725061757365723a206d 0000188c: PUSH22 0x73742068617665206275726e657220726f6c6520746f 000018a3: KECCAK256 000018a4: PUSH3 0x75726e 000018a8: GASLIMIT 000018a9: MSTORE 000018aa: NUMBER 000018ab: ORIGIN 000018ac: ADDRESS 000018ad: GASPRICE 000018ae: KECCAK256 000018af: PUSH3 0x75726e 000018b3: KECCAK256 000018b4: PUSH7 0x726f6d20746865 000018bc: KECCAK256 000018bd: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220 000018d9: PUSH7 0x726f6d20746865 000018e1: KECCAK256 000018e2: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066 000018fe: PUSH19 0x6f6d20746865207a65726f2061646472657373 00001912: GASLIMIT 00001913: MSTORE 00001914: NUMBER 00001915: ORIGIN 00001916: ADDRESS 00001917: POP 00001918: PUSH19 0x657365744d696e7465725061757365723a206d 0000192c: PUSH22 0x737420686176652070617573657220726f6c6520746f 00001943: KECCAK256 00001944: PUSH17 0x6175736545524332303a20646563726561 00001956: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 0000196b: PUSH6 0x726f41636365 00001972: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072 00001987: PUSH6 0x6e6f756e6365 0000198e: KECCAK256 0000198f: PUSH19 0x6f6c657320666f722073656c66455243323050 000019a3: PUSH2 0x7573 000019a6: PUSH2 0x626c 000019a9: PUSH6 0x3a20746f6b65 000019b0: PUSH15 0x207472616e73666572207768696c65 000019c0: KECCAK256 000019c1: PUSH17 0x6175736564a264697066735822122025a3 000019d3: TLOAD 000019d4: UNKNOWN(0xB6) 000019d5: BLOCKHASH 000019d6: UNKNOWN(0xC2) 000019d7: LOG3 000019d8: UNKNOWN(0xF6) 000019d9: BLOBHASH 000019da: UNKNOWN(0x21) 000019db: CALLER 000019dc: ADD 000019dd: PUSH21 0xbf87d41b571c0e16b96260aa96963c411cff7b6473 000019f3: PUSH16
| 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": "0xd5391393",
"selector": "0xd5391393",
"calldata_variants": [
"0xd5391393",
"0xd53913930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe63ab1e9",
"selector": "0xe63ab1e9",
"calldata_variants": [
"0xe63ab1e9",
"0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9010d07c",
"selector": "0x9010d07c",
"calldata_variants": [
"0x9010d07c",
"0x9010d07c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5920,
"type": "tx_origin_used"
},
{
"pc": 6225,
"type": "tx_origin_used"
},
{
"pc": 6261,
"type": "tx_origin_used"
},
{
"pc": 6315,
"type": "tx_origin_used"
},
{
"pc": 6421,
"type": "tx_origin_used"
}
]
}
|