019b477e-b649-70d6-aec4-970a169f52a2
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 |
|---|---|---|---|---|
| 23091 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23092 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66714 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66715 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66716 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66717 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0086 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x984d72d2 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x984d72d2 00000024: EQ 00000025: PUSH2 0x016a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xabb1dc44 0000002f: EQ 00000030: PUSH2 0x0194 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb9e406b4 0000003a: EQ 0000003b: PUSH2 0x01e8 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe6670e40 00000045: EQ 00000046: PUSH2 0x0219 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe6fcf02a 00000050: EQ 00000051: PUSH2 0x0236 00000054: JUMPI 00000055: PUSH2 0x0086 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x5cf2c0dd 00000060: EQ 00000061: PUSH2 0x008b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x6d0d9f12 0000006b: EQ 0000006c: PUSH2 0x00b2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x78b43985 00000076: EQ 00000077: PUSH2 0x00c7 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x7cc1f867 00000081: EQ 00000082: PUSH2 0x00de 00000085: JUMPI 00000086: JUMPDEST 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: DUP1 0000008e: ISZERO 0000008f: PUSH2 0x0097 00000092: JUMPI 00000093: PUSH1 0x00 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x00a0 0000009c: PUSH2 0x024b 0000009f: JUMP 000000a0: JUMPDEST 000000a1: PUSH1 0x40 000000a3: DUP1 000000a4: MLOAD 000000a5: SWAP2 000000a6: DUP3 000000a7: MSTORE 000000a8: MLOAD 000000a9: SWAP1 000000aa: DUP2 000000ab: SWAP1 000000ac: SUB 000000ad: PUSH1 0x20 000000af: ADD 000000b0: SWAP1 000000b1: RETURN 000000b2: JUMPDEST 000000b3: CALLVALUE 000000b4: DUP1 000000b5: ISZERO 000000b6: PUSH2 0x00be 000000b9: JUMPI 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: POP 000000c0: PUSH2 0x00a0 000000c3: PUSH2 0x0275 000000c6: JUMP 000000c7: JUMPDEST 000000c8: CALLVALUE 000000c9: DUP1 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00dc 000000d8: PUSH2 0x027b 000000db: JUMP 000000dc: JUMPDEST 000000dd: STOP 000000de: JUMPDEST 000000df: CALLVALUE 000000e0: DUP1 000000e1: ISZERO 000000e2: PUSH2 0x00ea 000000e5: JUMPI 000000e6: PUSH1 0x00 000000e8: DUP1 000000e9: REVERT 000000ea: JUMPDEST 000000eb: POP 000000ec: PUSH2 0x00f3 000000ef: PUSH2 0x041d 000000f2: JUMP 000000f3: JUMPDEST 000000f4: PUSH1 0x40 000000f6: DUP1 000000f7: MLOAD 000000f8: SWAP15 000000f9: DUP16 000000fa: MSTORE 000000fb: PUSH1 0x20 000000fd: DUP16 000000fe: ADD 000000ff: SWAP14 00000100: SWAP1 00000101: SWAP14 00000102: MSTORE 00000103: DUP14 00000104: DUP14 00000105: ADD 00000106: SWAP12 00000107: SWAP1 00000108: SWAP12 00000109: MSTORE 0000010a: PUSH1 0x60 0000010c: DUP14 0000010d: ADD 0000010e: SWAP10 0000010f: SWAP1 00000110: SWAP10 00000111: MSTORE 00000112: PUSH1 0x80 00000114: DUP13 00000115: ADD 00000116: SWAP8 00000117: SWAP1 00000118: SWAP8 00000119: MSTORE 0000011a: PUSH1 0x01 0000011c: PUSH1 0x01 0000011e: PUSH1 0xa0 00000120: SHL 00000121: SUB 00000122: SWAP6 00000123: DUP7 00000124: AND 00000125: PUSH1 0xa0 00000127: DUP13 00000128: ADD 00000129: MSTORE 0000012a: PUSH1 0xc0 0000012c: DUP12 0000012d: ADD 0000012e: SWAP5 0000012f: SWAP1 00000130: SWAP5 00000131: MSTORE 00000132: PUSH1 0xe0 00000134: DUP11 00000135: ADD 00000136: SWAP3 00000137: SWAP1 00000138: SWAP3 00000139: MSTORE 0000013a: PUSH2 0x0100 0000013d: DUP10 0000013e: ADD 0000013f: MSTORE 00000140: PUSH2 0x0120 00000143: DUP9 00000144: ADD 00000145: MSTORE 00000146: PUSH2 0x0140 00000149: DUP8 0000014a: ADD 0000014b: MSTORE 0000014c: AND 0000014d: PUSH2 0x0160 00000150: DUP6 00000151: ADD 00000152: MSTORE 00000153: PUSH2 0x0180 00000156: DUP5 00000157: ADD 00000158: MSTORE 00000159: PUSH2 0x01a0 0000015c: DUP4 0000015d: ADD 0000015e: MSTORE 0000015f: MLOAD 00000160: SWAP1 00000161: DUP2 00000162: SWAP1 00000163: SUB 00000164: PUSH2 0x01c0 00000167: ADD 00000168: SWAP1 00000169: RETURN 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: DUP1 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: PUSH2 0x00dc 0000017b: PUSH1 0x04 0000017d: DUP1 0000017e: CALLDATASIZE 0000017f: SUB 00000180: PUSH1 0x20 00000182: DUP2 00000183: LT 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: POP 0000018f: CALLDATALOAD 00000190: PUSH2 0x04f4 00000193: JUMP 00000194: JUMPDEST 00000195: CALLVALUE 00000196: DUP1 00000197: ISZERO 00000198: PUSH2 0x01a0 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: POP 000001a2: PUSH2 0x01a9 000001a5: PUSH2 0x0808 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH1 0x40 000001ac: DUP1 000001ad: MLOAD 000001ae: SWAP7 000001af: DUP8 000001b0: MSTORE 000001b1: PUSH1 0x01 000001b3: PUSH1 0x01 000001b5: PUSH1 0xa0 000001b7: SHL 000001b8: SUB 000001b9: SWAP6 000001ba: DUP7 000001bb: AND 000001bc: PUSH1 0x20 000001be: DUP9 000001bf: ADD 000001c0: MSTORE 000001c1: SWAP4 000001c2: SWAP1 000001c3: SWAP5 000001c4: AND 000001c5: DUP6 000001c6: DUP5 000001c7: ADD 000001c8: MSTORE 000001c9: PUSH1 0x60 000001cb: DUP6 000001cc: ADD 000001cd: SWAP2 000001ce: SWAP1 000001cf: SWAP2 000001d0: MSTORE 000001d1: PUSH1 0x80 000001d3: DUP5 000001d4: ADD 000001d5: MSTORE 000001d6: PUSH1 0xa0 000001d8: DUP4 000001d9: ADD 000001da: SWAP2 000001db: SWAP1 000001dc: SWAP2 000001dd: MSTORE 000001de: MLOAD 000001df: SWAP1 000001e0: DUP2 000001e1: SWAP1 000001e2: SUB 000001e3: PUSH1 0xc0 000001e5: ADD 000001e6: SWAP1 000001e7: RETURN 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x01fd 000001f9: PUSH2 0x0833 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: DUP1 00000201: MLOAD 00000202: PUSH1 0x01 00000204: PUSH1 0x01 00000206: PUSH1 0xa0 00000208: SHL 00000209: SUB 0000020a: SWAP1 0000020b: SWAP3 0000020c: AND 0000020d: DUP3 0000020e: MSTORE 0000020f: MLOAD 00000210: SWAP1 00000211: DUP2 00000212: SWAP1 00000213: SUB 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP1 00000218: RETURN 00000219: JUMPDEST 0000021a: PUSH2 0x00dc 0000021d: PUSH1 0x04 0000021f: DUP1 00000220: CALLDATASIZE 00000221: SUB 00000222: PUSH1 0x20 00000224: DUP2 00000225: LT 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: CALLDATALOAD 00000232: PUSH2 0x0842 00000235: JUMP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: POP 00000244: PUSH2 0x00dc 00000247: PUSH2 0x0c56 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH1 0x00 0000024e: PUSH1 0x0c 00000250: SLOAD 00000251: PUSH1 0x01 00000253: EQ 00000254: DUP1 00000255: ISZERO 00000256: PUSH2 0x0260 00000259: JUMPI 0000025a: POP 0000025b: PUSH1 0x11 0000025d: SLOAD 0000025e: TIMESTAMP 0000025f: GT 00000260: JUMPDEST 00000261: ISZERO 00000262: PUSH2 0x026d 00000265: JUMPI 00000266: POP 00000267: PUSH1 0x02 00000269: PUSH2 0x0272 0000026c: JUMP 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH1 0x0c 00000271: SLOAD 00000272: JUMPDEST 00000273: SWAP1 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x12 00000278: SLOAD 00000279: SWAP1 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH1 0x00 0000027e: SLOAD 0000027f: PUSH1 0x01 00000281: PUSH1 0x01 00000283: PUSH1 0xa0 00000285: SHL 00000286: SUB 00000287: AND 00000288: ORIGIN 00000289: EQ 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: PUSH1 0x04 00000295: DUP1 00000296: SLOAD 00000297: PUSH1 0x40 00000299: DUP1 0000029a: MLOAD 0000029b: PUSH4 0x47f3bf43 000002a0: PUSH1 0xe1 000002a2: SHL 000002a3: DUP2 000002a4: MSTORE 000002a5: PUSH1 0x20 000002a7: SWAP4 000002a8: DUP2 000002a9: ADD 000002aa: DUP5 000002ab: SWAP1 000002ac: MSTORE 000002ad: PUSH1 0x0e 000002af: PUSH1 0x24 000002b1: DUP3 000002b2: ADD 000002b3: MSTORE 000002b4: PUSH14 0x61756374696f6e466163746f7279 000002c3: PUSH1 0x90 000002c5: SHL 000002c6: PUSH1 0x44 000002c8: DUP3 000002c9: ADD 000002ca: MSTORE 000002cb: SWAP1 000002cc: MLOAD 000002cd: CALLER 000002ce: SWAP4 000002cf: PUSH1 0x01 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: SHL 000002d6: SUB 000002d7: SWAP1 000002d8: SWAP4 000002d9: AND 000002da: SWAP3 000002db: PUSH4 0x8fe77e86 000002e0: SWAP3 000002e1: PUSH1 0x64 000002e3: DUP1 000002e4: DUP3 000002e5: ADD 000002e6: SWAP4 000002e7: SWAP2 000002e8: DUP3 000002e9: SWAP1 000002ea: SUB 000002eb: ADD 000002ec: DUP2 000002ed: DUP7 000002ee: DUP1 000002ef: EXTCODESIZE 000002f0: ISZERO 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: GAS 000002fe: STATICCALL 000002ff: ISZERO 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030f 00000305: JUMPI 00000306: RETURNDATASIZE 00000307: PUSH1 0x00 00000309: DUP1 0000030a: RETURNDATACOPY 0000030b: RETURNDATASIZE 0000030c: PUSH1 0x00 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: POP 00000312: POP 00000313: POP 00000314: PUSH1 0x40 00000316: MLOAD 00000317: RETURNDATASIZE 00000318: PUSH1 0x20 0000031a: DUP2 0000031b: LT 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: MLOAD 00000328: PUSH1 0x01 0000032a: PUSH1 0x01 0000032c: PUSH1 0xa0 0000032e: SHL 0000032f: SUB 00000330: AND 00000331: EQ 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: PUSH2 0x0342 0000033e: PUSH2 0x024b 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x02 00000345: EQ 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: PUSH1 0x19 00000351: SLOAD 00000352: ISZERO 00000353: PUSH2 0x035b 00000356: JUMPI 00000357: PUSH1 0x00 00000359: DUP1 0000035a: REVERT 0000035b: JUMPDEST 0000035c: PUSH1 0x14 0000035e: SLOAD 0000035f: ISZERO 00000360: PUSH2 0x03a4 00000363: JUMPI 00000364: PUSH1 0x00 00000366: DUP1 00000367: SLOAD 00000368: PUSH1 0x18 0000036a: SLOAD 0000036b: PUSH1 0x14 0000036d: SLOAD 0000036e: DUP4 0000036f: MSTORE 00000370: PUSH1 0x15 00000372: PUSH1 0x20 00000374: MSTORE 00000375: PUSH1 0x40 00000377: SWAP1 00000378: SWAP3 00000379: KECCAK256 0000037a: SLOAD 0000037b: PUSH2 0x039f 0000037e: SWAP3 0000037f: PUSH1 0x01 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: SHL 00000386: SUB 00000387: SWAP1 00000388: SWAP3 00000389: AND 0000038a: SWAP2 0000038b: PUSH2 0x039a 0000038e: SWAP2 0000038f: SWAP1 00000390: PUSH4 0xffffffff 00000395: PUSH2 0x0e3a 00000398: AND 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x0e54 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x0416 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH1 0x01 000003a7: SLOAD 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: SLOAD 000003ac: PUSH1 0x06 000003ae: SLOAD 000003af: PUSH1 0x40 000003b1: DUP1 000003b2: MLOAD 000003b3: PUSH4 0xa9059cbb 000003b8: PUSH1 0xe0 000003ba: SHL 000003bb: DUP2 000003bc: MSTORE 000003bd: PUSH1 0x01 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: SHL 000003c4: SUB 000003c5: SWAP4 000003c6: DUP5 000003c7: AND 000003c8: PUSH1 0x04 000003ca: DUP3 000003cb: ADD 000003cc: MSTORE 000003cd: PUSH1 0x24 000003cf: DUP2 000003d0: ADD 000003d1: SWAP3 000003d2: SWAP1 000003d3: SWAP3 000003d4: MSTORE 000003d5: MLOAD 000003d6: SWAP2 000003d7: SWAP1 000003d8: SWAP4 000003d9: AND 000003da: SWAP3 000003db: PUSH4 0xa9059cbb 000003e0: SWAP3 000003e1: PUSH1 0x44 000003e3: DUP1 000003e4: DUP4 000003e5: ADD 000003e6: SWAP4 000003e7: SWAP2 000003e8: SWAP3 000003e9: DUP3 000003ea: SWAP1 000003eb: SUB 000003ec: ADD 000003ed: DUP2 000003ee: DUP4 000003ef: DUP8 000003f0: DUP1 000003f1: EXTCODESIZE 000003f2: ISZERO 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: GAS 00000400: CALL 00000401: ISZERO 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x0411 00000407: JUMPI 00000408: RETURNDATASIZE 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: RETURNDATACOPY 0000040d: RETURNDATASIZE 0000040e: PUSH1 0x00 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: POP 00000414: POP 00000415: POP 00000416: JUMPDEST 00000417: PUSH1 0x01 00000419: PUSH1 0x19 0000041b: SSTORE 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x00 00000420: DUP1 00000421: PUSH1 0x00 00000423: DUP1 00000424: PUSH1 0x00 00000426: DUP1 00000427: PUSH1 0x00 00000429: DUP1 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: PUSH1 0x00 00000432: DUP1 00000433: PUSH1 0x06 00000435: SLOAD 00000436: PUSH1 0x08 00000438: SLOAD 00000439: PUSH1 0x0a 0000043b: SLOAD 0000043c: PUSH2 0x0443 0000043f: PUSH2 0x024b 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH1 0x15 00000446: PUSH1 0x00 00000448: PUSH1 0x14 0000044a: SLOAD 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x20 0000044f: ADD 00000450: SWAP1 00000451: DUP2 00000452: MSTORE 00000453: PUSH1 0x20 00000455: ADD 00000456: PUSH1 0x00 00000458: KECCAK256 00000459: PUSH1 0x00 0000045b: ADD 0000045c: SLOAD 0000045d: PUSH1 0x15 0000045f: PUSH1 0x00 00000461: PUSH1 0x14 00000463: SLOAD 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP1 0000046a: DUP2 0000046b: MSTORE 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: PUSH1 0x00 00000471: KECCAK256 00000472: PUSH1 0x01 00000474: ADD 00000475: PUSH1 0x00 00000477: SWAP1 00000478: SLOAD 00000479: SWAP1 0000047a: PUSH2 0x0100 0000047d: EXP 0000047e: SWAP1 0000047f: DIV 00000480: PUSH1 0x01 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: SHL 00000487: SUB 00000488: AND 00000489: PUSH1 0x11 0000048b: SLOAD 0000048c: PUSH1 0x13 0000048e: SLOAD 0000048f: PUSH1 0x14 00000491: SLOAD 00000492: PUSH1 0x15 00000494: PUSH1 0x00 00000496: PUSH1 0x14 00000498: SLOAD 00000499: DUP2 0000049a: MSTORE 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: SWAP1 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: PUSH1 0x00 000004a6: KECCAK256 000004a7: PUSH1 0x02 000004a9: ADD 000004aa: SLOAD 000004ab: PUSH1 0x16 000004ad: SLOAD 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: SWAP1 000004b2: SLOAD 000004b3: SWAP1 000004b4: PUSH2 0x0100 000004b7: EXP 000004b8: SWAP1 000004b9: DIV 000004ba: PUSH1 0x01 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: SHL 000004c1: SUB 000004c2: AND 000004c3: PUSH1 0x10 000004c5: SLOAD 000004c6: PUSH1 0x17 000004c8: SLOAD 000004c9: SWAP14 000004ca: POP 000004cb: SWAP14 000004cc: POP 000004cd: SWAP14 000004ce: POP 000004cf: SWAP14 000004d0: POP 000004d1: SWAP14 000004d2: POP 000004d3: SWAP14 000004d4: POP 000004d5: SWAP14 000004d6: POP 000004d7: SWAP14 000004d8: POP 000004d9: SWAP14 000004da: POP 000004db: SWAP14 000004dc: POP 000004dd: SWAP14 000004de: POP 000004df: SWAP14 000004e0: POP 000004e1: SWAP14 000004e2: POP 000004e3: SWAP14 000004e4: POP 000004e5: SWAP1 000004e6: SWAP2 000004e7: SWAP3 000004e8: SWAP4 000004e9: SWAP5 000004ea: SWAP6 000004eb: SWAP7 000004ec: SWAP8 000004ed: SWAP9 000004ee: SWAP10 000004ef: SWAP11 000004f0: SWAP12 000004f1: SWAP13 000004f2: SWAP14 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x00 000004f7: SLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0x01 000004fc: PUSH1 0xa0 000004fe: SHL 000004ff: SUB 00000500: AND 00000501: ORIGIN 00000502: EQ 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: PUSH1 0x04 0000050e: DUP1 0000050f: SLOAD 00000510: PUSH1 0x40 00000512: DUP1 00000513: MLOAD 00000514: PUSH4 0x47f3bf43 00000519: PUSH1 0xe1 0000051b: SHL 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: SWAP4 00000521: DUP2 00000522: ADD 00000523: DUP5 00000524: SWAP1 00000525: MSTORE 00000526: PUSH1 0x0e 00000528: PUSH1 0x24 0000052a: DUP3 0000052b: ADD 0000052c: MSTORE 0000052d: PUSH14 0x61756374696f6e466163746f7279 0000053c: PUSH1 0x90 0000053e: SHL 0000053f: PUSH1 0x44 00000541: DUP3 00000542: ADD 00000543: MSTORE 00000544: SWAP1 00000545: MLOAD 00000546: CALLER 00000547: SWAP4 00000548: PUSH1 0x01 0000054a: PUSH1 0x01 0000054c: PUSH1 0xa0 0000054e: SHL 0000054f: SUB 00000550: SWAP1 00000551: SWAP4 00000552: AND 00000553: SWAP3 00000554: PUSH4 0x8fe77e86 00000559: SWAP3 0000055a: PUSH1 0x64 0000055c: DUP1 0000055d: DUP3 0000055e: ADD 0000055f: SWAP4 00000560: SWAP2 00000561: DUP3 00000562: SWAP1 00000563: SUB 00000564: ADD 00000565: DUP2 00000566: DUP7 00000567: DUP1 00000568: EXTCODESIZE 00000569: ISZERO 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: GAS 00000577: STATICCALL 00000578: ISZERO 00000579: DUP1 0000057a: ISZERO 0000057b: PUSH2 0x0588 0000057e: JUMPI 0000057f: RETURNDATASIZE 00000580: PUSH1 0x00 00000582: DUP1 00000583: RETURNDATACOPY 00000584: RETURNDATASIZE 00000585: PUSH1 0x00 00000587: REVERT 00000588: JUMPDEST 00000589: POP 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: RETURNDATASIZE 00000591: PUSH1 0x20 00000593: DUP2 00000594: LT 00000595: ISZERO 00000596: PUSH2 0x059e 00000599: JUMPI 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: MLOAD 000005a1: PUSH1 0x01 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: SHL 000005a8: SUB 000005a9: AND 000005aa: EQ 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: PUSH2 0x05bb 000005b7: PUSH2 0x024b 000005ba: JUMP 000005bb: JUMPDEST 000005bc: ISZERO 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: PUSH1 0x00 000005c8: SLOAD 000005c9: PUSH1 0x01 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: SHL 000005d0: SUB 000005d1: AND 000005d2: ORIGIN 000005d3: EQ 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: PUSH1 0x06 000005df: SLOAD 000005e0: DUP2 000005e1: EQ 000005e2: PUSH2 0x05ea 000005e5: JUMPI 000005e6: PUSH1 0x00 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: PUSH1 0x01 000005ed: SLOAD 000005ee: PUSH1 0x40 000005f0: DUP1 000005f1: MLOAD 000005f2: PUSH4 0x70a08231 000005f7: PUSH1 0xe0 000005f9: SHL 000005fa: DUP2 000005fb: MSTORE 000005fc: ORIGIN 000005fd: PUSH1 0x04 000005ff: DUP3 00000600: ADD 00000601: MSTORE 00000602: SWAP1 00000603: MLOAD 00000604: DUP4 00000605: SWAP3 00000606: PUSH1 0x01 00000608: PUSH1 0x01 0000060a: PUSH1 0xa0 0000060c: SHL 0000060d: SUB 0000060e: AND 0000060f: SWAP2 00000610: PUSH4 0x70a08231 00000615: SWAP2 00000616: PUSH1 0x24 00000618: DUP1 00000619: DUP4 0000061a: ADD 0000061b: SWAP3 0000061c: PUSH1 0x20 0000061e: SWAP3 0000061f: SWAP2 00000620: SWAP1 00000621: DUP3 00000622: SWAP1 00000623: SUB 00000624: ADD 00000625: DUP2 00000626: DUP7 00000627: DUP1 00000628: EXTCODESIZE 00000629: ISZERO 0000062a: DUP1 0000062b: ISZERO 0000062c: PUSH2 0x0634 0000062f: JUMPI 00000630: PUSH1 0x00 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: POP 00000636: GAS 00000637: STATICCALL 00000638: ISZERO 00000639: DUP1 0000063a: ISZERO 0000063b: PUSH2 0x0648 0000063e: JUMPI 0000063f: RETURNDATASIZE 00000640: PUSH1 0x00 00000642: DUP1 00000643: RETURNDATACOPY 00000644: RETURNDATASIZE 00000645: PUSH1 0x00 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: POP 0000064b: POP 0000064c: POP 0000064d: PUSH1 0x40 0000064f: MLOAD 00000650: RETURNDATASIZE 00000651: PUSH1 0x20 00000653: DUP2 00000654: LT 00000655: ISZERO 00000656: PUSH2 0x065e 00000659: JUMPI 0000065a: PUSH1 0x00 0000065c: DUP1 0000065d: REVERT 0000065e: JUMPDEST 0000065f: POP 00000660: MLOAD 00000661: LT 00000662: ISZERO 00000663: PUSH2 0x066b 00000666: JUMPI 00000667: PUSH1 0x00 00000669: DUP1 0000066a: REVERT 0000066b: JUMPDEST 0000066c: PUSH1 0x01 0000066e: SLOAD 0000066f: PUSH1 0x40 00000671: DUP1 00000672: MLOAD 00000673: PUSH4 0x6eb1769f 00000678: PUSH1 0xe1 0000067a: SHL 0000067b: DUP2 0000067c: MSTORE 0000067d: ORIGIN 0000067e: PUSH1 0x04 00000680: DUP3 00000681: ADD 00000682: MSTORE 00000683: ADDRESS 00000684: PUSH1 0x24 00000686: DUP3 00000687: ADD 00000688: MSTORE 00000689: SWAP1 0000068a: MLOAD 0000068b: DUP4 0000068c: SWAP3 0000068d: PUSH1 0x01 0000068f: PUSH1 0x01 00000691: PUSH1 0xa0 00000693: SHL 00000694: SUB 00000695: AND 00000696: SWAP2 00000697: PUSH4 0xdd62ed3e 0000069c: SWAP2 0000069d: PUSH1 0x44 0000069f: DUP1 000006a0: DUP4 000006a1: ADD 000006a2: SWAP3 000006a3: PUSH1 0x20 000006a5: SWAP3 000006a6: SWAP2 000006a7: SWAP1 000006a8: DUP3 000006a9: SWAP1 000006aa: SUB 000006ab: ADD 000006ac: DUP2 000006ad: DUP7 000006ae: DUP1 000006af: EXTCODESIZE 000006b0: ISZERO 000006b1: DUP1 000006b2: ISZERO 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: POP 000006bd: GAS 000006be: STATICCALL 000006bf: ISZERO 000006c0: DUP1 000006c1: ISZERO 000006c2: PUSH2 0x06cf 000006c5: JUMPI 000006c6: RETURNDATASIZE 000006c7: PUSH1 0x00 000006c9: DUP1 000006ca: RETURNDATACOPY 000006cb: RETURNDATASIZE 000006cc: PUSH1 0x00 000006ce: REVERT 000006cf: JUMPDEST 000006d0: POP 000006d1: POP 000006d2: POP 000006d3: POP 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: RETURNDATASIZE 000006d8: PUSH1 0x20 000006da: DUP2 000006db: LT 000006dc: ISZERO 000006dd: PUSH2 0x06e5 000006e0: JUMPI 000006e1: PUSH1 0x00 000006e3: DUP1 000006e4: REVERT 000006e5: JUMPDEST 000006e6: POP 000006e7: MLOAD 000006e8: LT 000006e9: ISZERO 000006ea: PUSH2 0x06f2 000006ed: JUMPI 000006ee: PUSH1 0x00 000006f0: DUP1 000006f1: REVERT 000006f2: JUMPDEST 000006f3: PUSH1 0x01 000006f5: SLOAD 000006f6: PUSH1 0x40 000006f8: DUP1 000006f9: MLOAD 000006fa: PUSH4 0x23b872dd 000006ff: PUSH1 0xe0 00000701: SHL 00000702: DUP2 00000703: MSTORE 00000704: ORIGIN 00000705: PUSH1 0x04 00000707: DUP3 00000708: ADD 00000709: MSTORE 0000070a: ADDRESS 0000070b: PUSH1 0x24 0000070d: DUP3 0000070e: ADD 0000070f: MSTORE 00000710: PUSH1 0x44 00000712: DUP2 00000713: ADD 00000714: DUP5 00000715: SWAP1 00000716: MSTORE 00000717: SWAP1 00000718: MLOAD 00000719: PUSH1 0x01 0000071b: PUSH1 0x01 0000071d: PUSH1 0xa0 0000071f: SHL 00000720: SUB 00000721: SWAP1 00000722: SWAP3 00000723: AND 00000724: SWAP2 00000725: PUSH4 0x23b872dd 0000072a: SWAP2 0000072b: PUSH1 0x64 0000072d: DUP1 0000072e: DUP3 0000072f: ADD 00000730: SWAP3 00000731: PUSH1 0x00 00000733: SWAP3 00000734: SWAP1 00000735: SWAP2 00000736: SWAP1 00000737: DUP3 00000738: SWAP1 00000739: SUB 0000073a: ADD 0000073b: DUP2 0000073c: DUP4 0000073d: DUP8 0000073e: DUP1 0000073f: EXTCODESIZE 00000740: ISZERO 00000741: DUP1 00000742: ISZERO 00000743: PUSH2 0x074b 00000746: JUMPI 00000747: PUSH1 0x00 00000749: DUP1 0000074a: REVERT 0000074b: JUMPDEST 0000074c: POP 0000074d: GAS 0000074e: CALL 0000074f: ISZERO 00000750: DUP1 00000751: ISZERO 00000752: PUSH2 0x075f 00000755: JUMPI 00000756: RETURNDATASIZE 00000757: PUSH1 0x00 00000759: DUP1 0000075a: RETURNDATACOPY 0000075b: RETURNDATASIZE 0000075c: PUSH1 0x00 0000075e: REVERT 0000075f: JUMPDEST 00000760: POP 00000761: POP 00000762: PUSH1 0x01 00000764: SLOAD 00000765: PUSH1 0x40 00000767: DUP1 00000768: MLOAD 00000769: PUSH4 0x70a08231 0000076e: PUSH1 0xe0 00000770: SHL 00000771: DUP2 00000772: MSTORE 00000773: ADDRESS 00000774: PUSH1 0x04 00000776: DUP3 00000777: ADD 00000778: MSTORE 00000779: SWAP1 0000077a: MLOAD 0000077b: DUP6 0000077c: SWAP5 0000077d: POP 0000077e: PUSH1 0x01 00000780: PUSH1 0x01 00000782: PUSH1 0xa0 00000784: SHL 00000785: SUB 00000786: SWAP1 00000787: SWAP3 00000788: AND 00000789: SWAP3 0000078a: POP 0000078b: PUSH4 0x70a08231 00000790: SWAP2 00000791: PUSH1 0x24 00000793: DUP1 00000794: DUP4 00000795: ADD 00000796: SWAP3 00000797: PUSH1 0x20 00000799: SWAP3 0000079a: SWAP2 0000079b: SWAP1 0000079c: DUP3 0000079d: SWAP1 0000079e: SUB 0000079f: ADD 000007a0: DUP2 000007a1: DUP7 000007a2: DUP1 000007a3: EXTCODESIZE 000007a4: ISZERO 000007a5: DUP1 000007a6: ISZERO 000007a7: PUSH2 0x07af 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: DUP1 000007ae: REVERT 000007af: JUMPDEST 000007b0: POP 000007b1: GAS 000007b2: STATICCALL 000007b3: ISZERO 000007b4: DUP1 000007b5: ISZERO 000007b6: PUSH2 0x07c3 000007b9: JUMPI 000007ba: RETURNDATASIZE 000007bb: PUSH1 0x00 000007bd: DUP1 000007be: RETURNDATACOPY 000007bf: RETURNDATASIZE 000007c0: PUSH1 0x00 000007c2: REVERT 000007c3: JUMPDEST 000007c4: POP 000007c5: POP 000007c6: POP 000007c7: POP 000007c8: PUSH1 0x40 000007ca: MLOAD 000007cb: RETURNDATASIZE 000007cc: PUSH1 0x20 000007ce: DUP2 000007cf: LT 000007d0: ISZERO 000007d1: PUSH2 0x07d9 000007d4: JUMPI 000007d5: PUSH1 0x00 000007d7: DUP1 000007d8: REVERT 000007d9: JUMPDEST 000007da: POP 000007db: MLOAD 000007dc: LT 000007dd: ISZERO 000007de: PUSH2 0x07e6 000007e1: JUMPI 000007e2: PUSH1 0x00 000007e4: DUP1 000007e5: REVERT 000007e6: JUMPDEST 000007e7: PUSH1 0x01 000007e9: PUSH1 0x0c 000007eb: SSTORE 000007ec: PUSH1 0x0a 000007ee: SLOAD 000007ef: TIMESTAMP 000007f0: SWAP1 000007f1: PUSH2 0x0801 000007f4: SWAP1 000007f5: DUP3 000007f6: SWAP1 000007f7: PUSH4 0xffffffff 000007fc: PUSH2 0x0ea7 000007ff: AND 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x11 00000804: SSTORE 00000805: POP 00000806: POP 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x0b 0000080b: SLOAD 0000080c: PUSH1 0x01 0000080e: SLOAD 0000080f: PUSH1 0x02 00000811: SLOAD 00000812: PUSH1 0x19 00000814: SLOAD 00000815: PUSH1 0x1a 00000817: SLOAD 00000818: PUSH1 0x18 0000081a: SLOAD 0000081b: PUSH1 0x01 0000081d: PUSH1 0x01 0000081f: PUSH1 0xa0 00000821: SHL 00000822: SUB 00000823: SWAP5 00000824: DUP6 00000825: AND 00000826: SWAP5 00000827: SWAP4 00000828: SWAP1 00000829: SWAP4 0000082a: AND 0000082b: SWAP3 0000082c: SWAP1 0000082d: SWAP2 0000082e: SWAP3 0000082f: SWAP4 00000830: SWAP5 00000831: SWAP6 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH1 0x00 00000836: SLOAD 00000837: PUSH1 0x01 00000839: PUSH1 0x01 0000083b: PUSH1 0xa0 0000083d: SHL 0000083e: SUB 0000083f: AND 00000840: SWAP1 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x04 00000845: DUP1 00000846: SLOAD 00000847: PUSH1 0x40 00000849: DUP1 0000084a: MLOAD 0000084b: PUSH4 0x47f3bf43 00000850: PUSH1 0xe1 00000852: SHL 00000853: DUP2 00000854: MSTORE 00000855: PUSH1 0x20 00000857: SWAP4 00000858: DUP2 00000859: ADD 0000085a: DUP5 0000085b: SWAP1 0000085c: MSTORE 0000085d: PUSH1 0x0e 0000085f: PUSH1 0x24 00000861: DUP3 00000862: ADD 00000863: MSTORE 00000864: PUSH14 0x61756374696f6e466163746f7279 00000873: PUSH1 0x90 00000875: SHL 00000876: PUSH1 0x44 00000878: DUP3 00000879: ADD 0000087a: MSTORE 0000087b: SWAP1 0000087c: MLOAD 0000087d: CALLER 0000087e: SWAP4 0000087f: PUSH1 0x01 00000881: PUSH1 0x01 00000883: PUSH1 0xa0 00000885: SHL 00000886: SUB 00000887: SWAP1 00000888: SWAP4 00000889: AND 0000088a: SWAP3 0000088b: PUSH4 0x8fe77e86 00000890: SWAP3 00000891: PUSH1 0x64 00000893: DUP1 00000894: DUP3 00000895: ADD 00000896: SWAP4 00000897: SWAP2 00000898: DUP3 00000899: SWAP1 0000089a: SUB 0000089b: ADD 0000089c: DUP2 0000089d: DUP7 0000089e: DUP1 0000089f: EXTCODESIZE 000008a0: ISZERO 000008a1: DUP1 000008a2: ISZERO 000008a3: PUSH2 0x08ab 000008a6: JUMPI 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: REVERT 000008ab: JUMPDEST 000008ac: POP 000008ad: GAS 000008ae: STATICCALL 000008af: ISZERO 000008b0: DUP1 000008b1: ISZERO 000008b2: PUSH2 0x08bf 000008b5: JUMPI 000008b6: RETURNDATASIZE 000008b7: PUSH1 0x00 000008b9: DUP1 000008ba: RETURNDATACOPY 000008bb: RETURNDATASIZE 000008bc: PUSH1 0x00 000008be: REVERT 000008bf: JUMPDEST 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: RETURNDATASIZE 000008c8: PUSH1 0x20 000008ca: DUP2 000008cb: LT 000008cc: ISZERO 000008cd: PUSH2 0x08d5 000008d0: JUMPI 000008d1: PUSH1 0x00 000008d3: DUP1 000008d4: REVERT 000008d5: JUMPDEST 000008d6: POP 000008d7: MLOAD 000008d8: PUSH1 0x01 000008da: PUSH1 0x01 000008dc: PUSH1 0xa0 000008de: SHL 000008df: SUB 000008e0: AND 000008e1: EQ 000008e2: PUSH2 0x08ea 000008e5: JUMPI 000008e6: PUSH1 0x00 000008e8: DUP1 000008e9: REVERT 000008ea: JUMPDEST 000008eb: PUSH2 0x08f2 000008ee: PUSH2 0x024b 000008f1: JUMP 000008f2: JUMPDEST 000008f3: PUSH1 0x01 000008f5: EQ 000008f6: PUSH2 0x08fe 000008f9: JUMPI 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: REVERT 000008fe: JUMPDEST 000008ff: PUSH2 0x0906 00000902: PUSH2 0x0833 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: AND 00000910: CALLER 00000911: PUSH1 0x01 00000913: PUSH1 0x01 00000915: PUSH1 0xa0 00000917: SHL 00000918: SUB 00000919: AND 0000091a: EQ 0000091b: ISZERO 0000091c: PUSH2 0x0924 0000091f: JUMPI 00000920: PUSH1 0x00 00000922: DUP1 00000923: REVERT 00000924: JUMPDEST 00000925: CALLVALUE 00000926: DUP2 00000927: EQ 00000928: PUSH2 0x0930 0000092b: JUMPI 0000092c: PUSH1 0x00 0000092e: DUP1 0000092f: REVERT 00000930: JUMPDEST 00000931: PUSH1 0x14 00000933: SLOAD 00000934: PUSH1 0x00 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x15 0000093b: PUSH1 0x20 0000093d: MSTORE 0000093e: PUSH1 0x40 00000940: DUP2 00000941: KECCAK256 00000942: SLOAD 00000943: PUSH2 0x0953 00000946: SWAP1 00000947: DUP4 00000948: SWAP1 00000949: PUSH4 0xffffffff 0000094e: PUSH2 0x0e3a 00000951: AND 00000952: JUMP 00000953: JUMPDEST 00000954: SWAP1 00000955: POP 00000956: PUSH1 0x0f 00000958: SLOAD 00000959: DUP2 0000095a: LT 0000095b: ISZERO 0000095c: PUSH2 0x0964 0000095f: JUMPI 00000960: PUSH1 0x00 00000962: DUP1 00000963: REVERT 00000964: JUMPDEST 00000965: PUSH1 0x00 00000967: PUSH2 0x098c 0000096a: PUSH1 0x64 0000096c: PUSH2 0x0980 0000096f: PUSH1 0x0d 00000971: SLOAD 00000972: DUP6 00000973: PUSH2 0x0ec0 00000976: SWAP1 00000977: SWAP2 00000978: SWAP1 00000979: PUSH4 0xffffffff 0000097e: AND 0000097f: JUMP 00000980: JUMPDEST 00000981: SWAP1 00000982: PUSH4 0xffffffff 00000987: PUSH2 0x0ee7 0000098a: AND 0000098b: JUMP 0000098c: JUMPDEST 0000098d: PUSH1 0x04 0000098f: DUP1 00000990: SLOAD 00000991: PUSH1 0x40 00000993: DUP1 00000994: MLOAD 00000995: PUSH4 0x47f3bf43 0000099a: PUSH1 0xe1 0000099c: SHL 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: SWAP4 000009a2: DUP2 000009a3: ADD 000009a4: DUP5 000009a5: SWAP1 000009a6: MSTORE 000009a7: PUSH1 0x10 000009a9: PUSH1 0x24 000009ab: DUP3 000009ac: ADD 000009ad: MSTORE 000009ae: PUSH16 0x0c2eac6e8d2dedc9ad2dcd2dcce8ae8d 000009bf: PUSH1 0x83 000009c1: SHL 000009c2: PUSH1 0x44 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: SWAP1 000009c8: MLOAD 000009c9: SWAP4 000009ca: SWAP5 000009cb: POP 000009cc: PUSH1 0x00 000009ce: SWAP4 000009cf: PUSH1 0x01 000009d1: PUSH1 0x01 000009d3: PUSH1 0xa0 000009d5: SHL 000009d6: SUB 000009d7: SWAP1 000009d8: SWAP3 000009d9: AND 000009da: SWAP3 000009db: PUSH4 0x8fe77e86 000009e0: SWAP3 000009e1: PUSH1 0x64 000009e3: DUP1 000009e4: DUP5 000009e5: ADD 000009e6: SWAP4 000009e7: DUP3 000009e8: SWAP1 000009e9: SUB 000009ea: ADD 000009eb: DUP2 000009ec: DUP7 000009ed: DUP1 000009ee: EXTCODESIZE 000009ef: ISZERO 000009f0: DUP1 000009f1: ISZERO 000009f2: PUSH2 0x09fa 000009f5: JUMPI 000009f6: PUSH1 0x00 000009f8: DUP1 000009f9: REVERT 000009fa: JUMPDEST 000009fb: POP 000009fc: GAS 000009fd: STATICCALL 000009fe: ISZERO 000009ff: DUP1 00000a00: ISZERO 00000a01: PUSH2 0x0a0e 00000a04: JUMPI 00000a05: RETURNDATASIZE 00000a06: PUSH1 0x00 00000a08: DUP1 00000a09: RETURNDATACOPY 00000a0a: RETURNDATASIZE 00000a0b: PUSH1 0x00 00000a0d: REVERT 00000a0e: JUMPDEST 00000a0f: POP 00000a10: POP 00000a11: POP 00000a12: POP 00000a13: PUSH1 0x40 00000a15: MLOAD 00000a16: RETURNDATASIZE 00000a17: PUSH1 0x20 00000a19: DUP2 00000a1a: LT 00000a1b: ISZERO 00000a1c: PUSH2 0x0a24 00000a1f: JUMPI 00000a20: PUSH1 0x00 00000a22: DUP1 00000a23: REVERT 00000a24: JUMPDEST 00000a25: POP 00000a26: MLOAD 00000a27: PUSH1 0x01 00000a29: SLOAD 00000a2a: PUSH1 0x40 00000a2c: DUP1 00000a2d: MLOAD 00000a2e: PUSH4 0x29e034b3 00000a33: PUSH1 0xe1 00000a35: SHL 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x01 00000a3a: PUSH1 0x01 00000a3c: PUSH1 0xa0 00000a3e: SHL 00000a3f: SUB 00000a40: SWAP3 00000a41: DUP4 00000a42: AND 00000a43: PUSH1 0x04 00000a45: DUP3 00000a46: ADD 00000a47: MSTORE 00000a48: SWAP1 00000a49: MLOAD 00000a4a: SWAP3 00000a4b: SWAP4 00000a4c: POP 00000a4d: PUSH1 0x00 00000a4f: SWAP3 00000a50: SWAP2 00000a51: DUP5 00000a52: AND 00000a53: SWAP2 00000a54: PUSH4 0x53c06966 00000a59: SWAP2 00000a5a: DUP7 00000a5b: SWAP2 00000a5c: PUSH1 0x24 00000a5e: DUP1 00000a5f: DUP4 00000a60: ADD 00000a61: SWAP3 00000a62: PUSH1 0x20 00000a64: SWAP3 00000a65: SWAP2 00000a66: SWAP1 00000a67: DUP3 00000a68: SWAP1 00000a69: SUB 00000a6a: ADD 00000a6b: DUP2 00000a6c: DUP6 00000a6d: DUP9 00000a6e: DUP1 00000a6f: EXTCODESIZE 00000a70: ISZERO 00000a71: DUP1 00000a72: ISZERO 00000a73: PUSH2 0x0a7b 00000a76: JUMPI 00000a77: PUSH1 0x00 00000a79: DUP1 00000a7a: REVERT 00000a7b: JUMPDEST 00000a7c: POP 00000a7d: GAS 00000a7e: CALL 00000a7f: ISZERO 00000a80: DUP1 00000a81: ISZERO 00000a82: PUSH2 0x0a8f 00000a85: JUMPI 00000a86: RETURNDATASIZE 00000a87: PUSH1 0x00 00000a89: DUP1 00000a8a: RETURNDATACOPY 00000a8b: RETURNDATASIZE 00000a8c: PUSH1 0x00 00000a8e: REVERT 00000a8f: JUMPDEST 00000a90: POP 00000a91: POP 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: PUSH1 0x40 00000a97: MLOAD 00000a98: RETURNDATASIZE 00000a99: PUSH1 0x20 00000a9b: DUP2 00000a9c: LT 00000a9d: ISZERO 00000a9e: PUSH2 0x0aa6 00000aa1: JUMPI 00000aa2: PUSH1 0x00 00000aa4: DUP1 00000aa5: REVERT 00000aa6: JUMPDEST 00000aa7: POP 00000aa8: MLOAD 00000aa9: PUSH1 0x14 00000aab: SLOAD 00000aac: SWAP1 00000aad: SWAP2 00000aae: POP 00000aaf: ISZERO 00000ab0: PUSH2 0x0ade 00000ab3: JUMPI 00000ab4: PUSH1 0x14 00000ab6: SLOAD 00000ab7: PUSH1 0x00 00000ab9: SWAP1 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x15 00000abe: PUSH1 0x20 00000ac0: MSTORE 00000ac1: PUSH1 0x40 00000ac3: SWAP1 00000ac4: KECCAK256 00000ac5: PUSH1 0x01 00000ac7: DUP2 00000ac8: ADD 00000ac9: SLOAD 00000aca: SWAP1 00000acb: SLOAD 00000acc: PUSH2 0x0ade 00000acf: SWAP2 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0xa0 00000ad6: SHL 00000ad7: SUB 00000ad8: AND 00000ad9: SWAP1 00000ada: PUSH2 0x0e54 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH1 0x00 00000ae1: PUSH2 0x0b0b 00000ae4: PUSH1 0x64 00000ae6: PUSH2 0x0980 00000ae9: PUSH2 0x0afe 00000aec: PUSH1 0x0e 00000aee: SLOAD 00000aef: PUSH1 0x64 00000af1: PUSH2 0x0e3a 00000af4: SWAP1 00000af5: SWAP2 00000af6: SWAP1 00000af7: PUSH4 0xffffffff 00000afc: AND 00000afd: JUMP 00000afe: JUMPDEST 00000aff: DUP6 00000b00: SWAP1 00000b01: PUSH4 0xffffffff 00000b06: PUSH2 0x0ec0 00000b09: AND 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: PUSH1 0x03 00000b0e: SLOAD 00000b0f: PUSH1 0x14 00000b11: SLOAD 00000b12: PUSH1 0x00 00000b14: SWAP1 00000b15: DUP2 00000b16: MSTORE 00000b17: PUSH1 0x15 00000b19: PUSH1 0x20 00000b1b: MSTORE 00000b1c: PUSH1 0x40 00000b1e: DUP1 00000b1f: DUP3 00000b20: KECCAK256 00000b21: PUSH1 0x01 00000b23: ADD 00000b24: SLOAD 00000b25: DUP2 00000b26: MLOAD 00000b27: PUSH4 0xa9059cbb 00000b2c: PUSH1 0xe0 00000b2e: SHL 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: SWAP2 00000b3a: DUP3 00000b3b: AND 00000b3c: PUSH1 0x04 00000b3e: DUP3 00000b3f: ADD 00000b40: MSTORE 00000b41: PUSH1 0x24 00000b43: DUP2 00000b44: ADD 00000b45: DUP7 00000b46: SWAP1 00000b47: MSTORE 00000b48: SWAP2 00000b49: MLOAD 00000b4a: SWAP5 00000b4b: SWAP6 00000b4c: POP 00000b4d: SWAP1 00000b4e: SWAP3 00000b4f: AND 00000b50: SWAP3 00000b51: PUSH4 0xa9059cbb 00000b56: SWAP3 00000b57: PUSH1 0x44 00000b59: DUP1 00000b5a: DUP3 00000b5b: ADD 00000b5c: SWAP4 00000b5d: SWAP3 00000b5e: SWAP2 00000b5f: DUP3 00000b60: SWAP1 00000b61: SUB 00000b62: ADD 00000b63: DUP2 00000b64: DUP4 00000b65: DUP8 00000b66: DUP1 00000b67: EXTCODESIZE 00000b68: ISZERO 00000b69: DUP1 00000b6a: ISZERO 00000b6b: PUSH2 0x0b73 00000b6e: JUMPI 00000b6f: PUSH1 0x00 00000b71: DUP1 00000b72: REVERT 00000b73: JUMPDEST 00000b74: POP 00000b75: GAS 00000b76: CALL 00000b77: ISZERO 00000b78: DUP1 00000b79: ISZERO 00000b7a: PUSH2 0x0b87 00000b7d: JUMPI 00000b7e: RETURNDATASIZE 00000b7f: PUSH1 0x00 00000b81: DUP1 00000b82: RETURNDATACOPY 00000b83: RETURNDATASIZE 00000b84: PUSH1 0x00 00000b86: REVERT 00000b87: JUMPDEST 00000b88: POP 00000b89: POP 00000b8a: POP 00000b8b: POP 00000b8c: PUSH2 0x0bb0 00000b8f: PUSH2 0x0ba1 00000b92: DUP3 00000b93: DUP5 00000b94: PUSH2 0x0e3a 00000b97: SWAP1 00000b98: SWAP2 00000b99: SWAP1 00000b9a: PUSH4 0xffffffff 00000b9f: AND 00000ba0: JUMP 00000ba1: JUMPDEST 00000ba2: PUSH1 0x13 00000ba4: SLOAD 00000ba5: SWAP1 00000ba6: PUSH4 0xffffffff 00000bab: PUSH2 0x0ea7 00000bae: AND 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH1 0x13 00000bb3: SSTORE 00000bb4: PUSH1 0x16 00000bb6: DUP2 00000bb7: SWAP1 00000bb8: SSTORE 00000bb9: PUSH1 0x18 00000bbb: SLOAD 00000bbc: PUSH2 0x0bcb 00000bbf: SWAP1 00000bc0: DUP6 00000bc1: PUSH4 0xffffffff 00000bc6: PUSH2 0x0ea7 00000bc9: AND 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: POP 00000bcd: PUSH2 0x0bdc 00000bd0: DUP3 00000bd1: DUP3 00000bd2: PUSH4 0xffffffff 00000bd7: PUSH2 0x0e3a 00000bda: AND 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: PUSH1 0x17 00000bdf: SSTORE 00000be0: PUSH1 0x14 00000be2: SLOAD 00000be3: PUSH2 0x0bf3 00000be6: SWAP1 00000be7: PUSH1 0x01 00000be9: PUSH4 0xffffffff 00000bee: PUSH2 0x0ea7 00000bf1: AND 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x14 00000bf6: DUP2 00000bf7: SWAP1 00000bf8: SSTORE 00000bf9: PUSH1 0x40 00000bfb: DUP1 00000bfc: MLOAD 00000bfd: PUSH1 0x60 00000bff: DUP2 00000c00: ADD 00000c01: DUP3 00000c02: MSTORE 00000c03: SWAP8 00000c04: DUP9 00000c05: MSTORE 00000c06: ORIGIN 00000c07: PUSH1 0x20 00000c09: DUP1 00000c0a: DUP11 00000c0b: ADD 00000c0c: SWAP2 00000c0d: DUP3 00000c0e: MSTORE 00000c0f: DUP10 00000c10: DUP4 00000c11: ADD 00000c12: SWAP8 00000c13: DUP9 00000c14: MSTORE 00000c15: PUSH1 0x00 00000c17: SWAP4 00000c18: DUP5 00000c19: MSTORE 00000c1a: PUSH1 0x15 00000c1c: SWAP1 00000c1d: MSTORE 00000c1e: SWAP2 00000c1f: KECCAK256 00000c20: SWAP7 00000c21: MLOAD 00000c22: DUP8 00000c23: SSTORE 00000c24: MLOAD 00000c25: PUSH1 0x01 00000c27: DUP8 00000c28: ADD 00000c29: DUP1 00000c2a: SLOAD 00000c2b: PUSH1 0x01 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0xa0 00000c31: SHL 00000c32: SUB 00000c33: NOT 00000c34: AND 00000c35: PUSH1 0x01 00000c37: PUSH1 0x01 00000c39: PUSH1 0xa0 00000c3b: SHL 00000c3c: SUB 00000c3d: SWAP1 00000c3e: SWAP3 00000c3f: AND 00000c40: SWAP2 00000c41: SWAP1 00000c42: SWAP2 00000c43: OR 00000c44: SWAP1 00000c45: SSTORE 00000c46: POP 00000c47: POP 00000c48: SWAP1 00000c49: MLOAD 00000c4a: PUSH1 0x02 00000c4c: SWAP1 00000c4d: SWAP4 00000c4e: ADD 00000c4f: SWAP3 00000c50: SWAP1 00000c51: SWAP3 00000c52: SSTORE 00000c53: POP 00000c54: POP 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH1 0x04 00000c59: DUP1 00000c5a: SLOAD 00000c5b: PUSH1 0x40 00000c5d: DUP1 00000c5e: MLOAD 00000c5f: PUSH4 0x47f3bf43 00000c64: PUSH1 0xe1 00000c66: SHL 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: SWAP4 00000c6c: DUP2 00000c6d: ADD 00000c6e: DUP5 00000c6f: SWAP1 00000c70: MSTORE 00000c71: PUSH1 0x0e 00000c73: PUSH1 0x24 00000c75: DUP3 00000c76: ADD 00000c77: MSTORE 00000c78: PUSH14 0x61756374696f6e466163746f7279 00000c87: PUSH1 0x90 00000c89: SHL 00000c8a: PUSH1 0x44 00000c8c: DUP3 00000c8d: ADD 00000c8e: MSTORE 00000c8f: SWAP1 00000c90: MLOAD 00000c91: CALLER 00000c92: SWAP4 00000c93: PUSH1 0x01 00000c95: PUSH1 0x01 00000c97: PUSH1 0xa0 00000c99: SHL 00000c9a: SUB 00000c9b: SWAP1 00000c9c: SWAP4 00000c9d: AND 00000c9e: SWAP3 00000c9f: PUSH4 0x8fe77e86 00000ca4: SWAP3 00000ca5: PUSH1 0x64 00000ca7: DUP1 00000ca8: DUP3 00000ca9: ADD 00000caa: SWAP4 00000cab: SWAP2 00000cac: DUP3 00000cad: SWAP1 00000cae: SUB 00000caf: ADD 00000cb0: DUP2 00000cb1: DUP7 00000cb2: DUP1 00000cb3: EXTCODESIZE 00000cb4: ISZERO 00000cb5: DUP1 00000cb6: ISZERO 00000cb7: PUSH2 0x0cbf 00000cba: JUMPI 00000cbb: PUSH1 0x00 00000cbd: DUP1 00000cbe: REVERT 00000cbf: JUMPDEST 00000cc0: POP 00000cc1: GAS 00000cc2: STATICCALL 00000cc3: ISZERO 00000cc4: DUP1 00000cc5: ISZERO 00000cc6: PUSH2 0x0cd3 00000cc9: JUMPI 00000cca: RETURNDATASIZE 00000ccb: PUSH1 0x00 00000ccd: DUP1 00000cce: RETURNDATACOPY 00000ccf: RETURNDATASIZE 00000cd0: PUSH1 0x00 00000cd2: REVERT 00000cd3: JUMPDEST 00000cd4: POP 00000cd5: POP 00000cd6: POP 00000cd7: POP 00000cd8: PUSH1 0x40 00000cda: MLOAD 00000cdb: RETURNDATASIZE 00000cdc: PUSH1 0x20 00000cde: DUP2 00000cdf: LT 00000ce0: ISZERO 00000ce1: PUSH2 0x0ce9 00000ce4: JUMPI 00000ce5: PUSH1 0x00 00000ce7: DUP1 00000ce8: REVERT 00000ce9: JUMPDEST 00000cea: POP 00000ceb: MLOAD 00000cec: PUSH1 0x01 00000cee: PUSH1 0x01 00000cf0: PUSH1 0xa0 00000cf2: SHL 00000cf3: SUB 00000cf4: AND 00000cf5: EQ 00000cf6: PUSH2 0x0cfe 00000cf9: JUMPI 00000cfa: PUSH1 0x00 00000cfc: DUP1 00000cfd: REVERT 00000cfe: JUMPDEST 00000cff: PUSH2 0x0d06 00000d02: PUSH2 0x024b 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x02 00000d09: EQ 00000d0a: PUSH2 0x0d12 00000d0d: JUMPI 00000d0e: PUSH1 0x00 00000d10: DUP1 00000d11: REVERT 00000d12: JUMPDEST 00000d13: PUSH1 0x00 00000d15: PUSH1 0x14 00000d17: SLOAD 00000d18: GT 00000d19: PUSH2 0x0d21 00000d1c: JUMPI 00000d1d: PUSH1 0x00 00000d1f: DUP1 00000d20: REVERT 00000d21: JUMPDEST 00000d22: PUSH1 0x1a 00000d24: SLOAD 00000d25: ISZERO 00000d26: PUSH2 0x0d2e 00000d29: JUMPI 00000d2a: PUSH1 0x00 00000d2c: DUP1 00000d2d: REVERT 00000d2e: JUMPDEST 00000d2f: PUSH1 0x14 00000d31: SLOAD 00000d32: PUSH1 0x00 00000d34: SWAP1 00000d35: DUP2 00000d36: MSTORE 00000d37: PUSH1 0x15 00000d39: PUSH1 0x20 00000d3b: MSTORE 00000d3c: PUSH1 0x40 00000d3e: SWAP1 00000d3f: KECCAK256 00000d40: PUSH1 0x01 00000d42: ADD 00000d43: SLOAD 00000d44: PUSH1 0x01 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: SHL 00000d4b: SUB 00000d4c: AND 00000d4d: ORIGIN 00000d4e: EQ 00000d4f: PUSH2 0x0d57 00000d52: JUMPI 00000d53: PUSH1 0x00 00000d55: DUP1 00000d56: REVERT 00000d57: JUMPDEST 00000d58: PUSH1 0x01 00000d5a: SLOAD 00000d5b: PUSH1 0x06 00000d5d: SLOAD 00000d5e: PUSH1 0x40 00000d60: DUP1 00000d61: MLOAD 00000d62: PUSH4 0xa9059cbb 00000d67: PUSH1 0xe0 00000d69: SHL 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: ORIGIN 00000d6d: PUSH1 0x04 00000d6f: DUP3 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH1 0x24 00000d74: DUP2 00000d75: ADD 00000d76: SWAP3 00000d77: SWAP1 00000d78: SWAP3 00000d79: MSTORE 00000d7a: MLOAD 00000d7b: PUSH1 0x01 00000d7d: PUSH1 0x01 00000d7f: PUSH1 0xa0 00000d81: SHL 00000d82: SUB 00000d83: SWAP1 00000d84: SWAP3 00000d85: AND 00000d86: SWAP2 00000d87: PUSH4 0xa9059cbb 00000d8c: SWAP2 00000d8d: PUSH1 0x44 00000d8f: DUP1 00000d90: DUP3 00000d91: ADD 00000d92: SWAP3 00000d93: PUSH1 0x00 00000d95: SWAP3 00000d96: SWAP1 00000d97: SWAP2 00000d98: SWAP1 00000d99: DUP3 00000d9a: SWAP1 00000d9b: SUB 00000d9c: ADD 00000d9d: DUP2 00000d9e: DUP4 00000d9f: DUP8 00000da0: DUP1 00000da1: EXTCODESIZE 00000da2: ISZERO 00000da3: DUP1 00000da4: ISZERO 00000da5: PUSH2 0x0dad 00000da8: JUMPI 00000da9: PUSH1 0x00 00000dab: DUP1 00000dac: REVERT 00000dad: JUMPDEST 00000dae: POP 00000daf: GAS 00000db0: CALL 00000db1: ISZERO 00000db2: DUP1 00000db3: ISZERO 00000db4: PUSH2 0x0dc1 00000db7: JUMPI 00000db8: RETURNDATASIZE 00000db9: PUSH1 0x00 00000dbb: DUP1 00000dbc: RETURNDATACOPY 00000dbd: RETURNDATASIZE 00000dbe: PUSH1 0x00 00000dc0: REVERT 00000dc1: JUMPDEST 00000dc2: POP 00000dc3: POP 00000dc4: PUSH1 0x03 00000dc6: SLOAD 00000dc7: PUSH1 0x13 00000dc9: SLOAD 00000dca: PUSH1 0x40 00000dcc: DUP1 00000dcd: MLOAD 00000dce: PUSH4 0xa9059cbb 00000dd3: PUSH1 0xe0 00000dd5: SHL 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: ORIGIN 00000dd9: PUSH1 0x04 00000ddb: DUP3 00000ddc: ADD 00000ddd: MSTORE 00000dde: PUSH1 0x24 00000de0: DUP2 00000de1: ADD 00000de2: SWAP3 00000de3: SWAP1 00000de4: SWAP3 00000de5: MSTORE 00000de6: MLOAD 00000de7: PUSH1 0x01 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: SHL 00000dee: SUB 00000def: SWAP1 00000df0: SWAP3 00000df1: AND 00000df2: SWAP4 00000df3: POP 00000df4: PUSH4 0xa9059cbb 00000df9: SWAP3 00000dfa: POP 00000dfb: PUSH1 0x44 00000dfd: DUP1 00000dfe: DUP3 00000dff: ADD 00000e00: SWAP3 00000e01: PUSH1 0x00 00000e03: SWAP3 00000e04: SWAP1 00000e05: SWAP2 00000e06: SWAP1 00000e07: DUP3 00000e08: SWAP1 00000e09: SUB 00000e0a: ADD 00000e0b: DUP2 00000e0c: DUP4 00000e0d: DUP8 00000e0e: DUP1 00000e0f: EXTCODESIZE 00000e10: ISZERO 00000e11: DUP1 00000e12: ISZERO 00000e13: PUSH2 0x0e1b 00000e16: JUMPI 00000e17: PUSH1 0x00 00000e19: DUP1 00000e1a: REVERT 00000e1b: JUMPDEST 00000e1c: POP 00000e1d: GAS 00000e1e: CALL 00000e1f: ISZERO 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e2f 00000e25: JUMPI 00000e26: RETURNDATASIZE 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: RETURNDATACOPY 00000e2b: RETURNDATASIZE 00000e2c: PUSH1 0x00 00000e2e: REVERT 00000e2f: JUMPDEST 00000e30: POP 00000e31: POP 00000e32: PUSH1 0x01 00000e34: PUSH1 0x1a 00000e36: SSTORE 00000e37: POP 00000e38: POP 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH1 0x00 00000e3d: DUP3 00000e3e: DUP3 00000e3f: GT 00000e40: ISZERO 00000e41: PUSH2 0x0e49 00000e44: JUMPI 00000e45: PUSH1 0x00 00000e47: DUP1 00000e48: REVERT 00000e49: JUMPDEST 00000e4a: POP 00000e4b: DUP1 00000e4c: DUP3 00000e4d: SUB 00000e4e: JUMPDEST 00000e4f: SWAP3 00000e50: SWAP2 00000e51: POP 00000e52: POP 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH1 0x00 00000e57: PUSH2 0x0e68 00000e5a: DUP4 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0xa0 00000e61: SHL 00000e62: SUB 00000e63: AND 00000e64: PUSH2 0x0272 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x40 00000e6b: MLOAD 00000e6c: SWAP1 00000e6d: SWAP2 00000e6e: POP 00000e6f: PUSH1 0x01 00000e71: PUSH1 0x01 00000e73: PUSH1 0xa0 00000e75: SHL 00000e76: SUB 00000e77: DUP3 00000e78: AND 00000e79: SWAP1 00000e7a: DUP4 00000e7b: ISZERO 00000e7c: PUSH2 0x08fc 00000e7f: MUL 00000e80: SWAP1 00000e81: DUP5 00000e82: SWAP1 00000e83: PUSH1 0x00 00000e85: DUP2 00000e86: DUP2 00000e87: DUP2 00000e88: DUP6 00000e89: DUP9 00000e8a: DUP9 00000e8b: CALL 00000e8c: SWAP4 00000e8d: POP 00000e8e: POP 00000e8f: POP 00000e90: POP 00000e91: ISZERO 00000e92: DUP1 00000e93: ISZERO 00000e94: PUSH2 0x0ea1 00000e97: JUMPI 00000e98: RETURNDATASIZE 00000e99: PUSH1 0x00 00000e9b: DUP1 00000e9c: RETURNDATACOPY 00000e9d: RETURNDATASIZE 00000e9e: PUSH1 0x00 00000ea0: REVERT 00000ea1: JUMPDEST 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: POP 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH1 0x00 00000eaa: DUP3 00000eab: DUP3 00000eac: ADD 00000ead: DUP4 00000eae: DUP2 00000eaf: LT 00000eb0: ISZERO 00000eb1: PUSH2 0x0eb9 00000eb4: JUMPI 00000eb5: PUSH1 0x00 00000eb7: DUP1 00000eb8: REVERT 00000eb9: JUMPDEST 00000eba: SWAP4 00000ebb: SWAP3 00000ebc: POP 00000ebd: POP 00000ebe: POP 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x00 00000ec3: DUP3 00000ec4: PUSH2 0x0ecf 00000ec7: JUMPI 00000ec8: POP 00000ec9: PUSH1 0x00 00000ecb: PUSH2 0x0e4e 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: DUP3 00000ed1: DUP3 00000ed2: MUL 00000ed3: DUP3 00000ed4: DUP5 00000ed5: DUP3 00000ed6: DUP2 00000ed7: PUSH2 0x0edc 00000eda: JUMPI 00000edb: INVALID 00000edc: JUMPDEST 00000edd: DIV 00000ede: EQ 00000edf: PUSH2 0x0eb9 00000ee2: JUMPI 00000ee3: PUSH1 0x00 00000ee5: DUP1 00000ee6: REVERT 00000ee7: JUMPDEST 00000ee8: PUSH1 0x00 00000eea: DUP1 00000eeb: DUP3 00000eec: GT 00000eed: PUSH2 0x0ef5 00000ef0: JUMPI 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: REVERT 00000ef5: JUMPDEST 00000ef6: PUSH1 0x00 00000ef8: DUP3 00000ef9: DUP5 00000efa: DUP2 00000efb: PUSH2 0x0f00 00000efe: JUMPI 00000eff: INVALID 00000f00: JUMPDEST 00000f01: DIV 00000f02: SWAP5 00000f03: SWAP4 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: JUMP 00000f09: INVALID 00000f0a: LOG2 00000f0b: PUSH6 0x627a7a723158 00000f12: KECCAK256 00000f13: EXTCODEHASH 00000f14: LOG4 00000f15: CODESIZE 00000f16: SDIV 00000f17: CHAINID 00000f18: UNKNOWN(0xB2) 00000f19: TSTORE 00000f1a: STATICCALL 00000f1b: LOG0 00000f1c: PUSH13 0x807d22e574f155d20f249b17ad 00000f2a: UNKNOWN(0xD6) 00000f2b: UNKNOWN(0xED) 00000f2c: UNKNOWN(0xE8) 00000f2d: DUP4 00000f2e: UNKNOWN(0xB6) 00000f2f: SUB 00000f30: UNKNOWN(0xBE) 00000f31: PUSH22
| 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": "0x984d72d2",
"selector": "0x984d72d2",
"calldata_variants": [
"0x984d72d2",
"0x984d72d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabb1dc44",
"selector": "0xabb1dc44",
"calldata_variants": [
"0xabb1dc44",
"0xabb1dc440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9e406b4",
"selector": "0xb9e406b4",
"calldata_variants": [
"0xb9e406b4",
"0xb9e406b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6670e40",
"selector": "0xe6670e40",
"calldata_variants": [
"0xe6670e40",
"0xe6670e400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6fcf02a",
"selector": "0xe6fcf02a",
"calldata_variants": [
"0xe6fcf02a",
"0xe6fcf02a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf2c0dd",
"selector": "0x5cf2c0dd",
"calldata_variants": [
"0x5cf2c0dd",
"0x5cf2c0dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d0d9f12",
"selector": "0x6d0d9f12",
"calldata_variants": [
"0x6d0d9f12",
"0x6d0d9f120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78b43985",
"selector": "0x78b43985",
"calldata_variants": [
"0x78b43985",
"0x78b439850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 649,
"type": "tx_origin_used"
},
{
"pc": 1282,
"type": "tx_origin_used"
},
{
"pc": 1491,
"type": "tx_origin_used"
},
{
"pc": 3406,
"type": "tx_origin_used"
},
{
"pc": 648,
"type": "tx_origin_used"
},
{
"pc": 1281,
"type": "tx_origin_used"
},
{
"pc": 1490,
"type": "tx_origin_used"
},
{
"pc": 1532,
"type": "tx_origin_used"
},
{
"pc": 1661,
"type": "tx_origin_used"
},
{
"pc": 1796,
"type": "tx_origin_used"
},
{
"pc": 3078,
"type": "tx_origin_used"
},
{
"pc": 3405,
"type": "tx_origin_used"
},
{
"pc": 3436,
"type": "tx_origin_used"
},
{
"pc": 3544,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0a91c4e9689646341355ef3e1667ac344c5bdd6a4929399a697e17984ee869ee
call_targets:
0x1623ef3ff20be6cd06e337c420583ae279d5899b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0a91c4e9689646341355ef3e1667ac344c5bdd6a4929399a697e17984ee869ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1623ef3ff20be6cd06e337c420583ae279d5899b"
],
"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": "0x984d72d2",
"selector": "0x984d72d2",
"calldata_variants": [
"0x984d72d2",
"0x984d72d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabb1dc44",
"selector": "0xabb1dc44",
"calldata_variants": [
"0xabb1dc44",
"0xabb1dc440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9e406b4",
"selector": "0xb9e406b4",
"calldata_variants": [
"0xb9e406b4",
"0xb9e406b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6670e40",
"selector": "0xe6670e40",
"calldata_variants": [
"0xe6670e40",
"0xe6670e400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6fcf02a",
"selector": "0xe6fcf02a",
"calldata_variants": [
"0xe6fcf02a",
"0xe6fcf02a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf2c0dd",
"selector": "0x5cf2c0dd",
"calldata_variants": [
"0x5cf2c0dd",
"0x5cf2c0dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d0d9f12",
"selector": "0x6d0d9f12",
"calldata_variants": [
"0x6d0d9f12",
"0x6d0d9f120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78b43985",
"selector": "0x78b43985",
"calldata_variants": [
"0x78b43985",
"0x78b439850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1870,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2686,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 649,
"type": "tx_origin_used"
},
{
"pc": 1282,
"type": "tx_origin_used"
},
{
"pc": 1491,
"type": "tx_origin_used"
},
{
"pc": 3406,
"type": "tx_origin_used"
},
{
"pc": 648,
"type": "tx_origin_used"
},
{
"pc": 1281,
"type": "tx_origin_used"
},
{
"pc": 1490,
"type": "tx_origin_used"
},
{
"pc": 1532,
"type": "tx_origin_used"
},
{
"pc": 1661,
"type": "tx_origin_used"
},
{
"pc": 1796,
"type": "tx_origin_used"
},
{
"pc": 3078,
"type": "tx_origin_used"
},
{
"pc": 3405,
"type": "tx_origin_used"
},
{
"pc": 3436,
"type": "tx_origin_used"
},
{
"pc": 3544,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0a91c4e9689646341355ef3e1667ac344c5bdd6a4929399a697e17984ee869ee
call_targets:
0x1623ef3ff20be6cd06e337c420583ae279d5899b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0a91c4e9689646341355ef3e1667ac344c5bdd6a4929399a697e17984ee869ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1623ef3ff20be6cd06e337c420583ae279d5899b"
],
"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": "0x984d72d2",
"selector": "0x984d72d2",
"calldata_variants": [
"0x984d72d2",
"0x984d72d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabb1dc44",
"selector": "0xabb1dc44",
"calldata_variants": [
"0xabb1dc44",
"0xabb1dc440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9e406b4",
"selector": "0xb9e406b4",
"calldata_variants": [
"0xb9e406b4",
"0xb9e406b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6670e40",
"selector": "0xe6670e40",
"calldata_variants": [
"0xe6670e40",
"0xe6670e400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6fcf02a",
"selector": "0xe6fcf02a",
"calldata_variants": [
"0xe6fcf02a",
"0xe6fcf02a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf2c0dd",
"selector": "0x5cf2c0dd",
"calldata_variants": [
"0x5cf2c0dd",
"0x5cf2c0dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d0d9f12",
"selector": "0x6d0d9f12",
"calldata_variants": [
"0x6d0d9f12",
"0x6d0d9f120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78b43985",
"selector": "0x78b43985",
"calldata_variants": [
"0x78b43985",
"0x78b439850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1870,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2686,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 649,
"type": "tx_origin_used"
},
{
"pc": 1282,
"type": "tx_origin_used"
},
{
"pc": 1491,
"type": "tx_origin_used"
},
{
"pc": 3406,
"type": "tx_origin_used"
},
{
"pc": 648,
"type": "tx_origin_used"
},
{
"pc": 1281,
"type": "tx_origin_used"
},
{
"pc": 1490,
"type": "tx_origin_used"
},
{
"pc": 1532,
"type": "tx_origin_used"
},
{
"pc": 1661,
"type": "tx_origin_used"
},
{
"pc": 1796,
"type": "tx_origin_used"
},
{
"pc": 3078,
"type": "tx_origin_used"
},
{
"pc": 3405,
"type": "tx_origin_used"
},
{
"pc": 3436,
"type": "tx_origin_used"
},
{
"pc": 3544,
"type": "tx_origin_used"
}
]
}
|