019b477e-d53d-72af-9166-7ae8da387e92
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 |
|---|---|---|---|---|
| 28499 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28500 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92573 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92574 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92575 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92576 | 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 0x01a0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5d799f87 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe339d9f1 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf23a6e61 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf23a6e61 0000003a: EQ 0000003b: PUSH2 0x0527 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0554 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf340fa01 00000050: EQ 00000051: PUSH2 0x0567 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfee81cf4 0000005b: EQ 0000005c: PUSH2 0x057a 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xe339d9f1 0000006b: EQ 0000006c: PUSH2 0x0492 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xf04e283e 00000076: EQ 00000077: PUSH2 0x04e9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xf0b9e5ba 00000081: EQ 00000082: PUSH2 0x04fc 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0xb00b1e50 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xb00b1e50 0000009c: EQ 0000009d: PUSH2 0x0403 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb7ce33a2 000000a7: EQ 000000a8: PUSH2 0x0423 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbc197c81 000000b2: EQ 000000b3: PUSH2 0x0443 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc9c50e23 000000bd: EQ 000000be: PUSH2 0x0472 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x5d799f87 000000cd: EQ 000000ce: PUSH2 0x03ae 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x715018a6 000000d8: EQ 000000d9: PUSH2 0x03ce 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8da5cb5b 000000e3: EQ 000000e4: PUSH2 0x03d6 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x270a6231 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x4732a7dc 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x4732a7dc 00000109: EQ 0000010a: PUSH2 0x035e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4c412aa3 00000114: EQ 00000115: PUSH2 0x037e 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x54d1f13d 0000011f: EQ 00000120: PUSH2 0x039e 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x57323648 0000012a: EQ 0000012b: PUSH2 0x03a6 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x270a6231 0000013a: EQ 0000013b: PUSH2 0x0308 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x2e1a7d4d 00000145: EQ 00000146: PUSH2 0x031d 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x35b944bf 00000150: EQ 00000151: PUSH2 0x033d 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x01ffc9a7 00000160: EQ 00000161: PUSH2 0x01ac 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x115b7940 0000016b: EQ 0000016c: PUSH2 0x01f2 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x150b7a02 00000176: EQ 00000177: PUSH2 0x023a 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1a21241c 00000181: EQ 00000182: PUSH2 0x027f 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x25692962 0000018c: EQ 0000018d: PUSH2 0x02e0 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x26e2dca2 00000197: EQ 00000198: PUSH2 0x02e8 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: CALLDATASIZE 000001a2: PUSH2 0x01a7 000001a5: JUMPI 000001a6: STOP 000001a7: JUMPDEST 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x01dd 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x10ec 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x01 000001ca: PUSH1 0x01 000001cc: PUSH1 0xe0 000001ce: SHL 000001cf: SUB 000001d0: NOT 000001d1: AND 000001d2: PUSH4 0x01ffc9a7 000001d7: PUSH1 0xe0 000001d9: SHL 000001da: EQ 000001db: SWAP1 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: SWAP1 000001e2: ISZERO 000001e3: ISZERO 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: JUMPDEST 000001ea: PUSH1 0x40 000001ec: MLOAD 000001ed: DUP1 000001ee: SWAP2 000001ef: SUB 000001f0: SWAP1 000001f1: RETURN 000001f2: JUMPDEST 000001f3: CALLVALUE 000001f4: DUP1 000001f5: ISZERO 000001f6: PUSH2 0x01fe 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: POP 00000200: PUSH2 0x0238 00000203: PUSH2 0x020d 00000206: CALLDATASIZE 00000207: PUSH1 0x04 00000209: PUSH2 0x112b 0000020c: JUMP 0000020d: JUMPDEST 0000020e: CALLER 0000020f: PUSH1 0x00 00000211: SWAP1 00000212: DUP2 00000213: MSTORE 00000214: PUSH1 0x02 00000216: PUSH1 0x20 00000218: MSTORE 00000219: PUSH1 0x40 0000021b: SWAP1 0000021c: KECCAK256 0000021d: DUP1 0000021e: SLOAD 0000021f: SWAP2 00000220: ISZERO 00000221: ISZERO 00000222: PUSH1 0x01 00000224: PUSH1 0x80 00000226: SHL 00000227: MUL 00000228: PUSH1 0xff 0000022a: PUSH1 0x80 0000022c: SHL 0000022d: NOT 0000022e: SWAP1 0000022f: SWAP3 00000230: AND 00000231: SWAP2 00000232: SWAP1 00000233: SWAP2 00000234: OR 00000235: SWAP1 00000236: SSTORE 00000237: JUMP 00000238: JUMPDEST 00000239: STOP 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: DUP1 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: POP 00000248: PUSH2 0x0266 0000024b: PUSH2 0x0255 0000024e: CALLDATASIZE 0000024f: PUSH1 0x04 00000251: PUSH2 0x11ad 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH4 0x0a85bd01 0000025b: PUSH1 0xe1 0000025d: SHL 0000025e: SWAP6 0000025f: SWAP5 00000260: POP 00000261: POP 00000262: POP 00000263: POP 00000264: POP 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: PUSH1 0x01 0000026c: PUSH1 0x01 0000026e: PUSH1 0xe0 00000270: SHL 00000271: SUB 00000272: NOT 00000273: SWAP1 00000274: SWAP2 00000275: AND 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x20 0000027a: ADD 0000027b: PUSH2 0x01e9 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x02c1 00000290: PUSH2 0x029a 00000293: CALLDATASIZE 00000294: PUSH1 0x04 00000296: PUSH2 0x121c 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x02 0000029d: PUSH1 0x20 0000029f: MSTORE 000002a0: PUSH1 0x00 000002a2: SWAP1 000002a3: DUP2 000002a4: MSTORE 000002a5: PUSH1 0x40 000002a7: SWAP1 000002a8: KECCAK256 000002a9: SLOAD 000002aa: PUSH1 0x01 000002ac: PUSH1 0x01 000002ae: PUSH1 0x80 000002b0: SHL 000002b1: SUB 000002b2: DUP2 000002b3: AND 000002b4: SWAP1 000002b5: PUSH1 0x01 000002b7: PUSH1 0x80 000002b9: SHL 000002ba: SWAP1 000002bb: DIV 000002bc: PUSH1 0xff 000002be: AND 000002bf: DUP3 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x40 000002c4: DUP1 000002c5: MLOAD 000002c6: PUSH1 0x01 000002c8: PUSH1 0x01 000002ca: PUSH1 0x80 000002cc: SHL 000002cd: SUB 000002ce: SWAP1 000002cf: SWAP4 000002d0: AND 000002d1: DUP4 000002d2: MSTORE 000002d3: SWAP1 000002d4: ISZERO 000002d5: ISZERO 000002d6: PUSH1 0x20 000002d8: DUP4 000002d9: ADD 000002da: MSTORE 000002db: ADD 000002dc: PUSH2 0x01e9 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH2 0x0238 000002e4: PUSH2 0x05bb 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x0238 000002f9: PUSH2 0x0303 000002fc: CALLDATASIZE 000002fd: PUSH1 0x04 000002ff: PUSH2 0x127c 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x060b 00000307: JUMP 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x0238 00000319: PUSH2 0x06c3 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0238 0000032e: PUSH2 0x0338 00000331: CALLDATASIZE 00000332: PUSH1 0x04 00000334: PUSH2 0x12e1 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x07d3 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH1 0x01 0000034d: SLOAD 0000034e: PUSH2 0x01dd 00000351: SWAP1 00000352: PUSH1 0x01 00000354: PUSH1 0xa0 00000356: SHL 00000357: SWAP1 00000358: DIV 00000359: PUSH1 0xff 0000035b: AND 0000035c: DUP2 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x0238 0000036f: PUSH2 0x0379 00000372: CALLDATASIZE 00000373: PUSH1 0x04 00000375: PUSH2 0x121c 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x0909 0000037d: JUMP 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: POP 0000038c: PUSH2 0x0238 0000038f: PUSH2 0x0399 00000392: CALLDATASIZE 00000393: PUSH1 0x04 00000395: PUSH2 0x121c 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH2 0x093a 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH2 0x0238 000003a2: PUSH2 0x0964 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH2 0x0238 000003aa: PUSH2 0x09a0 000003ad: JUMP 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03ba 000003b5: JUMPI 000003b6: PUSH1 0x00 000003b8: DUP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: POP 000003bc: PUSH2 0x0238 000003bf: PUSH2 0x03c9 000003c2: CALLDATASIZE 000003c3: PUSH1 0x04 000003c5: PUSH2 0x12fa 000003c8: JUMP 000003c9: JUMPDEST 000003ca: PUSH2 0x09ab 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH2 0x0238 000003d2: PUSH2 0x0a9c 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: PUSH4 0x8b78c6d8 000003e9: NOT 000003ea: SLOAD 000003eb: JUMPDEST 000003ec: PUSH1 0x40 000003ee: MLOAD 000003ef: PUSH1 0x01 000003f1: PUSH1 0x01 000003f3: PUSH1 0xa0 000003f5: SHL 000003f6: SUB 000003f7: SWAP1 000003f8: SWAP2 000003f9: AND 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: PUSH2 0x01e9 00000402: JUMP 00000403: JUMPDEST 00000404: CALLVALUE 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: POP 00000411: PUSH2 0x0238 00000414: PUSH2 0x041e 00000417: CALLDATASIZE 00000418: PUSH1 0x04 0000041a: PUSH2 0x132d 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH2 0x0aae 00000422: JUMP 00000423: JUMPDEST 00000424: CALLVALUE 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: POP 00000431: PUSH2 0x0238 00000434: PUSH2 0x043e 00000437: CALLDATASIZE 00000438: PUSH1 0x04 0000043a: PUSH2 0x13ea 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x0ea3 00000442: JUMP 00000443: JUMPDEST 00000444: CALLVALUE 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: PUSH2 0x0266 00000454: PUSH2 0x045e 00000457: CALLDATASIZE 00000458: PUSH1 0x04 0000045a: PUSH2 0x147a 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH4 0xbc197c81 00000464: PUSH1 0xe0 00000466: SHL 00000467: SWAP9 00000468: SWAP8 00000469: POP 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: JUMP 00000472: JUMPDEST 00000473: CALLVALUE 00000474: DUP1 00000475: ISZERO 00000476: PUSH2 0x047e 00000479: JUMPI 0000047a: PUSH1 0x00 0000047c: DUP1 0000047d: REVERT 0000047e: JUMPDEST 0000047f: POP 00000480: PUSH1 0x01 00000482: SLOAD 00000483: PUSH2 0x03eb 00000486: SWAP1 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: DUP2 00000491: JUMP 00000492: JUMPDEST 00000493: CALLVALUE 00000494: DUP1 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: POP 000004a0: PUSH2 0x04d1 000004a3: PUSH2 0x04ad 000004a6: CALLDATASIZE 000004a7: PUSH1 0x04 000004a9: PUSH2 0x121c 000004ac: JUMP 000004ad: JUMPDEST 000004ae: PUSH1 0x01 000004b0: PUSH1 0x01 000004b2: PUSH1 0xa0 000004b4: SHL 000004b5: SUB 000004b6: AND 000004b7: PUSH1 0x00 000004b9: SWAP1 000004ba: DUP2 000004bb: MSTORE 000004bc: PUSH1 0x02 000004be: PUSH1 0x20 000004c0: MSTORE 000004c1: PUSH1 0x40 000004c3: SWAP1 000004c4: KECCAK256 000004c5: SLOAD 000004c6: PUSH1 0x01 000004c8: PUSH1 0x01 000004ca: PUSH1 0x80 000004cc: SHL 000004cd: SUB 000004ce: AND 000004cf: SWAP1 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: PUSH1 0x01 000004d7: PUSH1 0x01 000004d9: PUSH1 0x80 000004db: SHL 000004dc: SUB 000004dd: SWAP1 000004de: SWAP2 000004df: AND 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: PUSH2 0x01e9 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH2 0x0238 000004ed: PUSH2 0x04f7 000004f0: CALLDATASIZE 000004f1: PUSH1 0x04 000004f3: PUSH2 0x121c 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH2 0x0f8c 000004fb: JUMP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x0266 0000050d: PUSH2 0x0517 00000510: CALLDATASIZE 00000511: PUSH1 0x04 00000513: PUSH2 0x1535 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH4 0x785cf2dd 0000051d: PUSH1 0xe1 0000051f: SHL 00000520: SWAP5 00000521: SWAP4 00000522: POP 00000523: POP 00000524: POP 00000525: POP 00000526: JUMP 00000527: JUMPDEST 00000528: CALLVALUE 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0533 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: DUP1 00000532: REVERT 00000533: JUMPDEST 00000534: POP 00000535: PUSH2 0x0266 00000538: PUSH2 0x0542 0000053b: CALLDATASIZE 0000053c: PUSH1 0x04 0000053e: PUSH2 0x158f 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH4 0xf23a6e61 00000548: PUSH1 0xe0 0000054a: SHL 0000054b: SWAP7 0000054c: SWAP6 0000054d: POP 0000054e: POP 0000054f: POP 00000550: POP 00000551: POP 00000552: POP 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH2 0x0238 00000558: PUSH2 0x0562 0000055b: CALLDATASIZE 0000055c: PUSH1 0x04 0000055e: PUSH2 0x121c 00000561: JUMP 00000562: JUMPDEST 00000563: PUSH2 0x0fcc 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH2 0x0238 0000056b: PUSH2 0x0575 0000056e: CALLDATASIZE 0000056f: PUSH1 0x04 00000571: PUSH2 0x121c 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH2 0x0ff3 00000579: JUMP 0000057a: JUMPDEST 0000057b: CALLVALUE 0000057c: DUP1 0000057d: ISZERO 0000057e: PUSH2 0x0586 00000581: JUMPI 00000582: PUSH1 0x00 00000584: DUP1 00000585: REVERT 00000586: JUMPDEST 00000587: POP 00000588: PUSH2 0x05ad 0000058b: PUSH2 0x0595 0000058e: CALLDATASIZE 0000058f: PUSH1 0x04 00000591: PUSH2 0x121c 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH4 0x389a75e1 0000059b: PUSH1 0x0c 0000059d: SWAP1 0000059e: DUP2 0000059f: MSTORE 000005a0: PUSH1 0x00 000005a2: SWAP2 000005a3: SWAP1 000005a4: SWAP2 000005a5: MSTORE 000005a6: PUSH1 0x20 000005a8: SWAP1 000005a9: KECCAK256 000005aa: SLOAD 000005ab: SWAP1 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: ADD 000005b7: PUSH2 0x01e9 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH1 0x00 000005be: PUSH3 0x02a300 000005c2: PUSH8 0xffffffffffffffff 000005cb: AND 000005cc: TIMESTAMP 000005cd: ADD 000005ce: SWAP1 000005cf: POP 000005d0: PUSH4 0x389a75e1 000005d5: PUSH1 0x0c 000005d7: MSTORE 000005d8: CALLER 000005d9: PUSH1 0x00 000005db: MSTORE 000005dc: DUP1 000005dd: PUSH1 0x20 000005df: PUSH1 0x0c 000005e1: KECCAK256 000005e2: SSTORE 000005e3: CALLER 000005e4: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d 00000605: PUSH1 0x00 00000607: DUP1 00000608: LOG2 00000609: POP 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH2 0x0613 0000060f: PUSH2 0x1093 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH1 0x00 00000616: JUMPDEST 00000617: DUP3 00000618: DUP2 00000619: LT 0000061a: ISZERO 0000061b: PUSH2 0x06bc 0000061e: JUMPI 0000061f: DUP5 00000620: PUSH1 0x01 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: SHL 00000627: SUB 00000628: AND 00000629: PUSH4 0x23b872dd 0000062e: ADDRESS 0000062f: DUP5 00000630: DUP8 00000631: DUP8 00000632: DUP7 00000633: DUP2 00000634: DUP2 00000635: LT 00000636: PUSH2 0x0641 00000639: JUMPI 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x1607 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: PUSH1 0x01 00000647: PUSH1 0x01 00000649: PUSH1 0xe0 0000064b: SHL 0000064c: SUB 0000064d: NOT 0000064e: PUSH1 0xe0 00000650: DUP9 00000651: SWAP1 00000652: SHL 00000653: AND 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x01 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: SHL 0000065d: SUB 0000065e: SWAP6 0000065f: DUP7 00000660: AND 00000661: PUSH1 0x04 00000663: DUP3 00000664: ADD 00000665: MSTORE 00000666: SWAP5 00000667: SWAP1 00000668: SWAP4 00000669: AND 0000066a: PUSH1 0x24 0000066c: DUP6 0000066d: ADD 0000066e: MSTORE 0000066f: POP 00000670: PUSH1 0x20 00000672: SWAP1 00000673: SWAP2 00000674: MUL 00000675: ADD 00000676: CALLDATALOAD 00000677: PUSH1 0x44 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: PUSH1 0x64 0000067e: ADD 0000067f: PUSH1 0x00 00000681: PUSH1 0x40 00000683: MLOAD 00000684: DUP1 00000685: DUP4 00000686: SUB 00000687: DUP2 00000688: PUSH1 0x00 0000068a: DUP8 0000068b: DUP1 0000068c: EXTCODESIZE 0000068d: ISZERO 0000068e: DUP1 0000068f: ISZERO 00000690: PUSH2 0x0698 00000693: JUMPI 00000694: PUSH1 0x00 00000696: DUP1 00000697: REVERT 00000698: JUMPDEST 00000699: POP 0000069a: GAS 0000069b: CALL 0000069c: ISZERO 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06ac 000006a2: JUMPI 000006a3: RETURNDATASIZE 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: RETURNDATACOPY 000006a8: RETURNDATASIZE 000006a9: PUSH1 0x00 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: POP 000006af: PUSH1 0x01 000006b1: SWAP1 000006b2: SWAP3 000006b3: ADD 000006b4: SWAP2 000006b5: POP 000006b6: PUSH2 0x0616 000006b9: SWAP1 000006ba: POP 000006bb: JUMP 000006bc: JUMPDEST 000006bd: POP 000006be: POP 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x01 000006c6: SLOAD 000006c7: PUSH1 0x01 000006c9: PUSH1 0xa0 000006cb: SHL 000006cc: SWAP1 000006cd: DIV 000006ce: PUSH1 0xff 000006d0: AND 000006d1: PUSH2 0x06ed 000006d4: JUMPI 000006d5: PUSH1 0x40 000006d7: MLOAD 000006d8: PUSH4 0xf6017bbd 000006dd: PUSH1 0xe0 000006df: SHL 000006e0: DUP2 000006e1: MSTORE 000006e2: PUSH1 0x04 000006e4: ADD 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: DUP1 000006e9: SWAP2 000006ea: SUB 000006eb: SWAP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: CALLER 000006ef: PUSH1 0x00 000006f1: DUP2 000006f2: DUP2 000006f3: MSTORE 000006f4: PUSH1 0x02 000006f6: PUSH1 0x20 000006f8: SWAP1 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x40 000006fd: DUP1 000006fe: DUP4 000006ff: KECCAK256 00000700: DUP1 00000701: SLOAD 00000702: PUSH1 0x01 00000704: PUSH1 0x01 00000706: PUSH1 0x80 00000708: SHL 00000709: SUB 0000070a: NOT 0000070b: DUP2 0000070c: AND 0000070d: SWAP1 0000070e: SWAP2 0000070f: SSTORE 00000710: PUSH1 0x01 00000712: SLOAD 00000713: DUP3 00000714: MLOAD 00000715: PUSH1 0x24 00000717: DUP1 00000718: DUP3 00000719: ADD 0000071a: SWAP8 0000071b: SWAP1 0000071c: SWAP8 0000071d: MSTORE 0000071e: DUP4 0000071f: MLOAD 00000720: DUP1 00000721: DUP3 00000722: SUB 00000723: SWAP1 00000724: SWAP8 00000725: ADD 00000726: DUP8 00000727: MSTORE 00000728: PUSH1 0x44 0000072a: ADD 0000072b: DUP4 0000072c: MSTORE 0000072d: SWAP3 0000072e: DUP6 0000072f: ADD 00000730: DUP1 00000731: MLOAD 00000732: PUSH1 0x01 00000734: PUSH1 0x01 00000736: PUSH1 0xe0 00000738: SHL 00000739: SUB 0000073a: AND 0000073b: PUSH4 0xf340fa01 00000740: PUSH1 0xe0 00000742: SHL 00000743: OR 00000744: SWAP1 00000745: MSTORE 00000746: SWAP1 00000747: MLOAD 00000748: PUSH1 0x01 0000074a: PUSH1 0x01 0000074c: PUSH1 0x80 0000074e: SHL 0000074f: SUB 00000750: SWAP1 00000751: SWAP2 00000752: AND 00000753: SWAP4 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: SWAP1 0000075d: SWAP3 0000075e: AND 0000075f: SWAP2 00000760: DUP5 00000761: SWAP2 00000762: PUSH2 0x076b 00000765: SWAP2 00000766: SWAP1 00000767: PUSH2 0x161d 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH1 0x00 0000076e: PUSH1 0x40 00000770: MLOAD 00000771: DUP1 00000772: DUP4 00000773: SUB 00000774: DUP2 00000775: DUP6 00000776: DUP8 00000777: GAS 00000778: CALL 00000779: SWAP3 0000077a: POP 0000077b: POP 0000077c: POP 0000077d: RETURNDATASIZE 0000077e: DUP1 0000077f: PUSH1 0x00 00000781: DUP2 00000782: EQ 00000783: PUSH2 0x07a8 00000786: JUMPI 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: SWAP2 0000078b: POP 0000078c: PUSH1 0x1f 0000078e: NOT 0000078f: PUSH1 0x3f 00000791: RETURNDATASIZE 00000792: ADD 00000793: AND 00000794: DUP3 00000795: ADD 00000796: PUSH1 0x40 00000798: MSTORE 00000799: RETURNDATASIZE 0000079a: DUP3 0000079b: MSTORE 0000079c: RETURNDATASIZE 0000079d: PUSH1 0x00 0000079f: PUSH1 0x20 000007a1: DUP5 000007a2: ADD 000007a3: RETURNDATACOPY 000007a4: PUSH2 0x07ad 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x60 000007ab: SWAP2 000007ac: POP 000007ad: JUMPDEST 000007ae: POP 000007af: POP 000007b0: SWAP1 000007b1: POP 000007b2: DUP1 000007b3: PUSH2 0x07cf 000007b6: JUMPI 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: PUSH4 0x2684a079 000007bf: PUSH1 0xe0 000007c1: SHL 000007c2: DUP2 000007c3: MSTORE 000007c4: PUSH1 0x04 000007c6: ADD 000007c7: PUSH1 0x40 000007c9: MLOAD 000007ca: DUP1 000007cb: SWAP2 000007cc: SUB 000007cd: SWAP1 000007ce: REVERT 000007cf: JUMPDEST 000007d0: POP 000007d1: POP 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x00 000007d6: SLOAD 000007d7: PUSH1 0x01 000007d9: PUSH1 0x01 000007db: PUSH1 0xa0 000007dd: SHL 000007de: SUB 000007df: AND 000007e0: ORIGIN 000007e1: SUB 000007e2: PUSH2 0x07fe 000007e5: JUMPI 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: PUSH4 0x0d45e689 000007ee: PUSH1 0xe2 000007f0: SHL 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x04 000007f5: ADD 000007f6: PUSH1 0x40 000007f8: MLOAD 000007f9: DUP1 000007fa: SWAP2 000007fb: SUB 000007fc: SWAP1 000007fd: REVERT 000007fe: JUMPDEST 000007ff: CALLER 00000800: PUSH1 0x00 00000802: SWAP1 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x02 00000807: PUSH1 0x20 00000809: MSTORE 0000080a: PUSH1 0x40 0000080c: SWAP1 0000080d: KECCAK256 0000080e: SLOAD 0000080f: PUSH1 0x01 00000811: PUSH1 0x01 00000813: PUSH1 0x80 00000815: SHL 00000816: SUB 00000817: AND 00000818: DUP2 00000819: GT 0000081a: ISZERO 0000081b: PUSH2 0x0837 0000081e: JUMPI 0000081f: PUSH1 0x40 00000821: MLOAD 00000822: PUSH4 0x1e9acf17 00000827: PUSH1 0xe3 00000829: SHL 0000082a: DUP2 0000082b: MSTORE 0000082c: PUSH1 0x04 0000082e: ADD 0000082f: PUSH1 0x40 00000831: MLOAD 00000832: DUP1 00000833: SWAP2 00000834: SUB 00000835: SWAP1 00000836: REVERT 00000837: JUMPDEST 00000838: CALLER 00000839: PUSH1 0x00 0000083b: DUP2 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x02 00000840: PUSH1 0x20 00000842: MSTORE 00000843: PUSH1 0x40 00000845: DUP1 00000846: DUP3 00000847: KECCAK256 00000848: DUP1 00000849: SLOAD 0000084a: PUSH1 0x01 0000084c: PUSH1 0x01 0000084e: PUSH1 0x80 00000850: SHL 00000851: SUB 00000852: DUP1 00000853: DUP3 00000854: AND 00000855: DUP8 00000856: SWAP1 00000857: SUB 00000858: AND 00000859: PUSH1 0x01 0000085b: PUSH1 0x01 0000085d: PUSH1 0x80 0000085f: SHL 00000860: SUB 00000861: NOT 00000862: SWAP1 00000863: SWAP2 00000864: AND 00000865: OR 00000866: SWAP1 00000867: SSTORE 00000868: MLOAD 00000869: SWAP1 0000086a: SWAP2 0000086b: SWAP1 0000086c: DUP4 0000086d: SWAP1 0000086e: DUP4 0000086f: DUP2 00000870: DUP2 00000871: DUP2 00000872: DUP6 00000873: DUP8 00000874: GAS 00000875: CALL 00000876: SWAP3 00000877: POP 00000878: POP 00000879: POP 0000087a: RETURNDATASIZE 0000087b: DUP1 0000087c: PUSH1 0x00 0000087e: DUP2 0000087f: EQ 00000880: PUSH2 0x08a5 00000883: JUMPI 00000884: PUSH1 0x40 00000886: MLOAD 00000887: SWAP2 00000888: POP 00000889: PUSH1 0x1f 0000088b: NOT 0000088c: PUSH1 0x3f 0000088e: RETURNDATASIZE 0000088f: ADD 00000890: AND 00000891: DUP3 00000892: ADD 00000893: PUSH1 0x40 00000895: MSTORE 00000896: RETURNDATASIZE 00000897: DUP3 00000898: MSTORE 00000899: RETURNDATASIZE 0000089a: PUSH1 0x00 0000089c: PUSH1 0x20 0000089e: DUP5 0000089f: ADD 000008a0: RETURNDATACOPY 000008a1: PUSH2 0x08aa 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x60 000008a8: SWAP2 000008a9: POP 000008aa: JUMPDEST 000008ab: POP 000008ac: POP 000008ad: SWAP1 000008ae: POP 000008af: DUP1 000008b0: PUSH2 0x08cc 000008b3: JUMPI 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: PUSH4 0x2684a079 000008bc: PUSH1 0xe0 000008be: SHL 000008bf: DUP2 000008c0: MSTORE 000008c1: PUSH1 0x04 000008c3: ADD 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: DUP1 000008c8: SWAP2 000008c9: SUB 000008ca: SWAP1 000008cb: REVERT 000008cc: JUMPDEST 000008cd: PUSH1 0x40 000008cf: DUP1 000008d0: MLOAD 000008d1: CALLER 000008d2: DUP2 000008d3: MSTORE 000008d4: PUSH1 0x20 000008d6: DUP2 000008d7: ADD 000008d8: DUP5 000008d9: SWAP1 000008da: MSTORE 000008db: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 000008fc: SWAP2 000008fd: ADD 000008fe: PUSH1 0x40 00000900: MLOAD 00000901: DUP1 00000902: SWAP2 00000903: SUB 00000904: SWAP1 00000905: LOG1 00000906: POP 00000907: POP 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH2 0x0911 0000090d: PUSH2 0x1093 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x01 00000914: DUP1 00000915: SLOAD 00000916: PUSH1 0x01 00000918: PUSH1 0x01 0000091a: PUSH1 0xa0 0000091c: SHL 0000091d: SUB 0000091e: SWAP1 0000091f: SWAP3 00000920: AND 00000921: PUSH1 0x01 00000923: PUSH1 0x01 00000925: PUSH1 0xa8 00000927: SHL 00000928: SUB 00000929: NOT 0000092a: SWAP1 0000092b: SWAP3 0000092c: AND 0000092d: SWAP2 0000092e: SWAP1 0000092f: SWAP2 00000930: OR 00000931: PUSH1 0x01 00000933: PUSH1 0xa0 00000935: SHL 00000936: OR 00000937: SWAP1 00000938: SSTORE 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH2 0x0942 0000093e: PUSH2 0x1093 00000941: JUMP 00000942: JUMPDEST 00000943: PUSH1 0x00 00000945: DUP1 00000946: SLOAD 00000947: PUSH1 0x01 00000949: PUSH1 0x01 0000094b: PUSH1 0xa0 0000094d: SHL 0000094e: SUB 0000094f: NOT 00000950: AND 00000951: PUSH1 0x01 00000953: PUSH1 0x01 00000955: PUSH1 0xa0 00000957: SHL 00000958: SUB 00000959: SWAP3 0000095a: SWAP1 0000095b: SWAP3 0000095c: AND 0000095d: SWAP2 0000095e: SWAP1 0000095f: SWAP2 00000960: OR 00000961: SWAP1 00000962: SSTORE 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH4 0x389a75e1 0000096a: PUSH1 0x0c 0000096c: MSTORE 0000096d: CALLER 0000096e: PUSH1 0x00 00000970: MSTORE 00000971: PUSH1 0x00 00000973: PUSH1 0x20 00000975: PUSH1 0x0c 00000977: KECCAK256 00000978: SSTORE 00000979: CALLER 0000097a: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92 0000099b: PUSH1 0x00 0000099d: DUP1 0000099e: LOG2 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH2 0x09a9 000009a4: CALLER 000009a5: PUSH2 0x0ff3 000009a8: JUMP 000009a9: JUMPDEST 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH2 0x09b3 000009af: PUSH2 0x1093 000009b2: JUMP 000009b3: JUMPDEST 000009b4: PUSH1 0x40 000009b6: MLOAD 000009b7: PUSH4 0x70a08231 000009bc: PUSH1 0xe0 000009be: SHL 000009bf: DUP2 000009c0: MSTORE 000009c1: ADDRESS 000009c2: PUSH1 0x04 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: DUP3 000009c8: SWAP1 000009c9: PUSH1 0x01 000009cb: PUSH1 0x01 000009cd: PUSH1 0xa0 000009cf: SHL 000009d0: SUB 000009d1: DUP3 000009d2: AND 000009d3: SWAP1 000009d4: PUSH4 0xa9059cbb 000009d9: SWAP1 000009da: DUP5 000009db: SWAP1 000009dc: DUP4 000009dd: SWAP1 000009de: PUSH4 0x70a08231 000009e3: SWAP1 000009e4: PUSH1 0x24 000009e6: ADD 000009e7: PUSH1 0x20 000009e9: PUSH1 0x40 000009eb: MLOAD 000009ec: DUP1 000009ed: DUP4 000009ee: SUB 000009ef: DUP2 000009f0: DUP7 000009f1: GAS 000009f2: STATICCALL 000009f3: ISZERO 000009f4: DUP1 000009f5: ISZERO 000009f6: PUSH2 0x0a03 000009f9: JUMPI 000009fa: RETURNDATASIZE 000009fb: PUSH1 0x00 000009fd: DUP1 000009fe: RETURNDATACOPY 000009ff: RETURNDATASIZE 00000a00: PUSH1 0x00 00000a02: REVERT 00000a03: JUMPDEST 00000a04: POP 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: PUSH1 0x40 00000a0a: MLOAD 00000a0b: RETURNDATASIZE 00000a0c: PUSH1 0x1f 00000a0e: NOT 00000a0f: PUSH1 0x1f 00000a11: DUP3 00000a12: ADD 00000a13: AND 00000a14: DUP3 00000a15: ADD 00000a16: DUP1 00000a17: PUSH1 0x40 00000a19: MSTORE 00000a1a: POP 00000a1b: DUP2 00000a1c: ADD 00000a1d: SWAP1 00000a1e: PUSH2 0x0a27 00000a21: SWAP2 00000a22: SWAP1 00000a23: PUSH2 0x164c 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: PUSH1 0x01 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0xe0 00000a31: SHL 00000a32: SUB 00000a33: NOT 00000a34: PUSH1 0xe0 00000a36: DUP6 00000a37: SWAP1 00000a38: SHL 00000a39: AND 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x01 00000a3e: PUSH1 0x01 00000a40: PUSH1 0xa0 00000a42: SHL 00000a43: SUB 00000a44: SWAP1 00000a45: SWAP3 00000a46: AND 00000a47: PUSH1 0x04 00000a49: DUP4 00000a4a: ADD 00000a4b: MSTORE 00000a4c: PUSH1 0x24 00000a4e: DUP3 00000a4f: ADD 00000a50: MSTORE 00000a51: PUSH1 0x44 00000a53: ADD 00000a54: PUSH1 0x20 00000a56: PUSH1 0x40 00000a58: MLOAD 00000a59: DUP1 00000a5a: DUP4 00000a5b: SUB 00000a5c: DUP2 00000a5d: PUSH1 0x00 00000a5f: DUP8 00000a60: GAS 00000a61: CALL 00000a62: ISZERO 00000a63: DUP1 00000a64: ISZERO 00000a65: PUSH2 0x0a72 00000a68: JUMPI 00000a69: RETURNDATASIZE 00000a6a: PUSH1 0x00 00000a6c: DUP1 00000a6d: RETURNDATACOPY 00000a6e: RETURNDATASIZE 00000a6f: PUSH1 0x00 00000a71: REVERT 00000a72: JUMPDEST 00000a73: POP 00000a74: POP 00000a75: POP 00000a76: POP 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: RETURNDATASIZE 00000a7b: PUSH1 0x1f 00000a7d: NOT 00000a7e: PUSH1 0x1f 00000a80: DUP3 00000a81: ADD 00000a82: AND 00000a83: DUP3 00000a84: ADD 00000a85: DUP1 00000a86: PUSH1 0x40 00000a88: MSTORE 00000a89: POP 00000a8a: DUP2 00000a8b: ADD 00000a8c: SWAP1 00000a8d: PUSH2 0x0a96 00000a90: SWAP2 00000a91: SWAP1 00000a92: PUSH2 0x1665 00000a95: JUMP 00000a96: JUMPDEST 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH2 0x0aa4 00000aa0: PUSH2 0x1093 00000aa3: JUMP 00000aa4: JUMPDEST 00000aa5: PUSH2 0x09a9 00000aa8: PUSH1 0x00 00000aaa: PUSH2 0x10ae 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x00 00000ab1: SLOAD 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0xa0 00000ab8: SHL 00000ab9: SUB 00000aba: AND 00000abb: CALLER 00000abc: EQ 00000abd: PUSH2 0x0ad9 00000ac0: JUMPI 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: PUSH4 0x19caaa0b 00000ac9: PUSH1 0xe0 00000acb: SHL 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x04 00000ad0: ADD 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: DUP1 00000ad5: SWAP2 00000ad6: SUB 00000ad7: SWAP1 00000ad8: REVERT 00000ad9: JUMPDEST 00000ada: DUP8 00000adb: DUP7 00000adc: EQ 00000add: PUSH2 0x0af9 00000ae0: JUMPI 00000ae1: PUSH1 0x40 00000ae3: MLOAD 00000ae4: PUSH4 0x512509d3 00000ae9: PUSH1 0xe1 00000aeb: SHL 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x04 00000af0: ADD 00000af1: PUSH1 0x40 00000af3: MLOAD 00000af4: DUP1 00000af5: SWAP2 00000af6: SUB 00000af7: SWAP1 00000af8: REVERT 00000af9: JUMPDEST 00000afa: DUP6 00000afb: DUP5 00000afc: EQ 00000afd: PUSH2 0x0b19 00000b00: JUMPI 00000b01: PUSH1 0x40 00000b03: MLOAD 00000b04: PUSH4 0x512509d3 00000b09: PUSH1 0xe1 00000b0b: SHL 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x04 00000b10: ADD 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: DUP1 00000b15: SWAP2 00000b16: SUB 00000b17: SWAP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0x01 00000b1e: PUSH1 0xa0 00000b20: SHL 00000b21: SUB 00000b22: DUP4 00000b23: AND 00000b24: PUSH1 0x00 00000b26: SWAP1 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x02 00000b2b: PUSH1 0x20 00000b2d: MSTORE 00000b2e: PUSH1 0x40 00000b30: SWAP1 00000b31: KECCAK256 00000b32: SLOAD 00000b33: PUSH1 0x01 00000b35: PUSH1 0x80 00000b37: SHL 00000b38: SWAP1 00000b39: DIV 00000b3a: PUSH1 0xff 00000b3c: AND 00000b3d: ISZERO 00000b3e: PUSH2 0x0b5a 00000b41: JUMPI 00000b42: PUSH1 0x40 00000b44: MLOAD 00000b45: PUSH4 0x4e2916b7 00000b4a: PUSH1 0xe0 00000b4c: SHL 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x04 00000b51: ADD 00000b52: PUSH1 0x40 00000b54: MLOAD 00000b55: DUP1 00000b56: SWAP2 00000b57: SUB 00000b58: SWAP1 00000b59: REVERT 00000b5a: JUMPDEST 00000b5b: SELFBALANCE 00000b5c: PUSH1 0x00 00000b5e: JUMPDEST 00000b5f: DUP10 00000b60: DUP2 00000b61: LT 00000b62: ISZERO 00000b63: PUSH2 0x0c50 00000b66: JUMPI 00000b67: PUSH1 0x00 00000b69: DUP12 00000b6a: DUP12 00000b6b: DUP4 00000b6c: DUP2 00000b6d: DUP2 00000b6e: LT 00000b6f: PUSH2 0x0b7a 00000b72: JUMPI 00000b73: PUSH2 0x0b7a 00000b76: PUSH2 0x1607 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: SWAP1 00000b7c: POP 00000b7d: PUSH1 0x20 00000b7f: MUL 00000b80: ADD 00000b81: PUSH1 0x20 00000b83: DUP2 00000b84: ADD 00000b85: SWAP1 00000b86: PUSH2 0x0b8f 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: PUSH2 0x121c 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x01 00000b92: PUSH1 0x01 00000b94: PUSH1 0xa0 00000b96: SHL 00000b97: SUB 00000b98: AND 00000b99: DUP9 00000b9a: DUP9 00000b9b: DUP5 00000b9c: DUP2 00000b9d: DUP2 00000b9e: LT 00000b9f: PUSH2 0x0baa 00000ba2: JUMPI 00000ba3: PUSH2 0x0baa 00000ba6: PUSH2 0x1607 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: SWAP1 00000bac: POP 00000bad: PUSH1 0x20 00000baf: MUL 00000bb0: ADD 00000bb1: CALLDATALOAD 00000bb2: DUP12 00000bb3: DUP12 00000bb4: DUP6 00000bb5: DUP2 00000bb6: DUP2 00000bb7: LT 00000bb8: PUSH2 0x0bc3 00000bbb: JUMPI 00000bbc: PUSH2 0x0bc3 00000bbf: PUSH2 0x1607 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: SWAP1 00000bc5: POP 00000bc6: PUSH1 0x20 00000bc8: MUL 00000bc9: DUP2 00000bca: ADD 00000bcb: SWAP1 00000bcc: PUSH2 0x0bd5 00000bcf: SWAP2 00000bd0: SWAP1 00000bd1: PUSH2 0x1682 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: PUSH2 0x0be3 00000bdc: SWAP3 00000bdd: SWAP2 00000bde: SWAP1 00000bdf: PUSH2 0x16c9 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x00 00000be6: PUSH1 0x40 00000be8: MLOAD 00000be9: DUP1 00000bea: DUP4 00000beb: SUB 00000bec: DUP2 00000bed: DUP6 00000bee: DUP8 00000bef: GAS 00000bf0: CALL 00000bf1: SWAP3 00000bf2: POP 00000bf3: POP 00000bf4: POP 00000bf5: RETURNDATASIZE 00000bf6: DUP1 00000bf7: PUSH1 0x00 00000bf9: DUP2 00000bfa: EQ 00000bfb: PUSH2 0x0c20 00000bfe: JUMPI 00000bff: PUSH1 0x40 00000c01: MLOAD 00000c02: SWAP2 00000c03: POP 00000c04: PUSH1 0x1f 00000c06: NOT 00000c07: PUSH1 0x3f 00000c09: RETURNDATASIZE 00000c0a: ADD 00000c0b: AND 00000c0c: DUP3 00000c0d: ADD 00000c0e: PUSH1 0x40 00000c10: MSTORE 00000c11: RETURNDATASIZE 00000c12: DUP3 00000c13: MSTORE 00000c14: RETURNDATASIZE 00000c15: PUSH1 0x00 00000c17: PUSH1 0x20 00000c19: DUP5 00000c1a: ADD 00000c1b: RETURNDATACOPY 00000c1c: PUSH2 0x0c25 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: PUSH1 0x60 00000c23: SWAP2 00000c24: POP 00000c25: JUMPDEST 00000c26: POP 00000c27: POP 00000c28: SWAP1 00000c29: POP 00000c2a: DUP1 00000c2b: PUSH2 0x0c47 00000c2e: JUMPI 00000c2f: PUSH1 0x40 00000c31: MLOAD 00000c32: PUSH4 0xe8d529f9 00000c37: PUSH1 0xe0 00000c39: SHL 00000c3a: DUP2 00000c3b: MSTORE 00000c3c: PUSH1 0x04 00000c3e: ADD 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: DUP1 00000c43: SWAP2 00000c44: SUB 00000c45: SWAP1 00000c46: REVERT 00000c47: JUMPDEST 00000c48: POP 00000c49: PUSH1 0x01 00000c4b: ADD 00000c4c: PUSH2 0x0b5e 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: POP 00000c52: PUSH1 0x40 00000c54: MLOAD 00000c55: PUSH1 0x00 00000c57: SWAP1 00000c58: COINBASE 00000c59: SWAP1 00000c5a: DUP6 00000c5b: SWAP1 00000c5c: DUP4 00000c5d: DUP2 00000c5e: DUP2 00000c5f: DUP2 00000c60: DUP6 00000c61: DUP8 00000c62: GAS 00000c63: CALL 00000c64: SWAP3 00000c65: POP 00000c66: POP 00000c67: POP 00000c68: RETURNDATASIZE 00000c69: DUP1 00000c6a: PUSH1 0x00 00000c6c: DUP2 00000c6d: EQ 00000c6e: PUSH2 0x0c93 00000c71: JUMPI 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: SWAP2 00000c76: POP 00000c77: PUSH1 0x1f 00000c79: NOT 00000c7a: PUSH1 0x3f 00000c7c: RETURNDATASIZE 00000c7d: ADD 00000c7e: AND 00000c7f: DUP3 00000c80: ADD 00000c81: PUSH1 0x40 00000c83: MSTORE 00000c84: RETURNDATASIZE 00000c85: DUP3 00000c86: MSTORE 00000c87: RETURNDATASIZE 00000c88: PUSH1 0x00 00000c8a: PUSH1 0x20 00000c8c: DUP5 00000c8d: ADD 00000c8e: RETURNDATACOPY 00000c8f: PUSH2 0x0c98 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x60 00000c96: SWAP2 00000c97: POP 00000c98: JUMPDEST 00000c99: POP 00000c9a: POP 00000c9b: SWAP1 00000c9c: POP 00000c9d: DUP1 00000c9e: PUSH2 0x0cba 00000ca1: JUMPI 00000ca2: PUSH1 0x40 00000ca4: MLOAD 00000ca5: PUSH4 0x2d66518f 00000caa: PUSH1 0xe0 00000cac: SHL 00000cad: DUP2 00000cae: MSTORE 00000caf: PUSH1 0x04 00000cb1: ADD 00000cb2: PUSH1 0x40 00000cb4: MLOAD 00000cb5: DUP1 00000cb6: SWAP2 00000cb7: SUB 00000cb8: SWAP1 00000cb9: REVERT 00000cba: JUMPDEST 00000cbb: PUSH1 0x00 00000cbd: DUP1 00000cbe: SLOAD 00000cbf: PUSH1 0x40 00000cc1: MLOAD 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0x01 00000cc6: PUSH1 0xa0 00000cc8: SHL 00000cc9: SUB 00000cca: SWAP1 00000ccb: SWAP2 00000ccc: AND 00000ccd: SWAP1 00000cce: DUP6 00000ccf: SWAP1 00000cd0: DUP4 00000cd1: DUP2 00000cd2: DUP2 00000cd3: DUP2 00000cd4: DUP6 00000cd5: DUP8 00000cd6: GAS 00000cd7: CALL 00000cd8: SWAP3 00000cd9: POP 00000cda: POP 00000cdb: POP 00000cdc: RETURNDATASIZE 00000cdd: DUP1 00000cde: PUSH1 0x00 00000ce0: DUP2 00000ce1: EQ 00000ce2: PUSH2 0x0d07 00000ce5: JUMPI 00000ce6: PUSH1 0x40 00000ce8: MLOAD 00000ce9: SWAP2 00000cea: POP 00000ceb: PUSH1 0x1f 00000ced: NOT 00000cee: PUSH1 0x3f 00000cf0: RETURNDATASIZE 00000cf1: ADD 00000cf2: AND 00000cf3: DUP3 00000cf4: ADD 00000cf5: PUSH1 0x40 00000cf7: MSTORE 00000cf8: RETURNDATASIZE 00000cf9: DUP3 00000cfa: MSTORE 00000cfb: RETURNDATASIZE 00000cfc: PUSH1 0x00 00000cfe: PUSH1 0x20 00000d00: DUP5 00000d01: ADD 00000d02: RETURNDATACOPY 00000d03: PUSH2 0x0d0c 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH1 0x60 00000d0a: SWAP2 00000d0b: POP 00000d0c: JUMPDEST 00000d0d: POP 00000d0e: POP 00000d0f: SWAP1 00000d10: POP 00000d11: DUP1 00000d12: PUSH2 0x0d2e 00000d15: JUMPI 00000d16: PUSH1 0x40 00000d18: MLOAD 00000d19: PUSH4 0x05676c71 00000d1e: PUSH1 0xe4 00000d20: SHL 00000d21: DUP2 00000d22: MSTORE 00000d23: PUSH1 0x04 00000d25: ADD 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: DUP1 00000d2a: SWAP2 00000d2b: SUB 00000d2c: SWAP1 00000d2d: REVERT 00000d2e: JUMPDEST 00000d2f: SELFBALANCE 00000d30: DUP4 00000d31: DUP2 00000d32: LT 00000d33: ISZERO 00000d34: PUSH2 0x0e04 00000d37: JUMPI 00000d38: PUSH1 0x00 00000d3a: PUSH2 0x0d43 00000d3d: DUP3 00000d3e: DUP7 00000d3f: PUSH2 0x16d9 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH1 0x01 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: SHL 00000d4b: SUB 00000d4c: DUP10 00000d4d: AND 00000d4e: PUSH1 0x00 00000d50: SWAP1 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x02 00000d55: PUSH1 0x20 00000d57: MSTORE 00000d58: PUSH1 0x40 00000d5a: SWAP1 00000d5b: KECCAK256 00000d5c: SLOAD 00000d5d: SWAP1 00000d5e: SWAP2 00000d5f: POP 00000d60: PUSH1 0x01 00000d62: PUSH1 0x01 00000d64: PUSH1 0x80 00000d66: SHL 00000d67: SUB 00000d68: DUP1 00000d69: DUP4 00000d6a: AND 00000d6b: SWAP2 00000d6c: AND 00000d6d: LT 00000d6e: ISZERO 00000d6f: PUSH2 0x0d8b 00000d72: JUMPI 00000d73: PUSH1 0x40 00000d75: MLOAD 00000d76: PUSH4 0x1e9acf17 00000d7b: PUSH1 0xe3 00000d7d: SHL 00000d7e: DUP2 00000d7f: MSTORE 00000d80: PUSH1 0x04 00000d82: ADD 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: DUP1 00000d87: SWAP2 00000d88: SUB 00000d89: SWAP1 00000d8a: REVERT 00000d8b: JUMPDEST 00000d8c: PUSH1 0x01 00000d8e: PUSH1 0x01 00000d90: PUSH1 0xa0 00000d92: SHL 00000d93: SUB 00000d94: DUP9 00000d95: AND 00000d96: PUSH1 0x00 00000d98: DUP2 00000d99: DUP2 00000d9a: MSTORE 00000d9b: PUSH1 0x02 00000d9d: PUSH1 0x20 00000d9f: SWAP1 00000da0: DUP2 00000da1: MSTORE 00000da2: PUSH1 0x40 00000da4: SWAP2 00000da5: DUP3 00000da6: SWAP1 00000da7: KECCAK256 00000da8: DUP1 00000da9: SLOAD 00000daa: PUSH1 0x01 00000dac: PUSH1 0x01 00000dae: PUSH1 0x80 00000db0: SHL 00000db1: SUB 00000db2: NOT 00000db3: DUP2 00000db4: AND 00000db5: PUSH1 0x01 00000db7: PUSH1 0x01 00000db9: PUSH1 0x80 00000dbb: SHL 00000dbc: SUB 00000dbd: SWAP2 00000dbe: DUP3 00000dbf: AND 00000dc0: DUP8 00000dc1: SWAP1 00000dc2: SUB 00000dc3: DUP3 00000dc4: AND 00000dc5: OR 00000dc6: SWAP1 00000dc7: SWAP2 00000dc8: SSTORE 00000dc9: DUP3 00000dca: MLOAD 00000dcb: SWAP4 00000dcc: DUP5 00000dcd: MSTORE 00000dce: DUP5 00000dcf: AND 00000dd0: SWAP1 00000dd1: DUP4 00000dd2: ADD 00000dd3: MSTORE 00000dd4: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 00000df5: SWAP2 00000df6: ADD 00000df7: PUSH1 0x40 00000df9: MLOAD 00000dfa: DUP1 00000dfb: SWAP2 00000dfc: SUB 00000dfd: SWAP1 00000dfe: LOG1 00000dff: POP 00000e00: PUSH2 0x0e94 00000e03: JUMP 00000e04: JUMPDEST 00000e05: DUP4 00000e06: DUP2 00000e07: GT 00000e08: ISZERO 00000e09: PUSH2 0x0e94 00000e0c: JUMPI 00000e0d: PUSH1 0x01 00000e0f: PUSH1 0x01 00000e11: PUSH1 0xa0 00000e13: SHL 00000e14: SUB 00000e15: DUP8 00000e16: AND 00000e17: PUSH1 0x00 00000e19: SWAP1 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x02 00000e1e: PUSH1 0x20 00000e20: MSTORE 00000e21: PUSH1 0x40 00000e23: SWAP1 00000e24: KECCAK256 00000e25: DUP1 00000e26: SLOAD 00000e27: PUSH1 0x01 00000e29: PUSH1 0x01 00000e2b: PUSH1 0x80 00000e2d: SHL 00000e2e: SUB 00000e2f: DUP1 00000e30: DUP3 00000e31: AND 00000e32: DUP8 00000e33: DUP6 00000e34: SUB 00000e35: ADD 00000e36: AND 00000e37: PUSH1 0x01 00000e39: PUSH1 0x01 00000e3b: PUSH1 0x80 00000e3d: SHL 00000e3e: SUB 00000e3f: NOT 00000e40: SWAP1 00000e41: SWAP2 00000e42: AND 00000e43: OR 00000e44: SWAP1 00000e45: SSTORE 00000e46: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000e67: DUP8 00000e68: PUSH2 0x0e71 00000e6b: DUP7 00000e6c: DUP5 00000e6d: PUSH2 0x16d9 00000e70: JUMP 00000e71: JUMPDEST 00000e72: PUSH1 0x40 00000e74: DUP1 00000e75: MLOAD 00000e76: PUSH1 0x01 00000e78: PUSH1 0x01 00000e7a: PUSH1 0xa0 00000e7c: SHL 00000e7d: SUB 00000e7e: SWAP1 00000e7f: SWAP4 00000e80: AND 00000e81: DUP4 00000e82: MSTORE 00000e83: PUSH1 0x20 00000e85: DUP4 00000e86: ADD 00000e87: SWAP2 00000e88: SWAP1 00000e89: SWAP2 00000e8a: MSTORE 00000e8b: ADD 00000e8c: PUSH1 0x40 00000e8e: MLOAD 00000e8f: DUP1 00000e90: SWAP2 00000e91: SUB 00000e92: SWAP1 00000e93: LOG1 00000e94: JUMPDEST 00000e95: POP 00000e96: POP 00000e97: POP 00000e98: POP 00000e99: POP 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: POP 00000ea0: POP 00000ea1: POP 00000ea2: JUMP 00000ea3: JUMPDEST 00000ea4: PUSH2 0x0eab 00000ea7: PUSH2 0x1093 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH1 0x00 00000eae: JUMPDEST 00000eaf: DUP5 00000eb0: DUP2 00000eb1: LT 00000eb2: ISZERO 00000eb3: PUSH2 0x0f83 00000eb6: JUMPI 00000eb7: DUP7 00000eb8: PUSH1 0x01 00000eba: PUSH1 0x01 00000ebc: PUSH1 0xa0 00000ebe: SHL 00000ebf: SUB 00000ec0: AND 00000ec1: PUSH4 0xf242432a 00000ec6: ADDRESS 00000ec7: DUP5 00000ec8: DUP10 00000ec9: DUP10 00000eca: DUP7 00000ecb: DUP2 00000ecc: DUP2 00000ecd: LT 00000ece: PUSH2 0x0ed9 00000ed1: JUMPI 00000ed2: PUSH2 0x0ed9 00000ed5: PUSH2 0x1607 00000ed8: JUMP 00000ed9: JUMPDEST 00000eda: SWAP1 00000edb: POP 00000edc: PUSH1 0x20 00000ede: MUL 00000edf: ADD 00000ee0: CALLDATALOAD 00000ee1: DUP9 00000ee2: DUP9 00000ee3: DUP8 00000ee4: DUP2 00000ee5: DUP2 00000ee6: LT 00000ee7: PUSH2 0x0ef2 00000eea: JUMPI 00000eeb: PUSH2 0x0ef2 00000eee: PUSH2 0x1607 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH1 0x40 00000ef5: MLOAD 00000ef6: PUSH1 0x01 00000ef8: PUSH1 0x01 00000efa: PUSH1 0xe0 00000efc: SHL 00000efd: SUB 00000efe: NOT 00000eff: PUSH1 0xe0 00000f01: DUP10 00000f02: SWAP1 00000f03: SHL 00000f04: AND 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x01 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: SHL 00000f0e: SUB 00000f0f: SWAP7 00000f10: DUP8 00000f11: AND 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: SWAP6 00000f18: SWAP1 00000f19: SWAP5 00000f1a: AND 00000f1b: PUSH1 0x24 00000f1d: DUP7 00000f1e: ADD 00000f1f: MSTORE 00000f20: POP 00000f21: PUSH1 0x44 00000f23: DUP5 00000f24: ADD 00000f25: SWAP2 00000f26: SWAP1 00000f27: SWAP2 00000f28: MSTORE 00000f29: PUSH1 0x20 00000f2b: SWAP1 00000f2c: SWAP2 00000f2d: MUL 00000f2e: ADD 00000f2f: CALLDATALOAD 00000f30: PUSH1 0x64 00000f32: DUP3 00000f33: ADD 00000f34: MSTORE 00000f35: PUSH1 0xa0 00000f37: PUSH1 0x84 00000f39: DUP3 00000f3a: ADD 00000f3b: MSTORE 00000f3c: PUSH1 0x00 00000f3e: PUSH1 0xa4 00000f40: DUP3 00000f41: ADD 00000f42: MSTORE 00000f43: PUSH1 0xc4 00000f45: ADD 00000f46: PUSH1 0x00 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: DUP1 00000f4c: DUP4 00000f4d: SUB 00000f4e: DUP2 00000f4f: PUSH1 0x00 00000f51: DUP8 00000f52: DUP1 00000f53: EXTCODESIZE 00000f54: ISZERO 00000f55: DUP1 00000f56: ISZERO 00000f57: PUSH2 0x0f5f 00000f5a: JUMPI 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: REVERT 00000f5f: JUMPDEST 00000f60: POP 00000f61: GAS 00000f62: CALL 00000f63: ISZERO 00000f64: DUP1 00000f65: ISZERO 00000f66: PUSH2 0x0f73 00000f69: JUMPI 00000f6a: RETURNDATASIZE 00000f6b: PUSH1 0x00 00000f6d: DUP1 00000f6e: RETURNDATACOPY 00000f6f: RETURNDATASIZE 00000f70: PUSH1 0x00 00000f72: REVERT 00000f73: JUMPDEST 00000f74: POP 00000f75: POP 00000f76: PUSH1 0x01 00000f78: SWAP1 00000f79: SWAP3 00000f7a: ADD 00000f7b: SWAP2 00000f7c: POP 00000f7d: PUSH2 0x0eae 00000f80: SWAP1 00000f81: POP 00000f82: JUMP 00000f83: JUMPDEST 00000f84: POP 00000f85: POP 00000f86: POP 00000f87: POP 00000f88: POP 00000f89: POP 00000f8a: POP 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH2 0x0f94 00000f90: PUSH2 0x1093 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH4 0x389a75e1 00000f9a: PUSH1 0x0c 00000f9c: MSTORE 00000f9d: DUP1 00000f9e: PUSH1 0x00 00000fa0: MSTORE 00000fa1: PUSH1 0x20 00000fa3: PUSH1 0x0c 00000fa5: KECCAK256 00000fa6: DUP1 00000fa7: SLOAD 00000fa8: TIMESTAMP 00000fa9: GT 00000faa: ISZERO 00000fab: PUSH2 0x0fbc 00000fae: JUMPI 00000faf: PUSH4 0x6f5e8818 00000fb4: PUSH1 0x00 00000fb6: MSTORE 00000fb7: PUSH1 0x04 00000fb9: PUSH1 0x1c 00000fbb: REVERT 00000fbc: JUMPDEST 00000fbd: PUSH1 0x00 00000fbf: SWAP1 00000fc0: SSTORE 00000fc1: PUSH2 0x0fc9 00000fc4: DUP2 00000fc5: PUSH2 0x10ae 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: POP 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: PUSH2 0x0fd4 00000fd0: PUSH2 0x1093 00000fd3: JUMP 00000fd4: JUMPDEST 00000fd5: DUP1 00000fd6: PUSH1 0x60 00000fd8: SHL 00000fd9: PUSH2 0x0fea 00000fdc: JUMPI 00000fdd: PUSH4 0x7448fbae 00000fe2: PUSH1 0x00 00000fe4: MSTORE 00000fe5: PUSH1 0x04 00000fe7: PUSH1 0x1c 00000fe9: REVERT 00000fea: JUMPDEST 00000feb: PUSH2 0x0fc9 00000fee: DUP2 00000fef: PUSH2 0x10ae 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: PUSH1 0x00 00000ff6: SLOAD 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0x01 00000ffb: PUSH1 0xa0 00000ffd: SHL 00000ffe: SUB 00000fff: AND 00001000: ORIGIN 00001001: SUB 00001002: PUSH2 0x101e 00001005: JUMPI 00001006: PUSH1 0x40 00001008: MLOAD 00001009: PUSH4 0x0d45e689 0000100e: PUSH1 0xe2 00001010: SHL 00001011: DUP2 00001012: MSTORE 00001013: PUSH1 0x04 00001015: ADD 00001016: PUSH1 0x40 00001018: MLOAD 00001019: DUP1 0000101a: SWAP2 0000101b: SUB 0000101c: SWAP1 0000101d: REVERT 0000101e: JUMPDEST 0000101f: PUSH1 0x01 00001021: PUSH1 0x01 00001023: PUSH1 0xa0 00001025: SHL 00001026: SUB 00001027: DUP2 00001028: AND 00001029: PUSH1 0x00 0000102b: DUP2 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x02 00001030: PUSH1 0x20 00001032: SWAP1 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x40 00001037: SWAP2 00001038: DUP3 00001039: SWAP1 0000103a: KECCAK256 0000103b: DUP1 0000103c: SLOAD 0000103d: PUSH1 0x01 0000103f: PUSH1 0x01 00001041: PUSH1 0x80 00001043: SHL 00001044: SUB 00001045: NOT 00001046: DUP2 00001047: AND 00001048: CALLVALUE 00001049: PUSH1 0x01 0000104b: PUSH1 0x01 0000104d: PUSH1 0x80 0000104f: SHL 00001050: SUB 00001051: SWAP3 00001052: DUP4 00001053: AND 00001054: DUP2 00001055: ADD 00001056: SWAP1 00001057: SWAP3 00001058: AND 00001059: OR 0000105a: SWAP1 0000105b: SWAP2 0000105c: SSTORE 0000105d: DUP3 0000105e: MLOAD 0000105f: SWAP4 00001060: DUP5 00001061: MSTORE 00001062: SWAP1 00001063: DUP4 00001064: ADD 00001065: MSTORE 00001066: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00001087: SWAP2 00001088: ADD 00001089: PUSH1 0x40 0000108b: MLOAD 0000108c: DUP1 0000108d: SWAP2 0000108e: SUB 0000108f: SWAP1 00001090: LOG1 00001091: POP 00001092: JUMP 00001093: JUMPDEST 00001094: PUSH4 0x8b78c6d8 00001099: NOT 0000109a: SLOAD 0000109b: CALLER 0000109c: EQ 0000109d: PUSH2 0x09a9 000010a0: JUMPI 000010a1: PUSH4 0x82b42900 000010a6: PUSH1 0x00 000010a8: MSTORE 000010a9: PUSH1 0x04 000010ab: PUSH1 0x1c 000010ad: REVERT 000010ae: JUMPDEST 000010af: PUSH4 0x8b78c6d8 000010b4: NOT 000010b5: DUP1 000010b6: SLOAD 000010b7: PUSH1 0x01 000010b9: PUSH1 0x01 000010bb: PUSH1 0xa0 000010bd: SHL 000010be: SUB 000010bf: SWAP1 000010c0: SWAP3 000010c1: AND 000010c2: SWAP2 000010c3: DUP3 000010c4: SWAP1 000010c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010e6: PUSH1 0x00 000010e8: DUP1 000010e9: LOG3 000010ea: SSTORE 000010eb: JUMP 000010ec: JUMPDEST 000010ed: PUSH1 0x00 000010ef: PUSH1 0x20 000010f1: DUP3 000010f2: DUP5 000010f3: SUB 000010f4: SLT 000010f5: ISZERO 000010f6: PUSH2 0x10fe 000010f9: JUMPI 000010fa: PUSH1 0x00 000010fc: DUP1 000010fd: REVERT 000010fe: JUMPDEST 000010ff: DUP2 00001100: CALLDATALOAD 00001101: PUSH1 0x01 00001103: PUSH1 0x01 00001105: PUSH1 0xe0 00001107: SHL 00001108: SUB 00001109: NOT 0000110a: DUP2 0000110b: AND 0000110c: DUP2 0000110d: EQ 0000110e: PUSH2 0x1116 00001111: JUMPI 00001112: PUSH1 0x00 00001114: DUP1 00001115: REVERT 00001116: JUMPDEST 00001117: SWAP4 00001118: SWAP3 00001119: POP 0000111a: POP 0000111b: POP 0000111c: JUMP 0000111d: JUMPDEST 0000111e: DUP1 0000111f: ISZERO 00001120: ISZERO 00001121: DUP2 00001122: EQ 00001123: PUSH2 0x0fc9 00001126: JUMPI 00001127: PUSH1 0x00 00001129: DUP1 0000112a: REVERT 0000112b: JUMPDEST 0000112c: PUSH1 0x00 0000112e: PUSH1 0x20 00001130: DUP3 00001131: DUP5 00001132: SUB 00001133: SLT 00001134: ISZERO 00001135: PUSH2 0x113d 00001138: JUMPI 00001139: PUSH1 0x00 0000113b: DUP1 0000113c: REVERT 0000113d: JUMPDEST 0000113e: DUP2 0000113f: CALLDATALOAD 00001140: PUSH2 0x1116 00001143: DUP2 00001144: PUSH2 0x111d 00001147: JUMP 00001148: JUMPDEST 00001149: DUP1 0000114a: CALLDATALOAD 0000114b: PUSH1 0x01 0000114d: PUSH1 0x01 0000114f: PUSH1 0xa0 00001151: SHL 00001152: SUB 00001153: DUP2 00001154: AND 00001155: DUP2 00001156: EQ 00001157: PUSH2 0x115f 0000115a: JUMPI 0000115b: PUSH1 0x00 0000115d: DUP1 0000115e: REVERT 0000115f: JUMPDEST 00001160: SWAP2 00001161: SWAP1 00001162: POP 00001163: JUMP 00001164: JUMPDEST 00001165: PUSH1 0x00 00001167: DUP1 00001168: DUP4 00001169: PUSH1 0x1f 0000116b: DUP5 0000116c: ADD 0000116d: SLT 0000116e: PUSH2 0x1176 00001171: JUMPI 00001172: PUSH1 0x00 00001174: DUP1 00001175: REVERT 00001176: JUMPDEST 00001177: POP 00001178: DUP2 00001179: CALLDATALOAD 0000117a: PUSH8 0xffffffffffffffff 00001183: DUP2 00001184: GT 00001185: ISZERO 00001186: PUSH2 0x118e 00001189: JUMPI 0000118a: PUSH1 0x00 0000118c: DUP1 0000118d: REVERT 0000118e: JUMPDEST 0000118f: PUSH1 0x20 00001191: DUP4 00001192: ADD 00001193: SWAP2 00001194: POP 00001195: DUP4 00001196: PUSH1 0x20 00001198: DUP3 00001199: DUP6 0000119a: ADD 0000119b: ADD 0000119c: GT 0000119d: ISZERO 0000119e: PUSH2 0x11a6 000011a1: JUMPI 000011a2: PUSH1 0x00 000011a4: DUP1 000011a5: REVERT 000011a6: JUMPDEST 000011a7: SWAP3 000011a8: POP 000011a9: SWAP3 000011aa: SWAP1 000011ab: POP 000011ac: JUMP 000011ad: JUMPDEST 000011ae: PUSH1 0x00 000011b0: DUP1 000011b1: PUSH1 0x00 000011b3: DUP1 000011b4: PUSH1 0x00 000011b6: PUSH1 0x80 000011b8: DUP7 000011b9: DUP9 000011ba: SUB 000011bb: SLT 000011bc: ISZERO 000011bd: PUSH2 0x11c5 000011c0: JUMPI 000011c1: PUSH1 0x00 000011c3: DUP1 000011c4: REVERT 000011c5: JUMPDEST 000011c6: PUSH2 0x11ce 000011c9: DUP7 000011ca: PUSH2 0x1148 000011cd: JUMP 000011ce: JUMPDEST 000011cf: SWAP5 000011d0: POP 000011d1: PUSH2 0x11dc 000011d4: PUSH1 0x20 000011d6: DUP8 000011d7: ADD 000011d8: PUSH2 0x1148 000011db: JUMP 000011dc: JUMPDEST 000011dd: SWAP4 000011de: POP 000011df: PUSH1 0x40 000011e1: DUP7 000011e2: ADD 000011e3: CALLDATALOAD 000011e4: SWAP3 000011e5: POP 000011e6: PUSH1 0x60 000011e8: DUP7 000011e9: ADD 000011ea: CALLDATALOAD 000011eb: PUSH8 0xffffffffffffffff 000011f4: DUP2 000011f5: GT 000011f6: ISZERO 000011f7: PUSH2 0x11ff 000011fa: JUMPI 000011fb: PUSH1 0x00 000011fd: DUP1 000011fe: REVERT 000011ff: JUMPDEST 00001200: PUSH2 0x120b 00001203: DUP9 00001204: DUP3 00001205: DUP10 00001206: ADD 00001207: PUSH2 0x1164 0000120a: JUMP 0000120b: JUMPDEST 0000120c: SWAP7 0000120d: SWAP10 0000120e: SWAP6 0000120f: SWAP9 00001210: POP 00001211: SWAP4 00001212: SWAP7 00001213: POP 00001214: SWAP3 00001215: SWAP5 00001216: SWAP4 00001217: SWAP3 00001218: POP 00001219: POP 0000121a: POP 0000121b: JUMP 0000121c: JUMPDEST 0000121d: PUSH1 0x00 0000121f: PUSH1 0x20 00001221: DUP3 00001222: DUP5 00001223: SUB 00001224: SLT 00001225: ISZERO 00001226: PUSH2 0x122e 00001229: JUMPI 0000122a: PUSH1 0x00 0000122c: DUP1 0000122d: REVERT 0000122e: JUMPDEST 0000122f: PUSH2 0x1116 00001232: DUP3 00001233: PUSH2 0x1148 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x00 0000123a: DUP1 0000123b: DUP4 0000123c: PUSH1 0x1f 0000123e: DUP5 0000123f: ADD 00001240: SLT 00001241: PUSH2 0x1249 00001244: JUMPI 00001245: PUSH1 0x00 00001247: DUP1 00001248: REVERT 00001249: JUMPDEST 0000124a: POP 0000124b: DUP2 0000124c: CALLDATALOAD 0000124d: PUSH8 0xffffffffffffffff 00001256: DUP2 00001257: GT 00001258: ISZERO 00001259: PUSH2 0x1261 0000125c: JUMPI 0000125d: PUSH1 0x00 0000125f: DUP1 00001260: REVERT 00001261: JUMPDEST 00001262: PUSH1 0x20 00001264: DUP4 00001265: ADD 00001266: SWAP2 00001267: POP 00001268: DUP4 00001269: PUSH1 0x20 0000126b: DUP3 0000126c: PUSH1 0x05 0000126e: SHL 0000126f: DUP6 00001270: ADD 00001271: ADD 00001272: GT 00001273: ISZERO 00001274: PUSH2 0x11a6 00001277: JUMPI 00001278: PUSH1 0x00 0000127a: DUP1 0000127b: REVERT 0000127c: JUMPDEST 0000127d: PUSH1 0x00 0000127f: DUP1 00001280: PUSH1 0x00 00001282: DUP1 00001283: PUSH1 0x60 00001285: DUP6 00001286: DUP8 00001287: SUB 00001288: SLT 00001289: ISZERO 0000128a: PUSH2 0x1292 0000128d: JUMPI 0000128e: PUSH1 0x00 00001290: DUP1 00001291: REVERT 00001292: JUMPDEST 00001293: PUSH2 0x129b 00001296: DUP6 00001297: PUSH2 0x1148 0000129a: JUMP 0000129b: JUMPDEST 0000129c: SWAP4 0000129d: POP 0000129e: PUSH1 0x20 000012a0: DUP6 000012a1: ADD 000012a2: CALLDATALOAD 000012a3: PUSH8 0xffffffffffffffff 000012ac: DUP2 000012ad: GT 000012ae: ISZERO 000012af: PUSH2 0x12b7 000012b2: JUMPI 000012b3: PUSH1 0x00 000012b5: DUP1 000012b6: REVERT 000012b7: JUMPDEST 000012b8: PUSH2 0x12c3 000012bb: DUP8 000012bc: DUP3 000012bd: DUP9 000012be: ADD 000012bf: PUSH2 0x1237 000012c2: JUMP 000012c3: JUMPDEST 000012c4: SWAP1 000012c5: SWAP5 000012c6: POP 000012c7: SWAP3 000012c8: POP 000012c9: PUSH2 0x12d6 000012cc: SWAP1 000012cd: POP 000012ce: PUSH1 0x40 000012d0: DUP7 000012d1: ADD 000012d2: PUSH2 0x1148 000012d5: JUMP 000012d6: JUMPDEST 000012d7: SWAP1 000012d8: POP 000012d9: SWAP3 000012da: SWAP6 000012db: SWAP2 000012dc: SWAP5 000012dd: POP 000012de: SWAP3 000012df: POP 000012e0: JUMP 000012e1: JUMPDEST 000012e2: PUSH1 0x00 000012e4: PUSH1 0x20 000012e6: DUP3 000012e7: DUP5 000012e8: SUB 000012e9: SLT 000012ea: ISZERO 000012eb: PUSH2 0x12f3 000012ee: JUMPI 000012ef: PUSH1 0x00 000012f1: DUP1 000012f2: REVERT 000012f3: JUMPDEST 000012f4: POP 000012f5: CALLDATALOAD 000012f6: SWAP2 000012f7: SWAP1 000012f8: POP 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x00 000012fd: DUP1 000012fe: PUSH1 0x40 00001300: DUP4 00001301: DUP6 00001302: SUB 00001303: SLT 00001304: ISZERO 00001305: PUSH2 0x130d 00001308: JUMPI 00001309: PUSH1 0x00 0000130b: DUP1 0000130c: REVERT 0000130d: JUMPDEST 0000130e: PUSH2 0x1316 00001311: DUP4 00001312: PUSH2 0x1148 00001315: JUMP 00001316: JUMPDEST 00001317: SWAP2 00001318: POP 00001319: PUSH2 0x1324 0000131c: PUSH1 0x20 0000131e: DUP5 0000131f: ADD 00001320: PUSH2 0x1148 00001323: JUMP 00001324: JUMPDEST 00001325: SWAP1 00001326: POP 00001327: SWAP3 00001328: POP 00001329: SWAP3 0000132a: SWAP1 0000132b: POP 0000132c: JUMP 0000132d: JUMPDEST 0000132e: PUSH1 0x00 00001330: DUP1 00001331: PUSH1 0x00 00001333: DUP1 00001334: PUSH1 0x00 00001336: DUP1 00001337: PUSH1 0x00 00001339: DUP1 0000133a: PUSH1 0x00 0000133c: PUSH1 0xc0 0000133e: DUP11 0000133f: DUP13 00001340: SUB 00001341: SLT 00001342: ISZERO 00001343: PUSH2 0x134b 00001346: JUMPI 00001347: PUSH1 0x00 00001349: DUP1 0000134a: REVERT 0000134b: JUMPDEST 0000134c: DUP10 0000134d: CALLDATALOAD 0000134e: PUSH8 0xffffffffffffffff 00001357: DUP1 00001358: DUP3 00001359: GT 0000135a: ISZERO 0000135b: PUSH2 0x1363 0000135e: JUMPI 0000135f: PUSH1 0x00 00001361: DUP1 00001362: REVERT 00001363: JUMPDEST 00001364: PUSH2 0x136f 00001367: DUP14 00001368: DUP4 00001369: DUP15 0000136a: ADD 0000136b: PUSH2 0x1237 0000136e: JUMP 0000136f: JUMPDEST 00001370: SWAP1 00001371: SWAP12 00001372: POP 00001373: SWAP10 00001374: POP 00001375: PUSH1 0x20 00001377: DUP13 00001378: ADD 00001379: CALLDATALOAD 0000137a: SWAP2 0000137b: POP 0000137c: DUP1 0000137d: DUP3 0000137e: GT 0000137f: ISZERO 00001380: PUSH2 0x1388 00001383: JUMPI 00001384: PUSH1 0x00 00001386: DUP1 00001387: REVERT 00001388: JUMPDEST 00001389: PUSH2 0x1394 0000138c: DUP14 0000138d: DUP4 0000138e: DUP15 0000138f: ADD 00001390: PUSH2 0x1237 00001393: JUMP 00001394: JUMPDEST 00001395: SWAP1 00001396: SWAP10 00001397: POP 00001398: SWAP8 00001399: POP 0000139a: PUSH1 0x40 0000139c: DUP13 0000139d: ADD 0000139e: CALLDATALOAD 0000139f: SWAP2 000013a0: POP 000013a1: DUP1 000013a2: DUP3 000013a3: GT 000013a4: ISZERO 000013a5: PUSH2 0x13ad 000013a8: JUMPI 000013a9: PUSH1 0x00 000013ab: DUP1 000013ac: REVERT 000013ad: JUMPDEST 000013ae: POP 000013af: PUSH2 0x13ba 000013b2: DUP13 000013b3: DUP3 000013b4: DUP14 000013b5: ADD 000013b6: PUSH2 0x1237 000013b9: JUMP 000013ba: JUMPDEST 000013bb: SWAP1 000013bc: SWAP7 000013bd: POP 000013be: SWAP5 000013bf: POP 000013c0: PUSH2 0x13cd 000013c3: SWAP1 000013c4: POP 000013c5: PUSH1 0x60 000013c7: DUP12 000013c8: ADD 000013c9: PUSH2 0x1148 000013cc: JUMP 000013cd: JUMPDEST 000013ce: SWAP3 000013cf: POP 000013d0: PUSH1 0x80 000013d2: DUP11 000013d3: ADD 000013d4: CALLDATALOAD 000013d5: SWAP2 000013d6: POP 000013d7: PUSH1 0xa0 000013d9: DUP11 000013da: ADD 000013db: CALLDATALOAD 000013dc: SWAP1 000013dd: POP 000013de: SWAP3 000013df: SWAP6 000013e0: SWAP9 000013e1: POP 000013e2: SWAP3 000013e3: SWAP6 000013e4: SWAP9 000013e5: POP 000013e6: SWAP3 000013e7: SWAP6 000013e8: SWAP9 000013e9: JUMP 000013ea: JUMPDEST 000013eb: PUSH1 0x00 000013ed: DUP1 000013ee: PUSH1 0x00 000013f0: DUP1 000013f1: PUSH1 0x00 000013f3: DUP1 000013f4: PUSH1 0x80 000013f6: DUP8 000013f7: DUP10 000013f8: SUB 000013f9: SLT 000013fa: ISZERO 000013fb: PUSH2 0x1403 000013fe: JUMPI 000013ff: PUSH1 0x00 00001401: DUP1 00001402: REVERT 00001403: JUMPDEST 00001404: PUSH2 0x140c 00001407: DUP8 00001408: PUSH2 0x1148 0000140b: JUMP 0000140c: JUMPDEST 0000140d: SWAP6 0000140e: POP 0000140f: PUSH1 0x20 00001411: DUP8 00001412: ADD 00001413: CALLDATALOAD 00001414: PUSH8 0xffffffffffffffff 0000141d: DUP1 0000141e: DUP3 0000141f: GT 00001420: ISZERO 00001421: PUSH2 0x1429 00001424: JUMPI 00001425: PUSH1 0x00 00001427: DUP1 00001428: REVERT 00001429: JUMPDEST 0000142a: PUSH2 0x1435 0000142d: DUP11 0000142e: DUP4 0000142f: DUP12 00001430: ADD 00001431: PUSH2 0x1237 00001434: JUMP 00001435: JUMPDEST 00001436: SWAP1 00001437: SWAP8 00001438: POP 00001439: SWAP6 0000143a: POP 0000143b: PUSH1 0x40 0000143d: DUP10 0000143e: ADD 0000143f: CALLDATALOAD 00001440: SWAP2 00001441: POP 00001442: DUP1 00001443: DUP3 00001444: GT 00001445: ISZERO 00001446: PUSH2 0x144e 00001449: JUMPI 0000144a: PUSH1 0x00 0000144c: DUP1 0000144d: REVERT 0000144e: JUMPDEST 0000144f: POP 00001450: PUSH2 0x145b 00001453: DUP10 00001454: DUP3 00001455: DUP11 00001456: ADD 00001457: PUSH2 0x1237 0000145a: JUMP 0000145b: JUMPDEST 0000145c: SWAP1 0000145d: SWAP5 0000145e: POP 0000145f: SWAP3 00001460: POP 00001461: PUSH2 0x146e 00001464: SWAP1 00001465: POP 00001466: PUSH1 0x60 00001468: DUP9 00001469: ADD 0000146a: PUSH2 0x1148 0000146d: JUMP 0000146e: JUMPDEST 0000146f: SWAP1 00001470: POP 00001471: SWAP3 00001472: SWAP6 00001473: POP 00001474: SWAP3 00001475: SWAP6 00001476: POP 00001477: SWAP3 00001478: SWAP6 00001479: JUMP 0000147a: JUMPDEST 0000147b: PUSH1 0x00 0000147d: DUP1 0000147e: PUSH1 0x00 00001480: DUP1 00001481: PUSH1 0x00 00001483: DUP1 00001484: PUSH1 0x00 00001486: DUP1 00001487: PUSH1 0xa0 00001489: DUP10 0000148a: DUP12 0000148b: SUB 0000148c: SLT 0000148d: ISZERO 0000148e: PUSH2 0x1496 00001491: JUMPI 00001492: PUSH1 0x00 00001494: DUP1 00001495: REVERT 00001496: JUMPDEST 00001497: PUSH2 0x149f 0000149a: DUP10 0000149b: PUSH2 0x1148 0000149e: JUMP 0000149f: JUMPDEST 000014a0: SWAP8 000014a1: POP 000014a2: PUSH2 0x14ad 000014a5: PUSH1 0x20 000014a7: DUP11 000014a8: ADD 000014a9: PUSH2 0x1148 000014ac: JUMP 000014ad: JUMPDEST 000014ae: SWAP7 000014af: POP 000014b0: PUSH1 0x40 000014b2: DUP10 000014b3: ADD 000014b4: CALLDATALOAD 000014b5: PUSH8 0xffffffffffffffff 000014be: DUP1 000014bf: DUP3 000014c0: GT 000014c1: ISZERO 000014c2: PUSH2 0x14ca 000014c5: JUMPI 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: REVERT 000014ca: JUMPDEST 000014cb: PUSH2 0x14d6 000014ce: DUP13 000014cf: DUP4 000014d0: DUP14 000014d1: ADD 000014d2: PUSH2 0x1237 000014d5: JUMP 000014d6: JUMPDEST 000014d7: SWAP1 000014d8: SWAP9 000014d9: POP 000014da: SWAP7 000014db: POP 000014dc: PUSH1 0x60 000014de: DUP12 000014df: ADD 000014e0: CALLDATALOAD 000014e1: SWAP2 000014e2: POP 000014e3: DUP1 000014e4: DUP3 000014e5: GT 000014e6: ISZERO 000014e7: PUSH2 0x14ef 000014ea: JUMPI 000014eb: PUSH1 0x00 000014ed: DUP1 000014ee: REVERT 000014ef: JUMPDEST 000014f0: PUSH2 0x14fb 000014f3: DUP13 000014f4: DUP4 000014f5: DUP14 000014f6: ADD 000014f7: PUSH2 0x1237 000014fa: JUMP 000014fb: JUMPDEST 000014fc: SWAP1 000014fd: SWAP7 000014fe: POP 000014ff: SWAP5 00001500: POP 00001501: PUSH1 0x80 00001503: DUP12 00001504: ADD 00001505: CALLDATALOAD 00001506: SWAP2 00001507: POP 00001508: DUP1 00001509: DUP3 0000150a: GT 0000150b: ISZERO 0000150c: PUSH2 0x1514 0000150f: JUMPI 00001510: PUSH1 0x00 00001512: DUP1 00001513: REVERT 00001514: JUMPDEST 00001515: POP 00001516: PUSH2 0x1521 00001519: DUP12 0000151a: DUP3 0000151b: DUP13 0000151c: ADD 0000151d: PUSH2 0x1164 00001520: JUMP 00001521: JUMPDEST 00001522: SWAP10 00001523: SWAP13 00001524: SWAP9 00001525: SWAP12 00001526: POP 00001527: SWAP7 00001528: SWAP10 00001529: POP 0000152a: SWAP5 0000152b: SWAP8 0000152c: SWAP4 0000152d: SWAP7 0000152e: SWAP3 0000152f: SWAP6 00001530: SWAP5 00001531: POP 00001532: POP 00001533: POP 00001534: JUMP 00001535: JUMPDEST 00001536: PUSH1 0x00 00001538: DUP1 00001539: PUSH1 0x00 0000153b: DUP1 0000153c: PUSH1 0x60 0000153e: DUP6 0000153f: DUP8 00001540: SUB 00001541: SLT 00001542: ISZERO 00001543: PUSH2 0x154b 00001546: JUMPI 00001547: PUSH1 0x00 00001549: DUP1 0000154a: REVERT 0000154b: JUMPDEST 0000154c: PUSH2 0x1554 0000154f: DUP6 00001550: PUSH2 0x1148 00001553: JUMP 00001554: JUMPDEST 00001555: SWAP4 00001556: POP 00001557: PUSH1 0x20 00001559: DUP6 0000155a: ADD 0000155b: CALLDATALOAD 0000155c: SWAP3 0000155d: POP 0000155e: PUSH1 0x40 00001560: DUP6 00001561: ADD 00001562: CALLDATALOAD 00001563: PUSH8 0xffffffffffffffff 0000156c: DUP2 0000156d: GT 0000156e: ISZERO 0000156f: PUSH2 0x1577 00001572: JUMPI 00001573: PUSH1 0x00 00001575: DUP1 00001576: REVERT 00001577: JUMPDEST 00001578: PUSH2 0x1583 0000157b: DUP8 0000157c: DUP3 0000157d: DUP9 0000157e: ADD 0000157f: PUSH2 0x1164 00001582: JUMP 00001583: JUMPDEST 00001584: SWAP6 00001585: SWAP9 00001586: SWAP5 00001587: SWAP8 00001588: POP 00001589: SWAP6 0000158a: POP 0000158b: POP 0000158c: POP 0000158d: POP 0000158e: JUMP 0000158f: JUMPDEST 00001590: PUSH1 0x00 00001592: DUP1 00001593: PUSH1 0x00 00001595: DUP1 00001596: PUSH1 0x00 00001598: DUP1 00001599: PUSH1 0xa0 0000159b: DUP8 0000159c: DUP10 0000159d: SUB 0000159e: SLT 0000159f: ISZERO 000015a0: PUSH2 0x15a8 000015a3: JUMPI 000015a4: PUSH1 0x00 000015a6: DUP1 000015a7: REVERT 000015a8: JUMPDEST 000015a9: PUSH2 0x15b1 000015ac: DUP8 000015ad: PUSH2 0x1148 000015b0: JUMP 000015b1: JUMPDEST 000015b2: SWAP6 000015b3: POP 000015b4: PUSH2 0x15bf 000015b7: PUSH1 0x20 000015b9: DUP9 000015ba: ADD 000015bb: PUSH2 0x1148 000015be: JUMP 000015bf: JUMPDEST 000015c0: SWAP5 000015c1: POP 000015c2: PUSH1 0x40 000015c4: DUP8 000015c5: ADD 000015c6: CALLDATALOAD 000015c7: SWAP4 000015c8: POP 000015c9: PUSH1 0x60 000015cb: DUP8 000015cc: ADD 000015cd: CALLDATALOAD 000015ce: SWAP3 000015cf: POP 000015d0: PUSH1 0x80 000015d2: DUP8 000015d3: ADD 000015d4: CALLDATALOAD 000015d5: PUSH8 0xffffffffffffffff 000015de: DUP2 000015df: GT 000015e0: ISZERO 000015e1: PUSH2 0x15e9 000015e4: JUMPI 000015e5: PUSH1 0x00 000015e7: DUP1 000015e8: REVERT 000015e9: JUMPDEST 000015ea: PUSH2 0x15f5 000015ed: DUP10 000015ee: DUP3 000015ef: DUP11 000015f0: ADD 000015f1: PUSH2 0x1164 000015f4: JUMP 000015f5: JUMPDEST 000015f6: SWAP8 000015f7: SWAP11 000015f8: SWAP7 000015f9: SWAP10 000015fa: POP 000015fb: SWAP5 000015fc: SWAP8 000015fd: POP 000015fe: SWAP3 000015ff: SWAP6 00001600: SWAP4 00001601: SWAP5 00001602: SWAP3 00001603: POP 00001604: POP 00001605: POP 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH4 0x4e487b71 0000160d: PUSH1 0xe0 0000160f: SHL 00001610: PUSH1 0x00 00001612: MSTORE 00001613: PUSH1 0x32 00001615: PUSH1 0x04 00001617: MSTORE 00001618: PUSH1 0x24 0000161a: PUSH1 0x00 0000161c: REVERT 0000161d: JUMPDEST 0000161e: PUSH1 0x00 00001620: DUP3 00001621: MLOAD 00001622: PUSH1 0x00 00001624: JUMPDEST 00001625: DUP2 00001626: DUP2 00001627: LT 00001628: ISZERO 00001629: PUSH2 0x163e 0000162c: JUMPI 0000162d: PUSH1 0x20 0000162f: DUP2 00001630: DUP7 00001631: ADD 00001632: DUP2 00001633: ADD 00001634: MLOAD 00001635: DUP6 00001636: DUP4 00001637: ADD 00001638: MSTORE 00001639: ADD 0000163a: PUSH2 0x1624 0000163d: JUMP 0000163e: JUMPDEST 0000163f: POP 00001640: PUSH1 0x00 00001642: SWAP3 00001643: ADD 00001644: SWAP2 00001645: DUP3 00001646: MSTORE 00001647: POP 00001648: SWAP2 00001649: SWAP1 0000164a: POP 0000164b: JUMP 0000164c: JUMPDEST 0000164d: PUSH1 0x00 0000164f: PUSH1 0x20 00001651: DUP3 00001652: DUP5 00001653: SUB 00001654: SLT 00001655: ISZERO 00001656: PUSH2 0x165e 00001659: JUMPI 0000165a: PUSH1 0x00 0000165c: DUP1 0000165d: REVERT 0000165e: JUMPDEST 0000165f: POP 00001660: MLOAD 00001661: SWAP2 00001662: SWAP1 00001663: POP 00001664: JUMP 00001665: JUMPDEST 00001666: PUSH1 0x00 00001668: PUSH1 0x20 0000166a: DUP3 0000166b: DUP5 0000166c: SUB 0000166d: SLT 0000166e: ISZERO 0000166f: PUSH2 0x1677 00001672: JUMPI 00001673: PUSH1 0x00 00001675: DUP1 00001676: REVERT 00001677: JUMPDEST 00001678: DUP2 00001679: MLOAD 0000167a: PUSH2 0x1116 0000167d: DUP2 0000167e: PUSH2 0x111d 00001681: JUMP 00001682: JUMPDEST 00001683: PUSH1 0x00 00001685: DUP1 00001686: DUP4 00001687: CALLDATALOAD 00001688: PUSH1 0x1e 0000168a: NOT 0000168b: DUP5 0000168c: CALLDATASIZE 0000168d: SUB 0000168e: ADD 0000168f: DUP2 00001690: SLT 00001691: PUSH2 0x1699 00001694: JUMPI 00001695: PUSH1 0x00 00001697: DUP1 00001698: REVERT 00001699: JUMPDEST 0000169a: DUP4 0000169b: ADD 0000169c: DUP1 0000169d: CALLDATALOAD 0000169e: SWAP2 0000169f: POP 000016a0: PUSH8 0xffffffffffffffff 000016a9: DUP3 000016aa: GT 000016ab: ISZERO 000016ac: PUSH2 0x16b4 000016af: JUMPI 000016b0: PUSH1 0x00 000016b2: DUP1 000016b3: REVERT 000016b4: JUMPDEST 000016b5: PUSH1 0x20 000016b7: ADD 000016b8: SWAP2 000016b9: POP 000016ba: CALLDATASIZE 000016bb: DUP2 000016bc: SWAP1 000016bd: SUB 000016be: DUP3 000016bf: SGT 000016c0: ISZERO 000016c1: PUSH2 0x11a6 000016c4: JUMPI 000016c5: PUSH1 0x00 000016c7: DUP1 000016c8: REVERT 000016c9: JUMPDEST 000016ca: DUP2 000016cb: DUP4 000016cc: DUP3 000016cd: CALLDATACOPY 000016ce: PUSH1 0x00 000016d0: SWAP2 000016d1: ADD 000016d2: SWAP1 000016d3: DUP2 000016d4: MSTORE 000016d5: SWAP2 000016d6: SWAP1 000016d7: POP 000016d8: JUMP 000016d9: JUMPDEST 000016da: DUP2 000016db: DUP2 000016dc: SUB 000016dd: DUP2 000016de: DUP2 000016df: GT 000016e0: ISZERO 000016e1: PUSH2 0x16fa 000016e4: JUMPI 000016e5: PUSH4 0x4e487b71 000016ea: PUSH1 0xe0 000016ec: SHL 000016ed: PUSH1 0x00 000016ef: MSTORE 000016f0: PUSH1 0x11 000016f2: PUSH1 0x04 000016f4: MSTORE 000016f5: PUSH1 0x24 000016f7: PUSH1 0x00 000016f9: REVERT 000016fa: JUMPDEST 000016fb: SWAP3 000016fc: SWAP2 000016fd: POP 000016fe: POP 000016ff: JUMP 00001700: INVALID 00001701: LOG2 00001702: PUSH5 0x6970667358 00001708: UNKNOWN(0x22) 00001709: SLT 0000170a: KECCAK256 0000170b: SWAP10 0000170c: CALLCODE 0000170d: PUSH5 0x00b19fe201 00001713: MULMOD 00001714: EXTCODECOPY 00001715: EXTCODESIZE 00001716: UNKNOWN(0xE4) 00001717: SWAP7 00001718: UNKNOWN(0xBD) 00001719: UNKNOWN(0xD2) 0000171a: DUP7 0000171b: PUSH32
| 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": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfee81cf4",
"selector": "0xfee81cf4",
"calldata_variants": [
"0xfee81cf4",
"0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe339d9f1",
"selector": "0xe339d9f1",
"calldata_variants": [
"0xe339d9f1",
"0xe339d9f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04e283e",
"selector": "0xf04e283e",
"calldata_variants": [
"0xf04e283e",
"0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0b9e5ba",
"selector": "0xf0b9e5ba",
"calldata_variants": [
"0xf0b9e5ba",
"0xf0b9e5ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb00b1e50",
"selector": "0xb00b1e50",
"calldata_variants": [
"0xb00b1e50",
"0xb00b1e500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4252,
"type": "msg_sender_eq_storage"
},
{
"pc": 2016,
"type": "tx_origin_used"
},
{
"pc": 4096,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x03798af36af0b39c7d6a8eb3ff88596c528efb53d1731a6422f8176d2535c00e
call_targets:
0x000000000000fea5f4b241f9e77b4d43b76798a9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03798af36af0b39c7d6a8eb3ff88596c528efb53d1731a6422f8176d2535c00e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000000000000fea5f4b241f9e77b4d43b76798a9"
],
"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": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfee81cf4",
"selector": "0xfee81cf4",
"calldata_variants": [
"0xfee81cf4",
"0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe339d9f1",
"selector": "0xe339d9f1",
"calldata_variants": [
"0xe339d9f1",
"0xe339d9f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04e283e",
"selector": "0xf04e283e",
"calldata_variants": [
"0xf04e283e",
"0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0b9e5ba",
"selector": "0xf0b9e5ba",
"calldata_variants": [
"0xf0b9e5ba",
"0xf0b9e5ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb00b1e50",
"selector": "0xb00b1e50",
"calldata_variants": [
"0xb00b1e50",
"0xb00b1e500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 4252,
"type": "msg_sender_eq_storage"
},
{
"pc": 2016,
"type": "tx_origin_used"
},
{
"pc": 4096,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x03798af36af0b39c7d6a8eb3ff88596c528efb53d1731a6422f8176d2535c00e
call_targets:
0x000000000000fea5f4b241f9e77b4d43b76798a9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03798af36af0b39c7d6a8eb3ff88596c528efb53d1731a6422f8176d2535c00e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000000000000fea5f4b241f9e77b4d43b76798a9"
],
"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": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfee81cf4",
"selector": "0xfee81cf4",
"calldata_variants": [
"0xfee81cf4",
"0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe339d9f1",
"selector": "0xe339d9f1",
"calldata_variants": [
"0xe339d9f1",
"0xe339d9f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04e283e",
"selector": "0xf04e283e",
"calldata_variants": [
"0xf04e283e",
"0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0b9e5ba",
"selector": "0xf0b9e5ba",
"calldata_variants": [
"0xf0b9e5ba",
"0xf0b9e5ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb00b1e50",
"selector": "0xb00b1e50",
"calldata_variants": [
"0xb00b1e50",
"0xb00b1e500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 4252,
"type": "msg_sender_eq_storage"
},
{
"pc": 2016,
"type": "tx_origin_used"
},
{
"pc": 4096,
"type": "tx_origin_used"
}
]
}
|