019b477e-b95e-70ff-9953-3fa9c761b79f
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 |
|---|---|---|---|---|
| 23587 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23588 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107645 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107646 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107647 | detector.run | complete | 1 / 3 | 1 week ago |
| 107648 | 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 0x01a0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x53cc2634 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa457c2d7 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa457c2d7 0000003a: EQ 0000003b: PUSH2 0x058e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa9059cbb 00000045: EQ 00000046: PUSH2 0x05c7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xcecf01df 00000050: EQ 00000051: PUSH2 0x0600 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdd62ed3e 0000005b: EQ 0000005c: PUSH2 0x0615 0000005f: JUMPI 00000060: PUSH2 0x01b1 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x95d89b41 0000006b: EQ 0000006c: PUSH2 0x0531 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x997664d7 00000076: EQ 00000077: PUSH2 0x0546 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa2030b34 00000081: EQ 00000082: PUSH2 0x055b 00000085: JUMPI 00000086: PUSH2 0x01b1 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x6cdc3538 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6cdc3538 0000009c: EQ 0000009d: PUSH2 0x0483 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x6e2d9c38 000000a7: EQ 000000a8: PUSH2 0x04b6 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x70a08231 000000b2: EQ 000000b3: PUSH2 0x04e9 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x714a35fb 000000bd: EQ 000000be: PUSH2 0x051c 000000c1: JUMPI 000000c2: PUSH2 0x01b1 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x53cc2634 000000cd: EQ 000000ce: PUSH2 0x041e 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x56891412 000000d8: EQ 000000d9: PUSH2 0x0433 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x5814ad80 000000e3: EQ 000000e4: PUSH2 0x0448 000000e7: JUMPI 000000e8: PUSH2 0x01b1 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x22f4596f 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x313ce567 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x313ce567 00000109: EQ 0000010a: PUSH2 0x0388 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x39509351 00000114: EQ 00000115: PUSH2 0x039d 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x42f00a92 0000011f: EQ 00000120: PUSH2 0x03d6 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x4a4fb5d6 0000012a: EQ 0000012b: PUSH2 0x0409 0000012e: JUMPI 0000012f: PUSH2 0x01b1 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x22f4596f 0000013a: EQ 0000013b: PUSH2 0x031b 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x23b872dd 00000145: EQ 00000146: PUSH2 0x0330 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x27b91109 00000150: EQ 00000151: PUSH2 0x0373 00000154: JUMPI 00000155: PUSH2 0x01b1 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x027471b0 00000160: EQ 00000161: PUSH2 0x01b6 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x0300e128 0000016b: EQ 0000016c: PUSH2 0x01df 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x06fdde03 00000176: EQ 00000177: PUSH2 0x020b 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x095ea7b3 00000181: EQ 00000182: PUSH2 0x0295 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x02ce 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x1a265863 00000197: EQ 00000198: PUSH2 0x02f5 0000019b: JUMPI 0000019c: PUSH2 0x01b1 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLDATASIZE 000001a2: PUSH2 0x01b1 000001a5: JUMPI 000001a6: PUSH2 0x01af 000001a9: PUSH1 0x00 000001ab: PUSH2 0x0650 000001ae: JUMP 000001af: JUMPDEST 000001b0: STOP 000001b1: JUMPDEST 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01cb 000001c7: PUSH2 0x0a86 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: DUP1 000001cf: MLOAD 000001d0: SWAP2 000001d1: ISZERO 000001d2: ISZERO 000001d3: DUP3 000001d4: MSTORE 000001d5: MLOAD 000001d6: SWAP1 000001d7: DUP2 000001d8: SWAP1 000001d9: SUB 000001da: PUSH1 0x20 000001dc: ADD 000001dd: SWAP1 000001de: RETURN 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x01af 000001f0: PUSH1 0x04 000001f2: DUP1 000001f3: CALLDATASIZE 000001f4: SUB 000001f5: PUSH1 0x20 000001f7: DUP2 000001f8: LT 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: CALLDATALOAD 00000205: ISZERO 00000206: ISZERO 00000207: PUSH2 0x0a8f 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x0220 0000021c: PUSH2 0x0af5 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH1 0x40 00000223: DUP1 00000224: MLOAD 00000225: PUSH1 0x20 00000227: DUP1 00000228: DUP3 00000229: MSTORE 0000022a: DUP4 0000022b: MLOAD 0000022c: DUP2 0000022d: DUP4 0000022e: ADD 0000022f: MSTORE 00000230: DUP4 00000231: MLOAD 00000232: SWAP2 00000233: SWAP3 00000234: DUP4 00000235: SWAP3 00000236: SWAP1 00000237: DUP4 00000238: ADD 00000239: SWAP2 0000023a: DUP6 0000023b: ADD 0000023c: SWAP1 0000023d: DUP1 0000023e: DUP4 0000023f: DUP4 00000240: PUSH1 0x00 00000242: JUMPDEST 00000243: DUP4 00000244: DUP2 00000245: LT 00000246: ISZERO 00000247: PUSH2 0x025a 0000024a: JUMPI 0000024b: DUP2 0000024c: DUP2 0000024d: ADD 0000024e: MLOAD 0000024f: DUP4 00000250: DUP3 00000251: ADD 00000252: MSTORE 00000253: PUSH1 0x20 00000255: ADD 00000256: PUSH2 0x0242 00000259: JUMP 0000025a: JUMPDEST 0000025b: POP 0000025c: POP 0000025d: POP 0000025e: POP 0000025f: SWAP1 00000260: POP 00000261: SWAP1 00000262: DUP2 00000263: ADD 00000264: SWAP1 00000265: PUSH1 0x1f 00000267: AND 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0287 0000026d: JUMPI 0000026e: DUP1 0000026f: DUP3 00000270: SUB 00000271: DUP1 00000272: MLOAD 00000273: PUSH1 0x01 00000275: DUP4 00000276: PUSH1 0x20 00000278: SUB 00000279: PUSH2 0x0100 0000027c: EXP 0000027d: SUB 0000027e: NOT 0000027f: AND 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x20 00000284: ADD 00000285: SWAP2 00000286: POP 00000287: JUMPDEST 00000288: POP 00000289: SWAP3 0000028a: POP 0000028b: POP 0000028c: POP 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: DUP1 00000291: SWAP2 00000292: SUB 00000293: SWAP1 00000294: RETURN 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH2 0x01cb 000002a6: PUSH1 0x04 000002a8: DUP1 000002a9: CALLDATASIZE 000002aa: SUB 000002ab: PUSH1 0x40 000002ad: DUP2 000002ae: LT 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: POP 000002ba: PUSH1 0x01 000002bc: PUSH1 0x01 000002be: PUSH1 0xa0 000002c0: SHL 000002c1: SUB 000002c2: DUP2 000002c3: CALLDATALOAD 000002c4: AND 000002c5: SWAP1 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: CALLDATALOAD 000002ca: PUSH2 0x0b1a 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x02e3 000002df: PUSH2 0x0b31 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: DUP1 000002e7: MLOAD 000002e8: SWAP2 000002e9: DUP3 000002ea: MSTORE 000002eb: MLOAD 000002ec: SWAP1 000002ed: DUP2 000002ee: SWAP1 000002ef: SUB 000002f0: PUSH1 0x20 000002f2: ADD 000002f3: SWAP1 000002f4: RETURN 000002f5: JUMPDEST 000002f6: PUSH2 0x01af 000002f9: PUSH1 0x04 000002fb: DUP1 000002fc: CALLDATASIZE 000002fd: SUB 000002fe: PUSH1 0x20 00000300: DUP2 00000301: LT 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: CALLDATALOAD 0000030e: PUSH1 0x01 00000310: PUSH1 0x01 00000312: PUSH1 0xa0 00000314: SHL 00000315: SUB 00000316: AND 00000317: PUSH2 0x0650 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 0x02e3 0000032c: PUSH2 0x0b37 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 0x01cb 00000341: PUSH1 0x04 00000343: DUP1 00000344: CALLDATASIZE 00000345: SUB 00000346: PUSH1 0x60 00000348: DUP2 00000349: LT 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH1 0x01 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: SHL 0000035c: SUB 0000035d: DUP2 0000035e: CALLDATALOAD 0000035f: DUP2 00000360: AND 00000361: SWAP2 00000362: PUSH1 0x20 00000364: DUP2 00000365: ADD 00000366: CALLDATALOAD 00000367: SWAP1 00000368: SWAP2 00000369: AND 0000036a: SWAP1 0000036b: PUSH1 0x40 0000036d: ADD 0000036e: CALLDATALOAD 0000036f: PUSH2 0x0b3d 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x02e3 00000384: PUSH2 0x0bac 00000387: JUMP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: POP 00000396: PUSH2 0x02e3 00000399: PUSH2 0x0bb2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH2 0x01cb 000003ae: PUSH1 0x04 000003b0: DUP1 000003b1: CALLDATASIZE 000003b2: SUB 000003b3: PUSH1 0x40 000003b5: DUP2 000003b6: LT 000003b7: ISZERO 000003b8: PUSH2 0x03c0 000003bb: JUMPI 000003bc: PUSH1 0x00 000003be: DUP1 000003bf: REVERT 000003c0: JUMPDEST 000003c1: POP 000003c2: PUSH1 0x01 000003c4: PUSH1 0x01 000003c6: PUSH1 0xa0 000003c8: SHL 000003c9: SUB 000003ca: DUP2 000003cb: CALLDATALOAD 000003cc: AND 000003cd: SWAP1 000003ce: PUSH1 0x20 000003d0: ADD 000003d1: CALLDATALOAD 000003d2: PUSH2 0x0bb7 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x01cb 000003e7: PUSH1 0x04 000003e9: DUP1 000003ea: CALLDATASIZE 000003eb: SUB 000003ec: PUSH1 0x20 000003ee: DUP2 000003ef: LT 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: POP 000003fb: CALLDATALOAD 000003fc: PUSH1 0x01 000003fe: PUSH1 0x01 00000400: PUSH1 0xa0 00000402: SHL 00000403: SUB 00000404: AND 00000405: PUSH2 0x0bf3 00000408: JUMP 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x02e3 0000041a: PUSH2 0x0c08 0000041d: JUMP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x01af 0000042f: PUSH2 0x0c0e 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH2 0x02e3 00000444: PUSH2 0x0ef6 00000447: JUMP 00000448: JUMPDEST 00000449: CALLVALUE 0000044a: DUP1 0000044b: ISZERO 0000044c: PUSH2 0x0454 0000044f: JUMPI 00000450: PUSH1 0x00 00000452: DUP1 00000453: REVERT 00000454: JUMPDEST 00000455: POP 00000456: PUSH2 0x01af 00000459: PUSH1 0x04 0000045b: DUP1 0000045c: CALLDATASIZE 0000045d: SUB 0000045e: PUSH1 0x40 00000460: DUP2 00000461: LT 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH1 0x01 0000046f: PUSH1 0x01 00000471: PUSH1 0xa0 00000473: SHL 00000474: SUB 00000475: DUP2 00000476: CALLDATALOAD 00000477: AND 00000478: SWAP1 00000479: PUSH1 0x20 0000047b: ADD 0000047c: CALLDATALOAD 0000047d: ISZERO 0000047e: ISZERO 0000047f: PUSH2 0x0efc 00000482: JUMP 00000483: JUMPDEST 00000484: CALLVALUE 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x048f 0000048a: JUMPI 0000048b: PUSH1 0x00 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x02e3 00000494: PUSH1 0x04 00000496: DUP1 00000497: CALLDATASIZE 00000498: SUB 00000499: PUSH1 0x20 0000049b: DUP2 0000049c: LT 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: CALLDATALOAD 000004a9: PUSH1 0x01 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SUB 000004b1: AND 000004b2: PUSH2 0x0fc7 000004b5: JUMP 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x02e3 000004c7: PUSH1 0x04 000004c9: DUP1 000004ca: CALLDATASIZE 000004cb: SUB 000004cc: PUSH1 0x20 000004ce: DUP2 000004cf: LT 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: CALLDATALOAD 000004dc: PUSH1 0x01 000004de: PUSH1 0x01 000004e0: PUSH1 0xa0 000004e2: SHL 000004e3: SUB 000004e4: AND 000004e5: PUSH2 0x0fd9 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH2 0x02e3 000004fa: PUSH1 0x04 000004fc: DUP1 000004fd: CALLDATASIZE 000004fe: SUB 000004ff: PUSH1 0x20 00000501: DUP2 00000502: LT 00000503: ISZERO 00000504: PUSH2 0x050c 00000507: JUMPI 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: CALLDATALOAD 0000050f: PUSH1 0x01 00000511: PUSH1 0x01 00000513: PUSH1 0xa0 00000515: SHL 00000516: SUB 00000517: AND 00000518: PUSH2 0x0feb 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLVALUE 0000051e: DUP1 0000051f: ISZERO 00000520: PUSH2 0x0528 00000523: JUMPI 00000524: PUSH1 0x00 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: POP 0000052a: PUSH2 0x01cb 0000052d: PUSH2 0x1006 00000530: JUMP 00000531: JUMPDEST 00000532: CALLVALUE 00000533: DUP1 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH2 0x0220 00000542: PUSH2 0x100f 00000545: JUMP 00000546: JUMPDEST 00000547: CALLVALUE 00000548: DUP1 00000549: ISZERO 0000054a: PUSH2 0x0552 0000054d: JUMPI 0000054e: PUSH1 0x00 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: POP 00000554: PUSH2 0x02e3 00000557: PUSH2 0x102e 0000055a: JUMP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x02e3 0000056c: PUSH1 0x04 0000056e: DUP1 0000056f: CALLDATASIZE 00000570: SUB 00000571: PUSH1 0x20 00000573: DUP2 00000574: LT 00000575: ISZERO 00000576: PUSH2 0x057e 00000579: JUMPI 0000057a: PUSH1 0x00 0000057c: DUP1 0000057d: REVERT 0000057e: JUMPDEST 0000057f: POP 00000580: CALLDATALOAD 00000581: PUSH1 0x01 00000583: PUSH1 0x01 00000585: PUSH1 0xa0 00000587: SHL 00000588: SUB 00000589: AND 0000058a: PUSH2 0x1034 0000058d: JUMP 0000058e: JUMPDEST 0000058f: CALLVALUE 00000590: DUP1 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: POP 0000059c: PUSH2 0x01cb 0000059f: PUSH1 0x04 000005a1: DUP1 000005a2: CALLDATASIZE 000005a3: SUB 000005a4: PUSH1 0x40 000005a6: DUP2 000005a7: LT 000005a8: ISZERO 000005a9: PUSH2 0x05b1 000005ac: JUMPI 000005ad: PUSH1 0x00 000005af: DUP1 000005b0: REVERT 000005b1: JUMPDEST 000005b2: POP 000005b3: PUSH1 0x01 000005b5: PUSH1 0x01 000005b7: PUSH1 0xa0 000005b9: SHL 000005ba: SUB 000005bb: DUP2 000005bc: CALLDATALOAD 000005bd: AND 000005be: SWAP1 000005bf: PUSH1 0x20 000005c1: ADD 000005c2: CALLDATALOAD 000005c3: PUSH2 0x1046 000005c6: JUMP 000005c7: JUMPDEST 000005c8: CALLVALUE 000005c9: DUP1 000005ca: ISZERO 000005cb: PUSH2 0x05d3 000005ce: JUMPI 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: REVERT 000005d3: JUMPDEST 000005d4: POP 000005d5: PUSH2 0x01cb 000005d8: PUSH1 0x04 000005da: DUP1 000005db: CALLDATASIZE 000005dc: SUB 000005dd: PUSH1 0x40 000005df: DUP2 000005e0: LT 000005e1: ISZERO 000005e2: PUSH2 0x05ea 000005e5: JUMPI 000005e6: PUSH1 0x00 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: POP 000005ec: PUSH1 0x01 000005ee: PUSH1 0x01 000005f0: PUSH1 0xa0 000005f2: SHL 000005f3: SUB 000005f4: DUP2 000005f5: CALLDATALOAD 000005f6: AND 000005f7: SWAP1 000005f8: PUSH1 0x20 000005fa: ADD 000005fb: CALLDATALOAD 000005fc: PUSH2 0x109b 000005ff: JUMP 00000600: JUMPDEST 00000601: CALLVALUE 00000602: DUP1 00000603: ISZERO 00000604: PUSH2 0x060c 00000607: JUMPI 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: REVERT 0000060c: JUMPDEST 0000060d: POP 0000060e: PUSH2 0x01cb 00000611: PUSH2 0x10a8 00000614: JUMP 00000615: JUMPDEST 00000616: CALLVALUE 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: POP 00000623: PUSH2 0x02e3 00000626: PUSH1 0x04 00000628: DUP1 00000629: CALLDATASIZE 0000062a: SUB 0000062b: PUSH1 0x40 0000062d: DUP2 0000062e: LT 0000062f: ISZERO 00000630: PUSH2 0x0638 00000633: JUMPI 00000634: PUSH1 0x00 00000636: DUP1 00000637: REVERT 00000638: JUMPDEST 00000639: POP 0000063a: PUSH1 0x01 0000063c: PUSH1 0x01 0000063e: PUSH1 0xa0 00000640: SHL 00000641: SUB 00000642: DUP2 00000643: CALLDATALOAD 00000644: DUP2 00000645: AND 00000646: SWAP2 00000647: PUSH1 0x20 00000649: ADD 0000064a: CALLDATALOAD 0000064b: AND 0000064c: PUSH2 0x10b1 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH1 0x11 00000653: SLOAD 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: SHL 00000659: SWAP1 0000065a: DIV 0000065b: PUSH1 0xff 0000065d: AND 0000065e: ISZERO 0000065f: PUSH2 0x069b 00000662: JUMPI 00000663: PUSH1 0x40 00000665: DUP1 00000666: MLOAD 00000667: PUSH3 0x461bcd 0000066b: PUSH1 0xe5 0000066d: SHL 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x20 00000672: PUSH1 0x04 00000674: DUP3 00000675: ADD 00000676: MSTORE 00000677: PUSH1 0x09 00000679: PUSH1 0x24 0000067b: DUP3 0000067c: ADD 0000067d: MSTORE 0000067e: PUSH9 0x53796e63206c6f636b 00000688: PUSH1 0xb8 0000068a: SHL 0000068b: PUSH1 0x44 0000068d: DUP3 0000068e: ADD 0000068f: MSTORE 00000690: SWAP1 00000691: MLOAD 00000692: SWAP1 00000693: DUP2 00000694: SWAP1 00000695: SUB 00000696: PUSH1 0x64 00000698: ADD 00000699: SWAP1 0000069a: REVERT 0000069b: JUMPDEST 0000069c: PUSH1 0x11 0000069e: DUP1 0000069f: SLOAD 000006a0: PUSH1 0xff 000006a2: PUSH1 0xa0 000006a4: SHL 000006a5: NOT 000006a6: AND 000006a7: PUSH1 0x01 000006a9: PUSH1 0xa0 000006ab: SHL 000006ac: OR 000006ad: SWAP1 000006ae: SSTORE 000006af: PUSH1 0x02 000006b1: SLOAD 000006b2: PUSH1 0xff 000006b4: AND 000006b5: PUSH2 0x06fd 000006b8: JUMPI 000006b9: PUSH1 0x40 000006bb: DUP1 000006bc: MLOAD 000006bd: PUSH3 0x461bcd 000006c1: PUSH1 0xe5 000006c3: SHL 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x20 000006c8: PUSH1 0x04 000006ca: DUP3 000006cb: ADD 000006cc: MSTORE 000006cd: PUSH1 0x15 000006cf: PUSH1 0x24 000006d1: DUP3 000006d2: ADD 000006d3: MSTORE 000006d4: PUSH21 0x7472616e73666f726d73206e6f7420616374697665 000006ea: PUSH1 0x58 000006ec: SHL 000006ed: PUSH1 0x44 000006ef: DUP3 000006f0: ADD 000006f1: MSTORE 000006f2: SWAP1 000006f3: MLOAD 000006f4: SWAP1 000006f5: DUP2 000006f6: SWAP1 000006f7: SUB 000006f8: PUSH1 0x64 000006fa: ADD 000006fb: SWAP1 000006fc: REVERT 000006fd: JUMPDEST 000006fe: PUSH7 0x2386f26fc10000 00000706: CALLVALUE 00000707: LT 00000708: ISZERO 00000709: DUP1 0000070a: ISZERO 0000070b: PUSH2 0x071d 0000070e: JUMPI 0000070f: POP 00000710: PUSH9 0xd8d726b7177a800000 0000071a: CALLVALUE 0000071b: GT 0000071c: ISZERO 0000071d: JUMPDEST 0000071e: PUSH2 0x075e 00000721: JUMPI 00000722: PUSH1 0x40 00000724: DUP1 00000725: MLOAD 00000726: PUSH3 0x461bcd 0000072a: PUSH1 0xe5 0000072c: SHL 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x20 00000731: PUSH1 0x04 00000733: DUP3 00000734: ADD 00000735: MSTORE 00000736: PUSH1 0x0d 00000738: PUSH1 0x24 0000073a: DUP3 0000073b: ADD 0000073c: MSTORE 0000073d: PUSH13 0x696e76616c69642076616c7565 0000074b: PUSH1 0x98 0000074d: SHL 0000074e: PUSH1 0x44 00000750: DUP3 00000751: ADD 00000752: MSTORE 00000753: SWAP1 00000754: MLOAD 00000755: SWAP1 00000756: DUP2 00000757: SWAP1 00000758: SUB 00000759: PUSH1 0x64 0000075b: ADD 0000075c: SWAP1 0000075d: REVERT 0000075e: JUMPDEST 0000075f: PUSH1 0x06 00000761: SLOAD 00000762: PUSH1 0xff 00000764: AND 00000765: ISZERO 00000766: PUSH2 0x07a7 00000769: JUMPI 0000076a: PUSH1 0x40 0000076c: DUP1 0000076d: MLOAD 0000076e: PUSH3 0x461bcd 00000772: PUSH1 0xe5 00000774: SHL 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x20 00000779: PUSH1 0x04 0000077b: DUP3 0000077c: ADD 0000077d: MSTORE 0000077e: PUSH1 0x0e 00000780: PUSH1 0x24 00000782: DUP3 00000783: ADD 00000784: MSTORE 00000785: PUSH14 0x1b5a5b9d1a5b99c818d9585cd959 00000794: PUSH1 0x92 00000796: SHL 00000797: PUSH1 0x44 00000799: DUP3 0000079a: ADD 0000079b: MSTORE 0000079c: SWAP1 0000079d: MLOAD 0000079e: SWAP1 0000079f: DUP2 000007a0: SWAP1 000007a1: SUB 000007a2: PUSH1 0x64 000007a4: ADD 000007a5: SWAP1 000007a6: REVERT 000007a7: JUMPDEST 000007a8: PUSH1 0x00 000007aa: PUSH2 0x07cb 000007ad: PUSH1 0x64 000007af: PUSH2 0x07bf 000007b2: CALLVALUE 000007b3: PUSH1 0x14 000007b5: PUSH4 0xffffffff 000007ba: PUSH2 0x10dc 000007bd: AND 000007be: JUMP 000007bf: JUMPDEST 000007c0: SWAP1 000007c1: PUSH4 0xffffffff 000007c6: PUSH2 0x113c 000007c9: AND 000007ca: JUMP 000007cb: JUMPDEST 000007cc: SWAP1 000007cd: POP 000007ce: PUSH1 0x00 000007d0: PUSH2 0x07e0 000007d3: DUP3 000007d4: PUSH1 0x02 000007d6: PUSH4 0xffffffff 000007db: PUSH2 0x113c 000007de: AND 000007df: JUMP 000007e0: JUMPDEST 000007e1: PUSH1 0x04 000007e3: DUP1 000007e4: SLOAD 000007e5: DUP3 000007e6: ADD 000007e7: SWAP1 000007e8: SSTORE 000007e9: SWAP1 000007ea: POP 000007eb: PUSH1 0x00 000007ed: PUSH2 0x0802 000007f0: PUSH1 0x64 000007f2: PUSH2 0x07bf 000007f5: DUP5 000007f6: PUSH1 0x50 000007f8: PUSH4 0xffffffff 000007fd: PUSH2 0x10dc 00000800: AND 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH1 0x05 00000805: DUP1 00000806: SLOAD 00000807: DUP3 00000808: ADD 00000809: SWAP1 0000080a: SSTORE 0000080b: SWAP1 0000080c: POP 0000080d: PUSH1 0x00 0000080f: PUSH2 0x0824 00000812: PUSH1 0x64 00000814: PUSH2 0x07bf 00000817: DUP6 00000818: PUSH1 0x0a 0000081a: PUSH4 0xffffffff 0000081f: PUSH2 0x10dc 00000822: AND 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x10 00000827: SLOAD 00000828: PUSH1 0x40 0000082a: MLOAD 0000082b: SWAP2 0000082c: SWAP3 0000082d: POP 0000082e: PUSH1 0x01 00000830: PUSH1 0x01 00000832: PUSH1 0xa0 00000834: SHL 00000835: SUB 00000836: AND 00000837: SWAP1 00000838: DUP3 00000839: ISZERO 0000083a: PUSH2 0x08fc 0000083d: MUL 0000083e: SWAP1 0000083f: DUP4 00000840: SWAP1 00000841: PUSH1 0x00 00000843: DUP2 00000844: DUP2 00000845: DUP2 00000846: DUP6 00000847: DUP9 00000848: DUP9 00000849: CALL 0000084a: SWAP4 0000084b: POP 0000084c: POP 0000084d: POP 0000084e: POP 0000084f: ISZERO 00000850: DUP1 00000851: ISZERO 00000852: PUSH2 0x085f 00000855: JUMPI 00000856: RETURNDATASIZE 00000857: PUSH1 0x00 00000859: DUP1 0000085a: RETURNDATACOPY 0000085b: RETURNDATASIZE 0000085c: PUSH1 0x00 0000085e: REVERT 0000085f: JUMPDEST 00000860: POP 00000861: PUSH1 0x11 00000863: SLOAD 00000864: PUSH1 0x40 00000866: MLOAD 00000867: PUSH1 0x01 00000869: PUSH1 0x01 0000086b: PUSH1 0xa0 0000086d: SHL 0000086e: SUB 0000086f: SWAP1 00000870: SWAP2 00000871: AND 00000872: SWAP1 00000873: DUP3 00000874: ISZERO 00000875: PUSH2 0x08fc 00000878: MUL 00000879: SWAP1 0000087a: DUP4 0000087b: SWAP1 0000087c: PUSH1 0x00 0000087e: DUP2 0000087f: DUP2 00000880: DUP2 00000881: DUP6 00000882: DUP9 00000883: DUP9 00000884: CALL 00000885: SWAP4 00000886: POP 00000887: POP 00000888: POP 00000889: POP 0000088a: ISZERO 0000088b: DUP1 0000088c: ISZERO 0000088d: PUSH2 0x089a 00000890: JUMPI 00000891: RETURNDATASIZE 00000892: PUSH1 0x00 00000894: DUP1 00000895: RETURNDATACOPY 00000896: RETURNDATASIZE 00000897: PUSH1 0x00 00000899: REVERT 0000089a: JUMPDEST 0000089b: POP 0000089c: PUSH1 0x0e 0000089e: SLOAD 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: PUSH1 0x01 000008a4: PUSH1 0x01 000008a6: PUSH1 0xa0 000008a8: SHL 000008a9: SUB 000008aa: SWAP1 000008ab: SWAP2 000008ac: AND 000008ad: SWAP1 000008ae: DUP5 000008af: ISZERO 000008b0: PUSH2 0x08fc 000008b3: MUL 000008b4: SWAP1 000008b5: DUP6 000008b6: SWAP1 000008b7: PUSH1 0x00 000008b9: DUP2 000008ba: DUP2 000008bb: DUP2 000008bc: DUP6 000008bd: DUP9 000008be: DUP9 000008bf: CALL 000008c0: SWAP4 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: ISZERO 000008c6: DUP1 000008c7: ISZERO 000008c8: PUSH2 0x08d5 000008cb: JUMPI 000008cc: RETURNDATASIZE 000008cd: PUSH1 0x00 000008cf: DUP1 000008d0: RETURNDATACOPY 000008d1: RETURNDATASIZE 000008d2: PUSH1 0x00 000008d4: REVERT 000008d5: JUMPDEST 000008d6: POP 000008d7: PUSH1 0x0f 000008d9: SLOAD 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: PUSH1 0x01 000008df: PUSH1 0x01 000008e1: PUSH1 0xa0 000008e3: SHL 000008e4: SUB 000008e5: SWAP1 000008e6: SWAP2 000008e7: AND 000008e8: SWAP1 000008e9: DUP4 000008ea: ISZERO 000008eb: PUSH2 0x08fc 000008ee: MUL 000008ef: SWAP1 000008f0: DUP5 000008f1: SWAP1 000008f2: PUSH1 0x00 000008f4: DUP2 000008f5: DUP2 000008f6: DUP2 000008f7: DUP6 000008f8: DUP9 000008f9: DUP9 000008fa: CALL 000008fb: SWAP4 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: ISZERO 00000901: DUP1 00000902: ISZERO 00000903: PUSH2 0x0910 00000906: JUMPI 00000907: RETURNDATASIZE 00000908: PUSH1 0x00 0000090a: DUP1 0000090b: RETURNDATACOPY 0000090c: RETURNDATASIZE 0000090d: PUSH1 0x00 0000090f: REVERT 00000910: JUMPDEST 00000911: POP 00000912: PUSH1 0x03 00000914: DUP1 00000915: SLOAD 00000916: CALLVALUE 00000917: SWAP1 00000918: DUP2 00000919: ADD 0000091a: SWAP1 0000091b: SWAP2 0000091c: SSTORE 0000091d: PUSH2 0x092c 00000920: SWAP1 00000921: DUP6 00000922: PUSH4 0xffffffff 00000927: PUSH2 0x117e 0000092a: AND 0000092b: JUMP 0000092c: JUMPDEST 0000092d: CALLER 0000092e: PUSH1 0x00 00000930: SWAP1 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x09 00000935: PUSH1 0x20 00000937: MSTORE 00000938: PUSH1 0x40 0000093a: DUP2 0000093b: KECCAK256 0000093c: DUP1 0000093d: SLOAD 0000093e: SWAP1 0000093f: SWAP3 00000940: ADD 00000941: SWAP1 00000942: SWAP2 00000943: SSTORE 00000944: PUSH4 0x05f5e100 00000949: PUSH1 0x02 0000094b: CALLVALUE 0000094c: DIV 0000094d: DUP2 0000094e: PUSH2 0x0953 00000951: JUMPI 00000952: INVALID 00000953: JUMPDEST 00000954: DIV 00000955: SWAP1 00000956: POP 00000957: PUSH1 0x00 00000959: PUSH2 0x0969 0000095c: DUP3 0000095d: PUSH1 0x0a 0000095f: PUSH4 0xffffffff 00000964: PUSH2 0x113c 00000967: AND 00000968: JUMP 00000969: JUMPDEST 0000096a: SWAP1 0000096b: POP 0000096c: PUSH2 0x0977 0000096f: DUP2 00000970: CALLER 00000971: PUSH1 0x01 00000973: PUSH2 0x11c0 00000976: JUMP 00000977: JUMPDEST 00000978: PUSH1 0x01 0000097a: PUSH1 0x01 0000097c: PUSH1 0xa0 0000097e: SHL 0000097f: SUB 00000980: DUP8 00000981: AND 00000982: ISZERO 00000983: DUP1 00000984: ISZERO 00000985: SWAP1 00000986: PUSH2 0x0992 00000989: JUMPI 0000098a: POP 0000098b: PUSH1 0x06 0000098d: SLOAD 0000098e: PUSH1 0xff 00000990: AND 00000991: ISZERO 00000992: JUMPDEST 00000993: ISZERO 00000994: PUSH2 0x0a36 00000997: JUMPI 00000998: PUSH1 0x01 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: SHL 0000099f: SUB 000009a0: DUP8 000009a1: AND 000009a2: PUSH1 0x00 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x0b 000009a9: PUSH1 0x20 000009ab: MSTORE 000009ac: PUSH1 0x40 000009ae: SWAP1 000009af: KECCAK256 000009b0: SLOAD 000009b1: PUSH1 0xff 000009b3: AND 000009b4: ISZERO 000009b5: PUSH2 0x09f9 000009b8: JUMPI 000009b9: PUSH1 0x00 000009bb: PUSH2 0x09d0 000009be: PUSH1 0x64 000009c0: PUSH2 0x07bf 000009c3: DUP5 000009c4: PUSH1 0x0a 000009c6: PUSH4 0xffffffff 000009cb: PUSH2 0x10dc 000009ce: AND 000009cf: JUMP 000009d0: JUMPDEST 000009d1: SWAP1 000009d2: POP 000009d3: PUSH2 0x09de 000009d6: DUP2 000009d7: DUP10 000009d8: PUSH1 0x01 000009da: PUSH2 0x11c0 000009dd: JUMP 000009de: JUMPDEST 000009df: CALLER 000009e0: PUSH1 0x00 000009e2: SWAP1 000009e3: DUP2 000009e4: MSTORE 000009e5: PUSH1 0x0a 000009e7: PUSH1 0x20 000009e9: MSTORE 000009ea: PUSH1 0x40 000009ec: SWAP1 000009ed: KECCAK256 000009ee: DUP1 000009ef: SLOAD 000009f0: SWAP1 000009f1: SWAP2 000009f2: ADD 000009f3: SWAP1 000009f4: SSTORE 000009f5: PUSH2 0x0a36 000009f8: JUMP 000009f9: JUMPDEST 000009fa: PUSH1 0x00 000009fc: PUSH2 0x0a11 000009ff: PUSH1 0x64 00000a01: PUSH2 0x07bf 00000a04: DUP5 00000a05: PUSH1 0x05 00000a07: PUSH4 0xffffffff 00000a0c: PUSH2 0x10dc 00000a0f: AND 00000a10: JUMP 00000a11: JUMPDEST 00000a12: SWAP1 00000a13: POP 00000a14: PUSH2 0x0a1f 00000a17: DUP2 00000a18: DUP10 00000a19: PUSH1 0x01 00000a1b: PUSH2 0x11c0 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: CALLER 00000a21: PUSH1 0x00 00000a23: SWAP1 00000a24: DUP2 00000a25: MSTORE 00000a26: PUSH1 0x0a 00000a28: PUSH1 0x20 00000a2a: MSTORE 00000a2b: PUSH1 0x40 00000a2d: SWAP1 00000a2e: KECCAK256 00000a2f: DUP1 00000a30: SLOAD 00000a31: SWAP1 00000a32: SWAP2 00000a33: ADD 00000a34: SWAP1 00000a35: SSTORE 00000a36: JUMPDEST 00000a37: PUSH1 0x40 00000a39: DUP1 00000a3a: MLOAD 00000a3b: CALLVALUE 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x20 00000a40: DUP2 00000a41: ADD 00000a42: DUP4 00000a43: SWAP1 00000a44: MSTORE 00000a45: DUP2 00000a46: MLOAD 00000a47: CALLER 00000a48: SWAP3 00000a49: PUSH32 0x8593cdaa8491d9718db378eaf48de9e143905b0b70afce0df61a0afda3235625 00000a6a: SWAP3 00000a6b: DUP3 00000a6c: SWAP1 00000a6d: SUB 00000a6e: ADD 00000a6f: SWAP1 00000a70: LOG2 00000a71: POP 00000a72: POP 00000a73: PUSH1 0x11 00000a75: DUP1 00000a76: SLOAD 00000a77: PUSH1 0xff 00000a79: PUSH1 0xa0 00000a7b: SHL 00000a7c: NOT 00000a7d: AND 00000a7e: SWAP1 00000a7f: SSTORE 00000a80: POP 00000a81: POP 00000a82: POP 00000a83: POP 00000a84: POP 00000a85: JUMP 00000a86: JUMPDEST 00000a87: PUSH1 0x02 00000a89: SLOAD 00000a8a: PUSH1 0xff 00000a8c: AND 00000a8d: DUP2 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: CALLER 00000a91: PUSH1 0x00 00000a93: SWAP1 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x12 00000a98: PUSH1 0x20 00000a9a: MSTORE 00000a9b: PUSH1 0x40 00000a9d: SWAP1 00000a9e: KECCAK256 00000a9f: SLOAD 00000aa0: PUSH1 0xff 00000aa2: AND 00000aa3: PUSH2 0x0ae2 00000aa6: JUMPI 00000aa7: PUSH1 0x40 00000aa9: DUP1 00000aaa: MLOAD 00000aab: PUSH3 0x461bcd 00000aaf: PUSH1 0xe5 00000ab1: SHL 00000ab2: DUP2 00000ab3: MSTORE 00000ab4: PUSH1 0x20 00000ab6: PUSH1 0x04 00000ab8: DUP3 00000ab9: ADD 00000aba: MSTORE 00000abb: PUSH1 0x0c 00000abd: PUSH1 0x24 00000abf: DUP3 00000ac0: ADD 00000ac1: MSTORE 00000ac2: PUSH12 0x3737ba1030b71030b236b4b7 00000acf: PUSH1 0xa1 00000ad1: SHL 00000ad2: PUSH1 0x44 00000ad4: DUP3 00000ad5: ADD 00000ad6: MSTORE 00000ad7: SWAP1 00000ad8: MLOAD 00000ad9: SWAP1 00000ada: DUP2 00000adb: SWAP1 00000adc: SUB 00000add: PUSH1 0x64 00000adf: ADD 00000ae0: SWAP1 00000ae1: REVERT 00000ae2: JUMPDEST 00000ae3: PUSH1 0x02 00000ae5: DUP1 00000ae6: SLOAD 00000ae7: PUSH1 0xff 00000ae9: NOT 00000aea: AND 00000aeb: SWAP2 00000aec: ISZERO 00000aed: ISZERO 00000aee: SWAP2 00000aef: SWAP1 00000af0: SWAP2 00000af1: OR 00000af2: SWAP1 00000af3: SSTORE 00000af4: JUMP 00000af5: JUMPDEST 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: DUP1 00000afa: PUSH1 0x40 00000afc: ADD 00000afd: PUSH1 0x40 00000aff: MSTORE 00000b00: DUP1 00000b01: PUSH1 0x09 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x20 00000b07: ADD 00000b08: PUSH9 0x2430b637aa37b5b2b7 00000b12: PUSH1 0xb9 00000b14: SHL 00000b15: DUP2 00000b16: MSTORE 00000b17: POP 00000b18: DUP2 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH1 0x00 00000b1d: PUSH2 0x0b27 00000b20: CALLER 00000b21: DUP5 00000b22: DUP5 00000b23: PUSH2 0x1276 00000b26: JUMP 00000b27: JUMPDEST 00000b28: POP 00000b29: PUSH1 0x01 00000b2b: JUMPDEST 00000b2c: SWAP3 00000b2d: SWAP2 00000b2e: POP 00000b2f: POP 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x0d 00000b34: SLOAD 00000b35: SWAP1 00000b36: JUMP 00000b37: JUMPDEST 00000b38: PUSH1 0x0c 00000b3a: SLOAD 00000b3b: DUP2 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x00 00000b40: PUSH2 0x0b4a 00000b43: DUP5 00000b44: DUP5 00000b45: DUP5 00000b46: PUSH2 0x1362 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH2 0x0ba2 00000b4e: DUP5 00000b4f: CALLER 00000b50: PUSH2 0x0b9d 00000b53: DUP6 00000b54: PUSH1 0x40 00000b56: MLOAD 00000b57: DUP1 00000b58: PUSH1 0x60 00000b5a: ADD 00000b5b: PUSH1 0x40 00000b5d: MSTORE 00000b5e: DUP1 00000b5f: PUSH1 0x28 00000b61: DUP2 00000b62: MSTORE 00000b63: PUSH1 0x20 00000b65: ADD 00000b66: PUSH2 0x186f 00000b69: PUSH1 0x28 00000b6b: SWAP2 00000b6c: CODECOPY 00000b6d: PUSH1 0x01 00000b6f: PUSH1 0x01 00000b71: PUSH1 0xa0 00000b73: SHL 00000b74: SUB 00000b75: DUP11 00000b76: AND 00000b77: PUSH1 0x00 00000b79: SWAP1 00000b7a: DUP2 00000b7b: MSTORE 00000b7c: PUSH1 0x01 00000b7e: PUSH1 0x20 00000b80: SWAP1 00000b81: DUP2 00000b82: MSTORE 00000b83: PUSH1 0x40 00000b85: DUP1 00000b86: DUP4 00000b87: KECCAK256 00000b88: CALLER 00000b89: DUP5 00000b8a: MSTORE 00000b8b: SWAP1 00000b8c: SWAP2 00000b8d: MSTORE 00000b8e: SWAP1 00000b8f: KECCAK256 00000b90: SLOAD 00000b91: SWAP2 00000b92: SWAP1 00000b93: PUSH4 0xffffffff 00000b98: PUSH2 0x14be 00000b9b: AND 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH2 0x1276 00000ba1: JUMP 00000ba2: JUMPDEST 00000ba3: POP 00000ba4: PUSH1 0x01 00000ba6: SWAP4 00000ba7: SWAP3 00000ba8: POP 00000ba9: POP 00000baa: POP 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x05 00000baf: SLOAD 00000bb0: DUP2 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH1 0x08 00000bb5: DUP2 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: CALLER 00000bb9: PUSH1 0x00 00000bbb: DUP2 00000bbc: DUP2 00000bbd: MSTORE 00000bbe: PUSH1 0x01 00000bc0: PUSH1 0x20 00000bc2: SWAP1 00000bc3: DUP2 00000bc4: MSTORE 00000bc5: PUSH1 0x40 00000bc7: DUP1 00000bc8: DUP4 00000bc9: KECCAK256 00000bca: PUSH1 0x01 00000bcc: PUSH1 0x01 00000bce: PUSH1 0xa0 00000bd0: SHL 00000bd1: SUB 00000bd2: DUP8 00000bd3: AND 00000bd4: DUP5 00000bd5: MSTORE 00000bd6: SWAP1 00000bd7: SWAP2 00000bd8: MSTORE 00000bd9: DUP2 00000bda: KECCAK256 00000bdb: SLOAD 00000bdc: SWAP1 00000bdd: SWAP2 00000bde: PUSH2 0x0b27 00000be1: SWAP2 00000be2: DUP6 00000be3: SWAP1 00000be4: PUSH2 0x0b9d 00000be7: SWAP1 00000be8: DUP7 00000be9: PUSH4 0xffffffff 00000bee: PUSH2 0x1555 00000bf1: AND 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x0b 00000bf6: PUSH1 0x20 00000bf8: MSTORE 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x40 00000c00: SWAP1 00000c01: KECCAK256 00000c02: SLOAD 00000c03: PUSH1 0xff 00000c05: AND 00000c06: DUP2 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x03 00000c0b: SLOAD 00000c0c: DUP2 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH1 0x11 00000c11: SLOAD 00000c12: PUSH1 0x01 00000c14: PUSH1 0xa0 00000c16: SHL 00000c17: SWAP1 00000c18: DIV 00000c19: PUSH1 0xff 00000c1b: AND 00000c1c: ISZERO 00000c1d: PUSH2 0x0c59 00000c20: JUMPI 00000c21: PUSH1 0x40 00000c23: DUP1 00000c24: MLOAD 00000c25: PUSH3 0x461bcd 00000c29: PUSH1 0xe5 00000c2b: SHL 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x20 00000c30: PUSH1 0x04 00000c32: DUP3 00000c33: ADD 00000c34: MSTORE 00000c35: PUSH1 0x09 00000c37: PUSH1 0x24 00000c39: DUP3 00000c3a: ADD 00000c3b: MSTORE 00000c3c: PUSH9 0x53796e63206c6f636b 00000c46: PUSH1 0xb8 00000c48: SHL 00000c49: PUSH1 0x44 00000c4b: DUP3 00000c4c: ADD 00000c4d: MSTORE 00000c4e: SWAP1 00000c4f: MLOAD 00000c50: SWAP1 00000c51: DUP2 00000c52: SWAP1 00000c53: SUB 00000c54: PUSH1 0x64 00000c56: ADD 00000c57: SWAP1 00000c58: REVERT 00000c59: JUMPDEST 00000c5a: PUSH1 0x11 00000c5c: DUP1 00000c5d: SLOAD 00000c5e: PUSH1 0xff 00000c60: PUSH1 0xa0 00000c62: SHL 00000c63: NOT 00000c64: AND 00000c65: PUSH1 0x01 00000c67: PUSH1 0xa0 00000c69: SHL 00000c6a: OR 00000c6b: SWAP1 00000c6c: SSTORE 00000c6d: CALLER 00000c6e: PUSH1 0x00 00000c70: SWAP1 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x08 00000c75: PUSH1 0x20 00000c77: MSTORE 00000c78: PUSH1 0x40 00000c7a: SWAP1 00000c7b: KECCAK256 00000c7c: SLOAD 00000c7d: PUSH2 0x0cb7 00000c80: JUMPI 00000c81: PUSH1 0x40 00000c83: MLOAD 00000c84: PUSH3 0x461bcd 00000c88: PUSH1 0xe5 00000c8a: SHL 00000c8b: DUP2 00000c8c: MSTORE 00000c8d: PUSH1 0x04 00000c8f: ADD 00000c90: DUP1 00000c91: DUP1 00000c92: PUSH1 0x20 00000c94: ADD 00000c95: DUP3 00000c96: DUP2 00000c97: SUB 00000c98: DUP3 00000c99: MSTORE 00000c9a: PUSH1 0x22 00000c9c: DUP2 00000c9d: MSTORE 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: DUP1 00000ca2: PUSH2 0x182c 00000ca5: PUSH1 0x22 00000ca7: SWAP2 00000ca8: CODECOPY 00000ca9: PUSH1 0x40 00000cab: ADD 00000cac: SWAP2 00000cad: POP 00000cae: POP 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: DUP1 00000cb3: SWAP2 00000cb4: SUB 00000cb5: SWAP1 00000cb6: REVERT 00000cb7: JUMPDEST 00000cb8: PUSH1 0x00 00000cba: PUSH2 0x0cc1 00000cbd: PUSH2 0x10a8 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: ISZERO 00000cc3: PUSH2 0x0da4 00000cc6: JUMPI 00000cc7: POP 00000cc8: CALLER 00000cc9: PUSH1 0x00 00000ccb: SWAP1 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x08 00000cd0: PUSH1 0x20 00000cd2: MSTORE 00000cd3: PUSH1 0x40 00000cd5: DUP2 00000cd6: KECCAK256 00000cd7: DUP1 00000cd8: SLOAD 00000cd9: SWAP2 00000cda: SWAP1 00000cdb: SSTORE 00000cdc: PUSH1 0x07 00000cde: SLOAD 00000cdf: PUSH2 0x0cee 00000ce2: SWAP1 00000ce3: DUP3 00000ce4: PUSH4 0xffffffff 00000ce9: PUSH2 0x117e 00000cec: AND 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x07 00000cf1: SSTORE 00000cf2: CALLER 00000cf3: PUSH1 0x00 00000cf5: SWAP1 00000cf6: DUP2 00000cf7: MSTORE 00000cf8: PUSH1 0x09 00000cfa: PUSH1 0x20 00000cfc: MSTORE 00000cfd: PUSH1 0x40 00000cff: SWAP1 00000d00: KECCAK256 00000d01: SLOAD 00000d02: ISZERO 00000d03: PUSH2 0x0d5e 00000d06: JUMPI 00000d07: PUSH1 0x0e 00000d09: SLOAD 00000d0a: CALLER 00000d0b: PUSH1 0x00 00000d0d: SWAP1 00000d0e: DUP2 00000d0f: MSTORE 00000d10: PUSH1 0x09 00000d12: PUSH1 0x20 00000d14: MSTORE 00000d15: PUSH1 0x40 00000d17: DUP1 00000d18: DUP3 00000d19: KECCAK256 00000d1a: SLOAD 00000d1b: SWAP1 00000d1c: MLOAD 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0x01 00000d21: PUSH1 0xa0 00000d23: SHL 00000d24: SUB 00000d25: SWAP1 00000d26: SWAP4 00000d27: AND 00000d28: SWAP3 00000d29: DUP2 00000d2a: ISZERO 00000d2b: PUSH2 0x08fc 00000d2e: MUL 00000d2f: SWAP3 00000d30: DUP2 00000d31: DUP2 00000d32: DUP2 00000d33: DUP6 00000d34: DUP9 00000d35: DUP9 00000d36: CALL 00000d37: SWAP4 00000d38: POP 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: ISZERO 00000d3d: DUP1 00000d3e: ISZERO 00000d3f: PUSH2 0x0d4c 00000d42: JUMPI 00000d43: RETURNDATASIZE 00000d44: PUSH1 0x00 00000d46: DUP1 00000d47: RETURNDATACOPY 00000d48: RETURNDATASIZE 00000d49: PUSH1 0x00 00000d4b: REVERT 00000d4c: JUMPDEST 00000d4d: POP 00000d4e: CALLER 00000d4f: PUSH1 0x00 00000d51: SWAP1 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x09 00000d56: PUSH1 0x20 00000d58: MSTORE 00000d59: PUSH1 0x40 00000d5b: DUP2 00000d5c: KECCAK256 00000d5d: SSTORE 00000d5e: JUMPDEST 00000d5f: PUSH2 0x0d69 00000d62: ADDRESS 00000d63: CALLER 00000d64: DUP4 00000d65: PUSH2 0x1362 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: PUSH1 0x40 00000d6c: DUP1 00000d6d: MLOAD 00000d6e: DUP3 00000d6f: DUP2 00000d70: MSTORE 00000d71: SWAP1 00000d72: MLOAD 00000d73: CALLER 00000d74: SWAP2 00000d75: PUSH32 0x2915a1443c364019b989c945ec4373f0aede5d91cc533f70c3187c072c69047d 00000d96: SWAP2 00000d97: SWAP1 00000d98: DUP2 00000d99: SWAP1 00000d9a: SUB 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: SWAP1 00000d9f: LOG2 00000da0: PUSH2 0x0ee6 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x10 00000da7: SLOAD 00000da8: PUSH1 0x01 00000daa: PUSH1 0x01 00000dac: PUSH1 0xa0 00000dae: SHL 00000daf: SUB 00000db0: AND 00000db1: CALLER 00000db2: EQ 00000db3: DUP1 00000db4: ISZERO 00000db5: SWAP1 00000db6: PUSH2 0x0dca 00000db9: JUMPI 00000dba: POP 00000dbb: PUSH1 0x11 00000dbd: SLOAD 00000dbe: PUSH1 0x01 00000dc0: PUSH1 0x01 00000dc2: PUSH1 0xa0 00000dc4: SHL 00000dc5: SUB 00000dc6: AND 00000dc7: CALLER 00000dc8: EQ 00000dc9: ISZERO 00000dca: JUMPDEST 00000dcb: PUSH2 0x0e1b 00000dce: JUMPI 00000dcf: PUSH1 0x40 00000dd1: DUP1 00000dd2: MLOAD 00000dd3: PUSH3 0x461bcd 00000dd7: PUSH1 0xe5 00000dd9: SHL 00000dda: DUP2 00000ddb: MSTORE 00000ddc: PUSH1 0x20 00000dde: PUSH1 0x04 00000de0: DUP3 00000de1: ADD 00000de2: DUP2 00000de3: SWAP1 00000de4: MSTORE 00000de5: PUSH1 0x24 00000de7: DUP3 00000de8: ADD 00000de9: MSTORE 00000dea: PUSH32 0x666f756e646572206d696e742063616e6e6f7420756e6c6f636b206561726c79 00000e0b: PUSH1 0x44 00000e0d: DUP3 00000e0e: ADD 00000e0f: MSTORE 00000e10: SWAP1 00000e11: MLOAD 00000e12: SWAP1 00000e13: DUP2 00000e14: SWAP1 00000e15: SUB 00000e16: PUSH1 0x64 00000e18: ADD 00000e19: SWAP1 00000e1a: REVERT 00000e1b: JUMPDEST 00000e1c: POP 00000e1d: CALLER 00000e1e: PUSH1 0x00 00000e20: SWAP1 00000e21: DUP2 00000e22: MSTORE 00000e23: PUSH1 0x08 00000e25: PUSH1 0x20 00000e27: MSTORE 00000e28: PUSH1 0x40 00000e2a: DUP2 00000e2b: KECCAK256 00000e2c: DUP1 00000e2d: SLOAD 00000e2e: SWAP2 00000e2f: SWAP1 00000e30: SSTORE 00000e31: PUSH1 0x07 00000e33: SLOAD 00000e34: PUSH2 0x0e43 00000e37: SWAP1 00000e38: DUP3 00000e39: PUSH4 0xffffffff 00000e3e: PUSH2 0x117e 00000e41: AND 00000e42: JUMP 00000e43: JUMPDEST 00000e44: PUSH1 0x07 00000e46: SSTORE 00000e47: CALLER 00000e48: PUSH1 0x00 00000e4a: DUP2 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x09 00000e4f: PUSH1 0x20 00000e51: MSTORE 00000e52: PUSH1 0x40 00000e54: DUP1 00000e55: DUP3 00000e56: KECCAK256 00000e57: SLOAD 00000e58: SWAP1 00000e59: MLOAD 00000e5a: DUP2 00000e5b: ISZERO 00000e5c: PUSH2 0x08fc 00000e5f: MUL 00000e60: SWAP3 00000e61: DUP2 00000e62: DUP2 00000e63: DUP2 00000e64: DUP6 00000e65: DUP9 00000e66: DUP9 00000e67: CALL 00000e68: SWAP4 00000e69: POP 00000e6a: POP 00000e6b: POP 00000e6c: POP 00000e6d: ISZERO 00000e6e: DUP1 00000e6f: ISZERO 00000e70: PUSH2 0x0e7d 00000e73: JUMPI 00000e74: RETURNDATASIZE 00000e75: PUSH1 0x00 00000e77: DUP1 00000e78: RETURNDATACOPY 00000e79: RETURNDATASIZE 00000e7a: PUSH1 0x00 00000e7c: REVERT 00000e7d: JUMPDEST 00000e7e: POP 00000e7f: CALLER 00000e80: PUSH1 0x00 00000e82: SWAP1 00000e83: DUP2 00000e84: MSTORE 00000e85: PUSH1 0x09 00000e87: PUSH1 0x20 00000e89: MSTORE 00000e8a: PUSH1 0x40 00000e8c: DUP2 00000e8d: KECCAK256 00000e8e: SSTORE 00000e8f: PUSH2 0x0eba 00000e92: PUSH2 0x0ea7 00000e95: PUSH1 0x64 00000e97: PUSH2 0x07bf 00000e9a: DUP5 00000e9b: PUSH1 0x50 00000e9d: PUSH4 0xffffffff 00000ea2: PUSH2 0x10dc 00000ea5: AND 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH1 0x10 00000eaa: SLOAD 00000eab: PUSH1 0x01 00000ead: PUSH1 0x01 00000eaf: PUSH1 0xa0 00000eb1: SHL 00000eb2: SUB 00000eb3: AND 00000eb4: PUSH1 0x00 00000eb6: PUSH2 0x11c0 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: PUSH2 0x0ee6 00000ebe: PUSH2 0x0ed3 00000ec1: PUSH1 0x64 00000ec3: PUSH2 0x07bf 00000ec6: DUP5 00000ec7: PUSH1 0x14 00000ec9: PUSH4 0xffffffff 00000ece: PUSH2 0x10dc 00000ed1: AND 00000ed2: JUMP 00000ed3: JUMPDEST 00000ed4: PUSH1 0x11 00000ed6: SLOAD 00000ed7: PUSH1 0x01 00000ed9: PUSH1 0x01 00000edb: PUSH1 0xa0 00000edd: SHL 00000ede: SUB 00000edf: AND 00000ee0: PUSH1 0x00 00000ee2: PUSH2 0x11c0 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: POP 00000ee8: PUSH1 0x11 00000eea: DUP1 00000eeb: SLOAD 00000eec: PUSH1 0xff 00000eee: PUSH1 0xa0 00000ef0: SHL 00000ef1: NOT 00000ef2: AND 00000ef3: SWAP1 00000ef4: SSTORE 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: PUSH1 0x07 00000ef9: SLOAD 00000efa: DUP2 00000efb: JUMP 00000efc: JUMPDEST 00000efd: CALLER 00000efe: PUSH1 0x00 00000f00: SWAP1 00000f01: DUP2 00000f02: MSTORE 00000f03: PUSH1 0x12 00000f05: PUSH1 0x20 00000f07: MSTORE 00000f08: PUSH1 0x40 00000f0a: SWAP1 00000f0b: KECCAK256 00000f0c: SLOAD 00000f0d: PUSH1 0xff 00000f0f: AND 00000f10: PUSH2 0x0f4f 00000f13: JUMPI 00000f14: PUSH1 0x40 00000f16: DUP1 00000f17: MLOAD 00000f18: PUSH3 0x461bcd 00000f1c: PUSH1 0xe5 00000f1e: SHL 00000f1f: DUP2 00000f20: MSTORE 00000f21: PUSH1 0x20 00000f23: PUSH1 0x04 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH1 0x0c 00000f2a: PUSH1 0x24 00000f2c: DUP3 00000f2d: ADD 00000f2e: MSTORE 00000f2f: PUSH12 0x3737ba1030b71030b236b4b7 00000f3c: PUSH1 0xa1 00000f3e: SHL 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: SWAP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: DUP2 00000f48: SWAP1 00000f49: SUB 00000f4a: PUSH1 0x64 00000f4c: ADD 00000f4d: SWAP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: PUSH1 0x01 00000f52: PUSH1 0x01 00000f54: PUSH1 0xa0 00000f56: SHL 00000f57: SUB 00000f58: DUP3 00000f59: AND 00000f5a: PUSH2 0x0f9c 00000f5d: JUMPI 00000f5e: PUSH1 0x40 00000f60: DUP1 00000f61: MLOAD 00000f62: PUSH3 0x461bcd 00000f66: PUSH1 0xe5 00000f68: SHL 00000f69: DUP2 00000f6a: MSTORE 00000f6b: PUSH1 0x20 00000f6d: PUSH1 0x04 00000f6f: DUP3 00000f70: ADD 00000f71: MSTORE 00000f72: PUSH1 0x0f 00000f74: PUSH1 0x24 00000f76: DUP3 00000f77: ADD 00000f78: MSTORE 00000f79: PUSH15 0x696e76616c69642061646472657373 00000f89: PUSH1 0x88 00000f8b: SHL 00000f8c: PUSH1 0x44 00000f8e: DUP3 00000f8f: ADD 00000f90: MSTORE 00000f91: SWAP1 00000f92: MLOAD 00000f93: SWAP1 00000f94: DUP2 00000f95: SWAP1 00000f96: SUB 00000f97: PUSH1 0x64 00000f99: ADD 00000f9a: SWAP1 00000f9b: REVERT 00000f9c: JUMPDEST 00000f9d: PUSH1 0x01 00000f9f: PUSH1 0x01 00000fa1: PUSH1 0xa0 00000fa3: SHL 00000fa4: SUB 00000fa5: SWAP2 00000fa6: SWAP1 00000fa7: SWAP2 00000fa8: AND 00000fa9: PUSH1 0x00 00000fab: SWAP1 00000fac: DUP2 00000fad: MSTORE 00000fae: PUSH1 0x0b 00000fb0: PUSH1 0x20 00000fb2: MSTORE 00000fb3: PUSH1 0x40 00000fb5: SWAP1 00000fb6: KECCAK256 00000fb7: DUP1 00000fb8: SLOAD 00000fb9: PUSH1 0xff 00000fbb: NOT 00000fbc: AND 00000fbd: SWAP2 00000fbe: ISZERO 00000fbf: ISZERO 00000fc0: SWAP2 00000fc1: SWAP1 00000fc2: SWAP2 00000fc3: OR 00000fc4: SWAP1 00000fc5: SSTORE 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x0a 00000fca: PUSH1 0x20 00000fcc: MSTORE 00000fcd: PUSH1 0x00 00000fcf: SWAP1 00000fd0: DUP2 00000fd1: MSTORE 00000fd2: PUSH1 0x40 00000fd4: SWAP1 00000fd5: KECCAK256 00000fd6: SLOAD 00000fd7: DUP2 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: PUSH1 0x08 00000fdc: PUSH1 0x20 00000fde: MSTORE 00000fdf: PUSH1 0x00 00000fe1: SWAP1 00000fe2: DUP2 00000fe3: MSTORE 00000fe4: PUSH1 0x40 00000fe6: SWAP1 00000fe7: KECCAK256 00000fe8: SLOAD 00000fe9: DUP2 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH1 0x01 00000fee: PUSH1 0x01 00000ff0: PUSH1 0xa0 00000ff2: SHL 00000ff3: SUB 00000ff4: AND 00000ff5: PUSH1 0x00 00000ff7: SWAP1 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x20 00000ffc: DUP2 00000ffd: SWAP1 00000ffe: MSTORE 00000fff: PUSH1 0x40 00001001: SWAP1 00001002: KECCAK256 00001003: SLOAD 00001004: SWAP1 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x06 00001009: SLOAD 0000100a: PUSH1 0xff 0000100c: AND 0000100d: DUP2 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH1 0x40 00001012: MLOAD 00001013: DUP1 00001014: PUSH1 0x40 00001016: ADD 00001017: PUSH1 0x40 00001019: MSTORE 0000101a: DUP1 0000101b: PUSH1 0x03 0000101d: DUP2 0000101e: MSTORE 0000101f: PUSH1 0x20 00001021: ADD 00001022: PUSH3 0x484c4f 00001026: PUSH1 0xe8 00001028: SHL 00001029: DUP2 0000102a: MSTORE 0000102b: POP 0000102c: DUP2 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x04 00001031: SLOAD 00001032: DUP2 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x09 00001037: PUSH1 0x20 00001039: MSTORE 0000103a: PUSH1 0x00 0000103c: SWAP1 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH1 0x40 00001041: SWAP1 00001042: KECCAK256 00001043: SLOAD 00001044: DUP2 00001045: JUMP 00001046: JUMPDEST 00001047: PUSH1 0x00 00001049: PUSH2 0x0b27 0000104c: CALLER 0000104d: DUP5 0000104e: PUSH2 0x0b9d 00001051: DUP6 00001052: PUSH1 0x40 00001054: MLOAD 00001055: DUP1 00001056: PUSH1 0x60 00001058: ADD 00001059: PUSH1 0x40 0000105b: MSTORE 0000105c: DUP1 0000105d: PUSH1 0x25 0000105f: DUP2 00001060: MSTORE 00001061: PUSH1 0x20 00001063: ADD 00001064: PUSH2 0x18e0 00001067: PUSH1 0x25 00001069: SWAP2 0000106a: CODECOPY 0000106b: CALLER 0000106c: PUSH1 0x00 0000106e: SWAP1 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x01 00001073: PUSH1 0x20 00001075: SWAP1 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x40 0000107a: DUP1 0000107b: DUP4 0000107c: KECCAK256 0000107d: PUSH1 0x01 0000107f: PUSH1 0x01 00001081: PUSH1 0xa0 00001083: SHL 00001084: SUB 00001085: DUP14 00001086: AND 00001087: DUP5 00001088: MSTORE 00001089: SWAP1 0000108a: SWAP2 0000108b: MSTORE 0000108c: SWAP1 0000108d: KECCAK256 0000108e: SLOAD 0000108f: SWAP2 00001090: SWAP1 00001091: PUSH4 0xffffffff 00001096: PUSH2 0x14be 00001099: AND 0000109a: JUMP 0000109b: JUMPDEST 0000109c: PUSH1 0x00 0000109e: PUSH2 0x0b27 000010a1: CALLER 000010a2: DUP5 000010a3: DUP5 000010a4: PUSH2 0x1362 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH1 0x06 000010ab: SLOAD 000010ac: PUSH1 0xff 000010ae: AND 000010af: SWAP1 000010b0: JUMP 000010b1: JUMPDEST 000010b2: PUSH1 0x01 000010b4: PUSH1 0x01 000010b6: PUSH1 0xa0 000010b8: SHL 000010b9: SUB 000010ba: SWAP2 000010bb: DUP3 000010bc: AND 000010bd: PUSH1 0x00 000010bf: SWAP1 000010c0: DUP2 000010c1: MSTORE 000010c2: PUSH1 0x01 000010c4: PUSH1 0x20 000010c6: SWAP1 000010c7: DUP2 000010c8: MSTORE 000010c9: PUSH1 0x40 000010cb: DUP1 000010cc: DUP4 000010cd: KECCAK256 000010ce: SWAP4 000010cf: SWAP1 000010d0: SWAP5 000010d1: AND 000010d2: DUP3 000010d3: MSTORE 000010d4: SWAP2 000010d5: SWAP1 000010d6: SWAP2 000010d7: MSTORE 000010d8: KECCAK256 000010d9: SLOAD 000010da: SWAP1 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x00 000010df: DUP3 000010e0: PUSH2 0x10eb 000010e3: JUMPI 000010e4: POP 000010e5: PUSH1 0x00 000010e7: PUSH2 0x0b2b 000010ea: JUMP 000010eb: JUMPDEST 000010ec: DUP3 000010ed: DUP3 000010ee: MUL 000010ef: DUP3 000010f0: DUP5 000010f1: DUP3 000010f2: DUP2 000010f3: PUSH2 0x10f8 000010f6: JUMPI 000010f7: INVALID 000010f8: JUMPDEST 000010f9: DIV 000010fa: EQ 000010fb: PUSH2 0x1135 000010fe: JUMPI 000010ff: PUSH1 0x40 00001101: MLOAD 00001102: PUSH3 0x461bcd 00001106: PUSH1 0xe5 00001108: SHL 00001109: DUP2 0000110a: MSTORE 0000110b: PUSH1 0x04 0000110d: ADD 0000110e: DUP1 0000110f: DUP1 00001110: PUSH1 0x20 00001112: ADD 00001113: DUP3 00001114: DUP2 00001115: SUB 00001116: DUP3 00001117: MSTORE 00001118: PUSH1 0x21 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x20 0000111e: ADD 0000111f: DUP1 00001120: PUSH2 0x184e 00001123: PUSH1 0x21 00001125: SWAP2 00001126: CODECOPY 00001127: PUSH1 0x40 00001129: ADD 0000112a: SWAP2 0000112b: POP 0000112c: POP 0000112d: PUSH1 0x40 0000112f: MLOAD 00001130: DUP1 00001131: SWAP2 00001132: SUB 00001133: SWAP1 00001134: REVERT 00001135: JUMPDEST 00001136: SWAP4 00001137: SWAP3 00001138: POP 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x00 0000113f: PUSH2 0x1135 00001142: DUP4 00001143: DUP4 00001144: PUSH1 0x40 00001146: MLOAD 00001147: DUP1 00001148: PUSH1 0x40 0000114a: ADD 0000114b: PUSH1 0x40 0000114d: MSTORE 0000114e: DUP1 0000114f: PUSH1 0x1a 00001151: DUP2 00001152: MSTORE 00001153: PUSH1 0x20 00001155: ADD 00001156: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001177: DUP2 00001178: MSTORE 00001179: POP 0000117a: PUSH2 0x15af 0000117d: JUMP 0000117e: JUMPDEST 0000117f: PUSH1 0x00 00001181: PUSH2 0x1135 00001184: DUP4 00001185: DUP4 00001186: PUSH1 0x40 00001188: MLOAD 00001189: DUP1 0000118a: PUSH1 0x40 0000118c: ADD 0000118d: PUSH1 0x40 0000118f: MSTORE 00001190: DUP1 00001191: PUSH1 0x1e 00001193: DUP2 00001194: MSTORE 00001195: PUSH1 0x20 00001197: ADD 00001198: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000011b9: DUP2 000011ba: MSTORE 000011bb: POP 000011bc: PUSH2 0x14be 000011bf: JUMP 000011c0: JUMPDEST 000011c1: PUSH1 0x00 000011c3: DUP4 000011c4: GT 000011c5: PUSH2 0x1202 000011c8: JUMPI 000011c9: PUSH1 0x40 000011cb: DUP1 000011cc: MLOAD 000011cd: PUSH3 0x461bcd 000011d1: PUSH1 0xe5 000011d3: SHL 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x20 000011d8: PUSH1 0x04 000011da: DUP3 000011db: ADD 000011dc: MSTORE 000011dd: PUSH1 0x0a 000011df: PUSH1 0x24 000011e1: DUP3 000011e2: ADD 000011e3: MSTORE 000011e4: PUSH10 0x1e995c9bc81a5b9c1d5d 000011ef: PUSH1 0xb2 000011f1: SHL 000011f2: PUSH1 0x44 000011f4: DUP3 000011f5: ADD 000011f6: MSTORE 000011f7: SWAP1 000011f8: MLOAD 000011f9: SWAP1 000011fa: DUP2 000011fb: SWAP1 000011fc: SUB 000011fd: PUSH1 0x64 000011ff: ADD 00001200: SWAP1 00001201: REVERT 00001202: JUMPDEST 00001203: DUP1 00001204: ISZERO 00001205: PUSH2 0x1218 00001208: JUMPI 00001209: PUSH2 0x1213 0000120c: ADDRESS 0000120d: DUP5 0000120e: DUP5 0000120f: PUSH2 0x1614 00001212: JUMP 00001213: JUMPDEST 00001214: PUSH2 0x1271 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH1 0x01 0000121b: PUSH1 0x01 0000121d: PUSH1 0xa0 0000121f: SHL 00001220: SUB 00001221: DUP3 00001222: AND 00001223: PUSH1 0x00 00001225: SWAP1 00001226: DUP2 00001227: MSTORE 00001228: PUSH1 0x08 0000122a: PUSH1 0x20 0000122c: MSTORE 0000122d: PUSH1 0x40 0000122f: SWAP1 00001230: KECCAK256 00001231: SLOAD 00001232: PUSH2 0x1241 00001235: SWAP1 00001236: DUP5 00001237: PUSH4 0xffffffff 0000123c: PUSH2 0x1555 0000123f: AND 00001240: JUMP 00001241: JUMPDEST 00001242: PUSH1 0x01 00001244: PUSH1 0x01 00001246: PUSH1 0xa0 00001248: SHL 00001249: SUB 0000124a: DUP4 0000124b: AND 0000124c: PUSH1 0x00 0000124e: SWAP1 0000124f: DUP2 00001250: MSTORE 00001251: PUSH1 0x08 00001253: PUSH1 0x20 00001255: MSTORE 00001256: PUSH1 0x40 00001258: SWAP1 00001259: KECCAK256 0000125a: SSTORE 0000125b: PUSH1 0x07 0000125d: SLOAD 0000125e: PUSH2 0x126d 00001261: SWAP1 00001262: DUP5 00001263: PUSH4 0xffffffff 00001268: PUSH2 0x1555 0000126b: AND 0000126c: JUMP 0000126d: JUMPDEST 0000126e: PUSH1 0x07 00001270: SSTORE 00001271: JUMPDEST 00001272: POP 00001273: POP 00001274: POP 00001275: JUMP 00001276: JUMPDEST 00001277: PUSH1 0x01 00001279: PUSH1 0x01 0000127b: PUSH1 0xa0 0000127d: SHL 0000127e: SUB 0000127f: DUP4 00001280: AND 00001281: PUSH2 0x12bb 00001284: JUMPI 00001285: PUSH1 0x40 00001287: MLOAD 00001288: PUSH3 0x461bcd 0000128c: PUSH1 0xe5 0000128e: SHL 0000128f: DUP2 00001290: MSTORE 00001291: PUSH1 0x04 00001293: ADD 00001294: DUP1 00001295: DUP1 00001296: PUSH1 0x20 00001298: ADD 00001299: DUP3 0000129a: DUP2 0000129b: SUB 0000129c: DUP3 0000129d: MSTORE 0000129e: PUSH1 0x24 000012a0: DUP2 000012a1: MSTORE 000012a2: PUSH1 0x20 000012a4: ADD 000012a5: DUP1 000012a6: PUSH2 0x18bc 000012a9: PUSH1 0x24 000012ab: SWAP2 000012ac: CODECOPY 000012ad: PUSH1 0x40 000012af: ADD 000012b0: SWAP2 000012b1: POP 000012b2: POP 000012b3: PUSH1 0x40 000012b5: MLOAD 000012b6: DUP1 000012b7: SWAP2 000012b8: SUB 000012b9: SWAP1 000012ba: REVERT 000012bb: JUMPDEST 000012bc: PUSH1 0x01 000012be: PUSH1 0x01 000012c0: PUSH1 0xa0 000012c2: SHL 000012c3: SUB 000012c4: DUP3 000012c5: AND 000012c6: PUSH2 0x1300 000012c9: JUMPI 000012ca: PUSH1 0x40 000012cc: MLOAD 000012cd: PUSH3 0x461bcd 000012d1: PUSH1 0xe5 000012d3: SHL 000012d4: DUP2 000012d5: MSTORE 000012d6: PUSH1 0x04 000012d8: ADD 000012d9: DUP1 000012da: DUP1 000012db: PUSH1 0x20 000012dd: ADD 000012de: DUP3 000012df: DUP2 000012e0: SUB 000012e1: DUP3 000012e2: MSTORE 000012e3: PUSH1 0x22 000012e5: DUP2 000012e6: MSTORE 000012e7: PUSH1 0x20 000012e9: ADD 000012ea: DUP1 000012eb: PUSH2 0x17e4 000012ee: PUSH1 0x22 000012f0: SWAP2 000012f1: CODECOPY 000012f2: PUSH1 0x40 000012f4: ADD 000012f5: SWAP2 000012f6: POP 000012f7: POP 000012f8: PUSH1 0x40 000012fa: MLOAD 000012fb: DUP1 000012fc: SWAP2 000012fd: SUB 000012fe: SWAP1 000012ff: REVERT 00001300: JUMPDEST 00001301: PUSH1 0x01 00001303: PUSH1 0x01 00001305: PUSH1 0xa0 00001307: SHL 00001308: SUB 00001309: DUP1 0000130a: DUP5 0000130b: AND 0000130c: PUSH1 0x00 0000130e: DUP2 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x01 00001313: PUSH1 0x20 00001315: SWAP1 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x40 0000131a: DUP1 0000131b: DUP4 0000131c: KECCAK256 0000131d: SWAP5 0000131e: DUP8 0000131f: AND 00001320: DUP1 00001321: DUP5 00001322: MSTORE 00001323: SWAP5 00001324: DUP3 00001325: MSTORE 00001326: SWAP2 00001327: DUP3 00001328: SWAP1 00001329: KECCAK256 0000132a: DUP6 0000132b: SWAP1 0000132c: SSTORE 0000132d: DUP2 0000132e: MLOAD 0000132f: DUP6 00001330: DUP2 00001331: MSTORE 00001332: SWAP2 00001333: MLOAD 00001334: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001355: SWAP3 00001356: DUP2 00001357: SWAP1 00001358: SUB 00001359: SWAP1 0000135a: SWAP2 0000135b: ADD 0000135c: SWAP1 0000135d: LOG3 0000135e: POP 0000135f: POP 00001360: POP 00001361: JUMP 00001362: JUMPDEST 00001363: PUSH1 0x01 00001365: PUSH1 0x01 00001367: PUSH1 0xa0 00001369: SHL 0000136a: SUB 0000136b: DUP4 0000136c: AND 0000136d: PUSH2 0x13a7 00001370: JUMPI 00001371: PUSH1 0x40 00001373: MLOAD 00001374: PUSH3 0x461bcd 00001378: PUSH1 0xe5 0000137a: SHL 0000137b: DUP2 0000137c: MSTORE 0000137d: PUSH1 0x04 0000137f: ADD 00001380: DUP1 00001381: DUP1 00001382: PUSH1 0x20 00001384: ADD 00001385: DUP3 00001386: DUP2 00001387: SUB 00001388: DUP3 00001389: MSTORE 0000138a: PUSH1 0x25 0000138c: DUP2 0000138d: MSTORE 0000138e: PUSH1 0x20 00001390: ADD 00001391: DUP1 00001392: PUSH2 0x1897 00001395: PUSH1 0x25 00001397: SWAP2 00001398: CODECOPY 00001399: PUSH1 0x40 0000139b: ADD 0000139c: SWAP2 0000139d: POP 0000139e: POP 0000139f: PUSH1 0x40 000013a1: MLOAD 000013a2: DUP1 000013a3: SWAP2 000013a4: SUB 000013a5: SWAP1 000013a6: REVERT 000013a7: JUMPDEST 000013a8: PUSH1 0x01 000013aa: PUSH1 0x01 000013ac: PUSH1 0xa0 000013ae: SHL 000013af: SUB 000013b0: DUP3 000013b1: AND 000013b2: PUSH2 0x13ec 000013b5: JUMPI 000013b6: PUSH1 0x40 000013b8: MLOAD 000013b9: PUSH3 0x461bcd 000013bd: PUSH1 0xe5 000013bf: SHL 000013c0: DUP2 000013c1: MSTORE 000013c2: PUSH1 0x04 000013c4: ADD 000013c5: DUP1 000013c6: DUP1 000013c7: PUSH1 0x20 000013c9: ADD 000013ca: DUP3 000013cb: DUP2 000013cc: SUB 000013cd: DUP3 000013ce: MSTORE 000013cf: PUSH1 0x23 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x20 000013d5: ADD 000013d6: DUP1 000013d7: PUSH2 0x17c1 000013da: PUSH1 0x23 000013dc: SWAP2 000013dd: CODECOPY 000013de: PUSH1 0x40 000013e0: ADD 000013e1: SWAP2 000013e2: POP 000013e3: POP 000013e4: PUSH1 0x40 000013e6: MLOAD 000013e7: DUP1 000013e8: SWAP2 000013e9: SUB 000013ea: SWAP1 000013eb: REVERT 000013ec: JUMPDEST 000013ed: PUSH2 0x142f 000013f0: DUP2 000013f1: PUSH1 0x40 000013f3: MLOAD 000013f4: DUP1 000013f5: PUSH1 0x60 000013f7: ADD 000013f8: PUSH1 0x40 000013fa: MSTORE 000013fb: DUP1 000013fc: PUSH1 0x26 000013fe: DUP2 000013ff: MSTORE 00001400: PUSH1 0x20 00001402: ADD 00001403: PUSH2 0x1806 00001406: PUSH1 0x26 00001408: SWAP2 00001409: CODECOPY 0000140a: PUSH1 0x01 0000140c: PUSH1 0x01 0000140e: PUSH1 0xa0 00001410: SHL 00001411: SUB 00001412: DUP7 00001413: AND 00001414: PUSH1 0x00 00001416: SWAP1 00001417: DUP2 00001418: MSTORE 00001419: PUSH1 0x20 0000141b: DUP2 0000141c: SWAP1 0000141d: MSTORE 0000141e: PUSH1 0x40 00001420: SWAP1 00001421: KECCAK256 00001422: SLOAD 00001423: SWAP2 00001424: SWAP1 00001425: PUSH4 0xffffffff 0000142a: PUSH2 0x14be 0000142d: AND 0000142e: JUMP 0000142f: JUMPDEST 00001430: PUSH1 0x01 00001432: PUSH1 0x01 00001434: PUSH1 0xa0 00001436: SHL 00001437: SUB 00001438: DUP1 00001439: DUP6 0000143a: AND 0000143b: PUSH1 0x00 0000143d: SWAP1 0000143e: DUP2 0000143f: MSTORE 00001440: PUSH1 0x20 00001442: DUP2 00001443: SWAP1 00001444: MSTORE 00001445: PUSH1 0x40 00001447: DUP1 00001448: DUP3 00001449: KECCAK256 0000144a: SWAP4 0000144b: SWAP1 0000144c: SWAP4 0000144d: SSTORE 0000144e: SWAP1 0000144f: DUP5 00001450: AND 00001451: DUP2 00001452: MSTORE 00001453: KECCAK256 00001454: SLOAD 00001455: PUSH2 0x1464 00001458: SWAP1 00001459: DUP3 0000145a: PUSH4 0xffffffff 0000145f: PUSH2 0x1555 00001462: AND 00001463: JUMP 00001464: JUMPDEST 00001465: PUSH1 0x01 00001467: PUSH1 0x01 00001469: PUSH1 0xa0 0000146b: SHL 0000146c: SUB 0000146d: DUP1 0000146e: DUP5 0000146f: AND 00001470: PUSH1 0x00 00001472: DUP2 00001473: DUP2 00001474: MSTORE 00001475: PUSH1 0x20 00001477: DUP2 00001478: DUP2 00001479: MSTORE 0000147a: PUSH1 0x40 0000147c: SWAP2 0000147d: DUP3 0000147e: SWAP1 0000147f: KECCAK256 00001480: SWAP5 00001481: SWAP1 00001482: SWAP5 00001483: SSTORE 00001484: DUP1 00001485: MLOAD 00001486: DUP6 00001487: DUP2 00001488: MSTORE 00001489: SWAP1 0000148a: MLOAD 0000148b: SWAP2 0000148c: SWAP4 0000148d: SWAP3 0000148e: DUP8 0000148f: AND 00001490: SWAP3 00001491: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000014b2: SWAP3 000014b3: SWAP2 000014b4: DUP3 000014b5: SWAP1 000014b6: SUB 000014b7: ADD 000014b8: SWAP1 000014b9: LOG3 000014ba: POP 000014bb: POP 000014bc: POP 000014bd: JUMP 000014be: JUMPDEST 000014bf: PUSH1 0x00 000014c1: DUP2 000014c2: DUP5 000014c3: DUP5 000014c4: GT 000014c5: ISZERO 000014c6: PUSH2 0x154d 000014c9: JUMPI 000014ca: PUSH1 0x40 000014cc: MLOAD 000014cd: PUSH3 0x461bcd 000014d1: PUSH1 0xe5 000014d3: SHL 000014d4: DUP2 000014d5: MSTORE 000014d6: PUSH1 0x04 000014d8: ADD 000014d9: DUP1 000014da: DUP1 000014db: PUSH1 0x20 000014dd: ADD 000014de: DUP3 000014df: DUP2 000014e0: SUB 000014e1: DUP3 000014e2: MSTORE 000014e3: DUP4 000014e4: DUP2 000014e5: DUP2 000014e6: MLOAD 000014e7: DUP2 000014e8: MSTORE 000014e9: PUSH1 0x20 000014eb: ADD 000014ec: SWAP2 000014ed: POP 000014ee: DUP1 000014ef: MLOAD 000014f0: SWAP1 000014f1: PUSH1 0x20 000014f3: ADD 000014f4: SWAP1 000014f5: DUP1 000014f6: DUP4 000014f7: DUP4 000014f8: PUSH1 0x00 000014fa: JUMPDEST 000014fb: DUP4 000014fc: DUP2 000014fd: LT 000014fe: ISZERO 000014ff: PUSH2 0x1512 00001502: JUMPI 00001503: DUP2 00001504: DUP2 00001505: ADD 00001506: MLOAD 00001507: DUP4 00001508: DUP3 00001509: ADD 0000150a: MSTORE 0000150b: PUSH1 0x20 0000150d: ADD 0000150e: PUSH2 0x14fa 00001511: JUMP 00001512: JUMPDEST 00001513: POP 00001514: POP 00001515: POP 00001516: POP 00001517: SWAP1 00001518: POP 00001519: SWAP1 0000151a: DUP2 0000151b: ADD 0000151c: SWAP1 0000151d: PUSH1 0x1f 0000151f: AND 00001520: DUP1 00001521: ISZERO 00001522: PUSH2 0x153f 00001525: JUMPI 00001526: DUP1 00001527: DUP3 00001528: SUB 00001529: DUP1 0000152a: MLOAD 0000152b: PUSH1 0x01 0000152d: DUP4 0000152e: PUSH1 0x20 00001530: SUB 00001531: PUSH2 0x0100 00001534: EXP 00001535: SUB 00001536: NOT 00001537: AND 00001538: DUP2 00001539: MSTORE 0000153a: PUSH1 0x20 0000153c: ADD 0000153d: SWAP2 0000153e: POP 0000153f: JUMPDEST 00001540: POP 00001541: SWAP3 00001542: POP 00001543: POP 00001544: POP 00001545: PUSH1 0x40 00001547: MLOAD 00001548: DUP1 00001549: SWAP2 0000154a: SUB 0000154b: SWAP1 0000154c: REVERT 0000154d: JUMPDEST 0000154e: POP 0000154f: POP 00001550: POP 00001551: SWAP1 00001552: SUB 00001553: SWAP1 00001554: JUMP 00001555: JUMPDEST 00001556: PUSH1 0x00 00001558: DUP3 00001559: DUP3 0000155a: ADD 0000155b: DUP4 0000155c: DUP2 0000155d: LT 0000155e: ISZERO 0000155f: PUSH2 0x1135 00001562: JUMPI 00001563: PUSH1 0x40 00001565: DUP1 00001566: MLOAD 00001567: PUSH3 0x461bcd 0000156b: PUSH1 0xe5 0000156d: SHL 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x20 00001572: PUSH1 0x04 00001574: DUP3 00001575: ADD 00001576: MSTORE 00001577: PUSH1 0x1b 00001579: PUSH1 0x24 0000157b: DUP3 0000157c: ADD 0000157d: MSTORE 0000157e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000159f: PUSH1 0x44 000015a1: DUP3 000015a2: ADD 000015a3: MSTORE 000015a4: SWAP1 000015a5: MLOAD 000015a6: SWAP1 000015a7: DUP2 000015a8: SWAP1 000015a9: SUB 000015aa: PUSH1 0x64 000015ac: ADD 000015ad: SWAP1 000015ae: REVERT 000015af: JUMPDEST 000015b0: PUSH1 0x00 000015b2: DUP2 000015b3: DUP4 000015b4: PUSH2 0x15fe 000015b7: JUMPI 000015b8: PUSH1 0x40 000015ba: MLOAD 000015bb: PUSH3 0x461bcd 000015bf: PUSH1 0xe5 000015c1: SHL 000015c2: DUP2 000015c3: MSTORE 000015c4: PUSH1 0x20 000015c6: PUSH1 0x04 000015c8: DUP3 000015c9: ADD 000015ca: DUP2 000015cb: DUP2 000015cc: MSTORE 000015cd: DUP4 000015ce: MLOAD 000015cf: PUSH1 0x24 000015d1: DUP5 000015d2: ADD 000015d3: MSTORE 000015d4: DUP4 000015d5: MLOAD 000015d6: SWAP1 000015d7: SWAP3 000015d8: DUP4 000015d9: SWAP3 000015da: PUSH1 0x44 000015dc: SWAP1 000015dd: SWAP2 000015de: ADD 000015df: SWAP2 000015e0: SWAP1 000015e1: DUP6 000015e2: ADD 000015e3: SWAP1 000015e4: DUP1 000015e5: DUP4 000015e6: DUP4 000015e7: PUSH1 0x00 000015e9: DUP4 000015ea: ISZERO 000015eb: PUSH2 0x1512 000015ee: JUMPI 000015ef: DUP2 000015f0: DUP2 000015f1: ADD 000015f2: MLOAD 000015f3: DUP4 000015f4: DUP3 000015f5: ADD 000015f6: MSTORE 000015f7: PUSH1 0x20 000015f9: ADD 000015fa: PUSH2 0x14fa 000015fd: JUMP 000015fe: JUMPDEST 000015ff: POP 00001600: PUSH1 0x00 00001602: DUP4 00001603: DUP6 00001604: DUP2 00001605: PUSH2 0x160a 00001608: JUMPI 00001609: INVALID 0000160a: JUMPDEST 0000160b: DIV 0000160c: SWAP6 0000160d: SWAP5 0000160e: POP 0000160f: POP 00001610: POP 00001611: POP 00001612: POP 00001613: JUMP 00001614: JUMPDEST 00001615: DUP2 00001616: PUSH1 0x01 00001618: PUSH1 0x01 0000161a: PUSH1 0xa0 0000161c: SHL 0000161d: SUB 0000161e: DUP5 0000161f: AND 00001620: PUSH2 0x1670 00001623: JUMPI 00001624: PUSH1 0x40 00001626: DUP1 00001627: MLOAD 00001628: PUSH3 0x461bcd 0000162c: PUSH1 0xe5 0000162e: SHL 0000162f: DUP2 00001630: MSTORE 00001631: PUSH1 0x20 00001633: PUSH1 0x04 00001635: DUP3 00001636: ADD 00001637: MSTORE 00001638: PUSH1 0x1f 0000163a: PUSH1 0x24 0000163c: DUP3 0000163d: ADD 0000163e: MSTORE 0000163f: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00001660: PUSH1 0x44 00001662: DUP3 00001663: ADD 00001664: MSTORE 00001665: SWAP1 00001666: MLOAD 00001667: SWAP1 00001668: DUP2 00001669: SWAP1 0000166a: SUB 0000166b: PUSH1 0x64 0000166d: ADD 0000166e: SWAP1 0000166f: REVERT 00001670: JUMPDEST 00001671: PUSH1 0x06 00001673: SLOAD 00001674: PUSH1 0xff 00001676: AND 00001677: PUSH2 0x17ba 0000167a: JUMPI 0000167b: PUSH1 0x0c 0000167d: SLOAD 0000167e: PUSH1 0x0d 00001680: SLOAD 00001681: GT 00001682: PUSH2 0x17ba 00001685: JUMPI 00001686: PUSH1 0x0c 00001688: SLOAD 00001689: PUSH1 0x0d 0000168b: SLOAD 0000168c: PUSH2 0x169b 0000168f: SWAP1 00001690: DUP4 00001691: PUSH4 0xffffffff 00001696: PUSH2 0x1555 00001699: AND 0000169a: JUMP 0000169b: JUMPDEST 0000169c: LT 0000169d: PUSH2 0x16cf 000016a0: JUMPI 000016a1: PUSH1 0x0d 000016a3: SLOAD 000016a4: PUSH1 0x0c 000016a6: SLOAD 000016a7: PUSH2 0x16b5 000016aa: SWAP2 000016ab: PUSH4 0xffffffff 000016b0: PUSH2 0x117e 000016b3: AND 000016b4: JUMP 000016b5: JUMPDEST 000016b6: PUSH1 0x0c 000016b8: SLOAD 000016b9: PUSH1 0x0d 000016bb: SSTORE 000016bc: PUSH1 0x06 000016be: DUP1 000016bf: SLOAD 000016c0: PUSH1 0xff 000016c2: NOT 000016c3: AND 000016c4: PUSH1 0x01 000016c6: OR 000016c7: SWAP1 000016c8: SSTORE 000016c9: SWAP1 000016ca: POP 000016cb: PUSH2 0x16e6 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH1 0x0d 000016d2: SLOAD 000016d3: PUSH2 0x16e2 000016d6: SWAP1 000016d7: DUP3 000016d8: PUSH4 0xffffffff 000016dd: PUSH2 0x1555 000016e0: AND 000016e1: JUMP 000016e2: JUMPDEST 000016e3: PUSH1 0x0d 000016e5: SSTORE 000016e6: JUMPDEST 000016e7: PUSH1 0x01 000016e9: PUSH1 0x01 000016eb: PUSH1 0xa0 000016ed: SHL 000016ee: SUB 000016ef: DUP3 000016f0: AND 000016f1: PUSH1 0x00 000016f3: SWAP1 000016f4: DUP2 000016f5: MSTORE 000016f6: PUSH1 0x08 000016f8: PUSH1 0x20 000016fa: MSTORE 000016fb: PUSH1 0x40 000016fd: SWAP1 000016fe: KECCAK256 000016ff: SLOAD 00001700: PUSH2 0x170f 00001703: SWAP1 00001704: DUP3 00001705: PUSH4 0xffffffff 0000170a: PUSH2 0x1555 0000170d: AND 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH1 0x01 00001712: PUSH1 0x01 00001714: PUSH1 0xa0 00001716: SHL 00001717: SUB 00001718: DUP4 00001719: AND 0000171a: PUSH1 0x00 0000171c: SWAP1 0000171d: DUP2 0000171e: MSTORE 0000171f: PUSH1 0x08 00001721: PUSH1 0x20 00001723: MSTORE 00001724: PUSH1 0x40 00001726: SWAP1 00001727: KECCAK256 00001728: SSTORE 00001729: PUSH1 0x07 0000172b: SLOAD 0000172c: PUSH2 0x173b 0000172f: SWAP1 00001730: DUP3 00001731: PUSH4 0xffffffff 00001736: PUSH2 0x1555 00001739: AND 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH1 0x07 0000173e: SSTORE 0000173f: PUSH1 0x01 00001741: PUSH1 0x01 00001743: PUSH1 0xa0 00001745: SHL 00001746: SUB 00001747: DUP5 00001748: AND 00001749: PUSH1 0x00 0000174b: SWAP1 0000174c: DUP2 0000174d: MSTORE 0000174e: PUSH1 0x20 00001750: DUP2 00001751: SWAP1 00001752: MSTORE 00001753: PUSH1 0x40 00001755: SWAP1 00001756: KECCAK256 00001757: SLOAD 00001758: PUSH2 0x1767 0000175b: SWAP1 0000175c: DUP3 0000175d: PUSH4 0xffffffff 00001762: PUSH2 0x1555 00001765: AND 00001766: JUMP 00001767: JUMPDEST 00001768: PUSH1 0x01 0000176a: PUSH1 0x01 0000176c: PUSH1 0xa0 0000176e: SHL 0000176f: SUB 00001770: DUP6 00001771: AND 00001772: PUSH1 0x00 00001774: DUP2 00001775: DUP2 00001776: MSTORE 00001777: PUSH1 0x20 00001779: DUP2 0000177a: DUP2 0000177b: MSTORE 0000177c: PUSH1 0x40 0000177e: DUP1 0000177f: DUP4 00001780: KECCAK256 00001781: SWAP5 00001782: SWAP1 00001783: SWAP5 00001784: SSTORE 00001785: DUP4 00001786: MLOAD 00001787: DUP6 00001788: DUP2 00001789: MSTORE 0000178a: SWAP4 0000178b: MLOAD 0000178c: SWAP3 0000178d: SWAP4 0000178e: SWAP2 0000178f: SWAP3 00001790: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000017b1: SWAP3 000017b2: DUP2 000017b3: SWAP1 000017b4: SUB 000017b5: SWAP1 000017b6: SWAP2 000017b7: ADD 000017b8: SWAP1 000017b9: LOG3 000017ba: JUMPDEST 000017bb: POP 000017bc: POP 000017bd: POP 000017be: POP 000017bf: JUMP 000017c0: INVALID 000017c1: GASLIMIT 000017c2: MSTORE 000017c3: NUMBER 000017c4: ORIGIN 000017c5: ADDRESS 000017c6: GASPRICE 000017c7: KECCAK256 000017c8: PUSH21 0x72616e7366657220746f20746865207a65726f2061 000017de: PUSH5 0x6472657373 000017e4: GASLIMIT 000017e5: MSTORE 000017e6: NUMBER 000017e7: ORIGIN 000017e8: ADDRESS 000017e9: GASPRICE 000017ea: KECCAK256 000017eb: PUSH2 0x7070 000017ee: PUSH19 0x6f766520746f20746865207a65726f20616464 00001802: PUSH19 0x65737345524332303a207472616e7366657220 00001816: PUSH2 0x6d6f 00001819: PUSH22 0x6e7420657863656564732062616c616e63654572726f 00001830: PUSH19 0x3a20756e73756666696369656e74206c6f636b 00001844: PUSH6 0x642062616c61 0000184b: PUSH15 0x6365536166654d6174683a206d756c 0000185b: PUSH21 0x69706c69636174696f6e206f766572666c6f774552 00001871: NUMBER 00001872: ORIGIN 00001873: ADDRESS 00001874: GASPRICE 00001875: KECCAK256 00001876: PUSH21 0x72616e7366657220616d6f756e7420657863656564 0000188c: PUSH20 0x20616c6c6f77616e636545524332303a20747261 000018a1: PUSH15 0x736665722066726f6d20746865207a 000018b1: PUSH6 0x726f20616464 000018b8: PUSH19 0x65737345524332303a20617070726f76652066 000018cc: PUSH19 0x6f6d20746865207a65726f2061646472657373 000018e0: GASLIMIT 000018e1: MSTORE 000018e2: NUMBER 000018e3: ORIGIN 000018e4: ADDRESS 000018e5: GASPRICE 000018e6: KECCAK256 000018e7: PUSH5 0x6563726561 000018ed: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00001902: PUSH6 0x726fa2646970 00001909: PUSH7 0x7358221220a565 00001911: UNKNOWN(0x2E) 00001912: UNKNOWN(0xB9) 00001913: UNKNOWN(0xBF) 00001914: PUSH24 0x547a825207400b7b9cce928d0a2cd8c0edc1cc431095d4ca 0000192d: ORIGIN 0000192e: PUSH6 0x64736f6c6343 00001935: STOP 00001936: MOD 00001937: DIV 00001938: STOP 00001939: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcecf01df",
"selector": "0xcecf01df",
"calldata_variants": [
"0xcecf01df",
"0xcecf01df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x997664d7",
"selector": "0x997664d7",
"calldata_variants": [
"0x997664d7",
"0x997664d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2030b34",
"selector": "0xa2030b34",
"calldata_variants": [
"0xa2030b34",
"0xa2030b340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6cdc3538",
"selector": "0x6cdc3538",
"calldata_variants": [
"0x6cdc3538",
"0x6cdc35380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6084,
"type": "tx_origin_used"
},
{
"pc": 6119,
"type": "tx_origin_used"
},
{
"pc": 6258,
"type": "tx_origin_used"
},
{
"pc": 6371,
"type": "tx_origin_used"
},
{
"pc": 6445,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5361e2753ff9b3abc54ab7ac9f25c24cc4164844be0256912b60c605888d77cc
call_targets:
0x5994bb4499191638454cf4ac3ff24cff6ccedf9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5361e2753ff9b3abc54ab7ac9f25c24cc4164844be0256912b60c605888d77cc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5994bb4499191638454cf4ac3ff24cff6ccedf9d"
],
"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": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcecf01df",
"selector": "0xcecf01df",
"calldata_variants": [
"0xcecf01df",
"0xcecf01df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x997664d7",
"selector": "0x997664d7",
"calldata_variants": [
"0x997664d7",
"0x997664d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2030b34",
"selector": "0xa2030b34",
"calldata_variants": [
"0xa2030b34",
"0xa2030b340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6cdc3538",
"selector": "0x6cdc3538",
"calldata_variants": [
"0x6cdc3538",
"0x6cdc35380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 6084,
"type": "tx_origin_used"
},
{
"pc": 6119,
"type": "tx_origin_used"
},
{
"pc": 6258,
"type": "tx_origin_used"
},
{
"pc": 6371,
"type": "tx_origin_used"
},
{
"pc": 6445,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5361e2753ff9b3abc54ab7ac9f25c24cc4164844be0256912b60c605888d77cc
call_targets:
0x5994bb4499191638454cf4ac3ff24cff6ccedf9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5361e2753ff9b3abc54ab7ac9f25c24cc4164844be0256912b60c605888d77cc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5994bb4499191638454cf4ac3ff24cff6ccedf9d"
],
"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": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcecf01df",
"selector": "0xcecf01df",
"calldata_variants": [
"0xcecf01df",
"0xcecf01df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x997664d7",
"selector": "0x997664d7",
"calldata_variants": [
"0x997664d7",
"0x997664d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2030b34",
"selector": "0xa2030b34",
"calldata_variants": [
"0xa2030b34",
"0xa2030b340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6cdc3538",
"selector": "0x6cdc3538",
"calldata_variants": [
"0x6cdc3538",
"0x6cdc35380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 6084,
"type": "tx_origin_used"
},
{
"pc": 6119,
"type": "tx_origin_used"
},
{
"pc": 6258,
"type": "tx_origin_used"
},
{
"pc": 6371,
"type": "tx_origin_used"
},
{
"pc": 6445,
"type": "tx_origin_used"
}
]
}
|