019ba92b-6a85-708f-a43c-657798c2476c
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 |
|---|---|---|---|---|
| 35984 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35985 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35986 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35987 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35988 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35989 | detector.run | complete | 1 / 3 | 3 months ago |
| 35990 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x00dc 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x704b6c02 00000018: GT 00000019: PUSH2 0x007c 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x84b0196e 00000023: GT 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x84b0196e 0000002e: EQ 0000002f: PUSH2 0x025e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x8b4c40b0 00000039: EQ 0000003a: PUSH2 0x00e9 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xd0e30db0 00000044: EQ 00000045: PUSH2 0x0285 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf45e5763 0000004f: EQ 00000050: PUSH2 0x028d 00000053: JUMPI 00000054: PUSH0 00000055: DUP1 00000056: REVERT 00000057: JUMPDEST 00000058: DUP1 00000059: PUSH4 0x704b6c02 0000005e: EQ 0000005f: PUSH2 0x0217 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x7ac3c02f 00000069: EQ 0000006a: PUSH2 0x0236 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8129fc1c 00000074: EQ 00000075: PUSH2 0x024a 00000078: JUMPI 00000079: PUSH0 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0x401d4482 00000083: GT 00000084: PUSH2 0x00b7 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x401d4482 0000008e: EQ 0000008f: PUSH2 0x0197 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x556936ee 00000099: EQ 0000009a: PUSH2 0x01b6 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x586b9d0f 000000a4: EQ 000000a5: PUSH2 0x01c9 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x6e9960c3 000000af: EQ 000000b0: PUSH2 0x01e8 000000b3: JUMPI 000000b4: PUSH0 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: DUP1 000000b9: PUSH4 0x069b09e3 000000be: EQ 000000bf: PUSH2 0x00ef 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x072278c8 000000c9: EQ 000000ca: PUSH2 0x012e 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x21bec14a 000000d4: EQ 000000d5: PUSH2 0x014d 000000d8: JUMPI 000000d9: PUSH0 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: CALLDATASIZE 000000de: PUSH2 0x00eb 000000e1: JUMPI 000000e2: PUSH2 0x00e9 000000e5: PUSH2 0x02ac 000000e8: JUMP 000000e9: JUMPDEST 000000ea: STOP 000000eb: JUMPDEST 000000ec: PUSH0 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: CALLVALUE 000000f1: DUP1 000000f2: ISZERO 000000f3: PUSH2 0x00fa 000000f6: JUMPI 000000f7: PUSH0 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: PUSH20 0x1673540243e793b0e77c038d4a88448eff524dce 00000111: JUMPDEST 00000112: PUSH1 0x40 00000114: MLOAD 00000115: PUSH1 0x01 00000117: PUSH1 0x01 00000119: PUSH1 0xa0 0000011b: SHL 0000011c: SUB 0000011d: SWAP1 0000011e: SWAP2 0000011f: AND 00000120: DUP2 00000121: MSTORE 00000122: PUSH1 0x20 00000124: ADD 00000125: JUMPDEST 00000126: PUSH1 0x40 00000128: MLOAD 00000129: DUP1 0000012a: SWAP2 0000012b: SUB 0000012c: SWAP1 0000012d: RETURN 0000012e: JUMPDEST 0000012f: CALLVALUE 00000130: DUP1 00000131: ISZERO 00000132: PUSH2 0x0139 00000135: JUMPI 00000136: PUSH0 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: POP 0000013b: PUSH2 0x00e9 0000013e: PUSH2 0x0148 00000141: CALLDATASIZE 00000142: PUSH1 0x04 00000144: PUSH2 0x11ec 00000147: JUMP 00000148: JUMPDEST 00000149: PUSH2 0x0385 0000014c: JUMP 0000014d: JUMPDEST 0000014e: CALLVALUE 0000014f: DUP1 00000150: ISZERO 00000151: PUSH2 0x0158 00000154: JUMPI 00000155: PUSH0 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x0187 0000015d: PUSH2 0x0167 00000160: CALLDATASIZE 00000161: PUSH1 0x04 00000163: PUSH2 0x1223 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH0 00000169: SWAP1 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH0 0000016d: DUP1 0000016e: MLOAD 0000016f: PUSH1 0x20 00000171: PUSH2 0x1565 00000174: DUP4 00000175: CODECOPY 00000176: DUP2 00000177: MLOAD 00000178: SWAP2 00000179: MSTORE 0000017a: PUSH1 0x20 0000017c: MSTORE 0000017d: PUSH1 0x40 0000017f: SWAP1 00000180: KECCAK256 00000181: SLOAD 00000182: PUSH1 0xff 00000184: AND 00000185: SWAP1 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: SWAP1 0000018c: ISZERO 0000018d: ISZERO 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x20 00000192: ADD 00000193: PUSH2 0x0125 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a2 0000019e: JUMPI 0000019f: PUSH0 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH2 0x00e9 000001a7: PUSH2 0x01b1 000001aa: CALLDATASIZE 000001ab: PUSH1 0x04 000001ad: PUSH2 0x1255 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH2 0x0679 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH2 0x00e9 000001ba: PUSH2 0x01c4 000001bd: CALLDATASIZE 000001be: PUSH1 0x04 000001c0: PUSH2 0x127d 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x06cf 000001c8: JUMP 000001c9: JUMPDEST 000001ca: CALLVALUE 000001cb: DUP1 000001cc: ISZERO 000001cd: PUSH2 0x01d4 000001d0: JUMPI 000001d1: PUSH0 000001d2: DUP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: POP 000001d6: PUSH2 0x00e9 000001d9: PUSH2 0x01e3 000001dc: CALLDATASIZE 000001dd: PUSH1 0x04 000001df: PUSH2 0x1255 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH2 0x07a4 000001e7: JUMP 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f3 000001ef: JUMPI 000001f0: PUSH0 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: PUSH0 000001f6: DUP1 000001f7: MLOAD 000001f8: PUSH1 0x20 000001fa: PUSH2 0x1545 000001fd: DUP4 000001fe: CODECOPY 000001ff: DUP2 00000200: MLOAD 00000201: SWAP2 00000202: MSTORE 00000203: SLOAD 00000204: PUSH3 0x010000 00000208: SWAP1 00000209: DIV 0000020a: PUSH1 0x01 0000020c: PUSH1 0x01 0000020e: PUSH1 0xa0 00000210: SHL 00000211: SUB 00000212: AND 00000213: PUSH2 0x0111 00000216: JUMP 00000217: JUMPDEST 00000218: CALLVALUE 00000219: DUP1 0000021a: ISZERO 0000021b: PUSH2 0x0222 0000021e: JUMPI 0000021f: PUSH0 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: PUSH2 0x00e9 00000227: PUSH2 0x0231 0000022a: CALLDATASIZE 0000022b: PUSH1 0x04 0000022d: PUSH2 0x1323 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x0830 00000235: JUMP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0241 0000023d: JUMPI 0000023e: PUSH0 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH2 0x0111 00000246: PUSH2 0x08a5 00000249: JUMP 0000024a: JUMPDEST 0000024b: CALLVALUE 0000024c: DUP1 0000024d: ISZERO 0000024e: PUSH2 0x0255 00000251: JUMPI 00000252: PUSH0 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x00e9 0000025a: PUSH2 0x08ae 0000025d: JUMP 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x0269 00000265: JUMPI 00000266: PUSH0 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x0272 0000026e: PUSH2 0x09ff 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: MLOAD 00000276: PUSH2 0x0125 00000279: SWAP8 0000027a: SWAP7 0000027b: SWAP6 0000027c: SWAP5 0000027d: SWAP4 0000027e: SWAP3 0000027f: SWAP2 00000280: SWAP1 00000281: PUSH2 0x1389 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH2 0x00e9 00000289: PUSH2 0x02ac 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0298 00000294: JUMPI 00000295: PUSH0 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: POP 0000029a: PUSH2 0x00e9 0000029d: PUSH2 0x02a7 000002a0: CALLDATASIZE 000002a1: PUSH1 0x04 000002a3: PUSH2 0x1255 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH2 0x0a64 000002ab: JUMP 000002ac: JUMPDEST 000002ad: CALLER 000002ae: ORIGIN 000002af: EQ 000002b0: PUSH2 0x02d4 000002b3: JUMPI 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: PUSH3 0x461bcd 000002bb: PUSH1 0xe5 000002bd: SHL 000002be: DUP2 000002bf: MSTORE 000002c0: PUSH1 0x04 000002c2: ADD 000002c3: PUSH2 0x02cb 000002c6: SWAP1 000002c7: PUSH2 0x1420 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: DUP1 000002d0: SWAP2 000002d1: SUB 000002d2: SWAP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: CALLER 000002d7: PUSH0 000002d8: DUP3 000002d9: SWAP1 000002da: SUB 000002db: PUSH2 0x02f7 000002de: JUMPI 000002df: PUSH1 0x40 000002e1: MLOAD 000002e2: PUSH4 0x162908e3 000002e7: PUSH1 0xe1 000002e9: SHL 000002ea: DUP2 000002eb: MSTORE 000002ec: PUSH1 0x04 000002ee: ADD 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: SWAP2 000002f4: SUB 000002f5: SWAP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: PUSH1 0x01 000002fd: PUSH1 0x01 000002ff: PUSH1 0xa0 00000301: SHL 00000302: SUB 00000303: DUP3 00000304: AND 00000305: PUSH1 0x24 00000307: DUP3 00000308: ADD 00000309: MSTORE 0000030a: PUSH1 0x44 0000030c: DUP2 0000030d: ADD 0000030e: DUP4 0000030f: SWAP1 00000310: MSTORE 00000311: PUSH0 00000312: SWAP1 00000313: PUSH4 0xa0a35da7 00000318: PUSH1 0xe0 0000031a: SHL 0000031b: SWAP1 0000031c: PUSH1 0x64 0000031e: ADD 0000031f: JUMPDEST 00000320: PUSH1 0x40 00000322: DUP1 00000323: MLOAD 00000324: PUSH1 0x1f 00000326: NOT 00000327: DUP2 00000328: DUP5 00000329: SUB 0000032a: ADD 0000032b: DUP2 0000032c: MSTORE 0000032d: SWAP2 0000032e: SWAP1 0000032f: MSTORE 00000330: PUSH1 0x20 00000332: DUP2 00000333: ADD 00000334: DUP1 00000335: MLOAD 00000336: PUSH1 0x01 00000338: PUSH1 0x01 0000033a: PUSH1 0xe0 0000033c: SHL 0000033d: SUB 0000033e: AND 0000033f: PUSH1 0x01 00000341: PUSH1 0x01 00000343: PUSH1 0xe0 00000345: SHL 00000346: SUB 00000347: NOT 00000348: SWAP1 00000349: SWAP4 0000034a: AND 0000034b: SWAP3 0000034c: SWAP1 0000034d: SWAP3 0000034e: OR 0000034f: SWAP1 00000350: SWAP2 00000351: MSTORE 00000352: SWAP1 00000353: POP 00000354: PUSH2 0x037b 00000357: PUSH2 0x0371 0000035a: PUSH20 0x1673540243e793b0e77c038d4a88448eff524dce 0000036f: SWAP1 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH3 0x0f4240 00000376: DUP4 00000377: PUSH2 0x0af7 0000037a: JUMP 0000037b: JUMPDEST 0000037c: POP 0000037d: POP 0000037e: POP 0000037f: JUMP 00000380: JUMPDEST 00000381: SWAP1 00000382: POP 00000383: SWAP1 00000384: JUMP 00000385: JUMPDEST 00000386: CALLER 00000387: ORIGIN 00000388: EQ 00000389: PUSH2 0x03a4 0000038c: JUMPI 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: PUSH3 0x461bcd 00000394: PUSH1 0xe5 00000396: SHL 00000397: DUP2 00000398: MSTORE 00000399: PUSH1 0x04 0000039b: ADD 0000039c: PUSH2 0x02cb 0000039f: SWAP1 000003a0: PUSH2 0x1420 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH0 000003a6: PUSH2 0x045a 000003a9: PUSH32 0xe0ebad47849a6055de6deac8623105ad886338d35d1f3d8a14dc97e07fb242fa 000003ca: PUSH2 0x03d6 000003cd: PUSH1 0x20 000003cf: DUP6 000003d0: ADD 000003d1: DUP6 000003d2: PUSH2 0x1323 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH20 0x1673540243e793b0e77c038d4a88448eff524dce 000003ec: PUSH1 0x40 000003ee: DUP1 000003ef: MLOAD 000003f0: PUSH1 0x20 000003f2: DUP1 000003f3: DUP3 000003f4: ADD 000003f5: SWAP6 000003f6: SWAP1 000003f7: SWAP6 000003f8: MSTORE 000003f9: PUSH1 0x01 000003fb: PUSH1 0x01 000003fd: PUSH1 0xa0 000003ff: SHL 00000400: SUB 00000401: SWAP4 00000402: DUP5 00000403: AND 00000404: DUP2 00000405: DUP4 00000406: ADD 00000407: MSTORE 00000408: SWAP2 00000409: SWAP1 0000040a: SWAP3 0000040b: AND 0000040c: PUSH1 0x60 0000040e: DUP1 0000040f: DUP4 00000410: ADD 00000411: SWAP2 00000412: SWAP1 00000413: SWAP2 00000414: MSTORE 00000415: SWAP3 00000416: DUP7 00000417: ADD 00000418: CALLDATALOAD 00000419: PUSH1 0x80 0000041b: DUP1 0000041c: DUP4 0000041d: ADD 0000041e: SWAP2 0000041f: SWAP1 00000420: SWAP2 00000421: MSTORE 00000422: SWAP2 00000423: DUP7 00000424: ADD 00000425: CALLDATALOAD 00000426: PUSH1 0xa0 00000428: DUP3 00000429: ADD 0000042a: MSTORE 0000042b: SWAP2 0000042c: DUP6 0000042d: ADD 0000042e: CALLDATALOAD 0000042f: PUSH1 0xc0 00000431: DUP4 00000432: ADD 00000433: MSTORE 00000434: DUP5 00000435: ADD 00000436: CALLDATALOAD 00000437: PUSH1 0xe0 00000439: DUP3 0000043a: ADD 0000043b: MSTORE 0000043c: PUSH2 0x0100 0000043f: ADD 00000440: PUSH1 0x40 00000442: MLOAD 00000443: PUSH1 0x20 00000445: DUP2 00000446: DUP4 00000447: SUB 00000448: SUB 00000449: DUP2 0000044a: MSTORE 0000044b: SWAP1 0000044c: PUSH1 0x40 0000044e: MSTORE 0000044f: DUP1 00000450: MLOAD 00000451: SWAP1 00000452: PUSH1 0x20 00000454: ADD 00000455: KECCAK256 00000456: PUSH2 0x0b3d 00000459: JUMP 0000045a: JUMPDEST 0000045b: SWAP1 0000045c: POP 0000045d: PUSH0 0000045e: PUSH2 0x0475 00000461: PUSH2 0x046d 00000464: PUSH1 0xa0 00000466: DUP6 00000467: ADD 00000468: DUP6 00000469: PUSH2 0x1457 0000046c: JUMP 0000046d: JUMPDEST 0000046e: DUP5 0000046f: SWAP2 00000470: SWAP1 00000471: PUSH2 0x0c53 00000474: JUMP 00000475: JUMPDEST 00000476: SWAP1 00000477: POP 00000478: PUSH2 0x047f 0000047b: PUSH2 0x0cdb 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x01 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: SHL 00000487: SUB 00000488: AND 00000489: DUP2 0000048a: PUSH1 0x01 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: SHL 00000491: SUB 00000492: AND 00000493: EQ 00000494: PUSH2 0x04d3 00000497: JUMPI 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: PUSH3 0x461bcd 0000049f: PUSH1 0xe5 000004a1: SHL 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x20 000004a6: PUSH1 0x04 000004a8: DUP3 000004a9: ADD 000004aa: MSTORE 000004ab: PUSH1 0x11 000004ad: PUSH1 0x24 000004af: DUP3 000004b0: ADD 000004b1: MSTORE 000004b2: PUSH17 0x496e76616c6964207369676e6174757265 000004c4: PUSH1 0x78 000004c6: SHL 000004c7: PUSH1 0x44 000004c9: DUP3 000004ca: ADD 000004cb: MSTORE 000004cc: PUSH1 0x64 000004ce: ADD 000004cf: PUSH2 0x02cb 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x40 000004d6: DUP4 000004d7: DUP2 000004d8: ADD 000004d9: CALLDATALOAD 000004da: PUSH0 000004db: SWAP1 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH0 000004df: DUP1 000004e0: MLOAD 000004e1: PUSH1 0x20 000004e3: PUSH2 0x1565 000004e6: DUP4 000004e7: CODECOPY 000004e8: DUP2 000004e9: MLOAD 000004ea: SWAP2 000004eb: MSTORE 000004ec: PUSH1 0x20 000004ee: MSTORE 000004ef: KECCAK256 000004f0: SLOAD 000004f1: PUSH1 0xff 000004f3: AND 000004f4: ISZERO 000004f5: PUSH2 0x0534 000004f8: JUMPI 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: PUSH3 0x461bcd 00000500: PUSH1 0xe5 00000502: SHL 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x20 00000507: PUSH1 0x04 00000509: DUP3 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH1 0x11 0000050e: PUSH1 0x24 00000510: DUP3 00000511: ADD 00000512: MSTORE 00000513: PUSH17 0x105b1c9958591e481c1c9bd8d95cdcd959 00000525: PUSH1 0x7a 00000527: SHL 00000528: PUSH1 0x44 0000052a: DUP3 0000052b: ADD 0000052c: MSTORE 0000052d: PUSH1 0x64 0000052f: ADD 00000530: PUSH2 0x02cb 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH1 0x60 00000537: DUP4 00000538: ADD 00000539: CALLDATALOAD 0000053a: ISZERO 0000053b: DUP1 0000053c: PUSH2 0x054d 0000053f: JUMPI 00000540: POP 00000541: DUP3 00000542: PUSH1 0x60 00000544: ADD 00000545: CALLDATALOAD 00000546: DUP4 00000547: PUSH1 0x80 00000549: ADD 0000054a: CALLDATALOAD 0000054b: BLOCKHASH 0000054c: EQ 0000054d: JUMPDEST 0000054e: PUSH2 0x0599 00000551: JUMPI 00000552: PUSH1 0x40 00000554: MLOAD 00000555: PUSH3 0x461bcd 00000559: PUSH1 0xe5 0000055b: SHL 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: PUSH1 0x04 00000562: DUP3 00000563: ADD 00000564: MSTORE 00000565: PUSH1 0x1c 00000567: PUSH1 0x24 00000569: DUP3 0000056a: ADD 0000056b: MSTORE 0000056c: PUSH32 0x496e76616c696420626c6f636b206e756d626572206f72206861736800000000 0000058d: PUSH1 0x44 0000058f: DUP3 00000590: ADD 00000591: MSTORE 00000592: PUSH1 0x64 00000594: ADD 00000595: PUSH2 0x02cb 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x40 0000059c: DUP4 0000059d: DUP2 0000059e: ADD 0000059f: CALLDATALOAD 000005a0: PUSH0 000005a1: SWAP1 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH0 000005a5: DUP1 000005a6: MLOAD 000005a7: PUSH1 0x20 000005a9: PUSH2 0x1565 000005ac: DUP4 000005ad: CODECOPY 000005ae: DUP2 000005af: MLOAD 000005b0: SWAP2 000005b1: MSTORE 000005b2: PUSH1 0x20 000005b4: SWAP1 000005b5: DUP2 000005b6: MSTORE 000005b7: SWAP2 000005b8: DUP2 000005b9: KECCAK256 000005ba: DUP1 000005bb: SLOAD 000005bc: PUSH1 0xff 000005be: NOT 000005bf: AND 000005c0: PUSH1 0x01 000005c2: OR 000005c3: SWAP1 000005c4: SSTORE 000005c5: SWAP1 000005c6: PUSH4 0x2c1fd25d 000005cb: PUSH1 0xe0 000005cd: SHL 000005ce: SWAP1 000005cf: PUSH2 0x05da 000005d2: SWAP1 000005d3: DUP7 000005d4: ADD 000005d5: DUP7 000005d6: PUSH2 0x1323 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x40 000005dd: DUP1 000005de: MLOAD 000005df: PUSH1 0x01 000005e1: PUSH1 0x01 000005e3: PUSH1 0xa0 000005e5: SHL 000005e6: SUB 000005e7: SWAP1 000005e8: SWAP3 000005e9: AND 000005ea: PUSH1 0x24 000005ec: DUP4 000005ed: ADD 000005ee: MSTORE 000005ef: DUP7 000005f0: ADD 000005f1: CALLDATALOAD 000005f2: PUSH1 0x44 000005f4: DUP3 000005f5: ADD 000005f6: MSTORE 000005f7: PUSH1 0x64 000005f9: ADD 000005fa: PUSH1 0x40 000005fc: DUP1 000005fd: MLOAD 000005fe: PUSH1 0x1f 00000600: NOT 00000601: DUP2 00000602: DUP5 00000603: SUB 00000604: ADD 00000605: DUP2 00000606: MSTORE 00000607: SWAP2 00000608: SWAP1 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: DUP2 0000060d: ADD 0000060e: DUP1 0000060f: MLOAD 00000610: PUSH1 0x01 00000612: PUSH1 0x01 00000614: PUSH1 0xe0 00000616: SHL 00000617: SUB 00000618: AND 00000619: PUSH1 0x01 0000061b: PUSH1 0x01 0000061d: PUSH1 0xe0 0000061f: SHL 00000620: SUB 00000621: NOT 00000622: SWAP1 00000623: SWAP4 00000624: AND 00000625: SWAP3 00000626: SWAP1 00000627: SWAP3 00000628: OR 00000629: SWAP1 0000062a: SWAP2 0000062b: MSTORE 0000062c: SWAP1 0000062d: POP 0000062e: PUSH2 0x064b 00000631: PUSH2 0x0371 00000634: PUSH20 0x1673540243e793b0e77c038d4a88448eff524dce 00000649: SWAP1 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH2 0x0673 0000064f: PUSH1 0x20 00000651: DUP6 00000652: ADD 00000653: DUP1 00000654: CALLDATALOAD 00000655: SWAP1 00000656: PUSH2 0x08fc 00000659: SWAP1 0000065a: PUSH2 0x0663 0000065d: SWAP1 0000065e: DUP9 0000065f: PUSH2 0x1323 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x01 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: SHL 0000066b: SUB 0000066c: AND 0000066d: SWAP2 0000066e: SWAP1 0000066f: PUSH2 0x0d5c 00000672: JUMP 00000673: JUMPDEST 00000674: POP 00000675: POP 00000676: POP 00000677: POP 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH0 0000067b: DUP1 0000067c: MLOAD 0000067d: PUSH1 0x20 0000067f: PUSH2 0x1565 00000682: DUP4 00000683: CODECOPY 00000684: DUP2 00000685: MLOAD 00000686: SWAP2 00000687: MSTORE 00000688: PUSH1 0x01 0000068a: ADD 0000068b: SLOAD 0000068c: PUSH3 0x010000 00000690: SWAP1 00000691: DIV 00000692: PUSH1 0x01 00000694: PUSH1 0x01 00000696: PUSH1 0xa0 00000698: SHL 00000699: SUB 0000069a: AND 0000069b: CALLER 0000069c: EQ 0000069d: PUSH2 0x06b8 000006a0: JUMPI 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: PUSH3 0x461bcd 000006a8: PUSH1 0xe5 000006aa: SHL 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x04 000006af: ADD 000006b0: PUSH2 0x02cb 000006b3: SWAP1 000006b4: PUSH2 0x14a1 000006b7: JUMP 000006b8: JUMPDEST 000006b9: PUSH2 0x06cb 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: DUP4 000006c5: AND 000006c6: DUP3 000006c7: PUSH2 0x0d98 000006ca: JUMP 000006cb: JUMPDEST 000006cc: POP 000006cd: POP 000006ce: JUMP 000006cf: JUMPDEST 000006d0: CALLER 000006d1: ORIGIN 000006d2: EQ 000006d3: PUSH2 0x06ee 000006d6: JUMPI 000006d7: PUSH1 0x40 000006d9: MLOAD 000006da: PUSH3 0x461bcd 000006de: PUSH1 0xe5 000006e0: SHL 000006e1: DUP2 000006e2: MSTORE 000006e3: PUSH1 0x04 000006e5: ADD 000006e6: PUSH2 0x02cb 000006e9: SWAP1 000006ea: PUSH2 0x1420 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH4 0x02faf080 000006f4: CALLVALUE 000006f5: PUSH0 000006f6: DUP2 000006f7: SWAP1 000006f8: SUB 000006f9: PUSH2 0x0715 000006fc: JUMPI 000006fd: PUSH1 0x40 000006ff: MLOAD 00000700: PUSH4 0x162908e3 00000705: PUSH1 0xe1 00000707: SHL 00000708: DUP2 00000709: MSTORE 0000070a: PUSH1 0x04 0000070c: ADD 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: SWAP2 00000712: SUB 00000713: SWAP1 00000714: REVERT 00000715: JUMPDEST 00000716: PUSH0 00000717: PUSH4 0x3e57ad95 0000071c: PUSH1 0xe0 0000071e: SHL 0000071f: DUP9 00000720: DUP4 00000721: DUP10 00000722: DUP10 00000723: DUP10 00000724: PUSH1 0x40 00000726: MLOAD 00000727: PUSH1 0x24 00000729: ADD 0000072a: PUSH2 0x0737 0000072d: SWAP6 0000072e: SWAP5 0000072f: SWAP4 00000730: SWAP3 00000731: SWAP2 00000732: SWAP1 00000733: PUSH2 0x14c4 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x40 0000073a: DUP1 0000073b: MLOAD 0000073c: PUSH1 0x1f 0000073e: NOT 0000073f: DUP2 00000740: DUP5 00000741: SUB 00000742: ADD 00000743: DUP2 00000744: MSTORE 00000745: SWAP2 00000746: SWAP1 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: DUP2 0000074b: ADD 0000074c: DUP1 0000074d: MLOAD 0000074e: PUSH1 0x01 00000750: PUSH1 0x01 00000752: PUSH1 0xe0 00000754: SHL 00000755: SUB 00000756: AND 00000757: PUSH1 0x01 00000759: PUSH1 0x01 0000075b: PUSH1 0xe0 0000075d: SHL 0000075e: SUB 0000075f: NOT 00000760: SWAP1 00000761: SWAP4 00000762: AND 00000763: SWAP3 00000764: SWAP1 00000765: SWAP3 00000766: OR 00000767: SWAP1 00000768: SWAP2 00000769: MSTORE 0000076a: SWAP1 0000076b: POP 0000076c: PUSH2 0x079a 0000076f: PUSH2 0x0789 00000772: PUSH20 0x1673540243e793b0e77c038d4a88448eff524dce 00000787: SWAP1 00000788: JUMP 00000789: JUMPDEST 0000078a: DUP5 0000078b: PUSH8 0xffffffffffffffff 00000794: AND 00000795: DUP4 00000796: PUSH2 0x0af7 00000799: JUMP 0000079a: JUMPDEST 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH0 000007a6: DUP1 000007a7: MLOAD 000007a8: PUSH1 0x20 000007aa: PUSH2 0x1565 000007ad: DUP4 000007ae: CODECOPY 000007af: DUP2 000007b0: MLOAD 000007b1: SWAP2 000007b2: MSTORE 000007b3: PUSH1 0x01 000007b5: ADD 000007b6: SLOAD 000007b7: PUSH3 0x010000 000007bb: SWAP1 000007bc: DIV 000007bd: PUSH1 0x01 000007bf: PUSH1 0x01 000007c1: PUSH1 0xa0 000007c3: SHL 000007c4: SUB 000007c5: AND 000007c6: CALLER 000007c7: EQ 000007c8: PUSH2 0x07e3 000007cb: JUMPI 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: PUSH3 0x461bcd 000007d3: PUSH1 0xe5 000007d5: SHL 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x04 000007da: ADD 000007db: PUSH2 0x02cb 000007de: SWAP1 000007df: PUSH2 0x14a1 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH0 000007e5: DUP2 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH0 000007e9: DUP1 000007ea: MLOAD 000007eb: PUSH1 0x20 000007ed: PUSH2 0x1565 000007f0: DUP4 000007f1: CODECOPY 000007f2: DUP2 000007f3: MLOAD 000007f4: SWAP2 000007f5: MSTORE 000007f6: PUSH1 0x20 000007f8: MSTORE 000007f9: PUSH1 0x40 000007fb: DUP1 000007fc: DUP3 000007fd: KECCAK256 000007fe: DUP1 000007ff: SLOAD 00000800: PUSH1 0xff 00000802: NOT 00000803: AND 00000804: PUSH1 0x01 00000806: OR 00000807: SWAP1 00000808: SSTORE 00000809: MLOAD 0000080a: PUSH1 0x01 0000080c: PUSH1 0x01 0000080e: PUSH1 0xa0 00000810: SHL 00000811: SUB 00000812: DUP5 00000813: AND 00000814: PUSH1 0x24 00000816: DUP3 00000817: ADD 00000818: MSTORE 00000819: PUSH1 0x44 0000081b: DUP2 0000081c: ADD 0000081d: DUP4 0000081e: SWAP1 0000081f: MSTORE 00000820: PUSH4 0x2c1fd25d 00000825: PUSH1 0xe0 00000827: SHL 00000828: SWAP1 00000829: PUSH1 0x64 0000082b: ADD 0000082c: PUSH2 0x031f 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH0 00000832: DUP1 00000833: MLOAD 00000834: PUSH1 0x20 00000836: PUSH2 0x1565 00000839: DUP4 0000083a: CODECOPY 0000083b: DUP2 0000083c: MLOAD 0000083d: SWAP2 0000083e: MSTORE 0000083f: PUSH1 0x01 00000841: ADD 00000842: SLOAD 00000843: PUSH3 0x010000 00000847: SWAP1 00000848: DIV 00000849: PUSH1 0x01 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: SHL 00000850: SUB 00000851: AND 00000852: CALLER 00000853: EQ 00000854: PUSH2 0x086f 00000857: JUMPI 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: PUSH3 0x461bcd 0000085f: PUSH1 0xe5 00000861: SHL 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x04 00000866: ADD 00000867: PUSH2 0x02cb 0000086a: SWAP1 0000086b: PUSH2 0x14a1 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH0 00000871: DUP1 00000872: MLOAD 00000873: PUSH1 0x20 00000875: PUSH2 0x1545 00000878: DUP4 00000879: CODECOPY 0000087a: DUP2 0000087b: MLOAD 0000087c: SWAP2 0000087d: MSTORE 0000087e: DUP1 0000087f: SLOAD 00000880: PUSH1 0x01 00000882: PUSH1 0x01 00000884: PUSH1 0xa0 00000886: SHL 00000887: SUB 00000888: SWAP1 00000889: SWAP3 0000088a: AND 0000088b: PUSH3 0x010000 0000088f: MUL 00000890: PUSH3 0x010000 00000894: PUSH1 0x01 00000896: PUSH1 0xb0 00000898: SHL 00000899: SUB 0000089a: NOT 0000089b: SWAP1 0000089c: SWAP3 0000089d: AND 0000089e: SWAP2 0000089f: SWAP1 000008a0: SWAP2 000008a1: OR 000008a2: SWAP1 000008a3: SSTORE 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH0 000008a7: PUSH2 0x0380 000008aa: PUSH2 0x0cdb 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH4 0x409feecd 000008b4: NOT 000008b5: DUP1 000008b6: SLOAD 000008b7: PUSH1 0x03 000008b9: DUP3 000008ba: SSTORE 000008bb: DUP1 000008bc: ISZERO 000008bd: PUSH2 0x08e4 000008c0: JUMPI 000008c1: PUSH1 0x01 000008c3: DUP2 000008c4: PUSH1 0x01 000008c6: SHR 000008c7: EQ 000008c8: ADDRESS 000008c9: EXTCODESIZE 000008ca: LT 000008cb: PUSH2 0x08db 000008ce: JUMPI 000008cf: PUSH4 0xf92ee8a9 000008d4: PUSH0 000008d5: MSTORE 000008d6: PUSH1 0x04 000008d8: PUSH1 0x1c 000008da: REVERT 000008db: JUMPDEST 000008dc: DUP2 000008dd: DUP2 000008de: PUSH1 0xff 000008e0: SHL 000008e1: SHL 000008e2: SWAP2 000008e3: POP 000008e4: JUMPDEST 000008e5: POP 000008e6: CALLER 000008e7: PUSH14 0x6396ff2a80c067f99b3d2ab4df24 000008f6: EQ 000008f7: PUSH2 0x0930 000008fa: JUMPI 000008fb: PUSH1 0x40 000008fd: MLOAD 000008fe: PUSH3 0x461bcd 00000902: PUSH1 0xe5 00000904: SHL 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x20 00000909: PUSH1 0x04 0000090b: DUP3 0000090c: ADD 0000090d: MSTORE 0000090e: PUSH1 0x0b 00000910: PUSH1 0x24 00000912: DUP3 00000913: ADD 00000914: MSTORE 00000915: PUSH11 0x4e6f7420666163746f7279 00000921: PUSH1 0xa8 00000923: SHL 00000924: PUSH1 0x44 00000926: DUP3 00000927: ADD 00000928: MSTORE 00000929: PUSH1 0x64 0000092b: ADD 0000092c: PUSH2 0x02cb 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH0 00000932: DUP1 00000933: MLOAD 00000934: PUSH1 0x20 00000936: PUSH2 0x1545 00000939: DUP4 0000093a: CODECOPY 0000093b: DUP2 0000093c: MLOAD 0000093d: SWAP2 0000093e: MSTORE 0000093f: SLOAD 00000940: PUSH3 0x010000 00000944: SWAP1 00000945: DIV 00000946: PUSH1 0x01 00000948: PUSH1 0x01 0000094a: PUSH1 0xa0 0000094c: SHL 0000094d: SUB 0000094e: AND 0000094f: ISZERO 00000950: PUSH2 0x0991 00000953: JUMPI 00000954: PUSH1 0x40 00000956: MLOAD 00000957: PUSH3 0x461bcd 0000095b: PUSH1 0xe5 0000095d: SHL 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x20 00000962: PUSH1 0x04 00000964: DUP3 00000965: ADD 00000966: MSTORE 00000967: PUSH1 0x13 00000969: PUSH1 0x24 0000096b: DUP3 0000096c: ADD 0000096d: MSTORE 0000096e: PUSH19 0x105b1c9958591e481a5b9a5d1a585b1a5e9959 00000982: PUSH1 0x6a 00000984: SHL 00000985: PUSH1 0x44 00000987: DUP3 00000988: ADD 00000989: MSTORE 0000098a: PUSH1 0x64 0000098c: ADD 0000098d: PUSH2 0x02cb 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH0 00000993: DUP1 00000994: MLOAD 00000995: PUSH1 0x20 00000997: PUSH2 0x1545 0000099a: DUP4 0000099b: CODECOPY 0000099c: DUP2 0000099d: MLOAD 0000099e: SWAP2 0000099f: MSTORE 000009a0: DUP1 000009a1: SLOAD 000009a2: PUSH3 0x010000 000009a6: PUSH1 0x01 000009a8: PUSH1 0xb0 000009aa: SHL 000009ab: SUB 000009ac: NOT 000009ad: AND 000009ae: PUSH22 0xb2b01decb6cd36e7396b78d3744482627f22c5250000 000009c5: OR 000009c6: SWAP1 000009c7: SSTORE 000009c8: DUP1 000009c9: ISZERO 000009ca: PUSH2 0x09fc 000009cd: JUMPI 000009ce: PUSH1 0x02 000009d0: DUP2 000009d1: SSTORE 000009d2: PUSH1 0x01 000009d4: PUSH1 0x20 000009d6: MSTORE 000009d7: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 000009f8: PUSH1 0x20 000009fa: DUP1 000009fb: LOG1 000009fc: JUMPDEST 000009fd: POP 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH1 0x0f 00000a02: PUSH1 0xf8 00000a04: SHL 00000a05: PUSH1 0x60 00000a07: DUP1 00000a08: PUSH0 00000a09: DUP1 00000a0a: DUP1 00000a0b: DUP4 00000a0c: PUSH2 0x0a52 00000a0f: PUSH1 0x40 00000a11: DUP1 00000a12: MLOAD 00000a13: DUP1 00000a14: DUP3 00000a15: ADD 00000a16: DUP3 00000a17: MSTORE 00000a18: PUSH1 0x12 00000a1a: DUP2 00000a1b: MSTORE 00000a1c: PUSH18 0x466163657420457468657220427269646765 00000a2f: PUSH1 0x70 00000a31: SHL 00000a32: PUSH1 0x20 00000a34: DUP1 00000a35: DUP4 00000a36: ADD 00000a37: SWAP2 00000a38: SWAP1 00000a39: SWAP2 00000a3a: MSTORE 00000a3b: DUP3 00000a3c: MLOAD 00000a3d: DUP1 00000a3e: DUP5 00000a3f: ADD 00000a40: SWAP1 00000a41: SWAP4 00000a42: MSTORE 00000a43: PUSH1 0x01 00000a45: DUP4 00000a46: MSTORE 00000a47: PUSH1 0x31 00000a49: PUSH1 0xf8 00000a4b: SHL 00000a4c: SWAP1 00000a4d: DUP4 00000a4e: ADD 00000a4f: MSTORE 00000a50: SWAP2 00000a51: JUMP 00000a52: JUMPDEST 00000a53: SWAP8 00000a54: SWAP9 00000a55: SWAP1 00000a56: SWAP8 00000a57: SWAP7 00000a58: POP 00000a59: CHAINID 00000a5a: SWAP6 00000a5b: POP 00000a5c: ADDRESS 00000a5d: SWAP5 00000a5e: POP 00000a5f: SWAP2 00000a60: SWAP3 00000a61: POP 00000a62: SWAP1 00000a63: JUMP 00000a64: JUMPDEST 00000a65: PUSH0 00000a66: DUP1 00000a67: MLOAD 00000a68: PUSH1 0x20 00000a6a: PUSH2 0x1565 00000a6d: DUP4 00000a6e: CODECOPY 00000a6f: DUP2 00000a70: MLOAD 00000a71: SWAP2 00000a72: MSTORE 00000a73: PUSH1 0x01 00000a75: ADD 00000a76: SLOAD 00000a77: PUSH3 0x010000 00000a7b: SWAP1 00000a7c: DIV 00000a7d: PUSH1 0x01 00000a7f: PUSH1 0x01 00000a81: PUSH1 0xa0 00000a83: SHL 00000a84: SUB 00000a85: AND 00000a86: CALLER 00000a87: EQ 00000a88: PUSH2 0x0aa3 00000a8b: JUMPI 00000a8c: PUSH1 0x40 00000a8e: MLOAD 00000a8f: PUSH3 0x461bcd 00000a93: PUSH1 0xe5 00000a95: SHL 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x04 00000a9a: ADD 00000a9b: PUSH2 0x02cb 00000a9e: SWAP1 00000a9f: PUSH2 0x14a1 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x40 00000aa6: MLOAD 00000aa7: PUSH12 0xffffffffffffffffffffffff 00000ab4: NOT 00000ab5: PUSH1 0x60 00000ab7: DUP5 00000ab8: SWAP1 00000ab9: SHL 00000aba: AND 00000abb: PUSH1 0x20 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: PUSH2 0x06cb 00000ac3: SWAP1 00000ac4: PUSH1 0x34 00000ac6: ADD 00000ac7: PUSH1 0x40 00000ac9: DUP1 00000aca: MLOAD 00000acb: PUSH1 0x1f 00000acd: NOT 00000ace: DUP2 00000acf: DUP5 00000ad0: SUB 00000ad1: ADD 00000ad2: DUP2 00000ad3: MSTORE 00000ad4: PUSH1 0x20 00000ad6: DUP4 00000ad7: DUP2 00000ad8: ADD 00000ad9: DUP4 00000ada: MSTORE 00000adb: PUSH0 00000adc: DUP1 00000add: DUP6 00000ade: MSTORE 00000adf: DUP4 00000ae0: MLOAD 00000ae1: SWAP2 00000ae2: DUP3 00000ae3: ADD 00000ae4: SWAP1 00000ae5: SWAP4 00000ae6: MSTORE 00000ae7: SWAP2 00000ae8: DUP3 00000ae9: MSTORE 00000aea: SWAP2 00000aeb: DUP5 00000aec: SWAP2 00000aed: PUSH3 0x0f4240 00000af1: SWAP2 00000af2: SWAP1 00000af3: PUSH2 0x0dd7 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: PUSH12 0xffffffffffffffffffffffff 00000b08: NOT 00000b09: PUSH1 0x60 00000b0b: DUP6 00000b0c: SWAP1 00000b0d: SHL 00000b0e: AND 00000b0f: PUSH1 0x20 00000b11: DUP3 00000b12: ADD 00000b13: MSTORE 00000b14: PUSH2 0x037b 00000b17: SWAP1 00000b18: PUSH1 0x34 00000b1a: ADD 00000b1b: PUSH1 0x40 00000b1d: DUP1 00000b1e: MLOAD 00000b1f: PUSH1 0x1f 00000b21: NOT 00000b22: DUP2 00000b23: DUP5 00000b24: SUB 00000b25: ADD 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x20 00000b2a: DUP4 00000b2b: ADD 00000b2c: SWAP1 00000b2d: SWAP2 00000b2e: MSTORE 00000b2f: PUSH0 00000b30: DUP1 00000b31: DUP4 00000b32: MSTORE 00000b33: SWAP1 00000b34: SWAP2 00000b35: DUP6 00000b36: SWAP1 00000b37: DUP6 00000b38: SWAP1 00000b39: PUSH2 0x0dd7 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH32 0x7e3184088093c98c4cf3444dc06c0d52be0e629b225730082730ccf598e35a6b 00000b5f: PUSH32 0x00000000000000000000000068c56f4d88846a4cdce966d92d92a0636baf40fe 00000b80: ADDRESS 00000b81: EQ 00000b82: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000ba3: CHAINID 00000ba4: EQ 00000ba5: AND 00000ba6: PUSH2 0x0c30 00000ba9: JUMPI 00000baa: POP 00000bab: PUSH1 0x40 00000bad: DUP1 00000bae: MLOAD 00000baf: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH32 0xaa43d5e4f166b7408fbbd997063770a8c848b0276b028f312bb8f7f8a427d77a 00000bf3: PUSH1 0x20 00000bf5: DUP3 00000bf6: ADD 00000bf7: MSTORE 00000bf8: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 00000c19: SWAP2 00000c1a: DUP2 00000c1b: ADD 00000c1c: SWAP2 00000c1d: SWAP1 00000c1e: SWAP2 00000c1f: MSTORE 00000c20: CHAINID 00000c21: PUSH1 0x60 00000c23: DUP3 00000c24: ADD 00000c25: MSTORE 00000c26: ADDRESS 00000c27: PUSH1 0x80 00000c29: DUP3 00000c2a: ADD 00000c2b: MSTORE 00000c2c: PUSH1 0xa0 00000c2e: SWAP1 00000c2f: KECCAK256 00000c30: JUMPDEST 00000c31: PUSH8 0x1901000000000000 00000c3a: PUSH0 00000c3b: MSTORE 00000c3c: DUP1 00000c3d: PUSH1 0x1a 00000c3f: MSTORE 00000c40: DUP2 00000c41: PUSH1 0x3a 00000c43: MSTORE 00000c44: PUSH1 0x42 00000c46: PUSH1 0x18 00000c48: KECCAK256 00000c49: SWAP1 00000c4a: POP 00000c4b: PUSH0 00000c4c: PUSH1 0x3a 00000c4e: MSTORE 00000c4f: SWAP2 00000c50: SWAP1 00000c51: POP 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH0 00000c55: PUSH1 0x40 00000c57: MLOAD 00000c58: DUP3 00000c59: PUSH1 0x40 00000c5b: DUP2 00000c5c: EQ 00000c5d: PUSH2 0x0c6e 00000c60: JUMPI 00000c61: PUSH1 0x41 00000c63: DUP2 00000c64: EQ 00000c65: PUSH2 0x0c95 00000c68: JUMPI 00000c69: POP 00000c6a: PUSH2 0x0cc6 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: PUSH1 0x20 00000c71: DUP6 00000c72: DUP2 00000c73: ADD 00000c74: CALLDATALOAD 00000c75: PUSH1 0xff 00000c77: DUP2 00000c78: SWAP1 00000c79: SHR 00000c7a: PUSH1 0x1b 00000c7c: ADD 00000c7d: SWAP1 00000c7e: SWAP2 00000c7f: MSTORE 00000c80: DUP6 00000c81: CALLDATALOAD 00000c82: PUSH1 0x40 00000c84: MSTORE 00000c85: PUSH1 0x01 00000c87: PUSH1 0x01 00000c89: PUSH1 0xff 00000c8b: SHL 00000c8c: SUB 00000c8d: AND 00000c8e: PUSH1 0x60 00000c90: MSTORE 00000c91: PUSH2 0x0ca6 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH1 0x40 00000c98: DUP6 00000c99: ADD 00000c9a: CALLDATALOAD 00000c9b: PUSH0 00000c9c: BYTE 00000c9d: PUSH1 0x20 00000c9f: MSTORE 00000ca0: PUSH1 0x40 00000ca2: DUP6 00000ca3: PUSH1 0x40 00000ca5: CALLDATACOPY 00000ca6: JUMPDEST 00000ca7: POP 00000ca8: DUP5 00000ca9: PUSH0 00000caa: MSTORE 00000cab: PUSH1 0x20 00000cad: PUSH1 0x01 00000caf: PUSH1 0x80 00000cb1: PUSH0 00000cb2: PUSH1 0x01 00000cb4: GAS 00000cb5: STATICCALL 00000cb6: MLOAD 00000cb7: SWAP2 00000cb8: POP 00000cb9: PUSH0 00000cba: PUSH1 0x60 00000cbc: MSTORE 00000cbd: DUP1 00000cbe: PUSH1 0x40 00000cc0: MSTORE 00000cc1: RETURNDATASIZE 00000cc2: PUSH2 0x0cd3 00000cc5: JUMPI 00000cc6: JUMPDEST 00000cc7: PUSH4 0x8baa579f 00000ccc: PUSH0 00000ccd: MSTORE 00000cce: PUSH1 0x04 00000cd0: PUSH1 0x1c 00000cd2: REVERT 00000cd3: JUMPDEST 00000cd4: POP 00000cd5: SWAP4 00000cd6: SWAP3 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH0 00000cdd: CHAINID 00000cde: PUSH1 0x01 00000ce0: SUB 00000ce1: PUSH2 0x0cfd 00000ce4: JUMPI 00000ce5: POP 00000ce6: PUSH20 0x314d660b083675f415ccaa9c545feedf377d1006 00000cfb: SWAP1 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: CHAINID 00000cff: PUSH3 0xaa36a7 00000d03: SUB 00000d04: PUSH2 0x0d20 00000d07: JUMPI 00000d08: POP 00000d09: PUSH20 0x70ddee29e1f8fbf9a0c67f2726a3fdebba1f391d 00000d1e: SWAP1 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x40 00000d23: MLOAD 00000d24: PUSH3 0x461bcd 00000d28: PUSH1 0xe5 00000d2a: SHL 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: PUSH1 0x04 00000d31: DUP3 00000d32: ADD 00000d33: MSTORE 00000d34: PUSH1 0x11 00000d36: PUSH1 0x24 00000d38: DUP3 00000d39: ADD 00000d3a: MSTORE 00000d3b: PUSH17 0x2ab739bab83837b93a32b21031b430b4b7 00000d4d: PUSH1 0x79 00000d4f: SHL 00000d50: PUSH1 0x44 00000d52: DUP3 00000d53: ADD 00000d54: MSTORE 00000d55: PUSH1 0x64 00000d57: ADD 00000d58: PUSH2 0x02cb 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: DUP2 00000d5e: SELFBALANCE 00000d5f: LT 00000d60: ISZERO 00000d61: PUSH2 0x0d71 00000d64: JUMPI 00000d65: PUSH4 0xb12d13eb 00000d6a: PUSH0 00000d6b: MSTORE 00000d6c: PUSH1 0x04 00000d6e: PUSH1 0x1c 00000d70: REVERT 00000d71: JUMPDEST 00000d72: PUSH0 00000d73: CODESIZE 00000d74: PUSH0 00000d75: CODESIZE 00000d76: DUP6 00000d77: DUP8 00000d78: DUP7 00000d79: CALL 00000d7a: PUSH2 0x037b 00000d7d: JUMPI 00000d7e: DUP3 00000d7f: PUSH0 00000d80: MSTORE 00000d81: PUSH1 0x73 00000d83: PUSH1 0x0b 00000d85: MSTORE8 00000d86: PUSH1 0xff 00000d88: PUSH1 0x20 00000d8a: MSTORE8 00000d8b: PUSH1 0x16 00000d8d: PUSH1 0x0b 00000d8f: DUP4 00000d90: CREATE 00000d91: PUSH2 0x037b 00000d94: JUMPI 00000d95: CODESIZE 00000d96: CODESIZE 00000d97: REVERT 00000d98: JUMPDEST 00000d99: DUP1 00000d9a: SELFBALANCE 00000d9b: LT 00000d9c: ISZERO 00000d9d: PUSH2 0x0dad 00000da0: JUMPI 00000da1: PUSH4 0xb12d13eb 00000da6: PUSH0 00000da7: MSTORE 00000da8: PUSH1 0x04 00000daa: PUSH1 0x1c 00000dac: REVERT 00000dad: JUMPDEST 00000dae: PUSH0 00000daf: CODESIZE 00000db0: PUSH0 00000db1: CODESIZE 00000db2: DUP5 00000db3: DUP7 00000db4: PUSH3 0x0186a0 00000db8: CALL 00000db9: PUSH2 0x06cb 00000dbc: JUMPI 00000dbd: DUP2 00000dbe: PUSH0 00000dbf: MSTORE 00000dc0: PUSH1 0x73 00000dc2: PUSH1 0x0b 00000dc4: MSTORE8 00000dc5: PUSH1 0xff 00000dc7: PUSH1 0x20 00000dc9: MSTORE8 00000dca: PUSH1 0x16 00000dcc: PUSH1 0x0b 00000dce: DUP3 00000dcf: CREATE 00000dd0: PUSH2 0x06cb 00000dd3: JUMPI 00000dd4: CODESIZE 00000dd5: CODESIZE 00000dd6: REVERT 00000dd7: JUMPDEST 00000dd8: PUSH0 00000dd9: PUSH2 0x0de5 00000ddc: DUP7 00000ddd: DUP7 00000dde: DUP7 00000ddf: DUP7 00000de0: DUP7 00000de1: PUSH2 0x0dfa 00000de4: JUMP 00000de5: JUMPDEST 00000de6: SWAP1 00000de7: POP 00000de8: PUSH3 0x0face7 00000dec: DUP2 00000ded: MLOAD 00000dee: PUSH1 0x20 00000df0: DUP4 00000df1: ADD 00000df2: LOG1 00000df3: POP 00000df4: POP 00000df5: POP 00000df6: POP 00000df7: POP 00000df8: POP 00000df9: JUMP 00000dfa: JUMPDEST 00000dfb: PUSH1 0x60 00000dfd: PUSH0 00000dfe: CHAINID 00000dff: PUSH1 0x01 00000e01: SUB 00000e02: PUSH2 0x0e0f 00000e05: JUMPI 00000e06: POP 00000e07: PUSH3 0x0face7 00000e0b: PUSH2 0x0e61 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: CHAINID 00000e11: PUSH3 0xaa36a7 00000e15: SUB 00000e16: PUSH2 0x0e23 00000e19: JUMPI 00000e1a: POP 00000e1b: PUSH3 0xface7a 00000e1f: PUSH2 0x0e61 00000e22: JUMP 00000e23: JUMPDEST 00000e24: PUSH1 0x40 00000e26: MLOAD 00000e27: PUSH3 0x461bcd 00000e2b: PUSH1 0xe5 00000e2d: SHL 00000e2e: DUP2 00000e2f: MSTORE 00000e30: PUSH1 0x20 00000e32: PUSH1 0x04 00000e34: DUP3 00000e35: ADD 00000e36: MSTORE 00000e37: PUSH1 0x13 00000e39: PUSH1 0x24 00000e3b: DUP3 00000e3c: ADD 00000e3d: MSTORE 00000e3e: PUSH19 0x155b9cdd5c1c1bdc9d19590818da185a5b9259 00000e52: PUSH1 0x6a 00000e54: SHL 00000e55: PUSH1 0x44 00000e57: DUP3 00000e58: ADD 00000e59: MSTORE 00000e5a: PUSH1 0x64 00000e5c: ADD 00000e5d: PUSH2 0x02cb 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH2 0x0e6f 00000e65: DUP2 00000e66: DUP9 00000e67: DUP9 00000e68: DUP9 00000e69: DUP9 00000e6a: DUP9 00000e6b: PUSH2 0x0e7a 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: SWAP8 00000e71: SWAP7 00000e72: POP 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: POP 00000e77: POP 00000e78: POP 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x60 00000e7d: PUSH2 0x0e91 00000e80: PUSH1 0x40 00000e82: MLOAD 00000e83: DUP1 00000e84: PUSH1 0x20 00000e86: ADD 00000e87: PUSH1 0x40 00000e89: MSTORE 00000e8a: DUP1 00000e8b: PUSH0 00000e8c: DUP2 00000e8d: MSTORE 00000e8e: POP 00000e8f: SWAP1 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH2 0x0e9b 00000e95: DUP2 00000e96: DUP10 00000e97: PUSH2 0x0f0b 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: POP 00000e9d: PUSH2 0x0ea6 00000ea0: DUP2 00000ea1: DUP9 00000ea2: PUSH2 0x0f64 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: POP 00000ea8: PUSH2 0x0eb1 00000eab: DUP2 00000eac: DUP8 00000ead: PUSH2 0x0f0b 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: POP 00000eb3: PUSH2 0x0ebc 00000eb6: DUP2 00000eb7: DUP7 00000eb8: PUSH2 0x0f0b 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: POP 00000ebe: PUSH2 0x0ec7 00000ec1: DUP2 00000ec2: DUP6 00000ec3: PUSH2 0x0f64 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: POP 00000ec9: PUSH2 0x0ed2 00000ecc: DUP2 00000ecd: DUP5 00000ece: PUSH2 0x0f64 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: POP 00000ed4: PUSH1 0x46 00000ed6: PUSH2 0x0ede 00000ed9: DUP3 00000eda: PUSH2 0x0f9b 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x40 00000ee1: MLOAD 00000ee2: PUSH1 0x20 00000ee4: ADD 00000ee5: PUSH2 0x0eef 00000ee8: SWAP3 00000ee9: SWAP2 00000eea: SWAP1 00000eeb: PUSH2 0x1516 00000eee: JUMP 00000eef: JUMPDEST 00000ef0: PUSH1 0x40 00000ef2: MLOAD 00000ef3: PUSH1 0x20 00000ef5: DUP2 00000ef6: DUP4 00000ef7: SUB 00000ef8: SUB 00000ef9: DUP2 00000efa: MSTORE 00000efb: SWAP1 00000efc: PUSH1 0x40 00000efe: MSTORE 00000eff: SWAP2 00000f00: POP 00000f01: POP 00000f02: SWAP7 00000f03: SWAP6 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: POP 00000f09: POP 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x40 00000f0e: DUP1 00000f0f: MLOAD 00000f10: PUSH1 0x20 00000f12: DUP2 00000f13: ADD 00000f14: SWAP1 00000f15: SWAP2 00000f16: MSTORE 00000f17: PUSH1 0x30 00000f19: DUP3 00000f1a: SWAP1 00000f1b: SHL 00000f1c: DUP2 00000f1d: MSTORE 00000f1e: DUP3 00000f1f: MLOAD 00000f20: DUP2 00000f21: DUP2 00000f22: SHR 00000f23: OR 00000f24: PUSH1 0x28 00000f26: DUP2 00000f27: DUP2 00000f28: SHR 00000f29: DUP1 00000f2a: DUP5 00000f2b: XOR 00000f2c: SWAP1 00000f2d: SWAP2 00000f2e: SHL 00000f2f: SWAP1 00000f30: SWAP2 00000f31: XOR 00000f32: DUP5 00000f33: MSTORE 00000f34: DUP1 00000f35: MLOAD 00000f36: DUP3 00000f37: OR 00000f38: SWAP1 00000f39: MSTORE 00000f3a: DUP2 00000f3b: PUSH1 0xd0 00000f3d: SHR 00000f3e: ISZERO 00000f3f: PUSH2 0x0f5d 00000f42: JUMPI 00000f43: PUSH1 0x40 00000f45: MLOAD 00000f46: DUP3 00000f47: DUP2 00000f48: MSTORE 00000f49: PUSH1 0x20 00000f4b: DUP2 00000f4c: ADD 00000f4d: PUSH1 0x40 00000f4f: MSTORE 00000f50: DUP1 00000f51: PUSH1 0x08 00000f53: SHL 00000f54: PUSH1 0x01 00000f56: OR 00000f57: PUSH1 0x28 00000f59: SHL 00000f5a: DUP3 00000f5b: MSTORE 00000f5c: POP 00000f5d: JUMPDEST 00000f5e: POP 00000f5f: SWAP1 00000f60: SWAP2 00000f61: SWAP1 00000f62: POP 00000f63: JUMP 00000f64: JUMPDEST 00000f65: PUSH1 0x40 00000f67: DUP1 00000f68: MLOAD 00000f69: PUSH1 0x20 00000f6b: DUP2 00000f6c: ADD 00000f6d: SWAP1 00000f6e: SWAP2 00000f6f: MSTORE 00000f70: PUSH1 0x08 00000f72: DUP3 00000f73: SWAP1 00000f74: SHL 00000f75: PUSH1 0x02 00000f77: OR 00000f78: PUSH1 0x28 00000f7a: SWAP1 00000f7b: DUP2 00000f7c: SHL 00000f7d: DUP3 00000f7e: MSTORE 00000f7f: DUP4 00000f80: MLOAD 00000f81: DUP3 00000f82: DUP2 00000f83: SHR 00000f84: OR 00000f85: DUP1 00000f86: DUP3 00000f87: SHR 00000f88: DUP1 00000f89: DUP5 00000f8a: XOR 00000f8b: SWAP1 00000f8c: SWAP3 00000f8d: SHL 00000f8e: XOR 00000f8f: DUP5 00000f90: MSTORE 00000f91: DUP1 00000f92: MLOAD 00000f93: DUP3 00000f94: OR 00000f95: SWAP1 00000f96: MSTORE 00000f97: PUSH2 0x0f5d 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: PUSH1 0x60 00000f9e: PUSH2 0x11c7 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH1 0x01 00000fa5: DUP3 00000fa6: ADD 00000fa7: PUSH1 0x7f 00000fa9: DUP3 00000faa: GT 00000fab: PUSH2 0x0fbc 00000fae: JUMPI 00000faf: DUP2 00000fb0: DUP3 00000fb1: ISZERO 00000fb2: PUSH1 0x07 00000fb4: SHL 00000fb5: OR 00000fb6: DUP4 00000fb7: MSTORE8 00000fb8: PUSH2 0x101e 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH16 0xffffffffffffffffffffffffffffffff 00000fce: DUP3 00000fcf: GT 00000fd0: PUSH1 0x07 00000fd2: SHL 00000fd3: DUP3 00000fd4: DUP2 00000fd5: SHR 00000fd6: PUSH8 0xffffffffffffffff 00000fdf: LT 00000fe0: PUSH1 0x06 00000fe2: SHL 00000fe3: OR 00000fe4: DUP3 00000fe5: DUP2 00000fe6: SHR 00000fe7: PUSH4 0xffffffff 00000fec: LT 00000fed: PUSH1 0x05 00000fef: SHL 00000ff0: OR 00000ff1: DUP3 00000ff2: DUP2 00000ff3: SHR 00000ff4: PUSH2 0xffff 00000ff7: LT 00000ff8: PUSH1 0x04 00000ffa: SHL 00000ffb: OR 00000ffc: PUSH1 0x03 00000ffe: DUP2 00000fff: SWAP1 00001000: SHR 00001001: SWAP1 00001002: DUP4 00001003: SWAP1 00001004: SHR 00001005: PUSH1 0xff 00001007: LT 00001008: OR 00001009: PUSH1 0x81 0000100b: DUP2 0000100c: ADD 0000100d: DUP5 0000100e: MSTORE8 0000100f: PUSH0 00001010: DUP4 00001011: SWAP1 00001012: MSTORE 00001013: PUSH1 0x1f 00001015: DUP2 00001016: XOR 00001017: MLOAD 00001018: DUP3 00001019: MSTORE 0000101a: ADD 0000101b: PUSH1 0x01 0000101d: ADD 0000101e: JUMPDEST 0000101f: SWAP3 00001020: SWAP2 00001021: POP 00001022: POP 00001023: JUMP 00001024: JUMPDEST 00001025: PUSH1 0x58 00001027: DUP2 00001028: SWAP1 00001029: SHL 0000102a: DUP3 0000102b: MSTORE 0000102c: PUSH1 0x15 0000102e: DUP3 0000102f: ADD 00001030: PUSH1 0x94 00001032: DUP4 00001033: MSTORE8 00001034: SWAP3 00001035: SWAP2 00001036: POP 00001037: POP 00001038: JUMP 00001039: JUMPDEST 0000103a: DUP1 0000103b: MLOAD 0000103c: PUSH1 0x01 0000103e: DUP4 0000103f: ADD 00001040: SWAP1 00001041: PUSH1 0x37 00001043: DUP2 00001044: GT 00001045: PUSH2 0x107b 00001048: JUMPI 00001049: DUP3 0000104a: PUSH1 0x20 0000104c: ADD 0000104d: MLOAD 0000104e: PUSH1 0x80 00001050: DUP2 00001051: PUSH0 00001052: BYTE 00001053: LT 00001054: DUP3 00001055: PUSH1 0x01 00001057: EQ 00001058: AND 00001059: PUSH2 0x1073 0000105c: JUMPI 0000105d: DUP6 0000105e: DUP3 0000105f: ADD 00001060: DUP6 00001061: MSTORE8 00001062: PUSH1 0x40 00001064: DUP5 00001065: ADD 00001066: MLOAD 00001067: PUSH1 0x21 00001069: DUP7 0000106a: ADD 0000106b: MSTORE 0000106c: DUP3 0000106d: MSTORE 0000106e: ADD 0000106f: PUSH2 0x10d6 00001072: JUMP 00001073: JUMPDEST 00001074: DUP5 00001075: MSTORE 00001076: POP 00001077: PUSH2 0x10d6 0000107a: JUMP 0000107b: JUMPDEST 0000107c: DUP1 0000107d: PUSH1 0x20 0000107f: SHR 00001080: RETURNDATASIZE 00001081: RETURNDATASIZE 00001082: RETURNDATACOPY 00001083: DUP1 00001084: PUSH3 0xffffff 00001088: LT 00001089: DUP2 0000108a: PUSH2 0xffff 0000108d: LT 0000108e: ADD 0000108f: DUP2 00001090: PUSH1 0xff 00001092: LT 00001093: ADD 00001094: PUSH1 0x01 00001096: ADD 00001097: PUSH1 0x37 00001099: DUP7 0000109a: ADD 0000109b: DUP2 0000109c: ADD 0000109d: PUSH1 0xf8 0000109f: SHL 000010a0: DUP6 000010a1: MSTORE 000010a2: DUP3 000010a3: DUP2 000010a4: ADD 000010a5: DUP3 000010a6: DUP2 000010a7: ADD 000010a8: SWAP4 000010a9: POP 000010aa: DUP1 000010ab: DUP6 000010ac: PUSH1 0x20 000010ae: ADD 000010af: SUB 000010b0: JUMPDEST 000010b1: DUP2 000010b2: DUP2 000010b3: ADD 000010b4: MLOAD 000010b5: DUP3 000010b6: MSTORE 000010b7: PUSH1 0x20 000010b9: DUP3 000010ba: ADD 000010bb: SWAP2 000010bc: POP 000010bd: DUP5 000010be: DUP3 000010bf: LT 000010c0: PUSH2 0x10b0 000010c3: JUMPI 000010c4: POP 000010c5: POP 000010c6: DUP2 000010c7: DUP2 000010c8: PUSH1 0x03 000010ca: SHL 000010cb: PUSH1 0xf8 000010cd: SUB 000010ce: SHL 000010cf: DUP6 000010d0: MLOAD 000010d1: OR 000010d2: DUP6 000010d3: MSTORE 000010d4: POP 000010d5: POP 000010d6: JUMPDEST 000010d7: SWAP4 000010d8: SWAP3 000010d9: POP 000010da: POP 000010db: POP 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH0 000010df: DUP2 000010e0: MLOAD 000010e1: PUSH2 0x10f2 000010e4: JUMPI 000010e5: PUSH1 0xc0 000010e7: DUP4 000010e8: MSTORE8 000010e9: POP 000010ea: PUSH1 0x01 000010ec: DUP3 000010ed: ADD 000010ee: PUSH2 0x101e 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x20 000010f5: DUP4 000010f6: ADD 000010f7: DUP3 000010f8: JUMPDEST 000010f9: MLOAD 000010fa: PUSH5 0xffffffffff 00001100: AND 00001101: DUP1 00001102: ISZERO 00001103: PUSH2 0x1181 00001106: JUMPI 00001107: DUP1 00001108: MLOAD 00001109: PUSH1 0x1a 0000110b: BYTE 0000110c: PUSH1 0x01 0000110e: DUP2 0000110f: GT 00001110: PUSH2 0x113d 00001113: JUMPI 00001114: DUP1 00001115: PUSH2 0x112e 00001118: JUMPI 00001119: PUSH2 0x1126 0000111c: DUP4 0000111d: DUP4 0000111e: MLOAD 0000111f: PUSH1 0x30 00001121: SHR 00001122: PUSH2 0x0fa2 00001125: JUMP 00001126: JUMPDEST 00001127: SWAP3 00001128: POP 00001129: POP 0000112a: PUSH2 0x10f8 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH2 0x1126 00001132: DUP4 00001133: DUP4 00001134: MLOAD 00001135: PUSH1 0x30 00001137: SHR 00001138: MLOAD 00001139: PUSH2 0x0fa2 0000113c: JUMP 0000113d: JUMPDEST 0000113e: PUSH1 0x02 00001140: DUP2 00001141: SUB 00001142: PUSH2 0x1155 00001145: JUMPI 00001146: PUSH2 0x1126 00001149: PUSH1 0x80 0000114b: DUP5 0000114c: DUP5 0000114d: MLOAD 0000114e: PUSH1 0x30 00001150: SHR 00001151: PUSH2 0x1039 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH1 0x03 00001158: DUP2 00001159: SUB 0000115a: PUSH2 0x116b 0000115d: JUMPI 0000115e: PUSH2 0x1126 00001161: DUP4 00001162: DUP4 00001163: MLOAD 00001164: PUSH1 0x30 00001166: SHR 00001167: PUSH2 0x10dd 0000116a: JUMP 0000116b: JUMPDEST 0000116c: POP 0000116d: PUSH2 0x117a 00001170: DUP3 00001171: DUP3 00001172: MLOAD 00001173: PUSH1 0x30 00001175: SHR 00001176: PUSH2 0x1024 00001179: JUMP 0000117a: JUMPDEST 0000117b: SWAP2 0000117c: POP 0000117d: PUSH2 0x10f8 00001180: JUMP 00001181: JUMPDEST 00001182: POP 00001183: DUP4 00001184: SWAP1 00001185: SUB 00001186: PUSH1 0x1f 00001188: NOT 00001189: ADD 0000118a: PUSH1 0x37 0000118c: DUP2 0000118d: GT 0000118e: PUSH2 0x11b9 00001191: JUMPI 00001192: PUSH1 0xc0 00001194: DUP2 00001195: ADD 00001196: DUP5 00001197: MSTORE8 00001198: DUP4 00001199: PUSH1 0x20 0000119b: ADD 0000119c: MLOAD 0000119d: DUP5 0000119e: PUSH1 0x01 000011a0: ADD 000011a1: MSTORE 000011a2: DUP4 000011a3: PUSH1 0x40 000011a5: ADD 000011a6: MLOAD 000011a7: DUP5 000011a8: PUSH1 0x21 000011aa: ADD 000011ab: MSTORE 000011ac: DUP4 000011ad: PUSH1 0x01 000011af: ADD 000011b0: DUP2 000011b1: ADD 000011b2: SWAP2 000011b3: POP 000011b4: POP 000011b5: PUSH2 0x101e 000011b8: JUMP 000011b9: JUMPDEST 000011ba: DUP4 000011bb: MSTORE 000011bc: PUSH2 0x10d6 000011bf: PUSH1 0xc0 000011c1: DUP5 000011c2: DUP1 000011c3: PUSH2 0x1039 000011c6: JUMP 000011c7: JUMPDEST 000011c8: POP 000011c9: PUSH1 0x40 000011cb: MLOAD 000011cc: PUSH1 0x20 000011ce: DUP2 000011cf: ADD 000011d0: PUSH2 0x11d9 000011d3: DUP2 000011d4: DUP5 000011d5: PUSH2 0x10dd 000011d8: JUMP 000011d9: JUMPDEST 000011da: SWAP1 000011db: DUP2 000011dc: SUB 000011dd: DUP3 000011de: MSTORE 000011df: PUSH0 000011e0: DUP2 000011e1: MSTORE 000011e2: PUSH1 0x20 000011e4: ADD 000011e5: PUSH1 0x40 000011e7: MSTORE 000011e8: SWAP2 000011e9: SWAP1 000011ea: POP 000011eb: JUMP 000011ec: JUMPDEST 000011ed: PUSH0 000011ee: PUSH1 0x20 000011f0: DUP3 000011f1: DUP5 000011f2: SUB 000011f3: SLT 000011f4: ISZERO 000011f5: PUSH2 0x11fc 000011f8: JUMPI 000011f9: PUSH0 000011fa: DUP1 000011fb: REVERT 000011fc: JUMPDEST 000011fd: DUP2 000011fe: CALLDATALOAD 000011ff: PUSH8 0xffffffffffffffff 00001208: DUP2 00001209: GT 0000120a: ISZERO 0000120b: PUSH2 0x1212 0000120e: JUMPI 0000120f: PUSH0 00001210: DUP1 00001211: REVERT 00001212: JUMPDEST 00001213: DUP3 00001214: ADD 00001215: PUSH1 0xc0 00001217: DUP2 00001218: DUP6 00001219: SUB 0000121a: SLT 0000121b: ISZERO 0000121c: PUSH2 0x10d6 0000121f: JUMPI 00001220: PUSH0 00001221: DUP1 00001222: REVERT 00001223: JUMPDEST 00001224: PUSH0 00001225: PUSH1 0x20 00001227: DUP3 00001228: DUP5 00001229: SUB 0000122a: SLT 0000122b: ISZERO 0000122c: PUSH2 0x1233 0000122f: JUMPI 00001230: PUSH0 00001231: DUP1 00001232: REVERT 00001233: JUMPDEST 00001234: POP 00001235: CALLDATALOAD 00001236: SWAP2 00001237: SWAP1 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: DUP1 0000123c: CALLDATALOAD 0000123d: PUSH1 0x01 0000123f: PUSH1 0x01 00001241: PUSH1 0xa0 00001243: SHL 00001244: SUB 00001245: DUP2 00001246: AND 00001247: DUP2 00001248: EQ 00001249: PUSH2 0x1250 0000124c: JUMPI 0000124d: PUSH0 0000124e: DUP1 0000124f: REVERT 00001250: JUMPDEST 00001251: SWAP2 00001252: SWAP1 00001253: POP 00001254: JUMP 00001255: JUMPDEST 00001256: PUSH0 00001257: DUP1 00001258: PUSH1 0x40 0000125a: DUP4 0000125b: DUP6 0000125c: SUB 0000125d: SLT 0000125e: ISZERO 0000125f: PUSH2 0x1266 00001262: JUMPI 00001263: PUSH0 00001264: DUP1 00001265: REVERT 00001266: JUMPDEST 00001267: PUSH2 0x126f 0000126a: DUP4 0000126b: PUSH2 0x123a 0000126e: JUMP 0000126f: JUMPDEST 00001270: SWAP5 00001271: PUSH1 0x20 00001273: SWAP4 00001274: SWAP1 00001275: SWAP4 00001276: ADD 00001277: CALLDATALOAD 00001278: SWAP4 00001279: POP 0000127a: POP 0000127b: POP 0000127c: JUMP 0000127d: JUMPDEST 0000127e: PUSH0 0000127f: DUP1 00001280: PUSH0 00001281: DUP1 00001282: PUSH0 00001283: PUSH1 0x80 00001285: DUP7 00001286: DUP9 00001287: SUB 00001288: SLT 00001289: ISZERO 0000128a: PUSH2 0x1291 0000128d: JUMPI 0000128e: PUSH0 0000128f: DUP1 00001290: REVERT 00001291: JUMPDEST 00001292: PUSH2 0x129a 00001295: DUP7 00001296: PUSH2 0x123a 00001299: JUMP 0000129a: JUMPDEST 0000129b: SWAP5 0000129c: POP 0000129d: PUSH2 0x12a8 000012a0: PUSH1 0x20 000012a2: DUP8 000012a3: ADD 000012a4: PUSH2 0x123a 000012a7: JUMP 000012a8: JUMPDEST 000012a9: SWAP4 000012aa: POP 000012ab: PUSH1 0x40 000012ad: DUP7 000012ae: ADD 000012af: CALLDATALOAD 000012b0: PUSH8 0xffffffffffffffff 000012b9: DUP1 000012ba: DUP3 000012bb: GT 000012bc: ISZERO 000012bd: PUSH2 0x12c4 000012c0: JUMPI 000012c1: PUSH0 000012c2: DUP1 000012c3: REVERT 000012c4: JUMPDEST 000012c5: DUP2 000012c6: DUP9 000012c7: ADD 000012c8: SWAP2 000012c9: POP 000012ca: DUP9 000012cb: PUSH1 0x1f 000012cd: DUP4 000012ce: ADD 000012cf: SLT 000012d0: PUSH2 0x12d7 000012d3: JUMPI 000012d4: PUSH0 000012d5: DUP1 000012d6: REVERT 000012d7: JUMPDEST 000012d8: DUP2 000012d9: CALLDATALOAD 000012da: DUP2 000012db: DUP2 000012dc: GT 000012dd: ISZERO 000012de: PUSH2 0x12e5 000012e1: JUMPI 000012e2: PUSH0 000012e3: DUP1 000012e4: REVERT 000012e5: JUMPDEST 000012e6: DUP10 000012e7: PUSH1 0x20 000012e9: DUP3 000012ea: DUP6 000012eb: ADD 000012ec: ADD 000012ed: GT 000012ee: ISZERO 000012ef: PUSH2 0x12f6 000012f2: JUMPI 000012f3: PUSH0 000012f4: DUP1 000012f5: REVERT 000012f6: JUMPDEST 000012f7: PUSH1 0x20 000012f9: DUP4 000012fa: ADD 000012fb: SWAP6 000012fc: POP 000012fd: DUP1 000012fe: SWAP5 000012ff: POP 00001300: POP 00001301: PUSH1 0x60 00001303: DUP9 00001304: ADD 00001305: CALLDATALOAD 00001306: SWAP2 00001307: POP 00001308: DUP1 00001309: DUP3 0000130a: AND 0000130b: DUP3 0000130c: EQ 0000130d: PUSH2 0x1314 00001310: JUMPI 00001311: PUSH0 00001312: DUP1 00001313: REVERT 00001314: JUMPDEST 00001315: POP 00001316: DUP1 00001317: SWAP2 00001318: POP 00001319: POP 0000131a: SWAP3 0000131b: SWAP6 0000131c: POP 0000131d: SWAP3 0000131e: SWAP6 0000131f: SWAP1 00001320: SWAP4 00001321: POP 00001322: JUMP 00001323: JUMPDEST 00001324: PUSH0 00001325: PUSH1 0x20 00001327: DUP3 00001328: DUP5 00001329: SUB 0000132a: SLT 0000132b: ISZERO 0000132c: PUSH2 0x1333 0000132f: JUMPI 00001330: PUSH0 00001331: DUP1 00001332: REVERT 00001333: JUMPDEST 00001334: PUSH2 0x10d6 00001337: DUP3 00001338: PUSH2 0x123a 0000133b: JUMP 0000133c: JUMPDEST 0000133d: PUSH0 0000133e: JUMPDEST 0000133f: DUP4 00001340: DUP2 00001341: LT 00001342: ISZERO 00001343: PUSH2 0x1356 00001346: JUMPI 00001347: DUP2 00001348: DUP2 00001349: ADD 0000134a: MLOAD 0000134b: DUP4 0000134c: DUP3 0000134d: ADD 0000134e: MSTORE 0000134f: PUSH1 0x20 00001351: ADD 00001352: PUSH2 0x133e 00001355: JUMP 00001356: JUMPDEST 00001357: POP 00001358: POP 00001359: PUSH0 0000135a: SWAP2 0000135b: ADD 0000135c: MSTORE 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH0 00001360: DUP2 00001361: MLOAD 00001362: DUP1 00001363: DUP5 00001364: MSTORE 00001365: PUSH2 0x1375 00001368: DUP2 00001369: PUSH1 0x20 0000136b: DUP7 0000136c: ADD 0000136d: PUSH1 0x20 0000136f: DUP7 00001370: ADD 00001371: PUSH2 0x133c 00001374: JUMP 00001375: JUMPDEST 00001376: PUSH1 0x1f 00001378: ADD 00001379: PUSH1 0x1f 0000137b: NOT 0000137c: AND 0000137d: SWAP3 0000137e: SWAP1 0000137f: SWAP3 00001380: ADD 00001381: PUSH1 0x20 00001383: ADD 00001384: SWAP3 00001385: SWAP2 00001386: POP 00001387: POP 00001388: JUMP 00001389: JUMPDEST 0000138a: PUSH1 0xff 0000138c: PUSH1 0xf8 0000138e: SHL 0000138f: DUP9 00001390: AND 00001391: DUP2 00001392: MSTORE 00001393: PUSH0 00001394: PUSH1 0x20 00001396: PUSH1 0xe0 00001398: PUSH1 0x20 0000139a: DUP5 0000139b: ADD 0000139c: MSTORE 0000139d: PUSH2 0x13a9 000013a0: PUSH1 0xe0 000013a2: DUP5 000013a3: ADD 000013a4: DUP11 000013a5: PUSH2 0x135e 000013a8: JUMP 000013a9: JUMPDEST 000013aa: DUP4 000013ab: DUP2 000013ac: SUB 000013ad: PUSH1 0x40 000013af: DUP6 000013b0: ADD 000013b1: MSTORE 000013b2: PUSH2 0x13bb 000013b5: DUP2 000013b6: DUP11 000013b7: PUSH2 0x135e 000013ba: JUMP 000013bb: JUMPDEST 000013bc: PUSH1 0x60 000013be: DUP6 000013bf: ADD 000013c0: DUP10 000013c1: SWAP1 000013c2: MSTORE 000013c3: PUSH1 0x01 000013c5: PUSH1 0x01 000013c7: PUSH1 0xa0 000013c9: SHL 000013ca: SUB 000013cb: DUP9 000013cc: AND 000013cd: PUSH1 0x80 000013cf: DUP7 000013d0: ADD 000013d1: MSTORE 000013d2: PUSH1 0xa0 000013d4: DUP6 000013d5: ADD 000013d6: DUP8 000013d7: SWAP1 000013d8: MSTORE 000013d9: DUP5 000013da: DUP2 000013db: SUB 000013dc: PUSH1 0xc0 000013de: DUP7 000013df: ADD 000013e0: MSTORE 000013e1: DUP6 000013e2: MLOAD 000013e3: DUP1 000013e4: DUP3 000013e5: MSTORE 000013e6: PUSH1 0x20 000013e8: DUP1 000013e9: DUP9 000013ea: ADD 000013eb: SWAP4 000013ec: POP 000013ed: SWAP1 000013ee: SWAP2 000013ef: ADD 000013f0: SWAP1 000013f1: PUSH0 000013f2: JUMPDEST 000013f3: DUP2 000013f4: DUP2 000013f5: LT 000013f6: ISZERO 000013f7: PUSH2 0x140e 000013fa: JUMPI 000013fb: DUP4 000013fc: MLOAD 000013fd: DUP4 000013fe: MSTORE 000013ff: SWAP3 00001400: DUP5 00001401: ADD 00001402: SWAP3 00001403: SWAP2 00001404: DUP5 00001405: ADD 00001406: SWAP2 00001407: PUSH1 0x01 00001409: ADD 0000140a: PUSH2 0x13f2 0000140d: JUMP 0000140e: JUMPDEST 0000140f: POP 00001410: SWAP1 00001411: SWAP13 00001412: SWAP12 00001413: POP 00001414: POP 00001415: POP 00001416: POP 00001417: POP 00001418: POP 00001419: POP 0000141a: POP 0000141b: POP 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: JUMP 00001420: JUMPDEST 00001421: PUSH1 0x20 00001423: DUP1 00001424: DUP3 00001425: MSTORE 00001426: PUSH1 0x1d 00001428: SWAP1 00001429: DUP3 0000142a: ADD 0000142b: MSTORE 0000142c: PUSH32 0x4f6e6c7920454f41732063616e20757365207468697320627269646765000000 0000144d: PUSH1 0x40 0000144f: DUP3 00001450: ADD 00001451: MSTORE 00001452: PUSH1 0x60 00001454: ADD 00001455: SWAP1 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH0 00001459: DUP1 0000145a: DUP4 0000145b: CALLDATALOAD 0000145c: PUSH1 0x1e 0000145e: NOT 0000145f: DUP5 00001460: CALLDATASIZE 00001461: SUB 00001462: ADD 00001463: DUP2 00001464: SLT 00001465: PUSH2 0x146c 00001468: JUMPI 00001469: PUSH0 0000146a: DUP1 0000146b: REVERT 0000146c: JUMPDEST 0000146d: DUP4 0000146e: ADD 0000146f: DUP1 00001470: CALLDATALOAD 00001471: SWAP2 00001472: POP 00001473: PUSH8 0xffffffffffffffff 0000147c: DUP3 0000147d: GT 0000147e: ISZERO 0000147f: PUSH2 0x1486 00001482: JUMPI 00001483: PUSH0 00001484: DUP1 00001485: REVERT 00001486: JUMPDEST 00001487: PUSH1 0x20 00001489: ADD 0000148a: SWAP2 0000148b: POP 0000148c: CALLDATASIZE 0000148d: DUP2 0000148e: SWAP1 0000148f: SUB 00001490: DUP3 00001491: SGT 00001492: ISZERO 00001493: PUSH2 0x149a 00001496: JUMPI 00001497: PUSH0 00001498: DUP1 00001499: REVERT 0000149a: JUMPDEST 0000149b: SWAP3 0000149c: POP 0000149d: SWAP3 0000149e: SWAP1 0000149f: POP 000014a0: JUMP 000014a1: JUMPDEST 000014a2: PUSH1 0x20 000014a4: DUP1 000014a5: DUP3 000014a6: MSTORE 000014a7: PUSH1 0x09 000014a9: SWAP1 000014aa: DUP3 000014ab: ADD 000014ac: MSTORE 000014ad: PUSH9 0x2737ba1030b236b4b7 000014b7: PUSH1 0xb9 000014b9: SHL 000014ba: PUSH1 0x40 000014bc: DUP3 000014bd: ADD 000014be: MSTORE 000014bf: PUSH1 0x60 000014c1: ADD 000014c2: SWAP1 000014c3: JUMP 000014c4: JUMPDEST 000014c5: PUSH1 0x01 000014c7: PUSH1 0x01 000014c9: PUSH1 0xa0 000014cb: SHL 000014cc: SUB 000014cd: DUP7 000014ce: DUP2 000014cf: AND 000014d0: DUP3 000014d1: MSTORE 000014d2: PUSH1 0x20 000014d4: DUP3 000014d5: ADD 000014d6: DUP7 000014d7: SWAP1 000014d8: MSTORE 000014d9: DUP5 000014da: AND 000014db: PUSH1 0x40 000014dd: DUP3 000014de: ADD 000014df: MSTORE 000014e0: PUSH1 0x80 000014e2: PUSH1 0x60 000014e4: DUP3 000014e5: ADD 000014e6: DUP2 000014e7: SWAP1 000014e8: MSTORE 000014e9: DUP2 000014ea: ADD 000014eb: DUP3 000014ec: SWAP1 000014ed: MSTORE 000014ee: PUSH0 000014ef: DUP3 000014f0: DUP5 000014f1: PUSH1 0xa0 000014f3: DUP5 000014f4: ADD 000014f5: CALLDATACOPY 000014f6: PUSH0 000014f7: PUSH1 0xa0 000014f9: DUP5 000014fa: DUP5 000014fb: ADD 000014fc: ADD 000014fd: MSTORE 000014fe: PUSH1 0xa0 00001500: PUSH1 0x1f 00001502: NOT 00001503: PUSH1 0x1f 00001505: DUP6 00001506: ADD 00001507: AND 00001508: DUP4 00001509: ADD 0000150a: ADD 0000150b: SWAP1 0000150c: POP 0000150d: SWAP7 0000150e: SWAP6 0000150f: POP 00001510: POP 00001511: POP 00001512: POP 00001513: POP 00001514: POP 00001515: JUMP 00001516: JUMPDEST 00001517: PUSH1 0xff 00001519: PUSH1 0xf8 0000151b: SHL 0000151c: DUP4 0000151d: PUSH1 0xf8 0000151f: SHL 00001520: AND 00001521: DUP2 00001522: MSTORE 00001523: PUSH0 00001524: DUP3 00001525: MLOAD 00001526: PUSH2 0x1536 00001529: DUP2 0000152a: PUSH1 0x01 0000152c: DUP6 0000152d: ADD 0000152e: PUSH1 0x20 00001530: DUP8 00001531: ADD 00001532: PUSH2 0x133c 00001535: JUMP 00001536: JUMPDEST 00001537: SWAP2 00001538: SWAP1 00001539: SWAP2 0000153a: ADD 0000153b: PUSH1 0x01 0000153d: ADD 0000153e: SWAP4 0000153f: SWAP3 00001540: POP 00001541: POP 00001542: POP 00001543: JUMP 00001544: INVALID 00001545: UNKNOWN(0xBF) 00001546: CALLCODE 00001547: UNKNOWN(0xA7) 00001548: UNKNOWN(0xC8) 00001549: PUSH3 0xc2783f 0000154d: SWAP11 0000154e: UNKNOWN(0xC5) 0000154f: DUP6 00001550: DUP5 00001551: UNKNOWN(0x2E) 00001552: UNKNOWN(0xEC) 00001553: UNKNOWN(0xEB) 00001554: UNKNOWN(0xAD) 00001555: UNKNOWN(0x2C) 00001556: DUP1 00001557: PUSH7 0xf996e6582444b4 0000155f: PUSH20 0xe4ddf79b5abff2a7c862c2783f9ac585842eeceb 00001574: UNKNOWN(0xAD) 00001575: UNKNOWN(0x2C) 00001576: DUP1 00001577: PUSH7 0xf996e6582444b4 0000157f: PUSH20 0xe4ddf79b59a26469706673582212209115c0baf3 00001594: AND 00001595: PUSH30 0xc6a49a024b2ccc769cf522ee00b8ee4adb34c2aabe92627a0f64736f6c63 000015b4: NUMBER 000015b5: STOP 000015b6: ADDMOD 000015b7: XOR 000015b8: STOP 000015b9: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b4c40b0",
"selector": "0x8b4c40b0",
"calldata_variants": [
"0x8b4c40b0",
"0x8b4c40b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf45e5763",
"selector": "0xf45e5763",
"calldata_variants": [
"0xf45e5763",
"0xf45e57630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ac3c02f",
"selector": "0x7ac3c02f",
"calldata_variants": [
"0x7ac3c02f",
"0x7ac3c02f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x401d4482",
"selector": "0x401d4482",
"calldata_variants": [
"0x401d4482",
"0x401d44820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 687,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1746,
"type": "tx_origin_used"
},
{
"pc": 2294,
"type": "msg_sender_eq_const",
"value": 2.019921745199056e+33
},
{
"pc": 686,
"type": "tx_origin_used"
},
{
"pc": 903,
"type": "tx_origin_used"
},
{
"pc": 1745,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x49886a3ae582656d83a7684fdfb623c9ef30ac078adcf08f2f8e4ecdb9feca39
call_targets:
0x68c56f4d88846a4cdce966d92d92a0636baf40fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x49886a3ae582656d83a7684fdfb623c9ef30ac078adcf08f2f8e4ecdb9feca39",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x68c56f4d88846a4cdce966d92d92a0636baf40fe"
],
"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": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b4c40b0",
"selector": "0x8b4c40b0",
"calldata_variants": [
"0x8b4c40b0",
"0x8b4c40b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf45e5763",
"selector": "0xf45e5763",
"calldata_variants": [
"0xf45e5763",
"0xf45e57630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ac3c02f",
"selector": "0x7ac3c02f",
"calldata_variants": [
"0x7ac3c02f",
"0x7ac3c02f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x401d4482",
"selector": "0x401d4482",
"calldata_variants": [
"0x401d4482",
"0x401d44820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3449,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3512,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5446,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 687,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1746,
"type": "tx_origin_used"
},
{
"pc": 2294,
"type": "msg_sender_eq_const",
"value": 2.019921745199056e+33
},
{
"pc": 686,
"type": "tx_origin_used"
},
{
"pc": 903,
"type": "tx_origin_used"
},
{
"pc": 1745,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x49886a3ae582656d83a7684fdfb623c9ef30ac078adcf08f2f8e4ecdb9feca39
call_targets:
0x68c56f4d88846a4cdce966d92d92a0636baf40fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x49886a3ae582656d83a7684fdfb623c9ef30ac078adcf08f2f8e4ecdb9feca39",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x68c56f4d88846a4cdce966d92d92a0636baf40fe"
],
"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": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b4c40b0",
"selector": "0x8b4c40b0",
"calldata_variants": [
"0x8b4c40b0",
"0x8b4c40b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf45e5763",
"selector": "0xf45e5763",
"calldata_variants": [
"0xf45e5763",
"0xf45e57630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ac3c02f",
"selector": "0x7ac3c02f",
"calldata_variants": [
"0x7ac3c02f",
"0x7ac3c02f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x401d4482",
"selector": "0x401d4482",
"calldata_variants": [
"0x401d4482",
"0x401d44820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3449,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3512,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5446,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 687,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1746,
"type": "tx_origin_used"
},
{
"pc": 2294,
"type": "msg_sender_eq_const",
"value": 2.019921745199056e+33
},
{
"pc": 686,
"type": "tx_origin_used"
},
{
"pc": 903,
"type": "tx_origin_used"
},
{
"pc": 1745,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x50c429a53d24691fd27c03537df9267fb9bb7cbe734125fad3ce9258eea96ca1
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 28,
"trace_id": "0x50c429a53d24691fd27c03537df9267fb9bb7cbe734125fad3ce9258eea96ca1",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x84b0196e",
"selector": "0x84b0196e",
"calldata_variants": [
"0x84b0196e",
"0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b4c40b0",
"selector": "0x8b4c40b0",
"calldata_variants": [
"0x8b4c40b0",
"0x8b4c40b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf45e5763",
"selector": "0xf45e5763",
"calldata_variants": [
"0xf45e5763",
"0xf45e57630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ac3c02f",
"selector": "0x7ac3c02f",
"calldata_variants": [
"0x7ac3c02f",
"0x7ac3c02f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x401d4482",
"selector": "0x401d4482",
"calldata_variants": [
"0x401d4482",
"0x401d44820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 2,
"create2_count": 0
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 2,
"create2_count": 0
}
|