019b477e-b289-70cf-acf1-3b69f8355ada
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 |
|---|---|---|---|---|
| 22367 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22368 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107261 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107262 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107263 | detector.run | complete | 1 / 3 | 1 week ago |
| 107264 | 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 0x0153 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x05d2035b 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x015d 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x0186 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x095ea7b3 00000051: EQ 00000052: PUSH2 0x0210 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x0234 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x23b872dd 00000067: EQ 00000068: PUSH2 0x025b 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x2e92abdd 00000072: EQ 00000073: PUSH2 0x0285 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x029a 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x36ef1abb 00000088: EQ 00000089: PUSH2 0x0153 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x3cb802b9 00000093: EQ 00000094: PUSH2 0x02c5 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x40c10f19 0000009e: EQ 0000009f: PUSH2 0x02da 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x427539c9 000000a9: EQ 000000aa: PUSH2 0x02fe 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x51ee387d 000000b4: EQ 000000b5: PUSH2 0x0313 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x66188463 000000bf: EQ 000000c0: PUSH2 0x0334 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x70a08231 000000ca: EQ 000000cb: PUSH2 0x0358 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x715018a6 000000d5: EQ 000000d6: PUSH2 0x0379 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x7d64bcb4 000000e0: EQ 000000e1: PUSH2 0x038e 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x8da5cb5b 000000eb: EQ 000000ec: PUSH2 0x03a3 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x95d89b41 000000f6: EQ 000000f7: PUSH2 0x03d4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x997664d7 00000101: EQ 00000102: PUSH2 0x03e9 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa9059cbb 0000010c: EQ 0000010d: PUSH2 0x03fe 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xd73dd623 00000117: EQ 00000118: PUSH2 0x0422 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xdca919de 00000122: EQ 00000123: PUSH2 0x0446 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdd62ed3e 0000012d: EQ 0000012e: PUSH2 0x0485 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe69d849d 00000138: EQ 00000139: PUSH2 0x04ac 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xf2fde38b 00000143: EQ 00000144: PUSH2 0x04d0 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf88351d9 0000014e: EQ 0000014f: PUSH2 0x04f1 00000152: JUMPI 00000153: JUMPDEST 00000154: PUSH2 0x015b 00000157: PUSH2 0x0512 0000015a: JUMP 0000015b: JUMPDEST 0000015c: STOP 0000015d: JUMPDEST 0000015e: CALLVALUE 0000015f: DUP1 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH2 0x0172 0000016e: PUSH2 0x0584 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: DUP1 00000176: MLOAD 00000177: SWAP2 00000178: ISZERO 00000179: ISZERO 0000017a: DUP3 0000017b: MSTORE 0000017c: MLOAD 0000017d: SWAP1 0000017e: DUP2 0000017f: SWAP1 00000180: SUB 00000181: PUSH1 0x20 00000183: ADD 00000184: SWAP1 00000185: RETURN 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x019b 00000197: PUSH2 0x0594 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH1 0x40 0000019e: DUP1 0000019f: MLOAD 000001a0: PUSH1 0x20 000001a2: DUP1 000001a3: DUP3 000001a4: MSTORE 000001a5: DUP4 000001a6: MLOAD 000001a7: DUP2 000001a8: DUP4 000001a9: ADD 000001aa: MSTORE 000001ab: DUP4 000001ac: MLOAD 000001ad: SWAP2 000001ae: SWAP3 000001af: DUP4 000001b0: SWAP3 000001b1: SWAP1 000001b2: DUP4 000001b3: ADD 000001b4: SWAP2 000001b5: DUP6 000001b6: ADD 000001b7: SWAP1 000001b8: DUP1 000001b9: DUP4 000001ba: DUP4 000001bb: PUSH1 0x00 000001bd: JUMPDEST 000001be: DUP4 000001bf: DUP2 000001c0: LT 000001c1: ISZERO 000001c2: PUSH2 0x01d5 000001c5: JUMPI 000001c6: DUP2 000001c7: DUP2 000001c8: ADD 000001c9: MLOAD 000001ca: DUP4 000001cb: DUP3 000001cc: ADD 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: PUSH2 0x01bd 000001d4: JUMP 000001d5: JUMPDEST 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: SWAP1 000001db: POP 000001dc: SWAP1 000001dd: DUP2 000001de: ADD 000001df: SWAP1 000001e0: PUSH1 0x1f 000001e2: AND 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x0202 000001e8: JUMPI 000001e9: DUP1 000001ea: DUP3 000001eb: SUB 000001ec: DUP1 000001ed: MLOAD 000001ee: PUSH1 0x01 000001f0: DUP4 000001f1: PUSH1 0x20 000001f3: SUB 000001f4: PUSH2 0x0100 000001f7: EXP 000001f8: SUB 000001f9: NOT 000001fa: AND 000001fb: DUP2 000001fc: MSTORE 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP2 00000201: POP 00000202: JUMPDEST 00000203: POP 00000204: SWAP3 00000205: POP 00000206: POP 00000207: POP 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: SWAP2 0000020d: SUB 0000020e: SWAP1 0000020f: RETURN 00000210: JUMPDEST 00000211: CALLVALUE 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH2 0x0172 00000221: PUSH1 0x01 00000223: PUSH1 0xa0 00000225: PUSH1 0x02 00000227: EXP 00000228: SUB 00000229: PUSH1 0x04 0000022b: CALLDATALOAD 0000022c: AND 0000022d: PUSH1 0x24 0000022f: CALLDATALOAD 00000230: PUSH2 0x0622 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0249 00000245: PUSH2 0x0688 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: DUP1 0000024d: MLOAD 0000024e: SWAP2 0000024f: DUP3 00000250: MSTORE 00000251: MLOAD 00000252: SWAP1 00000253: DUP2 00000254: SWAP1 00000255: SUB 00000256: PUSH1 0x20 00000258: ADD 00000259: SWAP1 0000025a: RETURN 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0172 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: PUSH1 0x04 00000276: CALLDATALOAD 00000277: DUP2 00000278: AND 00000279: SWAP1 0000027a: PUSH1 0x24 0000027c: CALLDATALOAD 0000027d: AND 0000027e: PUSH1 0x44 00000280: CALLDATALOAD 00000281: PUSH2 0x068e 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x015b 00000296: PUSH2 0x0706 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x02af 000002ab: PUSH2 0x0861 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH1 0x40 000002b2: DUP1 000002b3: MLOAD 000002b4: PUSH1 0xff 000002b6: SWAP1 000002b7: SWAP3 000002b8: AND 000002b9: DUP3 000002ba: MSTORE 000002bb: MLOAD 000002bc: SWAP1 000002bd: DUP2 000002be: SWAP1 000002bf: SUB 000002c0: PUSH1 0x20 000002c2: ADD 000002c3: SWAP1 000002c4: RETURN 000002c5: JUMPDEST 000002c6: CALLVALUE 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x0249 000002d6: PUSH2 0x0871 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x0172 000002eb: PUSH1 0x01 000002ed: PUSH1 0xa0 000002ef: PUSH1 0x02 000002f1: EXP 000002f2: SUB 000002f3: PUSH1 0x04 000002f5: CALLDATALOAD 000002f6: AND 000002f7: PUSH1 0x24 000002f9: CALLDATALOAD 000002fa: PUSH2 0x0877 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH2 0x0249 0000030f: PUSH2 0x08a5 00000312: JUMP 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x0172 00000324: PUSH1 0x01 00000326: PUSH1 0xa0 00000328: PUSH1 0x02 0000032a: EXP 0000032b: SUB 0000032c: PUSH1 0x04 0000032e: CALLDATALOAD 0000032f: AND 00000330: PUSH2 0x08ab 00000333: JUMP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x0172 00000345: PUSH1 0x01 00000347: PUSH1 0xa0 00000349: PUSH1 0x02 0000034b: EXP 0000034c: SUB 0000034d: PUSH1 0x04 0000034f: CALLDATALOAD 00000350: AND 00000351: PUSH1 0x24 00000353: CALLDATALOAD 00000354: PUSH2 0x08ce 00000357: JUMP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: PUSH2 0x0249 00000369: PUSH1 0x01 0000036b: PUSH1 0xa0 0000036d: PUSH1 0x02 0000036f: EXP 00000370: SUB 00000371: PUSH1 0x04 00000373: CALLDATALOAD 00000374: AND 00000375: PUSH2 0x09bf 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x015b 0000038a: PUSH2 0x09da 0000038d: JUMP 0000038e: JUMPDEST 0000038f: CALLVALUE 00000390: DUP1 00000391: ISZERO 00000392: PUSH2 0x039a 00000395: JUMPI 00000396: PUSH1 0x00 00000398: DUP1 00000399: REVERT 0000039a: JUMPDEST 0000039b: POP 0000039c: PUSH2 0x0172 0000039f: PUSH2 0x0a48 000003a2: JUMP 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x03b8 000003b4: PUSH2 0x0acc 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: DUP1 000003bc: MLOAD 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: PUSH1 0x02 000003c3: EXP 000003c4: SUB 000003c5: SWAP1 000003c6: SWAP3 000003c7: AND 000003c8: DUP3 000003c9: MSTORE 000003ca: MLOAD 000003cb: SWAP1 000003cc: DUP2 000003cd: SWAP1 000003ce: SUB 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: RETURN 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x019b 000003e5: PUSH2 0x0adb 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x0249 000003fa: PUSH2 0x0b36 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x0172 0000040f: PUSH1 0x01 00000411: PUSH1 0xa0 00000413: PUSH1 0x02 00000415: EXP 00000416: SUB 00000417: PUSH1 0x04 00000419: CALLDATALOAD 0000041a: AND 0000041b: PUSH1 0x24 0000041d: CALLDATALOAD 0000041e: PUSH2 0x0b3c 00000421: JUMP 00000422: JUMPDEST 00000423: CALLVALUE 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH2 0x0172 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: PUSH1 0x02 00000439: EXP 0000043a: SUB 0000043b: PUSH1 0x04 0000043d: CALLDATALOAD 0000043e: AND 0000043f: PUSH1 0x24 00000441: CALLDATALOAD 00000442: PUSH2 0x0bb2 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x0467 00000457: PUSH1 0x01 00000459: PUSH1 0xa0 0000045b: PUSH1 0x02 0000045d: EXP 0000045e: SUB 0000045f: PUSH1 0x04 00000461: CALLDATALOAD 00000462: AND 00000463: PUSH2 0x0c4b 00000466: JUMP 00000467: JUMPDEST 00000468: PUSH1 0x40 0000046a: DUP1 0000046b: MLOAD 0000046c: SWAP4 0000046d: DUP5 0000046e: MSTORE 0000046f: PUSH1 0x20 00000471: DUP5 00000472: ADD 00000473: SWAP3 00000474: SWAP1 00000475: SWAP3 00000476: MSTORE 00000477: DUP3 00000478: DUP3 00000479: ADD 0000047a: MSTORE 0000047b: MLOAD 0000047c: SWAP1 0000047d: DUP2 0000047e: SWAP1 0000047f: SUB 00000480: PUSH1 0x60 00000482: ADD 00000483: SWAP1 00000484: RETURN 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x0249 00000496: PUSH1 0x01 00000498: PUSH1 0xa0 0000049a: PUSH1 0x02 0000049c: EXP 0000049d: SUB 0000049e: PUSH1 0x04 000004a0: CALLDATALOAD 000004a1: DUP2 000004a2: AND 000004a3: SWAP1 000004a4: PUSH1 0x24 000004a6: CALLDATALOAD 000004a7: AND 000004a8: PUSH2 0x0c6c 000004ab: JUMP 000004ac: JUMPDEST 000004ad: CALLVALUE 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04b8 000004b3: JUMPI 000004b4: PUSH1 0x00 000004b6: DUP1 000004b7: REVERT 000004b8: JUMPDEST 000004b9: POP 000004ba: PUSH2 0x0172 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: PUSH1 0x02 000004c3: EXP 000004c4: SUB 000004c5: PUSH1 0x04 000004c7: CALLDATALOAD 000004c8: AND 000004c9: PUSH1 0x24 000004cb: CALLDATALOAD 000004cc: PUSH2 0x0c97 000004cf: JUMP 000004d0: JUMPDEST 000004d1: CALLVALUE 000004d2: DUP1 000004d3: ISZERO 000004d4: PUSH2 0x04dc 000004d7: JUMPI 000004d8: PUSH1 0x00 000004da: DUP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: POP 000004de: PUSH2 0x015b 000004e1: PUSH1 0x01 000004e3: PUSH1 0xa0 000004e5: PUSH1 0x02 000004e7: EXP 000004e8: SUB 000004e9: PUSH1 0x04 000004eb: CALLDATALOAD 000004ec: AND 000004ed: PUSH2 0x0d8e 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: PUSH2 0x0249 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: PUSH1 0x02 00000508: EXP 00000509: SUB 0000050a: PUSH1 0x04 0000050c: CALLDATALOAD 0000050d: AND 0000050e: PUSH2 0x0db1 00000511: JUMP 00000512: JUMPDEST 00000513: CALLVALUE 00000514: ISZERO 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH2 0x0582 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x07 00000521: SLOAD 00000522: PUSH2 0x0531 00000525: SWAP1 00000526: CALLVALUE 00000527: PUSH4 0xffffffff 0000052c: PUSH2 0x0e1a 0000052f: AND 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x07 00000534: SSTORE 00000535: PUSH1 0x09 00000537: SLOAD 00000538: PUSH2 0x0547 0000053b: SWAP1 0000053c: CALLVALUE 0000053d: PUSH4 0xffffffff 00000542: PUSH2 0x0e1a 00000545: AND 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x09 0000054a: SSTORE 0000054b: NUMBER 0000054c: PUSH1 0x08 0000054e: SSTORE 0000054f: PUSH1 0x40 00000551: DUP1 00000552: MLOAD 00000553: CALLVALUE 00000554: DUP2 00000555: MSTORE 00000556: SWAP1 00000557: MLOAD 00000558: PUSH32 0x23a65426dca7f39133773f3c2b30ae8531465535690013b0be73ee3bd33fb8b3 00000579: SWAP2 0000057a: DUP2 0000057b: SWAP1 0000057c: SUB 0000057d: PUSH1 0x20 0000057f: ADD 00000580: SWAP1 00000581: LOG1 00000582: JUMPDEST 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH1 0x03 00000587: SLOAD 00000588: PUSH1 0xa0 0000058a: PUSH1 0x02 0000058c: EXP 0000058d: SWAP1 0000058e: DIV 0000058f: PUSH1 0xff 00000591: AND 00000592: DUP2 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x05 00000597: DUP1 00000598: SLOAD 00000599: PUSH1 0x40 0000059b: DUP1 0000059c: MLOAD 0000059d: PUSH1 0x20 0000059f: PUSH1 0x02 000005a1: PUSH1 0x01 000005a3: DUP6 000005a4: AND 000005a5: ISZERO 000005a6: PUSH2 0x0100 000005a9: MUL 000005aa: PUSH1 0x00 000005ac: NOT 000005ad: ADD 000005ae: SWAP1 000005af: SWAP5 000005b0: AND 000005b1: SWAP4 000005b2: SWAP1 000005b3: SWAP4 000005b4: DIV 000005b5: PUSH1 0x1f 000005b7: DUP2 000005b8: ADD 000005b9: DUP5 000005ba: SWAP1 000005bb: DIV 000005bc: DUP5 000005bd: MUL 000005be: DUP3 000005bf: ADD 000005c0: DUP5 000005c1: ADD 000005c2: SWAP1 000005c3: SWAP3 000005c4: MSTORE 000005c5: DUP2 000005c6: DUP2 000005c7: MSTORE 000005c8: SWAP3 000005c9: SWAP2 000005ca: DUP4 000005cb: ADD 000005cc: DUP3 000005cd: DUP3 000005ce: DUP1 000005cf: ISZERO 000005d0: PUSH2 0x061a 000005d3: JUMPI 000005d4: DUP1 000005d5: PUSH1 0x1f 000005d7: LT 000005d8: PUSH2 0x05ef 000005db: JUMPI 000005dc: PUSH2 0x0100 000005df: DUP1 000005e0: DUP4 000005e1: SLOAD 000005e2: DIV 000005e3: MUL 000005e4: DUP4 000005e5: MSTORE 000005e6: SWAP2 000005e7: PUSH1 0x20 000005e9: ADD 000005ea: SWAP2 000005eb: PUSH2 0x061a 000005ee: JUMP 000005ef: JUMPDEST 000005f0: DUP3 000005f1: ADD 000005f2: SWAP2 000005f3: SWAP1 000005f4: PUSH1 0x00 000005f6: MSTORE 000005f7: PUSH1 0x20 000005f9: PUSH1 0x00 000005fb: KECCAK256 000005fc: SWAP1 000005fd: JUMPDEST 000005fe: DUP2 000005ff: SLOAD 00000600: DUP2 00000601: MSTORE 00000602: SWAP1 00000603: PUSH1 0x01 00000605: ADD 00000606: SWAP1 00000607: PUSH1 0x20 00000609: ADD 0000060a: DUP1 0000060b: DUP4 0000060c: GT 0000060d: PUSH2 0x05fd 00000610: JUMPI 00000611: DUP3 00000612: SWAP1 00000613: SUB 00000614: PUSH1 0x1f 00000616: AND 00000617: DUP3 00000618: ADD 00000619: SWAP2 0000061a: JUMPDEST 0000061b: POP 0000061c: POP 0000061d: POP 0000061e: POP 0000061f: POP 00000620: DUP2 00000621: JUMP 00000622: JUMPDEST 00000623: CALLER 00000624: PUSH1 0x00 00000626: DUP2 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x01 0000062b: PUSH1 0x20 0000062d: SWAP1 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x40 00000632: DUP1 00000633: DUP4 00000634: KECCAK256 00000635: PUSH1 0x01 00000637: PUSH1 0xa0 00000639: PUSH1 0x02 0000063b: EXP 0000063c: SUB 0000063d: DUP8 0000063e: AND 0000063f: DUP1 00000640: DUP6 00000641: MSTORE 00000642: SWAP1 00000643: DUP4 00000644: MSTORE 00000645: DUP2 00000646: DUP5 00000647: KECCAK256 00000648: DUP7 00000649: SWAP1 0000064a: SSTORE 0000064b: DUP2 0000064c: MLOAD 0000064d: DUP7 0000064e: DUP2 0000064f: MSTORE 00000650: SWAP2 00000651: MLOAD 00000652: SWAP4 00000653: SWAP5 00000654: SWAP1 00000655: SWAP4 00000656: SWAP1 00000657: SWAP3 00000658: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000679: SWAP3 0000067a: DUP3 0000067b: SWAP1 0000067c: SUB 0000067d: ADD 0000067e: SWAP1 0000067f: LOG3 00000680: POP 00000681: PUSH1 0x01 00000683: SWAP3 00000684: SWAP2 00000685: POP 00000686: POP 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x02 0000068b: SLOAD 0000068c: SWAP1 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH1 0x00 00000691: PUSH2 0x069b 00000694: DUP5 00000695: DUP5 00000696: DUP5 00000697: PUSH2 0x0e2c 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH2 0x06a6 0000069f: DUP5 000006a0: DUP5 000006a1: DUP5 000006a2: PUSH2 0x0f66 000006a5: JUMP 000006a6: JUMPDEST 000006a7: ISZERO 000006a8: ISZERO 000006a9: PUSH2 0x06fc 000006ac: JUMPI 000006ad: PUSH1 0x40 000006af: DUP1 000006b0: MLOAD 000006b1: PUSH1 0xe5 000006b3: PUSH1 0x02 000006b5: EXP 000006b6: PUSH3 0x461bcd 000006ba: MUL 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x20 000006bf: PUSH1 0x04 000006c1: DUP3 000006c2: ADD 000006c3: MSTORE 000006c4: PUSH1 0x1a 000006c6: PUSH1 0x24 000006c8: DUP3 000006c9: ADD 000006ca: MSTORE 000006cb: PUSH32 0x4661696c656420746f207472616e7366657220746f6b656e7321000000000000 000006ec: PUSH1 0x44 000006ee: DUP3 000006ef: ADD 000006f0: MSTORE 000006f1: SWAP1 000006f2: MLOAD 000006f3: SWAP1 000006f4: DUP2 000006f5: SWAP1 000006f6: SUB 000006f7: PUSH1 0x64 000006f9: ADD 000006fa: SWAP1 000006fb: REVERT 000006fc: JUMPDEST 000006fd: POP 000006fe: PUSH1 0x01 00000700: SWAP4 00000701: SWAP3 00000702: POP 00000703: POP 00000704: POP 00000705: JUMP 00000706: JUMPDEST 00000707: CALLER 00000708: PUSH1 0x00 0000070a: SWAP1 0000070b: DUP2 0000070c: MSTORE 0000070d: PUSH1 0x20 0000070f: DUP2 00000710: SWAP1 00000711: MSTORE 00000712: PUSH1 0x40 00000714: DUP2 00000715: KECCAK256 00000716: SLOAD 00000717: DUP2 00000718: LT 00000719: PUSH2 0x076c 0000071c: JUMPI 0000071d: PUSH1 0x40 0000071f: DUP1 00000720: MLOAD 00000721: PUSH1 0xe5 00000723: PUSH1 0x02 00000725: EXP 00000726: PUSH3 0x461bcd 0000072a: MUL 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x20 0000072f: PUSH1 0x04 00000731: DUP3 00000732: ADD 00000733: MSTORE 00000734: PUSH1 0x12 00000736: PUSH1 0x24 00000738: DUP3 00000739: ADD 0000073a: MSTORE 0000073b: PUSH32 0x4e6f74206120746f6b656e206f776e6572210000000000000000000000000000 0000075c: PUSH1 0x44 0000075e: DUP3 0000075f: ADD 00000760: MSTORE 00000761: SWAP1 00000762: MLOAD 00000763: SWAP1 00000764: DUP2 00000765: SWAP1 00000766: SUB 00000767: PUSH1 0x64 00000769: ADD 0000076a: SWAP1 0000076b: REVERT 0000076c: JUMPDEST 0000076d: PUSH2 0x0775 00000770: CALLER 00000771: PUSH2 0x10db 00000774: JUMP 00000775: JUMPDEST 00000776: SWAP1 00000777: POP 00000778: PUSH1 0x00 0000077a: DUP2 0000077b: GT 0000077c: PUSH2 0x07cf 0000077f: JUMPI 00000780: PUSH1 0x40 00000782: DUP1 00000783: MLOAD 00000784: PUSH1 0xe5 00000786: PUSH1 0x02 00000788: EXP 00000789: PUSH3 0x461bcd 0000078d: MUL 0000078e: DUP2 0000078f: MSTORE 00000790: PUSH1 0x20 00000792: PUSH1 0x04 00000794: DUP3 00000795: ADD 00000796: MSTORE 00000797: PUSH1 0x14 00000799: PUSH1 0x24 0000079b: DUP3 0000079c: ADD 0000079d: MSTORE 0000079e: PUSH32 0x4e6f7468696e6720746f20776974686472617721000000000000000000000000 000007bf: PUSH1 0x44 000007c1: DUP3 000007c2: ADD 000007c3: MSTORE 000007c4: SWAP1 000007c5: MLOAD 000007c6: SWAP1 000007c7: DUP2 000007c8: SWAP1 000007c9: SUB 000007ca: PUSH1 0x64 000007cc: ADD 000007cd: SWAP1 000007ce: REVERT 000007cf: JUMPDEST 000007d0: PUSH1 0x09 000007d2: SLOAD 000007d3: PUSH2 0x07e2 000007d6: SWAP1 000007d7: DUP3 000007d8: PUSH4 0xffffffff 000007dd: PUSH2 0x10e7 000007e0: AND 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x09 000007e5: SSTORE 000007e6: CALLER 000007e7: PUSH1 0x00 000007e9: DUP2 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x0a 000007ee: PUSH1 0x20 000007f0: MSTORE 000007f1: PUSH1 0x40 000007f3: DUP1 000007f4: DUP3 000007f5: KECCAK256 000007f6: DUP3 000007f7: DUP2 000007f8: SSTORE 000007f9: NUMBER 000007fa: PUSH1 0x02 000007fc: SWAP1 000007fd: SWAP2 000007fe: ADD 000007ff: SSTORE 00000800: MLOAD 00000801: DUP4 00000802: ISZERO 00000803: PUSH2 0x08fc 00000806: MUL 00000807: SWAP2 00000808: DUP5 00000809: SWAP2 0000080a: SWAP1 0000080b: DUP2 0000080c: DUP2 0000080d: DUP2 0000080e: DUP6 0000080f: DUP9 00000810: DUP9 00000811: CALL 00000812: SWAP4 00000813: POP 00000814: POP 00000815: POP 00000816: POP 00000817: ISZERO 00000818: DUP1 00000819: ISZERO 0000081a: PUSH2 0x0827 0000081d: JUMPI 0000081e: RETURNDATASIZE 0000081f: PUSH1 0x00 00000821: DUP1 00000822: RETURNDATACOPY 00000823: RETURNDATASIZE 00000824: PUSH1 0x00 00000826: REVERT 00000827: JUMPDEST 00000828: POP 00000829: PUSH1 0x40 0000082b: DUP1 0000082c: MLOAD 0000082d: DUP3 0000082e: DUP2 0000082f: MSTORE 00000830: SWAP1 00000831: MLOAD 00000832: CALLER 00000833: SWAP2 00000834: PUSH32 0x08d688a92fc311df9b853769e8a99b320411042a86f106fd29e7f21ee06e79da 00000855: SWAP2 00000856: SWAP1 00000857: DUP2 00000858: SWAP1 00000859: SUB 0000085a: PUSH1 0x20 0000085c: ADD 0000085d: SWAP1 0000085e: LOG2 0000085f: POP 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x04 00000864: SLOAD 00000865: PUSH1 0xa0 00000867: PUSH1 0x02 00000869: EXP 0000086a: SWAP1 0000086b: DIV 0000086c: PUSH1 0xff 0000086e: AND 0000086f: DUP2 00000870: JUMP 00000871: JUMPDEST 00000872: PUSH1 0x09 00000874: SLOAD 00000875: DUP2 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH1 0x04 0000087a: SLOAD 0000087b: PUSH1 0x00 0000087d: SWAP1 0000087e: PUSH2 0x0893 00000881: SWAP1 00000882: PUSH1 0x01 00000884: PUSH1 0xa0 00000886: PUSH1 0x02 00000888: EXP 00000889: SUB 0000088a: AND 0000088b: PUSH1 0x02 0000088d: DUP5 0000088e: DIV 0000088f: PUSH2 0x10fe 00000892: JUMP 00000893: JUMPDEST 00000894: POP 00000895: PUSH2 0x089e 00000898: DUP4 00000899: DUP4 0000089a: PUSH2 0x10fe 0000089d: JUMP 0000089e: JUMPDEST 0000089f: SWAP4 000008a0: SWAP3 000008a1: POP 000008a2: POP 000008a3: POP 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x08 000008a8: SLOAD 000008a9: DUP2 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x01 000008ae: PUSH1 0xa0 000008b0: PUSH1 0x02 000008b2: EXP 000008b3: SUB 000008b4: AND 000008b5: PUSH1 0x00 000008b7: SWAP1 000008b8: DUP2 000008b9: MSTORE 000008ba: PUSH1 0x0a 000008bc: PUSH1 0x20 000008be: MSTORE 000008bf: PUSH1 0x40 000008c1: SWAP1 000008c2: KECCAK256 000008c3: PUSH1 0x02 000008c5: ADD 000008c6: SLOAD 000008c7: PUSH1 0x08 000008c9: SLOAD 000008ca: LT 000008cb: ISZERO 000008cc: SWAP1 000008cd: JUMP 000008ce: JUMPDEST 000008cf: CALLER 000008d0: PUSH1 0x00 000008d2: SWAP1 000008d3: DUP2 000008d4: MSTORE 000008d5: PUSH1 0x01 000008d7: PUSH1 0x20 000008d9: SWAP1 000008da: DUP2 000008db: MSTORE 000008dc: PUSH1 0x40 000008de: DUP1 000008df: DUP4 000008e0: KECCAK256 000008e1: PUSH1 0x01 000008e3: PUSH1 0xa0 000008e5: PUSH1 0x02 000008e7: EXP 000008e8: SUB 000008e9: DUP7 000008ea: AND 000008eb: DUP5 000008ec: MSTORE 000008ed: SWAP1 000008ee: SWAP2 000008ef: MSTORE 000008f0: DUP2 000008f1: KECCAK256 000008f2: SLOAD 000008f3: DUP1 000008f4: DUP4 000008f5: LT 000008f6: PUSH2 0x0922 000008f9: JUMPI 000008fa: CALLER 000008fb: PUSH1 0x00 000008fd: SWAP1 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x01 00000902: PUSH1 0x20 00000904: SWAP1 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x40 00000909: DUP1 0000090a: DUP4 0000090b: KECCAK256 0000090c: PUSH1 0x01 0000090e: PUSH1 0xa0 00000910: PUSH1 0x02 00000912: EXP 00000913: SUB 00000914: DUP9 00000915: AND 00000916: DUP5 00000917: MSTORE 00000918: SWAP1 00000919: SWAP2 0000091a: MSTORE 0000091b: DUP2 0000091c: KECCAK256 0000091d: SSTORE 0000091e: PUSH2 0x0957 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH2 0x0932 00000926: DUP2 00000927: DUP5 00000928: PUSH4 0xffffffff 0000092d: PUSH2 0x10e7 00000930: AND 00000931: JUMP 00000932: JUMPDEST 00000933: CALLER 00000934: PUSH1 0x00 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x01 0000093b: PUSH1 0x20 0000093d: SWAP1 0000093e: DUP2 0000093f: MSTORE 00000940: PUSH1 0x40 00000942: DUP1 00000943: DUP4 00000944: KECCAK256 00000945: PUSH1 0x01 00000947: PUSH1 0xa0 00000949: PUSH1 0x02 0000094b: EXP 0000094c: SUB 0000094d: DUP10 0000094e: AND 0000094f: DUP5 00000950: MSTORE 00000951: SWAP1 00000952: SWAP2 00000953: MSTORE 00000954: SWAP1 00000955: KECCAK256 00000956: SSTORE 00000957: JUMPDEST 00000958: CALLER 00000959: PUSH1 0x00 0000095b: DUP2 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x01 00000960: PUSH1 0x20 00000962: SWAP1 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x40 00000967: DUP1 00000968: DUP4 00000969: KECCAK256 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: PUSH1 0x02 00000970: EXP 00000971: SUB 00000972: DUP10 00000973: AND 00000974: DUP1 00000975: DUP6 00000976: MSTORE 00000977: SWAP1 00000978: DUP4 00000979: MSTORE 0000097a: SWAP3 0000097b: DUP2 0000097c: SWAP1 0000097d: KECCAK256 0000097e: SLOAD 0000097f: DUP2 00000980: MLOAD 00000981: SWAP1 00000982: DUP2 00000983: MSTORE 00000984: SWAP1 00000985: MLOAD 00000986: SWAP3 00000987: SWAP4 00000988: SWAP3 00000989: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000009aa: SWAP3 000009ab: SWAP2 000009ac: DUP2 000009ad: SWAP1 000009ae: SUB 000009af: SWAP1 000009b0: SWAP2 000009b1: ADD 000009b2: SWAP1 000009b3: LOG3 000009b4: PUSH1 0x01 000009b6: SWAP2 000009b7: POP 000009b8: JUMPDEST 000009b9: POP 000009ba: SWAP3 000009bb: SWAP2 000009bc: POP 000009bd: POP 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH1 0x01 000009c2: PUSH1 0xa0 000009c4: PUSH1 0x02 000009c6: EXP 000009c7: SUB 000009c8: AND 000009c9: PUSH1 0x00 000009cb: SWAP1 000009cc: DUP2 000009cd: MSTORE 000009ce: PUSH1 0x20 000009d0: DUP2 000009d1: SWAP1 000009d2: MSTORE 000009d3: PUSH1 0x40 000009d5: SWAP1 000009d6: KECCAK256 000009d7: SLOAD 000009d8: SWAP1 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH1 0x03 000009dd: SLOAD 000009de: PUSH1 0x01 000009e0: PUSH1 0xa0 000009e2: PUSH1 0x02 000009e4: EXP 000009e5: SUB 000009e6: AND 000009e7: CALLER 000009e8: EQ 000009e9: PUSH2 0x09f1 000009ec: JUMPI 000009ed: PUSH1 0x00 000009ef: DUP1 000009f0: REVERT 000009f1: JUMPDEST 000009f2: PUSH1 0x03 000009f4: SLOAD 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: PUSH1 0x01 000009fa: PUSH1 0xa0 000009fc: PUSH1 0x02 000009fe: EXP 000009ff: SUB 00000a00: SWAP1 00000a01: SWAP2 00000a02: AND 00000a03: SWAP1 00000a04: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00000a25: SWAP1 00000a26: PUSH1 0x00 00000a28: SWAP1 00000a29: LOG2 00000a2a: PUSH1 0x03 00000a2c: DUP1 00000a2d: SLOAD 00000a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a43: NOT 00000a44: AND 00000a45: SWAP1 00000a46: SSTORE 00000a47: JUMP 00000a48: JUMPDEST 00000a49: PUSH1 0x03 00000a4b: SLOAD 00000a4c: PUSH1 0x00 00000a4e: SWAP1 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: PUSH1 0x02 00000a55: EXP 00000a56: SUB 00000a57: AND 00000a58: CALLER 00000a59: EQ 00000a5a: PUSH2 0x0a62 00000a5d: JUMPI 00000a5e: PUSH1 0x00 00000a60: DUP1 00000a61: REVERT 00000a62: JUMPDEST 00000a63: PUSH1 0x03 00000a65: SLOAD 00000a66: PUSH1 0xa0 00000a68: PUSH1 0x02 00000a6a: EXP 00000a6b: SWAP1 00000a6c: DIV 00000a6d: PUSH1 0xff 00000a6f: AND 00000a70: ISZERO 00000a71: PUSH2 0x0a79 00000a74: JUMPI 00000a75: PUSH1 0x00 00000a77: DUP1 00000a78: REVERT 00000a79: JUMPDEST 00000a7a: PUSH1 0x03 00000a7c: DUP1 00000a7d: SLOAD 00000a7e: PUSH21 0xff0000000000000000000000000000000000000000 00000a94: NOT 00000a95: AND 00000a96: PUSH1 0xa0 00000a98: PUSH1 0x02 00000a9a: EXP 00000a9b: OR 00000a9c: SWAP1 00000a9d: SSTORE 00000a9e: PUSH1 0x40 00000aa0: MLOAD 00000aa1: PUSH32 0xae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa08 00000ac2: SWAP1 00000ac3: PUSH1 0x00 00000ac5: SWAP1 00000ac6: LOG1 00000ac7: POP 00000ac8: PUSH1 0x01 00000aca: SWAP1 00000acb: JUMP 00000acc: JUMPDEST 00000acd: PUSH1 0x03 00000acf: SLOAD 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0xa0 00000ad4: PUSH1 0x02 00000ad6: EXP 00000ad7: SUB 00000ad8: AND 00000ad9: DUP2 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x06 00000ade: DUP1 00000adf: SLOAD 00000ae0: PUSH1 0x40 00000ae2: DUP1 00000ae3: MLOAD 00000ae4: PUSH1 0x20 00000ae6: PUSH1 0x02 00000ae8: PUSH1 0x01 00000aea: DUP6 00000aeb: AND 00000aec: ISZERO 00000aed: PUSH2 0x0100 00000af0: MUL 00000af1: PUSH1 0x00 00000af3: NOT 00000af4: ADD 00000af5: SWAP1 00000af6: SWAP5 00000af7: AND 00000af8: SWAP4 00000af9: SWAP1 00000afa: SWAP4 00000afb: DIV 00000afc: PUSH1 0x1f 00000afe: DUP2 00000aff: ADD 00000b00: DUP5 00000b01: SWAP1 00000b02: DIV 00000b03: DUP5 00000b04: MUL 00000b05: DUP3 00000b06: ADD 00000b07: DUP5 00000b08: ADD 00000b09: SWAP1 00000b0a: SWAP3 00000b0b: MSTORE 00000b0c: DUP2 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: SWAP3 00000b10: SWAP2 00000b11: DUP4 00000b12: ADD 00000b13: DUP3 00000b14: DUP3 00000b15: DUP1 00000b16: ISZERO 00000b17: PUSH2 0x061a 00000b1a: JUMPI 00000b1b: DUP1 00000b1c: PUSH1 0x1f 00000b1e: LT 00000b1f: PUSH2 0x05ef 00000b22: JUMPI 00000b23: PUSH2 0x0100 00000b26: DUP1 00000b27: DUP4 00000b28: SLOAD 00000b29: DIV 00000b2a: MUL 00000b2b: DUP4 00000b2c: MSTORE 00000b2d: SWAP2 00000b2e: PUSH1 0x20 00000b30: ADD 00000b31: SWAP2 00000b32: PUSH2 0x061a 00000b35: JUMP 00000b36: JUMPDEST 00000b37: PUSH1 0x07 00000b39: SLOAD 00000b3a: DUP2 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH1 0x00 00000b3f: PUSH2 0x0b49 00000b42: CALLER 00000b43: DUP5 00000b44: DUP5 00000b45: PUSH2 0x0e2c 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH2 0x0b53 00000b4d: DUP4 00000b4e: DUP4 00000b4f: PUSH2 0x1208 00000b52: JUMP 00000b53: JUMPDEST 00000b54: ISZERO 00000b55: ISZERO 00000b56: PUSH2 0x0ba9 00000b59: JUMPI 00000b5a: PUSH1 0x40 00000b5c: DUP1 00000b5d: MLOAD 00000b5e: PUSH1 0xe5 00000b60: PUSH1 0x02 00000b62: EXP 00000b63: PUSH3 0x461bcd 00000b67: MUL 00000b68: DUP2 00000b69: MSTORE 00000b6a: PUSH1 0x20 00000b6c: PUSH1 0x04 00000b6e: DUP3 00000b6f: ADD 00000b70: MSTORE 00000b71: PUSH1 0x1a 00000b73: PUSH1 0x24 00000b75: DUP3 00000b76: ADD 00000b77: MSTORE 00000b78: PUSH32 0x4661696c656420746f207472616e7366657220746f6b656e7321000000000000 00000b99: PUSH1 0x44 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: SWAP1 00000b9f: MLOAD 00000ba0: SWAP1 00000ba1: DUP2 00000ba2: SWAP1 00000ba3: SUB 00000ba4: PUSH1 0x64 00000ba6: ADD 00000ba7: SWAP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: POP 00000bab: PUSH1 0x01 00000bad: SWAP3 00000bae: SWAP2 00000baf: POP 00000bb0: POP 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: CALLER 00000bb4: PUSH1 0x00 00000bb6: SWAP1 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x01 00000bbb: PUSH1 0x20 00000bbd: SWAP1 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x40 00000bc2: DUP1 00000bc3: DUP4 00000bc4: KECCAK256 00000bc5: PUSH1 0x01 00000bc7: PUSH1 0xa0 00000bc9: PUSH1 0x02 00000bcb: EXP 00000bcc: SUB 00000bcd: DUP7 00000bce: AND 00000bcf: DUP5 00000bd0: MSTORE 00000bd1: SWAP1 00000bd2: SWAP2 00000bd3: MSTORE 00000bd4: DUP2 00000bd5: KECCAK256 00000bd6: SLOAD 00000bd7: PUSH2 0x0be6 00000bda: SWAP1 00000bdb: DUP4 00000bdc: PUSH4 0xffffffff 00000be1: PUSH2 0x0e1a 00000be4: AND 00000be5: JUMP 00000be6: JUMPDEST 00000be7: CALLER 00000be8: PUSH1 0x00 00000bea: DUP2 00000beb: DUP2 00000bec: MSTORE 00000bed: PUSH1 0x01 00000bef: PUSH1 0x20 00000bf1: SWAP1 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x40 00000bf6: DUP1 00000bf7: DUP4 00000bf8: KECCAK256 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0xa0 00000bfd: PUSH1 0x02 00000bff: EXP 00000c00: SUB 00000c01: DUP10 00000c02: AND 00000c03: DUP1 00000c04: DUP6 00000c05: MSTORE 00000c06: SWAP1 00000c07: DUP4 00000c08: MSTORE 00000c09: SWAP3 00000c0a: DUP2 00000c0b: SWAP1 00000c0c: KECCAK256 00000c0d: DUP6 00000c0e: SWAP1 00000c0f: SSTORE 00000c10: DUP1 00000c11: MLOAD 00000c12: SWAP5 00000c13: DUP6 00000c14: MSTORE 00000c15: MLOAD 00000c16: SWAP2 00000c17: SWAP4 00000c18: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c39: SWAP3 00000c3a: SWAP1 00000c3b: DUP2 00000c3c: SWAP1 00000c3d: SUB 00000c3e: SWAP1 00000c3f: SWAP2 00000c40: ADD 00000c41: SWAP1 00000c42: LOG3 00000c43: POP 00000c44: PUSH1 0x01 00000c46: SWAP3 00000c47: SWAP2 00000c48: POP 00000c49: POP 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: PUSH1 0x0a 00000c4e: PUSH1 0x20 00000c50: MSTORE 00000c51: PUSH1 0x00 00000c53: SWAP1 00000c54: DUP2 00000c55: MSTORE 00000c56: PUSH1 0x40 00000c58: SWAP1 00000c59: KECCAK256 00000c5a: DUP1 00000c5b: SLOAD 00000c5c: PUSH1 0x01 00000c5e: DUP3 00000c5f: ADD 00000c60: SLOAD 00000c61: PUSH1 0x02 00000c63: SWAP1 00000c64: SWAP3 00000c65: ADD 00000c66: SLOAD 00000c67: SWAP1 00000c68: SWAP2 00000c69: SWAP1 00000c6a: DUP4 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0xa0 00000c71: PUSH1 0x02 00000c73: EXP 00000c74: SUB 00000c75: SWAP2 00000c76: DUP3 00000c77: AND 00000c78: PUSH1 0x00 00000c7a: SWAP1 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x01 00000c7f: PUSH1 0x20 00000c81: SWAP1 00000c82: DUP2 00000c83: MSTORE 00000c84: PUSH1 0x40 00000c86: DUP1 00000c87: DUP4 00000c88: KECCAK256 00000c89: SWAP4 00000c8a: SWAP1 00000c8b: SWAP5 00000c8c: AND 00000c8d: DUP3 00000c8e: MSTORE 00000c8f: SWAP2 00000c90: SWAP1 00000c91: SWAP2 00000c92: MSTORE 00000c93: KECCAK256 00000c94: SLOAD 00000c95: SWAP1 00000c96: JUMP 00000c97: JUMPDEST 00000c98: PUSH1 0x04 00000c9a: SLOAD 00000c9b: PUSH1 0x00 00000c9d: SWAP1 00000c9e: PUSH1 0x01 00000ca0: PUSH1 0xa0 00000ca2: PUSH1 0x02 00000ca4: EXP 00000ca5: SUB 00000ca6: AND 00000ca7: CALLER 00000ca8: EQ 00000ca9: PUSH2 0x0cfc 00000cac: JUMPI 00000cad: PUSH1 0x40 00000caf: DUP1 00000cb0: MLOAD 00000cb1: PUSH1 0xe5 00000cb3: PUSH1 0x02 00000cb5: EXP 00000cb6: PUSH3 0x461bcd 00000cba: MUL 00000cbb: DUP2 00000cbc: MSTORE 00000cbd: PUSH1 0x20 00000cbf: PUSH1 0x04 00000cc1: DUP3 00000cc2: ADD 00000cc3: MSTORE 00000cc4: PUSH1 0x12 00000cc6: PUSH1 0x24 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: PUSH32 0x596f752063616e277420646f2074686174210000000000000000000000000000 00000cec: PUSH1 0x44 00000cee: DUP3 00000cef: ADD 00000cf0: MSTORE 00000cf1: SWAP1 00000cf2: MLOAD 00000cf3: SWAP1 00000cf4: DUP2 00000cf5: SWAP1 00000cf6: SUB 00000cf7: PUSH1 0x64 00000cf9: ADD 00000cfa: SWAP1 00000cfb: REVERT 00000cfc: JUMPDEST 00000cfd: PUSH1 0x03 00000cff: SLOAD 00000d00: PUSH1 0xa0 00000d02: PUSH1 0x02 00000d04: EXP 00000d05: SWAP1 00000d06: DIV 00000d07: PUSH1 0xff 00000d09: AND 00000d0a: ISZERO 00000d0b: PUSH2 0x0d84 00000d0e: JUMPI 00000d0f: PUSH1 0x40 00000d11: DUP1 00000d12: MLOAD 00000d13: PUSH1 0xe5 00000d15: PUSH1 0x02 00000d17: EXP 00000d18: PUSH3 0x461bcd 00000d1c: MUL 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x20 00000d21: PUSH1 0x04 00000d23: DUP3 00000d24: ADD 00000d25: MSTORE 00000d26: PUSH1 0x2b 00000d28: PUSH1 0x24 00000d2a: DUP3 00000d2b: ADD 00000d2c: MSTORE 00000d2d: PUSH32 0x49434f20506572696f64206973206f766572202d207573652061206e6f726d61 00000d4e: PUSH1 0x44 00000d50: DUP3 00000d51: ADD 00000d52: MSTORE 00000d53: PUSH32 0x6c207472616e736665722e000000000000000000000000000000000000000000 00000d74: PUSH1 0x64 00000d76: DUP3 00000d77: ADD 00000d78: MSTORE 00000d79: SWAP1 00000d7a: MLOAD 00000d7b: SWAP1 00000d7c: DUP2 00000d7d: SWAP1 00000d7e: SUB 00000d7f: PUSH1 0x84 00000d81: ADD 00000d82: SWAP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: PUSH2 0x089e 00000d88: DUP4 00000d89: DUP4 00000d8a: PUSH2 0x1208 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x03 00000d91: SLOAD 00000d92: PUSH1 0x01 00000d94: PUSH1 0xa0 00000d96: PUSH1 0x02 00000d98: EXP 00000d99: SUB 00000d9a: AND 00000d9b: CALLER 00000d9c: EQ 00000d9d: PUSH2 0x0da5 00000da0: JUMPI 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: PUSH2 0x0dae 00000da9: DUP2 00000daa: PUSH2 0x12e7 00000dad: JUMP 00000dae: JUMPDEST 00000daf: POP 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH1 0x00 00000db4: DUP1 00000db5: PUSH2 0x0dbd 00000db8: DUP4 00000db9: PUSH2 0x1365 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP1 00000dbf: POP 00000dc0: PUSH1 0x00 00000dc2: DUP2 00000dc3: GT 00000dc4: ISZERO 00000dc5: PUSH2 0x0df8 00000dc8: JUMPI 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: PUSH1 0x02 00000dcf: EXP 00000dd0: SUB 00000dd1: DUP4 00000dd2: AND 00000dd3: PUSH1 0x00 00000dd5: SWAP1 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: PUSH1 0x0a 00000dda: PUSH1 0x20 00000ddc: MSTORE 00000ddd: PUSH1 0x40 00000ddf: SWAP1 00000de0: KECCAK256 00000de1: SLOAD 00000de2: PUSH2 0x0df1 00000de5: SWAP1 00000de6: DUP3 00000de7: PUSH4 0xffffffff 00000dec: PUSH2 0x0e1a 00000def: AND 00000df0: JUMP 00000df1: JUMPDEST 00000df2: SWAP2 00000df3: POP 00000df4: PUSH2 0x0e14 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x01 00000dfb: PUSH1 0xa0 00000dfd: PUSH1 0x02 00000dff: EXP 00000e00: SUB 00000e01: DUP4 00000e02: AND 00000e03: PUSH1 0x00 00000e05: SWAP1 00000e06: DUP2 00000e07: MSTORE 00000e08: PUSH1 0x0a 00000e0a: PUSH1 0x20 00000e0c: MSTORE 00000e0d: PUSH1 0x40 00000e0f: SWAP1 00000e10: KECCAK256 00000e11: SLOAD 00000e12: SWAP2 00000e13: POP 00000e14: JUMPDEST 00000e15: POP 00000e16: SWAP2 00000e17: SWAP1 00000e18: POP 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0x00 00000e1d: DUP3 00000e1e: DUP3 00000e1f: ADD 00000e20: DUP4 00000e21: DUP2 00000e22: LT 00000e23: ISZERO 00000e24: PUSH2 0x089e 00000e27: JUMPI 00000e28: PUSH1 0x00 00000e2a: DUP1 00000e2b: REVERT 00000e2c: JUMPDEST 00000e2d: PUSH1 0x00 00000e2f: DUP4 00000e30: PUSH2 0x0e38 00000e33: DUP2 00000e34: PUSH2 0x13da 00000e37: JUMP 00000e38: JUMPDEST 00000e39: DUP4 00000e3a: PUSH2 0x0e42 00000e3d: DUP2 00000e3e: PUSH2 0x13da 00000e41: JUMP 00000e42: JUMPDEST 00000e43: PUSH1 0x01 00000e45: PUSH1 0xa0 00000e47: PUSH1 0x02 00000e49: EXP 00000e4a: SUB 00000e4b: DUP7 00000e4c: AND 00000e4d: PUSH1 0x00 00000e4f: SWAP1 00000e50: DUP2 00000e51: MSTORE 00000e52: PUSH1 0x20 00000e54: DUP2 00000e55: DUP2 00000e56: MSTORE 00000e57: PUSH1 0x40 00000e59: DUP1 00000e5a: DUP4 00000e5b: KECCAK256 00000e5c: SLOAD 00000e5d: PUSH1 0x0a 00000e5f: SWAP1 00000e60: SWAP3 00000e61: MSTORE 00000e62: SWAP1 00000e63: SWAP2 00000e64: KECCAK256 00000e65: SLOAD 00000e66: PUSH2 0x0e86 00000e69: SWAP2 00000e6a: SWAP1 00000e6b: PUSH2 0x0e7a 00000e6e: SWAP1 00000e6f: DUP8 00000e70: PUSH4 0xffffffff 00000e75: PUSH2 0x14e0 00000e78: AND 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: SWAP1 00000e7c: PUSH4 0xffffffff 00000e81: PUSH2 0x150e 00000e84: AND 00000e85: JUMP 00000e86: JUMPDEST 00000e87: SWAP3 00000e88: POP 00000e89: PUSH1 0x00 00000e8b: DUP4 00000e8c: GT 00000e8d: ISZERO 00000e8e: PUSH2 0x0f5e 00000e91: JUMPI 00000e92: PUSH1 0x01 00000e94: PUSH1 0xa0 00000e96: PUSH1 0x02 00000e98: EXP 00000e99: SUB 00000e9a: DUP7 00000e9b: AND 00000e9c: PUSH1 0x00 00000e9e: SWAP1 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x0a 00000ea3: PUSH1 0x20 00000ea5: MSTORE 00000ea6: PUSH1 0x40 00000ea8: SWAP1 00000ea9: KECCAK256 00000eaa: SLOAD 00000eab: PUSH2 0x0eba 00000eae: SWAP1 00000eaf: DUP5 00000eb0: PUSH4 0xffffffff 00000eb5: PUSH2 0x10e7 00000eb8: AND 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: PUSH1 0x01 00000ebd: PUSH1 0xa0 00000ebf: PUSH1 0x02 00000ec1: EXP 00000ec2: SUB 00000ec3: DUP1 00000ec4: DUP9 00000ec5: AND 00000ec6: PUSH1 0x00 00000ec8: SWAP1 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x0a 00000ecd: PUSH1 0x20 00000ecf: MSTORE 00000ed0: PUSH1 0x40 00000ed2: DUP1 00000ed3: DUP3 00000ed4: KECCAK256 00000ed5: SWAP4 00000ed6: SWAP1 00000ed7: SWAP4 00000ed8: SSTORE 00000ed9: SWAP1 00000eda: DUP8 00000edb: AND 00000edc: DUP2 00000edd: MSTORE 00000ede: KECCAK256 00000edf: SLOAD 00000ee0: PUSH2 0x0eef 00000ee3: SWAP1 00000ee4: DUP5 00000ee5: PUSH4 0xffffffff 00000eea: PUSH2 0x0e1a 00000eed: AND 00000eee: JUMP 00000eef: JUMPDEST 00000ef0: PUSH1 0x01 00000ef2: PUSH1 0xa0 00000ef4: PUSH1 0x02 00000ef6: EXP 00000ef7: SUB 00000ef8: DUP1 00000ef9: DUP8 00000efa: AND 00000efb: PUSH1 0x00 00000efd: DUP2 00000efe: DUP2 00000eff: MSTORE 00000f00: PUSH1 0x0a 00000f02: PUSH1 0x20 00000f04: SWAP1 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x40 00000f09: DUP1 00000f0a: DUP4 00000f0b: KECCAK256 00000f0c: SWAP6 00000f0d: DUP7 00000f0e: SSTORE 00000f0f: SWAP4 00000f10: DUP12 00000f11: AND 00000f12: DUP1 00000f13: DUP4 00000f14: MSTORE 00000f15: DUP5 00000f16: DUP4 00000f17: KECCAK256 00000f18: PUSH1 0x02 00000f1a: SWAP1 00000f1b: DUP2 00000f1c: ADD 00000f1d: SLOAD 00000f1e: SWAP4 00000f1f: DUP6 00000f20: SWAP1 00000f21: MSTORE 00000f22: SWAP1 00000f23: SWAP6 00000f24: ADD 00000f25: SWAP2 00000f26: SWAP1 00000f27: SWAP2 00000f28: SSTORE 00000f29: DUP3 00000f2a: MLOAD 00000f2b: DUP8 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: SWAP3 00000f2f: MLOAD 00000f30: SWAP2 00000f31: SWAP4 00000f32: SWAP3 00000f33: PUSH32 0xf99e1703995723f297efb71e45f6c282b4ff86d1f3ef67da774949dd2ad7e3ac 00000f54: SWAP3 00000f55: SWAP1 00000f56: DUP2 00000f57: SWAP1 00000f58: SUB 00000f59: SWAP1 00000f5a: SWAP2 00000f5b: ADD 00000f5c: SWAP1 00000f5d: LOG3 00000f5e: JUMPDEST 00000f5f: POP 00000f60: POP 00000f61: POP 00000f62: POP 00000f63: POP 00000f64: POP 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH1 0x01 00000f69: PUSH1 0xa0 00000f6b: PUSH1 0x02 00000f6d: EXP 00000f6e: SUB 00000f6f: DUP4 00000f70: AND 00000f71: PUSH1 0x00 00000f73: SWAP1 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x20 00000f78: DUP2 00000f79: SWAP1 00000f7a: MSTORE 00000f7b: PUSH1 0x40 00000f7d: DUP2 00000f7e: KECCAK256 00000f7f: SLOAD 00000f80: DUP3 00000f81: GT 00000f82: ISZERO 00000f83: PUSH2 0x0f8b 00000f86: JUMPI 00000f87: PUSH1 0x00 00000f89: DUP1 00000f8a: REVERT 00000f8b: JUMPDEST 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0xa0 00000f90: PUSH1 0x02 00000f92: EXP 00000f93: SUB 00000f94: DUP5 00000f95: AND 00000f96: PUSH1 0x00 00000f98: SWAP1 00000f99: DUP2 00000f9a: MSTORE 00000f9b: PUSH1 0x01 00000f9d: PUSH1 0x20 00000f9f: SWAP1 00000fa0: DUP2 00000fa1: MSTORE 00000fa2: PUSH1 0x40 00000fa4: DUP1 00000fa5: DUP4 00000fa6: KECCAK256 00000fa7: CALLER 00000fa8: DUP5 00000fa9: MSTORE 00000faa: SWAP1 00000fab: SWAP2 00000fac: MSTORE 00000fad: SWAP1 00000fae: KECCAK256 00000faf: SLOAD 00000fb0: DUP3 00000fb1: GT 00000fb2: ISZERO 00000fb3: PUSH2 0x0fbb 00000fb6: JUMPI 00000fb7: PUSH1 0x00 00000fb9: DUP1 00000fba: REVERT 00000fbb: JUMPDEST 00000fbc: PUSH1 0x01 00000fbe: PUSH1 0xa0 00000fc0: PUSH1 0x02 00000fc2: EXP 00000fc3: SUB 00000fc4: DUP4 00000fc5: AND 00000fc6: ISZERO 00000fc7: ISZERO 00000fc8: PUSH2 0x0fd0 00000fcb: JUMPI 00000fcc: PUSH1 0x00 00000fce: DUP1 00000fcf: REVERT 00000fd0: JUMPDEST 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0xa0 00000fd5: PUSH1 0x02 00000fd7: EXP 00000fd8: SUB 00000fd9: DUP5 00000fda: AND 00000fdb: PUSH1 0x00 00000fdd: SWAP1 00000fde: DUP2 00000fdf: MSTORE 00000fe0: PUSH1 0x20 00000fe2: DUP2 00000fe3: SWAP1 00000fe4: MSTORE 00000fe5: PUSH1 0x40 00000fe7: SWAP1 00000fe8: KECCAK256 00000fe9: SLOAD 00000fea: PUSH2 0x0ff9 00000fed: SWAP1 00000fee: DUP4 00000fef: PUSH4 0xffffffff 00000ff4: PUSH2 0x10e7 00000ff7: AND 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0xa0 00000ffe: PUSH1 0x02 00001000: EXP 00001001: SUB 00001002: DUP1 00001003: DUP7 00001004: AND 00001005: PUSH1 0x00 00001007: SWAP1 00001008: DUP2 00001009: MSTORE 0000100a: PUSH1 0x20 0000100c: DUP2 0000100d: SWAP1 0000100e: MSTORE 0000100f: PUSH1 0x40 00001011: DUP1 00001012: DUP3 00001013: KECCAK256 00001014: SWAP4 00001015: SWAP1 00001016: SWAP4 00001017: SSTORE 00001018: SWAP1 00001019: DUP6 0000101a: AND 0000101b: DUP2 0000101c: MSTORE 0000101d: KECCAK256 0000101e: SLOAD 0000101f: PUSH2 0x102e 00001022: SWAP1 00001023: DUP4 00001024: PUSH4 0xffffffff 00001029: PUSH2 0x0e1a 0000102c: AND 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x01 00001031: PUSH1 0xa0 00001033: PUSH1 0x02 00001035: EXP 00001036: SUB 00001037: DUP1 00001038: DUP6 00001039: AND 0000103a: PUSH1 0x00 0000103c: SWAP1 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH1 0x20 00001041: DUP2 00001042: DUP2 00001043: MSTORE 00001044: PUSH1 0x40 00001046: DUP1 00001047: DUP4 00001048: KECCAK256 00001049: SWAP5 0000104a: SWAP1 0000104b: SWAP5 0000104c: SSTORE 0000104d: SWAP2 0000104e: DUP8 0000104f: AND 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x01 00001054: DUP3 00001055: MSTORE 00001056: DUP3 00001057: DUP2 00001058: KECCAK256 00001059: CALLER 0000105a: DUP3 0000105b: MSTORE 0000105c: SWAP1 0000105d: SWAP2 0000105e: MSTORE 0000105f: KECCAK256 00001060: SLOAD 00001061: PUSH2 0x1070 00001064: SWAP1 00001065: DUP4 00001066: PUSH4 0xffffffff 0000106b: PUSH2 0x10e7 0000106e: AND 0000106f: JUMP 00001070: JUMPDEST 00001071: PUSH1 0x01 00001073: PUSH1 0xa0 00001075: PUSH1 0x02 00001077: EXP 00001078: SUB 00001079: DUP1 0000107a: DUP7 0000107b: AND 0000107c: PUSH1 0x00 0000107e: DUP2 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x01 00001083: PUSH1 0x20 00001085: SWAP1 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x40 0000108a: DUP1 0000108b: DUP4 0000108c: KECCAK256 0000108d: CALLER 0000108e: DUP5 0000108f: MSTORE 00001090: DUP3 00001091: MSTORE 00001092: SWAP2 00001093: DUP3 00001094: SWAP1 00001095: KECCAK256 00001096: SWAP5 00001097: SWAP1 00001098: SWAP5 00001099: SSTORE 0000109a: DUP1 0000109b: MLOAD 0000109c: DUP7 0000109d: DUP2 0000109e: MSTORE 0000109f: SWAP1 000010a0: MLOAD 000010a1: SWAP3 000010a2: DUP8 000010a3: AND 000010a4: SWAP4 000010a5: SWAP2 000010a6: SWAP3 000010a7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010c8: SWAP3 000010c9: SWAP2 000010ca: DUP2 000010cb: SWAP1 000010cc: SUB 000010cd: SWAP1 000010ce: SWAP2 000010cf: ADD 000010d0: SWAP1 000010d1: LOG3 000010d2: POP 000010d3: PUSH1 0x01 000010d5: SWAP4 000010d6: SWAP3 000010d7: POP 000010d8: POP 000010d9: POP 000010da: JUMP 000010db: JUMPDEST 000010dc: PUSH1 0x00 000010de: DUP2 000010df: PUSH2 0x0df8 000010e2: DUP2 000010e3: PUSH2 0x13da 000010e6: JUMP 000010e7: JUMPDEST 000010e8: PUSH1 0x00 000010ea: DUP1 000010eb: DUP4 000010ec: DUP4 000010ed: GT 000010ee: ISZERO 000010ef: PUSH2 0x10f7 000010f2: JUMPI 000010f3: PUSH1 0x00 000010f5: DUP1 000010f6: REVERT 000010f7: JUMPDEST 000010f8: POP 000010f9: POP 000010fa: SWAP1 000010fb: SUB 000010fc: SWAP1 000010fd: JUMP 000010fe: JUMPDEST 000010ff: PUSH1 0x03 00001101: SLOAD 00001102: PUSH1 0x00 00001104: SWAP1 00001105: PUSH1 0x01 00001107: PUSH1 0xa0 00001109: PUSH1 0x02 0000110b: EXP 0000110c: SUB 0000110d: AND 0000110e: CALLER 0000110f: EQ 00001110: PUSH2 0x1118 00001113: JUMPI 00001114: PUSH1 0x00 00001116: DUP1 00001117: REVERT 00001118: JUMPDEST 00001119: PUSH1 0x03 0000111b: SLOAD 0000111c: PUSH1 0xa0 0000111e: PUSH1 0x02 00001120: EXP 00001121: SWAP1 00001122: DIV 00001123: PUSH1 0xff 00001125: AND 00001126: ISZERO 00001127: PUSH2 0x112f 0000112a: JUMPI 0000112b: PUSH1 0x00 0000112d: DUP1 0000112e: REVERT 0000112f: JUMPDEST 00001130: PUSH1 0x02 00001132: SLOAD 00001133: PUSH2 0x1142 00001136: SWAP1 00001137: DUP4 00001138: PUSH4 0xffffffff 0000113d: PUSH2 0x0e1a 00001140: AND 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH1 0x02 00001145: SSTORE 00001146: PUSH1 0x01 00001148: PUSH1 0xa0 0000114a: PUSH1 0x02 0000114c: EXP 0000114d: SUB 0000114e: DUP4 0000114f: AND 00001150: PUSH1 0x00 00001152: SWAP1 00001153: DUP2 00001154: MSTORE 00001155: PUSH1 0x20 00001157: DUP2 00001158: SWAP1 00001159: MSTORE 0000115a: PUSH1 0x40 0000115c: SWAP1 0000115d: KECCAK256 0000115e: SLOAD 0000115f: PUSH2 0x116e 00001162: SWAP1 00001163: DUP4 00001164: PUSH4 0xffffffff 00001169: PUSH2 0x0e1a 0000116c: AND 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH1 0x01 00001171: PUSH1 0xa0 00001173: PUSH1 0x02 00001175: EXP 00001176: SUB 00001177: DUP5 00001178: AND 00001179: PUSH1 0x00 0000117b: DUP2 0000117c: DUP2 0000117d: MSTORE 0000117e: PUSH1 0x20 00001180: DUP2 00001181: DUP2 00001182: MSTORE 00001183: PUSH1 0x40 00001185: SWAP2 00001186: DUP3 00001187: SWAP1 00001188: KECCAK256 00001189: SWAP4 0000118a: SWAP1 0000118b: SWAP4 0000118c: SSTORE 0000118d: DUP1 0000118e: MLOAD 0000118f: DUP6 00001190: DUP2 00001191: MSTORE 00001192: SWAP1 00001193: MLOAD 00001194: SWAP2 00001195: SWAP3 00001196: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 000011b7: SWAP3 000011b8: SWAP2 000011b9: DUP3 000011ba: SWAP1 000011bb: SUB 000011bc: ADD 000011bd: SWAP1 000011be: LOG2 000011bf: PUSH1 0x40 000011c1: DUP1 000011c2: MLOAD 000011c3: DUP4 000011c4: DUP2 000011c5: MSTORE 000011c6: SWAP1 000011c7: MLOAD 000011c8: PUSH1 0x01 000011ca: PUSH1 0xa0 000011cc: PUSH1 0x02 000011ce: EXP 000011cf: SUB 000011d0: DUP6 000011d1: AND 000011d2: SWAP2 000011d3: PUSH1 0x00 000011d5: SWAP2 000011d6: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011f7: SWAP2 000011f8: DUP2 000011f9: SWAP1 000011fa: SUB 000011fb: PUSH1 0x20 000011fd: ADD 000011fe: SWAP1 000011ff: LOG3 00001200: POP 00001201: PUSH1 0x01 00001203: SWAP3 00001204: SWAP2 00001205: POP 00001206: POP 00001207: JUMP 00001208: JUMPDEST 00001209: CALLER 0000120a: PUSH1 0x00 0000120c: SWAP1 0000120d: DUP2 0000120e: MSTORE 0000120f: PUSH1 0x20 00001211: DUP2 00001212: SWAP1 00001213: MSTORE 00001214: PUSH1 0x40 00001216: DUP2 00001217: KECCAK256 00001218: SLOAD 00001219: DUP3 0000121a: GT 0000121b: ISZERO 0000121c: PUSH2 0x1224 0000121f: JUMPI 00001220: PUSH1 0x00 00001222: DUP1 00001223: REVERT 00001224: JUMPDEST 00001225: PUSH1 0x01 00001227: PUSH1 0xa0 00001229: PUSH1 0x02 0000122b: EXP 0000122c: SUB 0000122d: DUP4 0000122e: AND 0000122f: ISZERO 00001230: ISZERO 00001231: PUSH2 0x1239 00001234: JUMPI 00001235: PUSH1 0x00 00001237: DUP1 00001238: REVERT 00001239: JUMPDEST 0000123a: CALLER 0000123b: PUSH1 0x00 0000123d: SWAP1 0000123e: DUP2 0000123f: MSTORE 00001240: PUSH1 0x20 00001242: DUP2 00001243: SWAP1 00001244: MSTORE 00001245: PUSH1 0x40 00001247: SWAP1 00001248: KECCAK256 00001249: SLOAD 0000124a: PUSH2 0x1259 0000124d: SWAP1 0000124e: DUP4 0000124f: PUSH4 0xffffffff 00001254: PUSH2 0x10e7 00001257: AND 00001258: JUMP 00001259: JUMPDEST 0000125a: CALLER 0000125b: PUSH1 0x00 0000125d: SWAP1 0000125e: DUP2 0000125f: MSTORE 00001260: PUSH1 0x20 00001262: DUP2 00001263: SWAP1 00001264: MSTORE 00001265: PUSH1 0x40 00001267: DUP1 00001268: DUP3 00001269: KECCAK256 0000126a: SWAP3 0000126b: SWAP1 0000126c: SWAP3 0000126d: SSTORE 0000126e: PUSH1 0x01 00001270: PUSH1 0xa0 00001272: PUSH1 0x02 00001274: EXP 00001275: SUB 00001276: DUP6 00001277: AND 00001278: DUP2 00001279: MSTORE 0000127a: KECCAK256 0000127b: SLOAD 0000127c: PUSH2 0x128b 0000127f: SWAP1 00001280: DUP4 00001281: PUSH4 0xffffffff 00001286: PUSH2 0x0e1a 00001289: AND 0000128a: JUMP 0000128b: JUMPDEST 0000128c: PUSH1 0x01 0000128e: PUSH1 0xa0 00001290: PUSH1 0x02 00001292: EXP 00001293: SUB 00001294: DUP5 00001295: AND 00001296: PUSH1 0x00 00001298: DUP2 00001299: DUP2 0000129a: MSTORE 0000129b: PUSH1 0x20 0000129d: DUP2 0000129e: DUP2 0000129f: MSTORE 000012a0: PUSH1 0x40 000012a2: SWAP2 000012a3: DUP3 000012a4: SWAP1 000012a5: KECCAK256 000012a6: SWAP4 000012a7: SWAP1 000012a8: SWAP4 000012a9: SSTORE 000012aa: DUP1 000012ab: MLOAD 000012ac: DUP6 000012ad: DUP2 000012ae: MSTORE 000012af: SWAP1 000012b0: MLOAD 000012b1: SWAP2 000012b2: SWAP3 000012b3: CALLER 000012b4: SWAP3 000012b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000012d6: SWAP3 000012d7: DUP2 000012d8: SWAP1 000012d9: SUB 000012da: SWAP1 000012db: SWAP2 000012dc: ADD 000012dd: SWAP1 000012de: LOG3 000012df: POP 000012e0: PUSH1 0x01 000012e2: SWAP3 000012e3: SWAP2 000012e4: POP 000012e5: POP 000012e6: JUMP 000012e7: JUMPDEST 000012e8: PUSH1 0x01 000012ea: PUSH1 0xa0 000012ec: PUSH1 0x02 000012ee: EXP 000012ef: SUB 000012f0: DUP2 000012f1: AND 000012f2: ISZERO 000012f3: ISZERO 000012f4: PUSH2 0x12fc 000012f7: JUMPI 000012f8: PUSH1 0x00 000012fa: DUP1 000012fb: REVERT 000012fc: JUMPDEST 000012fd: PUSH1 0x03 000012ff: SLOAD 00001300: PUSH1 0x40 00001302: MLOAD 00001303: PUSH1 0x01 00001305: PUSH1 0xa0 00001307: PUSH1 0x02 00001309: EXP 0000130a: SUB 0000130b: DUP1 0000130c: DUP5 0000130d: AND 0000130e: SWAP3 0000130f: AND 00001310: SWAP1 00001311: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001332: SWAP1 00001333: PUSH1 0x00 00001335: SWAP1 00001336: LOG3 00001337: PUSH1 0x03 00001339: DUP1 0000133a: SLOAD 0000133b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001350: NOT 00001351: AND 00001352: PUSH1 0x01 00001354: PUSH1 0xa0 00001356: PUSH1 0x02 00001358: EXP 00001359: SUB 0000135a: SWAP3 0000135b: SWAP1 0000135c: SWAP3 0000135d: AND 0000135e: SWAP2 0000135f: SWAP1 00001360: SWAP2 00001361: OR 00001362: SWAP1 00001363: SSTORE 00001364: JUMP 00001365: JUMPDEST 00001366: PUSH1 0x01 00001368: PUSH1 0xa0 0000136a: PUSH1 0x02 0000136c: EXP 0000136d: SUB 0000136e: DUP2 0000136f: AND 00001370: PUSH1 0x00 00001372: SWAP1 00001373: DUP2 00001374: MSTORE 00001375: PUSH1 0x0a 00001377: PUSH1 0x20 00001379: MSTORE 0000137a: PUSH1 0x40 0000137c: DUP2 0000137d: KECCAK256 0000137e: PUSH1 0x01 00001380: ADD 00001381: SLOAD 00001382: PUSH1 0x07 00001384: SLOAD 00001385: DUP3 00001386: SWAP2 00001387: PUSH2 0x1396 0000138a: SWAP2 0000138b: SWAP1 0000138c: PUSH4 0xffffffff 00001391: PUSH2 0x10e7 00001394: AND 00001395: JUMP 00001396: JUMPDEST 00001397: SWAP1 00001398: POP 00001399: DUP1 0000139a: ISZERO 0000139b: ISZERO 0000139c: PUSH2 0x13a8 0000139f: JUMPI 000013a0: PUSH1 0x00 000013a2: SWAP2 000013a3: POP 000013a4: PUSH2 0x0e14 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x02 000013ab: SLOAD 000013ac: PUSH1 0x01 000013ae: PUSH1 0xa0 000013b0: PUSH1 0x02 000013b2: EXP 000013b3: SUB 000013b4: DUP5 000013b5: AND 000013b6: PUSH1 0x00 000013b8: SWAP1 000013b9: DUP2 000013ba: MSTORE 000013bb: PUSH1 0x20 000013bd: DUP2 000013be: SWAP1 000013bf: MSTORE 000013c0: PUSH1 0x40 000013c2: SWAP1 000013c3: KECCAK256 000013c4: SLOAD 000013c5: PUSH2 0x0df1 000013c8: SWAP2 000013c9: SWAP1 000013ca: PUSH2 0x0e7a 000013cd: SWAP1 000013ce: DUP5 000013cf: SWAP1 000013d0: PUSH4 0xffffffff 000013d5: PUSH2 0x14e0 000013d8: AND 000013d9: JUMP 000013da: JUMPDEST 000013db: PUSH1 0x03 000013dd: SLOAD 000013de: PUSH1 0x00 000013e0: SWAP1 000013e1: PUSH1 0xa0 000013e3: PUSH1 0x02 000013e5: EXP 000013e6: SWAP1 000013e7: DIV 000013e8: PUSH1 0xff 000013ea: AND 000013eb: ISZERO 000013ec: ISZERO 000013ed: PUSH2 0x1466 000013f0: JUMPI 000013f1: PUSH1 0x40 000013f3: DUP1 000013f4: MLOAD 000013f5: PUSH1 0xe5 000013f7: PUSH1 0x02 000013f9: EXP 000013fa: PUSH3 0x461bcd 000013fe: MUL 000013ff: DUP2 00001400: MSTORE 00001401: PUSH1 0x20 00001403: PUSH1 0x04 00001405: DUP3 00001406: ADD 00001407: MSTORE 00001408: PUSH1 0x31 0000140a: PUSH1 0x24 0000140c: DUP3 0000140d: ADD 0000140e: MSTORE 0000140f: PUSH32 0x43616e27742063616c63756c6174652062616c616e636573206966207374696c 00001430: PUSH1 0x44 00001432: DUP3 00001433: ADD 00001434: MSTORE 00001435: PUSH32 0x6c206d696e74696e6720746f6b656e7321000000000000000000000000000000 00001456: PUSH1 0x64 00001458: DUP3 00001459: ADD 0000145a: MSTORE 0000145b: SWAP1 0000145c: MLOAD 0000145d: SWAP1 0000145e: DUP2 0000145f: SWAP1 00001460: SUB 00001461: PUSH1 0x84 00001463: ADD 00001464: SWAP1 00001465: REVERT 00001466: JUMPDEST 00001467: PUSH2 0x146f 0000146a: DUP3 0000146b: PUSH2 0x1365 0000146e: JUMP 0000146f: JUMPDEST 00001470: SWAP1 00001471: POP 00001472: PUSH1 0x00 00001474: DUP2 00001475: GT 00001476: ISZERO 00001477: PUSH2 0x14bd 0000147a: JUMPI 0000147b: PUSH1 0x01 0000147d: PUSH1 0xa0 0000147f: PUSH1 0x02 00001481: EXP 00001482: SUB 00001483: DUP3 00001484: AND 00001485: PUSH1 0x00 00001487: SWAP1 00001488: DUP2 00001489: MSTORE 0000148a: PUSH1 0x0a 0000148c: PUSH1 0x20 0000148e: MSTORE 0000148f: PUSH1 0x40 00001491: SWAP1 00001492: KECCAK256 00001493: SLOAD 00001494: PUSH2 0x14a3 00001497: SWAP1 00001498: DUP3 00001499: PUSH4 0xffffffff 0000149e: PUSH2 0x0e1a 000014a1: AND 000014a2: JUMP 000014a3: JUMPDEST 000014a4: PUSH1 0x01 000014a6: PUSH1 0xa0 000014a8: PUSH1 0x02 000014aa: EXP 000014ab: SUB 000014ac: DUP4 000014ad: AND 000014ae: PUSH1 0x00 000014b0: SWAP1 000014b1: DUP2 000014b2: MSTORE 000014b3: PUSH1 0x0a 000014b5: PUSH1 0x20 000014b7: MSTORE 000014b8: PUSH1 0x40 000014ba: SWAP1 000014bb: KECCAK256 000014bc: SSTORE 000014bd: JUMPDEST 000014be: POP 000014bf: PUSH1 0x07 000014c1: SLOAD 000014c2: PUSH1 0x01 000014c4: PUSH1 0xa0 000014c6: PUSH1 0x02 000014c8: EXP 000014c9: SUB 000014ca: SWAP1 000014cb: SWAP2 000014cc: AND 000014cd: PUSH1 0x00 000014cf: SWAP1 000014d0: DUP2 000014d1: MSTORE 000014d2: PUSH1 0x0a 000014d4: PUSH1 0x20 000014d6: MSTORE 000014d7: PUSH1 0x40 000014d9: SWAP1 000014da: KECCAK256 000014db: PUSH1 0x01 000014dd: ADD 000014de: SSTORE 000014df: JUMP 000014e0: JUMPDEST 000014e1: PUSH1 0x00 000014e3: DUP1 000014e4: DUP4 000014e5: ISZERO 000014e6: ISZERO 000014e7: PUSH2 0x14f3 000014ea: JUMPI 000014eb: PUSH1 0x00 000014ed: SWAP2 000014ee: POP 000014ef: PUSH2 0x09b8 000014f2: JUMP 000014f3: JUMPDEST 000014f4: POP 000014f5: DUP3 000014f6: DUP3 000014f7: MUL 000014f8: DUP3 000014f9: DUP5 000014fa: DUP3 000014fb: DUP2 000014fc: ISZERO 000014fd: ISZERO 000014fe: PUSH2 0x1503 00001501: JUMPI 00001502: INVALID 00001503: JUMPDEST 00001504: DIV 00001505: EQ 00001506: PUSH2 0x089e 00001509: JUMPI 0000150a: PUSH1 0x00 0000150c: DUP1 0000150d: REVERT 0000150e: JUMPDEST 0000150f: PUSH1 0x00 00001511: DUP1 00001512: DUP1 00001513: DUP4 00001514: GT 00001515: PUSH2 0x151d 00001518: JUMPI 00001519: PUSH1 0x00 0000151b: DUP1 0000151c: REVERT 0000151d: JUMPDEST 0000151e: DUP3 0000151f: DUP5 00001520: DUP2 00001521: ISZERO 00001522: ISZERO 00001523: PUSH2 0x1528 00001526: JUMPI 00001527: INVALID 00001528: JUMPDEST 00001529: DIV 0000152a: SWAP5 0000152b: SWAP4 0000152c: POP 0000152d: POP 0000152e: POP 0000152f: POP 00001530: JUMP 00001531: STOP 00001532: LOG1 00001533: PUSH6 0x627a7a723058 0000153a: KECCAK256 0000153b: MSIZE 0000153c: PUSH0 0000153d: INVALID 0000153e: SLT 0000153f: SLOAD 00001540: UNKNOWN(0xB1) 00001541: UNKNOWN(0xBA) 00001542: EXTCODEHASH 00001543: LOG0 00001544: BLOBBASEFEE 00001545: DELEGATECALL 00001546: UNKNOWN(0xAC) 00001547: UNKNOWN(0xAA) 00001548: DUP14 00001549: SWAP9 0000154a: UNKNOWN(0xB6) 0000154b: SELFBALANCE 0000154c: UNKNOWN(0x2C) 0000154d: MLOAD 0000154e: PUSH1 0xe5 00001550: UNKNOWN(0xDE) 00001551: INVALID 00001552: SIGNEXTEND 00001553: UNKNOWN(0xC1) 00001554: DUP4 00001555: SWAP7 00001556: UNKNOWN(0xDD) 00001557: UNKNOWN(0xC0) 00001558: SWAP5 00001559: UNKNOWN(0xD7) 0000155a: UNKNOWN(0xD1) 0000155b: STOP 0000155c: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x8a98b7927636aa1851b3d8962bd5a082ba0c98d4168a256013b13f7830d3e76e
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x8a98b7927636aa1851b3d8962bd5a082ba0c98d4168a256013b13f7830d3e76e",
"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": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e92abdd",
"selector": "0x2e92abdd",
"calldata_variants": [
"0x2e92abdd",
"0x2e92abdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36ef1abb",
"selector": "0x36ef1abb",
"calldata_variants": [
"0x36ef1abb",
"0x36ef1abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5445,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa3611ba6f376b573e12ba67f5c8ebc231f3f7dffbb882890a496f919ebdf8102
call_targets:
0xc84ab334f9f615789716994f4fbdd35b7bb4f39c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3611ba6f376b573e12ba67f5c8ebc231f3f7dffbb882890a496f919ebdf8102",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc84ab334f9f615789716994f4fbdd35b7bb4f39c"
],
"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": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e92abdd",
"selector": "0x2e92abdd",
"calldata_variants": [
"0x2e92abdd",
"0x2e92abdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36ef1abb",
"selector": "0x36ef1abb",
"calldata_variants": [
"0x36ef1abb",
"0x36ef1abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2065,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa3611ba6f376b573e12ba67f5c8ebc231f3f7dffbb882890a496f919ebdf8102
call_targets:
0xc84ab334f9f615789716994f4fbdd35b7bb4f39c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3611ba6f376b573e12ba67f5c8ebc231f3f7dffbb882890a496f919ebdf8102",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc84ab334f9f615789716994f4fbdd35b7bb4f39c"
],
"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": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e92abdd",
"selector": "0x2e92abdd",
"calldata_variants": [
"0x2e92abdd",
"0x2e92abdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36ef1abb",
"selector": "0x36ef1abb",
"calldata_variants": [
"0x36ef1abb",
"0x36ef1abb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2065,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|