019cdede-855b-7148-8b74-afef064a550c
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 |
|---|---|---|---|---|
| 42578 | artifact.fetch | complete | 3 / 3 | 2 weeks ago |
| 42579 | proxy.resolve | complete | 3 / 3 | 2 weeks ago |
| 42580 | tool.cast_disasm | complete | 3 / 3 | 2 weeks ago |
| 42581 | analysis.bundle | complete | 3 / 3 | 2 weeks ago |
| 42582 | capability.graph | complete | 3 / 3 | 2 weeks ago |
| 42583 | detector.run | complete | 3 / 3 | 2 weeks ago |
| 42584 | validation.fork | complete | 1 / 3 | 1 month 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 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 0x08c1 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd547741f 00000052: EQ 00000053: PUSH2 0x08df 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x092d 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xe63ab1e9 00000068: EQ 00000069: PUSH2 0x09a5 0000006c: JUMPI 0000006d: PUSH2 0x01c4 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xa457c2d7 00000078: EQ 00000079: PUSH2 0x07b3 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xa9059cbb 00000083: EQ 00000084: PUSH2 0x0819 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xca15c873 0000008e: EQ 0000008f: PUSH2 0x087f 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 0x0634 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x91d14854 000000b4: EQ 000000b5: PUSH2 0x06ac 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x95d89b41 000000bf: EQ 000000c0: PUSH2 0x0712 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa217fddf 000000ca: EQ 000000cb: PUSH2 0x0795 000000ce: JUMPI 000000cf: PUSH2 0x01c4 000000d2: JUMP 000000d3: JUMPDEST 000000d4: DUP1 000000d5: PUSH4 0x70a08231 000000da: EQ 000000db: PUSH2 0x0584 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x79cc6790 000000e5: EQ 000000e6: PUSH2 0x05dc 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8456cb59 000000f0: EQ 000000f1: PUSH2 0x062a 000000f4: JUMPI 000000f5: PUSH2 0x01c4 000000f8: JUMP 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x355274ea 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 0x04dc 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x40c10f19 00000121: EQ 00000122: PUSH2 0x04e6 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x42966c68 0000012c: EQ 0000012d: PUSH2 0x0534 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x5c975abb 00000137: EQ 00000138: PUSH2 0x0562 0000013b: JUMPI 0000013c: PUSH2 0x01c4 0000013f: JUMP 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x355274ea 00000147: EQ 00000148: PUSH2 0x040a 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x36568abe 00000152: EQ 00000153: PUSH2 0x0428 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x39509351 0000015d: EQ 0000015e: PUSH2 0x0476 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 0x02d0 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x248a9ca3 00000183: EQ 00000184: PUSH2 0x0356 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x2f2ff15d 0000018e: EQ 0000018f: PUSH2 0x0398 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x313ce567 00000199: EQ 0000019a: PUSH2 0x03e6 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 0x024c 000001b8: JUMPI 000001b9: DUP1 000001ba: PUSH4 0x18160ddd 000001bf: EQ 000001c0: PUSH2 0x02b2 000001c3: JUMPI 000001c4: JUMPDEST 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: PUSH2 0x01d1 000001cd: PUSH2 0x09c3 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: DUP1 000001d7: PUSH1 0x20 000001d9: ADD 000001da: DUP3 000001db: DUP2 000001dc: SUB 000001dd: DUP3 000001de: MSTORE 000001df: DUP4 000001e0: DUP2 000001e1: DUP2 000001e2: MLOAD 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP2 000001e9: POP 000001ea: DUP1 000001eb: MLOAD 000001ec: SWAP1 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP1 000001f1: DUP1 000001f2: DUP4 000001f3: DUP4 000001f4: PUSH1 0x00 000001f6: JUMPDEST 000001f7: DUP4 000001f8: DUP2 000001f9: LT 000001fa: ISZERO 000001fb: PUSH2 0x0211 000001fe: JUMPI 000001ff: DUP1 00000200: DUP3 00000201: ADD 00000202: MLOAD 00000203: DUP2 00000204: DUP5 00000205: ADD 00000206: MSTORE 00000207: PUSH1 0x20 00000209: DUP2 0000020a: ADD 0000020b: SWAP1 0000020c: POP 0000020d: PUSH2 0x01f6 00000210: JUMP 00000211: JUMPDEST 00000212: POP 00000213: POP 00000214: POP 00000215: POP 00000216: SWAP1 00000217: POP 00000218: SWAP1 00000219: DUP2 0000021a: ADD 0000021b: SWAP1 0000021c: PUSH1 0x1f 0000021e: AND 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x023e 00000224: JUMPI 00000225: DUP1 00000226: DUP3 00000227: SUB 00000228: DUP1 00000229: MLOAD 0000022a: PUSH1 0x01 0000022c: DUP4 0000022d: PUSH1 0x20 0000022f: SUB 00000230: PUSH2 0x0100 00000233: EXP 00000234: SUB 00000235: NOT 00000236: AND 00000237: DUP2 00000238: MSTORE 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP2 0000023d: POP 0000023e: JUMPDEST 0000023f: POP 00000240: SWAP3 00000241: POP 00000242: POP 00000243: POP 00000244: PUSH1 0x40 00000246: MLOAD 00000247: DUP1 00000248: SWAP2 00000249: SUB 0000024a: SWAP1 0000024b: RETURN 0000024c: JUMPDEST 0000024d: PUSH2 0x0298 00000250: PUSH1 0x04 00000252: DUP1 00000253: CALLDATASIZE 00000254: SUB 00000255: PUSH1 0x40 00000257: DUP2 00000258: LT 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: DUP2 00000264: ADD 00000265: SWAP1 00000266: DUP1 00000267: DUP1 00000268: CALLDATALOAD 00000269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027e: AND 0000027f: SWAP1 00000280: PUSH1 0x20 00000282: ADD 00000283: SWAP1 00000284: SWAP3 00000285: SWAP2 00000286: SWAP1 00000287: DUP1 00000288: CALLDATALOAD 00000289: SWAP1 0000028a: PUSH1 0x20 0000028c: ADD 0000028d: SWAP1 0000028e: SWAP3 0000028f: SWAP2 00000290: SWAP1 00000291: POP 00000292: POP 00000293: POP 00000294: PUSH2 0x0a65 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: DUP3 0000029e: ISZERO 0000029f: ISZERO 000002a0: ISZERO 000002a1: ISZERO 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: SWAP2 000002a8: POP 000002a9: POP 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: SWAP2 000002af: SUB 000002b0: SWAP1 000002b1: RETURN 000002b2: JUMPDEST 000002b3: PUSH2 0x02ba 000002b6: PUSH2 0x0a83 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH1 0x40 000002bd: MLOAD 000002be: DUP1 000002bf: DUP3 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP2 000002c6: POP 000002c7: POP 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: SWAP2 000002cd: SUB 000002ce: SWAP1 000002cf: RETURN 000002d0: JUMPDEST 000002d1: PUSH2 0x033c 000002d4: PUSH1 0x04 000002d6: DUP1 000002d7: CALLDATASIZE 000002d8: SUB 000002d9: PUSH1 0x60 000002db: DUP2 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: DUP2 000002e8: ADD 000002e9: SWAP1 000002ea: DUP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000302: AND 00000303: SWAP1 00000304: PUSH1 0x20 00000306: ADD 00000307: SWAP1 00000308: SWAP3 00000309: SWAP2 0000030a: SWAP1 0000030b: DUP1 0000030c: CALLDATALOAD 0000030d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000322: AND 00000323: SWAP1 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP1 00000328: SWAP3 00000329: SWAP2 0000032a: SWAP1 0000032b: DUP1 0000032c: CALLDATALOAD 0000032d: SWAP1 0000032e: PUSH1 0x20 00000330: ADD 00000331: SWAP1 00000332: SWAP3 00000333: SWAP2 00000334: SWAP1 00000335: POP 00000336: POP 00000337: POP 00000338: PUSH2 0x0a8d 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: DUP1 00000341: DUP3 00000342: ISZERO 00000343: ISZERO 00000344: ISZERO 00000345: ISZERO 00000346: DUP2 00000347: MSTORE 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP2 0000034c: POP 0000034d: POP 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: SWAP2 00000353: SUB 00000354: SWAP1 00000355: RETURN 00000356: JUMPDEST 00000357: PUSH2 0x0382 0000035a: PUSH1 0x04 0000035c: DUP1 0000035d: CALLDATASIZE 0000035e: SUB 0000035f: PUSH1 0x20 00000361: DUP2 00000362: LT 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: DUP2 0000036e: ADD 0000036f: SWAP1 00000370: DUP1 00000371: DUP1 00000372: CALLDATALOAD 00000373: SWAP1 00000374: PUSH1 0x20 00000376: ADD 00000377: SWAP1 00000378: SWAP3 00000379: SWAP2 0000037a: SWAP1 0000037b: POP 0000037c: POP 0000037d: POP 0000037e: PUSH2 0x0b66 00000381: JUMP 00000382: JUMPDEST 00000383: PUSH1 0x40 00000385: MLOAD 00000386: DUP1 00000387: DUP3 00000388: DUP2 00000389: MSTORE 0000038a: PUSH1 0x20 0000038c: ADD 0000038d: SWAP2 0000038e: POP 0000038f: POP 00000390: PUSH1 0x40 00000392: MLOAD 00000393: DUP1 00000394: SWAP2 00000395: SUB 00000396: SWAP1 00000397: RETURN 00000398: JUMPDEST 00000399: PUSH2 0x03e4 0000039c: PUSH1 0x04 0000039e: DUP1 0000039f: CALLDATASIZE 000003a0: SUB 000003a1: PUSH1 0x40 000003a3: DUP2 000003a4: LT 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: DUP2 000003b0: ADD 000003b1: SWAP1 000003b2: DUP1 000003b3: DUP1 000003b4: CALLDATALOAD 000003b5: SWAP1 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: SWAP1 000003ba: SWAP3 000003bb: SWAP2 000003bc: SWAP1 000003bd: DUP1 000003be: CALLDATALOAD 000003bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d4: AND 000003d5: SWAP1 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: SWAP1 000003da: SWAP3 000003db: SWAP2 000003dc: SWAP1 000003dd: POP 000003de: POP 000003df: POP 000003e0: PUSH2 0x0b85 000003e3: JUMP 000003e4: JUMPDEST 000003e5: STOP 000003e6: JUMPDEST 000003e7: PUSH2 0x03ee 000003ea: PUSH2 0x0c0e 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: DUP3 000003f4: PUSH1 0xff 000003f6: AND 000003f7: PUSH1 0xff 000003f9: AND 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: SWAP2 00000400: POP 00000401: POP 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: SWAP2 00000407: SUB 00000408: SWAP1 00000409: RETURN 0000040a: JUMPDEST 0000040b: PUSH2 0x0412 0000040e: PUSH2 0x0c25 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: DUP3 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x20 0000041c: ADD 0000041d: SWAP2 0000041e: POP 0000041f: POP 00000420: PUSH1 0x40 00000422: MLOAD 00000423: DUP1 00000424: SWAP2 00000425: SUB 00000426: SWAP1 00000427: RETURN 00000428: JUMPDEST 00000429: PUSH2 0x0474 0000042c: PUSH1 0x04 0000042e: DUP1 0000042f: CALLDATASIZE 00000430: SUB 00000431: PUSH1 0x40 00000433: DUP2 00000434: LT 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: DUP2 00000440: ADD 00000441: SWAP1 00000442: DUP1 00000443: DUP1 00000444: CALLDATALOAD 00000445: SWAP1 00000446: PUSH1 0x20 00000448: ADD 00000449: SWAP1 0000044a: SWAP3 0000044b: SWAP2 0000044c: SWAP1 0000044d: DUP1 0000044e: CALLDATALOAD 0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000464: AND 00000465: SWAP1 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP1 0000046a: SWAP3 0000046b: SWAP2 0000046c: SWAP1 0000046d: POP 0000046e: POP 0000046f: POP 00000470: PUSH2 0x0c2f 00000473: JUMP 00000474: JUMPDEST 00000475: STOP 00000476: JUMPDEST 00000477: PUSH2 0x04c2 0000047a: PUSH1 0x04 0000047c: DUP1 0000047d: CALLDATASIZE 0000047e: SUB 0000047f: PUSH1 0x40 00000481: DUP2 00000482: LT 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: DUP2 0000048e: ADD 0000048f: SWAP1 00000490: DUP1 00000491: DUP1 00000492: CALLDATALOAD 00000493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a8: AND 000004a9: SWAP1 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: SWAP1 000004ae: SWAP3 000004af: SWAP2 000004b0: SWAP1 000004b1: DUP1 000004b2: CALLDATALOAD 000004b3: SWAP1 000004b4: PUSH1 0x20 000004b6: ADD 000004b7: SWAP1 000004b8: SWAP3 000004b9: SWAP2 000004ba: SWAP1 000004bb: POP 000004bc: POP 000004bd: POP 000004be: PUSH2 0x0cc8 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: DUP1 000004c7: DUP3 000004c8: ISZERO 000004c9: ISZERO 000004ca: ISZERO 000004cb: ISZERO 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: SWAP2 000004d2: POP 000004d3: POP 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: SWAP2 000004d9: SUB 000004da: SWAP1 000004db: RETURN 000004dc: JUMPDEST 000004dd: PUSH2 0x04e4 000004e0: PUSH2 0x0d7b 000004e3: JUMP 000004e4: JUMPDEST 000004e5: STOP 000004e6: JUMPDEST 000004e7: PUSH2 0x0532 000004ea: PUSH1 0x04 000004ec: DUP1 000004ed: CALLDATASIZE 000004ee: SUB 000004ef: PUSH1 0x40 000004f1: DUP2 000004f2: LT 000004f3: ISZERO 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: DUP2 000004fe: ADD 000004ff: SWAP1 00000500: DUP1 00000501: DUP1 00000502: CALLDATALOAD 00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000518: AND 00000519: SWAP1 0000051a: PUSH1 0x20 0000051c: ADD 0000051d: SWAP1 0000051e: SWAP3 0000051f: SWAP2 00000520: SWAP1 00000521: DUP1 00000522: CALLDATALOAD 00000523: SWAP1 00000524: PUSH1 0x20 00000526: ADD 00000527: SWAP1 00000528: SWAP3 00000529: SWAP2 0000052a: SWAP1 0000052b: POP 0000052c: POP 0000052d: POP 0000052e: PUSH2 0x0e20 00000531: JUMP 00000532: JUMPDEST 00000533: STOP 00000534: JUMPDEST 00000535: PUSH2 0x0560 00000538: PUSH1 0x04 0000053a: DUP1 0000053b: CALLDATASIZE 0000053c: SUB 0000053d: PUSH1 0x20 0000053f: DUP2 00000540: LT 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: DUP2 0000054c: ADD 0000054d: SWAP1 0000054e: DUP1 0000054f: DUP1 00000550: CALLDATALOAD 00000551: SWAP1 00000552: PUSH1 0x20 00000554: ADD 00000555: SWAP1 00000556: SWAP3 00000557: SWAP2 00000558: SWAP1 00000559: POP 0000055a: POP 0000055b: POP 0000055c: PUSH2 0x0ec9 0000055f: JUMP 00000560: JUMPDEST 00000561: STOP 00000562: JUMPDEST 00000563: PUSH2 0x056a 00000566: PUSH2 0x0edd 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: DUP1 0000056f: DUP3 00000570: ISZERO 00000571: ISZERO 00000572: ISZERO 00000573: ISZERO 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x20 00000578: ADD 00000579: SWAP2 0000057a: POP 0000057b: POP 0000057c: PUSH1 0x40 0000057e: MLOAD 0000057f: DUP1 00000580: SWAP2 00000581: SUB 00000582: SWAP1 00000583: RETURN 00000584: JUMPDEST 00000585: PUSH2 0x05c6 00000588: PUSH1 0x04 0000058a: DUP1 0000058b: CALLDATASIZE 0000058c: SUB 0000058d: PUSH1 0x20 0000058f: DUP2 00000590: LT 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: DUP2 0000059c: ADD 0000059d: SWAP1 0000059e: DUP1 0000059f: DUP1 000005a0: CALLDATALOAD 000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b6: AND 000005b7: SWAP1 000005b8: PUSH1 0x20 000005ba: ADD 000005bb: SWAP1 000005bc: SWAP3 000005bd: SWAP2 000005be: SWAP1 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: PUSH2 0x0ef4 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: DUP1 000005cb: DUP3 000005cc: DUP2 000005cd: MSTORE 000005ce: PUSH1 0x20 000005d0: ADD 000005d1: SWAP2 000005d2: POP 000005d3: POP 000005d4: PUSH1 0x40 000005d6: MLOAD 000005d7: DUP1 000005d8: SWAP2 000005d9: SUB 000005da: SWAP1 000005db: RETURN 000005dc: JUMPDEST 000005dd: PUSH2 0x0628 000005e0: PUSH1 0x04 000005e2: DUP1 000005e3: CALLDATASIZE 000005e4: SUB 000005e5: PUSH1 0x40 000005e7: DUP2 000005e8: LT 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: DUP2 000005f4: ADD 000005f5: SWAP1 000005f6: DUP1 000005f7: DUP1 000005f8: CALLDATALOAD 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: SWAP1 00000610: PUSH1 0x20 00000612: ADD 00000613: SWAP1 00000614: SWAP3 00000615: SWAP2 00000616: SWAP1 00000617: DUP1 00000618: CALLDATALOAD 00000619: SWAP1 0000061a: PUSH1 0x20 0000061c: ADD 0000061d: SWAP1 0000061e: SWAP3 0000061f: SWAP2 00000620: SWAP1 00000621: POP 00000622: POP 00000623: POP 00000624: PUSH2 0x0f3d 00000627: JUMP 00000628: JUMPDEST 00000629: STOP 0000062a: JUMPDEST 0000062b: PUSH2 0x0632 0000062e: PUSH2 0x0f9f 00000631: JUMP 00000632: JUMPDEST 00000633: STOP 00000634: JUMPDEST 00000635: PUSH2 0x066a 00000638: PUSH1 0x04 0000063a: DUP1 0000063b: CALLDATASIZE 0000063c: SUB 0000063d: PUSH1 0x40 0000063f: DUP2 00000640: LT 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: DUP2 0000064c: ADD 0000064d: SWAP1 0000064e: DUP1 0000064f: DUP1 00000650: CALLDATALOAD 00000651: SWAP1 00000652: PUSH1 0x20 00000654: ADD 00000655: SWAP1 00000656: SWAP3 00000657: SWAP2 00000658: SWAP1 00000659: DUP1 0000065a: CALLDATALOAD 0000065b: SWAP1 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: SWAP1 00000660: SWAP3 00000661: SWAP2 00000662: SWAP1 00000663: POP 00000664: POP 00000665: POP 00000666: PUSH2 0x1044 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: DUP1 0000066f: DUP3 00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000685: AND 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: DUP2 0000069d: MSTORE 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: SWAP2 000006a2: POP 000006a3: POP 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: DUP1 000006a8: SWAP2 000006a9: SUB 000006aa: SWAP1 000006ab: RETURN 000006ac: JUMPDEST 000006ad: PUSH2 0x06f8 000006b0: PUSH1 0x04 000006b2: DUP1 000006b3: CALLDATASIZE 000006b4: SUB 000006b5: PUSH1 0x40 000006b7: DUP2 000006b8: LT 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: DUP2 000006c4: ADD 000006c5: SWAP1 000006c6: DUP1 000006c7: DUP1 000006c8: CALLDATALOAD 000006c9: SWAP1 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: SWAP1 000006ce: SWAP3 000006cf: SWAP2 000006d0: SWAP1 000006d1: DUP1 000006d2: CALLDATALOAD 000006d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e8: AND 000006e9: SWAP1 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: SWAP1 000006ee: SWAP3 000006ef: SWAP2 000006f0: SWAP1 000006f1: POP 000006f2: POP 000006f3: POP 000006f4: PUSH2 0x1075 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x40 000006fb: MLOAD 000006fc: DUP1 000006fd: DUP3 000006fe: ISZERO 000006ff: ISZERO 00000700: ISZERO 00000701: ISZERO 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x20 00000706: ADD 00000707: SWAP2 00000708: POP 00000709: POP 0000070a: PUSH1 0x40 0000070c: MLOAD 0000070d: DUP1 0000070e: SWAP2 0000070f: SUB 00000710: SWAP1 00000711: RETURN 00000712: JUMPDEST 00000713: PUSH2 0x071a 00000716: PUSH2 0x10a6 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x40 0000071d: MLOAD 0000071e: DUP1 0000071f: DUP1 00000720: PUSH1 0x20 00000722: ADD 00000723: DUP3 00000724: DUP2 00000725: SUB 00000726: DUP3 00000727: MSTORE 00000728: DUP4 00000729: DUP2 0000072a: DUP2 0000072b: MLOAD 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: ADD 00000731: SWAP2 00000732: POP 00000733: DUP1 00000734: MLOAD 00000735: SWAP1 00000736: PUSH1 0x20 00000738: ADD 00000739: SWAP1 0000073a: DUP1 0000073b: DUP4 0000073c: DUP4 0000073d: PUSH1 0x00 0000073f: JUMPDEST 00000740: DUP4 00000741: DUP2 00000742: LT 00000743: ISZERO 00000744: PUSH2 0x075a 00000747: JUMPI 00000748: DUP1 00000749: DUP3 0000074a: ADD 0000074b: MLOAD 0000074c: DUP2 0000074d: DUP5 0000074e: ADD 0000074f: MSTORE 00000750: PUSH1 0x20 00000752: DUP2 00000753: ADD 00000754: SWAP1 00000755: POP 00000756: PUSH2 0x073f 00000759: JUMP 0000075a: JUMPDEST 0000075b: POP 0000075c: POP 0000075d: POP 0000075e: POP 0000075f: SWAP1 00000760: POP 00000761: SWAP1 00000762: DUP2 00000763: ADD 00000764: SWAP1 00000765: PUSH1 0x1f 00000767: AND 00000768: DUP1 00000769: ISZERO 0000076a: PUSH2 0x0787 0000076d: JUMPI 0000076e: DUP1 0000076f: DUP3 00000770: SUB 00000771: DUP1 00000772: MLOAD 00000773: PUSH1 0x01 00000775: DUP4 00000776: PUSH1 0x20 00000778: SUB 00000779: PUSH2 0x0100 0000077c: EXP 0000077d: SUB 0000077e: NOT 0000077f: AND 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x20 00000784: ADD 00000785: SWAP2 00000786: POP 00000787: JUMPDEST 00000788: POP 00000789: SWAP3 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: DUP1 00000791: SWAP2 00000792: SUB 00000793: SWAP1 00000794: RETURN 00000795: JUMPDEST 00000796: PUSH2 0x079d 00000799: PUSH2 0x1148 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x40 000007a0: MLOAD 000007a1: DUP1 000007a2: DUP3 000007a3: DUP2 000007a4: MSTORE 000007a5: PUSH1 0x20 000007a7: ADD 000007a8: SWAP2 000007a9: POP 000007aa: POP 000007ab: PUSH1 0x40 000007ad: MLOAD 000007ae: DUP1 000007af: SWAP2 000007b0: SUB 000007b1: SWAP1 000007b2: RETURN 000007b3: JUMPDEST 000007b4: PUSH2 0x07ff 000007b7: PUSH1 0x04 000007b9: DUP1 000007ba: CALLDATASIZE 000007bb: SUB 000007bc: PUSH1 0x40 000007be: DUP2 000007bf: LT 000007c0: ISZERO 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: DUP2 000007cb: ADD 000007cc: SWAP1 000007cd: DUP1 000007ce: DUP1 000007cf: CALLDATALOAD 000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e5: AND 000007e6: SWAP1 000007e7: PUSH1 0x20 000007e9: ADD 000007ea: SWAP1 000007eb: SWAP3 000007ec: SWAP2 000007ed: SWAP1 000007ee: DUP1 000007ef: CALLDATALOAD 000007f0: SWAP1 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: SWAP1 000007f5: SWAP3 000007f6: SWAP2 000007f7: SWAP1 000007f8: POP 000007f9: POP 000007fa: POP 000007fb: PUSH2 0x114f 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x40 00000802: MLOAD 00000803: DUP1 00000804: DUP3 00000805: ISZERO 00000806: ISZERO 00000807: ISZERO 00000808: ISZERO 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: SWAP2 0000080f: POP 00000810: POP 00000811: PUSH1 0x40 00000813: MLOAD 00000814: DUP1 00000815: SWAP2 00000816: SUB 00000817: SWAP1 00000818: RETURN 00000819: JUMPDEST 0000081a: PUSH2 0x0865 0000081d: PUSH1 0x04 0000081f: DUP1 00000820: CALLDATASIZE 00000821: SUB 00000822: PUSH1 0x40 00000824: DUP2 00000825: LT 00000826: ISZERO 00000827: PUSH2 0x082f 0000082a: JUMPI 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: REVERT 0000082f: JUMPDEST 00000830: DUP2 00000831: ADD 00000832: SWAP1 00000833: DUP1 00000834: DUP1 00000835: CALLDATALOAD 00000836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084b: AND 0000084c: SWAP1 0000084d: PUSH1 0x20 0000084f: ADD 00000850: SWAP1 00000851: SWAP3 00000852: SWAP2 00000853: SWAP1 00000854: DUP1 00000855: CALLDATALOAD 00000856: SWAP1 00000857: PUSH1 0x20 00000859: ADD 0000085a: SWAP1 0000085b: SWAP3 0000085c: SWAP2 0000085d: SWAP1 0000085e: POP 0000085f: POP 00000860: POP 00000861: PUSH2 0x121c 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x40 00000868: MLOAD 00000869: DUP1 0000086a: DUP3 0000086b: ISZERO 0000086c: ISZERO 0000086d: ISZERO 0000086e: ISZERO 0000086f: DUP2 00000870: MSTORE 00000871: PUSH1 0x20 00000873: ADD 00000874: SWAP2 00000875: POP 00000876: POP 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: DUP1 0000087b: SWAP2 0000087c: SUB 0000087d: SWAP1 0000087e: RETURN 0000087f: JUMPDEST 00000880: PUSH2 0x08ab 00000883: PUSH1 0x04 00000885: DUP1 00000886: CALLDATASIZE 00000887: SUB 00000888: PUSH1 0x20 0000088a: DUP2 0000088b: LT 0000088c: ISZERO 0000088d: PUSH2 0x0895 00000890: JUMPI 00000891: PUSH1 0x00 00000893: DUP1 00000894: REVERT 00000895: JUMPDEST 00000896: DUP2 00000897: ADD 00000898: SWAP1 00000899: DUP1 0000089a: DUP1 0000089b: CALLDATALOAD 0000089c: SWAP1 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: SWAP1 000008a1: SWAP3 000008a2: SWAP2 000008a3: SWAP1 000008a4: POP 000008a5: POP 000008a6: POP 000008a7: PUSH2 0x123a 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: DUP1 000008b0: DUP3 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x20 000008b5: ADD 000008b6: SWAP2 000008b7: POP 000008b8: POP 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: SWAP2 000008be: SUB 000008bf: SWAP1 000008c0: RETURN 000008c1: JUMPDEST 000008c2: PUSH2 0x08c9 000008c5: PUSH2 0x1260 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: DUP1 000008ce: DUP3 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: SWAP2 000008d5: POP 000008d6: POP 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: DUP1 000008db: SWAP2 000008dc: SUB 000008dd: SWAP1 000008de: RETURN 000008df: JUMPDEST 000008e0: PUSH2 0x092b 000008e3: PUSH1 0x04 000008e5: DUP1 000008e6: CALLDATASIZE 000008e7: SUB 000008e8: PUSH1 0x40 000008ea: DUP2 000008eb: LT 000008ec: ISZERO 000008ed: PUSH2 0x08f5 000008f0: JUMPI 000008f1: PUSH1 0x00 000008f3: DUP1 000008f4: REVERT 000008f5: JUMPDEST 000008f6: DUP2 000008f7: ADD 000008f8: SWAP1 000008f9: DUP1 000008fa: DUP1 000008fb: CALLDATALOAD 000008fc: SWAP1 000008fd: PUSH1 0x20 000008ff: ADD 00000900: SWAP1 00000901: SWAP3 00000902: SWAP2 00000903: SWAP1 00000904: DUP1 00000905: CALLDATALOAD 00000906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091b: AND 0000091c: SWAP1 0000091d: PUSH1 0x20 0000091f: ADD 00000920: SWAP1 00000921: SWAP3 00000922: SWAP2 00000923: SWAP1 00000924: POP 00000925: POP 00000926: POP 00000927: PUSH2 0x1299 0000092a: JUMP 0000092b: JUMPDEST 0000092c: STOP 0000092d: JUMPDEST 0000092e: PUSH2 0x098f 00000931: PUSH1 0x04 00000933: DUP1 00000934: CALLDATASIZE 00000935: SUB 00000936: PUSH1 0x40 00000938: DUP2 00000939: LT 0000093a: ISZERO 0000093b: PUSH2 0x0943 0000093e: JUMPI 0000093f: PUSH1 0x00 00000941: DUP1 00000942: REVERT 00000943: JUMPDEST 00000944: DUP2 00000945: ADD 00000946: SWAP1 00000947: DUP1 00000948: DUP1 00000949: CALLDATALOAD 0000094a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095f: AND 00000960: SWAP1 00000961: PUSH1 0x20 00000963: ADD 00000964: SWAP1 00000965: SWAP3 00000966: SWAP2 00000967: SWAP1 00000968: DUP1 00000969: CALLDATALOAD 0000096a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097f: AND 00000980: SWAP1 00000981: PUSH1 0x20 00000983: ADD 00000984: SWAP1 00000985: SWAP3 00000986: SWAP2 00000987: SWAP1 00000988: POP 00000989: POP 0000098a: POP 0000098b: PUSH2 0x1322 0000098e: JUMP 0000098f: JUMPDEST 00000990: PUSH1 0x40 00000992: MLOAD 00000993: DUP1 00000994: DUP3 00000995: DUP2 00000996: MSTORE 00000997: PUSH1 0x20 00000999: ADD 0000099a: SWAP2 0000099b: POP 0000099c: POP 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: DUP1 000009a1: SWAP2 000009a2: SUB 000009a3: SWAP1 000009a4: RETURN 000009a5: JUMPDEST 000009a6: PUSH2 0x09ad 000009a9: PUSH2 0x13a9 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: DUP1 000009b2: DUP3 000009b3: DUP2 000009b4: MSTORE 000009b5: PUSH1 0x20 000009b7: ADD 000009b8: SWAP2 000009b9: POP 000009ba: POP 000009bb: PUSH1 0x40 000009bd: MLOAD 000009be: DUP1 000009bf: SWAP2 000009c0: SUB 000009c1: SWAP1 000009c2: RETURN 000009c3: JUMPDEST 000009c4: PUSH1 0x60 000009c6: PUSH1 0x04 000009c8: DUP1 000009c9: SLOAD 000009ca: PUSH1 0x01 000009cc: DUP2 000009cd: PUSH1 0x01 000009cf: AND 000009d0: ISZERO 000009d1: PUSH2 0x0100 000009d4: MUL 000009d5: SUB 000009d6: AND 000009d7: PUSH1 0x02 000009d9: SWAP1 000009da: DIV 000009db: DUP1 000009dc: PUSH1 0x1f 000009de: ADD 000009df: PUSH1 0x20 000009e1: DUP1 000009e2: SWAP2 000009e3: DIV 000009e4: MUL 000009e5: PUSH1 0x20 000009e7: ADD 000009e8: PUSH1 0x40 000009ea: MLOAD 000009eb: SWAP1 000009ec: DUP2 000009ed: ADD 000009ee: PUSH1 0x40 000009f0: MSTORE 000009f1: DUP1 000009f2: SWAP3 000009f3: SWAP2 000009f4: SWAP1 000009f5: DUP2 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x20 000009fa: ADD 000009fb: DUP3 000009fc: DUP1 000009fd: SLOAD 000009fe: PUSH1 0x01 00000a00: DUP2 00000a01: PUSH1 0x01 00000a03: AND 00000a04: ISZERO 00000a05: PUSH2 0x0100 00000a08: MUL 00000a09: SUB 00000a0a: AND 00000a0b: PUSH1 0x02 00000a0d: SWAP1 00000a0e: DIV 00000a0f: DUP1 00000a10: ISZERO 00000a11: PUSH2 0x0a5b 00000a14: JUMPI 00000a15: DUP1 00000a16: PUSH1 0x1f 00000a18: LT 00000a19: PUSH2 0x0a30 00000a1c: JUMPI 00000a1d: PUSH2 0x0100 00000a20: DUP1 00000a21: DUP4 00000a22: SLOAD 00000a23: DIV 00000a24: MUL 00000a25: DUP4 00000a26: MSTORE 00000a27: SWAP2 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: SWAP2 00000a2c: PUSH2 0x0a5b 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: DUP3 00000a32: ADD 00000a33: SWAP2 00000a34: SWAP1 00000a35: PUSH1 0x00 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: PUSH1 0x00 00000a3c: KECCAK256 00000a3d: SWAP1 00000a3e: JUMPDEST 00000a3f: DUP2 00000a40: SLOAD 00000a41: DUP2 00000a42: MSTORE 00000a43: SWAP1 00000a44: PUSH1 0x01 00000a46: ADD 00000a47: SWAP1 00000a48: PUSH1 0x20 00000a4a: ADD 00000a4b: DUP1 00000a4c: DUP4 00000a4d: GT 00000a4e: PUSH2 0x0a3e 00000a51: JUMPI 00000a52: DUP3 00000a53: SWAP1 00000a54: SUB 00000a55: PUSH1 0x1f 00000a57: AND 00000a58: DUP3 00000a59: ADD 00000a5a: SWAP2 00000a5b: JUMPDEST 00000a5c: POP 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: POP 00000a61: SWAP1 00000a62: POP 00000a63: SWAP1 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x00 00000a68: PUSH2 0x0a79 00000a6b: PUSH2 0x0a72 00000a6e: PUSH2 0x13e2 00000a71: JUMP 00000a72: JUMPDEST 00000a73: DUP5 00000a74: DUP5 00000a75: PUSH2 0x13ea 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x01 00000a7c: SWAP1 00000a7d: POP 00000a7e: SWAP3 00000a7f: SWAP2 00000a80: POP 00000a81: POP 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH1 0x00 00000a86: PUSH1 0x03 00000a88: SLOAD 00000a89: SWAP1 00000a8a: POP 00000a8b: SWAP1 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: PUSH1 0x00 00000a90: PUSH2 0x0a9a 00000a93: DUP5 00000a94: DUP5 00000a95: DUP5 00000a96: PUSH2 0x15e1 00000a99: JUMP 00000a9a: JUMPDEST 00000a9b: PUSH2 0x0b5b 00000a9e: DUP5 00000a9f: PUSH2 0x0aa6 00000aa2: PUSH2 0x13e2 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH2 0x0b56 00000aaa: DUP6 00000aab: PUSH1 0x40 00000aad: MLOAD 00000aae: DUP1 00000aaf: PUSH1 0x60 00000ab1: ADD 00000ab2: PUSH1 0x40 00000ab4: MSTORE 00000ab5: DUP1 00000ab6: PUSH1 0x28 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: PUSH2 0x2684 00000ac0: PUSH1 0x28 00000ac2: SWAP2 00000ac3: CODECOPY 00000ac4: PUSH1 0x02 00000ac6: PUSH1 0x00 00000ac8: DUP12 00000ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ade: AND 00000adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af4: AND 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x20 00000af9: ADD 00000afa: SWAP1 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: PUSH1 0x00 00000b02: KECCAK256 00000b03: PUSH1 0x00 00000b05: PUSH2 0x0b0c 00000b08: PUSH2 0x13e2 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b22: AND 00000b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b38: AND 00000b39: DUP2 00000b3a: MSTORE 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: SWAP1 00000b3f: DUP2 00000b40: MSTORE 00000b41: PUSH1 0x20 00000b43: ADD 00000b44: PUSH1 0x00 00000b46: KECCAK256 00000b47: SLOAD 00000b48: PUSH2 0x18a6 00000b4b: SWAP1 00000b4c: SWAP3 00000b4d: SWAP2 00000b4e: SWAP1 00000b4f: PUSH4 0xffffffff 00000b54: AND 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH2 0x13ea 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: PUSH1 0x01 00000b5e: SWAP1 00000b5f: POP 00000b60: SWAP4 00000b61: SWAP3 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x00 00000b69: DUP1 00000b6a: PUSH1 0x00 00000b6c: DUP4 00000b6d: DUP2 00000b6e: MSTORE 00000b6f: PUSH1 0x20 00000b71: ADD 00000b72: SWAP1 00000b73: DUP2 00000b74: MSTORE 00000b75: PUSH1 0x20 00000b77: ADD 00000b78: PUSH1 0x00 00000b7a: KECCAK256 00000b7b: PUSH1 0x02 00000b7d: ADD 00000b7e: SLOAD 00000b7f: SWAP1 00000b80: POP 00000b81: SWAP2 00000b82: SWAP1 00000b83: POP 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH2 0x0bab 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: DUP5 00000b8d: DUP2 00000b8e: MSTORE 00000b8f: PUSH1 0x20 00000b91: ADD 00000b92: SWAP1 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x20 00000b97: ADD 00000b98: PUSH1 0x00 00000b9a: KECCAK256 00000b9b: PUSH1 0x02 00000b9d: ADD 00000b9e: SLOAD 00000b9f: PUSH2 0x0ba6 00000ba2: PUSH2 0x13e2 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH2 0x1075 00000baa: JUMP 00000bab: JUMPDEST 00000bac: PUSH2 0x0c00 00000baf: JUMPI 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bd4: DUP2 00000bd5: MSTORE 00000bd6: PUSH1 0x04 00000bd8: ADD 00000bd9: DUP1 00000bda: DUP1 00000bdb: PUSH1 0x20 00000bdd: ADD 00000bde: DUP3 00000bdf: DUP2 00000be0: SUB 00000be1: DUP3 00000be2: MSTORE 00000be3: PUSH1 0x2f 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x20 00000be9: ADD 00000bea: DUP1 00000beb: PUSH2 0x256e 00000bee: PUSH1 0x2f 00000bf0: SWAP2 00000bf1: CODECOPY 00000bf2: PUSH1 0x40 00000bf4: ADD 00000bf5: SWAP2 00000bf6: POP 00000bf7: POP 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: DUP1 00000bfc: SWAP2 00000bfd: SUB 00000bfe: SWAP1 00000bff: REVERT 00000c00: JUMPDEST 00000c01: PUSH2 0x0c0a 00000c04: DUP3 00000c05: DUP3 00000c06: PUSH2 0x1966 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: POP 00000c0c: POP 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH1 0x00 00000c11: PUSH1 0x06 00000c13: PUSH1 0x00 00000c15: SWAP1 00000c16: SLOAD 00000c17: SWAP1 00000c18: PUSH2 0x0100 00000c1b: EXP 00000c1c: SWAP1 00000c1d: DIV 00000c1e: PUSH1 0xff 00000c20: AND 00000c21: SWAP1 00000c22: POP 00000c23: SWAP1 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH1 0x00 00000c28: PUSH1 0x07 00000c2a: SLOAD 00000c2b: SWAP1 00000c2c: POP 00000c2d: SWAP1 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: PUSH2 0x0c37 00000c33: PUSH2 0x13e2 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4d: AND 00000c4e: DUP2 00000c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c64: AND 00000c65: EQ 00000c66: PUSH2 0x0cba 00000c69: JUMPI 00000c6a: PUSH1 0x40 00000c6c: MLOAD 00000c6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x04 00000c92: ADD 00000c93: DUP1 00000c94: DUP1 00000c95: PUSH1 0x20 00000c97: ADD 00000c98: DUP3 00000c99: DUP2 00000c9a: SUB 00000c9b: DUP3 00000c9c: MSTORE 00000c9d: PUSH1 0x2f 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: DUP1 00000ca5: PUSH2 0x2788 00000ca8: PUSH1 0x2f 00000caa: SWAP2 00000cab: CODECOPY 00000cac: PUSH1 0x40 00000cae: ADD 00000caf: SWAP2 00000cb0: POP 00000cb1: POP 00000cb2: PUSH1 0x40 00000cb4: MLOAD 00000cb5: DUP1 00000cb6: SWAP2 00000cb7: SUB 00000cb8: SWAP1 00000cb9: REVERT 00000cba: JUMPDEST 00000cbb: PUSH2 0x0cc4 00000cbe: DUP3 00000cbf: DUP3 00000cc0: PUSH2 0x19f9 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: POP 00000cc6: POP 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x00 00000ccb: PUSH2 0x0d71 00000cce: PUSH2 0x0cd5 00000cd1: PUSH2 0x13e2 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: DUP5 00000cd7: PUSH2 0x0d6c 00000cda: DUP6 00000cdb: PUSH1 0x02 00000cdd: PUSH1 0x00 00000cdf: PUSH2 0x0ce6 00000ce2: PUSH2 0x13e2 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfc: AND 00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d12: AND 00000d13: DUP2 00000d14: MSTORE 00000d15: PUSH1 0x20 00000d17: ADD 00000d18: SWAP1 00000d19: DUP2 00000d1a: MSTORE 00000d1b: PUSH1 0x20 00000d1d: ADD 00000d1e: PUSH1 0x00 00000d20: KECCAK256 00000d21: PUSH1 0x00 00000d23: DUP10 00000d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d39: AND 00000d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4f: AND 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x20 00000d54: ADD 00000d55: SWAP1 00000d56: DUP2 00000d57: MSTORE 00000d58: PUSH1 0x20 00000d5a: ADD 00000d5b: PUSH1 0x00 00000d5d: KECCAK256 00000d5e: SLOAD 00000d5f: PUSH2 0x1a8c 00000d62: SWAP1 00000d63: SWAP2 00000d64: SWAP1 00000d65: PUSH4 0xffffffff 00000d6a: AND 00000d6b: JUMP 00000d6c: JUMPDEST 00000d6d: PUSH2 0x13ea 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x01 00000d74: SWAP1 00000d75: POP 00000d76: SWAP3 00000d77: SWAP2 00000d78: POP 00000d79: POP 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH2 0x0dc1 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: DUP1 00000d83: DUP1 00000d84: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000 00000da5: DUP2 00000da6: MSTORE 00000da7: POP 00000da8: PUSH1 0x0b 00000daa: ADD 00000dab: SWAP1 00000dac: POP 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: DUP1 00000db1: SWAP2 00000db2: SUB 00000db3: SWAP1 00000db4: KECCAK256 00000db5: PUSH2 0x0dbc 00000db8: PUSH2 0x13e2 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: PUSH2 0x1075 00000dc0: JUMP 00000dc1: JUMPDEST 00000dc2: PUSH2 0x0e16 00000dc5: JUMPI 00000dc6: PUSH1 0x40 00000dc8: MLOAD 00000dc9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x04 00000dee: ADD 00000def: DUP1 00000df0: DUP1 00000df1: PUSH1 0x20 00000df3: ADD 00000df4: DUP3 00000df5: DUP2 00000df6: SUB 00000df7: DUP3 00000df8: MSTORE 00000df9: PUSH1 0x29 00000dfb: DUP2 00000dfc: MSTORE 00000dfd: PUSH1 0x20 00000dff: ADD 00000e00: DUP1 00000e01: PUSH2 0x2716 00000e04: PUSH1 0x29 00000e06: SWAP2 00000e07: CODECOPY 00000e08: PUSH1 0x40 00000e0a: ADD 00000e0b: SWAP2 00000e0c: POP 00000e0d: POP 00000e0e: PUSH1 0x40 00000e10: MLOAD 00000e11: DUP1 00000e12: SWAP2 00000e13: SUB 00000e14: SWAP1 00000e15: REVERT 00000e16: JUMPDEST 00000e17: PUSH2 0x0e1e 00000e1a: PUSH2 0x1b14 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH2 0x0e66 00000e24: PUSH1 0x40 00000e26: MLOAD 00000e27: DUP1 00000e28: DUP1 00000e29: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: POP 00000e4d: PUSH1 0x0b 00000e4f: ADD 00000e50: SWAP1 00000e51: POP 00000e52: PUSH1 0x40 00000e54: MLOAD 00000e55: DUP1 00000e56: SWAP2 00000e57: SUB 00000e58: SWAP1 00000e59: KECCAK256 00000e5a: PUSH2 0x0e61 00000e5d: PUSH2 0x13e2 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH2 0x1075 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH2 0x0ebb 00000e6a: JUMPI 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x04 00000e93: ADD 00000e94: DUP1 00000e95: DUP1 00000e96: PUSH1 0x20 00000e98: ADD 00000e99: DUP3 00000e9a: DUP2 00000e9b: SUB 00000e9c: DUP3 00000e9d: MSTORE 00000e9e: PUSH1 0x26 00000ea0: DUP2 00000ea1: MSTORE 00000ea2: PUSH1 0x20 00000ea4: ADD 00000ea5: DUP1 00000ea6: PUSH2 0x265e 00000ea9: PUSH1 0x26 00000eab: SWAP2 00000eac: CODECOPY 00000ead: PUSH1 0x40 00000eaf: ADD 00000eb0: SWAP2 00000eb1: POP 00000eb2: POP 00000eb3: PUSH1 0x40 00000eb5: MLOAD 00000eb6: DUP1 00000eb7: SWAP2 00000eb8: SUB 00000eb9: SWAP1 00000eba: REVERT 00000ebb: JUMPDEST 00000ebc: PUSH2 0x0ec5 00000ebf: DUP3 00000ec0: DUP3 00000ec1: PUSH2 0x1c1d 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: POP 00000ec7: POP 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH2 0x0eda 00000ecd: PUSH2 0x0ed4 00000ed0: PUSH2 0x13e2 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: DUP3 00000ed6: PUSH2 0x1de6 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: POP 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x00 00000ee0: PUSH1 0x06 00000ee2: PUSH1 0x01 00000ee4: SWAP1 00000ee5: SLOAD 00000ee6: SWAP1 00000ee7: PUSH2 0x0100 00000eea: EXP 00000eeb: SWAP1 00000eec: DIV 00000eed: PUSH1 0xff 00000eef: AND 00000ef0: SWAP1 00000ef1: POP 00000ef2: SWAP1 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: PUSH1 0x00 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0x00 00000efb: DUP4 00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f11: AND 00000f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f27: AND 00000f28: DUP2 00000f29: MSTORE 00000f2a: PUSH1 0x20 00000f2c: ADD 00000f2d: SWAP1 00000f2e: DUP2 00000f2f: MSTORE 00000f30: PUSH1 0x20 00000f32: ADD 00000f33: PUSH1 0x00 00000f35: KECCAK256 00000f36: SLOAD 00000f37: SWAP1 00000f38: POP 00000f39: SWAP2 00000f3a: SWAP1 00000f3b: POP 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: PUSH1 0x00 00000f40: PUSH2 0x0f7c 00000f43: DUP3 00000f44: PUSH1 0x40 00000f46: MLOAD 00000f47: DUP1 00000f48: PUSH1 0x60 00000f4a: ADD 00000f4b: PUSH1 0x40 00000f4d: MSTORE 00000f4e: DUP1 00000f4f: PUSH1 0x24 00000f51: DUP2 00000f52: MSTORE 00000f53: PUSH1 0x20 00000f55: ADD 00000f56: PUSH2 0x26ac 00000f59: PUSH1 0x24 00000f5b: SWAP2 00000f5c: CODECOPY 00000f5d: PUSH2 0x0f6d 00000f60: DUP7 00000f61: PUSH2 0x0f68 00000f64: PUSH2 0x13e2 00000f67: JUMP 00000f68: JUMPDEST 00000f69: PUSH2 0x1322 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: PUSH2 0x18a6 00000f71: SWAP1 00000f72: SWAP3 00000f73: SWAP2 00000f74: SWAP1 00000f75: PUSH4 0xffffffff 00000f7a: AND 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: SWAP1 00000f7e: POP 00000f7f: PUSH2 0x0f90 00000f82: DUP4 00000f83: PUSH2 0x0f8a 00000f86: PUSH2 0x13e2 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: DUP4 00000f8c: PUSH2 0x13ea 00000f8f: JUMP 00000f90: JUMPDEST 00000f91: PUSH2 0x0f9a 00000f94: DUP4 00000f95: DUP4 00000f96: PUSH2 0x1de6 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: POP 00000f9c: POP 00000f9d: POP 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH2 0x0fe5 00000fa3: PUSH1 0x40 00000fa5: MLOAD 00000fa6: DUP1 00000fa7: DUP1 00000fa8: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000 00000fc9: DUP2 00000fca: MSTORE 00000fcb: POP 00000fcc: PUSH1 0x0b 00000fce: ADD 00000fcf: SWAP1 00000fd0: POP 00000fd1: PUSH1 0x40 00000fd3: MLOAD 00000fd4: DUP1 00000fd5: SWAP2 00000fd6: SUB 00000fd7: SWAP1 00000fd8: KECCAK256 00000fd9: PUSH2 0x0fe0 00000fdc: PUSH2 0x13e2 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH2 0x1075 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: PUSH2 0x103a 00000fe9: JUMPI 00000fea: PUSH1 0x40 00000fec: MLOAD 00000fed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x04 00001012: ADD 00001013: DUP1 00001014: DUP1 00001015: PUSH1 0x20 00001017: ADD 00001018: DUP3 00001019: DUP2 0000101a: SUB 0000101b: DUP3 0000101c: MSTORE 0000101d: PUSH1 0x27 0000101f: DUP2 00001020: MSTORE 00001021: PUSH1 0x20 00001023: ADD 00001024: DUP1 00001025: PUSH2 0x25e1 00001028: PUSH1 0x27 0000102a: SWAP2 0000102b: CODECOPY 0000102c: PUSH1 0x40 0000102e: ADD 0000102f: SWAP2 00001030: POP 00001031: POP 00001032: PUSH1 0x40 00001034: MLOAD 00001035: DUP1 00001036: SWAP2 00001037: SUB 00001038: SWAP1 00001039: REVERT 0000103a: JUMPDEST 0000103b: PUSH2 0x1042 0000103e: PUSH2 0x1fac 00001041: JUMP 00001042: JUMPDEST 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH1 0x00 00001047: PUSH2 0x106d 0000104a: DUP3 0000104b: PUSH1 0x00 0000104d: DUP1 0000104e: DUP7 0000104f: DUP2 00001050: MSTORE 00001051: PUSH1 0x20 00001053: ADD 00001054: SWAP1 00001055: DUP2 00001056: MSTORE 00001057: PUSH1 0x20 00001059: ADD 0000105a: PUSH1 0x00 0000105c: KECCAK256 0000105d: PUSH1 0x00 0000105f: ADD 00001060: PUSH2 0x20b6 00001063: SWAP1 00001064: SWAP2 00001065: SWAP1 00001066: PUSH4 0xffffffff 0000106b: AND 0000106c: JUMP 0000106d: JUMPDEST 0000106e: SWAP1 0000106f: POP 00001070: SWAP3 00001071: SWAP2 00001072: POP 00001073: POP 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x00 00001078: PUSH2 0x109e 0000107b: DUP3 0000107c: PUSH1 0x00 0000107e: DUP1 0000107f: DUP7 00001080: DUP2 00001081: MSTORE 00001082: PUSH1 0x20 00001084: ADD 00001085: SWAP1 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x20 0000108a: ADD 0000108b: PUSH1 0x00 0000108d: KECCAK256 0000108e: PUSH1 0x00 00001090: ADD 00001091: PUSH2 0x20d0 00001094: SWAP1 00001095: SWAP2 00001096: SWAP1 00001097: PUSH4 0xffffffff 0000109c: AND 0000109d: JUMP 0000109e: JUMPDEST 0000109f: SWAP1 000010a0: POP 000010a1: SWAP3 000010a2: SWAP2 000010a3: POP 000010a4: POP 000010a5: JUMP 000010a6: JUMPDEST 000010a7: PUSH1 0x60 000010a9: PUSH1 0x05 000010ab: DUP1 000010ac: SLOAD 000010ad: PUSH1 0x01 000010af: DUP2 000010b0: PUSH1 0x01 000010b2: AND 000010b3: ISZERO 000010b4: PUSH2 0x0100 000010b7: MUL 000010b8: SUB 000010b9: AND 000010ba: PUSH1 0x02 000010bc: SWAP1 000010bd: DIV 000010be: DUP1 000010bf: PUSH1 0x1f 000010c1: ADD 000010c2: PUSH1 0x20 000010c4: DUP1 000010c5: SWAP2 000010c6: DIV 000010c7: MUL 000010c8: PUSH1 0x20 000010ca: ADD 000010cb: PUSH1 0x40 000010cd: MLOAD 000010ce: SWAP1 000010cf: DUP2 000010d0: ADD 000010d1: PUSH1 0x40 000010d3: MSTORE 000010d4: DUP1 000010d5: SWAP3 000010d6: SWAP2 000010d7: SWAP1 000010d8: DUP2 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x20 000010dd: ADD 000010de: DUP3 000010df: DUP1 000010e0: SLOAD 000010e1: PUSH1 0x01 000010e3: DUP2 000010e4: PUSH1 0x01 000010e6: AND 000010e7: ISZERO 000010e8: PUSH2 0x0100 000010eb: MUL 000010ec: SUB 000010ed: AND 000010ee: PUSH1 0x02 000010f0: SWAP1 000010f1: DIV 000010f2: DUP1 000010f3: ISZERO 000010f4: PUSH2 0x113e 000010f7: JUMPI 000010f8: DUP1 000010f9: PUSH1 0x1f 000010fb: LT 000010fc: PUSH2 0x1113 000010ff: JUMPI 00001100: PUSH2 0x0100 00001103: DUP1 00001104: DUP4 00001105: SLOAD 00001106: DIV 00001107: MUL 00001108: DUP4 00001109: MSTORE 0000110a: SWAP2 0000110b: PUSH1 0x20 0000110d: ADD 0000110e: SWAP2 0000110f: PUSH2 0x113e 00001112: JUMP 00001113: JUMPDEST 00001114: DUP3 00001115: ADD 00001116: SWAP2 00001117: SWAP1 00001118: PUSH1 0x00 0000111a: MSTORE 0000111b: PUSH1 0x20 0000111d: PUSH1 0x00 0000111f: KECCAK256 00001120: SWAP1 00001121: JUMPDEST 00001122: DUP2 00001123: SLOAD 00001124: DUP2 00001125: MSTORE 00001126: SWAP1 00001127: PUSH1 0x01 00001129: ADD 0000112a: SWAP1 0000112b: PUSH1 0x20 0000112d: ADD 0000112e: DUP1 0000112f: DUP4 00001130: GT 00001131: PUSH2 0x1121 00001134: JUMPI 00001135: DUP3 00001136: SWAP1 00001137: SUB 00001138: PUSH1 0x1f 0000113a: AND 0000113b: DUP3 0000113c: ADD 0000113d: SWAP2 0000113e: JUMPDEST 0000113f: POP 00001140: POP 00001141: POP 00001142: POP 00001143: POP 00001144: SWAP1 00001145: POP 00001146: SWAP1 00001147: JUMP 00001148: JUMPDEST 00001149: PUSH1 0x00 0000114b: DUP1 0000114c: SHL 0000114d: DUP2 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH1 0x00 00001152: PUSH2 0x1212 00001155: PUSH2 0x115c 00001158: PUSH2 0x13e2 0000115b: JUMP 0000115c: JUMPDEST 0000115d: DUP5 0000115e: PUSH2 0x120d 00001161: DUP6 00001162: PUSH1 0x40 00001164: MLOAD 00001165: DUP1 00001166: PUSH1 0x60 00001168: ADD 00001169: PUSH1 0x40 0000116b: MSTORE 0000116c: DUP1 0000116d: PUSH1 0x25 0000116f: DUP2 00001170: MSTORE 00001171: PUSH1 0x20 00001173: ADD 00001174: PUSH2 0x2763 00001177: PUSH1 0x25 00001179: SWAP2 0000117a: CODECOPY 0000117b: PUSH1 0x02 0000117d: PUSH1 0x00 0000117f: PUSH2 0x1186 00001182: PUSH2 0x13e2 00001185: JUMP 00001186: JUMPDEST 00001187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119c: AND 0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b2: AND 000011b3: DUP2 000011b4: MSTORE 000011b5: PUSH1 0x20 000011b7: ADD 000011b8: SWAP1 000011b9: DUP2 000011ba: MSTORE 000011bb: PUSH1 0x20 000011bd: ADD 000011be: PUSH1 0x00 000011c0: KECCAK256 000011c1: PUSH1 0x00 000011c3: DUP11 000011c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d9: AND 000011da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ef: AND 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x20 000011f4: ADD 000011f5: SWAP1 000011f6: DUP2 000011f7: MSTORE 000011f8: PUSH1 0x20 000011fa: ADD 000011fb: PUSH1 0x00 000011fd: KECCAK256 000011fe: SLOAD 000011ff: PUSH2 0x18a6 00001202: SWAP1 00001203: SWAP3 00001204: SWAP2 00001205: SWAP1 00001206: PUSH4 0xffffffff 0000120b: AND 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH2 0x13ea 00001211: JUMP 00001212: JUMPDEST 00001213: PUSH1 0x01 00001215: SWAP1 00001216: POP 00001217: SWAP3 00001218: SWAP2 00001219: POP 0000121a: POP 0000121b: JUMP 0000121c: JUMPDEST 0000121d: PUSH1 0x00 0000121f: PUSH2 0x1230 00001222: PUSH2 0x1229 00001225: PUSH2 0x13e2 00001228: JUMP 00001229: JUMPDEST 0000122a: DUP5 0000122b: DUP5 0000122c: PUSH2 0x15e1 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH1 0x01 00001233: SWAP1 00001234: POP 00001235: SWAP3 00001236: SWAP2 00001237: POP 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH1 0x00 0000123d: PUSH2 0x1259 00001240: PUSH1 0x00 00001242: DUP1 00001243: DUP5 00001244: DUP2 00001245: MSTORE 00001246: PUSH1 0x20 00001248: ADD 00001249: SWAP1 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x20 0000124e: ADD 0000124f: PUSH1 0x00 00001251: KECCAK256 00001252: PUSH1 0x00 00001254: ADD 00001255: PUSH2 0x2100 00001258: JUMP 00001259: JUMPDEST 0000125a: SWAP1 0000125b: POP 0000125c: SWAP2 0000125d: SWAP1 0000125e: POP 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH1 0x40 00001263: MLOAD 00001264: DUP1 00001265: DUP1 00001266: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000 00001287: DUP2 00001288: MSTORE 00001289: POP 0000128a: PUSH1 0x0b 0000128c: ADD 0000128d: SWAP1 0000128e: POP 0000128f: PUSH1 0x40 00001291: MLOAD 00001292: DUP1 00001293: SWAP2 00001294: SUB 00001295: SWAP1 00001296: KECCAK256 00001297: DUP2 00001298: JUMP 00001299: JUMPDEST 0000129a: PUSH2 0x12bf 0000129d: PUSH1 0x00 0000129f: DUP1 000012a0: DUP5 000012a1: DUP2 000012a2: MSTORE 000012a3: PUSH1 0x20 000012a5: ADD 000012a6: SWAP1 000012a7: DUP2 000012a8: MSTORE 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: PUSH1 0x00 000012ae: KECCAK256 000012af: PUSH1 0x02 000012b1: ADD 000012b2: SLOAD 000012b3: PUSH2 0x12ba 000012b6: PUSH2 0x13e2 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH2 0x1075 000012be: JUMP 000012bf: JUMPDEST 000012c0: PUSH2 0x1314 000012c3: JUMPI 000012c4: PUSH1 0x40 000012c6: MLOAD 000012c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012e8: DUP2 000012e9: MSTORE 000012ea: PUSH1 0x04 000012ec: ADD 000012ed: DUP1 000012ee: DUP1 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: DUP3 000012f3: DUP2 000012f4: SUB 000012f5: DUP3 000012f6: MSTORE 000012f7: PUSH1 0x30 000012f9: DUP2 000012fa: MSTORE 000012fb: PUSH1 0x20 000012fd: ADD 000012fe: DUP1 000012ff: PUSH2 0x262e 00001302: PUSH1 0x30 00001304: SWAP2 00001305: CODECOPY 00001306: PUSH1 0x40 00001308: ADD 00001309: SWAP2 0000130a: POP 0000130b: POP 0000130c: PUSH1 0x40 0000130e: MLOAD 0000130f: DUP1 00001310: SWAP2 00001311: SUB 00001312: SWAP1 00001313: REVERT 00001314: JUMPDEST 00001315: PUSH2 0x131e 00001318: DUP3 00001319: DUP3 0000131a: PUSH2 0x19f9 0000131d: JUMP 0000131e: JUMPDEST 0000131f: POP 00001320: POP 00001321: JUMP 00001322: JUMPDEST 00001323: PUSH1 0x00 00001325: PUSH1 0x02 00001327: PUSH1 0x00 00001329: DUP5 0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133f: AND 00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001355: AND 00001356: DUP2 00001357: MSTORE 00001358: PUSH1 0x20 0000135a: ADD 0000135b: SWAP1 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x20 00001360: ADD 00001361: PUSH1 0x00 00001363: KECCAK256 00001364: PUSH1 0x00 00001366: DUP4 00001367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137c: AND 0000137d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001392: AND 00001393: DUP2 00001394: MSTORE 00001395: PUSH1 0x20 00001397: ADD 00001398: SWAP1 00001399: DUP2 0000139a: MSTORE 0000139b: PUSH1 0x20 0000139d: ADD 0000139e: PUSH1 0x00 000013a0: KECCAK256 000013a1: SLOAD 000013a2: SWAP1 000013a3: POP 000013a4: SWAP3 000013a5: SWAP2 000013a6: POP 000013a7: POP 000013a8: JUMP 000013a9: JUMPDEST 000013aa: PUSH1 0x40 000013ac: MLOAD 000013ad: DUP1 000013ae: DUP1 000013af: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000 000013d0: DUP2 000013d1: MSTORE 000013d2: POP 000013d3: PUSH1 0x0b 000013d5: ADD 000013d6: SWAP1 000013d7: POP 000013d8: PUSH1 0x40 000013da: MLOAD 000013db: DUP1 000013dc: SWAP2 000013dd: SUB 000013de: SWAP1 000013df: KECCAK256 000013e0: DUP2 000013e1: JUMP 000013e2: JUMPDEST 000013e3: PUSH1 0x00 000013e5: CALLER 000013e6: SWAP1 000013e7: POP 000013e8: SWAP1 000013e9: JUMP 000013ea: JUMPDEST 000013eb: PUSH1 0x00 000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001402: AND 00001403: DUP4 00001404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001419: AND 0000141a: EQ 0000141b: ISZERO 0000141c: PUSH2 0x1470 0000141f: JUMPI 00001420: PUSH1 0x40 00001422: MLOAD 00001423: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001444: DUP2 00001445: MSTORE 00001446: PUSH1 0x04 00001448: ADD 00001449: DUP1 0000144a: DUP1 0000144b: PUSH1 0x20 0000144d: ADD 0000144e: DUP3 0000144f: DUP2 00001450: SUB 00001451: DUP3 00001452: MSTORE 00001453: PUSH1 0x24 00001455: DUP2 00001456: MSTORE 00001457: PUSH1 0x20 00001459: ADD 0000145a: DUP1 0000145b: PUSH2 0x273f 0000145e: PUSH1 0x24 00001460: SWAP2 00001461: CODECOPY 00001462: PUSH1 0x40 00001464: ADD 00001465: SWAP2 00001466: POP 00001467: POP 00001468: PUSH1 0x40 0000146a: MLOAD 0000146b: DUP1 0000146c: SWAP2 0000146d: SUB 0000146e: SWAP1 0000146f: REVERT 00001470: JUMPDEST 00001471: PUSH1 0x00 00001473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001488: AND 00001489: DUP3 0000148a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149f: AND 000014a0: EQ 000014a1: ISZERO 000014a2: PUSH2 0x14f6 000014a5: JUMPI 000014a6: PUSH1 0x40 000014a8: MLOAD 000014a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014ca: DUP2 000014cb: MSTORE 000014cc: PUSH1 0x04 000014ce: ADD 000014cf: DUP1 000014d0: DUP1 000014d1: PUSH1 0x20 000014d3: ADD 000014d4: DUP3 000014d5: DUP2 000014d6: SUB 000014d7: DUP3 000014d8: MSTORE 000014d9: PUSH1 0x22 000014db: DUP2 000014dc: MSTORE 000014dd: PUSH1 0x20 000014df: ADD 000014e0: DUP1 000014e1: PUSH2 0x25bf 000014e4: PUSH1 0x22 000014e6: SWAP2 000014e7: CODECOPY 000014e8: PUSH1 0x40 000014ea: ADD 000014eb: SWAP2 000014ec: POP 000014ed: POP 000014ee: PUSH1 0x40 000014f0: MLOAD 000014f1: DUP1 000014f2: SWAP2 000014f3: SUB 000014f4: SWAP1 000014f5: REVERT 000014f6: JUMPDEST 000014f7: DUP1 000014f8: PUSH1 0x02 000014fa: PUSH1 0x00 000014fc: DUP6 000014fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001512: AND 00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001528: AND 00001529: DUP2 0000152a: MSTORE 0000152b: PUSH1 0x20 0000152d: ADD 0000152e: SWAP1 0000152f: DUP2 00001530: MSTORE 00001531: PUSH1 0x20 00001533: ADD 00001534: PUSH1 0x00 00001536: KECCAK256 00001537: PUSH1 0x00 00001539: DUP5 0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154f: AND 00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001565: AND 00001566: DUP2 00001567: MSTORE 00001568: PUSH1 0x20 0000156a: ADD 0000156b: SWAP1 0000156c: DUP2 0000156d: MSTORE 0000156e: PUSH1 0x20 00001570: ADD 00001571: PUSH1 0x00 00001573: KECCAK256 00001574: DUP2 00001575: SWAP1 00001576: SSTORE 00001577: POP 00001578: DUP2 00001579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158e: AND 0000158f: DUP4 00001590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a5: AND 000015a6: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000015c7: DUP4 000015c8: PUSH1 0x40 000015ca: MLOAD 000015cb: DUP1 000015cc: DUP3 000015cd: DUP2 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: ADD 000015d2: SWAP2 000015d3: POP 000015d4: POP 000015d5: PUSH1 0x40 000015d7: MLOAD 000015d8: DUP1 000015d9: SWAP2 000015da: SUB 000015db: SWAP1 000015dc: LOG3 000015dd: POP 000015de: POP 000015df: POP 000015e0: JUMP 000015e1: JUMPDEST 000015e2: PUSH1 0x00 000015e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f9: AND 000015fa: DUP4 000015fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001610: AND 00001611: EQ 00001612: ISZERO 00001613: PUSH2 0x1667 00001616: JUMPI 00001617: PUSH1 0x40 00001619: MLOAD 0000161a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000163b: DUP2 0000163c: MSTORE 0000163d: PUSH1 0x04 0000163f: ADD 00001640: DUP1 00001641: DUP1 00001642: PUSH1 0x20 00001644: ADD 00001645: DUP3 00001646: DUP2 00001647: SUB 00001648: DUP3 00001649: MSTORE 0000164a: PUSH1 0x25 0000164c: DUP2 0000164d: MSTORE 0000164e: PUSH1 0x20 00001650: ADD 00001651: DUP1 00001652: PUSH2 0x26f1 00001655: PUSH1 0x25 00001657: SWAP2 00001658: CODECOPY 00001659: PUSH1 0x40 0000165b: ADD 0000165c: SWAP2 0000165d: POP 0000165e: POP 0000165f: PUSH1 0x40 00001661: MLOAD 00001662: DUP1 00001663: SWAP2 00001664: SUB 00001665: SWAP1 00001666: REVERT 00001667: JUMPDEST 00001668: PUSH1 0x00 0000166a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167f: AND 00001680: DUP3 00001681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001696: AND 00001697: EQ 00001698: ISZERO 00001699: PUSH2 0x16ed 0000169c: JUMPI 0000169d: PUSH1 0x40 0000169f: MLOAD 000016a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016c1: DUP2 000016c2: MSTORE 000016c3: PUSH1 0x04 000016c5: ADD 000016c6: DUP1 000016c7: DUP1 000016c8: PUSH1 0x20 000016ca: ADD 000016cb: DUP3 000016cc: DUP2 000016cd: SUB 000016ce: DUP3 000016cf: MSTORE 000016d0: PUSH1 0x23 000016d2: DUP2 000016d3: MSTORE 000016d4: PUSH1 0x20 000016d6: ADD 000016d7: DUP1 000016d8: PUSH2 0x254b 000016db: PUSH1 0x23 000016dd: SWAP2 000016de: CODECOPY 000016df: PUSH1 0x40 000016e1: ADD 000016e2: SWAP2 000016e3: POP 000016e4: POP 000016e5: PUSH1 0x40 000016e7: MLOAD 000016e8: DUP1 000016e9: SWAP2 000016ea: SUB 000016eb: SWAP1 000016ec: REVERT 000016ed: JUMPDEST 000016ee: PUSH2 0x16f8 000016f1: DUP4 000016f2: DUP4 000016f3: DUP4 000016f4: PUSH2 0x2115 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH2 0x1764 000016fc: DUP2 000016fd: PUSH1 0x40 000016ff: MLOAD 00001700: DUP1 00001701: PUSH1 0x60 00001703: ADD 00001704: PUSH1 0x40 00001706: MSTORE 00001707: DUP1 00001708: PUSH1 0x26 0000170a: DUP2 0000170b: MSTORE 0000170c: PUSH1 0x20 0000170e: ADD 0000170f: PUSH2 0x2608 00001712: PUSH1 0x26 00001714: SWAP2 00001715: CODECOPY 00001716: PUSH1 0x01 00001718: PUSH1 0x00 0000171a: DUP8 0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001730: AND 00001731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001746: AND 00001747: DUP2 00001748: MSTORE 00001749: PUSH1 0x20 0000174b: ADD 0000174c: SWAP1 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x20 00001751: ADD 00001752: PUSH1 0x00 00001754: KECCAK256 00001755: SLOAD 00001756: PUSH2 0x18a6 00001759: SWAP1 0000175a: SWAP3 0000175b: SWAP2 0000175c: SWAP1 0000175d: PUSH4 0xffffffff 00001762: AND 00001763: JUMP 00001764: JUMPDEST 00001765: PUSH1 0x01 00001767: PUSH1 0x00 00001769: DUP6 0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177f: AND 00001780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001795: AND 00001796: DUP2 00001797: MSTORE 00001798: PUSH1 0x20 0000179a: ADD 0000179b: SWAP1 0000179c: DUP2 0000179d: MSTORE 0000179e: PUSH1 0x20 000017a0: ADD 000017a1: PUSH1 0x00 000017a3: KECCAK256 000017a4: DUP2 000017a5: SWAP1 000017a6: SSTORE 000017a7: POP 000017a8: PUSH2 0x17f9 000017ab: DUP2 000017ac: PUSH1 0x01 000017ae: PUSH1 0x00 000017b0: DUP6 000017b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c6: AND 000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017dc: AND 000017dd: DUP2 000017de: MSTORE 000017df: PUSH1 0x20 000017e1: ADD 000017e2: SWAP1 000017e3: DUP2 000017e4: MSTORE 000017e5: PUSH1 0x20 000017e7: ADD 000017e8: PUSH1 0x00 000017ea: KECCAK256 000017eb: SLOAD 000017ec: PUSH2 0x1a8c 000017ef: SWAP1 000017f0: SWAP2 000017f1: SWAP1 000017f2: PUSH4 0xffffffff 000017f7: AND 000017f8: JUMP 000017f9: JUMPDEST 000017fa: PUSH1 0x01 000017fc: PUSH1 0x00 000017fe: DUP5 000017ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001814: AND 00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182a: AND 0000182b: DUP2 0000182c: MSTORE 0000182d: PUSH1 0x20 0000182f: ADD 00001830: SWAP1 00001831: DUP2 00001832: MSTORE 00001833: PUSH1 0x20 00001835: ADD 00001836: PUSH1 0x00 00001838: KECCAK256 00001839: DUP2 0000183a: SWAP1 0000183b: SSTORE 0000183c: POP 0000183d: DUP2 0000183e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001853: AND 00001854: DUP4 00001855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186a: AND 0000186b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000188c: DUP4 0000188d: PUSH1 0x40 0000188f: MLOAD 00001890: DUP1 00001891: DUP3 00001892: DUP2 00001893: MSTORE 00001894: PUSH1 0x20 00001896: ADD 00001897: SWAP2 00001898: POP 00001899: POP 0000189a: PUSH1 0x40 0000189c: MLOAD 0000189d: DUP1 0000189e: SWAP2 0000189f: SUB 000018a0: SWAP1 000018a1: LOG3 000018a2: POP 000018a3: POP 000018a4: POP 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH1 0x00 000018a9: DUP4 000018aa: DUP4 000018ab: GT 000018ac: ISZERO 000018ad: DUP3 000018ae: SWAP1 000018af: PUSH2 0x1953 000018b2: JUMPI 000018b3: PUSH1 0x40 000018b5: MLOAD 000018b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018d7: DUP2 000018d8: MSTORE 000018d9: PUSH1 0x04 000018db: ADD 000018dc: DUP1 000018dd: DUP1 000018de: PUSH1 0x20 000018e0: ADD 000018e1: DUP3 000018e2: DUP2 000018e3: SUB 000018e4: DUP3 000018e5: MSTORE 000018e6: DUP4 000018e7: DUP2 000018e8: DUP2 000018e9: MLOAD 000018ea: DUP2 000018eb: MSTORE 000018ec: PUSH1 0x20 000018ee: ADD 000018ef: SWAP2 000018f0: POP 000018f1: DUP1 000018f2: MLOAD 000018f3: SWAP1 000018f4: PUSH1 0x20 000018f6: ADD 000018f7: SWAP1 000018f8: DUP1 000018f9: DUP4 000018fa: DUP4 000018fb: PUSH1 0x00 000018fd: JUMPDEST 000018fe: DUP4 000018ff: DUP2 00001900: LT 00001901: ISZERO 00001902: PUSH2 0x1918 00001905: JUMPI 00001906: DUP1 00001907: DUP3 00001908: ADD 00001909: MLOAD 0000190a: DUP2 0000190b: DUP5 0000190c: ADD 0000190d: MSTORE 0000190e: PUSH1 0x20 00001910: DUP2 00001911: ADD 00001912: SWAP1 00001913: POP 00001914: PUSH2 0x18fd 00001917: JUMP 00001918: JUMPDEST 00001919: POP 0000191a: POP 0000191b: POP 0000191c: POP 0000191d: SWAP1 0000191e: POP 0000191f: SWAP1 00001920: DUP2 00001921: ADD 00001922: SWAP1 00001923: PUSH1 0x1f 00001925: AND 00001926: DUP1 00001927: ISZERO 00001928: PUSH2 0x1945 0000192b: JUMPI 0000192c: DUP1 0000192d: DUP3 0000192e: SUB 0000192f: DUP1 00001930: MLOAD 00001931: PUSH1 0x01 00001933: DUP4 00001934: PUSH1 0x20 00001936: SUB 00001937: PUSH2 0x0100 0000193a: EXP 0000193b: SUB 0000193c: NOT 0000193d: AND 0000193e: DUP2 0000193f: MSTORE 00001940: PUSH1 0x20 00001942: ADD 00001943: SWAP2 00001944: POP 00001945: JUMPDEST 00001946: POP 00001947: SWAP3 00001948: POP 00001949: POP 0000194a: POP 0000194b: PUSH1 0x40 0000194d: MLOAD 0000194e: DUP1 0000194f: SWAP2 00001950: SUB 00001951: SWAP1 00001952: REVERT 00001953: JUMPDEST 00001954: POP 00001955: PUSH1 0x00 00001957: DUP4 00001958: DUP6 00001959: SUB 0000195a: SWAP1 0000195b: POP 0000195c: DUP1 0000195d: SWAP2 0000195e: POP 0000195f: POP 00001960: SWAP4 00001961: SWAP3 00001962: POP 00001963: POP 00001964: POP 00001965: JUMP 00001966: JUMPDEST 00001967: PUSH2 0x198d 0000196a: DUP2 0000196b: PUSH1 0x00 0000196d: DUP1 0000196e: DUP6 0000196f: DUP2 00001970: MSTORE 00001971: PUSH1 0x20 00001973: ADD 00001974: SWAP1 00001975: DUP2 00001976: MSTORE 00001977: PUSH1 0x20 00001979: ADD 0000197a: PUSH1 0x00 0000197c: KECCAK256 0000197d: PUSH1 0x00 0000197f: ADD 00001980: PUSH2 0x2125 00001983: SWAP1 00001984: SWAP2 00001985: SWAP1 00001986: PUSH4 0xffffffff 0000198b: AND 0000198c: JUMP 0000198d: JUMPDEST 0000198e: ISZERO 0000198f: PUSH2 0x19f5 00001992: JUMPI 00001993: PUSH2 0x199a 00001996: PUSH2 0x13e2 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b0: AND 000019b1: DUP2 000019b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c7: AND 000019c8: DUP4 000019c9: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 000019ea: PUSH1 0x40 000019ec: MLOAD 000019ed: PUSH1 0x40 000019ef: MLOAD 000019f0: DUP1 000019f1: SWAP2 000019f2: SUB 000019f3: SWAP1 000019f4: LOG4 000019f5: JUMPDEST 000019f6: POP 000019f7: POP 000019f8: JUMP 000019f9: JUMPDEST 000019fa: PUSH2 0x1a20 000019fd: DUP2 000019fe: PUSH1 0x00 00001a00: DUP1 00001a01: DUP6 00001a02: DUP2 00001a03: MSTORE 00001a04: PUSH1 0x20 00001a06: ADD 00001a07: SWAP1 00001a08: DUP2 00001a09: MSTORE 00001a0a: PUSH1 0x20 00001a0c: ADD 00001a0d: PUSH1 0x00 00001a0f: KECCAK256 00001a10: PUSH1 0x00 00001a12: ADD 00001a13: PUSH2 0x2155 00001a16: SWAP1 00001a17: SWAP2 00001a18: SWAP1 00001a19: PUSH4 0xffffffff 00001a1e: AND 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: ISZERO 00001a22: PUSH2 0x1a88 00001a25: JUMPI 00001a26: PUSH2 0x1a2d 00001a29: PUSH2 0x13e2 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a43: AND 00001a44: DUP2 00001a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5a: AND 00001a5b: DUP4 00001a5c: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001a7d: PUSH1 0x40 00001a7f: MLOAD 00001a80: PUSH1 0x40 00001a82: MLOAD 00001a83: DUP1 00001a84: SWAP2 00001a85: SUB 00001a86: SWAP1 00001a87: LOG4 00001a88: JUMPDEST 00001a89: POP 00001a8a: POP 00001a8b: JUMP 00001a8c: JUMPDEST 00001a8d: PUSH1 0x00 00001a8f: DUP1 00001a90: DUP3 00001a91: DUP5 00001a92: ADD 00001a93: SWAP1 00001a94: POP 00001a95: DUP4 00001a96: DUP2 00001a97: LT 00001a98: ISZERO 00001a99: PUSH2 0x1b0a 00001a9c: JUMPI 00001a9d: PUSH1 0x40 00001a9f: MLOAD 00001aa0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ac1: DUP2 00001ac2: MSTORE 00001ac3: PUSH1 0x04 00001ac5: ADD 00001ac6: DUP1 00001ac7: DUP1 00001ac8: PUSH1 0x20 00001aca: ADD 00001acb: DUP3 00001acc: DUP2 00001acd: SUB 00001ace: DUP3 00001acf: MSTORE 00001ad0: PUSH1 0x1b 00001ad2: DUP2 00001ad3: MSTORE 00001ad4: PUSH1 0x20 00001ad6: ADD 00001ad7: DUP1 00001ad8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001af9: DUP2 00001afa: MSTORE 00001afb: POP 00001afc: PUSH1 0x20 00001afe: ADD 00001aff: SWAP2 00001b00: POP 00001b01: POP 00001b02: PUSH1 0x40 00001b04: MLOAD 00001b05: DUP1 00001b06: SWAP2 00001b07: SUB 00001b08: SWAP1 00001b09: REVERT 00001b0a: JUMPDEST 00001b0b: DUP1 00001b0c: SWAP2 00001b0d: POP 00001b0e: POP 00001b0f: SWAP3 00001b10: SWAP2 00001b11: POP 00001b12: POP 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH1 0x06 00001b17: PUSH1 0x01 00001b19: SWAP1 00001b1a: SLOAD 00001b1b: SWAP1 00001b1c: PUSH2 0x0100 00001b1f: EXP 00001b20: SWAP1 00001b21: DIV 00001b22: PUSH1 0xff 00001b24: AND 00001b25: PUSH2 0x1b96 00001b28: JUMPI 00001b29: PUSH1 0x40 00001b2b: MLOAD 00001b2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b4d: DUP2 00001b4e: MSTORE 00001b4f: PUSH1 0x04 00001b51: ADD 00001b52: DUP1 00001b53: DUP1 00001b54: PUSH1 0x20 00001b56: ADD 00001b57: DUP3 00001b58: DUP2 00001b59: SUB 00001b5a: DUP3 00001b5b: MSTORE 00001b5c: PUSH1 0x14 00001b5e: DUP2 00001b5f: MSTORE 00001b60: PUSH1 0x20 00001b62: ADD 00001b63: DUP1 00001b64: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00001b85: DUP2 00001b86: MSTORE 00001b87: POP 00001b88: PUSH1 0x20 00001b8a: ADD 00001b8b: SWAP2 00001b8c: POP 00001b8d: POP 00001b8e: PUSH1 0x40 00001b90: MLOAD 00001b91: DUP1 00001b92: SWAP2 00001b93: SUB 00001b94: SWAP1 00001b95: REVERT 00001b96: JUMPDEST 00001b97: PUSH1 0x00 00001b99: PUSH1 0x06 00001b9b: PUSH1 0x01 00001b9d: PUSH2 0x0100 00001ba0: EXP 00001ba1: DUP2 00001ba2: SLOAD 00001ba3: DUP2 00001ba4: PUSH1 0xff 00001ba6: MUL 00001ba7: NOT 00001ba8: AND 00001ba9: SWAP1 00001baa: DUP4 00001bab: ISZERO 00001bac: ISZERO 00001bad: MUL 00001bae: OR 00001baf: SWAP1 00001bb0: SSTORE 00001bb1: POP 00001bb2: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001bd3: PUSH2 0x1bda 00001bd6: PUSH2 0x13e2 00001bd9: JUMP 00001bda: JUMPDEST 00001bdb: PUSH1 0x40 00001bdd: MLOAD 00001bde: DUP1 00001bdf: DUP3 00001be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf5: AND 00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0b: AND 00001c0c: DUP2 00001c0d: MSTORE 00001c0e: PUSH1 0x20 00001c10: ADD 00001c11: SWAP2 00001c12: POP 00001c13: POP 00001c14: PUSH1 0x40 00001c16: MLOAD 00001c17: DUP1 00001c18: SWAP2 00001c19: SUB 00001c1a: SWAP1 00001c1b: LOG1 00001c1c: JUMP 00001c1d: JUMPDEST 00001c1e: PUSH1 0x00 00001c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c35: AND 00001c36: DUP3 00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4c: AND 00001c4d: EQ 00001c4e: ISZERO 00001c4f: PUSH2 0x1cc0 00001c52: JUMPI 00001c53: PUSH1 0x40 00001c55: MLOAD 00001c56: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c77: DUP2 00001c78: MSTORE 00001c79: PUSH1 0x04 00001c7b: ADD 00001c7c: DUP1 00001c7d: DUP1 00001c7e: PUSH1 0x20 00001c80: ADD 00001c81: DUP3 00001c82: DUP2 00001c83: SUB 00001c84: DUP3 00001c85: MSTORE 00001c86: PUSH1 0x1f 00001c88: DUP2 00001c89: MSTORE 00001c8a: PUSH1 0x20 00001c8c: ADD 00001c8d: DUP1 00001c8e: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00001caf: DUP2 00001cb0: MSTORE 00001cb1: POP 00001cb2: PUSH1 0x20 00001cb4: ADD 00001cb5: SWAP2 00001cb6: POP 00001cb7: POP 00001cb8: PUSH1 0x40 00001cba: MLOAD 00001cbb: DUP1 00001cbc: SWAP2 00001cbd: SUB 00001cbe: SWAP1 00001cbf: REVERT 00001cc0: JUMPDEST 00001cc1: PUSH2 0x1ccc 00001cc4: PUSH1 0x00 00001cc6: DUP4 00001cc7: DUP4 00001cc8: PUSH2 0x2115 00001ccb: JUMP 00001ccc: JUMPDEST 00001ccd: PUSH2 0x1ce1 00001cd0: DUP2 00001cd1: PUSH1 0x03 00001cd3: SLOAD 00001cd4: PUSH2 0x1a8c 00001cd7: SWAP1 00001cd8: SWAP2 00001cd9: SWAP1 00001cda: PUSH4 0xffffffff 00001cdf: AND 00001ce0: JUMP 00001ce1: JUMPDEST 00001ce2: PUSH1 0x03 00001ce4: DUP2 00001ce5: SWAP1 00001ce6: SSTORE 00001ce7: POP 00001ce8: PUSH2 0x1d39 00001ceb: DUP2 00001cec: PUSH1 0x01 00001cee: PUSH1 0x00 00001cf0: DUP6 00001cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d06: AND 00001d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d1c: AND 00001d1d: DUP2 00001d1e: MSTORE 00001d1f: PUSH1 0x20 00001d21: ADD 00001d22: SWAP1 00001d23: DUP2 00001d24: MSTORE 00001d25: PUSH1 0x20 00001d27: ADD 00001d28: PUSH1 0x00 00001d2a: KECCAK256 00001d2b: SLOAD 00001d2c: PUSH2 0x1a8c 00001d2f: SWAP1 00001d30: SWAP2 00001d31: SWAP1 00001d32: PUSH4 0xffffffff 00001d37: AND 00001d38: JUMP 00001d39: JUMPDEST 00001d3a: PUSH1 0x01 00001d3c: PUSH1 0x00 00001d3e: DUP5 00001d3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d54: AND 00001d55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d6a: AND 00001d6b: DUP2 00001d6c: MSTORE 00001d6d: PUSH1 0x20 00001d6f: ADD 00001d70: SWAP1 00001d71: DUP2 00001d72: MSTORE 00001d73: PUSH1 0x20 00001d75: ADD 00001d76: PUSH1 0x00 00001d78: KECCAK256 00001d79: DUP2 00001d7a: SWAP1 00001d7b: SSTORE 00001d7c: POP 00001d7d: DUP2 00001d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d93: AND 00001d94: PUSH1 0x00 00001d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dab: AND 00001dac: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001dcd: DUP4 00001dce: PUSH1 0x40 00001dd0: MLOAD 00001dd1: DUP1 00001dd2: DUP3 00001dd3: DUP2 00001dd4: MSTORE 00001dd5: PUSH1 0x20 00001dd7: ADD 00001dd8: SWAP2 00001dd9: POP 00001dda: POP 00001ddb: PUSH1 0x40 00001ddd: MLOAD 00001dde: DUP1 00001ddf: SWAP2 00001de0: SUB 00001de1: SWAP1 00001de2: LOG3 00001de3: POP 00001de4: POP 00001de5: JUMP 00001de6: JUMPDEST 00001de7: PUSH1 0x00 00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dfe: AND 00001dff: DUP3 00001e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e15: AND 00001e16: EQ 00001e17: ISZERO 00001e18: PUSH2 0x1e6c 00001e1b: JUMPI 00001e1c: PUSH1 0x40 00001e1e: MLOAD 00001e1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e40: DUP2 00001e41: MSTORE 00001e42: PUSH1 0x04 00001e44: ADD 00001e45: DUP1 00001e46: DUP1 00001e47: PUSH1 0x20 00001e49: ADD 00001e4a: DUP3 00001e4b: DUP2 00001e4c: SUB 00001e4d: DUP3 00001e4e: MSTORE 00001e4f: PUSH1 0x21 00001e51: DUP2 00001e52: MSTORE 00001e53: PUSH1 0x20 00001e55: ADD 00001e56: DUP1 00001e57: PUSH2 0x26d0 00001e5a: PUSH1 0x21 00001e5c: SWAP2 00001e5d: CODECOPY 00001e5e: PUSH1 0x40 00001e60: ADD 00001e61: SWAP2 00001e62: POP 00001e63: POP 00001e64: PUSH1 0x40 00001e66: MLOAD 00001e67: DUP1 00001e68: SWAP2 00001e69: SUB 00001e6a: SWAP1 00001e6b: REVERT 00001e6c: JUMPDEST 00001e6d: PUSH2 0x1e78 00001e70: DUP3 00001e71: PUSH1 0x00 00001e73: DUP4 00001e74: PUSH2 0x2115 00001e77: JUMP 00001e78: JUMPDEST 00001e79: PUSH2 0x1ee4 00001e7c: DUP2 00001e7d: PUSH1 0x40 00001e7f: MLOAD 00001e80: DUP1 00001e81: PUSH1 0x60 00001e83: ADD 00001e84: PUSH1 0x40 00001e86: MSTORE 00001e87: DUP1 00001e88: PUSH1 0x22 00001e8a: DUP2 00001e8b: MSTORE 00001e8c: PUSH1 0x20 00001e8e: ADD 00001e8f: PUSH2 0x259d 00001e92: PUSH1 0x22 00001e94: SWAP2 00001e95: CODECOPY 00001e96: PUSH1 0x01 00001e98: PUSH1 0x00 00001e9a: DUP7 00001e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb0: AND 00001eb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec6: AND 00001ec7: DUP2 00001ec8: MSTORE 00001ec9: PUSH1 0x20 00001ecb: ADD 00001ecc: SWAP1 00001ecd: DUP2 00001ece: MSTORE 00001ecf: PUSH1 0x20 00001ed1: ADD 00001ed2: PUSH1 0x00 00001ed4: KECCAK256 00001ed5: SLOAD 00001ed6: PUSH2 0x18a6 00001ed9: SWAP1 00001eda: SWAP3 00001edb: SWAP2 00001edc: SWAP1 00001edd: PUSH4 0xffffffff 00001ee2: AND 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: PUSH1 0x01 00001ee7: PUSH1 0x00 00001ee9: DUP5 00001eea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eff: AND 00001f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f15: AND 00001f16: DUP2 00001f17: MSTORE 00001f18: PUSH1 0x20 00001f1a: ADD 00001f1b: SWAP1 00001f1c: DUP2 00001f1d: MSTORE 00001f1e: PUSH1 0x20 00001f20: ADD 00001f21: PUSH1 0x00 00001f23: KECCAK256 00001f24: DUP2 00001f25: SWAP1 00001f26: SSTORE 00001f27: POP 00001f28: PUSH2 0x1f3c 00001f2b: DUP2 00001f2c: PUSH1 0x03 00001f2e: SLOAD 00001f2f: PUSH2 0x2185 00001f32: SWAP1 00001f33: SWAP2 00001f34: SWAP1 00001f35: PUSH4 0xffffffff 00001f3a: AND 00001f3b: JUMP 00001f3c: JUMPDEST 00001f3d: PUSH1 0x03 00001f3f: DUP2 00001f40: SWAP1 00001f41: SSTORE 00001f42: POP 00001f43: PUSH1 0x00 00001f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f5a: AND 00001f5b: DUP3 00001f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f71: AND 00001f72: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001f93: DUP4 00001f94: PUSH1 0x40 00001f96: MLOAD 00001f97: DUP1 00001f98: DUP3 00001f99: DUP2 00001f9a: MSTORE 00001f9b: PUSH1 0x20 00001f9d: ADD 00001f9e: SWAP2 00001f9f: POP 00001fa0: POP 00001fa1: PUSH1 0x40 00001fa3: MLOAD 00001fa4: DUP1 00001fa5: SWAP2 00001fa6: SUB 00001fa7: SWAP1 00001fa8: LOG3 00001fa9: POP 00001faa: POP 00001fab: JUMP 00001fac: JUMPDEST 00001fad: PUSH1 0x06 00001faf: PUSH1 0x01 00001fb1: SWAP1 00001fb2: SLOAD 00001fb3: SWAP1 00001fb4: PUSH2 0x0100 00001fb7: EXP 00001fb8: SWAP1 00001fb9: DIV 00001fba: PUSH1 0xff 00001fbc: AND 00001fbd: ISZERO 00001fbe: PUSH2 0x202f 00001fc1: JUMPI 00001fc2: PUSH1 0x40 00001fc4: MLOAD 00001fc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001fe6: DUP2 00001fe7: MSTORE 00001fe8: PUSH1 0x04 00001fea: ADD 00001feb: DUP1 00001fec: DUP1 00001fed: PUSH1 0x20 00001fef: ADD 00001ff0: DUP3 00001ff1: DUP2 00001ff2: SUB 00001ff3: DUP3 00001ff4: MSTORE 00001ff5: PUSH1 0x10 00001ff7: DUP2 00001ff8: MSTORE 00001ff9: PUSH1 0x20 00001ffb: ADD 00001ffc: DUP1 00001ffd: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 0000201e: DUP2 0000201f: MSTORE 00002020: POP 00002021: PUSH1 0x20 00002023: ADD 00002024: SWAP2 00002025: POP 00002026: POP 00002027: PUSH1 0x40 00002029: MLOAD 0000202a: DUP1 0000202b: SWAP2 0000202c: SUB 0000202d: SWAP1 0000202e: REVERT 0000202f: JUMPDEST 00002030: PUSH1 0x01 00002032: PUSH1 0x06 00002034: PUSH1 0x01 00002036: PUSH2 0x0100 00002039: EXP 0000203a: DUP2 0000203b: SLOAD 0000203c: DUP2 0000203d: PUSH1 0xff 0000203f: MUL 00002040: NOT 00002041: AND 00002042: SWAP1 00002043: DUP4 00002044: ISZERO 00002045: ISZERO 00002046: MUL 00002047: OR 00002048: SWAP1 00002049: SSTORE 0000204a: POP 0000204b: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000206c: PUSH2 0x2073 0000206f: PUSH2 0x13e2 00002072: JUMP 00002073: JUMPDEST 00002074: PUSH1 0x40 00002076: MLOAD 00002077: DUP1 00002078: DUP3 00002079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208e: AND 0000208f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a4: AND 000020a5: DUP2 000020a6: MSTORE 000020a7: PUSH1 0x20 000020a9: ADD 000020aa: SWAP2 000020ab: POP 000020ac: POP 000020ad: PUSH1 0x40 000020af: MLOAD 000020b0: DUP1 000020b1: SWAP2 000020b2: SUB 000020b3: SWAP1 000020b4: LOG1 000020b5: JUMP 000020b6: JUMPDEST 000020b7: PUSH1 0x00 000020b9: PUSH2 0x20c5 000020bc: DUP4 000020bd: PUSH1 0x00 000020bf: ADD 000020c0: DUP4 000020c1: PUSH2 0x21cf 000020c4: JUMP 000020c5: JUMPDEST 000020c6: PUSH1 0x00 000020c8: SHR 000020c9: SWAP1 000020ca: POP 000020cb: SWAP3 000020cc: SWAP2 000020cd: POP 000020ce: POP 000020cf: JUMP 000020d0: JUMPDEST 000020d1: PUSH1 0x00 000020d3: PUSH2 0x20f8 000020d6: DUP4 000020d7: PUSH1 0x00 000020d9: ADD 000020da: DUP4 000020db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020f0: AND 000020f1: PUSH1 0x00 000020f3: SHL 000020f4: PUSH2 0x2252 000020f7: JUMP 000020f8: JUMPDEST 000020f9: SWAP1 000020fa: POP 000020fb: SWAP3 000020fc: SWAP2 000020fd: POP 000020fe: POP 000020ff: JUMP 00002100: JUMPDEST 00002101: PUSH1 0x00 00002103: PUSH2 0x210e 00002106: DUP3 00002107: PUSH1 0x00 00002109: ADD 0000210a: PUSH2 0x2275 0000210d: JUMP 0000210e: JUMPDEST 0000210f: SWAP1 00002110: POP 00002111: SWAP2 00002112: SWAP1 00002113: POP 00002114: JUMP 00002115: JUMPDEST 00002116: PUSH2 0x2120 00002119: DUP4 0000211a: DUP4 0000211b: DUP4 0000211c: PUSH2 0x2286 0000211f: JUMP 00002120: JUMPDEST 00002121: POP 00002122: POP 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: PUSH1 0x00 00002128: PUSH2 0x214d 0000212b: DUP4 0000212c: PUSH1 0x00 0000212e: ADD 0000212f: DUP4 00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002145: AND 00002146: PUSH1 0x00 00002148: SHL 00002149: PUSH2 0x235d 0000214c: JUMP 0000214d: JUMPDEST 0000214e: SWAP1 0000214f: POP 00002150: SWAP3 00002151: SWAP2 00002152: POP 00002153: POP 00002154: JUMP 00002155: JUMPDEST 00002156: PUSH1 0x00 00002158: PUSH2 0x217d 0000215b: DUP4 0000215c: PUSH1 0x00 0000215e: ADD 0000215f: DUP4 00002160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002175: AND 00002176: PUSH1 0x00 00002178: SHL 00002179: PUSH2 0x23cd 0000217c: JUMP 0000217d: JUMPDEST 0000217e: SWAP1 0000217f: POP 00002180: SWAP3 00002181: SWAP2 00002182: POP 00002183: POP 00002184: JUMP 00002185: JUMPDEST 00002186: PUSH1 0x00 00002188: PUSH2 0x21c7 0000218b: DUP4 0000218c: DUP4 0000218d: PUSH1 0x40 0000218f: MLOAD 00002190: DUP1 00002191: PUSH1 0x40 00002193: ADD 00002194: PUSH1 0x40 00002196: MSTORE 00002197: DUP1 00002198: PUSH1 0x1e 0000219a: DUP2 0000219b: MSTORE 0000219c: PUSH1 0x20 0000219e: ADD 0000219f: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000021c0: DUP2 000021c1: MSTORE 000021c2: POP 000021c3: PUSH2 0x18a6 000021c6: JUMP 000021c7: JUMPDEST 000021c8: SWAP1 000021c9: POP 000021ca: SWAP3 000021cb: SWAP2 000021cc: POP 000021cd: POP 000021ce: JUMP 000021cf: JUMPDEST 000021d0: PUSH1 0x00 000021d2: DUP2 000021d3: DUP4 000021d4: PUSH1 0x00 000021d6: ADD 000021d7: DUP1 000021d8: SLOAD 000021d9: SWAP1 000021da: POP 000021db: GT 000021dc: PUSH2 0x2230 000021df: JUMPI 000021e0: PUSH1 0x40 000021e2: MLOAD 000021e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002204: DUP2 00002205: MSTORE 00002206: PUSH1 0x04 00002208: ADD 00002209: DUP1 0000220a: DUP1 0000220b: PUSH1 0x20 0000220d: ADD 0000220e: DUP3 0000220f: DUP2 00002210: SUB 00002211: DUP3 00002212: MSTORE 00002213: PUSH1 0x22 00002215: DUP2 00002216: MSTORE 00002217: PUSH1 0x20 00002219: ADD 0000221a: DUP1 0000221b: PUSH2 0x2529 0000221e: PUSH1 0x22 00002220: SWAP2 00002221: CODECOPY 00002222: PUSH1 0x40 00002224: ADD 00002225: SWAP2 00002226: POP 00002227: POP 00002228: PUSH1 0x40 0000222a: MLOAD 0000222b: DUP1 0000222c: SWAP2 0000222d: SUB 0000222e: SWAP1 0000222f: REVERT 00002230: JUMPDEST 00002231: DUP3 00002232: PUSH1 0x00 00002234: ADD 00002235: DUP3 00002236: DUP2 00002237: SLOAD 00002238: DUP2 00002239: LT 0000223a: PUSH2 0x223f 0000223d: JUMPI 0000223e: INVALID 0000223f: JUMPDEST 00002240: SWAP1 00002241: PUSH1 0x00 00002243: MSTORE 00002244: PUSH1 0x20 00002246: PUSH1 0x00 00002248: KECCAK256 00002249: ADD 0000224a: SLOAD 0000224b: SWAP1 0000224c: POP 0000224d: SWAP3 0000224e: SWAP2 0000224f: POP 00002250: POP 00002251: JUMP 00002252: JUMPDEST 00002253: PUSH1 0x00 00002255: DUP1 00002256: DUP4 00002257: PUSH1 0x01 00002259: ADD 0000225a: PUSH1 0x00 0000225c: DUP5 0000225d: DUP2 0000225e: MSTORE 0000225f: PUSH1 0x20 00002261: ADD 00002262: SWAP1 00002263: DUP2 00002264: MSTORE 00002265: PUSH1 0x20 00002267: ADD 00002268: PUSH1 0x00 0000226a: KECCAK256 0000226b: SLOAD 0000226c: EQ 0000226d: ISZERO 0000226e: SWAP1 0000226f: POP 00002270: SWAP3 00002271: SWAP2 00002272: POP 00002273: POP 00002274: JUMP 00002275: JUMPDEST 00002276: PUSH1 0x00 00002278: DUP2 00002279: PUSH1 0x00 0000227b: ADD 0000227c: DUP1 0000227d: SLOAD 0000227e: SWAP1 0000227f: POP 00002280: SWAP1 00002281: POP 00002282: SWAP2 00002283: SWAP1 00002284: POP 00002285: JUMP 00002286: JUMPDEST 00002287: PUSH2 0x2291 0000228a: DUP4 0000228b: DUP4 0000228c: DUP4 0000228d: PUSH2 0x24b5 00002290: JUMP 00002291: JUMPDEST 00002292: PUSH1 0x00 00002294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a9: AND 000022aa: DUP4 000022ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c0: AND 000022c1: EQ 000022c2: ISZERO 000022c3: PUSH2 0x2358 000022c6: JUMPI 000022c7: PUSH1 0x07 000022c9: SLOAD 000022ca: PUSH2 0x22e3 000022cd: DUP3 000022ce: PUSH2 0x22d5 000022d1: PUSH2 0x0a83 000022d4: JUMP 000022d5: JUMPDEST 000022d6: PUSH2 0x1a8c 000022d9: SWAP1 000022da: SWAP2 000022db: SWAP1 000022dc: PUSH4 0xffffffff 000022e1: AND 000022e2: JUMP 000022e3: JUMPDEST 000022e4: GT 000022e5: ISZERO 000022e6: PUSH2 0x2357 000022e9: JUMPI 000022ea: PUSH1 0x40 000022ec: MLOAD 000022ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000230e: DUP2 0000230f: MSTORE 00002310: PUSH1 0x04 00002312: ADD 00002313: DUP1 00002314: DUP1 00002315: PUSH1 0x20 00002317: ADD 00002318: DUP3 00002319: DUP2 0000231a: SUB 0000231b: DUP3 0000231c: MSTORE 0000231d: PUSH1 0x19 0000231f: DUP2 00002320: MSTORE 00002321: PUSH1 0x20 00002323: ADD 00002324: DUP1 00002325: PUSH32 0x45524332304361707065643a2063617020657863656564656400000000000000 00002346: DUP2 00002347: MSTORE 00002348: POP 00002349: PUSH1 0x20 0000234b: ADD 0000234c: SWAP2 0000234d: POP 0000234e: POP 0000234f: PUSH1 0x40 00002351: MLOAD 00002352: DUP1 00002353: SWAP2 00002354: SUB 00002355: SWAP1 00002356: REVERT 00002357: JUMPDEST 00002358: JUMPDEST 00002359: POP 0000235a: POP 0000235b: POP 0000235c: JUMP 0000235d: JUMPDEST 0000235e: PUSH1 0x00 00002360: PUSH2 0x2369 00002363: DUP4 00002364: DUP4 00002365: PUSH2 0x2252 00002368: JUMP 00002369: JUMPDEST 0000236a: PUSH2 0x23c2 0000236d: JUMPI 0000236e: DUP3 0000236f: PUSH1 0x00 00002371: ADD 00002372: DUP3 00002373: SWAP1 00002374: DUP1 00002375: PUSH1 0x01 00002377: DUP2 00002378: SLOAD 00002379: ADD 0000237a: DUP1 0000237b: DUP3 0000237c: SSTORE 0000237d: DUP1 0000237e: SWAP2 0000237f: POP 00002380: POP 00002381: PUSH1 0x01 00002383: SWAP1 00002384: SUB 00002385: SWAP1 00002386: PUSH1 0x00 00002388: MSTORE 00002389: PUSH1 0x20 0000238b: PUSH1 0x00 0000238d: KECCAK256 0000238e: ADD 0000238f: PUSH1 0x00 00002391: SWAP1 00002392: SWAP2 00002393: SWAP1 00002394: SWAP2 00002395: SWAP1 00002396: SWAP2 00002397: POP 00002398: SSTORE 00002399: DUP3 0000239a: PUSH1 0x00 0000239c: ADD 0000239d: DUP1 0000239e: SLOAD 0000239f: SWAP1 000023a0: POP 000023a1: DUP4 000023a2: PUSH1 0x01 000023a4: ADD 000023a5: PUSH1 0x00 000023a7: DUP5 000023a8: DUP2 000023a9: MSTORE 000023aa: PUSH1 0x20 000023ac: ADD 000023ad: SWAP1 000023ae: DUP2 000023af: MSTORE 000023b0: PUSH1 0x20 000023b2: ADD 000023b3: PUSH1 0x00 000023b5: KECCAK256 000023b6: DUP2 000023b7: SWAP1 000023b8: SSTORE 000023b9: POP 000023ba: PUSH1 0x01 000023bc: SWAP1 000023bd: POP 000023be: PUSH2 0x23c7 000023c1: JUMP 000023c2: JUMPDEST 000023c3: PUSH1 0x00 000023c5: SWAP1 000023c6: POP 000023c7: JUMPDEST 000023c8: SWAP3 000023c9: SWAP2 000023ca: POP 000023cb: POP 000023cc: JUMP 000023cd: JUMPDEST 000023ce: PUSH1 0x00 000023d0: DUP1 000023d1: DUP4 000023d2: PUSH1 0x01 000023d4: ADD 000023d5: PUSH1 0x00 000023d7: DUP5 000023d8: DUP2 000023d9: MSTORE 000023da: PUSH1 0x20 000023dc: ADD 000023dd: SWAP1 000023de: DUP2 000023df: MSTORE 000023e0: PUSH1 0x20 000023e2: ADD 000023e3: PUSH1 0x00 000023e5: KECCAK256 000023e6: SLOAD 000023e7: SWAP1 000023e8: POP 000023e9: PUSH1 0x00 000023eb: DUP2 000023ec: EQ 000023ed: PUSH2 0x24a9 000023f0: JUMPI 000023f1: PUSH1 0x00 000023f3: PUSH1 0x01 000023f5: DUP3 000023f6: SUB 000023f7: SWAP1 000023f8: POP 000023f9: PUSH1 0x00 000023fb: PUSH1 0x01 000023fd: DUP7 000023fe: PUSH1 0x00 00002400: ADD 00002401: DUP1 00002402: SLOAD 00002403: SWAP1 00002404: POP 00002405: SUB 00002406: SWAP1 00002407: POP 00002408: PUSH1 0x00 0000240a: DUP7 0000240b: PUSH1 0x00 0000240d: ADD 0000240e: DUP3 0000240f: DUP2 00002410: SLOAD 00002411: DUP2 00002412: LT 00002413: PUSH2 0x2418 00002416: JUMPI 00002417: INVALID 00002418: JUMPDEST 00002419: SWAP1 0000241a: PUSH1 0x00 0000241c: MSTORE 0000241d: PUSH1 0x20 0000241f: PUSH1 0x00 00002421: KECCAK256 00002422: ADD 00002423: SLOAD 00002424: SWAP1 00002425: POP 00002426: DUP1 00002427: DUP8 00002428: PUSH1 0x00 0000242a: ADD 0000242b: DUP5 0000242c: DUP2 0000242d: SLOAD 0000242e: DUP2 0000242f: LT 00002430: PUSH2 0x2435 00002433: JUMPI 00002434: INVALID 00002435: JUMPDEST 00002436: SWAP1 00002437: PUSH1 0x00 00002439: MSTORE 0000243a: PUSH1 0x20 0000243c: PUSH1 0x00 0000243e: KECCAK256 0000243f: ADD 00002440: DUP2 00002441: SWAP1 00002442: SSTORE 00002443: POP 00002444: PUSH1 0x01 00002446: DUP4 00002447: ADD 00002448: DUP8 00002449: PUSH1 0x01 0000244b: ADD 0000244c: PUSH1 0x00 0000244e: DUP4 0000244f: DUP2 00002450: MSTORE 00002451: PUSH1 0x20 00002453: ADD 00002454: SWAP1 00002455: DUP2 00002456: MSTORE 00002457: PUSH1 0x20 00002459: ADD 0000245a: PUSH1 0x00 0000245c: KECCAK256 0000245d: DUP2 0000245e: SWAP1 0000245f: SSTORE 00002460: POP 00002461: DUP7 00002462: PUSH1 0x00 00002464: ADD 00002465: DUP1 00002466: SLOAD 00002467: DUP1 00002468: PUSH2 0x246d 0000246b: JUMPI 0000246c: INVALID 0000246d: JUMPDEST 0000246e: PUSH1 0x01 00002470: SWAP1 00002471: SUB 00002472: DUP2 00002473: DUP2 00002474: SWAP1 00002475: PUSH1 0x00 00002477: MSTORE 00002478: PUSH1 0x20 0000247a: PUSH1 0x00 0000247c: KECCAK256 0000247d: ADD 0000247e: PUSH1 0x00 00002480: SWAP1 00002481: SSTORE 00002482: SWAP1 00002483: SSTORE 00002484: DUP7 00002485: PUSH1 0x01 00002487: ADD 00002488: PUSH1 0x00 0000248a: DUP8 0000248b: DUP2 0000248c: MSTORE 0000248d: PUSH1 0x20 0000248f: ADD 00002490: SWAP1 00002491: DUP2 00002492: MSTORE 00002493: PUSH1 0x20 00002495: ADD 00002496: PUSH1 0x00 00002498: KECCAK256 00002499: PUSH1 0x00 0000249b: SWAP1 0000249c: SSTORE 0000249d: PUSH1 0x01 0000249f: SWAP5 000024a0: POP 000024a1: POP 000024a2: POP 000024a3: POP 000024a4: POP 000024a5: PUSH2 0x24af 000024a8: JUMP 000024a9: JUMPDEST 000024aa: PUSH1 0x00 000024ac: SWAP2 000024ad: POP 000024ae: POP 000024af: JUMPDEST 000024b0: SWAP3 000024b1: SWAP2 000024b2: POP 000024b3: POP 000024b4: JUMP 000024b5: JUMPDEST 000024b6: PUSH2 0x24c0 000024b9: DUP4 000024ba: DUP4 000024bb: DUP4 000024bc: PUSH2 0x2523 000024bf: JUMP 000024c0: JUMPDEST 000024c1: PUSH2 0x24c8 000024c4: PUSH2 0x0edd 000024c7: JUMP 000024c8: JUMPDEST 000024c9: ISZERO 000024ca: PUSH2 0x251e 000024cd: JUMPI 000024ce: PUSH1 0x40 000024d0: MLOAD 000024d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000024f2: DUP2 000024f3: MSTORE 000024f4: PUSH1 0x04 000024f6: ADD 000024f7: DUP1 000024f8: DUP1 000024f9: PUSH1 0x20 000024fb: ADD 000024fc: DUP3 000024fd: DUP2 000024fe: SUB 000024ff: DUP3 00002500: MSTORE 00002501: PUSH1 0x2a 00002503: DUP2 00002504: MSTORE 00002505: PUSH1 0x20 00002507: ADD 00002508: DUP1 00002509: PUSH2 0x27b7 0000250c: PUSH1 0x2a 0000250e: SWAP2 0000250f: CODECOPY 00002510: PUSH1 0x40 00002512: ADD 00002513: SWAP2 00002514: POP 00002515: POP 00002516: PUSH1 0x40 00002518: MLOAD 00002519: DUP1 0000251a: SWAP2 0000251b: SUB 0000251c: SWAP1 0000251d: REVERT 0000251e: JUMPDEST 0000251f: POP 00002520: POP 00002521: POP 00002522: JUMP 00002523: JUMPDEST 00002524: POP 00002525: POP 00002526: POP 00002527: JUMP 00002528: INVALID 00002529: GASLIMIT 0000252a: PUSH15 0x756d657261626c655365743a20696e 0000253a: PUSH5 0x6578206f75 00002540: PUSH21 0x206f6620626f756e647345524332303a207472616e 00002556: PUSH20 0x66657220746f20746865207a65726f2061646472 0000256b: PUSH6 0x737341636365 00002572: PUSH20 0x73436f6e74726f6c3a2073656e646572206d7573 00002587: PUSH21 0x20626520616e2061646d696e20746f206772616e74 0000259d: GASLIMIT 0000259e: MSTORE 0000259f: NUMBER 000025a0: ORIGIN 000025a1: ADDRESS 000025a2: GASPRICE 000025a3: KECCAK256 000025a4: PUSH3 0x75726e 000025a8: KECCAK256 000025a9: PUSH2 0x6d6f 000025ac: PUSH22 0x6e7420657863656564732062616c616e636545524332 000025c3: ADDRESS 000025c4: GASPRICE 000025c5: KECCAK256 000025c6: PUSH2 0x7070 000025c9: PUSH19 0x6f766520746f20746865207a65726f20616464 000025dd: PUSH19 0x6573734d79546f6b656e3a206d757374206861 000025f1: PUSH23 0x652070617573657220726f6c6520746f20706175736545 00002609: MSTORE 0000260a: NUMBER 0000260b: ORIGIN 0000260c: ADDRESS 0000260d: GASPRICE 0000260e: KECCAK256 0000260f: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00002625: PUSH20 0x2062616c616e6365416363657373436f6e74726f 0000263a: PUSH13 0x3a2073656e646572206d757374 00002648: KECCAK256 00002649: PUSH3 0x652061 0000264d: PUSH15 0x2061646d696e20746f207265766f6b 0000265d: PUSH6 0x4d79546f6b65 00002664: PUSH15 0x3a206d7573742068617665206d696e 00002674: PUSH21 0x657220726f6c6520746f206d696e7445524332303a 0000268a: KECCAK256 0000268b: PUSH21 0x72616e7366657220616d6f756e7420657863656564 000026a1: PUSH20 0x20616c6c6f77616e636545524332303a20627572 000026b6: PUSH15 0x20616d6f756e742065786365656473 000026c6: KECCAK256 000026c7: PUSH2 0x6c6c 000026ca: PUSH16 0x77616e636545524332303a206275726e 000026db: KECCAK256 000026dc: PUSH7 0x726f6d20746865 000026e4: KECCAK256 000026e5: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220 00002701: PUSH7 0x726f6d20746865 00002709: KECCAK256 0000270a: PUSH27 0x65726f20616464726573734d79546f6b656e3a206d757374206861 00002726: PUSH23 0x652070617573657220726f6c6520746f20756e70617573 0000273e: PUSH6 0x45524332303a 00002745: KECCAK256 00002746: PUSH2 0x7070 00002749: PUSH19 0x6f76652066726f6d20746865207a65726f2061 0000275d: PUSH5 0x6472657373 00002763: GASLIMIT 00002764: MSTORE 00002765: NUMBER 00002766: ORIGIN 00002767: ADDRESS 00002768: GASPRICE 00002769: KECCAK256 0000276a: PUSH5 0x6563726561 00002770: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00002785: PUSH6 0x726f41636365 0000278c: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072 000027a1: PUSH6 0x6e6f756e6365 000027a8: KECCAK256 000027a9: PUSH19 0x6f6c657320666f722073656c66455243323050 000027bd: PUSH2 0x7573 000027c0: PUSH2 0x626c 000027c3: PUSH6 0x3a20746f6b65 000027ca: PUSH15 0x207472616e73666572207768696c65 000027da: KECCAK256 000027db: PUSH17 0x6175736564a2646970667358221220ad01 000027ed: MULMOD 000027ee: UNKNOWN(0xCB) 000027ef: UNKNOWN(0x23) 000027f0: PUSH28 0xe8c7f4400cc3d7cda1cedac440d97d9e2214e95bf359111659fa6473 0000280d: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewwitness_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": 9632,
"type": "tx_origin_used"
},
{
"pc": 9739,
"type": "tx_origin_used"
},
{
"pc": 10086,
"type": "tx_origin_used"
}
]
}
|