019b477e-a9b2-7005-90bd-55e6b1218d00
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 |
|---|---|---|---|---|
| 20683 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20684 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63674 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 63675 | capability.graph | complete | 1 / 3 | 1 week ago |
| 63676 | detector.run | complete | 1 / 3 | 1 week ago |
| 63677 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0125 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x06fdde03 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x0127 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x08573a0b 00000044: EQ 00000045: PUSH2 0x01b7 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x088f11f3 0000004f: EQ 00000050: PUSH2 0x01cc 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x18160ddd 0000005a: EQ 0000005b: PUSH2 0x0218 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x313ce567 00000065: EQ 00000066: PUSH2 0x023a 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x3ccfd60b 00000070: EQ 00000071: PUSH2 0x0260 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x51605d80 0000007b: EQ 0000007c: PUSH2 0x0272 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x52f29a25 00000086: EQ 00000087: PUSH2 0x0302 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x58178168 00000091: EQ 00000092: PUSH2 0x0324 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x5a3b7e42 0000009c: EQ 0000009d: PUSH2 0x0353 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x70a08231 000000a7: EQ 000000a8: PUSH2 0x03e3 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8264fe98 000000b2: EQ 000000b3: PUSH2 0x0411 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8b72a2ec 000000bd: EQ 000000be: PUSH2 0x041e 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x95d89b41 000000c8: EQ 000000c9: PUSH2 0x043f 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa4ddf312 000000d3: EQ 000000d4: PUSH2 0x04cf 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xaec4e0bb 000000de: EQ 000000df: PUSH2 0x04f1 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xbf31196f 000000e9: EQ 000000ea: PUSH2 0x0513 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xc0d6ce63 000000f4: EQ 000000f5: PUSH2 0x0537 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xc44193c3 000000ff: EQ 00000100: PUSH2 0x0559 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xc81d1d5b 0000010a: EQ 0000010b: PUSH2 0x0571 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0xf3f43703 00000115: EQ 00000116: PUSH2 0x0586 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0xf6eeff1e 00000120: EQ 00000121: PUSH2 0x05b4 00000124: JUMPI 00000125: JUMPDEST 00000126: INVALID 00000127: JUMPDEST 00000128: CALLVALUE 00000129: ISZERO 0000012a: PUSH2 0x012f 0000012d: JUMPI 0000012e: INVALID 0000012f: JUMPDEST 00000130: PUSH2 0x0137 00000133: PUSH2 0x05c9 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH1 0x40 0000013a: DUP1 0000013b: MLOAD 0000013c: PUSH1 0x20 0000013e: DUP1 0000013f: DUP3 00000140: MSTORE 00000141: DUP4 00000142: MLOAD 00000143: DUP2 00000144: DUP4 00000145: ADD 00000146: MSTORE 00000147: DUP4 00000148: MLOAD 00000149: SWAP2 0000014a: SWAP3 0000014b: DUP4 0000014c: SWAP3 0000014d: SWAP1 0000014e: DUP4 0000014f: ADD 00000150: SWAP2 00000151: DUP6 00000152: ADD 00000153: SWAP1 00000154: DUP1 00000155: DUP4 00000156: DUP4 00000157: DUP3 00000158: ISZERO 00000159: PUSH2 0x017d 0000015c: JUMPI 0000015d: JUMPDEST 0000015e: DUP1 0000015f: MLOAD 00000160: DUP3 00000161: MSTORE 00000162: PUSH1 0x20 00000164: DUP4 00000165: GT 00000166: ISZERO 00000167: PUSH2 0x017d 0000016a: JUMPI 0000016b: PUSH1 0x1f 0000016d: NOT 0000016e: SWAP1 0000016f: SWAP3 00000170: ADD 00000171: SWAP2 00000172: PUSH1 0x20 00000174: SWAP2 00000175: DUP3 00000176: ADD 00000177: SWAP2 00000178: ADD 00000179: PUSH2 0x015d 0000017c: JUMP 0000017d: JUMPDEST 0000017e: POP 0000017f: POP 00000180: POP 00000181: SWAP1 00000182: POP 00000183: SWAP1 00000184: DUP2 00000185: ADD 00000186: SWAP1 00000187: PUSH1 0x1f 00000189: AND 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x01a9 0000018f: JUMPI 00000190: DUP1 00000191: DUP3 00000192: SUB 00000193: DUP1 00000194: MLOAD 00000195: PUSH1 0x01 00000197: DUP4 00000198: PUSH1 0x20 0000019a: SUB 0000019b: PUSH2 0x0100 0000019e: EXP 0000019f: SUB 000001a0: NOT 000001a1: AND 000001a2: DUP2 000001a3: MSTORE 000001a4: PUSH1 0x20 000001a6: ADD 000001a7: SWAP2 000001a8: POP 000001a9: JUMPDEST 000001aa: POP 000001ab: SWAP3 000001ac: POP 000001ad: POP 000001ae: POP 000001af: PUSH1 0x40 000001b1: MLOAD 000001b2: DUP1 000001b3: SWAP2 000001b4: SUB 000001b5: SWAP1 000001b6: RETURN 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: ISZERO 000001ba: PUSH2 0x01bf 000001bd: JUMPI 000001be: INVALID 000001bf: JUMPDEST 000001c0: PUSH2 0x01ca 000001c3: PUSH1 0x04 000001c5: CALLDATALOAD 000001c6: PUSH2 0x0657 000001c9: JUMP 000001ca: JUMPDEST 000001cb: STOP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: ISZERO 000001cf: PUSH2 0x01d4 000001d2: JUMPI 000001d3: INVALID 000001d4: JUMPDEST 000001d5: PUSH2 0x01df 000001d8: PUSH1 0x04 000001da: CALLDATALOAD 000001db: PUSH2 0x074d 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: DUP1 000001e3: MLOAD 000001e4: SWAP6 000001e5: ISZERO 000001e6: ISZERO 000001e7: DUP7 000001e8: MSTORE 000001e9: PUSH1 0x20 000001eb: DUP7 000001ec: ADD 000001ed: SWAP5 000001ee: SWAP1 000001ef: SWAP5 000001f0: MSTORE 000001f1: PUSH1 0x01 000001f3: PUSH1 0xa0 000001f5: PUSH1 0x02 000001f7: EXP 000001f8: SUB 000001f9: SWAP3 000001fa: DUP4 000001fb: AND 000001fc: DUP6 000001fd: DUP6 000001fe: ADD 000001ff: MSTORE 00000200: PUSH1 0x60 00000202: DUP6 00000203: ADD 00000204: SWAP2 00000205: SWAP1 00000206: SWAP2 00000207: MSTORE 00000208: AND 00000209: PUSH1 0x80 0000020b: DUP4 0000020c: ADD 0000020d: MSTORE 0000020e: MLOAD 0000020f: SWAP1 00000210: DUP2 00000211: SWAP1 00000212: SUB 00000213: PUSH1 0xa0 00000215: ADD 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0220 0000021e: JUMPI 0000021f: INVALID 00000220: JUMPDEST 00000221: PUSH2 0x0228 00000224: PUSH2 0x078b 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH1 0x40 0000022b: DUP1 0000022c: MLOAD 0000022d: SWAP2 0000022e: DUP3 0000022f: MSTORE 00000230: MLOAD 00000231: SWAP1 00000232: DUP2 00000233: SWAP1 00000234: SUB 00000235: PUSH1 0x20 00000237: ADD 00000238: SWAP1 00000239: RETURN 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: ISZERO 0000023d: PUSH2 0x0242 00000240: JUMPI 00000241: INVALID 00000242: JUMPDEST 00000243: PUSH2 0x024a 00000246: PUSH2 0x0791 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH1 0x40 0000024d: DUP1 0000024e: MLOAD 0000024f: PUSH1 0xff 00000251: SWAP1 00000252: SWAP3 00000253: AND 00000254: DUP3 00000255: MSTORE 00000256: MLOAD 00000257: SWAP1 00000258: DUP2 00000259: SWAP1 0000025a: SUB 0000025b: PUSH1 0x20 0000025d: ADD 0000025e: SWAP1 0000025f: RETURN 00000260: JUMPDEST 00000261: CALLVALUE 00000262: ISZERO 00000263: PUSH2 0x0268 00000266: JUMPI 00000267: INVALID 00000268: JUMPDEST 00000269: PUSH2 0x01ca 0000026c: PUSH2 0x079a 0000026f: JUMP 00000270: JUMPDEST 00000271: STOP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: ISZERO 00000275: PUSH2 0x027a 00000278: JUMPI 00000279: INVALID 0000027a: JUMPDEST 0000027b: PUSH2 0x0137 0000027e: PUSH2 0x07df 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH1 0x40 00000285: DUP1 00000286: MLOAD 00000287: PUSH1 0x20 00000289: DUP1 0000028a: DUP3 0000028b: MSTORE 0000028c: DUP4 0000028d: MLOAD 0000028e: DUP2 0000028f: DUP4 00000290: ADD 00000291: MSTORE 00000292: DUP4 00000293: MLOAD 00000294: SWAP2 00000295: SWAP3 00000296: DUP4 00000297: SWAP3 00000298: SWAP1 00000299: DUP4 0000029a: ADD 0000029b: SWAP2 0000029c: DUP6 0000029d: ADD 0000029e: SWAP1 0000029f: DUP1 000002a0: DUP4 000002a1: DUP4 000002a2: DUP3 000002a3: ISZERO 000002a4: PUSH2 0x017d 000002a7: JUMPI 000002a8: JUMPDEST 000002a9: DUP1 000002aa: MLOAD 000002ab: DUP3 000002ac: MSTORE 000002ad: PUSH1 0x20 000002af: DUP4 000002b0: GT 000002b1: ISZERO 000002b2: PUSH2 0x017d 000002b5: JUMPI 000002b6: PUSH1 0x1f 000002b8: NOT 000002b9: SWAP1 000002ba: SWAP3 000002bb: ADD 000002bc: SWAP2 000002bd: PUSH1 0x20 000002bf: SWAP2 000002c0: DUP3 000002c1: ADD 000002c2: SWAP2 000002c3: ADD 000002c4: PUSH2 0x015d 000002c7: JUMP 000002c8: JUMPDEST 000002c9: POP 000002ca: POP 000002cb: POP 000002cc: SWAP1 000002cd: POP 000002ce: SWAP1 000002cf: DUP2 000002d0: ADD 000002d1: SWAP1 000002d2: PUSH1 0x1f 000002d4: AND 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x01a9 000002da: JUMPI 000002db: DUP1 000002dc: DUP3 000002dd: SUB 000002de: DUP1 000002df: MLOAD 000002e0: PUSH1 0x01 000002e2: DUP4 000002e3: PUSH1 0x20 000002e5: SUB 000002e6: PUSH2 0x0100 000002e9: EXP 000002ea: SUB 000002eb: NOT 000002ec: AND 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: SWAP2 000002f3: POP 000002f4: JUMPDEST 000002f5: POP 000002f6: SWAP3 000002f7: POP 000002f8: POP 000002f9: POP 000002fa: PUSH1 0x40 000002fc: MLOAD 000002fd: DUP1 000002fe: SWAP2 000002ff: SUB 00000300: SWAP1 00000301: RETURN 00000302: JUMPDEST 00000303: CALLVALUE 00000304: ISZERO 00000305: PUSH2 0x030a 00000308: JUMPI 00000309: INVALID 0000030a: JUMPDEST 0000030b: PUSH2 0x0228 0000030e: PUSH2 0x086d 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: DUP1 00000316: MLOAD 00000317: SWAP2 00000318: DUP3 00000319: MSTORE 0000031a: MLOAD 0000031b: SWAP1 0000031c: DUP2 0000031d: SWAP1 0000031e: SUB 0000031f: PUSH1 0x20 00000321: ADD 00000322: SWAP1 00000323: RETURN 00000324: JUMPDEST 00000325: CALLVALUE 00000326: ISZERO 00000327: PUSH2 0x032c 0000032a: JUMPI 0000032b: INVALID 0000032c: JUMPDEST 0000032d: PUSH2 0x0337 00000330: PUSH1 0x04 00000332: CALLDATALOAD 00000333: PUSH2 0x0873 00000336: JUMP 00000337: JUMPDEST 00000338: PUSH1 0x40 0000033a: DUP1 0000033b: MLOAD 0000033c: PUSH1 0x01 0000033e: PUSH1 0xa0 00000340: PUSH1 0x02 00000342: EXP 00000343: SUB 00000344: SWAP1 00000345: SWAP3 00000346: AND 00000347: DUP3 00000348: MSTORE 00000349: MLOAD 0000034a: SWAP1 0000034b: DUP2 0000034c: SWAP1 0000034d: SUB 0000034e: PUSH1 0x20 00000350: ADD 00000351: SWAP1 00000352: RETURN 00000353: JUMPDEST 00000354: CALLVALUE 00000355: ISZERO 00000356: PUSH2 0x035b 00000359: JUMPI 0000035a: INVALID 0000035b: JUMPDEST 0000035c: PUSH2 0x0137 0000035f: PUSH2 0x088e 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x40 00000366: DUP1 00000367: MLOAD 00000368: PUSH1 0x20 0000036a: DUP1 0000036b: DUP3 0000036c: MSTORE 0000036d: DUP4 0000036e: MLOAD 0000036f: DUP2 00000370: DUP4 00000371: ADD 00000372: MSTORE 00000373: DUP4 00000374: MLOAD 00000375: SWAP2 00000376: SWAP3 00000377: DUP4 00000378: SWAP3 00000379: SWAP1 0000037a: DUP4 0000037b: ADD 0000037c: SWAP2 0000037d: DUP6 0000037e: ADD 0000037f: SWAP1 00000380: DUP1 00000381: DUP4 00000382: DUP4 00000383: DUP3 00000384: ISZERO 00000385: PUSH2 0x017d 00000388: JUMPI 00000389: JUMPDEST 0000038a: DUP1 0000038b: MLOAD 0000038c: DUP3 0000038d: MSTORE 0000038e: PUSH1 0x20 00000390: DUP4 00000391: GT 00000392: ISZERO 00000393: PUSH2 0x017d 00000396: JUMPI 00000397: PUSH1 0x1f 00000399: NOT 0000039a: SWAP1 0000039b: SWAP3 0000039c: ADD 0000039d: SWAP2 0000039e: PUSH1 0x20 000003a0: SWAP2 000003a1: DUP3 000003a2: ADD 000003a3: SWAP2 000003a4: ADD 000003a5: PUSH2 0x015d 000003a8: JUMP 000003a9: JUMPDEST 000003aa: POP 000003ab: POP 000003ac: POP 000003ad: SWAP1 000003ae: POP 000003af: SWAP1 000003b0: DUP2 000003b1: ADD 000003b2: SWAP1 000003b3: PUSH1 0x1f 000003b5: AND 000003b6: DUP1 000003b7: ISZERO 000003b8: PUSH2 0x01a9 000003bb: JUMPI 000003bc: DUP1 000003bd: DUP3 000003be: SUB 000003bf: DUP1 000003c0: MLOAD 000003c1: PUSH1 0x01 000003c3: DUP4 000003c4: PUSH1 0x20 000003c6: SUB 000003c7: PUSH2 0x0100 000003ca: EXP 000003cb: SUB 000003cc: NOT 000003cd: AND 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: SWAP2 000003d4: POP 000003d5: JUMPDEST 000003d6: POP 000003d7: SWAP3 000003d8: POP 000003d9: POP 000003da: POP 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: SWAP2 000003e0: SUB 000003e1: SWAP1 000003e2: RETURN 000003e3: JUMPDEST 000003e4: CALLVALUE 000003e5: ISZERO 000003e6: PUSH2 0x03eb 000003e9: JUMPI 000003ea: INVALID 000003eb: JUMPDEST 000003ec: PUSH2 0x0228 000003ef: PUSH1 0x01 000003f1: PUSH1 0xa0 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: SUB 000003f7: PUSH1 0x04 000003f9: CALLDATALOAD 000003fa: AND 000003fb: PUSH2 0x0919 000003fe: JUMP 000003ff: JUMPDEST 00000400: PUSH1 0x40 00000402: DUP1 00000403: MLOAD 00000404: SWAP2 00000405: DUP3 00000406: MSTORE 00000407: MLOAD 00000408: SWAP1 00000409: DUP2 0000040a: SWAP1 0000040b: SUB 0000040c: PUSH1 0x20 0000040e: ADD 0000040f: SWAP1 00000410: RETURN 00000411: JUMPDEST 00000412: PUSH2 0x01ca 00000415: PUSH1 0x04 00000417: CALLDATALOAD 00000418: PUSH2 0x092b 0000041b: JUMP 0000041c: JUMPDEST 0000041d: STOP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: ISZERO 00000421: PUSH2 0x0426 00000424: JUMPI 00000425: INVALID 00000426: JUMPDEST 00000427: PUSH2 0x01ca 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: PUSH1 0x02 00000430: EXP 00000431: SUB 00000432: PUSH1 0x04 00000434: CALLDATALOAD 00000435: AND 00000436: PUSH1 0x24 00000438: CALLDATALOAD 00000439: PUSH2 0x0ac8 0000043c: JUMP 0000043d: JUMPDEST 0000043e: STOP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: ISZERO 00000442: PUSH2 0x0447 00000445: JUMPI 00000446: INVALID 00000447: JUMPDEST 00000448: PUSH2 0x0137 0000044b: PUSH2 0x0bc7 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x40 00000452: DUP1 00000453: MLOAD 00000454: PUSH1 0x20 00000456: DUP1 00000457: DUP3 00000458: MSTORE 00000459: DUP4 0000045a: MLOAD 0000045b: DUP2 0000045c: DUP4 0000045d: ADD 0000045e: MSTORE 0000045f: DUP4 00000460: MLOAD 00000461: SWAP2 00000462: SWAP3 00000463: DUP4 00000464: SWAP3 00000465: SWAP1 00000466: DUP4 00000467: ADD 00000468: SWAP2 00000469: DUP6 0000046a: ADD 0000046b: SWAP1 0000046c: DUP1 0000046d: DUP4 0000046e: DUP4 0000046f: DUP3 00000470: ISZERO 00000471: PUSH2 0x017d 00000474: JUMPI 00000475: JUMPDEST 00000476: DUP1 00000477: MLOAD 00000478: DUP3 00000479: MSTORE 0000047a: PUSH1 0x20 0000047c: DUP4 0000047d: GT 0000047e: ISZERO 0000047f: PUSH2 0x017d 00000482: JUMPI 00000483: PUSH1 0x1f 00000485: NOT 00000486: SWAP1 00000487: SWAP3 00000488: ADD 00000489: SWAP2 0000048a: PUSH1 0x20 0000048c: SWAP2 0000048d: DUP3 0000048e: ADD 0000048f: SWAP2 00000490: ADD 00000491: PUSH2 0x015d 00000494: JUMP 00000495: JUMPDEST 00000496: POP 00000497: POP 00000498: POP 00000499: SWAP1 0000049a: POP 0000049b: SWAP1 0000049c: DUP2 0000049d: ADD 0000049e: SWAP1 0000049f: PUSH1 0x1f 000004a1: AND 000004a2: DUP1 000004a3: ISZERO 000004a4: PUSH2 0x01a9 000004a7: JUMPI 000004a8: DUP1 000004a9: DUP3 000004aa: SUB 000004ab: DUP1 000004ac: MLOAD 000004ad: PUSH1 0x01 000004af: DUP4 000004b0: PUSH1 0x20 000004b2: SUB 000004b3: PUSH2 0x0100 000004b6: EXP 000004b7: SUB 000004b8: NOT 000004b9: AND 000004ba: DUP2 000004bb: MSTORE 000004bc: PUSH1 0x20 000004be: ADD 000004bf: SWAP2 000004c0: POP 000004c1: JUMPDEST 000004c2: POP 000004c3: SWAP3 000004c4: POP 000004c5: POP 000004c6: POP 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: DUP1 000004cb: SWAP2 000004cc: SUB 000004cd: SWAP1 000004ce: RETURN 000004cf: JUMPDEST 000004d0: CALLVALUE 000004d1: ISZERO 000004d2: PUSH2 0x04d7 000004d5: JUMPI 000004d6: INVALID 000004d7: JUMPDEST 000004d8: PUSH2 0x0228 000004db: PUSH2 0x0c55 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x40 000004e2: DUP1 000004e3: MLOAD 000004e4: SWAP2 000004e5: DUP3 000004e6: MSTORE 000004e7: MLOAD 000004e8: SWAP1 000004e9: DUP2 000004ea: SWAP1 000004eb: SUB 000004ec: PUSH1 0x20 000004ee: ADD 000004ef: SWAP1 000004f0: RETURN 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: ISZERO 000004f4: PUSH2 0x04f9 000004f7: JUMPI 000004f8: INVALID 000004f9: JUMPDEST 000004fa: PUSH2 0x0228 000004fd: PUSH2 0x0c5b 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x40 00000504: DUP1 00000505: MLOAD 00000506: SWAP2 00000507: DUP3 00000508: MSTORE 00000509: MLOAD 0000050a: SWAP1 0000050b: DUP2 0000050c: SWAP1 0000050d: SUB 0000050e: PUSH1 0x20 00000510: ADD 00000511: SWAP1 00000512: RETURN 00000513: JUMPDEST 00000514: CALLVALUE 00000515: ISZERO 00000516: PUSH2 0x051b 00000519: JUMPI 0000051a: INVALID 0000051b: JUMPDEST 0000051c: PUSH2 0x01ca 0000051f: PUSH1 0x04 00000521: CALLDATALOAD 00000522: PUSH1 0x24 00000524: CALLDATALOAD 00000525: PUSH1 0x01 00000527: PUSH1 0xa0 00000529: PUSH1 0x02 0000052b: EXP 0000052c: SUB 0000052d: PUSH1 0x44 0000052f: CALLDATALOAD 00000530: AND 00000531: PUSH2 0x0c61 00000534: JUMP 00000535: JUMPDEST 00000536: STOP 00000537: JUMPDEST 00000538: CALLVALUE 00000539: ISZERO 0000053a: PUSH2 0x053f 0000053d: JUMPI 0000053e: INVALID 0000053f: JUMPDEST 00000540: PUSH2 0x0228 00000543: PUSH2 0x0d59 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x40 0000054a: DUP1 0000054b: MLOAD 0000054c: SWAP2 0000054d: DUP3 0000054e: MSTORE 0000054f: MLOAD 00000550: SWAP1 00000551: DUP2 00000552: SWAP1 00000553: SUB 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP1 00000558: RETURN 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: ISZERO 0000055c: PUSH2 0x0561 0000055f: JUMPI 00000560: INVALID 00000561: JUMPDEST 00000562: PUSH2 0x01ca 00000565: PUSH1 0x04 00000567: CALLDATALOAD 00000568: PUSH1 0x24 0000056a: CALLDATALOAD 0000056b: PUSH2 0x0d5f 0000056e: JUMP 0000056f: JUMPDEST 00000570: STOP 00000571: JUMPDEST 00000572: CALLVALUE 00000573: ISZERO 00000574: PUSH2 0x0579 00000577: JUMPI 00000578: INVALID 00000579: JUMPDEST 0000057a: PUSH2 0x01ca 0000057d: PUSH1 0x04 0000057f: CALLDATALOAD 00000580: PUSH2 0x0e53 00000583: JUMP 00000584: JUMPDEST 00000585: STOP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: ISZERO 00000589: PUSH2 0x058e 0000058c: JUMPI 0000058d: INVALID 0000058e: JUMPDEST 0000058f: PUSH2 0x0228 00000592: PUSH1 0x01 00000594: PUSH1 0xa0 00000596: PUSH1 0x02 00000598: EXP 00000599: SUB 0000059a: PUSH1 0x04 0000059c: CALLDATALOAD 0000059d: AND 0000059e: PUSH2 0x0f04 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x40 000005a5: DUP1 000005a6: MLOAD 000005a7: SWAP2 000005a8: DUP3 000005a9: MSTORE 000005aa: MLOAD 000005ab: SWAP1 000005ac: DUP2 000005ad: SWAP1 000005ae: SUB 000005af: PUSH1 0x20 000005b1: ADD 000005b2: SWAP1 000005b3: RETURN 000005b4: JUMPDEST 000005b5: CALLVALUE 000005b6: ISZERO 000005b7: PUSH2 0x05bc 000005ba: JUMPI 000005bb: INVALID 000005bc: JUMPDEST 000005bd: PUSH2 0x01ca 000005c0: PUSH1 0x04 000005c2: CALLDATALOAD 000005c3: PUSH2 0x0f16 000005c6: JUMP 000005c7: JUMPDEST 000005c8: STOP 000005c9: JUMPDEST 000005ca: PUSH1 0x03 000005cc: DUP1 000005cd: SLOAD 000005ce: PUSH1 0x40 000005d0: DUP1 000005d1: MLOAD 000005d2: PUSH1 0x20 000005d4: PUSH1 0x02 000005d6: PUSH1 0x01 000005d8: DUP6 000005d9: AND 000005da: ISZERO 000005db: PUSH2 0x0100 000005de: MUL 000005df: PUSH1 0x00 000005e1: NOT 000005e2: ADD 000005e3: SWAP1 000005e4: SWAP5 000005e5: AND 000005e6: SWAP4 000005e7: SWAP1 000005e8: SWAP4 000005e9: DIV 000005ea: PUSH1 0x1f 000005ec: DUP2 000005ed: ADD 000005ee: DUP5 000005ef: SWAP1 000005f0: DIV 000005f1: DUP5 000005f2: MUL 000005f3: DUP3 000005f4: ADD 000005f5: DUP5 000005f6: ADD 000005f7: SWAP1 000005f8: SWAP3 000005f9: MSTORE 000005fa: DUP2 000005fb: DUP2 000005fc: MSTORE 000005fd: SWAP3 000005fe: SWAP2 000005ff: DUP4 00000600: ADD 00000601: DUP3 00000602: DUP3 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x064f 00000608: JUMPI 00000609: DUP1 0000060a: PUSH1 0x1f 0000060c: LT 0000060d: PUSH2 0x0624 00000610: JUMPI 00000611: PUSH2 0x0100 00000614: DUP1 00000615: DUP4 00000616: SLOAD 00000617: DIV 00000618: MUL 00000619: DUP4 0000061a: MSTORE 0000061b: SWAP2 0000061c: PUSH1 0x20 0000061e: ADD 0000061f: SWAP2 00000620: PUSH2 0x064f 00000623: JUMP 00000624: JUMPDEST 00000625: DUP3 00000626: ADD 00000627: SWAP2 00000628: SWAP1 00000629: PUSH1 0x00 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: PUSH1 0x00 00000630: KECCAK256 00000631: SWAP1 00000632: JUMPDEST 00000633: DUP2 00000634: SLOAD 00000635: DUP2 00000636: MSTORE 00000637: SWAP1 00000638: PUSH1 0x01 0000063a: ADD 0000063b: SWAP1 0000063c: PUSH1 0x20 0000063e: ADD 0000063f: DUP1 00000640: DUP4 00000641: GT 00000642: PUSH2 0x0632 00000645: JUMPI 00000646: DUP3 00000647: SWAP1 00000648: SUB 00000649: PUSH1 0x1f 0000064b: AND 0000064c: DUP3 0000064d: ADD 0000064e: SWAP2 0000064f: JUMPDEST 00000650: POP 00000651: POP 00000652: POP 00000653: POP 00000654: POP 00000655: DUP2 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x01 0000065a: SLOAD 0000065b: PUSH1 0x00 0000065d: SWAP1 0000065e: CALLER 0000065f: PUSH1 0x01 00000661: PUSH1 0xa0 00000663: PUSH1 0x02 00000665: EXP 00000666: SUB 00000667: SWAP1 00000668: DUP2 00000669: AND 0000066a: SWAP2 0000066b: AND 0000066c: EQ 0000066d: PUSH2 0x0676 00000670: JUMPI 00000671: PUSH1 0x00 00000673: PUSH1 0x00 00000675: REVERT 00000676: JUMPDEST 00000677: PUSH1 0x09 00000679: SLOAD 0000067a: PUSH1 0x0a 0000067c: SLOAD 0000067d: LT 0000067e: PUSH2 0x0687 00000681: JUMPI 00000682: PUSH1 0x00 00000684: PUSH1 0x00 00000686: REVERT 00000687: JUMPDEST 00000688: POP 00000689: PUSH1 0x00 0000068b: JUMPDEST 0000068c: PUSH1 0x09 0000068e: SLOAD 0000068f: PUSH1 0x0a 00000691: SLOAD 00000692: LT 00000693: DUP1 00000694: ISZERO 00000695: PUSH2 0x069d 00000698: JUMPI 00000699: POP 0000069a: DUP2 0000069b: DUP2 0000069c: LT 0000069d: JUMPDEST 0000069e: ISZERO 0000069f: PUSH2 0x0719 000006a2: JUMPI 000006a3: PUSH1 0x07 000006a5: DUP1 000006a6: SLOAD 000006a7: PUSH1 0x00 000006a9: SWAP1 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x0b 000006ae: PUSH1 0x20 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x40 000006b5: SWAP2 000006b6: DUP3 000006b7: SWAP1 000006b8: KECCAK256 000006b9: DUP1 000006ba: SLOAD 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: NOT 000006c4: AND 000006c5: CALLER 000006c6: PUSH1 0x01 000006c8: PUSH1 0xa0 000006ca: PUSH1 0x02 000006cc: EXP 000006cd: SUB 000006ce: AND 000006cf: SWAP1 000006d0: DUP2 000006d1: OR 000006d2: SWAP1 000006d3: SWAP2 000006d4: SSTORE 000006d5: SWAP3 000006d6: SLOAD 000006d7: DUP3 000006d8: MLOAD 000006d9: SWAP1 000006da: DUP2 000006db: MSTORE 000006dc: SWAP2 000006dd: MLOAD 000006de: PUSH32 0x8a0e37b73a0d9c82e205d4d1a3ff3d0b57ce5f4d7bccf6bac03336dc101cb7ba 000006ff: SWAP3 00000700: DUP2 00000701: SWAP1 00000702: SUB 00000703: SWAP1 00000704: SWAP2 00000705: ADD 00000706: SWAP1 00000707: LOG2 00000708: PUSH1 0x07 0000070a: DUP1 0000070b: SLOAD 0000070c: PUSH1 0x01 0000070e: SWAP1 0000070f: DUP2 00000710: ADD 00000711: SWAP1 00000712: SWAP2 00000713: SSTORE 00000714: ADD 00000715: PUSH2 0x068b 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH1 0x08 0000071c: DUP1 0000071d: SLOAD 0000071e: DUP3 0000071f: SWAP1 00000720: SUB 00000721: SWAP1 00000722: SSTORE 00000723: PUSH1 0x0a 00000725: DUP1 00000726: SLOAD 00000727: DUP3 00000728: ADD 00000729: SWAP1 0000072a: SSTORE 0000072b: PUSH1 0x01 0000072d: PUSH1 0xa0 0000072f: PUSH1 0x02 00000731: EXP 00000732: SUB 00000733: CALLER 00000734: AND 00000735: PUSH1 0x00 00000737: SWAP1 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x0c 0000073c: PUSH1 0x20 0000073e: MSTORE 0000073f: PUSH1 0x40 00000741: SWAP1 00000742: KECCAK256 00000743: DUP1 00000744: SLOAD 00000745: DUP3 00000746: ADD 00000747: SWAP1 00000748: SSTORE 00000749: JUMPDEST 0000074a: POP 0000074b: POP 0000074c: JUMP 0000074d: JUMPDEST 0000074e: PUSH1 0x0d 00000750: PUSH1 0x20 00000752: MSTORE 00000753: PUSH1 0x00 00000755: SWAP1 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x40 0000075a: SWAP1 0000075b: KECCAK256 0000075c: DUP1 0000075d: SLOAD 0000075e: PUSH1 0x01 00000760: DUP3 00000761: ADD 00000762: SLOAD 00000763: PUSH1 0x02 00000765: DUP4 00000766: ADD 00000767: SLOAD 00000768: PUSH1 0x03 0000076a: DUP5 0000076b: ADD 0000076c: SLOAD 0000076d: PUSH1 0x04 0000076f: SWAP1 00000770: SWAP5 00000771: ADD 00000772: SLOAD 00000773: PUSH1 0xff 00000775: SWAP1 00000776: SWAP4 00000777: AND 00000778: SWAP4 00000779: SWAP2 0000077a: SWAP3 0000077b: PUSH1 0x01 0000077d: PUSH1 0xa0 0000077f: PUSH1 0x02 00000781: EXP 00000782: SUB 00000783: SWAP2 00000784: DUP3 00000785: AND 00000786: SWAP3 00000787: SWAP2 00000788: AND 00000789: DUP6 0000078a: JUMP 0000078b: JUMPDEST 0000078c: PUSH1 0x06 0000078e: SLOAD 0000078f: DUP2 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH1 0x05 00000794: SLOAD 00000795: PUSH1 0xff 00000797: AND 00000798: DUP2 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x01 0000079d: PUSH1 0xa0 0000079f: PUSH1 0x02 000007a1: EXP 000007a2: SUB 000007a3: CALLER 000007a4: AND 000007a5: PUSH1 0x00 000007a7: DUP2 000007a8: DUP2 000007a9: MSTORE 000007aa: PUSH1 0x0e 000007ac: PUSH1 0x20 000007ae: MSTORE 000007af: PUSH1 0x40 000007b1: DUP1 000007b2: DUP3 000007b3: KECCAK256 000007b4: DUP1 000007b5: SLOAD 000007b6: SWAP1 000007b7: DUP4 000007b8: SWAP1 000007b9: SSTORE 000007ba: SWAP1 000007bb: MLOAD 000007bc: SWAP1 000007bd: SWAP3 000007be: SWAP2 000007bf: DUP4 000007c0: ISZERO 000007c1: PUSH2 0x08fc 000007c4: MUL 000007c5: SWAP2 000007c6: DUP5 000007c7: SWAP2 000007c8: DUP2 000007c9: DUP2 000007ca: DUP2 000007cb: DUP6 000007cc: DUP9 000007cd: DUP9 000007ce: CALL 000007cf: SWAP4 000007d0: POP 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: ISZERO 000007d5: ISZERO 000007d6: PUSH2 0x07db 000007d9: JUMPI 000007da: INVALID 000007db: JUMPDEST 000007dc: JUMPDEST 000007dd: POP 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: SLOAD 000007e4: PUSH1 0x40 000007e6: DUP1 000007e7: MLOAD 000007e8: PUSH1 0x20 000007ea: PUSH1 0x02 000007ec: PUSH1 0x01 000007ee: DUP6 000007ef: AND 000007f0: ISZERO 000007f1: PUSH2 0x0100 000007f4: MUL 000007f5: PUSH1 0x00 000007f7: NOT 000007f8: ADD 000007f9: SWAP1 000007fa: SWAP5 000007fb: AND 000007fc: SWAP4 000007fd: SWAP1 000007fe: SWAP4 000007ff: DIV 00000800: PUSH1 0x1f 00000802: DUP2 00000803: ADD 00000804: DUP5 00000805: SWAP1 00000806: DIV 00000807: DUP5 00000808: MUL 00000809: DUP3 0000080a: ADD 0000080b: DUP5 0000080c: ADD 0000080d: SWAP1 0000080e: SWAP3 0000080f: MSTORE 00000810: DUP2 00000811: DUP2 00000812: MSTORE 00000813: SWAP3 00000814: SWAP2 00000815: DUP4 00000816: ADD 00000817: DUP3 00000818: DUP3 00000819: DUP1 0000081a: ISZERO 0000081b: PUSH2 0x064f 0000081e: JUMPI 0000081f: DUP1 00000820: PUSH1 0x1f 00000822: LT 00000823: PUSH2 0x0624 00000826: JUMPI 00000827: PUSH2 0x0100 0000082a: DUP1 0000082b: DUP4 0000082c: SLOAD 0000082d: DIV 0000082e: MUL 0000082f: DUP4 00000830: MSTORE 00000831: SWAP2 00000832: PUSH1 0x20 00000834: ADD 00000835: SWAP2 00000836: PUSH2 0x064f 00000839: JUMP 0000083a: JUMPDEST 0000083b: DUP3 0000083c: ADD 0000083d: SWAP2 0000083e: SWAP1 0000083f: PUSH1 0x00 00000841: MSTORE 00000842: PUSH1 0x20 00000844: PUSH1 0x00 00000846: KECCAK256 00000847: SWAP1 00000848: JUMPDEST 00000849: DUP2 0000084a: SLOAD 0000084b: DUP2 0000084c: MSTORE 0000084d: SWAP1 0000084e: PUSH1 0x01 00000850: ADD 00000851: SWAP1 00000852: PUSH1 0x20 00000854: ADD 00000855: DUP1 00000856: DUP4 00000857: GT 00000858: PUSH2 0x0632 0000085b: JUMPI 0000085c: DUP3 0000085d: SWAP1 0000085e: SUB 0000085f: PUSH1 0x1f 00000861: AND 00000862: DUP3 00000863: ADD 00000864: SWAP2 00000865: JUMPDEST 00000866: POP 00000867: POP 00000868: POP 00000869: POP 0000086a: POP 0000086b: DUP2 0000086c: JUMP 0000086d: JUMPDEST 0000086e: PUSH1 0x07 00000870: SLOAD 00000871: DUP2 00000872: JUMP 00000873: JUMPDEST 00000874: PUSH1 0x0b 00000876: PUSH1 0x20 00000878: MSTORE 00000879: PUSH1 0x00 0000087b: SWAP1 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x40 00000880: SWAP1 00000881: KECCAK256 00000882: SLOAD 00000883: PUSH1 0x01 00000885: PUSH1 0xa0 00000887: PUSH1 0x02 00000889: EXP 0000088a: SUB 0000088b: AND 0000088c: DUP2 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH1 0x02 00000891: DUP1 00000892: SLOAD 00000893: PUSH1 0x40 00000895: DUP1 00000896: MLOAD 00000897: PUSH1 0x20 00000899: PUSH1 0x01 0000089b: DUP5 0000089c: AND 0000089d: ISZERO 0000089e: PUSH2 0x0100 000008a1: MUL 000008a2: PUSH1 0x00 000008a4: NOT 000008a5: ADD 000008a6: SWAP1 000008a7: SWAP4 000008a8: AND 000008a9: DUP5 000008aa: SWAP1 000008ab: DIV 000008ac: PUSH1 0x1f 000008ae: DUP2 000008af: ADD 000008b0: DUP5 000008b1: SWAP1 000008b2: DIV 000008b3: DUP5 000008b4: MUL 000008b5: DUP3 000008b6: ADD 000008b7: DUP5 000008b8: ADD 000008b9: SWAP1 000008ba: SWAP3 000008bb: MSTORE 000008bc: DUP2 000008bd: DUP2 000008be: MSTORE 000008bf: SWAP3 000008c0: SWAP2 000008c1: DUP4 000008c2: ADD 000008c3: DUP3 000008c4: DUP3 000008c5: DUP1 000008c6: ISZERO 000008c7: PUSH2 0x064f 000008ca: JUMPI 000008cb: DUP1 000008cc: PUSH1 0x1f 000008ce: LT 000008cf: PUSH2 0x0624 000008d2: JUMPI 000008d3: PUSH2 0x0100 000008d6: DUP1 000008d7: DUP4 000008d8: SLOAD 000008d9: DIV 000008da: MUL 000008db: DUP4 000008dc: MSTORE 000008dd: SWAP2 000008de: PUSH1 0x20 000008e0: ADD 000008e1: SWAP2 000008e2: PUSH2 0x064f 000008e5: JUMP 000008e6: JUMPDEST 000008e7: DUP3 000008e8: ADD 000008e9: SWAP2 000008ea: SWAP1 000008eb: PUSH1 0x00 000008ed: MSTORE 000008ee: PUSH1 0x20 000008f0: PUSH1 0x00 000008f2: KECCAK256 000008f3: SWAP1 000008f4: JUMPDEST 000008f5: DUP2 000008f6: SLOAD 000008f7: DUP2 000008f8: MSTORE 000008f9: SWAP1 000008fa: PUSH1 0x01 000008fc: ADD 000008fd: SWAP1 000008fe: PUSH1 0x20 00000900: ADD 00000901: DUP1 00000902: DUP4 00000903: GT 00000904: PUSH2 0x0632 00000907: JUMPI 00000908: DUP3 00000909: SWAP1 0000090a: SUB 0000090b: PUSH1 0x1f 0000090d: AND 0000090e: DUP3 0000090f: ADD 00000910: SWAP2 00000911: JUMPDEST 00000912: POP 00000913: POP 00000914: POP 00000915: POP 00000916: POP 00000917: DUP2 00000918: JUMP 00000919: JUMPDEST 0000091a: PUSH1 0x0c 0000091c: PUSH1 0x20 0000091e: MSTORE 0000091f: PUSH1 0x00 00000921: SWAP1 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x40 00000926: SWAP1 00000927: KECCAK256 00000928: SLOAD 00000929: DUP2 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: DUP2 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x0d 00000933: PUSH1 0x20 00000935: MSTORE 00000936: PUSH1 0x40 00000938: SWAP1 00000939: KECCAK256 0000093a: DUP1 0000093b: SLOAD 0000093c: PUSH1 0xff 0000093e: AND 0000093f: ISZERO 00000940: ISZERO 00000941: PUSH2 0x094a 00000944: JUMPI 00000945: PUSH1 0x00 00000947: PUSH1 0x00 00000949: REVERT 0000094a: JUMPDEST 0000094b: PUSH1 0x04 0000094d: DUP2 0000094e: ADD 0000094f: SLOAD 00000950: PUSH1 0x01 00000952: PUSH1 0xa0 00000954: PUSH1 0x02 00000956: EXP 00000957: SUB 00000958: AND 00000959: ISZERO 0000095a: DUP1 0000095b: ISZERO 0000095c: SWAP1 0000095d: PUSH2 0x0977 00000960: JUMPI 00000961: POP 00000962: PUSH1 0x04 00000964: DUP2 00000965: ADD 00000966: SLOAD 00000967: CALLER 00000968: PUSH1 0x01 0000096a: PUSH1 0xa0 0000096c: PUSH1 0x02 0000096e: EXP 0000096f: SUB 00000970: SWAP1 00000971: DUP2 00000972: AND 00000973: SWAP2 00000974: AND 00000975: EQ 00000976: ISZERO 00000977: JUMPDEST 00000978: ISZERO 00000979: PUSH2 0x0982 0000097c: JUMPI 0000097d: PUSH1 0x00 0000097f: PUSH1 0x00 00000981: REVERT 00000982: JUMPDEST 00000983: DUP1 00000984: PUSH1 0x03 00000986: ADD 00000987: SLOAD 00000988: CALLVALUE 00000989: LT 0000098a: ISZERO 0000098b: PUSH2 0x0994 0000098e: JUMPI 0000098f: PUSH1 0x00 00000991: PUSH1 0x00 00000993: REVERT 00000994: JUMPDEST 00000995: PUSH1 0x00 00000997: DUP3 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x0b 0000099c: PUSH1 0x20 0000099e: MSTORE 0000099f: PUSH1 0x40 000009a1: SWAP1 000009a2: KECCAK256 000009a3: SLOAD 000009a4: PUSH1 0x02 000009a6: DUP3 000009a7: ADD 000009a8: SLOAD 000009a9: PUSH1 0x01 000009ab: PUSH1 0xa0 000009ad: PUSH1 0x02 000009af: EXP 000009b0: SUB 000009b1: SWAP1 000009b2: DUP2 000009b3: AND 000009b4: SWAP2 000009b5: AND 000009b6: EQ 000009b7: PUSH2 0x09c0 000009ba: JUMPI 000009bb: PUSH1 0x00 000009bd: PUSH1 0x00 000009bf: REVERT 000009c0: JUMPDEST 000009c1: PUSH1 0x00 000009c3: DUP3 000009c4: DUP2 000009c5: MSTORE 000009c6: PUSH1 0x0b 000009c8: PUSH1 0x20 000009ca: SWAP1 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x40 000009cf: DUP1 000009d0: DUP4 000009d1: KECCAK256 000009d2: DUP1 000009d3: SLOAD 000009d4: PUSH1 0x01 000009d6: PUSH1 0xa0 000009d8: PUSH1 0x02 000009da: EXP 000009db: SUB 000009dc: CALLER 000009dd: DUP2 000009de: AND 000009df: PUSH1 0x01 000009e1: PUSH1 0xa0 000009e3: PUSH1 0x02 000009e5: EXP 000009e6: SUB 000009e7: NOT 000009e8: SWAP1 000009e9: SWAP3 000009ea: AND 000009eb: DUP3 000009ec: OR 000009ed: SWAP1 000009ee: SWAP3 000009ef: SSTORE 000009f0: PUSH1 0x02 000009f2: DUP7 000009f3: ADD 000009f4: DUP1 000009f5: SLOAD 000009f6: DUP4 000009f7: AND 000009f8: DUP7 000009f9: MSTORE 000009fa: PUSH1 0x0c 000009fc: DUP6 000009fd: MSTORE 000009fe: DUP4 000009ff: DUP7 00000a00: KECCAK256 00000a01: DUP1 00000a02: SLOAD 00000a03: PUSH1 0x00 00000a05: NOT 00000a06: ADD 00000a07: SWAP1 00000a08: SSTORE 00000a09: DUP2 00000a0a: DUP7 00000a0b: MSTORE 00000a0c: SWAP5 00000a0d: DUP4 00000a0e: SWAP1 00000a0f: KECCAK256 00000a10: DUP1 00000a11: SLOAD 00000a12: PUSH1 0x01 00000a14: SWAP1 00000a15: DUP2 00000a16: ADD 00000a17: SWAP1 00000a18: SWAP2 00000a19: SSTORE 00000a1a: SWAP5 00000a1b: SLOAD 00000a1c: DUP4 00000a1d: MLOAD 00000a1e: SWAP6 00000a1f: DUP7 00000a20: MSTORE 00000a21: SWAP3 00000a22: MLOAD 00000a23: SWAP1 00000a24: SWAP5 00000a25: SWAP3 00000a26: SWAP1 00000a27: SWAP2 00000a28: AND 00000a29: SWAP3 00000a2a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000a4b: SWAP3 00000a4c: DUP3 00000a4d: SWAP1 00000a4e: SUB 00000a4f: ADD 00000a50: SWAP1 00000a51: LOG3 00000a52: PUSH2 0x0a5a 00000a55: DUP3 00000a56: PUSH2 0x0f16 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x02 00000a5d: DUP2 00000a5e: ADD 00000a5f: DUP1 00000a60: SLOAD 00000a61: PUSH1 0x01 00000a63: PUSH1 0xa0 00000a65: PUSH1 0x02 00000a67: EXP 00000a68: SUB 00000a69: SWAP1 00000a6a: DUP2 00000a6b: AND 00000a6c: PUSH1 0x00 00000a6e: SWAP1 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH1 0x0e 00000a73: PUSH1 0x20 00000a75: SWAP1 00000a76: DUP2 00000a77: MSTORE 00000a78: PUSH1 0x40 00000a7a: SWAP2 00000a7b: DUP3 00000a7c: SWAP1 00000a7d: KECCAK256 00000a7e: DUP1 00000a7f: SLOAD 00000a80: CALLVALUE 00000a81: SWAP1 00000a82: DUP2 00000a83: ADD 00000a84: SWAP1 00000a85: SWAP2 00000a86: SSTORE 00000a87: SWAP4 00000a88: SLOAD 00000a89: DUP3 00000a8a: MLOAD 00000a8b: SWAP5 00000a8c: DUP6 00000a8d: MSTORE 00000a8e: SWAP2 00000a8f: MLOAD 00000a90: CALLER 00000a91: DUP5 00000a92: AND 00000a93: SWAP5 00000a94: SWAP3 00000a95: SWAP1 00000a96: SWAP4 00000a97: AND 00000a98: SWAP3 00000a99: DUP7 00000a9a: SWAP3 00000a9b: PUSH32 0x58e5d5a525e3b40bc15abaa38b5882678db1ee68befd2f60bafe3a7fd06db9e3 00000abc: SWAP3 00000abd: SWAP1 00000abe: DUP3 00000abf: SWAP1 00000ac0: SUB 00000ac1: ADD 00000ac2: SWAP1 00000ac3: LOG4 00000ac4: JUMPDEST 00000ac5: POP 00000ac6: POP 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: PUSH1 0x00 00000acb: DUP2 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x0b 00000ad0: PUSH1 0x20 00000ad2: MSTORE 00000ad3: PUSH1 0x40 00000ad5: SWAP1 00000ad6: KECCAK256 00000ad7: SLOAD 00000ad8: CALLER 00000ad9: PUSH1 0x01 00000adb: PUSH1 0xa0 00000add: PUSH1 0x02 00000adf: EXP 00000ae0: SUB 00000ae1: SWAP1 00000ae2: DUP2 00000ae3: AND 00000ae4: SWAP2 00000ae5: AND 00000ae6: EQ 00000ae7: PUSH2 0x0af0 00000aea: JUMPI 00000aeb: PUSH1 0x00 00000aed: PUSH1 0x00 00000aef: REVERT 00000af0: JUMPDEST 00000af1: PUSH1 0x00 00000af3: DUP2 00000af4: DUP2 00000af5: MSTORE 00000af6: PUSH1 0x0b 00000af8: PUSH1 0x20 00000afa: SWAP1 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x40 00000aff: DUP1 00000b00: DUP4 00000b01: KECCAK256 00000b02: DUP1 00000b03: SLOAD 00000b04: PUSH1 0x01 00000b06: PUSH1 0xa0 00000b08: PUSH1 0x02 00000b0a: EXP 00000b0b: SUB 00000b0c: NOT 00000b0d: AND 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: SUB 00000b16: DUP8 00000b17: DUP2 00000b18: AND 00000b19: SWAP2 00000b1a: DUP3 00000b1b: OR 00000b1c: SWAP1 00000b1d: SWAP3 00000b1e: SSTORE 00000b1f: CALLER 00000b20: SWAP1 00000b21: SWAP2 00000b22: AND 00000b23: DUP1 00000b24: DUP6 00000b25: MSTORE 00000b26: PUSH1 0x0c 00000b28: DUP5 00000b29: MSTORE 00000b2a: DUP3 00000b2b: DUP6 00000b2c: KECCAK256 00000b2d: DUP1 00000b2e: SLOAD 00000b2f: PUSH1 0x00 00000b31: NOT 00000b32: ADD 00000b33: SWAP1 00000b34: SSTORE 00000b35: DUP2 00000b36: DUP6 00000b37: MSTORE 00000b38: SWAP4 00000b39: DUP3 00000b3a: SWAP1 00000b3b: KECCAK256 00000b3c: DUP1 00000b3d: SLOAD 00000b3e: PUSH1 0x01 00000b40: SWAP1 00000b41: DUP2 00000b42: ADD 00000b43: SWAP1 00000b44: SWAP2 00000b45: SSTORE 00000b46: DUP3 00000b47: MLOAD 00000b48: SWAP1 00000b49: DUP2 00000b4a: MSTORE 00000b4b: SWAP2 00000b4c: MLOAD 00000b4d: SWAP1 00000b4e: SWAP4 00000b4f: SWAP3 00000b50: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000b71: SWAP3 00000b72: DUP3 00000b73: SWAP1 00000b74: SUB 00000b75: ADD 00000b76: SWAP1 00000b77: LOG3 00000b78: DUP2 00000b79: PUSH1 0x01 00000b7b: PUSH1 0xa0 00000b7d: PUSH1 0x02 00000b7f: EXP 00000b80: SUB 00000b81: AND 00000b82: CALLER 00000b83: PUSH1 0x01 00000b85: PUSH1 0xa0 00000b87: PUSH1 0x02 00000b89: EXP 00000b8a: SUB 00000b8b: AND 00000b8c: PUSH32 0x05af636b70da6819000c49f85b21fa82081c632069bb626f30932034099107d8 00000bad: DUP4 00000bae: PUSH1 0x40 00000bb0: MLOAD 00000bb1: DUP1 00000bb2: DUP3 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x20 00000bb7: ADD 00000bb8: SWAP2 00000bb9: POP 00000bba: POP 00000bbb: PUSH1 0x40 00000bbd: MLOAD 00000bbe: DUP1 00000bbf: SWAP2 00000bc0: SUB 00000bc1: SWAP1 00000bc2: LOG3 00000bc3: JUMPDEST 00000bc4: POP 00000bc5: POP 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH1 0x04 00000bca: DUP1 00000bcb: SLOAD 00000bcc: PUSH1 0x40 00000bce: DUP1 00000bcf: MLOAD 00000bd0: PUSH1 0x20 00000bd2: PUSH1 0x02 00000bd4: PUSH1 0x01 00000bd6: DUP6 00000bd7: AND 00000bd8: ISZERO 00000bd9: PUSH2 0x0100 00000bdc: MUL 00000bdd: PUSH1 0x00 00000bdf: NOT 00000be0: ADD 00000be1: SWAP1 00000be2: SWAP5 00000be3: AND 00000be4: SWAP4 00000be5: SWAP1 00000be6: SWAP4 00000be7: DIV 00000be8: PUSH1 0x1f 00000bea: DUP2 00000beb: ADD 00000bec: DUP5 00000bed: SWAP1 00000bee: DIV 00000bef: DUP5 00000bf0: MUL 00000bf1: DUP3 00000bf2: ADD 00000bf3: DUP5 00000bf4: ADD 00000bf5: SWAP1 00000bf6: SWAP3 00000bf7: MSTORE 00000bf8: DUP2 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: SWAP3 00000bfc: SWAP2 00000bfd: DUP4 00000bfe: ADD 00000bff: DUP3 00000c00: DUP3 00000c01: DUP1 00000c02: ISZERO 00000c03: PUSH2 0x064f 00000c06: JUMPI 00000c07: DUP1 00000c08: PUSH1 0x1f 00000c0a: LT 00000c0b: PUSH2 0x0624 00000c0e: JUMPI 00000c0f: PUSH2 0x0100 00000c12: DUP1 00000c13: DUP4 00000c14: SLOAD 00000c15: DIV 00000c16: MUL 00000c17: DUP4 00000c18: MSTORE 00000c19: SWAP2 00000c1a: PUSH1 0x20 00000c1c: ADD 00000c1d: SWAP2 00000c1e: PUSH2 0x064f 00000c21: JUMP 00000c22: JUMPDEST 00000c23: DUP3 00000c24: ADD 00000c25: SWAP2 00000c26: SWAP1 00000c27: PUSH1 0x00 00000c29: MSTORE 00000c2a: PUSH1 0x20 00000c2c: PUSH1 0x00 00000c2e: KECCAK256 00000c2f: SWAP1 00000c30: JUMPDEST 00000c31: DUP2 00000c32: SLOAD 00000c33: DUP2 00000c34: MSTORE 00000c35: SWAP1 00000c36: PUSH1 0x01 00000c38: ADD 00000c39: SWAP1 00000c3a: PUSH1 0x20 00000c3c: ADD 00000c3d: DUP1 00000c3e: DUP4 00000c3f: GT 00000c40: PUSH2 0x0632 00000c43: JUMPI 00000c44: DUP3 00000c45: SWAP1 00000c46: SUB 00000c47: PUSH1 0x1f 00000c49: AND 00000c4a: DUP3 00000c4b: ADD 00000c4c: SWAP2 00000c4d: JUMPDEST 00000c4e: POP 00000c4f: POP 00000c50: POP 00000c51: POP 00000c52: POP 00000c53: DUP2 00000c54: JUMP 00000c55: JUMPDEST 00000c56: PUSH1 0x09 00000c58: SLOAD 00000c59: DUP2 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x0a 00000c5e: SLOAD 00000c5f: DUP2 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x00 00000c64: DUP4 00000c65: DUP2 00000c66: MSTORE 00000c67: PUSH1 0x0b 00000c69: PUSH1 0x20 00000c6b: MSTORE 00000c6c: PUSH1 0x40 00000c6e: SWAP1 00000c6f: KECCAK256 00000c70: SLOAD 00000c71: CALLER 00000c72: PUSH1 0x01 00000c74: PUSH1 0xa0 00000c76: PUSH1 0x02 00000c78: EXP 00000c79: SUB 00000c7a: SWAP1 00000c7b: DUP2 00000c7c: AND 00000c7d: SWAP2 00000c7e: AND 00000c7f: EQ 00000c80: PUSH2 0x0c89 00000c83: JUMPI 00000c84: PUSH1 0x00 00000c86: PUSH1 0x00 00000c88: REVERT 00000c89: JUMPDEST 00000c8a: PUSH1 0x40 00000c8c: DUP1 00000c8d: MLOAD 00000c8e: PUSH1 0xa0 00000c90: DUP2 00000c91: ADD 00000c92: DUP3 00000c93: MSTORE 00000c94: PUSH1 0x01 00000c96: DUP1 00000c97: DUP3 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: DUP1 00000c9c: DUP4 00000c9d: ADD 00000c9e: DUP8 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: CALLER 00000ca2: PUSH1 0x01 00000ca4: PUSH1 0xa0 00000ca6: PUSH1 0x02 00000ca8: EXP 00000ca9: SUB 00000caa: SWAP1 00000cab: DUP2 00000cac: AND 00000cad: DUP6 00000cae: DUP8 00000caf: ADD 00000cb0: SWAP1 00000cb1: DUP2 00000cb2: MSTORE 00000cb3: PUSH1 0x60 00000cb5: DUP7 00000cb6: ADD 00000cb7: DUP10 00000cb8: DUP2 00000cb9: MSTORE 00000cba: DUP9 00000cbb: DUP4 00000cbc: AND 00000cbd: PUSH1 0x80 00000cbf: DUP9 00000cc0: ADD 00000cc1: DUP2 00000cc2: DUP2 00000cc3: MSTORE 00000cc4: PUSH1 0x00 00000cc6: DUP14 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH1 0x0d 00000ccb: DUP9 00000ccc: MSTORE 00000ccd: DUP11 00000cce: SWAP1 00000ccf: KECCAK256 00000cd0: SWAP9 00000cd1: MLOAD 00000cd2: DUP10 00000cd3: SLOAD 00000cd4: PUSH1 0xff 00000cd6: NOT 00000cd7: AND 00000cd8: SWAP1 00000cd9: ISZERO 00000cda: ISZERO 00000cdb: OR 00000cdc: DUP10 00000cdd: SSTORE 00000cde: SWAP5 00000cdf: MLOAD 00000ce0: SWAP7 00000ce1: DUP9 00000ce2: ADD 00000ce3: SWAP7 00000ce4: SWAP1 00000ce5: SWAP7 00000ce6: SSTORE 00000ce7: SWAP1 00000ce8: MLOAD 00000ce9: PUSH1 0x02 00000ceb: DUP8 00000cec: ADD 00000ced: DUP1 00000cee: SLOAD 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: PUSH1 0x02 00000cf5: EXP 00000cf6: SUB 00000cf7: NOT 00000cf8: SWAP1 00000cf9: DUP2 00000cfa: AND 00000cfb: SWAP3 00000cfc: DUP6 00000cfd: AND 00000cfe: SWAP3 00000cff: SWAP1 00000d00: SWAP3 00000d01: OR 00000d02: SWAP1 00000d03: SSTORE 00000d04: SWAP1 00000d05: MLOAD 00000d06: PUSH1 0x03 00000d08: DUP8 00000d09: ADD 00000d0a: SSTORE 00000d0b: SWAP2 00000d0c: MLOAD 00000d0d: PUSH1 0x04 00000d0f: SWAP1 00000d10: SWAP6 00000d11: ADD 00000d12: DUP1 00000d13: SLOAD 00000d14: SWAP1 00000d15: SWAP3 00000d16: AND 00000d17: SWAP5 00000d18: AND 00000d19: SWAP4 00000d1a: SWAP1 00000d1b: SWAP4 00000d1c: OR 00000d1d: SWAP1 00000d1e: SWAP3 00000d1f: SSTORE 00000d20: DUP3 00000d21: MLOAD 00000d22: DUP6 00000d23: DUP2 00000d24: MSTORE 00000d25: SWAP3 00000d26: MLOAD 00000d27: SWAP1 00000d28: SWAP3 00000d29: DUP7 00000d2a: SWAP3 00000d2b: PUSH32 0x3c7b682d5da98001a9b8cbda6c647d2c63d698a4184fd1d55e2ce7b66f5d21eb 00000d4c: SWAP3 00000d4d: SWAP2 00000d4e: DUP3 00000d4f: SWAP1 00000d50: SUB 00000d51: ADD 00000d52: SWAP1 00000d53: LOG3 00000d54: JUMPDEST 00000d55: POP 00000d56: POP 00000d57: POP 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH1 0x08 00000d5c: SLOAD 00000d5d: DUP2 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: PUSH1 0x00 00000d62: DUP3 00000d63: DUP2 00000d64: MSTORE 00000d65: PUSH1 0x0b 00000d67: PUSH1 0x20 00000d69: MSTORE 00000d6a: PUSH1 0x40 00000d6c: SWAP1 00000d6d: KECCAK256 00000d6e: SLOAD 00000d6f: CALLER 00000d70: PUSH1 0x01 00000d72: PUSH1 0xa0 00000d74: PUSH1 0x02 00000d76: EXP 00000d77: SUB 00000d78: SWAP1 00000d79: DUP2 00000d7a: AND 00000d7b: SWAP2 00000d7c: AND 00000d7d: EQ 00000d7e: PUSH2 0x0d87 00000d81: JUMPI 00000d82: PUSH1 0x00 00000d84: PUSH1 0x00 00000d86: REVERT 00000d87: JUMPDEST 00000d88: PUSH1 0x40 00000d8a: DUP1 00000d8b: MLOAD 00000d8c: PUSH1 0xa0 00000d8e: DUP2 00000d8f: ADD 00000d90: DUP3 00000d91: MSTORE 00000d92: PUSH1 0x01 00000d94: DUP1 00000d95: DUP3 00000d96: MSTORE 00000d97: PUSH1 0x20 00000d99: DUP1 00000d9a: DUP4 00000d9b: ADD 00000d9c: DUP7 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: CALLER 00000da0: PUSH1 0x01 00000da2: PUSH1 0xa0 00000da4: PUSH1 0x02 00000da6: EXP 00000da7: SUB 00000da8: SWAP1 00000da9: DUP2 00000daa: AND 00000dab: DUP6 00000dac: DUP8 00000dad: ADD 00000dae: SWAP1 00000daf: DUP2 00000db0: MSTORE 00000db1: PUSH1 0x60 00000db3: DUP7 00000db4: ADD 00000db5: DUP9 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x00 00000dba: PUSH1 0x80 00000dbc: DUP9 00000dbd: ADD 00000dbe: DUP2 00000dbf: DUP2 00000dc0: MSTORE 00000dc1: DUP12 00000dc2: DUP3 00000dc3: MSTORE 00000dc4: PUSH1 0x0d 00000dc6: DUP8 00000dc7: MSTORE 00000dc8: DUP10 00000dc9: DUP3 00000dca: KECCAK256 00000dcb: SWAP9 00000dcc: MLOAD 00000dcd: DUP10 00000dce: SLOAD 00000dcf: PUSH1 0xff 00000dd1: NOT 00000dd2: AND 00000dd3: SWAP1 00000dd4: ISZERO 00000dd5: ISZERO 00000dd6: OR 00000dd7: DUP10 00000dd8: SSTORE 00000dd9: SWAP5 00000dda: MLOAD 00000ddb: SWAP7 00000ddc: DUP9 00000ddd: ADD 00000dde: SWAP7 00000ddf: SWAP1 00000de0: SWAP7 00000de1: SSTORE 00000de2: SWAP1 00000de3: MLOAD 00000de4: PUSH1 0x02 00000de6: DUP8 00000de7: ADD 00000de8: DUP1 00000de9: SLOAD 00000dea: PUSH1 0x01 00000dec: PUSH1 0xa0 00000dee: PUSH1 0x02 00000df0: EXP 00000df1: SUB 00000df2: NOT 00000df3: SWAP1 00000df4: DUP2 00000df5: AND 00000df6: SWAP3 00000df7: DUP6 00000df8: AND 00000df9: SWAP3 00000dfa: SWAP1 00000dfb: SWAP3 00000dfc: OR 00000dfd: SWAP1 00000dfe: SSTORE 00000dff: SWAP1 00000e00: MLOAD 00000e01: PUSH1 0x03 00000e03: DUP8 00000e04: ADD 00000e05: SSTORE 00000e06: SWAP2 00000e07: MLOAD 00000e08: PUSH1 0x04 00000e0a: SWAP1 00000e0b: SWAP6 00000e0c: ADD 00000e0d: DUP1 00000e0e: SLOAD 00000e0f: SWAP1 00000e10: SWAP3 00000e11: AND 00000e12: SWAP5 00000e13: AND 00000e14: SWAP4 00000e15: SWAP1 00000e16: SWAP4 00000e17: OR 00000e18: SWAP1 00000e19: SWAP3 00000e1a: SSTORE 00000e1b: DUP3 00000e1c: MLOAD 00000e1d: DUP5 00000e1e: DUP2 00000e1f: MSTORE 00000e20: SWAP3 00000e21: MLOAD 00000e22: SWAP1 00000e23: SWAP3 00000e24: DUP6 00000e25: SWAP3 00000e26: PUSH32 0x3c7b682d5da98001a9b8cbda6c647d2c63d698a4184fd1d55e2ce7b66f5d21eb 00000e47: SWAP3 00000e48: SWAP2 00000e49: DUP3 00000e4a: SWAP1 00000e4b: SUB 00000e4c: ADD 00000e4d: SWAP1 00000e4e: LOG3 00000e4f: JUMPDEST 00000e50: POP 00000e51: POP 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH1 0x08 00000e56: SLOAD 00000e57: ISZERO 00000e58: ISZERO 00000e59: PUSH2 0x0e62 00000e5c: JUMPI 00000e5d: PUSH1 0x00 00000e5f: PUSH1 0x00 00000e61: REVERT 00000e62: JUMPDEST 00000e63: PUSH1 0x00 00000e65: DUP2 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x0b 00000e6a: PUSH1 0x20 00000e6c: MSTORE 00000e6d: PUSH1 0x40 00000e6f: SWAP1 00000e70: KECCAK256 00000e71: SLOAD 00000e72: PUSH1 0x01 00000e74: PUSH1 0xa0 00000e76: PUSH1 0x02 00000e78: EXP 00000e79: SUB 00000e7a: AND 00000e7b: ISZERO 00000e7c: PUSH2 0x0e85 00000e7f: JUMPI 00000e80: PUSH1 0x00 00000e82: PUSH1 0x00 00000e84: REVERT 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: DUP2 00000e89: DUP2 00000e8a: MSTORE 00000e8b: PUSH1 0x0b 00000e8d: PUSH1 0x20 00000e8f: SWAP1 00000e90: DUP2 00000e91: MSTORE 00000e92: PUSH1 0x40 00000e94: DUP1 00000e95: DUP4 00000e96: KECCAK256 00000e97: DUP1 00000e98: SLOAD 00000e99: PUSH1 0x01 00000e9b: PUSH1 0xa0 00000e9d: PUSH1 0x02 00000e9f: EXP 00000ea0: SUB 00000ea1: NOT 00000ea2: AND 00000ea3: CALLER 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0xa0 00000ea8: PUSH1 0x02 00000eaa: EXP 00000eab: SUB 00000eac: AND 00000ead: SWAP1 00000eae: DUP2 00000eaf: OR 00000eb0: SWAP1 00000eb1: SWAP2 00000eb2: SSTORE 00000eb3: DUP1 00000eb4: DUP5 00000eb5: MSTORE 00000eb6: PUSH1 0x0c 00000eb8: DUP4 00000eb9: MSTORE 00000eba: SWAP3 00000ebb: DUP2 00000ebc: SWAP1 00000ebd: KECCAK256 00000ebe: DUP1 00000ebf: SLOAD 00000ec0: PUSH1 0x01 00000ec2: ADD 00000ec3: SWAP1 00000ec4: SSTORE 00000ec5: PUSH1 0x08 00000ec7: DUP1 00000ec8: SLOAD 00000ec9: PUSH1 0x00 00000ecb: NOT 00000ecc: ADD 00000ecd: SWAP1 00000ece: SSTORE 00000ecf: DUP1 00000ed0: MLOAD 00000ed1: DUP5 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: SWAP1 00000ed5: MLOAD 00000ed6: PUSH32 0x8a0e37b73a0d9c82e205d4d1a3ff3d0b57ce5f4d7bccf6bac03336dc101cb7ba 00000ef7: SWAP3 00000ef8: SWAP2 00000ef9: DUP2 00000efa: SWAP1 00000efb: SUB 00000efc: SWAP1 00000efd: SWAP2 00000efe: ADD 00000eff: SWAP1 00000f00: LOG2 00000f01: JUMPDEST 00000f02: POP 00000f03: JUMP 00000f04: JUMPDEST 00000f05: PUSH1 0x0e 00000f07: PUSH1 0x20 00000f09: MSTORE 00000f0a: PUSH1 0x00 00000f0c: SWAP1 00000f0d: DUP2 00000f0e: MSTORE 00000f0f: PUSH1 0x40 00000f11: SWAP1 00000f12: KECCAK256 00000f13: SLOAD 00000f14: DUP2 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH1 0x00 00000f19: DUP2 00000f1a: DUP2 00000f1b: MSTORE 00000f1c: PUSH1 0x0b 00000f1e: PUSH1 0x20 00000f20: MSTORE 00000f21: PUSH1 0x40 00000f23: SWAP1 00000f24: KECCAK256 00000f25: SLOAD 00000f26: CALLER 00000f27: PUSH1 0x01 00000f29: PUSH1 0xa0 00000f2b: PUSH1 0x02 00000f2d: EXP 00000f2e: SUB 00000f2f: SWAP1 00000f30: DUP2 00000f31: AND 00000f32: SWAP2 00000f33: AND 00000f34: EQ 00000f35: PUSH2 0x0f3e 00000f38: JUMPI 00000f39: PUSH1 0x00 00000f3b: PUSH1 0x00 00000f3d: REVERT 00000f3e: JUMPDEST 00000f3f: PUSH1 0x40 00000f41: DUP1 00000f42: MLOAD 00000f43: PUSH1 0xa0 00000f45: DUP2 00000f46: ADD 00000f47: DUP3 00000f48: MSTORE 00000f49: PUSH1 0x00 00000f4b: DUP1 00000f4c: DUP3 00000f4d: MSTORE 00000f4e: PUSH1 0x20 00000f50: DUP1 00000f51: DUP4 00000f52: ADD 00000f53: DUP6 00000f54: DUP2 00000f55: MSTORE 00000f56: PUSH1 0x01 00000f58: PUSH1 0xa0 00000f5a: PUSH1 0x02 00000f5c: EXP 00000f5d: SUB 00000f5e: CALLER 00000f5f: DUP2 00000f60: AND 00000f61: DUP6 00000f62: DUP8 00000f63: ADD 00000f64: SWAP1 00000f65: DUP2 00000f66: MSTORE 00000f67: PUSH1 0x60 00000f69: DUP7 00000f6a: ADD 00000f6b: DUP6 00000f6c: DUP2 00000f6d: MSTORE 00000f6e: PUSH1 0x80 00000f70: DUP8 00000f71: ADD 00000f72: DUP7 00000f73: DUP2 00000f74: MSTORE 00000f75: DUP10 00000f76: DUP8 00000f77: MSTORE 00000f78: PUSH1 0x0d 00000f7a: SWAP1 00000f7b: SWAP6 00000f7c: MSTORE 00000f7d: DUP8 00000f7e: DUP7 00000f7f: KECCAK256 00000f80: SWAP7 00000f81: MLOAD 00000f82: DUP8 00000f83: SLOAD 00000f84: SWAP1 00000f85: ISZERO 00000f86: ISZERO 00000f87: PUSH1 0xff 00000f89: NOT 00000f8a: SWAP1 00000f8b: SWAP2 00000f8c: AND 00000f8d: OR 00000f8e: DUP8 00000f8f: SSTORE 00000f90: SWAP3 00000f91: MLOAD 00000f92: PUSH1 0x01 00000f94: DUP8 00000f95: ADD 00000f96: SSTORE 00000f97: MLOAD 00000f98: PUSH1 0x02 00000f9a: DUP7 00000f9b: ADD 00000f9c: DUP1 00000f9d: SLOAD 00000f9e: SWAP2 00000f9f: DUP4 00000fa0: AND 00000fa1: PUSH1 0x01 00000fa3: PUSH1 0xa0 00000fa5: PUSH1 0x02 00000fa7: EXP 00000fa8: SUB 00000fa9: NOT 00000faa: SWAP3 00000fab: DUP4 00000fac: AND 00000fad: OR 00000fae: SWAP1 00000faf: SSTORE 00000fb0: SWAP2 00000fb1: MLOAD 00000fb2: PUSH1 0x03 00000fb4: DUP7 00000fb5: ADD 00000fb6: SSTORE 00000fb7: SWAP2 00000fb8: MLOAD 00000fb9: PUSH1 0x04 00000fbb: SWAP1 00000fbc: SWAP5 00000fbd: ADD 00000fbe: DUP1 00000fbf: SLOAD 00000fc0: SWAP5 00000fc1: SWAP1 00000fc2: SWAP3 00000fc3: AND 00000fc4: SWAP4 00000fc5: AND 00000fc6: SWAP3 00000fc7: SWAP1 00000fc8: SWAP3 00000fc9: OR 00000fca: SWAP1 00000fcb: SWAP2 00000fcc: SSTORE 00000fcd: SWAP1 00000fce: MLOAD 00000fcf: DUP3 00000fd0: SWAP2 00000fd1: PUSH32 0xb0e0a660b4e50f26f0b7ce75c24655fc76cc66e3334a54ff410277229fa10bd4 00000ff2: SWAP2 00000ff3: LOG2 00000ff4: JUMPDEST 00000ff5: POP 00000ff6: JUMP 00000ff7: STOP 00000ff8: LOG1 00000ff9: PUSH6 0x627a7a723058 00001000: KECCAK256 00001001: UNKNOWN(0xCD) 00001002: NOT 00001003: SUB 00001004: UNKNOWN(0xDE) 00001005: UNKNOWN(0xB8) 00001006: UNKNOWN(0xC3) 00001007: LOG0 00001008: SIGNEXTEND 00001009: UNKNOWN(0xCD) 0000100a: SSTORE 0000100b: DUP1 0000100c: UNKNOWN(0xC7) 0000100d: BASEFEE 0000100e: DUP5 0000100f: UNKNOWN(0xB9) 00001010: SWAP3 00001011: UNKNOWN(0xD2) 00001012: UNKNOWN(0xC4) 00001013: UNKNOWN(0x0C) 00001014: UNKNOWN(0xB0) 00001015: UNKNOWN(0xE3) 00001016: UNKNOWN(0xA5) 00001017: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcdf1bbe65629be9eb6922aff497573297669a5a3d6c9f1e02ea295c76355931b
call_targets:
0x6ba6f2207e343923ba692e5cae646fb0f566db8d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcdf1bbe65629be9eb6922aff497573297669a5a3d6c9f1e02ea295c76355931b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ba6f2207e343923ba692e5cae646fb0f566db8d"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08573a0b",
"selector": "0x08573a0b",
"calldata_variants": [
"0x08573a0b",
"0x08573a0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x088f11f3",
"selector": "0x088f11f3",
"calldata_variants": [
"0x088f11f3",
"0x088f11f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51605d80",
"selector": "0x51605d80",
"calldata_variants": [
"0x51605d80",
"0x51605d800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52f29a25",
"selector": "0x52f29a25",
"calldata_variants": [
"0x52f29a25",
"0x52f29a250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1998,
"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: 0xcdf1bbe65629be9eb6922aff497573297669a5a3d6c9f1e02ea295c76355931b
call_targets:
0x6ba6f2207e343923ba692e5cae646fb0f566db8d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcdf1bbe65629be9eb6922aff497573297669a5a3d6c9f1e02ea295c76355931b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ba6f2207e343923ba692e5cae646fb0f566db8d"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08573a0b",
"selector": "0x08573a0b",
"calldata_variants": [
"0x08573a0b",
"0x08573a0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x088f11f3",
"selector": "0x088f11f3",
"calldata_variants": [
"0x088f11f3",
"0x088f11f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51605d80",
"selector": "0x51605d80",
"calldata_variants": [
"0x51605d80",
"0x51605d800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52f29a25",
"selector": "0x52f29a25",
"calldata_variants": [
"0x52f29a25",
"0x52f29a250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1998,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|