019b477e-c3ee-71c9-90bd-432dc1c1426e
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 |
|---|---|---|---|---|
| 25309 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25310 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102656 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102657 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102658 | detector.run | complete | 1 / 3 | 1 week ago |
| 102659 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x014b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x0fe0c597 00000019: EQ 0000001a: PUSH2 0x0190 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x10462b27 00000024: EQ 00000025: PUSH2 0x01b2 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x1f0234d8 0000002f: EQ 00000030: PUSH2 0x01e8 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x24939a6c 0000003a: EQ 0000003b: PUSH2 0x020a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x2687d340 00000045: EQ 00000046: PUSH2 0x022a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x30773603 00000050: EQ 00000051: PUSH2 0x023f 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x3b9ee7e4 0000005b: EQ 0000005c: PUSH2 0x025f 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x43838845 00000066: EQ 00000067: PUSH2 0x027f 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x47ccca02 00000071: EQ 00000072: PUSH2 0x0294 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x4c220f6e 0000007c: EQ 0000007d: PUSH2 0x02b6 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x65dafa0d 00000087: EQ 00000088: PUSH2 0x02c9 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x66025292 00000092: EQ 00000093: PUSH2 0x02de 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x715018a6 0000009d: EQ 0000009e: PUSH2 0x02f3 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x8a9c5196 000000a8: EQ 000000a9: PUSH2 0x0308 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x8da5cb5b 000000b3: EQ 000000b4: PUSH2 0x031b 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xa0ef91df 000000be: EQ 000000bf: PUSH2 0x0330 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xaf62e4fd 000000c9: EQ 000000ca: PUSH2 0x0345 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xb0f76767 000000d4: EQ 000000d5: PUSH2 0x035a 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xc1fbbf54 000000df: EQ 000000e0: PUSH2 0x037a 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xcd7c0326 000000ea: EQ 000000eb: PUSH2 0x038f 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xe939f2c6 000000f5: EQ 000000f6: PUSH2 0x03a4 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xea6ff9d5 00000100: EQ 00000101: PUSH2 0x03c4 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xec3ccec2 0000010b: EQ 0000010c: PUSH2 0x03d9 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xedf3f22d 00000116: EQ 00000117: PUSH2 0x03ee 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xee410ff3 00000121: EQ 00000122: PUSH2 0x040e 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xf0325549 0000012c: EQ 0000012d: PUSH2 0x0423 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xf2fde38b 00000137: EQ 00000138: PUSH2 0x0438 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xf7896da3 00000142: EQ 00000143: PUSH2 0x0458 00000146: JUMPI 00000147: PUSH2 0x018b 0000014a: JUMP 0000014b: JUMPDEST 0000014c: CALLDATASIZE 0000014d: PUSH2 0x018b 00000150: JUMPI 00000151: PUSH32 0xfc0190751e68e3a764092e8161dc292f90c0e10e38ddf16a6b42670667bcac47 00000172: CALLVALUE 00000173: CALLER 00000174: PUSH1 0x40 00000176: MLOAD 00000177: PUSH2 0x0181 0000017a: SWAP3 0000017b: SWAP2 0000017c: SWAP1 0000017d: PUSH2 0x111d 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: LOG1 0000018a: STOP 0000018b: JUMPDEST 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: CALLVALUE 00000192: DUP1 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: POP 0000019e: PUSH2 0x01b0 000001a1: PUSH2 0x01ab 000001a4: CALLDATASIZE 000001a5: PUSH1 0x04 000001a7: PUSH2 0x0e0c 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH2 0x046d 000001af: JUMP 000001b0: JUMPDEST 000001b1: STOP 000001b2: JUMPDEST 000001b3: CALLVALUE 000001b4: DUP1 000001b5: ISZERO 000001b6: PUSH2 0x01be 000001b9: JUMPI 000001ba: PUSH1 0x00 000001bc: DUP1 000001bd: REVERT 000001be: JUMPDEST 000001bf: POP 000001c0: PUSH2 0x01d2 000001c3: PUSH2 0x01cd 000001c6: CALLDATASIZE 000001c7: PUSH1 0x04 000001c9: PUSH2 0x0de5 000001cc: JUMP 000001cd: JUMPDEST 000001ce: PUSH2 0x04e3 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: PUSH2 0x01df 000001d9: SWAP2 000001da: SWAP1 000001db: PUSH2 0x0f01 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: DUP1 000001e4: SWAP2 000001e5: SUB 000001e6: SWAP1 000001e7: RETURN 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x01fd 000001f9: PUSH2 0x04f5 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: PUSH2 0x01df 00000204: SWAP2 00000205: SWAP1 00000206: PUSH2 0x0ef6 00000209: JUMP 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x01fd 0000021b: PUSH2 0x0225 0000021e: CALLDATASIZE 0000021f: PUSH1 0x04 00000221: PUSH2 0x0de5 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x0505 00000229: JUMP 0000022a: JUMPDEST 0000022b: CALLVALUE 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x0236 00000231: JUMPI 00000232: PUSH1 0x00 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: POP 00000238: PUSH2 0x01d2 0000023b: PUSH2 0x051a 0000023e: JUMP 0000023f: JUMPDEST 00000240: CALLVALUE 00000241: DUP1 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: POP 0000024d: PUSH2 0x01b0 00000250: PUSH2 0x025a 00000253: CALLDATASIZE 00000254: PUSH1 0x04 00000256: PUSH2 0x0e0c 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH2 0x0520 0000025e: JUMP 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: PUSH2 0x01b0 00000270: PUSH2 0x027a 00000273: CALLDATASIZE 00000274: PUSH1 0x04 00000276: PUSH2 0x0e0c 00000279: JUMP 0000027a: JUMPDEST 0000027b: PUSH2 0x058d 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x01d2 00000290: PUSH2 0x05fa 00000293: JUMP 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: POP 000002a2: PUSH2 0x02a9 000002a5: PUSH2 0x0600 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: PUSH2 0x01df 000002b0: SWAP2 000002b1: SWAP1 000002b2: PUSH2 0x0ee2 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH2 0x01b0 000002ba: PUSH2 0x02c4 000002bd: CALLDATASIZE 000002be: PUSH1 0x04 000002c0: PUSH2 0x0e24 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x060f 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x01d2 000002da: PUSH2 0x07fc 000002dd: JUMP 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH2 0x01b0 000002ef: PUSH2 0x0802 000002f2: JUMP 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x02ff 000002fa: JUMPI 000002fb: PUSH1 0x00 000002fd: DUP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: POP 00000301: PUSH2 0x01b0 00000304: PUSH2 0x0850 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH2 0x01b0 0000030c: PUSH2 0x0316 0000030f: CALLDATASIZE 00000310: PUSH1 0x04 00000312: PUSH2 0x0e24 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH2 0x089b 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH2 0x02a9 0000032c: PUSH2 0x09e0 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: PUSH2 0x01b0 00000341: PUSH2 0x09ef 00000344: JUMP 00000345: JUMPDEST 00000346: CALLVALUE 00000347: DUP1 00000348: ISZERO 00000349: PUSH2 0x0351 0000034c: JUMPI 0000034d: PUSH1 0x00 0000034f: DUP1 00000350: REVERT 00000351: JUMPDEST 00000352: POP 00000353: PUSH2 0x01fd 00000356: PUSH2 0x0aad 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x01b0 0000036b: PUSH2 0x0375 0000036e: CALLDATASIZE 0000036f: PUSH1 0x04 00000371: PUSH2 0x0e0c 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH2 0x0abd 00000379: JUMP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x01d2 0000038b: PUSH2 0x0b2a 0000038e: JUMP 0000038f: JUMPDEST 00000390: CALLVALUE 00000391: DUP1 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: POP 0000039d: PUSH2 0x02a9 000003a0: PUSH2 0x0b30 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH2 0x01b0 000003b5: PUSH2 0x03bf 000003b8: CALLDATASIZE 000003b9: PUSH1 0x04 000003bb: PUSH2 0x0e0c 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH2 0x0b3f 000003c3: JUMP 000003c4: JUMPDEST 000003c5: CALLVALUE 000003c6: DUP1 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: POP 000003d2: PUSH2 0x01d2 000003d5: PUSH2 0x0bac 000003d8: JUMP 000003d9: JUMPDEST 000003da: CALLVALUE 000003db: DUP1 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: PUSH2 0x01d2 000003ea: PUSH2 0x0bb2 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x01d2 000003ff: PUSH2 0x0409 00000402: CALLDATASIZE 00000403: PUSH1 0x04 00000405: PUSH2 0x0de5 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH2 0x0bb8 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: PUSH2 0x01d2 0000041f: PUSH2 0x0bca 00000422: JUMP 00000423: JUMPDEST 00000424: CALLVALUE 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: POP 00000431: PUSH2 0x01b0 00000434: PUSH2 0x0bd0 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: PUSH2 0x01b0 00000449: PUSH2 0x0453 0000044c: CALLDATASIZE 0000044d: PUSH1 0x04 0000044f: PUSH2 0x0de5 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH2 0x0c30 00000457: JUMP 00000458: JUMPDEST 00000459: CALLVALUE 0000045a: DUP1 0000045b: ISZERO 0000045c: PUSH2 0x0464 0000045f: JUMPI 00000460: PUSH1 0x00 00000462: DUP1 00000463: REVERT 00000464: JUMPDEST 00000465: POP 00000466: PUSH2 0x01d2 00000469: PUSH2 0x0c9e 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH2 0x0475 00000471: PUSH2 0x0ca4 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x01 00000478: PUSH1 0x01 0000047a: PUSH1 0xa0 0000047c: SHL 0000047d: SUB 0000047e: AND 0000047f: PUSH2 0x0486 00000482: PUSH2 0x09e0 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: EQ 00000491: PUSH2 0x04b5 00000494: JUMPI 00000495: PUSH1 0x40 00000497: MLOAD 00000498: PUSH3 0x461bcd 0000049c: PUSH1 0xe5 0000049e: SHL 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x04 000004a3: ADD 000004a4: PUSH2 0x04ac 000004a7: SWAP1 000004a8: PUSH2 0x1098 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x40 000004af: MLOAD 000004b0: DUP1 000004b1: SWAP2 000004b2: SUB 000004b3: SWAP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: PUSH1 0x02 000004b8: SLOAD 000004b9: PUSH1 0x01 000004bb: PUSH1 0xa8 000004bd: SHL 000004be: SWAP1 000004bf: DIV 000004c0: PUSH1 0xff 000004c2: AND 000004c3: PUSH2 0x04de 000004c6: JUMPI 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: PUSH3 0x461bcd 000004ce: PUSH1 0xe5 000004d0: SHL 000004d1: DUP2 000004d2: MSTORE 000004d3: PUSH1 0x04 000004d5: ADD 000004d6: PUSH2 0x04ac 000004d9: SWAP1 000004da: PUSH2 0x1012 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x03 000004e1: SSTORE 000004e2: JUMP 000004e3: JUMPDEST 000004e4: PUSH1 0x0a 000004e6: PUSH1 0x20 000004e8: MSTORE 000004e9: PUSH1 0x00 000004eb: SWAP1 000004ec: DUP2 000004ed: MSTORE 000004ee: PUSH1 0x40 000004f0: SWAP1 000004f1: KECCAK256 000004f2: SLOAD 000004f3: DUP2 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH1 0x02 000004f8: SLOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: SHL 000004fe: SWAP1 000004ff: DIV 00000500: PUSH1 0xff 00000502: AND 00000503: DUP2 00000504: JUMP 00000505: JUMPDEST 00000506: PUSH1 0x0b 00000508: PUSH1 0x20 0000050a: MSTORE 0000050b: PUSH1 0x00 0000050d: SWAP1 0000050e: DUP2 0000050f: MSTORE 00000510: PUSH1 0x40 00000512: SWAP1 00000513: KECCAK256 00000514: SLOAD 00000515: PUSH1 0xff 00000517: AND 00000518: DUP2 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x07 0000051d: SLOAD 0000051e: DUP2 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH2 0x0528 00000524: PUSH2 0x0ca4 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH1 0x01 0000052b: PUSH1 0x01 0000052d: PUSH1 0xa0 0000052f: SHL 00000530: SUB 00000531: AND 00000532: PUSH2 0x0539 00000535: PUSH2 0x09e0 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x01 0000053c: PUSH1 0x01 0000053e: PUSH1 0xa0 00000540: SHL 00000541: SUB 00000542: AND 00000543: EQ 00000544: PUSH2 0x055f 00000547: JUMPI 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: PUSH3 0x461bcd 0000054f: PUSH1 0xe5 00000551: SHL 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x04 00000556: ADD 00000557: PUSH2 0x04ac 0000055a: SWAP1 0000055b: PUSH2 0x1098 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x02 00000562: SLOAD 00000563: PUSH1 0x01 00000565: PUSH1 0xa8 00000567: SHL 00000568: SWAP1 00000569: DIV 0000056a: PUSH1 0xff 0000056c: AND 0000056d: PUSH2 0x0588 00000570: JUMPI 00000571: PUSH1 0x40 00000573: MLOAD 00000574: PUSH3 0x461bcd 00000578: PUSH1 0xe5 0000057a: SHL 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH1 0x04 0000057f: ADD 00000580: PUSH2 0x04ac 00000583: SWAP1 00000584: PUSH2 0x1012 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH1 0x0c 0000058b: SSTORE 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH2 0x0595 00000591: PUSH2 0x0ca4 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x01 00000598: PUSH1 0x01 0000059a: PUSH1 0xa0 0000059c: SHL 0000059d: SUB 0000059e: AND 0000059f: PUSH2 0x05a6 000005a2: PUSH2 0x09e0 000005a5: JUMP 000005a6: JUMPDEST 000005a7: PUSH1 0x01 000005a9: PUSH1 0x01 000005ab: PUSH1 0xa0 000005ad: SHL 000005ae: SUB 000005af: AND 000005b0: EQ 000005b1: PUSH2 0x05cc 000005b4: JUMPI 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: PUSH3 0x461bcd 000005bc: PUSH1 0xe5 000005be: SHL 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x04 000005c3: ADD 000005c4: PUSH2 0x04ac 000005c7: SWAP1 000005c8: PUSH2 0x1098 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x02 000005cf: SLOAD 000005d0: PUSH1 0x01 000005d2: PUSH1 0xa8 000005d4: SHL 000005d5: SWAP1 000005d6: DIV 000005d7: PUSH1 0xff 000005d9: AND 000005da: PUSH2 0x05f5 000005dd: JUMPI 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: PUSH3 0x461bcd 000005e5: PUSH1 0xe5 000005e7: SHL 000005e8: DUP2 000005e9: MSTORE 000005ea: PUSH1 0x04 000005ec: ADD 000005ed: PUSH2 0x04ac 000005f0: SWAP1 000005f1: PUSH2 0x1012 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x05 000005f8: SSTORE 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x0c 000005fd: SLOAD 000005fe: DUP2 000005ff: JUMP 00000600: JUMPDEST 00000601: PUSH1 0x01 00000603: SLOAD 00000604: PUSH1 0x01 00000606: PUSH1 0x01 00000608: PUSH1 0xa0 0000060a: SHL 0000060b: SUB 0000060c: AND 0000060d: DUP2 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x02 00000612: SLOAD 00000613: PUSH1 0x01 00000615: PUSH1 0xa0 00000617: SHL 00000618: SWAP1 00000619: DIV 0000061a: PUSH1 0xff 0000061c: AND 0000061d: PUSH2 0x0638 00000620: JUMPI 00000621: PUSH1 0x40 00000623: MLOAD 00000624: PUSH3 0x461bcd 00000628: PUSH1 0xe5 0000062a: SHL 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x04 0000062f: ADD 00000630: PUSH2 0x04ac 00000633: SWAP1 00000634: PUSH2 0x10f4 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x00 0000063b: CALLER 0000063c: PUSH1 0x40 0000063e: MLOAD 0000063f: PUSH1 0x20 00000641: ADD 00000642: PUSH2 0x064b 00000645: SWAP2 00000646: SWAP1 00000647: PUSH2 0x0e9c 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: PUSH1 0x20 00000651: DUP2 00000652: DUP4 00000653: SUB 00000654: SUB 00000655: DUP2 00000656: MSTORE 00000657: SWAP1 00000658: PUSH1 0x40 0000065a: MSTORE 0000065b: DUP1 0000065c: MLOAD 0000065d: SWAP1 0000065e: PUSH1 0x20 00000660: ADD 00000661: KECCAK256 00000662: SWAP1 00000663: POP 00000664: PUSH2 0x06a4 00000667: DUP4 00000668: DUP4 00000669: DUP1 0000066a: DUP1 0000066b: PUSH1 0x20 0000066d: MUL 0000066e: PUSH1 0x20 00000670: ADD 00000671: PUSH1 0x40 00000673: MLOAD 00000674: SWAP1 00000675: DUP2 00000676: ADD 00000677: PUSH1 0x40 00000679: MSTORE 0000067a: DUP1 0000067b: SWAP4 0000067c: SWAP3 0000067d: SWAP2 0000067e: SWAP1 0000067f: DUP2 00000680: DUP2 00000681: MSTORE 00000682: PUSH1 0x20 00000684: ADD 00000685: DUP4 00000686: DUP4 00000687: PUSH1 0x20 00000689: MUL 0000068a: DUP1 0000068b: DUP3 0000068c: DUP5 0000068d: CALLDATACOPY 0000068e: PUSH1 0x00 00000690: SWAP3 00000691: ADD 00000692: SWAP2 00000693: SWAP1 00000694: SWAP2 00000695: MSTORE 00000696: POP 00000697: POP 00000698: PUSH1 0x0c 0000069a: SLOAD 0000069b: SWAP2 0000069c: POP 0000069d: DUP5 0000069e: SWAP1 0000069f: POP 000006a0: PUSH2 0x0ca8 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH2 0x06c0 000006a8: JUMPI 000006a9: PUSH1 0x40 000006ab: MLOAD 000006ac: PUSH3 0x461bcd 000006b0: PUSH1 0xe5 000006b2: SHL 000006b3: DUP2 000006b4: MSTORE 000006b5: PUSH1 0x04 000006b7: ADD 000006b8: PUSH2 0x04ac 000006bb: SWAP1 000006bc: PUSH2 0x10cd 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x06 000006c3: SLOAD 000006c4: CALLER 000006c5: PUSH1 0x00 000006c7: SWAP1 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x09 000006cc: PUSH1 0x20 000006ce: MSTORE 000006cf: PUSH1 0x40 000006d1: SWAP1 000006d2: KECCAK256 000006d3: SLOAD 000006d4: PUSH2 0x06dd 000006d7: SWAP1 000006d8: DUP7 000006d9: PUSH2 0x0cbe 000006dc: JUMP 000006dd: JUMPDEST 000006de: GT 000006df: ISZERO 000006e0: PUSH2 0x06fb 000006e3: JUMPI 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: PUSH3 0x461bcd 000006eb: PUSH1 0xe5 000006ed: SHL 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x04 000006f2: ADD 000006f3: PUSH2 0x04ac 000006f6: SWAP1 000006f7: PUSH2 0x1065 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x03 000006fe: SLOAD 000006ff: PUSH1 0x07 00000701: SLOAD 00000702: PUSH2 0x070b 00000705: SWAP1 00000706: DUP7 00000707: PUSH2 0x0cbe 0000070a: JUMP 0000070b: JUMPDEST 0000070c: GT 0000070d: ISZERO 0000070e: PUSH2 0x0729 00000711: JUMPI 00000712: PUSH1 0x40 00000714: MLOAD 00000715: PUSH3 0x461bcd 00000719: PUSH1 0xe5 0000071b: SHL 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x04 00000720: ADD 00000721: PUSH2 0x04ac 00000724: SWAP1 00000725: PUSH2 0x0f80 00000728: JUMP 00000729: JUMPDEST 0000072a: PUSH1 0x05 0000072c: SLOAD 0000072d: CALLVALUE 0000072e: SWAP1 0000072f: PUSH2 0x0738 00000732: SWAP1 00000733: DUP7 00000734: PUSH2 0x0cd1 00000737: JUMP 00000738: JUMPDEST 00000739: EQ 0000073a: PUSH2 0x0755 0000073d: JUMPI 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: PUSH3 0x461bcd 00000745: PUSH1 0xe5 00000747: SHL 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x04 0000074c: ADD 0000074d: PUSH2 0x04ac 00000750: SWAP1 00000751: PUSH2 0x0f0a 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH1 0x07 00000758: SLOAD 00000759: PUSH2 0x0762 0000075c: SWAP1 0000075d: DUP6 0000075e: PUSH2 0x0cbe 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH1 0x07 00000765: SSTORE 00000766: CALLER 00000767: PUSH1 0x00 00000769: SWAP1 0000076a: DUP2 0000076b: MSTORE 0000076c: PUSH1 0x09 0000076e: PUSH1 0x20 00000770: MSTORE 00000771: PUSH1 0x40 00000773: SWAP1 00000774: KECCAK256 00000775: SLOAD 00000776: PUSH2 0x077f 00000779: SWAP1 0000077a: DUP6 0000077b: PUSH2 0x0cbe 0000077e: JUMP 0000077f: JUMPDEST 00000780: CALLER 00000781: PUSH1 0x00 00000783: DUP2 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x09 00000788: PUSH1 0x20 0000078a: MSTORE 0000078b: PUSH1 0x40 0000078d: SWAP1 0000078e: DUP2 0000078f: SWAP1 00000790: KECCAK256 00000791: SWAP3 00000792: SWAP1 00000793: SWAP3 00000794: SSTORE 00000795: PUSH1 0x01 00000797: SLOAD 00000798: SWAP2 00000799: MLOAD 0000079a: PUSH4 0x16959377 0000079f: PUSH1 0xe1 000007a1: SHL 000007a2: DUP2 000007a3: MSTORE 000007a4: PUSH1 0x01 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: SHL 000007ab: SUB 000007ac: SWAP1 000007ad: SWAP3 000007ae: AND 000007af: SWAP2 000007b0: PUSH4 0x2d2b26ee 000007b5: SWAP2 000007b6: PUSH2 0x07c4 000007b9: SWAP2 000007ba: DUP9 000007bb: SWAP2 000007bc: SWAP1 000007bd: PUSH1 0x04 000007bf: ADD 000007c0: PUSH2 0x111d 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x00 000007c7: PUSH1 0x40 000007c9: MLOAD 000007ca: DUP1 000007cb: DUP4 000007cc: SUB 000007cd: DUP2 000007ce: PUSH1 0x00 000007d0: DUP8 000007d1: DUP1 000007d2: EXTCODESIZE 000007d3: ISZERO 000007d4: DUP1 000007d5: ISZERO 000007d6: PUSH2 0x07de 000007d9: JUMPI 000007da: PUSH1 0x00 000007dc: DUP1 000007dd: REVERT 000007de: JUMPDEST 000007df: POP 000007e0: GAS 000007e1: CALL 000007e2: ISZERO 000007e3: DUP1 000007e4: ISZERO 000007e5: PUSH2 0x07f2 000007e8: JUMPI 000007e9: RETURNDATASIZE 000007ea: PUSH1 0x00 000007ec: DUP1 000007ed: RETURNDATACOPY 000007ee: RETURNDATASIZE 000007ef: PUSH1 0x00 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: POP 000007f8: POP 000007f9: POP 000007fa: POP 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x06 000007ff: SLOAD 00000800: DUP2 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH2 0x080a 00000806: PUSH2 0x0ca4 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x01 0000080d: PUSH1 0x01 0000080f: PUSH1 0xa0 00000811: SHL 00000812: SUB 00000813: AND 00000814: PUSH2 0x081b 00000817: PUSH2 0x09e0 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH1 0x01 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: SHL 00000823: SUB 00000824: AND 00000825: EQ 00000826: PUSH2 0x0841 00000829: JUMPI 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: PUSH3 0x461bcd 00000831: PUSH1 0xe5 00000833: SHL 00000834: DUP2 00000835: MSTORE 00000836: PUSH1 0x04 00000838: ADD 00000839: PUSH2 0x04ac 0000083c: SWAP1 0000083d: PUSH2 0x1098 00000840: JUMP 00000841: JUMPDEST 00000842: PUSH1 0x02 00000844: DUP1 00000845: SLOAD 00000846: PUSH1 0xff 00000848: PUSH1 0xa8 0000084a: SHL 0000084b: NOT 0000084c: AND 0000084d: SWAP1 0000084e: SSTORE 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH2 0x0858 00000854: PUSH2 0x0ca4 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x01 0000085b: PUSH1 0x01 0000085d: PUSH1 0xa0 0000085f: SHL 00000860: SUB 00000861: AND 00000862: PUSH2 0x0869 00000865: PUSH2 0x09e0 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x01 0000086c: PUSH1 0x01 0000086e: PUSH1 0xa0 00000870: SHL 00000871: SUB 00000872: AND 00000873: EQ 00000874: PUSH2 0x088f 00000877: JUMPI 00000878: PUSH1 0x40 0000087a: MLOAD 0000087b: PUSH3 0x461bcd 0000087f: PUSH1 0xe5 00000881: SHL 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x04 00000886: ADD 00000887: PUSH2 0x04ac 0000088a: SWAP1 0000088b: PUSH2 0x1098 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH2 0x0899 00000893: PUSH1 0x00 00000895: PUSH2 0x0cdd 00000898: JUMP 00000899: JUMPDEST 0000089a: JUMP 0000089b: JUMPDEST 0000089c: CALLER 0000089d: PUSH1 0x00 0000089f: SWAP1 000008a0: DUP2 000008a1: MSTORE 000008a2: PUSH1 0x0b 000008a4: PUSH1 0x20 000008a6: MSTORE 000008a7: PUSH1 0x40 000008a9: SWAP1 000008aa: KECCAK256 000008ab: SLOAD 000008ac: PUSH1 0xff 000008ae: AND 000008af: ISZERO 000008b0: PUSH2 0x08cb 000008b3: JUMPI 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: PUSH3 0x461bcd 000008bb: PUSH1 0xe5 000008bd: SHL 000008be: DUP2 000008bf: MSTORE 000008c0: PUSH1 0x04 000008c2: ADD 000008c3: PUSH2 0x04ac 000008c6: SWAP1 000008c7: PUSH2 0x0fb3 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH1 0x00 000008ce: CALLER 000008cf: DUP5 000008d0: PUSH1 0x40 000008d2: MLOAD 000008d3: PUSH1 0x20 000008d5: ADD 000008d6: PUSH2 0x08e0 000008d9: SWAP3 000008da: SWAP2 000008db: SWAP1 000008dc: PUSH2 0x0eb4 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH1 0x40 000008e3: MLOAD 000008e4: PUSH1 0x20 000008e6: DUP2 000008e7: DUP4 000008e8: SUB 000008e9: SUB 000008ea: DUP2 000008eb: MSTORE 000008ec: SWAP1 000008ed: PUSH1 0x40 000008ef: MSTORE 000008f0: DUP1 000008f1: MLOAD 000008f2: SWAP1 000008f3: PUSH1 0x20 000008f5: ADD 000008f6: KECCAK256 000008f7: SWAP1 000008f8: POP 000008f9: PUSH2 0x0939 000008fc: DUP4 000008fd: DUP4 000008fe: DUP1 000008ff: DUP1 00000900: PUSH1 0x20 00000902: MUL 00000903: PUSH1 0x20 00000905: ADD 00000906: PUSH1 0x40 00000908: MLOAD 00000909: SWAP1 0000090a: DUP2 0000090b: ADD 0000090c: PUSH1 0x40 0000090e: MSTORE 0000090f: DUP1 00000910: SWAP4 00000911: SWAP3 00000912: SWAP2 00000913: SWAP1 00000914: DUP2 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x20 00000919: ADD 0000091a: DUP4 0000091b: DUP4 0000091c: PUSH1 0x20 0000091e: MUL 0000091f: DUP1 00000920: DUP3 00000921: DUP5 00000922: CALLDATACOPY 00000923: PUSH1 0x00 00000925: SWAP3 00000926: ADD 00000927: SWAP2 00000928: SWAP1 00000929: SWAP2 0000092a: MSTORE 0000092b: POP 0000092c: POP 0000092d: PUSH1 0x0d 0000092f: SLOAD 00000930: SWAP2 00000931: POP 00000932: DUP5 00000933: SWAP1 00000934: POP 00000935: PUSH2 0x0ca8 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH2 0x0955 0000093d: JUMPI 0000093e: PUSH1 0x40 00000940: MLOAD 00000941: PUSH3 0x461bcd 00000945: PUSH1 0xe5 00000947: SHL 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x04 0000094c: ADD 0000094d: PUSH2 0x04ac 00000950: SWAP1 00000951: PUSH2 0x10cd 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH1 0x04 00000958: SLOAD 00000959: PUSH1 0x08 0000095b: SLOAD 0000095c: PUSH2 0x0965 0000095f: SWAP1 00000960: DUP7 00000961: PUSH2 0x0cbe 00000964: JUMP 00000965: JUMPDEST 00000966: GT 00000967: ISZERO 00000968: PUSH2 0x0983 0000096b: JUMPI 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: PUSH3 0x461bcd 00000973: PUSH1 0xe5 00000975: SHL 00000976: DUP2 00000977: MSTORE 00000978: PUSH1 0x04 0000097a: ADD 0000097b: PUSH2 0x04ac 0000097e: SWAP1 0000097f: PUSH2 0x103a 00000982: JUMP 00000983: JUMPDEST 00000984: PUSH1 0x08 00000986: SLOAD 00000987: PUSH2 0x0990 0000098a: SWAP1 0000098b: DUP6 0000098c: PUSH2 0x0cbe 0000098f: JUMP 00000990: JUMPDEST 00000991: PUSH1 0x08 00000993: SSTORE 00000994: CALLER 00000995: PUSH1 0x00 00000997: DUP2 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x0b 0000099c: PUSH1 0x20 0000099e: MSTORE 0000099f: PUSH1 0x40 000009a1: SWAP1 000009a2: DUP2 000009a3: SWAP1 000009a4: KECCAK256 000009a5: DUP1 000009a6: SLOAD 000009a7: PUSH1 0xff 000009a9: NOT 000009aa: AND 000009ab: PUSH1 0x01 000009ad: SWAP1 000009ae: DUP2 000009af: OR 000009b0: SWAP1 000009b1: SWAP2 000009b2: SSTORE 000009b3: SLOAD 000009b4: SWAP1 000009b5: MLOAD 000009b6: PUSH4 0x16959377 000009bb: PUSH1 0xe1 000009bd: SHL 000009be: DUP2 000009bf: MSTORE 000009c0: PUSH1 0x01 000009c2: PUSH1 0x01 000009c4: PUSH1 0xa0 000009c6: SHL 000009c7: SUB 000009c8: SWAP2 000009c9: SWAP1 000009ca: SWAP2 000009cb: AND 000009cc: SWAP2 000009cd: PUSH4 0x2d2b26ee 000009d2: SWAP2 000009d3: PUSH2 0x07c4 000009d6: SWAP2 000009d7: DUP9 000009d8: SWAP2 000009d9: PUSH1 0x04 000009db: ADD 000009dc: PUSH2 0x111d 000009df: JUMP 000009e0: JUMPDEST 000009e1: PUSH1 0x00 000009e3: SLOAD 000009e4: PUSH1 0x01 000009e6: PUSH1 0x01 000009e8: PUSH1 0xa0 000009ea: SHL 000009eb: SUB 000009ec: AND 000009ed: SWAP1 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH2 0x09f7 000009f3: PUSH2 0x0ca4 000009f6: JUMP 000009f7: JUMPDEST 000009f8: PUSH1 0x01 000009fa: PUSH1 0x01 000009fc: PUSH1 0xa0 000009fe: SHL 000009ff: SUB 00000a00: AND 00000a01: PUSH2 0x0a08 00000a04: PUSH2 0x09e0 00000a07: JUMP 00000a08: JUMPDEST 00000a09: PUSH1 0x01 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0xa0 00000a0f: SHL 00000a10: SUB 00000a11: AND 00000a12: EQ 00000a13: PUSH2 0x0a2e 00000a16: JUMPI 00000a17: PUSH1 0x40 00000a19: MLOAD 00000a1a: PUSH3 0x461bcd 00000a1e: PUSH1 0xe5 00000a20: SHL 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x04 00000a25: ADD 00000a26: PUSH2 0x04ac 00000a29: SWAP1 00000a2a: PUSH2 0x1098 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x00 00000a31: CALLER 00000a32: PUSH1 0x01 00000a34: PUSH1 0x01 00000a36: PUSH1 0xa0 00000a38: SHL 00000a39: SUB 00000a3a: AND 00000a3b: SELFBALANCE 00000a3c: PUSH1 0x40 00000a3e: MLOAD 00000a3f: PUSH2 0x0a47 00000a42: SWAP1 00000a43: PUSH2 0x0edf 00000a46: JUMP 00000a47: JUMPDEST 00000a48: PUSH1 0x00 00000a4a: PUSH1 0x40 00000a4c: MLOAD 00000a4d: DUP1 00000a4e: DUP4 00000a4f: SUB 00000a50: DUP2 00000a51: DUP6 00000a52: DUP8 00000a53: GAS 00000a54: CALL 00000a55: SWAP3 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: RETURNDATASIZE 00000a5a: DUP1 00000a5b: PUSH1 0x00 00000a5d: DUP2 00000a5e: EQ 00000a5f: PUSH2 0x0a84 00000a62: JUMPI 00000a63: PUSH1 0x40 00000a65: MLOAD 00000a66: SWAP2 00000a67: POP 00000a68: PUSH1 0x1f 00000a6a: NOT 00000a6b: PUSH1 0x3f 00000a6d: RETURNDATASIZE 00000a6e: ADD 00000a6f: AND 00000a70: DUP3 00000a71: ADD 00000a72: PUSH1 0x40 00000a74: MSTORE 00000a75: RETURNDATASIZE 00000a76: DUP3 00000a77: MSTORE 00000a78: RETURNDATASIZE 00000a79: PUSH1 0x00 00000a7b: PUSH1 0x20 00000a7d: DUP5 00000a7e: ADD 00000a7f: RETURNDATACOPY 00000a80: PUSH2 0x0a89 00000a83: JUMP 00000a84: JUMPDEST 00000a85: PUSH1 0x60 00000a87: SWAP2 00000a88: POP 00000a89: JUMPDEST 00000a8a: POP 00000a8b: POP 00000a8c: SWAP1 00000a8d: POP 00000a8e: DUP1 00000a8f: PUSH2 0x0aaa 00000a92: JUMPI 00000a93: PUSH1 0x40 00000a95: MLOAD 00000a96: PUSH3 0x461bcd 00000a9a: PUSH1 0xe5 00000a9c: SHL 00000a9d: DUP2 00000a9e: MSTORE 00000a9f: PUSH1 0x04 00000aa1: ADD 00000aa2: PUSH2 0x04ac 00000aa5: SWAP1 00000aa6: PUSH2 0x0fe5 00000aa9: JUMP 00000aaa: JUMPDEST 00000aab: POP 00000aac: JUMP 00000aad: JUMPDEST 00000aae: PUSH1 0x02 00000ab0: SLOAD 00000ab1: PUSH1 0x01 00000ab3: PUSH1 0xa8 00000ab5: SHL 00000ab6: SWAP1 00000ab7: DIV 00000ab8: PUSH1 0xff 00000aba: AND 00000abb: DUP2 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH2 0x0ac5 00000ac1: PUSH2 0x0ca4 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH1 0x01 00000ac8: PUSH1 0x01 00000aca: PUSH1 0xa0 00000acc: SHL 00000acd: SUB 00000ace: AND 00000acf: PUSH2 0x0ad6 00000ad2: PUSH2 0x09e0 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x01 00000adb: PUSH1 0xa0 00000add: SHL 00000ade: SUB 00000adf: AND 00000ae0: EQ 00000ae1: PUSH2 0x0afc 00000ae4: JUMPI 00000ae5: PUSH1 0x40 00000ae7: MLOAD 00000ae8: PUSH3 0x461bcd 00000aec: PUSH1 0xe5 00000aee: SHL 00000aef: DUP2 00000af0: MSTORE 00000af1: PUSH1 0x04 00000af3: ADD 00000af4: PUSH2 0x04ac 00000af7: SWAP1 00000af8: PUSH2 0x1098 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH1 0x02 00000aff: SLOAD 00000b00: PUSH1 0x01 00000b02: PUSH1 0xa8 00000b04: SHL 00000b05: SWAP1 00000b06: DIV 00000b07: PUSH1 0xff 00000b09: AND 00000b0a: PUSH2 0x0b25 00000b0d: JUMPI 00000b0e: PUSH1 0x40 00000b10: MLOAD 00000b11: PUSH3 0x461bcd 00000b15: PUSH1 0xe5 00000b17: SHL 00000b18: DUP2 00000b19: MSTORE 00000b1a: PUSH1 0x04 00000b1c: ADD 00000b1d: PUSH2 0x04ac 00000b20: SWAP1 00000b21: PUSH2 0x1012 00000b24: JUMP 00000b25: JUMPDEST 00000b26: PUSH1 0x0d 00000b28: SSTORE 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: PUSH1 0x03 00000b2d: SLOAD 00000b2e: DUP2 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x02 00000b33: SLOAD 00000b34: PUSH1 0x01 00000b36: PUSH1 0x01 00000b38: PUSH1 0xa0 00000b3a: SHL 00000b3b: SUB 00000b3c: AND 00000b3d: DUP2 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH2 0x0b47 00000b43: PUSH2 0x0ca4 00000b46: JUMP 00000b47: JUMPDEST 00000b48: PUSH1 0x01 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0xa0 00000b4e: SHL 00000b4f: SUB 00000b50: AND 00000b51: PUSH2 0x0b58 00000b54: PUSH2 0x09e0 00000b57: JUMP 00000b58: JUMPDEST 00000b59: PUSH1 0x01 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0xa0 00000b5f: SHL 00000b60: SUB 00000b61: AND 00000b62: EQ 00000b63: PUSH2 0x0b7e 00000b66: JUMPI 00000b67: PUSH1 0x40 00000b69: MLOAD 00000b6a: PUSH3 0x461bcd 00000b6e: PUSH1 0xe5 00000b70: SHL 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x04 00000b75: ADD 00000b76: PUSH2 0x04ac 00000b79: SWAP1 00000b7a: PUSH2 0x1098 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: PUSH1 0x02 00000b81: SLOAD 00000b82: PUSH1 0x01 00000b84: PUSH1 0xa8 00000b86: SHL 00000b87: SWAP1 00000b88: DIV 00000b89: PUSH1 0xff 00000b8b: AND 00000b8c: PUSH2 0x0ba7 00000b8f: JUMPI 00000b90: PUSH1 0x40 00000b92: MLOAD 00000b93: PUSH3 0x461bcd 00000b97: PUSH1 0xe5 00000b99: SHL 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x04 00000b9e: ADD 00000b9f: PUSH2 0x04ac 00000ba2: SWAP1 00000ba3: PUSH2 0x1012 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x06 00000baa: SSTORE 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x04 00000baf: SLOAD 00000bb0: DUP2 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH1 0x0d 00000bb5: SLOAD 00000bb6: DUP2 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x09 00000bbb: PUSH1 0x20 00000bbd: MSTORE 00000bbe: PUSH1 0x00 00000bc0: SWAP1 00000bc1: DUP2 00000bc2: MSTORE 00000bc3: PUSH1 0x40 00000bc5: SWAP1 00000bc6: KECCAK256 00000bc7: SLOAD 00000bc8: DUP2 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x05 00000bcd: SLOAD 00000bce: DUP2 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: PUSH2 0x0bd8 00000bd4: PUSH2 0x0ca4 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0xa0 00000bdf: SHL 00000be0: SUB 00000be1: AND 00000be2: PUSH2 0x0be9 00000be5: PUSH2 0x09e0 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH1 0x01 00000bec: PUSH1 0x01 00000bee: PUSH1 0xa0 00000bf0: SHL 00000bf1: SUB 00000bf2: AND 00000bf3: EQ 00000bf4: PUSH2 0x0c0f 00000bf7: JUMPI 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: PUSH3 0x461bcd 00000bff: PUSH1 0xe5 00000c01: SHL 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x04 00000c06: ADD 00000c07: PUSH2 0x04ac 00000c0a: SWAP1 00000c0b: PUSH2 0x1098 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x02 00000c12: DUP1 00000c13: SLOAD 00000c14: PUSH1 0xff 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: NOT 00000c1a: DUP2 00000c1b: AND 00000c1c: PUSH1 0x01 00000c1e: PUSH1 0xa0 00000c20: SHL 00000c21: SWAP2 00000c22: DUP3 00000c23: SWAP1 00000c24: DIV 00000c25: PUSH1 0xff 00000c27: AND 00000c28: ISZERO 00000c29: SWAP1 00000c2a: SWAP2 00000c2b: MUL 00000c2c: OR 00000c2d: SWAP1 00000c2e: SSTORE 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH2 0x0c38 00000c34: PUSH2 0x0ca4 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x01 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0xa0 00000c3f: SHL 00000c40: SUB 00000c41: AND 00000c42: PUSH2 0x0c49 00000c45: PUSH2 0x09e0 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0x01 00000c4e: PUSH1 0xa0 00000c50: SHL 00000c51: SUB 00000c52: AND 00000c53: EQ 00000c54: PUSH2 0x0c6f 00000c57: JUMPI 00000c58: PUSH1 0x40 00000c5a: MLOAD 00000c5b: PUSH3 0x461bcd 00000c5f: PUSH1 0xe5 00000c61: SHL 00000c62: DUP2 00000c63: MSTORE 00000c64: PUSH1 0x04 00000c66: ADD 00000c67: PUSH2 0x04ac 00000c6a: SWAP1 00000c6b: PUSH2 0x1098 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: PUSH1 0x01 00000c72: PUSH1 0x01 00000c74: PUSH1 0xa0 00000c76: SHL 00000c77: SUB 00000c78: DUP2 00000c79: AND 00000c7a: PUSH2 0x0c95 00000c7d: JUMPI 00000c7e: PUSH1 0x40 00000c80: MLOAD 00000c81: PUSH3 0x461bcd 00000c85: PUSH1 0xe5 00000c87: SHL 00000c88: DUP2 00000c89: MSTORE 00000c8a: PUSH1 0x04 00000c8c: ADD 00000c8d: PUSH2 0x04ac 00000c90: SWAP1 00000c91: PUSH2 0x0f3a 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH2 0x0aaa 00000c99: DUP2 00000c9a: PUSH2 0x0cdd 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x08 00000ca1: SLOAD 00000ca2: DUP2 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: CALLER 00000ca6: SWAP1 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH1 0x00 00000cab: DUP3 00000cac: PUSH2 0x0cb5 00000caf: DUP6 00000cb0: DUP5 00000cb1: PUSH2 0x0d2d 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: EQ 00000cb7: SWAP5 00000cb8: SWAP4 00000cb9: POP 00000cba: POP 00000cbb: POP 00000cbc: POP 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x00 00000cc1: PUSH2 0x0cca 00000cc4: DUP3 00000cc5: DUP5 00000cc6: PUSH2 0x1134 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: SWAP4 00000ccc: SWAP3 00000ccd: POP 00000cce: POP 00000ccf: POP 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: PUSH1 0x00 00000cd4: PUSH2 0x0cca 00000cd7: DUP3 00000cd8: DUP5 00000cd9: PUSH2 0x114c 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH1 0x00 00000ce0: DUP1 00000ce1: SLOAD 00000ce2: PUSH1 0x01 00000ce4: PUSH1 0x01 00000ce6: PUSH1 0xa0 00000ce8: SHL 00000ce9: SUB 00000cea: DUP4 00000ceb: DUP2 00000cec: AND 00000ced: PUSH1 0x01 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: SHL 00000cf4: SUB 00000cf5: NOT 00000cf6: DUP4 00000cf7: AND 00000cf8: DUP2 00000cf9: OR 00000cfa: DUP5 00000cfb: SSTORE 00000cfc: PUSH1 0x40 00000cfe: MLOAD 00000cff: SWAP2 00000d00: SWAP1 00000d01: SWAP3 00000d02: AND 00000d03: SWAP3 00000d04: DUP4 00000d05: SWAP2 00000d06: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d27: SWAP2 00000d28: SWAP1 00000d29: LOG3 00000d2a: POP 00000d2b: POP 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: PUSH1 0x00 00000d30: DUP2 00000d31: DUP2 00000d32: JUMPDEST 00000d33: DUP5 00000d34: MLOAD 00000d35: DUP2 00000d36: LT 00000d37: ISZERO 00000d38: PUSH2 0x0ddd 00000d3b: JUMPI 00000d3c: PUSH1 0x00 00000d3e: DUP6 00000d3f: DUP3 00000d40: DUP2 00000d41: MLOAD 00000d42: DUP2 00000d43: LT 00000d44: PUSH2 0x0d5d 00000d47: JUMPI 00000d48: PUSH4 0x4e487b71 00000d4d: PUSH1 0xe0 00000d4f: SHL 00000d50: PUSH1 0x00 00000d52: MSTORE 00000d53: PUSH1 0x32 00000d55: PUSH1 0x04 00000d57: MSTORE 00000d58: PUSH1 0x24 00000d5a: PUSH1 0x00 00000d5c: REVERT 00000d5d: JUMPDEST 00000d5e: PUSH1 0x20 00000d60: MUL 00000d61: PUSH1 0x20 00000d63: ADD 00000d64: ADD 00000d65: MLOAD 00000d66: SWAP1 00000d67: POP 00000d68: DUP1 00000d69: DUP4 00000d6a: GT 00000d6b: PUSH2 0x0d9e 00000d6e: JUMPI 00000d6f: DUP3 00000d70: DUP2 00000d71: PUSH1 0x40 00000d73: MLOAD 00000d74: PUSH1 0x20 00000d76: ADD 00000d77: PUSH2 0x0d81 00000d7a: SWAP3 00000d7b: SWAP2 00000d7c: SWAP1 00000d7d: PUSH2 0x0ed1 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: PUSH1 0x20 00000d87: DUP2 00000d88: DUP4 00000d89: SUB 00000d8a: SUB 00000d8b: DUP2 00000d8c: MSTORE 00000d8d: SWAP1 00000d8e: PUSH1 0x40 00000d90: MSTORE 00000d91: DUP1 00000d92: MLOAD 00000d93: SWAP1 00000d94: PUSH1 0x20 00000d96: ADD 00000d97: KECCAK256 00000d98: SWAP3 00000d99: POP 00000d9a: PUSH2 0x0dca 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: DUP1 00000da0: DUP4 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: PUSH1 0x20 00000da6: ADD 00000da7: PUSH2 0x0db1 00000daa: SWAP3 00000dab: SWAP2 00000dac: SWAP1 00000dad: PUSH2 0x0ed1 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH1 0x40 00000db4: MLOAD 00000db5: PUSH1 0x20 00000db7: DUP2 00000db8: DUP4 00000db9: SUB 00000dba: SUB 00000dbb: DUP2 00000dbc: MSTORE 00000dbd: SWAP1 00000dbe: PUSH1 0x40 00000dc0: MSTORE 00000dc1: DUP1 00000dc2: MLOAD 00000dc3: SWAP1 00000dc4: PUSH1 0x20 00000dc6: ADD 00000dc7: KECCAK256 00000dc8: SWAP3 00000dc9: POP 00000dca: JUMPDEST 00000dcb: POP 00000dcc: DUP1 00000dcd: PUSH2 0x0dd5 00000dd0: DUP2 00000dd1: PUSH2 0x116b 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: SWAP2 00000dd7: POP 00000dd8: POP 00000dd9: PUSH2 0x0d32 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: POP 00000ddf: SWAP4 00000de0: SWAP3 00000de1: POP 00000de2: POP 00000de3: POP 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH1 0x00 00000de8: PUSH1 0x20 00000dea: DUP3 00000deb: DUP5 00000dec: SUB 00000ded: SLT 00000dee: ISZERO 00000def: PUSH2 0x0df6 00000df2: JUMPI 00000df3: DUP1 00000df4: DUP2 00000df5: REVERT 00000df6: JUMPDEST 00000df7: DUP2 00000df8: CALLDATALOAD 00000df9: PUSH1 0x01 00000dfb: PUSH1 0x01 00000dfd: PUSH1 0xa0 00000dff: SHL 00000e00: SUB 00000e01: DUP2 00000e02: AND 00000e03: DUP2 00000e04: EQ 00000e05: PUSH2 0x0cca 00000e08: JUMPI 00000e09: DUP2 00000e0a: DUP3 00000e0b: REVERT 00000e0c: JUMPDEST 00000e0d: PUSH1 0x00 00000e0f: PUSH1 0x20 00000e11: DUP3 00000e12: DUP5 00000e13: SUB 00000e14: SLT 00000e15: ISZERO 00000e16: PUSH2 0x0e1d 00000e19: JUMPI 00000e1a: DUP1 00000e1b: DUP2 00000e1c: REVERT 00000e1d: JUMPDEST 00000e1e: POP 00000e1f: CALLDATALOAD 00000e20: SWAP2 00000e21: SWAP1 00000e22: POP 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x00 00000e27: DUP1 00000e28: PUSH1 0x00 00000e2a: PUSH1 0x40 00000e2c: DUP5 00000e2d: DUP7 00000e2e: SUB 00000e2f: SLT 00000e30: ISZERO 00000e31: PUSH2 0x0e38 00000e34: JUMPI 00000e35: DUP2 00000e36: DUP3 00000e37: REVERT 00000e38: JUMPDEST 00000e39: DUP4 00000e3a: CALLDATALOAD 00000e3b: SWAP3 00000e3c: POP 00000e3d: PUSH1 0x20 00000e3f: DUP5 00000e40: ADD 00000e41: CALLDATALOAD 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0x40 00000e48: SHL 00000e49: SUB 00000e4a: DUP1 00000e4b: DUP3 00000e4c: GT 00000e4d: ISZERO 00000e4e: PUSH2 0x0e55 00000e51: JUMPI 00000e52: DUP4 00000e53: DUP5 00000e54: REVERT 00000e55: JUMPDEST 00000e56: DUP2 00000e57: DUP7 00000e58: ADD 00000e59: SWAP2 00000e5a: POP 00000e5b: DUP7 00000e5c: PUSH1 0x1f 00000e5e: DUP4 00000e5f: ADD 00000e60: SLT 00000e61: PUSH2 0x0e68 00000e64: JUMPI 00000e65: DUP4 00000e66: DUP5 00000e67: REVERT 00000e68: JUMPDEST 00000e69: DUP2 00000e6a: CALLDATALOAD 00000e6b: DUP2 00000e6c: DUP2 00000e6d: GT 00000e6e: ISZERO 00000e6f: PUSH2 0x0e76 00000e72: JUMPI 00000e73: DUP5 00000e74: DUP6 00000e75: REVERT 00000e76: JUMPDEST 00000e77: DUP8 00000e78: PUSH1 0x20 00000e7a: DUP1 00000e7b: DUP4 00000e7c: MUL 00000e7d: DUP6 00000e7e: ADD 00000e7f: ADD 00000e80: GT 00000e81: ISZERO 00000e82: PUSH2 0x0e89 00000e85: JUMPI 00000e86: DUP5 00000e87: DUP6 00000e88: REVERT 00000e89: JUMPDEST 00000e8a: PUSH1 0x20 00000e8c: DUP4 00000e8d: ADD 00000e8e: SWAP5 00000e8f: POP 00000e90: DUP1 00000e91: SWAP4 00000e92: POP 00000e93: POP 00000e94: POP 00000e95: POP 00000e96: SWAP3 00000e97: POP 00000e98: SWAP3 00000e99: POP 00000e9a: SWAP3 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: PUSH1 0x60 00000e9f: SWAP2 00000ea0: SWAP1 00000ea1: SWAP2 00000ea2: SHL 00000ea3: PUSH1 0x01 00000ea5: PUSH1 0x01 00000ea7: PUSH1 0x60 00000ea9: SHL 00000eaa: SUB 00000eab: NOT 00000eac: AND 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x14 00000eb1: ADD 00000eb2: SWAP1 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: PUSH1 0x60 00000eb7: SWAP3 00000eb8: SWAP1 00000eb9: SWAP3 00000eba: SHL 00000ebb: PUSH1 0x01 00000ebd: PUSH1 0x01 00000ebf: PUSH1 0x60 00000ec1: SHL 00000ec2: SUB 00000ec3: NOT 00000ec4: AND 00000ec5: DUP3 00000ec6: MSTORE 00000ec7: PUSH1 0x14 00000ec9: DUP3 00000eca: ADD 00000ecb: MSTORE 00000ecc: PUSH1 0x34 00000ece: ADD 00000ecf: SWAP1 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: SWAP2 00000ed3: DUP3 00000ed4: MSTORE 00000ed5: PUSH1 0x20 00000ed7: DUP3 00000ed8: ADD 00000ed9: MSTORE 00000eda: PUSH1 0x40 00000edc: ADD 00000edd: SWAP1 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: SWAP1 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: PUSH1 0x01 00000ee5: PUSH1 0x01 00000ee7: PUSH1 0xa0 00000ee9: SHL 00000eea: SUB 00000eeb: SWAP2 00000eec: SWAP1 00000eed: SWAP2 00000eee: AND 00000eef: DUP2 00000ef0: MSTORE 00000ef1: PUSH1 0x20 00000ef3: ADD 00000ef4: SWAP1 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: SWAP1 00000ef8: ISZERO 00000ef9: ISZERO 00000efa: DUP2 00000efb: MSTORE 00000efc: PUSH1 0x20 00000efe: ADD 00000eff: SWAP1 00000f00: JUMP 00000f01: JUMPDEST 00000f02: SWAP1 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: SWAP1 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: PUSH1 0x20 00000f0d: DUP1 00000f0e: DUP3 00000f0f: MSTORE 00000f10: PUSH1 0x16 00000f12: SWAP1 00000f13: DUP3 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH22 0x11551211548814d15395081393d50810d3d4949150d5 00000f2d: PUSH1 0x52 00000f2f: SHL 00000f30: PUSH1 0x40 00000f32: DUP3 00000f33: ADD 00000f34: MSTORE 00000f35: PUSH1 0x60 00000f37: ADD 00000f38: SWAP1 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: PUSH1 0x20 00000f3d: DUP1 00000f3e: DUP3 00000f3f: MSTORE 00000f40: PUSH1 0x26 00000f42: SWAP1 00000f43: DUP3 00000f44: ADD 00000f45: MSTORE 00000f46: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000f67: PUSH1 0x40 00000f69: DUP3 00000f6a: ADD 00000f6b: MSTORE 00000f6c: PUSH6 0x646472657373 00000f73: PUSH1 0xd0 00000f75: SHL 00000f76: PUSH1 0x60 00000f78: DUP3 00000f79: ADD 00000f7a: MSTORE 00000f7b: PUSH1 0x80 00000f7d: ADD 00000f7e: SWAP1 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x20 00000f83: DUP1 00000f84: DUP3 00000f85: MSTORE 00000f86: PUSH1 0x19 00000f88: SWAP1 00000f89: DUP3 00000f8a: ADD 00000f8b: MSTORE 00000f8c: PUSH25 0x135056081513d2d15394c81053149150511648135253951151 00000fa6: PUSH1 0x3a 00000fa8: SHL 00000fa9: PUSH1 0x40 00000fab: DUP3 00000fac: ADD 00000fad: MSTORE 00000fae: PUSH1 0x60 00000fb0: ADD 00000fb1: SWAP1 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: PUSH1 0x20 00000fb6: DUP1 00000fb7: DUP3 00000fb8: MSTORE 00000fb9: PUSH1 0x18 00000fbb: SWAP1 00000fbc: DUP3 00000fbd: ADD 00000fbe: MSTORE 00000fbf: PUSH24 0x11d255915055d05648105314915051164810d31052535151 00000fd8: PUSH1 0x42 00000fda: SHL 00000fdb: PUSH1 0x40 00000fdd: DUP3 00000fde: ADD 00000fdf: MSTORE 00000fe0: PUSH1 0x60 00000fe2: ADD 00000fe3: SWAP1 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: PUSH1 0x20 00000fe8: DUP1 00000fe9: DUP3 00000fea: MSTORE 00000feb: PUSH1 0x13 00000fed: SWAP1 00000fee: DUP3 00000fef: ADD 00000ff0: MSTORE 00000ff1: PUSH19 0x11551208151c985b9cd9995c8819985a5b1959 00001005: PUSH1 0x6a 00001007: SHL 00001008: PUSH1 0x40 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH1 0x60 0000100f: ADD 00001010: SWAP1 00001011: JUMP 00001012: JUMPDEST 00001013: PUSH1 0x20 00001015: DUP1 00001016: DUP3 00001017: MSTORE 00001018: PUSH1 0x0e 0000101a: SWAP1 0000101b: DUP3 0000101c: ADD 0000101d: MSTORE 0000101e: PUSH14 0x4e4f54204d4f4449464941424c45 0000102d: PUSH1 0x90 0000102f: SHL 00001030: PUSH1 0x40 00001032: DUP3 00001033: ADD 00001034: MSTORE 00001035: PUSH1 0x60 00001037: ADD 00001038: SWAP1 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x20 0000103d: DUP1 0000103e: DUP3 0000103f: MSTORE 00001040: PUSH1 0x11 00001042: SWAP1 00001043: DUP3 00001044: ADD 00001045: MSTORE 00001046: PUSH17 0x13505608105353d5539508135253951151 00001058: PUSH1 0x7a 0000105a: SHL 0000105b: PUSH1 0x40 0000105d: DUP3 0000105e: ADD 0000105f: MSTORE 00001060: PUSH1 0x60 00001062: ADD 00001063: SWAP1 00001064: JUMP 00001065: JUMPDEST 00001066: PUSH1 0x20 00001068: DUP1 00001069: DUP3 0000106a: MSTORE 0000106b: PUSH1 0x19 0000106d: SWAP1 0000106e: DUP3 0000106f: ADD 00001070: MSTORE 00001071: PUSH25 0x4d494e5445522045584345454453204d415820544f4b454e53 0000108b: PUSH1 0x38 0000108d: SHL 0000108e: PUSH1 0x40 00001090: DUP3 00001091: ADD 00001092: MSTORE 00001093: PUSH1 0x60 00001095: ADD 00001096: SWAP1 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH1 0x20 0000109b: DUP1 0000109c: DUP3 0000109d: MSTORE 0000109e: DUP2 0000109f: DUP2 000010a0: ADD 000010a1: MSTORE 000010a2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000010c3: PUSH1 0x40 000010c5: DUP3 000010c6: ADD 000010c7: MSTORE 000010c8: PUSH1 0x60 000010ca: ADD 000010cb: SWAP1 000010cc: JUMP 000010cd: JUMPDEST 000010ce: PUSH1 0x20 000010d0: DUP1 000010d1: DUP3 000010d2: MSTORE 000010d3: PUSH1 0x0d 000010d5: SWAP1 000010d6: DUP3 000010d7: ADD 000010d8: MSTORE 000010d9: PUSH13 0x24a72b20a624a210282927a7a3 000010e7: PUSH1 0x99 000010e9: SHL 000010ea: PUSH1 0x40 000010ec: DUP3 000010ed: ADD 000010ee: MSTORE 000010ef: PUSH1 0x60 000010f1: ADD 000010f2: SWAP1 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x20 000010f7: DUP1 000010f8: DUP3 000010f9: MSTORE 000010fa: PUSH1 0x0f 000010fc: SWAP1 000010fd: DUP3 000010fe: ADD 000010ff: MSTORE 00001100: PUSH15 0x53414c45204e4f5420414354495645 00001110: PUSH1 0x88 00001112: SHL 00001113: PUSH1 0x40 00001115: DUP3 00001116: ADD 00001117: MSTORE 00001118: PUSH1 0x60 0000111a: ADD 0000111b: SWAP1 0000111c: JUMP 0000111d: JUMPDEST 0000111e: SWAP2 0000111f: DUP3 00001120: MSTORE 00001121: PUSH1 0x01 00001123: PUSH1 0x01 00001125: PUSH1 0xa0 00001127: SHL 00001128: SUB 00001129: AND 0000112a: PUSH1 0x20 0000112c: DUP3 0000112d: ADD 0000112e: MSTORE 0000112f: PUSH1 0x40 00001131: ADD 00001132: SWAP1 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x00 00001137: DUP3 00001138: NOT 00001139: DUP3 0000113a: GT 0000113b: ISZERO 0000113c: PUSH2 0x1147 0000113f: JUMPI 00001140: PUSH2 0x1147 00001143: PUSH2 0x1186 00001146: JUMP 00001147: JUMPDEST 00001148: POP 00001149: ADD 0000114a: SWAP1 0000114b: JUMP 0000114c: JUMPDEST 0000114d: PUSH1 0x00 0000114f: DUP2 00001150: PUSH1 0x00 00001152: NOT 00001153: DIV 00001154: DUP4 00001155: GT 00001156: DUP3 00001157: ISZERO 00001158: ISZERO 00001159: AND 0000115a: ISZERO 0000115b: PUSH2 0x1166 0000115e: JUMPI 0000115f: PUSH2 0x1166 00001162: PUSH2 0x1186 00001165: JUMP 00001166: JUMPDEST 00001167: POP 00001168: MUL 00001169: SWAP1 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x00 0000116e: PUSH1 0x00 00001170: NOT 00001171: DUP3 00001172: EQ 00001173: ISZERO 00001174: PUSH2 0x117f 00001177: JUMPI 00001178: PUSH2 0x117f 0000117b: PUSH2 0x1186 0000117e: JUMP 0000117f: JUMPDEST 00001180: POP 00001181: PUSH1 0x01 00001183: ADD 00001184: SWAP1 00001185: JUMP 00001186: JUMPDEST 00001187: PUSH4 0x4e487b71 0000118c: PUSH1 0xe0 0000118e: SHL 0000118f: PUSH1 0x00 00001191: MSTORE 00001192: PUSH1 0x11 00001194: PUSH1 0x04 00001196: MSTORE 00001197: PUSH1 0x24 00001199: PUSH1 0x00 0000119b: REVERT 0000119c: INVALID 0000119d: LOG2 0000119e: PUSH5 0x6970667358 000011a4: UNKNOWN(0x22) 000011a5: SLT 000011a6: KECCAK256 000011a7: BYTE 000011a8: MSTORE8 000011a9: UNKNOWN(0xD1) 000011aa: UNKNOWN(0x26) 000011ab: UNKNOWN(0xBA) 000011ac: UNKNOWN(0xE6) 000011ad: UNKNOWN(0xAB) 000011ae: PUSH29 0xd76063002f2ff30e105cc64091a169aa5e4edbf556a209ac64736f6c63 000011cc: NUMBER 000011cd: STOP 000011ce: ADDMOD 000011cf: STOP 000011d0: STOP 000011d1: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x39accf0bff0ff2b3f933fd041b162ae1271c688548341f7271410733de6b9084
call_targets:
0x69aa39b7c6790ce0387aca6272083650b2d3bde2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39accf0bff0ff2b3f933fd041b162ae1271c688548341f7271410733de6b9084",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x69aa39b7c6790ce0387aca6272083650b2d3bde2"
],
"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": "0x0fe0c597",
"selector": "0x0fe0c597",
"calldata_variants": [
"0x0fe0c597",
"0x0fe0c5970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10462b27",
"selector": "0x10462b27",
"calldata_variants": [
"0x10462b27",
"0x10462b270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f0234d8",
"selector": "0x1f0234d8",
"calldata_variants": [
"0x1f0234d8",
"0x1f0234d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24939a6c",
"selector": "0x24939a6c",
"calldata_variants": [
"0x24939a6c",
"0x24939a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2687d340",
"selector": "0x2687d340",
"calldata_variants": [
"0x2687d340",
"0x2687d3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30773603",
"selector": "0x30773603",
"calldata_variants": [
"0x30773603",
"0x307736030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b9ee7e4",
"selector": "0x3b9ee7e4",
"calldata_variants": [
"0x3b9ee7e4",
"0x3b9ee7e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43838845",
"selector": "0x43838845",
"calldata_variants": [
"0x43838845",
"0x438388450000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2017,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2644,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x39accf0bff0ff2b3f933fd041b162ae1271c688548341f7271410733de6b9084
call_targets:
0x69aa39b7c6790ce0387aca6272083650b2d3bde2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39accf0bff0ff2b3f933fd041b162ae1271c688548341f7271410733de6b9084",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x69aa39b7c6790ce0387aca6272083650b2d3bde2"
],
"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": "0x0fe0c597",
"selector": "0x0fe0c597",
"calldata_variants": [
"0x0fe0c597",
"0x0fe0c5970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10462b27",
"selector": "0x10462b27",
"calldata_variants": [
"0x10462b27",
"0x10462b270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f0234d8",
"selector": "0x1f0234d8",
"calldata_variants": [
"0x1f0234d8",
"0x1f0234d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24939a6c",
"selector": "0x24939a6c",
"calldata_variants": [
"0x24939a6c",
"0x24939a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2687d340",
"selector": "0x2687d340",
"calldata_variants": [
"0x2687d340",
"0x2687d3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30773603",
"selector": "0x30773603",
"calldata_variants": [
"0x30773603",
"0x307736030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b9ee7e4",
"selector": "0x3b9ee7e4",
"calldata_variants": [
"0x3b9ee7e4",
"0x3b9ee7e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43838845",
"selector": "0x43838845",
"calldata_variants": [
"0x43838845",
"0x438388450000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2017,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2644,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|