019b477e-b5b2-714e-942f-e2c7c034104b
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 |
|---|---|---|---|---|
| 22977 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22978 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66982 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66983 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66984 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66985 | 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 0x0110 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x8c53f61d 00000036: GT 00000037: PUSH2 0x00a7 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0xb0efd826 00000041: GT 00000042: PUSH2 0x0076 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0xb0efd826 0000004c: EQ 0000004d: PUSH2 0x07f8 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xb3ab15fb 00000057: EQ 00000058: PUSH2 0x0873 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xd9caed12 00000062: EQ 00000063: PUSH2 0x08c4 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xf2fde38b 0000006d: EQ 0000006e: PUSH2 0x093f 00000071: JUMPI 00000072: PUSH2 0x0110 00000075: JUMP 00000076: JUMPDEST 00000077: DUP1 00000078: PUSH4 0x8c53f61d 0000007d: EQ 0000007e: PUSH2 0x05fa 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8da5cb5b 00000088: EQ 00000089: PUSH2 0x063e 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x9f8225c3 00000093: EQ 00000094: PUSH2 0x0695 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa1e75069 0000009e: EQ 0000009f: PUSH2 0x07a7 000000a2: JUMPI 000000a3: PUSH2 0x0110 000000a6: JUMP 000000a7: JUMPDEST 000000a8: DUP1 000000a9: PUSH4 0x4782f779 000000ae: GT 000000af: PUSH2 0x00e3 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x4782f779 000000b9: EQ 000000ba: PUSH2 0x043d 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x4ec109f4 000000c4: EQ 000000c5: PUSH2 0x0498 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x54fd4d50 000000cf: EQ 000000d0: PUSH2 0x0513 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x570ca735 000000da: EQ 000000db: PUSH2 0x05a3 000000de: JUMPI 000000df: PUSH2 0x0110 000000e2: JUMP 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x1626ba7e 000000ea: EQ 000000eb: PUSH2 0x0112 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x2fdcfbd2 000000f5: EQ 000000f6: PUSH2 0x01f8 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x30db4580 00000100: EQ 00000101: PUSH2 0x0273 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x46920bad 0000010b: EQ 0000010c: PUSH2 0x0358 0000010f: JUMPI 00000110: JUMPDEST 00000111: STOP 00000112: JUMPDEST 00000113: CALLVALUE 00000114: DUP1 00000115: ISZERO 00000116: PUSH2 0x011e 00000119: JUMPI 0000011a: PUSH1 0x00 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: POP 00000120: PUSH2 0x01e2 00000123: PUSH1 0x04 00000125: DUP1 00000126: CALLDATASIZE 00000127: SUB 00000128: PUSH1 0x40 0000012a: DUP2 0000012b: LT 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: DUP2 00000137: ADD 00000138: SWAP1 00000139: DUP1 0000013a: DUP1 0000013b: CALLDATALOAD 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP1 00000141: SWAP3 00000142: SWAP2 00000143: SWAP1 00000144: DUP1 00000145: CALLDATALOAD 00000146: SWAP1 00000147: PUSH1 0x20 00000149: ADD 0000014a: SWAP1 0000014b: PUSH5 0x0100000000 00000151: DUP2 00000152: GT 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: DUP3 0000015e: ADD 0000015f: DUP4 00000160: PUSH1 0x20 00000162: DUP3 00000163: ADD 00000164: GT 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: DUP1 00000170: CALLDATALOAD 00000171: SWAP1 00000172: PUSH1 0x20 00000174: ADD 00000175: SWAP2 00000176: DUP5 00000177: PUSH1 0x01 00000179: DUP4 0000017a: MUL 0000017b: DUP5 0000017c: ADD 0000017d: GT 0000017e: PUSH5 0x0100000000 00000184: DUP4 00000185: GT 00000186: OR 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: SWAP2 00000192: SWAP1 00000193: DUP1 00000194: DUP1 00000195: PUSH1 0x1f 00000197: ADD 00000198: PUSH1 0x20 0000019a: DUP1 0000019b: SWAP2 0000019c: DIV 0000019d: MUL 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: SWAP1 000001a5: DUP2 000001a6: ADD 000001a7: PUSH1 0x40 000001a9: MSTORE 000001aa: DUP1 000001ab: SWAP4 000001ac: SWAP3 000001ad: SWAP2 000001ae: SWAP1 000001af: DUP2 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: DUP4 000001b6: DUP4 000001b7: DUP1 000001b8: DUP3 000001b9: DUP5 000001ba: CALLDATACOPY 000001bb: PUSH1 0x00 000001bd: DUP2 000001be: DUP5 000001bf: ADD 000001c0: MSTORE 000001c1: PUSH1 0x1f 000001c3: NOT 000001c4: PUSH1 0x1f 000001c6: DUP3 000001c7: ADD 000001c8: AND 000001c9: SWAP1 000001ca: POP 000001cb: DUP1 000001cc: DUP4 000001cd: ADD 000001ce: SWAP3 000001cf: POP 000001d0: POP 000001d1: POP 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: SWAP2 000001d7: SWAP3 000001d8: SWAP2 000001d9: SWAP3 000001da: SWAP1 000001db: POP 000001dc: POP 000001dd: POP 000001de: PUSH2 0x0990 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: MLOAD 000001e6: DUP1 000001e7: DUP3 000001e8: DUP2 000001e9: MSTORE 000001ea: PUSH1 0x20 000001ec: ADD 000001ed: SWAP2 000001ee: POP 000001ef: POP 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: SWAP2 000001f5: SUB 000001f6: SWAP1 000001f7: RETURN 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x0271 00000209: PUSH1 0x04 0000020b: DUP1 0000020c: CALLDATASIZE 0000020d: SUB 0000020e: PUSH1 0x60 00000210: DUP2 00000211: LT 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: DUP2 0000021d: ADD 0000021e: SWAP1 0000021f: DUP1 00000220: DUP1 00000221: CALLDATALOAD 00000222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000237: AND 00000238: SWAP1 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP1 0000023d: SWAP3 0000023e: SWAP2 0000023f: SWAP1 00000240: DUP1 00000241: CALLDATALOAD 00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000257: AND 00000258: SWAP1 00000259: PUSH1 0x20 0000025b: ADD 0000025c: SWAP1 0000025d: SWAP3 0000025e: SWAP2 0000025f: SWAP1 00000260: DUP1 00000261: CALLDATALOAD 00000262: SWAP1 00000263: PUSH1 0x20 00000265: ADD 00000266: SWAP1 00000267: SWAP3 00000268: SWAP2 00000269: SWAP1 0000026a: POP 0000026b: POP 0000026c: POP 0000026d: PUSH2 0x0b28 00000270: JUMP 00000271: JUMPDEST 00000272: STOP 00000273: JUMPDEST 00000274: CALLVALUE 00000275: DUP1 00000276: ISZERO 00000277: PUSH2 0x027f 0000027a: JUMPI 0000027b: PUSH1 0x00 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: PUSH2 0x0356 00000284: PUSH1 0x04 00000286: DUP1 00000287: CALLDATASIZE 00000288: SUB 00000289: PUSH1 0x40 0000028b: DUP2 0000028c: LT 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: DUP2 00000298: ADD 00000299: SWAP1 0000029a: DUP1 0000029b: DUP1 0000029c: CALLDATALOAD 0000029d: SWAP1 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP1 000002a2: PUSH5 0x0100000000 000002a8: DUP2 000002a9: GT 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: DUP3 000002b5: ADD 000002b6: DUP4 000002b7: PUSH1 0x20 000002b9: DUP3 000002ba: ADD 000002bb: GT 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: DUP1 000002c7: CALLDATALOAD 000002c8: SWAP1 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP2 000002cd: DUP5 000002ce: PUSH1 0x20 000002d0: DUP4 000002d1: MUL 000002d2: DUP5 000002d3: ADD 000002d4: GT 000002d5: PUSH5 0x0100000000 000002db: DUP4 000002dc: GT 000002dd: OR 000002de: ISZERO 000002df: PUSH2 0x02e7 000002e2: JUMPI 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: REVERT 000002e7: JUMPDEST 000002e8: SWAP2 000002e9: SWAP1 000002ea: DUP1 000002eb: DUP1 000002ec: PUSH1 0x20 000002ee: MUL 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: SWAP1 000002f6: DUP2 000002f7: ADD 000002f8: PUSH1 0x40 000002fa: MSTORE 000002fb: DUP1 000002fc: SWAP4 000002fd: SWAP3 000002fe: SWAP2 000002ff: SWAP1 00000300: DUP2 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x20 00000305: ADD 00000306: DUP4 00000307: DUP4 00000308: PUSH1 0x20 0000030a: MUL 0000030b: DUP1 0000030c: DUP3 0000030d: DUP5 0000030e: CALLDATACOPY 0000030f: PUSH1 0x00 00000311: DUP2 00000312: DUP5 00000313: ADD 00000314: MSTORE 00000315: PUSH1 0x1f 00000317: NOT 00000318: PUSH1 0x1f 0000031a: DUP3 0000031b: ADD 0000031c: AND 0000031d: SWAP1 0000031e: POP 0000031f: DUP1 00000320: DUP4 00000321: ADD 00000322: SWAP3 00000323: POP 00000324: POP 00000325: POP 00000326: POP 00000327: POP 00000328: POP 00000329: POP 0000032a: SWAP2 0000032b: SWAP3 0000032c: SWAP2 0000032d: SWAP3 0000032e: SWAP1 0000032f: DUP1 00000330: CALLDATALOAD 00000331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000346: AND 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP1 0000034c: SWAP3 0000034d: SWAP2 0000034e: SWAP1 0000034f: POP 00000350: POP 00000351: POP 00000352: PUSH2 0x0bfc 00000355: JUMP 00000356: JUMPDEST 00000357: STOP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: PUSH2 0x043b 00000369: PUSH1 0x04 0000036b: DUP1 0000036c: CALLDATASIZE 0000036d: SUB 0000036e: PUSH1 0x40 00000370: DUP2 00000371: LT 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: DUP2 0000037d: ADD 0000037e: SWAP1 0000037f: DUP1 00000380: DUP1 00000381: CALLDATALOAD 00000382: SWAP1 00000383: PUSH1 0x20 00000385: ADD 00000386: SWAP1 00000387: PUSH5 0x0100000000 0000038d: DUP2 0000038e: GT 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: DUP3 0000039a: ADD 0000039b: DUP4 0000039c: PUSH1 0x20 0000039e: DUP3 0000039f: ADD 000003a0: GT 000003a1: ISZERO 000003a2: PUSH2 0x03aa 000003a5: JUMPI 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: DUP1 000003ac: CALLDATALOAD 000003ad: SWAP1 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP2 000003b2: DUP5 000003b3: PUSH1 0x20 000003b5: DUP4 000003b6: MUL 000003b7: DUP5 000003b8: ADD 000003b9: GT 000003ba: PUSH5 0x0100000000 000003c0: DUP4 000003c1: GT 000003c2: OR 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: SWAP2 000003ce: SWAP1 000003cf: DUP1 000003d0: DUP1 000003d1: PUSH1 0x20 000003d3: MUL 000003d4: PUSH1 0x20 000003d6: ADD 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: SWAP1 000003db: DUP2 000003dc: ADD 000003dd: PUSH1 0x40 000003df: MSTORE 000003e0: DUP1 000003e1: SWAP4 000003e2: SWAP3 000003e3: SWAP2 000003e4: SWAP1 000003e5: DUP2 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: DUP4 000003ec: DUP4 000003ed: PUSH1 0x20 000003ef: MUL 000003f0: DUP1 000003f1: DUP3 000003f2: DUP5 000003f3: CALLDATACOPY 000003f4: PUSH1 0x00 000003f6: DUP2 000003f7: DUP5 000003f8: ADD 000003f9: MSTORE 000003fa: PUSH1 0x1f 000003fc: NOT 000003fd: PUSH1 0x1f 000003ff: DUP3 00000400: ADD 00000401: AND 00000402: SWAP1 00000403: POP 00000404: DUP1 00000405: DUP4 00000406: ADD 00000407: SWAP3 00000408: POP 00000409: POP 0000040a: POP 0000040b: POP 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: SWAP2 00000410: SWAP3 00000411: SWAP2 00000412: SWAP3 00000413: SWAP1 00000414: DUP1 00000415: CALLDATALOAD 00000416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042b: AND 0000042c: SWAP1 0000042d: PUSH1 0x20 0000042f: ADD 00000430: SWAP1 00000431: SWAP3 00000432: SWAP2 00000433: SWAP1 00000434: POP 00000435: POP 00000436: POP 00000437: PUSH2 0x0d11 0000043a: JUMP 0000043b: JUMPDEST 0000043c: STOP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: DUP1 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: POP 0000044b: PUSH2 0x0496 0000044e: PUSH1 0x04 00000450: DUP1 00000451: CALLDATASIZE 00000452: SUB 00000453: PUSH1 0x40 00000455: DUP2 00000456: LT 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: DUP2 00000462: ADD 00000463: SWAP1 00000464: DUP1 00000465: DUP1 00000466: CALLDATALOAD 00000467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047c: AND 0000047d: SWAP1 0000047e: PUSH1 0x20 00000480: ADD 00000481: SWAP1 00000482: SWAP3 00000483: SWAP2 00000484: SWAP1 00000485: DUP1 00000486: CALLDATALOAD 00000487: SWAP1 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP1 0000048c: SWAP3 0000048d: SWAP2 0000048e: SWAP1 0000048f: POP 00000490: POP 00000491: POP 00000492: PUSH2 0x0e64 00000495: JUMP 00000496: JUMPDEST 00000497: STOP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a4 0000049f: JUMPI 000004a0: PUSH1 0x00 000004a2: DUP1 000004a3: REVERT 000004a4: JUMPDEST 000004a5: POP 000004a6: PUSH2 0x0511 000004a9: PUSH1 0x04 000004ab: DUP1 000004ac: CALLDATASIZE 000004ad: SUB 000004ae: PUSH1 0x60 000004b0: DUP2 000004b1: LT 000004b2: ISZERO 000004b3: PUSH2 0x04bb 000004b6: JUMPI 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: REVERT 000004bb: JUMPDEST 000004bc: DUP2 000004bd: ADD 000004be: SWAP1 000004bf: DUP1 000004c0: DUP1 000004c1: CALLDATALOAD 000004c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d7: AND 000004d8: SWAP1 000004d9: PUSH1 0x20 000004db: ADD 000004dc: SWAP1 000004dd: SWAP3 000004de: SWAP2 000004df: SWAP1 000004e0: DUP1 000004e1: CALLDATALOAD 000004e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f7: AND 000004f8: SWAP1 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: SWAP1 000004fd: SWAP3 000004fe: SWAP2 000004ff: SWAP1 00000500: DUP1 00000501: CALLDATALOAD 00000502: SWAP1 00000503: PUSH1 0x20 00000505: ADD 00000506: SWAP1 00000507: SWAP3 00000508: SWAP2 00000509: SWAP1 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: PUSH2 0x0f72 00000510: JUMP 00000511: JUMPDEST 00000512: STOP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x0528 00000524: PUSH2 0x1046 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: DUP1 0000052d: DUP1 0000052e: PUSH1 0x20 00000530: ADD 00000531: DUP3 00000532: DUP2 00000533: SUB 00000534: DUP3 00000535: MSTORE 00000536: DUP4 00000537: DUP2 00000538: DUP2 00000539: MLOAD 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: SWAP2 00000540: POP 00000541: DUP1 00000542: MLOAD 00000543: SWAP1 00000544: PUSH1 0x20 00000546: ADD 00000547: SWAP1 00000548: DUP1 00000549: DUP4 0000054a: DUP4 0000054b: PUSH1 0x00 0000054d: JUMPDEST 0000054e: DUP4 0000054f: DUP2 00000550: LT 00000551: ISZERO 00000552: PUSH2 0x0568 00000555: JUMPI 00000556: DUP1 00000557: DUP3 00000558: ADD 00000559: MLOAD 0000055a: DUP2 0000055b: DUP5 0000055c: ADD 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: DUP2 00000561: ADD 00000562: SWAP1 00000563: POP 00000564: PUSH2 0x054d 00000567: JUMP 00000568: JUMPDEST 00000569: POP 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: SWAP1 0000056e: POP 0000056f: SWAP1 00000570: DUP2 00000571: ADD 00000572: SWAP1 00000573: PUSH1 0x1f 00000575: AND 00000576: DUP1 00000577: ISZERO 00000578: PUSH2 0x0595 0000057b: JUMPI 0000057c: DUP1 0000057d: DUP3 0000057e: SUB 0000057f: DUP1 00000580: MLOAD 00000581: PUSH1 0x01 00000583: DUP4 00000584: PUSH1 0x20 00000586: SUB 00000587: PUSH2 0x0100 0000058a: EXP 0000058b: SUB 0000058c: NOT 0000058d: AND 0000058e: DUP2 0000058f: MSTORE 00000590: PUSH1 0x20 00000592: ADD 00000593: SWAP2 00000594: POP 00000595: JUMPDEST 00000596: POP 00000597: SWAP3 00000598: POP 00000599: POP 0000059a: POP 0000059b: PUSH1 0x40 0000059d: MLOAD 0000059e: DUP1 0000059f: SWAP2 000005a0: SUB 000005a1: SWAP1 000005a2: RETURN 000005a3: JUMPDEST 000005a4: CALLVALUE 000005a5: DUP1 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: PUSH2 0x05b8 000005b4: PUSH2 0x10e4 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH1 0x40 000005bb: MLOAD 000005bc: DUP1 000005bd: DUP3 000005be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d3: AND 000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e9: AND 000005ea: DUP2 000005eb: MSTORE 000005ec: PUSH1 0x20 000005ee: ADD 000005ef: SWAP2 000005f0: POP 000005f1: POP 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: DUP1 000005f6: SWAP2 000005f7: SUB 000005f8: SWAP1 000005f9: RETURN 000005fa: JUMPDEST 000005fb: PUSH2 0x063c 000005fe: PUSH1 0x04 00000600: DUP1 00000601: CALLDATASIZE 00000602: SUB 00000603: PUSH1 0x20 00000605: DUP2 00000606: LT 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: DUP2 00000612: ADD 00000613: SWAP1 00000614: DUP1 00000615: DUP1 00000616: CALLDATALOAD 00000617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062c: AND 0000062d: SWAP1 0000062e: PUSH1 0x20 00000630: ADD 00000631: SWAP1 00000632: SWAP3 00000633: SWAP2 00000634: SWAP1 00000635: POP 00000636: POP 00000637: POP 00000638: PUSH2 0x110a 0000063b: JUMP 0000063c: JUMPDEST 0000063d: STOP 0000063e: JUMPDEST 0000063f: CALLVALUE 00000640: DUP1 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: POP 0000064c: PUSH2 0x0653 0000064f: PUSH2 0x11da 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH1 0x40 00000656: MLOAD 00000657: DUP1 00000658: DUP3 00000659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066e: AND 0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000684: AND 00000685: DUP2 00000686: MSTORE 00000687: PUSH1 0x20 00000689: ADD 0000068a: SWAP2 0000068b: POP 0000068c: POP 0000068d: PUSH1 0x40 0000068f: MLOAD 00000690: DUP1 00000691: SWAP2 00000692: SUB 00000693: SWAP1 00000694: RETURN 00000695: JUMPDEST 00000696: CALLVALUE 00000697: DUP1 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: POP 000006a3: PUSH2 0x0765 000006a6: PUSH1 0x04 000006a8: DUP1 000006a9: CALLDATASIZE 000006aa: SUB 000006ab: PUSH1 0x40 000006ad: DUP2 000006ae: LT 000006af: ISZERO 000006b0: PUSH2 0x06b8 000006b3: JUMPI 000006b4: PUSH1 0x00 000006b6: DUP1 000006b7: REVERT 000006b8: JUMPDEST 000006b9: DUP2 000006ba: ADD 000006bb: SWAP1 000006bc: DUP1 000006bd: DUP1 000006be: CALLDATALOAD 000006bf: SWAP1 000006c0: PUSH1 0x20 000006c2: ADD 000006c3: SWAP1 000006c4: SWAP3 000006c5: SWAP2 000006c6: SWAP1 000006c7: DUP1 000006c8: CALLDATALOAD 000006c9: SWAP1 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: SWAP1 000006ce: PUSH5 0x0100000000 000006d4: DUP2 000006d5: GT 000006d6: ISZERO 000006d7: PUSH2 0x06df 000006da: JUMPI 000006db: PUSH1 0x00 000006dd: DUP1 000006de: REVERT 000006df: JUMPDEST 000006e0: DUP3 000006e1: ADD 000006e2: DUP4 000006e3: PUSH1 0x20 000006e5: DUP3 000006e6: ADD 000006e7: GT 000006e8: ISZERO 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: DUP1 000006f3: CALLDATALOAD 000006f4: SWAP1 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: SWAP2 000006f9: DUP5 000006fa: PUSH1 0x01 000006fc: DUP4 000006fd: MUL 000006fe: DUP5 000006ff: ADD 00000700: GT 00000701: PUSH5 0x0100000000 00000707: DUP4 00000708: GT 00000709: OR 0000070a: ISZERO 0000070b: PUSH2 0x0713 0000070e: JUMPI 0000070f: PUSH1 0x00 00000711: DUP1 00000712: REVERT 00000713: JUMPDEST 00000714: SWAP2 00000715: SWAP1 00000716: DUP1 00000717: DUP1 00000718: PUSH1 0x1f 0000071a: ADD 0000071b: PUSH1 0x20 0000071d: DUP1 0000071e: SWAP2 0000071f: DIV 00000720: MUL 00000721: PUSH1 0x20 00000723: ADD 00000724: PUSH1 0x40 00000726: MLOAD 00000727: SWAP1 00000728: DUP2 00000729: ADD 0000072a: PUSH1 0x40 0000072c: MSTORE 0000072d: DUP1 0000072e: SWAP4 0000072f: SWAP3 00000730: SWAP2 00000731: SWAP1 00000732: DUP2 00000733: DUP2 00000734: MSTORE 00000735: PUSH1 0x20 00000737: ADD 00000738: DUP4 00000739: DUP4 0000073a: DUP1 0000073b: DUP3 0000073c: DUP5 0000073d: CALLDATACOPY 0000073e: PUSH1 0x00 00000740: DUP2 00000741: DUP5 00000742: ADD 00000743: MSTORE 00000744: PUSH1 0x1f 00000746: NOT 00000747: PUSH1 0x1f 00000749: DUP3 0000074a: ADD 0000074b: AND 0000074c: SWAP1 0000074d: POP 0000074e: DUP1 0000074f: DUP4 00000750: ADD 00000751: SWAP3 00000752: POP 00000753: POP 00000754: POP 00000755: POP 00000756: POP 00000757: POP 00000758: POP 00000759: SWAP2 0000075a: SWAP3 0000075b: SWAP2 0000075c: SWAP3 0000075d: SWAP1 0000075e: POP 0000075f: POP 00000760: POP 00000761: PUSH2 0x11ff 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x40 00000768: MLOAD 00000769: DUP1 0000076a: DUP3 0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000780: AND 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: SWAP2 0000079d: POP 0000079e: POP 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: DUP1 000007a3: SWAP2 000007a4: SUB 000007a5: SWAP1 000007a6: RETURN 000007a7: JUMPDEST 000007a8: CALLVALUE 000007a9: DUP1 000007aa: ISZERO 000007ab: PUSH2 0x07b3 000007ae: JUMPI 000007af: PUSH1 0x00 000007b1: DUP1 000007b2: REVERT 000007b3: JUMPDEST 000007b4: POP 000007b5: PUSH2 0x07f6 000007b8: PUSH1 0x04 000007ba: DUP1 000007bb: CALLDATASIZE 000007bc: SUB 000007bd: PUSH1 0x20 000007bf: DUP2 000007c0: LT 000007c1: ISZERO 000007c2: PUSH2 0x07ca 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: REVERT 000007ca: JUMPDEST 000007cb: DUP2 000007cc: ADD 000007cd: SWAP1 000007ce: DUP1 000007cf: DUP1 000007d0: CALLDATALOAD 000007d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e6: AND 000007e7: SWAP1 000007e8: PUSH1 0x20 000007ea: ADD 000007eb: SWAP1 000007ec: SWAP3 000007ed: SWAP2 000007ee: SWAP1 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: PUSH2 0x131c 000007f5: JUMP 000007f6: JUMPDEST 000007f7: STOP 000007f8: JUMPDEST 000007f9: CALLVALUE 000007fa: DUP1 000007fb: ISZERO 000007fc: PUSH2 0x0804 000007ff: JUMPI 00000800: PUSH1 0x00 00000802: DUP1 00000803: REVERT 00000804: JUMPDEST 00000805: POP 00000806: PUSH2 0x0871 00000809: PUSH1 0x04 0000080b: DUP1 0000080c: CALLDATASIZE 0000080d: SUB 0000080e: PUSH1 0x60 00000810: DUP2 00000811: LT 00000812: ISZERO 00000813: PUSH2 0x081b 00000816: JUMPI 00000817: PUSH1 0x00 00000819: DUP1 0000081a: REVERT 0000081b: JUMPDEST 0000081c: DUP2 0000081d: ADD 0000081e: SWAP1 0000081f: DUP1 00000820: DUP1 00000821: CALLDATALOAD 00000822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000837: AND 00000838: SWAP1 00000839: PUSH1 0x20 0000083b: ADD 0000083c: SWAP1 0000083d: SWAP3 0000083e: SWAP2 0000083f: SWAP1 00000840: DUP1 00000841: CALLDATALOAD 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: AND 00000858: SWAP1 00000859: PUSH1 0x20 0000085b: ADD 0000085c: SWAP1 0000085d: SWAP3 0000085e: SWAP2 0000085f: SWAP1 00000860: DUP1 00000861: CALLDATALOAD 00000862: SWAP1 00000863: PUSH1 0x20 00000865: ADD 00000866: SWAP1 00000867: SWAP3 00000868: SWAP2 00000869: SWAP1 0000086a: POP 0000086b: POP 0000086c: POP 0000086d: PUSH2 0x1423 00000870: JUMP 00000871: JUMPDEST 00000872: STOP 00000873: JUMPDEST 00000874: CALLVALUE 00000875: DUP1 00000876: ISZERO 00000877: PUSH2 0x087f 0000087a: JUMPI 0000087b: PUSH1 0x00 0000087d: DUP1 0000087e: REVERT 0000087f: JUMPDEST 00000880: POP 00000881: PUSH2 0x08c2 00000884: PUSH1 0x04 00000886: DUP1 00000887: CALLDATASIZE 00000888: SUB 00000889: PUSH1 0x20 0000088b: DUP2 0000088c: LT 0000088d: ISZERO 0000088e: PUSH2 0x0896 00000891: JUMPI 00000892: PUSH1 0x00 00000894: DUP1 00000895: REVERT 00000896: JUMPDEST 00000897: DUP2 00000898: ADD 00000899: SWAP1 0000089a: DUP1 0000089b: DUP1 0000089c: CALLDATALOAD 0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b2: AND 000008b3: SWAP1 000008b4: PUSH1 0x20 000008b6: ADD 000008b7: SWAP1 000008b8: SWAP3 000008b9: SWAP2 000008ba: SWAP1 000008bb: POP 000008bc: POP 000008bd: POP 000008be: PUSH2 0x153c 000008c1: JUMP 000008c2: JUMPDEST 000008c3: STOP 000008c4: JUMPDEST 000008c5: CALLVALUE 000008c6: DUP1 000008c7: ISZERO 000008c8: PUSH2 0x08d0 000008cb: JUMPI 000008cc: PUSH1 0x00 000008ce: DUP1 000008cf: REVERT 000008d0: JUMPDEST 000008d1: POP 000008d2: PUSH2 0x093d 000008d5: PUSH1 0x04 000008d7: DUP1 000008d8: CALLDATASIZE 000008d9: SUB 000008da: PUSH1 0x60 000008dc: DUP2 000008dd: LT 000008de: ISZERO 000008df: PUSH2 0x08e7 000008e2: JUMPI 000008e3: PUSH1 0x00 000008e5: DUP1 000008e6: REVERT 000008e7: JUMPDEST 000008e8: DUP2 000008e9: ADD 000008ea: SWAP1 000008eb: DUP1 000008ec: DUP1 000008ed: CALLDATALOAD 000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000903: AND 00000904: SWAP1 00000905: PUSH1 0x20 00000907: ADD 00000908: SWAP1 00000909: SWAP3 0000090a: SWAP2 0000090b: SWAP1 0000090c: DUP1 0000090d: CALLDATALOAD 0000090e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000923: AND 00000924: SWAP1 00000925: PUSH1 0x20 00000927: ADD 00000928: SWAP1 00000929: SWAP3 0000092a: SWAP2 0000092b: SWAP1 0000092c: DUP1 0000092d: CALLDATALOAD 0000092e: SWAP1 0000092f: PUSH1 0x20 00000931: ADD 00000932: SWAP1 00000933: SWAP3 00000934: SWAP2 00000935: SWAP1 00000936: POP 00000937: POP 00000938: POP 00000939: PUSH2 0x1642 0000093c: JUMP 0000093d: JUMPDEST 0000093e: STOP 0000093f: JUMPDEST 00000940: CALLVALUE 00000941: DUP1 00000942: ISZERO 00000943: PUSH2 0x094b 00000946: JUMPI 00000947: PUSH1 0x00 00000949: DUP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: POP 0000094d: PUSH2 0x098e 00000950: PUSH1 0x04 00000952: DUP1 00000953: CALLDATASIZE 00000954: SUB 00000955: PUSH1 0x20 00000957: DUP2 00000958: LT 00000959: ISZERO 0000095a: PUSH2 0x0962 0000095d: JUMPI 0000095e: PUSH1 0x00 00000960: DUP1 00000961: REVERT 00000962: JUMPDEST 00000963: DUP2 00000964: ADD 00000965: SWAP1 00000966: DUP1 00000967: DUP1 00000968: CALLDATALOAD 00000969: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097e: AND 0000097f: SWAP1 00000980: PUSH1 0x20 00000982: ADD 00000983: SWAP1 00000984: SWAP3 00000985: SWAP2 00000986: SWAP1 00000987: POP 00000988: POP 00000989: POP 0000098a: PUSH2 0x1716 0000098d: JUMP 0000098e: JUMPDEST 0000098f: STOP 00000990: JUMPDEST 00000991: PUSH1 0x00 00000993: PUSH2 0x099c 00000996: DUP4 00000997: DUP4 00000998: PUSH2 0x11ff 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b2: AND 000009b3: PUSH1 0x03 000009b5: PUSH1 0x00 000009b7: SWAP1 000009b8: SLOAD 000009b9: SWAP1 000009ba: PUSH2 0x0100 000009bd: EXP 000009be: SWAP1 000009bf: DIV 000009c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d5: AND 000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009eb: AND 000009ec: PUSH4 0x642f2eaf 000009f1: DUP6 000009f2: PUSH1 0x40 000009f4: MLOAD 000009f5: DUP3 000009f6: PUSH4 0xffffffff 000009fb: AND 000009fc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a1a: MUL 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x04 00000a1f: ADD 00000a20: DUP1 00000a21: DUP3 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: ADD 00000a27: SWAP2 00000a28: POP 00000a29: POP 00000a2a: PUSH1 0x20 00000a2c: PUSH1 0x40 00000a2e: MLOAD 00000a2f: DUP1 00000a30: DUP4 00000a31: SUB 00000a32: DUP2 00000a33: PUSH1 0x00 00000a35: DUP8 00000a36: DUP1 00000a37: EXTCODESIZE 00000a38: ISZERO 00000a39: DUP1 00000a3a: ISZERO 00000a3b: PUSH2 0x0a43 00000a3e: JUMPI 00000a3f: PUSH1 0x00 00000a41: DUP1 00000a42: REVERT 00000a43: JUMPDEST 00000a44: POP 00000a45: GAS 00000a46: CALL 00000a47: ISZERO 00000a48: DUP1 00000a49: ISZERO 00000a4a: PUSH2 0x0a57 00000a4d: JUMPI 00000a4e: RETURNDATASIZE 00000a4f: PUSH1 0x00 00000a51: DUP1 00000a52: RETURNDATACOPY 00000a53: RETURNDATASIZE 00000a54: PUSH1 0x00 00000a56: REVERT 00000a57: JUMPDEST 00000a58: POP 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: PUSH1 0x40 00000a5e: MLOAD 00000a5f: RETURNDATASIZE 00000a60: PUSH1 0x20 00000a62: DUP2 00000a63: LT 00000a64: ISZERO 00000a65: PUSH2 0x0a6d 00000a68: JUMPI 00000a69: PUSH1 0x00 00000a6b: DUP1 00000a6c: REVERT 00000a6d: JUMPDEST 00000a6e: DUP2 00000a6f: ADD 00000a70: SWAP1 00000a71: DUP1 00000a72: DUP1 00000a73: MLOAD 00000a74: SWAP1 00000a75: PUSH1 0x20 00000a77: ADD 00000a78: SWAP1 00000a79: SWAP3 00000a7a: SWAP2 00000a7b: SWAP1 00000a7c: POP 00000a7d: POP 00000a7e: POP 00000a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a94: AND 00000a95: EQ 00000a96: PUSH2 0x0b07 00000a99: JUMPI 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x04 00000ac2: ADD 00000ac3: DUP1 00000ac4: DUP1 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: DUP3 00000ac9: DUP2 00000aca: SUB 00000acb: DUP3 00000acc: MSTORE 00000acd: PUSH1 0x11 00000acf: DUP2 00000ad0: MSTORE 00000ad1: PUSH1 0x20 00000ad3: ADD 00000ad4: DUP1 00000ad5: PUSH32 0x494e56414c49445f5349474e4154555245000000000000000000000000000000 00000af6: DUP2 00000af7: MSTORE 00000af8: POP 00000af9: PUSH1 0x20 00000afb: ADD 00000afc: SWAP2 00000afd: POP 00000afe: POP 00000aff: PUSH1 0x40 00000b01: MLOAD 00000b02: DUP1 00000b03: SWAP2 00000b04: SUB 00000b05: SWAP1 00000b06: REVERT 00000b07: JUMPDEST 00000b08: PUSH1 0x40 00000b0a: MLOAD 00000b0b: DUP1 00000b0c: DUP1 00000b0d: PUSH2 0x1ef7 00000b10: PUSH1 0x2d 00000b12: SWAP2 00000b13: CODECOPY 00000b14: PUSH1 0x2d 00000b16: ADD 00000b17: SWAP1 00000b18: POP 00000b19: PUSH1 0x40 00000b1b: MLOAD 00000b1c: DUP1 00000b1d: SWAP2 00000b1e: SUB 00000b1f: SWAP1 00000b20: KECCAK256 00000b21: SWAP1 00000b22: POP 00000b23: SWAP3 00000b24: SWAP2 00000b25: POP 00000b26: POP 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH1 0x03 00000b2b: PUSH1 0x00 00000b2d: SWAP1 00000b2e: SLOAD 00000b2f: SWAP1 00000b30: PUSH2 0x0100 00000b33: EXP 00000b34: SWAP1 00000b35: DIV 00000b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4b: AND 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: CALLER 00000b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b78: AND 00000b79: EQ 00000b7a: PUSH2 0x0beb 00000b7d: JUMPI 00000b7e: PUSH1 0x40 00000b80: MLOAD 00000b81: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x04 00000ba6: ADD 00000ba7: DUP1 00000ba8: DUP1 00000ba9: PUSH1 0x20 00000bab: ADD 00000bac: DUP3 00000bad: DUP2 00000bae: SUB 00000baf: DUP3 00000bb0: MSTORE 00000bb1: PUSH1 0x16 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x20 00000bb7: ADD 00000bb8: DUP1 00000bb9: PUSH32 0x4f4e4c595f544f4b454e4c4f4e5f45584348414e474500000000000000000000 00000bda: DUP2 00000bdb: MSTORE 00000bdc: POP 00000bdd: PUSH1 0x20 00000bdf: ADD 00000be0: SWAP2 00000be1: POP 00000be2: POP 00000be3: PUSH1 0x40 00000be5: MLOAD 00000be6: DUP1 00000be7: SWAP2 00000be8: SUB 00000be9: SWAP1 00000bea: REVERT 00000beb: JUMPDEST 00000bec: PUSH2 0x0bf7 00000bef: DUP4 00000bf0: ADDRESS 00000bf1: DUP5 00000bf2: DUP5 00000bf3: PUSH2 0x1850 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: POP 00000bf9: POP 00000bfa: POP 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x01 00000bff: PUSH1 0x00 00000c01: SWAP1 00000c02: SLOAD 00000c03: SWAP1 00000c04: PUSH2 0x0100 00000c07: EXP 00000c08: SWAP1 00000c09: DIV 00000c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1f: AND 00000c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c35: AND 00000c36: CALLER 00000c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4c: AND 00000c4d: EQ 00000c4e: PUSH2 0x0cbf 00000c51: JUMPI 00000c52: PUSH1 0x40 00000c54: MLOAD 00000c55: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x04 00000c7a: ADD 00000c7b: DUP1 00000c7c: DUP1 00000c7d: PUSH1 0x20 00000c7f: ADD 00000c80: DUP3 00000c81: DUP2 00000c82: SUB 00000c83: DUP3 00000c84: MSTORE 00000c85: PUSH1 0x16 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: ADD 00000c8c: DUP1 00000c8d: PUSH32 0x4f4e4c595f434f4e54524143545f4f50455241544f5200000000000000000000 00000cae: DUP2 00000caf: MSTORE 00000cb0: POP 00000cb1: PUSH1 0x20 00000cb3: ADD 00000cb4: SWAP2 00000cb5: POP 00000cb6: POP 00000cb7: PUSH1 0x40 00000cb9: MLOAD 00000cba: DUP1 00000cbb: SWAP2 00000cbc: SUB 00000cbd: SWAP1 00000cbe: REVERT 00000cbf: JUMPDEST 00000cc0: PUSH1 0x00 00000cc2: DUP1 00000cc3: SWAP1 00000cc4: POP 00000cc5: JUMPDEST 00000cc6: DUP3 00000cc7: MLOAD 00000cc8: DUP2 00000cc9: LT 00000cca: ISZERO 00000ccb: PUSH2 0x0d0c 00000cce: JUMPI 00000ccf: PUSH1 0x00 00000cd1: DUP4 00000cd2: DUP3 00000cd3: DUP2 00000cd4: MLOAD 00000cd5: DUP2 00000cd6: LT 00000cd7: PUSH2 0x0cdc 00000cda: JUMPI 00000cdb: INVALID 00000cdc: JUMPDEST 00000cdd: PUSH1 0x20 00000cdf: MUL 00000ce0: PUSH1 0x20 00000ce2: ADD 00000ce3: ADD 00000ce4: MLOAD 00000ce5: SWAP1 00000ce6: POP 00000ce7: PUSH2 0x0cf2 00000cea: DUP2 00000ceb: DUP5 00000cec: PUSH1 0x00 00000cee: PUSH2 0x19e8 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: PUSH2 0x0cfe 00000cf6: DUP2 00000cf7: ADDRESS 00000cf8: PUSH1 0x00 00000cfa: PUSH2 0x19e8 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: POP 00000d00: DUP1 00000d01: DUP1 00000d02: PUSH1 0x01 00000d04: ADD 00000d05: SWAP2 00000d06: POP 00000d07: POP 00000d08: PUSH2 0x0cc5 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: POP 00000d0e: POP 00000d0f: POP 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH1 0x01 00000d14: PUSH1 0x00 00000d16: SWAP1 00000d17: SLOAD 00000d18: SWAP1 00000d19: PUSH2 0x0100 00000d1c: EXP 00000d1d: SWAP1 00000d1e: DIV 00000d1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d34: AND 00000d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4a: AND 00000d4b: CALLER 00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d61: AND 00000d62: EQ 00000d63: PUSH2 0x0dd4 00000d66: JUMPI 00000d67: PUSH1 0x40 00000d69: MLOAD 00000d6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d8b: DUP2 00000d8c: MSTORE 00000d8d: PUSH1 0x04 00000d8f: ADD 00000d90: DUP1 00000d91: DUP1 00000d92: PUSH1 0x20 00000d94: ADD 00000d95: DUP3 00000d96: DUP2 00000d97: SUB 00000d98: DUP3 00000d99: MSTORE 00000d9a: PUSH1 0x16 00000d9c: DUP2 00000d9d: MSTORE 00000d9e: PUSH1 0x20 00000da0: ADD 00000da1: DUP1 00000da2: PUSH32 0x4f4e4c595f434f4e54524143545f4f50455241544f5200000000000000000000 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: POP 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: SWAP2 00000dca: POP 00000dcb: POP 00000dcc: PUSH1 0x40 00000dce: MLOAD 00000dcf: DUP1 00000dd0: SWAP2 00000dd1: SUB 00000dd2: SWAP1 00000dd3: REVERT 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: DUP1 00000dd8: SWAP1 00000dd9: POP 00000dda: JUMPDEST 00000ddb: DUP3 00000ddc: MLOAD 00000ddd: DUP2 00000dde: LT 00000ddf: ISZERO 00000de0: PUSH2 0x0e5f 00000de3: JUMPI 00000de4: PUSH1 0x00 00000de6: DUP4 00000de7: DUP3 00000de8: DUP2 00000de9: MLOAD 00000dea: DUP2 00000deb: LT 00000dec: PUSH2 0x0df1 00000def: JUMPI 00000df0: INVALID 00000df1: JUMPDEST 00000df2: PUSH1 0x20 00000df4: MUL 00000df5: PUSH1 0x20 00000df7: ADD 00000df8: ADD 00000df9: MLOAD 00000dfa: SWAP1 00000dfb: POP 00000dfc: PUSH2 0x0e26 00000dff: DUP2 00000e00: DUP5 00000e01: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e22: PUSH2 0x19e8 00000e25: JUMP 00000e26: JUMPDEST 00000e27: PUSH2 0x0e51 00000e2a: DUP2 00000e2b: ADDRESS 00000e2c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e4d: PUSH2 0x19e8 00000e50: JUMP 00000e51: JUMPDEST 00000e52: POP 00000e53: DUP1 00000e54: DUP1 00000e55: PUSH1 0x01 00000e57: ADD 00000e58: SWAP2 00000e59: POP 00000e5a: POP 00000e5b: PUSH2 0x0dda 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: POP 00000e61: POP 00000e62: POP 00000e63: JUMP 00000e64: JUMPDEST 00000e65: PUSH1 0x01 00000e67: PUSH1 0x00 00000e69: SWAP1 00000e6a: SLOAD 00000e6b: SWAP1 00000e6c: PUSH2 0x0100 00000e6f: EXP 00000e70: SWAP1 00000e71: DIV 00000e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e87: AND 00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9d: AND 00000e9e: CALLER 00000e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb4: AND 00000eb5: EQ 00000eb6: PUSH2 0x0f27 00000eb9: JUMPI 00000eba: PUSH1 0x40 00000ebc: MLOAD 00000ebd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ede: DUP2 00000edf: MSTORE 00000ee0: PUSH1 0x04 00000ee2: ADD 00000ee3: DUP1 00000ee4: DUP1 00000ee5: PUSH1 0x20 00000ee7: ADD 00000ee8: DUP3 00000ee9: DUP2 00000eea: SUB 00000eeb: DUP3 00000eec: MSTORE 00000eed: PUSH1 0x16 00000eef: DUP2 00000ef0: MSTORE 00000ef1: PUSH1 0x20 00000ef3: ADD 00000ef4: DUP1 00000ef5: PUSH32 0x4f4e4c595f434f4e54524143545f4f50455241544f5200000000000000000000 00000f16: DUP2 00000f17: MSTORE 00000f18: POP 00000f19: PUSH1 0x20 00000f1b: ADD 00000f1c: SWAP2 00000f1d: POP 00000f1e: POP 00000f1f: PUSH1 0x40 00000f21: MLOAD 00000f22: DUP1 00000f23: SWAP2 00000f24: SUB 00000f25: SWAP1 00000f26: REVERT 00000f27: JUMPDEST 00000f28: DUP2 00000f29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3e: AND 00000f3f: PUSH2 0x08fc 00000f42: DUP3 00000f43: SWAP1 00000f44: DUP2 00000f45: ISZERO 00000f46: MUL 00000f47: SWAP1 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: PUSH1 0x00 00000f4d: PUSH1 0x40 00000f4f: MLOAD 00000f50: DUP1 00000f51: DUP4 00000f52: SUB 00000f53: DUP2 00000f54: DUP6 00000f55: DUP9 00000f56: DUP9 00000f57: CALL 00000f58: SWAP4 00000f59: POP 00000f5a: POP 00000f5b: POP 00000f5c: POP 00000f5d: ISZERO 00000f5e: DUP1 00000f5f: ISZERO 00000f60: PUSH2 0x0f6d 00000f63: JUMPI 00000f64: RETURNDATASIZE 00000f65: PUSH1 0x00 00000f67: DUP1 00000f68: RETURNDATACOPY 00000f69: RETURNDATASIZE 00000f6a: PUSH1 0x00 00000f6c: REVERT 00000f6d: JUMPDEST 00000f6e: POP 00000f6f: POP 00000f70: POP 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x03 00000f75: PUSH1 0x00 00000f77: SWAP1 00000f78: SLOAD 00000f79: SWAP1 00000f7a: PUSH2 0x0100 00000f7d: EXP 00000f7e: SWAP1 00000f7f: DIV 00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f95: AND 00000f96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fab: AND 00000fac: CALLER 00000fad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc2: AND 00000fc3: EQ 00000fc4: PUSH2 0x1035 00000fc7: JUMPI 00000fc8: PUSH1 0x40 00000fca: MLOAD 00000fcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH1 0x04 00000ff0: ADD 00000ff1: DUP1 00000ff2: DUP1 00000ff3: PUSH1 0x20 00000ff5: ADD 00000ff6: DUP3 00000ff7: DUP2 00000ff8: SUB 00000ff9: DUP3 00000ffa: MSTORE 00000ffb: PUSH1 0x16 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x20 00001001: ADD 00001002: DUP1 00001003: PUSH32 0x4f4e4c595f544f4b454e4c4f4e5f45584348414e474500000000000000000000 00001024: DUP2 00001025: MSTORE 00001026: POP 00001027: PUSH1 0x20 00001029: ADD 0000102a: SWAP2 0000102b: POP 0000102c: POP 0000102d: PUSH1 0x40 0000102f: MLOAD 00001030: DUP1 00001031: SWAP2 00001032: SUB 00001033: SWAP1 00001034: REVERT 00001035: JUMPDEST 00001036: PUSH2 0x1041 00001039: DUP4 0000103a: DUP4 0000103b: ADDRESS 0000103c: DUP5 0000103d: PUSH2 0x1850 00001040: JUMP 00001041: JUMPDEST 00001042: POP 00001043: POP 00001044: POP 00001045: JUMP 00001046: JUMPDEST 00001047: PUSH1 0x02 00001049: DUP1 0000104a: SLOAD 0000104b: PUSH1 0x01 0000104d: DUP2 0000104e: PUSH1 0x01 00001050: AND 00001051: ISZERO 00001052: PUSH2 0x0100 00001055: MUL 00001056: SUB 00001057: AND 00001058: PUSH1 0x02 0000105a: SWAP1 0000105b: DIV 0000105c: DUP1 0000105d: PUSH1 0x1f 0000105f: ADD 00001060: PUSH1 0x20 00001062: DUP1 00001063: SWAP2 00001064: DIV 00001065: MUL 00001066: PUSH1 0x20 00001068: ADD 00001069: PUSH1 0x40 0000106b: MLOAD 0000106c: SWAP1 0000106d: DUP2 0000106e: ADD 0000106f: PUSH1 0x40 00001071: MSTORE 00001072: DUP1 00001073: SWAP3 00001074: SWAP2 00001075: SWAP1 00001076: DUP2 00001077: DUP2 00001078: MSTORE 00001079: PUSH1 0x20 0000107b: ADD 0000107c: DUP3 0000107d: DUP1 0000107e: SLOAD 0000107f: PUSH1 0x01 00001081: DUP2 00001082: PUSH1 0x01 00001084: AND 00001085: ISZERO 00001086: PUSH2 0x0100 00001089: MUL 0000108a: SUB 0000108b: AND 0000108c: PUSH1 0x02 0000108e: SWAP1 0000108f: DIV 00001090: DUP1 00001091: ISZERO 00001092: PUSH2 0x10dc 00001095: JUMPI 00001096: DUP1 00001097: PUSH1 0x1f 00001099: LT 0000109a: PUSH2 0x10b1 0000109d: JUMPI 0000109e: PUSH2 0x0100 000010a1: DUP1 000010a2: DUP4 000010a3: SLOAD 000010a4: DIV 000010a5: MUL 000010a6: DUP4 000010a7: MSTORE 000010a8: SWAP2 000010a9: PUSH1 0x20 000010ab: ADD 000010ac: SWAP2 000010ad: PUSH2 0x10dc 000010b0: JUMP 000010b1: JUMPDEST 000010b2: DUP3 000010b3: ADD 000010b4: SWAP2 000010b5: SWAP1 000010b6: PUSH1 0x00 000010b8: MSTORE 000010b9: PUSH1 0x20 000010bb: PUSH1 0x00 000010bd: KECCAK256 000010be: SWAP1 000010bf: JUMPDEST 000010c0: DUP2 000010c1: SLOAD 000010c2: DUP2 000010c3: MSTORE 000010c4: SWAP1 000010c5: PUSH1 0x01 000010c7: ADD 000010c8: SWAP1 000010c9: PUSH1 0x20 000010cb: ADD 000010cc: DUP1 000010cd: DUP4 000010ce: GT 000010cf: PUSH2 0x10bf 000010d2: JUMPI 000010d3: DUP3 000010d4: SWAP1 000010d5: SUB 000010d6: PUSH1 0x1f 000010d8: AND 000010d9: DUP3 000010da: ADD 000010db: SWAP2 000010dc: JUMPDEST 000010dd: POP 000010de: POP 000010df: POP 000010e0: POP 000010e1: POP 000010e2: DUP2 000010e3: JUMP 000010e4: JUMPDEST 000010e5: PUSH1 0x01 000010e7: PUSH1 0x00 000010e9: SWAP1 000010ea: SLOAD 000010eb: SWAP1 000010ec: PUSH2 0x0100 000010ef: EXP 000010f0: SWAP1 000010f1: DIV 000010f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001107: AND 00001108: DUP2 00001109: JUMP 0000110a: JUMPDEST 0000110b: PUSH1 0x03 0000110d: PUSH1 0x00 0000110f: SWAP1 00001110: SLOAD 00001111: SWAP1 00001112: PUSH2 0x0100 00001115: EXP 00001116: SWAP1 00001117: DIV 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: AND 0000112e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001143: AND 00001144: CALLER 00001145: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115a: AND 0000115b: EQ 0000115c: PUSH2 0x11cd 0000115f: JUMPI 00001160: PUSH1 0x40 00001162: MLOAD 00001163: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x04 00001188: ADD 00001189: DUP1 0000118a: DUP1 0000118b: PUSH1 0x20 0000118d: ADD 0000118e: DUP3 0000118f: DUP2 00001190: SUB 00001191: DUP3 00001192: MSTORE 00001193: PUSH1 0x16 00001195: DUP2 00001196: MSTORE 00001197: PUSH1 0x20 00001199: ADD 0000119a: DUP1 0000119b: PUSH32 0x4f4e4c595f544f4b454e4c4f4e5f45584348414e474500000000000000000000 000011bc: DUP2 000011bd: MSTORE 000011be: POP 000011bf: PUSH1 0x20 000011c1: ADD 000011c2: SWAP2 000011c3: POP 000011c4: POP 000011c5: PUSH1 0x40 000011c7: MLOAD 000011c8: DUP1 000011c9: SWAP2 000011ca: SUB 000011cb: SWAP1 000011cc: REVERT 000011cd: JUMPDEST 000011ce: PUSH2 0x11d7 000011d1: DUP2 000011d2: CALLVALUE 000011d3: PUSH2 0x1b4b 000011d6: JUMP 000011d7: JUMPDEST 000011d8: POP 000011d9: JUMP 000011da: JUMPDEST 000011db: PUSH1 0x00 000011dd: DUP1 000011de: SWAP1 000011df: SLOAD 000011e0: SWAP1 000011e1: PUSH2 0x0100 000011e4: EXP 000011e5: SWAP1 000011e6: DIV 000011e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fc: AND 000011fd: DUP2 000011fe: JUMP 000011ff: JUMPDEST 00001200: PUSH1 0x00 00001202: DUP1 00001203: PUSH1 0x00 00001205: DUP1 00001206: PUSH1 0x00 00001208: PUSH2 0x1210 0000120b: DUP7 0000120c: PUSH2 0x1bd2 0000120f: JUMP 00001210: JUMPDEST 00001211: SWAP4 00001212: POP 00001213: SWAP4 00001214: POP 00001215: SWAP4 00001216: POP 00001217: SWAP4 00001218: POP 00001219: PUSH1 0x01 0000121b: DUP8 0000121c: DUP3 0000121d: PUSH1 0x40 0000121f: MLOAD 00001220: PUSH1 0x20 00001222: ADD 00001223: DUP1 00001224: DUP1 00001225: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a353200000000 00001246: DUP2 00001247: MSTORE 00001248: POP 00001249: PUSH1 0x1c 0000124b: ADD 0000124c: DUP4 0000124d: DUP2 0000124e: MSTORE 0000124f: PUSH1 0x20 00001251: ADD 00001252: DUP3 00001253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001268: AND 00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127e: AND 0000127f: PUSH13 0x01000000000000000000000000 0000128d: MUL 0000128e: DUP2 0000128f: MSTORE 00001290: PUSH1 0x14 00001292: ADD 00001293: SWAP3 00001294: POP 00001295: POP 00001296: POP 00001297: PUSH1 0x40 00001299: MLOAD 0000129a: PUSH1 0x20 0000129c: DUP2 0000129d: DUP4 0000129e: SUB 0000129f: SUB 000012a0: DUP2 000012a1: MSTORE 000012a2: SWAP1 000012a3: PUSH1 0x40 000012a5: MSTORE 000012a6: DUP1 000012a7: MLOAD 000012a8: SWAP1 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: KECCAK256 000012ad: DUP6 000012ae: DUP6 000012af: DUP6 000012b0: PUSH1 0x40 000012b2: MLOAD 000012b3: PUSH1 0x00 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x20 000012b9: ADD 000012ba: PUSH1 0x40 000012bc: MSTORE 000012bd: PUSH1 0x40 000012bf: MLOAD 000012c0: DUP1 000012c1: DUP6 000012c2: DUP2 000012c3: MSTORE 000012c4: PUSH1 0x20 000012c6: ADD 000012c7: DUP5 000012c8: PUSH1 0xff 000012ca: AND 000012cb: PUSH1 0xff 000012cd: AND 000012ce: DUP2 000012cf: MSTORE 000012d0: PUSH1 0x20 000012d2: ADD 000012d3: DUP4 000012d4: DUP2 000012d5: MSTORE 000012d6: PUSH1 0x20 000012d8: ADD 000012d9: DUP3 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: ADD 000012df: SWAP5 000012e0: POP 000012e1: POP 000012e2: POP 000012e3: POP 000012e4: POP 000012e5: PUSH1 0x20 000012e7: PUSH1 0x40 000012e9: MLOAD 000012ea: PUSH1 0x20 000012ec: DUP2 000012ed: SUB 000012ee: SWAP1 000012ef: DUP1 000012f0: DUP5 000012f1: SUB 000012f2: SWAP1 000012f3: DUP6 000012f4: GAS 000012f5: STATICCALL 000012f6: ISZERO 000012f7: DUP1 000012f8: ISZERO 000012f9: PUSH2 0x1306 000012fc: JUMPI 000012fd: RETURNDATASIZE 000012fe: PUSH1 0x00 00001300: DUP1 00001301: RETURNDATACOPY 00001302: RETURNDATASIZE 00001303: PUSH1 0x00 00001305: REVERT 00001306: JUMPDEST 00001307: POP 00001308: POP 00001309: POP 0000130a: PUSH1 0x20 0000130c: PUSH1 0x40 0000130e: MLOAD 0000130f: SUB 00001310: MLOAD 00001311: SWAP5 00001312: POP 00001313: POP 00001314: POP 00001315: POP 00001316: POP 00001317: SWAP3 00001318: SWAP2 00001319: POP 0000131a: POP 0000131b: JUMP 0000131c: JUMPDEST 0000131d: PUSH1 0x01 0000131f: PUSH1 0x00 00001321: SWAP1 00001322: SLOAD 00001323: SWAP1 00001324: PUSH2 0x0100 00001327: EXP 00001328: SWAP1 00001329: DIV 0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133f: AND 00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001355: AND 00001356: CALLER 00001357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136c: AND 0000136d: EQ 0000136e: PUSH2 0x13df 00001371: JUMPI 00001372: PUSH1 0x40 00001374: MLOAD 00001375: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x04 0000139a: ADD 0000139b: DUP1 0000139c: DUP1 0000139d: PUSH1 0x20 0000139f: ADD 000013a0: DUP3 000013a1: DUP2 000013a2: SUB 000013a3: DUP3 000013a4: MSTORE 000013a5: PUSH1 0x16 000013a7: DUP2 000013a8: MSTORE 000013a9: PUSH1 0x20 000013ab: ADD 000013ac: DUP1 000013ad: PUSH32 0x4f4e4c595f434f4e54524143545f4f50455241544f5200000000000000000000 000013ce: DUP2 000013cf: MSTORE 000013d0: POP 000013d1: PUSH1 0x20 000013d3: ADD 000013d4: SWAP2 000013d5: POP 000013d6: POP 000013d7: PUSH1 0x40 000013d9: MLOAD 000013da: DUP1 000013db: SWAP2 000013dc: SUB 000013dd: SWAP1 000013de: REVERT 000013df: JUMPDEST 000013e0: DUP1 000013e1: PUSH1 0x03 000013e3: PUSH1 0x00 000013e5: PUSH2 0x0100 000013e8: EXP 000013e9: DUP2 000013ea: SLOAD 000013eb: DUP2 000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001401: MUL 00001402: NOT 00001403: AND 00001404: SWAP1 00001405: DUP4 00001406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141b: AND 0000141c: MUL 0000141d: OR 0000141e: SWAP1 0000141f: SSTORE 00001420: POP 00001421: POP 00001422: JUMP 00001423: JUMPDEST 00001424: PUSH1 0x03 00001426: PUSH1 0x00 00001428: SWAP1 00001429: SLOAD 0000142a: SWAP1 0000142b: PUSH2 0x0100 0000142e: EXP 0000142f: SWAP1 00001430: DIV 00001431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001446: AND 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: CALLER 0000145e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001473: AND 00001474: EQ 00001475: PUSH2 0x14e6 00001478: JUMPI 00001479: PUSH1 0x40 0000147b: MLOAD 0000147c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000149d: DUP2 0000149e: MSTORE 0000149f: PUSH1 0x04 000014a1: ADD 000014a2: DUP1 000014a3: DUP1 000014a4: PUSH1 0x20 000014a6: ADD 000014a7: DUP3 000014a8: DUP2 000014a9: SUB 000014aa: DUP3 000014ab: MSTORE 000014ac: PUSH1 0x16 000014ae: DUP2 000014af: MSTORE 000014b0: PUSH1 0x20 000014b2: ADD 000014b3: DUP1 000014b4: PUSH32 0x4f4e4c595f544f4b454e4c4f4e5f45584348414e474500000000000000000000 000014d5: DUP2 000014d6: MSTORE 000014d7: POP 000014d8: PUSH1 0x20 000014da: ADD 000014db: SWAP2 000014dc: POP 000014dd: POP 000014de: PUSH1 0x40 000014e0: MLOAD 000014e1: DUP1 000014e2: SWAP2 000014e3: SUB 000014e4: SWAP1 000014e5: REVERT 000014e6: JUMPDEST 000014e7: PUSH2 0x14f0 000014ea: DUP4 000014eb: DUP3 000014ec: PUSH2 0x1c9e 000014ef: JUMP 000014f0: JUMPDEST 000014f1: DUP2 000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001507: AND 00001508: PUSH2 0x08fc 0000150b: DUP3 0000150c: SWAP1 0000150d: DUP2 0000150e: ISZERO 0000150f: MUL 00001510: SWAP1 00001511: PUSH1 0x40 00001513: MLOAD 00001514: PUSH1 0x00 00001516: PUSH1 0x40 00001518: MLOAD 00001519: DUP1 0000151a: DUP4 0000151b: SUB 0000151c: DUP2 0000151d: DUP6 0000151e: DUP9 0000151f: DUP9 00001520: CALL 00001521: SWAP4 00001522: POP 00001523: POP 00001524: POP 00001525: POP 00001526: ISZERO 00001527: DUP1 00001528: ISZERO 00001529: PUSH2 0x1536 0000152c: JUMPI 0000152d: RETURNDATASIZE 0000152e: PUSH1 0x00 00001530: DUP1 00001531: RETURNDATACOPY 00001532: RETURNDATASIZE 00001533: PUSH1 0x00 00001535: REVERT 00001536: JUMPDEST 00001537: POP 00001538: POP 00001539: POP 0000153a: POP 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH1 0x00 0000153f: DUP1 00001540: SWAP1 00001541: SLOAD 00001542: SWAP1 00001543: PUSH2 0x0100 00001546: EXP 00001547: SWAP1 00001548: DIV 00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155e: AND 0000155f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001574: AND 00001575: CALLER 00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158b: AND 0000158c: EQ 0000158d: PUSH2 0x15fe 00001590: JUMPI 00001591: PUSH1 0x40 00001593: MLOAD 00001594: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015b5: DUP2 000015b6: MSTORE 000015b7: PUSH1 0x04 000015b9: ADD 000015ba: DUP1 000015bb: DUP1 000015bc: PUSH1 0x20 000015be: ADD 000015bf: DUP3 000015c0: DUP2 000015c1: SUB 000015c2: DUP3 000015c3: MSTORE 000015c4: PUSH1 0x13 000015c6: DUP2 000015c7: MSTORE 000015c8: PUSH1 0x20 000015ca: ADD 000015cb: DUP1 000015cc: PUSH32 0x4f4e4c595f434f4e54524143545f4f574e455200000000000000000000000000 000015ed: DUP2 000015ee: MSTORE 000015ef: POP 000015f0: PUSH1 0x20 000015f2: ADD 000015f3: SWAP2 000015f4: POP 000015f5: POP 000015f6: PUSH1 0x40 000015f8: MLOAD 000015f9: DUP1 000015fa: SWAP2 000015fb: SUB 000015fc: SWAP1 000015fd: REVERT 000015fe: JUMPDEST 000015ff: DUP1 00001600: PUSH1 0x01 00001602: PUSH1 0x00 00001604: PUSH2 0x0100 00001607: EXP 00001608: DUP2 00001609: SLOAD 0000160a: DUP2 0000160b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001620: MUL 00001621: NOT 00001622: AND 00001623: SWAP1 00001624: DUP4 00001625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163a: AND 0000163b: MUL 0000163c: OR 0000163d: SWAP1 0000163e: SSTORE 0000163f: POP 00001640: POP 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH1 0x01 00001645: PUSH1 0x00 00001647: SWAP1 00001648: SLOAD 00001649: SWAP1 0000164a: PUSH2 0x0100 0000164d: EXP 0000164e: SWAP1 0000164f: DIV 00001650: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001665: AND 00001666: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167b: AND 0000167c: CALLER 0000167d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001692: AND 00001693: EQ 00001694: PUSH2 0x1705 00001697: JUMPI 00001698: PUSH1 0x40 0000169a: MLOAD 0000169b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x04 000016c0: ADD 000016c1: DUP1 000016c2: DUP1 000016c3: PUSH1 0x20 000016c5: ADD 000016c6: DUP3 000016c7: DUP2 000016c8: SUB 000016c9: DUP3 000016ca: MSTORE 000016cb: PUSH1 0x16 000016cd: DUP2 000016ce: MSTORE 000016cf: PUSH1 0x20 000016d1: ADD 000016d2: DUP1 000016d3: PUSH32 0x4f4e4c595f434f4e54524143545f4f50455241544f5200000000000000000000 000016f4: DUP2 000016f5: MSTORE 000016f6: POP 000016f7: PUSH1 0x20 000016f9: ADD 000016fa: SWAP2 000016fb: POP 000016fc: POP 000016fd: PUSH1 0x40 000016ff: MLOAD 00001700: DUP1 00001701: SWAP2 00001702: SUB 00001703: SWAP1 00001704: REVERT 00001705: JUMPDEST 00001706: PUSH2 0x1711 00001709: DUP4 0000170a: ADDRESS 0000170b: DUP5 0000170c: DUP5 0000170d: PUSH2 0x1850 00001710: JUMP 00001711: JUMPDEST 00001712: POP 00001713: POP 00001714: POP 00001715: JUMP 00001716: JUMPDEST 00001717: PUSH1 0x00 00001719: DUP1 0000171a: SWAP1 0000171b: SLOAD 0000171c: SWAP1 0000171d: PUSH2 0x0100 00001720: EXP 00001721: SWAP1 00001722: DIV 00001723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001738: AND 00001739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174e: AND 0000174f: CALLER 00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001765: AND 00001766: EQ 00001767: PUSH2 0x17d8 0000176a: JUMPI 0000176b: PUSH1 0x40 0000176d: MLOAD 0000176e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000178f: DUP2 00001790: MSTORE 00001791: PUSH1 0x04 00001793: ADD 00001794: DUP1 00001795: DUP1 00001796: PUSH1 0x20 00001798: ADD 00001799: DUP3 0000179a: DUP2 0000179b: SUB 0000179c: DUP3 0000179d: MSTORE 0000179e: PUSH1 0x13 000017a0: DUP2 000017a1: MSTORE 000017a2: PUSH1 0x20 000017a4: ADD 000017a5: DUP1 000017a6: PUSH32 0x4f4e4c595f434f4e54524143545f4f574e455200000000000000000000000000 000017c7: DUP2 000017c8: MSTORE 000017c9: POP 000017ca: PUSH1 0x20 000017cc: ADD 000017cd: SWAP2 000017ce: POP 000017cf: POP 000017d0: PUSH1 0x40 000017d2: MLOAD 000017d3: DUP1 000017d4: SWAP2 000017d5: SUB 000017d6: SWAP1 000017d7: REVERT 000017d8: JUMPDEST 000017d9: PUSH1 0x00 000017db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f0: AND 000017f1: DUP2 000017f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001807: AND 00001808: EQ 00001809: PUSH2 0x184d 0000180c: JUMPI 0000180d: DUP1 0000180e: PUSH1 0x00 00001810: DUP1 00001811: PUSH2 0x0100 00001814: EXP 00001815: DUP2 00001816: SLOAD 00001817: DUP2 00001818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182d: MUL 0000182e: NOT 0000182f: AND 00001830: SWAP1 00001831: DUP4 00001832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001847: AND 00001848: MUL 00001849: OR 0000184a: SWAP1 0000184b: SSTORE 0000184c: POP 0000184d: JUMPDEST 0000184e: POP 0000184f: JUMP 00001850: JUMPDEST 00001851: PUSH1 0x00 00001853: DUP5 00001854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001869: AND 0000186a: PUSH4 0x23b872dd 0000186f: DUP6 00001870: DUP6 00001871: DUP6 00001872: PUSH1 0x40 00001874: MLOAD 00001875: DUP5 00001876: PUSH4 0xffffffff 0000187b: AND 0000187c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000189a: MUL 0000189b: DUP2 0000189c: MSTORE 0000189d: PUSH1 0x04 0000189f: ADD 000018a0: DUP1 000018a1: DUP5 000018a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b7: AND 000018b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018cd: AND 000018ce: DUP2 000018cf: MSTORE 000018d0: PUSH1 0x20 000018d2: ADD 000018d3: DUP4 000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e9: AND 000018ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ff: AND 00001900: DUP2 00001901: MSTORE 00001902: PUSH1 0x20 00001904: ADD 00001905: DUP3 00001906: DUP2 00001907: MSTORE 00001908: PUSH1 0x20 0000190a: ADD 0000190b: SWAP4 0000190c: POP 0000190d: POP 0000190e: POP 0000190f: POP 00001910: PUSH1 0x00 00001912: PUSH1 0x40 00001914: MLOAD 00001915: DUP1 00001916: DUP4 00001917: SUB 00001918: DUP2 00001919: PUSH1 0x00 0000191b: DUP8 0000191c: DUP1 0000191d: EXTCODESIZE 0000191e: ISZERO 0000191f: DUP1 00001920: ISZERO 00001921: PUSH2 0x1929 00001924: JUMPI 00001925: PUSH1 0x00 00001927: DUP1 00001928: REVERT 00001929: JUMPDEST 0000192a: POP 0000192b: GAS 0000192c: CALL 0000192d: ISZERO 0000192e: DUP1 0000192f: ISZERO 00001930: PUSH2 0x193d 00001933: JUMPI 00001934: RETURNDATASIZE 00001935: PUSH1 0x00 00001937: DUP1 00001938: RETURNDATACOPY 00001939: RETURNDATASIZE 0000193a: PUSH1 0x00 0000193c: REVERT 0000193d: JUMPDEST 0000193e: POP 0000193f: POP 00001940: POP 00001941: POP 00001942: RETURNDATASIZE 00001943: PUSH1 0x00 00001945: DUP2 00001946: EQ 00001947: PUSH2 0x1957 0000194a: JUMPI 0000194b: PUSH1 0x20 0000194d: DUP2 0000194e: EQ 0000194f: PUSH2 0x1961 00001952: JUMPI 00001953: PUSH1 0x00 00001955: DUP1 00001956: REVERT 00001957: JUMPDEST 00001958: PUSH1 0x00 0000195a: NOT 0000195b: SWAP2 0000195c: POP 0000195d: PUSH2 0x196d 00001960: JUMP 00001961: JUMPDEST 00001962: PUSH1 0x20 00001964: PUSH1 0x00 00001966: DUP1 00001967: RETURNDATACOPY 00001968: PUSH1 0x00 0000196a: MLOAD 0000196b: SWAP2 0000196c: POP 0000196d: JUMPDEST 0000196e: POP 0000196f: DUP1 00001970: PUSH2 0x19e1 00001973: JUMPI 00001974: PUSH1 0x40 00001976: MLOAD 00001977: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001998: DUP2 00001999: MSTORE 0000199a: PUSH1 0x04 0000199c: ADD 0000199d: DUP1 0000199e: DUP1 0000199f: PUSH1 0x20 000019a1: ADD 000019a2: DUP3 000019a3: DUP2 000019a4: SUB 000019a5: DUP3 000019a6: MSTORE 000019a7: PUSH1 0x14 000019a9: DUP2 000019aa: MSTORE 000019ab: PUSH1 0x20 000019ad: ADD 000019ae: DUP1 000019af: PUSH32 0x5452414e534645525f46524f4d5f4641494c4544000000000000000000000000 000019d0: DUP2 000019d1: MSTORE 000019d2: POP 000019d3: PUSH1 0x20 000019d5: ADD 000019d6: SWAP2 000019d7: POP 000019d8: POP 000019d9: PUSH1 0x40 000019db: MLOAD 000019dc: DUP1 000019dd: SWAP2 000019de: SUB 000019df: SWAP1 000019e0: REVERT 000019e1: JUMPDEST 000019e2: POP 000019e3: POP 000019e4: POP 000019e5: POP 000019e6: POP 000019e7: JUMP 000019e8: JUMPDEST 000019e9: PUSH1 0x00 000019eb: DUP4 000019ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a01: AND 00001a02: PUSH4 0x095ea7b3 00001a07: DUP5 00001a08: DUP5 00001a09: PUSH1 0x40 00001a0b: MLOAD 00001a0c: DUP4 00001a0d: PUSH4 0xffffffff 00001a12: AND 00001a13: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001a31: MUL 00001a32: DUP2 00001a33: MSTORE 00001a34: PUSH1 0x04 00001a36: ADD 00001a37: DUP1 00001a38: DUP4 00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4e: AND 00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a64: AND 00001a65: DUP2 00001a66: MSTORE 00001a67: PUSH1 0x20 00001a69: ADD 00001a6a: DUP3 00001a6b: DUP2 00001a6c: MSTORE 00001a6d: PUSH1 0x20 00001a6f: ADD 00001a70: SWAP3 00001a71: POP 00001a72: POP 00001a73: POP 00001a74: PUSH1 0x00 00001a76: PUSH1 0x40 00001a78: MLOAD 00001a79: DUP1 00001a7a: DUP4 00001a7b: SUB 00001a7c: DUP2 00001a7d: PUSH1 0x00 00001a7f: DUP8 00001a80: DUP1 00001a81: EXTCODESIZE 00001a82: ISZERO 00001a83: DUP1 00001a84: ISZERO 00001a85: PUSH2 0x1a8d 00001a88: JUMPI 00001a89: PUSH1 0x00 00001a8b: DUP1 00001a8c: REVERT 00001a8d: JUMPDEST 00001a8e: POP 00001a8f: GAS 00001a90: CALL 00001a91: ISZERO 00001a92: DUP1 00001a93: ISZERO 00001a94: PUSH2 0x1aa1 00001a97: JUMPI 00001a98: RETURNDATASIZE 00001a99: PUSH1 0x00 00001a9b: DUP1 00001a9c: RETURNDATACOPY 00001a9d: RETURNDATASIZE 00001a9e: PUSH1 0x00 00001aa0: REVERT 00001aa1: JUMPDEST 00001aa2: POP 00001aa3: POP 00001aa4: POP 00001aa5: POP 00001aa6: RETURNDATASIZE 00001aa7: PUSH1 0x00 00001aa9: DUP2 00001aaa: EQ 00001aab: PUSH2 0x1abb 00001aae: JUMPI 00001aaf: PUSH1 0x20 00001ab1: DUP2 00001ab2: EQ 00001ab3: PUSH2 0x1ac5 00001ab6: JUMPI 00001ab7: PUSH1 0x00 00001ab9: DUP1 00001aba: REVERT 00001abb: JUMPDEST 00001abc: PUSH1 0x00 00001abe: NOT 00001abf: SWAP2 00001ac0: POP 00001ac1: PUSH2 0x1ad1 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: PUSH1 0x20 00001ac8: PUSH1 0x00 00001aca: DUP1 00001acb: RETURNDATACOPY 00001acc: PUSH1 0x00 00001ace: MLOAD 00001acf: SWAP2 00001ad0: POP 00001ad1: JUMPDEST 00001ad2: POP 00001ad3: DUP1 00001ad4: PUSH2 0x1b45 00001ad7: JUMPI 00001ad8: PUSH1 0x40 00001ada: MLOAD 00001adb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001afc: DUP2 00001afd: MSTORE 00001afe: PUSH1 0x04 00001b00: ADD 00001b01: DUP1 00001b02: DUP1 00001b03: PUSH1 0x20 00001b05: ADD 00001b06: DUP3 00001b07: DUP2 00001b08: SUB 00001b09: DUP3 00001b0a: MSTORE 00001b0b: PUSH1 0x0e 00001b0d: DUP2 00001b0e: MSTORE 00001b0f: PUSH1 0x20 00001b11: ADD 00001b12: DUP1 00001b13: PUSH32 0x415050524f56455f4641494c4544000000000000000000000000000000000000 00001b34: DUP2 00001b35: MSTORE 00001b36: POP 00001b37: PUSH1 0x20 00001b39: ADD 00001b3a: SWAP2 00001b3b: POP 00001b3c: POP 00001b3d: PUSH1 0x40 00001b3f: MLOAD 00001b40: DUP1 00001b41: SWAP2 00001b42: SUB 00001b43: SWAP1 00001b44: REVERT 00001b45: JUMPDEST 00001b46: POP 00001b47: POP 00001b48: POP 00001b49: POP 00001b4a: JUMP 00001b4b: JUMPDEST 00001b4c: PUSH1 0x00 00001b4e: DUP3 00001b4f: SWAP1 00001b50: POP 00001b51: DUP1 00001b52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b67: AND 00001b68: PUSH4 0xd0e30db0 00001b6d: DUP4 00001b6e: PUSH1 0x40 00001b70: MLOAD 00001b71: DUP3 00001b72: PUSH4 0xffffffff 00001b77: AND 00001b78: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001b96: MUL 00001b97: DUP2 00001b98: MSTORE 00001b99: PUSH1 0x04 00001b9b: ADD 00001b9c: PUSH1 0x00 00001b9e: PUSH1 0x40 00001ba0: MLOAD 00001ba1: DUP1 00001ba2: DUP4 00001ba3: SUB 00001ba4: DUP2 00001ba5: DUP6 00001ba6: DUP9 00001ba7: DUP1 00001ba8: EXTCODESIZE 00001ba9: ISZERO 00001baa: DUP1 00001bab: ISZERO 00001bac: PUSH2 0x1bb4 00001baf: JUMPI 00001bb0: PUSH1 0x00 00001bb2: DUP1 00001bb3: REVERT 00001bb4: JUMPDEST 00001bb5: POP 00001bb6: GAS 00001bb7: CALL 00001bb8: ISZERO 00001bb9: DUP1 00001bba: ISZERO 00001bbb: PUSH2 0x1bc8 00001bbe: JUMPI 00001bbf: RETURNDATASIZE 00001bc0: PUSH1 0x00 00001bc2: DUP1 00001bc3: RETURNDATACOPY 00001bc4: RETURNDATASIZE 00001bc5: PUSH1 0x00 00001bc7: REVERT 00001bc8: JUMPDEST 00001bc9: POP 00001bca: POP 00001bcb: POP 00001bcc: POP 00001bcd: POP 00001bce: POP 00001bcf: POP 00001bd0: POP 00001bd1: JUMP 00001bd2: JUMPDEST 00001bd3: PUSH1 0x00 00001bd5: DUP1 00001bd6: PUSH1 0x00 00001bd8: DUP1 00001bd9: PUSH2 0x1be1 00001bdc: DUP6 00001bdd: PUSH2 0x1d2f 00001be0: JUMP 00001be1: JUMPDEST 00001be2: SWAP1 00001be3: POP 00001be4: DUP5 00001be5: PUSH1 0x00 00001be7: DUP2 00001be8: MLOAD 00001be9: DUP2 00001bea: LT 00001beb: PUSH2 0x1bf0 00001bee: JUMPI 00001bef: INVALID 00001bf0: JUMPDEST 00001bf1: PUSH1 0x20 00001bf3: ADD 00001bf4: ADD 00001bf5: MLOAD 00001bf6: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001c17: SWAP1 00001c18: DIV 00001c19: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001c3a: MUL 00001c3b: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001c5c: SWAP1 00001c5d: DIV 00001c5e: SWAP4 00001c5f: POP 00001c60: PUSH2 0x1c73 00001c63: PUSH1 0x01 00001c65: DUP7 00001c66: PUSH2 0x1dd2 00001c69: SWAP1 00001c6a: SWAP2 00001c6b: SWAP1 00001c6c: PUSH4 0xffffffff 00001c71: AND 00001c72: JUMP 00001c73: JUMPDEST 00001c74: SWAP3 00001c75: POP 00001c76: PUSH2 0x1c89 00001c79: PUSH1 0x21 00001c7b: DUP7 00001c7c: PUSH2 0x1dd2 00001c7f: SWAP1 00001c80: SWAP2 00001c81: SWAP1 00001c82: PUSH4 0xffffffff 00001c87: AND 00001c88: JUMP 00001c89: JUMPDEST 00001c8a: SWAP2 00001c8b: POP 00001c8c: DUP4 00001c8d: DUP4 00001c8e: DUP4 00001c8f: DUP4 00001c90: SWAP4 00001c91: POP 00001c92: SWAP4 00001c93: POP 00001c94: SWAP4 00001c95: POP 00001c96: SWAP4 00001c97: POP 00001c98: SWAP2 00001c99: SWAP4 00001c9a: POP 00001c9b: SWAP2 00001c9c: SWAP4 00001c9d: JUMP 00001c9e: JUMPDEST 00001c9f: PUSH1 0x00 00001ca1: DUP3 00001ca2: SWAP1 00001ca3: POP 00001ca4: DUP1 00001ca5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cba: AND 00001cbb: PUSH4 0x2e1a7d4d 00001cc0: DUP4 00001cc1: PUSH1 0x40 00001cc3: MLOAD 00001cc4: DUP3 00001cc5: PUSH4 0xffffffff 00001cca: AND 00001ccb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001ce9: MUL 00001cea: DUP2 00001ceb: MSTORE 00001cec: PUSH1 0x04 00001cee: ADD 00001cef: DUP1 00001cf0: DUP3 00001cf1: DUP2 00001cf2: MSTORE 00001cf3: PUSH1 0x20 00001cf5: ADD 00001cf6: SWAP2 00001cf7: POP 00001cf8: POP 00001cf9: PUSH1 0x00 00001cfb: PUSH1 0x40 00001cfd: MLOAD 00001cfe: DUP1 00001cff: DUP4 00001d00: SUB 00001d01: DUP2 00001d02: PUSH1 0x00 00001d04: DUP8 00001d05: DUP1 00001d06: EXTCODESIZE 00001d07: ISZERO 00001d08: DUP1 00001d09: ISZERO 00001d0a: PUSH2 0x1d12 00001d0d: JUMPI 00001d0e: PUSH1 0x00 00001d10: DUP1 00001d11: REVERT 00001d12: JUMPDEST 00001d13: POP 00001d14: GAS 00001d15: CALL 00001d16: ISZERO 00001d17: DUP1 00001d18: ISZERO 00001d19: PUSH2 0x1d26 00001d1c: JUMPI 00001d1d: RETURNDATASIZE 00001d1e: PUSH1 0x00 00001d20: DUP1 00001d21: RETURNDATACOPY 00001d22: RETURNDATASIZE 00001d23: PUSH1 0x00 00001d25: REVERT 00001d26: JUMPDEST 00001d27: POP 00001d28: POP 00001d29: POP 00001d2a: POP 00001d2b: POP 00001d2c: POP 00001d2d: POP 00001d2e: JUMP 00001d2f: JUMPDEST 00001d30: PUSH1 0x00 00001d32: PUSH1 0x55 00001d34: DUP3 00001d35: MLOAD 00001d36: EQ 00001d37: DUP1 00001d38: PUSH2 0x1d42 00001d3b: JUMPI 00001d3c: POP 00001d3d: PUSH1 0x56 00001d3f: DUP3 00001d40: MLOAD 00001d41: EQ 00001d42: JUMPDEST 00001d43: PUSH2 0x1db4 00001d46: JUMPI 00001d47: PUSH1 0x40 00001d49: MLOAD 00001d4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d6b: DUP2 00001d6c: MSTORE 00001d6d: PUSH1 0x04 00001d6f: ADD 00001d70: DUP1 00001d71: DUP1 00001d72: PUSH1 0x20 00001d74: ADD 00001d75: DUP3 00001d76: DUP2 00001d77: SUB 00001d78: DUP3 00001d79: MSTORE 00001d7a: PUSH1 0x12 00001d7c: DUP2 00001d7d: MSTORE 00001d7e: PUSH1 0x20 00001d80: ADD 00001d81: DUP1 00001d82: PUSH32 0x4c454e4754485f38355f52455155495245440000000000000000000000000000 00001da3: DUP2 00001da4: MSTORE 00001da5: POP 00001da6: PUSH1 0x20 00001da8: ADD 00001da9: SWAP2 00001daa: POP 00001dab: POP 00001dac: PUSH1 0x40 00001dae: MLOAD 00001daf: DUP1 00001db0: SWAP2 00001db1: SUB 00001db2: SWAP1 00001db3: REVERT 00001db4: JUMPDEST 00001db5: PUSH2 0x1dc8 00001db8: PUSH1 0x41 00001dba: DUP4 00001dbb: PUSH2 0x1e46 00001dbe: SWAP1 00001dbf: SWAP2 00001dc0: SWAP1 00001dc1: PUSH4 0xffffffff 00001dc6: AND 00001dc7: JUMP 00001dc8: JUMPDEST 00001dc9: SWAP1 00001dca: POP 00001dcb: DUP1 00001dcc: SWAP1 00001dcd: POP 00001dce: SWAP2 00001dcf: SWAP1 00001dd0: POP 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: PUSH1 0x00 00001dd5: PUSH1 0x20 00001dd7: DUP3 00001dd8: ADD 00001dd9: DUP4 00001dda: MLOAD 00001ddb: LT 00001ddc: ISZERO 00001ddd: PUSH2 0x1e31 00001de0: JUMPI 00001de1: PUSH1 0x40 00001de3: MLOAD 00001de4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e05: DUP2 00001e06: MSTORE 00001e07: PUSH1 0x04 00001e09: ADD 00001e0a: DUP1 00001e0b: DUP1 00001e0c: PUSH1 0x20 00001e0e: ADD 00001e0f: DUP3 00001e10: DUP2 00001e11: SUB 00001e12: DUP3 00001e13: MSTORE 00001e14: PUSH1 0x26 00001e16: DUP2 00001e17: MSTORE 00001e18: PUSH1 0x20 00001e1a: ADD 00001e1b: DUP1 00001e1c: PUSH2 0x1ed1 00001e1f: PUSH1 0x26 00001e21: SWAP2 00001e22: CODECOPY 00001e23: PUSH1 0x40 00001e25: ADD 00001e26: SWAP2 00001e27: POP 00001e28: POP 00001e29: PUSH1 0x40 00001e2b: MLOAD 00001e2c: DUP1 00001e2d: SWAP2 00001e2e: SUB 00001e2f: SWAP1 00001e30: REVERT 00001e31: JUMPDEST 00001e32: PUSH1 0x20 00001e34: DUP3 00001e35: ADD 00001e36: SWAP2 00001e37: POP 00001e38: DUP2 00001e39: DUP4 00001e3a: ADD 00001e3b: MLOAD 00001e3c: SWAP1 00001e3d: POP 00001e3e: DUP1 00001e3f: SWAP1 00001e40: POP 00001e41: SWAP3 00001e42: SWAP2 00001e43: POP 00001e44: POP 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH1 0x00 00001e49: PUSH1 0x14 00001e4b: DUP3 00001e4c: ADD 00001e4d: DUP4 00001e4e: MLOAD 00001e4f: LT 00001e50: ISZERO 00001e51: PUSH2 0x1ea5 00001e54: JUMPI 00001e55: PUSH1 0x40 00001e57: MLOAD 00001e58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e79: DUP2 00001e7a: MSTORE 00001e7b: PUSH1 0x04 00001e7d: ADD 00001e7e: DUP1 00001e7f: DUP1 00001e80: PUSH1 0x20 00001e82: ADD 00001e83: DUP3 00001e84: DUP2 00001e85: SUB 00001e86: DUP3 00001e87: MSTORE 00001e88: PUSH1 0x26 00001e8a: DUP2 00001e8b: MSTORE 00001e8c: PUSH1 0x20 00001e8e: ADD 00001e8f: DUP1 00001e90: PUSH2 0x1f24 00001e93: PUSH1 0x26 00001e95: SWAP2 00001e96: CODECOPY 00001e97: PUSH1 0x40 00001e99: ADD 00001e9a: SWAP2 00001e9b: POP 00001e9c: POP 00001e9d: PUSH1 0x40 00001e9f: MLOAD 00001ea0: DUP1 00001ea1: SWAP2 00001ea2: SUB 00001ea3: SWAP1 00001ea4: REVERT 00001ea5: JUMPDEST 00001ea6: PUSH1 0x14 00001ea8: DUP3 00001ea9: ADD 00001eaa: SWAP2 00001eab: POP 00001eac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec1: DUP3 00001ec2: DUP5 00001ec3: ADD 00001ec4: MLOAD 00001ec5: AND 00001ec6: SWAP1 00001ec7: POP 00001ec8: DUP1 00001ec9: SWAP1 00001eca: POP 00001ecb: SWAP3 00001ecc: SWAP2 00001ecd: POP 00001ece: POP 00001ecf: JUMP 00001ed0: INVALID 00001ed1: SELFBALANCE 00001ed2: MSTORE 00001ed3: GASLIMIT 00001ed4: COINBASE 00001ed5: SLOAD 00001ed6: GASLIMIT 00001ed7: MSTORE 00001ed8: PUSH0 00001ed9: UNKNOWN(0x4F) 00001eda: MSTORE 00001edb: PUSH0 00001edc: GASLIMIT 00001edd: MLOAD 00001ede: SSTORE 00001edf: COINBASE 00001ee0: UNKNOWN(0x4C) 00001ee1: PUSH0 00001ee2: SLOAD 00001ee3: UNKNOWN(0x4F) 00001ee4: PUSH0 00001ee5: CALLER 00001ee6: ORIGIN 00001ee7: PUSH0 00001ee8: UNKNOWN(0x4C) 00001ee9: GASLIMIT 00001eea: UNKNOWN(0x4E) 00001eeb: SELFBALANCE 00001eec: SLOAD 00001eed: BASEFEE 00001eee: PUSH0 00001eef: MSTORE 00001ef0: GASLIMIT 00001ef1: MLOAD 00001ef2: SSTORE 00001ef3: BLOBHASH 00001ef4: MSTORE 00001ef5: GASLIMIT 00001ef6: DIFFICULTY 00001ef7: PUSH10 0x7356616c696457616c6c 00001f02: PUSH6 0x745369676e61 00001f09: PUSH21 0x75726528627974657333322c616464726573732c62 00001f1f: PUSH26 0x74657329475245415445525f4f525f455155414c5f544f5f3230 00001f3a: PUSH0 00001f3b: UNKNOWN(0x4C) 00001f3c: GASLIMIT 00001f3d: UNKNOWN(0x4E) 00001f3e: SELFBALANCE 00001f3f: SLOAD 00001f40: BASEFEE 00001f41: PUSH0 00001f42: MSTORE 00001f43: GASLIMIT 00001f44: MLOAD 00001f45: SSTORE 00001f46: BLOBHASH 00001f47: MSTORE 00001f48: GASLIMIT 00001f49: DIFFICULTY 00001f4a: LOG1 00001f4b: PUSH6 0x627a7a723058 00001f52: KECCAK256 00001f53: SWAP15 00001f54: STOP 00001f55: REVERT 00001f56: UNKNOWN(0x0C) 00001f57: UNKNOWN(0xA8) 00001f58: UNKNOWN(0xC1) 00001f59: CLZ 00001f5a: UNKNOWN(0xD4) 00001f5b: UNKNOWN(0xE4) 00001f5c: DUP5 00001f5d: PC 00001f5e: JUMPDEST 00001f5f: UNKNOWN(0xB9) 00001f60: SWAP16 00001f61: XOR 00001f62: MLOAD 00001f63: 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": "0xb0efd826",
"selector": "0xb0efd826",
"calldata_variants": [
"0xb0efd826",
"0xb0efd8260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3ab15fb",
"selector": "0xb3ab15fb",
"calldata_variants": [
"0xb3ab15fb",
"0xb3ab15fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c53f61d",
"selector": "0x8c53f61d",
"calldata_variants": [
"0x8c53f61d",
"0x8c53f61d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f8225c3",
"selector": "0x9f8225c3",
"calldata_variants": [
"0x9f8225c3",
"0x9f8225c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1e75069",
"selector": "0xa1e75069",
"calldata_variants": [
"0xa1e75069",
"0xa1e750690000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2914,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3126,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3403,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3742,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4012,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4420,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4950,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5213,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5493,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5967,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7910,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xe548b58faa87733432a509fb30dffdbf8a60e934ab77d28f600b8200b60a9729
call_targets:
0x41f8d14c9475444f30a80431c68cf24dc9a8369a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe548b58faa87733432a509fb30dffdbf8a60e934ab77d28f600b8200b60a9729",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41f8d14c9475444f30a80431c68cf24dc9a8369a"
],
"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": "0xb0efd826",
"selector": "0xb0efd826",
"calldata_variants": [
"0xb0efd826",
"0xb0efd8260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3ab15fb",
"selector": "0xb3ab15fb",
"calldata_variants": [
"0xb3ab15fb",
"0xb3ab15fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c53f61d",
"selector": "0x8c53f61d",
"calldata_variants": [
"0x8c53f61d",
"0x8c53f61d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f8225c3",
"selector": "0x9f8225c3",
"calldata_variants": [
"0x9f8225c3",
"0x9f8225c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1e75069",
"selector": "0xa1e75069",
"calldata_variants": [
"0xa1e75069",
"0xa1e750690000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5408,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 2914,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3126,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3403,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3742,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4012,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4420,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4950,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5213,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5493,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5967,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7910,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xe548b58faa87733432a509fb30dffdbf8a60e934ab77d28f600b8200b60a9729
call_targets:
0x41f8d14c9475444f30a80431c68cf24dc9a8369a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe548b58faa87733432a509fb30dffdbf8a60e934ab77d28f600b8200b60a9729",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41f8d14c9475444f30a80431c68cf24dc9a8369a"
],
"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": "0xb0efd826",
"selector": "0xb0efd826",
"calldata_variants": [
"0xb0efd826",
"0xb0efd8260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3ab15fb",
"selector": "0xb3ab15fb",
"calldata_variants": [
"0xb3ab15fb",
"0xb3ab15fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c53f61d",
"selector": "0x8c53f61d",
"calldata_variants": [
"0x8c53f61d",
"0x8c53f61d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f8225c3",
"selector": "0x9f8225c3",
"calldata_variants": [
"0x9f8225c3",
"0x9f8225c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1e75069",
"selector": "0xa1e75069",
"calldata_variants": [
"0xa1e75069",
"0xa1e750690000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5408,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 2914,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3126,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3403,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3742,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4012,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4420,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4950,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5213,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5493,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5967,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7910,
"type": "tx_origin_used"
}
]
}
|