019b477e-b1ae-7031-b1d7-98e51309a95e
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 |
|---|---|---|---|---|
| 22189 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22190 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66198 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 66199 | capability.graph | complete | 1 / 3 | 1 week ago |
| 66200 | detector.run | complete | 1 / 3 | 1 week ago |
| 66201 | 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 0x0132 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x01fd 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x0287 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x02bf 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x23b872dd 0000005c: EQ 0000005d: PUSH2 0x02e6 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x30cc248e 00000067: EQ 00000068: PUSH2 0x0310 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313b7b19 00000072: EQ 00000073: PUSH2 0x0318 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x0349 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3ccfd60b 00000088: EQ 00000089: PUSH2 0x0374 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6b31ee01 00000093: EQ 00000094: PUSH2 0x038b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x03a0 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7de7a18d 000000a9: EQ 000000aa: PUSH2 0x03c1 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x7e95385c 000000b4: EQ 000000b5: PUSH2 0x03e2 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8da5cb5b 000000bf: EQ 000000c0: PUSH2 0x0403 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x9106d7ba 000000ca: EQ 000000cb: PUSH2 0x0418 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x95d89b41 000000d5: EQ 000000d6: PUSH2 0x042d 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x9b8d3064 000000e0: EQ 000000e1: PUSH2 0x0442 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa035b1fe 000000eb: EQ 000000ec: PUSH2 0x0463 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xa9059cbb 000000f6: EQ 000000f7: PUSH2 0x0478 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xad606c72 00000101: EQ 00000102: PUSH2 0x049c 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xc600e1dc 0000010c: EQ 0000010d: PUSH2 0x04b1 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xd1f55764 00000117: EQ 00000118: PUSH2 0x04d2 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xd96a094a 00000122: EQ 00000123: PUSH2 0x04e7 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdd62ed3e 0000012d: EQ 0000012e: PUSH2 0x04f2 00000131: JUMPI 00000132: JUMPDEST 00000133: PUSH1 0x00 00000135: CALLVALUE 00000136: GT 00000137: PUSH2 0x018a 0000013a: JUMPI 0000013b: PUSH1 0x40 0000013d: DUP1 0000013e: MLOAD 0000013f: PUSH1 0xe5 00000141: PUSH1 0x02 00000143: EXP 00000144: PUSH3 0x461bcd 00000148: MUL 00000149: DUP2 0000014a: MSTORE 0000014b: PUSH1 0x20 0000014d: PUSH1 0x04 0000014f: DUP3 00000150: ADD 00000151: MSTORE 00000152: PUSH1 0x17 00000154: PUSH1 0x24 00000156: DUP3 00000157: ADD 00000158: MSTORE 00000159: PUSH32 0x416d6f756e74206d7573742062652070726f7669646564000000000000000000 0000017a: PUSH1 0x44 0000017c: DUP3 0000017d: ADD 0000017e: MSTORE 0000017f: SWAP1 00000180: MLOAD 00000181: SWAP1 00000182: DUP2 00000183: SWAP1 00000184: SUB 00000185: PUSH1 0x64 00000187: ADD 00000188: SWAP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: PUSH2 0x01b1 0000018e: PUSH1 0x08 00000190: SLOAD 00000191: PUSH2 0x01a5 00000194: PUSH1 0x01 00000196: SLOAD 00000197: CALLVALUE 00000198: PUSH2 0x0519 0000019b: SWAP1 0000019c: SWAP2 0000019d: SWAP1 0000019e: PUSH4 0xffffffff 000001a3: AND 000001a4: JUMP 000001a5: JUMPDEST 000001a6: SWAP1 000001a7: PUSH4 0xffffffff 000001ac: PUSH2 0x0558 000001af: AND 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x08 000001b4: DUP2 000001b5: SWAP1 000001b6: SSTORE 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: CALLVALUE 000001bc: DUP2 000001bd: MSTORE 000001be: PUSH1 0x20 000001c0: DUP2 000001c1: ADD 000001c2: SWAP3 000001c3: SWAP1 000001c4: SWAP3 000001c5: MSTORE 000001c6: DUP1 000001c7: MLOAD 000001c8: PUSH1 0x01 000001ca: PUSH1 0xa0 000001cc: PUSH1 0x02 000001ce: EXP 000001cf: SUB 000001d0: CALLER 000001d1: AND 000001d2: SWAP3 000001d3: PUSH32 0xdcde97043025953bda118fffd86c06bbaa28517d73aa8edd32bf74404426f6ed 000001f4: SWAP3 000001f5: SWAP1 000001f6: DUP3 000001f7: SWAP1 000001f8: SUB 000001f9: ADD 000001fa: SWAP1 000001fb: LOG2 000001fc: STOP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: POP 0000020b: PUSH2 0x0212 0000020e: PUSH2 0x0567 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: DUP1 00000216: MLOAD 00000217: PUSH1 0x20 00000219: DUP1 0000021a: DUP3 0000021b: MSTORE 0000021c: DUP4 0000021d: MLOAD 0000021e: DUP2 0000021f: DUP4 00000220: ADD 00000221: MSTORE 00000222: DUP4 00000223: MLOAD 00000224: SWAP2 00000225: SWAP3 00000226: DUP4 00000227: SWAP3 00000228: SWAP1 00000229: DUP4 0000022a: ADD 0000022b: SWAP2 0000022c: DUP6 0000022d: ADD 0000022e: SWAP1 0000022f: DUP1 00000230: DUP4 00000231: DUP4 00000232: PUSH1 0x00 00000234: JUMPDEST 00000235: DUP4 00000236: DUP2 00000237: LT 00000238: ISZERO 00000239: PUSH2 0x024c 0000023c: JUMPI 0000023d: DUP2 0000023e: DUP2 0000023f: ADD 00000240: MLOAD 00000241: DUP4 00000242: DUP3 00000243: ADD 00000244: MSTORE 00000245: PUSH1 0x20 00000247: ADD 00000248: PUSH2 0x0234 0000024b: JUMP 0000024c: JUMPDEST 0000024d: POP 0000024e: POP 0000024f: POP 00000250: POP 00000251: SWAP1 00000252: POP 00000253: SWAP1 00000254: DUP2 00000255: ADD 00000256: SWAP1 00000257: PUSH1 0x1f 00000259: AND 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0279 0000025f: JUMPI 00000260: DUP1 00000261: DUP3 00000262: SUB 00000263: DUP1 00000264: MLOAD 00000265: PUSH1 0x01 00000267: DUP4 00000268: PUSH1 0x20 0000026a: SUB 0000026b: PUSH2 0x0100 0000026e: EXP 0000026f: SUB 00000270: NOT 00000271: AND 00000272: DUP2 00000273: MSTORE 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP2 00000278: POP 00000279: JUMPDEST 0000027a: POP 0000027b: SWAP3 0000027c: POP 0000027d: POP 0000027e: POP 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: SWAP2 00000284: SUB 00000285: SWAP1 00000286: RETURN 00000287: JUMPDEST 00000288: CALLVALUE 00000289: DUP1 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x02ab 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: PUSH1 0x02 0000029e: EXP 0000029f: SUB 000002a0: PUSH1 0x04 000002a2: CALLDATALOAD 000002a3: AND 000002a4: PUSH1 0x24 000002a6: CALLDATALOAD 000002a7: PUSH2 0x05f5 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: DUP1 000002af: MLOAD 000002b0: SWAP2 000002b1: ISZERO 000002b2: ISZERO 000002b3: DUP3 000002b4: MSTORE 000002b5: MLOAD 000002b6: SWAP1 000002b7: DUP2 000002b8: SWAP1 000002b9: SUB 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x02d4 000002d0: PUSH2 0x069a 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH1 0x40 000002d7: DUP1 000002d8: MLOAD 000002d9: SWAP2 000002da: DUP3 000002db: MSTORE 000002dc: MLOAD 000002dd: SWAP1 000002de: DUP2 000002df: SWAP1 000002e0: SUB 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: SWAP1 000002e5: RETURN 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: DUP1 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: POP 000002f4: PUSH2 0x02ab 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: PUSH1 0x02 000002fd: EXP 000002fe: SUB 000002ff: PUSH1 0x04 00000301: CALLDATALOAD 00000302: DUP2 00000303: AND 00000304: SWAP1 00000305: PUSH1 0x24 00000307: CALLDATALOAD 00000308: AND 00000309: PUSH1 0x44 0000030b: CALLDATALOAD 0000030c: PUSH2 0x06a1 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH2 0x02ab 00000314: PUSH2 0x0716 00000317: JUMP 00000318: JUMPDEST 00000319: CALLVALUE 0000031a: DUP1 0000031b: ISZERO 0000031c: PUSH2 0x0324 0000031f: JUMPI 00000320: PUSH1 0x00 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: POP 00000326: PUSH2 0x032d 00000329: PUSH2 0x0795 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH1 0x40 00000330: DUP1 00000331: MLOAD 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: PUSH1 0x02 00000338: EXP 00000339: SUB 0000033a: SWAP1 0000033b: SWAP3 0000033c: AND 0000033d: DUP3 0000033e: MSTORE 0000033f: MLOAD 00000340: SWAP1 00000341: DUP2 00000342: SWAP1 00000343: SUB 00000344: PUSH1 0x20 00000346: ADD 00000347: SWAP1 00000348: RETURN 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x035e 0000035a: PUSH2 0x07a4 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH1 0x40 00000361: DUP1 00000362: MLOAD 00000363: PUSH1 0xff 00000365: SWAP1 00000366: SWAP3 00000367: AND 00000368: DUP3 00000369: MSTORE 0000036a: MLOAD 0000036b: SWAP1 0000036c: DUP2 0000036d: SWAP1 0000036e: SUB 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP1 00000373: RETURN 00000374: JUMPDEST 00000375: CALLVALUE 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0380 0000037b: JUMPI 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: REVERT 00000380: JUMPDEST 00000381: POP 00000382: PUSH2 0x0389 00000385: PUSH2 0x07ad 00000388: JUMP 00000389: JUMPDEST 0000038a: STOP 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH2 0x032d 0000039c: PUSH2 0x08c5 0000039f: JUMP 000003a0: JUMPDEST 000003a1: CALLVALUE 000003a2: DUP1 000003a3: ISZERO 000003a4: PUSH2 0x03ac 000003a7: JUMPI 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: REVERT 000003ac: JUMPDEST 000003ad: POP 000003ae: PUSH2 0x02d4 000003b1: PUSH1 0x01 000003b3: PUSH1 0xa0 000003b5: PUSH1 0x02 000003b7: EXP 000003b8: SUB 000003b9: PUSH1 0x04 000003bb: CALLDATALOAD 000003bc: AND 000003bd: PUSH2 0x08d4 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x0389 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: SUB 000003da: PUSH1 0x04 000003dc: CALLDATALOAD 000003dd: AND 000003de: PUSH2 0x08ef 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x0389 000003f3: PUSH1 0x01 000003f5: PUSH1 0xa0 000003f7: PUSH1 0x02 000003f9: EXP 000003fa: SUB 000003fb: PUSH1 0x04 000003fd: CALLDATALOAD 000003fe: AND 000003ff: PUSH2 0x0972 00000402: JUMP 00000403: JUMPDEST 00000404: CALLVALUE 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: POP 00000411: PUSH2 0x032d 00000414: PUSH2 0x09f5 00000417: JUMP 00000418: JUMPDEST 00000419: CALLVALUE 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: POP 00000426: PUSH2 0x02d4 00000429: PUSH2 0x0a04 0000042c: JUMP 0000042d: JUMPDEST 0000042e: CALLVALUE 0000042f: DUP1 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: POP 0000043b: PUSH2 0x0212 0000043e: PUSH2 0x0a0a 00000441: JUMP 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x0389 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: PUSH1 0x02 00000459: EXP 0000045a: SUB 0000045b: PUSH1 0x04 0000045d: CALLDATALOAD 0000045e: AND 0000045f: PUSH2 0x0a65 00000462: JUMP 00000463: JUMPDEST 00000464: CALLVALUE 00000465: DUP1 00000466: ISZERO 00000467: PUSH2 0x046f 0000046a: JUMPI 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: PUSH2 0x02d4 00000474: PUSH2 0x0ae8 00000477: JUMP 00000478: JUMPDEST 00000479: CALLVALUE 0000047a: DUP1 0000047b: ISZERO 0000047c: PUSH2 0x0484 0000047f: JUMPI 00000480: PUSH1 0x00 00000482: DUP1 00000483: REVERT 00000484: JUMPDEST 00000485: POP 00000486: PUSH2 0x02ab 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: PUSH1 0x02 0000048f: EXP 00000490: SUB 00000491: PUSH1 0x04 00000493: CALLDATALOAD 00000494: AND 00000495: PUSH1 0x24 00000497: CALLDATALOAD 00000498: PUSH2 0x0af4 0000049b: JUMP 0000049c: JUMPDEST 0000049d: CALLVALUE 0000049e: DUP1 0000049f: ISZERO 000004a0: PUSH2 0x04a8 000004a3: JUMPI 000004a4: PUSH1 0x00 000004a6: DUP1 000004a7: REVERT 000004a8: JUMPDEST 000004a9: POP 000004aa: PUSH2 0x0389 000004ad: PUSH2 0x0b08 000004b0: JUMP 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH2 0x02d4 000004c2: PUSH1 0x01 000004c4: PUSH1 0xa0 000004c6: PUSH1 0x02 000004c8: EXP 000004c9: SUB 000004ca: PUSH1 0x04 000004cc: CALLDATALOAD 000004cd: AND 000004ce: PUSH2 0x0c21 000004d1: JUMP 000004d2: JUMPDEST 000004d3: CALLVALUE 000004d4: DUP1 000004d5: ISZERO 000004d6: PUSH2 0x04de 000004d9: JUMPI 000004da: PUSH1 0x00 000004dc: DUP1 000004dd: REVERT 000004de: JUMPDEST 000004df: POP 000004e0: PUSH2 0x032d 000004e3: PUSH2 0x0c7c 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH2 0x0389 000004eb: PUSH1 0x04 000004ed: CALLDATALOAD 000004ee: PUSH2 0x0c8b 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x02d4 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: PUSH1 0x02 00000509: EXP 0000050a: SUB 0000050b: PUSH1 0x04 0000050d: CALLDATALOAD 0000050e: DUP2 0000050f: AND 00000510: SWAP1 00000511: PUSH1 0x24 00000513: CALLDATALOAD 00000514: AND 00000515: PUSH2 0x0efa 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: DUP1 0000051e: DUP4 0000051f: GT 00000520: PUSH2 0x0525 00000523: JUMPI 00000524: INVALID 00000525: JUMPDEST 00000526: DUP3 00000527: DUP5 00000528: DUP2 00000529: ISZERO 0000052a: ISZERO 0000052b: PUSH2 0x0530 0000052e: JUMPI 0000052f: INVALID 00000530: JUMPDEST 00000531: DIV 00000532: SWAP1 00000533: POP 00000534: DUP3 00000535: DUP5 00000536: DUP2 00000537: ISZERO 00000538: ISZERO 00000539: PUSH2 0x053e 0000053c: JUMPI 0000053d: INVALID 0000053e: JUMPDEST 0000053f: MOD 00000540: DUP2 00000541: DUP5 00000542: MUL 00000543: ADD 00000544: DUP5 00000545: EQ 00000546: ISZERO 00000547: ISZERO 00000548: PUSH2 0x054d 0000054b: JUMPI 0000054c: INVALID 0000054d: JUMPDEST 0000054e: DUP1 0000054f: SWAP2 00000550: POP 00000551: JUMPDEST 00000552: POP 00000553: SWAP3 00000554: SWAP2 00000555: POP 00000556: POP 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH1 0x00 0000055b: DUP3 0000055c: DUP3 0000055d: ADD 0000055e: DUP4 0000055f: DUP2 00000560: LT 00000561: ISZERO 00000562: PUSH2 0x054d 00000565: JUMPI 00000566: INVALID 00000567: JUMPDEST 00000568: PUSH1 0x03 0000056a: DUP1 0000056b: SLOAD 0000056c: PUSH1 0x40 0000056e: DUP1 0000056f: MLOAD 00000570: PUSH1 0x20 00000572: PUSH1 0x02 00000574: PUSH1 0x01 00000576: DUP6 00000577: AND 00000578: ISZERO 00000579: PUSH2 0x0100 0000057c: MUL 0000057d: PUSH1 0x00 0000057f: NOT 00000580: ADD 00000581: SWAP1 00000582: SWAP5 00000583: AND 00000584: SWAP4 00000585: SWAP1 00000586: SWAP4 00000587: DIV 00000588: PUSH1 0x1f 0000058a: DUP2 0000058b: ADD 0000058c: DUP5 0000058d: SWAP1 0000058e: DIV 0000058f: DUP5 00000590: MUL 00000591: DUP3 00000592: ADD 00000593: DUP5 00000594: ADD 00000595: SWAP1 00000596: SWAP3 00000597: MSTORE 00000598: DUP2 00000599: DUP2 0000059a: MSTORE 0000059b: SWAP3 0000059c: SWAP2 0000059d: DUP4 0000059e: ADD 0000059f: DUP3 000005a0: DUP3 000005a1: DUP1 000005a2: ISZERO 000005a3: PUSH2 0x05ed 000005a6: JUMPI 000005a7: DUP1 000005a8: PUSH1 0x1f 000005aa: LT 000005ab: PUSH2 0x05c2 000005ae: JUMPI 000005af: PUSH2 0x0100 000005b2: DUP1 000005b3: DUP4 000005b4: SLOAD 000005b5: DIV 000005b6: MUL 000005b7: DUP4 000005b8: MSTORE 000005b9: SWAP2 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP2 000005be: PUSH2 0x05ed 000005c1: JUMP 000005c2: JUMPDEST 000005c3: DUP3 000005c4: ADD 000005c5: SWAP2 000005c6: SWAP1 000005c7: PUSH1 0x00 000005c9: MSTORE 000005ca: PUSH1 0x20 000005cc: PUSH1 0x00 000005ce: KECCAK256 000005cf: SWAP1 000005d0: JUMPDEST 000005d1: DUP2 000005d2: SLOAD 000005d3: DUP2 000005d4: MSTORE 000005d5: SWAP1 000005d6: PUSH1 0x01 000005d8: ADD 000005d9: SWAP1 000005da: PUSH1 0x20 000005dc: ADD 000005dd: DUP1 000005de: DUP4 000005df: GT 000005e0: PUSH2 0x05d0 000005e3: JUMPI 000005e4: DUP3 000005e5: SWAP1 000005e6: SUB 000005e7: PUSH1 0x1f 000005e9: AND 000005ea: DUP3 000005eb: ADD 000005ec: SWAP2 000005ed: JUMPDEST 000005ee: POP 000005ef: POP 000005f0: POP 000005f1: POP 000005f2: POP 000005f3: DUP2 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: DUP1 000005f9: DUP3 000005fa: GT 000005fb: DUP1 000005fc: ISZERO 000005fd: PUSH2 0x0629 00000600: JUMPI 00000601: POP 00000602: PUSH1 0x01 00000604: PUSH1 0xa0 00000606: PUSH1 0x02 00000608: EXP 00000609: SUB 0000060a: CALLER 0000060b: DUP2 0000060c: AND 0000060d: PUSH1 0x00 0000060f: SWAP1 00000610: DUP2 00000611: MSTORE 00000612: PUSH1 0x0d 00000614: PUSH1 0x20 00000616: SWAP1 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x40 0000061b: DUP1 0000061c: DUP4 0000061d: KECCAK256 0000061e: SWAP4 0000061f: DUP8 00000620: AND 00000621: DUP4 00000622: MSTORE 00000623: SWAP3 00000624: SWAP1 00000625: MSTORE 00000626: KECCAK256 00000627: SLOAD 00000628: ISZERO 00000629: JUMPDEST 0000062a: ISZERO 0000062b: ISZERO 0000062c: PUSH2 0x0634 0000062f: JUMPI 00000630: PUSH1 0x00 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: PUSH1 0x01 00000637: PUSH1 0xa0 00000639: PUSH1 0x02 0000063b: EXP 0000063c: SUB 0000063d: CALLER 0000063e: DUP2 0000063f: AND 00000640: PUSH1 0x00 00000642: DUP2 00000643: DUP2 00000644: MSTORE 00000645: PUSH1 0x0d 00000647: PUSH1 0x20 00000649: SWAP1 0000064a: DUP2 0000064b: MSTORE 0000064c: PUSH1 0x40 0000064e: DUP1 0000064f: DUP4 00000650: KECCAK256 00000651: SWAP5 00000652: DUP9 00000653: AND 00000654: DUP1 00000655: DUP5 00000656: MSTORE 00000657: SWAP5 00000658: DUP3 00000659: MSTORE 0000065a: SWAP2 0000065b: DUP3 0000065c: SWAP1 0000065d: KECCAK256 0000065e: DUP7 0000065f: SWAP1 00000660: SSTORE 00000661: DUP2 00000662: MLOAD 00000663: DUP7 00000664: DUP2 00000665: MSTORE 00000666: SWAP2 00000667: MLOAD 00000668: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000689: SWAP3 0000068a: DUP2 0000068b: SWAP1 0000068c: SUB 0000068d: SWAP1 0000068e: SWAP2 0000068f: ADD 00000690: SWAP1 00000691: LOG3 00000692: POP 00000693: PUSH1 0x01 00000695: SWAP3 00000696: SWAP2 00000697: POP 00000698: POP 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x01 0000069d: SLOAD 0000069e: JUMPDEST 0000069f: SWAP1 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x01 000006a4: PUSH1 0xa0 000006a6: PUSH1 0x02 000006a8: EXP 000006a9: SUB 000006aa: DUP1 000006ab: DUP5 000006ac: AND 000006ad: PUSH1 0x00 000006af: SWAP1 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x0d 000006b4: PUSH1 0x20 000006b6: SWAP1 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x40 000006bb: DUP1 000006bc: DUP4 000006bd: KECCAK256 000006be: CALLER 000006bf: SWAP1 000006c0: SWAP5 000006c1: AND 000006c2: DUP4 000006c3: MSTORE 000006c4: SWAP3 000006c5: SWAP1 000006c6: MSTORE 000006c7: SWAP1 000006c8: DUP2 000006c9: KECCAK256 000006ca: SLOAD 000006cb: DUP3 000006cc: GT 000006cd: ISZERO 000006ce: PUSH2 0x06d6 000006d1: JUMPI 000006d2: PUSH1 0x00 000006d4: DUP1 000006d5: REVERT 000006d6: JUMPDEST 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: PUSH1 0x02 000006dd: EXP 000006de: SUB 000006df: DUP1 000006e0: DUP6 000006e1: AND 000006e2: PUSH1 0x00 000006e4: SWAP1 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x0d 000006e9: PUSH1 0x20 000006eb: SWAP1 000006ec: DUP2 000006ed: MSTORE 000006ee: PUSH1 0x40 000006f0: DUP1 000006f1: DUP4 000006f2: KECCAK256 000006f3: CALLER 000006f4: SWAP1 000006f5: SWAP5 000006f6: AND 000006f7: DUP4 000006f8: MSTORE 000006f9: SWAP3 000006fa: SWAP1 000006fb: MSTORE 000006fc: KECCAK256 000006fd: DUP1 000006fe: SLOAD 000006ff: DUP4 00000700: SWAP1 00000701: SUB 00000702: SWAP1 00000703: SSTORE 00000704: PUSH2 0x070e 00000707: DUP5 00000708: DUP5 00000709: DUP5 0000070a: PUSH2 0x0f25 0000070d: JUMP 0000070e: JUMPDEST 0000070f: SWAP5 00000710: SWAP4 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x00 00000719: DUP1 0000071a: CALLVALUE 0000071b: GT 0000071c: ISZERO 0000071d: PUSH2 0x078d 00000720: JUMPI 00000721: PUSH2 0x073b 00000724: PUSH1 0x08 00000726: SLOAD 00000727: PUSH2 0x01a5 0000072a: PUSH1 0x01 0000072c: SLOAD 0000072d: CALLVALUE 0000072e: PUSH2 0x0519 00000731: SWAP1 00000732: SWAP2 00000733: SWAP1 00000734: PUSH4 0xffffffff 00000739: AND 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH1 0x08 0000073e: DUP2 0000073f: SWAP1 00000740: SSTORE 00000741: PUSH1 0x40 00000743: DUP1 00000744: MLOAD 00000745: CALLVALUE 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: DUP2 0000074b: ADD 0000074c: SWAP3 0000074d: SWAP1 0000074e: SWAP3 0000074f: MSTORE 00000750: DUP1 00000751: MLOAD 00000752: PUSH1 0x01 00000754: PUSH1 0xa0 00000756: PUSH1 0x02 00000758: EXP 00000759: SUB 0000075a: CALLER 0000075b: AND 0000075c: SWAP3 0000075d: PUSH32 0xdcde97043025953bda118fffd86c06bbaa28517d73aa8edd32bf74404426f6ed 0000077e: SWAP3 0000077f: SWAP1 00000780: DUP3 00000781: SWAP1 00000782: SUB 00000783: ADD 00000784: SWAP1 00000785: LOG2 00000786: POP 00000787: PUSH1 0x01 00000789: PUSH2 0x069e 0000078c: JUMP 0000078d: JUMPDEST 0000078e: POP 0000078f: PUSH1 0x00 00000791: PUSH2 0x069e 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH1 0x06 00000798: SLOAD 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: PUSH1 0x02 0000079f: EXP 000007a0: SUB 000007a1: AND 000007a2: DUP2 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x00 000007a7: SLOAD 000007a8: PUSH1 0xff 000007aa: AND 000007ab: DUP2 000007ac: JUMP 000007ad: JUMPDEST 000007ae: PUSH1 0x00 000007b0: PUSH2 0x07b8 000007b3: CALLER 000007b4: PUSH2 0x0c21 000007b7: JUMP 000007b8: JUMPDEST 000007b9: SWAP1 000007ba: POP 000007bb: PUSH1 0x00 000007bd: DUP2 000007be: GT 000007bf: PUSH2 0x0812 000007c2: JUMPI 000007c3: PUSH1 0x40 000007c5: DUP1 000007c6: MLOAD 000007c7: PUSH1 0xe5 000007c9: PUSH1 0x02 000007cb: EXP 000007cc: PUSH3 0x461bcd 000007d0: MUL 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x20 000007d5: PUSH1 0x04 000007d7: DUP3 000007d8: ADD 000007d9: MSTORE 000007da: PUSH1 0x11 000007dc: PUSH1 0x24 000007de: DUP3 000007df: ADD 000007e0: MSTORE 000007e1: PUSH32 0x4e6f206361736820617661696c61626c65000000000000000000000000000000 00000802: PUSH1 0x44 00000804: DUP3 00000805: ADD 00000806: MSTORE 00000807: SWAP1 00000808: MLOAD 00000809: SWAP1 0000080a: DUP2 0000080b: SWAP1 0000080c: SUB 0000080d: PUSH1 0x64 0000080f: ADD 00000810: SWAP1 00000811: REVERT 00000812: JUMPDEST 00000813: PUSH1 0x40 00000815: DUP1 00000816: MLOAD 00000817: DUP3 00000818: DUP2 00000819: MSTORE 0000081a: SWAP1 0000081b: MLOAD 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: PUSH1 0x02 00000822: EXP 00000823: SUB 00000824: CALLER 00000825: AND 00000826: SWAP2 00000827: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000848: SWAP2 00000849: SWAP1 0000084a: DUP2 0000084b: SWAP1 0000084c: SUB 0000084d: PUSH1 0x20 0000084f: ADD 00000850: SWAP1 00000851: LOG2 00000852: PUSH1 0x01 00000854: PUSH1 0xa0 00000856: PUSH1 0x02 00000858: EXP 00000859: SUB 0000085a: CALLER 0000085b: AND 0000085c: PUSH1 0x00 0000085e: SWAP1 0000085f: DUP2 00000860: MSTORE 00000861: PUSH1 0x07 00000863: PUSH1 0x20 00000865: MSTORE 00000866: PUSH1 0x40 00000868: SWAP1 00000869: KECCAK256 0000086a: SLOAD 0000086b: PUSH2 0x087a 0000086e: SWAP1 0000086f: DUP3 00000870: PUSH4 0xffffffff 00000875: PUSH2 0x0558 00000878: AND 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: PUSH1 0x02 00000881: EXP 00000882: SUB 00000883: CALLER 00000884: AND 00000885: PUSH1 0x00 00000887: DUP2 00000888: DUP2 00000889: MSTORE 0000088a: PUSH1 0x07 0000088c: PUSH1 0x20 0000088e: MSTORE 0000088f: PUSH1 0x40 00000891: DUP1 00000892: DUP3 00000893: KECCAK256 00000894: SWAP4 00000895: SWAP1 00000896: SWAP4 00000897: SSTORE 00000898: SWAP2 00000899: MLOAD 0000089a: SWAP1 0000089b: SWAP2 0000089c: DUP4 0000089d: ISZERO 0000089e: PUSH2 0x08fc 000008a1: MUL 000008a2: SWAP2 000008a3: DUP5 000008a4: SWAP2 000008a5: DUP2 000008a6: DUP2 000008a7: DUP2 000008a8: DUP6 000008a9: DUP9 000008aa: DUP9 000008ab: CALL 000008ac: SWAP4 000008ad: POP 000008ae: POP 000008af: POP 000008b0: POP 000008b1: ISZERO 000008b2: DUP1 000008b3: ISZERO 000008b4: PUSH2 0x08c1 000008b7: JUMPI 000008b8: RETURNDATASIZE 000008b9: PUSH1 0x00 000008bb: DUP1 000008bc: RETURNDATACOPY 000008bd: RETURNDATASIZE 000008be: PUSH1 0x00 000008c0: REVERT 000008c1: JUMPDEST 000008c2: POP 000008c3: POP 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH1 0x09 000008c8: SLOAD 000008c9: PUSH1 0x01 000008cb: PUSH1 0xa0 000008cd: PUSH1 0x02 000008cf: EXP 000008d0: SUB 000008d1: AND 000008d2: DUP2 000008d3: JUMP 000008d4: JUMPDEST 000008d5: PUSH1 0x01 000008d7: PUSH1 0xa0 000008d9: PUSH1 0x02 000008db: EXP 000008dc: SUB 000008dd: AND 000008de: PUSH1 0x00 000008e0: SWAP1 000008e1: DUP2 000008e2: MSTORE 000008e3: PUSH1 0x0c 000008e5: PUSH1 0x20 000008e7: MSTORE 000008e8: PUSH1 0x40 000008ea: SWAP1 000008eb: KECCAK256 000008ec: SLOAD 000008ed: SWAP1 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x05 000008f2: SLOAD 000008f3: CALLER 000008f4: PUSH1 0x01 000008f6: PUSH1 0xa0 000008f8: PUSH1 0x02 000008fa: EXP 000008fb: SUB 000008fc: SWAP1 000008fd: DUP2 000008fe: AND 000008ff: SWAP2 00000900: AND 00000901: EQ 00000902: PUSH2 0x0943 00000905: JUMPI 00000906: PUSH1 0x40 00000908: DUP1 00000909: MLOAD 0000090a: PUSH1 0xe5 0000090c: PUSH1 0x02 0000090e: EXP 0000090f: PUSH3 0x461bcd 00000913: MUL 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x20 00000918: PUSH1 0x04 0000091a: DUP3 0000091b: ADD 0000091c: MSTORE 0000091d: PUSH1 0x0a 0000091f: PUSH1 0x24 00000921: DUP3 00000922: ADD 00000923: MSTORE 00000924: PUSH1 0x00 00000926: DUP1 00000927: MLOAD 00000928: PUSH1 0x20 0000092a: PUSH2 0x1150 0000092d: DUP4 0000092e: CODECOPY 0000092f: DUP2 00000930: MLOAD 00000931: SWAP2 00000932: MSTORE 00000933: PUSH1 0x44 00000935: DUP3 00000936: ADD 00000937: MSTORE 00000938: SWAP1 00000939: MLOAD 0000093a: SWAP1 0000093b: DUP2 0000093c: SWAP1 0000093d: SUB 0000093e: PUSH1 0x64 00000940: ADD 00000941: SWAP1 00000942: REVERT 00000943: JUMPDEST 00000944: PUSH1 0x0a 00000946: DUP1 00000947: SLOAD 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: NOT 0000095e: AND 0000095f: PUSH1 0x01 00000961: PUSH1 0xa0 00000963: PUSH1 0x02 00000965: EXP 00000966: SUB 00000967: SWAP3 00000968: SWAP1 00000969: SWAP3 0000096a: AND 0000096b: SWAP2 0000096c: SWAP1 0000096d: SWAP2 0000096e: OR 0000096f: SWAP1 00000970: SSTORE 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x05 00000975: SLOAD 00000976: CALLER 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: PUSH1 0x02 0000097d: EXP 0000097e: SUB 0000097f: SWAP1 00000980: DUP2 00000981: AND 00000982: SWAP2 00000983: AND 00000984: EQ 00000985: PUSH2 0x09c6 00000988: JUMPI 00000989: PUSH1 0x40 0000098b: DUP1 0000098c: MLOAD 0000098d: PUSH1 0xe5 0000098f: PUSH1 0x02 00000991: EXP 00000992: PUSH3 0x461bcd 00000996: MUL 00000997: DUP2 00000998: MSTORE 00000999: PUSH1 0x20 0000099b: PUSH1 0x04 0000099d: DUP3 0000099e: ADD 0000099f: MSTORE 000009a0: PUSH1 0x0a 000009a2: PUSH1 0x24 000009a4: DUP3 000009a5: ADD 000009a6: MSTORE 000009a7: PUSH1 0x00 000009a9: DUP1 000009aa: MLOAD 000009ab: PUSH1 0x20 000009ad: PUSH2 0x1150 000009b0: DUP4 000009b1: CODECOPY 000009b2: DUP2 000009b3: MLOAD 000009b4: SWAP2 000009b5: MSTORE 000009b6: PUSH1 0x44 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: SWAP1 000009bc: MLOAD 000009bd: SWAP1 000009be: DUP2 000009bf: SWAP1 000009c0: SUB 000009c1: PUSH1 0x64 000009c3: ADD 000009c4: SWAP1 000009c5: REVERT 000009c6: JUMPDEST 000009c7: PUSH1 0x09 000009c9: DUP1 000009ca: SLOAD 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: NOT 000009e1: AND 000009e2: PUSH1 0x01 000009e4: PUSH1 0xa0 000009e6: PUSH1 0x02 000009e8: EXP 000009e9: SUB 000009ea: SWAP3 000009eb: SWAP1 000009ec: SWAP3 000009ed: AND 000009ee: SWAP2 000009ef: SWAP1 000009f0: SWAP2 000009f1: OR 000009f2: SWAP1 000009f3: SSTORE 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x05 000009f8: SLOAD 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: PUSH1 0x02 000009ff: EXP 00000a00: SUB 00000a01: AND 00000a02: DUP2 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x02 00000a07: SLOAD 00000a08: DUP2 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH1 0x04 00000a0d: DUP1 00000a0e: SLOAD 00000a0f: PUSH1 0x40 00000a11: DUP1 00000a12: MLOAD 00000a13: PUSH1 0x20 00000a15: PUSH1 0x02 00000a17: PUSH1 0x01 00000a19: DUP6 00000a1a: AND 00000a1b: ISZERO 00000a1c: PUSH2 0x0100 00000a1f: MUL 00000a20: PUSH1 0x00 00000a22: NOT 00000a23: ADD 00000a24: SWAP1 00000a25: SWAP5 00000a26: AND 00000a27: SWAP4 00000a28: SWAP1 00000a29: SWAP4 00000a2a: DIV 00000a2b: PUSH1 0x1f 00000a2d: DUP2 00000a2e: ADD 00000a2f: DUP5 00000a30: SWAP1 00000a31: DIV 00000a32: DUP5 00000a33: MUL 00000a34: DUP3 00000a35: ADD 00000a36: DUP5 00000a37: ADD 00000a38: SWAP1 00000a39: SWAP3 00000a3a: MSTORE 00000a3b: DUP2 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: SWAP3 00000a3f: SWAP2 00000a40: DUP4 00000a41: ADD 00000a42: DUP3 00000a43: DUP3 00000a44: DUP1 00000a45: ISZERO 00000a46: PUSH2 0x05ed 00000a49: JUMPI 00000a4a: DUP1 00000a4b: PUSH1 0x1f 00000a4d: LT 00000a4e: PUSH2 0x05c2 00000a51: JUMPI 00000a52: PUSH2 0x0100 00000a55: DUP1 00000a56: DUP4 00000a57: SLOAD 00000a58: DIV 00000a59: MUL 00000a5a: DUP4 00000a5b: MSTORE 00000a5c: SWAP2 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP2 00000a61: PUSH2 0x05ed 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x05 00000a68: SLOAD 00000a69: CALLER 00000a6a: PUSH1 0x01 00000a6c: PUSH1 0xa0 00000a6e: PUSH1 0x02 00000a70: EXP 00000a71: SUB 00000a72: SWAP1 00000a73: DUP2 00000a74: AND 00000a75: SWAP2 00000a76: AND 00000a77: EQ 00000a78: PUSH2 0x0ab9 00000a7b: JUMPI 00000a7c: PUSH1 0x40 00000a7e: DUP1 00000a7f: MLOAD 00000a80: PUSH1 0xe5 00000a82: PUSH1 0x02 00000a84: EXP 00000a85: PUSH3 0x461bcd 00000a89: MUL 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x20 00000a8e: PUSH1 0x04 00000a90: DUP3 00000a91: ADD 00000a92: MSTORE 00000a93: PUSH1 0x0a 00000a95: PUSH1 0x24 00000a97: DUP3 00000a98: ADD 00000a99: MSTORE 00000a9a: PUSH1 0x00 00000a9c: DUP1 00000a9d: MLOAD 00000a9e: PUSH1 0x20 00000aa0: PUSH2 0x1150 00000aa3: DUP4 00000aa4: CODECOPY 00000aa5: DUP2 00000aa6: MLOAD 00000aa7: SWAP2 00000aa8: MSTORE 00000aa9: PUSH1 0x44 00000aab: DUP3 00000aac: ADD 00000aad: MSTORE 00000aae: SWAP1 00000aaf: MLOAD 00000ab0: SWAP1 00000ab1: DUP2 00000ab2: SWAP1 00000ab3: SUB 00000ab4: PUSH1 0x64 00000ab6: ADD 00000ab7: SWAP1 00000ab8: REVERT 00000ab9: JUMPDEST 00000aba: PUSH1 0x06 00000abc: DUP1 00000abd: SLOAD 00000abe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad3: NOT 00000ad4: AND 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: PUSH1 0x02 00000adb: EXP 00000adc: SUB 00000add: SWAP3 00000ade: SWAP1 00000adf: SWAP3 00000ae0: AND 00000ae1: SWAP2 00000ae2: SWAP1 00000ae3: SWAP2 00000ae4: OR 00000ae5: SWAP1 00000ae6: SSTORE 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH8 0x0de0b6b3a7640000 00000af2: DUP2 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH1 0x00 00000af7: PUSH2 0x0b01 00000afa: CALLER 00000afb: DUP5 00000afc: DUP5 00000afd: PUSH2 0x0f25 00000b00: JUMP 00000b01: JUMPDEST 00000b02: SWAP4 00000b03: SWAP3 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x05 00000b0b: SLOAD 00000b0c: PUSH1 0x00 00000b0e: SWAP1 00000b0f: CALLER 00000b10: PUSH1 0x01 00000b12: PUSH1 0xa0 00000b14: PUSH1 0x02 00000b16: EXP 00000b17: SUB 00000b18: SWAP1 00000b19: DUP2 00000b1a: AND 00000b1b: SWAP2 00000b1c: AND 00000b1d: EQ 00000b1e: PUSH2 0x0b5f 00000b21: JUMPI 00000b22: PUSH1 0x40 00000b24: DUP1 00000b25: MLOAD 00000b26: PUSH1 0xe5 00000b28: PUSH1 0x02 00000b2a: EXP 00000b2b: PUSH3 0x461bcd 00000b2f: MUL 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x20 00000b34: PUSH1 0x04 00000b36: DUP3 00000b37: ADD 00000b38: MSTORE 00000b39: PUSH1 0x0a 00000b3b: PUSH1 0x24 00000b3d: DUP3 00000b3e: ADD 00000b3f: MSTORE 00000b40: PUSH1 0x00 00000b42: DUP1 00000b43: MLOAD 00000b44: PUSH1 0x20 00000b46: PUSH2 0x1150 00000b49: DUP4 00000b4a: CODECOPY 00000b4b: DUP2 00000b4c: MLOAD 00000b4d: SWAP2 00000b4e: MSTORE 00000b4f: PUSH1 0x44 00000b51: DUP3 00000b52: ADD 00000b53: MSTORE 00000b54: SWAP1 00000b55: MLOAD 00000b56: SWAP1 00000b57: DUP2 00000b58: SWAP1 00000b59: SUB 00000b5a: PUSH1 0x64 00000b5c: ADD 00000b5d: SWAP1 00000b5e: REVERT 00000b5f: JUMPDEST 00000b60: PUSH2 0x0b68 00000b63: ADDRESS 00000b64: PUSH2 0x0c21 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH1 0x40 00000b6b: DUP1 00000b6c: MLOAD 00000b6d: DUP3 00000b6e: DUP2 00000b6f: MSTORE 00000b70: SWAP1 00000b71: MLOAD 00000b72: SWAP2 00000b73: SWAP3 00000b74: POP 00000b75: PUSH1 0x01 00000b77: PUSH1 0xa0 00000b79: PUSH1 0x02 00000b7b: EXP 00000b7c: SUB 00000b7d: CALLER 00000b7e: AND 00000b7f: SWAP2 00000b80: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000ba1: SWAP2 00000ba2: DUP2 00000ba3: SWAP1 00000ba4: SUB 00000ba5: PUSH1 0x20 00000ba7: ADD 00000ba8: SWAP1 00000ba9: LOG2 00000baa: PUSH1 0x01 00000bac: PUSH1 0xa0 00000bae: PUSH1 0x02 00000bb0: EXP 00000bb1: SUB 00000bb2: ADDRESS 00000bb3: AND 00000bb4: PUSH1 0x00 00000bb6: SWAP1 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x07 00000bbb: PUSH1 0x20 00000bbd: MSTORE 00000bbe: PUSH1 0x40 00000bc0: SWAP1 00000bc1: KECCAK256 00000bc2: SLOAD 00000bc3: PUSH2 0x0bd2 00000bc6: SWAP1 00000bc7: DUP3 00000bc8: PUSH4 0xffffffff 00000bcd: PUSH2 0x0558 00000bd0: AND 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0xa0 00000bd7: PUSH1 0x02 00000bd9: EXP 00000bda: SUB 00000bdb: ADDRESS 00000bdc: DUP2 00000bdd: AND 00000bde: PUSH1 0x00 00000be0: SWAP1 00000be1: DUP2 00000be2: MSTORE 00000be3: PUSH1 0x07 00000be5: PUSH1 0x20 00000be7: MSTORE 00000be8: PUSH1 0x40 00000bea: DUP1 00000beb: DUP3 00000bec: KECCAK256 00000bed: SWAP4 00000bee: SWAP1 00000bef: SWAP4 00000bf0: SSTORE 00000bf1: PUSH1 0x05 00000bf3: SLOAD 00000bf4: SWAP3 00000bf5: MLOAD 00000bf6: SWAP3 00000bf7: SWAP1 00000bf8: SWAP2 00000bf9: AND 00000bfa: SWAP2 00000bfb: DUP4 00000bfc: ISZERO 00000bfd: PUSH2 0x08fc 00000c00: MUL 00000c01: SWAP2 00000c02: DUP5 00000c03: SWAP2 00000c04: SWAP1 00000c05: DUP2 00000c06: DUP2 00000c07: DUP2 00000c08: DUP6 00000c09: DUP9 00000c0a: DUP9 00000c0b: CALL 00000c0c: SWAP4 00000c0d: POP 00000c0e: POP 00000c0f: POP 00000c10: POP 00000c11: ISZERO 00000c12: DUP1 00000c13: ISZERO 00000c14: PUSH2 0x08c1 00000c17: JUMPI 00000c18: RETURNDATASIZE 00000c19: PUSH1 0x00 00000c1b: DUP1 00000c1c: RETURNDATACOPY 00000c1d: RETURNDATASIZE 00000c1e: PUSH1 0x00 00000c20: REVERT 00000c21: JUMPDEST 00000c22: PUSH1 0x01 00000c24: PUSH1 0xa0 00000c26: PUSH1 0x02 00000c28: EXP 00000c29: SUB 00000c2a: DUP2 00000c2b: AND 00000c2c: PUSH1 0x00 00000c2e: SWAP1 00000c2f: DUP2 00000c30: MSTORE 00000c31: PUSH1 0x07 00000c33: PUSH1 0x20 00000c35: SWAP1 00000c36: DUP2 00000c37: MSTORE 00000c38: PUSH1 0x40 00000c3a: DUP1 00000c3b: DUP4 00000c3c: KECCAK256 00000c3d: SLOAD 00000c3e: PUSH1 0x0b 00000c40: DUP4 00000c41: MSTORE 00000c42: DUP2 00000c43: DUP5 00000c44: KECCAK256 00000c45: SLOAD 00000c46: PUSH1 0x0c 00000c48: SWAP1 00000c49: SWAP4 00000c4a: MSTORE 00000c4b: SWAP1 00000c4c: DUP4 00000c4d: KECCAK256 00000c4e: SLOAD 00000c4f: PUSH1 0x08 00000c51: SLOAD 00000c52: PUSH2 0x0c76 00000c55: SWAP4 00000c56: PUSH2 0x0c6a 00000c59: SWAP3 00000c5a: SWAP1 00000c5b: SWAP2 00000c5c: PUSH2 0x01a5 00000c5f: SWAP2 00000c60: PUSH4 0xffffffff 00000c65: PUSH2 0x1112 00000c68: AND 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: SWAP1 00000c6c: PUSH4 0xffffffff 00000c71: PUSH2 0x113d 00000c74: AND 00000c75: JUMP 00000c76: JUMPDEST 00000c77: SWAP3 00000c78: SWAP2 00000c79: POP 00000c7a: POP 00000c7b: JUMP 00000c7c: JUMPDEST 00000c7d: PUSH1 0x0a 00000c7f: SLOAD 00000c80: PUSH1 0x01 00000c82: PUSH1 0xa0 00000c84: PUSH1 0x02 00000c86: EXP 00000c87: SUB 00000c88: AND 00000c89: DUP2 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH1 0x00 00000c8e: CALLER 00000c8f: DUP1 00000c90: EXTCODESIZE 00000c91: DUP1 00000c92: ISZERO 00000c93: PUSH2 0x0ce6 00000c96: JUMPI 00000c97: PUSH1 0x40 00000c99: DUP1 00000c9a: MLOAD 00000c9b: PUSH1 0xe5 00000c9d: PUSH1 0x02 00000c9f: EXP 00000ca0: PUSH3 0x461bcd 00000ca4: MUL 00000ca5: DUP2 00000ca6: MSTORE 00000ca7: PUSH1 0x20 00000ca9: PUSH1 0x04 00000cab: DUP3 00000cac: ADD 00000cad: MSTORE 00000cae: PUSH1 0x11 00000cb0: PUSH1 0x24 00000cb2: DUP3 00000cb3: ADD 00000cb4: MSTORE 00000cb5: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000 00000cd6: PUSH1 0x44 00000cd8: DUP3 00000cd9: ADD 00000cda: MSTORE 00000cdb: SWAP1 00000cdc: MLOAD 00000cdd: SWAP1 00000cde: DUP2 00000cdf: SWAP1 00000ce0: SUB 00000ce1: PUSH1 0x64 00000ce3: ADD 00000ce4: SWAP1 00000ce5: REVERT 00000ce6: JUMPDEST 00000ce7: PUSH1 0x00 00000ce9: DUP5 00000cea: GT 00000ceb: PUSH2 0x0cf3 00000cee: JUMPI 00000cef: PUSH1 0x00 00000cf1: DUP1 00000cf2: REVERT 00000cf3: JUMPDEST 00000cf4: PUSH2 0x0d0b 00000cf7: DUP5 00000cf8: PUSH8 0x0de0b6b3a7640000 00000d01: PUSH4 0xffffffff 00000d06: PUSH2 0x1112 00000d09: AND 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: SWAP3 00000d0d: POP 00000d0e: CALLVALUE 00000d0f: DUP4 00000d10: EQ 00000d11: PUSH2 0x0d19 00000d14: JUMPI 00000d15: PUSH1 0x00 00000d17: DUP1 00000d18: REVERT 00000d19: JUMPDEST 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: PUSH1 0x02 00000d20: EXP 00000d21: SUB 00000d22: ADDRESS 00000d23: AND 00000d24: PUSH1 0x00 00000d26: SWAP1 00000d27: DUP2 00000d28: MSTORE 00000d29: PUSH1 0x0c 00000d2b: PUSH1 0x20 00000d2d: MSTORE 00000d2e: PUSH1 0x40 00000d30: SWAP1 00000d31: KECCAK256 00000d32: SLOAD 00000d33: DUP5 00000d34: GT 00000d35: ISZERO 00000d36: PUSH2 0x0d3e 00000d39: JUMPI 00000d3a: PUSH1 0x00 00000d3c: DUP1 00000d3d: REVERT 00000d3e: JUMPDEST 00000d3f: PUSH1 0x02 00000d41: SLOAD 00000d42: PUSH1 0x01 00000d44: SLOAD 00000d45: SUB 00000d46: DUP5 00000d47: GT 00000d48: ISZERO 00000d49: PUSH2 0x0d9c 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: DUP1 00000d50: MLOAD 00000d51: PUSH1 0xe5 00000d53: PUSH1 0x02 00000d55: EXP 00000d56: PUSH3 0x461bcd 00000d5a: MUL 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: PUSH1 0x04 00000d61: DUP3 00000d62: ADD 00000d63: MSTORE 00000d64: PUSH1 0x08 00000d66: PUSH1 0x24 00000d68: DUP3 00000d69: ADD 00000d6a: MSTORE 00000d6b: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000 00000d8c: PUSH1 0x44 00000d8e: DUP3 00000d8f: ADD 00000d90: MSTORE 00000d91: SWAP1 00000d92: MLOAD 00000d93: SWAP1 00000d94: DUP2 00000d95: SWAP1 00000d96: SUB 00000d97: PUSH1 0x64 00000d99: ADD 00000d9a: SWAP1 00000d9b: REVERT 00000d9c: JUMPDEST 00000d9d: PUSH2 0x0da7 00000da0: ADDRESS 00000da1: CALLER 00000da2: DUP7 00000da3: PUSH2 0x0f25 00000da6: JUMP 00000da7: JUMPDEST 00000da8: POP 00000da9: PUSH1 0x06 00000dab: SLOAD 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: PUSH1 0x02 00000db2: EXP 00000db3: SUB 00000db4: AND 00000db5: PUSH2 0x08fc 00000db8: PUSH2 0x0dd9 00000dbb: PUSH1 0x64 00000dbd: PUSH2 0x0dcd 00000dc0: DUP8 00000dc1: PUSH1 0x3c 00000dc3: PUSH4 0xffffffff 00000dc8: PUSH2 0x1112 00000dcb: AND 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: SWAP1 00000dcf: PUSH4 0xffffffff 00000dd4: PUSH2 0x0519 00000dd7: AND 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: PUSH1 0x40 00000ddc: MLOAD 00000ddd: DUP2 00000dde: ISZERO 00000ddf: SWAP1 00000de0: SWAP3 00000de1: MUL 00000de2: SWAP2 00000de3: PUSH1 0x00 00000de5: DUP2 00000de6: DUP2 00000de7: DUP2 00000de8: DUP6 00000de9: DUP9 00000dea: DUP9 00000deb: CALL 00000dec: SWAP4 00000ded: POP 00000dee: POP 00000def: POP 00000df0: POP 00000df1: ISZERO 00000df2: DUP1 00000df3: ISZERO 00000df4: PUSH2 0x0e01 00000df7: JUMPI 00000df8: RETURNDATASIZE 00000df9: PUSH1 0x00 00000dfb: DUP1 00000dfc: RETURNDATACOPY 00000dfd: RETURNDATASIZE 00000dfe: PUSH1 0x00 00000e00: REVERT 00000e01: JUMPDEST 00000e02: POP 00000e03: PUSH1 0x09 00000e05: SLOAD 00000e06: PUSH1 0x01 00000e08: PUSH1 0xa0 00000e0a: PUSH1 0x02 00000e0c: EXP 00000e0d: SUB 00000e0e: AND 00000e0f: PUSH2 0x08fc 00000e12: PUSH2 0x0e27 00000e15: PUSH1 0x64 00000e17: PUSH2 0x0dcd 00000e1a: DUP8 00000e1b: PUSH1 0x14 00000e1d: PUSH4 0xffffffff 00000e22: PUSH2 0x1112 00000e25: AND 00000e26: JUMP 00000e27: JUMPDEST 00000e28: PUSH1 0x40 00000e2a: MLOAD 00000e2b: DUP2 00000e2c: ISZERO 00000e2d: SWAP1 00000e2e: SWAP3 00000e2f: MUL 00000e30: SWAP2 00000e31: PUSH1 0x00 00000e33: DUP2 00000e34: DUP2 00000e35: DUP2 00000e36: DUP6 00000e37: DUP9 00000e38: DUP9 00000e39: CALL 00000e3a: SWAP4 00000e3b: POP 00000e3c: POP 00000e3d: POP 00000e3e: POP 00000e3f: ISZERO 00000e40: DUP1 00000e41: ISZERO 00000e42: PUSH2 0x0e4f 00000e45: JUMPI 00000e46: RETURNDATASIZE 00000e47: PUSH1 0x00 00000e49: DUP1 00000e4a: RETURNDATACOPY 00000e4b: RETURNDATASIZE 00000e4c: PUSH1 0x00 00000e4e: REVERT 00000e4f: JUMPDEST 00000e50: POP 00000e51: PUSH1 0x0a 00000e53: SLOAD 00000e54: PUSH1 0x01 00000e56: PUSH1 0xa0 00000e58: PUSH1 0x02 00000e5a: EXP 00000e5b: SUB 00000e5c: AND 00000e5d: PUSH4 0x30cc248e 00000e62: PUSH2 0x0e77 00000e65: PUSH1 0x64 00000e67: PUSH2 0x0dcd 00000e6a: DUP8 00000e6b: PUSH1 0x14 00000e6d: PUSH4 0xffffffff 00000e72: PUSH2 0x1112 00000e75: AND 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x40 00000e7a: MLOAD 00000e7b: DUP3 00000e7c: PUSH4 0xffffffff 00000e81: AND 00000e82: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000ea0: MUL 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH1 0x04 00000ea5: ADD 00000ea6: PUSH1 0x20 00000ea8: PUSH1 0x40 00000eaa: MLOAD 00000eab: DUP1 00000eac: DUP4 00000ead: SUB 00000eae: DUP2 00000eaf: DUP6 00000eb0: DUP9 00000eb1: DUP1 00000eb2: EXTCODESIZE 00000eb3: ISZERO 00000eb4: DUP1 00000eb5: ISZERO 00000eb6: PUSH2 0x0ebe 00000eb9: JUMPI 00000eba: PUSH1 0x00 00000ebc: DUP1 00000ebd: REVERT 00000ebe: JUMPDEST 00000ebf: POP 00000ec0: GAS 00000ec1: CALL 00000ec2: ISZERO 00000ec3: DUP1 00000ec4: ISZERO 00000ec5: PUSH2 0x0ed2 00000ec8: JUMPI 00000ec9: RETURNDATASIZE 00000eca: PUSH1 0x00 00000ecc: DUP1 00000ecd: RETURNDATACOPY 00000ece: RETURNDATASIZE 00000ecf: PUSH1 0x00 00000ed1: REVERT 00000ed2: JUMPDEST 00000ed3: POP 00000ed4: POP 00000ed5: POP 00000ed6: POP 00000ed7: POP 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: RETURNDATASIZE 00000edc: PUSH1 0x20 00000ede: DUP2 00000edf: LT 00000ee0: ISZERO 00000ee1: PUSH2 0x0ee9 00000ee4: JUMPI 00000ee5: PUSH1 0x00 00000ee7: DUP1 00000ee8: REVERT 00000ee9: JUMPDEST 00000eea: POP 00000eeb: POP 00000eec: PUSH1 0x02 00000eee: DUP1 00000eef: SLOAD 00000ef0: SWAP1 00000ef1: SWAP5 00000ef2: ADD 00000ef3: SWAP1 00000ef4: SWAP4 00000ef5: SSTORE 00000ef6: POP 00000ef7: POP 00000ef8: POP 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH1 0x01 00000efd: PUSH1 0xa0 00000eff: PUSH1 0x02 00000f01: EXP 00000f02: SUB 00000f03: SWAP2 00000f04: DUP3 00000f05: AND 00000f06: PUSH1 0x00 00000f08: SWAP1 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x0d 00000f0d: PUSH1 0x20 00000f0f: SWAP1 00000f10: DUP2 00000f11: MSTORE 00000f12: PUSH1 0x40 00000f14: DUP1 00000f15: DUP4 00000f16: KECCAK256 00000f17: SWAP4 00000f18: SWAP1 00000f19: SWAP5 00000f1a: AND 00000f1b: DUP3 00000f1c: MSTORE 00000f1d: SWAP2 00000f1e: SWAP1 00000f1f: SWAP2 00000f20: MSTORE 00000f21: KECCAK256 00000f22: SLOAD 00000f23: SWAP1 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: DUP1 00000f2a: DUP1 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0xa0 00000f2f: PUSH1 0x02 00000f31: EXP 00000f32: SUB 00000f33: DUP7 00000f34: AND 00000f35: ISZERO 00000f36: ISZERO 00000f37: PUSH2 0x0f8a 00000f3a: JUMPI 00000f3b: PUSH1 0x40 00000f3d: DUP1 00000f3e: MLOAD 00000f3f: PUSH1 0xe5 00000f41: PUSH1 0x02 00000f43: EXP 00000f44: PUSH3 0x461bcd 00000f48: MUL 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: PUSH1 0x04 00000f4f: DUP3 00000f50: ADD 00000f51: MSTORE 00000f52: PUSH1 0x1f 00000f54: PUSH1 0x24 00000f56: DUP3 00000f57: ADD 00000f58: MSTORE 00000f59: PUSH32 0x526563656976657220616464726573732063616e6e6f74206265206e756c6c00 00000f7a: PUSH1 0x44 00000f7c: DUP3 00000f7d: ADD 00000f7e: MSTORE 00000f7f: SWAP1 00000f80: MLOAD 00000f81: SWAP1 00000f82: DUP2 00000f83: SWAP1 00000f84: SUB 00000f85: PUSH1 0x64 00000f87: ADD 00000f88: SWAP1 00000f89: REVERT 00000f8a: JUMPDEST 00000f8b: PUSH1 0x01 00000f8d: PUSH1 0xa0 00000f8f: PUSH1 0x02 00000f91: EXP 00000f92: SUB 00000f93: DUP8 00000f94: DUP2 00000f95: AND 00000f96: SWAP1 00000f97: DUP8 00000f98: AND 00000f99: EQ 00000f9a: ISZERO 00000f9b: PUSH2 0x0fa3 00000f9e: JUMPI 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: REVERT 00000fa3: JUMPDEST 00000fa4: PUSH1 0x00 00000fa6: DUP6 00000fa7: GT 00000fa8: DUP1 00000fa9: ISZERO 00000faa: PUSH2 0x0fcb 00000fad: JUMPI 00000fae: POP 00000faf: PUSH1 0x01 00000fb1: PUSH1 0xa0 00000fb3: PUSH1 0x02 00000fb5: EXP 00000fb6: SUB 00000fb7: DUP8 00000fb8: AND 00000fb9: PUSH1 0x00 00000fbb: SWAP1 00000fbc: DUP2 00000fbd: MSTORE 00000fbe: PUSH1 0x0c 00000fc0: PUSH1 0x20 00000fc2: MSTORE 00000fc3: PUSH1 0x40 00000fc5: SWAP1 00000fc6: KECCAK256 00000fc7: SLOAD 00000fc8: DUP6 00000fc9: GT 00000fca: ISZERO 00000fcb: JUMPDEST 00000fcc: ISZERO 00000fcd: ISZERO 00000fce: PUSH2 0x0fd6 00000fd1: JUMPI 00000fd2: PUSH1 0x00 00000fd4: DUP1 00000fd5: REVERT 00000fd6: JUMPDEST 00000fd7: PUSH1 0x01 00000fd9: PUSH1 0xa0 00000fdb: PUSH1 0x02 00000fdd: EXP 00000fde: SUB 00000fdf: DUP7 00000fe0: AND 00000fe1: PUSH1 0x00 00000fe3: SWAP1 00000fe4: DUP2 00000fe5: MSTORE 00000fe6: PUSH1 0x0c 00000fe8: PUSH1 0x20 00000fea: MSTORE 00000feb: PUSH1 0x40 00000fed: SWAP1 00000fee: KECCAK256 00000fef: SLOAD 00000ff0: DUP1 00000ff1: DUP7 00000ff2: ADD 00000ff3: SWAP4 00000ff4: POP 00000ff5: DUP4 00000ff6: LT 00000ff7: ISZERO 00000ff8: PUSH2 0x0ffd 00000ffb: JUMPI 00000ffc: INVALID 00000ffd: JUMPDEST 00000ffe: PUSH1 0x01 00001000: PUSH1 0xa0 00001002: PUSH1 0x02 00001004: EXP 00001005: SUB 00001006: DUP1 00001007: DUP9 00001008: AND 00001009: PUSH1 0x00 0000100b: DUP2 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x0c 00001010: PUSH1 0x20 00001012: MSTORE 00001013: PUSH1 0x40 00001015: DUP1 00001016: DUP3 00001017: KECCAK256 00001018: DUP1 00001019: SLOAD 0000101a: SWAP5 0000101b: DUP12 0000101c: AND 0000101d: DUP4 0000101e: MSTORE 0000101f: SWAP1 00001020: DUP3 00001021: KECCAK256 00001022: DUP8 00001023: SWAP1 00001024: SSTORE 00001025: SWAP2 00001026: SWAP1 00001027: MSTORE 00001028: SWAP1 00001029: DUP7 0000102a: SWAP1 0000102b: SUB 0000102c: SWAP1 0000102d: DUP2 0000102e: SWAP1 0000102f: SSTORE 00001030: PUSH1 0x08 00001032: SLOAD 00001033: SWAP1 00001034: SWAP3 00001035: POP 00001036: PUSH2 0x1046 00001039: SWAP1 0000103a: DUP7 0000103b: SWAP1 0000103c: PUSH4 0xffffffff 00001041: PUSH2 0x1112 00001044: AND 00001045: JUMP 00001046: JUMPDEST 00001047: PUSH1 0x01 00001049: PUSH1 0xa0 0000104b: PUSH1 0x02 0000104d: EXP 0000104e: SUB 0000104f: DUP9 00001050: AND 00001051: PUSH1 0x00 00001053: SWAP1 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x0b 00001058: PUSH1 0x20 0000105a: MSTORE 0000105b: PUSH1 0x40 0000105d: SWAP1 0000105e: KECCAK256 0000105f: SLOAD 00001060: SWAP1 00001061: SWAP2 00001062: POP 00001063: PUSH2 0x1072 00001066: SWAP1 00001067: DUP3 00001068: PUSH4 0xffffffff 0000106d: PUSH2 0x0558 00001070: AND 00001071: JUMP 00001072: JUMPDEST 00001073: PUSH1 0x01 00001075: PUSH1 0xa0 00001077: PUSH1 0x02 00001079: EXP 0000107a: SUB 0000107b: DUP1 0000107c: DUP10 0000107d: AND 0000107e: PUSH1 0x00 00001080: SWAP1 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x0b 00001085: PUSH1 0x20 00001087: SWAP1 00001088: DUP2 00001089: MSTORE 0000108a: PUSH1 0x40 0000108c: DUP1 0000108d: DUP4 0000108e: KECCAK256 0000108f: SWAP5 00001090: SWAP1 00001091: SWAP5 00001092: SSTORE 00001093: SWAP2 00001094: DUP10 00001095: AND 00001096: DUP2 00001097: MSTORE 00001098: PUSH1 0x07 0000109a: SWAP1 0000109b: SWAP2 0000109c: MSTORE 0000109d: KECCAK256 0000109e: SLOAD 0000109f: PUSH2 0x10ae 000010a2: SWAP1 000010a3: DUP3 000010a4: PUSH4 0xffffffff 000010a9: PUSH2 0x0558 000010ac: AND 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH1 0x01 000010b1: PUSH1 0xa0 000010b3: PUSH1 0x02 000010b5: EXP 000010b6: SUB 000010b7: DUP1 000010b8: DUP9 000010b9: AND 000010ba: PUSH1 0x00 000010bc: DUP2 000010bd: DUP2 000010be: MSTORE 000010bf: PUSH1 0x07 000010c1: PUSH1 0x20 000010c3: SWAP1 000010c4: DUP2 000010c5: MSTORE 000010c6: PUSH1 0x40 000010c8: SWAP2 000010c9: DUP3 000010ca: SWAP1 000010cb: KECCAK256 000010cc: SWAP5 000010cd: SWAP1 000010ce: SWAP5 000010cf: SSTORE 000010d0: DUP1 000010d1: MLOAD 000010d2: DUP10 000010d3: DUP2 000010d4: MSTORE 000010d5: SWAP1 000010d6: MLOAD 000010d7: SWAP2 000010d8: SWAP4 000010d9: SWAP3 000010da: DUP12 000010db: AND 000010dc: SWAP3 000010dd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010fe: SWAP3 000010ff: SWAP2 00001100: DUP3 00001101: SWAP1 00001102: SUB 00001103: ADD 00001104: SWAP1 00001105: LOG3 00001106: POP 00001107: PUSH1 0x01 00001109: SWAP7 0000110a: SWAP6 0000110b: POP 0000110c: POP 0000110d: POP 0000110e: POP 0000110f: POP 00001110: POP 00001111: JUMP 00001112: JUMPDEST 00001113: PUSH1 0x00 00001115: DUP1 00001116: DUP4 00001117: ISZERO 00001118: ISZERO 00001119: PUSH2 0x1125 0000111c: JUMPI 0000111d: PUSH1 0x00 0000111f: SWAP2 00001120: POP 00001121: PUSH2 0x0551 00001124: JUMP 00001125: JUMPDEST 00001126: POP 00001127: DUP3 00001128: DUP3 00001129: MUL 0000112a: DUP3 0000112b: DUP5 0000112c: DUP3 0000112d: DUP2 0000112e: ISZERO 0000112f: ISZERO 00001130: PUSH2 0x1135 00001133: JUMPI 00001134: INVALID 00001135: JUMPDEST 00001136: DIV 00001137: EQ 00001138: PUSH2 0x054d 0000113b: JUMPI 0000113c: INVALID 0000113d: JUMPDEST 0000113e: PUSH1 0x00 00001140: DUP3 00001141: DUP3 00001142: GT 00001143: ISZERO 00001144: PUSH2 0x1149 00001147: JUMPI 00001148: INVALID 00001149: JUMPDEST 0000114a: POP 0000114b: SWAP1 0000114c: SUB 0000114d: SWAP1 0000114e: JUMP 0000114f: STOP 00001150: PUSH16 0x6e6c79206f776e657200000000000000 00001161: STOP 00001162: STOP 00001163: STOP 00001164: STOP 00001165: STOP 00001166: STOP 00001167: STOP 00001168: STOP 00001169: STOP 0000116a: STOP 0000116b: STOP 0000116c: STOP 0000116d: STOP 0000116e: STOP 0000116f: STOP 00001170: LOG1 00001171: PUSH6 0x627a7a723058 00001178: KECCAK256 00001179: JUMPDEST 0000117a: UNKNOWN(0xC0) 0000117b: PUSH26 0xf43da3b67c0098f0eb1c02696e3fc3e988203f0d298202aa6cc0 00001196: CREATE2 00001197: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x938692b64f95c96d17cc5f95c5ac271f58f22b1f7d5532d5c085e57b315070f4
call_targets:
0xb9dad061b4ada5825abc2c9914e89181c0cdc56c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x938692b64f95c96d17cc5f95c5ac271f58f22b1f7d5532d5c085e57b315070f4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb9dad061b4ada5825abc2c9914e89181c0cdc56c"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3083,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3563,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x938692b64f95c96d17cc5f95c5ac271f58f22b1f7d5532d5c085e57b315070f4
call_targets:
0xb9dad061b4ada5825abc2c9914e89181c0cdc56c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x938692b64f95c96d17cc5f95c5ac271f58f22b1f7d5532d5c085e57b315070f4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb9dad061b4ada5825abc2c9914e89181c0cdc56c"
],
"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": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3083,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3563,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xda26afc86a4c0407763fe517a0390554f0da459f092a47f8943e88afba455940
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xda26afc86a4c0407763fe517a0390554f0da459f092a47f8943e88afba455940",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30cc248e",
"selector": "0x30cc248e",
"calldata_variants": [
"0x30cc248e",
"0x30cc248e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313b7b19",
"selector": "0x313b7b19",
"calldata_variants": [
"0x313b7b19",
"0x313b7b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|