019b477e-ae9c-7062-9ab3-4a9c9fbbd34c
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 |
|---|---|---|---|---|
| 21617 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21618 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65014 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65015 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65016 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65017 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0103 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x025e7c27 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x014e 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x173825d9 0000002d: EQ 0000002e: PUSH2 0x0182 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x20ea8d86 00000038: EQ 00000039: PUSH2 0x01a3 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2f54bf6e 00000043: EQ 00000044: PUSH2 0x01bb 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x3411c81c 0000004e: EQ 0000004f: PUSH2 0x01f0 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x54741525 00000059: EQ 0000005a: PUSH2 0x0214 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x7065cb48 00000064: EQ 00000065: PUSH2 0x0245 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x784547a7 0000006f: EQ 00000070: PUSH2 0x0266 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x8b51d13f 0000007a: EQ 0000007b: PUSH2 0x027e 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x9ace38c2 00000085: EQ 00000086: PUSH2 0x0296 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0xa0e67e2b 00000090: EQ 00000091: PUSH2 0x0351 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0xa8abe69a 0000009b: EQ 0000009c: PUSH2 0x03b6 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xb5dc40c3 000000a6: EQ 000000a7: PUSH2 0x03db 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xb77bf600 000000b1: EQ 000000b2: PUSH2 0x03f3 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xba51a6df 000000bc: EQ 000000bd: PUSH2 0x0408 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xc01a8c84 000000c7: EQ 000000c8: PUSH2 0x0420 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xc6427474 000000d2: EQ 000000d3: PUSH2 0x0438 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xd74f8edd 000000dd: EQ 000000de: PUSH2 0x04a1 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xdc8452cd 000000e8: EQ 000000e9: PUSH2 0x04b6 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xe20056e6 000000f3: EQ 000000f4: PUSH2 0x04cb 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xee22610b 000000fe: EQ 000000ff: PUSH2 0x04f2 00000102: JUMPI 00000103: JUMPDEST 00000104: PUSH1 0x00 00000106: CALLVALUE 00000107: GT 00000108: ISZERO 00000109: PUSH2 0x014c 0000010c: JUMPI 0000010d: PUSH1 0x40 0000010f: DUP1 00000110: MLOAD 00000111: CALLVALUE 00000112: DUP2 00000113: MSTORE 00000114: SWAP1 00000115: MLOAD 00000116: PUSH1 0x01 00000118: PUSH1 0xa0 0000011a: PUSH1 0x02 0000011c: EXP 0000011d: SUB 0000011e: CALLER 0000011f: AND 00000120: SWAP2 00000121: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000142: SWAP2 00000143: SWAP1 00000144: DUP2 00000145: SWAP1 00000146: SUB 00000147: PUSH1 0x20 00000149: ADD 0000014a: SWAP1 0000014b: LOG2 0000014c: JUMPDEST 0000014d: STOP 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: DUP1 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: POP 0000015c: PUSH2 0x0166 0000015f: PUSH1 0x04 00000161: CALLDATALOAD 00000162: PUSH2 0x050a 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: DUP1 0000016a: MLOAD 0000016b: PUSH1 0x01 0000016d: PUSH1 0xa0 0000016f: PUSH1 0x02 00000171: EXP 00000172: SUB 00000173: SWAP1 00000174: SWAP3 00000175: AND 00000176: DUP3 00000177: MSTORE 00000178: MLOAD 00000179: SWAP1 0000017a: DUP2 0000017b: SWAP1 0000017c: SUB 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: RETURN 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x014c 00000193: PUSH1 0x01 00000195: PUSH1 0xa0 00000197: PUSH1 0x02 00000199: EXP 0000019a: SUB 0000019b: PUSH1 0x04 0000019d: CALLDATALOAD 0000019e: AND 0000019f: PUSH2 0x0532 000001a2: JUMP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x014c 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: PUSH2 0x06ab 000001ba: JUMP 000001bb: JUMPDEST 000001bc: CALLVALUE 000001bd: DUP1 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: PUSH2 0x01dc 000001cc: PUSH1 0x01 000001ce: PUSH1 0xa0 000001d0: PUSH1 0x02 000001d2: EXP 000001d3: SUB 000001d4: PUSH1 0x04 000001d6: CALLDATALOAD 000001d7: AND 000001d8: PUSH2 0x0781 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: DUP1 000001e0: MLOAD 000001e1: SWAP2 000001e2: ISZERO 000001e3: ISZERO 000001e4: DUP3 000001e5: MSTORE 000001e6: MLOAD 000001e7: SWAP1 000001e8: DUP2 000001e9: SWAP1 000001ea: SUB 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH2 0x01dc 00000201: PUSH1 0x04 00000203: CALLDATALOAD 00000204: PUSH1 0x01 00000206: PUSH1 0xa0 00000208: PUSH1 0x02 0000020a: EXP 0000020b: SUB 0000020c: PUSH1 0x24 0000020e: CALLDATALOAD 0000020f: AND 00000210: PUSH2 0x0796 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x0233 00000225: PUSH1 0x04 00000227: CALLDATALOAD 00000228: ISZERO 00000229: ISZERO 0000022a: PUSH1 0x24 0000022c: CALLDATALOAD 0000022d: ISZERO 0000022e: ISZERO 0000022f: PUSH2 0x07b6 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: DUP1 00000237: MLOAD 00000238: SWAP2 00000239: DUP3 0000023a: MSTORE 0000023b: MLOAD 0000023c: SWAP1 0000023d: DUP2 0000023e: SWAP1 0000023f: SUB 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP1 00000244: RETURN 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x014c 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: AND 00000262: PUSH2 0x0822 00000265: JUMP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0272 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: POP 00000274: PUSH2 0x01dc 00000277: PUSH1 0x04 00000279: CALLDATALOAD 0000027a: PUSH2 0x093c 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x0233 0000028f: PUSH1 0x04 00000291: CALLDATALOAD 00000292: PUSH2 0x09c0 00000295: JUMP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x02ae 000002a7: PUSH1 0x04 000002a9: CALLDATALOAD 000002aa: PUSH2 0x0a2f 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH1 0x40 000002b1: MLOAD 000002b2: DUP1 000002b3: DUP6 000002b4: PUSH1 0x01 000002b6: PUSH1 0xa0 000002b8: PUSH1 0x02 000002ba: EXP 000002bb: SUB 000002bc: AND 000002bd: PUSH1 0x01 000002bf: PUSH1 0xa0 000002c1: PUSH1 0x02 000002c3: EXP 000002c4: SUB 000002c5: AND 000002c6: DUP2 000002c7: MSTORE 000002c8: PUSH1 0x20 000002ca: ADD 000002cb: DUP5 000002cc: DUP2 000002cd: MSTORE 000002ce: PUSH1 0x20 000002d0: ADD 000002d1: DUP1 000002d2: PUSH1 0x20 000002d4: ADD 000002d5: DUP4 000002d6: ISZERO 000002d7: ISZERO 000002d8: ISZERO 000002d9: ISZERO 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: ADD 000002df: DUP3 000002e0: DUP2 000002e1: SUB 000002e2: DUP3 000002e3: MSTORE 000002e4: DUP5 000002e5: DUP2 000002e6: DUP2 000002e7: MLOAD 000002e8: DUP2 000002e9: MSTORE 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP2 000002ee: POP 000002ef: DUP1 000002f0: MLOAD 000002f1: SWAP1 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP1 000002f6: DUP1 000002f7: DUP4 000002f8: DUP4 000002f9: PUSH1 0x00 000002fb: JUMPDEST 000002fc: DUP4 000002fd: DUP2 000002fe: LT 000002ff: ISZERO 00000300: PUSH2 0x0313 00000303: JUMPI 00000304: DUP2 00000305: DUP2 00000306: ADD 00000307: MLOAD 00000308: DUP4 00000309: DUP3 0000030a: ADD 0000030b: MSTORE 0000030c: PUSH1 0x20 0000030e: ADD 0000030f: PUSH2 0x02fb 00000312: JUMP 00000313: JUMPDEST 00000314: POP 00000315: POP 00000316: POP 00000317: POP 00000318: SWAP1 00000319: POP 0000031a: SWAP1 0000031b: DUP2 0000031c: ADD 0000031d: SWAP1 0000031e: PUSH1 0x1f 00000320: AND 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x0340 00000326: JUMPI 00000327: DUP1 00000328: DUP3 00000329: SUB 0000032a: DUP1 0000032b: MLOAD 0000032c: PUSH1 0x01 0000032e: DUP4 0000032f: PUSH1 0x20 00000331: SUB 00000332: PUSH2 0x0100 00000335: EXP 00000336: SUB 00000337: NOT 00000338: AND 00000339: DUP2 0000033a: MSTORE 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: SWAP2 0000033f: POP 00000340: JUMPDEST 00000341: POP 00000342: SWAP6 00000343: POP 00000344: POP 00000345: POP 00000346: POP 00000347: POP 00000348: POP 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: DUP1 0000034d: SWAP2 0000034e: SUB 0000034f: SWAP1 00000350: RETURN 00000351: JUMPDEST 00000352: CALLVALUE 00000353: DUP1 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: PUSH2 0x0366 00000362: PUSH2 0x0aed 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH1 0x40 00000369: DUP1 0000036a: MLOAD 0000036b: PUSH1 0x20 0000036d: DUP1 0000036e: DUP3 0000036f: MSTORE 00000370: DUP4 00000371: MLOAD 00000372: DUP2 00000373: DUP4 00000374: ADD 00000375: MSTORE 00000376: DUP4 00000377: MLOAD 00000378: SWAP2 00000379: SWAP3 0000037a: DUP4 0000037b: SWAP3 0000037c: SWAP1 0000037d: DUP4 0000037e: ADD 0000037f: SWAP2 00000380: DUP6 00000381: DUP2 00000382: ADD 00000383: SWAP2 00000384: MUL 00000385: DUP1 00000386: DUP4 00000387: DUP4 00000388: PUSH1 0x00 0000038a: JUMPDEST 0000038b: DUP4 0000038c: DUP2 0000038d: LT 0000038e: ISZERO 0000038f: PUSH2 0x03a2 00000392: JUMPI 00000393: DUP2 00000394: DUP2 00000395: ADD 00000396: MLOAD 00000397: DUP4 00000398: DUP3 00000399: ADD 0000039a: MSTORE 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: PUSH2 0x038a 000003a1: JUMP 000003a2: JUMPDEST 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: SWAP1 000003a8: POP 000003a9: ADD 000003aa: SWAP3 000003ab: POP 000003ac: POP 000003ad: POP 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: SWAP2 000003b3: SUB 000003b4: SWAP1 000003b5: RETURN 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x0366 000003c7: PUSH1 0x04 000003c9: CALLDATALOAD 000003ca: PUSH1 0x24 000003cc: CALLDATALOAD 000003cd: PUSH1 0x44 000003cf: CALLDATALOAD 000003d0: ISZERO 000003d1: ISZERO 000003d2: PUSH1 0x64 000003d4: CALLDATALOAD 000003d5: ISZERO 000003d6: ISZERO 000003d7: PUSH2 0x0b50 000003da: JUMP 000003db: JUMPDEST 000003dc: CALLVALUE 000003dd: DUP1 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: POP 000003e9: PUSH2 0x0366 000003ec: PUSH1 0x04 000003ee: CALLDATALOAD 000003ef: PUSH2 0x0c89 000003f2: JUMP 000003f3: JUMPDEST 000003f4: CALLVALUE 000003f5: DUP1 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: PUSH2 0x0233 00000404: PUSH2 0x0e02 00000407: JUMP 00000408: JUMPDEST 00000409: CALLVALUE 0000040a: DUP1 0000040b: ISZERO 0000040c: PUSH2 0x0414 0000040f: JUMPI 00000410: PUSH1 0x00 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: POP 00000416: PUSH2 0x014c 00000419: PUSH1 0x04 0000041b: CALLDATALOAD 0000041c: PUSH2 0x0e08 0000041f: JUMP 00000420: JUMPDEST 00000421: CALLVALUE 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: POP 0000042e: PUSH2 0x014c 00000431: PUSH1 0x04 00000433: CALLDATALOAD 00000434: PUSH2 0x0e9b 00000437: JUMP 00000438: JUMPDEST 00000439: CALLVALUE 0000043a: DUP1 0000043b: ISZERO 0000043c: PUSH2 0x0444 0000043f: JUMPI 00000440: PUSH1 0x00 00000442: DUP1 00000443: REVERT 00000444: JUMPDEST 00000445: POP 00000446: PUSH1 0x40 00000448: DUP1 00000449: MLOAD 0000044a: PUSH1 0x20 0000044c: PUSH1 0x04 0000044e: PUSH1 0x44 00000450: CALLDATALOAD 00000451: DUP2 00000452: DUP2 00000453: ADD 00000454: CALLDATALOAD 00000455: PUSH1 0x1f 00000457: DUP2 00000458: ADD 00000459: DUP5 0000045a: SWAP1 0000045b: DIV 0000045c: DUP5 0000045d: MUL 0000045e: DUP6 0000045f: ADD 00000460: DUP5 00000461: ADD 00000462: SWAP1 00000463: SWAP6 00000464: MSTORE 00000465: DUP5 00000466: DUP5 00000467: MSTORE 00000468: PUSH2 0x0233 0000046b: SWAP5 0000046c: DUP3 0000046d: CALLDATALOAD 0000046e: PUSH1 0x01 00000470: PUSH1 0xa0 00000472: PUSH1 0x02 00000474: EXP 00000475: SUB 00000476: AND 00000477: SWAP5 00000478: PUSH1 0x24 0000047a: DUP1 0000047b: CALLDATALOAD 0000047c: SWAP6 0000047d: CALLDATASIZE 0000047e: SWAP6 0000047f: SWAP5 00000480: PUSH1 0x64 00000482: SWAP5 00000483: SWAP3 00000484: ADD 00000485: SWAP2 00000486: SWAP1 00000487: DUP2 00000488: SWAP1 00000489: DUP5 0000048a: ADD 0000048b: DUP4 0000048c: DUP3 0000048d: DUP1 0000048e: DUP3 0000048f: DUP5 00000490: CALLDATACOPY 00000491: POP 00000492: SWAP5 00000493: SWAP8 00000494: POP 00000495: PUSH2 0x0f82 00000498: SWAP7 00000499: POP 0000049a: POP 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: POP 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x0233 000004b2: PUSH2 0x0fa1 000004b5: JUMP 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x0233 000004c7: PUSH2 0x0fa6 000004ca: JUMP 000004cb: JUMPDEST 000004cc: CALLVALUE 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH2 0x014c 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: PUSH1 0x02 000004e2: EXP 000004e3: SUB 000004e4: PUSH1 0x04 000004e6: CALLDATALOAD 000004e7: DUP2 000004e8: AND 000004e9: SWAP1 000004ea: PUSH1 0x24 000004ec: CALLDATALOAD 000004ed: AND 000004ee: PUSH2 0x0fac 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x014c 00000503: PUSH1 0x04 00000505: CALLDATALOAD 00000506: PUSH2 0x1126 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH1 0x03 0000050d: DUP1 0000050e: SLOAD 0000050f: DUP3 00000510: SWAP1 00000511: DUP2 00000512: LT 00000513: PUSH2 0x0518 00000516: JUMPI 00000517: INVALID 00000518: JUMPDEST 00000519: PUSH1 0x00 0000051b: SWAP2 0000051c: DUP3 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: SWAP1 00000521: SWAP2 00000522: KECCAK256 00000523: ADD 00000524: SLOAD 00000525: PUSH1 0x01 00000527: PUSH1 0xa0 00000529: PUSH1 0x02 0000052b: EXP 0000052c: SUB 0000052d: AND 0000052e: SWAP1 0000052f: POP 00000530: DUP2 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x00 00000535: ADDRESS 00000536: PUSH1 0x01 00000538: PUSH1 0xa0 0000053a: PUSH1 0x02 0000053c: EXP 0000053d: SUB 0000053e: AND 0000053f: CALLER 00000540: PUSH1 0x01 00000542: PUSH1 0xa0 00000544: PUSH1 0x02 00000546: EXP 00000547: SUB 00000548: AND 00000549: EQ 0000054a: ISZERO 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: PUSH1 0x02 0000055b: EXP 0000055c: SUB 0000055d: DUP3 0000055e: AND 0000055f: PUSH1 0x00 00000561: SWAP1 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x02 00000566: PUSH1 0x20 00000568: MSTORE 00000569: PUSH1 0x40 0000056b: SWAP1 0000056c: KECCAK256 0000056d: SLOAD 0000056e: DUP3 0000056f: SWAP1 00000570: PUSH1 0xff 00000572: AND 00000573: ISZERO 00000574: ISZERO 00000575: PUSH2 0x057d 00000578: JUMPI 00000579: PUSH1 0x00 0000057b: DUP1 0000057c: REVERT 0000057d: JUMPDEST 0000057e: PUSH1 0x01 00000580: PUSH1 0xa0 00000582: PUSH1 0x02 00000584: EXP 00000585: SUB 00000586: DUP4 00000587: AND 00000588: PUSH1 0x00 0000058a: SWAP1 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x02 0000058f: PUSH1 0x20 00000591: MSTORE 00000592: PUSH1 0x40 00000594: DUP2 00000595: KECCAK256 00000596: DUP1 00000597: SLOAD 00000598: PUSH1 0xff 0000059a: NOT 0000059b: AND 0000059c: SWAP1 0000059d: SSTORE 0000059e: SWAP2 0000059f: POP 000005a0: JUMPDEST 000005a1: PUSH1 0x03 000005a3: SLOAD 000005a4: PUSH1 0x00 000005a6: NOT 000005a7: ADD 000005a8: DUP3 000005a9: LT 000005aa: ISZERO 000005ab: PUSH2 0x0658 000005ae: JUMPI 000005af: DUP3 000005b0: PUSH1 0x01 000005b2: PUSH1 0xa0 000005b4: PUSH1 0x02 000005b6: EXP 000005b7: SUB 000005b8: AND 000005b9: PUSH1 0x03 000005bb: DUP4 000005bc: DUP2 000005bd: SLOAD 000005be: DUP2 000005bf: LT 000005c0: ISZERO 000005c1: ISZERO 000005c2: PUSH2 0x05c7 000005c5: JUMPI 000005c6: INVALID 000005c7: JUMPDEST 000005c8: PUSH1 0x00 000005ca: SWAP2 000005cb: DUP3 000005cc: MSTORE 000005cd: PUSH1 0x20 000005cf: SWAP1 000005d0: SWAP2 000005d1: KECCAK256 000005d2: ADD 000005d3: SLOAD 000005d4: PUSH1 0x01 000005d6: PUSH1 0xa0 000005d8: PUSH1 0x02 000005da: EXP 000005db: SUB 000005dc: AND 000005dd: EQ 000005de: ISZERO 000005df: PUSH2 0x064d 000005e2: JUMPI 000005e3: PUSH1 0x03 000005e5: DUP1 000005e6: SLOAD 000005e7: PUSH1 0x00 000005e9: NOT 000005ea: DUP2 000005eb: ADD 000005ec: SWAP1 000005ed: DUP2 000005ee: LT 000005ef: PUSH2 0x05f4 000005f2: JUMPI 000005f3: INVALID 000005f4: JUMPDEST 000005f5: PUSH1 0x00 000005f7: SWAP2 000005f8: DUP3 000005f9: MSTORE 000005fa: PUSH1 0x20 000005fc: SWAP1 000005fd: SWAP2 000005fe: KECCAK256 000005ff: ADD 00000600: SLOAD 00000601: PUSH1 0x03 00000603: DUP1 00000604: SLOAD 00000605: PUSH1 0x01 00000607: PUSH1 0xa0 00000609: PUSH1 0x02 0000060b: EXP 0000060c: SUB 0000060d: SWAP1 0000060e: SWAP3 0000060f: AND 00000610: SWAP2 00000611: DUP5 00000612: SWAP1 00000613: DUP2 00000614: LT 00000615: PUSH2 0x061a 00000618: JUMPI 00000619: INVALID 0000061a: JUMPDEST 0000061b: SWAP1 0000061c: PUSH1 0x00 0000061e: MSTORE 0000061f: PUSH1 0x20 00000621: PUSH1 0x00 00000623: KECCAK256 00000624: ADD 00000625: PUSH1 0x00 00000627: PUSH2 0x0100 0000062a: EXP 0000062b: DUP2 0000062c: SLOAD 0000062d: DUP2 0000062e: PUSH1 0x01 00000630: PUSH1 0xa0 00000632: PUSH1 0x02 00000634: EXP 00000635: SUB 00000636: MUL 00000637: NOT 00000638: AND 00000639: SWAP1 0000063a: DUP4 0000063b: PUSH1 0x01 0000063d: PUSH1 0xa0 0000063f: PUSH1 0x02 00000641: EXP 00000642: SUB 00000643: AND 00000644: MUL 00000645: OR 00000646: SWAP1 00000647: SSTORE 00000648: POP 00000649: PUSH2 0x0658 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH1 0x01 00000650: SWAP1 00000651: SWAP2 00000652: ADD 00000653: SWAP1 00000654: PUSH2 0x05a0 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH1 0x03 0000065b: DUP1 0000065c: SLOAD 0000065d: PUSH1 0x00 0000065f: NOT 00000660: ADD 00000661: SWAP1 00000662: PUSH2 0x066b 00000665: SWAP1 00000666: DUP3 00000667: PUSH2 0x13cc 0000066a: JUMP 0000066b: JUMPDEST 0000066c: POP 0000066d: PUSH1 0x03 0000066f: SLOAD 00000670: PUSH1 0x04 00000672: SLOAD 00000673: GT 00000674: ISZERO 00000675: PUSH2 0x0684 00000678: JUMPI 00000679: PUSH1 0x03 0000067b: SLOAD 0000067c: PUSH2 0x0684 0000067f: SWAP1 00000680: PUSH2 0x0e08 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH1 0x40 00000687: MLOAD 00000688: PUSH1 0x01 0000068a: PUSH1 0xa0 0000068c: PUSH1 0x02 0000068e: EXP 0000068f: SUB 00000690: DUP5 00000691: AND 00000692: SWAP1 00000693: PUSH1 0x00 00000695: DUP1 00000696: MLOAD 00000697: PUSH1 0x20 00000699: PUSH2 0x14ae 0000069c: DUP4 0000069d: CODECOPY 0000069e: DUP2 0000069f: MLOAD 000006a0: SWAP2 000006a1: MSTORE 000006a2: SWAP1 000006a3: PUSH1 0x00 000006a5: SWAP1 000006a6: LOG2 000006a7: POP 000006a8: POP 000006a9: POP 000006aa: JUMP 000006ab: JUMPDEST 000006ac: CALLER 000006ad: PUSH1 0x01 000006af: PUSH1 0xa0 000006b1: PUSH1 0x02 000006b3: EXP 000006b4: SUB 000006b5: DUP2 000006b6: AND 000006b7: PUSH1 0x00 000006b9: SWAP1 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x02 000006be: PUSH1 0x20 000006c0: MSTORE 000006c1: PUSH1 0x40 000006c3: SWAP1 000006c4: KECCAK256 000006c5: SLOAD 000006c6: PUSH1 0xff 000006c8: AND 000006c9: ISZERO 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: PUSH1 0x00 000006d6: DUP3 000006d7: DUP2 000006d8: MSTORE 000006d9: PUSH1 0x01 000006db: PUSH1 0x20 000006dd: SWAP1 000006de: DUP2 000006df: MSTORE 000006e0: PUSH1 0x40 000006e2: DUP1 000006e3: DUP4 000006e4: KECCAK256 000006e5: CALLER 000006e6: PUSH1 0x01 000006e8: PUSH1 0xa0 000006ea: PUSH1 0x02 000006ec: EXP 000006ed: SUB 000006ee: DUP2 000006ef: AND 000006f0: DUP6 000006f1: MSTORE 000006f2: SWAP3 000006f3: MSTORE 000006f4: SWAP1 000006f5: SWAP2 000006f6: KECCAK256 000006f7: SLOAD 000006f8: DUP4 000006f9: SWAP2 000006fa: SWAP1 000006fb: PUSH1 0xff 000006fd: AND 000006fe: ISZERO 000006ff: ISZERO 00000700: PUSH2 0x0708 00000703: JUMPI 00000704: PUSH1 0x00 00000706: DUP1 00000707: REVERT 00000708: JUMPDEST 00000709: PUSH1 0x00 0000070b: DUP5 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x20 00000710: DUP2 00000711: SWAP1 00000712: MSTORE 00000713: PUSH1 0x40 00000715: SWAP1 00000716: KECCAK256 00000717: PUSH1 0x03 00000719: ADD 0000071a: SLOAD 0000071b: DUP5 0000071c: SWAP1 0000071d: PUSH1 0xff 0000071f: AND 00000720: ISZERO 00000721: PUSH2 0x0729 00000724: JUMPI 00000725: PUSH1 0x00 00000727: DUP1 00000728: REVERT 00000729: JUMPDEST 0000072a: PUSH1 0x00 0000072c: DUP6 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x01 00000731: PUSH1 0x20 00000733: SWAP1 00000734: DUP2 00000735: MSTORE 00000736: PUSH1 0x40 00000738: DUP1 00000739: DUP4 0000073a: KECCAK256 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: PUSH1 0x02 00000741: EXP 00000742: SUB 00000743: CALLER 00000744: AND 00000745: DUP1 00000746: DUP6 00000747: MSTORE 00000748: SWAP3 00000749: MSTORE 0000074a: DUP1 0000074b: DUP4 0000074c: KECCAK256 0000074d: DUP1 0000074e: SLOAD 0000074f: PUSH1 0xff 00000751: NOT 00000752: AND 00000753: SWAP1 00000754: SSTORE 00000755: MLOAD 00000756: DUP8 00000757: SWAP3 00000758: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000779: SWAP2 0000077a: LOG3 0000077b: POP 0000077c: POP 0000077d: POP 0000077e: POP 0000077f: POP 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x02 00000784: PUSH1 0x20 00000786: MSTORE 00000787: PUSH1 0x00 00000789: SWAP1 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x40 0000078e: SWAP1 0000078f: KECCAK256 00000790: SLOAD 00000791: PUSH1 0xff 00000793: AND 00000794: DUP2 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x01 00000799: PUSH1 0x20 0000079b: SWAP1 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x00 000007a0: SWAP3 000007a1: DUP4 000007a2: MSTORE 000007a3: PUSH1 0x40 000007a5: DUP1 000007a6: DUP5 000007a7: KECCAK256 000007a8: SWAP1 000007a9: SWAP2 000007aa: MSTORE 000007ab: SWAP1 000007ac: DUP3 000007ad: MSTORE 000007ae: SWAP1 000007af: KECCAK256 000007b0: SLOAD 000007b1: PUSH1 0xff 000007b3: AND 000007b4: DUP2 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: JUMPDEST 000007bb: PUSH1 0x05 000007bd: SLOAD 000007be: DUP2 000007bf: LT 000007c0: ISZERO 000007c1: PUSH2 0x081b 000007c4: JUMPI 000007c5: DUP4 000007c6: DUP1 000007c7: ISZERO 000007c8: PUSH2 0x07e3 000007cb: JUMPI 000007cc: POP 000007cd: PUSH1 0x00 000007cf: DUP2 000007d0: DUP2 000007d1: MSTORE 000007d2: PUSH1 0x20 000007d4: DUP2 000007d5: SWAP1 000007d6: MSTORE 000007d7: PUSH1 0x40 000007d9: SWAP1 000007da: KECCAK256 000007db: PUSH1 0x03 000007dd: ADD 000007de: SLOAD 000007df: PUSH1 0xff 000007e1: AND 000007e2: ISZERO 000007e3: JUMPDEST 000007e4: DUP1 000007e5: PUSH2 0x0807 000007e8: JUMPI 000007e9: POP 000007ea: DUP3 000007eb: DUP1 000007ec: ISZERO 000007ed: PUSH2 0x0807 000007f0: JUMPI 000007f1: POP 000007f2: PUSH1 0x00 000007f4: DUP2 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x20 000007f9: DUP2 000007fa: SWAP1 000007fb: MSTORE 000007fc: PUSH1 0x40 000007fe: SWAP1 000007ff: KECCAK256 00000800: PUSH1 0x03 00000802: ADD 00000803: SLOAD 00000804: PUSH1 0xff 00000806: AND 00000807: JUMPDEST 00000808: ISZERO 00000809: PUSH2 0x0813 0000080c: JUMPI 0000080d: PUSH1 0x01 0000080f: DUP3 00000810: ADD 00000811: SWAP2 00000812: POP 00000813: JUMPDEST 00000814: PUSH1 0x01 00000816: ADD 00000817: PUSH2 0x07ba 0000081a: JUMP 0000081b: JUMPDEST 0000081c: POP 0000081d: SWAP3 0000081e: SWAP2 0000081f: POP 00000820: POP 00000821: JUMP 00000822: JUMPDEST 00000823: ADDRESS 00000824: PUSH1 0x01 00000826: PUSH1 0xa0 00000828: PUSH1 0x02 0000082a: EXP 0000082b: SUB 0000082c: AND 0000082d: CALLER 0000082e: PUSH1 0x01 00000830: PUSH1 0xa0 00000832: PUSH1 0x02 00000834: EXP 00000835: SUB 00000836: AND 00000837: EQ 00000838: ISZERO 00000839: ISZERO 0000083a: PUSH2 0x0842 0000083d: JUMPI 0000083e: PUSH1 0x00 00000840: DUP1 00000841: REVERT 00000842: JUMPDEST 00000843: PUSH1 0x01 00000845: PUSH1 0xa0 00000847: PUSH1 0x02 00000849: EXP 0000084a: SUB 0000084b: DUP2 0000084c: AND 0000084d: PUSH1 0x00 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x02 00000854: PUSH1 0x20 00000856: MSTORE 00000857: PUSH1 0x40 00000859: SWAP1 0000085a: KECCAK256 0000085b: SLOAD 0000085c: DUP2 0000085d: SWAP1 0000085e: PUSH1 0xff 00000860: AND 00000861: ISZERO 00000862: PUSH2 0x086a 00000865: JUMPI 00000866: PUSH1 0x00 00000868: DUP1 00000869: REVERT 0000086a: JUMPDEST 0000086b: DUP2 0000086c: PUSH1 0x01 0000086e: PUSH1 0xa0 00000870: PUSH1 0x02 00000872: EXP 00000873: SUB 00000874: DUP2 00000875: AND 00000876: ISZERO 00000877: ISZERO 00000878: PUSH2 0x0880 0000087b: JUMPI 0000087c: PUSH1 0x00 0000087e: DUP1 0000087f: REVERT 00000880: JUMPDEST 00000881: PUSH1 0x03 00000883: DUP1 00000884: SLOAD 00000885: SWAP1 00000886: POP 00000887: PUSH1 0x01 00000889: ADD 0000088a: PUSH1 0x04 0000088c: SLOAD 0000088d: PUSH1 0x32 0000088f: DUP3 00000890: GT 00000891: ISZERO 00000892: DUP1 00000893: ISZERO 00000894: PUSH2 0x089d 00000897: JUMPI 00000898: POP 00000899: DUP2 0000089a: DUP2 0000089b: GT 0000089c: ISZERO 0000089d: JUMPDEST 0000089e: DUP1 0000089f: ISZERO 000008a0: PUSH2 0x08a8 000008a3: JUMPI 000008a4: POP 000008a5: DUP1 000008a6: ISZERO 000008a7: ISZERO 000008a8: JUMPDEST 000008a9: DUP1 000008aa: ISZERO 000008ab: PUSH2 0x08b3 000008ae: JUMPI 000008af: POP 000008b0: DUP2 000008b1: ISZERO 000008b2: ISZERO 000008b3: JUMPDEST 000008b4: ISZERO 000008b5: ISZERO 000008b6: PUSH2 0x08be 000008b9: JUMPI 000008ba: PUSH1 0x00 000008bc: DUP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: PUSH1 0x01 000008c1: PUSH1 0xa0 000008c3: PUSH1 0x02 000008c5: EXP 000008c6: SUB 000008c7: DUP6 000008c8: AND 000008c9: PUSH1 0x00 000008cb: DUP2 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x02 000008d0: PUSH1 0x20 000008d2: MSTORE 000008d3: PUSH1 0x40 000008d5: DUP1 000008d6: DUP3 000008d7: KECCAK256 000008d8: DUP1 000008d9: SLOAD 000008da: PUSH1 0xff 000008dc: NOT 000008dd: AND 000008de: PUSH1 0x01 000008e0: SWAP1 000008e1: DUP2 000008e2: OR 000008e3: SWAP1 000008e4: SWAP2 000008e5: SSTORE 000008e6: PUSH1 0x03 000008e8: DUP1 000008e9: SLOAD 000008ea: SWAP2 000008eb: DUP3 000008ec: ADD 000008ed: DUP2 000008ee: SSTORE 000008ef: DUP4 000008f0: MSTORE 000008f1: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b 00000912: ADD 00000913: DUP1 00000914: SLOAD 00000915: PUSH1 0x01 00000917: PUSH1 0xa0 00000919: PUSH1 0x02 0000091b: EXP 0000091c: SUB 0000091d: NOT 0000091e: AND 0000091f: DUP5 00000920: OR 00000921: SWAP1 00000922: SSTORE 00000923: MLOAD 00000924: PUSH1 0x00 00000926: DUP1 00000927: MLOAD 00000928: PUSH1 0x20 0000092a: PUSH2 0x148e 0000092d: DUP4 0000092e: CODECOPY 0000092f: DUP2 00000930: MLOAD 00000931: SWAP2 00000932: MSTORE 00000933: SWAP2 00000934: SWAP1 00000935: LOG2 00000936: POP 00000937: POP 00000938: POP 00000939: POP 0000093a: POP 0000093b: JUMP 0000093c: JUMPDEST 0000093d: PUSH1 0x00 0000093f: DUP1 00000940: DUP1 00000941: JUMPDEST 00000942: PUSH1 0x03 00000944: SLOAD 00000945: DUP2 00000946: LT 00000947: ISZERO 00000948: PUSH2 0x09b9 0000094b: JUMPI 0000094c: PUSH1 0x00 0000094e: DUP5 0000094f: DUP2 00000950: MSTORE 00000951: PUSH1 0x01 00000953: PUSH1 0x20 00000955: MSTORE 00000956: PUSH1 0x40 00000958: DUP2 00000959: KECCAK256 0000095a: PUSH1 0x03 0000095c: DUP1 0000095d: SLOAD 0000095e: SWAP2 0000095f: SWAP3 00000960: SWAP2 00000961: DUP5 00000962: SWAP1 00000963: DUP2 00000964: LT 00000965: PUSH2 0x096a 00000968: JUMPI 00000969: INVALID 0000096a: JUMPDEST 0000096b: PUSH1 0x00 0000096d: SWAP2 0000096e: DUP3 0000096f: MSTORE 00000970: PUSH1 0x20 00000972: DUP1 00000973: DUP4 00000974: KECCAK256 00000975: SWAP1 00000976: SWAP2 00000977: ADD 00000978: SLOAD 00000979: PUSH1 0x01 0000097b: PUSH1 0xa0 0000097d: PUSH1 0x02 0000097f: EXP 00000980: SUB 00000981: AND 00000982: DUP4 00000983: MSTORE 00000984: DUP3 00000985: ADD 00000986: SWAP3 00000987: SWAP1 00000988: SWAP3 00000989: MSTORE 0000098a: PUSH1 0x40 0000098c: ADD 0000098d: SWAP1 0000098e: KECCAK256 0000098f: SLOAD 00000990: PUSH1 0xff 00000992: AND 00000993: ISZERO 00000994: PUSH2 0x099e 00000997: JUMPI 00000998: PUSH1 0x01 0000099a: DUP3 0000099b: ADD 0000099c: SWAP2 0000099d: POP 0000099e: JUMPDEST 0000099f: PUSH1 0x04 000009a1: SLOAD 000009a2: DUP3 000009a3: EQ 000009a4: ISZERO 000009a5: PUSH2 0x09b1 000009a8: JUMPI 000009a9: PUSH1 0x01 000009ab: SWAP3 000009ac: POP 000009ad: PUSH2 0x09b9 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x01 000009b4: ADD 000009b5: PUSH2 0x0941 000009b8: JUMP 000009b9: JUMPDEST 000009ba: POP 000009bb: POP 000009bc: SWAP2 000009bd: SWAP1 000009be: POP 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x00 000009c3: DUP1 000009c4: JUMPDEST 000009c5: PUSH1 0x03 000009c7: SLOAD 000009c8: DUP2 000009c9: LT 000009ca: ISZERO 000009cb: PUSH2 0x0a29 000009ce: JUMPI 000009cf: PUSH1 0x00 000009d1: DUP4 000009d2: DUP2 000009d3: MSTORE 000009d4: PUSH1 0x01 000009d6: PUSH1 0x20 000009d8: MSTORE 000009d9: PUSH1 0x40 000009db: DUP2 000009dc: KECCAK256 000009dd: PUSH1 0x03 000009df: DUP1 000009e0: SLOAD 000009e1: SWAP2 000009e2: SWAP3 000009e3: SWAP2 000009e4: DUP5 000009e5: SWAP1 000009e6: DUP2 000009e7: LT 000009e8: PUSH2 0x09ed 000009eb: JUMPI 000009ec: INVALID 000009ed: JUMPDEST 000009ee: PUSH1 0x00 000009f0: SWAP2 000009f1: DUP3 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: DUP1 000009f6: DUP4 000009f7: KECCAK256 000009f8: SWAP1 000009f9: SWAP2 000009fa: ADD 000009fb: SLOAD 000009fc: PUSH1 0x01 000009fe: PUSH1 0xa0 00000a00: PUSH1 0x02 00000a02: EXP 00000a03: SUB 00000a04: AND 00000a05: DUP4 00000a06: MSTORE 00000a07: DUP3 00000a08: ADD 00000a09: SWAP3 00000a0a: SWAP1 00000a0b: SWAP3 00000a0c: MSTORE 00000a0d: PUSH1 0x40 00000a0f: ADD 00000a10: SWAP1 00000a11: KECCAK256 00000a12: SLOAD 00000a13: PUSH1 0xff 00000a15: AND 00000a16: ISZERO 00000a17: PUSH2 0x0a21 00000a1a: JUMPI 00000a1b: PUSH1 0x01 00000a1d: DUP3 00000a1e: ADD 00000a1f: SWAP2 00000a20: POP 00000a21: JUMPDEST 00000a22: PUSH1 0x01 00000a24: ADD 00000a25: PUSH2 0x09c4 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: POP 00000a2b: SWAP2 00000a2c: SWAP1 00000a2d: POP 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH1 0x00 00000a32: PUSH1 0x20 00000a34: DUP2 00000a35: DUP2 00000a36: MSTORE 00000a37: SWAP2 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x40 00000a3c: SWAP1 00000a3d: DUP2 00000a3e: SWAP1 00000a3f: KECCAK256 00000a40: DUP1 00000a41: SLOAD 00000a42: PUSH1 0x01 00000a44: DUP1 00000a45: DUP4 00000a46: ADD 00000a47: SLOAD 00000a48: PUSH1 0x02 00000a4a: DUP1 00000a4b: DUP6 00000a4c: ADD 00000a4d: DUP1 00000a4e: SLOAD 00000a4f: DUP8 00000a50: MLOAD 00000a51: PUSH2 0x0100 00000a54: SWAP6 00000a55: DUP3 00000a56: AND 00000a57: ISZERO 00000a58: SWAP6 00000a59: SWAP1 00000a5a: SWAP6 00000a5b: MUL 00000a5c: PUSH1 0x00 00000a5e: NOT 00000a5f: ADD 00000a60: AND 00000a61: SWAP2 00000a62: SWAP1 00000a63: SWAP2 00000a64: DIV 00000a65: PUSH1 0x1f 00000a67: DUP2 00000a68: ADD 00000a69: DUP9 00000a6a: SWAP1 00000a6b: DIV 00000a6c: DUP9 00000a6d: MUL 00000a6e: DUP5 00000a6f: ADD 00000a70: DUP9 00000a71: ADD 00000a72: SWAP1 00000a73: SWAP7 00000a74: MSTORE 00000a75: DUP6 00000a76: DUP4 00000a77: MSTORE 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: PUSH1 0x02 00000a7e: EXP 00000a7f: SUB 00000a80: SWAP1 00000a81: SWAP4 00000a82: AND 00000a83: SWAP6 00000a84: SWAP1 00000a85: SWAP5 00000a86: SWAP2 00000a87: SWAP3 00000a88: SWAP2 00000a89: SWAP1 00000a8a: DUP4 00000a8b: ADD 00000a8c: DUP3 00000a8d: DUP3 00000a8e: DUP1 00000a8f: ISZERO 00000a90: PUSH2 0x0ada 00000a93: JUMPI 00000a94: DUP1 00000a95: PUSH1 0x1f 00000a97: LT 00000a98: PUSH2 0x0aaf 00000a9b: JUMPI 00000a9c: PUSH2 0x0100 00000a9f: DUP1 00000aa0: DUP4 00000aa1: SLOAD 00000aa2: DIV 00000aa3: MUL 00000aa4: DUP4 00000aa5: MSTORE 00000aa6: SWAP2 00000aa7: PUSH1 0x20 00000aa9: ADD 00000aaa: SWAP2 00000aab: PUSH2 0x0ada 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: DUP3 00000ab1: ADD 00000ab2: SWAP2 00000ab3: SWAP1 00000ab4: PUSH1 0x00 00000ab6: MSTORE 00000ab7: PUSH1 0x20 00000ab9: PUSH1 0x00 00000abb: KECCAK256 00000abc: SWAP1 00000abd: JUMPDEST 00000abe: DUP2 00000abf: SLOAD 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: SWAP1 00000ac3: PUSH1 0x01 00000ac5: ADD 00000ac6: SWAP1 00000ac7: PUSH1 0x20 00000ac9: ADD 00000aca: DUP1 00000acb: DUP4 00000acc: GT 00000acd: PUSH2 0x0abd 00000ad0: JUMPI 00000ad1: DUP3 00000ad2: SWAP1 00000ad3: SUB 00000ad4: PUSH1 0x1f 00000ad6: AND 00000ad7: DUP3 00000ad8: ADD 00000ad9: SWAP2 00000ada: JUMPDEST 00000adb: POP 00000adc: POP 00000add: POP 00000ade: PUSH1 0x03 00000ae0: SWAP1 00000ae1: SWAP4 00000ae2: ADD 00000ae3: SLOAD 00000ae4: SWAP2 00000ae5: SWAP3 00000ae6: POP 00000ae7: POP 00000ae8: PUSH1 0xff 00000aea: AND 00000aeb: DUP5 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH1 0x60 00000af0: PUSH1 0x03 00000af2: DUP1 00000af3: SLOAD 00000af4: DUP1 00000af5: PUSH1 0x20 00000af7: MUL 00000af8: PUSH1 0x20 00000afa: ADD 00000afb: PUSH1 0x40 00000afd: MLOAD 00000afe: SWAP1 00000aff: DUP2 00000b00: ADD 00000b01: PUSH1 0x40 00000b03: MSTORE 00000b04: DUP1 00000b05: SWAP3 00000b06: SWAP2 00000b07: SWAP1 00000b08: DUP2 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: DUP3 00000b0f: DUP1 00000b10: SLOAD 00000b11: DUP1 00000b12: ISZERO 00000b13: PUSH2 0x0b45 00000b16: JUMPI 00000b17: PUSH1 0x20 00000b19: MUL 00000b1a: DUP3 00000b1b: ADD 00000b1c: SWAP2 00000b1d: SWAP1 00000b1e: PUSH1 0x00 00000b20: MSTORE 00000b21: PUSH1 0x20 00000b23: PUSH1 0x00 00000b25: KECCAK256 00000b26: SWAP1 00000b27: JUMPDEST 00000b28: DUP2 00000b29: SLOAD 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0xa0 00000b2e: PUSH1 0x02 00000b30: EXP 00000b31: SUB 00000b32: AND 00000b33: DUP2 00000b34: MSTORE 00000b35: PUSH1 0x01 00000b37: SWAP1 00000b38: SWAP2 00000b39: ADD 00000b3a: SWAP1 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: DUP1 00000b3f: DUP4 00000b40: GT 00000b41: PUSH2 0x0b27 00000b44: JUMPI 00000b45: JUMPDEST 00000b46: POP 00000b47: POP 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: SWAP1 00000b4c: POP 00000b4d: JUMPDEST 00000b4e: SWAP1 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: PUSH1 0x60 00000b53: DUP1 00000b54: PUSH1 0x00 00000b56: DUP1 00000b57: PUSH1 0x05 00000b59: SLOAD 00000b5a: PUSH1 0x40 00000b5c: MLOAD 00000b5d: SWAP1 00000b5e: DUP1 00000b5f: DUP3 00000b60: MSTORE 00000b61: DUP1 00000b62: PUSH1 0x20 00000b64: MUL 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: DUP3 00000b69: ADD 00000b6a: PUSH1 0x40 00000b6c: MSTORE 00000b6d: DUP1 00000b6e: ISZERO 00000b6f: PUSH2 0x0b82 00000b72: JUMPI 00000b73: DUP2 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: PUSH1 0x20 00000b79: DUP3 00000b7a: MUL 00000b7b: DUP1 00000b7c: CODESIZE 00000b7d: DUP4 00000b7e: CODECOPY 00000b7f: ADD 00000b80: SWAP1 00000b81: POP 00000b82: JUMPDEST 00000b83: POP 00000b84: SWAP3 00000b85: POP 00000b86: PUSH1 0x00 00000b88: SWAP2 00000b89: POP 00000b8a: PUSH1 0x00 00000b8c: SWAP1 00000b8d: POP 00000b8e: JUMPDEST 00000b8f: PUSH1 0x05 00000b91: SLOAD 00000b92: DUP2 00000b93: LT 00000b94: ISZERO 00000b95: PUSH2 0x0c09 00000b98: JUMPI 00000b99: DUP6 00000b9a: DUP1 00000b9b: ISZERO 00000b9c: PUSH2 0x0bb7 00000b9f: JUMPI 00000ba0: POP 00000ba1: PUSH1 0x00 00000ba3: DUP2 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: DUP2 00000ba9: SWAP1 00000baa: MSTORE 00000bab: PUSH1 0x40 00000bad: SWAP1 00000bae: KECCAK256 00000baf: PUSH1 0x03 00000bb1: ADD 00000bb2: SLOAD 00000bb3: PUSH1 0xff 00000bb5: AND 00000bb6: ISZERO 00000bb7: JUMPDEST 00000bb8: DUP1 00000bb9: PUSH2 0x0bdb 00000bbc: JUMPI 00000bbd: POP 00000bbe: DUP5 00000bbf: DUP1 00000bc0: ISZERO 00000bc1: PUSH2 0x0bdb 00000bc4: JUMPI 00000bc5: POP 00000bc6: PUSH1 0x00 00000bc8: DUP2 00000bc9: DUP2 00000bca: MSTORE 00000bcb: PUSH1 0x20 00000bcd: DUP2 00000bce: SWAP1 00000bcf: MSTORE 00000bd0: PUSH1 0x40 00000bd2: SWAP1 00000bd3: KECCAK256 00000bd4: PUSH1 0x03 00000bd6: ADD 00000bd7: SLOAD 00000bd8: PUSH1 0xff 00000bda: AND 00000bdb: JUMPDEST 00000bdc: ISZERO 00000bdd: PUSH2 0x0c01 00000be0: JUMPI 00000be1: DUP1 00000be2: DUP4 00000be3: DUP4 00000be4: DUP2 00000be5: MLOAD 00000be6: DUP2 00000be7: LT 00000be8: ISZERO 00000be9: ISZERO 00000bea: PUSH2 0x0bef 00000bed: JUMPI 00000bee: INVALID 00000bef: JUMPDEST 00000bf0: PUSH1 0x20 00000bf2: SWAP1 00000bf3: DUP2 00000bf4: MUL 00000bf5: SWAP1 00000bf6: SWAP2 00000bf7: ADD 00000bf8: ADD 00000bf9: MSTORE 00000bfa: PUSH1 0x01 00000bfc: SWAP2 00000bfd: SWAP1 00000bfe: SWAP2 00000bff: ADD 00000c00: SWAP1 00000c01: JUMPDEST 00000c02: PUSH1 0x01 00000c04: ADD 00000c05: PUSH2 0x0b8e 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: DUP8 00000c0b: DUP8 00000c0c: SUB 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: SWAP1 00000c11: DUP1 00000c12: DUP3 00000c13: MSTORE 00000c14: DUP1 00000c15: PUSH1 0x20 00000c17: MUL 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: DUP3 00000c1c: ADD 00000c1d: PUSH1 0x40 00000c1f: MSTORE 00000c20: DUP1 00000c21: ISZERO 00000c22: PUSH2 0x0c35 00000c25: JUMPI 00000c26: DUP2 00000c27: PUSH1 0x20 00000c29: ADD 00000c2a: PUSH1 0x20 00000c2c: DUP3 00000c2d: MUL 00000c2e: DUP1 00000c2f: CODESIZE 00000c30: DUP4 00000c31: CODECOPY 00000c32: ADD 00000c33: SWAP1 00000c34: POP 00000c35: JUMPDEST 00000c36: POP 00000c37: SWAP4 00000c38: POP 00000c39: DUP8 00000c3a: SWAP1 00000c3b: POP 00000c3c: JUMPDEST 00000c3d: DUP7 00000c3e: DUP2 00000c3f: LT 00000c40: ISZERO 00000c41: PUSH2 0x0c7e 00000c44: JUMPI 00000c45: DUP3 00000c46: DUP2 00000c47: DUP2 00000c48: MLOAD 00000c49: DUP2 00000c4a: LT 00000c4b: ISZERO 00000c4c: ISZERO 00000c4d: PUSH2 0x0c52 00000c50: JUMPI 00000c51: INVALID 00000c52: JUMPDEST 00000c53: SWAP1 00000c54: PUSH1 0x20 00000c56: ADD 00000c57: SWAP1 00000c58: PUSH1 0x20 00000c5a: MUL 00000c5b: ADD 00000c5c: MLOAD 00000c5d: DUP5 00000c5e: DUP10 00000c5f: DUP4 00000c60: SUB 00000c61: DUP2 00000c62: MLOAD 00000c63: DUP2 00000c64: LT 00000c65: ISZERO 00000c66: ISZERO 00000c67: PUSH2 0x0c6c 00000c6a: JUMPI 00000c6b: INVALID 00000c6c: JUMPDEST 00000c6d: PUSH1 0x20 00000c6f: SWAP1 00000c70: DUP2 00000c71: MUL 00000c72: SWAP1 00000c73: SWAP2 00000c74: ADD 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH1 0x01 00000c79: ADD 00000c7a: PUSH2 0x0c3c 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: POP 00000c80: POP 00000c81: POP 00000c82: SWAP5 00000c83: SWAP4 00000c84: POP 00000c85: POP 00000c86: POP 00000c87: POP 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH1 0x60 00000c8c: DUP1 00000c8d: PUSH1 0x00 00000c8f: DUP1 00000c90: PUSH1 0x03 00000c92: DUP1 00000c93: SLOAD 00000c94: SWAP1 00000c95: POP 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: SWAP1 00000c9a: DUP1 00000c9b: DUP3 00000c9c: MSTORE 00000c9d: DUP1 00000c9e: PUSH1 0x20 00000ca0: MUL 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: DUP3 00000ca5: ADD 00000ca6: PUSH1 0x40 00000ca8: MSTORE 00000ca9: DUP1 00000caa: ISZERO 00000cab: PUSH2 0x0cbe 00000cae: JUMPI 00000caf: DUP2 00000cb0: PUSH1 0x20 00000cb2: ADD 00000cb3: PUSH1 0x20 00000cb5: DUP3 00000cb6: MUL 00000cb7: DUP1 00000cb8: CODESIZE 00000cb9: DUP4 00000cba: CODECOPY 00000cbb: ADD 00000cbc: SWAP1 00000cbd: POP 00000cbe: JUMPDEST 00000cbf: POP 00000cc0: SWAP3 00000cc1: POP 00000cc2: PUSH1 0x00 00000cc4: SWAP2 00000cc5: POP 00000cc6: PUSH1 0x00 00000cc8: SWAP1 00000cc9: POP 00000cca: JUMPDEST 00000ccb: PUSH1 0x03 00000ccd: SLOAD 00000cce: DUP2 00000ccf: LT 00000cd0: ISZERO 00000cd1: PUSH2 0x0d7b 00000cd4: JUMPI 00000cd5: PUSH1 0x00 00000cd7: DUP6 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x01 00000cdc: PUSH1 0x20 00000cde: MSTORE 00000cdf: PUSH1 0x40 00000ce1: DUP2 00000ce2: KECCAK256 00000ce3: PUSH1 0x03 00000ce5: DUP1 00000ce6: SLOAD 00000ce7: SWAP2 00000ce8: SWAP3 00000ce9: SWAP2 00000cea: DUP5 00000ceb: SWAP1 00000cec: DUP2 00000ced: LT 00000cee: PUSH2 0x0cf3 00000cf1: JUMPI 00000cf2: INVALID 00000cf3: JUMPDEST 00000cf4: PUSH1 0x00 00000cf6: SWAP2 00000cf7: DUP3 00000cf8: MSTORE 00000cf9: PUSH1 0x20 00000cfb: DUP1 00000cfc: DUP4 00000cfd: KECCAK256 00000cfe: SWAP1 00000cff: SWAP2 00000d00: ADD 00000d01: SLOAD 00000d02: PUSH1 0x01 00000d04: PUSH1 0xa0 00000d06: PUSH1 0x02 00000d08: EXP 00000d09: SUB 00000d0a: AND 00000d0b: DUP4 00000d0c: MSTORE 00000d0d: DUP3 00000d0e: ADD 00000d0f: SWAP3 00000d10: SWAP1 00000d11: SWAP3 00000d12: MSTORE 00000d13: PUSH1 0x40 00000d15: ADD 00000d16: SWAP1 00000d17: KECCAK256 00000d18: SLOAD 00000d19: PUSH1 0xff 00000d1b: AND 00000d1c: ISZERO 00000d1d: PUSH2 0x0d73 00000d20: JUMPI 00000d21: PUSH1 0x03 00000d23: DUP1 00000d24: SLOAD 00000d25: DUP3 00000d26: SWAP1 00000d27: DUP2 00000d28: LT 00000d29: PUSH2 0x0d2e 00000d2c: JUMPI 00000d2d: INVALID 00000d2e: JUMPDEST 00000d2f: PUSH1 0x00 00000d31: SWAP2 00000d32: DUP3 00000d33: MSTORE 00000d34: PUSH1 0x20 00000d36: SWAP1 00000d37: SWAP2 00000d38: KECCAK256 00000d39: ADD 00000d3a: SLOAD 00000d3b: DUP4 00000d3c: MLOAD 00000d3d: PUSH1 0x01 00000d3f: PUSH1 0xa0 00000d41: PUSH1 0x02 00000d43: EXP 00000d44: SUB 00000d45: SWAP1 00000d46: SWAP2 00000d47: AND 00000d48: SWAP1 00000d49: DUP5 00000d4a: SWAP1 00000d4b: DUP5 00000d4c: SWAP1 00000d4d: DUP2 00000d4e: LT 00000d4f: PUSH2 0x0d54 00000d52: JUMPI 00000d53: INVALID 00000d54: JUMPDEST 00000d55: PUSH1 0x01 00000d57: PUSH1 0xa0 00000d59: PUSH1 0x02 00000d5b: EXP 00000d5c: SUB 00000d5d: SWAP1 00000d5e: SWAP3 00000d5f: AND 00000d60: PUSH1 0x20 00000d62: SWAP3 00000d63: DUP4 00000d64: MUL 00000d65: SWAP1 00000d66: SWAP2 00000d67: ADD 00000d68: SWAP1 00000d69: SWAP2 00000d6a: ADD 00000d6b: MSTORE 00000d6c: PUSH1 0x01 00000d6e: SWAP2 00000d6f: SWAP1 00000d70: SWAP2 00000d71: ADD 00000d72: SWAP1 00000d73: JUMPDEST 00000d74: PUSH1 0x01 00000d76: ADD 00000d77: PUSH2 0x0cca 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: DUP2 00000d7d: PUSH1 0x40 00000d7f: MLOAD 00000d80: SWAP1 00000d81: DUP1 00000d82: DUP3 00000d83: MSTORE 00000d84: DUP1 00000d85: PUSH1 0x20 00000d87: MUL 00000d88: PUSH1 0x20 00000d8a: ADD 00000d8b: DUP3 00000d8c: ADD 00000d8d: PUSH1 0x40 00000d8f: MSTORE 00000d90: DUP1 00000d91: ISZERO 00000d92: PUSH2 0x0da5 00000d95: JUMPI 00000d96: DUP2 00000d97: PUSH1 0x20 00000d99: ADD 00000d9a: PUSH1 0x20 00000d9c: DUP3 00000d9d: MUL 00000d9e: DUP1 00000d9f: CODESIZE 00000da0: DUP4 00000da1: CODECOPY 00000da2: ADD 00000da3: SWAP1 00000da4: POP 00000da5: JUMPDEST 00000da6: POP 00000da7: SWAP4 00000da8: POP 00000da9: PUSH1 0x00 00000dab: SWAP1 00000dac: POP 00000dad: JUMPDEST 00000dae: DUP2 00000daf: DUP2 00000db0: LT 00000db1: ISZERO 00000db2: PUSH2 0x0dfa 00000db5: JUMPI 00000db6: DUP3 00000db7: DUP2 00000db8: DUP2 00000db9: MLOAD 00000dba: DUP2 00000dbb: LT 00000dbc: ISZERO 00000dbd: ISZERO 00000dbe: PUSH2 0x0dc3 00000dc1: JUMPI 00000dc2: INVALID 00000dc3: JUMPDEST 00000dc4: SWAP1 00000dc5: PUSH1 0x20 00000dc7: ADD 00000dc8: SWAP1 00000dc9: PUSH1 0x20 00000dcb: MUL 00000dcc: ADD 00000dcd: MLOAD 00000dce: DUP5 00000dcf: DUP3 00000dd0: DUP2 00000dd1: MLOAD 00000dd2: DUP2 00000dd3: LT 00000dd4: ISZERO 00000dd5: ISZERO 00000dd6: PUSH2 0x0ddb 00000dd9: JUMPI 00000dda: INVALID 00000ddb: JUMPDEST 00000ddc: PUSH1 0x01 00000dde: PUSH1 0xa0 00000de0: PUSH1 0x02 00000de2: EXP 00000de3: SUB 00000de4: SWAP1 00000de5: SWAP3 00000de6: AND 00000de7: PUSH1 0x20 00000de9: SWAP3 00000dea: DUP4 00000deb: MUL 00000dec: SWAP1 00000ded: SWAP2 00000dee: ADD 00000def: SWAP1 00000df0: SWAP2 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH1 0x01 00000df5: ADD 00000df6: PUSH2 0x0dad 00000df9: JUMP 00000dfa: JUMPDEST 00000dfb: POP 00000dfc: POP 00000dfd: POP 00000dfe: SWAP2 00000dff: SWAP1 00000e00: POP 00000e01: JUMP 00000e02: JUMPDEST 00000e03: PUSH1 0x05 00000e05: SLOAD 00000e06: DUP2 00000e07: JUMP 00000e08: JUMPDEST 00000e09: ADDRESS 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0xa0 00000e0e: PUSH1 0x02 00000e10: EXP 00000e11: SUB 00000e12: AND 00000e13: CALLER 00000e14: PUSH1 0x01 00000e16: PUSH1 0xa0 00000e18: PUSH1 0x02 00000e1a: EXP 00000e1b: SUB 00000e1c: AND 00000e1d: EQ 00000e1e: ISZERO 00000e1f: ISZERO 00000e20: PUSH2 0x0e28 00000e23: JUMPI 00000e24: PUSH1 0x00 00000e26: DUP1 00000e27: REVERT 00000e28: JUMPDEST 00000e29: PUSH1 0x03 00000e2b: SLOAD 00000e2c: DUP2 00000e2d: PUSH1 0x32 00000e2f: DUP3 00000e30: GT 00000e31: DUP1 00000e32: ISZERO 00000e33: SWAP1 00000e34: PUSH2 0x0e3d 00000e37: JUMPI 00000e38: POP 00000e39: DUP2 00000e3a: DUP2 00000e3b: GT 00000e3c: ISZERO 00000e3d: JUMPDEST 00000e3e: DUP1 00000e3f: ISZERO 00000e40: PUSH2 0x0e48 00000e43: JUMPI 00000e44: POP 00000e45: DUP1 00000e46: ISZERO 00000e47: ISZERO 00000e48: JUMPDEST 00000e49: DUP1 00000e4a: ISZERO 00000e4b: PUSH2 0x0e53 00000e4e: JUMPI 00000e4f: POP 00000e50: DUP2 00000e51: ISZERO 00000e52: ISZERO 00000e53: JUMPDEST 00000e54: ISZERO 00000e55: ISZERO 00000e56: PUSH2 0x0e5e 00000e59: JUMPI 00000e5a: PUSH1 0x00 00000e5c: DUP1 00000e5d: REVERT 00000e5e: JUMPDEST 00000e5f: PUSH1 0x04 00000e61: DUP4 00000e62: SWAP1 00000e63: SSTORE 00000e64: PUSH1 0x40 00000e66: DUP1 00000e67: MLOAD 00000e68: DUP5 00000e69: DUP2 00000e6a: MSTORE 00000e6b: SWAP1 00000e6c: MLOAD 00000e6d: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00000e8e: SWAP2 00000e8f: DUP2 00000e90: SWAP1 00000e91: SUB 00000e92: PUSH1 0x20 00000e94: ADD 00000e95: SWAP1 00000e96: LOG1 00000e97: POP 00000e98: POP 00000e99: POP 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: CALLER 00000e9d: PUSH1 0x01 00000e9f: PUSH1 0xa0 00000ea1: PUSH1 0x02 00000ea3: EXP 00000ea4: SUB 00000ea5: DUP2 00000ea6: AND 00000ea7: PUSH1 0x00 00000ea9: SWAP1 00000eaa: DUP2 00000eab: MSTORE 00000eac: PUSH1 0x02 00000eae: PUSH1 0x20 00000eb0: MSTORE 00000eb1: PUSH1 0x40 00000eb3: SWAP1 00000eb4: KECCAK256 00000eb5: SLOAD 00000eb6: PUSH1 0xff 00000eb8: AND 00000eb9: ISZERO 00000eba: ISZERO 00000ebb: PUSH2 0x0ec3 00000ebe: JUMPI 00000ebf: PUSH1 0x00 00000ec1: DUP1 00000ec2: REVERT 00000ec3: JUMPDEST 00000ec4: PUSH1 0x00 00000ec6: DUP3 00000ec7: DUP2 00000ec8: MSTORE 00000ec9: PUSH1 0x20 00000ecb: DUP2 00000ecc: SWAP1 00000ecd: MSTORE 00000ece: PUSH1 0x40 00000ed0: SWAP1 00000ed1: KECCAK256 00000ed2: SLOAD 00000ed3: DUP3 00000ed4: SWAP1 00000ed5: PUSH1 0x01 00000ed7: PUSH1 0xa0 00000ed9: PUSH1 0x02 00000edb: EXP 00000edc: SUB 00000edd: AND 00000ede: ISZERO 00000edf: ISZERO 00000ee0: PUSH2 0x0ee8 00000ee3: JUMPI 00000ee4: PUSH1 0x00 00000ee6: DUP1 00000ee7: REVERT 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: DUP4 00000eec: DUP2 00000eed: MSTORE 00000eee: PUSH1 0x01 00000ef0: PUSH1 0x20 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x40 00000ef7: DUP1 00000ef8: DUP4 00000ef9: KECCAK256 00000efa: CALLER 00000efb: PUSH1 0x01 00000efd: PUSH1 0xa0 00000eff: PUSH1 0x02 00000f01: EXP 00000f02: SUB 00000f03: DUP2 00000f04: AND 00000f05: DUP6 00000f06: MSTORE 00000f07: SWAP3 00000f08: MSTORE 00000f09: SWAP1 00000f0a: SWAP2 00000f0b: KECCAK256 00000f0c: SLOAD 00000f0d: DUP5 00000f0e: SWAP2 00000f0f: SWAP1 00000f10: PUSH1 0xff 00000f12: AND 00000f13: ISZERO 00000f14: PUSH2 0x0f1c 00000f17: JUMPI 00000f18: PUSH1 0x00 00000f1a: DUP1 00000f1b: REVERT 00000f1c: JUMPDEST 00000f1d: PUSH1 0x00 00000f1f: DUP6 00000f20: DUP2 00000f21: MSTORE 00000f22: PUSH1 0x01 00000f24: PUSH1 0x20 00000f26: DUP2 00000f27: DUP2 00000f28: MSTORE 00000f29: PUSH1 0x40 00000f2b: DUP1 00000f2c: DUP5 00000f2d: KECCAK256 00000f2e: PUSH1 0x01 00000f30: PUSH1 0xa0 00000f32: PUSH1 0x02 00000f34: EXP 00000f35: SUB 00000f36: CALLER 00000f37: AND 00000f38: DUP1 00000f39: DUP7 00000f3a: MSTORE 00000f3b: SWAP3 00000f3c: MSTORE 00000f3d: DUP1 00000f3e: DUP5 00000f3f: KECCAK256 00000f40: DUP1 00000f41: SLOAD 00000f42: PUSH1 0xff 00000f44: NOT 00000f45: AND 00000f46: SWAP1 00000f47: SWAP4 00000f48: OR 00000f49: SWAP1 00000f4a: SWAP3 00000f4b: SSTORE 00000f4c: SWAP1 00000f4d: MLOAD 00000f4e: DUP8 00000f4f: SWAP3 00000f50: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00000f71: SWAP2 00000f72: LOG3 00000f73: PUSH2 0x0f7b 00000f76: DUP6 00000f77: PUSH2 0x1126 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: POP 00000f7d: POP 00000f7e: POP 00000f7f: POP 00000f80: POP 00000f81: JUMP 00000f82: JUMPDEST 00000f83: PUSH1 0x00 00000f85: PUSH2 0x0f8f 00000f88: DUP5 00000f89: DUP5 00000f8a: DUP5 00000f8b: PUSH2 0x12e9 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: SWAP1 00000f91: POP 00000f92: PUSH2 0x0f9a 00000f95: DUP2 00000f96: PUSH2 0x0e9b 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: SWAP4 00000f9c: SWAP3 00000f9d: POP 00000f9e: POP 00000f9f: POP 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: PUSH1 0x32 00000fa4: DUP2 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: PUSH1 0x04 00000fa9: SLOAD 00000faa: DUP2 00000fab: JUMP 00000fac: JUMPDEST 00000fad: PUSH1 0x00 00000faf: ADDRESS 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0xa0 00000fb4: PUSH1 0x02 00000fb6: EXP 00000fb7: SUB 00000fb8: AND 00000fb9: CALLER 00000fba: PUSH1 0x01 00000fbc: PUSH1 0xa0 00000fbe: PUSH1 0x02 00000fc0: EXP 00000fc1: SUB 00000fc2: AND 00000fc3: EQ 00000fc4: ISZERO 00000fc5: ISZERO 00000fc6: PUSH2 0x0fce 00000fc9: JUMPI 00000fca: PUSH1 0x00 00000fcc: DUP1 00000fcd: REVERT 00000fce: JUMPDEST 00000fcf: PUSH1 0x01 00000fd1: PUSH1 0xa0 00000fd3: PUSH1 0x02 00000fd5: EXP 00000fd6: SUB 00000fd7: DUP4 00000fd8: AND 00000fd9: PUSH1 0x00 00000fdb: SWAP1 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x02 00000fe0: PUSH1 0x20 00000fe2: MSTORE 00000fe3: PUSH1 0x40 00000fe5: SWAP1 00000fe6: KECCAK256 00000fe7: SLOAD 00000fe8: DUP4 00000fe9: SWAP1 00000fea: PUSH1 0xff 00000fec: AND 00000fed: ISZERO 00000fee: ISZERO 00000fef: PUSH2 0x0ff7 00000ff2: JUMPI 00000ff3: PUSH1 0x00 00000ff5: DUP1 00000ff6: REVERT 00000ff7: JUMPDEST 00000ff8: PUSH1 0x01 00000ffa: PUSH1 0xa0 00000ffc: PUSH1 0x02 00000ffe: EXP 00000fff: SUB 00001000: DUP4 00001001: AND 00001002: PUSH1 0x00 00001004: SWAP1 00001005: DUP2 00001006: MSTORE 00001007: PUSH1 0x02 00001009: PUSH1 0x20 0000100b: MSTORE 0000100c: PUSH1 0x40 0000100e: SWAP1 0000100f: KECCAK256 00001010: SLOAD 00001011: DUP4 00001012: SWAP1 00001013: PUSH1 0xff 00001015: AND 00001016: ISZERO 00001017: PUSH2 0x101f 0000101a: JUMPI 0000101b: PUSH1 0x00 0000101d: DUP1 0000101e: REVERT 0000101f: JUMPDEST 00001020: PUSH1 0x00 00001022: SWAP3 00001023: POP 00001024: JUMPDEST 00001025: PUSH1 0x03 00001027: SLOAD 00001028: DUP4 00001029: LT 0000102a: ISZERO 0000102b: PUSH2 0x10b0 0000102e: JUMPI 0000102f: DUP5 00001030: PUSH1 0x01 00001032: PUSH1 0xa0 00001034: PUSH1 0x02 00001036: EXP 00001037: SUB 00001038: AND 00001039: PUSH1 0x03 0000103b: DUP5 0000103c: DUP2 0000103d: SLOAD 0000103e: DUP2 0000103f: LT 00001040: ISZERO 00001041: ISZERO 00001042: PUSH2 0x1047 00001045: JUMPI 00001046: INVALID 00001047: JUMPDEST 00001048: PUSH1 0x00 0000104a: SWAP2 0000104b: DUP3 0000104c: MSTORE 0000104d: PUSH1 0x20 0000104f: SWAP1 00001050: SWAP2 00001051: KECCAK256 00001052: ADD 00001053: SLOAD 00001054: PUSH1 0x01 00001056: PUSH1 0xa0 00001058: PUSH1 0x02 0000105a: EXP 0000105b: SUB 0000105c: AND 0000105d: EQ 0000105e: ISZERO 0000105f: PUSH2 0x10a5 00001062: JUMPI 00001063: DUP4 00001064: PUSH1 0x03 00001066: DUP5 00001067: DUP2 00001068: SLOAD 00001069: DUP2 0000106a: LT 0000106b: ISZERO 0000106c: ISZERO 0000106d: PUSH2 0x1072 00001070: JUMPI 00001071: INVALID 00001072: JUMPDEST 00001073: SWAP1 00001074: PUSH1 0x00 00001076: MSTORE 00001077: PUSH1 0x20 00001079: PUSH1 0x00 0000107b: KECCAK256 0000107c: ADD 0000107d: PUSH1 0x00 0000107f: PUSH2 0x0100 00001082: EXP 00001083: DUP2 00001084: SLOAD 00001085: DUP2 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: PUSH1 0x02 0000108c: EXP 0000108d: SUB 0000108e: MUL 0000108f: NOT 00001090: AND 00001091: SWAP1 00001092: DUP4 00001093: PUSH1 0x01 00001095: PUSH1 0xa0 00001097: PUSH1 0x02 00001099: EXP 0000109a: SUB 0000109b: AND 0000109c: MUL 0000109d: OR 0000109e: SWAP1 0000109f: SSTORE 000010a0: POP 000010a1: PUSH2 0x10b0 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH1 0x01 000010a8: SWAP1 000010a9: SWAP3 000010aa: ADD 000010ab: SWAP2 000010ac: PUSH2 0x1024 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x01 000010b3: PUSH1 0xa0 000010b5: PUSH1 0x02 000010b7: EXP 000010b8: SUB 000010b9: DUP1 000010ba: DUP7 000010bb: AND 000010bc: PUSH1 0x00 000010be: DUP2 000010bf: DUP2 000010c0: MSTORE 000010c1: PUSH1 0x02 000010c3: PUSH1 0x20 000010c5: MSTORE 000010c6: PUSH1 0x40 000010c8: DUP1 000010c9: DUP3 000010ca: KECCAK256 000010cb: DUP1 000010cc: SLOAD 000010cd: PUSH1 0xff 000010cf: NOT 000010d0: SWAP1 000010d1: DUP2 000010d2: AND 000010d3: SWAP1 000010d4: SWAP2 000010d5: SSTORE 000010d6: SWAP4 000010d7: DUP9 000010d8: AND 000010d9: DUP3 000010da: MSTORE 000010db: DUP1 000010dc: DUP3 000010dd: KECCAK256 000010de: DUP1 000010df: SLOAD 000010e0: SWAP1 000010e1: SWAP5 000010e2: AND 000010e3: PUSH1 0x01 000010e5: OR 000010e6: SWAP1 000010e7: SWAP4 000010e8: SSTORE 000010e9: SWAP2 000010ea: MLOAD 000010eb: SWAP1 000010ec: SWAP2 000010ed: PUSH1 0x00 000010ef: DUP1 000010f0: MLOAD 000010f1: PUSH1 0x20 000010f3: PUSH2 0x14ae 000010f6: DUP4 000010f7: CODECOPY 000010f8: DUP2 000010f9: MLOAD 000010fa: SWAP2 000010fb: MSTORE 000010fc: SWAP2 000010fd: LOG2 000010fe: PUSH1 0x40 00001100: MLOAD 00001101: PUSH1 0x01 00001103: PUSH1 0xa0 00001105: PUSH1 0x02 00001107: EXP 00001108: SUB 00001109: DUP6 0000110a: AND 0000110b: SWAP1 0000110c: PUSH1 0x00 0000110e: DUP1 0000110f: MLOAD 00001110: PUSH1 0x20 00001112: PUSH2 0x148e 00001115: DUP4 00001116: CODECOPY 00001117: DUP2 00001118: MLOAD 00001119: SWAP2 0000111a: MSTORE 0000111b: SWAP1 0000111c: PUSH1 0x00 0000111e: SWAP1 0000111f: LOG2 00001120: POP 00001121: POP 00001122: POP 00001123: POP 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: CALLER 00001128: PUSH1 0x01 0000112a: PUSH1 0xa0 0000112c: PUSH1 0x02 0000112e: EXP 0000112f: SUB 00001130: DUP2 00001131: AND 00001132: PUSH1 0x00 00001134: SWAP1 00001135: DUP2 00001136: MSTORE 00001137: PUSH1 0x02 00001139: PUSH1 0x20 0000113b: MSTORE 0000113c: PUSH1 0x40 0000113e: DUP2 0000113f: KECCAK256 00001140: SLOAD 00001141: SWAP1 00001142: SWAP2 00001143: SWAP1 00001144: PUSH1 0xff 00001146: AND 00001147: ISZERO 00001148: ISZERO 00001149: PUSH2 0x1151 0000114c: JUMPI 0000114d: PUSH1 0x00 0000114f: DUP1 00001150: REVERT 00001151: JUMPDEST 00001152: PUSH1 0x00 00001154: DUP4 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x01 00001159: PUSH1 0x20 0000115b: SWAP1 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x40 00001160: DUP1 00001161: DUP4 00001162: KECCAK256 00001163: CALLER 00001164: PUSH1 0x01 00001166: PUSH1 0xa0 00001168: PUSH1 0x02 0000116a: EXP 0000116b: SUB 0000116c: DUP2 0000116d: AND 0000116e: DUP6 0000116f: MSTORE 00001170: SWAP3 00001171: MSTORE 00001172: SWAP1 00001173: SWAP2 00001174: KECCAK256 00001175: SLOAD 00001176: DUP5 00001177: SWAP2 00001178: SWAP1 00001179: PUSH1 0xff 0000117b: AND 0000117c: ISZERO 0000117d: ISZERO 0000117e: PUSH2 0x1186 00001181: JUMPI 00001182: PUSH1 0x00 00001184: DUP1 00001185: REVERT 00001186: JUMPDEST 00001187: PUSH1 0x00 00001189: DUP6 0000118a: DUP2 0000118b: MSTORE 0000118c: PUSH1 0x20 0000118e: DUP2 0000118f: SWAP1 00001190: MSTORE 00001191: PUSH1 0x40 00001193: SWAP1 00001194: KECCAK256 00001195: PUSH1 0x03 00001197: ADD 00001198: SLOAD 00001199: DUP6 0000119a: SWAP1 0000119b: PUSH1 0xff 0000119d: AND 0000119e: ISZERO 0000119f: PUSH2 0x11a7 000011a2: JUMPI 000011a3: PUSH1 0x00 000011a5: DUP1 000011a6: REVERT 000011a7: JUMPDEST 000011a8: PUSH2 0x11b0 000011ab: DUP7 000011ac: PUSH2 0x093c 000011af: JUMP 000011b0: JUMPDEST 000011b1: ISZERO 000011b2: PUSH2 0x12e1 000011b5: JUMPI 000011b6: PUSH1 0x00 000011b8: DUP7 000011b9: DUP2 000011ba: MSTORE 000011bb: PUSH1 0x20 000011bd: DUP2 000011be: SWAP1 000011bf: MSTORE 000011c0: PUSH1 0x40 000011c2: SWAP1 000011c3: DUP2 000011c4: SWAP1 000011c5: KECCAK256 000011c6: PUSH1 0x03 000011c8: DUP2 000011c9: ADD 000011ca: DUP1 000011cb: SLOAD 000011cc: PUSH1 0xff 000011ce: NOT 000011cf: AND 000011d0: PUSH1 0x01 000011d2: SWAP1 000011d3: DUP2 000011d4: OR 000011d5: SWAP1 000011d6: SWAP2 000011d7: SSTORE 000011d8: DUP2 000011d9: SLOAD 000011da: DUP2 000011db: DUP4 000011dc: ADD 000011dd: SLOAD 000011de: SWAP4 000011df: MLOAD 000011e0: PUSH1 0x02 000011e2: DUP1 000011e3: DUP6 000011e4: ADD 000011e5: DUP1 000011e6: SLOAD 000011e7: SWAP6 000011e8: SWAP12 000011e9: POP 000011ea: PUSH1 0x01 000011ec: PUSH1 0xa0 000011ee: PUSH1 0x02 000011f0: EXP 000011f1: SUB 000011f2: SWAP1 000011f3: SWAP4 000011f4: AND 000011f5: SWAP6 000011f6: SWAP5 000011f7: SWAP3 000011f8: SWAP4 000011f9: SWAP2 000011fa: SWAP3 000011fb: DUP4 000011fc: SWAP3 000011fd: DUP6 000011fe: SWAP3 000011ff: PUSH1 0x00 00001201: NOT 00001202: SWAP2 00001203: DUP4 00001204: AND 00001205: ISZERO 00001206: PUSH2 0x0100 00001209: MUL 0000120a: SWAP2 0000120b: SWAP1 0000120c: SWAP2 0000120d: ADD 0000120e: SWAP1 0000120f: SWAP2 00001210: AND 00001211: DIV 00001212: DUP1 00001213: ISZERO 00001214: PUSH2 0x125e 00001217: JUMPI 00001218: DUP1 00001219: PUSH1 0x1f 0000121b: LT 0000121c: PUSH2 0x1233 0000121f: JUMPI 00001220: PUSH2 0x0100 00001223: DUP1 00001224: DUP4 00001225: SLOAD 00001226: DIV 00001227: MUL 00001228: DUP4 00001229: MSTORE 0000122a: SWAP2 0000122b: PUSH1 0x20 0000122d: ADD 0000122e: SWAP2 0000122f: PUSH2 0x125e 00001232: JUMP 00001233: JUMPDEST 00001234: DUP3 00001235: ADD 00001236: SWAP2 00001237: SWAP1 00001238: PUSH1 0x00 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: PUSH1 0x00 0000123f: KECCAK256 00001240: SWAP1 00001241: JUMPDEST 00001242: DUP2 00001243: SLOAD 00001244: DUP2 00001245: MSTORE 00001246: SWAP1 00001247: PUSH1 0x01 00001249: ADD 0000124a: SWAP1 0000124b: PUSH1 0x20 0000124d: ADD 0000124e: DUP1 0000124f: DUP4 00001250: GT 00001251: PUSH2 0x1241 00001254: JUMPI 00001255: DUP3 00001256: SWAP1 00001257: SUB 00001258: PUSH1 0x1f 0000125a: AND 0000125b: DUP3 0000125c: ADD 0000125d: SWAP2 0000125e: JUMPDEST 0000125f: POP 00001260: POP 00001261: SWAP2 00001262: POP 00001263: POP 00001264: PUSH1 0x00 00001266: PUSH1 0x40 00001268: MLOAD 00001269: DUP1 0000126a: DUP4 0000126b: SUB 0000126c: DUP2 0000126d: DUP6 0000126e: DUP8 0000126f: GAS 00001270: CALL 00001271: SWAP3 00001272: POP 00001273: POP 00001274: POP 00001275: ISZERO 00001276: PUSH2 0x12a9 00001279: JUMPI 0000127a: PUSH1 0x40 0000127c: MLOAD 0000127d: DUP7 0000127e: SWAP1 0000127f: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 000012a0: SWAP1 000012a1: PUSH1 0x00 000012a3: SWAP1 000012a4: LOG2 000012a5: PUSH2 0x12e1 000012a8: JUMP 000012a9: JUMPDEST 000012aa: PUSH1 0x40 000012ac: MLOAD 000012ad: DUP7 000012ae: SWAP1 000012af: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 000012d0: SWAP1 000012d1: PUSH1 0x00 000012d3: SWAP1 000012d4: LOG2 000012d5: PUSH1 0x03 000012d7: DUP6 000012d8: ADD 000012d9: DUP1 000012da: SLOAD 000012db: PUSH1 0xff 000012dd: NOT 000012de: AND 000012df: SWAP1 000012e0: SSTORE 000012e1: JUMPDEST 000012e2: POP 000012e3: POP 000012e4: POP 000012e5: POP 000012e6: POP 000012e7: POP 000012e8: JUMP 000012e9: JUMPDEST 000012ea: PUSH1 0x00 000012ec: DUP4 000012ed: PUSH1 0x01 000012ef: PUSH1 0xa0 000012f1: PUSH1 0x02 000012f3: EXP 000012f4: SUB 000012f5: DUP2 000012f6: AND 000012f7: ISZERO 000012f8: ISZERO 000012f9: PUSH2 0x1301 000012fc: JUMPI 000012fd: PUSH1 0x00 000012ff: DUP1 00001300: REVERT 00001301: JUMPDEST 00001302: PUSH1 0x05 00001304: SLOAD 00001305: PUSH1 0x40 00001307: DUP1 00001308: MLOAD 00001309: PUSH1 0x80 0000130b: DUP2 0000130c: ADD 0000130d: DUP3 0000130e: MSTORE 0000130f: PUSH1 0x01 00001311: PUSH1 0xa0 00001313: PUSH1 0x02 00001315: EXP 00001316: SUB 00001317: DUP9 00001318: DUP2 00001319: AND 0000131a: DUP3 0000131b: MSTORE 0000131c: PUSH1 0x20 0000131e: DUP1 0000131f: DUP4 00001320: ADD 00001321: DUP10 00001322: DUP2 00001323: MSTORE 00001324: DUP4 00001325: DUP6 00001326: ADD 00001327: DUP10 00001328: DUP2 00001329: MSTORE 0000132a: PUSH1 0x00 0000132c: PUSH1 0x60 0000132e: DUP7 0000132f: ADD 00001330: DUP2 00001331: SWAP1 00001332: MSTORE 00001333: DUP8 00001334: DUP2 00001335: MSTORE 00001336: DUP1 00001337: DUP5 00001338: MSTORE 00001339: SWAP6 0000133a: SWAP1 0000133b: SWAP6 0000133c: KECCAK256 0000133d: DUP5 0000133e: MLOAD 0000133f: DUP2 00001340: SLOAD 00001341: PUSH1 0x01 00001343: PUSH1 0xa0 00001345: PUSH1 0x02 00001347: EXP 00001348: SUB 00001349: NOT 0000134a: AND 0000134b: SWAP5 0000134c: AND 0000134d: SWAP4 0000134e: SWAP1 0000134f: SWAP4 00001350: OR 00001351: DUP4 00001352: SSTORE 00001353: MLOAD 00001354: PUSH1 0x01 00001356: DUP4 00001357: ADD 00001358: SSTORE 00001359: SWAP3 0000135a: MLOAD 0000135b: DUP1 0000135c: MLOAD 0000135d: SWAP5 0000135e: SWAP7 0000135f: POP 00001360: SWAP2 00001361: SWAP4 00001362: SWAP1 00001363: SWAP3 00001364: PUSH2 0x1374 00001367: SWAP3 00001368: PUSH1 0x02 0000136a: DUP6 0000136b: ADD 0000136c: SWAP3 0000136d: SWAP2 0000136e: ADD 0000136f: SWAP1 00001370: PUSH2 0x13f5 00001373: JUMP 00001374: JUMPDEST 00001375: POP 00001376: PUSH1 0x60 00001378: SWAP2 00001379: SWAP1 0000137a: SWAP2 0000137b: ADD 0000137c: MLOAD 0000137d: PUSH1 0x03 0000137f: SWAP1 00001380: SWAP2 00001381: ADD 00001382: DUP1 00001383: SLOAD 00001384: PUSH1 0xff 00001386: NOT 00001387: AND 00001388: SWAP2 00001389: ISZERO 0000138a: ISZERO 0000138b: SWAP2 0000138c: SWAP1 0000138d: SWAP2 0000138e: OR 0000138f: SWAP1 00001390: SSTORE 00001391: PUSH1 0x05 00001393: DUP1 00001394: SLOAD 00001395: PUSH1 0x01 00001397: ADD 00001398: SWAP1 00001399: SSTORE 0000139a: PUSH1 0x40 0000139c: MLOAD 0000139d: DUP3 0000139e: SWAP1 0000139f: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 000013c0: SWAP1 000013c1: PUSH1 0x00 000013c3: SWAP1 000013c4: LOG2 000013c5: POP 000013c6: SWAP4 000013c7: SWAP3 000013c8: POP 000013c9: POP 000013ca: POP 000013cb: JUMP 000013cc: JUMPDEST 000013cd: DUP2 000013ce: SLOAD 000013cf: DUP2 000013d0: DUP4 000013d1: SSTORE 000013d2: DUP2 000013d3: DUP2 000013d4: GT 000013d5: ISZERO 000013d6: PUSH2 0x13f0 000013d9: JUMPI 000013da: PUSH1 0x00 000013dc: DUP4 000013dd: DUP2 000013de: MSTORE 000013df: PUSH1 0x20 000013e1: SWAP1 000013e2: KECCAK256 000013e3: PUSH2 0x13f0 000013e6: SWAP2 000013e7: DUP2 000013e8: ADD 000013e9: SWAP1 000013ea: DUP4 000013eb: ADD 000013ec: PUSH2 0x1473 000013ef: JUMP 000013f0: JUMPDEST 000013f1: POP 000013f2: POP 000013f3: POP 000013f4: JUMP 000013f5: JUMPDEST 000013f6: DUP3 000013f7: DUP1 000013f8: SLOAD 000013f9: PUSH1 0x01 000013fb: DUP2 000013fc: PUSH1 0x01 000013fe: AND 000013ff: ISZERO 00001400: PUSH2 0x0100 00001403: MUL 00001404: SUB 00001405: AND 00001406: PUSH1 0x02 00001408: SWAP1 00001409: DIV 0000140a: SWAP1 0000140b: PUSH1 0x00 0000140d: MSTORE 0000140e: PUSH1 0x20 00001410: PUSH1 0x00 00001412: KECCAK256 00001413: SWAP1 00001414: PUSH1 0x1f 00001416: ADD 00001417: PUSH1 0x20 00001419: SWAP1 0000141a: DIV 0000141b: DUP2 0000141c: ADD 0000141d: SWAP3 0000141e: DUP3 0000141f: PUSH1 0x1f 00001421: LT 00001422: PUSH2 0x1436 00001425: JUMPI 00001426: DUP1 00001427: MLOAD 00001428: PUSH1 0xff 0000142a: NOT 0000142b: AND 0000142c: DUP4 0000142d: DUP1 0000142e: ADD 0000142f: OR 00001430: DUP6 00001431: SSTORE 00001432: PUSH2 0x1463 00001435: JUMP 00001436: JUMPDEST 00001437: DUP3 00001438: DUP1 00001439: ADD 0000143a: PUSH1 0x01 0000143c: ADD 0000143d: DUP6 0000143e: SSTORE 0000143f: DUP3 00001440: ISZERO 00001441: PUSH2 0x1463 00001444: JUMPI 00001445: SWAP2 00001446: DUP3 00001447: ADD 00001448: JUMPDEST 00001449: DUP3 0000144a: DUP2 0000144b: GT 0000144c: ISZERO 0000144d: PUSH2 0x1463 00001450: JUMPI 00001451: DUP3 00001452: MLOAD 00001453: DUP3 00001454: SSTORE 00001455: SWAP2 00001456: PUSH1 0x20 00001458: ADD 00001459: SWAP2 0000145a: SWAP1 0000145b: PUSH1 0x01 0000145d: ADD 0000145e: SWAP1 0000145f: PUSH2 0x1448 00001462: JUMP 00001463: JUMPDEST 00001464: POP 00001465: PUSH2 0x146f 00001468: SWAP3 00001469: SWAP2 0000146a: POP 0000146b: PUSH2 0x1473 0000146e: JUMP 0000146f: JUMPDEST 00001470: POP 00001471: SWAP1 00001472: JUMP 00001473: JUMPDEST 00001474: PUSH2 0x0b4d 00001477: SWAP2 00001478: SWAP1 00001479: JUMPDEST 0000147a: DUP1 0000147b: DUP3 0000147c: GT 0000147d: ISZERO 0000147e: PUSH2 0x146f 00001481: JUMPI 00001482: PUSH1 0x00 00001484: DUP2 00001485: SSTORE 00001486: PUSH1 0x01 00001488: ADD 00001489: PUSH2 0x1479 0000148c: JUMP 0000148d: STOP 0000148e: RETURN 0000148f: SWAP15 00001490: PUSH15 0x1eb0edcf53c221607b54b00cd28f31 000014a0: SWAP7 000014a1: INVALID 000014a2: UNKNOWN(0xD0) 000014a3: LOG2 000014a4: BLOBHASH 000014a5: SWAP5 000014a6: UNKNOWN(0xDC) 000014a7: ADDRESS 000014a8: DUP12 000014a9: DUP16 000014aa: PUSH2 0x1b68 000014ad: UNKNOWN(0x2D) 000014ae: DUP1 000014af: ADD 000014b0: SSTORE 000014b1: GASPRICE 000014b2: SWAP2 000014b3: PUSH15 0xf2f495d26a907cc54d96ed840d7bda 000014c3: PUSH18 0xe73194bf5a9df7a76b90a165627a7a723058 000014d6: KECCAK256 000014d7: PUSH7 0xf9451e489f4eba 000014df: UNKNOWN(0xFB) 000014e0: UNKNOWN(0xF6) 000014e1: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x928de87e1ef25c7fe880b742750c6897fcc4282551947c7fee8348f3f7822267
call_targets:
0x520f1214aebf4507a02cf5c5ac7e236e772db95f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x928de87e1ef25c7fe880b742750c6897fcc4282551947c7fee8348f3f7822267",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x520f1214aebf4507a02cf5c5ac7e236e772db95f"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4720,
"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: 0x928de87e1ef25c7fe880b742750c6897fcc4282551947c7fee8348f3f7822267
call_targets:
0x520f1214aebf4507a02cf5c5ac7e236e772db95f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x928de87e1ef25c7fe880b742750c6897fcc4282551947c7fee8348f3f7822267",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x520f1214aebf4507a02cf5c5ac7e236e772db95f"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4720,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|