019b3844-98d7-7025-8a7b-a90c9c59e5c0
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 |
|---|---|---|---|---|
| 13981 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13982 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 57209 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 57210 | capability.graph | complete | 1 / 3 | 1 week ago |
| 57211 | detector.run | complete | 1 / 3 | 1 week ago |
| 57212 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00bd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6684b1d6 00000019: GT 0000001a: PUSH2 0x006f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x6684b1d6 00000024: EQ 00000025: PUSH2 0x0393 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7147855d 0000002f: EQ 00000030: PUSH2 0x03a8 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x72a44f07 0000003a: EQ 0000003b: PUSH2 0x0428 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8757653f 00000045: EQ 00000046: PUSH2 0x043d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xb449ea5d 00000050: EQ 00000051: PUSH2 0x0470 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe907fa3c 0000005b: EQ 0000005c: PUSH2 0x04b7 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf9bcdde4 00000066: EQ 00000067: PUSH2 0x04cc 0000006a: JUMPI 0000006b: PUSH2 0x00bd 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x12f16e6d 00000076: EQ 00000077: PUSH2 0x0141 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x20cea94d 00000081: EQ 00000082: PUSH2 0x0176 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x22175a32 0000008c: EQ 0000008d: PUSH2 0x019d 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x439fab91 00000097: EQ 00000098: PUSH2 0x01d0 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x56f36dbf 000000a2: EQ 000000a3: PUSH2 0x024b 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x5c60da1b 000000ad: EQ 000000ae: PUSH2 0x02d5 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x5e3a97e7 000000b8: EQ 000000b9: PUSH2 0x0306 000000bc: JUMPI 000000bd: JUMPDEST 000000be: PUSH1 0x00 000000c0: PUSH2 0x00c7 000000c3: PUSH2 0x04e1 000000c6: JUMP 000000c7: JUMPDEST 000000c8: SWAP1 000000c9: POP 000000ca: PUSH1 0x01 000000cc: PUSH1 0x01 000000ce: PUSH1 0xa0 000000d0: SHL 000000d1: SUB 000000d2: DUP2 000000d3: AND 000000d4: PUSH2 0x011d 000000d7: JUMPI 000000d8: PUSH1 0x40 000000da: DUP1 000000db: MLOAD 000000dc: PUSH3 0x461bcd 000000e0: PUSH1 0xe5 000000e2: SHL 000000e3: DUP2 000000e4: MSTORE 000000e5: PUSH1 0x20 000000e7: PUSH1 0x04 000000e9: DUP3 000000ea: ADD 000000eb: MSTORE 000000ec: PUSH1 0x16 000000ee: PUSH1 0x24 000000f0: DUP3 000000f1: ADD 000000f2: MSTORE 000000f3: PUSH22 0x26a4a9a9a4a723afa4a6a82622a6a2a72a20aa24a7a7 0000010a: PUSH1 0x51 0000010c: SHL 0000010d: PUSH1 0x44 0000010f: DUP3 00000110: ADD 00000111: MSTORE 00000112: SWAP1 00000113: MLOAD 00000114: SWAP1 00000115: DUP2 00000116: SWAP1 00000117: SUB 00000118: PUSH1 0x64 0000011a: ADD 0000011b: SWAP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: CALLDATASIZE 0000011f: PUSH1 0x00 00000121: DUP1 00000122: CALLDATACOPY 00000123: PUSH1 0x00 00000125: DUP1 00000126: CALLDATASIZE 00000127: PUSH1 0x00 00000129: DUP5 0000012a: GAS 0000012b: DELEGATECALL 0000012c: RETURNDATASIZE 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: RETURNDATACOPY 00000131: DUP1 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: RETURNDATASIZE 00000139: PUSH1 0x00 0000013b: RETURN 0000013c: JUMPDEST 0000013d: RETURNDATASIZE 0000013e: PUSH1 0x00 00000140: REVERT 00000141: JUMPDEST 00000142: CALLVALUE 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: POP 0000014f: PUSH2 0x0174 00000152: PUSH1 0x04 00000154: DUP1 00000155: CALLDATASIZE 00000156: SUB 00000157: PUSH1 0x20 00000159: DUP2 0000015a: LT 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: POP 00000166: CALLDATALOAD 00000167: PUSH1 0x01 00000169: PUSH1 0x01 0000016b: PUSH1 0xa0 0000016d: SHL 0000016e: SUB 0000016f: AND 00000170: PUSH2 0x0506 00000173: JUMP 00000174: JUMPDEST 00000175: STOP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x018b 00000187: PUSH2 0x0512 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: DUP1 0000018f: MLOAD 00000190: SWAP2 00000191: DUP3 00000192: MSTORE 00000193: MLOAD 00000194: SWAP1 00000195: DUP2 00000196: SWAP1 00000197: SUB 00000198: PUSH1 0x20 0000019a: ADD 0000019b: SWAP1 0000019c: RETURN 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: DUP1 000001a0: ISZERO 000001a1: PUSH2 0x01a9 000001a4: JUMPI 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: POP 000001ab: PUSH2 0x0174 000001ae: PUSH1 0x04 000001b0: DUP1 000001b1: CALLDATASIZE 000001b2: SUB 000001b3: PUSH1 0x20 000001b5: DUP2 000001b6: LT 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: POP 000001c2: CALLDATALOAD 000001c3: PUSH1 0x01 000001c5: PUSH1 0x01 000001c7: PUSH1 0xa0 000001c9: SHL 000001ca: SUB 000001cb: AND 000001cc: PUSH2 0x0536 000001cf: JUMP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x0174 000001e1: PUSH1 0x04 000001e3: DUP1 000001e4: CALLDATASIZE 000001e5: SUB 000001e6: PUSH1 0x20 000001e8: DUP2 000001e9: LT 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: DUP2 000001f5: ADD 000001f6: SWAP1 000001f7: PUSH1 0x20 000001f9: DUP2 000001fa: ADD 000001fb: DUP2 000001fc: CALLDATALOAD 000001fd: PUSH1 0x01 000001ff: PUSH1 0x20 00000201: SHL 00000202: DUP2 00000203: GT 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: DUP3 0000020f: ADD 00000210: DUP4 00000211: PUSH1 0x20 00000213: DUP3 00000214: ADD 00000215: GT 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: DUP1 00000221: CALLDATALOAD 00000222: SWAP1 00000223: PUSH1 0x20 00000225: ADD 00000226: SWAP2 00000227: DUP5 00000228: PUSH1 0x01 0000022a: DUP4 0000022b: MUL 0000022c: DUP5 0000022d: ADD 0000022e: GT 0000022f: PUSH1 0x01 00000231: PUSH1 0x20 00000233: SHL 00000234: DUP4 00000235: GT 00000236: OR 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: SWAP1 00000243: SWAP3 00000244: POP 00000245: SWAP1 00000246: POP 00000247: PUSH2 0x063f 0000024a: JUMP 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0260 0000025c: PUSH2 0x0685 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: DUP1 00000264: MLOAD 00000265: PUSH1 0x20 00000267: DUP1 00000268: DUP3 00000269: MSTORE 0000026a: DUP4 0000026b: MLOAD 0000026c: DUP2 0000026d: DUP4 0000026e: ADD 0000026f: MSTORE 00000270: DUP4 00000271: MLOAD 00000272: SWAP2 00000273: SWAP3 00000274: DUP4 00000275: SWAP3 00000276: SWAP1 00000277: DUP4 00000278: ADD 00000279: SWAP2 0000027a: DUP6 0000027b: ADD 0000027c: SWAP1 0000027d: DUP1 0000027e: DUP4 0000027f: DUP4 00000280: PUSH1 0x00 00000282: JUMPDEST 00000283: DUP4 00000284: DUP2 00000285: LT 00000286: ISZERO 00000287: PUSH2 0x029a 0000028a: JUMPI 0000028b: DUP2 0000028c: DUP2 0000028d: ADD 0000028e: MLOAD 0000028f: DUP4 00000290: DUP3 00000291: ADD 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: PUSH2 0x0282 00000299: JUMP 0000029a: JUMPDEST 0000029b: POP 0000029c: POP 0000029d: POP 0000029e: POP 0000029f: SWAP1 000002a0: POP 000002a1: SWAP1 000002a2: DUP2 000002a3: ADD 000002a4: SWAP1 000002a5: PUSH1 0x1f 000002a7: AND 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02c7 000002ad: JUMPI 000002ae: DUP1 000002af: DUP3 000002b0: SUB 000002b1: DUP1 000002b2: MLOAD 000002b3: PUSH1 0x01 000002b5: DUP4 000002b6: PUSH1 0x20 000002b8: SUB 000002b9: PUSH2 0x0100 000002bc: EXP 000002bd: SUB 000002be: NOT 000002bf: AND 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP2 000002c6: POP 000002c7: JUMPDEST 000002c8: POP 000002c9: SWAP3 000002ca: POP 000002cb: POP 000002cc: POP 000002cd: PUSH1 0x40 000002cf: MLOAD 000002d0: DUP1 000002d1: SWAP2 000002d2: SUB 000002d3: SWAP1 000002d4: RETURN 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: DUP1 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x02ea 000002e6: PUSH2 0x04e1 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: DUP1 000002ee: MLOAD 000002ef: PUSH1 0x01 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa0 000002f5: SHL 000002f6: SUB 000002f7: SWAP1 000002f8: SWAP3 000002f9: AND 000002fa: DUP3 000002fb: MSTORE 000002fc: MLOAD 000002fd: SWAP1 000002fe: DUP2 000002ff: SWAP1 00000300: SUB 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP1 00000305: RETURN 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x0174 00000317: PUSH1 0x04 00000319: DUP1 0000031a: CALLDATASIZE 0000031b: SUB 0000031c: PUSH1 0x60 0000031e: DUP2 0000031f: LT 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: PUSH1 0x01 0000032c: PUSH1 0x01 0000032e: PUSH1 0xa0 00000330: SHL 00000331: SUB 00000332: DUP3 00000333: CALLDATALOAD 00000334: AND 00000335: SWAP2 00000336: SWAP1 00000337: DUP2 00000338: ADD 00000339: SWAP1 0000033a: PUSH1 0x40 0000033c: DUP2 0000033d: ADD 0000033e: PUSH1 0x20 00000340: DUP3 00000341: ADD 00000342: CALLDATALOAD 00000343: PUSH1 0x01 00000345: PUSH1 0x20 00000347: SHL 00000348: DUP2 00000349: GT 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: DUP3 00000355: ADD 00000356: DUP4 00000357: PUSH1 0x20 00000359: DUP3 0000035a: ADD 0000035b: GT 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: DUP1 00000367: CALLDATALOAD 00000368: SWAP1 00000369: PUSH1 0x20 0000036b: ADD 0000036c: SWAP2 0000036d: DUP5 0000036e: PUSH1 0x01 00000370: DUP4 00000371: MUL 00000372: DUP5 00000373: ADD 00000374: GT 00000375: PUSH1 0x01 00000377: PUSH1 0x20 00000379: SHL 0000037a: DUP4 0000037b: GT 0000037c: OR 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: SWAP2 00000388: SWAP4 00000389: POP 0000038a: SWAP2 0000038b: POP 0000038c: CALLDATALOAD 0000038d: ISZERO 0000038e: ISZERO 0000038f: PUSH2 0x06a1 00000392: JUMP 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH2 0x0174 000003a4: PUSH2 0x087e 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH2 0x0174 000003ac: PUSH1 0x04 000003ae: DUP1 000003af: CALLDATASIZE 000003b0: SUB 000003b1: PUSH1 0x60 000003b3: DUP2 000003b4: LT 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: PUSH1 0x01 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: SHL 000003c6: SUB 000003c7: DUP3 000003c8: CALLDATALOAD 000003c9: AND 000003ca: SWAP2 000003cb: SWAP1 000003cc: DUP2 000003cd: ADD 000003ce: SWAP1 000003cf: PUSH1 0x40 000003d1: DUP2 000003d2: ADD 000003d3: PUSH1 0x20 000003d5: DUP3 000003d6: ADD 000003d7: CALLDATALOAD 000003d8: PUSH1 0x01 000003da: PUSH1 0x20 000003dc: SHL 000003dd: DUP2 000003de: GT 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: DUP3 000003ea: ADD 000003eb: DUP4 000003ec: PUSH1 0x20 000003ee: DUP3 000003ef: ADD 000003f0: GT 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: DUP1 000003fc: CALLDATALOAD 000003fd: SWAP1 000003fe: PUSH1 0x20 00000400: ADD 00000401: SWAP2 00000402: DUP5 00000403: PUSH1 0x01 00000405: DUP4 00000406: MUL 00000407: DUP5 00000408: ADD 00000409: GT 0000040a: PUSH1 0x01 0000040c: PUSH1 0x20 0000040e: SHL 0000040f: DUP4 00000410: GT 00000411: OR 00000412: ISZERO 00000413: PUSH2 0x041b 00000416: JUMPI 00000417: PUSH1 0x00 00000419: DUP1 0000041a: REVERT 0000041b: JUMPDEST 0000041c: SWAP2 0000041d: SWAP4 0000041e: POP 0000041f: SWAP2 00000420: POP 00000421: CALLDATALOAD 00000422: ISZERO 00000423: ISZERO 00000424: PUSH2 0x0888 00000427: JUMP 00000428: JUMPDEST 00000429: CALLVALUE 0000042a: DUP1 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: POP 00000436: PUSH2 0x018b 00000439: PUSH2 0x0e9a 0000043c: JUMP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: POP 0000044b: PUSH2 0x0174 0000044e: PUSH1 0x04 00000450: DUP1 00000451: CALLDATASIZE 00000452: SUB 00000453: PUSH1 0x20 00000455: DUP2 00000456: LT 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: CALLDATALOAD 00000463: PUSH1 0x01 00000465: PUSH1 0x01 00000467: PUSH1 0xa0 00000469: SHL 0000046a: SUB 0000046b: AND 0000046c: PUSH2 0x0ec0 0000046f: JUMP 00000470: JUMPDEST 00000471: CALLVALUE 00000472: DUP1 00000473: ISZERO 00000474: PUSH2 0x047c 00000477: JUMPI 00000478: PUSH1 0x00 0000047a: DUP1 0000047b: REVERT 0000047c: JUMPDEST 0000047d: POP 0000047e: PUSH2 0x04a3 00000481: PUSH1 0x04 00000483: DUP1 00000484: CALLDATASIZE 00000485: SUB 00000486: PUSH1 0x20 00000488: DUP2 00000489: LT 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: CALLDATALOAD 00000496: PUSH1 0x01 00000498: PUSH1 0x01 0000049a: PUSH1 0xa0 0000049c: SHL 0000049d: SUB 0000049e: AND 0000049f: PUSH2 0x0ec9 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH1 0x40 000004a6: DUP1 000004a7: MLOAD 000004a8: SWAP2 000004a9: ISZERO 000004aa: ISZERO 000004ab: DUP3 000004ac: MSTORE 000004ad: MLOAD 000004ae: SWAP1 000004af: DUP2 000004b0: SWAP1 000004b1: SUB 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: SWAP1 000004b6: RETURN 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x04a3 000004c8: PUSH2 0x0eda 000004cb: JUMP 000004cc: JUMPDEST 000004cd: CALLVALUE 000004ce: DUP1 000004cf: ISZERO 000004d0: PUSH2 0x04d8 000004d3: JUMPI 000004d4: PUSH1 0x00 000004d6: DUP1 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: PUSH2 0x0174 000004dd: PUSH2 0x0f00 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH32 0x177667240aeeea7e35eabe3a35e18306f336219e1386f7710a6bf8783f761b24 00000503: SLOAD 00000504: SWAP1 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x050f 0000050a: DUP2 0000050b: PUSH2 0x0f08 0000050e: JUMP 0000050f: JUMPDEST 00000510: POP 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH32 0xc21dbb3089fcb2c4f4c6a67854ab4db2b0f233ea4b21b21f912d52d18fc5db1f 00000534: DUP2 00000535: JUMP 00000536: JUMPDEST 00000537: PUSH2 0x053f 0000053a: CALLER 0000053b: PUSH2 0x1055 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH2 0x0582 00000543: JUMPI 00000544: PUSH1 0x40 00000546: DUP1 00000547: MLOAD 00000548: PUSH3 0x461bcd 0000054c: PUSH1 0xe5 0000054e: SHL 0000054f: DUP2 00000550: MSTORE 00000551: PUSH1 0x20 00000553: PUSH1 0x04 00000555: DUP3 00000556: ADD 00000557: MSTORE 00000558: PUSH1 0x0f 0000055a: PUSH1 0x24 0000055c: DUP3 0000055d: ADD 0000055e: MSTORE 0000055f: PUSH15 0x4f4e4c595f474f5645524e414e4345 0000056f: PUSH1 0x88 00000571: SHL 00000572: PUSH1 0x44 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: SWAP1 00000578: MLOAD 00000579: SWAP1 0000057a: DUP2 0000057b: SWAP1 0000057c: SUB 0000057d: PUSH1 0x64 0000057f: ADD 00000580: SWAP1 00000581: REVERT 00000582: JUMPDEST 00000583: PUSH1 0x01 00000585: PUSH1 0x01 00000587: PUSH1 0xa0 00000589: SHL 0000058a: SUB 0000058b: DUP2 0000058c: AND 0000058d: PUSH1 0x00 0000058f: SWAP1 00000590: DUP2 00000591: MSTORE 00000592: PUSH1 0x02 00000594: PUSH1 0x20 00000596: MSTORE 00000597: PUSH1 0x40 00000599: SWAP1 0000059a: KECCAK256 0000059b: SLOAD 0000059c: DUP1 0000059d: PUSH2 0x05ed 000005a0: JUMPI 000005a1: PUSH1 0x40 000005a3: DUP1 000005a4: MLOAD 000005a5: PUSH3 0x461bcd 000005a9: PUSH1 0xe5 000005ab: SHL 000005ac: DUP2 000005ad: MSTORE 000005ae: PUSH1 0x20 000005b0: PUSH1 0x04 000005b2: DUP3 000005b3: ADD 000005b4: MSTORE 000005b5: PUSH1 0x1d 000005b7: PUSH1 0x24 000005b9: DUP3 000005ba: ADD 000005bb: MSTORE 000005bc: PUSH32 0x414444524553535f4e4f545f555047524144455f43414e444944415445000000 000005dd: PUSH1 0x44 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: SWAP1 000005e3: MLOAD 000005e4: SWAP1 000005e5: DUP2 000005e6: SWAP1 000005e7: SUB 000005e8: PUSH1 0x64 000005ea: ADD 000005eb: SWAP1 000005ec: REVERT 000005ed: JUMPDEST 000005ee: PUSH1 0x01 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: SHL 000005f5: SUB 000005f6: DUP3 000005f7: AND 000005f8: PUSH1 0x00 000005fa: DUP2 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH1 0x02 000005ff: PUSH1 0x20 00000601: SWAP1 00000602: DUP2 00000603: MSTORE 00000604: PUSH1 0x40 00000606: DUP1 00000607: DUP4 00000608: KECCAK256 00000609: DUP4 0000060a: SWAP1 0000060b: SSTORE 0000060c: PUSH1 0x01 0000060e: SWAP1 0000060f: SWAP2 00000610: MSTORE 00000611: DUP1 00000612: DUP3 00000613: KECCAK256 00000614: DUP3 00000615: SWAP1 00000616: SSTORE 00000617: MLOAD 00000618: PUSH32 0xaf23121e2402485071dadf421078b368d7b67e54cabcc81540563c5d6bf1a4c3 00000639: SWAP2 0000063a: SWAP1 0000063b: LOG2 0000063c: POP 0000063d: POP 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH1 0x40 00000642: DUP1 00000643: MLOAD 00000644: PUSH3 0x461bcd 00000648: PUSH1 0xe5 0000064a: SHL 0000064b: DUP2 0000064c: MSTORE 0000064d: PUSH1 0x20 0000064f: PUSH1 0x04 00000651: DUP3 00000652: ADD 00000653: MSTORE 00000654: PUSH1 0x16 00000656: PUSH1 0x24 00000658: DUP3 00000659: ADD 0000065a: MSTORE 0000065b: PUSH22 0x43414e4e4f545f43414c4c5f494e495449414c495a45 00000672: PUSH1 0x50 00000674: SHL 00000675: PUSH1 0x44 00000677: DUP3 00000678: ADD 00000679: MSTORE 0000067a: SWAP1 0000067b: MLOAD 0000067c: SWAP1 0000067d: DUP2 0000067e: SWAP1 0000067f: SUB 00000680: PUSH1 0x64 00000682: ADD 00000683: SWAP1 00000684: REVERT 00000685: JUMPDEST 00000686: PUSH1 0x40 00000688: MLOAD 00000689: DUP1 0000068a: PUSH1 0x60 0000068c: ADD 0000068d: PUSH1 0x40 0000068f: MSTORE 00000690: DUP1 00000691: PUSH1 0x27 00000693: DUP2 00000694: MSTORE 00000695: PUSH1 0x20 00000697: ADD 00000698: PUSH2 0x15fd 0000069b: PUSH1 0x27 0000069d: SWAP2 0000069e: CODECOPY 0000069f: DUP2 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH2 0x06aa 000006a5: CALLER 000006a6: PUSH2 0x1055 000006a9: JUMP 000006aa: JUMPDEST 000006ab: PUSH2 0x06ed 000006ae: JUMPI 000006af: PUSH1 0x40 000006b1: DUP1 000006b2: MLOAD 000006b3: PUSH3 0x461bcd 000006b7: PUSH1 0xe5 000006b9: SHL 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x20 000006be: PUSH1 0x04 000006c0: DUP3 000006c1: ADD 000006c2: MSTORE 000006c3: PUSH1 0x0f 000006c5: PUSH1 0x24 000006c7: DUP3 000006c8: ADD 000006c9: MSTORE 000006ca: PUSH15 0x4f4e4c595f474f5645524e414e4345 000006da: PUSH1 0x88 000006dc: SHL 000006dd: PUSH1 0x44 000006df: DUP3 000006e0: ADD 000006e1: MSTORE 000006e2: SWAP1 000006e3: MLOAD 000006e4: SWAP1 000006e5: DUP2 000006e6: SWAP1 000006e7: SUB 000006e8: PUSH1 0x64 000006ea: ADD 000006eb: SWAP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: PUSH2 0x06ff 000006f1: DUP5 000006f2: PUSH1 0x01 000006f4: PUSH1 0x01 000006f6: PUSH1 0xa0 000006f8: SHL 000006f9: SUB 000006fa: AND 000006fb: PUSH2 0x1083 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH2 0x0747 00000703: JUMPI 00000704: PUSH1 0x40 00000706: DUP1 00000707: MLOAD 00000708: PUSH3 0x461bcd 0000070c: PUSH1 0xe5 0000070e: SHL 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: PUSH1 0x04 00000715: DUP3 00000716: ADD 00000717: MSTORE 00000718: PUSH1 0x14 0000071a: PUSH1 0x24 0000071c: DUP3 0000071d: ADD 0000071e: MSTORE 0000071f: PUSH20 0x105111149154d4d7d393d517d0d3d395149050d5 00000734: PUSH1 0x62 00000736: SHL 00000737: PUSH1 0x44 00000739: DUP3 0000073a: ADD 0000073b: MSTORE 0000073c: SWAP1 0000073d: MLOAD 0000073e: SWAP1 0000073f: DUP2 00000740: SWAP1 00000741: SUB 00000742: PUSH1 0x64 00000744: ADD 00000745: SWAP1 00000746: REVERT 00000747: JUMPDEST 00000748: PUSH1 0x00 0000074a: DUP4 0000074b: DUP4 0000074c: DUP4 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: PUSH1 0x20 00000752: ADD 00000753: DUP1 00000754: DUP1 00000755: PUSH1 0x20 00000757: ADD 00000758: DUP4 00000759: ISZERO 0000075a: ISZERO 0000075b: ISZERO 0000075c: ISZERO 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: ADD 00000762: DUP3 00000763: DUP2 00000764: SUB 00000765: DUP3 00000766: MSTORE 00000767: DUP6 00000768: DUP6 00000769: DUP3 0000076a: DUP2 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: ADD 00000770: SWAP3 00000771: POP 00000772: DUP1 00000773: DUP3 00000774: DUP5 00000775: CALLDATACOPY 00000776: PUSH1 0x00 00000778: DUP4 00000779: DUP3 0000077a: ADD 0000077b: DUP2 0000077c: SWAP1 0000077d: MSTORE 0000077e: PUSH1 0x40 00000780: DUP1 00000781: MLOAD 00000782: PUSH1 0x1f 00000784: SWAP1 00000785: SWAP4 00000786: ADD 00000787: PUSH1 0x1f 00000789: NOT 0000078a: SWAP1 0000078b: DUP2 0000078c: AND 0000078d: SWAP1 0000078e: SWAP6 0000078f: ADD 00000790: DUP4 00000791: DUP2 00000792: SUB 00000793: SWAP1 00000794: SWAP6 00000795: ADD 00000796: DUP4 00000797: MSTORE 00000798: SWAP4 00000799: DUP5 0000079a: MSTORE 0000079b: DUP2 0000079c: MLOAD 0000079d: PUSH1 0x20 0000079f: SWAP3 000007a0: DUP4 000007a1: ADD 000007a2: KECCAK256 000007a3: PUSH1 0x01 000007a5: PUSH1 0x01 000007a7: PUSH1 0xa0 000007a9: SHL 000007aa: SUB 000007ab: DUP16 000007ac: AND 000007ad: DUP3 000007ae: MSTORE 000007af: PUSH1 0x01 000007b1: SWAP1 000007b2: SWAP3 000007b3: MSTORE 000007b4: SWAP3 000007b5: DUP4 000007b6: KECCAK256 000007b7: DUP2 000007b8: SWAP1 000007b9: SSTORE 000007ba: SWAP8 000007bb: POP 000007bc: SWAP1 000007bd: SWAP6 000007be: POP 000007bf: PUSH2 0x07cd 000007c2: SWAP5 000007c3: POP 000007c4: PUSH2 0x0e9a 000007c7: SWAP4 000007c8: POP 000007c9: POP 000007ca: POP 000007cb: POP 000007cc: JUMP 000007cd: JUMPDEST 000007ce: TIMESTAMP 000007cf: ADD 000007d0: SWAP1 000007d1: POP 000007d2: PUSH1 0x00 000007d4: PUSH2 0x07db 000007d7: PUSH2 0x04e1 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x01 000007de: PUSH1 0x01 000007e0: PUSH1 0xa0 000007e2: SHL 000007e3: SUB 000007e4: AND 000007e5: EQ 000007e6: ISZERO 000007e7: PUSH2 0x07ed 000007ea: JUMPI 000007eb: POP 000007ec: TIMESTAMP 000007ed: JUMPDEST 000007ee: PUSH1 0x01 000007f0: PUSH1 0x01 000007f2: PUSH1 0xa0 000007f4: SHL 000007f5: SUB 000007f6: DUP7 000007f7: AND 000007f8: PUSH1 0x00 000007fa: DUP2 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH1 0x02 000007ff: PUSH1 0x20 00000801: SWAP1 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x40 00000806: SWAP2 00000807: DUP3 00000808: SWAP1 00000809: KECCAK256 0000080a: DUP5 0000080b: SWAP1 0000080c: SSTORE 0000080d: DUP2 0000080e: MLOAD 0000080f: DUP7 00000810: ISZERO 00000811: ISZERO 00000812: SWAP2 00000813: DUP2 00000814: ADD 00000815: SWAP2 00000816: SWAP1 00000817: SWAP2 00000818: MSTORE 00000819: DUP2 0000081a: DUP2 0000081b: MSTORE 0000081c: SWAP1 0000081d: DUP2 0000081e: ADD 0000081f: DUP7 00000820: SWAP1 00000821: MSTORE 00000822: PUSH32 0x723a7080d63c133cf338e44e00705cc1b7b2bde7e88d6218a8d62710a329ce1b 00000843: SWAP1 00000844: DUP8 00000845: SWAP1 00000846: DUP8 00000847: SWAP1 00000848: DUP8 00000849: SWAP1 0000084a: DUP1 0000084b: PUSH1 0x60 0000084d: DUP2 0000084e: ADD 0000084f: DUP6 00000850: DUP6 00000851: DUP1 00000852: DUP3 00000853: DUP5 00000854: CALLDATACOPY 00000855: PUSH1 0x00 00000857: DUP4 00000858: DUP3 00000859: ADD 0000085a: MSTORE 0000085b: PUSH1 0x40 0000085d: MLOAD 0000085e: PUSH1 0x1f 00000860: SWAP1 00000861: SWAP2 00000862: ADD 00000863: PUSH1 0x1f 00000865: NOT 00000866: AND 00000867: SWAP1 00000868: SWAP3 00000869: ADD 0000086a: DUP3 0000086b: SWAP1 0000086c: SUB 0000086d: SWAP7 0000086e: POP 0000086f: SWAP1 00000870: SWAP5 00000871: POP 00000872: POP 00000873: POP 00000874: POP 00000875: POP 00000876: LOG2 00000877: POP 00000878: POP 00000879: POP 0000087a: POP 0000087b: POP 0000087c: POP 0000087d: JUMP 0000087e: JUMPDEST 0000087f: PUSH2 0x0886 00000882: PUSH2 0x1089 00000885: JUMP 00000886: JUMPDEST 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH2 0x0891 0000088c: CALLER 0000088d: PUSH2 0x1055 00000890: JUMP 00000891: JUMPDEST 00000892: PUSH2 0x08d4 00000895: JUMPI 00000896: PUSH1 0x40 00000898: DUP1 00000899: MLOAD 0000089a: PUSH3 0x461bcd 0000089e: PUSH1 0xe5 000008a0: SHL 000008a1: DUP2 000008a2: MSTORE 000008a3: PUSH1 0x20 000008a5: PUSH1 0x04 000008a7: DUP3 000008a8: ADD 000008a9: MSTORE 000008aa: PUSH1 0x0f 000008ac: PUSH1 0x24 000008ae: DUP3 000008af: ADD 000008b0: MSTORE 000008b1: PUSH15 0x4f4e4c595f474f5645524e414e4345 000008c1: PUSH1 0x88 000008c3: SHL 000008c4: PUSH1 0x44 000008c6: DUP3 000008c7: ADD 000008c8: MSTORE 000008c9: SWAP1 000008ca: MLOAD 000008cb: SWAP1 000008cc: DUP2 000008cd: SWAP1 000008ce: SUB 000008cf: PUSH1 0x64 000008d1: ADD 000008d2: SWAP1 000008d3: REVERT 000008d4: JUMPDEST 000008d5: PUSH2 0x08dc 000008d8: PUSH2 0x0eda 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH2 0x0928 000008e0: JUMPI 000008e1: PUSH1 0x40 000008e3: DUP1 000008e4: MLOAD 000008e5: PUSH3 0x461bcd 000008e9: PUSH1 0xe5 000008eb: SHL 000008ec: DUP2 000008ed: MSTORE 000008ee: PUSH1 0x20 000008f0: PUSH1 0x04 000008f2: DUP3 000008f3: ADD 000008f4: MSTORE 000008f5: PUSH1 0x18 000008f7: PUSH1 0x24 000008f9: DUP3 000008fa: ADD 000008fb: MSTORE 000008fc: PUSH24 0x12535413115351539510551253d397d19253905312569151 00000915: PUSH1 0x42 00000917: SHL 00000918: PUSH1 0x44 0000091a: DUP3 0000091b: ADD 0000091c: MSTORE 0000091d: SWAP1 0000091e: MLOAD 0000091f: SWAP1 00000920: DUP2 00000921: SWAP1 00000922: SUB 00000923: PUSH1 0x64 00000925: ADD 00000926: SWAP1 00000927: REVERT 00000928: JUMPDEST 00000929: PUSH2 0x0930 0000092c: PUSH2 0x1150 0000092f: JUMP 00000930: JUMPDEST 00000931: ISZERO 00000932: PUSH2 0x0974 00000935: JUMPI 00000936: PUSH1 0x40 00000938: DUP1 00000939: MLOAD 0000093a: PUSH3 0x461bcd 0000093e: PUSH1 0xe5 00000940: SHL 00000941: DUP2 00000942: MSTORE 00000943: PUSH1 0x20 00000945: PUSH1 0x04 00000947: DUP3 00000948: ADD 00000949: MSTORE 0000094a: PUSH1 0x0f 0000094c: PUSH1 0x24 0000094e: DUP3 0000094f: ADD 00000950: MSTORE 00000951: PUSH15 0x29aa20aa22afa4a9afa32927ad22a7 00000961: PUSH1 0x89 00000963: SHL 00000964: PUSH1 0x44 00000966: DUP3 00000967: ADD 00000968: MSTORE 00000969: SWAP1 0000096a: MLOAD 0000096b: SWAP1 0000096c: DUP2 0000096d: SWAP1 0000096e: SUB 0000096f: PUSH1 0x64 00000971: ADD 00000972: SWAP1 00000973: REVERT 00000974: JUMPDEST 00000975: PUSH1 0x01 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: SHL 0000097c: SUB 0000097d: DUP5 0000097e: AND 0000097f: PUSH1 0x00 00000981: SWAP1 00000982: DUP2 00000983: MSTORE 00000984: PUSH1 0x02 00000986: PUSH1 0x20 00000988: MSTORE 00000989: PUSH1 0x40 0000098b: SWAP1 0000098c: KECCAK256 0000098d: SLOAD 0000098e: DUP1 0000098f: PUSH2 0x09df 00000992: JUMPI 00000993: PUSH1 0x40 00000995: DUP1 00000996: MLOAD 00000997: PUSH3 0x461bcd 0000099b: PUSH1 0xe5 0000099d: SHL 0000099e: DUP2 0000099f: MSTORE 000009a0: PUSH1 0x20 000009a2: PUSH1 0x04 000009a4: DUP3 000009a5: ADD 000009a6: MSTORE 000009a7: PUSH1 0x1d 000009a9: PUSH1 0x24 000009ab: DUP3 000009ac: ADD 000009ad: MSTORE 000009ae: PUSH32 0x414444524553535f4e4f545f555047524144455f43414e444944415445000000 000009cf: PUSH1 0x44 000009d1: DUP3 000009d2: ADD 000009d3: MSTORE 000009d4: SWAP1 000009d5: MLOAD 000009d6: SWAP1 000009d7: DUP2 000009d8: SWAP1 000009d9: SUB 000009da: PUSH1 0x64 000009dc: ADD 000009dd: SWAP1 000009de: REVERT 000009df: JUMPDEST 000009e0: TIMESTAMP 000009e1: DUP2 000009e2: GT 000009e3: ISZERO 000009e4: PUSH2 0x0a2e 000009e7: JUMPI 000009e8: PUSH1 0x40 000009ea: DUP1 000009eb: MLOAD 000009ec: PUSH3 0x461bcd 000009f0: PUSH1 0xe5 000009f2: SHL 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: PUSH1 0x04 000009f9: DUP3 000009fa: ADD 000009fb: MSTORE 000009fc: PUSH1 0x17 000009fe: PUSH1 0x24 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH23 0x155411d490511157d393d517d153905093115117d65155 00000a1b: PUSH1 0x4a 00000a1d: SHL 00000a1e: PUSH1 0x44 00000a20: DUP3 00000a21: ADD 00000a22: MSTORE 00000a23: SWAP1 00000a24: MLOAD 00000a25: SWAP1 00000a26: DUP2 00000a27: SWAP1 00000a28: SUB 00000a29: PUSH1 0x64 00000a2b: ADD 00000a2c: SWAP1 00000a2d: REVERT 00000a2e: JUMPDEST 00000a2f: PUSH1 0x01 00000a31: PUSH1 0x01 00000a33: PUSH1 0xa0 00000a35: SHL 00000a36: SUB 00000a37: DUP6 00000a38: AND 00000a39: PUSH1 0x00 00000a3b: SWAP1 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x01 00000a40: PUSH1 0x20 00000a42: SWAP1 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x40 00000a47: SWAP2 00000a48: DUP3 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: SLOAD 00000a4c: DUP3 00000a4d: MLOAD 00000a4e: DUP6 00000a4f: ISZERO 00000a50: ISZERO 00000a51: DUP2 00000a52: DUP6 00000a53: ADD 00000a54: MSTORE 00000a55: SWAP2 00000a56: DUP3 00000a57: ADD 00000a58: SWAP3 00000a59: DUP4 00000a5a: MSTORE 00000a5b: PUSH1 0x60 00000a5d: DUP3 00000a5e: ADD 00000a5f: DUP7 00000a60: SWAP1 00000a61: MSTORE 00000a62: SWAP2 00000a63: DUP7 00000a64: SWAP2 00000a65: DUP7 00000a66: SWAP2 00000a67: DUP7 00000a68: SWAP2 00000a69: DUP2 00000a6a: SWAP1 00000a6b: PUSH1 0x80 00000a6d: ADD 00000a6e: DUP6 00000a6f: DUP6 00000a70: DUP1 00000a71: DUP3 00000a72: DUP5 00000a73: CALLDATACOPY 00000a74: PUSH1 0x00 00000a76: DUP2 00000a77: DUP5 00000a78: ADD 00000a79: MSTORE 00000a7a: PUSH1 0x1f 00000a7c: NOT 00000a7d: PUSH1 0x1f 00000a7f: DUP3 00000a80: ADD 00000a81: AND 00000a82: SWAP1 00000a83: POP 00000a84: DUP1 00000a85: DUP4 00000a86: ADD 00000a87: SWAP3 00000a88: POP 00000a89: POP 00000a8a: POP 00000a8b: SWAP5 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: POP 00000a90: POP 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: PUSH1 0x20 00000a96: DUP2 00000a97: DUP4 00000a98: SUB 00000a99: SUB 00000a9a: DUP2 00000a9b: MSTORE 00000a9c: SWAP1 00000a9d: PUSH1 0x40 00000a9f: MSTORE 00000aa0: DUP1 00000aa1: MLOAD 00000aa2: SWAP1 00000aa3: PUSH1 0x20 00000aa5: ADD 00000aa6: KECCAK256 00000aa7: DUP2 00000aa8: EQ 00000aa9: PUSH2 0x0aef 00000aac: JUMPI 00000aad: PUSH1 0x40 00000aaf: DUP1 00000ab0: MLOAD 00000ab1: PUSH3 0x461bcd 00000ab5: PUSH1 0xe5 00000ab7: SHL 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x20 00000abc: PUSH1 0x04 00000abe: DUP3 00000abf: ADD 00000ac0: MSTORE 00000ac1: PUSH1 0x13 00000ac3: PUSH1 0x24 00000ac5: DUP3 00000ac6: ADD 00000ac7: MSTORE 00000ac8: PUSH19 0x21a420a723a2a22fa4a724aa24a0a624ad22a9 00000adc: PUSH1 0x69 00000ade: SHL 00000adf: PUSH1 0x44 00000ae1: DUP3 00000ae2: ADD 00000ae3: MSTORE 00000ae4: SWAP1 00000ae5: MLOAD 00000ae6: SWAP1 00000ae7: DUP2 00000ae8: SWAP1 00000ae9: SUB 00000aea: PUSH1 0x64 00000aec: ADD 00000aed: SWAP1 00000aee: REVERT 00000aef: JUMPDEST 00000af0: PUSH2 0x0af8 00000af3: DUP7 00000af4: PUSH2 0x12b3 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x00 00000afb: PUSH1 0x60 00000afd: DUP8 00000afe: PUSH1 0x01 00000b00: PUSH1 0x01 00000b02: PUSH1 0xa0 00000b04: SHL 00000b05: SUB 00000b06: AND 00000b07: PUSH4 0x439fab91 00000b0c: PUSH1 0xe0 00000b0e: SHL 00000b0f: DUP9 00000b10: DUP9 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: PUSH1 0x24 00000b16: ADD 00000b17: DUP1 00000b18: DUP1 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: DUP3 00000b1d: DUP2 00000b1e: SUB 00000b1f: DUP3 00000b20: MSTORE 00000b21: DUP5 00000b22: DUP5 00000b23: DUP3 00000b24: DUP2 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: ADD 00000b2a: SWAP3 00000b2b: POP 00000b2c: DUP1 00000b2d: DUP3 00000b2e: DUP5 00000b2f: CALLDATACOPY 00000b30: PUSH1 0x00 00000b32: DUP4 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH1 0x40 00000b38: DUP1 00000b39: MLOAD 00000b3a: PUSH1 0x1f 00000b3c: SWAP1 00000b3d: SWAP3 00000b3e: ADD 00000b3f: PUSH1 0x1f 00000b41: NOT 00000b42: SWAP1 00000b43: DUP2 00000b44: AND 00000b45: SWAP1 00000b46: SWAP5 00000b47: ADD 00000b48: DUP3 00000b49: DUP2 00000b4a: SUB 00000b4b: SWAP1 00000b4c: SWAP5 00000b4d: ADD 00000b4e: DUP3 00000b4f: MSTORE 00000b50: SWAP3 00000b51: DUP4 00000b52: MSTORE 00000b53: PUSH1 0x20 00000b55: DUP2 00000b56: ADD 00000b57: DUP1 00000b58: MLOAD 00000b59: PUSH1 0x01 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0xe0 00000b5f: SHL 00000b60: SUB 00000b61: AND 00000b62: PUSH1 0x01 00000b64: PUSH1 0x01 00000b66: PUSH1 0xe0 00000b68: SHL 00000b69: SUB 00000b6a: NOT 00000b6b: SWAP1 00000b6c: SWAP10 00000b6d: AND 00000b6e: SWAP9 00000b6f: SWAP1 00000b70: SWAP9 00000b71: OR 00000b72: DUP9 00000b73: MSTORE 00000b74: SWAP2 00000b75: MLOAD 00000b76: DUP3 00000b77: MLOAD 00000b78: SWAP3 00000b79: SWAP8 00000b7a: SWAP1 00000b7b: SWAP7 00000b7c: POP 00000b7d: DUP7 00000b7e: SWAP6 00000b7f: POP 00000b80: SWAP4 00000b81: POP 00000b82: SWAP1 00000b83: SWAP2 00000b84: POP 00000b85: DUP2 00000b86: SWAP1 00000b87: POP 00000b88: DUP4 00000b89: DUP4 00000b8a: JUMPDEST 00000b8b: PUSH1 0x20 00000b8d: DUP4 00000b8e: LT 00000b8f: PUSH2 0x0ba9 00000b92: JUMPI 00000b93: DUP1 00000b94: MLOAD 00000b95: DUP3 00000b96: MSTORE 00000b97: PUSH1 0x1f 00000b99: NOT 00000b9a: SWAP1 00000b9b: SWAP3 00000b9c: ADD 00000b9d: SWAP2 00000b9e: PUSH1 0x20 00000ba0: SWAP2 00000ba1: DUP3 00000ba2: ADD 00000ba3: SWAP2 00000ba4: ADD 00000ba5: PUSH2 0x0b8a 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH1 0x01 00000bac: DUP4 00000bad: PUSH1 0x20 00000baf: SUB 00000bb0: PUSH2 0x0100 00000bb3: EXP 00000bb4: SUB 00000bb5: DUP1 00000bb6: NOT 00000bb7: DUP3 00000bb8: MLOAD 00000bb9: AND 00000bba: DUP2 00000bbb: DUP5 00000bbc: MLOAD 00000bbd: AND 00000bbe: DUP1 00000bbf: DUP3 00000bc0: OR 00000bc1: DUP6 00000bc2: MSTORE 00000bc3: POP 00000bc4: POP 00000bc5: POP 00000bc6: POP 00000bc7: POP 00000bc8: POP 00000bc9: SWAP1 00000bca: POP 00000bcb: ADD 00000bcc: SWAP2 00000bcd: POP 00000bce: POP 00000bcf: PUSH1 0x00 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: DUP1 00000bd5: DUP4 00000bd6: SUB 00000bd7: DUP2 00000bd8: DUP6 00000bd9: GAS 00000bda: DELEGATECALL 00000bdb: SWAP2 00000bdc: POP 00000bdd: POP 00000bde: RETURNDATASIZE 00000bdf: DUP1 00000be0: PUSH1 0x00 00000be2: DUP2 00000be3: EQ 00000be4: PUSH2 0x0c09 00000be7: JUMPI 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: SWAP2 00000bec: POP 00000bed: PUSH1 0x1f 00000bef: NOT 00000bf0: PUSH1 0x3f 00000bf2: RETURNDATASIZE 00000bf3: ADD 00000bf4: AND 00000bf5: DUP3 00000bf6: ADD 00000bf7: PUSH1 0x40 00000bf9: MSTORE 00000bfa: RETURNDATASIZE 00000bfb: DUP3 00000bfc: MSTORE 00000bfd: RETURNDATASIZE 00000bfe: PUSH1 0x00 00000c00: PUSH1 0x20 00000c02: DUP5 00000c03: ADD 00000c04: RETURNDATACOPY 00000c05: PUSH2 0x0c0e 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x60 00000c0c: SWAP2 00000c0d: POP 00000c0e: JUMPDEST 00000c0f: POP 00000c10: SWAP2 00000c11: POP 00000c12: SWAP2 00000c13: POP 00000c14: DUP2 00000c15: DUP2 00000c16: SWAP1 00000c17: PUSH2 0x0c9e 00000c1a: JUMPI 00000c1b: PUSH1 0x40 00000c1d: MLOAD 00000c1e: PUSH3 0x461bcd 00000c22: PUSH1 0xe5 00000c24: SHL 00000c25: DUP2 00000c26: MSTORE 00000c27: PUSH1 0x04 00000c29: ADD 00000c2a: DUP1 00000c2b: DUP1 00000c2c: PUSH1 0x20 00000c2e: ADD 00000c2f: DUP3 00000c30: DUP2 00000c31: SUB 00000c32: DUP3 00000c33: MSTORE 00000c34: DUP4 00000c35: DUP2 00000c36: DUP2 00000c37: MLOAD 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: ADD 00000c3d: SWAP2 00000c3e: POP 00000c3f: DUP1 00000c40: MLOAD 00000c41: SWAP1 00000c42: PUSH1 0x20 00000c44: ADD 00000c45: SWAP1 00000c46: DUP1 00000c47: DUP4 00000c48: DUP4 00000c49: PUSH1 0x00 00000c4b: JUMPDEST 00000c4c: DUP4 00000c4d: DUP2 00000c4e: LT 00000c4f: ISZERO 00000c50: PUSH2 0x0c63 00000c53: JUMPI 00000c54: DUP2 00000c55: DUP2 00000c56: ADD 00000c57: MLOAD 00000c58: DUP4 00000c59: DUP3 00000c5a: ADD 00000c5b: MSTORE 00000c5c: PUSH1 0x20 00000c5e: ADD 00000c5f: PUSH2 0x0c4b 00000c62: JUMP 00000c63: JUMPDEST 00000c64: POP 00000c65: POP 00000c66: POP 00000c67: POP 00000c68: SWAP1 00000c69: POP 00000c6a: SWAP1 00000c6b: DUP2 00000c6c: ADD 00000c6d: SWAP1 00000c6e: PUSH1 0x1f 00000c70: AND 00000c71: DUP1 00000c72: ISZERO 00000c73: PUSH2 0x0c90 00000c76: JUMPI 00000c77: DUP1 00000c78: DUP3 00000c79: SUB 00000c7a: DUP1 00000c7b: MLOAD 00000c7c: PUSH1 0x01 00000c7e: DUP4 00000c7f: PUSH1 0x20 00000c81: SUB 00000c82: PUSH2 0x0100 00000c85: EXP 00000c86: SUB 00000c87: NOT 00000c88: AND 00000c89: DUP2 00000c8a: MSTORE 00000c8b: PUSH1 0x20 00000c8d: ADD 00000c8e: SWAP2 00000c8f: POP 00000c90: JUMPDEST 00000c91: POP 00000c92: SWAP3 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: DUP1 00000c9a: SWAP2 00000c9b: SUB 00000c9c: SWAP1 00000c9d: REVERT 00000c9e: JUMPDEST 00000c9f: POP 00000ca0: PUSH1 0x40 00000ca2: DUP1 00000ca3: MLOAD 00000ca4: PUSH1 0x04 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH1 0x24 00000caa: DUP2 00000cab: ADD 00000cac: DUP3 00000cad: MSTORE 00000cae: PUSH1 0x20 00000cb0: DUP2 00000cb1: ADD 00000cb2: DUP1 00000cb3: MLOAD 00000cb4: PUSH1 0x01 00000cb6: PUSH1 0x01 00000cb8: PUSH1 0xe0 00000cba: SHL 00000cbb: SUB 00000cbc: AND 00000cbd: PUSH4 0x33eeb147 00000cc2: PUSH1 0xe0 00000cc4: SHL 00000cc5: OR 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: SWAP2 00000cc9: MLOAD 00000cca: DUP2 00000ccb: MLOAD 00000ccc: PUSH1 0x01 00000cce: PUSH1 0x01 00000cd0: PUSH1 0xa0 00000cd2: SHL 00000cd3: SUB 00000cd4: DUP13 00000cd5: AND 00000cd6: SWAP4 00000cd7: DUP3 00000cd8: SWAP2 00000cd9: DUP1 00000cda: DUP4 00000cdb: DUP4 00000cdc: JUMPDEST 00000cdd: PUSH1 0x20 00000cdf: DUP4 00000ce0: LT 00000ce1: PUSH2 0x0cfb 00000ce4: JUMPI 00000ce5: DUP1 00000ce6: MLOAD 00000ce7: DUP3 00000ce8: MSTORE 00000ce9: PUSH1 0x1f 00000ceb: NOT 00000cec: SWAP1 00000ced: SWAP3 00000cee: ADD 00000cef: SWAP2 00000cf0: PUSH1 0x20 00000cf2: SWAP2 00000cf3: DUP3 00000cf4: ADD 00000cf5: SWAP2 00000cf6: ADD 00000cf7: PUSH2 0x0cdc 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: PUSH1 0x01 00000cfe: DUP4 00000cff: PUSH1 0x20 00000d01: SUB 00000d02: PUSH2 0x0100 00000d05: EXP 00000d06: SUB 00000d07: DUP1 00000d08: NOT 00000d09: DUP3 00000d0a: MLOAD 00000d0b: AND 00000d0c: DUP2 00000d0d: DUP5 00000d0e: MLOAD 00000d0f: AND 00000d10: DUP1 00000d11: DUP3 00000d12: OR 00000d13: DUP6 00000d14: MSTORE 00000d15: POP 00000d16: POP 00000d17: POP 00000d18: POP 00000d19: POP 00000d1a: POP 00000d1b: SWAP1 00000d1c: POP 00000d1d: ADD 00000d1e: SWAP2 00000d1f: POP 00000d20: POP 00000d21: PUSH1 0x00 00000d23: PUSH1 0x40 00000d25: MLOAD 00000d26: DUP1 00000d27: DUP4 00000d28: SUB 00000d29: DUP2 00000d2a: DUP6 00000d2b: GAS 00000d2c: DELEGATECALL 00000d2d: SWAP2 00000d2e: POP 00000d2f: POP 00000d30: RETURNDATASIZE 00000d31: DUP1 00000d32: PUSH1 0x00 00000d34: DUP2 00000d35: EQ 00000d36: PUSH2 0x0d5b 00000d39: JUMPI 00000d3a: PUSH1 0x40 00000d3c: MLOAD 00000d3d: SWAP2 00000d3e: POP 00000d3f: PUSH1 0x1f 00000d41: NOT 00000d42: PUSH1 0x3f 00000d44: RETURNDATASIZE 00000d45: ADD 00000d46: AND 00000d47: DUP3 00000d48: ADD 00000d49: PUSH1 0x40 00000d4b: MSTORE 00000d4c: RETURNDATASIZE 00000d4d: DUP3 00000d4e: MSTORE 00000d4f: RETURNDATASIZE 00000d50: PUSH1 0x00 00000d52: PUSH1 0x20 00000d54: DUP5 00000d55: ADD 00000d56: RETURNDATACOPY 00000d57: PUSH2 0x0d60 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: PUSH1 0x60 00000d5e: SWAP2 00000d5f: POP 00000d60: JUMPDEST 00000d61: POP 00000d62: SWAP1 00000d63: SWAP3 00000d64: POP 00000d65: SWAP1 00000d66: POP 00000d67: DUP2 00000d68: PUSH2 0x0db4 00000d6b: JUMPI 00000d6c: PUSH1 0x40 00000d6e: DUP1 00000d6f: MLOAD 00000d70: PUSH3 0x461bcd 00000d74: PUSH1 0xe5 00000d76: SHL 00000d77: DUP2 00000d78: MSTORE 00000d79: PUSH1 0x20 00000d7b: PUSH1 0x04 00000d7d: DUP3 00000d7e: ADD 00000d7f: MSTORE 00000d80: PUSH1 0x19 00000d82: PUSH1 0x24 00000d84: DUP3 00000d85: ADD 00000d86: MSTORE 00000d87: PUSH25 0x10d0531317d513d7d254d19493d6915397d491559154951151 00000da1: PUSH1 0x3a 00000da3: SHL 00000da4: PUSH1 0x44 00000da6: DUP3 00000da7: ADD 00000da8: MSTORE 00000da9: SWAP1 00000daa: MLOAD 00000dab: SWAP1 00000dac: DUP2 00000dad: SWAP1 00000dae: SUB 00000daf: PUSH1 0x64 00000db1: ADD 00000db2: SWAP1 00000db3: REVERT 00000db4: JUMPDEST 00000db5: DUP1 00000db6: DUP1 00000db7: PUSH1 0x20 00000db9: ADD 00000dba: SWAP1 00000dbb: MLOAD 00000dbc: PUSH1 0x20 00000dbe: DUP2 00000dbf: LT 00000dc0: ISZERO 00000dc1: PUSH2 0x0dc9 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: POP 00000dcb: MLOAD 00000dcc: ISZERO 00000dcd: PUSH2 0x0e19 00000dd0: JUMPI 00000dd1: PUSH1 0x40 00000dd3: DUP1 00000dd4: MLOAD 00000dd5: PUSH3 0x461bcd 00000dd9: PUSH1 0xe5 00000ddb: SHL 00000ddc: DUP2 00000ddd: MSTORE 00000dde: PUSH1 0x20 00000de0: PUSH1 0x04 00000de2: DUP3 00000de3: ADD 00000de4: MSTORE 00000de5: PUSH1 0x19 00000de7: PUSH1 0x24 00000de9: DUP3 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH25 0x2722abafa4a6a82622a6a2a72a20aa24a7a72fa32927ad22a7 00000e06: PUSH1 0x39 00000e08: SHL 00000e09: PUSH1 0x44 00000e0b: DUP3 00000e0c: ADD 00000e0d: MSTORE 00000e0e: SWAP1 00000e0f: MLOAD 00000e10: SWAP1 00000e11: DUP2 00000e12: SWAP1 00000e13: SUB 00000e14: PUSH1 0x64 00000e16: ADD 00000e17: SWAP1 00000e18: REVERT 00000e19: JUMPDEST 00000e1a: DUP5 00000e1b: ISZERO 00000e1c: PUSH2 0x0e5c 00000e1f: JUMPI 00000e20: PUSH2 0x0e27 00000e23: PUSH2 0x12d7 00000e26: JUMP 00000e27: JUMPDEST 00000e28: PUSH1 0x40 00000e2a: MLOAD 00000e2b: PUSH1 0x01 00000e2d: PUSH1 0x01 00000e2f: PUSH1 0xa0 00000e31: SHL 00000e32: SUB 00000e33: DUP10 00000e34: AND 00000e35: SWAP1 00000e36: PUSH32 0xc13b75a5f14b69ebdc2431a5d475b3bff371abe251b5064144306fbd9c4de35c 00000e57: SWAP1 00000e58: PUSH1 0x00 00000e5a: SWAP1 00000e5b: LOG2 00000e5c: JUMPDEST 00000e5d: PUSH1 0x40 00000e5f: MLOAD 00000e60: PUSH1 0x01 00000e62: PUSH1 0x01 00000e64: PUSH1 0xa0 00000e66: SHL 00000e67: SUB 00000e68: DUP10 00000e69: AND 00000e6a: SWAP1 00000e6b: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000e8c: SWAP1 00000e8d: PUSH1 0x00 00000e8f: SWAP1 00000e90: LOG2 00000e91: POP 00000e92: POP 00000e93: POP 00000e94: POP 00000e95: POP 00000e96: POP 00000e97: POP 00000e98: POP 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH32 0xc21dbb3089fcb2c4f4c6a67854ab4db2b0f233ea4b21b21f912d52d18fc5db1f 00000ebc: SLOAD 00000ebd: JUMPDEST 00000ebe: SWAP1 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH2 0x050f 00000ec4: DUP2 00000ec5: PUSH2 0x12fd 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x00 00000ecc: PUSH2 0x0ed4 00000ecf: DUP3 00000ed0: PUSH2 0x1055 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: SWAP3 00000ed6: SWAP2 00000ed7: POP 00000ed8: POP 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH32 0x7d433c6f837e8f93009937c466c82efbb5ba621fae36886d0cac433c5d0aa7d2 00000efc: SLOAD 00000efd: ISZERO 00000efe: SWAP1 00000eff: JUMP 00000f00: JUMPDEST 00000f01: PUSH2 0x0886 00000f04: PUSH2 0x13fa 00000f07: JUMP 00000f08: JUMPDEST 00000f09: PUSH2 0x0f11 00000f0c: CALLER 00000f0d: PUSH2 0x1055 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH2 0x0f54 00000f15: JUMPI 00000f16: PUSH1 0x40 00000f18: DUP1 00000f19: MLOAD 00000f1a: PUSH3 0x461bcd 00000f1e: PUSH1 0xe5 00000f20: SHL 00000f21: DUP2 00000f22: MSTORE 00000f23: PUSH1 0x20 00000f25: PUSH1 0x04 00000f27: DUP3 00000f28: ADD 00000f29: MSTORE 00000f2a: PUSH1 0x0f 00000f2c: PUSH1 0x24 00000f2e: DUP3 00000f2f: ADD 00000f30: MSTORE 00000f31: PUSH15 0x4f4e4c595f474f5645524e414e4345 00000f41: PUSH1 0x88 00000f43: SHL 00000f44: PUSH1 0x44 00000f46: DUP3 00000f47: ADD 00000f48: MSTORE 00000f49: SWAP1 00000f4a: MLOAD 00000f4b: SWAP1 00000f4c: DUP2 00000f4d: SWAP1 00000f4e: SUB 00000f4f: PUSH1 0x64 00000f51: ADD 00000f52: SWAP1 00000f53: REVERT 00000f54: JUMPDEST 00000f55: CALLER 00000f56: PUSH1 0x01 00000f58: PUSH1 0x01 00000f5a: PUSH1 0xa0 00000f5c: SHL 00000f5d: SUB 00000f5e: DUP3 00000f5f: AND 00000f60: EQ 00000f61: ISZERO 00000f62: PUSH2 0x0fa9 00000f65: JUMPI 00000f66: PUSH1 0x40 00000f68: DUP1 00000f69: MLOAD 00000f6a: PUSH3 0x461bcd 00000f6e: PUSH1 0xe5 00000f70: SHL 00000f71: DUP2 00000f72: MSTORE 00000f73: PUSH1 0x20 00000f75: PUSH1 0x04 00000f77: DUP3 00000f78: ADD 00000f79: MSTORE 00000f7a: PUSH1 0x14 00000f7c: PUSH1 0x24 00000f7e: DUP3 00000f7f: ADD 00000f80: MSTORE 00000f81: PUSH20 0x474f5645524e4f525f53454c465f52454d4f5645 00000f96: PUSH1 0x60 00000f98: SHL 00000f99: PUSH1 0x44 00000f9b: DUP3 00000f9c: ADD 00000f9d: MSTORE 00000f9e: SWAP1 00000f9f: MLOAD 00000fa0: SWAP1 00000fa1: DUP2 00000fa2: SWAP1 00000fa3: SUB 00000fa4: PUSH1 0x64 00000fa6: ADD 00000fa7: SWAP1 00000fa8: REVERT 00000fa9: JUMPDEST 00000faa: PUSH1 0x00 00000fac: PUSH2 0x0fb3 00000faf: PUSH2 0x1491 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP1 00000fb5: POP 00000fb6: PUSH2 0x0fbe 00000fb9: DUP3 00000fba: PUSH2 0x1055 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH2 0x0ffe 00000fc2: JUMPI 00000fc3: PUSH1 0x40 00000fc5: DUP1 00000fc6: MLOAD 00000fc7: PUSH3 0x461bcd 00000fcb: PUSH1 0xe5 00000fcd: SHL 00000fce: DUP2 00000fcf: MSTORE 00000fd0: PUSH1 0x20 00000fd2: PUSH1 0x04 00000fd4: DUP3 00000fd5: ADD 00000fd6: MSTORE 00000fd7: PUSH1 0x0c 00000fd9: PUSH1 0x24 00000fdb: DUP3 00000fdc: ADD 00000fdd: MSTORE 00000fde: PUSH12 0x2727aa2fa3a7ab22a92727a9 00000feb: PUSH1 0xa1 00000fed: SHL 00000fee: PUSH1 0x44 00000ff0: DUP3 00000ff1: ADD 00000ff2: MSTORE 00000ff3: SWAP1 00000ff4: MLOAD 00000ff5: SWAP1 00000ff6: DUP2 00000ff7: SWAP1 00000ff8: SUB 00000ff9: PUSH1 0x64 00000ffb: ADD 00000ffc: SWAP1 00000ffd: REVERT 00000ffe: JUMPDEST 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: DUP3 00001008: AND 00001009: PUSH1 0x00 0000100b: DUP2 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x20 00001010: DUP4 00001011: DUP2 00001012: MSTORE 00001013: PUSH1 0x40 00001015: SWAP2 00001016: DUP3 00001017: SWAP1 00001018: KECCAK256 00001019: DUP1 0000101a: SLOAD 0000101b: PUSH1 0xff 0000101d: NOT 0000101e: AND 0000101f: SWAP1 00001020: SSTORE 00001021: DUP2 00001022: MLOAD 00001023: SWAP3 00001024: DUP4 00001025: MSTORE 00001026: SWAP1 00001027: MLOAD 00001028: PUSH32 0xd75f94825e770b8b512be8e74759e252ad00e102e38f50cce2f7c6f868a29599 00001049: SWAP3 0000104a: DUP2 0000104b: SWAP1 0000104c: SUB 0000104d: SWAP1 0000104e: SWAP2 0000104f: ADD 00001050: SWAP1 00001051: LOG1 00001052: POP 00001053: POP 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH1 0x00 00001058: DUP1 00001059: PUSH2 0x1060 0000105c: PUSH2 0x1491 0000105f: JUMP 00001060: JUMPDEST 00001061: PUSH1 0x01 00001063: PUSH1 0x01 00001065: PUSH1 0xa0 00001067: SHL 00001068: SUB 00001069: SWAP1 0000106a: SWAP4 0000106b: AND 0000106c: PUSH1 0x00 0000106e: SWAP1 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x20 00001073: SWAP4 00001074: SWAP1 00001075: SWAP4 00001076: MSTORE 00001077: POP 00001078: POP 00001079: PUSH1 0x40 0000107b: SWAP1 0000107c: KECCAK256 0000107d: SLOAD 0000107e: PUSH1 0xff 00001080: AND 00001081: SWAP1 00001082: JUMP 00001083: JUMPDEST 00001084: EXTCODESIZE 00001085: ISZERO 00001086: ISZERO 00001087: SWAP1 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH1 0x00 0000108c: PUSH2 0x1093 0000108f: PUSH2 0x1491 00001092: JUMP 00001093: JUMPDEST 00001094: PUSH1 0x01 00001096: DUP2 00001097: ADD 00001098: SLOAD 00001099: SWAP1 0000109a: SWAP2 0000109b: POP 0000109c: PUSH1 0x01 0000109e: PUSH1 0x01 000010a0: PUSH1 0xa0 000010a2: SHL 000010a3: SUB 000010a4: AND 000010a5: CALLER 000010a6: EQ 000010a7: PUSH2 0x10f1 000010aa: JUMPI 000010ab: PUSH1 0x40 000010ad: DUP1 000010ae: MLOAD 000010af: PUSH3 0x461bcd 000010b3: PUSH1 0xe5 000010b5: SHL 000010b6: DUP2 000010b7: MSTORE 000010b8: PUSH1 0x20 000010ba: PUSH1 0x04 000010bc: DUP3 000010bd: ADD 000010be: MSTORE 000010bf: PUSH1 0x17 000010c1: PUSH1 0x24 000010c3: DUP3 000010c4: ADD 000010c5: MSTORE 000010c6: PUSH23 0x27a7262cafa1a0a72224a220aa22afa3a7ab22a92727a9 000010de: PUSH1 0x49 000010e0: SHL 000010e1: PUSH1 0x44 000010e3: DUP3 000010e4: ADD 000010e5: MSTORE 000010e6: SWAP1 000010e7: MLOAD 000010e8: SWAP1 000010e9: DUP2 000010ea: SWAP1 000010eb: SUB 000010ec: PUSH1 0x64 000010ee: ADD 000010ef: SWAP1 000010f0: REVERT 000010f1: JUMPDEST 000010f2: PUSH1 0x01 000010f4: DUP2 000010f5: ADD 000010f6: SLOAD 000010f7: PUSH2 0x1108 000010fa: SWAP1 000010fb: PUSH1 0x01 000010fd: PUSH1 0x01 000010ff: PUSH1 0xa0 00001101: SHL 00001102: SUB 00001103: AND 00001104: PUSH2 0x155c 00001107: JUMP 00001108: JUMPDEST 00001109: PUSH1 0x01 0000110b: DUP2 0000110c: ADD 0000110d: DUP1 0000110e: SLOAD 0000110f: PUSH1 0x01 00001111: PUSH1 0x01 00001113: PUSH1 0xa0 00001115: SHL 00001116: SUB 00001117: NOT 00001118: AND 00001119: SWAP1 0000111a: SSTORE 0000111b: PUSH1 0x40 0000111d: DUP1 0000111e: MLOAD 0000111f: CALLER 00001120: DUP2 00001121: MSTORE 00001122: SWAP1 00001123: MLOAD 00001124: PUSH32 0xcfb473e6c03f9a29ddaf990e736fa3de5188a0bd85d684f5b6e164ebfbfff5d2 00001145: SWAP2 00001146: DUP2 00001147: SWAP1 00001148: SUB 00001149: PUSH1 0x20 0000114b: ADD 0000114c: SWAP1 0000114d: LOG1 0000114e: POP 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: DUP1 00001154: PUSH2 0x115b 00001157: PUSH2 0x04e1 0000115a: JUMP 0000115b: JUMPDEST 0000115c: SWAP1 0000115d: POP 0000115e: PUSH1 0x01 00001160: PUSH1 0x01 00001162: PUSH1 0xa0 00001164: SHL 00001165: SUB 00001166: DUP2 00001167: AND 00001168: PUSH2 0x1175 0000116b: JUMPI 0000116c: PUSH1 0x00 0000116e: SWAP2 0000116f: POP 00001170: POP 00001171: PUSH2 0x0ebd 00001174: JUMP 00001175: JUMPDEST 00001176: PUSH1 0x40 00001178: DUP1 00001179: MLOAD 0000117a: PUSH1 0x04 0000117c: DUP2 0000117d: MSTORE 0000117e: PUSH1 0x24 00001180: DUP2 00001181: ADD 00001182: DUP3 00001183: MSTORE 00001184: PUSH1 0x20 00001186: DUP2 00001187: ADD 00001188: DUP1 00001189: MLOAD 0000118a: PUSH1 0x01 0000118c: PUSH1 0x01 0000118e: PUSH1 0xe0 00001190: SHL 00001191: SUB 00001192: AND 00001193: PUSH4 0x33eeb147 00001198: PUSH1 0xe0 0000119a: SHL 0000119b: OR 0000119c: DUP2 0000119d: MSTORE 0000119e: SWAP2 0000119f: MLOAD 000011a0: DUP2 000011a1: MLOAD 000011a2: PUSH1 0x00 000011a4: SWAP4 000011a5: PUSH1 0x60 000011a7: SWAP4 000011a8: PUSH1 0x01 000011aa: PUSH1 0x01 000011ac: PUSH1 0xa0 000011ae: SHL 000011af: SUB 000011b0: DUP8 000011b1: AND 000011b2: SWAP4 000011b3: SWAP1 000011b4: SWAP3 000011b5: SWAP1 000011b6: SWAP2 000011b7: DUP3 000011b8: SWAP2 000011b9: DUP1 000011ba: DUP4 000011bb: DUP4 000011bc: JUMPDEST 000011bd: PUSH1 0x20 000011bf: DUP4 000011c0: LT 000011c1: PUSH2 0x11db 000011c4: JUMPI 000011c5: DUP1 000011c6: MLOAD 000011c7: DUP3 000011c8: MSTORE 000011c9: PUSH1 0x1f 000011cb: NOT 000011cc: SWAP1 000011cd: SWAP3 000011ce: ADD 000011cf: SWAP2 000011d0: PUSH1 0x20 000011d2: SWAP2 000011d3: DUP3 000011d4: ADD 000011d5: SWAP2 000011d6: ADD 000011d7: PUSH2 0x11bc 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x01 000011de: DUP4 000011df: PUSH1 0x20 000011e1: SUB 000011e2: PUSH2 0x0100 000011e5: EXP 000011e6: SUB 000011e7: DUP1 000011e8: NOT 000011e9: DUP3 000011ea: MLOAD 000011eb: AND 000011ec: DUP2 000011ed: DUP5 000011ee: MLOAD 000011ef: AND 000011f0: DUP1 000011f1: DUP3 000011f2: OR 000011f3: DUP6 000011f4: MSTORE 000011f5: POP 000011f6: POP 000011f7: POP 000011f8: POP 000011f9: POP 000011fa: POP 000011fb: SWAP1 000011fc: POP 000011fd: ADD 000011fe: SWAP2 000011ff: POP 00001200: POP 00001201: PUSH1 0x00 00001203: PUSH1 0x40 00001205: MLOAD 00001206: DUP1 00001207: DUP4 00001208: SUB 00001209: DUP2 0000120a: DUP6 0000120b: GAS 0000120c: DELEGATECALL 0000120d: SWAP2 0000120e: POP 0000120f: POP 00001210: RETURNDATASIZE 00001211: DUP1 00001212: PUSH1 0x00 00001214: DUP2 00001215: EQ 00001216: PUSH2 0x123b 00001219: JUMPI 0000121a: PUSH1 0x40 0000121c: MLOAD 0000121d: SWAP2 0000121e: POP 0000121f: PUSH1 0x1f 00001221: NOT 00001222: PUSH1 0x3f 00001224: RETURNDATASIZE 00001225: ADD 00001226: AND 00001227: DUP3 00001228: ADD 00001229: PUSH1 0x40 0000122b: MSTORE 0000122c: RETURNDATASIZE 0000122d: DUP3 0000122e: MSTORE 0000122f: RETURNDATASIZE 00001230: PUSH1 0x00 00001232: PUSH1 0x20 00001234: DUP5 00001235: ADD 00001236: RETURNDATACOPY 00001237: PUSH2 0x1240 0000123a: JUMP 0000123b: JUMPDEST 0000123c: PUSH1 0x60 0000123e: SWAP2 0000123f: POP 00001240: JUMPDEST 00001241: POP 00001242: SWAP2 00001243: POP 00001244: SWAP2 00001245: POP 00001246: DUP2 00001247: DUP2 00001248: SWAP1 00001249: PUSH2 0x1293 0000124c: JUMPI 0000124d: PUSH1 0x40 0000124f: MLOAD 00001250: PUSH3 0x461bcd 00001254: PUSH1 0xe5 00001256: SHL 00001257: DUP2 00001258: MSTORE 00001259: PUSH1 0x20 0000125b: PUSH1 0x04 0000125d: DUP3 0000125e: ADD 0000125f: DUP2 00001260: DUP2 00001261: MSTORE 00001262: DUP4 00001263: MLOAD 00001264: PUSH1 0x24 00001266: DUP5 00001267: ADD 00001268: MSTORE 00001269: DUP4 0000126a: MLOAD 0000126b: SWAP1 0000126c: SWAP3 0000126d: DUP4 0000126e: SWAP3 0000126f: PUSH1 0x44 00001271: SWAP1 00001272: SWAP2 00001273: ADD 00001274: SWAP2 00001275: SWAP1 00001276: DUP6 00001277: ADD 00001278: SWAP1 00001279: DUP1 0000127a: DUP4 0000127b: DUP4 0000127c: PUSH1 0x00 0000127e: DUP4 0000127f: ISZERO 00001280: PUSH2 0x0c63 00001283: JUMPI 00001284: DUP2 00001285: DUP2 00001286: ADD 00001287: MLOAD 00001288: DUP4 00001289: DUP3 0000128a: ADD 0000128b: MSTORE 0000128c: PUSH1 0x20 0000128e: ADD 0000128f: PUSH2 0x0c4b 00001292: JUMP 00001293: JUMPDEST 00001294: POP 00001295: DUP1 00001296: DUP1 00001297: PUSH1 0x20 00001299: ADD 0000129a: SWAP1 0000129b: MLOAD 0000129c: PUSH1 0x20 0000129e: DUP2 0000129f: LT 000012a0: ISZERO 000012a1: PUSH2 0x12a9 000012a4: JUMPI 000012a5: PUSH1 0x00 000012a7: DUP1 000012a8: REVERT 000012a9: JUMPDEST 000012aa: POP 000012ab: MLOAD 000012ac: SWAP4 000012ad: POP 000012ae: POP 000012af: POP 000012b0: POP 000012b1: SWAP1 000012b2: JUMP 000012b3: JUMPDEST 000012b4: PUSH32 0x177667240aeeea7e35eabe3a35e18306f336219e1386f7710a6bf8783f761b24 000012d5: SSTORE 000012d6: JUMP 000012d7: JUMPDEST 000012d8: PUSH1 0x01 000012da: PUSH32 0x7d433c6f837e8f93009937c466c82efbb5ba621fae36886d0cac433c5d0aa7d2 000012fb: SSTORE 000012fc: JUMP 000012fd: JUMPDEST 000012fe: PUSH2 0x1306 00001301: CALLER 00001302: PUSH2 0x1055 00001305: JUMP 00001306: JUMPDEST 00001307: PUSH2 0x1349 0000130a: JUMPI 0000130b: PUSH1 0x40 0000130d: DUP1 0000130e: MLOAD 0000130f: PUSH3 0x461bcd 00001313: PUSH1 0xe5 00001315: SHL 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x20 0000131a: PUSH1 0x04 0000131c: DUP3 0000131d: ADD 0000131e: MSTORE 0000131f: PUSH1 0x0f 00001321: PUSH1 0x24 00001323: DUP3 00001324: ADD 00001325: MSTORE 00001326: PUSH15 0x4f4e4c595f474f5645524e414e4345 00001336: PUSH1 0x88 00001338: SHL 00001339: PUSH1 0x44 0000133b: DUP3 0000133c: ADD 0000133d: MSTORE 0000133e: SWAP1 0000133f: MLOAD 00001340: SWAP1 00001341: DUP2 00001342: SWAP1 00001343: SUB 00001344: PUSH1 0x64 00001346: ADD 00001347: SWAP1 00001348: REVERT 00001349: JUMPDEST 0000134a: PUSH1 0x00 0000134c: PUSH2 0x1353 0000134f: PUSH2 0x1491 00001352: JUMP 00001353: JUMPDEST 00001354: SWAP1 00001355: POP 00001356: PUSH2 0x135e 00001359: DUP3 0000135a: PUSH2 0x1055 0000135d: JUMP 0000135e: JUMPDEST 0000135f: ISZERO 00001360: PUSH2 0x13a3 00001363: JUMPI 00001364: PUSH1 0x40 00001366: DUP1 00001367: MLOAD 00001368: PUSH3 0x461bcd 0000136c: PUSH1 0xe5 0000136e: SHL 0000136f: DUP2 00001370: MSTORE 00001371: PUSH1 0x20 00001373: PUSH1 0x04 00001375: DUP3 00001376: ADD 00001377: MSTORE 00001378: PUSH1 0x10 0000137a: PUSH1 0x24 0000137c: DUP3 0000137d: ADD 0000137e: MSTORE 0000137f: PUSH16 0x20a62922a0a22cafa3a7ab22a92727a9 00001390: PUSH1 0x81 00001392: SHL 00001393: PUSH1 0x44 00001395: DUP3 00001396: ADD 00001397: MSTORE 00001398: SWAP1 00001399: MLOAD 0000139a: SWAP1 0000139b: DUP2 0000139c: SWAP1 0000139d: SUB 0000139e: PUSH1 0x64 000013a0: ADD 000013a1: SWAP1 000013a2: REVERT 000013a3: JUMPDEST 000013a4: PUSH1 0x01 000013a6: DUP2 000013a7: ADD 000013a8: DUP1 000013a9: SLOAD 000013aa: PUSH1 0x01 000013ac: PUSH1 0x01 000013ae: PUSH1 0xa0 000013b0: SHL 000013b1: SUB 000013b2: DUP5 000013b3: AND 000013b4: PUSH1 0x01 000013b6: PUSH1 0x01 000013b8: PUSH1 0xa0 000013ba: SHL 000013bb: SUB 000013bc: NOT 000013bd: SWAP1 000013be: SWAP2 000013bf: AND 000013c0: DUP2 000013c1: OR 000013c2: SWAP1 000013c3: SWAP2 000013c4: SSTORE 000013c5: PUSH1 0x40 000013c7: DUP1 000013c8: MLOAD 000013c9: SWAP2 000013ca: DUP3 000013cb: MSTORE 000013cc: MLOAD 000013cd: PUSH32 0x6166272c8d3f5f579082f2827532732f97195007983bb5b83ac12c56700b01a6 000013ee: SWAP2 000013ef: DUP2 000013f0: SWAP1 000013f1: SUB 000013f2: PUSH1 0x20 000013f4: ADD 000013f5: SWAP1 000013f6: LOG1 000013f7: POP 000013f8: POP 000013f9: JUMP 000013fa: JUMPDEST 000013fb: PUSH2 0x1403 000013fe: CALLER 000013ff: PUSH2 0x1055 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH2 0x1446 00001407: JUMPI 00001408: PUSH1 0x40 0000140a: DUP1 0000140b: MLOAD 0000140c: PUSH3 0x461bcd 00001410: PUSH1 0xe5 00001412: SHL 00001413: DUP2 00001414: MSTORE 00001415: PUSH1 0x20 00001417: PUSH1 0x04 00001419: DUP3 0000141a: ADD 0000141b: MSTORE 0000141c: PUSH1 0x0f 0000141e: PUSH1 0x24 00001420: DUP3 00001421: ADD 00001422: MSTORE 00001423: PUSH15 0x4f4e4c595f474f5645524e414e4345 00001433: PUSH1 0x88 00001435: SHL 00001436: PUSH1 0x44 00001438: DUP3 00001439: ADD 0000143a: MSTORE 0000143b: SWAP1 0000143c: MLOAD 0000143d: SWAP1 0000143e: DUP2 0000143f: SWAP1 00001440: SUB 00001441: PUSH1 0x64 00001443: ADD 00001444: SWAP1 00001445: REVERT 00001446: JUMPDEST 00001447: PUSH1 0x00 00001449: PUSH2 0x1450 0000144c: PUSH2 0x1491 0000144f: JUMP 00001450: JUMPDEST 00001451: PUSH1 0x01 00001453: DUP2 00001454: ADD 00001455: DUP1 00001456: SLOAD 00001457: PUSH1 0x01 00001459: PUSH1 0x01 0000145b: PUSH1 0xa0 0000145d: SHL 0000145e: SUB 0000145f: NOT 00001460: AND 00001461: SWAP1 00001462: SSTORE 00001463: PUSH1 0x40 00001465: MLOAD 00001466: SWAP1 00001467: SWAP2 00001468: POP 00001469: PUSH32 0x7a8dc7dd7fffb43c4807438fa62729225156941e641fd877938f4edade3429f5 0000148a: SWAP1 0000148b: PUSH1 0x00 0000148d: SWAP1 0000148e: LOG1 0000148f: POP 00001490: JUMP 00001491: JUMPDEST 00001492: PUSH1 0x00 00001494: PUSH1 0x60 00001496: PUSH2 0x149d 00001499: PUSH2 0x15dc 0000149c: JUMP 0000149d: JUMPDEST 0000149e: SWAP1 0000149f: POP 000014a0: PUSH1 0x00 000014a2: DUP1 000014a3: DUP3 000014a4: PUSH1 0x40 000014a6: MLOAD 000014a7: DUP1 000014a8: DUP3 000014a9: DUP1 000014aa: MLOAD 000014ab: SWAP1 000014ac: PUSH1 0x20 000014ae: ADD 000014af: SWAP1 000014b0: DUP1 000014b1: DUP4 000014b2: DUP4 000014b3: JUMPDEST 000014b4: PUSH1 0x20 000014b6: DUP4 000014b7: LT 000014b8: PUSH2 0x14d2 000014bb: JUMPI 000014bc: DUP1 000014bd: MLOAD 000014be: DUP3 000014bf: MSTORE 000014c0: PUSH1 0x1f 000014c2: NOT 000014c3: SWAP1 000014c4: SWAP3 000014c5: ADD 000014c6: SWAP2 000014c7: PUSH1 0x20 000014c9: SWAP2 000014ca: DUP3 000014cb: ADD 000014cc: SWAP2 000014cd: ADD 000014ce: PUSH2 0x14b3 000014d1: JUMP 000014d2: JUMPDEST 000014d3: MLOAD 000014d4: DUP2 000014d5: MLOAD 000014d6: PUSH1 0x20 000014d8: SWAP4 000014d9: DUP5 000014da: SUB 000014db: PUSH2 0x0100 000014de: EXP 000014df: PUSH1 0x00 000014e1: NOT 000014e2: ADD 000014e3: DUP1 000014e4: NOT 000014e5: SWAP1 000014e6: SWAP3 000014e7: AND 000014e8: SWAP2 000014e9: AND 000014ea: OR 000014eb: SWAP1 000014ec: MSTORE 000014ed: SWAP3 000014ee: ADD 000014ef: SWAP5 000014f0: DUP6 000014f1: MSTORE 000014f2: POP 000014f3: PUSH1 0x40 000014f5: MLOAD 000014f6: SWAP4 000014f7: DUP5 000014f8: SWAP1 000014f9: SUB 000014fa: ADD 000014fb: SWAP1 000014fc: SWAP3 000014fd: KECCAK256 000014fe: PUSH1 0x01 00001500: DUP2 00001501: ADD 00001502: SLOAD 00001503: SWAP1 00001504: SWAP4 00001505: POP 00001506: PUSH1 0x01 00001508: PUSH1 0xa0 0000150a: SHL 0000150b: SWAP1 0000150c: DIV 0000150d: PUSH1 0xff 0000150f: AND 00001510: SWAP2 00001511: POP 00001512: PUSH2 0x1556 00001515: SWAP1 00001516: POP 00001517: JUMPI 00001518: PUSH1 0x40 0000151a: DUP1 0000151b: MLOAD 0000151c: PUSH3 0x461bcd 00001520: PUSH1 0xe5 00001522: SHL 00001523: DUP2 00001524: MSTORE 00001525: PUSH1 0x20 00001527: PUSH1 0x04 00001529: DUP3 0000152a: ADD 0000152b: MSTORE 0000152c: PUSH1 0x0f 0000152e: PUSH1 0x24 00001530: DUP3 00001531: ADD 00001532: MSTORE 00001533: PUSH15 0x1393d517d253925512505312569151 00001543: PUSH1 0x8a 00001545: SHL 00001546: PUSH1 0x44 00001548: DUP3 00001549: ADD 0000154a: MSTORE 0000154b: SWAP1 0000154c: MLOAD 0000154d: SWAP1 0000154e: DUP2 0000154f: SWAP1 00001550: SUB 00001551: PUSH1 0x64 00001553: ADD 00001554: SWAP1 00001555: REVERT 00001556: JUMPDEST 00001557: SWAP2 00001558: POP 00001559: POP 0000155a: SWAP1 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH2 0x1565 00001560: DUP2 00001561: PUSH2 0x1055 00001564: JUMP 00001565: JUMPDEST 00001566: ISZERO 00001567: PUSH2 0x15aa 0000156a: JUMPI 0000156b: PUSH1 0x40 0000156d: DUP1 0000156e: MLOAD 0000156f: PUSH3 0x461bcd 00001573: PUSH1 0xe5 00001575: SHL 00001576: DUP2 00001577: MSTORE 00001578: PUSH1 0x20 0000157a: PUSH1 0x04 0000157c: DUP3 0000157d: ADD 0000157e: MSTORE 0000157f: PUSH1 0x10 00001581: PUSH1 0x24 00001583: DUP3 00001584: ADD 00001585: MSTORE 00001586: PUSH16 0x20a62922a0a22cafa3a7ab22a92727a9 00001597: PUSH1 0x81 00001599: SHL 0000159a: PUSH1 0x44 0000159c: DUP3 0000159d: ADD 0000159e: MSTORE 0000159f: SWAP1 000015a0: MLOAD 000015a1: SWAP1 000015a2: DUP2 000015a3: SWAP1 000015a4: SUB 000015a5: PUSH1 0x64 000015a7: ADD 000015a8: SWAP1 000015a9: REVERT 000015aa: JUMPDEST 000015ab: PUSH1 0x00 000015ad: PUSH2 0x15b4 000015b0: PUSH2 0x1491 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x01 000015b7: PUSH1 0x01 000015b9: PUSH1 0xa0 000015bb: SHL 000015bc: SUB 000015bd: SWAP1 000015be: SWAP3 000015bf: AND 000015c0: PUSH1 0x00 000015c2: SWAP1 000015c3: DUP2 000015c4: MSTORE 000015c5: PUSH1 0x20 000015c7: SWAP3 000015c8: SWAP1 000015c9: SWAP3 000015ca: MSTORE 000015cb: POP 000015cc: PUSH1 0x40 000015ce: SWAP1 000015cf: KECCAK256 000015d0: DUP1 000015d1: SLOAD 000015d2: PUSH1 0xff 000015d4: NOT 000015d5: AND 000015d6: PUSH1 0x01 000015d8: OR 000015d9: SWAP1 000015da: SSTORE 000015db: JUMP 000015dc: JUMPDEST 000015dd: PUSH1 0x60 000015df: PUSH1 0x40 000015e1: MLOAD 000015e2: DUP1 000015e3: PUSH1 0x60 000015e5: ADD 000015e6: PUSH1 0x40 000015e8: MSTORE 000015e9: DUP1 000015ea: PUSH1 0x27 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x20 000015f0: ADD 000015f1: PUSH2 0x15fd 000015f4: PUSH1 0x27 000015f6: SWAP2 000015f7: CODECOPY 000015f8: SWAP1 000015f9: POP 000015fa: SWAP1 000015fb: JUMP 000015fc: INVALID 000015fd: MSTORE8 000015fe: PUSH21 0x61726b45782e50726f78792e323031392e476f7665 00001614: PUSH19 0x6e6f7273496e666f726d6174696f6ea265627a 00001628: PUSH27 0x7231582046f8306b207632037e95b6a1a04ace2c73d9cebf820458 00001644: UNKNOWN(0xAB) 00001645: DUP8 00001646: UNKNOWN(0xE6) 00001647: CALL 00001648: DUP10 00001649: UNKNOWN(0xAF) 0000164a: UNKNOWN(0xC0) 0000164b: DUP1 0000164c: UNKNOWN(0x1F) 0000164d: PUSH5 0x736f6c6343 00001653: STOP 00001654: SDIV 00001655: UNKNOWN(0x0F) 00001656: STOP 00001657: ORIGIN
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x36bb6097926978aa4baf02e6f0d4a33f784f387cabbd232f59f851395b7f3a34
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 168,
"trace_id": "0x36bb6097926978aa4baf02e6f0d4a33f784f387cabbd232f59f851395b7f3a34",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x6684b1d6",
"selector": "0x6684b1d6",
"calldata_variants": [
"0x6684b1d6",
"0x6684b1d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a44f07",
"selector": "0x72a44f07",
"calldata_variants": [
"0x72a44f07",
"0x72a44f070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8757653f",
"selector": "0x8757653f",
"calldata_variants": [
"0x8757653f",
"0x8757653f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb449ea5d",
"selector": "0xb449ea5d",
"calldata_variants": [
"0xb449ea5d",
"0xb449ea5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9bcdde4",
"selector": "0xf9bcdde4",
"calldata_variants": [
"0xf9bcdde4",
"0xf9bcdde40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12f16e6d",
"selector": "0x12f16e6d",
"calldata_variants": [
"0x12f16e6d",
"0x12f16e6d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 299,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3034,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3372,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 5719,
"type": "tx_origin_used"
}
],
"delegatecall_count": 4,
"untrusted_delegatecall_count": 4
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x6684b1d6",
"selector": "0x6684b1d6",
"calldata_variants": [
"0x6684b1d6",
"0x6684b1d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a44f07",
"selector": "0x72a44f07",
"calldata_variants": [
"0x72a44f07",
"0x72a44f070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8757653f",
"selector": "0x8757653f",
"calldata_variants": [
"0x8757653f",
"0x8757653f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb449ea5d",
"selector": "0xb449ea5d",
"calldata_variants": [
"0xb449ea5d",
"0xb449ea5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9bcdde4",
"selector": "0xf9bcdde4",
"calldata_variants": [
"0xf9bcdde4",
"0xf9bcdde40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12f16e6d",
"selector": "0x12f16e6d",
"calldata_variants": [
"0x12f16e6d",
"0x12f16e6d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5719,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0ec4b45d26c075a1dfee4a2ad8f12a61cd71e173b479fafd90ee222e01b9260d
call_targets:
0x5fdcca53617f4d2b9134b29090c87d01058e27e9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0ec4b45d26c075a1dfee4a2ad8f12a61cd71e173b479fafd90ee222e01b9260d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fdcca53617f4d2b9134b29090c87d01058e27e9"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x6684b1d6",
"selector": "0x6684b1d6",
"calldata_variants": [
"0x6684b1d6",
"0x6684b1d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a44f07",
"selector": "0x72a44f07",
"calldata_variants": [
"0x72a44f07",
"0x72a44f070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8757653f",
"selector": "0x8757653f",
"calldata_variants": [
"0x8757653f",
"0x8757653f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb449ea5d",
"selector": "0xb449ea5d",
"calldata_variants": [
"0xb449ea5d",
"0xb449ea5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9bcdde4",
"selector": "0xf9bcdde4",
"calldata_variants": [
"0xf9bcdde4",
"0xf9bcdde40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12f16e6d",
"selector": "0x12f16e6d",
"calldata_variants": [
"0x12f16e6d",
"0x12f16e6d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5703,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 5719,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0ec4b45d26c075a1dfee4a2ad8f12a61cd71e173b479fafd90ee222e01b9260d
call_targets:
0x5fdcca53617f4d2b9134b29090c87d01058e27e9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0ec4b45d26c075a1dfee4a2ad8f12a61cd71e173b479fafd90ee222e01b9260d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fdcca53617f4d2b9134b29090c87d01058e27e9"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x6684b1d6",
"selector": "0x6684b1d6",
"calldata_variants": [
"0x6684b1d6",
"0x6684b1d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a44f07",
"selector": "0x72a44f07",
"calldata_variants": [
"0x72a44f07",
"0x72a44f070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8757653f",
"selector": "0x8757653f",
"calldata_variants": [
"0x8757653f",
"0x8757653f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb449ea5d",
"selector": "0xb449ea5d",
"calldata_variants": [
"0xb449ea5d",
"0xb449ea5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9bcdde4",
"selector": "0xf9bcdde4",
"calldata_variants": [
"0xf9bcdde4",
"0xf9bcdde40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12f16e6d",
"selector": "0x12f16e6d",
"calldata_variants": [
"0x12f16e6d",
"0x12f16e6d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5703,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 5719,
"type": "tx_origin_used"
}
]
}
|